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

show.

program([
 	       '<E>'([], [exists_0], [It_0, 0, 2, true], true, [univ_1(It_0)]),
 	       '<V>'([], [univ_1(It_0)], [It_1, 10, 12, true], true, [exists_2(It_0,It_1)]),
 	       '<E>'([], [exists_2(It_0,It_1)], [It_2, 100, 102, true], true, [c_1(It_0,It_1,It_2)]),
 	       '<=>'([], [c_1(It_0,It_1,It)], true, [c_2(It_0,It_1,It)]),
 	       '<=>'([], [c_2(0,It_1,It_2)], (It_1 = 12, It_2 = 102), []),  % [true] in the body is encoded as an empty body 
 	       '<=>'([], [c_2(0,It_1,It_2)], \+((It_1 = 12, It_2 = 102)), [false]),
 	       '<=>'([], [c_2(1,It_1,It_2)], (It_1 = 11, It_2 = 101), []),
 	       '<=>'([], [c_2(1,It_1,It_2)], \+((It_1 = 11, It_2 = 101)), [false]),
 	       '<=>'([], [c_2(2,_It_1,It_2)], It_2 = 101, []),
 	       '<=>'([], [c_2(2,_It_1,It_2)], \+(It_2 = 101), [false])
 	   ]).

:- '[[]]'(conf([], [state([exists_0],[],[],0)]), _Final_Configuration).