#include <bits/stdc++.h>
using namespace std;
pair<int,vector<int>>func(string s) {
int n=s.size();
vector<int>arr(n);
unordered_map<int,int>mp;
for(int i=0;i<n;i++) {
arr[i]=s[i]-'0';
mp[arr[i]]=i;
}
int minOperation=INT_MAX;
vector<int>ans;
for(int i=0;i<=n;i++) {
unordered_map<int,int>left;
bool left_part=true;
bool right_part=true;
for(int j=0;j<i;j++) {
left[arr[j]]=1;
}
for(auto&p:left) {
int digit=p.first;
if (mp[digit]>=i) {
left_part=false;
break;
}
}
for(int j=i+1;j<n;j++) {
if(arr[j]<arr[j-1]) {
right_part=false;
break;
}
}
if(left_part && right_part) {
int count=left.size();
if (count<minOperation) {
minOperation=count;
vector<int>temp;
for(int j=0;j<i;j++){
temp.push_back(0);
}
for(int j=i;j<n;j++){
temp.push_back(arr[j]);
}
ans=temp;
}
}
}
return {minOperation,ans};
}
int main() {
string input;
cin>>input;
auto ans=func(input);
cout<<ans.first<<"[";
for(int i=0;i<ans.second.size();i++) {
cout<<ans.second[i];
}
cout<<"]"<<endl;
return 0;
}
I2luY2x1ZGUgPGJpdHMvc3RkYysrLmg+CnVzaW5nIG5hbWVzcGFjZSBzdGQ7CgpwYWlyPGludCx2ZWN0b3I8aW50Pj5mdW5jKHN0cmluZyBzKSB7CiAgICBpbnQgbj1zLnNpemUoKTsKICAgIHZlY3RvcjxpbnQ+YXJyKG4pOwogICAgdW5vcmRlcmVkX21hcDxpbnQsaW50Pm1wOwoKICAgIGZvcihpbnQgaT0wO2k8bjtpKyspIHsKICAgICAgICBhcnJbaV09c1tpXS0nMCc7CiAgICAgICAgbXBbYXJyW2ldXT1pOwogICAgfQoKICAgIGludCBtaW5PcGVyYXRpb249SU5UX01BWDsKICAgIHZlY3RvcjxpbnQ+YW5zOwogICAgZm9yKGludCBpPTA7aTw9bjtpKyspIHsKICAgICAgICB1bm9yZGVyZWRfbWFwPGludCxpbnQ+bGVmdDsKICAgICAgICBib29sIGxlZnRfcGFydD10cnVlOwogICAgICAgIGJvb2wgcmlnaHRfcGFydD10cnVlOwoKICAgICAgICBmb3IoaW50IGo9MDtqPGk7aisrKSB7CiAgICAgICAgICAgIGxlZnRbYXJyW2pdXT0xOwogICAgICAgIH0KICAgICAgICBmb3IoYXV0byZwOmxlZnQpIHsKICAgICAgICAgICAgaW50IGRpZ2l0PXAuZmlyc3Q7CiAgICAgICAgICAgIGlmIChtcFtkaWdpdF0+PWkpIHsKICAgICAgICAgICAgICAgIGxlZnRfcGFydD1mYWxzZTsKICAgICAgICAgICAgICAgIGJyZWFrOwogICAgICAgICAgICB9CiAgICAgICAgfQogICAgICAgIGZvcihpbnQgaj1pKzE7ajxuO2orKykgewogICAgICAgICAgICBpZihhcnJbal08YXJyW2otMV0pIHsKICAgICAgICAgICAgICAgIHJpZ2h0X3BhcnQ9ZmFsc2U7CiAgICAgICAgICAgICAgICBicmVhazsKICAgICAgICAgICAgfQogICAgICAgIH0KICAgICAgICAKICAgICAgICBpZihsZWZ0X3BhcnQgJiYgcmlnaHRfcGFydCkgewogICAgICAgICAgICBpbnQgY291bnQ9bGVmdC5zaXplKCk7CiAgICAgICAgICAgIGlmIChjb3VudDxtaW5PcGVyYXRpb24pIHsKICAgICAgICAgICAgICAgIG1pbk9wZXJhdGlvbj1jb3VudDsKICAgICAgICAgICAgICAgIHZlY3RvcjxpbnQ+dGVtcDsKICAgICAgICAgICAgICAgIGZvcihpbnQgaj0wO2o8aTtqKyspewogICAgICAgICAgICAgICAgCXRlbXAucHVzaF9iYWNrKDApOwogICAgICAgICAgICAgICAgfQogICAgICAgICAgICAgICAgZm9yKGludCBqPWk7ajxuO2orKyl7CiAgICAgICAgICAgICAgICAJdGVtcC5wdXNoX2JhY2soYXJyW2pdKTsKICAgICAgICAgICAgICAgIH0gCiAgICAgICAgICAgICAgICBhbnM9dGVtcDsKICAgICAgICAgICAgfQogICAgICAgIH0KICAgIH0KICAgIHJldHVybiB7bWluT3BlcmF0aW9uLGFuc307Cn0KCmludCBtYWluKCkgewogICAgc3RyaW5nIGlucHV0OwogICAgY2luPj5pbnB1dDsKICAgIGF1dG8gYW5zPWZ1bmMoaW5wdXQpOwogICAgY291dDw8YW5zLmZpcnN0PDwiWyI7CiAgICBmb3IoaW50IGk9MDtpPGFucy5zZWNvbmQuc2l6ZSgpO2krKykgewogICAgICAgIGNvdXQ8PGFucy5zZWNvbmRbaV07CiAgICB9CiAgICBjb3V0PDwiXSI8PGVuZGw7CiAgICByZXR1cm4gMDsKfQ==