API tools faq
paste
Advertisement
shubhamgoyal

Untitled

shubhamgoyal
Jan 27th, 2017
148
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 8.18 KB | None | 0 0
raw download clone embed print report
  1. Mandatory theorem = trigonometry
  2. RelevantTheorems = []
  3. NewListObjects = [[8,y,_G1413151],[8,y,99],[18,y,91],[5,y],[8,b,_G1413128],[15,b,y,57],[8,d,_G1413115],[8,d,115.16874457140389],[18,d,36.34131634420111],[5,d],[16,b,d],[8,m,_G1413080],[8,m,82.83125542859611],[18,m,145.65868365579888],[5,m],[16,b,m],[8,c,_G1413045],[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,m,d,c,-1],[6,m,c,m,d,-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.09662059911283097]),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.6817455333834911]),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.6274952809454388]),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.7769794408375198]),theoremsUsed([trigonometry]),priority(10000),possibleApplications([[[4,c,m],[[4,d,c],[6,m,d,m,c,1]]]]),derivationApplications([]))
  9. element(node([[4,c,d],[4,m,c]]),groupList([0.09662059911283097,0.8689383651358235]),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]]]]))
  10. element(node([[4,m,c],[6,d,c,d,m,1]]),groupList([0.09662059911283097,0.8689383651358235]),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]]]]))
  11. element(node([[4,m,c],[6,m,d,m,c,1]]),groupList([0.09662059911283097,0.6817455333834911]),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]]]]))
  12. element(node([[4,m,c],[4,m,d]]),groupList([0.09662059911283097,0.6274952809454388]),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]]]]))
  13. element(node([[4,m,c],[6,d,c,d,m,1],[7,m,c,d]]),groupList([0.6274952809454388,0.5652456625656129]),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([]))
  14. element(node([[4,m,c],[6,m,d,m,c,1],[7,m,c,d]]),groupList([0.7769794408375198,0.5652456625656129]),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([]))
  15. element(node([[4,m,c],[7,m,c,d]]),groupList([0.09662059911283097,0.8689383651358235,0.5652456625656129]),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]]]]))
  16. element(node([[4,c,d],[6,d,c,d,m,1],[7,m,c,d]]),groupList([0.09662059911283097,0.8689383651358235,0.5652456625656129]),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]]]]))
  17. element(node([[4,c,d],[6,m,d,m,c,1],[7,m,c,d]]),groupList([0.09662059911283097,0.6817455333834911,0.5652456625656129]),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]]]]))
  18. element(node([[4,c,d],[4,m,d],[7,m,c,d]]),groupList([0.09662059911283097,0.6274952809454388,0.5652456625656129]),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]]]]))
  19. element(node([[4,m,d],[6,d,c,d,m,1],[7,m,c,d]]),groupList([0.6274952809454388,0.5652456625656129,0.8689383651358235]),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]]]]))
  20. element(node([[4,m,d],[7,m,c,d]]),groupList([0.6274952809454388,0.5652456625656129,0.8689383651358235]),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]]]]))
  21. element(node([[6,d,c,d,m,1],[7,m,c,d]]),groupList([0.6274952809454388,0.5652456625656129,0.8689383651358235]),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]]]]))
  22. element(node([[4,m,d],[6,m,d,m,c,1],[7,m,c,d]]),groupList([0.6274952809454388,0.5652456625656129,0.6817455333834911]),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]]]]))
  23. element(node([[4,m,c],[4,m,d],[7,m,c,d]]),groupList([0.6274952809454388,0.5652456625656129,0.5381278182198865]),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]]]]))
  24. element(node([[7,m,c,d]]),groupList([0.6274952809454388,0.5652456625656129,0.5381278182198865]),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]]]]))
  25. element(node([[6,m,d,m,c,1],[7,m,c,d]]),groupList([0.7769794408375198,0.5652456625656129,0.8689383651358235]),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]]]]))
  26. element(node([[4,c,d]]),groupList([]),theoremsUsed([]),priority(102),possibleApplications([]),derivationApplications([]))
  27. element(node([[4,d,m]]),groupList([]),theoremsUsed([]),priority(101),possibleApplications([]),derivationApplications([]))
  28. element(node([[6,d,c,d,m,1]]),groupList([]),theoremsUsed([]),priority(101),possibleApplications([]),derivationApplications([]))
  29. element(node([[6,m,c,m,d,-1]]),groupList([]),theoremsUsed([]),priority(101),possibleApplications([]),derivationApplications([]))
  30. element(node([[4,c,d],[4,m,d]]),groupList([0.8689383651358235]),theoremsUsed([pythagoras]),priority(0),possibleApplications([[[4,c,m],[[4,c,d],[4,m,d]]]]),derivationApplications([]))
  31. element(node([[4,c,d],[7,m,c,d]]),groupList([0.5652456625656129]),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!