H-Termination proof of /home/matraf/haskell/eval_FullyBlown

MAYBE 4.533 H-Termination proof of /home/matraf/haskell/eval_FullyBlown_Fast/empty.hs
H-Termination of the given Haskell-Program with start terms could not be shown:

↳ HASKELL

  ↳ LR

mainModule Main

((getLine :: IO [Char]) :: IO [Char])

module Main where

import qualified Prelude

Lambda Reductions:
The following Lambda expression

\ex→if isEOFError ex then return '\10' else ioError ex

is transformed to

getRest0 ex = if isEOFError ex then return '\10' else ioError ex

The following Lambda expression

\cs→return (c : cs)

is transformed to

getRest1 c cs = return (c : cs)

The following Lambda expression

\c→if c == '\10' then return [] else getRest >>= getRest1 c

is transformed to

getRest2 c = if c == '\10' then return [] else getRest >>= getRest1 c

The following Lambda expression

\ls→return (c : ls)

is transformed to

getLine0 c ls = return (c : ls)

The following Lambda expression

\c→if c == '\10' then return [] else getRest >>= getLine0 c

is transformed to

getLine1 c = if c == '\10' then return [] else getRest >>= getLine0 c

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ IFR

mainModule Main

((getLine :: IO [Char]) :: IO [Char])

module Main where

import qualified Prelude

If Reductions:
The following If expression

if isEOFError ex then return '\10' else ioError ex

is transformed to

getRest00 ex True = return '\10'

getRest00 ex False = ioError ex

The following If expression

if c == '\10' then return [] else getRest >>= getRest1 c

is transformed to

getRest20 c True = return []

getRest20 c False = getRest >>= getRest1 c

The following If expression

if c == '\10' then return [] else getRest >>= getLine0 c

is transformed to

getLine10 c True = return []

getLine10 c False = getRest >>= getLine0 c

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ IFR

        ↳ HASKELL

          ↳ BR

mainModule Main

((getLine :: IO [Char]) :: IO [Char])

module Main where

import qualified Prelude

Replaced joker patterns by fresh variables and removed binding patterns.

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ IFR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

mainModule Main

((getLine :: IO [Char]) :: IO [Char])

module Main where

import qualified Prelude

Cond Reductions:
The following Function with conditions

undefined

| False

= undefined

is transformed to

undefined = undefined1

undefined0 True = undefined

undefined1 = undefined0 False

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ IFR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

                ↳ HASKELL

                  ↳ LetRed

mainModule Main

((getLine :: IO [Char]) :: IO [Char])

module Main where

import qualified Prelude

Let/Where Reductions:
The bindings of the following Let/Where expression

getChar >>= getLine1

where

getLine0 c ls = return (c : ls)

getLine1 c = getLine10 c (c == '\10')

getLine10 c True = return []

getLine10 c False = getRest >>= getLine0 c

getRest = catch getChar getRest0 >>= getRest2

getRest0 ex = getRest00 ex (isEOFError ex)

getRest00 ex True = return '\10'

getRest00 ex False = ioError ex

getRest1 c cs = return (c : cs)

getRest2 c = getRest20 c (c == '\10')

getRest20 c True = return []

getRest20 c False = getRest >>= getRest1 c

are unpacked to the following functions on top level

getLineGetRest20 c True = return []

getLineGetRest20 c False = getLineGetRest >>= getLineGetRest1 c

getLineGetRest = catch getChar getLineGetRest0 >>= getLineGetRest2

getLineGetLine1 c = getLineGetLine10 c (c == '\10')

getLineGetLine10 c True = return []

getLineGetLine10 c False = getLineGetRest >>= getLineGetLine0 c

getLineGetRest1 c cs = return (c : cs)

getLineGetLine0 c ls = return (c : ls)

getLineGetRest0 ex = getLineGetRest00 ex (isEOFError ex)

getLineGetRest00 ex True = return '\10'

getLineGetRest00 ex False = ioError ex

getLineGetRest2 c = getLineGetRest20 c (c == '\10')

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ IFR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

                ↳ HASKELL

                  ↳ LetRed

                    ↳ HASKELL

                      ↳ NumRed

mainModule Main

((getLine :: IO [Char]) :: IO [Char])

module Main where

import qualified Prelude

Num Reduction: All numbers are transformed to thier corresponding representation with Pos, Neg, Succ and Zero.

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ IFR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

                ↳ HASKELL

                  ↳ LetRed

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                          ↳ Narrow

mainModule Main

(getLine :: IO [Char])

module Main where

import qualified Prelude

Haskell To QDPs

digraph dp_graph {
node [outthreshold=100, inthreshold=100];1[label="getLine",fontsize=16,color="black",shape="box"];1 -> 3[label="",style="solid", color="black", weight=3];
3[label="getChar >>= getLineGetLine1",fontsize=16,color="black",shape="box"];3 -> 4[label="",style="solid", color="black", weight=3];
4[label="primbindIO getChar getLineGetLine1",fontsize=16,color="black",shape="box"];4 -> 5[label="",style="solid", color="black", weight=3];
5[label="terminator getChar getLineGetLine1",fontsize=16,color="black",shape="box"];5 -> 6[label="",style="solid", color="black", weight=3];
6[label="ter0m getChar getLineGetLine1",fontsize=16,color="green",shape="box"];6 -> 7[label="",style="dashed", color="green", weight=3];
6 -> 8[label="",style="dashed", color="green", weight=3];
7[label="getChar",fontsize=16,color="black",shape="triangle"];7 -> 9[label="",style="solid", color="black", weight=3];
8[label="getLineGetLine1",fontsize=16,color="grey",shape="box"];8 -> 10[label="",style="dashed", color="grey", weight=3];
9 -> 7[label="",style="dashed", color="red", weight=0];
9[label="getChar",fontsize=16,color="magenta"];10[label="getLineGetLine1 vx3",fontsize=16,color="black",shape="triangle"];10 -> 11[label="",style="solid", color="black", weight=3];
11 -> 12[label="",style="dashed", color="red", weight=0];
11[label="getLineGetLine10 vx3 (vx3 == Char (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))))))",fontsize=16,color="magenta"];11 -> 13[label="",style="dashed", color="magenta", weight=3];
11 -> 14[label="",style="dashed", color="magenta", weight=3];
13[label="vx3",fontsize=16,color="green",shape="box"];14[label="Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))))",fontsize=16,color="green",shape="box"];12[label="getLineGetLine10 vx5 (vx5 == Char (Succ vx6))",fontsize=16,color="black",shape="triangle"];12 -> 15[label="",style="solid", color="black", weight=3];
15[label="getLineGetLine10 vx5 (primEqChar vx5 (Char (Succ vx6)))",fontsize=16,color="burlywood",shape="box"];402[label="vx5/Char vx50",fontsize=10,color="white",style="solid",shape="box"];15 -> 402[label="",style="solid", color="burlywood", weight=9];
402 -> 16[label="",style="solid", color="burlywood", weight=3];
16[label="getLineGetLine10 (Char vx50) (primEqChar (Char vx50) (Char (Succ vx6)))",fontsize=16,color="black",shape="box"];16 -> 17[label="",style="solid", color="black", weight=3];
17[label="getLineGetLine10 (Char vx50) (primEqNat vx50 (Succ vx6))",fontsize=16,color="burlywood",shape="box"];403[label="vx50/Succ vx500",fontsize=10,color="white",style="solid",shape="box"];17 -> 403[label="",style="solid", color="burlywood", weight=9];
403 -> 18[label="",style="solid", color="burlywood", weight=3];
404[label="vx50/Zero",fontsize=10,color="white",style="solid",shape="box"];17 -> 404[label="",style="solid", color="burlywood", weight=9];
404 -> 19[label="",style="solid", color="burlywood", weight=3];
18[label="getLineGetLine10 (Char (Succ vx500)) (primEqNat (Succ vx500) (Succ vx6))",fontsize=16,color="black",shape="box"];18 -> 20[label="",style="solid", color="black", weight=3];
19[label="getLineGetLine10 (Char Zero) (primEqNat Zero (Succ vx6))",fontsize=16,color="black",shape="box"];19 -> 21[label="",style="solid", color="black", weight=3];
20 -> 231[label="",style="dashed", color="red", weight=0];
20[label="getLineGetLine10 (Char (Succ vx500)) (primEqNat vx500 vx6)",fontsize=16,color="magenta"];20 -> 232[label="",style="dashed", color="magenta", weight=3];
20 -> 233[label="",style="dashed", color="magenta", weight=3];
20 -> 234[label="",style="dashed", color="magenta", weight=3];
21[label="getLineGetLine10 (Char Zero) False",fontsize=16,color="black",shape="box"];21 -> 24[label="",style="solid", color="black", weight=3];
232[label="vx500",fontsize=16,color="green",shape="box"];233[label="vx6",fontsize=16,color="green",shape="box"];234[label="vx500",fontsize=16,color="green",shape="box"];231[label="getLineGetLine10 (Char (Succ vx24)) (primEqNat vx25 vx26)",fontsize=16,color="burlywood",shape="triangle"];406[label="vx25/Succ vx250",fontsize=10,color="white",style="solid",shape="box"];231 -> 406[label="",style="solid", color="burlywood", weight=9];
406 -> 259[label="",style="solid", color="burlywood", weight=3];
407[label="vx25/Zero",fontsize=10,color="white",style="solid",shape="box"];231 -> 407[label="",style="solid", color="burlywood", weight=9];
407 -> 260[label="",style="solid", color="burlywood", weight=3];
24[label="getLineGetRest >>= getLineGetLine0 (Char Zero)",fontsize=16,color="black",shape="box"];24 -> 29[label="",style="solid", color="black", weight=3];
259[label="getLineGetLine10 (Char (Succ vx24)) (primEqNat (Succ vx250) vx26)",fontsize=16,color="burlywood",shape="box"];408[label="vx26/Succ vx260",fontsize=10,color="white",style="solid",shape="box"];259 -> 408[label="",style="solid", color="burlywood", weight=9];
408 -> 269[label="",style="solid", color="burlywood", weight=3];
409[label="vx26/Zero",fontsize=10,color="white",style="solid",shape="box"];259 -> 409[label="",style="solid", color="burlywood", weight=9];
409 -> 270[label="",style="solid", color="burlywood", weight=3];
260[label="getLineGetLine10 (Char (Succ vx24)) (primEqNat Zero vx26)",fontsize=16,color="burlywood",shape="box"];410[label="vx26/Succ vx260",fontsize=10,color="white",style="solid",shape="box"];260 -> 410[label="",style="solid", color="burlywood", weight=9];
410 -> 271[label="",style="solid", color="burlywood", weight=3];
411[label="vx26/Zero",fontsize=10,color="white",style="solid",shape="box"];260 -> 411[label="",style="solid", color="burlywood", weight=9];
411 -> 272[label="",style="solid", color="burlywood", weight=3];
29[label="primbindIO getLineGetRest (getLineGetLine0 (Char Zero))",fontsize=16,color="black",shape="box"];29 -> 34[label="",style="solid", color="black", weight=3];
269[label="getLineGetLine10 (Char (Succ vx24)) (primEqNat (Succ vx250) (Succ vx260))",fontsize=16,color="black",shape="box"];269 -> 281[label="",style="solid", color="black", weight=3];
270[label="getLineGetLine10 (Char (Succ vx24)) (primEqNat (Succ vx250) Zero)",fontsize=16,color="black",shape="box"];270 -> 282[label="",style="solid", color="black", weight=3];
271[label="getLineGetLine10 (Char (Succ vx24)) (primEqNat Zero (Succ vx260))",fontsize=16,color="black",shape="box"];271 -> 283[label="",style="solid", color="black", weight=3];
272[label="getLineGetLine10 (Char (Succ vx24)) (primEqNat Zero Zero)",fontsize=16,color="black",shape="box"];272 -> 284[label="",style="solid", color="black", weight=3];
34[label="terminator getLineGetRest (getLineGetLine0 (Char Zero))",fontsize=16,color="black",shape="box"];34 -> 40[label="",style="solid", color="black", weight=3];
281 -> 231[label="",style="dashed", color="red", weight=0];
281[label="getLineGetLine10 (Char (Succ vx24)) (primEqNat vx250 vx260)",fontsize=16,color="magenta"];281 -> 292[label="",style="dashed", color="magenta", weight=3];
281 -> 293[label="",style="dashed", color="magenta", weight=3];
282[label="getLineGetLine10 (Char (Succ vx24)) False",fontsize=16,color="black",shape="triangle"];282 -> 294[label="",style="solid", color="black", weight=3];
283 -> 282[label="",style="dashed", color="red", weight=0];
283[label="getLineGetLine10 (Char (Succ vx24)) False",fontsize=16,color="magenta"];284[label="getLineGetLine10 (Char (Succ vx24)) True",fontsize=16,color="black",shape="box"];284 -> 295[label="",style="solid", color="black", weight=3];
40[label="ter1m getLineGetRest (getLineGetLine0 (Char Zero))",fontsize=16,color="green",shape="box"];40 -> 48[label="",style="dashed", color="green", weight=3];
40 -> 49[label="",style="dashed", color="green", weight=3];
292[label="vx250",fontsize=16,color="green",shape="box"];293[label="vx260",fontsize=16,color="green",shape="box"];294 -> 305[label="",style="dashed", color="red", weight=0];
294[label="getLineGetRest >>= getLineGetLine0 (Char (Succ vx24))",fontsize=16,color="magenta"];294 -> 306[label="",style="dashed", color="magenta", weight=3];
295 -> 155[label="",style="dashed", color="red", weight=0];
295[label="return []",fontsize=16,color="magenta"];48[label="getLineGetRest",fontsize=16,color="black",shape="triangle"];48 -> 57[label="",style="solid", color="black", weight=3];
49[label="getLineGetLine0 (Char Zero)",fontsize=16,color="grey",shape="box"];49 -> 58[label="",style="dashed", color="grey", weight=3];
306 -> 48[label="",style="dashed", color="red", weight=0];
306[label="getLineGetRest",fontsize=16,color="magenta"];305[label="vx28 >>= getLineGetLine0 (Char (Succ vx24))",fontsize=16,color="black",shape="triangle"];305 -> 307[label="",style="solid", color="black", weight=3];
155[label="return []",fontsize=16,color="black",shape="triangle"];155 -> 162[label="",style="solid", color="black", weight=3];
57 -> 69[label="",style="dashed", color="red", weight=0];
57[label="catch getChar getLineGetRest0 >>= getLineGetRest2",fontsize=16,color="magenta"];57 -> 70[label="",style="dashed", color="magenta", weight=3];
58[label="getLineGetLine0 (Char Zero) vx7",fontsize=16,color="black",shape="triangle"];58 -> 71[label="",style="solid", color="black", weight=3];
307[label="primbindIO vx28 (getLineGetLine0 (Char (Succ vx24)))",fontsize=16,color="black",shape="box"];307 -> 315[label="",style="solid", color="black", weight=3];
162[label="primretIO []",fontsize=16,color="black",shape="box"];162 -> 169[label="",style="solid", color="black", weight=3];
70 -> 7[label="",style="dashed", color="red", weight=0];
70[label="getChar",fontsize=16,color="magenta"];69[label="catch vx10 getLineGetRest0 >>= getLineGetRest2",fontsize=16,color="black",shape="triangle"];69 -> 79[label="",style="solid", color="black", weight=3];
71[label="return (Char Zero : vx7)",fontsize=16,color="black",shape="triangle"];71 -> 80[label="",style="solid", color="black", weight=3];
315[label="terminator vx28 (getLineGetLine0 (Char (Succ vx24)))",fontsize=16,color="black",shape="box"];315 -> 322[label="",style="solid", color="black", weight=3];
169[label="terminator []",fontsize=16,color="black",shape="box"];169 -> 177[label="",style="solid", color="black", weight=3];
79[label="primbindIO (catch vx10 getLineGetRest0) getLineGetRest2",fontsize=16,color="black",shape="box"];79 -> 89[label="",style="solid", color="black", weight=3];
80[label="primretIO (Char Zero : vx7)",fontsize=16,color="black",shape="box"];80 -> 90[label="",style="solid", color="black", weight=3];
322[label="ter14m vx28 (getLineGetLine0 (Char (Succ vx24)))",fontsize=16,color="green",shape="box"];322 -> 329[label="",style="dashed", color="green", weight=3];
322 -> 330[label="",style="dashed", color="green", weight=3];
177[label="ter10m []",fontsize=16,color="green",shape="box"];177 -> 184[label="",style="dashed", color="green", weight=3];
89[label="terminator (catch vx10 getLineGetRest0) getLineGetRest2",fontsize=16,color="black",shape="box"];89 -> 98[label="",style="solid", color="black", weight=3];
90[label="terminator (Char Zero : vx7)",fontsize=16,color="black",shape="box"];90 -> 99[label="",style="solid", color="black", weight=3];
329[label="vx28",fontsize=16,color="green",shape="box"];330[label="getLineGetLine0 (Char (Succ vx24))",fontsize=16,color="grey",shape="box"];330 -> 338[label="",style="dashed", color="grey", weight=3];
184[label="[]",fontsize=16,color="green",shape="box"];98[label="ter5m (catch vx10 getLineGetRest0) getLineGetRest2",fontsize=16,color="green",shape="box"];98 -> 106[label="",style="dashed", color="green", weight=3];
98 -> 107[label="",style="dashed", color="green", weight=3];
99[label="ter6m (Char Zero : vx7)",fontsize=16,color="green",shape="box"];99 -> 108[label="",style="dashed", color="green", weight=3];
338[label="getLineGetLine0 (Char (Succ vx24)) vx31",fontsize=16,color="black",shape="triangle"];338 -> 345[label="",style="solid", color="black", weight=3];
106[label="catch vx10 getLineGetRest0",fontsize=16,color="black",shape="box"];106 -> 115[label="",style="solid", color="black", weight=3];
107[label="getLineGetRest2",fontsize=16,color="grey",shape="box"];107 -> 116[label="",style="dashed", color="grey", weight=3];
108[label="Char Zero : vx7",fontsize=16,color="green",shape="box"];345[label="return (Char (Succ vx24) : vx31)",fontsize=16,color="black",shape="triangle"];345 -> 352[label="",style="solid", color="black", weight=3];
115[label="terminator vx10 getLineGetRest0",fontsize=16,color="black",shape="box"];115 -> 124[label="",style="solid", color="black", weight=3];
116[label="getLineGetRest2 vx13",fontsize=16,color="black",shape="triangle"];116 -> 125[label="",style="solid", color="black", weight=3];
352[label="primretIO (Char (Succ vx24) : vx31)",fontsize=16,color="black",shape="box"];352 -> 372[label="",style="solid", color="black", weight=3];
124[label="ter7m vx10 getLineGetRest0",fontsize=16,color="green",shape="box"];124 -> 132[label="",style="dashed", color="green", weight=3];
124 -> 133[label="",style="dashed", color="green", weight=3];
125 -> 134[label="",style="dashed", color="red", weight=0];
125[label="getLineGetRest20 vx13 (vx13 == Char (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))))))",fontsize=16,color="magenta"];125 -> 135[label="",style="dashed", color="magenta", weight=3];
125 -> 136[label="",style="dashed", color="magenta", weight=3];
372[label="terminator (Char (Succ vx24) : vx31)",fontsize=16,color="black",shape="box"];372 -> 375[label="",style="solid", color="black", weight=3];
132[label="vx10",fontsize=16,color="green",shape="box"];133[label="getLineGetRest0",fontsize=16,color="grey",shape="box"];133 -> 143[label="",style="dashed", color="grey", weight=3];
135[label="vx13",fontsize=16,color="green",shape="box"];136[label="Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))))",fontsize=16,color="green",shape="box"];134[label="getLineGetRest20 vx15 (vx15 == Char (Succ vx16))",fontsize=16,color="black",shape="triangle"];134 -> 144[label="",style="solid", color="black", weight=3];
375[label="ter17m (Char (Succ vx24) : vx31)",fontsize=16,color="green",shape="box"];375 -> 380[label="",style="dashed", color="green", weight=3];
143[label="getLineGetRest0 vx17",fontsize=16,color="black",shape="triangle"];143 -> 156[label="",style="solid", color="black", weight=3];
144[label="getLineGetRest20 vx15 (primEqChar vx15 (Char (Succ vx16)))",fontsize=16,color="burlywood",shape="box"];420[label="vx15/Char vx150",fontsize=10,color="white",style="solid",shape="box"];144 -> 420[label="",style="solid", color="burlywood", weight=9];
420 -> 157[label="",style="solid", color="burlywood", weight=3];
380[label="Char (Succ vx24) : vx31",fontsize=16,color="green",shape="box"];156[label="getLineGetRest00 vx17 (isEOFError vx17)",fontsize=16,color="black",shape="triangle"];156 -> 163[label="",style="solid", color="black", weight=3];
157[label="getLineGetRest20 (Char vx150) (primEqChar (Char vx150) (Char (Succ vx16)))",fontsize=16,color="black",shape="box"];157 -> 164[label="",style="solid", color="black", weight=3];
163 -> 156[label="",style="dashed", color="red", weight=0];
163[label="getLineGetRest00 vx17 (isEOFError vx17)",fontsize=16,color="magenta"];164[label="getLineGetRest20 (Char vx150) (primEqNat vx150 (Succ vx16))",fontsize=16,color="burlywood",shape="box"];422[label="vx150/Succ vx1500",fontsize=10,color="white",style="solid",shape="box"];164 -> 422[label="",style="solid", color="burlywood", weight=9];
422 -> 170[label="",style="solid", color="burlywood", weight=3];
423[label="vx150/Zero",fontsize=10,color="white",style="solid",shape="box"];164 -> 423[label="",style="solid", color="burlywood", weight=9];
423 -> 171[label="",style="solid", color="burlywood", weight=3];
170[label="getLineGetRest20 (Char (Succ vx1500)) (primEqNat (Succ vx1500) (Succ vx16))",fontsize=16,color="black",shape="box"];170 -> 178[label="",style="solid", color="black", weight=3];
171[label="getLineGetRest20 (Char Zero) (primEqNat Zero (Succ vx16))",fontsize=16,color="black",shape="box"];171 -> 179[label="",style="solid", color="black", weight=3];
178 -> 353[label="",style="dashed", color="red", weight=0];
178[label="getLineGetRest20 (Char (Succ vx1500)) (primEqNat vx1500 vx16)",fontsize=16,color="magenta"];178 -> 354[label="",style="dashed", color="magenta", weight=3];
178 -> 355[label="",style="dashed", color="magenta", weight=3];
178 -> 356[label="",style="dashed", color="magenta", weight=3];
179[label="getLineGetRest20 (Char Zero) False",fontsize=16,color="black",shape="box"];179 -> 187[label="",style="solid", color="black", weight=3];
354[label="vx16",fontsize=16,color="green",shape="box"];355[label="vx1500",fontsize=16,color="green",shape="box"];356[label="vx1500",fontsize=16,color="green",shape="box"];353[label="getLineGetRest20 (Char (Succ vx33)) (primEqNat vx34 vx35)",fontsize=16,color="burlywood",shape="triangle"];425[label="vx34/Succ vx340",fontsize=10,color="white",style="solid",shape="box"];353 -> 425[label="",style="solid", color="burlywood", weight=9];
425 -> 373[label="",style="solid", color="burlywood", weight=3];
426[label="vx34/Zero",fontsize=10,color="white",style="solid",shape="box"];353 -> 426[label="",style="solid", color="burlywood", weight=9];
426 -> 374[label="",style="solid", color="burlywood", weight=3];
187 -> 196[label="",style="dashed", color="red", weight=0];
187[label="getLineGetRest >>= getLineGetRest1 (Char Zero)",fontsize=16,color="magenta"];187 -> 197[label="",style="dashed", color="magenta", weight=3];
373[label="getLineGetRest20 (Char (Succ vx33)) (primEqNat (Succ vx340) vx35)",fontsize=16,color="burlywood",shape="box"];428[label="vx35/Succ vx350",fontsize=10,color="white",style="solid",shape="box"];373 -> 428[label="",style="solid", color="burlywood", weight=9];
428 -> 376[label="",style="solid", color="burlywood", weight=3];
429[label="vx35/Zero",fontsize=10,color="white",style="solid",shape="box"];373 -> 429[label="",style="solid", color="burlywood", weight=9];
429 -> 377[label="",style="solid", color="burlywood", weight=3];
374[label="getLineGetRest20 (Char (Succ vx33)) (primEqNat Zero vx35)",fontsize=16,color="burlywood",shape="box"];430[label="vx35/Succ vx350",fontsize=10,color="white",style="solid",shape="box"];374 -> 430[label="",style="solid", color="burlywood", weight=9];
430 -> 378[label="",style="solid", color="burlywood", weight=3];
431[label="vx35/Zero",fontsize=10,color="white",style="solid",shape="box"];374 -> 431[label="",style="solid", color="burlywood", weight=9];
431 -> 379[label="",style="solid", color="burlywood", weight=3];
197 -> 48[label="",style="dashed", color="red", weight=0];
197[label="getLineGetRest",fontsize=16,color="magenta"];196[label="vx20 >>= getLineGetRest1 (Char Zero)",fontsize=16,color="black",shape="triangle"];196 -> 207[label="",style="solid", color="black", weight=3];
376[label="getLineGetRest20 (Char (Succ vx33)) (primEqNat (Succ vx340) (Succ vx350))",fontsize=16,color="black",shape="box"];376 -> 381[label="",style="solid", color="black", weight=3];
377[label="getLineGetRest20 (Char (Succ vx33)) (primEqNat (Succ vx340) Zero)",fontsize=16,color="black",shape="box"];377 -> 382[label="",style="solid", color="black", weight=3];
378[label="getLineGetRest20 (Char (Succ vx33)) (primEqNat Zero (Succ vx350))",fontsize=16,color="black",shape="box"];378 -> 383[label="",style="solid", color="black", weight=3];
379[label="getLineGetRest20 (Char (Succ vx33)) (primEqNat Zero Zero)",fontsize=16,color="black",shape="box"];379 -> 384[label="",style="solid", color="black", weight=3];
207[label="primbindIO vx20 (getLineGetRest1 (Char Zero))",fontsize=16,color="black",shape="box"];207 -> 217[label="",style="solid", color="black", weight=3];
381 -> 353[label="",style="dashed", color="red", weight=0];
381[label="getLineGetRest20 (Char (Succ vx33)) (primEqNat vx340 vx350)",fontsize=16,color="magenta"];381 -> 385[label="",style="dashed", color="magenta", weight=3];
381 -> 386[label="",style="dashed", color="magenta", weight=3];
382[label="getLineGetRest20 (Char (Succ vx33)) False",fontsize=16,color="black",shape="triangle"];382 -> 387[label="",style="solid", color="black", weight=3];
383 -> 382[label="",style="dashed", color="red", weight=0];
383[label="getLineGetRest20 (Char (Succ vx33)) False",fontsize=16,color="magenta"];384[label="getLineGetRest20 (Char (Succ vx33)) True",fontsize=16,color="black",shape="box"];384 -> 388[label="",style="solid", color="black", weight=3];
217[label="terminator vx20 (getLineGetRest1 (Char Zero))",fontsize=16,color="black",shape="box"];217 -> 230[label="",style="solid", color="black", weight=3];
385[label="vx350",fontsize=16,color="green",shape="box"];386[label="vx340",fontsize=16,color="green",shape="box"];387 -> 389[label="",style="dashed", color="red", weight=0];
387[label="getLineGetRest >>= getLineGetRest1 (Char (Succ vx33))",fontsize=16,color="magenta"];387 -> 390[label="",style="dashed", color="magenta", weight=3];
388 -> 155[label="",style="dashed", color="red", weight=0];
388[label="return []",fontsize=16,color="magenta"];230[label="ter11m vx20 (getLineGetRest1 (Char Zero))",fontsize=16,color="green",shape="box"];230 -> 267[label="",style="dashed", color="green", weight=3];
230 -> 268[label="",style="dashed", color="green", weight=3];
390 -> 48[label="",style="dashed", color="red", weight=0];
390[label="getLineGetRest",fontsize=16,color="magenta"];389[label="vx36 >>= getLineGetRest1 (Char (Succ vx33))",fontsize=16,color="black",shape="triangle"];389 -> 391[label="",style="solid", color="black", weight=3];
267[label="vx20",fontsize=16,color="green",shape="box"];268[label="getLineGetRest1 (Char Zero)",fontsize=16,color="grey",shape="box"];268 -> 280[label="",style="dashed", color="grey", weight=3];
391[label="primbindIO vx36 (getLineGetRest1 (Char (Succ vx33)))",fontsize=16,color="black",shape="box"];391 -> 392[label="",style="solid", color="black", weight=3];
280[label="getLineGetRest1 (Char Zero) vx27",fontsize=16,color="black",shape="triangle"];280 -> 291[label="",style="solid", color="black", weight=3];
392[label="terminator vx36 (getLineGetRest1 (Char (Succ vx33)))",fontsize=16,color="black",shape="box"];392 -> 393[label="",style="solid", color="black", weight=3];
291 -> 71[label="",style="dashed", color="red", weight=0];
291[label="return (Char Zero : vx27)",fontsize=16,color="magenta"];291 -> 304[label="",style="dashed", color="magenta", weight=3];
393[label="ter18m vx36 (getLineGetRest1 (Char (Succ vx33)))",fontsize=16,color="green",shape="box"];393 -> 394[label="",style="dashed", color="green", weight=3];
393 -> 395[label="",style="dashed", color="green", weight=3];
304[label="vx27",fontsize=16,color="green",shape="box"];394[label="vx36",fontsize=16,color="green",shape="box"];395[label="getLineGetRest1 (Char (Succ vx33))",fontsize=16,color="grey",shape="box"];395 -> 396[label="",style="dashed", color="grey", weight=3];
396[label="getLineGetRest1 (Char (Succ vx33)) vx37",fontsize=16,color="black",shape="triangle"];396 -> 397[label="",style="solid", color="black", weight=3];
397 -> 345[label="",style="dashed", color="red", weight=0];
397[label="return (Char (Succ vx33) : vx37)",fontsize=16,color="magenta"];397 -> 398[label="",style="dashed", color="magenta", weight=3];
397 -> 399[label="",style="dashed", color="magenta", weight=3];
398[label="vx37",fontsize=16,color="green",shape="box"];399[label="vx33",fontsize=16,color="green",shape="box"];}

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ IFR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

                ↳ HASKELL

                  ↳ LetRed

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                                ↳ NonTerminationProof

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                          ↳ Narrow

Q DP problem:
The TRS P consists of the following rules:

new_getLineGetRest00(vx17) → new_getLineGetRest00(vx17)

R is empty.
Q is empty.
We have to consider all minimal (P,Q,R)-chains.
We used the non-termination processor [17] to show that the DP problem is infinite.
Found a loop by semiunifying a rule from P directly.

The TRS P consists of the following rules:

new_getLineGetRest00(vx17) → new_getLineGetRest00(vx17)

The TRS R consists of the following rules:none

s = new_getLineGetRest00(vx17) evaluates to t =new_getLineGetRest00(vx17)

Thus s starts an infinite chain as s semiunifies with t with the following substitutions:

Semiunifier: [ ]
Matcher: [ ]

Rewriting sequence

The DP semiunifies directly so there is only one rewrite step from new_getLineGetRest00(vx17) to new_getLineGetRest00(vx17).

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ IFR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

                ↳ HASKELL

                  ↳ LetRed

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                              ↳ QDP

                                ↳ NonTerminationProof

                              ↳ QDP

                              ↳ QDP

                          ↳ Narrow

Q DP problem:
The TRS P consists of the following rules:

new_getChar → new_getChar

The TRS R consists of the following rules:none

s = new_getChar evaluates to t =new_getChar

Thus s starts an infinite chain as s semiunifies with t with the following substitutions:

Semiunifier: [ ]
Matcher: [ ]

Rewriting sequence

The DP semiunifies directly so there is only one rewrite step from new_getChar to new_getChar.

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ IFR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

                ↳ HASKELL

                  ↳ LetRed

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                                ↳ DependencyGraphProof

                              ↳ QDP

                          ↳ Narrow

Q DP problem:
The TRS P consists of the following rules:

new_getLineGetRest20(vx16) → new_getLineGetRest200(vx16)
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest200(vx350)
new_getLineGetRest2(vx13) → new_getLineGetRest20(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero))))))))))
new_getLineGetRest20(vx16) → new_getLineGetRest
new_gtGtEs(vx10) → new_getLineGetRest20(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero))))))))))
new_getLineGetRest → new_gtGtEs(new_getChar0)
new_getLineGetRest201 → new_getLineGetRest
new_getLineGetRest200(Zero) → new_getLineGetRest
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest201

The TRS R consists of the following rules:

new_getChar0 → new_getChar0

The set Q consists of the following terms:

new_getChar0

We have to consider all minimal (P,Q,R)-chains.
The approximation of the Dependency Graph [15,17,22] contains 1 SCC with 1 less node.

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ IFR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

                ↳ HASKELL

                  ↳ LetRed

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                                ↳ DependencyGraphProof

                                  ↳ QDP

                                    ↳ Rewriting

                              ↳ QDP

                          ↳ Narrow

Q DP problem:
The TRS P consists of the following rules:

new_getLineGetRest20(vx16) → new_getLineGetRest200(vx16)
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest200(vx350)
new_getLineGetRest20(vx16) → new_getLineGetRest
new_gtGtEs(vx10) → new_getLineGetRest20(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero))))))))))
new_getLineGetRest → new_gtGtEs(new_getChar0)
new_getLineGetRest201 → new_getLineGetRest
new_getLineGetRest200(Zero) → new_getLineGetRest
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest201

The TRS R consists of the following rules:

new_getChar0 → new_getChar0

The set Q consists of the following terms:

new_getChar0

We have to consider all minimal (P,Q,R)-chains.
By rewriting [15] the rule new_getLineGetRest → new_gtGtEs(new_getChar0) at position [0] we obtained the following new rules:

new_getLineGetRest → new_gtGtEs(new_getChar0)

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ IFR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

                ↳ HASKELL

                  ↳ LetRed

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                                ↳ DependencyGraphProof

                                  ↳ QDP

                                    ↳ Rewriting

                                      ↳ QDP

                                        ↳ Rewriting

                              ↳ QDP

                          ↳ Narrow

Q DP problem:
The TRS P consists of the following rules:

new_getLineGetRest20(vx16) → new_getLineGetRest200(vx16)
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest200(vx350)
new_getLineGetRest20(vx16) → new_getLineGetRest
new_getLineGetRest → new_gtGtEs(new_getChar0)
new_gtGtEs(vx10) → new_getLineGetRest20(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero))))))))))
new_getLineGetRest201 → new_getLineGetRest
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest201
new_getLineGetRest200(Zero) → new_getLineGetRest

The TRS R consists of the following rules:

new_getChar0 → new_getChar0

The set Q consists of the following terms:

new_getChar0

We have to consider all minimal (P,Q,R)-chains.
By rewriting [15] the rule new_getLineGetRest → new_gtGtEs(new_getChar0) at position [0] we obtained the following new rules:

new_getLineGetRest → new_gtGtEs(new_getChar0)

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ IFR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

                ↳ HASKELL

                  ↳ LetRed

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                                ↳ DependencyGraphProof

                                  ↳ QDP

                                    ↳ Rewriting

                                      ↳ QDP

                                        ↳ Rewriting

                                          ↳ QDP

                                            ↳ Rewriting

                              ↳ QDP

                          ↳ Narrow

Q DP problem:
The TRS P consists of the following rules:

new_getLineGetRest20(vx16) → new_getLineGetRest200(vx16)
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest200(vx350)
new_getLineGetRest20(vx16) → new_getLineGetRest
new_gtGtEs(vx10) → new_getLineGetRest20(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero))))))))))
new_getLineGetRest → new_gtGtEs(new_getChar0)
new_getLineGetRest201 → new_getLineGetRest
new_getLineGetRest200(Zero) → new_getLineGetRest
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest201

The TRS R consists of the following rules:

new_getChar0 → new_getChar0

The set Q consists of the following terms:

new_getChar0

We have to consider all minimal (P,Q,R)-chains.
By rewriting [15] the rule new_getLineGetRest → new_gtGtEs(new_getChar0) at position [0] we obtained the following new rules:

new_getLineGetRest → new_gtGtEs(new_getChar0)

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ IFR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

                ↳ HASKELL

                  ↳ LetRed

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                                ↳ DependencyGraphProof

                                  ↳ QDP

                                    ↳ Rewriting

                                      ↳ QDP

                                        ↳ Rewriting

                                          ↳ QDP

                                            ↳ Rewriting

                                              ↳ QDP

                                                ↳ Rewriting

                              ↳ QDP

                          ↳ Narrow

Q DP problem:
The TRS P consists of the following rules:

new_getLineGetRest20(vx16) → new_getLineGetRest200(vx16)
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest200(vx350)
new_getLineGetRest20(vx16) → new_getLineGetRest
new_getLineGetRest → new_gtGtEs(new_getChar0)
new_gtGtEs(vx10) → new_getLineGetRest20(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero))))))))))
new_getLineGetRest201 → new_getLineGetRest
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest201
new_getLineGetRest200(Zero) → new_getLineGetRest

The TRS R consists of the following rules:

new_getChar0 → new_getChar0

The set Q consists of the following terms:

new_getChar0

We have to consider all minimal (P,Q,R)-chains.
By rewriting [15] the rule new_getLineGetRest → new_gtGtEs(new_getChar0) at position [0] we obtained the following new rules:

new_getLineGetRest → new_gtGtEs(new_getChar0)

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ IFR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

                ↳ HASKELL

                  ↳ LetRed

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                                ↳ DependencyGraphProof

                                  ↳ QDP

                                    ↳ Rewriting

                                      ↳ QDP

                                        ↳ Rewriting

                                          ↳ QDP

                                            ↳ Rewriting

                                              ↳ QDP

                                                ↳ Rewriting

                                                  ↳ QDP

                                                    ↳ Rewriting

                              ↳ QDP

                          ↳ Narrow

Q DP problem:
The TRS P consists of the following rules:

new_getLineGetRest20(vx16) → new_getLineGetRest200(vx16)
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest200(vx350)
new_getLineGetRest20(vx16) → new_getLineGetRest
new_gtGtEs(vx10) → new_getLineGetRest20(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero))))))))))
new_getLineGetRest → new_gtGtEs(new_getChar0)
new_getLineGetRest201 → new_getLineGetRest
new_getLineGetRest200(Zero) → new_getLineGetRest
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest201

The TRS R consists of the following rules:

new_getChar0 → new_getChar0

The set Q consists of the following terms:

new_getChar0

We have to consider all minimal (P,Q,R)-chains.
By rewriting [15] the rule new_getLineGetRest → new_gtGtEs(new_getChar0) at position [0] we obtained the following new rules:

new_getLineGetRest → new_gtGtEs(new_getChar0)

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ IFR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

                ↳ HASKELL

                  ↳ LetRed

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                                ↳ DependencyGraphProof

                                  ↳ QDP

                                    ↳ Rewriting

                                      ↳ QDP

                                        ↳ Rewriting

                                          ↳ QDP

                                            ↳ Rewriting

                                              ↳ QDP

                                                ↳ Rewriting

                                                  ↳ QDP

                                                    ↳ Rewriting

                                                      ↳ QDP

                                                        ↳ Rewriting

                              ↳ QDP

                          ↳ Narrow

Q DP problem:
The TRS P consists of the following rules:

new_getLineGetRest20(vx16) → new_getLineGetRest200(vx16)
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest200(vx350)
new_getLineGetRest20(vx16) → new_getLineGetRest
new_getLineGetRest → new_gtGtEs(new_getChar0)
new_gtGtEs(vx10) → new_getLineGetRest20(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero))))))))))
new_getLineGetRest201 → new_getLineGetRest
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest201
new_getLineGetRest200(Zero) → new_getLineGetRest

The TRS R consists of the following rules:

new_getChar0 → new_getChar0

The set Q consists of the following terms:

new_getChar0

We have to consider all minimal (P,Q,R)-chains.
By rewriting [15] the rule new_getLineGetRest → new_gtGtEs(new_getChar0) at position [0] we obtained the following new rules:

new_getLineGetRest → new_gtGtEs(new_getChar0)

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ IFR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

                ↳ HASKELL

                  ↳ LetRed

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                                ↳ DependencyGraphProof

                                  ↳ QDP

                                    ↳ Rewriting

                                      ↳ QDP

                                        ↳ Rewriting

                                          ↳ QDP

                                            ↳ Rewriting

                                              ↳ QDP

                                                ↳ Rewriting

                                                  ↳ QDP

                                                    ↳ Rewriting

                                                      ↳ QDP

                                                        ↳ Rewriting

                                                          ↳ QDP

                                                            ↳ Rewriting

                              ↳ QDP

                          ↳ Narrow

Q DP problem:
The TRS P consists of the following rules:

new_getLineGetRest20(vx16) → new_getLineGetRest200(vx16)
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest200(vx350)
new_getLineGetRest20(vx16) → new_getLineGetRest
new_gtGtEs(vx10) → new_getLineGetRest20(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero))))))))))
new_getLineGetRest → new_gtGtEs(new_getChar0)
new_getLineGetRest201 → new_getLineGetRest
new_getLineGetRest200(Zero) → new_getLineGetRest
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest201

The TRS R consists of the following rules:

new_getChar0 → new_getChar0

The set Q consists of the following terms:

new_getChar0

We have to consider all minimal (P,Q,R)-chains.
By rewriting [15] the rule new_getLineGetRest → new_gtGtEs(new_getChar0) at position [0] we obtained the following new rules:

new_getLineGetRest → new_gtGtEs(new_getChar0)

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ IFR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

                ↳ HASKELL

                  ↳ LetRed

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                                ↳ DependencyGraphProof

                                  ↳ QDP

                                    ↳ Rewriting

                                      ↳ QDP

                                        ↳ Rewriting

                                          ↳ QDP

                                            ↳ Rewriting

                                              ↳ QDP

                                                ↳ Rewriting

                                                  ↳ QDP

                                                    ↳ Rewriting

                                                      ↳ QDP

                                                        ↳ Rewriting

                                                          ↳ QDP

                                                            ↳ Rewriting

                                                              ↳ QDP

                                                                ↳ Rewriting

                              ↳ QDP

                          ↳ Narrow

Q DP problem:
The TRS P consists of the following rules:

new_getLineGetRest20(vx16) → new_getLineGetRest200(vx16)
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest200(vx350)
new_getLineGetRest20(vx16) → new_getLineGetRest
new_getLineGetRest → new_gtGtEs(new_getChar0)
new_gtGtEs(vx10) → new_getLineGetRest20(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero))))))))))
new_getLineGetRest201 → new_getLineGetRest
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest201
new_getLineGetRest200(Zero) → new_getLineGetRest

The TRS R consists of the following rules:

new_getChar0 → new_getChar0

The set Q consists of the following terms:

new_getChar0

We have to consider all minimal (P,Q,R)-chains.
By rewriting [15] the rule new_getLineGetRest → new_gtGtEs(new_getChar0) at position [0] we obtained the following new rules:

new_getLineGetRest → new_gtGtEs(new_getChar0)

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ IFR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

                ↳ HASKELL

                  ↳ LetRed

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                                ↳ DependencyGraphProof

                                  ↳ QDP

                                    ↳ Rewriting

                                      ↳ QDP

                                        ↳ Rewriting

                                          ↳ QDP

                                            ↳ Rewriting

                                              ↳ QDP

                                                ↳ Rewriting

                                                  ↳ QDP

                                                    ↳ Rewriting

                                                      ↳ QDP

                                                        ↳ Rewriting

                                                          ↳ QDP

                                                            ↳ Rewriting

                                                              ↳ QDP

                                                                ↳ Rewriting

                                                                  ↳ QDP

                                                                    ↳ Rewriting

                              ↳ QDP

                          ↳ Narrow

Q DP problem:
The TRS P consists of the following rules:

new_getLineGetRest20(vx16) → new_getLineGetRest200(vx16)
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest200(vx350)
new_getLineGetRest20(vx16) → new_getLineGetRest
new_gtGtEs(vx10) → new_getLineGetRest20(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero))))))))))
new_getLineGetRest → new_gtGtEs(new_getChar0)
new_getLineGetRest201 → new_getLineGetRest
new_getLineGetRest200(Zero) → new_getLineGetRest
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest201

The TRS R consists of the following rules:

new_getChar0 → new_getChar0

The set Q consists of the following terms:

new_getChar0

We have to consider all minimal (P,Q,R)-chains.
By rewriting [15] the rule new_getLineGetRest → new_gtGtEs(new_getChar0) at position [0] we obtained the following new rules:

new_getLineGetRest → new_gtGtEs(new_getChar0)

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ IFR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

                ↳ HASKELL

                  ↳ LetRed

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                                ↳ DependencyGraphProof

                                  ↳ QDP

                                    ↳ Rewriting

                                      ↳ QDP

                                        ↳ Rewriting

                                          ↳ QDP

                                            ↳ Rewriting

                                              ↳ QDP

                                                ↳ Rewriting

                                                  ↳ QDP

                                                    ↳ Rewriting

                                                      ↳ QDP

                                                        ↳ Rewriting

                                                          ↳ QDP

                                                            ↳ Rewriting

                                                              ↳ QDP

                                                                ↳ Rewriting

                                                                  ↳ QDP

                                                                    ↳ Rewriting

                                                                      ↳ QDP

                                                                        ↳ Rewriting

                              ↳ QDP

                          ↳ Narrow

Q DP problem:
The TRS P consists of the following rules:

new_getLineGetRest20(vx16) → new_getLineGetRest200(vx16)
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest200(vx350)
new_getLineGetRest20(vx16) → new_getLineGetRest
new_getLineGetRest → new_gtGtEs(new_getChar0)
new_gtGtEs(vx10) → new_getLineGetRest20(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero))))))))))
new_getLineGetRest201 → new_getLineGetRest
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest201
new_getLineGetRest200(Zero) → new_getLineGetRest

The TRS R consists of the following rules:

new_getChar0 → new_getChar0

The set Q consists of the following terms:

new_getChar0

We have to consider all minimal (P,Q,R)-chains.
By rewriting [15] the rule new_getLineGetRest → new_gtGtEs(new_getChar0) at position [0] we obtained the following new rules:

new_getLineGetRest → new_gtGtEs(new_getChar0)

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ IFR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

                ↳ HASKELL

                  ↳ LetRed

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                                ↳ DependencyGraphProof

                                  ↳ QDP

                                    ↳ Rewriting

                                      ↳ QDP

                                        ↳ Rewriting

                                          ↳ QDP

                                            ↳ Rewriting

                                              ↳ QDP

                                                ↳ Rewriting

                                                  ↳ QDP

                                                    ↳ Rewriting

                                                      ↳ QDP

                                                        ↳ Rewriting

                                                          ↳ QDP

                                                            ↳ Rewriting

                                                              ↳ QDP

                                                                ↳ Rewriting

                                                                  ↳ QDP

                                                                    ↳ Rewriting

                                                                      ↳ QDP

                                                                        ↳ Rewriting

                                                                          ↳ QDP

                                                                            ↳ Rewriting

                              ↳ QDP

                          ↳ Narrow

Q DP problem:
The TRS P consists of the following rules:

new_getLineGetRest20(vx16) → new_getLineGetRest200(vx16)
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest200(vx350)
new_getLineGetRest20(vx16) → new_getLineGetRest
new_gtGtEs(vx10) → new_getLineGetRest20(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero))))))))))
new_getLineGetRest → new_gtGtEs(new_getChar0)
new_getLineGetRest201 → new_getLineGetRest
new_getLineGetRest200(Zero) → new_getLineGetRest
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest201

The TRS R consists of the following rules:

new_getChar0 → new_getChar0

The set Q consists of the following terms:

new_getChar0

We have to consider all minimal (P,Q,R)-chains.
By rewriting [15] the rule new_getLineGetRest → new_gtGtEs(new_getChar0) at position [0] we obtained the following new rules:

new_getLineGetRest → new_gtGtEs(new_getChar0)

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ IFR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

                ↳ HASKELL

                  ↳ LetRed

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                                ↳ DependencyGraphProof

                                  ↳ QDP

                                    ↳ Rewriting

                                      ↳ QDP

                                        ↳ Rewriting

                                          ↳ QDP

                                            ↳ Rewriting

                                              ↳ QDP

                                                ↳ Rewriting

                                                  ↳ QDP

                                                    ↳ Rewriting

                                                      ↳ QDP

                                                        ↳ Rewriting

                                                          ↳ QDP

                                                            ↳ Rewriting

                                                              ↳ QDP

                                                                ↳ Rewriting

                                                                  ↳ QDP

                                                                    ↳ Rewriting

                                                                      ↳ QDP

                                                                        ↳ Rewriting

                                                                          ↳ QDP

                                                                            ↳ Rewriting

                                                                              ↳ QDP

                                                                                ↳ Rewriting

                              ↳ QDP

                          ↳ Narrow

Q DP problem:
The TRS P consists of the following rules:

new_getLineGetRest20(vx16) → new_getLineGetRest200(vx16)
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest200(vx350)
new_getLineGetRest20(vx16) → new_getLineGetRest
new_getLineGetRest → new_gtGtEs(new_getChar0)
new_gtGtEs(vx10) → new_getLineGetRest20(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero))))))))))
new_getLineGetRest201 → new_getLineGetRest
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest201
new_getLineGetRest200(Zero) → new_getLineGetRest

The TRS R consists of the following rules:

new_getChar0 → new_getChar0

The set Q consists of the following terms:

new_getChar0

We have to consider all minimal (P,Q,R)-chains.
By rewriting [15] the rule new_getLineGetRest → new_gtGtEs(new_getChar0) at position [0] we obtained the following new rules:

new_getLineGetRest → new_gtGtEs(new_getChar0)

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ IFR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

                ↳ HASKELL

                  ↳ LetRed

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                                ↳ DependencyGraphProof

                                  ↳ QDP

                                    ↳ Rewriting

                                      ↳ QDP

                                        ↳ Rewriting

                                          ↳ QDP

                                            ↳ Rewriting

                                              ↳ QDP

                                                ↳ Rewriting

                                                  ↳ QDP

                                                    ↳ Rewriting

                                                      ↳ QDP

                                                        ↳ Rewriting

                                                          ↳ QDP

                                                            ↳ Rewriting

                                                              ↳ QDP

                                                                ↳ Rewriting

                                                                  ↳ QDP

                                                                    ↳ Rewriting

                                                                      ↳ QDP

                                                                        ↳ Rewriting

                                                                          ↳ QDP

                                                                            ↳ Rewriting

                                                                              ↳ QDP

                                                                                ↳ Rewriting

                                                                                  ↳ QDP

                                                                                    ↳ Rewriting

                              ↳ QDP

                          ↳ Narrow

Q DP problem:
The TRS P consists of the following rules:

new_getLineGetRest20(vx16) → new_getLineGetRest200(vx16)
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest200(vx350)
new_getLineGetRest20(vx16) → new_getLineGetRest
new_gtGtEs(vx10) → new_getLineGetRest20(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero))))))))))
new_getLineGetRest → new_gtGtEs(new_getChar0)
new_getLineGetRest201 → new_getLineGetRest
new_getLineGetRest200(Zero) → new_getLineGetRest
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest201

The TRS R consists of the following rules:

new_getChar0 → new_getChar0

The set Q consists of the following terms:

new_getChar0

We have to consider all minimal (P,Q,R)-chains.
By rewriting [15] the rule new_getLineGetRest → new_gtGtEs(new_getChar0) at position [0] we obtained the following new rules:

new_getLineGetRest → new_gtGtEs(new_getChar0)

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ IFR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

                ↳ HASKELL

                  ↳ LetRed

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                                ↳ DependencyGraphProof

                                  ↳ QDP

                                    ↳ Rewriting

                                      ↳ QDP

                                        ↳ Rewriting

                                          ↳ QDP

                                            ↳ Rewriting

                                              ↳ QDP

                                                ↳ Rewriting

                                                  ↳ QDP

                                                    ↳ Rewriting

                                                      ↳ QDP

                                                        ↳ Rewriting

                                                          ↳ QDP

                                                            ↳ Rewriting

                                                              ↳ QDP

                                                                ↳ Rewriting

                                                                  ↳ QDP

                                                                    ↳ Rewriting

                                                                      ↳ QDP

                                                                        ↳ Rewriting

                                                                          ↳ QDP

                                                                            ↳ Rewriting

                                                                              ↳ QDP

                                                                                ↳ Rewriting

                                                                                  ↳ QDP

                                                                                    ↳ Rewriting

                                                                                      ↳ QDP

                                                                                        ↳ Rewriting

                              ↳ QDP

                          ↳ Narrow

Q DP problem:
The TRS P consists of the following rules:

new_getLineGetRest20(vx16) → new_getLineGetRest200(vx16)
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest200(vx350)
new_getLineGetRest20(vx16) → new_getLineGetRest
new_getLineGetRest → new_gtGtEs(new_getChar0)
new_gtGtEs(vx10) → new_getLineGetRest20(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero))))))))))
new_getLineGetRest201 → new_getLineGetRest
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest201
new_getLineGetRest200(Zero) → new_getLineGetRest

The TRS R consists of the following rules:

new_getChar0 → new_getChar0

The set Q consists of the following terms:

new_getChar0

We have to consider all minimal (P,Q,R)-chains.
By rewriting [15] the rule new_getLineGetRest → new_gtGtEs(new_getChar0) at position [0] we obtained the following new rules:

new_getLineGetRest → new_gtGtEs(new_getChar0)

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ IFR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

                ↳ HASKELL

                  ↳ LetRed

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                                ↳ DependencyGraphProof

                                  ↳ QDP

                                    ↳ Rewriting

                                      ↳ QDP

                                        ↳ Rewriting

                                          ↳ QDP

                                            ↳ Rewriting

                                              ↳ QDP

                                                ↳ Rewriting

                                                  ↳ QDP

                                                    ↳ Rewriting

                                                      ↳ QDP

                                                        ↳ Rewriting

                                                          ↳ QDP

                                                            ↳ Rewriting

                                                              ↳ QDP

                                                                ↳ Rewriting

                                                                  ↳ QDP

                                                                    ↳ Rewriting

                                                                      ↳ QDP

                                                                        ↳ Rewriting

                                                                          ↳ QDP

                                                                            ↳ Rewriting

                                                                              ↳ QDP

                                                                                ↳ Rewriting

                                                                                  ↳ QDP

                                                                                    ↳ Rewriting

                                                                                      ↳ QDP

                                                                                        ↳ Rewriting

                                                                                          ↳ QDP

                                                                                            ↳ Rewriting

                              ↳ QDP

                          ↳ Narrow

Q DP problem:
The TRS P consists of the following rules:

new_getLineGetRest20(vx16) → new_getLineGetRest200(vx16)
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest200(vx350)
new_getLineGetRest20(vx16) → new_getLineGetRest
new_gtGtEs(vx10) → new_getLineGetRest20(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero))))))))))
new_getLineGetRest → new_gtGtEs(new_getChar0)
new_getLineGetRest201 → new_getLineGetRest
new_getLineGetRest200(Zero) → new_getLineGetRest
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest201

The TRS R consists of the following rules:

new_getChar0 → new_getChar0

The set Q consists of the following terms:

new_getChar0

We have to consider all minimal (P,Q,R)-chains.
By rewriting [15] the rule new_getLineGetRest → new_gtGtEs(new_getChar0) at position [0] we obtained the following new rules:

new_getLineGetRest → new_gtGtEs(new_getChar0)

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ IFR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

                ↳ HASKELL

                  ↳ LetRed

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                                ↳ DependencyGraphProof

                                  ↳ QDP

                                    ↳ Rewriting

                                      ↳ QDP

                                        ↳ Rewriting

                                          ↳ QDP

                                            ↳ Rewriting

                                              ↳ QDP

                                                ↳ Rewriting

                                                  ↳ QDP

                                                    ↳ Rewriting

                                                      ↳ QDP

                                                        ↳ Rewriting

                                                          ↳ QDP

                                                            ↳ Rewriting

                                                              ↳ QDP

                                                                ↳ Rewriting

                                                                  ↳ QDP

                                                                    ↳ Rewriting

                                                                      ↳ QDP

                                                                        ↳ Rewriting

                                                                          ↳ QDP

                                                                            ↳ Rewriting

                                                                              ↳ QDP

                                                                                ↳ Rewriting

                                                                                  ↳ QDP

                                                                                    ↳ Rewriting

                                                                                      ↳ QDP

                                                                                        ↳ Rewriting

                                                                                          ↳ QDP

                                                                                            ↳ Rewriting

                                                                                              ↳ QDP

                                                                                                ↳ Rewriting

                              ↳ QDP

                          ↳ Narrow

Q DP problem:
The TRS P consists of the following rules:

new_getLineGetRest20(vx16) → new_getLineGetRest200(vx16)
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest200(vx350)
new_getLineGetRest20(vx16) → new_getLineGetRest
new_getLineGetRest → new_gtGtEs(new_getChar0)
new_gtGtEs(vx10) → new_getLineGetRest20(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero))))))))))
new_getLineGetRest201 → new_getLineGetRest
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest201
new_getLineGetRest200(Zero) → new_getLineGetRest

The TRS R consists of the following rules:

new_getChar0 → new_getChar0

The set Q consists of the following terms:

new_getChar0

We have to consider all minimal (P,Q,R)-chains.
By rewriting [15] the rule new_getLineGetRest → new_gtGtEs(new_getChar0) at position [0] we obtained the following new rules:

new_getLineGetRest → new_gtGtEs(new_getChar0)

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ IFR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

                ↳ HASKELL

                  ↳ LetRed

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                                ↳ DependencyGraphProof

                                  ↳ QDP

                                    ↳ Rewriting

                                      ↳ QDP

                                        ↳ Rewriting

                                          ↳ QDP

                                            ↳ Rewriting

                                              ↳ QDP

                                                ↳ Rewriting

                                                  ↳ QDP

                                                    ↳ Rewriting

                                                      ↳ QDP

                                                        ↳ Rewriting

                                                          ↳ QDP

                                                            ↳ Rewriting

                                                              ↳ QDP

                                                                ↳ Rewriting

                                                                  ↳ QDP

                                                                    ↳ Rewriting

                                                                      ↳ QDP

                                                                        ↳ Rewriting

                                                                          ↳ QDP

                                                                            ↳ Rewriting

                                                                              ↳ QDP

                                                                                ↳ Rewriting

                                                                                  ↳ QDP

                                                                                    ↳ Rewriting

                                                                                      ↳ QDP

                                                                                        ↳ Rewriting

                                                                                          ↳ QDP

                                                                                            ↳ Rewriting

                                                                                              ↳ QDP

                                                                                                ↳ Rewriting

                                                                                                  ↳ QDP

                                                                                                    ↳ Rewriting

                              ↳ QDP

                          ↳ Narrow

Q DP problem:
The TRS P consists of the following rules:

new_getLineGetRest20(vx16) → new_getLineGetRest200(vx16)
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest200(vx350)
new_getLineGetRest20(vx16) → new_getLineGetRest
new_gtGtEs(vx10) → new_getLineGetRest20(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero))))))))))
new_getLineGetRest → new_gtGtEs(new_getChar0)
new_getLineGetRest201 → new_getLineGetRest
new_getLineGetRest200(Zero) → new_getLineGetRest
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest201

The TRS R consists of the following rules:

new_getChar0 → new_getChar0

The set Q consists of the following terms:

new_getChar0

We have to consider all minimal (P,Q,R)-chains.
By rewriting [15] the rule new_getLineGetRest → new_gtGtEs(new_getChar0) at position [0] we obtained the following new rules:

new_getLineGetRest → new_gtGtEs(new_getChar0)

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ IFR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

                ↳ HASKELL

                  ↳ LetRed

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                                ↳ DependencyGraphProof

                                  ↳ QDP

                                    ↳ Rewriting

                                      ↳ QDP

                                        ↳ Rewriting

                                          ↳ QDP

                                            ↳ Rewriting

                                              ↳ QDP

                                                ↳ Rewriting

                                                  ↳ QDP

                                                    ↳ Rewriting

                                                      ↳ QDP

                                                        ↳ Rewriting

                                                          ↳ QDP

                                                            ↳ Rewriting

                                                              ↳ QDP

                                                                ↳ Rewriting

                                                                  ↳ QDP

                                                                    ↳ Rewriting

                                                                      ↳ QDP

                                                                        ↳ Rewriting

                                                                          ↳ QDP

                                                                            ↳ Rewriting

                                                                              ↳ QDP

                                                                                ↳ Rewriting

                                                                                  ↳ QDP

                                                                                    ↳ Rewriting

                                                                                      ↳ QDP

                                                                                        ↳ Rewriting

                                                                                          ↳ QDP

                                                                                            ↳ Rewriting

                                                                                              ↳ QDP

                                                                                                ↳ Rewriting

                                                                                                  ↳ QDP

                                                                                                    ↳ Rewriting

                                                                                                      ↳ QDP

                                                                                                        ↳ Rewriting

                              ↳ QDP

                          ↳ Narrow

Q DP problem:
The TRS P consists of the following rules:

new_getLineGetRest20(vx16) → new_getLineGetRest200(vx16)
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest200(vx350)
new_getLineGetRest20(vx16) → new_getLineGetRest
new_getLineGetRest → new_gtGtEs(new_getChar0)
new_gtGtEs(vx10) → new_getLineGetRest20(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero))))))))))
new_getLineGetRest201 → new_getLineGetRest
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest201
new_getLineGetRest200(Zero) → new_getLineGetRest

The TRS R consists of the following rules:

new_getChar0 → new_getChar0

The set Q consists of the following terms:

new_getChar0

We have to consider all minimal (P,Q,R)-chains.
By rewriting [15] the rule new_getLineGetRest → new_gtGtEs(new_getChar0) at position [0] we obtained the following new rules:

new_getLineGetRest → new_gtGtEs(new_getChar0)

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ IFR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

                ↳ HASKELL

                  ↳ LetRed

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                                ↳ DependencyGraphProof

                                  ↳ QDP

                                    ↳ Rewriting

                                      ↳ QDP

                                        ↳ Rewriting

                                          ↳ QDP

                                            ↳ Rewriting

                                              ↳ QDP

                                                ↳ Rewriting

                                                  ↳ QDP

                                                    ↳ Rewriting

                                                      ↳ QDP

                                                        ↳ Rewriting

                                                          ↳ QDP

                                                            ↳ Rewriting

                                                              ↳ QDP

                                                                ↳ Rewriting

                                                                  ↳ QDP

                                                                    ↳ Rewriting

                                                                      ↳ QDP

                                                                        ↳ Rewriting

                                                                          ↳ QDP

                                                                            ↳ Rewriting

                                                                              ↳ QDP

                                                                                ↳ Rewriting

                                                                                  ↳ QDP

                                                                                    ↳ Rewriting

                                                                                      ↳ QDP

                                                                                        ↳ Rewriting

                                                                                          ↳ QDP

                                                                                            ↳ Rewriting

                                                                                              ↳ QDP

                                                                                                ↳ Rewriting

                                                                                                  ↳ QDP

                                                                                                    ↳ Rewriting

                                                                                                      ↳ QDP

                                                                                                        ↳ Rewriting

                                                                                                          ↳ QDP

                                                                                                            ↳ Rewriting

                              ↳ QDP

                          ↳ Narrow

Q DP problem:
The TRS P consists of the following rules:

new_getLineGetRest20(vx16) → new_getLineGetRest200(vx16)
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest200(vx350)
new_getLineGetRest20(vx16) → new_getLineGetRest
new_gtGtEs(vx10) → new_getLineGetRest20(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero))))))))))
new_getLineGetRest → new_gtGtEs(new_getChar0)
new_getLineGetRest201 → new_getLineGetRest
new_getLineGetRest200(Zero) → new_getLineGetRest
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest201

The TRS R consists of the following rules:

new_getChar0 → new_getChar0

The set Q consists of the following terms:

new_getChar0

We have to consider all minimal (P,Q,R)-chains.
By rewriting [15] the rule new_getLineGetRest → new_gtGtEs(new_getChar0) at position [0] we obtained the following new rules:

new_getLineGetRest → new_gtGtEs(new_getChar0)

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ IFR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

                ↳ HASKELL

                  ↳ LetRed

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                                ↳ DependencyGraphProof

                                  ↳ QDP

                                    ↳ Rewriting

                                      ↳ QDP

                                        ↳ Rewriting

                                          ↳ QDP

                                            ↳ Rewriting

                                              ↳ QDP

                                                ↳ Rewriting

                                                  ↳ QDP

                                                    ↳ Rewriting

                                                      ↳ QDP

                                                        ↳ Rewriting

                                                          ↳ QDP

                                                            ↳ Rewriting

                                                              ↳ QDP

                                                                ↳ Rewriting

                                                                  ↳ QDP

                                                                    ↳ Rewriting

                                                                      ↳ QDP

                                                                        ↳ Rewriting

                                                                          ↳ QDP

                                                                            ↳ Rewriting

                                                                              ↳ QDP

                                                                                ↳ Rewriting

                                                                                  ↳ QDP

                                                                                    ↳ Rewriting

                                                                                      ↳ QDP

                                                                                        ↳ Rewriting

                                                                                          ↳ QDP

                                                                                            ↳ Rewriting

                                                                                              ↳ QDP

                                                                                                ↳ Rewriting

                                                                                                  ↳ QDP

                                                                                                    ↳ Rewriting

                                                                                                      ↳ QDP

                                                                                                        ↳ Rewriting

                                                                                                          ↳ QDP

                                                                                                            ↳ Rewriting

                                                                                                              ↳ QDP

                                                                                                                ↳ Rewriting

                              ↳ QDP

                          ↳ Narrow

Q DP problem:
The TRS P consists of the following rules:

new_getLineGetRest20(vx16) → new_getLineGetRest200(vx16)
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest200(vx350)
new_getLineGetRest20(vx16) → new_getLineGetRest
new_getLineGetRest → new_gtGtEs(new_getChar0)
new_gtGtEs(vx10) → new_getLineGetRest20(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero))))))))))
new_getLineGetRest201 → new_getLineGetRest
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest201
new_getLineGetRest200(Zero) → new_getLineGetRest

The TRS R consists of the following rules:

new_getChar0 → new_getChar0

The set Q consists of the following terms:

new_getChar0

We have to consider all minimal (P,Q,R)-chains.
By rewriting [15] the rule new_getLineGetRest → new_gtGtEs(new_getChar0) at position [0] we obtained the following new rules:

new_getLineGetRest → new_gtGtEs(new_getChar0)

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ IFR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

                ↳ HASKELL

                  ↳ LetRed

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                                ↳ DependencyGraphProof

                                  ↳ QDP

                                    ↳ Rewriting

                                      ↳ QDP

                                        ↳ Rewriting

                                          ↳ QDP

                                            ↳ Rewriting

                                              ↳ QDP

                                                ↳ Rewriting

                                                  ↳ QDP

                                                    ↳ Rewriting

                                                      ↳ QDP

                                                        ↳ Rewriting

                                                          ↳ QDP

                                                            ↳ Rewriting

                                                              ↳ QDP

                                                                ↳ Rewriting

                                                                  ↳ QDP

                                                                    ↳ Rewriting

                                                                      ↳ QDP

                                                                        ↳ Rewriting

                                                                          ↳ QDP

                                                                            ↳ Rewriting

                                                                              ↳ QDP

                                                                                ↳ Rewriting

                                                                                  ↳ QDP

                                                                                    ↳ Rewriting

                                                                                      ↳ QDP

                                                                                        ↳ Rewriting

                                                                                          ↳ QDP

                                                                                            ↳ Rewriting

                                                                                              ↳ QDP

                                                                                                ↳ Rewriting

                                                                                                  ↳ QDP

                                                                                                    ↳ Rewriting

                                                                                                      ↳ QDP

                                                                                                        ↳ Rewriting

                                                                                                          ↳ QDP

                                                                                                            ↳ Rewriting

                                                                                                              ↳ QDP

                                                                                                                ↳ Rewriting

                                                                                                                  ↳ QDP

                                                                                                                    ↳ Rewriting

                              ↳ QDP

                          ↳ Narrow

Q DP problem:
The TRS P consists of the following rules:

new_getLineGetRest20(vx16) → new_getLineGetRest200(vx16)
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest200(vx350)
new_getLineGetRest20(vx16) → new_getLineGetRest
new_gtGtEs(vx10) → new_getLineGetRest20(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero))))))))))
new_getLineGetRest → new_gtGtEs(new_getChar0)
new_getLineGetRest201 → new_getLineGetRest
new_getLineGetRest200(Zero) → new_getLineGetRest
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest201

The TRS R consists of the following rules:

new_getChar0 → new_getChar0

The set Q consists of the following terms:

new_getChar0

We have to consider all minimal (P,Q,R)-chains.
By rewriting [15] the rule new_getLineGetRest → new_gtGtEs(new_getChar0) at position [0] we obtained the following new rules:

new_getLineGetRest → new_gtGtEs(new_getChar0)

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ IFR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

                ↳ HASKELL

                  ↳ LetRed

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                                ↳ DependencyGraphProof

                                  ↳ QDP

                                    ↳ Rewriting

                                      ↳ QDP

                                        ↳ Rewriting

                                          ↳ QDP

                                            ↳ Rewriting

                                              ↳ QDP

                                                ↳ Rewriting

                                                  ↳ QDP

                                                    ↳ Rewriting

                                                      ↳ QDP

                                                        ↳ Rewriting

                                                          ↳ QDP

                                                            ↳ Rewriting

                                                              ↳ QDP

                                                                ↳ Rewriting

                                                                  ↳ QDP

                                                                    ↳ Rewriting

                                                                      ↳ QDP

                                                                        ↳ Rewriting

                                                                          ↳ QDP

                                                                            ↳ Rewriting

                                                                              ↳ QDP

                                                                                ↳ Rewriting

                                                                                  ↳ QDP

                                                                                    ↳ Rewriting

                                                                                      ↳ QDP

                                                                                        ↳ Rewriting

                                                                                          ↳ QDP

                                                                                            ↳ Rewriting

                                                                                              ↳ QDP

                                                                                                ↳ Rewriting

                                                                                                  ↳ QDP

                                                                                                    ↳ Rewriting

                                                                                                      ↳ QDP

                                                                                                        ↳ Rewriting

                                                                                                          ↳ QDP

                                                                                                            ↳ Rewriting

                                                                                                              ↳ QDP

                                                                                                                ↳ Rewriting

                                                                                                                  ↳ QDP

                                                                                                                    ↳ Rewriting

                                                                                                                      ↳ QDP

                                                                                                                        ↳ Rewriting

                              ↳ QDP

                          ↳ Narrow

Q DP problem:
The TRS P consists of the following rules:

new_getLineGetRest20(vx16) → new_getLineGetRest200(vx16)
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest200(vx350)
new_getLineGetRest20(vx16) → new_getLineGetRest
new_getLineGetRest → new_gtGtEs(new_getChar0)
new_gtGtEs(vx10) → new_getLineGetRest20(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero))))))))))
new_getLineGetRest201 → new_getLineGetRest
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest201
new_getLineGetRest200(Zero) → new_getLineGetRest

The TRS R consists of the following rules:

new_getChar0 → new_getChar0

The set Q consists of the following terms:

new_getChar0

We have to consider all minimal (P,Q,R)-chains.
By rewriting [15] the rule new_getLineGetRest → new_gtGtEs(new_getChar0) at position [0] we obtained the following new rules:

new_getLineGetRest → new_gtGtEs(new_getChar0)

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ IFR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

                ↳ HASKELL

                  ↳ LetRed

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                                ↳ DependencyGraphProof

                                  ↳ QDP

                                    ↳ Rewriting

                                      ↳ QDP

                                        ↳ Rewriting

                                          ↳ QDP

                                            ↳ Rewriting

                                              ↳ QDP

                                                ↳ Rewriting

                                                  ↳ QDP

                                                    ↳ Rewriting

                                                      ↳ QDP

                                                        ↳ Rewriting

                                                          ↳ QDP

                                                            ↳ Rewriting

                                                              ↳ QDP

                                                                ↳ Rewriting

                                                                  ↳ QDP

                                                                    ↳ Rewriting

                                                                      ↳ QDP

                                                                        ↳ Rewriting

                                                                          ↳ QDP

                                                                            ↳ Rewriting

                                                                              ↳ QDP

                                                                                ↳ Rewriting

                                                                                  ↳ QDP

                                                                                    ↳ Rewriting

                                                                                      ↳ QDP

                                                                                        ↳ Rewriting

                                                                                          ↳ QDP

                                                                                            ↳ Rewriting

                                                                                              ↳ QDP

                                                                                                ↳ Rewriting

                                                                                                  ↳ QDP

                                                                                                    ↳ Rewriting

                                                                                                      ↳ QDP

                                                                                                        ↳ Rewriting

                                                                                                          ↳ QDP

                                                                                                            ↳ Rewriting

                                                                                                              ↳ QDP

                                                                                                                ↳ Rewriting

                                                                                                                  ↳ QDP

                                                                                                                    ↳ Rewriting

                                                                                                                      ↳ QDP

                                                                                                                        ↳ Rewriting

                                                                                                                          ↳ QDP

                                                                                                                            ↳ Rewriting

                              ↳ QDP

                          ↳ Narrow

Q DP problem:
The TRS P consists of the following rules:

new_getLineGetRest20(vx16) → new_getLineGetRest200(vx16)
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest200(vx350)
new_getLineGetRest20(vx16) → new_getLineGetRest
new_gtGtEs(vx10) → new_getLineGetRest20(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero))))))))))
new_getLineGetRest → new_gtGtEs(new_getChar0)
new_getLineGetRest201 → new_getLineGetRest
new_getLineGetRest200(Zero) → new_getLineGetRest
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest201

The TRS R consists of the following rules:

new_getChar0 → new_getChar0

The set Q consists of the following terms:

new_getChar0

We have to consider all minimal (P,Q,R)-chains.
By rewriting [15] the rule new_getLineGetRest → new_gtGtEs(new_getChar0) at position [0] we obtained the following new rules:

new_getLineGetRest → new_gtGtEs(new_getChar0)

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ IFR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

                ↳ HASKELL

                  ↳ LetRed

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                                ↳ DependencyGraphProof

                                  ↳ QDP

                                    ↳ Rewriting

                                      ↳ QDP

                                        ↳ Rewriting

                                          ↳ QDP

                                            ↳ Rewriting

                                              ↳ QDP

                                                ↳ Rewriting

                                                  ↳ QDP

                                                    ↳ Rewriting

                                                      ↳ QDP

                                                        ↳ Rewriting

                                                          ↳ QDP

                                                            ↳ Rewriting

                                                              ↳ QDP

                                                                ↳ Rewriting

                                                                  ↳ QDP

                                                                    ↳ Rewriting

                                                                      ↳ QDP

                                                                        ↳ Rewriting

                                                                          ↳ QDP

                                                                            ↳ Rewriting

                                                                              ↳ QDP

                                                                                ↳ Rewriting

                                                                                  ↳ QDP

                                                                                    ↳ Rewriting

                                                                                      ↳ QDP

                                                                                        ↳ Rewriting

                                                                                          ↳ QDP

                                                                                            ↳ Rewriting

                                                                                              ↳ QDP

                                                                                                ↳ Rewriting

                                                                                                  ↳ QDP

                                                                                                    ↳ Rewriting

                                                                                                      ↳ QDP

                                                                                                        ↳ Rewriting

                                                                                                          ↳ QDP

                                                                                                            ↳ Rewriting

                                                                                                              ↳ QDP

                                                                                                                ↳ Rewriting

                                                                                                                  ↳ QDP

                                                                                                                    ↳ Rewriting

                                                                                                                      ↳ QDP

                                                                                                                        ↳ Rewriting

                                                                                                                          ↳ QDP

                                                                                                                            ↳ Rewriting

                                                                                                                              ↳ QDP

                                                                                                                                ↳ Rewriting

                              ↳ QDP

                          ↳ Narrow

Q DP problem:
The TRS P consists of the following rules:

new_getLineGetRest20(vx16) → new_getLineGetRest200(vx16)
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest200(vx350)
new_getLineGetRest20(vx16) → new_getLineGetRest
new_getLineGetRest → new_gtGtEs(new_getChar0)
new_gtGtEs(vx10) → new_getLineGetRest20(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero))))))))))
new_getLineGetRest201 → new_getLineGetRest
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest201
new_getLineGetRest200(Zero) → new_getLineGetRest

The TRS R consists of the following rules:

new_getChar0 → new_getChar0

The set Q consists of the following terms:

new_getChar0

We have to consider all minimal (P,Q,R)-chains.
By rewriting [15] the rule new_getLineGetRest → new_gtGtEs(new_getChar0) at position [0] we obtained the following new rules:

new_getLineGetRest → new_gtGtEs(new_getChar0)

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ IFR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

                ↳ HASKELL

                  ↳ LetRed

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                                ↳ DependencyGraphProof

                                  ↳ QDP

                                    ↳ Rewriting

                                      ↳ QDP

                                        ↳ Rewriting

                                          ↳ QDP

                                            ↳ Rewriting

                                              ↳ QDP

                                                ↳ Rewriting

                                                  ↳ QDP

                                                    ↳ Rewriting

                                                      ↳ QDP

                                                        ↳ Rewriting

                                                          ↳ QDP

                                                            ↳ Rewriting

                                                              ↳ QDP

                                                                ↳ Rewriting

                                                                  ↳ QDP

                                                                    ↳ Rewriting

                                                                      ↳ QDP

                                                                        ↳ Rewriting

                                                                          ↳ QDP

                                                                            ↳ Rewriting

                                                                              ↳ QDP

                                                                                ↳ Rewriting

                                                                                  ↳ QDP

                                                                                    ↳ Rewriting

                                                                                      ↳ QDP

                                                                                        ↳ Rewriting

                                                                                          ↳ QDP

                                                                                            ↳ Rewriting

                                                                                              ↳ QDP

                                                                                                ↳ Rewriting

                                                                                                  ↳ QDP

                                                                                                    ↳ Rewriting

                                                                                                      ↳ QDP

                                                                                                        ↳ Rewriting

                                                                                                          ↳ QDP

                                                                                                            ↳ Rewriting

                                                                                                              ↳ QDP

                                                                                                                ↳ Rewriting

                                                                                                                  ↳ QDP

                                                                                                                    ↳ Rewriting

                                                                                                                      ↳ QDP

                                                                                                                        ↳ Rewriting

                                                                                                                          ↳ QDP

                                                                                                                            ↳ Rewriting

                                                                                                                              ↳ QDP

                                                                                                                                ↳ Rewriting

                                                                                                                                  ↳ QDP

                                                                                                                                    ↳ Rewriting

                              ↳ QDP

                          ↳ Narrow

Q DP problem:
The TRS P consists of the following rules:

new_getLineGetRest20(vx16) → new_getLineGetRest200(vx16)
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest200(vx350)
new_getLineGetRest20(vx16) → new_getLineGetRest
new_gtGtEs(vx10) → new_getLineGetRest20(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero))))))))))
new_getLineGetRest → new_gtGtEs(new_getChar0)
new_getLineGetRest201 → new_getLineGetRest
new_getLineGetRest200(Zero) → new_getLineGetRest
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest201

The TRS R consists of the following rules:

new_getChar0 → new_getChar0

The set Q consists of the following terms:

new_getChar0

We have to consider all minimal (P,Q,R)-chains.
By rewriting [15] the rule new_getLineGetRest → new_gtGtEs(new_getChar0) at position [0] we obtained the following new rules:

new_getLineGetRest → new_gtGtEs(new_getChar0)

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ IFR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

                ↳ HASKELL

                  ↳ LetRed

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                                ↳ DependencyGraphProof

                                  ↳ QDP

                                    ↳ Rewriting

                                      ↳ QDP

                                        ↳ Rewriting

                                          ↳ QDP

                                            ↳ Rewriting

                                              ↳ QDP

                                                ↳ Rewriting

                                                  ↳ QDP

                                                    ↳ Rewriting

                                                      ↳ QDP

                                                        ↳ Rewriting

                                                          ↳ QDP

                                                            ↳ Rewriting

                                                              ↳ QDP

                                                                ↳ Rewriting

                                                                  ↳ QDP

                                                                    ↳ Rewriting

                                                                      ↳ QDP

                                                                        ↳ Rewriting

                                                                          ↳ QDP

                                                                            ↳ Rewriting

                                                                              ↳ QDP

                                                                                ↳ Rewriting

                                                                                  ↳ QDP

                                                                                    ↳ Rewriting

                                                                                      ↳ QDP

                                                                                        ↳ Rewriting

                                                                                          ↳ QDP

                                                                                            ↳ Rewriting

                                                                                              ↳ QDP

                                                                                                ↳ Rewriting

                                                                                                  ↳ QDP

                                                                                                    ↳ Rewriting

                                                                                                      ↳ QDP

                                                                                                        ↳ Rewriting

                                                                                                          ↳ QDP

                                                                                                            ↳ Rewriting

                                                                                                              ↳ QDP

                                                                                                                ↳ Rewriting

                                                                                                                  ↳ QDP

                                                                                                                    ↳ Rewriting

                                                                                                                      ↳ QDP

                                                                                                                        ↳ Rewriting

                                                                                                                          ↳ QDP

                                                                                                                            ↳ Rewriting

                                                                                                                              ↳ QDP

                                                                                                                                ↳ Rewriting

                                                                                                                                  ↳ QDP

                                                                                                                                    ↳ Rewriting

                                                                                                                                      ↳ QDP

                                                                                                                                        ↳ Rewriting

                              ↳ QDP

                          ↳ Narrow

Q DP problem:
The TRS P consists of the following rules:

new_getLineGetRest20(vx16) → new_getLineGetRest200(vx16)
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest200(vx350)
new_getLineGetRest20(vx16) → new_getLineGetRest
new_getLineGetRest → new_gtGtEs(new_getChar0)
new_gtGtEs(vx10) → new_getLineGetRest20(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero))))))))))
new_getLineGetRest201 → new_getLineGetRest
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest201
new_getLineGetRest200(Zero) → new_getLineGetRest

The TRS R consists of the following rules:

new_getChar0 → new_getChar0

The set Q consists of the following terms:

new_getChar0

We have to consider all minimal (P,Q,R)-chains.
By rewriting [15] the rule new_getLineGetRest → new_gtGtEs(new_getChar0) at position [0] we obtained the following new rules:

new_getLineGetRest → new_gtGtEs(new_getChar0)

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ IFR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

                ↳ HASKELL

                  ↳ LetRed

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                                ↳ DependencyGraphProof

                                  ↳ QDP

                                    ↳ Rewriting

                                      ↳ QDP

                                        ↳ Rewriting

                                          ↳ QDP

                                            ↳ Rewriting

                                              ↳ QDP

                                                ↳ Rewriting

                                                  ↳ QDP

                                                    ↳ Rewriting

                                                      ↳ QDP

                                                        ↳ Rewriting

                                                          ↳ QDP

                                                            ↳ Rewriting

                                                              ↳ QDP

                                                                ↳ Rewriting

                                                                  ↳ QDP

                                                                    ↳ Rewriting

                                                                      ↳ QDP

                                                                        ↳ Rewriting

                                                                          ↳ QDP

                                                                            ↳ Rewriting

                                                                              ↳ QDP

                                                                                ↳ Rewriting

                                                                                  ↳ QDP

                                                                                    ↳ Rewriting

                                                                                      ↳ QDP

                                                                                        ↳ Rewriting

                                                                                          ↳ QDP

                                                                                            ↳ Rewriting

                                                                                              ↳ QDP

                                                                                                ↳ Rewriting

                                                                                                  ↳ QDP

                                                                                                    ↳ Rewriting

                                                                                                      ↳ QDP

                                                                                                        ↳ Rewriting

                                                                                                          ↳ QDP

                                                                                                            ↳ Rewriting

                                                                                                              ↳ QDP

                                                                                                                ↳ Rewriting

                                                                                                                  ↳ QDP

                                                                                                                    ↳ Rewriting

                                                                                                                      ↳ QDP

                                                                                                                        ↳ Rewriting

                                                                                                                          ↳ QDP

                                                                                                                            ↳ Rewriting

                                                                                                                              ↳ QDP

                                                                                                                                ↳ Rewriting

                                                                                                                                  ↳ QDP

                                                                                                                                    ↳ Rewriting

                                                                                                                                      ↳ QDP

                                                                                                                                        ↳ Rewriting

                                                                                                                                          ↳ QDP

                                                                                                                                            ↳ Rewriting

                              ↳ QDP

                          ↳ Narrow

Q DP problem:
The TRS P consists of the following rules:

new_getLineGetRest20(vx16) → new_getLineGetRest200(vx16)
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest200(vx350)
new_getLineGetRest20(vx16) → new_getLineGetRest
new_gtGtEs(vx10) → new_getLineGetRest20(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero))))))))))
new_getLineGetRest → new_gtGtEs(new_getChar0)
new_getLineGetRest201 → new_getLineGetRest
new_getLineGetRest200(Zero) → new_getLineGetRest
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest201

The TRS R consists of the following rules:

new_getChar0 → new_getChar0

The set Q consists of the following terms:

new_getChar0

We have to consider all minimal (P,Q,R)-chains.
By rewriting [15] the rule new_getLineGetRest → new_gtGtEs(new_getChar0) at position [0] we obtained the following new rules:

new_getLineGetRest → new_gtGtEs(new_getChar0)

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ IFR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

                ↳ HASKELL

                  ↳ LetRed

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                                ↳ DependencyGraphProof

                                  ↳ QDP

                                    ↳ Rewriting

                                      ↳ QDP

                                        ↳ Rewriting

                                          ↳ QDP

                                            ↳ Rewriting

                                              ↳ QDP

                                                ↳ Rewriting

                                                  ↳ QDP

                                                    ↳ Rewriting

                                                      ↳ QDP

                                                        ↳ Rewriting

                                                          ↳ QDP

                                                            ↳ Rewriting

                                                              ↳ QDP

                                                                ↳ Rewriting

                                                                  ↳ QDP

                                                                    ↳ Rewriting

                                                                      ↳ QDP

                                                                        ↳ Rewriting

                                                                          ↳ QDP

                                                                            ↳ Rewriting

                                                                              ↳ QDP

                                                                                ↳ Rewriting

                                                                                  ↳ QDP

                                                                                    ↳ Rewriting

                                                                                      ↳ QDP

                                                                                        ↳ Rewriting

                                                                                          ↳ QDP

                                                                                            ↳ Rewriting

                                                                                              ↳ QDP

                                                                                                ↳ Rewriting

                                                                                                  ↳ QDP

                                                                                                    ↳ Rewriting

                                                                                                      ↳ QDP

                                                                                                        ↳ Rewriting

                                                                                                          ↳ QDP

                                                                                                            ↳ Rewriting

                                                                                                              ↳ QDP

                                                                                                                ↳ Rewriting

                                                                                                                  ↳ QDP

                                                                                                                    ↳ Rewriting

                                                                                                                      ↳ QDP

                                                                                                                        ↳ Rewriting

                                                                                                                          ↳ QDP

                                                                                                                            ↳ Rewriting

                                                                                                                              ↳ QDP

                                                                                                                                ↳ Rewriting

                                                                                                                                  ↳ QDP

                                                                                                                                    ↳ Rewriting

                                                                                                                                      ↳ QDP

                                                                                                                                        ↳ Rewriting

                                                                                                                                          ↳ QDP

                                                                                                                                            ↳ Rewriting

                                                                                                                                              ↳ QDP

                                                                                                                                                ↳ Rewriting

                              ↳ QDP

                          ↳ Narrow

Q DP problem:
The TRS P consists of the following rules:

new_getLineGetRest20(vx16) → new_getLineGetRest200(vx16)
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest200(vx350)
new_getLineGetRest20(vx16) → new_getLineGetRest
new_getLineGetRest → new_gtGtEs(new_getChar0)
new_gtGtEs(vx10) → new_getLineGetRest20(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero))))))))))
new_getLineGetRest201 → new_getLineGetRest
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest201
new_getLineGetRest200(Zero) → new_getLineGetRest

The TRS R consists of the following rules:

new_getChar0 → new_getChar0

The set Q consists of the following terms:

new_getChar0

We have to consider all minimal (P,Q,R)-chains.
By rewriting [15] the rule new_getLineGetRest → new_gtGtEs(new_getChar0) at position [0] we obtained the following new rules:

new_getLineGetRest → new_gtGtEs(new_getChar0)

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ IFR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

                ↳ HASKELL

                  ↳ LetRed

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                                ↳ DependencyGraphProof

                                  ↳ QDP

                                    ↳ Rewriting

                                      ↳ QDP

                                        ↳ Rewriting

                                          ↳ QDP

                                            ↳ Rewriting

                                              ↳ QDP

                                                ↳ Rewriting

                                                  ↳ QDP

                                                    ↳ Rewriting

                                                      ↳ QDP

                                                        ↳ Rewriting

                                                          ↳ QDP

                                                            ↳ Rewriting

                                                              ↳ QDP

                                                                ↳ Rewriting

                                                                  ↳ QDP

                                                                    ↳ Rewriting

                                                                      ↳ QDP

                                                                        ↳ Rewriting

                                                                          ↳ QDP

                                                                            ↳ Rewriting

                                                                              ↳ QDP

                                                                                ↳ Rewriting

                                                                                  ↳ QDP

                                                                                    ↳ Rewriting

                                                                                      ↳ QDP

                                                                                        ↳ Rewriting

                                                                                          ↳ QDP

                                                                                            ↳ Rewriting

                                                                                              ↳ QDP

                                                                                                ↳ Rewriting

                                                                                                  ↳ QDP

                                                                                                    ↳ Rewriting

                                                                                                      ↳ QDP

                                                                                                        ↳ Rewriting

                                                                                                          ↳ QDP

                                                                                                            ↳ Rewriting

                                                                                                              ↳ QDP

                                                                                                                ↳ Rewriting

                                                                                                                  ↳ QDP

                                                                                                                    ↳ Rewriting

                                                                                                                      ↳ QDP

                                                                                                                        ↳ Rewriting

                                                                                                                          ↳ QDP

                                                                                                                            ↳ Rewriting

                                                                                                                              ↳ QDP

                                                                                                                                ↳ Rewriting

                                                                                                                                  ↳ QDP

                                                                                                                                    ↳ Rewriting

                                                                                                                                      ↳ QDP

                                                                                                                                        ↳ Rewriting

                                                                                                                                          ↳ QDP

                                                                                                                                            ↳ Rewriting

                                                                                                                                              ↳ QDP

                                                                                                                                                ↳ Rewriting

                                                                                                                                                  ↳ QDP

                                                                                                                                                    ↳ Rewriting

                              ↳ QDP

                          ↳ Narrow

Q DP problem:
The TRS P consists of the following rules:

new_getLineGetRest20(vx16) → new_getLineGetRest200(vx16)
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest200(vx350)
new_getLineGetRest20(vx16) → new_getLineGetRest
new_gtGtEs(vx10) → new_getLineGetRest20(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero))))))))))
new_getLineGetRest → new_gtGtEs(new_getChar0)
new_getLineGetRest201 → new_getLineGetRest
new_getLineGetRest200(Zero) → new_getLineGetRest
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest201

The TRS R consists of the following rules:

new_getChar0 → new_getChar0

The set Q consists of the following terms:

new_getChar0

We have to consider all minimal (P,Q,R)-chains.
By rewriting [15] the rule new_getLineGetRest → new_gtGtEs(new_getChar0) at position [0] we obtained the following new rules:

new_getLineGetRest → new_gtGtEs(new_getChar0)

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ IFR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

                ↳ HASKELL

                  ↳ LetRed

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                                ↳ DependencyGraphProof

                                  ↳ QDP

                                    ↳ Rewriting

                                      ↳ QDP

                                        ↳ Rewriting

                                          ↳ QDP

                                            ↳ Rewriting

                                              ↳ QDP

                                                ↳ Rewriting

                                                  ↳ QDP

                                                    ↳ Rewriting

                                                      ↳ QDP

                                                        ↳ Rewriting

                                                          ↳ QDP

                                                            ↳ Rewriting

                                                              ↳ QDP

                                                                ↳ Rewriting

                                                                  ↳ QDP

                                                                    ↳ Rewriting

                                                                      ↳ QDP

                                                                        ↳ Rewriting

                                                                          ↳ QDP

                                                                            ↳ Rewriting

                                                                              ↳ QDP

                                                                                ↳ Rewriting

                                                                                  ↳ QDP

                                                                                    ↳ Rewriting

                                                                                      ↳ QDP

                                                                                        ↳ Rewriting

                                                                                          ↳ QDP

                                                                                            ↳ Rewriting

                                                                                              ↳ QDP

                                                                                                ↳ Rewriting

                                                                                                  ↳ QDP

                                                                                                    ↳ Rewriting

                                                                                                      ↳ QDP

                                                                                                        ↳ Rewriting

                                                                                                          ↳ QDP

                                                                                                            ↳ Rewriting

                                                                                                              ↳ QDP

                                                                                                                ↳ Rewriting

                                                                                                                  ↳ QDP

                                                                                                                    ↳ Rewriting

                                                                                                                      ↳ QDP

                                                                                                                        ↳ Rewriting

                                                                                                                          ↳ QDP

                                                                                                                            ↳ Rewriting

                                                                                                                              ↳ QDP

                                                                                                                                ↳ Rewriting

                                                                                                                                  ↳ QDP

                                                                                                                                    ↳ Rewriting

                                                                                                                                      ↳ QDP

                                                                                                                                        ↳ Rewriting

                                                                                                                                          ↳ QDP

                                                                                                                                            ↳ Rewriting

                                                                                                                                              ↳ QDP

                                                                                                                                                ↳ Rewriting

                                                                                                                                                  ↳ QDP

                                                                                                                                                    ↳ Rewriting

                                                                                                                                                      ↳ QDP

                                                                                                                                                        ↳ Rewriting

                              ↳ QDP

                          ↳ Narrow

Q DP problem:
The TRS P consists of the following rules:

new_getLineGetRest20(vx16) → new_getLineGetRest200(vx16)
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest200(vx350)
new_getLineGetRest20(vx16) → new_getLineGetRest
new_getLineGetRest → new_gtGtEs(new_getChar0)
new_gtGtEs(vx10) → new_getLineGetRest20(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero))))))))))
new_getLineGetRest201 → new_getLineGetRest
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest201
new_getLineGetRest200(Zero) → new_getLineGetRest

The TRS R consists of the following rules:

new_getChar0 → new_getChar0

The set Q consists of the following terms:

new_getChar0

We have to consider all minimal (P,Q,R)-chains.
By rewriting [15] the rule new_getLineGetRest → new_gtGtEs(new_getChar0) at position [0] we obtained the following new rules:

new_getLineGetRest → new_gtGtEs(new_getChar0)

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ IFR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

                ↳ HASKELL

                  ↳ LetRed

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                                ↳ DependencyGraphProof

                                  ↳ QDP

                                    ↳ Rewriting

                                      ↳ QDP

                                        ↳ Rewriting

                                          ↳ QDP

                                            ↳ Rewriting

                                              ↳ QDP

                                                ↳ Rewriting

                                                  ↳ QDP

                                                    ↳ Rewriting

                                                      ↳ QDP

                                                        ↳ Rewriting

                                                          ↳ QDP

                                                            ↳ Rewriting

                                                              ↳ QDP

                                                                ↳ Rewriting

                                                                  ↳ QDP

                                                                    ↳ Rewriting

                                                                      ↳ QDP

                                                                        ↳ Rewriting

                                                                          ↳ QDP

                                                                            ↳ Rewriting

                                                                              ↳ QDP

                                                                                ↳ Rewriting

                                                                                  ↳ QDP

                                                                                    ↳ Rewriting

                                                                                      ↳ QDP

                                                                                        ↳ Rewriting

                                                                                          ↳ QDP

                                                                                            ↳ Rewriting

                                                                                              ↳ QDP

                                                                                                ↳ Rewriting

                                                                                                  ↳ QDP

                                                                                                    ↳ Rewriting

                                                                                                      ↳ QDP

                                                                                                        ↳ Rewriting

                                                                                                          ↳ QDP

                                                                                                            ↳ Rewriting

                                                                                                              ↳ QDP

                                                                                                                ↳ Rewriting

                                                                                                                  ↳ QDP

                                                                                                                    ↳ Rewriting

                                                                                                                      ↳ QDP

                                                                                                                        ↳ Rewriting

                                                                                                                          ↳ QDP

                                                                                                                            ↳ Rewriting

                                                                                                                              ↳ QDP

                                                                                                                                ↳ Rewriting

                                                                                                                                  ↳ QDP

                                                                                                                                    ↳ Rewriting

                                                                                                                                      ↳ QDP

                                                                                                                                        ↳ Rewriting

                                                                                                                                          ↳ QDP

                                                                                                                                            ↳ Rewriting

                                                                                                                                              ↳ QDP

                                                                                                                                                ↳ Rewriting

                                                                                                                                                  ↳ QDP

                                                                                                                                                    ↳ Rewriting

                                                                                                                                                      ↳ QDP

                                                                                                                                                        ↳ Rewriting

                                                                                                                                                          ↳ QDP

                                                                                                                                                            ↳ Rewriting

                              ↳ QDP

                          ↳ Narrow

Q DP problem:
The TRS P consists of the following rules:

new_getLineGetRest20(vx16) → new_getLineGetRest200(vx16)
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest200(vx350)
new_getLineGetRest20(vx16) → new_getLineGetRest
new_gtGtEs(vx10) → new_getLineGetRest20(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero))))))))))
new_getLineGetRest → new_gtGtEs(new_getChar0)
new_getLineGetRest201 → new_getLineGetRest
new_getLineGetRest200(Zero) → new_getLineGetRest
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest201

The TRS R consists of the following rules:

new_getChar0 → new_getChar0

The set Q consists of the following terms:

new_getChar0

We have to consider all minimal (P,Q,R)-chains.
By rewriting [15] the rule new_getLineGetRest → new_gtGtEs(new_getChar0) at position [0] we obtained the following new rules:

new_getLineGetRest → new_gtGtEs(new_getChar0)

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ IFR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

                ↳ HASKELL

                  ↳ LetRed

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                                ↳ DependencyGraphProof

                                  ↳ QDP

                                    ↳ Rewriting

                                      ↳ QDP

                                        ↳ Rewriting

                                          ↳ QDP

                                            ↳ Rewriting

                                              ↳ QDP

                                                ↳ Rewriting

                                                  ↳ QDP

                                                    ↳ Rewriting

                                                      ↳ QDP

                                                        ↳ Rewriting

                                                          ↳ QDP

                                                            ↳ Rewriting

                                                              ↳ QDP

                                                                ↳ Rewriting

                                                                  ↳ QDP

                                                                    ↳ Rewriting

                                                                      ↳ QDP

                                                                        ↳ Rewriting

                                                                          ↳ QDP

                                                                            ↳ Rewriting

                                                                              ↳ QDP

                                                                                ↳ Rewriting

                                                                                  ↳ QDP

                                                                                    ↳ Rewriting

                                                                                      ↳ QDP

                                                                                        ↳ Rewriting

                                                                                          ↳ QDP

                                                                                            ↳ Rewriting

                                                                                              ↳ QDP

                                                                                                ↳ Rewriting

                                                                                                  ↳ QDP

                                                                                                    ↳ Rewriting

                                                                                                      ↳ QDP

                                                                                                        ↳ Rewriting

                                                                                                          ↳ QDP

                                                                                                            ↳ Rewriting

                                                                                                              ↳ QDP

                                                                                                                ↳ Rewriting

                                                                                                                  ↳ QDP

                                                                                                                    ↳ Rewriting

                                                                                                                      ↳ QDP

                                                                                                                        ↳ Rewriting

                                                                                                                          ↳ QDP

                                                                                                                            ↳ Rewriting

                                                                                                                              ↳ QDP

                                                                                                                                ↳ Rewriting

                                                                                                                                  ↳ QDP

                                                                                                                                    ↳ Rewriting

                                                                                                                                      ↳ QDP

                                                                                                                                        ↳ Rewriting

                                                                                                                                          ↳ QDP

                                                                                                                                            ↳ Rewriting

                                                                                                                                              ↳ QDP

                                                                                                                                                ↳ Rewriting

                                                                                                                                                  ↳ QDP

                                                                                                                                                    ↳ Rewriting

                                                                                                                                                      ↳ QDP

                                                                                                                                                        ↳ Rewriting

                                                                                                                                                          ↳ QDP

                                                                                                                                                            ↳ Rewriting

                                                                                                                                                              ↳ QDP

                                                                                                                                                                ↳ Rewriting

                              ↳ QDP

                          ↳ Narrow

Q DP problem:
The TRS P consists of the following rules:

new_getLineGetRest20(vx16) → new_getLineGetRest200(vx16)
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest200(vx350)
new_getLineGetRest20(vx16) → new_getLineGetRest
new_getLineGetRest → new_gtGtEs(new_getChar0)
new_gtGtEs(vx10) → new_getLineGetRest20(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero))))))))))
new_getLineGetRest201 → new_getLineGetRest
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest201
new_getLineGetRest200(Zero) → new_getLineGetRest

The TRS R consists of the following rules:

new_getChar0 → new_getChar0

The set Q consists of the following terms:

new_getChar0

We have to consider all minimal (P,Q,R)-chains.
By rewriting [15] the rule new_getLineGetRest → new_gtGtEs(new_getChar0) at position [0] we obtained the following new rules:

new_getLineGetRest → new_gtGtEs(new_getChar0)

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ IFR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

                ↳ HASKELL

                  ↳ LetRed

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                                ↳ DependencyGraphProof

                                  ↳ QDP

                                    ↳ Rewriting

                                      ↳ QDP

                                        ↳ Rewriting

                                          ↳ QDP

                                            ↳ Rewriting

                                              ↳ QDP

                                                ↳ Rewriting

                                                  ↳ QDP

                                                    ↳ Rewriting

                                                      ↳ QDP

                                                        ↳ Rewriting

                                                          ↳ QDP

                                                            ↳ Rewriting

                                                              ↳ QDP

                                                                ↳ Rewriting

                                                                  ↳ QDP

                                                                    ↳ Rewriting

                                                                      ↳ QDP

                                                                        ↳ Rewriting

                                                                          ↳ QDP

                                                                            ↳ Rewriting

                                                                              ↳ QDP

                                                                                ↳ Rewriting

                                                                                  ↳ QDP

                                                                                    ↳ Rewriting

                                                                                      ↳ QDP

                                                                                        ↳ Rewriting

                                                                                          ↳ QDP

                                                                                            ↳ Rewriting

                                                                                              ↳ QDP

                                                                                                ↳ Rewriting

                                                                                                  ↳ QDP

                                                                                                    ↳ Rewriting

                                                                                                      ↳ QDP

                                                                                                        ↳ Rewriting

                                                                                                          ↳ QDP

                                                                                                            ↳ Rewriting

                                                                                                              ↳ QDP

                                                                                                                ↳ Rewriting

                                                                                                                  ↳ QDP

                                                                                                                    ↳ Rewriting

                                                                                                                      ↳ QDP

                                                                                                                        ↳ Rewriting

                                                                                                                          ↳ QDP

                                                                                                                            ↳ Rewriting

                                                                                                                              ↳ QDP

                                                                                                                                ↳ Rewriting

                                                                                                                                  ↳ QDP

                                                                                                                                    ↳ Rewriting

                                                                                                                                      ↳ QDP

                                                                                                                                        ↳ Rewriting

                                                                                                                                          ↳ QDP

                                                                                                                                            ↳ Rewriting

                                                                                                                                              ↳ QDP

                                                                                                                                                ↳ Rewriting

                                                                                                                                                  ↳ QDP

                                                                                                                                                    ↳ Rewriting

                                                                                                                                                      ↳ QDP

                                                                                                                                                        ↳ Rewriting

                                                                                                                                                          ↳ QDP

                                                                                                                                                            ↳ Rewriting

                                                                                                                                                              ↳ QDP

                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                  ↳ QDP

                                                                                                                                                                    ↳ Rewriting

                              ↳ QDP

                          ↳ Narrow

Q DP problem:
The TRS P consists of the following rules:

new_getLineGetRest20(vx16) → new_getLineGetRest200(vx16)
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest200(vx350)
new_getLineGetRest20(vx16) → new_getLineGetRest
new_gtGtEs(vx10) → new_getLineGetRest20(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero))))))))))
new_getLineGetRest → new_gtGtEs(new_getChar0)
new_getLineGetRest201 → new_getLineGetRest
new_getLineGetRest200(Zero) → new_getLineGetRest
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest201

The TRS R consists of the following rules:

new_getChar0 → new_getChar0

The set Q consists of the following terms:

new_getChar0

We have to consider all minimal (P,Q,R)-chains.
By rewriting [15] the rule new_getLineGetRest → new_gtGtEs(new_getChar0) at position [0] we obtained the following new rules:

new_getLineGetRest → new_gtGtEs(new_getChar0)

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ IFR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

                ↳ HASKELL

                  ↳ LetRed

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                                ↳ DependencyGraphProof

                                  ↳ QDP

                                    ↳ Rewriting

                                      ↳ QDP

                                        ↳ Rewriting

                                          ↳ QDP

                                            ↳ Rewriting

                                              ↳ QDP

                                                ↳ Rewriting

                                                  ↳ QDP

                                                    ↳ Rewriting

                                                      ↳ QDP

                                                        ↳ Rewriting

                                                          ↳ QDP

                                                            ↳ Rewriting

                                                              ↳ QDP

                                                                ↳ Rewriting

                                                                  ↳ QDP

                                                                    ↳ Rewriting

                                                                      ↳ QDP

                                                                        ↳ Rewriting

                                                                          ↳ QDP

                                                                            ↳ Rewriting

                                                                              ↳ QDP

                                                                                ↳ Rewriting

                                                                                  ↳ QDP

                                                                                    ↳ Rewriting

                                                                                      ↳ QDP

                                                                                        ↳ Rewriting

                                                                                          ↳ QDP

                                                                                            ↳ Rewriting

                                                                                              ↳ QDP

                                                                                                ↳ Rewriting

                                                                                                  ↳ QDP

                                                                                                    ↳ Rewriting

                                                                                                      ↳ QDP

                                                                                                        ↳ Rewriting

                                                                                                          ↳ QDP

                                                                                                            ↳ Rewriting

                                                                                                              ↳ QDP

                                                                                                                ↳ Rewriting

                                                                                                                  ↳ QDP

                                                                                                                    ↳ Rewriting

                                                                                                                      ↳ QDP

                                                                                                                        ↳ Rewriting

                                                                                                                          ↳ QDP

                                                                                                                            ↳ Rewriting

                                                                                                                              ↳ QDP

                                                                                                                                ↳ Rewriting

                                                                                                                                  ↳ QDP

                                                                                                                                    ↳ Rewriting

                                                                                                                                      ↳ QDP

                                                                                                                                        ↳ Rewriting

                                                                                                                                          ↳ QDP

                                                                                                                                            ↳ Rewriting

                                                                                                                                              ↳ QDP

                                                                                                                                                ↳ Rewriting

                                                                                                                                                  ↳ QDP

                                                                                                                                                    ↳ Rewriting

                                                                                                                                                      ↳ QDP

                                                                                                                                                        ↳ Rewriting

                                                                                                                                                          ↳ QDP

                                                                                                                                                            ↳ Rewriting

                                                                                                                                                              ↳ QDP

                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                  ↳ QDP

                                                                                                                                                                    ↳ Rewriting

                                                                                                                                                                      ↳ QDP

                                                                                                                                                                        ↳ Rewriting

                              ↳ QDP

                          ↳ Narrow

Q DP problem:
The TRS P consists of the following rules:

new_getLineGetRest20(vx16) → new_getLineGetRest200(vx16)
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest200(vx350)
new_getLineGetRest20(vx16) → new_getLineGetRest
new_getLineGetRest → new_gtGtEs(new_getChar0)
new_gtGtEs(vx10) → new_getLineGetRest20(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero))))))))))
new_getLineGetRest201 → new_getLineGetRest
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest201
new_getLineGetRest200(Zero) → new_getLineGetRest

The TRS R consists of the following rules:

new_getChar0 → new_getChar0

The set Q consists of the following terms:

new_getChar0

We have to consider all minimal (P,Q,R)-chains.
By rewriting [15] the rule new_getLineGetRest → new_gtGtEs(new_getChar0) at position [0] we obtained the following new rules:

new_getLineGetRest → new_gtGtEs(new_getChar0)

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ IFR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

                ↳ HASKELL

                  ↳ LetRed

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                                ↳ DependencyGraphProof

                                  ↳ QDP

                                    ↳ Rewriting

                                      ↳ QDP

                                        ↳ Rewriting

                                          ↳ QDP

                                            ↳ Rewriting

                                              ↳ QDP

                                                ↳ Rewriting

                                                  ↳ QDP

                                                    ↳ Rewriting

                                                      ↳ QDP

                                                        ↳ Rewriting

                                                          ↳ QDP

                                                            ↳ Rewriting

                                                              ↳ QDP

                                                                ↳ Rewriting

                                                                  ↳ QDP

                                                                    ↳ Rewriting

                                                                      ↳ QDP

                                                                        ↳ Rewriting

                                                                          ↳ QDP

                                                                            ↳ Rewriting

                                                                              ↳ QDP

                                                                                ↳ Rewriting

                                                                                  ↳ QDP

                                                                                    ↳ Rewriting

                                                                                      ↳ QDP

                                                                                        ↳ Rewriting

                                                                                          ↳ QDP

                                                                                            ↳ Rewriting

                                                                                              ↳ QDP

                                                                                                ↳ Rewriting

                                                                                                  ↳ QDP

                                                                                                    ↳ Rewriting

                                                                                                      ↳ QDP

                                                                                                        ↳ Rewriting

                                                                                                          ↳ QDP

                                                                                                            ↳ Rewriting

                                                                                                              ↳ QDP

                                                                                                                ↳ Rewriting

                                                                                                                  ↳ QDP

                                                                                                                    ↳ Rewriting

                                                                                                                      ↳ QDP

                                                                                                                        ↳ Rewriting

                                                                                                                          ↳ QDP

                                                                                                                            ↳ Rewriting

                                                                                                                              ↳ QDP

                                                                                                                                ↳ Rewriting

                                                                                                                                  ↳ QDP

                                                                                                                                    ↳ Rewriting

                                                                                                                                      ↳ QDP

                                                                                                                                        ↳ Rewriting

                                                                                                                                          ↳ QDP

                                                                                                                                            ↳ Rewriting

                                                                                                                                              ↳ QDP

                                                                                                                                                ↳ Rewriting

                                                                                                                                                  ↳ QDP

                                                                                                                                                    ↳ Rewriting

                                                                                                                                                      ↳ QDP

                                                                                                                                                        ↳ Rewriting

                                                                                                                                                          ↳ QDP

                                                                                                                                                            ↳ Rewriting

                                                                                                                                                              ↳ QDP

                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                  ↳ QDP

                                                                                                                                                                    ↳ Rewriting

                                                                                                                                                                      ↳ QDP

                                                                                                                                                                        ↳ Rewriting

                                                                                                                                                                          ↳ QDP

                                                                                                                                                                            ↳ Rewriting

                              ↳ QDP

                          ↳ Narrow

Q DP problem:
The TRS P consists of the following rules:

new_getLineGetRest20(vx16) → new_getLineGetRest200(vx16)
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest200(vx350)
new_getLineGetRest20(vx16) → new_getLineGetRest
new_gtGtEs(vx10) → new_getLineGetRest20(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero))))))))))
new_getLineGetRest → new_gtGtEs(new_getChar0)
new_getLineGetRest201 → new_getLineGetRest
new_getLineGetRest200(Zero) → new_getLineGetRest
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest201

The TRS R consists of the following rules:

new_getChar0 → new_getChar0

The set Q consists of the following terms:

new_getChar0

We have to consider all minimal (P,Q,R)-chains.
By rewriting [15] the rule new_getLineGetRest → new_gtGtEs(new_getChar0) at position [0] we obtained the following new rules:

new_getLineGetRest → new_gtGtEs(new_getChar0)

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ IFR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

                ↳ HASKELL

                  ↳ LetRed

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                                ↳ DependencyGraphProof

                                  ↳ QDP

                                    ↳ Rewriting

                                      ↳ QDP

                                        ↳ Rewriting

                                          ↳ QDP

                                            ↳ Rewriting

                                              ↳ QDP

                                                ↳ Rewriting

                                                  ↳ QDP

                                                    ↳ Rewriting

                                                      ↳ QDP

                                                        ↳ Rewriting

                                                          ↳ QDP

                                                            ↳ Rewriting

                                                              ↳ QDP

                                                                ↳ Rewriting

                                                                  ↳ QDP

                                                                    ↳ Rewriting

                                                                      ↳ QDP

                                                                        ↳ Rewriting

                                                                          ↳ QDP

                                                                            ↳ Rewriting

                                                                              ↳ QDP

                                                                                ↳ Rewriting

                                                                                  ↳ QDP

                                                                                    ↳ Rewriting

                                                                                      ↳ QDP

                                                                                        ↳ Rewriting

                                                                                          ↳ QDP

                                                                                            ↳ Rewriting

                                                                                              ↳ QDP

                                                                                                ↳ Rewriting

                                                                                                  ↳ QDP

                                                                                                    ↳ Rewriting

                                                                                                      ↳ QDP

                                                                                                        ↳ Rewriting

                                                                                                          ↳ QDP

                                                                                                            ↳ Rewriting

                                                                                                              ↳ QDP

                                                                                                                ↳ Rewriting

                                                                                                                  ↳ QDP

                                                                                                                    ↳ Rewriting

                                                                                                                      ↳ QDP

                                                                                                                        ↳ Rewriting

                                                                                                                          ↳ QDP

                                                                                                                            ↳ Rewriting

                                                                                                                              ↳ QDP

                                                                                                                                ↳ Rewriting

                                                                                                                                  ↳ QDP

                                                                                                                                    ↳ Rewriting

                                                                                                                                      ↳ QDP

                                                                                                                                        ↳ Rewriting

                                                                                                                                          ↳ QDP

                                                                                                                                            ↳ Rewriting

                                                                                                                                              ↳ QDP

                                                                                                                                                ↳ Rewriting

                                                                                                                                                  ↳ QDP

                                                                                                                                                    ↳ Rewriting

                                                                                                                                                      ↳ QDP

                                                                                                                                                        ↳ Rewriting

                                                                                                                                                          ↳ QDP

                                                                                                                                                            ↳ Rewriting

                                                                                                                                                              ↳ QDP

                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                  ↳ QDP

                                                                                                                                                                    ↳ Rewriting

                                                                                                                                                                      ↳ QDP

                                                                                                                                                                        ↳ Rewriting

                                                                                                                                                                          ↳ QDP

                                                                                                                                                                            ↳ Rewriting

                                                                                                                                                                              ↳ QDP

                                                                                                                                                                                ↳ Rewriting

                              ↳ QDP

                          ↳ Narrow

Q DP problem:
The TRS P consists of the following rules:

new_getLineGetRest20(vx16) → new_getLineGetRest200(vx16)
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest200(vx350)
new_getLineGetRest20(vx16) → new_getLineGetRest
new_getLineGetRest → new_gtGtEs(new_getChar0)
new_gtGtEs(vx10) → new_getLineGetRest20(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero))))))))))
new_getLineGetRest201 → new_getLineGetRest
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest201
new_getLineGetRest200(Zero) → new_getLineGetRest

The TRS R consists of the following rules:

new_getChar0 → new_getChar0

The set Q consists of the following terms:

new_getChar0

We have to consider all minimal (P,Q,R)-chains.
By rewriting [15] the rule new_getLineGetRest → new_gtGtEs(new_getChar0) at position [0] we obtained the following new rules:

new_getLineGetRest → new_gtGtEs(new_getChar0)

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ IFR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

                ↳ HASKELL

                  ↳ LetRed

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                                ↳ DependencyGraphProof

                                  ↳ QDP

                                    ↳ Rewriting

                                      ↳ QDP

                                        ↳ Rewriting

                                          ↳ QDP

                                            ↳ Rewriting

                                              ↳ QDP

                                                ↳ Rewriting

                                                  ↳ QDP

                                                    ↳ Rewriting

                                                      ↳ QDP

                                                        ↳ Rewriting

                                                          ↳ QDP

                                                            ↳ Rewriting

                                                              ↳ QDP

                                                                ↳ Rewriting

                                                                  ↳ QDP

                                                                    ↳ Rewriting

                                                                      ↳ QDP

                                                                        ↳ Rewriting

                                                                          ↳ QDP

                                                                            ↳ Rewriting

                                                                              ↳ QDP

                                                                                ↳ Rewriting

                                                                                  ↳ QDP

                                                                                    ↳ Rewriting

                                                                                      ↳ QDP

                                                                                        ↳ Rewriting

                                                                                          ↳ QDP

                                                                                            ↳ Rewriting

                                                                                              ↳ QDP

                                                                                                ↳ Rewriting

                                                                                                  ↳ QDP

                                                                                                    ↳ Rewriting

                                                                                                      ↳ QDP

                                                                                                        ↳ Rewriting

                                                                                                          ↳ QDP

                                                                                                            ↳ Rewriting

                                                                                                              ↳ QDP

                                                                                                                ↳ Rewriting

                                                                                                                  ↳ QDP

                                                                                                                    ↳ Rewriting

                                                                                                                      ↳ QDP

                                                                                                                        ↳ Rewriting

                                                                                                                          ↳ QDP

                                                                                                                            ↳ Rewriting

                                                                                                                              ↳ QDP

                                                                                                                                ↳ Rewriting

                                                                                                                                  ↳ QDP

                                                                                                                                    ↳ Rewriting

                                                                                                                                      ↳ QDP

                                                                                                                                        ↳ Rewriting

                                                                                                                                          ↳ QDP

                                                                                                                                            ↳ Rewriting

                                                                                                                                              ↳ QDP

                                                                                                                                                ↳ Rewriting

                                                                                                                                                  ↳ QDP

                                                                                                                                                    ↳ Rewriting

                                                                                                                                                      ↳ QDP

                                                                                                                                                        ↳ Rewriting

                                                                                                                                                          ↳ QDP

                                                                                                                                                            ↳ Rewriting

                                                                                                                                                              ↳ QDP

                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                  ↳ QDP

                                                                                                                                                                    ↳ Rewriting

                                                                                                                                                                      ↳ QDP

                                                                                                                                                                        ↳ Rewriting

                                                                                                                                                                          ↳ QDP

                                                                                                                                                                            ↳ Rewriting

                                                                                                                                                                              ↳ QDP

                                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                                  ↳ QDP

                                                                                                                                                                                    ↳ Rewriting

                              ↳ QDP

                          ↳ Narrow

Q DP problem:
The TRS P consists of the following rules:

new_getLineGetRest20(vx16) → new_getLineGetRest200(vx16)
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest200(vx350)
new_getLineGetRest20(vx16) → new_getLineGetRest
new_gtGtEs(vx10) → new_getLineGetRest20(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero))))))))))
new_getLineGetRest → new_gtGtEs(new_getChar0)
new_getLineGetRest201 → new_getLineGetRest
new_getLineGetRest200(Zero) → new_getLineGetRest
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest201

The TRS R consists of the following rules:

new_getChar0 → new_getChar0

The set Q consists of the following terms:

new_getChar0

We have to consider all minimal (P,Q,R)-chains.
By rewriting [15] the rule new_getLineGetRest → new_gtGtEs(new_getChar0) at position [0] we obtained the following new rules:

new_getLineGetRest → new_gtGtEs(new_getChar0)

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ IFR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

                ↳ HASKELL

                  ↳ LetRed

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                                ↳ DependencyGraphProof

                                  ↳ QDP

                                    ↳ Rewriting

                                      ↳ QDP

                                        ↳ Rewriting

                                          ↳ QDP

                                            ↳ Rewriting

                                              ↳ QDP

                                                ↳ Rewriting

                                                  ↳ QDP

                                                    ↳ Rewriting

                                                      ↳ QDP

                                                        ↳ Rewriting

                                                          ↳ QDP

                                                            ↳ Rewriting

                                                              ↳ QDP

                                                                ↳ Rewriting

                                                                  ↳ QDP

                                                                    ↳ Rewriting

                                                                      ↳ QDP

                                                                        ↳ Rewriting

                                                                          ↳ QDP

                                                                            ↳ Rewriting

                                                                              ↳ QDP

                                                                                ↳ Rewriting

                                                                                  ↳ QDP

                                                                                    ↳ Rewriting

                                                                                      ↳ QDP

                                                                                        ↳ Rewriting

                                                                                          ↳ QDP

                                                                                            ↳ Rewriting

                                                                                              ↳ QDP

                                                                                                ↳ Rewriting

                                                                                                  ↳ QDP

                                                                                                    ↳ Rewriting

                                                                                                      ↳ QDP

                                                                                                        ↳ Rewriting

                                                                                                          ↳ QDP

                                                                                                            ↳ Rewriting

                                                                                                              ↳ QDP

                                                                                                                ↳ Rewriting

                                                                                                                  ↳ QDP

                                                                                                                    ↳ Rewriting

                                                                                                                      ↳ QDP

                                                                                                                        ↳ Rewriting

                                                                                                                          ↳ QDP

                                                                                                                            ↳ Rewriting

                                                                                                                              ↳ QDP

                                                                                                                                ↳ Rewriting

                                                                                                                                  ↳ QDP

                                                                                                                                    ↳ Rewriting

                                                                                                                                      ↳ QDP

                                                                                                                                        ↳ Rewriting

                                                                                                                                          ↳ QDP

                                                                                                                                            ↳ Rewriting

                                                                                                                                              ↳ QDP

                                                                                                                                                ↳ Rewriting

                                                                                                                                                  ↳ QDP

                                                                                                                                                    ↳ Rewriting

                                                                                                                                                      ↳ QDP

                                                                                                                                                        ↳ Rewriting

                                                                                                                                                          ↳ QDP

                                                                                                                                                            ↳ Rewriting

                                                                                                                                                              ↳ QDP

                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                  ↳ QDP

                                                                                                                                                                    ↳ Rewriting

                                                                                                                                                                      ↳ QDP

                                                                                                                                                                        ↳ Rewriting

                                                                                                                                                                          ↳ QDP

                                                                                                                                                                            ↳ Rewriting

                                                                                                                                                                              ↳ QDP

                                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                                  ↳ QDP

                                                                                                                                                                                    ↳ Rewriting

                                                                                                                                                                                      ↳ QDP

                                                                                                                                                                                        ↳ Rewriting

                              ↳ QDP

                          ↳ Narrow

Q DP problem:
The TRS P consists of the following rules:

new_getLineGetRest20(vx16) → new_getLineGetRest200(vx16)
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest200(vx350)
new_getLineGetRest20(vx16) → new_getLineGetRest
new_getLineGetRest → new_gtGtEs(new_getChar0)
new_gtGtEs(vx10) → new_getLineGetRest20(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero))))))))))
new_getLineGetRest201 → new_getLineGetRest
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest201
new_getLineGetRest200(Zero) → new_getLineGetRest

The TRS R consists of the following rules:

new_getChar0 → new_getChar0

The set Q consists of the following terms:

new_getChar0

We have to consider all minimal (P,Q,R)-chains.
By rewriting [15] the rule new_getLineGetRest → new_gtGtEs(new_getChar0) at position [0] we obtained the following new rules:

new_getLineGetRest → new_gtGtEs(new_getChar0)

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ IFR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

                ↳ HASKELL

                  ↳ LetRed

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                                ↳ DependencyGraphProof

                                  ↳ QDP

                                    ↳ Rewriting

                                      ↳ QDP

                                        ↳ Rewriting

                                          ↳ QDP

                                            ↳ Rewriting

                                              ↳ QDP

                                                ↳ Rewriting

                                                  ↳ QDP

                                                    ↳ Rewriting

                                                      ↳ QDP

                                                        ↳ Rewriting

                                                          ↳ QDP

                                                            ↳ Rewriting

                                                              ↳ QDP

                                                                ↳ Rewriting

                                                                  ↳ QDP

                                                                    ↳ Rewriting

                                                                      ↳ QDP

                                                                        ↳ Rewriting

                                                                          ↳ QDP

                                                                            ↳ Rewriting

                                                                              ↳ QDP

                                                                                ↳ Rewriting

                                                                                  ↳ QDP

                                                                                    ↳ Rewriting

                                                                                      ↳ QDP

                                                                                        ↳ Rewriting

                                                                                          ↳ QDP

                                                                                            ↳ Rewriting

                                                                                              ↳ QDP

                                                                                                ↳ Rewriting

                                                                                                  ↳ QDP

                                                                                                    ↳ Rewriting

                                                                                                      ↳ QDP

                                                                                                        ↳ Rewriting

                                                                                                          ↳ QDP

                                                                                                            ↳ Rewriting

                                                                                                              ↳ QDP

                                                                                                                ↳ Rewriting

                                                                                                                  ↳ QDP

                                                                                                                    ↳ Rewriting

                                                                                                                      ↳ QDP

                                                                                                                        ↳ Rewriting

                                                                                                                          ↳ QDP

                                                                                                                            ↳ Rewriting

                                                                                                                              ↳ QDP

                                                                                                                                ↳ Rewriting

                                                                                                                                  ↳ QDP

                                                                                                                                    ↳ Rewriting

                                                                                                                                      ↳ QDP

                                                                                                                                        ↳ Rewriting

                                                                                                                                          ↳ QDP

                                                                                                                                            ↳ Rewriting

                                                                                                                                              ↳ QDP

                                                                                                                                                ↳ Rewriting

                                                                                                                                                  ↳ QDP

                                                                                                                                                    ↳ Rewriting

                                                                                                                                                      ↳ QDP

                                                                                                                                                        ↳ Rewriting

                                                                                                                                                          ↳ QDP

                                                                                                                                                            ↳ Rewriting

                                                                                                                                                              ↳ QDP

                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                  ↳ QDP

                                                                                                                                                                    ↳ Rewriting

                                                                                                                                                                      ↳ QDP

                                                                                                                                                                        ↳ Rewriting

                                                                                                                                                                          ↳ QDP

                                                                                                                                                                            ↳ Rewriting

                                                                                                                                                                              ↳ QDP

                                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                                  ↳ QDP

                                                                                                                                                                                    ↳ Rewriting

                                                                                                                                                                                      ↳ QDP

                                                                                                                                                                                        ↳ Rewriting

                                                                                                                                                                                          ↳ QDP

                                                                                                                                                                                            ↳ Rewriting

                              ↳ QDP

                          ↳ Narrow

Q DP problem:
The TRS P consists of the following rules:

new_getLineGetRest20(vx16) → new_getLineGetRest200(vx16)
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest200(vx350)
new_getLineGetRest20(vx16) → new_getLineGetRest
new_gtGtEs(vx10) → new_getLineGetRest20(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero))))))))))
new_getLineGetRest → new_gtGtEs(new_getChar0)
new_getLineGetRest201 → new_getLineGetRest
new_getLineGetRest200(Zero) → new_getLineGetRest
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest201

The TRS R consists of the following rules:

new_getChar0 → new_getChar0

The set Q consists of the following terms:

new_getChar0

We have to consider all minimal (P,Q,R)-chains.
By rewriting [15] the rule new_getLineGetRest → new_gtGtEs(new_getChar0) at position [0] we obtained the following new rules:

new_getLineGetRest → new_gtGtEs(new_getChar0)

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ IFR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

                ↳ HASKELL

                  ↳ LetRed

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                                ↳ DependencyGraphProof

                                  ↳ QDP

                                    ↳ Rewriting

                                      ↳ QDP

                                        ↳ Rewriting

                                          ↳ QDP

                                            ↳ Rewriting

                                              ↳ QDP

                                                ↳ Rewriting

                                                  ↳ QDP

                                                    ↳ Rewriting

                                                      ↳ QDP

                                                        ↳ Rewriting

                                                          ↳ QDP

                                                            ↳ Rewriting

                                                              ↳ QDP

                                                                ↳ Rewriting

                                                                  ↳ QDP

                                                                    ↳ Rewriting

                                                                      ↳ QDP

                                                                        ↳ Rewriting

                                                                          ↳ QDP

                                                                            ↳ Rewriting

                                                                              ↳ QDP

                                                                                ↳ Rewriting

                                                                                  ↳ QDP

                                                                                    ↳ Rewriting

                                                                                      ↳ QDP

                                                                                        ↳ Rewriting

                                                                                          ↳ QDP

                                                                                            ↳ Rewriting

                                                                                              ↳ QDP

                                                                                                ↳ Rewriting

                                                                                                  ↳ QDP

                                                                                                    ↳ Rewriting

                                                                                                      ↳ QDP

                                                                                                        ↳ Rewriting

                                                                                                          ↳ QDP

                                                                                                            ↳ Rewriting

                                                                                                              ↳ QDP

                                                                                                                ↳ Rewriting

                                                                                                                  ↳ QDP

                                                                                                                    ↳ Rewriting

                                                                                                                      ↳ QDP

                                                                                                                        ↳ Rewriting

                                                                                                                          ↳ QDP

                                                                                                                            ↳ Rewriting

                                                                                                                              ↳ QDP

                                                                                                                                ↳ Rewriting

                                                                                                                                  ↳ QDP

                                                                                                                                    ↳ Rewriting

                                                                                                                                      ↳ QDP

                                                                                                                                        ↳ Rewriting

                                                                                                                                          ↳ QDP

                                                                                                                                            ↳ Rewriting

                                                                                                                                              ↳ QDP

                                                                                                                                                ↳ Rewriting

                                                                                                                                                  ↳ QDP

                                                                                                                                                    ↳ Rewriting

                                                                                                                                                      ↳ QDP

                                                                                                                                                        ↳ Rewriting

                                                                                                                                                          ↳ QDP

                                                                                                                                                            ↳ Rewriting

                                                                                                                                                              ↳ QDP

                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                  ↳ QDP

                                                                                                                                                                    ↳ Rewriting

                                                                                                                                                                      ↳ QDP

                                                                                                                                                                        ↳ Rewriting

                                                                                                                                                                          ↳ QDP

                                                                                                                                                                            ↳ Rewriting

                                                                                                                                                                              ↳ QDP

                                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                                  ↳ QDP

                                                                                                                                                                                    ↳ Rewriting

                                                                                                                                                                                      ↳ QDP

                                                                                                                                                                                        ↳ Rewriting

                                                                                                                                                                                          ↳ QDP

                                                                                                                                                                                            ↳ Rewriting

                                                                                                                                                                                              ↳ QDP

                                                                                                                                                                                                ↳ Rewriting

                              ↳ QDP

                          ↳ Narrow

Q DP problem:
The TRS P consists of the following rules:

new_getLineGetRest20(vx16) → new_getLineGetRest200(vx16)
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest200(vx350)
new_getLineGetRest20(vx16) → new_getLineGetRest
new_getLineGetRest → new_gtGtEs(new_getChar0)
new_gtGtEs(vx10) → new_getLineGetRest20(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero))))))))))
new_getLineGetRest201 → new_getLineGetRest
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest201
new_getLineGetRest200(Zero) → new_getLineGetRest

The TRS R consists of the following rules:

new_getChar0 → new_getChar0

The set Q consists of the following terms:

new_getChar0

We have to consider all minimal (P,Q,R)-chains.
By rewriting [15] the rule new_getLineGetRest → new_gtGtEs(new_getChar0) at position [0] we obtained the following new rules:

new_getLineGetRest → new_gtGtEs(new_getChar0)

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ IFR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

                ↳ HASKELL

                  ↳ LetRed

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                                ↳ DependencyGraphProof

                                  ↳ QDP

                                    ↳ Rewriting

                                      ↳ QDP

                                        ↳ Rewriting

                                          ↳ QDP

                                            ↳ Rewriting

                                              ↳ QDP

                                                ↳ Rewriting

                                                  ↳ QDP

                                                    ↳ Rewriting

                                                      ↳ QDP

                                                        ↳ Rewriting

                                                          ↳ QDP

                                                            ↳ Rewriting

                                                              ↳ QDP

                                                                ↳ Rewriting

                                                                  ↳ QDP

                                                                    ↳ Rewriting

                                                                      ↳ QDP

                                                                        ↳ Rewriting

                                                                          ↳ QDP

                                                                            ↳ Rewriting

                                                                              ↳ QDP

                                                                                ↳ Rewriting

                                                                                  ↳ QDP

                                                                                    ↳ Rewriting

                                                                                      ↳ QDP

                                                                                        ↳ Rewriting

                                                                                          ↳ QDP

                                                                                            ↳ Rewriting

                                                                                              ↳ QDP

                                                                                                ↳ Rewriting

                                                                                                  ↳ QDP

                                                                                                    ↳ Rewriting

                                                                                                      ↳ QDP

                                                                                                        ↳ Rewriting

                                                                                                          ↳ QDP

                                                                                                            ↳ Rewriting

                                                                                                              ↳ QDP

                                                                                                                ↳ Rewriting

                                                                                                                  ↳ QDP

                                                                                                                    ↳ Rewriting

                                                                                                                      ↳ QDP

                                                                                                                        ↳ Rewriting

                                                                                                                          ↳ QDP

                                                                                                                            ↳ Rewriting

                                                                                                                              ↳ QDP

                                                                                                                                ↳ Rewriting

                                                                                                                                  ↳ QDP

                                                                                                                                    ↳ Rewriting

                                                                                                                                      ↳ QDP

                                                                                                                                        ↳ Rewriting

                                                                                                                                          ↳ QDP

                                                                                                                                            ↳ Rewriting

                                                                                                                                              ↳ QDP

                                                                                                                                                ↳ Rewriting

                                                                                                                                                  ↳ QDP

                                                                                                                                                    ↳ Rewriting

                                                                                                                                                      ↳ QDP

                                                                                                                                                        ↳ Rewriting

                                                                                                                                                          ↳ QDP

                                                                                                                                                            ↳ Rewriting

                                                                                                                                                              ↳ QDP

                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                  ↳ QDP

                                                                                                                                                                    ↳ Rewriting

                                                                                                                                                                      ↳ QDP

                                                                                                                                                                        ↳ Rewriting

                                                                                                                                                                          ↳ QDP

                                                                                                                                                                            ↳ Rewriting

                                                                                                                                                                              ↳ QDP

                                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                                  ↳ QDP

                                                                                                                                                                                    ↳ Rewriting

                                                                                                                                                                                      ↳ QDP

                                                                                                                                                                                        ↳ Rewriting

                                                                                                                                                                                          ↳ QDP

                                                                                                                                                                                            ↳ Rewriting

                                                                                                                                                                                              ↳ QDP

                                                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                                                  ↳ QDP

                                                                                                                                                                                                    ↳ Rewriting

                              ↳ QDP

                          ↳ Narrow

Q DP problem:
The TRS P consists of the following rules:

new_getLineGetRest20(vx16) → new_getLineGetRest200(vx16)
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest200(vx350)
new_getLineGetRest20(vx16) → new_getLineGetRest
new_gtGtEs(vx10) → new_getLineGetRest20(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero))))))))))
new_getLineGetRest → new_gtGtEs(new_getChar0)
new_getLineGetRest201 → new_getLineGetRest
new_getLineGetRest200(Zero) → new_getLineGetRest
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest201

The TRS R consists of the following rules:

new_getChar0 → new_getChar0

The set Q consists of the following terms:

new_getChar0

We have to consider all minimal (P,Q,R)-chains.
By rewriting [15] the rule new_getLineGetRest → new_gtGtEs(new_getChar0) at position [0] we obtained the following new rules:

new_getLineGetRest → new_gtGtEs(new_getChar0)

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ IFR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

                ↳ HASKELL

                  ↳ LetRed

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                                ↳ DependencyGraphProof

                                  ↳ QDP

                                    ↳ Rewriting

                                      ↳ QDP

                                        ↳ Rewriting

                                          ↳ QDP

                                            ↳ Rewriting

                                              ↳ QDP

                                                ↳ Rewriting

                                                  ↳ QDP

                                                    ↳ Rewriting

                                                      ↳ QDP

                                                        ↳ Rewriting

                                                          ↳ QDP

                                                            ↳ Rewriting

                                                              ↳ QDP

                                                                ↳ Rewriting

                                                                  ↳ QDP

                                                                    ↳ Rewriting

                                                                      ↳ QDP

                                                                        ↳ Rewriting

                                                                          ↳ QDP

                                                                            ↳ Rewriting

                                                                              ↳ QDP

                                                                                ↳ Rewriting

                                                                                  ↳ QDP

                                                                                    ↳ Rewriting

                                                                                      ↳ QDP

                                                                                        ↳ Rewriting

                                                                                          ↳ QDP

                                                                                            ↳ Rewriting

                                                                                              ↳ QDP

                                                                                                ↳ Rewriting

                                                                                                  ↳ QDP

                                                                                                    ↳ Rewriting

                                                                                                      ↳ QDP

                                                                                                        ↳ Rewriting

                                                                                                          ↳ QDP

                                                                                                            ↳ Rewriting

                                                                                                              ↳ QDP

                                                                                                                ↳ Rewriting

                                                                                                                  ↳ QDP

                                                                                                                    ↳ Rewriting

                                                                                                                      ↳ QDP

                                                                                                                        ↳ Rewriting

                                                                                                                          ↳ QDP

                                                                                                                            ↳ Rewriting

                                                                                                                              ↳ QDP

                                                                                                                                ↳ Rewriting

                                                                                                                                  ↳ QDP

                                                                                                                                    ↳ Rewriting

                                                                                                                                      ↳ QDP

                                                                                                                                        ↳ Rewriting

                                                                                                                                          ↳ QDP

                                                                                                                                            ↳ Rewriting

                                                                                                                                              ↳ QDP

                                                                                                                                                ↳ Rewriting

                                                                                                                                                  ↳ QDP

                                                                                                                                                    ↳ Rewriting

                                                                                                                                                      ↳ QDP

                                                                                                                                                        ↳ Rewriting

                                                                                                                                                          ↳ QDP

                                                                                                                                                            ↳ Rewriting

                                                                                                                                                              ↳ QDP

                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                  ↳ QDP

                                                                                                                                                                    ↳ Rewriting

                                                                                                                                                                      ↳ QDP

                                                                                                                                                                        ↳ Rewriting

                                                                                                                                                                          ↳ QDP

                                                                                                                                                                            ↳ Rewriting

                                                                                                                                                                              ↳ QDP

                                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                                  ↳ QDP

                                                                                                                                                                                    ↳ Rewriting

                                                                                                                                                                                      ↳ QDP

                                                                                                                                                                                        ↳ Rewriting

                                                                                                                                                                                          ↳ QDP

                                                                                                                                                                                            ↳ Rewriting

                                                                                                                                                                                              ↳ QDP

                                                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                                                  ↳ QDP

                                                                                                                                                                                                    ↳ Rewriting

                                                                                                                                                                                                      ↳ QDP

                                                                                                                                                                                                        ↳ Rewriting

                              ↳ QDP

                          ↳ Narrow

Q DP problem:
The TRS P consists of the following rules:

new_getLineGetRest20(vx16) → new_getLineGetRest200(vx16)
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest200(vx350)
new_getLineGetRest20(vx16) → new_getLineGetRest
new_getLineGetRest → new_gtGtEs(new_getChar0)
new_gtGtEs(vx10) → new_getLineGetRest20(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero))))))))))
new_getLineGetRest201 → new_getLineGetRest
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest201
new_getLineGetRest200(Zero) → new_getLineGetRest

The TRS R consists of the following rules:

new_getChar0 → new_getChar0

The set Q consists of the following terms:

new_getChar0

We have to consider all minimal (P,Q,R)-chains.
By rewriting [15] the rule new_getLineGetRest → new_gtGtEs(new_getChar0) at position [0] we obtained the following new rules:

new_getLineGetRest → new_gtGtEs(new_getChar0)

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ IFR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

                ↳ HASKELL

                  ↳ LetRed

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                                ↳ DependencyGraphProof

                                  ↳ QDP

                                    ↳ Rewriting

                                      ↳ QDP

                                        ↳ Rewriting

                                          ↳ QDP

                                            ↳ Rewriting

                                              ↳ QDP

                                                ↳ Rewriting

                                                  ↳ QDP

                                                    ↳ Rewriting

                                                      ↳ QDP

                                                        ↳ Rewriting

                                                          ↳ QDP

                                                            ↳ Rewriting

                                                              ↳ QDP

                                                                ↳ Rewriting

                                                                  ↳ QDP

                                                                    ↳ Rewriting

                                                                      ↳ QDP

                                                                        ↳ Rewriting

                                                                          ↳ QDP

                                                                            ↳ Rewriting

                                                                              ↳ QDP

                                                                                ↳ Rewriting

                                                                                  ↳ QDP

                                                                                    ↳ Rewriting

                                                                                      ↳ QDP

                                                                                        ↳ Rewriting

                                                                                          ↳ QDP

                                                                                            ↳ Rewriting

                                                                                              ↳ QDP

                                                                                                ↳ Rewriting

                                                                                                  ↳ QDP

                                                                                                    ↳ Rewriting

                                                                                                      ↳ QDP

                                                                                                        ↳ Rewriting

                                                                                                          ↳ QDP

                                                                                                            ↳ Rewriting

                                                                                                              ↳ QDP

                                                                                                                ↳ Rewriting

                                                                                                                  ↳ QDP

                                                                                                                    ↳ Rewriting

                                                                                                                      ↳ QDP

                                                                                                                        ↳ Rewriting

                                                                                                                          ↳ QDP

                                                                                                                            ↳ Rewriting

                                                                                                                              ↳ QDP

                                                                                                                                ↳ Rewriting

                                                                                                                                  ↳ QDP

                                                                                                                                    ↳ Rewriting

                                                                                                                                      ↳ QDP

                                                                                                                                        ↳ Rewriting

                                                                                                                                          ↳ QDP

                                                                                                                                            ↳ Rewriting

                                                                                                                                              ↳ QDP

                                                                                                                                                ↳ Rewriting

                                                                                                                                                  ↳ QDP

                                                                                                                                                    ↳ Rewriting

                                                                                                                                                      ↳ QDP

                                                                                                                                                        ↳ Rewriting

                                                                                                                                                          ↳ QDP

                                                                                                                                                            ↳ Rewriting

                                                                                                                                                              ↳ QDP

                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                  ↳ QDP

                                                                                                                                                                    ↳ Rewriting

                                                                                                                                                                      ↳ QDP

                                                                                                                                                                        ↳ Rewriting

                                                                                                                                                                          ↳ QDP

                                                                                                                                                                            ↳ Rewriting

                                                                                                                                                                              ↳ QDP

                                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                                  ↳ QDP

                                                                                                                                                                                    ↳ Rewriting

                                                                                                                                                                                      ↳ QDP

                                                                                                                                                                                        ↳ Rewriting

                                                                                                                                                                                          ↳ QDP

                                                                                                                                                                                            ↳ Rewriting

                                                                                                                                                                                              ↳ QDP

                                                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                                                  ↳ QDP

                                                                                                                                                                                                    ↳ Rewriting

                                                                                                                                                                                                      ↳ QDP

                                                                                                                                                                                                        ↳ Rewriting

                                                                                                                                                                                                          ↳ QDP

                                                                                                                                                                                                            ↳ Rewriting

                              ↳ QDP

                          ↳ Narrow

Q DP problem:
The TRS P consists of the following rules:

new_getLineGetRest20(vx16) → new_getLineGetRest200(vx16)
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest200(vx350)
new_getLineGetRest20(vx16) → new_getLineGetRest
new_gtGtEs(vx10) → new_getLineGetRest20(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero))))))))))
new_getLineGetRest → new_gtGtEs(new_getChar0)
new_getLineGetRest201 → new_getLineGetRest
new_getLineGetRest200(Zero) → new_getLineGetRest
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest201

The TRS R consists of the following rules:

new_getChar0 → new_getChar0

The set Q consists of the following terms:

new_getChar0

We have to consider all minimal (P,Q,R)-chains.
By rewriting [15] the rule new_getLineGetRest → new_gtGtEs(new_getChar0) at position [0] we obtained the following new rules:

new_getLineGetRest → new_gtGtEs(new_getChar0)

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ IFR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

                ↳ HASKELL

                  ↳ LetRed

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                                ↳ DependencyGraphProof

                                  ↳ QDP

                                    ↳ Rewriting

                                      ↳ QDP

                                        ↳ Rewriting

                                          ↳ QDP

                                            ↳ Rewriting

                                              ↳ QDP

                                                ↳ Rewriting

                                                  ↳ QDP

                                                    ↳ Rewriting

                                                      ↳ QDP

                                                        ↳ Rewriting

                                                          ↳ QDP

                                                            ↳ Rewriting

                                                              ↳ QDP

                                                                ↳ Rewriting

                                                                  ↳ QDP

                                                                    ↳ Rewriting

                                                                      ↳ QDP

                                                                        ↳ Rewriting

                                                                          ↳ QDP

                                                                            ↳ Rewriting

                                                                              ↳ QDP

                                                                                ↳ Rewriting

                                                                                  ↳ QDP

                                                                                    ↳ Rewriting

                                                                                      ↳ QDP

                                                                                        ↳ Rewriting

                                                                                          ↳ QDP

                                                                                            ↳ Rewriting

                                                                                              ↳ QDP

                                                                                                ↳ Rewriting

                                                                                                  ↳ QDP

                                                                                                    ↳ Rewriting

                                                                                                      ↳ QDP

                                                                                                        ↳ Rewriting

                                                                                                          ↳ QDP

                                                                                                            ↳ Rewriting

                                                                                                              ↳ QDP

                                                                                                                ↳ Rewriting

                                                                                                                  ↳ QDP

                                                                                                                    ↳ Rewriting

                                                                                                                      ↳ QDP

                                                                                                                        ↳ Rewriting

                                                                                                                          ↳ QDP

                                                                                                                            ↳ Rewriting

                                                                                                                              ↳ QDP

                                                                                                                                ↳ Rewriting

                                                                                                                                  ↳ QDP

                                                                                                                                    ↳ Rewriting

                                                                                                                                      ↳ QDP

                                                                                                                                        ↳ Rewriting

                                                                                                                                          ↳ QDP

                                                                                                                                            ↳ Rewriting

                                                                                                                                              ↳ QDP

                                                                                                                                                ↳ Rewriting

                                                                                                                                                  ↳ QDP

                                                                                                                                                    ↳ Rewriting

                                                                                                                                                      ↳ QDP

                                                                                                                                                        ↳ Rewriting

                                                                                                                                                          ↳ QDP

                                                                                                                                                            ↳ Rewriting

                                                                                                                                                              ↳ QDP

                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                  ↳ QDP

                                                                                                                                                                    ↳ Rewriting

                                                                                                                                                                      ↳ QDP

                                                                                                                                                                        ↳ Rewriting

                                                                                                                                                                          ↳ QDP

                                                                                                                                                                            ↳ Rewriting

                                                                                                                                                                              ↳ QDP

                                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                                  ↳ QDP

                                                                                                                                                                                    ↳ Rewriting

                                                                                                                                                                                      ↳ QDP

                                                                                                                                                                                        ↳ Rewriting

                                                                                                                                                                                          ↳ QDP

                                                                                                                                                                                            ↳ Rewriting

                                                                                                                                                                                              ↳ QDP

                                                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                                                  ↳ QDP

                                                                                                                                                                                                    ↳ Rewriting

                                                                                                                                                                                                      ↳ QDP

                                                                                                                                                                                                        ↳ Rewriting

                                                                                                                                                                                                          ↳ QDP

                                                                                                                                                                                                            ↳ Rewriting

                                                                                                                                                                                                              ↳ QDP

                                                                                                                                                                                                                ↳ Rewriting

                              ↳ QDP

                          ↳ Narrow

Q DP problem:
The TRS P consists of the following rules:

new_getLineGetRest20(vx16) → new_getLineGetRest200(vx16)
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest200(vx350)
new_getLineGetRest20(vx16) → new_getLineGetRest
new_getLineGetRest → new_gtGtEs(new_getChar0)
new_gtGtEs(vx10) → new_getLineGetRest20(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero))))))))))
new_getLineGetRest201 → new_getLineGetRest
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest201
new_getLineGetRest200(Zero) → new_getLineGetRest

The TRS R consists of the following rules:

new_getChar0 → new_getChar0

The set Q consists of the following terms:

new_getChar0

We have to consider all minimal (P,Q,R)-chains.
By rewriting [15] the rule new_getLineGetRest → new_gtGtEs(new_getChar0) at position [0] we obtained the following new rules:

new_getLineGetRest → new_gtGtEs(new_getChar0)

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ IFR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

                ↳ HASKELL

                  ↳ LetRed

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                                ↳ DependencyGraphProof

                                  ↳ QDP

                                    ↳ Rewriting

                                      ↳ QDP

                                        ↳ Rewriting

                                          ↳ QDP

                                            ↳ Rewriting

                                              ↳ QDP

                                                ↳ Rewriting

                                                  ↳ QDP

                                                    ↳ Rewriting

                                                      ↳ QDP

                                                        ↳ Rewriting

                                                          ↳ QDP

                                                            ↳ Rewriting

                                                              ↳ QDP

                                                                ↳ Rewriting

                                                                  ↳ QDP

                                                                    ↳ Rewriting

                                                                      ↳ QDP

                                                                        ↳ Rewriting

                                                                          ↳ QDP

                                                                            ↳ Rewriting

                                                                              ↳ QDP

                                                                                ↳ Rewriting

                                                                                  ↳ QDP

                                                                                    ↳ Rewriting

                                                                                      ↳ QDP

                                                                                        ↳ Rewriting

                                                                                          ↳ QDP

                                                                                            ↳ Rewriting

                                                                                              ↳ QDP

                                                                                                ↳ Rewriting

                                                                                                  ↳ QDP

                                                                                                    ↳ Rewriting

                                                                                                      ↳ QDP

                                                                                                        ↳ Rewriting

                                                                                                          ↳ QDP

                                                                                                            ↳ Rewriting

                                                                                                              ↳ QDP

                                                                                                                ↳ Rewriting

                                                                                                                  ↳ QDP

                                                                                                                    ↳ Rewriting

                                                                                                                      ↳ QDP

                                                                                                                        ↳ Rewriting

                                                                                                                          ↳ QDP

                                                                                                                            ↳ Rewriting

                                                                                                                              ↳ QDP

                                                                                                                                ↳ Rewriting

                                                                                                                                  ↳ QDP

                                                                                                                                    ↳ Rewriting

                                                                                                                                      ↳ QDP

                                                                                                                                        ↳ Rewriting

                                                                                                                                          ↳ QDP

                                                                                                                                            ↳ Rewriting

                                                                                                                                              ↳ QDP

                                                                                                                                                ↳ Rewriting

                                                                                                                                                  ↳ QDP

                                                                                                                                                    ↳ Rewriting

                                                                                                                                                      ↳ QDP

                                                                                                                                                        ↳ Rewriting

                                                                                                                                                          ↳ QDP

                                                                                                                                                            ↳ Rewriting

                                                                                                                                                              ↳ QDP

                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                  ↳ QDP

                                                                                                                                                                    ↳ Rewriting

                                                                                                                                                                      ↳ QDP

                                                                                                                                                                        ↳ Rewriting

                                                                                                                                                                          ↳ QDP

                                                                                                                                                                            ↳ Rewriting

                                                                                                                                                                              ↳ QDP

                                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                                  ↳ QDP

                                                                                                                                                                                    ↳ Rewriting

                                                                                                                                                                                      ↳ QDP

                                                                                                                                                                                        ↳ Rewriting

                                                                                                                                                                                          ↳ QDP

                                                                                                                                                                                            ↳ Rewriting

                                                                                                                                                                                              ↳ QDP

                                                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                                                  ↳ QDP

                                                                                                                                                                                                    ↳ Rewriting

                                                                                                                                                                                                      ↳ QDP

                                                                                                                                                                                                        ↳ Rewriting

                                                                                                                                                                                                          ↳ QDP

                                                                                                                                                                                                            ↳ Rewriting

                                                                                                                                                                                                              ↳ QDP

                                                                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                                                                  ↳ QDP

                                                                                                                                                                                                                    ↳ Rewriting

                              ↳ QDP

                          ↳ Narrow

Q DP problem:
The TRS P consists of the following rules:

new_getLineGetRest20(vx16) → new_getLineGetRest200(vx16)
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest200(vx350)
new_getLineGetRest20(vx16) → new_getLineGetRest
new_gtGtEs(vx10) → new_getLineGetRest20(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero))))))))))
new_getLineGetRest → new_gtGtEs(new_getChar0)
new_getLineGetRest201 → new_getLineGetRest
new_getLineGetRest200(Zero) → new_getLineGetRest
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest201

The TRS R consists of the following rules:

new_getChar0 → new_getChar0

The set Q consists of the following terms:

new_getChar0

We have to consider all minimal (P,Q,R)-chains.
By rewriting [15] the rule new_getLineGetRest → new_gtGtEs(new_getChar0) at position [0] we obtained the following new rules:

new_getLineGetRest → new_gtGtEs(new_getChar0)

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ IFR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

                ↳ HASKELL

                  ↳ LetRed

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                                ↳ DependencyGraphProof

                                  ↳ QDP

                                    ↳ Rewriting

                                      ↳ QDP

                                        ↳ Rewriting

                                          ↳ QDP

                                            ↳ Rewriting

                                              ↳ QDP

                                                ↳ Rewriting

                                                  ↳ QDP

                                                    ↳ Rewriting

                                                      ↳ QDP

                                                        ↳ Rewriting

                                                          ↳ QDP

                                                            ↳ Rewriting

                                                              ↳ QDP

                                                                ↳ Rewriting

                                                                  ↳ QDP

                                                                    ↳ Rewriting

                                                                      ↳ QDP

                                                                        ↳ Rewriting

                                                                          ↳ QDP

                                                                            ↳ Rewriting

                                                                              ↳ QDP

                                                                                ↳ Rewriting

                                                                                  ↳ QDP

                                                                                    ↳ Rewriting

                                                                                      ↳ QDP

                                                                                        ↳ Rewriting

                                                                                          ↳ QDP

                                                                                            ↳ Rewriting

                                                                                              ↳ QDP

                                                                                                ↳ Rewriting

                                                                                                  ↳ QDP

                                                                                                    ↳ Rewriting

                                                                                                      ↳ QDP

                                                                                                        ↳ Rewriting

                                                                                                          ↳ QDP

                                                                                                            ↳ Rewriting

                                                                                                              ↳ QDP

                                                                                                                ↳ Rewriting

                                                                                                                  ↳ QDP

                                                                                                                    ↳ Rewriting

                                                                                                                      ↳ QDP

                                                                                                                        ↳ Rewriting

                                                                                                                          ↳ QDP

                                                                                                                            ↳ Rewriting

                                                                                                                              ↳ QDP

                                                                                                                                ↳ Rewriting

                                                                                                                                  ↳ QDP

                                                                                                                                    ↳ Rewriting

                                                                                                                                      ↳ QDP

                                                                                                                                        ↳ Rewriting

                                                                                                                                          ↳ QDP

                                                                                                                                            ↳ Rewriting

                                                                                                                                              ↳ QDP

                                                                                                                                                ↳ Rewriting

                                                                                                                                                  ↳ QDP

                                                                                                                                                    ↳ Rewriting

                                                                                                                                                      ↳ QDP

                                                                                                                                                        ↳ Rewriting

                                                                                                                                                          ↳ QDP

                                                                                                                                                            ↳ Rewriting

                                                                                                                                                              ↳ QDP

                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                  ↳ QDP

                                                                                                                                                                    ↳ Rewriting

                                                                                                                                                                      ↳ QDP

                                                                                                                                                                        ↳ Rewriting

                                                                                                                                                                          ↳ QDP

                                                                                                                                                                            ↳ Rewriting

                                                                                                                                                                              ↳ QDP

                                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                                  ↳ QDP

                                                                                                                                                                                    ↳ Rewriting

                                                                                                                                                                                      ↳ QDP

                                                                                                                                                                                        ↳ Rewriting

                                                                                                                                                                                          ↳ QDP

                                                                                                                                                                                            ↳ Rewriting

                                                                                                                                                                                              ↳ QDP

                                                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                                                  ↳ QDP

                                                                                                                                                                                                    ↳ Rewriting

                                                                                                                                                                                                      ↳ QDP

                                                                                                                                                                                                        ↳ Rewriting

                                                                                                                                                                                                          ↳ QDP

                                                                                                                                                                                                            ↳ Rewriting

                                                                                                                                                                                                              ↳ QDP

                                                                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                                                                  ↳ QDP

                                                                                                                                                                                                                    ↳ Rewriting

                                                                                                                                                                                                                      ↳ QDP

                                                                                                                                                                                                                        ↳ Rewriting

                              ↳ QDP

                          ↳ Narrow

Q DP problem:
The TRS P consists of the following rules:

new_getLineGetRest20(vx16) → new_getLineGetRest200(vx16)
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest200(vx350)
new_getLineGetRest20(vx16) → new_getLineGetRest
new_getLineGetRest → new_gtGtEs(new_getChar0)
new_gtGtEs(vx10) → new_getLineGetRest20(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero))))))))))
new_getLineGetRest201 → new_getLineGetRest
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest201
new_getLineGetRest200(Zero) → new_getLineGetRest

The TRS R consists of the following rules:

new_getChar0 → new_getChar0

The set Q consists of the following terms:

new_getChar0

We have to consider all minimal (P,Q,R)-chains.
By rewriting [15] the rule new_getLineGetRest → new_gtGtEs(new_getChar0) at position [0] we obtained the following new rules:

new_getLineGetRest → new_gtGtEs(new_getChar0)

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ IFR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

                ↳ HASKELL

                  ↳ LetRed

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                                ↳ DependencyGraphProof

                                  ↳ QDP

                                    ↳ Rewriting

                                      ↳ QDP

                                        ↳ Rewriting

                                          ↳ QDP

                                            ↳ Rewriting

                                              ↳ QDP

                                                ↳ Rewriting

                                                  ↳ QDP

                                                    ↳ Rewriting

                                                      ↳ QDP

                                                        ↳ Rewriting

                                                          ↳ QDP

                                                            ↳ Rewriting

                                                              ↳ QDP

                                                                ↳ Rewriting

                                                                  ↳ QDP

                                                                    ↳ Rewriting

                                                                      ↳ QDP

                                                                        ↳ Rewriting

                                                                          ↳ QDP

                                                                            ↳ Rewriting

                                                                              ↳ QDP

                                                                                ↳ Rewriting

                                                                                  ↳ QDP

                                                                                    ↳ Rewriting

                                                                                      ↳ QDP

                                                                                        ↳ Rewriting

                                                                                          ↳ QDP

                                                                                            ↳ Rewriting

                                                                                              ↳ QDP

                                                                                                ↳ Rewriting

                                                                                                  ↳ QDP

                                                                                                    ↳ Rewriting

                                                                                                      ↳ QDP

                                                                                                        ↳ Rewriting

                                                                                                          ↳ QDP

                                                                                                            ↳ Rewriting

                                                                                                              ↳ QDP

                                                                                                                ↳ Rewriting

                                                                                                                  ↳ QDP

                                                                                                                    ↳ Rewriting

                                                                                                                      ↳ QDP

                                                                                                                        ↳ Rewriting

                                                                                                                          ↳ QDP

                                                                                                                            ↳ Rewriting

                                                                                                                              ↳ QDP

                                                                                                                                ↳ Rewriting

                                                                                                                                  ↳ QDP

                                                                                                                                    ↳ Rewriting

                                                                                                                                      ↳ QDP

                                                                                                                                        ↳ Rewriting

                                                                                                                                          ↳ QDP

                                                                                                                                            ↳ Rewriting

                                                                                                                                              ↳ QDP

                                                                                                                                                ↳ Rewriting

                                                                                                                                                  ↳ QDP

                                                                                                                                                    ↳ Rewriting

                                                                                                                                                      ↳ QDP

                                                                                                                                                        ↳ Rewriting

                                                                                                                                                          ↳ QDP

                                                                                                                                                            ↳ Rewriting

                                                                                                                                                              ↳ QDP

                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                  ↳ QDP

                                                                                                                                                                    ↳ Rewriting

                                                                                                                                                                      ↳ QDP

                                                                                                                                                                        ↳ Rewriting

                                                                                                                                                                          ↳ QDP

                                                                                                                                                                            ↳ Rewriting

                                                                                                                                                                              ↳ QDP

                                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                                  ↳ QDP

                                                                                                                                                                                    ↳ Rewriting

                                                                                                                                                                                      ↳ QDP

                                                                                                                                                                                        ↳ Rewriting

                                                                                                                                                                                          ↳ QDP

                                                                                                                                                                                            ↳ Rewriting

                                                                                                                                                                                              ↳ QDP

                                                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                                                  ↳ QDP

                                                                                                                                                                                                    ↳ Rewriting

                                                                                                                                                                                                      ↳ QDP

                                                                                                                                                                                                        ↳ Rewriting

                                                                                                                                                                                                          ↳ QDP

                                                                                                                                                                                                            ↳ Rewriting

                                                                                                                                                                                                              ↳ QDP

                                                                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                                                                  ↳ QDP

                                                                                                                                                                                                                    ↳ Rewriting

                                                                                                                                                                                                                      ↳ QDP

                                                                                                                                                                                                                        ↳ Rewriting

                                                                                                                                                                                                                          ↳ QDP

                                                                                                                                                                                                                            ↳ Rewriting

                              ↳ QDP

                          ↳ Narrow

Q DP problem:
The TRS P consists of the following rules:

new_getLineGetRest20(vx16) → new_getLineGetRest200(vx16)
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest200(vx350)
new_getLineGetRest20(vx16) → new_getLineGetRest
new_gtGtEs(vx10) → new_getLineGetRest20(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero))))))))))
new_getLineGetRest → new_gtGtEs(new_getChar0)
new_getLineGetRest201 → new_getLineGetRest
new_getLineGetRest200(Zero) → new_getLineGetRest
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest201

The TRS R consists of the following rules:

new_getChar0 → new_getChar0

The set Q consists of the following terms:

new_getChar0

We have to consider all minimal (P,Q,R)-chains.
By rewriting [15] the rule new_getLineGetRest → new_gtGtEs(new_getChar0) at position [0] we obtained the following new rules:

new_getLineGetRest → new_gtGtEs(new_getChar0)

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ IFR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

                ↳ HASKELL

                  ↳ LetRed

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                                ↳ DependencyGraphProof

                                  ↳ QDP

                                    ↳ Rewriting

                                      ↳ QDP

                                        ↳ Rewriting

                                          ↳ QDP

                                            ↳ Rewriting

                                              ↳ QDP

                                                ↳ Rewriting

                                                  ↳ QDP

                                                    ↳ Rewriting

                                                      ↳ QDP

                                                        ↳ Rewriting

                                                          ↳ QDP

                                                            ↳ Rewriting

                                                              ↳ QDP

                                                                ↳ Rewriting

                                                                  ↳ QDP

                                                                    ↳ Rewriting

                                                                      ↳ QDP

                                                                        ↳ Rewriting

                                                                          ↳ QDP

                                                                            ↳ Rewriting

                                                                              ↳ QDP

                                                                                ↳ Rewriting

                                                                                  ↳ QDP

                                                                                    ↳ Rewriting

                                                                                      ↳ QDP

                                                                                        ↳ Rewriting

                                                                                          ↳ QDP

                                                                                            ↳ Rewriting

                                                                                              ↳ QDP

                                                                                                ↳ Rewriting

                                                                                                  ↳ QDP

                                                                                                    ↳ Rewriting

                                                                                                      ↳ QDP

                                                                                                        ↳ Rewriting

                                                                                                          ↳ QDP

                                                                                                            ↳ Rewriting

                                                                                                              ↳ QDP

                                                                                                                ↳ Rewriting

                                                                                                                  ↳ QDP

                                                                                                                    ↳ Rewriting

                                                                                                                      ↳ QDP

                                                                                                                        ↳ Rewriting

                                                                                                                          ↳ QDP

                                                                                                                            ↳ Rewriting

                                                                                                                              ↳ QDP

                                                                                                                                ↳ Rewriting

                                                                                                                                  ↳ QDP

                                                                                                                                    ↳ Rewriting

                                                                                                                                      ↳ QDP

                                                                                                                                        ↳ Rewriting

                                                                                                                                          ↳ QDP

                                                                                                                                            ↳ Rewriting

                                                                                                                                              ↳ QDP

                                                                                                                                                ↳ Rewriting

                                                                                                                                                  ↳ QDP

                                                                                                                                                    ↳ Rewriting

                                                                                                                                                      ↳ QDP

                                                                                                                                                        ↳ Rewriting

                                                                                                                                                          ↳ QDP

                                                                                                                                                            ↳ Rewriting

                                                                                                                                                              ↳ QDP

                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                  ↳ QDP

                                                                                                                                                                    ↳ Rewriting

                                                                                                                                                                      ↳ QDP

                                                                                                                                                                        ↳ Rewriting

                                                                                                                                                                          ↳ QDP

                                                                                                                                                                            ↳ Rewriting

                                                                                                                                                                              ↳ QDP

                                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                                  ↳ QDP

                                                                                                                                                                                    ↳ Rewriting

                                                                                                                                                                                      ↳ QDP

                                                                                                                                                                                        ↳ Rewriting

                                                                                                                                                                                          ↳ QDP

                                                                                                                                                                                            ↳ Rewriting

                                                                                                                                                                                              ↳ QDP

                                                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                                                  ↳ QDP

                                                                                                                                                                                                    ↳ Rewriting

                                                                                                                                                                                                      ↳ QDP

                                                                                                                                                                                                        ↳ Rewriting

                                                                                                                                                                                                          ↳ QDP

                                                                                                                                                                                                            ↳ Rewriting

                                                                                                                                                                                                              ↳ QDP

                                                                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                                                                  ↳ QDP

                                                                                                                                                                                                                    ↳ Rewriting

                                                                                                                                                                                                                      ↳ QDP

                                                                                                                                                                                                                        ↳ Rewriting

                                                                                                                                                                                                                          ↳ QDP

                                                                                                                                                                                                                            ↳ Rewriting

                                                                                                                                                                                                                              ↳ QDP

                                                                                                                                                                                                                                ↳ Rewriting

                              ↳ QDP

                          ↳ Narrow

Q DP problem:
The TRS P consists of the following rules:

new_getLineGetRest20(vx16) → new_getLineGetRest200(vx16)
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest200(vx350)
new_getLineGetRest20(vx16) → new_getLineGetRest
new_getLineGetRest → new_gtGtEs(new_getChar0)
new_gtGtEs(vx10) → new_getLineGetRest20(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero))))))))))
new_getLineGetRest201 → new_getLineGetRest
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest201
new_getLineGetRest200(Zero) → new_getLineGetRest

The TRS R consists of the following rules:

new_getChar0 → new_getChar0

The set Q consists of the following terms:

new_getChar0

We have to consider all minimal (P,Q,R)-chains.
By rewriting [15] the rule new_getLineGetRest → new_gtGtEs(new_getChar0) at position [0] we obtained the following new rules:

new_getLineGetRest → new_gtGtEs(new_getChar0)

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ IFR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

                ↳ HASKELL

                  ↳ LetRed

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                                ↳ DependencyGraphProof

                                  ↳ QDP

                                    ↳ Rewriting

                                      ↳ QDP

                                        ↳ Rewriting

                                          ↳ QDP

                                            ↳ Rewriting

                                              ↳ QDP

                                                ↳ Rewriting

                                                  ↳ QDP

                                                    ↳ Rewriting

                                                      ↳ QDP

                                                        ↳ Rewriting

                                                          ↳ QDP

                                                            ↳ Rewriting

                                                              ↳ QDP

                                                                ↳ Rewriting

                                                                  ↳ QDP

                                                                    ↳ Rewriting

                                                                      ↳ QDP

                                                                        ↳ Rewriting

                                                                          ↳ QDP

                                                                            ↳ Rewriting

                                                                              ↳ QDP

                                                                                ↳ Rewriting

                                                                                  ↳ QDP

                                                                                    ↳ Rewriting

                                                                                      ↳ QDP

                                                                                        ↳ Rewriting

                                                                                          ↳ QDP

                                                                                            ↳ Rewriting

                                                                                              ↳ QDP

                                                                                                ↳ Rewriting

                                                                                                  ↳ QDP

                                                                                                    ↳ Rewriting

                                                                                                      ↳ QDP

                                                                                                        ↳ Rewriting

                                                                                                          ↳ QDP

                                                                                                            ↳ Rewriting

                                                                                                              ↳ QDP

                                                                                                                ↳ Rewriting

                                                                                                                  ↳ QDP

                                                                                                                    ↳ Rewriting

                                                                                                                      ↳ QDP

                                                                                                                        ↳ Rewriting

                                                                                                                          ↳ QDP

                                                                                                                            ↳ Rewriting

                                                                                                                              ↳ QDP

                                                                                                                                ↳ Rewriting

                                                                                                                                  ↳ QDP

                                                                                                                                    ↳ Rewriting

                                                                                                                                      ↳ QDP

                                                                                                                                        ↳ Rewriting

                                                                                                                                          ↳ QDP

                                                                                                                                            ↳ Rewriting

                                                                                                                                              ↳ QDP

                                                                                                                                                ↳ Rewriting

                                                                                                                                                  ↳ QDP

                                                                                                                                                    ↳ Rewriting

                                                                                                                                                      ↳ QDP

                                                                                                                                                        ↳ Rewriting

                                                                                                                                                          ↳ QDP

                                                                                                                                                            ↳ Rewriting

                                                                                                                                                              ↳ QDP

                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                  ↳ QDP

                                                                                                                                                                    ↳ Rewriting

                                                                                                                                                                      ↳ QDP

                                                                                                                                                                        ↳ Rewriting

                                                                                                                                                                          ↳ QDP

                                                                                                                                                                            ↳ Rewriting

                                                                                                                                                                              ↳ QDP

                                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                                  ↳ QDP

                                                                                                                                                                                    ↳ Rewriting

                                                                                                                                                                                      ↳ QDP

                                                                                                                                                                                        ↳ Rewriting

                                                                                                                                                                                          ↳ QDP

                                                                                                                                                                                            ↳ Rewriting

                                                                                                                                                                                              ↳ QDP

                                                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                                                  ↳ QDP

                                                                                                                                                                                                    ↳ Rewriting

                                                                                                                                                                                                      ↳ QDP

                                                                                                                                                                                                        ↳ Rewriting

                                                                                                                                                                                                          ↳ QDP

                                                                                                                                                                                                            ↳ Rewriting

                                                                                                                                                                                                              ↳ QDP

                                                                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                                                                  ↳ QDP

                                                                                                                                                                                                                    ↳ Rewriting

                                                                                                                                                                                                                      ↳ QDP

                                                                                                                                                                                                                        ↳ Rewriting

                                                                                                                                                                                                                          ↳ QDP

                                                                                                                                                                                                                            ↳ Rewriting

                                                                                                                                                                                                                              ↳ QDP

                                                                                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                                                                                  ↳ QDP

                                                                                                                                                                                                                                    ↳ Rewriting

                              ↳ QDP

                          ↳ Narrow

Q DP problem:
The TRS P consists of the following rules:

new_getLineGetRest20(vx16) → new_getLineGetRest200(vx16)
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest200(vx350)
new_getLineGetRest20(vx16) → new_getLineGetRest
new_gtGtEs(vx10) → new_getLineGetRest20(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero))))))))))
new_getLineGetRest → new_gtGtEs(new_getChar0)
new_getLineGetRest201 → new_getLineGetRest
new_getLineGetRest200(Zero) → new_getLineGetRest
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest201

The TRS R consists of the following rules:

new_getChar0 → new_getChar0

The set Q consists of the following terms:

new_getChar0

We have to consider all minimal (P,Q,R)-chains.
By rewriting [15] the rule new_getLineGetRest → new_gtGtEs(new_getChar0) at position [0] we obtained the following new rules:

new_getLineGetRest → new_gtGtEs(new_getChar0)

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ IFR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

                ↳ HASKELL

                  ↳ LetRed

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                                ↳ DependencyGraphProof

                                  ↳ QDP

                                    ↳ Rewriting

                                      ↳ QDP

                                        ↳ Rewriting

                                          ↳ QDP

                                            ↳ Rewriting

                                              ↳ QDP

                                                ↳ Rewriting

                                                  ↳ QDP

                                                    ↳ Rewriting

                                                      ↳ QDP

                                                        ↳ Rewriting

                                                          ↳ QDP

                                                            ↳ Rewriting

                                                              ↳ QDP

                                                                ↳ Rewriting

                                                                  ↳ QDP

                                                                    ↳ Rewriting

                                                                      ↳ QDP

                                                                        ↳ Rewriting

                                                                          ↳ QDP

                                                                            ↳ Rewriting

                                                                              ↳ QDP

                                                                                ↳ Rewriting

                                                                                  ↳ QDP

                                                                                    ↳ Rewriting

                                                                                      ↳ QDP

                                                                                        ↳ Rewriting

                                                                                          ↳ QDP

                                                                                            ↳ Rewriting

                                                                                              ↳ QDP

                                                                                                ↳ Rewriting

                                                                                                  ↳ QDP

                                                                                                    ↳ Rewriting

                                                                                                      ↳ QDP

                                                                                                        ↳ Rewriting

                                                                                                          ↳ QDP

                                                                                                            ↳ Rewriting

                                                                                                              ↳ QDP

                                                                                                                ↳ Rewriting

                                                                                                                  ↳ QDP

                                                                                                                    ↳ Rewriting

                                                                                                                      ↳ QDP

                                                                                                                        ↳ Rewriting

                                                                                                                          ↳ QDP

                                                                                                                            ↳ Rewriting

                                                                                                                              ↳ QDP

                                                                                                                                ↳ Rewriting

                                                                                                                                  ↳ QDP

                                                                                                                                    ↳ Rewriting

                                                                                                                                      ↳ QDP

                                                                                                                                        ↳ Rewriting

                                                                                                                                          ↳ QDP

                                                                                                                                            ↳ Rewriting

                                                                                                                                              ↳ QDP

                                                                                                                                                ↳ Rewriting

                                                                                                                                                  ↳ QDP

                                                                                                                                                    ↳ Rewriting

                                                                                                                                                      ↳ QDP

                                                                                                                                                        ↳ Rewriting

                                                                                                                                                          ↳ QDP

                                                                                                                                                            ↳ Rewriting

                                                                                                                                                              ↳ QDP

                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                  ↳ QDP

                                                                                                                                                                    ↳ Rewriting

                                                                                                                                                                      ↳ QDP

                                                                                                                                                                        ↳ Rewriting

                                                                                                                                                                          ↳ QDP

                                                                                                                                                                            ↳ Rewriting

                                                                                                                                                                              ↳ QDP

                                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                                  ↳ QDP

                                                                                                                                                                                    ↳ Rewriting

                                                                                                                                                                                      ↳ QDP

                                                                                                                                                                                        ↳ Rewriting

                                                                                                                                                                                          ↳ QDP

                                                                                                                                                                                            ↳ Rewriting

                                                                                                                                                                                              ↳ QDP

                                                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                                                  ↳ QDP

                                                                                                                                                                                                    ↳ Rewriting

                                                                                                                                                                                                      ↳ QDP

                                                                                                                                                                                                        ↳ Rewriting

                                                                                                                                                                                                          ↳ QDP

                                                                                                                                                                                                            ↳ Rewriting

                                                                                                                                                                                                              ↳ QDP

                                                                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                                                                  ↳ QDP

                                                                                                                                                                                                                    ↳ Rewriting

                                                                                                                                                                                                                      ↳ QDP

                                                                                                                                                                                                                        ↳ Rewriting

                                                                                                                                                                                                                          ↳ QDP

                                                                                                                                                                                                                            ↳ Rewriting

                                                                                                                                                                                                                              ↳ QDP

                                                                                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                                                                                  ↳ QDP

                                                                                                                                                                                                                                    ↳ Rewriting

                                                                                                                                                                                                                                      ↳ QDP

                                                                                                                                                                                                                                        ↳ Rewriting

                              ↳ QDP

                          ↳ Narrow

Q DP problem:
The TRS P consists of the following rules:

new_getLineGetRest20(vx16) → new_getLineGetRest200(vx16)
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest200(vx350)
new_getLineGetRest20(vx16) → new_getLineGetRest
new_getLineGetRest → new_gtGtEs(new_getChar0)
new_gtGtEs(vx10) → new_getLineGetRest20(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero))))))))))
new_getLineGetRest201 → new_getLineGetRest
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest201
new_getLineGetRest200(Zero) → new_getLineGetRest

The TRS R consists of the following rules:

new_getChar0 → new_getChar0

The set Q consists of the following terms:

new_getChar0

We have to consider all minimal (P,Q,R)-chains.
By rewriting [15] the rule new_getLineGetRest → new_gtGtEs(new_getChar0) at position [0] we obtained the following new rules:

new_getLineGetRest → new_gtGtEs(new_getChar0)

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ IFR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

                ↳ HASKELL

                  ↳ LetRed

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                                ↳ DependencyGraphProof

                                  ↳ QDP

                                    ↳ Rewriting

                                      ↳ QDP

                                        ↳ Rewriting

                                          ↳ QDP

                                            ↳ Rewriting

                                              ↳ QDP

                                                ↳ Rewriting

                                                  ↳ QDP

                                                    ↳ Rewriting

                                                      ↳ QDP

                                                        ↳ Rewriting

                                                          ↳ QDP

                                                            ↳ Rewriting

                                                              ↳ QDP

                                                                ↳ Rewriting

                                                                  ↳ QDP

                                                                    ↳ Rewriting

                                                                      ↳ QDP

                                                                        ↳ Rewriting

                                                                          ↳ QDP

                                                                            ↳ Rewriting

                                                                              ↳ QDP

                                                                                ↳ Rewriting

                                                                                  ↳ QDP

                                                                                    ↳ Rewriting

                                                                                      ↳ QDP

                                                                                        ↳ Rewriting

                                                                                          ↳ QDP

                                                                                            ↳ Rewriting

                                                                                              ↳ QDP

                                                                                                ↳ Rewriting

                                                                                                  ↳ QDP

                                                                                                    ↳ Rewriting

                                                                                                      ↳ QDP

                                                                                                        ↳ Rewriting

                                                                                                          ↳ QDP

                                                                                                            ↳ Rewriting

                                                                                                              ↳ QDP

                                                                                                                ↳ Rewriting

                                                                                                                  ↳ QDP

                                                                                                                    ↳ Rewriting

                                                                                                                      ↳ QDP

                                                                                                                        ↳ Rewriting

                                                                                                                          ↳ QDP

                                                                                                                            ↳ Rewriting

                                                                                                                              ↳ QDP

                                                                                                                                ↳ Rewriting

                                                                                                                                  ↳ QDP

                                                                                                                                    ↳ Rewriting

                                                                                                                                      ↳ QDP

                                                                                                                                        ↳ Rewriting

                                                                                                                                          ↳ QDP

                                                                                                                                            ↳ Rewriting

                                                                                                                                              ↳ QDP

                                                                                                                                                ↳ Rewriting

                                                                                                                                                  ↳ QDP

                                                                                                                                                    ↳ Rewriting

                                                                                                                                                      ↳ QDP

                                                                                                                                                        ↳ Rewriting

                                                                                                                                                          ↳ QDP

                                                                                                                                                            ↳ Rewriting

                                                                                                                                                              ↳ QDP

                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                  ↳ QDP

                                                                                                                                                                    ↳ Rewriting

                                                                                                                                                                      ↳ QDP

                                                                                                                                                                        ↳ Rewriting

                                                                                                                                                                          ↳ QDP

                                                                                                                                                                            ↳ Rewriting

                                                                                                                                                                              ↳ QDP

                                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                                  ↳ QDP

                                                                                                                                                                                    ↳ Rewriting

                                                                                                                                                                                      ↳ QDP

                                                                                                                                                                                        ↳ Rewriting

                                                                                                                                                                                          ↳ QDP

                                                                                                                                                                                            ↳ Rewriting

                                                                                                                                                                                              ↳ QDP

                                                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                                                  ↳ QDP

                                                                                                                                                                                                    ↳ Rewriting

                                                                                                                                                                                                      ↳ QDP

                                                                                                                                                                                                        ↳ Rewriting

                                                                                                                                                                                                          ↳ QDP

                                                                                                                                                                                                            ↳ Rewriting

                                                                                                                                                                                                              ↳ QDP

                                                                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                                                                  ↳ QDP

                                                                                                                                                                                                                    ↳ Rewriting

                                                                                                                                                                                                                      ↳ QDP

                                                                                                                                                                                                                        ↳ Rewriting

                                                                                                                                                                                                                          ↳ QDP

                                                                                                                                                                                                                            ↳ Rewriting

                                                                                                                                                                                                                              ↳ QDP

                                                                                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                                                                                  ↳ QDP

                                                                                                                                                                                                                                    ↳ Rewriting

                                                                                                                                                                                                                                      ↳ QDP

                                                                                                                                                                                                                                        ↳ Rewriting

                                                                                                                                                                                                                                          ↳ QDP

                                                                                                                                                                                                                                            ↳ Instantiation

                              ↳ QDP

                          ↳ Narrow

Q DP problem:
The TRS P consists of the following rules:

new_getLineGetRest20(vx16) → new_getLineGetRest200(vx16)
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest200(vx350)
new_getLineGetRest20(vx16) → new_getLineGetRest
new_gtGtEs(vx10) → new_getLineGetRest20(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero))))))))))
new_getLineGetRest → new_gtGtEs(new_getChar0)
new_getLineGetRest201 → new_getLineGetRest
new_getLineGetRest200(Zero) → new_getLineGetRest
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest201

The TRS R consists of the following rules:

new_getChar0 → new_getChar0

The set Q consists of the following terms:

new_getChar0

We have to consider all minimal (P,Q,R)-chains.
By instantiating [15] the rule new_getLineGetRest20(vx16) → new_getLineGetRest200(vx16) we obtained the following new rules:

new_getLineGetRest20(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero)))))))))) → new_getLineGetRest200(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero))))))))))

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ IFR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

                ↳ HASKELL

                  ↳ LetRed

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                                ↳ DependencyGraphProof

                                  ↳ QDP

                                    ↳ Rewriting

                                      ↳ QDP

                                        ↳ Rewriting

                                          ↳ QDP

                                            ↳ Rewriting

                                              ↳ QDP

                                                ↳ Rewriting

                                                  ↳ QDP

                                                    ↳ Rewriting

                                                      ↳ QDP

                                                        ↳ Rewriting

                                                          ↳ QDP

                                                            ↳ Rewriting

                                                              ↳ QDP

                                                                ↳ Rewriting

                                                                  ↳ QDP

                                                                    ↳ Rewriting

                                                                      ↳ QDP

                                                                        ↳ Rewriting

                                                                          ↳ QDP

                                                                            ↳ Rewriting

                                                                              ↳ QDP

                                                                                ↳ Rewriting

                                                                                  ↳ QDP

                                                                                    ↳ Rewriting

                                                                                      ↳ QDP

                                                                                        ↳ Rewriting

                                                                                          ↳ QDP

                                                                                            ↳ Rewriting

                                                                                              ↳ QDP

                                                                                                ↳ Rewriting

                                                                                                  ↳ QDP

                                                                                                    ↳ Rewriting

                                                                                                      ↳ QDP

                                                                                                        ↳ Rewriting

                                                                                                          ↳ QDP

                                                                                                            ↳ Rewriting

                                                                                                              ↳ QDP

                                                                                                                ↳ Rewriting

                                                                                                                  ↳ QDP

                                                                                                                    ↳ Rewriting

                                                                                                                      ↳ QDP

                                                                                                                        ↳ Rewriting

                                                                                                                          ↳ QDP

                                                                                                                            ↳ Rewriting

                                                                                                                              ↳ QDP

                                                                                                                                ↳ Rewriting

                                                                                                                                  ↳ QDP

                                                                                                                                    ↳ Rewriting

                                                                                                                                      ↳ QDP

                                                                                                                                        ↳ Rewriting

                                                                                                                                          ↳ QDP

                                                                                                                                            ↳ Rewriting

                                                                                                                                              ↳ QDP

                                                                                                                                                ↳ Rewriting

                                                                                                                                                  ↳ QDP

                                                                                                                                                    ↳ Rewriting

                                                                                                                                                      ↳ QDP

                                                                                                                                                        ↳ Rewriting

                                                                                                                                                          ↳ QDP

                                                                                                                                                            ↳ Rewriting

                                                                                                                                                              ↳ QDP

                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                  ↳ QDP

                                                                                                                                                                    ↳ Rewriting

                                                                                                                                                                      ↳ QDP

                                                                                                                                                                        ↳ Rewriting

                                                                                                                                                                          ↳ QDP

                                                                                                                                                                            ↳ Rewriting

                                                                                                                                                                              ↳ QDP

                                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                                  ↳ QDP

                                                                                                                                                                                    ↳ Rewriting

                                                                                                                                                                                      ↳ QDP

                                                                                                                                                                                        ↳ Rewriting

                                                                                                                                                                                          ↳ QDP

                                                                                                                                                                                            ↳ Rewriting

                                                                                                                                                                                              ↳ QDP

                                                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                                                  ↳ QDP

                                                                                                                                                                                                    ↳ Rewriting

                                                                                                                                                                                                      ↳ QDP

                                                                                                                                                                                                        ↳ Rewriting

                                                                                                                                                                                                          ↳ QDP

                                                                                                                                                                                                            ↳ Rewriting

                                                                                                                                                                                                              ↳ QDP

                                                                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                                                                  ↳ QDP

                                                                                                                                                                                                                    ↳ Rewriting

                                                                                                                                                                                                                      ↳ QDP

                                                                                                                                                                                                                        ↳ Rewriting

                                                                                                                                                                                                                          ↳ QDP

                                                                                                                                                                                                                            ↳ Rewriting

                                                                                                                                                                                                                              ↳ QDP

                                                                                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                                                                                  ↳ QDP

                                                                                                                                                                                                                                    ↳ Rewriting

                                                                                                                                                                                                                                      ↳ QDP

                                                                                                                                                                                                                                        ↳ Rewriting

                                                                                                                                                                                                                                          ↳ QDP

                                                                                                                                                                                                                                            ↳ Instantiation

                                                                                                                                                                                                                                              ↳ QDP

                                                                                                                                                                                                                                                ↳ Instantiation

                              ↳ QDP

                          ↳ Narrow

Q DP problem:
The TRS P consists of the following rules:

new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest200(vx350)
new_getLineGetRest20(vx16) → new_getLineGetRest
new_getLineGetRest → new_gtGtEs(new_getChar0)
new_gtGtEs(vx10) → new_getLineGetRest20(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero))))))))))
new_getLineGetRest20(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero)))))))))) → new_getLineGetRest200(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero))))))))))
new_getLineGetRest201 → new_getLineGetRest
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest201
new_getLineGetRest200(Zero) → new_getLineGetRest

The TRS R consists of the following rules:

new_getChar0 → new_getChar0

The set Q consists of the following terms:

new_getChar0

We have to consider all minimal (P,Q,R)-chains.
By instantiating [15] the rule new_getLineGetRest20(vx16) → new_getLineGetRest we obtained the following new rules:

new_getLineGetRest20(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero)))))))))) → new_getLineGetRest

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ IFR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

                ↳ HASKELL

                  ↳ LetRed

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                                ↳ DependencyGraphProof

                                  ↳ QDP

                                    ↳ Rewriting

                                      ↳ QDP

                                        ↳ Rewriting

                                          ↳ QDP

                                            ↳ Rewriting

                                              ↳ QDP

                                                ↳ Rewriting

                                                  ↳ QDP

                                                    ↳ Rewriting

                                                      ↳ QDP

                                                        ↳ Rewriting

                                                          ↳ QDP

                                                            ↳ Rewriting

                                                              ↳ QDP

                                                                ↳ Rewriting

                                                                  ↳ QDP

                                                                    ↳ Rewriting

                                                                      ↳ QDP

                                                                        ↳ Rewriting

                                                                          ↳ QDP

                                                                            ↳ Rewriting

                                                                              ↳ QDP

                                                                                ↳ Rewriting

                                                                                  ↳ QDP

                                                                                    ↳ Rewriting

                                                                                      ↳ QDP

                                                                                        ↳ Rewriting

                                                                                          ↳ QDP

                                                                                            ↳ Rewriting

                                                                                              ↳ QDP

                                                                                                ↳ Rewriting

                                                                                                  ↳ QDP

                                                                                                    ↳ Rewriting

                                                                                                      ↳ QDP

                                                                                                        ↳ Rewriting

                                                                                                          ↳ QDP

                                                                                                            ↳ Rewriting

                                                                                                              ↳ QDP

                                                                                                                ↳ Rewriting

                                                                                                                  ↳ QDP

                                                                                                                    ↳ Rewriting

                                                                                                                      ↳ QDP

                                                                                                                        ↳ Rewriting

                                                                                                                          ↳ QDP

                                                                                                                            ↳ Rewriting

                                                                                                                              ↳ QDP

                                                                                                                                ↳ Rewriting

                                                                                                                                  ↳ QDP

                                                                                                                                    ↳ Rewriting

                                                                                                                                      ↳ QDP

                                                                                                                                        ↳ Rewriting

                                                                                                                                          ↳ QDP

                                                                                                                                            ↳ Rewriting

                                                                                                                                              ↳ QDP

                                                                                                                                                ↳ Rewriting

                                                                                                                                                  ↳ QDP

                                                                                                                                                    ↳ Rewriting

                                                                                                                                                      ↳ QDP

                                                                                                                                                        ↳ Rewriting

                                                                                                                                                          ↳ QDP

                                                                                                                                                            ↳ Rewriting

                                                                                                                                                              ↳ QDP

                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                  ↳ QDP

                                                                                                                                                                    ↳ Rewriting

                                                                                                                                                                      ↳ QDP

                                                                                                                                                                        ↳ Rewriting

                                                                                                                                                                          ↳ QDP

                                                                                                                                                                            ↳ Rewriting

                                                                                                                                                                              ↳ QDP

                                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                                  ↳ QDP

                                                                                                                                                                                    ↳ Rewriting

                                                                                                                                                                                      ↳ QDP

                                                                                                                                                                                        ↳ Rewriting

                                                                                                                                                                                          ↳ QDP

                                                                                                                                                                                            ↳ Rewriting

                                                                                                                                                                                              ↳ QDP

                                                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                                                  ↳ QDP

                                                                                                                                                                                                    ↳ Rewriting

                                                                                                                                                                                                      ↳ QDP

                                                                                                                                                                                                        ↳ Rewriting

                                                                                                                                                                                                          ↳ QDP

                                                                                                                                                                                                            ↳ Rewriting

                                                                                                                                                                                                              ↳ QDP

                                                                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                                                                  ↳ QDP

                                                                                                                                                                                                                    ↳ Rewriting

                                                                                                                                                                                                                      ↳ QDP

                                                                                                                                                                                                                        ↳ Rewriting

                                                                                                                                                                                                                          ↳ QDP

                                                                                                                                                                                                                            ↳ Rewriting

                                                                                                                                                                                                                              ↳ QDP

                                                                                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                                                                                  ↳ QDP

                                                                                                                                                                                                                                    ↳ Rewriting

                                                                                                                                                                                                                                      ↳ QDP

                                                                                                                                                                                                                                        ↳ Rewriting

                                                                                                                                                                                                                                          ↳ QDP

                                                                                                                                                                                                                                            ↳ Instantiation

                                                                                                                                                                                                                                              ↳ QDP

                                                                                                                                                                                                                                                ↳ Instantiation

                                                                                                                                                                                                                                                  ↳ QDP

                                                                                                                                                                                                                                                    ↳ Narrowing

                              ↳ QDP

                          ↳ Narrow

Q DP problem:
The TRS P consists of the following rules:

new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest200(vx350)
new_getLineGetRest20(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero)))))))))) → new_getLineGetRest
new_gtGtEs(vx10) → new_getLineGetRest20(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero))))))))))
new_getLineGetRest → new_gtGtEs(new_getChar0)
new_getLineGetRest20(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero)))))))))) → new_getLineGetRest200(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero))))))))))
new_getLineGetRest201 → new_getLineGetRest
new_getLineGetRest200(Zero) → new_getLineGetRest
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest201

The TRS R consists of the following rules:

new_getChar0 → new_getChar0

The set Q consists of the following terms:

new_getChar0

We have to consider all minimal (P,Q,R)-chains.
By narrowing [15] the rule new_getLineGetRest → new_gtGtEs(new_getChar0) at position [0] we obtained the following new rules:

new_getLineGetRest → new_gtGtEs(new_getChar0)

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ IFR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

                ↳ HASKELL

                  ↳ LetRed

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                                ↳ DependencyGraphProof

                                  ↳ QDP

                                    ↳ Rewriting

                                      ↳ QDP

                                        ↳ Rewriting

                                          ↳ QDP

                                            ↳ Rewriting

                                              ↳ QDP

                                                ↳ Rewriting

                                                  ↳ QDP

                                                    ↳ Rewriting

                                                      ↳ QDP

                                                        ↳ Rewriting

                                                          ↳ QDP

                                                            ↳ Rewriting

                                                              ↳ QDP

                                                                ↳ Rewriting

                                                                  ↳ QDP

                                                                    ↳ Rewriting

                                                                      ↳ QDP

                                                                        ↳ Rewriting

                                                                          ↳ QDP

                                                                            ↳ Rewriting

                                                                              ↳ QDP

                                                                                ↳ Rewriting

                                                                                  ↳ QDP

                                                                                    ↳ Rewriting

                                                                                      ↳ QDP

                                                                                        ↳ Rewriting

                                                                                          ↳ QDP

                                                                                            ↳ Rewriting

                                                                                              ↳ QDP

                                                                                                ↳ Rewriting

                                                                                                  ↳ QDP

                                                                                                    ↳ Rewriting

                                                                                                      ↳ QDP

                                                                                                        ↳ Rewriting

                                                                                                          ↳ QDP

                                                                                                            ↳ Rewriting

                                                                                                              ↳ QDP

                                                                                                                ↳ Rewriting

                                                                                                                  ↳ QDP

                                                                                                                    ↳ Rewriting

                                                                                                                      ↳ QDP

                                                                                                                        ↳ Rewriting

                                                                                                                          ↳ QDP

                                                                                                                            ↳ Rewriting

                                                                                                                              ↳ QDP

                                                                                                                                ↳ Rewriting

                                                                                                                                  ↳ QDP

                                                                                                                                    ↳ Rewriting

                                                                                                                                      ↳ QDP

                                                                                                                                        ↳ Rewriting

                                                                                                                                          ↳ QDP

                                                                                                                                            ↳ Rewriting

                                                                                                                                              ↳ QDP

                                                                                                                                                ↳ Rewriting

                                                                                                                                                  ↳ QDP

                                                                                                                                                    ↳ Rewriting

                                                                                                                                                      ↳ QDP

                                                                                                                                                        ↳ Rewriting

                                                                                                                                                          ↳ QDP

                                                                                                                                                            ↳ Rewriting

                                                                                                                                                              ↳ QDP

                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                  ↳ QDP

                                                                                                                                                                    ↳ Rewriting

                                                                                                                                                                      ↳ QDP

                                                                                                                                                                        ↳ Rewriting

                                                                                                                                                                          ↳ QDP

                                                                                                                                                                            ↳ Rewriting

                                                                                                                                                                              ↳ QDP

                                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                                  ↳ QDP

                                                                                                                                                                                    ↳ Rewriting

                                                                                                                                                                                      ↳ QDP

                                                                                                                                                                                        ↳ Rewriting

                                                                                                                                                                                          ↳ QDP

                                                                                                                                                                                            ↳ Rewriting

                                                                                                                                                                                              ↳ QDP

                                                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                                                  ↳ QDP

                                                                                                                                                                                                    ↳ Rewriting

                                                                                                                                                                                                      ↳ QDP

                                                                                                                                                                                                        ↳ Rewriting

                                                                                                                                                                                                          ↳ QDP

                                                                                                                                                                                                            ↳ Rewriting

                                                                                                                                                                                                              ↳ QDP

                                                                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                                                                  ↳ QDP

                                                                                                                                                                                                                    ↳ Rewriting

                                                                                                                                                                                                                      ↳ QDP

                                                                                                                                                                                                                        ↳ Rewriting

                                                                                                                                                                                                                          ↳ QDP

                                                                                                                                                                                                                            ↳ Rewriting

                                                                                                                                                                                                                              ↳ QDP

                                                                                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                                                                                  ↳ QDP

                                                                                                                                                                                                                                    ↳ Rewriting

                                                                                                                                                                                                                                      ↳ QDP

                                                                                                                                                                                                                                        ↳ Rewriting

                                                                                                                                                                                                                                          ↳ QDP

                                                                                                                                                                                                                                            ↳ Instantiation

                                                                                                                                                                                                                                              ↳ QDP

                                                                                                                                                                                                                                                ↳ Instantiation

                                                                                                                                                                                                                                                  ↳ QDP

                                                                                                                                                                                                                                                    ↳ Narrowing

                                                                                                                                                                                                                                                      ↳ QDP

                                                                                                                                                                                                                                                        ↳ ForwardInstantiation

                              ↳ QDP

                          ↳ Narrow

Q DP problem:
The TRS P consists of the following rules:

new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest200(vx350)
new_getLineGetRest20(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero)))))))))) → new_getLineGetRest
new_getLineGetRest → new_gtGtEs(new_getChar0)
new_gtGtEs(vx10) → new_getLineGetRest20(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero))))))))))
new_getLineGetRest20(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero)))))))))) → new_getLineGetRest200(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero))))))))))
new_getLineGetRest201 → new_getLineGetRest
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest201
new_getLineGetRest200(Zero) → new_getLineGetRest

The TRS R consists of the following rules:

new_getChar0 → new_getChar0

The set Q consists of the following terms:

new_getChar0

We have to consider all minimal (P,Q,R)-chains.
By forward instantiating [14] the rule new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest200(vx350) we obtained the following new rules:

new_getLineGetRest200(Succ(Zero)) → new_getLineGetRest200(Zero)
new_getLineGetRest200(Succ(Succ(y_0))) → new_getLineGetRest200(Succ(y_0))

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ IFR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

                ↳ HASKELL

                  ↳ LetRed

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                                ↳ DependencyGraphProof

                                  ↳ QDP

                                    ↳ Rewriting

                                      ↳ QDP

                                        ↳ Rewriting

                                          ↳ QDP

                                            ↳ Rewriting

                                              ↳ QDP

                                                ↳ Rewriting

                                                  ↳ QDP

                                                    ↳ Rewriting

                                                      ↳ QDP

                                                        ↳ Rewriting

                                                          ↳ QDP

                                                            ↳ Rewriting

                                                              ↳ QDP

                                                                ↳ Rewriting

                                                                  ↳ QDP

                                                                    ↳ Rewriting

                                                                      ↳ QDP

                                                                        ↳ Rewriting

                                                                          ↳ QDP

                                                                            ↳ Rewriting

                                                                              ↳ QDP

                                                                                ↳ Rewriting

                                                                                  ↳ QDP

                                                                                    ↳ Rewriting

                                                                                      ↳ QDP

                                                                                        ↳ Rewriting

                                                                                          ↳ QDP

                                                                                            ↳ Rewriting

                                                                                              ↳ QDP

                                                                                                ↳ Rewriting

                                                                                                  ↳ QDP

                                                                                                    ↳ Rewriting

                                                                                                      ↳ QDP

                                                                                                        ↳ Rewriting

                                                                                                          ↳ QDP

                                                                                                            ↳ Rewriting

                                                                                                              ↳ QDP

                                                                                                                ↳ Rewriting

                                                                                                                  ↳ QDP

                                                                                                                    ↳ Rewriting

                                                                                                                      ↳ QDP

                                                                                                                        ↳ Rewriting

                                                                                                                          ↳ QDP

                                                                                                                            ↳ Rewriting

                                                                                                                              ↳ QDP

                                                                                                                                ↳ Rewriting

                                                                                                                                  ↳ QDP

                                                                                                                                    ↳ Rewriting

                                                                                                                                      ↳ QDP

                                                                                                                                        ↳ Rewriting

                                                                                                                                          ↳ QDP

                                                                                                                                            ↳ Rewriting

                                                                                                                                              ↳ QDP

                                                                                                                                                ↳ Rewriting

                                                                                                                                                  ↳ QDP

                                                                                                                                                    ↳ Rewriting

                                                                                                                                                      ↳ QDP

                                                                                                                                                        ↳ Rewriting

                                                                                                                                                          ↳ QDP

                                                                                                                                                            ↳ Rewriting

                                                                                                                                                              ↳ QDP

                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                  ↳ QDP

                                                                                                                                                                    ↳ Rewriting

                                                                                                                                                                      ↳ QDP

                                                                                                                                                                        ↳ Rewriting

                                                                                                                                                                          ↳ QDP

                                                                                                                                                                            ↳ Rewriting

                                                                                                                                                                              ↳ QDP

                                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                                  ↳ QDP

                                                                                                                                                                                    ↳ Rewriting

                                                                                                                                                                                      ↳ QDP

                                                                                                                                                                                        ↳ Rewriting

                                                                                                                                                                                          ↳ QDP

                                                                                                                                                                                            ↳ Rewriting

                                                                                                                                                                                              ↳ QDP

                                                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                                                  ↳ QDP

                                                                                                                                                                                                    ↳ Rewriting

                                                                                                                                                                                                      ↳ QDP

                                                                                                                                                                                                        ↳ Rewriting

                                                                                                                                                                                                          ↳ QDP

                                                                                                                                                                                                            ↳ Rewriting

                                                                                                                                                                                                              ↳ QDP

                                                                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                                                                  ↳ QDP

                                                                                                                                                                                                                    ↳ Rewriting

                                                                                                                                                                                                                      ↳ QDP

                                                                                                                                                                                                                        ↳ Rewriting

                                                                                                                                                                                                                          ↳ QDP

                                                                                                                                                                                                                            ↳ Rewriting

                                                                                                                                                                                                                              ↳ QDP

                                                                                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                                                                                  ↳ QDP

                                                                                                                                                                                                                                    ↳ Rewriting

                                                                                                                                                                                                                                      ↳ QDP

                                                                                                                                                                                                                                        ↳ Rewriting

                                                                                                                                                                                                                                          ↳ QDP

                                                                                                                                                                                                                                            ↳ Instantiation

                                                                                                                                                                                                                                              ↳ QDP

                                                                                                                                                                                                                                                ↳ Instantiation

                                                                                                                                                                                                                                                  ↳ QDP

                                                                                                                                                                                                                                                    ↳ Narrowing

                                                                                                                                                                                                                                                      ↳ QDP

                                                                                                                                                                                                                                                        ↳ ForwardInstantiation

                                                                                                                                                                                                                                                          ↳ QDP

                                                                                                                                                                                                                                                            ↳ MNOCProof

                              ↳ QDP

                          ↳ Narrow

Q DP problem:
The TRS P consists of the following rules:

new_getLineGetRest200(Succ(Succ(y_0))) → new_getLineGetRest200(Succ(y_0))
new_getLineGetRest200(Succ(Zero)) → new_getLineGetRest200(Zero)
new_getLineGetRest20(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero)))))))))) → new_getLineGetRest
new_gtGtEs(vx10) → new_getLineGetRest20(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero))))))))))
new_getLineGetRest → new_gtGtEs(new_getChar0)
new_getLineGetRest20(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero)))))))))) → new_getLineGetRest200(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero))))))))))
new_getLineGetRest201 → new_getLineGetRest
new_getLineGetRest200(Zero) → new_getLineGetRest
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest201

The TRS R consists of the following rules:

new_getChar0 → new_getChar0

The set Q consists of the following terms:

new_getChar0

We have to consider all minimal (P,Q,R)-chains.
We use the modular non-overlap check [17] to decrease Q to the empty set.

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ IFR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

                ↳ HASKELL

                  ↳ LetRed

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                                ↳ DependencyGraphProof

                                  ↳ QDP

                                    ↳ Rewriting

                                      ↳ QDP

                                        ↳ Rewriting

                                          ↳ QDP

                                            ↳ Rewriting

                                              ↳ QDP

                                                ↳ Rewriting

                                                  ↳ QDP

                                                    ↳ Rewriting

                                                      ↳ QDP

                                                        ↳ Rewriting

                                                          ↳ QDP

                                                            ↳ Rewriting

                                                              ↳ QDP

                                                                ↳ Rewriting

                                                                  ↳ QDP

                                                                    ↳ Rewriting

                                                                      ↳ QDP

                                                                        ↳ Rewriting

                                                                          ↳ QDP

                                                                            ↳ Rewriting

                                                                              ↳ QDP

                                                                                ↳ Rewriting

                                                                                  ↳ QDP

                                                                                    ↳ Rewriting

                                                                                      ↳ QDP

                                                                                        ↳ Rewriting

                                                                                          ↳ QDP

                                                                                            ↳ Rewriting

                                                                                              ↳ QDP

                                                                                                ↳ Rewriting

                                                                                                  ↳ QDP

                                                                                                    ↳ Rewriting

                                                                                                      ↳ QDP

                                                                                                        ↳ Rewriting

                                                                                                          ↳ QDP

                                                                                                            ↳ Rewriting

                                                                                                              ↳ QDP

                                                                                                                ↳ Rewriting

                                                                                                                  ↳ QDP

                                                                                                                    ↳ Rewriting

                                                                                                                      ↳ QDP

                                                                                                                        ↳ Rewriting

                                                                                                                          ↳ QDP

                                                                                                                            ↳ Rewriting

                                                                                                                              ↳ QDP

                                                                                                                                ↳ Rewriting

                                                                                                                                  ↳ QDP

                                                                                                                                    ↳ Rewriting

                                                                                                                                      ↳ QDP

                                                                                                                                        ↳ Rewriting

                                                                                                                                          ↳ QDP

                                                                                                                                            ↳ Rewriting

                                                                                                                                              ↳ QDP

                                                                                                                                                ↳ Rewriting

                                                                                                                                                  ↳ QDP

                                                                                                                                                    ↳ Rewriting

                                                                                                                                                      ↳ QDP

                                                                                                                                                        ↳ Rewriting

                                                                                                                                                          ↳ QDP

                                                                                                                                                            ↳ Rewriting

                                                                                                                                                              ↳ QDP

                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                  ↳ QDP

                                                                                                                                                                    ↳ Rewriting

                                                                                                                                                                      ↳ QDP

                                                                                                                                                                        ↳ Rewriting

                                                                                                                                                                          ↳ QDP

                                                                                                                                                                            ↳ Rewriting

                                                                                                                                                                              ↳ QDP

                                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                                  ↳ QDP

                                                                                                                                                                                    ↳ Rewriting

                                                                                                                                                                                      ↳ QDP

                                                                                                                                                                                        ↳ Rewriting

                                                                                                                                                                                          ↳ QDP

                                                                                                                                                                                            ↳ Rewriting

                                                                                                                                                                                              ↳ QDP

                                                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                                                  ↳ QDP

                                                                                                                                                                                                    ↳ Rewriting

                                                                                                                                                                                                      ↳ QDP

                                                                                                                                                                                                        ↳ Rewriting

                                                                                                                                                                                                          ↳ QDP

                                                                                                                                                                                                            ↳ Rewriting

                                                                                                                                                                                                              ↳ QDP

                                                                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                                                                  ↳ QDP

                                                                                                                                                                                                                    ↳ Rewriting

                                                                                                                                                                                                                      ↳ QDP

                                                                                                                                                                                                                        ↳ Rewriting

                                                                                                                                                                                                                          ↳ QDP

                                                                                                                                                                                                                            ↳ Rewriting

                                                                                                                                                                                                                              ↳ QDP

                                                                                                                                                                                                                                ↳ Rewriting

                                                                                                                                                                                                                                  ↳ QDP

                                                                                                                                                                                                                                    ↳ Rewriting

                                                                                                                                                                                                                                      ↳ QDP

                                                                                                                                                                                                                                        ↳ Rewriting

                                                                                                                                                                                                                                          ↳ QDP

                                                                                                                                                                                                                                            ↳ Instantiation

                                                                                                                                                                                                                                              ↳ QDP

                                                                                                                                                                                                                                                ↳ Instantiation

                                                                                                                                                                                                                                                  ↳ QDP

                                                                                                                                                                                                                                                    ↳ Narrowing

                                                                                                                                                                                                                                                      ↳ QDP

                                                                                                                                                                                                                                                        ↳ ForwardInstantiation

                                                                                                                                                                                                                                                          ↳ QDP

                                                                                                                                                                                                                                                            ↳ MNOCProof

                                                                                                                                                                                                                                                              ↳ QDP

                                                                                                                                                                                                                                                                ↳ NonTerminationProof

                              ↳ QDP

                          ↳ Narrow

Q DP problem:
The TRS P consists of the following rules:

new_getLineGetRest200(Succ(Zero)) → new_getLineGetRest200(Zero)
new_getLineGetRest200(Succ(Succ(y_0))) → new_getLineGetRest200(Succ(y_0))
new_getLineGetRest20(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero)))))))))) → new_getLineGetRest
new_getLineGetRest → new_gtGtEs(new_getChar0)
new_gtGtEs(vx10) → new_getLineGetRest20(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero))))))))))
new_getLineGetRest20(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero)))))))))) → new_getLineGetRest200(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero))))))))))
new_getLineGetRest201 → new_getLineGetRest
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest201
new_getLineGetRest200(Zero) → new_getLineGetRest

The TRS R consists of the following rules:

new_getChar0 → new_getChar0

Q is empty.
We have to consider all (P,Q,R)-chains.
We used the non-termination processor [17] to show that the DP problem is infinite.
Found a loop by narrowing to the left:

The TRS P consists of the following rules:

new_getLineGetRest200(Succ(Zero)) → new_getLineGetRest200(Zero)
new_getLineGetRest200(Succ(Succ(y_0))) → new_getLineGetRest200(Succ(y_0))
new_getLineGetRest20(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero)))))))))) → new_getLineGetRest
new_getLineGetRest → new_gtGtEs(new_getChar0)
new_gtGtEs(vx10) → new_getLineGetRest20(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero))))))))))
new_getLineGetRest20(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero)))))))))) → new_getLineGetRest200(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero))))))))))
new_getLineGetRest201 → new_getLineGetRest
new_getLineGetRest200(Succ(vx350)) → new_getLineGetRest201
new_getLineGetRest200(Zero) → new_getLineGetRest

The TRS R consists of the following rules:

new_getChar0 → new_getChar0

s = new_getLineGetRest evaluates to t =new_getLineGetRest

Thus s starts an infinite chain as s semiunifies with t with the following substitutions:

Semiunifier: [ ]
Matcher: [ ]

Rewriting sequence

new_getLineGetRest → new_gtGtEs(new_getChar0)
with rule new_getLineGetRest → new_gtGtEs(new_getChar0) at position [] and matcher [ ]

new_gtGtEs(new_getChar0) → new_getLineGetRest20(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero))))))))))
with rule new_gtGtEs(vx10) → new_getLineGetRest20(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero)))))))))) at position [] and matcher [vx10 / new_getChar0]

new_getLineGetRest20(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero)))))))))) → new_getLineGetRest
with rule new_getLineGetRest20(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Succ(Zero)))))))))) → new_getLineGetRest

Now applying the matcher to the start term leads to a term which is equal to the last term in the rewriting sequence

All these steps are and every following step will be a correct step w.r.t to Q.

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ IFR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

                ↳ HASKELL

                  ↳ LetRed

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                                ↳ QDPSizeChangeProof

                          ↳ Narrow

Q DP problem:
The TRS P consists of the following rules:

new_getLineGetLine10(vx24, Succ(vx250), Succ(vx260)) → new_getLineGetLine10(vx24, vx250, vx260)

R is empty.
Q is empty.
We have to consider all minimal (P,Q,R)-chains.
By using the subterm criterion [20] together with the size-change analysis [32] 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_getLineGetLine10(vx24, Succ(vx250), Succ(vx260)) → new_getLineGetLine10(vx24, vx250, vx260)
The graph contains the following edges 1 >= 1, 2 > 2, 3 > 3

Haskell To QDPs

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ IFR

        ↳ HASKELL

          ↳ BR

            ↳ HASKELL

              ↳ COR

                ↳ HASKELL

                  ↳ LetRed

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                          ↳ Narrow

                            ↳ QDP

                              ↳ NonTerminationProof

Q DP problem:
The TRS P consists of the following rules:

new_getChar([]) → new_getChar([])

R is empty.
Q is empty.
We have to consider all (P,Q,R)-chains.
We used the non-termination processor [17] to show that the DP problem is infinite.
Found a loop by semiunifying a rule from P directly.

The TRS P consists of the following rules:

new_getChar([]) → new_getChar([])

The TRS R consists of the following rules:none

s = new_getChar([]) evaluates to t =new_getChar([])

Thus s starts an infinite chain as s semiunifies with t with the following substitutions:

Semiunifier: [ ]
Matcher: [ ]

Rewriting sequence

The DP semiunifies directly so there is only one rewrite step from new_getChar([]) to new_getChar([]).

getRest20	c True	= return []
getRest20	c False	= getRest >>= getRest1 c

getLine10	c True	= return []
getLine10	c False	= getRest >>= getLine0 c

getLineGetRest20	c True	= return []
getLineGetRest20	c False	= getLineGetRest >>= getLineGetRest1 c

getLineGetLine10	c True	= return []
getLineGetLine10	c False	= getLineGetRest >>= getLineGetLine0 c

getLineGetRest00	ex True	= return '\10'
getLineGetRest00	ex False	= ioError ex