#include <bits/stdc++.h>
using namespace std;
int main()
{
    int n, a;
    cin >> n >> a; // 输入 n 和 a

    int id[n], arr[n]; // 定义两个长度为 n 的数组 id 和 arr，用于存储输入的数据

    for (int i = 0; i < n; i++)
    {
        cin >> id[i] >> arr[i]; // 输入 id[i] 和 arr[i]
    }

    // 排序算法：按照 arr[i] 降序排序，如果 arr[i] 相同就按照 id[i] 升序排序
    for (int i = 0; i < n; i++)
    {
        for (int j = 0; j < n; j++)
        {
            if (arr[i] > arr[j])
            {
                swap(arr[i], arr[j]);
                swap(id[i], id[j]);
            }
            else if (arr[i] == arr[j])
            {
                if (id[i] < id[j])
                {
                    swap(arr[i], arr[j]);
                    swap(id[i], id[j]);
                }
            }
        }
    }

    double result = a * 1.5; // 计算结果，a 乘以 1.5
    int roundedDown = floor(result); // 取整数部分，向下取整
    int round = 0; // 计算有多少个元素大于等于 arr[roundedDown - 1]

    for (int i = 0; i < n; i++)
    {
        if (arr[roundedDown - 1] <= arr[i])
            round++;
    }

    cout << arr[roundedDown - 1] << " " << round << endl; // 输出 arr[roundedDown - 1] 和 round 的值

    for (int i = 0; i < round; i++) // 遍历输出前 round 个元素的 id[i] 和 arr[i]
    {
        cout << id[i] << " " << arr[i] << endl;
    }
}

代码逻辑：

1. 从输入中读取两个整数 n 和 a。
2. 创建两个长度为 n 的数组 id 和 arr，用于存储接下来的输入。
3. 使用循环将 n 个元素依次读入 id 数组和 arr 数组。
4. 使用冒泡排序算法对数组进行排序，首先按照 arr[i] 的降序排序，如果 arr[i] 相同，则按照 id[i] 的升序排序。
5. 计算结果变量 result 等于 a 乘以 1.5。
6. 使用 floor 函数向下取整得到 roundedDown 变量。
7. 遍历数组 arr，统计大于等于 arr[roundedDown - 1] 的元素个数，保存在 round 变量中。
8. 输出 arr[roundedDown - 1] 和 round 的值。
9. 遍历输出前 round 个元素的 id[i] 和 arr[i]。