#include using lint=long long; int main(){ std::cin.tie(nullptr);std::ios_base::sync_with_stdio(false); std::cout.setf(std::ios_base::fixed);std::cout.precision(15); std::vector>dp(21,std::vector(2)); for(lint i=0;i<2;i++){ lint n;std::cin>>n; for(lint j=0;j>x; dp.at(x).at(i)=true; } } for(lint i=1;i<=20;i++){ for(lint j=0;j<2;j++){ dp.at(i).at(j)=dp.at(i).at(j) ?std::max(dp.at(i-1).at(j),dp.at(i-1).at(!j)+1) :dp.at(i-1).at(j); } } std::cout<