#include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #define popcount __builtin_popcount using namespace std; typedef long long int ll; typedef pair P; int main() { int a[4]; for(int i=0; i<4; i++) cin>>a[i]; sort(a, a+4); for(int i=0; i<3; i++){ if(a[i+1]!=a[i]+1){ cout<<"No"<