出题人太菜，暂无测试数据。

题目描述

灰灰今天学习了分离定律和自由组合定律，他遇到了一道难题，对于$N$组相对性状，分别由$G_1/g_1, G_2/g_2, G_3/g_3, ...$控制，$G_i$对$g_i$为显性。现告诉你亲本的基因型，求$F_k$代的不同基因型种数与性状分离比（从大到小排序后输出）

输入输出格式

输入格式

本题多测，第一行输入一个整数$Q$，表示数据组数
对于每组数据，第一行输入两个整数$N, K$
第二行$N$个整数，每个整数可能的值有$-1, 0, 1$，当值为$-1$时，表示该组基因为显性纯和（$GG$），值为$0$时，表示杂合（$Gg$），值为$1$时，表示隐性纯和（$gg$）
第三行$N$个整数，表示另一个亲本的基因型

输出格式

对于每组数据，第一行输出基因型种数，第二行由小到大输出不同形状的比例，以:相间

样例

输入

2
1 2
-1
1
2 1
0 0
0 0

输出

3
3:1
9
9:3:3:1

样例解释

对于第一组数据，有一组等位基因控制形状。亲本基因型为$GG \times gg$，询问$F_2$代
对于第一组数据，有两组等位基因控制形状。亲本基因型为$G_1g_1G_2g_2 \times G_1g_1G_2g_2$，询问$F_1$代

数据范围

对于所有数据，$1 \leqslant Q, N \leqslant 100, 1 \leqslant K \leqslant 1000$
有$20$的数据，亲本基因型全为$G_i, g_i ...$