API tools faq
paste
Advertisement
shubhamgoyal

Untitled

shubhamgoyal
Jan 26th, 2017
135
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 23.82 KB | None | 0 0
raw download clone embed print report
  1. Mandatory theorem = trigonometry
  2. RelevantTheorems = []
  3. NewListObjects = [[8,y,_G1396566],[8,y,99],[18,y,91],[5,y],[8,b,_G1396543],[15,b,y,57],[8,d,_G1396530],[8,d,115.16874457140389],[18,d,36.34131634420111],[5,d],[16,b,d],[8,m,_G1396495],[8,m,82.83125542859611],[18,m,145.65868365579888],[5,m],[16,b,m],[8,c,_G1396460],[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.0943665853505209]),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.5505700775019108]),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.9778629220365005]),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.8563523203679317]),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.34288655283205094]),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.7694601141888227]),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.24123796213939366]),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.318668518225794]),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.0943665853505209,0.17192376270191687]),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.0943665853505209,0.17192376270191687]),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.0943665853505209,0.5505700775019108]),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,d,c],[6,d,c,d,m,-1],[6,d,c,d,m,1]]),groupList([0.0943665853505209,0.7038903056988405]),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,d,c,d,m,1]]]]),derivationApplications([]))
  17. element(node([[4,m,c],[6,d,c,d,m,-1],[6,d,c,d,m,1]]),groupList([0.0943665853505209,0.34288655283205094]),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([]))
  18. element(node([[4,d,c],[6,d,c,d,m,-1],[6,m,d,m,c,1]]),groupList([0.0943665853505209,0.9702304872017807]),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([]))
  19. element(node([[4,m,c],[6,d,c,d,m,-1],[6,m,d,m,c,1]]),groupList([0.0943665853505209,0.7694601141888227]),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([]))
  20. element(node([[4,m,c],[4,m,d]]),groupList([0.0943665853505209,0.9778629220365005]),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]]]]))
  21. element(node([[4,d,c],[6,d,c,d,m,1],[6,m,d,m,c,-1]]),groupList([0.5505700775019108,0.7038903056988405]),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([]))
  22. element(node([[4,m,c],[6,d,c,d,m,1],[6,m,d,m,c,-1]]),groupList([0.5505700775019108,0.34288655283205094]),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([]))
  23. element(node([[4,d,c],[6,m,d,m,c,-1],[6,m,d,m,c,1]]),groupList([0.5505700775019108,0.9702304872017807]),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,m,d,m,c,1]]]]),derivationApplications([]))
  24. element(node([[4,m,c],[6,m,d,m,c,-1],[6,m,d,m,c,1]]),groupList([0.5505700775019108,0.7694601141888227]),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([]))
  25. element(node([[4,m,d],[6,d,c,d,m,-1],[6,d,c,d,m,1]]),groupList([0.9778629220365005,0.7038903056988405]),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,d,c,d,m,1]]]]),derivationApplications([]))
  26. element(node([[4,m,d],[6,d,c,d,m,-1],[6,m,d,m,c,1]]),groupList([0.9778629220365005,0.9702304872017807]),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([]))
  27. element(node([[4,m,c],[6,d,c,d,m,-1],[7,m,c,d]]),groupList([0.9778629220365005,0.05783632032468977]),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,d],[6,d,c,d,m,1],[6,m,d,m,c,-1]]),groupList([0.8563523203679317,0.7038903056988405]),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([]))
  29. element(node([[4,m,d],[6,m,d,m,c,-1],[6,m,d,m,c,1]]),groupList([0.8563523203679317,0.9702304872017807]),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,m,d,m,c,1]]]]),derivationApplications([]))
  30. element(node([[4,m,c],[6,m,d,m,c,-1],[7,m,c,d]]),groupList([0.8563523203679317,0.05783632032468977]),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([]))
  31. element(node([[4,m,c],[6,d,c,d,m,1]]),groupList([0.34288655283205094,0.17192376270191687]),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]]]]))
  32. element(node([[4,m,c],[6,m,d,m,c,1]]),groupList([0.34288655283205094,0.7694601141888227]),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]]]]))
  33. element(node([[4,m,c],[6,d,c,d,m,1],[7,m,c,d]]),groupList([0.24123796213939366,0.05783632032468977]),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([]))
  34. element(node([[4,m,c],[6,m,d,m,c,1],[7,m,c,d]]),groupList([0.318668518225794,0.05783632032468977]),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([]))
  35. element(node([[4,m,c],[7,m,c,d]]),groupList([0.0943665853505209,0.17192376270191687,0.05783632032468977]),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]]]]))
  36. element(node([[4,c,d],[6,d,c,d,m,-1],[7,m,c,d]]),groupList([0.0943665853505209,0.17192376270191687,0.05783632032468977]),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]]]]))
  37. element(node([[4,c,d],[6,m,d,m,c,-1],[7,m,c,d]]),groupList([0.0943665853505209,0.5505700775019108,0.05783632032468977]),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]]]]))
  38. element(node([[6,d,c,d,m,-1],[6,d,c,d,m,1]]),groupList([0.0943665853505209,0.7038903056988405,0.17192376270191687]),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,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,d,c,d,m,1]],[[6,d,c,d,m,-1],[6,d,c,d,m,1]]]]))
  39. element(node([[4,m,c],[6,d,c,d,m,-1],[6,d,c,d,m,1],[7,m,c,d]]),groupList([0.0943665853505209,0.7038903056988405,0.05783632032468977]),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,d,c,d,m,1]]],[[4,d,c],[[4,m,c],[7,m,c,d]]]]),derivationApplications([]))
  40. element(node([[4,c,d],[6,d,c,d,m,-1],[6,d,c,d,m,1],[7,m,c,d]]),groupList([0.0943665853505209,0.34288655283205094,0.05783632032468977]),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([]))
  41. element(node([[6,d,c,d,m,-1],[6,m,d,m,c,1]]),groupList([0.0943665853505209,0.9702304872017807,0.17192376270191687]),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]]]]))
  42. element(node([[4,m,c],[6,d,c,d,m,-1],[6,m,d,m,c,1],[7,m,c,d]]),groupList([0.0943665853505209,0.9702304872017807,0.05783632032468977]),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([]))
  43. element(node([[4,c,d],[6,d,c,d,m,-1],[6,m,d,m,c,1],[7,m,c,d]]),groupList([0.0943665853505209,0.7694601141888227,0.05783632032468977]),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([]))
  44. element(node([[4,c,d],[4,m,d],[7,m,c,d]]),groupList([0.0943665853505209,0.9778629220365005,0.05783632032468977]),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]]]]))
  45. element(node([[6,d,c,d,m,1],[6,m,d,m,c,-1]]),groupList([0.5505700775019108,0.7038903056988405,0.17192376270191687]),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]]]]))
  46. element(node([[4,m,c],[6,d,c,d,m,1],[6,m,d,m,c,-1],[7,m,c,d]]),groupList([0.5505700775019108,0.7038903056988405,0.05783632032468977]),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([]))
  47. element(node([[4,c,d],[6,d,c,d,m,1],[6,m,d,m,c,-1],[7,m,c,d]]),groupList([0.5505700775019108,0.34288655283205094,0.05783632032468977]),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([]))
  48. element(node([[6,m,d,m,c,-1],[6,m,d,m,c,1]]),groupList([0.5505700775019108,0.9702304872017807,0.17192376270191687]),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,m,d,m,c,1]]],[[4,d,c],[[4,m,c],[4,m,d]]]]),derivationApplications([[[[4,m,c],[4,m,d],[6,m,d,m,c,-1],[6,m,d,m,c,1]],[[6,m,d,m,c,-1],[6,m,d,m,c,1]]]]))
  49. element(node([[4,m,c],[6,m,d,m,c,-1],[6,m,d,m,c,1],[7,m,c,d]]),groupList([0.5505700775019108,0.9702304872017807,0.05783632032468977]),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,m,d,m,c,1]]],[[4,d,c],[[4,m,c],[7,m,c,d]]]]),derivationApplications([]))
  50. element(node([[4,c,d],[6,m,d,m,c,-1],[6,m,d,m,c,1],[7,m,c,d]]),groupList([0.5505700775019108,0.7694601141888227,0.05783632032468977]),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([]))
  51. element(node([[4,m,d],[6,d,c,d,m,-1],[7,m,c,d]]),groupList([0.9778629220365005,0.05783632032468977,0.17192376270191687]),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]]]]))
  52. element(node([[4,m,d],[7,m,c,d]]),groupList([0.9778629220365005,0.05783632032468977,0.17192376270191687]),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]]]]))
  53. element(node([[6,d,c,d,m,-1],[7,m,c,d]]),groupList([0.9778629220365005,0.05783632032468977,0.17192376270191687]),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]]]]))
  54. element(node([[4,m,d],[6,m,d,m,c,-1],[7,m,c,d]]),groupList([0.9778629220365005,0.05783632032468977,0.5505700775019108]),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]]]]))
  55. element(node([[4,m,d],[6,d,c,d,m,-1],[6,d,c,d,m,1],[7,m,c,d]]),groupList([0.9778629220365005,0.05783632032468977,0.34288655283205094]),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([]))
  56. element(node([[4,m,d],[6,d,c,d,m,-1],[6,m,d,m,c,1],[7,m,c,d]]),groupList([0.9778629220365005,0.05783632032468977,0.7694601141888227]),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([]))
  57. element(node([[4,m,c],[4,m,d],[7,m,c,d]]),groupList([0.9778629220365005,0.05783632032468977,0.27890334824455204]),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]]]]))
  58. element(node([[7,m,c,d]]),groupList([0.9778629220365005,0.05783632032468977,0.27890334824455204]),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]]]]))
  59. element(node([[6,m,d,m,c,-1],[7,m,c,d]]),groupList([0.8563523203679317,0.05783632032468977,0.17192376270191687]),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]]]]))
  60. element(node([[4,m,d],[6,d,c,d,m,1],[6,m,d,m,c,-1],[7,m,c,d]]),groupList([0.8563523203679317,0.05783632032468977,0.34288655283205094]),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([]))
  61. element(node([[4,m,d],[6,m,d,m,c,-1],[6,m,d,m,c,1],[7,m,c,d]]),groupList([0.8563523203679317,0.05783632032468977,0.7694601141888227]),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([]))
  62. element(node([[4,c,d],[6,d,c,d,m,1],[7,m,c,d]]),groupList([0.34288655283205094,0.17192376270191687,0.05783632032468977]),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]]]]))
  63. element(node([[4,c,d],[6,m,d,m,c,1],[7,m,c,d]]),groupList([0.34288655283205094,0.7694601141888227,0.05783632032468977]),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]]]]))
  64. element(node([[4,m,d],[6,d,c,d,m,1],[7,m,c,d]]),groupList([0.24123796213939366,0.05783632032468977,0.17192376270191687]),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]]]]))
  65. element(node([[6,d,c,d,m,1],[7,m,c,d]]),groupList([0.24123796213939366,0.05783632032468977,0.17192376270191687]),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]]]]))
  66. element(node([[4,m,d],[6,m,d,m,c,1],[7,m,c,d]]),groupList([0.24123796213939366,0.05783632032468977,0.7694601141888227]),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]]]]))
  67. element(node([[6,m,d,m,c,1],[7,m,c,d]]),groupList([0.318668518225794,0.05783632032468977,0.17192376270191687]),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]]]]))
  68. element(node([[6,d,c,d,m,-1],[6,d,c,d,m,1],[7,m,c,d]]),groupList([0.0943665853505209,0.7038903056988405,0.05783632032468977,0.17192376270191687]),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,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,d,c,d,m,1],[7,m,c,d]],[[6,d,c,d,m,-1],[6,d,c,d,m,1],[7,m,c,d]]]]))
  69. element(node([[6,d,c,d,m,-1],[6,m,d,m,c,1],[7,m,c,d]]),groupList([0.0943665853505209,0.9702304872017807,0.05783632032468977,0.17192376270191687]),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]]]]))
  70. element(node([[6,d,c,d,m,1],[6,m,d,m,c,-1],[7,m,c,d]]),groupList([0.5505700775019108,0.7038903056988405,0.05783632032468977,0.17192376270191687]),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]]]]))
  71. element(node([[6,m,d,m,c,-1],[6,m,d,m,c,1],[7,m,c,d]]),groupList([0.5505700775019108,0.9702304872017807,0.05783632032468977,0.17192376270191687]),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,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],[6,m,d,m,c,1],[7,m,c,d]],[[6,m,d,m,c,-1],[6,m,d,m,c,1],[7,m,c,d]]]]))
  72. element(node([[4,c,d]]),groupList([]),theoremsUsed([]),priority(102),possibleApplications([]),derivationApplications([]))
  73. element(node([[4,d,m]]),groupList([]),theoremsUsed([]),priority(101),possibleApplications([]),derivationApplications([]))
  74. element(node([[6,d,c,d,m,-1]]),groupList([]),theoremsUsed([]),priority(101),possibleApplications([]),derivationApplications([]))
  75. element(node([[6,d,c,d,m,1]]),groupList([]),theoremsUsed([]),priority(101),possibleApplications([]),derivationApplications([]))
  76. element(node([[6,m,c,m,d,-1]]),groupList([]),theoremsUsed([]),priority(101),possibleApplications([]),derivationApplications([]))
  77. element(node([[6,m,c,m,d,1]]),groupList([]),theoremsUsed([]),priority(101),possibleApplications([]),derivationApplications([]))
  78. element(node([[4,c,d],[4,m,d]]),groupList([0.17192376270191687]),theoremsUsed([pythagoras]),priority(0),possibleApplications([[[4,c,m],[[4,c,d],[4,m,d]]]]),derivationApplications([]))
  79. element(node([[4,c,d],[7,m,c,d]]),groupList([0.05783632032468977]),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!