@ms(1) S
@ms(2) A_1 2v_1 3v_2 5v_3 8v_4 9v_5 10v_6 11v_7 14v_8 19v_9 25v_10
@ms(0)

@rs(1) {
	[r11] >= T : S -> yes{0} .
	[r12] >= F & < T : S -> no{0} .
}

@rs(2) {
	[r21] A_1 -> @ms(2) B_1 A_2 @ms(2) A_2 #.
	[r22] A_2 -> @ms(2) B_2 A_3 @ms(2) A_3 #.
	[r23] A_3 -> @ms(2) B_3 A_4 @ms(2) A_4 #.
	[r24] A_4 -> @ms(2) B_4 A_5 @ms(2) A_5 #.
	[r25] A_5 -> @ms(2) B_5 A_6 @ms(2) A_6 #.
	[r26] A_6 -> @ms(2) B_6 A_7 @ms(2) A_7 #.
	[r27] A_7 -> @ms(2) B_7 A_8 @ms(2) A_8 #.
	[r28] A_8 -> @ms(2) B_8 A_9 @ms(2) A_9 #.
	[r29] A_9 -> @ms(2) B_9 A_10 @ms(2) A_10 #.
	[r210] A_10 -> @ms(2) B_10 X @ms(2) X #.
	
	[r211] B_1 & X : v_1 -> v.
	[r212] B_2 & X : v_2 -> v.
	[r213] B_3 & X : v_3 -> v.
	[r214] B_4 & X : v_4 -> v.
	[r215] B_5 & X : v_5 -> v.
	[r216] B_6 & X : v_6 -> v.
	[r217] B_7 & X : v_7 -> v.
	[r218] B_8 & X : v_8 -> v.
	[r219] B_9 & X : v_9 -> v.
	[r220] B_10 & X : v_10 -> v.
	
	[r221] X -> Y.
	[r222] !101v : Y -> F{1}.
	[r223] 101v : Y -> T{1}.
}