summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorHironobu Yamashita <h.y.acetaminophen@gmail.com>2020-12-03 10:39:54 +0000
committerHironobu Yamashita <h.y.acetaminophen@gmail.com>2020-12-03 10:39:54 +0000
commited17c21f2e17a84c3b7456204f165ace9c7fdc8d (patch)
treee214a7444ef1a52632536f46f1aee8c911dfed5a
parentf8270f8f359c3455c5360ee58ecdd355cfdd19a0 (diff)
import opendetex-2.8.9
git-svn-id: svn://tug.org/texlive/trunk@57051 c570f23f-e606-0410-a88d-b1316a301751
-rw-r--r--Build/source/texk/README2
-rw-r--r--Build/source/texk/detex/ChangeLog4
-rw-r--r--Build/source/texk/detex/TLpatches/TL-Changes4
-rw-r--r--Build/source/texk/detex/detex-src/ChangeLog8
-rw-r--r--Build/source/texk/detex/detex-src/Makefile2
-rw-r--r--Build/source/texk/detex/detex-src/README2
-rw-r--r--Build/source/texk/detex/detex-src/detex.c2310
-rw-r--r--Build/source/texk/detex/detex-src/detex.l1
8 files changed, 1176 insertions, 1157 deletions
diff --git a/Build/source/texk/README b/Build/source/texk/README
index bdf04bea643..1bdbc4b1e03 100644
--- a/Build/source/texk/README
+++ b/Build/source/texk/README
@@ -34,7 +34,7 @@ chktex 1.7.6 - checked 15mar20
cjkutils 4.8.4 - checked 18apr15
http://cjk.ffii.org/cjk-4.8.4.tar.gz
-detex 2.8.7 - checked 15jun20
+detex 2.8.9 - checked 03dec20
https://github.com/pkubowicz/opendetex/releases
old info: http://www.cs.purdue.edu/homes/trinkle/detex/
diff --git a/Build/source/texk/detex/ChangeLog b/Build/source/texk/detex/ChangeLog
index 41b8891e43c..b51d0562fdc 100644
--- a/Build/source/texk/detex/ChangeLog
+++ b/Build/source/texk/detex/ChangeLog
@@ -1,3 +1,7 @@
+2020-12-03 Hironobu Yamashita <h.y.acetaminophen@gmail.com>
+
+ * Import opendetex-2.8.9.
+
2020-11-05 Karl Berry <karl@freefriends.org>
* configure.ac (AC_HEADER_TIME): remove, since it will be
diff --git a/Build/source/texk/detex/TLpatches/TL-Changes b/Build/source/texk/detex/TLpatches/TL-Changes
index 05b94f8f9f6..494d1ff7570 100644
--- a/Build/source/texk/detex/TLpatches/TL-Changes
+++ b/Build/source/texk/detex/TLpatches/TL-Changes
@@ -1,6 +1,6 @@
-Changes applied to the opendetex-2.8.7 tree as obtained from:
+Changes applied to the opendetex-2.8.9 tree as obtained from:
https://github.com/pkubowicz/opendetex/releases
Renamed:
- detex.1l -> detex.man
+ detex.1 -> detex.man
diff --git a/Build/source/texk/detex/detex-src/ChangeLog b/Build/source/texk/detex/detex-src/ChangeLog
index a9d5a24fef6..04860cf53b3 100644
--- a/Build/source/texk/detex/detex-src/ChangeLog
+++ b/Build/source/texk/detex/detex-src/ChangeLog
@@ -202,3 +202,11 @@ Reduced size of .tar.bz2 package by excluding object file added by mistake.
Handle forcing placement with ! (#62). Thanks to schrc3b6.
Added option to print source information with -1 (#64). Thanks to Victor Cacciari Miraldo.
+
+(Version 2.8.8) -- June, 2020
+
+Fixed compilation on old compilers supported by TeX Live (#65). Thanks to Akira Kakuto and Hironobu Yamashita.
+
+(Version 2.8.9) -- December, 2020
+
+Include escaped percent sign in output (#70). Thanks to Max Leonhardt.
diff --git a/Build/source/texk/detex/detex-src/Makefile b/Build/source/texk/detex/detex-src/Makefile
index c00420acfa5..8d0ace1ff47 100644
--- a/Build/source/texk/detex/detex-src/Makefile
+++ b/Build/source/texk/detex/detex-src/Makefile
@@ -105,7 +105,7 @@ SRC = detex.l
#
D_OBJ = detex.o
-VERSION = 2.8.7
+VERSION = 2.8.9
all: ${PROGS}
diff --git a/Build/source/texk/detex/detex-src/README b/Build/source/texk/detex/detex-src/README
index 49814c531ce..e95b40f5930 100644
--- a/Build/source/texk/detex/detex-src/README
+++ b/Build/source/texk/detex/detex-src/README
@@ -1,4 +1,4 @@
-OpenDetex - Version 2.8.7
+OpenDetex - Version 2.8.9
OpenDetex is a program to remove TeX constructs from a text file. It recognizes
the \input command.
diff --git a/Build/source/texk/detex/detex-src/detex.c b/Build/source/texk/detex/detex-src/detex.c
index 42e8f220f75..d484f249c92 100644
--- a/Build/source/texk/detex/detex-src/detex.c
+++ b/Build/source/texk/detex/detex-src/detex.c
@@ -87,7 +87,7 @@
#endif /* KPATHSEA */
-#line 90 "lex.yy.c"
+#line 91 "lex.yy.c"
#define YY_INT_ALIGNED short int
@@ -439,8 +439,8 @@ static void yynoreturn yy_fatal_error ( const char* msg );
(yy_hold_char) = *yy_cp; \
*yy_cp = '\0'; \
(yy_c_buf_p) = yy_cp;
-#define YY_NUM_RULES 173
-#define YY_END_OF_BUFFER 174
+#define YY_NUM_RULES 174
+#define YY_END_OF_BUFFER 175
/* This struct is not used in this scanner,
but its presence is necessary. */
struct yy_trans_info
@@ -448,157 +448,158 @@ struct yy_trans_info
flex_int32_t yy_verify;
flex_int32_t yy_nxt;
};
-static const flex_int16_t yy_accept[1361] =
+static const flex_int16_t yy_accept[1362] =
{ 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
- 0, 0, 0, 0, 144, 144, 0, 0, 0, 0,
+ 0, 0, 0, 0, 145, 145, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
- 0, 0, 166, 166, 0, 0, 0, 0, 0, 0,
- 139, 139, 0, 0, 174, 173, 92, 91, 90, 107,
+ 0, 0, 167, 167, 0, 0, 0, 0, 0, 0,
+ 140, 140, 0, 0, 175, 174, 92, 91, 90, 107,
105, 107, 106, 107, 107, 119, 122, 121, 120, 128,
- 130, 129, 113, 110, 109, 112, 113, 113, 158, 158,
- 159, 158, 158, 108, 1, 158, 158, 158, 157, 158,
- 146, 151, 154, 146, 155, 148, 145, 144, 142, 141,
- 145, 145, 143, 12, 12, 173, 11, 12, 102, 100,
+ 130, 129, 113, 110, 109, 112, 113, 113, 159, 159,
+ 160, 159, 159, 108, 1, 159, 159, 159, 158, 159,
+ 147, 152, 155, 147, 156, 149, 146, 145, 143, 142,
+ 146, 146, 144, 12, 12, 174, 11, 12, 102, 100,
101, 102, 102, 18, 16, 17, 15, 14, 15, 97,
95, 96, 97, 97, 115, 117, 116, 124, 126, 125,
- 164, 161, 162, 163, 166, 165, 170, 167, 168, 169,
- 172, 171, 6, 6, 7, 139, 44, 43, 46, 104,
+ 165, 162, 163, 164, 167, 166, 171, 168, 169, 170,
+ 173, 172, 6, 6, 7, 140, 44, 43, 46, 104,
0, 0, 0, 0, 0, 0, 0, 119, 121, 128,
- 129, 111, 0, 0, 0, 0, 0, 0, 0, 160,
- 0, 147, 103, 1, 152, 153, 149, 157, 0, 156,
- 138, 136, 93, 135, 135, 135, 135, 98, 137, 135,
- 135, 135, 135, 135, 135, 135, 135, 135, 135, 135,
- 135, 135, 135, 135, 135, 135, 135, 150, 0, 0,
-
- 0, 144, 143, 141, 141, 0, 140, 0, 0, 11,
- 0, 0, 0, 0, 0, 99, 0, 0, 0, 0,
- 0, 0, 0, 16, 14, 0, 94, 0, 0, 0,
- 0, 0, 0, 0, 115, 116, 124, 125, 163, 166,
- 6, 0, 44, 0, 45, 0, 106, 0, 0, 0,
- 0, 0, 0, 0, 112, 0, 0, 0, 0, 0,
- 0, 0, 149, 156, 135, 135, 133, 133, 137, 0,
- 135, 135, 135, 135, 135, 135, 135, 135, 135, 135,
- 135, 135, 135, 135, 135, 135, 135, 135, 135, 135,
- 135, 135, 135, 135, 135, 135, 135, 135, 135, 135,
-
- 135, 135, 135, 135, 135, 0, 0, 0, 0, 0,
- 0, 0, 0, 101, 0, 0, 0, 0, 0, 0,
- 0, 0, 96, 0, 0, 0, 0, 0, 0, 0,
- 0, 0, 0, 0, 0, 0, 0, 0, 0, 132,
- 132, 0, 137, 135, 135, 135, 135, 135, 135, 89,
- 135, 71, 135, 135, 135, 135, 135, 135, 135, 135,
- 135, 135, 135, 135, 135, 135, 135, 135, 135, 135,
- 78, 135, 135, 135, 135, 135, 135, 135, 135, 135,
- 135, 135, 135, 135, 135, 135, 135, 135, 0, 0,
- 0, 0, 0, 0, 0, 0, 0, 0, 13, 0,
-
+ 129, 111, 0, 0, 0, 0, 0, 0, 0, 161,
+ 0, 148, 103, 1, 153, 154, 150, 158, 0, 157,
+ 139, 137, 132, 93, 136, 136, 136, 136, 98, 138,
+ 136, 136, 136, 136, 136, 136, 136, 136, 136, 136,
+ 136, 136, 136, 136, 136, 136, 136, 136, 151, 0,
+
+ 0, 0, 145, 144, 142, 142, 0, 141, 0, 0,
+ 11, 0, 0, 0, 0, 0, 99, 0, 0, 0,
+ 0, 0, 0, 0, 16, 14, 0, 94, 0, 0,
+ 0, 0, 0, 0, 0, 115, 116, 124, 125, 164,
+ 167, 6, 0, 44, 0, 45, 0, 106, 0, 0,
+ 0, 0, 0, 0, 0, 112, 0, 0, 0, 0,
+ 0, 0, 0, 150, 157, 136, 136, 134, 134, 138,
+ 0, 136, 136, 136, 136, 136, 136, 136, 136, 136,
+ 136, 136, 136, 136, 136, 136, 136, 136, 136, 136,
+ 136, 136, 136, 136, 136, 136, 136, 136, 136, 136,
+
+ 136, 136, 136, 136, 136, 136, 0, 0, 0, 0,
+ 0, 0, 0, 0, 101, 0, 0, 0, 0, 0,
+ 0, 0, 0, 96, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
- 0, 0, 0, 135, 135, 135, 135, 135, 135, 135,
- 135, 135, 67, 135, 135, 135, 135, 135, 135, 135,
- 135, 135, 135, 135, 135, 135, 135, 135, 135, 135,
- 135, 135, 135, 135, 135, 135, 135, 57, 135, 135,
- 135, 135, 135, 135, 33, 135, 135, 135, 135, 135,
- 135, 135, 135, 135, 135, 135, 135, 135, 135, 85,
- 135, 135, 25, 0, 0, 0, 0, 0, 0, 0,
+ 133, 133, 0, 138, 136, 136, 136, 136, 136, 136,
+ 89, 136, 71, 136, 136, 136, 136, 136, 136, 136,
+ 136, 136, 136, 136, 136, 136, 136, 136, 136, 136,
+ 136, 78, 136, 136, 136, 136, 136, 136, 136, 136,
+ 136, 136, 136, 136, 136, 136, 136, 136, 136, 0,
+ 0, 0, 0, 0, 0, 0, 0, 0, 0, 13,
+
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
- 0, 0, 0, 0, 0, 67, 135, 135, 135, 135,
-
- 3, 135, 135, 135, 135, 48, 135, 135, 135, 135,
- 135, 135, 135, 135, 135, 135, 73, 127, 0, 0,
- 0, 0, 0, 74, 135, 135, 135, 135, 135, 135,
- 135, 135, 135, 135, 135, 57, 135, 135, 135, 135,
- 135, 135, 135, 135, 135, 135, 135, 131, 135, 135,
- 135, 135, 135, 135, 135, 135, 135, 135, 135, 0,
+ 0, 0, 0, 0, 136, 136, 136, 136, 136, 136,
+ 136, 136, 136, 67, 136, 136, 136, 136, 136, 136,
+ 136, 136, 136, 136, 136, 136, 136, 136, 136, 136,
+ 136, 136, 136, 136, 136, 136, 136, 136, 57, 136,
+ 136, 136, 136, 136, 136, 33, 136, 136, 136, 136,
+ 136, 136, 136, 136, 136, 136, 136, 136, 136, 136,
+ 85, 136, 136, 25, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
- 0, 0, 0, 106, 0, 112, 0, 135, 135, 135,
- 135, 135, 0, 0, 135, 135, 135, 135, 135, 135,
- 135, 135, 135, 135, 135, 0, 0, 0, 0, 0,
-
- 135, 135, 135, 0, 0, 0, 0, 0, 0, 0,
- 0, 0, 0, 0, 19, 135, 135, 135, 135, 135,
- 135, 135, 135, 135, 135, 135, 37, 135, 135, 135,
- 135, 135, 135, 135, 135, 135, 135, 135, 135, 135,
- 135, 135, 135, 135, 135, 135, 135, 35, 135, 0,
- 0, 0, 0, 0, 135, 0, 0, 0, 0, 0,
- 101, 0, 96, 0, 0, 0, 0, 135, 135, 135,
- 135, 135, 0, 0, 64, 135, 135, 58, 135, 135,
- 135, 135, 135, 135, 135, 0, 0, 0, 0, 0,
- 0, 0, 0, 0, 0, 0, 22, 0, 0, 0,
-
- 135, 114, 0, 19, 19, 135, 75, 135, 135, 135,
- 135, 135, 135, 76, 135, 135, 135, 135, 135, 135,
- 135, 34, 135, 59, 135, 135, 135, 135, 135, 135,
- 123, 135, 135, 135, 135, 135, 135, 0, 0, 0,
- 0, 0, 0, 0, 0, 0, 0, 0, 20, 0,
+ 0, 0, 0, 0, 0, 0, 67, 136, 136, 136,
+
+ 136, 3, 136, 136, 136, 136, 48, 136, 136, 136,
+ 136, 136, 136, 136, 136, 136, 136, 73, 127, 0,
+ 0, 0, 0, 0, 74, 136, 136, 136, 136, 136,
+ 136, 136, 136, 136, 136, 136, 57, 136, 136, 136,
+ 136, 136, 136, 136, 136, 136, 136, 136, 131, 136,
+ 136, 136, 136, 136, 136, 136, 136, 136, 136, 136,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
- 0, 135, 135, 135, 135, 135, 0, 135, 66, 58,
- 50, 135, 135, 135, 53, 83, 135, 0, 22, 22,
- 22, 22, 0, 0, 0, 0, 0, 135, 135, 135,
- 135, 135, 135, 135, 135, 135, 135, 135, 135, 36,
-
- 135, 135, 135, 135, 38, 59, 135, 135, 135, 135,
- 135, 135, 135, 135, 135, 135, 135, 135, 0, 20,
- 20, 20, 20, 0, 0, 0, 0, 0, 0, 0,
- 0, 0, 0, 0, 135, 135, 135, 135, 135, 0,
- 135, 135, 135, 135, 51, 0, 84, 0, 0, 22,
- 22, 0, 0, 0, 0, 0, 0, 0, 0, 0,
- 0, 0, 0, 135, 135, 135, 134, 135, 135, 135,
- 26, 135, 52, 77, 62, 135, 135, 39, 41, 135,
- 27, 135, 135, 135, 135, 135, 135, 135, 49, 135,
- 135, 0, 0, 20, 20, 0, 0, 0, 0, 0,
-
- 0, 0, 0, 0, 0, 0, 0, 0, 0, 8,
- 9, 0, 4, 0, 135, 135, 135, 135, 0, 0,
- 0, 135, 135, 135, 135, 0, 0, 0, 22, 22,
- 0, 0, 0, 0, 0, 23, 72, 135, 135, 0,
- 86, 81, 135, 32, 62, 40, 135, 39, 79, 31,
- 135, 29, 135, 135, 60, 135, 135, 70, 0, 0,
- 20, 20, 0, 0, 0, 0, 0, 21, 10, 0,
- 135, 135, 135, 28, 0, 0, 0, 0, 0, 0,
- 135, 47, 135, 135, 0, 0, 0, 22, 22, 0,
- 0, 0, 0, 135, 118, 0, 135, 135, 30, 82,
-
- 135, 60, 135, 135, 0, 0, 20, 20, 0, 0,
- 0, 0, 0, 135, 135, 80, 0, 0, 0, 0,
- 0, 0, 0, 0, 0, 0, 0, 0, 0, 65,
- 135, 135, 0, 0, 22, 22, 0, 0, 0, 0,
- 0, 0, 0, 0, 135, 134, 135, 87, 63, 135,
- 135, 0, 0, 20, 20, 0, 0, 0, 0, 0,
- 0, 0, 0, 0, 135, 135, 0, 0, 0, 0,
- 0, 24, 0, 69, 68, 0, 0, 22, 0, 0,
+ 0, 0, 0, 0, 106, 0, 112, 0, 136, 136,
+ 136, 136, 136, 0, 0, 136, 136, 136, 136, 136,
+ 136, 136, 136, 136, 136, 136, 0, 0, 0, 0,
+
+ 0, 136, 136, 136, 0, 0, 0, 0, 0, 0,
+ 0, 0, 0, 0, 0, 19, 136, 136, 136, 136,
+ 136, 136, 136, 136, 136, 136, 136, 37, 136, 136,
+ 136, 136, 136, 136, 136, 136, 136, 136, 136, 136,
+ 136, 136, 136, 136, 136, 136, 136, 136, 35, 136,
+ 0, 0, 0, 0, 0, 136, 0, 0, 0, 0,
+ 0, 101, 0, 96, 0, 0, 0, 0, 136, 136,
+ 136, 136, 136, 0, 0, 64, 136, 136, 58, 136,
+ 136, 136, 136, 136, 136, 136, 0, 0, 0, 0,
+ 0, 0, 0, 0, 0, 0, 0, 22, 0, 0,
+
+ 0, 136, 114, 0, 19, 19, 136, 75, 136, 136,
+ 136, 136, 136, 136, 76, 136, 136, 136, 136, 136,
+ 136, 136, 34, 136, 59, 136, 136, 136, 136, 136,
+ 136, 123, 136, 136, 136, 136, 136, 136, 0, 0,
+ 0, 0, 0, 0, 0, 0, 0, 0, 0, 20,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
- 0, 0, 0, 22, 0, 0, 0, 0, 135, 135,
+ 0, 0, 136, 136, 136, 136, 136, 0, 136, 66,
+ 58, 50, 136, 136, 136, 53, 83, 136, 0, 22,
+ 22, 22, 22, 0, 0, 0, 0, 0, 136, 136,
+ 136, 136, 136, 136, 136, 136, 136, 136, 136, 136,
+
+ 36, 136, 136, 136, 136, 38, 59, 136, 136, 136,
+ 136, 136, 136, 136, 136, 136, 136, 136, 136, 0,
+ 20, 20, 20, 20, 0, 0, 0, 0, 0, 0,
+ 0, 0, 0, 0, 0, 136, 136, 136, 136, 136,
+ 0, 136, 136, 136, 136, 51, 0, 84, 0, 0,
+ 22, 22, 0, 0, 0, 0, 0, 0, 0, 0,
+ 0, 0, 0, 0, 136, 136, 136, 135, 136, 136,
+ 136, 26, 136, 52, 77, 62, 136, 136, 39, 41,
+ 136, 27, 136, 136, 136, 136, 136, 136, 136, 49,
+ 136, 136, 0, 0, 20, 20, 0, 0, 0, 0,
- 63, 61, 55, 0, 0, 20, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
- 0, 20, 0, 0, 0, 0, 0, 5, 135, 54,
+ 8, 9, 0, 4, 0, 136, 136, 136, 136, 0,
+ 0, 0, 136, 136, 136, 136, 0, 0, 0, 22,
+ 22, 0, 0, 0, 0, 0, 23, 72, 136, 136,
+ 0, 86, 81, 136, 32, 62, 40, 136, 39, 79,
+ 31, 136, 29, 136, 136, 60, 136, 136, 70, 0,
+ 0, 20, 20, 0, 0, 0, 0, 0, 21, 10,
+ 0, 136, 136, 136, 28, 0, 0, 0, 0, 0,
+ 0, 136, 47, 136, 136, 0, 0, 0, 22, 22,
+ 0, 0, 0, 0, 136, 118, 0, 136, 136, 30,
+
+ 82, 136, 60, 136, 136, 0, 0, 20, 20, 0,
+ 0, 0, 0, 0, 136, 136, 80, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
- 0, 0, 0, 0, 0, 0, 0, 22, 0, 22,
- 22, 22, 0, 0, 0, 0, 0, 0, 0, 0,
- 135, 88, 61, 0, 0, 0, 0, 0, 0, 0,
- 0, 0, 0, 0, 0, 20, 0, 20, 20, 20,
- 0, 0, 0, 0, 0, 0, 0, 0, 56, 0,
- 0, 0, 0, 0, 2, 0, 22, 22, 22, 0,
+ 65, 136, 136, 0, 0, 22, 22, 0, 0, 0,
+ 0, 0, 0, 0, 0, 136, 135, 136, 87, 63,
+ 136, 136, 0, 0, 20, 20, 0, 0, 0, 0,
+ 0, 0, 0, 0, 0, 136, 136, 0, 0, 0,
+ 0, 0, 24, 0, 69, 68, 0, 0, 22, 0,
+ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
+ 0, 0, 0, 0, 22, 0, 0, 0, 0, 136,
+ 136, 63, 61, 55, 0, 0, 20, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
- 0, 0, 0, 0, 0, 0, 0, 0, 42, 0,
- 20, 20, 20, 0, 0, 0, 0, 0, 0, 0,
+ 0, 0, 20, 0, 0, 0, 0, 0, 5, 136,
+ 54, 0, 0, 0, 0, 0, 0, 0, 0, 0,
+ 0, 0, 0, 0, 0, 0, 0, 0, 22, 0,
+ 22, 22, 22, 0, 0, 0, 0, 0, 0, 0,
+ 0, 136, 88, 61, 0, 0, 0, 0, 0, 0,
+ 0, 0, 0, 0, 0, 0, 20, 0, 20, 20,
+ 20, 0, 0, 0, 0, 0, 0, 0, 0, 56,
+ 0, 0, 0, 0, 0, 2, 0, 22, 22, 22,
+
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
- 0, 0, 0, 0, 0, 0, 2, 22, 0, 0,
+ 0, 0, 0, 0, 0, 0, 0, 0, 0, 42,
+ 0, 20, 20, 20, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
- 0, 0, 0, 0, 0, 42, 42, 20, 0, 0,
+ 0, 0, 0, 0, 0, 0, 0, 2, 22, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
+ 0, 0, 0, 0, 0, 0, 42, 42, 20, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
- 0, 0, 0, 22, 0, 0, 0, 0, 20, 0,
-
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
+ 0, 0, 0, 0, 22, 0, 0, 0, 0, 20,
+
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
- 0, 0, 22, 0, 20, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 22, 0, 20, 0, 0, 0, 0,
- 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
+ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
+ 0, 0, 0, 0, 22, 0, 20, 0, 0, 0,
+ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
+ 0
} ;
static const YY_CHAR yy_ec[256] =
@@ -643,7 +644,7 @@ static const YY_CHAR yy_meta[61] =
9, 9, 9, 9, 9, 9, 12, 1, 13, 1
} ;
-static const flex_int16_t yy_base[1415] =
+static const flex_int16_t yy_base[1416] =
{ 0,
0, 0, 0, 1, 2, 6, 14, 26, 11, 30,
43, 47, 96, 0, 156, 0, 216, 0, 274, 277,
@@ -663,318 +664,318 @@ static const flex_int16_t yy_base[1415] =
3306, 3297, 3304, 3307, 3302, 3, 3304, 0, 3333, 0,
3332, 3371, 3298, 3289, 3296, 3299, 3294, 35, 3296, 3326,
3293, 3371, 3371, 0, 3371, 3371, 3312, 43, 3317, 3316,
- 3371, 3371, 3371, 0, 65, 540, 543, 3371, 271, 269,
- 16, 279, 253, 3279, 266, 372, 554, 3286, 560, 255,
- 567, 3289, 393, 572, 281, 3271, 273, 3371, 407, 414,
-
- 425, 563, 3262, 0, 0, 558, 0, 572, 591, 0,
- 607, 3278, 3277, 3284, 3279, 3371, 3278, 3269, 3276, 3279,
- 3274, 360, 3276, 0, 3305, 3263, 3371, 3270, 3261, 3268,
- 3271, 3266, 399, 3268, 0, 3297, 0, 3296, 3371, 0,
- 0, 3254, 0, 578, 613, 3250, 3371, 3249, 3249, 3247,
- 3250, 401, 3243, 3244, 3371, 3243, 3243, 3241, 3244, 515,
- 3237, 3245, 3371, 3276, 0, 628, 633, 3371, 3255, 3252,
- 3246, 3242, 3246, 3246, 3227, 3234, 3238, 3240, 3238, 3227,
- 602, 418, 3225, 605, 3222, 3236, 3224, 3224, 3213, 43,
- 3225, 611, 3214, 3211, 3217, 3229, 551, 3228, 3223, 3225,
-
- 3203, 3216, 3219, 3206, 537, 608, 580, 3203, 3214, 3207,
- 3217, 3201, 3201, 3371, 3200, 3200, 3198, 3201, 612, 3194,
- 3207, 3194, 3371, 3193, 3193, 3191, 3194, 616, 3187, 3200,
- 3185, 3184, 3183, 3195, 3181, 3180, 3179, 3191, 3176, 661,
- 3371, 3195, 3371, 619, 3184, 510, 3177, 3186, 3176, 3180,
- 3168, 0, 3176, 3175, 3166, 3165, 3174, 3181, 3176, 3169,
- 3174, 3158, 3164, 3171, 3170, 3169, 632, 3168, 640, 3154,
- 3160, 3165, 3160, 3167, 3162, 3143, 3154, 3145, 633, 3145,
- 3147, 633, 3142, 3142, 643, 3157, 3149, 3156, 661, 3128,
- 3134, 3131, 3117, 3125, 3108, 3107, 3104, 3116, 3371, 3102,
-
- 3101, 3083, 3095, 682, 3080, 3078, 3066, 3033, 3032, 3036,
- 3035, 3014, 3025, 3007, 3006, 3003, 2998, 3002, 2984, 2983,
- 2972, 2965, 0, 2964, 2967, 2744, 2741, 2746, 2735, 2739,
- 2736, 2747, 2732, 2728, 2724, 2727, 694, 2734, 2742, 2726,
- 2728, 2727, 2734, 2737, 646, 2730, 2722, 2755, 2729, 2728,
- 2710, 2706, 2711, 2727, 0, 2723, 2717, 2711, 2719, 2709,
- 2714, 2718, 2711, 2718, 576, 2715, 2702, 2702, 2710, 0,
- 2694, 2705, 3371, 2690, 2691, 2700, 2703, 2684, 2693, 2692,
- 2677, 2676, 2689, 2688, 2673, 697, 700, 2677, 2671, 2670,
- 2683, 2673, 2667, 2666, 2679, 3371, 2669, 2668, 671, 2665,
-
- 712, 2674, 2664, 2653, 2671, 2673, 2669, 2668, 2655, 2666,
- 2655, 2654, 715, 2662, 2648, 2661, 0, 0, 731, 709,
- 705, 768, 0, 0, 2647, 2658, 685, 2641, 2648, 2639,
- 2645, 2653, 2634, 2634, 2627, 3371, 2647, 2645, 2644, 2641,
- 2640, 2626, 2637, 2624, 2617, 2623, 702, 0, 2621, 2623,
- 2616, 2629, 2629, 2616, 2628, 2605, 2624, 747, 2621, 2619,
- 2622, 754, 2603, 2607, 2601, 2600, 2613, 2603, 2597, 2596,
- 2609, 763, 2608, 2607, 2594, 2604, 2592, 2588, 2587, 2591,
- 2599, 2602, 771, 775, 2590, 2594, 2589, 2578, 2579, 2589,
- 2578, 2588, 2588, 2583, 2568, 778, 771, 780, 827, 0,
-
- 821, 2577, 2576, 783, 789, 802, 2565, 401, 2575, 2566,
- 2564, 2564, 557, 2560, 818, 2569, 2567, 2560, 2558, 2561,
- 2562, 2563, 2555, 2559, 2540, 2562, 0, 2548, 2542, 2546,
- 2557, 2556, 2534, 2542, 2542, 2541, 2545, 2546, 2545, 2540,
- 2528, 2542, 2545, 2526, 2526, 2532, 2535, 0, 2527, 835,
- 818, 810, 877, 0, 880, 855, 2528, 883, 893, 2525,
- 2528, 2516, 2526, 2514, 2512, 2508, 2506, 2516, 2514, 2499,
- 2505, 2514, 896, 2502, 0, 2498, 2509, 2532, 2487, 2495,
- 2489, 2492, 2501, 2501, 2498, 838, 824, 829, 2487, 618,
- 2497, 2488, 2482, 2481, 822, 2477, 886, 899, 902, 931,
-
- 2472, 771, 849, 905, 936, 2488, 0, 2487, 2468, 2465,
- 2461, 2477, 2463, 0, 2465, 2460, 2449, 2469, 2458, 2446,
- 2445, 0, 2435, 2470, 2430, 2428, 2431, 2431, 2435, 2424,
- 0, 2424, 2421, 2424, 2414, 2413, 2415, 934, 852, 858,
- 2396, 881, 2391, 2366, 2375, 2375, 891, 2369, 950, 959,
- 962, 965, 968, 971, 2372, 981, 0, 2364, 2353, 2350,
- 2363, 2343, 2350, 2340, 2345, 2345, 2346, 2346, 0, 3371,
- 0, 2335, 584, 2322, 0, 0, 820, 902, 985, 998,
- 1002, 1008, 0, 975, 911, 1053, 0, 2320, 2315, 2309,
- 2311, 2303, 2310, 2300, 2305, 2294, 2290, 2300, 2296, 0,
-
- 2288, 2287, 2275, 2274, 0, 3371, 2290, 2286, 2273, 2278,
- 2264, 2263, 238, 243, 273, 340, 383, 415, 941, 1018,
- 1030, 1034, 1063, 0, 998, 981, 1108, 0, 1021, 0,
- 1056, 500, 1079, 606, 638, 659, 643, 662, 1088, 687,
- 694, 697, 711, 718, 0, 0, 3371, 749, 749, 1115,
- 1124, 1105, 991, 1001, 766, 952, 801, 828, 872, 879,
- 996, 884, 1128, 890, 912, 913, 948, 943, 955, 982,
- 0, 975, 0, 0, 1024, 985, 1008, 1032, 0, 999,
- 0, 1013, 1014, 1023, 1027, 1039, 1028, 1025, 0, 1028,
- 1043, 1044, 1043, 1133, 1160, 1165, 1078, 1081, 1054, 1070,
-
- 1066, 1049, 1063, 1065, 1099, 1068, 1181, 1086, 1186, 3371,
- 3371, 1189, 3371, 1079, 1085, 1089, 1104, 1107, 1192, 1205,
- 1104, 1111, 1104, 1121, 1100, 1126, 1116, 1114, 1195, 1210,
- 1152, 1226, 1233, 1240, 1160, 3371, 0, 1120, 1117, 1157,
- 0, 0, 1135, 0, 3371, 0, 1142, 3371, 0, 0,
- 1151, 0, 1156, 1159, 1199, 1175, 1161, 0, 1174, 1172,
- 1258, 1248, 1209, 1262, 1271, 1285, 1191, 3371, 3371, 1192,
- 1197, 1196, 1206, 0, 0, 1295, 1241, 1343, 0, 1219,
- 1208, 0, 1218, 1226, 1213, 1220, 1228, 1320, 1391, 1238,
- 1239, 1256, 1242, 1245, 0, 1260, 1259, 1263, 0, 0,
-
- 1263, 3371, 1258, 1264, 1256, 1264, 1338, 1436, 1275, 1274,
- 1289, 1286, 1275, 1279, 1272, 0, 1319, 1322, 1332, 1281,
- 1309, 1297, 1296, 1307, 1310, 1320, 1309, 1369, 1312, 0,
- 1308, 1325, 1313, 1407, 1429, 1414, 1381, 1348, 1481, 0,
- 1323, 1317, 1334, 1342, 1335, 3371, 1336, 0, 1377, 1346,
- 1363, 1351, 1452, 1459, 1488, 1410, 1385, 1533, 0, 1360,
- 1362, 1419, 1437, 1497, 1370, 1393, 1477, 1500, 1537, 1549,
- 1407, 3371, 1380, 0, 0, 1595, 0, 1558, 1490, 1492,
- 1623, 0, 1495, 1502, 1506, 1389, 1444, 1407, 1429, 1436,
- 1446, 1479, 1449, 1611, 1469, 1476, 1493, 1671, 1492, 1478,
-
- 3371, 1521, 0, 1616, 0, 1619, 1548, 1528, 1710, 0,
- 1555, 1538, 1541, 1492, 1541, 1512, 1520, 1533, 1535, 1552,
- 1535, 1633, 1534, 1538, 1551, 1758, 1639, 3371, 1552, 0,
- 1550, 1551, 1604, 1554, 1647, 0, 1662, 1600, 1630, 1557,
- 1618, 1571, 1586, 1590, 1610, 1621, 1614, 1678, 1651, 1687,
- 1690, 1699, 1615, 1693, 1764, 1745, 1700, 1702, 1803, 0,
- 1621, 0, 3371, 0, 1719, 1704, 1707, 1638, 1694, 1664,
- 1650, 1685, 1688, 1704, 1686, 1761, 1724, 1780, 1792, 1807,
- 1702, 1812, 1851, 1799, 1815, 1741, 1879, 0, 0, 1708,
- 1704, 1746, 1750, 1857, 1766, 1796, 1867, 1870, 1874, 1927,
-
- 0, 1889, 1869, 1805, 1955, 0, 1872, 1817, 1840, 1725,
- 1774, 1742, 1742, 1745, 1749, 1814, 1754, 1895, 2004, 1884,
- 1900, 1903, 1906, 1949, 0, 2063, 1930, 1904, 2121, 0,
- 1952, 1907, 1910, 1779, 1939, 1805, 1790, 1807, 1819, 1926,
- 1829, 2067, 1828, 1841, 1934, 2169, 1908, 2070, 0, 1964,
- 1917, 1920, 1894, 1941, 1920, 1919, 1933, 1942, 1952, 1941,
- 2073, 1976, 2076, 2084, 2088, 0, 0, 2091, 0, 2066,
- 1980, 1983, 1948, 2055, 1968, 2007, 2024, 2041, 2051, 2050,
- 2100, 2083, 2137, 2146, 2172, 2048, 2204, 2220, 2197, 2099,
- 2091, 2255, 0, 2224, 2095, 2188, 2191, 2249, 2260, 2101,
-
- 2272, 2275, 2278, 2303, 0, 2281, 2129, 2113, 2339, 0,
- 2136, 2146, 2149, 2059, 2126, 2085, 2079, 2114, 2125, 2153,
- 2131, 2308, 2387, 2355, 2429, 2362, 0, 2229, 2162, 2194,
- 2136, 2154, 2167, 2150, 2169, 2171, 2191, 2171, 2358, 2213,
- 2366, 2391, 2408, 2471, 2420, 2513, 2433, 2222, 2425, 2436,
- 2450, 2555, 2613, 2453, 2671, 2462, 2495, 2729, 2346, 3371,
- 2788, 2801, 2814, 2827, 2840, 2853, 2866, 2879, 2892, 2905,
- 2918, 2931, 2944, 2957, 2970, 2983, 2996, 3009, 3020, 3031,
- 3040, 3049, 3058, 3060, 2233, 2239, 3069, 3080, 3091, 3104,
- 3117, 3124, 3126, 3135, 2245, 2246, 2251, 3145, 2252, 2256,
-
- 3151, 3160, 2257, 2259, 2260, 2277, 2278, 2285, 2287, 2288,
- 2290, 3173, 2291, 2293
+ 3371, 3371, 3371, 3371, 0, 65, 540, 543, 3371, 271,
+ 269, 16, 279, 253, 3279, 266, 372, 554, 3286, 560,
+ 255, 567, 3289, 393, 572, 281, 3271, 273, 3371, 407,
+
+ 414, 425, 563, 3262, 0, 0, 558, 0, 572, 591,
+ 0, 607, 3278, 3277, 3284, 3279, 3371, 3278, 3269, 3276,
+ 3279, 3274, 360, 3276, 0, 3305, 3263, 3371, 3270, 3261,
+ 3268, 3271, 3266, 399, 3268, 0, 3297, 0, 3296, 3371,
+ 0, 0, 3254, 0, 578, 613, 3250, 3371, 3249, 3249,
+ 3247, 3250, 401, 3243, 3244, 3371, 3243, 3243, 3241, 3244,
+ 515, 3237, 3245, 3371, 3276, 0, 628, 633, 3371, 3255,
+ 3252, 3246, 3242, 3246, 3246, 3227, 3234, 3238, 3240, 3238,
+ 3227, 602, 418, 3225, 605, 3222, 3236, 3224, 3224, 3213,
+ 43, 3225, 611, 3214, 3211, 3217, 3229, 551, 3228, 3223,
+
+ 3225, 3203, 3216, 3219, 3206, 537, 608, 580, 3203, 3214,
+ 3207, 3217, 3201, 3201, 3371, 3200, 3200, 3198, 3201, 612,
+ 3194, 3207, 3194, 3371, 3193, 3193, 3191, 3194, 616, 3187,
+ 3200, 3185, 3184, 3183, 3195, 3181, 3180, 3179, 3191, 3176,
+ 661, 3371, 3195, 3371, 619, 3184, 510, 3177, 3186, 3176,
+ 3180, 3168, 0, 3176, 3175, 3166, 3165, 3174, 3181, 3176,
+ 3169, 3174, 3158, 3164, 3171, 3170, 3169, 632, 3168, 640,
+ 3154, 3160, 3165, 3160, 3167, 3162, 3143, 3154, 3145, 633,
+ 3145, 3147, 633, 3142, 3142, 643, 3157, 3149, 3156, 661,
+ 3128, 3134, 3131, 3117, 3125, 3108, 3107, 3104, 3116, 3371,
+
+ 3102, 3101, 3083, 3095, 682, 3080, 3078, 3066, 3033, 3032,
+ 3036, 3035, 3014, 3025, 3007, 3006, 3003, 2998, 3002, 2984,
+ 2983, 2972, 2965, 0, 2964, 2967, 2744, 2741, 2746, 2735,
+ 2739, 2736, 2747, 2732, 2728, 2724, 2727, 694, 2734, 2742,
+ 2726, 2728, 2727, 2734, 2737, 646, 2730, 2722, 2755, 2729,
+ 2728, 2710, 2706, 2711, 2727, 0, 2723, 2717, 2711, 2719,
+ 2709, 2714, 2718, 2711, 2718, 576, 2715, 2702, 2702, 2710,
+ 0, 2694, 2705, 3371, 2690, 2691, 2700, 2703, 2684, 2693,
+ 2692, 2677, 2676, 2689, 2688, 2673, 697, 700, 2677, 2671,
+ 2670, 2683, 2673, 2667, 2666, 2679, 3371, 2669, 2668, 671,
+
+ 2665, 712, 2674, 2664, 2653, 2671, 2673, 2669, 2668, 2655,
+ 2666, 2655, 2654, 715, 2662, 2648, 2661, 0, 0, 731,
+ 709, 705, 768, 0, 0, 2647, 2658, 685, 2641, 2648,
+ 2639, 2645, 2653, 2634, 2634, 2627, 3371, 2647, 2645, 2644,
+ 2641, 2640, 2626, 2637, 2624, 2617, 2623, 702, 0, 2621,
+ 2623, 2616, 2629, 2629, 2616, 2628, 2605, 2624, 747, 2621,
+ 2619, 2622, 754, 2603, 2607, 2601, 2600, 2613, 2603, 2597,
+ 2596, 2609, 763, 2608, 2607, 2594, 2604, 2592, 2588, 2587,
+ 2591, 2599, 2602, 771, 775, 2590, 2594, 2589, 2578, 2579,
+ 2589, 2578, 2588, 2588, 2583, 2568, 778, 771, 780, 827,
+
+ 0, 821, 2577, 2576, 783, 789, 802, 2565, 401, 2575,
+ 2566, 2564, 2564, 557, 2560, 818, 2569, 2567, 2560, 2558,
+ 2561, 2562, 2563, 2555, 2559, 2540, 2562, 0, 2548, 2542,
+ 2546, 2557, 2556, 2534, 2542, 2542, 2541, 2545, 2546, 2545,
+ 2540, 2528, 2542, 2545, 2526, 2526, 2532, 2535, 0, 2527,
+ 835, 818, 810, 877, 0, 880, 855, 2528, 883, 893,
+ 2525, 2528, 2516, 2526, 2514, 2512, 2508, 2506, 2516, 2514,
+ 2499, 2505, 2514, 896, 2502, 0, 2498, 2509, 2532, 2487,
+ 2495, 2489, 2492, 2501, 2501, 2498, 838, 824, 829, 2487,
+ 618, 2497, 2488, 2482, 2481, 822, 2477, 886, 899, 902,
+
+ 931, 2472, 771, 849, 905, 936, 2488, 0, 2487, 2468,
+ 2465, 2461, 2477, 2463, 0, 2465, 2460, 2449, 2469, 2458,
+ 2446, 2445, 0, 2435, 2470, 2430, 2428, 2431, 2431, 2435,
+ 2424, 0, 2424, 2421, 2424, 2414, 2413, 2415, 934, 852,
+ 858, 2396, 881, 2391, 2366, 2375, 2375, 891, 2369, 950,
+ 959, 962, 965, 968, 971, 2372, 981, 0, 2364, 2353,
+ 2350, 2363, 2343, 2350, 2340, 2345, 2345, 2346, 2346, 0,
+ 3371, 0, 2335, 584, 2322, 0, 0, 820, 902, 985,
+ 998, 1002, 1008, 0, 975, 911, 1053, 0, 2320, 2315,
+ 2309, 2311, 2303, 2310, 2300, 2305, 2294, 2290, 2300, 2296,
+
+ 0, 2288, 2287, 2275, 2274, 0, 3371, 2290, 2286, 2273,
+ 2278, 2264, 2263, 238, 243, 273, 340, 383, 415, 941,
+ 1018, 1030, 1034, 1063, 0, 998, 981, 1108, 0, 1021,
+ 0, 1056, 500, 1079, 606, 638, 659, 643, 662, 1088,
+ 687, 694, 697, 711, 718, 0, 0, 3371, 749, 749,
+ 1115, 1124, 1105, 991, 1001, 766, 952, 801, 828, 872,
+ 879, 996, 884, 1128, 890, 912, 913, 948, 943, 955,
+ 982, 0, 975, 0, 0, 1024, 985, 1008, 1032, 0,
+ 999, 0, 1013, 1014, 1023, 1027, 1039, 1028, 1025, 0,
+ 1028, 1043, 1044, 1043, 1133, 1160, 1165, 1078, 1081, 1054,
+
+ 1070, 1066, 1049, 1063, 1065, 1099, 1068, 1181, 1086, 1186,
+ 3371, 3371, 1189, 3371, 1079, 1085, 1089, 1104, 1107, 1192,
+ 1205, 1104, 1111, 1104, 1121, 1100, 1126, 1116, 1114, 1195,
+ 1210, 1152, 1226, 1233, 1240, 1160, 3371, 0, 1120, 1117,
+ 1157, 0, 0, 1135, 0, 3371, 0, 1142, 3371, 0,
+ 0, 1151, 0, 1156, 1159, 1199, 1175, 1161, 0, 1174,
+ 1172, 1258, 1248, 1209, 1262, 1271, 1285, 1191, 3371, 3371,
+ 1192, 1197, 1196, 1206, 0, 0, 1295, 1241, 1343, 0,
+ 1219, 1208, 0, 1218, 1226, 1213, 1220, 1228, 1320, 1391,
+ 1238, 1239, 1256, 1242, 1245, 0, 1260, 1259, 1263, 0,
+
+ 0, 1263, 3371, 1258, 1264, 1256, 1264, 1338, 1436, 1275,
+ 1274, 1289, 1286, 1275, 1279, 1272, 0, 1319, 1322, 1332,
+ 1281, 1309, 1297, 1296, 1307, 1310, 1320, 1309, 1369, 1312,
+ 0, 1308, 1325, 1313, 1407, 1429, 1414, 1381, 1348, 1481,
+ 0, 1323, 1317, 1334, 1342, 1335, 3371, 1336, 0, 1377,
+ 1346, 1363, 1351, 1452, 1459, 1488, 1410, 1385, 1533, 0,
+ 1360, 1362, 1419, 1437, 1497, 1370, 1393, 1477, 1500, 1537,
+ 1549, 1407, 3371, 1380, 0, 0, 1595, 0, 1558, 1490,
+ 1492, 1623, 0, 1495, 1502, 1506, 1389, 1444, 1407, 1429,
+ 1436, 1446, 1479, 1449, 1611, 1469, 1476, 1493, 1671, 1492,
+
+ 1478, 3371, 1521, 0, 1616, 0, 1619, 1548, 1528, 1710,
+ 0, 1555, 1538, 1541, 1492, 1541, 1512, 1520, 1533, 1535,
+ 1552, 1535, 1633, 1534, 1538, 1551, 1758, 1639, 3371, 1552,
+ 0, 1550, 1551, 1604, 1554, 1647, 0, 1662, 1600, 1630,
+ 1557, 1618, 1571, 1586, 1590, 1610, 1621, 1614, 1678, 1651,
+ 1687, 1690, 1699, 1615, 1693, 1764, 1745, 1700, 1702, 1803,
+ 0, 1621, 0, 3371, 0, 1719, 1704, 1707, 1638, 1694,
+ 1664, 1650, 1685, 1688, 1704, 1686, 1761, 1724, 1780, 1792,
+ 1807, 1702, 1812, 1851, 1799, 1815, 1741, 1879, 0, 0,
+ 1708, 1704, 1746, 1750, 1857, 1766, 1796, 1867, 1870, 1874,
+
+ 1927, 0, 1889, 1869, 1805, 1955, 0, 1872, 1817, 1840,
+ 1725, 1774, 1742, 1742, 1745, 1749, 1814, 1754, 1895, 2004,
+ 1884, 1900, 1903, 1906, 1949, 0, 2063, 1930, 1904, 2121,
+ 0, 1952, 1907, 1910, 1779, 1939, 1805, 1790, 1807, 1819,
+ 1926, 1829, 2067, 1828, 1841, 1934, 2169, 1908, 2070, 0,
+ 1964, 1917, 1920, 1894, 1941, 1920, 1919, 1933, 1942, 1952,
+ 1941, 2073, 1976, 2076, 2084, 2088, 0, 0, 2091, 0,
+ 2066, 1980, 1983, 1948, 2055, 1968, 2007, 2024, 2041, 2051,
+ 2050, 2100, 2083, 2137, 2146, 2172, 2048, 2204, 2220, 2197,
+ 2099, 2091, 2255, 0, 2224, 2095, 2188, 2191, 2249, 2260,
+
+ 2101, 2272, 2275, 2278, 2303, 0, 2281, 2129, 2113, 2339,
+ 0, 2136, 2146, 2149, 2059, 2126, 2085, 2079, 2114, 2125,
+ 2153, 2131, 2308, 2387, 2355, 2429, 2362, 0, 2229, 2162,
+ 2194, 2136, 2154, 2167, 2150, 2169, 2171, 2191, 2171, 2358,
+ 2213, 2366, 2391, 2408, 2471, 2420, 2513, 2433, 2222, 2425,
+ 2436, 2450, 2555, 2613, 2453, 2671, 2462, 2495, 2729, 2346,
+ 3371, 2788, 2801, 2814, 2827, 2840, 2853, 2866, 2879, 2892,
+ 2905, 2918, 2931, 2944, 2957, 2970, 2983, 2996, 3009, 3020,
+ 3031, 3040, 3049, 3058, 3060, 2233, 2239, 3069, 3080, 3091,
+ 3104, 3117, 3124, 3126, 3135, 2245, 2246, 2251, 3145, 2252,
+
+ 2256, 3151, 3160, 2257, 2259, 2260, 2277, 2278, 2285, 2287,
+ 2288, 2290, 3173, 2291, 2293
} ;
-static const flex_int16_t yy_def[1415] =
+static const flex_int16_t yy_def[1416] =
{ 0,
- 1361, 1361, 1362, 1362, 1363, 1363, 1364, 1364, 1365, 1365,
- 1366, 1366, 1360, 13, 1360, 15, 1360, 17, 1367, 1367,
- 1360, 21, 1368, 1368, 1369, 1369, 1370, 1370, 1371, 1371,
- 1372, 1372, 1373, 1373, 1374, 1374, 1375, 1375, 1376, 1376,
- 1361, 1361, 1377, 1377, 1360, 1360, 1360, 1360, 1360, 1360,
- 1360, 1360, 1360, 1360, 1360, 1378, 1360, 1360, 1360, 1379,
- 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360,
- 1360, 1360, 1360, 1360, 1380, 1360, 1360, 1360, 1360, 1381,
- 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1382,
- 1383, 1384, 1360, 1360, 1360, 1360, 1385, 1360, 1360, 1360,
-
- 1360, 1360, 1360, 1360, 1386, 1360, 1360, 1360, 1360, 1360,
- 1360, 1360, 1360, 1360, 1387, 1360, 1360, 1388, 1360, 1360,
- 1360, 1360, 1360, 1360, 1389, 1360, 1360, 1360, 1360, 1360,
- 1360, 1360, 1390, 1390, 1360, 1360, 1391, 1360, 1360, 1360,
- 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1378, 1360, 1379,
- 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360,
- 1360, 1360, 1360, 1380, 1360, 1360, 1360, 1360, 1392, 1381,
- 1360, 1360, 1360, 1393, 1393, 1393, 1393, 1360, 1360, 1393,
- 1393, 1393, 1393, 1393, 1393, 1393, 1393, 1393, 1393, 1393,
- 1393, 1393, 1393, 1393, 1393, 1393, 1393, 1360, 1360, 1360,
-
- 1360, 1360, 1360, 1382, 1382, 1383, 1384, 1360, 1360, 1385,
- 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360,
- 1360, 1360, 1360, 1386, 1360, 1360, 1360, 1360, 1360, 1360,
- 1360, 1360, 1360, 1360, 1387, 1360, 1388, 1360, 1360, 1389,
- 1390, 1360, 1391, 1360, 1360, 1360, 1360, 1360, 1360, 1360,
- 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360,
- 1360, 1360, 1360, 1392, 1393, 1393, 1360, 1360, 1360, 1394,
- 1393, 1393, 1393, 1393, 1393, 1393, 1393, 1393, 1393, 1393,
- 1393, 1393, 1393, 1393, 1393, 1393, 1393, 1393, 1393, 1393,
- 1393, 1393, 1393, 1393, 1393, 1393, 1393, 1393, 1393, 1393,
-
- 1393, 1393, 1393, 1393, 1393, 1360, 1360, 1360, 1360, 1360,
- 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360,
- 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360,
- 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360,
- 1360, 1394, 1360, 1393, 1393, 1393, 1393, 1393, 1393, 1393,
- 1393, 1393, 1393, 1393, 1393, 1393, 1393, 1393, 1393, 1393,
- 1393, 1393, 1393, 1393, 1393, 1393, 1393, 1393, 1393, 1393,
- 1393, 1393, 1393, 1393, 1393, 1393, 1393, 1393, 1393, 1393,
- 1393, 1393, 1393, 1393, 1393, 1393, 1393, 1393, 1360, 1360,
- 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360,
-
- 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360,
- 1360, 1360, 1360, 1393, 1393, 1393, 1393, 1393, 1393, 1393,
- 1393, 1393, 1393, 1393, 1393, 1393, 1393, 1393, 1393, 1393,
- 1393, 1393, 1393, 1393, 1393, 1393, 1393, 1393, 1393, 1393,
- 1393, 1393, 1393, 1393, 1393, 1393, 1393, 1393, 1393, 1393,
- 1393, 1393, 1393, 1393, 1393, 1393, 1393, 1393, 1393, 1393,
- 1393, 1393, 1393, 1393, 1393, 1393, 1393, 1393, 1393, 1393,
- 1393, 1393, 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360,
- 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360,
- 1360, 1360, 1360, 1360, 1360, 1360, 1393, 1393, 1393, 1393,
-
- 1393, 1393, 1393, 1393, 1393, 1393, 1393, 1393, 1393, 1393,
- 1393, 1393, 1393, 1393, 1393, 1393, 1393, 1393, 1360, 1360,
- 1360, 1360, 1395, 1393, 1393, 1393, 1393, 1393, 1393, 1393,
- 1393, 1393, 1393, 1393, 1393, 1360, 1393, 1393, 1393, 1393,
- 1393, 1393, 1393, 1393, 1393, 1393, 1393, 1393, 1393, 1393,
- 1393, 1393, 1393, 1393, 1393, 1393, 1393, 1393, 1393, 1360,
- 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360,
- 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1393, 1393, 1393,
- 1393, 1393, 1360, 1360, 1393, 1393, 1393, 1393, 1393, 1393,
- 1393, 1393, 1393, 1393, 1393, 1360, 1360, 1360, 1360, 1396,
-
- 1393, 1393, 1393, 522, 604, 1360, 1360, 1360, 1360, 1360,
- 1360, 1360, 1360, 1360, 1395, 1393, 1393, 1393, 1393, 1393,
- 1393, 1393, 1393, 1393, 1393, 1393, 1393, 1393, 1393, 1393,
- 1393, 1393, 1393, 1393, 1393, 1393, 1393, 1393, 1393, 1393,
- 1393, 1393, 1393, 1393, 1393, 1393, 1393, 1393, 1393, 1360,
- 1360, 1360, 1360, 1397, 1393, 1360, 1360, 1360, 1360, 1360,
- 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1393, 1393, 1393,
- 1393, 1393, 1360, 1360, 1393, 1393, 1393, 1393, 1393, 1393,
- 1393, 1393, 1393, 1393, 1393, 599, 686, 1360, 1360, 1360,
- 1360, 1360, 1360, 1360, 1360, 1360, 1396, 1360, 1360, 1360,
-
- 1393, 1393, 604, 1360, 1360, 1393, 1393, 1393, 1393, 1393,
- 1393, 1393, 1393, 1393, 1393, 1393, 1393, 1393, 1393, 1393,
- 1393, 1393, 1393, 1393, 1393, 1393, 1393, 1393, 1393, 1393,
- 1393, 1393, 1393, 1393, 1393, 1393, 1393, 653, 738, 1360,
- 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1397, 1360,
- 1360, 1360, 1360, 1360, 1360, 1360, 1398, 1360, 1360, 1360,
- 1360, 1393, 1393, 1393, 1393, 1393, 1360, 1393, 1393, 1360,
- 1393, 1393, 1393, 1393, 1393, 1393, 1393, 686, 1360, 1360,
- 1396, 1396, 700, 1360, 1360, 1360, 1399, 1393, 1393, 1393,
- 1393, 1393, 1393, 1393, 1393, 1393, 1393, 1393, 1393, 1393,
-
- 1393, 1393, 1393, 1393, 1393, 1360, 1393, 1393, 1393, 1393,
- 1393, 1393, 1393, 1393, 1393, 1393, 1393, 1393, 738, 1360,
- 1360, 1397, 1397, 752, 1360, 1360, 1360, 1400, 1360, 1401,
- 1360, 1398, 1360, 1360, 1393, 1393, 1393, 1393, 1393, 1360,
- 1393, 1393, 1393, 1393, 1393, 1402, 1360, 1360, 1360, 1396,
- 1396, 786, 852, 1360, 1360, 1360, 1360, 1360, 1360, 1360,
- 1360, 1360, 1399, 1393, 1393, 1393, 1393, 1393, 1393, 1393,
- 1393, 1393, 1393, 1393, 1393, 1393, 1393, 1393, 1393, 1393,
- 1393, 1393, 1393, 1393, 1393, 1393, 1393, 1393, 1393, 1393,
- 1393, 1360, 1360, 1397, 1397, 827, 896, 1360, 1360, 1360,
-
- 1360, 1360, 1360, 1360, 1360, 1360, 1400, 1401, 1360, 1360,
- 1360, 1360, 1360, 1360, 1393, 1393, 1393, 1393, 1360, 1360,
- 1360, 1393, 1393, 1393, 1393, 1402, 1360, 1360, 1396, 1396,
- 852, 1360, 1360, 1399, 934, 1360, 1393, 1393, 1393, 1360,
- 1393, 1393, 1393, 1393, 1360, 1393, 1393, 1360, 1393, 1393,
- 1393, 1393, 1393, 1393, 1393, 1393, 1393, 1393, 1360, 1360,
- 1397, 1397, 896, 1360, 1360, 1400, 966, 1360, 1360, 1360,
- 1393, 1393, 1393, 1393, 920, 1360, 1360, 1360, 1403, 1360,
- 1393, 1393, 1393, 1393, 1360, 1360, 1360, 1396, 1396, 1360,
- 1360, 934, 934, 1393, 1393, 1360, 1393, 1393, 1393, 1393,
-
- 1393, 1360, 1393, 1393, 1360, 1360, 1397, 1397, 1360, 1360,
- 966, 966, 1360, 1393, 1393, 1393, 978, 1017, 1360, 1360,
- 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1403, 1360, 1393,
- 1393, 1393, 1360, 1360, 989, 1034, 1360, 1360, 1360, 1404,
- 1360, 1360, 934, 934, 1393, 1360, 1393, 1393, 1393, 1393,
- 1393, 1360, 1360, 1008, 1053, 1360, 1360, 1360, 1405, 1360,
- 1360, 966, 966, 1360, 1393, 1393, 1017, 1360, 1360, 1403,
- 1070, 1360, 1360, 1393, 1393, 1360, 1034, 1076, 1360, 1360,
- 1360, 1406, 1039, 1083, 1360, 1360, 1360, 1360, 1360, 1360,
- 1360, 1360, 1360, 1404, 1360, 1360, 934, 934, 1393, 1393,
-
- 1360, 1393, 1393, 1360, 1053, 1104, 1360, 1360, 1360, 1407,
- 1058, 1111, 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360,
- 1360, 1405, 1360, 1360, 966, 966, 1360, 1360, 1393, 1393,
- 1360, 1360, 1070, 1070, 1360, 1076, 1081, 1137, 1360, 1360,
- 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1406, 1083, 1360,
- 1360, 1404, 1360, 1360, 1098, 1154, 1360, 1360, 1360, 1408,
- 1393, 1393, 1360, 1104, 1109, 1165, 1360, 1360, 1360, 1360,
- 1360, 1360, 1360, 1360, 1360, 1407, 1111, 1360, 1360, 1405,
- 1360, 1360, 1126, 1182, 1360, 1360, 1360, 1409, 1393, 1360,
- 1360, 1070, 1070, 1360, 1360, 1137, 1360, 1360, 1404, 1360,
-
- 1154, 1200, 1360, 1360, 1360, 1410, 1159, 1207, 1360, 1360,
- 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1408, 1360, 1165,
- 1360, 1360, 1405, 1360, 1182, 1224, 1360, 1360, 1360, 1411,
- 1187, 1231, 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360,
- 1360, 1409, 1360, 1360, 1070, 1070, 1360, 1404, 1200, 1205,
- 1250, 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360,
- 1410, 1207, 1360, 1360, 1408, 1412, 1219, 1405, 1224, 1229,
- 1270, 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360,
- 1411, 1231, 1360, 1360, 1409, 1360, 1360, 1246, 1287, 1360,
- 1360, 1360, 1413, 1404, 1250, 1360, 1360, 1408, 1405, 1270,
-
- 1360, 1360, 1409, 1360, 1287, 1304, 1360, 1360, 1360, 1414,
- 1292, 1311, 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360,
- 1360, 1413, 1404, 1408, 1405, 1409, 1304, 1309, 1328, 1360,
- 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1414, 1311,
- 1360, 1360, 1413, 1360, 1408, 1360, 1409, 1328, 1360, 1360,
- 1413, 1408, 1409, 1413, 1360, 1224, 1413, 1413, 1306, 0,
- 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360,
- 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360,
- 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360,
- 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360,
-
- 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360,
- 1360, 1360, 1360, 1360
+ 1362, 1362, 1363, 1363, 1364, 1364, 1365, 1365, 1366, 1366,
+ 1367, 1367, 1361, 13, 1361, 15, 1361, 17, 1368, 1368,
+ 1361, 21, 1369, 1369, 1370, 1370, 1371, 1371, 1372, 1372,
+ 1373, 1373, 1374, 1374, 1375, 1375, 1376, 1376, 1377, 1377,
+ 1362, 1362, 1378, 1378, 1361, 1361, 1361, 1361, 1361, 1361,
+ 1361, 1361, 1361, 1361, 1361, 1379, 1361, 1361, 1361, 1380,
+ 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361,
+ 1361, 1361, 1361, 1361, 1381, 1361, 1361, 1361, 1361, 1382,
+ 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1383,
+ 1384, 1385, 1361, 1361, 1361, 1361, 1386, 1361, 1361, 1361,
+
+ 1361, 1361, 1361, 1361, 1387, 1361, 1361, 1361, 1361, 1361,
+ 1361, 1361, 1361, 1361, 1388, 1361, 1361, 1389, 1361, 1361,
+ 1361, 1361, 1361, 1361, 1390, 1361, 1361, 1361, 1361, 1361,
+ 1361, 1361, 1391, 1391, 1361, 1361, 1392, 1361, 1361, 1361,
+ 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1379, 1361, 1380,
+ 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361,
+ 1361, 1361, 1361, 1381, 1361, 1361, 1361, 1361, 1393, 1382,
+ 1361, 1361, 1361, 1361, 1394, 1394, 1394, 1394, 1361, 1361,
+ 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394,
+ 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1361, 1361,
+
+ 1361, 1361, 1361, 1361, 1383, 1383, 1384, 1385, 1361, 1361,
+ 1386, 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361,
+ 1361, 1361, 1361, 1361, 1387, 1361, 1361, 1361, 1361, 1361,
+ 1361, 1361, 1361, 1361, 1361, 1388, 1361, 1389, 1361, 1361,
+ 1390, 1391, 1361, 1392, 1361, 1361, 1361, 1361, 1361, 1361,
+ 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361,
+ 1361, 1361, 1361, 1361, 1393, 1394, 1394, 1361, 1361, 1361,
+ 1395, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394,
+ 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394,
+ 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394,
+
+ 1394, 1394, 1394, 1394, 1394, 1394, 1361, 1361, 1361, 1361,
+ 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361,
+ 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361,
+ 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361,
+ 1361, 1361, 1395, 1361, 1394, 1394, 1394, 1394, 1394, 1394,
+ 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394,
+ 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394,
+ 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394,
+ 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1361,
+ 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361,
+
+ 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361,
+ 1361, 1361, 1361, 1361, 1394, 1394, 1394, 1394, 1394, 1394,
+ 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394,
+ 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394,
+ 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394,
+ 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394,
+ 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394,
+ 1394, 1394, 1394, 1361, 1361, 1361, 1361, 1361, 1361, 1361,
+ 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361,
+ 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1394, 1394, 1394,
+
+ 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394,
+ 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1361,
+ 1361, 1361, 1361, 1396, 1394, 1394, 1394, 1394, 1394, 1394,
+ 1394, 1394, 1394, 1394, 1394, 1394, 1361, 1394, 1394, 1394,
+ 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394,
+ 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394,
+ 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361,
+ 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1394, 1394,
+ 1394, 1394, 1394, 1361, 1361, 1394, 1394, 1394, 1394, 1394,
+ 1394, 1394, 1394, 1394, 1394, 1394, 1361, 1361, 1361, 1361,
+
+ 1397, 1394, 1394, 1394, 523, 605, 1361, 1361, 1361, 1361,
+ 1361, 1361, 1361, 1361, 1361, 1396, 1394, 1394, 1394, 1394,
+ 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394,
+ 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394,
+ 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394,
+ 1361, 1361, 1361, 1361, 1398, 1394, 1361, 1361, 1361, 1361,
+ 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1394, 1394,
+ 1394, 1394, 1394, 1361, 1361, 1394, 1394, 1394, 1394, 1394,
+ 1394, 1394, 1394, 1394, 1394, 1394, 600, 687, 1361, 1361,
+ 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1397, 1361, 1361,
+
+ 1361, 1394, 1394, 605, 1361, 1361, 1394, 1394, 1394, 1394,
+ 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394,
+ 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394,
+ 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 654, 739,
+ 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1398,
+ 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1399, 1361, 1361,
+ 1361, 1361, 1394, 1394, 1394, 1394, 1394, 1361, 1394, 1394,
+ 1361, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 687, 1361,
+ 1361, 1397, 1397, 701, 1361, 1361, 1361, 1400, 1394, 1394,
+ 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394,
+
+ 1394, 1394, 1394, 1394, 1394, 1394, 1361, 1394, 1394, 1394,
+ 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 739,
+ 1361, 1361, 1398, 1398, 753, 1361, 1361, 1361, 1401, 1361,
+ 1402, 1361, 1399, 1361, 1361, 1394, 1394, 1394, 1394, 1394,
+ 1361, 1394, 1394, 1394, 1394, 1394, 1403, 1361, 1361, 1361,
+ 1397, 1397, 787, 853, 1361, 1361, 1361, 1361, 1361, 1361,
+ 1361, 1361, 1361, 1400, 1394, 1394, 1394, 1394, 1394, 1394,
+ 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394,
+ 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394,
+ 1394, 1394, 1361, 1361, 1398, 1398, 828, 897, 1361, 1361,
+
+ 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1401, 1402, 1361,
+ 1361, 1361, 1361, 1361, 1361, 1394, 1394, 1394, 1394, 1361,
+ 1361, 1361, 1394, 1394, 1394, 1394, 1403, 1361, 1361, 1397,
+ 1397, 853, 1361, 1361, 1400, 935, 1361, 1394, 1394, 1394,
+ 1361, 1394, 1394, 1394, 1394, 1361, 1394, 1394, 1361, 1394,
+ 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1361,
+ 1361, 1398, 1398, 897, 1361, 1361, 1401, 967, 1361, 1361,
+ 1361, 1394, 1394, 1394, 1394, 921, 1361, 1361, 1361, 1404,
+ 1361, 1394, 1394, 1394, 1394, 1361, 1361, 1361, 1397, 1397,
+ 1361, 1361, 935, 935, 1394, 1394, 1361, 1394, 1394, 1394,
+
+ 1394, 1394, 1361, 1394, 1394, 1361, 1361, 1398, 1398, 1361,
+ 1361, 967, 967, 1361, 1394, 1394, 1394, 979, 1018, 1361,
+ 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1404, 1361,
+ 1394, 1394, 1394, 1361, 1361, 990, 1035, 1361, 1361, 1361,
+ 1405, 1361, 1361, 935, 935, 1394, 1361, 1394, 1394, 1394,
+ 1394, 1394, 1361, 1361, 1009, 1054, 1361, 1361, 1361, 1406,
+ 1361, 1361, 967, 967, 1361, 1394, 1394, 1018, 1361, 1361,
+ 1404, 1071, 1361, 1361, 1394, 1394, 1361, 1035, 1077, 1361,
+ 1361, 1361, 1407, 1040, 1084, 1361, 1361, 1361, 1361, 1361,
+ 1361, 1361, 1361, 1361, 1405, 1361, 1361, 935, 935, 1394,
+
+ 1394, 1361, 1394, 1394, 1361, 1054, 1105, 1361, 1361, 1361,
+ 1408, 1059, 1112, 1361, 1361, 1361, 1361, 1361, 1361, 1361,
+ 1361, 1361, 1406, 1361, 1361, 967, 967, 1361, 1361, 1394,
+ 1394, 1361, 1361, 1071, 1071, 1361, 1077, 1082, 1138, 1361,
+ 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1407, 1084,
+ 1361, 1361, 1405, 1361, 1361, 1099, 1155, 1361, 1361, 1361,
+ 1409, 1394, 1394, 1361, 1105, 1110, 1166, 1361, 1361, 1361,
+ 1361, 1361, 1361, 1361, 1361, 1361, 1408, 1112, 1361, 1361,
+ 1406, 1361, 1361, 1127, 1183, 1361, 1361, 1361, 1410, 1394,
+ 1361, 1361, 1071, 1071, 1361, 1361, 1138, 1361, 1361, 1405,
+
+ 1361, 1155, 1201, 1361, 1361, 1361, 1411, 1160, 1208, 1361,
+ 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1409, 1361,
+ 1166, 1361, 1361, 1406, 1361, 1183, 1225, 1361, 1361, 1361,
+ 1412, 1188, 1232, 1361, 1361, 1361, 1361, 1361, 1361, 1361,
+ 1361, 1361, 1410, 1361, 1361, 1071, 1071, 1361, 1405, 1201,
+ 1206, 1251, 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361,
+ 1361, 1411, 1208, 1361, 1361, 1409, 1413, 1220, 1406, 1225,
+ 1230, 1271, 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361,
+ 1361, 1412, 1232, 1361, 1361, 1410, 1361, 1361, 1247, 1288,
+ 1361, 1361, 1361, 1414, 1405, 1251, 1361, 1361, 1409, 1406,
+
+ 1271, 1361, 1361, 1410, 1361, 1288, 1305, 1361, 1361, 1361,
+ 1415, 1293, 1312, 1361, 1361, 1361, 1361, 1361, 1361, 1361,
+ 1361, 1361, 1414, 1405, 1409, 1406, 1410, 1305, 1310, 1329,
+ 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1415,
+ 1312, 1361, 1361, 1414, 1361, 1409, 1361, 1410, 1329, 1361,
+ 1361, 1414, 1409, 1410, 1414, 1361, 1225, 1414, 1414, 1307,
+ 0, 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361,
+ 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361,
+ 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361,
+ 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361,
+
+ 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361,
+ 1361, 1361, 1361, 1361, 1361
} ;
static const flex_int16_t yy_nxt[3432] =
{ 0,
- 1360, 1360, 48, 48, 51, 1360, 1360, 52, 51, 108,
+ 1361, 1361, 48, 48, 51, 1361, 1361, 52, 51, 108,
108, 52, 61, 62, 61, 57, 58, 57, 134, 53,
53, 53, 46, 53, 53, 53, 57, 57, 58, 57,
54, 61, 62, 61, 54, 109, 109, 134, 57, 168,
- 168, 46, 251, 1360, 135, 64, 46, 122, 65, 64,
- 55, 272, 65, 252, 55, 273, 49, 49, 168, 168,
+ 168, 46, 252, 1361, 135, 64, 46, 122, 65, 64,
+ 55, 273, 65, 253, 55, 274, 49, 49, 168, 168,
66, 66, 66, 135, 66, 66, 66, 61, 132, 61,
- 57, 67, 59, 132, 259, 67, 123, 138, 124, 139,
- 368, 138, 57, 139, 59, 260, 61, 266, 61, 266,
- 369, 68, 244, 245, 244, 68, 69, 70, 71, 72,
+ 57, 67, 59, 132, 260, 67, 123, 138, 124, 139,
+ 369, 138, 57, 139, 59, 261, 61, 267, 61, 267,
+ 370, 68, 245, 246, 245, 68, 69, 70, 71, 72,
73, 74, 75, 76, 69, 69, 69, 69, 77, 78,
69, 79, 79, 69, 69, 69, 73, 69, 80, 80,
@@ -995,282 +996,282 @@ static const flex_int16_t yy_nxt[3432] =
97, 97, 97, 97, 97, 97, 97, 97, 97, 97,
97, 97, 97, 97, 97, 97, 97, 97, 97, 97,
97, 97, 98, 94, 94, 94, 100, 152, 141, 100,
- 142, 269, 143, 144, 145, 886, 288, 887, 277, 146,
- 289, 101, 101, 101, 101, 101, 101, 278, 270, 280,
+ 142, 270, 143, 144, 145, 887, 289, 888, 278, 146,
+ 290, 101, 101, 101, 101, 101, 101, 279, 271, 281,
- 266, 205, 102, 271, 266, 102, 888, 205, 304, 153,
- 281, 154, 205, 155, 156, 157, 301, 274, 275, 302,
- 158, 305, 103, 276, 205, 103, 104, 104, 46, 104,
+ 267, 206, 102, 272, 267, 102, 889, 206, 305, 153,
+ 282, 154, 206, 155, 156, 157, 302, 275, 276, 303,
+ 158, 306, 103, 277, 206, 103, 104, 104, 46, 104,
104, 104, 104, 104, 104, 104, 104, 104, 104, 104,
104, 104, 104, 104, 104, 104, 104, 104, 105, 105,
105, 105, 105, 104, 104, 104, 104, 105, 105, 105,
105, 105, 105, 105, 105, 105, 105, 105, 105, 105,
105, 105, 105, 105, 105, 105, 105, 105, 105, 105,
- 105, 105, 104, 104, 106, 104, 111, 889, 46, 111,
- 116, 117, 116, 116, 117, 116, 119, 120, 119, 318,
+ 105, 105, 104, 104, 106, 104, 111, 890, 46, 111,
+ 116, 117, 116, 116, 117, 116, 119, 120, 119, 319,
46, 112, 112, 112, 112, 112, 112, 119, 120, 119,
- 319, 46, 113, 122, 199, 113, 199, 200, 201, 201,
- 282, 200, 201, 201, 291, 128, 283, 227, 292, 306,
- 306, 890, 114, 332, 704, 114, 128, 293, 327, 307,
- 201, 201, 123, 704, 124, 116, 333, 116, 116, 328,
- 116, 119, 891, 119, 129, 228, 130, 229, 357, 230,
- 231, 232, 119, 358, 119, 129, 233, 130, 171, 171,
- 308, 172, 171, 171, 171, 171, 173, 171, 171, 171,
- 171, 171, 171, 171, 171, 171, 171, 171, 171, 174,
- 175, 174, 174, 176, 177, 178, 179, 171, 171, 180,
-
- 181, 182, 183, 184, 185, 174, 186, 187, 188, 189,
- 174, 190, 191, 192, 174, 193, 194, 195, 196, 197,
- 174, 174, 174, 174, 171, 171, 171, 171, 202, 911,
- 202, 208, 208, 208, 208, 208, 208, 211, 211, 211,
- 216, 267, 268, 267, 267, 268, 267, 336, 217, 419,
- 218, 420, 219, 220, 221, 267, 268, 267, 421, 222,
- 337, 267, 268, 267, 202, 205, 202, 266, 267, 268,
- 267, 205, 212, 208, 208, 208, 205, 387, 213, 244,
- 245, 244, 388, 203, 378, 214, 209, 215, 205, 209,
- 704, 286, 211, 211, 211, 389, 389, 284, 268, 287,
-
- 379, 268, 266, 294, 295, 296, 704, 297, 211, 211,
- 211, 552, 268, 298, 244, 245, 244, 843, 268, 203,
- 266, 299, 300, 306, 306, 268, 553, 212, 209, 340,
- 341, 340, 844, 213, 267, 268, 267, 914, 360, 361,
- 214, 354, 215, 212, 396, 355, 356, 371, 401, 213,
- 362, 779, 414, 308, 372, 415, 214, 397, 215, 373,
- 779, 402, 340, 341, 340, 441, 458, 442, 416, 463,
- 417, 446, 447, 443, 459, 468, 389, 389, 464, 531,
- 444, 465, 460, 486, 486, 486, 341, 915, 469, 448,
- 916, 268, 917, 532, 533, 519, 519, 519, 486, 486,
-
- 486, 572, 572, 572, 580, 520, 308, 520, 521, 522,
- 522, 918, 581, 583, 583, 583, 596, 596, 596, 341,
- 604, 604, 523, 521, 522, 522, 597, 618, 597, 598,
- 599, 599, 519, 519, 519, 619, 638, 921, 487, 922,
- 639, 923, 520, 600, 520, 521, 522, 522, 650, 650,
- 650, 573, 924, 487, 640, 658, 658, 658, 651, 523,
- 651, 652, 653, 653, 572, 572, 572, 925, 584, 605,
- 605, 605, 583, 583, 583, 654, 673, 673, 673, 596,
- 596, 596, 606, 522, 522, 598, 599, 599, 927, 597,
- 928, 597, 598, 599, 599, 686, 686, 1360, 604, 604,
-
- 607, 608, 609, 610, 1360, 1360, 600, 611, 789, 674,
- 612, 932, 659, 613, 573, 790, 614, 703, 703, 705,
- 705, 705, 698, 698, 698, 738, 738, 584, 687, 687,
- 687, 699, 652, 653, 653, 932, 650, 650, 650, 1360,
- 1360, 688, 599, 599, 778, 778, 651, 846, 651, 652,
- 653, 653, 1360, 686, 686, 779, 753, 753, 753, 689,
- 690, 691, 692, 654, 703, 703, 693, 1360, 1360, 694,
- 932, 779, 695, 819, 819, 696, 847, 700, 739, 739,
- 739, 750, 750, 750, 658, 658, 658, 780, 780, 780,
- 751, 740, 653, 653, 756, 756, 756, 673, 673, 673,
-
- 698, 698, 698, 698, 698, 698, 705, 705, 705, 741,
- 742, 743, 744, 754, 820, 932, 745, 778, 778, 746,
- 757, 932, 747, 820, 820, 748, 852, 852, 781, 932,
- 674, 782, 783, 783, 783, 937, 752, 705, 705, 705,
- 820, 659, 784, 938, 784, 785, 786, 786, 1360, 738,
- 738, 821, 821, 821, 939, 700, 819, 819, 700, 787,
- 750, 750, 750, 750, 750, 750, 824, 824, 824, 753,
- 753, 753, 829, 829, 829, 940, 825, 941, 825, 826,
- 827, 827, 756, 756, 756, 932, 780, 780, 780, 785,
- 786, 786, 822, 828, 932, 823, 896, 896, 830, 780,
-
- 780, 780, 942, 780, 780, 780, 1360, 1360, 757, 780,
- 780, 780, 826, 827, 827, 752, 931, 931, 752, 821,
- 821, 821, 829, 829, 829, 943, 754, 848, 944, 932,
- 849, 821, 821, 821, 945, 821, 821, 821, 946, 947,
- 848, 850, 948, 849, 781, 932, 949, 782, 830, 851,
- 781, 950, 951, 782, 853, 853, 853, 909, 909, 909,
- 892, 952, 953, 893, 821, 821, 821, 854, 786, 786,
- 954, 955, 892, 894, 956, 893, 822, 957, 958, 823,
- 912, 912, 912, 959, 960, 855, 856, 857, 858, 919,
- 919, 919, 859, 1360, 1360, 860, 963, 963, 861, 964,
-
- 964, 862, 964, 964, 895, 822, 964, 964, 823, 897,
- 897, 897, 964, 964, 910, 969, 780, 780, 780, 1360,
- 852, 852, 898, 827, 827, 780, 780, 780, 970, 933,
- 933, 933, 964, 971, 821, 821, 821, 913, 972, 973,
- 899, 900, 901, 902, 920, 974, 980, 903, 964, 981,
- 904, 982, 983, 905, 984, 985, 906, 781, 929, 986,
- 782, 821, 821, 821, 987, 994, 781, 931, 931, 782,
- 934, 995, 996, 935, 930, 822, 961, 997, 823, 1360,
- 896, 896, 965, 965, 965, 998, 936, 909, 909, 909,
- 912, 912, 912, 919, 919, 919, 780, 780, 780, 863,
-
- 999, 993, 822, 1000, 1001, 823, 975, 975, 975, 1002,
- 962, 780, 780, 780, 1003, 1004, 976, 1005, 976, 977,
- 978, 978, 1006, 966, 963, 963, 967, 933, 933, 933,
- 907, 1013, 1012, 979, 933, 933, 933, 781, 1014, 968,
- 782, 933, 933, 933, 910, 988, 1015, 913, 920, 821,
- 821, 821, 781, 1016, 1029, 782, 1017, 1017, 989, 821,
- 821, 821, 1030, 965, 965, 965, 1031, 1032, 990, 847,
- 1033, 991, 965, 965, 965, 990, 1034, 1041, 991, 992,
- 1042, 863, 934, 1045, 936, 935, 965, 965, 965, 1046,
- 822, 936, 1044, 823, 1047, 863, 1008, 1048, 936, 1043,
-
- 822, 1049, 1050, 823, 1009, 1051, 1052, 1010, 1007, 977,
- 978, 978, 1053, 1009, 1060, 1061, 1010, 1064, 1065, 1066,
- 968, 780, 780, 780, 1011, 907, 1068, 966, 907, 968,
- 967, 1068, 1062, 1360, 1017, 1017, 1063, 1360, 1360, 821,
- 821, 821, 1068, 968, 1018, 1018, 1018, 1067, 1067, 1068,
- 1068, 1068, 1068, 1068, 1068, 1073, 1074, 1019, 978, 978,
- 1075, 1076, 781, 1083, 1083, 782, 1095, 1096, 1035, 1068,
- 1069, 1069, 1069, 863, 1099, 1020, 1021, 1022, 1023, 1100,
- 822, 863, 1024, 823, 1097, 1025, 1054, 1101, 1026, 1102,
- 1098, 1027, 1036, 1036, 1036, 1038, 1039, 1039, 1103, 1104,
-
- 1111, 1111, 1037, 1123, 1037, 1038, 1039, 1039, 1077, 1077,
- 1077, 1070, 1124, 1129, 1071, 1036, 1036, 1036, 1037, 1040,
- 1037, 1038, 1039, 1039, 1057, 1058, 1058, 1072, 1130, 1135,
- 1078, 1078, 1078, 781, 1150, 1040, 782, 1055, 1055, 1055,
- 1079, 1150, 1079, 1080, 1081, 1081, 1028, 1056, 1134, 1056,
- 1057, 1058, 1058, 1105, 1105, 1105, 848, 1082, 907, 849,
- 1106, 1106, 1106, 1056, 1059, 1056, 1057, 1058, 1058, 1125,
- 1107, 1150, 1107, 1108, 1109, 1109, 907, 1150, 822, 1150,
- 1059, 823, 1084, 1084, 1084, 1126, 1150, 1110, 1150, 1055,
- 1055, 1055, 1067, 1067, 1150, 1085, 1039, 1039, 1127, 1127,
-
- 1127, 1069, 1069, 1069, 1080, 1081, 1081, 1137, 1137, 1360,
- 1083, 1083, 1150, 1086, 1087, 1088, 1089, 1360, 1360, 1153,
- 1090, 1149, 1149, 1091, 1154, 1161, 1092, 1162, 1150, 1093,
- 892, 1163, 863, 893, 1112, 1112, 1112, 1178, 1069, 1069,
- 1069, 1155, 1131, 1165, 1165, 1132, 1178, 1113, 1058, 1058,
- 1069, 1069, 1069, 1360, 1360, 1128, 1177, 1177, 1072, 1078,
- 1078, 1078, 1108, 1109, 1109, 1114, 1115, 1116, 1117, 1360,
- 1111, 1111, 1118, 1178, 1178, 1119, 1178, 1178, 1120, 1131,
- 1178, 1121, 1132, 1178, 1181, 1178, 1182, 1189, 1133, 1190,
- 907, 1070, 1191, 1028, 1071, 1072, 1136, 1136, 1136, 1183,
-
- 848, 1178, 1197, 849, 1193, 1197, 1079, 1072, 1079, 1080,
- 1081, 1081, 1151, 1151, 1151, 1360, 1360, 1164, 1164, 1164,
- 1106, 1106, 1106, 1082, 1138, 1138, 1138, 1107, 1197, 1107,
- 1108, 1109, 1109, 1197, 1179, 1179, 1179, 1139, 1081, 1081,
- 1127, 1127, 1127, 1028, 1110, 1196, 1196, 1192, 1194, 1194,
- 1194, 1197, 1197, 1152, 1197, 1140, 1141, 1142, 1143, 1197,
- 1197, 892, 1144, 1200, 893, 1145, 1149, 1149, 1146, 1219,
- 1197, 1147, 1156, 1156, 1156, 1180, 1360, 1137, 1137, 1198,
- 1198, 1198, 1157, 1221, 1157, 1158, 1159, 1159, 1151, 1151,
- 1151, 1151, 1151, 1151, 1201, 1201, 1201, 1128, 1221, 1160,
-
- 1151, 1151, 1151, 1221, 1157, 1195, 1157, 1158, 1159, 1159,
- 863, 1166, 1166, 1166, 1158, 1159, 1159, 1207, 1207, 1360,
- 1360, 1160, 1220, 1220, 1167, 1109, 1109, 1221, 1221, 848,
- 1221, 1221, 848, 1360, 1165, 1165, 1221, 1221, 1199, 1177,
- 1177, 1152, 1168, 1169, 1170, 1171, 1156, 1156, 1156, 1172,
- 1224, 1243, 1173, 1221, 1244, 1174, 1231, 1231, 1175, 1184,
- 1184, 1184, 1222, 1222, 1222, 1202, 1202, 1202, 1247, 1185,
- 1263, 1185, 1186, 1187, 1187, 1203, 1263, 1203, 1204, 1205,
- 1205, 1179, 1179, 1179, 1263, 1028, 1188, 990, 1263, 1028,
- 991, 1263, 1206, 1179, 1179, 1179, 1245, 907, 1246, 1263,
-
- 1184, 1184, 1184, 936, 1208, 1208, 1208, 1263, 1179, 1179,
- 1179, 1196, 1196, 1225, 1225, 1225, 1263, 1209, 1159, 1159,
- 1250, 1250, 892, 1185, 1283, 1185, 1186, 1187, 1187, 1186,
- 1187, 1187, 1360, 1360, 892, 1210, 1211, 1212, 1213, 1283,
- 1188, 1009, 1214, 1283, 1010, 1215, 1223, 1263, 1216, 1180,
- 1283, 1217, 1226, 1226, 1226, 1262, 1262, 968, 1194, 1194,
- 1194, 1283, 1227, 1263, 1227, 1228, 1229, 1229, 1198, 1198,
- 1198, 1198, 1198, 1198, 1283, 1151, 1151, 1151, 1286, 1230,
- 1232, 1232, 1232, 1204, 1205, 1205, 1360, 1207, 1207, 1287,
- 1202, 1202, 1202, 1233, 1187, 1187, 1264, 1264, 1264, 1220,
-
- 1220, 1222, 1222, 1222, 1222, 1222, 1222, 1179, 1179, 1179,
- 1247, 1234, 1235, 1236, 1237, 1195, 1152, 1248, 1238, 1270,
- 1270, 1239, 1360, 1360, 1240, 1282, 1282, 1241, 1249, 1249,
- 1249, 990, 1360, 1360, 991, 1295, 1295, 1265, 1203, 1296,
- 1203, 1204, 1205, 1205, 1228, 1229, 1229, 936, 1180, 1268,
- 1269, 1269, 1269, 936, 1296, 1206, 1251, 1251, 1251, 1283,
- 1227, 1296, 1227, 1228, 1229, 1229, 1360, 1231, 1231, 1252,
- 1205, 1205, 1283, 1028, 1296, 1283, 1296, 1230, 1360, 1250,
- 1250, 1283, 1288, 1296, 1296, 1296, 1296, 1253, 1254, 1255,
- 1256, 1262, 1262, 1301, 1257, 1360, 1360, 1258, 1300, 1300,
-
- 1259, 1296, 1301, 1260, 1266, 1266, 1266, 1266, 1266, 1266,
- 1266, 1266, 1266, 1266, 1266, 1266, 1266, 1266, 1266, 1266,
- 1266, 1266, 1266, 1266, 1266, 1267, 1267, 1267, 1267, 1267,
- 1267, 1266, 1266, 1266, 1266, 1267, 1267, 1267, 1267, 1267,
- 1267, 1267, 1267, 1267, 1267, 1267, 1267, 1267, 1267, 1267,
+ 320, 46, 113, 122, 200, 113, 200, 201, 202, 202,
+ 283, 201, 202, 202, 292, 128, 284, 228, 293, 307,
+ 307, 891, 114, 333, 705, 114, 128, 294, 328, 308,
+ 202, 202, 123, 705, 124, 116, 334, 116, 116, 329,
+ 116, 119, 892, 119, 129, 229, 130, 230, 358, 231,
+ 232, 233, 119, 359, 119, 129, 234, 130, 171, 171,
+ 309, 172, 171, 171, 173, 171, 174, 171, 171, 171,
+ 171, 171, 171, 171, 171, 171, 171, 171, 171, 175,
+ 176, 175, 175, 177, 178, 179, 180, 171, 171, 181,
+
+ 182, 183, 184, 185, 186, 175, 187, 188, 189, 190,
+ 175, 191, 192, 193, 175, 194, 195, 196, 197, 198,
+ 175, 175, 175, 175, 171, 171, 171, 171, 203, 912,
+ 203, 209, 209, 209, 209, 209, 209, 212, 212, 212,
+ 217, 268, 269, 268, 268, 269, 268, 337, 218, 420,
+ 219, 421, 220, 221, 222, 268, 269, 268, 422, 223,
+ 338, 268, 269, 268, 203, 206, 203, 267, 268, 269,
+ 268, 206, 213, 209, 209, 209, 206, 388, 214, 245,
+ 246, 245, 389, 204, 379, 215, 210, 216, 206, 210,
+ 705, 287, 212, 212, 212, 390, 390, 285, 269, 288,
+
+ 380, 269, 267, 295, 296, 297, 705, 298, 212, 212,
+ 212, 553, 269, 299, 245, 246, 245, 844, 269, 204,
+ 267, 300, 301, 307, 307, 269, 554, 213, 210, 341,
+ 342, 341, 845, 214, 268, 269, 268, 915, 361, 362,
+ 215, 355, 216, 213, 397, 356, 357, 372, 402, 214,
+ 363, 780, 415, 309, 373, 416, 215, 398, 216, 374,
+ 780, 403, 341, 342, 341, 442, 459, 443, 417, 464,
+ 418, 447, 448, 444, 460, 469, 390, 390, 465, 532,
+ 445, 466, 461, 487, 487, 487, 342, 916, 470, 449,
+ 917, 269, 918, 533, 534, 520, 520, 520, 487, 487,
+
+ 487, 573, 573, 573, 581, 521, 309, 521, 522, 523,
+ 523, 919, 582, 584, 584, 584, 597, 597, 597, 342,
+ 605, 605, 524, 522, 523, 523, 598, 619, 598, 599,
+ 600, 600, 520, 520, 520, 620, 639, 922, 488, 923,
+ 640, 924, 521, 601, 521, 522, 523, 523, 651, 651,
+ 651, 574, 925, 488, 641, 659, 659, 659, 652, 524,
+ 652, 653, 654, 654, 573, 573, 573, 926, 585, 606,
+ 606, 606, 584, 584, 584, 655, 674, 674, 674, 597,
+ 597, 597, 607, 523, 523, 599, 600, 600, 928, 598,
+ 929, 598, 599, 600, 600, 687, 687, 1361, 605, 605,
+
+ 608, 609, 610, 611, 1361, 1361, 601, 612, 790, 675,
+ 613, 933, 660, 614, 574, 791, 615, 704, 704, 706,
+ 706, 706, 699, 699, 699, 739, 739, 585, 688, 688,
+ 688, 700, 653, 654, 654, 933, 651, 651, 651, 1361,
+ 1361, 689, 600, 600, 779, 779, 652, 847, 652, 653,
+ 654, 654, 1361, 687, 687, 780, 754, 754, 754, 690,
+ 691, 692, 693, 655, 704, 704, 694, 1361, 1361, 695,
+ 933, 780, 696, 820, 820, 697, 848, 701, 740, 740,
+ 740, 751, 751, 751, 659, 659, 659, 781, 781, 781,
+ 752, 741, 654, 654, 757, 757, 757, 674, 674, 674,
+
+ 699, 699, 699, 699, 699, 699, 706, 706, 706, 742,
+ 743, 744, 745, 755, 821, 933, 746, 779, 779, 747,
+ 758, 933, 748, 821, 821, 749, 853, 853, 782, 933,
+ 675, 783, 784, 784, 784, 938, 753, 706, 706, 706,
+ 821, 660, 785, 939, 785, 786, 787, 787, 1361, 739,
+ 739, 822, 822, 822, 940, 701, 820, 820, 701, 788,
+ 751, 751, 751, 751, 751, 751, 825, 825, 825, 754,
+ 754, 754, 830, 830, 830, 941, 826, 942, 826, 827,
+ 828, 828, 757, 757, 757, 933, 781, 781, 781, 786,
+ 787, 787, 823, 829, 933, 824, 897, 897, 831, 781,
+
+ 781, 781, 943, 781, 781, 781, 1361, 1361, 758, 781,
+ 781, 781, 827, 828, 828, 753, 932, 932, 753, 822,
+ 822, 822, 830, 830, 830, 944, 755, 849, 945, 933,
+ 850, 822, 822, 822, 946, 822, 822, 822, 947, 948,
+ 849, 851, 949, 850, 782, 933, 950, 783, 831, 852,
+ 782, 951, 952, 783, 854, 854, 854, 910, 910, 910,
+ 893, 953, 954, 894, 822, 822, 822, 855, 787, 787,
+ 955, 956, 893, 895, 957, 894, 823, 958, 959, 824,
+ 913, 913, 913, 960, 961, 856, 857, 858, 859, 920,
+ 920, 920, 860, 1361, 1361, 861, 964, 964, 862, 965,
+
+ 965, 863, 965, 965, 896, 823, 965, 965, 824, 898,
+ 898, 898, 965, 965, 911, 970, 781, 781, 781, 1361,
+ 853, 853, 899, 828, 828, 781, 781, 781, 971, 934,
+ 934, 934, 965, 972, 822, 822, 822, 914, 973, 974,
+ 900, 901, 902, 903, 921, 975, 981, 904, 965, 982,
+ 905, 983, 984, 906, 985, 986, 907, 782, 930, 987,
+ 783, 822, 822, 822, 988, 995, 782, 932, 932, 783,
+ 935, 996, 997, 936, 931, 823, 962, 998, 824, 1361,
+ 897, 897, 966, 966, 966, 999, 937, 910, 910, 910,
+ 913, 913, 913, 920, 920, 920, 781, 781, 781, 864,
+
+ 1000, 994, 823, 1001, 1002, 824, 976, 976, 976, 1003,
+ 963, 781, 781, 781, 1004, 1005, 977, 1006, 977, 978,
+ 979, 979, 1007, 967, 964, 964, 968, 934, 934, 934,
+ 908, 1014, 1013, 980, 934, 934, 934, 782, 1015, 969,
+ 783, 934, 934, 934, 911, 989, 1016, 914, 921, 822,
+ 822, 822, 782, 1017, 1030, 783, 1018, 1018, 990, 822,
+ 822, 822, 1031, 966, 966, 966, 1032, 1033, 991, 848,
+ 1034, 992, 966, 966, 966, 991, 1035, 1042, 992, 993,
+ 1043, 864, 935, 1046, 937, 936, 966, 966, 966, 1047,
+ 823, 937, 1045, 824, 1048, 864, 1009, 1049, 937, 1044,
+
+ 823, 1050, 1051, 824, 1010, 1052, 1053, 1011, 1008, 978,
+ 979, 979, 1054, 1010, 1061, 1062, 1011, 1065, 1066, 1067,
+ 969, 781, 781, 781, 1012, 908, 1069, 967, 908, 969,
+ 968, 1069, 1063, 1361, 1018, 1018, 1064, 1361, 1361, 822,
+ 822, 822, 1069, 969, 1019, 1019, 1019, 1068, 1068, 1069,
+ 1069, 1069, 1069, 1069, 1069, 1074, 1075, 1020, 979, 979,
+ 1076, 1077, 782, 1084, 1084, 783, 1096, 1097, 1036, 1069,
+ 1070, 1070, 1070, 864, 1100, 1021, 1022, 1023, 1024, 1101,
+ 823, 864, 1025, 824, 1098, 1026, 1055, 1102, 1027, 1103,
+ 1099, 1028, 1037, 1037, 1037, 1039, 1040, 1040, 1104, 1105,
+
+ 1112, 1112, 1038, 1124, 1038, 1039, 1040, 1040, 1078, 1078,
+ 1078, 1071, 1125, 1130, 1072, 1037, 1037, 1037, 1038, 1041,
+ 1038, 1039, 1040, 1040, 1058, 1059, 1059, 1073, 1131, 1136,
+ 1079, 1079, 1079, 782, 1151, 1041, 783, 1056, 1056, 1056,
+ 1080, 1151, 1080, 1081, 1082, 1082, 1029, 1057, 1135, 1057,
+ 1058, 1059, 1059, 1106, 1106, 1106, 849, 1083, 908, 850,
+ 1107, 1107, 1107, 1057, 1060, 1057, 1058, 1059, 1059, 1126,
+ 1108, 1151, 1108, 1109, 1110, 1110, 908, 1151, 823, 1151,
+ 1060, 824, 1085, 1085, 1085, 1127, 1151, 1111, 1151, 1056,
+ 1056, 1056, 1068, 1068, 1151, 1086, 1040, 1040, 1128, 1128,
+
+ 1128, 1070, 1070, 1070, 1081, 1082, 1082, 1138, 1138, 1361,
+ 1084, 1084, 1151, 1087, 1088, 1089, 1090, 1361, 1361, 1154,
+ 1091, 1150, 1150, 1092, 1155, 1162, 1093, 1163, 1151, 1094,
+ 893, 1164, 864, 894, 1113, 1113, 1113, 1179, 1070, 1070,
+ 1070, 1156, 1132, 1166, 1166, 1133, 1179, 1114, 1059, 1059,
+ 1070, 1070, 1070, 1361, 1361, 1129, 1178, 1178, 1073, 1079,
+ 1079, 1079, 1109, 1110, 1110, 1115, 1116, 1117, 1118, 1361,
+ 1112, 1112, 1119, 1179, 1179, 1120, 1179, 1179, 1121, 1132,
+ 1179, 1122, 1133, 1179, 1182, 1179, 1183, 1190, 1134, 1191,
+ 908, 1071, 1192, 1029, 1072, 1073, 1137, 1137, 1137, 1184,
+
+ 849, 1179, 1198, 850, 1194, 1198, 1080, 1073, 1080, 1081,
+ 1082, 1082, 1152, 1152, 1152, 1361, 1361, 1165, 1165, 1165,
+ 1107, 1107, 1107, 1083, 1139, 1139, 1139, 1108, 1198, 1108,
+ 1109, 1110, 1110, 1198, 1180, 1180, 1180, 1140, 1082, 1082,
+ 1128, 1128, 1128, 1029, 1111, 1197, 1197, 1193, 1195, 1195,
+ 1195, 1198, 1198, 1153, 1198, 1141, 1142, 1143, 1144, 1198,
+ 1198, 893, 1145, 1201, 894, 1146, 1150, 1150, 1147, 1220,
+ 1198, 1148, 1157, 1157, 1157, 1181, 1361, 1138, 1138, 1199,
+ 1199, 1199, 1158, 1222, 1158, 1159, 1160, 1160, 1152, 1152,
+ 1152, 1152, 1152, 1152, 1202, 1202, 1202, 1129, 1222, 1161,
+
+ 1152, 1152, 1152, 1222, 1158, 1196, 1158, 1159, 1160, 1160,
+ 864, 1167, 1167, 1167, 1159, 1160, 1160, 1208, 1208, 1361,
+ 1361, 1161, 1221, 1221, 1168, 1110, 1110, 1222, 1222, 849,
+ 1222, 1222, 849, 1361, 1166, 1166, 1222, 1222, 1200, 1178,
+ 1178, 1153, 1169, 1170, 1171, 1172, 1157, 1157, 1157, 1173,
+ 1225, 1244, 1174, 1222, 1245, 1175, 1232, 1232, 1176, 1185,
+ 1185, 1185, 1223, 1223, 1223, 1203, 1203, 1203, 1248, 1186,
+ 1264, 1186, 1187, 1188, 1188, 1204, 1264, 1204, 1205, 1206,
+ 1206, 1180, 1180, 1180, 1264, 1029, 1189, 991, 1264, 1029,
+ 992, 1264, 1207, 1180, 1180, 1180, 1246, 908, 1247, 1264,
+
+ 1185, 1185, 1185, 937, 1209, 1209, 1209, 1264, 1180, 1180,
+ 1180, 1197, 1197, 1226, 1226, 1226, 1264, 1210, 1160, 1160,
+ 1251, 1251, 893, 1186, 1284, 1186, 1187, 1188, 1188, 1187,
+ 1188, 1188, 1361, 1361, 893, 1211, 1212, 1213, 1214, 1284,
+ 1189, 1010, 1215, 1284, 1011, 1216, 1224, 1264, 1217, 1181,
+ 1284, 1218, 1227, 1227, 1227, 1263, 1263, 969, 1195, 1195,
+ 1195, 1284, 1228, 1264, 1228, 1229, 1230, 1230, 1199, 1199,
+ 1199, 1199, 1199, 1199, 1284, 1152, 1152, 1152, 1287, 1231,
+ 1233, 1233, 1233, 1205, 1206, 1206, 1361, 1208, 1208, 1288,
+ 1203, 1203, 1203, 1234, 1188, 1188, 1265, 1265, 1265, 1221,
+
+ 1221, 1223, 1223, 1223, 1223, 1223, 1223, 1180, 1180, 1180,
+ 1248, 1235, 1236, 1237, 1238, 1196, 1153, 1249, 1239, 1271,
+ 1271, 1240, 1361, 1361, 1241, 1283, 1283, 1242, 1250, 1250,
+ 1250, 991, 1361, 1361, 992, 1296, 1296, 1266, 1204, 1297,
+ 1204, 1205, 1206, 1206, 1229, 1230, 1230, 937, 1181, 1269,
+ 1270, 1270, 1270, 937, 1297, 1207, 1252, 1252, 1252, 1284,
+ 1228, 1297, 1228, 1229, 1230, 1230, 1361, 1232, 1232, 1253,
+ 1206, 1206, 1284, 1029, 1297, 1284, 1297, 1231, 1361, 1251,
+ 1251, 1284, 1289, 1297, 1297, 1297, 1297, 1254, 1255, 1256,
+ 1257, 1263, 1263, 1302, 1258, 1361, 1361, 1259, 1301, 1301,
+
+ 1260, 1297, 1302, 1261, 1267, 1267, 1267, 1267, 1267, 1267,
1267, 1267, 1267, 1267, 1267, 1267, 1267, 1267, 1267, 1267,
- 1301, 1266, 1266, 1266, 1226, 1226, 1226, 1301, 1284, 1284,
- 1284, 1151, 1151, 1151, 1297, 1297, 1297, 1264, 1264, 1264,
- 1360, 1270, 1270, 1301, 1301, 1264, 1264, 1264, 1301, 1264,
- 1264, 1264, 1179, 1179, 1179, 1301, 1304, 1301, 1282, 1282,
-
- 1301, 1302, 1302, 1302, 1341, 1009, 1311, 1311, 1010, 1285,
- 1295, 1295, 1152, 1291, 1292, 1292, 1300, 1300, 990, 1341,
- 1294, 968, 1271, 1271, 1271, 968, 990, 1298, 1328, 1328,
- 1265, 936, 1341, 1180, 936, 1272, 1229, 1229, 1284, 1284,
- 1284, 1299, 936, 1308, 1309, 1309, 936, 1284, 1284, 1284,
- 1360, 1311, 1311, 1273, 1274, 1275, 1276, 1341, 968, 1341,
- 1277, 1360, 1360, 1278, 1340, 1340, 1279, 1341, 1341, 1280,
- 1289, 1289, 1289, 1284, 1284, 1284, 1341, 1360, 1360, 1009,
- 1290, 1349, 1290, 1291, 1292, 1292, 1341, 1349, 1009, 1297,
- 1297, 1297, 1297, 1297, 1297, 968, 1349, 1293, 1289, 1289,
-
- 1289, 1349, 1341, 1349, 968, 1305, 1305, 1305, 1028, 1348,
- 1348, 1303, 1349, 1349, 1285, 1290, 1349, 1290, 1291, 1292,
- 1292, 1306, 1306, 1306, 1349, 1151, 1151, 1151, 1340, 1340,
- 968, 1307, 1293, 1307, 1308, 1309, 1309, 1348, 1348, 1131,
- 1349, 210, 1132, 1360, 1328, 1328, 936, 224, 1310, 936,
- 1264, 1264, 1264, 615, 697, 1072, 1312, 1312, 1312, 749,
- 863, 1179, 1179, 1179, 907, 1028, 1152, 1094, 1122, 1313,
- 1292, 1292, 1323, 1302, 1302, 1302, 1302, 1302, 1302, 1284,
- 1284, 1284, 1306, 1306, 1306, 1148, 1176, 1314, 1315, 1316,
- 1317, 1265, 1324, 1218, 1318, 1242, 1261, 1319, 1281, 1322,
-
- 1320, 1339, 1180, 1321, 1327, 1327, 1327, 936, 1325, 1342,
- 1342, 1342, 885, 884, 1307, 883, 1307, 1308, 1309, 1309,
- 1285, 1326, 882, 1131, 881, 880, 1132, 879, 878, 877,
- 968, 1310, 876, 968, 875, 874, 968, 873, 872, 1072,
- 1329, 1329, 1329, 871, 870, 869, 868, 1359, 1359, 1359,
- 1343, 867, 866, 1330, 1309, 1309, 1264, 1264, 1264, 1350,
- 1350, 1350, 865, 1284, 1284, 1284, 1072, 1342, 1342, 1342,
- 864, 1331, 1332, 1333, 1334, 845, 842, 841, 1335, 840,
- 839, 1336, 838, 837, 1337, 836, 835, 1338, 1344, 1344,
- 1344, 1360, 1342, 1342, 1342, 834, 323, 1265, 1079, 314,
-
- 1079, 1080, 1081, 1081, 1285, 1345, 833, 831, 1131, 1342,
- 1342, 1342, 1347, 936, 820, 1082, 1072, 820, 820, 820,
- 968, 1264, 1264, 1264, 1072, 820, 1350, 1350, 1350, 1152,
- 1346, 1346, 1346, 1131, 1284, 1284, 1284, 1350, 1350, 1350,
- 1107, 820, 1107, 1108, 1109, 1109, 818, 1351, 817, 1072,
- 1343, 1342, 1342, 1342, 1342, 1342, 1342, 1110, 816, 815,
- 814, 813, 1265, 1356, 1356, 1356, 1072, 812, 1352, 811,
- 810, 1180, 1344, 1344, 1344, 1285, 809, 808, 936, 807,
- 806, 1353, 1079, 1072, 1079, 1080, 1081, 1081, 805, 804,
- 803, 968, 1343, 1354, 1072, 1343, 1342, 1342, 1342, 1082,
-
- 802, 801, 800, 1357, 1009, 799, 798, 797, 1072, 796,
- 795, 1072, 794, 848, 1346, 1346, 1346, 793, 792, 791,
- 968, 788, 779, 779, 1107, 779, 1107, 1108, 1109, 1109,
- 779, 779, 779, 777, 776, 775, 774, 1343, 773, 772,
- 771, 1110, 770, 1358, 769, 768, 767, 766, 765, 764,
- 763, 762, 255, 1072, 247, 892, 1355, 1355, 1355, 761,
- 323, 760, 314, 759, 758, 755, 1203, 737, 1203, 1204,
- 1205, 1205, 736, 735, 734, 733, 732, 731, 730, 729,
- 728, 727, 726, 1206, 725, 724, 723, 722, 721, 720,
- 719, 718, 717, 716, 715, 714, 713, 1265, 712, 711,
-
- 710, 709, 708, 707, 706, 704, 704, 704, 704, 704,
- 704, 702, 701, 936, 1356, 1356, 1356, 685, 684, 683,
- 682, 681, 680, 679, 1227, 678, 1227, 1228, 1229, 1229,
- 677, 676, 675, 672, 671, 670, 669, 668, 255, 667,
- 247, 1230, 666, 665, 664, 323, 663, 323, 662, 314,
- 661, 314, 660, 657, 656, 1285, 655, 649, 648, 647,
- 646, 645, 644, 643, 642, 641, 637, 636, 635, 634,
- 633, 968, 1355, 1355, 1355, 632, 631, 630, 629, 628,
- 627, 626, 1203, 625, 1203, 1204, 1205, 1205, 624, 623,
- 622, 621, 620, 617, 616, 603, 602, 601, 595, 1206,
-
- 594, 593, 592, 591, 590, 589, 588, 587, 586, 585,
- 582, 579, 578, 990, 577, 255, 576, 255, 575, 247,
- 574, 247, 571, 570, 569, 568, 567, 566, 565, 936,
- 1359, 1359, 1359, 564, 563, 562, 561, 560, 559, 558,
- 1307, 557, 1307, 1308, 1309, 1309, 556, 555, 554, 551,
- 550, 549, 548, 547, 546, 545, 544, 1310, 543, 542,
- 541, 540, 539, 538, 537, 536, 535, 534, 530, 529,
- 528, 1343, 527, 526, 525, 524, 518, 517, 516, 515,
- 514, 513, 512, 511, 510, 509, 508, 1072, 46, 46,
+ 1267, 1267, 1267, 1267, 1267, 1268, 1268, 1268, 1268, 1268,
+ 1268, 1267, 1267, 1267, 1267, 1268, 1268, 1268, 1268, 1268,
+ 1268, 1268, 1268, 1268, 1268, 1268, 1268, 1268, 1268, 1268,
+ 1268, 1268, 1268, 1268, 1268, 1268, 1268, 1268, 1268, 1268,
+ 1302, 1267, 1267, 1267, 1227, 1227, 1227, 1302, 1285, 1285,
+ 1285, 1152, 1152, 1152, 1298, 1298, 1298, 1265, 1265, 1265,
+ 1361, 1271, 1271, 1302, 1302, 1265, 1265, 1265, 1302, 1265,
+ 1265, 1265, 1180, 1180, 1180, 1302, 1305, 1302, 1283, 1283,
+
+ 1302, 1303, 1303, 1303, 1342, 1010, 1312, 1312, 1011, 1286,
+ 1296, 1296, 1153, 1292, 1293, 1293, 1301, 1301, 991, 1342,
+ 1295, 969, 1272, 1272, 1272, 969, 991, 1299, 1329, 1329,
+ 1266, 937, 1342, 1181, 937, 1273, 1230, 1230, 1285, 1285,
+ 1285, 1300, 937, 1309, 1310, 1310, 937, 1285, 1285, 1285,
+ 1361, 1312, 1312, 1274, 1275, 1276, 1277, 1342, 969, 1342,
+ 1278, 1361, 1361, 1279, 1341, 1341, 1280, 1342, 1342, 1281,
+ 1290, 1290, 1290, 1285, 1285, 1285, 1342, 1361, 1361, 1010,
+ 1291, 1350, 1291, 1292, 1293, 1293, 1342, 1350, 1010, 1298,
+ 1298, 1298, 1298, 1298, 1298, 969, 1350, 1294, 1290, 1290,
+
+ 1290, 1350, 1342, 1350, 969, 1306, 1306, 1306, 1029, 1349,
+ 1349, 1304, 1350, 1350, 1286, 1291, 1350, 1291, 1292, 1293,
+ 1293, 1307, 1307, 1307, 1350, 1152, 1152, 1152, 1341, 1341,
+ 969, 1308, 1294, 1308, 1309, 1310, 1310, 1349, 1349, 1132,
+ 1350, 211, 1133, 1361, 1329, 1329, 937, 225, 1311, 937,
+ 1265, 1265, 1265, 616, 698, 1073, 1313, 1313, 1313, 750,
+ 864, 1180, 1180, 1180, 908, 1029, 1153, 1095, 1123, 1314,
+ 1293, 1293, 1324, 1303, 1303, 1303, 1303, 1303, 1303, 1285,
+ 1285, 1285, 1307, 1307, 1307, 1149, 1177, 1315, 1316, 1317,
+ 1318, 1266, 1325, 1219, 1319, 1243, 1262, 1320, 1282, 1323,
+
+ 1321, 1340, 1181, 1322, 1328, 1328, 1328, 937, 1326, 1343,
+ 1343, 1343, 886, 885, 1308, 884, 1308, 1309, 1310, 1310,
+ 1286, 1327, 883, 1132, 882, 881, 1133, 880, 879, 878,
+ 969, 1311, 877, 969, 876, 875, 969, 874, 873, 1073,
+ 1330, 1330, 1330, 872, 871, 870, 869, 1360, 1360, 1360,
+ 1344, 868, 867, 1331, 1310, 1310, 1265, 1265, 1265, 1351,
+ 1351, 1351, 866, 1285, 1285, 1285, 1073, 1343, 1343, 1343,
+ 865, 1332, 1333, 1334, 1335, 846, 843, 842, 1336, 841,
+ 840, 1337, 839, 838, 1338, 837, 836, 1339, 1345, 1345,
+ 1345, 1361, 1343, 1343, 1343, 835, 324, 1266, 1080, 315,
+
+ 1080, 1081, 1082, 1082, 1286, 1346, 834, 832, 1132, 1343,
+ 1343, 1343, 1348, 937, 821, 1083, 1073, 821, 821, 821,
+ 969, 1265, 1265, 1265, 1073, 821, 1351, 1351, 1351, 1153,
+ 1347, 1347, 1347, 1132, 1285, 1285, 1285, 1351, 1351, 1351,
+ 1108, 821, 1108, 1109, 1110, 1110, 819, 1352, 818, 1073,
+ 1344, 1343, 1343, 1343, 1343, 1343, 1343, 1111, 817, 816,
+ 815, 814, 1266, 1357, 1357, 1357, 1073, 813, 1353, 812,
+ 811, 1181, 1345, 1345, 1345, 1286, 810, 809, 937, 808,
+ 807, 1354, 1080, 1073, 1080, 1081, 1082, 1082, 806, 805,
+ 804, 969, 1344, 1355, 1073, 1344, 1343, 1343, 1343, 1083,
+
+ 803, 802, 801, 1358, 1010, 800, 799, 798, 1073, 797,
+ 796, 1073, 795, 849, 1347, 1347, 1347, 794, 793, 792,
+ 969, 789, 780, 780, 1108, 780, 1108, 1109, 1110, 1110,
+ 780, 780, 780, 778, 777, 776, 775, 1344, 774, 773,
+ 772, 1111, 771, 1359, 770, 769, 768, 767, 766, 765,
+ 764, 763, 256, 1073, 248, 893, 1356, 1356, 1356, 762,
+ 324, 761, 315, 760, 759, 756, 1204, 738, 1204, 1205,
+ 1206, 1206, 737, 736, 735, 734, 733, 732, 731, 730,
+ 729, 728, 727, 1207, 726, 725, 724, 723, 722, 721,
+ 720, 719, 718, 717, 716, 715, 714, 1266, 713, 712,
+
+ 711, 710, 709, 708, 707, 705, 705, 705, 705, 705,
+ 705, 703, 702, 937, 1357, 1357, 1357, 686, 685, 684,
+ 683, 682, 681, 680, 1228, 679, 1228, 1229, 1230, 1230,
+ 678, 677, 676, 673, 672, 671, 670, 669, 256, 668,
+ 248, 1231, 667, 666, 665, 324, 664, 324, 663, 315,
+ 662, 315, 661, 658, 657, 1286, 656, 650, 649, 648,
+ 647, 646, 645, 644, 643, 642, 638, 637, 636, 635,
+ 634, 969, 1356, 1356, 1356, 633, 632, 631, 630, 629,
+ 628, 627, 1204, 626, 1204, 1205, 1206, 1206, 625, 624,
+ 623, 622, 621, 618, 617, 604, 603, 602, 596, 1207,
+
+ 595, 594, 593, 592, 591, 590, 589, 588, 587, 586,
+ 583, 580, 579, 991, 578, 256, 577, 256, 576, 248,
+ 575, 248, 572, 571, 570, 569, 568, 567, 566, 937,
+ 1360, 1360, 1360, 565, 564, 563, 562, 561, 560, 559,
+ 1308, 558, 1308, 1309, 1310, 1310, 557, 556, 555, 552,
+ 551, 550, 549, 548, 547, 546, 545, 1311, 544, 543,
+ 542, 541, 540, 539, 538, 537, 536, 535, 531, 530,
+ 529, 1344, 528, 527, 526, 525, 519, 518, 517, 516,
+ 515, 514, 513, 512, 511, 510, 509, 1073, 46, 46,
46, 46, 46, 46, 46, 46, 46, 46, 46, 46,
46, 47, 47, 47, 47, 47, 47, 47, 47, 47,
@@ -1296,53 +1297,53 @@ static const flex_int16_t yy_nxt[3432] =
133, 133, 133, 133, 133, 133, 137, 137, 137, 137,
137, 137, 137, 137, 137, 137, 137, 137, 137, 148,
- 507, 506, 148, 148, 505, 148, 148, 148, 148, 148,
- 150, 504, 503, 150, 150, 150, 150, 150, 150, 150,
- 150, 164, 164, 502, 164, 164, 164, 164, 164, 164,
- 164, 164, 164, 164, 170, 501, 500, 499, 170, 204,
- 498, 497, 204, 204, 204, 204, 204, 204, 204, 204,
- 496, 204, 206, 495, 206, 206, 206, 207, 207, 235,
- 494, 493, 235, 235, 235, 235, 235, 235, 235, 235,
- 237, 492, 491, 237, 237, 237, 237, 237, 237, 237,
- 237, 240, 240, 240, 240, 240, 240, 240, 240, 240,
-
- 240, 490, 240, 240, 241, 241, 241, 241, 241, 241,
- 241, 241, 241, 489, 241, 241, 241, 243, 243, 243,
- 243, 243, 243, 243, 243, 243, 243, 243, 264, 488,
- 485, 484, 264, 265, 265, 342, 342, 342, 342, 342,
- 342, 342, 342, 342, 342, 342, 342, 342, 832, 483,
- 482, 481, 480, 832, 908, 479, 478, 477, 476, 908,
- 926, 926, 926, 926, 926, 926, 926, 926, 926, 926,
- 475, 926, 926, 1266, 1266, 1266, 1266, 1266, 1266, 1266,
- 1266, 1266, 1266, 1266, 474, 1266, 473, 472, 471, 470,
- 467, 466, 462, 461, 457, 456, 455, 454, 453, 452,
-
- 451, 450, 449, 445, 440, 439, 438, 437, 436, 435,
- 434, 433, 432, 431, 430, 429, 428, 427, 426, 425,
- 424, 423, 422, 418, 343, 413, 412, 411, 410, 409,
- 408, 407, 406, 405, 404, 403, 323, 323, 400, 323,
- 323, 399, 398, 314, 314, 395, 314, 314, 394, 393,
- 392, 391, 390, 386, 385, 384, 383, 382, 381, 380,
- 377, 376, 375, 374, 370, 367, 366, 365, 364, 363,
- 359, 353, 352, 351, 350, 349, 348, 347, 346, 345,
- 344, 343, 270, 1360, 339, 338, 255, 255, 335, 255,
- 255, 334, 247, 247, 331, 247, 247, 330, 238, 236,
-
- 329, 326, 325, 324, 323, 322, 321, 225, 320, 317,
- 316, 315, 314, 313, 312, 311, 310, 309, 203, 303,
- 290, 285, 279, 169, 169, 263, 262, 160, 261, 258,
- 257, 256, 255, 254, 151, 149, 253, 250, 249, 248,
- 247, 246, 242, 239, 238, 236, 234, 226, 225, 223,
- 203, 198, 169, 167, 166, 165, 163, 162, 161, 160,
- 159, 151, 149, 147, 140, 1360, 136, 136, 126, 126,
- 45, 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360,
- 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360,
- 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360,
-
- 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360,
- 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360,
- 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360,
- 1360
+ 508, 507, 148, 148, 506, 148, 148, 148, 148, 148,
+ 150, 505, 504, 150, 150, 150, 150, 150, 150, 150,
+ 150, 164, 164, 503, 164, 164, 164, 164, 164, 164,
+ 164, 164, 164, 164, 170, 502, 501, 500, 170, 205,
+ 499, 498, 205, 205, 205, 205, 205, 205, 205, 205,
+ 497, 205, 207, 496, 207, 207, 207, 208, 208, 236,
+ 495, 494, 236, 236, 236, 236, 236, 236, 236, 236,
+ 238, 493, 492, 238, 238, 238, 238, 238, 238, 238,
+ 238, 241, 241, 241, 241, 241, 241, 241, 241, 241,
+
+ 241, 491, 241, 241, 242, 242, 242, 242, 242, 242,
+ 242, 242, 242, 490, 242, 242, 242, 244, 244, 244,
+ 244, 244, 244, 244, 244, 244, 244, 244, 265, 489,
+ 486, 485, 265, 266, 266, 343, 343, 343, 343, 343,
+ 343, 343, 343, 343, 343, 343, 343, 343, 833, 484,
+ 483, 482, 481, 833, 909, 480, 479, 478, 477, 909,
+ 927, 927, 927, 927, 927, 927, 927, 927, 927, 927,
+ 476, 927, 927, 1267, 1267, 1267, 1267, 1267, 1267, 1267,
+ 1267, 1267, 1267, 1267, 475, 1267, 474, 473, 472, 471,
+ 468, 467, 463, 462, 458, 457, 456, 455, 454, 453,
+
+ 452, 451, 450, 446, 441, 440, 439, 438, 437, 436,
+ 435, 434, 433, 432, 431, 430, 429, 428, 427, 426,
+ 425, 424, 423, 419, 344, 414, 413, 412, 411, 410,
+ 409, 408, 407, 406, 405, 404, 324, 324, 401, 324,
+ 324, 400, 399, 315, 315, 396, 315, 315, 395, 394,
+ 393, 392, 391, 387, 386, 385, 384, 383, 382, 381,
+ 378, 377, 376, 375, 371, 368, 367, 366, 365, 364,
+ 360, 354, 353, 352, 351, 350, 349, 348, 347, 346,
+ 345, 344, 271, 1361, 340, 339, 256, 256, 336, 256,
+ 256, 335, 248, 248, 332, 248, 248, 331, 239, 237,
+
+ 330, 327, 326, 325, 324, 323, 322, 226, 321, 318,
+ 317, 316, 315, 314, 313, 312, 311, 310, 204, 304,
+ 291, 286, 280, 169, 169, 264, 263, 160, 262, 259,
+ 258, 257, 256, 255, 151, 149, 254, 251, 250, 249,
+ 248, 247, 243, 240, 239, 237, 235, 227, 226, 224,
+ 204, 199, 169, 167, 166, 165, 163, 162, 161, 160,
+ 159, 151, 149, 147, 140, 1361, 136, 136, 126, 126,
+ 45, 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361,
+ 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361,
+ 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361,
+
+ 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361,
+ 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361,
+ 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361,
+ 1361
} ;
static const flex_int16_t yy_chk[3432] =
@@ -1352,11 +1353,11 @@ static const flex_int16_t yy_chk[3432] =
5, 5, 31, 6, 6, 6, 7, 8, 8, 8,
5, 10, 10, 10, 6, 23, 24, 40, 8, 79,
79, 37, 146, 0, 39, 11, 38, 31, 11, 12,
- 5, 181, 12, 146, 6, 181, 3, 4, 168, 168,
+ 5, 182, 12, 146, 6, 182, 3, 4, 168, 168,
11, 11, 11, 40, 12, 12, 12, 9, 37, 9,
7, 11, 7, 38, 158, 12, 31, 43, 31, 43,
- 290, 44, 8, 44, 8, 158, 10, 175, 10, 175,
- 290, 11, 139, 139, 139, 12, 13, 13, 13, 13,
+ 291, 44, 8, 44, 8, 158, 10, 176, 10, 176,
+ 291, 11, 139, 139, 139, 12, 13, 13, 13, 13,
13, 13, 13, 13, 13, 13, 13, 13, 13, 13,
13, 13, 13, 13, 13, 13, 13, 13, 13, 13,
@@ -1377,354 +1378,354 @@ static const flex_int16_t yy_chk[3432] =
17, 17, 17, 17, 17, 17, 17, 17, 17, 17,
17, 17, 17, 17, 17, 17, 17, 17, 17, 17,
17, 17, 17, 17, 17, 17, 19, 67, 54, 20,
- 54, 179, 54, 54, 54, 813, 190, 814, 183, 54,
- 190, 19, 19, 19, 20, 20, 20, 183, 179, 185,
+ 54, 180, 54, 54, 54, 814, 191, 815, 184, 54,
+ 191, 19, 19, 19, 20, 20, 20, 184, 180, 186,
- 180, 91, 19, 180, 180, 20, 815, 91, 197, 67,
- 185, 67, 91, 67, 67, 67, 195, 182, 182, 195,
- 67, 197, 19, 182, 91, 20, 21, 21, 21, 21,
+ 181, 91, 19, 181, 181, 20, 816, 91, 198, 67,
+ 186, 67, 91, 67, 67, 67, 196, 183, 183, 196,
+ 67, 198, 19, 183, 91, 20, 21, 21, 21, 21,
21, 21, 21, 21, 21, 21, 21, 21, 21, 21,
21, 21, 21, 21, 21, 21, 21, 21, 21, 21,
21, 21, 21, 21, 21, 21, 21, 21, 21, 21,
21, 21, 21, 21, 21, 21, 21, 21, 21, 21,
21, 21, 21, 21, 21, 21, 21, 21, 21, 21,
- 21, 21, 21, 21, 21, 21, 25, 816, 32, 26,
- 27, 27, 27, 28, 28, 28, 29, 29, 29, 222,
+ 21, 21, 21, 21, 21, 21, 25, 817, 32, 26,
+ 27, 27, 27, 28, 28, 28, 29, 29, 29, 223,
35, 25, 25, 25, 26, 26, 26, 30, 30, 30,
- 222, 36, 25, 32, 83, 26, 83, 83, 83, 83,
- 186, 199, 199, 199, 193, 35, 186, 113, 193, 200,
- 200, 817, 25, 252, 608, 26, 36, 193, 233, 201,
- 201, 201, 32, 608, 32, 27, 252, 27, 28, 233,
- 28, 29, 818, 29, 35, 113, 35, 113, 282, 113,
- 113, 113, 30, 282, 30, 36, 113, 36, 81, 81,
- 201, 81, 81, 81, 81, 81, 81, 81, 81, 81,
+ 223, 36, 25, 32, 83, 26, 83, 83, 83, 83,
+ 187, 200, 200, 200, 194, 35, 187, 113, 194, 201,
+ 201, 818, 25, 253, 609, 26, 36, 194, 234, 202,
+ 202, 202, 32, 609, 32, 27, 253, 27, 28, 234,
+ 28, 29, 819, 29, 35, 113, 35, 113, 283, 113,
+ 113, 113, 30, 283, 30, 36, 113, 36, 81, 81,
+ 202, 81, 81, 81, 81, 81, 81, 81, 81, 81,
81, 81, 81, 81, 81, 81, 81, 81, 81, 81,
81, 81, 81, 81, 81, 81, 81, 81, 81, 81,
81, 81, 81, 81, 81, 81, 81, 81, 81, 81,
81, 81, 81, 81, 81, 81, 81, 81, 81, 81,
- 81, 81, 81, 81, 81, 81, 81, 81, 88, 832,
+ 81, 81, 81, 81, 81, 81, 81, 81, 88, 833,
88, 95, 95, 95, 96, 96, 96, 98, 98, 98,
- 102, 176, 176, 176, 177, 177, 177, 260, 102, 346,
- 102, 346, 102, 102, 102, 187, 187, 187, 346, 102,
- 260, 189, 189, 189, 202, 206, 202, 177, 191, 191,
- 191, 206, 98, 208, 208, 208, 206, 305, 98, 244,
- 244, 244, 305, 88, 297, 98, 95, 98, 206, 96,
- 613, 189, 209, 209, 209, 307, 307, 187, 176, 189,
-
- 297, 177, 191, 194, 194, 194, 613, 194, 211, 211,
- 211, 465, 187, 194, 245, 245, 245, 773, 189, 202,
- 194, 194, 194, 306, 306, 191, 465, 209, 208, 266,
- 266, 266, 773, 209, 267, 267, 267, 834, 284, 284,
- 209, 281, 209, 211, 319, 281, 281, 292, 328, 211,
- 284, 690, 344, 306, 292, 344, 211, 319, 211, 292,
- 690, 328, 340, 340, 340, 367, 379, 367, 344, 382,
- 344, 369, 369, 367, 379, 385, 389, 389, 382, 445,
- 367, 382, 379, 404, 404, 404, 266, 835, 385, 369,
- 836, 267, 837, 445, 445, 437, 437, 437, 486, 486,
-
- 486, 487, 487, 487, 499, 437, 389, 437, 437, 437,
- 437, 838, 499, 501, 501, 501, 513, 513, 513, 340,
- 521, 521, 437, 520, 520, 520, 513, 527, 513, 513,
- 513, 513, 519, 519, 519, 527, 547, 840, 404, 841,
- 547, 842, 519, 513, 519, 519, 519, 519, 558, 558,
- 558, 487, 843, 486, 547, 562, 562, 562, 558, 519,
- 558, 558, 558, 558, 572, 572, 572, 844, 501, 522,
- 522, 522, 583, 583, 583, 558, 584, 584, 584, 596,
- 596, 596, 522, 522, 522, 597, 597, 597, 848, 596,
- 849, 596, 596, 596, 596, 598, 598, 604, 604, 604,
-
- 522, 522, 522, 522, 605, 605, 596, 522, 702, 584,
- 522, 855, 562, 522, 572, 702, 522, 606, 606, 615,
- 615, 615, 601, 601, 601, 652, 652, 583, 599, 599,
- 599, 601, 651, 651, 651, 857, 650, 650, 650, 687,
- 687, 599, 599, 599, 688, 688, 650, 777, 650, 650,
- 650, 650, 686, 686, 686, 695, 656, 656, 656, 599,
- 599, 599, 599, 650, 703, 703, 599, 739, 739, 599,
- 858, 695, 599, 740, 740, 599, 777, 601, 653, 653,
- 653, 655, 655, 655, 658, 658, 658, 697, 697, 697,
- 655, 653, 653, 653, 659, 659, 659, 673, 673, 673,
-
- 698, 698, 698, 699, 699, 699, 704, 704, 704, 653,
- 653, 653, 653, 656, 742, 859, 653, 778, 778, 653,
- 659, 860, 653, 742, 747, 653, 785, 785, 697, 862,
- 673, 697, 700, 700, 700, 864, 655, 705, 705, 705,
- 747, 658, 700, 865, 700, 700, 700, 700, 738, 738,
- 738, 749, 749, 749, 866, 698, 819, 819, 699, 700,
- 750, 750, 750, 751, 751, 751, 752, 752, 752, 753,
- 753, 753, 754, 754, 754, 867, 752, 868, 752, 752,
- 752, 752, 756, 756, 756, 856, 779, 779, 779, 784,
- 784, 784, 749, 752, 856, 749, 826, 826, 754, 780,
-
- 780, 780, 869, 781, 781, 781, 853, 853, 756, 782,
- 782, 782, 825, 825, 825, 750, 854, 854, 751, 820,
- 820, 820, 829, 829, 829, 870, 753, 779, 872, 861,
- 779, 821, 821, 821, 875, 822, 822, 822, 876, 877,
- 780, 781, 878, 780, 781, 861, 880, 781, 829, 782,
- 782, 882, 883, 782, 786, 786, 786, 831, 831, 831,
- 820, 884, 885, 820, 823, 823, 823, 786, 786, 786,
- 886, 887, 821, 822, 888, 821, 822, 890, 891, 822,
- 833, 833, 833, 892, 893, 786, 786, 786, 786, 839,
- 839, 839, 786, 897, 897, 786, 898, 898, 786, 899,
-
- 901, 786, 902, 900, 823, 823, 903, 904, 823, 827,
- 827, 827, 900, 906, 831, 908, 850, 850, 850, 852,
- 852, 852, 827, 827, 827, 851, 851, 851, 914, 863,
- 863, 863, 905, 915, 894, 894, 894, 833, 916, 917,
- 827, 827, 827, 827, 839, 918, 921, 827, 905, 922,
- 827, 923, 924, 827, 925, 926, 827, 850, 850, 927,
- 850, 895, 895, 895, 928, 938, 851, 931, 931, 851,
- 863, 939, 940, 863, 851, 894, 894, 943, 894, 896,
- 896, 896, 907, 907, 907, 947, 863, 909, 909, 909,
- 912, 912, 912, 919, 919, 919, 929, 929, 929, 935,
-
- 951, 935, 895, 953, 954, 895, 920, 920, 920, 955,
- 895, 930, 930, 930, 956, 957, 920, 959, 920, 920,
- 920, 920, 960, 907, 963, 963, 907, 932, 932, 932,
- 967, 970, 967, 920, 933, 933, 933, 929, 971, 907,
- 929, 934, 934, 934, 909, 929, 972, 912, 919, 962,
- 962, 962, 930, 973, 980, 930, 977, 977, 930, 961,
- 961, 961, 981, 964, 964, 964, 983, 984, 932, 985,
- 986, 932, 965, 965, 965, 933, 987, 990, 933, 934,
- 991, 993, 934, 994, 932, 934, 966, 966, 966, 996,
- 962, 933, 993, 962, 997, 992, 962, 998, 934, 992,
-
- 961, 1001, 1003, 961, 964, 1004, 1005, 964, 961, 976,
- 976, 976, 1006, 965, 1009, 1010, 965, 1013, 1014, 1015,
- 964, 988, 988, 988, 966, 1012, 1020, 966, 1011, 965,
- 966, 1022, 1011, 1017, 1017, 1017, 1012, 1018, 1018, 1007,
- 1007, 1007, 1021, 966, 978, 978, 978, 1019, 1019, 1023,
- 1024, 1021, 1025, 1026, 1027, 1029, 1031, 978, 978, 978,
- 1032, 1033, 988, 1038, 1038, 988, 1041, 1042, 988, 1026,
- 1028, 1028, 1028, 1043, 1045, 978, 978, 978, 978, 1047,
- 1007, 1044, 978, 1007, 1043, 978, 1007, 1049, 978, 1050,
- 1044, 978, 989, 989, 989, 1037, 1037, 1037, 1051, 1052,
-
- 1057, 1057, 989, 1060, 989, 989, 989, 989, 1034, 1034,
- 1034, 1028, 1061, 1065, 1028, 1036, 1036, 1036, 1034, 989,
- 1034, 1034, 1034, 1034, 1056, 1056, 1056, 1028, 1066, 1073,
- 1035, 1035, 1035, 989, 1086, 1034, 989, 1008, 1008, 1008,
- 1035, 1088, 1035, 1035, 1035, 1035, 1071, 1008, 1071, 1008,
- 1008, 1008, 1008, 1053, 1053, 1053, 1036, 1035, 1062, 1036,
- 1054, 1054, 1054, 1053, 1008, 1053, 1053, 1053, 1053, 1062,
- 1054, 1089, 1054, 1054, 1054, 1054, 1063, 1087, 1008, 1090,
- 1053, 1008, 1039, 1039, 1039, 1063, 1087, 1054, 1091, 1055,
- 1055, 1055, 1067, 1067, 1093, 1039, 1039, 1039, 1064, 1064,
-
- 1064, 1068, 1068, 1068, 1079, 1079, 1079, 1080, 1080, 1083,
- 1083, 1083, 1092, 1039, 1039, 1039, 1039, 1084, 1084, 1095,
- 1039, 1085, 1085, 1039, 1096, 1099, 1039, 1100, 1092, 1039,
- 1055, 1102, 1097, 1055, 1058, 1058, 1058, 1114, 1069, 1069,
- 1069, 1097, 1068, 1108, 1108, 1068, 1116, 1058, 1058, 1058,
- 1070, 1070, 1070, 1112, 1112, 1064, 1113, 1113, 1068, 1078,
- 1078, 1078, 1107, 1107, 1107, 1058, 1058, 1058, 1058, 1111,
- 1111, 1111, 1058, 1117, 1115, 1058, 1118, 1119, 1058, 1069,
- 1121, 1058, 1069, 1115, 1123, 1120, 1124, 1129, 1070, 1131,
- 1125, 1070, 1132, 1134, 1070, 1069, 1076, 1076, 1076, 1125,
-
- 1078, 1120, 1140, 1078, 1134, 1142, 1076, 1070, 1076, 1076,
- 1076, 1076, 1094, 1094, 1094, 1138, 1138, 1104, 1104, 1104,
- 1106, 1106, 1106, 1076, 1081, 1081, 1081, 1104, 1143, 1104,
- 1104, 1104, 1104, 1144, 1122, 1122, 1122, 1081, 1081, 1081,
- 1127, 1127, 1127, 1133, 1104, 1139, 1139, 1133, 1135, 1135,
- 1135, 1141, 1145, 1094, 1146, 1081, 1081, 1081, 1081, 1147,
- 1141, 1106, 1081, 1153, 1106, 1081, 1149, 1149, 1081, 1161,
- 1146, 1081, 1098, 1098, 1098, 1122, 1137, 1137, 1137, 1148,
- 1148, 1148, 1098, 1168, 1098, 1098, 1098, 1098, 1150, 1150,
- 1150, 1151, 1151, 1151, 1154, 1154, 1154, 1127, 1170, 1098,
-
- 1152, 1152, 1152, 1171, 1154, 1135, 1154, 1154, 1154, 1154,
- 1098, 1109, 1109, 1109, 1157, 1157, 1157, 1158, 1158, 1166,
- 1166, 1154, 1167, 1167, 1109, 1109, 1109, 1169, 1172, 1150,
- 1173, 1175, 1151, 1165, 1165, 1165, 1169, 1174, 1152, 1177,
- 1177, 1152, 1109, 1109, 1109, 1109, 1156, 1156, 1156, 1109,
- 1181, 1190, 1109, 1174, 1191, 1109, 1186, 1186, 1109, 1126,
- 1126, 1126, 1176, 1176, 1176, 1155, 1155, 1155, 1195, 1126,
- 1210, 1126, 1126, 1126, 1126, 1155, 1212, 1155, 1155, 1155,
- 1155, 1178, 1178, 1178, 1213, 1192, 1126, 1156, 1214, 1193,
- 1156, 1215, 1155, 1179, 1179, 1179, 1192, 1126, 1193, 1217,
-
- 1184, 1184, 1184, 1156, 1159, 1159, 1159, 1211, 1180, 1180,
- 1180, 1196, 1196, 1182, 1182, 1182, 1211, 1159, 1159, 1159,
- 1204, 1204, 1178, 1182, 1234, 1182, 1182, 1182, 1182, 1185,
- 1185, 1185, 1208, 1208, 1179, 1159, 1159, 1159, 1159, 1236,
- 1182, 1184, 1159, 1237, 1184, 1159, 1180, 1216, 1159, 1180,
- 1238, 1159, 1183, 1183, 1183, 1209, 1209, 1184, 1194, 1194,
- 1194, 1239, 1183, 1216, 1183, 1183, 1183, 1183, 1197, 1197,
- 1197, 1198, 1198, 1198, 1241, 1199, 1199, 1199, 1243, 1183,
- 1187, 1187, 1187, 1203, 1203, 1203, 1207, 1207, 1207, 1244,
- 1202, 1202, 1202, 1187, 1187, 1187, 1218, 1218, 1218, 1220,
-
- 1220, 1221, 1221, 1221, 1222, 1222, 1222, 1223, 1223, 1223,
- 1247, 1187, 1187, 1187, 1187, 1194, 1199, 1199, 1187, 1228,
- 1228, 1187, 1232, 1232, 1187, 1233, 1233, 1187, 1200, 1200,
- 1200, 1202, 1251, 1251, 1202, 1252, 1252, 1218, 1200, 1253,
- 1200, 1200, 1200, 1200, 1227, 1227, 1227, 1202, 1223, 1223,
- 1224, 1224, 1224, 1218, 1255, 1200, 1205, 1205, 1205, 1240,
- 1224, 1256, 1224, 1224, 1224, 1224, 1231, 1231, 1231, 1205,
- 1205, 1205, 1235, 1245, 1254, 1240, 1257, 1224, 1250, 1250,
- 1250, 1235, 1245, 1254, 1258, 1259, 1260, 1205, 1205, 1205,
- 1205, 1262, 1262, 1273, 1205, 1271, 1271, 1205, 1272, 1272,
-
- 1205, 1259, 1275, 1205, 1219, 1219, 1219, 1219, 1219, 1219,
- 1219, 1219, 1219, 1219, 1219, 1219, 1219, 1219, 1219, 1219,
- 1219, 1219, 1219, 1219, 1219, 1219, 1219, 1219, 1219, 1219,
- 1219, 1219, 1219, 1219, 1219, 1219, 1219, 1219, 1219, 1219,
- 1219, 1219, 1219, 1219, 1219, 1219, 1219, 1219, 1219, 1219,
- 1219, 1219, 1219, 1219, 1219, 1219, 1219, 1219, 1219, 1219,
- 1276, 1219, 1219, 1219, 1226, 1226, 1226, 1277, 1242, 1242,
- 1242, 1248, 1248, 1248, 1261, 1261, 1261, 1263, 1263, 1263,
- 1270, 1270, 1270, 1278, 1279, 1264, 1264, 1264, 1274, 1265,
- 1265, 1265, 1268, 1268, 1268, 1280, 1286, 1274, 1282, 1282,
-
- 1279, 1281, 1281, 1281, 1314, 1226, 1291, 1291, 1226, 1242,
- 1295, 1295, 1248, 1290, 1290, 1290, 1300, 1300, 1263, 1316,
- 1248, 1226, 1229, 1229, 1229, 1242, 1264, 1265, 1308, 1308,
- 1265, 1261, 1317, 1268, 1263, 1229, 1229, 1229, 1283, 1283,
- 1283, 1268, 1264, 1307, 1307, 1307, 1265, 1284, 1284, 1284,
- 1311, 1311, 1311, 1229, 1229, 1229, 1229, 1318, 1281, 1315,
- 1229, 1312, 1312, 1229, 1313, 1313, 1229, 1319, 1315, 1229,
- 1246, 1246, 1246, 1285, 1285, 1285, 1321, 1329, 1329, 1283,
- 1246, 1331, 1246, 1246, 1246, 1246, 1320, 1332, 1284, 1296,
- 1296, 1296, 1297, 1297, 1297, 1283, 1332, 1246, 1289, 1289,
-
- 1289, 1333, 1320, 1334, 1284, 1287, 1287, 1287, 1246, 1330,
- 1330, 1285, 1335, 1336, 1285, 1287, 1338, 1287, 1287, 1287,
- 1287, 1288, 1288, 1288, 1337, 1294, 1294, 1294, 1340, 1340,
- 1285, 1288, 1287, 1288, 1288, 1288, 1288, 1348, 1348, 1289,
- 1337, 1385, 1289, 1328, 1328, 1328, 1296, 1386, 1288, 1297,
- 1298, 1298, 1298, 1395, 1396, 1289, 1292, 1292, 1292, 1397,
- 1399, 1299, 1299, 1299, 1400, 1403, 1294, 1404, 1405, 1292,
- 1292, 1292, 1294, 1301, 1301, 1301, 1302, 1302, 1302, 1303,
- 1303, 1303, 1306, 1306, 1306, 1406, 1407, 1292, 1292, 1292,
- 1292, 1298, 1298, 1408, 1292, 1409, 1410, 1292, 1411, 1413,
-
- 1292, 1414, 1299, 1292, 1304, 1304, 1304, 1298, 1299, 1322,
- 1322, 1322, 812, 811, 1304, 810, 1304, 1304, 1304, 1304,
- 1303, 1303, 809, 1306, 808, 807, 1306, 804, 803, 802,
- 1301, 1304, 801, 1302, 799, 798, 1303, 797, 796, 1306,
- 1309, 1309, 1309, 795, 794, 793, 792, 1359, 1359, 1359,
- 1322, 791, 790, 1309, 1309, 1309, 1324, 1324, 1324, 1339,
- 1339, 1339, 789, 1326, 1326, 1326, 1322, 1341, 1341, 1341,
- 788, 1309, 1309, 1309, 1309, 774, 772, 768, 1309, 767,
- 766, 1309, 765, 764, 1309, 763, 762, 1309, 1323, 1323,
- 1323, 1359, 1342, 1342, 1342, 761, 760, 1324, 1323, 759,
-
- 1323, 1323, 1323, 1323, 1326, 1324, 758, 755, 1341, 1343,
- 1343, 1343, 1326, 1324, 748, 1323, 1339, 746, 745, 744,
- 1326, 1345, 1345, 1345, 1341, 743, 1349, 1349, 1349, 1323,
- 1325, 1325, 1325, 1342, 1347, 1347, 1347, 1350, 1350, 1350,
- 1325, 741, 1325, 1325, 1325, 1325, 737, 1343, 736, 1342,
- 1343, 1351, 1351, 1351, 1354, 1354, 1354, 1325, 735, 734,
- 733, 732, 1345, 1356, 1356, 1356, 1343, 730, 1345, 729,
- 728, 1325, 1344, 1344, 1344, 1347, 727, 726, 1345, 725,
- 724, 1347, 1344, 1349, 1344, 1344, 1344, 1344, 723, 721,
- 720, 1347, 1351, 1351, 1350, 1354, 1357, 1357, 1357, 1344,
-
- 719, 718, 717, 1354, 1356, 716, 715, 713, 1351, 712,
- 711, 1354, 710, 1344, 1346, 1346, 1346, 709, 708, 706,
- 1356, 701, 696, 694, 1346, 693, 1346, 1346, 1346, 1346,
- 692, 691, 689, 685, 684, 683, 682, 1357, 681, 680,
- 679, 1346, 678, 1357, 677, 676, 674, 672, 671, 670,
- 669, 668, 667, 1357, 666, 1346, 1352, 1352, 1352, 665,
- 664, 663, 662, 661, 660, 657, 1352, 649, 1352, 1352,
- 1352, 1352, 647, 646, 645, 644, 643, 642, 641, 640,
- 639, 638, 637, 1352, 636, 635, 634, 633, 632, 631,
- 630, 629, 628, 626, 625, 624, 623, 1352, 622, 621,
-
- 620, 619, 618, 617, 616, 614, 612, 611, 610, 609,
- 607, 603, 602, 1352, 1353, 1353, 1353, 595, 594, 593,
- 592, 591, 590, 589, 1353, 588, 1353, 1353, 1353, 1353,
- 587, 586, 585, 582, 581, 580, 579, 578, 577, 576,
- 575, 1353, 574, 573, 571, 570, 569, 568, 567, 566,
- 565, 564, 563, 561, 560, 1353, 559, 557, 556, 555,
- 554, 553, 552, 551, 550, 549, 546, 545, 544, 543,
- 542, 1353, 1355, 1355, 1355, 541, 540, 539, 538, 537,
- 535, 534, 1355, 533, 1355, 1355, 1355, 1355, 532, 531,
- 530, 529, 528, 526, 525, 516, 515, 514, 512, 1355,
-
- 511, 510, 509, 508, 507, 506, 505, 504, 503, 502,
- 500, 498, 497, 1355, 495, 494, 493, 492, 491, 490,
- 489, 488, 485, 484, 483, 482, 481, 480, 479, 1355,
- 1358, 1358, 1358, 478, 477, 476, 475, 474, 472, 471,
- 1358, 469, 1358, 1358, 1358, 1358, 468, 467, 466, 464,
- 463, 462, 461, 460, 459, 458, 457, 1358, 456, 454,
- 453, 452, 451, 450, 449, 448, 447, 446, 444, 443,
- 442, 1358, 441, 440, 439, 438, 436, 435, 434, 433,
- 432, 431, 430, 429, 428, 427, 426, 1358, 1361, 1361,
- 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361,
-
- 1361, 1362, 1362, 1362, 1362, 1362, 1362, 1362, 1362, 1362,
- 1362, 1362, 1362, 1362, 1363, 1363, 1363, 1363, 1363, 1363,
- 1363, 1363, 1363, 1363, 1363, 1363, 1363, 1364, 1364, 1364,
- 1364, 1364, 1364, 1364, 1364, 1364, 1364, 1364, 1364, 1364,
+ 102, 177, 177, 177, 178, 178, 178, 261, 102, 347,
+ 102, 347, 102, 102, 102, 188, 188, 188, 347, 102,
+ 261, 190, 190, 190, 203, 207, 203, 178, 192, 192,
+ 192, 207, 98, 209, 209, 209, 207, 306, 98, 245,
+ 245, 245, 306, 88, 298, 98, 95, 98, 207, 96,
+ 614, 190, 210, 210, 210, 308, 308, 188, 177, 190,
+
+ 298, 178, 192, 195, 195, 195, 614, 195, 212, 212,
+ 212, 466, 188, 195, 246, 246, 246, 774, 190, 203,
+ 195, 195, 195, 307, 307, 192, 466, 210, 209, 267,
+ 267, 267, 774, 210, 268, 268, 268, 835, 285, 285,
+ 210, 282, 210, 212, 320, 282, 282, 293, 329, 212,
+ 285, 691, 345, 307, 293, 345, 212, 320, 212, 293,
+ 691, 329, 341, 341, 341, 368, 380, 368, 345, 383,
+ 345, 370, 370, 368, 380, 386, 390, 390, 383, 446,
+ 368, 383, 380, 405, 405, 405, 267, 836, 386, 370,
+ 837, 268, 838, 446, 446, 438, 438, 438, 487, 487,
+
+ 487, 488, 488, 488, 500, 438, 390, 438, 438, 438,
+ 438, 839, 500, 502, 502, 502, 514, 514, 514, 341,
+ 522, 522, 438, 521, 521, 521, 514, 528, 514, 514,
+ 514, 514, 520, 520, 520, 528, 548, 841, 405, 842,
+ 548, 843, 520, 514, 520, 520, 520, 520, 559, 559,
+ 559, 488, 844, 487, 548, 563, 563, 563, 559, 520,
+ 559, 559, 559, 559, 573, 573, 573, 845, 502, 523,
+ 523, 523, 584, 584, 584, 559, 585, 585, 585, 597,
+ 597, 597, 523, 523, 523, 598, 598, 598, 849, 597,
+ 850, 597, 597, 597, 597, 599, 599, 605, 605, 605,
+
+ 523, 523, 523, 523, 606, 606, 597, 523, 703, 585,
+ 523, 856, 563, 523, 573, 703, 523, 607, 607, 616,
+ 616, 616, 602, 602, 602, 653, 653, 584, 600, 600,
+ 600, 602, 652, 652, 652, 858, 651, 651, 651, 688,
+ 688, 600, 600, 600, 689, 689, 651, 778, 651, 651,
+ 651, 651, 687, 687, 687, 696, 657, 657, 657, 600,
+ 600, 600, 600, 651, 704, 704, 600, 740, 740, 600,
+ 859, 696, 600, 741, 741, 600, 778, 602, 654, 654,
+ 654, 656, 656, 656, 659, 659, 659, 698, 698, 698,
+ 656, 654, 654, 654, 660, 660, 660, 674, 674, 674,
+
+ 699, 699, 699, 700, 700, 700, 705, 705, 705, 654,
+ 654, 654, 654, 657, 743, 860, 654, 779, 779, 654,
+ 660, 861, 654, 743, 748, 654, 786, 786, 698, 863,
+ 674, 698, 701, 701, 701, 865, 656, 706, 706, 706,
+ 748, 659, 701, 866, 701, 701, 701, 701, 739, 739,
+ 739, 750, 750, 750, 867, 699, 820, 820, 700, 701,
+ 751, 751, 751, 752, 752, 752, 753, 753, 753, 754,
+ 754, 754, 755, 755, 755, 868, 753, 869, 753, 753,
+ 753, 753, 757, 757, 757, 857, 780, 780, 780, 785,
+ 785, 785, 750, 753, 857, 750, 827, 827, 755, 781,
+
+ 781, 781, 870, 782, 782, 782, 854, 854, 757, 783,
+ 783, 783, 826, 826, 826, 751, 855, 855, 752, 821,
+ 821, 821, 830, 830, 830, 871, 754, 780, 873, 862,
+ 780, 822, 822, 822, 876, 823, 823, 823, 877, 878,
+ 781, 782, 879, 781, 782, 862, 881, 782, 830, 783,
+ 783, 883, 884, 783, 787, 787, 787, 832, 832, 832,
+ 821, 885, 886, 821, 824, 824, 824, 787, 787, 787,
+ 887, 888, 822, 823, 889, 822, 823, 891, 892, 823,
+ 834, 834, 834, 893, 894, 787, 787, 787, 787, 840,
+ 840, 840, 787, 898, 898, 787, 899, 899, 787, 900,
+
+ 902, 787, 903, 901, 824, 824, 904, 905, 824, 828,
+ 828, 828, 901, 907, 832, 909, 851, 851, 851, 853,
+ 853, 853, 828, 828, 828, 852, 852, 852, 915, 864,
+ 864, 864, 906, 916, 895, 895, 895, 834, 917, 918,
+ 828, 828, 828, 828, 840, 919, 922, 828, 906, 923,
+ 828, 924, 925, 828, 926, 927, 828, 851, 851, 928,
+ 851, 896, 896, 896, 929, 939, 852, 932, 932, 852,
+ 864, 940, 941, 864, 852, 895, 895, 944, 895, 897,
+ 897, 897, 908, 908, 908, 948, 864, 910, 910, 910,
+ 913, 913, 913, 920, 920, 920, 930, 930, 930, 936,
+
+ 952, 936, 896, 954, 955, 896, 921, 921, 921, 956,
+ 896, 931, 931, 931, 957, 958, 921, 960, 921, 921,
+ 921, 921, 961, 908, 964, 964, 908, 933, 933, 933,
+ 968, 971, 968, 921, 934, 934, 934, 930, 972, 908,
+ 930, 935, 935, 935, 910, 930, 973, 913, 920, 963,
+ 963, 963, 931, 974, 981, 931, 978, 978, 931, 962,
+ 962, 962, 982, 965, 965, 965, 984, 985, 933, 986,
+ 987, 933, 966, 966, 966, 934, 988, 991, 934, 935,
+ 992, 994, 935, 995, 933, 935, 967, 967, 967, 997,
+ 963, 934, 994, 963, 998, 993, 963, 999, 935, 993,
+
+ 962, 1002, 1004, 962, 965, 1005, 1006, 965, 962, 977,
+ 977, 977, 1007, 966, 1010, 1011, 966, 1014, 1015, 1016,
+ 965, 989, 989, 989, 967, 1013, 1021, 967, 1012, 966,
+ 967, 1023, 1012, 1018, 1018, 1018, 1013, 1019, 1019, 1008,
+ 1008, 1008, 1022, 967, 979, 979, 979, 1020, 1020, 1024,
+ 1025, 1022, 1026, 1027, 1028, 1030, 1032, 979, 979, 979,
+ 1033, 1034, 989, 1039, 1039, 989, 1042, 1043, 989, 1027,
+ 1029, 1029, 1029, 1044, 1046, 979, 979, 979, 979, 1048,
+ 1008, 1045, 979, 1008, 1044, 979, 1008, 1050, 979, 1051,
+ 1045, 979, 990, 990, 990, 1038, 1038, 1038, 1052, 1053,
+
+ 1058, 1058, 990, 1061, 990, 990, 990, 990, 1035, 1035,
+ 1035, 1029, 1062, 1066, 1029, 1037, 1037, 1037, 1035, 990,
+ 1035, 1035, 1035, 1035, 1057, 1057, 1057, 1029, 1067, 1074,
+ 1036, 1036, 1036, 990, 1087, 1035, 990, 1009, 1009, 1009,
+ 1036, 1089, 1036, 1036, 1036, 1036, 1072, 1009, 1072, 1009,
+ 1009, 1009, 1009, 1054, 1054, 1054, 1037, 1036, 1063, 1037,
+ 1055, 1055, 1055, 1054, 1009, 1054, 1054, 1054, 1054, 1063,
+ 1055, 1090, 1055, 1055, 1055, 1055, 1064, 1088, 1009, 1091,
+ 1054, 1009, 1040, 1040, 1040, 1064, 1088, 1055, 1092, 1056,
+ 1056, 1056, 1068, 1068, 1094, 1040, 1040, 1040, 1065, 1065,
+
+ 1065, 1069, 1069, 1069, 1080, 1080, 1080, 1081, 1081, 1084,
+ 1084, 1084, 1093, 1040, 1040, 1040, 1040, 1085, 1085, 1096,
+ 1040, 1086, 1086, 1040, 1097, 1100, 1040, 1101, 1093, 1040,
+ 1056, 1103, 1098, 1056, 1059, 1059, 1059, 1115, 1070, 1070,
+ 1070, 1098, 1069, 1109, 1109, 1069, 1117, 1059, 1059, 1059,
+ 1071, 1071, 1071, 1113, 1113, 1065, 1114, 1114, 1069, 1079,
+ 1079, 1079, 1108, 1108, 1108, 1059, 1059, 1059, 1059, 1112,
+ 1112, 1112, 1059, 1118, 1116, 1059, 1119, 1120, 1059, 1070,
+ 1122, 1059, 1070, 1116, 1124, 1121, 1125, 1130, 1071, 1132,
+ 1126, 1071, 1133, 1135, 1071, 1070, 1077, 1077, 1077, 1126,
+
+ 1079, 1121, 1141, 1079, 1135, 1143, 1077, 1071, 1077, 1077,
+ 1077, 1077, 1095, 1095, 1095, 1139, 1139, 1105, 1105, 1105,
+ 1107, 1107, 1107, 1077, 1082, 1082, 1082, 1105, 1144, 1105,
+ 1105, 1105, 1105, 1145, 1123, 1123, 1123, 1082, 1082, 1082,
+ 1128, 1128, 1128, 1134, 1105, 1140, 1140, 1134, 1136, 1136,
+ 1136, 1142, 1146, 1095, 1147, 1082, 1082, 1082, 1082, 1148,
+ 1142, 1107, 1082, 1154, 1107, 1082, 1150, 1150, 1082, 1162,
+ 1147, 1082, 1099, 1099, 1099, 1123, 1138, 1138, 1138, 1149,
+ 1149, 1149, 1099, 1169, 1099, 1099, 1099, 1099, 1151, 1151,
+ 1151, 1152, 1152, 1152, 1155, 1155, 1155, 1128, 1171, 1099,
+
+ 1153, 1153, 1153, 1172, 1155, 1136, 1155, 1155, 1155, 1155,
+ 1099, 1110, 1110, 1110, 1158, 1158, 1158, 1159, 1159, 1167,
+ 1167, 1155, 1168, 1168, 1110, 1110, 1110, 1170, 1173, 1151,
+ 1174, 1176, 1152, 1166, 1166, 1166, 1170, 1175, 1153, 1178,
+ 1178, 1153, 1110, 1110, 1110, 1110, 1157, 1157, 1157, 1110,
+ 1182, 1191, 1110, 1175, 1192, 1110, 1187, 1187, 1110, 1127,
+ 1127, 1127, 1177, 1177, 1177, 1156, 1156, 1156, 1196, 1127,
+ 1211, 1127, 1127, 1127, 1127, 1156, 1213, 1156, 1156, 1156,
+ 1156, 1179, 1179, 1179, 1214, 1193, 1127, 1157, 1215, 1194,
+ 1157, 1216, 1156, 1180, 1180, 1180, 1193, 1127, 1194, 1218,
+
+ 1185, 1185, 1185, 1157, 1160, 1160, 1160, 1212, 1181, 1181,
+ 1181, 1197, 1197, 1183, 1183, 1183, 1212, 1160, 1160, 1160,
+ 1205, 1205, 1179, 1183, 1235, 1183, 1183, 1183, 1183, 1186,
+ 1186, 1186, 1209, 1209, 1180, 1160, 1160, 1160, 1160, 1237,
+ 1183, 1185, 1160, 1238, 1185, 1160, 1181, 1217, 1160, 1181,
+ 1239, 1160, 1184, 1184, 1184, 1210, 1210, 1185, 1195, 1195,
+ 1195, 1240, 1184, 1217, 1184, 1184, 1184, 1184, 1198, 1198,
+ 1198, 1199, 1199, 1199, 1242, 1200, 1200, 1200, 1244, 1184,
+ 1188, 1188, 1188, 1204, 1204, 1204, 1208, 1208, 1208, 1245,
+ 1203, 1203, 1203, 1188, 1188, 1188, 1219, 1219, 1219, 1221,
+
+ 1221, 1222, 1222, 1222, 1223, 1223, 1223, 1224, 1224, 1224,
+ 1248, 1188, 1188, 1188, 1188, 1195, 1200, 1200, 1188, 1229,
+ 1229, 1188, 1233, 1233, 1188, 1234, 1234, 1188, 1201, 1201,
+ 1201, 1203, 1252, 1252, 1203, 1253, 1253, 1219, 1201, 1254,
+ 1201, 1201, 1201, 1201, 1228, 1228, 1228, 1203, 1224, 1224,
+ 1225, 1225, 1225, 1219, 1256, 1201, 1206, 1206, 1206, 1241,
+ 1225, 1257, 1225, 1225, 1225, 1225, 1232, 1232, 1232, 1206,
+ 1206, 1206, 1236, 1246, 1255, 1241, 1258, 1225, 1251, 1251,
+ 1251, 1236, 1246, 1255, 1259, 1260, 1261, 1206, 1206, 1206,
+ 1206, 1263, 1263, 1274, 1206, 1272, 1272, 1206, 1273, 1273,
+
+ 1206, 1260, 1276, 1206, 1220, 1220, 1220, 1220, 1220, 1220,
+ 1220, 1220, 1220, 1220, 1220, 1220, 1220, 1220, 1220, 1220,
+ 1220, 1220, 1220, 1220, 1220, 1220, 1220, 1220, 1220, 1220,
+ 1220, 1220, 1220, 1220, 1220, 1220, 1220, 1220, 1220, 1220,
+ 1220, 1220, 1220, 1220, 1220, 1220, 1220, 1220, 1220, 1220,
+ 1220, 1220, 1220, 1220, 1220, 1220, 1220, 1220, 1220, 1220,
+ 1277, 1220, 1220, 1220, 1227, 1227, 1227, 1278, 1243, 1243,
+ 1243, 1249, 1249, 1249, 1262, 1262, 1262, 1264, 1264, 1264,
+ 1271, 1271, 1271, 1279, 1280, 1265, 1265, 1265, 1275, 1266,
+ 1266, 1266, 1269, 1269, 1269, 1281, 1287, 1275, 1283, 1283,
+
+ 1280, 1282, 1282, 1282, 1315, 1227, 1292, 1292, 1227, 1243,
+ 1296, 1296, 1249, 1291, 1291, 1291, 1301, 1301, 1264, 1317,
+ 1249, 1227, 1230, 1230, 1230, 1243, 1265, 1266, 1309, 1309,
+ 1266, 1262, 1318, 1269, 1264, 1230, 1230, 1230, 1284, 1284,
+ 1284, 1269, 1265, 1308, 1308, 1308, 1266, 1285, 1285, 1285,
+ 1312, 1312, 1312, 1230, 1230, 1230, 1230, 1319, 1282, 1316,
+ 1230, 1313, 1313, 1230, 1314, 1314, 1230, 1320, 1316, 1230,
+ 1247, 1247, 1247, 1286, 1286, 1286, 1322, 1330, 1330, 1284,
+ 1247, 1332, 1247, 1247, 1247, 1247, 1321, 1333, 1285, 1297,
+ 1297, 1297, 1298, 1298, 1298, 1284, 1333, 1247, 1290, 1290,
+
+ 1290, 1334, 1321, 1335, 1285, 1288, 1288, 1288, 1247, 1331,
+ 1331, 1286, 1336, 1337, 1286, 1288, 1339, 1288, 1288, 1288,
+ 1288, 1289, 1289, 1289, 1338, 1295, 1295, 1295, 1341, 1341,
+ 1286, 1289, 1288, 1289, 1289, 1289, 1289, 1349, 1349, 1290,
+ 1338, 1386, 1290, 1329, 1329, 1329, 1297, 1387, 1289, 1298,
+ 1299, 1299, 1299, 1396, 1397, 1290, 1293, 1293, 1293, 1398,
+ 1400, 1300, 1300, 1300, 1401, 1404, 1295, 1405, 1406, 1293,
+ 1293, 1293, 1295, 1302, 1302, 1302, 1303, 1303, 1303, 1304,
+ 1304, 1304, 1307, 1307, 1307, 1407, 1408, 1293, 1293, 1293,
+ 1293, 1299, 1299, 1409, 1293, 1410, 1411, 1293, 1412, 1414,
+
+ 1293, 1415, 1300, 1293, 1305, 1305, 1305, 1299, 1300, 1323,
+ 1323, 1323, 813, 812, 1305, 811, 1305, 1305, 1305, 1305,
+ 1304, 1304, 810, 1307, 809, 808, 1307, 805, 804, 803,
+ 1302, 1305, 802, 1303, 800, 799, 1304, 798, 797, 1307,
+ 1310, 1310, 1310, 796, 795, 794, 793, 1360, 1360, 1360,
+ 1323, 792, 791, 1310, 1310, 1310, 1325, 1325, 1325, 1340,
+ 1340, 1340, 790, 1327, 1327, 1327, 1323, 1342, 1342, 1342,
+ 789, 1310, 1310, 1310, 1310, 775, 773, 769, 1310, 768,
+ 767, 1310, 766, 765, 1310, 764, 763, 1310, 1324, 1324,
+ 1324, 1360, 1343, 1343, 1343, 762, 761, 1325, 1324, 760,
+
+ 1324, 1324, 1324, 1324, 1327, 1325, 759, 756, 1342, 1344,
+ 1344, 1344, 1327, 1325, 749, 1324, 1340, 747, 746, 745,
+ 1327, 1346, 1346, 1346, 1342, 744, 1350, 1350, 1350, 1324,
+ 1326, 1326, 1326, 1343, 1348, 1348, 1348, 1351, 1351, 1351,
+ 1326, 742, 1326, 1326, 1326, 1326, 738, 1344, 737, 1343,
+ 1344, 1352, 1352, 1352, 1355, 1355, 1355, 1326, 736, 735,
+ 734, 733, 1346, 1357, 1357, 1357, 1344, 731, 1346, 730,
+ 729, 1326, 1345, 1345, 1345, 1348, 728, 727, 1346, 726,
+ 725, 1348, 1345, 1350, 1345, 1345, 1345, 1345, 724, 722,
+ 721, 1348, 1352, 1352, 1351, 1355, 1358, 1358, 1358, 1345,
+
+ 720, 719, 718, 1355, 1357, 717, 716, 714, 1352, 713,
+ 712, 1355, 711, 1345, 1347, 1347, 1347, 710, 709, 707,
+ 1357, 702, 697, 695, 1347, 694, 1347, 1347, 1347, 1347,
+ 693, 692, 690, 686, 685, 684, 683, 1358, 682, 681,
+ 680, 1347, 679, 1358, 678, 677, 675, 673, 672, 671,
+ 670, 669, 668, 1358, 667, 1347, 1353, 1353, 1353, 666,
+ 665, 664, 663, 662, 661, 658, 1353, 650, 1353, 1353,
+ 1353, 1353, 648, 647, 646, 645, 644, 643, 642, 641,
+ 640, 639, 638, 1353, 637, 636, 635, 634, 633, 632,
+ 631, 630, 629, 627, 626, 625, 624, 1353, 623, 622,
+
+ 621, 620, 619, 618, 617, 615, 613, 612, 611, 610,
+ 608, 604, 603, 1353, 1354, 1354, 1354, 596, 595, 594,
+ 593, 592, 591, 590, 1354, 589, 1354, 1354, 1354, 1354,
+ 588, 587, 586, 583, 582, 581, 580, 579, 578, 577,
+ 576, 1354, 575, 574, 572, 571, 570, 569, 568, 567,
+ 566, 565, 564, 562, 561, 1354, 560, 558, 557, 556,
+ 555, 554, 553, 552, 551, 550, 547, 546, 545, 544,
+ 543, 1354, 1356, 1356, 1356, 542, 541, 540, 539, 538,
+ 536, 535, 1356, 534, 1356, 1356, 1356, 1356, 533, 532,
+ 531, 530, 529, 527, 526, 517, 516, 515, 513, 1356,
+
+ 512, 511, 510, 509, 508, 507, 506, 505, 504, 503,
+ 501, 499, 498, 1356, 496, 495, 494, 493, 492, 491,
+ 490, 489, 486, 485, 484, 483, 482, 481, 480, 1356,
+ 1359, 1359, 1359, 479, 478, 477, 476, 475, 473, 472,
+ 1359, 470, 1359, 1359, 1359, 1359, 469, 468, 467, 465,
+ 464, 463, 462, 461, 460, 459, 458, 1359, 457, 455,
+ 454, 453, 452, 451, 450, 449, 448, 447, 445, 444,
+ 443, 1359, 442, 441, 440, 439, 437, 436, 435, 434,
+ 433, 432, 431, 430, 429, 428, 427, 1359, 1362, 1362,
+ 1362, 1362, 1362, 1362, 1362, 1362, 1362, 1362, 1362, 1362,
+
+ 1362, 1363, 1363, 1363, 1363, 1363, 1363, 1363, 1363, 1363,
+ 1363, 1363, 1363, 1363, 1364, 1364, 1364, 1364, 1364, 1364,
+ 1364, 1364, 1364, 1364, 1364, 1364, 1364, 1365, 1365, 1365,
1365, 1365, 1365, 1365, 1365, 1365, 1365, 1365, 1365, 1365,
- 1365, 1365, 1365, 1366, 1366, 1366, 1366, 1366, 1366, 1366,
- 1366, 1366, 1366, 1366, 1366, 1366, 1367, 1367, 1367, 1367,
- 1367, 1367, 1367, 1367, 1367, 1367, 1367, 1367, 1367, 1368,
- 1368, 1368, 1368, 1368, 1368, 1368, 1368, 1368, 1368, 1368,
- 1368, 1368, 1369, 1369, 1369, 1369, 1369, 1369, 1369, 1369,
-
- 1369, 1369, 1369, 1369, 1369, 1370, 1370, 1370, 1370, 1370,
- 1370, 1370, 1370, 1370, 1370, 1370, 1370, 1370, 1371, 1371,
- 1371, 1371, 1371, 1371, 1371, 1371, 1371, 1371, 1371, 1371,
- 1371, 1372, 1372, 1372, 1372, 1372, 1372, 1372, 1372, 1372,
- 1372, 1372, 1372, 1372, 1373, 1373, 1373, 1373, 1373, 1373,
- 1373, 1373, 1373, 1373, 1373, 1373, 1373, 1374, 1374, 1374,
- 1374, 1374, 1374, 1374, 1374, 1374, 1374, 1374, 1374, 1374,
+ 1366, 1366, 1366, 1366, 1366, 1366, 1366, 1366, 1366, 1366,
+ 1366, 1366, 1366, 1367, 1367, 1367, 1367, 1367, 1367, 1367,
+ 1367, 1367, 1367, 1367, 1367, 1367, 1368, 1368, 1368, 1368,
+ 1368, 1368, 1368, 1368, 1368, 1368, 1368, 1368, 1368, 1369,
+ 1369, 1369, 1369, 1369, 1369, 1369, 1369, 1369, 1369, 1369,
+ 1369, 1369, 1370, 1370, 1370, 1370, 1370, 1370, 1370, 1370,
+
+ 1370, 1370, 1370, 1370, 1370, 1371, 1371, 1371, 1371, 1371,
+ 1371, 1371, 1371, 1371, 1371, 1371, 1371, 1371, 1372, 1372,
+ 1372, 1372, 1372, 1372, 1372, 1372, 1372, 1372, 1372, 1372,
+ 1372, 1373, 1373, 1373, 1373, 1373, 1373, 1373, 1373, 1373,
+ 1373, 1373, 1373, 1373, 1374, 1374, 1374, 1374, 1374, 1374,
+ 1374, 1374, 1374, 1374, 1374, 1374, 1374, 1375, 1375, 1375,
1375, 1375, 1375, 1375, 1375, 1375, 1375, 1375, 1375, 1375,
- 1375, 1375, 1375, 1376, 1376, 1376, 1376, 1376, 1376, 1376,
- 1376, 1376, 1376, 1376, 1376, 1376, 1377, 1377, 1377, 1377,
-
- 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1377, 1378,
- 425, 424, 1378, 1378, 422, 1378, 1378, 1378, 1378, 1378,
- 1379, 421, 420, 1379, 1379, 1379, 1379, 1379, 1379, 1379,
- 1379, 1380, 1380, 419, 1380, 1380, 1380, 1380, 1380, 1380,
- 1380, 1380, 1380, 1380, 1381, 418, 417, 416, 1381, 1382,
- 415, 414, 1382, 1382, 1382, 1382, 1382, 1382, 1382, 1382,
- 413, 1382, 1383, 412, 1383, 1383, 1383, 1384, 1384, 1387,
- 411, 410, 1387, 1387, 1387, 1387, 1387, 1387, 1387, 1387,
- 1388, 409, 408, 1388, 1388, 1388, 1388, 1388, 1388, 1388,
- 1388, 1389, 1389, 1389, 1389, 1389, 1389, 1389, 1389, 1389,
-
- 1389, 407, 1389, 1389, 1390, 1390, 1390, 1390, 1390, 1390,
- 1390, 1390, 1390, 406, 1390, 1390, 1390, 1391, 1391, 1391,
- 1391, 1391, 1391, 1391, 1391, 1391, 1391, 1391, 1392, 405,
- 403, 402, 1392, 1393, 1393, 1394, 1394, 1394, 1394, 1394,
- 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1394, 1398, 401,
- 400, 398, 397, 1398, 1401, 396, 395, 394, 393, 1401,
- 1402, 1402, 1402, 1402, 1402, 1402, 1402, 1402, 1402, 1402,
- 392, 1402, 1402, 1412, 1412, 1412, 1412, 1412, 1412, 1412,
- 1412, 1412, 1412, 1412, 391, 1412, 390, 388, 387, 386,
- 384, 383, 381, 380, 378, 377, 376, 375, 374, 373,
-
- 372, 371, 370, 368, 366, 365, 364, 363, 362, 361,
- 360, 359, 358, 357, 356, 355, 354, 353, 351, 350,
- 349, 348, 347, 345, 342, 339, 338, 337, 336, 335,
- 334, 333, 332, 331, 330, 329, 327, 326, 325, 324,
- 322, 321, 320, 318, 317, 316, 315, 313, 312, 311,
- 310, 309, 308, 304, 303, 302, 301, 300, 299, 298,
- 296, 295, 294, 293, 291, 289, 288, 287, 286, 285,
- 283, 280, 279, 278, 277, 276, 275, 274, 273, 272,
- 271, 270, 269, 264, 262, 261, 259, 258, 257, 256,
- 254, 253, 251, 250, 249, 248, 246, 242, 238, 236,
-
- 234, 232, 231, 230, 229, 228, 226, 225, 223, 221,
- 220, 219, 218, 217, 215, 214, 213, 212, 203, 196,
- 192, 188, 184, 170, 169, 167, 161, 160, 159, 157,
+ 1376, 1376, 1376, 1376, 1376, 1376, 1376, 1376, 1376, 1376,
+ 1376, 1376, 1376, 1377, 1377, 1377, 1377, 1377, 1377, 1377,
+ 1377, 1377, 1377, 1377, 1377, 1377, 1378, 1378, 1378, 1378,
+
+ 1378, 1378, 1378, 1378, 1378, 1378, 1378, 1378, 1378, 1379,
+ 426, 425, 1379, 1379, 423, 1379, 1379, 1379, 1379, 1379,
+ 1380, 422, 421, 1380, 1380, 1380, 1380, 1380, 1380, 1380,
+ 1380, 1381, 1381, 420, 1381, 1381, 1381, 1381, 1381, 1381,
+ 1381, 1381, 1381, 1381, 1382, 419, 418, 417, 1382, 1383,
+ 416, 415, 1383, 1383, 1383, 1383, 1383, 1383, 1383, 1383,
+ 414, 1383, 1384, 413, 1384, 1384, 1384, 1385, 1385, 1388,
+ 412, 411, 1388, 1388, 1388, 1388, 1388, 1388, 1388, 1388,
+ 1389, 410, 409, 1389, 1389, 1389, 1389, 1389, 1389, 1389,
+ 1389, 1390, 1390, 1390, 1390, 1390, 1390, 1390, 1390, 1390,
+
+ 1390, 408, 1390, 1390, 1391, 1391, 1391, 1391, 1391, 1391,
+ 1391, 1391, 1391, 407, 1391, 1391, 1391, 1392, 1392, 1392,
+ 1392, 1392, 1392, 1392, 1392, 1392, 1392, 1392, 1393, 406,
+ 404, 403, 1393, 1394, 1394, 1395, 1395, 1395, 1395, 1395,
+ 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1395, 1399, 402,
+ 401, 399, 398, 1399, 1402, 397, 396, 395, 394, 1402,
+ 1403, 1403, 1403, 1403, 1403, 1403, 1403, 1403, 1403, 1403,
+ 393, 1403, 1403, 1413, 1413, 1413, 1413, 1413, 1413, 1413,
+ 1413, 1413, 1413, 1413, 392, 1413, 391, 389, 388, 387,
+ 385, 384, 382, 381, 379, 378, 377, 376, 375, 374,
+
+ 373, 372, 371, 369, 367, 366, 365, 364, 363, 362,
+ 361, 360, 359, 358, 357, 356, 355, 354, 352, 351,
+ 350, 349, 348, 346, 343, 340, 339, 338, 337, 336,
+ 335, 334, 333, 332, 331, 330, 328, 327, 326, 325,
+ 323, 322, 321, 319, 318, 317, 316, 314, 313, 312,
+ 311, 310, 309, 305, 304, 303, 302, 301, 300, 299,
+ 297, 296, 295, 294, 292, 290, 289, 288, 287, 286,
+ 284, 281, 280, 279, 278, 277, 276, 275, 274, 273,
+ 272, 271, 270, 265, 263, 262, 260, 259, 258, 257,
+ 255, 254, 252, 251, 250, 249, 247, 243, 239, 237,
+
+ 235, 233, 232, 231, 230, 229, 227, 226, 224, 222,
+ 221, 220, 219, 218, 216, 215, 214, 213, 204, 197,
+ 193, 189, 185, 170, 169, 167, 161, 160, 159, 157,
156, 155, 154, 153, 151, 149, 147, 145, 144, 143,
142, 141, 135, 124, 120, 117, 114, 109, 108, 103,
93, 82, 80, 78, 77, 76, 74, 73, 72, 70,
68, 62, 58, 55, 52, 45, 42, 41, 34, 33,
- 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360,
- 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360,
- 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360,
-
- 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360,
- 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360,
- 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360, 1360,
- 1360
+ 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361,
+ 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361,
+ 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361,
+
+ 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361,
+ 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361,
+ 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361, 1361,
+ 1361
} ;
static yy_state_type yy_last_accepting_state;
@@ -1834,10 +1835,10 @@ int fIsColumn0 = 1; /* Are we at the begining of a line? */
int csb = 0; /* depth of flex context stack */
#endif /* FLEX_SCANNER */
-#line 1837 "lex.yy.c"
-
#line 1839 "lex.yy.c"
+#line 1841 "lex.yy.c"
+
#define INITIAL 0
#define Define 1
#define Display 2
@@ -1868,7 +1869,7 @@ int csb = 0; /* depth of flex context stack */
*/
#include <unistd.h>
#endif
-
+
#ifndef YY_EXTRA_TYPE
#define YY_EXTRA_TYPE void *
#endif
@@ -2074,7 +2075,7 @@ YY_DECL
{
#line 208 "detex.l"
-#line 2077 "lex.yy.c"
+#line 2079 "lex.yy.c"
while ( /*CONSTCOND*/1 ) /* loops until end-of-file is reached */
{
@@ -2101,13 +2102,13 @@ yy_match:
while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
{
yy_current_state = (int) yy_def[yy_current_state];
- if ( yy_current_state >= 1361 )
+ if ( yy_current_state >= 1362 )
yy_c = yy_meta[yy_c];
}
yy_current_state = yy_nxt[yy_base[yy_current_state] + yy_c];
++yy_cp;
}
- while ( yy_current_state != 1360 );
+ while ( yy_current_state != 1361 );
yy_cp = (yy_last_accepting_cpos);
yy_current_state = (yy_last_accepting_state);
@@ -2867,133 +2868,138 @@ YY_RULE_SETUP
putchar('/');
YY_BREAK
case 132:
-/* rule 132 can match eol */
YY_RULE_SETUP
-#line 427 "detex.l"
-/* handle ligatures */ {(void)printf("%.2s", yytext+1);}
+#line 426 "detex.l"
+putchar('%');
YY_BREAK
case 133:
/* rule 133 can match eol */
YY_RULE_SETUP
#line 428 "detex.l"
-{(void)printf("%.1s", yytext+1);}
+/* handle ligatures */ {(void)printf("%.2s", yytext+1);}
YY_BREAK
case 134:
+/* rule 134 can match eol */
YY_RULE_SETUP
#line 429 "detex.l"
-{NEWLINE;} /*BEGIN LaBreak;*/
+{(void)printf("%.1s", yytext+1);}
YY_BREAK
case 135:
YY_RULE_SETUP
-#line 431 "detex.l"
-/* ignore other \cs */ {BEGIN Control; IGNORE;}
+#line 430 "detex.l"
+{NEWLINE;} /*BEGIN LaBreak;*/
YY_BREAK
case 136:
YY_RULE_SETUP
#line 432 "detex.l"
-SPACE;
+/* ignore other \cs */ {BEGIN Control; IGNORE;}
YY_BREAK
case 137:
-/* rule 137 can match eol */
YY_RULE_SETUP
#line 433 "detex.l"
-NEWLINE;
+SPACE;
YY_BREAK
case 138:
+/* rule 138 can match eol */
YY_RULE_SETUP
#line 434 "detex.l"
-IGNORE;
+NEWLINE;
YY_BREAK
case 139:
YY_RULE_SETUP
#line 435 "detex.l"
+IGNORE;
+ YY_BREAK
+case 140:
+YY_RULE_SETUP
+#line 436 "detex.l"
{ if (yytext==NULL || strlen(yytext)==0
|| atoi(yytext)>=0)
NEWLINE;
BEGIN Normal;
}
YY_BREAK
-case 140:
-YY_RULE_SETUP
-#line 441 "detex.l"
-IGNORE;
- YY_BREAK
case 141:
YY_RULE_SETUP
#line 442 "detex.l"
IGNORE;
YY_BREAK
case 142:
-/* rule 142 can match eol */
YY_RULE_SETUP
#line 443 "detex.l"
-{BEGIN Normal; /*NEWLINE;*/}
+IGNORE;
YY_BREAK
case 143:
+/* rule 143 can match eol */
YY_RULE_SETUP
#line 444 "detex.l"
-{++currBracesLevel;BEGIN Normal; IGNORE;}
+{BEGIN Normal; /*NEWLINE;*/}
YY_BREAK
case 144:
YY_RULE_SETUP
#line 445 "detex.l"
-{BEGIN Normal; IGNORE;}
+{++currBracesLevel;BEGIN Normal; IGNORE;}
YY_BREAK
case 145:
YY_RULE_SETUP
#line 446 "detex.l"
-{yyless(0);BEGIN Normal;}
+{BEGIN Normal; IGNORE;}
YY_BREAK
case 146:
YY_RULE_SETUP
-#line 448 "detex.l"
-/* special characters */ IGNORE;
+#line 447 "detex.l"
+{yyless(0);BEGIN Normal;}
YY_BREAK
case 147:
YY_RULE_SETUP
#line 449 "detex.l"
-IGNORE;
+/* special characters */ IGNORE;
YY_BREAK
case 148:
YY_RULE_SETUP
#line 450 "detex.l"
-SPACE;
+IGNORE;
YY_BREAK
case 149:
YY_RULE_SETUP
#line 451 "detex.l"
-putchar('-');
+SPACE;
YY_BREAK
case 150:
YY_RULE_SETUP
#line 452 "detex.l"
-putchar('"');
+putchar('-');
YY_BREAK
case 151:
YY_RULE_SETUP
#line 453 "detex.l"
-putchar('\'');
+putchar('"');
YY_BREAK
case 152:
YY_RULE_SETUP
#line 454 "detex.l"
-putchar('"');
+putchar('\'');
YY_BREAK
case 153:
YY_RULE_SETUP
#line 455 "detex.l"
putchar('"');
YY_BREAK
-/* braces */
case 154:
YY_RULE_SETUP
-#line 458 "detex.l"
+#line 456 "detex.l"
+putchar('"');
+ YY_BREAK
+/* braces */
+case 155:
+YY_RULE_SETUP
+#line 459 "detex.l"
{ ++currBracesLevel;
}
YY_BREAK
-case 155:
+case 156:
YY_RULE_SETUP
-#line 460 "detex.l"
+#line 461 "detex.l"
{
--currBracesLevel;
if (currBracesLevel == footnoteLevel) {
@@ -3002,50 +3008,50 @@ YY_RULE_SETUP
}
}
YY_BREAK
-case 156:
+case 157:
YY_RULE_SETUP
-#line 467 "detex.l"
+#line 468 "detex.l"
{ if (fWord)
(void)printf("%s\n", yytext);
else
ECHO;
}
YY_BREAK
-case 157:
-YY_RULE_SETUP
-#line 472 "detex.l"
-if (!fWord) ECHO;
- YY_BREAK
case 158:
YY_RULE_SETUP
#line 473 "detex.l"
-{ INCRLINENO; if (!fWord) ECHO; }
+if (!fWord) ECHO;
YY_BREAK
case 159:
-/* rule 159 can match eol */
YY_RULE_SETUP
#line 474 "detex.l"
-{ if (!fWord) NEWLINE; }
+{ INCRLINENO; if (!fWord) ECHO; }
YY_BREAK
case 160:
+/* rule 160 can match eol */
YY_RULE_SETUP
#line 475 "detex.l"
-if (!fWord) putchar('\t');
+{ if (!fWord) NEWLINE; }
YY_BREAK
case 161:
YY_RULE_SETUP
-#line 477 "detex.l"
-{ BEGIN LaOptArg; }
+#line 476 "detex.l"
+if (!fWord) putchar('\t');
YY_BREAK
case 162:
YY_RULE_SETUP
#line 478 "detex.l"
-{ cOpenBrace++; }
+{ BEGIN LaOptArg; }
YY_BREAK
case 163:
-/* rule 163 can match eol */
YY_RULE_SETUP
#line 479 "detex.l"
+{ cOpenBrace++; }
+ YY_BREAK
+case 164:
+/* rule 164 can match eol */
+YY_RULE_SETUP
+#line 480 "detex.l"
{ cOpenBrace--; INCRLINENO;
if (cOpenBrace == 0)
{
@@ -3054,30 +3060,30 @@ YY_RULE_SETUP
}
}
YY_BREAK
-case 164:
-YY_RULE_SETUP
-#line 486 "detex.l"
-;
- YY_BREAK
case 165:
YY_RULE_SETUP
#line 487 "detex.l"
-BEGIN LaMacro;
+;
YY_BREAK
case 166:
-/* rule 166 can match eol */
YY_RULE_SETUP
#line 488 "detex.l"
-;
+BEGIN LaMacro;
YY_BREAK
case 167:
+/* rule 167 can match eol */
YY_RULE_SETUP
-#line 490 "detex.l"
-{ BEGIN LaOptArg2; }
+#line 489 "detex.l"
+;
YY_BREAK
case 168:
YY_RULE_SETUP
#line 491 "detex.l"
+{ BEGIN LaOptArg2; }
+ YY_BREAK
+case 169:
+YY_RULE_SETUP
+#line 492 "detex.l"
{ if (cOpenBrace == 0)
{
if (--cArgs==0)
@@ -3089,32 +3095,32 @@ YY_RULE_SETUP
cOpenBrace++;
}
YY_BREAK
-case 169:
-YY_RULE_SETUP
-#line 501 "detex.l"
-{ cOpenBrace--; }
- YY_BREAK
case 170:
YY_RULE_SETUP
#line 502 "detex.l"
-;
+{ cOpenBrace--; }
YY_BREAK
case 171:
YY_RULE_SETUP
#line 503 "detex.l"
-BEGIN LaMacro2;
+;
YY_BREAK
case 172:
YY_RULE_SETUP
#line 504 "detex.l"
-;
+BEGIN LaMacro2;
YY_BREAK
case 173:
YY_RULE_SETUP
#line 505 "detex.l"
+;
+ YY_BREAK
+case 174:
+YY_RULE_SETUP
+#line 506 "detex.l"
ECHO;
YY_BREAK
-#line 3117 "lex.yy.c"
+#line 3124 "lex.yy.c"
case YY_STATE_EOF(INITIAL):
case YY_STATE_EOF(Define):
case YY_STATE_EOF(Display):
@@ -3433,7 +3439,7 @@ static int yy_get_next_buffer (void)
while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
{
yy_current_state = (int) yy_def[yy_current_state];
- if ( yy_current_state >= 1361 )
+ if ( yy_current_state >= 1362 )
yy_c = yy_meta[yy_c];
}
yy_current_state = yy_nxt[yy_base[yy_current_state] + yy_c];
@@ -3461,11 +3467,11 @@ static int yy_get_next_buffer (void)
while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
{
yy_current_state = (int) yy_def[yy_current_state];
- if ( yy_current_state >= 1361 )
+ if ( yy_current_state >= 1362 )
yy_c = yy_meta[yy_c];
}
yy_current_state = yy_nxt[yy_base[yy_current_state] + yy_c];
- yy_is_jam = (yy_current_state == 1360);
+ yy_is_jam = (yy_current_state == 1361);
return yy_is_jam ? 0 : yy_current_state;
}
@@ -4104,7 +4110,7 @@ void yyfree (void * ptr )
#define YYTABLES_NAME "yytables"
-#line 505 "detex.l"
+#line 506 "detex.l"
/******
diff --git a/Build/source/texk/detex/detex-src/detex.l b/Build/source/texk/detex/detex-src/detex.l
index 02f6db80546..0b0590a97ff 100644
--- a/Build/source/texk/detex/detex-src/detex.l
+++ b/Build/source/texk/detex/detex-src/detex.l
@@ -423,6 +423,7 @@ VERBSYMBOL =|\\leq|\\geq|\\in|>|<|\\subseteq|\subseteq|\\subset|\\supset|\\sim|\
/* escaping commands */
<Normal>"\\slash" putchar('/');
+<Normal>"\\%" putchar('%');
<Normal>\\(aa|AA|ae|AE|oe|OE|ss)[ \t]*[ \t\n}] /* handle ligatures */ {(void)printf("%.2s", yytext+1);}
<Normal>\\[OoijLl][ \t]*[ \t\n}] {(void)printf("%.1s", yytext+1);}