long[] data = { 2209189821098754048L, 2053633075564252940L, 96L, 0L, 0L, 0L};
long[] data = { 3362111325705601024L, 8214532302257011736L, 384L, 0L, 0L, 0L};
	private static final long[] mk_tokenSet_6() {		long[] data = { 2209189821098754048L, 2053633075564252940L, 96L, 0L, 0L, 0L};		return data;	}