Migrated from Lutece 1276 浑身难受

All parts of this problem, including description, images, samples, data and checker, might be broken. If you find bugs in this problem, please contact the admins.

Description

772002生病了！他觉得浑身难受，作为暴力界的致命人物，772002对于生病有着自己独特的认知与治疗方法.

772002治疗生病的方法就是去找一名叫人可木主的医生!当然请人可木主治疗的代价可不低！人可木主作为智商街上智商最高的人，他给人治疗的花费计算非常奇怪！人可木主会给病人一个{1,2,3,4}的排列$t$，之后他会通过玄学将病人的病症状况转换为一个$N$的排列，之后人可木主会询问病人这个$N$的排列中有多少对四元组( $p[A1], p[A2] , p[A3] , p[A4]$ ) ($A1 < A2 < A3 < A4$ )的大小关系与人可木主所给的$4$的排列$t$的大小关系相同。

当然，只有回答正确，人可木主才会医治病人。

恰逢情人节前后,学姐卿和Final潘都已经被妹纸约走了，浑身难受的772002又无法发挥出自己的暴力实力，只能把这个艰难的任务交给你了。

Input

第一行一个整数$N (1<=N<=2000)$

第二行4 个整数$A[1],A[2],A[3],A[4] (1<=A[i]<=4)$

第三行n个整数,$p[1],p[2],....,p[n] (1<=p[i]<=N)$

Output

输出仅一行,输出有多少$A$排列满足题意

Samples

5
1 2 3 4
1 2 3 4 5

5

8
1 3 2 4
1 2 5 6 3 4 7 8

16

Note

1-9组数据，数据范围$1 \leq N \leq 50$

10-49组数据，数据范围$1 \leq N \leq 100$

50-99组数据，数据范围$1\leq N \leq 1000$

100-199组数据，数据范围$1 \leq N \leq 2000$

第200组数据，$N = 1$ , 出题人良心吧

第一组样例解释：你可以找出1,2,3,4; 2,3,4,5; 1,3,4,5; 1,2,4,5; 1,2,3,5。因为这些都满足1,2,3,4这样的大小关系。

by qscqesze

Resources

每周一题 div1