unknown

Initial ITS

Start location: [1]
Program variables:
   0: [1] -> [1] : _|_, cost: 1
   1: [1] -> [2] : T, cost: 1

Step with 1

	Trace

	1[T]
	
	Blocked

	[{}, {}]

Backtrack

	Trace

	Blocked

	[{1[T]}]

Accept

unknown

Build SHA: a05f16bf13df659c382799650051f91bf6828c7b