% BEGIN LEGENDA OF TEMPLATE INVOCATIONS
% node_1(Var0,Var1) : #1node(*,*), #1edge(*,*,*) at line 
% edge_2(Var2,Var3,Var4) : #1node(*,*), #1edge(*,*,*) at line 
% path_0(default,X,Y) : path[#1node(*,*), #1edge(*,*,*)] (default,X,Y) at line 
% node_1_4(Var0,Var1) : node_1(*,*), edge_2(*,*,*) at line 
% edge_2_5(Var2,Var3,Var4) : node_1(*,*), edge_2(*,*,*) at line 
% path_3(default,X,Z) : path[node_1(*,*), edge_2(*,*,*)] (default,X,Z) at line 
% node_1_7(Var0,Var1) : node_1(*,*), edge_2(*,*,*) at line 
% edge_2_8(Var2,Var3,Var4) : node_1(*,*), edge_2(*,*,*) at line 
% path_6(default,X,Z) : path[node_1(*,*), edge_2(*,*,*)] (default,X,Z) at line 
% path_6(default,X,Z) : path[node_1_4(*,*), edge_2_5(*,*,*)] (default,X,Z) at line 
% path_6(default,X,Z) : path[node_1_7(*,*), edge_2_8(*,*,*)] (default,X,Z) at line 
% node_1_4_10(Var0,Var1) : node_1_4(*,*), edge_2_5(*,*,*) at line 
% edge_2_5_11(Var2,Var3,Var4) : node_1_4(*,*), edge_2_5(*,*,*) at line 
% path_9(default,X,Z) : path[node_1_4(*,*), edge_2_5(*,*,*)] (default,X,Z) at line 
% path_9(default,X,Z) : path[node_1_4_10(*,*), edge_2_5_11(*,*,*)] (default,X,Z) at line 
% node_1_13(Var0,Var1) : node_1(*,*), edge_2(*,*,*) at line 
% edge_2_14(Var2,Var3,Var4) : node_1(*,*), edge_2(*,*,*) at line 
% path_12(default,X,Z) : path[node_1(*,*), edge_2(*,*,*)] (default,X,Z) at line 
% path_12(default,X,Z) : path[node_1_4(*,*), edge_2_5(*,*,*)] (default,X,Z) at line 
% path_6(default,X,Z) : path[node_1_13(*,*), edge_2_14(*,*,*)] (default,X,Z) at line 
% p_16(Var0,Var1) : #0p(*,*), #0h(*,*,*) at line 
% h_17(Var2,Var3,Var4) : #0p(*,*), #0h(*,*,*) at line 
% path_15(default,X,Z) : path[#0p(*,*), #0h(*,*,*)] (default,X,Z) at line 
% p_16_19(Var0,Var1) : p_16(*,*), h_17(*,*,*) at line 
% h_17_20(Var2,Var3,Var4) : p_16(*,*), h_17(*,*,*) at line 
% path_18(default,X,Z) : path[p_16(*,*), h_17(*,*,*)] (default,X,Z) at line 
% p_16_22(Var0,Var1) : p_16(*,*), h_17(*,*,*) at line 
% h_17_23(Var2,Var3,Var4) : p_16(*,*), h_17(*,*,*) at line 
% path_21(default,X,Z) : path[p_16(*,*), h_17(*,*,*)] (default,X,Z) at line 
% path_21(default,X,Z) : path[p_16_19(*,*), h_17_20(*,*,*)] (default,X,Z) at line 
% path_21(default,X,Z) : path[p_16_22(*,*), h_17_23(*,*,*)] (default,X,Z) at line 
% p_16_19_25(Var0,Var1) : p_16_19(*,*), h_17_20(*,*,*) at line 
% h_17_20_26(Var2,Var3,Var4) : p_16_19(*,*), h_17_20(*,*,*) at line 
% path_24(default,X,Z) : path[p_16_19(*,*), h_17_20(*,*,*)] (default,X,Z) at line 
% path_24(default,X,Z) : path[p_16_19_25(*,*), h_17_20_26(*,*,*)] (default,X,Z) at line 
% p_16_28(Var0,Var1) : p_16(*,*), h_17(*,*,*) at line 
% h_17_29(Var2,Var3,Var4) : p_16(*,*), h_17(*,*,*) at line 
% path_27(default,X,Z) : path[p_16(*,*), h_17(*,*,*)] (default,X,Z) at line 
% path_27(default,X,Z) : path[p_16_19(*,*), h_17_20(*,*,*)] (default,X,Z) at line 
% path_21(default,X,Z) : path[p_16_28(*,*), h_17_29(*,*,*)] (default,X,Z) at line 
% END OF LEGENDA

node_1(Var0,Var1) :- a_2(Var0,Var1,node).
edge_2(Var2,Var3,Var4) :- a_3(Var2,Var3,Var4,edge).
path_0(default,X,Y) :- node_1(default,X), node_1(default,Y), edge_2(default,X,Y).
path_0(default,X,Y) :- path_3(default,X,Z), edge_2(default,Z,Y).
node_1_4(Var0,Var1) :- a_2(Var0,Var1,node_1).
edge_2_5(Var2,Var3,Var4) :- a_3(Var2,Var3,Var4,edge_2).
path_3(default,X,Y) :- node_1_4(default,X), node_1_4(default,Y), edge_2_5(default,X,Y).
path_3(default,X,Y) :- path_6(default,X,Z), edge_2_5(default,Z,Y).
node_1_7(Var0,Var1) :- a_2(Var0,Var1,node_1).
edge_2_8(Var2,Var3,Var4) :- a_3(Var2,Var3,Var4,edge_2).
path_6(default,X,Y) :- node_1_7(default,X), node_1_7(default,Y), edge_2_8(default,X,Y).
path_6(default,X,Y) :- path_6(default,X,Z), edge_2_8(default,Z,Y).
node_1_4_10(Var0,Var1) :- a_2(Var0,Var1,node_1_4).
edge_2_5_11(Var2,Var3,Var4) :- a_3(Var2,Var3,Var4,edge_2_5).
path_9(default,X,Y) :- node_1_4_10(default,X), node_1_4_10(default,Y), edge_2_5_11(default,X,Y).
path_9(default,X,Y) :- path_9(default,X,Z), edge_2_5_11(default,Z,Y).
node_1_13(Var0,Var1) :- a_2(Var0,Var1,node_1).
edge_2_14(Var2,Var3,Var4) :- a_3(Var2,Var3,Var4,edge_2).
path_12(default,X,Y) :- node_1_13(default,X), node_1_13(default,Y), edge_2_14(default,X,Y).
path_12(default,X,Y) :- path_6(default,X,Z), edge_2_14(default,Z,Y).
p_16(Var0,Var1) :- a_2(Var0,Var1,p).
h_17(Var2,Var3,Var4) :- a_3(Var2,Var3,Var4,h).
path_15(default,X,Y) :- p_16(default,X), p_16(default,Y), h_17(default,X,Y).
path_15(default,X,Y) :- path_18(default,X,Z), h_17(default,Z,Y).
p_16_19(Var0,Var1) :- a_2(Var0,Var1,p_16).
h_17_20(Var2,Var3,Var4) :- a_3(Var2,Var3,Var4,h_17).
path_18(default,X,Y) :- p_16_19(default,X), p_16_19(default,Y), h_17_20(default,X,Y).
path_18(default,X,Y) :- path_21(default,X,Z), h_17_20(default,Z,Y).
p_16_22(Var0,Var1) :- a_2(Var0,Var1,p_16).
h_17_23(Var2,Var3,Var4) :- a_3(Var2,Var3,Var4,h_17).
path_21(default,X,Y) :- p_16_22(default,X), p_16_22(default,Y), h_17_23(default,X,Y).
path_21(default,X,Y) :- path_21(default,X,Z), h_17_23(default,Z,Y).
p_16_19_25(Var0,Var1) :- a_2(Var0,Var1,p_16_19).
h_17_20_26(Var2,Var3,Var4) :- a_3(Var2,Var3,Var4,h_17_20).
path_24(default,X,Y) :- p_16_19_25(default,X), p_16_19_25(default,Y), h_17_20_26(default,X,Y).
path_24(default,X,Y) :- path_24(default,X,Z), h_17_20_26(default,Z,Y).
p_16_28(Var0,Var1) :- a_2(Var0,Var1,p_16).
h_17_29(Var2,Var3,Var4) :- a_3(Var2,Var3,Var4,h_17).
path_27(default,X,Y) :- p_16_28(default,X), p_16_28(default,Y), h_17_29(default,X,Y).
path_27(default,X,Y) :- path_21(default,X,Z), h_17_29(default,Z,Y).
