A-star-map "Optimal First-Order Algorithms as a Function of Inequalities" Code The proofs of this paper is long so we also provide scripts to verify that our answer is correct both in Section 4 and Appendix B.