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

show.

program([
	       '<V>'([], [univ_0], [It, 0, 2, true], true, [univ_1, univ_2]),
	       '<V>'([], [univ_1], [It, 10, 12, true], true, [univ_11, univ_12]),
	       '<V>'([], [univ_11], [It, 110, 112, true], true, []),  % [true] in the body is encoded as an empty body 
	       '<V>'([], [univ_12], [It, 120, 122, true], true, []),
	       '<V>'([], [univ_2], [It, 20, 22, true], true, [univ_21, univ_22]),
	       '<V>'([], [univ_21], [It, 210, 212, true], true, []),
	       '<V>'([], [univ_22], [It, 220, 222, true], true, [])
	   ]).

 :- '[[]]'(conf([], [state([univ_0],[],[],0)]), _Final_Configuration).
%% conf([],[state([token(univ_0,0):1],[token(univ_0,0)],[],1)]) [Activate]
%% conf([u],[state([<V>(_1504,0,2,true,[univ_1,univ_2])],[],[],1)]) [U Simplify]
%% conf([u],[state([univ_1,univ_2],[],[],1),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u],[state([token(univ_1,1):1,univ_2],[token(univ_1,1)],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [Activate]
%% conf([u,u],[state([<V>(_2122,10,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U Simplify]
%% conf([u,u],[state([univ_11,univ_12],[],[],2),state([<V>(_2122,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u],[state([token(univ_11,2):1,univ_12],[token(univ_11,2)],[],3),state([<V>(_2122,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [Activate]
%% conf([u,u,u],[state([<V>(_2752,110,112,true,[]),univ_12],[],[],3),state([<V>(_2122,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U Simplify]
%% conf([u,u,u],[state([],[],[],3),state([<V>(_2752,111,112,true,[]),univ_12],[],[],3),state([<V>(_2122,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_2752,111,112,true,[]),univ_12],[],[],3),state([<V>(_2122,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_2752,111,112,true,[]),univ_12],[],[],3),state([<V>(_2122,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],3),state([<V>(_2752,112,112,true,[]),univ_12],[],[],3),state([<V>(_2122,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_2752,112,112,true,[]),univ_12],[],[],3),state([<V>(_2122,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_2752,112,112,true,[]),univ_12],[],[],3),state([<V>(_2122,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],3),state([<V>(_2752,113,112,true,[]),univ_12],[],[],3),state([<V>(_2122,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_2752,113,112,true,[]),univ_12],[],[],3),state([<V>(_2122,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_2752,113,112,true,[]),univ_12],[],[],3),state([<V>(_2122,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u],[state([univ_12],[],[],3),state([<V>(_2122,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U Success]
%% conf([u,u],[state([token(univ_12,3):1],[token(univ_12,3)],[],4),state([<V>(_2122,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [Activate]
%% conf([u,u,u],[state([<V>(_3796,120,122,true,[])],[],[],4),state([<V>(_2122,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U Simplify]
%% conf([u,u,u],[state([],[],[],4),state([<V>(_3796,121,122,true,[])],[],[],4),state([<V>(_2122,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_3796,121,122,true,[])],[],[],4),state([<V>(_2122,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_3796,121,122,true,[])],[],[],4),state([<V>(_2122,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],4),state([<V>(_3796,122,122,true,[])],[],[],4),state([<V>(_2122,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_3796,122,122,true,[])],[],[],4),state([<V>(_2122,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_3796,122,122,true,[])],[],[],4),state([<V>(_2122,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],4),state([<V>(_3796,123,122,true,[])],[],[],4),state([<V>(_2122,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_3796,123,122,true,[])],[],[],4),state([<V>(_2122,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_3796,123,122,true,[])],[],[],4),state([<V>(_2122,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u],[state([],[],[],4),state([<V>(_2122,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U Success]
%% conf([u,u],[success,state([<V>(_2122,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u],[state([<V>(_2122,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u],[state([univ_11,univ_12],[],[],2),state([<V>(_2122,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u],[state([token(univ_11,2):1,univ_12],[token(univ_11,2)],[],3),state([<V>(_2122,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [Activate]
%% conf([u,u,u],[state([<V>(_4982,110,112,true,[]),univ_12],[],[],3),state([<V>(_2122,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U Simplify]
%% conf([u,u,u],[state([],[],[],3),state([<V>(_4982,111,112,true,[]),univ_12],[],[],3),state([<V>(_2122,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_4982,111,112,true,[]),univ_12],[],[],3),state([<V>(_2122,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_4982,111,112,true,[]),univ_12],[],[],3),state([<V>(_2122,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],3),state([<V>(_4982,112,112,true,[]),univ_12],[],[],3),state([<V>(_2122,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_4982,112,112,true,[]),univ_12],[],[],3),state([<V>(_2122,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_4982,112,112,true,[]),univ_12],[],[],3),state([<V>(_2122,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],3),state([<V>(_4982,113,112,true,[]),univ_12],[],[],3),state([<V>(_2122,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_4982,113,112,true,[]),univ_12],[],[],3),state([<V>(_2122,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_4982,113,112,true,[]),univ_12],[],[],3),state([<V>(_2122,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u],[state([univ_12],[],[],3),state([<V>(_2122,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U Success]
%% conf([u,u],[state([token(univ_12,3):1],[token(univ_12,3)],[],4),state([<V>(_2122,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [Activate]
%% conf([u,u,u],[state([<V>(_6026,120,122,true,[])],[],[],4),state([<V>(_2122,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U Simplify]
%% conf([u,u,u],[state([],[],[],4),state([<V>(_6026,121,122,true,[])],[],[],4),state([<V>(_2122,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_6026,121,122,true,[])],[],[],4),state([<V>(_2122,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_6026,121,122,true,[])],[],[],4),state([<V>(_2122,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],4),state([<V>(_6026,122,122,true,[])],[],[],4),state([<V>(_2122,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_6026,122,122,true,[])],[],[],4),state([<V>(_2122,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_6026,122,122,true,[])],[],[],4),state([<V>(_2122,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],4),state([<V>(_6026,123,122,true,[])],[],[],4),state([<V>(_2122,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_6026,123,122,true,[])],[],[],4),state([<V>(_2122,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_6026,123,122,true,[])],[],[],4),state([<V>(_2122,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u],[state([],[],[],4),state([<V>(_2122,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U Success]
%% conf([u,u],[success,state([<V>(_2122,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u],[state([<V>(_2122,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u],[state([univ_11,univ_12],[],[],2),state([<V>(_2122,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u],[state([token(univ_11,2):1,univ_12],[token(univ_11,2)],[],3),state([<V>(_2122,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [Activate]
%% conf([u,u,u],[state([<V>(_7212,110,112,true,[]),univ_12],[],[],3),state([<V>(_2122,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U Simplify]
%% conf([u,u,u],[state([],[],[],3),state([<V>(_7212,111,112,true,[]),univ_12],[],[],3),state([<V>(_2122,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_7212,111,112,true,[]),univ_12],[],[],3),state([<V>(_2122,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_7212,111,112,true,[]),univ_12],[],[],3),state([<V>(_2122,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],3),state([<V>(_7212,112,112,true,[]),univ_12],[],[],3),state([<V>(_2122,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_7212,112,112,true,[]),univ_12],[],[],3),state([<V>(_2122,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_7212,112,112,true,[]),univ_12],[],[],3),state([<V>(_2122,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],3),state([<V>(_7212,113,112,true,[]),univ_12],[],[],3),state([<V>(_2122,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_7212,113,112,true,[]),univ_12],[],[],3),state([<V>(_2122,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_7212,113,112,true,[]),univ_12],[],[],3),state([<V>(_2122,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u],[state([univ_12],[],[],3),state([<V>(_2122,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U Success]
%% conf([u,u],[state([token(univ_12,3):1],[token(univ_12,3)],[],4),state([<V>(_2122,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [Activate]
%% conf([u,u,u],[state([<V>(_8256,120,122,true,[])],[],[],4),state([<V>(_2122,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U Simplify]
%% conf([u,u,u],[state([],[],[],4),state([<V>(_8256,121,122,true,[])],[],[],4),state([<V>(_2122,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_8256,121,122,true,[])],[],[],4),state([<V>(_2122,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_8256,121,122,true,[])],[],[],4),state([<V>(_2122,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],4),state([<V>(_8256,122,122,true,[])],[],[],4),state([<V>(_2122,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_8256,122,122,true,[])],[],[],4),state([<V>(_2122,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_8256,122,122,true,[])],[],[],4),state([<V>(_2122,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],4),state([<V>(_8256,123,122,true,[])],[],[],4),state([<V>(_2122,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_8256,123,122,true,[])],[],[],4),state([<V>(_2122,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_8256,123,122,true,[])],[],[],4),state([<V>(_2122,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u],[state([],[],[],4),state([<V>(_2122,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U Success]
%% conf([u,u],[success,state([<V>(_2122,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u],[state([<V>(_2122,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u],[state([univ_2],[],[],2),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U Success]
%% conf([u],[state([token(univ_2,2):1],[token(univ_2,2)],[],3),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [Activate]
%% conf([u,u],[state([<V>(_9376,20,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U Simplify]
%% conf([u,u],[state([univ_21,univ_22],[],[],3),state([<V>(_9376,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u],[state([token(univ_21,3):1,univ_22],[token(univ_21,3)],[],4),state([<V>(_9376,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [Activate]
%% conf([u,u,u],[state([<V>(_10006,210,212,true,[]),univ_22],[],[],4),state([<V>(_9376,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U Simplify]
%% conf([u,u,u],[state([],[],[],4),state([<V>(_10006,211,212,true,[]),univ_22],[],[],4),state([<V>(_9376,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_10006,211,212,true,[]),univ_22],[],[],4),state([<V>(_9376,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_10006,211,212,true,[]),univ_22],[],[],4),state([<V>(_9376,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],4),state([<V>(_10006,212,212,true,[]),univ_22],[],[],4),state([<V>(_9376,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_10006,212,212,true,[]),univ_22],[],[],4),state([<V>(_9376,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_10006,212,212,true,[]),univ_22],[],[],4),state([<V>(_9376,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],4),state([<V>(_10006,213,212,true,[]),univ_22],[],[],4),state([<V>(_9376,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_10006,213,212,true,[]),univ_22],[],[],4),state([<V>(_9376,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_10006,213,212,true,[]),univ_22],[],[],4),state([<V>(_9376,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u],[state([univ_22],[],[],4),state([<V>(_9376,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U Success]
%% conf([u,u],[state([token(univ_22,4):1],[token(univ_22,4)],[],5),state([<V>(_9376,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [Activate]
%% conf([u,u,u],[state([<V>(_11050,220,222,true,[])],[],[],5),state([<V>(_9376,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U Simplify]
%% conf([u,u,u],[state([],[],[],5),state([<V>(_11050,221,222,true,[])],[],[],5),state([<V>(_9376,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_11050,221,222,true,[])],[],[],5),state([<V>(_9376,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_11050,221,222,true,[])],[],[],5),state([<V>(_9376,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],5),state([<V>(_11050,222,222,true,[])],[],[],5),state([<V>(_9376,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_11050,222,222,true,[])],[],[],5),state([<V>(_9376,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_11050,222,222,true,[])],[],[],5),state([<V>(_9376,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],5),state([<V>(_11050,223,222,true,[])],[],[],5),state([<V>(_9376,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_11050,223,222,true,[])],[],[],5),state([<V>(_9376,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_11050,223,222,true,[])],[],[],5),state([<V>(_9376,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u],[state([],[],[],5),state([<V>(_9376,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U Success]
%% conf([u,u],[success,state([<V>(_9376,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u],[state([<V>(_9376,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u],[state([univ_21,univ_22],[],[],3),state([<V>(_9376,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u],[state([token(univ_21,3):1,univ_22],[token(univ_21,3)],[],4),state([<V>(_9376,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [Activate]
%% conf([u,u,u],[state([<V>(_12236,210,212,true,[]),univ_22],[],[],4),state([<V>(_9376,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U Simplify]
%% conf([u,u,u],[state([],[],[],4),state([<V>(_12236,211,212,true,[]),univ_22],[],[],4),state([<V>(_9376,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_12236,211,212,true,[]),univ_22],[],[],4),state([<V>(_9376,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_12236,211,212,true,[]),univ_22],[],[],4),state([<V>(_9376,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],4),state([<V>(_12236,212,212,true,[]),univ_22],[],[],4),state([<V>(_9376,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_12236,212,212,true,[]),univ_22],[],[],4),state([<V>(_9376,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_12236,212,212,true,[]),univ_22],[],[],4),state([<V>(_9376,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],4),state([<V>(_12236,213,212,true,[]),univ_22],[],[],4),state([<V>(_9376,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_12236,213,212,true,[]),univ_22],[],[],4),state([<V>(_9376,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_12236,213,212,true,[]),univ_22],[],[],4),state([<V>(_9376,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u],[state([univ_22],[],[],4),state([<V>(_9376,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U Success]
%% conf([u,u],[state([token(univ_22,4):1],[token(univ_22,4)],[],5),state([<V>(_9376,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [Activate]
%% conf([u,u,u],[state([<V>(_13280,220,222,true,[])],[],[],5),state([<V>(_9376,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U Simplify]
%% conf([u,u,u],[state([],[],[],5),state([<V>(_13280,221,222,true,[])],[],[],5),state([<V>(_9376,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_13280,221,222,true,[])],[],[],5),state([<V>(_9376,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_13280,221,222,true,[])],[],[],5),state([<V>(_9376,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],5),state([<V>(_13280,222,222,true,[])],[],[],5),state([<V>(_9376,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_13280,222,222,true,[])],[],[],5),state([<V>(_9376,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_13280,222,222,true,[])],[],[],5),state([<V>(_9376,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],5),state([<V>(_13280,223,222,true,[])],[],[],5),state([<V>(_9376,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_13280,223,222,true,[])],[],[],5),state([<V>(_9376,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_13280,223,222,true,[])],[],[],5),state([<V>(_9376,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u],[state([],[],[],5),state([<V>(_9376,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U Success]
%% conf([u,u],[success,state([<V>(_9376,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u],[state([<V>(_9376,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u],[state([univ_21,univ_22],[],[],3),state([<V>(_9376,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u],[state([token(univ_21,3):1,univ_22],[token(univ_21,3)],[],4),state([<V>(_9376,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [Activate]
%% conf([u,u,u],[state([<V>(_14466,210,212,true,[]),univ_22],[],[],4),state([<V>(_9376,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U Simplify]
%% conf([u,u,u],[state([],[],[],4),state([<V>(_14466,211,212,true,[]),univ_22],[],[],4),state([<V>(_9376,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_14466,211,212,true,[]),univ_22],[],[],4),state([<V>(_9376,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_14466,211,212,true,[]),univ_22],[],[],4),state([<V>(_9376,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],4),state([<V>(_14466,212,212,true,[]),univ_22],[],[],4),state([<V>(_9376,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_14466,212,212,true,[]),univ_22],[],[],4),state([<V>(_9376,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_14466,212,212,true,[]),univ_22],[],[],4),state([<V>(_9376,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],4),state([<V>(_14466,213,212,true,[]),univ_22],[],[],4),state([<V>(_9376,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_14466,213,212,true,[]),univ_22],[],[],4),state([<V>(_9376,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_1504,1,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_1098,213,212,true,[]),univ_22],[],[],4),state([<V>(_798,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_324,1,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u],[state([univ_22],[],[],4),state([<V>(_798,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_324,1,2,true,[univ_1,univ_2])],[],[],1)]) [U Success]
%% conf([u,u],[state([token(univ_22,4):1],[token(univ_22,4)],[],5),state([<V>(_798,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_324,1,2,true,[univ_1,univ_2])],[],[],1)]) [Activate]
%% conf([u,u,u],[state([<V>(_1324,220,222,true,[])],[],[],5),state([<V>(_798,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_324,1,2,true,[univ_1,univ_2])],[],[],1)]) [U Simplify]
%% conf([u,u,u],[state([],[],[],5),state([<V>(_1324,221,222,true,[])],[],[],5),state([<V>(_798,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_324,1,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_1324,221,222,true,[])],[],[],5),state([<V>(_798,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_324,1,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_1324,221,222,true,[])],[],[],5),state([<V>(_798,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_324,1,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],5),state([<V>(_1324,222,222,true,[])],[],[],5),state([<V>(_798,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_324,1,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_1324,222,222,true,[])],[],[],5),state([<V>(_798,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_324,1,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_1324,222,222,true,[])],[],[],5),state([<V>(_798,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_324,1,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],5),state([<V>(_1324,223,222,true,[])],[],[],5),state([<V>(_798,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_324,1,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_1324,223,222,true,[])],[],[],5),state([<V>(_798,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_324,1,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_1324,223,222,true,[])],[],[],5),state([<V>(_798,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_324,1,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u],[state([],[],[],5),state([<V>(_798,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_324,1,2,true,[univ_1,univ_2])],[],[],1)]) [U Success]
%% conf([u,u],[success,state([<V>(_798,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_324,1,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u],[state([<V>(_798,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_324,1,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u],[state([],[],[],3),state([<V>(_324,1,2,true,[univ_1,univ_2])],[],[],1)]) [U Success]
%% conf([u],[success,state([<V>(_324,1,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u],[state([<V>(_324,1,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u],[state([univ_1,univ_2],[],[],1),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u],[state([token(univ_1,1):1,univ_2],[token(univ_1,1)],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [Activate]
%% conf([u,u],[state([<V>(_2574,10,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U Simplify]
%% conf([u,u],[state([univ_11,univ_12],[],[],2),state([<V>(_2574,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u],[state([token(univ_11,2):1,univ_12],[token(univ_11,2)],[],3),state([<V>(_2574,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [Activate]
%% conf([u,u,u],[state([<V>(_3204,110,112,true,[]),univ_12],[],[],3),state([<V>(_2574,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U Simplify]
%% conf([u,u,u],[state([],[],[],3),state([<V>(_3204,111,112,true,[]),univ_12],[],[],3),state([<V>(_2574,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_3204,111,112,true,[]),univ_12],[],[],3),state([<V>(_2574,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_3204,111,112,true,[]),univ_12],[],[],3),state([<V>(_2574,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],3),state([<V>(_3204,112,112,true,[]),univ_12],[],[],3),state([<V>(_2574,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_3204,112,112,true,[]),univ_12],[],[],3),state([<V>(_2574,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_3204,112,112,true,[]),univ_12],[],[],3),state([<V>(_2574,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],3),state([<V>(_3204,113,112,true,[]),univ_12],[],[],3),state([<V>(_2574,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_3204,113,112,true,[]),univ_12],[],[],3),state([<V>(_2574,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_3204,113,112,true,[]),univ_12],[],[],3),state([<V>(_2574,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u],[state([univ_12],[],[],3),state([<V>(_2574,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U Success]
%% conf([u,u],[state([token(univ_12,3):1],[token(univ_12,3)],[],4),state([<V>(_2574,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [Activate]
%% conf([u,u,u],[state([<V>(_4248,120,122,true,[])],[],[],4),state([<V>(_2574,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U Simplify]
%% conf([u,u,u],[state([],[],[],4),state([<V>(_4248,121,122,true,[])],[],[],4),state([<V>(_2574,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_4248,121,122,true,[])],[],[],4),state([<V>(_2574,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_4248,121,122,true,[])],[],[],4),state([<V>(_2574,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],4),state([<V>(_4248,122,122,true,[])],[],[],4),state([<V>(_2574,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_4248,122,122,true,[])],[],[],4),state([<V>(_2574,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_4248,122,122,true,[])],[],[],4),state([<V>(_2574,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],4),state([<V>(_4248,123,122,true,[])],[],[],4),state([<V>(_2574,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_4248,123,122,true,[])],[],[],4),state([<V>(_2574,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_4248,123,122,true,[])],[],[],4),state([<V>(_2574,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u],[state([],[],[],4),state([<V>(_2574,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U Success]
%% conf([u,u],[success,state([<V>(_2574,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u],[state([<V>(_2574,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u],[state([univ_11,univ_12],[],[],2),state([<V>(_2574,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u],[state([token(univ_11,2):1,univ_12],[token(univ_11,2)],[],3),state([<V>(_2574,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [Activate]
%% conf([u,u,u],[state([<V>(_5434,110,112,true,[]),univ_12],[],[],3),state([<V>(_2574,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U Simplify]
%% conf([u,u,u],[state([],[],[],3),state([<V>(_5434,111,112,true,[]),univ_12],[],[],3),state([<V>(_2574,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_5434,111,112,true,[]),univ_12],[],[],3),state([<V>(_2574,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_5434,111,112,true,[]),univ_12],[],[],3),state([<V>(_2574,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],3),state([<V>(_5434,112,112,true,[]),univ_12],[],[],3),state([<V>(_2574,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_5434,112,112,true,[]),univ_12],[],[],3),state([<V>(_2574,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_5434,112,112,true,[]),univ_12],[],[],3),state([<V>(_2574,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],3),state([<V>(_5434,113,112,true,[]),univ_12],[],[],3),state([<V>(_2574,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_5434,113,112,true,[]),univ_12],[],[],3),state([<V>(_2574,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_5434,113,112,true,[]),univ_12],[],[],3),state([<V>(_2574,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u],[state([univ_12],[],[],3),state([<V>(_2574,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U Success]
%% conf([u,u],[state([token(univ_12,3):1],[token(univ_12,3)],[],4),state([<V>(_2574,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [Activate]
%% conf([u,u,u],[state([<V>(_6478,120,122,true,[])],[],[],4),state([<V>(_2574,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U Simplify]
%% conf([u,u,u],[state([],[],[],4),state([<V>(_6478,121,122,true,[])],[],[],4),state([<V>(_2574,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_6478,121,122,true,[])],[],[],4),state([<V>(_2574,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_6478,121,122,true,[])],[],[],4),state([<V>(_2574,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],4),state([<V>(_6478,122,122,true,[])],[],[],4),state([<V>(_2574,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_6478,122,122,true,[])],[],[],4),state([<V>(_2574,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_6478,122,122,true,[])],[],[],4),state([<V>(_2574,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],4),state([<V>(_6478,123,122,true,[])],[],[],4),state([<V>(_2574,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_6478,123,122,true,[])],[],[],4),state([<V>(_2574,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_6478,123,122,true,[])],[],[],4),state([<V>(_2574,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u],[state([],[],[],4),state([<V>(_2574,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U Success]
%% conf([u,u],[success,state([<V>(_2574,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u],[state([<V>(_2574,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u],[state([univ_11,univ_12],[],[],2),state([<V>(_2574,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u],[state([token(univ_11,2):1,univ_12],[token(univ_11,2)],[],3),state([<V>(_2574,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [Activate]
%% conf([u,u,u],[state([<V>(_7664,110,112,true,[]),univ_12],[],[],3),state([<V>(_2574,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U Simplify]
%% conf([u,u,u],[state([],[],[],3),state([<V>(_7664,111,112,true,[]),univ_12],[],[],3),state([<V>(_2574,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_7664,111,112,true,[]),univ_12],[],[],3),state([<V>(_2574,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_7664,111,112,true,[]),univ_12],[],[],3),state([<V>(_2574,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],3),state([<V>(_7664,112,112,true,[]),univ_12],[],[],3),state([<V>(_2574,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_7664,112,112,true,[]),univ_12],[],[],3),state([<V>(_2574,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_7664,112,112,true,[]),univ_12],[],[],3),state([<V>(_2574,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],3),state([<V>(_7664,113,112,true,[]),univ_12],[],[],3),state([<V>(_2574,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_7664,113,112,true,[]),univ_12],[],[],3),state([<V>(_2574,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_7664,113,112,true,[]),univ_12],[],[],3),state([<V>(_2574,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u],[state([univ_12],[],[],3),state([<V>(_2574,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U Success]
%% conf([u,u],[state([token(univ_12,3):1],[token(univ_12,3)],[],4),state([<V>(_2574,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [Activate]
%% conf([u,u,u],[state([<V>(_8708,120,122,true,[])],[],[],4),state([<V>(_2574,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U Simplify]
%% conf([u,u,u],[state([],[],[],4),state([<V>(_8708,121,122,true,[])],[],[],4),state([<V>(_2574,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_8708,121,122,true,[])],[],[],4),state([<V>(_2574,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_8708,121,122,true,[])],[],[],4),state([<V>(_2574,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],4),state([<V>(_8708,122,122,true,[])],[],[],4),state([<V>(_2574,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_8708,122,122,true,[])],[],[],4),state([<V>(_2574,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_8708,122,122,true,[])],[],[],4),state([<V>(_2574,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],4),state([<V>(_8708,123,122,true,[])],[],[],4),state([<V>(_2574,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_8708,123,122,true,[])],[],[],4),state([<V>(_2574,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_8708,123,122,true,[])],[],[],4),state([<V>(_2574,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u],[state([],[],[],4),state([<V>(_2574,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U Success]
%% conf([u,u],[success,state([<V>(_2574,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u],[state([<V>(_2574,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u],[state([univ_2],[],[],2),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U Success]
%% conf([u],[state([token(univ_2,2):1],[token(univ_2,2)],[],3),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [Activate]
%% conf([u,u],[state([<V>(_9828,20,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U Simplify]
%% conf([u,u],[state([univ_21,univ_22],[],[],3),state([<V>(_9828,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u],[state([token(univ_21,3):1,univ_22],[token(univ_21,3)],[],4),state([<V>(_9828,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [Activate]
%% conf([u,u,u],[state([<V>(_10458,210,212,true,[]),univ_22],[],[],4),state([<V>(_9828,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U Simplify]
%% conf([u,u,u],[state([],[],[],4),state([<V>(_10458,211,212,true,[]),univ_22],[],[],4),state([<V>(_9828,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_10458,211,212,true,[]),univ_22],[],[],4),state([<V>(_9828,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_10458,211,212,true,[]),univ_22],[],[],4),state([<V>(_9828,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],4),state([<V>(_10458,212,212,true,[]),univ_22],[],[],4),state([<V>(_9828,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_10458,212,212,true,[]),univ_22],[],[],4),state([<V>(_9828,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_10458,212,212,true,[]),univ_22],[],[],4),state([<V>(_9828,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],4),state([<V>(_10458,213,212,true,[]),univ_22],[],[],4),state([<V>(_9828,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_10458,213,212,true,[]),univ_22],[],[],4),state([<V>(_9828,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_10458,213,212,true,[]),univ_22],[],[],4),state([<V>(_9828,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u],[state([univ_22],[],[],4),state([<V>(_9828,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U Success]
%% conf([u,u],[state([token(univ_22,4):1],[token(univ_22,4)],[],5),state([<V>(_9828,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [Activate]
%% conf([u,u,u],[state([<V>(_11502,220,222,true,[])],[],[],5),state([<V>(_9828,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U Simplify]
%% conf([u,u,u],[state([],[],[],5),state([<V>(_11502,221,222,true,[])],[],[],5),state([<V>(_9828,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_11502,221,222,true,[])],[],[],5),state([<V>(_9828,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_11502,221,222,true,[])],[],[],5),state([<V>(_9828,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],5),state([<V>(_11502,222,222,true,[])],[],[],5),state([<V>(_9828,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_11502,222,222,true,[])],[],[],5),state([<V>(_9828,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_11502,222,222,true,[])],[],[],5),state([<V>(_9828,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],5),state([<V>(_11502,223,222,true,[])],[],[],5),state([<V>(_9828,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_11502,223,222,true,[])],[],[],5),state([<V>(_9828,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_11502,223,222,true,[])],[],[],5),state([<V>(_9828,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u],[state([],[],[],5),state([<V>(_9828,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U Success]
%% conf([u,u],[success,state([<V>(_9828,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u],[state([<V>(_9828,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u],[state([univ_21,univ_22],[],[],3),state([<V>(_9828,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u],[state([token(univ_21,3):1,univ_22],[token(univ_21,3)],[],4),state([<V>(_9828,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [Activate]
%% conf([u,u,u],[state([<V>(_12688,210,212,true,[]),univ_22],[],[],4),state([<V>(_9828,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U Simplify]
%% conf([u,u,u],[state([],[],[],4),state([<V>(_12688,211,212,true,[]),univ_22],[],[],4),state([<V>(_9828,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_12688,211,212,true,[]),univ_22],[],[],4),state([<V>(_9828,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_12688,211,212,true,[]),univ_22],[],[],4),state([<V>(_9828,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],4),state([<V>(_12688,212,212,true,[]),univ_22],[],[],4),state([<V>(_9828,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_12688,212,212,true,[]),univ_22],[],[],4),state([<V>(_9828,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_12688,212,212,true,[]),univ_22],[],[],4),state([<V>(_9828,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],4),state([<V>(_12688,213,212,true,[]),univ_22],[],[],4),state([<V>(_9828,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_12688,213,212,true,[]),univ_22],[],[],4),state([<V>(_9828,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_12688,213,212,true,[]),univ_22],[],[],4),state([<V>(_9828,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u],[state([univ_22],[],[],4),state([<V>(_9828,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U Success]
%% conf([u,u],[state([token(univ_22,4):1],[token(univ_22,4)],[],5),state([<V>(_9828,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [Activate]
%% conf([u,u,u],[state([<V>(_13732,220,222,true,[])],[],[],5),state([<V>(_9828,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U Simplify]
%% conf([u,u,u],[state([],[],[],5),state([<V>(_13732,221,222,true,[])],[],[],5),state([<V>(_9828,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_13732,221,222,true,[])],[],[],5),state([<V>(_9828,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_13732,221,222,true,[])],[],[],5),state([<V>(_9828,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],5),state([<V>(_13732,222,222,true,[])],[],[],5),state([<V>(_9828,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_13732,222,222,true,[])],[],[],5),state([<V>(_9828,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_13732,222,222,true,[])],[],[],5),state([<V>(_9828,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],5),state([<V>(_13732,223,222,true,[])],[],[],5),state([<V>(_9828,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_13732,223,222,true,[])],[],[],5),state([<V>(_9828,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_13732,223,222,true,[])],[],[],5),state([<V>(_9828,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u],[state([],[],[],5),state([<V>(_9828,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U Success]
%% conf([u,u],[success,state([<V>(_9828,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u],[state([<V>(_9828,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u],[state([univ_21,univ_22],[],[],3),state([<V>(_9828,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u],[state([token(univ_21,3):1,univ_22],[token(univ_21,3)],[],4),state([<V>(_9828,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [Activate]
%% conf([u,u,u],[state([<V>(_14918,210,212,true,[]),univ_22],[],[],4),state([<V>(_9828,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_324,2,2,true,[univ_1,univ_2])],[],[],1)]) [U Simplify]
%% conf([u,u,u],[state([],[],[],4),state([<V>(_1976,211,212,true,[]),univ_22],[],[],4),state([<V>(_1676,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,2,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_1976,211,212,true,[]),univ_22],[],[],4),state([<V>(_1676,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,2,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_1976,211,212,true,[]),univ_22],[],[],4),state([<V>(_1676,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,2,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],4),state([<V>(_1976,212,212,true,[]),univ_22],[],[],4),state([<V>(_1676,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,2,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_1976,212,212,true,[]),univ_22],[],[],4),state([<V>(_1676,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,2,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_1976,212,212,true,[]),univ_22],[],[],4),state([<V>(_1676,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,2,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],4),state([<V>(_1976,213,212,true,[]),univ_22],[],[],4),state([<V>(_1676,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,2,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_1976,213,212,true,[]),univ_22],[],[],4),state([<V>(_1676,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,2,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_1976,213,212,true,[]),univ_22],[],[],4),state([<V>(_1676,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,2,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u],[state([univ_22],[],[],4),state([<V>(_1676,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,2,2,true,[univ_1,univ_2])],[],[],1)]) [U Success]
%% conf([u,u],[state([token(univ_22,4):1],[token(univ_22,4)],[],5),state([<V>(_1676,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,2,2,true,[univ_1,univ_2])],[],[],1)]) [Activate]
%% conf([u,u,u],[state([<V>(_2664,220,222,true,[])],[],[],5),state([<V>(_1676,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,2,2,true,[univ_1,univ_2])],[],[],1)]) [U Simplify]
%% conf([u,u,u],[state([],[],[],5),state([<V>(_2664,221,222,true,[])],[],[],5),state([<V>(_1676,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,2,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_2664,221,222,true,[])],[],[],5),state([<V>(_1676,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,2,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_2664,221,222,true,[])],[],[],5),state([<V>(_1676,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,2,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],5),state([<V>(_2664,222,222,true,[])],[],[],5),state([<V>(_1676,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,2,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_2664,222,222,true,[])],[],[],5),state([<V>(_1676,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,2,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_2664,222,222,true,[])],[],[],5),state([<V>(_1676,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,2,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],5),state([<V>(_2664,223,222,true,[])],[],[],5),state([<V>(_1676,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,2,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_2664,223,222,true,[])],[],[],5),state([<V>(_1676,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,2,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_2664,223,222,true,[])],[],[],5),state([<V>(_1676,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,2,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u],[state([],[],[],5),state([<V>(_1676,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,2,2,true,[univ_1,univ_2])],[],[],1)]) [U Success]
%% conf([u,u],[success,state([<V>(_1676,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,2,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u],[state([<V>(_1676,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,2,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u],[state([],[],[],3),state([<V>(_316,2,2,true,[univ_1,univ_2])],[],[],1)]) [U Success]
%% conf([u],[success,state([<V>(_316,2,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u],[state([<V>(_316,2,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u],[state([univ_1,univ_2],[],[],1),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u],[state([token(univ_1,1):1,univ_2],[token(univ_1,1)],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [Activate]
%% conf([u,u],[state([<V>(_3914,10,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U Simplify]
%% conf([u,u],[state([univ_11,univ_12],[],[],2),state([<V>(_3914,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u],[state([token(univ_11,2):1,univ_12],[token(univ_11,2)],[],3),state([<V>(_3914,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [Activate]
%% conf([u,u,u],[state([<V>(_4544,110,112,true,[]),univ_12],[],[],3),state([<V>(_3914,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U Simplify]
%% conf([u,u,u],[state([],[],[],3),state([<V>(_4544,111,112,true,[]),univ_12],[],[],3),state([<V>(_3914,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_4544,111,112,true,[]),univ_12],[],[],3),state([<V>(_3914,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_4544,111,112,true,[]),univ_12],[],[],3),state([<V>(_3914,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],3),state([<V>(_4544,112,112,true,[]),univ_12],[],[],3),state([<V>(_3914,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_4544,112,112,true,[]),univ_12],[],[],3),state([<V>(_3914,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_4544,112,112,true,[]),univ_12],[],[],3),state([<V>(_3914,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],3),state([<V>(_4544,113,112,true,[]),univ_12],[],[],3),state([<V>(_3914,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_4544,113,112,true,[]),univ_12],[],[],3),state([<V>(_3914,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_4544,113,112,true,[]),univ_12],[],[],3),state([<V>(_3914,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u],[state([univ_12],[],[],3),state([<V>(_3914,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U Success]
%% conf([u,u],[state([token(univ_12,3):1],[token(univ_12,3)],[],4),state([<V>(_3914,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [Activate]
%% conf([u,u,u],[state([<V>(_5588,120,122,true,[])],[],[],4),state([<V>(_3914,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U Simplify]
%% conf([u,u,u],[state([],[],[],4),state([<V>(_5588,121,122,true,[])],[],[],4),state([<V>(_3914,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_5588,121,122,true,[])],[],[],4),state([<V>(_3914,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_5588,121,122,true,[])],[],[],4),state([<V>(_3914,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],4),state([<V>(_5588,122,122,true,[])],[],[],4),state([<V>(_3914,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_5588,122,122,true,[])],[],[],4),state([<V>(_3914,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_5588,122,122,true,[])],[],[],4),state([<V>(_3914,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],4),state([<V>(_5588,123,122,true,[])],[],[],4),state([<V>(_3914,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_5588,123,122,true,[])],[],[],4),state([<V>(_3914,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_5588,123,122,true,[])],[],[],4),state([<V>(_3914,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u],[state([],[],[],4),state([<V>(_3914,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U Success]
%% conf([u,u],[success,state([<V>(_3914,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u],[state([<V>(_3914,11,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u],[state([univ_11,univ_12],[],[],2),state([<V>(_3914,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u],[state([token(univ_11,2):1,univ_12],[token(univ_11,2)],[],3),state([<V>(_3914,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [Activate]
%% conf([u,u,u],[state([<V>(_6774,110,112,true,[]),univ_12],[],[],3),state([<V>(_3914,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U Simplify]
%% conf([u,u,u],[state([],[],[],3),state([<V>(_6774,111,112,true,[]),univ_12],[],[],3),state([<V>(_3914,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_6774,111,112,true,[]),univ_12],[],[],3),state([<V>(_3914,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_6774,111,112,true,[]),univ_12],[],[],3),state([<V>(_3914,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],3),state([<V>(_6774,112,112,true,[]),univ_12],[],[],3),state([<V>(_3914,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_6774,112,112,true,[]),univ_12],[],[],3),state([<V>(_3914,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_6774,112,112,true,[]),univ_12],[],[],3),state([<V>(_3914,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],3),state([<V>(_6774,113,112,true,[]),univ_12],[],[],3),state([<V>(_3914,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_6774,113,112,true,[]),univ_12],[],[],3),state([<V>(_3914,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_6774,113,112,true,[]),univ_12],[],[],3),state([<V>(_3914,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u],[state([univ_12],[],[],3),state([<V>(_3914,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U Success]
%% conf([u,u],[state([token(univ_12,3):1],[token(univ_12,3)],[],4),state([<V>(_3914,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [Activate]
%% conf([u,u,u],[state([<V>(_7818,120,122,true,[])],[],[],4),state([<V>(_3914,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U Simplify]
%% conf([u,u,u],[state([],[],[],4),state([<V>(_7818,121,122,true,[])],[],[],4),state([<V>(_3914,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_7818,121,122,true,[])],[],[],4),state([<V>(_3914,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_7818,121,122,true,[])],[],[],4),state([<V>(_3914,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],4),state([<V>(_7818,122,122,true,[])],[],[],4),state([<V>(_3914,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_7818,122,122,true,[])],[],[],4),state([<V>(_3914,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_7818,122,122,true,[])],[],[],4),state([<V>(_3914,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],4),state([<V>(_7818,123,122,true,[])],[],[],4),state([<V>(_3914,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_7818,123,122,true,[])],[],[],4),state([<V>(_3914,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_7818,123,122,true,[])],[],[],4),state([<V>(_3914,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u],[state([],[],[],4),state([<V>(_3914,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U Success]
%% conf([u,u],[success,state([<V>(_3914,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u],[state([<V>(_3914,12,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u],[state([univ_11,univ_12],[],[],2),state([<V>(_3914,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u],[state([token(univ_11,2):1,univ_12],[token(univ_11,2)],[],3),state([<V>(_3914,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [Activate]
%% conf([u,u,u],[state([<V>(_9004,110,112,true,[]),univ_12],[],[],3),state([<V>(_3914,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U Simplify]
%% conf([u,u,u],[state([],[],[],3),state([<V>(_9004,111,112,true,[]),univ_12],[],[],3),state([<V>(_3914,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_9004,111,112,true,[]),univ_12],[],[],3),state([<V>(_3914,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_9004,111,112,true,[]),univ_12],[],[],3),state([<V>(_3914,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],3),state([<V>(_9004,112,112,true,[]),univ_12],[],[],3),state([<V>(_3914,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_9004,112,112,true,[]),univ_12],[],[],3),state([<V>(_3914,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_9004,112,112,true,[]),univ_12],[],[],3),state([<V>(_3914,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],3),state([<V>(_9004,113,112,true,[]),univ_12],[],[],3),state([<V>(_3914,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_9004,113,112,true,[]),univ_12],[],[],3),state([<V>(_3914,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_9004,113,112,true,[]),univ_12],[],[],3),state([<V>(_3914,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u],[state([univ_12],[],[],3),state([<V>(_3914,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U Success]
%% conf([u,u],[state([token(univ_12,3):1],[token(univ_12,3)],[],4),state([<V>(_3914,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [Activate]
%% conf([u,u,u],[state([<V>(_10048,120,122,true,[])],[],[],4),state([<V>(_3914,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U Simplify]
%% conf([u,u,u],[state([],[],[],4),state([<V>(_10048,121,122,true,[])],[],[],4),state([<V>(_3914,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_10048,121,122,true,[])],[],[],4),state([<V>(_3914,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_10048,121,122,true,[])],[],[],4),state([<V>(_3914,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],4),state([<V>(_10048,122,122,true,[])],[],[],4),state([<V>(_3914,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_10048,122,122,true,[])],[],[],4),state([<V>(_3914,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_10048,122,122,true,[])],[],[],4),state([<V>(_3914,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],4),state([<V>(_10048,123,122,true,[])],[],[],4),state([<V>(_3914,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_10048,123,122,true,[])],[],[],4),state([<V>(_3914,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_10048,123,122,true,[])],[],[],4),state([<V>(_3914,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u],[state([],[],[],4),state([<V>(_3914,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U Success]
%% conf([u,u],[success,state([<V>(_3914,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u],[state([<V>(_3914,13,12,true,[univ_11,univ_12]),univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u],[state([univ_2],[],[],2),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U Success]
%% conf([u],[state([token(univ_2,2):1],[token(univ_2,2)],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [Activate]
%% conf([u,u],[state([<V>(_11168,20,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U Simplify]
%% conf([u,u],[state([univ_21,univ_22],[],[],3),state([<V>(_11168,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u],[state([token(univ_21,3):1,univ_22],[token(univ_21,3)],[],4),state([<V>(_11168,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [Activate]
%% conf([u,u,u],[state([<V>(_11798,210,212,true,[]),univ_22],[],[],4),state([<V>(_11168,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U Simplify]
%% conf([u,u,u],[state([],[],[],4),state([<V>(_11798,211,212,true,[]),univ_22],[],[],4),state([<V>(_11168,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_11798,211,212,true,[]),univ_22],[],[],4),state([<V>(_11168,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_11798,211,212,true,[]),univ_22],[],[],4),state([<V>(_11168,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],4),state([<V>(_11798,212,212,true,[]),univ_22],[],[],4),state([<V>(_11168,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_11798,212,212,true,[]),univ_22],[],[],4),state([<V>(_11168,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_11798,212,212,true,[]),univ_22],[],[],4),state([<V>(_11168,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],4),state([<V>(_11798,213,212,true,[]),univ_22],[],[],4),state([<V>(_11168,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_11798,213,212,true,[]),univ_22],[],[],4),state([<V>(_11168,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_11798,213,212,true,[]),univ_22],[],[],4),state([<V>(_11168,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u],[state([univ_22],[],[],4),state([<V>(_11168,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U Success]
%% conf([u,u],[state([token(univ_22,4):1],[token(univ_22,4)],[],5),state([<V>(_11168,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [Activate]
%% conf([u,u,u],[state([<V>(_12842,220,222,true,[])],[],[],5),state([<V>(_11168,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U Simplify]
%% conf([u,u,u],[state([],[],[],5),state([<V>(_12842,221,222,true,[])],[],[],5),state([<V>(_11168,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_12842,221,222,true,[])],[],[],5),state([<V>(_11168,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_12842,221,222,true,[])],[],[],5),state([<V>(_11168,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],5),state([<V>(_12842,222,222,true,[])],[],[],5),state([<V>(_11168,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_12842,222,222,true,[])],[],[],5),state([<V>(_11168,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_12842,222,222,true,[])],[],[],5),state([<V>(_11168,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],5),state([<V>(_12842,223,222,true,[])],[],[],5),state([<V>(_11168,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_12842,223,222,true,[])],[],[],5),state([<V>(_11168,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_12842,223,222,true,[])],[],[],5),state([<V>(_11168,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u],[state([],[],[],5),state([<V>(_11168,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U Success]
%% conf([u,u],[success,state([<V>(_11168,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u],[state([<V>(_11168,21,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u],[state([univ_21,univ_22],[],[],3),state([<V>(_11168,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u],[state([token(univ_21,3):1,univ_22],[token(univ_21,3)],[],4),state([<V>(_11168,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [Activate]
%% conf([u,u,u],[state([<V>(_14028,210,212,true,[]),univ_22],[],[],4),state([<V>(_11168,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U Simplify]
%% conf([u,u,u],[state([],[],[],4),state([<V>(_14028,211,212,true,[]),univ_22],[],[],4),state([<V>(_11168,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_14028,211,212,true,[]),univ_22],[],[],4),state([<V>(_11168,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_14028,211,212,true,[]),univ_22],[],[],4),state([<V>(_11168,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],4),state([<V>(_14028,212,212,true,[]),univ_22],[],[],4),state([<V>(_11168,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_14028,212,212,true,[]),univ_22],[],[],4),state([<V>(_11168,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_14028,212,212,true,[]),univ_22],[],[],4),state([<V>(_11168,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],4),state([<V>(_14028,213,212,true,[]),univ_22],[],[],4),state([<V>(_11168,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_14028,213,212,true,[]),univ_22],[],[],4),state([<V>(_11168,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_14028,213,212,true,[]),univ_22],[],[],4),state([<V>(_11168,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u],[state([univ_22],[],[],4),state([<V>(_11168,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U Success]
%% conf([u,u],[state([token(univ_22,4):1],[token(univ_22,4)],[],5),state([<V>(_11168,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [Activate]
%% conf([u,u,u],[state([<V>(_2860,220,222,true,[])],[],[],5),state([<V>(_2562,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U Simplify]
%% conf([u,u,u],[state([],[],[],5),state([<V>(_2860,221,222,true,[])],[],[],5),state([<V>(_2562,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_2860,221,222,true,[])],[],[],5),state([<V>(_2562,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_2860,221,222,true,[])],[],[],5),state([<V>(_2562,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],5),state([<V>(_2860,222,222,true,[])],[],[],5),state([<V>(_2562,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_2860,222,222,true,[])],[],[],5),state([<V>(_2562,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_2860,222,222,true,[])],[],[],5),state([<V>(_2562,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],5),state([<V>(_2860,223,222,true,[])],[],[],5),state([<V>(_2562,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_2860,223,222,true,[])],[],[],5),state([<V>(_2562,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_2860,223,222,true,[])],[],[],5),state([<V>(_2562,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u],[state([],[],[],5),state([<V>(_2562,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U Success]
%% conf([u,u],[success,state([<V>(_2562,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u],[state([<V>(_2562,22,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u],[state([univ_21,univ_22],[],[],3),state([<V>(_2562,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u],[state([token(univ_21,3):1,univ_22],[token(univ_21,3)],[],4),state([<V>(_2562,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [Activate]
%% conf([u,u,u],[state([<V>(_4046,210,212,true,[]),univ_22],[],[],4),state([<V>(_2562,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U Simplify]
%% conf([u,u,u],[state([],[],[],4),state([<V>(_4046,211,212,true,[]),univ_22],[],[],4),state([<V>(_2562,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_4046,211,212,true,[]),univ_22],[],[],4),state([<V>(_2562,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_4046,211,212,true,[]),univ_22],[],[],4),state([<V>(_2562,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],4),state([<V>(_4046,212,212,true,[]),univ_22],[],[],4),state([<V>(_2562,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_4046,212,212,true,[]),univ_22],[],[],4),state([<V>(_2562,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_4046,212,212,true,[]),univ_22],[],[],4),state([<V>(_2562,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],4),state([<V>(_4046,213,212,true,[]),univ_22],[],[],4),state([<V>(_2562,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_4046,213,212,true,[]),univ_22],[],[],4),state([<V>(_2562,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_4046,213,212,true,[]),univ_22],[],[],4),state([<V>(_2562,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u],[state([univ_22],[],[],4),state([<V>(_2562,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U Success]
%% conf([u,u],[state([token(univ_22,4):1],[token(univ_22,4)],[],5),state([<V>(_2562,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [Activate]
%% conf([u,u,u],[state([<V>(_5090,220,222,true,[])],[],[],5),state([<V>(_2562,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U Simplify]
%% conf([u,u,u],[state([],[],[],5),state([<V>(_5090,221,222,true,[])],[],[],5),state([<V>(_2562,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_5090,221,222,true,[])],[],[],5),state([<V>(_2562,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_5090,221,222,true,[])],[],[],5),state([<V>(_2562,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],5),state([<V>(_5090,222,222,true,[])],[],[],5),state([<V>(_2562,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_5090,222,222,true,[])],[],[],5),state([<V>(_2562,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_5090,222,222,true,[])],[],[],5),state([<V>(_2562,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],5),state([<V>(_5090,223,222,true,[])],[],[],5),state([<V>(_2562,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_5090,223,222,true,[])],[],[],5),state([<V>(_2562,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_5090,223,222,true,[])],[],[],5),state([<V>(_2562,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u],[state([],[],[],5),state([<V>(_2562,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U Success]
%% conf([u,u],[success,state([<V>(_2562,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u,u],[state([<V>(_2562,23,22,true,[univ_21,univ_22])],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([u],[state([],[],[],3),state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U Success]
%% conf([u],[success,state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [Success]
%% conf([u],[state([<V>(_316,3,2,true,[univ_1,univ_2])],[],[],1)]) [U SuccessPropagate]
%% conf([],[state([],[],[],1)]) [U Success]
%% conf([],[success]) [Success]
%% conf([],[success])