#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <stdbool.h>

int gcd(int a, int b) {
    while (b != 0) {
        int temp = b;
        b = a % b;
        a = temp;
    }
    return a;
}

bool solution(int* deck, int deckSize) {
    if (deckSize == 0) return false;
    
    // Count frequencies using simple array (assuming card values are reasonable)
    int freq[10001] = {0};
    int minCard = deck[0], maxCard = deck[0];
    
    for (int i = 0; i < deckSize; i++) {
        freq[deck[i] + 5000]++; // Offset for negative numbers
        if (deck[i] < minCard) minCard = deck[i];
        if (deck[i] > maxCard) maxCard = deck[i];
    }
    
    // Collect non-zero frequencies
    int frequencies[1000];
    int freqCount = 0;
    
    for (int i = minCard + 5000; i <= maxCard + 5000; i++) {
        if (freq[i] > 0) {
            frequencies[freqCount++] = freq[i];
        }
    }
    
    if (freqCount == 0) return false;
    
    // Find GCD of all frequencies
    int resultGcd = frequencies[0];
    for (int i = 1; i < freqCount; i++) {
        resultGcd = gcd(resultGcd, frequencies[i]);
        if (resultGcd == 1) {
            return false;
        }
    }
    
    return resultGcd > 1;
}

int main() {
    char line[10000];
    fgets(line, sizeof(line), stdin);
    
    // Parse JSON array manually
    int deck[1000];
    int deckSize = 0;
    
    char* ptr = strchr(line, '[');
    if (ptr) {
        ptr++;
        while (*ptr && *ptr != ']') {
            if (*ptr >= '0' && *ptr <= '9' || *ptr == '-') {
                deck[deckSize++] = atoi(ptr);
                while (*ptr && *ptr != ',' && *ptr != ']') ptr++;
            }
            if (*ptr == ',') ptr++;
            while (*ptr == ' ') ptr++;
        }
    }
    
    bool result = solution(deck, deckSize);
    printf(result ? "true\n" : "false\n");
    return 0;
}