ByteCodeLink.lookupIE PrelTup.Z73T{-72m-}
Johan Mårtensson
johan.martensson at safelogic.se
Wed Oct 17 10:48:27 EDT 2001
Hi, I got the following error message:
___ ___ _
/ _ \ /\ /\/ __(_)
/ /_\// /_/ / / | | GHC Interactive, version 5.02, for Haskell 98.
/ /_\\/ __ / /___| | http://www.haskell.org/ghc/
\____/\/ /_/\____/|_| Type :? for help.
Loading package std ... linking ... done.
Compiling FormulaType ( FormulaType.hs, interpreted )
Compiling Reqtypes ( Reqtypes.hs, interpreted )
Compiling Reqparser ( Reqparser.hs, interpreted )
ghc-5.02: panic! (the `impossible' happened, GHC version 5.02):
ByteCodeLink.lookupIE PrelTup.Z73T{-72m-}
Please report it as a compiler bug to glasgow-haskell-bugs at haskell.org,
or http://sourceforge.net/projects/ghc/.
when running ghci on the following file (Reqparser.hs) generated by happy (v.
1.10). I also include the files FormulaType.hs and Reqtypes.hs.
-------- begin Reqparser.hs --------------------------------------------
-- parser produced by Happy Version 1.10
module Reqparser
( lexer -- :: LineNr -> String -> [Token]
, reqlexer -- :: String -> [Token]
, reqparser -- :: [Token] -> Requirement
, charToDigit -- :: Char -> Int
, intLToNumber -- :: Int -> [Int] -> Int
, stringToNumber -- :: String -> Int
) where
import Char
( isAlpha
, isDigit
, isUpper
, ord
)
import Reqtypes
data HappyAbsSyn t39 t42 t43
= HappyTerminal Token
| HappyErrorToken Int
| HappyAbsSyn4 (Requirement)
| HappyAbsSyn7 (Reqform)
| HappyAbsSyn13 ([Reqform])
| HappyAbsSyn19 (Token)
| HappyAbsSyn22 (Reqpred)
| HappyAbsSyn26 ([Reqpred])
| HappyAbsSyn39 t39
| HappyAbsSyn40 (Reqterm)
| HappyAbsSyn41 (Offset)
| HappyAbsSyn42 t42
| HappyAbsSyn43 t43
action_0 (48) = happyShift action_34
action_0 (52) = happyShift action_35
action_0 (58) = happyShift action_36
action_0 (66) = happyShift action_62
action_0 (67) = happyShift action_63
action_0 (68) = happyShift action_64
action_0 (69) = happyShift action_65
action_0 (70) = happyShift action_66
action_0 (71) = happyShift action_67
action_0 (72) = happyShift action_68
action_0 (74) = happyShift action_37
action_0 (75) = happyShift action_38
action_0 (78) = happyShift action_39
action_0 (90) = happyShift action_40
action_0 (91) = happyShift action_41
action_0 (92) = happyShift action_42
action_0 (93) = happyShift action_43
action_0 (94) = happyShift action_44
action_0 (95) = happyShift action_45
action_0 (96) = happyShift action_46
action_0 (97) = happyShift action_47
action_0 (98) = happyShift action_48
action_0 (99) = happyShift action_49
action_0 (102) = happyShift action_50
action_0 (121) = happyShift action_51
action_0 (122) = happyShift action_52
action_0 (123) = happyShift action_53
action_0 (124) = happyShift action_54
action_0 (125) = happyShift action_55
action_0 (4) = happyGoto action_56
action_0 (5) = happyGoto action_57
action_0 (6) = happyGoto action_58
action_0 (7) = happyGoto action_59
action_0 (8) = happyGoto action_60
action_0 (9) = happyGoto action_61
action_0 (10) = happyGoto action_2
action_0 (11) = happyGoto action_3
action_0 (12) = happyGoto action_4
action_0 (13) = happyGoto action_5
action_0 (14) = happyGoto action_6
action_0 (15) = happyGoto action_7
action_0 (16) = happyGoto action_8
action_0 (17) = happyGoto action_9
action_0 (18) = happyGoto action_10
action_0 (20) = happyGoto action_11
action_0 (21) = happyGoto action_12
action_0 (22) = happyGoto action_13
action_0 (23) = happyGoto action_14
action_0 (24) = happyGoto action_15
action_0 (25) = happyGoto action_16
action_0 (26) = happyGoto action_17
action_0 (27) = happyGoto action_18
action_0 (28) = happyGoto action_19
action_0 (29) = happyGoto action_20
action_0 (30) = happyGoto action_21
action_0 (31) = happyGoto action_22
action_0 (32) = happyGoto action_23
action_0 (33) = happyGoto action_24
action_0 (34) = happyGoto action_25
action_0 (35) = happyGoto action_26
action_0 (36) = happyGoto action_27
action_0 (37) = happyGoto action_28
action_0 (38) = happyGoto action_29
action_0 (40) = happyGoto action_30
action_0 (41) = happyGoto action_31
action_0 (42) = happyGoto action_32
action_0 (43) = happyGoto action_33
action_0 _ = happyFail
action_1 (48) = happyShift action_34
action_1 (52) = happyShift action_35
action_1 (58) = happyShift action_36
action_1 (74) = happyShift action_37
action_1 (75) = happyShift action_38
action_1 (78) = happyShift action_39
action_1 (90) = happyShift action_40
action_1 (91) = happyShift action_41
action_1 (92) = happyShift action_42
action_1 (93) = happyShift action_43
action_1 (94) = happyShift action_44
action_1 (95) = happyShift action_45
action_1 (96) = happyShift action_46
action_1 (97) = happyShift action_47
action_1 (98) = happyShift action_48
action_1 (99) = happyShift action_49
action_1 (102) = happyShift action_50
action_1 (121) = happyShift action_51
action_1 (122) = happyShift action_52
action_1 (123) = happyShift action_53
action_1 (124) = happyShift action_54
action_1 (125) = happyShift action_55
action_1 (10) = happyGoto action_2
action_1 (11) = happyGoto action_3
action_1 (12) = happyGoto action_4
action_1 (13) = happyGoto action_5
action_1 (14) = happyGoto action_6
action_1 (15) = happyGoto action_7
action_1 (16) = happyGoto action_8
action_1 (17) = happyGoto action_9
action_1 (18) = happyGoto action_10
action_1 (20) = happyGoto action_11
action_1 (21) = happyGoto action_12
action_1 (22) = happyGoto action_13
action_1 (23) = happyGoto action_14
action_1 (24) = happyGoto action_15
action_1 (25) = happyGoto action_16
action_1 (26) = happyGoto action_17
action_1 (27) = happyGoto action_18
action_1 (28) = happyGoto action_19
action_1 (29) = happyGoto action_20
action_1 (30) = happyGoto action_21
action_1 (31) = happyGoto action_22
action_1 (32) = happyGoto action_23
action_1 (33) = happyGoto action_24
action_1 (34) = happyGoto action_25
action_1 (35) = happyGoto action_26
action_1 (36) = happyGoto action_27
action_1 (37) = happyGoto action_28
action_1 (38) = happyGoto action_29
action_1 (40) = happyGoto action_30
action_1 (41) = happyGoto action_31
action_1 (42) = happyGoto action_32
action_1 (43) = happyGoto action_33
action_1 _ = happyFail
action_2 _ = happyReduce_1
action_3 _ = happyReduce_16
action_4 (45) = happyShift action_166
action_4 _ = happyReduce_21
action_5 _ = happyReduce_26
action_6 (44) = happyShift action_165
action_6 _ = happyReduce_23
action_7 _ = happyReduce_30
action_8 (46) = happyShift action_164
action_8 _ = happyReduce_27
action_9 _ = happyReduce_17
action_10 _ = happyReduce_18
action_11 _ = happyReduce_19
action_12 (47) = happyShift action_163
action_12 _ = happyReduce_31
action_13 (100) = happyShift action_153
action_13 (103) = happyShift action_154
action_13 (104) = happyShift action_155
action_13 (105) = happyShift action_156
action_13 (106) = happyShift action_157
action_13 (107) = happyShift action_158
action_13 (108) = happyShift action_159
action_13 (109) = happyShift action_160
action_13 (110) = happyShift action_161
action_13 (111) = happyShift action_162
action_13 _ = happyFail
action_14 _ = happyReduce_73
action_15 _ = happyReduce_72
action_16 (80) = happyShift action_152
action_16 _ = happyReduce_76
action_17 _ = happyReduce_81
action_18 _ = happyReduce_78
action_19 _ = happyReduce_85
action_20 (77) = happyShift action_151
action_20 _ = happyReduce_82
action_21 _ = happyReduce_65
action_22 _ = happyReduce_121
action_23 _ = happyReduce_66
action_24 _ = happyReduce_67
action_25 _ = happyReduce_68
action_26 _ = happyReduce_69
action_27 _ = happyReduce_70
action_28 _ = happyReduce_71
action_29 (76) = happyShift action_137
action_29 (81) = happyShift action_138
action_29 (82) = happyShift action_139
action_29 (83) = happyShift action_140
action_29 (84) = happyShift action_141
action_29 (85) = happyShift action_142
action_29 (86) = happyShift action_143
action_29 (87) = happyShift action_144
action_29 (88) = happyShift action_145
action_29 (89) = happyShift action_146
action_29 (94) = happyShift action_147
action_29 (95) = happyShift action_148
action_29 (96) = happyShift action_149
action_29 (97) = happyShift action_150
action_29 _ = happyReduce_86
action_30 (113) = happyShift action_131
action_30 (114) = happyShift action_132
action_30 (115) = happyShift action_133
action_30 (116) = happyShift action_134
action_30 (117) = happyShift action_135
action_30 (118) = happyShift action_136
action_30 _ = happyReduce_137
action_31 (50) = happyShift action_125
action_31 (51) = happyShift action_126
action_31 (52) = happyShift action_35
action_31 (53) = happyShift action_127
action_31 (54) = happyShift action_128
action_31 (55) = happyShift action_129
action_31 (58) = happyShift action_130
action_31 (90) = happyShift action_40
action_31 (91) = happyShift action_41
action_31 (92) = happyShift action_42
action_31 (93) = happyShift action_43
action_31 (94) = happyShift action_44
action_31 (95) = happyShift action_45
action_31 (96) = happyShift action_46
action_31 (97) = happyShift action_47
action_31 (98) = happyShift action_48
action_31 (99) = happyShift action_49
action_31 (102) = happyShift action_50
action_31 (123) = happyShift action_53
action_31 (124) = happyShift action_89
action_31 (125) = happyShift action_55
action_31 (31) = happyGoto action_22
action_31 (38) = happyGoto action_123
action_31 (41) = happyGoto action_87
action_31 (43) = happyGoto action_124
action_31 _ = happyFail
action_32 (49) = happyShift action_116
action_32 (50) = happyShift action_117
action_32 (51) = happyShift action_118
action_32 (54) = happyShift action_119
action_32 (55) = happyShift action_120
action_32 (56) = happyShift action_121
action_32 (57) = happyShift action_122
action_32 _ = happyFail
action_33 (73) = happyShift action_112
action_33 (112) = happyShift action_113
action_33 (119) = happyShift action_114
action_33 (120) = happyShift action_115
action_33 _ = happyReduce_126
action_34 (48) = happyShift action_34
action_34 (52) = happyShift action_35
action_34 (58) = happyShift action_36
action_34 (74) = happyShift action_37
action_34 (75) = happyShift action_38
action_34 (78) = happyShift action_39
action_34 (90) = happyShift action_40
action_34 (91) = happyShift action_41
action_34 (92) = happyShift action_42
action_34 (93) = happyShift action_43
action_34 (94) = happyShift action_44
action_34 (95) = happyShift action_45
action_34 (96) = happyShift action_46
action_34 (97) = happyShift action_47
action_34 (98) = happyShift action_48
action_34 (99) = happyShift action_49
action_34 (102) = happyShift action_50
action_34 (121) = happyShift action_51
action_34 (122) = happyShift action_52
action_34 (123) = happyShift action_53
action_34 (124) = happyShift action_54
action_34 (125) = happyShift action_55
action_34 (21) = happyGoto action_109
action_34 (22) = happyGoto action_110
action_34 (23) = happyGoto action_14
action_34 (24) = happyGoto action_15
action_34 (25) = happyGoto action_16
action_34 (26) = happyGoto action_17
action_34 (27) = happyGoto action_18
action_34 (28) = happyGoto action_19
action_34 (29) = happyGoto action_20
action_34 (30) = happyGoto action_21
action_34 (31) = happyGoto action_22
action_34 (32) = happyGoto action_23
action_34 (33) = happyGoto action_24
action_34 (34) = happyGoto action_25
action_34 (35) = happyGoto action_26
action_34 (36) = happyGoto action_27
action_34 (37) = happyGoto action_28
action_34 (38) = happyGoto action_111
action_34 (40) = happyGoto action_30
action_34 (41) = happyGoto action_31
action_34 (42) = happyGoto action_32
action_34 (43) = happyGoto action_33
action_34 _ = happyFail
action_35 _ = happyReduce_129
action_36 (48) = happyShift action_34
action_36 (52) = happyShift action_35
action_36 (58) = happyShift action_36
action_36 (74) = happyShift action_37
action_36 (75) = happyShift action_38
action_36 (78) = happyShift action_39
action_36 (90) = happyShift action_40
action_36 (91) = happyShift action_41
action_36 (92) = happyShift action_42
action_36 (93) = happyShift action_43
action_36 (94) = happyShift action_44
action_36 (95) = happyShift action_45
action_36 (96) = happyShift action_46
action_36 (97) = happyShift action_47
action_36 (98) = happyShift action_48
action_36 (99) = happyShift action_49
action_36 (102) = happyShift action_50
action_36 (121) = happyShift action_51
action_36 (122) = happyShift action_52
action_36 (123) = happyShift action_53
action_36 (124) = happyShift action_54
action_36 (125) = happyShift action_55
action_36 (10) = happyGoto action_104
action_36 (11) = happyGoto action_3
action_36 (12) = happyGoto action_4
action_36 (13) = happyGoto action_5
action_36 (14) = happyGoto action_6
action_36 (15) = happyGoto action_7
action_36 (16) = happyGoto action_8
action_36 (17) = happyGoto action_9
action_36 (18) = happyGoto action_10
action_36 (20) = happyGoto action_11
action_36 (21) = happyGoto action_12
action_36 (22) = happyGoto action_105
action_36 (23) = happyGoto action_14
action_36 (24) = happyGoto action_15
action_36 (25) = happyGoto action_16
action_36 (26) = happyGoto action_17
action_36 (27) = happyGoto action_18
action_36 (28) = happyGoto action_19
action_36 (29) = happyGoto action_20
action_36 (30) = happyGoto action_21
action_36 (31) = happyGoto action_22
action_36 (32) = happyGoto action_23
action_36 (33) = happyGoto action_24
action_36 (34) = happyGoto action_25
action_36 (35) = happyGoto action_26
action_36 (36) = happyGoto action_27
action_36 (37) = happyGoto action_28
action_36 (38) = happyGoto action_29
action_36 (40) = happyGoto action_30
action_36 (41) = happyGoto action_106
action_36 (42) = happyGoto action_107
action_36 (43) = happyGoto action_108
action_36 _ = happyFail
action_37 (123) = happyShift action_103
action_37 _ = happyFail
action_38 (123) = happyShift action_102
action_38 _ = happyFail
action_39 (52) = happyShift action_35
action_39 (58) = happyShift action_88
action_39 (90) = happyShift action_40
action_39 (91) = happyShift action_41
action_39 (92) = happyShift action_42
action_39 (93) = happyShift action_43
action_39 (94) = happyShift action_44
action_39 (95) = happyShift action_45
action_39 (96) = happyShift action_46
action_39 (97) = happyShift action_47
action_39 (98) = happyShift action_48
action_39 (99) = happyShift action_49
action_39 (102) = happyShift action_50
action_39 (124) = happyShift action_89
action_39 (26) = happyGoto action_17
action_39 (27) = happyGoto action_100
action_39 (28) = happyGoto action_19
action_39 (29) = happyGoto action_20
action_39 (31) = happyGoto action_22
action_39 (38) = happyGoto action_101
action_39 (41) = happyGoto action_87
action_39 _ = happyFail
action_40 (52) = happyShift action_35
action_40 (58) = happyShift action_88
action_40 (90) = happyShift action_40
action_40 (91) = happyShift action_41
action_40 (92) = happyShift action_42
action_40 (93) = happyShift action_43
action_40 (94) = happyShift action_44
action_40 (95) = happyShift action_45
action_40 (96) = happyShift action_46
action_40 (97) = happyShift action_47
action_40 (98) = happyShift action_48
action_40 (99) = happyShift action_49
action_40 (102) = happyShift action_50
action_40 (124) = happyShift action_89
action_40 (31) = happyGoto action_22
action_40 (38) = happyGoto action_99
action_40 (41) = happyGoto action_87
action_40 _ = happyFail
action_41 (52) = happyShift action_35
action_41 (58) = happyShift action_88
action_41 (90) = happyShift action_40
action_41 (91) = happyShift action_41
action_41 (92) = happyShift action_42
action_41 (93) = happyShift action_43
action_41 (94) = happyShift action_44
action_41 (95) = happyShift action_45
action_41 (96) = happyShift action_46
action_41 (97) = happyShift action_47
action_41 (98) = happyShift action_48
action_41 (99) = happyShift action_49
action_41 (102) = happyShift action_50
action_41 (124) = happyShift action_89
action_41 (31) = happyGoto action_22
action_41 (38) = happyGoto action_98
action_41 (41) = happyGoto action_87
action_41 _ = happyFail
action_42 (52) = happyShift action_35
action_42 (58) = happyShift action_88
action_42 (90) = happyShift action_40
action_42 (91) = happyShift action_41
action_42 (92) = happyShift action_42
action_42 (93) = happyShift action_43
action_42 (94) = happyShift action_44
action_42 (95) = happyShift action_45
action_42 (96) = happyShift action_46
action_42 (97) = happyShift action_47
action_42 (98) = happyShift action_48
action_42 (99) = happyShift action_49
action_42 (102) = happyShift action_50
action_42 (124) = happyShift action_89
action_42 (31) = happyGoto action_22
action_42 (38) = happyGoto action_97
action_42 (41) = happyGoto action_87
action_42 _ = happyFail
action_43 (52) = happyShift action_35
action_43 (58) = happyShift action_88
action_43 (90) = happyShift action_40
action_43 (91) = happyShift action_41
action_43 (92) = happyShift action_42
action_43 (93) = happyShift action_43
action_43 (94) = happyShift action_44
action_43 (95) = happyShift action_45
action_43 (96) = happyShift action_46
action_43 (97) = happyShift action_47
action_43 (98) = happyShift action_48
action_43 (99) = happyShift action_49
action_43 (102) = happyShift action_50
action_43 (124) = happyShift action_89
action_43 (31) = happyGoto action_22
action_43 (38) = happyGoto action_96
action_43 (41) = happyGoto action_87
action_43 _ = happyFail
action_44 (52) = happyShift action_35
action_44 (58) = happyShift action_88
action_44 (90) = happyShift action_40
action_44 (91) = happyShift action_41
action_44 (92) = happyShift action_42
action_44 (93) = happyShift action_43
action_44 (94) = happyShift action_44
action_44 (95) = happyShift action_45
action_44 (96) = happyShift action_46
action_44 (97) = happyShift action_47
action_44 (98) = happyShift action_48
action_44 (99) = happyShift action_49
action_44 (102) = happyShift action_50
action_44 (124) = happyShift action_89
action_44 (31) = happyGoto action_22
action_44 (38) = happyGoto action_95
action_44 (41) = happyGoto action_87
action_44 _ = happyFail
action_45 (52) = happyShift action_35
action_45 (58) = happyShift action_88
action_45 (90) = happyShift action_40
action_45 (91) = happyShift action_41
action_45 (92) = happyShift action_42
action_45 (93) = happyShift action_43
action_45 (94) = happyShift action_44
action_45 (95) = happyShift action_45
action_45 (96) = happyShift action_46
action_45 (97) = happyShift action_47
action_45 (98) = happyShift action_48
action_45 (99) = happyShift action_49
action_45 (102) = happyShift action_50
action_45 (124) = happyShift action_89
action_45 (31) = happyGoto action_22
action_45 (38) = happyGoto action_94
action_45 (41) = happyGoto action_87
action_45 _ = happyFail
action_46 (52) = happyShift action_35
action_46 (58) = happyShift action_88
action_46 (90) = happyShift action_40
action_46 (91) = happyShift action_41
action_46 (92) = happyShift action_42
action_46 (93) = happyShift action_43
action_46 (94) = happyShift action_44
action_46 (95) = happyShift action_45
action_46 (96) = happyShift action_46
action_46 (97) = happyShift action_47
action_46 (98) = happyShift action_48
action_46 (99) = happyShift action_49
action_46 (102) = happyShift action_50
action_46 (124) = happyShift action_89
action_46 (31) = happyGoto action_22
action_46 (38) = happyGoto action_93
action_46 (41) = happyGoto action_87
action_46 _ = happyFail
action_47 (52) = happyShift action_35
action_47 (58) = happyShift action_88
action_47 (90) = happyShift action_40
action_47 (91) = happyShift action_41
action_47 (92) = happyShift action_42
action_47 (93) = happyShift action_43
action_47 (94) = happyShift action_44
action_47 (95) = happyShift action_45
action_47 (96) = happyShift action_46
action_47 (97) = happyShift action_47
action_47 (98) = happyShift action_48
action_47 (99) = happyShift action_49
action_47 (102) = happyShift action_50
action_47 (124) = happyShift action_89
action_47 (31) = happyGoto action_22
action_47 (38) = happyGoto action_92
action_47 (41) = happyGoto action_87
action_47 _ = happyFail
action_48 (52) = happyShift action_35
action_48 (58) = happyShift action_88
action_48 (90) = happyShift action_40
action_48 (91) = happyShift action_41
action_48 (92) = happyShift action_42
action_48 (93) = happyShift action_43
action_48 (94) = happyShift action_44
action_48 (95) = happyShift action_45
action_48 (96) = happyShift action_46
action_48 (97) = happyShift action_47
action_48 (98) = happyShift action_48
action_48 (99) = happyShift action_49
action_48 (102) = happyShift action_50
action_48 (124) = happyShift action_89
action_48 (31) = happyGoto action_22
action_48 (38) = happyGoto action_91
action_48 (41) = happyGoto action_87
action_48 _ = happyFail
action_49 (52) = happyShift action_35
action_49 (58) = happyShift action_88
action_49 (90) = happyShift action_40
action_49 (91) = happyShift action_41
action_49 (92) = happyShift action_42
action_49 (93) = happyShift action_43
action_49 (94) = happyShift action_44
action_49 (95) = happyShift action_45
action_49 (96) = happyShift action_46
action_49 (97) = happyShift action_47
action_49 (98) = happyShift action_48
action_49 (99) = happyShift action_49
action_49 (102) = happyShift action_50
action_49 (124) = happyShift action_89
action_49 (31) = happyGoto action_22
action_49 (38) = happyGoto action_90
action_49 (41) = happyGoto action_87
action_49 _ = happyFail
action_50 (52) = happyShift action_35
action_50 (58) = happyShift action_88
action_50 (90) = happyShift action_40
action_50 (91) = happyShift action_41
action_50 (92) = happyShift action_42
action_50 (93) = happyShift action_43
action_50 (94) = happyShift action_44
action_50 (95) = happyShift action_45
action_50 (96) = happyShift action_46
action_50 (97) = happyShift action_47
action_50 (98) = happyShift action_48
action_50 (99) = happyShift action_49
action_50 (102) = happyShift action_50
action_50 (124) = happyShift action_89
action_50 (31) = happyGoto action_22
action_50 (38) = happyGoto action_86
action_50 (41) = happyGoto action_87
action_50 _ = happyFail
action_51 (123) = happyShift action_85
action_51 _ = happyFail
action_52 (58) = happyShift action_84
action_52 (123) = happyShift action_53
action_52 (125) = happyShift action_55
action_52 (43) = happyGoto action_83
action_52 _ = happyFail
action_53 (58) = happyShift action_82
action_53 _ = happyReduce_141
action_54 (58) = happyShift action_80
action_54 (63) = happyShift action_81
action_54 _ = happyReduce_123
action_55 _ = happyReduce_142
action_56 (127) = happyAccept
action_56 _ = happyFail
action_57 _ = happyReduce_3
action_58 _ = happyReduce_4
action_59 (67) = happyShift action_63
action_59 (68) = happyShift action_64
action_59 (69) = happyShift action_65
action_59 (70) = happyShift action_66
action_59 (71) = happyShift action_67
action_59 (72) = happyShift action_68
action_59 (8) = happyGoto action_78
action_59 (9) = happyGoto action_79
action_59 _ = happyReduce_2
action_60 (66) = happyShift action_62
action_60 (7) = happyGoto action_77
action_60 _ = happyFail
action_61 (66) = happyShift action_62
action_61 (7) = happyGoto action_76
action_61 _ = happyFail
action_62 (63) = happyShift action_75
action_62 _ = happyFail
action_63 (63) = happyShift action_74
action_63 _ = happyFail
action_64 (63) = happyShift action_73
action_64 _ = happyFail
action_65 (63) = happyShift action_72
action_65 _ = happyFail
action_66 (63) = happyShift action_71
action_66 _ = happyFail
action_67 (63) = happyShift action_70
action_67 _ = happyFail
action_68 (63) = happyShift action_69
action_68 _ = happyFail
action_69 (48) = happyShift action_34
action_69 (52) = happyShift action_35
action_69 (58) = happyShift action_36
action_69 (74) = happyShift action_37
action_69 (75) = happyShift action_38
action_69 (78) = happyShift action_39
action_69 (90) = happyShift action_40
action_69 (91) = happyShift action_41
action_69 (92) = happyShift action_42
action_69 (93) = happyShift action_43
action_69 (94) = happyShift action_44
action_69 (95) = happyShift action_45
action_69 (96) = happyShift action_46
action_69 (97) = happyShift action_47
action_69 (98) = happyShift action_48
action_69 (99) = happyShift action_49
action_69 (102) = happyShift action_50
action_69 (121) = happyShift action_51
action_69 (122) = happyShift action_52
action_69 (123) = happyShift action_53
action_69 (124) = happyShift action_54
action_69 (125) = happyShift action_55
action_69 (10) = happyGoto action_243
action_69 (11) = happyGoto action_3
action_69 (12) = happyGoto action_4
action_69 (13) = happyGoto action_5
action_69 (14) = happyGoto action_6
action_69 (15) = happyGoto action_7
action_69 (16) = happyGoto action_8
action_69 (17) = happyGoto action_9
action_69 (18) = happyGoto action_10
action_69 (20) = happyGoto action_11
action_69 (21) = happyGoto action_12
action_69 (22) = happyGoto action_13
action_69 (23) = happyGoto action_14
action_69 (24) = happyGoto action_15
action_69 (25) = happyGoto action_16
action_69 (26) = happyGoto action_17
action_69 (27) = happyGoto action_18
action_69 (28) = happyGoto action_19
action_69 (29) = happyGoto action_20
action_69 (30) = happyGoto action_21
action_69 (31) = happyGoto action_22
action_69 (32) = happyGoto action_23
action_69 (33) = happyGoto action_24
action_69 (34) = happyGoto action_25
action_69 (35) = happyGoto action_26
action_69 (36) = happyGoto action_27
action_69 (37) = happyGoto action_28
action_69 (38) = happyGoto action_29
action_69 (40) = happyGoto action_30
action_69 (41) = happyGoto action_31
action_69 (42) = happyGoto action_32
action_69 (43) = happyGoto action_33
action_69 _ = happyFail
action_70 (48) = happyShift action_34
action_70 (52) = happyShift action_35
action_70 (58) = happyShift action_36
action_70 (74) = happyShift action_37
action_70 (75) = happyShift action_38
action_70 (78) = happyShift action_39
action_70 (90) = happyShift action_40
action_70 (91) = happyShift action_41
action_70 (92) = happyShift action_42
action_70 (93) = happyShift action_43
action_70 (94) = happyShift action_44
action_70 (95) = happyShift action_45
action_70 (96) = happyShift action_46
action_70 (97) = happyShift action_47
action_70 (98) = happyShift action_48
action_70 (99) = happyShift action_49
action_70 (102) = happyShift action_50
action_70 (121) = happyShift action_51
action_70 (122) = happyShift action_52
action_70 (123) = happyShift action_53
action_70 (124) = happyShift action_54
action_70 (125) = happyShift action_55
action_70 (10) = happyGoto action_242
action_70 (11) = happyGoto action_3
action_70 (12) = happyGoto action_4
action_70 (13) = happyGoto action_5
action_70 (14) = happyGoto action_6
action_70 (15) = happyGoto action_7
action_70 (16) = happyGoto action_8
action_70 (17) = happyGoto action_9
action_70 (18) = happyGoto action_10
action_70 (20) = happyGoto action_11
action_70 (21) = happyGoto action_12
action_70 (22) = happyGoto action_13
action_70 (23) = happyGoto action_14
action_70 (24) = happyGoto action_15
action_70 (25) = happyGoto action_16
action_70 (26) = happyGoto action_17
action_70 (27) = happyGoto action_18
action_70 (28) = happyGoto action_19
action_70 (29) = happyGoto action_20
action_70 (30) = happyGoto action_21
action_70 (31) = happyGoto action_22
action_70 (32) = happyGoto action_23
action_70 (33) = happyGoto action_24
action_70 (34) = happyGoto action_25
action_70 (35) = happyGoto action_26
action_70 (36) = happyGoto action_27
action_70 (37) = happyGoto action_28
action_70 (38) = happyGoto action_29
action_70 (40) = happyGoto action_30
action_70 (41) = happyGoto action_31
action_70 (42) = happyGoto action_32
action_70 (43) = happyGoto action_33
action_70 _ = happyFail
action_71 (48) = happyShift action_34
action_71 (52) = happyShift action_35
action_71 (58) = happyShift action_36
action_71 (74) = happyShift action_37
action_71 (75) = happyShift action_38
action_71 (78) = happyShift action_39
action_71 (90) = happyShift action_40
action_71 (91) = happyShift action_41
action_71 (92) = happyShift action_42
action_71 (93) = happyShift action_43
action_71 (94) = happyShift action_44
action_71 (95) = happyShift action_45
action_71 (96) = happyShift action_46
action_71 (97) = happyShift action_47
action_71 (98) = happyShift action_48
action_71 (99) = happyShift action_49
action_71 (102) = happyShift action_50
action_71 (121) = happyShift action_51
action_71 (122) = happyShift action_52
action_71 (123) = happyShift action_53
action_71 (124) = happyShift action_54
action_71 (125) = happyShift action_55
action_71 (10) = happyGoto action_241
action_71 (11) = happyGoto action_3
action_71 (12) = happyGoto action_4
action_71 (13) = happyGoto action_5
action_71 (14) = happyGoto action_6
action_71 (15) = happyGoto action_7
action_71 (16) = happyGoto action_8
action_71 (17) = happyGoto action_9
action_71 (18) = happyGoto action_10
action_71 (20) = happyGoto action_11
action_71 (21) = happyGoto action_12
action_71 (22) = happyGoto action_13
action_71 (23) = happyGoto action_14
action_71 (24) = happyGoto action_15
action_71 (25) = happyGoto action_16
action_71 (26) = happyGoto action_17
action_71 (27) = happyGoto action_18
action_71 (28) = happyGoto action_19
action_71 (29) = happyGoto action_20
action_71 (30) = happyGoto action_21
action_71 (31) = happyGoto action_22
action_71 (32) = happyGoto action_23
action_71 (33) = happyGoto action_24
action_71 (34) = happyGoto action_25
action_71 (35) = happyGoto action_26
action_71 (36) = happyGoto action_27
action_71 (37) = happyGoto action_28
action_71 (38) = happyGoto action_29
action_71 (40) = happyGoto action_30
action_71 (41) = happyGoto action_31
action_71 (42) = happyGoto action_32
action_71 (43) = happyGoto action_33
action_71 _ = happyFail
action_72 (48) = happyShift action_34
action_72 (52) = happyShift action_35
action_72 (58) = happyShift action_36
action_72 (74) = happyShift action_37
action_72 (75) = happyShift action_38
action_72 (78) = happyShift action_39
action_72 (90) = happyShift action_40
action_72 (91) = happyShift action_41
action_72 (92) = happyShift action_42
action_72 (93) = happyShift action_43
action_72 (94) = happyShift action_44
action_72 (95) = happyShift action_45
action_72 (96) = happyShift action_46
action_72 (97) = happyShift action_47
action_72 (98) = happyShift action_48
action_72 (99) = happyShift action_49
action_72 (102) = happyShift action_50
action_72 (121) = happyShift action_51
action_72 (122) = happyShift action_52
action_72 (123) = happyShift action_53
action_72 (124) = happyShift action_54
action_72 (125) = happyShift action_55
action_72 (10) = happyGoto action_240
action_72 (11) = happyGoto action_3
action_72 (12) = happyGoto action_4
action_72 (13) = happyGoto action_5
action_72 (14) = happyGoto action_6
action_72 (15) = happyGoto action_7
action_72 (16) = happyGoto action_8
action_72 (17) = happyGoto action_9
action_72 (18) = happyGoto action_10
action_72 (20) = happyGoto action_11
action_72 (21) = happyGoto action_12
action_72 (22) = happyGoto action_13
action_72 (23) = happyGoto action_14
action_72 (24) = happyGoto action_15
action_72 (25) = happyGoto action_16
action_72 (26) = happyGoto action_17
action_72 (27) = happyGoto action_18
action_72 (28) = happyGoto action_19
action_72 (29) = happyGoto action_20
action_72 (30) = happyGoto action_21
action_72 (31) = happyGoto action_22
action_72 (32) = happyGoto action_23
action_72 (33) = happyGoto action_24
action_72 (34) = happyGoto action_25
action_72 (35) = happyGoto action_26
action_72 (36) = happyGoto action_27
action_72 (37) = happyGoto action_28
action_72 (38) = happyGoto action_29
action_72 (40) = happyGoto action_30
action_72 (41) = happyGoto action_31
action_72 (42) = happyGoto action_32
action_72 (43) = happyGoto action_33
action_72 _ = happyFail
action_73 (48) = happyShift action_34
action_73 (52) = happyShift action_35
action_73 (58) = happyShift action_36
action_73 (74) = happyShift action_37
action_73 (75) = happyShift action_38
action_73 (78) = happyShift action_39
action_73 (90) = happyShift action_40
action_73 (91) = happyShift action_41
action_73 (92) = happyShift action_42
action_73 (93) = happyShift action_43
action_73 (94) = happyShift action_44
action_73 (95) = happyShift action_45
action_73 (96) = happyShift action_46
action_73 (97) = happyShift action_47
action_73 (98) = happyShift action_48
action_73 (99) = happyShift action_49
action_73 (102) = happyShift action_50
action_73 (121) = happyShift action_51
action_73 (122) = happyShift action_52
action_73 (123) = happyShift action_53
action_73 (124) = happyShift action_54
action_73 (125) = happyShift action_55
action_73 (10) = happyGoto action_239
action_73 (11) = happyGoto action_3
action_73 (12) = happyGoto action_4
action_73 (13) = happyGoto action_5
action_73 (14) = happyGoto action_6
action_73 (15) = happyGoto action_7
action_73 (16) = happyGoto action_8
action_73 (17) = happyGoto action_9
action_73 (18) = happyGoto action_10
action_73 (20) = happyGoto action_11
action_73 (21) = happyGoto action_12
action_73 (22) = happyGoto action_13
action_73 (23) = happyGoto action_14
action_73 (24) = happyGoto action_15
action_73 (25) = happyGoto action_16
action_73 (26) = happyGoto action_17
action_73 (27) = happyGoto action_18
action_73 (28) = happyGoto action_19
action_73 (29) = happyGoto action_20
action_73 (30) = happyGoto action_21
action_73 (31) = happyGoto action_22
action_73 (32) = happyGoto action_23
action_73 (33) = happyGoto action_24
action_73 (34) = happyGoto action_25
action_73 (35) = happyGoto action_26
action_73 (36) = happyGoto action_27
action_73 (37) = happyGoto action_28
action_73 (38) = happyGoto action_29
action_73 (40) = happyGoto action_30
action_73 (41) = happyGoto action_31
action_73 (42) = happyGoto action_32
action_73 (43) = happyGoto action_33
action_73 _ = happyFail
action_74 (48) = happyShift action_34
action_74 (52) = happyShift action_35
action_74 (58) = happyShift action_36
action_74 (74) = happyShift action_37
action_74 (75) = happyShift action_38
action_74 (78) = happyShift action_39
action_74 (90) = happyShift action_40
action_74 (91) = happyShift action_41
action_74 (92) = happyShift action_42
action_74 (93) = happyShift action_43
action_74 (94) = happyShift action_44
action_74 (95) = happyShift action_45
action_74 (96) = happyShift action_46
action_74 (97) = happyShift action_47
action_74 (98) = happyShift action_48
action_74 (99) = happyShift action_49
action_74 (102) = happyShift action_50
action_74 (121) = happyShift action_51
action_74 (122) = happyShift action_52
action_74 (123) = happyShift action_53
action_74 (124) = happyShift action_54
action_74 (125) = happyShift action_55
action_74 (10) = happyGoto action_238
action_74 (11) = happyGoto action_3
action_74 (12) = happyGoto action_4
action_74 (13) = happyGoto action_5
action_74 (14) = happyGoto action_6
action_74 (15) = happyGoto action_7
action_74 (16) = happyGoto action_8
action_74 (17) = happyGoto action_9
action_74 (18) = happyGoto action_10
action_74 (20) = happyGoto action_11
action_74 (21) = happyGoto action_12
action_74 (22) = happyGoto action_13
action_74 (23) = happyGoto action_14
action_74 (24) = happyGoto action_15
action_74 (25) = happyGoto action_16
action_74 (26) = happyGoto action_17
action_74 (27) = happyGoto action_18
action_74 (28) = happyGoto action_19
action_74 (29) = happyGoto action_20
action_74 (30) = happyGoto action_21
action_74 (31) = happyGoto action_22
action_74 (32) = happyGoto action_23
action_74 (33) = happyGoto action_24
action_74 (34) = happyGoto action_25
action_74 (35) = happyGoto action_26
action_74 (36) = happyGoto action_27
action_74 (37) = happyGoto action_28
action_74 (38) = happyGoto action_29
action_74 (40) = happyGoto action_30
action_74 (41) = happyGoto action_31
action_74 (42) = happyGoto action_32
action_74 (43) = happyGoto action_33
action_74 _ = happyFail
action_75 (48) = happyShift action_34
action_75 (52) = happyShift action_35
action_75 (58) = happyShift action_36
action_75 (74) = happyShift action_37
action_75 (75) = happyShift action_38
action_75 (78) = happyShift action_39
action_75 (90) = happyShift action_40
action_75 (91) = happyShift action_41
action_75 (92) = happyShift action_42
action_75 (93) = happyShift action_43
action_75 (94) = happyShift action_44
action_75 (95) = happyShift action_45
action_75 (96) = happyShift action_46
action_75 (97) = happyShift action_47
action_75 (98) = happyShift action_48
action_75 (99) = happyShift action_49
action_75 (102) = happyShift action_50
action_75 (121) = happyShift action_51
action_75 (122) = happyShift action_52
action_75 (123) = happyShift action_53
action_75 (124) = happyShift action_54
action_75 (125) = happyShift action_55
action_75 (10) = happyGoto action_237
action_75 (11) = happyGoto action_3
action_75 (12) = happyGoto action_4
action_75 (13) = happyGoto action_5
action_75 (14) = happyGoto action_6
action_75 (15) = happyGoto action_7
action_75 (16) = happyGoto action_8
action_75 (17) = happyGoto action_9
action_75 (18) = happyGoto action_10
action_75 (20) = happyGoto action_11
action_75 (21) = happyGoto action_12
action_75 (22) = happyGoto action_13
action_75 (23) = happyGoto action_14
action_75 (24) = happyGoto action_15
action_75 (25) = happyGoto action_16
action_75 (26) = happyGoto action_17
action_75 (27) = happyGoto action_18
action_75 (28) = happyGoto action_19
action_75 (29) = happyGoto action_20
action_75 (30) = happyGoto action_21
action_75 (31) = happyGoto action_22
action_75 (32) = happyGoto action_23
action_75 (33) = happyGoto action_24
action_75 (34) = happyGoto action_25
action_75 (35) = happyGoto action_26
action_75 (36) = happyGoto action_27
action_75 (37) = happyGoto action_28
action_75 (38) = happyGoto action_29
action_75 (40) = happyGoto action_30
action_75 (41) = happyGoto action_31
action_75 (42) = happyGoto action_32
action_75 (43) = happyGoto action_33
action_75 _ = happyFail
action_76 _ = happyReduce_8
action_77 _ = happyReduce_6
action_78 _ = happyReduce_5
action_79 _ = happyReduce_7
action_80 (52) = happyShift action_35
action_80 (58) = happyShift action_200
action_80 (59) = happyShift action_236
action_80 (123) = happyShift action_53
action_80 (125) = happyShift action_55
action_80 (39) = happyGoto action_235
action_80 (40) = happyGoto action_233
action_80 (41) = happyGoto action_198
action_80 (43) = happyGoto action_199
action_80 _ = happyFail
action_81 (52) = happyShift action_35
action_81 (58) = happyShift action_200
action_81 (123) = happyShift action_53
action_81 (125) = happyShift action_55
action_81 (39) = happyGoto action_234
action_81 (40) = happyGoto action_233
action_81 (41) = happyGoto action_198
action_81 (43) = happyGoto action_199
action_81 _ = happyFail
action_82 (52) = happyShift action_35
action_82 (58) = happyShift action_200
action_82 (123) = happyShift action_53
action_82 (125) = happyShift action_55
action_82 (39) = happyGoto action_232
action_82 (40) = happyGoto action_233
action_82 (41) = happyGoto action_198
action_82 (43) = happyGoto action_199
action_82 _ = happyFail
action_83 (73) = happyShift action_112
action_83 (113) = happyShift action_231
action_83 _ = happyFail
action_84 (52) = happyShift action_35
action_84 (58) = happyShift action_200
action_84 (123) = happyShift action_53
action_84 (125) = happyShift action_55
action_84 (40) = happyGoto action_210
action_84 (41) = happyGoto action_198
action_84 (42) = happyGoto action_207
action_84 (43) = happyGoto action_230
action_84 _ = happyFail
action_85 (48) = happyShift action_34
action_85 (52) = happyShift action_35
action_85 (58) = happyShift action_36
action_85 (74) = happyShift action_37
action_85 (75) = happyShift action_38
action_85 (78) = happyShift action_39
action_85 (90) = happyShift action_40
action_85 (91) = happyShift action_41
action_85 (92) = happyShift action_42
action_85 (93) = happyShift action_43
action_85 (94) = happyShift action_44
action_85 (95) = happyShift action_45
action_85 (96) = happyShift action_46
action_85 (97) = happyShift action_47
action_85 (98) = happyShift action_48
action_85 (99) = happyShift action_49
action_85 (102) = happyShift action_50
action_85 (121) = happyShift action_51
action_85 (122) = happyShift action_52
action_85 (123) = happyShift action_53
action_85 (124) = happyShift action_54
action_85 (125) = happyShift action_55
action_85 (21) = happyGoto action_229
action_85 (22) = happyGoto action_110
action_85 (23) = happyGoto action_14
action_85 (24) = happyGoto action_15
action_85 (25) = happyGoto action_16
action_85 (26) = happyGoto action_17
action_85 (27) = happyGoto action_18
action_85 (28) = happyGoto action_19
action_85 (29) = happyGoto action_20
action_85 (30) = happyGoto action_21
action_85 (31) = happyGoto action_22
action_85 (32) = happyGoto action_23
action_85 (33) = happyGoto action_24
action_85 (34) = happyGoto action_25
action_85 (35) = happyGoto action_26
action_85 (36) = happyGoto action_27
action_85 (37) = happyGoto action_28
action_85 (38) = happyGoto action_111
action_85 (40) = happyGoto action_30
action_85 (41) = happyGoto action_31
action_85 (42) = happyGoto action_32
action_85 (43) = happyGoto action_33
action_85 _ = happyFail
action_86 _ = happyReduce_119
action_87 (50) = happyShift action_125
action_87 (51) = happyShift action_126
action_87 (52) = happyShift action_35
action_87 (54) = happyShift action_128
action_87 (55) = happyShift action_129
action_87 (58) = happyShift action_88
action_87 (90) = happyShift action_40
action_87 (91) = happyShift action_41
action_87 (92) = happyShift action_42
action_87 (93) = happyShift action_43
action_87 (94) = happyShift action_44
action_87 (95) = happyShift action_45
action_87 (96) = happyShift action_46
action_87 (97) = happyShift action_47
action_87 (98) = happyShift action_48
action_87 (99) = happyShift action_49
action_87 (102) = happyShift action_50
action_87 (124) = happyShift action_89
action_87 (31) = happyGoto action_22
action_87 (38) = happyGoto action_123
action_87 (41) = happyGoto action_87
action_87 _ = happyFail
action_88 (52) = happyShift action_35
action_88 (58) = happyShift action_130
action_88 (78) = happyShift action_39
action_88 (90) = happyShift action_40
action_88 (91) = happyShift action_41
action_88 (92) = happyShift action_42
action_88 (93) = happyShift action_43
action_88 (94) = happyShift action_44
action_88 (95) = happyShift action_45
action_88 (96) = happyShift action_46
action_88 (97) = happyShift action_47
action_88 (98) = happyShift action_48
action_88 (99) = happyShift action_49
action_88 (102) = happyShift action_50
action_88 (121) = happyShift action_51
action_88 (122) = happyShift action_52
action_88 (123) = happyShift action_53
action_88 (124) = happyShift action_89
action_88 (125) = happyShift action_55
action_88 (22) = happyGoto action_206
action_88 (23) = happyGoto action_14
action_88 (24) = happyGoto action_15
action_88 (25) = happyGoto action_16
action_88 (26) = happyGoto action_17
action_88 (27) = happyGoto action_18
action_88 (28) = happyGoto action_19
action_88 (29) = happyGoto action_20
action_88 (30) = happyGoto action_21
action_88 (31) = happyGoto action_22
action_88 (32) = happyGoto action_23
action_88 (33) = happyGoto action_24
action_88 (34) = happyGoto action_25
action_88 (35) = happyGoto action_26
action_88 (36) = happyGoto action_27
action_88 (37) = happyGoto action_28
action_88 (38) = happyGoto action_111
action_88 (40) = happyGoto action_174
action_88 (41) = happyGoto action_106
action_88 (43) = happyGoto action_33
action_88 _ = happyFail
action_89 (63) = happyShift action_81
action_89 _ = happyReduce_123
action_90 _ = happyReduce_97
action_91 _ = happyReduce_96
action_92 _ = happyReduce_101
action_93 _ = happyReduce_100
action_94 _ = happyReduce_99
action_95 _ = happyReduce_98
action_96 _ = happyReduce_95
action_97 _ = happyReduce_94
action_98 _ = happyReduce_93
action_99 _ = happyReduce_92
action_100 (79) = happyShift action_228
action_100 _ = happyFail
action_101 (76) = happyShift action_137
action_101 _ = happyReduce_86
action_102 (65) = happyShift action_227
action_102 _ = happyFail
action_103 (65) = happyShift action_226
action_103 _ = happyFail
action_104 (59) = happyShift action_225
action_104 _ = happyFail
action_105 (59) = happyShift action_224
action_105 (100) = happyShift action_153
action_105 (103) = happyShift action_154
action_105 (104) = happyShift action_155
action_105 (105) = happyShift action_156
action_105 (106) = happyShift action_157
action_105 (107) = happyShift action_158
action_105 (108) = happyShift action_159
action_105 (109) = happyShift action_160
action_105 (110) = happyShift action_161
action_105 (111) = happyShift action_162
action_105 _ = happyFail
action_106 (50) = happyShift action_125
action_106 (51) = happyShift action_126
action_106 (52) = happyShift action_35
action_106 (53) = happyShift action_127
action_106 (54) = happyShift action_128
action_106 (55) = happyShift action_129
action_106 (58) = happyShift action_130
action_106 (59) = happyShift action_223
action_106 (90) = happyShift action_40
action_106 (91) = happyShift action_41
action_106 (92) = happyShift action_42
action_106 (93) = happyShift action_43
action_106 (94) = happyShift action_44
action_106 (95) = happyShift action_45
action_106 (96) = happyShift action_46
action_106 (97) = happyShift action_47
action_106 (98) = happyShift action_48
action_106 (99) = happyShift action_49
action_106 (102) = happyShift action_50
action_106 (123) = happyShift action_53
action_106 (124) = happyShift action_89
action_106 (125) = happyShift action_55
action_106 (31) = happyGoto action_22
action_106 (38) = happyGoto action_123
action_106 (41) = happyGoto action_87
action_106 (43) = happyGoto action_124
action_106 _ = happyFail
action_107 (49) = happyShift action_116
action_107 (50) = happyShift action_117
action_107 (51) = happyShift action_118
action_107 (54) = happyShift action_119
action_107 (55) = happyShift action_120
action_107 (56) = happyShift action_121
action_107 (57) = happyShift action_122
action_107 (59) = happyShift action_222
action_107 _ = happyFail
action_108 (73) = happyShift action_112
action_108 (100) = happyShift action_221
action_108 (112) = happyShift action_113
action_108 (119) = happyShift action_114
action_108 (120) = happyShift action_115
action_108 _ = happyReduce_126
action_109 _ = happyReduce_48
action_110 (100) = happyShift action_153
action_110 (103) = happyShift action_154
action_110 (104) = happyShift action_155
action_110 (105) = happyShift action_156
action_110 (106) = happyShift action_157
action_110 (107) = happyShift action_158
action_110 (108) = happyShift action_159
action_110 (109) = happyShift action_160
action_110 _ = happyFail
action_111 (76) = happyShift action_137
action_111 (81) = happyShift action_138
action_111 (84) = happyShift action_141
action_111 (85) = happyShift action_142
action_111 (86) = happyShift action_143
action_111 (87) = happyShift action_144
action_111 (88) = happyShift action_145
action_111 (89) = happyShift action_146
action_111 (94) = happyShift action_147
action_111 (95) = happyShift action_148
action_111 (96) = happyShift action_149
action_111 (97) = happyShift action_150
action_111 _ = happyReduce_86
action_112 _ = happyReduce_139
action_113 (58) = happyShift action_84
action_113 (123) = happyShift action_53
action_113 (125) = happyShift action_55
action_113 (43) = happyGoto action_220
action_113 _ = happyFail
action_114 (52) = happyShift action_35
action_114 (58) = happyShift action_88
action_114 (90) = happyShift action_40
action_114 (91) = happyShift action_41
action_114 (92) = happyShift action_42
action_114 (93) = happyShift action_43
action_114 (94) = happyShift action_44
action_114 (95) = happyShift action_45
action_114 (96) = happyShift action_46
action_114 (97) = happyShift action_47
action_114 (98) = happyShift action_48
action_114 (99) = happyShift action_49
action_114 (102) = happyShift action_50
action_114 (124) = happyShift action_89
action_114 (31) = happyGoto action_22
action_114 (38) = happyGoto action_219
action_114 (41) = happyGoto action_87
action_114 _ = happyFail
action_115 (52) = happyShift action_35
action_115 (58) = happyShift action_88
action_115 (90) = happyShift action_40
action_115 (91) = happyShift action_41
action_115 (92) = happyShift action_42
action_115 (93) = happyShift action_43
action_115 (94) = happyShift action_44
action_115 (95) = happyShift action_45
action_115 (96) = happyShift action_46
action_115 (97) = happyShift action_47
action_115 (98) = happyShift action_48
action_115 (99) = happyShift action_49
action_115 (102) = happyShift action_50
action_115 (124) = happyShift action_89
action_115 (31) = happyGoto action_22
action_115 (38) = happyGoto action_218
action_115 (41) = happyGoto action_87
action_115 _ = happyFail
action_116 (52) = happyShift action_35
action_116 (58) = happyShift action_200
action_116 (123) = happyShift action_53
action_116 (125) = happyShift action_55
action_116 (40) = happyGoto action_210
action_116 (41) = happyGoto action_198
action_116 (42) = happyGoto action_217
action_116 (43) = happyGoto action_199
action_116 _ = happyFail
action_117 (52) = happyShift action_35
action_117 (58) = happyShift action_200
action_117 (123) = happyShift action_53
action_117 (125) = happyShift action_55
action_117 (40) = happyGoto action_210
action_117 (41) = happyGoto action_198
action_117 (42) = happyGoto action_216
action_117 (43) = happyGoto action_199
action_117 _ = happyFail
action_118 (52) = happyShift action_35
action_118 (58) = happyShift action_200
action_118 (123) = happyShift action_53
action_118 (125) = happyShift action_55
action_118 (40) = happyGoto action_210
action_118 (41) = happyGoto action_198
action_118 (42) = happyGoto action_215
action_118 (43) = happyGoto action_199
action_118 _ = happyFail
action_119 (52) = happyShift action_35
action_119 (58) = happyShift action_200
action_119 (123) = happyShift action_53
action_119 (125) = happyShift action_55
action_119 (40) = happyGoto action_210
action_119 (41) = happyGoto action_198
action_119 (42) = happyGoto action_214
action_119 (43) = happyGoto action_199
action_119 _ = happyFail
action_120 (52) = happyShift action_35
action_120 (58) = happyShift action_200
action_120 (123) = happyShift action_53
action_120 (125) = happyShift action_55
action_120 (40) = happyGoto action_210
action_120 (41) = happyGoto action_198
action_120 (42) = happyGoto action_213
action_120 (43) = happyGoto action_199
action_120 _ = happyFail
action_121 (52) = happyShift action_35
action_121 (58) = happyShift action_200
action_121 (123) = happyShift action_53
action_121 (125) = happyShift action_55
action_121 (40) = happyGoto action_210
action_121 (41) = happyGoto action_198
action_121 (42) = happyGoto action_212
action_121 (43) = happyGoto action_199
action_121 _ = happyFail
action_122 (52) = happyShift action_35
action_122 (58) = happyShift action_200
action_122 (123) = happyShift action_53
action_122 (125) = happyShift action_55
action_122 (40) = happyGoto action_210
action_122 (41) = happyGoto action_198
action_122 (42) = happyGoto action_211
action_122 (43) = happyGoto action_199
action_122 _ = happyFail
action_123 _ = happyReduce_102
action_124 (73) = happyShift action_112
action_124 _ = happyReduce_127
action_125 (125) = happyShift action_209
action_125 _ = happyFail
action_126 (125) = happyShift action_208
action_126 _ = happyFail
action_127 _ = happyReduce_128
action_128 _ = happyReduce_131
action_129 _ = happyReduce_130
action_130 (52) = happyShift action_35
action_130 (58) = happyShift action_130
action_130 (78) = happyShift action_39
action_130 (90) = happyShift action_40
action_130 (91) = happyShift action_41
action_130 (92) = happyShift action_42
action_130 (93) = happyShift action_43
action_130 (94) = happyShift action_44
action_130 (95) = happyShift action_45
action_130 (96) = happyShift action_46
action_130 (97) = happyShift action_47
action_130 (98) = happyShift action_48
action_130 (99) = happyShift action_49
action_130 (102) = happyShift action_50
action_130 (121) = happyShift action_51
action_130 (122) = happyShift action_52
action_130 (123) = happyShift action_53
action_130 (124) = happyShift action_89
action_130 (125) = happyShift action_55
action_130 (22) = happyGoto action_206
action_130 (23) = happyGoto action_14
action_130 (24) = happyGoto action_15
action_130 (25) = happyGoto action_16
action_130 (26) = happyGoto action_17
action_130 (27) = happyGoto action_18
action_130 (28) = happyGoto action_19
action_130 (29) = happyGoto action_20
action_130 (30) = happyGoto action_21
action_130 (31) = happyGoto action_22
action_130 (32) = happyGoto action_23
action_130 (33) = happyGoto action_24
action_130 (34) = happyGoto action_25
action_130 (35) = happyGoto action_26
action_130 (36) = happyGoto action_27
action_130 (37) = happyGoto action_28
action_130 (38) = happyGoto action_111
action_130 (40) = happyGoto action_30
action_130 (41) = happyGoto action_106
action_130 (42) = happyGoto action_207
action_130 (43) = happyGoto action_108
action_130 _ = happyFail
action_131 (52) = happyShift action_35
action_131 (58) = happyShift action_200
action_131 (123) = happyShift action_53
action_131 (125) = happyShift action_55
action_131 (40) = happyGoto action_205
action_131 (41) = happyGoto action_198
action_131 (43) = happyGoto action_199
action_131 _ = happyFail
action_132 (52) = happyShift action_35
action_132 (58) = happyShift action_200
action_132 (123) = happyShift action_53
action_132 (125) = happyShift action_55
action_132 (40) = happyGoto action_204
action_132 (41) = happyGoto action_198
action_132 (43) = happyGoto action_199
action_132 _ = happyFail
action_133 (52) = happyShift action_35
action_133 (58) = happyShift action_200
action_133 (123) = happyShift action_53
action_133 (125) = happyShift action_55
action_133 (40) = happyGoto action_203
action_133 (41) = happyGoto action_198
action_133 (43) = happyGoto action_199
action_133 _ = happyFail
action_134 (52) = happyShift action_35
action_134 (58) = happyShift action_200
action_134 (123) = happyShift action_53
action_134 (125) = happyShift action_55
action_134 (40) = happyGoto action_202
action_134 (41) = happyGoto action_198
action_134 (43) = happyGoto action_199
action_134 _ = happyFail
action_135 (52) = happyShift action_35
action_135 (58) = happyShift action_200
action_135 (123) = happyShift action_53
action_135 (125) = happyShift action_55
action_135 (40) = happyGoto action_201
action_135 (41) = happyGoto action_198
action_135 (43) = happyGoto action_199
action_135 _ = happyFail
action_136 (52) = happyShift action_35
action_136 (58) = happyShift action_200
action_136 (123) = happyShift action_53
action_136 (125) = happyShift action_55
action_136 (40) = happyGoto action_197
action_136 (41) = happyGoto action_198
action_136 (43) = happyGoto action_199
action_136 _ = happyFail
action_137 (52) = happyShift action_35
action_137 (58) = happyShift action_88
action_137 (90) = happyShift action_40
action_137 (91) = happyShift action_41
action_137 (92) = happyShift action_42
action_137 (93) = happyShift action_43
action_137 (94) = happyShift action_44
action_137 (95) = happyShift action_45
action_137 (96) = happyShift action_46
action_137 (97) = happyShift action_47
action_137 (98) = happyShift action_48
action_137 (99) = happyShift action_49
action_137 (102) = happyShift action_50
action_137 (124) = happyShift action_89
action_137 (28) = happyGoto action_195
action_137 (31) = happyGoto action_22
action_137 (38) = happyGoto action_196
action_137 (41) = happyGoto action_87
action_137 _ = happyFail
action_138 (52) = happyShift action_35
action_138 (58) = happyShift action_88
action_138 (90) = happyShift action_40
action_138 (91) = happyShift action_41
action_138 (92) = happyShift action_42
action_138 (93) = happyShift action_43
action_138 (94) = happyShift action_44
action_138 (95) = happyShift action_45
action_138 (96) = happyShift action_46
action_138 (97) = happyShift action_47
action_138 (98) = happyShift action_48
action_138 (99) = happyShift action_49
action_138 (102) = happyShift action_50
action_138 (124) = happyShift action_89
action_138 (31) = happyGoto action_22
action_138 (38) = happyGoto action_194
action_138 (41) = happyGoto action_87
action_138 _ = happyFail
action_139 (58) = happyShift action_84
action_139 (60) = happyShift action_190
action_139 (61) = happyShift action_191
action_139 (123) = happyShift action_53
action_139 (125) = happyShift action_55
action_139 (19) = happyGoto action_192
action_139 (43) = happyGoto action_193
action_139 _ = happyFail
action_140 (58) = happyShift action_84
action_140 (60) = happyShift action_190
action_140 (61) = happyShift action_191
action_140 (123) = happyShift action_53
action_140 (125) = happyShift action_55
action_140 (19) = happyGoto action_188
action_140 (43) = happyGoto action_189
action_140 _ = happyFail
action_141 (58) = happyShift action_84
action_141 (123) = happyShift action_53
action_141 (125) = happyShift action_55
action_141 (43) = happyGoto action_187
action_141 _ = happyFail
action_142 (58) = happyShift action_84
action_142 (123) = happyShift action_53
action_142 (125) = happyShift action_55
action_142 (43) = happyGoto action_186
action_142 _ = happyFail
action_143 (52) = happyShift action_35
action_143 (58) = happyShift action_88
action_143 (90) = happyShift action_40
action_143 (91) = happyShift action_41
action_143 (92) = happyShift action_42
action_143 (93) = happyShift action_43
action_143 (94) = happyShift action_44
action_143 (95) = happyShift action_45
action_143 (96) = happyShift action_46
action_143 (97) = happyShift action_47
action_143 (98) = happyShift action_48
action_143 (99) = happyShift action_49
action_143 (102) = happyShift action_50
action_143 (124) = happyShift action_89
action_143 (31) = happyGoto action_22
action_143 (38) = happyGoto action_185
action_143 (41) = happyGoto action_87
action_143 _ = happyFail
action_144 (52) = happyShift action_35
action_144 (58) = happyShift action_88
action_144 (90) = happyShift action_40
action_144 (91) = happyShift action_41
action_144 (92) = happyShift action_42
action_144 (93) = happyShift action_43
action_144 (94) = happyShift action_44
action_144 (95) = happyShift action_45
action_144 (96) = happyShift action_46
action_144 (97) = happyShift action_47
action_144 (98) = happyShift action_48
action_144 (99) = happyShift action_49
action_144 (102) = happyShift action_50
action_144 (124) = happyShift action_89
action_144 (31) = happyGoto action_22
action_144 (38) = happyGoto action_184
action_144 (41) = happyGoto action_87
action_144 _ = happyFail
action_145 (52) = happyShift action_35
action_145 (58) = happyShift action_88
action_145 (90) = happyShift action_40
action_145 (91) = happyShift action_41
action_145 (92) = happyShift action_42
action_145 (93) = happyShift action_43
action_145 (94) = happyShift action_44
action_145 (95) = happyShift action_45
action_145 (96) = happyShift action_46
action_145 (97) = happyShift action_47
action_145 (98) = happyShift action_48
action_145 (99) = happyShift action_49
action_145 (102) = happyShift action_50
action_145 (124) = happyShift action_89
action_145 (31) = happyGoto action_22
action_145 (38) = happyGoto action_183
action_145 (41) = happyGoto action_87
action_145 _ = happyFail
action_146 (52) = happyShift action_35
action_146 (58) = happyShift action_88
action_146 (90) = happyShift action_40
action_146 (91) = happyShift action_41
action_146 (92) = happyShift action_42
action_146 (93) = happyShift action_43
action_146 (94) = happyShift action_44
action_146 (95) = happyShift action_45
action_146 (96) = happyShift action_46
action_146 (97) = happyShift action_47
action_146 (98) = happyShift action_48
action_146 (99) = happyShift action_49
action_146 (102) = happyShift action_50
action_146 (124) = happyShift action_89
action_146 (31) = happyGoto action_22
action_146 (38) = happyGoto action_182
action_146 (41) = happyGoto action_87
action_146 _ = happyFail
action_147 _ = happyReduce_103
action_148 _ = happyReduce_104
action_149 _ = happyReduce_105
action_150 _ = happyReduce_106
action_151 (52) = happyShift action_35
action_151 (58) = happyShift action_88
action_151 (90) = happyShift action_40
action_151 (91) = happyShift action_41
action_151 (92) = happyShift action_42
action_151 (93) = happyShift action_43
action_151 (94) = happyShift action_44
action_151 (95) = happyShift action_45
action_151 (96) = happyShift action_46
action_151 (97) = happyShift action_47
action_151 (98) = happyShift action_48
action_151 (99) = happyShift action_49
action_151 (102) = happyShift action_50
action_151 (124) = happyShift action_89
action_151 (26) = happyGoto action_180
action_151 (28) = happyGoto action_19
action_151 (29) = happyGoto action_181
action_151 (31) = happyGoto action_22
action_151 (38) = happyGoto action_101
action_151 (41) = happyGoto action_87
action_151 _ = happyFail
action_152 (52) = happyShift action_35
action_152 (58) = happyShift action_88
action_152 (78) = happyShift action_39
action_152 (90) = happyShift action_40
action_152 (91) = happyShift action_41
action_152 (92) = happyShift action_42
action_152 (93) = happyShift action_43
action_152 (94) = happyShift action_44
action_152 (95) = happyShift action_45
action_152 (96) = happyShift action_46
action_152 (97) = happyShift action_47
action_152 (98) = happyShift action_48
action_152 (99) = happyShift action_49
action_152 (102) = happyShift action_50
action_152 (124) = happyShift action_89
action_152 (25) = happyGoto action_179
action_152 (26) = happyGoto action_17
action_152 (27) = happyGoto action_18
action_152 (28) = happyGoto action_19
action_152 (29) = happyGoto action_20
action_152 (31) = happyGoto action_22
action_152 (38) = happyGoto action_101
action_152 (41) = happyGoto action_87
action_152 _ = happyFail
action_153 (58) = happyShift action_84
action_153 (123) = happyShift action_53
action_153 (125) = happyShift action_55
action_153 (43) = happyGoto action_178
action_153 _ = happyFail
action_154 _ = happyReduce_58
action_155 _ = happyReduce_59
action_156 _ = happyReduce_60
action_157 _ = happyReduce_61
action_158 _ = happyReduce_64
action_159 (58) = happyShift action_84
action_159 (123) = happyShift action_53
action_159 (125) = happyShift action_55
action_159 (43) = happyGoto action_177
action_159 _ = happyFail
action_160 (58) = happyShift action_84
action_160 (123) = happyShift action_53
action_160 (125) = happyShift action_55
action_160 (43) = happyGoto action_176
action_160 _ = happyFail
action_161 (52) = happyShift action_35
action_161 (58) = happyShift action_130
action_161 (78) = happyShift action_39
action_161 (90) = happyShift action_40
action_161 (91) = happyShift action_41
action_161 (92) = happyShift action_42
action_161 (93) = happyShift action_43
action_161 (94) = happyShift action_44
action_161 (95) = happyShift action_45
action_161 (96) = happyShift action_46
action_161 (97) = happyShift action_47
action_161 (98) = happyShift action_48
action_161 (99) = happyShift action_49
action_161 (102) = happyShift action_50
action_161 (121) = happyShift action_51
action_161 (122) = happyShift action_52
action_161 (123) = happyShift action_53
action_161 (124) = happyShift action_89
action_161 (125) = happyShift action_55
action_161 (22) = happyGoto action_175
action_161 (23) = happyGoto action_14
action_161 (24) = happyGoto action_15
action_161 (25) = happyGoto action_16
action_161 (26) = happyGoto action_17
action_161 (27) = happyGoto action_18
action_161 (28) = happyGoto action_19
action_161 (29) = happyGoto action_20
action_161 (30) = happyGoto action_21
action_161 (31) = happyGoto action_22
action_161 (32) = happyGoto action_23
action_161 (33) = happyGoto action_24
action_161 (34) = happyGoto action_25
action_161 (35) = happyGoto action_26
action_161 (36) = happyGoto action_27
action_161 (37) = happyGoto action_28
action_161 (38) = happyGoto action_111
action_161 (40) = happyGoto action_174
action_161 (41) = happyGoto action_31
action_161 (43) = happyGoto action_33
action_161 _ = happyFail
action_162 (52) = happyShift action_35
action_162 (58) = happyShift action_130
action_162 (78) = happyShift action_39
action_162 (90) = happyShift action_40
action_162 (91) = happyShift action_41
action_162 (92) = happyShift action_42
action_162 (93) = happyShift action_43
action_162 (94) = happyShift action_44
action_162 (95) = happyShift action_45
action_162 (96) = happyShift action_46
action_162 (97) = happyShift action_47
action_162 (98) = happyShift action_48
action_162 (99) = happyShift action_49
action_162 (102) = happyShift action_50
action_162 (121) = happyShift action_51
action_162 (122) = happyShift action_52
action_162 (123) = happyShift action_53
action_162 (124) = happyShift action_89
action_162 (125) = happyShift action_55
action_162 (22) = happyGoto action_173
action_162 (23) = happyGoto action_14
action_162 (24) = happyGoto action_15
action_162 (25) = happyGoto action_16
action_162 (26) = happyGoto action_17
action_162 (27) = happyGoto action_18
action_162 (28) = happyGoto action_19
action_162 (29) = happyGoto action_20
action_162 (30) = happyGoto action_21
action_162 (31) = happyGoto action_22
action_162 (32) = happyGoto action_23
action_162 (33) = happyGoto action_24
action_162 (34) = happyGoto action_25
action_162 (35) = happyGoto action_26
action_162 (36) = happyGoto action_27
action_162 (37) = happyGoto action_28
action_162 (38) = happyGoto action_111
action_162 (40) = happyGoto action_174
action_162 (41) = happyGoto action_31
action_162 (43) = happyGoto action_33
action_162 _ = happyFail
action_163 (48) = happyShift action_34
action_163 (52) = happyShift action_35
action_163 (58) = happyShift action_36
action_163 (74) = happyShift action_37
action_163 (75) = happyShift action_38
action_163 (78) = happyShift action_39
action_163 (90) = happyShift action_40
action_163 (91) = happyShift action_41
action_163 (92) = happyShift action_42
action_163 (93) = happyShift action_43
action_163 (94) = happyShift action_44
action_163 (95) = happyShift action_45
action_163 (96) = happyShift action_46
action_163 (97) = happyShift action_47
action_163 (98) = happyShift action_48
action_163 (99) = happyShift action_49
action_163 (102) = happyShift action_50
action_163 (121) = happyShift action_51
action_163 (122) = happyShift action_52
action_163 (123) = happyShift action_53
action_163 (124) = happyShift action_54
action_163 (125) = happyShift action_55
action_163 (15) = happyGoto action_171
action_163 (21) = happyGoto action_172
action_163 (22) = happyGoto action_110
action_163 (23) = happyGoto action_14
action_163 (24) = happyGoto action_15
action_163 (25) = happyGoto action_16
action_163 (26) = happyGoto action_17
action_163 (27) = happyGoto action_18
action_163 (28) = happyGoto action_19
action_163 (29) = happyGoto action_20
action_163 (30) = happyGoto action_21
action_163 (31) = happyGoto action_22
action_163 (32) = happyGoto action_23
action_163 (33) = happyGoto action_24
action_163 (34) = happyGoto action_25
action_163 (35) = happyGoto action_26
action_163 (36) = happyGoto action_27
action_163 (37) = happyGoto action_28
action_163 (38) = happyGoto action_111
action_163 (40) = happyGoto action_30
action_163 (41) = happyGoto action_31
action_163 (42) = happyGoto action_32
action_163 (43) = happyGoto action_33
action_163 _ = happyFail
action_164 (48) = happyShift action_34
action_164 (52) = happyShift action_35
action_164 (58) = happyShift action_36
action_164 (74) = happyShift action_37
action_164 (75) = happyShift action_38
action_164 (78) = happyShift action_39
action_164 (90) = happyShift action_40
action_164 (91) = happyShift action_41
action_164 (92) = happyShift action_42
action_164 (93) = happyShift action_43
action_164 (94) = happyShift action_44
action_164 (95) = happyShift action_45
action_164 (96) = happyShift action_46
action_164 (97) = happyShift action_47
action_164 (98) = happyShift action_48
action_164 (99) = happyShift action_49
action_164 (102) = happyShift action_50
action_164 (121) = happyShift action_51
action_164 (122) = happyShift action_52
action_164 (123) = happyShift action_53
action_164 (124) = happyShift action_54
action_164 (125) = happyShift action_55
action_164 (13) = happyGoto action_169
action_164 (15) = happyGoto action_7
action_164 (16) = happyGoto action_170
action_164 (21) = happyGoto action_12
action_164 (22) = happyGoto action_110
action_164 (23) = happyGoto action_14
action_164 (24) = happyGoto action_15
action_164 (25) = happyGoto action_16
action_164 (26) = happyGoto action_17
action_164 (27) = happyGoto action_18
action_164 (28) = happyGoto action_19
action_164 (29) = happyGoto action_20
action_164 (30) = happyGoto action_21
action_164 (31) = happyGoto action_22
action_164 (32) = happyGoto action_23
action_164 (33) = happyGoto action_24
action_164 (34) = happyGoto action_25
action_164 (35) = happyGoto action_26
action_164 (36) = happyGoto action_27
action_164 (37) = happyGoto action_28
action_164 (38) = happyGoto action_111
action_164 (40) = happyGoto action_30
action_164 (41) = happyGoto action_31
action_164 (42) = happyGoto action_32
action_164 (43) = happyGoto action_33
action_164 _ = happyFail
action_165 (48) = happyShift action_34
action_165 (52) = happyShift action_35
action_165 (58) = happyShift action_36
action_165 (74) = happyShift action_37
action_165 (75) = happyShift action_38
action_165 (78) = happyShift action_39
action_165 (90) = happyShift action_40
action_165 (91) = happyShift action_41
action_165 (92) = happyShift action_42
action_165 (93) = happyShift action_43
action_165 (94) = happyShift action_44
action_165 (95) = happyShift action_45
action_165 (96) = happyShift action_46
action_165 (97) = happyShift action_47
action_165 (98) = happyShift action_48
action_165 (99) = happyShift action_49
action_165 (102) = happyShift action_50
action_165 (121) = happyShift action_51
action_165 (122) = happyShift action_52
action_165 (123) = happyShift action_53
action_165 (124) = happyShift action_54
action_165 (125) = happyShift action_55
action_165 (13) = happyGoto action_5
action_165 (14) = happyGoto action_168
action_165 (15) = happyGoto action_7
action_165 (16) = happyGoto action_8
action_165 (21) = happyGoto action_12
action_165 (22) = happyGoto action_110
action_165 (23) = happyGoto action_14
action_165 (24) = happyGoto action_15
action_165 (25) = happyGoto action_16
action_165 (26) = happyGoto action_17
action_165 (27) = happyGoto action_18
action_165 (28) = happyGoto action_19
action_165 (29) = happyGoto action_20
action_165 (30) = happyGoto action_21
action_165 (31) = happyGoto action_22
action_165 (32) = happyGoto action_23
action_165 (33) = happyGoto action_24
action_165 (34) = happyGoto action_25
action_165 (35) = happyGoto action_26
action_165 (36) = happyGoto action_27
action_165 (37) = happyGoto action_28
action_165 (38) = happyGoto action_111
action_165 (40) = happyGoto action_30
action_165 (41) = happyGoto action_31
action_165 (42) = happyGoto action_32
action_165 (43) = happyGoto action_33
action_165 _ = happyFail
action_166 (48) = happyShift action_34
action_166 (52) = happyShift action_35
action_166 (58) = happyShift action_36
action_166 (74) = happyShift action_37
action_166 (75) = happyShift action_38
action_166 (78) = happyShift action_39
action_166 (90) = happyShift action_40
action_166 (91) = happyShift action_41
action_166 (92) = happyShift action_42
action_166 (93) = happyShift action_43
action_166 (94) = happyShift action_44
action_166 (95) = happyShift action_45
action_166 (96) = happyShift action_46
action_166 (97) = happyShift action_47
action_166 (98) = happyShift action_48
action_166 (99) = happyShift action_49
action_166 (102) = happyShift action_50
action_166 (121) = happyShift action_51
action_166 (122) = happyShift action_52
action_166 (123) = happyShift action_53
action_166 (124) = happyShift action_54
action_166 (125) = happyShift action_55
action_166 (12) = happyGoto action_167
action_166 (13) = happyGoto action_5
action_166 (14) = happyGoto action_6
action_166 (15) = happyGoto action_7
action_166 (16) = happyGoto action_8
action_166 (21) = happyGoto action_12
action_166 (22) = happyGoto action_110
action_166 (23) = happyGoto action_14
action_166 (24) = happyGoto action_15
action_166 (25) = happyGoto action_16
action_166 (26) = happyGoto action_17
action_166 (27) = happyGoto action_18
action_166 (28) = happyGoto action_19
action_166 (29) = happyGoto action_20
action_166 (30) = happyGoto action_21
action_166 (31) = happyGoto action_22
action_166 (32) = happyGoto action_23
action_166 (33) = happyGoto action_24
action_166 (34) = happyGoto action_25
action_166 (35) = happyGoto action_26
action_166 (36) = happyGoto action_27
action_166 (37) = happyGoto action_28
action_166 (38) = happyGoto action_111
action_166 (40) = happyGoto action_30
action_166 (41) = happyGoto action_31
action_166 (42) = happyGoto action_32
action_166 (43) = happyGoto action_33
action_166 _ = happyFail
action_167 _ = happyReduce_20
action_168 _ = happyReduce_22
action_169 _ = happyReduce_24
action_170 (46) = happyShift action_164
action_170 _ = happyReduce_25
action_171 _ = happyReduce_28
action_172 (47) = happyShift action_163
action_172 _ = happyReduce_29
action_173 _ = happyReduce_45
action_174 (113) = happyShift action_131
action_174 (114) = happyShift action_132
action_174 (115) = happyShift action_133
action_174 (116) = happyShift action_134
action_174 (117) = happyShift action_135
action_174 (118) = happyShift action_136
action_174 _ = happyFail
action_175 _ = happyReduce_44
action_176 (73) = happyShift action_112
action_176 _ = happyReduce_63
action_177 (73) = happyShift action_112
action_177 _ = happyReduce_62
action_178 (73) = happyShift action_112
action_178 _ = happyReduce_57
action_179 _ = happyReduce_75
action_180 _ = happyReduce_79
action_181 (77) = happyShift action_151
action_181 _ = happyReduce_80
action_182 _ = happyReduce_91
action_183 _ = happyReduce_89
action_184 _ = happyReduce_90
action_185 _ = happyReduce_88
action_186 (73) = happyShift action_112
action_186 _ = happyReduce_108
action_187 (73) = happyShift action_112
action_187 _ = happyReduce_107
action_188 (52) = happyShift action_35
action_188 (58) = happyShift action_130
action_188 (90) = happyShift action_40
action_188 (91) = happyShift action_41
action_188 (92) = happyShift action_42
action_188 (93) = happyShift action_43
action_188 (94) = happyShift action_44
action_188 (95) = happyShift action_45
action_188 (96) = happyShift action_46
action_188 (97) = happyShift action_47
action_188 (98) = happyShift action_48
action_188 (99) = happyShift action_49
action_188 (102) = happyShift action_50
action_188 (123) = happyShift action_53
action_188 (124) = happyShift action_89
action_188 (125) = happyShift action_55
action_188 (31) = happyGoto action_22
action_188 (38) = happyGoto action_265
action_188 (41) = happyGoto action_87
action_188 (43) = happyGoto action_266
action_188 _ = happyFail
action_189 (73) = happyShift action_112
action_189 (101) = happyShift action_264
action_189 _ = happyFail
action_190 _ = happyReduce_42
action_191 _ = happyReduce_43
action_192 (52) = happyShift action_35
action_192 (58) = happyShift action_130
action_192 (90) = happyShift action_40
action_192 (91) = happyShift action_41
action_192 (92) = happyShift action_42
action_192 (93) = happyShift action_43
action_192 (94) = happyShift action_44
action_192 (95) = happyShift action_45
action_192 (96) = happyShift action_46
action_192 (97) = happyShift action_47
action_192 (98) = happyShift action_48
action_192 (99) = happyShift action_49
action_192 (102) = happyShift action_50
action_192 (123) = happyShift action_53
action_192 (124) = happyShift action_89
action_192 (125) = happyShift action_55
action_192 (31) = happyGoto action_22
action_192 (38) = happyGoto action_262
action_192 (41) = happyGoto action_87
action_192 (43) = happyGoto action_263
action_192 _ = happyFail
action_193 (73) = happyShift action_112
action_193 (101) = happyShift action_261
action_193 _ = happyFail
action_194 _ = happyReduce_87
action_195 _ = happyReduce_83
action_196 (76) = happyShift action_137
action_196 _ = happyReduce_84
action_197 _ = happyReduce_117
action_198 (50) = happyShift action_125
action_198 (51) = happyShift action_126
action_198 (53) = happyShift action_127
action_198 (54) = happyShift action_128
action_198 (55) = happyShift action_129
action_198 (58) = happyShift action_84
action_198 (123) = happyShift action_53
action_198 (125) = happyShift action_55
action_198 (43) = happyGoto action_124
action_198 _ = happyFail
action_199 (73) = happyShift action_112
action_199 _ = happyReduce_126
action_200 (52) = happyShift action_35
action_200 (58) = happyShift action_200
action_200 (123) = happyShift action_53
action_200 (125) = happyShift action_55
action_200 (40) = happyGoto action_210
action_200 (41) = happyGoto action_260
action_200 (42) = happyGoto action_207
action_200 (43) = happyGoto action_230
action_200 _ = happyFail
action_201 _ = happyReduce_116
action_202 _ = happyReduce_115
action_203 _ = happyReduce_114
action_204 _ = happyReduce_113
action_205 _ = happyReduce_112
action_206 (59) = happyShift action_224
action_206 _ = happyFail
action_207 (50) = happyShift action_117
action_207 (51) = happyShift action_118
action_207 (59) = happyShift action_222
action_207 _ = happyFail
action_208 _ = happyReduce_133
action_209 _ = happyReduce_132
action_210 _ = happyReduce_137
action_211 (50) = happyShift action_117
action_211 (51) = happyShift action_118
action_211 _ = happyReduce_51
action_212 (50) = happyShift action_117
action_212 (51) = happyShift action_118
action_212 _ = happyReduce_52
action_213 (50) = happyShift action_117
action_213 (51) = happyShift action_118
action_213 _ = happyReduce_54
action_214 (50) = happyShift action_117
action_214 (51) = happyShift action_118
action_214 _ = happyReduce_55
action_215 _ = happyReduce_135
action_216 _ = happyReduce_136
action_217 (50) = happyShift action_117
action_217 (51) = happyShift action_118
action_217 _ = happyReduce_53
action_218 _ = happyReduce_110
action_219 _ = happyReduce_109
action_220 (73) = happyShift action_112
action_220 _ = happyReduce_118
action_221 (58) = happyShift action_84
action_221 (123) = happyShift action_53
action_221 (125) = happyShift action_55
action_221 (43) = happyGoto action_259
action_221 _ = happyFail
action_222 _ = happyReduce_140
action_223 _ = happyReduce_134
action_224 _ = happyReduce_120
action_225 _ = happyReduce_49
action_226 (48) = happyShift action_34
action_226 (52) = happyShift action_35
action_226 (58) = happyShift action_36
action_226 (74) = happyShift action_37
action_226 (75) = happyShift action_38
action_226 (78) = happyShift action_39
action_226 (90) = happyShift action_40
action_226 (91) = happyShift action_41
action_226 (92) = happyShift action_42
action_226 (93) = happyShift action_43
action_226 (94) = happyShift action_44
action_226 (95) = happyShift action_45
action_226 (96) = happyShift action_46
action_226 (97) = happyShift action_47
action_226 (98) = happyShift action_48
action_226 (99) = happyShift action_49
action_226 (102) = happyShift action_50
action_226 (121) = happyShift action_51
action_226 (122) = happyShift action_52
action_226 (123) = happyShift action_53
action_226 (124) = happyShift action_54
action_226 (125) = happyShift action_55
action_226 (21) = happyGoto action_258
action_226 (22) = happyGoto action_110
action_226 (23) = happyGoto action_14
action_226 (24) = happyGoto action_15
action_226 (25) = happyGoto action_16
action_226 (26) = happyGoto action_17
action_226 (27) = happyGoto action_18
action_226 (28) = happyGoto action_19
action_226 (29) = happyGoto action_20
action_226 (30) = happyGoto action_21
action_226 (31) = happyGoto action_22
action_226 (32) = happyGoto action_23
action_226 (33) = happyGoto action_24
action_226 (34) = happyGoto action_25
action_226 (35) = happyGoto action_26
action_226 (36) = happyGoto action_27
action_226 (37) = happyGoto action_28
action_226 (38) = happyGoto action_111
action_226 (40) = happyGoto action_30
action_226 (41) = happyGoto action_31
action_226 (42) = happyGoto action_32
action_226 (43) = happyGoto action_33
action_226 _ = happyFail
action_227 (48) = happyShift action_34
action_227 (52) = happyShift action_35
action_227 (58) = happyShift action_36
action_227 (74) = happyShift action_37
action_227 (75) = happyShift action_38
action_227 (78) = happyShift action_39
action_227 (90) = happyShift action_40
action_227 (91) = happyShift action_41
action_227 (92) = happyShift action_42
action_227 (93) = happyShift action_43
action_227 (94) = happyShift action_44
action_227 (95) = happyShift action_45
action_227 (96) = happyShift action_46
action_227 (97) = happyShift action_47
action_227 (98) = happyShift action_48
action_227 (99) = happyShift action_49
action_227 (102) = happyShift action_50
action_227 (121) = happyShift action_51
action_227 (122) = happyShift action_52
action_227 (123) = happyShift action_53
action_227 (124) = happyShift action_54
action_227 (125) = happyShift action_55
action_227 (21) = happyGoto action_257
action_227 (22) = happyGoto action_110
action_227 (23) = happyGoto action_14
action_227 (24) = happyGoto action_15
action_227 (25) = happyGoto action_16
action_227 (26) = happyGoto action_17
action_227 (27) = happyGoto action_18
action_227 (28) = happyGoto action_19
action_227 (29) = happyGoto action_20
action_227 (30) = happyGoto action_21
action_227 (31) = happyGoto action_22
action_227 (32) = happyGoto action_23
action_227 (33) = happyGoto action_24
action_227 (34) = happyGoto action_25
action_227 (35) = happyGoto action_26
action_227 (36) = happyGoto action_27
action_227 (37) = happyGoto action_28
action_227 (38) = happyGoto action_111
action_227 (40) = happyGoto action_30
action_227 (41) = happyGoto action_31
action_227 (42) = happyGoto action_32
action_227 (43) = happyGoto action_33
action_227 _ = happyFail
action_228 (52) = happyShift action_35
action_228 (58) = happyShift action_88
action_228 (90) = happyShift action_40
action_228 (91) = happyShift action_41
action_228 (92) = happyShift action_42
action_228 (93) = happyShift action_43
action_228 (94) = happyShift action_44
action_228 (95) = happyShift action_45
action_228 (96) = happyShift action_46
action_228 (97) = happyShift action_47
action_228 (98) = happyShift action_48
action_228 (99) = happyShift action_49
action_228 (102) = happyShift action_50
action_228 (124) = happyShift action_89
action_228 (26) = happyGoto action_17
action_228 (27) = happyGoto action_256
action_228 (28) = happyGoto action_19
action_228 (29) = happyGoto action_20
action_228 (31) = happyGoto action_22
action_228 (38) = happyGoto action_101
action_228 (41) = happyGoto action_87
action_228 _ = happyFail
action_229 _ = happyReduce_74
action_230 (73) = happyShift action_112
action_230 (100) = happyShift action_221
action_230 _ = happyReduce_126
action_231 (58) = happyShift action_84
action_231 (123) = happyShift action_53
action_231 (125) = happyShift action_55
action_231 (43) = happyGoto action_255
action_231 _ = happyFail
action_232 (59) = happyShift action_254
action_232 _ = happyFail
action_233 (64) = happyShift action_253
action_233 _ = happyReduce_125
action_234 (62) = happyShift action_252
action_234 _ = happyFail
action_235 (59) = happyShift action_251
action_235 _ = happyFail
action_236 _ = happyReduce_56
action_237 (62) = happyShift action_250
action_237 _ = happyFail
action_238 (62) = happyShift action_249
action_238 _ = happyFail
action_239 (62) = happyShift action_248
action_239 _ = happyFail
action_240 (62) = happyShift action_247
action_240 _ = happyFail
action_241 (62) = happyShift action_246
action_241 _ = happyFail
action_242 (62) = happyShift action_245
action_242 _ = happyFail
action_243 (62) = happyShift action_244
action_243 _ = happyFail
action_244 _ = happyReduce_12
action_245 _ = happyReduce_11
action_246 _ = happyReduce_15
action_247 _ = happyReduce_14
action_248 _ = happyReduce_13
action_249 _ = happyReduce_10
action_250 _ = happyReduce_9
action_251 _ = happyReduce_50
action_252 _ = happyReduce_122
action_253 (52) = happyShift action_35
action_253 (58) = happyShift action_200
action_253 (123) = happyShift action_53
action_253 (125) = happyShift action_55
action_253 (39) = happyGoto action_274
action_253 (40) = happyGoto action_233
action_253 (41) = happyGoto action_198
action_253 (43) = happyGoto action_199
action_253 _ = happyFail
action_254 _ = happyReduce_138
action_255 (73) = happyShift action_112
action_255 _ = happyReduce_111
action_256 _ = happyReduce_77
action_257 _ = happyReduce_46
action_258 _ = happyReduce_47
action_259 (59) = happyShift action_273
action_259 (73) = happyShift action_112
action_259 _ = happyFail
action_260 (50) = happyShift action_125
action_260 (51) = happyShift action_126
action_260 (53) = happyShift action_127
action_260 (54) = happyShift action_128
action_260 (55) = happyShift action_129
action_260 (58) = happyShift action_84
action_260 (59) = happyShift action_223
action_260 (123) = happyShift action_53
action_260 (125) = happyShift action_55
action_260 (43) = happyGoto action_124
action_260 _ = happyFail
action_261 (58) = happyShift action_84
action_261 (123) = happyShift action_53
action_261 (125) = happyShift action_55
action_261 (43) = happyGoto action_272
action_261 _ = happyFail
action_262 (64) = happyShift action_271
action_262 _ = happyFail
action_263 (64) = happyShift action_270
action_263 (73) = happyShift action_112
action_263 _ = happyFail
action_264 (58) = happyShift action_84
action_264 (123) = happyShift action_53
action_264 (125) = happyShift action_55
action_264 (43) = happyGoto action_269
action_264 _ = happyFail
action_265 (64) = happyShift action_268
action_265 _ = happyFail
action_266 (64) = happyShift action_267
action_266 (73) = happyShift action_112
action_266 _ = happyFail
action_267 (52) = happyShift action_35
action_267 (58) = happyShift action_130
action_267 (90) = happyShift action_40
action_267 (91) = happyShift action_41
action_267 (92) = happyShift action_42
action_267 (93) = happyShift action_43
action_267 (94) = happyShift action_44
action_267 (95) = happyShift action_45
action_267 (96) = happyShift action_46
action_267 (97) = happyShift action_47
action_267 (98) = happyShift action_48
action_267 (99) = happyShift action_49
action_267 (102) = happyShift action_50
action_267 (123) = happyShift action_53
action_267 (124) = happyShift action_89
action_267 (125) = happyShift action_55
action_267 (31) = happyGoto action_22
action_267 (38) = happyGoto action_281
action_267 (41) = happyGoto action_87
action_267 (43) = happyGoto action_282
action_267 _ = happyFail
action_268 (52) = happyShift action_35
action_268 (58) = happyShift action_130
action_268 (90) = happyShift action_40
action_268 (91) = happyShift action_41
action_268 (92) = happyShift action_42
action_268 (93) = happyShift action_43
action_268 (94) = happyShift action_44
action_268 (95) = happyShift action_45
action_268 (96) = happyShift action_46
action_268 (97) = happyShift action_47
action_268 (98) = happyShift action_48
action_268 (99) = happyShift action_49
action_268 (102) = happyShift action_50
action_268 (123) = happyShift action_53
action_268 (124) = happyShift action_89
action_268 (125) = happyShift action_55
action_268 (31) = happyGoto action_22
action_268 (38) = happyGoto action_279
action_268 (41) = happyGoto action_87
action_268 (43) = happyGoto action_280
action_268 _ = happyFail
action_269 (73) = happyShift action_112
action_269 _ = happyReduce_37
action_270 (52) = happyShift action_35
action_270 (58) = happyShift action_130
action_270 (90) = happyShift action_40
action_270 (91) = happyShift action_41
action_270 (92) = happyShift action_42
action_270 (93) = happyShift action_43
action_270 (94) = happyShift action_44
action_270 (95) = happyShift action_45
action_270 (96) = happyShift action_46
action_270 (97) = happyShift action_47
action_270 (98) = happyShift action_48
action_270 (99) = happyShift action_49
action_270 (102) = happyShift action_50
action_270 (123) = happyShift action_53
action_270 (124) = happyShift action_89
action_270 (125) = happyShift action_55
action_270 (31) = happyGoto action_22
action_270 (38) = happyGoto action_277
action_270 (41) = happyGoto action_87
action_270 (43) = happyGoto action_278
action_270 _ = happyFail
action_271 (52) = happyShift action_35
action_271 (58) = happyShift action_130
action_271 (90) = happyShift action_40
action_271 (91) = happyShift action_41
action_271 (92) = happyShift action_42
action_271 (93) = happyShift action_43
action_271 (94) = happyShift action_44
action_271 (95) = happyShift action_45
action_271 (96) = happyShift action_46
action_271 (97) = happyShift action_47
action_271 (98) = happyShift action_48
action_271 (99) = happyShift action_49
action_271 (102) = happyShift action_50
action_271 (123) = happyShift action_53
action_271 (124) = happyShift action_89
action_271 (125) = happyShift action_55
action_271 (31) = happyGoto action_22
action_271 (38) = happyGoto action_275
action_271 (41) = happyGoto action_87
action_271 (43) = happyGoto action_276
action_271 _ = happyFail
action_272 (73) = happyShift action_112
action_272 _ = happyReduce_32
action_273 _ = happyReduce_143
action_274 _ = happyReduce_124
action_275 (60) = happyShift action_190
action_275 (61) = happyShift action_191
action_275 (19) = happyGoto action_290
action_275 _ = happyFail
action_276 (60) = happyShift action_190
action_276 (61) = happyShift action_191
action_276 (73) = happyShift action_112
action_276 (19) = happyGoto action_289
action_276 _ = happyFail
action_277 (60) = happyShift action_190
action_277 (61) = happyShift action_191
action_277 (19) = happyGoto action_288
action_277 _ = happyFail
action_278 (60) = happyShift action_190
action_278 (61) = happyShift action_191
action_278 (73) = happyShift action_112
action_278 (19) = happyGoto action_287
action_278 _ = happyFail
action_279 (60) = happyShift action_190
action_279 (61) = happyShift action_191
action_279 (19) = happyGoto action_286
action_279 _ = happyFail
action_280 (60) = happyShift action_190
action_280 (61) = happyShift action_191
action_280 (73) = happyShift action_112
action_280 (19) = happyGoto action_285
action_280 _ = happyFail
action_281 (60) = happyShift action_190
action_281 (61) = happyShift action_191
action_281 (19) = happyGoto action_284
action_281 _ = happyFail
action_282 (60) = happyShift action_190
action_282 (61) = happyShift action_191
action_282 (73) = happyShift action_112
action_282 (19) = happyGoto action_283
action_282 _ = happyFail
action_283 _ = happyReduce_38
action_284 _ = happyReduce_39
action_285 _ = happyReduce_40
action_286 _ = happyReduce_41
action_287 _ = happyReduce_33
action_288 _ = happyReduce_34
action_289 _ = happyReduce_35
action_290 _ = happyReduce_36
happyReduce_1 = happySpecReduce_1 4 happyReduction_1
happyReduction_1 (HappyAbsSyn7 happy_var_1)
= HappyAbsSyn4
(SINGLEFORM happy_var_1
)
happyReduction_1 _ = notHappyAtAll
happyReduce_2 = happySpecReduce_1 4 happyReduction_2
happyReduction_2 (HappyAbsSyn7 happy_var_1)
= HappyAbsSyn4
(PROP happy_var_1
)
happyReduction_2 _ = notHappyAtAll
happyReduce_3 = happySpecReduce_1 4 happyReduction_3
happyReduction_3 (HappyAbsSyn4 happy_var_1)
= HappyAbsSyn4
(happy_var_1
)
happyReduction_3 _ = notHappyAtAll
happyReduce_4 = happySpecReduce_1 4 happyReduction_4
happyReduction_4 (HappyAbsSyn4 happy_var_1)
= HappyAbsSyn4
(happy_var_1
)
happyReduction_4 _ = notHappyAtAll
happyReduce_5 = happySpecReduce_2 5 happyReduction_5
happyReduction_5 (HappyAbsSyn7 happy_var_2)
(HappyAbsSyn7 happy_var_1)
= HappyAbsSyn4
(NEC (happy_var_1,happy_var_2)
)
happyReduction_5 _ _ = notHappyAtAll
happyReduce_6 = happySpecReduce_2 5 happyReduction_6
happyReduction_6 (HappyAbsSyn7 happy_var_2)
(HappyAbsSyn7 happy_var_1)
= HappyAbsSyn4
(NEC (happy_var_2,happy_var_1)
)
happyReduction_6 _ _ = notHappyAtAll
happyReduce_7 = happySpecReduce_2 6 happyReduction_7
happyReduction_7 (HappyAbsSyn7 happy_var_2)
(HappyAbsSyn7 happy_var_1)
= HappyAbsSyn4
(SUF (happy_var_1,happy_var_2)
)
happyReduction_7 _ _ = notHappyAtAll
happyReduce_8 = happySpecReduce_2 6 happyReduction_8
happyReduction_8 (HappyAbsSyn7 happy_var_2)
(HappyAbsSyn7 happy_var_1)
= HappyAbsSyn4
(SUF (happy_var_2,happy_var_1)
)
happyReduction_8 _ _ = notHappyAtAll
happyReduce_9 = happyReduce 4 7 happyReduction_9
happyReduction_9 (_ `HappyStk`
(HappyAbsSyn7 happy_var_3) `HappyStk`
_ `HappyStk`
_ `HappyStk`
happyRest)
= HappyAbsSyn7
(happy_var_3
) `HappyStk` happyRest
happyReduce_10 = happyReduce 4 8 happyReduction_10
happyReduction_10 (_ `HappyStk`
(HappyAbsSyn7 happy_var_3) `HappyStk`
_ `HappyStk`
_ `HappyStk`
happyRest)
= HappyAbsSyn7
(happy_var_3
) `HappyStk` happyRest
happyReduce_11 = happyReduce 4 8 happyReduction_11
happyReduction_11 (_ `HappyStk`
(HappyAbsSyn7 happy_var_3) `HappyStk`
_ `HappyStk`
_ `HappyStk`
happyRest)
= HappyAbsSyn7
(happy_var_3
) `HappyStk` happyRest
happyReduce_12 = happyReduce 4 8 happyReduction_12
happyReduction_12 (_ `HappyStk`
(HappyAbsSyn7 happy_var_3) `HappyStk`
_ `HappyStk`
_ `HappyStk`
happyRest)
= HappyAbsSyn7
(happy_var_3
) `HappyStk` happyRest
happyReduce_13 = happyReduce 4 9 happyReduction_13
happyReduction_13 (_ `HappyStk`
(HappyAbsSyn7 happy_var_3) `HappyStk`
_ `HappyStk`
_ `HappyStk`
happyRest)
= HappyAbsSyn7
(happy_var_3
) `HappyStk` happyRest
happyReduce_14 = happyReduce 4 9 happyReduction_14
happyReduction_14 (_ `HappyStk`
(HappyAbsSyn7 happy_var_3) `HappyStk`
_ `HappyStk`
_ `HappyStk`
happyRest)
= HappyAbsSyn7
(happy_var_3
) `HappyStk` happyRest
happyReduce_15 = happyReduce 4 9 happyReduction_15
happyReduction_15 (_ `HappyStk`
(HappyAbsSyn7 happy_var_3) `HappyStk`
_ `HappyStk`
_ `HappyStk`
happyRest)
= HappyAbsSyn7
(happy_var_3
) `HappyStk` happyRest
happyReduce_16 = happySpecReduce_1 10 happyReduction_16
happyReduction_16 (HappyAbsSyn7 happy_var_1)
= HappyAbsSyn7
(happy_var_1
)
happyReduction_16 _ = notHappyAtAll
happyReduce_17 = happySpecReduce_1 10 happyReduction_17
happyReduction_17 (HappyAbsSyn7 happy_var_1)
= HappyAbsSyn7
(happy_var_1
)
happyReduction_17 _ = notHappyAtAll
happyReduce_18 = happySpecReduce_1 10 happyReduction_18
happyReduction_18 (HappyAbsSyn7 happy_var_1)
= HappyAbsSyn7
(happy_var_1
)
happyReduction_18 _ = notHappyAtAll
happyReduce_19 = happySpecReduce_1 10 happyReduction_19
happyReduction_19 (HappyAbsSyn7 happy_var_1)
= HappyAbsSyn7
(happy_var_1
)
happyReduction_19 _ = notHappyAtAll
happyReduce_20 = happySpecReduce_3 11 happyReduction_20
happyReduction_20 (HappyAbsSyn7 happy_var_3)
_
(HappyAbsSyn7 happy_var_1)
= HappyAbsSyn7
(IFF happy_var_1 happy_var_3
)
happyReduction_20 _ _ _ = notHappyAtAll
happyReduce_21 = happySpecReduce_1 11 happyReduction_21
happyReduction_21 (HappyAbsSyn7 happy_var_1)
= HappyAbsSyn7
(happy_var_1
)
happyReduction_21 _ = notHappyAtAll
happyReduce_22 = happySpecReduce_3 12 happyReduction_22
happyReduction_22 (HappyAbsSyn7 happy_var_3)
_
(HappyAbsSyn7 happy_var_1)
= HappyAbsSyn7
(IMP happy_var_1 happy_var_3
)
happyReduction_22 _ _ _ = notHappyAtAll
happyReduce_23 = happySpecReduce_1 12 happyReduction_23
happyReduction_23 (HappyAbsSyn7 happy_var_1)
= HappyAbsSyn7
(happy_var_1
)
happyReduction_23 _ = notHappyAtAll
happyReduce_24 = happySpecReduce_3 13 happyReduction_24
happyReduction_24 (HappyAbsSyn13 happy_var_3)
_
(HappyAbsSyn7 happy_var_1)
= HappyAbsSyn13
(happy_var_1 : happy_var_3
)
happyReduction_24 _ _ _ = notHappyAtAll
happyReduce_25 = happySpecReduce_3 13 happyReduction_25
happyReduction_25 (HappyAbsSyn7 happy_var_3)
_
(HappyAbsSyn7 happy_var_1)
= HappyAbsSyn13
([happy_var_1, happy_var_3]
)
happyReduction_25 _ _ _ = notHappyAtAll
happyReduce_26 = happySpecReduce_1 14 happyReduction_26
happyReduction_26 (HappyAbsSyn13 happy_var_1)
= HappyAbsSyn7
(OR happy_var_1
)
happyReduction_26 _ = notHappyAtAll
happyReduce_27 = happySpecReduce_1 14 happyReduction_27
happyReduction_27 (HappyAbsSyn7 happy_var_1)
= HappyAbsSyn7
(happy_var_1
)
happyReduction_27 _ = notHappyAtAll
happyReduce_28 = happySpecReduce_3 15 happyReduction_28
happyReduction_28 (HappyAbsSyn13 happy_var_3)
_
(HappyAbsSyn7 happy_var_1)
= HappyAbsSyn13
(happy_var_1 : happy_var_3
)
happyReduction_28 _ _ _ = notHappyAtAll
happyReduce_29 = happySpecReduce_3 15 happyReduction_29
happyReduction_29 (HappyAbsSyn7 happy_var_3)
_
(HappyAbsSyn7 happy_var_1)
= HappyAbsSyn13
([happy_var_1, happy_var_3]
)
happyReduction_29 _ _ _ = notHappyAtAll
happyReduce_30 = happySpecReduce_1 16 happyReduction_30
happyReduction_30 (HappyAbsSyn13 happy_var_1)
= HappyAbsSyn7
(AND happy_var_1
)
happyReduction_30 _ = notHappyAtAll
happyReduce_31 = happySpecReduce_1 16 happyReduction_31
happyReduction_31 (HappyAbsSyn7 happy_var_1)
= HappyAbsSyn7
(happy_var_1
)
happyReduction_31 _ = notHappyAtAll
happyReduce_32 = happyReduce 5 17 happyReduction_32
happyReduction_32 ((HappyAbsSyn43 happy_var_5) `HappyStk`
_ `HappyStk`
(HappyAbsSyn43 happy_var_3) `HappyStk`
_ `HappyStk`
(HappyAbsSyn22 happy_var_1) `HappyStk`
happyRest)
= HappyAbsSyn7
(DURING CC happy_var_1 (happy_var_3, happy_var_5)
) `HappyStk` happyRest
happyReduce_33 = happyReduce 7 17 happyReduction_33
happyReduction_33 ((HappyAbsSyn19 happy_var_7) `HappyStk`
(HappyAbsSyn43 happy_var_6) `HappyStk`
_ `HappyStk`
(HappyAbsSyn43 happy_var_4) `HappyStk`
(HappyAbsSyn19 happy_var_3) `HappyStk`
_ `HappyStk`
(HappyAbsSyn22 happy_var_1) `HappyStk`
happyRest)
= HappyAbsSyn7
(DURING (toBorders (happy_var_3,happy_var_7)) happy_var_1 (happy_var_4, happy_var_6)
) `HappyStk` happyRest
happyReduce_34 = happyReduce 7 17 happyReduction_34
happyReduction_34 ((HappyAbsSyn19 happy_var_7) `HappyStk`
(HappyAbsSyn22 happy_var_6) `HappyStk`
_ `HappyStk`
(HappyAbsSyn43 happy_var_4) `HappyStk`
(HappyAbsSyn19 happy_var_3) `HappyStk`
_ `HappyStk`
(HappyAbsSyn22 happy_var_1) `HappyStk`
happyRest)
= HappyAbsSyn7
(DURINGTP (toBorders (happy_var_3,happy_var_7)) happy_var_1 (happy_var_4, happy_var_6)
) `HappyStk` happyRest
happyReduce_35 = happyReduce 7 17 happyReduction_35
happyReduction_35 ((HappyAbsSyn19 happy_var_7) `HappyStk`
(HappyAbsSyn43 happy_var_6) `HappyStk`
_ `HappyStk`
(HappyAbsSyn22 happy_var_4) `HappyStk`
(HappyAbsSyn19 happy_var_3) `HappyStk`
_ `HappyStk`
(HappyAbsSyn22 happy_var_1) `HappyStk`
happyRest)
= HappyAbsSyn7
(DURINGPT (toBorders (happy_var_3,happy_var_7)) happy_var_1 (happy_var_4, happy_var_6)
) `HappyStk` happyRest
happyReduce_36 = happyReduce 7 17 happyReduction_36
happyReduction_36 ((HappyAbsSyn19 happy_var_7) `HappyStk`
(HappyAbsSyn22 happy_var_6) `HappyStk`
_ `HappyStk`
(HappyAbsSyn22 happy_var_4) `HappyStk`
(HappyAbsSyn19 happy_var_3) `HappyStk`
_ `HappyStk`
(HappyAbsSyn22 happy_var_1) `HappyStk`
happyRest)
= HappyAbsSyn7
(DURINGPP (toBorders (happy_var_3,happy_var_7)) happy_var_1 (happy_var_4, happy_var_6)
) `HappyStk` happyRest
happyReduce_37 = happyReduce 5 18 happyReduction_37
happyReduction_37 ((HappyAbsSyn43 happy_var_5) `HappyStk`
_ `HappyStk`
(HappyAbsSyn43 happy_var_3) `HappyStk`
_ `HappyStk`
(HappyAbsSyn22 happy_var_1) `HappyStk`
happyRest)
= HappyAbsSyn7
(WITHIN CC happy_var_1 (happy_var_3, happy_var_5)
) `HappyStk` happyRest
happyReduce_38 = happyReduce 7 18 happyReduction_38
happyReduction_38 ((HappyAbsSyn19 happy_var_7) `HappyStk`
(HappyAbsSyn43 happy_var_6) `HappyStk`
_ `HappyStk`
(HappyAbsSyn43 happy_var_4) `HappyStk`
(HappyAbsSyn19 happy_var_3) `HappyStk`
_ `HappyStk`
(HappyAbsSyn22 happy_var_1) `HappyStk`
happyRest)
= HappyAbsSyn7
(WITHIN (toBorders (happy_var_3,happy_var_7)) happy_var_1 (happy_var_4, happy_var_6)
) `HappyStk` happyRest
happyReduce_39 = happyReduce 7 18 happyReduction_39
happyReduction_39 ((HappyAbsSyn19 happy_var_7) `HappyStk`
(HappyAbsSyn22 happy_var_6) `HappyStk`
_ `HappyStk`
(HappyAbsSyn43 happy_var_4) `HappyStk`
(HappyAbsSyn19 happy_var_3) `HappyStk`
_ `HappyStk`
(HappyAbsSyn22 happy_var_1) `HappyStk`
happyRest)
= HappyAbsSyn7
(WITHINTP (toBorders (happy_var_3,happy_var_7)) happy_var_1 (happy_var_4, happy_var_6)
) `HappyStk` happyRest
happyReduce_40 = happyReduce 7 18 happyReduction_40
happyReduction_40 ((HappyAbsSyn19 happy_var_7) `HappyStk`
(HappyAbsSyn43 happy_var_6) `HappyStk`
_ `HappyStk`
(HappyAbsSyn22 happy_var_4) `HappyStk`
(HappyAbsSyn19 happy_var_3) `HappyStk`
_ `HappyStk`
(HappyAbsSyn22 happy_var_1) `HappyStk`
happyRest)
= HappyAbsSyn7
(WITHINPT (toBorders (happy_var_3,happy_var_7)) happy_var_1 (happy_var_4, happy_var_6)
) `HappyStk` happyRest
happyReduce_41 = happyReduce 7 18 happyReduction_41
happyReduction_41 ((HappyAbsSyn19 happy_var_7) `HappyStk`
(HappyAbsSyn22 happy_var_6) `HappyStk`
_ `HappyStk`
(HappyAbsSyn22 happy_var_4) `HappyStk`
(HappyAbsSyn19 happy_var_3) `HappyStk`
_ `HappyStk`
(HappyAbsSyn22 happy_var_1) `HappyStk`
happyRest)
= HappyAbsSyn7
(WITHINPP (toBorders (happy_var_3,happy_var_7)) happy_var_1 (happy_var_4, happy_var_6)
) `HappyStk` happyRest
happyReduce_42 = happySpecReduce_1 19 happyReduction_42
happyReduction_42 (HappyTerminal happy_var_1)
= HappyAbsSyn19
(happy_var_1
)
happyReduction_42 _ = notHappyAtAll
happyReduce_43 = happySpecReduce_1 19 happyReduction_43
happyReduction_43 (HappyTerminal happy_var_1)
= HappyAbsSyn19
(happy_var_1
)
happyReduction_43 _ = notHappyAtAll
happyReduce_44 = happySpecReduce_3 20 happyReduction_44
happyReduction_44 (HappyAbsSyn22 happy_var_3)
_
(HappyAbsSyn22 happy_var_1)
= HappyAbsSyn7
(WHENEVER happy_var_1 happy_var_3
)
happyReduction_44 _ _ _ = notHappyAtAll
happyReduce_45 = happySpecReduce_3 20 happyReduction_45
happyReduction_45 (HappyAbsSyn22 happy_var_3)
_
(HappyAbsSyn22 happy_var_1)
= HappyAbsSyn7
(WHENEVER happy_var_3 happy_var_1
)
happyReduction_45 _ _ _ = notHappyAtAll
happyReduce_46 = happyReduce 4 21 happyReduction_46
happyReduction_46 ((HappyAbsSyn7 happy_var_4) `HappyStk`
_ `HappyStk`
(HappyTerminal (Fid happy_var_2 _)) `HappyStk`
_ `HappyStk`
happyRest)
= HappyAbsSyn7
(ALL happy_var_2 happy_var_4
) `HappyStk` happyRest
happyReduce_47 = happyReduce 4 21 happyReduction_47
happyReduction_47 ((HappyAbsSyn7 happy_var_4) `HappyStk`
_ `HappyStk`
(HappyTerminal (Fid happy_var_2 _)) `HappyStk`
_ `HappyStk`
happyRest)
= HappyAbsSyn7
(SOME happy_var_2 happy_var_4
) `HappyStk` happyRest
happyReduce_48 = happySpecReduce_2 21 happyReduction_48
happyReduction_48 (HappyAbsSyn7 happy_var_2)
_
= HappyAbsSyn7
(NOT happy_var_2
)
happyReduction_48 _ _ = notHappyAtAll
happyReduce_49 = happySpecReduce_3 21 happyReduction_49
happyReduction_49 _
(HappyAbsSyn7 happy_var_2)
_
= HappyAbsSyn7
(happy_var_2
)
happyReduction_49 _ _ _ = notHappyAtAll
happyReduce_50 = happyReduce 4 21 happyReduction_50
happyReduction_50 (_ `HappyStk`
(HappyAbsSyn39 happy_var_3) `HappyStk`
_ `HappyStk`
(HappyTerminal (Pid happy_var_1 _)) `HappyStk`
happyRest)
= HappyAbsSyn7
(PRED happy_var_1 happy_var_3
) `HappyStk` happyRest
happyReduce_51 = happySpecReduce_3 21 happyReduction_51
happyReduction_51 (HappyAbsSyn42 happy_var_3)
_
(HappyAbsSyn42 happy_var_1)
= HappyAbsSyn7
(PRED "<=" [happy_var_1, happy_var_3]
)
happyReduction_51 _ _ _ = notHappyAtAll
happyReduce_52 = happySpecReduce_3 21 happyReduction_52
happyReduction_52 (HappyAbsSyn42 happy_var_3)
_
(HappyAbsSyn42 happy_var_1)
= HappyAbsSyn7
(PRED ">=" [happy_var_1, happy_var_3]
)
happyReduction_52 _ _ _ = notHappyAtAll
happyReduce_53 = happySpecReduce_3 21 happyReduction_53
happyReduction_53 (HappyAbsSyn42 happy_var_3)
_
(HappyAbsSyn42 happy_var_1)
= HappyAbsSyn7
(PRED "=" [happy_var_1, happy_var_3]
)
happyReduction_53 _ _ _ = notHappyAtAll
happyReduce_54 = happySpecReduce_3 21 happyReduction_54
happyReduction_54 (HappyAbsSyn42 happy_var_3)
_
(HappyAbsSyn42 happy_var_1)
= HappyAbsSyn7
(PRED "<" [happy_var_1, happy_var_3]
)
happyReduction_54 _ _ _ = notHappyAtAll
happyReduce_55 = happySpecReduce_3 21 happyReduction_55
happyReduction_55 (HappyAbsSyn42 happy_var_3)
_
(HappyAbsSyn42 happy_var_1)
= HappyAbsSyn7
(PRED ">" [happy_var_1, happy_var_3]
)
happyReduction_55 _ _ _ = notHappyAtAll
happyReduce_56 = happySpecReduce_3 21 happyReduction_56
happyReduction_56 _
_
(HappyTerminal (Pid happy_var_1 _))
= HappyAbsSyn7
(PRED happy_var_1 []
)
happyReduction_56 _ _ _ = notHappyAtAll
happyReduce_57 = happySpecReduce_3 21 happyReduction_57
happyReduction_57 (HappyAbsSyn43 happy_var_3)
_
(HappyAbsSyn22 happy_var_1)
= HappyAbsSyn7
(REQPRED happy_var_1 happy_var_3
)
happyReduction_57 _ _ _ = notHappyAtAll
happyReduce_58 = happySpecReduce_2 21 happyReduction_58
happyReduction_58 _
(HappyAbsSyn22 happy_var_1)
= HappyAbsSyn7
(ALWAYS happy_var_1
)
happyReduction_58 _ _ = notHappyAtAll
happyReduce_59 = happySpecReduce_2 21 happyReduction_59
happyReduction_59 _
(HappyAbsSyn22 happy_var_1)
= HappyAbsSyn7
(SOMETIME happy_var_1
)
happyReduction_59 _ _ = notHappyAtAll
happyReduce_60 = happySpecReduce_2 21 happyReduction_60
happyReduction_60 _
(HappyAbsSyn22 happy_var_1)
= HappyAbsSyn7
(AFTERZERO happy_var_1
)
happyReduction_60 _ _ = notHappyAtAll
happyReduce_61 = happySpecReduce_2 21 happyReduction_61
happyReduction_61 _
(HappyAbsSyn22 happy_var_1)
= HappyAbsSyn7
(FROMZERO happy_var_1
)
happyReduction_61 _ _ = notHappyAtAll
happyReduce_62 = happySpecReduce_3 21 happyReduction_62
happyReduction_62 (HappyAbsSyn43 happy_var_3)
_
(HappyAbsSyn22 happy_var_1)
= HappyAbsSyn7
(AFTER happy_var_3 happy_var_1
)
happyReduction_62 _ _ _ = notHappyAtAll
happyReduce_63 = happySpecReduce_3 21 happyReduction_63
happyReduction_63 (HappyAbsSyn43 happy_var_3)
_
(HappyAbsSyn22 happy_var_1)
= HappyAbsSyn7
(FROM happy_var_3 happy_var_1
)
happyReduction_63 _ _ _ = notHappyAtAll
happyReduce_64 = happySpecReduce_2 21 happyReduction_64
happyReduction_64 _
(HappyAbsSyn22 happy_var_1)
= HappyAbsSyn7
(ATZERO happy_var_1
)
happyReduction_64 _ _ = notHappyAtAll
happyReduce_65 = happySpecReduce_1 22 happyReduction_65
happyReduction_65 (HappyAbsSyn22 happy_var_1)
= HappyAbsSyn22
(happy_var_1
)
happyReduction_65 _ = notHappyAtAll
happyReduce_66 = happySpecReduce_1 22 happyReduction_66
happyReduction_66 (HappyAbsSyn22 happy_var_1)
= HappyAbsSyn22
(happy_var_1
)
happyReduction_66 _ = notHappyAtAll
happyReduce_67 = happySpecReduce_1 22 happyReduction_67
happyReduction_67 (HappyAbsSyn22 happy_var_1)
= HappyAbsSyn22
(happy_var_1
)
happyReduction_67 _ = notHappyAtAll
happyReduce_68 = happySpecReduce_1 22 happyReduction_68
happyReduction_68 (HappyAbsSyn22 happy_var_1)
= HappyAbsSyn22
(happy_var_1
)
happyReduction_68 _ = notHappyAtAll
happyReduce_69 = happySpecReduce_1 22 happyReduction_69
happyReduction_69 (HappyAbsSyn22 happy_var_1)
= HappyAbsSyn22
(happy_var_1
)
happyReduction_69 _ = notHappyAtAll
happyReduce_70 = happySpecReduce_1 22 happyReduction_70
happyReduction_70 (HappyAbsSyn22 happy_var_1)
= HappyAbsSyn22
(happy_var_1
)
happyReduction_70 _ = notHappyAtAll
happyReduce_71 = happySpecReduce_1 22 happyReduction_71
happyReduction_71 (HappyAbsSyn22 happy_var_1)
= HappyAbsSyn22
(happy_var_1
)
happyReduction_71 _ = notHappyAtAll
happyReduce_72 = happySpecReduce_1 22 happyReduction_72
happyReduction_72 (HappyAbsSyn22 happy_var_1)
= HappyAbsSyn22
(happy_var_1
)
happyReduction_72 _ = notHappyAtAll
happyReduce_73 = happySpecReduce_1 22 happyReduction_73
happyReduction_73 (HappyAbsSyn22 happy_var_1)
= HappyAbsSyn22
(happy_var_1
)
happyReduction_73 _ = notHappyAtAll
happyReduce_74 = happySpecReduce_3 23 happyReduction_74
happyReduction_74 (HappyAbsSyn7 happy_var_3)
(HappyTerminal (Fid happy_var_2 _))
_
= HappyAbsSyn22
(MYLAMBDA (FUNC happy_var_2 []) happy_var_3
)
happyReduction_74 _ _ _ = notHappyAtAll
happyReduce_75 = happySpecReduce_3 24 happyReduction_75
happyReduction_75 (HappyAbsSyn22 happy_var_3)
_
(HappyAbsSyn22 happy_var_1)
= HappyAbsSyn22
(PIFF happy_var_1 happy_var_3
)
happyReduction_75 _ _ _ = notHappyAtAll
happyReduce_76 = happySpecReduce_1 24 happyReduction_76
happyReduction_76 (HappyAbsSyn22 happy_var_1)
= HappyAbsSyn22
(happy_var_1
)
happyReduction_76 _ = notHappyAtAll
happyReduce_77 = happyReduce 4 25 happyReduction_77
happyReduction_77 ((HappyAbsSyn22 happy_var_4) `HappyStk`
_ `HappyStk`
(HappyAbsSyn22 happy_var_2) `HappyStk`
_ `HappyStk`
happyRest)
= HappyAbsSyn22
(PIMP happy_var_2 happy_var_4
) `HappyStk` happyRest
happyReduce_78 = happySpecReduce_1 25 happyReduction_78
happyReduction_78 (HappyAbsSyn22 happy_var_1)
= HappyAbsSyn22
(happy_var_1
)
happyReduction_78 _ = notHappyAtAll
happyReduce_79 = happySpecReduce_3 26 happyReduction_79
happyReduction_79 (HappyAbsSyn26 happy_var_3)
_
(HappyAbsSyn22 happy_var_1)
= HappyAbsSyn26
(happy_var_1 : happy_var_3
)
happyReduction_79 _ _ _ = notHappyAtAll
happyReduce_80 = happySpecReduce_3 26 happyReduction_80
happyReduction_80 (HappyAbsSyn22 happy_var_3)
_
(HappyAbsSyn22 happy_var_1)
= HappyAbsSyn26
([happy_var_1, happy_var_3]
)
happyReduction_80 _ _ _ = notHappyAtAll
happyReduce_81 = happySpecReduce_1 27 happyReduction_81
happyReduction_81 (HappyAbsSyn26 happy_var_1)
= HappyAbsSyn22
(POR happy_var_1
)
happyReduction_81 _ = notHappyAtAll
happyReduce_82 = happySpecReduce_1 27 happyReduction_82
happyReduction_82 (HappyAbsSyn22 happy_var_1)
= HappyAbsSyn22
(happy_var_1
)
happyReduction_82 _ = notHappyAtAll
happyReduce_83 = happySpecReduce_3 28 happyReduction_83
happyReduction_83 (HappyAbsSyn26 happy_var_3)
_
(HappyAbsSyn22 happy_var_1)
= HappyAbsSyn26
(happy_var_1 : happy_var_3
)
happyReduction_83 _ _ _ = notHappyAtAll
happyReduce_84 = happySpecReduce_3 28 happyReduction_84
happyReduction_84 (HappyAbsSyn22 happy_var_3)
_
(HappyAbsSyn22 happy_var_1)
= HappyAbsSyn26
([happy_var_1, happy_var_3]
)
happyReduction_84 _ _ _ = notHappyAtAll
happyReduce_85 = happySpecReduce_1 29 happyReduction_85
happyReduction_85 (HappyAbsSyn26 happy_var_1)
= HappyAbsSyn22
(PAND happy_var_1
)
happyReduction_85 _ = notHappyAtAll
happyReduce_86 = happySpecReduce_1 29 happyReduction_86
happyReduction_86 (HappyAbsSyn22 happy_var_1)
= HappyAbsSyn22
(happy_var_1
)
happyReduction_86 _ = notHappyAtAll
happyReduce_87 = happySpecReduce_3 30 happyReduction_87
happyReduction_87 (HappyAbsSyn22 happy_var_3)
_
(HappyAbsSyn22 happy_var_1)
= HappyAbsSyn22
(SINCE happy_var_1 happy_var_3
)
happyReduction_87 _ _ _ = notHappyAtAll
happyReduce_88 = happySpecReduce_3 30 happyReduction_88
happyReduction_88 (HappyAbsSyn22 happy_var_3)
_
(HappyAbsSyn22 happy_var_1)
= HappyAbsSyn22
(UNTIL happy_var_1 happy_var_3
)
happyReduction_88 _ _ _ = notHappyAtAll
happyReduce_89 = happySpecReduce_3 30 happyReduction_89
happyReduction_89 (HappyAbsSyn22 happy_var_3)
_
(HappyAbsSyn22 happy_var_1)
= HappyAbsSyn22
(RELEASE happy_var_1 happy_var_3
)
happyReduction_89 _ _ _ = notHappyAtAll
happyReduce_90 = happySpecReduce_3 30 happyReduction_90
happyReduction_90 (HappyAbsSyn22 happy_var_3)
_
(HappyAbsSyn22 happy_var_1)
= HappyAbsSyn22
(UNLESS happy_var_1 happy_var_3
)
happyReduction_90 _ _ _ = notHappyAtAll
happyReduce_91 = happySpecReduce_3 30 happyReduction_91
happyReduction_91 (HappyAbsSyn22 happy_var_3)
_
(HappyAbsSyn22 happy_var_1)
= HappyAbsSyn22
(BEFORE happy_var_1 happy_var_3
)
happyReduction_91 _ _ _ = notHappyAtAll
happyReduce_92 = happySpecReduce_2 31 happyReduction_92
happyReduction_92 (HappyAbsSyn22 happy_var_2)
_
= HappyAbsSyn22
(ALLFUTURE happy_var_2
)
happyReduction_92 _ _ = notHappyAtAll
happyReduce_93 = happySpecReduce_2 31 happyReduction_93
happyReduction_93 (HappyAbsSyn22 happy_var_2)
_
= HappyAbsSyn22
(SOMEFUTURE happy_var_2
)
happyReduction_93 _ _ = notHappyAtAll
happyReduce_94 = happySpecReduce_2 31 happyReduction_94
happyReduction_94 (HappyAbsSyn22 happy_var_2)
_
= HappyAbsSyn22
(ALLPAST happy_var_2
)
happyReduction_94 _ _ = notHappyAtAll
happyReduce_95 = happySpecReduce_2 31 happyReduction_95
happyReduction_95 (HappyAbsSyn22 happy_var_2)
_
= HappyAbsSyn22
(SOMEPAST happy_var_2
)
happyReduction_95 _ _ = notHappyAtAll
happyReduce_96 = happySpecReduce_2 31 happyReduction_96
happyReduction_96 (HappyAbsSyn22 happy_var_2)
_
= HappyAbsSyn22
(NEXT happy_var_2
)
happyReduction_96 _ _ = notHappyAtAll
happyReduce_97 = happySpecReduce_2 31 happyReduction_97
happyReduction_97 (HappyAbsSyn22 happy_var_2)
_
= HappyAbsSyn22
(PREVIOUS happy_var_2
)
happyReduction_97 _ _ = notHappyAtAll
happyReduce_98 = happySpecReduce_2 31 happyReduction_98
happyReduction_98 (HappyAbsSyn22 happy_var_2)
_
= HappyAbsSyn22
(BECOMES happy_var_2
)
happyReduction_98 _ _ = notHappyAtAll
happyReduce_99 = happySpecReduce_2 31 happyReduction_99
happyReduction_99 (HappyAbsSyn22 happy_var_2)
_
= HappyAbsSyn22
(CEASES happy_var_2
)
happyReduction_99 _ _ = notHappyAtAll
happyReduce_100 = happySpecReduce_2 31 happyReduction_100
happyReduction_100 (HappyAbsSyn22 happy_var_2)
_
= HappyAbsSyn22
(CHANGES happy_var_2
)
happyReduction_100 _ _ = notHappyAtAll
happyReduce_101 = happySpecReduce_2 31 happyReduction_101
happyReduction_101 (HappyAbsSyn22 happy_var_2)
_
= HappyAbsSyn22
(CONTINUES happy_var_2
)
happyReduction_101 _ _ = notHappyAtAll
happyReduce_102 = happySpecReduce_2 31 happyReduction_102
happyReduction_102 (HappyAbsSyn22 happy_var_2)
(HappyAbsSyn41 happy_var_1)
= HappyAbsSyn22
(OFFS happy_var_1 happy_var_2
)
happyReduction_102 _ _ = notHappyAtAll
happyReduce_103 = happySpecReduce_2 32 happyReduction_103
happyReduction_103 _
(HappyAbsSyn22 happy_var_1)
= HappyAbsSyn22
(BECOMES happy_var_1
)
happyReduction_103 _ _ = notHappyAtAll
happyReduce_104 = happySpecReduce_2 32 happyReduction_104
happyReduction_104 _
(HappyAbsSyn22 happy_var_1)
= HappyAbsSyn22
(CEASES happy_var_1
)
happyReduction_104 _ _ = notHappyAtAll
happyReduce_105 = happySpecReduce_2 32 happyReduction_105
happyReduction_105 _
(HappyAbsSyn22 happy_var_1)
= HappyAbsSyn22
(CHANGES happy_var_1
)
happyReduction_105 _ _ = notHappyAtAll
happyReduce_106 = happySpecReduce_2 32 happyReduction_106
happyReduction_106 _
(HappyAbsSyn22 happy_var_1)
= HappyAbsSyn22
(CONTINUES happy_var_1
)
happyReduction_106 _ _ = notHappyAtAll
happyReduce_107 = happySpecReduce_3 33 happyReduction_107
happyReduction_107 (HappyAbsSyn43 happy_var_3)
_
(HappyAbsSyn22 happy_var_1)
= HappyAbsSyn22
(LASTED happy_var_1 happy_var_3
)
happyReduction_107 _ _ _ = notHappyAtAll
happyReduce_108 = happySpecReduce_3 33 happyReduction_108
happyReduction_108 (HappyAbsSyn43 happy_var_3)
_
(HappyAbsSyn22 happy_var_1)
= HappyAbsSyn22
(MLASTED happy_var_1 happy_var_3
)
happyReduction_108 _ _ _ = notHappyAtAll
happyReduce_109 = happySpecReduce_3 34 happyReduction_109
happyReduction_109 (HappyAbsSyn22 happy_var_3)
_
(HappyAbsSyn43 happy_var_1)
= HappyAbsSyn22
(LAST happy_var_1 happy_var_3
)
happyReduction_109 _ _ _ = notHappyAtAll
happyReduce_110 = happySpecReduce_3 35 happyReduction_110
happyReduction_110 (HappyAbsSyn22 happy_var_3)
_
(HappyAbsSyn43 happy_var_1)
= HappyAbsSyn22
(FIRST happy_var_1 happy_var_3
)
happyReduction_110 _ _ _ = notHappyAtAll
happyReduce_111 = happyReduce 4 36 happyReduction_111
happyReduction_111 ((HappyAbsSyn43 happy_var_4) `HappyStk`
_ `HappyStk`
(HappyAbsSyn43 happy_var_2) `HappyStk`
_ `HappyStk`
happyRest)
= HappyAbsSyn22
(VARVALUE happy_var_2 happy_var_4
) `HappyStk` happyRest
happyReduce_112 = happySpecReduce_3 37 happyReduction_112
happyReduction_112 (HappyAbsSyn40 happy_var_3)
_
(HappyAbsSyn40 happy_var_1)
= HappyAbsSyn22
(IS happy_var_1 happy_var_3
)
happyReduction_112 _ _ _ = notHappyAtAll
happyReduce_113 = happySpecReduce_3 37 happyReduction_113
happyReduction_113 (HappyAbsSyn40 happy_var_3)
_
(HappyAbsSyn40 happy_var_1)
= HappyAbsSyn22
(IS happy_var_1 happy_var_3
)
happyReduction_113 _ _ _ = notHappyAtAll
happyReduce_114 = happySpecReduce_3 37 happyReduction_114
happyReduction_114 (HappyAbsSyn40 happy_var_3)
_
(HappyAbsSyn40 happy_var_1)
= HappyAbsSyn22
(FLT happy_var_1 happy_var_3
)
happyReduction_114 _ _ _ = notHappyAtAll
happyReduce_115 = happySpecReduce_3 37 happyReduction_115
happyReduction_115 (HappyAbsSyn40 happy_var_3)
_
(HappyAbsSyn40 happy_var_1)
= HappyAbsSyn22
(FLTE happy_var_1 happy_var_3
)
happyReduction_115 _ _ _ = notHappyAtAll
happyReduce_116 = happySpecReduce_3 37 happyReduction_116
happyReduction_116 (HappyAbsSyn40 happy_var_3)
_
(HappyAbsSyn40 happy_var_1)
= HappyAbsSyn22
(FGT happy_var_1 happy_var_3
)
happyReduction_116 _ _ _ = notHappyAtAll
happyReduce_117 = happySpecReduce_3 37 happyReduction_117
happyReduction_117 (HappyAbsSyn40 happy_var_3)
_
(HappyAbsSyn40 happy_var_1)
= HappyAbsSyn22
(FGTE happy_var_1 happy_var_3
)
happyReduction_117 _ _ _ = notHappyAtAll
happyReduce_118 = happySpecReduce_3 37 happyReduction_118
happyReduction_118 (HappyAbsSyn43 happy_var_3)
_
(HappyAbsSyn43 happy_var_1)
= HappyAbsSyn22
(VALUEOF happy_var_1 happy_var_3
)
happyReduction_118 _ _ _ = notHappyAtAll
happyReduce_119 = happySpecReduce_2 38 happyReduction_119
happyReduction_119 (HappyAbsSyn22 happy_var_2)
_
= HappyAbsSyn22
(PNOT happy_var_2
)
happyReduction_119 _ _ = notHappyAtAll
happyReduce_120 = happySpecReduce_3 38 happyReduction_120
happyReduction_120 _
(HappyAbsSyn22 happy_var_2)
_
= HappyAbsSyn22
(happy_var_2
)
happyReduction_120 _ _ _ = notHappyAtAll
happyReduce_121 = happySpecReduce_1 38 happyReduction_121
happyReduction_121 (HappyAbsSyn22 happy_var_1)
= HappyAbsSyn22
(happy_var_1
)
happyReduction_121 _ = notHappyAtAll
happyReduce_122 = happyReduce 4 38 happyReduction_122
happyReduction_122 (_ `HappyStk`
(HappyAbsSyn39 happy_var_3) `HappyStk`
_ `HappyStk`
(HappyTerminal (Pid happy_var_1 _)) `HappyStk`
happyRest)
= HappyAbsSyn22
(PREDID happy_var_1 happy_var_3
) `HappyStk` happyRest
happyReduce_123 = happySpecReduce_1 38 happyReduction_123
happyReduction_123 (HappyTerminal (Pid happy_var_1 _))
= HappyAbsSyn22
(PREDID happy_var_1 []
)
happyReduction_123 _ = notHappyAtAll
happyReduce_124 = happySpecReduce_3 39 happyReduction_124
happyReduction_124 (HappyAbsSyn39 happy_var_3)
_
(HappyAbsSyn40 happy_var_1)
= HappyAbsSyn39
(happy_var_1 : happy_var_3
)
happyReduction_124 _ _ _ = notHappyAtAll
happyReduce_125 = happySpecReduce_1 39 happyReduction_125
happyReduction_125 (HappyAbsSyn40 happy_var_1)
= HappyAbsSyn39
([happy_var_1]
)
happyReduction_125 _ = notHappyAtAll
happyReduce_126 = happySpecReduce_1 40 happyReduction_126
happyReduction_126 (HappyAbsSyn43 happy_var_1)
= HappyAbsSyn40
(happy_var_1
)
happyReduction_126 _ = notHappyAtAll
happyReduce_127 = happySpecReduce_2 40 happyReduction_127
happyReduction_127 (HappyAbsSyn43 happy_var_2)
(HappyAbsSyn41 happy_var_1)
= HappyAbsSyn40
(toTermf happy_var_1 happy_var_2
)
happyReduction_127 _ _ = notHappyAtAll
happyReduce_128 = happySpecReduce_2 40 happyReduction_128
happyReduction_128 _
(HappyAbsSyn41 happy_var_1)
= HappyAbsSyn40
(IDFUNCF happy_var_1
)
happyReduction_128 _ _ = notHappyAtAll
happyReduce_129 = happySpecReduce_1 41 happyReduction_129
happyReduction_129 _
= HappyAbsSyn41
(0
)
happyReduce_130 = happySpecReduce_2 41 happyReduction_130
happyReduction_130 _
(HappyAbsSyn41 happy_var_1)
= HappyAbsSyn41
((happy_var_1-1)
)
happyReduction_130 _ _ = notHappyAtAll
happyReduce_131 = happySpecReduce_2 41 happyReduction_131
happyReduction_131 _
(HappyAbsSyn41 happy_var_1)
= HappyAbsSyn41
((1+) happy_var_1
)
happyReduction_131 _ _ = notHappyAtAll
happyReduce_132 = happySpecReduce_3 41 happyReduction_132
happyReduction_132 (HappyTerminal (Nid happy_var_3 _))
_
(HappyAbsSyn41 happy_var_1)
= HappyAbsSyn41
((happy_var_1+(stringToNumber happy_var_3))
)
happyReduction_132 _ _ _ = notHappyAtAll
happyReduce_133 = happySpecReduce_3 41 happyReduction_133
happyReduction_133 (HappyTerminal (Nid happy_var_3 _))
_
(HappyAbsSyn41 happy_var_1)
= HappyAbsSyn41
((happy_var_1-(stringToNumber happy_var_3))
)
happyReduction_133 _ _ _ = notHappyAtAll
happyReduce_134 = happySpecReduce_3 41 happyReduction_134
happyReduction_134 _
(HappyAbsSyn41 happy_var_2)
_
= HappyAbsSyn41
(happy_var_2
)
happyReduction_134 _ _ _ = notHappyAtAll
happyReduce_135 = happySpecReduce_3 42 happyReduction_135
happyReduction_135 (HappyAbsSyn42 happy_var_3)
_
(HappyAbsSyn42 happy_var_1)
= HappyAbsSyn42
(FUNC "-" [happy_var_1, happy_var_3 ]
)
happyReduction_135 _ _ _ = notHappyAtAll
happyReduce_136 = happySpecReduce_3 42 happyReduction_136
happyReduction_136 (HappyAbsSyn42 happy_var_3)
_
(HappyAbsSyn42 happy_var_1)
= HappyAbsSyn42
(FUNC "+" [happy_var_1, happy_var_3 ]
)
happyReduction_136 _ _ _ = notHappyAtAll
happyReduce_137 = happySpecReduce_1 42 happyReduction_137
happyReduction_137 (HappyAbsSyn40 happy_var_1)
= HappyAbsSyn42
(happy_var_1
)
happyReduction_137 _ = notHappyAtAll
happyReduce_138 = happyReduce 4 43 happyReduction_138
happyReduction_138 (_ `HappyStk`
(HappyAbsSyn39 happy_var_3) `HappyStk`
_ `HappyStk`
(HappyTerminal (Fid happy_var_1 _)) `HappyStk`
happyRest)
= HappyAbsSyn43
(FUNC happy_var_1 happy_var_3
) `HappyStk` happyRest
happyReduce_139 = happySpecReduce_2 43 happyReduction_139
happyReduction_139 _
(HappyAbsSyn43 happy_var_1)
= HappyAbsSyn43
(FUNC "+" [happy_var_1,(FUNC "1" [])]
)
happyReduction_139 _ _ = notHappyAtAll
happyReduce_140 = happySpecReduce_3 43 happyReduction_140
happyReduction_140 _
(HappyAbsSyn42 happy_var_2)
_
= HappyAbsSyn43
(happy_var_2
)
happyReduction_140 _ _ _ = notHappyAtAll
happyReduce_141 = happySpecReduce_1 43 happyReduction_141
happyReduction_141 (HappyTerminal (Fid happy_var_1 _))
= HappyAbsSyn43
(FUNC happy_var_1 []
)
happyReduction_141 _ = notHappyAtAll
happyReduce_142 = happySpecReduce_1 43 happyReduction_142
happyReduction_142 (HappyTerminal (Nid happy_var_1 _))
= HappyAbsSyn43
(FUNC happy_var_1 []
)
happyReduction_142 _ = notHappyAtAll
happyReduce_143 = happyReduce 5 43 happyReduction_143
happyReduction_143 (_ `HappyStk`
(HappyAbsSyn43 happy_var_4) `HappyStk`
_ `HappyStk`
(HappyAbsSyn43 happy_var_2) `HappyStk`
_ `HappyStk`
happyRest)
= HappyAbsSyn43
(makeFirstArg happy_var_4 happy_var_2
) `HappyStk` happyRest
happyNewToken action sts stk [] =
action 127 127 (error "reading EOF!") (HappyState action) sts stk []
happyNewToken action sts stk (tk:tks) =
let cont i = action i i tk (HappyState action) sts stk tks in
case tk of {
Operator "->" _ -> cont 44;
Operator "<->" _ -> cont 45;
Operator "|" _ -> cont 46;
Operator "&" _ -> cont 47;
Operator "¬" _ -> cont 48;
Operator "=" _ -> cont 49;
Operator "+" _ -> cont 50;
Operator "-" _ -> cont 51;
Operator "*" _ -> cont 52;
Operator "." _ -> cont 53;
Operator ">" _ -> cont 54;
Operator "<" _ -> cont 55;
Operator ">=" _ -> cont 56;
Operator "<=" _ -> cont 57;
Sep "(" _ -> cont 58;
Sep ")" _ -> cont 59;
Sep "[" _ -> cont 60;
Sep "]" _ -> cont 61;
Sep "}" _ -> cont 62;
Sep "{" _ -> cont 63;
Sep "," _ -> cont 64;
Sep ":" _ -> cont 65;
Keyword "property" _ -> cont 66;
Keyword "necessary" _ -> cont 67;
Keyword "sufficient" _ -> cont 68;
Keyword "when" _ -> cont 69;
Keyword "because" _ -> cont 70;
Keyword "onlywhen" _ -> cont 71;
Keyword "onlyif" _ -> cont 72;
Keyword "\'" _ -> cont 73;
Keyword "some" _ -> cont 74;
Keyword "all" _ -> cont 75;
Keyword "and" _ -> cont 76;
Keyword "or" _ -> cont 77;
Keyword "if" _ -> cont 78;
Keyword "then" _ -> cont 79;
Keyword "iff" _ -> cont 80;
Keyword "since" _ -> cont 81;
Keyword "during" _ -> cont 82;
Keyword "within" _ -> cont 83;
Keyword "lasted" _ -> cont 84;
Keyword "mlasted" _ -> cont 85;
Keyword "until" _ -> cont 86;
Keyword "unless" _ -> cont 87;
Keyword "release" _ -> cont 88;
Keyword "before" _ -> cont 89;
Keyword "allfuture" _ -> cont 90;
Keyword "somefuture" _ -> cont 91;
Keyword "allpast" _ -> cont 92;
Keyword "somepast" _ -> cont 93;
Keyword "becomes" _ -> cont 94;
Keyword "ceases" _ -> cont 95;
Keyword "changes" _ -> cont 96;
Keyword "continues" _ -> cont 97;
Keyword "next" _ -> cont 98;
Keyword "previous" _ -> cont 99;
Keyword "at" _ -> cont 100;
Keyword "to" _ -> cont 101;
Keyword "not" _ -> cont 102;
Keyword "always" _ -> cont 103;
Keyword "sometime" _ -> cont 104;
Keyword "afterzero" _ -> cont 105;
Keyword "fromzero" _ -> cont 106;
Keyword "atzero" _ -> cont 107;
Keyword "after" _ -> cont 108;
Keyword "from" _ -> cont 109;
Keyword "whenever" _ -> cont 110;
Keyword "implies" _ -> cont 111;
Keyword "value_of" _ -> cont 112;
Keyword "is" _ -> cont 113;
Keyword "equals" _ -> cont 114;
Keyword "lt" _ -> cont 115;
Keyword "lte" _ -> cont 116;
Keyword "gt" _ -> cont 117;
Keyword "gte" _ -> cont 118;
Keyword "last" _ -> cont 119;
Keyword "first" _ -> cont 120;
Keyword "ld" _ -> cont 121;
Keyword "value" _ -> cont 122;
Fid happy_dollar_dollar _ -> cont 123;
Pid happy_dollar_dollar _ -> cont 124;
Nid happy_dollar_dollar _ -> cont 125;
Strange happy_dollar_dollar _ -> cont 126;
}
happyThen = \m k -> k m
happyReturn = \a -> a
happyThen1 = happyThen
happyReturn1 = \a tks -> a
reqparser tks = happyThen (happyParse action_0 tks) (\x -> case x of {HappyAbsSyn4 z -> happyReturn z; _other -> notHappyAtAll })
happyError :: [Token] -> a
happyError (x:xs) = case x of
(Keyword kw ln) -> error ("Parse error at line " ++ show ln ++ ". Keyword " ++ kw)
(Operator o ln) -> error ("Parse error at line " ++ show ln ++ ". Operator " ++ o)
(Sep s ln) -> error ("Parse error at line " ++ show ln ++ ". Separator " ++ s)
(Fid i ln) -> error ("Parse error at line " ++ show ln ++ ". Function Identifier " ++ i)
(Nid i ln) -> error ("Parse error at line " ++ show ln ++ ". Number Identifier " ++ i)
(Pid i ln) -> error ("Parse error at line " ++ show ln ++ ". Predicate Identifier " ++ i)
(Strange str ln) -> error ("Parse error at line " ++ show ln ++ ". Identifier " ++ str)
keyWords = ["all","some","true","false","and","or","if","then","iff","since","during","within",
"lasted","mlasted","at","to","not","always","sometime","afterzero","fromzero","after",
"from","atzero","whenever","implies",
"until","unless","release","before",
"allfuture","somefuture","allpast","somepast","becomes","continues","ceases","changes",
"next","previous","is","equals","lt","lte","gt","gte","value_of","last","first","value",
"ld",
"property","necessary","sufficient","when","because","onlywhen","onlyif"]
singOpSymbs = ['=','-','+','&','|','¬','.','*','<','>']
opSymbs = ['=','<','>','-','+','&','|','¬','*','.']
operators = ["<->","->","&","|","¬","=","<",">","<=",">=","+","-","*","."]
sepSymbs = [')','(',',',';',':','{','}','[',']']
alsoInId = ['_']
isIdTailsymb, isOp, isSep :: Char -> Bool
isIdTailsymb x = isAlpha x || isDigit x || x `elem` alsoInId
isSingOp = (\x -> x `elem` singOpSymbs)
isOp = (\x -> x `elem` opSymbs)
isSep = (\x -> x `elem` sepSymbs)
isKeyword, isOperator, isNumber :: String -> Bool
isKeyword = (\x -> x `elem` keyWords)
isOperator = (\x -> x `elem` operators)
isNumber [] = False
isNumber (x:xs) = isDigit x && isNumber xs
-- type LineNr = Int
-- data Token = Keyword String LineNr
-- | Operator String LineNr
-- | Sep String LineNr
-- | Id String LineNr
-- | Fid String LineNr
-- | Pid String LineNr
-- | Nid String LineNr
-- | Strange String LineNr
-- deriving Show
lexer :: LineNr -> String -> [Token]
lexer _ [] = []
lexer ln (x:xs)
| isSep x = Sep [x] ln:lexer ln xs
| x == '%' = lexer ln (snd (span (/='\n') xs)) -- taking away comments
| x == ' ' || x == '\t' = lexer ln xs
| x == '\n' = lexer (ln+1) xs
| x == '-' && (head xs) == '>' = Operator "->" ln: lexer ln (tail xs)
| x == '<' && (head xs) == '-' && (head (tail xs)) == '>' = Operator "<->" ln: lexer ln (tail (tail xs))
| x == '<' && (head xs) == '=' = Operator "<=" ln: lexer ln (tail xs)
| x == '>' && (head xs) == '=' = Operator ">=" ln: lexer ln (tail xs)
| isSingOp x = Operator [x] ln: lexer ln xs
| isOp x = let grabbed = span isOp xs in
if isOperator (x:(fst grabbed))
then
Operator (x:(fst grabbed)) ln:
lexer ln (snd grabbed)
else
Strange (x:(fst grabbed)) ln:
lexer ln (snd grabbed)
| x == '\'' = Keyword [x] ln:lexer ln xs
| isDigit x = Nid (x:(fst (span isDigit xs))) ln:
lexer ln (snd (span isDigit xs))
| isAlpha x || x=='_' = if isKeyword (x:(fst grabbed))
then
Keyword (x:(fst grabbed)) ln:
lexer ln (snd grabbed)
else
if isUpper x then
Pid (x:(fst grabbed)) ln:
lexer ln (snd grabbed)
else
Fid (x:(fst grabbed)) ln:
lexer ln (snd grabbed)
where grabbed = span isIdTailsymb xs
reqlexer = lexer 1
-- converting strings to numbers
charToDigit :: Char -> Int
charToDigit ch = (ord ch) - ord '0'
intLToNumber :: Int -> [Int] -> Int
intLToNumber _ [] = 0
intLToNumber p (n:ns) = (n*10^p) + (intLToNumber (p+1) ns)
stringToNumber :: String -> Int
stringToNumber str = intLToNumber 0 $ reverse $ map charToDigit str
{-# LINE 1 "GenericTemplate.hs" #-}
{-# LINE 1 "GenericTemplate.hs" #-}
-- $Id: GenericTemplate.hs,v 1.11 2001/03/30 14:24:07 simonmar Exp $
{-# LINE 15 "GenericTemplate.hs" #-}
infixr 9 `HappyStk`
data HappyStk a = HappyStk a (HappyStk a)
-----------------------------------------------------------------------------
-- starting the parse
happyParse start_state = happyNewToken start_state notHappyAtAll notHappyAtAll
-----------------------------------------------------------------------------
-- Accepting the parse
happyAccept j tk st sts (HappyStk ans _) =
(happyReturn1 ans)
-----------------------------------------------------------------------------
-- Arrays only: do the next action
{-# LINE 127 "GenericTemplate.hs" #-}
-----------------------------------------------------------------------------
-- HappyState data type (not arrays)
newtype HappyState b c = HappyState
(Int -> -- token number
Int -> -- token number (yes, again)
b -> -- token semantic value
HappyState b c -> -- current state
[HappyState b c] -> -- state stack
c)
-----------------------------------------------------------------------------
-- Shifting a token
happyShift new_state (1) tk st sts stk@(x `HappyStk` _) =
let i = (case x of { HappyErrorToken (i) -> i }) in
-- trace "shifting the error token" $
new_state i i tk (HappyState (new_state)) ((st):(sts)) (stk)
happyShift new_state i tk st sts stk =
happyNewToken new_state ((st):(sts)) ((HappyTerminal (tk))`HappyStk`stk)
-- happyReduce is specialised for the common cases.
happySpecReduce_0 i fn (1) tk st sts stk
= happyFail (1) tk st sts stk
happySpecReduce_0 nt fn j tk st@((HappyState (action))) sts stk
= action nt j tk st ((st):(sts)) (fn `HappyStk` stk)
happySpecReduce_1 i fn (1) tk st sts stk
= happyFail (1) tk st sts stk
happySpecReduce_1 nt fn j tk _ sts@(((st@(HappyState (action))):(_))) (v1`HappyStk`stk')
= action nt j tk st sts (fn v1 `HappyStk` stk')
happySpecReduce_2 i fn (1) tk st sts stk
= happyFail (1) tk st sts stk
happySpecReduce_2 nt fn j tk _ ((_):(sts@(((st@(HappyState (action))):(_))))) (v1`HappyStk`v2`HappyStk`stk')
= action nt j tk st sts (fn v1 v2 `HappyStk` stk')
happySpecReduce_3 i fn (1) tk st sts stk
= happyFail (1) tk st sts stk
happySpecReduce_3 nt fn j tk _ ((_):(((_):(sts@(((st@(HappyState (action))):(_))))))) (v1`HappyStk`v2`HappyStk`v3`HappyStk`stk')
= action nt j tk st sts (fn v1 v2 v3 `HappyStk` stk')
happyReduce k i fn (1) tk st sts stk
= happyFail (1) tk st sts stk
happyReduce k nt fn j tk st sts stk = action nt j tk st1 sts1 (fn stk)
where sts1@(((st1@(HappyState (action))):(_))) = happyDrop k ((st):(sts))
happyMonadReduce k nt fn (1) tk st sts stk
= happyFail (1) tk st sts stk
happyMonadReduce k nt fn j tk st sts stk =
happyThen1 (fn stk) (\r -> action nt j tk st1 sts1 (r `HappyStk` drop_stk))
where sts1@(((st1@(HappyState (action))):(_))) = happyDrop k ((st):(sts))
drop_stk = happyDropStk k stk
happyDrop (0) l = l
happyDrop n ((_):(t)) = happyDrop (n - (1)) t
happyDropStk (0) l = l
happyDropStk n (x `HappyStk` xs) = happyDropStk (n - (1)) xs
-----------------------------------------------------------------------------
-- Moving to a new state after a reduction
happyGoto action j tk st = action j j tk (HappyState action)
-----------------------------------------------------------------------------
-- Error recovery ((1) is the error token)
-- parse error if we are in recovery and we fail again
happyFail (1) tk old_st _ stk =
-- trace "failing" $
happyError
{- We don't need state discarding for our restricted implementation of
"error". In fact, it can cause some bogus parses, so I've disabled it
for now --SDM
-- discard a state
happyFail (1) tk old_st (((HappyState (action))):(sts))
(saved_tok `HappyStk` _ `HappyStk` stk) =
-- trace ("discarding state, depth " ++ show (length stk)) $
action (1) (1) tk (HappyState (action)) sts ((saved_tok`HappyStk`stk))
-}
-- Enter error recovery: generate an error token,
-- save the old token and carry on.
happyFail i tk (HappyState (action)) sts stk =
-- trace "entering error recovery" $
action (1) (1) tk (HappyState (action)) sts ( (HappyErrorToken (i)) `HappyStk` stk)
-- Internal happy errors:
notHappyAtAll = error "Internal Happy error\n"
-----------------------------------------------------------------------------
-- Hack to get the typechecker to accept our action functions
-----------------------------------------------------------------------------
-- Don't inline any functions from the template. GHC has a nasty habit
-- of deciding to inline happyGoto everywhere, which increases the size of
-- the generated parser quite a bit.
{-# NOINLINE happyShift #-}
{-# NOINLINE happySpecReduce_0 #-}
{-# NOINLINE happySpecReduce_1 #-}
{-# NOINLINE happySpecReduce_2 #-}
{-# NOINLINE happySpecReduce_3 #-}
{-# NOINLINE happyReduce #-}
{-# NOINLINE happyMonadReduce #-}
{-# NOINLINE happyGoto #-}
{-# NOINLINE happyFail #-}
-- end of Happy Template.
-------- end Reqparser.hs --------------------------------------------
-------- begin FormulaType.hs ------------------------------------------
module FormulaType
( Var -- :: String
, FName -- :: String
, PName -- :: String
, VName -- :: String
, Formula(..) -- :: *; Show, Eq
, Term(..) -- :: *; Show, Eq
, formRecurse -- :: (Formula -> Formula) -> Formula -> Formula
) where
type Var = String
type FName = String
type PName = String
type VName = String
data Formula = All Var Formula
| Some Var Formula
| And [Formula]
| Or [Formula]
| Imp Formula Formula
| Iff Formula Formula
| Not Formula
| Pred PName [Term]
deriving ( Show, Eq )
data Term = Func FName [Term]
deriving ( Show, Eq )
-- Recursion using formula modifiers
formRecurse :: (Formula -> Formula) -> Formula -> Formula
formRecurse modifier fm
= case fm of
(All v f) -> All v (modifier f)
(Some v f) -> Some v (modifier f)
(And fl) -> And (map modifier fl)
(Or fl) -> Or (map modifier fl)
(Imp f g) -> Imp (modifier f) (modifier g)
(Iff f g) -> Iff (modifier f) (modifier g)
(Not f) -> Not (modifier f)
(Pred pn tl) -> Pred pn tl
-------- end FormulaType.hs ------------------------------------------
------- begin Reqtypes.hs ----------------------------------------------
module Reqtypes
( LineNr -- :: Int
, Token(..) -- :: *; Show
, Requirement(..) -- :: *; Show
, Reqform(..) -- :: *; Show
, Reqterm(..) -- :: *; Show, Eq
, Reqpred(..) -- :: *; Show
, Borders(..) -- :: *; Show
, Offset -- :: Int
, toBorders -- :: (Token, Token) -> Borders
, reqformRecurse -- :: (Reqform -> (a -> Reqform)) -> Reqform -> (a -> Reqform)
, reqtermRecurse -- :: (Reqterm -> (a -> Reqterm)) -> Reqterm -> (a -> Reqterm)
, toTermf -- :: Offset -> Reqterm -> Reqterm
, makeFirstArg -- :: Reqterm -> Reqterm -> Reqterm
, reqpredRecurse -- :: (Reqpred -> (a -> Reqpred)) -> Reqpred -> (a -> Reqpred)
) where
import FormulaType
( PName
, FName
, Var
)
type LineNr = Int
data Token = Keyword String LineNr
| Operator String LineNr
| Sep String LineNr
| Id String LineNr
| Fid String LineNr
| Pid String LineNr
| Nid String LineNr
| Strange String LineNr
deriving Show
data Requirement = SINGLEFORM Reqform
| PROP Reqform
| NEC (Reqform,Reqform)
| SUF (Reqform,Reqform)
deriving Show
data Borders = OO
| OC
| CO
| CC
deriving Show
-- data Border = "["
-- | "]"
toBorders :: (Token, Token) -> Borders
toBorders bdp
= case bdp of
(Sep "[" _, Sep "]" _) -> CC
(Sep "[" _, Sep "[" _) -> CO
(Sep "]" _, Sep "]" _) -> OC
(Sep "]" _, Sep "[" _) -> OO
data Reqform = ALL Var Reqform
| SOME Var Reqform
| AND [Reqform]
| OR [Reqform]
| IMP Reqform Reqform
| IFF Reqform Reqform
| NOT Reqform
| PRED PName [Reqterm]
| REQPRED Reqpred Reqterm
| DURING Borders Reqpred (Reqterm,Reqterm)
| DURINGTP Borders Reqpred (Reqterm,Reqpred)
| DURINGPT Borders Reqpred (Reqpred,Reqterm)
| DURINGPP Borders Reqpred (Reqpred,Reqpred)
| WITHIN Borders Reqpred (Reqterm,Reqterm)
| WITHINTP Borders Reqpred (Reqterm,Reqpred)
| WITHINPT Borders Reqpred (Reqpred,Reqterm)
| WITHINPP Borders Reqpred (Reqpred,Reqpred)
| ALWAYS Reqpred
| SOMETIME Reqpred
| FROMZERO Reqpred
| AFTERZERO Reqpred
| ATZERO Reqpred
| FROM Reqterm Reqpred
| AFTER Reqterm Reqpred
| WHENEVER Reqpred Reqpred
deriving Show
reqformRecurse :: (Reqform -> (a -> Reqform)) -> Reqform -> (a -> Reqform)
reqformRecurse modifier rf
= case rf of
(ALL v rf1) -> \t -> ALL v (modifier rf1 t)
(SOME v rf1) -> \t -> SOME v (modifier rf1 t)
(AND rfl) -> \t -> AND (map (\f -> modifier f t) rfl)
(OR rfl) -> \t -> OR (map (\f -> modifier f t) rfl)
(IMP rf1 rf2) -> \t -> IMP (modifier rf1 t) (modifier rf2 t)
(IFF rf1 rf2) -> \t -> IFF (modifier rf1 t) (modifier rf2 t)
(NOT rf1) -> \t -> NOT (modifier rf1 t)
_ -> modifier rf
-- (PRED PName [rt]) -> PRED PName [rt]
-- (REQPRED rp rt) -> REQPRED rp rt
-- (DURING bds rp (rt1,rt2) -> DURING bds rp (rt1,rt2)
-- (DURINGTP bds rp1 (rt,rp2) -> DURINGTP bds rp1 (rt,rp2)
-- (DURINGPT bds rp1 (rp2,rt) -> DURINGPT bds rp1 (rp2,rt)
-- (DURINGPP bds rp1 (rp2,rp3) -> DURINGPP bds rp1 (rp2,rp3)
-- (WITHIN bds rp (rt1,rt2) -> WITHIN bds rp (rt1,rt2)
-- (WITHINTP bds rp1 (rt,rp2) -> WITHINTP bds rp1 (rt,rp2)
-- (WITHINPT bds rp1 (rp2,rt) -> WITHINPT bds rp1 (rp2,rt)
-- (WITHINPP bds rp1 (rp2,rp3) -> WITHINPP bds rp1 (rp2,rp3)
-- (ALWAYS rp) -> ALWAYS rp
-- (SOMETIME rp) -> SOMETIME rp
-- (FROMZERO rp) -> FROMZERO rp
-- (AFTERZERO rp) -> AFTERZERO rp
-- (ATZERO rp) -> ATZERO rp
-- (FROM rt rp) -> FROM rt rp
-- (AFTER rt rp) -> AFTER rt rp
-- (WHENEVER rp rp) -> WHENEVER rp rp
type Offset = Int
data Reqterm = FUNC FName [Reqterm]
| FUNCF Offset FName [Reqterm]
| IDFUNCF Offset
deriving (Show, Eq)
reqtermRecurse :: (Reqterm -> (a -> Reqterm)) -> Reqterm -> (a -> Reqterm)
reqtermRecurse modifier rt
= case rt of
(FUNC fn rtl) -> \t -> FUNC fn (map (\t2 -> modifier t2 t) rtl)
(FUNCF os fn rtl) -> \t -> FUNCF os fn (map (\t2 -> modifier t2 t) rtl)
_ -> \_ -> rt
toTermf :: Offset -> Reqterm -> Reqterm
toTermf os rt
= case rt of
(FUNC fn tl) -> FUNCF os fn tl
(FUNCF os2 fn tf) -> (FUNCF (os2+os) fn tf)
makeFirstArg :: Reqterm -> Reqterm -> Reqterm
makeFirstArg rt1 (FUNC fn tl) = FUNC fn (rt1:tl)
data Reqpred = PREDID PName [Reqterm]
| SINCE Reqpred Reqpred
| UNTIL Reqpred Reqpred
| UNLESS Reqpred Reqpred
| RELEASE Reqpred Reqpred
| BEFORE Reqpred Reqpred
| LASTED Reqpred Reqterm
| MLASTED Reqpred Reqterm
| ALLFUTURE Reqpred
| SOMEFUTURE Reqpred
| ALLPAST Reqpred
| SOMEPAST Reqpred
| NEXT Reqpred
| PREVIOUS Reqpred
| BECOMES Reqpred
| CEASES Reqpred
| CHANGES Reqpred
| CONTINUES Reqpred
| IS Reqterm Reqterm
| FLT Reqterm Reqterm
| FLTE Reqterm Reqterm
| FGT Reqterm Reqterm
| FGTE Reqterm Reqterm
| VALUEOF Reqterm Reqterm
| LAST Reqterm Reqpred
| FIRST Reqterm Reqpred
| VARVALUE Reqterm Reqterm
| PAND [Reqpred]
| POR [Reqpred]
| PIMP Reqpred Reqpred
| PIFF Reqpred Reqpred
| PNOT Reqpred
| OFFS Offset Reqpred
| MYLAMBDA Reqterm Reqform
deriving Show
reqpredRecurse :: (Reqpred -> (a -> Reqpred)) -> Reqpred -> (a -> Reqpred)
reqpredRecurse modifier rp
= case rp of
(SINCE rp1 rp2) -> \t -> SINCE (modifier rp1 t) (modifier rp2 t)
(UNTIL rp1 rp2) -> \t -> UNTIL (modifier rp1 t) (modifier rp2 t)
(UNLESS rp1 rp2) -> \t -> UNLESS (modifier rp1 t) (modifier rp2 t)
(RELEASE rp1 rp2) -> \t -> RELEASE (modifier rp1 t) (modifier rp2 t)
(BEFORE rp1 rp2) -> \t -> BEFORE (modifier rp1 t) (modifier rp2 t)
(LASTED rp1 rt) -> \t -> LASTED (modifier rp1 t) rt
(MLASTED rp1 rt) -> \t -> MLASTED (modifier rp1 t) rt
(ALLFUTURE rp1) -> \t -> ALLFUTURE (modifier rp1 t)
(SOMEFUTURE rp1) -> \t -> SOMEFUTURE (modifier rp1 t)
(ALLPAST rp1) -> \t -> ALLPAST (modifier rp1 t)
(SOMEPAST rp1) -> \t -> SOMEPAST (modifier rp1 t)
(NEXT rp1) -> \t -> NEXT (modifier rp1 t)
(PREVIOUS rp1) -> \t -> PREVIOUS (modifier rp1 t)
(BECOMES rp1) -> \t -> BECOMES (modifier rp1 t)
(CEASES rp1) -> \t -> CEASES (modifier rp1 t)
(CHANGES rp1) -> \t -> CHANGES (modifier rp1 t)
(CONTINUES rp1) -> \t -> CONTINUES (modifier rp1 t)
(LAST rt rp1) -> \t -> LAST rt (modifier rp1 t)
(FIRST rt rp1) -> \t -> FIRST rt (modifier rp1 t)
(PAND rpl) -> \t -> PAND (map (\rp1 -> modifier rp1 t) rpl)
(POR rpl) -> \t -> POR (map (\rp1 -> modifier rp1 t) rpl)
(PIMP rp1 rp2) -> \t -> PIMP (modifier rp1 t) (modifier rp2 t)
(PIFF rp1 rp2) -> \t -> PIFF (modifier rp1 t) (modifier rp2 t)
(PNOT rp1) -> \t -> PNOT (modifier rp1 t)
(OFFS os rp1) -> \t -> OFFS os (modifier rp1 t)
_ -> modifier rp
-- (PREDID PName [rt]) -> PREDID PName [rt]
-- (IS rt1 rt2) -> IS rt1 rt2
-- (FLT rt1 rt2) -> FLT rt1 rt2
-- (FLTE rt1 rt2) -> FLTE rt1 rt2
-- (FGT rt1 rt2) -> FGT rt1 rt2
-- (FGTE rt1 rt2) -> FGTE rt1 rt2
-- (VALUEOF rt1 rt2) -> VALUEOF rt1 rt2
-- (VARVALUE rt1 rt2) -> VARVALUE rt1 rt2
-- (MYLAMBDA rt rf) -> MYLAMBDA rt rf
--
------- end Reqtypes.hs ----------------------------------------------
------------------------------------------------------------
Johan Martensson, PhD Phone: +46 (0)31 772 81 70
Safelogic AB Mobile: +46 (0)703749681
Stena Center 1C Fax: +46 (0)31 772 80 91
SE-412 92 Gothenburg, SWEDEN email: johan.martensson at safelogic.se
http://www.phil.gu.se/JohanWWW/johan.html
PGP key ID A8857A60
------------------------------------------------------------
More information about the Glasgow-haskell-bugs
mailing list