int main() {
    return !0; // 1
}