#include <bits/stdc++.h>

using namespace std;

using ll = long long;

const int N = 1e6+6;

int n,m,a[N],b[N],sa[N],sb[N],la[N],ra[N],lb[N],rb[N];

struct fenwick {
	int t[N*4];
	int B,n;
	void init(int mx){
		n=mx*2,B=m;
		for (int i=0; i<=n; i++) t[i]=-1e9;
	}
	void M(int p,int v){
		p+=B;
		while (p<=n){
			t[p]=max(t[p],v),p+=p&-p;
		}
	}
	int Q(int p){
		int ans=-1e9;
		p+=B;
		while (p){
			ans=max(ans,t[p]),p-=p&-p;
		}
		return ans;
	}
} t[2];

void solve(){
	cin>>n>>m;
	for (int i=1; i<=n; i++){
		cin>>a[i];
		sa[i]=sa[i-1]+(a[i]==2);
		la[i]=n+1,ra[i]=0;
	}
	for (int i=1; i<=m; i++){
		cin>>b[i];
		sb[i]=sb[i-1]+(b[i]==2);
		lb[i]=m+1,rb[i]=0;
	}
	int c=0;
	for (int i=1; i<=n; i++){
		if (a[i]==1) la[++c]=i;
	} 
	c=0;
	for (int i=1; i<=m; i++){
		if (b[i]==1) lb[++c]=i;
	} 
	ra[0]=n+1,c=0;
	for (int i=n; i; i--){
		if (a[i]==3) ra[++c]=i;
	}
	rb[0]=m+1,c=0;
	for (int i=m; i; i--){
		if (b[i]==3) rb[++c]=i;
	} 
	t[0].init(n+m),t[1].init(n+m);
	int ans=0;
	for (int j=min(n,m),i=0; j>=0; j--){
		while (i<=min(n,m) && la[i]<ra[j] && lb[i]<rb[j]){
			t[0].M(sa[la[i]]-sb[lb[i]],-sb[lb[i]]+i);
			t[1].M(sb[lb[i]]-sa[la[i]],-sa[la[i]]+i);
			i++;
		}
		ans=max(ans,t[0].Q(sa[ra[j]-1]-sb[rb[j]-1])+sb[rb[j]-1]+j);
		ans=max(ans,t[1].Q(sb[rb[j]-1]-sa[ra[j]-1])+sa[ra[j]-1]+j);
	}
	cout<<ans<<"\n";
}

int main(){
	ios::sync_with_stdio(false);
	cin.tie(0);

	int t;
	cin>>t;
	while (t--){
		solve();
	}
	return 0;
}

// TRY! TRY! TRY!

/*
Think twice before coding. Have you overkilled?
Think twice before submitting.
Check on the samples and constraints carefully.
*/

/*
Be brave to guess.
Is your former/first approach correct?
Follow your intuition.
Use a notebook to note down your ideas and check whether they are correct.
*/

/*
A simple brute force may work? There is some limit on the answer?
Try to find patterns.
*/