| /** |
| * <copyright> |
| * |
| * Copyright (c) 2007 Borland Software Corporation |
| * |
| * All rights reserved. This program and the accompanying materials |
| * are made available under the terms of the Eclipse Public License v1.0 |
| * which accompanies this distribution, and is available at |
| * http://www.eclipse.org/legal/epl-v10.html |
| * |
| * Contributors: |
| * Borland Software Corporation - initial API and implementation |
| * |
| * </copyright> |
| * |
| * $Id: LightweightParserprs.java,v 1.5 2007/12/14 13:22:28 aigdalov Exp $ |
| */ |
| /** |
| * <copyright> |
| * |
| * Copyright (c) 2006, 2007 Borland Inc. |
| * All rights reserved. This program and the accompanying materials |
| * are made available under the terms of the Eclipse Public License v1.0 |
| * which accompanies this distribution, and is available at |
| * http://www.eclipse.org/legal/epl-v10.html |
| * |
| * Contributors: |
| * Borland - Initial API and implementation |
| * |
| * </copyright> |
| * |
| * $Id: LightweightParserprs.java,v 1.5 2007/12/14 13:22:28 aigdalov Exp $ |
| */ |
| |
| package org.eclipse.m2m.qvt.oml.editor.ui.completion.cst.parser; |
| |
| public class LightweightParserprs implements lpg.lpgjavaruntime.ParseTable, LightweightParsersym { |
| |
| public interface IsKeyword { |
| public final static byte isKeyword[] = {0, |
| 0,0,0,0,0,1,1,1,1,1, |
| 1,1,1,1,1,1,1,1,1,0, |
| 1,1,0,0,0,0,0,0,1,1, |
| 1,1,1,1,1,1,1,1,1,1, |
| 1,1,1,0,1,1,1,1,1,1, |
| 0,0,1,1,1,1,1,1,1,1, |
| 1,1,1,1,1,0,0,0,1,1, |
| 1,1,1,1,1,1,1,1,1,1, |
| 1,1,1,0,0,0,0,0,0,1, |
| 1,0,1,1,1,1,1,1,0,0, |
| 1,0,1,1,1,1,1,1,0,1, |
| 1,1,1,0,0,1,1,1,0,0, |
| 1,1,1,1,0,0,0,0,0,0, |
| 1,1,1,0,1,1,1,1,1,1, |
| 1,1,1,1,1 |
| }; |
| }; |
| public final static byte isKeyword[] = IsKeyword.isKeyword; |
| public final boolean isKeyword(int index) { return isKeyword[index] != 0; } |
| |
| public interface BaseCheck { |
| public final static short baseCheck[] = {0, |
| 1,1,1,1,1,1,1,1,1,1, |
| 1,1,1,1,1,1,1,1,1,1, |
| 1,1,1,0,0,1,1,1,1,1, |
| 3,3,1,1,3,3,3,3,3,3, |
| 1,1,3,3,3,3,1,1,3,3, |
| 3,3,3,3,3,3,1,1,1,3, |
| 3,3,3,1,1,3,3,3,3,1, |
| 1,2,2,1,2,2,4,6,1,1, |
| 1,1,3,2,2,5,5,1,1,1, |
| 1,1,1,1,1,1,1,1,1,1, |
| 3,0,1,1,1,1,1,1,1,3, |
| 3,4,1,1,1,1,1,0,1,1, |
| 3,1,1,3,2,3,1,1,1,1, |
| 1,4,1,1,1,1,1,1,1,1, |
| 2,2,2,2,1,1,1,3,5,6, |
| 8,1,3,5,3,0,1,1,1,1, |
| 1,4,4,0,1,1,3,1,1,3, |
| 3,1,1,5,5,5,5,5,5,5, |
| 5,5,5,5,5,5,5,5,5,5, |
| 5,5,5,2,2,5,0,1,0,1, |
| 1,3,5,0,1,2,3,5,5,0, |
| 1,1,3,1,1,3,1,1,8,4, |
| 5,2,3,8,0,4,0,1,1,2, |
| 3,3,0,1,1,1,1,3,2,1, |
| 4,0,1,1,2,1,1,1,0,1, |
| 1,3,2,2,4,10,6,5,4,1, |
| 3,3,2,1,1,1,3,3,1,1, |
| 1,3,3,0,1,1,2,2,3,4, |
| 2,3,0,1,1,2,2,1,3,2, |
| 0,1,1,2,2,7,0,1,1,2, |
| 2,6,6,7,5,0,1,1,2,1, |
| 2,2,4,8,3,3,2,5,3,3, |
| 2,4,2,7,5,3,0,1,1,3, |
| 2,2,1,0,1,1,1,1,0,1, |
| 1,1,3,2,4,1,3,0,1,4, |
| 5,2,0,1,4,2,0,1,4,2, |
| 0,1,1,1,2,1,3,2,1,1, |
| 1,1,1,6,6,4,4,4,4,2, |
| 2,3,3,3,3,1,1,0,1,2, |
| 1,3,1,2,3,3,3,3,2,0, |
| 1,5,5,3,5,5,5,5,0,2, |
| 2,0,2,0,3,1,1,1,1,0, |
| 1,5,5,3,2,1,1,1,1,7, |
| 7,5,4,3,1,1,2,1,9,1, |
| 1,1,1,1,1,3,4,4,1,1, |
| 7,2,0,1,1,3,1,4,1,1, |
| 1,0,4,1,1,1,3,2,2,1, |
| 3,1,3,7,5,7,6,5,4,3, |
| 2,1,2,2,4,4,2,1,2,6, |
| 6,4,2,0,1,4,4,2,1,1, |
| 1,1,1,1,1,1,1,1,1,4, |
| 4,3,5,5,5,1,2,1,0,5, |
| 1,1,1,0,2,1,0,6,1,1, |
| 2,-268,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,-63,-430,0,0,-41,0,-2,0, |
| 0,0,0,0,0,0,-65,-208,-222,0, |
| 0,0,-368,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,-389, |
| 0,0,0,0,0,0,0,0,-50,0, |
| 0,0,0,-390,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,-6,0,-4,0,-7, |
| 0,0,0,0,0,0,0,0,-146,0, |
| 0,0,0,0,-401,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,-328,-456,0, |
| 0,0,0,0,0,0,0,0,0,-42, |
| 0,-210,0,0,0,-425,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,-106,0,0,-362, |
| 0,0,0,0,0,0,0,0,0,0, |
| -434,0,0,0,0,0,-459,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,-46,0,-40, |
| 0,-112,-412,0,0,0,0,0,0,0, |
| 0,-8,-53,-9,0,0,0,-467,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,-5,0, |
| -382,-39,-10,0,0,0,0,0,0,0, |
| 0,0,-11,0,-260,0,0,0,-1,0, |
| 0,-12,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,-61, |
| 0,0,0,0,0,-13,0,-14,0,-3, |
| -58,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,-143,0,0,0,0,-15, |
| 0,-117,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,-37,0,0,0,-43,0,0, |
| 0,0,0,-126,-59,-51,0,0,0,0, |
| 0,0,-309,0,0,-16,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,-357,-62,-52,0,0,0,0, |
| 0,0,0,0,0,0,0,-341,0,0, |
| -17,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,-107,0, |
| 0,0,-54,-55,0,0,0,0,0,0, |
| 0,0,-343,0,0,-18,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,-169,-91,0,0,0,-130,0, |
| 0,0,0,0,0,0,0,-66,0,0, |
| -19,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,-118,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,-48,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,-64, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| -56,0,0,-147,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,-57,0,0,-148,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,-68,0, |
| 0,-149,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,-69,0,0,-150,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,-70,0,0,-151, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| -71,0,0,-152,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,-72,0,0,-153,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,-73,0, |
| 0,-154,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,-74,0,0,-155,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,-75,0,0,-156, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| -76,0,0,-157,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,-77,0,0,-158,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,-78,0, |
| 0,-159,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,-79,0,0,-160,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,-80,0,0,-161, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| -81,0,0,-163,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,-82,0,0,-164,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,-83,0, |
| 0,-168,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,-84,0,0,-170,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,-330,0,0,-226, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| -85,0,0,-280,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,-218,-395,-86,-281,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,-20,-88, |
| -92,0,-104,0,0,0,-167,0,0,-89, |
| 0,0,0,-93,0,0,0,0,-356,0, |
| 0,-94,-398,-172,0,0,0,0,-67,0, |
| 0,-97,-98,0,0,-127,0,-411,0,-128, |
| 0,-99,0,-100,0,0,-282,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,-96, |
| 0,0,0,-103,0,0,0,0,0,0, |
| 0,-113,-101,0,0,0,0,0,0,0, |
| -114,0,0,0,0,-129,-131,0,0,-181, |
| -125,0,0,0,-217,0,0,0,-132,-279, |
| 0,0,0,0,0,-311,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,-312, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| -134,0,0,-313,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,-135,0,0,-314,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,-136,0, |
| 0,-338,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,-137,0,0,-87,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,-138,0,-90,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,-293, |
| 0,-176,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,-225,0,0,-21,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,-182,-251,0,0,0,-254,0, |
| -141,0,-261,-359,-262,0,0,0,-142,-267, |
| 0,0,0,-269,-270,0,0,0,-162,-305, |
| -415,0,-165,-290,-294,0,0,0,-295,-304, |
| -308,0,0,0,-171,0,0,-277,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| -302,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,-45,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,-310,0,0,0,-317,-332, |
| -335,0,0,0,-342,-363,-373,0,0,0, |
| -380,-175,-187,0,0,-178,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,-209,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,-221,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,-298,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,-299, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| -333,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,-339,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,-340,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,-352,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,-354,0,0,-22,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,-188,-403,-419,0,0, |
| 0,-420,-424,-429,0,0,-442,-189,-446,0, |
| 0,0,-447,-449,-460,0,0,0,-464,-190, |
| -191,0,0,-369,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,-414,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,-47,0,0,-23,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,-95,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,-139,0,0, |
| -24,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,-211,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,-223, |
| 0,0,-25,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| -224,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,-259,0,0,-26,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,-283,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,-324,0,0,-27,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,-350,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,-371,0,0,-28,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,-396,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,-397,0,0, |
| -29,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,-404,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,-416, |
| 0,0,-30,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| -436,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,-441,0,0,-31,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,-124,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| -121,0,0,-192,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,-122,0,0,-193, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,-123,0,0,-194,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,-108,0, |
| 0,-195,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,-109,0,0,-196,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,-119,0,0,-197, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,-120,0, |
| 0,-198,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| -110,0,0,-199,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,-111, |
| 0,0,-200,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,-115,0, |
| 0,-201,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,-116,0,0,-202,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,-49,0,0,-203,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,-140,0,0, |
| -284,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,-105,-204,0,0,-288,0,0,0, |
| 0,0,-44,0,0,-166,0,0,0,0, |
| -370,0,0,0,0,-448,-205,0,0,-400, |
| -289,0,-301,0,-349,-32,0,-206,-452,0, |
| 0,-207,0,-384,-133,-33,-60,-213,0,-34, |
| -214,0,-466,0,0,-408,0,-144,0,0, |
| -174,0,-215,-177,-216,-220,0,0,0,0, |
| 0,-351,-227,-228,0,0,0,-145,0,0, |
| 0,0,-385,0,0,0,0,0,0,0, |
| -229,0,0,0,0,-230,0,0,0,-231, |
| 0,0,0,-291,0,-296,0,0,0,0, |
| 0,0,0,0,0,-102,0,0,0,-173, |
| 0,0,0,0,0,0,0,0,0,0, |
| -232,0,0,0,-386,0,0,0,0,0, |
| 0,0,0,0,0,-212,0,0,0,0, |
| -255,0,0,0,0,-327,0,0,-367,0, |
| -353,0,0,-402,0,0,0,-405,0,0, |
| 0,0,0,0,0,0,-329,-435,0,-428, |
| 0,0,-437,0,-233,0,-325,-455,0,-457, |
| 0,0,0,-355,-234,0,0,0,0,0, |
| 0,0,-326,0,0,0,0,0,-409,0, |
| 0,0,-364,0,0,0,0,-300,-410,0, |
| 0,0,0,0,-219,-377,0,0,0,0, |
| 0,0,0,0,0,0,-378,0,-235,0, |
| 0,0,-381,0,-236,0,-439,0,-399,0, |
| 0,0,0,0,0,-431,0,0,-432,0, |
| -237,0,0,-238,0,-35,0,0,0,0, |
| -36,-239,0,-240,-241,-38,-179,0,0,0, |
| 0,0,0,0,0,-242,-180,0,-183,0, |
| 0,-184,0,-185,0,0,0,-186,0,0, |
| -243,0,0,0,0,0,-244,0,0,0, |
| 0,0,0,0,0,0,0,-247,-250,-348, |
| -245,0,0,-246,0,0,0,0,0,0, |
| -248,0,-249,0,-252,0,0,0,0,0, |
| -253,-256,0,0,0,-257,0,-258,0,-263, |
| -264,0,-265,-266,-271,-272,-273,0,-274,-275, |
| 0,-276,-278,0,-285,-286,-287,-292,0,0, |
| 0,-297,-303,-306,-307,-315,-316,-318,-319,-320, |
| -321,-322,-323,-331,-334,-336,-337,-344,-345,-346, |
| -347,-358,-360,-361,-365,-366,-372,-374,-375,0, |
| -376,-379,-383,0,-387,-388,-391,-392,-393,-394, |
| -406,-407,-413,-417,-418,-421,-422,-423,-426,-427, |
| -433,-438,-440,-443,-444,-445,-450,-451,-453,-454, |
| -458,-461,-462,-463,-465,-468,0 |
| }; |
| }; |
| public final static short baseCheck[] = BaseCheck.baseCheck; |
| public final int baseCheck(int index) { return baseCheck[index]; } |
| public final static short rhs[] = baseCheck; |
| public final int rhs(int index) { return rhs[index]; }; |
| |
| public interface BaseAction { |
| public final static char baseAction[] = { |
| 126,5,5,5,5,5,5,5,5,5, |
| 5,5,5,5,5,5,5,5,5,5, |
| 5,5,8,8,178,179,179,48,48,49, |
| 50,49,50,46,47,46,46,46,47,47, |
| 47,44,45,44,45,44,45,42,43,42, |
| 43,42,43,42,43,42,43,39,41,40, |
| 41,40,41,40,37,38,37,38,37,38, |
| 16,35,16,16,17,17,17,17,17,18, |
| 18,18,18,18,19,19,19,19,6,6, |
| 6,2,2,2,2,2,2,2,2,2, |
| 1,1,129,129,20,20,20,20,20,20, |
| 21,21,22,4,4,4,4,4,130,130, |
| 131,131,93,93,94,94,94,24,24,24, |
| 24,24,23,27,28,29,7,30,30,25, |
| 26,127,127,127,127,133,133,136,136,136, |
| 135,135,57,57,57,71,180,180,56,56, |
| 56,56,55,54,137,137,138,138,132,132, |
| 132,132,95,95,95,95,9,9,9,9, |
| 9,9,9,9,9,9,9,9,9,9, |
| 9,9,10,9,96,96,96,51,51,53, |
| 53,52,52,36,139,139,140,140,128,128, |
| 97,97,98,98,78,78,78,141,141,142, |
| 142,142,144,146,146,148,148,147,147,149, |
| 149,103,103,104,104,106,106,105,105,105, |
| 73,73,145,145,150,150,107,107,107,102, |
| 102,108,108,108,81,81,143,143,143,143, |
| 72,72,72,72,109,109,109,110,110,110, |
| 111,111,111,111,79,79,82,82,82,74, |
| 74,74,74,80,80,83,83,83,75,75, |
| 75,99,99,112,112,112,84,100,100,113, |
| 113,113,85,85,85,85,101,101,114,114, |
| 114,114,114,86,86,86,86,86,87,87, |
| 87,87,88,88,115,115,115,181,181,182, |
| 182,182,182,182,65,65,67,67,67,116, |
| 116,117,117,117,117,90,89,89,151,151, |
| 155,155,155,152,152,156,156,154,154,157, |
| 157,68,68,69,69,69,70,70,70,59, |
| 59,59,59,61,63,61,63,61,61,61, |
| 61,61,60,60,60,60,153,153,118,118, |
| 118,119,119,91,91,77,77,77,77,77, |
| 158,158,11,11,11,120,120,31,31,159, |
| 159,159,121,121,122,122,160,160,160,160, |
| 12,12,13,13,13,13,161,161,161,161, |
| 14,14,14,14,14,15,15,127,18,32, |
| 95,18,18,18,18,162,162,36,36,6, |
| 6,76,76,163,163,164,164,123,123,123, |
| 92,92,165,165,66,66,3,136,127,127, |
| 52,52,124,124,33,33,33,33,33,33, |
| 33,33,18,34,34,166,166,166,167,167, |
| 125,125,125,125,168,168,169,169,169,170, |
| 170,170,170,170,170,170,170,170,170,170, |
| 134,134,134,9,9,9,62,171,172,172, |
| 58,62,173,174,174,175,176,176,64,126, |
| 126,86,1,1110,88,363,1086,5946,5936,130, |
| 5941,81,82,443,940,435,436,438,64,669, |
| 74,79,80,104,105,106,107,108,109,127, |
| 128,129,131,441,442,444,482,65,71,1293, |
| 59,47,48,1226,1294,42,1166,34,1551,30, |
| 6045,1605,28,5838,278,6096,287,278,2754,282, |
| 516,366,369,370,372,373,521,663,6146,663, |
| 6043,362,3401,97,1110,88,363,1086,5946,5936, |
| 130,5941,81,82,443,940,435,436,438,64, |
| 669,74,79,80,104,105,106,107,108,109, |
| 127,128,129,131,441,442,444,482,65,71, |
| 1293,59,47,48,1226,1294,42,1166,34,1551, |
| 30,6045,1605,28,169,206,171,6095,286,288, |
| 4900,516,366,369,370,372,373,521,168,4782, |
| 170,6078,362,3401,193,1110,88,363,1086,5946, |
| 5936,130,5941,81,82,443,940,435,436,438, |
| 64,669,74,79,80,104,105,106,107,108, |
| 109,127,128,129,131,441,442,444,482,65, |
| 71,1293,59,47,48,1226,1294,42,1166,34, |
| 1551,30,6045,1605,28,870,2437,335,5225,3099, |
| 5,278,516,366,369,370,372,373,521,5035, |
| 5770,252,6083,362,3401,289,1110,88,363,1086, |
| 5946,5936,130,5941,81,82,443,940,435,436, |
| 438,64,669,74,79,80,104,105,106,107, |
| 108,109,127,128,129,131,441,442,444,482, |
| 65,71,1293,59,47,48,1226,1294,42,1166, |
| 34,1551,30,6045,1605,28,75,76,5961,278, |
| 6096,295,277,516,366,369,370,372,373,521, |
| 278,2762,6147,6086,362,3401,385,1110,88,363, |
| 1086,5946,5936,130,5941,81,82,443,940,435, |
| 436,438,64,669,74,79,80,104,105,106, |
| 107,108,109,127,128,129,131,441,442,444, |
| 482,65,71,1293,59,47,48,1226,1294,42, |
| 1166,34,1551,30,6045,1605,28,5859,5766,88, |
| 6259,6075,238,5493,516,366,369,370,372,373, |
| 521,6292,294,446,6093,362,3401,481,1110,88, |
| 363,1086,5946,5936,130,5941,81,82,443,940, |
| 435,436,438,64,669,74,79,80,104,105, |
| 106,107,108,109,127,128,129,131,441,442, |
| 444,482,65,71,1293,59,47,48,1226,1294, |
| 42,1166,34,1551,30,6045,1605,28,4673,525, |
| 5618,484,6061,278,6091,516,366,369,370,372, |
| 373,521,101,663,5670,6105,362,3401,577,1110, |
| 88,363,1086,5946,5936,130,5941,81,82,443, |
| 940,435,436,438,64,669,74,79,80,104, |
| 105,106,107,108,109,127,128,129,131,441, |
| 442,444,482,65,71,1293,59,47,48,1226, |
| 1294,42,1166,34,1551,30,6045,1605,28,5631, |
| 942,4683,4587,5974,312,425,516,366,369,370, |
| 372,373,521,5980,445,6203,6106,362,3401,4375, |
| 1110,88,5995,1086,5946,5936,130,5941,81,82, |
| 443,940,435,436,438,64,669,74,79,80, |
| 104,105,106,107,108,109,127,128,129,131, |
| 441,442,444,482,65,71,1293,59,47,48, |
| 1226,1294,42,1166,34,1551,30,529,1605,28, |
| 5299,5708,5712,290,285,288,6015,2879,6022,5717, |
| 5650,4760,583,281,282,465,465,309,311,6072, |
| 2741,1355,394,276,483,5112,2772,158,1009,2773, |
| 6046,728,5147,1110,88,2852,1086,5946,5936,130, |
| 5941,81,82,443,940,435,436,438,64,669, |
| 74,79,80,104,105,106,107,108,109,127, |
| 128,129,131,441,442,444,482,65,71,1293, |
| 59,55,56,1226,375,589,260,260,2608,159, |
| 160,5743,1165,2871,4760,4481,5298,262,263,465, |
| 530,217,218,4585,1110,88,5643,1086,5946,5936, |
| 130,5941,81,82,443,940,435,436,438,64, |
| 669,74,79,80,104,105,106,107,108,109, |
| 127,128,129,131,441,442,444,482,65,71, |
| 1293,59,47,48,1226,1294,42,1166,34,1551, |
| 30,6045,1605,28,4991,283,5613,1659,452,465, |
| 261,516,3575,369,370,372,373,521,4489,1110, |
| 88,5643,1086,5946,5936,130,5941,81,82,443, |
| 940,435,436,438,64,669,74,79,80,104, |
| 105,106,107,108,109,127,128,129,131,441, |
| 442,444,482,65,71,1293,59,47,48,1226, |
| 1294,42,1166,34,1551,30,6045,1605,28,5859, |
| 6073,88,1713,4764,4758,5532,516,367,369,370, |
| 372,373,521,4585,1110,88,5643,1086,5946,5936, |
| 130,5941,81,82,443,940,435,436,438,64, |
| 669,74,79,80,104,105,106,107,108,109, |
| 127,128,129,131,441,442,444,482,65,71, |
| 1293,59,47,48,1226,1294,42,1166,34,1551, |
| 30,6045,1605,28,5859,377,88,1767,434,4906, |
| 101,516,3577,369,370,372,373,521,4681,1110, |
| 88,5643,1086,5946,5936,130,5941,81,82,443, |
| 940,435,436,438,64,669,74,79,80,104, |
| 105,106,107,108,109,127,128,129,131,441, |
| 442,444,482,65,71,1293,59,47,48,1226, |
| 1294,42,1166,34,1551,30,3207,1605,28,5147, |
| 1110,88,1821,1086,5946,5936,130,5941,81,82, |
| 443,940,435,436,438,64,669,74,79,80, |
| 104,105,106,107,108,109,127,128,129,131, |
| 441,442,444,482,65,71,1293,59,53,54, |
| 1226,120,122,5344,1110,88,245,1086,5946,5936, |
| 130,5941,81,82,443,940,435,436,438,73, |
| 669,74,79,80,104,105,106,107,108,109, |
| 127,128,129,131,441,442,444,482,3153,3371, |
| 673,1110,88,470,1086,5946,5936,130,5941,81, |
| 82,443,940,435,436,438,64,669,74,79, |
| 80,104,105,106,107,108,109,127,128,129, |
| 131,441,442,444,482,65,71,1293,59,47, |
| 48,1226,1294,42,1166,34,1551,30,201,1605, |
| 28,5587,3045,2991,757,1110,88,470,1086,5946, |
| 5936,130,5941,81,82,443,940,435,436,438, |
| 64,669,74,79,80,104,105,106,107,108, |
| 109,127,128,129,131,441,442,444,482,65, |
| 71,1293,59,47,48,1226,1294,42,1166,34, |
| 1551,30,201,1605,28,4772,3045,5801,841,1110, |
| 88,470,1086,5946,5936,130,5941,81,82,443, |
| 940,435,436,438,64,669,74,79,80,104, |
| 105,106,107,108,109,127,128,129,131,441, |
| 442,444,482,65,71,1293,59,47,48,1226, |
| 1294,42,1166,34,1551,30,201,1605,28,4477, |
| 3045,5855,925,1110,88,470,1086,5946,5936,130, |
| 5941,81,82,443,940,435,436,438,64,669, |
| 74,79,80,104,105,106,107,108,109,127, |
| 128,129,131,441,442,444,482,65,71,1293, |
| 59,47,48,1226,1294,42,1166,34,1551,30, |
| 201,1605,28,4884,3045,5865,1009,1110,88,470, |
| 1086,5946,5936,130,5941,81,82,443,940,435, |
| 436,438,64,669,74,79,80,104,105,106, |
| 107,108,109,127,128,129,131,441,442,444, |
| 482,65,71,1293,59,47,48,1226,1294,42, |
| 1166,34,1551,30,201,1605,28,4995,3045,5909, |
| 1093,1110,88,470,1086,5946,5936,130,5941,81, |
| 82,443,940,435,436,438,64,669,74,79, |
| 80,104,105,106,107,108,109,127,128,129, |
| 131,441,442,444,482,65,71,1293,59,47, |
| 48,1226,1294,42,1166,34,1551,30,201,1605, |
| 28,5313,3045,5915,1177,1110,88,470,1086,5946, |
| 5936,130,5941,81,82,443,940,435,436,438, |
| 64,669,74,79,80,104,105,106,107,108, |
| 109,127,128,129,131,441,442,444,482,65, |
| 71,1293,59,47,48,1226,1294,42,1166,34, |
| 1551,30,201,1605,28,5324,3045,5931,1261,1110, |
| 88,470,1086,5946,5936,130,5941,81,82,443, |
| 940,435,436,438,64,669,74,79,80,104, |
| 105,106,107,108,109,127,128,129,131,441, |
| 442,444,482,65,71,1293,59,47,48,1226, |
| 1294,42,1166,34,1551,30,201,1605,28,5654, |
| 3045,5934,1345,1110,88,470,1086,5946,5936,130, |
| 5941,81,82,443,940,435,436,438,64,669, |
| 74,79,80,104,105,106,107,108,109,127, |
| 128,129,131,441,442,444,482,65,71,1293, |
| 59,47,48,1226,1294,42,1166,34,1551,30, |
| 201,1605,28,5759,3045,5942,1429,1110,88,470, |
| 1086,5946,5936,130,5941,81,82,443,940,435, |
| 436,438,64,669,74,79,80,104,105,106, |
| 107,108,109,127,128,129,131,441,442,444, |
| 482,65,71,1293,59,47,48,1226,1294,42, |
| 1166,34,1551,30,201,1605,28,5896,3045,5944, |
| 1513,1110,88,470,1086,5946,5936,130,5941,81, |
| 82,443,940,435,436,438,64,669,74,79, |
| 80,104,105,106,107,108,109,127,128,129, |
| 131,441,442,444,482,65,71,1293,59,47, |
| 48,1226,1294,42,1166,34,1551,30,201,1605, |
| 28,6054,3045,5945,1597,1110,88,470,1086,5946, |
| 5936,130,5941,81,82,443,940,435,436,438, |
| 64,669,74,79,80,104,105,106,107,108, |
| 109,127,128,129,131,441,442,444,482,65, |
| 71,1293,59,47,48,1226,1294,42,1166,34, |
| 1551,30,201,1605,28,6063,3045,5956,1681,1110, |
| 88,470,1086,5946,5936,130,5941,81,82,443, |
| 940,435,436,438,64,669,74,79,80,104, |
| 105,106,107,108,109,127,128,129,131,441, |
| 442,444,482,65,71,1293,59,47,48,1226, |
| 1294,42,1166,34,1551,30,201,1605,28,6067, |
| 3045,5971,1765,1110,88,470,1086,5946,5936,130, |
| 5941,81,82,443,940,435,436,438,64,669, |
| 74,79,80,104,105,106,107,108,109,127, |
| 128,129,131,441,442,444,482,65,71,1293, |
| 59,47,48,1226,1294,42,1166,34,1551,30, |
| 201,1605,28,6070,3045,5977,1849,1110,88,470, |
| 1086,5946,5936,130,5941,81,82,443,940,435, |
| 436,438,64,669,74,79,80,104,105,106, |
| 107,108,109,127,128,129,131,441,442,444, |
| 482,65,71,1293,59,47,48,1226,1294,42, |
| 1166,34,1551,30,201,1605,28,6072,3045,5991, |
| 1933,1110,88,470,1086,5946,5936,130,5941,81, |
| 82,443,940,435,436,438,64,669,74,79, |
| 80,104,105,106,107,108,109,127,128,129, |
| 131,441,442,444,482,65,71,1293,59,47, |
| 48,1226,1294,42,1166,34,1551,30,201,1605, |
| 28,6074,3045,5994,2017,1110,88,470,1086,5946, |
| 5936,130,5941,81,82,443,940,435,436,438, |
| 64,669,74,79,80,104,105,106,107,108, |
| 109,127,128,129,131,441,442,444,482,65, |
| 71,1293,59,47,48,1226,1294,42,1166,34, |
| 1551,30,201,1605,28,6076,3045,6001,2101,1110, |
| 88,470,1086,5946,5936,130,5941,81,82,443, |
| 940,435,436,438,64,669,74,79,80,104, |
| 105,106,107,108,109,127,128,129,131,441, |
| 442,444,482,65,71,1293,59,47,48,1226, |
| 1294,42,1166,34,1551,30,201,1605,28,6078, |
| 3045,6003,2185,1110,88,470,1086,5946,5936,130, |
| 5941,81,82,443,940,435,436,438,64,669, |
| 74,79,80,104,105,106,107,108,109,127, |
| 128,129,131,441,442,444,482,65,71,1293, |
| 59,47,48,1226,1294,42,1166,34,1551,30, |
| 201,1605,28,6082,3045,6016,2269,1110,88,470, |
| 1086,5946,5936,130,5941,81,82,443,940,435, |
| 436,438,64,669,74,79,80,104,105,106, |
| 107,108,109,127,128,129,131,441,442,444, |
| 482,65,71,1293,59,47,48,1226,1294,42, |
| 1166,34,1551,30,201,1605,28,5842,3045,6018, |
| 2440,1110,88,470,1086,5946,5936,130,5941,81, |
| 82,443,940,435,436,438,64,669,74,79, |
| 80,104,105,106,107,108,109,127,128,129, |
| 131,441,442,444,482,65,71,1293,59,47, |
| 48,1226,1294,42,1166,34,1551,30,201,1605, |
| 28,6084,3045,6038,3619,1110,88,512,1086,5946, |
| 5936,130,5941,81,82,443,940,435,436,438, |
| 64,669,74,79,80,104,105,106,107,108, |
| 109,127,128,129,131,441,442,444,482,65, |
| 71,1293,59,47,48,1226,1294,42,1166,34, |
| 1551,30,147,1605,28,5631,6273,6086,4804,1110, |
| 88,6048,1086,5946,5936,130,5941,81,82,443, |
| 940,435,436,438,64,669,74,79,80,104, |
| 105,106,107,108,109,127,128,129,131,441, |
| 442,444,482,65,71,1293,59,47,48,1226, |
| 1294,42,1166,34,1551,30,214,1605,28,5643, |
| 6091,470,6065,5419,424,88,468,86,22,5964, |
| 6093,5962,173,143,5780,940,435,436,437,93, |
| 285,288,5894,93,5487,5701,212,1025,583,5567, |
| 3569,88,6049,6095,22,3379,4760,110,5972,259, |
| 5891,465,6097,220,6056,6050,6052,4804,1110,88, |
| 1875,1086,5946,5936,130,5941,81,82,443,940, |
| 435,436,438,64,669,74,79,80,104,105, |
| 106,107,108,109,127,128,129,131,441,442, |
| 444,482,65,71,1293,59,47,48,1226,1294, |
| 42,1166,34,1551,30,214,1605,28,144,172, |
| 5898,393,260,404,4913,308,310,6072,2875,308, |
| 310,6072,5709,5310,276,391,480,518,520,2685, |
| 219,5334,728,440,256,212,4484,87,5821,3369, |
| 5859,4577,88,1011,263,5847,6029,1011,6037,5547, |
| 6146,230,3375,389,6053,6052,2611,1110,88,470, |
| 1086,5946,5936,130,5941,81,82,443,940,435, |
| 436,438,64,669,74,79,80,104,105,106, |
| 107,108,109,127,128,129,131,441,442,444, |
| 482,65,71,1293,59,47,48,1226,1294,42, |
| 1166,34,1551,30,201,1605,28,6047,3045,6058, |
| 2695,1110,88,470,1086,5946,5936,130,5941,81, |
| 82,443,940,435,436,438,64,669,74,79, |
| 80,104,105,106,107,108,109,127,128,129, |
| 131,441,442,444,482,65,71,1293,59,47, |
| 48,1226,1294,42,1166,34,1551,30,201,1605, |
| 28,5132,3045,6059,2779,1110,88,470,1086,5946, |
| 5936,130,5941,81,82,443,940,435,436,438, |
| 64,669,74,79,80,104,105,106,107,108, |
| 109,127,128,129,131,441,442,444,482,65, |
| 71,1293,59,47,48,1226,1294,42,1166,34, |
| 1551,30,201,1605,28,6065,3045,6060,2863,1110, |
| 88,470,1086,5946,5936,130,5941,81,82,443, |
| 940,435,436,438,64,669,74,79,80,104, |
| 105,106,107,108,109,127,128,129,131,441, |
| 442,444,482,65,71,1293,59,47,48,1226, |
| 1294,42,1166,34,1551,30,201,1605,28,5420, |
| 3045,6061,2947,1110,88,470,1086,5946,5936,130, |
| 5941,81,82,443,940,435,436,438,64,669, |
| 74,79,80,104,105,106,107,108,109,127, |
| 128,129,131,441,442,444,482,65,71,1293, |
| 59,47,48,1226,1294,42,1166,34,1551,30, |
| 201,1605,28,485,3045,6067,3115,1110,88,470, |
| 1086,5946,5936,130,5941,81,82,443,940,435, |
| 436,438,64,669,74,79,80,104,105,106, |
| 107,108,109,127,128,129,131,441,442,444, |
| 482,65,71,1293,59,47,48,1226,1294,42, |
| 1166,34,1551,30,201,1605,28,5488,3389,3199, |
| 1110,88,470,1086,5946,5936,130,5941,81,82, |
| 443,940,435,436,438,64,669,74,79,80, |
| 104,105,106,107,108,109,127,128,129,131, |
| 441,442,444,482,65,71,1293,59,47,48, |
| 1226,1294,42,1166,34,1551,30,201,1605,28, |
| 182,3393,2353,1110,88,479,1086,5946,5936,130, |
| 5941,81,82,443,940,435,436,438,64,669, |
| 74,79,80,104,105,106,107,108,109,127, |
| 128,129,131,441,442,444,482,65,71,1293, |
| 59,47,48,1226,1294,42,1166,34,1551,30, |
| 472,1605,28,4915,1110,88,5643,1086,5946,5936, |
| 130,5941,81,82,443,940,435,436,438,64, |
| 669,74,79,80,104,105,106,107,108,109, |
| 127,128,129,131,441,442,444,482,65,71, |
| 1293,59,47,48,1226,1294,42,1166,34,1551, |
| 30,3207,1605,28,5859,5913,88,1929,432,566, |
| 6030,6080,423,5732,4912,5593,399,301,403,5905, |
| 5844,5821,3570,478,5901,5854,3380,486,498,5850, |
| 5941,6280,88,5880,5627,571,522,263,268,662, |
| 4774,5640,273,381,368,6088,121,122,3535,1110, |
| 88,470,1086,5946,5936,130,5941,81,82,443, |
| 940,435,436,438,64,669,74,79,80,104, |
| 105,106,107,108,109,127,128,129,131,441, |
| 442,444,482,65,71,1293,59,47,48,1226, |
| 1294,42,1166,34,1551,30,201,1605,28,300, |
| 6046,2524,1110,88,477,1086,5946,5936,130,5941, |
| 81,82,443,940,435,436,438,64,669,74, |
| 79,80,104,105,106,107,108,109,127,128, |
| 129,131,441,442,444,482,65,71,1293,59, |
| 47,48,1226,1294,42,1166,34,1551,30,472, |
| 1605,28,3031,1110,88,481,1086,5946,5936,130, |
| 5941,81,82,443,940,435,436,438,64,669, |
| 74,79,80,104,105,106,107,108,109,127, |
| 128,129,131,441,442,444,482,65,71,1293, |
| 59,47,48,1226,1294,42,1166,34,1551,30, |
| 2853,1605,28,523,6057,5863,526,528,492,5133, |
| 5920,5917,511,431,476,5931,4905,6027,497,253, |
| 491,5306,5491,6099,323,3571,3283,1110,88,493, |
| 1086,5946,5936,130,5941,81,82,443,940,435, |
| 436,438,64,669,74,79,80,104,105,106, |
| 107,108,109,127,128,129,131,441,442,444, |
| 482,65,71,1293,59,47,48,1226,1294,42, |
| 1166,34,1551,30,6025,1605,28,3367,1110,88, |
| 448,1086,5946,5936,130,5941,81,82,443,940, |
| 435,436,438,64,669,74,79,80,104,105, |
| 106,107,108,109,127,128,129,131,441,442, |
| 444,482,65,71,1293,59,47,48,1226,1294, |
| 42,1166,34,1551,30,447,1605,28,3451,1110, |
| 88,471,1086,5946,5936,130,5941,81,82,443, |
| 940,435,436,438,64,669,74,79,80,104, |
| 105,106,107,108,109,127,128,129,131,441, |
| 442,444,482,65,71,1293,59,47,48,1226, |
| 1294,42,1166,34,1551,30,202,1605,28,3703, |
| 1110,88,398,1086,5946,5936,130,5941,81,82, |
| 443,940,435,436,438,64,669,74,79,80, |
| 104,105,106,107,108,109,127,128,129,131, |
| 441,442,444,482,65,71,1293,59,47,48, |
| 1226,1294,42,1166,34,1551,30,397,1605,28, |
| 3787,1110,88,396,1086,5946,5936,130,5941,81, |
| 82,443,940,435,436,438,64,669,74,79, |
| 80,104,105,106,107,108,109,127,128,129, |
| 131,441,442,444,482,65,71,1293,59,47, |
| 48,1226,1294,42,1166,34,1551,30,395,1605, |
| 28,3871,1110,88,411,1086,5946,5936,130,5941, |
| 81,82,443,940,435,436,438,64,669,74, |
| 79,80,104,105,106,107,108,109,127,128, |
| 129,131,441,442,444,482,65,71,1293,59, |
| 47,48,1226,1294,42,1166,34,1551,30,410, |
| 1605,28,3955,1110,88,385,1086,5946,5936,130, |
| 5941,81,82,443,940,435,436,438,64,669, |
| 74,79,80,104,105,106,107,108,109,127, |
| 128,129,131,441,442,444,482,65,71,1293, |
| 59,47,48,1226,1294,42,1166,34,1551,30, |
| 384,1605,28,4039,1110,88,383,1086,5946,5936, |
| 130,5941,81,82,443,940,435,436,438,64, |
| 669,74,79,80,104,105,106,107,108,109, |
| 127,128,129,131,441,442,444,482,65,71, |
| 1293,59,47,48,1226,1294,42,1166,34,1551, |
| 30,382,1605,28,4123,1110,88,467,1086,5946, |
| 5936,130,5941,81,82,443,940,435,436,438, |
| 64,669,74,79,80,104,105,106,107,108, |
| 109,127,128,129,131,441,442,444,482,65, |
| 71,1293,59,47,48,1226,1294,42,1166,34, |
| 1551,30,148,1605,28,5036,1110,88,5643,1086, |
| 5946,5936,130,5941,81,82,443,940,435,436, |
| 438,64,669,74,79,80,104,105,106,107, |
| 108,109,127,128,129,131,441,442,444,482, |
| 65,71,1293,59,47,48,1226,1294,42,1166, |
| 34,1551,30,214,1605,28,6102,5483,6031,1983, |
| 320,352,5702,5881,6291,326,344,6042,6104,5853, |
| 303,6094,239,5888,6032,6043,239,356,351,6050, |
| 6106,6108,360,213,4207,1110,88,377,1086,5946, |
| 5936,130,5941,81,82,443,940,435,436,438, |
| 64,669,74,79,80,104,105,106,107,108, |
| 109,127,128,129,131,441,442,444,482,65, |
| 71,1293,59,47,48,1226,1294,42,1166,34, |
| 1551,30,376,1605,28,4291,1110,88,375,1086, |
| 5946,5936,130,5941,81,82,443,940,435,436, |
| 438,64,669,74,79,80,104,105,106,107, |
| 108,109,127,128,129,131,441,442,444,482, |
| 65,71,1293,59,47,48,1226,1294,42,1166, |
| 34,1551,30,374,1605,28,5147,1110,88,5643, |
| 1086,5946,5936,130,5941,81,82,443,940,435, |
| 436,438,64,669,74,79,80,104,105,106, |
| 107,108,109,127,128,129,131,441,442,444, |
| 482,65,71,1293,59,47,48,1226,1294,42, |
| 1166,34,1551,30,2844,1605,28,5147,1110,88, |
| 2037,1086,5946,5936,130,5941,81,82,443,940, |
| 435,436,438,64,669,74,79,80,104,105, |
| 106,107,108,109,127,128,129,131,441,442, |
| 444,482,65,71,1293,59,47,48,1226,1294, |
| 42,1166,34,1551,30,3405,1605,28,5147,1110, |
| 88,5643,1086,5946,5936,130,5941,81,82,443, |
| 940,435,436,438,64,669,74,79,80,104, |
| 105,106,107,108,109,127,128,129,131,441, |
| 442,444,482,65,71,1293,59,47,48,1226, |
| 1294,42,1166,34,1551,30,125,1605,28,5147, |
| 1110,88,2091,1086,5946,5936,130,5941,81,82, |
| 443,940,435,436,438,64,669,74,79,80, |
| 104,105,106,107,108,109,127,128,129,131, |
| 441,442,444,482,65,71,1293,59,47,48, |
| 1226,1294,42,1166,34,1551,30,155,1605,28, |
| 5147,1110,88,5643,1086,5946,5936,130,5941,81, |
| 82,443,940,435,436,438,64,669,74,79, |
| 80,104,105,106,107,108,109,127,128,129, |
| 131,441,442,444,482,65,71,1293,59,47, |
| 48,1226,1294,42,1166,34,1551,30,126,1605, |
| 28,5147,1110,88,2145,1086,5946,5936,130,5941, |
| 81,82,443,940,435,436,438,64,669,74, |
| 79,80,104,105,106,107,108,109,127,128, |
| 129,131,441,442,444,482,65,71,1293,59, |
| 47,48,1226,1294,42,1166,34,1551,30,124, |
| 1605,28,5147,1110,88,5643,1086,5946,5936,130, |
| 5941,81,82,443,940,435,436,438,64,669, |
| 74,79,80,104,105,106,107,108,109,127, |
| 128,129,131,441,442,444,482,65,71,1293, |
| 59,47,48,1226,1294,42,1166,34,1551,30, |
| 6042,1605,28,5147,1110,88,2199,1086,5946,5936, |
| 130,5941,81,82,443,940,435,436,438,64, |
| 669,74,79,80,104,105,106,107,108,109, |
| 127,128,129,131,441,442,444,482,65,71, |
| 1293,59,47,48,1226,1294,42,1166,34,1551, |
| 30,203,1605,28,5147,1110,88,5643,1086,5946, |
| 5936,130,5941,81,82,443,940,435,436,438, |
| 64,669,74,79,80,104,105,106,107,108, |
| 109,127,128,129,131,441,442,444,482,65, |
| 71,1293,59,47,48,1226,1294,42,1166,34, |
| 1551,30,154,1605,28,5147,1110,88,2253,1086, |
| 5946,5936,130,5941,81,82,443,940,435,436, |
| 438,64,669,74,79,80,104,105,106,107, |
| 108,109,127,128,129,131,441,442,444,482, |
| 65,71,1293,59,47,48,1226,1294,42,1166, |
| 34,1551,30,6069,1605,28,5147,1110,88,279, |
| 1086,5946,5936,130,5941,81,82,443,940,435, |
| 436,438,64,669,74,79,80,104,105,106, |
| 107,108,109,127,128,129,131,441,442,444, |
| 482,65,71,1293,59,47,48,1226,1294,42, |
| 1166,34,1551,30,6080,1605,28,5147,1110,88, |
| 2307,1086,5946,5936,130,5941,81,82,443,940, |
| 435,436,438,64,669,74,79,80,104,105, |
| 106,107,108,109,127,128,129,131,441,442, |
| 444,482,65,71,1293,59,47,48,1226,1294, |
| 42,1166,34,1551,30,6084,1605,28,5147,1110, |
| 88,5643,1086,5946,5936,130,5941,81,82,443, |
| 940,435,436,438,64,669,74,79,80,104, |
| 105,106,107,108,109,127,128,129,131,441, |
| 442,444,482,65,71,1293,59,47,48,1226, |
| 1294,42,1166,34,1551,30,149,1605,28,5147, |
| 1110,88,2361,1086,5946,5936,130,5941,81,82, |
| 443,940,435,436,438,64,669,74,79,80, |
| 104,105,106,107,108,109,127,128,129,131, |
| 441,442,444,482,65,71,1293,59,47,48, |
| 1226,1294,42,1166,34,1551,30,6089,1605,28, |
| 5147,1110,88,5643,1086,5946,5936,130,5941,81, |
| 82,443,940,435,436,438,64,669,74,79, |
| 80,104,105,106,107,108,109,127,128,129, |
| 131,441,442,444,482,65,71,1293,59,47, |
| 48,1226,1294,42,1166,34,1551,30,517,1605, |
| 28,5147,1110,88,2415,1086,5946,5936,130,5941, |
| 81,82,443,940,435,436,438,64,669,74, |
| 79,80,104,105,106,107,108,109,127,128, |
| 129,131,441,442,444,482,65,71,1293,59, |
| 47,48,1226,1294,42,1166,34,1551,30,6097, |
| 1605,28,5147,1110,88,5643,1086,5946,5936,130, |
| 5941,81,82,443,940,435,436,438,64,669, |
| 74,79,80,104,105,106,107,108,109,127, |
| 128,129,131,441,442,444,482,65,71,1293, |
| 59,47,48,1226,1294,42,1166,34,1551,30, |
| 6099,1605,28,5147,1110,88,2469,1086,5946,5936, |
| 130,5941,81,82,443,940,435,436,438,64, |
| 669,74,79,80,104,105,106,107,108,109, |
| 127,128,129,131,441,442,444,482,65,71, |
| 1293,59,47,48,1226,1294,42,1166,34,5735, |
| 32,5147,1110,88,6113,1086,5946,5936,130,5941, |
| 81,82,443,940,435,436,438,64,669,74, |
| 79,80,104,105,106,107,108,109,127,128, |
| 129,131,441,442,444,482,65,71,1293,59, |
| 47,48,1226,1294,42,5718,40,5147,1110,88, |
| 6115,1086,5946,5936,130,5941,81,82,443,940, |
| 435,436,438,64,669,74,79,80,104,105, |
| 106,107,108,109,127,128,129,131,441,442, |
| 444,482,65,71,1293,59,47,48,1226,1294, |
| 42,5721,39,5147,1110,88,6120,1086,5946,5936, |
| 130,5941,81,82,443,940,435,436,438,64, |
| 669,74,79,80,104,105,106,107,108,109, |
| 127,128,129,131,441,442,444,482,65,71, |
| 1293,59,47,48,1226,1294,42,5733,38,5147, |
| 1110,88,6122,1086,5946,5936,130,5941,81,82, |
| 443,940,435,436,438,64,669,74,79,80, |
| 104,105,106,107,108,109,127,128,129,131, |
| 441,442,444,482,65,71,1293,59,47,48, |
| 1226,5569,46,5147,1110,88,6130,1086,5946,5936, |
| 130,5941,81,82,443,940,435,436,438,64, |
| 669,74,79,80,104,105,106,107,108,109, |
| 127,128,129,131,441,442,444,482,65,71, |
| 1293,59,47,48,1226,5606,44,5147,1110,88, |
| 6132,1086,5946,5936,130,5941,81,82,443,940, |
| 435,436,438,64,669,74,79,80,104,105, |
| 106,107,108,109,127,128,129,131,441,442, |
| 444,482,65,71,1293,59,51,52,1226,5147, |
| 1110,88,6138,1086,5946,5936,130,5941,81,82, |
| 443,940,435,436,438,64,669,74,79,80, |
| 104,105,106,107,108,109,127,128,129,131, |
| 441,442,444,482,65,71,1293,59,49,50, |
| 1226,5147,1110,88,6140,1086,5946,5936,130,5941, |
| 81,82,443,940,435,436,438,64,669,74, |
| 79,80,104,105,106,107,108,109,127,128, |
| 129,131,441,442,444,482,65,71,5674,63, |
| 5147,1110,88,6142,1086,5946,5936,130,5941,81, |
| 82,443,940,435,436,438,64,669,74,79, |
| 80,104,105,106,107,108,109,127,128,129, |
| 131,441,442,444,482,65,71,5697,61,5147, |
| 1110,88,6144,1086,5946,5936,130,5941,81,82, |
| 443,940,435,436,438,68,669,74,79,80, |
| 104,105,106,107,108,109,127,128,129,131, |
| 441,442,444,482,69,71,5147,1110,88,5113, |
| 1086,5946,5936,130,5941,81,82,443,940,435, |
| 436,438,66,669,74,79,80,104,105,106, |
| 107,108,109,127,128,129,131,441,442,444, |
| 482,67,71,5344,1110,88,5117,1086,5946,5936, |
| 130,5941,81,82,443,940,435,436,438,72, |
| 669,74,79,80,104,105,106,107,108,109, |
| 127,128,129,131,441,442,444,482,5223,1110, |
| 88,6146,1086,5946,5936,130,5941,81,82,443, |
| 940,435,436,438,72,669,74,79,80,104, |
| 105,106,107,108,109,127,128,129,131,441, |
| 442,444,482,5503,5304,88,469,5912,22,5964, |
| 257,5968,173,4880,2772,158,5797,2773,264,433, |
| 2773,4451,2772,158,379,2773,5737,5639,207,1025, |
| 5817,6186,264,6146,2773,6146,5643,386,6111,5112, |
| 2772,158,6124,2773,4991,5302,5643,4903,5300,465, |
| 5643,5311,454,5112,2772,158,6278,2773,5112,2772, |
| 158,5146,2773,5726,4455,5590,5525,159,160,2784, |
| 265,266,6146,6151,6153,159,160,6079,5112,2772, |
| 158,276,2773,4991,265,266,5857,2523,465,728, |
| 167,6154,6068,159,160,2784,6156,2631,141,172, |
| 6126,2687,401,393,5707,6054,6210,159,160,2784, |
| 6081,460,159,160,5744,293,473,391,166,487, |
| 5112,2772,158,440,2773,6005,3365,6011,345,6071, |
| 5873,6159,159,160,5761,5923,142,145,146,6005, |
| 4102,6011,324,798,6101,389,5112,2772,158,6082, |
| 2773,5112,2772,158,244,2773,5112,2772,158,5867, |
| 2773,5112,2772,158,4472,2773,460,341,5112,2772, |
| 158,2840,2773,5454,159,160,6020,5918,5319,5860, |
| 5112,2772,158,4568,2773,6161,341,5631,5918,489, |
| 5592,2780,2867,2866,6186,6162,459,1359,6021,6024, |
| 159,160,6036,5925,224,159,160,5776,5736,4901, |
| 159,160,6063,5707,6054,159,160,216,667,4901, |
| 460,1025,159,160,6090,4760,5925,455,221,6088, |
| 465,335,3384,495,159,160,4107,5755,229,6164, |
| 317,488,870,5776,335,6170,321,4900,6088,5589, |
| 335,6077,316,870,342,335,278,6096,251,278, |
| 6096,6171,285,288,6172,415,5614,5864,2577,251, |
| 583,5643,6177,342,6178,6179,5492,5643,293,6064, |
| 6087,4103,5726,5734,2778,3576,6180,5643,299,5643, |
| 6103,260,5643,5896,5899,393,3576,3394,5643,6098, |
| 4103,6185,5700,2759,335,459,798,6187,5700,392, |
| 335,299,6088,5926,335,234,3374,2740,5643,5643, |
| 5643,6188,2750,5929,6193,234,2763,85,6026,237, |
| 5696,6194,237,6195,354,6128,456,343,6027,3374, |
| 2307,6135,293,6032,6104,6033,6196,358,6201,195, |
| 6208,6209,5919,389,6169,6215,6217,6220,4097,6224, |
| 6226,4109,6228,6230,4113,6202,6232,4379,6234,86, |
| 87,196,6235,3035,6240,5916,5889,4672,5624,5630, |
| 6242,4493,6233,6243,5926,6222,5775,6244,6248,6249, |
| 6250,6251,6236,4678,6257,6258,6260,6263,6264,6265, |
| 6085,6266,5962,6030,349,6268,6270,6271,3203,5619, |
| 6272,6277,6274,3371,6281,6282,3539,6283,6286,6284, |
| 6288,6290,6295,3707,6296,6297,6037,3875,6298,6300, |
| 6301,6303,6305,6306,4043,4211,5818,6109,0 |
| }; |
| }; |
| public final static char baseAction[] = BaseAction.baseAction; |
| public final int baseAction(int index) { return baseAction[index]; } |
| public final static char lhs[] = baseAction; |
| public final int lhs(int index) { return lhs[index]; }; |
| |
| public interface TermCheck { |
| public final static char termCheck[] = {0, |
| 0,1,2,3,0,5,6,7,8,9, |
| 10,11,12,13,14,15,16,17,18,19, |
| 20,21,22,23,24,25,26,27,28,29, |
| 30,31,32,33,34,35,36,37,38,39, |
| 40,41,42,43,44,45,46,47,48,49, |
| 50,51,52,53,54,55,56,57,58,59, |
| 60,61,62,63,64,65,66,67,68,69, |
| 70,71,72,73,74,75,76,77,78,79, |
| 80,81,82,83,84,0,0,2,3,4, |
| 86,91,0,0,94,95,0,1,2,3, |
| 0,5,6,7,8,9,10,11,12,13, |
| 14,15,16,17,18,19,20,21,22,23, |
| 24,25,26,27,28,29,30,31,32,33, |
| 34,35,36,37,38,39,40,41,42,43, |
| 44,45,46,47,48,49,50,51,52,53, |
| 54,55,56,57,58,59,60,61,62,63, |
| 64,65,66,67,68,69,70,71,72,73, |
| 74,75,76,77,78,79,80,81,82,83, |
| 84,0,90,2,3,4,86,91,96,97, |
| 94,95,0,1,2,3,110,5,6,7, |
| 8,9,10,11,12,13,14,15,16,17, |
| 18,19,20,21,22,23,24,25,26,27, |
| 28,29,30,31,32,33,34,35,36,37, |
| 38,39,40,41,42,43,44,45,46,47, |
| 48,49,50,51,52,53,54,55,56,57, |
| 58,59,60,61,62,63,64,65,66,67, |
| 68,69,70,71,72,73,74,75,76,77, |
| 78,79,80,81,82,83,84,0,0,1, |
| 3,0,0,91,2,3,94,95,0,1, |
| 2,3,0,5,6,7,8,9,10,11, |
| 12,13,14,15,16,17,18,19,20,21, |
| 22,23,24,25,26,27,28,29,30,31, |
| 32,33,34,35,36,37,38,39,40,41, |
| 42,43,44,45,46,47,48,49,50,51, |
| 52,53,54,55,56,57,58,59,60,61, |
| 62,63,64,65,66,67,68,69,70,71, |
| 72,73,74,75,76,77,78,79,80,81, |
| 82,83,84,92,0,1,0,1,2,91, |
| 102,89,94,95,0,1,2,3,0,5, |
| 6,7,8,9,10,11,12,13,14,15, |
| 16,17,18,19,20,21,22,23,24,25, |
| 26,27,28,29,30,31,32,33,34,35, |
| 36,37,38,39,40,41,42,43,44,45, |
| 46,47,48,49,50,51,52,53,54,55, |
| 56,57,58,59,60,61,62,63,64,65, |
| 66,67,68,69,70,71,72,73,74,75, |
| 76,77,78,79,80,81,82,83,84,0, |
| 1,2,0,1,2,91,102,89,94,95, |
| 0,1,2,3,0,5,6,7,8,9, |
| 10,11,12,13,14,15,16,17,18,19, |
| 20,21,22,23,24,25,26,27,28,29, |
| 30,31,32,33,34,35,36,37,38,39, |
| 40,41,42,43,44,45,46,47,48,49, |
| 50,51,52,53,54,55,56,57,58,59, |
| 60,61,62,63,64,65,66,67,68,69, |
| 70,71,72,73,74,75,76,77,78,79, |
| 80,81,82,83,84,0,0,2,84,4, |
| 0,91,2,3,94,95,0,1,2,3, |
| 0,5,6,7,8,9,10,11,12,13, |
| 14,15,16,17,18,19,20,21,22,23, |
| 24,25,26,27,28,29,30,31,32,33, |
| 34,35,36,37,38,39,40,41,42,43, |
| 44,45,46,47,48,49,50,51,52,53, |
| 54,55,56,57,58,59,60,61,62,63, |
| 64,65,66,67,68,69,70,71,72,73, |
| 74,75,76,77,78,79,80,81,82,83, |
| 84,0,0,2,3,3,0,91,2,3, |
| 94,95,0,1,2,3,4,5,6,7, |
| 8,9,10,11,12,13,14,15,16,17, |
| 18,19,20,21,22,23,24,25,26,27, |
| 28,29,30,31,32,33,34,35,36,37, |
| 38,39,40,41,42,43,44,45,46,47, |
| 48,49,50,51,52,53,54,55,56,57, |
| 58,59,60,61,62,63,64,65,66,67, |
| 68,69,70,71,72,73,74,75,76,77, |
| 78,79,80,81,82,83,0,1,2,3, |
| 4,5,6,7,8,9,10,11,12,13, |
| 14,15,16,17,18,19,20,21,22,23, |
| 24,25,26,27,28,29,30,31,32,33, |
| 34,35,36,37,38,39,40,41,42,43, |
| 44,45,46,47,48,49,50,51,52,53, |
| 54,55,56,57,58,59,60,61,62,63, |
| 64,65,66,67,68,69,70,71,72,73, |
| 74,75,76,77,78,79,80,81,82,83, |
| 0,1,2,3,4,5,6,7,8,9, |
| 10,11,12,13,14,15,16,17,18,19, |
| 20,21,22,23,24,25,26,27,28,29, |
| 30,31,32,33,34,35,36,37,38,39, |
| 40,41,42,43,44,45,46,47,48,49, |
| 50,51,52,53,54,55,56,57,58,59, |
| 60,61,62,63,64,65,66,67,68,69, |
| 70,71,72,73,74,75,76,77,78,79, |
| 80,81,82,83,0,1,2,3,4,5, |
| 6,7,8,9,10,11,12,13,14,15, |
| 16,17,18,19,20,21,22,23,24,25, |
| 26,27,28,29,30,31,32,33,34,35, |
| 36,37,38,39,40,41,42,43,44,45, |
| 46,47,48,49,50,51,52,53,54,55, |
| 56,57,58,59,60,61,62,63,64,65, |
| 66,67,68,69,70,71,72,73,74,75, |
| 76,77,78,79,80,81,82,83,0,1, |
| 2,3,4,5,6,7,8,9,10,11, |
| 12,13,14,15,16,17,18,19,20,21, |
| 22,23,24,25,26,27,28,29,30,31, |
| 32,33,34,35,36,37,38,39,40,41, |
| 42,43,44,45,46,47,48,49,50,51, |
| 52,53,54,55,56,57,58,59,60,61, |
| 62,63,64,65,66,67,68,69,70,71, |
| 72,73,74,75,76,77,78,79,80,81, |
| 82,83,0,1,2,3,4,5,6,7, |
| 8,9,10,11,12,13,14,15,16,17, |
| 18,19,20,21,22,23,24,25,26,27, |
| 28,29,30,31,32,33,34,35,36,37, |
| 38,39,40,41,42,43,44,45,46,47, |
| 48,49,50,51,52,53,54,55,56,57, |
| 58,59,60,61,62,63,64,65,66,67, |
| 68,69,70,71,72,73,74,75,76,77, |
| 78,79,80,81,82,83,0,1,2,3, |
| 4,5,6,7,8,9,10,11,12,13, |
| 14,15,16,17,18,19,20,21,22,23, |
| 24,25,26,27,28,29,30,31,32,33, |
| 34,35,36,37,38,39,40,41,42,43, |
| 44,45,46,47,48,49,50,51,52,53, |
| 54,55,56,57,58,59,60,61,62,63, |
| 64,65,66,67,68,69,70,71,72,73, |
| 74,75,76,77,78,79,80,81,82,83, |
| 0,1,2,3,4,5,6,7,8,9, |
| 10,11,12,13,14,15,16,17,18,19, |
| 20,21,22,23,24,25,26,27,28,29, |
| 30,31,32,33,34,35,36,37,38,39, |
| 40,41,42,43,44,45,46,47,48,49, |
| 50,51,52,53,54,55,56,57,58,59, |
| 60,61,62,63,64,65,66,67,68,69, |
| 70,71,72,73,74,75,76,77,78,79, |
| 80,81,82,83,0,1,2,3,4,5, |
| 6,7,8,9,10,11,12,13,14,15, |
| 16,17,18,19,20,21,22,23,24,25, |
| 26,27,28,29,30,31,32,33,34,35, |
| 36,37,38,39,40,41,42,43,44,45, |
| 46,47,48,49,50,51,52,53,54,55, |
| 56,57,58,59,60,61,62,63,64,65, |
| 66,67,68,69,70,71,72,73,74,75, |
| 76,77,78,79,80,81,82,83,0,1, |
| 2,3,4,5,6,7,8,9,10,11, |
| 12,13,14,15,16,17,18,19,20,21, |
| 22,23,24,25,26,27,28,29,30,31, |
| 32,33,34,35,36,37,38,39,40,41, |
| 42,43,44,45,46,47,48,49,50,51, |
| 52,53,54,55,56,57,58,59,60,61, |
| 62,63,64,65,66,67,68,69,70,71, |
| 72,73,74,75,76,77,78,79,80,81, |
| 82,83,0,1,2,3,4,5,6,7, |
| 8,9,10,11,12,13,14,15,16,17, |
| 18,19,20,21,22,23,24,25,26,27, |
| 28,29,30,31,32,33,34,35,36,37, |
| 38,39,40,41,42,43,44,45,46,47, |
| 48,49,50,51,52,53,54,55,56,57, |
| 58,59,60,61,62,63,64,65,66,67, |
| 68,69,70,71,72,73,74,75,76,77, |
| 78,79,80,81,82,83,0,1,2,3, |
| 4,5,6,7,8,9,10,11,12,13, |
| 14,15,16,17,18,19,20,21,22,23, |
| 24,25,26,27,28,29,30,31,32,33, |
| 34,35,36,37,38,39,40,41,42,43, |
| 44,45,46,47,48,49,50,51,52,53, |
| 54,55,56,57,58,59,60,61,62,63, |
| 64,65,66,67,68,69,70,71,72,73, |
| 74,75,76,77,78,79,80,81,82,83, |
| 0,1,2,3,4,5,6,7,8,9, |
| 10,11,12,13,14,15,16,17,18,19, |
| 20,21,22,23,24,25,26,27,28,29, |
| 30,31,32,33,34,35,36,37,38,39, |
| 40,41,42,43,44,45,46,47,48,49, |
| 50,51,52,53,54,55,56,57,58,59, |
| 60,61,62,63,64,65,66,67,68,69, |
| 70,71,72,73,74,75,76,77,78,79, |
| 80,81,82,83,0,1,2,3,4,5, |
| 6,7,8,9,10,11,12,13,14,15, |
| 16,17,18,19,20,21,22,23,24,25, |
| 26,27,28,29,30,31,32,33,34,35, |
| 36,37,38,39,40,41,42,43,44,45, |
| 46,47,48,49,50,51,52,53,54,55, |
| 56,57,58,59,60,61,62,63,64,65, |
| 66,67,68,69,70,71,72,73,74,75, |
| 76,77,78,79,80,81,82,83,0,1, |
| 2,3,4,5,6,7,8,9,10,11, |
| 12,13,14,15,16,17,18,19,20,21, |
| 22,23,24,25,26,27,28,29,30,31, |
| 32,33,34,35,36,37,38,39,40,41, |
| 42,43,44,45,46,47,48,49,50,51, |
| 52,53,54,55,56,57,58,59,60,61, |
| 62,63,64,65,66,67,68,69,70,71, |
| 72,73,74,75,76,77,78,79,80,81, |
| 82,83,0,1,2,3,4,5,6,7, |
| 8,9,10,11,12,13,14,15,16,17, |
| 18,19,20,21,22,23,24,25,26,27, |
| 28,29,30,31,32,33,34,35,36,37, |
| 38,39,40,41,42,43,44,45,46,47, |
| 48,49,50,51,52,53,54,55,56,57, |
| 58,59,60,61,62,63,64,65,66,67, |
| 68,69,70,71,72,73,74,75,76,77, |
| 78,79,80,81,82,83,0,1,2,3, |
| 4,5,6,7,8,9,10,11,12,13, |
| 14,15,16,17,18,19,20,21,22,23, |
| 24,25,26,27,28,29,30,31,32,33, |
| 34,35,36,37,38,39,40,41,42,43, |
| 44,45,46,47,48,49,50,51,52,53, |
| 54,55,56,57,58,59,60,61,62,63, |
| 64,65,66,67,68,69,70,71,72,73, |
| 74,75,76,77,78,79,80,81,82,83, |
| 0,1,2,3,4,5,6,7,8,9, |
| 10,11,12,13,14,15,16,17,18,19, |
| 20,21,22,23,24,25,26,27,28,29, |
| 30,31,32,33,34,35,36,37,38,39, |
| 40,41,42,43,44,45,46,47,48,49, |
| 50,51,52,53,54,55,56,57,58,59, |
| 60,61,62,63,64,65,66,67,68,69, |
| 70,71,72,73,74,75,76,77,78,79, |
| 80,81,82,83,0,1,2,3,4,5, |
| 6,7,8,9,10,11,12,13,14,15, |
| 16,17,18,19,20,21,22,23,24,25, |
| 26,27,28,29,30,31,32,33,34,35, |
| 36,37,38,39,40,41,42,43,44,45, |
| 46,47,48,49,50,51,52,53,54,55, |
| 56,57,58,59,60,61,62,63,64,65, |
| 66,67,68,69,70,71,72,73,74,75, |
| 76,77,78,79,80,81,82,83,0,1, |
| 2,3,4,5,6,7,8,9,10,11, |
| 12,13,14,15,16,17,18,19,20,21, |
| 22,23,24,25,26,27,28,29,30,31, |
| 32,33,34,35,36,37,38,39,40,41, |
| 42,43,44,45,46,47,48,49,50,51, |
| 52,53,54,55,56,57,58,59,60,61, |
| 62,63,64,65,66,67,68,69,70,71, |
| 72,73,74,75,76,77,78,79,80,81, |
| 82,83,0,1,2,3,0,5,6,7, |
| 8,9,10,11,12,13,14,15,16,17, |
| 18,19,20,21,22,23,24,25,26,27, |
| 28,29,30,31,32,33,34,35,36,37, |
| 38,39,40,41,42,43,44,45,46,47, |
| 48,49,50,51,52,53,54,55,56,57, |
| 58,59,60,61,62,63,64,65,66,67, |
| 68,69,70,71,72,73,74,75,76,77, |
| 78,79,80,81,82,83,0,1,86,0, |
| 1,2,3,4,5,6,7,8,9,10, |
| 11,12,13,14,15,16,17,18,19,20, |
| 21,22,23,24,25,26,27,28,29,30, |
| 31,32,33,34,35,36,37,38,39,40, |
| 41,42,43,44,45,46,47,48,49,50, |
| 51,52,53,54,55,56,57,58,59,60, |
| 61,62,63,64,65,66,67,68,69,70, |
| 71,72,73,74,75,76,77,78,79,80, |
| 81,82,83,0,1,2,3,0,5,6, |
| 7,8,9,10,11,12,13,14,15,16, |
| 17,18,19,20,21,22,23,24,25,26, |
| 27,28,29,30,31,32,33,34,35,36, |
| 37,38,39,40,41,42,43,44,45,46, |
| 47,48,49,50,51,52,53,54,55,56, |
| 57,58,59,60,61,62,63,64,65,66, |
| 67,68,69,70,71,72,73,74,75,76, |
| 77,78,79,80,81,82,83,0,1,86, |
| 0,1,2,3,4,5,6,7,8,9, |
| 10,11,12,13,14,15,16,17,18,19, |
| 20,21,22,23,24,25,26,27,28,29, |
| 30,31,32,33,34,35,36,37,38,39, |
| 40,41,42,43,44,45,46,47,48,49, |
| 50,51,52,53,54,55,56,57,58,59, |
| 60,61,62,63,64,65,66,67,68,69, |
| 70,71,72,73,74,75,76,77,78,79, |
| 80,81,82,83,0,1,2,3,4,5, |
| 6,7,8,9,10,11,12,13,14,15, |
| 16,17,18,19,20,21,22,23,24,25, |
| 26,27,28,29,30,31,32,33,34,35, |
| 36,37,38,39,40,41,42,43,44,45, |
| 46,47,48,49,50,51,52,53,54,55, |
| 56,57,58,59,60,61,62,63,64,65, |
| 66,67,68,69,70,71,72,73,74,75, |
| 76,77,78,79,80,81,82,83,0,1, |
| 2,3,4,5,6,7,8,9,10,11, |
| 12,13,14,15,16,17,18,19,20,21, |
| 22,23,24,25,26,27,28,29,30,31, |
| 32,33,34,35,36,37,38,39,40,41, |
| 42,43,44,45,46,47,48,49,50,51, |
| 52,53,54,55,56,57,58,59,60,61, |
| 62,63,64,65,66,67,68,69,70,71, |
| 72,73,74,75,76,77,78,79,80,81, |
| 82,83,0,1,2,3,4,5,6,7, |
| 8,9,10,11,12,13,14,15,16,17, |
| 18,19,20,21,22,23,24,25,26,27, |
| 28,29,30,31,32,33,34,35,36,37, |
| 38,39,40,41,42,43,44,45,46,47, |
| 48,49,50,51,52,53,54,55,56,57, |
| 58,59,60,61,62,63,64,65,66,67, |
| 68,69,70,71,72,73,74,75,76,77, |
| 78,79,80,81,82,83,0,1,2,3, |
| 4,5,6,7,8,9,10,11,12,13, |
| 14,15,16,17,18,19,20,21,22,23, |
| 24,25,26,27,28,29,30,31,32,33, |
| 34,35,36,37,38,39,40,41,42,43, |
| 44,45,46,47,48,49,50,51,52,53, |
| 54,55,56,57,58,59,60,61,62,63, |
| 64,65,66,67,68,69,70,71,72,73, |
| 74,75,76,77,78,79,80,81,82,83, |
| 0,1,2,3,0,5,6,7,8,9, |
| 10,11,12,13,14,15,16,17,18,19, |
| 20,21,22,23,24,25,26,27,28,29, |
| 30,31,32,33,34,35,36,37,38,39, |
| 40,41,42,43,44,45,46,47,48,49, |
| 50,51,52,53,54,55,56,57,58,59, |
| 60,61,62,63,64,65,66,67,68,69, |
| 70,71,72,73,74,75,76,77,78,79, |
| 80,81,82,83,0,1,2,3,84,5, |
| 6,7,8,9,10,11,12,13,14,15, |
| 16,17,18,19,20,21,22,23,24,25, |
| 26,27,28,29,30,31,32,33,34,35, |
| 36,37,38,39,40,41,42,43,44,45, |
| 46,47,48,49,50,51,52,53,54,55, |
| 56,57,58,59,60,61,62,63,64,65, |
| 66,67,68,69,70,71,72,73,74,75, |
| 76,77,78,79,80,81,82,83,0,1, |
| 2,3,0,5,6,7,8,9,10,11, |
| 12,13,14,15,16,17,18,19,20,21, |
| 22,23,24,25,26,27,28,29,30,31, |
| 32,33,34,35,36,37,38,39,40,41, |
| 42,43,44,45,46,47,48,49,50,51, |
| 52,53,54,55,56,57,58,59,60,61, |
| 62,63,64,65,66,67,68,69,70,71, |
| 72,73,74,75,76,77,78,79,80,81, |
| 82,83,0,1,2,3,84,5,6,7, |
| 8,9,10,11,12,13,14,15,16,17, |
| 18,19,20,21,22,23,24,25,26,27, |
| 28,29,30,31,32,33,34,35,36,37, |
| 38,39,40,41,42,43,44,45,46,47, |
| 48,49,50,51,52,53,54,55,56,57, |
| 58,59,60,61,62,63,64,65,66,67, |
| 68,69,70,71,72,73,74,75,76,77, |
| 78,79,80,81,82,83,0,1,2,3, |
| 0,5,6,7,8,9,10,11,12,13, |
| 14,15,16,17,18,19,20,21,22,23, |
| 24,25,26,27,28,29,30,31,32,33, |
| 34,35,36,37,38,39,40,41,42,43, |
| 44,45,46,47,48,49,50,51,52,53, |
| 54,55,56,57,58,59,60,61,62,63, |
| 64,65,66,67,68,69,70,71,72,73, |
| 74,75,76,77,78,79,80,81,82,83, |
| 0,1,2,3,84,5,6,7,8,9, |
| 10,11,12,13,14,15,16,17,18,19, |
| 20,21,22,23,24,25,26,27,28,29, |
| 30,31,32,33,34,35,36,37,38,39, |
| 40,41,42,43,44,45,46,47,48,49, |
| 50,51,52,53,54,55,56,57,58,59, |
| 60,61,62,63,64,65,66,67,68,69, |
| 70,71,72,73,74,75,76,77,78,79, |
| 80,81,82,83,0,1,2,3,0,5, |
| 6,7,8,9,10,11,12,13,14,15, |
| 16,17,18,19,20,21,22,23,24,25, |
| 26,27,28,29,30,31,32,33,34,35, |
| 36,37,38,39,40,41,42,43,44,45, |
| 46,47,48,49,50,51,52,53,54,55, |
| 56,57,58,59,60,61,62,63,64,65, |
| 66,67,68,69,70,71,72,73,74,75, |
| 76,77,78,79,80,81,82,83,0,1, |
| 2,3,84,5,6,7,8,9,10,11, |
| 12,13,14,15,16,17,18,19,20,21, |
| 22,23,24,25,26,27,28,29,30,31, |
| 32,33,34,35,36,37,38,39,40,41, |
| 42,43,44,45,46,47,48,49,50,51, |
| 52,53,54,55,56,57,58,59,60,61, |
| 62,63,64,65,66,67,68,69,70,71, |
| 72,73,74,75,76,77,78,79,80,81, |
| 82,83,0,1,2,3,0,5,6,7, |
| 8,9,10,11,12,13,14,15,16,17, |
| 18,19,20,21,22,23,24,25,26,27, |
| 28,29,30,31,32,33,34,35,36,37, |
| 38,39,40,41,42,43,44,45,46,47, |
| 48,49,50,51,52,53,54,55,56,57, |
| 58,59,60,61,62,63,64,65,66,67, |
| 68,69,70,71,72,73,74,75,76,77, |
| 78,79,80,81,82,83,0,1,2,3, |
| 84,5,6,7,8,9,10,11,12,13, |
| 14,15,16,17,18,19,20,21,22,23, |
| 24,25,26,27,28,29,30,31,32,33, |
| 34,35,36,37,38,39,40,41,42,43, |
| 44,45,46,47,48,49,50,51,52,53, |
| 54,55,56,57,58,59,60,61,62,63, |
| 64,65,66,67,68,69,70,71,72,73, |
| 74,75,76,77,78,79,80,81,82,83, |
| 0,1,2,3,0,5,6,7,8,9, |
| 10,11,12,13,14,15,16,17,18,19, |
| 20,21,22,23,24,25,26,27,28,29, |
| 30,31,32,33,34,35,36,37,38,39, |
| 40,41,42,43,44,45,46,47,48,49, |
| 50,51,52,53,54,55,56,57,58,59, |
| 60,61,62,63,64,65,66,67,68,69, |
| 70,71,72,73,74,75,76,77,78,79, |
| 80,81,82,83,0,1,2,3,84,5, |
| 6,7,8,9,10,11,12,13,14,15, |
| 16,17,18,19,20,21,22,23,24,25, |
| 26,27,28,29,30,31,32,33,34,35, |
| 36,37,38,39,40,41,42,43,44,45, |
| 46,47,48,49,50,51,52,53,54,55, |
| 56,57,58,59,60,61,62,63,64,65, |
| 66,67,68,69,70,71,72,73,74,75, |
| 76,77,78,79,80,81,82,83,0,1, |
| 2,3,0,5,6,7,8,9,10,11, |
| 12,13,14,15,16,17,18,19,20,21, |
| 22,23,24,25,26,27,28,29,30,31, |
| 32,33,34,35,36,37,38,39,40,41, |
| 42,43,44,45,46,47,48,49,50,51, |
| 52,53,54,55,56,57,58,59,60,61, |
| 62,63,64,65,66,67,68,69,70,71, |
| 72,73,74,75,76,77,78,79,80,81, |
| 82,83,0,1,2,3,84,5,6,7, |
| 8,9,10,11,12,13,14,15,16,17, |
| 18,19,20,21,22,23,24,25,26,27, |
| 28,29,30,31,32,33,34,35,36,37, |
| 38,39,40,41,42,43,44,45,46,47, |
| 48,49,50,51,52,53,54,55,56,57, |
| 58,59,60,61,62,63,64,65,66,67, |
| 68,69,70,71,72,73,74,75,76,77, |
| 78,79,80,81,82,83,0,1,2,3, |
| 0,5,6,7,8,9,10,11,12,13, |
| 14,15,16,17,18,19,20,21,22,23, |
| 24,25,26,27,28,29,30,31,32,33, |
| 34,35,36,37,38,39,40,41,42,43, |
| 44,45,46,47,48,49,50,51,52,53, |
| 54,55,56,57,58,59,60,61,62,63, |
| 64,65,66,67,68,69,70,71,72,73, |
| 74,75,76,77,78,79,80,81,82,83, |
| 0,1,2,3,84,5,6,7,8,9, |
| 10,11,12,13,14,15,16,17,18,19, |
| 20,21,22,23,24,25,26,27,28,29, |
| 30,31,32,33,34,35,36,37,38,39, |
| 40,41,42,43,44,45,46,47,48,49, |
| 50,51,52,53,54,55,56,57,58,59, |
| 60,61,62,63,64,65,66,67,68,69, |
| 70,71,72,73,74,75,76,77,78,79, |
| 80,81,82,83,0,1,0,3,0,5, |
| 6,7,8,9,10,11,12,13,14,15, |
| 16,17,18,19,20,21,22,23,24,25, |
| 26,27,28,29,30,31,32,33,34,35, |
| 36,37,38,39,40,41,42,43,44,45, |
| 46,47,48,49,50,51,52,53,54,55, |
| 56,57,58,59,60,61,62,63,64,65, |
| 66,67,68,69,70,71,72,73,74,75, |
| 0,0,2,3,0,1,6,7,8,9, |
| 10,11,12,13,14,15,16,17,18,19, |
| 92,0,22,2,3,4,0,1,104,105, |
| 0,107,2,0,110,111,112,113,0,1, |
| 116,3,0,5,6,7,8,9,10,11, |
| 12,13,14,15,16,17,18,19,20,21, |
| 22,23,24,25,26,27,28,29,30,31, |
| 32,33,34,35,36,37,38,39,40,41, |
| 42,43,44,45,46,47,48,49,50,51, |
| 52,53,54,55,56,57,58,59,60,61, |
| 62,63,64,65,66,67,68,69,70,71, |
| 72,73,74,75,93,85,0,0,85,2, |
| 3,4,84,0,103,121,0,106,2,91, |
| 100,89,94,95,0,1,0,3,2,5, |
| 6,7,8,9,10,11,12,13,14,15, |
| 16,17,18,19,20,21,22,23,24,25, |
| 26,27,28,29,30,31,32,33,34,35, |
| 36,37,38,39,40,41,42,43,44,45, |
| 46,47,48,49,50,51,52,53,54,55, |
| 56,57,58,59,60,61,62,63,64,65, |
| 66,67,68,69,70,71,72,73,74,75, |
| 93,85,76,77,78,79,80,81,82,83, |
| 103,0,0,106,2,91,100,0,94,95, |
| 0,1,0,3,2,5,6,7,8,9, |
| 10,11,12,13,14,15,16,17,18,19, |
| 20,21,22,23,24,25,26,27,28,29, |
| 30,31,32,33,34,35,36,37,38,39, |
| 40,41,42,43,44,45,46,47,48,49, |
| 50,51,52,53,54,55,56,57,58,59, |
| 60,61,62,63,64,65,66,67,68,69, |
| 70,71,72,73,74,75,85,0,86,0, |
| 0,2,3,0,84,6,7,8,9,10, |
| 99,0,90,0,92,2,3,100,96,97, |
| 21,0,25,26,27,28,23,24,29,30, |
| 31,32,33,34,35,36,37,38,39,40, |
| 41,42,43,0,1,125,3,4,5,6, |
| 7,8,9,10,11,12,13,14,15,16, |
| 17,18,19,20,21,22,23,24,25,26, |
| 27,28,29,30,31,32,33,34,35,36, |
| 37,38,39,40,41,42,43,44,45,46, |
| 47,48,49,50,51,52,53,54,55,56, |
| 57,58,59,60,61,62,63,64,65,66, |
| 67,68,69,70,71,72,73,74,75,0, |
| 0,100,3,0,1,6,7,8,9,10, |
| 11,12,13,14,15,16,17,18,19,0, |
| 0,22,0,132,0,0,2,126,4,128, |
| 129,0,0,2,0,1,4,3,115,5, |
| 6,7,8,9,10,11,12,13,14,15, |
| 16,17,18,19,20,21,22,23,24,25, |
| 26,27,28,29,30,31,32,33,34,35, |
| 36,37,38,39,40,41,42,43,44,45, |
| 46,47,48,49,50,51,52,53,54,55, |
| 56,57,58,59,60,61,62,63,64,65, |
| 66,67,68,69,70,71,72,73,74,75, |
| 0,87,93,3,0,1,6,7,8,9, |
| 10,90,103,92,104,106,104,96,97,98, |
| 110,21,101,111,112,113,111,112,113,29, |
| 30,31,32,33,34,35,36,37,38,39, |
| 40,41,42,43,0,0,1,3,3,125, |
| 5,6,7,8,9,10,11,12,13,14, |
| 15,16,17,18,19,20,21,22,23,24, |
| 25,26,27,28,29,30,31,32,33,34, |
| 35,36,37,38,39,40,41,42,43,44, |
| 45,46,47,48,49,50,51,52,53,54, |
| 55,56,57,58,59,60,61,62,63,64, |
| 65,66,67,68,69,70,71,72,73,74, |
| 75,0,0,0,3,0,0,6,7,8, |
| 9,10,11,12,13,14,15,16,17,18, |
| 19,0,0,22,2,4,4,25,26,27, |
| 28,25,26,27,28,0,0,1,3,3, |
| 115,5,6,7,8,9,10,11,12,13, |
| 14,15,16,17,18,19,20,21,22,23, |
| 24,25,26,27,28,29,30,31,32,33, |
| 34,35,36,37,38,39,40,41,42,43, |
| 44,45,46,47,48,49,50,51,52,53, |
| 54,55,56,57,58,59,60,61,62,63, |
| 64,65,66,67,68,69,70,71,72,73, |
| 74,75,0,1,0,3,2,5,6,7, |
| 8,9,10,11,12,13,14,15,16,17, |
| 18,19,20,21,22,23,24,25,26,27, |
| 28,29,30,31,32,33,34,35,36,37, |
| 38,39,40,41,42,43,44,45,46,47, |
| 48,49,50,51,52,53,54,55,56,57, |
| 58,59,60,61,62,63,64,65,66,67, |
| 68,69,70,71,72,73,74,0,0,0, |
| 2,0,5,0,5,0,1,2,0,0, |
| 0,2,0,1,90,5,92,20,0,20, |
| 96,97,98,0,1,101,23,24,104,105, |
| 20,107,108,0,110,111,112,113,5,21, |
| 116,0,44,0,1,44,3,125,5,6, |
| 7,8,9,10,11,12,13,14,15,16, |
| 17,18,19,20,21,22,23,24,25,26, |
| 27,28,29,30,31,32,33,34,35,36, |
| 37,38,39,40,41,42,43,44,45,46, |
| 47,48,49,50,51,52,53,54,55,56, |
| 57,58,59,60,61,62,63,64,65,66, |
| 67,68,69,70,71,72,73,74,0,0, |
| 2,3,89,5,6,7,8,9,10,11, |
| 12,13,14,15,16,17,18,19,20,21, |
| 131,23,24,25,26,27,28,29,30,31, |
| 32,33,34,35,36,37,38,39,40,41, |
| 42,43,0,45,46,47,48,49,50,51, |
| 52,53,54,55,56,57,58,59,60,61, |
| 62,63,0,65,2,0,0,0,2,3, |
| 0,0,1,3,76,77,78,79,80,81, |
| 82,83,0,84,2,3,87,5,6,7, |
| 8,9,10,11,12,13,14,15,16,17, |
| 18,19,20,21,0,23,24,25,26,27, |
| 28,29,30,31,32,33,34,35,36,37, |
| 38,39,40,41,42,43,0,45,46,47, |
| 48,49,50,51,52,53,54,55,56,57, |
| 58,59,60,61,62,63,0,85,86,3, |
| 84,85,6,7,8,9,10,11,12,13, |
| 14,15,16,17,18,19,0,21,0,0, |
| 2,0,0,102,2,29,30,31,32,33, |
| 34,35,36,37,38,39,40,41,42,43, |
| 119,45,0,0,127,49,50,0,0,53, |
| 0,1,2,0,4,5,0,1,2,0, |
| 0,85,46,47,48,46,47,48,0,0, |
| 20,2,0,23,24,25,26,27,28,0, |
| 0,2,3,0,1,6,7,8,9,10, |
| 136,23,24,51,52,0,46,47,48,0, |
| 21,51,52,85,86,0,84,85,29,30, |
| 31,32,33,34,35,36,37,38,39,40, |
| 41,42,43,76,77,78,79,80,81,82, |
| 83,0,1,2,84,85,0,87,0,3, |
| 87,85,92,93,123,102,87,88,89,99, |
| 100,133,99,84,85,0,100,109,99,109, |
| 5,0,119,2,114,105,0,107,2,3, |
| 120,121,122,123,102,20,126,127,128,129, |
| 44,131,132,104,0,86,2,3,0,1, |
| 6,7,8,9,10,11,12,13,14,15, |
| 16,17,18,19,0,0,22,2,3,0, |
| 1,6,7,8,9,10,11,12,13,14, |
| 15,16,17,18,19,87,0,22,2,3, |
| 64,93,6,7,8,9,10,11,12,13, |
| 14,15,16,17,18,19,0,0,22,3, |
| 84,85,6,7,8,9,10,11,12,13, |
| 14,15,16,17,18,19,130,0,22,2, |
| 109,0,0,0,90,2,0,93,2,0, |
| 0,120,0,0,2,2,0,103,0,123, |
| 106,3,0,89,2,90,0,88,93,11, |
| 12,13,14,15,16,17,18,19,103,0, |
| 0,106,2,109,4,0,90,0,0,2, |
| 0,0,2,0,1,0,1,0,0,2, |
| 0,84,2,45,0,1,90,49,50,0, |
| 44,0,0,2,2,0,0,0,2,0, |
| 3,2,0,4,0,0,1,90,87,92, |
| 0,85,2,96,97,98,87,85,101,87, |
| 0,104,105,3,107,108,100,110,111,112, |
| 113,11,12,13,14,15,16,17,18,19, |
| 0,0,2,114,121,122,87,87,115,117, |
| 118,0,85,0,87,87,124,115,137,0, |
| 90,88,92,86,84,45,96,97,98,49, |
| 50,101,88,114,0,105,130,107,108,87, |
| 102,90,114,92,117,118,116,96,97,98, |
| 93,124,101,88,0,85,105,119,107,108, |
| 103,0,98,106,109,101,0,116,2,0, |
| 0,0,2,2,5,120,0,1,122,117, |
| 118,0,0,2,2,0,85,86,0,0, |
| 90,2,92,0,1,0,96,97,98,86, |
| 0,101,0,1,0,86,0,1,108,0, |
| 1,0,1,0,1,0,1,0,1,0, |
| 86,0,1,0,1,0,1,0,117,118, |
| 0,1,0,1,0,1,0,1,0,1, |
| 86,0,1,0,1,0,1,0,1,88, |
| 0,85,0,1,0,1,86,86,89,0, |
| 1,0,1,0,88,0,85,0,86,0, |
| 1,0,1,88,0,86,88,0,1,0, |
| 1,0,1,0,1,0,0,87,3,3, |
| 0,87,0,0,4,0,4,4,0,4, |
| 0,0,4,0,4,4,87,4,0,0, |
| 0,0,85,4,4,4,0,0,0,0, |
| 4,4,4,4,0,0,0,0,4,134, |
| 4,4,0,0,0,0,4,4,4,4, |
| 0,0,0,93,4,3,5,0,0,0, |
| 87,4,4,88,0,88,0,1,4,0, |
| 1,0,88,0,1,0,1,0,1,0, |
| 1,0,0,0,0,0,5,4,4,0, |
| 1,0,0,0,1,4,4,0,0,0, |
| 0,4,4,4,4,87,0,0,0,0, |
| 4,3,0,0,0,0,4,0,4,0, |
| 0,0,0,0,4,4,0,0,5,0, |
| 0,0,0,0,4,0,4,0,3,0, |
| 0,0,5,108,0,0,0,0,0,0, |
| 0,4,0,3,0,0,0,86,99,4, |
| 0,0,0,3,3,0,0,0,0,87, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,98,44,0,0,0,0,0, |
| 0,0,85,0,0,86,0,0,0,0, |
| 0,0,0,0,0,88,0,0,89,0, |
| 0,0,99,0,99,89,0,86,85,0, |
| 0,0,0,0,0,0,0,88,0,0, |
| 85,0,91,89,85,0,0,85,0,0, |
| 0,0,0,89,0,89,0,0,0,0, |
| 0,124,0,0,0,133,0,0,0,0, |
| 0,0,0,0,135,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,138,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0 |
| }; |
| }; |
| public final static char termCheck[] = TermCheck.termCheck; |
| public final int termCheck(int index) { return termCheck[index]; } |
| |
| public interface TermAction { |
| public final static char termAction[] = {0, |
| 6109,4226,6575,1088,6109,5045,1032,1023,1013,954, |
| 952,6202,6200,6201,6203,6204,6205,6206,6207,6208, |
| 4943,6125,730,4739,4637,4535,4433,4331,4229,6123, |
| 6124,6110,6111,6112,6113,6114,6115,6116,6117,6118, |
| 6119,6120,6121,6122,6245,6198,4048,3316,2739,6559, |
| 6558,4841,5603,1154,1463,1241,1176,1306,5706,5720, |
| 5716,1371,810,587,5683,1012,726,6242,6244,3512, |
| 6246,6247,6249,1158,938,953,420,420,420,420, |
| 420,420,420,420,361,412,6109,414,12947,414, |
| 597,6044,306,6109,3400,3390,6109,4226,6575,1088, |
| 21,5045,1032,1023,1013,954,952,6202,6200,6201, |
| 6203,6204,6205,6206,6207,6208,4943,6125,730,4739, |
| 4637,4535,4433,4331,4229,6123,6124,6110,6111,6112, |
| 6113,6114,6115,6116,6117,6118,6119,6120,6121,6122, |
| 6245,6198,4048,3316,2739,6559,6558,4841,5603,1154, |
| 1463,1241,1176,1306,5706,5720,5716,1371,810,587, |
| 5683,1012,726,6242,6244,3512,6246,6247,6249,1158, |
| 938,953,420,420,420,420,420,420,420,420, |
| 361,412,3581,414,12947,414,117,6044,5907,5913, |
| 3400,3390,6109,4226,6575,1088,5895,5045,1032,1023, |
| 1013,954,952,6202,6200,6201,6203,6204,6205,6206, |
| 6207,6208,4943,6125,730,4739,4637,4535,4433,4331, |
| 4229,6123,6124,6110,6111,6112,6113,6114,6115,6116, |
| 6117,6118,6119,6120,6121,6122,6245,6198,4048,3316, |
| 2739,6559,6558,4841,5603,1154,1463,1241,1176,1306, |
| 5706,5720,5716,1371,810,587,5683,1012,726,6242, |
| 6244,3512,6246,6247,6249,1158,938,953,420,420, |
| 420,420,420,420,420,420,361,6109,134,197, |
| 6209,6109,6109,6044,6575,5715,3400,3390,6109,4226, |
| 6575,1088,6109,5045,1032,1023,1013,954,952,6202, |
| 6200,6201,6203,6204,6205,6206,6207,6208,4943,6125, |
| 730,4739,4637,4535,4433,4331,4229,6123,6124,6110, |
| 6111,6112,6113,6114,6115,6116,6117,6118,6119,6120, |
| 6121,6122,6245,6198,4048,3316,2739,6559,6558,4841, |
| 5603,1154,1463,1241,1176,1306,5706,5720,5716,1371, |
| 810,587,5683,1012,726,6242,6244,3512,6246,6247, |
| 6249,1158,938,953,420,420,420,420,420,420, |
| 420,420,361,6108,139,23,6109,5686,6575,6044, |
| 6307,6522,3400,3390,6109,4226,6575,1088,152,5045, |
| 1032,1023,1013,954,952,6202,6200,6201,6203,6204, |
| 6205,6206,6207,6208,4943,6125,730,4739,4637,4535, |
| 4433,4331,4229,6123,6124,6110,6111,6112,6113,6114, |
| 6115,6116,6117,6118,6119,6120,6121,6122,6245,6198, |
| 4048,3316,2739,6559,6558,4841,5603,1154,1463,1241, |
| 1176,1306,5706,5720,5716,1371,810,587,5683,1012, |
| 726,6242,6244,3512,6246,6247,6249,1158,938,953, |
| 420,420,420,420,420,420,420,420,361,6109, |
| 2747,6575,6109,3586,6575,6044,23,5816,3400,3390, |
| 6109,4226,6575,1088,6109,5045,1032,1023,1013,954, |
| 952,6202,6200,6201,6203,6204,6205,6206,6207,6208, |
| 4943,6125,730,4739,4637,4535,4433,4331,4229,6123, |
| 6124,6110,6111,6112,6113,6114,6115,6116,6117,6118, |
| 6119,6120,6121,6122,6245,6198,4048,3316,2739,6559, |
| 6558,4841,5603,1154,1463,1241,1176,1306,5706,5720, |
| 5716,1371,810,587,5683,1012,726,6242,6244,3512, |
| 6246,6247,6249,1158,938,953,420,420,420,420, |
| 420,420,420,420,361,6109,6109,6575,6221,6531, |
| 6109,6044,6575,6376,3400,3390,6109,4226,6575,1088, |
| 6109,5045,1032,1023,1013,954,952,6202,6200,6201, |
| 6203,6204,6205,6206,6207,6208,4943,6125,730,4739, |
| 4637,4535,4433,4331,4229,6123,6124,6110,6111,6112, |
| 6113,6114,6115,6116,6117,6118,6119,6120,6121,6122, |
| 6245,6198,4048,3316,2739,6559,6558,4841,5603,1154, |
| 1463,1241,1176,1306,5706,5720,5716,1371,810,587, |
| 5683,1012,726,6242,6244,3512,6246,6247,6249,1158, |
| 938,953,420,420,420,420,420,420,420,420, |
| 361,6109,6109,6575,6381,2861,390,6044,12952,3373, |
| 3400,3390,6109,4226,6575,1088,199,5045,1032,1023, |
| 1013,954,952,6202,6200,6201,6203,6204,6205,6206, |
| 6207,6208,4943,6125,730,4739,4637,4535,4433,4331, |
| 4229,6123,6124,6110,6111,6112,6113,6114,6115,6116, |
| 6117,6118,6119,6120,6121,6122,6245,6198,4048,3316, |
| 2739,6559,6558,4841,5603,1154,1463,1241,1176,1306, |
| 5706,5720,5716,1371,810,587,5683,1012,726,6242, |
| 6244,3512,6246,6247,6249,1158,938,953,420,420, |
| 420,420,420,420,420,420,6109,4226,6575,1088, |
| 199,5045,1032,1023,1013,954,952,6202,6200,6201, |
| 6203,6204,6205,6206,6207,6208,4943,6125,730,4739, |
| 4637,4535,4433,4331,4229,6123,6124,6110,6111,6112, |
| 6113,6114,6115,6116,6117,6118,6119,6120,6121,6122, |
| 6245,6198,4048,3316,2739,6559,6558,4841,5603,1154, |
| 1463,1241,1176,1306,5706,5720,5716,1371,810,587, |
| 5683,1012,726,6242,6244,3512,6246,6247,6249,1158, |
| 938,953,420,420,420,420,420,420,420,420, |
| 6109,4226,6575,1088,199,5045,1032,1023,1013,954, |
| 952,6202,6200,6201,6203,6204,6205,6206,6207,6208, |
| 4943,6125,730,4739,4637,4535,4433,4331,4229,6123, |
| 6124,6110,6111,6112,6113,6114,6115,6116,6117,6118, |
| 6119,6120,6121,6122,6245,6198,4048,3316,2739,6559, |
| 6558,4841,5603,1154,1463,1241,1176,1306,5706,5720, |
| 5716,1371,810,587,5683,1012,726,6242,6244,3512, |
| 6246,6247,6249,1158,938,953,420,420,420,420, |
| 420,420,420,420,6109,4226,6575,1088,199,5045, |
| 1032,1023,1013,954,952,6202,6200,6201,6203,6204, |
| 6205,6206,6207,6208,4943,6125,730,4739,4637,4535, |
| 4433,4331,4229,6123,6124,6110,6111,6112,6113,6114, |
| 6115,6116,6117,6118,6119,6120,6121,6122,6245,6198, |
| 4048,3316,2739,6559,6558,4841,5603,1154,1463,1241, |
| 1176,1306,5706,5720,5716,1371,810,587,5683,1012, |
| 726,6242,6244,3512,6246,6247,6249,1158,938,953, |
| 420,420,420,420,420,420,420,420,6109,4226, |
| 6575,1088,199,5045,1032,1023,1013,954,952,6202, |
| 6200,6201,6203,6204,6205,6206,6207,6208,4943,6125, |
| 730,4739,4637,4535,4433,4331,4229,6123,6124,6110, |
| 6111,6112,6113,6114,6115,6116,6117,6118,6119,6120, |
| 6121,6122,6245,6198,4048,3316,2739,6559,6558,4841, |
| 5603,1154,1463,1241,1176,1306,5706,5720,5716,1371, |
| 810,587,5683,1012,726,6242,6244,3512,6246,6247, |
| 6249,1158,938,953,420,420,420,420,420,420, |
| 420,420,6109,4226,6575,1088,199,5045,1032,1023, |
| 1013,954,952,6202,6200,6201,6203,6204,6205,6206, |
| 6207,6208,4943,6125,730,4739,4637,4535,4433,4331, |
| 4229,6123,6124,6110,6111,6112,6113,6114,6115,6116, |
| 6117,6118,6119,6120,6121,6122,6245,6198,4048,3316, |
| 2739,6559,6558,4841,5603,1154,1463,1241,1176,1306, |
| 5706,5720,5716,1371,810,587,5683,1012,726,6242, |
| 6244,3512,6246,6247,6249,1158,938,953,420,420, |
| 420,420,420,420,420,420,6109,4226,6575,1088, |
| 199,5045,1032,1023,1013,954,952,6202,6200,6201, |
| 6203,6204,6205,6206,6207,6208,4943,6125,730,4739, |
| 4637,4535,4433,4331,4229,6123,6124,6110,6111,6112, |
| 6113,6114,6115,6116,6117,6118,6119,6120,6121,6122, |
| 6245,6198,4048,3316,2739,6559,6558,4841,5603,1154, |
| 1463,1241,1176,1306,5706,5720,5716,1371,810,587, |
| 5683,1012,726,6242,6244,3512,6246,6247,6249,1158, |
| 938,953,420,420,420,420,420,420,420,420, |
| 6109,4226,6575,1088,199,5045,1032,1023,1013,954, |
| 952,6202,6200,6201,6203,6204,6205,6206,6207,6208, |
| 4943,6125,730,4739,4637,4535,4433,4331,4229,6123, |
| 6124,6110,6111,6112,6113,6114,6115,6116,6117,6118, |
| 6119,6120,6121,6122,6245,6198,4048,3316,2739,6559, |
| 6558,4841,5603,1154,1463,1241,1176,1306,5706,5720, |
| 5716,1371,810,587,5683,1012,726,6242,6244,3512, |
| 6246,6247,6249,1158,938,953,420,420,420,420, |
| 420,420,420,420,6109,4226,6575,1088,199,5045, |
| 1032,1023,1013,954,952,6202,6200,6201,6203,6204, |
| 6205,6206,6207,6208,4943,6125,730,4739,4637,4535, |
| 4433,4331,4229,6123,6124,6110,6111,6112,6113,6114, |
| 6115,6116,6117,6118,6119,6120,6121,6122,6245,6198, |
| 4048,3316,2739,6559,6558,4841,5603,1154,1463,1241, |
| 1176,1306,5706,5720,5716,1371,810,587,5683,1012, |
| 726,6242,6244,3512,6246,6247,6249,1158,938,953, |
| 420,420,420,420,420,420,420,420,6109,4226, |
| 6575,1088,199,5045,1032,1023,1013,954,952,6202, |
| 6200,6201,6203,6204,6205,6206,6207,6208,4943,6125, |
| 730,4739,4637,4535,4433,4331,4229,6123,6124,6110, |
| 6111,6112,6113,6114,6115,6116,6117,6118,6119,6120, |
| 6121,6122,6245,6198,4048,3316,2739,6559,6558,4841, |
| 5603,1154,1463,1241,1176,1306,5706,5720,5716,1371, |
| 810,587,5683,1012,726,6242,6244,3512,6246,6247, |
| 6249,1158,938,953,420,420,420,420,420,420, |
| 420,420,6109,4226,6575,1088,199,5045,1032,1023, |
| 1013,954,952,6202,6200,6201,6203,6204,6205,6206, |
| 6207,6208,4943,6125,730,4739,4637,4535,4433,4331, |
| 4229,6123,6124,6110,6111,6112,6113,6114,6115,6116, |
| 6117,6118,6119,6120,6121,6122,6245,6198,4048,3316, |
| 2739,6559,6558,4841,5603,1154,1463,1241,1176,1306, |
| 5706,5720,5716,1371,810,587,5683,1012,726,6242, |
| 6244,3512,6246,6247,6249,1158,938,953,420,420, |
| 420,420,420,420,420,420,6109,4226,6575,1088, |
| 199,5045,1032,1023,1013,954,952,6202,6200,6201, |
| 6203,6204,6205,6206,6207,6208,4943,6125,730,4739, |
| 4637,4535,4433,4331,4229,6123,6124,6110,6111,6112, |
| 6113,6114,6115,6116,6117,6118,6119,6120,6121,6122, |
| 6245,6198,4048,3316,2739,6559,6558,4841,5603,1154, |
| 1463,1241,1176,1306,5706,5720,5716,1371,810,587, |
| 5683,1012,726,6242,6244,3512,6246,6247,6249,1158, |
| 938,953,420,420,420,420,420,420,420,420, |
| 6109,4226,6575,1088,199,5045,1032,1023,1013,954, |
| 952,6202,6200,6201,6203,6204,6205,6206,6207,6208, |
| 4943,6125,730,4739,4637,4535,4433,4331,4229,6123, |
| 6124,6110,6111,6112,6113,6114,6115,6116,6117,6118, |
| 6119,6120,6121,6122,6245,6198,4048,3316,2739,6559, |
| 6558,4841,5603,1154,1463,1241,1176,1306,5706,5720, |
| 5716,1371,810,587,5683,1012,726,6242,6244,3512, |
| 6246,6247,6249,1158,938,953,420,420,420,420, |
| 420,420,420,420,6109,4226,6575,1088,199,5045, |
| 1032,1023,1013,954,952,6202,6200,6201,6203,6204, |
| 6205,6206,6207,6208,4943,6125,730,4739,4637,4535, |
| 4433,4331,4229,6123,6124,6110,6111,6112,6113,6114, |
| 6115,6116,6117,6118,6119,6120,6121,6122,6245,6198, |
| 4048,3316,2739,6559,6558,4841,5603,1154,1463,1241, |
| 1176,1306,5706,5720,5716,1371,810,587,5683,1012, |
| 726,6242,6244,3512,6246,6247,6249,1158,938,953, |
| 420,420,420,420,420,420,420,420,6109,4226, |
| 6575,1088,199,5045,1032,1023,1013,954,952,6202, |
| 6200,6201,6203,6204,6205,6206,6207,6208,4943,6125, |
| 730,4739,4637,4535,4433,4331,4229,6123,6124,6110, |
| 6111,6112,6113,6114,6115,6116,6117,6118,6119,6120, |
| 6121,6122,6245,6198,4048,3316,2739,6559,6558,4841, |
| 5603,1154,1463,1241,1176,1306,5706,5720,5716,1371, |
| 810,587,5683,1012,726,6242,6244,3512,6246,6247, |
| 6249,1158,938,953,420,420,420,420,420,420, |
| 420,420,6109,4226,6575,1088,199,5045,1032,1023, |
| 1013,954,952,6202,6200,6201,6203,6204,6205,6206, |
| 6207,6208,4943,6125,730,4739,4637,4535,4433,4331, |
| 4229,6123,6124,6110,6111,6112,6113,6114,6115,6116, |
| 6117,6118,6119,6120,6121,6122,6245,6198,4048,3316, |
| 2739,6559,6558,4841,5603,1154,1463,1241,1176,1306, |
| 5706,5720,5716,1371,810,587,5683,1012,726,6242, |
| 6244,3512,6246,6247,6249,1158,938,953,420,420, |
| 420,420,420,420,420,420,6109,4226,6575,1088, |
| 199,5045,1032,1023,1013,954,952,6202,6200,6201, |
| 6203,6204,6205,6206,6207,6208,4943,6125,730,4739, |
| 4637,4535,4433,4331,4229,6123,6124,6110,6111,6112, |
| 6113,6114,6115,6116,6117,6118,6119,6120,6121,6122, |
| 6245,6198,4048,3316,2739,6559,6558,4841,5603,1154, |
| 1463,1241,1176,1306,5706,5720,5716,1371,810,587, |
| 5683,1012,726,6242,6244,3512,6246,6247,6249,1158, |
| 938,953,420,420,420,420,420,420,420,420, |
| 6109,4226,6575,1088,199,5045,1032,1023,1013,954, |
| 952,6202,6200,6201,6203,6204,6205,6206,6207,6208, |
| 4943,6125,730,4739,4637,4535,4433,4331,4229,6123, |
| 6124,6110,6111,6112,6113,6114,6115,6116,6117,6118, |
| 6119,6120,6121,6122,6245,6198,4048,3316,2739,6559, |
| 6558,4841,5603,1154,1463,1241,1176,1306,5706,5720, |
| 5716,1371,810,587,5683,1012,726,6242,6244,3512, |
| 6246,6247,6249,1158,938,953,420,420,420,420, |
| 420,420,420,420,6109,4226,6575,1088,199,5045, |
| 1032,1023,1013,954,952,6202,6200,6201,6203,6204, |
| 6205,6206,6207,6208,4943,6125,730,4739,4637,4535, |
| 4433,4331,4229,6123,6124,6110,6111,6112,6113,6114, |
| 6115,6116,6117,6118,6119,6120,6121,6122,6245,6198, |
| 4048,3316,2739,6559,6558,4841,5603,1154,1463,1241, |
| 1176,1306,5706,5720,5716,1371,810,587,5683,1012, |
| 726,6242,6244,3512,6246,6247,6249,1158,938,953, |
| 420,420,420,420,420,420,420,420,6109,4226, |
| 6575,1088,199,5045,1032,1023,1013,954,952,6202, |
| 6200,6201,6203,6204,6205,6206,6207,6208,4943,6125, |
| 730,4739,4637,4535,4433,4331,4229,6123,6124,6110, |
| 6111,6112,6113,6114,6115,6116,6117,6118,6119,6120, |
| 6121,6122,6245,6198,4048,3316,2739,6559,6558,4841, |
| 5603,1154,1463,1241,1176,1306,5706,5720,5716,1371, |
| 810,587,5683,1012,726,6242,6244,3512,6246,6247, |
| 6249,1158,938,953,420,420,420,420,420,420, |
| 420,420,6109,4226,6575,1088,6109,5045,1032,1023, |
| 1013,954,952,6202,6200,6201,6203,6204,6205,6206, |
| 6207,6208,4943,6125,730,4739,4637,4535,4433,4331, |
| 4229,6123,6124,6110,6111,6112,6113,6114,6115,6116, |
| 6117,6118,6119,6120,6121,6122,6245,6198,4048,3316, |
| 2739,6559,6558,4841,5603,1154,1463,1241,1176,1306, |
| 5706,5720,5716,1371,810,587,5683,1012,726,6242, |
| 6244,3512,6246,6247,6249,1158,938,953,420,420, |
| 420,420,420,420,420,420,6109,1500,532,6109, |
| 4226,6575,1088,199,5045,1032,1023,1013,954,952, |
| 6202,6200,6201,6203,6204,6205,6206,6207,6208,4943, |
| 6125,730,4739,4637,4535,4433,4331,4229,6123,6124, |
| 6110,6111,6112,6113,6114,6115,6116,6117,6118,6119, |
| 6120,6121,6122,6245,6198,4048,3316,2739,6559,6558, |
| 4841,5603,1154,1463,1241,1176,1306,5706,5720,5716, |
| 1371,810,587,5683,1012,726,6242,6244,3512,6246, |
| 6247,6249,1158,938,953,420,420,420,420,420, |
| 420,420,420,6109,4226,6575,1088,6109,5045,1032, |
| 1023,1013,954,952,6202,6200,6201,6203,6204,6205, |
| 6206,6207,6208,4943,6125,730,4739,4637,4535,4433, |
| 4331,4229,6123,6124,6110,6111,6112,6113,6114,6115, |
| 6116,6117,6118,6119,6120,6121,6122,6245,6198,4048, |
| 3316,2739,6559,6558,4841,5603,1154,1463,1241,1176, |
| 1306,5706,5720,5716,1371,810,587,5683,1012,726, |
| 6242,6244,3512,6246,6247,6249,1158,938,953,420, |
| 420,420,420,420,420,420,420,6109,4277,532, |
| 6109,4226,6575,1088,199,5045,1032,1023,1013,954, |
| 952,6202,6200,6201,6203,6204,6205,6206,6207,6208, |
| 4943,6125,730,4739,4637,4535,4433,4331,4229,6123, |
| 6124,6110,6111,6112,6113,6114,6115,6116,6117,6118, |
| 6119,6120,6121,6122,6245,6198,4048,3316,2739,6559, |
| 6558,4841,5603,1154,1463,1241,1176,1306,5706,5720, |
| 5716,1371,810,587,5683,1012,726,6242,6244,3512, |
| 6246,6247,6249,1158,938,953,420,420,420,420, |
| 420,420,420,420,6109,4226,6575,1088,199,5045, |
| 1032,1023,1013,954,952,6202,6200,6201,6203,6204, |
| 6205,6206,6207,6208,4943,6125,730,4739,4637,4535, |
| 4433,4331,4229,6123,6124,6110,6111,6112,6113,6114, |
| 6115,6116,6117,6118,6119,6120,6121,6122,6245,6198, |
| 4048,3316,2739,6559,6558,4841,5603,1154,1463,1241, |
| 1176,1306,5706,5720,5716,1371,810,587,5683,1012, |
| 726,6242,6244,3512,6246,6247,6249,1158,938,953, |
| 420,420,420,420,420,420,420,420,6109,4226, |
| 6575,1088,199,5045,1032,1023,1013,954,952,6202, |
| 6200,6201,6203,6204,6205,6206,6207,6208,4943,6125, |
| 730,4739,4637,4535,4433,4331,4229,6123,6124,6110, |
| 6111,6112,6113,6114,6115,6116,6117,6118,6119,6120, |
| 6121,6122,6245,6198,4048,3316,2739,6559,6558,4841, |
| 5603,1154,1463,1241,1176,1306,5706,5720,5716,1371, |
| 810,587,5683,1012,726,6242,6244,3512,6246,6247, |
| 6249,1158,938,953,420,420,420,420,420,420, |
| 420,420,6109,4226,6575,1088,199,5045,1032,1023, |
| 1013,954,952,6202,6200,6201,6203,6204,6205,6206, |
| 6207,6208,4943,6125,730,4739,4637,4535,4433,4331, |
| 4229,6123,6124,6110,6111,6112,6113,6114,6115,6116, |
| 6117,6118,6119,6120,6121,6122,6245,6198,4048,3316, |
| 2739,6559,6558,4841,5603,1154,1463,1241,1176,1306, |
| 5706,5720,5716,1371,810,587,5683,1012,726,6242, |
| 6244,3512,6246,6247,6249,1158,938,953,420,420, |
| 420,420,420,420,420,420,6109,4226,6575,1088, |
| 199,5045,1032,1023,1013,954,952,6202,6200,6201, |
| 6203,6204,6205,6206,6207,6208,4943,6125,730,4739, |
| 4637,4535,4433,4331,4229,6123,6124,6110,6111,6112, |
| 6113,6114,6115,6116,6117,6118,6119,6120,6121,6122, |
| 6245,6198,4048,3316,2739,6559,6558,4841,5603,1154, |
| 1463,1241,1176,1306,5706,5720,5716,1371,810,587, |
| 5683,1012,726,6242,6244,3512,6246,6247,6249,1158, |
| 938,953,420,420,420,420,420,420,420,420, |
| 6109,4226,6575,1088,6109,5045,1032,1023,1013,954, |
| 952,6202,6200,6201,6203,6204,6205,6206,6207,6208, |
| 4943,6125,730,4739,4637,4535,4433,4331,4229,6123, |
| 6124,6110,6111,6112,6113,6114,6115,6116,6117,6118, |
| 6119,6120,6121,6122,6245,6198,4048,3316,2739,6559, |
| 6558,4841,5603,1154,1463,1241,1176,1306,5706,5720, |
| 5716,1371,810,587,5683,1012,726,6242,6244,3512, |
| 6246,6247,6249,1158,938,953,420,420,420,420, |
| 420,420,420,420,6109,4226,6575,1088,6582,5045, |
| 1032,1023,1013,954,952,6202,6200,6201,6203,6204, |
| 6205,6206,6207,6208,4943,6125,730,4739,4637,4535, |
| 4433,4331,4229,6123,6124,6110,6111,6112,6113,6114, |
| 6115,6116,6117,6118,6119,6120,6121,6122,6245,6198, |
| 4048,3316,2739,6559,6558,4841,5603,1154,1463,1241, |
| 1176,1306,5706,5720,5716,1371,810,587,5683,1012, |
| 726,6242,6244,3512,6246,6247,6249,1158,938,953, |
| 420,420,420,420,420,420,420,420,6109,4226, |
| 6575,1088,6109,5045,1032,1023,1013,954,952,6202, |
| 6200,6201,6203,6204,6205,6206,6207,6208,4943,6125, |
| 730,4739,4637,4535,4433,4331,4229,6123,6124,6110, |
| 6111,6112,6113,6114,6115,6116,6117,6118,6119,6120, |
| 6121,6122,6245,6198,4048,3316,2739,6559,6558,4841, |
| 5603,1154,1463,1241,1176,1306,5706,5720,5716,1371, |
| 810,587,5683,1012,726,6242,6244,3512,6246,6247, |
| 6249,1158,938,953,420,420,420,420,420,420, |
| 420,420,6109,4226,6575,1088,6548,5045,1032,1023, |
| 1013,954,952,6202,6200,6201,6203,6204,6205,6206, |
| 6207,6208,4943,6125,730,4739,4637,4535,4433,4331, |
| 4229,6123,6124,6110,6111,6112,6113,6114,6115,6116, |
| 6117,6118,6119,6120,6121,6122,6245,6198,4048,3316, |
| 2739,6559,6558,4841,5603,1154,1463,1241,1176,1306, |
| 5706,5720,5716,1371,810,587,5683,1012,726,6242, |
| 6244,3512,6246,6247,6249,1158,938,953,420,420, |
| 420,420,420,420,420,420,6109,4226,6575,1088, |
| 6109,5045,1032,1023,1013,954,952,6202,6200,6201, |
| 6203,6204,6205,6206,6207,6208,4943,6125,730,4739, |
| 4637,4535,4433,4331,4229,6123,6124,6110,6111,6112, |
| 6113,6114,6115,6116,6117,6118,6119,6120,6121,6122, |
| 6245,6198,4048,3316,2739,6559,6558,4841,5603,1154, |
| 1463,1241,1176,1306,5706,5720,5716,1371,810,587, |
| 5683,1012,726,6242,6244,3512,6246,6247,6249,1158, |
| 938,953,420,420,420,420,420,420,420,420, |
| 6109,4226,6575,1088,6572,5045,1032,1023,1013,954, |
| 952,6202,6200,6201,6203,6204,6205,6206,6207,6208, |
| 4943,6125,730,4739,4637,4535,4433,4331,4229,6123, |
| 6124,6110,6111,6112,6113,6114,6115,6116,6117,6118, |
| 6119,6120,6121,6122,6245,6198,4048,3316,2739,6559, |
| 6558,4841,5603,1154,1463,1241,1176,1306,5706,5720, |
| 5716,1371,810,587,5683,1012,726,6242,6244,3512, |
| 6246,6247,6249,1158,938,953,420,420,420,420, |
| 420,420,420,420,6109,4226,6575,1088,6109,5045, |
| 1032,1023,1013,954,952,6202,6200,6201,6203,6204, |
| 6205,6206,6207,6208,4943,6125,730,4739,4637,4535, |
| 4433,4331,4229,6123,6124,6110,6111,6112,6113,6114, |
| 6115,6116,6117,6118,6119,6120,6121,6122,6245,6198, |
| 4048,3316,2739,6559,6558,4841,5603,1154,1463,1241, |
| 1176,1306,5706,5720,5716,1371,810,587,5683,1012, |
| 726,6242,6244,3512,6246,6247,6249,1158,938,953, |
| 420,420,420,420,420,420,420,420,6109,4226, |
| 6575,6049,6422,5045,1032,1023,1013,954,952,6202, |
| 6200,6201,6203,6204,6205,6206,6207,6208,4943,6125, |
| 730,4739,4637,4535,4433,4331,4229,6123,6124,6110, |
| 6111,6112,6113,6114,6115,6116,6117,6118,6119,6120, |
| 6121,6122,6245,6198,4048,3316,2739,6559,6558,4841, |
| 5603,1154,1463,1241,1176,1306,5706,5720,5716,1371, |
| 810,587,5683,1012,726,6242,6244,3512,6246,6247, |
| 6249,1158,938,953,420,420,420,420,420,420, |
| 420,420,6109,4226,6575,1088,6109,5045,1032,1023, |
| 1013,954,952,6202,6200,6201,6203,6204,6205,6206, |
| 6207,6208,4943,6125,730,4739,4637,4535,4433,4331, |
| 4229,6123,6124,6110,6111,6112,6113,6114,6115,6116, |
| 6117,6118,6119,6120,6121,6122,6245,6198,4048,3316, |
| 2739,6559,6558,4841,5603,1154,1463,1241,1176,1306, |
| 5706,5720,5716,1371,810,587,5683,1012,726,6242, |
| 6244,3512,6246,6247,6249,1158,938,953,420,420, |
| 420,420,420,420,420,420,6109,4226,6575,1088, |
| 6427,5045,1032,1023,1013,954,952,6202,6200,6201, |
| 6203,6204,6205,6206,6207,6208,4943,6125,730,4739, |
| 4637,4535,4433,4331,4229,6123,6124,6110,6111,6112, |
| 6113,6114,6115,6116,6117,6118,6119,6120,6121,6122, |
| 6245,6198,4048,3316,2739,6559,6558,4841,5603,1154, |
| 1463,1241,1176,1306,5706,5720,5716,1371,810,587, |
| 5683,1012,726,6242,6244,3512,6246,6247,6249,1158, |
| 938,953,420,420,420,420,420,420,420,420, |
| 6109,4226,6575,1088,6109,5045,1032,1023,1013,954, |
| 952,6202,6200,6201,6203,6204,6205,6206,6207,6208, |
| 4943,6125,730,4739,4637,4535,4433,4331,4229,6123, |
| 6124,6110,6111,6112,6113,6114,6115,6116,6117,6118, |
| 6119,6120,6121,6122,6245,6198,4048,3316,2739,6559, |
| 6558,4841,5603,1154,1463,1241,1176,1306,5706,5720, |
| 5716,1371,810,587,5683,1012,726,6242,6244,3512, |
| 6246,6247,6249,1158,938,953,420,420,420,420, |
| 420,420,420,420,6109,4226,6575,1088,4115,5045, |
| 1032,1023,1013,954,952,6202,6200,6201,6203,6204, |
| 6205,6206,6207,6208,4943,6125,730,4739,4637,4535, |
| 4433,4331,4229,6123,6124,6110,6111,6112,6113,6114, |
| 6115,6116,6117,6118,6119,6120,6121,6122,6245,6198, |
| 4048,3316,2739,6559,6558,4841,5603,1154,1463,1241, |
| 1176,1306,5706,5720,5716,1371,810,587,5683,1012, |
| 726,6242,6244,3512,6246,6247,6249,1158,938,953, |
| 420,420,420,420,420,420,420,420,6109,4226, |
| 6575,1088,6109,5045,1032,1023,1013,954,952,6202, |
| 6200,6201,6203,6204,6205,6206,6207,6208,4943,6125, |
| 730,4739,4637,4535,4433,4331,4229,6123,6124,6110, |
| 6111,6112,6113,6114,6115,6116,6117,6118,6119,6120, |
| 6121,6122,6245,6198,4048,3316,2739,6559,6558,4841, |
| 5603,1154,1463,1241,1176,1306,5706,5720,5716,1371, |
| 810,587,5683,1012,726,6242,6244,3512,6246,6247, |
| 6249,1158,938,953,420,420,420,420,420,420, |
| 420,420,6109,4226,6575,1088,6423,5045,1032,1023, |
| 1013,954,952,6202,6200,6201,6203,6204,6205,6206, |
| 6207,6208,4943,6125,730,4739,4637,4535,4433,4331, |
| 4229,6123,6124,6110,6111,6112,6113,6114,6115,6116, |
| 6117,6118,6119,6120,6121,6122,6245,6198,4048,3316, |
| 2739,6559,6558,4841,5603,1154,1463,1241,1176,1306, |
| 5706,5720,5716,1371,810,587,5683,1012,726,6242, |
| 6244,3512,6246,6247,6249,1158,938,953,420,420, |
| 420,420,420,420,420,420,6109,4226,6575,1088, |
| 6109,5045,1032,1023,1013,954,952,6202,6200,6201, |
| 6203,6204,6205,6206,6207,6208,4943,6125,730,4739, |
| 4637,4535,4433,4331,4229,6123,6124,6110,6111,6112, |
| 6113,6114,6115,6116,6117,6118,6119,6120,6121,6122, |
| 6245,6198,4048,3316,2739,6559,6558,4841,5603,1154, |
| 1463,1241,1176,1306,5706,5720,5716,1371,810,587, |
| 5683,1012,726,6242,6244,3512,6246,6247,6249,1158, |
| 938,953,420,420,420,420,420,420,420,420, |
| 6109,4226,6575,1088,6464,5045,1032,1023,1013,954, |
| 952,6202,6200,6201,6203,6204,6205,6206,6207,6208, |
| 4943,6125,730,4739,4637,4535,4433,4331,4229,6123, |
| 6124,6110,6111,6112,6113,6114,6115,6116,6117,6118, |
| 6119,6120,6121,6122,6245,6198,4048,3316,2739,6559, |
| 6558,4841,5603,1154,1463,1241,1176,1306,5706,5720, |
| 5716,1371,810,587,5683,1012,726,6242,6244,3512, |
| 6246,6247,6249,1158,938,953,420,420,420,420, |
| 420,420,420,420,420,4226,6109,1088,263,5045, |
| 1032,1023,1013,954,952,6202,6200,6201,6203,6204, |
| 6205,6206,6207,6208,4943,6125,730,4739,4637,4535, |
| 4433,4331,4229,6123,6124,6110,6111,6112,6113,6114, |
| 6115,6116,6117,6118,6119,6120,6121,6122,6245,6198, |
| 4048,3316,2739,6559,6558,4841,5603,1154,1463,1241, |
| 1176,1306,5706,5720,5716,1371,810,587,5683,1012, |
| 726,6242,6244,3512,6246,6247,6249,1158,938,953, |
| 6109,6109,6575,6209,494,3586,6222,6223,6224,6225, |
| 6226,6202,6200,6201,6203,6204,6205,6206,6207,6208, |
| 258,6109,2782,6575,334,339,6109,1105,274,274, |
| 6109,274,6575,6109,274,274,274,274,420,4226, |
| 1090,1088,215,5045,1032,1023,1013,954,952,6202, |
| 6200,6201,6203,6204,6205,6206,6207,6208,4943,6125, |
| 730,4739,4637,4535,4433,4331,4229,6123,6124,6110, |
| 6111,6112,6113,6114,6115,6116,6117,6118,6119,6120, |
| 6121,6122,6245,6198,4048,3316,2739,6559,6558,4841, |
| 5603,1154,1463,1241,1176,1306,5706,5720,5716,1371, |
| 810,587,5683,1012,726,6242,6244,3512,6246,6247, |
| 6249,1158,938,953,6445,6388,6109,6109,6331,6575, |
| 334,339,365,6109,6446,3385,6109,6447,6575,6044, |
| 1164,5831,3400,3390,420,4226,6109,1088,6575,5045, |
| 1032,1023,1013,954,952,6202,6200,6201,6203,6204, |
| 6205,6206,6207,6208,4943,6125,730,4739,4637,4535, |
| 4433,4331,4229,6123,6124,6110,6111,6112,6113,6114, |
| 6115,6116,6117,6118,6119,6120,6121,6122,6245,6198, |
| 4048,3316,2739,6559,6558,4841,5603,1154,1463,1241, |
| 1176,1306,5706,5720,5716,1371,810,587,5683,1012, |
| 726,6242,6244,3512,6246,6247,6249,1158,938,953, |
| 6445,6389,421,421,421,421,421,421,421,421, |
| 6446,6109,6109,6447,6575,6044,1164,6109,3400,3390, |
| 420,4226,6109,1088,6575,5045,1032,1023,1013,954, |
| 952,6202,6200,6201,6203,6204,6205,6206,6207,6208, |
| 4943,6125,730,4739,4637,4535,4433,4331,4229,6123, |
| 6124,6110,6111,6112,6113,6114,6115,6116,6117,6118, |
| 6119,6120,6121,6122,6245,6198,4048,3316,2739,6559, |
| 6558,4841,5638,1154,1463,1241,1176,1306,5706,5720, |
| 5716,1371,810,587,5683,1012,726,6242,6244,3512, |
| 6246,6247,6249,1158,938,953,5705,41,5786,6109, |
| 6109,6575,6573,58,118,6126,6127,6128,6129,6130, |
| 4685,27,3581,6109,307,6575,6056,5753,5907,5913, |
| 6125,70,5409,5367,1419,1112,5566,5529,6123,6124, |
| 6110,6111,6112,6113,6114,6115,6116,6117,6118,6119, |
| 6120,6121,6122,420,4226,4328,1088,210,5045,1032, |
| 1023,1013,954,952,6202,6200,6201,6203,6204,6205, |
| 6206,6207,6208,4943,6125,730,4739,4637,4535,4433, |
| 4331,4229,6123,6124,6110,6111,6112,6113,6114,6115, |
| 6116,6117,6118,6119,6120,6121,6122,6245,6198,4048, |
| 3316,2739,6559,6558,4841,5603,1154,1463,1241,1176, |
| 1306,5706,5720,5716,1371,810,587,5683,1012,726, |
| 6242,6244,3512,6246,6247,6249,1158,938,953,400, |
| 6109,2743,6209,6109,5728,6222,6223,6224,6225,6226, |
| 6202,6200,6201,6203,6204,6205,6206,6207,6208,334, |
| 233,2782,242,5093,6109,243,6575,5673,250,1289, |
| 867,6109,6109,6575,420,4226,6192,1088,6051,5045, |
| 1032,1023,1013,954,952,6202,6200,6201,6203,6204, |
| 6205,6206,6207,6208,4943,6125,730,4739,4637,4535, |
| 4433,4331,4229,6123,6124,6110,6111,6112,6113,6114, |
| 6115,6116,6117,6118,6119,6120,6121,6122,6245,6198, |
| 4048,3316,2739,6559,6558,4841,5638,1154,1463,1241, |
| 1176,1306,5706,5720,5716,1371,810,587,5683,1012, |
| 726,6242,6244,3512,6246,6247,6249,1158,938,953, |
| 6109,660,6445,6573,6109,5748,6126,6127,6128,6129, |
| 6130,298,6446,298,6345,6447,2776,298,298,1224, |
| 6344,6125,6062,6355,6356,6357,6355,6356,6357,6123, |
| 6124,6110,6111,6112,6113,6114,6115,6116,6117,6118, |
| 6119,6120,6121,6122,102,420,4226,6209,1088,4328, |
| 5045,1032,1023,1013,954,952,6202,6200,6201,6203, |
| 6204,6205,6206,6207,6208,4943,6125,730,4739,4637, |
| 4535,4433,4331,4229,6123,6124,6110,6111,6112,6113, |
| 6114,6115,6116,6117,6118,6119,6120,6121,6122,6245, |
| 6198,4048,3316,2739,6559,6558,4841,5603,1154,1463, |
| 1241,1176,1306,5706,5720,5716,1371,810,587,5683, |
| 1012,726,6242,6244,3512,6246,6247,6249,1158,938, |
| 953,6109,45,6109,6209,6109,43,6222,6223,6224, |
| 6225,6226,6202,6200,6201,6203,6204,6205,6206,6207, |
| 6208,6109,6109,2782,6575,6186,6619,5409,5367,1419, |
| 1112,5409,5367,1419,1112,164,420,4226,6023,1088, |
| 6051,5045,1032,1023,1013,954,952,6202,6200,6201, |
| 6203,6204,6205,6206,6207,6208,4943,6125,730,4739, |
| 4637,4535,4433,4331,4229,6123,6124,6110,6111,6112, |
| 6113,6114,6115,6116,6117,6118,6119,6120,6121,6122, |
| 6245,6198,4048,3316,2739,6559,6558,4841,5603,1154, |
| 1463,1241,1176,1306,5706,5720,5716,1371,810,587, |
| 5683,1012,726,6242,6244,3512,6246,6247,6249,1158, |
| 938,953,420,4226,6109,1088,6575,5045,1032,1023, |
| 1013,954,952,6202,6200,6201,6203,6204,6205,6206, |
| 6207,6208,4943,6125,730,4739,4637,4535,4433,4331, |
| 4229,6123,6124,6110,6111,6112,6113,6114,6115,6116, |
| 6117,6118,6119,6120,6121,6122,6245,6198,4048,3316, |
| 2739,6559,6558,4841,5603,1154,1463,1241,1176,1306, |
| 5706,5720,5716,1371,810,587,5683,1012,726,6242, |
| 6244,3512,6246,6247,6249,1158,938,33,6109,37, |
| 6575,453,5323,62,5323,6109,5834,6575,6109,6109, |
| 36,6575,6109,739,275,5323,275,5279,353,5279, |
| 275,275,275,6109,1554,275,5566,5529,275,275, |
| 5279,275,275,152,275,275,275,275,4379,4114, |
| 1090,6109,6245,420,4226,6245,1088,4481,5045,1032, |
| 1023,1013,954,952,6202,6200,6201,6203,6204,6205, |
| 6206,6207,6208,4943,6125,730,4739,4637,4535,4433, |
| 4331,4229,6123,6124,6110,6111,6112,6113,6114,6115, |
| 6116,6117,6118,6119,6120,6121,6122,6245,6198,4048, |
| 3316,2739,6559,6558,4841,5603,1154,1463,1241,1176, |
| 1306,5706,5720,5716,1371,810,587,5683,1012,726, |
| 6242,6244,3512,6246,6247,6249,1158,938,6109,6109, |
| 6575,6199,5816,5045,6126,6127,6128,6129,6130,6202, |
| 6200,6201,6203,6204,6205,6206,6207,6208,4943,6125, |
| 3262,5959,4637,4535,4433,4331,4229,6123,6124,6110, |
| 6111,6112,6113,6114,6115,6116,6117,6118,6119,6120, |
| 6121,6122,6109,6198,4048,3316,2739,6559,6558,4841, |
| 5957,6132,5947,1241,1176,1306,5706,5720,5716,1371, |
| 3364,2870,6109,1012,6575,6109,6109,123,12951,3373, |
| 6109,197,22,6456,420,420,420,420,420,420, |
| 420,420,6109,6241,6575,6199,599,5045,6126,6127, |
| 6128,6129,6130,6202,6200,6201,6203,6204,6205,6206, |
| 6207,6208,4943,6125,6109,5959,4637,4535,4433,4331, |
| 4229,6123,6124,3583,5412,5370,5326,5236,5282,5190, |
| 5144,4121,4120,4108,4096,6122,6109,6198,4048,3316, |
| 2739,6559,6558,4841,5957,6132,5947,1241,1176,1306, |
| 5706,5720,5716,1371,3364,2870,6109,6428,816,6199, |
| 388,388,6126,6127,6128,6129,6130,6202,6200,6201, |
| 6203,6204,6205,6206,6207,6208,29,6125,6109,31, |
| 6575,357,6109,12261,6575,6123,6124,6110,6111,6112, |
| 6113,6114,6115,6116,6117,6118,6119,6120,6121,6122, |
| 3209,6198,57,197,4430,6559,6558,6109,378,6132, |
| 6109,22,6307,6109,6307,6307,6109,5847,6575,90, |
| 283,6398,5233,5187,5141,5233,5187,5141,60,6109, |
| 6307,6575,197,6307,6307,6307,6307,6307,6307,6109, |
| 6109,6575,6573,6109,1608,6126,6127,6128,6129,6130, |
| 5774,5566,5529,5490,5451,6109,6307,6307,6307,20, |
| 6125,6307,6307,6424,348,6109,6511,5888,6123,6124, |
| 6110,6111,6112,6113,6114,6115,6116,6117,6118,6119, |
| 6120,6121,6122,6525,6527,6535,6537,6526,6528,6536, |
| 6538,6109,5853,6575,6307,6307,6109,6307,6109,6209, |
| 5742,223,6307,6307,4119,6307,152,100,5816,6307, |
| 6307,4098,3994,364,1238,35,1164,4175,152,6307, |
| 5323,6109,3156,6575,6307,1080,6109,1225,6575,3373, |
| 6307,6307,6307,6307,6307,5279,6307,6307,6307,6307, |
| 6245,6307,6307,1091,6109,116,6575,334,6109,1662, |
| 334,334,334,334,334,334,334,334,334,334, |
| 334,334,334,334,380,6109,334,6575,334,6109, |
| 2472,334,334,334,334,334,334,334,334,334, |
| 334,334,334,334,334,812,6109,334,6575,6379, |
| 5683,3637,6222,6223,6224,6225,6226,6202,6200,6201, |
| 6203,6204,6205,6206,6207,6208,6109,6109,2782,6379, |
| 388,388,6222,6223,6224,6225,6226,6202,6200,6201, |
| 6203,6204,6205,6206,6207,6208,6570,6109,2782,6575, |
| 3790,462,6109,6109,334,6575,6109,6445,6575,6109, |
| 6109,3739,6109,6109,6575,6575,6109,6446,6109,388, |
| 6447,6199,6109,5691,6575,334,6109,1354,6445,6202, |
| 6200,6201,6203,6204,6205,6206,6207,6208,6446,6109, |
| 6109,6447,6575,4124,340,6109,6380,6109,6109,6575, |
| 6109,6109,6575,6109,2526,6109,1716,6109,197,6575, |
| 6109,6468,6575,6198,111,2580,6380,6559,6558,6109, |
| 6245,6109,6109,6575,6575,371,6109,249,6575,6109, |
| 334,6575,227,6539,297,457,5829,284,5883,284, |
| 6109,5677,6575,284,284,284,3688,232,284,799, |
| 524,284,1080,6199,1225,284,1164,284,284,284, |
| 284,6202,6200,6201,6203,6204,6205,6206,6207,6208, |
| 6109,6109,6575,5988,3461,6584,3688,5917,1173,232, |
| 232,228,231,19,799,3688,232,1303,6066,18, |
| 274,1354,274,2764,6594,6198,274,274,274,6559, |
| 6558,274,101,5989,17,274,6570,274,274,3260, |
| 6307,274,5990,274,231,231,1090,274,274,274, |
| 6445,231,274,1354,6109,6605,274,3408,274,274, |
| 6446,90,1224,6447,3943,6062,6109,1090,6575,6109, |
| 6109,6109,6575,6575,4889,3892,240,5858,6583,5889, |
| 5879,6109,6109,6575,6575,6109,6640,745,161,6109, |
| 292,6575,292,6109,1770,346,292,292,292,115, |
| 204,292,6109,1824,200,114,6109,1878,5826,6109, |
| 1932,6109,1986,6109,2040,6109,2094,6109,2148,119, |
| 113,6109,2202,6109,2256,6109,2310,6109,5889,5879, |
| 84,2364,6109,2418,6109,5790,6109,5731,1,2880, |
| 1368,12,509,11,508,10,507,9,506,100, |
| 6109,6599,8,505,7,504,4991,887,5838,5, |
| 503,6,502,205,1354,103,6411,6109,350,4, |
| 501,3,500,2769,269,958,1354,2,499,6109, |
| 2634,6109,2688,6109,2787,6109,6109,598,6023,6035, |
| 6109,3688,6109,6109,6624,6109,6623,6622,6109,6302, |
| 6109,6109,6300,6109,6299,6298,3313,6297,165,6109, |
| 6109,6109,4532,6296,6295,6294,6109,6109,6109,6109, |
| 6293,6292,6291,6290,6109,291,6109,6109,6289,3582, |
| 6288,6287,6109,6109,6109,6109,6286,6285,6301,6517, |
| 6109,6109,6109,4583,6516,3373,4379,6109,6109,409, |
| 5641,6271,6272,1354,6109,3395,6109,2886,3565,6109, |
| 2940,6109,3399,6109,2994,6109,3048,195,2418,194, |
| 2364,153,211,6109,6109,6109,4634,6187,6055,6109, |
| 3102,6109,6109,6109,4736,6318,6317,6109,6109,6109, |
| 6109,6284,6283,6515,6514,5703,6109,6109,6109,6109, |
| 5805,6076,6109,6109,6109,6109,2686,254,6259,100, |
| 6109,6109,519,6109,6567,3391,6109,225,4104,527, |
| 6109,6109,6109,6109,6260,6109,6431,6109,6092,255, |
| 6109,6109,5042,5826,6109,6109,6109,6109,6109,6109, |
| 6109,6102,387,6335,325,6109,412,603,3841,6350, |
| 388,390,6109,6575,6575,6109,6109,6109,6109,4045, |
| 6109,6109,6109,6109,6109,6109,6109,6109,6109,6109, |
| 6109,6109,6109,5714,6245,6109,6109,6109,6109,6109, |
| 6109,6109,6560,6109,6109,674,6109,6109,6109,6109, |
| 6109,6109,6109,6109,6109,1354,6109,6109,943,6109, |
| 6109,6109,4787,6109,4838,5850,6109,5848,6414,6109, |
| 6109,6109,6109,6109,6109,6109,6109,1354,6109,6109, |
| 6405,6109,6044,5709,6413,6109,6109,5888,6109,6109, |
| 6109,6109,6109,5723,6109,6012,6109,6109,6109,6109, |
| 6109,584,6109,6109,6109,4940,6109,6109,6109,6109, |
| 6109,6109,6109,6109,881,6109,6109,6109,6109,6109, |
| 6109,6109,6109,6109,6109,6109,6109,6109,6109,6109, |
| 6109,6109,6109,6109,6100 |
| }; |
| }; |
| public final static char termAction[] = TermAction.termAction; |
| public final int termAction(int index) { return termAction[index]; } |
| |
| public interface Asb { |
| public final static char asb[] = {0, |
| 170,103,302,88,152,800,792,113,113,113, |
| 113,113,792,263,803,327,327,327,327,327, |
| 327,327,327,327,327,327,327,265,327,327, |
| 327,327,327,327,264,327,265,264,160,405, |
| 258,258,800,775,631,791,178,179,179,267, |
| 279,273,258,271,275,281,284,690,771,154, |
| 260,711,89,414,258,330,224,800,800,800, |
| 800,800,800,800,800,800,800,800,800,800, |
| 800,800,800,800,800,800,631,116,800,631, |
| 799,799,587,587,178,791,590,800,800,597, |
| 617,799,753,645,654,573,573,178,178,178, |
| 178,110,110,620,178,178,178,178,178,178, |
| 178,178,178,178,771,690,690,605,300,155, |
| 158,300,794,753,896,627,826,626,178,332, |
| 627,718,71,71,71,105,414,414,414,414, |
| 414,414,414,414,414,414,414,414,414,414, |
| 414,762,414,414,762,835,479,414,573,414, |
| 300,823,71,105,258,630,797,631,327,327, |
| 573,573,327,265,264,266,265,265,265,265, |
| 265,265,265,265,265,265,265,265,800,800, |
| 800,275,275,271,271,818,110,258,631,258, |
| 178,71,279,279,279,281,771,95,690,795, |
| 631,258,178,178,331,414,753,753,753,753, |
| 802,753,753,753,753,753,753,753,753,753, |
| 753,753,753,753,753,753,266,753,753,266, |
| 856,803,854,752,71,933,753,753,178,258, |
| 714,298,753,753,859,896,755,1,825,759, |
| 753,800,800,800,800,116,631,116,258,631, |
| 503,503,178,258,624,144,866,605,97,770, |
| 805,753,479,711,711,809,753,631,631,822, |
| 258,630,826,711,572,800,296,298,3,759, |
| 414,414,414,414,762,863,752,149,871,753, |
| 895,896,753,178,95,98,71,608,814,901, |
| 899,752,631,792,756,905,800,414,631,631, |
| 2,299,3,753,753,753,753,266,258,178, |
| 258,631,71,504,97,100,237,911,609,773, |
| 753,258,751,805,300,792,806,1,631,480, |
| 178,753,299,150,753,150,98,832,602,799, |
| 832,611,623,237,237,920,750,893,815,1, |
| 753,826,297,753,498,178,178,100,600,836, |
| 1,813,601,178,71,933,624,922,828,828, |
| 920,258,826,631,765,178,753,792,791,799, |
| 826,753,258,751,1,300,624,71,807,258, |
| 258,258,750,108,820,178,813,933,815,826, |
| 178,299,300,913,915,918,918,821,791,826, |
| 753,71,300,258,814,258,926,925,1,791, |
| 929,753,826,791,826,71,1,826 |
| }; |
| }; |
| public final static char asb[] = Asb.asb; |
| public final int asb(int index) { return asb[index]; } |
| |
| public interface Asr { |
| public final static char asr[] = {0, |
| 2,84,76,77,78,79,80,81,82,83, |
| 66,31,32,33,34,35,36,37,38,39, |
| 40,41,42,43,29,30,21,45,50,49, |
| 72,53,67,23,68,44,70,71,59,60, |
| 58,5,20,51,24,25,26,27,28,46, |
| 47,48,61,57,55,56,65,62,63,73, |
| 64,69,74,1,52,54,75,94,95,91, |
| 12,13,11,14,15,16,17,18,19,22, |
| 6,7,8,9,10,3,0,116,110,104, |
| 111,112,113,2,107,105,108,101,98,97, |
| 90,96,92,0,4,3,0,91,0,93, |
| 87,0,86,119,102,51,52,23,24,25, |
| 26,27,28,20,114,126,100,127,128,129, |
| 120,109,131,121,122,46,47,48,132,123, |
| 2,92,1,4,84,85,93,5,87,99, |
| 0,107,105,104,111,112,113,110,0,76, |
| 77,78,79,80,81,82,83,2,0,110, |
| 104,105,107,111,112,113,116,75,76,77, |
| 78,79,80,81,82,83,66,72,67,23, |
| 68,44,70,71,22,59,60,58,5,20, |
| 51,24,25,26,27,28,46,47,48,61, |
| 57,55,56,65,62,63,73,64,69,74, |
| 1,52,54,53,12,13,11,14,15,16, |
| 17,18,19,45,50,49,31,32,33,34, |
| 35,36,37,38,39,40,41,42,43,29, |
| 30,21,6,7,8,9,10,3,0,2, |
| 44,0,88,119,1,102,128,129,126,100, |
| 23,24,51,52,25,26,27,28,5,20, |
| 46,47,48,4,114,99,87,127,131,121, |
| 122,93,123,92,132,120,109,84,2,85, |
| 0,2,3,31,32,33,34,35,36,37, |
| 38,39,40,41,42,43,29,30,21,6, |
| 7,8,9,10,104,0,1,102,0,84, |
| 75,66,31,32,33,34,35,36,37,38, |
| 39,40,41,42,43,29,30,21,6,7, |
| 8,9,10,12,13,11,14,15,16,17, |
| 18,19,45,3,50,49,72,53,67,23, |
| 68,44,70,71,22,59,60,58,5,20, |
| 51,24,25,26,27,28,46,47,48,61, |
| 57,55,56,65,62,63,73,64,69,74, |
| 1,52,54,125,78,82,79,83,76,80, |
| 77,81,0,76,77,78,79,80,81,82, |
| 83,66,31,32,33,34,35,36,37,38, |
| 39,40,41,42,43,29,30,21,45,50, |
| 49,72,53,67,23,68,44,70,71,59, |
| 60,58,5,20,51,24,25,26,27,28, |
| 46,47,48,61,57,55,56,65,62,63, |
| 73,64,69,74,1,52,54,75,4,2, |
| 12,13,11,14,15,16,17,18,19,22, |
| 6,7,8,9,10,3,0,84,85,2, |
| 133,0,4,76,77,78,79,80,81,82, |
| 83,75,52,54,74,69,64,73,62,63, |
| 65,53,59,60,58,5,20,51,23,24, |
| 25,26,27,28,46,47,48,61,57,55, |
| 56,6,7,8,9,10,22,70,71,44, |
| 68,67,72,31,32,33,34,35,36,37, |
| 38,39,40,41,42,43,29,30,21,66, |
| 115,1,12,13,11,14,15,16,17,18, |
| 19,45,3,50,49,0,88,1,0,5, |
| 84,99,100,109,93,88,4,87,134,133, |
| 2,86,85,0,105,107,116,108,101,98, |
| 92,2,97,90,96,0,2,131,0,84, |
| 87,93,89,5,0,127,84,87,0,86, |
| 66,72,67,68,44,70,71,22,73,64, |
| 69,74,1,75,76,77,78,79,80,81, |
| 82,83,65,53,12,13,11,14,15,16, |
| 17,18,19,45,50,49,59,60,58,5, |
| 20,51,23,24,25,26,27,28,46,47, |
| 48,61,57,55,56,62,63,52,54,31, |
| 32,33,34,35,36,37,38,39,40,41, |
| 42,43,29,30,21,6,7,8,9,10, |
| 2,3,0,2,109,120,0,51,52,23, |
| 24,25,26,5,27,28,20,84,114,126, |
| 99,85,100,127,128,129,120,109,131,121, |
| 122,46,47,48,132,93,123,92,1,88, |
| 87,2,4,0,121,2,122,0,2,115, |
| 0,114,87,0,84,85,2,135,0,1, |
| 2,85,100,0,12,13,11,14,15,16, |
| 17,18,19,22,6,7,8,9,10,3, |
| 2,86,0,44,136,0,84,121,2,1, |
| 0,4,88,0,3,130,44,0,4,2, |
| 99,0,2,4,3,103,106,93,0,21, |
| 64,123,85,3,2,84,0,3,110,104, |
| 0,93,103,106,2,6,7,8,9,10, |
| 22,12,13,11,14,15,16,17,18,19, |
| 3,90,0,1,88,2,87,0,4,87, |
| 93,89,99,85,0,85,100,2,92,0, |
| 99,51,52,23,24,25,26,5,27,28, |
| 20,1,119,126,100,102,128,129,46,47, |
| 48,132,88,2,89,4,87,0,88,1, |
| 85,137,87,0,84,85,2,89,109,0, |
| 98,0,138,0,138,88,1,2,87,117, |
| 118,85,124,0,85,84,123,0,86,85, |
| 133,2,89,0 |
| }; |
| }; |
| public final static char asr[] = Asr.asr; |
| public final int asr(int index) { return asr[index]; } |
| |
| public interface Nasb { |
| public final static char nasb[] = {0, |
| 43,79,53,15,34,79,79,79,79,79, |
| 79,79,79,79,79,66,66,66,66,66, |
| 66,66,66,66,66,66,66,66,66,66, |
| 66,66,66,66,66,66,79,66,149,26, |
| 78,78,79,77,73,23,74,74,74,12, |
| 79,79,31,79,79,79,79,53,149,164, |
| 50,149,1,74,4,74,86,79,79,79, |
| 79,79,79,79,79,79,79,79,79,79, |
| 79,79,79,79,79,79,74,79,79,74, |
| 149,149,79,79,74,149,79,79,79,79, |
| 149,177,79,82,145,115,115,124,124,131, |
| 131,29,79,79,138,138,56,56,56,56, |
| 117,117,117,110,149,63,53,100,79,68, |
| 79,79,162,79,79,79,79,79,74,74, |
| 79,79,77,77,77,78,74,74,74,74, |
| 74,74,74,74,74,74,74,74,74,74, |
| 74,79,74,74,79,151,89,74,115,74, |
| 79,95,77,170,79,73,172,73,66,66, |
| 115,115,66,66,66,66,79,79,79,79, |
| 79,79,79,79,79,79,79,79,79,79, |
| 79,79,79,79,79,79,79,32,73,7, |
| 74,77,79,79,79,79,149,34,53,79, |
| 73,6,74,74,74,74,79,79,79,79, |
| 79,79,79,79,79,79,79,79,79,79, |
| 79,79,79,79,79,79,66,79,79,66, |
| 149,79,79,149,77,79,79,79,74,41, |
| 149,149,79,79,79,79,149,74,149,149, |
| 79,79,79,79,79,79,74,79,32,72, |
| 74,74,74,32,79,79,79,100,160,149, |
| 78,79,89,149,149,175,79,73,73,198, |
| 32,73,79,149,106,79,79,149,74,149, |
| 74,74,74,74,79,79,149,79,79,79, |
| 79,79,79,74,34,194,77,18,187,70, |
| 79,149,73,79,149,79,79,74,73,73, |
| 74,149,74,79,79,79,79,66,32,74, |
| 32,73,77,74,160,92,64,79,103,79, |
| 79,78,149,78,79,79,182,74,73,156, |
| 74,79,149,79,79,79,194,201,79,149, |
| 201,36,79,64,64,180,79,79,9,74, |
| 79,79,79,79,80,74,74,92,208,152, |
| 74,184,149,74,77,79,79,168,196,196, |
| 98,78,79,73,108,74,79,79,149,149, |
| 79,79,79,149,74,79,79,77,51,78, |
| 78,78,79,21,190,74,184,79,205,79, |
| 74,149,79,79,79,149,149,95,149,79, |
| 79,77,79,79,187,78,192,79,74,149, |
| 79,79,79,149,79,77,74,79 |
| }; |
| }; |
| public final static char nasb[] = Nasb.nasb; |
| public final int nasb(int index) { return nasb[index]; } |
| |
| public interface Nasr { |
| public final static char nasr[] = {0, |
| 75,3,0,132,0,57,71,0,65,81, |
| 0,127,128,0,74,3,0,84,3,0, |
| 58,0,166,3,0,160,161,0,140,0, |
| 162,57,0,83,0,88,86,87,3,0, |
| 77,0,12,5,6,1,4,82,0,3, |
| 7,0,72,3,0,12,5,6,1,4, |
| 40,0,3,66,0,51,0,107,0,165, |
| 0,57,3,6,5,12,4,1,0,172, |
| 0,12,10,15,3,6,8,0,121,122, |
| 0,114,88,0,118,3,0,103,0,82, |
| 3,0,85,3,0,174,0,176,0,1, |
| 5,4,12,47,6,0,12,5,6,1, |
| 4,45,0,1,6,5,4,12,43,0, |
| 12,5,6,1,4,38,0,1,6,5, |
| 4,12,35,0,170,6,8,133,3,0, |
| 3,4,111,109,0,4,1,3,0,112, |
| 0,163,0,150,146,144,0,148,0,138, |
| 0,168,125,0,159,0,167,3,0,149, |
| 0,92,0,117,65,0,108,65,0,152, |
| 0,154,0,113,0,104,0,3,91,0, |
| 65,115,3,0,65,90,0,151,3,0 |
| }; |
| }; |
| public final static char nasr[] = Nasr.nasr; |
| public final int nasr(int index) { return nasr[index]; } |
| |
| public interface TerminalIndex { |
| public final static char terminalIndex[] = {0, |
| 11,144,143,12,7,63,64,65,66,67, |
| 88,89,90,91,92,94,95,96,97,10, |
| 59,93,3,4,5,6,8,9,57,58, |
| 68,69,70,71,72,73,74,75,76,77, |
| 78,79,87,34,38,48,49,50,138,140, |
| 1,2,60,51,80,81,82,83,84,85, |
| 86,114,115,102,116,33,35,36,44,55, |
| 56,98,100,141,53,120,121,122,123,124, |
| 125,126,127,14,22,13,19,21,20,139, |
| 117,146,54,111,118,107,108,113,18,23, |
| 112,25,101,105,106,109,128,142,30,103, |
| 135,136,137,16,28,104,133,134,15,29, |
| 46,47,99,131,145,17,24,26,27,37, |
| 45,52,110,31,119,129,130,132,39,40, |
| 41,42,43,61,62 |
| }; |
| }; |
| public final static char terminalIndex[] = TerminalIndex.terminalIndex; |
| public final int terminalIndex(int index) { return terminalIndex[index]; } |
| |
| public interface NonterminalIndex { |
| public final static char nonterminalIndex[] = {0, |
| 169,0,188,172,148,150,175,149,0,170, |
| 0,0,0,0,225,164,166,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,165,0,162,163,159,160, |
| 161,157,158,155,156,153,154,151,152,0, |
| 0,171,0,0,0,181,180,235,220,0, |
| 0,0,0,0,0,199,0,0,0,219, |
| 182,190,191,204,206,0,222,186,0,0, |
| 198,203,205,208,210,212,213,214,216,218, |
| 221,229,174,0,177,0,0,185,0,0, |
| 0,0,193,0,194,0,196,197,200,201, |
| 202,207,209,211,215,0,217,0,0,0, |
| 0,0,228,230,233,147,167,168,0,0, |
| 173,176,178,0,0,179,0,183,0,184, |
| 0,0,0,187,0,189,0,0,192,195, |
| 0,0,0,0,0,0,0,0,0,223, |
| 224,226,0,227,0,231,232,0,0,234, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0 |
| }; |
| }; |
| public final static char nonterminalIndex[] = NonterminalIndex.nonterminalIndex; |
| public final int nonterminalIndex(int index) { return nonterminalIndex[index]; } |
| |
| public interface ScopePrefix { |
| public final static char scopePrefix[] = { |
| 146,388,96,96,182,182,51,51,416,446, |
| 396,155,16,23,28,79,79,177,197,197, |
| 202,207,212,217,225,225,257,262,278,283, |
| 288,293,298,303,308,313,318,323,328,333, |
| 338,343,348,353,358,363,368,1,79,238, |
| 238,79,79,177,177,33,33,39,39,67, |
| 67,373,377,434,438,452,9,267,271,381, |
| 422,442,271,406,406,166,73,129,222,45, |
| 45,73,137,137,73,73,222,222,45,45, |
| 73,73,73,132,249,249,132,456,456,464, |
| 464,472,472,472,472,486,486,494,494,494, |
| 132 |
| }; |
| }; |
| public final static char scopePrefix[] = ScopePrefix.scopePrefix; |
| public final int scopePrefix(int index) { return scopePrefix[index]; } |
| |
| public interface ScopeSuffix { |
| public final static char scopeSuffix[] = { |
| 71,21,37,113,37,21,37,43,21,21, |
| 402,161,21,21,21,37,113,37,37,21, |
| 21,21,21,21,37,71,21,21,21,21, |
| 21,21,21,21,21,21,21,21,21,21, |
| 21,21,21,21,21,21,21,6,88,243, |
| 246,103,119,189,193,37,21,37,43,37, |
| 71,21,21,71,71,21,13,143,275,385, |
| 426,275,275,402,410,170,37,71,37,21, |
| 48,76,140,143,84,115,230,234,57,62, |
| 91,107,123,134,251,254,426,458,461,466, |
| 469,474,477,480,483,488,491,496,499,502, |
| 429 |
| }; |
| }; |
| public final static char scopeSuffix[] = ScopeSuffix.scopeSuffix; |
| public final int scopeSuffix(int index) { return scopeSuffix[index]; } |
| |
| public interface ScopeLhs { |
| public final static char scopeLhs[] = { |
| 32,135,33,33,14,14,125,125,135,17, |
| 135,32,9,9,9,33,33,14,13,13, |
| 31,31,120,120,11,11,128,128,10,9, |
| 9,9,9,9,9,9,9,9,9,9, |
| 9,9,9,9,9,95,95,64,33,61, |
| 63,33,33,14,14,134,134,169,169,166, |
| 166,54,55,23,22,17,58,36,96,57, |
| 136,19,19,135,135,32,33,124,11,18, |
| 125,33,36,36,33,33,11,11,125,125, |
| 33,33,33,136,110,110,136,38,38,40, |
| 40,43,43,43,43,45,45,47,47,47, |
| 136 |
| }; |
| }; |
| public final static char scopeLhs[] = ScopeLhs.scopeLhs; |
| public final int scopeLhs(int index) { return scopeLhs[index]; } |
| |
| public interface ScopeLa { |
| public final static char scopeLa[] = { |
| 84,4,2,122,2,4,2,85,4,4, |
| 99,4,4,4,4,2,122,2,2,4, |
| 4,4,4,4,2,84,4,4,4,4, |
| 4,4,4,4,4,4,4,4,4,4, |
| 4,4,4,4,4,4,4,4,121,109, |
| 109,121,121,87,87,2,4,2,85,2, |
| 84,4,4,84,84,4,4,93,114,5, |
| 99,114,114,99,85,85,2,84,2,4, |
| 4,131,93,93,131,131,86,86,4,4, |
| 131,131,131,99,88,88,99,24,23,52, |
| 51,28,27,26,25,20,5,48,47,46, |
| 87 |
| }; |
| }; |
| public final static char scopeLa[] = ScopeLa.scopeLa; |
| public final int scopeLa(int index) { return scopeLa[index]; } |
| |
| public interface ScopeStateSet { |
| public final static char scopeStateSet[] = { |
| 54,14,54,54,53,53,16,16,14,54, |
| 14,54,52,52,52,54,54,53,53,53, |
| 54,54,13,13,149,149,31,31,53,52, |
| 52,52,52,52,52,52,52,52,52,52, |
| 52,52,52,52,52,13,13,138,54,138, |
| 138,54,54,53,53,14,14,17,17,33, |
| 33,35,35,54,54,54,1,57,13,19, |
| 29,54,54,14,14,54,54,242,149,54, |
| 16,54,57,57,54,54,149,149,16,16, |
| 54,54,54,29,49,49,29,59,59,61, |
| 61,65,65,65,65,67,67,70,70,70, |
| 29 |
| }; |
| }; |
| public final static char scopeStateSet[] = ScopeStateSet.scopeStateSet; |
| public final int scopeStateSet(int index) { return scopeStateSet[index]; } |
| |
| public interface ScopeRhs { |
| public final static char scopeRhs[] = {0, |
| 193,1,319,95,0,12,0,0,198,1, |
| 91,0,12,0,0,201,1,196,56,0, |
| 12,0,201,1,196,55,0,201,1,196, |
| 57,0,281,1,315,0,188,0,204,115, |
| 121,0,22,0,193,1,0,12,188,0, |
| 204,115,4,193,1,0,12,28,220,188, |
| 0,12,28,220,22,0,313,312,86,0, |
| 14,0,193,69,0,45,188,0,269,131, |
| 193,69,0,45,230,188,0,46,188,0, |
| 45,230,46,188,0,269,121,269,131,193, |
| 69,0,46,230,188,0,45,230,46,230, |
| 188,0,47,0,45,230,47,0,46,230, |
| 47,0,45,230,46,230,47,0,213,86, |
| 0,202,0,18,188,0,307,75,0,54, |
| 188,0,54,151,0,213,86,4,193,85, |
| 193,1,73,0,193,85,193,1,73,0, |
| 12,13,0,14,0,193,1,73,0,22, |
| 151,12,13,0,14,0,255,1,306,157, |
| 0,267,87,255,1,306,157,0,19,0, |
| 188,0,19,0,12,0,267,1,305,157, |
| 0,198,1,146,63,0,198,1,146,62, |
| 0,198,1,151,63,0,198,1,151,62, |
| 0,303,64,0,263,86,303,64,0,13, |
| 0,188,0,13,0,14,0,201,89,3, |
| 94,0,30,188,0,30,151,0,254,0, |
| 21,188,0,21,143,0,242,1,151,129, |
| 0,242,1,151,128,0,284,202,75,0, |
| 197,119,151,0,16,0,0,198,1,196, |
| 153,0,198,1,196,48,0,198,1,196, |
| 47,0,198,1,196,46,0,198,1,196, |
| 28,0,198,1,196,27,0,198,1,196, |
| 26,0,198,1,196,25,0,198,1,196, |
| 24,0,198,1,196,23,0,198,1,196, |
| 51,0,198,1,196,20,0,198,1,196, |
| 5,0,198,1,196,58,0,198,1,196, |
| 60,0,198,1,196,59,0,198,1,196, |
| 151,0,198,1,196,54,0,198,1,196, |
| 52,0,282,1,22,0,201,1,149,0, |
| 201,89,3,0,7,151,0,193,99,202, |
| 85,202,1,31,0,202,85,202,1,31, |
| 0,18,151,12,0,202,1,31,0,22, |
| 180,18,151,12,0,193,99,202,1,31, |
| 0,202,87,202,0,18,151,0,19,180, |
| 18,151,0,277,86,22,0,275,86,149, |
| 0,197,119,150,0,198,1,151,88,146, |
| 0,198,1,66,0,182,0,4,165,0, |
| 3,165,0,186,0,2,163,0,1,163, |
| 0,187,0,9,160,0,8,160,0,6, |
| 160,0,5,160,0,189,0,10,158,0, |
| 7,158,0,191,0,50,156,0,49,156, |
| 0,48,156,0 |
| }; |
| }; |
| public final static char scopeRhs[] = ScopeRhs.scopeRhs; |
| public final int scopeRhs(int index) { return scopeRhs[index]; } |
| |
| public interface ScopeState { |
| public final static char scopeState[] = {0, |
| 958,887,881,816,745,674,603,1303,1238,1173, |
| 532,0,2743,5673,0,5786,5734,0,5742,5705, |
| 5703,5641,2880,599,598,5731,597,953,2634,0, |
| 669,0,938,0,5723,5709,5850,5838,5691,5831, |
| 5826,5821,5816,5790,5748,5728,1105,5683,5700,5686, |
| 0,5673,2743,5638,5603,1463,5566,5529,5490,5451, |
| 5409,5367,1419,1112,5323,5279,5233,5187,5141,5042, |
| 4991,4940,4175,4889,4838,4787,4736,4124,4045,3994, |
| 4685,3943,3892,3102,3841,4634,3048,2994,2940,2886, |
| 3461,3790,3739,4583,2787,2688,2634,3408,4532,2580, |
| 3313,4481,4430,3688,4379,3637,3586,3262,2526,2472, |
| 2418,2364,2310,2256,2202,2148,2094,2040,1986,1932, |
| 1878,1824,1770,1716,1662,1608,1554,4328,5093,4277, |
| 3209,3156,1368,1500,4226,3512,1029,958,887,816, |
| 745,674,603,1303,1238,1173,532,0,958,887, |
| 5696,5042,4991,816,4940,4175,4889,745,4838,4787, |
| 674,4736,4124,603,4045,3994,4685,1303,1238,3943, |
| 3892,3102,3841,4634,3048,2994,2940,2886,1173,3790, |
| 3739,4583,2787,2688,2634,3408,532,4532,2580,3313, |
| 4481,4430,3688,4379,3637,3586,2526,2472,2418,2364, |
| 2310,2256,2202,2148,2094,2040,1986,1932,1878,1824, |
| 1770,1716,1662,1608,1554,5638,4328,5093,5233,5187, |
| 5141,5409,5367,1419,1112,5566,5529,5490,5451,5323, |
| 5279,4277,3209,3156,1368,1500,5603,1463,4226,3512, |
| 1029,3461,3262,0 |
| }; |
| }; |
| public final static char scopeState[] = ScopeState.scopeState; |
| public final int scopeState(int index) { return scopeState[index]; } |
| |
| public interface InSymb { |
| public final static char inSymb[] = {0, |
| 0,271,116,227,224,66,22,10,9,8, |
| 7,6,149,3,146,56,55,57,61,48, |
| 47,46,28,27,26,25,24,23,51,20, |
| 5,58,60,59,151,153,53,150,65,157, |
| 63,62,73,64,69,74,1,54,52,162, |
| 189,186,75,182,187,191,194,104,217,225, |
| 105,107,228,1,86,86,88,196,196,196, |
| 196,196,196,196,196,196,196,196,196,196, |
| 196,196,196,196,196,196,119,196,196,119, |
| 306,305,146,146,1,303,146,149,22,201, |
| 193,86,193,100,126,129,128,20,5,52, |
| 51,202,307,3,24,23,28,27,26,25, |
| 48,47,46,132,217,100,104,289,291,295, |
| 290,152,3,198,197,277,275,193,125,52, |
| 276,151,1,1,1,1,1,1,1,1, |
| 1,1,1,1,1,1,1,1,1,1, |
| 1,197,1,1,197,1,1,1,88,1, |
| 193,86,1,1,134,131,312,1,54,52, |
| 63,62,23,153,151,153,31,42,41,40, |
| 39,38,37,35,36,34,33,32,315,151, |
| 151,187,187,182,182,284,285,87,93,87, |
| 5,89,189,189,189,191,217,224,110,308, |
| 87,87,127,125,87,1,201,201,201,274, |
| 146,198,198,198,198,198,198,198,198,198, |
| 198,198,198,198,198,198,114,198,198,114, |
| 255,254,256,267,266,3,198,198,85,148, |
| 3,263,201,282,3,283,269,86,313,121, |
| 193,196,196,151,151,196,119,196,1,1, |
| 1,1,93,87,3,201,148,85,225,217, |
| 136,198,87,88,88,201,193,120,109,85, |
| 87,121,213,94,95,91,193,215,115,4, |
| 1,1,1,1,197,202,281,202,3,242, |
| 115,243,242,5,224,244,108,257,1,309, |
| 146,267,99,4,269,3,319,1,120,109, |
| 85,204,115,198,198,198,198,114,85,99, |
| 87,99,89,87,225,245,98,101,258,201, |
| 247,210,253,87,310,137,1,86,109,89, |
| 1,198,204,202,193,202,244,96,233,90, |
| 97,259,211,98,100,4,146,3,87,86, |
| 237,213,201,193,4,99,99,245,260,210, |
| 86,1,260,5,89,211,211,292,118,117, |
| 294,89,213,109,4,133,193,296,133,255, |
| 213,261,210,262,86,193,201,89,5,124, |
| 249,249,146,135,86,86,1,3,87,213, |
| 5,201,152,218,146,250,250,297,21,193, |
| 261,89,193,138,1,87,298,263,86,84, |
| 4,247,299,123,213,89,86,213 |
| }; |
| }; |
| public final static char inSymb[] = InSymb.inSymb; |
| public final int inSymb(int index) { return inSymb[index]; } |
| |
| public interface Name { |
| public final static String name[] = { |
| "", |
| "+", |
| "-", |
| "*", |
| "/", |
| ">", |
| "<", |
| "=", |
| ">=", |
| "<=", |
| "<>", |
| "(", |
| ")", |
| "{", |
| "}", |
| "[", |
| "]", |
| "->", |
| "|", |
| ",", |
| ":", |
| "::", |
| ";", |
| ".", |
| "..", |
| "@pre", |
| "^", |
| "^^", |
| "?", |
| "+=", |
| ":=", |
| "@", |
| "$empty", |
| "NUMERIC_OPERATION", |
| "STRING_LITERAL", |
| "INTEGER_LITERAL", |
| "REAL_LITERAL", |
| "QUOTE_STRING_LITERAL", |
| "self", |
| "inv", |
| "pre", |
| "post", |
| "endpackage", |
| "def", |
| "if", |
| "then", |
| "else", |
| "endif", |
| "and", |
| "or", |
| "xor", |
| "not", |
| "implies", |
| "let", |
| "in", |
| "true", |
| "false", |
| "body", |
| "derive", |
| "init", |
| "null", |
| "attr", |
| "oper", |
| "Set", |
| "Bag", |
| "Sequence", |
| "Collection", |
| "OrderedSet", |
| "iterate", |
| "forAll", |
| "exists", |
| "isUnique", |
| "any", |
| "one", |
| "collect", |
| "select", |
| "reject", |
| "collectNested", |
| "sortedBy", |
| "closure", |
| "oclIsKindOf", |
| "oclIsTypeOf", |
| "oclAsType", |
| "oclIsNew", |
| "oclIsUndefined", |
| "oclIsInvalid", |
| "oclIsInState", |
| "allInstances", |
| "String", |
| "Integer", |
| "UnlimitedNatural", |
| "Real", |
| "Boolean", |
| "Tuple", |
| "OclAny", |
| "OclVoid", |
| "Invalid", |
| "OclMessage", |
| "OclInvalid", |
| "end", |
| "while", |
| "out", |
| "object", |
| "transformation", |
| "import", |
| "library", |
| "metamodel", |
| "mapping", |
| "query", |
| "inout", |
| "when", |
| "var", |
| "configuration", |
| "property", |
| "map", |
| "xmap", |
| "late", |
| "log", |
| "assert", |
| "with", |
| "resolve", |
| "resolveone", |
| "resolveIn", |
| "resolveoneIn", |
| "invresolve", |
| "invresolveone", |
| "invresolveIn", |
| "invresolveoneIn", |
| "modeltype", |
| "uses", |
| "where", |
| "refines", |
| "enforcing", |
| "access", |
| "extends", |
| "blackbox", |
| "abstract", |
| "static", |
| "result", |
| "main", |
| "this", |
| "switch", |
| "rename", |
| "IDENTIFIER", |
| "ERROR_TOKEN", |
| "INTEGER_RANGE_START", |
| "EOF_TOKEN", |
| "QvtLwGoal", |
| "keywordAsIdentifier1", |
| "keywordAsIdentifier", |
| "simpleNameCS", |
| "oclExpressionCS", |
| "impliesExpCS", |
| "andOrXorExpCS", |
| "andOrXorWithLet", |
| "equalityExpCS", |
| "equalityWithLet", |
| "relationalExpCS", |
| "relationalWithLet", |
| "ifExpCSPrec", |
| "additiveWithLet", |
| "additiveExpCS", |
| "multiplicativeExpCS", |
| "multiplicativeWithLet", |
| "unaryExpCS", |
| "unaryWithLet", |
| "dotArrowExpCS", |
| "callExpCS", |
| "messageExpCS", |
| "pathNameCS", |
| "keywordOperationCallExpCS", |
| "argumentsCS", |
| "collectionTypeIdentifierCS", |
| "collectionLiteralPartsCS", |
| "collectionLiteralPartCS", |
| "stringLiteralExpCS", |
| "variableListCS2", |
| "featureCallExpCS", |
| "loopExpCS", |
| "iterContents", |
| "variableCS", |
| "typeCS", |
| "variableCS2", |
| "variableListCS", |
| "letExpSubCS", |
| "oclMessageArgumentsCS", |
| "oclMessageArgCS", |
| "transformationCS", |
| "qvtErrorToken", |
| "transformationHeaderCS", |
| "qualifiedNameCS", |
| "moduleRefCS", |
| "moduleUsageList", |
| "moduleUsageCS", |
| "moduleRefList", |
| "qualifierList", |
| "qualifierCS", |
| "transfParamList", |
| "transfParamCS", |
| "qvtIdentifierCS", |
| "typeCS2", |
| "scopedNameCS", |
| "scopedNameCS2", |
| "moduleImportList", |
| "importCS", |
| "metamodelList", |
| "metamodelCS", |
| "renamingList", |
| "renamingCS", |
| "propertyList", |
| "modulePropertyCS", |
| "mappingRuleList", |
| "mappingRuleCS", |
| "mappingQueryCS", |
| "entryDeclarationCS", |
| "mappingDeclarationCS", |
| "typeSpecCS", |
| "parameterList", |
| "parameterDeclarationCS", |
| "statementInnerList", |
| "statementCS", |
| "patternPropertyOrAddition2", |
| "patternPropertyOrAddition", |
| "resolveOp", |
| "resolveInOp", |
| "resolveResolveInExpCS", |
| "letExpSubCS3", |
| "packageRefList", |
| "packageRefCS", |
| "qvtStringLiteralExpCS", |
| "ifExpBodyCS", |
| "switchBodyExpCS", |
| "switchAltExpCSList", |
| "switchAltExpCS", |
| "iteratorExpCSToken", |
| "logExpCS" |
| }; |
| }; |
| public final static String name[] = Name.name; |
| public final String name(int index) { return name[index]; } |
| |
| public final static int |
| ERROR_SYMBOL = 2, |
| SCOPE_UBOUND = 110, |
| SCOPE_SIZE = 111, |
| MAX_NAME_LENGTH = 26; |
| |
| public final int getErrorSymbol() { return ERROR_SYMBOL; } |
| public final int getScopeUbound() { return SCOPE_UBOUND; } |
| public final int getScopeSize() { return SCOPE_SIZE; } |
| public final int getMaxNameLength() { return MAX_NAME_LENGTH; } |
| |
| public final static int |
| NUM_STATES = 468, |
| NT_OFFSET = 145, |
| LA_STATE_OFFSET = 6640, |
| MAX_LA = 2, |
| NUM_RULES = 531, |
| NUM_NONTERMINALS = 182, |
| NUM_SYMBOLS = 327, |
| SEGMENT_SIZE = 8192, |
| START_STATE = 1029, |
| IDENTIFIER_SYMBOL = 3, |
| EOFT_SYMBOL = 92, |
| EOLT_SYMBOL = 92, |
| ACCEPT_ACTION = 6108, |
| ERROR_ACTION = 6109; |
| |
| public final static boolean BACKTRACK = true; |
| |
| public final int getNumStates() { return NUM_STATES; } |
| public final int getNtOffset() { return NT_OFFSET; } |
| public final int getLaStateOffset() { return LA_STATE_OFFSET; } |
| public final int getMaxLa() { return MAX_LA; } |
| public final int getNumRules() { return NUM_RULES; } |
| public final int getNumNonterminals() { return NUM_NONTERMINALS; } |
| public final int getNumSymbols() { return NUM_SYMBOLS; } |
| public final int getSegmentSize() { return SEGMENT_SIZE; } |
| public final int getStartState() { return START_STATE; } |
| public final int getStartSymbol() { return lhs[0]; } |
| public final int getIdentifierSymbol() { return IDENTIFIER_SYMBOL; } |
| public final int getEoftSymbol() { return EOFT_SYMBOL; } |
| public final int getEoltSymbol() { return EOLT_SYMBOL; } |
| public final int getAcceptAction() { return ACCEPT_ACTION; } |
| public final int getErrorAction() { return ERROR_ACTION; } |
| public final boolean isValidForParser() { return isValidForParser; } |
| public final boolean getBacktrack() { return BACKTRACK; } |
| |
| public final int originalState(int state) { |
| return -baseCheck[state]; |
| } |
| public final int asi(int state) { |
| return asb[originalState(state)]; |
| } |
| public final int nasi(int state) { |
| return nasb[originalState(state)]; |
| } |
| public final int inSymbol(int state) { |
| return inSymb[originalState(state)]; |
| } |
| |
| public final int ntAction(int state, int sym) { |
| return baseAction[state + sym]; |
| } |
| |
| public final int tAction(int state, int sym) { |
| int i = baseAction[state], |
| k = i + sym; |
| return termAction[termCheck[k] == sym ? k : i]; |
| } |
| public final int lookAhead(int la_state, int sym) { |
| int k = la_state + sym; |
| return termAction[termCheck[k] == sym ? k : la_state]; |
| } |
| } |
