API tools faq
paste
shubhamgoyal

Untitled

shubhamgoyal
Jan 27th, 2017
134
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 18.38 KB | None | 0 0
raw download clone embed print report
  1. Mandatory theorem = trigonometry
  2. RelevantTheorems = []
  3. NewListObjects = [[8,y,_G1429594],[8,y,99],[18,y,91],[5,y],[8,b,_G1429571],[15,b,y,57],[8,d,_G1429558],[8,d,115.16874457140389],[18,d,36.34131634420111],[5,d],[16,b,d],[8,m,_G1429523],[8,m,82.83125542859611],[18,m,145.65868365579888],[5,m],[16,b,m],[8,c,_G1429488],[8,c,74.36585714156763],[18,c,142.40193581598214],[5,c],[16,b,c],[4,c,m],[4,c,d],[4,y,d],[4,y,m],[4,d,m],[2,m,d,y],[1,d,m,c],[4,c,d],[4,c,m],[4,d,c],[4,d,m],[4,m,c],[4,m,d],[6,d,c,d,m,-1],[6,d,c,d,m,1],[6,d,m,d,c,-1],[6,d,m,d,c,1],[6,m,c,m,d,-1],[6,m,c,m,d,1],[6,m,d,m,c,-1],[6,m,d,m,c,1]]
  4. element(node([[4,c,m]]),groupList([]),theoremsUsed([]),priority(102),possibleApplications([]),derivationApplications([]))
  5. element(node([[4,m,d],[6,d,c,d,m,-1]]),groupList([0.21460688209080428]),theoremsUsed([trigonometry]),priority(1000000),possibleApplications([[[4,c,m],[[4,m,d],[6,d,c,d,m,-1]]]]),derivationApplications([]))
  6. element(node([[4,m,d],[6,m,d,m,c,-1]]),groupList([0.5654424225357632]),theoremsUsed([trigonometry]),priority(10000),possibleApplications([[[4,c,m],[[4,m,d],[6,m,d,m,c,-1]]]]),derivationApplications([]))
  7. element(node([[4,d,c],[6,d,c,d,m,-1]]),groupList([0.9362295984145247]),theoremsUsed([trigonometry]),priority(10000),possibleApplications([[[4,c,m],[[4,d,c],[6,d,c,d,m,-1]]]]),derivationApplications([]))
  8. element(node([[4,d,c],[6,m,d,m,c,-1]]),groupList([0.6244772684246906]),theoremsUsed([trigonometry]),priority(10000),possibleApplications([[[4,c,m],[[4,d,c],[6,m,d,m,c,-1]]]]),derivationApplications([]))
  9. element(node([[4,m,d],[6,d,c,d,m,1]]),groupList([0.9234598797741685]),theoremsUsed([trigonometry]),priority(10000),possibleApplications([[[4,c,m],[[4,m,d],[6,d,c,d,m,1]]]]),derivationApplications([]))
  10. element(node([[4,m,d],[6,m,d,m,c,1]]),groupList([0.8218517283420578]),theoremsUsed([trigonometry]),priority(10000),possibleApplications([[[4,c,m],[[4,m,d],[6,m,d,m,c,1]]]]),derivationApplications([]))
  11. element(node([[4,d,c],[6,d,c,d,m,1]]),groupList([0.2985905342743938]),theoremsUsed([trigonometry]),priority(10000),possibleApplications([[[4,c,m],[[4,d,c],[6,d,c,d,m,1]]]]),derivationApplications([]))
  12. element(node([[4,d,c],[6,m,d,m,c,1]]),groupList([0.14749972157926416]),theoremsUsed([trigonometry]),priority(10000),possibleApplications([[[4,c,m],[[4,d,c],[6,m,d,m,c,1]]]]),derivationApplications([]))
  13. element(node([[4,c,d],[4,m,c]]),groupList([0.21460688209080428,0.5753313231896028]),theoremsUsed([trigonometry,pythagoras]),priority(10000),possibleApplications([[[4,c,m],[[4,m,d],[6,d,c,d,m,-1]]],[[4,m,d],[[4,c,d],[4,m,c]]]]),derivationApplications([[[[4,c,d],[4,m,c],[6,d,c,d,m,-1]],[[4,c,d],[4,m,c]]]]))
  14. element(node([[4,m,c],[6,d,c,d,m,-1]]),groupList([0.21460688209080428,0.5753313231896028]),theoremsUsed([trigonometry,pythagoras]),priority(10000),possibleApplications([[[4,c,m],[[4,m,d],[6,d,c,d,m,-1]]],[[4,m,d],[[4,c,d],[4,m,c]]]]),derivationApplications([[[[4,c,d],[4,m,c],[6,d,c,d,m,-1]],[[4,m,c],[6,d,c,d,m,-1]]]]))
  15. element(node([[4,m,c],[6,m,d,m,c,-1]]),groupList([0.21460688209080428,0.5654424225357632]),theoremsUsed([trigonometry,trigonometry]),priority(10000),possibleApplications([[[4,c,m],[[4,m,d],[6,d,c,d,m,-1]]],[[4,m,d],[[4,m,c],[6,m,d,m,c,-1]]]]),derivationApplications([[[[4,m,c],[6,d,c,d,m,-1],[6,m,d,m,c,-1]],[[4,m,c],[6,m,d,m,c,-1]]]]))
  16. element(node([[4,m,c],[6,d,c,d,m,1]]),groupList([0.21460688209080428,0.9234598797741685]),theoremsUsed([trigonometry,trigonometry]),priority(10000),possibleApplications([[[4,c,m],[[4,m,d],[6,d,c,d,m,-1]]],[[4,m,d],[[4,m,c],[6,d,c,d,m,1]]]]),derivationApplications([[[[4,m,c],[6,d,c,d,m,-1],[6,d,c,d,m,1]],[[4,m,c],[6,d,c,d,m,1]]]]))
  17. element(node([[4,d,c],[6,d,c,d,m,-1],[6,m,d,m,c,1]]),groupList([0.21460688209080428,0.35235002313675134]),theoremsUsed([trigonometry,trigonometry]),priority(10000),possibleApplications([[[4,c,m],[[4,m,d],[6,d,c,d,m,-1]]],[[4,m,d],[[4,d,c],[6,m,d,m,c,1]]]]),derivationApplications([]))
  18. element(node([[4,m,c],[6,d,c,d,m,-1],[6,m,d,m,c,1]]),groupList([0.21460688209080428,0.8218517283420578]),theoremsUsed([trigonometry,trigonometry]),priority(10000),possibleApplications([[[4,c,m],[[4,m,d],[6,d,c,d,m,-1]]],[[4,m,d],[[4,m,c],[6,m,d,m,c,1]]]]),derivationApplications([]))
  19. element(node([[4,m,c],[4,m,d]]),groupList([0.21460688209080428,0.9362295984145247]),theoremsUsed([trigonometry,trigonometry]),priority(10000),possibleApplications([[[4,c,m],[[4,m,d],[6,d,c,d,m,-1]]],[[6,d,c,d,m,-1],[[4,d,c],[4,m,c]]]]),derivationApplications([[[[4,d,c],[4,m,c],[4,m,d]],[[4,m,c],[4,m,d]]]]))
  20. element(node([[4,d,c],[6,d,c,d,m,1],[6,m,d,m,c,-1]]),groupList([0.5654424225357632,0.7714780783628314]),theoremsUsed([trigonometry,trigonometry]),priority(10000),possibleApplications([[[4,c,m],[[4,m,d],[6,m,d,m,c,-1]]],[[4,m,d],[[4,d,c],[6,d,c,d,m,1]]]]),derivationApplications([]))
  21. element(node([[4,m,c],[6,d,c,d,m,1],[6,m,d,m,c,-1]]),groupList([0.5654424225357632,0.9234598797741685]),theoremsUsed([trigonometry,trigonometry]),priority(10000),possibleApplications([[[4,c,m],[[4,m,d],[6,m,d,m,c,-1]]],[[4,m,d],[[4,m,c],[6,d,c,d,m,1]]]]),derivationApplications([]))
  22. element(node([[4,m,c],[6,m,d,m,c,1]]),groupList([0.5654424225357632,0.8218517283420578]),theoremsUsed([trigonometry,trigonometry]),priority(10000),possibleApplications([[[4,c,m],[[4,m,d],[6,m,d,m,c,-1]]],[[4,m,d],[[4,m,c],[6,m,d,m,c,1]]]]),derivationApplications([[[[4,m,c],[6,m,d,m,c,-1],[6,m,d,m,c,1]],[[4,m,c],[6,m,d,m,c,1]]]]))
  23. element(node([[4,m,d],[6,d,c,d,m,-1],[6,m,d,m,c,1]]),groupList([0.9362295984145247,0.35235002313675134]),theoremsUsed([trigonometry,trigonometry]),priority(10000),possibleApplications([[[4,c,m],[[4,d,c],[6,d,c,d,m,-1]]],[[4,d,c],[[4,m,d],[6,m,d,m,c,1]]]]),derivationApplications([]))
  24. element(node([[4,m,c],[6,d,c,d,m,-1],[7,m,c,d]]),groupList([0.9362295984145247,0.40706079797986106]),theoremsUsed([trigonometry,area]),priority(10000),possibleApplications([[[4,c,m],[[4,d,c],[6,d,c,d,m,-1]]],[[4,d,c],[[4,m,c],[7,m,c,d]]]]),derivationApplications([]))
  25. element(node([[4,m,d],[6,d,c,d,m,1],[6,m,d,m,c,-1]]),groupList([0.6244772684246906,0.7714780783628314]),theoremsUsed([trigonometry,trigonometry]),priority(10000),possibleApplications([[[4,c,m],[[4,d,c],[6,m,d,m,c,-1]]],[[4,d,c],[[4,m,d],[6,d,c,d,m,1]]]]),derivationApplications([]))
  26. element(node([[4,m,c],[6,m,d,m,c,-1],[7,m,c,d]]),groupList([0.6244772684246906,0.40706079797986106]),theoremsUsed([trigonometry,area]),priority(10000),possibleApplications([[[4,c,m],[[4,d,c],[6,m,d,m,c,-1]]],[[4,d,c],[[4,m,c],[7,m,c,d]]]]),derivationApplications([]))
  27. element(node([[4,m,c],[6,d,c,d,m,1],[7,m,c,d]]),groupList([0.2985905342743938,0.40706079797986106]),theoremsUsed([trigonometry,area]),priority(10000),possibleApplications([[[4,c,m],[[4,d,c],[6,d,c,d,m,1]]],[[4,d,c],[[4,m,c],[7,m,c,d]]]]),derivationApplications([]))
  28. element(node([[4,m,c],[6,m,d,m,c,1],[7,m,c,d]]),groupList([0.14749972157926416,0.40706079797986106]),theoremsUsed([trigonometry,area]),priority(10000),possibleApplications([[[4,c,m],[[4,d,c],[6,m,d,m,c,1]]],[[4,d,c],[[4,m,c],[7,m,c,d]]]]),derivationApplications([]))
  29. element(node([[4,m,c],[7,m,c,d]]),groupList([0.21460688209080428,0.5753313231896028,0.40706079797986106]),theoremsUsed([trigonometry,pythagoras,area]),priority(10000),possibleApplications([[[4,c,m],[[4,m,d],[6,d,c,d,m,-1]]],[[4,m,d],[[4,c,d],[4,m,c]]],[[4,c,d],[[4,m,c],[7,m,c,d]]]]),derivationApplications([[[[4,c,d],[4,m,c],[6,d,c,d,m,-1]],[[4,c,d],[4,m,c]]]]))
  30. element(node([[4,c,d],[6,d,c,d,m,-1],[7,m,c,d]]),groupList([0.21460688209080428,0.5753313231896028,0.40706079797986106]),theoremsUsed([trigonometry,pythagoras,area]),priority(10000),possibleApplications([[[4,c,m],[[4,m,d],[6,d,c,d,m,-1]]],[[4,m,d],[[4,c,d],[4,m,c]]],[[4,m,c],[[4,c,d],[7,m,c,d]]]]),derivationApplications([[[[4,c,d],[4,m,c],[6,d,c,d,m,-1]],[[4,m,c],[6,d,c,d,m,-1]]]]))
  31. element(node([[4,c,d],[6,m,d,m,c,-1],[7,m,c,d]]),groupList([0.21460688209080428,0.5654424225357632,0.40706079797986106]),theoremsUsed([trigonometry,trigonometry,area]),priority(10000),possibleApplications([[[4,c,m],[[4,m,d],[6,d,c,d,m,-1]]],[[4,m,d],[[4,m,c],[6,m,d,m,c,-1]]],[[4,m,c],[[4,c,d],[7,m,c,d]]]]),derivationApplications([[[[4,m,c],[6,d,c,d,m,-1],[6,m,d,m,c,-1]],[[4,m,c],[6,m,d,m,c,-1]]]]))
  32. element(node([[4,c,d],[6,d,c,d,m,1],[7,m,c,d]]),groupList([0.21460688209080428,0.9234598797741685,0.40706079797986106]),theoremsUsed([trigonometry,trigonometry,area]),priority(10000),possibleApplications([[[4,c,m],[[4,m,d],[6,d,c,d,m,-1]]],[[4,m,d],[[4,m,c],[6,d,c,d,m,1]]],[[4,m,c],[[4,c,d],[7,m,c,d]]]]),derivationApplications([[[[4,m,c],[6,d,c,d,m,-1],[6,d,c,d,m,1]],[[4,m,c],[6,d,c,d,m,1]]]]))
  33. element(node([[6,d,c,d,m,-1],[6,m,d,m,c,1]]),groupList([0.21460688209080428,0.35235002313675134,0.5753313231896028]),theoremsUsed([trigonometry,trigonometry,pythagoras]),priority(10000),possibleApplications([[[4,c,m],[[4,m,d],[6,d,c,d,m,-1]]],[[4,m,d],[[4,d,c],[6,m,d,m,c,1]]],[[4,d,c],[[4,m,c],[4,m,d]]]]),derivationApplications([[[[4,m,c],[4,m,d],[6,d,c,d,m,-1],[6,m,d,m,c,1]],[[6,d,c,d,m,-1],[6,m,d,m,c,1]]]]))
  34. element(node([[4,m,c],[6,d,c,d,m,-1],[6,m,d,m,c,1],[7,m,c,d]]),groupList([0.21460688209080428,0.35235002313675134,0.40706079797986106]),theoremsUsed([trigonometry,trigonometry,area]),priority(10000),possibleApplications([[[4,c,m],[[4,m,d],[6,d,c,d,m,-1]]],[[4,m,d],[[4,d,c],[6,m,d,m,c,1]]],[[4,d,c],[[4,m,c],[7,m,c,d]]]]),derivationApplications([]))
  35. element(node([[4,c,d],[6,d,c,d,m,-1],[6,m,d,m,c,1],[7,m,c,d]]),groupList([0.21460688209080428,0.8218517283420578,0.40706079797986106]),theoremsUsed([trigonometry,trigonometry,area]),priority(10000),possibleApplications([[[4,c,m],[[4,m,d],[6,d,c,d,m,-1]]],[[4,m,d],[[4,m,c],[6,m,d,m,c,1]]],[[4,m,c],[[4,c,d],[7,m,c,d]]]]),derivationApplications([]))
  36. element(node([[4,c,d],[4,m,d],[7,m,c,d]]),groupList([0.21460688209080428,0.9362295984145247,0.40706079797986106]),theoremsUsed([trigonometry,trigonometry,area]),priority(10000),possibleApplications([[[4,c,m],[[4,m,d],[6,d,c,d,m,-1]]],[[6,d,c,d,m,-1],[[4,d,c],[4,m,c]]],[[4,m,c],[[4,c,d],[7,m,c,d]]]]),derivationApplications([[[[4,d,c],[4,m,c],[4,m,d]],[[4,m,c],[4,m,d]]]]))
  37. element(node([[6,d,c,d,m,1],[6,m,d,m,c,-1]]),groupList([0.5654424225357632,0.7714780783628314,0.5753313231896028]),theoremsUsed([trigonometry,trigonometry,pythagoras]),priority(10000),possibleApplications([[[4,c,m],[[4,m,d],[6,m,d,m,c,-1]]],[[4,m,d],[[4,d,c],[6,d,c,d,m,1]]],[[4,d,c],[[4,m,c],[4,m,d]]]]),derivationApplications([[[[4,m,c],[4,m,d],[6,d,c,d,m,1],[6,m,d,m,c,-1]],[[6,d,c,d,m,1],[6,m,d,m,c,-1]]]]))
  38. element(node([[4,m,c],[6,d,c,d,m,1],[6,m,d,m,c,-1],[7,m,c,d]]),groupList([0.5654424225357632,0.7714780783628314,0.40706079797986106]),theoremsUsed([trigonometry,trigonometry,area]),priority(10000),possibleApplications([[[4,c,m],[[4,m,d],[6,m,d,m,c,-1]]],[[4,m,d],[[4,d,c],[6,d,c,d,m,1]]],[[4,d,c],[[4,m,c],[7,m,c,d]]]]),derivationApplications([]))
  39. element(node([[4,c,d],[6,d,c,d,m,1],[6,m,d,m,c,-1],[7,m,c,d]]),groupList([0.5654424225357632,0.9234598797741685,0.40706079797986106]),theoremsUsed([trigonometry,trigonometry,area]),priority(10000),possibleApplications([[[4,c,m],[[4,m,d],[6,m,d,m,c,-1]]],[[4,m,d],[[4,m,c],[6,d,c,d,m,1]]],[[4,m,c],[[4,c,d],[7,m,c,d]]]]),derivationApplications([]))
  40. element(node([[4,c,d],[6,m,d,m,c,1],[7,m,c,d]]),groupList([0.5654424225357632,0.8218517283420578,0.40706079797986106]),theoremsUsed([trigonometry,trigonometry,area]),priority(10000),possibleApplications([[[4,c,m],[[4,m,d],[6,m,d,m,c,-1]]],[[4,m,d],[[4,m,c],[6,m,d,m,c,1]]],[[4,m,c],[[4,c,d],[7,m,c,d]]]]),derivationApplications([[[[4,m,c],[6,m,d,m,c,-1],[6,m,d,m,c,1]],[[4,m,c],[6,m,d,m,c,1]]]]))
  41. element(node([[4,m,d],[6,d,c,d,m,-1],[7,m,c,d]]),groupList([0.9362295984145247,0.40706079797986106,0.5753313231896028]),theoremsUsed([trigonometry,area,pythagoras]),priority(10000),possibleApplications([[[4,c,m],[[4,d,c],[6,d,c,d,m,-1]]],[[4,d,c],[[4,m,c],[7,m,c,d]]],[[4,m,c],[[4,c,d],[4,m,d]]]]),derivationApplications([[[[4,c,d],[4,m,d],[6,d,c,d,m,-1],[7,m,c,d]],[[4,m,d],[6,d,c,d,m,-1],[7,m,c,d]]]]))
  42. element(node([[4,m,d],[7,m,c,d]]),groupList([0.9362295984145247,0.40706079797986106,0.5753313231896028]),theoremsUsed([trigonometry,area,pythagoras]),priority(10000),possibleApplications([[[4,c,m],[[4,d,c],[6,d,c,d,m,-1]]],[[4,d,c],[[4,m,c],[7,m,c,d]]],[[4,m,c],[[4,c,d],[4,m,d]]]]),derivationApplications([[[[4,c,d],[4,m,d],[6,d,c,d,m,-1],[7,m,c,d]],[[4,m,d],[7,m,c,d]]]]))
  43. element(node([[6,d,c,d,m,-1],[7,m,c,d]]),groupList([0.9362295984145247,0.40706079797986106,0.5753313231896028]),theoremsUsed([trigonometry,area,pythagoras]),priority(10000),possibleApplications([[[4,c,m],[[4,d,c],[6,d,c,d,m,-1]]],[[4,d,c],[[4,m,c],[7,m,c,d]]],[[4,m,c],[[4,c,d],[4,m,d]]]]),derivationApplications([[[[4,c,d],[4,m,d],[6,d,c,d,m,-1],[7,m,c,d]],[[6,d,c,d,m,-1],[7,m,c,d]]]]))
  44. element(node([[4,m,d],[6,m,d,m,c,-1],[7,m,c,d]]),groupList([0.9362295984145247,0.40706079797986106,0.5654424225357632]),theoremsUsed([trigonometry,area,trigonometry]),priority(10000),possibleApplications([[[4,c,m],[[4,d,c],[6,d,c,d,m,-1]]],[[4,d,c],[[4,m,c],[7,m,c,d]]],[[4,m,c],[[4,m,d],[6,m,d,m,c,-1]]]]),derivationApplications([[[[4,m,d],[6,d,c,d,m,-1],[6,m,d,m,c,-1],[7,m,c,d]],[[4,m,d],[6,m,d,m,c,-1],[7,m,c,d]]]]))
  45. element(node([[4,m,d],[6,d,c,d,m,1],[7,m,c,d]]),groupList([0.9362295984145247,0.40706079797986106,0.9234598797741685]),theoremsUsed([trigonometry,area,trigonometry]),priority(10000),possibleApplications([[[4,c,m],[[4,d,c],[6,d,c,d,m,-1]]],[[4,d,c],[[4,m,c],[7,m,c,d]]],[[4,m,c],[[4,m,d],[6,d,c,d,m,1]]]]),derivationApplications([[[[4,m,d],[6,d,c,d,m,-1],[6,d,c,d,m,1],[7,m,c,d]],[[4,m,d],[6,d,c,d,m,1],[7,m,c,d]]]]))
  46. element(node([[4,m,d],[6,d,c,d,m,-1],[6,m,d,m,c,1],[7,m,c,d]]),groupList([0.9362295984145247,0.40706079797986106,0.8218517283420578]),theoremsUsed([trigonometry,area,trigonometry]),priority(10000),possibleApplications([[[4,c,m],[[4,d,c],[6,d,c,d,m,-1]]],[[4,d,c],[[4,m,c],[7,m,c,d]]],[[4,m,c],[[4,m,d],[6,m,d,m,c,1]]]]),derivationApplications([]))
  47. element(node([[4,m,c],[4,m,d],[7,m,c,d]]),groupList([0.9362295984145247,0.40706079797986106,0.7652662558784589]),theoremsUsed([trigonometry,area,trigonometry]),priority(10000),possibleApplications([[[4,c,m],[[4,d,c],[6,d,c,d,m,-1]]],[[4,d,c],[[4,m,c],[7,m,c,d]]],[[6,d,c,d,m,-1],[[4,d,c],[4,m,d]]]]),derivationApplications([[[[4,d,c],[4,m,c],[4,m,d],[7,m,c,d]],[[4,m,c],[4,m,d],[7,m,c,d]]]]))
  48. element(node([[7,m,c,d]]),groupList([0.9362295984145247,0.40706079797986106,0.7652662558784589]),theoremsUsed([trigonometry,area,trigonometry]),priority(10000),possibleApplications([[[4,c,m],[[4,d,c],[6,d,c,d,m,-1]]],[[4,d,c],[[4,m,c],[7,m,c,d]]],[[6,d,c,d,m,-1],[[4,d,c],[4,m,d]]]]),derivationApplications([[[[4,d,c],[4,m,c],[4,m,d],[7,m,c,d]],[[7,m,c,d]]]]))
  49. element(node([[6,m,d,m,c,-1],[7,m,c,d]]),groupList([0.6244772684246906,0.40706079797986106,0.5753313231896028]),theoremsUsed([trigonometry,area,pythagoras]),priority(10000),possibleApplications([[[4,c,m],[[4,d,c],[6,m,d,m,c,-1]]],[[4,d,c],[[4,m,c],[7,m,c,d]]],[[4,m,c],[[4,c,d],[4,m,d]]]]),derivationApplications([[[[4,c,d],[4,m,d],[6,m,d,m,c,-1],[7,m,c,d]],[[6,m,d,m,c,-1],[7,m,c,d]]]]))
  50. element(node([[4,m,d],[6,d,c,d,m,1],[6,m,d,m,c,-1],[7,m,c,d]]),groupList([0.6244772684246906,0.40706079797986106,0.9234598797741685]),theoremsUsed([trigonometry,area,trigonometry]),priority(10000),possibleApplications([[[4,c,m],[[4,d,c],[6,m,d,m,c,-1]]],[[4,d,c],[[4,m,c],[7,m,c,d]]],[[4,m,c],[[4,m,d],[6,d,c,d,m,1]]]]),derivationApplications([]))
  51. element(node([[4,m,d],[6,m,d,m,c,1],[7,m,c,d]]),groupList([0.6244772684246906,0.40706079797986106,0.8218517283420578]),theoremsUsed([trigonometry,area,trigonometry]),priority(10000),possibleApplications([[[4,c,m],[[4,d,c],[6,m,d,m,c,-1]]],[[4,d,c],[[4,m,c],[7,m,c,d]]],[[4,m,c],[[4,m,d],[6,m,d,m,c,1]]]]),derivationApplications([[[[4,m,d],[6,m,d,m,c,-1],[6,m,d,m,c,1],[7,m,c,d]],[[4,m,d],[6,m,d,m,c,1],[7,m,c,d]]]]))
  52. element(node([[6,d,c,d,m,1],[7,m,c,d]]),groupList([0.2985905342743938,0.40706079797986106,0.5753313231896028]),theoremsUsed([trigonometry,area,pythagoras]),priority(10000),possibleApplications([[[4,c,m],[[4,d,c],[6,d,c,d,m,1]]],[[4,d,c],[[4,m,c],[7,m,c,d]]],[[4,m,c],[[4,c,d],[4,m,d]]]]),derivationApplications([[[[4,c,d],[4,m,d],[6,d,c,d,m,1],[7,m,c,d]],[[6,d,c,d,m,1],[7,m,c,d]]]]))
  53. element(node([[6,m,d,m,c,1],[7,m,c,d]]),groupList([0.14749972157926416,0.40706079797986106,0.5753313231896028]),theoremsUsed([trigonometry,area,pythagoras]),priority(10000),possibleApplications([[[4,c,m],[[4,d,c],[6,m,d,m,c,1]]],[[4,d,c],[[4,m,c],[7,m,c,d]]],[[4,m,c],[[4,c,d],[4,m,d]]]]),derivationApplications([[[[4,c,d],[4,m,d],[6,m,d,m,c,1],[7,m,c,d]],[[6,m,d,m,c,1],[7,m,c,d]]]]))
  54. element(node([[6,d,c,d,m,-1],[6,m,d,m,c,1],[7,m,c,d]]),groupList([0.21460688209080428,0.35235002313675134,0.40706079797986106,0.5753313231896028]),theoremsUsed([trigonometry,trigonometry,area,pythagoras]),priority(10000),possibleApplications([[[4,c,m],[[4,m,d],[6,d,c,d,m,-1]]],[[4,m,d],[[4,d,c],[6,m,d,m,c,1]]],[[4,d,c],[[4,m,c],[7,m,c,d]]],[[4,m,c],[[4,c,d],[4,m,d]]]]),derivationApplications([[[[4,c,d],[4,m,d],[6,d,c,d,m,-1],[6,m,d,m,c,1],[7,m,c,d]],[[6,d,c,d,m,-1],[6,m,d,m,c,1],[7,m,c,d]]]]))
  55. element(node([[6,d,c,d,m,1],[6,m,d,m,c,-1],[7,m,c,d]]),groupList([0.5654424225357632,0.7714780783628314,0.40706079797986106,0.5753313231896028]),theoremsUsed([trigonometry,trigonometry,area,pythagoras]),priority(10000),possibleApplications([[[4,c,m],[[4,m,d],[6,m,d,m,c,-1]]],[[4,m,d],[[4,d,c],[6,d,c,d,m,1]]],[[4,d,c],[[4,m,c],[7,m,c,d]]],[[4,m,c],[[4,c,d],[4,m,d]]]]),derivationApplications([[[[4,c,d],[4,m,d],[6,d,c,d,m,1],[6,m,d,m,c,-1],[7,m,c,d]],[[6,d,c,d,m,1],[6,m,d,m,c,-1],[7,m,c,d]]]]))
  56. element(node([[4,c,d]]),groupList([]),theoremsUsed([]),priority(102),possibleApplications([]),derivationApplications([]))
  57. element(node([[6,d,c,d,m,-1]]),groupList([]),theoremsUsed([]),priority(102),possibleApplications([]),derivationApplications([]))
  58. element(node([[6,d,c,d,m,1]]),groupList([]),theoremsUsed([]),priority(102),possibleApplications([]),derivationApplications([]))
  59. element(node([[6,m,c,m,d,-1]]),groupList([]),theoremsUsed([]),priority(102),possibleApplications([]),derivationApplications([]))
  60. element(node([[6,m,c,m,d,1]]),groupList([]),theoremsUsed([]),priority(102),possibleApplications([]),derivationApplications([]))
  61. element(node([[4,d,m]]),groupList([]),theoremsUsed([]),priority(101),possibleApplications([]),derivationApplications([]))
  62. element(node([[4,c,d],[4,m,d]]),groupList([0.5753313231896028]),theoremsUsed([pythagoras]),priority(0),possibleApplications([[[4,c,m],[[4,c,d],[4,m,d]]]]),derivationApplications([]))
  63. element(node([[4,c,d],[7,m,c,d]]),groupList([0.40706079797986106]),theoremsUsed([area]),priority(0),possibleApplications([[[4,c,m],[[4,c,d],[7,m,c,d]]]]),derivationApplications([]))
Advertisement
Add Comment
Please, Sign In to add comment
Public Pastes
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!