long[] data = { 0L, 1024L, 798863917056L, 0L, 0L, 0L};
long[] data = { 0L, 2048L, 3195455668224L, 0L, 0L, 0L};
	private static final long[] mk_tokenSet_12() {		long[] data = { 0L, 1024L, 798863917056L, 0L, 0L, 0L};		return data;	}