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

题目描述

灰灰今天学习了分离定律和自由组合定律，他遇到了一道难题，对于\(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 ...\)