Theorem 9.2 (List Decoding Theorem (Adapted from [1]})) 
Suppose \(\operatorname{dsum}_{W(k)}\)  is an \((\eta ^8/2^{30},L)\) -two-step tensorial direct sum lifting from an \(\eta _0\) -balanced code \(\mathcal {C}\subseteq \mathbb {F}_2^n\) 
to \(\mathcal {C}^{\prime }\)  on a multiset \(W(k) \subseteq [n]^k\)  which is a \((1/2+\eta _0/2, \eta )\) -parity sampler.
