Are there any known reversible pairing functions f: ℕ ⨉ ℕ → ℕ that can be computed in constant time (FAC⁰)?