Cửa hàng có \(100\) loại quần áo, đánh số từ \(1\) đến \(100\), với số lượng không giới hạn. Bitaro có thể mua từ \(0\) chiếc trở lên, kể cả nhiều chiếc cùng loại. Khi nhiệt độ là \(t\) và Bitaro mặc các loại \(s_1,s_2,\ldots,s_k\), nhiệt độ cảm nhận là \(t+s_1+s_2+\cdots+s_k\); cậu có thể mặc \(0\) chiếc hoặc bất kỳ tập con nào của chính các chiếc đã mua, và mỗi chiếc mua chỉ được mặc nhiều nhất một lần trong một ngày. Những chiếc quần áo đã mua có thể được dùng lại trong các ngày khác nhau.

Biết nhiệt độ của \(N\) ngày lần lượt là \(A_1<A_2<\cdots<A_N\), hãy xác định có thể mua quần áo để mỗi ngày đều chọn được cách mặc cho nhiệt độ cảm nhận đúng \(23\) hay không. Nếu có, hãy tìm số chiếc phải mua nhỏ nhất và in một phương án tối ưu.

Dữ liệu vào

Dòng đầu chứa \(N\). Dòng thứ hai chứa \(A_1,\ldots,A_N\).

Dữ liệu ra

Nếu không thể, in No trên một dòng. Nếu có thể, in đúng ba dòng:

1. Yes.
2. Số quần áo tối thiểu \(k\).
3. \(k\) số nguyên \(s_1,s_2,\ldots,s_k\) là loại của các chiếc quần áo được mua.

Nếu \(k=0\), dòng thứ ba là một dòng trống. Các loại có thể được in theo thứ tự bất kỳ; nếu có nhiều phương án tối ưu, in bất kỳ phương án nào.

Ràng buộc

• \(1\le N\le81\).
• \(-40\le A_i\le40\), các \(A_i\) tăng dần.
• Mọi giá trị số trong dữ liệu vào đều là số nguyên.

Phân nhóm

1. \(6\) điểm: \(N=1\).
2. \(14\) điểm: \(N\le3\).
3. \(15\) điểm: \(A_{i+1}=A_i+1\) và \(A_N=23\).
4. \(16\) điểm: mọi \(A_i\ge12\).
5. \(9\) điểm: mọi \(A_i\ge4\).
6. \(21\) điểm: mọi \(A_i\ge-8\).
7. \(19\) điểm: không có ràng buộc thêm.

Ví dụ

3
17 20 23

Yes
2
3 3

1
24

No

5
-1 3 6 10 16

Yes
3
4 7 13

3
21 22 23

Yes
2
1 1

Nguồn

JOI 2025/2026 Semifinal Stage, bài Clothes. Tài liệu gốc của Japanese Committee for IOI được phát hành theo CC BY-SA 4.0.