:- use_module('../VEOMEGAR', ['[[]]'/2]).

show.
program([
 	       '<E>'([], [exists_0], [It, 0, 2, true], true, [exists_1]),
 	       '<E>'([], [exists_1], [It, 10, 12, true], true, [exists_2]),
 	       '<E>'([], [exists_2], [It, 101, 102, true], true, []) % [true] in the body is encoded as an empty body 
 	   ]).
:- '[[]]'(conf([], [state([exists_0],[],[],0)]), _Final_Configuration).
%% conf([],[state([token(exists_0,0):1],[token(exists_0,0)],[],1)]) [Activate]
%% conf([e],[state([<E>(_1504,0,2,true,[exists_1])],[],[],1)]) [E Simplify]
%% conf([e],[state([exists_1],[],[],1),state([<E>(_1504,1,2,true,[exists_1])],[],[],1)]) [E Unfolding]
%% conf([e],[state([token(exists_1,1):1],[token(exists_1,1)],[],2),state([<E>(_1504,1,2,true,[exists_1])],[],[],1)]) [Activate]
%% conf([e,e],[state([<E>(_1906,10,12,true,[exists_2])],[],[],2),state([<E>(_1504,1,2,true,[exists_1])],[],[],1)]) [E Simplify]
%% conf([e,e],[state([exists_2],[],[],2),state([<E>(_1906,11,12,true,[exists_2])],[],[],2),state([<E>(_1504,1,2,true,[exists_1])],[],[],1)]) [E Unfolding]
%% conf([e,e],[state([token(exists_2,2):1],[token(exists_2,2)],[],3),state([<E>(_1906,11,12,true,[exists_2])],[],[],2),state([<E>(_1504,1,2,true,[exists_1])],[],[],1)]) [Activate]
%% conf([e,e,e],[state([<E>(_2320,101,102,true,[])],[],[],3),state([<E>(_1906,11,12,true,[exists_2])],[],[],2),state([<E>(_1504,1,2,true,[exists_1])],[],[],1)]) [E Simplify]
%% conf([e,e,e],[state([],[],[],3),state([<E>(_2320,102,102,true,[])],[],[],3),state([<E>(_1906,11,12,true,[exists_2])],[],[],2),state([<E>(_1504,1,2,true,[exists_1])],[],[],1)]) [E Unfolding]
%% conf([e,e,e],[success,state([<E>(_2320,102,102,true,[])],[],[],3),state([<E>(_1906,11,12,true,[exists_2])],[],[],2),state([<E>(_1504,1,2,true,[exists_1])],[],[],1)]) [Success]
%% conf([e,e],[state([],[],[],3),state([<E>(_1906,11,12,true,[exists_2])],[],[],2),state([<E>(_1504,1,2,true,[exists_1])],[],[],1)]) [E SuccessPropagate]
%% conf([e,e],[success,state([<E>(_1906,11,12,true,[exists_2])],[],[],2),state([<E>(_1504,1,2,true,[exists_1])],[],[],1)]) [Success]
%% conf([e],[state([],[],[],2),state([<E>(_1504,1,2,true,[exists_1])],[],[],1)]) [E SuccessPropagate]
%% conf([e],[success,state([<E>(_1504,1,2,true,[exists_1])],[],[],1)]) [Success]
%% conf([],[state([],[],[],1)]) [E SuccessPropagate]
%% conf([],[success]) [Success]
%% conf([],[success])