EFTA01145243Set 9
42p22,663w
some universality results (for the proofs, see the mentioned papers):
1. NRE = NOPI(cat2), [38].
2. NRE = NOP3(symi, anal) = NOP3(sym2, antio), [4].
3. NRE = NOP3
https://www.justice.gov/epstein/files/DataSet%209/EFTA01145243.pdf