github.com/vescale/zgraph@v0.0.0-20230410094002-959c02d50f95/parser/parser.y.go (about) 1 // Code generated by goyacc DO NOT EDIT. 2 3 // Copyright 2013 The ql Authors. All rights reserved. 4 // Use of this source code is governed by a BSD-style 5 // license that can be found in the LICENSES/QL-LICENSE file. 6 7 // Copyright 2022 zGraph Authors. All rights reserved. 8 // 9 // Licensed under the Apache License, Version 2.0 (the "License"); 10 // you may not use this file except in compliance with the License. 11 // You may obtain a copy of the License at 12 // 13 // http://www.apache.org/licenses/LICENSE-2.0 14 // 15 // Unless required by applicable law or agreed to in writing, software 16 // distributed under the License is distributed on an "AS IS" BASIS, 17 // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 18 // See the License for the specific language governing permissions and 19 // limitations under the License. 20 21 // Initial yacc source generated by ebnf2y[1] 22 // at 2013-10-04 23:10:47.861401015 +0200 CEST 23 // 24 // $ ebnf2y -o ql.y -oe ql.ebnf -start StatementList -pkg ql -p _ 25 // 26 // [1]: http://github.com/cznic/ebnf2y 27 28 // The parser implements the PGQL specification 29 // 30 // - https://pgql-lang.org/spec/1.5/ 31 // 32 33 package parser 34 35 import __yyfmt__ "fmt" 36 37 import ( 38 "math" 39 40 "github.com/vescale/zgraph/datum" 41 "github.com/vescale/zgraph/parser/ast" 42 "github.com/vescale/zgraph/parser/model" 43 "github.com/vescale/zgraph/parser/opcode" 44 ) 45 46 type yySymType struct { 47 yys int 48 offset int // offset 49 item interface{} 50 ident string 51 expr ast.ExprNode 52 statement ast.StmtNode 53 } 54 55 type yyXError struct { 56 state, xsym int 57 } 58 59 const ( 60 yyDefault = 57493 61 yyEOFCode = 57344 62 abs = 57454 63 all = 57418 64 allDifferent = 57461 65 allProp = 57476 66 and = 57392 67 andand = 57351 68 andnot = 57467 69 any = 57419 70 arrayAgg = 57432 71 as = 57353 72 asc = 57354 73 assignmentEq = 57468 74 avg = 57433 75 begin = 57402 76 between = 57393 77 bitLit = 57466 78 booleanType = 57406 79 by = 57355 80 caseKwd = 57396 81 cast = 57442 82 ceil = 57455 83 ceiling = 57456 84 cheapest = 57421 85 comment = 57404 86 commit = 57405 87 cost = 57423 88 count = 57434 89 create = 57356 90 dateType = 57410 91 day = 57411 92 decLit = 57463 93 decimalType = 57407 94 defaultKwd = 57357 95 deleteKwd = 57358 96 desc = 57359 97 distinct = 57401 98 div = 57490 99 doubleAtIdentifier = 57349 100 doubleType = 57360 101 drop = 57361 102 edge = 57362 103 edgeIncomingLeft = 57481 104 edgeIncomingRight = 57482 105 edgeOutgoingLeft = 57479 106 edgeOutgoingRight = 57480 107 elementNumber = 57457 108 elseKwd = 57399 109 empty = 57487 110 end = 57403 111 eq = 57469 112 yyErrCode = 57345 113 exists = 57363 114 explain = 57408 115 extract = 57439 116 falseKwd = 57364 117 floatLit = 57462 118 floatType = 57365 119 floor = 57458 120 forkKwd = 57431 121 from = 57366 122 ge = 57470 123 graph = 57416 124 graphs = 57417 125 group = 57367 126 hasLabel = 57459 127 having = 57368 128 hexLit = 57465 129 hour = 57426 130 id = 57460 131 identifier = 57346 132 ifKwd = 57369 133 in = 57400 134 inDegree = 57449 135 index = 57370 136 insert = 57371 137 intLit = 57464 138 integerType = 57372 139 interval = 57425 140 into = 57373 141 invalid = 57350 142 is = 57374 143 javaRegexpLike = 57450 144 label = 57451 145 labels = 57394 146 le = 57471 147 leftArrow = 57477 148 limit = 57375 149 listagg = 57435 150 lower = 57447 151 lowerThanOn = 57488 152 match = 57376 153 matchNumber = 57452 154 max = 57436 155 min = 57437 156 minute = 57427 157 mod = 57491 158 month = 57428 159 neg = 57492 160 neq = 57472 161 neqSynonym = 57473 162 not = 57377 163 null = 57378 164 nulleq = 57474 165 offset = 57415 166 on = 57379 167 or = 57391 168 order = 57380 169 outDegree = 57453 170 paramMarker = 57475 171 path = 57424 172 pipes = 57352 173 pipesAsOr = 57489 174 prefix = 57446 175 properties = 57395 176 reachIncomingLeft = 57485 177 reachIncomingRight = 57486 178 reachOutgoingLeft = 57483 179 reachOutgoingRight = 57484 180 rightArrow = 57478 181 rollback = 57414 182 second = 57429 183 selectKwd = 57381 184 set = 57382 185 shortest = 57420 186 show = 57383 187 singleAtIdentifier = 57348 188 stringKwd = 57443 189 stringLit = 57347 190 substring = 57430 191 sum = 57438 192 then = 57397 193 timeType = 57413 194 timestampType = 57412 195 timezoneHour = 57440 196 timezoneMinute = 57441 197 top = 57422 198 trueKwd = 57384 199 unique = 57385 200 update = 57386 201 uppper = 57448 202 use = 57387 203 vertex = 57388 204 when = 57398 205 where = 57389 206 with = 57444 207 xor = 57390 208 yearType = 57409 209 zone = 57445 210 211 yyMaxDepth = 200 212 yyTabOfs = -365 213 ) 214 215 var ( 216 yyXLAT = map[int]int{ 217 41: 0, // ')' (280x) 218 57424: 1, // path (276x) 219 57344: 2, // $end (275x) 220 59: 3, // ';' (274x) 221 57423: 4, // cost (264x) 222 57403: 5, // end (260x) 223 57431: 6, // forkKwd (254x) 224 44: 7, // ',' (247x) 225 45: 8, // '-' (244x) 226 57377: 9, // not (237x) 227 57375: 10, // limit (227x) 228 57380: 11, // order (222x) 229 57368: 12, // having (217x) 230 57367: 13, // group (201x) 231 57366: 14, // from (198x) 232 42: 15, // '*' (195x) 233 43: 16, // '+' (193x) 234 57374: 17, // is (190x) 235 57400: 18, // in (181x) 236 57392: 19, // and (180x) 237 57469: 20, // eq (180x) 238 37: 21, // '%' (179x) 239 47: 22, // '/' (179x) 240 60: 23, // '<' (179x) 241 62: 24, // '>' (179x) 242 57470: 25, // ge (179x) 243 57471: 26, // le (179x) 244 57473: 27, // neqSynonym (179x) 245 57391: 28, // or (179x) 246 57352: 29, // pipes (179x) 247 57390: 30, // xor (179x) 248 57381: 31, // selectKwd (178x) 249 40: 32, // '(' (177x) 250 57358: 33, // deleteKwd (174x) 251 57371: 34, // insert (174x) 252 57386: 35, // update (174x) 253 57398: 36, // when (158x) 254 57354: 37, // asc (157x) 255 57359: 38, // desc (157x) 256 57399: 39, // elseKwd (156x) 257 57353: 40, // as (155x) 258 57397: 41, // then (152x) 259 57421: 42, // cheapest (106x) 260 57394: 43, // labels (106x) 261 57420: 44, // shortest (106x) 262 57415: 45, // offset (105x) 263 57418: 46, // all (104x) 264 57419: 47, // any (104x) 265 57413: 48, // timeType (104x) 266 57422: 49, // top (104x) 267 57402: 50, // begin (103x) 268 57405: 51, // commit (103x) 269 57411: 52, // day (103x) 270 57408: 53, // explain (103x) 271 57416: 54, // graph (103x) 272 57426: 55, // hour (103x) 273 57427: 56, // minute (103x) 274 57428: 57, // month (103x) 275 57414: 58, // rollback (103x) 276 57429: 59, // second (103x) 277 57444: 60, // with (103x) 278 57409: 61, // yearType (103x) 279 57445: 62, // zone (103x) 280 57406: 63, // booleanType (102x) 281 57410: 64, // dateType (102x) 282 57446: 65, // prefix (102x) 283 57443: 66, // stringKwd (102x) 284 57412: 67, // timestampType (102x) 285 57440: 68, // timezoneHour (102x) 286 57441: 69, // timezoneMinute (102x) 287 57432: 70, // arrayAgg (101x) 288 57433: 71, // avg (101x) 289 57442: 72, // cast (101x) 290 57434: 73, // count (101x) 291 57439: 74, // extract (101x) 292 57346: 75, // identifier (101x) 293 57425: 76, // interval (101x) 294 57435: 77, // listagg (101x) 295 57436: 78, // max (101x) 296 57437: 79, // min (101x) 297 57430: 80, // substring (101x) 298 57438: 81, // sum (101x) 299 57389: 82, // where (100x) 300 57548: 83, // Identifier (82x) 301 57617: 84, // UnReservedKeyword (82x) 302 57464: 85, // intLit (65x) 303 46: 86, // '.' (63x) 304 57347: 87, // stringLit (62x) 305 57623: 88, // VariableName (62x) 306 57475: 89, // paramMarker (61x) 307 57486: 90, // reachIncomingRight (60x) 308 123: 91, // '{' (58x) 309 57466: 92, // bitLit (58x) 310 57363: 93, // exists (58x) 311 57465: 94, // hexLit (58x) 312 57451: 95, // label (58x) 313 57484: 96, // reachOutgoingRight (58x) 314 57482: 97, // edgeIncomingRight (57x) 315 58: 98, // ':' (56x) 316 63: 99, // '?' (56x) 317 57454: 100, // abs (56x) 318 57461: 101, // allDifferent (56x) 319 57396: 102, // caseKwd (56x) 320 57455: 103, // ceil (56x) 321 57456: 104, // ceiling (56x) 322 57463: 105, // decLit (56x) 323 57457: 106, // elementNumber (56x) 324 57364: 107, // falseKwd (56x) 325 57462: 108, // floatLit (56x) 326 57458: 109, // floor (56x) 327 57459: 110, // hasLabel (56x) 328 57460: 111, // id (56x) 329 57449: 112, // inDegree (56x) 330 57450: 113, // javaRegexpLike (56x) 331 57447: 114, // lower (56x) 332 57452: 115, // matchNumber (56x) 333 57453: 116, // outDegree (56x) 334 57384: 117, // trueKwd (56x) 335 57448: 118, // uppper (56x) 336 57480: 119, // edgeOutgoingRight (55x) 337 57395: 120, // properties (52x) 338 57362: 121, // edge (50x) 339 57590: 122, // PropertyAccess (50x) 340 57388: 123, // vertex (50x) 341 57613: 124, // StringLiteral (49x) 342 124: 125, // '|' (48x) 343 57393: 126, // between (48x) 344 57614: 127, // Subquery (48x) 345 57494: 128, // Aggregation (47x) 346 57497: 129, // ArithmeticExpression (47x) 347 57499: 130, // BindVariable (47x) 348 57500: 131, // BooleanLiteral (47x) 349 57501: 132, // BracketedValueExpression (47x) 350 57504: 133, // CaseExpression (47x) 351 57505: 134, // CastSpecification (47x) 352 57506: 135, // CharacterSubstring (47x) 353 57515: 136, // DateLiteral (47x) 354 57526: 137, // ExistsPredicate (47x) 355 57530: 138, // ExtractFunction (47x) 356 57536: 139, // FunctionInvocation (47x) 357 57537: 140, // FunctionName (47x) 358 57551: 141, // InPredicate (47x) 359 57556: 142, // IntervalLiteral (47x) 360 57559: 143, // IsNotNullPredicate (47x) 361 57560: 144, // IsNullPredicate (47x) 362 57573: 145, // Literal (47x) 363 57574: 146, // LogicalExpression (47x) 364 57577: 147, // NotInPredicate (47x) 365 57578: 148, // NumericLiteral (47x) 366 57597: 149, // RelationalExpression (47x) 367 57600: 150, // ScalarSubquery (47x) 368 57601: 151, // SearchedCase (47x) 369 57607: 152, // SimpleCase (47x) 370 57612: 153, // StringConcat (47x) 371 57615: 154, // TimeLiteral (47x) 372 57616: 155, // TimestampLiteral (47x) 373 57620: 156, // ValueExpression (47x) 374 57626: 157, // VariableReference (47x) 375 57382: 158, // set (46x) 376 57476: 159, // allProp (45x) 377 57628: 160, // VertexPattern (19x) 378 57379: 161, // on (17x) 379 57622: 162, // VariableLengthPathPattern (10x) 380 57481: 163, // edgeIncomingLeft (9x) 381 57479: 164, // edgeOutgoingLeft (9x) 382 57477: 165, // leftArrow (9x) 383 57478: 166, // rightArrow (9x) 384 57401: 167, // distinct (8x) 385 57518: 168, // DistinctOpt (8x) 386 57542: 169, // GraphName (6x) 387 57369: 170, // ifKwd (6x) 388 57561: 171, // LabelName (6x) 389 57583: 172, // PathPatternMacro (6x) 390 57625: 173, // VariableNameOpt (6x) 391 57632: 174, // WhereClauseOpt (6x) 392 57527: 175, // ExpAsVar (5x) 393 57584: 176, // PathPatternMacroList (5x) 394 57585: 177, // PathPatternMacroOpt (5x) 395 57485: 178, // reachIncomingLeft (5x) 396 57483: 179, // reachOutgoingLeft (5x) 397 57605: 180, // SelectStmt (5x) 398 125: 181, // '}' (4x) 399 57534: 182, // FromClause (4x) 400 57546: 183, // GroupByClauseOpt (4x) 401 57547: 184, // HavingClauseOpt (4x) 402 57370: 185, // index (4x) 403 57570: 186, // LimitClauseOpt (4x) 404 57580: 187, // OrderByClauseOpt (4x) 405 57581: 188, // PathPattern (4x) 406 57586: 189, // PatternQuantifier (4x) 407 57587: 190, // PatternQuantifierOpt (4x) 408 57608: 191, // SimplePathPattern (4x) 409 57627: 192, // VariableSpec (4x) 410 57630: 193, // WhenClause (4x) 411 57502: 194, // ByItem (3x) 412 57507: 195, // ColonOrIsKeyword (3x) 413 57522: 196, // EdgePattern (3x) 414 57549: 197, // IfExists (3x) 415 57550: 198, // IfNotExists (3x) 416 57564: 199, // LabelPredicate (3x) 417 57569: 200, // LengthNum (3x) 418 57571: 201, // LimitOption (3x) 419 57591: 202, // PropertyAssignment (3x) 420 57593: 203, // PropertyName (3x) 421 57498: 204, // BeginStmt (2x) 422 57355: 205, // by (2x) 423 57503: 206, // ByList (2x) 424 57508: 207, // CommitStmt (2x) 425 57356: 208, // create (2x) 426 57511: 209, // CreateGraphStmt (2x) 427 57512: 210, // CreateIndexStmt (2x) 428 57513: 211, // CreateLabelStmt (2x) 429 57517: 212, // DeleteStmt (2x) 430 57361: 213, // drop (2x) 431 57519: 214, // DropGraphStmt (2x) 432 57520: 215, // DropIndexStmt (2x) 433 57521: 216, // DropLabelStmt (2x) 434 57523: 217, // ElseClauseOpt (2x) 435 57524: 218, // EmptyStmt (2x) 436 57528: 219, // ExplainStmt (2x) 437 57538: 220, // GraphElementInsertion (2x) 438 57540: 221, // GraphElementUpdate (2x) 439 57555: 222, // InsertStmt (2x) 440 57552: 223, // InValueList (2x) 441 57568: 224, // LabelsAndProperties (2x) 442 57566: 225, // LabelSpecification (2x) 443 57567: 226, // LabelSpecificationOpt (2x) 444 57376: 227, // match (2x) 445 57575: 228, // MatchClause (2x) 446 57378: 229, // null (2x) 447 57592: 230, // PropertyAssignmentList (2x) 448 57598: 231, // RollbackStmt (2x) 449 57602: 232, // SelectClause (2x) 450 57603: 233, // SelectEelement (2x) 451 57383: 234, // show (2x) 452 57606: 235, // ShowStmt (2x) 453 57610: 236, // Statement (2x) 454 57618: 237, // UpdateStmt (2x) 455 57387: 238, // use (2x) 456 57619: 239, // UseStmt (2x) 457 57629: 240, // VertexPatternOpt (2x) 458 57631: 241, // WhenClauseList (2x) 459 57495: 242, // AllPropertiesPrefixOpt (1x) 460 57496: 243, // ArgumentList (1x) 461 57509: 244, // CostClause (1x) 462 57510: 245, // CostClauseOpt (1x) 463 57514: 246, // DataType (1x) 464 57516: 247, // DateTimeField (1x) 465 57407: 248, // decimalType (1x) 466 57360: 249, // doubleType (1x) 467 57525: 250, // Entry (1x) 468 57529: 251, // ExtractField (1x) 469 57531: 252, // FieldAsName (1x) 470 57532: 253, // FieldAsNameOpt (1x) 471 57365: 254, // floatType (1x) 472 57533: 255, // ForStringLengthOpt (1x) 473 57535: 256, // FromClauseOpt (1x) 474 57539: 257, // GraphElementInsertionList (1x) 475 57541: 258, // GraphElementUpdateList (1x) 476 57543: 259, // GraphOnClause (1x) 477 57544: 260, // GraphOnClauseOpt (1x) 478 57545: 261, // GraphPattern (1x) 479 57417: 262, // graphs (1x) 480 57553: 263, // IndexKeyTypeOpt (1x) 481 57554: 264, // IndexName (1x) 482 57372: 265, // integerType (1x) 483 57373: 266, // into (1x) 484 57557: 267, // IntoClause (1x) 485 57558: 268, // IntoClauseOpt (1x) 486 57562: 269, // LabelNameList (1x) 487 57563: 270, // LabelNameListWithComma (1x) 488 57565: 271, // LabelPredicateOpt (1x) 489 57572: 272, // ListaggSeparatorOpt (1x) 490 57576: 273, // MatchClauseList (1x) 491 57579: 274, // Order (1x) 492 57582: 275, // PathPatternList (1x) 493 57588: 276, // PropertiesSpecification (1x) 494 57589: 277, // PropertiesSpecificationOpt (1x) 495 57594: 278, // PropertyNameList (1x) 496 57595: 279, // QuantifiedPathExpr (1x) 497 57596: 280, // ReachabilityPathExpr (1x) 498 57599: 281, // RowsPerMatchOpt (1x) 499 57604: 282, // SelectElementList (1x) 500 57609: 283, // StartPosition (1x) 501 57611: 284, // StatementList (1x) 502 57385: 285, // unique (1x) 503 57621: 286, // ValueExpressionList (1x) 504 57624: 287, // VariableNameList (1x) 505 57493: 288, // $default (0x) 506 38: 289, // '&' (0x) 507 94: 290, // '^' (0x) 508 126: 291, // '~' (0x) 509 57351: 292, // andand (0x) 510 57467: 293, // andnot (0x) 511 57468: 294, // assignmentEq (0x) 512 57404: 295, // comment (0x) 513 57357: 296, // defaultKwd (0x) 514 57490: 297, // div (0x) 515 57349: 298, // doubleAtIdentifier (0x) 516 57487: 299, // empty (0x) 517 57345: 300, // error (0x) 518 57350: 301, // invalid (0x) 519 57488: 302, // lowerThanOn (0x) 520 57491: 303, // mod (0x) 521 57492: 304, // neg (0x) 522 57472: 305, // neq (0x) 523 57474: 306, // nulleq (0x) 524 57489: 307, // pipesAsOr (0x) 525 57348: 308, // singleAtIdentifier (0x) 526 } 527 528 yySymNames = []string{ 529 "')'", 530 "path", 531 "$end", 532 "';'", 533 "cost", 534 "end", 535 "forkKwd", 536 "','", 537 "'-'", 538 "not", 539 "limit", 540 "order", 541 "having", 542 "group", 543 "from", 544 "'*'", 545 "'+'", 546 "is", 547 "in", 548 "and", 549 "eq", 550 "'%'", 551 "'/'", 552 "'<'", 553 "'>'", 554 "ge", 555 "le", 556 "neqSynonym", 557 "or", 558 "pipes", 559 "xor", 560 "selectKwd", 561 "'('", 562 "deleteKwd", 563 "insert", 564 "update", 565 "when", 566 "asc", 567 "desc", 568 "elseKwd", 569 "as", 570 "then", 571 "cheapest", 572 "labels", 573 "shortest", 574 "offset", 575 "all", 576 "any", 577 "timeType", 578 "top", 579 "begin", 580 "commit", 581 "day", 582 "explain", 583 "graph", 584 "hour", 585 "minute", 586 "month", 587 "rollback", 588 "second", 589 "with", 590 "yearType", 591 "zone", 592 "booleanType", 593 "dateType", 594 "prefix", 595 "stringKwd", 596 "timestampType", 597 "timezoneHour", 598 "timezoneMinute", 599 "arrayAgg", 600 "avg", 601 "cast", 602 "count", 603 "extract", 604 "identifier", 605 "interval", 606 "listagg", 607 "max", 608 "min", 609 "substring", 610 "sum", 611 "where", 612 "Identifier", 613 "UnReservedKeyword", 614 "intLit", 615 "'.'", 616 "stringLit", 617 "VariableName", 618 "paramMarker", 619 "reachIncomingRight", 620 "'{'", 621 "bitLit", 622 "exists", 623 "hexLit", 624 "label", 625 "reachOutgoingRight", 626 "edgeIncomingRight", 627 "':'", 628 "'?'", 629 "abs", 630 "allDifferent", 631 "caseKwd", 632 "ceil", 633 "ceiling", 634 "decLit", 635 "elementNumber", 636 "falseKwd", 637 "floatLit", 638 "floor", 639 "hasLabel", 640 "id", 641 "inDegree", 642 "javaRegexpLike", 643 "lower", 644 "matchNumber", 645 "outDegree", 646 "trueKwd", 647 "uppper", 648 "edgeOutgoingRight", 649 "properties", 650 "edge", 651 "PropertyAccess", 652 "vertex", 653 "StringLiteral", 654 "'|'", 655 "between", 656 "Subquery", 657 "Aggregation", 658 "ArithmeticExpression", 659 "BindVariable", 660 "BooleanLiteral", 661 "BracketedValueExpression", 662 "CaseExpression", 663 "CastSpecification", 664 "CharacterSubstring", 665 "DateLiteral", 666 "ExistsPredicate", 667 "ExtractFunction", 668 "FunctionInvocation", 669 "FunctionName", 670 "InPredicate", 671 "IntervalLiteral", 672 "IsNotNullPredicate", 673 "IsNullPredicate", 674 "Literal", 675 "LogicalExpression", 676 "NotInPredicate", 677 "NumericLiteral", 678 "RelationalExpression", 679 "ScalarSubquery", 680 "SearchedCase", 681 "SimpleCase", 682 "StringConcat", 683 "TimeLiteral", 684 "TimestampLiteral", 685 "ValueExpression", 686 "VariableReference", 687 "set", 688 "allProp", 689 "VertexPattern", 690 "on", 691 "VariableLengthPathPattern", 692 "edgeIncomingLeft", 693 "edgeOutgoingLeft", 694 "leftArrow", 695 "rightArrow", 696 "distinct", 697 "DistinctOpt", 698 "GraphName", 699 "ifKwd", 700 "LabelName", 701 "PathPatternMacro", 702 "VariableNameOpt", 703 "WhereClauseOpt", 704 "ExpAsVar", 705 "PathPatternMacroList", 706 "PathPatternMacroOpt", 707 "reachIncomingLeft", 708 "reachOutgoingLeft", 709 "SelectStmt", 710 "'}'", 711 "FromClause", 712 "GroupByClauseOpt", 713 "HavingClauseOpt", 714 "index", 715 "LimitClauseOpt", 716 "OrderByClauseOpt", 717 "PathPattern", 718 "PatternQuantifier", 719 "PatternQuantifierOpt", 720 "SimplePathPattern", 721 "VariableSpec", 722 "WhenClause", 723 "ByItem", 724 "ColonOrIsKeyword", 725 "EdgePattern", 726 "IfExists", 727 "IfNotExists", 728 "LabelPredicate", 729 "LengthNum", 730 "LimitOption", 731 "PropertyAssignment", 732 "PropertyName", 733 "BeginStmt", 734 "by", 735 "ByList", 736 "CommitStmt", 737 "create", 738 "CreateGraphStmt", 739 "CreateIndexStmt", 740 "CreateLabelStmt", 741 "DeleteStmt", 742 "drop", 743 "DropGraphStmt", 744 "DropIndexStmt", 745 "DropLabelStmt", 746 "ElseClauseOpt", 747 "EmptyStmt", 748 "ExplainStmt", 749 "GraphElementInsertion", 750 "GraphElementUpdate", 751 "InsertStmt", 752 "InValueList", 753 "LabelsAndProperties", 754 "LabelSpecification", 755 "LabelSpecificationOpt", 756 "match", 757 "MatchClause", 758 "null", 759 "PropertyAssignmentList", 760 "RollbackStmt", 761 "SelectClause", 762 "SelectEelement", 763 "show", 764 "ShowStmt", 765 "Statement", 766 "UpdateStmt", 767 "use", 768 "UseStmt", 769 "VertexPatternOpt", 770 "WhenClauseList", 771 "AllPropertiesPrefixOpt", 772 "ArgumentList", 773 "CostClause", 774 "CostClauseOpt", 775 "DataType", 776 "DateTimeField", 777 "decimalType", 778 "doubleType", 779 "Entry", 780 "ExtractField", 781 "FieldAsName", 782 "FieldAsNameOpt", 783 "floatType", 784 "ForStringLengthOpt", 785 "FromClauseOpt", 786 "GraphElementInsertionList", 787 "GraphElementUpdateList", 788 "GraphOnClause", 789 "GraphOnClauseOpt", 790 "GraphPattern", 791 "graphs", 792 "IndexKeyTypeOpt", 793 "IndexName", 794 "integerType", 795 "into", 796 "IntoClause", 797 "IntoClauseOpt", 798 "LabelNameList", 799 "LabelNameListWithComma", 800 "LabelPredicateOpt", 801 "ListaggSeparatorOpt", 802 "MatchClauseList", 803 "Order", 804 "PathPatternList", 805 "PropertiesSpecification", 806 "PropertiesSpecificationOpt", 807 "PropertyNameList", 808 "QuantifiedPathExpr", 809 "ReachabilityPathExpr", 810 "RowsPerMatchOpt", 811 "SelectElementList", 812 "StartPosition", 813 "StatementList", 814 "unique", 815 "ValueExpressionList", 816 "VariableNameList", 817 "$default", 818 "'&'", 819 "'^'", 820 "'~'", 821 "andand", 822 "andnot", 823 "assignmentEq", 824 "comment", 825 "defaultKwd", 826 "div", 827 "doubleAtIdentifier", 828 "empty", 829 "error", 830 "invalid", 831 "lowerThanOn", 832 "mod", 833 "neg", 834 "neq", 835 "nulleq", 836 "pipesAsOr", 837 "singleAtIdentifier", 838 } 839 840 yyReductions = []struct{ xsym, components int }{ 841 {0, 1}, 842 {250, 1}, 843 {284, 1}, 844 {284, 3}, 845 {236, 1}, 846 {236, 1}, 847 {236, 1}, 848 {236, 1}, 849 {236, 1}, 850 {236, 1}, 851 {236, 1}, 852 {236, 1}, 853 {236, 1}, 854 {236, 1}, 855 {236, 1}, 856 {236, 1}, 857 {236, 1}, 858 {236, 1}, 859 {236, 1}, 860 {236, 1}, 861 {236, 1}, 862 {218, 0}, 863 {204, 1}, 864 {207, 1}, 865 {209, 4}, 866 {211, 4}, 867 {210, 8}, 868 {263, 0}, 869 {263, 1}, 870 {212, 9}, 871 {214, 4}, 872 {216, 4}, 873 {215, 4}, 874 {219, 2}, 875 {222, 10}, 876 {268, 0}, 877 {268, 1}, 878 {267, 2}, 879 {257, 1}, 880 {257, 3}, 881 {220, 3}, 882 {220, 7}, 883 {224, 2}, 884 {226, 0}, 885 {226, 1}, 886 {225, 4}, 887 {277, 0}, 888 {277, 1}, 889 {276, 4}, 890 {230, 1}, 891 {230, 3}, 892 {202, 3}, 893 {122, 3}, 894 {156, 1}, 895 {156, 1}, 896 {156, 1}, 897 {156, 1}, 898 {156, 1}, 899 {156, 1}, 900 {156, 1}, 901 {156, 1}, 902 {156, 1}, 903 {156, 1}, 904 {156, 1}, 905 {156, 1}, 906 {156, 1}, 907 {156, 1}, 908 {156, 1}, 909 {156, 1}, 910 {156, 1}, 911 {156, 1}, 912 {156, 1}, 913 {156, 1}, 914 {156, 1}, 915 {157, 1}, 916 {145, 1}, 917 {145, 1}, 918 {145, 1}, 919 {145, 1}, 920 {145, 1}, 921 {145, 1}, 922 {145, 1}, 923 {124, 1}, 924 {124, 1}, 925 {124, 1}, 926 {148, 1}, 927 {148, 1}, 928 {148, 1}, 929 {131, 1}, 930 {131, 1}, 931 {136, 2}, 932 {154, 2}, 933 {155, 2}, 934 {142, 3}, 935 {247, 1}, 936 {247, 1}, 937 {247, 1}, 938 {247, 1}, 939 {247, 1}, 940 {247, 1}, 941 {130, 1}, 942 {129, 2}, 943 {129, 3}, 944 {129, 3}, 945 {129, 3}, 946 {129, 3}, 947 {129, 3}, 948 {149, 3}, 949 {149, 3}, 950 {149, 3}, 951 {149, 3}, 952 {149, 3}, 953 {149, 3}, 954 {146, 3}, 955 {146, 3}, 956 {146, 3}, 957 {146, 2}, 958 {153, 3}, 959 {132, 3}, 960 {139, 4}, 961 {140, 1}, 962 {140, 1}, 963 {140, 1}, 964 {140, 1}, 965 {140, 1}, 966 {140, 1}, 967 {140, 1}, 968 {140, 1}, 969 {140, 1}, 970 {140, 1}, 971 {140, 1}, 972 {140, 1}, 973 {140, 1}, 974 {140, 1}, 975 {140, 1}, 976 {140, 1}, 977 {243, 1}, 978 {243, 3}, 979 {135, 7}, 980 {283, 1}, 981 {255, 0}, 982 {255, 2}, 983 {128, 4}, 984 {128, 5}, 985 {128, 5}, 986 {128, 5}, 987 {128, 5}, 988 {128, 5}, 989 {128, 5}, 990 {128, 6}, 991 {168, 0}, 992 {168, 1}, 993 {272, 0}, 994 {272, 2}, 995 {138, 6}, 996 {251, 1}, 997 {251, 1}, 998 {251, 1}, 999 {251, 1}, 1000 {251, 1}, 1001 {251, 1}, 1002 {251, 1}, 1003 {251, 1}, 1004 {144, 3}, 1005 {143, 4}, 1006 {134, 6}, 1007 {246, 1}, 1008 {246, 1}, 1009 {246, 1}, 1010 {246, 1}, 1011 {246, 1}, 1012 {246, 1}, 1013 {246, 1}, 1014 {246, 1}, 1015 {246, 4}, 1016 {246, 1}, 1017 {246, 4}, 1018 {133, 1}, 1019 {133, 1}, 1020 {152, 5}, 1021 {151, 4}, 1022 {241, 1}, 1023 {241, 2}, 1024 {193, 4}, 1025 {217, 0}, 1026 {217, 2}, 1027 {141, 3}, 1028 {147, 4}, 1029 {223, 3}, 1030 {286, 1}, 1031 {286, 3}, 1032 {137, 2}, 1033 {127, 3}, 1034 {150, 1}, 1035 {231, 1}, 1036 {180, 8}, 1037 {232, 3}, 1038 {232, 2}, 1039 {282, 1}, 1040 {282, 3}, 1041 {233, 1}, 1042 {233, 3}, 1043 {175, 2}, 1044 {242, 0}, 1045 {242, 2}, 1046 {253, 0}, 1047 {253, 1}, 1048 {252, 2}, 1049 {252, 2}, 1050 {182, 2}, 1051 {256, 0}, 1052 {256, 1}, 1053 {273, 1}, 1054 {273, 3}, 1055 {228, 4}, 1056 {259, 2}, 1057 {260, 0}, 1058 {260, 1}, 1059 {281, 0}, 1060 {261, 1}, 1061 {261, 3}, 1062 {275, 1}, 1063 {275, 3}, 1064 {188, 1}, 1065 {188, 2}, 1066 {188, 3}, 1067 {188, 3}, 1068 {188, 4}, 1069 {188, 3}, 1070 {188, 3}, 1071 {188, 4}, 1072 {188, 2}, 1073 {191, 1}, 1074 {191, 3}, 1075 {191, 3}, 1076 {162, 3}, 1077 {280, 4}, 1078 {280, 4}, 1079 {280, 4}, 1080 {160, 3}, 1081 {240, 0}, 1082 {240, 1}, 1083 {196, 3}, 1084 {196, 1}, 1085 {196, 3}, 1086 {196, 1}, 1087 {196, 3}, 1088 {196, 1}, 1089 {192, 2}, 1090 {88, 1}, 1091 {173, 0}, 1092 {173, 1}, 1093 {287, 1}, 1094 {287, 3}, 1095 {199, 2}, 1096 {271, 0}, 1097 {271, 1}, 1098 {195, 1}, 1099 {195, 1}, 1100 {270, 1}, 1101 {270, 3}, 1102 {269, 1}, 1103 {269, 3}, 1104 {279, 2}, 1105 {279, 8}, 1106 {244, 2}, 1107 {245, 0}, 1108 {245, 1}, 1109 {189, 1}, 1110 {189, 1}, 1111 {189, 1}, 1112 {189, 3}, 1113 {189, 4}, 1114 {189, 5}, 1115 {189, 4}, 1116 {190, 0}, 1117 {190, 1}, 1118 {177, 0}, 1119 {177, 1}, 1120 {176, 1}, 1121 {176, 2}, 1122 {172, 5}, 1123 {174, 0}, 1124 {174, 2}, 1125 {183, 0}, 1126 {183, 3}, 1127 {206, 1}, 1128 {206, 3}, 1129 {194, 1}, 1130 {194, 2}, 1131 {274, 1}, 1132 {274, 1}, 1133 {184, 0}, 1134 {184, 2}, 1135 {187, 0}, 1136 {187, 3}, 1137 {186, 0}, 1138 {186, 2}, 1139 {186, 4}, 1140 {186, 4}, 1141 {201, 1}, 1142 {201, 1}, 1143 {200, 1}, 1144 {237, 9}, 1145 {258, 1}, 1146 {258, 3}, 1147 {221, 5}, 1148 {239, 2}, 1149 {235, 2}, 1150 {235, 2}, 1151 {235, 4}, 1152 {197, 0}, 1153 {197, 2}, 1154 {198, 0}, 1155 {198, 3}, 1156 {169, 1}, 1157 {203, 1}, 1158 {264, 1}, 1159 {171, 1}, 1160 {83, 1}, 1161 {83, 1}, 1162 {84, 1}, 1163 {84, 1}, 1164 {84, 1}, 1165 {84, 1}, 1166 {84, 1}, 1167 {84, 1}, 1168 {84, 1}, 1169 {84, 1}, 1170 {84, 1}, 1171 {84, 1}, 1172 {84, 1}, 1173 {84, 1}, 1174 {84, 1}, 1175 {84, 1}, 1176 {84, 1}, 1177 {84, 1}, 1178 {84, 1}, 1179 {84, 1}, 1180 {84, 1}, 1181 {84, 1}, 1182 {84, 1}, 1183 {84, 1}, 1184 {84, 1}, 1185 {84, 1}, 1186 {84, 1}, 1187 {84, 1}, 1188 {84, 1}, 1189 {84, 1}, 1190 {84, 1}, 1191 {84, 1}, 1192 {84, 1}, 1193 {84, 1}, 1194 {84, 1}, 1195 {84, 1}, 1196 {84, 1}, 1197 {84, 1}, 1198 {84, 1}, 1199 {84, 1}, 1200 {84, 1}, 1201 {84, 1}, 1202 {84, 1}, 1203 {84, 1}, 1204 {278, 1}, 1205 {278, 3}, 1206 } 1207 1208 yyXErrors = map[yyXError]string{} 1209 1210 yyParseTab = [605][]uint16{ 1211 // 0 1212 {1: 395, 344, 344, 31: 88, 33: 88, 88, 88, 50: 386, 387, 53: 391, 58: 392, 172: 394, 176: 393, 389, 180: 382, 204: 370, 207: 371, 388, 372, 374, 373, 375, 390, 376, 378, 377, 218: 369, 379, 222: 380, 231: 381, 234: 397, 385, 368, 383, 396, 384, 250: 366, 284: 367}, 1213 {2: 365}, 1214 {2: 364, 968}, 1215 {2: 363, 363}, 1216 {2: 361, 361}, 1217 // 5 1218 {2: 360, 360}, 1219 {2: 359, 359}, 1220 {2: 358, 358}, 1221 {2: 357, 357}, 1222 {2: 356, 356}, 1223 // 10 1224 {2: 355, 355}, 1225 {2: 354, 354}, 1226 {2: 353, 353}, 1227 {2: 352, 352}, 1228 {2: 351, 351}, 1229 // 15 1230 {2: 350, 350}, 1231 {2: 349, 349}, 1232 {2: 348, 348}, 1233 {2: 347, 347}, 1234 {2: 346, 346}, 1235 // 20 1236 {2: 345, 345}, 1237 {2: 343, 343}, 1238 {2: 342, 342}, 1239 {54: 947, 95: 948, 185: 338, 263: 949, 285: 950}, 1240 {31: 543, 33: 872, 873, 874, 232: 542}, 1241 // 25 1242 {54: 861, 95: 862, 185: 863}, 1243 {1: 395, 31: 88, 172: 394, 176: 393, 541, 180: 860}, 1244 {2: 171, 171}, 1245 {1: 395, 31: 87, 33: 87, 87, 87, 172: 859}, 1246 {1: 86, 31: 86, 33: 86, 86, 86}, 1247 // 30 1248 {1: 424, 4: 423, 406, 431, 42: 421, 44: 420, 416, 418, 419, 414, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 411, 446, 443, 413, 440, 441, 432, 433, 442, 434, 439, 403, 425, 435, 436, 437, 430, 438, 83: 448, 404}, 1249 {1: 424, 4: 423, 406, 431, 42: 421, 44: 420, 416, 418, 419, 414, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 411, 446, 443, 413, 440, 441, 432, 433, 442, 434, 439, 403, 425, 435, 436, 437, 430, 438, 83: 402, 404, 169: 447}, 1250 {43: 399, 262: 398}, 1251 {2: 57, 57}, 1252 {2: 56, 56, 18: 400}, 1253 // 35 1254 {1: 424, 4: 423, 406, 431, 42: 421, 44: 420, 416, 418, 419, 414, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 411, 446, 443, 413, 440, 441, 432, 433, 442, 434, 439, 403, 425, 435, 436, 437, 430, 438, 83: 402, 404, 169: 401}, 1255 {2: 55, 55}, 1256 {50, 2: 50, 50, 7: 50, 10: 50, 50, 50, 50, 82: 50, 121: 50, 123: 50}, 1257 {46, 46, 46, 46, 46, 46, 46, 46, 46, 46, 46, 46, 46, 46, 46, 46, 46, 46, 46, 46, 46, 46, 46, 46, 46, 46, 46, 46, 46, 46, 46, 46, 46, 46, 46, 46, 46, 46, 46, 46, 46, 46, 43: 46, 82: 46, 86: 46, 89: 46, 46, 46, 96: 46, 46, 46, 119: 46, 46, 46, 123: 46, 125: 46, 46, 158: 46, 46}, 1258 {45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 43: 45, 82: 45, 86: 45, 89: 45, 45, 45, 96: 45, 45, 45, 119: 45, 45, 45, 123: 45, 125: 45, 45, 158: 45, 45}, 1259 // 40 1260 {44, 44, 44, 44, 44, 44, 44, 44, 44, 44, 44, 44, 44, 44, 44, 44, 44, 44, 44, 44, 44, 44, 44, 44, 44, 44, 44, 44, 44, 44, 44, 44, 44, 44, 44, 44, 44, 44, 44, 44, 44, 44, 43: 44, 82: 44, 86: 44, 89: 44, 44, 44, 96: 44, 44, 44, 119: 44, 44, 44, 123: 44, 125: 44, 44, 158: 44, 44}, 1261 {43, 43, 43, 43, 43, 43, 43, 43, 43, 43, 43, 43, 43, 43, 43, 43, 43, 43, 43, 43, 43, 43, 43, 43, 43, 43, 43, 43, 43, 43, 43, 43, 43, 43, 43, 43, 43, 43, 43, 43, 43, 43, 43: 43, 82: 43, 86: 43, 89: 43, 43, 43, 96: 43, 43, 43, 119: 43, 43, 43, 123: 43, 125: 43, 43, 158: 43, 43}, 1262 {42, 42, 42, 42, 42, 42, 42, 42, 42, 42, 42, 42, 42, 42, 42, 42, 42, 42, 42, 42, 42, 42, 42, 42, 42, 42, 42, 42, 42, 42, 42, 42, 42, 42, 42, 42, 42, 42, 42, 42, 42, 42, 43: 42, 82: 42, 86: 42, 89: 42, 42, 42, 96: 42, 42, 42, 119: 42, 42, 42, 123: 42, 125: 42, 42, 158: 42, 42}, 1263 {41, 41, 41, 41, 41, 41, 41, 41, 41, 41, 41, 41, 41, 41, 41, 41, 41, 41, 41, 41, 41, 41, 41, 41, 41, 41, 41, 41, 41, 41, 41, 41, 41, 41, 41, 41, 41, 41, 41, 41, 41, 41, 43: 41, 82: 41, 86: 41, 89: 41, 41, 41, 96: 41, 41, 41, 119: 41, 41, 41, 123: 41, 125: 41, 41, 158: 41, 41}, 1264 {40, 40, 40, 40, 40, 40, 40, 40, 40, 40, 40, 40, 40, 40, 40, 40, 40, 40, 40, 40, 40, 40, 40, 40, 40, 40, 40, 40, 40, 40, 40, 40, 40, 40, 40, 40, 40, 40, 40, 40, 40, 40, 43: 40, 82: 40, 86: 40, 89: 40, 40, 40, 96: 40, 40, 40, 119: 40, 40, 40, 123: 40, 125: 40, 40, 158: 40, 40}, 1265 // 45 1266 {39, 39, 39, 39, 39, 39, 39, 39, 39, 39, 39, 39, 39, 39, 39, 39, 39, 39, 39, 39, 39, 39, 39, 39, 39, 39, 39, 39, 39, 39, 39, 39, 39, 39, 39, 39, 39, 39, 39, 39, 39, 39, 43: 39, 82: 39, 86: 39, 89: 39, 39, 39, 96: 39, 39, 39, 119: 39, 39, 39, 123: 39, 125: 39, 39, 158: 39, 39}, 1267 {38, 38, 38, 38, 38, 38, 38, 38, 38, 38, 38, 38, 38, 38, 38, 38, 38, 38, 38, 38, 38, 38, 38, 38, 38, 38, 38, 38, 38, 38, 38, 38, 38, 38, 38, 38, 38, 38, 38, 38, 38, 38, 43: 38, 82: 38, 86: 38, 89: 38, 38, 38, 96: 38, 38, 38, 119: 38, 38, 38, 123: 38, 125: 38, 38, 158: 38}, 1268 {37, 37, 37, 37, 37, 37, 37, 37, 37, 37, 37, 37, 37, 37, 37, 37, 37, 37, 37, 37, 37, 37, 37, 37, 37, 37, 37, 37, 37, 37, 37, 37, 37, 37, 37, 37, 37, 37, 37, 37, 37, 37, 43: 37, 82: 37, 86: 37, 89: 37, 37, 37, 96: 37, 37, 37, 119: 37, 37, 37, 123: 37, 125: 37, 37, 158: 37, 37}, 1269 {36, 36, 36, 36, 36, 36, 36, 36, 36, 36, 36, 36, 36, 36, 36, 36, 36, 36, 36, 36, 36, 36, 36, 36, 36, 36, 36, 36, 36, 36, 36, 36, 36, 36, 36, 36, 36, 36, 36, 36, 36, 36, 43: 36, 82: 36, 86: 36, 89: 36, 36, 36, 96: 36, 36, 36, 119: 36, 36, 36, 123: 36, 125: 36, 36, 158: 36}, 1270 {35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 43: 35, 82: 35, 86: 35, 89: 35, 35, 35, 96: 35, 35, 35, 119: 35, 35, 35, 123: 35, 125: 35, 35, 158: 35}, 1271 // 50 1272 {34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 34, 43: 34, 82: 34, 86: 34, 89: 34, 34, 34, 96: 34, 34, 34, 119: 34, 34, 34, 123: 34, 125: 34, 34, 158: 34, 34}, 1273 {33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 43: 33, 82: 33, 86: 33, 89: 33, 33, 33, 96: 33, 33, 33, 119: 33, 33, 33, 123: 33, 125: 33, 33, 158: 33, 33}, 1274 {32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 43: 32, 82: 32, 86: 32, 89: 32, 32, 32, 96: 32, 32, 32, 119: 32, 32, 32, 123: 32, 125: 32, 32, 158: 32, 32}, 1275 {31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 43: 31, 82: 31, 86: 31, 89: 31, 31, 31, 96: 31, 31, 31, 119: 31, 31, 31, 123: 31, 125: 31, 31, 158: 31, 31}, 1276 {30, 30, 30, 30, 30, 30, 30, 30, 30, 30, 30, 30, 30, 30, 30, 30, 30, 30, 30, 30, 30, 30, 30, 30, 30, 30, 30, 30, 30, 30, 30, 30, 30, 30, 30, 30, 30, 30, 30, 30, 30, 30, 43: 30, 82: 30, 86: 30, 89: 30, 30, 30, 96: 30, 30, 30, 119: 30, 30, 30, 123: 30, 125: 30, 30, 158: 30, 30}, 1277 // 55 1278 {29, 29, 29, 29, 29, 29, 29, 29, 29, 29, 29, 29, 29, 29, 29, 29, 29, 29, 29, 29, 29, 29, 29, 29, 29, 29, 29, 29, 29, 29, 29, 29, 29, 29, 29, 29, 29, 29, 29, 29, 29, 29, 43: 29, 82: 29, 86: 29, 89: 29, 29, 29, 96: 29, 29, 29, 119: 29, 29, 29, 123: 29, 125: 29, 29, 158: 29, 29}, 1279 {28, 28, 28, 28, 28, 28, 28, 28, 28, 28, 28, 28, 28, 28, 28, 28, 28, 28, 28, 28, 28, 28, 28, 28, 28, 28, 28, 28, 28, 28, 28, 28, 28, 28, 28, 28, 28, 28, 28, 28, 28, 28, 43: 28, 82: 28, 86: 28, 89: 28, 28, 28, 96: 28, 28, 28, 119: 28, 28, 28, 123: 28, 125: 28, 28, 158: 28, 28}, 1280 {27, 27, 27, 27, 27, 27, 27, 27, 27, 27, 27, 27, 27, 27, 27, 27, 27, 27, 27, 27, 27, 27, 27, 27, 27, 27, 27, 27, 27, 27, 27, 27, 27, 27, 27, 27, 27, 27, 27, 27, 27, 27, 43: 27, 82: 27, 86: 27, 89: 27, 27, 27, 96: 27, 27, 27, 119: 27, 27, 27, 123: 27, 125: 27, 27, 158: 27, 27}, 1281 {26, 26, 26, 26, 26, 26, 26, 26, 26, 26, 26, 26, 26, 26, 26, 26, 26, 26, 26, 26, 26, 26, 26, 26, 26, 26, 26, 26, 26, 26, 26, 26, 26, 26, 26, 26, 26, 26, 26, 26, 26, 26, 43: 26, 82: 26, 86: 26, 89: 26, 26, 26, 96: 26, 26, 26, 119: 26, 26, 26, 123: 26, 125: 26, 26, 158: 26, 26}, 1282 {25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 43: 25, 82: 25, 86: 25, 89: 25, 25, 25, 96: 25, 25, 25, 119: 25, 25, 25, 123: 25, 125: 25, 25, 158: 25, 25}, 1283 // 60 1284 {24, 24, 24, 24, 24, 24, 24, 24, 24, 24, 24, 24, 24, 24, 24, 24, 24, 24, 24, 24, 24, 24, 24, 24, 24, 24, 24, 24, 24, 24, 24, 24, 24, 24, 24, 24, 24, 24, 24, 24, 24, 24, 43: 24, 82: 24, 86: 24, 89: 24, 24, 24, 96: 24, 24, 24, 119: 24, 24, 24, 123: 24, 125: 24, 24, 158: 24}, 1285 {23, 23, 23, 23, 23, 23, 23, 23, 23, 23, 23, 23, 23, 23, 23, 23, 23, 23, 23, 23, 23, 23, 23, 23, 23, 23, 23, 23, 23, 23, 23, 23, 23, 23, 23, 23, 23, 23, 23, 23, 23, 23, 43: 23, 82: 23, 86: 23, 89: 23, 23, 23, 96: 23, 23, 23, 119: 23, 23, 23, 123: 23, 125: 23, 23, 158: 23, 23}, 1286 {22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 43: 22, 82: 22, 86: 22, 89: 22, 22, 22, 96: 22, 22, 22, 119: 22, 22, 22, 123: 22, 125: 22, 22, 158: 22, 22}, 1287 {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, 43: 21, 82: 21, 86: 21, 89: 21, 21, 21, 96: 21, 21, 21, 119: 21, 21, 21, 123: 21, 125: 21, 21, 158: 21, 21}, 1288 {20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 43: 20, 82: 20, 86: 20, 89: 20, 20, 20, 96: 20, 20, 20, 119: 20, 20, 20, 123: 20, 125: 20, 20, 158: 20, 20}, 1289 // 65 1290 {19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 43: 19, 82: 19, 86: 19, 89: 19, 19, 19, 96: 19, 19, 19, 119: 19, 19, 19, 123: 19, 125: 19, 19, 158: 19}, 1291 {18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 43: 18, 82: 18, 86: 18, 89: 18, 18, 18, 96: 18, 18, 18, 119: 18, 18, 18, 123: 18, 125: 18, 18, 158: 18, 18}, 1292 {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, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 43: 17, 82: 17, 86: 17, 89: 17, 17, 17, 96: 17, 17, 17, 119: 17, 17, 17, 123: 17, 125: 17, 17, 158: 17}, 1293 {16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 43: 16, 82: 16, 86: 16, 89: 16, 16, 16, 96: 16, 16, 16, 119: 16, 16, 16, 123: 16, 125: 16, 16, 158: 16}, 1294 {15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 43: 15, 82: 15, 86: 15, 89: 15, 15, 15, 96: 15, 15, 15, 119: 15, 15, 15, 123: 15, 125: 15, 15, 158: 15}, 1295 // 70 1296 {14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 43: 14, 82: 14, 86: 14, 89: 14, 14, 14, 96: 14, 14, 14, 119: 14, 14, 14, 123: 14, 125: 14, 14, 158: 14}, 1297 {13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 43: 13, 82: 13, 86: 13, 89: 13, 13, 13, 96: 13, 13, 13, 119: 13, 13, 13, 123: 13, 125: 13, 13, 158: 13}, 1298 {12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 43: 12, 82: 12, 86: 12, 89: 12, 12, 12, 96: 12, 12, 12, 119: 12, 12, 12, 123: 12, 125: 12, 12, 158: 12}, 1299 {11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 43: 11, 82: 11, 86: 11, 89: 11, 11, 11, 96: 11, 11, 11, 119: 11, 11, 11, 123: 11, 125: 11, 11, 158: 11}, 1300 {10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 43: 10, 82: 10, 86: 10, 89: 10, 10, 10, 96: 10, 10, 10, 119: 10, 10, 10, 123: 10, 125: 10, 10, 158: 10}, 1301 // 75 1302 {9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 43: 9, 82: 9, 86: 9, 89: 9, 9, 9, 96: 9, 9, 9, 119: 9, 9, 9, 123: 9, 125: 9, 9, 158: 9, 9}, 1303 {8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 43: 8, 82: 8, 86: 8, 89: 8, 8, 8, 96: 8, 8, 8, 119: 8, 8, 8, 123: 8, 125: 8, 8, 158: 8, 8}, 1304 {7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 43: 7, 82: 7, 86: 7, 89: 7, 7, 7, 96: 7, 7, 7, 119: 7, 7, 7, 123: 7, 125: 7, 7, 158: 7}, 1305 {6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 43: 6, 82: 6, 86: 6, 89: 6, 6, 6, 96: 6, 6, 6, 119: 6, 6, 6, 123: 6, 125: 6, 6, 158: 6, 6}, 1306 {5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 43: 5, 82: 5, 86: 5, 89: 5, 5, 5, 96: 5, 5, 5, 119: 5, 5, 5, 123: 5, 125: 5, 5, 158: 5, 5}, 1307 // 80 1308 {4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 43: 4, 82: 4, 86: 4, 89: 4, 4, 4, 96: 4, 4, 4, 119: 4, 4, 4, 123: 4, 125: 4, 4, 158: 4, 4}, 1309 {3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 43: 3, 82: 3, 86: 3, 89: 3, 3, 3, 96: 3, 3, 3, 119: 3, 3, 3, 123: 3, 125: 3, 3, 158: 3, 3}, 1310 {2: 58, 58}, 1311 {40: 449}, 1312 {32: 455, 46: 452, 451, 49: 453, 160: 454, 188: 456, 191: 450}, 1313 // 85 1314 {142, 142, 142, 142, 7: 142, 645, 10: 142, 142, 142, 142, 31: 142, 33: 142, 142, 142, 82: 142, 161: 142, 163: 643, 641, 644, 642, 178: 849, 848, 196: 847, 280: 846}, 1315 {32: 455, 42: 688, 44: 687, 160: 639, 162: 686}, 1316 {32: 455, 42: 682, 44: 681, 160: 639, 162: 683}, 1317 {85: 635}, 1318 {133, 133, 133, 133, 7: 133, 133, 10: 133, 133, 133, 133, 31: 133, 33: 133, 133, 133, 82: 133, 161: 133, 163: 133, 133, 133, 133, 178: 133, 133}, 1319 // 90 1320 {115, 424, 4: 423, 406, 431, 17: 115, 42: 421, 44: 420, 416, 418, 419, 414, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 411, 446, 443, 413, 440, 441, 432, 433, 442, 434, 439, 403, 425, 435, 436, 437, 430, 438, 83: 537, 404, 88: 623, 98: 115, 173: 622, 192: 621}, 1321 {1: 83, 31: 83, 33: 83, 83, 83, 82: 458, 174: 457}, 1322 {1: 84, 31: 84, 33: 84, 84, 84}, 1323 {1: 424, 4: 423, 406, 431, 8: 501, 503, 32: 504, 42: 421, 515, 420, 416, 418, 419, 497, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 496, 446, 443, 498, 440, 441, 528, 526, 531, 523, 530, 403, 499, 529, 525, 524, 522, 527, 83: 537, 404, 491, 87: 488, 459, 92: 490, 535, 489, 514, 99: 500, 509, 521, 534, 510, 511, 492, 518, 494, 493, 512, 516, 513, 519, 508, 506, 517, 520, 495, 507, 122: 461, 124: 481, 127: 536, 471, 464, 463, 483, 468, 476, 475, 470, 484, 479, 472, 469, 505, 477, 487, 474, 473, 462, 466, 478, 482, 465, 480, 533, 532, 467, 485, 486, 502, 460}, 1324 {291, 291, 291, 291, 291, 291, 291, 291, 291, 291, 291, 291, 291, 291, 291, 291, 291, 291, 291, 291, 291, 291, 291, 291, 291, 291, 291, 291, 291, 291, 291, 291, 33: 291, 291, 291, 291, 291, 291, 291, 291, 291, 86: 843}, 1325 // 95 1326 {312, 312, 312, 312, 312, 312, 312, 312, 312, 312, 312, 312, 312, 312, 312, 312, 312, 312, 312, 312, 312, 312, 312, 312, 312, 312, 312, 312, 312, 312, 312, 312, 33: 312, 312, 312, 312, 312, 312, 312, 312, 312}, 1327 {311, 311, 311, 311, 311, 311, 311, 311, 311, 311, 311, 311, 311, 311, 311, 311, 311, 311, 311, 311, 311, 311, 311, 311, 311, 311, 311, 311, 311, 311, 311, 311, 33: 311, 311, 311, 311, 311, 311, 311, 311, 311}, 1328 {310, 310, 310, 310, 310, 310, 310, 310, 310, 310, 310, 310, 310, 310, 310, 310, 310, 310, 310, 310, 310, 310, 310, 310, 310, 310, 310, 310, 310, 310, 310, 310, 33: 310, 310, 310, 310, 310, 310, 310, 310, 310}, 1329 {309, 309, 309, 309, 309, 309, 309, 309, 309, 309, 309, 309, 309, 309, 309, 309, 309, 309, 309, 309, 309, 309, 309, 309, 309, 309, 309, 309, 309, 309, 309, 309, 33: 309, 309, 309, 309, 309, 309, 309, 309, 309}, 1330 {308, 308, 308, 308, 308, 308, 308, 308, 308, 308, 308, 308, 308, 308, 308, 308, 308, 308, 308, 308, 308, 308, 308, 308, 308, 308, 308, 308, 308, 308, 308, 308, 33: 308, 308, 308, 308, 308, 308, 308, 308, 308}, 1331 // 100 1332 {307, 307, 307, 307, 307, 307, 307, 307, 307, 307, 307, 307, 307, 307, 307, 307, 307, 307, 307, 307, 307, 307, 307, 307, 307, 307, 307, 307, 307, 307, 307, 307, 33: 307, 307, 307, 307, 307, 307, 307, 307, 307}, 1333 {306, 306, 306, 306, 306, 306, 306, 306, 306, 306, 306, 306, 306, 306, 306, 306, 306, 306, 306, 306, 306, 306, 306, 306, 306, 306, 306, 306, 306, 306, 306, 306, 33: 306, 306, 306, 306, 306, 306, 306, 306, 306}, 1334 {305, 305, 305, 305, 305, 305, 305, 305, 305, 305, 305, 305, 305, 305, 305, 305, 305, 305, 305, 305, 305, 305, 305, 305, 305, 305, 305, 305, 305, 305, 305, 305, 33: 305, 305, 305, 305, 305, 305, 305, 305, 305}, 1335 {304, 304, 304, 304, 304, 304, 304, 304, 304, 304, 304, 304, 304, 304, 304, 304, 304, 304, 304, 304, 304, 304, 304, 304, 304, 304, 304, 304, 304, 304, 304, 304, 33: 304, 304, 304, 304, 304, 304, 304, 304, 304}, 1336 {303, 303, 303, 303, 303, 303, 303, 303, 303, 303, 303, 303, 303, 303, 303, 303, 303, 303, 303, 303, 303, 303, 303, 303, 303, 303, 303, 303, 303, 303, 303, 303, 33: 303, 303, 303, 303, 303, 303, 303, 303, 303}, 1337 // 105 1338 {302, 302, 302, 302, 302, 302, 302, 302, 302, 302, 302, 302, 302, 302, 302, 302, 302, 302, 302, 302, 302, 302, 302, 302, 302, 302, 302, 302, 302, 302, 302, 302, 33: 302, 302, 302, 302, 302, 302, 302, 302, 302}, 1339 {301, 301, 301, 301, 301, 301, 301, 301, 301, 301, 301, 301, 301, 301, 301, 301, 301, 301, 301, 301, 301, 301, 301, 301, 301, 301, 301, 301, 301, 301, 301, 301, 33: 301, 301, 301, 301, 301, 301, 301, 301, 301}, 1340 {300, 300, 300, 300, 300, 300, 300, 300, 300, 300, 300, 300, 300, 300, 300, 300, 300, 300, 300, 300, 300, 300, 300, 300, 300, 300, 300, 300, 300, 300, 300, 300, 33: 300, 300, 300, 300, 300, 300, 300, 300, 300}, 1341 {299, 299, 299, 299, 299, 299, 299, 299, 299, 299, 299, 299, 299, 299, 299, 299, 299, 299, 299, 299, 299, 299, 299, 299, 299, 299, 299, 299, 299, 299, 299, 299, 33: 299, 299, 299, 299, 299, 299, 299, 299, 299}, 1342 {298, 298, 298, 298, 298, 298, 298, 298, 298, 298, 298, 298, 298, 298, 298, 298, 298, 298, 298, 298, 298, 298, 298, 298, 298, 298, 298, 298, 298, 298, 298, 298, 33: 298, 298, 298, 298, 298, 298, 298, 298, 298}, 1343 // 110 1344 {297, 297, 297, 297, 297, 297, 297, 297, 297, 297, 297, 297, 297, 297, 297, 297, 297, 297, 297, 297, 297, 297, 297, 297, 297, 297, 297, 297, 297, 297, 297, 297, 33: 297, 297, 297, 297, 297, 297, 297, 297, 297}, 1345 {296, 296, 296, 296, 296, 296, 296, 296, 296, 296, 296, 296, 296, 296, 296, 296, 296, 296, 296, 296, 296, 296, 296, 296, 296, 296, 296, 296, 296, 296, 296, 296, 33: 296, 296, 296, 296, 296, 296, 296, 296, 296}, 1346 {295, 295, 295, 295, 295, 295, 295, 295, 295, 295, 295, 295, 295, 295, 295, 295, 295, 295, 295, 295, 295, 295, 295, 295, 295, 295, 295, 295, 295, 295, 295, 295, 33: 295, 295, 295, 295, 295, 295, 295, 295, 295}, 1347 {294, 294, 294, 294, 294, 294, 294, 294, 294, 294, 294, 294, 294, 294, 294, 294, 294, 294, 294, 294, 294, 294, 294, 294, 294, 294, 294, 294, 294, 294, 294, 294, 33: 294, 294, 294, 294, 294, 294, 294, 294, 294}, 1348 {293, 293, 293, 293, 293, 293, 293, 293, 293, 293, 293, 293, 293, 293, 293, 293, 293, 293, 293, 293, 293, 293, 293, 293, 293, 293, 293, 293, 293, 293, 293, 293, 33: 293, 293, 293, 293, 293, 293, 293, 293, 293}, 1349 // 115 1350 {292, 292, 292, 292, 292, 292, 292, 292, 292, 292, 292, 292, 292, 292, 292, 292, 292, 292, 292, 292, 292, 292, 292, 292, 292, 292, 292, 292, 292, 292, 292, 292, 33: 292, 292, 292, 292, 292, 292, 292, 292, 292}, 1351 {290, 290, 290, 290, 290, 290, 290, 290, 290, 290, 290, 290, 290, 290, 290, 290, 290, 290, 290, 290, 290, 290, 290, 290, 290, 290, 290, 290, 290, 290, 290, 290, 33: 290, 290, 290, 290, 290, 290, 290, 290, 290}, 1352 {289, 289, 289, 289, 289, 289, 289, 289, 289, 289, 289, 289, 289, 289, 289, 289, 289, 289, 289, 289, 289, 289, 289, 289, 289, 289, 289, 289, 289, 289, 289, 289, 33: 289, 289, 289, 289, 289, 289, 289, 289, 289}, 1353 {288, 288, 288, 288, 288, 288, 288, 288, 288, 288, 288, 288, 288, 288, 288, 288, 288, 288, 288, 288, 288, 288, 288, 288, 288, 288, 288, 288, 288, 288, 288, 288, 33: 288, 288, 288, 288, 288, 288, 288, 288, 288}, 1354 {287, 287, 287, 287, 287, 287, 287, 287, 287, 287, 287, 287, 287, 287, 287, 287, 287, 287, 287, 287, 287, 287, 287, 287, 287, 287, 287, 287, 287, 287, 287, 287, 33: 287, 287, 287, 287, 287, 287, 287, 287, 287}, 1355 // 120 1356 {286, 286, 286, 286, 286, 286, 286, 286, 286, 286, 286, 286, 286, 286, 286, 286, 286, 286, 286, 286, 286, 286, 286, 286, 286, 286, 286, 286, 286, 286, 286, 286, 33: 286, 286, 286, 286, 286, 286, 286, 286, 286}, 1357 {285, 285, 285, 285, 285, 285, 285, 285, 285, 285, 285, 285, 285, 285, 285, 285, 285, 285, 285, 285, 285, 285, 285, 285, 285, 285, 285, 285, 285, 285, 285, 285, 33: 285, 285, 285, 285, 285, 285, 285, 285, 285}, 1358 {284, 284, 284, 284, 284, 284, 284, 284, 284, 284, 284, 284, 284, 284, 284, 284, 284, 284, 284, 284, 284, 284, 284, 284, 284, 284, 284, 284, 284, 284, 284, 284, 33: 284, 284, 284, 284, 284, 284, 284, 284, 284}, 1359 {283, 283, 283, 283, 283, 283, 283, 283, 283, 283, 283, 283, 283, 283, 283, 283, 283, 283, 283, 283, 283, 283, 283, 283, 283, 283, 283, 283, 283, 283, 283, 283, 33: 283, 283, 283, 283, 283, 283, 283, 283, 283}, 1360 {282, 282, 282, 282, 282, 282, 282, 282, 282, 282, 282, 282, 282, 282, 282, 282, 282, 282, 282, 282, 282, 282, 282, 282, 282, 282, 282, 282, 282, 282, 282, 282, 33: 282, 282, 282, 282, 282, 282, 282, 282, 282}, 1361 // 125 1362 {281, 281, 281, 281, 281, 281, 281, 281, 281, 281, 281, 281, 281, 281, 281, 281, 281, 281, 281, 281, 281, 281, 281, 281, 281, 281, 281, 281, 281, 281, 281, 281, 33: 281, 281, 281, 281, 281, 281, 281, 281, 281}, 1363 {280, 280, 280, 280, 280, 280, 280, 280, 280, 280, 280, 280, 280, 280, 280, 280, 280, 280, 280, 280, 280, 280, 280, 280, 280, 280, 280, 280, 280, 280, 280, 280, 33: 280, 280, 280, 280, 280, 280, 280, 280, 280}, 1364 {279, 279, 279, 279, 279, 279, 279, 279, 279, 279, 279, 279, 279, 279, 279, 279, 279, 279, 279, 279, 279, 279, 279, 279, 279, 279, 279, 279, 279, 279, 279, 279, 33: 279, 279, 279, 279, 279, 279, 279, 279, 279}, 1365 {278, 278, 278, 278, 278, 278, 278, 278, 278, 278, 278, 278, 278, 278, 278, 278, 278, 278, 278, 278, 278, 278, 278, 278, 278, 278, 278, 278, 278, 278, 278, 278, 33: 278, 278, 278, 278, 278, 278, 278, 278, 278}, 1366 {277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 277, 33: 277, 277, 277, 277, 277, 277, 277, 277, 277}, 1367 // 130 1368 {276, 276, 276, 276, 276, 276, 276, 276, 276, 276, 276, 276, 276, 276, 276, 276, 276, 276, 276, 276, 276, 276, 276, 276, 276, 276, 276, 276, 276, 276, 276, 276, 33: 276, 276, 276, 276, 276, 276, 276, 276, 276}, 1369 {38, 38, 38, 38, 38, 38, 38, 38, 38, 38, 38, 38, 38, 38, 38, 38, 38, 38, 38, 38, 38, 38, 38, 38, 38, 38, 38, 38, 38, 38, 38, 38, 33: 38, 38, 38, 38, 38, 38, 38, 38, 38, 86: 38, 842, 159: 38}, 1370 {35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 35, 33: 35, 35, 35, 35, 35, 35, 35, 35, 35, 86: 35, 841, 159: 35}, 1371 {36, 36, 36, 36, 36, 36, 36, 36, 36, 36, 36, 36, 36, 36, 36, 36, 36, 36, 36, 36, 36, 36, 36, 36, 36, 36, 36, 36, 36, 36, 36, 36, 33: 36, 36, 36, 36, 36, 36, 36, 36, 36, 86: 36, 840, 159: 36}, 1372 {24, 24, 24, 24, 24, 24, 24, 24, 24, 24, 24, 24, 24, 24, 24, 24, 24, 24, 24, 24, 24, 24, 24, 24, 24, 24, 24, 24, 24, 24, 24, 24, 33: 24, 24, 24, 24, 24, 24, 24, 24, 24, 85: 832, 24, 159: 24}, 1373 // 135 1374 {265, 265, 265, 265, 265, 265, 265, 265, 265, 265, 265, 265, 265, 265, 265, 265, 265, 265, 265, 265, 265, 265, 265, 265, 265, 265, 265, 265, 265, 265, 265, 265, 33: 265, 265, 265, 265, 265, 265, 265, 265, 265}, 1375 {1: 424, 4: 423, 406, 431, 8: 501, 503, 32: 504, 42: 421, 515, 420, 416, 418, 419, 497, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 496, 446, 443, 498, 440, 441, 528, 526, 531, 523, 530, 403, 499, 529, 525, 524, 522, 527, 83: 537, 404, 491, 87: 488, 459, 92: 490, 535, 489, 514, 99: 500, 509, 521, 534, 510, 511, 492, 518, 494, 493, 512, 516, 513, 519, 508, 506, 517, 520, 495, 507, 122: 461, 124: 481, 127: 536, 471, 464, 463, 483, 468, 476, 475, 470, 484, 479, 472, 469, 505, 477, 487, 474, 473, 462, 466, 478, 482, 465, 480, 533, 532, 467, 485, 486, 831, 460}, 1376 {82, 82, 82, 82, 82, 8: 562, 575, 82, 82, 82, 82, 15: 558, 561, 573, 574, 571, 563, 560, 559, 566, 565, 567, 568, 564, 569, 572, 570, 82, 33: 82, 82, 82}, 1377 {1: 424, 4: 423, 406, 431, 8: 501, 503, 32: 504, 42: 421, 515, 420, 416, 418, 419, 497, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 496, 446, 443, 498, 440, 441, 528, 526, 531, 523, 530, 403, 499, 529, 525, 524, 522, 527, 83: 537, 404, 491, 87: 488, 459, 92: 490, 535, 489, 514, 99: 500, 509, 521, 534, 510, 511, 492, 518, 494, 493, 512, 516, 513, 519, 508, 506, 517, 520, 495, 507, 122: 461, 124: 481, 127: 536, 471, 464, 463, 483, 468, 476, 475, 470, 484, 479, 472, 469, 505, 477, 487, 474, 473, 462, 466, 478, 482, 465, 480, 533, 532, 467, 485, 486, 830, 460}, 1378 {1: 828, 4: 423, 406, 431, 8: 501, 503, 31: 88, 504, 42: 421, 515, 420, 416, 418, 419, 497, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 496, 446, 443, 498, 440, 441, 528, 526, 531, 523, 530, 403, 499, 529, 525, 524, 522, 527, 83: 537, 404, 491, 87: 488, 459, 92: 490, 535, 489, 514, 99: 500, 509, 521, 534, 510, 511, 492, 518, 494, 493, 512, 516, 513, 519, 508, 506, 517, 520, 495, 507, 122: 461, 124: 481, 127: 536, 471, 464, 463, 483, 468, 476, 475, 470, 484, 479, 472, 469, 505, 477, 487, 474, 473, 462, 466, 478, 482, 465, 480, 533, 532, 467, 485, 486, 827, 460, 172: 394, 176: 393, 541, 180: 540}, 1379 // 140 1380 {32: 821}, 1381 {32: 245}, 1382 {32: 244}, 1383 {32: 243}, 1384 {32: 242}, 1385 // 145 1386 {32: 241}, 1387 {32: 240}, 1388 {32: 239}, 1389 {32: 238}, 1390 {32: 237}, 1391 // 150 1392 {32: 236}, 1393 {32: 235}, 1394 {32: 234}, 1395 {32: 233}, 1396 {32: 232}, 1397 // 155 1398 {32: 231}, 1399 {32: 230}, 1400 {19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 19, 812, 19, 19, 19, 19, 19, 19, 19, 19, 19, 86: 19, 159: 19}, 1401 {15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 806, 15, 15, 15, 15, 15, 15, 15, 15, 15, 86: 15, 159: 15}, 1402 {12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 802, 12, 12, 12, 12, 12, 12, 12, 12, 12, 86: 12, 159: 12}, 1403 // 160 1404 {13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 798, 13, 13, 13, 13, 13, 13, 13, 13, 13, 86: 13, 159: 13}, 1405 {16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 794, 16, 16, 16, 16, 16, 16, 16, 16, 16, 86: 16, 159: 16}, 1406 {11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 790, 11, 11, 11, 11, 11, 11, 11, 11, 11, 86: 11, 159: 11}, 1407 {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, 17, 17, 17, 17, 17, 17, 786, 17, 17, 17, 17, 17, 17, 17, 17, 17, 86: 17, 159: 17}, 1408 {14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 779, 14, 14, 14, 14, 14, 14, 14, 14, 14, 86: 14, 159: 14}, 1409 // 165 1410 {10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 766, 10, 10, 10, 10, 10, 10, 10, 10, 10, 86: 10, 159: 10}, 1411 {7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 746, 7, 7, 7, 7, 7, 7, 7, 7, 7, 86: 7, 159: 7}, 1412 {188, 188, 188, 188, 188, 188, 188, 188, 188, 188, 188, 188, 188, 188, 188, 188, 188, 188, 188, 188, 188, 188, 188, 188, 188, 188, 188, 188, 188, 188, 188, 188, 33: 188, 188, 188, 188, 188, 188, 188, 188, 188}, 1413 {187, 187, 187, 187, 187, 187, 187, 187, 187, 187, 187, 187, 187, 187, 187, 187, 187, 187, 187, 187, 187, 187, 187, 187, 187, 187, 187, 187, 187, 187, 187, 187, 33: 187, 187, 187, 187, 187, 187, 187, 187, 187}, 1414 {1: 424, 4: 423, 406, 431, 8: 501, 503, 32: 504, 36: 734, 42: 421, 515, 420, 416, 418, 419, 497, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 496, 446, 443, 498, 440, 441, 528, 526, 531, 523, 530, 403, 499, 529, 525, 524, 522, 527, 83: 537, 404, 491, 87: 488, 459, 92: 490, 535, 489, 514, 99: 500, 509, 521, 534, 510, 511, 492, 518, 494, 493, 512, 516, 513, 519, 508, 506, 517, 520, 495, 507, 122: 461, 124: 481, 127: 536, 471, 464, 463, 483, 468, 476, 475, 470, 484, 479, 472, 469, 505, 477, 487, 474, 473, 462, 466, 478, 482, 465, 480, 533, 532, 467, 485, 486, 731, 460, 193: 733, 241: 732}, 1415 // 170 1416 {32: 539, 127: 538}, 1417 {172, 172, 172, 172, 172, 172, 172, 172, 172, 172, 172, 172, 172, 172, 172, 172, 172, 172, 172, 172, 172, 172, 172, 172, 172, 172, 172, 172, 172, 172, 172, 172, 33: 172, 172, 172, 172, 172, 172, 172, 172, 172}, 1418 {116, 116, 116, 116, 116, 116, 116, 116, 116, 116, 116, 116, 116, 116, 116, 116, 116, 116, 116, 116, 116, 116, 116, 116, 116, 116, 116, 116, 116, 116, 116, 116, 33: 116, 116, 116, 116, 116, 116, 116, 116, 116, 43: 116, 82: 116, 86: 116, 97: 116, 116, 119: 116, 116, 126: 116, 158: 116}, 1419 {174, 174, 174, 174, 174, 174, 174, 174, 174, 174, 174, 174, 174, 174, 174, 174, 174, 174, 174, 174, 174, 174, 174, 174, 174, 174, 174, 174, 174, 174, 174, 174, 33: 174, 174, 174, 174, 174, 174, 174, 174, 174}, 1420 {1: 395, 31: 88, 172: 394, 176: 393, 541, 180: 540}, 1421 // 175 1422 {730}, 1423 {31: 543, 232: 542}, 1424 {14: 609, 182: 608}, 1425 {1: 215, 4: 215, 215, 215, 8: 215, 215, 15: 546, 32: 215, 42: 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 85: 215, 87: 215, 92: 215, 215, 215, 215, 99: 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 167: 544, 545}, 1426 {1: 214, 4: 214, 214, 214, 8: 214, 214, 32: 214, 42: 214, 214, 214, 214, 214, 214, 214, 214, 214, 214, 214, 214, 214, 214, 214, 214, 214, 214, 214, 214, 214, 214, 214, 214, 214, 214, 214, 214, 214, 214, 214, 214, 214, 214, 214, 214, 214, 214, 214, 214, 85: 214, 87: 214, 92: 214, 214, 214, 214, 99: 214, 214, 214, 214, 214, 214, 214, 214, 214, 214, 214, 214, 214, 214, 214, 214, 214, 214, 214, 214}, 1427 // 180 1428 {1: 424, 4: 423, 406, 431, 8: 501, 503, 32: 504, 42: 421, 515, 420, 416, 418, 419, 497, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 496, 446, 443, 498, 440, 441, 528, 526, 531, 523, 530, 403, 499, 529, 525, 524, 522, 527, 83: 551, 404, 491, 87: 488, 459, 92: 490, 535, 489, 514, 99: 500, 509, 521, 534, 510, 511, 492, 518, 494, 493, 512, 516, 513, 519, 508, 506, 517, 520, 495, 507, 122: 461, 124: 481, 127: 536, 471, 464, 463, 483, 468, 476, 475, 470, 484, 479, 472, 469, 505, 477, 487, 474, 473, 462, 466, 478, 482, 465, 480, 533, 532, 467, 485, 486, 547, 460, 175: 550, 233: 549, 282: 548}, 1429 {14: 168}, 1430 {160, 2: 160, 160, 7: 160, 562, 575, 160, 160, 160, 14: 160, 558, 561, 573, 574, 571, 563, 560, 559, 566, 565, 567, 568, 564, 569, 572, 570, 37: 160, 160, 40: 578, 252: 577, 576}, 1431 {7: 556, 14: 169}, 1432 {7: 167, 14: 167}, 1433 // 185 1434 {7: 165, 14: 165}, 1435 {7: 116, 116, 116, 14: 116, 116, 116, 116, 116, 116, 116, 116, 116, 116, 116, 116, 116, 116, 116, 116, 116, 40: 116, 86: 116, 159: 552}, 1436 {7: 162, 14: 162, 65: 554, 242: 553}, 1437 {7: 164, 14: 164}, 1438 {87: 488, 92: 490, 94: 489, 124: 555}, 1439 // 190 1440 {7: 161, 14: 161}, 1441 {1: 424, 4: 423, 406, 431, 8: 501, 503, 32: 504, 42: 421, 515, 420, 416, 418, 419, 497, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 496, 446, 443, 498, 440, 441, 528, 526, 531, 523, 530, 403, 499, 529, 525, 524, 522, 527, 83: 551, 404, 491, 87: 488, 459, 92: 490, 535, 489, 514, 99: 500, 509, 521, 534, 510, 511, 492, 518, 494, 493, 512, 516, 513, 519, 508, 506, 517, 520, 495, 507, 122: 461, 124: 481, 127: 536, 471, 464, 463, 483, 468, 476, 475, 470, 484, 479, 472, 469, 505, 477, 487, 474, 473, 462, 466, 478, 482, 465, 480, 533, 532, 467, 485, 486, 547, 460, 175: 550, 233: 557}, 1442 {7: 166, 14: 166}, 1443 {1: 424, 4: 423, 406, 431, 8: 501, 503, 32: 504, 42: 421, 515, 420, 416, 418, 419, 497, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 496, 446, 443, 498, 440, 441, 528, 526, 531, 523, 530, 403, 499, 529, 525, 524, 522, 527, 83: 537, 404, 491, 87: 488, 459, 92: 490, 535, 489, 514, 99: 500, 509, 521, 534, 510, 511, 492, 518, 494, 493, 512, 516, 513, 519, 508, 506, 517, 520, 495, 507, 122: 461, 124: 481, 127: 536, 471, 464, 463, 483, 468, 476, 475, 470, 484, 479, 472, 469, 505, 477, 487, 474, 473, 462, 466, 478, 482, 465, 480, 533, 532, 467, 485, 486, 607, 460}, 1444 {1: 424, 4: 423, 406, 431, 8: 501, 503, 32: 504, 42: 421, 515, 420, 416, 418, 419, 497, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 496, 446, 443, 498, 440, 441, 528, 526, 531, 523, 530, 403, 499, 529, 525, 524, 522, 527, 83: 537, 404, 491, 87: 488, 459, 92: 490, 535, 489, 514, 99: 500, 509, 521, 534, 510, 511, 492, 518, 494, 493, 512, 516, 513, 519, 508, 506, 517, 520, 495, 507, 122: 461, 124: 481, 127: 536, 471, 464, 463, 483, 468, 476, 475, 470, 484, 479, 472, 469, 505, 477, 487, 474, 473, 462, 466, 478, 482, 465, 480, 533, 532, 467, 485, 486, 606, 460}, 1445 // 195 1446 {1: 424, 4: 423, 406, 431, 8: 501, 503, 32: 504, 42: 421, 515, 420, 416, 418, 419, 497, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 496, 446, 443, 498, 440, 441, 528, 526, 531, 523, 530, 403, 499, 529, 525, 524, 522, 527, 83: 537, 404, 491, 87: 488, 459, 92: 490, 535, 489, 514, 99: 500, 509, 521, 534, 510, 511, 492, 518, 494, 493, 512, 516, 513, 519, 508, 506, 517, 520, 495, 507, 122: 461, 124: 481, 127: 536, 471, 464, 463, 483, 468, 476, 475, 470, 484, 479, 472, 469, 505, 477, 487, 474, 473, 462, 466, 478, 482, 465, 480, 533, 532, 467, 485, 486, 605, 460}, 1447 {1: 424, 4: 423, 406, 431, 8: 501, 503, 32: 504, 42: 421, 515, 420, 416, 418, 419, 497, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 496, 446, 443, 498, 440, 441, 528, 526, 531, 523, 530, 403, 499, 529, 525, 524, 522, 527, 83: 537, 404, 491, 87: 488, 459, 92: 490, 535, 489, 514, 99: 500, 509, 521, 534, 510, 511, 492, 518, 494, 493, 512, 516, 513, 519, 508, 506, 517, 520, 495, 507, 122: 461, 124: 481, 127: 536, 471, 464, 463, 483, 468, 476, 475, 470, 484, 479, 472, 469, 505, 477, 487, 474, 473, 462, 466, 478, 482, 465, 480, 533, 532, 467, 485, 486, 604, 460}, 1448 {1: 424, 4: 423, 406, 431, 8: 501, 503, 32: 504, 42: 421, 515, 420, 416, 418, 419, 497, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 496, 446, 443, 498, 440, 441, 528, 526, 531, 523, 530, 403, 499, 529, 525, 524, 522, 527, 83: 537, 404, 491, 87: 488, 459, 92: 490, 535, 489, 514, 99: 500, 509, 521, 534, 510, 511, 492, 518, 494, 493, 512, 516, 513, 519, 508, 506, 517, 520, 495, 507, 122: 461, 124: 481, 127: 536, 471, 464, 463, 483, 468, 476, 475, 470, 484, 479, 472, 469, 505, 477, 487, 474, 473, 462, 466, 478, 482, 465, 480, 533, 532, 467, 485, 486, 603, 460}, 1449 {1: 424, 4: 423, 406, 431, 8: 501, 503, 32: 504, 42: 421, 515, 420, 416, 418, 419, 497, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 496, 446, 443, 498, 440, 441, 528, 526, 531, 523, 530, 403, 499, 529, 525, 524, 522, 527, 83: 537, 404, 491, 87: 488, 459, 92: 490, 535, 489, 514, 99: 500, 509, 521, 534, 510, 511, 492, 518, 494, 493, 512, 516, 513, 519, 508, 506, 517, 520, 495, 507, 122: 461, 124: 481, 127: 536, 471, 464, 463, 483, 468, 476, 475, 470, 484, 479, 472, 469, 505, 477, 487, 474, 473, 462, 466, 478, 482, 465, 480, 533, 532, 467, 485, 486, 602, 460}, 1450 {1: 424, 4: 423, 406, 431, 8: 501, 503, 32: 504, 42: 421, 515, 420, 416, 418, 419, 497, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 496, 446, 443, 498, 440, 441, 528, 526, 531, 523, 530, 403, 499, 529, 525, 524, 522, 527, 83: 537, 404, 491, 87: 488, 459, 92: 490, 535, 489, 514, 99: 500, 509, 521, 534, 510, 511, 492, 518, 494, 493, 512, 516, 513, 519, 508, 506, 517, 520, 495, 507, 122: 461, 124: 481, 127: 536, 471, 464, 463, 483, 468, 476, 475, 470, 484, 479, 472, 469, 505, 477, 487, 474, 473, 462, 466, 478, 482, 465, 480, 533, 532, 467, 485, 486, 601, 460}, 1451 // 200 1452 {1: 424, 4: 423, 406, 431, 8: 501, 503, 32: 504, 42: 421, 515, 420, 416, 418, 419, 497, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 496, 446, 443, 498, 440, 441, 528, 526, 531, 523, 530, 403, 499, 529, 525, 524, 522, 527, 83: 537, 404, 491, 87: 488, 459, 92: 490, 535, 489, 514, 99: 500, 509, 521, 534, 510, 511, 492, 518, 494, 493, 512, 516, 513, 519, 508, 506, 517, 520, 495, 507, 122: 461, 124: 481, 127: 536, 471, 464, 463, 483, 468, 476, 475, 470, 484, 479, 472, 469, 505, 477, 487, 474, 473, 462, 466, 478, 482, 465, 480, 533, 532, 467, 485, 486, 600, 460}, 1453 {1: 424, 4: 423, 406, 431, 8: 501, 503, 32: 504, 42: 421, 515, 420, 416, 418, 419, 497, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 496, 446, 443, 498, 440, 441, 528, 526, 531, 523, 530, 403, 499, 529, 525, 524, 522, 527, 83: 537, 404, 491, 87: 488, 459, 92: 490, 535, 489, 514, 99: 500, 509, 521, 534, 510, 511, 492, 518, 494, 493, 512, 516, 513, 519, 508, 506, 517, 520, 495, 507, 122: 461, 124: 481, 127: 536, 471, 464, 463, 483, 468, 476, 475, 470, 484, 479, 472, 469, 505, 477, 487, 474, 473, 462, 466, 478, 482, 465, 480, 533, 532, 467, 485, 486, 599, 460}, 1454 {1: 424, 4: 423, 406, 431, 8: 501, 503, 32: 504, 42: 421, 515, 420, 416, 418, 419, 497, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 496, 446, 443, 498, 440, 441, 528, 526, 531, 523, 530, 403, 499, 529, 525, 524, 522, 527, 83: 537, 404, 491, 87: 488, 459, 92: 490, 535, 489, 514, 99: 500, 509, 521, 534, 510, 511, 492, 518, 494, 493, 512, 516, 513, 519, 508, 506, 517, 520, 495, 507, 122: 461, 124: 481, 127: 536, 471, 464, 463, 483, 468, 476, 475, 470, 484, 479, 472, 469, 505, 477, 487, 474, 473, 462, 466, 478, 482, 465, 480, 533, 532, 467, 485, 486, 598, 460}, 1455 {1: 424, 4: 423, 406, 431, 8: 501, 503, 32: 504, 42: 421, 515, 420, 416, 418, 419, 497, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 496, 446, 443, 498, 440, 441, 528, 526, 531, 523, 530, 403, 499, 529, 525, 524, 522, 527, 83: 537, 404, 491, 87: 488, 459, 92: 490, 535, 489, 514, 99: 500, 509, 521, 534, 510, 511, 492, 518, 494, 493, 512, 516, 513, 519, 508, 506, 517, 520, 495, 507, 122: 461, 124: 481, 127: 536, 471, 464, 463, 483, 468, 476, 475, 470, 484, 479, 472, 469, 505, 477, 487, 474, 473, 462, 466, 478, 482, 465, 480, 533, 532, 467, 485, 486, 597, 460}, 1456 {1: 424, 4: 423, 406, 431, 8: 501, 503, 32: 504, 42: 421, 515, 420, 416, 418, 419, 497, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 496, 446, 443, 498, 440, 441, 528, 526, 531, 523, 530, 403, 499, 529, 525, 524, 522, 527, 83: 537, 404, 491, 87: 488, 459, 92: 490, 535, 489, 514, 99: 500, 509, 521, 534, 510, 511, 492, 518, 494, 493, 512, 516, 513, 519, 508, 506, 517, 520, 495, 507, 122: 461, 124: 481, 127: 536, 471, 464, 463, 483, 468, 476, 475, 470, 484, 479, 472, 469, 505, 477, 487, 474, 473, 462, 466, 478, 482, 465, 480, 533, 532, 467, 485, 486, 596, 460}, 1457 // 205 1458 {1: 424, 4: 423, 406, 431, 8: 501, 503, 32: 504, 42: 421, 515, 420, 416, 418, 419, 497, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 496, 446, 443, 498, 440, 441, 528, 526, 531, 523, 530, 403, 499, 529, 525, 524, 522, 527, 83: 537, 404, 491, 87: 488, 459, 92: 490, 535, 489, 514, 99: 500, 509, 521, 534, 510, 511, 492, 518, 494, 493, 512, 516, 513, 519, 508, 506, 517, 520, 495, 507, 122: 461, 124: 481, 127: 536, 471, 464, 463, 483, 468, 476, 475, 470, 484, 479, 472, 469, 505, 477, 487, 474, 473, 462, 466, 478, 482, 465, 480, 533, 532, 467, 485, 486, 595, 460}, 1459 {1: 424, 4: 423, 406, 431, 8: 501, 503, 32: 504, 42: 421, 515, 420, 416, 418, 419, 497, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 496, 446, 443, 498, 440, 441, 528, 526, 531, 523, 530, 403, 499, 529, 525, 524, 522, 527, 83: 537, 404, 491, 87: 488, 459, 92: 490, 535, 489, 514, 99: 500, 509, 521, 534, 510, 511, 492, 518, 494, 493, 512, 516, 513, 519, 508, 506, 517, 520, 495, 507, 122: 461, 124: 481, 127: 536, 471, 464, 463, 483, 468, 476, 475, 470, 484, 479, 472, 469, 505, 477, 487, 474, 473, 462, 466, 478, 482, 465, 480, 533, 532, 467, 485, 486, 594, 460}, 1460 {1: 424, 4: 423, 406, 431, 8: 501, 503, 32: 504, 42: 421, 515, 420, 416, 418, 419, 497, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 496, 446, 443, 498, 440, 441, 528, 526, 531, 523, 530, 403, 499, 529, 525, 524, 522, 527, 83: 537, 404, 491, 87: 488, 459, 92: 490, 535, 489, 514, 99: 500, 509, 521, 534, 510, 511, 492, 518, 494, 493, 512, 516, 513, 519, 508, 506, 517, 520, 495, 507, 122: 461, 124: 481, 127: 536, 471, 464, 463, 483, 468, 476, 475, 470, 484, 479, 472, 469, 505, 477, 487, 474, 473, 462, 466, 478, 482, 465, 480, 533, 532, 467, 485, 486, 593, 460}, 1461 {9: 591, 229: 590}, 1462 {32: 583, 223: 589}, 1463 // 210 1464 {18: 581}, 1465 {163, 2: 163, 163, 7: 163, 10: 163, 163, 163, 14: 163, 37: 163, 163}, 1466 {159, 2: 159, 159, 7: 159, 10: 159, 159, 159, 14: 159, 37: 159, 159}, 1467 {1: 424, 4: 423, 406, 431, 42: 421, 44: 420, 416, 418, 419, 414, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 411, 446, 443, 413, 440, 441, 432, 433, 442, 434, 439, 403, 425, 435, 436, 437, 430, 438, 83: 579, 404, 87: 580}, 1468 {158, 2: 158, 158, 7: 158, 10: 158, 158, 158, 14: 158, 37: 158, 158}, 1469 // 215 1470 {157, 2: 157, 157, 7: 157, 10: 157, 157, 157, 14: 157, 37: 157, 157}, 1471 {32: 583, 223: 582}, 1472 {178, 178, 178, 178, 178, 178, 178, 178, 178, 178, 178, 178, 178, 178, 178, 178, 178, 178, 178, 178, 178, 178, 178, 178, 178, 178, 178, 178, 178, 178, 178, 178, 33: 178, 178, 178, 178, 178, 178, 178, 178, 178}, 1473 {1: 424, 4: 423, 406, 431, 8: 501, 503, 32: 504, 42: 421, 515, 420, 416, 418, 419, 497, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 496, 446, 443, 498, 440, 441, 528, 526, 531, 523, 530, 403, 499, 529, 525, 524, 522, 527, 83: 537, 404, 491, 87: 488, 459, 92: 490, 535, 489, 514, 99: 500, 509, 521, 534, 510, 511, 492, 518, 494, 493, 512, 516, 513, 519, 508, 506, 517, 520, 495, 507, 122: 461, 124: 481, 127: 536, 471, 464, 463, 483, 468, 476, 475, 470, 484, 479, 472, 469, 505, 477, 487, 474, 473, 462, 466, 478, 482, 465, 480, 533, 532, 467, 485, 486, 584, 460, 286: 585}, 1474 {176, 7: 176, 562, 575, 15: 558, 561, 573, 574, 571, 563, 560, 559, 566, 565, 567, 568, 564, 569, 572, 570}, 1475 // 220 1476 {586, 7: 587}, 1477 {177, 177, 177, 177, 177, 177, 177, 177, 177, 177, 177, 177, 177, 177, 177, 177, 177, 177, 177, 177, 177, 177, 177, 177, 177, 177, 177, 177, 177, 177, 177, 177, 33: 177, 177, 177, 177, 177, 177, 177, 177, 177}, 1478 {1: 424, 4: 423, 406, 431, 8: 501, 503, 32: 504, 42: 421, 515, 420, 416, 418, 419, 497, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 496, 446, 443, 498, 440, 441, 528, 526, 531, 523, 530, 403, 499, 529, 525, 524, 522, 527, 83: 537, 404, 491, 87: 488, 459, 92: 490, 535, 489, 514, 99: 500, 509, 521, 534, 510, 511, 492, 518, 494, 493, 512, 516, 513, 519, 508, 506, 517, 520, 495, 507, 122: 461, 124: 481, 127: 536, 471, 464, 463, 483, 468, 476, 475, 470, 484, 479, 472, 469, 505, 477, 487, 474, 473, 462, 466, 478, 482, 465, 480, 533, 532, 467, 485, 486, 588, 460}, 1479 {175, 7: 175, 562, 575, 15: 558, 561, 573, 574, 571, 563, 560, 559, 566, 565, 567, 568, 564, 569, 572, 570}, 1480 {179, 179, 179, 179, 179, 179, 179, 179, 179, 179, 179, 179, 179, 179, 179, 179, 179, 179, 179, 179, 179, 179, 179, 179, 179, 179, 179, 179, 179, 179, 179, 179, 33: 179, 179, 179, 179, 179, 179, 179, 179, 179}, 1481 // 225 1482 {202, 202, 202, 202, 202, 202, 202, 202, 202, 202, 202, 202, 202, 202, 202, 202, 202, 202, 202, 202, 202, 202, 202, 202, 202, 202, 202, 202, 202, 202, 202, 202, 33: 202, 202, 202, 202, 202, 202, 202, 202, 202}, 1483 {229: 592}, 1484 {201, 201, 201, 201, 201, 201, 201, 201, 201, 201, 201, 201, 201, 201, 201, 201, 201, 201, 201, 201, 201, 201, 201, 201, 201, 201, 201, 201, 201, 201, 201, 201, 33: 201, 201, 201, 201, 201, 201, 201, 201, 201}, 1485 {248, 248, 248, 248, 248, 248, 248, 248, 562, 575, 248, 248, 248, 248, 248, 558, 561, 573, 574, 571, 563, 560, 559, 566, 565, 567, 568, 564, 248, 248, 570, 248, 33: 248, 248, 248, 248, 248, 248, 248, 248, 248}, 1486 {250, 250, 250, 250, 250, 250, 250, 250, 562, 575, 250, 250, 250, 250, 250, 558, 561, 573, 574, 250, 563, 560, 559, 566, 565, 567, 568, 564, 250, 250, 250, 250, 33: 250, 250, 250, 250, 250, 250, 250, 250, 250}, 1487 // 230 1488 {251, 251, 251, 251, 251, 251, 251, 251, 562, 575, 251, 251, 251, 251, 251, 558, 561, 573, 574, 571, 563, 560, 559, 566, 565, 567, 568, 564, 251, 251, 251, 251, 33: 251, 251, 251, 251, 251, 251, 251, 251, 251}, 1489 {252, 252, 252, 252, 252, 252, 252, 252, 562, 575, 252, 252, 252, 252, 252, 558, 561, 573, 574, 571, 563, 560, 559, 566, 565, 567, 568, 564, 252, 252, 570, 252, 33: 252, 252, 252, 252, 252, 252, 252, 252, 252}, 1490 {253, 253, 253, 253, 253, 253, 253, 253, 562, 575, 253, 253, 253, 253, 253, 558, 561, 253, 253, 253, 253, 560, 559, 253, 253, 253, 253, 253, 253, 253, 253, 253, 33: 253, 253, 253, 253, 253, 253, 253, 253, 253}, 1491 {254, 254, 254, 254, 254, 254, 254, 254, 562, 575, 254, 254, 254, 254, 254, 558, 561, 254, 254, 254, 254, 560, 559, 254, 254, 254, 254, 254, 254, 254, 254, 254, 33: 254, 254, 254, 254, 254, 254, 254, 254, 254}, 1492 {255, 255, 255, 255, 255, 255, 255, 255, 562, 575, 255, 255, 255, 255, 255, 558, 561, 255, 255, 255, 255, 560, 559, 255, 255, 255, 255, 255, 255, 255, 255, 255, 33: 255, 255, 255, 255, 255, 255, 255, 255, 255}, 1493 // 235 1494 {256, 256, 256, 256, 256, 256, 256, 256, 562, 575, 256, 256, 256, 256, 256, 558, 561, 256, 256, 256, 256, 560, 559, 256, 256, 256, 256, 256, 256, 256, 256, 256, 33: 256, 256, 256, 256, 256, 256, 256, 256, 256}, 1495 {257, 257, 257, 257, 257, 257, 257, 257, 562, 575, 257, 257, 257, 257, 257, 558, 561, 257, 257, 257, 257, 560, 559, 257, 257, 257, 257, 257, 257, 257, 257, 257, 33: 257, 257, 257, 257, 257, 257, 257, 257, 257}, 1496 {258, 258, 258, 258, 258, 258, 258, 258, 562, 575, 258, 258, 258, 258, 258, 558, 561, 258, 258, 258, 258, 560, 559, 258, 258, 258, 258, 258, 258, 258, 258, 258, 33: 258, 258, 258, 258, 258, 258, 258, 258, 258}, 1497 {259, 259, 259, 259, 259, 259, 259, 259, 259, 575, 259, 259, 259, 259, 259, 558, 259, 259, 259, 259, 259, 560, 559, 259, 259, 259, 259, 259, 259, 259, 259, 259, 33: 259, 259, 259, 259, 259, 259, 259, 259, 259}, 1498 {260, 260, 260, 260, 260, 260, 260, 260, 260, 575, 260, 260, 260, 260, 260, 558, 260, 260, 260, 260, 260, 560, 559, 260, 260, 260, 260, 260, 260, 260, 260, 260, 33: 260, 260, 260, 260, 260, 260, 260, 260, 260}, 1499 // 240 1500 {261, 261, 261, 261, 261, 261, 261, 261, 261, 575, 261, 261, 261, 261, 261, 261, 261, 261, 261, 261, 261, 261, 261, 261, 261, 261, 261, 261, 261, 261, 261, 261, 33: 261, 261, 261, 261, 261, 261, 261, 261, 261}, 1501 {262, 262, 262, 262, 262, 262, 262, 262, 262, 575, 262, 262, 262, 262, 262, 262, 262, 262, 262, 262, 262, 262, 262, 262, 262, 262, 262, 262, 262, 262, 262, 262, 33: 262, 262, 262, 262, 262, 262, 262, 262, 262}, 1502 {263, 263, 263, 263, 263, 263, 263, 263, 263, 575, 263, 263, 263, 263, 263, 263, 263, 263, 263, 263, 263, 263, 263, 263, 263, 263, 263, 263, 263, 263, 263, 263, 33: 263, 263, 263, 263, 263, 263, 263, 263, 263}, 1503 {83, 2: 83, 83, 10: 83, 83, 83, 83, 82: 458, 174: 701}, 1504 {227: 612, 611, 273: 610}, 1505 // 245 1506 {156, 2: 156, 156, 7: 699, 10: 156, 156, 156, 156, 82: 156}, 1507 {153, 2: 153, 153, 7: 153, 10: 153, 153, 153, 153, 82: 153}, 1508 {32: 615, 46: 452, 451, 49: 453, 160: 454, 188: 614, 191: 450, 261: 613}, 1509 {149, 2: 149, 149, 7: 149, 10: 149, 149, 149, 149, 82: 149, 161: 695, 259: 696, 694}, 1510 {146, 2: 146, 146, 7: 146, 10: 146, 146, 146, 146, 82: 146, 161: 146}, 1511 // 250 1512 {115, 424, 4: 423, 406, 431, 17: 115, 32: 455, 42: 421, 44: 420, 416, 619, 618, 414, 620, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 411, 446, 443, 413, 440, 441, 432, 433, 442, 434, 439, 403, 425, 435, 436, 437, 430, 438, 83: 537, 404, 88: 623, 98: 115, 160: 454, 173: 622, 188: 617, 191: 450, 621, 275: 616}, 1513 {691, 7: 692}, 1514 {144, 7: 144}, 1515 {30, 17: 30, 32: 455, 42: 688, 44: 687, 98: 30, 160: 639, 162: 686}, 1516 {31, 17: 31, 32: 455, 42: 682, 44: 681, 98: 31, 160: 639, 162: 683}, 1517 // 255 1518 {27, 17: 27, 85: 635, 98: 27}, 1519 {634}, 1520 {110, 17: 628, 97: 110, 627, 119: 110, 195: 625, 199: 626, 271: 624}, 1521 {114, 2: 114, 114, 7: 114, 10: 114, 114, 114, 114, 114, 17: 114, 43: 114, 82: 114, 97: 114, 114, 119: 114, 114, 126: 114}, 1522 {117, 97: 117, 119: 117}, 1523 // 260 1524 {1: 424, 4: 423, 406, 431, 42: 421, 44: 420, 416, 418, 419, 414, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 411, 446, 443, 413, 440, 441, 432, 433, 442, 434, 439, 403, 425, 435, 436, 437, 430, 438, 83: 631, 404, 171: 630, 269: 629}, 1525 {109, 97: 109, 119: 109}, 1526 {1: 108, 4: 108, 108, 108, 42: 108, 44: 108, 108, 108, 108, 108, 108, 108, 108, 108, 108, 108, 108, 108, 108, 108, 108, 108, 108, 108, 108, 108, 108, 108, 108, 108, 108, 108, 108, 108, 108, 108, 108, 108, 108, 108, 108, 108, 108}, 1527 {1: 107, 4: 107, 107, 107, 42: 107, 44: 107, 107, 107, 107, 107, 107, 107, 107, 107, 107, 107, 107, 107, 107, 107, 107, 107, 107, 107, 107, 107, 107, 107, 107, 107, 107, 107, 107, 107, 107, 107, 107, 107, 107, 107, 107, 107, 107}, 1528 {111, 15: 111, 111, 89: 111, 111, 111, 96: 111, 111, 119: 111, 125: 632}, 1529 // 265 1530 {104, 15: 104, 104, 89: 104, 104, 104, 96: 104, 104, 119: 104, 125: 104}, 1531 {47, 2: 47, 47, 7: 47, 15: 47, 47, 89: 47, 47, 47, 96: 47, 47, 119: 47, 125: 47}, 1532 {1: 424, 4: 423, 406, 431, 42: 421, 44: 420, 416, 418, 419, 414, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 411, 446, 443, 413, 440, 441, 432, 433, 442, 434, 439, 403, 425, 435, 436, 437, 430, 438, 83: 631, 404, 171: 633}, 1533 {103, 15: 103, 103, 89: 103, 103, 103, 96: 103, 103, 119: 103, 125: 103}, 1534 {126, 126, 126, 126, 126, 7: 126, 126, 10: 126, 126, 126, 126, 31: 126, 126, 126, 126, 126, 82: 126, 161: 126, 163: 126, 126, 126, 126, 178: 126, 126}, 1535 // 270 1536 {42: 637, 44: 636}, 1537 {32: 455, 160: 639, 162: 680}, 1538 {32: 455, 160: 639, 162: 638}, 1539 {135, 135, 135, 135, 7: 135, 10: 135, 135, 135, 135, 31: 135, 33: 135, 135, 135, 82: 135, 161: 135}, 1540 {8: 645, 32: 647, 163: 643, 641, 644, 642, 196: 646, 279: 640}, 1541 // 275 1542 {32: 455, 160: 679}, 1543 {1: 424, 4: 423, 406, 431, 17: 115, 42: 421, 44: 420, 416, 418, 419, 414, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 411, 446, 443, 413, 440, 441, 432, 433, 442, 434, 439, 403, 425, 435, 436, 437, 430, 438, 83: 537, 404, 88: 623, 97: 115, 115, 119: 115, 173: 622, 192: 676}, 1544 {122, 4: 122, 15: 122, 122, 32: 122, 82: 122, 89: 122, 91: 122}, 1545 {1: 424, 4: 423, 406, 431, 17: 115, 42: 421, 44: 420, 416, 418, 419, 414, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 411, 446, 443, 413, 440, 441, 432, 433, 442, 434, 439, 403, 425, 435, 436, 437, 430, 438, 83: 537, 404, 88: 623, 97: 115, 115, 173: 622, 192: 674}, 1546 {120, 4: 120, 15: 120, 120, 32: 120, 82: 120, 89: 120, 91: 120}, 1547 // 280 1548 {118, 4: 118, 15: 118, 118, 32: 118, 82: 118, 89: 118, 91: 118}, 1549 {15: 659, 660, 32: 90, 89: 661, 91: 662, 189: 663, 673}, 1550 {8: 125, 32: 455, 160: 648, 163: 125, 125, 125, 125, 240: 649}, 1551 {124, 4: 124, 8: 124, 82: 124, 163: 124, 124, 124, 124}, 1552 {8: 645, 163: 643, 641, 644, 642, 196: 650}, 1553 // 285 1554 {125, 4: 125, 32: 455, 82: 125, 160: 648, 240: 651}, 1555 {83, 4: 83, 82: 458, 174: 652}, 1556 {99, 4: 654, 244: 655, 653}, 1557 {657}, 1558 {1: 424, 4: 423, 406, 431, 8: 501, 503, 32: 504, 42: 421, 515, 420, 416, 418, 419, 497, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 496, 446, 443, 498, 440, 441, 528, 526, 531, 523, 530, 403, 499, 529, 525, 524, 522, 527, 83: 537, 404, 491, 87: 488, 459, 92: 490, 535, 489, 514, 99: 500, 509, 521, 534, 510, 511, 492, 518, 494, 493, 512, 516, 513, 519, 508, 506, 517, 520, 495, 507, 122: 461, 124: 481, 127: 536, 471, 464, 463, 483, 468, 476, 475, 470, 484, 479, 472, 469, 505, 477, 487, 474, 473, 462, 466, 478, 482, 465, 480, 533, 532, 467, 485, 486, 656, 460}, 1559 // 290 1560 {98}, 1561 {100, 8: 562, 575, 15: 558, 561, 573, 574, 571, 563, 560, 559, 566, 565, 567, 568, 564, 569, 572, 570}, 1562 {15: 659, 660, 32: 90, 89: 661, 91: 662, 189: 663, 658}, 1563 {32: 101}, 1564 {32: 97, 90: 97, 96: 97}, 1565 // 295 1566 {32: 96, 90: 96, 96: 96}, 1567 {32: 95, 90: 95, 96: 95}, 1568 {7: 665, 85: 664}, 1569 {32: 89, 90: 89, 96: 89}, 1570 {7: 669, 181: 668}, 1571 // 300 1572 {85: 666}, 1573 {181: 667}, 1574 {32: 91, 90: 91, 96: 91}, 1575 {32: 94, 90: 94, 96: 94}, 1576 {85: 671, 181: 670}, 1577 // 305 1578 {32: 93, 90: 93, 96: 93}, 1579 {181: 672}, 1580 {32: 92, 90: 92, 96: 92}, 1581 {32: 102}, 1582 {97: 675}, 1583 // 310 1584 {121, 4: 121, 15: 121, 121, 32: 121, 82: 121, 89: 121, 91: 121}, 1585 {97: 678, 119: 677}, 1586 {123, 4: 123, 15: 123, 123, 32: 123, 82: 123, 89: 123, 91: 123}, 1587 {119, 4: 119, 15: 119, 119, 32: 119, 82: 119, 89: 119, 91: 119}, 1588 {130, 130, 130, 130, 7: 130, 10: 130, 130, 130, 130, 31: 130, 33: 130, 130, 130, 82: 130, 161: 130}, 1589 // 315 1590 {138, 138, 138, 138, 7: 138, 10: 138, 138, 138, 138, 31: 138, 33: 138, 138, 138, 82: 138, 161: 138}, 1591 {32: 455, 160: 639, 162: 685}, 1592 {32: 455, 160: 639, 162: 684}, 1593 {134, 134, 134, 134, 7: 134, 10: 134, 134, 134, 134, 31: 134, 33: 134, 134, 134, 82: 134, 161: 134}, 1594 {136, 136, 136, 136, 7: 136, 10: 136, 136, 136, 136, 31: 136, 33: 136, 136, 136, 82: 136, 161: 136}, 1595 // 320 1596 {139, 139, 139, 139, 7: 139, 10: 139, 139, 139, 139, 31: 139, 33: 139, 139, 139, 82: 139, 161: 139}, 1597 {141, 141, 141, 141, 7: 141, 10: 141, 141, 141, 141, 31: 141, 33: 141, 141, 141, 82: 141, 161: 141}, 1598 {32: 455, 160: 639, 162: 690}, 1599 {32: 455, 160: 639, 162: 689}, 1600 {137, 137, 137, 137, 7: 137, 10: 137, 137, 137, 137, 31: 137, 33: 137, 137, 137, 82: 137, 161: 137}, 1601 // 325 1602 {140, 140, 140, 140, 7: 140, 10: 140, 140, 140, 140, 31: 140, 33: 140, 140, 140, 82: 140, 161: 140}, 1603 {145, 2: 145, 145, 7: 145, 10: 145, 145, 145, 145, 82: 145, 161: 145}, 1604 {32: 455, 46: 452, 451, 49: 453, 160: 454, 188: 693, 191: 450}, 1605 {143, 7: 143}, 1606 {147, 2: 147, 147, 7: 147, 10: 147, 147, 147, 147, 82: 147, 281: 698}, 1607 // 330 1608 {1: 424, 4: 423, 406, 431, 42: 421, 44: 420, 416, 418, 419, 414, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 411, 446, 443, 413, 440, 441, 432, 433, 442, 434, 439, 403, 425, 435, 436, 437, 430, 438, 83: 402, 404, 169: 697}, 1609 {148, 2: 148, 148, 7: 148, 10: 148, 148, 148, 148, 82: 148}, 1610 {150, 2: 150, 150, 7: 150, 10: 150, 150, 150, 150, 82: 150}, 1611 {151, 2: 151, 151, 7: 151, 10: 151, 151, 151, 151, 82: 151}, 1612 {227: 612, 700}, 1613 // 335 1614 {152, 2: 152, 152, 7: 152, 10: 152, 152, 152, 152, 82: 152}, 1615 {81, 2: 81, 81, 10: 81, 81, 81, 703, 183: 702}, 1616 {73, 2: 73, 73, 10: 73, 73, 714, 184: 713}, 1617 {205: 704}, 1618 {1: 424, 4: 423, 406, 431, 8: 501, 503, 32: 504, 42: 421, 515, 420, 416, 418, 419, 497, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 496, 446, 443, 498, 440, 441, 528, 526, 531, 523, 530, 403, 499, 529, 525, 524, 522, 527, 83: 537, 404, 491, 87: 488, 459, 92: 490, 535, 489, 514, 99: 500, 509, 521, 534, 510, 511, 492, 518, 494, 493, 512, 516, 513, 519, 508, 506, 517, 520, 495, 507, 122: 461, 124: 481, 127: 536, 471, 464, 463, 483, 468, 476, 475, 470, 484, 479, 472, 469, 505, 477, 487, 474, 473, 462, 466, 478, 482, 465, 480, 533, 532, 467, 485, 486, 547, 460, 175: 707, 194: 706, 206: 705}, 1619 // 340 1620 {80, 2: 80, 80, 7: 711, 10: 80, 80, 80}, 1621 {79, 2: 79, 79, 7: 79, 10: 79, 79, 79}, 1622 {77, 2: 77, 77, 7: 77, 10: 77, 77, 77, 37: 709, 710, 274: 708}, 1623 {76, 2: 76, 76, 7: 76, 10: 76, 76, 76}, 1624 {75, 2: 75, 75, 7: 75, 10: 75, 75, 75}, 1625 // 345 1626 {74, 2: 74, 74, 7: 74, 10: 74, 74, 74}, 1627 {1: 424, 4: 423, 406, 431, 8: 501, 503, 32: 504, 42: 421, 515, 420, 416, 418, 419, 497, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 496, 446, 443, 498, 440, 441, 528, 526, 531, 523, 530, 403, 499, 529, 525, 524, 522, 527, 83: 537, 404, 491, 87: 488, 459, 92: 490, 535, 489, 514, 99: 500, 509, 521, 534, 510, 511, 492, 518, 494, 493, 512, 516, 513, 519, 508, 506, 517, 520, 495, 507, 122: 461, 124: 481, 127: 536, 471, 464, 463, 483, 468, 476, 475, 470, 484, 479, 472, 469, 505, 477, 487, 474, 473, 462, 466, 478, 482, 465, 480, 533, 532, 467, 485, 486, 547, 460, 175: 707, 194: 712}, 1628 {78, 2: 78, 78, 7: 78, 10: 78, 78, 78}, 1629 {71, 2: 71, 71, 10: 71, 717, 187: 716}, 1630 {1: 424, 4: 423, 406, 431, 8: 501, 503, 32: 504, 42: 421, 515, 420, 416, 418, 419, 497, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 496, 446, 443, 498, 440, 441, 528, 526, 531, 523, 530, 403, 499, 529, 525, 524, 522, 527, 83: 537, 404, 491, 87: 488, 459, 92: 490, 535, 489, 514, 99: 500, 509, 521, 534, 510, 511, 492, 518, 494, 493, 512, 516, 513, 519, 508, 506, 517, 520, 495, 507, 122: 461, 124: 481, 127: 536, 471, 464, 463, 483, 468, 476, 475, 470, 484, 479, 472, 469, 505, 477, 487, 474, 473, 462, 466, 478, 482, 465, 480, 533, 532, 467, 485, 486, 715, 460}, 1631 // 350 1632 {72, 2: 72, 72, 8: 562, 575, 72, 72, 15: 558, 561, 573, 574, 571, 563, 560, 559, 566, 565, 567, 568, 564, 569, 572, 570}, 1633 {69, 2: 69, 69, 10: 721, 186: 720}, 1634 {205: 718}, 1635 {1: 424, 4: 423, 406, 431, 8: 501, 503, 32: 504, 42: 421, 515, 420, 416, 418, 419, 497, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 496, 446, 443, 498, 440, 441, 528, 526, 531, 523, 530, 403, 499, 529, 525, 524, 522, 527, 83: 537, 404, 491, 87: 488, 459, 92: 490, 535, 489, 514, 99: 500, 509, 521, 534, 510, 511, 492, 518, 494, 493, 512, 516, 513, 519, 508, 506, 517, 520, 495, 507, 122: 461, 124: 481, 127: 536, 471, 464, 463, 483, 468, 476, 475, 470, 484, 479, 472, 469, 505, 477, 487, 474, 473, 462, 466, 478, 482, 465, 480, 533, 532, 467, 485, 486, 547, 460, 175: 707, 194: 706, 206: 719}, 1636 {70, 2: 70, 70, 7: 711, 10: 70}, 1637 // 355 1638 {170, 2: 170, 170}, 1639 {85: 725, 89: 724, 200: 723, 722}, 1640 {68, 2: 68, 68, 7: 726, 45: 727}, 1641 {65, 2: 65, 65, 7: 65, 45: 65}, 1642 {64, 2: 64, 64, 7: 64, 45: 64}, 1643 // 360 1644 {63, 2: 63, 63, 7: 63, 45: 63}, 1645 {85: 725, 89: 724, 200: 723, 729}, 1646 {85: 725, 89: 724, 200: 723, 728}, 1647 {66, 2: 66, 66}, 1648 {67, 2: 67, 67}, 1649 // 365 1650 {173, 173, 173, 173, 173, 173, 173, 173, 173, 173, 173, 173, 173, 173, 173, 173, 173, 173, 173, 173, 173, 173, 173, 173, 173, 173, 173, 173, 173, 173, 173, 173, 33: 173, 173, 173, 173, 173, 173, 173, 173, 173}, 1651 {8: 562, 575, 15: 558, 561, 573, 574, 571, 563, 560, 559, 566, 565, 567, 568, 564, 569, 572, 570, 36: 734, 193: 733, 241: 743}, 1652 {5: 181, 36: 734, 39: 740, 193: 739, 217: 738}, 1653 {5: 184, 36: 184, 39: 184}, 1654 {1: 424, 4: 423, 406, 431, 8: 501, 503, 32: 504, 42: 421, 515, 420, 416, 418, 419, 497, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 496, 446, 443, 498, 440, 441, 528, 526, 531, 523, 530, 403, 499, 529, 525, 524, 522, 527, 83: 537, 404, 491, 87: 488, 459, 92: 490, 535, 489, 514, 99: 500, 509, 521, 534, 510, 511, 492, 518, 494, 493, 512, 516, 513, 519, 508, 506, 517, 520, 495, 507, 122: 461, 124: 481, 127: 536, 471, 464, 463, 483, 468, 476, 475, 470, 484, 479, 472, 469, 505, 477, 487, 474, 473, 462, 466, 478, 482, 465, 480, 533, 532, 467, 485, 486, 735, 460}, 1655 // 370 1656 {8: 562, 575, 15: 558, 561, 573, 574, 571, 563, 560, 559, 566, 565, 567, 568, 564, 569, 572, 570, 41: 736}, 1657 {1: 424, 4: 423, 406, 431, 8: 501, 503, 32: 504, 42: 421, 515, 420, 416, 418, 419, 497, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 496, 446, 443, 498, 440, 441, 528, 526, 531, 523, 530, 403, 499, 529, 525, 524, 522, 527, 83: 537, 404, 491, 87: 488, 459, 92: 490, 535, 489, 514, 99: 500, 509, 521, 534, 510, 511, 492, 518, 494, 493, 512, 516, 513, 519, 508, 506, 517, 520, 495, 507, 122: 461, 124: 481, 127: 536, 471, 464, 463, 483, 468, 476, 475, 470, 484, 479, 472, 469, 505, 477, 487, 474, 473, 462, 466, 478, 482, 465, 480, 533, 532, 467, 485, 486, 737, 460}, 1658 {5: 182, 8: 562, 575, 15: 558, 561, 573, 574, 571, 563, 560, 559, 566, 565, 567, 568, 564, 569, 572, 570, 36: 182, 39: 182}, 1659 {5: 742}, 1660 {5: 183, 36: 183, 39: 183}, 1661 // 375 1662 {1: 424, 4: 423, 406, 431, 8: 501, 503, 32: 504, 42: 421, 515, 420, 416, 418, 419, 497, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 496, 446, 443, 498, 440, 441, 528, 526, 531, 523, 530, 403, 499, 529, 525, 524, 522, 527, 83: 537, 404, 491, 87: 488, 459, 92: 490, 535, 489, 514, 99: 500, 509, 521, 534, 510, 511, 492, 518, 494, 493, 512, 516, 513, 519, 508, 506, 517, 520, 495, 507, 122: 461, 124: 481, 127: 536, 471, 464, 463, 483, 468, 476, 475, 470, 484, 479, 472, 469, 505, 477, 487, 474, 473, 462, 466, 478, 482, 465, 480, 533, 532, 467, 485, 486, 741, 460}, 1663 {5: 180, 8: 562, 575, 15: 558, 561, 573, 574, 571, 563, 560, 559, 566, 565, 567, 568, 564, 569, 572, 570}, 1664 {185, 185, 185, 185, 185, 185, 185, 185, 185, 185, 185, 185, 185, 185, 185, 185, 185, 185, 185, 185, 185, 185, 185, 185, 185, 185, 185, 185, 185, 185, 185, 185, 33: 185, 185, 185, 185, 185, 185, 185, 185, 185}, 1665 {5: 181, 36: 734, 39: 740, 193: 739, 217: 744}, 1666 {5: 745}, 1667 // 380 1668 {186, 186, 186, 186, 186, 186, 186, 186, 186, 186, 186, 186, 186, 186, 186, 186, 186, 186, 186, 186, 186, 186, 186, 186, 186, 186, 186, 186, 186, 186, 186, 186, 33: 186, 186, 186, 186, 186, 186, 186, 186, 186}, 1669 {1: 424, 4: 423, 406, 431, 8: 501, 503, 32: 504, 42: 421, 515, 420, 416, 418, 419, 497, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 496, 446, 443, 498, 440, 441, 528, 526, 531, 523, 530, 403, 499, 529, 525, 524, 522, 527, 83: 537, 404, 491, 87: 488, 459, 92: 490, 535, 489, 514, 99: 500, 509, 521, 534, 510, 511, 492, 518, 494, 493, 512, 516, 513, 519, 508, 506, 517, 520, 495, 507, 122: 461, 124: 481, 127: 536, 471, 464, 463, 483, 468, 476, 475, 470, 484, 479, 472, 469, 505, 477, 487, 474, 473, 462, 466, 478, 482, 465, 480, 533, 532, 467, 485, 486, 747, 460}, 1670 {8: 562, 575, 15: 558, 561, 573, 574, 571, 563, 560, 559, 566, 565, 567, 568, 564, 569, 572, 570, 40: 748}, 1671 {48: 757, 63: 751, 756, 66: 750, 758, 246: 749, 248: 755, 754, 254: 753, 265: 752}, 1672 {765}, 1673 // 385 1674 {199}, 1675 {198}, 1676 {197}, 1677 {196}, 1678 {195}, 1679 // 390 1680 {194}, 1681 {193}, 1682 {192, 60: 762}, 1683 {190, 60: 759}, 1684 {48: 760}, 1685 // 395 1686 {62: 761}, 1687 {189}, 1688 {48: 763}, 1689 {62: 764}, 1690 {191}, 1691 // 400 1692 {200, 200, 200, 200, 200, 200, 200, 200, 200, 200, 200, 200, 200, 200, 200, 200, 200, 200, 200, 200, 200, 200, 200, 200, 200, 200, 200, 200, 200, 200, 200, 200, 33: 200, 200, 200, 200, 200, 200, 200, 200, 200}, 1693 {52: 770, 55: 771, 772, 769, 59: 773, 61: 768, 68: 774, 775, 251: 767}, 1694 {14: 776}, 1695 {14: 210}, 1696 {14: 209}, 1697 // 405 1698 {14: 208}, 1699 {14: 207}, 1700 {14: 206}, 1701 {14: 205}, 1702 {14: 204}, 1703 // 410 1704 {14: 203}, 1705 {1: 424, 4: 423, 406, 431, 8: 501, 503, 32: 504, 42: 421, 515, 420, 416, 418, 419, 497, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 496, 446, 443, 498, 440, 441, 528, 526, 531, 523, 530, 403, 499, 529, 525, 524, 522, 527, 83: 537, 404, 491, 87: 488, 459, 92: 490, 535, 489, 514, 99: 500, 509, 521, 534, 510, 511, 492, 518, 494, 493, 512, 516, 513, 519, 508, 506, 517, 520, 495, 507, 122: 461, 124: 481, 127: 536, 471, 464, 463, 483, 468, 476, 475, 470, 484, 479, 472, 469, 505, 477, 487, 474, 473, 462, 466, 478, 482, 465, 480, 533, 532, 467, 485, 486, 777, 460}, 1706 {778, 8: 562, 575, 15: 558, 561, 573, 574, 571, 563, 560, 559, 566, 565, 567, 568, 564, 569, 572, 570}, 1707 {211, 211, 211, 211, 211, 211, 211, 211, 211, 211, 211, 211, 211, 211, 211, 211, 211, 211, 211, 211, 211, 211, 211, 211, 211, 211, 211, 211, 211, 211, 211, 211, 33: 211, 211, 211, 211, 211, 211, 211, 211, 211}, 1708 {1: 215, 4: 215, 215, 215, 8: 215, 215, 32: 215, 42: 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 85: 215, 87: 215, 92: 215, 215, 215, 215, 99: 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 167: 544, 780}, 1709 // 415 1710 {1: 424, 4: 423, 406, 431, 8: 501, 503, 32: 504, 42: 421, 515, 420, 416, 418, 419, 497, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 496, 446, 443, 498, 440, 441, 528, 526, 531, 523, 530, 403, 499, 529, 525, 524, 522, 527, 83: 537, 404, 491, 87: 488, 459, 92: 490, 535, 489, 514, 99: 500, 509, 521, 534, 510, 511, 492, 518, 494, 493, 512, 516, 513, 519, 508, 506, 517, 520, 495, 507, 122: 461, 124: 481, 127: 536, 471, 464, 463, 483, 468, 476, 475, 470, 484, 479, 472, 469, 505, 477, 487, 474, 473, 462, 466, 478, 482, 465, 480, 533, 532, 467, 485, 486, 781, 460}, 1711 {213, 7: 783, 562, 575, 15: 558, 561, 573, 574, 571, 563, 560, 559, 566, 565, 567, 568, 564, 569, 572, 570, 272: 782}, 1712 {785}, 1713 {87: 488, 92: 490, 94: 489, 124: 784}, 1714 {212}, 1715 // 420 1716 {216, 216, 216, 216, 216, 216, 216, 216, 216, 216, 216, 216, 216, 216, 216, 216, 216, 216, 216, 216, 216, 216, 216, 216, 216, 216, 216, 216, 216, 216, 216, 216, 33: 216, 216, 216, 216, 216, 216, 216, 216, 216}, 1717 {1: 215, 4: 215, 215, 215, 8: 215, 215, 32: 215, 42: 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 85: 215, 87: 215, 92: 215, 215, 215, 215, 99: 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 167: 544, 787}, 1718 {1: 424, 4: 423, 406, 431, 8: 501, 503, 32: 504, 42: 421, 515, 420, 416, 418, 419, 497, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 496, 446, 443, 498, 440, 441, 528, 526, 531, 523, 530, 403, 499, 529, 525, 524, 522, 527, 83: 537, 404, 491, 87: 488, 459, 92: 490, 535, 489, 514, 99: 500, 509, 521, 534, 510, 511, 492, 518, 494, 493, 512, 516, 513, 519, 508, 506, 517, 520, 495, 507, 122: 461, 124: 481, 127: 536, 471, 464, 463, 483, 468, 476, 475, 470, 484, 479, 472, 469, 505, 477, 487, 474, 473, 462, 466, 478, 482, 465, 480, 533, 532, 467, 485, 486, 788, 460}, 1719 {789, 8: 562, 575, 15: 558, 561, 573, 574, 571, 563, 560, 559, 566, 565, 567, 568, 564, 569, 572, 570}, 1720 {217, 217, 217, 217, 217, 217, 217, 217, 217, 217, 217, 217, 217, 217, 217, 217, 217, 217, 217, 217, 217, 217, 217, 217, 217, 217, 217, 217, 217, 217, 217, 217, 33: 217, 217, 217, 217, 217, 217, 217, 217, 217}, 1721 // 425 1722 {1: 215, 4: 215, 215, 215, 8: 215, 215, 32: 215, 42: 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 85: 215, 87: 215, 92: 215, 215, 215, 215, 99: 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 167: 544, 791}, 1723 {1: 424, 4: 423, 406, 431, 8: 501, 503, 32: 504, 42: 421, 515, 420, 416, 418, 419, 497, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 496, 446, 443, 498, 440, 441, 528, 526, 531, 523, 530, 403, 499, 529, 525, 524, 522, 527, 83: 537, 404, 491, 87: 488, 459, 92: 490, 535, 489, 514, 99: 500, 509, 521, 534, 510, 511, 492, 518, 494, 493, 512, 516, 513, 519, 508, 506, 517, 520, 495, 507, 122: 461, 124: 481, 127: 536, 471, 464, 463, 483, 468, 476, 475, 470, 484, 479, 472, 469, 505, 477, 487, 474, 473, 462, 466, 478, 482, 465, 480, 533, 532, 467, 485, 486, 792, 460}, 1724 {793, 8: 562, 575, 15: 558, 561, 573, 574, 571, 563, 560, 559, 566, 565, 567, 568, 564, 569, 572, 570}, 1725 {218, 218, 218, 218, 218, 218, 218, 218, 218, 218, 218, 218, 218, 218, 218, 218, 218, 218, 218, 218, 218, 218, 218, 218, 218, 218, 218, 218, 218, 218, 218, 218, 33: 218, 218, 218, 218, 218, 218, 218, 218, 218}, 1726 {1: 215, 4: 215, 215, 215, 8: 215, 215, 32: 215, 42: 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 85: 215, 87: 215, 92: 215, 215, 215, 215, 99: 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 167: 544, 795}, 1727 // 430 1728 {1: 424, 4: 423, 406, 431, 8: 501, 503, 32: 504, 42: 421, 515, 420, 416, 418, 419, 497, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 496, 446, 443, 498, 440, 441, 528, 526, 531, 523, 530, 403, 499, 529, 525, 524, 522, 527, 83: 537, 404, 491, 87: 488, 459, 92: 490, 535, 489, 514, 99: 500, 509, 521, 534, 510, 511, 492, 518, 494, 493, 512, 516, 513, 519, 508, 506, 517, 520, 495, 507, 122: 461, 124: 481, 127: 536, 471, 464, 463, 483, 468, 476, 475, 470, 484, 479, 472, 469, 505, 477, 487, 474, 473, 462, 466, 478, 482, 465, 480, 533, 532, 467, 485, 486, 796, 460}, 1729 {797, 8: 562, 575, 15: 558, 561, 573, 574, 571, 563, 560, 559, 566, 565, 567, 568, 564, 569, 572, 570}, 1730 {219, 219, 219, 219, 219, 219, 219, 219, 219, 219, 219, 219, 219, 219, 219, 219, 219, 219, 219, 219, 219, 219, 219, 219, 219, 219, 219, 219, 219, 219, 219, 219, 33: 219, 219, 219, 219, 219, 219, 219, 219, 219}, 1731 {1: 215, 4: 215, 215, 215, 8: 215, 215, 32: 215, 42: 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 85: 215, 87: 215, 92: 215, 215, 215, 215, 99: 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 167: 544, 799}, 1732 {1: 424, 4: 423, 406, 431, 8: 501, 503, 32: 504, 42: 421, 515, 420, 416, 418, 419, 497, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 496, 446, 443, 498, 440, 441, 528, 526, 531, 523, 530, 403, 499, 529, 525, 524, 522, 527, 83: 537, 404, 491, 87: 488, 459, 92: 490, 535, 489, 514, 99: 500, 509, 521, 534, 510, 511, 492, 518, 494, 493, 512, 516, 513, 519, 508, 506, 517, 520, 495, 507, 122: 461, 124: 481, 127: 536, 471, 464, 463, 483, 468, 476, 475, 470, 484, 479, 472, 469, 505, 477, 487, 474, 473, 462, 466, 478, 482, 465, 480, 533, 532, 467, 485, 486, 800, 460}, 1733 // 435 1734 {801, 8: 562, 575, 15: 558, 561, 573, 574, 571, 563, 560, 559, 566, 565, 567, 568, 564, 569, 572, 570}, 1735 {220, 220, 220, 220, 220, 220, 220, 220, 220, 220, 220, 220, 220, 220, 220, 220, 220, 220, 220, 220, 220, 220, 220, 220, 220, 220, 220, 220, 220, 220, 220, 220, 33: 220, 220, 220, 220, 220, 220, 220, 220, 220}, 1736 {1: 215, 4: 215, 215, 215, 8: 215, 215, 32: 215, 42: 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 85: 215, 87: 215, 92: 215, 215, 215, 215, 99: 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 167: 544, 803}, 1737 {1: 424, 4: 423, 406, 431, 8: 501, 503, 32: 504, 42: 421, 515, 420, 416, 418, 419, 497, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 496, 446, 443, 498, 440, 441, 528, 526, 531, 523, 530, 403, 499, 529, 525, 524, 522, 527, 83: 537, 404, 491, 87: 488, 459, 92: 490, 535, 489, 514, 99: 500, 509, 521, 534, 510, 511, 492, 518, 494, 493, 512, 516, 513, 519, 508, 506, 517, 520, 495, 507, 122: 461, 124: 481, 127: 536, 471, 464, 463, 483, 468, 476, 475, 470, 484, 479, 472, 469, 505, 477, 487, 474, 473, 462, 466, 478, 482, 465, 480, 533, 532, 467, 485, 486, 804, 460}, 1738 {805, 8: 562, 575, 15: 558, 561, 573, 574, 571, 563, 560, 559, 566, 565, 567, 568, 564, 569, 572, 570}, 1739 // 440 1740 {221, 221, 221, 221, 221, 221, 221, 221, 221, 221, 221, 221, 221, 221, 221, 221, 221, 221, 221, 221, 221, 221, 221, 221, 221, 221, 221, 221, 221, 221, 221, 221, 33: 221, 221, 221, 221, 221, 221, 221, 221, 221}, 1741 {1: 215, 4: 215, 215, 215, 8: 215, 215, 15: 807, 32: 215, 42: 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 85: 215, 87: 215, 92: 215, 215, 215, 215, 99: 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 215, 167: 544, 808}, 1742 {811}, 1743 {1: 424, 4: 423, 406, 431, 8: 501, 503, 32: 504, 42: 421, 515, 420, 416, 418, 419, 497, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 496, 446, 443, 498, 440, 441, 528, 526, 531, 523, 530, 403, 499, 529, 525, 524, 522, 527, 83: 537, 404, 491, 87: 488, 459, 92: 490, 535, 489, 514, 99: 500, 509, 521, 534, 510, 511, 492, 518, 494, 493, 512, 516, 513, 519, 508, 506, 517, 520, 495, 507, 122: 461, 124: 481, 127: 536, 471, 464, 463, 483, 468, 476, 475, 470, 484, 479, 472, 469, 505, 477, 487, 474, 473, 462, 466, 478, 482, 465, 480, 533, 532, 467, 485, 486, 809, 460}, 1744 {810, 8: 562, 575, 15: 558, 561, 573, 574, 571, 563, 560, 559, 566, 565, 567, 568, 564, 569, 572, 570}, 1745 // 445 1746 {222, 222, 222, 222, 222, 222, 222, 222, 222, 222, 222, 222, 222, 222, 222, 222, 222, 222, 222, 222, 222, 222, 222, 222, 222, 222, 222, 222, 222, 222, 222, 222, 33: 222, 222, 222, 222, 222, 222, 222, 222, 222}, 1747 {223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 223, 33: 223, 223, 223, 223, 223, 223, 223, 223, 223}, 1748 {1: 424, 4: 423, 406, 431, 8: 501, 503, 32: 504, 42: 421, 515, 420, 416, 418, 419, 497, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 496, 446, 443, 498, 440, 441, 528, 526, 531, 523, 530, 403, 499, 529, 525, 524, 522, 527, 83: 537, 404, 491, 87: 488, 459, 92: 490, 535, 489, 514, 99: 500, 509, 521, 534, 510, 511, 492, 518, 494, 493, 512, 516, 513, 519, 508, 506, 517, 520, 495, 507, 122: 461, 124: 481, 127: 536, 471, 464, 463, 483, 468, 476, 475, 470, 484, 479, 472, 469, 505, 477, 487, 474, 473, 462, 466, 478, 482, 465, 480, 533, 532, 467, 485, 486, 813, 460}, 1749 {8: 562, 575, 14: 814, 558, 561, 573, 574, 571, 563, 560, 559, 566, 565, 567, 568, 564, 569, 572, 570}, 1750 {1: 424, 4: 423, 406, 431, 8: 501, 503, 32: 504, 42: 421, 515, 420, 416, 418, 419, 497, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 496, 446, 443, 498, 440, 441, 528, 526, 531, 523, 530, 403, 499, 529, 525, 524, 522, 527, 83: 537, 404, 491, 87: 488, 459, 92: 490, 535, 489, 514, 99: 500, 509, 521, 534, 510, 511, 492, 518, 494, 493, 512, 516, 513, 519, 508, 506, 517, 520, 495, 507, 122: 461, 124: 481, 127: 536, 471, 464, 463, 483, 468, 476, 475, 470, 484, 479, 472, 469, 505, 477, 487, 474, 473, 462, 466, 478, 482, 465, 480, 533, 532, 467, 485, 486, 815, 460, 283: 816}, 1751 // 450 1752 {226, 6: 226, 8: 562, 575, 15: 558, 561, 573, 574, 571, 563, 560, 559, 566, 565, 567, 568, 564, 569, 572, 570}, 1753 {225, 6: 818, 255: 817}, 1754 {820}, 1755 {1: 424, 4: 423, 406, 431, 8: 501, 503, 32: 504, 42: 421, 515, 420, 416, 418, 419, 497, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 496, 446, 443, 498, 440, 441, 528, 526, 531, 523, 530, 403, 499, 529, 525, 524, 522, 527, 83: 537, 404, 491, 87: 488, 459, 92: 490, 535, 489, 514, 99: 500, 509, 521, 534, 510, 511, 492, 518, 494, 493, 512, 516, 513, 519, 508, 506, 517, 520, 495, 507, 122: 461, 124: 481, 127: 536, 471, 464, 463, 483, 468, 476, 475, 470, 484, 479, 472, 469, 505, 477, 487, 474, 473, 462, 466, 478, 482, 465, 480, 533, 532, 467, 485, 486, 819, 460}, 1756 {224, 8: 562, 575, 15: 558, 561, 573, 574, 571, 563, 560, 559, 566, 565, 567, 568, 564, 569, 572, 570}, 1757 // 455 1758 {227, 227, 227, 227, 227, 227, 227, 227, 227, 227, 227, 227, 227, 227, 227, 227, 227, 227, 227, 227, 227, 227, 227, 227, 227, 227, 227, 227, 227, 227, 227, 227, 33: 227, 227, 227, 227, 227, 227, 227, 227, 227}, 1759 {1: 424, 4: 423, 406, 431, 8: 501, 503, 32: 504, 42: 421, 515, 420, 416, 418, 419, 497, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 496, 446, 443, 498, 440, 441, 528, 526, 531, 523, 530, 403, 499, 529, 525, 524, 522, 527, 83: 537, 404, 491, 87: 488, 459, 92: 490, 535, 489, 514, 99: 500, 509, 521, 534, 510, 511, 492, 518, 494, 493, 512, 516, 513, 519, 508, 506, 517, 520, 495, 507, 122: 461, 124: 481, 127: 536, 471, 464, 463, 483, 468, 476, 475, 470, 484, 479, 472, 469, 505, 477, 487, 474, 473, 462, 466, 478, 482, 465, 480, 533, 532, 467, 485, 486, 822, 460, 243: 823}, 1760 {229, 7: 229, 562, 575, 15: 558, 561, 573, 574, 571, 563, 560, 559, 566, 565, 567, 568, 564, 569, 572, 570}, 1761 {824, 7: 825}, 1762 {246, 246, 246, 246, 246, 246, 246, 246, 246, 246, 246, 246, 246, 246, 246, 246, 246, 246, 246, 246, 246, 246, 246, 246, 246, 246, 246, 246, 246, 246, 246, 246, 33: 246, 246, 246, 246, 246, 246, 246, 246, 246}, 1763 // 460 1764 {1: 424, 4: 423, 406, 431, 8: 501, 503, 32: 504, 42: 421, 515, 420, 416, 418, 419, 497, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 496, 446, 443, 498, 440, 441, 528, 526, 531, 523, 530, 403, 499, 529, 525, 524, 522, 527, 83: 537, 404, 491, 87: 488, 459, 92: 490, 535, 489, 514, 99: 500, 509, 521, 534, 510, 511, 492, 518, 494, 493, 512, 516, 513, 519, 508, 506, 517, 520, 495, 507, 122: 461, 124: 481, 127: 536, 471, 464, 463, 483, 468, 476, 475, 470, 484, 479, 472, 469, 505, 477, 487, 474, 473, 462, 466, 478, 482, 465, 480, 533, 532, 467, 485, 486, 826, 460}, 1765 {228, 7: 228, 562, 575, 15: 558, 561, 573, 574, 571, 563, 560, 559, 566, 565, 567, 568, 564, 569, 572, 570}, 1766 {829, 8: 562, 575, 15: 558, 561, 573, 574, 571, 563, 560, 559, 566, 565, 567, 568, 564, 569, 572, 570}, 1767 {25, 424, 4: 423, 406, 431, 8: 25, 25, 15: 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 42: 421, 44: 420, 416, 418, 419, 414, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 411, 446, 443, 413, 440, 441, 432, 433, 442, 434, 439, 403, 425, 435, 436, 437, 430, 438, 83: 448, 404, 86: 25}, 1768 {247, 247, 247, 247, 247, 247, 247, 247, 247, 247, 247, 247, 247, 247, 247, 247, 247, 247, 247, 247, 247, 247, 247, 247, 247, 247, 247, 247, 247, 247, 247, 247, 33: 247, 247, 247, 247, 247, 247, 247, 247, 247}, 1769 // 465 1770 {249, 249, 249, 249, 249, 249, 249, 249, 249, 575, 249, 249, 249, 249, 249, 249, 249, 249, 249, 249, 249, 249, 249, 249, 249, 249, 249, 249, 249, 249, 249, 249, 33: 249, 249, 249, 249, 249, 249, 249, 249, 249}, 1771 {264, 264, 264, 264, 264, 264, 264, 264, 264, 575, 264, 264, 264, 264, 264, 264, 264, 264, 264, 264, 264, 264, 264, 264, 264, 264, 264, 264, 264, 264, 264, 264, 33: 264, 264, 264, 264, 264, 264, 264, 264, 264}, 1772 {52: 836, 55: 837, 838, 835, 59: 839, 61: 834, 247: 833}, 1773 {272, 272, 272, 272, 272, 272, 272, 272, 272, 272, 272, 272, 272, 272, 272, 272, 272, 272, 272, 272, 272, 272, 272, 272, 272, 272, 272, 272, 272, 272, 272, 272, 33: 272, 272, 272, 272, 272, 272, 272, 272, 272}, 1774 {271, 271, 271, 271, 271, 271, 271, 271, 271, 271, 271, 271, 271, 271, 271, 271, 271, 271, 271, 271, 271, 271, 271, 271, 271, 271, 271, 271, 271, 271, 271, 271, 33: 271, 271, 271, 271, 271, 271, 271, 271, 271}, 1775 // 470 1776 {270, 270, 270, 270, 270, 270, 270, 270, 270, 270, 270, 270, 270, 270, 270, 270, 270, 270, 270, 270, 270, 270, 270, 270, 270, 270, 270, 270, 270, 270, 270, 270, 33: 270, 270, 270, 270, 270, 270, 270, 270, 270}, 1777 {269, 269, 269, 269, 269, 269, 269, 269, 269, 269, 269, 269, 269, 269, 269, 269, 269, 269, 269, 269, 269, 269, 269, 269, 269, 269, 269, 269, 269, 269, 269, 269, 33: 269, 269, 269, 269, 269, 269, 269, 269, 269}, 1778 {268, 268, 268, 268, 268, 268, 268, 268, 268, 268, 268, 268, 268, 268, 268, 268, 268, 268, 268, 268, 268, 268, 268, 268, 268, 268, 268, 268, 268, 268, 268, 268, 33: 268, 268, 268, 268, 268, 268, 268, 268, 268}, 1779 {267, 267, 267, 267, 267, 267, 267, 267, 267, 267, 267, 267, 267, 267, 267, 267, 267, 267, 267, 267, 267, 267, 267, 267, 267, 267, 267, 267, 267, 267, 267, 267, 33: 267, 267, 267, 267, 267, 267, 267, 267, 267}, 1780 {266, 266, 266, 266, 266, 266, 266, 266, 266, 266, 266, 266, 266, 266, 266, 266, 266, 266, 266, 266, 266, 266, 266, 266, 266, 266, 266, 266, 266, 266, 266, 266, 33: 266, 266, 266, 266, 266, 266, 266, 266, 266}, 1781 // 475 1782 {273, 273, 273, 273, 273, 273, 273, 273, 273, 273, 273, 273, 273, 273, 273, 273, 273, 273, 273, 273, 273, 273, 273, 273, 273, 273, 273, 273, 273, 273, 273, 273, 33: 273, 273, 273, 273, 273, 273, 273, 273, 273}, 1783 {274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 274, 33: 274, 274, 274, 274, 274, 274, 274, 274, 274}, 1784 {275, 275, 275, 275, 275, 275, 275, 275, 275, 275, 275, 275, 275, 275, 275, 275, 275, 275, 275, 275, 275, 275, 275, 275, 275, 275, 275, 275, 275, 275, 275, 275, 33: 275, 275, 275, 275, 275, 275, 275, 275, 275}, 1785 {1: 424, 4: 423, 406, 431, 42: 421, 44: 420, 416, 418, 419, 414, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 411, 446, 443, 413, 440, 441, 432, 433, 442, 434, 439, 403, 425, 435, 436, 437, 430, 438, 83: 845, 404, 203: 844}, 1786 {313, 313, 313, 313, 313, 313, 313, 313, 313, 313, 313, 313, 313, 313, 313, 313, 313, 313, 313, 313, 313, 313, 313, 313, 313, 313, 313, 313, 313, 313, 313, 313, 33: 313, 313, 313, 313, 313, 313, 313, 313, 313}, 1787 // 480 1788 {49, 49, 49, 49, 49, 49, 49, 49, 49, 49, 49, 49, 49, 49, 49, 49, 49, 49, 49, 49, 49, 49, 49, 49, 49, 49, 49, 49, 49, 49, 49, 49, 33: 49, 49, 49, 49, 49, 49, 49, 49, 49}, 1789 {32: 455, 160: 858}, 1790 {32: 455, 160: 857}, 1791 {17: 628, 98: 627, 195: 625, 199: 853}, 1792 {17: 628, 98: 627, 195: 625, 199: 850}, 1793 // 485 1794 {15: 659, 660, 89: 661, 90, 662, 189: 663, 851}, 1795 {90: 852}, 1796 {32: 128}, 1797 {15: 659, 660, 89: 661, 90, 662, 96: 90, 189: 663, 854}, 1798 {90: 856, 96: 855}, 1799 // 490 1800 {32: 129}, 1801 {32: 127}, 1802 {131, 131, 131, 131, 7: 131, 131, 10: 131, 131, 131, 131, 31: 131, 33: 131, 131, 131, 82: 131, 161: 131, 163: 131, 131, 131, 131, 178: 131, 131}, 1803 {132, 132, 132, 132, 7: 132, 132, 10: 132, 132, 132, 132, 31: 132, 33: 132, 132, 132, 82: 132, 161: 132, 163: 132, 132, 132, 132, 178: 132, 132}, 1804 {1: 85, 31: 85, 33: 85, 85, 85}, 1805 // 495 1806 {2: 332, 332}, 1807 {1: 54, 4: 54, 54, 54, 42: 54, 44: 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 170: 865, 197: 870}, 1808 {1: 54, 4: 54, 54, 54, 42: 54, 44: 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 170: 865, 197: 868}, 1809 {1: 54, 4: 54, 54, 54, 42: 54, 44: 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 54, 170: 865, 197: 864}, 1810 {1: 424, 4: 423, 406, 431, 42: 421, 44: 420, 416, 418, 419, 414, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 411, 446, 443, 413, 440, 441, 432, 433, 442, 434, 439, 403, 425, 435, 436, 437, 430, 438, 83: 867, 404}, 1811 // 500 1812 {93: 866}, 1813 {1: 53, 4: 53, 53, 53, 42: 53, 44: 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53, 53}, 1814 {2: 333, 333}, 1815 {1: 424, 4: 423, 406, 431, 42: 421, 44: 420, 416, 418, 419, 414, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 411, 446, 443, 413, 440, 441, 432, 433, 442, 434, 439, 403, 425, 435, 436, 437, 430, 438, 83: 631, 404, 171: 869}, 1816 {2: 334, 334}, 1817 // 505 1818 {1: 424, 4: 423, 406, 431, 42: 421, 44: 420, 416, 418, 419, 414, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 411, 446, 443, 413, 440, 441, 432, 433, 442, 434, 439, 403, 425, 435, 436, 437, 430, 438, 83: 402, 404, 169: 871}, 1819 {2: 335, 335}, 1820 {1: 424, 4: 423, 406, 431, 42: 421, 44: 420, 416, 418, 419, 414, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 411, 446, 443, 413, 440, 441, 432, 433, 442, 434, 439, 403, 425, 435, 436, 437, 430, 438, 83: 537, 404, 88: 938, 287: 937}, 1821 {121: 330, 123: 330, 266: 899, 898, 897}, 1822 {1: 424, 4: 423, 406, 431, 42: 421, 44: 420, 416, 418, 419, 414, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 411, 446, 443, 413, 440, 441, 432, 433, 442, 434, 439, 403, 425, 435, 436, 437, 430, 438, 83: 537, 404, 88: 877, 221: 876, 258: 875}, 1823 // 510 1824 {7: 890, 14: 609, 182: 889}, 1825 {7: 61, 14: 61}, 1826 {158: 878}, 1827 {32: 879}, 1828 {1: 424, 4: 423, 406, 431, 42: 421, 44: 420, 416, 418, 419, 414, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 411, 446, 443, 413, 440, 441, 432, 433, 442, 434, 439, 403, 425, 435, 436, 437, 430, 438, 83: 537, 404, 88: 883, 122: 882, 202: 880, 230: 881}, 1829 // 515 1830 {316, 7: 316}, 1831 {887, 7: 886}, 1832 {20: 884}, 1833 {86: 843}, 1834 {1: 424, 4: 423, 406, 431, 8: 501, 503, 32: 504, 42: 421, 515, 420, 416, 418, 419, 497, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 496, 446, 443, 498, 440, 441, 528, 526, 531, 523, 530, 403, 499, 529, 525, 524, 522, 527, 83: 537, 404, 491, 87: 488, 459, 92: 490, 535, 489, 514, 99: 500, 509, 521, 534, 510, 511, 492, 518, 494, 493, 512, 516, 513, 519, 508, 506, 517, 520, 495, 507, 122: 461, 124: 481, 127: 536, 471, 464, 463, 483, 468, 476, 475, 470, 484, 479, 472, 469, 505, 477, 487, 474, 473, 462, 466, 478, 482, 465, 480, 533, 532, 467, 485, 486, 885, 460}, 1835 // 520 1836 {314, 7: 314, 562, 575, 15: 558, 561, 573, 574, 571, 563, 560, 559, 566, 565, 567, 568, 564, 569, 572, 570}, 1837 {1: 424, 4: 423, 406, 431, 42: 421, 44: 420, 416, 418, 419, 414, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 411, 446, 443, 413, 440, 441, 432, 433, 442, 434, 439, 403, 425, 435, 436, 437, 430, 438, 83: 537, 404, 88: 883, 122: 882, 202: 888}, 1838 {7: 59, 14: 59}, 1839 {315, 7: 315}, 1840 {2: 83, 83, 10: 83, 83, 83, 83, 82: 458, 174: 892}, 1841 // 525 1842 {1: 424, 4: 423, 406, 431, 42: 421, 44: 420, 416, 418, 419, 414, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 411, 446, 443, 413, 440, 441, 432, 433, 442, 434, 439, 403, 425, 435, 436, 437, 430, 438, 83: 537, 404, 88: 877, 221: 891}, 1843 {7: 60, 14: 60}, 1844 {2: 81, 81, 10: 81, 81, 81, 703, 183: 893}, 1845 {2: 73, 73, 10: 73, 73, 714, 184: 894}, 1846 {2: 71, 71, 10: 71, 717, 187: 895}, 1847 // 530 1848 {2: 69, 69, 10: 721, 186: 896}, 1849 {2: 62, 62}, 1850 {121: 904, 123: 903, 220: 902, 257: 901}, 1851 {121: 329, 123: 329}, 1852 {1: 424, 4: 423, 406, 431, 42: 421, 44: 420, 416, 418, 419, 414, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 411, 446, 443, 413, 440, 441, 432, 433, 442, 434, 439, 403, 425, 435, 436, 437, 430, 438, 83: 402, 404, 169: 900}, 1853 // 535 1854 {121: 328, 123: 328}, 1855 {2: 155, 155, 7: 929, 10: 155, 155, 155, 155, 609, 82: 155, 182: 930, 256: 928}, 1856 {2: 327, 327, 7: 327, 10: 327, 327, 327, 327, 327, 82: 327}, 1857 {1: 424, 115, 115, 423, 406, 431, 115, 10: 115, 115, 115, 115, 115, 42: 421, 115, 420, 416, 418, 419, 414, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 411, 446, 443, 413, 440, 441, 432, 433, 442, 434, 439, 403, 425, 435, 436, 437, 430, 438, 115, 537, 404, 88: 623, 120: 115, 173: 926}, 1858 {1: 424, 4: 423, 406, 431, 42: 421, 44: 420, 416, 418, 419, 414, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 411, 446, 443, 413, 440, 441, 432, 433, 442, 434, 439, 403, 425, 435, 436, 437, 430, 438, 83: 537, 404, 88: 623, 126: 115, 173: 905}, 1859 // 540 1860 {126: 906}, 1861 {1: 424, 4: 423, 406, 431, 42: 421, 44: 420, 416, 418, 419, 414, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 411, 446, 443, 413, 440, 441, 432, 433, 442, 434, 439, 403, 425, 435, 436, 437, 430, 438, 83: 537, 404, 88: 907}, 1862 {19: 908}, 1863 {1: 424, 4: 423, 406, 431, 42: 421, 44: 420, 416, 418, 419, 414, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 411, 446, 443, 413, 440, 441, 432, 433, 442, 434, 439, 403, 425, 435, 436, 437, 430, 438, 83: 537, 404, 88: 909}, 1864 {2: 322, 322, 7: 322, 10: 322, 322, 322, 322, 322, 43: 913, 82: 322, 120: 322, 224: 910, 912, 911}, 1865 // 545 1866 {2: 324, 324, 7: 324, 10: 324, 324, 324, 324, 324, 82: 324}, 1867 {2: 319, 319, 7: 319, 10: 319, 319, 319, 319, 319, 82: 319, 120: 922, 276: 921, 920}, 1868 {2: 321, 321, 7: 321, 10: 321, 321, 321, 321, 321, 82: 321, 120: 321}, 1869 {32: 914}, 1870 {1: 424, 4: 423, 406, 431, 42: 421, 44: 420, 416, 418, 419, 414, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 411, 446, 443, 413, 440, 441, 432, 433, 442, 434, 439, 403, 425, 435, 436, 437, 430, 438, 83: 631, 404, 171: 916, 270: 915}, 1871 // 550 1872 {917, 7: 918}, 1873 {106, 7: 106}, 1874 {2: 320, 320, 7: 320, 10: 320, 320, 320, 320, 320, 82: 320, 120: 320}, 1875 {1: 424, 4: 423, 406, 431, 42: 421, 44: 420, 416, 418, 419, 414, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 411, 446, 443, 413, 440, 441, 432, 433, 442, 434, 439, 403, 425, 435, 436, 437, 430, 438, 83: 631, 404, 171: 919}, 1876 {105, 7: 105}, 1877 // 555 1878 {2: 323, 323, 7: 323, 10: 323, 323, 323, 323, 323, 82: 323}, 1879 {2: 318, 318, 7: 318, 10: 318, 318, 318, 318, 318, 82: 318}, 1880 {32: 923}, 1881 {1: 424, 4: 423, 406, 431, 42: 421, 44: 420, 416, 418, 419, 414, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 411, 446, 443, 413, 440, 441, 432, 433, 442, 434, 439, 403, 425, 435, 436, 437, 430, 438, 83: 537, 404, 88: 883, 122: 882, 202: 880, 230: 924}, 1882 {925, 7: 886}, 1883 // 560 1884 {2: 317, 317, 7: 317, 10: 317, 317, 317, 317, 317, 82: 317}, 1885 {2: 322, 322, 7: 322, 10: 322, 322, 322, 322, 322, 43: 913, 82: 322, 120: 322, 224: 927, 912, 911}, 1886 {2: 325, 325, 7: 325, 10: 325, 325, 325, 325, 325, 82: 325}, 1887 {2: 83, 83, 10: 83, 83, 83, 83, 82: 458, 174: 932}, 1888 {121: 904, 123: 903, 220: 931}, 1889 // 565 1890 {2: 154, 154, 10: 154, 154, 154, 154, 82: 154}, 1891 {2: 326, 326, 7: 326, 10: 326, 326, 326, 326, 326, 82: 326}, 1892 {2: 81, 81, 10: 81, 81, 81, 703, 183: 933}, 1893 {2: 73, 73, 10: 73, 73, 714, 184: 934}, 1894 {2: 71, 71, 10: 71, 717, 187: 935}, 1895 // 570 1896 {2: 69, 69, 10: 721, 186: 936}, 1897 {2: 331, 331}, 1898 {7: 940, 14: 609, 182: 939}, 1899 {7: 113, 14: 113}, 1900 {2: 83, 83, 10: 83, 83, 83, 83, 82: 458, 174: 942}, 1901 // 575 1902 {1: 424, 4: 423, 406, 431, 42: 421, 44: 420, 416, 418, 419, 414, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 411, 446, 443, 413, 440, 441, 432, 433, 442, 434, 439, 403, 425, 435, 436, 437, 430, 438, 83: 537, 404, 88: 941}, 1903 {7: 112, 14: 112}, 1904 {2: 81, 81, 10: 81, 81, 81, 703, 183: 943}, 1905 {2: 73, 73, 10: 73, 73, 714, 184: 944}, 1906 {2: 71, 71, 10: 71, 717, 187: 945}, 1907 // 580 1908 {2: 69, 69, 10: 721, 186: 946}, 1909 {2: 336, 336}, 1910 {1: 52, 4: 52, 52, 52, 42: 52, 44: 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 170: 953, 198: 966}, 1911 {1: 52, 4: 52, 52, 52, 42: 52, 44: 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 170: 953, 198: 964}, 1912 {185: 951}, 1913 // 585 1914 {185: 337}, 1915 {1: 52, 4: 52, 52, 52, 42: 52, 44: 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 52, 170: 953, 198: 952}, 1916 {1: 424, 4: 423, 406, 431, 42: 421, 44: 420, 416, 418, 419, 414, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 411, 446, 443, 413, 440, 441, 432, 433, 442, 434, 439, 403, 425, 435, 436, 437, 430, 438, 83: 957, 404, 264: 956}, 1917 {9: 954}, 1918 {93: 955}, 1919 // 590 1920 {1: 51, 4: 51, 51, 51, 42: 51, 44: 51, 51, 51, 51, 51, 51, 51, 51, 51, 51, 51, 51, 51, 51, 51, 51, 51, 51, 51, 51, 51, 51, 51, 51, 51, 51, 51, 51, 51, 51, 51, 51, 51, 51, 51, 51, 51, 51}, 1921 {32: 958}, 1922 {32: 48}, 1923 {1: 424, 4: 423, 406, 431, 42: 421, 44: 420, 416, 418, 419, 414, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 411, 446, 443, 413, 440, 441, 432, 433, 442, 434, 439, 403, 425, 435, 436, 437, 430, 438, 83: 845, 404, 203: 960, 278: 959}, 1924 {961, 7: 962}, 1925 // 595 1926 {2, 7: 2}, 1927 {2: 339, 339}, 1928 {1: 424, 4: 423, 406, 431, 42: 421, 44: 420, 416, 418, 419, 414, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 411, 446, 443, 413, 440, 441, 432, 433, 442, 434, 439, 403, 425, 435, 436, 437, 430, 438, 83: 845, 404, 203: 963}, 1929 {1, 7: 1}, 1930 {1: 424, 4: 423, 406, 431, 42: 421, 44: 420, 416, 418, 419, 414, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 411, 446, 443, 413, 440, 441, 432, 433, 442, 434, 439, 403, 425, 435, 436, 437, 430, 438, 83: 631, 404, 171: 965}, 1931 // 600 1932 {2: 340, 340}, 1933 {1: 424, 4: 423, 406, 431, 42: 421, 44: 420, 416, 418, 419, 414, 422, 405, 407, 412, 409, 417, 426, 427, 428, 415, 429, 444, 410, 445, 408, 411, 446, 443, 413, 440, 441, 432, 433, 442, 434, 439, 403, 425, 435, 436, 437, 430, 438, 83: 402, 404, 169: 967}, 1934 {2: 341, 341}, 1935 {1: 395, 344, 344, 31: 88, 33: 88, 88, 88, 50: 386, 387, 53: 391, 58: 392, 172: 394, 176: 393, 389, 180: 382, 204: 370, 207: 371, 388, 372, 374, 373, 375, 390, 376, 378, 377, 218: 369, 379, 222: 380, 231: 381, 234: 397, 385, 969, 383, 396, 384}, 1936 {2: 362, 362}, 1937 } 1938 ) 1939 1940 var yyDebug = 0 1941 1942 type yyLexer interface { 1943 Lex(lval *yySymType) int 1944 Errorf(format string, a ...interface{}) error 1945 AppendError(err error) 1946 AppendWarn(err error) 1947 Errors() (warns []error, errs []error) 1948 } 1949 1950 type yyLexerEx interface { 1951 yyLexer 1952 Reduced(rule, state int, lval *yySymType) bool 1953 } 1954 1955 func yySymName(c int) (s string) { 1956 x, ok := yyXLAT[c] 1957 if ok { 1958 return yySymNames[x] 1959 } 1960 1961 return __yyfmt__.Sprintf("%d", c) 1962 } 1963 1964 func yylex1(yylex yyLexer, lval *yySymType) (n int) { 1965 n = yylex.Lex(lval) 1966 if n <= 0 { 1967 n = yyEOFCode 1968 } 1969 if yyDebug >= 3 { 1970 __yyfmt__.Printf("\nlex %s(%#x %d), lval: %+v\n", yySymName(n), n, n, lval) 1971 } 1972 return n 1973 } 1974 1975 func yyParse(yylex yyLexer, parser *Parser) int { 1976 const yyError = 300 1977 1978 yyEx, _ := yylex.(yyLexerEx) 1979 var yyn int 1980 parser.yylval = yySymType{} 1981 yyS := parser.cache 1982 1983 Nerrs := 0 /* number of errors */ 1984 Errflag := 0 /* error recovery flag */ 1985 yyerrok := func() { 1986 if yyDebug >= 2 { 1987 __yyfmt__.Printf("yyerrok()\n") 1988 } 1989 Errflag = 0 1990 } 1991 _ = yyerrok 1992 yystate := 0 1993 yychar := -1 1994 var yyxchar int 1995 var yyshift int 1996 yyp := -1 1997 goto yystack 1998 1999 ret0: 2000 return 0 2001 2002 ret1: 2003 return 1 2004 2005 yystack: 2006 /* put a state and value onto the stack */ 2007 yyp++ 2008 if yyp+1 >= len(yyS) { 2009 nyys := make([]yySymType, len(yyS)*2) 2010 copy(nyys, yyS) 2011 yyS = nyys 2012 parser.cache = yyS 2013 } 2014 parser.yyVAL = &yyS[yyp+1] 2015 yyS[yyp].yys = yystate 2016 2017 yynewstate: 2018 if yychar < 0 { 2019 yychar = yylex1(yylex, &parser.yylval) 2020 var ok bool 2021 if yyxchar, ok = yyXLAT[yychar]; !ok { 2022 yyxchar = len(yySymNames) // > tab width 2023 } 2024 } 2025 if yyDebug >= 4 { 2026 var a []int 2027 for _, v := range yyS[:yyp+1] { 2028 a = append(a, v.yys) 2029 } 2030 __yyfmt__.Printf("state stack %v\n", a) 2031 } 2032 row := yyParseTab[yystate] 2033 yyn = 0 2034 if yyxchar < len(row) { 2035 if yyn = int(row[yyxchar]); yyn != 0 { 2036 yyn += yyTabOfs 2037 } 2038 } 2039 switch { 2040 case yyn > 0: // shift 2041 yychar = -1 2042 *parser.yyVAL = parser.yylval 2043 yystate = yyn 2044 yyshift = yyn 2045 if yyDebug >= 2 { 2046 __yyfmt__.Printf("shift, and goto state %d\n", yystate) 2047 } 2048 if Errflag > 0 { 2049 Errflag-- 2050 } 2051 goto yystack 2052 case yyn < 0: // reduce 2053 case yystate == 1: // accept 2054 if yyDebug >= 2 { 2055 __yyfmt__.Println("accept") 2056 } 2057 goto ret0 2058 } 2059 2060 if yyn == 0 { 2061 /* error ... attempt to resume parsing */ 2062 switch Errflag { 2063 case 0: /* brand new error */ 2064 if yyDebug >= 1 { 2065 __yyfmt__.Printf("no action for %s in state %d\n", yySymName(yychar), yystate) 2066 } 2067 msg, ok := yyXErrors[yyXError{yystate, yyxchar}] 2068 if !ok { 2069 msg, ok = yyXErrors[yyXError{yystate, -1}] 2070 } 2071 if !ok && yyshift != 0 { 2072 msg, ok = yyXErrors[yyXError{yyshift, yyxchar}] 2073 } 2074 if !ok { 2075 msg, ok = yyXErrors[yyXError{yyshift, -1}] 2076 } 2077 if !ok || msg == "" { 2078 msg = "syntax error" 2079 } 2080 // ignore goyacc error message 2081 yylex.AppendError(yylex.Errorf("")) 2082 Nerrs++ 2083 fallthrough 2084 2085 case 1, 2: /* incompletely recovered error ... try again */ 2086 Errflag = 3 2087 2088 /* find a state where "error" is a legal shift action */ 2089 for yyp >= 0 { 2090 row := yyParseTab[yyS[yyp].yys] 2091 if yyError < len(row) { 2092 yyn = int(row[yyError]) + yyTabOfs 2093 if yyn > 0 { // hit 2094 if yyDebug >= 2 { 2095 __yyfmt__.Printf("error recovery found error shift in state %d\n", yyS[yyp].yys) 2096 } 2097 yystate = yyn /* simulate a shift of "error" */ 2098 goto yystack 2099 } 2100 } 2101 2102 /* the current p has no shift on "error", pop stack */ 2103 if yyDebug >= 2 { 2104 __yyfmt__.Printf("error recovery pops state %d\n", yyS[yyp].yys) 2105 } 2106 yyp-- 2107 } 2108 /* there is no state on the stack with an error shift ... abort */ 2109 if yyDebug >= 2 { 2110 __yyfmt__.Printf("error recovery failed\n") 2111 } 2112 goto ret1 2113 2114 case 3: /* no shift yet; clobber input char */ 2115 if yyDebug >= 2 { 2116 __yyfmt__.Printf("error recovery discards %s\n", yySymName(yychar)) 2117 } 2118 if yychar == yyEOFCode { 2119 goto ret1 2120 } 2121 2122 yychar = -1 2123 goto yynewstate /* try again in the same state */ 2124 } 2125 } 2126 2127 r := -yyn 2128 x0 := yyReductions[r] 2129 x, n := x0.xsym, x0.components 2130 yypt := yyp 2131 _ = yypt // guard against "declared and not used" 2132 2133 yyp -= n 2134 if yyp+1 >= len(yyS) { 2135 nyys := make([]yySymType, len(yyS)*2) 2136 copy(nyys, yyS) 2137 yyS = nyys 2138 parser.cache = yyS 2139 } 2140 parser.yyVAL = &yyS[yyp+1] 2141 2142 /* consult goto table to find next state */ 2143 exState := yystate 2144 yystate = int(yyParseTab[yyS[yyp].yys][x]) + yyTabOfs 2145 /* reduction by production r */ 2146 if yyDebug >= 2 { 2147 __yyfmt__.Printf("reduce using rule %v (%s), and goto state %d\n", r, yySymNames[x], yystate) 2148 } 2149 2150 switch r { 2151 case 2: 2152 { 2153 if yyS[yypt-0].statement != nil { 2154 parser.result = append(parser.result, yyS[yypt-0].statement) 2155 } 2156 } 2157 case 3: 2158 { 2159 if yyS[yypt-0].statement != nil { 2160 parser.result = append(parser.result, yyS[yypt-0].statement) 2161 } 2162 } 2163 case 21: 2164 { 2165 parser.yyVAL.statement = nil 2166 } 2167 case 22: 2168 { 2169 parser.yyVAL.statement = &ast.BeginStmt{} 2170 } 2171 case 23: 2172 { 2173 parser.yyVAL.statement = &ast.CommitStmt{} 2174 } 2175 case 24: 2176 { 2177 parser.yyVAL.statement = &ast.CreateGraphStmt{ 2178 IfNotExists: yyS[yypt-1].item.(bool), 2179 Graph: yyS[yypt-0].item.(model.CIStr), 2180 } 2181 } 2182 case 25: 2183 { 2184 cl := &ast.CreateLabelStmt{ 2185 IfNotExists: yyS[yypt-1].item.(bool), 2186 Label: yyS[yypt-0].item.(model.CIStr), 2187 } 2188 parser.yyVAL.statement = cl 2189 } 2190 case 26: 2191 { 2192 parser.yyVAL.statement = &ast.CreateIndexStmt{ 2193 KeyType: yyS[yypt-6].item.(ast.IndexKeyType), 2194 IfNotExists: yyS[yypt-4].item.(bool), 2195 IndexName: yyS[yypt-3].item.(model.CIStr), 2196 Properties: yyS[yypt-1].item.([]model.CIStr), 2197 } 2198 } 2199 case 27: 2200 { 2201 parser.yyVAL.item = ast.IndexKeyTypeNone 2202 } 2203 case 28: 2204 { 2205 parser.yyVAL.item = ast.IndexKeyTypeUnique 2206 } 2207 case 29: 2208 { 2209 ds := &ast.DeleteStmt{ 2210 VariableNames: yyS[yypt-6].item.([]model.CIStr), 2211 From: yyS[yypt-5].item.(*ast.MatchClauseList), 2212 } 2213 if yyS[yypt-8].item != nil { 2214 ds.PathPatternMacros = yyS[yypt-8].item.([]*ast.PathPatternMacro) 2215 } 2216 if yyS[yypt-4].item != nil { 2217 ds.Where = yyS[yypt-4].item.(ast.ExprNode) 2218 } 2219 if yyS[yypt-3].item != nil { 2220 ds.GroupBy = yyS[yypt-3].item.(*ast.GroupByClause) 2221 } 2222 if yyS[yypt-2].item != nil { 2223 ds.Having = yyS[yypt-2].item.(*ast.HavingClause) 2224 } 2225 if yyS[yypt-1].item != nil { 2226 ds.OrderBy = yyS[yypt-1].item.(*ast.OrderByClause) 2227 } 2228 if yyS[yypt-0].item != nil { 2229 ds.Limit = yyS[yypt-0].item.(*ast.LimitClause) 2230 } 2231 parser.yyVAL.statement = ds 2232 } 2233 case 30: 2234 { 2235 parser.yyVAL.statement = &ast.DropGraphStmt{ 2236 IfExists: yyS[yypt-1].item.(bool), 2237 Graph: yyS[yypt-0].item.(model.CIStr), 2238 } 2239 } 2240 case 31: 2241 { 2242 parser.yyVAL.statement = &ast.DropLabelStmt{ 2243 IfExists: yyS[yypt-1].item.(bool), 2244 Label: yyS[yypt-0].item.(model.CIStr), 2245 } 2246 } 2247 case 32: 2248 { 2249 parser.yyVAL.statement = &ast.DropIndexStmt{ 2250 IfExists: yyS[yypt-1].item.(bool), 2251 IndexName: model.NewCIStr(yyS[yypt-0].ident), 2252 } 2253 } 2254 case 33: 2255 { 2256 parser.yyVAL.statement = &ast.ExplainStmt{ 2257 Select: yyS[yypt-0].statement.(*ast.SelectStmt), 2258 } 2259 } 2260 case 34: 2261 { 2262 is := &ast.InsertStmt{ 2263 Insertions: yyS[yypt-6].item.([]*ast.GraphElementInsertion), 2264 } 2265 if yyS[yypt-9].item != nil { 2266 is.PathPatternMacros = yyS[yypt-9].item.([]*ast.PathPatternMacro) 2267 } 2268 if yyS[yypt-7].item != nil { 2269 is.IntoGraphName = yyS[yypt-7].item.(model.CIStr) 2270 } 2271 if yyS[yypt-5].item != nil { 2272 is.From = yyS[yypt-5].item.(*ast.MatchClauseList) 2273 } 2274 if yyS[yypt-4].item != nil { 2275 is.Where = yyS[yypt-4].item.(ast.ExprNode) 2276 } 2277 if yyS[yypt-3].item != nil { 2278 is.GroupBy = yyS[yypt-3].item.(*ast.GroupByClause) 2279 } 2280 if yyS[yypt-2].item != nil { 2281 is.Having = yyS[yypt-2].item.(*ast.HavingClause) 2282 } 2283 if yyS[yypt-1].item != nil { 2284 is.OrderBy = yyS[yypt-1].item.(*ast.OrderByClause) 2285 } 2286 if yyS[yypt-0].item != nil { 2287 is.Limit = yyS[yypt-0].item.(*ast.LimitClause) 2288 } 2289 parser.yyVAL.statement = is 2290 } 2291 case 35: 2292 { 2293 parser.yyVAL.item = nil 2294 } 2295 case 37: 2296 { 2297 parser.yyVAL.item = yyS[yypt-0].item 2298 } 2299 case 38: 2300 { 2301 parser.yyVAL.item = []*ast.GraphElementInsertion{yyS[yypt-0].item.(*ast.GraphElementInsertion)} 2302 } 2303 case 39: 2304 { 2305 parser.yyVAL.item = append(yyS[yypt-2].item.([]*ast.GraphElementInsertion), yyS[yypt-0].item.(*ast.GraphElementInsertion)) 2306 } 2307 case 40: 2308 { 2309 insertion := &ast.GraphElementInsertion{ 2310 InsertionType: ast.InsertionTypeVertex, 2311 LabelsAndProperties: yyS[yypt-0].item.(*ast.LabelsAndProperties), 2312 } 2313 if yyS[yypt-1].item != nil { 2314 insertion.VariableName = yyS[yypt-1].item.(model.CIStr) 2315 } 2316 parser.yyVAL.item = insertion 2317 } 2318 case 41: 2319 { 2320 insertion := &ast.GraphElementInsertion{ 2321 InsertionType: ast.InsertionTypeEdge, 2322 From: yyS[yypt-3].item.(model.CIStr), 2323 To: yyS[yypt-1].item.(model.CIStr), 2324 LabelsAndProperties: yyS[yypt-0].item.(*ast.LabelsAndProperties), 2325 } 2326 if yyS[yypt-5].item != nil { 2327 insertion.VariableName = yyS[yypt-5].item.(model.CIStr) 2328 } 2329 parser.yyVAL.item = insertion 2330 } 2331 case 42: 2332 { 2333 lps := &ast.LabelsAndProperties{} 2334 if yyS[yypt-1].item != nil { 2335 lps.Labels = yyS[yypt-1].item.([]model.CIStr) 2336 } 2337 if yyS[yypt-0].item != nil { 2338 lps.Assignments = yyS[yypt-0].item.([]*ast.PropertyAssignment) 2339 } 2340 parser.yyVAL.item = lps 2341 } 2342 case 43: 2343 { 2344 parser.yyVAL.item = nil 2345 } 2346 case 45: 2347 { 2348 parser.yyVAL.item = yyS[yypt-1].item 2349 } 2350 case 46: 2351 { 2352 parser.yyVAL.item = nil 2353 } 2354 case 48: 2355 { 2356 parser.yyVAL.item = yyS[yypt-1].item 2357 } 2358 case 49: 2359 { 2360 parser.yyVAL.item = []*ast.PropertyAssignment{yyS[yypt-0].item.(*ast.PropertyAssignment)} 2361 } 2362 case 50: 2363 { 2364 parser.yyVAL.item = append(yyS[yypt-2].item.([]*ast.PropertyAssignment), yyS[yypt-0].item.(*ast.PropertyAssignment)) 2365 } 2366 case 51: 2367 { 2368 parser.yyVAL.item = &ast.PropertyAssignment{ 2369 PropertyAccess: yyS[yypt-2].expr.(*ast.PropertyAccess), 2370 ValueExpression: yyS[yypt-0].expr.(ast.ExprNode), 2371 } 2372 } 2373 case 52: 2374 { 2375 parser.yyVAL.expr = &ast.PropertyAccess{ 2376 VariableName: yyS[yypt-2].item.(model.CIStr), 2377 PropertyName: yyS[yypt-0].item.(model.CIStr), 2378 } 2379 } 2380 case 74: 2381 { 2382 parser.yyVAL.expr = &ast.VariableReference{ 2383 VariableName: yyS[yypt-0].item.(model.CIStr), 2384 } 2385 } 2386 case 82: 2387 { 2388 parser.yyVAL.expr = ast.NewValueExpr(yyS[yypt-0].ident) 2389 } 2390 case 83: 2391 { 2392 parser.yyVAL.expr = ast.NewValueExpr(yyS[yypt-0].item) 2393 } 2394 case 84: 2395 { 2396 parser.yyVAL.expr = ast.NewValueExpr(yyS[yypt-0].item) 2397 } 2398 case 85: 2399 { 2400 parser.yyVAL.expr = ast.NewValueExpr(yyS[yypt-0].item) 2401 } 2402 case 86: 2403 { 2404 parser.yyVAL.expr = ast.NewValueExpr(yyS[yypt-0].item) 2405 } 2406 case 87: 2407 { 2408 parser.yyVAL.expr = ast.NewValueExpr(yyS[yypt-0].item) 2409 } 2410 case 88: 2411 { 2412 parser.yyVAL.expr = ast.NewValueExpr(false) 2413 } 2414 case 89: 2415 { 2416 parser.yyVAL.expr = ast.NewValueExpr(true) 2417 } 2418 case 90: 2419 { 2420 d, err := datum.ParseDate(yyS[yypt-0].ident) 2421 if err != nil { 2422 yylex.AppendError(err) 2423 return 1 2424 } 2425 parser.yyVAL.expr = ast.NewValueExpr(d) 2426 } 2427 case 91: 2428 { 2429 t, ttz, err := datum.ParseTimeOrTimeTZ(yyS[yypt-0].ident) 2430 if err != nil { 2431 yylex.AppendError(err) 2432 return 1 2433 } 2434 if t != nil { 2435 parser.yyVAL.expr = ast.NewValueExpr(t) 2436 } else { 2437 parser.yyVAL.expr = ast.NewValueExpr(ttz) 2438 } 2439 } 2440 case 92: 2441 { 2442 t, ttz, err := datum.ParseTimestampOrTimestampTZ(yyS[yypt-0].ident) 2443 if err != nil { 2444 yylex.AppendError(err) 2445 return 1 2446 } 2447 if t != nil { 2448 parser.yyVAL.expr = ast.NewValueExpr(t) 2449 } else { 2450 parser.yyVAL.expr = ast.NewValueExpr(ttz) 2451 } 2452 } 2453 case 93: 2454 { 2455 parser.yyVAL.expr = ast.NewValueExpr(datum.NewInterval(yyS[yypt-1].item.(int64), yyS[yypt-0].item.(datum.IntervalUnit))) 2456 } 2457 case 94: 2458 { 2459 parser.yyVAL.item = datum.IntervalUnitYear 2460 } 2461 case 95: 2462 { 2463 parser.yyVAL.item = datum.IntervalUnitMonth 2464 } 2465 case 96: 2466 { 2467 parser.yyVAL.item = datum.IntervalUnitDay 2468 } 2469 case 97: 2470 { 2471 parser.yyVAL.item = datum.IntervalUnitHour 2472 } 2473 case 98: 2474 { 2475 parser.yyVAL.item = datum.IntervalUnitMinute 2476 } 2477 case 99: 2478 { 2479 parser.yyVAL.item = datum.IntervalUnitSecond 2480 } 2481 case 100: 2482 { 2483 parser.yyVAL.expr = &ast.BindVariable{} 2484 } 2485 case 101: 2486 { 2487 parser.yyVAL.expr = &ast.UnaryExpr{Op: opcode.Minus, V: yyS[yypt-0].expr} 2488 } 2489 case 102: 2490 { 2491 parser.yyVAL.expr = &ast.BinaryExpr{Op: opcode.Mul, L: yyS[yypt-2].expr, R: yyS[yypt-0].expr} 2492 } 2493 case 103: 2494 { 2495 parser.yyVAL.expr = &ast.BinaryExpr{Op: opcode.Div, L: yyS[yypt-2].expr, R: yyS[yypt-0].expr} 2496 } 2497 case 104: 2498 { 2499 parser.yyVAL.expr = &ast.BinaryExpr{Op: opcode.Mod, L: yyS[yypt-2].expr, R: yyS[yypt-0].expr} 2500 } 2501 case 105: 2502 { 2503 parser.yyVAL.expr = &ast.BinaryExpr{Op: opcode.Plus, L: yyS[yypt-2].expr, R: yyS[yypt-0].expr} 2504 } 2505 case 106: 2506 { 2507 parser.yyVAL.expr = &ast.BinaryExpr{Op: opcode.Minus, L: yyS[yypt-2].expr, R: yyS[yypt-0].expr} 2508 } 2509 case 107: 2510 { 2511 parser.yyVAL.expr = &ast.BinaryExpr{Op: opcode.EQ, L: yyS[yypt-2].expr, R: yyS[yypt-0].expr} 2512 } 2513 case 108: 2514 { 2515 parser.yyVAL.expr = &ast.BinaryExpr{Op: opcode.NE, L: yyS[yypt-2].expr, R: yyS[yypt-0].expr} 2516 } 2517 case 109: 2518 { 2519 parser.yyVAL.expr = &ast.BinaryExpr{Op: opcode.GT, L: yyS[yypt-2].expr, R: yyS[yypt-0].expr} 2520 } 2521 case 110: 2522 { 2523 parser.yyVAL.expr = &ast.BinaryExpr{Op: opcode.LT, L: yyS[yypt-2].expr, R: yyS[yypt-0].expr} 2524 } 2525 case 111: 2526 { 2527 parser.yyVAL.expr = &ast.BinaryExpr{Op: opcode.GE, L: yyS[yypt-2].expr, R: yyS[yypt-0].expr} 2528 } 2529 case 112: 2530 { 2531 parser.yyVAL.expr = &ast.BinaryExpr{Op: opcode.LE, L: yyS[yypt-2].expr, R: yyS[yypt-0].expr} 2532 } 2533 case 113: 2534 { 2535 parser.yyVAL.expr = &ast.BinaryExpr{Op: opcode.LogicOr, L: yyS[yypt-2].expr, R: yyS[yypt-0].expr} 2536 } 2537 case 114: 2538 { 2539 parser.yyVAL.expr = &ast.BinaryExpr{Op: opcode.LogicXor, L: yyS[yypt-2].expr, R: yyS[yypt-0].expr} 2540 } 2541 case 115: 2542 { 2543 parser.yyVAL.expr = &ast.BinaryExpr{Op: opcode.LogicAnd, L: yyS[yypt-2].expr, R: yyS[yypt-0].expr} 2544 } 2545 case 116: 2546 { 2547 v, ok := yyS[yypt-0].expr.(*ast.ExistsSubqueryExpr) 2548 if ok { 2549 v.Not = true 2550 parser.yyVAL.expr = yyS[yypt-0].expr 2551 } else { 2552 parser.yyVAL.expr = &ast.UnaryExpr{Op: opcode.Not, V: yyS[yypt-0].expr} 2553 } 2554 } 2555 case 117: 2556 { 2557 parser.yyVAL.expr = &ast.BinaryExpr{Op: opcode.Concat, L: yyS[yypt-2].expr, R: yyS[yypt-0].expr} 2558 } 2559 case 118: 2560 { 2561 parser.yyVAL.expr = &ast.ParenthesesExpr{Expr: yyS[yypt-1].expr} 2562 } 2563 case 119: 2564 { 2565 parser.yyVAL.expr = &ast.FuncCallExpr{ 2566 FnName: model.NewCIStr(yyS[yypt-3].ident), 2567 Args: yyS[yypt-1].item.([]ast.ExprNode), 2568 } 2569 } 2570 case 136: 2571 { 2572 parser.yyVAL.item = []ast.ExprNode{yyS[yypt-0].expr} 2573 } 2574 case 137: 2575 { 2576 parser.yyVAL.item = append(yyS[yypt-2].item.([]ast.ExprNode), yyS[yypt-0].expr) 2577 } 2578 case 138: 2579 { 2580 parser.yyVAL.expr = &ast.SubstrFuncExpr{ 2581 Expr: yyS[yypt-4].expr, 2582 Start: yyS[yypt-2].expr, 2583 For: yyS[yypt-1].expr, 2584 } 2585 } 2586 case 140: 2587 { 2588 parser.yyVAL.expr = nil 2589 } 2590 case 141: 2591 { 2592 parser.yyVAL.expr = yyS[yypt-0].expr 2593 } 2594 case 142: 2595 { 2596 parser.yyVAL.expr = &ast.AggregateFuncExpr{ 2597 F: yyS[yypt-3].ident, 2598 Args: []ast.ExprNode{ 2599 ast.NewValueExpr(1), 2600 }, 2601 } 2602 } 2603 case 143: 2604 { 2605 parser.yyVAL.expr = &ast.AggregateFuncExpr{ 2606 F: yyS[yypt-4].ident, 2607 Args: []ast.ExprNode{yyS[yypt-1].expr}, 2608 Distinct: yyS[yypt-2].item.(bool), 2609 } 2610 } 2611 case 144: 2612 { 2613 parser.yyVAL.expr = &ast.AggregateFuncExpr{ 2614 F: yyS[yypt-4].ident, 2615 Args: []ast.ExprNode{yyS[yypt-1].expr}, 2616 Distinct: yyS[yypt-2].item.(bool), 2617 } 2618 } 2619 case 145: 2620 { 2621 parser.yyVAL.expr = &ast.AggregateFuncExpr{ 2622 F: yyS[yypt-4].ident, 2623 Args: []ast.ExprNode{yyS[yypt-1].expr}, 2624 Distinct: yyS[yypt-2].item.(bool), 2625 } 2626 } 2627 case 146: 2628 { 2629 parser.yyVAL.expr = &ast.AggregateFuncExpr{ 2630 F: yyS[yypt-4].ident, 2631 Args: []ast.ExprNode{yyS[yypt-1].expr}, 2632 Distinct: yyS[yypt-2].item.(bool), 2633 } 2634 } 2635 case 147: 2636 { 2637 parser.yyVAL.expr = &ast.AggregateFuncExpr{ 2638 F: yyS[yypt-4].ident, 2639 Args: []ast.ExprNode{yyS[yypt-1].expr}, 2640 Distinct: yyS[yypt-2].item.(bool), 2641 } 2642 } 2643 case 148: 2644 { 2645 parser.yyVAL.expr = &ast.AggregateFuncExpr{ 2646 F: yyS[yypt-4].ident, 2647 Args: []ast.ExprNode{yyS[yypt-1].expr}, 2648 Distinct: yyS[yypt-2].item.(bool), 2649 } 2650 } 2651 case 149: 2652 { 2653 expr := &ast.AggregateFuncExpr{ 2654 F: yyS[yypt-5].ident, 2655 Args: []ast.ExprNode{yyS[yypt-2].expr}, 2656 Distinct: yyS[yypt-3].item.(bool), 2657 } 2658 if yyS[yypt-1].expr != nil { 2659 expr.Args = append(expr.Args, yyS[yypt-1].expr) 2660 } 2661 parser.yyVAL.expr = expr 2662 } 2663 case 150: 2664 { 2665 parser.yyVAL.item = false 2666 } 2667 case 151: 2668 { 2669 parser.yyVAL.item = true 2670 } 2671 case 152: 2672 { 2673 parser.yyVAL.expr = nil 2674 } 2675 case 153: 2676 { 2677 parser.yyVAL.expr = yyS[yypt-0].expr 2678 } 2679 case 154: 2680 { 2681 parser.yyVAL.expr = &ast.ExtractFuncExpr{ 2682 ExtractField: yyS[yypt-3].item.(ast.ExtractField), 2683 Expr: yyS[yypt-1].expr, 2684 } 2685 } 2686 case 155: 2687 { 2688 parser.yyVAL.item = ast.ExtractFieldYear 2689 } 2690 case 156: 2691 { 2692 parser.yyVAL.item = ast.ExtractFieldMonth 2693 } 2694 case 157: 2695 { 2696 parser.yyVAL.item = ast.ExtractFieldDay 2697 } 2698 case 158: 2699 { 2700 parser.yyVAL.item = ast.ExtractFieldHour 2701 } 2702 case 159: 2703 { 2704 parser.yyVAL.item = ast.ExtractFieldMinute 2705 } 2706 case 160: 2707 { 2708 parser.yyVAL.item = ast.ExtractFieldSecond 2709 } 2710 case 161: 2711 { 2712 parser.yyVAL.item = ast.ExtractFieldTimezoneHour 2713 } 2714 case 162: 2715 { 2716 parser.yyVAL.item = ast.ExtractFieldTimezoneMinute 2717 } 2718 case 163: 2719 { 2720 parser.yyVAL.expr = &ast.IsNullExpr{ 2721 Expr: yyS[yypt-2].expr, 2722 } 2723 } 2724 case 164: 2725 { 2726 parser.yyVAL.expr = &ast.IsNullExpr{ 2727 Expr: yyS[yypt-3].expr, 2728 Not: true, 2729 } 2730 } 2731 case 165: 2732 { 2733 parser.yyVAL.expr = &ast.CastFuncExpr{ 2734 Expr: yyS[yypt-3].expr, 2735 DataType: yyS[yypt-1].item.(ast.DataType), 2736 } 2737 } 2738 case 166: 2739 { 2740 parser.yyVAL.item = ast.DataTypeString 2741 } 2742 case 167: 2743 { 2744 parser.yyVAL.item = ast.DataTypeBoolean 2745 } 2746 case 168: 2747 { 2748 parser.yyVAL.item = ast.DataTypeInteger 2749 } 2750 case 169: 2751 { 2752 parser.yyVAL.item = ast.DataTypeFloat 2753 } 2754 case 170: 2755 { 2756 parser.yyVAL.item = ast.DataTypeDouble 2757 } 2758 case 171: 2759 { 2760 parser.yyVAL.item = ast.DataTypeDecimal 2761 } 2762 case 172: 2763 { 2764 parser.yyVAL.item = ast.DataTypeDate 2765 } 2766 case 173: 2767 { 2768 parser.yyVAL.item = ast.DataTypeTime 2769 } 2770 case 174: 2771 { 2772 parser.yyVAL.item = ast.DataTypeTimeWithTimeZone 2773 } 2774 case 175: 2775 { 2776 parser.yyVAL.item = ast.DataTypeTimestamp 2777 } 2778 case 176: 2779 { 2780 parser.yyVAL.item = ast.DataTypeTimestampWithTimeZone 2781 } 2782 case 179: 2783 { 2784 parser.yyVAL.expr = &ast.CaseExpr{ 2785 Value: yyS[yypt-3].expr, 2786 WhenClauses: yyS[yypt-2].item.([]*ast.WhenClause), 2787 ElseClause: yyS[yypt-1].expr, 2788 } 2789 } 2790 case 180: 2791 { 2792 parser.yyVAL.expr = &ast.CaseExpr{ 2793 WhenClauses: yyS[yypt-2].item.([]*ast.WhenClause), 2794 ElseClause: yyS[yypt-1].expr, 2795 } 2796 } 2797 case 181: 2798 { 2799 parser.yyVAL.item = []*ast.WhenClause{yyS[yypt-0].item.(*ast.WhenClause)} 2800 } 2801 case 182: 2802 { 2803 parser.yyVAL.item = append(yyS[yypt-1].item.([]*ast.WhenClause), yyS[yypt-0].item.(*ast.WhenClause)) 2804 } 2805 case 183: 2806 { 2807 parser.yyVAL.item = &ast.WhenClause{ 2808 Expr: yyS[yypt-2].expr, 2809 Result: yyS[yypt-0].expr, 2810 } 2811 } 2812 case 184: 2813 { 2814 parser.yyVAL.expr = nil 2815 } 2816 case 185: 2817 { 2818 parser.yyVAL.expr = yyS[yypt-0].expr 2819 } 2820 case 186: 2821 { 2822 parser.yyVAL.expr = &ast.PatternInExpr{ 2823 Expr: yyS[yypt-2].expr, 2824 List: yyS[yypt-0].item.([]ast.ExprNode), 2825 } 2826 } 2827 case 187: 2828 { 2829 parser.yyVAL.expr = &ast.PatternInExpr{ 2830 Expr: yyS[yypt-3].expr, 2831 List: yyS[yypt-0].item.([]ast.ExprNode), 2832 Not: true, 2833 } 2834 } 2835 case 188: 2836 { 2837 parser.yyVAL.item = yyS[yypt-1].item 2838 } 2839 case 189: 2840 { 2841 parser.yyVAL.item = []ast.ExprNode{yyS[yypt-0].expr} 2842 } 2843 case 190: 2844 { 2845 parser.yyVAL.item = append(yyS[yypt-2].item.([]ast.ExprNode), yyS[yypt-0].expr) 2846 } 2847 case 191: 2848 { 2849 parser.yyVAL.expr = &ast.ExistsSubqueryExpr{ 2850 Sel: yyS[yypt-0].expr, 2851 } 2852 } 2853 case 192: 2854 { 2855 parser.yyVAL.expr = &ast.SubqueryExpr{ 2856 Query: yyS[yypt-1].statement.(*ast.SelectStmt), 2857 } 2858 } 2859 case 195: 2860 { 2861 ss := &ast.SelectStmt{ 2862 Select: yyS[yypt-6].item.(*ast.SelectClause), 2863 From: yyS[yypt-5].item.(*ast.MatchClauseList), 2864 } 2865 if yyS[yypt-7].item != nil { 2866 ss.PathPatternMacros = yyS[yypt-7].item.([]*ast.PathPatternMacro) 2867 } 2868 if yyS[yypt-4].item != nil { 2869 ss.Where = yyS[yypt-4].item.(ast.ExprNode) 2870 } 2871 if yyS[yypt-3].item != nil { 2872 ss.GroupBy = yyS[yypt-3].item.(*ast.GroupByClause) 2873 } 2874 if yyS[yypt-2].item != nil { 2875 ss.Having = yyS[yypt-2].item.(*ast.HavingClause) 2876 } 2877 if yyS[yypt-1].item != nil { 2878 ss.OrderBy = yyS[yypt-1].item.(*ast.OrderByClause) 2879 } 2880 if yyS[yypt-0].item != nil { 2881 ss.Limit = yyS[yypt-0].item.(*ast.LimitClause) 2882 } 2883 parser.yyVAL.statement = ss 2884 } 2885 case 196: 2886 { 2887 parser.yyVAL.item = &ast.SelectClause{ 2888 Distinct: yyS[yypt-1].item.(bool), 2889 Elements: yyS[yypt-0].item.([]*ast.SelectElement), 2890 } 2891 } 2892 case 197: 2893 { 2894 parser.yyVAL.item = &ast.SelectClause{ 2895 Star: true, 2896 } 2897 } 2898 case 198: 2899 { 2900 parser.yyVAL.item = []*ast.SelectElement{yyS[yypt-0].item.(*ast.SelectElement)} 2901 } 2902 case 199: 2903 { 2904 parser.yyVAL.item = append(yyS[yypt-2].item.([]*ast.SelectElement), yyS[yypt-0].item.(*ast.SelectElement)) 2905 } 2906 case 200: 2907 { 2908 parser.yyVAL.item = &ast.SelectElement{ 2909 ExpAsVar: yyS[yypt-0].item.(*ast.ExpAsVar), 2910 } 2911 } 2912 case 201: 2913 { 2914 parser.yyVAL.item = &ast.SelectElement{ 2915 Identifier: yyS[yypt-2].ident, 2916 Prefix: yyS[yypt-0].item.(string), 2917 } 2918 } 2919 case 202: 2920 { 2921 ev := &ast.ExpAsVar{ 2922 Expr: yyS[yypt-1].expr.(ast.ExprNode), 2923 } 2924 if yyS[yypt-0].item != nil { 2925 ev.AsName = yyS[yypt-0].item.(model.CIStr) 2926 } 2927 parser.yyVAL.item = ev 2928 } 2929 case 203: 2930 { 2931 parser.yyVAL.item = "" 2932 } 2933 case 204: 2934 { 2935 parser.yyVAL.item = yyS[yypt-1].ident 2936 } 2937 case 205: 2938 { 2939 parser.yyVAL.item = nil 2940 } 2941 case 206: 2942 { 2943 parser.yyVAL.item = yyS[yypt-0].item.(model.CIStr) 2944 } 2945 case 207: 2946 { 2947 parser.yyVAL.item = model.NewCIStr(yyS[yypt-0].ident) 2948 } 2949 case 208: 2950 { 2951 parser.yyVAL.item = model.NewCIStr(yyS[yypt-0].ident) 2952 } 2953 case 209: 2954 { 2955 parser.yyVAL.item = yyS[yypt-0].item.(*ast.MatchClauseList) 2956 } 2957 case 210: 2958 { 2959 parser.yyVAL.item = nil 2960 } 2961 case 211: 2962 { 2963 parser.yyVAL.item = yyS[yypt-0].item.(*ast.MatchClauseList) 2964 } 2965 case 212: 2966 { 2967 parser.yyVAL.item = &ast.MatchClauseList{ 2968 Matches: []*ast.MatchClause{yyS[yypt-0].item.(*ast.MatchClause)}, 2969 } 2970 } 2971 case 213: 2972 { 2973 ml := yyS[yypt-2].item.(*ast.MatchClauseList) 2974 ml.Matches = append(ml.Matches, yyS[yypt-0].item.(*ast.MatchClause)) 2975 parser.yyVAL.item = ml 2976 } 2977 case 214: 2978 { 2979 mc := &ast.MatchClause{ 2980 Paths: yyS[yypt-2].item.([]*ast.PathPattern), 2981 } 2982 if yyS[yypt-1].item != nil { 2983 mc.Graph = yyS[yypt-1].item.(model.CIStr) 2984 } 2985 parser.yyVAL.item = mc 2986 } 2987 case 215: 2988 { 2989 parser.yyVAL.item = yyS[yypt-0].item.(model.CIStr) 2990 } 2991 case 216: 2992 { 2993 parser.yyVAL.item = nil 2994 } 2995 case 219: 2996 { 2997 parser.yyVAL.item = []*ast.PathPattern{yyS[yypt-0].item.(*ast.PathPattern)} 2998 } 2999 case 220: 3000 { 3001 parser.yyVAL.item = yyS[yypt-1].item.([]*ast.PathPattern) 3002 } 3003 case 221: 3004 { 3005 parser.yyVAL.item = []*ast.PathPattern{yyS[yypt-0].item.(*ast.PathPattern)} 3006 } 3007 case 222: 3008 { 3009 parser.yyVAL.item = append(yyS[yypt-2].item.([]*ast.PathPattern), yyS[yypt-0].item.(*ast.PathPattern)) 3010 } 3011 case 223: 3012 { 3013 pp := yyS[yypt-0].item.(*ast.PathPattern) 3014 pp.Tp = ast.PathPatternSimple 3015 parser.yyVAL.item = pp 3016 } 3017 case 224: 3018 { 3019 pp := yyS[yypt-0].item.(*ast.PathPattern) 3020 pp.Tp = ast.PathPatternAny 3021 parser.yyVAL.item = pp 3022 } 3023 case 225: 3024 { 3025 pp := yyS[yypt-0].item.(*ast.PathPattern) 3026 pp.Tp = ast.PathPatternAnyShortest 3027 parser.yyVAL.item = pp 3028 } 3029 case 226: 3030 { 3031 pp := yyS[yypt-0].item.(*ast.PathPattern) 3032 pp.Tp = ast.PathPatternAllShortest 3033 parser.yyVAL.item = pp 3034 } 3035 case 227: 3036 { 3037 pp := yyS[yypt-0].item.(*ast.PathPattern) 3038 pp.Tp = ast.PathPatternTopKShortest 3039 pp.TopK = yyS[yypt-2].item.(int64) 3040 parser.yyVAL.item = pp 3041 } 3042 case 228: 3043 { 3044 pp := yyS[yypt-0].item.(*ast.PathPattern) 3045 pp.Tp = ast.PathPatternAnyCheapest 3046 parser.yyVAL.item = pp 3047 } 3048 case 229: 3049 { 3050 pp := yyS[yypt-0].item.(*ast.PathPattern) 3051 pp.Tp = ast.PathPatternAllCheapest 3052 parser.yyVAL.item = pp 3053 } 3054 case 230: 3055 { 3056 pp := yyS[yypt-0].item.(*ast.PathPattern) 3057 pp.Tp = ast.PathPatternTopKCheapest 3058 pp.TopK = yyS[yypt-2].item.(int64) 3059 parser.yyVAL.item = pp 3060 } 3061 case 231: 3062 { 3063 pp := yyS[yypt-0].item.(*ast.PathPattern) 3064 pp.Tp = ast.PathPatternAll 3065 parser.yyVAL.item = pp 3066 } 3067 case 232: 3068 { 3069 parser.yyVAL.item = &ast.PathPattern{Vertices: []*ast.VertexPattern{yyS[yypt-0].item.(*ast.VertexPattern)}} 3070 } 3071 case 233: 3072 { 3073 pp := yyS[yypt-2].item.(*ast.PathPattern) 3074 pp.Vertices = append(pp.Vertices, yyS[yypt-0].item.(*ast.VertexPattern)) 3075 pp.Connections = append(pp.Connections, yyS[yypt-1].item.(*ast.ReachabilityPathExpr)) 3076 parser.yyVAL.item = pp 3077 } 3078 case 234: 3079 { 3080 pp := yyS[yypt-2].item.(*ast.PathPattern) 3081 pp.Vertices = append(pp.Vertices, yyS[yypt-0].item.(*ast.VertexPattern)) 3082 pp.Connections = append(pp.Connections, yyS[yypt-1].item.(*ast.EdgePattern)) 3083 parser.yyVAL.item = pp 3084 } 3085 case 235: 3086 { 3087 parser.yyVAL.item = &ast.PathPattern{ 3088 Vertices: []*ast.VertexPattern{yyS[yypt-2].item.(*ast.VertexPattern), yyS[yypt-0].item.(*ast.VertexPattern)}, 3089 Connections: []ast.VertexPairConnection{yyS[yypt-1].item.(*ast.QuantifiedPathExpr)}, 3090 } 3091 } 3092 case 236: 3093 { 3094 parser.yyVAL.item = &ast.ReachabilityPathExpr{ 3095 Labels: yyS[yypt-2].item.([]model.CIStr), 3096 Direction: ast.EdgeDirectionOutgoing, 3097 Quantifier: yyS[yypt-1].item.(*ast.PatternQuantifier), 3098 } 3099 } 3100 case 237: 3101 { 3102 parser.yyVAL.item = &ast.ReachabilityPathExpr{ 3103 Labels: yyS[yypt-2].item.([]model.CIStr), 3104 Direction: ast.EdgeDirectionIncoming, 3105 Quantifier: yyS[yypt-1].item.(*ast.PatternQuantifier), 3106 } 3107 } 3108 case 238: 3109 { 3110 parser.yyVAL.item = &ast.ReachabilityPathExpr{ 3111 Labels: yyS[yypt-2].item.([]model.CIStr), 3112 Direction: ast.EdgeDirectionAnyDirected, 3113 Quantifier: yyS[yypt-1].item.(*ast.PatternQuantifier), 3114 } 3115 } 3116 case 239: 3117 { 3118 parser.yyVAL.item = &ast.VertexPattern{Variable: yyS[yypt-1].item.(*ast.VariableSpec)} 3119 } 3120 case 240: 3121 { 3122 parser.yyVAL.item = (*ast.VertexPattern)(nil) 3123 } 3124 case 242: 3125 { 3126 parser.yyVAL.item = &ast.EdgePattern{ 3127 Variable: yyS[yypt-1].item.(*ast.VariableSpec), 3128 Direction: ast.EdgeDirectionOutgoing, 3129 } 3130 } 3131 case 243: 3132 { 3133 parser.yyVAL.item = &ast.EdgePattern{Direction: ast.EdgeDirectionOutgoing} 3134 } 3135 case 244: 3136 { 3137 parser.yyVAL.item = &ast.EdgePattern{ 3138 Variable: yyS[yypt-1].item.(*ast.VariableSpec), 3139 Direction: ast.EdgeDirectionIncoming, 3140 } 3141 } 3142 case 245: 3143 { 3144 parser.yyVAL.item = &ast.EdgePattern{Direction: ast.EdgeDirectionIncoming} 3145 } 3146 case 246: 3147 { 3148 parser.yyVAL.item = &ast.EdgePattern{ 3149 Variable: yyS[yypt-1].item.(*ast.VariableSpec), 3150 Direction: ast.EdgeDirectionAnyDirected, 3151 } 3152 } 3153 case 247: 3154 { 3155 parser.yyVAL.item = &ast.EdgePattern{Direction: ast.EdgeDirectionAnyDirected} 3156 } 3157 case 248: 3158 { 3159 v := &ast.VariableSpec{ 3160 Name: yyS[yypt-1].item.(model.CIStr), 3161 Labels: yyS[yypt-0].item.([]model.CIStr), 3162 } 3163 if v.Name.L == "" { 3164 v.Anonymous = true 3165 } 3166 parser.yyVAL.item = v 3167 } 3168 case 249: 3169 { 3170 parser.yyVAL.item = model.NewCIStr(yyS[yypt-0].ident) 3171 } 3172 case 250: 3173 { 3174 parser.yyVAL.item = model.CIStr{} 3175 } 3176 case 252: 3177 { 3178 parser.yyVAL.item = []model.CIStr{yyS[yypt-0].item.(model.CIStr)} 3179 } 3180 case 253: 3181 { 3182 parser.yyVAL.item = append(yyS[yypt-2].item.([]model.CIStr), yyS[yypt-0].item.(model.CIStr)) 3183 } 3184 case 254: 3185 { 3186 parser.yyVAL.item = yyS[yypt-0].item.([]model.CIStr) 3187 } 3188 case 255: 3189 { 3190 parser.yyVAL.item = []model.CIStr(nil) 3191 } 3192 case 259: 3193 { 3194 parser.yyVAL.item = []model.CIStr{yyS[yypt-0].item.(model.CIStr)} 3195 } 3196 case 260: 3197 { 3198 parser.yyVAL.item = append(yyS[yypt-2].item.([]model.CIStr), yyS[yypt-0].item.(model.CIStr)) 3199 } 3200 case 261: 3201 { 3202 parser.yyVAL.item = []model.CIStr{yyS[yypt-0].item.(model.CIStr)} 3203 } 3204 case 262: 3205 { 3206 parser.yyVAL.item = append(yyS[yypt-2].item.([]model.CIStr), yyS[yypt-0].item.(model.CIStr)) 3207 } 3208 case 263: 3209 { 3210 parser.yyVAL.item = &ast.QuantifiedPathExpr{ 3211 Edge: yyS[yypt-1].item.(*ast.EdgePattern), 3212 Quantifier: yyS[yypt-0].item.(*ast.PatternQuantifier), 3213 } 3214 } 3215 case 264: 3216 { 3217 q := &ast.QuantifiedPathExpr{ 3218 Edge: yyS[yypt-5].item.(*ast.EdgePattern), 3219 Quantifier: yyS[yypt-0].item.(*ast.PatternQuantifier), 3220 Source: yyS[yypt-6].item.(*ast.VertexPattern), 3221 Destination: yyS[yypt-4].item.(*ast.VertexPattern), 3222 } 3223 if yyS[yypt-3].item != nil { 3224 q.Where = yyS[yypt-3].item.(ast.ExprNode) 3225 } 3226 if yyS[yypt-2].item != nil { 3227 q.Cost = yyS[yypt-2].item.(ast.ExprNode) 3228 } 3229 parser.yyVAL.item = q 3230 } 3231 case 265: 3232 { 3233 parser.yyVAL.item = yyS[yypt-0].expr.(ast.ExprNode) 3234 } 3235 case 266: 3236 { 3237 parser.yyVAL.item = nil 3238 } 3239 case 268: 3240 { 3241 parser.yyVAL.item = &ast.PatternQuantifier{Tp: ast.PatternQuantifierZeroOrMore, M: math.MaxInt64} 3242 } 3243 case 269: 3244 { 3245 parser.yyVAL.item = &ast.PatternQuantifier{Tp: ast.PatternQuantifierOneOrMore, N: 1, M: math.MaxInt64} 3246 } 3247 case 270: 3248 { 3249 parser.yyVAL.item = &ast.PatternQuantifier{Tp: ast.PatternQuantifierOptional, N: 0, M: 1} 3250 } 3251 case 271: 3252 { 3253 parser.yyVAL.item = &ast.PatternQuantifier{Tp: ast.PatternQuantifierExactlyN, N: yyS[yypt-1].item.(int64), M: yyS[yypt-1].item.(int64)} 3254 } 3255 case 272: 3256 { 3257 parser.yyVAL.item = &ast.PatternQuantifier{Tp: ast.PatternQuantifierNOrMore, N: yyS[yypt-2].item.(int64), M: math.MaxInt64} 3258 } 3259 case 273: 3260 { 3261 parser.yyVAL.item = &ast.PatternQuantifier{Tp: ast.PatternQuantifierBetweenNAndM, N: yyS[yypt-3].item.(int64), M: yyS[yypt-1].item.(int64)} 3262 } 3263 case 274: 3264 { 3265 parser.yyVAL.item = &ast.PatternQuantifier{Tp: ast.PatternQuantifierBetweenZeroAndM, N: 0, M: yyS[yypt-1].item.(int64)} 3266 } 3267 case 275: 3268 { 3269 parser.yyVAL.item = (*ast.PatternQuantifier)(nil) 3270 } 3271 case 277: 3272 { 3273 parser.yyVAL.item = nil 3274 } 3275 case 279: 3276 { 3277 parser.yyVAL.item = []*ast.PathPatternMacro{yyS[yypt-0].item.(*ast.PathPatternMacro)} 3278 } 3279 case 280: 3280 { 3281 parser.yyVAL.item = append(yyS[yypt-1].item.([]*ast.PathPatternMacro), yyS[yypt-0].item.(*ast.PathPatternMacro)) 3282 } 3283 case 281: 3284 { 3285 p := &ast.PathPatternMacro{ 3286 Name: model.NewCIStr(yyS[yypt-3].ident), 3287 Path: yyS[yypt-1].item.(*ast.PathPattern), 3288 } 3289 if yyS[yypt-0].item != nil { 3290 p.Where = yyS[yypt-0].item.(ast.ExprNode) 3291 } 3292 parser.yyVAL.item = p 3293 } 3294 case 282: 3295 { 3296 parser.yyVAL.item = nil 3297 } 3298 case 283: 3299 { 3300 parser.yyVAL.item = yyS[yypt-0].expr 3301 } 3302 case 284: 3303 { 3304 parser.yyVAL.item = nil 3305 } 3306 case 285: 3307 { 3308 parser.yyVAL.item = &ast.GroupByClause{Items: yyS[yypt-0].item.([]*ast.ByItem)} 3309 } 3310 case 286: 3311 { 3312 parser.yyVAL.item = []*ast.ByItem{yyS[yypt-0].item.(*ast.ByItem)} 3313 } 3314 case 287: 3315 { 3316 parser.yyVAL.item = append(yyS[yypt-2].item.([]*ast.ByItem), yyS[yypt-0].item.(*ast.ByItem)) 3317 } 3318 case 288: 3319 { 3320 parser.yyVAL.item = &ast.ByItem{ 3321 Expr: yyS[yypt-0].item.(*ast.ExpAsVar), 3322 NullOrder: true, 3323 } 3324 } 3325 case 289: 3326 { 3327 parser.yyVAL.item = &ast.ByItem{ 3328 Expr: yyS[yypt-1].item.(*ast.ExpAsVar), 3329 Desc: yyS[yypt-0].item.(bool), 3330 } 3331 } 3332 case 290: 3333 { 3334 parser.yyVAL.item = false 3335 } 3336 case 291: 3337 { 3338 parser.yyVAL.item = true 3339 } 3340 case 292: 3341 { 3342 parser.yyVAL.item = nil 3343 } 3344 case 293: 3345 { 3346 parser.yyVAL.item = &ast.HavingClause{ 3347 Expr: yyS[yypt-0].expr, 3348 } 3349 } 3350 case 294: 3351 { 3352 parser.yyVAL.item = nil 3353 } 3354 case 295: 3355 { 3356 parser.yyVAL.item = &ast.OrderByClause{ 3357 Items: yyS[yypt-0].item.([]*ast.ByItem), 3358 } 3359 } 3360 case 296: 3361 { 3362 parser.yyVAL.item = nil 3363 } 3364 case 297: 3365 { 3366 parser.yyVAL.item = &ast.LimitClause{ 3367 Count: yyS[yypt-0].expr, 3368 } 3369 } 3370 case 298: 3371 { 3372 parser.yyVAL.item = &ast.LimitClause{ 3373 Count: yyS[yypt-0].expr.(ast.ExprNode), 3374 Offset: yyS[yypt-2].expr.(ast.ExprNode), 3375 } 3376 } 3377 case 299: 3378 { 3379 parser.yyVAL.item = &ast.LimitClause{ 3380 Count: yyS[yypt-2].expr.(ast.ExprNode), 3381 Offset: yyS[yypt-0].expr.(ast.ExprNode), 3382 } 3383 } 3384 case 301: 3385 { 3386 parser.yyVAL.expr = &ast.BindVariable{} 3387 } 3388 case 302: 3389 { 3390 parser.yyVAL.expr = ast.NewValueExpr(yyS[yypt-0].item) 3391 } 3392 case 303: 3393 { 3394 us := &ast.UpdateStmt{ 3395 Updates: yyS[yypt-6].item.([]*ast.GraphElementUpdate), 3396 From: yyS[yypt-5].item.(*ast.MatchClauseList), 3397 } 3398 if yyS[yypt-8].item != nil { 3399 us.PathPatternMacros = yyS[yypt-8].item.([]*ast.PathPatternMacro) 3400 } 3401 if yyS[yypt-4].item != nil { 3402 us.Where = yyS[yypt-4].item.(ast.ExprNode) 3403 } 3404 if yyS[yypt-3].item != nil { 3405 us.GroupBy = yyS[yypt-3].item.(*ast.GroupByClause) 3406 } 3407 if yyS[yypt-2].item != nil { 3408 us.Having = yyS[yypt-2].item.(*ast.HavingClause) 3409 } 3410 if yyS[yypt-1].item != nil { 3411 us.OrderBy = yyS[yypt-1].item.(*ast.OrderByClause) 3412 } 3413 if yyS[yypt-0].item != nil { 3414 us.Limit = yyS[yypt-0].item.(*ast.LimitClause) 3415 } 3416 parser.yyVAL.statement = us 3417 } 3418 case 304: 3419 { 3420 parser.yyVAL.item = []*ast.GraphElementUpdate{yyS[yypt-0].item.(*ast.GraphElementUpdate)} 3421 } 3422 case 305: 3423 { 3424 parser.yyVAL.item = append(yyS[yypt-2].item.([]*ast.GraphElementUpdate), yyS[yypt-0].item.(*ast.GraphElementUpdate)) 3425 } 3426 case 306: 3427 { 3428 parser.yyVAL.item = &ast.GraphElementUpdate{ 3429 VariableName: yyS[yypt-4].item.(model.CIStr), 3430 Assignments: yyS[yypt-1].item.([]*ast.PropertyAssignment), 3431 } 3432 } 3433 case 307: 3434 { 3435 parser.yyVAL.statement = &ast.UseStmt{ 3436 GraphName: yyS[yypt-0].item.(model.CIStr), 3437 } 3438 } 3439 case 308: 3440 { 3441 parser.yyVAL.statement = &ast.ShowStmt{ 3442 Tp: ast.ShowTargetGraphs, 3443 } 3444 } 3445 case 309: 3446 { 3447 parser.yyVAL.statement = &ast.ShowStmt{ 3448 Tp: ast.ShowTargetLabels, 3449 } 3450 } 3451 case 310: 3452 { 3453 parser.yyVAL.statement = &ast.ShowStmt{ 3454 Tp: ast.ShowTargetLabels, 3455 GraphName: yyS[yypt-0].item.(model.CIStr), 3456 } 3457 } 3458 case 311: 3459 { 3460 parser.yyVAL.item = false 3461 } 3462 case 312: 3463 { 3464 parser.yyVAL.item = true 3465 } 3466 case 313: 3467 { 3468 parser.yyVAL.item = false 3469 } 3470 case 314: 3471 { 3472 parser.yyVAL.item = true 3473 } 3474 case 315: 3475 { 3476 parser.yyVAL.item = model.NewCIStr(yyS[yypt-0].ident) 3477 } 3478 case 316: 3479 { 3480 parser.yyVAL.item = model.NewCIStr(yyS[yypt-0].ident) 3481 } 3482 case 317: 3483 { 3484 parser.yyVAL.item = model.NewCIStr(yyS[yypt-0].ident) 3485 } 3486 case 318: 3487 { 3488 parser.yyVAL.item = model.NewCIStr(yyS[yypt-0].ident) 3489 } 3490 case 363: 3491 { 3492 parser.yyVAL.item = []model.CIStr{yyS[yypt-0].item.(model.CIStr)} 3493 } 3494 case 364: 3495 { 3496 parser.yyVAL.item = append(yyS[yypt-2].item.([]model.CIStr), yyS[yypt-0].item.(model.CIStr)) 3497 } 3498 3499 } 3500 3501 if !parser.lexer.skipPositionRecording { 3502 yySetOffset(parser.yyVAL, parser.yyVAL.offset) 3503 } 3504 3505 if yyEx != nil && yyEx.Reduced(r, exState, parser.yyVAL) { 3506 return -1 3507 } 3508 goto yystack /* stack new state and value */ 3509 }