long[] data = { 2173161024079790080L, 2053606687285186316L, 96L, 0L, 0L, 0L};
long[] data = { 3326082528686637056L, 8214426749140745240L, 384L, 0L, 0L, 0L};
	private static final long[] mk_tokenSet_2() {		long[] data = { 2173161024079790080L, 2053606687285186316L, 96L, 0L, 0L, 0L};		return data;	}