Advertisement
shubhamgoyal

id447c6e6e432c4509b4ecbe4cc8f74283chaining_output.txt

Jun 10th, 2016
101
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 6.21 KB | None | 0 0
  1. facts1 <=> length1(g,k,x2);length1(d,k,x3);triangle1(k,g,s);triangle1(k,g,d);perp1(k,g,s,d);line1(g,k);collinear1(s,g,d);line1(s,g);line1(d,s);line1(g,d);between1(g,d,s);cordy1(g,92.75);cordx1(g,29.5);point1(g);point1(k);point1(d);point1(s);line1(k,s);line1(k,d);triangle1(s,d,k);cordy1(k,265.4642857142857);cordx1(k,14);cordy1(d,98);cordx1(d,88);cordy1(s,91);cordx1(s,10);name1(s,S);name1(d,D);name1(k,K);name1(g,G);nl.
  2. facts1 <=> length1(g,k,x2);length1(d,k,x3);triangle1(k,g,s);triangle1(k,g,d);perp1(k,g,s,d);line1(g,k);collinear1(s,g,d);line1(s,g);line1(d,s);line1(g,d);between1(g,d,s);cordy1(g,92.75);cordx1(g,29.5);point1(g);point1(k);point1(d);point1(s);line1(k,s);line1(k,d);triangle1(s,d,k);cordy1(k,265.4642857142857);cordx1(k,14);cordy1(d,98);cordx1(d,88);cordy1(s,91);cordx1(s,10);name1(s,S);name1(d,D);name1(k,K);name1(g,G);nl.
  3. facts1 <=> name1(g,G);name1(k,K);name1(d,D);name1(s,S);cordx1(s,10);cordy1(s,91);cordx1(d,88);cordy1(d,98);cordx1(k,14);cordy1(k,265.4642857142857);triangle1(s,d,k);line1(k,d);line1(k,s);point1(s);point1(d);point1(k);point1(g);cordx1(g,29.5);cordy1(g,92.75);between1(g,d,s);line1(g,d);line1(d,s);line1(s,g);collinear1(s,g,d);line1(g,k);perp1(k,g,s,d);triangle1(k,g,d);triangle1(k,g,s);length1(d,k,x3);length1(g,k,x2);length1(s,g,x1);length1(g,k,x2);nl.
  4. facts1 <=> length1(g,k,x2);length1(d,k,x3);triangle1(k,g,s);triangle1(k,g,d);perp1(k,g,s,d);line1(g,k);collinear1(s,g,d);line1(s,g);line1(d,s);line1(g,d);between1(g,d,s);cordy1(g,92.75);cordx1(g,29.5);point1(g);point1(k);point1(d);point1(s);line1(k,s);line1(k,d);triangle1(s,d,k);cordy1(k,265.4642857142857);cordx1(k,14);cordy1(d,98);cordx1(d,88);cordy1(s,91);cordx1(s,10);name1(s,S);name1(d,D);name1(k,K);name1(g,G);length1(g,k,x2);area_triangle1(g,k,s,x3);nl.
  5. facts1 <=> name1(g,G);name1(k,K);name1(d,D);name1(s,S);cordx1(s,10);cordy1(s,91);cordx1(d,88);cordy1(d,98);cordx1(k,14);cordy1(k,265.4642857142857);triangle1(s,d,k);line1(k,d);line1(k,s);point1(s);point1(d);point1(k);point1(g);cordx1(g,29.5);cordy1(g,92.75);between1(g,d,s);line1(g,d);line1(d,s);line1(s,g);collinear1(s,g,d);line1(g,k);perp1(k,g,s,d);triangle1(k,g,d);triangle1(k,g,s);length1(d,k,x3);length1(g,k,x2);length1(s,g,x1);length1(s,k,x4);nl.
  6. facts1 <=> length1(g,k,x2);length1(d,k,x3);triangle1(k,g,s);triangle1(k,g,d);perp1(k,g,s,d);line1(g,k);collinear1(s,g,d);line1(s,g);line1(d,s);line1(g,d);between1(g,d,s);cordy1(g,92.75);cordx1(g,29.5);point1(g);point1(k);point1(d);point1(s);line1(k,s);line1(k,d);triangle1(s,d,k);cordy1(k,265.4642857142857);cordx1(k,14);cordy1(d,98);cordx1(d,88);cordy1(s,91);cordx1(s,10);name1(s,S);name1(d,D);name1(k,K);name1(g,G);length1(g,k,x2);length1(s,k,x4);area_triangle1(g,k,s,x3);nl.
  7. facts1 <=> name1(g,G);name1(k,K);name1(d,D);name1(s,S);cordx1(s,10);cordy1(s,91);cordx1(d,88);cordy1(d,98);cordx1(k,14);cordy1(k,265.4642857142857);triangle1(s,d,k);line1(k,d);line1(k,s);point1(s);point1(d);point1(k);point1(g);cordx1(g,29.5);cordy1(g,92.75);between1(g,d,s);line1(g,d);line1(d,s);line1(s,g);collinear1(s,g,d);line1(g,k);perp1(k,g,s,d);triangle1(k,g,d);triangle1(k,g,s);length1(d,k,x3);length1(g,k,x2);length1(s,k,x4);length1(g,k,x2);nl.
  8. facts1 <=> length1(g,k,x2);length1(d,k,x3);triangle1(k,g,s);triangle1(k,g,d);perp1(k,g,s,d);line1(g,k);collinear1(s,g,d);line1(s,g);line1(d,s);line1(g,d);between1(g,d,s);cordy1(g,92.75);cordx1(g,29.5);point1(g);point1(k);point1(d);point1(s);line1(k,s);line1(k,d);triangle1(s,d,k);cordy1(k,265.4642857142857);cordx1(k,14);cordy1(d,98);cordx1(d,88);cordy1(s,91);cordx1(s,10);name1(s,S);name1(d,D);name1(k,K);name1(g,G);length1(g,k,x2);length1(s,g,x1);nl.
  9. facts1 <=> name1(g,G);name1(k,K);name1(d,D);name1(s,S);cordx1(s,10);cordy1(s,91);cordx1(d,88);cordy1(d,98);cordx1(k,14);cordy1(k,265.4642857142857);triangle1(s,d,k);line1(k,d);line1(k,s);point1(s);point1(d);point1(k);point1(g);cordx1(g,29.5);cordy1(g,92.75);between1(g,d,s);line1(g,d);line1(d,s);line1(s,g);collinear1(s,g,d);line1(g,k);perp1(k,g,s,d);triangle1(k,g,d);triangle1(k,g,s);length1(d,k,x3);length1(g,k,x2);length1(d,g,x5);length1(g,k,x2);nl.
  10. facts1 <=> length1(g,k,x2);length1(d,k,x3);triangle1(k,g,s);triangle1(k,g,d);perp1(k,g,s,d);line1(g,k);collinear1(s,g,d);line1(s,g);line1(d,s);line1(g,d);between1(g,d,s);cordy1(g,92.75);cordx1(g,29.5);point1(g);point1(k);point1(d);point1(s);line1(k,s);line1(k,d);triangle1(s,d,k);cordy1(k,265.4642857142857);cordx1(k,14);cordy1(d,98);cordx1(d,88);cordy1(s,91);cordx1(s,10);name1(s,S);name1(d,D);name1(k,K);name1(g,G);length1(g,k,x2);area_triangle1(g,k,d,x1);nl.
  11. facts1 <=> name1(g,G);name1(k,K);name1(d,D);name1(s,S);cordx1(s,10);cordy1(s,91);cordx1(d,88);cordy1(d,98);cordx1(k,14);cordy1(k,265.4642857142857);triangle1(s,d,k);line1(k,d);line1(k,s);point1(s);point1(d);point1(k);point1(g);cordx1(g,29.5);cordy1(g,92.75);between1(g,d,s);line1(g,d);line1(d,s);line1(s,g);collinear1(s,g,d);line1(g,k);perp1(k,g,s,d);triangle1(k,g,d);triangle1(k,g,s);length1(d,k,x3);length1(g,k,x2);length1(d,g,x5);length1(d,k,x6);nl.
  12. facts1 <=> length1(g,k,x2);length1(d,k,x3);triangle1(k,g,s);triangle1(k,g,d);perp1(k,g,s,d);line1(g,k);collinear1(s,g,d);line1(s,g);line1(d,s);line1(g,d);between1(g,d,s);cordy1(g,92.75);cordx1(g,29.5);point1(g);point1(k);point1(d);point1(s);line1(k,s);line1(k,d);triangle1(s,d,k);cordy1(k,265.4642857142857);cordx1(k,14);cordy1(d,98);cordx1(d,88);cordy1(s,91);cordx1(s,10);name1(s,S);name1(d,D);name1(k,K);name1(g,G);length1(d,k,x6);length1(g,k,x2);area_triangle1(g,k,d,x1);nl.
  13. facts1 <=> name1(g,G);name1(k,K);name1(d,D);name1(s,S);cordx1(s,10);cordy1(s,91);cordx1(d,88);cordy1(d,98);cordx1(k,14);cordy1(k,265.4642857142857);triangle1(s,d,k);line1(k,d);line1(k,s);point1(s);point1(d);point1(k);point1(g);cordx1(g,29.5);cordy1(g,92.75);between1(g,d,s);line1(g,d);line1(d,s);line1(s,g);collinear1(s,g,d);line1(g,k);perp1(k,g,s,d);triangle1(k,g,d);triangle1(k,g,s);length1(d,k,x3);length1(g,k,x2);length1(d,k,x6);length1(g,k,x2);nl.
  14. facts1 <=> length1(g,k,x2);length1(d,k,x3);triangle1(k,g,s);triangle1(k,g,d);perp1(k,g,s,d);line1(g,k);collinear1(s,g,d);line1(s,g);line1(d,s);line1(g,d);between1(g,d,s);cordy1(g,92.75);cordx1(g,29.5);point1(g);point1(k);point1(d);point1(s);line1(k,s);line1(k,d);triangle1(s,d,k);cordy1(k,265.4642857142857);cordx1(k,14);cordy1(d,98);cordx1(d,88);cordy1(s,91);cordx1(s,10);name1(s,S);name1(d,D);name1(k,K);name1(g,G);length1(d,g,x5);length1(g,k,x2);nl.
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement