#include <random>
#include <iostream>

using namespace std;


int main()
{
	ios_base::sync_with_stdio(false);

	std::mt19937 rng;
	rng.seed(std::random_device()());
	std::uniform_int_distribution<std::mt19937::result_type> n(1, 13);
	std::uniform_int_distribution<std::mt19937::result_type> number(0, 13);

	for (int i = 0; i < 50; i++)
	{
		int size = n(rng);
		std::uniform_int_distribution<std::mt19937::result_type> krng(1, size);
		int k = krng(rng);

		cout << size << " " << k << "\n";
		for (int j = 0; j < size; j++)
		{
			cout << number(rng) << " ";
		}
		cout << endl;
	}
	int t;
	cin >> t;

}