long[] data = { -1084944092950953984L, 66559L, 0L, 0L};
long[] data = { 1731853976564924416L, 136314639L, 0L, 0L};
	private static final long[] mk_tokenSet_2() {		long[] data = { -1084944092950953984L, 66559L, 0L, 0L};		return data;	}