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

show.

program([
	       '<E>'([], [exists_0], [It, 0, 2, true], true, [c_0(It), exists_1(It), c_0(It)]),
	       '<E>'([], [exists_1(It_0)], [It, 10, 12, true], true, [c_1(It_0, It_1), exists_2(It_0,It), c_1(It_0, It_1)]),
	       '<E>'([], [exists_2(It_0,It_1)], [It, 100, 102, true], true, [c_2(It_0,It_1,It)]),
	       '<=>'([], [c_0(_)], true, [c]),
	       '<=>'([], [c_1(_,_)], true, [c]),
	       '<=>'([], [c_2(_,_,_)], true, [c]),
	       '<=>'([], [c], 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,[c_0(_1504),exists_1(_1504),c_0(_1504)])],[],[],1)]) [E Simplify]
%% conf([e],[state([c_0(0),exists_1(0),c_0(0)],[],[],1),state([<E>(_1504,1,2,true,[c_0(_1504),exists_1(_1504),c_0(_1504)])],[],[],1)]) [E Unfolding]
%% conf([e],[state([token(c_0(0),1):1,exists_1(0),c_0(0)],[token(c_0(0),1)],[],2),state([<E>(_1504,1,2,true,[c_0(_1504),exists_1(_1504),c_0(_1504)])],[],[],1)]) [Activate]
%% conf([e],[state([c,exists_1(0),c_0(0)],[],[],2),state([<E>(_1504,1,2,true,[c_0(_1504),exists_1(_1504),c_0(_1504)])],[],[],1)]) [Simplify]
%% conf([e],[state([token(c,2):1,exists_1(0),c_0(0)],[token(c,2)],[],3),state([<E>(_1504,1,2,true,[c_0(_1504),exists_1(_1504),c_0(_1504)])],[],[],1)]) [Activate]
%% conf([e],[state([exists_1(0),c_0(0)],[],[],3),state([<E>(_1504,1,2,true,[c_0(_1504),exists_1(_1504),c_0(_1504)])],[],[],1)]) [Simplify]
%% conf([e],[state([token(exists_1(0),3):1,c_0(0)],[token(exists_1(0),3)],[],4),state([<E>(_1504,1,2,true,[c_0(_1504),exists_1(_1504),c_0(_1504)])],[],[],1)]) [Activate]
%% conf([e,e],[state([<E>(_3088,10,12,true,[c_1(0,_3202),exists_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([<E>(_1504,1,2,true,[c_0(_1504),exists_1(_1504),c_0(_1504)])],[],[],1)]) [E Simplify]
%% conf([e,e],[state([c_1(0,_3562),exists_2(0,10),c_1(0,_3562)],[],[],4),state([<E>(_3088,11,12,true,[c_1(0,_3202),exists_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([<E>(_1504,1,2,true,[c_0(_1504),exists_1(_1504),c_0(_1504)])],[],[],1)]) [E Unfolding]
%% conf([e,e],[state([token(c_1(0,_3562),4):1,exists_2(0,10),c_1(0,_3562)],[token(c_1(0,_3562),4)],[],5),state([<E>(_3088,11,12,true,[c_1(0,_3202),exists_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([<E>(_1504,1,2,true,[c_0(_1504),exists_1(_1504),c_0(_1504)])],[],[],1)]) [Activate]
%% conf([e,e],[state([c,exists_2(0,10),c_1(0,_3562)],[],[],5),state([<E>(_3088,11,12,true,[c_1(0,_3202),exists_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([<E>(_1504,1,2,true,[c_0(_1504),exists_1(_1504),c_0(_1504)])],[],[],1)]) [Simplify]
%% conf([e,e],[state([token(c,5):1,exists_2(0,10),c_1(0,_3562)],[token(c,5)],[],6),state([<E>(_3088,11,12,true,[c_1(0,_3202),exists_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([<E>(_1504,1,2,true,[c_0(_1504),exists_1(_1504),c_0(_1504)])],[],[],1)]) [Activate]
%% conf([e,e],[state([exists_2(0,10),c_1(0,_3562)],[],[],6),state([<E>(_3088,11,12,true,[c_1(0,_3202),exists_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([<E>(_1504,1,2,true,[c_0(_1504),exists_1(_1504),c_0(_1504)])],[],[],1)]) [Simplify]
%% conf([e,e],[state([token(exists_2(0,10),6):1,c_1(0,_3562)],[token(exists_2(0,10),6)],[],7),state([<E>(_3088,11,12,true,[c_1(0,_3202),exists_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([<E>(_1504,1,2,true,[c_0(_1504),exists_1(_1504),c_0(_1504)])],[],[],1)]) [Activate]
%% conf([e,e,e],[state([<E>(_4690,100,102,true,[c_2(0,10,_4690)]),c_1(0,_3562)],[],[],7),state([<E>(_3088,11,12,true,[c_1(0,_3202),exists_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([<E>(_1504,1,2,true,[c_0(_1504),exists_1(_1504),c_0(_1504)])],[],[],1)]) [E Simplify]
%% conf([e,e,e],[state([c_2(0,10,100)],[],[],7),state([<E>(_4690,101,102,true,[c_2(0,10,_4690)]),c_1(0,_3562)],[],[],7),state([<E>(_3088,11,12,true,[c_1(0,_3202),exists_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([<E>(_1504,1,2,true,[c_0(_1504),exists_1(_1504),c_0(_1504)])],[],[],1)]) [E Unfolding]
%% conf([e,e,e],[state([token(c_2(0,10,100),7):1],[token(c_2(0,10,100),7)],[],8),state([<E>(_4690,101,102,true,[c_2(0,10,_4690)]),c_1(0,_3562)],[],[],7),state([<E>(_3088,11,12,true,[c_1(0,_3202),exists_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([<E>(_1504,1,2,true,[c_0(_1504),exists_1(_1504),c_0(_1504)])],[],[],1)]) [Activate]
%% conf([e,e,e],[state([c],[],[],8),state([<E>(_4690,101,102,true,[c_2(0,10,_4690)]),c_1(0,_3562)],[],[],7),state([<E>(_3088,11,12,true,[c_1(0,_3202),exists_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([<E>(_1504,1,2,true,[c_0(_1504),exists_1(_1504),c_0(_1504)])],[],[],1)]) [Simplify]
%% conf([e,e,e],[state([token(c,8):1],[token(c,8)],[],9),state([<E>(_4690,101,102,true,[c_2(0,10,_4690)]),c_1(0,_3562)],[],[],7),state([<E>(_3088,11,12,true,[c_1(0,_3202),exists_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([<E>(_1504,1,2,true,[c_0(_1504),exists_1(_1504),c_0(_1504)])],[],[],1)]) [Activate]
%% conf([e,e,e],[state([],[],[],9),state([<E>(_4690,101,102,true,[c_2(0,10,_4690)]),c_1(0,_3562)],[],[],7),state([<E>(_3088,11,12,true,[c_1(0,_3202),exists_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([<E>(_1504,1,2,true,[c_0(_1504),exists_1(_1504),c_0(_1504)])],[],[],1)]) [Simplify]
%% conf([e,e,e],[success,state([<E>(_4690,101,102,true,[c_2(0,10,_4690)]),c_1(0,_3562)],[],[],7),state([<E>(_3088,11,12,true,[c_1(0,_3202),exists_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([<E>(_1504,1,2,true,[c_0(_1504),exists_1(_1504),c_0(_1504)])],[],[],1)]) [Success]
%% conf([e,e],[state([c_1(0,_3562)],[],[],7),state([<E>(_3088,11,12,true,[c_1(0,_3202),exists_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([<E>(_1504,1,2,true,[c_0(_1504),exists_1(_1504),c_0(_1504)])],[],[],1)]) [E SuccessPropagate]
%% conf([e,e],[state([token(c_1(0,_3562),7):1],[token(c_1(0,_3562),7)],[],8),state([<E>(_3088,11,12,true,[c_1(0,_3202),exists_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([<E>(_1504,1,2,true,[c_0(_1504),exists_1(_1504),c_0(_1504)])],[],[],1)]) [Activate]
%% conf([e,e],[state([c],[],[],8),state([<E>(_3088,11,12,true,[c_1(0,_3202),exists_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([<E>(_1504,1,2,true,[c_0(_1504),exists_1(_1504),c_0(_1504)])],[],[],1)]) [Simplify]
%% conf([e,e],[state([token(c,8):1],[token(c,8)],[],9),state([<E>(_3088,11,12,true,[c_1(0,_3202),exists_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([<E>(_1504,1,2,true,[c_0(_1504),exists_1(_1504),c_0(_1504)])],[],[],1)]) [Activate]
%% conf([e,e],[state([],[],[],9),state([<E>(_3088,11,12,true,[c_1(0,_3202),exists_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([<E>(_1504,1,2,true,[c_0(_1504),exists_1(_1504),c_0(_1504)])],[],[],1)]) [Simplify]
%% conf([e,e],[success,state([<E>(_3088,11,12,true,[c_1(0,_3202),exists_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([<E>(_1504,1,2,true,[c_0(_1504),exists_1(_1504),c_0(_1504)])],[],[],1)]) [Success]
%% conf([e],[state([c_0(0)],[],[],4),state([<E>(_1504,1,2,true,[c_0(_1504),exists_1(_1504),c_0(_1504)])],[],[],1)]) [E SuccessPropagate]
%% conf([e],[state([token(c_0(0),4):1],[token(c_0(0),4)],[],5),state([<E>(_1504,1,2,true,[c_0(_1504),exists_1(_1504),c_0(_1504)])],[],[],1)]) [Activate]
%% conf([e],[state([c],[],[],5),state([<E>(_1504,1,2,true,[c_0(_1504),exists_1(_1504),c_0(_1504)])],[],[],1)]) [Simplify]
%% conf([e],[state([token(c,5):1],[token(c,5)],[],6),state([<E>(_1504,1,2,true,[c_0(_1504),exists_1(_1504),c_0(_1504)])],[],[],1)]) [Activate]
%% conf([e],[state([],[],[],6),state([<E>(_1504,1,2,true,[c_0(_1504),exists_1(_1504),c_0(_1504)])],[],[],1)]) [Simplify]
%% conf([e],[success,state([<E>(_1504,1,2,true,[c_0(_1504),exists_1(_1504),c_0(_1504)])],[],[],1)]) [Success]
%% conf([],[state([],[],[],1)]) [E SuccessPropagate]
%% conf([],[success]) [Success]
%% conf([],[success])