在 JOI 王国举办了一场乒乓球比赛。
你从 Bitaro 那里得知了关于比赛结果的以下信息。
- 没有平局比赛。
- 正好有
种选择 只海狸形成“三元悖论”。请注意,只有当以下两个条件之一恰好满足时, 只海狸 ( )才形成“三元悖论”。 - 海狸
击败了海狸 ,海狸 击败了海狸 ,海狸 又击败了海狸 。
- 海狸
- 海狸
击败了海狸 ,海狸 击败了海狸 ,海狸 又击败了海狸 。
- 海狸
你不确定 Bitaro 提供的信息是否正确,所以你决定思考是否有任何与 Bitaro 提供的信息相符的比赛结果。编写一个程序,根据 Bitaro 提供的信息判断是否有任何比赛结果与信息相符,如果有,找出其中任意一种比赛结果。
输入格式
一个测试案例包括
- 参加比赛的海狸数量
。 - 选择
只形成“三元悖论”的海狸的方式数量 。
输入数据的格式如下。
每个场景的输入数据格式如下。
输出格式
对应各个场景,按照以下顺序将答案写入标准输出。
在某些场景中,如果有任何与信息相符的比赛结果,请按照以下方式输出。
- Yes
- ...
这里,
在某些场景中,如果没有任何与信息相符的比赛结果,请输出 No。
样例解释 1
有
在这个示例输出中,场景
对应场景
Yes 1 01
在场景
这个示例输入满足子任务
样例解释 2
在这个示例输出中,场景
这个示例输入满足所有子任务的约束条件。
约束条件
. . . 个场景中 的总和不超过 5000- 给定值均为整数。
子任务
- (5 分)
. - (4 分)
个场景中 的总和不超过 7。 - (23 分)
个场景中 的总和不超过 20。 - (30 分)
个场景中 的总和不超过 150。 - (15 分)
个场景中 的总和不超过 600。 - (23 分) 无额外约束。