minimal semipositive transition invariants=
1	|	9.r17		:1,
	|	12.r16		:1,
	|	14.r18		:1
2	|	0.r12		:1,
	|	1.r13		:1,
	|	2.r11		:1
3	|	3.r10		:1,
	|	4.r9		:1
4	|	7.r5		:1,
	|	11.r6		:1,
	|	15.r1		:1
5	|	7.r5		:1,
	|	10.r4		:1,
	|	11.r6		:1,
	|	16.r3		:1
6	|	5.r7		:1,
	|	6.r8		:1
7	|	8.r14		:1,
	|	13.r15		:1
8	|	17.t_on		:1,
	|	18.t_off		:1