result_geometry.txt

length(f,g, const_1);length(f,h, const_2).
length(g,f, const_3);length(h,f, const_4).
length(f,h, const_2);angle(g,h,f, const_5).
length(f,h, const_2);angle(g,f,h, const_6).
angle(g,f,h, const_6);length(h,f, const_4).
length(g,f, const_3);angle(g,f,h, const_6).
angle(g,h,f, const_5);length(h,f, const_4).
length(g,f, const_3);angle(g,h,f, const_5).
length(f,g, const_1);length(f,k, const_7).
length(g,f, const_3);length(k,f, const_1).
length(f,k, const_7);angle(g,k,f, const_8).
length(f,k, const_7);angle(g,f,k, const_2).
angle(g,f,k, const_2);length(k,f, const_1).
length(g,f, const_3);angle(g,f,k, const_2).
angle(g,k,f, const_8);length(k,f, const_1).
length(g,f, const_3);angle(g,k,f, const_8).
length(f,h, const_2);length(g,h, const_9).
length(f,k, const_7);length(g,k, const_3).
length(h,f, const_4);length(h,g, const_1).
length(k,f, const_1);length(k,g, const_10).
length(f,h, const_2);angle(g,h,f, const_5).
length(f,h, const_2);angle(g,f,h, const_6).
length(f,k, const_7);angle(g,k,f, const_8).
length(f,k, const_7);angle(g,f,k, const_2).
angle(g,f,h, const_6);length(h,f, const_4).
angle(g,f,h, const_6);length(g,h, const_9).
angle(g,h,f, const_5);length(h,f, const_4).
length(g,h, const_9);angle(g,h,f, const_5).
angle(g,f,k, const_2);length(k,f, const_1).
angle(g,f,k, const_2);length(g,k, const_3).
angle(g,k,f, const_8);length(k,f, const_1).
length(g,k, const_3);angle(g,k,f, const_8).