#include<cstdio>

#include<cstring>

#include<algorithm>

#include<cmath>

using namespace std;

#define N 100001

typedef long long ll;

int v[N<<1],en,first[N],next[N<<1];

void AddEdge(int U,int V)

{

	v[++en]=V;

	next[en]=first[U];

	first[U]=en;

}

int n,m,a[N],b[N];

int eq,ec,blo,sz,siz[N],top[N],fa[N],dep[N],num[N];

void dfs(int U)

{

	for(int i=first[U];i;i=next[i])

	  if(v[i]!=fa[U])

	    {

	      fa[v[i]]=U;

	      dep[v[i]]=dep[U]+1;

	      if(siz[top[U]]<sz)

	        {

	          ++siz[top[U]];

	          top[v[i]]=top[U];

	        }

	      dfs(v[i]);

	    }

}

void df2(int U)

{

	num[U]=blo;

	for(int i=first[U];i;i=next[i])

	  if(v[i]!=fa[U]&&top[v[i]]==top[U])

	    df2(v[i]);

}

int lca(int U,int V)

{

	while(U!=V)

	  {

	  	if(top[U]!=top[V])

	  	  {

	  	  	if(dep[top[U]]<dep[top[V]])

	  	  	  swap(U,V);

	  	  	U=fa[top[U]];

	  	  }

	  	else

	  	  {

	  	  	if(dep[U]<dep[V])

	  	  	  swap(U,V);

	  	  	U=fa[U];

	  	  }

	  }

	return U;

}

struct UPT{int x,y,z;}CH[N];

struct ASK{int l,r,p,t;}Q[N];

bool operator < (const ASK &a,const ASK &b)

{

    if(num[a.l]==num[b.l])

      {

        if(num[a.r]==num[b.r])

          return a.t<b.t;

        return num[a.r]<num[b.r];

      }

    return num[a.l]<num[b.l];

}

ll anss[N],ans;

int Vs[N],Ws[N],q;

bool vis[N];

int T[N];

void Update(int x,int op)

{

	if(op==-1) ans-=(ll)Vs[x]*(ll)Ws[T[x]];

	T[x]+=op;

	if(op==1) ans+=(ll)Vs[x]*(ll)Ws[T[x]];

}

void Work(int U,int V,int LCA)

{

    while(U!=LCA)

      {

        vis[U]^=1;

        Update(a[U],vis[U]?1:-1);

        U=fa[U];

      }

    while(V!=LCA)

      {

        vis[V]^=1;

        Update(a[V],vis[V]?1:-1);

        V=fa[V];

      }

}

int main()

{

	int x,y; bool op;

	scanf("%d%d%d",&n,&m,&q);

	for(int i=1;i<=m;++i) scanf("%d",&Vs[i]);

	for(int i=1;i<=n;++i) scanf("%d",&Ws[i]);

	for(int i=1;i<n;++i)

	  {

	  	 scanf("%d%d",&x,&y);

	  	 AddEdge(x,y);

	  	 AddEdge(y,x);

	  }

	for(int i=1;i<=n;++i) scanf("%d",&a[i]);

	for(int i=1;i<=n;++i)

	  {

	  	top[i]=i;

	  	siz[i]=1;

	  }

	sz=(int)pow((double)n,2.0/3.0);

	dfs(1);

	for(int i=1;i<=n;++i)

	  if(top[i]==i)

	    {

	      ++blo;

	      df2(i);

	    }

	en=n;

	memcpy(b,a,sizeof(int)*(n+1));

	for(int i=1;i<=q;++i)

	  {

	  	scanf("%d",&op);

	  	if(!op)

	  	  {

	  	  	++ec; ++en;

	  	  	scanf("%d%d",&CH[ec].x,&CH[ec].y);

	  	  	CH[ec].z=b[CH[ec].x];

	  	  	b[CH[ec].x]=CH[ec].y;

	  	  }

	  	else

	  	  {

	  	  	++eq;

	  	  	scanf("%d%d",&Q[eq].l,&Q[eq].r);

	  	  	Q[eq].t=ec; Q[eq].p=eq;

	  	  }

	  }

    sort(Q+1,Q+eq+1);

	for(int i=1;i<=Q[1].t;++i)

      a[CH[i].x]=CH[i].y;

    int LCA=lca(Q[1].l,Q[1].r);

    Work(Q[1].l,Q[1].r,LCA);

    Update(a[LCA],1);

    anss[Q[1].p]=ans;

    Update(a[LCA],-1);

    for(int i=2;i<=eq;++i)

      {

      	if(Q[i-1].t<Q[i].t) for(int j=Q[i-1].t+1;j<=Q[i].t;++j)

      	  {

            if(vis[CH[j].x])

              {

                Update(CH[j].y,1);

                Update(a[CH[j].x],-1);

              }

            a[CH[j].x]=CH[j].y;

          }

        else for(int j=Q[i-1].t;j>Q[i].t;--j)

          {

            if(vis[CH[j].x])

              {

                Update(CH[j].z,1);

                Update(a[CH[j].x],-1);

              }

            a[CH[j].x]=CH[j].z;

          }

        Work(Q[i-1].l,Q[i].l,lca(Q[i-1].l,Q[i].l));

        Work(Q[i-1].r,Q[i].r,lca(Q[i-1].r,Q[i].r));

        LCA=lca(Q[i].l,Q[i].r);

        Update(a[LCA],1);

        anss[Q[i].p]=ans;

        Update(a[LCA],-1);

      }

    for(int i=1;i<=eq;++i)

	  printf("%lld\n",anss[i]);

	return 0;

}