// iostream is too mainstream
#include <cstdio>
// bitch please
#include <iostream>
#include <algorithm>
#include <cstdlib>
#include <vector>
#include <set>
#include <map>
#include <queue>
#include <stack>
#include <list>
#include <cmath>
#include <iomanip>
#define dibs reserve
#define OVER9000 1234567890
#define ALL_THE(CAKE,LIE) for(auto LIE =CAKE.begin(); LIE != CAKE.end(); LIE++)
#define tisic 47
#define soclose 1e-6
#define chocolate win
// so much chocolate
#define patkan 9
#define ff first
#define ss second
#define abs(x) ((x < 0)?-(x):x)
#define uint unsigned int
using namespace std;
// mylittledoge
int main() {
cin.sync_with_stdio(0);
cin.tie(0);
int N,K;
cin >> N >> K;
vector<bool> M(K,false);
M[0] =true;
for(int i =0; i < N; i++) {
int a; cin >> a;
a %=K; if(a < 0) a +=K;
vector<bool> Mo =M;
for(int j =0; j < K; j++) M[j] =false;
for(int j =0; j < K; j++) if(Mo[j]) {
M[(j+a)%K] =true;
M[(j+K-a)%K] =true;}
}
if(M[0]) cout << "Divisible\n";
else cout << "Not divisible\n";
return 0;}
// look at my code
// my code is amazing
Ly8gaW9zdHJlYW0gaXMgdG9vIG1haW5zdHJlYW0KI2luY2x1ZGUgPGNzdGRpbz4KLy8gYml0Y2ggcGxlYXNlCiNpbmNsdWRlIDxpb3N0cmVhbT4KI2luY2x1ZGUgPGFsZ29yaXRobT4KI2luY2x1ZGUgPGNzdGRsaWI+CiNpbmNsdWRlIDx2ZWN0b3I+CiNpbmNsdWRlIDxzZXQ+CiNpbmNsdWRlIDxtYXA+CiNpbmNsdWRlIDxxdWV1ZT4KI2luY2x1ZGUgPHN0YWNrPgojaW5jbHVkZSA8bGlzdD4KI2luY2x1ZGUgPGNtYXRoPgojaW5jbHVkZSA8aW9tYW5pcD4KI2RlZmluZSBkaWJzIHJlc2VydmUKI2RlZmluZSBPVkVSOTAwMCAxMjM0NTY3ODkwCiNkZWZpbmUgQUxMX1RIRShDQUtFLExJRSkgZm9yKGF1dG8gTElFID1DQUtFLmJlZ2luKCk7IExJRSAhPSBDQUtFLmVuZCgpOyBMSUUrKykKI2RlZmluZSB0aXNpYyA0NwojZGVmaW5lIHNvY2xvc2UgMWUtNgojZGVmaW5lIGNob2NvbGF0ZSB3aW4KLy8gc28gbXVjaCBjaG9jb2xhdGUKI2RlZmluZSBwYXRrYW4gOQojZGVmaW5lIGZmIGZpcnN0CiNkZWZpbmUgc3Mgc2Vjb25kCiNkZWZpbmUgYWJzKHgpICgoeCA8IDApPy0oeCk6eCkKI2RlZmluZSB1aW50IHVuc2lnbmVkIGludAp1c2luZyBuYW1lc3BhY2Ugc3RkOwovLyBteWxpdHRsZWRvZ2UKCmludCBtYWluKCkgewoJY2luLnN5bmNfd2l0aF9zdGRpbygwKTsKCWNpbi50aWUoMCk7CglpbnQgTixLOwoJY2luID4+IE4gPj4gSzsKCXZlY3Rvcjxib29sPiBNKEssZmFsc2UpOwoJTVswXSA9dHJ1ZTsKCWZvcihpbnQgaSA9MDsgaSA8IE47IGkrKykgewoJCWludCBhOyBjaW4gPj4gYTsKCQlhICU9SzsgaWYoYSA8IDApIGEgKz1LOwoJCXZlY3Rvcjxib29sPiBNbyA9TTsKCQlmb3IoaW50IGogPTA7IGogPCBLOyBqKyspIE1bal0gPWZhbHNlOwoJCWZvcihpbnQgaiA9MDsgaiA8IEs7IGorKykgaWYoTW9bal0pIHsKCQkJTVsoaithKSVLXSA9dHJ1ZTsKCQkJTVsoaitLLWEpJUtdID10cnVlO30KCQl9CgoJaWYoTVswXSkgY291dCA8PCAiRGl2aXNpYmxlXG4iOwoJZWxzZSBjb3V0IDw8ICJOb3QgZGl2aXNpYmxlXG4iOwoJcmV0dXJuIDA7fQoKLy8gbG9vayBhdCBteSBjb2RlCi8vIG15IGNvZGUgaXMgYW1hemluZw==