minimal semipositive transition invariants=

1	|	15.k6		:1,
	|	16.k5		:1
2	|	2.k12		:1,
	|	3.k13		:1
3	|	5.k19		:1,
	|	6.k18		:1
4	|	10.k15		:1,
	|	11.k16		:1
5	|	8.k4		:1,
	|	9.k3		:1
6	|	0.k1		:1,
	|	1.k2		:1
7	|	13.k21		:1,
	|	14.k22		:1
8	|	0.k1		:1,
	|	2.k12		:1,
	|	4.k14		:1,
	|	6.k18		:1,
	|	7.k20		:1
9	|	0.k1		:1,
	|	6.k18		:1,
	|	7.k20		:1,
	|	9.k3		:1,
	|	10.k15		:1,
	|	12.k17		:1,
	|	14.k22		:1
10	|	17.k29		:1,
	|	18.k30		:1