#8331. 「JXOI CSP Round 2」排列 暂未评定

时间限制:1000 ms 内存限制:128 MiB 标准输入输出
题目类型:传统 评测方式:文本比较
上传者: jxy2012

题目描述

对于一个 的排列 ,将 交换,需要的代价为 ,记 表示通过交换将排列 变成从小到大的排列,即 的最小代价。一个算法是用 来估算 。给出 的排列的前 个元素,求有多少个排列 满足条件

输入格式

输入 ,表示 的排列,以及确定了前 个数。

接下来一行包含 个数,表示排列中确定的前 个数。

输出格式

输出一行,表示有多少个排列满足条件,输出答案

样例

样例输入

5 2 1 4

样例输出

3

数据范围与提示

对于 的数据,