The bijection in

<cite authors="Rubey, Martin; Stump, Christian">_Rubey, Martin; Stump, Christian_, [**Double deficiencies of Dyck paths via the Billey-Jockusch-Stanley bijection**](https://cs.uwaterloo.ca/journals/JIS/VOL20/Stump/stump7.html), J. Integer Seq. 20, No. 9, Article 17.9.6, 9 p. (2017). [ZBL1384.05048](https://zbmath.org/?q=an:1384.05048).</cite>

was essentially found by computer.