long[] data = new long[3588]; data[0]=-288230380446669312L; for (int i = 1; i<=863; i++) { data[i]=-1L; } for (int i = 896; i<=1022; i++) { data[i]=-1L; } data[1023]=4611686018427387903L;
long[] data = new long[2048]; data[0]=-4294977032L; for (int i = 1; i<=1022; i++) { data[i]=-1L; } data[1023]=9223372036854775807L;
								private static final long[] mk_tokenSet_9() {									long[] data = new long[3588];									data[0]=-288230380446669312L;									for (int i = 1; i<=863; i++) { data[i]=-1L; }									for (int i = 896; i<=1022; i++) { data[i]=-1L; }									data[1023]=4611686018427387903L;									return data;								}