#include <iostream>
using namespace std;
using ull = unsigned long long;
int main() {
ull sum = 0;
for (int i = 0; i < 31; ++i)
sum += ((1ULL << i) * ((1ULL << i) + 1)) / 2;
ull A = (1ULL << 31) - 1;
ull B = (1ULL << 31) + 1;
ull C = (1ULL << 32) - 1;
ull D = (1ULL << 32) + 1;
ull E = (1ULL << 29) * ((1ULL << 30) + 1);
ull F = (1ULL << 30) * ((1ULL << 31) + 1);
ull G = (1ULL << 62) + 3 * (1ULL << 31) - 4; G = (G % 3 == 0) ? G / 3 : 0;
ull H = (1ULL << 62) + 3 * (1ULL << 31) - 3; H = (H % 2 == 0) ? H / 2 : 0;
ull I = (1ULL << 61) + 3 * (1ULL << 30) - 3; I = (I % 3 == 0) ? I / 3 : 0;
ull J = (1ULL << 61) + 3 * (1ULL << 30) - 2; J = (J % 3 == 0) ? J / 3 : 0;
if (A == sum) cout << "A: Corect";
if (B == sum) cout << "B: Corect";
if (C == sum) cout << "C: Corect";
if (D == sum) cout << "D: Corect";
if (E == sum) cout << "E: Corect";
if (F == sum) cout << "F: Corect";
if (G == sum) cout << "G: Corect";
if (H == sum) cout << "H: Corect";
if (I == sum) cout << "I: Corect";
if (J == sum) cout << "J: Corect";
return 0;
}