M:
  S = 19
  K = 5
y[5]:
	0 H
	1 T
	2  
	3  
	4  
a[19x19]:
	0 0 0.998203
	0 1 0.000100
	0 2 0.000100
	0 3 0.000100
	0 4 0.000100
	0 5 0.000100
	0 6 0.000100
	0 7 0.000100
	0 8 0.000100
	0 9 0.000100
	0 10 0.000100
	0 11 0.000100
	0 12 0.000100
	0 13 0.000100
	0 14 0.000100
	0 15 0.000100
	0 16 0.000100
	0 17 0.000100
	0 18 0.000100
	1 0 0.998203
	1 1 0.000100
	1 2 0.000100
	1 3 0.000100
	1 4 0.000100
	1 5 0.000100
	1 6 0.000100
	1 7 0.000100
	1 8 0.000100
	1 9 0.000100
	1 10 0.000100
	1 11 0.000100
	1 12 0.000100
	1 13 0.000100
	1 14 0.000100
	1 15 0.000100
	1 16 0.000100
	1 17 0.000100
	1 18 0.000100
	2 0 0.052632
	2 1 0.052632
	2 2 0.052632
	2 3 0.052632
	2 4 0.052632
	2 5 0.052632
	2 6 0.052632
	2 7 0.052632
	2 8 0.052632
	2 9 0.052632
	2 10 0.052632
	2 11 0.052632
	2 12 0.052632
	2 13 0.052632
	2 14 0.052632
	2 15 0.052632
	2 16 0.052632
	2 17 0.052632
	2 18 0.052632
	3 0 0.052632
	3 1 0.052632
	3 2 0.052632
	3 3 0.052632
	3 4 0.052632
	3 5 0.052632
	3 6 0.052632
	3 7 0.052632
	3 8 0.052632
	3 9 0.052632
	3 10 0.052632
	3 11 0.052632
	3 12 0.052632
	3 13 0.052632
	3 14 0.052632
	3 15 0.052632
	3 16 0.052632
	3 17 0.052632
	3 18 0.052632
	4 0 0.052632
	4 1 0.052632
	4 2 0.052632
	4 3 0.052632
	4 4 0.052632
	4 5 0.052632
	4 6 0.052632
	4 7 0.052632
	4 8 0.052632
	4 9 0.052632
	4 10 0.052632
	4 11 0.052632
	4 12 0.052632
	4 13 0.052632
	4 14 0.052632
	4 15 0.052632
	4 16 0.052632
	4 17 0.052632
	4 18 0.052632
	5 0 0.052632
	5 1 0.052632
	5 2 0.052632
	5 3 0.052632
	5 4 0.052632
	5 5 0.052632
	5 6 0.052632
	5 7 0.052632
	5 8 0.052632
	5 9 0.052632
	5 10 0.052632
	5 11 0.052632
	5 12 0.052632
	5 13 0.052632
	5 14 0.052632
	5 15 0.052632
	5 16 0.052632
	5 17 0.052632
	5 18 0.052632
	6 0 0.052632
	6 1 0.052632
	6 2 0.052632
	6 3 0.052632
	6 4 0.052632
	6 5 0.052632
	6 6 0.052632
	6 7 0.052632
	6 8 0.052632
	6 9 0.052632
	6 10 0.052632
	6 11 0.052632
	6 12 0.052632
	6 13 0.052632
	6 14 0.052632
	6 15 0.052632
	6 16 0.052632
	6 17 0.052632
	6 18 0.052632
	7 0 0.052632
	7 1 0.052632
	7 2 0.052632
	7 3 0.052632
	7 4 0.052632
	7 5 0.052632
	7 6 0.052632
	7 7 0.052632
	7 8 0.052632
	7 9 0.052632
	7 10 0.052632
	7 11 0.052632
	7 12 0.052632
	7 13 0.052632
	7 14 0.052632
	7 15 0.052632
	7 16 0.052632
	7 17 0.052632
	7 18 0.052632
	8 0 0.052632
	8 1 0.052632
	8 2 0.052632
	8 3 0.052632
	8 4 0.052632
	8 5 0.052632
	8 6 0.052632
	8 7 0.052632
	8 8 0.052632
	8 9 0.052632
	8 10 0.052632
	8 11 0.052632
	8 12 0.052632
	8 13 0.052632
	8 14 0.052632
	8 15 0.052632
	8 16 0.052632
	8 17 0.052632
	8 18 0.052632
	9 0 0.052632
	9 1 0.052632
	9 2 0.052632
	9 3 0.052632
	9 4 0.052632
	9 5 0.052632
	9 6 0.052632
	9 7 0.052632
	9 8 0.052632
	9 9 0.052632
	9 10 0.052632
	9 11 0.052632
	9 12 0.052632
	9 13 0.052632
	9 14 0.052632
	9 15 0.052632
	9 16 0.052632
	9 17 0.052632
	9 18 0.052632
	10 0 0.052632
	10 1 0.052632
	10 2 0.052632
	10 3 0.052632
	10 4 0.052632
	10 5 0.052632
	10 6 0.052632
	10 7 0.052632
	10 8 0.052632
	10 9 0.052632
	10 10 0.052632
	10 11 0.052632
	10 12 0.052632
	10 13 0.052632
	10 14 0.052632
	10 15 0.052632
	10 16 0.052632
	10 17 0.052632
	10 18 0.052632
	11 0 0.052632
	11 1 0.052632
	11 2 0.052632
	11 3 0.052632
	11 4 0.052632
	11 5 0.052632
	11 6 0.052632
	11 7 0.052632
	11 8 0.052632
	11 9 0.052632
	11 10 0.052632
	11 11 0.052632
	11 12 0.052632
	11 13 0.052632
	11 14 0.052632
	11 15 0.052632
	11 16 0.052632
	11 17 0.052632
	11 18 0.052632
	12 0 0.052632
	12 1 0.052632
	12 2 0.052632
	12 3 0.052632
	12 4 0.052632
	12 5 0.052632
	12 6 0.052632
	12 7 0.052632
	12 8 0.052632
	12 9 0.052632
	12 10 0.052632
	12 11 0.052632
	12 12 0.052632
	12 13 0.052632
	12 14 0.052632
	12 15 0.052632
	12 16 0.052632
	12 17 0.052632
	12 18 0.052632
	13 0 0.052632
	13 1 0.052632
	13 2 0.052632
	13 3 0.052632
	13 4 0.052632
	13 5 0.052632
	13 6 0.052632
	13 7 0.052632
	13 8 0.052632
	13 9 0.052632
	13 10 0.052632
	13 11 0.052632
	13 12 0.052632
	13 13 0.052632
	13 14 0.052632
	13 15 0.052632
	13 16 0.052632
	13 17 0.052632
	13 18 0.052632
	14 0 0.052632
	14 1 0.052632
	14 2 0.052632
	14 3 0.052632
	14 4 0.052632
	14 5 0.052632
	14 6 0.052632
	14 7 0.052632
	14 8 0.052632
	14 9 0.052632
	14 10 0.052632
	14 11 0.052632
	14 12 0.052632
	14 13 0.052632
	14 14 0.052632
	14 15 0.052632
	14 16 0.052632
	14 17 0.052632
	14 18 0.052632
	15 0 0.052632
	15 1 0.052632
	15 2 0.052632
	15 3 0.052632
	15 4 0.052632
	15 5 0.052632
	15 6 0.052632
	15 7 0.052632
	15 8 0.052632
	15 9 0.052632
	15 10 0.052632
	15 11 0.052632
	15 12 0.052632
	15 13 0.052632
	15 14 0.052632
	15 15 0.052632
	15 16 0.052632
	15 17 0.052632
	15 18 0.052632
	16 0 0.052632
	16 1 0.052632
	16 2 0.052632
	16 3 0.052632
	16 4 0.052632
	16 5 0.052632
	16 6 0.052632
	16 7 0.052632
	16 8 0.052632
	16 9 0.052632
	16 10 0.052632
	16 11 0.052632
	16 12 0.052632
	16 13 0.052632
	16 14 0.052632
	16 15 0.052632
	16 16 0.052632
	16 17 0.052632
	16 18 0.052632
	17 0 0.052632
	17 1 0.052632
	17 2 0.052632
	17 3 0.052632
	17 4 0.052632
	17 5 0.052632
	17 6 0.052632
	17 7 0.052632
	17 8 0.052632
	17 9 0.052632
	17 10 0.052632
	17 11 0.052632
	17 12 0.052632
	17 13 0.052632
	17 14 0.052632
	17 15 0.052632
	17 16 0.052632
	17 17 0.052632
	17 18 0.052632
	18 0 0.052632
	18 1 0.052632
	18 2 0.052632
	18 3 0.052632
	18 4 0.052632
	18 5 0.052632
	18 6 0.052632
	18 7 0.052632
	18 8 0.052632
	18 9 0.052632
	18 10 0.052632
	18 11 0.052632
	18 12 0.052632
	18 13 0.052632
	18 14 0.052632
	18 15 0.052632
	18 16 0.052632
	18 17 0.052632
	18 18 0.052632
b[19x5]:
	0 0 0.790017
	0 1 0.209683
	0 2 0.000100
	0 3 0.000100
	0 4 0.000100
	1 0 0.874738
	1 1 0.124963
	1 2 0.000100
	1 3 0.000100
	1 4 0.000100
	2 0 0.200000
	2 1 0.200000
	2 2 0.200000
	2 3 0.200000
	2 4 0.200000
	3 0 0.200000
	3 1 0.200000
	3 2 0.200000
	3 3 0.200000
	3 4 0.200000
	4 0 0.200000
	4 1 0.200000
	4 2 0.200000
	4 3 0.200000
	4 4 0.200000
	5 0 0.200000
	5 1 0.200000
	5 2 0.200000
	5 3 0.200000
	5 4 0.200000
	6 0 0.200000
	6 1 0.200000
	6 2 0.200000
	6 3 0.200000
	6 4 0.200000
	7 0 0.200000
	7 1 0.200000
	7 2 0.200000
	7 3 0.200000
	7 4 0.200000
	8 0 0.200000
	8 1 0.200000
	8 2 0.200000
	8 3 0.200000
	8 4 0.200000
	9 0 0.200000
	9 1 0.200000
	9 2 0.200000
	9 3 0.200000
	9 4 0.200000
	10 0 0.200000
	10 1 0.200000
	10 2 0.200000
	10 3 0.200000
	10 4 0.200000
	11 0 0.200000
	11 1 0.200000
	11 2 0.200000
	11 3 0.200000
	11 4 0.200000
	12 0 0.200000
	12 1 0.200000
	12 2 0.200000
	12 3 0.200000
	12 4 0.200000
	13 0 0.200000
	13 1 0.200000
	13 2 0.200000
	13 3 0.200000
	13 4 0.200000
	14 0 0.200000
	14 1 0.200000
	14 2 0.200000
	14 3 0.200000
	14 4 0.200000
	15 0 0.200000
	15 1 0.200000
	15 2 0.200000
	15 3 0.200000
	15 4 0.200000
	16 0 0.200000
	16 1 0.200000
	16 2 0.200000
	16 3 0.200000
	16 4 0.200000
	17 0 0.200000
	17 1 0.200000
	17 2 0.200000
	17 3 0.200000
	17 4 0.200000
	18 0 0.200000
	18 1 0.200000
	18 2 0.200000
	18 3 0.200000
	18 4 0.200000
pi[19]:
	0 0.000100
	1 0.998203
	2 0.000100
	3 0.000100
	4 0.000100
	5 0.000100
	6 0.000100
	7 0.000100
	8 0.000100
	9 0.000100
	10 0.000100
	11 0.000100
	12 0.000100
	13 0.000100
	14 0.000100
	15 0.000100
	16 0.000100
	17 0.000100
	18 0.000100