long[] data = { 54350972887662480L, -2473876942588L, 5506147871742L, 0L, 0L, 0L};
long[] data = { 108701945774636944L, -4947753885176L, 22007412021245L, 0L, 0L, 0L};
	private static final long[] mk_tokenSet_0() {		long[] data = { 54350972887662480L, -2473876942588L, 5506147871742L, 0L, 0L, 0L};		return data;	}