Skip to content

Commit 7f3a204

Browse files
knutwannhedenknutwannheden
authored
rewrite-xml: support HTML void elements in JSP/HTML parsing (#7906)
JSP and HTML sources are parsed by the XML grammar, whose `element` rule only accepted fully-closed (`<a>…</a>`) and self-closing (`<a/>`) tags. An HTML void element written without a slash (e.g. `<br>`) was parsed as the start of a normal element; ANTLR error recovery then mangled the tree, the reprint no longer matched the input, and the whole file was downgraded to a ParseError. Add HTML void-element support, enabled only for HTML-like sources (.jsp/.jspx/.html/.htm) so strict XML parsing is unaffected: - the grammar gains a void-element alternative gated by a semantic predicate, plus an empty `voidClose` marker rule to detect it - htmlMode and isVoidElement live in a hand-written XMLParserBase wired via the grammar's superClass option, keeping the .g4 free of target-specific members so the C# generation is not broken - void tags carry an HtmlVoidElement marker so the printer emits a bare `>` instead of `/>`
1 parent 3ada955 commit 7f3a204

13 files changed

Lines changed: 608 additions & 281 deletions

File tree

‎rewrite-xml/src/main/antlr/XMLParser.g4‎

Lines changed: 18 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -29,7 +29,12 @@
2929
/** XML parser derived from ANTLR v4 ref guide book example */
3030
parser grammar XMLParser;
3131

32-
options { tokenVocab=XMLLexer; }
32+
// This grammar is generated for multiple targets (Java into rewrite-xml, C# into rewrite-csharp), so
33+
// it must not contain target-specific members. The htmlMode flag and isVoidElement(...) referenced by
34+
// the void-element predicate below live in a hand-written superclass provided per target:
35+
// - Java: org.openrewrite.xml.internal.grammar.XMLParserBase
36+
// - C#: OpenRewrite.Xml.Grammar.XMLParserBase (must be supplied when regenerating the C# sources)
37+
options { tokenVocab=XMLLexer; superClass=XMLParserBase; }
3338

3439
document
3540
: UTF_ENCODING_BOM? prolog element?
@@ -77,8 +82,18 @@ content
7782
jspscriptlet | jspexpression | jspdeclaration | jspcomment | chardata) ;
7883

7984
element
80-
: OPEN Name attribute* CLOSE content* OPEN '/' Name CLOSE
81-
| OPEN Name attribute* '/>'
85+
: OPEN name=Name attribute*
86+
( '/>'
87+
| CLOSE
88+
( {isVoidElement($name.text)}? voidClose // HTML void element, e.g. <br> with no closing tag
89+
| content* OPEN '/' Name CLOSE
90+
)
91+
)
92+
;
93+
94+
// Empty marker rule, present in the parse tree only when an HTML void element was matched.
95+
voidClose
96+
:
8297
;
8398

8499
jspdirective

‎rewrite-xml/src/main/java/org/openrewrite/xml/XmlParser.java‎

Lines changed: 13 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -92,6 +92,7 @@ public Stream<SourceFile> parseInputs(Iterable<Input> sourceFiles, @Nullable Pat
9292
lexer.addErrorListener(new ForwardingErrorListener(input.getPath(), ctx));
9393

9494
XMLParser parser = new XMLParser(new CommonTokenStream(lexer));
95+
parser.htmlMode = isHtmlLike(path);
9596
parser.removeErrorListeners();
9697
parser.addErrorListener(new ForwardingErrorListener(input.getPath(), ctx));
9798

@@ -116,6 +117,18 @@ public Stream<SourceFile> parse(@Language("xml") String... sources) {
116117
return parse(new InMemoryExecutionContext(), sources);
117118
}
118119

120+
/**
121+
* Whether unclosed HTML void elements (e.g. {@code <br>}) should be tolerated for the given path.
122+
* Enabled for HTML-like sources where void elements are idiomatically written without a slash.
123+
*/
124+
private static boolean isHtmlLike(@Nullable Path path) {
125+
if (path == null) {
126+
return false;
127+
}
128+
String p = path.toString().toLowerCase();
129+
return p.endsWith(".jsp") || p.endsWith(".jspx") || p.endsWith(".html") || p.endsWith(".htm");
130+
}
131+
119132
@Override
120133
public boolean accept(Path path) {
121134
String p = path.toString();

‎rewrite-xml/src/main/java/org/openrewrite/xml/internal/XmlParserVisitor.java‎

Lines changed: 11 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -24,6 +24,7 @@
2424
import org.openrewrite.marker.Markers;
2525
import org.openrewrite.xml.internal.grammar.XMLParser;
2626
import org.openrewrite.xml.internal.grammar.XMLParserBaseVisitor;
27+
import org.openrewrite.xml.marker.HtmlVoidElement;
2728
import org.openrewrite.xml.tree.Content;
2829
import org.openrewrite.xml.tree.Misc;
2930
import org.openrewrite.xml.tree.Xml;
@@ -331,10 +332,19 @@ public Xml.Tag visitElement(XMLParser.ElementContext ctx) {
331332
List<Content> content = null;
332333
String beforeTagDelimiterPrefix;
333334
Xml.Tag.Closing closeTag = null;
335+
Markers markers = Markers.EMPTY;
334336

335337
if (ctx.SLASH_CLOSE() != null) {
336338
beforeTagDelimiterPrefix = prefix(ctx.SLASH_CLOSE());
337339
advanceCursor(ctx.SLASH_CLOSE().getSymbol().getStopIndex() + 1);
340+
} else if (ctx.voidClose() != null) {
341+
// HTML void element written without a self-closing slash, e.g. <br>.
342+
// It has no content and no closing tag, but prints with a bare '>'.
343+
beforeTagDelimiterPrefix = ctx.CLOSE(0) == null ? "" : prefix(ctx.CLOSE(0));
344+
if (ctx.CLOSE(0) != null) {
345+
advanceCursor(ctx.CLOSE(0).getSymbol().getStopIndex() + 1);
346+
}
347+
markers = markers.add(new HtmlVoidElement(randomId()));
338348
} else {
339349
beforeTagDelimiterPrefix = ctx.CLOSE(0) == null ? "" : prefix(ctx.CLOSE(0));
340350
if (ctx.CLOSE(0) != null) {
@@ -367,7 +377,7 @@ public Xml.Tag visitElement(XMLParser.ElementContext ctx) {
367377
}
368378
}
369379

370-
return new Xml.Tag(randomId(), prefix, Markers.EMPTY, name, attributes,
380+
return new Xml.Tag(randomId(), prefix, markers, name, attributes,
371381
content, closeTag, beforeTagDelimiterPrefix);
372382
}
373383
);

‎rewrite-xml/src/main/java/org/openrewrite/xml/internal/XmlPrinter.java‎

Lines changed: 5 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -19,6 +19,7 @@
1919
import org.openrewrite.PrintOutputCapture;
2020
import org.openrewrite.marker.Marker;
2121
import org.openrewrite.xml.XmlVisitor;
22+
import org.openrewrite.xml.marker.HtmlVoidElement;
2223
import org.openrewrite.xml.tree.Xml;
2324

2425
import java.util.function.UnaryOperator;
@@ -68,7 +69,10 @@ public Xml visitTag(Xml.Tag tag, PrintOutputCapture<P> p) {
6869
p.append(tag.getName());
6970
visit(tag.getAttributes(), p);
7071
p.append(tag.getBeforeTagDelimiterPrefix());
71-
if (tag.getClosing() == null) {
72+
if (tag.getMarkers().findFirst(HtmlVoidElement.class).isPresent()) {
73+
// HTML void element such as <br> printed with a bare '>' (no slash, no closing tag).
74+
p.append('>');
75+
} else if (tag.getClosing() == null) {
7276
p.append("/>");
7377
} else {
7478
p.append('>');

‎rewrite-xml/src/main/java/org/openrewrite/xml/internal/grammar/XMLParser.interp‎

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -101,6 +101,7 @@ externalid
101101
processinginstruction
102102
content
103103
element
104+
voidClose
104105
jspdirective
105106
jspscriptlet
106107
jspexpression
@@ -112,4 +113,4 @@ chardata
112113

113114

114115
atn:
115-
[4, 1, 42, 211, 2, 0, 7, 0, 2, 1, 7, 1, 2, 2, 7, 2, 2, 3, 7, 3, 2, 4, 7, 4, 2, 5, 7, 5, 2, 6, 7, 6, 2, 7, 7, 7, 2, 8, 7, 8, 2, 9, 7, 9, 2, 10, 7, 10, 2, 11, 7, 11, 2, 12, 7, 12, 2, 13, 7, 13, 2, 14, 7, 14, 2, 15, 7, 15, 2, 16, 7, 16, 2, 17, 7, 17, 2, 18, 7, 18, 2, 19, 7, 19, 1, 0, 3, 0, 42, 8, 0, 1, 0, 1, 0, 3, 0, 46, 8, 0, 1, 1, 3, 1, 49, 8, 1, 1, 1, 5, 1, 52, 8, 1, 10, 1, 12, 1, 55, 9, 1, 1, 1, 5, 1, 58, 8, 1, 10, 1, 12, 1, 61, 9, 1, 1, 2, 1, 2, 5, 2, 65, 8, 2, 10, 2, 12, 2, 68, 9, 2, 1, 2, 1, 2, 1, 3, 1, 3, 1, 3, 1, 3, 1, 3, 3, 3, 77, 8, 3, 1, 4, 1, 4, 1, 4, 1, 4, 1, 4, 5, 4, 84, 8, 4, 10, 4, 12, 4, 87, 9, 4, 1, 4, 1, 4, 1, 4, 1, 4, 3, 4, 93, 8, 4, 1, 4, 1, 4, 1, 5, 1, 5, 5, 5, 99, 8, 5, 10, 5, 12, 5, 102, 9, 5, 1, 6, 1, 6, 5, 6, 106, 8, 6, 10, 6, 12, 6, 109, 9, 6, 1, 6, 5, 6, 112, 8, 6, 10, 6, 12, 6, 115, 9, 6, 1, 6, 5, 6, 118, 8, 6, 10, 6, 12, 6, 121, 9, 6, 1, 6, 1, 6, 1, 6, 3, 6, 126, 8, 6, 1, 7, 1, 7, 1, 8, 3, 8, 131, 8, 8, 1, 9, 1, 9, 4, 9, 135, 8, 9, 11, 9, 12, 9, 136, 1, 9, 1, 9, 1, 10, 1, 10, 1, 10, 1, 10, 1, 10, 1, 10, 1, 10, 1, 10, 1, 10, 1, 10, 3, 10, 151, 8, 10, 1, 11, 1, 11, 1, 11, 5, 11, 156, 8, 11, 10, 11, 12, 11, 159, 9, 11, 1, 11, 1, 11, 5, 11, 163, 8, 11, 10, 11, 12, 11, 166, 9, 11, 1, 11, 1, 11, 1, 11, 1, 11, 1, 11, 1, 11, 1, 11, 5, 11, 175, 8, 11, 10, 11, 12, 11, 178, 9, 11, 1, 11, 3, 11, 181, 8, 11, 1, 12, 1, 12, 1, 12, 1, 12, 5, 12, 187, 8, 12, 10, 12, 12, 12, 190, 9, 12, 1, 12, 1, 12, 1, 12, 1, 13, 1, 13, 1, 14, 1, 14, 1, 15, 1, 15, 1, 16, 1, 16, 1, 17, 1, 17, 1, 18, 1, 18, 1, 18, 1, 18, 1, 19, 1, 19, 1, 19, 0, 0, 20, 0, 2, 4, 6, 8, 10, 12, 14, 16, 18, 20, 22, 24, 26, 28, 30, 32, 34, 36, 38, 0, 3, 1, 0, 28, 29, 1, 0, 5, 6, 3, 0, 7, 7, 9, 9, 18, 18, 225, 0, 41, 1, 0, 0, 0, 2, 48, 1, 0, 0, 0, 4, 62, 1, 0, 0, 0, 6, 76, 1, 0, 0, 0, 8, 78, 1, 0, 0, 0, 10, 100, 1, 0, 0, 0, 12, 125, 1, 0, 0, 0, 14, 127, 1, 0, 0, 0, 16, 130, 1, 0, 0, 0, 18, 132, 1, 0, 0, 0, 20, 150, 1, 0, 0, 0, 22, 180, 1, 0, 0, 0, 24, 182, 1, 0, 0, 0, 26, 194, 1, 0, 0, 0, 28, 196, 1, 0, 0, 0, 30, 198, 1, 0, 0, 0, 32, 200, 1, 0, 0, 0, 34, 202, 1, 0, 0, 0, 36, 204, 1, 0, 0, 0, 38, 208, 1, 0, 0, 0, 40, 42, 5, 8, 0, 0, 41, 40, 1, 0, 0, 0, 41, 42, 1, 0, 0, 0, 42, 43, 1, 0, 0, 0, 43, 45, 3, 2, 1, 0, 44, 46, 3, 22, 11, 0, 45, 44, 1, 0, 0, 0, 45, 46, 1, 0, 0, 0, 46, 1, 1, 0, 0, 0, 47, 49, 3, 4, 2, 0, 48, 47, 1, 0, 0, 0, 48, 49, 1, 0, 0, 0, 49, 53, 1, 0, 0, 0, 50, 52, 3, 6, 3, 0, 51, 50, 1, 0, 0, 0, 52, 55, 1, 0, 0, 0, 53, 51, 1, 0, 0, 0, 53, 54, 1, 0, 0, 0, 54, 59, 1, 0, 0, 0, 55, 53, 1, 0, 0, 0, 56, 58, 3, 24, 12, 0, 57, 56, 1, 0, 0, 0, 58, 61, 1, 0, 0, 0, 59, 57, 1, 0, 0, 0, 59, 60, 1, 0, 0, 0, 60, 3, 1, 0, 0, 0, 61, 59, 1, 0, 0, 0, 62, 66, 5, 10, 0, 0, 63, 65, 3, 36, 18, 0, 64, 63, 1, 0, 0, 0, 65, 68, 1, 0, 0, 0, 66, 64, 1, 0, 0, 0, 66, 67, 1, 0, 0, 0, 67, 69, 1, 0, 0, 0, 68, 66, 1, 0, 0, 0, 69, 70, 5, 34, 0, 0, 70, 5, 1, 0, 0, 0, 71, 77, 5, 2, 0, 0, 72, 77, 3, 8, 4, 0, 73, 77, 3, 18, 9, 0, 74, 77, 3, 30, 15, 0, 75, 77, 3, 32, 16, 0, 76, 71, 1, 0, 0, 0, 76, 72, 1, 0, 0, 0, 76, 73, 1, 0, 0, 0, 76, 74, 1, 0, 0, 0, 76, 75, 1, 0, 0, 0, 77, 7, 1, 0, 0, 0, 78, 79, 5, 13, 0, 0, 79, 80, 5, 22, 0, 0, 80, 81, 5, 42, 0, 0, 81, 85, 3, 16, 8, 0, 82, 84, 5, 41, 0, 0, 83, 82, 1, 0, 0, 0, 84, 87, 1, 0, 0, 0, 85, 83, 1, 0, 0, 0, 85, 86, 1, 0, 0, 0, 86, 92, 1, 0, 0, 0, 87, 85, 1, 0, 0, 0, 88, 89, 5, 20, 0, 0, 89, 90, 3, 10, 5, 0, 90, 91, 5, 23, 0, 0, 91, 93, 1, 0, 0, 0, 92, 88, 1, 0, 0, 0, 92, 93, 1, 0, 0, 0, 93, 94, 1, 0, 0, 0, 94, 95, 5, 19, 0, 0, 95, 9, 1, 0, 0, 0, 96, 99, 3, 12, 6, 0, 97, 99, 3, 14, 7, 0, 98, 96, 1, 0, 0, 0, 98, 97, 1, 0, 0, 0, 99, 102, 1, 0, 0, 0, 100, 98, 1, 0, 0, 0, 100, 101, 1, 0, 0, 0, 101, 11, 1, 0, 0, 0, 102, 100, 1, 0, 0, 0, 103, 107, 5, 24, 0, 0, 104, 106, 7, 0, 0, 0, 105, 104, 1, 0, 0, 0, 106, 109, 1, 0, 0, 0, 107, 105, 1, 0, 0, 0, 107, 108, 1, 0, 0, 0, 108, 113, 1, 0, 0, 0, 109, 107, 1, 0, 0, 0, 110, 112, 5, 30, 0, 0, 111, 110, 1, 0, 0, 0, 112, 115, 1, 0, 0, 0, 113, 111, 1, 0, 0, 0, 113, 114, 1, 0, 0, 0, 114, 119, 1, 0, 0, 0, 115, 113, 1, 0, 0, 0, 116, 118, 7, 0, 0, 0, 117, 116, 1, 0, 0, 0, 118, 121, 1, 0, 0, 0, 119, 117, 1, 0, 0, 0, 119, 120, 1, 0, 0, 0, 120, 122, 1, 0, 0, 0, 121, 119, 1, 0, 0, 0, 122, 126, 5, 26, 0, 0, 123, 126, 3, 18, 9, 0, 124, 126, 5, 2, 0, 0, 125, 103, 1, 0, 0, 0, 125, 123, 1, 0, 0, 0, 125, 124, 1, 0, 0, 0, 126, 13, 1, 0, 0, 0, 127, 128, 5, 4, 0, 0, 128, 15, 1, 0, 0, 0, 129, 131, 5, 42, 0, 0, 130, 129, 1, 0, 0, 0, 130, 131, 1, 0, 0, 0, 131, 17, 1, 0, 0, 0, 132, 134, 5, 12, 0, 0, 133, 135, 5, 32, 0, 0, 134, 133, 1, 0, 0, 0, 135, 136, 1, 0, 0, 0, 136, 134, 1, 0, 0, 0, 136, 137, 1, 0, 0, 0, 137, 138, 1, 0, 0, 0, 138, 139, 5, 34, 0, 0, 139, 19, 1, 0, 0, 0, 140, 151, 3, 22, 11, 0, 141, 151, 3, 34, 17, 0, 142, 151, 3, 18, 9, 0, 143, 151, 5, 3, 0, 0, 144, 151, 5, 2, 0, 0, 145, 151, 3, 26, 13, 0, 146, 151, 3, 28, 14, 0, 147, 151, 3, 30, 15, 0, 148, 151, 3, 32, 16, 0, 149, 151, 3, 38, 19, 0, 150, 140, 1, 0, 0, 0, 150, 141, 1, 0, 0, 0, 150, 142, 1, 0, 0, 0, 150, 143, 1, 0, 0, 0, 150, 144, 1, 0, 0, 0, 150, 145, 1, 0, 0, 0, 150, 146, 1, 0, 0, 0, 150, 147, 1, 0, 0, 0, 150, 148, 1, 0, 0, 0, 150, 149, 1, 0, 0, 0, 151, 21, 1, 0, 0, 0, 152, 153, 5, 11, 0, 0, 153, 157, 5, 42, 0, 0, 154, 156, 3, 36, 18, 0, 155, 154, 1, 0, 0, 0, 156, 159, 1, 0, 0, 0, 157, 155, 1, 0, 0, 0, 157, 158, 1, 0, 0, 0, 158, 160, 1, 0, 0, 0, 159, 157, 1, 0, 0, 0, 160, 164, 5, 33, 0, 0, 161, 163, 3, 20, 10, 0, 162, 161, 1, 0, 0, 0, 163, 166, 1, 0, 0, 0, 164, 162, 1, 0, 0, 0, 164, 165, 1, 0, 0, 0, 165, 167, 1, 0, 0, 0, 166, 164, 1, 0, 0, 0, 167, 168, 5, 11, 0, 0, 168, 169, 5, 39, 0, 0, 169, 170, 5, 42, 0, 0, 170, 181, 5, 33, 0, 0, 171, 172, 5, 11, 0, 0, 172, 176, 5, 42, 0, 0, 173, 175, 3, 36, 18, 0, 174, 173, 1, 0, 0, 0, 175, 178, 1, 0, 0, 0, 176, 174, 1, 0, 0, 0, 176, 177, 1, 0, 0, 0, 177, 179, 1, 0, 0, 0, 178, 176, 1, 0, 0, 0, 179, 181, 5, 35, 0, 0, 180, 152, 1, 0, 0, 0, 180, 171, 1, 0, 0, 0, 181, 23, 1, 0, 0, 0, 182, 183, 5, 11, 0, 0, 183, 184, 5, 37, 0, 0, 184, 188, 5, 42, 0, 0, 185, 187, 3, 36, 18, 0, 186, 185, 1, 0, 0, 0, 187, 190, 1, 0, 0, 0, 188, 186, 1, 0, 0, 0, 188, 189, 1, 0, 0, 0, 189, 191, 1, 0, 0, 0, 190, 188, 1, 0, 0, 0, 191, 192, 5, 38, 0, 0, 192, 193, 5, 33, 0, 0, 193, 25, 1, 0, 0, 0, 194, 195, 5, 17, 0, 0, 195, 27, 1, 0, 0, 0, 196, 197, 5, 16, 0, 0, 197, 29, 1, 0, 0, 0, 198, 199, 5, 15, 0, 0, 199, 31, 1, 0, 0, 0, 200, 201, 5, 14, 0, 0, 201, 33, 1, 0, 0, 0, 202, 203, 7, 1, 0, 0, 203, 35, 1, 0, 0, 0, 204, 205, 5, 42, 0, 0, 205, 206, 5, 40, 0, 0, 206, 207, 5, 41, 0, 0, 207, 37, 1, 0, 0, 0, 208, 209, 7, 2, 0, 0, 209, 39, 1, 0, 0, 0, 23, 41, 45, 48, 53, 59, 66, 76, 85, 92, 98, 100, 107, 113, 119, 125, 130, 136, 150, 157, 164, 176, 180, 188]
116+
[4, 1, 42, 211, 2, 0, 7, 0, 2, 1, 7, 1, 2, 2, 7, 2, 2, 3, 7, 3, 2, 4, 7, 4, 2, 5, 7, 5, 2, 6, 7, 6, 2, 7, 7, 7, 2, 8, 7, 8, 2, 9, 7, 9, 2, 10, 7, 10, 2, 11, 7, 11, 2, 12, 7, 12, 2, 13, 7, 13, 2, 14, 7, 14, 2, 15, 7, 15, 2, 16, 7, 16, 2, 17, 7, 17, 2, 18, 7, 18, 2, 19, 7, 19, 2, 20, 7, 20, 1, 0, 3, 0, 44, 8, 0, 1, 0, 1, 0, 3, 0, 48, 8, 0, 1, 1, 3, 1, 51, 8, 1, 1, 1, 5, 1, 54, 8, 1, 10, 1, 12, 1, 57, 9, 1, 1, 1, 5, 1, 60, 8, 1, 10, 1, 12, 1, 63, 9, 1, 1, 2, 1, 2, 5, 2, 67, 8, 2, 10, 2, 12, 2, 70, 9, 2, 1, 2, 1, 2, 1, 3, 1, 3, 1, 3, 1, 3, 1, 3, 3, 3, 79, 8, 3, 1, 4, 1, 4, 1, 4, 1, 4, 1, 4, 5, 4, 86, 8, 4, 10, 4, 12, 4, 89, 9, 4, 1, 4, 1, 4, 1, 4, 1, 4, 3, 4, 95, 8, 4, 1, 4, 1, 4, 1, 5, 1, 5, 5, 5, 101, 8, 5, 10, 5, 12, 5, 104, 9, 5, 1, 6, 1, 6, 5, 6, 108, 8, 6, 10, 6, 12, 6, 111, 9, 6, 1, 6, 5, 6, 114, 8, 6, 10, 6, 12, 6, 117, 9, 6, 1, 6, 5, 6, 120, 8, 6, 10, 6, 12, 6, 123, 9, 6, 1, 6, 1, 6, 1, 6, 3, 6, 128, 8, 6, 1, 7, 1, 7, 1, 8, 3, 8, 133, 8, 8, 1, 9, 1, 9, 4, 9, 137, 8, 9, 11, 9, 12, 9, 138, 1, 9, 1, 9, 1, 10, 1, 10, 1, 10, 1, 10, 1, 10, 1, 10, 1, 10, 1, 10, 1, 10, 1, 10, 3, 10, 153, 8, 10, 1, 11, 1, 11, 1, 11, 5, 11, 158, 8, 11, 10, 11, 12, 11, 161, 9, 11, 1, 11, 1, 11, 1, 11, 1, 11, 1, 11, 5, 11, 168, 8, 11, 10, 11, 12, 11, 171, 9, 11, 1, 11, 1, 11, 1, 11, 1, 11, 3, 11, 177, 8, 11, 3, 11, 179, 8, 11, 1, 12, 1, 12, 1, 13, 1, 13, 1, 13, 1, 13, 5, 13, 187, 8, 13, 10, 13, 12, 13, 190, 9, 13, 1, 13, 1, 13, 1, 13, 1, 14, 1, 14, 1, 15, 1, 15, 1, 16, 1, 16, 1, 17, 1, 17, 1, 18, 1, 18, 1, 19, 1, 19, 1, 19, 1, 19, 1, 20, 1, 20, 1, 20, 0, 0, 21, 0, 2, 4, 6, 8, 10, 12, 14, 16, 18, 20, 22, 24, 26, 28, 30, 32, 34, 36, 38, 40, 0, 3, 1, 0, 28, 29, 1, 0, 5, 6, 3, 0, 7, 7, 9, 9, 18, 18, 224, 0, 43, 1, 0, 0, 0, 2, 50, 1, 0, 0, 0, 4, 64, 1, 0, 0, 0, 6, 78, 1, 0, 0, 0, 8, 80, 1, 0, 0, 0, 10, 102, 1, 0, 0, 0, 12, 127, 1, 0, 0, 0, 14, 129, 1, 0, 0, 0, 16, 132, 1, 0, 0, 0, 18, 134, 1, 0, 0, 0, 20, 152, 1, 0, 0, 0, 22, 154, 1, 0, 0, 0, 24, 180, 1, 0, 0, 0, 26, 182, 1, 0, 0, 0, 28, 194, 1, 0, 0, 0, 30, 196, 1, 0, 0, 0, 32, 198, 1, 0, 0, 0, 34, 200, 1, 0, 0, 0, 36, 202, 1, 0, 0, 0, 38, 204, 1, 0, 0, 0, 40, 208, 1, 0, 0, 0, 42, 44, 5, 8, 0, 0, 43, 42, 1, 0, 0, 0, 43, 44, 1, 0, 0, 0, 44, 45, 1, 0, 0, 0, 45, 47, 3, 2, 1, 0, 46, 48, 3, 22, 11, 0, 47, 46, 1, 0, 0, 0, 47, 48, 1, 0, 0, 0, 48, 1, 1, 0, 0, 0, 49, 51, 3, 4, 2, 0, 50, 49, 1, 0, 0, 0, 50, 51, 1, 0, 0, 0, 51, 55, 1, 0, 0, 0, 52, 54, 3, 6, 3, 0, 53, 52, 1, 0, 0, 0, 54, 57, 1, 0, 0, 0, 55, 53, 1, 0, 0, 0, 55, 56, 1, 0, 0, 0, 56, 61, 1, 0, 0, 0, 57, 55, 1, 0, 0, 0, 58, 60, 3, 26, 13, 0, 59, 58, 1, 0, 0, 0, 60, 63, 1, 0, 0, 0, 61, 59, 1, 0, 0, 0, 61, 62, 1, 0, 0, 0, 62, 3, 1, 0, 0, 0, 63, 61, 1, 0, 0, 0, 64, 68, 5, 10, 0, 0, 65, 67, 3, 38, 19, 0, 66, 65, 1, 0, 0, 0, 67, 70, 1, 0, 0, 0, 68, 66, 1, 0, 0, 0, 68, 69, 1, 0, 0, 0, 69, 71, 1, 0, 0, 0, 70, 68, 1, 0, 0, 0, 71, 72, 5, 34, 0, 0, 72, 5, 1, 0, 0, 0, 73, 79, 5, 2, 0, 0, 74, 79, 3, 8, 4, 0, 75, 79, 3, 18, 9, 0, 76, 79, 3, 32, 16, 0, 77, 79, 3, 34, 17, 0, 78, 73, 1, 0, 0, 0, 78, 74, 1, 0, 0, 0, 78, 75, 1, 0, 0, 0, 78, 76, 1, 0, 0, 0, 78, 77, 1, 0, 0, 0, 79, 7, 1, 0, 0, 0, 80, 81, 5, 13, 0, 0, 81, 82, 5, 22, 0, 0, 82, 83, 5, 42, 0, 0, 83, 87, 3, 16, 8, 0, 84, 86, 5, 41, 0, 0, 85, 84, 1, 0, 0, 0, 86, 89, 1, 0, 0, 0, 87, 85, 1, 0, 0, 0, 87, 88, 1, 0, 0, 0, 88, 94, 1, 0, 0, 0, 89, 87, 1, 0, 0, 0, 90, 91, 5, 20, 0, 0, 91, 92, 3, 10, 5, 0, 92, 93, 5, 23, 0, 0, 93, 95, 1, 0, 0, 0, 94, 90, 1, 0, 0, 0, 94, 95, 1, 0, 0, 0, 95, 96, 1, 0, 0, 0, 96, 97, 5, 19, 0, 0, 97, 9, 1, 0, 0, 0, 98, 101, 3, 12, 6, 0, 99, 101, 3, 14, 7, 0, 100, 98, 1, 0, 0, 0, 100, 99, 1, 0, 0, 0, 101, 104, 1, 0, 0, 0, 102, 100, 1, 0, 0, 0, 102, 103, 1, 0, 0, 0, 103, 11, 1, 0, 0, 0, 104, 102, 1, 0, 0, 0, 105, 109, 5, 24, 0, 0, 106, 108, 7, 0, 0, 0, 107, 106, 1, 0, 0, 0, 108, 111, 1, 0, 0, 0, 109, 107, 1, 0, 0, 0, 109, 110, 1, 0, 0, 0, 110, 115, 1, 0, 0, 0, 111, 109, 1, 0, 0, 0, 112, 114, 5, 30, 0, 0, 113, 112, 1, 0, 0, 0, 114, 117, 1, 0, 0, 0, 115, 113, 1, 0, 0, 0, 115, 116, 1, 0, 0, 0, 116, 121, 1, 0, 0, 0, 117, 115, 1, 0, 0, 0, 118, 120, 7, 0, 0, 0, 119, 118, 1, 0, 0, 0, 120, 123, 1, 0, 0, 0, 121, 119, 1, 0, 0, 0, 121, 122, 1, 0, 0, 0, 122, 124, 1, 0, 0, 0, 123, 121, 1, 0, 0, 0, 124, 128, 5, 26, 0, 0, 125, 128, 3, 18, 9, 0, 126, 128, 5, 2, 0, 0, 127, 105, 1, 0, 0, 0, 127, 125, 1, 0, 0, 0, 127, 126, 1, 0, 0, 0, 128, 13, 1, 0, 0, 0, 129, 130, 5, 4, 0, 0, 130, 15, 1, 0, 0, 0, 131, 133, 5, 42, 0, 0, 132, 131, 1, 0, 0, 0, 132, 133, 1, 0, 0, 0, 133, 17, 1, 0, 0, 0, 134, 136, 5, 12, 0, 0, 135, 137, 5, 32, 0, 0, 136, 135, 1, 0, 0, 0, 137, 138, 1, 0, 0, 0, 138, 136, 1, 0, 0, 0, 138, 139, 1, 0, 0, 0, 139, 140, 1, 0, 0, 0, 140, 141, 5, 34, 0, 0, 141, 19, 1, 0, 0, 0, 142, 153, 3, 22, 11, 0, 143, 153, 3, 36, 18, 0, 144, 153, 3, 18, 9, 0, 145, 153, 5, 3, 0, 0, 146, 153, 5, 2, 0, 0, 147, 153, 3, 28, 14, 0, 148, 153, 3, 30, 15, 0, 149, 153, 3, 32, 16, 0, 150, 153, 3, 34, 17, 0, 151, 153, 3, 40, 20, 0, 152, 142, 1, 0, 0, 0, 152, 143, 1, 0, 0, 0, 152, 144, 1, 0, 0, 0, 152, 145, 1, 0, 0, 0, 152, 146, 1, 0, 0, 0, 152, 147, 1, 0, 0, 0, 152, 148, 1, 0, 0, 0, 152, 149, 1, 0, 0, 0, 152, 150, 1, 0, 0, 0, 152, 151, 1, 0, 0, 0, 153, 21, 1, 0, 0, 0, 154, 155, 5, 11, 0, 0, 155, 159, 5, 42, 0, 0, 156, 158, 3, 38, 19, 0, 157, 156, 1, 0, 0, 0, 158, 161, 1, 0, 0, 0, 159, 157, 1, 0, 0, 0, 159, 160, 1, 0, 0, 0, 160, 178, 1, 0, 0, 0, 161, 159, 1, 0, 0, 0, 162, 179, 5, 35, 0, 0, 163, 176, 5, 33, 0, 0, 164, 165, 4, 11, 0, 1, 165, 177, 3, 24, 12, 0, 166, 168, 3, 20, 10, 0, 167, 166, 1, 0, 0, 0, 168, 171, 1, 0, 0, 0, 169, 167, 1, 0, 0, 0, 169, 170, 1, 0, 0, 0, 170, 172, 1, 0, 0, 0, 171, 169, 1, 0, 0, 0, 172, 173, 5, 11, 0, 0, 173, 174, 5, 39, 0, 0, 174, 175, 5, 42, 0, 0, 175, 177, 5, 33, 0, 0, 176, 164, 1, 0, 0, 0, 176, 169, 1, 0, 0, 0, 177, 179, 1, 0, 0, 0, 178, 162, 1, 0, 0, 0, 178, 163, 1, 0, 0, 0, 179, 23, 1, 0, 0, 0, 180, 181, 1, 0, 0, 0, 181, 25, 1, 0, 0, 0, 182, 183, 5, 11, 0, 0, 183, 184, 5, 37, 0, 0, 184, 188, 5, 42, 0, 0, 185, 187, 3, 38, 19, 0, 186, 185, 1, 0, 0, 0, 187, 190, 1, 0, 0, 0, 188, 186, 1, 0, 0, 0, 188, 189, 1, 0, 0, 0, 189, 191, 1, 0, 0, 0, 190, 188, 1, 0, 0, 0, 191, 192, 5, 38, 0, 0, 192, 193, 5, 33, 0, 0, 193, 27, 1, 0, 0, 0, 194, 195, 5, 17, 0, 0, 195, 29, 1, 0, 0, 0, 196, 197, 5, 16, 0, 0, 197, 31, 1, 0, 0, 0, 198, 199, 5, 15, 0, 0, 199, 33, 1, 0, 0, 0, 200, 201, 5, 14, 0, 0, 201, 35, 1, 0, 0, 0, 202, 203, 7, 1, 0, 0, 203, 37, 1, 0, 0, 0, 204, 205, 5, 42, 0, 0, 205, 206, 5, 40, 0, 0, 206, 207, 5, 41, 0, 0, 207, 39, 1, 0, 0, 0, 208, 209, 7, 2, 0, 0, 209, 41, 1, 0, 0, 0, 23, 43, 47, 50, 55, 61, 68, 78, 87, 94, 100, 102, 109, 115, 121, 127, 132, 138, 152, 159, 169, 176, 178, 188]

0 commit comments

Comments
 (0)