To apply Lemma F.1, we define \(\mathcal{Q}_{1}=[N_{0}]\), \(\mathcal{Q}_{2}=[N_{0}-1]\), and continue until \(\mathcal{Q}_{N}=[N_{0}-N+1]\). After uniformly randomly generating \(Q_{1},\ldots,Q_{N}\) from \(\mathcal{Q}_{1},\ldots,\mathcal{Q}_{N}\), we construct \((g_{1},\ldots,g_{N})\in[N]^{N}\) as follows: set \(g_{1}=Q_{1}\); for \(g_{2}\), set it to \(Q_{2}\) if \(Q_{2}<Q_{1}\), otherwise \(g_{2}=Q_{2}+1\); and in general, define \(g_{i}\) as the \(Q_{i}\)-th smallest element in \([N_{0}]\setminus\{g_{1},\ldots,g_{i-1}\}\). This method provides an alternative way to generate \(\mathcal{Z}=(g_{1},\ldots,g_{N})\), denoted as \(\mathcal{Z}(Q)\). For each \(i\in[N]\), we define \(P_{i}\) as follows: first, generate \(f=f(\mathcal{W}(\mathcal{Z}),R_{i})\) using fresh randomness \(R_{i}\). Set \(P_{i}\stackrel{{\text{\tiny def}}}{{=}}s\) if \(f\) is the \(s\)-th smallest element in \([N_{0}]\setminus\{g_{1},\ldots,g_{i-1}\}\), or a special symbol such as \(\varnothing\) if \(f\) is among \(\{g_{1},\ldots,g_{i-1}\}\).