Cặp điểm gần nhất

Cho bài toán quen thuộc "tìm cặp điểm gần nhất trên mặt phẳng": cho $n$ điểm, tìm cặp điểm có khoảng cách nhỏ nhất, với khoảng cách giữa $(x_1,y_1)$ và $(x_2,y_2)$ là $\sqrt{(x_1-x_2{)}^2+(y_1-y_2{)}^2}$.

Có một đoạn mã sai độ phức tạp nhưng vẫn thường được chấp nhận. Mã đó hoạt động như sau:

đọc n
đọc n điểm vào mảng p[1..n]
sắp xếp p[] tăng dần theo x, nếu bằng x thì tăng dần theo y
d = INF          // INF là một số đủ lớn
tot = 0
for i from 1 to n:
    for j from (i+1) to n:
        ++tot
        if (p[j].x - p[i].x >= d) then break   // break chỉ thoát khỏi vòng lặp j
        d = min(d, distance(p[i], p[j]))
xuất d

Giá trị $tot$ được coi là thời gian chạy của đoạn mã. Vì máy tính chỉ thực hiện được một số phép tính hữu hạn mỗi giây, đoạn mã bị Time Limit Exceeded khi $tot>k$.

Nhiệm vụ của bạn: hãy sinh một bộ dữ liệu (một tập $n$ điểm) khiến đoạn mã trên bị TLE, tức là giá trị $tot$ sau khi chạy lớn hơn $k$. Nếu không tồn tại bộ dữ liệu như vậy, hãy in ra no solution.

Dữ liệu vào

Một dòng duy nhất chứa hai số nguyên $n$ và $k$.

Dữ liệu ra

Nếu không tồn tại bộ dữ liệu thỏa mãn, in ra một dòng no solution (không có dấu nháy).

Ngược lại, in ra $n$ dòng, dòng thứ $i$ chứa hai số nguyên $x_i,y_i$ là tọa độ điểm thứ $i$. Bộ dữ liệu phải thỏa mãn:

• Tất cả các điểm đôi một phân biệt.
• $|x_i|,|y_i|\le {10}^9$.
• Sau khi chạy đoạn mã trên với bộ dữ liệu này, giá trị $tot$ lớn hơn $k$.

Bài toán có thể có nhiều đáp án đúng, in ra bất kỳ đáp án nào hợp lệ.

Ràng buộc

• $2\le n\le 2000$
• $1\le k\le {10}^9$

Ví dụ