Ideone.com

fork download

copy

#include <iostream>
using namespace std;
 
struct kab {
	int k, a, b;
};
 
const int MAX_K = 1;
const int MAX_A = 3;
const int MAX_B = 3;
 
kab increment(kab obj) {
	obj.b = (obj.b + 1) % (MAX_B + 1);
	if(obj.b == 0) {
		obj.a = (obj.a + 1) % (MAX_A + 1);
		if(obj.a == 0) {
			obj.k++;
		}
	}
 
	// Ensure a != b by incrementing again if they are
	if(obj.a == obj.b) {
		return increment(obj);
	}
 
	return obj;
}
 
int main() {
	kab vals;
	vals.k = vals.a = 0;
	vals.b = 1;
 
	while(vals.k <= MAX_K) {
		kab vals2 = increment(vals);
		while(vals2.k <= MAX_K) {
			kab vals3 = increment(vals2);
			while(vals3.k <= MAX_K) {
				std::cout << "k: " << vals.k  << " a: " << vals.a  << " b: " << vals.b  << std::endl;
				std::cout << "k: " << vals2.k  << " a: " << vals2.a  << " b: " << vals2.b  << std::endl;
				std::cout << "k: " << vals3.k  << " a: " << vals3.a  << " b: " << vals3.b  << std::endl;
				std::cout << std::endl;
 
				vals3 = increment(vals3);
			}
			vals2 = increment(vals2);
		}
		vals = increment(vals);
	}
 
	return 0;
}

Runtime error #stdin #stdout 0.01s 4544KB

stdin

copy

Standard input is empty

stdout

copy

k: 0 a: 0 b: 1
k: 0 a: 0 b: 2
k: 0 a: 0 b: 3

k: 0 a: 0 b: 1
k: 0 a: 0 b: 2
k: 0 a: 1 b: 0

k: 0 a: 0 b: 1
k: 0 a: 0 b: 2
k: 0 a: 1 b: 2

k: 0 a: 0 b: 1
k: 0 a: 0 b: 2
k: 0 a: 1 b: 3

k: 0 a: 0 b: 1
k: 0 a: 0 b: 2
k: 0 a: 2 b: 0

k: 0 a: 0 b: 1
k: 0 a: 0 b: 2
k: 0 a: 2 b: 1

k: 0 a: 0 b: 1
k: 0 a: 0 b: 2
k: 0 a: 2 b: 3

k: 0 a: 0 b: 1
k: 0 a: 0 b: 2
k: 0 a: 3 b: 0

k: 0 a: 0 b: 1
k: 0 a: 0 b: 2
k: 0 a: 3 b: 1

k: 0 a: 0 b: 1
k: 0 a: 0 b: 2
k: 0 a: 3 b: 2

k: 0 a: 0 b: 1
k: 0 a: 0 b: 2
k: 1 a: 0 b: 1

k: 0 a: 0 b: 1
k: 0 a: 0 b: 2
k: 1 a: 0 b: 2

k: 0 a: 0 b: 1
k: 0 a: 0 b: 2
k: 1 a: 0 b: 3

k: 0 a: 0 b: 1
k: 0 a: 0 b: 2
k: 1 a: 1 b: 0

k: 0 a: 0 b: 1
k: 0 a: 0 b: 2
k: 1 a: 1 b: 2

k: 0 a: 0 b: 1
k: 0 a: 0 b: 2
k: 1 a: 1 b: 3

k: 0 a: 0 b: 1
k: 0 a: 0 b: 2
k: 1 a: 2 b: 0

k: 0 a: 0 b: 1
k: 0 a: 0 b: 2
k: 1 a: 2 b: 1

k: 0 a: 0 b: 1
k: 0 a: 0 b: 2
k: 1 a: 2 b: 3

k: 0 a: 0 b: 1
k: 0 a: 0 b: 2
k: 1 a: 3 b: 0

k: 0 a: 0 b: 1
k: 0 a: 0 b: 2
k: 1 a: 3 b: 1

k: 0 a: 0 b: 1
k: 0 a: 0 b: 2
k: 1 a: 3 b: 2

k: 0 a: 0 b: 1
k: 0 a: 0 b: 3
k: 0 a: 1 b: 0

k: 0 a: 0 b: 1
k: 0 a: 0 b: 3
k: 0 a: 1 b: 2

k: 0 a: 0 b: 1
k: 0 a: 0 b: 3
k: 0 a: 1 b: 3

k: 0 a: 0 b: 1
k: 0 a: 0 b: 3
k: 0 a: 2 b: 0

k: 0 a: 0 b: 1
k: 0 a: 0 b: 3
k: 0 a: 2 b: 1

k: 0 a: 0 b: 1
k: 0 a: 0 b: 3
k: 0 a: 2 b: 3

k: 0 a: 0 b: 1
k: 0 a: 0 b: 3
k: 0 a: 3 b: 0

k: 0 a: 0 b: 1
k: 0 a: 0 b: 3
k: 0 a: 3 b: 1

k: 0 a: 0 b: 1
k: 0 a: 0 b: 3
k: 0 a: 3 b: 2

k: 0 a: 0 b: 1
k: 0 a: 0 b: 3
k: 1 a: 0 b: 1

k: 0 a: 0 b: 1
k: 0 a: 0 b: 3
k: 1 a: 0 b: 2

k: 0 a: 0 b: 1
k: 0 a: 0 b: 3
k: 1 a: 0 b: 3

k: 0 a: 0 b: 1
k: 0 a: 0 b: 3
k: 1 a: 1 b: 0

k: 0 a: 0 b: 1
k: 0 a: 0 b: 3
k: 1 a: 1 b: 2

k: 0 a: 0 b: 1
k: 0 a: 0 b: 3
k: 1 a: 1 b: 3

k: 0 a: 0 b: 1
k: 0 a: 0 b: 3
k: 1 a: 2 b: 0

k: 0 a: 0 b: 1
k: 0 a: 0 b: 3
k: 1 a: 2 b: 1

k: 0 a: 0 b: 1
k: 0 a: 0 b: 3
k: 1 a: 2 b: 3

k: 0 a: 0 b: 1
k: 0 a: 0 b: 3
k: 1 a: 3 b: 0

k: 0 a: 0 b: 1
k: 0 a: 0 b: 3
k: 1 a: 3 b: 1

k: 0 a: 0 b: 1
k: 0 a: 0 b: 3
k: 1 a: 3 b: 2

k: 0 a: 0 b: 1
k: 0 a: 1 b: 0
k: 0 a: 1 b: 2

k: 0 a: 0 b: 1
k: 0 a: 1 b: 0
k: 0 a: 1 b: 3

k: 0 a: 0 b: 1
k: 0 a: 1 b: 0
k: 0 a: 2 b: 0

k: 0 a: 0 b: 1
k: 0 a: 1 b: 0
k: 0 a: 2 b: 1

k: 0 a: 0 b: 1
k: 0 a: 1 b: 0
k: 0 a: 2 b: 3

k: 0 a: 0 b: 1
k: 0 a: 1 b: 0
k: 0 a: 3 b: 0

k: 0 a: 0 b: 1
k: 0 a: 1 b: 0
k: 0 a: 3 b: 1

k: 0 a: 0 b: 1
k: 0 a: 1 b: 0
k: 0 a: 3 b: 2

k: 0 a: 0 b: 1
k: 0 a: 1 b: 0
k: 1 a: 0 b: 1

k: 0 a: 0 b: 1
k: 0 a: 1 b: 0
k: 1 a: 0 b: 2

k: 0 a: 0 b: 1
k: 0 a: 1 b: 0
k: 1 a: 0 b: 3

k: 0 a: 0 b: 1
k: 0 a: 1 b: 0
k: 1 a: 1 b: 0

k: 0 a: 0 b: 1
k: 0 a: 1 b: 0
k: 1 a: 1 b: 2

k: 0 a: 0 b: 1
k: 0 a: 1 b: 0
k: 1 a: 1 b: 3

k: 0 a: 0 b: 1
k: 0 a: 1 b: 0
k: 1 a: 2 b: 0

k: 0 a: 0 b: 1
k: 0 a: 1 b: 0
k: 1 a: 2 b: 1

k: 0 a: 0 b: 1
k: 0 a: 1 b: 0
k: 1 a: 2 b: 3

k: 0 a: 0 b: 1
k: 0 a: 1 b: 0
k: 1 a: 3 b: 0

k: 0 a: 0 b: 1
k: 0 a: 1 b: 0
k: 1 a: 3 b: 1

k: 0 a: 0 b: 1
k: 0 a: 1 b: 0
k: 1 a: 3 b: 2

k: 0 a: 0 b: 1
k: 0 a: 1 b: 2
k: 0 a: 1 b: 3

k: 0 a: 0 b: 1
k: 0 a: 1 b: 2
k: 0 a: 2 b: 0

k: 0 a: 0 b: 1
k: 0 a: 1 b: 2
k: 0 a: 2 b: 1

k: 0 a: 0 b: 1
k: 0 a: 1 b: 2
k: 0 a: 2 b: 3

k: 0 a: 0 b: 1
k: 0 a: 1 b: 2
k: 0 a: 3 b: 0

k: 0 a: 0 b: 1
k: 0 a: 1 b: 2
k: 0 a: 3 b: 1

k: 0 a: 0 b: 1
k: 0 a: 1 b: 2
k: 0 a: 3 b: 2

k: 0 a: 0 b: 1
k: 0 a: 1 b: 2
k: 1 a: 0 b: 1

k: 0 a: 0 b: 1
k: 0 a: 1 b: 2
k: 1 a: 0 b: 2

k: 0 a: 0 b: 1
k: 0 a: 1 b: 2
k: 1 a: 0 b: 3

k: 0 a: 0 b: 1
k: 0 a: 1 b: 2
k: 1 a: 1 b: 0

k: 0 a: 0 b: 1
k: 0 a: 1 b: 2
k: 1 a: 1 b: 2

k: 0 a: 0 b: 1
k: 0 a: 1 b: 2
k: 1 a: 1 b: 3

k: 0 a: 0 b: 1
k: 0 a: 1 b: 2
k: 1 a: 2 b: 0

k: 0 a: 0 b: 1
k: 0 a: 1 b: 2
k: 1 a: 2 b: 1

k: 0 a: 0 b: 1
k: 0 a: 1 b: 2
k: 1 a: 2 b: 3

k: 0 a: 0 b: 1
k: 0 a: 1 b: 2
k: 1 a: 3 b: 0

k: 0 a: 0 b: 1
k: 0 a: 1 b: 2
k: 1 a: 3 b: 1

k: 0 a: 0 b: 1
k: 0 a: 1 b: 2
k: 1 a: 3 b: 2

k: 0 a: 0 b: 1
k: 0 a: 1 b: 3
k: 0 a: 2 b: 0

k: 0 a: 0 b: 1
k: 0 a: 1 b: 3
k: 0 a: 2 b: 1

k: 0 a: 0 b: 1
k: 0 a: 1 b: 3
k: 0 a: 2 b: 3

k: 0 a: 0 b: 1
k: 0 a: 1 b: 3
k: 0 a: 3 b: 0

k: 0 a: 0 b: 1
k: 0 a: 1 b: 3
k: 0 a: 3 b: 1

k: 0 a: 0 b: 1
k: 0 a: 1 b: 3
k: 0 a: 3 b: 2

k: 0 a: 0 b: 1
k: 0 a: 1 b: 3
k: 1 a: 0 b: 1

k: 0 a: 0 b: 1
k: 0 a: 1 b: 3
k: 1 a: 0 b: 2

k: 0 a: 0 b: 1
k: 0 a: 1 b: 3
k: 1 a: 0 b: 3

k: 0 a: 0 b: 1
k: 0 a: 1 b: 3
k: 1 a: 1 b: 0

k: 0 a: 0 b: 1
k: 0 a: 1 b: 3
k: 1 a: 1 b: 2

k: 0 a: 0 b: 1
k: 0 a: 1 b: 3
k: 1 a: 1 b: 3

k: 0 a: 0 b: 1
k: 0 a: 1 b: 3
k: 1 a: 2 b: 0

k: 0 a: 0 b: 1
k: 0 a: 1 b: 3
k: 1 a: 2 b: 1

k: 0 a: 0 b: 1
k: 0 a: 1 b: 3
k: 1 a: 2 b: 3

k: 0 a: 0 b: 1
k: 0 a: 1 b: 3
k: 1 a: 3 b: 0

k: 0 a: 0 b: 1
k: 0 a: 1 b: 3
k: 1 a: 3 b: 1

k: 0 a: 0 b: 1
k: 0 a: 1 b: 3
k: 1 a: 3 b: 2

k: 0 a: 0 b: 1
k: 0 a: 2 b: 0
k: 0 a: 2 b: 1

k: 0 a: 0 b: 1
k: 0 a: 2 b: 0
k: 0 a: 2 b: 3

k: 0 a: 0 b: 1
k: 0 a: 2 b: 0
k: 0 a: 3 b: 0

k: 0 a: 0 b: 1
k: 0 a: 2 b: 0
k: 0 a: 3 b: 1

k: 0 a: 0 b: 1
k: 0 a: 2 b: 0
k: 0 a: 3 b: 2

k: 0 a: 0 b: 1
k: 0 a: 2 b: 0
k: 1 a: 0 b: 1

k: 0 a: 0 b: 1
k: 0 a: 2 b: 0
k: 1 a: 0 b: 2

k: 0 a: 0 b: 1
k: 0 a: 2 b: 0
k: 1 a: 0 b: 3

k: 0 a: 0 b: 1
k: 0 a: 2 b: 0
k: 1 a: 1 b: 0

k: 0 a: 0 b: 1
k: 0 a: 2 b: 0
k: 1 a: 1 b: 2

k: 0 a: 0 b: 1
k: 0 a: 2 b: 0
k: 1 a: 1 b: 3

k: 0 a: 0 b: 1
k: 0 a: 2 b: 0
k: 1 a: 2 b: 0

k: 0 a: 0 b: 1
k: 0 a: 2 b: 0
k: 1 a: 2 b: 1

k: 0 a: 0 b: 1
k: 0 a: 2 b: 0
k: 1 a: 2 b: 3

k: 0 a: 0 b: 1
k: 0 a: 2 b: 0
k: 1 a: 3 b: 0

k: 0 a: 0 b: 1
k: 0 a: 2 b: 0
k: 1 a: 3 b: 1

k: 0 a: 0 b: 1
k: 0 a: 2 b: 0
k: 1 a: 3 b: 2

k: 0 a: 0 b: 1
k: 0 a: 2 b: 1
k: 0 a: 2 b: 3

k: 0 a: 0 b: 1
k: 0 a: 2 b: 1
k: 0 a: 3 b: 0

k: 0 a: 0 b: 1
k: 0 a: 2 b: 1
k: 0 a: 3 b: 1

k: 0 a: 0 b: 1
k: 0 a: 2 b: 1
k: 0 a: 3 b: 2

k: 0 a: 0 b: 1
k: 0 a: 2 b: 1
k: 1 a: 0 b: 1

k: 0 a: 0 b: 1
k: 0 a: 2 b: 1
k: 1 a: 0 b: 2

k: 0 a: 0 b: 1
k: 0 a: 2 b: 1
k: 1 a: 0 b: 3

k: 0 a: 0 b: 1
k: 0 a: 2 b: 1
k: 1 a: 1 b: 0

k: 0 a: 0 b: 1
k: 0 a: 2 b: 1
k: 1 a: 1 b: 2

k: 0 a: 0 b: 1
k: 0 a: 2 b: 1
k: 1 a: 1 b: 3

k: 0 a: 0 b: 1
k: 0 a: 2 b: 1
k: 1 a: 2 b: 0

k: 0 a: 0 b: 1
k: 0 a: 2 b: 1
k: 1 a: 2 b: 1

k: 0 a: 0 b: 1
k: 0 a: 2 b: 1
k: 1 a: 2 b: 3

k: 0 a: 0 b: 1
k: 0 a: 2 b: 1
k: 1 a: 3 b: 0

k: 0 a: 0 b: 1
k: 0 a: 2 b: 1
k: 1 a: 3 b: 1

k: 0 a: 0 b: 1
k: 0 a: 2 b: 1
k: 1 a: 3 b: 2

k: 0 a: 0 b: 1
k: 0 a: 2 b: 3
k: 0 a: 3 b: 0

k: 0 a: 0 b: 1
k: 0 a: 2 b: 3
k: 0 a: 3 b: 1

k: 0 a: 0 b: 1
k: 0 a: 2 b: 3
k: 0 a: 3 b: 2

k: 0 a: 0 b: 1
k: 0 a: 2 b: 3
k: 1 a: 0 b: 1

k: 0 a: 0 b: 1
k: 0 a: 2 b: 3
k: 1 a: 0 b: 2

k: 0 a: 0 b: 1
k: 0 a: 2 b: 3
k: 1 a: 0 b: 3

k: 0 a: 0 b: 1
k: 0 a: 2 b: 3
k: 1 a: 1 b: 0

k: 0 a: 0 b: 1
k: 0 a: 2 b: 3
k: 1 a: 1 b: 2

k: 0 a: 0 b: 1
k: 0 a: 2 b: 3
k: 1 a: 1 b: 3

k: 0 a: 0 b: 1
k: 0 a: 2 b: 3
k: 1 a: 2 b: 0

k: 0 a: 0 b: 1
k: 0 a: 2 b: 3
k: 1 a: 2 b: 1

k: 0 a: 0 b: 1
k: 0 a: 2 b: 3
k: 1 a: 2 b: 3

k: 0 a: 0 b: 1
k: 0 a: 2 b: 3
k: 1 a: 3 b: 0

k: 0 a: 0 b: 1
k: 0 a: 2 b: 3
k: 1 a: 3 b: 1

k: 0 a: 0 b: 1
k: 0 a: 2 b: 3
k: 1 a: 3 b: 2

k: 0 a: 0 b: 1
k: 0 a: 3 b: 0
k: 0 a: 3 b: 1

k: 0 a: 0 b: 1
k: 0 a: 3 b: 0
k: 0 a: 3 b: 2

k: 0 a: 0 b: 1
k: 0 a: 3 b: 0
k: 1 a: 0 b: 1

k: 0 a: 0 b: 1
k: 0 a: 3 b: 0
k: 1 a: 0 b: 2

k: 0 a: 0 b: 1
k: 0 a: 3 b: 0
k: 1 a: 0 b: 3

k: 0 a: 0 b: 1
k: 0 a: 3 b: 0
k: 1 a: 1 b: 0

k: 0 a: 0 b: 1
k: 0 a: 3 b: 0
k: 1 a: 1 b: 2

k: 0 a: 0 b: 1
k: 0 a: 3 b: 0
k: 1 a: 1 b: 3

k: 0 a: 0 b: 1
k: 0 a: 3 b: 0
k: 1 a: 2 b: 0

k: 0 a: 0 b: 1
k: 0 a: 3 b: 0
k: 1 a: 2 b: 1

k: 0 a: 0 b: 1
k: 0 a: 3 b: 0
k: 1 a: 2 b: 3

k: 0 a: 0 b: 1
k: 0 a: 3 b: 0
k: 1 a: 3 b: 0

k: 0 a: 0 b: 1
k: 0 a: 3 b: 0
k: 1 a: 3 b: 1

k: 0 a: 0 b: 1
k: 0 a: 3 b: 0
k: 1 a: 3 b: 2

k: 0 a: 0 b: 1
k: 0 a: 3 b: 1
k: 0 a: 3 b: 2

k: 0 a: 0 b: 1
k: 0 a: 3 b: 1
k: 1 a: 0 b: 1

k: 0 a: 0 b: 1
k: 0 a: 3 b: 1
k: 1 a: 0 b: 2

k: 0 a: 0 b: 1
k: 0 a: 3 b: 1
k: 1 a: 0 b: 3

k: 0 a: 0 b: 1
k: 0 a: 3 b: 1
k: 1 a: 1 b: 0

k: 0 a: 0 b: 1
k: 0 a: 3 b: 1
k: 1 a: 1 b: 2

k: 0 a: 0 b: 1
k: 0 a: 3 b: 1
k: 1 a: 1 b: 3

k: 0 a: 0 b: 1
k: 0 a: 3 b: 1
k: 1 a: 2 b: 0

k: 0 a: 0 b: 1
k: 0 a: 3 b: 1
k: 1 a: 2 b: 1

k: 0 a: 0 b: 1
k: 0 a: 3 b: 1
k: 1 a: 2 b: 3

k: 0 a: 0 b: 1
k: 0 a: 3 b: 1
k: 1 a: 3 b: 0

k: 0 a: 0 b: 1
k: 0 a: 3 b: 1
k: 1 a: 3 b: 1

k: 0 a: 0 b: 1
k: 0 a: 3 b: 1
k: 1 a: 3 b: 2

k: 0 a: 0 b: 1
k: 0 a: 3 b: 2
k: 1 a: 0 b: 1

k: 0 a: 0 b: 1
k: 0 a: 3 b: 2
k: 1 a: 0 b: 2

k: 0 a: 0 b: 1
k: 0 a: 3 b: 2
k: 1 a: 0 b: 3

k: 0 a: 0 b: 1
k: 0 a: 3 b: 2
k: 1 a: 1 b: 0

k: 0 a: 0 b: 1
k: 0 a: 3 b: 2
k: 1 a: 1 b: 2

k: 0 a: 0 b: 1
k: 0 a: 3 b: 2
k: 1 a: 1 b: 3

k: 0 a: 0 b: 1
k: 0 a: 3 b: 2
k: 1 a: 2 b: 0

k: 0 a: 0 b: 1
k: 0 a: 3 b: 2
k: 1 a: 2 b: 1

k: 0 a: 0 b: 1
k: 0 a: 3 b: 2
k: 1 a: 2 b: 3

k: 0 a: 0 b: 1
k: 0 a: 3 b: 2
k: 1 a: 3 b: 0

k: 0 a: 0 b: 1
k: 0 a: 3 b: 2
k: 1 a: 3 b: 1

k: 0 a: 0 b: 1
k: 0 a: 3 b: 2
k: 1 a: 3 b: 2

k: 0 a: 0 b: 1
k: 1 a: 0 b: 1
k: 1 a: 0 b: 2

k: 0 a: 0 b: 1
k: 1 a: 0 b: 1
k: 1 a: 0 b: 3

k: 0 a: 0 b: 1
k: 1 a: 0 b: 1
k: 1 a: 1 b: 0

k: 0 a: 0 b: 1
k: 1 a: 0 b: 1
k: 1 a: 1 b: 2

k: 0 a: 0 b: 1
k: 1 a: 0 b: 1
k: 1 a: 1 b: 3

k: 0 a: 0 b: 1
k: 1 a: 0 b: 1
k: 1 a: 2 b: 0

k: 0 a: 0 b: 1
k: 1 a: 0 b: 1
k: 1 a: 2 b: 1

k: 0 a: 0 b: 1
k: 1 a: 0 b: 1
k: 1 a: 2 b: 3

k: 0 a: 0 b: 1
k: 1 a: 0 b: 1
k: 1 a: 3 b: 0

k: 0 a: 0 b: 1
k: 1 a: 0 b: 1
k: 1 a: 3 b: 1

k: 0 a: 0 b: 1
k: 1 a: 0 b: 1
k: 1 a: 3 b: 2

k: 0 a: 0 b: 1
k: 1 a: 0 b: 2
k: 1 a: 0 b: 3

k: 0 a: 0 b: 1
k: 1 a: 0 b: 2
k: 1 a: 1 b: 0

k: 0 a: 0 b: 1
k: 1 a: 0 b: 2
k: 1 a: 1 b: 2

k: 0 a: 0 b: 1
k: 1 a: 0 b: 2
k: 1 a: 1 b: 3

k: 0 a: 0 b: 1
k: 1 a: 0 b: 2
k: 1 a: 2 b: 0

k: 0 a: 0 b: 1
k: 1 a: 0 b: 2
k: 1 a: 2 b: 1

k: 0 a: 0 b: 1
k: 1 a: 0 b: 2
k: 1 a: 2 b: 3

k: 0 a: 0 b: 1
k: 1 a: 0 b: 2
k: 1 a: 3 b: 0

k: 0 a: 0 b: 1
k: 1 a: 0 b: 2
k: 1 a: 3 b: 1

k: 0 a: 0 b: 1
k: 1 a: 0 b: 2
k: 1 a: 3 b: 2

k: 0 a: 0 b: 1
k: 1 a: 0 b: 3
k: 1 a: 1 b: 0

k: 0 a: 0 b: 1
k: 1 a: 0 b: 3
k: 1 a: 1 b: 2

k: 0 a: 0 b: 1
k: 1 a: 0 b: 3
k: 1 a: 1 b: 3

k: 0 a: 0 b: 1
k: 1 a: 0 b: 3
k: 1 a: 2 b: 0

k: 0 a: 0 b: 1
k: 1 a: 0 b: 3
k: 1 a: 2 b: 1

k: 0 a: 0 b: 1
k: 1 a: 0 b: 3
k: 1 a: 2 b: 3

k: 0 a: 0 b: 1
k: 1 a: 0 b: 3
k: 1 a: 3 b: 0

k: 0 a: 0 b: 1
k: 1 a: 0 b: 3
k: 1 a: 3 b: 1

k: 0 a: 0 b: 1
k: 1 a: 0 b: 3
k: 1 a: 3 b: 2

k: 0 a: 0 b: 1
k: 1 a: 1 b: 0
k: 1 a: 1 b: 2

k: 0 a: 0 b: 1
k: 1 a: 1 b: 0
k: 1 a: 1 b: 3

k: 0 a: 0 b: 1
k: 1 a: 1 b: 0
k: 1 a: 2 b: 0

k: 0 a: 0 b: 1
k: 1 a: 1 b: 0
k: 1 a: 2 b: 1

k: 0 a: 0 b: 1
k: 1 a: 1 b: 0
k: 1 a: 2 b: 3

k: 0 a: 0 b: 1
k: 1 a: 1 b: 0
k: 1 a: 3 b: 0

k: 0 a: 0 b: 1
k: 1 a: 1 b: 0
k: 1 a: 3 b: 1

k: 0 a: 0 b: 1
k: 1 a: 1 b: 0
k: 1 a: 3 b: 2

k: 0 a: 0 b: 1
k: 1 a: 1 b: 2
k: 1 a: 1 b: 3

k: 0 a: 0 b: 1
k: 1 a: 1 b: 2
k: 1 a: 2 b: 0

k: 0 a: 0 b: 1
k: 1 a: 1 b: 2
k: 1 a: 2 b: 1

k: 0 a: 0 b: 1
k: 1 a: 1 b: 2
k: 1 a: 2 b: 3

k: 0 a: 0 b: 1
k: 1 a: 1 b: 2
k: 1 a: 3 b: 0

k: 0 a: 0 b: 1
k: 1 a: 1 b: 2
k: 1 a: 3 b: 1

k: 0 a: 0 b: 1
k: 1 a: 1 b: 2
k: 1 a: 3 b: 2

k: 0 a: 0 b: 1
k: 1 a: 1 b: 3
k: 1 a: 2 b: 0

k: 0 a: 0 b: 1
k: 1 a: 1 b: 3
k: 1 a: 2 b: 1

k: 0 a: 0 b: 1
k: 1 a: 1 b: 3
k: 1 a: 2 b: 3

k: 0 a: 0 b: 1
k: 1 a: 1 b: 3
k: 1 a: 3 b: 0

k: 0 a: 0 b: 1
k: 1 a: 1 b: 3
k: 1 a: 3 b: 1

k: 0 a: 0 b: 1
k: 1 a: 1 b: 3
k: 1 a: 3 b: 2

k: 0 a: 0 b: 1
k: 1 a: 2 b: 0
k: 1 a: 2 b: 1

k: 0 a: 0 b: 1
k: 1 a: 2 b: 0
k: 1 a: 2 b: 3

k: 0 a: 0 b: 1
k: 1 a: 2 b: 0
k: 1 a: 3 b: 0

k: 0 a: 0 b: 1
k: 1 a: 2 b: 0
k: 1 a: 3 b: 1

k: 0 a: 0 b: 1
k: 1 a: 2 b: 0
k: 1 a: 3 b: 2

k: 0 a: 0 b: 1
k: 1 a: 2 b: 1
k: 1 a: 2 b: 3

k: 0 a: 0 b: 1
k: 1 a: 2 b: 1
k: 1 a: 3 b: 0

k: 0 a: 0 b: 1
k: 1 a: 2 b: 1
k: 1 a: 3 b: 1

k: 0 a: 0 b: 1
k: 1 a: 2 b: 1
k: 1 a: 3 b: 2

k: 0 a: 0 b: 1
k: 1 a: 2 b: 3
k: 1 a: 3 b: 0

k: 0 a: 0 b: 1
k: 1 a: 2 b: 3
k: 1 a: 3 b: 1

k: 0 a: 0 b: 1
k: 1 a: 2 b: 3
k: 1 a: 3 b: 2

k: 0 a: 0 b: 1
k: 1 a: 3 b: 0
k: 1 a: 3 b: 1

k: 0 a: 0 b: 1
k: 1 a: 3 b: 0
k: 1 a: 3 b: 2

k: 0 a: 0 b: 1
k: 1 a: 3 b: 1
k: 1 a: 3 b: 2

k: 0 a: 0 b: 2
k: 0 a: 0 b: 3
k: 0 a: 1 b: 0

k: 0 a: 0 b: 2
k: 0 a: 0 b: 3
k: 0 a: 1 b: 2

k: 0 a: 0 b: 2
k: 0 a: 0 b: 3
k: 0 a: 1 b: 3

k: 0 a: 0 b: 2
k: 0 a: 0 b: 3
k: 0 a: 2 b: 0

k: 0 a: 0 b: 2
k: 0 a: 0 b: 3
k: 0 a: 2 b: 1

k: 0 a: 0 b: 2
k: 0 a: 0 b: 3
k: 0 a: 2 b: 3

k: 0 a: 0 b: 2
k: 0 a: 0 b: 3
k: 0 a: 3 b: 0

k: 0 a: 0 b: 2
k: 0 a: 0 b: 3
k: 0 a: 3 b: 1

k: 0 a: 0 b: 2
k: 0 a: 0 b: 3
k: 0 a: 3 b: 2

k: 0 a: 0 b: 2
k: 0 a: 0 b: 3
k: 1 a: 0 b: 1

k: 0 a: 0 b: 2
k: 0 a: 0 b: 3
k: 1 a: 0 b: 2

k: 0 a: 0 b: 2
k: 0 a: 0 b: 3
k: 1 a: 0 b: 3

k: 0 a: 0 b: 2
k: 0 a: 0 b: 3
k: 1 a: 1 b: 0

k: 0 a: 0 b: 2
k: 0 a: 0 b: 3
k: 1 a: 1 b: 2

k: 0 a: 0 b: 2
k: 0 a: 0 b: 3
k: 1 a: 1 b: 3

k: 0 a: 0 b: 2
k: 0 a: 0 b: 3
k: 1 a: 2 b: 0

k: 0 a: 0 b: 2
k: 0 a: 0 b: 3
k: 1 a: 2 b: 1

k: 0 a: 0 b: 2
k: 0 a: 0 b: 3
k: 1 a: 2 b: 3

k: 0 a: 0 b: 2
k: 0 a: 0 b: 3
k: 1 a: 3 b: 0

k: 0 a: 0 b: 2
k: 0 a: 0 b: 3
k: 1 a: 3 b: 1

k: 0 a: 0 b: 2
k: 0 a: 0 b: 3
k: 1 a: 3 b: 2

k: 0 a: 0 b: 2
k: 0 a: 1 b: 0
k: 0 a: 1 b: 2

k: 0 a: 0 b: 2
k: 0 a: 1 b: 0
k: 0 a: 1 b: 3

k: 0 a: 0 b: 2
k: 0 a: 1 b: 0
k: 0 a: 2 b: 0

k: 0 a: 0 b: 2
k: 0 a: 1 b: 0
k: 0 a: 2 b: 1

k: 0 a: 0 b: 2
k: 0 a: 1 b: 0
k: 0 a: 2 b: 3

k: 0 a: 0 b: 2
k: 0 a: 1 b: 0
k: 0 a: 3 b: 0

k: 0 a: 0 b: 2
k: 0 a: 1 b: 0
k: 0 a: 3 b: 1

k: 0 a: 0 b: 2
k: 0 a: 1 b: 0
k: 0 a: 3 b: 2

k: 0 a: 0 b: 2
k: 0 a: 1 b: 0
k: 1 a: 0 b: 1

k: 0 a: 0 b: 2
k: 0 a: 1 b: 0
k: 1 a: 0 b: 2

k: 0 a: 0 b: 2
k: 0 a: 1 b: 0
k: 1 a: 0 b: 3

k: 0 a: 0 b: 2
k: 0 a: 1 b: 0
k: 1 a: 1 b: 0

k: 0 a: 0 b: 2
k: 0 a: 1 b: 0
k: 1 a: 1 b: 2

k: 0 a: 0 b: 2
k: 0 a: 1 b: 0
k: 1 a: 1 b: 3

k: 0 a: 0 b: 2
k: 0 a: 1 b: 0
k: 1 a: 2 b: 0

k: 0 a: 0 b: 2
k: 0 a: 1 b: 0
k: 1 a: 2 b: 1

k: 0 a: 0 b: 2
k: 0 a: 1 b: 0
k: 1 a: 2 b: 3

k: 0 a: 0 b: 2
k: 0 a: 1 b: 0
k: 1 a: 3 b: 0

k: 0 a: 0 b: 2
k: 0 a: 1 b: 0
k: 1 a: 3 b: 1

k: 0 a: 0 b: 2
k: 0 a: 1 b: 0
k: 1 a: 3 b: 2

k: 0 a: 0 b: 2
k: 0 a: 1 b: 2
k: 0 a: 1 b: 3

k: 0 a: 0 b: 2
k: 0 a: 1 b: 2
k: 0 a: 2 b: 0

k: 0 a: 0 b: 2
k: 0 a: 1 b: 2
k: 0 a: 2 b: 1

k: 0 a: 0 b: 2
k: 0 a: 1 b: 2
k: 0 a: 2 b: 3

k: 0 a: 0 b: 2
k: 0 a: 1 b: 2
k: 0 a: 3 b: 0

k: 0 a: 0 b: 2
k: 0 a: 1 b: 2
k: 0 a: 3 b: 1

k: 0 a: 0 b: 2
k: 0 a: 1 b: 2
k: 0 a: 3 b: 2

k: 0 a: 0 b: 2
k: 0 a: 1 b: 2
k: 1 a: 0 b: 1

k: 0 a: 0 b: 2
k: 0 a: 1 b: 2
k: 1 a: 0 b: 2

k: 0 a: 0 b: 2
k: 0 a: 1 b: 2
k: 1 a: 0 b: 3

k: 0 a: 0 b: 2
k: 0 a: 1 b: 2
k: 1 a: 1 b: 0

k: 0 a: 0 b: 2
k: 0 a: 1 b: 2
k: 1 a: 1 b: 2

k: 0 a: 0 b: 2
k: 0 a: 1 b: 2
k: 1 a: 1 b: 3

k: 0 a: 0 b: 2
k: 0 a: 1 b: 2
k: 1 a: 2 b: 0

k: 0 a: 0 b: 2
k: 0 a: 1 b: 2
k: 1 a: 2 b: 1

k: 0 a: 0 b: 2
k: 0 a: 1 b: 2
k: 1 a: 2 b: 3

k: 0 a: 0 b: 2
k: 0 a: 1 b: 2
k: 1 a: 3 b: 0

k: 0 a: 0 b: 2
k: 0 a: 1 b: 2
k: 1 a: 3 b: 1

k: 0 a: 0 b: 2
k: 0 a: 1 b: 2
k: 1 a: 3 b: 2

k: 0 a: 0 b: 2
k: 0 a: 1 b: 3
k: 0 a: 2 b: 0

k: 0 a: 0 b: 2
k: 0 a: 1 b: 3
k: 0 a: 2 b: 1

k: 0 a: 0 b: 2
k: 0 a: 1 b: 3
k: 0 a: 2 b: 3

k: 0 a: 0 b: 2
k: 0 a: 1 b: 3
k: 0 a: 3 b: 0

k: 0 a: 0 b: 2
k: 0 a: 1 b: 3
k: 0 a: 3 b: 1

k: 0 a: 0 b: 2
k: 0 a: 1 b: 3
k: 0 a: 3 b: 2

k: 0 a: 0 b: 2
k: 0 a: 1 b: 3
k: 1 a: 0 b: 1

k: 0 a: 0 b: 2
k: 0 a: 1 b: 3
k: 1 a: 0 b: 2

k: 0 a: 0 b: 2
k: 0 a: 1 b: 3
k: 1 a: 0 b: 3

k: 0 a: 0 b: 2
k: 0 a: 1 b: 3
k: 1 a: 1 b: 0

k: 0 a: 0 b: 2
k: 0 a: 1 b: 3
k: 1 a: 1 b: 2

k: 0 a: 0 b: 2
k: 0 a: 1 b: 3
k: 1 a: 1 b: 3

k: 0 a: 0 b: 2
k: 0 a: 1 b: 3
k: 1 a: 2 b: 0

k: 0 a: 0 b: 2
k: 0 a: 1 b: 3
k: 1 a: 2 b: 1

k: 0 a: 0 b: 2
k: 0 a: 1 b: 3
k: 1 a: 2 b: 3

k: 0 a: 0 b: 2
k: 0 a: 1 b: 3
k: 1 a: 3 b: 0

k: 0 a: 0 b: 2
k: 0 a: 1 b: 3
k: 1 a: 3 b: 1

k: 0 a: 0 b: 2
k: 0 a: 1 b: 3
k: 1 a: 3 b: 2

k: 0 a: 0 b: 2
k: 0 a: 2 b: 0
k: 0 a: 2 b: 1

k: 0 a: 0 b: 2
k: 0 a: 2 b: 0
k: 0 a: 2 b: 3

k: 0 a: 0 b: 2
k: 0 a: 2 b: 0
k: 0 a: 3 b: 0

k: 0 a: 0 b: 2
k: 0 a: 2 b: 0
k: 0 a: 3 b: 1

k: 0 a: 0 b: 2
k: 0 a: 2 b: 0
k: 0 a: 3 b: 2

k: 0 a: 0 b: 2
k: 0 a: 2 b: 0
k: 1 a: 0 b: 1

k: 0 a: 0 b: 2
k: 0 a: 2 b: 0
k: 1 a: 0 b: 2

k: 0 a: 0 b: 2
k: 0 a: 2 b: 0
k: 1 a: 0 b: 3

k: 0 a: 0 b: 2
k: 0 a: 2 b: 0
k: 1 a: 1 b: 0

k: 0 a: 0 b: 2
k: 0 a: 2 b: 0
k: 1 a: 1 b: 2

k: 0 a: 0 b: 2
k: 0 a: 2 b: 0
k: 1 a: 1 b: 3

k: 0 a: 0 b: 2
k: 0 a: 2 b: 0
k: 1 a: 2 b: 0

k: 0 a: 0 b: 2
k: 0 a: 2 b: 0
k: 1 a: 2 b: 1

k: 0 a: 0 b: 2
k: 0 a: 2 b: 0
k: 1 a: 2 b: 3

k: 0 a: 0 b: 2
k: 0 a: 2 b: 0
k: 1 a: 3 b: 0

k: 0 a: 0 b: 2
k: 0 a: 2 b: 0
k: 1 a: 3 b: 1

k: 0 a: 0 b: 2
k: 0 a: 2 b: 0
k: 1 a: 3 b: 2

k: 0 a: 0 b: 2
k: 0 a: 2 b: 1
k: 0 a: 2 b: 3

k: 0 a: 0 b: 2
k: 0 a: 2 b: 1
k: 0 a: 3 b: 0

k: 0 a: 0 b: 2
k: 0 a: 2 b: 1
k: 0 a: 3 b: 1

k: 0 a: 0 b: 2
k: 0 a: 2 b: 1
k: 0 a: 3 b: 2

k: 0 a: 0 b: 2
k: 0 a: 2 b: 1
k: 1 a: 0 b: 1

k: 0 a: 0 b: 2
k: 0 a: 2 b: 1
k: 1 a: 0 b: 2

k: 0 a: 0 b: 2
k: 0 a: 2 b: 1
k: 1 a: 0 b: 3

k: 0 a: 0 b: 2
k: 0 a: 2 b: 1
k: 1 a: 1 b: 0

k: 0 a: 0 b: 2
k: 0 a: 2 b: 1
k: 1 a: 1 b: 2

k: 0 a: 0 b: 2
k: 0 a: 2 b: 1
k: 1 a: 1 b: 3

k: 0 a: 0 b: 2
k: 0 a: 2 b: 1
k: 1 a: 2 b: 0

k: 0 a: 0 b: 2
k: 0 a: 2 b: 1
k: 1 a: 2 b: 1

k: 0 a: 0 b: 2
k: 0 a: 2 b: 1
k: 1 a: 2 b: 3

k: 0 a: 0 b: 2
k: 0 a: 2 b: 1
k: 1 a: 3 b: 0

k: 0 a: 0 b: 2
k: 0 a: 2 b: 1
k: 1 a: 3 b: 1

k: 0 a: 0 b: 2
k: 0 a: 2 b: 1
k: 1 a: 3 b: 2

k: 0 a: 0 b: 2
k: 0 a: 2 b: 3
k: 0 a: 3 b: 0

k: 0 a: 0 b: 2
k: 0 a: 2 b: 3
k: 0 a: 3 b: 1

k: 0 a: 0 b: 2
k: 0 a: 2 b: 3
k: 0 a: 3 b: 2

k: 0 a: 0 b: 2
k: 0 a: 2 b: 3
k: 1 a: 0 b: 1

k: 0 a: 0 b: 2
k: 0 a: 2 b: 3
k: 1 a: 0 b: 2

k: 0 a: 0 b: 2
k: 0 a: 2 b: 3
k: 1 a: 0 b: 3

k: 0 a: 0 b: 2
k: 0 a: 2 b: 3
k: 1 a: 1 b: 0

k: 0 a: 0 b: 2
k: 0 a: 2 b: 3
k: 1 a: 1 b: 2

k: 0 a: 0 b: 2
k: 0 a: 2 b: 3
k: 1 a: 1 b: 3

k: 0 a: 0 b: 2
k: 0 a: 2 b: 3
k: 1 a: 2 b: 0

k: 0 a: 0 b: 2
k: 0 a: 2 b: 3
k: 1 a: 2 b: 1

k: 0 a: 0 b: 2
k: 0 a: 2 b: 3
k: 1 a: 2 b: 3

k: 0 a: 0 b: 2
k: 0 a: 2 b: 3
k: 1 a: 3 b: 0

k: 0 a: 0 b: 2
k: 0 a: 2 b: 3
k: 1 a: 3 b: 1

k: 0 a: 0 b: 2
k: 0 a: 2 b: 3
k: 1 a: 3 b: 2

k: 0 a: 0 b: 2
k: 0 a: 3 b: 0
k: 0 a: 3 b: 1

k: 0 a: 0 b: 2
k: 0 a: 3 b: 0
k: 0 a: 3 b: 2

k: 0 a: 0 b: 2
k: 0 a: 3 b: 0
k: 1 a: 0 b: 1

k: 0 a: 0 b: 2
k: 0 a: 3 b: 0
k: 1 a: 0 b: 2

k: 0 a: 0 b: 2
k: 0 a: 3 b: 0
k: 1 a: 0 b: 3

k: 0 a: 0 b: 2
k: 0 a: 3 b: 0
k: 1 a: 1 b: 0

k: 0 a: 0 b: 2
k: 0 a: 3 b: 0
k: 1 a: 1 b: 2

k: 0 a: 0 b: 2
k: 0 a: 3 b: 0
k: 1 a: 1 b: 3

k: 0 a: 0 b: 2
k: 0 a: 3 b: 0
k: 1 a: 2 b: 0

k: 0 a: 0 b: 2
k: 0 a: 3 b: 0
k: 1 a: 2 b: 1

k: 0 a: 0 b: 2
k: 0 a: 3 b: 0
k: 1 a: 2 b: 3

k: 0 a: 0 b: 2
k: 0 a: 3 b: 0
k: 1 a: 3 b: 0

k: 0 a: 0 b: 2
k: 0 a: 3 b: 0
k: 1 a: 3 b: 1

k: 0 a: 0 b: 2
k: 0 a: 3 b: 0
k: 1 a: 3 b: 2

k: 0 a: 0 b: 2
k: 0 a: 3 b: 1
k: 0 a: 3 b: 2

k: 0 a: 0 b: 2
k: 0 a: 3 b: 1
k: 1 a: 0 b: 1

k: 0 a: 0 b: 2
k: 0 a: 3 b: 1
k: 1 a: 0 b: 2

k: 0 a: 0 b: 2
k: 0 a: 3 b: 1
k: 1 a: 0 b: 3

k: 0 a: 0 b: 2
k: 0 a: 3 b: 1
k: 1 a: 1 b: 0

k: 0 a: 0 b: 2
k: 0 a: 3 b: 1
k: 1 a: 1 b: 2

k: 0 a: 0 b: 2
k: 0 a: 3 b: 1
k: 1 a: 1 b: 3

k: 0 a: 0 b: 2
k: 0 a: 3 b: 1
k: 1 a: 2 b: 0

k: 0 a: 0 b: 2
k: 0 a: 3 b: 1
k: 1 a: 2 b: 1

k: 0 a: 0 b: 2
k: 0 a: 3 b: 1
k: 1 a: 2 b: 3

k: 0 a: 0 b: 2
k: 0 a: 3 b: 1
k: 1 a: 3 b: 0

k: 0 a: 0 b: 2
k: 0 a: 3 b: 1
k: 1 a: 3 b: 1

k: 0 a: 0 b: 2
k: 0 a: 3 b: 1
k: 1 a: 3 b: 2

k: 0 a: 0 b: 2
k: 0 a: 3 b: 2
k: 1 a: 0 b: 1

k: 0 a: 0 b: 2
k: 0 a: 3 b: 2
k: 1 a: 0 b: 2

k: 0 a: 0 b: 2
k: 0 a: 3 b: 2
k: 1 a: 0 b: 3

k: 0 a: 0 b: 2
k: 0 a: 3 b: 2
k: 1 a: 1 b: 0

k: 0 a: 0 b: 2
k: 0 a: 3 b: 2
k: 1 a: 1 b: 2

k: 0 a: 0 b: 2
k: 0 a: 3 b: 2
k: 1 a: 1 b: 3

k: 0 a: 0 b: 2
k: 0 a: 3 b: 2
k: 1 a: 2 b: 0

k: 0 a: 0 b: 2
k: 0 a: 3 b: 2
k: 1 a: 2 b: 1

k: 0 a: 0 b: 2
k: 0 a: 3 b: 2
k: 1 a: 2 b: 3

k: 0 a: 0 b: 2
k: 0 a: 3 b: 2
k: 1 a: 3 b: 0

k: 0 a: 0 b: 2
k: 0 a: 3 b: 2
k: 1 a: 3 b: 1

k: 0 a: 0 b: 2
k: 0 a: 3 b: 2
k: 1 a: 3 b: 2

k: 0 a: 0 b: 2
k: 1 a: 0 b: 1
k: 1 a: 0 b: 2

k: 0 a: 0 b: 2
k: 1 a: 0 b: 1
k: 1 a: 0 b: 3

k: 0 a: 0 b: 2
k: 1 a: 0 b: 1
k: 1 a: 1 b: 0

k: 0 a: 0 b: 2
k: 1 a: 0 b: 1
k: 1 a: 1 b: 2

k: 0 a: 0 b: 2
k: 1 a: 0 b: 1
k: 1 a: 1 b: 3

k: 0 a: 0 b: 2
k: 1 a: 0 b: 1
k: 1 a: 2 b: 0

k: 0 a: 0 b: 2
k: 1 a: 0 b: 1
k: 1 a: 2 b: 1

k: 0 a: 0 b: 2
k: 1 a: 0 b: 1
k: 1 a: 2 b: 3

k: 0 a: 0 b: 2
k: 1 a: 0 b: 1
k: 1 a: 3 b: 0

k: 0 a: 0 b: 2
k: 1 a: 0 b: 1
k: 1 a: 3 b: 1

k: 0 a: 0 b: 2
k: 1 a: 0 b: 1
k: 1 a: 3 b: 2

k: 0 a: 0 b: 2
k: 1 a: 0 b: 2
k: 1 a: 0 b: 3

k: 0 a: 0 b: 2
k: 1 a: 0 b: 2
k: 1 a: 1 b: 0

k: 0 a: 0 b: 2
k: 1 a: 0 b: 2
k: 1 a: 1 b: 2

k: 0 a: 0 b: 2
k: 1 a: 0 b: 2
k: 1 a: 1 b: 3

k: 0 a: 0 b: 2
k: 1 a: 0 b: 2
k: 1 a: 2 b: 0

k: 0 a: 0 b: 2
k: 1 a: 0 b: 2
k: 1 a: 2 b: 1

k: 0 a: 0 b: 2
k: 1 a: 0 b: 2
k: 1 a: 2 b: 3

k: 0 a: 0 b: 2
k: 1 a: 0 b: 2
k: 1 a: 3 b: 0

k: 0 a: 0 b: 2
k: 1 a: 0 b: 2
k: 1 a: 3 b: 1

k: 0 a: 0 b: 2
k: 1 a: 0 b: 2
k: 1 a: 3 b: 2

k: 0 a: 0 b: 2
k: 1 a: 0 b: 3
k: 1 a: 1 b: 0

k: 0 a: 0 b: 2
k: 1 a: 0 b: 3
k: 1 a: 1 b: 2

k: 0 a: 0 b: 2
k: 1 a: 0 b: 3
k: 1 a: 1 b: 3

k: 0 a: 0 b: 2
k: 1 a: 0 b: 3
k: 1 a: 2 b: 0

k: 0 a: 0 b: 2
k: 1 a: 0 b: 3
k: 1 a: 2 b: 1

k: 0 a: 0 b: 2
k: 1 a: 0 b: 3
k: 1 a: 2 b: 3

k: 0 a: 0 b: 2
k: 1 a: 0 b: 3
k: 1 a: 3 b: 0

k: 0 a: 0 b: 2
k: 1 a: 0 b: 3
k: 1 a: 3 b: 1

k: 0 a: 0 b: 2
k: 1 a: 0 b: 3
k: 1 a: 3 b: 2

k: 0 a: 0 b: 2
k: 1 a: 1 b: 0
k: 1 a: 1 b: 2

k: 0 a: 0 b: 2
k: 1 a: 1 b: 0
k: 1 a: 1 b: 3

k: 0 a: 0 b: 2
k: 1 a: 1 b: 0
k: 1 a: 2 b: 0

k: 0 a: 0 b: 2
k: 1 a: 1 b: 0
k: 1 a: 2 b: 1

k: 0 a: 0 b: 2
k: 1 a: 1 b: 0
k: 1 a: 2 b: 3

k: 0 a: 0 b: 2
k: 1 a: 1 b: 0
k: 1 a: 3 b: 0

k: 0 a: 0 b: 2
k: 1 a: 1 b: 0
k: 1 a: 3 b: 1

k: 0 a: 0 b: 2
k: 1 a: 1 b: 0
k: 1 a: 3 b: 2

k: 0 a: 0 b: 2
k: 1 a: 1 b: 2
k: 1 a: 1 b: 3

k: 0 a: 0 b: 2
k: 1 a: 1 b: 2
k: 1 a: 2 b: 0

k: 0 a: 0 b: 2
k: 1 a: 1 b: 2
k: 1 a: 2 b: 1

k: 0 a: 0 b: 2
k: 1 a: 1 b: 2
k: 1 a: 2 b: 3

k: 0 a: 0 b: 2
k: 1 a: 1 b: 2
k: 1 a: 3 b: 0

k: 0 a: 0 b: 2
k: 1 a: 1 b: 2
k: 1 a: 3 b: 1

k: 0 a: 0 b: 2
k: 1 a: 1 b: 2
k: 1 a: 3 b: 2

k: 0 a: 0 b: 2
k: 1 a: 1 b: 3
k: 1 a: 2 b: 0

k: 0 a: 0 b: 2
k: 1 a: 1 b: 3
k: 1 a: 2 b: 1

k: 0 a: 0 b: 2
k: 1 a: 1 b: 3
k: 1 a: 2 b: 3

k: 0 a: 0 b: 2
k: 1 a: 1 b: 3
k: 1 a: 3 b: 0

k: 0 a: 0 b: 2
k: 1 a: 1 b: 3
k: 1 a: 3 b: 1

k: 0 a: 0 b: 2
k: 1 a: 1 b: 3
k: 1 a: 3 b: 2

k: 0 a: 0 b: 2
k: 1 a: 2 b: 0
k: 1 a: 2 b: 1

k: 0 a: 0 b: 2
k: 1 a: 2 b: 0
k: 1 a: 2 b: 3

k: 0 a: 0 b: 2
k: 1 a: 2 b: 0
k: 1 a: 3 b: 0

k: 0 a: 0 b: 2
k: 1 a: 2 b: 0
k: 1 a: 3 b: 1

k: 0 a: 0 b: 2
k: 1 a: 2 b: 0
k: 1 a: 3 b: 2

k: 0 a: 0 b: 2
k: 1 a: 2 b: 1
k: 1 a: 2 b: 3

k: 0 a: 0 b: 2
k: 1 a: 2 b: 1
k: 1 a: 3 b: 0

k: 0 a: 0 b: 2
k: 1 a: 2 b: 1
k: 1 a: 3 b: 1

k: 0 a: 0 b: 2
k: 1 a: 2 b: 1
k: 1 a: 3 b: 2

k: 0 a: 0 b: 2
k: 1 a: 2 b: 3
k: 1 a: 3 b: 0

k: 0 a: 0 b: 2
k: 1 a: 2 b: 3
k: 1 a: 3 b: 1

k: 0 a: 0 b: 2
k: 1 a: 2 b: 3
k: 1 a: 3 b: 2

k: 0 a: 0 b: 2
k: 1 a: 3 b: 0
k: 1 a: 3 b: 1

k: 0 a: 0 b: 2
k: 1 a: 3 b: 0
k: 1 a: 3 b: 2

k: 0 a: 0 b: 2
k: 1 a: 3 b: 1
k: 1 a: 3 b: 2

k: 0 a: 0 b: 3
k: 0 a: 1 b: 0
k: 0 a: 1 b: 2

k: 0 a: 0 b: 3
k: 0 a: 1 b: 0
k: 0 a: 1 b: 3

k: 0 a: 0 b: 3
k: 0 a: 1 b: 0
k: 0 a: 2 b: 0

k: 0 a: 0 b: 3
k: 0 a: 1 b: 0
k: 0 a: 2 b: 1

k: 0 a: 0 b: 3
k: 0 a: 1 b: 0
k: 0 a: 2 b: 3

k: 0 a: 0 b: 3
k: 0 a: 1 b: 0
k: 0 a: 3 b: 0

k: 0 a: 0 b: 3
k: 0 a: 1 b: 0
k: 0 a: 3 b: 1

k: 0 a: 0 b: 3
k: 0 a: 1 b: 0
k: 0 a: 3 b: 2

k: 0 a: 0 b: 3
k: 0 a: 1 b: 0
k: 1 a: 0 b: 1

k: 0 a: 0 b: 3
k: 0 a: 1 b: 0
k: 1 a: 0 b: 2

k: 0 a: 0 b: 3
k: 0 a: 1 b: 0
k: 1 a: 0 b: 3

k: 0 a: 0 b: 3
k: 0 a: 1 b: 0
k: 1 a: 1 b: 0

k: 0 a: 0 b: 3
k: 0 a: 1 b: 0
k: 1 a: 1 b: 2

k: 0 a: 0 b: 3
k: 0 a: 1 b: 0
k: 1 a: 1 b: 3

k: 0 a: 0 b: 3
k: 0 a: 1 b: 0
k: 1 a: 2 b: 0

k: 0 a: 0 b: 3
k: 0 a: 1 b: 0
k: 1 a: 2 b: 1

k: 0 a: 0 b: 3
k: 0 a: 1 b: 0
k: 1 a: 2 b: 3

k: 0 a: 0 b: 3
k: 0 a: 1 b: 0
k: 1 a: 3 b: 0

k: 0 a: 0 b: 3
k: 0 a: 1 b: 0
k: 1 a: 3 b: 1

k: 0 a: 0 b: 3
k: 0 a: 1 b: 0
k: 1 a: 3 b: 2

k: 0 a: 0 b: 3
k: 0 a: 1 b: 2
k: 0 a: 1 b: 3

k: 0 a: 0 b: 3
k: 0 a: 1 b: 2
k: 0 a: 2 b: 0

k: 0 a: 0 b: 3
k: 0 a: 1 b: 2
k: 0 a: 2 b: 1

k: 0 a: 0 b: 3
k: 0 a: 1 b: 2
k: 0 a: 2 b: 3

k: 0 a: 0 b: 3
k: 0 a: 1 b: 2
k: 0 a: 3 b: 0

k: 0 a: 0 b: 3
k: 0 a: 1 b: 2
k: 0 a: 3 b: 1

k: 0 a: 0 b: 3
k: 0 a: 1 b: 2
k: 0 a: 3 b: 2

k: 0 a: 0 b: 3
k: 0 a: 1 b: 2
k: 1 a: 0 b: 1

k: 0 a: 0 b: 3
k: 0 a: 1 b: 2
k: 1 a: 0 b: 2

k: 0 a: 0 b: 3
k: 0 a: 1 b: 2
k: 1 a: 0 b: 3

k: 0 a: 0 b: 3
k: 0 a: 1 b: 2
k: 1 a: 1 b: 0

k: 0 a: 0 b: 3
k: 0 a: 1 b: 2
k: 1 a: 1 b: 2

k: 0 a: 0 b: 3
k: 0 a: 1 b: 2
k: 1 a: 1 b: 3

k: 0 a: 0 b: 3
k: 0 a: 1 b: 2
k: 1 a: 2 b: 0

k: 0 a: 0 b: 3
k: 0 a: 1 b: 2
k: 1 a: 2 b: 1

k: 0 a: 0 b: 3
k: 0 a: 1 b: 2
k: 1 a: 2 b: 3

k: 0 a: 0 b: 3
k: 0 a: 1 b: 2
k: 1 a: 3 b: 0

k: 0 a: 0 b: 3
k: 0 a: 1 b: 2
k: 1 a: 3 b: 1

k: 0 a: 0 b: 3
k: 0 a: 1 b: 2
k: 1 a: 3 b: 2

k: 0 a: 0 b: 3
k: 0 a: 1 b: 3
k: 0 a: 2 b: 0

k: 0 a: 0 b: 3
k: 0 a: 1 b: 3
k: 0 a: 2 b: 1

k: 0 a: 0 b: 3
k: 0 a: 1 b: 3
k: 0 a: 2 b: 3

k: 0 a: 0 b: 3
k: 0 a: 1 b: 3
k: 0 a: 3 b: 0

k: 0 a: 0 b: 3
k: 0 a: 1 b: 3
k: 0 a: 3 b: 1

k: 0 a: 0 b: 3
k: 0 a: 1 b: 3
k: 0 a: 3 b: 2

k: 0 a: 0 b: 3
k: 0 a: 1 b: 3
k: 1 a: 0 b: 1

k: 0 a: 0 b: 3
k: 0 a: 1 b: 3
k: 1 a: 0 b: 2

k: 0 a: 0 b: 3
k: 0 a: 1 b: 3
k: 1 a: 0 b: 3

k: 0 a: 0 b: 3
k: 0 a: 1 b: 3
k: 1 a: 1 b: 0

k: 0 a: 0 b: 3
k: 0 a: 1 b: 3
k: 1 a: 1 b: 2

k: 0 a: 0 b: 3
k: 0 a: 1 b: 3
k: 1 a: 1 b: 3

k: 0 a: 0 b: 3
k: 0 a: 1 b: 3
k: 1 a: 2 b: 0

k: 0 a: 0 b: 3
k: 0 a: 1 b: 3
k: 1 a: 2 b: 1

k: 0 a: 0 b: 3
k: 0 a: 1 b: 3
k: 1 a: 2 b: 3

k: 0 a: 0 b: 3
k: 0 a: 1 b: 3
k: 1 a: 3 b: 0

k: 0 a: 0 b: 3
k: 0 a: 1 b: 3
k: 1 a: 3 b: 1

k: 0 a: 0 b: 3
k: 0 a: 1 b: 3
k: 1 a: 3 b: 2

k: 0 a: 0 b: 3
k: 0 a: 2 b: 0
k: 0 a: 2 b: 1

k: 0 a: 0 b: 3
k: 0 a: 2 b: 0
k: 0 a: 2 b: 3

k: 0 a: 0 b: 3
k: 0 a: 2 b: 0
k: 0 a: 3 b: 0

k: 0 a: 0 b: 3
k: 0 a: 2 b: 0
k: 0 a: 3 b: 1

k: 0 a: 0 b: 3
k: 0 a: 2 b: 0
k: 0 a: 3 b: 2

k: 0 a: 0 b: 3
k: 0 a: 2 b: 0
k: 1 a: 0 b: 1

k: 0 a: 0 b: 3
k: 0 a: 2 b: 0
k: 1 a: 0 b: 2

k: 0 a: 0 b: 3
k: 0 a: 2 b: 0
k: 1 a: 0 b: 3

k: 0 a: 0 b: 3
k: 0 a: 2 b: 0
k: 1 a: 1 b: 0

k: 0 a: 0 b: 3
k: 0 a: 2 b: 0
k: 1 a: 1 b: 2

k: 0 a: 0 b: 3
k: 0 a: 2 b: 0
k: 1 a: 1 b: 3

k: 0 a: 0 b: 3
k: 0 a: 2 b: 0
k: 1 a: 2 b: 0

k: 0 a: 0 b: 3
k: 0 a: 2 b: 0
k: 1 a: 2 b: 1

k: 0 a: 0 b: 3
k: 0 a: 2 b: 0
k: 1 a: 2 b: 3

k: 0 a: 0 b: 3
k: 0 a: 2 b: 0
k: 1 a: 3 b: 0

k: 0 a: 0 b: 3
k: 0 a: 2 b: 0
k: 1 a: 3 b: 1

k: 0 a: 0 b: 3
k: 0 a: 2 b: 0
k: 1 a: 3 b: 2

k: 0 a: 0 b: 3
k: 0 a: 2 b: 1
k: 0 a: 2 b: 3

k: 0 a: 0 b: 3
k: 0 a: 2 b: 1
k: 0 a: 3 b: 0

k: 0 a: 0 b: 3
k: 0 a: 2 b: 1
k: 0 a: 3 b: 1

k: 0 a: 0 b: 3
k: 0 a: 2 b: 1
k: 0 a: 3 b: 2

k: 0 a: 0 b: 3
k: 0 a: 2 b: 1
k: 1 a: 0 b: 1

k: 0 a: 0 b: 3
k: 0 a: 2 b: 1
k: 1 a: 0 b: 2

k: 0 a: 0 b: 3
k: 0 a: 2 b: 1
k: 1 a: 0 b: 3

k: 0 a: 0 b: 3
k: 0 a: 2 b: 1
k: 1 a: 1 b: 0

k: 0 a: 0 b: 3
k: 0 a: 2 b: 1
k: 1 a: 1 b: 2

k: 0 a: 0 b: 3
k: 0 a: 2 b: 1
k: 1 a: 1 b: 3

k: 0 a: 0 b: 3
k: 0 a: 2 b: 1
k: 1 a: 2 b: 0

k: 0 a: 0 b: 3
k: 0 a: 2 b: 1
k: 1 a: 2 b: 1

k: 0 a: 0 b: 3
k: 0 a: 2 b: 1
k: 1 a: 2 b: 3

k: 0 a: 0 b: 3
k: 0 a: 2 b: 1
k: 1 a: 3 b: 0

k: 0 a: 0 b: 3
k: 0 a: 2 b: 1
k: 1 a: 3 b: 1

k: 0 a: 0 b: 3
k: 0 a: 2 b: 1
k: 1 a: 3 b: 2

k: 0 a: 0 b: 3
k: 0 a: 2 b: 3
k: 0 a: 3 b: 0

k: 0 a: 0 b: 3
k: 0 a: 2 b: 3
k: 0 a: 3 b: 1

k: 0 a: 0 b: 3
k: 0 a: 2 b: 3
k: 0 a: 3 b: 2

k: 0 a: 0 b: 3
k: 0 a: 2 b: 3
k: 1 a: 0 b: 1

k: 0 a: 0 b: 3
k: 0 a: 2 b: 3
k: 1 a: 0 b: 2

k: 0 a: 0 b: 3
k: 0 a: 2 b: 3
k: 1 a: 0 b: 3

k: 0 a: 0 b: 3
k: 0 a: 2 b: 3
k: 1 a: 1 b: 0

k: 0 a: 0 b: 3
k: 0 a: 2 b: 3
k: 1 a: 1 b: 2

k: 0 a: 0 b: 3
k: 0 a: 2 b: 3
k: 1 a: 1 b: 3

k: 0 a: 0 b: 3
k: 0 a: 2 b: 3
k: 1 a: 2 b: 0

k: 0 a: 0 b: 3
k: 0 a: 2 b: 3
k: 1 a: 2 b: 1

k: 0 a: 0 b: 3
k: 0 a: 2 b: 3
k: 1 a: 2 b: 3

k: 0 a: 0 b: 3
k: 0 a: 2 b: 3
k: 1 a: 3 b: 0

k: 0 a: 0 b: 3
k: 0 a: 2 b: 3
k: 1 a: 3 b: 1

k: 0 a: 0 b: 3
k: 0 a: 2 b: 3
k: 1 a: 3 b: 2

k: 0 a: 0 b: 3
k: 0 a: 3 b: 0
k: 0 a: 3 b: 1

k: 0 a: 0 b: 3
k: 0 a: 3 b: 0
k: 0 a: 3 b: 2

k: 0 a: 0 b: 3
k: 0 a: 3 b: 0
k: 1 a: 0 b: 1

k: 0 a: 0 b: 3
k: 0 a: 3 b: 0
k: 1 a: 0 b: 2

k: 0 a: 0 b: 3
k: 0 a: 3 b: 0
k: 1 a: 0 b: 3

k: 0 a: 0 b: 3
k: 0 a: 3 b: 0
k: 1 a: 1 b: 0

k: 0 a: 0 b: 3
k: 0 a: 3 b: 0
k: 1 a: 1 b: 2

k: 0 a: 0 b: 3
k: 0 a: 3 b: 0
k: 1 a: 1 b: 3

k: 0 a: 0 b: 3
k: 0 a: 3 b: 0
k: 1 a: 2 b: 0

k: 0 a: 0 b: 3
k: 0 a: 3 b: 0
k: 1 a: 2 b: 1

k: 0 a: 0 b: 3
k: 0 a: 3 b: 0
k: 1 a: 2 b: 3

k: 0 a: 0 b: 3
k: 0 a: 3 b: 0
k: 1 a: 3 b: 0

k: 0 a: 0 b: 3
k: 0 a: 3 b: 0
k: 1 a: 3 b: 1

k: 0 a: 0 b: 3
k: 0 a: 3 b: 0
k: 1 a: 3 b: 2

k: 0 a: 0 b: 3
k: 0 a: 3 b: 1
k: 0 a: 3 b: 2

k: 0 a: 0 b: 3
k: 0 a: 3 b: 1
k: 1 a: 0 b: 1

k: 0 a: 0 b: 3
k: 0 a: 3 b: 1
k: 1 a: 0 b: 2

k: 0 a: 0 b: 3
k: 0 a: 3 b: 1
k: 1 a: 0 b: 3

k: 0 a: 0 b: 3
k: 0 a: 3 b: 1
k: 1 a: 1 b: 0

k: 0 a: 0 b: 3
k: 0 a: 3 b: 1
k: 1 a: 1 b: 2

k: 0 a: 0 b: 3
k: 0 a: 3 b: 1
k: 1 a: 1 b: 3

k: 0 a: 0 b: 3
k: 0 a: 3 b: 1
k: 1 a: 2 b: 0

k: 0 a: 0 b: 3
k: 0 a: 3 b: 1
k: 1 a: 2 b: 1

k: 0 a: 0 b: 3
k: 0 a: 3 b: 1
k: 1 a: 2 b: 3

k: 0 a: 0 b: 3
k: 0 a: 3 b: 1
k: 1 a: 3 b: 0

k: 0 a: 0 b: 3
k: 0 a: 3 b: 1
k: 1 a: 3 b: 1

k: 0 a: 0 b: 3
k: 0 a: 3 b: 1
k: 1 a: 3 b: 2

k: 0 a: 0 b: 3
k: 0 a: 3 b: 2
k: 1 a: 0 b: 1

k: 0 a: 0 b: 3
k: 0 a: 3 b: 2
k: 1 a: 0 b: 2

k: 0 a: 0 b: 3
k: 0 a: 3 b: 2
k: 1 a: 0 b: 3

k: 0 a: 0 b: 3
k: 0 a: 3 b: 2
k: 1 a: 1 b: 0

k: 0 a: 0 b: 3
k: 0 a: 3 b: 2
k: 1 a: 1 b: 2

k: 0 a: 0 b: 3
k: 0 a: 3 b: 2
k: 1 a: 1 b: 3

k: 0 a: 0 b: 3
k: 0 a: 3 b: 2
k: 1 a: 2 b: 0

k: 0 a: 0 b: 3
k: 0 a: 3 b: 2
k: 1 a: 2 b: 1

k: 0 a: 0 b: 3
k: 0 a: 3 b: 2
k: 1 a: 2 b: 3

k: 0 a: 0 b: 3
k: 0 a: 3 b: 2
k: 1 a: 3 b: 0

k: 0 a: 0 b: 3
k: 0 a: 3 b: 2
k: 1 a: 3 b: 1

k: 0 a: 0 b: 3
k: 0 a: 3 b: 2
k: 1 a: 3 b: 2

k: 0 a: 0 b: 3
k: 1 a: 0 b: 1
k: 1 a: 0 b: 2

k: 0 a: 0 b: 3
k: 1 a: 0 b: 1
k: 1 a: 0 b: 3

k: 0 a: 0 b: 3
k: 1 a: 0 b: 1
k: 1 a: 1 b: 0

k: 0 a: 0 b: 3
k: 1 a: 0 b: 1
k: 1 a: 1 b: 2

k: 0 a: 0 b: 3
k: 1 a: 0 b: 1
k: 1 a: 1 b: 3

k: 0 a: 0 b: 3
k: 1 a: 0 b: 1
k: 1 a: 2 b: 0

k: 0 a: 0 b: 3
k: 1 a: 0 b: 1
k: 1 a: 2 b: 1

k: 0 a: 0 b: 3
k: 1 a: 0 b: 1
k: 1 a: 2 b: 3

k: 0 a: 0 b: 3
k: 1 a: 0 b: 1
k: 1 a: 3 b: 0

k: 0 a: 0 b: 3
k: 1 a: 0 b: 1
k: 1 a: 3 b: 1

k: 0 a: 0 b: 3
k: 1 a: 0 b: 1
k: 1 a: 3 b: 2

k: 0 a: 0 b: 3
k: 1 a: 0 b: 2
k: 1 a: 0 b: 3

k: 0 a: 0 b: 3
k: 1 a: 0 b: 2
k: 1 a: 1 b: 0

k: 0 a: 0 b: 3
k: 1 a: 0 b: 2
k: 1 a: 1 b: 2

k: 0 a: 0 b: 3
k: 1 a: 0 b: 2
k: 1 a: 1 b: 3

k: 0 a: 0 b: 3
k: 1 a: 0 b: 2
k: 1 a: 2 b: 0

k: 0 a: 0 b: 3
k: 1 a: 0 b: 2
k: 1 a: 2 b: 1

k: 0 a: 0 b: 3
k: 1 a: 0 b: 2
k: 1 a: 2 b: 3

k: 0 a: 0 b: 3
k: 1 a: 0 b: 2
k: 1 a: 3 b: 0

k: 0 a: 0 b: 3
k: 1 a: 0 b: 2
k: 1 a: 3 b: 1

k: 0 a: 0 b: 3
k: 1 a: 0 b: 2
k: 1 a: 3 b: 2

k: 0 a: 0 b: 3
k: 1 a: 0 b: 3
k: 1 a: 1 b: 0

k: 0 a: 0 b: 3
k: 1 a: 0 b: 3
k: 1 a: 1 b: 2

k: 0 a: 0 b: 3
k: 1 a: 0 b: 3
k: 1 a: 1 b: 3

k: 0 a: 0 b: 3
k: 1 a: 0 b: 3
k: 1 a: 2 b: 0

k: 0 a: 0 b: 3
k: 1 a: 0 b: 3
k: 1 a: 2 b: 1

k: 0 a: 0 b: 3
k: 1 a: 0 b: 3
k: 1 a: 2 b: 3

k: 0 a: 0 b: 3
k: 1 a: 0 b: 3
k: 1 a: 3 b: 0

k: 0 a: 0 b: 3
k: 1 a: 0 b: 3
k: 1 a: 3 b: 1

k: 0 a: 0 b: 3
k: 1 a: 0 b: 3
k: 1 a: 3 b: 2

k: 0 a: 0 b: 3
k: 1 a: 1 b: 0
k: 1 a: 1 b: 2

k: 0 a: 0 b: 3
k: 1 a: 1 b: 0
k: 1 a: 1 b: 3

k: 0 a: 0 b: 3
k: 1 a: 1 b: 0
k: 1 a: 2 b: 0

k: 0 a: 0 b: 3
k: 1 a: 1 b: 0
k: 1 a: 2 b: 1

k: 0 a: 0 b: 3
k: 1 a: 1 b: 0
k: 1 a: 2 b: 3

k: 0 a: 0 b: 3
k: 1 a: 1 b: 0
k: 1 a: 3 b: 0

k: 0 a: 0 b: 3
k: 1 a: 1 b: 0
k: 1 a: 3 b: 1

k: 0 a: 0 b: 3
k: 1 a: 1 b: 0
k: 1 a: 3 b: 2

k: 0 a: 0 b: 3
k: 1 a: 1 b: 2
k: 1 a: 1 b: 3

k: 0 a: 0 b: 3
k: 1 a: 1 b: 2
k: 1 a: 2 b: 0

k: 0 a: 0 b: 3
k: 1 a: 1 b: 2
k: 1 a: 2 b: 1

k: 0 a: 0 b: 3
k: 1 a: 1 b: 2
k: 1 a: 2 b: 3

k: 0 a: 0 b: 3
k: 1 a: 1 b: 2
k: 1 a: 3 b: 0

k: 0 a: 0 b: 3
k: 1 a: 1 b: 2
k: 1 a: 3 b: 1

k: 0 a: 0 b: 3
k: 1 a: 1 b: 2
k: 1 a: 3 b: 2

k: 0 a: 0 b: 3
k: 1 a: 1 b: 3
k: 1 a: 2 b: 0

k: 0 a: 0 b: 3
k: 1 a: 1 b: 3
k: 1 a: 2 b: 1

k: 0 a: 0 b: 3
k: 1 a: 1 b: 3
k: 1 a: 2 b: 3

k: 0 a: 0 b: 3
k: 1 a: 1 b: 3
k: 1 a: 3 b: 0

k: 0 a: 0 b: 3
k: 1 a: 1 b: 3
k: 1 a: 3 b: 1

k: 0 a: 0 b: 3
k: 1 a: 1 b: 3
k: 1 a: 3 b: 2

k: 0 a: 0 b: 3
k: 1 a: 2 b: 0
k: 1 a: 2 b: 1

k: 0 a: 0 b: 3
k: 1 a: 2 b: 0
k: 1 a: 2 b: 3

k: 0 a: 0 b: 3
k: 1 a: 2 b: 0
k: 1 a: 3 b: 0

k: 0 a: 0 b: 3
k: 1 a: 2 b: 0
k: 1 a: 3 b: 1

k: 0 a: 0 b: 3
k: 1 a: 2 b: 0
k: 1 a: 3 b: 2

k: 0 a: 0 b: 3
k: 1 a: 2 b: 1
k: 1 a: 2 b: 3

k: 0 a: 0 b: 3
k: 1 a: 2 b: 1
k: 1 a: 3 b: 0

k: 0 a: 0 b: 3
k: 1 a: 2 b: 1
k: 1 a: 3 b: 1

k: 0 a: 0 b: 3
k: 1 a: 2 b: 1
k: 1 a: 3 b: 2

k: 0 a: 0 b: 3
k: 1 a: 2 b: 3
k: 1 a: 3 b: 0

k: 0 a: 0 b: 3
k: 1 a: 2 b: 3
k: 1 a: 3 b: 1

k: 0 a: 0 b: 3
k: 1 a: 2 b: 3
k: 1 a: 3 b: 2

k: 0 a: 0 b: 3
k: 1 a: 3 b: 0
k: 1 a: 3 b: 1

k: 0 a: 0 b: 3
k: 1 a: 3 b: 0
k: 1 a: 3 b: 2

k: 0 a: 0 b: 3
k: 1 a: 3 b: 1
k: 1 a: 3 b: 2

k: 0 a: 1 b: 0
k: 0 a: 1 b: 2
k: 0 a: 1 b: 3

k: 0 a: 1 b: 0
k: 0 a: 1 b: 2
k: 0 a: 2 b: 0

k: 0 a: 1 b: 0
k: 0 a: 1 b: 2
k: 0 a: 2 b: 1

k: 0 a: 1 b: 0
k: 0 a: 1 b: 2
k: 0 a: 2 b: 3

k: 0 a: 1 b: 0
k: 0 a: 1 b: 2
k: 0 a: 3 b: 0

k: 0 a: 1 b: 0
k: 0 a: 1 b: 2
k: 0 a: 3 b: 1

k: 0 a: 1 b: 0
k: 0 a: 1 b: 2
k: 0 a: 3 b: 2

k: 0 a: 1 b: 0
k: 0 a: 1 b: 2
k: 1 a: 0 b: 1

k: 0 a: 1 b: 0
k: 0 a: 1 b: 2
k: 1 a: 0 b: 2

k: 0 a: 1 b: 0
k: 0 a: 1 b: 2
k: 1 a: 0 b: 3

k: 0 a: 1 b: 0
k: 0 a: 1 b: 2
k: 1 a: 1 b: 0

k: 0 a: 1 b: 0
k: 0 a: 1 b: 2
k: 1 a: 1 b: 2

k: 0 a: 1 b: 0
k: 0 a: 1 b: 2
k: 1 a: 1 b: 3

k: 0 a: 1 b: 0
k: 0 a: 1 b: 2
k: 1 a: 2 b: 0

k: 0 a: 1 b: 0
k: 0 a: 1 b: 2
k: 1 a: 2 b: 1

k: 0 a: 1 b: 0
k: 0 a: 1 b: 2
k: 1 a: 2 b: 3

k: 0 a: 1 b: 0
k: 0 a: 1 b: 2
k: 1 a: 3 b: 0

k: 0 a: 1 b: 0
k: 0 a: 1 b: 2
k: 1 a: 3 b: 1

k: 0 a: 1 b: 0
k: 0 a: 1 b: 2
k: 1 a: 3 b: 2

k: 0 a: 1 b: 0
k: 0 a: 1 b: 3
k: 0 a: 2 b: 0

k: 0 a: 1 b: 0
k: 0 a: 1 b: 3
k: 0 a: 2 b: 1

k: 0 a: 1 b: 0
k: 0 a: 1 b: 3
k: 0 a: 2 b: 3

k: 0 a: 1 b: 0
k: 0 a: 1 b: 3
k: 0 a: 3 b: 0

k: 0 a: 1 b: 0
k: 0 a: 1 b: 3
k: 0 a: 3 b: 1

k: 0 a: 1 b: 0
k: 0 a: 1 b: 3
k: 0 a: 3 b: 2

k: 0 a: 1 b: 0
k: 0 a: 1 b: 3
k: 1 a: 0 b: 1

k: 0 a: 1 b: 0
k: 0 a: 1 b: 3
k: 1 a: 0 b: 2

k: 0 a: 1 b: 0
k: 0 a: 1 b: 3
k: 1 a: 0 b: 3

k: 0 a: 1 b: 0
k: 0 a: 1 b: 3
k: 1 a: 1 b: 0

k: 0 a: 1 b: 0
k: 0 a: 1 b: 3
k: 1 a: 1 b: 2

k: 0 a: 1 b: 0
k: 0 a: 1 b: 3
k: 1 a: 1 b: 3

k: 0 a: 1 b: 0
k: 0 a: 1 b: 3
k: 1 a: 2 b: 0

k: 0 a: 1 b: 0
k: 0 a: 1 b: 3
k: 1 a: 2 b: 1

k: 0 a: 1 b: 0
k: 0 a: 1 b: 3
k: 1 a: 2 b: 3

k: 0 a: 1 b: 0
k: 0 a: 1 b: 3
k: 1 a: 3 b: 0

k: 0 a: 1 b: 0
k: 0 a: 1 b: 3
k: 1 a: 3 b: 1

k: 0 a: 1 b: 0
k: 0 a: 1 b: 3
k: 1 a: 3 b: 2

k: 0 a: 1 b: 0
k: 0 a: 2 b: 0
k: 0 a: 2 b: 1

k: 0 a: 1 b: 0
k: 0 a: 2 b: 0
k: 0 a: 2 b: 3

k: 0 a: 1 b: 0
k: 0 a: 2 b: 0
k: 0 a: 3 b: 0

k: 0 a: 1 b: 0
k: 0 a: 2 b: 0
k: 0 a: 3 b: 1

k: 0 a: 1 b: 0
k: 0 a: 2 b: 0
k: 0 a: 3 b: 2

k: 0 a: 1 b: 0
k: 0 a: 2 b: 0
k: 1 a: 0 b: 1

k: 0 a: 1 b: 0
k: 0 a: 2 b: 0
k: 1 a: 0 b: 2

k: 0 a: 1 b: 0
k: 0 a: 2 b: 0
k: 1 a: 0 b: 3

k: 0 a: 1 b: 0
k: 0 a: 2 b: 0
k: 1 a: 1 b: 0

k: 0 a: 1 b: 0
k: 0 a: 2 b: 0
k: 1 a: 1 b: 2

k: 0 a: 1 b: 0
k: 0 a: 2 b: 0
k: 1 a: 1 b: 3

k: 0 a: 1 b: 0
k: 0 a: 2 b: 0
k: 1 a: 2 b: 0

k: 0 a: 1 b: 0
k: 0 a: 2 b: 0
k: 1 a: 2 b: 1

k: 0 a: 1 b: 0
k: 0 a: 2 b: 0
k: 1 a: 2 b: 3

k: 0 a: 1 b: 0
k: 0 a: 2 b: 0
k: 1 a: 3 b: 0

k: 0 a: 1 b: 0
k: 0 a: 2 b: 0
k: 1 a: 3 b: 1

k: 0 a: 1 b: 0
k: 0 a: 2 b: 0
k: 1 a: 3 b: 2

k: 0 a: 1 b: 0
k: 0 a: 2 b: 1
k: 0 a: 2 b: 3

k: 0 a: 1 b: 0
k: 0 a: 2 b: 1
k: 0 a: 3 b: 0

k: 0 a: 1 b: 0
k: 0 a: 2 b: 1
k: 0 a: 3 b: 1

k: 0 a: 1 b: 0
k: 0 a: 2 b: 1
k: 0 a: 3 b: 2

k: 0 a: 1 b: 0
k: 0 a: 2 b: 1
k: 1 a: 0 b: 1

k: 0 a: 1 b: 0
k: 0 a: 2 b: 1
k: 1 a: 0 b: 2

k: 0 a: 1 b: 0
k: 0 a: 2 b: 1
k: 1 a: 0 b: 3

k: 0 a: 1 b: 0
k: 0 a: 2 b: 1
k: 1 a: 1 b: 0

k: 0 a: 1 b: 0
k: 0 a: 2 b: 1
k: 1 a: 1 b: 2

k: 0 a: 1 b: 0
k: 0 a: 2 b: 1
k: 1 a: 1 b: 3

k: 0 a: 1 b: 0
k: 0 a: 2 b: 1
k: 1 a: 2 b: 0

k: 0 a: 1 b: 0
k: 0 a: 2 b: 1
k: 1 a: 2 b: 1

k: 0 a: 1 b: 0
k: 0 a: 2 b: 1
k: 1 a: 2 b: 3

k: 0 a: 1 b: 0
k: 0 a: 2 b: 1
k: 1 a: 3 b: 0

k: 0 a: 1 b: 0
k: 0 a: 2 b: 1
k: 1 a: 3 b: 1

k: 0 a: 1 b: 0
k: 0 a: 2 b: 1
k: 1 a: 3 b: 2

k: 0 a: 1 b: 0
k: 0 a: 2 b: 3
k: 0 a: 3 b: 0

k: 0 a: 1 b: 0
k: 0 a: 2 b: 3
k: 0 a: 3 b: 1

k: 0 a: 1 b: 0
k: 0 a: 2 b: 3
k: 0 a: 3 b: 2

k: 0 a: 1 b: 0
k: 0 a: 2 b: 3
k: 1 a: 0 b: 1

k: 0 a: 1 b: 0
k: 0 a: 2 b: 3
k: 1 a: 0 b: 2

k: 0 a: 1 b: 0
k: 0 a: 2 b: 3
k: 1 a: 0 b: 3

k: 0 a: 1 b: 0
k: 0 a: 2 b: 3
k: 1 a: 1 b: 0

k: 0 a: 1 b: 0
k: 0 a: 2 b: 3
k: 1 a: 1 b: 2

k: 0 a: 1 b: 0
k: 0 a: 2 b: 3
k: 1 a: 1 b: 3

k: 0 a: 1 b: 0
k: 0 a: 2 b: 3
k: 1 a: 2 b: 0

k: 0 a: 1 b: 0
k: 0 a: 2 b: 3
k: 1 a: 2 b: 1

k: 0 a: 1 b: 0
k: 0 a: 2 b: 3
k: 1 a: 2 b: 3

k: 0 a: 1 b: 0
k: 0 a: 2 b: 3
k: 1 a: 3 b: 0

k: 0 a: 1 b: 0
k: 0 a: 2 b: 3
k: 1 a: 3 b: 1

k: 0 a: 1 b: 0
k: 0 a: 2 b: 3
k: 1 a: 3 b: 2

k: 0 a: 1 b: 0
k: 0 a: 3 b: 0
k: 0 a: 3 b: 1

k: 0 a: 1 b: 0
k: 0 a: 3 b: 0
k: 0 a: 3 b: 2

k: 0 a: 1 b: 0
k: 0 a: 3 b: 0
k: 1 a: 0 b: 1

k: 0 a: 1 b: 0
k: 0 a: 3 b: 0
k: 1 a: 0 b: 2

k: 0 a: 1 b: 0
k: 0 a: 3 b: 0
k: 1 a: 0 b: 3

k: 0 a: 1 b: 0
k: 0 a: 3 b: 0
k: 1 a: 1 b: 0

k: 0 a: 1 b: 0
k: 0 a: 3 b: 0
k: 1 a: 1 b: 2

k: 0 a: 1 b: 0
k: 0 a: 3 b: 0
k: 1 a: 1 b: 3

k: 0 a: 1 b: 0
k: 0 a: 3 b: 0
k: 1 a: 2 b: 0

k: 0 a: 1 b: 0
k: 0 a: 3 b: 0
k: 1 a: 2 b: 1

k: 0 a: 1 b: 0
k: 0 a: 3 b: 0
k: 1 a: 2 b: 3

k: 0 a: 1 b: 0
k: 0 a: 3 b: 0
k: 1 a: 3 b: 0

k: 0 a: 1 b: 0
k: 0 a: 3 b: 0
k: 1 a: 3 b: 1

k: 0 a: 1 b: 0
k: 0 a: 3 b: 0
k: 1 a: 3 b: 2

k: 0 a: 1 b: 0
k: 0 a: 3 b: 1
k: 0 a: 3 b: 2

k: 0 a: 1 b: 0
k: 0 a: 3 b: 1
k: 1 a: 0 b: 1

k: 0 a: 1 b: 0
k: 0 a: 3 b: 1
k: 1 a: 0 b: 2

k: 0 a: 1 b: 0
k: 0 a: 3 b: 1
k: 1 a: 0 b: 3

k: 0 a: 1 b: 0
k: 0 a: 3 b: 1
k: 1 a: 1 b: 0

k: 0 a: 1 b: 0
k: 0 a: 3 b: 1
k: 1 a: 1 b: 2

k: 0 a: 1 b: 0
k: 0 a: 3 b: 1
k: 1 a: 1 b: 3

k: 0 a: 1 b: 0
k: 0 a: 3 b: 1
k: 1 a: 2 b: 0

k: 0 a: 1 b: 0
k: 0 a: 3 b: 1
k: 1 a: 2 b: 1

k: 0 a: 1 b: 0
k: 0 a: 3 b: 1
k: 1 a: 2 b: 3

k: 0 a: 1 b: 0
k: 0 a: 3 b: 1
k: 1 a: 3 b: 0

k: 0 a: 1 b: 0
k: 0 a: 3 b: 1
k: 1 a: 3 b: 1

k: 0 a: 1 b: 0
k: 0 a: 3 b: 1
k: 1 a: 3 b: 2

k: 0 a: 1 b: 0
k: 0 a: 3 b: 2
k: 1 a: 0 b: 1

k: 0 a: 1 b: 0
k: 0 a: 3 b: 2
k: 1 a: 0 b: 2

k: 0 a: 1 b: 0
k: 0 a: 3 b: 2
k: 1 a: 0 b: 3

k: 0 a: 1 b: 0
k: 0 a: 3 b: 2
k: 1 a: 1 b: 0

k: 0 a: 1 b: 0
k: 0 a: 3 b: 2
k: 1 a: 1 b: 2

k: 0 a: 1 b: 0
k: 0 a: 3 b: 2
k: 1 a: 1 b: 3

k: 0 a: 1 b: 0
k: 0 a: 3 b: 2
k: 1 a: 2 b: 0

k: 0 a: 1 b: 0
k: 0 a: 3 b: 2
k: 1 a: 2 b: 1

k: 0 a: 1 b: 0
k: 0 a: 3 b: 2
k: 1 a: 2 b: 3

k: 0 a: 1 b: 0
k: 0 a: 3 b: 2
k: 1 a: 3 b: 0

k: 0 a: 1 b: 0
k: 0 a: 3 b: 2
k: 1 a: 3 b: 1

k: 0 a: 1 b: 0
k: 0 a: 3 b: 2
k: 1 a: 3 b: 2

k: 0 a: 1 b: 0
k: 1 a: 0 b: 1
k: 1 a: 0 b: 2

k: 0 a: 1 b: 0
k: 1 a: 0 b: 1
k: 1 a: 0 b: 3

k: 0 a: 1 b: 0
k: 1 a: 0 b: 1
k: 1 a: 1 b: 0

k: 0 a: 1 b: 0
k: 1 a: 0 b: 1
k: 1 a: 1 b: 2

k: 0 a: 1 b: 0
k: 1 a: 0 b: 1
k: 1 a: 1 b: 3

k: 0 a: 1 b: 0
k: 1 a: 0 b: 1
k: 1 a: 2 b: 0

k: 0 a: 1 b: 0
k: 1 a: 0 b: 1
k: 1 a: 2 b: 1

k: 0 a: 1 b: 0
k: 1 a: 0 b: 1
k: 1 a: 2 b: 3

k: 0 a: 1 b: 0
k: 1 a: 0 b: 1
k: 1 a: 3 b: 0

k: 0 a: 1 b: 0
k: 1 a: 0 b: 1
k: 1 a: 3 b: 1

k: 0 a: 1 b: 0
k: 1 a: 0 b: 1
k: 1 a: 3 b: 2

k: 0 a: 1 b: 0
k: 1 a: 0 b: 2
k: 1 a: 0 b: 3

k: 0 a: 1 b: 0
k: 1 a: 0 b: 2
k: 1 a: 1 b: 0

k: 0 a: 1 b: 0
k: 1 a: 0 b: 2
k: 1 a: 1 b: 2

k: 0 a: 1 b: 0
k: 1 a: 0 b: 2
k: 1 a: 1 b: 3

k: 0 a: 1 b: 0
k: 1 a: 0 b: 2
k: 1 a: 2 b: 0

k: 0 a: 1 b: 0
k: 1 a: 0 b: 2
k: 1 a: 2 b: 1

k: 0 a: 1 b: 0
k: 1 a: 0 b: 2
k: 1 a: 2 b: 3

k: 0 a: 1 b: 0
k: 1 a: 0 b: 2
k: 1 a: 3 b: 0

k: 0 a: 1 b: 0
k: 1 a: 0 b: 2
k: 1 a: 3 b: 1

k: 0 a: 1 b: 0
k: 1 a: 0 b: 2
k: 1 a: 3 b: 2

k: 0 a: 1 b: 0
k: 1 a: 0 b: 3
k: 1 a: 1 b: 0

k: 0 a: 1 b: 0
k: 1 a: 0 b: 3
k: 1 a: 1 b: 2

k: 0 a: 1 b: 0
k: 1 a: 0 b: 3
k: 1 a: 1 b: 3

k: 0 a: 1 b: 0
k: 1 a: 0 b: 3
k: 1 a: 2 b: 0

k: 0 a: 1 b: 0
k: 1 a: 0 b: 3
k: 1 a: 2 b: 1

k: 0 a: 1 b: 0
k: 1 a: 0 b: 3
k: 1 a: 2 b: 3

k: 0 a: 1 b: 0
k: 1 a: 0 b: 3
k: 1 a: 3 b: 0

k: 0 a: 1 b: 0
k: 1 a: 0 b: 3
k: 1 a: 3 b: 1

k: 0 a: 1 b: 0
k: 1 a: 0 b: 3
k: 1 a: 3 b: 2

k: 0 a: 1 b: 0
k: 1 a: 1 b: 0
k: 1 a: 1 b: 2

k: 0 a: 1 b: 0
k: 1 a: 1 b: 0
k: 1 a: 1 b: 3

k: 0 a: 1 b: 0
k: 1 a: 1 b: 0
k: 1 a: 2 b: 0

k: 0 a: 1 b: 0
k: 1 a: 1 b: 0
k: 1 a: 2 b: 1

k: 0 a: 1 b: 0
k: 1 a: 1 b: 0
k: 1 a: 2 b: 3

k: 0 a: 1 b: 0
k: 1 a: 1 b: 0
k: 1 a: 3 b: 0

k: 0 a: 1 b: 0
k: 1 a: 1 b: 0
k: 1 a: 3 b: 1

k: 0 a: 1 b: 0
k: 1 a: 1 b: 0
k: 1 a: 3 b: 2

k: 0 a: 1 b: 0
k: 1 a: 1 b: 2
k: 1 a: 1 b: 3

k: 0 a: 1 b: 0
k: 1 a: 1 b: 2
k: 1 a: 2 b: 0

k: 0 a: 1 b: 0
k: 1 a: 1 b: 2
k: 1 a: 2 b: 1

k: 0 a: 1 b: 0
k: 1 a: 1 b: 2
k: 1 a: 2 b: 3

k: 0 a: 1 b: 0
k: 1 a: 1 b: 2
k: 1 a: 3 b: 0

k: 0 a: 1 b: 0
k: 1 a: 1 b: 2
k: 1 a: 3 b: 1

k: 0 a: 1 b: 0
k: 1 a: 1 b: 2
k: 1 a: 3 b: 2

k: 0 a: 1 b: 0
k: 1 a: 1 b: 3
k: 1 a: 2 b: 0

k: 0 a: 1 b: 0
k: 1 a: 1 b: 3
k: 1 a: 2 b: 1

k: 0 a: 1 b: 0
k: 1 a: 1 b: 3
k: 1 a: 2 b: 3

k: 0 a: 1 b: 0
k: 1 a: 1 b: 3
k: 1 a: 3 b: 0

k: 0 a: 1 b: 0
k: 1 a: 1 b: 3
k: 1 a: 3 b: 1

k: 0 a: 1 b: 0
k: 1 a: 1 b: 3
k: 1 a: 3 b: 2

k: 0 a: 1 b: 0
k: 1 a: 2 b: 0
k: 1 a: 2 b: 1

k: 0 a: 1 b: 0
k: 1 a: 2 b: 0
k: 1 a: 2 b: 3

k: 0 a: 1 b: 0
k: 1 a: 2 b: 0
k: 1 a: 3 b: 0

k: 0 a: 1 b: 0
k: 1 a: 2 b: 0
k: 1 a: 3 b: 1

k: 0 a: 1 b: 0
k: 1 a: 2 b: 0
k: 1 a: 3 b: 2

k: 0 a: 1 b: 0
k: 1 a: 2 b: 1
k: 1 a: 2 b: 3

k: 0 a: 1 b: 0
k: 1 a: 2 b: 1
k: 1 a: 3 b: 0

k: 0 a: 1 b: 0
k: 1 a: 2 b: 1
k: 1 a: 3 b: 1

k: 0 a: 1 b: 0
k: 1 a: 2 b: 1
k: 1 a: 3 b: 2

k: 0 a: 1 b: 0
k: 1 a: 2 b: 3
k: 1 a: 3 b: 0

k: 0 a: 1 b: 0
k: 1 a: 2 b: 3
k: 1 a: 3 b: 1

k: 0 a: 1 b: 0
k: 1 a: 2 b: 3
k: 1 a: 3 b: 2

k: 0 a: 1 b: 0
k: 1 a: 3 b: 0
k: 1 a: 3 b: 1

k: 0 a: 1 b: 0
k: 1 a: 3 b: 0
k: 1 a: 3 b: 2

k: 0 a: 1 b: 0
k: 1 a: 3 b: 1
k: 1 a: 3 b: 2

k: 0 a: 1 b: 2
k: 0 a: 1 b: 3
k: 0 a: 2 b: 0

k: 0 a: 1 b: 2
k: 0 a: 1 b: 3
k: 0 a: 2 b: 1

k: 0 a: 1 b: 2
k: 0 a: 1 b: 3
k: 0 a: 2 b: 3

k: 0 a: 1 b: 2
k: 0 a: 1 b: 3
k: 0 a: 3 b: 0

k: 0 a: 1 b: 2
k: 0 a: 1 b: 3
k: 0 a: 3 b: 1

k: 0 a: 1 b: 2
k: 0 a: 1 b: 3
k: 0 a: 3 b: 2

k: 0 a: 1 b: 2
k: 0 a: 1 b: 3
k: 1 a: 0 b: 1

k: 0 a: 1 b: 2
k: 0 a: 1 b: 3
k: 1 a: 0 b: 2

k: 0 a: 1 b: 2
k: 0 a: 1 b: 3
k: 1 a: 0 b: 3

k: 0 a: 1 b: 2
k: 0 a: 1 b: 3
k: 1 a: 1 b: 0

k: 0 a: 1 b: 2
k: 0 a: 1 b: 3
k: 1 a: 1 b: 2

k: 0 a: 1 b: 2
k: 0 a: 1 b: 3
k: 1 a: 1 b: 3

k: 0 a: 1 b: 2
k: 0 a: 1 b: 3
k: 1 a: 2 b: 0

k: 0 a: 1 b: 2
k: 0 a: 1 b: 3
k: 1 a: 2 b: 1

k: 0 a: 1 b: 2
k: 0 a: 1 b: 3
k: 1 a: 2 b: 3

k: 0 a: 1 b: 2
k: 0 a: 1 b: 3
k: 1 a: 3 b: 0

k: 0 a: 1 b: 2
k: 0 a: 1 b: 3
k: 1 a: 3 b: 1

k: 0 a: 1 b: 2
k: 0 a: 1 b: 3
k: 1 a: 3 b: 2

k: 0 a: 1 b: 2
k: 0 a: 2 b: 0
k: 0 a: 2 b: 1

k: 0 a: 1 b: 2
k: 0 a: 2 b: 0
k: 0 a: 2 b: 3

k: 0 a: 1 b: 2
k: 0 a: 2 b: 0
k: 0 a: 3 b: 0

k: 0 a: 1 b: 2
k: 0 a: 2 b: 0
k: 0 a: 3 b: 1

k: 0 a: 1 b: 2
k: 0 a: 2 b: 0
k: 0 a: 3 b: 2

k: 0 a: 1 b: 2
k: 0 a: 2 b: 0
k: 1 a: 0 b: 1

k: 0 a: 1 b: 2
k: 0 a: 2 b: 0
k: 1 a: 0 b: 2

k: 0 a: 1 b: 2
k: 0 a: 2 b: 0
k: 1 a: 0 b: 3

k: 0 a: 1 b: 2
k: 0 a: 2 b: 0
k: 1 a: 1 b: 0

k: 0 a: 1 b: 2
k: 0 a: 2 b: 0
k: 1 a: 1 b: 2

k: 0 a: 1 b: 2
k: 0 a: 2 b: 0
k: 1 a: 1 b: 3

k: 0 a: 1 b: 2
k: 0 a: 2 b: 0
k: 1 a: 2 b: 0

k: 0 a: 1 b: 2
k: 0 a: 2 b: 0
k: 1 a: 2 b: 1

k: 0 a: 1 b: 2
k: 0 a: 2 b: 0
k: 1 a: 2 b: 3

k: 0 a: 1 b: 2
k: 0 a: 2 b: 0
k: 1 a: 3 b: 0

k: 0 a: 1 b: 2
k: 0 a: 2 b: 0
k: 1 a: 3 b: 1

k: 0 a: 1 b: 2
k: 0 a: 2 b: 0
k: 1 a: 3 b: 2

k: 0 a: 1 b: 2
k: 0 a: 2 b: 1
k: 0 a: 2 b: 3

k: 0 a: 1 b: 2
k: 0 a: 2 b: 1
k: 0 a: 3 b: 0

k: 0 a: 1 b: 2
k: 0 a: 2 b: 1
k: 0 a: 3 b: 1

k: 0 a: 1 b: 2
k: 0 a: 2 b: 1
k: 0 a: 3 b: 2

k: 0 a: 1 b: 2
k: 0 a: 2 b: 1
k: 1 a: 0 b: 1

k: 0 a: 1 b: 2
k: 0 a: 2 b: 1
k: 1 a: 0 b: 2

k: 0 a: 1 b: 2
k: 0 a: 2 b: 1
k: 1 a: 0 b: 3

k: 0 a: 1 b: 2
k: 0 a: 2 b: 1
k: 1 a: 1 b: 0

k: 0 a: 1 b: 2
k: 0 a: 2 b: 1
k: 1 a: 1 b: 2

k: 0 a: 1 b: 2
k: 0 a: 2 b: 1
k: 1 a: 1 b: 3

k: 0 a: 1 b: 2
k: 0 a: 2 b: 1
k: 1 a: 2 b: 0

k: 0 a: 1 b: 2
k: 0 a: 2 b: 1
k: 1 a: 2 b: 1

k: 0 a: 1 b: 2
k: 0 a: 2 b: 1
k: 1 a: 2 b: 3

k: 0 a: 1 b: 2
k: 0 a: 2 b: 1
k: 1 a: 3 b: 0

k: 0 a: 1 b: 2
k: 0 a: 2 b: 1
k: 1 a: 3 b: 1

k: 0 a: 1 b: 2
k: 0 a: 2 b: 1
k: 1 a: 3 b: 2

k: 0 a: 1 b: 2
k: 0 a: 2 b: 3
k: 0 a: 3 b: 0

k: 0 a: 1 b: 2
k: 0 a: 2 b: 3
k: 0 a: 3 b: 1

k: 0 a: 1 b: 2
k: 0 a: 2 b: 3
k: 0 a: 3 b: 2

k: 0 a: 1 b: 2
k: 0 a: 2 b: 3
k: 1 a: 0 b: 1

k: 0 a: 1 b: 2
k: 0 a: 2 b: 3
k: 1 a: 0 b: 2

k: 0 a: 1 b: 2
k: 0 a: 2 b: 3
k: 1 a: 0 b: 3

k: 0 a: 1 b: 2
k: 0 a: 2 b: 3
k: 1 a: 1 b: 0

k: 0 a: 1 b: 2
k: 0 a: 2 b: 3
k: 1 a: 1 b: 2

k: 0 a: 1 b: 2
k: 0 a: 2 b: 3
k: 1 a: 1 b: 3

k: 0 a: 1 b: 2
k: 0 a: 2 b: 3
k: 1 a: 2 b: 0

k: 0 a: 1 b: 2
k: 0 a: 2 b: 3
k: 1 a: 2 b: 1

k: 0 a: 1 b: 2
k: 0 a: 2 b: 3
k: 1 a: 2 b: 3

k: 0 a: 1 b: 2
k: 0 a: 2 b: 3
k: 1 a: 3 b: 0

k: 0 a: 1 b: 2
k: 0 a: 2 b: 3
k: 1 a: 3 b: 1

k: 0 a: 1 b: 2
k: 0 a: 2 b: 3
k: 1 a: 3 b: 2

k: 0 a: 1 b: 2
k: 0 a: 3 b: 0
k: 0 a: 3 b: 1

k: 0 a: 1 b: 2
k: 0 a: 3 b: 0
k: 0 a: 3 b: 2

k: 0 a: 1 b: 2
k: 0 a: 3 b: 0
k: 1 a: 0 b: 1

k: 0 a: 1 b: 2
k: 0 a: 3 b: 0
k: 1 a: 0 b: 2

k: 0 a: 1 b: 2
k: 0 a: 3 b: 0
k: 1 a: 0 b: 3

k: 0 a: 1 b: 2
k: 0 a: 3 b: 0
k: 1 a: 1 b: 0

k: 0 a: 1 b: 2
k: 0 a: 3 b: 0
k: 1 a: 1 b: 2

k: 0 a: 1 b: 2
k: 0 a: 3 b: 0
k: 1 a: 1 b: 3

k: 0 a: 1 b: 2
k: 0 a: 3 b: 0
k: 1 a: 2 b: 0

k: 0 a: 1 b: 2
k: 0 a: 3 b: 0
k: 1 a: 2 b: 1

k: 0 a: 1 b: 2
k: 0 a: 3 b: 0
k: 1 a: 2 b: 3

k: 0 a: 1 b: 2
k: 0 a: 3 b: 0
k: 1 a: 3 b: 0

k: 0 a: 1 b: 2
k: 0 a: 3 b: 0
k: 1 a: 3 b: 1

k: 0 a: 1 b: 2
k: 0 a: 3 b: 0
k: 1 a: 3 b: 2

k: 0 a: 1 b: 2
k: 0 a: 3 b: 1
k: 0 a: 3 b: 2

k: 0 a: 1 b: 2
k: 0 a: 3 b: 1
k: 1 a: 0 b: 1

k: 0 a: 1 b: 2
k: 0 a: 3 b: 1
k: 1 a: 0 b: 2

k: 0 a: 1 b: 2
k: 0 a: 3 b: 1
k: 1 a: 0 b: 3

k: 0 a: 1 b: 2
k: 0 a: 3 b: 1
k: 1 a: 1 b: 0

k: 0 a: 1 b: 2
k: 0 a: 3 b: 1
k: 1 a: 1 b: 2

k: 0 a: 1 b: 2
k: 0 a: 3 b: 1
k: 1 a: 1 b: 3

k: 0 a: 1 b: 2
k: 0 a: 3 b: 1
k: 1 a: 2 b: 0

k: 0 a: 1 b: 2
k: 0 a: 3 b: 1
k: 1 a: 2 b: 1

k: 0 a: 1 b: 2
k: 0 a: 3 b: 1
k: 1 a: 2 b: 3

k: 0 a: 1 b: 2
k: 0 a: 3 b: 1
k: 1 a: 3 b: 0

k: 0 a: 1 b: 2
k: 0 a: 3 b: 1
k: 1 a: 3 b: 1

k: 0 a: 1 b: 2
k: 0 a: 3 b: 1
k: 1 a: 3 b: 2

k: 0 a: 1 b: 2
k: 0 a: 3 b: 2
k: 1 a: 0 b: 1

k: 0 a: 1 b: 2
k: 0 a: 3 b: 2
k: 1 a: 0 b: 2

k: 0 a: 1 b: 2
k: 0 a: 3 b: 2
k: 1 a: 0 b: 3

k: 0 a: 1 b: 2
k: 0 a: 3 b: 2
k: 1 a: 1 b: 0

k: 0 a: 1 b: 2
k: 0 a: 3 b: 2
k: 1 a: 1 b: 2

k: 0 a: 1 b: 2
k: 0 a: 3 b: 2
k: 1 a: 1 b: 3

k: 0 a: 1 b: 2
k: 0 a: 3 b: 2
k: 1 a: 2 b: 0

k: 0 a: 1 b: 2
k: 0 a: 3 b: 2
k: 1 a: 2 b: 1

k: 0 a: 1 b: 2
k: 0 a: 3 b: 2
k: 1 a: 2 b: 3

k: 0 a: 1 b: 2
k: 0 a: 3 b: 2
k: 1 a: 3 b: 0

k: 0 a: 1 b: 2
k: 0 a: 3 b: 2
k: 1 a: 3 b: 1

k: 0 a: 1 b: 2
k: 0 a: 3 b: 2
k: 1 a: 3 b: 2

k: 0 a: 1 b: 2
k: 1 a: 0 b: 1
k: 1 a: 0 b: 2

k: 0 a: 1 b: 2
k: 1 a: 0 b: 1
k: 1 a: 0 b: 3

k: 0 a: 1 b: 2
k: 1 a: 0 b: 1
k: 1 a: 1 b: 0

k: 0 a: 1 b: 2
k: 1 a: 0 b: 1
k: 1 a: 1 b: 2

k: 0 a: 1 b: 2
k: 1 a: 0 b: 1
k: 1 a: 1 b: 3

k: 0 a: 1 b: 2
k: 1 a: 0 b: 1
k: 1 a: 2 b: 0

k: 0 a: 1 b: 2
k: 1 a: 0 b: 1
k: 1 a: 2 b: 1

k: 0 a: 1 b: 2
k: 1 a: 0 b: 1
k: 1 a: 2 b: 3

k: 0 a: 1 b: 2
k: 1 a: 0 b: 1
k: 1 a: 3 b: 0

k: 0 a: 1 b: 2
k: 1 a: 0 b: 1
k: 1 a: 3 b: 1

k: 0 a: 1 b: 2
k: 1 a: 0 b: 1
k: 1 a: 3 b: 2

k: 0 a: 1 b: 2
k: 1 a: 0 b: 2
k: 1 a: 0 b: 3

k: 0 a: 1 b: 2
k: 1 a: 0 b: 2
k: 1 a: 1 b: 0

k: 0 a: 1 b: 2
k: 1 a: 0 b: 2
k: 1 a: 1 b: 2

k: 0 a: 1 b: 2
k: 1 a: 0 b: 2
k: 1 a: 1 b: 3

k: 0 a: 1 b: 2
k: 1 a: 0 b: 2
k: 1 a: 2 b: 0

k: 0 a: 1 b: 2
k: 1 a: 0 b: 2
k: 1 a: 2 b: 1

k: 0 a: 1 b: 2
k: 1 a: 0 b: 2
k: 1 a: 2 b: 3

k: 0 a: 1 b: 2
k: 1 a: 0 b: 2
k: 1 a: 3 b: 0

k: 0 a: 1 b: 2
k: 1 a: 0 b: 2
k: 1 a: 3 b: 1

k: 0 a: 1 b: 2
k: 1 a: 0 b: 2
k: 1 a: 3 b: 2

k: 0 a: 1 b: 2
k: 1 a: 0 b: 3
k: 1 a: 1 b: 0

k: 0 a: 1 b: 2
k: 1 a: 0 b: 3
k: 1 a: 1 b: 2

k: 0 a: 1 b: 2
k: 1 a: 0 b: 3
k: 1 a: 1 b: 3

k: 0 a: 1 b: 2
k: 1 a: 0 b: 3
k: 1 a: 2 b: 0

k: 0 a: 1 b: 2
k: 1 a: 0 b: 3
k: 1 a: 2 b: 1

k: 0 a: 1 b: 2
k: 1 a: 0 b: 3
k: 1 a: 2 b: 3

k: 0 a: 1 b: 2
k: 1 a: 0 b: 3
k: 1 a: 3 b: 0

k: 0 a: 1 b: 2
k: 1 a: 0 b: 3
k: 1 a: 3 b: 1

k: 0 a: 1 b: 2
k: 1 a: 0 b: 3
k: 1 a: 3 b: 2

k: 0 a: 1 b: 2
k: 1 a: 1 b: 0
k: 1 a: 1 b: 2

k: 0 a: 1 b: 2
k: 1 a: 1 b: 0
k: 1 a: 1 b: 3

k: 0 a: 1 b: 2
k: 1 a: 1 b: 0
k: 1 a: 2 b: 0

k: 0 a: 1 b: 2
k: 1 a: 1 b: 0
k: 1 a: 2 b: 1

k: 0 a: 1 b: 2
k: 1 a: 1 b: 0
k: 1 a: 2 b: 3

k: 0 a: 1 b: 2
k: 1 a: 1 b: 0
k: 1 a: 3 b: 0

k: 0 a: 1 b: 2
k: 1 a: 1 b: 0
k: 1 a: 3 b: 1

k: 0 a: 1 b: 2
k: 1 a: 1 b: 0
k: 1 a: 3 b: 2

k: 0 a: 1 b: 2
k: 1 a: 1 b: 2
k: 1 a: 1 b: 3

k: 0 a: 1 b: 2
k: 1 a: 1 b: 2
k: 1 a: 2 b: 0

k: 0 a: 1 b: 2
k: 1 a: 1 b: 2
k: 1 a: 2 b: 1

k: 0 a: 1 b: 2
k: 1 a: 1 b: 2
k: 1 a: 2 b: 3

k: 0 a: 1 b: 2
k: 1 a: 1 b: 2
k: 1 a: 3 b: 0

k: 0 a: 1 b: 2
k: 1 a: 1 b: 2
k: 1 a: 3 b: 1

k: 0 a: 1 b: 2
k: 1 a: 1 b: 2
k: 1 a: 3 b: 2

k: 0 a: 1 b: 2
k: 1 a: 1 b: 3
k: 1 a: 2 b: 0

k: 0 a: 1 b: 2
k: 1 a: 1 b: 3
k: 1 a: 2 b: 1

k: 0 a: 1 b: 2
k: 1 a: 1 b: 3
k: 1 a: 2 b: 3

k: 0 a: 1 b: 2
k: 1 a: 1 b: 3
k: 1 a: 3 b: 0

k: 0 a: 1 b: 2
k: 1 a: 1 b: 3
k: 1 a: 3 b: 1

k: 0 a: 1 b: 2
k: 1 a: 1 b: 3
k: 1 a: 3 b: 2

k: 0 a: 1 b: 2
k: 1 a: 2 b: 0
k: 1 a: 2 b: 1

k: 0 a: 1 b: 2
k: 1 a: 2 b: 0
k: 1 a: 2 b: 3

k: 0 a: 1 b: 2
k: 1 a: 2 b: 0
k: 1 a: 3 b: 0

k: 0 a: 1 b: 2
k: 1 a: 2 b: 0
k: 1 a: 3 b: 1

k: 0 a: 1 b: 2
k: 1 a: 2 b: 0
k: 1 a: 3 b: 2

k: 0 a: 1 b: 2
k: 1 a: 2 b: 1
k: 1 a: 2 b: 3

k: 0 a: 1 b: 2
k: 1 a: 2 b: 1
k: 1 a: 3 b: 0

k: 0 a: 1 b: 2
k: 1 a: 2 b: 1
k: 1 a: 3 b: 1

k: 0 a: 1 b: 2
k: 1 a: 2 b: 1
k: 1 a: 3 b: 2

k: 0 a: 1 b: 2
k: 1 a: 2 b: 3
k: 1 a: 3 b: 0

k: 0 a: 1 b: 2
k: 1 a: 2 b: 3
k: 1 a: 3 b: 1

k: 0 a: 1 b: 2
k: 1 a: 2 b: 3
k: 1 a: 3 b: 2

k: 0 a: 1 b: 2
k: 1 a: 3 b: 0
k: 1 a: 3 b: 1

k: 0 a: 1 b: 2
k: 1 a: 3 b: 0
k: 1 a: 3 b: 2

k: 0 a: 1 b: 2
k: 1 a: 3 b: 1
k: 1 a: 3 b: 2

k: 0 a: 1 b: 3
k: 0 a: 2 b: 0
k: 0 a: 2 b: 1

k: 0 a: 1 b: 3
k: 0 a: 2 b: 0
k: 0 a: 2 b: 3

k: 0 a: 1 b: 3
k: 0 a: 2 b: 0
k: 0 a: 3 b: 0

k: 0 a: 1 b: 3
k: 0 a: 2 b: 0
k: 0 a: 3 b: 1

k: 0 a: 1 b: 3
k: 0 a: 2 b: 0
k: 0 a: 3 b: 2

k: 0 a: 1 b: 3
k: 0 a: 2 b: 0
k: 1 a: 0 b: 1

k: 0 a: 1 b: 3
k: 0 a: 2 b: 0
k: 1 a: 0 b: 2

k: 0 a: 1 b: 3
k: 0 a: 2 b: 0
k: 1 a: 0 b: 3

k: 0 a: 1 b: 3
k: 0 a: 2 b: 0
k: 1 a: 1 b: 0

k: 0 a: 1 b: 3
k: 0 a: 2 b: 0
k: 1 a: 1 b: 2

k: 0 a: 1 b: 3
k: 0 a: 2 b: 0
k: 1 a: 1 b: 3

k: 0 a: 1 b: 3
k: 0 a: 2 b: 0
k: 1 a: 2 b: 0

k: 0 a: 1 b: 3
k: 0 a: 2 b: 0
k: 1 a: 2 b: 1

k: 0 a: 1 b: 3
k: 0 a: 2 b: 0
k: 1 a: 2 b: 3

k: 0 a: 1 b: 3
k: 0 a: 2 b: 0
k: 1 a: 3 b: 0

k: 0 a: 1 b: 3
k: 0 a: 2 b: 0
k: 1 a: 3 b: 1

k: 0 a: 1 b: 3
k: 0 a: 2 b: 0
k: 1 a: 3 b: 2

k: 0 a: 1 b: 3
k: 0 a: 2 b: 1
k: 0 a: 2 b: 3

k: 0 a: 1 b: 3
k: 0 a: 2 b: 1
k: 0 a: 3 b: 0

k: 0 a: 1 b: 3
k: 0 a: 2 b: 1
k: 0 a: 3 b: 1

k: 0 a: 1 b: 3
k: 0 a: 2 b: 1
k: 0 a: 3 b: 2

k: 0 a: 1 b: 3
k: 0 a: 2 b: 1
k: 1 a: 0 b: 1

k: 0 a: 1 b: 3
k: 0 a: 2 b: 1
k: 1 a: 0 b: 2

k: 0 a: 1 b: 3
k: 0 a: 2 b: 1
k: 1 a: 0 b: 3

k: 0 a: 1 b: 3
k: 0 a: 2 b: 1
k: 1 a: 1 b: 0

k: 0 a: 1 b: 3
k: 0 a: 2 b: 1
k: 1 a: 1 b: 2

k: 0 a: 1 b: 3
k: 0 a: 2 b: 1
k: 1 a: 1 b: 3

k: 0 a: 1 b: 3
k: 0 a: 2 b: 1
k: 1 a: 2 b: 0

k: 0 a: 1 b: 3
k: 0 a: 2 b: 1
k: 1 a: 2 b: 1

k: 0 a: 1 b: 3
k: 0 a: 2 b: 1
k: 1 a: 2 b: 3

k: 0 a: 1 b: 3
k: 0 a: 2 b: 1
k: 1 a: 3 b: 0

k: 0 a: 1 b: 3
k: 0 a: 2 b: 1
k: 1 a: 3 b: 1

k: 0 a: 1 b: 3
k: 0 a: 2 b: 1
k: 1 a: 3 b: 2

k: 0 a: 1 b: 3
k: 0 a: 2 b: 3
k: 0 a: 3 b: 0

k: 0 a: 1 b: 3
k: 0 a: 2 b: 3
k: 0 a: 3 b: 1

k: 0 a: 1 b: 3
k: 0 a: 2 b: 3
k: 0 a: 3 b: 2

k: 0 a: 1 b: 3
k: 0 a: 2 b: 3
k: 1 a: 0 b: 1

k: 0 a: 1 b: 3
k: 0 a: 2 b: 3
k: 1 a: 0 b: 2

k: 0 a: 1 b: 3
k: 0 a: 2 b: 3
k: 1 a: 0 b: 3

k: 0 a: 1 b: 3
k: 0 a: 2 b: 3
k: 1 a: 1 b: 0

k: 0 a: 1 b: 3
k: 0 a: 2 b: 3
k: 1 a: 1 b: 2

k: 0 a: 1 b: 3
k: 0 a: 2 b: 3
k: 1 a: 1 b: 3

k: 0 a: 1 b: 3
k: 0 a: 2 b: 3
k: 1 a: 2 b: 0

k: 0 a: 1 b: 3
k: 0 a: 2 b: 3
k: 1 a: 2 b: 1

k: 0 a: 1 b: 3
k: 0 a: 2 b: 3
k: 1 a: 2 b: 3

k: 0 a: 1 b: 3
k: 0 a: 2 b: 3
k: 1 a: 3 b: 0

k: 0 a: 1 b: 3
k: 0 a: 2 b: 3
k: 1 a: 3 b: 1

k: 0 a: 1 b: 3
k: 0 a: 2 b: 3
k: 1 a: 3 b: 2

k: 0 a: 1 b: 3
k: 0 a: 3 b: 0
k: 0 a: 3 b: 1

k: 0 a: 1 b: 3
k: 0 a: 3 b: 0
k: 0 a: 3 b: 2

k: 0 a: 1 b: 3
k: 0 a: 3 b: 0
k: 1 a: 0 b: 1

k: 0 a: 1 b: 3
k: 0 a: 3 b: 0
k: 1 a: 0 b: 2

k: 0 a: 1 b: 3
k: 0 a: 3 b: 0
k: 1 a: 0 b: 3

k: 0 a: 1 b: 3
k: 0 a: 3 b: 0
k: 1 a: 1 b: 0

k: 0 a: 1 b: 3
k: 0 a: 3 b: 0
k: 1 a: 1 b: 2

k: 0 a: 1 b: 3
k: 0 a: 3 b: 0
k: 1 a: 1 b: 3

k: 0 a: 1 b: 3
k: 0 a: 3 b: 0
k: 1 a: 2 b: 0

k: 0 a: 1 b: 3
k: 0 a: 3 b: 0
k: 1 a: 2 b: 1

k: 0 a: 1 b: 3
k: 0 a: 3 b: 0
k: 1 a: 2 b: 3

k: 0 a: 1 b: 3
k: 0 a: 3 b: 0
k: 1 a: 3 b: 0

k: 0 a: 1 b: 3
k: 0 a: 3 b: 0
k: 1 a: 3 b: 1

k: 0 a: 1 b: 3
k: 0 a: 3 b: 0
k: 1 a: 3 b: 2

k: 0 a: 1 b: 3
k: 0 a: 3 b: 1
k: 0 a: 3 b: 2

k: 0 a: 1 b: 3
k: 0 a: 3 b: 1
k: 1 a: 0 b: 1

k: 0 a: 1 b: 3
k: 0 a: 3 b: 1
k: 1 a: 0 b: 2

k: 0 a: 1 b: 3
k: 0 a: 3 b: 1
k: 1 a: 0 b: 3

k: 0 a: 1 b: 3
k: 0 a: 3 b: 1
k: 1 a: 1 b: 0

k: 0 a: 1 b: 3
k: 0 a: 3 b: 1
k: 1 a: 1 b: 2

k: 0 a: 1 b: 3
k: 0 a: 3 b: 1
k: 1 a: 1 b: 3

k: 0 a: 1 b: 3
k: 0 a: 3 b: 1
k: 1 a: 2 b: 0

k: 0 a: 1 b: 3
k: 0 a: 3 b: 1
k: 1 a: 2 b: 1

k: 0 a: 1 b: 3
k: 0 a: 3 b: 1
k: 1 a: 2 b: 3

k: 0 a: 1 b: 3
k: 0 a: 3 b: 1
k: 1 a: 3 b: 0

k: 0 a: 1 b: 3
k: 0 a: 3 b: 1
k: 1 a: 3 b: 1

k: 0 a: 1 b: 3
k: 0 a: 3 b: 1
k: 1 a: 3 b: 2

k: 0 a: 1 b: 3
k: 0 a: 3 b: 2
k: 1 a: 0 b: 1

k: 0 a: 1 b: 3
k: 0 a: 3 b: 2
k: 1 a: 0 b: 2

k: 0 a: 1 b: 3
k: 0 a: 3 b: 2
k: 1 a: 0 b: 3

k: 0 a: 1 b: 3
k: 0 a: 3 b: 2
k: 1 a: 1 b: 0

k: 0 a: 1 b: 3
k: 0 a: 3 b: 2
k: 1 a: 1 b: 2

k: 0 a: 1 b: 3
k: 0 a: 3 b: 2
k: 1 a: 1 b: 3

k: 0 a: 1 b: 3
k: 0 a: 3 b: 2
k: 1 a: 2 b: 0

k: 0 a: 1 b: 3
k: 0 a: 3 b: 2
k: 1 a: 2 b: 1

k: 0 a: 1 b: 3
k: 0 a: 3 b: 2
k: 1 a: 2 b: 3

k: 0 a: 1 b: 3
k: 0 a: 3 b: 2
k: 1 a: 3 b: 0

k: 0 a: 1 b: 3
k: 0 a: 3 b: 2
k: 1 a: 3 b: 1

k: 0 a: 1 b: 3
k: 0 a: 3 b: 2
k: 1 a: 3 b: 2

k: 0 a: 1 b: 3
k: 1 a: 0 b: 1
k: 1 a: 0 b: 2

k: 0 a: 1 b: 3
k: 1 a: 0 b: 1
k: 1 a: 0 b: 3

k: 0 a: 1 b: 3
k: 1 a: 0 b: 1
k: 1 a: 1 b: 0

k: 0 a: 1 b: 3
k: 1 a: 0 b: 1
k: 1 a: 1 b: 2

k: 0 a: 1 b: 3
k: 1 a: 0 b: 1
k: 1 a: 1 b: 3

k: 0 a: 1 b: 3
k: 1 a: 0 b: 1
k: 1 a: 2 b: 0

k: 0 a: 1 b: 3
k: 1 a: 0 b: 1
k: 1 a: 2 b: 1

k: 0 a: 1 b: 3
k: 1 a: 0 b: 1
k: 1 a: 2 b: 3

k: 0 a: 1 b: 3
k: 1 a: 0 b: 1
k: 1 a: 3 b: 0

k: 0 a: 1 b: 3
k: 1 a: 0 b: 1
k: 1 a: 3 b: 1

k: 0 a: 1 b: 3
k: 1 a: 0 b: 1
k: 1 a: 3 b: 2

k: 0 a: 1 b: 3
k: 1 a: 0 b: 2
k: 1 a: 0 b: 3

k: 0 a: 1 b: 3
k: 1 a: 0 b: 2
k: 1 a: 1 b: 0

k: 0 a: 1 b: 3
k: 1 a: 0 b: 2
k: 1 a: 1 b: 2

k: 0 a: 1 b: 3
k: 1 a: 0 b: 2
k: 1 a: 1 b: 3

k: 0 a: 1 b: 3
k: 1 a: 0 b: 2
k: 1 a: 2 b: 0

k: 0 a: 1 b: 3
k: 1 a: 0 b: 2
k: 1 a: 2 b: 1

k: 0 a: 1 b: 3
k: 1 a: 0 b: 2
k: 1 a: 2 b: 3

k: 0 a: 1 b: 3
k: 1 a: 0 b: 2
k: 1 a: 3 b: 0

k: 0 a: 1 b: 3
k: 1 a: 0 b: 2
k: 1 a: 3 b: 1

k: 0 a: 1 b: 3
k: 1 a: 0 b: 2
k: 1 a: 3 b: 2

k: 0 a: 1 b: 3
k: 1 a: 0 b: 3
k: 1 a: 1 b: 0

k: 0 a: 1 b: 3
k: 1 a: 0 b: 3
k: 1 a: 1 b: 2

k: 0 a: 1 b: 3
k: 1 a: 0 b: 3
k: 1 a: 1 b: 3

k: 0 a: 1 b: 3
k: 1 a: 0 b: 3
k: 1 a: 2 b: 0

k: 0 a: 1 b: 3
k: 1 a: 0 b: 3
k: 1 a: 2 b: 1

k: 0 a: 1 b: 3
k: 1 a: 0 b: 3
k: 1 a: 2 b: 3

k: 0 a: 1 b: 3
k: 1 a: 0 b: 3
k: 1 a: 3 b: 0

k: 0 a: 1 b: 3
k: 1 a: 0 b: 3
k: 1 a: 3 b: 1

k: 0 a: 1 b: 3
k: 1 a: 0 b: 3
k: 1 a: 3 b: 2

k: 0 a: 1 b: 3
k: 1 a: 1 b: 0
k: 1 a: 1 b: 2

k: 0 a: 1 b: 3
k: 1 a: 1 b: 0
k: 1 a: 1 b: 3

k: 0 a: 1 b: 3
k: 1 a: 1 b: 0
k: 1 a: 2 b: 0

k: 0 a: 1 b: 3
k: 1 a: 1 b: 0
k: 1 a: 2 b: 1

k: 0 a: 1 b: 3
k: 1 a: 1 b: 0
k: 1 a: 2 b: 3

k: 0 a: 1 b: 3
k: 1 a: 1 b: 0
k: 1 a: 3 b: 0

k: 0 a: 1 b: 3
k: 1 a: 1 b: 0
k: 1 a: 3 b: 1

k: 0 a: 1 b: 3
k: 1 a: 1 b: 0
k: 1 a: 3 b: 2

k: 0 a: 1 b: 3
k: 1 a: 1 b: 2
k: 1 a: 1 b: 3

k: 0 a: 1 b: 3
k: 1 a: 1 b: 2
k: 1 a: 2 b: 0

k: 0 a: 1 b: 3
k: 1 a: 1 b: 2
k: 1 a: 2 b: 1

k: 0 a: 1 b: 3
k: 1 a: 1 b: 2
k: 1 a: 2 b: 3

k: 0 a: 1 b: 3
k: 1 a: 1 b: 2
k: 1 a: 3 b: 0

k: 0 a: 1 b: 3
k: 1 a: 1 b: 2
k: 1 a: 3 b: 1

k: 0 a: 1 b: 3
k: 1 a: 1 b: 2
k: 1 a: 3 b: 2

k: 0 a: 1 b: 3
k: 1 a: 1 b: 3
k: 1 a: 2 b: 0

k: 0 a: 1 b: 3
k: 1 a: 1 b: 3
k: 1 a: 2 b: 1

k: 0 a: 1 b: 3
k: 1 a: 1 b: 3
k: 1 a: 2 b: 3

k: 0 a: 1 b: 3
k: 1 a: 1 b: 3
k: 1 a: 3 b: 0

k: 0 a: 1 b: 3
k: 1 a: 1 b: 3
k: 1 a: 3 b: 1

k: 0 a: 1 b: 3
k: 1 a: 1 b: 3
k: 1 a: 3 b: 2

k: 0 a: 1 b: 3
k: 1 a: 2 b: 0
k: 1 a: 2 b: 1

k: 0 a: 1 b: 3
k: 1 a: 2 b: 0
k: 1 a: 2 b: 3

k: 0 a: 1 b: 3
k: 1 a: 2 b: 0
k: 1 a: 3 b: 0

k: 0 a: 1 b: 3
k: 1 a: 2 b: 0
k: 1 a: 3 b: 1

k: 0 a: 1 b: 3
k: 1 a: 2 b: 0
k: 1 a: 3 b: 2

k: 0 a: 1 b: 3
k: 1 a: 2 b: 1
k: 1 a: 2 b: 3

k: 0 a: 1 b: 3
k: 1 a: 2 b: 1
k: 1 a: 3 b: 0

k: 0 a: 1 b: 3
k: 1 a: 2 b: 1
k: 1 a: 3 b: 1

k: 0 a: 1 b: 3
k: 1 a: 2 b: 1
k: 1 a: 3 b: 2

k: 0 a: 1 b: 3
k: 1 a: 2 b: 3
k: 1 a: 3 b: 0

k: 0 a: 1 b: 3
k: 1 a: 2 b: 3
k: 1 a: 3 b: 1

k: 0 a: 1 b: 3
k: 1 a: 2 b: 3
k: 1 a: 3 b: 2

k: 0 a: 1 b: 3
k: 1 a: 3 b: 0
k: 1 a: 3 b: 1

k: 0 a: 1 b: 3
k: 1 a: 3 b: 0
k: 1 a: 3 b: 2

k: 0 a: 1 b: 3
k: 1 a: 3 b: 1
k: 1 a: 3 b: 2

k: 0 a: 2 b: 0
k: 0 a: 2 b: 1
k: 0 a: 2 b: 3

k: 0 a: 2 b: 0
k: 0 a: 2 b: 1
k: 0 a: 3 b: 0

k: 0 a: 2 b: 0
k: 0 a: 2 b: 1
k: 0 a: 3 b: 1

k: 0 a: 2 b: 0
k: 0 a: 2 b: 1
k: 0 a: 3 b: 2

k: 0 a: 2 b: 0
k: 0 a: 2 b: 1
k: 1 a: 0 b: 1

k: 0 a: 2 b: 0
k: 0 a: 2 b: 1
k: 1 a: 0 b: 2

k: 0 a: 2 b: 0
k: 0 a: 2 b: 1
k: 1 a: 0 b: 3

k: 0 a: 2 b: 0
k: 0 a: 2 b: 1
k: 1 a: 1 b: 0

k: 0 a: 2 b: 0
k: 0 a: 2 b: 1
k: 1 a: 1 b: 2

k: 0 a: 2 b: 0
k: 0 a: 2 b: 1
k: 1 a: 1 b: 3

k: 0 a: 2 b: 0
k: 0 a: 2 b: 1
k: 1 a: 2 b: 0

k: 0 a: 2 b: 0
k: 0 a: 2 b: 1
k: 1 a: 2 b: 1

k: 0 a: 2 b: 0
k: 0 a: 2 b: 1
k: 1 a: 2 b: 3

k: 0 a: 2 b: 0
k: 0 a: 2 b: 1
k: 1 a: 3 b: 0

k: 0 a: 2 b: 0
k: 0 a: 2 b: 1
k: 1 a: 3 b: 1

k: 0 a: 2 b: 0
k: 0 a: 2 b: 1
k: 1 a: 3 b: 2

k: 0 a: 2 b: 0
k: 0 a: 2 b: 3
k: 0 a: 3 b: 0

k: 0 a: 2 b: 0
k: 0 a: 2 b: 3
k: 0 a: 3 b: 1

k: 0 a: 2 b: 0
k: 0 a: 2 b: 3
k: 0 a: 3 b: 2

k: 0 a: 2 b: 0
k: 0 a: 2 b: 3
k: 1 a: 0 b: 1

k: 0 a: 2 b: 0
k: 0 a: 2 b: 3
k: 1 a: 0 b: 2

k: 0 a: 2 b: 0
k: 0 a: 2 b: 3
k: 1 a: 0 b: 3

k: 0 a: 2 b: 0
k: 0 a: 2 b: 3
k: 1 a: 1 b: 0

k: 0 a: 2 b: 0
k: 0 a: 2 b: 3
k: 1 a: 1 b: 2

k: 0 a: 2 b: 0
k: 0 a: 2 b: 3
k: 1 a: 1 b: 3

k: 0 a: 2 b: 0
k: 0 a: 2 b: 3
k: 1 a: 2 b: 0

k: 0 a: 2 b: 0
k: 0 a: 2 b: 3
k: 1 a: 2 b: 1

k: 0 a: 2 b: 0
k: 0 a: 2 b: 3
k: 1 a: 2 b: 3

k: 0 a: 2 b: 0
k: 0 a: 2 b: 3
k: 1 a: 3 b: 0

k: 0 a: 2 b: 0
k: 0 a: 2 b: 3
k: 1 a: 3 b: 1

k: 0 a: 2 b: 0
k: 0 a: 2 b: 3
k: 1 a: 3 b: 2

k: 0 a: 2 b: 0
k: 0 a: 3 b: 0
k: 0 a: 3 b: 1

k: 0 a: 2 b: 0
k: 0 a: 3 b: 0
k: 0 a: 3 b: 2

k: 0 a: 2 b: 0
k: 0 a: 3 b: 0
k: 1 a: 0 b: 1

k: 0 a: 2 b: 0
k: 0 a: 3 b: 0
k: 1 a: 0 b: 2

k: 0 a: 2 b: 0
k: 0 a: 3 b: 0
k: 1 a: 0 b: 3

k: 0 a: 2 b: 0
k: 0 a: 3 b: 0
k: 1 a: 1 b: 0

k: 0 a: 2 b: 0
k: 0 a: 3 b: 0
k: 1 a: 1 b: 2

k: 0 a: 2 b: 0
k: 0 a: 3 b: 0
k: 1 a: 1 b: 3

k: 0 a: 2 b: 0
k: 0 a: 3 b: 0
k: 1 a: 2 b: 0

k: 0 a: 2 b: 0
k: 0 a: 3 b: 0
k: 1 a: 2 b: 1

k: 0 a: 2 b: 0
k: 0 a: 3 b: 0
k: 1 a: 2 b: 3

k: 0 a: 2 b: 0
k: 0 a: 3 b: 0
k: 1 a: 3 b: 0

k: 0 a: 2 b: 0
k: 0 a: 3 b: 0
k: 1 a: 3 b: 1

k: 0 a: 2 b: 0
k: 0 a: 3 b: 0
k: 1 a: 3 b: 2

k: 0 a: 2 b: 0
k: 0 a: 3 b: 1
k: 0 a: 3 b: 2

k: 0 a: 2 b: 0
k: 0 a: 3 b: 1
k: 1 a: 0 b: 1

k: 0 a: 2 b: 0
k: 0 a: 3 b: 1
k: 1 a: 0 b: 2

k: 0 a: 2 b: 0
k: 0 a: 3 b: 1
k: 1 a: 0 b: 3

k: 0 a: 2 b: 0
k: 0 a: 3 b: 1
k: 1 a: 1 b: 0

k: 0 a: 2 b: 0
k: 0 a: 3 b: 1
k: 1 a: 1 b: 2

k: 0 a: 2 b: 0
k: 0 a: 3 b: 1
k: 1 a: 1 b: 3

k: 0 a: 2 b: 0
k: 0 a: 3 b: 1
k: 1 a: 2 b: 0

k: 0 a: 2 b: 0
k: 0 a: 3 b: 1
k: 1 a: 2 b: 1

k: 0 a: 2 b: 0
k: 0 a: 3 b: 1
k: 1 a: 2 b: 3

k: 0 a: 2 b: 0
k: 0 a: 3 b: 1
k: 1 a: 3 b: 0

k: 0 a: 2 b: 0
k: 0 a: 3 b: 1
k: 1 a: 3 b: 1

k: 0 a: 2 b: 0
k: 0 a: 3 b: 1
k: 1 a: 3 b: 2

k: 0 a: 2 b: 0
k: 0 a: 3 b: 2
k: 1 a: 0 b: 1

k: 0 a: 2 b: 0
k: 0 a: 3 b: 2
k: 1 a: 0 b: 2

k: 0 a: 2 b: 0
k: 0 a: 3 b: 2
k: 1 a: 0 b: 3

k: 0 a: 2 b: 0
k: 0 a: 3 b: 2
k: 1 a: 1 b: 0

k: 0 a: 2 b: 0
k: 0 a: 3 b: 2
k: 1 a: 1 b: 2

k: 0 a: 2 b: 0
k: 0 a: 3 b: 2
k: 1 a: 1 b: 3

k: 0 a: 2 b: 0
k: 0 a: 3 b: 2
k: 1 a: 2 b: 0

k: 0 a: 2 b: 0
k: 0 a: 3 b: 2
k: 1 a: 2 b: 1

k: 0 a: 2 b: 0
k: 0 a: 3 b: 2
k: 1 a: 2 b: 3

k: 0 a: 2 b: 0
k: 0 a: 3 b: 2
k: 1 a: 3 b: 0

k: 0 a: 2 b: 0
k: 0 a: 3 b: 2
k: 1 a: 3 b: 1

k: 0 a: 2 b: 0
k: 0 a: 3 b: 2
k: 1 a: 3 b: 2

k: 0 a: 2 b: 0
k: 1 a: 0 b: 1
k: 1 a: 0 b: 2

k: 0 a: 2 b: 0
k: 1 a: 0 b: 1
k: 1 a: 0 b: 3

k: 0 a: 2 b: 0
k: 1 a: 0 b: 1
k: 1 a: 1 b: 0

k: 0 a: 2 b: 0
k: 1 a: 0 b: 1
k: 1 a: 1 b: 2

k: 0 a: 2 b: 0
k: 1 a: 0 b: 1
k: 1 a: 1 b: 3

k: 0 a: 2 b: 0
k: 1 a: 0 b: 1
k: 1 a: 2 b: 0

k: 0 a: 2 b: 0
k: 1 a: 0 b: 1
k: 1 a: 2 b: 1

k: 0 a: 2 b: 0
k: 1 a: 0 b: 1
k: 1 a: 2 b: 3

k: 0 a: 2 b: 0
k: 1 a: 0 b: 1
k: 1 a: 3 b: 0

k: 0 a: 2 b: 0
k: 1 a: 0 b: 1
k: 1 a: 3 b: 1

k: 0 a: 2 b: 0
k: 1 a: 0 b: 1
k: 1 a: 3 b: 2

k: 0 a: 2 b: 0
k: 1 a: 0 b: 2
k: 1 a: 0 b: 3

k: 0 a: 2 b: 0
k: 1 a: 0 b: 2
k: 1 a: 1 b: 0

k: 0 a: 2 b: 0
k: 1 a: 0 b: 2
k: 1 a: 1 b: 2

k: 0 a: 2 b: 0
k: 1 a: 0 b: 2
k: 1 a: 1 b: 3

k: 0 a: 2 b: 0
k: 1 a: 0 b: 2
k: 1 a: 2 b: 0

k: 0 a: 2 b: 0
k: 1 a: 0 b: 2
k: 1 a: 2 b: 1

k: 0 a: 2 b: 0
k: 1 a: 0 b: 2
k: 1 a: 2 b: 3

k: 0 a: 2 b: 0
k: 1 a: 0 b: 2
k: 1 a: 3 b: 0

k: 0 a: 2 b: 0
k: 1 a: 0 b: 2
k: 1 a: 3 b: 1

k: 0 a: 2 b: 0
k: 1 a: 0 b: 2
k: 1 a: 3 b: 2

k: 0 a: 2 b: 0
k: 1 a: 0 b: 3
k: 1 a: 1 b: 0

k: 0 a: 2 b: 0
k: 1 a: 0 b: 3
k: 1 a: 1 b: 2

k: 0 a: 2 b: 0
k: 1 a: 0 b: 3
k: 1 a: 1 b: 3

k: 0 a: 2 b: 0
k: 1 a: 0 b: 3
k: 1 a: 2 b: 0

k: 0 a: 2 b: 0
k: 1 a: 0 b: 3
k: 1 a: 2 b: 1

k: 0 a: 2 b: 0
k: 1 a: 0 b: 3
k: 1 a: 2 b: 3

k: 0 a: 2 b: 0
k: 1 a: 0 b: 3
k: 1 a: 3 b: 0

k: 0 a: 2 b: 0
k: 1 a: 0 b: 3
k: 1 a: 3 b: 1

k: 0 a: 2 b: 0
k: 1 a: 0 b: 3
k: 1 a: 3 b: 2

k: 0 a: 2 b: 0
k: 1 a: 1 b: 0
k: 1 a: 1 b: 2

k: 0 a: 2 b: 0
k: 1 a: 1 b: 0
k: 1 a: 1 b: 3

k: 0 a: 2 b: 0
k: 1 a: 1 b: 0
k: 1 a: 2 b: 0

k: 0 a: 2 b: 0
k: 1 a: 1 b: 0
k: 1 a: 2 b: 1

k: 0 a: 2 b: 0
k: 1 a: 1 b: 0
k: 1 a: 2 b: 3

k: 0 a: 2 b: 0
k: 1 a: 1 b: 0
k: 1 a: 3 b: 0

k: 0 a: 2 b: 0
k: 1 a: 1 b: 0
k: 1 a: 3 b: 1

k: 0 a: 2 b: 0
k: 1 a: 1 b: 0
k: 1 a: 3 b: 2

k: 0 a: 2 b: 0
k: 1 a: 1 b: 2
k: 1 a: 1 b: 3

k: 0 a: 2 b: 0
k: 1 a: 1 b: 2
k: 1 a: 2 b: 0

k: 0 a: 2 b: 0
k: 1 a: 1 b: 2
k: 1 a: 2 b: 1

k: 0 a: 2 b: 0
k: 1 a: 1 b: 2
k: 1 a: 2 b: 3

k: 0 a: 2 b: 0
k: 1 a: 1 b: 2
k: 1 a: 3 b: 0

k: 0 a: 2 b: 0
k: 1 a: 1 b: 2
k: 1 a: 3 b: 1

k: 0 a: 2 b: 0
k: 1 a: 1 b: 2
k: 1 a: 3 b: 2

k: 0 a: 2 b: 0
k: 1 a: 1 b: 3
k: 1 a: 2 b: 0

k: 0 a: 2 b: 0
k: 1 a: 1 b: 3
k: 1 a: 2 b: 1

k: 0 a: 2 b: 0
k: 1 a: 1 b: 3
k: 1 a: 2 b: 3

k: 0 a: 2 b: 0
k: 1 a: 1 b: 3
k: 1 a: 3 b: 0

k: 0 a: 2 b: 0
k: 1 a: 1 b: 3
k: 1 a: 3 b: 1

k: 0 a: 2 b: 0
k: 1 a: 1 b: 3
k: 1 a: 3 b: 2

k: 0 a: 2 b: 0
k: 1 a: 2 b: 0
k: 1 a: 2 b: 1

k: 0 a: 2 b: 0
k: 1 a: 2 b: 0
k: 1 a: 2 b: 3

k: 0 a: 2 b: 0
k: 1 a: 2 b: 0
k: 1 a: 3 b: 0

k: 0 a: 2 b: 0
k: 1 a: 2 b: 0
k: 1 a: 3 b: 1

k: 0 a: 2 b: 0
k: 1 a: 2 b: 0
k: 1 a: 3 b: 2

k: 0 a: 2 b: 0
k: 1 a: 2 b: 1
k: 1 a: 2 b: 3

k: 0 a: 2 b: 0
k: 1 a: 2 b: 1
k: 1 a: 3 b: 0

k: 0 a: 2 b: 0
k: 1 a: 2 b: 1
k: 1 a: 3 b: 1

k: 0 a: 2 b: 0
k: 1 a: 2 b: 1
k: 1 a: 3 b: 2

k: 0 a: 2 b: 0
k: 1 a: 2 b: 3
k: 1 a: 3 b: 0

k: 0 a: 2 b: 0
k: 1 a: 2 b: 3
k: 1 a: 3 b: 1

k: 0 a: 2 b: 0
k: 1 a: 2 b: 3
k: 1 a: 3 b: 2

k: 0 a: 2 b: 0
k: 1 a: 3 b: 0
k: 1 a: 3 b: 1

k: 0 a: 2 b: 0
k: 1 a: 3 b: 0
k: 1 a: 3 b: 2

k: 0 a: 2 b: 0
k: 1 a: 3 b: 1
k: 1 a: 3 b: 2

k: 0 a: 2 b: 1
k: 0 a: 2 b: 3
k: 0 a: 3 b: 0

k: 0 a: 2 b: 1
k: 0 a: 2 b: 3
k: 0 a: 3 b: 1

k: 0 a: 2 b: 1
k: 0 a: 2 b: 3
k: 0 a: 3 b: 2

k: 0 a: 2 b: 1
k: 0 a: 2 b: 3
k: 1 a: 0 b: 1

k: 0 a: 2 b: 1
k: 0 a: 2 b: 3
k: 1 a: 0 b: 2

k: 0 a: 2 b: 1
k: 0 a: 2 b: 3
k: 1 a: 0 b: 3

k: 0 a: 2 b: 1
k: 0 a: 2 b: 3
k: 1 a: 1 b: 0

k: 0 a: 2 b: 1
k: 0 a: 2 b: 3
k: 1 a: 1 b: 2

k: 0 a: 2 b: 1
k: 0 a: 2 b: 3
k: 1 a: 1 b: 3

k: 0 a: 2 b: 1
k: 0 a: 2 b: 3
k: 1 a: 2 b: 0

k: 0 a: 2 b: 1
k: 0 a: 2 b: 3
k: 1 a: 2 b: 1

k: 0 a: 2 b: 1
k: 0 a: 2 b: 3
k: 1 a: 2 b: 3

k: 0 a: 2 b: 1
k: 0 a: 2 b: 3
k: 1 a: 3 b: 0

k: 0 a: 2 b: 1
k: 0 a: 2 b: 3
k: 1 a: 3 b: 1

k: 0 a: 2 b: 1
k: 0 a: 2 b: 3
k: 1 a: 3 b: 2

k: 0 a: 2 b: 1
k: 0 a: 3 b: 0
k: 0 a: 3 b: 1

k: 0 a: 2 b: 1
k: 0 a: 3 b: 0
k: 0 a: 3 b: 2

k: 0 a: 2 b: 1
k: 0 a: 3 b: 0
k: 1 a: 0 b: 1

k: 0 a: 2 b: 1
k: 0 a: 3 b: 0
k: 1 a: 0 b: 2

k: 0 a: 2 b: 1
k: 0 a: 3 b: 0
k: 1 a: 0 b: 3

k: 0 a: 2 b: 1
k: 0 a: 3 b: 0
k: 1 a: 1 b: 0

k: 0 a: 2 b: 1
k: 0 a: 3 b: 0
k: 1 a: 1 b: 2

k: 0 a: 2 b: 1
k: 0 a: 3 b: 0
k: 1 a: 1 b: 3

k: 0 a: 2 b: 1
k: 0 a: 3 b: 0
k: 1 a: 2 b: 0

k: 0 a: 2 b: 1
k: 0 a: 3 b: 0
k: 1 a: 2 b: 1

k: 0 a: 2 b: 1
k: 0 a: 3 b: 0
k: 1 a: 2 b: 3

k: 0 a: 2 b: 1
k: 0 a: 3 b: 0
k: 1 a: 3 b: 0

k: 0 a: 2 b: 1
k: 0 a: 3 b: 0
k: 1 a: 3 b: 1

k: 0 a: 2 b: 1
k: 0 a: 3 b: 0
k: 1 a: 3 b: 2

k: 0 a: 2 b: 1
k: 0 a: 3 b: 1
k: 0 a: 3 b: 2

k: 0 a: 2 b: 1
k: 0 a: 3 b: 1
k: 1 a: 0 b: 1

k: 0 a: 2 b: 1
k: 0 a: 3 b: 1
k: 1 a: 0 b: 2

k: 0 a: 2 b: 1
k: 0 a: 3 b: 1
k: 1 a: 0 b: 3

k: 0 a: 2 b: 1
k: 0 a: 3 b: 1
k: 1 a: 1 b: 0

k: 0 a: 2 b: 1
k: 0 a: 3 b: 1
k: 1 a: 1 b: 2

k: 0 a: 2 b: 1
k: 0 a: 3 b: 1
k: 1 a: 1 b: 3

k: 0 a: 2 b: 1
k: 0 a: 3 b: 1
k: 1 a: 2 b: 0

k: 0 a: 2 b: 1
k: 0 a: 3 b: 1
k: 1 a: 2 b: 1

k: 0 a: 2 b: 1
k: 0 a: 3 b: 1
k: 1 a: 2 b: 3

k: 0 a: 2 b: 1
k: 0 a: 3 b: 1
k: 1 a: 3 b: 0

k: 0 a: 2 b: 1
k: 0 a: 3 b: 1
k: 1 a: 3 b: 1

k: 0 a: 2 b: 1
k: 0 a: 3 b: 1
k: 1 a: 3 b: 2

k: 0 a: 2 b: 1
k: 0 a: 3 b: 2
k: 1 a: 0 b: 1

k: 0 a: 2 b: 1
k: 0 a: 3 b: 2
k: 1 a: 0 b: 2

k: 0 a: 2 b: 1
k: 0 a: 3 b: 2
k: 1 a: 0 b: 3

k: 0 a: 2 b: 1
k: 0 a: 3 b: 2
k: 1 a: 1 b: 0

k: 0 a: 2 b: 1
k: 0 a: 3 b: 2
k: 1 a: 1 b: 2

k: 0 a: 2 b: 1
k: 0 a: 3 b: 2
k: 1 a: 1 b: 3

k: 0 a: 2 b: 1
k: 0 a: 3 b: 2
k: 1 a: 2 b: 0

k: 0 a: 2 b: 1
k: 0 a: 3 b: 2
k: 1 a: 2 b: 1

k: 0 a: 2 b: 1
k: 0 a: 3 b: 2
k: 1 a: 2 b: 3

k: 0 a: 2 b: 1
k: 0 a: 3 b: 2
k: 1 a: 3 b: 0

k: 0 a: 2 b: 1
k: 0 a: 3 b: 2
k: 1 a: 3 b: 1

k: 0 a: 2 b: 1
k: 0 a: 3 b: 2
k: 1 a: 3 b: 2

k: 0 a: 2 b: 1
k: 1 a: 0 b: 1
k: 1 a: 0 b: 2

k: 0 a: 2 b: 1
k: 1 a: 0 b: 1
k: 1 a: 0 b: 3

k: 0 a: 2 b: 1
k: 1 a: 0 b: 1
k: 1 a: 1 b: 0

k: 0 a: 2 b: 1
k: 1 a: 0 b: 1
k: 1 a: 1 b: 2

k: 0 a: 2 b: 1
k: 1 a: 0 b: 1
k: 1 a: 1 b: 3

k: 0 a: 2 b: 1
k: 1 a: 0 b: 1
k: 1 a: 2 b: 0

k: 0 a: 2 b: 1
k: 1 a: 0 b: 1
k: 1 a: 2 b: 1

k: 0 a: 2 b: 1
k: 1 a: 0 b: 1
k: 1 a: 2 b: 3

k: 0 a: 2 b: 1
k: 1 a: 0 b: 1
k: 1 a: 3 b: 0

k: 0 a: 2 b: 1
k: 1 a: 0 b: 1
k: 1 a: 3 b: 1

k: 0 a: 2 b: 1
k: 1 a: 0 b: 1
k: 1 a: 3 b: 2

k: 0 a: 2 b: 1
k: 1 a: 0 b: 2
k: 1 a: 0 b: 3

k: 0 a: 2 b: 1
k: 1 a: 0 b: 2
k: 1 a: 1 b: 0

k: 0 a: 2 b: 1
k: 1 a: 0 b: 2
k: 1 a: 1 b: 2

k: 0 a: 2 b: 1
k: 1 a: 0 b: 2
k: 1 a: 1 b: 3

k: 0 a: 2 b: 1
k: 1 a: 0 b: 2
k: 1 a: 2 b: 0

k: 0 a: 2 b: 1
k: 1 a: 0 b: 2
k: 1 a: 2 b: 1

k: 0 a: 2 b: 1
k: 1 a: 0 b: 2
k: 1 a: 2 b: 3

k: 0 a: 2 b: 1
k: 1 a: 0 b: 2
k: 1 a: 3 b: 0

k: 0 a: 2 b: 1
k: 1 a: 0 b: 2
k: 1 a: 3 b: 1

k: 0 a: 2 b: 1
k: 1 a: 0 b: 2
k: 1 a: 3 b: 2

k: 0 a: 2 b: 1
k: 1 a: 0 b: 3
k: 1 a: 1 b: 0

k: 0 a: 2 b: 1
k: 1 a: 0 b: 3
k: 1 a: 1 b: 2

k: 0 a: 2 b: 1
k: 1 a: 0 b: 3
k: 1 a: 1 b: 3

k: 0 a: 2 b: 1
k: 1 a: 0 b: 3
k: 1 a: 2 b: 0

k: 0 a: 2 b: 1
k: 1 a: 0 b: 3
k: 1 a: 2 b: 1

k: 0 a: 2 b: 1
k: 1 a: 0 b: 3
k:

https://ideone.com/9cVHuG

language:

C++14 (gcc 8.3)

created:

visibility:

public

Share or Embed source code

Discover > Sphere Engine API

The brand new service which powers Ideone!

Discover > IDE Widget

Widget for compiling and running the source code in a web browser!

Discover > Sphere Engine API

Discover > IDE Widget

Choose your language