long[] data = { -56576470318841856L, -6232968741253141377L, 6598142468045L, 0L, 0L, 0L};
long[] data = { -113152940637683712L, 5980806591203268863L, 26390424469403L, 0L, 0L, 0L};
	private static final long[] mk_tokenSet_2() {		long[] data = { -56576470318841856L, -6232968741253141377L, 6598142468045L, 0L, 0L, 0L};		return data;	}