M:
  S = 2
  K = 3
y[3]:
	0 H
	1 T
	2  
a[2x2]:
	0 0 -NaN
	0 1 -NaN
	1 0 -NaN
	1 1 -NaN
b[2x3]:
	0 0 -NaN
	0 1 -NaN
	0 2 -NaN
	1 0 -NaN
	1 1 -NaN
	1 2 -NaN
pi[2]:
	0 -NaN
	1 -NaN