Adding new functions to the serpent grammar

This commit is contained in:
romanman 2014-05-28 17:03:10 +03:00
parent 1d5584885a
commit a175dc699f
14 changed files with 1703 additions and 970 deletions

View File

@ -132,7 +132,9 @@ public class SerpentTokenMaker extends AbstractTokenMaker {
int function = Token.FUNCTION; int function = Token.FUNCTION;
tokenMap.put("msg", function); tokenMap.put("msg", function);
tokenMap.put("data", function);
tokenMap.put("contract", function); tokenMap.put("contract", function);
tokenMap.put("storage", function);
tokenMap.put("block", function); tokenMap.put("block", function);
tokenMap.put("tx", function); tokenMap.put("tx", function);

View File

@ -66,7 +66,7 @@ public class PeerData {
@Override @Override
public String toString() { public String toString() {
return "Peer: [ip=" + getInetAddress().getHostName() + ", port=" + getPort() + ", peerId=" + Hex.toHexString(getPeerId()) + "]"; return "Peer: [ip=" + getInetAddress().getHostAddress() + ", port=" + getPort() + ", peerId=" + Hex.toHexString(getPeerId()) + "]";
} }
@Override @Override

View File

@ -28,7 +28,8 @@ parse: block EOF
; ;
block: ( asm | assign | special_func | if_elif_else_stmt | while_stmt | ret_func | msg_func)* ; block: ( asm | assign | contract_storage_assign | special_func | if_elif_else_stmt |
while_stmt | ret_func_1 | ret_func_2 | suicide_func | stop_func)* ;
asm: '[asm' asm_symbol 'asm]' NL; asm: '[asm' asm_symbol 'asm]' NL;
@ -100,8 +101,11 @@ block_gaslimit
: 'block.gaslimit' ; : 'block.gaslimit' ;
msg_func: 'msg' '(' int_val ',' int_val ',' int_val ',' int_val ',' int_val ')' ; msg_func: 'msg' '(' int_val ',' int_val ',' int_val ',' int_val ',' int_val ')' ;
msg_data: 'msg.data' '[' expression ']' ;
assign: VAR EQ_OP expression NL; assign: VAR EQ_OP expression NL;
contract_storage_assign: 'contract.storage' '[' expression ']' EQ_OP expression NL;
contract_storage_load: 'contract.storage' '[' expression ']';
mul_expr mul_expr
@ -161,7 +165,9 @@ int_val : INT |
special_func | special_func |
'(' expression ')' | '(' expression ')' |
OP_NOT '(' expression ')' | OP_NOT '(' expression ')' |
msg_func msg_func |
msg_data |
contract_storage_load
; ;
// todo: here the val should include also retrieve a variable // todo: here the val should include also retrieve a variable
@ -169,7 +175,10 @@ hex_num
: HEX_NUMBER : HEX_NUMBER
; ;
ret_func: 'return' '(' INT ')' NL; ret_func_1: 'return' '(' expression ')' NL;
ret_func_2: 'return' '(' expression ',' expression ')' NL;
suicide_func: 'suicide' '(' expression ')' NL;
stop_func: 'stop' NL;
get_var: VAR; get_var: VAR;

View File

@ -1,75 +1,87 @@
OP_IN_OR=42 OP_IN_OR=48
EQ_OP=32 T__29=2
OP_AND=41 EQ_OP=38
LINE_COMMENT=35 T__28=3
T__24=1 T__27=4
OP_LOG_OR=30 T__26=5
T__23=2 OP_AND=47
T__22=3 T__25=6
OP_ADD=37 T__24=7
T__21=4 T__23=8
T__20=5 T__22=9
OP_MUL=38 T__21=10
HEX_DIGIT=43 T__20=11
DEDENT=46 OP_MUL=44
INT=26 DEDENT=52
T__9=16 T__9=22
T__8=17 T__8=23
T__7=18 T__7=24
INDENT=45 INDENT=51
T__6=19 T__6=25
T__5=20 T__5=26
T__4=21 T__4=27
T__19=6 T__19=12
OP_EQ=40 OP_EQ=46
WS=34 T__16=15
T__16=9 T__15=16
T__15=10 T__18=13
T__18=7 T__17=14
T__17=8 T__12=19
T__12=13 T__11=20
T__11=14 T__14=17
T__14=11 T__13=18
T__13=12 T__10=21
T__1=24 OP_EX_OR=34
T__0=25 OP_NOT=37
T__10=15 VAR=42
T__3=22 NL=39
T__2=23 LINE_COMMENT=41
OP_EX_OR=28 OP_LOG_OR=36
ASM_SYMBOLS=27 OP_ADD=43
VAR=36 HEX_DIGIT=49
OP_NOT=31 INT=32
NL=33 T__30=1
HEX_NUMBER=44 WS=40
OP_REL=39 T__1=30
OP_LOG_AND=29 T__0=31
'|'=42 T__3=28
'block.number'=24 T__2=29
'block.gaslimit'=22 ASM_SYMBOLS=33
'asm]'=21 HEX_NUMBER=50
'contract.balance'=20 OP_REL=45
'msg.sender'=16 OP_LOG_AND=35
'='=32 '|'=48
'return'=15 'block.number'=31
'elif'=14 'block.gaslimit'=30
'tx.origin'=7 'asm]'=29
'else:'=5 'contract.balance'=28
'tx.gasprice'=4 'msg.sender'=27
')'=3 '='=38
'xor'=28 'return'=26
'msg.datasize'=1 'elif'=25
'block.difficulty'=25 'tx.origin'=23
'block.prevhash'=23 'msg.data'=24
'msg.value'=19 'else:'=21
'[asm'=18 'tx.gasprice'=22
'block.timestamp'=17 ')'=20
'if'=13 'xor'=34
'('=12 'msg.datasize'=19
':'=11 'block.difficulty'=18
'msg'=10 'suicide'=17
'tx.gas'=9 'block.prevhash'=15
'while'=8 'contract.storage'=16
','=6 'msg.value'=14
'block.coinbase'=2 '[asm'=13
'&'=41 'block.timestamp'=12
'if'=11
':'=10
'('=9
'['=8
'while'=7
'tx.gas'=6
'msg'=5
','=4
'block.coinbase'=3
'&'=47
'stop'=2
']'=1

View File

@ -103,6 +103,19 @@ public class SerpentBaseListener implements SerpentListener {
*/ */
@Override public void exitAsm_symbol(@NotNull SerpentParser.Asm_symbolContext ctx) { } @Override public void exitAsm_symbol(@NotNull SerpentParser.Asm_symbolContext ctx) { }
/**
* {@inheritDoc}
* <p/>
* The default implementation does nothing.
*/
@Override public void enterContract_storage_assign(@NotNull SerpentParser.Contract_storage_assignContext ctx) { }
/**
* {@inheritDoc}
* <p/>
* The default implementation does nothing.
*/
@Override public void exitContract_storage_assign(@NotNull SerpentParser.Contract_storage_assignContext ctx) { }
/** /**
* {@inheritDoc} * {@inheritDoc}
* <p/> * <p/>
@ -207,6 +220,19 @@ public class SerpentBaseListener implements SerpentListener {
*/ */
@Override public void exitTx_gasprice(@NotNull SerpentParser.Tx_gaspriceContext ctx) { } @Override public void exitTx_gasprice(@NotNull SerpentParser.Tx_gaspriceContext ctx) { }
/**
* {@inheritDoc}
* <p/>
* The default implementation does nothing.
*/
@Override public void enterContract_storage_load(@NotNull SerpentParser.Contract_storage_loadContext ctx) { }
/**
* {@inheritDoc}
* <p/>
* The default implementation does nothing.
*/
@Override public void exitContract_storage_load(@NotNull SerpentParser.Contract_storage_loadContext ctx) { }
/** /**
* {@inheritDoc} * {@inheritDoc}
* <p/> * <p/>
@ -272,6 +298,19 @@ public class SerpentBaseListener implements SerpentListener {
*/ */
@Override public void exitParse(@NotNull SerpentParser.ParseContext ctx) { } @Override public void exitParse(@NotNull SerpentParser.ParseContext ctx) { }
/**
* {@inheritDoc}
* <p/>
* The default implementation does nothing.
*/
@Override public void enterSuicide_func(@NotNull SerpentParser.Suicide_funcContext ctx) { }
/**
* {@inheritDoc}
* <p/>
* The default implementation does nothing.
*/
@Override public void exitSuicide_func(@NotNull SerpentParser.Suicide_funcContext ctx) { }
/** /**
* {@inheritDoc} * {@inheritDoc}
* <p/> * <p/>
@ -285,19 +324,6 @@ public class SerpentBaseListener implements SerpentListener {
*/ */
@Override public void exitHex_num(@NotNull SerpentParser.Hex_numContext ctx) { } @Override public void exitHex_num(@NotNull SerpentParser.Hex_numContext ctx) { }
/**
* {@inheritDoc}
* <p/>
* The default implementation does nothing.
*/
@Override public void enterRet_func(@NotNull SerpentParser.Ret_funcContext ctx) { }
/**
* {@inheritDoc}
* <p/>
* The default implementation does nothing.
*/
@Override public void exitRet_func(@NotNull SerpentParser.Ret_funcContext ctx) { }
/** /**
* {@inheritDoc} * {@inheritDoc}
* <p/> * <p/>
@ -337,6 +363,19 @@ public class SerpentBaseListener implements SerpentListener {
*/ */
@Override public void exitEq_exp(@NotNull SerpentParser.Eq_expContext ctx) { } @Override public void exitEq_exp(@NotNull SerpentParser.Eq_expContext ctx) { }
/**
* {@inheritDoc}
* <p/>
* The default implementation does nothing.
*/
@Override public void enterStop_func(@NotNull SerpentParser.Stop_funcContext ctx) { }
/**
* {@inheritDoc}
* <p/>
* The default implementation does nothing.
*/
@Override public void exitStop_func(@NotNull SerpentParser.Stop_funcContext ctx) { }
/** /**
* {@inheritDoc} * {@inheritDoc}
* <p/> * <p/>
@ -467,6 +506,32 @@ public class SerpentBaseListener implements SerpentListener {
*/ */
@Override public void exitInt_val(@NotNull SerpentParser.Int_valContext ctx) { } @Override public void exitInt_val(@NotNull SerpentParser.Int_valContext ctx) { }
/**
* {@inheritDoc}
* <p/>
* The default implementation does nothing.
*/
@Override public void enterMsg_data(@NotNull SerpentParser.Msg_dataContext ctx) { }
/**
* {@inheritDoc}
* <p/>
* The default implementation does nothing.
*/
@Override public void exitMsg_data(@NotNull SerpentParser.Msg_dataContext ctx) { }
/**
* {@inheritDoc}
* <p/>
* The default implementation does nothing.
*/
@Override public void enterRet_func_2(@NotNull SerpentParser.Ret_func_2Context ctx) { }
/**
* {@inheritDoc}
* <p/>
* The default implementation does nothing.
*/
@Override public void exitRet_func_2(@NotNull SerpentParser.Ret_func_2Context ctx) { }
/** /**
* {@inheritDoc} * {@inheritDoc}
* <p/> * <p/>
@ -493,6 +558,19 @@ public class SerpentBaseListener implements SerpentListener {
*/ */
@Override public void exitAsm(@NotNull SerpentParser.AsmContext ctx) { } @Override public void exitAsm(@NotNull SerpentParser.AsmContext ctx) { }
/**
* {@inheritDoc}
* <p/>
* The default implementation does nothing.
*/
@Override public void enterRet_func_1(@NotNull SerpentParser.Ret_func_1Context ctx) { }
/**
* {@inheritDoc}
* <p/>
* The default implementation does nothing.
*/
@Override public void exitRet_func_1(@NotNull SerpentParser.Ret_func_1Context ctx) { }
/** /**
* {@inheritDoc} * {@inheritDoc}
* <p/> * <p/>

View File

@ -68,6 +68,14 @@ public class SerpentBaseVisitor<T> extends AbstractParseTreeVisitor<T> implement
*/ */
@Override public T visitAsm_symbol(@NotNull SerpentParser.Asm_symbolContext ctx) { return visitChildren(ctx); } @Override public T visitAsm_symbol(@NotNull SerpentParser.Asm_symbolContext ctx) { return visitChildren(ctx); }
/**
* {@inheritDoc}
* <p/>
* The default implementation returns the result of calling
* {@link #visitChildren} on {@code ctx}.
*/
@Override public T visitContract_storage_assign(@NotNull SerpentParser.Contract_storage_assignContext ctx) { return visitChildren(ctx); }
/** /**
* {@inheritDoc} * {@inheritDoc}
* <p/> * <p/>
@ -132,6 +140,14 @@ public class SerpentBaseVisitor<T> extends AbstractParseTreeVisitor<T> implement
*/ */
@Override public T visitTx_gasprice(@NotNull SerpentParser.Tx_gaspriceContext ctx) { return visitChildren(ctx); } @Override public T visitTx_gasprice(@NotNull SerpentParser.Tx_gaspriceContext ctx) { return visitChildren(ctx); }
/**
* {@inheritDoc}
* <p/>
* The default implementation returns the result of calling
* {@link #visitChildren} on {@code ctx}.
*/
@Override public T visitContract_storage_load(@NotNull SerpentParser.Contract_storage_loadContext ctx) { return visitChildren(ctx); }
/** /**
* {@inheritDoc} * {@inheritDoc}
* <p/> * <p/>
@ -178,7 +194,7 @@ public class SerpentBaseVisitor<T> extends AbstractParseTreeVisitor<T> implement
* The default implementation returns the result of calling * The default implementation returns the result of calling
* {@link #visitChildren} on {@code ctx}. * {@link #visitChildren} on {@code ctx}.
*/ */
@Override public T visitHex_num(@NotNull SerpentParser.Hex_numContext ctx) { return visitChildren(ctx); } @Override public T visitSuicide_func(@NotNull SerpentParser.Suicide_funcContext ctx) { return visitChildren(ctx); }
/** /**
* {@inheritDoc} * {@inheritDoc}
@ -186,7 +202,7 @@ public class SerpentBaseVisitor<T> extends AbstractParseTreeVisitor<T> implement
* The default implementation returns the result of calling * The default implementation returns the result of calling
* {@link #visitChildren} on {@code ctx}. * {@link #visitChildren} on {@code ctx}.
*/ */
@Override public T visitRet_func(@NotNull SerpentParser.Ret_funcContext ctx) { return visitChildren(ctx); } @Override public T visitHex_num(@NotNull SerpentParser.Hex_numContext ctx) { return visitChildren(ctx); }
/** /**
* {@inheritDoc} * {@inheritDoc}
@ -212,6 +228,14 @@ public class SerpentBaseVisitor<T> extends AbstractParseTreeVisitor<T> implement
*/ */
@Override public T visitEq_exp(@NotNull SerpentParser.Eq_expContext ctx) { return visitChildren(ctx); } @Override public T visitEq_exp(@NotNull SerpentParser.Eq_expContext ctx) { return visitChildren(ctx); }
/**
* {@inheritDoc}
* <p/>
* The default implementation returns the result of calling
* {@link #visitChildren} on {@code ctx}.
*/
@Override public T visitStop_func(@NotNull SerpentParser.Stop_funcContext ctx) { return visitChildren(ctx); }
/** /**
* {@inheritDoc} * {@inheritDoc}
* <p/> * <p/>
@ -292,6 +316,22 @@ public class SerpentBaseVisitor<T> extends AbstractParseTreeVisitor<T> implement
*/ */
@Override public T visitInt_val(@NotNull SerpentParser.Int_valContext ctx) { return visitChildren(ctx); } @Override public T visitInt_val(@NotNull SerpentParser.Int_valContext ctx) { return visitChildren(ctx); }
/**
* {@inheritDoc}
* <p/>
* The default implementation returns the result of calling
* {@link #visitChildren} on {@code ctx}.
*/
@Override public T visitMsg_data(@NotNull SerpentParser.Msg_dataContext ctx) { return visitChildren(ctx); }
/**
* {@inheritDoc}
* <p/>
* The default implementation returns the result of calling
* {@link #visitChildren} on {@code ctx}.
*/
@Override public T visitRet_func_2(@NotNull SerpentParser.Ret_func_2Context ctx) { return visitChildren(ctx); }
/** /**
* {@inheritDoc} * {@inheritDoc}
* <p/> * <p/>
@ -307,4 +347,12 @@ public class SerpentBaseVisitor<T> extends AbstractParseTreeVisitor<T> implement
* {@link #visitChildren} on {@code ctx}. * {@link #visitChildren} on {@code ctx}.
*/ */
@Override public T visitAsm(@NotNull SerpentParser.AsmContext ctx) { return visitChildren(ctx); } @Override public T visitAsm(@NotNull SerpentParser.AsmContext ctx) { return visitChildren(ctx); }
/**
* {@inheritDoc}
* <p/>
* The default implementation returns the result of calling
* {@link #visitChildren} on {@code ctx}.
*/
@Override public T visitRet_func_1(@NotNull SerpentParser.Ret_func_1Context ctx) { return visitChildren(ctx); }
} }

View File

@ -1,15 +1,12 @@
package org.ethereum.serpent; package org.ethereum.serpent;
import io.netty.buffer.ByteBuf;
import org.antlr.v4.runtime.tree.ParseTree; import org.antlr.v4.runtime.tree.ParseTree;
import org.ethereum.util.ByteUtil; import org.ethereum.util.ByteUtil;
import org.ethereum.vm.OpCode; import org.ethereum.vm.OpCode;
import org.spongycastle.util.BigIntegers; import org.spongycastle.util.BigIntegers;
import sun.nio.ByteBuffered;
import java.io.ByteArrayOutputStream; import java.io.ByteArrayOutputStream;
import java.math.BigInteger; import java.math.BigInteger;
import java.nio.ByteBuffer;
import java.util.ArrayList; import java.util.ArrayList;
import java.util.Collections; import java.util.Collections;
import java.util.HashMap; import java.util.HashMap;
@ -44,29 +41,35 @@ public class SerpentCompiler {
List<String> lexaList = new ArrayList<String>(); List<String> lexaList = new ArrayList<String>();
Collections.addAll(lexaList, lexaArr); Collections.addAll(lexaList, lexaArr);
// temporary remove all push inserted
// by [asm asm] block
for (int i = 0; i < lexaList.size(); ++i){
String lexa = lexaList.get(i);
if (lexa.length() >= 4 && lexa.substring(0,4).equals("PUSH")){
lexaList.remove(i);
}
}
// Encode push_n numbers // Encode push_n numbers
boolean skiping = false; boolean skiping = false;
for (int i = 0; i < lexaList.size(); ++i){ for (int i = 0; i < lexaList.size(); ++i){
String lexa = lexaList.get(i); String lexa = lexaList.get(i);
{ // skiping the [asm asm] block
if (lexa.equals("asm]")){
skiping = false;
lexaList.remove(i);
lexa = lexaList.get(i);
}
if (lexa.equals("[asm")){
skiping = true;
lexaList.remove(i);
continue;
}
if (skiping) continue;
}
if (OpCode.contains(lexa) || if (OpCode.contains(lexa) ||
lexa.contains("REF_") || lexa.contains("REF_") ||
lexa.contains("LABEL_")) continue; lexa.contains("LABEL_")) continue;
int bytesNum = ByteUtil.numBytes(lexa); int bytesNum = ByteUtil.numBytes(lexa);
String num = lexaList.remove(i); String num = lexaList.remove(i);
BigInteger bNum = new BigInteger(num); BigInteger bNum = new BigInteger(num);
byte[] bytes = BigIntegers.asUnsignedByteArray(bNum); byte[] bytes = BigIntegers.asUnsignedByteArray(bNum);
@ -131,7 +134,7 @@ public class SerpentCompiler {
// wrap plan // wrap plan
// 1) that is the code // 1) that is the code
// 2) need to wrap it with PUSH1 (codesize) PUSH1 (codestart) 000 CODECOPY 000 PUSH1 (codesize) RETURN // 2) need to wrap it with PUSH1 (codesize) PUSH1 (codestart) 000 CODECOPY 000 PUSH1 (codesize) _fURN
return baos.toByteArray(); return baos.toByteArray();
} }

View File

@ -18,35 +18,36 @@ public class SerpentLexer extends Lexer {
protected static final PredictionContextCache _sharedContextCache = protected static final PredictionContextCache _sharedContextCache =
new PredictionContextCache(); new PredictionContextCache();
public static final int public static final int
T__24=1, T__23=2, T__22=3, T__21=4, T__20=5, T__19=6, T__18=7, T__17=8, T__30=1, T__29=2, T__28=3, T__27=4, T__26=5, T__25=6, T__24=7, T__23=8,
T__16=9, T__15=10, T__14=11, T__13=12, T__12=13, T__11=14, T__10=15, T__9=16, T__22=9, T__21=10, T__20=11, T__19=12, T__18=13, T__17=14, T__16=15, T__15=16,
T__8=17, T__7=18, T__6=19, T__5=20, T__4=21, T__3=22, T__2=23, T__1=24, T__14=17, T__13=18, T__12=19, T__11=20, T__10=21, T__9=22, T__8=23, T__7=24,
T__0=25, INT=26, ASM_SYMBOLS=27, OP_EX_OR=28, OP_LOG_AND=29, OP_LOG_OR=30, T__6=25, T__5=26, T__4=27, T__3=28, T__2=29, T__1=30, T__0=31, INT=32,
OP_NOT=31, EQ_OP=32, NL=33, WS=34, LINE_COMMENT=35, VAR=36, OP_ADD=37, ASM_SYMBOLS=33, OP_EX_OR=34, OP_LOG_AND=35, OP_LOG_OR=36, OP_NOT=37, EQ_OP=38,
OP_MUL=38, OP_REL=39, OP_EQ=40, OP_AND=41, OP_IN_OR=42, HEX_DIGIT=43, NL=39, WS=40, LINE_COMMENT=41, VAR=42, OP_ADD=43, OP_MUL=44, OP_REL=45,
HEX_NUMBER=44; OP_EQ=46, OP_AND=47, OP_IN_OR=48, HEX_DIGIT=49, HEX_NUMBER=50;
public static String[] modeNames = { public static String[] modeNames = {
"DEFAULT_MODE" "DEFAULT_MODE"
}; };
public static final String[] tokenNames = { public static final String[] tokenNames = {
"<INVALID>", "<INVALID>",
"'msg.datasize'", "'block.coinbase'", "')'", "'tx.gasprice'", "'else:'", "']'", "'stop'", "'block.coinbase'", "','", "'msg'", "'tx.gas'", "'while'",
"','", "'tx.origin'", "'while'", "'tx.gas'", "'msg'", "':'", "'('", "'if'", "'['", "'('", "':'", "'if'", "'block.timestamp'", "'[asm'", "'msg.value'",
"'elif'", "'return'", "'msg.sender'", "'block.timestamp'", "'[asm'", "'msg.value'", "'block.prevhash'", "'contract.storage'", "'suicide'", "'block.difficulty'",
"'contract.balance'", "'asm]'", "'block.gaslimit'", "'block.prevhash'", "'msg.datasize'", "')'", "'else:'", "'tx.gasprice'", "'tx.origin'", "'msg.data'",
"'block.number'", "'block.difficulty'", "INT", "ASM_SYMBOLS", "'xor'", "'elif'", "'return'", "'msg.sender'", "'contract.balance'", "'asm]'",
"OP_LOG_AND", "OP_LOG_OR", "OP_NOT", "'='", "NL", "WS", "LINE_COMMENT", "'block.gaslimit'", "'block.number'", "INT", "ASM_SYMBOLS", "'xor'", "OP_LOG_AND",
"VAR", "OP_ADD", "OP_MUL", "OP_REL", "OP_EQ", "'&'", "'|'", "HEX_DIGIT", "OP_LOG_OR", "OP_NOT", "'='", "NL", "WS", "LINE_COMMENT", "VAR", "OP_ADD",
"HEX_NUMBER" "OP_MUL", "OP_REL", "OP_EQ", "'&'", "'|'", "HEX_DIGIT", "HEX_NUMBER"
}; };
public static final String[] ruleNames = { public static final String[] ruleNames = {
"T__24", "T__23", "T__22", "T__21", "T__20", "T__19", "T__18", "T__17", "T__30", "T__29", "T__28", "T__27", "T__26", "T__25", "T__24", "T__23",
"T__16", "T__15", "T__14", "T__13", "T__12", "T__11", "T__10", "T__9", "T__22", "T__21", "T__20", "T__19", "T__18", "T__17", "T__16", "T__15",
"T__8", "T__7", "T__6", "T__5", "T__4", "T__3", "T__2", "T__1", "T__0", "T__14", "T__13", "T__12", "T__11", "T__10", "T__9", "T__8", "T__7", "T__6",
"INT", "ASM_SYMBOLS", "OP_EX_OR", "OP_LOG_AND", "OP_LOG_OR", "OP_NOT", "T__5", "T__4", "T__3", "T__2", "T__1", "T__0", "INT", "ASM_SYMBOLS",
"EQ_OP", "NL", "WS", "LINE_COMMENT", "VAR", "OP_ADD", "OP_MUL", "OP_REL", "OP_EX_OR", "OP_LOG_AND", "OP_LOG_OR", "OP_NOT", "EQ_OP", "NL", "WS",
"OP_EQ", "OP_AND", "OP_IN_OR", "HEX_DIGIT", "HEX_NUMBER" "LINE_COMMENT", "VAR", "OP_ADD", "OP_MUL", "OP_REL", "OP_EQ", "OP_AND",
"OP_IN_OR", "HEX_DIGIT", "HEX_NUMBER"
}; };
@ -88,9 +89,9 @@ public class SerpentLexer extends Lexer {
@Override @Override
public void action(RuleContext _localctx, int ruleIndex, int actionIndex) { public void action(RuleContext _localctx, int ruleIndex, int actionIndex) {
switch (ruleIndex) { switch (ruleIndex) {
case 33: WS_action((RuleContext)_localctx, actionIndex); break; case 39: WS_action((RuleContext)_localctx, actionIndex); break;
case 34: LINE_COMMENT_action((RuleContext)_localctx, actionIndex); break; case 40: LINE_COMMENT_action((RuleContext)_localctx, actionIndex); break;
} }
} }
private void WS_action(RuleContext _localctx, int actionIndex) { private void WS_action(RuleContext _localctx, int actionIndex) {
@ -105,329 +106,342 @@ public class SerpentLexer extends Lexer {
} }
public static final String _serializedATN = public static final String _serializedATN =
"\3\uacf5\uee8c\u4f5d\u8b0d\u4a45\u78bd\u1b2f\u3378\2.\u0374\b\1\4\2\t"+ "\3\uacf5\uee8c\u4f5d\u8b0d\u4a45\u78bd\u1b2f\u3378\2\64\u03ab\b\1\4\2"+
"\2\4\3\t\3\4\4\t\4\4\5\t\5\4\6\t\6\4\7\t\7\4\b\t\b\4\t\t\t\4\n\t\n\4\13"+ "\t\2\4\3\t\3\4\4\t\4\4\5\t\5\4\6\t\6\4\7\t\7\4\b\t\b\4\t\t\t\4\n\t\n\4"+
"\t\13\4\f\t\f\4\r\t\r\4\16\t\16\4\17\t\17\4\20\t\20\4\21\t\21\4\22\t\22"+ "\13\t\13\4\f\t\f\4\r\t\r\4\16\t\16\4\17\t\17\4\20\t\20\4\21\t\21\4\22"+
"\4\23\t\23\4\24\t\24\4\25\t\25\4\26\t\26\4\27\t\27\4\30\t\30\4\31\t\31"+ "\t\22\4\23\t\23\4\24\t\24\4\25\t\25\4\26\t\26\4\27\t\27\4\30\t\30\4\31"+
"\4\32\t\32\4\33\t\33\4\34\t\34\4\35\t\35\4\36\t\36\4\37\t\37\4 \t \4!"+ "\t\31\4\32\t\32\4\33\t\33\4\34\t\34\4\35\t\35\4\36\t\36\4\37\t\37\4 \t"+
"\t!\4\"\t\"\4#\t#\4$\t$\4%\t%\4&\t&\4\'\t\'\4(\t(\4)\t)\4*\t*\4+\t+\4"+ " \4!\t!\4\"\t\"\4#\t#\4$\t$\4%\t%\4&\t&\4\'\t\'\4(\t(\4)\t)\4*\t*\4+\t"+
",\t,\4-\t-\3\2\3\2\3\2\3\2\3\2\3\2\3\2\3\2\3\2\3\2\3\2\3\2\3\2\3\3\3\3"+ "+\4,\t,\4-\t-\4.\t.\4/\t/\4\60\t\60\4\61\t\61\4\62\t\62\4\63\t\63\3\2"+
"\3\3\3\3\3\3\3\3\3\3\3\3\3\3\3\3\3\3\3\3\3\3\3\3\3\3\3\4\3\4\3\5\3\5\3"+ "\3\2\3\3\3\3\3\3\3\3\3\3\3\4\3\4\3\4\3\4\3\4\3\4\3\4\3\4\3\4\3\4\3\4\3"+
"\5\3\5\3\5\3\5\3\5\3\5\3\5\3\5\3\5\3\5\3\6\3\6\3\6\3\6\3\6\3\6\3\7\3\7"+ "\4\3\4\3\4\3\4\3\5\3\5\3\6\3\6\3\6\3\6\3\7\3\7\3\7\3\7\3\7\3\7\3\7\3\b"+
"\3\b\3\b\3\b\3\b\3\b\3\b\3\b\3\b\3\b\3\b\3\t\3\t\3\t\3\t\3\t\3\t\3\n\3"+ "\3\b\3\b\3\b\3\b\3\b\3\t\3\t\3\n\3\n\3\13\3\13\3\f\3\f\3\f\3\r\3\r\3\r"+
"\n\3\n\3\n\3\n\3\n\3\n\3\13\3\13\3\13\3\13\3\f\3\f\3\r\3\r\3\16\3\16\3"+ "\3\r\3\r\3\r\3\r\3\r\3\r\3\r\3\r\3\r\3\r\3\r\3\r\3\r\3\16\3\16\3\16\3"+
"\16\3\17\3\17\3\17\3\17\3\17\3\20\3\20\3\20\3\20\3\20\3\20\3\20\3\21\3"+ "\16\3\16\3\17\3\17\3\17\3\17\3\17\3\17\3\17\3\17\3\17\3\17\3\20\3\20\3"+
"\21\3\21\3\21\3\21\3\21\3\21\3\21\3\21\3\21\3\21\3\22\3\22\3\22\3\22\3"+ "\20\3\20\3\20\3\20\3\20\3\20\3\20\3\20\3\20\3\20\3\20\3\20\3\20\3\21\3"+
"\22\3\22\3\22\3\22\3\22\3\22\3\22\3\22\3\22\3\22\3\22\3\22\3\23\3\23\3"+ "\21\3\21\3\21\3\21\3\21\3\21\3\21\3\21\3\21\3\21\3\21\3\21\3\21\3\21\3"+
"\23\3\23\3\23\3\24\3\24\3\24\3\24\3\24\3\24\3\24\3\24\3\24\3\24\3\25\3"+ "\21\3\21\3\22\3\22\3\22\3\22\3\22\3\22\3\22\3\22\3\23\3\23\3\23\3\23\3"+
"\25\3\25\3\25\3\25\3\25\3\25\3\25\3\25\3\25\3\25\3\25\3\25\3\25\3\25\3"+ "\23\3\23\3\23\3\23\3\23\3\23\3\23\3\23\3\23\3\23\3\23\3\23\3\23\3\24\3"+
"\25\3\25\3\26\3\26\3\26\3\26\3\26\3\27\3\27\3\27\3\27\3\27\3\27\3\27\3"+ "\24\3\24\3\24\3\24\3\24\3\24\3\24\3\24\3\24\3\24\3\24\3\24\3\25\3\25\3"+
"\27\3\27\3\27\3\27\3\27\3\27\3\27\3\27\3\30\3\30\3\30\3\30\3\30\3\30\3"+ "\26\3\26\3\26\3\26\3\26\3\26\3\27\3\27\3\27\3\27\3\27\3\27\3\27\3\27\3"+
"\30\3\30\3\30\3\30\3\30\3\30\3\30\3\30\3\30\3\31\3\31\3\31\3\31\3\31\3"+ "\27\3\27\3\27\3\27\3\30\3\30\3\30\3\30\3\30\3\30\3\30\3\30\3\30\3\30\3"+
"\31\3\31\3\31\3\31\3\31\3\31\3\31\3\31\3\32\3\32\3\32\3\32\3\32\3\32\3"+ "\31\3\31\3\31\3\31\3\31\3\31\3\31\3\31\3\31\3\32\3\32\3\32\3\32\3\32\3"+
"\32\3\32\3\32\3\32\3\32\3\32\3\32\3\32\3\32\3\32\3\32\3\33\6\33\u0139"+ "\33\3\33\3\33\3\33\3\33\3\33\3\33\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3"+
"\n\33\r\33\16\33\u013a\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3"+ "\34\3\34\3\34\3\34\3\35\3\35\3\35\3\35\3\35\3\35\3\35\3\35\3\35\3\35\3"+
"\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3"+ "\35\3\35\3\35\3\35\3\35\3\35\3\35\3\36\3\36\3\36\3\36\3\36\3\37\3\37\3"+
"\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3"+ "\37\3\37\3\37\3\37\3\37\3\37\3\37\3\37\3\37\3\37\3\37\3\37\3\37\3 \3 "+
"\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3"+ "\3 \3 \3 \3 \3 \3 \3 \3 \3 \3 \3 \3!\6!\u0170\n!\r!\16!\u0171\3\"\3\""+
"\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3"+ "\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3"+
"\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3"+ "\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\""+
"\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3"+ "\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3"+
"\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3"+ "\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\""+
"\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3"+ "\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3"+
"\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3"+ "\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\""+
"\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3"+ "\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3"+
"\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3"+ "\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\""+
"\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3"+ "\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3"+
"\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3"+ "\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\""+
"\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3"+ "\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3"+
"\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3"+ "\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\""+
"\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3"+ "\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3"+
"\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3"+ "\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\""+
"\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3"+ "\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3"+
"\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3"+ "\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\""+
"\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3"+ "\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3"+
"\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3"+ "\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\""+
"\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3"+ "\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3"+
"\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3"+ "\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\""+
"\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3"+ "\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3"+
"\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3"+ "\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\""+
"\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3"+ "\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3"+
"\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3"+ "\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\""+
"\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3"+ "\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3"+
"\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3"+ "\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\""+
"\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3"+ "\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\3\"\5\"\u034c"+
"\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3"+ "\n\"\3#\3#\3#\3#\3$\3$\3$\3$\3$\5$\u0357\n$\3%\3%\3%\3%\5%\u035d\n%\3"+
"\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3"+ "&\3&\3&\3&\5&\u0363\n&\3\'\3\'\3(\5(\u0368\n(\3(\3(\7(\u036c\n(\f(\16"+
"\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3"+ "(\u036f\13(\3)\6)\u0372\n)\r)\16)\u0373\3)\3)\3*\3*\3*\3*\7*\u037c\n*"+
"\34\5\34\u0315\n\34\3\35\3\35\3\35\3\35\3\36\3\36\3\36\3\36\3\36\5\36"+ "\f*\16*\u037f\13*\3*\3*\3+\3+\7+\u0385\n+\f+\16+\u0388\13+\3,\3,\3-\3"+
"\u0320\n\36\3\37\3\37\3\37\3\37\5\37\u0326\n\37\3 \3 \3 \3 \5 \u032c\n"+ "-\3.\3.\3.\3.\3.\5.\u0393\n.\3/\3/\3/\3/\5/\u0399\n/\3\60\3\60\3\61\3"+
" \3!\3!\3\"\5\"\u0331\n\"\3\"\3\"\7\"\u0335\n\"\f\"\16\"\u0338\13\"\3"+ "\61\3\62\3\62\3\63\3\63\3\63\3\63\5\63\u03a5\n\63\3\63\6\63\u03a8\n\63"+
"#\6#\u033b\n#\r#\16#\u033c\3#\3#\3$\3$\3$\3$\7$\u0345\n$\f$\16$\u0348"+ "\r\63\16\63\u03a9\2\64\3\3\1\5\4\1\7\5\1\t\6\1\13\7\1\r\b\1\17\t\1\21"+
"\13$\3$\3$\3%\3%\7%\u034e\n%\f%\16%\u0351\13%\3&\3&\3\'\3\'\3(\3(\3(\3"+ "\n\1\23\13\1\25\f\1\27\r\1\31\16\1\33\17\1\35\20\1\37\21\1!\22\1#\23\1"+
"(\3(\5(\u035c\n(\3)\3)\3)\3)\5)\u0362\n)\3*\3*\3+\3+\3,\3,\3-\3-\3-\3"+ "%\24\1\'\25\1)\26\1+\27\1-\30\1/\31\1\61\32\1\63\33\1\65\34\1\67\35\1"+
"-\5-\u036e\n-\3-\6-\u0371\n-\r-\16-\u0372\2.\3\3\1\5\4\1\7\5\1\t\6\1\13"+ "9\36\1;\37\1= \1?!\1A\"\1C#\1E$\1G%\1I&\1K\'\1M(\1O)\1Q*\2S+\3U,\1W-\1"+
"\7\1\r\b\1\17\t\1\21\n\1\23\13\1\25\f\1\27\r\1\31\16\1\33\17\1\35\20\1"+ "Y.\1[/\1]\60\1_\61\1a\62\1c\63\1e\64\1\3\2\13\3\2\62;\4\2\13\13\"\"\4"+
"\37\21\1!\22\1#\23\1%\24\1\'\25\1)\26\1+\27\1-\30\1/\31\1\61\32\1\63\33"+ "\2\f\f\17\17\4\2C\\c|\5\2\62;C\\c|\4\2--//\6\2\'\',,\61\61``\4\2>>@@\5"+
"\1\65\34\1\67\35\19\36\1;\37\1= \1?!\1A\"\1C#\1E$\2G%\3I&\1K\'\1M(\1O"+ "\2\62;CHch\u040e\2\3\3\2\2\2\2\5\3\2\2\2\2\7\3\2\2\2\2\t\3\2\2\2\2\13"+
")\1Q*\1S+\1U,\1W-\1Y.\1\3\2\13\3\2\62;\4\2\13\13\"\"\4\2\f\f\17\17\4\2"+ "\3\2\2\2\2\r\3\2\2\2\2\17\3\2\2\2\2\21\3\2\2\2\2\23\3\2\2\2\2\25\3\2\2"+
"C\\c|\5\2\62;C\\c|\4\2--//\6\2\'\',,\61\61``\4\2>>@@\5\2\62;CHch\u03d7"+ "\2\2\27\3\2\2\2\2\31\3\2\2\2\2\33\3\2\2\2\2\35\3\2\2\2\2\37\3\2\2\2\2"+
"\2\3\3\2\2\2\2\5\3\2\2\2\2\7\3\2\2\2\2\t\3\2\2\2\2\13\3\2\2\2\2\r\3\2"+ "!\3\2\2\2\2#\3\2\2\2\2%\3\2\2\2\2\'\3\2\2\2\2)\3\2\2\2\2+\3\2\2\2\2-\3"+
"\2\2\2\17\3\2\2\2\2\21\3\2\2\2\2\23\3\2\2\2\2\25\3\2\2\2\2\27\3\2\2\2"+ "\2\2\2\2/\3\2\2\2\2\61\3\2\2\2\2\63\3\2\2\2\2\65\3\2\2\2\2\67\3\2\2\2"+
"\2\31\3\2\2\2\2\33\3\2\2\2\2\35\3\2\2\2\2\37\3\2\2\2\2!\3\2\2\2\2#\3\2"+ "\29\3\2\2\2\2;\3\2\2\2\2=\3\2\2\2\2?\3\2\2\2\2A\3\2\2\2\2C\3\2\2\2\2E"+
"\2\2\2%\3\2\2\2\2\'\3\2\2\2\2)\3\2\2\2\2+\3\2\2\2\2-\3\2\2\2\2/\3\2\2"+ "\3\2\2\2\2G\3\2\2\2\2I\3\2\2\2\2K\3\2\2\2\2M\3\2\2\2\2O\3\2\2\2\2Q\3\2"+
"\2\2\61\3\2\2\2\2\63\3\2\2\2\2\65\3\2\2\2\2\67\3\2\2\2\29\3\2\2\2\2;\3"+ "\2\2\2S\3\2\2\2\2U\3\2\2\2\2W\3\2\2\2\2Y\3\2\2\2\2[\3\2\2\2\2]\3\2\2\2"+
"\2\2\2\2=\3\2\2\2\2?\3\2\2\2\2A\3\2\2\2\2C\3\2\2\2\2E\3\2\2\2\2G\3\2\2"+ "\2_\3\2\2\2\2a\3\2\2\2\2c\3\2\2\2\2e\3\2\2\2\3g\3\2\2\2\5i\3\2\2\2\7n"+
"\2\2I\3\2\2\2\2K\3\2\2\2\2M\3\2\2\2\2O\3\2\2\2\2Q\3\2\2\2\2S\3\2\2\2\2"+ "\3\2\2\2\t}\3\2\2\2\13\177\3\2\2\2\r\u0083\3\2\2\2\17\u008a\3\2\2\2\21"+
"U\3\2\2\2\2W\3\2\2\2\2Y\3\2\2\2\3[\3\2\2\2\5h\3\2\2\2\7w\3\2\2\2\ty\3"+ "\u0090\3\2\2\2\23\u0092\3\2\2\2\25\u0094\3\2\2\2\27\u0096\3\2\2\2\31\u0099"+
"\2\2\2\13\u0085\3\2\2\2\r\u008b\3\2\2\2\17\u008d\3\2\2\2\21\u0097\3\2"+ "\3\2\2\2\33\u00a9\3\2\2\2\35\u00ae\3\2\2\2\37\u00b8\3\2\2\2!\u00c7\3\2"+
"\2\2\23\u009d\3\2\2\2\25\u00a4\3\2\2\2\27\u00a8\3\2\2\2\31\u00aa\3\2\2"+ "\2\2#\u00d8\3\2\2\2%\u00e0\3\2\2\2\'\u00f1\3\2\2\2)\u00fe\3\2\2\2+\u0100"+
"\2\33\u00ac\3\2\2\2\35\u00af\3\2\2\2\37\u00b4\3\2\2\2!\u00bb\3\2\2\2#"+ "\3\2\2\2-\u0106\3\2\2\2/\u0112\3\2\2\2\61\u011c\3\2\2\2\63\u0125\3\2\2"+
"\u00c6\3\2\2\2%\u00d6\3\2\2\2\'\u00db\3\2\2\2)\u00e5\3\2\2\2+\u00f6\3"+ "\2\65\u012a\3\2\2\2\67\u0131\3\2\2\29\u013c\3\2\2\2;\u014d\3\2\2\2=\u0152"+
"\2\2\2-\u00fb\3\2\2\2/\u010a\3\2\2\2\61\u0119\3\2\2\2\63\u0126\3\2\2\2"+ "\3\2\2\2?\u0161\3\2\2\2A\u016f\3\2\2\2C\u034b\3\2\2\2E\u034d\3\2\2\2G"+
"\65\u0138\3\2\2\2\67\u0314\3\2\2\29\u0316\3\2\2\2;\u031f\3\2\2\2=\u0325"+ "\u0356\3\2\2\2I\u035c\3\2\2\2K\u0362\3\2\2\2M\u0364\3\2\2\2O\u0367\3\2"+
"\3\2\2\2?\u032b\3\2\2\2A\u032d\3\2\2\2C\u0330\3\2\2\2E\u033a\3\2\2\2G"+ "\2\2Q\u0371\3\2\2\2S\u0377\3\2\2\2U\u0382\3\2\2\2W\u0389\3\2\2\2Y\u038b"+
"\u0340\3\2\2\2I\u034b\3\2\2\2K\u0352\3\2\2\2M\u0354\3\2\2\2O\u035b\3\2"+ "\3\2\2\2[\u0392\3\2\2\2]\u0398\3\2\2\2_\u039a\3\2\2\2a\u039c\3\2\2\2c"+
"\2\2Q\u0361\3\2\2\2S\u0363\3\2\2\2U\u0365\3\2\2\2W\u0367\3\2\2\2Y\u036d"+ "\u039e\3\2\2\2e\u03a4\3\2\2\2gh\7_\2\2h\4\3\2\2\2ij\7u\2\2jk\7v\2\2kl"+
"\3\2\2\2[\\\7o\2\2\\]\7u\2\2]^\7i\2\2^_\7\60\2\2_`\7f\2\2`a\7c\2\2ab\7"+ "\7q\2\2lm\7r\2\2m\6\3\2\2\2no\7d\2\2op\7n\2\2pq\7q\2\2qr\7e\2\2rs\7m\2"+
"v\2\2bc\7c\2\2cd\7u\2\2de\7k\2\2ef\7|\2\2fg\7g\2\2g\4\3\2\2\2hi\7d\2\2"+ "\2st\7\60\2\2tu\7e\2\2uv\7q\2\2vw\7k\2\2wx\7p\2\2xy\7d\2\2yz\7c\2\2z{"+
"ij\7n\2\2jk\7q\2\2kl\7e\2\2lm\7m\2\2mn\7\60\2\2no\7e\2\2op\7q\2\2pq\7"+ "\7u\2\2{|\7g\2\2|\b\3\2\2\2}~\7.\2\2~\n\3\2\2\2\177\u0080\7o\2\2\u0080"+
"k\2\2qr\7p\2\2rs\7d\2\2st\7c\2\2tu\7u\2\2uv\7g\2\2v\6\3\2\2\2wx\7+\2\2"+ "\u0081\7u\2\2\u0081\u0082\7i\2\2\u0082\f\3\2\2\2\u0083\u0084\7v\2\2\u0084"+
"x\b\3\2\2\2yz\7v\2\2z{\7z\2\2{|\7\60\2\2|}\7i\2\2}~\7c\2\2~\177\7u\2\2"+ "\u0085\7z\2\2\u0085\u0086\7\60\2\2\u0086\u0087\7i\2\2\u0087\u0088\7c\2"+
"\177\u0080\7r\2\2\u0080\u0081\7t\2\2\u0081\u0082\7k\2\2\u0082\u0083\7"+ "\2\u0088\u0089\7u\2\2\u0089\16\3\2\2\2\u008a\u008b\7y\2\2\u008b\u008c"+
"e\2\2\u0083\u0084\7g\2\2\u0084\n\3\2\2\2\u0085\u0086\7g\2\2\u0086\u0087"+ "\7j\2\2\u008c\u008d\7k\2\2\u008d\u008e\7n\2\2\u008e\u008f\7g\2\2\u008f"+
"\7n\2\2\u0087\u0088\7u\2\2\u0088\u0089\7g\2\2\u0089\u008a\7<\2\2\u008a"+ "\20\3\2\2\2\u0090\u0091\7]\2\2\u0091\22\3\2\2\2\u0092\u0093\7*\2\2\u0093"+
"\f\3\2\2\2\u008b\u008c\7.\2\2\u008c\16\3\2\2\2\u008d\u008e\7v\2\2\u008e"+ "\24\3\2\2\2\u0094\u0095\7<\2\2\u0095\26\3\2\2\2\u0096\u0097\7k\2\2\u0097"+
"\u008f\7z\2\2\u008f\u0090\7\60\2\2\u0090\u0091\7q\2\2\u0091\u0092\7t\2"+ "\u0098\7h\2\2\u0098\30\3\2\2\2\u0099\u009a\7d\2\2\u009a\u009b\7n\2\2\u009b"+
"\2\u0092\u0093\7k\2\2\u0093\u0094\7i\2\2\u0094\u0095\7k\2\2\u0095\u0096"+ "\u009c\7q\2\2\u009c\u009d\7e\2\2\u009d\u009e\7m\2\2\u009e\u009f\7\60\2"+
"\7p\2\2\u0096\20\3\2\2\2\u0097\u0098\7y\2\2\u0098\u0099\7j\2\2\u0099\u009a"+ "\2\u009f\u00a0\7v\2\2\u00a0\u00a1\7k\2\2\u00a1\u00a2\7o\2\2\u00a2\u00a3"+
"\7k\2\2\u009a\u009b\7n\2\2\u009b\u009c\7g\2\2\u009c\22\3\2\2\2\u009d\u009e"+ "\7g\2\2\u00a3\u00a4\7u\2\2\u00a4\u00a5\7v\2\2\u00a5\u00a6\7c\2\2\u00a6"+
"\7v\2\2\u009e\u009f\7z\2\2\u009f\u00a0\7\60\2\2\u00a0\u00a1\7i\2\2\u00a1"+ "\u00a7\7o\2\2\u00a7\u00a8\7r\2\2\u00a8\32\3\2\2\2\u00a9\u00aa\7]\2\2\u00aa"+
"\u00a2\7c\2\2\u00a2\u00a3\7u\2\2\u00a3\24\3\2\2\2\u00a4\u00a5\7o\2\2\u00a5"+ "\u00ab\7c\2\2\u00ab\u00ac\7u\2\2\u00ac\u00ad\7o\2\2\u00ad\34\3\2\2\2\u00ae"+
"\u00a6\7u\2\2\u00a6\u00a7\7i\2\2\u00a7\26\3\2\2\2\u00a8\u00a9\7<\2\2\u00a9"+ "\u00af\7o\2\2\u00af\u00b0\7u\2\2\u00b0\u00b1\7i\2\2\u00b1\u00b2\7\60\2"+
"\30\3\2\2\2\u00aa\u00ab\7*\2\2\u00ab\32\3\2\2\2\u00ac\u00ad\7k\2\2\u00ad"+ "\2\u00b2\u00b3\7x\2\2\u00b3\u00b4\7c\2\2\u00b4\u00b5\7n\2\2\u00b5\u00b6"+
"\u00ae\7h\2\2\u00ae\34\3\2\2\2\u00af\u00b0\7g\2\2\u00b0\u00b1\7n\2\2\u00b1"+ "\7w\2\2\u00b6\u00b7\7g\2\2\u00b7\36\3\2\2\2\u00b8\u00b9\7d\2\2\u00b9\u00ba"+
"\u00b2\7k\2\2\u00b2\u00b3\7h\2\2\u00b3\36\3\2\2\2\u00b4\u00b5\7t\2\2\u00b5"+ "\7n\2\2\u00ba\u00bb\7q\2\2\u00bb\u00bc\7e\2\2\u00bc\u00bd\7m\2\2\u00bd"+
"\u00b6\7g\2\2\u00b6\u00b7\7v\2\2\u00b7\u00b8\7w\2\2\u00b8\u00b9\7t\2\2"+ "\u00be\7\60\2\2\u00be\u00bf\7r\2\2\u00bf\u00c0\7t\2\2\u00c0\u00c1\7g\2"+
"\u00b9\u00ba\7p\2\2\u00ba \3\2\2\2\u00bb\u00bc\7o\2\2\u00bc\u00bd\7u\2"+ "\2\u00c1\u00c2\7x\2\2\u00c2\u00c3\7j\2\2\u00c3\u00c4\7c\2\2\u00c4\u00c5"+
"\2\u00bd\u00be\7i\2\2\u00be\u00bf\7\60\2\2\u00bf\u00c0\7u\2\2\u00c0\u00c1"+ "\7u\2\2\u00c5\u00c6\7j\2\2\u00c6 \3\2\2\2\u00c7\u00c8\7e\2\2\u00c8\u00c9"+
"\7g\2\2\u00c1\u00c2\7p\2\2\u00c2\u00c3\7f\2\2\u00c3\u00c4\7g\2\2\u00c4"+ "\7q\2\2\u00c9\u00ca\7p\2\2\u00ca\u00cb\7v\2\2\u00cb\u00cc\7t\2\2\u00cc"+
"\u00c5\7t\2\2\u00c5\"\3\2\2\2\u00c6\u00c7\7d\2\2\u00c7\u00c8\7n\2\2\u00c8"+ "\u00cd\7c\2\2\u00cd\u00ce\7e\2\2\u00ce\u00cf\7v\2\2\u00cf\u00d0\7\60\2"+
"\u00c9\7q\2\2\u00c9\u00ca\7e\2\2\u00ca\u00cb\7m\2\2\u00cb\u00cc\7\60\2"+ "\2\u00d0\u00d1\7u\2\2\u00d1\u00d2\7v\2\2\u00d2\u00d3\7q\2\2\u00d3\u00d4"+
"\2\u00cc\u00cd\7v\2\2\u00cd\u00ce\7k\2\2\u00ce\u00cf\7o\2\2\u00cf\u00d0"+ "\7t\2\2\u00d4\u00d5\7c\2\2\u00d5\u00d6\7i\2\2\u00d6\u00d7\7g\2\2\u00d7"+
"\7g\2\2\u00d0\u00d1\7u\2\2\u00d1\u00d2\7v\2\2\u00d2\u00d3\7c\2\2\u00d3"+ "\"\3\2\2\2\u00d8\u00d9\7u\2\2\u00d9\u00da\7w\2\2\u00da\u00db\7k\2\2\u00db"+
"\u00d4\7o\2\2\u00d4\u00d5\7r\2\2\u00d5$\3\2\2\2\u00d6\u00d7\7]\2\2\u00d7"+ "\u00dc\7e\2\2\u00dc\u00dd\7k\2\2\u00dd\u00de\7f\2\2\u00de\u00df\7g\2\2"+
"\u00d8\7c\2\2\u00d8\u00d9\7u\2\2\u00d9\u00da\7o\2\2\u00da&\3\2\2\2\u00db"+ "\u00df$\3\2\2\2\u00e0\u00e1\7d\2\2\u00e1\u00e2\7n\2\2\u00e2\u00e3\7q\2"+
"\u00dc\7o\2\2\u00dc\u00dd\7u\2\2\u00dd\u00de\7i\2\2\u00de\u00df\7\60\2"+ "\2\u00e3\u00e4\7e\2\2\u00e4\u00e5\7m\2\2\u00e5\u00e6\7\60\2\2\u00e6\u00e7"+
"\2\u00df\u00e0\7x\2\2\u00e0\u00e1\7c\2\2\u00e1\u00e2\7n\2\2\u00e2\u00e3"+ "\7f\2\2\u00e7\u00e8\7k\2\2\u00e8\u00e9\7h\2\2\u00e9\u00ea\7h\2\2\u00ea"+
"\7w\2\2\u00e3\u00e4\7g\2\2\u00e4(\3\2\2\2\u00e5\u00e6\7e\2\2\u00e6\u00e7"+ "\u00eb\7k\2\2\u00eb\u00ec\7e\2\2\u00ec\u00ed\7w\2\2\u00ed\u00ee\7n\2\2"+
"\7q\2\2\u00e7\u00e8\7p\2\2\u00e8\u00e9\7v\2\2\u00e9\u00ea\7t\2\2\u00ea"+ "\u00ee\u00ef\7v\2\2\u00ef\u00f0\7{\2\2\u00f0&\3\2\2\2\u00f1\u00f2\7o\2"+
"\u00eb\7c\2\2\u00eb\u00ec\7e\2\2\u00ec\u00ed\7v\2\2\u00ed\u00ee\7\60\2"+ "\2\u00f2\u00f3\7u\2\2\u00f3\u00f4\7i\2\2\u00f4\u00f5\7\60\2\2\u00f5\u00f6"+
"\2\u00ee\u00ef\7d\2\2\u00ef\u00f0\7c\2\2\u00f0\u00f1\7n\2\2\u00f1\u00f2"+ "\7f\2\2\u00f6\u00f7\7c\2\2\u00f7\u00f8\7v\2\2\u00f8\u00f9\7c\2\2\u00f9"+
"\7c\2\2\u00f2\u00f3\7p\2\2\u00f3\u00f4\7e\2\2\u00f4\u00f5\7g\2\2\u00f5"+ "\u00fa\7u\2\2\u00fa\u00fb\7k\2\2\u00fb\u00fc\7|\2\2\u00fc\u00fd\7g\2\2"+
"*\3\2\2\2\u00f6\u00f7\7c\2\2\u00f7\u00f8\7u\2\2\u00f8\u00f9\7o\2\2\u00f9"+ "\u00fd(\3\2\2\2\u00fe\u00ff\7+\2\2\u00ff*\3\2\2\2\u0100\u0101\7g\2\2\u0101"+
"\u00fa\7_\2\2\u00fa,\3\2\2\2\u00fb\u00fc\7d\2\2\u00fc\u00fd\7n\2\2\u00fd"+ "\u0102\7n\2\2\u0102\u0103\7u\2\2\u0103\u0104\7g\2\2\u0104\u0105\7<\2\2"+
"\u00fe\7q\2\2\u00fe\u00ff\7e\2\2\u00ff\u0100\7m\2\2\u0100\u0101\7\60\2"+ "\u0105,\3\2\2\2\u0106\u0107\7v\2\2\u0107\u0108\7z\2\2\u0108\u0109\7\60"+
"\2\u0101\u0102\7i\2\2\u0102\u0103\7c\2\2\u0103\u0104\7u\2\2\u0104\u0105"+ "\2\2\u0109\u010a\7i\2\2\u010a\u010b\7c\2\2\u010b\u010c\7u\2\2\u010c\u010d"+
"\7n\2\2\u0105\u0106\7k\2\2\u0106\u0107\7o\2\2\u0107\u0108\7k\2\2\u0108"+ "\7r\2\2\u010d\u010e\7t\2\2\u010e\u010f\7k\2\2\u010f\u0110\7e\2\2\u0110"+
"\u0109\7v\2\2\u0109.\3\2\2\2\u010a\u010b\7d\2\2\u010b\u010c\7n\2\2\u010c"+ "\u0111\7g\2\2\u0111.\3\2\2\2\u0112\u0113\7v\2\2\u0113\u0114\7z\2\2\u0114"+
"\u010d\7q\2\2\u010d\u010e\7e\2\2\u010e\u010f\7m\2\2\u010f\u0110\7\60\2"+ "\u0115\7\60\2\2\u0115\u0116\7q\2\2\u0116\u0117\7t\2\2\u0117\u0118\7k\2"+
"\2\u0110\u0111\7r\2\2\u0111\u0112\7t\2\2\u0112\u0113\7g\2\2\u0113\u0114"+ "\2\u0118\u0119\7i\2\2\u0119\u011a\7k\2\2\u011a\u011b\7p\2\2\u011b\60\3"+
"\7x\2\2\u0114\u0115\7j\2\2\u0115\u0116\7c\2\2\u0116\u0117\7u\2\2\u0117"+ "\2\2\2\u011c\u011d\7o\2\2\u011d\u011e\7u\2\2\u011e\u011f\7i\2\2\u011f"+
"\u0118\7j\2\2\u0118\60\3\2\2\2\u0119\u011a\7d\2\2\u011a\u011b\7n\2\2\u011b"+ "\u0120\7\60\2\2\u0120\u0121\7f\2\2\u0121\u0122\7c\2\2\u0122\u0123\7v\2"+
"\u011c\7q\2\2\u011c\u011d\7e\2\2\u011d\u011e\7m\2\2\u011e\u011f\7\60\2"+ "\2\u0123\u0124\7c\2\2\u0124\62\3\2\2\2\u0125\u0126\7g\2\2\u0126\u0127"+
"\2\u011f\u0120\7p\2\2\u0120\u0121\7w\2\2\u0121\u0122\7o\2\2\u0122\u0123"+ "\7n\2\2\u0127\u0128\7k\2\2\u0128\u0129\7h\2\2\u0129\64\3\2\2\2\u012a\u012b"+
"\7d\2\2\u0123\u0124\7g\2\2\u0124\u0125\7t\2\2\u0125\62\3\2\2\2\u0126\u0127"+ "\7t\2\2\u012b\u012c\7g\2\2\u012c\u012d\7v\2\2\u012d\u012e\7w\2\2\u012e"+
"\7d\2\2\u0127\u0128\7n\2\2\u0128\u0129\7q\2\2\u0129\u012a\7e\2\2\u012a"+ "\u012f\7t\2\2\u012f\u0130\7p\2\2\u0130\66\3\2\2\2\u0131\u0132\7o\2\2\u0132"+
"\u012b\7m\2\2\u012b\u012c\7\60\2\2\u012c\u012d\7f\2\2\u012d\u012e\7k\2"+ "\u0133\7u\2\2\u0133\u0134\7i\2\2\u0134\u0135\7\60\2\2\u0135\u0136\7u\2"+
"\2\u012e\u012f\7h\2\2\u012f\u0130\7h\2\2\u0130\u0131\7k\2\2\u0131\u0132"+ "\2\u0136\u0137\7g\2\2\u0137\u0138\7p\2\2\u0138\u0139\7f\2\2\u0139\u013a"+
"\7e\2\2\u0132\u0133\7w\2\2\u0133\u0134\7n\2\2\u0134\u0135\7v\2\2\u0135"+ "\7g\2\2\u013a\u013b\7t\2\2\u013b8\3\2\2\2\u013c\u013d\7e\2\2\u013d\u013e"+
"\u0136\7{\2\2\u0136\64\3\2\2\2\u0137\u0139\t\2\2\2\u0138\u0137\3\2\2\2"+ "\7q\2\2\u013e\u013f\7p\2\2\u013f\u0140\7v\2\2\u0140\u0141\7t\2\2\u0141"+
"\u0139\u013a\3\2\2\2\u013a\u0138\3\2\2\2\u013a\u013b\3\2\2\2\u013b\66"+ "\u0142\7c\2\2\u0142\u0143\7e\2\2\u0143\u0144\7v\2\2\u0144\u0145\7\60\2"+
"\3\2\2\2\u013c\u013d\7U\2\2\u013d\u013e\7V\2\2\u013e\u013f\7Q\2\2\u013f"+ "\2\u0145\u0146\7d\2\2\u0146\u0147\7c\2\2\u0147\u0148\7n\2\2\u0148\u0149"+
"\u0315\7R\2\2\u0140\u0141\7C\2\2\u0141\u0142\7F\2\2\u0142\u0315\7F\2\2"+ "\7c\2\2\u0149\u014a\7p\2\2\u014a\u014b\7e\2\2\u014b\u014c\7g\2\2\u014c"+
"\u0143\u0144\7O\2\2\u0144\u0145\7W\2\2\u0145\u0315\7N\2\2\u0146\u0147"+ ":\3\2\2\2\u014d\u014e\7c\2\2\u014e\u014f\7u\2\2\u014f\u0150\7o\2\2\u0150"+
"\7U\2\2\u0147\u0148\7W\2\2\u0148\u0315\7D\2\2\u0149\u014a\7F\2\2\u014a"+ "\u0151\7_\2\2\u0151<\3\2\2\2\u0152\u0153\7d\2\2\u0153\u0154\7n\2\2\u0154"+
"\u014b\7K\2\2\u014b\u0315\7X\2\2\u014c\u014d\7U\2\2\u014d\u014e\7F\2\2"+ "\u0155\7q\2\2\u0155\u0156\7e\2\2\u0156\u0157\7m\2\2\u0157\u0158\7\60\2"+
"\u014e\u014f\7K\2\2\u014f\u0315\7X\2\2\u0150\u0151\7O\2\2\u0151\u0152"+ "\2\u0158\u0159\7i\2\2\u0159\u015a\7c\2\2\u015a\u015b\7u\2\2\u015b\u015c"+
"\7Q\2\2\u0152\u0315\7F\2\2\u0153\u0154\7U\2\2\u0154\u0155\7O\2\2\u0155"+ "\7n\2\2\u015c\u015d\7k\2\2\u015d\u015e\7o\2\2\u015e\u015f\7k\2\2\u015f"+
"\u0156\7Q\2\2\u0156\u0315\7F\2\2\u0157\u0158\7G\2\2\u0158\u0159\7Z\2\2"+ "\u0160\7v\2\2\u0160>\3\2\2\2\u0161\u0162\7d\2\2\u0162\u0163\7n\2\2\u0163"+
"\u0159\u0315\7R\2\2\u015a\u015b\7P\2\2\u015b\u015c\7G\2\2\u015c\u0315"+ "\u0164\7q\2\2\u0164\u0165\7e\2\2\u0165\u0166\7m\2\2\u0166\u0167\7\60\2"+
"\7I\2\2\u015d\u015e\7N\2\2\u015e\u0315\7V\2\2\u015f\u0160\7I\2\2\u0160"+ "\2\u0167\u0168\7p\2\2\u0168\u0169\7w\2\2\u0169\u016a\7o\2\2\u016a\u016b"+
"\u0315\7V\2\2\u0161\u0162\7U\2\2\u0162\u0163\7N\2\2\u0163\u0315\7V\2\2"+ "\7d\2\2\u016b\u016c\7g\2\2\u016c\u016d\7t\2\2\u016d@\3\2\2\2\u016e\u0170"+
"\u0164\u0165\7U\2\2\u0165\u0166\7I\2\2\u0166\u0315\7V\2\2\u0167\u0168"+ "\t\2\2\2\u016f\u016e\3\2\2\2\u0170\u0171\3\2\2\2\u0171\u016f\3\2\2\2\u0171"+
"\7G\2\2\u0168\u0315\7S\2\2\u0169\u016a\7P\2\2\u016a\u016b\7Q\2\2\u016b"+ "\u0172\3\2\2\2\u0172B\3\2\2\2\u0173\u0174\7U\2\2\u0174\u0175\7V\2\2\u0175"+
"\u0315\7V\2\2\u016c\u016d\7C\2\2\u016d\u016e\7P\2\2\u016e\u0315\7F\2\2"+ "\u0176\7Q\2\2\u0176\u034c\7R\2\2\u0177\u0178\7C\2\2\u0178\u0179\7F\2\2"+
"\u016f\u0170\7Q\2\2\u0170\u0315\7T\2\2\u0171\u0172\7Z\2\2\u0172\u0173"+ "\u0179\u034c\7F\2\2\u017a\u017b\7O\2\2\u017b\u017c\7W\2\2\u017c\u034c"+
"\7Q\2\2\u0173\u0315\7T\2\2\u0174\u0175\7D\2\2\u0175\u0176\7[\2\2\u0176"+ "\7N\2\2\u017d\u017e\7U\2\2\u017e\u017f\7W\2\2\u017f\u034c\7D\2\2\u0180"+
"\u0177\7V\2\2\u0177\u0315\7G\2\2\u0178\u0179\7U\2\2\u0179\u017a\7J\2\2"+ "\u0181\7F\2\2\u0181\u0182\7K\2\2\u0182\u034c\7X\2\2\u0183\u0184\7U\2\2"+
"\u017a\u017b\7C\2\2\u017b\u0315\7\65\2\2\u017c\u017d\7C\2\2\u017d\u017e"+ "\u0184\u0185\7F\2\2\u0185\u0186\7K\2\2\u0186\u034c\7X\2\2\u0187\u0188"+
"\7F\2\2\u017e\u017f\7F\2\2\u017f\u0180\7T\2\2\u0180\u0181\7G\2\2\u0181"+ "\7O\2\2\u0188\u0189\7Q\2\2\u0189\u034c\7F\2\2\u018a\u018b\7U\2\2\u018b"+
"\u0182\7U\2\2\u0182\u0315\7U\2\2\u0183\u0184\7D\2\2\u0184\u0185\7C\2\2"+ "\u018c\7O\2\2\u018c\u018d\7Q\2\2\u018d\u034c\7F\2\2\u018e\u018f\7G\2\2"+
"\u0185\u0186\7N\2\2\u0186\u0187\7C\2\2\u0187\u0188\7P\2\2\u0188\u0189"+ "\u018f\u0190\7Z\2\2\u0190\u034c\7R\2\2\u0191\u0192\7P\2\2\u0192\u0193"+
"\7E\2\2\u0189\u0315\7G\2\2\u018a\u018b\7Q\2\2\u018b\u018c\7T\2\2\u018c"+ "\7G\2\2\u0193\u034c\7I\2\2\u0194\u0195\7N\2\2\u0195\u034c\7V\2\2\u0196"+
"\u018d\7K\2\2\u018d\u018e\7I\2\2\u018e\u018f\7K\2\2\u018f\u0315\7P\2\2"+ "\u0197\7I\2\2\u0197\u034c\7V\2\2\u0198\u0199\7U\2\2\u0199\u019a\7N\2\2"+
"\u0190\u0191\7E\2\2\u0191\u0192\7C\2\2\u0192\u0193\7N\2\2\u0193\u0194"+ "\u019a\u034c\7V\2\2\u019b\u019c\7U\2\2\u019c\u019d\7I\2\2\u019d\u034c"+
"\7N\2\2\u0194\u0195\7G\2\2\u0195\u0315\7T\2\2\u0196\u0197\7E\2\2\u0197"+ "\7V\2\2\u019e\u019f\7G\2\2\u019f\u034c\7S\2\2\u01a0\u01a1\7P\2\2\u01a1"+
"\u0198\7C\2\2\u0198\u0199\7N\2\2\u0199\u019a\7N\2\2\u019a\u019b\7X\2\2"+ "\u01a2\7Q\2\2\u01a2\u034c\7V\2\2\u01a3\u01a4\7C\2\2\u01a4\u01a5\7P\2\2"+
"\u019b\u019c\7C\2\2\u019c\u019d\7N\2\2\u019d\u019e\7W\2\2\u019e\u0315"+ "\u01a5\u034c\7F\2\2\u01a6\u01a7\7Q\2\2\u01a7\u034c\7T\2\2\u01a8\u01a9"+
"\7G\2\2\u019f\u01a0\7E\2\2\u01a0\u01a1\7C\2\2\u01a1\u01a2\7N\2\2\u01a2"+ "\7Z\2\2\u01a9\u01aa\7Q\2\2\u01aa\u034c\7T\2\2\u01ab\u01ac\7D\2\2\u01ac"+
"\u01a3\7N\2\2\u01a3\u01a4\7F\2\2\u01a4\u01a5\7C\2\2\u01a5\u01a6\7V\2\2"+ "\u01ad\7[\2\2\u01ad\u01ae\7V\2\2\u01ae\u034c\7G\2\2\u01af\u01b0\7U\2\2"+
"\u01a6\u01a7\7C\2\2\u01a7\u01a8\7N\2\2\u01a8\u01a9\7Q\2\2\u01a9\u01aa"+ "\u01b0\u01b1\7J\2\2\u01b1\u01b2\7C\2\2\u01b2\u034c\7\65\2\2\u01b3\u01b4"+
"\7C\2\2\u01aa\u0315\7F\2\2\u01ab\u01ac\7E\2\2\u01ac\u01ad\7C\2\2\u01ad"+ "\7C\2\2\u01b4\u01b5\7F\2\2\u01b5\u01b6\7F\2\2\u01b6\u01b7\7T\2\2\u01b7"+
"\u01ae\7N\2\2\u01ae\u01af\7N\2\2\u01af\u01b0\7F\2\2\u01b0\u01b1\7C\2\2"+ "\u01b8\7G\2\2\u01b8\u01b9\7U\2\2\u01b9\u034c\7U\2\2\u01ba\u01bb\7D\2\2"+
"\u01b1\u01b2\7V\2\2\u01b2\u01b3\7C\2\2\u01b3\u01b4\7U\2\2\u01b4\u01b5"+ "\u01bb\u01bc\7C\2\2\u01bc\u01bd\7N\2\2\u01bd\u01be\7C\2\2\u01be\u01bf"+
"\7K\2\2\u01b5\u01b6\7\\\2\2\u01b6\u0315\7G\2\2\u01b7\u01b8\7E\2\2\u01b8"+ "\7P\2\2\u01bf\u01c0\7E\2\2\u01c0\u034c\7G\2\2\u01c1\u01c2\7Q\2\2\u01c2"+
"\u01b9\7C\2\2\u01b9\u01ba\7N\2\2\u01ba\u01bb\7N\2\2\u01bb\u01bc\7F\2\2"+ "\u01c3\7T\2\2\u01c3\u01c4\7K\2\2\u01c4\u01c5\7I\2\2\u01c5\u01c6\7K\2\2"+
"\u01bc\u01bd\7C\2\2\u01bd\u01be\7V\2\2\u01be\u01bf\7C\2\2\u01bf\u01c0"+ "\u01c6\u034c\7P\2\2\u01c7\u01c8\7E\2\2\u01c8\u01c9\7C\2\2\u01c9\u01ca"+
"\7E\2\2\u01c0\u01c1\7Q\2\2\u01c1\u01c2\7R\2\2\u01c2\u0315\7[\2\2\u01c3"+ "\7N\2\2\u01ca\u01cb\7N\2\2\u01cb\u01cc\7G\2\2\u01cc\u034c\7T\2\2\u01cd"+
"\u01c4\7E\2\2\u01c4\u01c5\7Q\2\2\u01c5\u01c6\7F\2\2\u01c6\u01c7\7G\2\2"+ "\u01ce\7E\2\2\u01ce\u01cf\7C\2\2\u01cf\u01d0\7N\2\2\u01d0\u01d1\7N\2\2"+
"\u01c7\u01c8\7U\2\2\u01c8\u01c9\7K\2\2\u01c9\u01ca\7\\\2\2\u01ca\u0315"+ "\u01d1\u01d2\7X\2\2\u01d2\u01d3\7C\2\2\u01d3\u01d4\7N\2\2\u01d4\u01d5"+
"\7G\2\2\u01cb\u01cc\7E\2\2\u01cc\u01cd\7Q\2\2\u01cd\u01ce\7F\2\2\u01ce"+ "\7W\2\2\u01d5\u034c\7G\2\2\u01d6\u01d7\7E\2\2\u01d7\u01d8\7C\2\2\u01d8"+
"\u01cf\7G\2\2\u01cf\u01d0\7E\2\2\u01d0\u01d1\7Q\2\2\u01d1\u01d2\7R\2\2"+ "\u01d9\7N\2\2\u01d9\u01da\7N\2\2\u01da\u01db\7F\2\2\u01db\u01dc\7C\2\2"+
"\u01d2\u0315\7[\2\2\u01d3\u01d4\7I\2\2\u01d4\u01d5\7C\2\2\u01d5\u01d6"+ "\u01dc\u01dd\7V\2\2\u01dd\u01de\7C\2\2\u01de\u01df\7N\2\2\u01df\u01e0"+
"\7U\2\2\u01d6\u01d7\7R\2\2\u01d7\u01d8\7T\2\2\u01d8\u01d9\7K\2\2\u01d9"+ "\7Q\2\2\u01e0\u01e1\7C\2\2\u01e1\u034c\7F\2\2\u01e2\u01e3\7E\2\2\u01e3"+
"\u01da\7E\2\2\u01da\u0315\7G\2\2\u01db\u01dc\7R\2\2\u01dc\u01dd\7T\2\2"+ "\u01e4\7C\2\2\u01e4\u01e5\7N\2\2\u01e5\u01e6\7N\2\2\u01e6\u01e7\7F\2\2"+
"\u01dd\u01de\7G\2\2\u01de\u01df\7X\2\2\u01df\u01e0\7J\2\2\u01e0\u01e1"+ "\u01e7\u01e8\7C\2\2\u01e8\u01e9\7V\2\2\u01e9\u01ea\7C\2\2\u01ea\u01eb"+
"\7C\2\2\u01e1\u01e2\7U\2\2\u01e2\u0315\7J\2\2\u01e3\u01e4\7E\2\2\u01e4"+ "\7U\2\2\u01eb\u01ec\7K\2\2\u01ec\u01ed\7\\\2\2\u01ed\u034c\7G\2\2\u01ee"+
"\u01e5\7Q\2\2\u01e5\u01e6\7K\2\2\u01e6\u01e7\7P\2\2\u01e7\u01e8\7D\2\2"+ "\u01ef\7E\2\2\u01ef\u01f0\7C\2\2\u01f0\u01f1\7N\2\2\u01f1\u01f2\7N\2\2"+
"\u01e8\u01e9\7C\2\2\u01e9\u01ea\7U\2\2\u01ea\u0315\7G\2\2\u01eb\u01ec"+ "\u01f2\u01f3\7F\2\2\u01f3\u01f4\7C\2\2\u01f4\u01f5\7V\2\2\u01f5\u01f6"+
"\7V\2\2\u01ec\u01ed\7K\2\2\u01ed\u01ee\7O\2\2\u01ee\u01ef\7G\2\2\u01ef"+ "\7C\2\2\u01f6\u01f7\7E\2\2\u01f7\u01f8\7Q\2\2\u01f8\u01f9\7R\2\2\u01f9"+
"\u01f0\7U\2\2\u01f0\u01f1\7V\2\2\u01f1\u01f2\7C\2\2\u01f2\u01f3\7O\2\2"+ "\u034c\7[\2\2\u01fa\u01fb\7E\2\2\u01fb\u01fc\7Q\2\2\u01fc\u01fd\7F\2\2"+
"\u01f3\u0315\7R\2\2\u01f4\u01f5\7P\2\2\u01f5\u01f6\7W\2\2\u01f6\u01f7"+ "\u01fd\u01fe\7G\2\2\u01fe\u01ff\7U\2\2\u01ff\u0200\7K\2\2\u0200\u0201"+
"\7O\2\2\u01f7\u01f8\7D\2\2\u01f8\u01f9\7G\2\2\u01f9\u0315\7T\2\2\u01fa"+ "\7\\\2\2\u0201\u034c\7G\2\2\u0202\u0203\7E\2\2\u0203\u0204\7Q\2\2\u0204"+
"\u01fb\7F\2\2\u01fb\u01fc\7K\2\2\u01fc\u01fd\7H\2\2\u01fd\u01fe\7H\2\2"+ "\u0205\7F\2\2\u0205\u0206\7G\2\2\u0206\u0207\7E\2\2\u0207\u0208\7Q\2\2"+
"\u01fe\u01ff\7K\2\2\u01ff\u0200\7E\2\2\u0200\u0201\7W\2\2\u0201\u0202"+ "\u0208\u0209\7R\2\2\u0209\u034c\7[\2\2\u020a\u020b\7I\2\2\u020b\u020c"+
"\7N\2\2\u0202\u0203\7V\2\2\u0203\u0315\7[\2\2\u0204\u0205\7I\2\2\u0205"+ "\7C\2\2\u020c\u020d\7U\2\2\u020d\u020e\7R\2\2\u020e\u020f\7T\2\2\u020f"+
"\u0206\7C\2\2\u0206\u0207\7U\2\2\u0207\u0208\7N\2\2\u0208\u0209\7K\2\2"+ "\u0210\7K\2\2\u0210\u0211\7E\2\2\u0211\u034c\7G\2\2\u0212\u0213\7R\2\2"+
"\u0209\u020a\7O\2\2\u020a\u020b\7K\2\2\u020b\u0315\7V\2\2\u020c\u020d"+ "\u0213\u0214\7T\2\2\u0214\u0215\7G\2\2\u0215\u0216\7X\2\2\u0216\u0217"+
"\7R\2\2\u020d\u020e\7Q\2\2\u020e\u0315\7R\2\2\u020f\u0210\7F\2\2\u0210"+ "\7J\2\2\u0217\u0218\7C\2\2\u0218\u0219\7U\2\2\u0219\u034c\7J\2\2\u021a"+
"\u0211\7W\2\2\u0211\u0315\7R\2\2\u0212\u0213\7U\2\2\u0213\u0214\7Y\2\2"+ "\u021b\7E\2\2\u021b\u021c\7Q\2\2\u021c\u021d\7K\2\2\u021d\u021e\7P\2\2"+
"\u0214\u0215\7C\2\2\u0215\u0315\7R\2\2\u0216\u0217\7O\2\2\u0217\u0218"+ "\u021e\u021f\7D\2\2\u021f\u0220\7C\2\2\u0220\u0221\7U\2\2\u0221\u034c"+
"\7N\2\2\u0218\u0219\7Q\2\2\u0219\u021a\7C\2\2\u021a\u0315\7F\2\2\u021b"+ "\7G\2\2\u0222\u0223\7V\2\2\u0223\u0224\7K\2\2\u0224\u0225\7O\2\2\u0225"+
"\u021c\7O\2\2\u021c\u021d\7U\2\2\u021d\u021e\7V\2\2\u021e\u021f\7Q\2\2"+ "\u0226\7G\2\2\u0226\u0227\7U\2\2\u0227\u0228\7V\2\2\u0228\u0229\7C\2\2"+
"\u021f\u0220\7T\2\2\u0220\u0315\7G\2\2\u0221\u0222\7O\2\2\u0222\u0223"+ "\u0229\u022a\7O\2\2\u022a\u034c\7R\2\2\u022b\u022c\7P\2\2\u022c\u022d"+
"\7U\2\2\u0223\u0224\7V\2\2\u0224\u0225\7Q\2\2\u0225\u0226\7T\2\2\u0226"+ "\7W\2\2\u022d\u022e\7O\2\2\u022e\u022f\7D\2\2\u022f\u0230\7G\2\2\u0230"+
"\u0227\7G\2\2\u0227\u0315\7:\2\2\u0228\u0229\7U\2\2\u0229\u022a\7N\2\2"+ "\u034c\7T\2\2\u0231\u0232\7F\2\2\u0232\u0233\7K\2\2\u0233\u0234\7H\2\2"+
"\u022a\u022b\7Q\2\2\u022b\u022c\7C\2\2\u022c\u0315\7F\2\2\u022d\u022e"+ "\u0234\u0235\7H\2\2\u0235\u0236\7K\2\2\u0236\u0237\7E\2\2\u0237\u0238"+
"\7U\2\2\u022e\u022f\7U\2\2\u022f\u0230\7V\2\2\u0230\u0231\7Q\2\2\u0231"+ "\7W\2\2\u0238\u0239\7N\2\2\u0239\u023a\7V\2\2\u023a\u034c\7[\2\2\u023b"+
"\u0232\7T\2\2\u0232\u0315\7G\2\2\u0233\u0234\7L\2\2\u0234\u0235\7W\2\2"+ "\u023c\7I\2\2\u023c\u023d\7C\2\2\u023d\u023e\7U\2\2\u023e\u023f\7N\2\2"+
"\u0235\u0236\7O\2\2\u0236\u0315\7R\2\2\u0237\u0238\7L\2\2\u0238\u0239"+ "\u023f\u0240\7K\2\2\u0240\u0241\7O\2\2\u0241\u0242\7K\2\2\u0242\u034c"+
"\7W\2\2\u0239\u023a\7O\2\2\u023a\u023b\7R\2\2\u023b\u0315\7K\2\2\u023c"+ "\7V\2\2\u0243\u0244\7R\2\2\u0244\u0245\7Q\2\2\u0245\u034c\7R\2\2\u0246"+
"\u023d\7R\2\2\u023d\u0315\7E\2\2\u023e\u023f\7O\2\2\u023f\u0240\7U\2\2"+ "\u0247\7F\2\2\u0247\u0248\7W\2\2\u0248\u034c\7R\2\2\u0249\u024a\7U\2\2"+
"\u0240\u0241\7K\2\2\u0241\u0242\7\\\2\2\u0242\u0315\7G\2\2\u0243\u0244"+ "\u024a\u024b\7Y\2\2\u024b\u024c\7C\2\2\u024c\u034c\7R\2\2\u024d\u024e"+
"\7I\2\2\u0244\u0245\7C\2\2\u0245\u0315\7U\2\2\u0246\u0247\7R\2\2\u0247"+ "\7O\2\2\u024e\u024f\7N\2\2\u024f\u0250\7Q\2\2\u0250\u0251\7C\2\2\u0251"+
"\u0248\7W\2\2\u0248\u0249\7U\2\2\u0249\u024a\7J\2\2\u024a\u0315\7\63\2"+ "\u034c\7F\2\2\u0252\u0253\7O\2\2\u0253\u0254\7U\2\2\u0254\u0255\7V\2\2"+
"\2\u024b\u024c\7R\2\2\u024c\u024d\7W\2\2\u024d\u024e\7U\2\2\u024e\u024f"+ "\u0255\u0256\7Q\2\2\u0256\u0257\7T\2\2\u0257\u034c\7G\2\2\u0258\u0259"+
"\7J\2\2\u024f\u0315\7\64\2\2\u0250\u0251\7R\2\2\u0251\u0252\7W\2\2\u0252"+ "\7O\2\2\u0259\u025a\7U\2\2\u025a\u025b\7V\2\2\u025b\u025c\7Q\2\2\u025c"+
"\u0253\7U\2\2\u0253\u0254\7J\2\2\u0254\u0315\7\65\2\2\u0255\u0256\7R\2"+ "\u025d\7T\2\2\u025d\u025e\7G\2\2\u025e\u034c\7:\2\2\u025f\u0260\7U\2\2"+
"\2\u0256\u0257\7W\2\2\u0257\u0258\7U\2\2\u0258\u0259\7J\2\2\u0259\u0315"+ "\u0260\u0261\7N\2\2\u0261\u0262\7Q\2\2\u0262\u0263\7C\2\2\u0263\u034c"+
"\7\66\2\2\u025a\u025b\7R\2\2\u025b\u025c\7W\2\2\u025c\u025d\7U\2\2\u025d"+ "\7F\2\2\u0264\u0265\7U\2\2\u0265\u0266\7U\2\2\u0266\u0267\7V\2\2\u0267"+
"\u025e\7J\2\2\u025e\u0315\7\67\2\2\u025f\u0260\7R\2\2\u0260\u0261\7W\2"+ "\u0268\7Q\2\2\u0268\u0269\7T\2\2\u0269\u034c\7G\2\2\u026a\u026b\7L\2\2"+
"\2\u0261\u0262\7U\2\2\u0262\u0263\7J\2\2\u0263\u0315\78\2\2\u0264\u0265"+ "\u026b\u026c\7W\2\2\u026c\u026d\7O\2\2\u026d\u034c\7R\2\2\u026e\u026f"+
"\7R\2\2\u0265\u0266\7W\2\2\u0266\u0267\7U\2\2\u0267\u0268\7J\2\2\u0268"+ "\7L\2\2\u026f\u0270\7W\2\2\u0270\u0271\7O\2\2\u0271\u0272\7R\2\2\u0272"+
"\u0315\79\2\2\u0269\u026a\7R\2\2\u026a\u026b\7W\2\2\u026b\u026c\7U\2\2"+ "\u034c\7K\2\2\u0273\u0274\7R\2\2\u0274\u034c\7E\2\2\u0275\u0276\7O\2\2"+
"\u026c\u026d\7J\2\2\u026d\u0315\7:\2\2\u026e\u026f\7R\2\2\u026f\u0270"+ "\u0276\u0277\7U\2\2\u0277\u0278\7K\2\2\u0278\u0279\7\\\2\2\u0279\u034c"+
"\7W\2\2\u0270\u0271\7U\2\2\u0271\u0272\7J\2\2\u0272\u0315\7;\2\2\u0273"+ "\7G\2\2\u027a\u027b\7I\2\2\u027b\u027c\7C\2\2\u027c\u034c\7U\2\2\u027d"+
"\u0274\7R\2\2\u0274\u0275\7W\2\2\u0275\u0276\7U\2\2\u0276\u0277\7J\2\2"+ "\u027e\7R\2\2\u027e\u027f\7W\2\2\u027f\u0280\7U\2\2\u0280\u0281\7J\2\2"+
"\u0277\u0278\7\63\2\2\u0278\u0315\7\62\2\2\u0279\u027a\7R\2\2\u027a\u027b"+ "\u0281\u034c\7\63\2\2\u0282\u0283\7R\2\2\u0283\u0284\7W\2\2\u0284\u0285"+
"\7W\2\2\u027b\u027c\7U\2\2\u027c\u027d\7J\2\2\u027d\u027e\7\63\2\2\u027e"+ "\7U\2\2\u0285\u0286\7J\2\2\u0286\u034c\7\64\2\2\u0287\u0288\7R\2\2\u0288"+
"\u0315\7\63\2\2\u027f\u0280\7R\2\2\u0280\u0281\7W\2\2\u0281\u0282\7U\2"+ "\u0289\7W\2\2\u0289\u028a\7U\2\2\u028a\u028b\7J\2\2\u028b\u034c\7\65\2"+
"\2\u0282\u0283\7J\2\2\u0283\u0284\7\63\2\2\u0284\u0315\7\64\2\2\u0285"+ "\2\u028c\u028d\7R\2\2\u028d\u028e\7W\2\2\u028e\u028f\7U\2\2\u028f\u0290"+
"\u0286\7R\2\2\u0286\u0287\7W\2\2\u0287\u0288\7U\2\2\u0288\u0289\7J\2\2"+ "\7J\2\2\u0290\u034c\7\66\2\2\u0291\u0292\7R\2\2\u0292\u0293\7W\2\2\u0293"+
"\u0289\u028a\7\63\2\2\u028a\u0315\7\65\2\2\u028b\u028c\7R\2\2\u028c\u028d"+ "\u0294\7U\2\2\u0294\u0295\7J\2\2\u0295\u034c\7\67\2\2\u0296\u0297\7R\2"+
"\7W\2\2\u028d\u028e\7U\2\2\u028e\u028f\7J\2\2\u028f\u0290\7\63\2\2\u0290"+ "\2\u0297\u0298\7W\2\2\u0298\u0299\7U\2\2\u0299\u029a\7J\2\2\u029a\u034c"+
"\u0315\7\66\2\2\u0291\u0292\7R\2\2\u0292\u0293\7W\2\2\u0293\u0294\7U\2"+ "\78\2\2\u029b\u029c\7R\2\2\u029c\u029d\7W\2\2\u029d\u029e\7U\2\2\u029e"+
"\2\u0294\u0295\7J\2\2\u0295\u0296\7\63\2\2\u0296\u0315\7\67\2\2\u0297"+ "\u029f\7J\2\2\u029f\u034c\79\2\2\u02a0\u02a1\7R\2\2\u02a1\u02a2\7W\2\2"+
"\u0298\7R\2\2\u0298\u0299\7W\2\2\u0299\u029a\7U\2\2\u029a\u029b\7J\2\2"+ "\u02a2\u02a3\7U\2\2\u02a3\u02a4\7J\2\2\u02a4\u034c\7:\2\2\u02a5\u02a6"+
"\u029b\u029c\7\63\2\2\u029c\u0315\78\2\2\u029d\u029e\7R\2\2\u029e\u029f"+ "\7R\2\2\u02a6\u02a7\7W\2\2\u02a7\u02a8\7U\2\2\u02a8\u02a9\7J\2\2\u02a9"+
"\7W\2\2\u029f\u02a0\7U\2\2\u02a0\u02a1\7J\2\2\u02a1\u02a2\7\63\2\2\u02a2"+ "\u034c\7;\2\2\u02aa\u02ab\7R\2\2\u02ab\u02ac\7W\2\2\u02ac\u02ad\7U\2\2"+
"\u0315\79\2\2\u02a3\u02a4\7R\2\2\u02a4\u02a5\7W\2\2\u02a5\u02a6\7U\2\2"+ "\u02ad\u02ae\7J\2\2\u02ae\u02af\7\63\2\2\u02af\u034c\7\62\2\2\u02b0\u02b1"+
"\u02a6\u02a7\7J\2\2\u02a7\u02a8\7\63\2\2\u02a8\u0315\7:\2\2\u02a9\u02aa"+ "\7R\2\2\u02b1\u02b2\7W\2\2\u02b2\u02b3\7U\2\2\u02b3\u02b4\7J\2\2\u02b4"+
"\7R\2\2\u02aa\u02ab\7W\2\2\u02ab\u02ac\7U\2\2\u02ac\u02ad\7J\2\2\u02ad"+ "\u02b5\7\63\2\2\u02b5\u034c\7\63\2\2\u02b6\u02b7\7R\2\2\u02b7\u02b8\7"+
"\u02ae\7\63\2\2\u02ae\u0315\7;\2\2\u02af\u02b0\7R\2\2\u02b0\u02b1\7W\2"+ "W\2\2\u02b8\u02b9\7U\2\2\u02b9\u02ba\7J\2\2\u02ba\u02bb\7\63\2\2\u02bb"+
"\2\u02b1\u02b2\7U\2\2\u02b2\u02b3\7J\2\2\u02b3\u02b4\7\64\2\2\u02b4\u0315"+ "\u034c\7\64\2\2\u02bc\u02bd\7R\2\2\u02bd\u02be\7W\2\2\u02be\u02bf\7U\2"+
"\7\62\2\2\u02b5\u02b6\7R\2\2\u02b6\u02b7\7W\2\2\u02b7\u02b8\7U\2\2\u02b8"+ "\2\u02bf\u02c0\7J\2\2\u02c0\u02c1\7\63\2\2\u02c1\u034c\7\65\2\2\u02c2"+
"\u02b9\7J\2\2\u02b9\u02ba\7\64\2\2\u02ba\u0315\7\63\2\2\u02bb\u02bc\7"+ "\u02c3\7R\2\2\u02c3\u02c4\7W\2\2\u02c4\u02c5\7U\2\2\u02c5\u02c6\7J\2\2"+
"R\2\2\u02bc\u02bd\7W\2\2\u02bd\u02be\7U\2\2\u02be\u02bf\7J\2\2\u02bf\u02c0"+ "\u02c6\u02c7\7\63\2\2\u02c7\u034c\7\66\2\2\u02c8\u02c9\7R\2\2\u02c9\u02ca"+
"\7\64\2\2\u02c0\u0315\7\64\2\2\u02c1\u02c2\7R\2\2\u02c2\u02c3\7W\2\2\u02c3"+ "\7W\2\2\u02ca\u02cb\7U\2\2\u02cb\u02cc\7J\2\2\u02cc\u02cd\7\63\2\2\u02cd"+
"\u02c4\7U\2\2\u02c4\u02c5\7J\2\2\u02c5\u02c6\7\64\2\2\u02c6\u0315\7\65"+ "\u034c\7\67\2\2\u02ce\u02cf\7R\2\2\u02cf\u02d0\7W\2\2\u02d0\u02d1\7U\2"+
"\2\2\u02c7\u02c8\7R\2\2\u02c8\u02c9\7W\2\2\u02c9\u02ca\7U\2\2\u02ca\u02cb"+ "\2\u02d1\u02d2\7J\2\2\u02d2\u02d3\7\63\2\2\u02d3\u034c\78\2\2\u02d4\u02d5"+
"\7J\2\2\u02cb\u02cc\7\64\2\2\u02cc\u0315\7\66\2\2\u02cd\u02ce\7R\2\2\u02ce"+ "\7R\2\2\u02d5\u02d6\7W\2\2\u02d6\u02d7\7U\2\2\u02d7\u02d8\7J\2\2\u02d8"+
"\u02cf\7W\2\2\u02cf\u02d0\7U\2\2\u02d0\u02d1\7J\2\2\u02d1\u02d2\7\64\2"+ "\u02d9\7\63\2\2\u02d9\u034c\79\2\2\u02da\u02db\7R\2\2\u02db\u02dc\7W\2"+
"\2\u02d2\u0315\7\67\2\2\u02d3\u02d4\7R\2\2\u02d4\u02d5\7W\2\2\u02d5\u02d6"+ "\2\u02dc\u02dd\7U\2\2\u02dd\u02de\7J\2\2\u02de\u02df\7\63\2\2\u02df\u034c"+
"\7U\2\2\u02d6\u02d7\7J\2\2\u02d7\u02d8\7\64\2\2\u02d8\u0315\78\2\2\u02d9"+ "\7:\2\2\u02e0\u02e1\7R\2\2\u02e1\u02e2\7W\2\2\u02e2\u02e3\7U\2\2\u02e3"+
"\u02da\7R\2\2\u02da\u02db\7W\2\2\u02db\u02dc\7U\2\2\u02dc\u02dd\7J\2\2"+ "\u02e4\7J\2\2\u02e4\u02e5\7\63\2\2\u02e5\u034c\7;\2\2\u02e6\u02e7\7R\2"+
"\u02dd\u02de\7\64\2\2\u02de\u0315\79\2\2\u02df\u02e0\7R\2\2\u02e0\u02e1"+ "\2\u02e7\u02e8\7W\2\2\u02e8\u02e9\7U\2\2\u02e9\u02ea\7J\2\2\u02ea\u02eb"+
"\7W\2\2\u02e1\u02e2\7U\2\2\u02e2\u02e3\7J\2\2\u02e3\u02e4\7\64\2\2\u02e4"+ "\7\64\2\2\u02eb\u034c\7\62\2\2\u02ec\u02ed\7R\2\2\u02ed\u02ee\7W\2\2\u02ee"+
"\u0315\7:\2\2\u02e5\u02e6\7R\2\2\u02e6\u02e7\7W\2\2\u02e7\u02e8\7U\2\2"+ "\u02ef\7U\2\2\u02ef\u02f0\7J\2\2\u02f0\u02f1\7\64\2\2\u02f1\u034c\7\63"+
"\u02e8\u02e9\7J\2\2\u02e9\u02ea\7\64\2\2\u02ea\u0315\7;\2\2\u02eb\u02ec"+ "\2\2\u02f2\u02f3\7R\2\2\u02f3\u02f4\7W\2\2\u02f4\u02f5\7U\2\2\u02f5\u02f6"+
"\7R\2\2\u02ec\u02ed\7W\2\2\u02ed\u02ee\7U\2\2\u02ee\u02ef\7J\2\2\u02ef"+ "\7J\2\2\u02f6\u02f7\7\64\2\2\u02f7\u034c\7\64\2\2\u02f8\u02f9\7R\2\2\u02f9"+
"\u02f0\7\65\2\2\u02f0\u0315\7\62\2\2\u02f1\u02f2\7R\2\2\u02f2\u02f3\7"+ "\u02fa\7W\2\2\u02fa\u02fb\7U\2\2\u02fb\u02fc\7J\2\2\u02fc\u02fd\7\64\2"+
"W\2\2\u02f3\u02f4\7U\2\2\u02f4\u02f5\7J\2\2\u02f5\u02f6\7\65\2\2\u02f6"+ "\2\u02fd\u034c\7\65\2\2\u02fe\u02ff\7R\2\2\u02ff\u0300\7W\2\2\u0300\u0301"+
"\u0315\7\63\2\2\u02f7\u02f8\7R\2\2\u02f8\u02f9\7W\2\2\u02f9\u02fa\7U\2"+ "\7U\2\2\u0301\u0302\7J\2\2\u0302\u0303\7\64\2\2\u0303\u034c\7\66\2\2\u0304"+
"\2\u02fa\u02fb\7J\2\2\u02fb\u02fc\7\65\2\2\u02fc\u0315\7\64\2\2\u02fd"+ "\u0305\7R\2\2\u0305\u0306\7W\2\2\u0306\u0307\7U\2\2\u0307\u0308\7J\2\2"+
"\u02fe\7E\2\2\u02fe\u02ff\7T\2\2\u02ff\u0300\7G\2\2\u0300\u0301\7C\2\2"+ "\u0308\u0309\7\64\2\2\u0309\u034c\7\67\2\2\u030a\u030b\7R\2\2\u030b\u030c"+
"\u0301\u0302\7V\2\2\u0302\u0315\7G\2\2\u0303\u0304\7E\2\2\u0304\u0305"+ "\7W\2\2\u030c\u030d\7U\2\2\u030d\u030e\7J\2\2\u030e\u030f\7\64\2\2\u030f"+
"\7C\2\2\u0305\u0306\7N\2\2\u0306\u0315\7N\2\2\u0307\u0308\7T\2\2\u0308"+ "\u034c\78\2\2\u0310\u0311\7R\2\2\u0311\u0312\7W\2\2\u0312\u0313\7U\2\2"+
"\u0309\7G\2\2\u0309\u030a\7V\2\2\u030a\u030b\7W\2\2\u030b\u030c\7T\2\2"+ "\u0313\u0314\7J\2\2\u0314\u0315\7\64\2\2\u0315\u034c\79\2\2\u0316\u0317"+
"\u030c\u0315\7P\2\2\u030d\u030e\7U\2\2\u030e\u030f\7W\2\2\u030f\u0310"+ "\7R\2\2\u0317\u0318\7W\2\2\u0318\u0319\7U\2\2\u0319\u031a\7J\2\2\u031a"+
"\7K\2\2\u0310\u0311\7E\2\2\u0311\u0312\7K\2\2\u0312\u0313\7F\2\2\u0313"+ "\u031b\7\64\2\2\u031b\u034c\7:\2\2\u031c\u031d\7R\2\2\u031d\u031e\7W\2"+
"\u0315\7G\2\2\u0314\u013c\3\2\2\2\u0314\u0140\3\2\2\2\u0314\u0143\3\2"+ "\2\u031e\u031f\7U\2\2\u031f\u0320\7J\2\2\u0320\u0321\7\64\2\2\u0321\u034c"+
"\2\2\u0314\u0146\3\2\2\2\u0314\u0149\3\2\2\2\u0314\u014c\3\2\2\2\u0314"+ "\7;\2\2\u0322\u0323\7R\2\2\u0323\u0324\7W\2\2\u0324\u0325\7U\2\2\u0325"+
"\u0150\3\2\2\2\u0314\u0153\3\2\2\2\u0314\u0157\3\2\2\2\u0314\u015a\3\2"+ "\u0326\7J\2\2\u0326\u0327\7\65\2\2\u0327\u034c\7\62\2\2\u0328\u0329\7"+
"\2\2\u0314\u015d\3\2\2\2\u0314\u015f\3\2\2\2\u0314\u0161\3\2\2\2\u0314"+ "R\2\2\u0329\u032a\7W\2\2\u032a\u032b\7U\2\2\u032b\u032c\7J\2\2\u032c\u032d"+
"\u0164\3\2\2\2\u0314\u0167\3\2\2\2\u0314\u0169\3\2\2\2\u0314\u016c\3\2"+ "\7\65\2\2\u032d\u034c\7\63\2\2\u032e\u032f\7R\2\2\u032f\u0330\7W\2\2\u0330"+
"\2\2\u0314\u016f\3\2\2\2\u0314\u0171\3\2\2\2\u0314\u0174\3\2\2\2\u0314"+ "\u0331\7U\2\2\u0331\u0332\7J\2\2\u0332\u0333\7\65\2\2\u0333\u034c\7\64"+
"\u0178\3\2\2\2\u0314\u017c\3\2\2\2\u0314\u0183\3\2\2\2\u0314\u018a\3\2"+ "\2\2\u0334\u0335\7E\2\2\u0335\u0336\7T\2\2\u0336\u0337\7G\2\2\u0337\u0338"+
"\2\2\u0314\u0190\3\2\2\2\u0314\u0196\3\2\2\2\u0314\u019f\3\2\2\2\u0314"+ "\7C\2\2\u0338\u0339\7V\2\2\u0339\u034c\7G\2\2\u033a\u033b\7E\2\2\u033b"+
"\u01ab\3\2\2\2\u0314\u01b7\3\2\2\2\u0314\u01c3\3\2\2\2\u0314\u01cb\3\2"+ "\u033c\7C\2\2\u033c\u033d\7N\2\2\u033d\u034c\7N\2\2\u033e\u033f\7T\2\2"+
"\2\2\u0314\u01d3\3\2\2\2\u0314\u01db\3\2\2\2\u0314\u01e3\3\2\2\2\u0314"+ "\u033f\u0340\7G\2\2\u0340\u0341\7V\2\2\u0341\u0342\7W\2\2\u0342\u0343"+
"\u01eb\3\2\2\2\u0314\u01f4\3\2\2\2\u0314\u01fa\3\2\2\2\u0314\u0204\3\2"+ "\7T\2\2\u0343\u034c\7P\2\2\u0344\u0345\7U\2\2\u0345\u0346\7W\2\2\u0346"+
"\2\2\u0314\u020c\3\2\2\2\u0314\u020f\3\2\2\2\u0314\u0212\3\2\2\2\u0314"+ "\u0347\7K\2\2\u0347\u0348\7E\2\2\u0348\u0349\7K\2\2\u0349\u034a\7F\2\2"+
"\u0216\3\2\2\2\u0314\u021b\3\2\2\2\u0314\u0221\3\2\2\2\u0314\u0228\3\2"+ "\u034a\u034c\7G\2\2\u034b\u0173\3\2\2\2\u034b\u0177\3\2\2\2\u034b\u017a"+
"\2\2\u0314\u022d\3\2\2\2\u0314\u0233\3\2\2\2\u0314\u0237\3\2\2\2\u0314"+ "\3\2\2\2\u034b\u017d\3\2\2\2\u034b\u0180\3\2\2\2\u034b\u0183\3\2\2\2\u034b"+
"\u023c\3\2\2\2\u0314\u023e\3\2\2\2\u0314\u0243\3\2\2\2\u0314\u0246\3\2"+ "\u0187\3\2\2\2\u034b\u018a\3\2\2\2\u034b\u018e\3\2\2\2\u034b\u0191\3\2"+
"\2\2\u0314\u024b\3\2\2\2\u0314\u0250\3\2\2\2\u0314\u0255\3\2\2\2\u0314"+ "\2\2\u034b\u0194\3\2\2\2\u034b\u0196\3\2\2\2\u034b\u0198\3\2\2\2\u034b"+
"\u025a\3\2\2\2\u0314\u025f\3\2\2\2\u0314\u0264\3\2\2\2\u0314\u0269\3\2"+ "\u019b\3\2\2\2\u034b\u019e\3\2\2\2\u034b\u01a0\3\2\2\2\u034b\u01a3\3\2"+
"\2\2\u0314\u026e\3\2\2\2\u0314\u0273\3\2\2\2\u0314\u0279\3\2\2\2\u0314"+ "\2\2\u034b\u01a6\3\2\2\2\u034b\u01a8\3\2\2\2\u034b\u01ab\3\2\2\2\u034b"+
"\u027f\3\2\2\2\u0314\u0285\3\2\2\2\u0314\u028b\3\2\2\2\u0314\u0291\3\2"+ "\u01af\3\2\2\2\u034b\u01b3\3\2\2\2\u034b\u01ba\3\2\2\2\u034b\u01c1\3\2"+
"\2\2\u0314\u0297\3\2\2\2\u0314\u029d\3\2\2\2\u0314\u02a3\3\2\2\2\u0314"+ "\2\2\u034b\u01c7\3\2\2\2\u034b\u01cd\3\2\2\2\u034b\u01d6\3\2\2\2\u034b"+
"\u02a9\3\2\2\2\u0314\u02af\3\2\2\2\u0314\u02b5\3\2\2\2\u0314\u02bb\3\2"+ "\u01e2\3\2\2\2\u034b\u01ee\3\2\2\2\u034b\u01fa\3\2\2\2\u034b\u0202\3\2"+
"\2\2\u0314\u02c1\3\2\2\2\u0314\u02c7\3\2\2\2\u0314\u02cd\3\2\2\2\u0314"+ "\2\2\u034b\u020a\3\2\2\2\u034b\u0212\3\2\2\2\u034b\u021a\3\2\2\2\u034b"+
"\u02d3\3\2\2\2\u0314\u02d9\3\2\2\2\u0314\u02df\3\2\2\2\u0314\u02e5\3\2"+ "\u0222\3\2\2\2\u034b\u022b\3\2\2\2\u034b\u0231\3\2\2\2\u034b\u023b\3\2"+
"\2\2\u0314\u02eb\3\2\2\2\u0314\u02f1\3\2\2\2\u0314\u02f7\3\2\2\2\u0314"+ "\2\2\u034b\u0243\3\2\2\2\u034b\u0246\3\2\2\2\u034b\u0249\3\2\2\2\u034b"+
"\u02fd\3\2\2\2\u0314\u0303\3\2\2\2\u0314\u0307\3\2\2\2\u0314\u030d\3\2"+ "\u024d\3\2\2\2\u034b\u0252\3\2\2\2\u034b\u0258\3\2\2\2\u034b\u025f\3\2"+
"\2\2\u03158\3\2\2\2\u0316\u0317\7z\2\2\u0317\u0318\7q\2\2\u0318\u0319"+ "\2\2\u034b\u0264\3\2\2\2\u034b\u026a\3\2\2\2\u034b\u026e\3\2\2\2\u034b"+
"\7t\2\2\u0319:\3\2\2\2\u031a\u031b\7(\2\2\u031b\u0320\7(\2\2\u031c\u031d"+ "\u0273\3\2\2\2\u034b\u0275\3\2\2\2\u034b\u027a\3\2\2\2\u034b\u027d\3\2"+
"\7c\2\2\u031d\u031e\7p\2\2\u031e\u0320\7f\2\2\u031f\u031a\3\2\2\2\u031f"+ "\2\2\u034b\u0282\3\2\2\2\u034b\u0287\3\2\2\2\u034b\u028c\3\2\2\2\u034b"+
"\u031c\3\2\2\2\u0320<\3\2\2\2\u0321\u0322\7~\2\2\u0322\u0326\7~\2\2\u0323"+ "\u0291\3\2\2\2\u034b\u0296\3\2\2\2\u034b\u029b\3\2\2\2\u034b\u02a0\3\2"+
"\u0324\7q\2\2\u0324\u0326\7t\2\2\u0325\u0321\3\2\2\2\u0325\u0323\3\2\2"+ "\2\2\u034b\u02a5\3\2\2\2\u034b\u02aa\3\2\2\2\u034b\u02b0\3\2\2\2\u034b"+
"\2\u0326>\3\2\2\2\u0327\u032c\7#\2\2\u0328\u0329\7p\2\2\u0329\u032a\7"+ "\u02b6\3\2\2\2\u034b\u02bc\3\2\2\2\u034b\u02c2\3\2\2\2\u034b\u02c8\3\2"+
"q\2\2\u032a\u032c\7v\2\2\u032b\u0327\3\2\2\2\u032b\u0328\3\2\2\2\u032c"+ "\2\2\u034b\u02ce\3\2\2\2\u034b\u02d4\3\2\2\2\u034b\u02da\3\2\2\2\u034b"+
"@\3\2\2\2\u032d\u032e\7?\2\2\u032eB\3\2\2\2\u032f\u0331\7\17\2\2\u0330"+ "\u02e0\3\2\2\2\u034b\u02e6\3\2\2\2\u034b\u02ec\3\2\2\2\u034b\u02f2\3\2"+
"\u032f\3\2\2\2\u0330\u0331\3\2\2\2\u0331\u0332\3\2\2\2\u0332\u0336\7\f"+ "\2\2\u034b\u02f8\3\2\2\2\u034b\u02fe\3\2\2\2\u034b\u0304\3\2\2\2\u034b"+
"\2\2\u0333\u0335\7\"\2\2\u0334\u0333\3\2\2\2\u0335\u0338\3\2\2\2\u0336"+ "\u030a\3\2\2\2\u034b\u0310\3\2\2\2\u034b\u0316\3\2\2\2\u034b\u031c\3\2"+
"\u0334\3\2\2\2\u0336\u0337\3\2\2\2\u0337D\3\2\2\2\u0338\u0336\3\2\2\2"+ "\2\2\u034b\u0322\3\2\2\2\u034b\u0328\3\2\2\2\u034b\u032e\3\2\2\2\u034b"+
"\u0339\u033b\t\3\2\2\u033a\u0339\3\2\2\2\u033b\u033c\3\2\2\2\u033c\u033a"+ "\u0334\3\2\2\2\u034b\u033a\3\2\2\2\u034b\u033e\3\2\2\2\u034b\u0344\3\2"+
"\3\2\2\2\u033c\u033d\3\2\2\2\u033d\u033e\3\2\2\2\u033e\u033f\b#\2\2\u033f"+ "\2\2\u034cD\3\2\2\2\u034d\u034e\7z\2\2\u034e\u034f\7q\2\2\u034f\u0350"+
"F\3\2\2\2\u0340\u0341\7\61\2\2\u0341\u0342\7\61\2\2\u0342\u0346\3\2\2"+ "\7t\2\2\u0350F\3\2\2\2\u0351\u0352\7(\2\2\u0352\u0357\7(\2\2\u0353\u0354"+
"\2\u0343\u0345\n\4\2\2\u0344\u0343\3\2\2\2\u0345\u0348\3\2\2\2\u0346\u0344"+ "\7c\2\2\u0354\u0355\7p\2\2\u0355\u0357\7f\2\2\u0356\u0351\3\2\2\2\u0356"+
"\3\2\2\2\u0346\u0347\3\2\2\2\u0347\u0349\3\2\2\2\u0348\u0346\3\2\2\2\u0349"+ "\u0353\3\2\2\2\u0357H\3\2\2\2\u0358\u0359\7~\2\2\u0359\u035d\7~\2\2\u035a"+
"\u034a\b$\3\2\u034aH\3\2\2\2\u034b\u034f\t\5\2\2\u034c\u034e\t\6\2\2\u034d"+ "\u035b\7q\2\2\u035b\u035d\7t\2\2\u035c\u0358\3\2\2\2\u035c\u035a\3\2\2"+
"\u034c\3\2\2\2\u034e\u0351\3\2\2\2\u034f\u034d\3\2\2\2\u034f\u0350\3\2"+ "\2\u035dJ\3\2\2\2\u035e\u0363\7#\2\2\u035f\u0360\7p\2\2\u0360\u0361\7"+
"\2\2\u0350J\3\2\2\2\u0351\u034f\3\2\2\2\u0352\u0353\t\7\2\2\u0353L\3\2"+ "q\2\2\u0361\u0363\7v\2\2\u0362\u035e\3\2\2\2\u0362\u035f\3\2\2\2\u0363"+
"\2\2\u0354\u0355\t\b\2\2\u0355N\3\2\2\2\u0356\u035c\t\t\2\2\u0357\u0358"+ "L\3\2\2\2\u0364\u0365\7?\2\2\u0365N\3\2\2\2\u0366\u0368\7\17\2\2\u0367"+
"\7>\2\2\u0358\u035c\7?\2\2\u0359\u035a\7@\2\2\u035a\u035c\7?\2\2\u035b"+ "\u0366\3\2\2\2\u0367\u0368\3\2\2\2\u0368\u0369\3\2\2\2\u0369\u036d\7\f"+
"\u0356\3\2\2\2\u035b\u0357\3\2\2\2\u035b\u0359\3\2\2\2\u035cP\3\2\2\2"+ "\2\2\u036a\u036c\7\"\2\2\u036b\u036a\3\2\2\2\u036c\u036f\3\2\2\2\u036d"+
"\u035d\u035e\7?\2\2\u035e\u0362\7?\2\2\u035f\u0360\7#\2\2\u0360\u0362"+ "\u036b\3\2\2\2\u036d\u036e\3\2\2\2\u036eP\3\2\2\2\u036f\u036d\3\2\2\2"+
"\7?\2\2\u0361\u035d\3\2\2\2\u0361\u035f\3\2\2\2\u0362R\3\2\2\2\u0363\u0364"+ "\u0370\u0372\t\3\2\2\u0371\u0370\3\2\2\2\u0372\u0373\3\2\2\2\u0373\u0371"+
"\7(\2\2\u0364T\3\2\2\2\u0365\u0366\7~\2\2\u0366V\3\2\2\2\u0367\u0368\t"+ "\3\2\2\2\u0373\u0374\3\2\2\2\u0374\u0375\3\2\2\2\u0375\u0376\b)\2\2\u0376"+
"\n\2\2\u0368X\3\2\2\2\u0369\u036a\7\62\2\2\u036a\u036e\7z\2\2\u036b\u036c"+ "R\3\2\2\2\u0377\u0378\7\61\2\2\u0378\u0379\7\61\2\2\u0379\u037d\3\2\2"+
"\7\62\2\2\u036c\u036e\7Z\2\2\u036d\u0369\3\2\2\2\u036d\u036b\3\2\2\2\u036e"+ "\2\u037a\u037c\n\4\2\2\u037b\u037a\3\2\2\2\u037c\u037f\3\2\2\2\u037d\u037b"+
"\u0370\3\2\2\2\u036f\u0371\5W,\2\u0370\u036f\3\2\2\2\u0371\u0372\3\2\2"+ "\3\2\2\2\u037d\u037e\3\2\2\2\u037e\u0380\3\2\2\2\u037f\u037d\3\2\2\2\u0380"+
"\2\u0372\u0370\3\2\2\2\u0372\u0373\3\2\2\2\u0373Z\3\2\2\2\21\2\u013a\u0314"+ "\u0381\b*\3\2\u0381T\3\2\2\2\u0382\u0386\t\5\2\2\u0383\u0385\t\6\2\2\u0384"+
"\u031f\u0325\u032b\u0330\u0336\u033c\u0346\u034f\u035b\u0361\u036d\u0372"; "\u0383\3\2\2\2\u0385\u0388\3\2\2\2\u0386\u0384\3\2\2\2\u0386\u0387\3\2"+
"\2\2\u0387V\3\2\2\2\u0388\u0386\3\2\2\2\u0389\u038a\t\7\2\2\u038aX\3\2"+
"\2\2\u038b\u038c\t\b\2\2\u038cZ\3\2\2\2\u038d\u0393\t\t\2\2\u038e\u038f"+
"\7>\2\2\u038f\u0393\7?\2\2\u0390\u0391\7@\2\2\u0391\u0393\7?\2\2\u0392"+
"\u038d\3\2\2\2\u0392\u038e\3\2\2\2\u0392\u0390\3\2\2\2\u0393\\\3\2\2\2"+
"\u0394\u0395\7?\2\2\u0395\u0399\7?\2\2\u0396\u0397\7#\2\2\u0397\u0399"+
"\7?\2\2\u0398\u0394\3\2\2\2\u0398\u0396\3\2\2\2\u0399^\3\2\2\2\u039a\u039b"+
"\7(\2\2\u039b`\3\2\2\2\u039c\u039d\7~\2\2\u039db\3\2\2\2\u039e\u039f\t"+
"\n\2\2\u039fd\3\2\2\2\u03a0\u03a1\7\62\2\2\u03a1\u03a5\7z\2\2\u03a2\u03a3"+
"\7\62\2\2\u03a3\u03a5\7Z\2\2\u03a4\u03a0\3\2\2\2\u03a4\u03a2\3\2\2\2\u03a5"+
"\u03a7\3\2\2\2\u03a6\u03a8\5c\62\2\u03a7\u03a6\3\2\2\2\u03a8\u03a9\3\2"+
"\2\2\u03a9\u03a7\3\2\2\2\u03a9\u03aa\3\2\2\2\u03aaf\3\2\2\2\21\2\u0171"+
"\u034b\u0356\u035c\u0362\u0367\u036d\u0373\u037d\u0386\u0392\u0398\u03a4"+
"\u03a9";
public static final ATN _ATN = public static final ATN _ATN =
ATNSimulator.deserialize(_serializedATN.toCharArray()); ATNSimulator.deserialize(_serializedATN.toCharArray());
static { static {

View File

@ -1,73 +1,85 @@
OP_IN_OR=42 OP_IN_OR=48
EQ_OP=32 EQ_OP=38
OP_AND=41 T__29=2
LINE_COMMENT=35 T__28=3
T__24=1 T__27=4
OP_LOG_OR=30 OP_AND=47
T__23=2 T__26=5
T__22=3 LINE_COMMENT=41
OP_ADD=37 T__25=6
T__21=4 T__24=7
T__20=5 OP_LOG_OR=36
OP_MUL=38 T__23=8
HEX_DIGIT=43 T__22=9
INT=26 OP_ADD=43
T__9=16 T__21=10
T__8=17 T__20=11
T__7=18 OP_MUL=44
T__6=19 HEX_DIGIT=49
T__5=20 INT=32
T__4=21 T__9=22
T__19=6 T__8=23
OP_EQ=40 T__7=24
WS=34 T__6=25
T__16=9 T__5=26
T__15=10 T__4=27
T__18=7 T__19=12
T__17=8 T__30=1
T__12=13 OP_EQ=46
T__11=14 WS=40
T__14=11 T__16=15
T__13=12 T__15=16
T__1=24 T__18=13
T__0=25 T__17=14
T__10=15 T__12=19
T__3=22 T__11=20
T__2=23 T__14=17
OP_EX_OR=28 T__13=18
ASM_SYMBOLS=27 T__1=30
VAR=36 T__0=31
OP_NOT=31 T__3=28
NL=33 T__10=21
HEX_NUMBER=44 T__2=29
OP_REL=39 OP_EX_OR=34
OP_LOG_AND=29 ASM_SYMBOLS=33
'|'=42 VAR=42
'block.number'=24 OP_NOT=37
'block.gaslimit'=22 NL=39
'asm]'=21 HEX_NUMBER=50
'contract.balance'=20 OP_REL=45
'msg.sender'=16 OP_LOG_AND=35
'='=32 '|'=48
'return'=15 'block.number'=31
'elif'=14 'block.gaslimit'=30
'tx.origin'=7 'asm]'=29
'else:'=5 'contract.balance'=28
'tx.gasprice'=4 'msg.sender'=27
')'=3 '='=38
'xor'=28 'return'=26
'msg.datasize'=1 'elif'=25
'block.difficulty'=25 'tx.origin'=23
'block.prevhash'=23 'msg.data'=24
'msg.value'=19 'else:'=21
'[asm'=18 'tx.gasprice'=22
'block.timestamp'=17 ')'=20
'if'=13 'xor'=34
'('=12 'msg.datasize'=19
':'=11 'block.difficulty'=18
'msg'=10 'suicide'=17
'tx.gas'=9 'block.prevhash'=15
'while'=8 'contract.storage'=16
','=6 'msg.value'=14
'block.coinbase'=2 '[asm'=13
'&'=41 'block.timestamp'=12
'if'=11
':'=10
'('=9
'['=8
'while'=7
'tx.gas'=6
'msg'=5
','=4
'block.coinbase'=3
'&'=47
'stop'=2
']'=1

View File

@ -85,6 +85,17 @@ public interface SerpentListener extends ParseTreeListener {
*/ */
void exitAsm_symbol(@NotNull SerpentParser.Asm_symbolContext ctx); void exitAsm_symbol(@NotNull SerpentParser.Asm_symbolContext ctx);
/**
* Enter a parse tree produced by {@link SerpentParser#contract_storage_assign}.
* @param ctx the parse tree
*/
void enterContract_storage_assign(@NotNull SerpentParser.Contract_storage_assignContext ctx);
/**
* Exit a parse tree produced by {@link SerpentParser#contract_storage_assign}.
* @param ctx the parse tree
*/
void exitContract_storage_assign(@NotNull SerpentParser.Contract_storage_assignContext ctx);
/** /**
* Enter a parse tree produced by {@link SerpentParser#tx_gas}. * Enter a parse tree produced by {@link SerpentParser#tx_gas}.
* @param ctx the parse tree * @param ctx the parse tree
@ -173,6 +184,17 @@ public interface SerpentListener extends ParseTreeListener {
*/ */
void exitTx_gasprice(@NotNull SerpentParser.Tx_gaspriceContext ctx); void exitTx_gasprice(@NotNull SerpentParser.Tx_gaspriceContext ctx);
/**
* Enter a parse tree produced by {@link SerpentParser#contract_storage_load}.
* @param ctx the parse tree
*/
void enterContract_storage_load(@NotNull SerpentParser.Contract_storage_loadContext ctx);
/**
* Exit a parse tree produced by {@link SerpentParser#contract_storage_load}.
* @param ctx the parse tree
*/
void exitContract_storage_load(@NotNull SerpentParser.Contract_storage_loadContext ctx);
/** /**
* Enter a parse tree produced by {@link SerpentParser#ex_or_exp}. * Enter a parse tree produced by {@link SerpentParser#ex_or_exp}.
* @param ctx the parse tree * @param ctx the parse tree
@ -228,6 +250,17 @@ public interface SerpentListener extends ParseTreeListener {
*/ */
void exitParse(@NotNull SerpentParser.ParseContext ctx); void exitParse(@NotNull SerpentParser.ParseContext ctx);
/**
* Enter a parse tree produced by {@link SerpentParser#suicide_func}.
* @param ctx the parse tree
*/
void enterSuicide_func(@NotNull SerpentParser.Suicide_funcContext ctx);
/**
* Exit a parse tree produced by {@link SerpentParser#suicide_func}.
* @param ctx the parse tree
*/
void exitSuicide_func(@NotNull SerpentParser.Suicide_funcContext ctx);
/** /**
* Enter a parse tree produced by {@link SerpentParser#hex_num}. * Enter a parse tree produced by {@link SerpentParser#hex_num}.
* @param ctx the parse tree * @param ctx the parse tree
@ -239,17 +272,6 @@ public interface SerpentListener extends ParseTreeListener {
*/ */
void exitHex_num(@NotNull SerpentParser.Hex_numContext ctx); void exitHex_num(@NotNull SerpentParser.Hex_numContext ctx);
/**
* Enter a parse tree produced by {@link SerpentParser#ret_func}.
* @param ctx the parse tree
*/
void enterRet_func(@NotNull SerpentParser.Ret_funcContext ctx);
/**
* Exit a parse tree produced by {@link SerpentParser#ret_func}.
* @param ctx the parse tree
*/
void exitRet_func(@NotNull SerpentParser.Ret_funcContext ctx);
/** /**
* Enter a parse tree produced by {@link SerpentParser#contract_balance}. * Enter a parse tree produced by {@link SerpentParser#contract_balance}.
* @param ctx the parse tree * @param ctx the parse tree
@ -283,6 +305,17 @@ public interface SerpentListener extends ParseTreeListener {
*/ */
void exitEq_exp(@NotNull SerpentParser.Eq_expContext ctx); void exitEq_exp(@NotNull SerpentParser.Eq_expContext ctx);
/**
* Enter a parse tree produced by {@link SerpentParser#stop_func}.
* @param ctx the parse tree
*/
void enterStop_func(@NotNull SerpentParser.Stop_funcContext ctx);
/**
* Exit a parse tree produced by {@link SerpentParser#stop_func}.
* @param ctx the parse tree
*/
void exitStop_func(@NotNull SerpentParser.Stop_funcContext ctx);
/** /**
* Enter a parse tree produced by {@link SerpentParser#log_and_exp}. * Enter a parse tree produced by {@link SerpentParser#log_and_exp}.
* @param ctx the parse tree * @param ctx the parse tree
@ -393,6 +426,28 @@ public interface SerpentListener extends ParseTreeListener {
*/ */
void exitInt_val(@NotNull SerpentParser.Int_valContext ctx); void exitInt_val(@NotNull SerpentParser.Int_valContext ctx);
/**
* Enter a parse tree produced by {@link SerpentParser#msg_data}.
* @param ctx the parse tree
*/
void enterMsg_data(@NotNull SerpentParser.Msg_dataContext ctx);
/**
* Exit a parse tree produced by {@link SerpentParser#msg_data}.
* @param ctx the parse tree
*/
void exitMsg_data(@NotNull SerpentParser.Msg_dataContext ctx);
/**
* Enter a parse tree produced by {@link SerpentParser#ret_func_2}.
* @param ctx the parse tree
*/
void enterRet_func_2(@NotNull SerpentParser.Ret_func_2Context ctx);
/**
* Exit a parse tree produced by {@link SerpentParser#ret_func_2}.
* @param ctx the parse tree
*/
void exitRet_func_2(@NotNull SerpentParser.Ret_func_2Context ctx);
/** /**
* Enter a parse tree produced by {@link SerpentParser#msg_value}. * Enter a parse tree produced by {@link SerpentParser#msg_value}.
* @param ctx the parse tree * @param ctx the parse tree
@ -414,4 +469,15 @@ public interface SerpentListener extends ParseTreeListener {
* @param ctx the parse tree * @param ctx the parse tree
*/ */
void exitAsm(@NotNull SerpentParser.AsmContext ctx); void exitAsm(@NotNull SerpentParser.AsmContext ctx);
/**
* Enter a parse tree produced by {@link SerpentParser#ret_func_1}.
* @param ctx the parse tree
*/
void enterRet_func_1(@NotNull SerpentParser.Ret_func_1Context ctx);
/**
* Exit a parse tree produced by {@link SerpentParser#ret_func_1}.
* @param ctx the parse tree
*/
void exitRet_func_1(@NotNull SerpentParser.Ret_func_1Context ctx);
} }

View File

@ -167,12 +167,27 @@ public class SerpentToAssemblyCompiler extends SerpentBaseVisitor<String> {
return String.format(" %s %d MSTORE ", expression, addr * 32); return String.format(" %s %d MSTORE ", expression, addr * 32);
} }
@Override
public String visitContract_storage_load(@NotNull SerpentParser.Contract_storage_loadContext ctx) {
String operand0 = visitExpression(ctx.expression());
return String.format(" %s SLOAD ", operand0);
}
@Override
public String visitContract_storage_assign(@NotNull SerpentParser.Contract_storage_assignContext ctx) {
String operand0 = visitExpression(ctx.expression(0));
String operand1 = visitExpression(ctx.expression(1));
return String.format(" %s %s SSTORE ", operand1, operand0);
}
@Override @Override
public String visitInt_val(@NotNull SerpentParser.Int_valContext ctx) { public String visitInt_val(@NotNull SerpentParser.Int_valContext ctx) {
// todo: (!!!) ensure that not encode value more than 32 bytes (!!!)
if (ctx.OP_NOT() != null) if (ctx.OP_NOT() != null)
return visitExpression(ctx.expression()) + " NOT"; return visitExpression(ctx.expression()) + " NOT";
@ -191,6 +206,13 @@ public class SerpentToAssemblyCompiler extends SerpentBaseVisitor<String> {
if (ctx.msg_func() != null) if (ctx.msg_func() != null)
return visitMsg_func(ctx.msg_func()); return visitMsg_func(ctx.msg_func());
if (ctx.msg_data() != null)
return visitMsg_data(ctx.msg_data());
if (ctx.contract_storage_load() != null)
return visitContract_storage_load(ctx.contract_storage_load());
return ctx.INT().toString(); return ctx.INT().toString();
} }
@ -400,11 +422,42 @@ public class SerpentToAssemblyCompiler extends SerpentBaseVisitor<String> {
} }
@Override @Override
public String visitRet_func(@NotNull SerpentParser.Ret_funcContext ctx) { public String visitRet_func_1(@NotNull SerpentParser.Ret_func_1Context ctx) {
return ctx.INT() + " MSIZE SWAP MSIZE MSTORE 32 SWAP RETURN"; String operand0 = visit(ctx.expression());
return String.format(" %s MSIZE SWAP MSIZE MSTORE 32 SWAP RETURN ", operand0);
} }
@Override
public String visitRet_func_2(@NotNull SerpentParser.Ret_func_2Context ctx) {
String operand0 = visit(ctx.expression(0));
String operand1 = visit(ctx.expression(1));
return String.format(" %s 32 MUL %s RETURN ", operand1, operand0);
}
@Override
public String visitSuicide_func(@NotNull SerpentParser.Suicide_funcContext ctx) {
String operand0 = visit(ctx.expression());
return String.format(" %s SUICIDE ", operand0);
}
@Override
public String visitStop_func(@NotNull SerpentParser.Stop_funcContext ctx) {
return " STOP ";
}
@Override
public String visitMsg_data(@NotNull SerpentParser.Msg_dataContext ctx) {
String operand0 = visit(ctx.expression());
return String.format("%s 32 MUL CALLDATALOAD ", operand0);
}
@Override @Override
public String visitMsg_func(@NotNull SerpentParser.Msg_funcContext ctx) { public String visitMsg_func(@NotNull SerpentParser.Msg_funcContext ctx) {
@ -415,7 +468,7 @@ public class SerpentToAssemblyCompiler extends SerpentBaseVisitor<String> {
String operand3 = visit(ctx.int_val(3)); String operand3 = visit(ctx.int_val(3));
String operand4 = visit(ctx.int_val(4)); String operand4 = visit(ctx.int_val(4));
return " 32 " + operand4 + " MUL " + operand3 + " " + operand1 + " " + operand0 + " " + operand2 + " CALL"; return String.format("%s 32 MUL %s %s %s %s CALL ", operand4, operand3, operand1, operand0, operand2);
} }
@Override @Override
@ -442,7 +495,7 @@ public class SerpentToAssemblyCompiler extends SerpentBaseVisitor<String> {
sb.append(symbol).append(" "); sb.append(symbol).append(" ");
} }
return sb.toString(); return "[asm " + sb.toString() + " asm]";
} }
@Override @Override

View File

@ -60,6 +60,13 @@ public interface SerpentVisitor<T> extends ParseTreeVisitor<T> {
*/ */
T visitAsm_symbol(@NotNull SerpentParser.Asm_symbolContext ctx); T visitAsm_symbol(@NotNull SerpentParser.Asm_symbolContext ctx);
/**
* Visit a parse tree produced by {@link SerpentParser#contract_storage_assign}.
* @param ctx the parse tree
* @return the visitor result
*/
T visitContract_storage_assign(@NotNull SerpentParser.Contract_storage_assignContext ctx);
/** /**
* Visit a parse tree produced by {@link SerpentParser#tx_gas}. * Visit a parse tree produced by {@link SerpentParser#tx_gas}.
* @param ctx the parse tree * @param ctx the parse tree
@ -116,6 +123,13 @@ public interface SerpentVisitor<T> extends ParseTreeVisitor<T> {
*/ */
T visitTx_gasprice(@NotNull SerpentParser.Tx_gaspriceContext ctx); T visitTx_gasprice(@NotNull SerpentParser.Tx_gaspriceContext ctx);
/**
* Visit a parse tree produced by {@link SerpentParser#contract_storage_load}.
* @param ctx the parse tree
* @return the visitor result
*/
T visitContract_storage_load(@NotNull SerpentParser.Contract_storage_loadContext ctx);
/** /**
* Visit a parse tree produced by {@link SerpentParser#ex_or_exp}. * Visit a parse tree produced by {@link SerpentParser#ex_or_exp}.
* @param ctx the parse tree * @param ctx the parse tree
@ -151,6 +165,13 @@ public interface SerpentVisitor<T> extends ParseTreeVisitor<T> {
*/ */
T visitParse(@NotNull SerpentParser.ParseContext ctx); T visitParse(@NotNull SerpentParser.ParseContext ctx);
/**
* Visit a parse tree produced by {@link SerpentParser#suicide_func}.
* @param ctx the parse tree
* @return the visitor result
*/
T visitSuicide_func(@NotNull SerpentParser.Suicide_funcContext ctx);
/** /**
* Visit a parse tree produced by {@link SerpentParser#hex_num}. * Visit a parse tree produced by {@link SerpentParser#hex_num}.
* @param ctx the parse tree * @param ctx the parse tree
@ -158,13 +179,6 @@ public interface SerpentVisitor<T> extends ParseTreeVisitor<T> {
*/ */
T visitHex_num(@NotNull SerpentParser.Hex_numContext ctx); T visitHex_num(@NotNull SerpentParser.Hex_numContext ctx);
/**
* Visit a parse tree produced by {@link SerpentParser#ret_func}.
* @param ctx the parse tree
* @return the visitor result
*/
T visitRet_func(@NotNull SerpentParser.Ret_funcContext ctx);
/** /**
* Visit a parse tree produced by {@link SerpentParser#contract_balance}. * Visit a parse tree produced by {@link SerpentParser#contract_balance}.
* @param ctx the parse tree * @param ctx the parse tree
@ -186,6 +200,13 @@ public interface SerpentVisitor<T> extends ParseTreeVisitor<T> {
*/ */
T visitEq_exp(@NotNull SerpentParser.Eq_expContext ctx); T visitEq_exp(@NotNull SerpentParser.Eq_expContext ctx);
/**
* Visit a parse tree produced by {@link SerpentParser#stop_func}.
* @param ctx the parse tree
* @return the visitor result
*/
T visitStop_func(@NotNull SerpentParser.Stop_funcContext ctx);
/** /**
* Visit a parse tree produced by {@link SerpentParser#log_and_exp}. * Visit a parse tree produced by {@link SerpentParser#log_and_exp}.
* @param ctx the parse tree * @param ctx the parse tree
@ -256,6 +277,20 @@ public interface SerpentVisitor<T> extends ParseTreeVisitor<T> {
*/ */
T visitInt_val(@NotNull SerpentParser.Int_valContext ctx); T visitInt_val(@NotNull SerpentParser.Int_valContext ctx);
/**
* Visit a parse tree produced by {@link SerpentParser#msg_data}.
* @param ctx the parse tree
* @return the visitor result
*/
T visitMsg_data(@NotNull SerpentParser.Msg_dataContext ctx);
/**
* Visit a parse tree produced by {@link SerpentParser#ret_func_2}.
* @param ctx the parse tree
* @return the visitor result
*/
T visitRet_func_2(@NotNull SerpentParser.Ret_func_2Context ctx);
/** /**
* Visit a parse tree produced by {@link SerpentParser#msg_value}. * Visit a parse tree produced by {@link SerpentParser#msg_value}.
* @param ctx the parse tree * @param ctx the parse tree
@ -269,4 +304,11 @@ public interface SerpentVisitor<T> extends ParseTreeVisitor<T> {
* @return the visitor result * @return the visitor result
*/ */
T visitAsm(@NotNull SerpentParser.AsmContext ctx); T visitAsm(@NotNull SerpentParser.AsmContext ctx);
/**
* Visit a parse tree produced by {@link SerpentParser#ret_func_1}.
* @param ctx the parse tree
* @return the visitor result
*/
T visitRet_func_1(@NotNull SerpentParser.Ret_func_1Context ctx);
} }

View File

@ -1247,11 +1247,46 @@ public class SerpentCompileTest {
/** /**
* *
* todo: return testing * todo: return(1) testing
* todo: memory_storage testing * return (1,2) testing
* todo: message access testing * todo: msg.data testing
* todo: msg testing * todo: contract.storage testing
* todo: [asm asm] testing * todo: [asm asm] testing
* todo: suicide(1) testing
* todo: stop test
*
* *
*/ */
/**
todo: add this namecoin sample to the testing
if !(contract.storage[msg.data[0]]):
contract.storage[msg.data[0]] = msg.data[1]
return(1)
else:
return(0)
*/
/*
todo: add this curency creation sample for testing
"if msg.datasize == 1:\n" +
" addr = msg.data[0]\n" +
" return(contract.storage[addr])\n" +
"else:\n" +
" from = msg.sender\n" +
" fromvalue = contract.storage[from]\n" +
" to = msg.data[0]\n" +
" value = msg.data[1]\n" +
" if fromvalue >= value:\n" +
" contract.storage[from] = fromvalue - value\n" +
" contract.storage[to] = contract.storage[to] + value\n" +
" return(1)\n" +
" else:\n" +
" return(0)" +
*/
} }