int main() {
    $choose_int(2);
    return 0;
}