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

show.
program([
	       '<V>'([], [univ_0], [It, 0, 2, true], true, [univ_1]),
	       '<V>'([], [univ_1], [It, 10, 12, true], true, []) % [true] in the body is encoded as an empty body 
	   ]).

:- '[[]]'(conf([], [state([univ_0],[],[],0)]), _Final_Configuration).
%% conf([],[state([token(univ_0,0):1],[token(univ_0,0)],[],1)]) [Activate]
%% conf([u],[state([<V>(_1504,0,2,true,[univ_1])],[],[],1)]) [U Simplify]
%% conf([u],[state([univ_1],[],[],1),state([<V>(_1504,1,2,true,[univ_1])],[],[],1)]) [U Unfolding]
%% conf([u],[state([token(univ_1,1):1],[token(univ_1,1)],[],2),state([<V>(_1504,1,2,true,[univ_1])],[],[],1)]) [Activate]
%% conf([u,u],[state([<V>(_1852,10,12,true,[])],[],[],2),state([<V>(_1504,1,2,true,[univ_1])],[],[],1)]) [U Simplify]
%% conf([u,u],[state([],[],[],2),state([<V>(_1852,11,12,true,[])],[],[],2),state([<V>(_1504,1,2,true,[univ_1])],[],[],1)]) [U Unfolding]
%% conf([u,u],[success,state([<V>(_1852,11,12,true,[])],[],[],2),state([<V>(_1504,1,2,true,[univ_1])],[],[],1)]) [Success]
%% conf([u,u],[state([<V>(_1852,11,12,true,[])],[],[],2),state([<V>(_1504,1,2,true,[univ_1])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u],[state([],[],[],2),state([<V>(_1852,12,12,true,[])],[],[],2),state([<V>(_1504,1,2,true,[univ_1])],[],[],1)]) [U Unfolding]
%% conf([u,u],[success,state([<V>(_1852,12,12,true,[])],[],[],2),state([<V>(_1504,1,2,true,[univ_1])],[],[],1)]) [Success]
%% conf([u,u],[state([<V>(_1852,12,12,true,[])],[],[],2),state([<V>(_1504,1,2,true,[univ_1])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u],[state([],[],[],2),state([<V>(_1852,13,12,true,[])],[],[],2),state([<V>(_1504,1,2,true,[univ_1])],[],[],1)]) [U Unfolding]
%% conf([u,u],[success,state([<V>(_1852,13,12,true,[])],[],[],2),state([<V>(_1504,1,2,true,[univ_1])],[],[],1)]) [Success]
%% conf([u,u],[state([<V>(_1852,13,12,true,[])],[],[],2),state([<V>(_1504,1,2,true,[univ_1])],[],[],1)]) [U SuccessPropagate]
%% conf([u],[state([],[],[],2),state([<V>(_1504,1,2,true,[univ_1])],[],[],1)]) [U Success]
%% conf([u],[success,state([<V>(_1504,1,2,true,[univ_1])],[],[],1)]) [Success]
%% conf([u],[state([<V>(_1504,1,2,true,[univ_1])],[],[],1)]) [U SuccessPropagate]
%% conf([u],[state([univ_1],[],[],1),state([<V>(_1504,2,2,true,[univ_1])],[],[],1)]) [U Unfolding]
%% conf([u],[state([token(univ_1,1):1],[token(univ_1,1)],[],2),state([<V>(_1504,2,2,true,[univ_1])],[],[],1)]) [Activate]
%% conf([u,u],[state([<V>(_2702,10,12,true,[])],[],[],2),state([<V>(_1504,2,2,true,[univ_1])],[],[],1)]) [U Simplify]
%% conf([u,u],[state([],[],[],2),state([<V>(_2702,11,12,true,[])],[],[],2),state([<V>(_1504,2,2,true,[univ_1])],[],[],1)]) [U Unfolding]
%% conf([u,u],[success,state([<V>(_2702,11,12,true,[])],[],[],2),state([<V>(_1504,2,2,true,[univ_1])],[],[],1)]) [Success]
%% conf([u,u],[state([<V>(_2702,11,12,true,[])],[],[],2),state([<V>(_1504,2,2,true,[univ_1])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u],[state([],[],[],2),state([<V>(_2702,12,12,true,[])],[],[],2),state([<V>(_1504,2,2,true,[univ_1])],[],[],1)]) [U Unfolding]
%% conf([u,u],[success,state([<V>(_2702,12,12,true,[])],[],[],2),state([<V>(_1504,2,2,true,[univ_1])],[],[],1)]) [Success]
%% conf([u,u],[state([<V>(_2702,12,12,true,[])],[],[],2),state([<V>(_1504,2,2,true,[univ_1])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u],[state([],[],[],2),state([<V>(_2702,13,12,true,[])],[],[],2),state([<V>(_1504,2,2,true,[univ_1])],[],[],1)]) [U Unfolding]
%% conf([u,u],[success,state([<V>(_2702,13,12,true,[])],[],[],2),state([<V>(_1504,2,2,true,[univ_1])],[],[],1)]) [Success]
%% conf([u,u],[state([<V>(_2702,13,12,true,[])],[],[],2),state([<V>(_1504,2,2,true,[univ_1])],[],[],1)]) [U SuccessPropagate]
%% conf([u],[state([],[],[],2),state([<V>(_1504,2,2,true,[univ_1])],[],[],1)]) [U Success]
%% conf([u],[success,state([<V>(_1504,2,2,true,[univ_1])],[],[],1)]) [Success]
%% conf([u],[state([<V>(_1504,2,2,true,[univ_1])],[],[],1)]) [U SuccessPropagate]
%% conf([u],[state([univ_1],[],[],1),state([<V>(_1504,3,2,true,[univ_1])],[],[],1)]) [U Unfolding]
%% conf([u],[state([token(univ_1,1):1],[token(univ_1,1)],[],2),state([<V>(_1504,3,2,true,[univ_1])],[],[],1)]) [Activate]
%% conf([u,u],[state([<V>(_3552,10,12,true,[])],[],[],2),state([<V>(_1504,3,2,true,[univ_1])],[],[],1)]) [U Simplify]
%% conf([u,u],[state([],[],[],2),state([<V>(_3552,11,12,true,[])],[],[],2),state([<V>(_1504,3,2,true,[univ_1])],[],[],1)]) [U Unfolding]
%% conf([u,u],[success,state([<V>(_3552,11,12,true,[])],[],[],2),state([<V>(_1504,3,2,true,[univ_1])],[],[],1)]) [Success]
%% conf([u,u],[state([<V>(_3552,11,12,true,[])],[],[],2),state([<V>(_1504,3,2,true,[univ_1])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u],[state([],[],[],2),state([<V>(_3552,12,12,true,[])],[],[],2),state([<V>(_1504,3,2,true,[univ_1])],[],[],1)]) [U Unfolding]
%% conf([u,u],[success,state([<V>(_3552,12,12,true,[])],[],[],2),state([<V>(_1504,3,2,true,[univ_1])],[],[],1)]) [Success]
%% conf([u,u],[state([<V>(_3552,12,12,true,[])],[],[],2),state([<V>(_1504,3,2,true,[univ_1])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u],[state([],[],[],2),state([<V>(_3552,13,12,true,[])],[],[],2),state([<V>(_1504,3,2,true,[univ_1])],[],[],1)]) [U Unfolding]
%% conf([u,u],[success,state([<V>(_3552,13,12,true,[])],[],[],2),state([<V>(_1504,3,2,true,[univ_1])],[],[],1)]) [Success]
%% conf([u,u],[state([<V>(_3552,13,12,true,[])],[],[],2),state([<V>(_1504,3,2,true,[univ_1])],[],[],1)]) [U SuccessPropagate]
%% conf([u],[state([],[],[],2),state([<V>(_1504,3,2,true,[univ_1])],[],[],1)]) [U Success]
%% conf([u],[success,state([<V>(_1504,3,2,true,[univ_1])],[],[],1)]) [Success]
%% conf([u],[state([<V>(_1504,3,2,true,[univ_1])],[],[],1)]) [U SuccessPropagate]
%% conf([],[state([],[],[],1)]) [U Success]
%% conf([],[success]) [Success]
%% conf([],[success])