:- use_module('../VEOMEGAR', ['[[]]'/2]). show. program([ ''([], [exists_0], [It, 0, 2, true], true, [exists_1(It)]), ''([], [exists_1(It_0)], [It, 10, 12, true], true, [exists_2(It_0,It)]), ''([], [exists_2(It_0,It_1)], [It, 100, 102, true], true, [c_1(It_0,It_1,It)]), '<=>'([], [c_1(It_0,It_1,It)], true, [c_2(It_0,It_1,It)]), '<=>'([], [c_2(_,_,_)], true, [false]) ]). :- '[[]]'(conf([], [state([exists_0],[],[],0)]), _Final_Configuration). %% conf([],[state([token(exists_0,0):1],[token(exists_0,0)],[],1)]) [Activate] %% conf([e],[state([(_1504,0,2,true,[exists_1(_1504)])],[],[],1)]) [E Simplify] %% conf([e],[state([exists_1(0)],[],[],1),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [E Unfolding] %% conf([e],[state([token(exists_1(0),1):1],[token(exists_1(0),1)],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [Activate] %% conf([e,e],[state([(_2042,10,12,true,[exists_2(0,_2042)])],[],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [E Simplify] %% conf([e,e],[state([exists_2(0,10)],[],[],2),state([(_2042,11,12,true,[exists_2(0,_2042)])],[],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [E Unfolding] %% conf([e,e],[state([token(exists_2(0,10),2):1],[token(exists_2(0,10),2)],[],3),state([(_2042,11,12,true,[exists_2(0,_2042)])],[],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [Activate] %% conf([e,e,e],[state([(_2594,100,102,true,[c_1(0,10,_2594)])],[],[],3),state([(_2042,11,12,true,[exists_2(0,_2042)])],[],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [E Simplify] %% conf([e,e,e],[state([c_1(0,10,100)],[],[],3),state([(_2594,101,102,true,[c_1(0,10,_2594)])],[],[],3),state([(_2042,11,12,true,[exists_2(0,_2042)])],[],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [E Unfolding] %% conf([e,e,e],[state([token(c_1(0,10,100),3):1],[token(c_1(0,10,100),3)],[],4),state([(_2594,101,102,true,[c_1(0,10,_2594)])],[],[],3),state([(_2042,11,12,true,[exists_2(0,_2042)])],[],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [Activate] %% conf([e,e,e],[state([c_2(0,10,100)],[],[],4),state([(_2594,101,102,true,[c_1(0,10,_2594)])],[],[],3),state([(_2042,11,12,true,[exists_2(0,_2042)])],[],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [Simplify] %% conf([e,e,e],[state([token(c_2(0,10,100),4):1],[token(c_2(0,10,100),4)],[],5),state([(_2594,101,102,true,[c_1(0,10,_2594)])],[],[],3),state([(_2042,11,12,true,[exists_2(0,_2042)])],[],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [Activate] %% conf([e,e,e],[state([false],[],[],5),state([(_2594,101,102,true,[c_1(0,10,_2594)])],[],[],3),state([(_2042,11,12,true,[exists_2(0,_2042)])],[],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [Simplify] %% conf([e,e,e],[failure,state([(_2594,101,102,true,[c_1(0,10,_2594)])],[],[],3),state([(_2042,11,12,true,[exists_2(0,_2042)])],[],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [Failure] %% conf([e,e,e],[state([(_2594,101,102,true,[c_1(0,10,_2594)])],[],[],3),state([(_2042,11,12,true,[exists_2(0,_2042)])],[],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [E FailurePropagate] %% conf([e,e,e],[state([c_1(0,10,101)],[],[],3),state([(_2594,102,102,true,[c_1(0,10,_2594)])],[],[],3),state([(_2042,11,12,true,[exists_2(0,_2042)])],[],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [E Unfolding] %% conf([e,e,e],[state([token(c_1(0,10,101),3):1],[token(c_1(0,10,101),3)],[],4),state([(_2594,102,102,true,[c_1(0,10,_2594)])],[],[],3),state([(_2042,11,12,true,[exists_2(0,_2042)])],[],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [Activate] %% conf([e,e,e],[state([c_2(0,10,101)],[],[],4),state([(_2594,102,102,true,[c_1(0,10,_2594)])],[],[],3),state([(_2042,11,12,true,[exists_2(0,_2042)])],[],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [Simplify] %% conf([e,e,e],[state([token(c_2(0,10,101),4):1],[token(c_2(0,10,101),4)],[],5),state([(_2594,102,102,true,[c_1(0,10,_2594)])],[],[],3),state([(_2042,11,12,true,[exists_2(0,_2042)])],[],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [Activate] %% conf([e,e,e],[state([false],[],[],5),state([(_2594,102,102,true,[c_1(0,10,_2594)])],[],[],3),state([(_2042,11,12,true,[exists_2(0,_2042)])],[],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [Simplify] %% conf([e,e,e],[failure,state([(_2594,102,102,true,[c_1(0,10,_2594)])],[],[],3),state([(_2042,11,12,true,[exists_2(0,_2042)])],[],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [Failure] %% conf([e,e,e],[state([(_2594,102,102,true,[c_1(0,10,_2594)])],[],[],3),state([(_2042,11,12,true,[exists_2(0,_2042)])],[],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [E FailurePropagate] %% conf([e,e,e],[state([c_1(0,10,102)],[],[],3),state([(_2594,103,102,true,[c_1(0,10,_2594)])],[],[],3),state([(_2042,11,12,true,[exists_2(0,_2042)])],[],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [E Unfolding] %% conf([e,e,e],[state([token(c_1(0,10,102),3):1],[token(c_1(0,10,102),3)],[],4),state([(_2594,103,102,true,[c_1(0,10,_2594)])],[],[],3),state([(_2042,11,12,true,[exists_2(0,_2042)])],[],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [Activate] %% conf([e,e,e],[state([c_2(0,10,102)],[],[],4),state([(_2594,103,102,true,[c_1(0,10,_2594)])],[],[],3),state([(_2042,11,12,true,[exists_2(0,_2042)])],[],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [Simplify] %% conf([e,e,e],[state([token(c_2(0,10,102),4):1],[token(c_2(0,10,102),4)],[],5),state([(_2594,103,102,true,[c_1(0,10,_2594)])],[],[],3),state([(_2042,11,12,true,[exists_2(0,_2042)])],[],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [Activate] %% conf([e,e,e],[state([false],[],[],5),state([(_2594,103,102,true,[c_1(0,10,_2594)])],[],[],3),state([(_2042,11,12,true,[exists_2(0,_2042)])],[],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [Simplify] %% conf([e,e,e],[failure,state([(_2594,103,102,true,[c_1(0,10,_2594)])],[],[],3),state([(_2042,11,12,true,[exists_2(0,_2042)])],[],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [Failure] %% conf([e,e,e],[state([(_2594,103,102,true,[c_1(0,10,_2594)])],[],[],3),state([(_2042,11,12,true,[exists_2(0,_2042)])],[],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [E FailurePropagate] %% conf([e,e],[failure,state([(_2042,11,12,true,[exists_2(0,_2042)])],[],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [E Failure] %% conf([e,e],[state([(_2042,11,12,true,[exists_2(0,_2042)])],[],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [E FailurePropagate] %% conf([e,e],[state([exists_2(0,11)],[],[],2),state([(_2042,12,12,true,[exists_2(0,_2042)])],[],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [E Unfolding] %% conf([e,e],[state([token(exists_2(0,11),2):1],[token(exists_2(0,11),2)],[],3),state([(_2042,12,12,true,[exists_2(0,_2042)])],[],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [Activate] %% conf([e,e,e],[state([(_6062,100,102,true,[c_1(0,11,_6062)])],[],[],3),state([(_2042,12,12,true,[exists_2(0,_2042)])],[],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [E Simplify] %% conf([e,e,e],[state([c_1(0,11,100)],[],[],3),state([(_6062,101,102,true,[c_1(0,11,_6062)])],[],[],3),state([(_2042,12,12,true,[exists_2(0,_2042)])],[],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [E Unfolding] %% conf([e,e,e],[state([token(c_1(0,11,100),3):1],[token(c_1(0,11,100),3)],[],4),state([(_6062,101,102,true,[c_1(0,11,_6062)])],[],[],3),state([(_2042,12,12,true,[exists_2(0,_2042)])],[],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [Activate] %% conf([e,e,e],[state([c_2(0,11,100)],[],[],4),state([(_6062,101,102,true,[c_1(0,11,_6062)])],[],[],3),state([(_2042,12,12,true,[exists_2(0,_2042)])],[],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [Simplify] %% conf([e,e,e],[state([token(c_2(0,11,100),4):1],[token(c_2(0,11,100),4)],[],5),state([(_6062,101,102,true,[c_1(0,11,_6062)])],[],[],3),state([(_2042,12,12,true,[exists_2(0,_2042)])],[],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [Activate] %% conf([e,e,e],[state([false],[],[],5),state([(_6062,101,102,true,[c_1(0,11,_6062)])],[],[],3),state([(_2042,12,12,true,[exists_2(0,_2042)])],[],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [Simplify] %% conf([e,e,e],[failure,state([(_6062,101,102,true,[c_1(0,11,_6062)])],[],[],3),state([(_2042,12,12,true,[exists_2(0,_2042)])],[],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [Failure] %% conf([e,e,e],[state([(_6062,101,102,true,[c_1(0,11,_6062)])],[],[],3),state([(_2042,12,12,true,[exists_2(0,_2042)])],[],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [E FailurePropagate] %% conf([e,e,e],[state([c_1(0,11,101)],[],[],3),state([(_6062,102,102,true,[c_1(0,11,_6062)])],[],[],3),state([(_2042,12,12,true,[exists_2(0,_2042)])],[],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [E Unfolding] %% conf([e,e,e],[state([token(c_1(0,11,101),3):1],[token(c_1(0,11,101),3)],[],4),state([(_6062,102,102,true,[c_1(0,11,_6062)])],[],[],3),state([(_2042,12,12,true,[exists_2(0,_2042)])],[],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [Activate] %% conf([e,e,e],[state([c_2(0,11,101)],[],[],4),state([(_6062,102,102,true,[c_1(0,11,_6062)])],[],[],3),state([(_2042,12,12,true,[exists_2(0,_2042)])],[],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [Simplify] %% conf([e,e,e],[state([token(c_2(0,11,101),4):1],[token(c_2(0,11,101),4)],[],5),state([(_6062,102,102,true,[c_1(0,11,_6062)])],[],[],3),state([(_2042,12,12,true,[exists_2(0,_2042)])],[],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [Activate] %% conf([e,e,e],[state([false],[],[],5),state([(_6062,102,102,true,[c_1(0,11,_6062)])],[],[],3),state([(_2042,12,12,true,[exists_2(0,_2042)])],[],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [Simplify] %% conf([e,e,e],[failure,state([(_6062,102,102,true,[c_1(0,11,_6062)])],[],[],3),state([(_2042,12,12,true,[exists_2(0,_2042)])],[],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [Failure] %% conf([e,e,e],[state([(_6062,102,102,true,[c_1(0,11,_6062)])],[],[],3),state([(_2042,12,12,true,[exists_2(0,_2042)])],[],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [E FailurePropagate] %% conf([e,e,e],[state([c_1(0,11,102)],[],[],3),state([(_6062,103,102,true,[c_1(0,11,_6062)])],[],[],3),state([(_2042,12,12,true,[exists_2(0,_2042)])],[],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [E Unfolding] %% conf([e,e,e],[state([token(c_1(0,11,102),3):1],[token(c_1(0,11,102),3)],[],4),state([(_6062,103,102,true,[c_1(0,11,_6062)])],[],[],3),state([(_2042,12,12,true,[exists_2(0,_2042)])],[],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [Activate] %% conf([e,e,e],[state([c_2(0,11,102)],[],[],4),state([(_6062,103,102,true,[c_1(0,11,_6062)])],[],[],3),state([(_2042,12,12,true,[exists_2(0,_2042)])],[],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [Simplify] %% conf([e,e,e],[state([token(c_2(0,11,102),4):1],[token(c_2(0,11,102),4)],[],5),state([(_6062,103,102,true,[c_1(0,11,_6062)])],[],[],3),state([(_2042,12,12,true,[exists_2(0,_2042)])],[],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [Activate] %% conf([e,e,e],[state([false],[],[],5),state([(_6062,103,102,true,[c_1(0,11,_6062)])],[],[],3),state([(_2042,12,12,true,[exists_2(0,_2042)])],[],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [Simplify] %% conf([e,e,e],[failure,state([(_6062,103,102,true,[c_1(0,11,_6062)])],[],[],3),state([(_2042,12,12,true,[exists_2(0,_2042)])],[],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [Failure] %% conf([e,e,e],[state([(_6062,103,102,true,[c_1(0,11,_6062)])],[],[],3),state([(_2042,12,12,true,[exists_2(0,_2042)])],[],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [E FailurePropagate] %% conf([e,e],[failure,state([(_2042,12,12,true,[exists_2(0,_2042)])],[],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [E Failure] %% conf([e,e],[state([(_2042,12,12,true,[exists_2(0,_2042)])],[],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [E FailurePropagate] %% conf([e,e],[state([exists_2(0,12)],[],[],2),state([(_2042,13,12,true,[exists_2(0,_2042)])],[],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [E Unfolding] %% conf([e,e],[state([token(exists_2(0,12),2):1],[token(exists_2(0,12),2)],[],3),state([(_2042,13,12,true,[exists_2(0,_2042)])],[],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [Activate] %% conf([e,e,e],[state([(_9530,100,102,true,[c_1(0,12,_9530)])],[],[],3),state([(_2042,13,12,true,[exists_2(0,_2042)])],[],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [E Simplify] %% conf([e,e,e],[state([c_1(0,12,100)],[],[],3),state([(_9530,101,102,true,[c_1(0,12,_9530)])],[],[],3),state([(_2042,13,12,true,[exists_2(0,_2042)])],[],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [E Unfolding] %% conf([e,e,e],[state([token(c_1(0,12,100),3):1],[token(c_1(0,12,100),3)],[],4),state([(_9530,101,102,true,[c_1(0,12,_9530)])],[],[],3),state([(_2042,13,12,true,[exists_2(0,_2042)])],[],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [Activate] %% conf([e,e,e],[state([c_2(0,12,100)],[],[],4),state([(_9530,101,102,true,[c_1(0,12,_9530)])],[],[],3),state([(_2042,13,12,true,[exists_2(0,_2042)])],[],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [Simplify] %% conf([e,e,e],[state([token(c_2(0,12,100),4):1],[token(c_2(0,12,100),4)],[],5),state([(_9530,101,102,true,[c_1(0,12,_9530)])],[],[],3),state([(_2042,13,12,true,[exists_2(0,_2042)])],[],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [Activate] %% conf([e,e,e],[state([false],[],[],5),state([(_9530,101,102,true,[c_1(0,12,_9530)])],[],[],3),state([(_2042,13,12,true,[exists_2(0,_2042)])],[],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [Simplify] %% conf([e,e,e],[failure,state([(_9530,101,102,true,[c_1(0,12,_9530)])],[],[],3),state([(_2042,13,12,true,[exists_2(0,_2042)])],[],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [Failure] %% conf([e,e,e],[state([(_9530,101,102,true,[c_1(0,12,_9530)])],[],[],3),state([(_2042,13,12,true,[exists_2(0,_2042)])],[],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [E FailurePropagate] %% conf([e,e,e],[state([c_1(0,12,101)],[],[],3),state([(_9530,102,102,true,[c_1(0,12,_9530)])],[],[],3),state([(_2042,13,12,true,[exists_2(0,_2042)])],[],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [E Unfolding] %% conf([e,e,e],[state([token(c_1(0,12,101),3):1],[token(c_1(0,12,101),3)],[],4),state([(_9530,102,102,true,[c_1(0,12,_9530)])],[],[],3),state([(_2042,13,12,true,[exists_2(0,_2042)])],[],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [Activate] %% conf([e,e,e],[state([c_2(0,12,101)],[],[],4),state([(_9530,102,102,true,[c_1(0,12,_9530)])],[],[],3),state([(_2042,13,12,true,[exists_2(0,_2042)])],[],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [Simplify] %% conf([e,e,e],[state([token(c_2(0,12,101),4):1],[token(c_2(0,12,101),4)],[],5),state([(_9530,102,102,true,[c_1(0,12,_9530)])],[],[],3),state([(_2042,13,12,true,[exists_2(0,_2042)])],[],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [Activate] %% conf([e,e,e],[state([false],[],[],5),state([(_9530,102,102,true,[c_1(0,12,_9530)])],[],[],3),state([(_2042,13,12,true,[exists_2(0,_2042)])],[],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [Simplify] %% conf([e,e,e],[failure,state([(_9530,102,102,true,[c_1(0,12,_9530)])],[],[],3),state([(_2042,13,12,true,[exists_2(0,_2042)])],[],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [Failure] %% conf([e,e,e],[state([(_9530,102,102,true,[c_1(0,12,_9530)])],[],[],3),state([(_2042,13,12,true,[exists_2(0,_2042)])],[],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [E FailurePropagate] %% conf([e,e,e],[state([c_1(0,12,102)],[],[],3),state([(_9530,103,102,true,[c_1(0,12,_9530)])],[],[],3),state([(_2042,13,12,true,[exists_2(0,_2042)])],[],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [E Unfolding] %% conf([e,e,e],[state([token(c_1(0,12,102),3):1],[token(c_1(0,12,102),3)],[],4),state([(_9530,103,102,true,[c_1(0,12,_9530)])],[],[],3),state([(_2042,13,12,true,[exists_2(0,_2042)])],[],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [Activate] %% conf([e,e,e],[state([c_2(0,12,102)],[],[],4),state([(_9530,103,102,true,[c_1(0,12,_9530)])],[],[],3),state([(_2042,13,12,true,[exists_2(0,_2042)])],[],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [Simplify] %% conf([e,e,e],[state([token(c_2(0,12,102),4):1],[token(c_2(0,12,102),4)],[],5),state([(_9530,103,102,true,[c_1(0,12,_9530)])],[],[],3),state([(_2042,13,12,true,[exists_2(0,_2042)])],[],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [Activate] %% conf([e,e,e],[state([false],[],[],5),state([(_9530,103,102,true,[c_1(0,12,_9530)])],[],[],3),state([(_2042,13,12,true,[exists_2(0,_2042)])],[],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [Simplify] %% conf([e,e,e],[failure,state([(_9530,103,102,true,[c_1(0,12,_9530)])],[],[],3),state([(_2042,13,12,true,[exists_2(0,_2042)])],[],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [Failure] %% conf([e,e,e],[state([(_9530,103,102,true,[c_1(0,12,_9530)])],[],[],3),state([(_2042,13,12,true,[exists_2(0,_2042)])],[],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [E FailurePropagate] %% conf([e,e],[failure,state([(_2042,13,12,true,[exists_2(0,_2042)])],[],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [E Failure] %% conf([e,e],[state([(_2042,13,12,true,[exists_2(0,_2042)])],[],[],2),state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [E FailurePropagate] %% conf([e],[failure,state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [E Failure] %% conf([e],[state([(_1504,1,2,true,[exists_1(_1504)])],[],[],1)]) [E FailurePropagate] %% conf([e],[state([exists_1(1)],[],[],1),state([(_1504,2,2,true,[exists_1(_1504)])],[],[],1)]) [E Unfolding] %% conf([e],[state([token(exists_1(1),1):1],[token(exists_1(1),1)],[],2),state([(_1504,2,2,true,[exists_1(_1504)])],[],[],1)]) [Activate] %% conf([e,e],[state([(_13038,10,12,true,[exists_2(1,_13038)])],[],[],2),state([(_1504,2,2,true,[exists_1(_1504)])],[],[],1)]) [E Simplify] %% conf([e,e],[state([exists_2(1,10)],[],[],2),state([(_13038,11,12,true,[exists_2(1,_13038)])],[],[],2),state([(_1504,2,2,true,[exists_1(_1504)])],[],[],1)]) [E Unfolding] %% conf([e,e],[state([token(exists_2(1,10),2):1],[token(exists_2(1,10),2)],[],3),state([(_13038,11,12,true,[exists_2(1,_13038)])],[],[],2),state([(_1504,2,2,true,[exists_1(_1504)])],[],[],1)]) [Activate] %% conf([e,e,e],[state([(_13590,100,102,true,[c_1(1,10,_13590)])],[],[],3),state([(_13038,11,12,true,[exists_2(1,_13038)])],[],[],2),state([(_1504,2,2,true,[exists_1(_1504)])],[],[],1)]) [E Simplify] %% conf([e,e,e],[state([c_1(1,10,100)],[],[],3),state([(_13590,101,102,true,[c_1(1,10,_13590)])],[],[],3),state([(_13038,11,12,true,[exists_2(1,_13038)])],[],[],2),state([(_1504,2,2,true,[exists_1(_1504)])],[],[],1)]) [E Unfolding] %% conf([e,e,e],[state([token(c_1(1,10,100),3):1],[token(c_1(1,10,100),3)],[],4),state([(_13590,101,102,true,[c_1(1,10,_13590)])],[],[],3),state([(_13038,11,12,true,[exists_2(1,_13038)])],[],[],2),state([(_1504,2,2,true,[exists_1(_1504)])],[],[],1)]) [Activate] %% conf([e,e,e],[state([c_2(1,10,100)],[],[],4),state([(_13590,101,102,true,[c_1(1,10,_13590)])],[],[],3),state([(_13038,11,12,true,[exists_2(1,_13038)])],[],[],2),state([(_1504,2,2,true,[exists_1(_1504)])],[],[],1)]) [Simplify] %% conf([e,e,e],[state([token(c_2(1,10,100),4):1],[token(c_2(1,10,100),4)],[],5),state([(_13590,101,102,true,[c_1(1,10,_13590)])],[],[],3),state([(_13038,11,12,true,[exists_2(1,_13038)])],[],[],2),state([(_1504,2,2,true,[exists_1(_1504)])],[],[],1)]) [Activate] %% conf([e,e,e],[state([false],[],[],5),state([(_13590,101,102,true,[c_1(1,10,_13590)])],[],[],3),state([(_13038,11,12,true,[exists_2(1,_13038)])],[],[],2),state([(_1504,2,2,true,[exists_1(_1504)])],[],[],1)]) [Simplify] %% conf([e,e,e],[failure,state([(_13590,101,102,true,[c_1(1,10,_13590)])],[],[],3),state([(_13038,11,12,true,[exists_2(1,_13038)])],[],[],2),state([(_1504,2,2,true,[exists_1(_1504)])],[],[],1)]) [Failure] %% conf([e,e,e],[state([(_13590,101,102,true,[c_1(1,10,_13590)])],[],[],3),state([(_13038,11,12,true,[exists_2(1,_13038)])],[],[],2),state([(_1504,2,2,true,[exists_1(_1504)])],[],[],1)]) [E FailurePropagate] %% conf([e,e,e],[state([c_1(1,10,101)],[],[],3),state([(_13590,102,102,true,[c_1(1,10,_13590)])],[],[],3),state([(_13038,11,12,true,[exists_2(1,_13038)])],[],[],2),state([(_1504,2,2,true,[exists_1(_1504)])],[],[],1)]) [E Unfolding] %% conf([e,e,e],[state([token(c_1(1,10,101),3):1],[token(c_1(1,10,101),3)],[],4),state([(_13590,102,102,true,[c_1(1,10,_13590)])],[],[],3),state([(_13038,11,12,true,[exists_2(1,_13038)])],[],[],2),state([(_1504,2,2,true,[exists_1(_1504)])],[],[],1)]) [Activate] %% conf([e,e,e],[state([c_2(1,10,101)],[],[],4),state([(_704,102,102,true,[c_1(1,10,_704)])],[],[],3),state([(_654,11,12,true,[exists_2(1,_654)])],[],[],2),state([(_324,2,2,true,[exists_1(_324)])],[],[],1)]) [Simplify] %% conf([e,e,e],[state([token(c_2(1,10,101),4):1],[token(c_2(1,10,101),4)],[],5),state([(_704,102,102,true,[c_1(1,10,_704)])],[],[],3),state([(_654,11,12,true,[exists_2(1,_654)])],[],[],2),state([(_324,2,2,true,[exists_1(_324)])],[],[],1)]) [Activate] %% conf([e,e,e],[state([false],[],[],5),state([(_704,102,102,true,[c_1(1,10,_704)])],[],[],3),state([(_654,11,12,true,[exists_2(1,_654)])],[],[],2),state([(_324,2,2,true,[exists_1(_324)])],[],[],1)]) [Simplify] %% conf([e,e,e],[failure,state([(_704,102,102,true,[c_1(1,10,_704)])],[],[],3),state([(_654,11,12,true,[exists_2(1,_654)])],[],[],2),state([(_324,2,2,true,[exists_1(_324)])],[],[],1)]) [Failure] %% conf([e,e,e],[state([(_704,102,102,true,[c_1(1,10,_704)])],[],[],3),state([(_654,11,12,true,[exists_2(1,_654)])],[],[],2),state([(_324,2,2,true,[exists_1(_324)])],[],[],1)]) [E FailurePropagate] %% conf([e,e,e],[state([c_1(1,10,102)],[],[],3),state([(_704,103,102,true,[c_1(1,10,_704)])],[],[],3),state([(_654,11,12,true,[exists_2(1,_654)])],[],[],2),state([(_324,2,2,true,[exists_1(_324)])],[],[],1)]) [E Unfolding] %% conf([e,e,e],[state([token(c_1(1,10,102),3):1],[token(c_1(1,10,102),3)],[],4),state([(_704,103,102,true,[c_1(1,10,_704)])],[],[],3),state([(_654,11,12,true,[exists_2(1,_654)])],[],[],2),state([(_324,2,2,true,[exists_1(_324)])],[],[],1)]) [Activate] %% conf([e,e,e],[state([c_2(1,10,102)],[],[],4),state([(_704,103,102,true,[c_1(1,10,_704)])],[],[],3),state([(_654,11,12,true,[exists_2(1,_654)])],[],[],2),state([(_324,2,2,true,[exists_1(_324)])],[],[],1)]) [Simplify] %% conf([e,e,e],[state([token(c_2(1,10,102),4):1],[token(c_2(1,10,102),4)],[],5),state([(_704,103,102,true,[c_1(1,10,_704)])],[],[],3),state([(_654,11,12,true,[exists_2(1,_654)])],[],[],2),state([(_324,2,2,true,[exists_1(_324)])],[],[],1)]) [Activate] %% conf([e,e,e],[state([false],[],[],5),state([(_704,103,102,true,[c_1(1,10,_704)])],[],[],3),state([(_654,11,12,true,[exists_2(1,_654)])],[],[],2),state([(_324,2,2,true,[exists_1(_324)])],[],[],1)]) [Simplify] %% conf([e,e,e],[failure,state([(_704,103,102,true,[c_1(1,10,_704)])],[],[],3),state([(_654,11,12,true,[exists_2(1,_654)])],[],[],2),state([(_324,2,2,true,[exists_1(_324)])],[],[],1)]) [Failure] %% conf([e,e,e],[state([(_704,103,102,true,[c_1(1,10,_704)])],[],[],3),state([(_654,11,12,true,[exists_2(1,_654)])],[],[],2),state([(_324,2,2,true,[exists_1(_324)])],[],[],1)]) [E FailurePropagate] %% conf([e,e],[failure,state([(_654,11,12,true,[exists_2(1,_654)])],[],[],2),state([(_324,2,2,true,[exists_1(_324)])],[],[],1)]) [E Failure] %% conf([e,e],[state([(_654,11,12,true,[exists_2(1,_654)])],[],[],2),state([(_324,2,2,true,[exists_1(_324)])],[],[],1)]) [E FailurePropagate] %% conf([e,e],[state([exists_2(1,11)],[],[],2),state([(_654,12,12,true,[exists_2(1,_654)])],[],[],2),state([(_324,2,2,true,[exists_1(_324)])],[],[],1)]) [E Unfolding] %% conf([e,e],[state([token(exists_2(1,11),2):1],[token(exists_2(1,11),2)],[],3),state([(_654,12,12,true,[exists_2(1,_654)])],[],[],2),state([(_324,2,2,true,[exists_1(_324)])],[],[],1)]) [Activate] %% conf([e,e,e],[state([(_2820,100,102,true,[c_1(1,11,_2820)])],[],[],3),state([(_654,12,12,true,[exists_2(1,_654)])],[],[],2),state([(_324,2,2,true,[exists_1(_324)])],[],[],1)]) [E Simplify] %% conf([e,e,e],[state([c_1(1,11,100)],[],[],3),state([(_2820,101,102,true,[c_1(1,11,_2820)])],[],[],3),state([(_654,12,12,true,[exists_2(1,_654)])],[],[],2),state([(_324,2,2,true,[exists_1(_324)])],[],[],1)]) [E Unfolding] %% conf([e,e,e],[state([token(c_1(1,11,100),3):1],[token(c_1(1,11,100),3)],[],4),state([(_2820,101,102,true,[c_1(1,11,_2820)])],[],[],3),state([(_654,12,12,true,[exists_2(1,_654)])],[],[],2),state([(_324,2,2,true,[exists_1(_324)])],[],[],1)]) [Activate] %% conf([e,e,e],[state([c_2(1,11,100)],[],[],4),state([(_2820,101,102,true,[c_1(1,11,_2820)])],[],[],3),state([(_654,12,12,true,[exists_2(1,_654)])],[],[],2),state([(_324,2,2,true,[exists_1(_324)])],[],[],1)]) [Simplify] %% conf([e,e,e],[state([token(c_2(1,11,100),4):1],[token(c_2(1,11,100),4)],[],5),state([(_2820,101,102,true,[c_1(1,11,_2820)])],[],[],3),state([(_654,12,12,true,[exists_2(1,_654)])],[],[],2),state([(_324,2,2,true,[exists_1(_324)])],[],[],1)]) [Activate] %% conf([e,e,e],[state([false],[],[],5),state([(_2820,101,102,true,[c_1(1,11,_2820)])],[],[],3),state([(_654,12,12,true,[exists_2(1,_654)])],[],[],2),state([(_324,2,2,true,[exists_1(_324)])],[],[],1)]) [Simplify] %% conf([e,e,e],[failure,state([(_2820,101,102,true,[c_1(1,11,_2820)])],[],[],3),state([(_654,12,12,true,[exists_2(1,_654)])],[],[],2),state([(_324,2,2,true,[exists_1(_324)])],[],[],1)]) [Failure] %% conf([e,e,e],[state([(_2820,101,102,true,[c_1(1,11,_2820)])],[],[],3),state([(_654,12,12,true,[exists_2(1,_654)])],[],[],2),state([(_324,2,2,true,[exists_1(_324)])],[],[],1)]) [E FailurePropagate] %% conf([e,e,e],[state([c_1(1,11,101)],[],[],3),state([(_2820,102,102,true,[c_1(1,11,_2820)])],[],[],3),state([(_654,12,12,true,[exists_2(1,_654)])],[],[],2),state([(_324,2,2,true,[exists_1(_324)])],[],[],1)]) [E Unfolding] %% conf([e,e,e],[state([token(c_1(1,11,101),3):1],[token(c_1(1,11,101),3)],[],4),state([(_2820,102,102,true,[c_1(1,11,_2820)])],[],[],3),state([(_654,12,12,true,[exists_2(1,_654)])],[],[],2),state([(_324,2,2,true,[exists_1(_324)])],[],[],1)]) [Activate] %% conf([e,e,e],[state([c_2(1,11,101)],[],[],4),state([(_2820,102,102,true,[c_1(1,11,_2820)])],[],[],3),state([(_654,12,12,true,[exists_2(1,_654)])],[],[],2),state([(_324,2,2,true,[exists_1(_324)])],[],[],1)]) [Simplify] %% conf([e,e,e],[state([token(c_2(1,11,101),4):1],[token(c_2(1,11,101),4)],[],5),state([(_2820,102,102,true,[c_1(1,11,_2820)])],[],[],3),state([(_654,12,12,true,[exists_2(1,_654)])],[],[],2),state([(_324,2,2,true,[exists_1(_324)])],[],[],1)]) [Activate] %% conf([e,e,e],[state([false],[],[],5),state([(_2820,102,102,true,[c_1(1,11,_2820)])],[],[],3),state([(_654,12,12,true,[exists_2(1,_654)])],[],[],2),state([(_324,2,2,true,[exists_1(_324)])],[],[],1)]) [Simplify] %% conf([e,e,e],[failure,state([(_2820,102,102,true,[c_1(1,11,_2820)])],[],[],3),state([(_654,12,12,true,[exists_2(1,_654)])],[],[],2),state([(_324,2,2,true,[exists_1(_324)])],[],[],1)]) [Failure] %% conf([e,e,e],[state([(_2820,102,102,true,[c_1(1,11,_2820)])],[],[],3),state([(_654,12,12,true,[exists_2(1,_654)])],[],[],2),state([(_324,2,2,true,[exists_1(_324)])],[],[],1)]) [E FailurePropagate] %% conf([e,e,e],[state([c_1(1,11,102)],[],[],3),state([(_2820,103,102,true,[c_1(1,11,_2820)])],[],[],3),state([(_654,12,12,true,[exists_2(1,_654)])],[],[],2),state([(_324,2,2,true,[exists_1(_324)])],[],[],1)]) [E Unfolding] %% conf([e,e,e],[state([token(c_1(1,11,102),3):1],[token(c_1(1,11,102),3)],[],4),state([(_2820,103,102,true,[c_1(1,11,_2820)])],[],[],3),state([(_654,12,12,true,[exists_2(1,_654)])],[],[],2),state([(_324,2,2,true,[exists_1(_324)])],[],[],1)]) [Activate] %% conf([e,e,e],[state([c_2(1,11,102)],[],[],4),state([(_2820,103,102,true,[c_1(1,11,_2820)])],[],[],3),state([(_654,12,12,true,[exists_2(1,_654)])],[],[],2),state([(_324,2,2,true,[exists_1(_324)])],[],[],1)]) [Simplify] %% conf([e,e,e],[state([token(c_2(1,11,102),4):1],[token(c_2(1,11,102),4)],[],5),state([(_2820,103,102,true,[c_1(1,11,_2820)])],[],[],3),state([(_654,12,12,true,[exists_2(1,_654)])],[],[],2),state([(_324,2,2,true,[exists_1(_324)])],[],[],1)]) [Activate] %% conf([e,e,e],[state([false],[],[],5),state([(_2820,103,102,true,[c_1(1,11,_2820)])],[],[],3),state([(_654,12,12,true,[exists_2(1,_654)])],[],[],2),state([(_324,2,2,true,[exists_1(_324)])],[],[],1)]) [Simplify] %% conf([e,e,e],[failure,state([(_2820,103,102,true,[c_1(1,11,_2820)])],[],[],3),state([(_654,12,12,true,[exists_2(1,_654)])],[],[],2),state([(_324,2,2,true,[exists_1(_324)])],[],[],1)]) [Failure] %% conf([e,e,e],[state([(_2820,103,102,true,[c_1(1,11,_2820)])],[],[],3),state([(_654,12,12,true,[exists_2(1,_654)])],[],[],2),state([(_324,2,2,true,[exists_1(_324)])],[],[],1)]) [E FailurePropagate] %% conf([e,e],[failure,state([(_654,12,12,true,[exists_2(1,_654)])],[],[],2),state([(_324,2,2,true,[exists_1(_324)])],[],[],1)]) [E Failure] %% conf([e,e],[state([(_654,12,12,true,[exists_2(1,_654)])],[],[],2),state([(_324,2,2,true,[exists_1(_324)])],[],[],1)]) [E FailurePropagate] %% conf([e,e],[state([exists_2(1,12)],[],[],2),state([(_654,13,12,true,[exists_2(1,_654)])],[],[],2),state([(_324,2,2,true,[exists_1(_324)])],[],[],1)]) [E Unfolding] %% conf([e,e],[state([token(exists_2(1,12),2):1],[token(exists_2(1,12),2)],[],3),state([(_654,13,12,true,[exists_2(1,_654)])],[],[],2),state([(_324,2,2,true,[exists_1(_324)])],[],[],1)]) [Activate] %% conf([e,e,e],[state([(_6288,100,102,true,[c_1(1,12,_6288)])],[],[],3),state([(_654,13,12,true,[exists_2(1,_654)])],[],[],2),state([(_324,2,2,true,[exists_1(_324)])],[],[],1)]) [E Simplify] %% conf([e,e,e],[state([c_1(1,12,100)],[],[],3),state([(_6288,101,102,true,[c_1(1,12,_6288)])],[],[],3),state([(_654,13,12,true,[exists_2(1,_654)])],[],[],2),state([(_324,2,2,true,[exists_1(_324)])],[],[],1)]) [E Unfolding] %% conf([e,e,e],[state([token(c_1(1,12,100),3):1],[token(c_1(1,12,100),3)],[],4),state([(_6288,101,102,true,[c_1(1,12,_6288)])],[],[],3),state([(_654,13,12,true,[exists_2(1,_654)])],[],[],2),state([(_324,2,2,true,[exists_1(_324)])],[],[],1)]) [Activate] %% conf([e,e,e],[state([c_2(1,12,100)],[],[],4),state([(_6288,101,102,true,[c_1(1,12,_6288)])],[],[],3),state([(_654,13,12,true,[exists_2(1,_654)])],[],[],2),state([(_324,2,2,true,[exists_1(_324)])],[],[],1)]) [Simplify] %% conf([e,e,e],[state([token(c_2(1,12,100),4):1],[token(c_2(1,12,100),4)],[],5),state([(_6288,101,102,true,[c_1(1,12,_6288)])],[],[],3),state([(_654,13,12,true,[exists_2(1,_654)])],[],[],2),state([(_324,2,2,true,[exists_1(_324)])],[],[],1)]) [Activate] %% conf([e,e,e],[state([false],[],[],5),state([(_6288,101,102,true,[c_1(1,12,_6288)])],[],[],3),state([(_654,13,12,true,[exists_2(1,_654)])],[],[],2),state([(_324,2,2,true,[exists_1(_324)])],[],[],1)]) [Simplify] %% conf([e,e,e],[failure,state([(_6288,101,102,true,[c_1(1,12,_6288)])],[],[],3),state([(_654,13,12,true,[exists_2(1,_654)])],[],[],2),state([(_324,2,2,true,[exists_1(_324)])],[],[],1)]) [Failure] %% conf([e,e,e],[state([(_6288,101,102,true,[c_1(1,12,_6288)])],[],[],3),state([(_654,13,12,true,[exists_2(1,_654)])],[],[],2),state([(_324,2,2,true,[exists_1(_324)])],[],[],1)]) [E FailurePropagate] %% conf([e,e,e],[state([c_1(1,12,101)],[],[],3),state([(_6288,102,102,true,[c_1(1,12,_6288)])],[],[],3),state([(_654,13,12,true,[exists_2(1,_654)])],[],[],2),state([(_324,2,2,true,[exists_1(_324)])],[],[],1)]) [E Unfolding] %% conf([e,e,e],[state([token(c_1(1,12,101),3):1],[token(c_1(1,12,101),3)],[],4),state([(_6288,102,102,true,[c_1(1,12,_6288)])],[],[],3),state([(_654,13,12,true,[exists_2(1,_654)])],[],[],2),state([(_324,2,2,true,[exists_1(_324)])],[],[],1)]) [Activate] %% conf([e,e,e],[state([c_2(1,12,101)],[],[],4),state([(_6288,102,102,true,[c_1(1,12,_6288)])],[],[],3),state([(_654,13,12,true,[exists_2(1,_654)])],[],[],2),state([(_324,2,2,true,[exists_1(_324)])],[],[],1)]) [Simplify] %% conf([e,e,e],[state([token(c_2(1,12,101),4):1],[token(c_2(1,12,101),4)],[],5),state([(_6288,102,102,true,[c_1(1,12,_6288)])],[],[],3),state([(_654,13,12,true,[exists_2(1,_654)])],[],[],2),state([(_324,2,2,true,[exists_1(_324)])],[],[],1)]) [Activate] %% conf([e,e,e],[state([false],[],[],5),state([(_6288,102,102,true,[c_1(1,12,_6288)])],[],[],3),state([(_654,13,12,true,[exists_2(1,_654)])],[],[],2),state([(_324,2,2,true,[exists_1(_324)])],[],[],1)]) [Simplify] %% conf([e,e,e],[failure,state([(_6288,102,102,true,[c_1(1,12,_6288)])],[],[],3),state([(_654,13,12,true,[exists_2(1,_654)])],[],[],2),state([(_324,2,2,true,[exists_1(_324)])],[],[],1)]) [Failure] %% conf([e,e,e],[state([(_6288,102,102,true,[c_1(1,12,_6288)])],[],[],3),state([(_654,13,12,true,[exists_2(1,_654)])],[],[],2),state([(_324,2,2,true,[exists_1(_324)])],[],[],1)]) [E FailurePropagate] %% conf([e,e,e],[state([c_1(1,12,102)],[],[],3),state([(_6288,103,102,true,[c_1(1,12,_6288)])],[],[],3),state([(_654,13,12,true,[exists_2(1,_654)])],[],[],2),state([(_324,2,2,true,[exists_1(_324)])],[],[],1)]) [E Unfolding] %% conf([e,e,e],[state([token(c_1(1,12,102),3):1],[token(c_1(1,12,102),3)],[],4),state([(_6288,103,102,true,[c_1(1,12,_6288)])],[],[],3),state([(_654,13,12,true,[exists_2(1,_654)])],[],[],2),state([(_324,2,2,true,[exists_1(_324)])],[],[],1)]) [Activate] %% conf([e,e,e],[state([c_2(1,12,102)],[],[],4),state([(_6288,103,102,true,[c_1(1,12,_6288)])],[],[],3),state([(_654,13,12,true,[exists_2(1,_654)])],[],[],2),state([(_324,2,2,true,[exists_1(_324)])],[],[],1)]) [Simplify] %% conf([e,e,e],[state([token(c_2(1,12,102),4):1],[token(c_2(1,12,102),4)],[],5),state([(_6288,103,102,true,[c_1(1,12,_6288)])],[],[],3),state([(_654,13,12,true,[exists_2(1,_654)])],[],[],2),state([(_324,2,2,true,[exists_1(_324)])],[],[],1)]) [Activate] %% conf([e,e,e],[state([false],[],[],5),state([(_6288,103,102,true,[c_1(1,12,_6288)])],[],[],3),state([(_654,13,12,true,[exists_2(1,_654)])],[],[],2),state([(_324,2,2,true,[exists_1(_324)])],[],[],1)]) [Simplify] %% conf([e,e,e],[failure,state([(_6288,103,102,true,[c_1(1,12,_6288)])],[],[],3),state([(_654,13,12,true,[exists_2(1,_654)])],[],[],2),state([(_324,2,2,true,[exists_1(_324)])],[],[],1)]) [Failure] %% conf([e,e,e],[state([(_6288,103,102,true,[c_1(1,12,_6288)])],[],[],3),state([(_654,13,12,true,[exists_2(1,_654)])],[],[],2),state([(_324,2,2,true,[exists_1(_324)])],[],[],1)]) [E FailurePropagate] %% conf([e,e],[failure,state([(_654,13,12,true,[exists_2(1,_654)])],[],[],2),state([(_324,2,2,true,[exists_1(_324)])],[],[],1)]) [E Failure] %% conf([e,e],[state([(_654,13,12,true,[exists_2(1,_654)])],[],[],2),state([(_324,2,2,true,[exists_1(_324)])],[],[],1)]) [E FailurePropagate] %% conf([e],[failure,state([(_324,2,2,true,[exists_1(_324)])],[],[],1)]) [E Failure] %% conf([e],[state([(_324,2,2,true,[exists_1(_324)])],[],[],1)]) [E FailurePropagate] %% conf([e],[state([exists_1(2)],[],[],1),state([(_324,3,2,true,[exists_1(_324)])],[],[],1)]) [E Unfolding] %% conf([e],[state([token(exists_1(2),1):1],[token(exists_1(2),1)],[],2),state([(_324,3,2,true,[exists_1(_324)])],[],[],1)]) [Activate] %% conf([e,e],[state([(_9796,10,12,true,[exists_2(2,_9796)])],[],[],2),state([(_324,3,2,true,[exists_1(_324)])],[],[],1)]) [E Simplify] %% conf([e,e],[state([exists_2(2,10)],[],[],2),state([(_9796,11,12,true,[exists_2(2,_9796)])],[],[],2),state([(_324,3,2,true,[exists_1(_324)])],[],[],1)]) [E Unfolding] %% conf([e,e],[state([token(exists_2(2,10),2):1],[token(exists_2(2,10),2)],[],3),state([(_9796,11,12,true,[exists_2(2,_9796)])],[],[],2),state([(_324,3,2,true,[exists_1(_324)])],[],[],1)]) [Activate] %% conf([e,e,e],[state([(_10348,100,102,true,[c_1(2,10,_10348)])],[],[],3),state([(_9796,11,12,true,[exists_2(2,_9796)])],[],[],2),state([(_324,3,2,true,[exists_1(_324)])],[],[],1)]) [E Simplify] %% conf([e,e,e],[state([c_1(2,10,100)],[],[],3),state([(_10348,101,102,true,[c_1(2,10,_10348)])],[],[],3),state([(_9796,11,12,true,[exists_2(2,_9796)])],[],[],2),state([(_324,3,2,true,[exists_1(_324)])],[],[],1)]) [E Unfolding] %% conf([e,e,e],[state([token(c_1(2,10,100),3):1],[token(c_1(2,10,100),3)],[],4),state([(_10348,101,102,true,[c_1(2,10,_10348)])],[],[],3),state([(_9796,11,12,true,[exists_2(2,_9796)])],[],[],2),state([(_324,3,2,true,[exists_1(_324)])],[],[],1)]) [Activate] %% conf([e,e,e],[state([c_2(2,10,100)],[],[],4),state([(_10348,101,102,true,[c_1(2,10,_10348)])],[],[],3),state([(_9796,11,12,true,[exists_2(2,_9796)])],[],[],2),state([(_324,3,2,true,[exists_1(_324)])],[],[],1)]) [Simplify] %% conf([e,e,e],[state([token(c_2(2,10,100),4):1],[token(c_2(2,10,100),4)],[],5),state([(_10348,101,102,true,[c_1(2,10,_10348)])],[],[],3),state([(_9796,11,12,true,[exists_2(2,_9796)])],[],[],2),state([(_324,3,2,true,[exists_1(_324)])],[],[],1)]) [Activate] %% conf([e,e,e],[state([false],[],[],5),state([(_10348,101,102,true,[c_1(2,10,_10348)])],[],[],3),state([(_9796,11,12,true,[exists_2(2,_9796)])],[],[],2),state([(_324,3,2,true,[exists_1(_324)])],[],[],1)]) [Simplify] %% conf([e,e,e],[failure,state([(_10348,101,102,true,[c_1(2,10,_10348)])],[],[],3),state([(_9796,11,12,true,[exists_2(2,_9796)])],[],[],2),state([(_324,3,2,true,[exists_1(_324)])],[],[],1)]) [Failure] %% conf([e,e,e],[state([(_10348,101,102,true,[c_1(2,10,_10348)])],[],[],3),state([(_9796,11,12,true,[exists_2(2,_9796)])],[],[],2),state([(_324,3,2,true,[exists_1(_324)])],[],[],1)]) [E FailurePropagate] %% conf([e,e,e],[state([c_1(2,10,101)],[],[],3),state([(_10348,102,102,true,[c_1(2,10,_10348)])],[],[],3),state([(_9796,11,12,true,[exists_2(2,_9796)])],[],[],2),state([(_324,3,2,true,[exists_1(_324)])],[],[],1)]) [E Unfolding] %% conf([e,e,e],[state([token(c_1(2,10,101),3):1],[token(c_1(2,10,101),3)],[],4),state([(_10348,102,102,true,[c_1(2,10,_10348)])],[],[],3),state([(_9796,11,12,true,[exists_2(2,_9796)])],[],[],2),state([(_324,3,2,true,[exists_1(_324)])],[],[],1)]) [Activate] %% conf([e,e,e],[state([c_2(2,10,101)],[],[],4),state([(_10348,102,102,true,[c_1(2,10,_10348)])],[],[],3),state([(_9796,11,12,true,[exists_2(2,_9796)])],[],[],2),state([(_324,3,2,true,[exists_1(_324)])],[],[],1)]) [Simplify] %% conf([e,e,e],[state([token(c_2(2,10,101),4):1],[token(c_2(2,10,101),4)],[],5),state([(_10348,102,102,true,[c_1(2,10,_10348)])],[],[],3),state([(_9796,11,12,true,[exists_2(2,_9796)])],[],[],2),state([(_324,3,2,true,[exists_1(_324)])],[],[],1)]) [Activate] %% conf([e,e,e],[state([false],[],[],5),state([(_10348,102,102,true,[c_1(2,10,_10348)])],[],[],3),state([(_9796,11,12,true,[exists_2(2,_9796)])],[],[],2),state([(_324,3,2,true,[exists_1(_324)])],[],[],1)]) [Simplify] %% conf([e,e,e],[failure,state([(_10348,102,102,true,[c_1(2,10,_10348)])],[],[],3),state([(_9796,11,12,true,[exists_2(2,_9796)])],[],[],2),state([(_324,3,2,true,[exists_1(_324)])],[],[],1)]) [Failure] %% conf([e,e,e],[state([(_10348,102,102,true,[c_1(2,10,_10348)])],[],[],3),state([(_9796,11,12,true,[exists_2(2,_9796)])],[],[],2),state([(_324,3,2,true,[exists_1(_324)])],[],[],1)]) [E FailurePropagate] %% conf([e,e,e],[state([c_1(2,10,102)],[],[],3),state([(_10348,103,102,true,[c_1(2,10,_10348)])],[],[],3),state([(_9796,11,12,true,[exists_2(2,_9796)])],[],[],2),state([(_324,3,2,true,[exists_1(_324)])],[],[],1)]) [E Unfolding] %% conf([e,e,e],[state([token(c_1(2,10,102),3):1],[token(c_1(2,10,102),3)],[],4),state([(_10348,103,102,true,[c_1(2,10,_10348)])],[],[],3),state([(_9796,11,12,true,[exists_2(2,_9796)])],[],[],2),state([(_324,3,2,true,[exists_1(_324)])],[],[],1)]) [Activate] %% conf([e,e,e],[state([c_2(2,10,102)],[],[],4),state([(_10348,103,102,true,[c_1(2,10,_10348)])],[],[],3),state([(_9796,11,12,true,[exists_2(2,_9796)])],[],[],2),state([(_324,3,2,true,[exists_1(_324)])],[],[],1)]) [Simplify] %% conf([e,e,e],[state([token(c_2(2,10,102),4):1],[token(c_2(2,10,102),4)],[],5),state([(_10348,103,102,true,[c_1(2,10,_10348)])],[],[],3),state([(_9796,11,12,true,[exists_2(2,_9796)])],[],[],2),state([(_324,3,2,true,[exists_1(_324)])],[],[],1)]) [Activate] %% conf([e,e,e],[state([false],[],[],5),state([(_10348,103,102,true,[c_1(2,10,_10348)])],[],[],3),state([(_9796,11,12,true,[exists_2(2,_9796)])],[],[],2),state([(_324,3,2,true,[exists_1(_324)])],[],[],1)]) [Simplify] %% conf([e,e,e],[failure,state([(_10348,103,102,true,[c_1(2,10,_10348)])],[],[],3),state([(_9796,11,12,true,[exists_2(2,_9796)])],[],[],2),state([(_324,3,2,true,[exists_1(_324)])],[],[],1)]) [Failure] %% conf([e,e,e],[state([(_10348,103,102,true,[c_1(2,10,_10348)])],[],[],3),state([(_9796,11,12,true,[exists_2(2,_9796)])],[],[],2),state([(_324,3,2,true,[exists_1(_324)])],[],[],1)]) [E FailurePropagate] %% conf([e,e],[failure,state([(_9796,11,12,true,[exists_2(2,_9796)])],[],[],2),state([(_324,3,2,true,[exists_1(_324)])],[],[],1)]) [E Failure] %% conf([e,e],[state([(_9796,11,12,true,[exists_2(2,_9796)])],[],[],2),state([(_324,3,2,true,[exists_1(_324)])],[],[],1)]) [E FailurePropagate] %% conf([e,e],[state([exists_2(2,11)],[],[],2),state([(_9796,12,12,true,[exists_2(2,_9796)])],[],[],2),state([(_324,3,2,true,[exists_1(_324)])],[],[],1)]) [E Unfolding] %% conf([e,e],[state([token(exists_2(2,11),2):1],[token(exists_2(2,11),2)],[],3),state([(_9796,12,12,true,[exists_2(2,_9796)])],[],[],2),state([(_324,3,2,true,[exists_1(_324)])],[],[],1)]) [Activate] %% conf([e,e,e],[state([(_13816,100,102,true,[c_1(2,11,_13816)])],[],[],3),state([(_9796,12,12,true,[exists_2(2,_9796)])],[],[],2),state([(_324,3,2,true,[exists_1(_324)])],[],[],1)]) [E Simplify] %% conf([e,e,e],[state([c_1(2,11,100)],[],[],3),state([(_13816,101,102,true,[c_1(2,11,_13816)])],[],[],3),state([(_9796,12,12,true,[exists_2(2,_9796)])],[],[],2),state([(_324,3,2,true,[exists_1(_324)])],[],[],1)]) [E Unfolding] %% conf([e,e,e],[state([token(c_1(2,11,100),3):1],[token(c_1(2,11,100),3)],[],4),state([(_13816,101,102,true,[c_1(2,11,_13816)])],[],[],3),state([(_9796,12,12,true,[exists_2(2,_9796)])],[],[],2),state([(_324,3,2,true,[exists_1(_324)])],[],[],1)]) [Activate] %% conf([e,e,e],[state([c_2(2,11,100)],[],[],4),state([(_13816,101,102,true,[c_1(2,11,_13816)])],[],[],3),state([(_9796,12,12,true,[exists_2(2,_9796)])],[],[],2),state([(_324,3,2,true,[exists_1(_324)])],[],[],1)]) [Simplify] %% conf([e,e,e],[state([token(c_2(2,11,100),4):1],[token(c_2(2,11,100),4)],[],5),state([(_13816,101,102,true,[c_1(2,11,_13816)])],[],[],3),state([(_9796,12,12,true,[exists_2(2,_9796)])],[],[],2),state([(_324,3,2,true,[exists_1(_324)])],[],[],1)]) [Activate] %% conf([e,e,e],[state([false],[],[],5),state([(_13816,101,102,true,[c_1(2,11,_13816)])],[],[],3),state([(_9796,12,12,true,[exists_2(2,_9796)])],[],[],2),state([(_324,3,2,true,[exists_1(_324)])],[],[],1)]) [Simplify] %% conf([e,e,e],[failure,state([(_13816,101,102,true,[c_1(2,11,_13816)])],[],[],3),state([(_9796,12,12,true,[exists_2(2,_9796)])],[],[],2),state([(_324,3,2,true,[exists_1(_324)])],[],[],1)]) [Failure] %% conf([e,e,e],[state([(_13816,101,102,true,[c_1(2,11,_13816)])],[],[],3),state([(_9796,12,12,true,[exists_2(2,_9796)])],[],[],2),state([(_324,3,2,true,[exists_1(_324)])],[],[],1)]) [E FailurePropagate] %% conf([e,e,e],[state([c_1(2,11,101)],[],[],3),state([(_13816,102,102,true,[c_1(2,11,_13816)])],[],[],3),state([(_9796,12,12,true,[exists_2(2,_9796)])],[],[],2),state([(_324,3,2,true,[exists_1(_324)])],[],[],1)]) [E Unfolding] %% conf([e,e,e],[state([token(c_1(2,11,101),3):1],[token(c_1(2,11,101),3)],[],4),state([(_13816,102,102,true,[c_1(2,11,_13816)])],[],[],3),state([(_9796,12,12,true,[exists_2(2,_9796)])],[],[],2),state([(_324,3,2,true,[exists_1(_324)])],[],[],1)]) [Activate] %% conf([e,e,e],[state([c_2(2,11,101)],[],[],4),state([(_1050,102,102,true,[c_1(2,11,_1050)])],[],[],3),state([(_930,12,12,true,[exists_2(2,_930)])],[],[],2),state([(_316,3,2,true,[exists_1(_316)])],[],[],1)]) [Simplify] %% conf([e,e,e],[state([token(c_2(2,11,101),4):1],[token(c_2(2,11,101),4)],[],5),state([(_1050,102,102,true,[c_1(2,11,_1050)])],[],[],3),state([(_930,12,12,true,[exists_2(2,_930)])],[],[],2),state([(_316,3,2,true,[exists_1(_316)])],[],[],1)]) [Activate] %% conf([e,e,e],[state([false],[],[],5),state([(_1050,102,102,true,[c_1(2,11,_1050)])],[],[],3),state([(_930,12,12,true,[exists_2(2,_930)])],[],[],2),state([(_316,3,2,true,[exists_1(_316)])],[],[],1)]) [Simplify] %% conf([e,e,e],[failure,state([(_1050,102,102,true,[c_1(2,11,_1050)])],[],[],3),state([(_930,12,12,true,[exists_2(2,_930)])],[],[],2),state([(_316,3,2,true,[exists_1(_316)])],[],[],1)]) [Failure] %% conf([e,e,e],[state([(_1050,102,102,true,[c_1(2,11,_1050)])],[],[],3),state([(_930,12,12,true,[exists_2(2,_930)])],[],[],2),state([(_316,3,2,true,[exists_1(_316)])],[],[],1)]) [E FailurePropagate] %% conf([e,e,e],[state([c_1(2,11,102)],[],[],3),state([(_1050,103,102,true,[c_1(2,11,_1050)])],[],[],3),state([(_930,12,12,true,[exists_2(2,_930)])],[],[],2),state([(_316,3,2,true,[exists_1(_316)])],[],[],1)]) [E Unfolding] %% conf([e,e,e],[state([token(c_1(2,11,102),3):1],[token(c_1(2,11,102),3)],[],4),state([(_1050,103,102,true,[c_1(2,11,_1050)])],[],[],3),state([(_930,12,12,true,[exists_2(2,_930)])],[],[],2),state([(_316,3,2,true,[exists_1(_316)])],[],[],1)]) [Activate] %% conf([e,e,e],[state([c_2(2,11,102)],[],[],4),state([(_1050,103,102,true,[c_1(2,11,_1050)])],[],[],3),state([(_930,12,12,true,[exists_2(2,_930)])],[],[],2),state([(_316,3,2,true,[exists_1(_316)])],[],[],1)]) [Simplify] %% conf([e,e,e],[state([token(c_2(2,11,102),4):1],[token(c_2(2,11,102),4)],[],5),state([(_1050,103,102,true,[c_1(2,11,_1050)])],[],[],3),state([(_930,12,12,true,[exists_2(2,_930)])],[],[],2),state([(_316,3,2,true,[exists_1(_316)])],[],[],1)]) [Activate] %% conf([e,e,e],[state([false],[],[],5),state([(_1050,103,102,true,[c_1(2,11,_1050)])],[],[],3),state([(_930,12,12,true,[exists_2(2,_930)])],[],[],2),state([(_316,3,2,true,[exists_1(_316)])],[],[],1)]) [Simplify] %% conf([e,e,e],[failure,state([(_1050,103,102,true,[c_1(2,11,_1050)])],[],[],3),state([(_930,12,12,true,[exists_2(2,_930)])],[],[],2),state([(_316,3,2,true,[exists_1(_316)])],[],[],1)]) [Failure] %% conf([e,e,e],[state([(_1050,103,102,true,[c_1(2,11,_1050)])],[],[],3),state([(_930,12,12,true,[exists_2(2,_930)])],[],[],2),state([(_316,3,2,true,[exists_1(_316)])],[],[],1)]) [E FailurePropagate] %% conf([e,e],[failure,state([(_930,12,12,true,[exists_2(2,_930)])],[],[],2),state([(_316,3,2,true,[exists_1(_316)])],[],[],1)]) [E Failure] %% conf([e,e],[state([(_930,12,12,true,[exists_2(2,_930)])],[],[],2),state([(_316,3,2,true,[exists_1(_316)])],[],[],1)]) [E FailurePropagate] %% conf([e,e],[state([exists_2(2,12)],[],[],2),state([(_930,13,12,true,[exists_2(2,_930)])],[],[],2),state([(_316,3,2,true,[exists_1(_316)])],[],[],1)]) [E Unfolding] %% conf([e,e],[state([token(exists_2(2,12),2):1],[token(exists_2(2,12),2)],[],3),state([(_930,13,12,true,[exists_2(2,_930)])],[],[],2),state([(_316,3,2,true,[exists_1(_316)])],[],[],1)]) [Activate] %% conf([e,e,e],[state([(_3166,100,102,true,[c_1(2,12,_3166)])],[],[],3),state([(_930,13,12,true,[exists_2(2,_930)])],[],[],2),state([(_316,3,2,true,[exists_1(_316)])],[],[],1)]) [E Simplify] %% conf([e,e,e],[state([c_1(2,12,100)],[],[],3),state([(_3166,101,102,true,[c_1(2,12,_3166)])],[],[],3),state([(_930,13,12,true,[exists_2(2,_930)])],[],[],2),state([(_316,3,2,true,[exists_1(_316)])],[],[],1)]) [E Unfolding] %% conf([e,e,e],[state([token(c_1(2,12,100),3):1],[token(c_1(2,12,100),3)],[],4),state([(_3166,101,102,true,[c_1(2,12,_3166)])],[],[],3),state([(_930,13,12,true,[exists_2(2,_930)])],[],[],2),state([(_316,3,2,true,[exists_1(_316)])],[],[],1)]) [Activate] %% conf([e,e,e],[state([c_2(2,12,100)],[],[],4),state([(_3166,101,102,true,[c_1(2,12,_3166)])],[],[],3),state([(_930,13,12,true,[exists_2(2,_930)])],[],[],2),state([(_316,3,2,true,[exists_1(_316)])],[],[],1)]) [Simplify] %% conf([e,e,e],[state([token(c_2(2,12,100),4):1],[token(c_2(2,12,100),4)],[],5),state([(_3166,101,102,true,[c_1(2,12,_3166)])],[],[],3),state([(_930,13,12,true,[exists_2(2,_930)])],[],[],2),state([(_316,3,2,true,[exists_1(_316)])],[],[],1)]) [Activate] %% conf([e,e,e],[state([false],[],[],5),state([(_3166,101,102,true,[c_1(2,12,_3166)])],[],[],3),state([(_930,13,12,true,[exists_2(2,_930)])],[],[],2),state([(_316,3,2,true,[exists_1(_316)])],[],[],1)]) [Simplify] %% conf([e,e,e],[failure,state([(_3166,101,102,true,[c_1(2,12,_3166)])],[],[],3),state([(_930,13,12,true,[exists_2(2,_930)])],[],[],2),state([(_316,3,2,true,[exists_1(_316)])],[],[],1)]) [Failure] %% conf([e,e,e],[state([(_3166,101,102,true,[c_1(2,12,_3166)])],[],[],3),state([(_930,13,12,true,[exists_2(2,_930)])],[],[],2),state([(_316,3,2,true,[exists_1(_316)])],[],[],1)]) [E FailurePropagate] %% conf([e,e,e],[state([c_1(2,12,101)],[],[],3),state([(_3166,102,102,true,[c_1(2,12,_3166)])],[],[],3),state([(_930,13,12,true,[exists_2(2,_930)])],[],[],2),state([(_316,3,2,true,[exists_1(_316)])],[],[],1)]) [E Unfolding] %% conf([e,e,e],[state([token(c_1(2,12,101),3):1],[token(c_1(2,12,101),3)],[],4),state([(_3166,102,102,true,[c_1(2,12,_3166)])],[],[],3),state([(_930,13,12,true,[exists_2(2,_930)])],[],[],2),state([(_316,3,2,true,[exists_1(_316)])],[],[],1)]) [Activate] %% conf([e,e,e],[state([c_2(2,12,101)],[],[],4),state([(_3166,102,102,true,[c_1(2,12,_3166)])],[],[],3),state([(_930,13,12,true,[exists_2(2,_930)])],[],[],2),state([(_316,3,2,true,[exists_1(_316)])],[],[],1)]) [Simplify] %% conf([e,e,e],[state([token(c_2(2,12,101),4):1],[token(c_2(2,12,101),4)],[],5),state([(_3166,102,102,true,[c_1(2,12,_3166)])],[],[],3),state([(_930,13,12,true,[exists_2(2,_930)])],[],[],2),state([(_316,3,2,true,[exists_1(_316)])],[],[],1)]) [Activate] %% conf([e,e,e],[state([false],[],[],5),state([(_3166,102,102,true,[c_1(2,12,_3166)])],[],[],3),state([(_930,13,12,true,[exists_2(2,_930)])],[],[],2),state([(_316,3,2,true,[exists_1(_316)])],[],[],1)]) [Simplify] %% conf([e,e,e],[failure,state([(_3166,102,102,true,[c_1(2,12,_3166)])],[],[],3),state([(_930,13,12,true,[exists_2(2,_930)])],[],[],2),state([(_316,3,2,true,[exists_1(_316)])],[],[],1)]) [Failure] %% conf([e,e,e],[state([(_3166,102,102,true,[c_1(2,12,_3166)])],[],[],3),state([(_930,13,12,true,[exists_2(2,_930)])],[],[],2),state([(_316,3,2,true,[exists_1(_316)])],[],[],1)]) [E FailurePropagate] %% conf([e,e,e],[state([c_1(2,12,102)],[],[],3),state([(_3166,103,102,true,[c_1(2,12,_3166)])],[],[],3),state([(_930,13,12,true,[exists_2(2,_930)])],[],[],2),state([(_316,3,2,true,[exists_1(_316)])],[],[],1)]) [E Unfolding] %% conf([e,e,e],[state([token(c_1(2,12,102),3):1],[token(c_1(2,12,102),3)],[],4),state([(_3166,103,102,true,[c_1(2,12,_3166)])],[],[],3),state([(_930,13,12,true,[exists_2(2,_930)])],[],[],2),state([(_316,3,2,true,[exists_1(_316)])],[],[],1)]) [Activate] %% conf([e,e,e],[state([c_2(2,12,102)],[],[],4),state([(_3166,103,102,true,[c_1(2,12,_3166)])],[],[],3),state([(_930,13,12,true,[exists_2(2,_930)])],[],[],2),state([(_316,3,2,true,[exists_1(_316)])],[],[],1)]) [Simplify] %% conf([e,e,e],[state([token(c_2(2,12,102),4):1],[token(c_2(2,12,102),4)],[],5),state([(_3166,103,102,true,[c_1(2,12,_3166)])],[],[],3),state([(_930,13,12,true,[exists_2(2,_930)])],[],[],2),state([(_316,3,2,true,[exists_1(_316)])],[],[],1)]) [Activate] %% conf([e,e,e],[state([false],[],[],5),state([(_3166,103,102,true,[c_1(2,12,_3166)])],[],[],3),state([(_930,13,12,true,[exists_2(2,_930)])],[],[],2),state([(_316,3,2,true,[exists_1(_316)])],[],[],1)]) [Simplify] %% conf([e,e,e],[failure,state([(_3166,103,102,true,[c_1(2,12,_3166)])],[],[],3),state([(_930,13,12,true,[exists_2(2,_930)])],[],[],2),state([(_316,3,2,true,[exists_1(_316)])],[],[],1)]) [Failure] %% conf([e,e,e],[state([(_3166,103,102,true,[c_1(2,12,_3166)])],[],[],3),state([(_930,13,12,true,[exists_2(2,_930)])],[],[],2),state([(_316,3,2,true,[exists_1(_316)])],[],[],1)]) [E FailurePropagate] %% conf([e,e],[failure,state([(_930,13,12,true,[exists_2(2,_930)])],[],[],2),state([(_316,3,2,true,[exists_1(_316)])],[],[],1)]) [E Failure] %% conf([e,e],[state([(_930,13,12,true,[exists_2(2,_930)])],[],[],2),state([(_316,3,2,true,[exists_1(_316)])],[],[],1)]) [E FailurePropagate] %% conf([e],[failure,state([(_316,3,2,true,[exists_1(_316)])],[],[],1)]) [E Failure] %% conf([e],[state([(_316,3,2,true,[exists_1(_316)])],[],[],1)]) [E FailurePropagate] %% conf([],[failure]) [E Failure] %% conf([],[failure])