data[2]=70368744177663L;
data[2]=562949953421311L;
	private static final long[] mk_tokenSet_12() {		long[] data = new long[8];		data[0]=-16L;		data[1]=-18014400656965633L;		data[2]=70368744177663L;		return data;	}