输入描述:

第一行，包含两个整数  和  。
第二行，共  个整数，表示每个结点的点权。
接下来的  行，每行包含两个整数 ，代表结点  和结点  之间有一条边相连。

输出描述:

输出一行，包含一个整数，如题意所示。