{-# LANGUAGE DeriveDataTypeable, ScopedTypeVariables #-} module Curry.DebugModule.ReadShowTerm where import qualified Prelude import qualified Curry.Debugger.DebugMonad as DM import qualified Curry.Debugger.DebugInfo as DI import qualified Curry.Debugger.PartCalls as PC import qualified Data.Generics import qualified Curry.DebugModule.Char import qualified Curry.DebugModule.Prelude strict_prim_showTerm :: (DM.DM dm, DI.GenTerm a) => a -> dm (Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char) strict_prim_showTerm x0 = hook_strict_prim_showTerm x0 (Prelude.error "not implemented") strict_prim_showQTerm :: (DM.DM dm, DI.GenTerm a) => a -> dm (Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char) strict_prim_showQTerm x0 = hook_strict_prim_showQTerm x0 (Prelude.error "not implemented") strict_prim_readsUnqualifiedTerm :: (DM.DM dm, DI.GenTerm a) => Curry.DebugModule.Prelude.List (Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char) -> Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char -> dm (Curry.DebugModule.Prelude.List (Curry.DebugModule.Prelude.Tuple2 a (Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char))) strict_prim_readsUnqualifiedTerm x0 x1 = hook_strict_prim_readsUnqualifiedTerm x0 x1 (Prelude.error "not implemented") strict_prim_readsQTerm :: (DM.DM dm, DI.GenTerm a) => Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char -> dm (Curry.DebugModule.Prelude.List (Curry.DebugModule.Prelude.Tuple2 a (Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char))) strict_prim_readsQTerm x0 = hook_strict_prim_readsQTerm x0 (Prelude.error "not implemented") strict_showTerm :: (DM.DM dm, DI.GenTerm a) => a -> dm (Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char) strict_showTerm x1 = DM.eval (DM.funcDeclHook "showTerm" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x1])) (do x2 <- Prelude.return (PC.partCall1 (term_strict_prim_showTerm []) strict_prim_showTerm) x3 <- Prelude.return x1 DM.funcCallHook "$##" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x2, DI.genTerm x3])) (Curry.DebugModule.Prelude.op_DollarRhombRhomb x2 x3))) term_strict_showTerm x1 = DI.Term "showTerm" (DI.SrcID "ReadShowTerm" 0) x1 strict_showQTerm :: (DM.DM dm, DI.GenTerm a) => a -> dm (Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char) strict_showQTerm x1 = DM.eval (DM.funcDeclHook "showQTerm" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x1])) (do x2 <- Prelude.return (PC.partCall1 (term_strict_prim_showQTerm []) strict_prim_showQTerm) x3 <- Prelude.return x1 DM.funcCallHook "$##" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x2, DI.genTerm x3])) (Curry.DebugModule.Prelude.op_DollarRhombRhomb x2 x3))) term_strict_showQTerm x1 = DI.Term "showQTerm" (DI.SrcID "ReadShowTerm" 0) x1 strict_readsUnqualifiedTerm :: (DM.DM dm, DI.GenTerm a) => Curry.DebugModule.Prelude.List (Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char) -> Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char -> dm (Curry.DebugModule.Prelude.List (Curry.DebugModule.Prelude.Tuple2 a (Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char))) strict_readsUnqualifiedTerm x1 x2 = DM.eval (DM.funcDeclHook "readsUnqualifiedTerm" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x1, DI.genTerm x2])) (do x3 <- Prelude.return x2 x4 <- Prelude.return x1 DM.funcCallHook "_case_12" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x3, DI.genTerm x4])) (strict__case_12 x3 x4))) term_strict_readsUnqualifiedTerm x1 = DI.Term "readsUnqualifiedTerm" (DI.SrcID "ReadShowTerm" 0) x1 strict_readsUnqualifiedTermWithPrefixes :: (DM.DM dm, DI.GenTerm a) => Curry.DebugModule.Prelude.List (Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char) -> Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char -> dm (Curry.DebugModule.Prelude.List (Curry.DebugModule.Prelude.Tuple2 a (Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char))) strict_readsUnqualifiedTermWithPrefixes x1 x2 = DM.eval (DM.funcDeclHook "readsUnqualifiedTermWithPrefixes" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x1, DI.genTerm x2])) (do x5 <- do x3 <- Prelude.return (PC.partCall2 (term_strict_prim_readsUnqualifiedTerm []) strict_prim_readsUnqualifiedTerm) x4 <- Prelude.return x1 DM.funcCallHook "$##" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x3, DI.genTerm x4])) (Curry.DebugModule.Prelude.op_DollarRhombRhomb x3 x4) x6 <- Prelude.return x2 DM.funcCallHook "$##" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x5, DI.genTerm x6])) (Curry.DebugModule.Prelude.op_DollarRhombRhomb x5 x6))) term_strict_readsUnqualifiedTermWithPrefixes x1 = DI.Term "readsUnqualifiedTermWithPrefixes" (DI.SrcID "ReadShowTerm" 0) x1 strict_readUnqualifiedTerm :: (DM.DM dm, DI.GenTerm a) => Curry.DebugModule.Prelude.List (Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char) -> Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char -> dm a strict_readUnqualifiedTerm x1 x2 = DM.eval (DM.funcDeclHook "readUnqualifiedTerm" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x1, DI.genTerm x2])) (do x5 <- Prelude.return x1 x6 <- Prelude.return x2 x7 <- do x3 <- Prelude.return x1 x4 <- Prelude.return x2 DM.funcCallHook "readsUnqualifiedTerm" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x3, DI.genTerm x4])) (strict_readsUnqualifiedTerm x3 x4) DM.funcCallHook "_case_11" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x5, DI.genTerm x6, DI.genTerm x7])) (strict__case_11 x5 x6 x7))) term_strict_readUnqualifiedTerm x1 = DI.Term "readUnqualifiedTerm" (DI.SrcID "ReadShowTerm" 0) x1 strict_readsTerm :: (DM.DM dm, DI.GenTerm a) => Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char -> dm (Curry.DebugModule.Prelude.List (Curry.DebugModule.Prelude.Tuple2 a (Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char))) strict_readsTerm x1 = DM.eval (DM.funcDeclHook "readsTerm" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x1])) (do x3 <- do x2 <- DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return Curry.DebugModule.Prelude.Nil) Prelude.return (PC.partCall1 (term_strict_prim_readsUnqualifiedTerm [DI.genTerm x2]) (strict_prim_readsUnqualifiedTerm x2)) x4 <- Prelude.return x1 DM.funcCallHook "$##" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x3, DI.genTerm x4])) (Curry.DebugModule.Prelude.op_DollarRhombRhomb x3 x4))) term_strict_readsTerm x1 = DI.Term "readsTerm" (DI.SrcID "ReadShowTerm" 0) x1 strict_readTerm :: (DM.DM dm, DI.GenTerm a) => Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char -> dm a strict_readTerm x1 = DM.eval (DM.funcDeclHook "readTerm" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x1])) (DM.letHook (DI.DebugInfo (DI.SrcID "DummyModule" 42) (DI.DynamicInfo [] [])) (do x2 <- do x4 <- do x3 <- DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return Curry.DebugModule.Prelude.Nil) Prelude.return (PC.partCall1 (term_strict_prim_readsUnqualifiedTerm [DI.genTerm x3]) (strict_prim_readsUnqualifiedTerm x3)) x5 <- Prelude.return x1 DM.funcCallHook "$##" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x4, DI.genTerm x5])) (Curry.DebugModule.Prelude.op_DollarRhombRhomb x4 x5) DM.eval (do x6 <- Prelude.return x1 x7 <- Prelude.return x2 DM.funcCallHook "_case_7" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x6, DI.genTerm x7])) (strict__case_7 x6 x7))))) term_strict_readTerm x1 = DI.Term "readTerm" (DI.SrcID "ReadShowTerm" 0) x1 strict_readsQTerm :: (DM.DM dm, DI.GenTerm a) => Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char -> dm (Curry.DebugModule.Prelude.List (Curry.DebugModule.Prelude.Tuple2 a (Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char))) strict_readsQTerm x1 = DM.eval (DM.funcDeclHook "readsQTerm" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x1])) (do x2 <- Prelude.return (PC.partCall1 (term_strict_prim_readsQTerm []) strict_prim_readsQTerm) x3 <- Prelude.return x1 DM.funcCallHook "$##" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x2, DI.genTerm x3])) (Curry.DebugModule.Prelude.op_DollarRhombRhomb x2 x3))) term_strict_readsQTerm x1 = DI.Term "readsQTerm" (DI.SrcID "ReadShowTerm" 0) x1 strict_readQTerm :: (DM.DM dm, DI.GenTerm a) => Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char -> dm a strict_readQTerm x1 = DM.eval (DM.funcDeclHook "readQTerm" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x1])) (DM.letHook (DI.DebugInfo (DI.SrcID "DummyModule" 42) (DI.DynamicInfo [] [])) (do x2 <- do x3 <- Prelude.return x1 DM.funcCallHook "readsQTerm" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x3])) (strict_readsQTerm x3) DM.eval (do x4 <- Prelude.return x2 DM.funcCallHook "_case_3" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x4])) (strict__case_3 x4))))) term_strict_readQTerm x1 = DI.Term "readQTerm" (DI.SrcID "ReadShowTerm" 0) x1 strict_readQTermFile :: (DM.DM dm, DI.GenTerm a) => Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char -> dm (Curry.DebugModule.Prelude.IO dm a) strict_readQTermFile x1 = DM.eval (DM.funcDeclHook "readQTermFile" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x1])) (do x5 <- do x2 <- Prelude.return x1 DM.funcCallHook "readFile" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x2])) (Curry.DebugModule.Prelude.strict_readFile x2) x6 <- do x3 <- Prelude.return (PC.partCall1 (Curry.DebugModule.Prelude.term_strict_return []) Curry.DebugModule.Prelude.strict_return) x4 <- Prelude.return (PC.partCall1 (term_strict_readQTerm []) strict_readQTerm) DM.funcCallHook "." (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x3, DI.genTerm x4])) (Curry.DebugModule.Prelude.op_Point x3 x4) DM.funcCallHook ">>=" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x5, DI.genTerm x6])) (Curry.DebugModule.Prelude.op_GtGtEq x5 x6))) term_strict_readQTermFile x1 = DI.Term "readQTermFile" (DI.SrcID "ReadShowTerm" 0) x1 strict_readQTermListFile :: (DM.DM dm, DI.GenTerm a) => Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char -> dm (Curry.DebugModule.Prelude.IO dm (Curry.DebugModule.Prelude.List a)) strict_readQTermListFile x1 = DM.eval (DM.funcDeclHook "readQTermListFile" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x1])) (do x8 <- do x2 <- Prelude.return x1 DM.funcCallHook "readFile" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x2])) (Curry.DebugModule.Prelude.strict_readFile x2) x9 <- do x6 <- Prelude.return (PC.partCall1 (Curry.DebugModule.Prelude.term_strict_return []) Curry.DebugModule.Prelude.strict_return) x7 <- do x4 <- do x3 <- Prelude.return (PC.partCall1 (term_strict_readQTerm []) strict_readQTerm) Prelude.return (PC.partCall1 (Curry.DebugModule.Prelude.term_strict_map [DI.genTerm x3]) (Curry.DebugModule.Prelude.strict_map x3)) x5 <- Prelude.return (PC.partCall1 (Curry.DebugModule.Prelude.term_strict_lines []) Curry.DebugModule.Prelude.strict_lines) DM.funcCallHook "." (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x4, DI.genTerm x5])) (Curry.DebugModule.Prelude.op_Point x4 x5) DM.funcCallHook "." (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x6, DI.genTerm x7])) (Curry.DebugModule.Prelude.op_Point x6 x7) DM.funcCallHook ">>=" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x8, DI.genTerm x9])) (Curry.DebugModule.Prelude.op_GtGtEq x8 x9))) term_strict_readQTermListFile x1 = DI.Term "readQTermListFile" (DI.SrcID "ReadShowTerm" 0) x1 strict_writeQTermFile :: (DM.DM dm, DI.GenTerm a) => Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char -> a -> dm (Curry.DebugModule.Prelude.IO dm Curry.DebugModule.Prelude.Unit) strict_writeQTermFile x1 x2 = DM.eval (DM.funcDeclHook "writeQTermFile" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x1, DI.genTerm x2])) (do x4 <- Prelude.return x1 x5 <- do x3 <- Prelude.return x2 DM.funcCallHook "showQTerm" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x3])) (strict_showQTerm x3) DM.funcCallHook "writeFile" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x4, DI.genTerm x5])) (Curry.DebugModule.Prelude.strict_writeFile x4 x5))) term_strict_writeQTermFile x1 = DI.Term "writeQTermFile" (DI.SrcID "ReadShowTerm" 0) x1 strict_writeQTermListFile :: (DM.DM dm, DI.GenTerm a) => Curry.DebugModule.Prelude.List Curry.DebugModule.Prelude.Char -> Curry.DebugModule.Prelude.List a -> dm (Curry.DebugModule.Prelude.IO dm Curry.DebugModule.Prelude.Unit) strict_writeQTermListFile x1 x2 = DM.eval (DM.funcDeclHook "writeQTermListFile" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x1, DI.genTerm x2])) (do x6 <- Prelude.return x1 x7 <- do x5 <- do x3 <- Prelude.return (PC.partCall1 (term_strict_showQTerm []) strict_showQTerm) x4 <- Prelude.return x2 DM.funcCallHook "map" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x3, DI.genTerm x4])) (Curry.DebugModule.Prelude.strict_map x3 x4) DM.funcCallHook "unlines" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x5])) (Curry.DebugModule.Prelude.strict_unlines x5) DM.funcCallHook "writeFile" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x6, DI.genTerm x7])) (Curry.DebugModule.Prelude.strict_writeFile x6 x7))) term_strict_writeQTermListFile x1 = DI.Term "writeQTermListFile" (DI.SrcID "ReadShowTerm" 0) x1 strict__case_3 x2 = DM.eval (DM.funcDeclHook "_case_3" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x2])) (do x72 <- Prelude.return x2 DM.caseHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x72])) (case x72 of Curry.DebugModule.Prelude.Cons x3 x4 -> DM.branchHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (DM.eval (do x5 <- Prelude.return x4 x6 <- Prelude.return x3 DM.funcCallHook "_case_2" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x5, DI.genTerm x6])) (strict__case_2 x5 x6))) Curry.DebugModule.Prelude.Nil -> DM.branchHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (DM.eval (do x71 <- do x69 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'R')) x70 <- do x67 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'e')) x68 <- do x65 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'a')) x66 <- do x63 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'd')) x64 <- do x61 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'S')) x62 <- do x59 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'h')) x60 <- do x57 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'o')) x58 <- do x55 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'w')) x56 <- do x53 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'T')) x54 <- do x51 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'e')) x52 <- do x49 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'r')) x50 <- do x47 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'm')) x48 <- do x45 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char '.')) x46 <- do x43 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'r')) x44 <- do x41 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'e')) x42 <- do x39 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'a')) x40 <- do x37 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'd')) x38 <- do x35 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'Q')) x36 <- do x33 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'T')) x34 <- do x31 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'e')) x32 <- do x29 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'r')) x30 <- do x27 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'm')) x28 <- do x25 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char ':')) x26 <- do x23 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char ' ')) x24 <- do x21 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'n')) x22 <- do x19 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'o')) x20 <- do x17 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char ' ')) x18 <- do x15 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'p')) x16 <- do x13 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'a')) x14 <- do x11 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'r')) x12 <- do x9 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 's')) x10 <- do x7 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'e')) x8 <- DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return Curry.DebugModule.Prelude.Nil) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x7, DI.genTerm x8])) (Prelude.return (Curry.DebugModule.Prelude.Cons x7 x8)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x9, DI.genTerm x10])) (Prelude.return (Curry.DebugModule.Prelude.Cons x9 x10)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x11, DI.genTerm x12])) (Prelude.return (Curry.DebugModule.Prelude.Cons x11 x12)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x13, DI.genTerm x14])) (Prelude.return (Curry.DebugModule.Prelude.Cons x13 x14)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x15, DI.genTerm x16])) (Prelude.return (Curry.DebugModule.Prelude.Cons x15 x16)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x17, DI.genTerm x18])) (Prelude.return (Curry.DebugModule.Prelude.Cons x17 x18)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x19, DI.genTerm x20])) (Prelude.return (Curry.DebugModule.Prelude.Cons x19 x20)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x21, DI.genTerm x22])) (Prelude.return (Curry.DebugModule.Prelude.Cons x21 x22)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x23, DI.genTerm x24])) (Prelude.return (Curry.DebugModule.Prelude.Cons x23 x24)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x25, DI.genTerm x26])) (Prelude.return (Curry.DebugModule.Prelude.Cons x25 x26)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x27, DI.genTerm x28])) (Prelude.return (Curry.DebugModule.Prelude.Cons x27 x28)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x29, DI.genTerm x30])) (Prelude.return (Curry.DebugModule.Prelude.Cons x29 x30)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x31, DI.genTerm x32])) (Prelude.return (Curry.DebugModule.Prelude.Cons x31 x32)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x33, DI.genTerm x34])) (Prelude.return (Curry.DebugModule.Prelude.Cons x33 x34)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x35, DI.genTerm x36])) (Prelude.return (Curry.DebugModule.Prelude.Cons x35 x36)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x37, DI.genTerm x38])) (Prelude.return (Curry.DebugModule.Prelude.Cons x37 x38)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x39, DI.genTerm x40])) (Prelude.return (Curry.DebugModule.Prelude.Cons x39 x40)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x41, DI.genTerm x42])) (Prelude.return (Curry.DebugModule.Prelude.Cons x41 x42)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x43, DI.genTerm x44])) (Prelude.return (Curry.DebugModule.Prelude.Cons x43 x44)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x45, DI.genTerm x46])) (Prelude.return (Curry.DebugModule.Prelude.Cons x45 x46)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x47, DI.genTerm x48])) (Prelude.return (Curry.DebugModule.Prelude.Cons x47 x48)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x49, DI.genTerm x50])) (Prelude.return (Curry.DebugModule.Prelude.Cons x49 x50)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x51, DI.genTerm x52])) (Prelude.return (Curry.DebugModule.Prelude.Cons x51 x52)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x53, DI.genTerm x54])) (Prelude.return (Curry.DebugModule.Prelude.Cons x53 x54)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x55, DI.genTerm x56])) (Prelude.return (Curry.DebugModule.Prelude.Cons x55 x56)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x57, DI.genTerm x58])) (Prelude.return (Curry.DebugModule.Prelude.Cons x57 x58)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x59, DI.genTerm x60])) (Prelude.return (Curry.DebugModule.Prelude.Cons x59 x60)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x61, DI.genTerm x62])) (Prelude.return (Curry.DebugModule.Prelude.Cons x61 x62)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x63, DI.genTerm x64])) (Prelude.return (Curry.DebugModule.Prelude.Cons x63 x64)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x65, DI.genTerm x66])) (Prelude.return (Curry.DebugModule.Prelude.Cons x65 x66)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x67, DI.genTerm x68])) (Prelude.return (Curry.DebugModule.Prelude.Cons x67 x68)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x69, DI.genTerm x70])) (Prelude.return (Curry.DebugModule.Prelude.Cons x69 x70)) DM.funcCallHook "error" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x71])) (Curry.DebugModule.Prelude.strict_error x71))) _ -> DM.treatCase (DM.nepCaseHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x72]))) strict__case_3 x72))) term_strict__case_3 x1 = DI.Term "_case_3" (DI.SrcID "ReadShowTerm" 0) x1 strict__case_2 x4 x3 = DM.eval (DM.funcDeclHook "_case_2" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x4, DI.genTerm x3])) (do x10 <- Prelude.return x3 DM.caseHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x10])) (case x10 of Curry.DebugModule.Prelude.Tuple2 x5 x6 -> DM.branchHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (DM.eval (do x7 <- Prelude.return x5 x8 <- Prelude.return x6 x9 <- Prelude.return x4 DM.funcCallHook "_case_1" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x7, DI.genTerm x8, DI.genTerm x9])) (strict__case_1 x7 x8 x9))) _ -> DM.treatCase (DM.nepCaseHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x10]))) (strict__case_2 x4) x10))) term_strict__case_2 x1 = DI.Term "_case_2" (DI.SrcID "ReadShowTerm" 0) x1 strict__case_1 x5 x6 x4 = DM.eval (DM.funcDeclHook "_case_1" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x5, DI.genTerm x6, DI.genTerm x4])) (do x94 <- Prelude.return x4 DM.caseHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x94])) (case x94 of Curry.DebugModule.Prelude.Nil -> DM.branchHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (DM.eval (do x12 <- Prelude.return x5 x13 <- Prelude.return x6 x14 <- do x10 <- do x9 <- Prelude.return (PC.partCall1 (Curry.DebugModule.Char.term_strict_isSpace []) Curry.DebugModule.Char.strict_isSpace) DM.funcCallHook "all" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x9])) (Curry.DebugModule.Prelude.strict_all x9) x11 <- Prelude.return x6 DM.funcCallHook "apply" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x10, DI.genTerm x11])) (Curry.DebugModule.Prelude.strict_apply x10 x11) DM.funcCallHook "_case_0" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x12, DI.genTerm x13, DI.genTerm x14])) (strict__case_0 x12 x13 x14))) Curry.DebugModule.Prelude.Cons x7 x8 -> DM.branchHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (DM.eval (do x93 <- do x91 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'R')) x92 <- do x89 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'e')) x90 <- do x87 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'a')) x88 <- do x85 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'd')) x86 <- do x83 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'S')) x84 <- do x81 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'h')) x82 <- do x79 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'o')) x80 <- do x77 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'w')) x78 <- do x75 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'T')) x76 <- do x73 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'e')) x74 <- do x71 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'r')) x72 <- do x69 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'm')) x70 <- do x67 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char '.')) x68 <- do x65 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'r')) x66 <- do x63 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'e')) x64 <- do x61 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'a')) x62 <- do x59 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'd')) x60 <- do x57 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'Q')) x58 <- do x55 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'T')) x56 <- do x53 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'e')) x54 <- do x51 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'r')) x52 <- do x49 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'm')) x50 <- do x47 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char ':')) x48 <- do x45 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char ' ')) x46 <- do x43 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'a')) x44 <- do x41 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'm')) x42 <- do x39 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'b')) x40 <- do x37 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'i')) x38 <- do x35 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'g')) x36 <- do x33 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'u')) x34 <- do x31 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'o')) x32 <- do x29 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'u')) x30 <- do x27 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 's')) x28 <- do x25 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char ' ')) x26 <- do x23 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'p')) x24 <- do x21 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'a')) x22 <- do x19 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'r')) x20 <- do x17 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 's')) x18 <- do x15 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'e')) x16 <- DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return Curry.DebugModule.Prelude.Nil) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x15, DI.genTerm x16])) (Prelude.return (Curry.DebugModule.Prelude.Cons x15 x16)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x17, DI.genTerm x18])) (Prelude.return (Curry.DebugModule.Prelude.Cons x17 x18)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x19, DI.genTerm x20])) (Prelude.return (Curry.DebugModule.Prelude.Cons x19 x20)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x21, DI.genTerm x22])) (Prelude.return (Curry.DebugModule.Prelude.Cons x21 x22)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x23, DI.genTerm x24])) (Prelude.return (Curry.DebugModule.Prelude.Cons x23 x24)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x25, DI.genTerm x26])) (Prelude.return (Curry.DebugModule.Prelude.Cons x25 x26)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x27, DI.genTerm x28])) (Prelude.return (Curry.DebugModule.Prelude.Cons x27 x28)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x29, DI.genTerm x30])) (Prelude.return (Curry.DebugModule.Prelude.Cons x29 x30)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x31, DI.genTerm x32])) (Prelude.return (Curry.DebugModule.Prelude.Cons x31 x32)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x33, DI.genTerm x34])) (Prelude.return (Curry.DebugModule.Prelude.Cons x33 x34)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x35, DI.genTerm x36])) (Prelude.return (Curry.DebugModule.Prelude.Cons x35 x36)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x37, DI.genTerm x38])) (Prelude.return (Curry.DebugModule.Prelude.Cons x37 x38)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x39, DI.genTerm x40])) (Prelude.return (Curry.DebugModule.Prelude.Cons x39 x40)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x41, DI.genTerm x42])) (Prelude.return (Curry.DebugModule.Prelude.Cons x41 x42)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x43, DI.genTerm x44])) (Prelude.return (Curry.DebugModule.Prelude.Cons x43 x44)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x45, DI.genTerm x46])) (Prelude.return (Curry.DebugModule.Prelude.Cons x45 x46)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x47, DI.genTerm x48])) (Prelude.return (Curry.DebugModule.Prelude.Cons x47 x48)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x49, DI.genTerm x50])) (Prelude.return (Curry.DebugModule.Prelude.Cons x49 x50)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x51, DI.genTerm x52])) (Prelude.return (Curry.DebugModule.Prelude.Cons x51 x52)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x53, DI.genTerm x54])) (Prelude.return (Curry.DebugModule.Prelude.Cons x53 x54)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x55, DI.genTerm x56])) (Prelude.return (Curry.DebugModule.Prelude.Cons x55 x56)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x57, DI.genTerm x58])) (Prelude.return (Curry.DebugModule.Prelude.Cons x57 x58)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x59, DI.genTerm x60])) (Prelude.return (Curry.DebugModule.Prelude.Cons x59 x60)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x61, DI.genTerm x62])) (Prelude.return (Curry.DebugModule.Prelude.Cons x61 x62)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x63, DI.genTerm x64])) (Prelude.return (Curry.DebugModule.Prelude.Cons x63 x64)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x65, DI.genTerm x66])) (Prelude.return (Curry.DebugModule.Prelude.Cons x65 x66)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x67, DI.genTerm x68])) (Prelude.return (Curry.DebugModule.Prelude.Cons x67 x68)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x69, DI.genTerm x70])) (Prelude.return (Curry.DebugModule.Prelude.Cons x69 x70)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x71, DI.genTerm x72])) (Prelude.return (Curry.DebugModule.Prelude.Cons x71 x72)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x73, DI.genTerm x74])) (Prelude.return (Curry.DebugModule.Prelude.Cons x73 x74)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x75, DI.genTerm x76])) (Prelude.return (Curry.DebugModule.Prelude.Cons x75 x76)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x77, DI.genTerm x78])) (Prelude.return (Curry.DebugModule.Prelude.Cons x77 x78)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x79, DI.genTerm x80])) (Prelude.return (Curry.DebugModule.Prelude.Cons x79 x80)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x81, DI.genTerm x82])) (Prelude.return (Curry.DebugModule.Prelude.Cons x81 x82)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x83, DI.genTerm x84])) (Prelude.return (Curry.DebugModule.Prelude.Cons x83 x84)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x85, DI.genTerm x86])) (Prelude.return (Curry.DebugModule.Prelude.Cons x85 x86)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x87, DI.genTerm x88])) (Prelude.return (Curry.DebugModule.Prelude.Cons x87 x88)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x89, DI.genTerm x90])) (Prelude.return (Curry.DebugModule.Prelude.Cons x89 x90)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x91, DI.genTerm x92])) (Prelude.return (Curry.DebugModule.Prelude.Cons x91 x92)) DM.funcCallHook "error" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x93])) (Curry.DebugModule.Prelude.strict_error x93))) _ -> DM.treatCase (DM.nepCaseHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x94]))) (strict__case_1 x5 x6) x94))) term_strict__case_1 x1 = DI.Term "_case_1" (DI.SrcID "ReadShowTerm" 0) x1 strict__case_0 x5 x6 x7 = DM.eval (DM.funcDeclHook "_case_0" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x5, DI.genTerm x6, DI.genTerm x7])) (do x73 <- Prelude.return x7 DM.caseHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x73])) (case x73 of Curry.DebugModule.Prelude.True -> DM.branchHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (DM.eval (Prelude.return x5)) Curry.DebugModule.Prelude.False -> DM.branchHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (DM.eval (do x72 <- do x70 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'R')) x71 <- do x68 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'e')) x69 <- do x66 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'a')) x67 <- do x64 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'd')) x65 <- do x62 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'S')) x63 <- do x60 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'h')) x61 <- do x58 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'o')) x59 <- do x56 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'w')) x57 <- do x54 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'T')) x55 <- do x52 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'e')) x53 <- do x50 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'r')) x51 <- do x48 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'm')) x49 <- do x46 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char '.')) x47 <- do x44 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'r')) x45 <- do x42 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'e')) x43 <- do x40 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'a')) x41 <- do x38 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'd')) x39 <- do x36 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'Q')) x37 <- do x34 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'T')) x35 <- do x32 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'e')) x33 <- do x30 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'r')) x31 <- do x28 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'm')) x29 <- do x26 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char ':')) x27 <- do x24 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char ' ')) x25 <- do x22 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'n')) x23 <- do x20 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'o')) x21 <- do x18 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char ' ')) x19 <- do x16 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'p')) x17 <- do x14 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'a')) x15 <- do x12 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'r')) x13 <- do x10 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 's')) x11 <- do x8 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'e')) x9 <- DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return Curry.DebugModule.Prelude.Nil) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x8, DI.genTerm x9])) (Prelude.return (Curry.DebugModule.Prelude.Cons x8 x9)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x10, DI.genTerm x11])) (Prelude.return (Curry.DebugModule.Prelude.Cons x10 x11)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x12, DI.genTerm x13])) (Prelude.return (Curry.DebugModule.Prelude.Cons x12 x13)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x14, DI.genTerm x15])) (Prelude.return (Curry.DebugModule.Prelude.Cons x14 x15)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x16, DI.genTerm x17])) (Prelude.return (Curry.DebugModule.Prelude.Cons x16 x17)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x18, DI.genTerm x19])) (Prelude.return (Curry.DebugModule.Prelude.Cons x18 x19)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x20, DI.genTerm x21])) (Prelude.return (Curry.DebugModule.Prelude.Cons x20 x21)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x22, DI.genTerm x23])) (Prelude.return (Curry.DebugModule.Prelude.Cons x22 x23)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x24, DI.genTerm x25])) (Prelude.return (Curry.DebugModule.Prelude.Cons x24 x25)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x26, DI.genTerm x27])) (Prelude.return (Curry.DebugModule.Prelude.Cons x26 x27)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x28, DI.genTerm x29])) (Prelude.return (Curry.DebugModule.Prelude.Cons x28 x29)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x30, DI.genTerm x31])) (Prelude.return (Curry.DebugModule.Prelude.Cons x30 x31)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x32, DI.genTerm x33])) (Prelude.return (Curry.DebugModule.Prelude.Cons x32 x33)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x34, DI.genTerm x35])) (Prelude.return (Curry.DebugModule.Prelude.Cons x34 x35)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x36, DI.genTerm x37])) (Prelude.return (Curry.DebugModule.Prelude.Cons x36 x37)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x38, DI.genTerm x39])) (Prelude.return (Curry.DebugModule.Prelude.Cons x38 x39)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x40, DI.genTerm x41])) (Prelude.return (Curry.DebugModule.Prelude.Cons x40 x41)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x42, DI.genTerm x43])) (Prelude.return (Curry.DebugModule.Prelude.Cons x42 x43)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x44, DI.genTerm x45])) (Prelude.return (Curry.DebugModule.Prelude.Cons x44 x45)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x46, DI.genTerm x47])) (Prelude.return (Curry.DebugModule.Prelude.Cons x46 x47)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x48, DI.genTerm x49])) (Prelude.return (Curry.DebugModule.Prelude.Cons x48 x49)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x50, DI.genTerm x51])) (Prelude.return (Curry.DebugModule.Prelude.Cons x50 x51)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x52, DI.genTerm x53])) (Prelude.return (Curry.DebugModule.Prelude.Cons x52 x53)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x54, DI.genTerm x55])) (Prelude.return (Curry.DebugModule.Prelude.Cons x54 x55)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x56, DI.genTerm x57])) (Prelude.return (Curry.DebugModule.Prelude.Cons x56 x57)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x58, DI.genTerm x59])) (Prelude.return (Curry.DebugModule.Prelude.Cons x58 x59)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x60, DI.genTerm x61])) (Prelude.return (Curry.DebugModule.Prelude.Cons x60 x61)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x62, DI.genTerm x63])) (Prelude.return (Curry.DebugModule.Prelude.Cons x62 x63)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x64, DI.genTerm x65])) (Prelude.return (Curry.DebugModule.Prelude.Cons x64 x65)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x66, DI.genTerm x67])) (Prelude.return (Curry.DebugModule.Prelude.Cons x66 x67)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x68, DI.genTerm x69])) (Prelude.return (Curry.DebugModule.Prelude.Cons x68 x69)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x70, DI.genTerm x71])) (Prelude.return (Curry.DebugModule.Prelude.Cons x70 x71)) DM.funcCallHook "error" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x72])) (Curry.DebugModule.Prelude.strict_error x72))) _ -> DM.treatCase (DM.nepCaseHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x73]))) (strict__case_0 x5 x6) x73))) term_strict__case_0 x1 = DI.Term "_case_0" (DI.SrcID "ReadShowTerm" 0) x1 strict__case_7 x1 x2 = DM.eval (DM.funcDeclHook "_case_7" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x1, DI.genTerm x2])) (do x127 <- Prelude.return x2 DM.caseHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x127])) (case x127 of Curry.DebugModule.Prelude.Cons x3 x4 -> DM.branchHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (DM.eval (do x5 <- Prelude.return x4 x6 <- Prelude.return x3 DM.funcCallHook "_case_6" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x5, DI.genTerm x6])) (strict__case_6 x5 x6))) Curry.DebugModule.Prelude.Nil -> DM.branchHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (DM.eval (do x125 <- Prelude.return (PC.partCall1 (Curry.DebugModule.Prelude.term_strict_error []) Curry.DebugModule.Prelude.strict_error) x126 <- do x123 <- do x119 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'R')) x120 <- do x117 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'e')) x118 <- do x115 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'a')) x116 <- do x113 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'd')) x114 <- do x111 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'S')) x112 <- do x109 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'h')) x110 <- do x107 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'o')) x108 <- do x105 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'w')) x106 <- do x103 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'T')) x104 <- do x101 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'e')) x102 <- do x99 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'r')) x100 <- do x97 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'm')) x98 <- do x95 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char '.')) x96 <- do x93 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'r')) x94 <- do x91 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'e')) x92 <- do x89 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'a')) x90 <- do x87 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'd')) x88 <- do x85 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'T')) x86 <- do x83 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'e')) x84 <- do x81 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'r')) x82 <- do x79 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'm')) x80 <- do x77 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char ':')) x78 <- do x75 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char ' ')) x76 <- do x73 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'n')) x74 <- do x71 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'o')) x72 <- do x69 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char ' ')) x70 <- do x67 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'p')) x68 <- do x65 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'a')) x66 <- do x63 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'r')) x64 <- do x61 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 's')) x62 <- do x59 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'e')) x60 <- do x57 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char ' ')) x58 <- do x55 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'o')) x56 <- do x53 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'f')) x54 <- do x51 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char ' ')) x52 <- do x49 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 's')) x50 <- do x47 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 't')) x48 <- do x45 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'r')) x46 <- do x43 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'i')) x44 <- do x41 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'n')) x42 <- do x39 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'g')) x40 <- do x37 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char ' ')) x38 <- do x35 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'b')) x36 <- do x33 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'e')) x34 <- do x31 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'g')) x32 <- do x29 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'i')) x30 <- do x27 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'n')) x28 <- do x25 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'n')) x26 <- do x23 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'i')) x24 <- do x21 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'n')) x22 <- do x19 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'g')) x20 <- do x17 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char ' ')) x18 <- do x15 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'w')) x16 <- do x13 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'i')) x14 <- do x11 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 't')) x12 <- do x9 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'h')) x10 <- do x7 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char ' ')) x8 <- DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return Curry.DebugModule.Prelude.Nil) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x7, DI.genTerm x8])) (Prelude.return (Curry.DebugModule.Prelude.Cons x7 x8)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x9, DI.genTerm x10])) (Prelude.return (Curry.DebugModule.Prelude.Cons x9 x10)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x11, DI.genTerm x12])) (Prelude.return (Curry.DebugModule.Prelude.Cons x11 x12)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x13, DI.genTerm x14])) (Prelude.return (Curry.DebugModule.Prelude.Cons x13 x14)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x15, DI.genTerm x16])) (Prelude.return (Curry.DebugModule.Prelude.Cons x15 x16)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x17, DI.genTerm x18])) (Prelude.return (Curry.DebugModule.Prelude.Cons x17 x18)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x19, DI.genTerm x20])) (Prelude.return (Curry.DebugModule.Prelude.Cons x19 x20)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x21, DI.genTerm x22])) (Prelude.return (Curry.DebugModule.Prelude.Cons x21 x22)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x23, DI.genTerm x24])) (Prelude.return (Curry.DebugModule.Prelude.Cons x23 x24)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x25, DI.genTerm x26])) (Prelude.return (Curry.DebugModule.Prelude.Cons x25 x26)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x27, DI.genTerm x28])) (Prelude.return (Curry.DebugModule.Prelude.Cons x27 x28)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x29, DI.genTerm x30])) (Prelude.return (Curry.DebugModule.Prelude.Cons x29 x30)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x31, DI.genTerm x32])) (Prelude.return (Curry.DebugModule.Prelude.Cons x31 x32)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x33, DI.genTerm x34])) (Prelude.return (Curry.DebugModule.Prelude.Cons x33 x34)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x35, DI.genTerm x36])) (Prelude.return (Curry.DebugModule.Prelude.Cons x35 x36)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x37, DI.genTerm x38])) (Prelude.return (Curry.DebugModule.Prelude.Cons x37 x38)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x39, DI.genTerm x40])) (Prelude.return (Curry.DebugModule.Prelude.Cons x39 x40)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x41, DI.genTerm x42])) (Prelude.return (Curry.DebugModule.Prelude.Cons x41 x42)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x43, DI.genTerm x44])) (Prelude.return (Curry.DebugModule.Prelude.Cons x43 x44)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x45, DI.genTerm x46])) (Prelude.return (Curry.DebugModule.Prelude.Cons x45 x46)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x47, DI.genTerm x48])) (Prelude.return (Curry.DebugModule.Prelude.Cons x47 x48)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x49, DI.genTerm x50])) (Prelude.return (Curry.DebugModule.Prelude.Cons x49 x50)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x51, DI.genTerm x52])) (Prelude.return (Curry.DebugModule.Prelude.Cons x51 x52)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x53, DI.genTerm x54])) (Prelude.return (Curry.DebugModule.Prelude.Cons x53 x54)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x55, DI.genTerm x56])) (Prelude.return (Curry.DebugModule.Prelude.Cons x55 x56)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x57, DI.genTerm x58])) (Prelude.return (Curry.DebugModule.Prelude.Cons x57 x58)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x59, DI.genTerm x60])) (Prelude.return (Curry.DebugModule.Prelude.Cons x59 x60)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x61, DI.genTerm x62])) (Prelude.return (Curry.DebugModule.Prelude.Cons x61 x62)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x63, DI.genTerm x64])) (Prelude.return (Curry.DebugModule.Prelude.Cons x63 x64)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x65, DI.genTerm x66])) (Prelude.return (Curry.DebugModule.Prelude.Cons x65 x66)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x67, DI.genTerm x68])) (Prelude.return (Curry.DebugModule.Prelude.Cons x67 x68)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x69, DI.genTerm x70])) (Prelude.return (Curry.DebugModule.Prelude.Cons x69 x70)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x71, DI.genTerm x72])) (Prelude.return (Curry.DebugModule.Prelude.Cons x71 x72)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x73, DI.genTerm x74])) (Prelude.return (Curry.DebugModule.Prelude.Cons x73 x74)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x75, DI.genTerm x76])) (Prelude.return (Curry.DebugModule.Prelude.Cons x75 x76)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x77, DI.genTerm x78])) (Prelude.return (Curry.DebugModule.Prelude.Cons x77 x78)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x79, DI.genTerm x80])) (Prelude.return (Curry.DebugModule.Prelude.Cons x79 x80)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x81, DI.genTerm x82])) (Prelude.return (Curry.DebugModule.Prelude.Cons x81 x82)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x83, DI.genTerm x84])) (Prelude.return (Curry.DebugModule.Prelude.Cons x83 x84)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x85, DI.genTerm x86])) (Prelude.return (Curry.DebugModule.Prelude.Cons x85 x86)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x87, DI.genTerm x88])) (Prelude.return (Curry.DebugModule.Prelude.Cons x87 x88)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x89, DI.genTerm x90])) (Prelude.return (Curry.DebugModule.Prelude.Cons x89 x90)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x91, DI.genTerm x92])) (Prelude.return (Curry.DebugModule.Prelude.Cons x91 x92)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x93, DI.genTerm x94])) (Prelude.return (Curry.DebugModule.Prelude.Cons x93 x94)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x95, DI.genTerm x96])) (Prelude.return (Curry.DebugModule.Prelude.Cons x95 x96)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x97, DI.genTerm x98])) (Prelude.return (Curry.DebugModule.Prelude.Cons x97 x98)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x99, DI.genTerm x100])) (Prelude.return (Curry.DebugModule.Prelude.Cons x99 x100)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x101, DI.genTerm x102])) (Prelude.return (Curry.DebugModule.Prelude.Cons x101 x102)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x103, DI.genTerm x104])) (Prelude.return (Curry.DebugModule.Prelude.Cons x103 x104)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x105, DI.genTerm x106])) (Prelude.return (Curry.DebugModule.Prelude.Cons x105 x106)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x107, DI.genTerm x108])) (Prelude.return (Curry.DebugModule.Prelude.Cons x107 x108)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x109, DI.genTerm x110])) (Prelude.return (Curry.DebugModule.Prelude.Cons x109 x110)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x111, DI.genTerm x112])) (Prelude.return (Curry.DebugModule.Prelude.Cons x111 x112)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x113, DI.genTerm x114])) (Prelude.return (Curry.DebugModule.Prelude.Cons x113 x114)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x115, DI.genTerm x116])) (Prelude.return (Curry.DebugModule.Prelude.Cons x115 x116)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x117, DI.genTerm x118])) (Prelude.return (Curry.DebugModule.Prelude.Cons x117 x118)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x119, DI.genTerm x120])) (Prelude.return (Curry.DebugModule.Prelude.Cons x119 x120)) x124 <- do x121 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Pos (Curry.DebugModule.Prelude.O (Curry.DebugModule.Prelude.O (Curry.DebugModule.Prelude.I (Curry.DebugModule.Prelude.O Curry.DebugModule.Prelude.IHi)))))) x122 <- Prelude.return x1 DM.funcCallHook "take" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x121, DI.genTerm x122])) (Curry.DebugModule.Prelude.strict_take x121 x122) DM.funcCallHook "++" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x123, DI.genTerm x124])) (Curry.DebugModule.Prelude.op_PlusPlus x123 x124) DM.funcCallHook "$" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x125, DI.genTerm x126])) (Curry.DebugModule.Prelude.op_Dollar x125 x126))) _ -> DM.treatCase (DM.nepCaseHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x127]))) (strict__case_7 x1) x127))) term_strict__case_7 x1 = DI.Term "_case_7" (DI.SrcID "ReadShowTerm" 0) x1 strict__case_6 x4 x3 = DM.eval (DM.funcDeclHook "_case_6" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x4, DI.genTerm x3])) (do x10 <- Prelude.return x3 DM.caseHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x10])) (case x10 of Curry.DebugModule.Prelude.Tuple2 x5 x6 -> DM.branchHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (DM.eval (do x7 <- Prelude.return x5 x8 <- Prelude.return x6 x9 <- Prelude.return x4 DM.funcCallHook "_case_5" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x7, DI.genTerm x8, DI.genTerm x9])) (strict__case_5 x7 x8 x9))) _ -> DM.treatCase (DM.nepCaseHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x10]))) (strict__case_6 x4) x10))) term_strict__case_6 x1 = DI.Term "_case_6" (DI.SrcID "ReadShowTerm" 0) x1 strict__case_5 x5 x6 x4 = DM.eval (DM.funcDeclHook "_case_5" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x5, DI.genTerm x6, DI.genTerm x4])) (do x92 <- Prelude.return x4 DM.caseHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x92])) (case x92 of Curry.DebugModule.Prelude.Nil -> DM.branchHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (DM.eval (do x12 <- Prelude.return x5 x13 <- Prelude.return x6 x14 <- do x10 <- do x9 <- Prelude.return (PC.partCall1 (Curry.DebugModule.Char.term_strict_isSpace []) Curry.DebugModule.Char.strict_isSpace) DM.funcCallHook "all" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x9])) (Curry.DebugModule.Prelude.strict_all x9) x11 <- Prelude.return x6 DM.funcCallHook "apply" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x10, DI.genTerm x11])) (Curry.DebugModule.Prelude.strict_apply x10 x11) DM.funcCallHook "_case_4" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x12, DI.genTerm x13, DI.genTerm x14])) (strict__case_4 x12 x13 x14))) Curry.DebugModule.Prelude.Cons x7 x8 -> DM.branchHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (DM.eval (do x91 <- do x89 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'R')) x90 <- do x87 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'e')) x88 <- do x85 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'a')) x86 <- do x83 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'd')) x84 <- do x81 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'S')) x82 <- do x79 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'h')) x80 <- do x77 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'o')) x78 <- do x75 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'w')) x76 <- do x73 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'T')) x74 <- do x71 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'e')) x72 <- do x69 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'r')) x70 <- do x67 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'm')) x68 <- do x65 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char '.')) x66 <- do x63 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'r')) x64 <- do x61 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'e')) x62 <- do x59 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'a')) x60 <- do x57 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'd')) x58 <- do x55 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'T')) x56 <- do x53 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'e')) x54 <- do x51 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'r')) x52 <- do x49 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'm')) x50 <- do x47 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char ':')) x48 <- do x45 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char ' ')) x46 <- do x43 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'a')) x44 <- do x41 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'm')) x42 <- do x39 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'b')) x40 <- do x37 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'i')) x38 <- do x35 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'g')) x36 <- do x33 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'u')) x34 <- do x31 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'o')) x32 <- do x29 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'u')) x30 <- do x27 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 's')) x28 <- do x25 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char ' ')) x26 <- do x23 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'p')) x24 <- do x21 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'a')) x22 <- do x19 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'r')) x20 <- do x17 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 's')) x18 <- do x15 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'e')) x16 <- DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return Curry.DebugModule.Prelude.Nil) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x15, DI.genTerm x16])) (Prelude.return (Curry.DebugModule.Prelude.Cons x15 x16)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x17, DI.genTerm x18])) (Prelude.return (Curry.DebugModule.Prelude.Cons x17 x18)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x19, DI.genTerm x20])) (Prelude.return (Curry.DebugModule.Prelude.Cons x19 x20)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x21, DI.genTerm x22])) (Prelude.return (Curry.DebugModule.Prelude.Cons x21 x22)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x23, DI.genTerm x24])) (Prelude.return (Curry.DebugModule.Prelude.Cons x23 x24)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x25, DI.genTerm x26])) (Prelude.return (Curry.DebugModule.Prelude.Cons x25 x26)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x27, DI.genTerm x28])) (Prelude.return (Curry.DebugModule.Prelude.Cons x27 x28)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x29, DI.genTerm x30])) (Prelude.return (Curry.DebugModule.Prelude.Cons x29 x30)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x31, DI.genTerm x32])) (Prelude.return (Curry.DebugModule.Prelude.Cons x31 x32)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x33, DI.genTerm x34])) (Prelude.return (Curry.DebugModule.Prelude.Cons x33 x34)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x35, DI.genTerm x36])) (Prelude.return (Curry.DebugModule.Prelude.Cons x35 x36)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x37, DI.genTerm x38])) (Prelude.return (Curry.DebugModule.Prelude.Cons x37 x38)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x39, DI.genTerm x40])) (Prelude.return (Curry.DebugModule.Prelude.Cons x39 x40)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x41, DI.genTerm x42])) (Prelude.return (Curry.DebugModule.Prelude.Cons x41 x42)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x43, DI.genTerm x44])) (Prelude.return (Curry.DebugModule.Prelude.Cons x43 x44)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x45, DI.genTerm x46])) (Prelude.return (Curry.DebugModule.Prelude.Cons x45 x46)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x47, DI.genTerm x48])) (Prelude.return (Curry.DebugModule.Prelude.Cons x47 x48)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x49, DI.genTerm x50])) (Prelude.return (Curry.DebugModule.Prelude.Cons x49 x50)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x51, DI.genTerm x52])) (Prelude.return (Curry.DebugModule.Prelude.Cons x51 x52)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x53, DI.genTerm x54])) (Prelude.return (Curry.DebugModule.Prelude.Cons x53 x54)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x55, DI.genTerm x56])) (Prelude.return (Curry.DebugModule.Prelude.Cons x55 x56)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x57, DI.genTerm x58])) (Prelude.return (Curry.DebugModule.Prelude.Cons x57 x58)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x59, DI.genTerm x60])) (Prelude.return (Curry.DebugModule.Prelude.Cons x59 x60)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x61, DI.genTerm x62])) (Prelude.return (Curry.DebugModule.Prelude.Cons x61 x62)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x63, DI.genTerm x64])) (Prelude.return (Curry.DebugModule.Prelude.Cons x63 x64)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x65, DI.genTerm x66])) (Prelude.return (Curry.DebugModule.Prelude.Cons x65 x66)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x67, DI.genTerm x68])) (Prelude.return (Curry.DebugModule.Prelude.Cons x67 x68)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x69, DI.genTerm x70])) (Prelude.return (Curry.DebugModule.Prelude.Cons x69 x70)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x71, DI.genTerm x72])) (Prelude.return (Curry.DebugModule.Prelude.Cons x71 x72)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x73, DI.genTerm x74])) (Prelude.return (Curry.DebugModule.Prelude.Cons x73 x74)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x75, DI.genTerm x76])) (Prelude.return (Curry.DebugModule.Prelude.Cons x75 x76)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x77, DI.genTerm x78])) (Prelude.return (Curry.DebugModule.Prelude.Cons x77 x78)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x79, DI.genTerm x80])) (Prelude.return (Curry.DebugModule.Prelude.Cons x79 x80)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x81, DI.genTerm x82])) (Prelude.return (Curry.DebugModule.Prelude.Cons x81 x82)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x83, DI.genTerm x84])) (Prelude.return (Curry.DebugModule.Prelude.Cons x83 x84)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x85, DI.genTerm x86])) (Prelude.return (Curry.DebugModule.Prelude.Cons x85 x86)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x87, DI.genTerm x88])) (Prelude.return (Curry.DebugModule.Prelude.Cons x87 x88)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x89, DI.genTerm x90])) (Prelude.return (Curry.DebugModule.Prelude.Cons x89 x90)) DM.funcCallHook "error" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x91])) (Curry.DebugModule.Prelude.strict_error x91))) _ -> DM.treatCase (DM.nepCaseHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x92]))) (strict__case_5 x5 x6) x92))) term_strict__case_5 x1 = DI.Term "_case_5" (DI.SrcID "ReadShowTerm" 0) x1 strict__case_4 x5 x6 x7 = DM.eval (DM.funcDeclHook "_case_4" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x5, DI.genTerm x6, DI.genTerm x7])) (do x135 <- Prelude.return x7 DM.caseHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x135])) (case x135 of Curry.DebugModule.Prelude.True -> DM.branchHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (DM.eval (Prelude.return x5)) Curry.DebugModule.Prelude.False -> DM.branchHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (DM.eval (do x134 <- do x132 <- do x130 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'R')) x131 <- do x128 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'e')) x129 <- do x126 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'a')) x127 <- do x124 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'd')) x125 <- do x122 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'S')) x123 <- do x120 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'h')) x121 <- do x118 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'o')) x119 <- do x116 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'w')) x117 <- do x114 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'T')) x115 <- do x112 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'e')) x113 <- do x110 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'r')) x111 <- do x108 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'm')) x109 <- do x106 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char '.')) x107 <- do x104 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'r')) x105 <- do x102 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'e')) x103 <- do x100 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'a')) x101 <- do x98 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'd')) x99 <- do x96 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'T')) x97 <- do x94 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'e')) x95 <- do x92 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'r')) x93 <- do x90 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'm')) x91 <- do x88 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char ':')) x89 <- do x86 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char ' ')) x87 <- do x84 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'n')) x85 <- do x82 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'o')) x83 <- do x80 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char ' ')) x81 <- do x78 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'p')) x79 <- do x76 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'a')) x77 <- do x74 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'r')) x75 <- do x72 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 's')) x73 <- do x70 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'e')) x71 <- do x68 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char ',')) x69 <- do x66 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char ' ')) x67 <- do x64 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'u')) x65 <- do x62 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'n')) x63 <- do x60 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'm')) x61 <- do x58 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'a')) x59 <- do x56 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 't')) x57 <- do x54 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'c')) x55 <- do x52 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'h')) x53 <- do x50 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'e')) x51 <- do x48 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'd')) x49 <- do x46 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char ' ')) x47 <- do x44 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 's')) x45 <- do x42 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 't')) x43 <- do x40 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'r')) x41 <- do x38 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'i')) x39 <- do x36 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'n')) x37 <- do x34 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'g')) x35 <- do x32 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char ' ')) x33 <- do x30 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'a')) x31 <- do x28 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'f')) x29 <- do x26 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 't')) x27 <- do x24 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'e')) x25 <- do x22 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'r')) x23 <- do x20 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char ' ')) x21 <- do x18 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 't')) x19 <- do x16 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'e')) x17 <- do x14 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'r')) x15 <- do x12 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'm')) x13 <- do x10 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char ':')) x11 <- do x8 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char ' ')) x9 <- DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return Curry.DebugModule.Prelude.Nil) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x8, DI.genTerm x9])) (Prelude.return (Curry.DebugModule.Prelude.Cons x8 x9)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x10, DI.genTerm x11])) (Prelude.return (Curry.DebugModule.Prelude.Cons x10 x11)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x12, DI.genTerm x13])) (Prelude.return (Curry.DebugModule.Prelude.Cons x12 x13)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x14, DI.genTerm x15])) (Prelude.return (Curry.DebugModule.Prelude.Cons x14 x15)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x16, DI.genTerm x17])) (Prelude.return (Curry.DebugModule.Prelude.Cons x16 x17)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x18, DI.genTerm x19])) (Prelude.return (Curry.DebugModule.Prelude.Cons x18 x19)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x20, DI.genTerm x21])) (Prelude.return (Curry.DebugModule.Prelude.Cons x20 x21)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x22, DI.genTerm x23])) (Prelude.return (Curry.DebugModule.Prelude.Cons x22 x23)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x24, DI.genTerm x25])) (Prelude.return (Curry.DebugModule.Prelude.Cons x24 x25)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x26, DI.genTerm x27])) (Prelude.return (Curry.DebugModule.Prelude.Cons x26 x27)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x28, DI.genTerm x29])) (Prelude.return (Curry.DebugModule.Prelude.Cons x28 x29)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x30, DI.genTerm x31])) (Prelude.return (Curry.DebugModule.Prelude.Cons x30 x31)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x32, DI.genTerm x33])) (Prelude.return (Curry.DebugModule.Prelude.Cons x32 x33)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x34, DI.genTerm x35])) (Prelude.return (Curry.DebugModule.Prelude.Cons x34 x35)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x36, DI.genTerm x37])) (Prelude.return (Curry.DebugModule.Prelude.Cons x36 x37)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x38, DI.genTerm x39])) (Prelude.return (Curry.DebugModule.Prelude.Cons x38 x39)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x40, DI.genTerm x41])) (Prelude.return (Curry.DebugModule.Prelude.Cons x40 x41)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x42, DI.genTerm x43])) (Prelude.return (Curry.DebugModule.Prelude.Cons x42 x43)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x44, DI.genTerm x45])) (Prelude.return (Curry.DebugModule.Prelude.Cons x44 x45)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x46, DI.genTerm x47])) (Prelude.return (Curry.DebugModule.Prelude.Cons x46 x47)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x48, DI.genTerm x49])) (Prelude.return (Curry.DebugModule.Prelude.Cons x48 x49)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x50, DI.genTerm x51])) (Prelude.return (Curry.DebugModule.Prelude.Cons x50 x51)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x52, DI.genTerm x53])) (Prelude.return (Curry.DebugModule.Prelude.Cons x52 x53)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x54, DI.genTerm x55])) (Prelude.return (Curry.DebugModule.Prelude.Cons x54 x55)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x56, DI.genTerm x57])) (Prelude.return (Curry.DebugModule.Prelude.Cons x56 x57)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x58, DI.genTerm x59])) (Prelude.return (Curry.DebugModule.Prelude.Cons x58 x59)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x60, DI.genTerm x61])) (Prelude.return (Curry.DebugModule.Prelude.Cons x60 x61)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x62, DI.genTerm x63])) (Prelude.return (Curry.DebugModule.Prelude.Cons x62 x63)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x64, DI.genTerm x65])) (Prelude.return (Curry.DebugModule.Prelude.Cons x64 x65)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x66, DI.genTerm x67])) (Prelude.return (Curry.DebugModule.Prelude.Cons x66 x67)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x68, DI.genTerm x69])) (Prelude.return (Curry.DebugModule.Prelude.Cons x68 x69)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x70, DI.genTerm x71])) (Prelude.return (Curry.DebugModule.Prelude.Cons x70 x71)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x72, DI.genTerm x73])) (Prelude.return (Curry.DebugModule.Prelude.Cons x72 x73)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x74, DI.genTerm x75])) (Prelude.return (Curry.DebugModule.Prelude.Cons x74 x75)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x76, DI.genTerm x77])) (Prelude.return (Curry.DebugModule.Prelude.Cons x76 x77)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x78, DI.genTerm x79])) (Prelude.return (Curry.DebugModule.Prelude.Cons x78 x79)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x80, DI.genTerm x81])) (Prelude.return (Curry.DebugModule.Prelude.Cons x80 x81)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x82, DI.genTerm x83])) (Prelude.return (Curry.DebugModule.Prelude.Cons x82 x83)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x84, DI.genTerm x85])) (Prelude.return (Curry.DebugModule.Prelude.Cons x84 x85)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x86, DI.genTerm x87])) (Prelude.return (Curry.DebugModule.Prelude.Cons x86 x87)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x88, DI.genTerm x89])) (Prelude.return (Curry.DebugModule.Prelude.Cons x88 x89)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x90, DI.genTerm x91])) (Prelude.return (Curry.DebugModule.Prelude.Cons x90 x91)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x92, DI.genTerm x93])) (Prelude.return (Curry.DebugModule.Prelude.Cons x92 x93)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x94, DI.genTerm x95])) (Prelude.return (Curry.DebugModule.Prelude.Cons x94 x95)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x96, DI.genTerm x97])) (Prelude.return (Curry.DebugModule.Prelude.Cons x96 x97)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x98, DI.genTerm x99])) (Prelude.return (Curry.DebugModule.Prelude.Cons x98 x99)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x100, DI.genTerm x101])) (Prelude.return (Curry.DebugModule.Prelude.Cons x100 x101)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x102, DI.genTerm x103])) (Prelude.return (Curry.DebugModule.Prelude.Cons x102 x103)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x104, DI.genTerm x105])) (Prelude.return (Curry.DebugModule.Prelude.Cons x104 x105)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x106, DI.genTerm x107])) (Prelude.return (Curry.DebugModule.Prelude.Cons x106 x107)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x108, DI.genTerm x109])) (Prelude.return (Curry.DebugModule.Prelude.Cons x108 x109)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x110, DI.genTerm x111])) (Prelude.return (Curry.DebugModule.Prelude.Cons x110 x111)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x112, DI.genTerm x113])) (Prelude.return (Curry.DebugModule.Prelude.Cons x112 x113)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x114, DI.genTerm x115])) (Prelude.return (Curry.DebugModule.Prelude.Cons x114 x115)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x116, DI.genTerm x117])) (Prelude.return (Curry.DebugModule.Prelude.Cons x116 x117)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x118, DI.genTerm x119])) (Prelude.return (Curry.DebugModule.Prelude.Cons x118 x119)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x120, DI.genTerm x121])) (Prelude.return (Curry.DebugModule.Prelude.Cons x120 x121)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x122, DI.genTerm x123])) (Prelude.return (Curry.DebugModule.Prelude.Cons x122 x123)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x124, DI.genTerm x125])) (Prelude.return (Curry.DebugModule.Prelude.Cons x124 x125)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x126, DI.genTerm x127])) (Prelude.return (Curry.DebugModule.Prelude.Cons x126 x127)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x128, DI.genTerm x129])) (Prelude.return (Curry.DebugModule.Prelude.Cons x128 x129)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x130, DI.genTerm x131])) (Prelude.return (Curry.DebugModule.Prelude.Cons x130 x131)) x133 <- Prelude.return x6 DM.funcCallHook "++" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x132, DI.genTerm x133])) (Curry.DebugModule.Prelude.op_PlusPlus x132 x133) DM.funcCallHook "error" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x134])) (Curry.DebugModule.Prelude.strict_error x134))) _ -> DM.treatCase (DM.nepCaseHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x135]))) (strict__case_4 x5 x6) x135))) term_strict__case_4 x1 = DI.Term "_case_4" (DI.SrcID "ReadShowTerm" 0) x1 strict__case_11 x1 x2 x5 = DM.eval (DM.funcDeclHook "_case_11" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x1, DI.genTerm x2, DI.genTerm x5])) (do x93 <- Prelude.return x5 DM.caseHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x93])) (case x93 of Curry.DebugModule.Prelude.Cons x3 x4 -> DM.branchHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (DM.eval (do x6 <- Prelude.return x4 x7 <- Prelude.return x3 DM.funcCallHook "_case_10" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x6, DI.genTerm x7])) (strict__case_10 x6 x7))) Curry.DebugModule.Prelude.Nil -> DM.branchHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (DM.eval (do x92 <- do x90 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'R')) x91 <- do x88 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'e')) x89 <- do x86 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'a')) x87 <- do x84 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'd')) x85 <- do x82 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'S')) x83 <- do x80 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'h')) x81 <- do x78 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'o')) x79 <- do x76 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'w')) x77 <- do x74 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'T')) x75 <- do x72 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'e')) x73 <- do x70 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'r')) x71 <- do x68 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'm')) x69 <- do x66 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char '.')) x67 <- do x64 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'r')) x65 <- do x62 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'e')) x63 <- do x60 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'a')) x61 <- do x58 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'd')) x59 <- do x56 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'U')) x57 <- do x54 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'n')) x55 <- do x52 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'q')) x53 <- do x50 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'u')) x51 <- do x48 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'a')) x49 <- do x46 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'l')) x47 <- do x44 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'i')) x45 <- do x42 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'f')) x43 <- do x40 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'i')) x41 <- do x38 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'e')) x39 <- do x36 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'd')) x37 <- do x34 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'T')) x35 <- do x32 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'e')) x33 <- do x30 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'r')) x31 <- do x28 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'm')) x29 <- do x26 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char ':')) x27 <- do x24 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char ' ')) x25 <- do x22 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'n')) x23 <- do x20 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'o')) x21 <- do x18 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char ' ')) x19 <- do x16 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'p')) x17 <- do x14 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'a')) x15 <- do x12 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'r')) x13 <- do x10 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 's')) x11 <- do x8 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'e')) x9 <- DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return Curry.DebugModule.Prelude.Nil) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x8, DI.genTerm x9])) (Prelude.return (Curry.DebugModule.Prelude.Cons x8 x9)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x10, DI.genTerm x11])) (Prelude.return (Curry.DebugModule.Prelude.Cons x10 x11)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x12, DI.genTerm x13])) (Prelude.return (Curry.DebugModule.Prelude.Cons x12 x13)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x14, DI.genTerm x15])) (Prelude.return (Curry.DebugModule.Prelude.Cons x14 x15)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x16, DI.genTerm x17])) (Prelude.return (Curry.DebugModule.Prelude.Cons x16 x17)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x18, DI.genTerm x19])) (Prelude.return (Curry.DebugModule.Prelude.Cons x18 x19)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x20, DI.genTerm x21])) (Prelude.return (Curry.DebugModule.Prelude.Cons x20 x21)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x22, DI.genTerm x23])) (Prelude.return (Curry.DebugModule.Prelude.Cons x22 x23)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x24, DI.genTerm x25])) (Prelude.return (Curry.DebugModule.Prelude.Cons x24 x25)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x26, DI.genTerm x27])) (Prelude.return (Curry.DebugModule.Prelude.Cons x26 x27)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x28, DI.genTerm x29])) (Prelude.return (Curry.DebugModule.Prelude.Cons x28 x29)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x30, DI.genTerm x31])) (Prelude.return (Curry.DebugModule.Prelude.Cons x30 x31)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x32, DI.genTerm x33])) (Prelude.return (Curry.DebugModule.Prelude.Cons x32 x33)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x34, DI.genTerm x35])) (Prelude.return (Curry.DebugModule.Prelude.Cons x34 x35)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x36, DI.genTerm x37])) (Prelude.return (Curry.DebugModule.Prelude.Cons x36 x37)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x38, DI.genTerm x39])) (Prelude.return (Curry.DebugModule.Prelude.Cons x38 x39)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x40, DI.genTerm x41])) (Prelude.return (Curry.DebugModule.Prelude.Cons x40 x41)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x42, DI.genTerm x43])) (Prelude.return (Curry.DebugModule.Prelude.Cons x42 x43)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x44, DI.genTerm x45])) (Prelude.return (Curry.DebugModule.Prelude.Cons x44 x45)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x46, DI.genTerm x47])) (Prelude.return (Curry.DebugModule.Prelude.Cons x46 x47)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x48, DI.genTerm x49])) (Prelude.return (Curry.DebugModule.Prelude.Cons x48 x49)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x50, DI.genTerm x51])) (Prelude.return (Curry.DebugModule.Prelude.Cons x50 x51)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x52, DI.genTerm x53])) (Prelude.return (Curry.DebugModule.Prelude.Cons x52 x53)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x54, DI.genTerm x55])) (Prelude.return (Curry.DebugModule.Prelude.Cons x54 x55)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x56, DI.genTerm x57])) (Prelude.return (Curry.DebugModule.Prelude.Cons x56 x57)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x58, DI.genTerm x59])) (Prelude.return (Curry.DebugModule.Prelude.Cons x58 x59)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x60, DI.genTerm x61])) (Prelude.return (Curry.DebugModule.Prelude.Cons x60 x61)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x62, DI.genTerm x63])) (Prelude.return (Curry.DebugModule.Prelude.Cons x62 x63)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x64, DI.genTerm x65])) (Prelude.return (Curry.DebugModule.Prelude.Cons x64 x65)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x66, DI.genTerm x67])) (Prelude.return (Curry.DebugModule.Prelude.Cons x66 x67)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x68, DI.genTerm x69])) (Prelude.return (Curry.DebugModule.Prelude.Cons x68 x69)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x70, DI.genTerm x71])) (Prelude.return (Curry.DebugModule.Prelude.Cons x70 x71)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x72, DI.genTerm x73])) (Prelude.return (Curry.DebugModule.Prelude.Cons x72 x73)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x74, DI.genTerm x75])) (Prelude.return (Curry.DebugModule.Prelude.Cons x74 x75)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x76, DI.genTerm x77])) (Prelude.return (Curry.DebugModule.Prelude.Cons x76 x77)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x78, DI.genTerm x79])) (Prelude.return (Curry.DebugModule.Prelude.Cons x78 x79)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x80, DI.genTerm x81])) (Prelude.return (Curry.DebugModule.Prelude.Cons x80 x81)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x82, DI.genTerm x83])) (Prelude.return (Curry.DebugModule.Prelude.Cons x82 x83)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x84, DI.genTerm x85])) (Prelude.return (Curry.DebugModule.Prelude.Cons x84 x85)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x86, DI.genTerm x87])) (Prelude.return (Curry.DebugModule.Prelude.Cons x86 x87)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x88, DI.genTerm x89])) (Prelude.return (Curry.DebugModule.Prelude.Cons x88 x89)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x90, DI.genTerm x91])) (Prelude.return (Curry.DebugModule.Prelude.Cons x90 x91)) DM.funcCallHook "error" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x92])) (Curry.DebugModule.Prelude.strict_error x92))) _ -> DM.treatCase (DM.nepCaseHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x93]))) (strict__case_11 x1 x2) x93))) term_strict__case_11 x1 = DI.Term "_case_11" (DI.SrcID "ReadShowTerm" 0) x1 strict__case_10 x4 x3 = DM.eval (DM.funcDeclHook "_case_10" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x4, DI.genTerm x3])) (do x10 <- Prelude.return x3 DM.caseHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x10])) (case x10 of Curry.DebugModule.Prelude.Tuple2 x5 x6 -> DM.branchHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (DM.eval (do x7 <- Prelude.return x5 x8 <- Prelude.return x6 x9 <- Prelude.return x4 DM.funcCallHook "_case_9" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x7, DI.genTerm x8, DI.genTerm x9])) (strict__case_9 x7 x8 x9))) _ -> DM.treatCase (DM.nepCaseHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x10]))) (strict__case_10 x4) x10))) term_strict__case_10 x1 = DI.Term "_case_10" (DI.SrcID "ReadShowTerm" 0) x1 strict__case_9 x5 x6 x4 = DM.eval (DM.funcDeclHook "_case_9" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x5, DI.genTerm x6, DI.genTerm x4])) (do x114 <- Prelude.return x4 DM.caseHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x114])) (case x114 of Curry.DebugModule.Prelude.Nil -> DM.branchHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (DM.eval (do x12 <- Prelude.return x5 x13 <- Prelude.return x6 x14 <- do x10 <- do x9 <- Prelude.return (PC.partCall1 (Curry.DebugModule.Char.term_strict_isSpace []) Curry.DebugModule.Char.strict_isSpace) DM.funcCallHook "all" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x9])) (Curry.DebugModule.Prelude.strict_all x9) x11 <- Prelude.return x6 DM.funcCallHook "apply" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x10, DI.genTerm x11])) (Curry.DebugModule.Prelude.strict_apply x10 x11) DM.funcCallHook "_case_8" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x12, DI.genTerm x13, DI.genTerm x14])) (strict__case_8 x12 x13 x14))) Curry.DebugModule.Prelude.Cons x7 x8 -> DM.branchHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (DM.eval (do x113 <- do x111 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'R')) x112 <- do x109 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'e')) x110 <- do x107 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'a')) x108 <- do x105 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'd')) x106 <- do x103 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'S')) x104 <- do x101 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'h')) x102 <- do x99 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'o')) x100 <- do x97 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'w')) x98 <- do x95 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'T')) x96 <- do x93 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'e')) x94 <- do x91 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'r')) x92 <- do x89 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'm')) x90 <- do x87 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char '.')) x88 <- do x85 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'r')) x86 <- do x83 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'e')) x84 <- do x81 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'a')) x82 <- do x79 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'd')) x80 <- do x77 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'U')) x78 <- do x75 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'n')) x76 <- do x73 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'q')) x74 <- do x71 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'u')) x72 <- do x69 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'a')) x70 <- do x67 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'l')) x68 <- do x65 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'i')) x66 <- do x63 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'f')) x64 <- do x61 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'i')) x62 <- do x59 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'e')) x60 <- do x57 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'd')) x58 <- do x55 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'T')) x56 <- do x53 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'e')) x54 <- do x51 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'r')) x52 <- do x49 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'm')) x50 <- do x47 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char ':')) x48 <- do x45 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char ' ')) x46 <- do x43 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'a')) x44 <- do x41 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'm')) x42 <- do x39 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'b')) x40 <- do x37 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'i')) x38 <- do x35 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'g')) x36 <- do x33 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'u')) x34 <- do x31 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'o')) x32 <- do x29 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'u')) x30 <- do x27 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 's')) x28 <- do x25 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char ' ')) x26 <- do x23 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'p')) x24 <- do x21 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'a')) x22 <- do x19 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'r')) x20 <- do x17 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 's')) x18 <- do x15 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'e')) x16 <- DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return Curry.DebugModule.Prelude.Nil) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x15, DI.genTerm x16])) (Prelude.return (Curry.DebugModule.Prelude.Cons x15 x16)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x17, DI.genTerm x18])) (Prelude.return (Curry.DebugModule.Prelude.Cons x17 x18)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x19, DI.genTerm x20])) (Prelude.return (Curry.DebugModule.Prelude.Cons x19 x20)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x21, DI.genTerm x22])) (Prelude.return (Curry.DebugModule.Prelude.Cons x21 x22)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x23, DI.genTerm x24])) (Prelude.return (Curry.DebugModule.Prelude.Cons x23 x24)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x25, DI.genTerm x26])) (Prelude.return (Curry.DebugModule.Prelude.Cons x25 x26)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x27, DI.genTerm x28])) (Prelude.return (Curry.DebugModule.Prelude.Cons x27 x28)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x29, DI.genTerm x30])) (Prelude.return (Curry.DebugModule.Prelude.Cons x29 x30)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x31, DI.genTerm x32])) (Prelude.return (Curry.DebugModule.Prelude.Cons x31 x32)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x33, DI.genTerm x34])) (Prelude.return (Curry.DebugModule.Prelude.Cons x33 x34)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x35, DI.genTerm x36])) (Prelude.return (Curry.DebugModule.Prelude.Cons x35 x36)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x37, DI.genTerm x38])) (Prelude.return (Curry.DebugModule.Prelude.Cons x37 x38)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x39, DI.genTerm x40])) (Prelude.return (Curry.DebugModule.Prelude.Cons x39 x40)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x41, DI.genTerm x42])) (Prelude.return (Curry.DebugModule.Prelude.Cons x41 x42)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x43, DI.genTerm x44])) (Prelude.return (Curry.DebugModule.Prelude.Cons x43 x44)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x45, DI.genTerm x46])) (Prelude.return (Curry.DebugModule.Prelude.Cons x45 x46)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x47, DI.genTerm x48])) (Prelude.return (Curry.DebugModule.Prelude.Cons x47 x48)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x49, DI.genTerm x50])) (Prelude.return (Curry.DebugModule.Prelude.Cons x49 x50)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x51, DI.genTerm x52])) (Prelude.return (Curry.DebugModule.Prelude.Cons x51 x52)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x53, DI.genTerm x54])) (Prelude.return (Curry.DebugModule.Prelude.Cons x53 x54)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x55, DI.genTerm x56])) (Prelude.return (Curry.DebugModule.Prelude.Cons x55 x56)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x57, DI.genTerm x58])) (Prelude.return (Curry.DebugModule.Prelude.Cons x57 x58)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x59, DI.genTerm x60])) (Prelude.return (Curry.DebugModule.Prelude.Cons x59 x60)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x61, DI.genTerm x62])) (Prelude.return (Curry.DebugModule.Prelude.Cons x61 x62)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x63, DI.genTerm x64])) (Prelude.return (Curry.DebugModule.Prelude.Cons x63 x64)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x65, DI.genTerm x66])) (Prelude.return (Curry.DebugModule.Prelude.Cons x65 x66)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x67, DI.genTerm x68])) (Prelude.return (Curry.DebugModule.Prelude.Cons x67 x68)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x69, DI.genTerm x70])) (Prelude.return (Curry.DebugModule.Prelude.Cons x69 x70)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x71, DI.genTerm x72])) (Prelude.return (Curry.DebugModule.Prelude.Cons x71 x72)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x73, DI.genTerm x74])) (Prelude.return (Curry.DebugModule.Prelude.Cons x73 x74)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x75, DI.genTerm x76])) (Prelude.return (Curry.DebugModule.Prelude.Cons x75 x76)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x77, DI.genTerm x78])) (Prelude.return (Curry.DebugModule.Prelude.Cons x77 x78)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x79, DI.genTerm x80])) (Prelude.return (Curry.DebugModule.Prelude.Cons x79 x80)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x81, DI.genTerm x82])) (Prelude.return (Curry.DebugModule.Prelude.Cons x81 x82)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x83, DI.genTerm x84])) (Prelude.return (Curry.DebugModule.Prelude.Cons x83 x84)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x85, DI.genTerm x86])) (Prelude.return (Curry.DebugModule.Prelude.Cons x85 x86)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x87, DI.genTerm x88])) (Prelude.return (Curry.DebugModule.Prelude.Cons x87 x88)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x89, DI.genTerm x90])) (Prelude.return (Curry.DebugModule.Prelude.Cons x89 x90)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x91, DI.genTerm x92])) (Prelude.return (Curry.DebugModule.Prelude.Cons x91 x92)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x93, DI.genTerm x94])) (Prelude.return (Curry.DebugModule.Prelude.Cons x93 x94)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x95, DI.genTerm x96])) (Prelude.return (Curry.DebugModule.Prelude.Cons x95 x96)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x97, DI.genTerm x98])) (Prelude.return (Curry.DebugModule.Prelude.Cons x97 x98)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x99, DI.genTerm x100])) (Prelude.return (Curry.DebugModule.Prelude.Cons x99 x100)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x101, DI.genTerm x102])) (Prelude.return (Curry.DebugModule.Prelude.Cons x101 x102)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x103, DI.genTerm x104])) (Prelude.return (Curry.DebugModule.Prelude.Cons x103 x104)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x105, DI.genTerm x106])) (Prelude.return (Curry.DebugModule.Prelude.Cons x105 x106)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x107, DI.genTerm x108])) (Prelude.return (Curry.DebugModule.Prelude.Cons x107 x108)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x109, DI.genTerm x110])) (Prelude.return (Curry.DebugModule.Prelude.Cons x109 x110)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x111, DI.genTerm x112])) (Prelude.return (Curry.DebugModule.Prelude.Cons x111 x112)) DM.funcCallHook "error" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x113])) (Curry.DebugModule.Prelude.strict_error x113))) _ -> DM.treatCase (DM.nepCaseHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x114]))) (strict__case_9 x5 x6) x114))) term_strict__case_9 x1 = DI.Term "_case_9" (DI.SrcID "ReadShowTerm" 0) x1 strict__case_8 x5 x6 x7 = DM.eval (DM.funcDeclHook "_case_8" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x5, DI.genTerm x6, DI.genTerm x7])) (do x157 <- Prelude.return x7 DM.caseHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x157])) (case x157 of Curry.DebugModule.Prelude.True -> DM.branchHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (DM.eval (Prelude.return x5)) Curry.DebugModule.Prelude.False -> DM.branchHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (DM.eval (do x156 <- do x154 <- do x152 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'R')) x153 <- do x150 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'e')) x151 <- do x148 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'a')) x149 <- do x146 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'd')) x147 <- do x144 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'S')) x145 <- do x142 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'h')) x143 <- do x140 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'o')) x141 <- do x138 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'w')) x139 <- do x136 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'T')) x137 <- do x134 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'e')) x135 <- do x132 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'r')) x133 <- do x130 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'm')) x131 <- do x128 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char '.')) x129 <- do x126 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'r')) x127 <- do x124 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'e')) x125 <- do x122 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'a')) x123 <- do x120 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'd')) x121 <- do x118 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'U')) x119 <- do x116 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'n')) x117 <- do x114 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'q')) x115 <- do x112 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'u')) x113 <- do x110 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'a')) x111 <- do x108 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'l')) x109 <- do x106 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'i')) x107 <- do x104 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'f')) x105 <- do x102 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'i')) x103 <- do x100 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'e')) x101 <- do x98 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'd')) x99 <- do x96 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'T')) x97 <- do x94 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'e')) x95 <- do x92 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'r')) x93 <- do x90 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'm')) x91 <- do x88 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char ':')) x89 <- do x86 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char ' ')) x87 <- do x84 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'n')) x85 <- do x82 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'o')) x83 <- do x80 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char ' ')) x81 <- do x78 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'p')) x79 <- do x76 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'a')) x77 <- do x74 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'r')) x75 <- do x72 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 's')) x73 <- do x70 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'e')) x71 <- do x68 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char ',')) x69 <- do x66 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char ' ')) x67 <- do x64 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'u')) x65 <- do x62 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'n')) x63 <- do x60 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'm')) x61 <- do x58 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'a')) x59 <- do x56 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 't')) x57 <- do x54 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'c')) x55 <- do x52 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'h')) x53 <- do x50 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'e')) x51 <- do x48 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'd')) x49 <- do x46 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char ' ')) x47 <- do x44 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 's')) x45 <- do x42 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 't')) x43 <- do x40 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'r')) x41 <- do x38 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'i')) x39 <- do x36 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'n')) x37 <- do x34 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'g')) x35 <- do x32 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char ' ')) x33 <- do x30 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'a')) x31 <- do x28 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'f')) x29 <- do x26 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 't')) x27 <- do x24 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'e')) x25 <- do x22 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'r')) x23 <- do x20 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char ' ')) x21 <- do x18 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 't')) x19 <- do x16 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'e')) x17 <- do x14 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'r')) x15 <- do x12 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'm')) x13 <- do x10 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char ':')) x11 <- do x8 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char ' ')) x9 <- DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return Curry.DebugModule.Prelude.Nil) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x8, DI.genTerm x9])) (Prelude.return (Curry.DebugModule.Prelude.Cons x8 x9)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x10, DI.genTerm x11])) (Prelude.return (Curry.DebugModule.Prelude.Cons x10 x11)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x12, DI.genTerm x13])) (Prelude.return (Curry.DebugModule.Prelude.Cons x12 x13)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x14, DI.genTerm x15])) (Prelude.return (Curry.DebugModule.Prelude.Cons x14 x15)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x16, DI.genTerm x17])) (Prelude.return (Curry.DebugModule.Prelude.Cons x16 x17)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x18, DI.genTerm x19])) (Prelude.return (Curry.DebugModule.Prelude.Cons x18 x19)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x20, DI.genTerm x21])) (Prelude.return (Curry.DebugModule.Prelude.Cons x20 x21)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x22, DI.genTerm x23])) (Prelude.return (Curry.DebugModule.Prelude.Cons x22 x23)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x24, DI.genTerm x25])) (Prelude.return (Curry.DebugModule.Prelude.Cons x24 x25)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x26, DI.genTerm x27])) (Prelude.return (Curry.DebugModule.Prelude.Cons x26 x27)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x28, DI.genTerm x29])) (Prelude.return (Curry.DebugModule.Prelude.Cons x28 x29)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x30, DI.genTerm x31])) (Prelude.return (Curry.DebugModule.Prelude.Cons x30 x31)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x32, DI.genTerm x33])) (Prelude.return (Curry.DebugModule.Prelude.Cons x32 x33)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x34, DI.genTerm x35])) (Prelude.return (Curry.DebugModule.Prelude.Cons x34 x35)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x36, DI.genTerm x37])) (Prelude.return (Curry.DebugModule.Prelude.Cons x36 x37)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x38, DI.genTerm x39])) (Prelude.return (Curry.DebugModule.Prelude.Cons x38 x39)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x40, DI.genTerm x41])) (Prelude.return (Curry.DebugModule.Prelude.Cons x40 x41)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x42, DI.genTerm x43])) (Prelude.return (Curry.DebugModule.Prelude.Cons x42 x43)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x44, DI.genTerm x45])) (Prelude.return (Curry.DebugModule.Prelude.Cons x44 x45)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x46, DI.genTerm x47])) (Prelude.return (Curry.DebugModule.Prelude.Cons x46 x47)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x48, DI.genTerm x49])) (Prelude.return (Curry.DebugModule.Prelude.Cons x48 x49)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x50, DI.genTerm x51])) (Prelude.return (Curry.DebugModule.Prelude.Cons x50 x51)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x52, DI.genTerm x53])) (Prelude.return (Curry.DebugModule.Prelude.Cons x52 x53)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x54, DI.genTerm x55])) (Prelude.return (Curry.DebugModule.Prelude.Cons x54 x55)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x56, DI.genTerm x57])) (Prelude.return (Curry.DebugModule.Prelude.Cons x56 x57)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x58, DI.genTerm x59])) (Prelude.return (Curry.DebugModule.Prelude.Cons x58 x59)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x60, DI.genTerm x61])) (Prelude.return (Curry.DebugModule.Prelude.Cons x60 x61)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x62, DI.genTerm x63])) (Prelude.return (Curry.DebugModule.Prelude.Cons x62 x63)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x64, DI.genTerm x65])) (Prelude.return (Curry.DebugModule.Prelude.Cons x64 x65)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x66, DI.genTerm x67])) (Prelude.return (Curry.DebugModule.Prelude.Cons x66 x67)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x68, DI.genTerm x69])) (Prelude.return (Curry.DebugModule.Prelude.Cons x68 x69)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x70, DI.genTerm x71])) (Prelude.return (Curry.DebugModule.Prelude.Cons x70 x71)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x72, DI.genTerm x73])) (Prelude.return (Curry.DebugModule.Prelude.Cons x72 x73)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x74, DI.genTerm x75])) (Prelude.return (Curry.DebugModule.Prelude.Cons x74 x75)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x76, DI.genTerm x77])) (Prelude.return (Curry.DebugModule.Prelude.Cons x76 x77)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x78, DI.genTerm x79])) (Prelude.return (Curry.DebugModule.Prelude.Cons x78 x79)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x80, DI.genTerm x81])) (Prelude.return (Curry.DebugModule.Prelude.Cons x80 x81)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x82, DI.genTerm x83])) (Prelude.return (Curry.DebugModule.Prelude.Cons x82 x83)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x84, DI.genTerm x85])) (Prelude.return (Curry.DebugModule.Prelude.Cons x84 x85)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x86, DI.genTerm x87])) (Prelude.return (Curry.DebugModule.Prelude.Cons x86 x87)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x88, DI.genTerm x89])) (Prelude.return (Curry.DebugModule.Prelude.Cons x88 x89)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x90, DI.genTerm x91])) (Prelude.return (Curry.DebugModule.Prelude.Cons x90 x91)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x92, DI.genTerm x93])) (Prelude.return (Curry.DebugModule.Prelude.Cons x92 x93)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x94, DI.genTerm x95])) (Prelude.return (Curry.DebugModule.Prelude.Cons x94 x95)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x96, DI.genTerm x97])) (Prelude.return (Curry.DebugModule.Prelude.Cons x96 x97)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x98, DI.genTerm x99])) (Prelude.return (Curry.DebugModule.Prelude.Cons x98 x99)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x100, DI.genTerm x101])) (Prelude.return (Curry.DebugModule.Prelude.Cons x100 x101)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x102, DI.genTerm x103])) (Prelude.return (Curry.DebugModule.Prelude.Cons x102 x103)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x104, DI.genTerm x105])) (Prelude.return (Curry.DebugModule.Prelude.Cons x104 x105)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x106, DI.genTerm x107])) (Prelude.return (Curry.DebugModule.Prelude.Cons x106 x107)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x108, DI.genTerm x109])) (Prelude.return (Curry.DebugModule.Prelude.Cons x108 x109)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x110, DI.genTerm x111])) (Prelude.return (Curry.DebugModule.Prelude.Cons x110 x111)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x112, DI.genTerm x113])) (Prelude.return (Curry.DebugModule.Prelude.Cons x112 x113)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x114, DI.genTerm x115])) (Prelude.return (Curry.DebugModule.Prelude.Cons x114 x115)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x116, DI.genTerm x117])) (Prelude.return (Curry.DebugModule.Prelude.Cons x116 x117)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x118, DI.genTerm x119])) (Prelude.return (Curry.DebugModule.Prelude.Cons x118 x119)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x120, DI.genTerm x121])) (Prelude.return (Curry.DebugModule.Prelude.Cons x120 x121)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x122, DI.genTerm x123])) (Prelude.return (Curry.DebugModule.Prelude.Cons x122 x123)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x124, DI.genTerm x125])) (Prelude.return (Curry.DebugModule.Prelude.Cons x124 x125)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x126, DI.genTerm x127])) (Prelude.return (Curry.DebugModule.Prelude.Cons x126 x127)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x128, DI.genTerm x129])) (Prelude.return (Curry.DebugModule.Prelude.Cons x128 x129)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x130, DI.genTerm x131])) (Prelude.return (Curry.DebugModule.Prelude.Cons x130 x131)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x132, DI.genTerm x133])) (Prelude.return (Curry.DebugModule.Prelude.Cons x132 x133)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x134, DI.genTerm x135])) (Prelude.return (Curry.DebugModule.Prelude.Cons x134 x135)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x136, DI.genTerm x137])) (Prelude.return (Curry.DebugModule.Prelude.Cons x136 x137)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x138, DI.genTerm x139])) (Prelude.return (Curry.DebugModule.Prelude.Cons x138 x139)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x140, DI.genTerm x141])) (Prelude.return (Curry.DebugModule.Prelude.Cons x140 x141)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x142, DI.genTerm x143])) (Prelude.return (Curry.DebugModule.Prelude.Cons x142 x143)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x144, DI.genTerm x145])) (Prelude.return (Curry.DebugModule.Prelude.Cons x144 x145)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x146, DI.genTerm x147])) (Prelude.return (Curry.DebugModule.Prelude.Cons x146 x147)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x148, DI.genTerm x149])) (Prelude.return (Curry.DebugModule.Prelude.Cons x148 x149)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x150, DI.genTerm x151])) (Prelude.return (Curry.DebugModule.Prelude.Cons x150 x151)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x152, DI.genTerm x153])) (Prelude.return (Curry.DebugModule.Prelude.Cons x152 x153)) x155 <- Prelude.return x6 DM.funcCallHook "++" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x154, DI.genTerm x155])) (Curry.DebugModule.Prelude.op_PlusPlus x154 x155) DM.funcCallHook "error" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x156])) (Curry.DebugModule.Prelude.strict_error x156))) _ -> DM.treatCase (DM.nepCaseHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x157]))) (strict__case_8 x5 x6) x157))) term_strict__case_8 x1 = DI.Term "_case_8" (DI.SrcID "ReadShowTerm" 0) x1 strict__case_12 x2 x1 = DM.eval (DM.funcDeclHook "_case_12" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x2, DI.genTerm x1])) (do x144 <- Prelude.return x1 DM.caseHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" (- 1)) (DI.DynamicInfo [] [DI.genTerm x144])) (case x144 of Curry.DebugModule.Prelude.Nil -> DM.branchHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (DM.eval (do x139 <- do x137 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'R')) x138 <- do x135 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'e')) x136 <- do x133 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'a')) x134 <- do x131 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'd')) x132 <- do x129 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'S')) x130 <- do x127 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'h')) x128 <- do x125 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'o')) x126 <- do x123 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'w')) x124 <- do x121 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'T')) x122 <- do x119 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'e')) x120 <- do x117 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'r')) x118 <- do x115 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'm')) x116 <- do x113 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char '.')) x114 <- do x111 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'r')) x112 <- do x109 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'e')) x110 <- do x107 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'a')) x108 <- do x105 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'd')) x106 <- do x103 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 's')) x104 <- do x101 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'U')) x102 <- do x99 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'n')) x100 <- do x97 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'q')) x98 <- do x95 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'u')) x96 <- do x93 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'a')) x94 <- do x91 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'l')) x92 <- do x89 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'i')) x90 <- do x87 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'f')) x88 <- do x85 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'i')) x86 <- do x83 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'e')) x84 <- do x81 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'd')) x82 <- do x79 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'T')) x80 <- do x77 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'e')) x78 <- do x75 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'r')) x76 <- do x73 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'm')) x74 <- do x71 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char ':')) x72 <- do x69 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char ' ')) x70 <- do x67 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'l')) x68 <- do x65 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'i')) x66 <- do x63 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 's')) x64 <- do x61 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 't')) x62 <- do x59 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char ' ')) x60 <- do x57 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'o')) x58 <- do x55 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'f')) x56 <- do x53 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char ' ')) x54 <- do x51 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'm')) x52 <- do x49 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'o')) x50 <- do x47 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'd')) x48 <- do x45 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'u')) x46 <- do x43 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'l')) x44 <- do x41 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'e')) x42 <- do x39 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char ' ')) x40 <- do x37 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'p')) x38 <- do x35 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'r')) x36 <- do x33 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'e')) x34 <- do x31 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'f')) x32 <- do x29 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'i')) x30 <- do x27 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'x')) x28 <- do x25 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'e')) x26 <- do x23 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 's')) x24 <- do x21 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char ' ')) x22 <- do x19 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'i')) x20 <- do x17 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 's')) x18 <- do x15 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char ' ')) x16 <- do x13 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'e')) x14 <- do x11 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'm')) x12 <- do x9 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'p')) x10 <- do x7 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 't')) x8 <- do x5 <- DM.litHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return (Curry.DebugModule.Prelude.Char 'y')) x6 <- DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (Prelude.return Curry.DebugModule.Prelude.Nil) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x5, DI.genTerm x6])) (Prelude.return (Curry.DebugModule.Prelude.Cons x5 x6)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x7, DI.genTerm x8])) (Prelude.return (Curry.DebugModule.Prelude.Cons x7 x8)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x9, DI.genTerm x10])) (Prelude.return (Curry.DebugModule.Prelude.Cons x9 x10)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x11, DI.genTerm x12])) (Prelude.return (Curry.DebugModule.Prelude.Cons x11 x12)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x13, DI.genTerm x14])) (Prelude.return (Curry.DebugModule.Prelude.Cons x13 x14)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x15, DI.genTerm x16])) (Prelude.return (Curry.DebugModule.Prelude.Cons x15 x16)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x17, DI.genTerm x18])) (Prelude.return (Curry.DebugModule.Prelude.Cons x17 x18)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x19, DI.genTerm x20])) (Prelude.return (Curry.DebugModule.Prelude.Cons x19 x20)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x21, DI.genTerm x22])) (Prelude.return (Curry.DebugModule.Prelude.Cons x21 x22)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x23, DI.genTerm x24])) (Prelude.return (Curry.DebugModule.Prelude.Cons x23 x24)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x25, DI.genTerm x26])) (Prelude.return (Curry.DebugModule.Prelude.Cons x25 x26)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x27, DI.genTerm x28])) (Prelude.return (Curry.DebugModule.Prelude.Cons x27 x28)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x29, DI.genTerm x30])) (Prelude.return (Curry.DebugModule.Prelude.Cons x29 x30)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x31, DI.genTerm x32])) (Prelude.return (Curry.DebugModule.Prelude.Cons x31 x32)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x33, DI.genTerm x34])) (Prelude.return (Curry.DebugModule.Prelude.Cons x33 x34)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x35, DI.genTerm x36])) (Prelude.return (Curry.DebugModule.Prelude.Cons x35 x36)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x37, DI.genTerm x38])) (Prelude.return (Curry.DebugModule.Prelude.Cons x37 x38)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x39, DI.genTerm x40])) (Prelude.return (Curry.DebugModule.Prelude.Cons x39 x40)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x41, DI.genTerm x42])) (Prelude.return (Curry.DebugModule.Prelude.Cons x41 x42)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x43, DI.genTerm x44])) (Prelude.return (Curry.DebugModule.Prelude.Cons x43 x44)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x45, DI.genTerm x46])) (Prelude.return (Curry.DebugModule.Prelude.Cons x45 x46)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x47, DI.genTerm x48])) (Prelude.return (Curry.DebugModule.Prelude.Cons x47 x48)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x49, DI.genTerm x50])) (Prelude.return (Curry.DebugModule.Prelude.Cons x49 x50)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x51, DI.genTerm x52])) (Prelude.return (Curry.DebugModule.Prelude.Cons x51 x52)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x53, DI.genTerm x54])) (Prelude.return (Curry.DebugModule.Prelude.Cons x53 x54)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x55, DI.genTerm x56])) (Prelude.return (Curry.DebugModule.Prelude.Cons x55 x56)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x57, DI.genTerm x58])) (Prelude.return (Curry.DebugModule.Prelude.Cons x57 x58)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x59, DI.genTerm x60])) (Prelude.return (Curry.DebugModule.Prelude.Cons x59 x60)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x61, DI.genTerm x62])) (Prelude.return (Curry.DebugModule.Prelude.Cons x61 x62)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x63, DI.genTerm x64])) (Prelude.return (Curry.DebugModule.Prelude.Cons x63 x64)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x65, DI.genTerm x66])) (Prelude.return (Curry.DebugModule.Prelude.Cons x65 x66)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x67, DI.genTerm x68])) (Prelude.return (Curry.DebugModule.Prelude.Cons x67 x68)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x69, DI.genTerm x70])) (Prelude.return (Curry.DebugModule.Prelude.Cons x69 x70)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x71, DI.genTerm x72])) (Prelude.return (Curry.DebugModule.Prelude.Cons x71 x72)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x73, DI.genTerm x74])) (Prelude.return (Curry.DebugModule.Prelude.Cons x73 x74)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x75, DI.genTerm x76])) (Prelude.return (Curry.DebugModule.Prelude.Cons x75 x76)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x77, DI.genTerm x78])) (Prelude.return (Curry.DebugModule.Prelude.Cons x77 x78)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x79, DI.genTerm x80])) (Prelude.return (Curry.DebugModule.Prelude.Cons x79 x80)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x81, DI.genTerm x82])) (Prelude.return (Curry.DebugModule.Prelude.Cons x81 x82)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x83, DI.genTerm x84])) (Prelude.return (Curry.DebugModule.Prelude.Cons x83 x84)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x85, DI.genTerm x86])) (Prelude.return (Curry.DebugModule.Prelude.Cons x85 x86)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x87, DI.genTerm x88])) (Prelude.return (Curry.DebugModule.Prelude.Cons x87 x88)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x89, DI.genTerm x90])) (Prelude.return (Curry.DebugModule.Prelude.Cons x89 x90)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x91, DI.genTerm x92])) (Prelude.return (Curry.DebugModule.Prelude.Cons x91 x92)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x93, DI.genTerm x94])) (Prelude.return (Curry.DebugModule.Prelude.Cons x93 x94)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x95, DI.genTerm x96])) (Prelude.return (Curry.DebugModule.Prelude.Cons x95 x96)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x97, DI.genTerm x98])) (Prelude.return (Curry.DebugModule.Prelude.Cons x97 x98)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x99, DI.genTerm x100])) (Prelude.return (Curry.DebugModule.Prelude.Cons x99 x100)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x101, DI.genTerm x102])) (Prelude.return (Curry.DebugModule.Prelude.Cons x101 x102)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x103, DI.genTerm x104])) (Prelude.return (Curry.DebugModule.Prelude.Cons x103 x104)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x105, DI.genTerm x106])) (Prelude.return (Curry.DebugModule.Prelude.Cons x105 x106)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x107, DI.genTerm x108])) (Prelude.return (Curry.DebugModule.Prelude.Cons x107 x108)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x109, DI.genTerm x110])) (Prelude.return (Curry.DebugModule.Prelude.Cons x109 x110)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x111, DI.genTerm x112])) (Prelude.return (Curry.DebugModule.Prelude.Cons x111 x112)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x113, DI.genTerm x114])) (Prelude.return (Curry.DebugModule.Prelude.Cons x113 x114)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x115, DI.genTerm x116])) (Prelude.return (Curry.DebugModule.Prelude.Cons x115 x116)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x117, DI.genTerm x118])) (Prelude.return (Curry.DebugModule.Prelude.Cons x117 x118)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x119, DI.genTerm x120])) (Prelude.return (Curry.DebugModule.Prelude.Cons x119 x120)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x121, DI.genTerm x122])) (Prelude.return (Curry.DebugModule.Prelude.Cons x121 x122)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x123, DI.genTerm x124])) (Prelude.return (Curry.DebugModule.Prelude.Cons x123 x124)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x125, DI.genTerm x126])) (Prelude.return (Curry.DebugModule.Prelude.Cons x125 x126)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x127, DI.genTerm x128])) (Prelude.return (Curry.DebugModule.Prelude.Cons x127 x128)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x129, DI.genTerm x130])) (Prelude.return (Curry.DebugModule.Prelude.Cons x129 x130)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x131, DI.genTerm x132])) (Prelude.return (Curry.DebugModule.Prelude.Cons x131 x132)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x133, DI.genTerm x134])) (Prelude.return (Curry.DebugModule.Prelude.Cons x133 x134)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x135, DI.genTerm x136])) (Prelude.return (Curry.DebugModule.Prelude.Cons x135 x136)) DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x137, DI.genTerm x138])) (Prelude.return (Curry.DebugModule.Prelude.Cons x137 x138)) DM.funcCallHook "error" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x139])) (Curry.DebugModule.Prelude.strict_error x139))) Curry.DebugModule.Prelude.Cons x3 x4 -> DM.branchHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [])) (DM.eval (do x142 <- do x140 <- Prelude.return x3 x141 <- Prelude.return x4 DM.constructorHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x140, DI.genTerm x141])) (Prelude.return (Curry.DebugModule.Prelude.Cons x140 x141)) x143 <- Prelude.return x2 DM.funcCallHook "readsUnqualifiedTermWithPrefixes" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x142, DI.genTerm x143])) (strict_readsUnqualifiedTermWithPrefixes x142 x143))) _ -> DM.treatCase (DM.nepRulesHook (DI.DebugInfo (DI.SrcID "ReadShowTerm" (- 1)) (DI.DynamicInfo [] [DI.genTerm x144]))) (strict__case_12 x2) x144))) term_strict__case_12 x1 = DI.Term "_case_12" (DI.SrcID "ReadShowTerm" 0) x1 hook_strict_prim_showTerm x1 value = DM.eval (DM.funcDeclHook "prim_showTerm" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x1])) value) term_strict_prim_showTerm x1 = DI.Term "prim_showTerm" (DI.SrcID "ReadShowTerm" 0) x1 hook_strict_prim_showQTerm x1 value = DM.eval (DM.funcDeclHook "prim_showQTerm" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x1])) value) term_strict_prim_showQTerm x1 = DI.Term "prim_showQTerm" (DI.SrcID "ReadShowTerm" 0) x1 hook_strict_prim_readsUnqualifiedTerm x1 x2 value = DM.eval (DM.funcDeclHook "prim_readsUnqualifiedTerm" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x1, DI.genTerm x2])) value) term_strict_prim_readsUnqualifiedTerm x1 = DI.Term "prim_readsUnqualifiedTerm" (DI.SrcID "ReadShowTerm" 0) x1 hook_strict_prim_readsQTerm x1 value = DM.eval (DM.funcDeclHook "prim_readsQTerm" (DI.DebugInfo (DI.SrcID "ReadShowTerm" 0) (DI.DynamicInfo [] [DI.genTerm x1])) value) term_strict_prim_readsQTerm x1 = DI.Term "prim_readsQTerm" (DI.SrcID "ReadShowTerm" 0) x1