long[] data = { 2251799813685248L, 144537400540921856L, 112L, 0L, 0L, 0L};
long[] data = { 2251799813685248L, 144537400540921856L, 224L, 0L, 0L, 0L};
	private static final long[] mk_tokenSet_4() {		long[] data = { 2251799813685248L, 144537400540921856L, 112L, 0L, 0L, 0L};		return data;	}