The provably total NP search problems of weak second order bounded arithmetic