#include using lint=long long; using real=long double; 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::vectora(10); for(lint i=0;i<13;i++){ char c;std::cin>>c; a.at(c-'0')++; } a.at(1)++; for(lint i=1;i<=9;a.at(i)--,i++,i<=9&&a.at(i)++){ if(4b.at(k+1)||b.at(k)>b.at(k+2))break; b.at(k+1)-=b.at(k); b.at(k+2)-=b.at(k); b.at(k)=0; } } if(found){ std::cout<