:- use_module('../VEOMEGAR', ['[[]]'/2]). show. program([ ''([], [univ_0], [It, 0, 2, true], true, [c_0(It), univ_1(It), c_0(It)]), ''([], [univ_1(It_0)], [It, 10, 12, true], true, [c_1(It_0, It_1), univ_2(It_0,It), c_1(It_0, It_1)]), ''([], [univ_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([univ_0],[],[],0)]), _Final_Configuration). %% conf([],[state([token(univ_0,0):1],[token(univ_0,0)],[],1)]) [Activate] %% conf([u],[state([(_1504,0,2,true,[c_0(_1504),univ_1(_1504),c_0(_1504)])],[],[],1)]) [U Simplify] %% conf([u],[state([c_0(0),univ_1(0),c_0(0)],[],[],1),state([(_1504,1,2,true,[c_0(_1504),univ_1(_1504),c_0(_1504)])],[],[],1)]) [U Unfolding] %% conf([u],[state([token(c_0(0),1):1,univ_1(0),c_0(0)],[token(c_0(0),1)],[],2),state([(_1504,1,2,true,[c_0(_1504),univ_1(_1504),c_0(_1504)])],[],[],1)]) [Activate] %% conf([u],[state([c,univ_1(0),c_0(0)],[],[],2),state([(_1504,1,2,true,[c_0(_1504),univ_1(_1504),c_0(_1504)])],[],[],1)]) [Simplify] %% conf([u],[state([token(c,2):1,univ_1(0),c_0(0)],[token(c,2)],[],3),state([(_1504,1,2,true,[c_0(_1504),univ_1(_1504),c_0(_1504)])],[],[],1)]) [Activate] %% conf([u],[state([univ_1(0),c_0(0)],[],[],3),state([(_1504,1,2,true,[c_0(_1504),univ_1(_1504),c_0(_1504)])],[],[],1)]) [Simplify] %% conf([u],[state([token(univ_1(0),3):1,c_0(0)],[token(univ_1(0),3)],[],4),state([(_1504,1,2,true,[c_0(_1504),univ_1(_1504),c_0(_1504)])],[],[],1)]) [Activate] %% conf([u,u],[state([(_3088,10,12,true,[c_1(0,_3202),univ_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([(_1504,1,2,true,[c_0(_1504),univ_1(_1504),c_0(_1504)])],[],[],1)]) [U Simplify] %% conf([u,u],[state([c_1(0,_3562),univ_2(0,10),c_1(0,_3562)],[],[],4),state([(_3088,11,12,true,[c_1(0,_3202),univ_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([(_1504,1,2,true,[c_0(_1504),univ_1(_1504),c_0(_1504)])],[],[],1)]) [U Unfolding] %% conf([u,u],[state([token(c_1(0,_3562),4):1,univ_2(0,10),c_1(0,_3562)],[token(c_1(0,_3562),4)],[],5),state([(_3088,11,12,true,[c_1(0,_3202),univ_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([(_1504,1,2,true,[c_0(_1504),univ_1(_1504),c_0(_1504)])],[],[],1)]) [Activate] %% conf([u,u],[state([c,univ_2(0,10),c_1(0,_3562)],[],[],5),state([(_3088,11,12,true,[c_1(0,_3202),univ_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([(_1504,1,2,true,[c_0(_1504),univ_1(_1504),c_0(_1504)])],[],[],1)]) [Simplify] %% conf([u,u],[state([token(c,5):1,univ_2(0,10),c_1(0,_3562)],[token(c,5)],[],6),state([(_3088,11,12,true,[c_1(0,_3202),univ_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([(_1504,1,2,true,[c_0(_1504),univ_1(_1504),c_0(_1504)])],[],[],1)]) [Activate] %% conf([u,u],[state([univ_2(0,10),c_1(0,_3562)],[],[],6),state([(_3088,11,12,true,[c_1(0,_3202),univ_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([(_1504,1,2,true,[c_0(_1504),univ_1(_1504),c_0(_1504)])],[],[],1)]) [Simplify] %% conf([u,u],[state([token(univ_2(0,10),6):1,c_1(0,_3562)],[token(univ_2(0,10),6)],[],7),state([(_3088,11,12,true,[c_1(0,_3202),univ_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([(_1504,1,2,true,[c_0(_1504),univ_1(_1504),c_0(_1504)])],[],[],1)]) [Activate] %% conf([u,u,u],[state([(_4690,100,102,true,[c_2(0,10,_4690)]),c_1(0,_3562)],[],[],7),state([(_3088,11,12,true,[c_1(0,_3202),univ_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([(_1504,1,2,true,[c_0(_1504),univ_1(_1504),c_0(_1504)])],[],[],1)]) [U Simplify] %% conf([u,u,u],[state([c_2(0,10,100)],[],[],7),state([(_4690,101,102,true,[c_2(0,10,_4690)]),c_1(0,_3562)],[],[],7),state([(_3088,11,12,true,[c_1(0,_3202),univ_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([(_1504,1,2,true,[c_0(_1504),univ_1(_1504),c_0(_1504)])],[],[],1)]) [U Unfolding] %% conf([u,u,u],[state([token(c_2(0,10,100),7):1],[token(c_2(0,10,100),7)],[],8),state([(_4690,101,102,true,[c_2(0,10,_4690)]),c_1(0,_3562)],[],[],7),state([(_3088,11,12,true,[c_1(0,_3202),univ_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([(_1504,1,2,true,[c_0(_1504),univ_1(_1504),c_0(_1504)])],[],[],1)]) [Activate] %% conf([u,u,u],[state([c],[],[],8),state([(_4690,101,102,true,[c_2(0,10,_4690)]),c_1(0,_3562)],[],[],7),state([(_3088,11,12,true,[c_1(0,_3202),univ_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([(_1504,1,2,true,[c_0(_1504),univ_1(_1504),c_0(_1504)])],[],[],1)]) [Simplify] %% conf([u,u,u],[state([token(c,8):1],[token(c,8)],[],9),state([(_4690,101,102,true,[c_2(0,10,_4690)]),c_1(0,_3562)],[],[],7),state([(_3088,11,12,true,[c_1(0,_3202),univ_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([(_1504,1,2,true,[c_0(_1504),univ_1(_1504),c_0(_1504)])],[],[],1)]) [Activate] %% conf([u,u,u],[state([],[],[],9),state([(_4690,101,102,true,[c_2(0,10,_4690)]),c_1(0,_3562)],[],[],7),state([(_3088,11,12,true,[c_1(0,_3202),univ_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([(_1504,1,2,true,[c_0(_1504),univ_1(_1504),c_0(_1504)])],[],[],1)]) [Simplify] %% conf([u,u,u],[success,state([(_4690,101,102,true,[c_2(0,10,_4690)]),c_1(0,_3562)],[],[],7),state([(_3088,11,12,true,[c_1(0,_3202),univ_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([(_1504,1,2,true,[c_0(_1504),univ_1(_1504),c_0(_1504)])],[],[],1)]) [Success] %% conf([u,u,u],[state([(_4690,101,102,true,[c_2(0,10,_4690)]),c_1(0,_3562)],[],[],7),state([(_3088,11,12,true,[c_1(0,_3202),univ_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([(_1504,1,2,true,[c_0(_1504),univ_1(_1504),c_0(_1504)])],[],[],1)]) [U SuccessPropagate] %% conf([u,u,u],[state([c_2(0,10,101)],[],[],7),state([(_4690,102,102,true,[c_2(0,10,_4690)]),c_1(0,_3562)],[],[],7),state([(_3088,11,12,true,[c_1(0,_3202),univ_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([(_1504,1,2,true,[c_0(_1504),univ_1(_1504),c_0(_1504)])],[],[],1)]) [U Unfolding] %% conf([u,u,u],[state([token(c_2(0,10,101),7):1],[token(c_2(0,10,101),7)],[],8),state([(_4690,102,102,true,[c_2(0,10,_4690)]),c_1(0,_3562)],[],[],7),state([(_3088,11,12,true,[c_1(0,_3202),univ_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([(_1504,1,2,true,[c_0(_1504),univ_1(_1504),c_0(_1504)])],[],[],1)]) [Activate] %% conf([u,u,u],[state([c],[],[],8),state([(_4690,102,102,true,[c_2(0,10,_4690)]),c_1(0,_3562)],[],[],7),state([(_3088,11,12,true,[c_1(0,_3202),univ_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([(_1504,1,2,true,[c_0(_1504),univ_1(_1504),c_0(_1504)])],[],[],1)]) [Simplify] %% conf([u,u,u],[state([token(c,8):1],[token(c,8)],[],9),state([(_4690,102,102,true,[c_2(0,10,_4690)]),c_1(0,_3562)],[],[],7),state([(_3088,11,12,true,[c_1(0,_3202),univ_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([(_1504,1,2,true,[c_0(_1504),univ_1(_1504),c_0(_1504)])],[],[],1)]) [Activate] %% conf([u,u,u],[state([],[],[],9),state([(_4690,102,102,true,[c_2(0,10,_4690)]),c_1(0,_3562)],[],[],7),state([(_3088,11,12,true,[c_1(0,_3202),univ_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([(_1504,1,2,true,[c_0(_1504),univ_1(_1504),c_0(_1504)])],[],[],1)]) [Simplify] %% conf([u,u,u],[success,state([(_4690,102,102,true,[c_2(0,10,_4690)]),c_1(0,_3562)],[],[],7),state([(_3088,11,12,true,[c_1(0,_3202),univ_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([(_1504,1,2,true,[c_0(_1504),univ_1(_1504),c_0(_1504)])],[],[],1)]) [Success] %% conf([u,u,u],[state([(_4690,102,102,true,[c_2(0,10,_4690)]),c_1(0,_3562)],[],[],7),state([(_3088,11,12,true,[c_1(0,_3202),univ_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([(_1504,1,2,true,[c_0(_1504),univ_1(_1504),c_0(_1504)])],[],[],1)]) [U SuccessPropagate] %% conf([u,u,u],[state([c_2(0,10,102)],[],[],7),state([(_4690,103,102,true,[c_2(0,10,_4690)]),c_1(0,_3562)],[],[],7),state([(_3088,11,12,true,[c_1(0,_3202),univ_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([(_1504,1,2,true,[c_0(_1504),univ_1(_1504),c_0(_1504)])],[],[],1)]) [U Unfolding] %% conf([u,u,u],[state([token(c_2(0,10,102),7):1],[token(c_2(0,10,102),7)],[],8),state([(_4690,103,102,true,[c_2(0,10,_4690)]),c_1(0,_3562)],[],[],7),state([(_3088,11,12,true,[c_1(0,_3202),univ_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([(_1504,1,2,true,[c_0(_1504),univ_1(_1504),c_0(_1504)])],[],[],1)]) [Activate] %% conf([u,u,u],[state([c],[],[],8),state([(_4690,103,102,true,[c_2(0,10,_4690)]),c_1(0,_3562)],[],[],7),state([(_3088,11,12,true,[c_1(0,_3202),univ_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([(_1504,1,2,true,[c_0(_1504),univ_1(_1504),c_0(_1504)])],[],[],1)]) [Simplify] %% conf([u,u,u],[state([token(c,8):1],[token(c,8)],[],9),state([(_4690,103,102,true,[c_2(0,10,_4690)]),c_1(0,_3562)],[],[],7),state([(_3088,11,12,true,[c_1(0,_3202),univ_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([(_1504,1,2,true,[c_0(_1504),univ_1(_1504),c_0(_1504)])],[],[],1)]) [Activate] %% conf([u,u,u],[state([],[],[],9),state([(_4690,103,102,true,[c_2(0,10,_4690)]),c_1(0,_3562)],[],[],7),state([(_3088,11,12,true,[c_1(0,_3202),univ_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([(_1504,1,2,true,[c_0(_1504),univ_1(_1504),c_0(_1504)])],[],[],1)]) [Simplify] %% conf([u,u,u],[success,state([(_4690,103,102,true,[c_2(0,10,_4690)]),c_1(0,_3562)],[],[],7),state([(_3088,11,12,true,[c_1(0,_3202),univ_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([(_1504,1,2,true,[c_0(_1504),univ_1(_1504),c_0(_1504)])],[],[],1)]) [Success] %% conf([u,u,u],[state([(_4690,103,102,true,[c_2(0,10,_4690)]),c_1(0,_3562)],[],[],7),state([(_3088,11,12,true,[c_1(0,_3202),univ_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([(_1504,1,2,true,[c_0(_1504),univ_1(_1504),c_0(_1504)])],[],[],1)]) [U SuccessPropagate] %% conf([u,u],[state([c_1(0,_3562)],[],[],7),state([(_3088,11,12,true,[c_1(0,_3202),univ_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([(_1504,1,2,true,[c_0(_1504),univ_1(_1504),c_0(_1504)])],[],[],1)]) [U Success] %% conf([u,u],[state([token(c_1(0,_3562),7):1],[token(c_1(0,_3562),7)],[],8),state([(_3088,11,12,true,[c_1(0,_3202),univ_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([(_1504,1,2,true,[c_0(_1504),univ_1(_1504),c_0(_1504)])],[],[],1)]) [Activate] %% conf([u,u],[state([c],[],[],8),state([(_3088,11,12,true,[c_1(0,_3202),univ_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([(_1504,1,2,true,[c_0(_1504),univ_1(_1504),c_0(_1504)])],[],[],1)]) [Simplify] %% conf([u,u],[state([token(c,8):1],[token(c,8)],[],9),state([(_3088,11,12,true,[c_1(0,_3202),univ_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([(_1504,1,2,true,[c_0(_1504),univ_1(_1504),c_0(_1504)])],[],[],1)]) [Activate] %% conf([u,u],[state([],[],[],9),state([(_3088,11,12,true,[c_1(0,_3202),univ_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([(_1504,1,2,true,[c_0(_1504),univ_1(_1504),c_0(_1504)])],[],[],1)]) [Simplify] %% conf([u,u],[success,state([(_3088,11,12,true,[c_1(0,_3202),univ_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([(_1504,1,2,true,[c_0(_1504),univ_1(_1504),c_0(_1504)])],[],[],1)]) [Success] %% conf([u,u],[state([(_3088,11,12,true,[c_1(0,_3202),univ_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([(_1504,1,2,true,[c_0(_1504),univ_1(_1504),c_0(_1504)])],[],[],1)]) [U SuccessPropagate] %% conf([u,u],[state([c_1(0,_9550),univ_2(0,11),c_1(0,_9550)],[],[],4),state([(_3088,12,12,true,[c_1(0,_3202),univ_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([(_1504,1,2,true,[c_0(_1504),univ_1(_1504),c_0(_1504)])],[],[],1)]) [U Unfolding] %% conf([u,u],[state([token(c_1(0,_9550),4):1,univ_2(0,11),c_1(0,_9550)],[token(c_1(0,_9550),4)],[],5),state([(_3088,12,12,true,[c_1(0,_3202),univ_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([(_1504,1,2,true,[c_0(_1504),univ_1(_1504),c_0(_1504)])],[],[],1)]) [Activate] %% conf([u,u],[state([c,univ_2(0,11),c_1(0,_9550)],[],[],5),state([(_3088,12,12,true,[c_1(0,_3202),univ_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([(_1504,1,2,true,[c_0(_1504),univ_1(_1504),c_0(_1504)])],[],[],1)]) [Simplify] %% conf([u,u],[state([token(c,5):1,univ_2(0,11),c_1(0,_9550)],[token(c,5)],[],6),state([(_3088,12,12,true,[c_1(0,_3202),univ_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([(_1504,1,2,true,[c_0(_1504),univ_1(_1504),c_0(_1504)])],[],[],1)]) [Activate] %% conf([u,u],[state([univ_2(0,11),c_1(0,_9550)],[],[],6),state([(_3088,12,12,true,[c_1(0,_3202),univ_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([(_1504,1,2,true,[c_0(_1504),univ_1(_1504),c_0(_1504)])],[],[],1)]) [Simplify] %% conf([u,u],[state([token(univ_2(0,11),6):1,c_1(0,_9550)],[token(univ_2(0,11),6)],[],7),state([(_3088,12,12,true,[c_1(0,_3202),univ_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([(_1504,1,2,true,[c_0(_1504),univ_1(_1504),c_0(_1504)])],[],[],1)]) [Activate] %% conf([u,u,u],[state([(_10678,100,102,true,[c_2(0,11,_10678)]),c_1(0,_9550)],[],[],7),state([(_3088,12,12,true,[c_1(0,_3202),univ_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([(_1504,1,2,true,[c_0(_1504),univ_1(_1504),c_0(_1504)])],[],[],1)]) [U Simplify] %% conf([u,u,u],[state([c_2(0,11,100)],[],[],7),state([(_10678,101,102,true,[c_2(0,11,_10678)]),c_1(0,_9550)],[],[],7),state([(_3088,12,12,true,[c_1(0,_3202),univ_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([(_1504,1,2,true,[c_0(_1504),univ_1(_1504),c_0(_1504)])],[],[],1)]) [U Unfolding] %% conf([u,u,u],[state([token(c_2(0,11,100),7):1],[token(c_2(0,11,100),7)],[],8),state([(_10678,101,102,true,[c_2(0,11,_10678)]),c_1(0,_9550)],[],[],7),state([(_3088,12,12,true,[c_1(0,_3202),univ_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([(_1504,1,2,true,[c_0(_1504),univ_1(_1504),c_0(_1504)])],[],[],1)]) [Activate] %% conf([u,u,u],[state([c],[],[],8),state([(_10678,101,102,true,[c_2(0,11,_10678)]),c_1(0,_9550)],[],[],7),state([(_3088,12,12,true,[c_1(0,_3202),univ_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([(_1504,1,2,true,[c_0(_1504),univ_1(_1504),c_0(_1504)])],[],[],1)]) [Simplify] %% conf([u,u,u],[state([token(c,8):1],[token(c,8)],[],9),state([(_10678,101,102,true,[c_2(0,11,_10678)]),c_1(0,_9550)],[],[],7),state([(_3088,12,12,true,[c_1(0,_3202),univ_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([(_1504,1,2,true,[c_0(_1504),univ_1(_1504),c_0(_1504)])],[],[],1)]) [Activate] %% conf([u,u,u],[state([],[],[],9),state([(_10678,101,102,true,[c_2(0,11,_10678)]),c_1(0,_9550)],[],[],7),state([(_3088,12,12,true,[c_1(0,_3202),univ_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([(_1504,1,2,true,[c_0(_1504),univ_1(_1504),c_0(_1504)])],[],[],1)]) [Simplify] %% conf([u,u,u],[success,state([(_10678,101,102,true,[c_2(0,11,_10678)]),c_1(0,_9550)],[],[],7),state([(_3088,12,12,true,[c_1(0,_3202),univ_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([(_1504,1,2,true,[c_0(_1504),univ_1(_1504),c_0(_1504)])],[],[],1)]) [Success] %% conf([u,u,u],[state([(_10678,101,102,true,[c_2(0,11,_10678)]),c_1(0,_9550)],[],[],7),state([(_3088,12,12,true,[c_1(0,_3202),univ_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([(_1504,1,2,true,[c_0(_1504),univ_1(_1504),c_0(_1504)])],[],[],1)]) [U SuccessPropagate] %% conf([u,u,u],[state([c_2(0,11,101)],[],[],7),state([(_10678,102,102,true,[c_2(0,11,_10678)]),c_1(0,_9550)],[],[],7),state([(_3088,12,12,true,[c_1(0,_3202),univ_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([(_1504,1,2,true,[c_0(_1504),univ_1(_1504),c_0(_1504)])],[],[],1)]) [U Unfolding] %% conf([u,u,u],[state([token(c_2(0,11,101),7):1],[token(c_2(0,11,101),7)],[],8),state([(_10678,102,102,true,[c_2(0,11,_10678)]),c_1(0,_9550)],[],[],7),state([(_3088,12,12,true,[c_1(0,_3202),univ_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([(_1504,1,2,true,[c_0(_1504),univ_1(_1504),c_0(_1504)])],[],[],1)]) [Activate] %% conf([u,u,u],[state([c],[],[],8),state([(_10678,102,102,true,[c_2(0,11,_10678)]),c_1(0,_9550)],[],[],7),state([(_3088,12,12,true,[c_1(0,_3202),univ_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([(_1504,1,2,true,[c_0(_1504),univ_1(_1504),c_0(_1504)])],[],[],1)]) [Simplify] %% conf([u,u,u],[state([token(c,8):1],[token(c,8)],[],9),state([(_10678,102,102,true,[c_2(0,11,_10678)]),c_1(0,_9550)],[],[],7),state([(_3088,12,12,true,[c_1(0,_3202),univ_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([(_1504,1,2,true,[c_0(_1504),univ_1(_1504),c_0(_1504)])],[],[],1)]) [Activate] %% conf([u,u,u],[state([],[],[],9),state([(_10678,102,102,true,[c_2(0,11,_10678)]),c_1(0,_9550)],[],[],7),state([(_3088,12,12,true,[c_1(0,_3202),univ_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([(_1504,1,2,true,[c_0(_1504),univ_1(_1504),c_0(_1504)])],[],[],1)]) [Simplify] %% conf([u,u,u],[success,state([(_10678,102,102,true,[c_2(0,11,_10678)]),c_1(0,_9550)],[],[],7),state([(_3088,12,12,true,[c_1(0,_3202),univ_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([(_1504,1,2,true,[c_0(_1504),univ_1(_1504),c_0(_1504)])],[],[],1)]) [Success] %% conf([u,u,u],[state([(_10678,102,102,true,[c_2(0,11,_10678)]),c_1(0,_9550)],[],[],7),state([(_3088,12,12,true,[c_1(0,_3202),univ_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([(_1504,1,2,true,[c_0(_1504),univ_1(_1504),c_0(_1504)])],[],[],1)]) [U SuccessPropagate] %% conf([u,u,u],[state([c_2(0,11,102)],[],[],7),state([(_10678,103,102,true,[c_2(0,11,_10678)]),c_1(0,_9550)],[],[],7),state([(_3088,12,12,true,[c_1(0,_3202),univ_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([(_1504,1,2,true,[c_0(_1504),univ_1(_1504),c_0(_1504)])],[],[],1)]) [U Unfolding] %% conf([u,u,u],[state([token(c_2(0,11,102),7):1],[token(c_2(0,11,102),7)],[],8),state([(_10678,103,102,true,[c_2(0,11,_10678)]),c_1(0,_9550)],[],[],7),state([(_3088,12,12,true,[c_1(0,_3202),univ_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([(_1504,1,2,true,[c_0(_1504),univ_1(_1504),c_0(_1504)])],[],[],1)]) [Activate] %% conf([u,u,u],[state([c],[],[],8),state([(_10678,103,102,true,[c_2(0,11,_10678)]),c_1(0,_9550)],[],[],7),state([(_3088,12,12,true,[c_1(0,_3202),univ_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([(_1504,1,2,true,[c_0(_1504),univ_1(_1504),c_0(_1504)])],[],[],1)]) [Simplify] %% conf([u,u,u],[state([token(c,8):1],[token(c,8)],[],9),state([(_10678,103,102,true,[c_2(0,11,_10678)]),c_1(0,_9550)],[],[],7),state([(_3088,12,12,true,[c_1(0,_3202),univ_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([(_1504,1,2,true,[c_0(_1504),univ_1(_1504),c_0(_1504)])],[],[],1)]) [Activate] %% conf([u,u,u],[state([],[],[],9),state([(_10678,103,102,true,[c_2(0,11,_10678)]),c_1(0,_9550)],[],[],7),state([(_3088,12,12,true,[c_1(0,_3202),univ_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([(_1504,1,2,true,[c_0(_1504),univ_1(_1504),c_0(_1504)])],[],[],1)]) [Simplify] %% conf([u,u,u],[success,state([(_10678,103,102,true,[c_2(0,11,_10678)]),c_1(0,_9550)],[],[],7),state([(_3088,12,12,true,[c_1(0,_3202),univ_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([(_1504,1,2,true,[c_0(_1504),univ_1(_1504),c_0(_1504)])],[],[],1)]) [Success] %% conf([u,u,u],[state([(_10678,103,102,true,[c_2(0,11,_10678)]),c_1(0,_9550)],[],[],7),state([(_3088,12,12,true,[c_1(0,_3202),univ_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([(_1504,1,2,true,[c_0(_1504),univ_1(_1504),c_0(_1504)])],[],[],1)]) [U SuccessPropagate] %% conf([u,u],[state([c_1(0,_9550)],[],[],7),state([(_3088,12,12,true,[c_1(0,_3202),univ_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([(_1504,1,2,true,[c_0(_1504),univ_1(_1504),c_0(_1504)])],[],[],1)]) [U Success] %% conf([u,u],[state([token(c_1(0,_9550),7):1],[token(c_1(0,_9550),7)],[],8),state([(_3088,12,12,true,[c_1(0,_3202),univ_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([(_1504,1,2,true,[c_0(_1504),univ_1(_1504),c_0(_1504)])],[],[],1)]) [Activate] %% conf([u,u],[state([c],[],[],8),state([(_3088,12,12,true,[c_1(0,_3202),univ_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([(_1504,1,2,true,[c_0(_1504),univ_1(_1504),c_0(_1504)])],[],[],1)]) [Simplify] %% conf([u,u],[state([token(c,8):1],[token(c,8)],[],9),state([(_3088,12,12,true,[c_1(0,_3202),univ_2(0,_3088),c_1(0,_3202)]),c_0(0)],[],[],4),state([(_1504,1,2,true,[c_0(_1504),univ_1(_1504),c_0(_1504)])],[],[],1)]) [Activate] %% conf([u,u],[state([],[],[],9),state([(_404,12,12,true,[c_1(0,_418),univ_2(0,_404),c_1(0,_418)]),c_0(0)],[],[],4),state([(_324,1,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [Simplify] %% conf([u,u],[success,state([(_404,12,12,true,[c_1(0,_418),univ_2(0,_404),c_1(0,_418)]),c_0(0)],[],[],4),state([(_324,1,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [Success] %% conf([u,u],[state([(_404,12,12,true,[c_1(0,_418),univ_2(0,_404),c_1(0,_418)]),c_0(0)],[],[],4),state([(_324,1,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [U SuccessPropagate] %% conf([u,u],[state([c_1(0,_1176),univ_2(0,12),c_1(0,_1176)],[],[],4),state([(_404,13,12,true,[c_1(0,_418),univ_2(0,_404),c_1(0,_418)]),c_0(0)],[],[],4),state([(_324,1,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [U Unfolding] %% conf([u,u],[state([token(c_1(0,_1176),4):1,univ_2(0,12),c_1(0,_1176)],[token(c_1(0,_1176),4)],[],5),state([(_404,13,12,true,[c_1(0,_418),univ_2(0,_404),c_1(0,_418)]),c_0(0)],[],[],4),state([(_324,1,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [Activate] %% conf([u,u],[state([c,univ_2(0,12),c_1(0,_1176)],[],[],5),state([(_404,13,12,true,[c_1(0,_418),univ_2(0,_404),c_1(0,_418)]),c_0(0)],[],[],4),state([(_324,1,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [Simplify] %% conf([u,u],[state([token(c,5):1,univ_2(0,12),c_1(0,_1176)],[token(c,5)],[],6),state([(_404,13,12,true,[c_1(0,_418),univ_2(0,_404),c_1(0,_418)]),c_0(0)],[],[],4),state([(_324,1,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [Activate] %% conf([u,u],[state([univ_2(0,12),c_1(0,_1176)],[],[],6),state([(_404,13,12,true,[c_1(0,_418),univ_2(0,_404),c_1(0,_418)]),c_0(0)],[],[],4),state([(_324,1,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [Simplify] %% conf([u,u],[state([token(univ_2(0,12),6):1,c_1(0,_1176)],[token(univ_2(0,12),6)],[],7),state([(_404,13,12,true,[c_1(0,_418),univ_2(0,_404),c_1(0,_418)]),c_0(0)],[],[],4),state([(_324,1,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [Activate] %% conf([u,u,u],[state([(_2304,100,102,true,[c_2(0,12,_2304)]),c_1(0,_1176)],[],[],7),state([(_404,13,12,true,[c_1(0,_418),univ_2(0,_404),c_1(0,_418)]),c_0(0)],[],[],4),state([(_324,1,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [U Simplify] %% conf([u,u,u],[state([c_2(0,12,100)],[],[],7),state([(_2304,101,102,true,[c_2(0,12,_2304)]),c_1(0,_1176)],[],[],7),state([(_404,13,12,true,[c_1(0,_418),univ_2(0,_404),c_1(0,_418)]),c_0(0)],[],[],4),state([(_324,1,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [U Unfolding] %% conf([u,u,u],[state([token(c_2(0,12,100),7):1],[token(c_2(0,12,100),7)],[],8),state([(_2304,101,102,true,[c_2(0,12,_2304)]),c_1(0,_1176)],[],[],7),state([(_404,13,12,true,[c_1(0,_418),univ_2(0,_404),c_1(0,_418)]),c_0(0)],[],[],4),state([(_324,1,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [Activate] %% conf([u,u,u],[state([c],[],[],8),state([(_2304,101,102,true,[c_2(0,12,_2304)]),c_1(0,_1176)],[],[],7),state([(_404,13,12,true,[c_1(0,_418),univ_2(0,_404),c_1(0,_418)]),c_0(0)],[],[],4),state([(_324,1,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [Simplify] %% conf([u,u,u],[state([token(c,8):1],[token(c,8)],[],9),state([(_2304,101,102,true,[c_2(0,12,_2304)]),c_1(0,_1176)],[],[],7),state([(_404,13,12,true,[c_1(0,_418),univ_2(0,_404),c_1(0,_418)]),c_0(0)],[],[],4),state([(_324,1,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [Activate] %% conf([u,u,u],[state([],[],[],9),state([(_2304,101,102,true,[c_2(0,12,_2304)]),c_1(0,_1176)],[],[],7),state([(_404,13,12,true,[c_1(0,_418),univ_2(0,_404),c_1(0,_418)]),c_0(0)],[],[],4),state([(_324,1,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [Simplify] %% conf([u,u,u],[success,state([(_2304,101,102,true,[c_2(0,12,_2304)]),c_1(0,_1176)],[],[],7),state([(_404,13,12,true,[c_1(0,_418),univ_2(0,_404),c_1(0,_418)]),c_0(0)],[],[],4),state([(_324,1,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [Success] %% conf([u,u,u],[state([(_2304,101,102,true,[c_2(0,12,_2304)]),c_1(0,_1176)],[],[],7),state([(_404,13,12,true,[c_1(0,_418),univ_2(0,_404),c_1(0,_418)]),c_0(0)],[],[],4),state([(_324,1,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [U SuccessPropagate] %% conf([u,u,u],[state([c_2(0,12,101)],[],[],7),state([(_2304,102,102,true,[c_2(0,12,_2304)]),c_1(0,_1176)],[],[],7),state([(_404,13,12,true,[c_1(0,_418),univ_2(0,_404),c_1(0,_418)]),c_0(0)],[],[],4),state([(_324,1,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [U Unfolding] %% conf([u,u,u],[state([token(c_2(0,12,101),7):1],[token(c_2(0,12,101),7)],[],8),state([(_2304,102,102,true,[c_2(0,12,_2304)]),c_1(0,_1176)],[],[],7),state([(_404,13,12,true,[c_1(0,_418),univ_2(0,_404),c_1(0,_418)]),c_0(0)],[],[],4),state([(_324,1,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [Activate] %% conf([u,u,u],[state([c],[],[],8),state([(_2304,102,102,true,[c_2(0,12,_2304)]),c_1(0,_1176)],[],[],7),state([(_404,13,12,true,[c_1(0,_418),univ_2(0,_404),c_1(0,_418)]),c_0(0)],[],[],4),state([(_324,1,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [Simplify] %% conf([u,u,u],[state([token(c,8):1],[token(c,8)],[],9),state([(_2304,102,102,true,[c_2(0,12,_2304)]),c_1(0,_1176)],[],[],7),state([(_404,13,12,true,[c_1(0,_418),univ_2(0,_404),c_1(0,_418)]),c_0(0)],[],[],4),state([(_324,1,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [Activate] %% conf([u,u,u],[state([],[],[],9),state([(_2304,102,102,true,[c_2(0,12,_2304)]),c_1(0,_1176)],[],[],7),state([(_404,13,12,true,[c_1(0,_418),univ_2(0,_404),c_1(0,_418)]),c_0(0)],[],[],4),state([(_324,1,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [Simplify] %% conf([u,u,u],[success,state([(_2304,102,102,true,[c_2(0,12,_2304)]),c_1(0,_1176)],[],[],7),state([(_404,13,12,true,[c_1(0,_418),univ_2(0,_404),c_1(0,_418)]),c_0(0)],[],[],4),state([(_324,1,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [Success] %% conf([u,u,u],[state([(_2304,102,102,true,[c_2(0,12,_2304)]),c_1(0,_1176)],[],[],7),state([(_404,13,12,true,[c_1(0,_418),univ_2(0,_404),c_1(0,_418)]),c_0(0)],[],[],4),state([(_324,1,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [U SuccessPropagate] %% conf([u,u,u],[state([c_2(0,12,102)],[],[],7),state([(_2304,103,102,true,[c_2(0,12,_2304)]),c_1(0,_1176)],[],[],7),state([(_404,13,12,true,[c_1(0,_418),univ_2(0,_404),c_1(0,_418)]),c_0(0)],[],[],4),state([(_324,1,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [U Unfolding] %% conf([u,u,u],[state([token(c_2(0,12,102),7):1],[token(c_2(0,12,102),7)],[],8),state([(_2304,103,102,true,[c_2(0,12,_2304)]),c_1(0,_1176)],[],[],7),state([(_404,13,12,true,[c_1(0,_418),univ_2(0,_404),c_1(0,_418)]),c_0(0)],[],[],4),state([(_324,1,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [Activate] %% conf([u,u,u],[state([c],[],[],8),state([(_2304,103,102,true,[c_2(0,12,_2304)]),c_1(0,_1176)],[],[],7),state([(_404,13,12,true,[c_1(0,_418),univ_2(0,_404),c_1(0,_418)]),c_0(0)],[],[],4),state([(_324,1,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [Simplify] %% conf([u,u,u],[state([token(c,8):1],[token(c,8)],[],9),state([(_2304,103,102,true,[c_2(0,12,_2304)]),c_1(0,_1176)],[],[],7),state([(_404,13,12,true,[c_1(0,_418),univ_2(0,_404),c_1(0,_418)]),c_0(0)],[],[],4),state([(_324,1,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [Activate] %% conf([u,u,u],[state([],[],[],9),state([(_2304,103,102,true,[c_2(0,12,_2304)]),c_1(0,_1176)],[],[],7),state([(_404,13,12,true,[c_1(0,_418),univ_2(0,_404),c_1(0,_418)]),c_0(0)],[],[],4),state([(_324,1,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [Simplify] %% conf([u,u,u],[success,state([(_2304,103,102,true,[c_2(0,12,_2304)]),c_1(0,_1176)],[],[],7),state([(_404,13,12,true,[c_1(0,_418),univ_2(0,_404),c_1(0,_418)]),c_0(0)],[],[],4),state([(_324,1,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [Success] %% conf([u,u,u],[state([(_2304,103,102,true,[c_2(0,12,_2304)]),c_1(0,_1176)],[],[],7),state([(_404,13,12,true,[c_1(0,_418),univ_2(0,_404),c_1(0,_418)]),c_0(0)],[],[],4),state([(_324,1,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [U SuccessPropagate] %% conf([u,u],[state([c_1(0,_1176)],[],[],7),state([(_404,13,12,true,[c_1(0,_418),univ_2(0,_404),c_1(0,_418)]),c_0(0)],[],[],4),state([(_324,1,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [U Success] %% conf([u,u],[state([token(c_1(0,_1176),7):1],[token(c_1(0,_1176),7)],[],8),state([(_404,13,12,true,[c_1(0,_418),univ_2(0,_404),c_1(0,_418)]),c_0(0)],[],[],4),state([(_324,1,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [Activate] %% conf([u,u],[state([c],[],[],8),state([(_404,13,12,true,[c_1(0,_418),univ_2(0,_404),c_1(0,_418)]),c_0(0)],[],[],4),state([(_324,1,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [Simplify] %% conf([u,u],[state([token(c,8):1],[token(c,8)],[],9),state([(_404,13,12,true,[c_1(0,_418),univ_2(0,_404),c_1(0,_418)]),c_0(0)],[],[],4),state([(_324,1,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [Activate] %% conf([u,u],[state([],[],[],9),state([(_404,13,12,true,[c_1(0,_418),univ_2(0,_404),c_1(0,_418)]),c_0(0)],[],[],4),state([(_324,1,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [Simplify] %% conf([u,u],[success,state([(_404,13,12,true,[c_1(0,_418),univ_2(0,_404),c_1(0,_418)]),c_0(0)],[],[],4),state([(_324,1,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [Success] %% conf([u,u],[state([(_404,13,12,true,[c_1(0,_418),univ_2(0,_404),c_1(0,_418)]),c_0(0)],[],[],4),state([(_324,1,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [U SuccessPropagate] %% conf([u],[state([c_0(0)],[],[],4),state([(_324,1,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [U Success] %% conf([u],[state([token(c_0(0),4):1],[token(c_0(0),4)],[],5),state([(_324,1,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [Activate] %% conf([u],[state([c],[],[],5),state([(_324,1,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [Simplify] %% conf([u],[state([token(c,5):1],[token(c,5)],[],6),state([(_324,1,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [Activate] %% conf([u],[state([],[],[],6),state([(_324,1,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [Simplify] %% conf([u],[success,state([(_324,1,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [Success] %% conf([u],[state([(_324,1,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [U SuccessPropagate] %% conf([u],[state([c_0(1),univ_1(1),c_0(1)],[],[],1),state([(_324,2,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [U Unfolding] %% conf([u],[state([token(c_0(1),1):1,univ_1(1),c_0(1)],[token(c_0(1),1)],[],2),state([(_324,2,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [Activate] %% conf([u],[state([c,univ_1(1),c_0(1)],[],[],2),state([(_324,2,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [Simplify] %% conf([u],[state([token(c,2):1,univ_1(1),c_0(1)],[token(c,2)],[],3),state([(_324,2,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [Activate] %% conf([u],[state([univ_1(1),c_0(1)],[],[],3),state([(_324,2,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [Simplify] %% conf([u],[state([token(univ_1(1),3):1,c_0(1)],[token(univ_1(1),3)],[],4),state([(_324,2,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [Activate] %% conf([u,u],[state([(_9288,10,12,true,[c_1(1,_9402),univ_2(1,_9288),c_1(1,_9402)]),c_0(1)],[],[],4),state([(_324,2,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [U Simplify] %% conf([u,u],[state([c_1(1,_9762),univ_2(1,10),c_1(1,_9762)],[],[],4),state([(_9288,11,12,true,[c_1(1,_9402),univ_2(1,_9288),c_1(1,_9402)]),c_0(1)],[],[],4),state([(_324,2,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [U Unfolding] %% conf([u,u],[state([token(c_1(1,_9762),4):1,univ_2(1,10),c_1(1,_9762)],[token(c_1(1,_9762),4)],[],5),state([(_9288,11,12,true,[c_1(1,_9402),univ_2(1,_9288),c_1(1,_9402)]),c_0(1)],[],[],4),state([(_324,2,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [Activate] %% conf([u,u],[state([c,univ_2(1,10),c_1(1,_9762)],[],[],5),state([(_9288,11,12,true,[c_1(1,_9402),univ_2(1,_9288),c_1(1,_9402)]),c_0(1)],[],[],4),state([(_324,2,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [Simplify] %% conf([u,u],[state([token(c,5):1,univ_2(1,10),c_1(1,_9762)],[token(c,5)],[],6),state([(_9288,11,12,true,[c_1(1,_9402),univ_2(1,_9288),c_1(1,_9402)]),c_0(1)],[],[],4),state([(_324,2,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [Activate] %% conf([u,u],[state([univ_2(1,10),c_1(1,_9762)],[],[],6),state([(_9288,11,12,true,[c_1(1,_9402),univ_2(1,_9288),c_1(1,_9402)]),c_0(1)],[],[],4),state([(_324,2,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [Simplify] %% conf([u,u],[state([token(univ_2(1,10),6):1,c_1(1,_9762)],[token(univ_2(1,10),6)],[],7),state([(_9288,11,12,true,[c_1(1,_9402),univ_2(1,_9288),c_1(1,_9402)]),c_0(1)],[],[],4),state([(_324,2,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [Activate] %% conf([u,u,u],[state([(_10890,100,102,true,[c_2(1,10,_10890)]),c_1(1,_9762)],[],[],7),state([(_9288,11,12,true,[c_1(1,_9402),univ_2(1,_9288),c_1(1,_9402)]),c_0(1)],[],[],4),state([(_324,2,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [U Simplify] %% conf([u,u,u],[state([c_2(1,10,100)],[],[],7),state([(_10890,101,102,true,[c_2(1,10,_10890)]),c_1(1,_9762)],[],[],7),state([(_9288,11,12,true,[c_1(1,_9402),univ_2(1,_9288),c_1(1,_9402)]),c_0(1)],[],[],4),state([(_324,2,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [U Unfolding] %% conf([u,u,u],[state([token(c_2(1,10,100),7):1],[token(c_2(1,10,100),7)],[],8),state([(_10890,101,102,true,[c_2(1,10,_10890)]),c_1(1,_9762)],[],[],7),state([(_9288,11,12,true,[c_1(1,_9402),univ_2(1,_9288),c_1(1,_9402)]),c_0(1)],[],[],4),state([(_324,2,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [Activate] %% conf([u,u,u],[state([c],[],[],8),state([(_10890,101,102,true,[c_2(1,10,_10890)]),c_1(1,_9762)],[],[],7),state([(_9288,11,12,true,[c_1(1,_9402),univ_2(1,_9288),c_1(1,_9402)]),c_0(1)],[],[],4),state([(_324,2,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [Simplify] %% conf([u,u,u],[state([token(c,8):1],[token(c,8)],[],9),state([(_10890,101,102,true,[c_2(1,10,_10890)]),c_1(1,_9762)],[],[],7),state([(_9288,11,12,true,[c_1(1,_9402),univ_2(1,_9288),c_1(1,_9402)]),c_0(1)],[],[],4),state([(_324,2,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [Activate] %% conf([u,u,u],[state([],[],[],9),state([(_10890,101,102,true,[c_2(1,10,_10890)]),c_1(1,_9762)],[],[],7),state([(_9288,11,12,true,[c_1(1,_9402),univ_2(1,_9288),c_1(1,_9402)]),c_0(1)],[],[],4),state([(_324,2,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [Simplify] %% conf([u,u,u],[success,state([(_10890,101,102,true,[c_2(1,10,_10890)]),c_1(1,_9762)],[],[],7),state([(_9288,11,12,true,[c_1(1,_9402),univ_2(1,_9288),c_1(1,_9402)]),c_0(1)],[],[],4),state([(_324,2,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [Success] %% conf([u,u,u],[state([(_10890,101,102,true,[c_2(1,10,_10890)]),c_1(1,_9762)],[],[],7),state([(_9288,11,12,true,[c_1(1,_9402),univ_2(1,_9288),c_1(1,_9402)]),c_0(1)],[],[],4),state([(_324,2,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [U SuccessPropagate] %% conf([u,u,u],[state([c_2(1,10,101)],[],[],7),state([(_10890,102,102,true,[c_2(1,10,_10890)]),c_1(1,_9762)],[],[],7),state([(_9288,11,12,true,[c_1(1,_9402),univ_2(1,_9288),c_1(1,_9402)]),c_0(1)],[],[],4),state([(_324,2,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [U Unfolding] %% conf([u,u,u],[state([token(c_2(1,10,101),7):1],[token(c_2(1,10,101),7)],[],8),state([(_10890,102,102,true,[c_2(1,10,_10890)]),c_1(1,_9762)],[],[],7),state([(_9288,11,12,true,[c_1(1,_9402),univ_2(1,_9288),c_1(1,_9402)]),c_0(1)],[],[],4),state([(_324,2,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [Activate] %% conf([u,u,u],[state([c],[],[],8),state([(_10890,102,102,true,[c_2(1,10,_10890)]),c_1(1,_9762)],[],[],7),state([(_9288,11,12,true,[c_1(1,_9402),univ_2(1,_9288),c_1(1,_9402)]),c_0(1)],[],[],4),state([(_324,2,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [Simplify] %% conf([u,u,u],[state([token(c,8):1],[token(c,8)],[],9),state([(_10890,102,102,true,[c_2(1,10,_10890)]),c_1(1,_9762)],[],[],7),state([(_9288,11,12,true,[c_1(1,_9402),univ_2(1,_9288),c_1(1,_9402)]),c_0(1)],[],[],4),state([(_324,2,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [Activate] %% conf([u,u,u],[state([],[],[],9),state([(_10890,102,102,true,[c_2(1,10,_10890)]),c_1(1,_9762)],[],[],7),state([(_9288,11,12,true,[c_1(1,_9402),univ_2(1,_9288),c_1(1,_9402)]),c_0(1)],[],[],4),state([(_324,2,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [Simplify] %% conf([u,u,u],[success,state([(_10890,102,102,true,[c_2(1,10,_10890)]),c_1(1,_9762)],[],[],7),state([(_9288,11,12,true,[c_1(1,_9402),univ_2(1,_9288),c_1(1,_9402)]),c_0(1)],[],[],4),state([(_324,2,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [Success] %% conf([u,u,u],[state([(_10890,102,102,true,[c_2(1,10,_10890)]),c_1(1,_9762)],[],[],7),state([(_9288,11,12,true,[c_1(1,_9402),univ_2(1,_9288),c_1(1,_9402)]),c_0(1)],[],[],4),state([(_324,2,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [U SuccessPropagate] %% conf([u,u,u],[state([c_2(1,10,102)],[],[],7),state([(_10890,103,102,true,[c_2(1,10,_10890)]),c_1(1,_9762)],[],[],7),state([(_9288,11,12,true,[c_1(1,_9402),univ_2(1,_9288),c_1(1,_9402)]),c_0(1)],[],[],4),state([(_324,2,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [U Unfolding] %% conf([u,u,u],[state([token(c_2(1,10,102),7):1],[token(c_2(1,10,102),7)],[],8),state([(_10890,103,102,true,[c_2(1,10,_10890)]),c_1(1,_9762)],[],[],7),state([(_9288,11,12,true,[c_1(1,_9402),univ_2(1,_9288),c_1(1,_9402)]),c_0(1)],[],[],4),state([(_324,2,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [Activate] %% conf([u,u,u],[state([c],[],[],8),state([(_10890,103,102,true,[c_2(1,10,_10890)]),c_1(1,_9762)],[],[],7),state([(_9288,11,12,true,[c_1(1,_9402),univ_2(1,_9288),c_1(1,_9402)]),c_0(1)],[],[],4),state([(_324,2,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [Simplify] %% conf([u,u,u],[state([token(c,8):1],[token(c,8)],[],9),state([(_10890,103,102,true,[c_2(1,10,_10890)]),c_1(1,_9762)],[],[],7),state([(_9288,11,12,true,[c_1(1,_9402),univ_2(1,_9288),c_1(1,_9402)]),c_0(1)],[],[],4),state([(_324,2,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [Activate] %% conf([u,u,u],[state([],[],[],9),state([(_10890,103,102,true,[c_2(1,10,_10890)]),c_1(1,_9762)],[],[],7),state([(_9288,11,12,true,[c_1(1,_9402),univ_2(1,_9288),c_1(1,_9402)]),c_0(1)],[],[],4),state([(_324,2,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [Simplify] %% conf([u,u,u],[success,state([(_10890,103,102,true,[c_2(1,10,_10890)]),c_1(1,_9762)],[],[],7),state([(_9288,11,12,true,[c_1(1,_9402),univ_2(1,_9288),c_1(1,_9402)]),c_0(1)],[],[],4),state([(_324,2,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [Success] %% conf([u,u,u],[state([(_10890,103,102,true,[c_2(1,10,_10890)]),c_1(1,_9762)],[],[],7),state([(_9288,11,12,true,[c_1(1,_9402),univ_2(1,_9288),c_1(1,_9402)]),c_0(1)],[],[],4),state([(_324,2,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [U SuccessPropagate] %% conf([u,u],[state([c_1(1,_9762)],[],[],7),state([(_9288,11,12,true,[c_1(1,_9402),univ_2(1,_9288),c_1(1,_9402)]),c_0(1)],[],[],4),state([(_324,2,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [U Success] %% conf([u,u],[state([token(c_1(1,_9762),7):1],[token(c_1(1,_9762),7)],[],8),state([(_9288,11,12,true,[c_1(1,_9402),univ_2(1,_9288),c_1(1,_9402)]),c_0(1)],[],[],4),state([(_324,2,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [Activate] %% conf([u,u],[state([c],[],[],8),state([(_9288,11,12,true,[c_1(1,_9402),univ_2(1,_9288),c_1(1,_9402)]),c_0(1)],[],[],4),state([(_324,2,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [Simplify] %% conf([u,u],[state([token(c,8):1],[token(c,8)],[],9),state([(_9288,11,12,true,[c_1(1,_9402),univ_2(1,_9288),c_1(1,_9402)]),c_0(1)],[],[],4),state([(_324,2,2,true,[c_0(_324),univ_1(_324),c_0(_324)])],[],[],1)]) [Activate] %% conf([u,u],[state([],[],[],9),state([(_800,11,12,true,[c_1(1,_814),univ_2(1,_800),c_1(1,_814)]),c_0(1)],[],[],4),state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Simplify] %% conf([u,u],[success,state([(_800,11,12,true,[c_1(1,_814),univ_2(1,_800),c_1(1,_814)]),c_0(1)],[],[],4),state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Success] %% conf([u,u],[state([(_800,11,12,true,[c_1(1,_814),univ_2(1,_800),c_1(1,_814)]),c_0(1)],[],[],4),state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [U SuccessPropagate] %% conf([u,u],[state([c_1(1,_1478),univ_2(1,11),c_1(1,_1478)],[],[],4),state([(_800,12,12,true,[c_1(1,_814),univ_2(1,_800),c_1(1,_814)]),c_0(1)],[],[],4),state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [U Unfolding] %% conf([u,u],[state([token(c_1(1,_1478),4):1,univ_2(1,11),c_1(1,_1478)],[token(c_1(1,_1478),4)],[],5),state([(_800,12,12,true,[c_1(1,_814),univ_2(1,_800),c_1(1,_814)]),c_0(1)],[],[],4),state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Activate] %% conf([u,u],[state([c,univ_2(1,11),c_1(1,_1478)],[],[],5),state([(_800,12,12,true,[c_1(1,_814),univ_2(1,_800),c_1(1,_814)]),c_0(1)],[],[],4),state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Simplify] %% conf([u,u],[state([token(c,5):1,univ_2(1,11),c_1(1,_1478)],[token(c,5)],[],6),state([(_800,12,12,true,[c_1(1,_814),univ_2(1,_800),c_1(1,_814)]),c_0(1)],[],[],4),state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Activate] %% conf([u,u],[state([univ_2(1,11),c_1(1,_1478)],[],[],6),state([(_800,12,12,true,[c_1(1,_814),univ_2(1,_800),c_1(1,_814)]),c_0(1)],[],[],4),state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Simplify] %% conf([u,u],[state([token(univ_2(1,11),6):1,c_1(1,_1478)],[token(univ_2(1,11),6)],[],7),state([(_800,12,12,true,[c_1(1,_814),univ_2(1,_800),c_1(1,_814)]),c_0(1)],[],[],4),state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Activate] %% conf([u,u,u],[state([(_2606,100,102,true,[c_2(1,11,_2606)]),c_1(1,_1478)],[],[],7),state([(_800,12,12,true,[c_1(1,_814),univ_2(1,_800),c_1(1,_814)]),c_0(1)],[],[],4),state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [U Simplify] %% conf([u,u,u],[state([c_2(1,11,100)],[],[],7),state([(_2606,101,102,true,[c_2(1,11,_2606)]),c_1(1,_1478)],[],[],7),state([(_800,12,12,true,[c_1(1,_814),univ_2(1,_800),c_1(1,_814)]),c_0(1)],[],[],4),state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [U Unfolding] %% conf([u,u,u],[state([token(c_2(1,11,100),7):1],[token(c_2(1,11,100),7)],[],8),state([(_2606,101,102,true,[c_2(1,11,_2606)]),c_1(1,_1478)],[],[],7),state([(_800,12,12,true,[c_1(1,_814),univ_2(1,_800),c_1(1,_814)]),c_0(1)],[],[],4),state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Activate] %% conf([u,u,u],[state([c],[],[],8),state([(_2606,101,102,true,[c_2(1,11,_2606)]),c_1(1,_1478)],[],[],7),state([(_800,12,12,true,[c_1(1,_814),univ_2(1,_800),c_1(1,_814)]),c_0(1)],[],[],4),state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Simplify] %% conf([u,u,u],[state([token(c,8):1],[token(c,8)],[],9),state([(_2606,101,102,true,[c_2(1,11,_2606)]),c_1(1,_1478)],[],[],7),state([(_800,12,12,true,[c_1(1,_814),univ_2(1,_800),c_1(1,_814)]),c_0(1)],[],[],4),state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Activate] %% conf([u,u,u],[state([],[],[],9),state([(_2606,101,102,true,[c_2(1,11,_2606)]),c_1(1,_1478)],[],[],7),state([(_800,12,12,true,[c_1(1,_814),univ_2(1,_800),c_1(1,_814)]),c_0(1)],[],[],4),state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Simplify] %% conf([u,u,u],[success,state([(_2606,101,102,true,[c_2(1,11,_2606)]),c_1(1,_1478)],[],[],7),state([(_800,12,12,true,[c_1(1,_814),univ_2(1,_800),c_1(1,_814)]),c_0(1)],[],[],4),state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Success] %% conf([u,u,u],[state([(_2606,101,102,true,[c_2(1,11,_2606)]),c_1(1,_1478)],[],[],7),state([(_800,12,12,true,[c_1(1,_814),univ_2(1,_800),c_1(1,_814)]),c_0(1)],[],[],4),state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [U SuccessPropagate] %% conf([u,u,u],[state([c_2(1,11,101)],[],[],7),state([(_2606,102,102,true,[c_2(1,11,_2606)]),c_1(1,_1478)],[],[],7),state([(_800,12,12,true,[c_1(1,_814),univ_2(1,_800),c_1(1,_814)]),c_0(1)],[],[],4),state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [U Unfolding] %% conf([u,u,u],[state([token(c_2(1,11,101),7):1],[token(c_2(1,11,101),7)],[],8),state([(_2606,102,102,true,[c_2(1,11,_2606)]),c_1(1,_1478)],[],[],7),state([(_800,12,12,true,[c_1(1,_814),univ_2(1,_800),c_1(1,_814)]),c_0(1)],[],[],4),state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Activate] %% conf([u,u,u],[state([c],[],[],8),state([(_2606,102,102,true,[c_2(1,11,_2606)]),c_1(1,_1478)],[],[],7),state([(_800,12,12,true,[c_1(1,_814),univ_2(1,_800),c_1(1,_814)]),c_0(1)],[],[],4),state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Simplify] %% conf([u,u,u],[state([token(c,8):1],[token(c,8)],[],9),state([(_2606,102,102,true,[c_2(1,11,_2606)]),c_1(1,_1478)],[],[],7),state([(_800,12,12,true,[c_1(1,_814),univ_2(1,_800),c_1(1,_814)]),c_0(1)],[],[],4),state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Activate] %% conf([u,u,u],[state([],[],[],9),state([(_2606,102,102,true,[c_2(1,11,_2606)]),c_1(1,_1478)],[],[],7),state([(_800,12,12,true,[c_1(1,_814),univ_2(1,_800),c_1(1,_814)]),c_0(1)],[],[],4),state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Simplify] %% conf([u,u,u],[success,state([(_2606,102,102,true,[c_2(1,11,_2606)]),c_1(1,_1478)],[],[],7),state([(_800,12,12,true,[c_1(1,_814),univ_2(1,_800),c_1(1,_814)]),c_0(1)],[],[],4),state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Success] %% conf([u,u,u],[state([(_2606,102,102,true,[c_2(1,11,_2606)]),c_1(1,_1478)],[],[],7),state([(_800,12,12,true,[c_1(1,_814),univ_2(1,_800),c_1(1,_814)]),c_0(1)],[],[],4),state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [U SuccessPropagate] %% conf([u,u,u],[state([c_2(1,11,102)],[],[],7),state([(_2606,103,102,true,[c_2(1,11,_2606)]),c_1(1,_1478)],[],[],7),state([(_800,12,12,true,[c_1(1,_814),univ_2(1,_800),c_1(1,_814)]),c_0(1)],[],[],4),state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [U Unfolding] %% conf([u,u,u],[state([token(c_2(1,11,102),7):1],[token(c_2(1,11,102),7)],[],8),state([(_2606,103,102,true,[c_2(1,11,_2606)]),c_1(1,_1478)],[],[],7),state([(_800,12,12,true,[c_1(1,_814),univ_2(1,_800),c_1(1,_814)]),c_0(1)],[],[],4),state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Activate] %% conf([u,u,u],[state([c],[],[],8),state([(_2606,103,102,true,[c_2(1,11,_2606)]),c_1(1,_1478)],[],[],7),state([(_800,12,12,true,[c_1(1,_814),univ_2(1,_800),c_1(1,_814)]),c_0(1)],[],[],4),state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Simplify] %% conf([u,u,u],[state([token(c,8):1],[token(c,8)],[],9),state([(_2606,103,102,true,[c_2(1,11,_2606)]),c_1(1,_1478)],[],[],7),state([(_800,12,12,true,[c_1(1,_814),univ_2(1,_800),c_1(1,_814)]),c_0(1)],[],[],4),state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Activate] %% conf([u,u,u],[state([],[],[],9),state([(_2606,103,102,true,[c_2(1,11,_2606)]),c_1(1,_1478)],[],[],7),state([(_800,12,12,true,[c_1(1,_814),univ_2(1,_800),c_1(1,_814)]),c_0(1)],[],[],4),state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Simplify] %% conf([u,u,u],[success,state([(_2606,103,102,true,[c_2(1,11,_2606)]),c_1(1,_1478)],[],[],7),state([(_800,12,12,true,[c_1(1,_814),univ_2(1,_800),c_1(1,_814)]),c_0(1)],[],[],4),state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Success] %% conf([u,u,u],[state([(_2606,103,102,true,[c_2(1,11,_2606)]),c_1(1,_1478)],[],[],7),state([(_800,12,12,true,[c_1(1,_814),univ_2(1,_800),c_1(1,_814)]),c_0(1)],[],[],4),state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [U SuccessPropagate] %% conf([u,u],[state([c_1(1,_1478)],[],[],7),state([(_800,12,12,true,[c_1(1,_814),univ_2(1,_800),c_1(1,_814)]),c_0(1)],[],[],4),state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [U Success] %% conf([u,u],[state([token(c_1(1,_1478),7):1],[token(c_1(1,_1478),7)],[],8),state([(_800,12,12,true,[c_1(1,_814),univ_2(1,_800),c_1(1,_814)]),c_0(1)],[],[],4),state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Activate] %% conf([u,u],[state([c],[],[],8),state([(_800,12,12,true,[c_1(1,_814),univ_2(1,_800),c_1(1,_814)]),c_0(1)],[],[],4),state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Simplify] %% conf([u,u],[state([token(c,8):1],[token(c,8)],[],9),state([(_800,12,12,true,[c_1(1,_814),univ_2(1,_800),c_1(1,_814)]),c_0(1)],[],[],4),state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Activate] %% conf([u,u],[state([],[],[],9),state([(_800,12,12,true,[c_1(1,_814),univ_2(1,_800),c_1(1,_814)]),c_0(1)],[],[],4),state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Simplify] %% conf([u,u],[success,state([(_800,12,12,true,[c_1(1,_814),univ_2(1,_800),c_1(1,_814)]),c_0(1)],[],[],4),state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Success] %% conf([u,u],[state([(_800,12,12,true,[c_1(1,_814),univ_2(1,_800),c_1(1,_814)]),c_0(1)],[],[],4),state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [U SuccessPropagate] %% conf([u,u],[state([c_1(1,_7466),univ_2(1,12),c_1(1,_7466)],[],[],4),state([(_800,13,12,true,[c_1(1,_814),univ_2(1,_800),c_1(1,_814)]),c_0(1)],[],[],4),state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [U Unfolding] %% conf([u,u],[state([token(c_1(1,_7466),4):1,univ_2(1,12),c_1(1,_7466)],[token(c_1(1,_7466),4)],[],5),state([(_800,13,12,true,[c_1(1,_814),univ_2(1,_800),c_1(1,_814)]),c_0(1)],[],[],4),state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Activate] %% conf([u,u],[state([c,univ_2(1,12),c_1(1,_7466)],[],[],5),state([(_800,13,12,true,[c_1(1,_814),univ_2(1,_800),c_1(1,_814)]),c_0(1)],[],[],4),state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Simplify] %% conf([u,u],[state([token(c,5):1,univ_2(1,12),c_1(1,_7466)],[token(c,5)],[],6),state([(_800,13,12,true,[c_1(1,_814),univ_2(1,_800),c_1(1,_814)]),c_0(1)],[],[],4),state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Activate] %% conf([u,u],[state([univ_2(1,12),c_1(1,_7466)],[],[],6),state([(_800,13,12,true,[c_1(1,_814),univ_2(1,_800),c_1(1,_814)]),c_0(1)],[],[],4),state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Simplify] %% conf([u,u],[state([token(univ_2(1,12),6):1,c_1(1,_7466)],[token(univ_2(1,12),6)],[],7),state([(_800,13,12,true,[c_1(1,_814),univ_2(1,_800),c_1(1,_814)]),c_0(1)],[],[],4),state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Activate] %% conf([u,u,u],[state([(_8594,100,102,true,[c_2(1,12,_8594)]),c_1(1,_7466)],[],[],7),state([(_800,13,12,true,[c_1(1,_814),univ_2(1,_800),c_1(1,_814)]),c_0(1)],[],[],4),state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [U Simplify] %% conf([u,u,u],[state([c_2(1,12,100)],[],[],7),state([(_8594,101,102,true,[c_2(1,12,_8594)]),c_1(1,_7466)],[],[],7),state([(_800,13,12,true,[c_1(1,_814),univ_2(1,_800),c_1(1,_814)]),c_0(1)],[],[],4),state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [U Unfolding] %% conf([u,u,u],[state([token(c_2(1,12,100),7):1],[token(c_2(1,12,100),7)],[],8),state([(_8594,101,102,true,[c_2(1,12,_8594)]),c_1(1,_7466)],[],[],7),state([(_800,13,12,true,[c_1(1,_814),univ_2(1,_800),c_1(1,_814)]),c_0(1)],[],[],4),state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Activate] %% conf([u,u,u],[state([c],[],[],8),state([(_8594,101,102,true,[c_2(1,12,_8594)]),c_1(1,_7466)],[],[],7),state([(_800,13,12,true,[c_1(1,_814),univ_2(1,_800),c_1(1,_814)]),c_0(1)],[],[],4),state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Simplify] %% conf([u,u,u],[state([token(c,8):1],[token(c,8)],[],9),state([(_8594,101,102,true,[c_2(1,12,_8594)]),c_1(1,_7466)],[],[],7),state([(_800,13,12,true,[c_1(1,_814),univ_2(1,_800),c_1(1,_814)]),c_0(1)],[],[],4),state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Activate] %% conf([u,u,u],[state([],[],[],9),state([(_8594,101,102,true,[c_2(1,12,_8594)]),c_1(1,_7466)],[],[],7),state([(_800,13,12,true,[c_1(1,_814),univ_2(1,_800),c_1(1,_814)]),c_0(1)],[],[],4),state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Simplify] %% conf([u,u,u],[success,state([(_8594,101,102,true,[c_2(1,12,_8594)]),c_1(1,_7466)],[],[],7),state([(_800,13,12,true,[c_1(1,_814),univ_2(1,_800),c_1(1,_814)]),c_0(1)],[],[],4),state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Success] %% conf([u,u,u],[state([(_8594,101,102,true,[c_2(1,12,_8594)]),c_1(1,_7466)],[],[],7),state([(_800,13,12,true,[c_1(1,_814),univ_2(1,_800),c_1(1,_814)]),c_0(1)],[],[],4),state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [U SuccessPropagate] %% conf([u,u,u],[state([c_2(1,12,101)],[],[],7),state([(_8594,102,102,true,[c_2(1,12,_8594)]),c_1(1,_7466)],[],[],7),state([(_800,13,12,true,[c_1(1,_814),univ_2(1,_800),c_1(1,_814)]),c_0(1)],[],[],4),state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [U Unfolding] %% conf([u,u,u],[state([token(c_2(1,12,101),7):1],[token(c_2(1,12,101),7)],[],8),state([(_8594,102,102,true,[c_2(1,12,_8594)]),c_1(1,_7466)],[],[],7),state([(_800,13,12,true,[c_1(1,_814),univ_2(1,_800),c_1(1,_814)]),c_0(1)],[],[],4),state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Activate] %% conf([u,u,u],[state([c],[],[],8),state([(_8594,102,102,true,[c_2(1,12,_8594)]),c_1(1,_7466)],[],[],7),state([(_800,13,12,true,[c_1(1,_814),univ_2(1,_800),c_1(1,_814)]),c_0(1)],[],[],4),state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Simplify] %% conf([u,u,u],[state([token(c,8):1],[token(c,8)],[],9),state([(_8594,102,102,true,[c_2(1,12,_8594)]),c_1(1,_7466)],[],[],7),state([(_800,13,12,true,[c_1(1,_814),univ_2(1,_800),c_1(1,_814)]),c_0(1)],[],[],4),state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Activate] %% conf([u,u,u],[state([],[],[],9),state([(_8594,102,102,true,[c_2(1,12,_8594)]),c_1(1,_7466)],[],[],7),state([(_800,13,12,true,[c_1(1,_814),univ_2(1,_800),c_1(1,_814)]),c_0(1)],[],[],4),state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Simplify] %% conf([u,u,u],[success,state([(_8594,102,102,true,[c_2(1,12,_8594)]),c_1(1,_7466)],[],[],7),state([(_800,13,12,true,[c_1(1,_814),univ_2(1,_800),c_1(1,_814)]),c_0(1)],[],[],4),state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Success] %% conf([u,u,u],[state([(_8594,102,102,true,[c_2(1,12,_8594)]),c_1(1,_7466)],[],[],7),state([(_800,13,12,true,[c_1(1,_814),univ_2(1,_800),c_1(1,_814)]),c_0(1)],[],[],4),state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [U SuccessPropagate] %% conf([u,u,u],[state([c_2(1,12,102)],[],[],7),state([(_8594,103,102,true,[c_2(1,12,_8594)]),c_1(1,_7466)],[],[],7),state([(_800,13,12,true,[c_1(1,_814),univ_2(1,_800),c_1(1,_814)]),c_0(1)],[],[],4),state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [U Unfolding] %% conf([u,u,u],[state([token(c_2(1,12,102),7):1],[token(c_2(1,12,102),7)],[],8),state([(_8594,103,102,true,[c_2(1,12,_8594)]),c_1(1,_7466)],[],[],7),state([(_800,13,12,true,[c_1(1,_814),univ_2(1,_800),c_1(1,_814)]),c_0(1)],[],[],4),state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Activate] %% conf([u,u,u],[state([c],[],[],8),state([(_8594,103,102,true,[c_2(1,12,_8594)]),c_1(1,_7466)],[],[],7),state([(_800,13,12,true,[c_1(1,_814),univ_2(1,_800),c_1(1,_814)]),c_0(1)],[],[],4),state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Simplify] %% conf([u,u,u],[state([token(c,8):1],[token(c,8)],[],9),state([(_8594,103,102,true,[c_2(1,12,_8594)]),c_1(1,_7466)],[],[],7),state([(_800,13,12,true,[c_1(1,_814),univ_2(1,_800),c_1(1,_814)]),c_0(1)],[],[],4),state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Activate] %% conf([u,u,u],[state([],[],[],9),state([(_8594,103,102,true,[c_2(1,12,_8594)]),c_1(1,_7466)],[],[],7),state([(_800,13,12,true,[c_1(1,_814),univ_2(1,_800),c_1(1,_814)]),c_0(1)],[],[],4),state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Simplify] %% conf([u,u,u],[success,state([(_8594,103,102,true,[c_2(1,12,_8594)]),c_1(1,_7466)],[],[],7),state([(_800,13,12,true,[c_1(1,_814),univ_2(1,_800),c_1(1,_814)]),c_0(1)],[],[],4),state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Success] %% conf([u,u,u],[state([(_8594,103,102,true,[c_2(1,12,_8594)]),c_1(1,_7466)],[],[],7),state([(_800,13,12,true,[c_1(1,_814),univ_2(1,_800),c_1(1,_814)]),c_0(1)],[],[],4),state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [U SuccessPropagate] %% conf([u,u],[state([c_1(1,_7466)],[],[],7),state([(_800,13,12,true,[c_1(1,_814),univ_2(1,_800),c_1(1,_814)]),c_0(1)],[],[],4),state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [U Success] %% conf([u,u],[state([token(c_1(1,_7466),7):1],[token(c_1(1,_7466),7)],[],8),state([(_800,13,12,true,[c_1(1,_814),univ_2(1,_800),c_1(1,_814)]),c_0(1)],[],[],4),state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Activate] %% conf([u,u],[state([c],[],[],8),state([(_800,13,12,true,[c_1(1,_814),univ_2(1,_800),c_1(1,_814)]),c_0(1)],[],[],4),state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Simplify] %% conf([u,u],[state([token(c,8):1],[token(c,8)],[],9),state([(_800,13,12,true,[c_1(1,_814),univ_2(1,_800),c_1(1,_814)]),c_0(1)],[],[],4),state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Activate] %% conf([u,u],[state([],[],[],9),state([(_800,13,12,true,[c_1(1,_814),univ_2(1,_800),c_1(1,_814)]),c_0(1)],[],[],4),state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Simplify] %% conf([u,u],[success,state([(_800,13,12,true,[c_1(1,_814),univ_2(1,_800),c_1(1,_814)]),c_0(1)],[],[],4),state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Success] %% conf([u,u],[state([(_800,13,12,true,[c_1(1,_814),univ_2(1,_800),c_1(1,_814)]),c_0(1)],[],[],4),state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [U SuccessPropagate] %% conf([u],[state([c_0(1)],[],[],4),state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [U Success] %% conf([u],[state([token(c_0(1),4):1],[token(c_0(1),4)],[],5),state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Activate] %% conf([u],[state([c],[],[],5),state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Simplify] %% conf([u],[state([token(c,5):1],[token(c,5)],[],6),state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Activate] %% conf([u],[state([],[],[],6),state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Simplify] %% conf([u],[success,state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Success] %% conf([u],[state([(_316,2,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [U SuccessPropagate] %% conf([u],[state([c_0(2),univ_1(2),c_0(2)],[],[],1),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [U Unfolding] %% conf([u],[state([token(c_0(2),1):1,univ_1(2),c_0(2)],[token(c_0(2),1)],[],2),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Activate] %% conf([u],[state([c,univ_1(2),c_0(2)],[],[],2),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Simplify] %% conf([u],[state([token(c,2):1,univ_1(2),c_0(2)],[token(c,2)],[],3),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Activate] %% conf([u],[state([univ_1(2),c_0(2)],[],[],3),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Simplify] %% conf([u],[state([token(univ_1(2),3):1,c_0(2)],[token(univ_1(2),3)],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Activate] %% conf([u,u],[state([(_1758,10,12,true,[c_1(2,_1872),univ_2(2,_1758),c_1(2,_1872)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [U Simplify] %% conf([u,u],[state([c_1(2,_2232),univ_2(2,10),c_1(2,_2232)],[],[],4),state([(_1758,11,12,true,[c_1(2,_1872),univ_2(2,_1758),c_1(2,_1872)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [U Unfolding] %% conf([u,u],[state([token(c_1(2,_2232),4):1,univ_2(2,10),c_1(2,_2232)],[token(c_1(2,_2232),4)],[],5),state([(_1758,11,12,true,[c_1(2,_1872),univ_2(2,_1758),c_1(2,_1872)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Activate] %% conf([u,u],[state([c,univ_2(2,10),c_1(2,_2232)],[],[],5),state([(_1758,11,12,true,[c_1(2,_1872),univ_2(2,_1758),c_1(2,_1872)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Simplify] %% conf([u,u],[state([token(c,5):1,univ_2(2,10),c_1(2,_2232)],[token(c,5)],[],6),state([(_1758,11,12,true,[c_1(2,_1872),univ_2(2,_1758),c_1(2,_1872)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Activate] %% conf([u,u],[state([univ_2(2,10),c_1(2,_2232)],[],[],6),state([(_1758,11,12,true,[c_1(2,_1872),univ_2(2,_1758),c_1(2,_1872)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Simplify] %% conf([u,u],[state([token(univ_2(2,10),6):1,c_1(2,_2232)],[token(univ_2(2,10),6)],[],7),state([(_1758,11,12,true,[c_1(2,_1872),univ_2(2,_1758),c_1(2,_1872)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Activate] %% conf([u,u,u],[state([(_3360,100,102,true,[c_2(2,10,_3360)]),c_1(2,_2232)],[],[],7),state([(_1758,11,12,true,[c_1(2,_1872),univ_2(2,_1758),c_1(2,_1872)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [U Simplify] %% conf([u,u,u],[state([c_2(2,10,100)],[],[],7),state([(_3360,101,102,true,[c_2(2,10,_3360)]),c_1(2,_2232)],[],[],7),state([(_1758,11,12,true,[c_1(2,_1872),univ_2(2,_1758),c_1(2,_1872)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [U Unfolding] %% conf([u,u,u],[state([token(c_2(2,10,100),7):1],[token(c_2(2,10,100),7)],[],8),state([(_3360,101,102,true,[c_2(2,10,_3360)]),c_1(2,_2232)],[],[],7),state([(_1758,11,12,true,[c_1(2,_1872),univ_2(2,_1758),c_1(2,_1872)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Activate] %% conf([u,u,u],[state([c],[],[],8),state([(_3360,101,102,true,[c_2(2,10,_3360)]),c_1(2,_2232)],[],[],7),state([(_1758,11,12,true,[c_1(2,_1872),univ_2(2,_1758),c_1(2,_1872)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Simplify] %% conf([u,u,u],[state([token(c,8):1],[token(c,8)],[],9),state([(_3360,101,102,true,[c_2(2,10,_3360)]),c_1(2,_2232)],[],[],7),state([(_1758,11,12,true,[c_1(2,_1872),univ_2(2,_1758),c_1(2,_1872)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Activate] %% conf([u,u,u],[state([],[],[],9),state([(_3360,101,102,true,[c_2(2,10,_3360)]),c_1(2,_2232)],[],[],7),state([(_1758,11,12,true,[c_1(2,_1872),univ_2(2,_1758),c_1(2,_1872)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Simplify] %% conf([u,u,u],[success,state([(_3360,101,102,true,[c_2(2,10,_3360)]),c_1(2,_2232)],[],[],7),state([(_1758,11,12,true,[c_1(2,_1872),univ_2(2,_1758),c_1(2,_1872)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Success] %% conf([u,u,u],[state([(_3360,101,102,true,[c_2(2,10,_3360)]),c_1(2,_2232)],[],[],7),state([(_1758,11,12,true,[c_1(2,_1872),univ_2(2,_1758),c_1(2,_1872)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [U SuccessPropagate] %% conf([u,u,u],[state([c_2(2,10,101)],[],[],7),state([(_3360,102,102,true,[c_2(2,10,_3360)]),c_1(2,_2232)],[],[],7),state([(_1758,11,12,true,[c_1(2,_1872),univ_2(2,_1758),c_1(2,_1872)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [U Unfolding] %% conf([u,u,u],[state([token(c_2(2,10,101),7):1],[token(c_2(2,10,101),7)],[],8),state([(_3360,102,102,true,[c_2(2,10,_3360)]),c_1(2,_2232)],[],[],7),state([(_1758,11,12,true,[c_1(2,_1872),univ_2(2,_1758),c_1(2,_1872)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Activate] %% conf([u,u,u],[state([c],[],[],8),state([(_3360,102,102,true,[c_2(2,10,_3360)]),c_1(2,_2232)],[],[],7),state([(_1758,11,12,true,[c_1(2,_1872),univ_2(2,_1758),c_1(2,_1872)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Simplify] %% conf([u,u,u],[state([token(c,8):1],[token(c,8)],[],9),state([(_3360,102,102,true,[c_2(2,10,_3360)]),c_1(2,_2232)],[],[],7),state([(_1758,11,12,true,[c_1(2,_1872),univ_2(2,_1758),c_1(2,_1872)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Activate] %% conf([u,u,u],[state([],[],[],9),state([(_3360,102,102,true,[c_2(2,10,_3360)]),c_1(2,_2232)],[],[],7),state([(_1758,11,12,true,[c_1(2,_1872),univ_2(2,_1758),c_1(2,_1872)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Simplify] %% conf([u,u,u],[success,state([(_3360,102,102,true,[c_2(2,10,_3360)]),c_1(2,_2232)],[],[],7),state([(_1758,11,12,true,[c_1(2,_1872),univ_2(2,_1758),c_1(2,_1872)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Success] %% conf([u,u,u],[state([(_3360,102,102,true,[c_2(2,10,_3360)]),c_1(2,_2232)],[],[],7),state([(_1758,11,12,true,[c_1(2,_1872),univ_2(2,_1758),c_1(2,_1872)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [U SuccessPropagate] %% conf([u,u,u],[state([c_2(2,10,102)],[],[],7),state([(_3360,103,102,true,[c_2(2,10,_3360)]),c_1(2,_2232)],[],[],7),state([(_1758,11,12,true,[c_1(2,_1872),univ_2(2,_1758),c_1(2,_1872)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [U Unfolding] %% conf([u,u,u],[state([token(c_2(2,10,102),7):1],[token(c_2(2,10,102),7)],[],8),state([(_3360,103,102,true,[c_2(2,10,_3360)]),c_1(2,_2232)],[],[],7),state([(_1758,11,12,true,[c_1(2,_1872),univ_2(2,_1758),c_1(2,_1872)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Activate] %% conf([u,u,u],[state([c],[],[],8),state([(_3360,103,102,true,[c_2(2,10,_3360)]),c_1(2,_2232)],[],[],7),state([(_1758,11,12,true,[c_1(2,_1872),univ_2(2,_1758),c_1(2,_1872)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Simplify] %% conf([u,u,u],[state([token(c,8):1],[token(c,8)],[],9),state([(_3360,103,102,true,[c_2(2,10,_3360)]),c_1(2,_2232)],[],[],7),state([(_1758,11,12,true,[c_1(2,_1872),univ_2(2,_1758),c_1(2,_1872)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Activate] %% conf([u,u,u],[state([],[],[],9),state([(_3360,103,102,true,[c_2(2,10,_3360)]),c_1(2,_2232)],[],[],7),state([(_1758,11,12,true,[c_1(2,_1872),univ_2(2,_1758),c_1(2,_1872)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Simplify] %% conf([u,u,u],[success,state([(_3360,103,102,true,[c_2(2,10,_3360)]),c_1(2,_2232)],[],[],7),state([(_1758,11,12,true,[c_1(2,_1872),univ_2(2,_1758),c_1(2,_1872)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Success] %% conf([u,u,u],[state([(_3360,103,102,true,[c_2(2,10,_3360)]),c_1(2,_2232)],[],[],7),state([(_1758,11,12,true,[c_1(2,_1872),univ_2(2,_1758),c_1(2,_1872)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [U SuccessPropagate] %% conf([u,u],[state([c_1(2,_2232)],[],[],7),state([(_1758,11,12,true,[c_1(2,_1872),univ_2(2,_1758),c_1(2,_1872)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [U Success] %% conf([u,u],[state([token(c_1(2,_2232),7):1],[token(c_1(2,_2232),7)],[],8),state([(_1758,11,12,true,[c_1(2,_1872),univ_2(2,_1758),c_1(2,_1872)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Activate] %% conf([u,u],[state([c],[],[],8),state([(_1758,11,12,true,[c_1(2,_1872),univ_2(2,_1758),c_1(2,_1872)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Simplify] %% conf([u,u],[state([token(c,8):1],[token(c,8)],[],9),state([(_1758,11,12,true,[c_1(2,_1872),univ_2(2,_1758),c_1(2,_1872)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Activate] %% conf([u,u],[state([],[],[],9),state([(_1758,11,12,true,[c_1(2,_1872),univ_2(2,_1758),c_1(2,_1872)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Simplify] %% conf([u,u],[success,state([(_1758,11,12,true,[c_1(2,_1872),univ_2(2,_1758),c_1(2,_1872)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Success] %% conf([u,u],[state([(_1758,11,12,true,[c_1(2,_1872),univ_2(2,_1758),c_1(2,_1872)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [U SuccessPropagate] %% conf([u,u],[state([c_1(2,_8220),univ_2(2,11),c_1(2,_8220)],[],[],4),state([(_1758,12,12,true,[c_1(2,_1872),univ_2(2,_1758),c_1(2,_1872)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [U Unfolding] %% conf([u,u],[state([token(c_1(2,_8220),4):1,univ_2(2,11),c_1(2,_8220)],[token(c_1(2,_8220),4)],[],5),state([(_1758,12,12,true,[c_1(2,_1872),univ_2(2,_1758),c_1(2,_1872)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Activate] %% conf([u,u],[state([c,univ_2(2,11),c_1(2,_8220)],[],[],5),state([(_1758,12,12,true,[c_1(2,_1872),univ_2(2,_1758),c_1(2,_1872)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Simplify] %% conf([u,u],[state([token(c,5):1,univ_2(2,11),c_1(2,_8220)],[token(c,5)],[],6),state([(_1758,12,12,true,[c_1(2,_1872),univ_2(2,_1758),c_1(2,_1872)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Activate] %% conf([u,u],[state([univ_2(2,11),c_1(2,_8220)],[],[],6),state([(_1758,12,12,true,[c_1(2,_1872),univ_2(2,_1758),c_1(2,_1872)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Simplify] %% conf([u,u],[state([token(univ_2(2,11),6):1,c_1(2,_8220)],[token(univ_2(2,11),6)],[],7),state([(_1758,12,12,true,[c_1(2,_1872),univ_2(2,_1758),c_1(2,_1872)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Activate] %% conf([u,u,u],[state([(_9348,100,102,true,[c_2(2,11,_9348)]),c_1(2,_8220)],[],[],7),state([(_1758,12,12,true,[c_1(2,_1872),univ_2(2,_1758),c_1(2,_1872)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [U Simplify] %% conf([u,u,u],[state([c_2(2,11,100)],[],[],7),state([(_9348,101,102,true,[c_2(2,11,_9348)]),c_1(2,_8220)],[],[],7),state([(_1758,12,12,true,[c_1(2,_1872),univ_2(2,_1758),c_1(2,_1872)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [U Unfolding] %% conf([u,u,u],[state([token(c_2(2,11,100),7):1],[token(c_2(2,11,100),7)],[],8),state([(_9348,101,102,true,[c_2(2,11,_9348)]),c_1(2,_8220)],[],[],7),state([(_1758,12,12,true,[c_1(2,_1872),univ_2(2,_1758),c_1(2,_1872)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Activate] %% conf([u,u,u],[state([c],[],[],8),state([(_9348,101,102,true,[c_2(2,11,_9348)]),c_1(2,_8220)],[],[],7),state([(_1758,12,12,true,[c_1(2,_1872),univ_2(2,_1758),c_1(2,_1872)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Simplify] %% conf([u,u,u],[state([token(c,8):1],[token(c,8)],[],9),state([(_9348,101,102,true,[c_2(2,11,_9348)]),c_1(2,_8220)],[],[],7),state([(_1758,12,12,true,[c_1(2,_1872),univ_2(2,_1758),c_1(2,_1872)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Activate] %% conf([u,u,u],[state([],[],[],9),state([(_9348,101,102,true,[c_2(2,11,_9348)]),c_1(2,_8220)],[],[],7),state([(_1758,12,12,true,[c_1(2,_1872),univ_2(2,_1758),c_1(2,_1872)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Simplify] %% conf([u,u,u],[success,state([(_9348,101,102,true,[c_2(2,11,_9348)]),c_1(2,_8220)],[],[],7),state([(_1758,12,12,true,[c_1(2,_1872),univ_2(2,_1758),c_1(2,_1872)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Success] %% conf([u,u,u],[state([(_9348,101,102,true,[c_2(2,11,_9348)]),c_1(2,_8220)],[],[],7),state([(_1758,12,12,true,[c_1(2,_1872),univ_2(2,_1758),c_1(2,_1872)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [U SuccessPropagate] %% conf([u,u,u],[state([c_2(2,11,101)],[],[],7),state([(_9348,102,102,true,[c_2(2,11,_9348)]),c_1(2,_8220)],[],[],7),state([(_1758,12,12,true,[c_1(2,_1872),univ_2(2,_1758),c_1(2,_1872)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [U Unfolding] %% conf([u,u,u],[state([token(c_2(2,11,101),7):1],[token(c_2(2,11,101),7)],[],8),state([(_9348,102,102,true,[c_2(2,11,_9348)]),c_1(2,_8220)],[],[],7),state([(_1758,12,12,true,[c_1(2,_1872),univ_2(2,_1758),c_1(2,_1872)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Activate] %% conf([u,u,u],[state([c],[],[],8),state([(_9348,102,102,true,[c_2(2,11,_9348)]),c_1(2,_8220)],[],[],7),state([(_1758,12,12,true,[c_1(2,_1872),univ_2(2,_1758),c_1(2,_1872)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Simplify] %% conf([u,u,u],[state([token(c,8):1],[token(c,8)],[],9),state([(_9348,102,102,true,[c_2(2,11,_9348)]),c_1(2,_8220)],[],[],7),state([(_1758,12,12,true,[c_1(2,_1872),univ_2(2,_1758),c_1(2,_1872)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Activate] %% conf([u,u,u],[state([],[],[],9),state([(_9348,102,102,true,[c_2(2,11,_9348)]),c_1(2,_8220)],[],[],7),state([(_1758,12,12,true,[c_1(2,_1872),univ_2(2,_1758),c_1(2,_1872)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Simplify] %% conf([u,u,u],[success,state([(_9348,102,102,true,[c_2(2,11,_9348)]),c_1(2,_8220)],[],[],7),state([(_1758,12,12,true,[c_1(2,_1872),univ_2(2,_1758),c_1(2,_1872)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Success] %% conf([u,u,u],[state([(_9348,102,102,true,[c_2(2,11,_9348)]),c_1(2,_8220)],[],[],7),state([(_1758,12,12,true,[c_1(2,_1872),univ_2(2,_1758),c_1(2,_1872)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [U SuccessPropagate] %% conf([u,u,u],[state([c_2(2,11,102)],[],[],7),state([(_9348,103,102,true,[c_2(2,11,_9348)]),c_1(2,_8220)],[],[],7),state([(_1758,12,12,true,[c_1(2,_1872),univ_2(2,_1758),c_1(2,_1872)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [U Unfolding] %% conf([u,u,u],[state([token(c_2(2,11,102),7):1],[token(c_2(2,11,102),7)],[],8),state([(_9348,103,102,true,[c_2(2,11,_9348)]),c_1(2,_8220)],[],[],7),state([(_1758,12,12,true,[c_1(2,_1872),univ_2(2,_1758),c_1(2,_1872)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Activate] %% conf([u,u,u],[state([c],[],[],8),state([(_9348,103,102,true,[c_2(2,11,_9348)]),c_1(2,_8220)],[],[],7),state([(_1758,12,12,true,[c_1(2,_1872),univ_2(2,_1758),c_1(2,_1872)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Simplify] %% conf([u,u,u],[state([token(c,8):1],[token(c,8)],[],9),state([(_9348,103,102,true,[c_2(2,11,_9348)]),c_1(2,_8220)],[],[],7),state([(_1758,12,12,true,[c_1(2,_1872),univ_2(2,_1758),c_1(2,_1872)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Activate] %% conf([u,u,u],[state([],[],[],9),state([(_9348,103,102,true,[c_2(2,11,_9348)]),c_1(2,_8220)],[],[],7),state([(_1758,12,12,true,[c_1(2,_1872),univ_2(2,_1758),c_1(2,_1872)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Simplify] %% conf([u,u,u],[success,state([(_9348,103,102,true,[c_2(2,11,_9348)]),c_1(2,_8220)],[],[],7),state([(_1758,12,12,true,[c_1(2,_1872),univ_2(2,_1758),c_1(2,_1872)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Success] %% conf([u,u,u],[state([(_9348,103,102,true,[c_2(2,11,_9348)]),c_1(2,_8220)],[],[],7),state([(_1758,12,12,true,[c_1(2,_1872),univ_2(2,_1758),c_1(2,_1872)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [U SuccessPropagate] %% conf([u,u],[state([c_1(2,_8220)],[],[],7),state([(_1758,12,12,true,[c_1(2,_1872),univ_2(2,_1758),c_1(2,_1872)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [U Success] %% conf([u,u],[state([token(c_1(2,_8220),7):1],[token(c_1(2,_8220),7)],[],8),state([(_1758,12,12,true,[c_1(2,_1872),univ_2(2,_1758),c_1(2,_1872)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Activate] %% conf([u,u],[state([c],[],[],8),state([(_1758,12,12,true,[c_1(2,_1872),univ_2(2,_1758),c_1(2,_1872)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Simplify] %% conf([u,u],[state([token(c,8):1],[token(c,8)],[],9),state([(_1758,12,12,true,[c_1(2,_1872),univ_2(2,_1758),c_1(2,_1872)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Activate] %% conf([u,u],[state([],[],[],9),state([(_1758,12,12,true,[c_1(2,_1872),univ_2(2,_1758),c_1(2,_1872)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Simplify] %% conf([u,u],[success,state([(_1758,12,12,true,[c_1(2,_1872),univ_2(2,_1758),c_1(2,_1872)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Success] %% conf([u,u],[state([(_1758,12,12,true,[c_1(2,_1872),univ_2(2,_1758),c_1(2,_1872)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [U SuccessPropagate] %% conf([u,u],[state([c_1(2,_14208),univ_2(2,12),c_1(2,_14208)],[],[],4),state([(_1758,13,12,true,[c_1(2,_1872),univ_2(2,_1758),c_1(2,_1872)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [U Unfolding] %% conf([u,u],[state([token(c_1(2,_14208),4):1,univ_2(2,12),c_1(2,_14208)],[token(c_1(2,_14208),4)],[],5),state([(_1758,13,12,true,[c_1(2,_1872),univ_2(2,_1758),c_1(2,_1872)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Activate] %% conf([u,u],[state([c,univ_2(2,12),c_1(2,_14208)],[],[],5),state([(_1758,13,12,true,[c_1(2,_1872),univ_2(2,_1758),c_1(2,_1872)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Simplify] %% conf([u,u],[state([token(c,5):1,univ_2(2,12),c_1(2,_14208)],[token(c,5)],[],6),state([(_1758,13,12,true,[c_1(2,_1872),univ_2(2,_1758),c_1(2,_1872)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Activate] %% conf([u,u],[state([univ_2(2,12),c_1(2,_14208)],[],[],6),state([(_1758,13,12,true,[c_1(2,_1872),univ_2(2,_1758),c_1(2,_1872)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Simplify] %% conf([u,u],[state([token(univ_2(2,12),6):1,c_1(2,_14208)],[token(univ_2(2,12),6)],[],7),state([(_1758,13,12,true,[c_1(2,_1872),univ_2(2,_1758),c_1(2,_1872)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Activate] %% conf([u,u,u],[state([(_1568,100,102,true,[c_2(2,12,_1568)]),c_1(2,_1436)],[],[],7),state([(_1204,13,12,true,[c_1(2,_1218),univ_2(2,_1204),c_1(2,_1218)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [U Simplify] %% conf([u,u,u],[state([c_2(2,12,100)],[],[],7),state([(_1568,101,102,true,[c_2(2,12,_1568)]),c_1(2,_1436)],[],[],7),state([(_1204,13,12,true,[c_1(2,_1218),univ_2(2,_1204),c_1(2,_1218)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [U Unfolding] %% conf([u,u,u],[state([token(c_2(2,12,100),7):1],[token(c_2(2,12,100),7)],[],8),state([(_1568,101,102,true,[c_2(2,12,_1568)]),c_1(2,_1436)],[],[],7),state([(_1204,13,12,true,[c_1(2,_1218),univ_2(2,_1204),c_1(2,_1218)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Activate] %% conf([u,u,u],[state([c],[],[],8),state([(_1568,101,102,true,[c_2(2,12,_1568)]),c_1(2,_1436)],[],[],7),state([(_1204,13,12,true,[c_1(2,_1218),univ_2(2,_1204),c_1(2,_1218)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Simplify] %% conf([u,u,u],[state([token(c,8):1],[token(c,8)],[],9),state([(_1568,101,102,true,[c_2(2,12,_1568)]),c_1(2,_1436)],[],[],7),state([(_1204,13,12,true,[c_1(2,_1218),univ_2(2,_1204),c_1(2,_1218)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Activate] %% conf([u,u,u],[state([],[],[],9),state([(_1568,101,102,true,[c_2(2,12,_1568)]),c_1(2,_1436)],[],[],7),state([(_1204,13,12,true,[c_1(2,_1218),univ_2(2,_1204),c_1(2,_1218)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Simplify] %% conf([u,u,u],[success,state([(_1568,101,102,true,[c_2(2,12,_1568)]),c_1(2,_1436)],[],[],7),state([(_1204,13,12,true,[c_1(2,_1218),univ_2(2,_1204),c_1(2,_1218)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Success] %% conf([u,u,u],[state([(_1568,101,102,true,[c_2(2,12,_1568)]),c_1(2,_1436)],[],[],7),state([(_1204,13,12,true,[c_1(2,_1218),univ_2(2,_1204),c_1(2,_1218)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [U SuccessPropagate] %% conf([u,u,u],[state([c_2(2,12,101)],[],[],7),state([(_1568,102,102,true,[c_2(2,12,_1568)]),c_1(2,_1436)],[],[],7),state([(_1204,13,12,true,[c_1(2,_1218),univ_2(2,_1204),c_1(2,_1218)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [U Unfolding] %% conf([u,u,u],[state([token(c_2(2,12,101),7):1],[token(c_2(2,12,101),7)],[],8),state([(_1568,102,102,true,[c_2(2,12,_1568)]),c_1(2,_1436)],[],[],7),state([(_1204,13,12,true,[c_1(2,_1218),univ_2(2,_1204),c_1(2,_1218)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Activate] %% conf([u,u,u],[state([c],[],[],8),state([(_1568,102,102,true,[c_2(2,12,_1568)]),c_1(2,_1436)],[],[],7),state([(_1204,13,12,true,[c_1(2,_1218),univ_2(2,_1204),c_1(2,_1218)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Simplify] %% conf([u,u,u],[state([token(c,8):1],[token(c,8)],[],9),state([(_1568,102,102,true,[c_2(2,12,_1568)]),c_1(2,_1436)],[],[],7),state([(_1204,13,12,true,[c_1(2,_1218),univ_2(2,_1204),c_1(2,_1218)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Activate] %% conf([u,u,u],[state([],[],[],9),state([(_1568,102,102,true,[c_2(2,12,_1568)]),c_1(2,_1436)],[],[],7),state([(_1204,13,12,true,[c_1(2,_1218),univ_2(2,_1204),c_1(2,_1218)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Simplify] %% conf([u,u,u],[success,state([(_1568,102,102,true,[c_2(2,12,_1568)]),c_1(2,_1436)],[],[],7),state([(_1204,13,12,true,[c_1(2,_1218),univ_2(2,_1204),c_1(2,_1218)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Success] %% conf([u,u,u],[state([(_1568,102,102,true,[c_2(2,12,_1568)]),c_1(2,_1436)],[],[],7),state([(_1204,13,12,true,[c_1(2,_1218),univ_2(2,_1204),c_1(2,_1218)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [U SuccessPropagate] %% conf([u,u,u],[state([c_2(2,12,102)],[],[],7),state([(_1568,103,102,true,[c_2(2,12,_1568)]),c_1(2,_1436)],[],[],7),state([(_1204,13,12,true,[c_1(2,_1218),univ_2(2,_1204),c_1(2,_1218)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [U Unfolding] %% conf([u,u,u],[state([token(c_2(2,12,102),7):1],[token(c_2(2,12,102),7)],[],8),state([(_1568,103,102,true,[c_2(2,12,_1568)]),c_1(2,_1436)],[],[],7),state([(_1204,13,12,true,[c_1(2,_1218),univ_2(2,_1204),c_1(2,_1218)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Activate] %% conf([u,u,u],[state([c],[],[],8),state([(_1568,103,102,true,[c_2(2,12,_1568)]),c_1(2,_1436)],[],[],7),state([(_1204,13,12,true,[c_1(2,_1218),univ_2(2,_1204),c_1(2,_1218)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Simplify] %% conf([u,u,u],[state([token(c,8):1],[token(c,8)],[],9),state([(_1568,103,102,true,[c_2(2,12,_1568)]),c_1(2,_1436)],[],[],7),state([(_1204,13,12,true,[c_1(2,_1218),univ_2(2,_1204),c_1(2,_1218)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Activate] %% conf([u,u,u],[state([],[],[],9),state([(_1568,103,102,true,[c_2(2,12,_1568)]),c_1(2,_1436)],[],[],7),state([(_1204,13,12,true,[c_1(2,_1218),univ_2(2,_1204),c_1(2,_1218)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Simplify] %% conf([u,u,u],[success,state([(_1568,103,102,true,[c_2(2,12,_1568)]),c_1(2,_1436)],[],[],7),state([(_1204,13,12,true,[c_1(2,_1218),univ_2(2,_1204),c_1(2,_1218)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Success] %% conf([u,u,u],[state([(_1568,103,102,true,[c_2(2,12,_1568)]),c_1(2,_1436)],[],[],7),state([(_1204,13,12,true,[c_1(2,_1218),univ_2(2,_1204),c_1(2,_1218)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [U SuccessPropagate] %% conf([u,u],[state([c_1(2,_1436)],[],[],7),state([(_1204,13,12,true,[c_1(2,_1218),univ_2(2,_1204),c_1(2,_1218)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [U Success] %% conf([u,u],[state([token(c_1(2,_1436),7):1],[token(c_1(2,_1436),7)],[],8),state([(_1204,13,12,true,[c_1(2,_1218),univ_2(2,_1204),c_1(2,_1218)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Activate] %% conf([u,u],[state([c],[],[],8),state([(_1204,13,12,true,[c_1(2,_1218),univ_2(2,_1204),c_1(2,_1218)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Simplify] %% conf([u,u],[state([token(c,8):1],[token(c,8)],[],9),state([(_1204,13,12,true,[c_1(2,_1218),univ_2(2,_1204),c_1(2,_1218)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Activate] %% conf([u,u],[state([],[],[],9),state([(_1204,13,12,true,[c_1(2,_1218),univ_2(2,_1204),c_1(2,_1218)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Simplify] %% conf([u,u],[success,state([(_1204,13,12,true,[c_1(2,_1218),univ_2(2,_1204),c_1(2,_1218)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Success] %% conf([u,u],[state([(_1204,13,12,true,[c_1(2,_1218),univ_2(2,_1204),c_1(2,_1218)]),c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [U SuccessPropagate] %% conf([u],[state([c_0(2)],[],[],4),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [U Success] %% conf([u],[state([token(c_0(2),4):1],[token(c_0(2),4)],[],5),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Activate] %% conf([u],[state([c],[],[],5),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Simplify] %% conf([u],[state([token(c,5):1],[token(c,5)],[],6),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Activate] %% conf([u],[state([],[],[],6),state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Simplify] %% conf([u],[success,state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [Success] %% conf([u],[state([(_316,3,2,true,[c_0(_316),univ_1(_316),c_0(_316)])],[],[],1)]) [U SuccessPropagate] %% conf([],[state([],[],[],1)]) [U Success] %% conf([],[success]) [Success] %% conf([],[success])