--- n1 ---------------------------------------------
--- n10 ---------------------------------------------
--- n11 ---------------------------------------------
--- n12 ---------------------------------------------
--- n2 ---------------------------------------------
--- n3 ---------------------------------------------
--- n4 ---------------------------------------------
--- n5 ---------------------------------------------
--- n6 ---------------------------------------------
--- n7 ---------------------------------------------
--- n8 ---------------------------------------------
--- n9 ---------------------------------------------
is_shared(n7,[t2])
sel_edge(n1,[],cdr,[])
sel_edge(n1,[],cdr,[y,t1])
sel_edge(n1,[x],cdr,[])
sel_edge(n1,[x],cdr,[y,t1])
sel_edge(n1,[y,t1],cdr,[])
sel_edge(n1,[y,x],cdr,[])
sel_edge(n10,[],cdr,[])
sel_edge(n10,[],cdr,[y])
sel_edge(n10,[t],cdr,[])
sel_edge(n10,[x],cdr,[])
sel_edge(n10,[x],cdr,[y])
sel_edge(n10,[y,x],cdr,[t])
sel_edge(n10,[y],cdr,[t])
sel_edge(n11,[],cdr,[])
sel_edge(n11,[],cdr,[y])
sel_edge(n11,[x],cdr,[])
sel_edge(n11,[x],cdr,[y])
sel_edge(n11,[y,x],cdr,[])
sel_edge(n11,[y],cdr,[])
sel_edge(n12,[],cdr,[])
sel_edge(n12,[x],cdr,[])
sel_edge(n2,[],cdr,[])
sel_edge(n2,[],cdr,[y])
sel_edge(n2,[t1],cdr,[])
sel_edge(n2,[t1],cdr,[y])
sel_edge(n2,[x],cdr,[])
sel_edge(n2,[x],cdr,[y])
sel_edge(n2,[y,x],cdr,[t1])
sel_edge(n2,[y],cdr,[t1])
sel_edge(n3,[],cdr,[])
sel_edge(n3,[],cdr,[y,t1])
sel_edge(n3,[x],cdr,[])
sel_edge(n3,[x],cdr,[y,t1])
sel_edge(n3,[y,t1],cdr,[])
sel_edge(n4,[],cdr,[])
sel_edge(n4,[],cdr,[y,t1])
sel_edge(n4,[x],cdr,[])
sel_edge(n4,[x],cdr,[y,t1])
sel_edge(n4,[y,t1],cdr,[])
sel_edge(n4,[y,x],cdr,[])
sel_edge(n5,[],cdr,[])
sel_edge(n5,[],cdr,[y,t1])
sel_edge(n5,[x],cdr,[])
sel_edge(n5,[x],cdr,[y,t1])
sel_edge(n5,[y,t1],cdr,[])
sel_edge(n5,[y,x],cdr,[])
sel_edge(n6,[],cdr,[])
sel_edge(n6,[],cdr,[y,t1])
sel_edge(n6,[t2],cdr,[])
sel_edge(n6,[t2],cdr,[y,t1])
sel_edge(n6,[x],cdr,[])
sel_edge(n6,[x],cdr,[y,t1])
sel_edge(n6,[y,t1],cdr,[t2])
sel_edge(n6,[y,x],cdr,[t2])
sel_edge(n7,[],cdr,[])
sel_edge(n7,[],cdr,[y,t1])
sel_edge(n7,[t2],cdr,[])
sel_edge(n7,[t2],cdr,[y,t1])
sel_edge(n7,[t],cdr,[t2])
sel_edge(n7,[x],cdr,[])
sel_edge(n7,[x],cdr,[y,t1])
sel_edge(n7,[y,t1],cdr,[t2])
sel_edge(n7,[y,x],cdr,[t2])
sel_edge(n8,[],cdr,[])
sel_edge(n8,[],cdr,[y,t1])
sel_edge(n8,[t2],cdr,[])
sel_edge(n8,[t2],cdr,[y,t1])
sel_edge(n8,[t],cdr,[t2])
sel_edge(n8,[x],cdr,[])
sel_edge(n8,[x],cdr,[y,t1])
sel_edge(n8,[y,t1],cdr,[t])
sel_edge(n8,[y,x],cdr,[t])
sel_edge(n9,[],cdr,[])
sel_edge(n9,[],cdr,[y,t1])
sel_edge(n9,[t],cdr,[])
sel_edge(n9,[x],cdr,[])
sel_edge(n9,[x],cdr,[y,t1])
sel_edge(n9,[y,t1],cdr,[t])
sel_edge(n9,[y,x],cdr,[t])
var_edge(n1,t1,[y,t1])
var_edge(n1,x,[x])
var_edge(n1,x,[y,x])
var_edge(n1,y,[y,t1])
var_edge(n1,y,[y,x])
var_edge(n10,t,[t])
var_edge(n10,x,[x])
var_edge(n10,x,[y,x])
var_edge(n10,y,[y,x])
var_edge(n10,y,[y])
var_edge(n11,x,[x])
var_edge(n11,x,[y,x])
var_edge(n11,y,[y,x])
var_edge(n11,y,[y])
var_edge(n12,x,[x])
var_edge(n2,t1,[t1])
var_edge(n2,x,[x])
var_edge(n2,x,[y,x])
var_edge(n2,y,[y,x])
var_edge(n2,y,[y])
var_edge(n3,t1,[y,t1])
var_edge(n3,x,[x])
var_edge(n3,y,[y,t1])
var_edge(n4,t1,[y,t1])
var_edge(n4,x,[x])
var_edge(n4,x,[y,x])
var_edge(n4,y,[y,t1])
var_edge(n4,y,[y,x])
var_edge(n5,t,[t])
var_edge(n5,t1,[y,t1])
var_edge(n5,x,[x])
var_edge(n5,x,[y,x])
var_edge(n5,y,[y,t1])
var_edge(n5,y,[y,x])
var_edge(n6,t,[t])
var_edge(n6,t1,[y,t1])
var_edge(n6,t2,[t2])
var_edge(n6,x,[x])
var_edge(n6,x,[y,x])
var_edge(n6,y,[y,t1])
var_edge(n6,y,[y,x])
var_edge(n7,t,[t])
var_edge(n7,t1,[y,t1])
var_edge(n7,t2,[t2])
var_edge(n7,x,[x])
var_edge(n7,x,[y,x])
var_edge(n7,y,[y,t1])
var_edge(n7,y,[y,x])
var_edge(n8,t,[t])
var_edge(n8,t1,[y,t1])
var_edge(n8,t2,[t2])
var_edge(n8,x,[x])
var_edge(n8,x,[y,x])
var_edge(n8,y,[y,t1])
var_edge(n8,y,[y,x])
var_edge(n9,t,[t])
var_edge(n9,t1,[y,t1])
var_edge(n9,x,[x])
var_edge(n9,x,[y,x])
var_edge(n9,y,[y,t1])
var_edge(n9,y,[y,x])
