long[] data = new long[170];
long[] data = new long[18];
	private static final long[] mk_tokenSet_19() {		long[] data = new long[170];		data[0]=-9223372036854775294L;		data[5]=281474976710656L;		data[7]=4611686018427392000L;		return data;	}