int main(void) {
    return 35 << 2;
}