[639] Support direct edit for Usage element

Bug: eclipse-syson#639
Signed-off-by: Jessy Mallet <jessy.mallet@obeo.fr>

CHANGELOG.adoc

@@ -85,7 +85,8 @@ The second one called "New ExhibitState with referenced State" shows a dialog al
 - https://github.com/eclipse-syson/syson/issues/628[#628] [diagrams] Allow to set measurement units via direct edit.
 - https://github.com/eclipse-syson/syson/issues/634[#634] [diagrams] Allow to select existing _Type_ on Subject tool.
 - https://github.com/eclipse-syson/syson/issues/639[#639] [diagrams] Handle properties keywords in label of Usage element.
-
+- https://github.com/eclipse-syson/syson/issues/639[#639] [diagrams] Allow direct edit of properties of Usage elements.
+The supported properties are `in`, `out`, `inout`, `abstract`, `variation`, `readonly`, `derived`, `end`, `ordered`, and `nonunique`.
 
 === New features
 

backend/services/syson-services/src/main/generated/org/eclipse/syson/services/grammars/DirectEdit.interp

@@ -1,6 +1,5 @@
 token literal names:
 null
-'ref '
 '['
 '..'
 ']'
@@ -21,6 +20,7 @@ null
 null
 'about'
 'abstract'
+null
 'alias'
 'all'
 'and'
@@ -44,12 +44,14 @@ null
 'default'
 'dependency'
 'derived'
+null
 'differences'
 'disjoining'
 'disjoint'
 'doc'
 'else'
 'end'
+null
 'expr'
 'false'
 'feature'
@@ -67,7 +69,9 @@ null
 'implies'
 'import'
 'in'
+null
 'inout'
+null
 'interaction'
 'inv'
 'inverse'
@@ -80,21 +84,27 @@ null
 'multiplicity'
 'namespace'
 'nonunique'
+null
 'not'
 'null'
 'of'
 'or'
 'ordered'
+null
 'out'
+null
 'package'
 'portion'
 'predicate'
 'private'
 'protected'
 'public'
 'readonly'
+null
 'redefines'
 'redefinition'
+'ref'
+null
 'references'
 'rep'
 'return'
@@ -114,6 +124,8 @@ null
 'typed'
 'typing'
 'unions'
+'variation'
+null
 'xor'
 null
 
@@ -132,14 +144,14 @@ null
 null
 null
 null
-null
 WS
 Boolean
 Integer
 Real
 DoubleQuotedString
 ABOUT
 ABSTRACT
+ABSTRACT_PREFIX
 ALIAS
 ALL
 AND
@@ -163,12 +175,14 @@ DATATYPE
 DEFAULT
 DEPENDENCY
 DERIVED
+DERIVED_PREFIX
 DIFFERENCES
 DISJOINING
 DISJOINT
 DOC
 ELSE
 END
+END_PREFIX
 EXPR
 FALSE
 FEATURE
@@ -186,7 +200,9 @@ INTERSECTS
 IMPLIES
 IMPORT
 IN
-INPUT
+IN_PREFIX
+INOUT
+INOUT_PREFIX
 INTERACTION
 INV
 INVERSE
@@ -199,22 +215,28 @@ METADATA
 MULTIPLICITY
 NAMESPACE
 NONUNIQUE
+NONUNIQUE_SUFFIX
 NOT
 NULL
 OF
 OR
 ORDERED
+ORDERED_SUFFIX
 OUT
+OUT_PREFIX
 PACKAGE
 PORTION
 PREDICATE
 PRIAVTE
 PROTECTED
 PUBLIC
 READONLY
+READONLY_PREFIX
 REDEFINES
 REDEFINITION
-RFERENCES
+REF
+REF_PREFIX
+REFERENCES
 REP
 RETURN
 SPECIALIZTION
@@ -233,13 +255,25 @@ TYPE
 TYPED
 TYPING
 UNIONS
+VARIATION
+VARIATION_PREFIX
 XOR
 ANY
 
 rule names:
 expression
+prefixExpression
+directionPrefixExpression
+abstractPrefixExpression
+variationPrefixExpression
+readonlyPrefixExpression
+derivedPrefixExpression
+endPrefixExpression
 referenceExpression
 multiplicityExpression
+multiplicityPropExpression
+orderedMultiplicityExpression
+nonuniqueMultiplicityExpression
 multiplicityExpressionMember
 featureExpressions
 subsettingExpression
@@ -257,4 +291,4 @@ name
 
 
 atn:
-[4, 1, 116, 151, 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, 1, 0, 3, 0, 36, 8, 0, 1, 0, 3, 0, 39, 8, 0, 1, 0, 3, 0, 42, 8, 0, 1, 0, 1, 0, 1, 0, 1, 1, 1, 1, 1, 2, 1, 2, 1, 2, 1, 2, 3, 2, 53, 8, 2, 1, 2, 1, 2, 1, 2, 1, 3, 1, 3, 1, 4, 1, 4, 3, 4, 62, 8, 4, 1, 4, 3, 4, 65, 8, 4, 1, 4, 3, 4, 68, 8, 4, 1, 4, 3, 4, 71, 8, 4, 1, 4, 1, 4, 3, 4, 75, 8, 4, 1, 4, 3, 4, 78, 8, 4, 3, 4, 80, 8, 4, 1, 5, 1, 5, 1, 5, 1, 6, 1, 6, 1, 6, 1, 7, 1, 7, 1, 7, 1, 8, 1, 8, 1, 8, 1, 8, 1, 8, 1, 8, 3, 8, 97, 8, 8, 1, 9, 4, 9, 100, 8, 9, 11, 9, 12, 9, 101, 1, 10, 3, 10, 105, 8, 10, 1, 10, 3, 10, 108, 8, 10, 1, 10, 3, 10, 111, 8, 10, 1, 11, 1, 11, 1, 11, 5, 11, 116, 8, 11, 10, 11, 12, 11, 119, 9, 11, 1, 12, 1, 12, 3, 12, 123, 8, 12, 1, 13, 1, 13, 1, 13, 1, 13, 1, 14, 1, 14, 1, 14, 1, 14, 5, 14, 133, 8, 14, 10, 14, 12, 14, 136, 9, 14, 1, 15, 1, 15, 1, 15, 5, 15, 141, 8, 15, 10, 15, 12, 15, 144, 9, 15, 1, 16, 4, 16, 147, 8, 16, 11, 16, 12, 16, 148, 1, 16, 0, 0, 17, 0, 2, 4, 6, 8, 10, 12, 14, 16, 18, 20, 22, 24, 26, 28, 30, 32, 0, 4, 2, 0, 5, 5, 17, 17, 1, 0, 16, 19, 1, 0, 4, 4, 3, 0, 1, 2, 6, 9, 14, 14, 156, 0, 35, 1, 0, 0, 0, 2, 46, 1, 0, 0, 0, 4, 48, 1, 0, 0, 0, 6, 57, 1, 0, 0, 0, 8, 79, 1, 0, 0, 0, 10, 81, 1, 0, 0, 0, 12, 84, 1, 0, 0, 0, 14, 87, 1, 0, 0, 0, 16, 90, 1, 0, 0, 0, 18, 99, 1, 0, 0, 0, 20, 104, 1, 0, 0, 0, 22, 112, 1, 0, 0, 0, 24, 120, 1, 0, 0, 0, 26, 124, 1, 0, 0, 0, 28, 128, 1, 0, 0, 0, 30, 137, 1, 0, 0, 0, 32, 146, 1, 0, 0, 0, 34, 36, 3, 2, 1, 0, 35, 34, 1, 0, 0, 0, 35, 36, 1, 0, 0, 0, 36, 38, 1, 0, 0, 0, 37, 39, 3, 32, 16, 0, 38, 37, 1, 0, 0, 0, 38, 39, 1, 0, 0, 0, 39, 41, 1, 0, 0, 0, 40, 42, 3, 4, 2, 0, 41, 40, 1, 0, 0, 0, 41, 42, 1, 0, 0, 0, 42, 43, 1, 0, 0, 0, 43, 44, 3, 8, 4, 0, 44, 45, 5, 0, 0, 1, 45, 1, 1, 0, 0, 0, 46, 47, 5, 1, 0, 0, 47, 3, 1, 0, 0, 0, 48, 52, 5, 2, 0, 0, 49, 50, 3, 6, 3, 0, 50, 51, 5, 3, 0, 0, 51, 53, 1, 0, 0, 0, 52, 49, 1, 0, 0, 0, 52, 53, 1, 0, 0, 0, 53, 54, 1, 0, 0, 0, 54, 55, 3, 6, 3, 0, 55, 56, 5, 4, 0, 0, 56, 5, 1, 0, 0, 0, 57, 58, 7, 0, 0, 0, 58, 7, 1, 0, 0, 0, 59, 62, 3, 10, 5, 0, 60, 62, 3, 12, 6, 0, 61, 59, 1, 0, 0, 0, 61, 60, 1, 0, 0, 0, 61, 62, 1, 0, 0, 0, 62, 64, 1, 0, 0, 0, 63, 65, 3, 14, 7, 0, 64, 63, 1, 0, 0, 0, 64, 65, 1, 0, 0, 0, 65, 67, 1, 0, 0, 0, 66, 68, 3, 16, 8, 0, 67, 66, 1, 0, 0, 0, 67, 68, 1, 0, 0, 0, 68, 80, 1, 0, 0, 0, 69, 71, 3, 14, 7, 0, 70, 69, 1, 0, 0, 0, 70, 71, 1, 0, 0, 0, 71, 74, 1, 0, 0, 0, 72, 75, 3, 10, 5, 0, 73, 75, 3, 12, 6, 0, 74, 72, 1, 0, 0, 0, 74, 73, 1, 0, 0, 0, 74, 75, 1, 0, 0, 0, 75, 77, 1, 0, 0, 0, 76, 78, 3, 16, 8, 0, 77, 76, 1, 0, 0, 0, 77, 78, 1, 0, 0, 0, 78, 80, 1, 0, 0, 0, 79, 61, 1, 0, 0, 0, 79, 70, 1, 0, 0, 0, 80, 9, 1, 0, 0, 0, 81, 82, 5, 6, 0, 0, 82, 83, 3, 30, 15, 0, 83, 11, 1, 0, 0, 0, 84, 85, 5, 7, 0, 0, 85, 86, 3, 30, 15, 0, 86, 13, 1, 0, 0, 0, 87, 88, 5, 8, 0, 0, 88, 89, 3, 30, 15, 0, 89, 15, 1, 0, 0, 0, 90, 91, 5, 9, 0, 0, 91, 96, 7, 1, 0, 0, 92, 93, 5, 2, 0, 0, 93, 94, 3, 18, 9, 0, 94, 95, 5, 4, 0, 0, 95, 97, 1, 0, 0, 0, 96, 92, 1, 0, 0, 0, 96, 97, 1, 0, 0, 0, 97, 17, 1, 0, 0, 0, 98, 100, 8, 2, 0, 0, 99, 98, 1, 0, 0, 0, 100, 101, 1, 0, 0, 0, 101, 99, 1, 0, 0, 0, 101, 102, 1, 0, 0, 0, 102, 19, 1, 0, 0, 0, 103, 105, 3, 22, 11, 0, 104, 103, 1, 0, 0, 0, 104, 105, 1, 0, 0, 0, 105, 107, 1, 0, 0, 0, 106, 108, 3, 26, 13, 0, 107, 106, 1, 0, 0, 0, 107, 108, 1, 0, 0, 0, 108, 110, 1, 0, 0, 0, 109, 111, 3, 28, 14, 0, 110, 109, 1, 0, 0, 0, 110, 111, 1, 0, 0, 0, 111, 21, 1, 0, 0, 0, 112, 117, 3, 24, 12, 0, 113, 114, 5, 10, 0, 0, 114, 116, 3, 24, 12, 0, 115, 113, 1, 0, 0, 0, 116, 119, 1, 0, 0, 0, 117, 115, 1, 0, 0, 0, 117, 118, 1, 0, 0, 0, 118, 23, 1, 0, 0, 0, 119, 117, 1, 0, 0, 0, 120, 122, 3, 32, 16, 0, 121, 123, 3, 14, 7, 0, 122, 121, 1, 0, 0, 0, 122, 123, 1, 0, 0, 0, 123, 25, 1, 0, 0, 0, 124, 125, 5, 2, 0, 0, 125, 126, 3, 16, 8, 0, 126, 127, 5, 4, 0, 0, 127, 27, 1, 0, 0, 0, 128, 129, 5, 11, 0, 0, 129, 134, 3, 30, 15, 0, 130, 131, 5, 12, 0, 0, 131, 133, 3, 30, 15, 0, 132, 130, 1, 0, 0, 0, 133, 136, 1, 0, 0, 0, 134, 132, 1, 0, 0, 0, 134, 135, 1, 0, 0, 0, 135, 29, 1, 0, 0, 0, 136, 134, 1, 0, 0, 0, 137, 142, 3, 32, 16, 0, 138, 139, 5, 13, 0, 0, 139, 141, 3, 32, 16, 0, 140, 138, 1, 0, 0, 0, 141, 144, 1, 0, 0, 0, 142, 140, 1, 0, 0, 0, 142, 143, 1, 0, 0, 0, 143, 31, 1, 0, 0, 0, 144, 142, 1, 0, 0, 0, 145, 147, 8, 3, 0, 0, 146, 145, 1, 0, 0, 0, 147, 148, 1, 0, 0, 0, 148, 146, 1, 0, 0, 0, 148, 149, 1, 0, 0, 0, 149, 33, 1, 0, 0, 0, 21, 35, 38, 41, 52, 61, 64, 67, 70, 74, 77, 79, 96, 101, 104, 107, 110, 117, 122, 134, 142, 148]
+[4, 1, 128, 217, 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, 2, 21, 7, 21, 2, 22, 7, 22, 2, 23, 7, 23, 2, 24, 7, 24, 2, 25, 7, 25, 2, 26, 7, 26, 1, 0, 3, 0, 56, 8, 0, 1, 0, 3, 0, 59, 8, 0, 1, 0, 3, 0, 62, 8, 0, 1, 0, 3, 0, 65, 8, 0, 1, 0, 3, 0, 68, 8, 0, 1, 0, 1, 0, 1, 0, 1, 1, 3, 1, 74, 8, 1, 1, 1, 3, 1, 77, 8, 1, 1, 1, 3, 1, 80, 8, 1, 1, 1, 3, 1, 83, 8, 1, 1, 1, 3, 1, 86, 8, 1, 1, 1, 3, 1, 89, 8, 1, 1, 2, 1, 2, 1, 3, 1, 3, 1, 4, 1, 4, 1, 5, 1, 5, 1, 6, 1, 6, 1, 7, 1, 7, 1, 8, 1, 8, 1, 9, 1, 9, 1, 9, 1, 9, 3, 9, 109, 8, 9, 1, 9, 1, 9, 1, 9, 1, 10, 3, 10, 115, 8, 10, 1, 10, 3, 10, 118, 8, 10, 1, 11, 1, 11, 1, 12, 1, 12, 1, 13, 1, 13, 1, 14, 1, 14, 3, 14, 128, 8, 14, 1, 14, 3, 14, 131, 8, 14, 1, 14, 3, 14, 134, 8, 14, 1, 14, 3, 14, 137, 8, 14, 1, 14, 1, 14, 3, 14, 141, 8, 14, 1, 14, 3, 14, 144, 8, 14, 3, 14, 146, 8, 14, 1, 15, 1, 15, 1, 15, 1, 16, 1, 16, 1, 16, 1, 17, 1, 17, 1, 17, 1, 18, 1, 18, 1, 18, 1, 18, 1, 18, 1, 18, 3, 18, 163, 8, 18, 1, 19, 4, 19, 166, 8, 19, 11, 19, 12, 19, 167, 1, 20, 3, 20, 171, 8, 20, 1, 20, 3, 20, 174, 8, 20, 1, 20, 3, 20, 177, 8, 20, 1, 21, 1, 21, 1, 21, 5, 21, 182, 8, 21, 10, 21, 12, 21, 185, 9, 21, 1, 22, 1, 22, 3, 22, 189, 8, 22, 1, 23, 1, 23, 1, 23, 1, 23, 1, 24, 1, 24, 1, 24, 1, 24, 5, 24, 199, 8, 24, 10, 24, 12, 24, 202, 9, 24, 1, 25, 1, 25, 1, 25, 5, 25, 207, 8, 25, 10, 25, 12, 25, 210, 9, 25, 1, 26, 4, 26, 213, 8, 26, 11, 26, 12, 26, 214, 1, 26, 0, 0, 27, 0, 2, 4, 6, 8, 10, 12, 14, 16, 18, 20, 22, 24, 26, 28, 30, 32, 34, 36, 38, 40, 42, 44, 46, 48, 50, 52, 0, 5, 3, 0, 70, 70, 72, 72, 93, 93, 2, 0, 4, 4, 16, 16, 1, 0, 15, 18, 1, 0, 3, 3, 5, 0, 1, 1, 5, 8, 13, 13, 85, 85, 91, 91, 222, 0, 55, 1, 0, 0, 0, 2, 73, 1, 0, 0, 0, 4, 90, 1, 0, 0, 0, 6, 92, 1, 0, 0, 0, 8, 94, 1, 0, 0, 0, 10, 96, 1, 0, 0, 0, 12, 98, 1, 0, 0, 0, 14, 100, 1, 0, 0, 0, 16, 102, 1, 0, 0, 0, 18, 104, 1, 0, 0, 0, 20, 114, 1, 0, 0, 0, 22, 119, 1, 0, 0, 0, 24, 121, 1, 0, 0, 0, 26, 123, 1, 0, 0, 0, 28, 145, 1, 0, 0, 0, 30, 147, 1, 0, 0, 0, 32, 150, 1, 0, 0, 0, 34, 153, 1, 0, 0, 0, 36, 156, 1, 0, 0, 0, 38, 165, 1, 0, 0, 0, 40, 170, 1, 0, 0, 0, 42, 178, 1, 0, 0, 0, 44, 186, 1, 0, 0, 0, 46, 190, 1, 0, 0, 0, 48, 194, 1, 0, 0, 0, 50, 203, 1, 0, 0, 0, 52, 212, 1, 0, 0, 0, 54, 56, 3, 2, 1, 0, 55, 54, 1, 0, 0, 0, 55, 56, 1, 0, 0, 0, 56, 58, 1, 0, 0, 0, 57, 59, 3, 16, 8, 0, 58, 57, 1, 0, 0, 0, 58, 59, 1, 0, 0, 0, 59, 61, 1, 0, 0, 0, 60, 62, 3, 52, 26, 0, 61, 60, 1, 0, 0, 0, 61, 62, 1, 0, 0, 0, 62, 64, 1, 0, 0, 0, 63, 65, 3, 18, 9, 0, 64, 63, 1, 0, 0, 0, 64, 65, 1, 0, 0, 0, 65, 67, 1, 0, 0, 0, 66, 68, 3, 20, 10, 0, 67, 66, 1, 0, 0, 0, 67, 68, 1, 0, 0, 0, 68, 69, 1, 0, 0, 0, 69, 70, 3, 28, 14, 0, 70, 71, 5, 0, 0, 1, 71, 1, 1, 0, 0, 0, 72, 74, 3, 4, 2, 0, 73, 72, 1, 0, 0, 0, 73, 74, 1, 0, 0, 0, 74, 76, 1, 0, 0, 0, 75, 77, 3, 6, 3, 0, 76, 75, 1, 0, 0, 0, 76, 77, 1, 0, 0, 0, 77, 79, 1, 0, 0, 0, 78, 80, 3, 8, 4, 0, 79, 78, 1, 0, 0, 0, 79, 80, 1, 0, 0, 0, 80, 82, 1, 0, 0, 0, 81, 83, 3, 10, 5, 0, 82, 81, 1, 0, 0, 0, 82, 83, 1, 0, 0, 0, 83, 85, 1, 0, 0, 0, 84, 86, 3, 12, 6, 0, 85, 84, 1, 0, 0, 0, 85, 86, 1, 0, 0, 0, 86, 88, 1, 0, 0, 0, 87, 89, 3, 14, 7, 0, 88, 87, 1, 0, 0, 0, 88, 89, 1, 0, 0, 0, 89, 3, 1, 0, 0, 0, 90, 91, 7, 0, 0, 0, 91, 5, 1, 0, 0, 0, 92, 93, 5, 21, 0, 0, 93, 7, 1, 0, 0, 0, 94, 95, 5, 126, 0, 0, 95, 9, 1, 0, 0, 0, 96, 97, 5, 101, 0, 0, 97, 11, 1, 0, 0, 0, 98, 99, 5, 45, 0, 0, 99, 13, 1, 0, 0, 0, 100, 101, 5, 52, 0, 0, 101, 15, 1, 0, 0, 0, 102, 103, 5, 105, 0, 0, 103, 17, 1, 0, 0, 0, 104, 108, 5, 1, 0, 0, 105, 106, 3, 26, 13, 0, 106, 107, 5, 2, 0, 0, 107, 109, 1, 0, 0, 0, 108, 105, 1, 0, 0, 0, 108, 109, 1, 0, 0, 0, 109, 110, 1, 0, 0, 0, 110, 111, 3, 26, 13, 0, 111, 112, 5, 3, 0, 0, 112, 19, 1, 0, 0, 0, 113, 115, 3, 22, 11, 0, 114, 113, 1, 0, 0, 0, 114, 115, 1, 0, 0, 0, 115, 117, 1, 0, 0, 0, 116, 118, 3, 24, 12, 0, 117, 116, 1, 0, 0, 0, 117, 118, 1, 0, 0, 0, 118, 21, 1, 0, 0, 0, 119, 120, 5, 91, 0, 0, 120, 23, 1, 0, 0, 0, 121, 122, 5, 85, 0, 0, 122, 25, 1, 0, 0, 0, 123, 124, 7, 1, 0, 0, 124, 27, 1, 0, 0, 0, 125, 128, 3, 30, 15, 0, 126, 128, 3, 32, 16, 0, 127, 125, 1, 0, 0, 0, 127, 126, 1, 0, 0, 0, 127, 128, 1, 0, 0, 0, 128, 130, 1, 0, 0, 0, 129, 131, 3, 34, 17, 0, 130, 129, 1, 0, 0, 0, 130, 131, 1, 0, 0, 0, 131, 133, 1, 0, 0, 0, 132, 134, 3, 36, 18, 0, 133, 132, 1, 0, 0, 0, 133, 134, 1, 0, 0, 0, 134, 146, 1, 0, 0, 0, 135, 137, 3, 34, 17, 0, 136, 135, 1, 0, 0, 0, 136, 137, 1, 0, 0, 0, 137, 140, 1, 0, 0, 0, 138, 141, 3, 30, 15, 0, 139, 141, 3, 32, 16, 0, 140, 138, 1, 0, 0, 0, 140, 139, 1, 0, 0, 0, 140, 141, 1, 0, 0, 0, 141, 143, 1, 0, 0, 0, 142, 144, 3, 36, 18, 0, 143, 142, 1, 0, 0, 0, 143, 144, 1, 0, 0, 0, 144, 146, 1, 0, 0, 0, 145, 127, 1, 0, 0, 0, 145, 136, 1, 0, 0, 0, 146, 29, 1, 0, 0, 0, 147, 148, 5, 5, 0, 0, 148, 149, 3, 50, 25, 0, 149, 31, 1, 0, 0, 0, 150, 151, 5, 6, 0, 0, 151, 152, 3, 50, 25, 0, 152, 33, 1, 0, 0, 0, 153, 154, 5, 7, 0, 0, 154, 155, 3, 50, 25, 0, 155, 35, 1, 0, 0, 0, 156, 157, 5, 8, 0, 0, 157, 162, 7, 2, 0, 0, 158, 159, 5, 1, 0, 0, 159, 160, 3, 38, 19, 0, 160, 161, 5, 3, 0, 0, 161, 163, 1, 0, 0, 0, 162, 158, 1, 0, 0, 0, 162, 163, 1, 0, 0, 0, 163, 37, 1, 0, 0, 0, 164, 166, 8, 3, 0, 0, 165, 164, 1, 0, 0, 0, 166, 167, 1, 0, 0, 0, 167, 165, 1, 0, 0, 0, 167, 168, 1, 0, 0, 0, 168, 39, 1, 0, 0, 0, 169, 171, 3, 42, 21, 0, 170, 169, 1, 0, 0, 0, 170, 171, 1, 0, 0, 0, 171, 173, 1, 0, 0, 0, 172, 174, 3, 46, 23, 0, 173, 172, 1, 0, 0, 0, 173, 174, 1, 0, 0, 0, 174, 176, 1, 0, 0, 0, 175, 177, 3, 48, 24, 0, 176, 175, 1, 0, 0, 0, 176, 177, 1, 0, 0, 0, 177, 41, 1, 0, 0, 0, 178, 183, 3, 44, 22, 0, 179, 180, 5, 9, 0, 0, 180, 182, 3, 44, 22, 0, 181, 179, 1, 0, 0, 0, 182, 185, 1, 0, 0, 0, 183, 181, 1, 0, 0, 0, 183, 184, 1, 0, 0, 0, 184, 43, 1, 0, 0, 0, 185, 183, 1, 0, 0, 0, 186, 188, 3, 52, 26, 0, 187, 189, 3, 34, 17, 0, 188, 187, 1, 0, 0, 0, 188, 189, 1, 0, 0, 0, 189, 45, 1, 0, 0, 0, 190, 191, 5, 1, 0, 0, 191, 192, 3, 36, 18, 0, 192, 193, 5, 3, 0, 0, 193, 47, 1, 0, 0, 0, 194, 195, 5, 10, 0, 0, 195, 200, 3, 50, 25, 0, 196, 197, 5, 11, 0, 0, 197, 199, 3, 50, 25, 0, 198, 196, 1, 0, 0, 0, 199, 202, 1, 0, 0, 0, 200, 198, 1, 0, 0, 0, 200, 201, 1, 0, 0, 0, 201, 49, 1, 0, 0, 0, 202, 200, 1, 0, 0, 0, 203, 208, 3, 52, 26, 0, 204, 205, 5, 12, 0, 0, 205, 207, 3, 52, 26, 0, 206, 204, 1, 0, 0, 0, 207, 210, 1, 0, 0, 0, 208, 206, 1, 0, 0, 0, 208, 209, 1, 0, 0, 0, 209, 51, 1, 0, 0, 0, 210, 208, 1, 0, 0, 0, 211, 213, 8, 4, 0, 0, 212, 211, 1, 0, 0, 0, 213, 214, 1, 0, 0, 0, 214, 212, 1, 0, 0, 0, 214, 215, 1, 0, 0, 0, 215, 53, 1, 0, 0, 0, 31, 55, 58, 61, 64, 67, 73, 76, 79, 82, 85, 88, 108, 114, 117, 127, 130, 133, 136, 140, 143, 145, 162, 167, 170, 173, 176, 183, 188, 200, 208, 214]