API tools faq
paste
Advertisement
shubhamgoyal

Untitled

shubhamgoyal
Jan 27th, 2017
138
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 18.36 KB | None | 0 0
raw download clone embed print report
  1. andatory 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.5712581487026408]),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.11405329620643022]),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.4017490120175678]),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.06787789974991859]),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.9575615605990918]),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.2102155222112361]),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.022239967989648366]),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.7024297061219238]),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.5712581487026408,0.08964770572833804]),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.5712581487026408,0.08964770572833804]),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.5712581487026408,0.11405329620643022]),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.5712581487026408,0.9575615605990918]),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.5712581487026408,0.8926466681005227]),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.5712581487026408,0.2102155222112361]),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.5712581487026408,0.4017490120175678]),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.11405329620643022,0.8457443132909895]),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.11405329620643022,0.9575615605990918]),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.11405329620643022,0.2102155222112361]),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.4017490120175678,0.8926466681005227]),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.4017490120175678,0.9390760668671471]),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.06787789974991859,0.8457443132909895]),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.06787789974991859,0.9390760668671471]),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.022239967989648366,0.9390760668671471]),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.7024297061219238,0.9390760668671471]),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.5712581487026408,0.08964770572833804,0.9390760668671471]),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.5712581487026408,0.08964770572833804,0.9390760668671471]),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.5712581487026408,0.11405329620643022,0.9390760668671471]),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.5712581487026408,0.9575615605990918,0.9390760668671471]),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.5712581487026408,0.8926466681005227,0.08964770572833804]),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.5712581487026408,0.8926466681005227,0.9390760668671471]),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.5712581487026408,0.2102155222112361,0.9390760668671471]),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.5712581487026408,0.4017490120175678,0.9390760668671471]),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.11405329620643022,0.8457443132909895,0.08964770572833804]),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.11405329620643022,0.8457443132909895,0.9390760668671471]),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.11405329620643022,0.9575615605990918,0.9390760668671471]),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.11405329620643022,0.2102155222112361,0.9390760668671471]),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.4017490120175678,0.9390760668671471,0.08964770572833804]),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.4017490120175678,0.9390760668671471,0.08964770572833804]),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.4017490120175678,0.9390760668671471,0.08964770572833804]),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.4017490120175678,0.9390760668671471,0.11405329620643022]),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.4017490120175678,0.9390760668671471,0.9575615605990918]),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.4017490120175678,0.9390760668671471,0.2102155222112361]),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.4017490120175678,0.9390760668671471,0.8476930215844579]),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.4017490120175678,0.9390760668671471,0.8476930215844579]),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.06787789974991859,0.9390760668671471,0.08964770572833804]),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.06787789974991859,0.9390760668671471,0.9575615605990918]),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.06787789974991859,0.9390760668671471,0.2102155222112361]),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.022239967989648366,0.9390760668671471,0.08964770572833804]),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.7024297061219238,0.9390760668671471,0.08964770572833804]),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.5712581487026408,0.8926466681005227,0.9390760668671471,0.08964770572833804]),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.11405329620643022,0.8457443132909895,0.9390760668671471,0.08964770572833804]),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.08964770572833804]),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.9390760668671471]),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
Advertisement
Public Pastes
Advertisement
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!