API tools faq
paste
Advertisement
shubhamgoyal

Untitled

shubhamgoyal
Jan 27th, 2017
140
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 82.42 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.1396384290607109]),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.4928828595033963]),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.5569937786145638]),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.5326782478812185]),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.5313517481821813]),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.445670834087106]),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.43891663435580225]),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.8009645704090503]),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],[6,d,c,d,m,-1]]),groupList([0.1396384290607109,0.04561945670684594]),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([]))
  14. element(node([[4,d,c],[6,d,c,d,m,-1],[6,m,d,m,c,-1]]),groupList([0.1396384290607109,0.9560108046114512]),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([]))
  15. element(node([[4,m,c],[6,d,c,d,m,-1],[6,m,d,m,c,-1]]),groupList([0.1396384290607109,0.4928828595033963]),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([]))
  16. element(node([[4,d,c],[6,d,c,d,m,-1],[6,d,c,d,m,1]]),groupList([0.1396384290607109,0.4607847035785244]),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.1396384290607109,0.5313517481821813]),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.1396384290607109,0.7110259996004195]),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.1396384290607109,0.445670834087106]),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],[6,d,m,d,c,1]]),groupList([0.1396384290607109,0.6889770772519174]),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,m,d,c,1]]]]),derivationApplications([]))
  21. element(node([[4,d,c],[4,m,c],[4,m,d]]),groupList([0.1396384290607109,0.5569937786145638]),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([]))
  22. element(node([[4,d,m],[4,m,c]]),groupList([0.1396384290607109,0.6889770772519174]),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,m],[4,m,c]]]]),derivationApplications([]))
  23. element(node([[4,c,d],[4,m,c],[6,m,d,m,c,-1]]),groupList([0.4928828595033963,0.04561945670684594]),theoremsUsed([trigonometry,pythagoras]),priority(10000),possibleApplications([[[4,c,m],[[4,m,d],[6,m,d,m,c,-1]]],[[4,m,d],[[4,c,d],[4,m,c]]]]),derivationApplications([]))
  24. element(node([[4,d,c],[6,d,c,d,m,1],[6,m,d,m,c,-1]]),groupList([0.4928828595033963,0.4607847035785244]),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([]))
  25. element(node([[4,m,c],[6,d,c,d,m,1],[6,m,d,m,c,-1]]),groupList([0.4928828595033963,0.5313517481821813]),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([]))
  26. element(node([[4,d,c],[6,m,d,m,c,-1],[6,m,d,m,c,1]]),groupList([0.4928828595033963,0.7110259996004195]),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([]))
  27. element(node([[4,m,c],[6,m,d,m,c,-1],[6,m,d,m,c,1]]),groupList([0.4928828595033963,0.445670834087106]),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([]))
  28. element(node([[4,m,c],[6,m,c,m,d,1]]),groupList([0.4928828595033963,0.17336022568142592]),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,c,m,d,1]]]]),derivationApplications([]))
  29. element(node([[4,m,c],[4,m,d],[6,d,c,d,m,-1]]),groupList([0.5569937786145638,0.04561945670684594]),theoremsUsed([trigonometry,pythagoras]),priority(10000),possibleApplications([[[4,c,m],[[4,d,c],[6,d,c,d,m,-1]]],[[4,d,c],[[4,m,c],[4,m,d]]]]),derivationApplications([]))
  30. element(node([[4,m,d],[6,d,c,d,m,-1],[6,m,d,m,c,-1]]),groupList([0.5569937786145638,0.9560108046114512]),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([]))
  31. element(node([[4,m,d],[6,d,c,d,m,-1],[6,d,c,d,m,1]]),groupList([0.5569937786145638,0.4607847035785244]),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([]))
  32. element(node([[4,m,d],[6,d,c,d,m,-1],[6,m,d,m,c,1]]),groupList([0.5569937786145638,0.7110259996004195]),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([]))
  33. element(node([[4,m,c],[6,d,c,d,m,-1],[7,m,c,d]]),groupList([0.5569937786145638,0.9460015970849531]),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,d,c],[4,m,c]]),groupList([0.5569937786145638,0.9291225202212978]),theoremsUsed([trigonometry,trigonometry]),priority(10000),possibleApplications([[[4,c,m],[[4,d,c],[6,d,c,d,m,-1]]],[[6,d,c,d,m,-1],[[4,d,c],[4,m,c]]]]),derivationApplications([]))
  35. element(node([[4,m,c],[4,m,d],[6,m,d,m,c,-1]]),groupList([0.5326782478812185,0.04561945670684594]),theoremsUsed([trigonometry,pythagoras]),priority(10000),possibleApplications([[[4,c,m],[[4,d,c],[6,m,d,m,c,-1]]],[[4,d,c],[[4,m,c],[4,m,d]]]]),derivationApplications([]))
  36. element(node([[4,m,d],[6,d,c,d,m,1],[6,m,d,m,c,-1]]),groupList([0.5326782478812185,0.4607847035785244]),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([]))
  37. element(node([[4,m,d],[6,m,d,m,c,-1],[6,m,d,m,c,1]]),groupList([0.5326782478812185,0.7110259996004195]),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([]))
  38. element(node([[4,m,c],[6,m,d,m,c,-1],[7,m,c,d]]),groupList([0.5326782478812185,0.9460015970849531]),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([]))
  39. element(node([[4,c,d],[4,m,c],[6,d,c,d,m,1]]),groupList([0.5313517481821813,0.04561945670684594]),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([]))
  40. element(node([[4,d,c],[6,d,c,d,m,1],[6,m,d,m,c,1]]),groupList([0.5313517481821813,0.7110259996004195]),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([]))
  41. element(node([[4,m,c],[6,d,c,d,m,1],[6,m,d,m,c,1]]),groupList([0.5313517481821813,0.445670834087106]),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([]))
  42. element(node([[4,m,c],[6,d,m,d,c,-1]]),groupList([0.5313517481821813,0.38561015286920236]),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,m,d,c,-1]]]]),derivationApplications([]))
  43. element(node([[4,c,d],[4,m,c],[6,m,d,m,c,1]]),groupList([0.445670834087106,0.04561945670684594]),theoremsUsed([trigonometry,pythagoras]),priority(10000),possibleApplications([[[4,c,m],[[4,m,d],[6,m,d,m,c,1]]],[[4,m,d],[[4,c,d],[4,m,c]]]]),derivationApplications([]))
  44. element(node([[4,m,c],[6,m,c,m,d,-1]]),groupList([0.445670834087106,0.7686020551369407]),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,c,m,d,-1]]]]),derivationApplications([]))
  45. element(node([[4,m,c],[4,m,d],[6,d,c,d,m,1]]),groupList([0.43891663435580225,0.04561945670684594]),theoremsUsed([trigonometry,pythagoras]),priority(10000),possibleApplications([[[4,c,m],[[4,d,c],[6,d,c,d,m,1]]],[[4,d,c],[[4,m,c],[4,m,d]]]]),derivationApplications([]))
  46. element(node([[4,m,d],[6,d,c,d,m,1],[6,m,d,m,c,1]]),groupList([0.43891663435580225,0.7110259996004195]),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([]))
  47. element(node([[4,m,c],[6,d,c,d,m,1],[7,m,c,d]]),groupList([0.43891663435580225,0.9460015970849531]),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([]))
  48. element(node([[4,m,c],[4,m,d],[6,m,d,m,c,1]]),groupList([0.8009645704090503,0.04561945670684594]),theoremsUsed([trigonometry,pythagoras]),priority(10000),possibleApplications([[[4,c,m],[[4,d,c],[6,m,d,m,c,1]]],[[4,d,c],[[4,m,c],[4,m,d]]]]),derivationApplications([]))
  49. element(node([[4,m,c],[6,m,d,m,c,1],[7,m,c,d]]),groupList([0.8009645704090503,0.9460015970849531]),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([]))
  50. element(node([[4,m,c],[4,m,d],[6,d,c,d,m,-1],[6,m,d,m,c,-1]]),groupList([0.1396384290607109,0.04561945670684594,0.9560108046114512]),theoremsUsed([trigonometry,pythagoras,trigonometry]),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,d],[6,m,d,m,c,-1]]]]),derivationApplications([]))
  51. element(node([[4,m,c],[4,m,d],[6,d,c,d,m,-1],[6,d,c,d,m,1]]),groupList([0.1396384290607109,0.04561945670684594,0.4607847035785244]),theoremsUsed([trigonometry,pythagoras,trigonometry]),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,d],[6,d,c,d,m,1]]]]),derivationApplications([]))
  52. element(node([[4,m,c],[4,m,d],[6,d,c,d,m,-1],[6,m,d,m,c,1]]),groupList([0.1396384290607109,0.04561945670684594,0.7110259996004195]),theoremsUsed([trigonometry,pythagoras,trigonometry]),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,d],[6,m,d,m,c,1]]]]),derivationApplications([]))
  53. element(node([[4,c,d],[4,m,d],[6,d,c,d,m,-1],[6,m,d,m,c,-1]]),groupList([0.1396384290607109,0.04561945670684594,0.4928828595033963]),theoremsUsed([trigonometry,pythagoras,trigonometry]),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,m,d],[6,m,d,m,c,-1]]]]),derivationApplications([]))
  54. element(node([[4,c,d],[4,m,d],[6,d,c,d,m,-1],[6,d,c,d,m,1]]),groupList([0.1396384290607109,0.04561945670684594,0.5313517481821813]),theoremsUsed([trigonometry,pythagoras,trigonometry]),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,m,d],[6,d,c,d,m,1]]]]),derivationApplications([]))
  55. element(node([[4,c,d],[4,m,d],[6,d,c,d,m,-1],[6,m,d,m,c,1]]),groupList([0.1396384290607109,0.04561945670684594,0.445670834087106]),theoremsUsed([trigonometry,pythagoras,trigonometry]),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,m,d],[6,m,d,m,c,1]]]]),derivationApplications([]))
  56. element(node([[4,c,d],[6,d,c,d,m,-1],[7,m,c,d]]),groupList([0.1396384290607109,0.04561945670684594,0.9460015970849531]),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([]))
  57. element(node([[4,d,c],[4,d,m],[6,d,c,d,m,-1]]),groupList([0.1396384290607109,0.04561945670684594,0.8224481651523842]),theoremsUsed([trigonometry,pythagoras,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]]],[[4,m,c],[[4,d,c],[4,d,m]]]]),derivationApplications([]))
  58. element(node([[4,m,d],[6,d,c,d,m,-1],[6,d,c,d,m,1],[6,m,d,m,c,-1]]),groupList([0.1396384290607109,0.9560108046114512,0.4607847035785244]),theoremsUsed([trigonometry,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]]],[[4,d,c],[[4,m,d],[6,d,c,d,m,1]]]]),derivationApplications([]))
  59. element(node([[4,m,d],[6,d,c,d,m,-1],[6,m,d,m,c,-1],[6,m,d,m,c,1]]),groupList([0.1396384290607109,0.9560108046114512,0.7110259996004195]),theoremsUsed([trigonometry,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]]],[[4,d,c],[[4,m,d],[6,m,d,m,c,1]]]]),derivationApplications([]))
  60. element(node([[4,m,c],[6,d,c,d,m,-1],[6,d,c,d,m,1],[6,m,d,m,c,-1]]),groupList([0.1396384290607109,0.9560108046114512,0.43891663435580225]),theoremsUsed([trigonometry,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]]],[[4,d,c],[[4,m,c],[6,d,c,d,m,1]]]]),derivationApplications([]))
  61. element(node([[4,m,c],[6,d,c,d,m,-1],[6,m,d,m,c,-1],[6,m,d,m,c,1]]),groupList([0.1396384290607109,0.9560108046114512,0.8009645704090503]),theoremsUsed([trigonometry,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]]],[[4,d,c],[[4,m,c],[6,m,d,m,c,1]]]]),derivationApplications([]))
  62. element(node([[4,m,c],[6,d,c,d,m,-1],[6,m,d,m,c,-1],[7,m,c,d]]),groupList([0.1396384290607109,0.9560108046114512,0.9460015970849531]),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([]))
  63. element(node([[4,d,c],[4,m,d],[6,m,d,m,c,-1]]),groupList([0.1396384290607109,0.9560108046114512,0.8795096441461481]),theoremsUsed([trigonometry,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]]],[[6,d,c,d,m,-1],[[4,d,c],[4,m,d]]]]),derivationApplications([]))
  64. element(node([[4,d,c],[4,d,m],[4,m,c],[6,m,d,m,c,-1]]),groupList([0.1396384290607109,0.9560108046114512,0.6889770772519174]),theoremsUsed([trigonometry,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]]],[[6,d,c,d,m,-1],[[4,d,m],[4,m,c]]]]),derivationApplications([]))
  65. element(node([[4,d,c],[4,m,c],[4,m,d],[6,d,c,d,m,-1]]),groupList([0.1396384290607109,0.9560108046114512,0.4928828595033963]),theoremsUsed([trigonometry,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]]],[[6,m,d,m,c,-1],[[4,m,c],[4,m,d]]]]),derivationApplications([]))
  66. element(node([[4,d,c],[6,d,c,d,m,-1],[6,d,c,d,m,1],[6,m,d,m,c,-1]]),groupList([0.1396384290607109,0.4928828595033963,0.43891663435580225]),theoremsUsed([trigonometry,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]]],[[4,m,c],[[4,d,c],[6,d,c,d,m,1]]]]),derivationApplications([]))
  67. element(node([[4,d,c],[6,d,c,d,m,-1],[6,m,d,m,c,-1],[6,m,d,m,c,1]]),groupList([0.1396384290607109,0.4928828595033963,0.8009645704090503]),theoremsUsed([trigonometry,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]]],[[4,m,c],[[4,d,c],[6,m,d,m,c,1]]]]),derivationApplications([]))
  68. element(node([[4,c,d],[6,d,c,d,m,-1],[6,m,d,m,c,-1],[7,m,c,d]]),groupList([0.1396384290607109,0.4928828595033963,0.9460015970849531]),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([]))
  69. element(node([[4,m,d],[6,d,c,d,m,-1],[6,d,c,d,m,1],[6,m,d,m,c,1]]),groupList([0.1396384290607109,0.4607847035785244,0.7110259996004195]),theoremsUsed([trigonometry,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]]],[[4,d,c],[[4,m,d],[6,m,d,m,c,1]]]]),derivationApplications([]))
  70. element(node([[4,m,c],[6,d,c,d,m,-1],[6,d,c,d,m,1],[6,m,d,m,c,1]]),groupList([0.1396384290607109,0.4607847035785244,0.8009645704090503]),theoremsUsed([trigonometry,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]]],[[4,d,c],[[4,m,c],[6,m,d,m,c,1]]]]),derivationApplications([]))
  71. element(node([[4,m,c],[6,d,c,d,m,-1],[6,d,c,d,m,1],[7,m,c,d]]),groupList([0.1396384290607109,0.4607847035785244,0.9460015970849531]),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([]))
  72. element(node([[4,d,c],[4,m,d],[6,d,c,d,m,1]]),groupList([0.1396384290607109,0.4607847035785244,0.8795096441461481]),theoremsUsed([trigonometry,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]]],[[6,d,c,d,m,-1],[[4,d,c],[4,m,d]]]]),derivationApplications([]))
  73. element(node([[4,d,c],[4,d,m],[4,m,c],[6,d,c,d,m,1]]),groupList([0.1396384290607109,0.4607847035785244,0.6889770772519174]),theoremsUsed([trigonometry,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]]],[[6,d,c,d,m,-1],[[4,d,m],[4,m,c]]]]),derivationApplications([]))
  74. element(node([[4,d,c],[6,d,c,d,m,-1],[6,d,c,d,m,1],[6,m,d,m,c,1]]),groupList([0.1396384290607109,0.5313517481821813,0.8009645704090503]),theoremsUsed([trigonometry,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]]],[[4,m,c],[[4,d,c],[6,m,d,m,c,1]]]]),derivationApplications([]))
  75. element(node([[4,c,d],[6,d,c,d,m,-1],[6,d,c,d,m,1],[7,m,c,d]]),groupList([0.1396384290607109,0.5313517481821813,0.9460015970849531]),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([]))
  76. element(node([[4,m,c],[6,d,c,d,m,-1],[6,m,d,m,c,1],[7,m,c,d]]),groupList([0.1396384290607109,0.7110259996004195,0.9460015970849531]),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([]))
  77. element(node([[4,d,c],[4,m,d],[6,m,d,m,c,1]]),groupList([0.1396384290607109,0.7110259996004195,0.8795096441461481]),theoremsUsed([trigonometry,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]]],[[6,d,c,d,m,-1],[[4,d,c],[4,m,d]]]]),derivationApplications([]))
  78. element(node([[4,d,c],[4,d,m],[4,m,c],[6,m,d,m,c,1]]),groupList([0.1396384290607109,0.7110259996004195,0.6889770772519174]),theoremsUsed([trigonometry,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]]],[[6,d,c,d,m,-1],[[4,d,m],[4,m,c]]]]),derivationApplications([]))
  79. element(node([[4,c,d],[6,d,c,d,m,-1],[6,m,d,m,c,1],[7,m,c,d]]),groupList([0.1396384290607109,0.445670834087106,0.9460015970849531]),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([]))
  80. element(node([[4,m,c],[4,m,d],[7,m,c,d]]),groupList([0.1396384290607109,0.5569937786145638,0.9460015970849531]),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,d,c],[[4,m,c],[7,m,c,d]]]]),derivationApplications([]))
  81. element(node([[4,c,d],[4,m,d],[7,m,c,d]]),groupList([0.1396384290607109,0.5569937786145638,0.9460015970849531]),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([]))
  82. element(node([[4,m,c],[4,m,d],[6,d,c,d,m,1],[6,m,d,m,c,-1]]),groupList([0.4928828595033963,0.04561945670684594,0.4607847035785244]),theoremsUsed([trigonometry,pythagoras,trigonometry]),priority(10000),possibleApplications([[[4,c,m],[[4,m,d],[6,m,d,m,c,-1]]],[[4,m,d],[[4,c,d],[4,m,c]]],[[4,c,d],[[4,m,d],[6,d,c,d,m,1]]]]),derivationApplications([]))
  83. element(node([[4,m,c],[4,m,d],[6,m,d,m,c,-1],[6,m,d,m,c,1]]),groupList([0.4928828595033963,0.04561945670684594,0.7110259996004195]),theoremsUsed([trigonometry,pythagoras,trigonometry]),priority(10000),possibleApplications([[[4,c,m],[[4,m,d],[6,m,d,m,c,-1]]],[[4,m,d],[[4,c,d],[4,m,c]]],[[4,c,d],[[4,m,d],[6,m,d,m,c,1]]]]),derivationApplications([]))
  84. element(node([[4,c,d],[4,m,d],[6,d,c,d,m,1],[6,m,d,m,c,-1]]),groupList([0.4928828595033963,0.04561945670684594,0.5313517481821813]),theoremsUsed([trigonometry,pythagoras,trigonometry]),priority(10000),possibleApplications([[[4,c,m],[[4,m,d],[6,m,d,m,c,-1]]],[[4,m,d],[[4,c,d],[4,m,c]]],[[4,m,c],[[4,m,d],[6,d,c,d,m,1]]]]),derivationApplications([]))
  85. element(node([[4,c,d],[4,m,d],[6,m,d,m,c,-1],[6,m,d,m,c,1]]),groupList([0.4928828595033963,0.04561945670684594,0.445670834087106]),theoremsUsed([trigonometry,pythagoras,trigonometry]),priority(10000),possibleApplications([[[4,c,m],[[4,m,d],[6,m,d,m,c,-1]]],[[4,m,d],[[4,c,d],[4,m,c]]],[[4,m,c],[[4,m,d],[6,m,d,m,c,1]]]]),derivationApplications([]))
  86. element(node([[4,c,d],[6,m,d,m,c,-1],[7,m,c,d]]),groupList([0.4928828595033963,0.04561945670684594,0.9460015970849531]),theoremsUsed([trigonometry,pythagoras,area]),priority(10000),possibleApplications([[[4,c,m],[[4,m,d],[6,m,d,m,c,-1]]],[[4,m,d],[[4,c,d],[4,m,c]]],[[4,m,c],[[4,c,d],[7,m,c,d]]]]),derivationApplications([]))
  87. element(node([[4,m,d],[6,d,c,d,m,1],[6,m,d,m,c,-1],[6,m,d,m,c,1]]),groupList([0.4928828595033963,0.4607847035785244,0.7110259996004195]),theoremsUsed([trigonometry,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]]],[[4,d,c],[[4,m,d],[6,m,d,m,c,1]]]]),derivationApplications([]))
  88. element(node([[4,m,c],[6,d,c,d,m,1],[6,m,d,m,c,-1],[6,m,d,m,c,1]]),groupList([0.4928828595033963,0.4607847035785244,0.8009645704090503]),theoremsUsed([trigonometry,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]]],[[4,d,c],[[4,m,c],[6,m,d,m,c,1]]]]),derivationApplications([]))
  89. element(node([[4,m,c],[6,d,c,d,m,1],[6,m,d,m,c,-1],[7,m,c,d]]),groupList([0.4928828595033963,0.4607847035785244,0.9460015970849531]),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([]))
  90. element(node([[4,d,c],[6,d,c,d,m,1],[6,m,d,m,c,-1],[6,m,d,m,c,1]]),groupList([0.4928828595033963,0.5313517481821813,0.8009645704090503]),theoremsUsed([trigonometry,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]]],[[4,m,c],[[4,d,c],[6,m,d,m,c,1]]]]),derivationApplications([]))
  91. element(node([[4,c,d],[6,d,c,d,m,1],[6,m,d,m,c,-1],[7,m,c,d]]),groupList([0.4928828595033963,0.5313517481821813,0.9460015970849531]),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([]))
  92. element(node([[4,m,c],[6,m,d,m,c,-1],[6,m,d,m,c,1],[7,m,c,d]]),groupList([0.4928828595033963,0.7110259996004195,0.9460015970849531]),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([]))
  93. element(node([[4,c,d],[6,m,d,m,c,-1],[6,m,d,m,c,1],[7,m,c,d]]),groupList([0.4928828595033963,0.445670834087106,0.9460015970849531]),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([]))
  94. element(node([[4,c,d],[4,m,d],[6,d,c,d,m,-1],[7,m,c,d]]),groupList([0.5569937786145638,0.04561945670684594,0.9460015970849531]),theoremsUsed([trigonometry,pythagoras,area]),priority(10000),possibleApplications([[[4,c,m],[[4,d,c],[6,d,c,d,m,-1]]],[[4,d,c],[[4,m,c],[4,m,d]]],[[4,m,c],[[4,c,d],[7,m,c,d]]]]),derivationApplications([]))
  95. element(node([[4,d,c],[4,m,c],[6,d,c,d,m,-1],[6,m,d,m,c,-1]]),groupList([0.5569937786145638,0.04561945670684594,0.9560108046114512]),theoremsUsed([trigonometry,pythagoras,trigonometry]),priority(10000),possibleApplications([[[4,c,m],[[4,d,c],[6,d,c,d,m,-1]]],[[4,d,c],[[4,m,c],[4,m,d]]],[[4,m,d],[[4,d,c],[6,m,d,m,c,-1]]]]),derivationApplications([]))
  96. element(node([[4,d,c],[4,m,c],[6,d,c,d,m,-1],[6,d,c,d,m,1]]),groupList([0.5569937786145638,0.04561945670684594,0.4607847035785244]),theoremsUsed([trigonometry,pythagoras,trigonometry]),priority(10000),possibleApplications([[[4,c,m],[[4,d,c],[6,d,c,d,m,-1]]],[[4,d,c],[[4,m,c],[4,m,d]]],[[4,m,d],[[4,d,c],[6,d,c,d,m,1]]]]),derivationApplications([]))
  97. element(node([[4,d,c],[4,m,c],[6,d,c,d,m,-1],[6,m,d,m,c,1]]),groupList([0.5569937786145638,0.04561945670684594,0.7110259996004195]),theoremsUsed([trigonometry,pythagoras,trigonometry]),priority(10000),possibleApplications([[[4,c,m],[[4,d,c],[6,d,c,d,m,-1]]],[[4,d,c],[[4,m,c],[4,m,d]]],[[4,m,d],[[4,d,c],[6,m,d,m,c,1]]]]),derivationApplications([]))
  98. element(node([[4,m,d],[6,d,c,d,m,-1],[7,m,c,d]]),groupList([0.5569937786145638,0.9460015970849531,0.1396384290607109]),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([]))
  99. element(node([[4,m,d],[6,d,c,d,m,-1],[6,m,d,m,c,-1],[7,m,c,d]]),groupList([0.5569937786145638,0.9460015970849531,0.4928828595033963]),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([]))
  100. element(node([[4,m,d],[6,d,c,d,m,-1],[6,d,c,d,m,1],[7,m,c,d]]),groupList([0.5569937786145638,0.9460015970849531,0.5313517481821813]),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([]))
  101. element(node([[4,m,d],[6,d,c,d,m,-1],[6,m,d,m,c,1],[7,m,c,d]]),groupList([0.5569937786145638,0.9460015970849531,0.445670834087106]),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([]))
  102. element(node([[4,d,c],[4,m,c],[4,m,d],[7,m,c,d]]),groupList([0.5569937786145638,0.9460015970849531,0.8795096441461481]),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([]))
  103. element(node([[4,d,c],[4,m,c],[7,m,c,d]]),groupList([0.5569937786145638,0.9460015970849531,0.9291225202212978]),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,c]]]]),derivationApplications([]))
  104. element(node([[4,m,c],[7,m,c,d]]),groupList([0.5569937786145638,0.9291225202212978,0.9460015970849531]),theoremsUsed([trigonometry,trigonometry,area]),priority(10000),possibleApplications([[[4,c,m],[[4,d,c],[6,d,c,d,m,-1]]],[[6,d,c,d,m,-1],[[4,d,c],[4,m,c]]],[[4,d,c],[[4,m,c],[7,m,c,d]]]]),derivationApplications([]))
  105. element(node([[4,c,d],[4,m,d],[6,m,d,m,c,-1],[7,m,c,d]]),groupList([0.5326782478812185,0.04561945670684594,0.9460015970849531]),theoremsUsed([trigonometry,pythagoras,area]),priority(10000),possibleApplications([[[4,c,m],[[4,d,c],[6,m,d,m,c,-1]]],[[4,d,c],[[4,m,c],[4,m,d]]],[[4,m,c],[[4,c,d],[7,m,c,d]]]]),derivationApplications([]))
  106. element(node([[4,d,c],[4,m,c],[6,d,c,d,m,1],[6,m,d,m,c,-1]]),groupList([0.5326782478812185,0.04561945670684594,0.4607847035785244]),theoremsUsed([trigonometry,pythagoras,trigonometry]),priority(10000),possibleApplications([[[4,c,m],[[4,d,c],[6,m,d,m,c,-1]]],[[4,d,c],[[4,m,c],[4,m,d]]],[[4,m,d],[[4,d,c],[6,d,c,d,m,1]]]]),derivationApplications([]))
  107. element(node([[4,d,c],[4,m,c],[6,m,d,m,c,-1],[6,m,d,m,c,1]]),groupList([0.5326782478812185,0.04561945670684594,0.7110259996004195]),theoremsUsed([trigonometry,pythagoras,trigonometry]),priority(10000),possibleApplications([[[4,c,m],[[4,d,c],[6,m,d,m,c,-1]]],[[4,d,c],[[4,m,c],[4,m,d]]],[[4,m,d],[[4,d,c],[6,m,d,m,c,1]]]]),derivationApplications([]))
  108. element(node([[4,m,d],[6,m,d,m,c,-1],[7,m,c,d]]),groupList([0.5326782478812185,0.9460015970849531,0.4928828595033963]),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([]))
  109. element(node([[4,m,d],[6,d,c,d,m,1],[6,m,d,m,c,-1],[7,m,c,d]]),groupList([0.5326782478812185,0.9460015970849531,0.5313517481821813]),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([]))
  110. element(node([[4,m,d],[6,m,d,m,c,-1],[6,m,d,m,c,1],[7,m,c,d]]),groupList([0.5326782478812185,0.9460015970849531,0.445670834087106]),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([]))
  111. element(node([[4,m,c],[4,m,d],[6,d,c,d,m,1],[6,m,d,m,c,1]]),groupList([0.5313517481821813,0.04561945670684594,0.7110259996004195]),theoremsUsed([trigonometry,pythagoras,trigonometry]),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,d],[6,m,d,m,c,1]]]]),derivationApplications([]))
  112. element(node([[4,c,d],[4,m,d],[6,d,c,d,m,1],[6,m,d,m,c,1]]),groupList([0.5313517481821813,0.04561945670684594,0.445670834087106]),theoremsUsed([trigonometry,pythagoras,trigonometry]),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,m,d],[6,m,d,m,c,1]]]]),derivationApplications([]))
  113. element(node([[4,c,d],[6,d,c,d,m,1],[7,m,c,d]]),groupList([0.5313517481821813,0.04561945670684594,0.9460015970849531]),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([]))
  114. element(node([[4,m,c],[6,d,c,d,m,1],[6,m,d,m,c,1],[7,m,c,d]]),groupList([0.5313517481821813,0.7110259996004195,0.9460015970849531]),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([]))
  115. element(node([[4,c,d],[6,d,c,d,m,1],[6,m,d,m,c,1],[7,m,c,d]]),groupList([0.5313517481821813,0.445670834087106,0.9460015970849531]),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([]))
  116. element(node([[4,c,d],[6,m,d,m,c,1],[7,m,c,d]]),groupList([0.445670834087106,0.04561945670684594,0.9460015970849531]),theoremsUsed([trigonometry,pythagoras,area]),priority(10000),possibleApplications([[[4,c,m],[[4,m,d],[6,m,d,m,c,1]]],[[4,m,d],[[4,c,d],[4,m,c]]],[[4,m,c],[[4,c,d],[7,m,c,d]]]]),derivationApplications([]))
  117. element(node([[4,c,d],[4,m,d],[6,d,c,d,m,1],[7,m,c,d]]),groupList([0.43891663435580225,0.04561945670684594,0.9460015970849531]),theoremsUsed([trigonometry,pythagoras,area]),priority(10000),possibleApplications([[[4,c,m],[[4,d,c],[6,d,c,d,m,1]]],[[4,d,c],[[4,m,c],[4,m,d]]],[[4,m,c],[[4,c,d],[7,m,c,d]]]]),derivationApplications([]))
  118. element(node([[4,d,c],[4,m,c],[6,d,c,d,m,1],[6,m,d,m,c,1]]),groupList([0.43891663435580225,0.04561945670684594,0.7110259996004195]),theoremsUsed([trigonometry,pythagoras,trigonometry]),priority(10000),possibleApplications([[[4,c,m],[[4,d,c],[6,d,c,d,m,1]]],[[4,d,c],[[4,m,c],[4,m,d]]],[[4,m,d],[[4,d,c],[6,m,d,m,c,1]]]]),derivationApplications([]))
  119. element(node([[4,m,d],[6,d,c,d,m,1],[7,m,c,d]]),groupList([0.43891663435580225,0.9460015970849531,0.5313517481821813]),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([]))
  120. element(node([[4,m,d],[6,d,c,d,m,1],[6,m,d,m,c,1],[7,m,c,d]]),groupList([0.43891663435580225,0.9460015970849531,0.445670834087106]),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([]))
  121. element(node([[4,c,d],[4,m,d],[6,m,d,m,c,1],[7,m,c,d]]),groupList([0.8009645704090503,0.04561945670684594,0.9460015970849531]),theoremsUsed([trigonometry,pythagoras,area]),priority(10000),possibleApplications([[[4,c,m],[[4,d,c],[6,m,d,m,c,1]]],[[4,d,c],[[4,m,c],[4,m,d]]],[[4,m,c],[[4,c,d],[7,m,c,d]]]]),derivationApplications([]))
  122. element(node([[4,m,d],[6,m,d,m,c,1],[7,m,c,d]]),groupList([0.8009645704090503,0.9460015970849531,0.445670834087106]),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([]))
  123. element(node([[4,d,c],[4,m,d],[6,d,c,d,m,-1],[6,d,c,d,m,1],[6,m,d,m,c,-1]]),groupList([0.1396384290607109,0.04561945670684594,0.9560108046114512,0.43891663435580225]),theoremsUsed([trigonometry,pythagoras,trigonometry,trigonometry]),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,d],[6,m,d,m,c,-1]]],[[4,m,c],[[4,d,c],[6,d,c,d,m,1]]]]),derivationApplications([]))
  124. element(node([[4,d,c],[4,m,d],[6,d,c,d,m,-1],[6,m,d,m,c,-1],[6,m,d,m,c,1]]),groupList([0.1396384290607109,0.04561945670684594,0.9560108046114512,0.8009645704090503]),theoremsUsed([trigonometry,pythagoras,trigonometry,trigonometry]),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,d],[6,m,d,m,c,-1]]],[[4,m,c],[[4,d,c],[6,m,d,m,c,1]]]]),derivationApplications([]))
  125. element(node([[4,c,d],[4,m,d],[6,d,c,d,m,-1],[6,m,d,m,c,-1],[7,m,c,d]]),groupList([0.1396384290607109,0.04561945670684594,0.9560108046114512,0.9460015970849531]),theoremsUsed([trigonometry,pythagoras,trigonometry,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,d],[6,m,d,m,c,-1]]],[[4,m,c],[[4,c,d],[7,m,c,d]]]]),derivationApplications([]))
  126. element(node([[4,d,c],[4,m,c],[6,d,c,d,m,-1],[6,d,c,d,m,1],[6,m,d,m,c,-1]]),groupList([0.1396384290607109,0.04561945670684594,0.9560108046114512,0.4607847035785244]),theoremsUsed([trigonometry,pythagoras,trigonometry,trigonometry]),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,d],[6,m,d,m,c,-1]]],[[4,m,d],[[4,d,c],[6,d,c,d,m,1]]]]),derivationApplications([]))
  127. element(node([[4,d,c],[4,m,c],[6,d,c,d,m,-1],[6,m,d,m,c,-1],[6,m,d,m,c,1]]),groupList([0.1396384290607109,0.04561945670684594,0.9560108046114512,0.7110259996004195]),theoremsUsed([trigonometry,pythagoras,trigonometry,trigonometry]),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,d],[6,m,d,m,c,-1]]],[[4,m,d],[[4,d,c],[6,m,d,m,c,1]]]]),derivationApplications([]))
  128. element(node([[4,d,c],[4,m,d],[6,d,c,d,m,-1],[6,d,c,d,m,1],[6,m,d,m,c,1]]),groupList([0.1396384290607109,0.04561945670684594,0.4607847035785244,0.8009645704090503]),theoremsUsed([trigonometry,pythagoras,trigonometry,trigonometry]),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,d],[6,d,c,d,m,1]]],[[4,m,c],[[4,d,c],[6,m,d,m,c,1]]]]),derivationApplications([]))
  129. element(node([[4,c,d],[4,m,d],[6,d,c,d,m,-1],[6,d,c,d,m,1],[7,m,c,d]]),groupList([0.1396384290607109,0.04561945670684594,0.4607847035785244,0.9460015970849531]),theoremsUsed([trigonometry,pythagoras,trigonometry,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,d],[6,d,c,d,m,1]]],[[4,m,c],[[4,c,d],[7,m,c,d]]]]),derivationApplications([]))
  130. element(node([[4,d,c],[4,m,c],[6,d,c,d,m,-1],[6,d,c,d,m,1],[6,m,d,m,c,1]]),groupList([0.1396384290607109,0.04561945670684594,0.4607847035785244,0.7110259996004195]),theoremsUsed([trigonometry,pythagoras,trigonometry,trigonometry]),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,d],[6,d,c,d,m,1]]],[[4,m,d],[[4,d,c],[6,m,d,m,c,1]]]]),derivationApplications([]))
  131. element(node([[4,c,d],[4,m,d],[6,d,c,d,m,-1],[6,m,d,m,c,1],[7,m,c,d]]),groupList([0.1396384290607109,0.04561945670684594,0.7110259996004195,0.9460015970849531]),theoremsUsed([trigonometry,pythagoras,trigonometry,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,d],[6,m,d,m,c,1]]],[[4,m,c],[[4,c,d],[7,m,c,d]]]]),derivationApplications([]))
  132. element(node([[4,m,c],[4,m,d],[6,d,c,d,m,-1],[6,d,c,d,m,1],[6,m,d,m,c,-1]]),groupList([0.1396384290607109,0.04561945670684594,0.4928828595033963,0.43891663435580225]),theoremsUsed([trigonometry,pythagoras,trigonometry,trigonometry]),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,m,d],[6,m,d,m,c,-1]]],[[4,c,d],[[4,m,c],[6,d,c,d,m,1]]]]),derivationApplications([]))
  133. element(node([[4,m,c],[4,m,d],[6,d,c,d,m,-1],[6,m,d,m,c,-1],[6,m,d,m,c,1]]),groupList([0.1396384290607109,0.04561945670684594,0.4928828595033963,0.8009645704090503]),theoremsUsed([trigonometry,pythagoras,trigonometry,trigonometry]),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,m,d],[6,m,d,m,c,-1]]],[[4,c,d],[[4,m,c],[6,m,d,m,c,1]]]]),derivationApplications([]))
  134. element(node([[4,m,c],[4,m,d],[6,d,c,d,m,-1],[6,m,d,m,c,-1],[7,m,c,d]]),groupList([0.1396384290607109,0.04561945670684594,0.4928828595033963,0.9460015970849531]),theoremsUsed([trigonometry,pythagoras,trigonometry,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,m,d],[6,m,d,m,c,-1]]],[[4,c,d],[[4,m,c],[7,m,c,d]]]]),derivationApplications([]))
  135. element(node([[4,m,c],[4,m,d],[6,d,c,d,m,-1],[6,d,c,d,m,1],[6,m,d,m,c,1]]),groupList([0.1396384290607109,0.04561945670684594,0.5313517481821813,0.8009645704090503]),theoremsUsed([trigonometry,pythagoras,trigonometry,trigonometry]),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,m,d],[6,d,c,d,m,1]]],[[4,c,d],[[4,m,c],[6,m,d,m,c,1]]]]),derivationApplications([]))
  136. element(node([[4,m,c],[4,m,d],[6,d,c,d,m,-1],[6,d,c,d,m,1],[7,m,c,d]]),groupList([0.1396384290607109,0.04561945670684594,0.5313517481821813,0.9460015970849531]),theoremsUsed([trigonometry,pythagoras,trigonometry,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,m,d],[6,d,c,d,m,1]]],[[4,c,d],[[4,m,c],[7,m,c,d]]]]),derivationApplications([]))
  137. element(node([[4,m,c],[4,m,d],[6,d,c,d,m,-1],[6,m,d,m,c,1],[7,m,c,d]]),groupList([0.1396384290607109,0.04561945670684594,0.445670834087106,0.9460015970849531]),theoremsUsed([trigonometry,pythagoras,trigonometry,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,m,d],[6,m,d,m,c,1]]],[[4,c,d],[[4,m,c],[7,m,c,d]]]]),derivationApplications([]))
  138. element(node([[4,c,m],[4,d,m],[6,d,c,d,m,-1],[7,m,c,d]]),groupList([0.1396384290607109,0.04561945670684594,0.9460015970849531,0.8224481651523842]),theoremsUsed([trigonometry,pythagoras,area,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]]],[[4,m,c],[[4,c,d],[7,m,c,d]]],[[4,c,d],[[4,c,m],[4,d,m]]]]),derivationApplications([]))
  139. element(node([[4,d,c],[6,d,c,d,m,-1],[6,d,c,d,m,1],[6,m,d,m,c,-1],[6,m,d,m,c,1]]),groupList([0.1396384290607109,0.9560108046114512,0.4607847035785244,0.7110259996004195]),theoremsUsed([trigonometry,trigonometry,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]]],[[4,d,c],[[4,m,d],[6,d,c,d,m,1]]],[[4,m,d],[[4,d,c],[6,m,d,m,c,1]]]]),derivationApplications([]))
  140. element(node([[4,m,c],[6,d,c,d,m,-1],[6,d,c,d,m,1],[6,m,d,m,c,-1],[6,m,d,m,c,1]]),groupList([0.1396384290607109,0.9560108046114512,0.4607847035785244,0.445670834087106]),theoremsUsed([trigonometry,trigonometry,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]]],[[4,d,c],[[4,m,d],[6,d,c,d,m,1]]],[[4,m,d],[[4,m,c],[6,m,d,m,c,1]]]]),derivationApplications([]))
  141. element(node([[4,d,c],[4,m,c],[4,m,d],[6,d,c,d,m,1],[6,m,d,m,c,-1]]),groupList([0.1396384290607109,0.9560108046114512,0.4607847035785244,0.5569937786145638]),theoremsUsed([trigonometry,trigonometry,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]]],[[4,d,c],[[4,m,d],[6,d,c,d,m,1]]],[[6,d,c,d,m,-1],[[4,d,c],[4,m,c]]]]),derivationApplications([]))
  142. element(node([[4,d,c],[4,m,c],[4,m,d],[6,d,c,d,m,-1],[6,m,d,m,c,-1]]),groupList([0.1396384290607109,0.9560108046114512,0.4607847035785244,0.43891663435580225]),theoremsUsed([trigonometry,trigonometry,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]]],[[4,d,c],[[4,m,d],[6,d,c,d,m,1]]],[[6,d,c,d,m,1],[[4,d,c],[4,m,c]]]]),derivationApplications([]))
  143. element(node([[4,d,c],[4,m,c],[4,m,d],[6,d,c,d,m,-1],[6,d,c,d,m,1]]),groupList([0.1396384290607109,0.9560108046114512,0.4607847035785244,0.5326782478812185]),theoremsUsed([trigonometry,trigonometry,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]]],[[4,d,c],[[4,m,d],[6,d,c,d,m,1]]],[[6,m,d,m,c,-1],[[4,d,c],[4,m,c]]]]),derivationApplications([]))
  144. element(node([[4,d,c],[4,m,c],[4,m,d],[6,m,d,m,c,-1],[6,m,d,m,c,1]]),groupList([0.1396384290607109,0.9560108046114512,0.7110259996004195,0.5569937786145638]),theoremsUsed([trigonometry,trigonometry,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]]],[[4,d,c],[[4,m,d],[6,m,d,m,c,1]]],[[6,d,c,d,m,-1],[[4,d,c],[4,m,c]]]]),derivationApplications([]))
  145. element(node([[4,d,c],[4,m,c],[4,m,d],[6,d,c,d,m,-1],[6,m,d,m,c,1]]),groupList([0.1396384290607109,0.9560108046114512,0.7110259996004195,0.5326782478812185]),theoremsUsed([trigonometry,trigonometry,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]]],[[4,d,c],[[4,m,d],[6,m,d,m,c,1]]],[[6,m,d,m,c,-1],[[4,d,c],[4,m,c]]]]),derivationApplications([]))
  146. element(node([[4,m,d],[6,d,c,d,m,-1],[6,d,c,d,m,1],[6,m,d,m,c,-1],[6,m,d,m,c,1]]),groupList([0.1396384290607109,0.9560108046114512,0.43891663435580225,0.445670834087106]),theoremsUsed([trigonometry,trigonometry,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]]],[[4,d,c],[[4,m,c],[6,d,c,d,m,1]]],[[4,m,c],[[4,m,d],[6,m,d,m,c,1]]]]),derivationApplications([]))
  147. element(node([[4,c,d],[6,d,c,d,m,-1],[6,d,c,d,m,1],[6,m,d,m,c,-1],[7,m,c,d]]),groupList([0.1396384290607109,0.9560108046114512,0.43891663435580225,0.9460015970849531]),theoremsUsed([trigonometry,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],[6,d,c,d,m,1]]],[[4,m,c],[[4,c,d],[7,m,c,d]]]]),derivationApplications([]))
  148. element(node([[4,c,d],[6,d,c,d,m,-1],[6,m,d,m,c,-1],[6,m,d,m,c,1],[7,m,c,d]]),groupList([0.1396384290607109,0.9560108046114512,0.8009645704090503,0.9460015970849531]),theoremsUsed([trigonometry,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],[6,m,d,m,c,1]]],[[4,m,c],[[4,c,d],[7,m,c,d]]]]),derivationApplications([]))
  149. element(node([[4,m,d],[6,d,c,d,m,-1],[6,d,c,d,m,1],[6,m,d,m,c,-1],[7,m,c,d]]),groupList([0.1396384290607109,0.9560108046114512,0.9460015970849531,0.5313517481821813]),theoremsUsed([trigonometry,trigonometry,area,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]]],[[4,d,c],[[4,m,c],[7,m,c,d]]],[[4,m,c],[[4,m,d],[6,d,c,d,m,1]]]]),derivationApplications([]))
  150. element(node([[4,m,d],[6,d,c,d,m,-1],[6,m,d,m,c,-1],[6,m,d,m,c,1],[7,m,c,d]]),groupList([0.1396384290607109,0.9560108046114512,0.9460015970849531,0.445670834087106]),theoremsUsed([trigonometry,trigonometry,area,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]]],[[4,d,c],[[4,m,c],[7,m,c,d]]],[[4,m,c],[[4,m,d],[6,m,d,m,c,1]]]]),derivationApplications([]))
  151. element(node([[4,d,c],[4,m,c],[4,m,d],[6,m,d,m,c,-1],[7,m,c,d]]),groupList([0.1396384290607109,0.9560108046114512,0.9460015970849531,0.8795096441461481]),theoremsUsed([trigonometry,trigonometry,area,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]]],[[4,d,c],[[4,m,c],[7,m,c,d]]],[[6,d,c,d,m,-1],[[4,d,c],[4,m,d]]]]),derivationApplications([]))
  152. element(node([[4,d,c],[4,m,c],[6,m,d,m,c,-1],[7,m,c,d]]),groupList([0.1396384290607109,0.9560108046114512,0.9460015970849531,0.5569937786145638]),theoremsUsed([trigonometry,trigonometry,area,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]]],[[4,d,c],[[4,m,c],[7,m,c,d]]],[[6,d,c,d,m,-1],[[4,d,c],[4,m,c]]]]),derivationApplications([]))
  153. element(node([[4,d,m],[4,m,c],[6,m,d,m,c,-1],[7,m,c,d]]),groupList([0.1396384290607109,0.9560108046114512,0.9460015970849531,0.6889770772519174]),theoremsUsed([trigonometry,trigonometry,area,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]]],[[4,d,c],[[4,m,c],[7,m,c,d]]],[[6,d,c,d,m,-1],[[4,d,m],[4,m,c]]]]),derivationApplications([]))
  154. element(node([[4,d,c],[4,m,c],[6,d,c,d,m,-1],[7,m,c,d]]),groupList([0.1396384290607109,0.9560108046114512,0.9460015970849531,0.5326782478812185]),theoremsUsed([trigonometry,trigonometry,area,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]]],[[4,d,c],[[4,m,c],[7,m,c,d]]],[[6,m,d,m,c,-1],[[4,d,c],[4,m,c]]]]),derivationApplications([]))
  155. element(node([[4,d,c],[4,d,m],[4,m,c],[6,d,c,d,m,-1],[7,m,c,d]]),groupList([0.1396384290607109,0.9560108046114512,0.9460015970849531,0.20749685671143397]),theoremsUsed([trigonometry,trigonometry,area,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]]],[[4,d,c],[[4,m,c],[7,m,c,d]]],[[6,m,d,m,c,-1],[[4,d,c],[4,d,m]]]]),derivationApplications([]))
  156. element(node([[4,m,c],[6,d,c,d,m,-1],[6,d,c,d,m,1],[6,m,d,m,c,-1],[7,m,c,d]]),groupList([0.1396384290607109,0.4928828595033963,0.43891663435580225,0.9460015970849531]),theoremsUsed([trigonometry,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,d,c],[6,d,c,d,m,1]]],[[4,d,c],[[4,m,c],[7,m,c,d]]]]),derivationApplications([]))
  157. element(node([[4,m,c],[6,d,c,d,m,-1],[6,m,d,m,c,-1],[6,m,d,m,c,1],[7,m,c,d]]),groupList([0.1396384290607109,0.4928828595033963,0.8009645704090503,0.9460015970849531]),theoremsUsed([trigonometry,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,d,c],[6,m,d,m,c,1]]],[[4,d,c],[[4,m,c],[7,m,c,d]]]]),derivationApplications([]))
  158. element(node([[4,d,c],[4,m,c],[4,m,d],[6,d,c,d,m,1],[6,m,d,m,c,1]]),groupList([0.1396384290607109,0.4607847035785244,0.7110259996004195,0.5569937786145638]),theoremsUsed([trigonometry,trigonometry,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]]],[[4,d,c],[[4,m,d],[6,m,d,m,c,1]]],[[6,d,c,d,m,-1],[[4,d,c],[4,m,c]]]]),derivationApplications([]))
  159. element(node([[4,c,d],[6,d,c,d,m,-1],[6,d,c,d,m,1],[6,m,d,m,c,1],[7,m,c,d]]),groupList([0.1396384290607109,0.4607847035785244,0.8009645704090503,0.9460015970849531]),theoremsUsed([trigonometry,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],[6,m,d,m,c,1]]],[[4,m,c],[[4,c,d],[7,m,c,d]]]]),derivationApplications([]))
  160. element(node([[4,m,d],[6,d,c,d,m,-1],[6,d,c,d,m,1],[6,m,d,m,c,1],[7,m,c,d]]),groupList([0.1396384290607109,0.4607847035785244,0.9460015970849531,0.445670834087106]),theoremsUsed([trigonometry,trigonometry,area,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]]],[[4,d,c],[[4,m,c],[7,m,c,d]]],[[4,m,c],[[4,m,d],[6,m,d,m,c,1]]]]),derivationApplications([]))
  161. element(node([[4,d,c],[4,m,c],[4,m,d],[6,d,c,d,m,1],[7,m,c,d]]),groupList([0.1396384290607109,0.4607847035785244,0.9460015970849531,0.8795096441461481]),theoremsUsed([trigonometry,trigonometry,area,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]]],[[4,d,c],[[4,m,c],[7,m,c,d]]],[[6,d,c,d,m,-1],[[4,d,c],[4,m,d]]]]),derivationApplications([]))
  162. element(node([[4,d,c],[4,m,c],[6,d,c,d,m,1],[7,m,c,d]]),groupList([0.1396384290607109,0.4607847035785244,0.9460015970849531,0.5569937786145638]),theoremsUsed([trigonometry,trigonometry,area,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]]],[[4,d,c],[[4,m,c],[7,m,c,d]]],[[6,d,c,d,m,-1],[[4,d,c],[4,m,c]]]]),derivationApplications([]))
  163. element(node([[4,d,m],[4,m,c],[6,d,c,d,m,1],[7,m,c,d]]),groupList([0.1396384290607109,0.4607847035785244,0.9460015970849531,0.6889770772519174]),theoremsUsed([trigonometry,trigonometry,area,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]]],[[4,d,c],[[4,m,c],[7,m,c,d]]],[[6,d,c,d,m,-1],[[4,d,m],[4,m,c]]]]),derivationApplications([]))
  164. element(node([[4,m,c],[6,d,c,d,m,-1],[6,d,c,d,m,1],[6,m,d,m,c,1],[7,m,c,d]]),groupList([0.1396384290607109,0.5313517481821813,0.8009645704090503,0.9460015970849531]),theoremsUsed([trigonometry,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,d,c],[6,m,d,m,c,1]]],[[4,d,c],[[4,m,c],[7,m,c,d]]]]),derivationApplications([]))
  165. element(node([[4,d,c],[4,m,c],[4,m,d],[6,m,d,m,c,1],[7,m,c,d]]),groupList([0.1396384290607109,0.7110259996004195,0.9460015970849531,0.8795096441461481]),theoremsUsed([trigonometry,trigonometry,area,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]]],[[4,d,c],[[4,m,c],[7,m,c,d]]],[[6,d,c,d,m,-1],[[4,d,c],[4,m,d]]]]),derivationApplications([]))
  166. element(node([[4,d,c],[4,m,c],[6,m,d,m,c,1],[7,m,c,d]]),groupList([0.1396384290607109,0.7110259996004195,0.9460015970849531,0.5569937786145638]),theoremsUsed([trigonometry,trigonometry,area,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]]],[[4,d,c],[[4,m,c],[7,m,c,d]]],[[6,d,c,d,m,-1],[[4,d,c],[4,m,c]]]]),derivationApplications([]))
  167. element(node([[4,d,m],[4,m,c],[6,m,d,m,c,1],[7,m,c,d]]),groupList([0.1396384290607109,0.7110259996004195,0.9460015970849531,0.6889770772519174]),theoremsUsed([trigonometry,trigonometry,area,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]]],[[4,d,c],[[4,m,c],[7,m,c,d]]],[[6,d,c,d,m,-1],[[4,d,m],[4,m,c]]]]),derivationApplications([]))
  168. element(node([[4,d,c],[4,m,d],[6,d,c,d,m,1],[6,m,d,m,c,-1],[6,m,d,m,c,1]]),groupList([0.4928828595033963,0.04561945670684594,0.4607847035785244,0.8009645704090503]),theoremsUsed([trigonometry,pythagoras,trigonometry,trigonometry]),priority(10000),possibleApplications([[[4,c,m],[[4,m,d],[6,m,d,m,c,-1]]],[[4,m,d],[[4,c,d],[4,m,c]]],[[4,c,d],[[4,m,d],[6,d,c,d,m,1]]],[[4,m,c],[[4,d,c],[6,m,d,m,c,1]]]]),derivationApplications([]))
  169. element(node([[4,c,d],[4,m,d],[6,d,c,d,m,1],[6,m,d,m,c,-1],[7,m,c,d]]),groupList([0.4928828595033963,0.04561945670684594,0.4607847035785244,0.9460015970849531]),theoremsUsed([trigonometry,pythagoras,trigonometry,area]),priority(10000),possibleApplications([[[4,c,m],[[4,m,d],[6,m,d,m,c,-1]]],[[4,m,d],[[4,c,d],[4,m,c]]],[[4,c,d],[[4,m,d],[6,d,c,d,m,1]]],[[4,m,c],[[4,c,d],[7,m,c,d]]]]),derivationApplications([]))
  170. element(node([[4,d,c],[4,m,c],[6,d,c,d,m,1],[6,m,d,m,c,-1],[6,m,d,m,c,1]]),groupList([0.4928828595033963,0.04561945670684594,0.4607847035785244,0.7110259996004195]),theoremsUsed([trigonometry,pythagoras,trigonometry,trigonometry]),priority(10000),possibleApplications([[[4,c,m],[[4,m,d],[6,m,d,m,c,-1]]],[[4,m,d],[[4,c,d],[4,m,c]]],[[4,c,d],[[4,m,d],[6,d,c,d,m,1]]],[[4,m,d],[[4,d,c],[6,m,d,m,c,1]]]]),derivationApplications([]))
  171. element(node([[4,c,d],[4,m,d],[6,m,d,m,c,-1],[6,m,d,m,c,1],[7,m,c,d]]),groupList([0.4928828595033963,0.04561945670684594,0.7110259996004195,0.9460015970849531]),theoremsUsed([trigonometry,pythagoras,trigonometry,area]),priority(10000),possibleApplications([[[4,c,m],[[4,m,d],[6,m,d,m,c,-1]]],[[4,m,d],[[4,c,d],[4,m,c]]],[[4,c,d],[[4,m,d],[6,m,d,m,c,1]]],[[4,m,c],[[4,c,d],[7,m,c,d]]]]),derivationApplications([]))
  172. element(node([[4,m,c],[4,m,d],[6,d,c,d,m,1],[6,m,d,m,c,-1],[6,m,d,m,c,1]]),groupList([0.4928828595033963,0.04561945670684594,0.5313517481821813,0.8009645704090503]),theoremsUsed([trigonometry,pythagoras,trigonometry,trigonometry]),priority(10000),possibleApplications([[[4,c,m],[[4,m,d],[6,m,d,m,c,-1]]],[[4,m,d],[[4,c,d],[4,m,c]]],[[4,m,c],[[4,m,d],[6,d,c,d,m,1]]],[[4,c,d],[[4,m,c],[6,m,d,m,c,1]]]]),derivationApplications([]))
  173. element(node([[4,m,c],[4,m,d],[6,d,c,d,m,1],[6,m,d,m,c,-1],[7,m,c,d]]),groupList([0.4928828595033963,0.04561945670684594,0.5313517481821813,0.9460015970849531]),theoremsUsed([trigonometry,pythagoras,trigonometry,area]),priority(10000),possibleApplications([[[4,c,m],[[4,m,d],[6,m,d,m,c,-1]]],[[4,m,d],[[4,c,d],[4,m,c]]],[[4,m,c],[[4,m,d],[6,d,c,d,m,1]]],[[4,c,d],[[4,m,c],[7,m,c,d]]]]),derivationApplications([]))
  174. element(node([[4,m,c],[4,m,d],[6,m,d,m,c,-1],[6,m,d,m,c,1],[7,m,c,d]]),groupList([0.4928828595033963,0.04561945670684594,0.445670834087106,0.9460015970849531]),theoremsUsed([trigonometry,pythagoras,trigonometry,area]),priority(10000),possibleApplications([[[4,c,m],[[4,m,d],[6,m,d,m,c,-1]]],[[4,m,d],[[4,c,d],[4,m,c]]],[[4,m,c],[[4,m,d],[6,m,d,m,c,1]]],[[4,c,d],[[4,m,c],[7,m,c,d]]]]),derivationApplications([]))
  175. element(node([[4,c,d],[6,d,c,d,m,1],[6,m,d,m,c,-1],[6,m,d,m,c,1],[7,m,c,d]]),groupList([0.4928828595033963,0.4607847035785244,0.8009645704090503,0.9460015970849531]),theoremsUsed([trigonometry,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],[6,m,d,m,c,1]]],[[4,m,c],[[4,c,d],[7,m,c,d]]]]),derivationApplications([]))
  176. element(node([[4,m,d],[6,d,c,d,m,1],[6,m,d,m,c,-1],[6,m,d,m,c,1],[7,m,c,d]]),groupList([0.4928828595033963,0.4607847035785244,0.9460015970849531,0.445670834087106]),theoremsUsed([trigonometry,trigonometry,area,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]]],[[4,d,c],[[4,m,c],[7,m,c,d]]],[[4,m,c],[[4,m,d],[6,m,d,m,c,1]]]]),derivationApplications([]))
  177. element(node([[4,m,c],[6,d,c,d,m,1],[6,m,d,m,c,-1],[6,m,d,m,c,1],[7,m,c,d]]),groupList([0.4928828595033963,0.5313517481821813,0.8009645704090503,0.9460015970849531]),theoremsUsed([trigonometry,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,d,c],[6,m,d,m,c,1]]],[[4,d,c],[[4,m,c],[7,m,c,d]]]]),derivationApplications([]))
  178. element(node([[4,c,d],[4,m,c],[6,d,c,d,m,-1],[6,m,d,m,c,-1],[7,m,c,d]]),groupList([0.5569937786145638,0.04561945670684594,0.9460015970849531,0.4928828595033963]),theoremsUsed([trigonometry,pythagoras,area,trigonometry]),priority(10000),possibleApplications([[[4,c,m],[[4,d,c],[6,d,c,d,m,-1]]],[[4,d,c],[[4,m,c],[4,m,d]]],[[4,m,c],[[4,c,d],[7,m,c,d]]],[[4,m,d],[[4,m,c],[6,m,d,m,c,-1]]]]),derivationApplications([]))
  179. element(node([[4,c,d],[4,m,c],[6,d,c,d,m,-1],[6,d,c,d,m,1],[7,m,c,d]]),groupList([0.5569937786145638,0.04561945670684594,0.9460015970849531,0.5313517481821813]),theoremsUsed([trigonometry,pythagoras,area,trigonometry]),priority(10000),possibleApplications([[[4,c,m],[[4,d,c],[6,d,c,d,m,-1]]],[[4,d,c],[[4,m,c],[4,m,d]]],[[4,m,c],[[4,c,d],[7,m,c,d]]],[[4,m,d],[[4,m,c],[6,d,c,d,m,1]]]]),derivationApplications([]))
  180. element(node([[4,c,d],[4,m,c],[6,d,c,d,m,-1],[6,m,d,m,c,1],[7,m,c,d]]),groupList([0.5569937786145638,0.04561945670684594,0.9460015970849531,0.445670834087106]),theoremsUsed([trigonometry,pythagoras,area,trigonometry]),priority(10000),possibleApplications([[[4,c,m],[[4,d,c],[6,d,c,d,m,-1]]],[[4,d,c],[[4,m,c],[4,m,d]]],[[4,m,c],[[4,c,d],[7,m,c,d]]],[[4,m,d],[[4,m,c],[6,m,d,m,c,1]]]]),derivationApplications([]))
  181. element(node([[4,c,d],[4,m,c],[6,d,c,d,m,1],[6,m,d,m,c,-1],[7,m,c,d]]),groupList([0.5326782478812185,0.04561945670684594,0.9460015970849531,0.5313517481821813]),theoremsUsed([trigonometry,pythagoras,area,trigonometry]),priority(10000),possibleApplications([[[4,c,m],[[4,d,c],[6,m,d,m,c,-1]]],[[4,d,c],[[4,m,c],[4,m,d]]],[[4,m,c],[[4,c,d],[7,m,c,d]]],[[4,m,d],[[4,m,c],[6,d,c,d,m,1]]]]),derivationApplications([]))
  182. element(node([[4,c,d],[4,m,c],[6,m,d,m,c,-1],[6,m,d,m,c,1],[7,m,c,d]]),groupList([0.5326782478812185,0.04561945670684594,0.9460015970849531,0.445670834087106]),theoremsUsed([trigonometry,pythagoras,area,trigonometry]),priority(10000),possibleApplications([[[4,c,m],[[4,d,c],[6,m,d,m,c,-1]]],[[4,d,c],[[4,m,c],[4,m,d]]],[[4,m,c],[[4,c,d],[7,m,c,d]]],[[4,m,d],[[4,m,c],[6,m,d,m,c,1]]]]),derivationApplications([]))
  183. element(node([[4,c,d],[4,m,d],[6,d,c,d,m,1],[6,m,d,m,c,1],[7,m,c,d]]),groupList([0.5313517481821813,0.04561945670684594,0.7110259996004195,0.9460015970849531]),theoremsUsed([trigonometry,pythagoras,trigonometry,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,d],[6,m,d,m,c,1]]],[[4,m,c],[[4,c,d],[7,m,c,d]]]]),derivationApplications([]))
  184. element(node([[4,m,c],[4,m,d],[6,d,c,d,m,1],[6,m,d,m,c,1],[7,m,c,d]]),groupList([0.5313517481821813,0.04561945670684594,0.445670834087106,0.9460015970849531]),theoremsUsed([trigonometry,pythagoras,trigonometry,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,m,d],[6,m,d,m,c,1]]],[[4,c,d],[[4,m,c],[7,m,c,d]]]]),derivationApplications([]))
  185. element(node([[4,c,d],[4,m,c],[6,d,c,d,m,1],[6,m,d,m,c,1],[7,m,c,d]]),groupList([0.43891663435580225,0.04561945670684594,0.9460015970849531,0.445670834087106]),theoremsUsed([trigonometry,pythagoras,area,trigonometry]),priority(10000),possibleApplications([[[4,c,m],[[4,d,c],[6,d,c,d,m,1]]],[[4,d,c],[[4,m,c],[4,m,d]]],[[4,m,c],[[4,c,d],[7,m,c,d]]],[[4,m,d],[[4,m,c],[6,m,d,m,c,1]]]]),derivationApplications([]))
  186. element(node([[4,m,c],[4,m,d],[6,d,c,d,m,-1],[6,d,c,d,m,1],[6,m,d,m,c,-1],[6,m,d,m,c,1]]),groupList([0.1396384290607109,0.04561945670684594,0.9560108046114512,0.43891663435580225,0.8009645704090503]),theoremsUsed([trigonometry,pythagoras,trigonometry,trigonometry,trigonometry]),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,d],[6,m,d,m,c,-1]]],[[4,m,c],[[4,d,c],[6,d,c,d,m,1]]],[[4,d,c],[[4,m,c],[6,m,d,m,c,1]]]]),derivationApplications([]))
  187. element(node([[4,m,c],[4,m,d],[6,d,c,d,m,-1],[6,d,c,d,m,1],[6,m,d,m,c,-1],[7,m,c,d]]),groupList([0.1396384290607109,0.04561945670684594,0.9560108046114512,0.43891663435580225,0.9460015970849531]),theoremsUsed([trigonometry,pythagoras,trigonometry,trigonometry,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,d],[6,m,d,m,c,-1]]],[[4,m,c],[[4,d,c],[6,d,c,d,m,1]]],[[4,d,c],[[4,m,c],[7,m,c,d]]]]),derivationApplications([]))
  188. element(node([[4,d,c],[4,m,c],[6,d,c,d,m,-1],[6,d,c,d,m,1],[6,m,d,m,c,-1],[6,m,d,m,c,1]]),groupList([0.1396384290607109,0.04561945670684594,0.9560108046114512,0.43891663435580225,0.445670834087106]),theoremsUsed([trigonometry,pythagoras,trigonometry,trigonometry,trigonometry]),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,d],[6,m,d,m,c,-1]]],[[4,m,c],[[4,d,c],[6,d,c,d,m,1]]],[[4,m,d],[[4,m,c],[6,m,d,m,c,1]]]]),derivationApplications([]))
  189. element(node([[4,m,c],[4,m,d],[6,d,c,d,m,-1],[6,m,d,m,c,-1],[6,m,d,m,c,1],[7,m,c,d]]),groupList([0.1396384290607109,0.04561945670684594,0.9560108046114512,0.8009645704090503,0.9460015970849531]),theoremsUsed([trigonometry,pythagoras,trigonometry,trigonometry,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,d],[6,m,d,m,c,-1]]],[[4,m,c],[[4,d,c],[6,m,d,m,c,1]]],[[4,d,c],[[4,m,c],[7,m,c,d]]]]),derivationApplications([]))
  190. element(node([[4,c,d],[4,m,c],[6,d,c,d,m,-1],[6,d,c,d,m,1],[6,m,d,m,c,-1],[7,m,c,d]]),groupList([0.1396384290607109,0.04561945670684594,0.9560108046114512,0.9460015970849531,0.5313517481821813]),theoremsUsed([trigonometry,pythagoras,trigonometry,area,trigonometry]),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,d],[6,m,d,m,c,-1]]],[[4,m,c],[[4,c,d],[7,m,c,d]]],[[4,m,d],[[4,m,c],[6,d,c,d,m,1]]]]),derivationApplications([]))
  191. element(node([[4,c,d],[4,m,c],[6,d,c,d,m,-1],[6,m,d,m,c,-1],[6,m,d,m,c,1],[7,m,c,d]]),groupList([0.1396384290607109,0.04561945670684594,0.9560108046114512,0.9460015970849531,0.445670834087106]),theoremsUsed([trigonometry,pythagoras,trigonometry,area,trigonometry]),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,d],[6,m,d,m,c,-1]]],[[4,m,c],[[4,c,d],[7,m,c,d]]],[[4,m,d],[[4,m,c],[6,m,d,m,c,1]]]]),derivationApplications([]))
  192. element(node([[4,d,c],[4,m,d],[6,d,c,d,m,-1],[6,d,c,d,m,1],[6,m,d,m,c,-1],[6,m,d,m,c,1]]),groupList([0.1396384290607109,0.04561945670684594,0.9560108046114512,0.4607847035785244,0.445670834087106]),theoremsUsed([trigonometry,pythagoras,trigonometry,trigonometry,trigonometry]),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,d],[6,m,d,m,c,-1]]],[[4,m,d],[[4,d,c],[6,d,c,d,m,1]]],[[4,m,c],[[4,m,d],[6,m,d,m,c,1]]]]),derivationApplications([]))
  193. element(node([[4,m,c],[4,m,d],[6,d,c,d,m,-1],[6,d,c,d,m,1],[6,m,d,m,c,1],[7,m,c,d]]),groupList([0.1396384290607109,0.04561945670684594,0.4607847035785244,0.8009645704090503,0.9460015970849531]),theoremsUsed([trigonometry,pythagoras,trigonometry,trigonometry,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,d],[6,d,c,d,m,1]]],[[4,m,c],[[4,d,c],[6,m,d,m,c,1]]],[[4,d,c],[[4,m,c],[7,m,c,d]]]]),derivationApplications([]))
  194. element(node([[4,c,d],[4,m,c],[6,d,c,d,m,-1],[6,d,c,d,m,1],[6,m,d,m,c,1],[7,m,c,d]]),groupList([0.1396384290607109,0.04561945670684594,0.4607847035785244,0.9460015970849531,0.445670834087106]),theoremsUsed([trigonometry,pythagoras,trigonometry,area,trigonometry]),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,d],[6,d,c,d,m,1]]],[[4,m,c],[[4,c,d],[7,m,c,d]]],[[4,m,d],[[4,m,c],[6,m,d,m,c,1]]]]),derivationApplications([]))
  195. element(node([[4,c,d],[4,m,d],[6,d,c,d,m,-1],[6,d,c,d,m,1],[6,m,d,m,c,-1],[7,m,c,d]]),groupList([0.1396384290607109,0.04561945670684594,0.4928828595033963,0.43891663435580225,0.9460015970849531]),theoremsUsed([trigonometry,pythagoras,trigonometry,trigonometry,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,m,d],[6,m,d,m,c,-1]]],[[4,c,d],[[4,m,c],[6,d,c,d,m,1]]],[[4,m,c],[[4,c,d],[7,m,c,d]]]]),derivationApplications([]))
  196. element(node([[4,c,d],[4,m,d],[6,d,c,d,m,-1],[6,m,d,m,c,-1],[6,m,d,m,c,1],[7,m,c,d]]),groupList([0.1396384290607109,0.04561945670684594,0.4928828595033963,0.8009645704090503,0.9460015970849531]),theoremsUsed([trigonometry,pythagoras,trigonometry,trigonometry,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,m,d],[6,m,d,m,c,-1]]],[[4,c,d],[[4,m,c],[6,m,d,m,c,1]]],[[4,m,c],[[4,c,d],[7,m,c,d]]]]),derivationApplications([]))
  197. element(node([[4,c,d],[4,m,d],[6,d,c,d,m,-1],[6,d,c,d,m,1],[6,m,d,m,c,1],[7,m,c,d]]),groupList([0.1396384290607109,0.04561945670684594,0.5313517481821813,0.8009645704090503,0.9460015970849531]),theoremsUsed([trigonometry,pythagoras,trigonometry,trigonometry,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,m,d],[6,d,c,d,m,1]]],[[4,c,d],[[4,m,c],[6,m,d,m,c,1]]],[[4,m,c],[[4,c,d],[7,m,c,d]]]]),derivationApplications([]))
  198. element(node([[4,m,c],[6,d,c,d,m,-1],[6,d,c,d,m,1],[6,m,d,m,c,-1],[6,m,d,m,c,1],[7,m,c,d]]),groupList([0.1396384290607109,0.9560108046114512,0.4607847035785244,0.7110259996004195,0.9460015970849531]),theoremsUsed([trigonometry,trigonometry,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,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([]))
  199. element(node([[4,d,c],[4,d,m],[4,m,c],[6,d,c,d,m,1],[6,m,d,m,c,-1],[6,m,d,m,c,1]]),groupList([0.1396384290607109,0.9560108046114512,0.4607847035785244,0.7110259996004195,0.6889770772519174]),theoremsUsed([trigonometry,trigonometry,trigonometry,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]]],[[4,d,c],[[4,m,d],[6,d,c,d,m,1]]],[[4,m,d],[[4,d,c],[6,m,d,m,c,1]]],[[6,d,c,d,m,-1],[[4,d,m],[4,m,c]]]]),derivationApplications([]))
  200. element(node([[4,d,c],[4,m,c],[4,m,d],[6,d,c,d,m,-1],[6,m,d,m,c,-1],[6,m,d,m,c,1]]),groupList([0.1396384290607109,0.9560108046114512,0.4607847035785244,0.7110259996004195,0.5313517481821813]),theoremsUsed([trigonometry,trigonometry,trigonometry,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]]],[[4,d,c],[[4,m,d],[6,d,c,d,m,1]]],[[4,m,d],[[4,d,c],[6,m,d,m,c,1]]],[[6,d,c,d,m,1],[[4,m,c],[4,m,d]]]]),derivationApplications([]))
  201. element(node([[4,d,c],[4,m,c],[4,m,d],[6,d,c,d,m,-1],[6,d,c,d,m,1],[6,m,d,m,c,1]]),groupList([0.1396384290607109,0.9560108046114512,0.4607847035785244,0.7110259996004195,0.4928828595033963]),theoremsUsed([trigonometry,trigonometry,trigonometry,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]]],[[4,d,c],[[4,m,d],[6,d,c,d,m,1]]],[[4,m,d],[[4,d,c],[6,m,d,m,c,1]]],[[6,m,d,m,c,-1],[[4,m,c],[4,m,d]]]]),derivationApplications([]))
  202. element(node([[4,d,c],[4,m,c],[4,m,d],[6,d,c,d,m,-1],[6,d,c,d,m,1],[6,m,d,m,c,-1]]),groupList([0.1396384290607109,0.9560108046114512,0.4607847035785244,0.7110259996004195,0.445670834087106]),theoremsUsed([trigonometry,trigonometry,trigonometry,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]]],[[4,d,c],[[4,m,d],[6,d,c,d,m,1]]],[[4,m,d],[[4,d,c],[6,m,d,m,c,1]]],[[6,m,d,m,c,1],[[4,m,c],[4,m,d]]]]),derivationApplications([]))
  203. element(node([[4,c,d],[6,d,c,d,m,-1],[6,d,c,d,m,1],[6,m,d,m,c,-1],[6,m,d,m,c,1],[7,m,c,d]]),groupList([0.1396384290607109,0.9560108046114512,0.4607847035785244,0.445670834087106,0.9460015970849531]),theoremsUsed([trigonometry,trigonometry,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,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([]))
  204. element(node([[4,m,d],[6,d,c,d,m,-1],[6,d,c,d,m,1],[6,m,d,m,c,-1],[6,m,d,m,c,1],[7,m,c,d]]),groupList([0.1396384290607109,0.9560108046114512,0.43891663435580225,0.9460015970849531,0.7110259996004195]),theoremsUsed([trigonometry,trigonometry,trigonometry,area,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]]],[[4,d,c],[[4,m,c],[6,d,c,d,m,1]]],[[4,m,c],[[4,c,d],[7,m,c,d]]],[[4,c,d],[[4,m,d],[6,m,d,m,c,1]]]]),derivationApplications([]))
  205. element(node([[4,c,d],[4,d,m],[4,m,c],[6,d,c,d,m,1],[6,m,d,m,c,-1],[7,m,c,d]]),groupList([0.1396384290607109,0.9560108046114512,0.43891663435580225,0.9460015970849531,0.6889770772519174]),theoremsUsed([trigonometry,trigonometry,trigonometry,area,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]]],[[4,d,c],[[4,m,c],[6,d,c,d,m,1]]],[[4,m,c],[[4,c,d],[7,m,c,d]]],[[6,d,c,d,m,-1],[[4,d,m],[4,m,c]]]]),derivationApplications([]))
  206. element(node([[4,c,d],[4,m,c],[4,m,d],[6,d,c,d,m,-1],[6,m,d,m,c,-1],[7,m,c,d]]),groupList([0.1396384290607109,0.9560108046114512,0.43891663435580225,0.9460015970849531,0.5313517481821813]),theoremsUsed([trigonometry,trigonometry,trigonometry,area,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]]],[[4,d,c],[[4,m,c],[6,d,c,d,m,1]]],[[4,m,c],[[4,c,d],[7,m,c,d]]],[[6,d,c,d,m,1],[[4,m,c],[4,m,d]]]]),derivationApplications([]))
  207. element(node([[4,c,d],[4,m,c],[4,m,d],[6,d,c,d,m,-1],[6,d,c,d,m,1],[7,m,c,d]]),groupList([0.1396384290607109,0.9560108046114512,0.43891663435580225,0.9460015970849531,0.4928828595033963]),theoremsUsed([trigonometry,trigonometry,trigonometry,area,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]]],[[4,d,c],[[4,m,c],[6,d,c,d,m,1]]],[[4,m,c],[[4,c,d],[7,m,c,d]]],[[6,m,d,m,c,-1],[[4,m,c],[4,m,d]]]]),derivationApplications([]))
  208. element(node([[4,c,d],[4,d,m],[4,m,c],[6,m,d,m,c,-1],[6,m,d,m,c,1],[7,m,c,d]]),groupList([0.1396384290607109,0.9560108046114512,0.8009645704090503,0.9460015970849531,0.6889770772519174]),theoremsUsed([trigonometry,trigonometry,trigonometry,area,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]]],[[4,d,c],[[4,m,c],[6,m,d,m,c,1]]],[[4,m,c],[[4,c,d],[7,m,c,d]]],[[6,d,c,d,m,-1],[[4,d,m],[4,m,c]]]]),derivationApplications([]))
  209. element(node([[4,c,d],[4,m,c],[4,m,d],[6,d,c,d,m,-1],[6,m,d,m,c,1],[7,m,c,d]]),groupList([0.1396384290607109,0.9560108046114512,0.8009645704090503,0.9460015970849531,0.4928828595033963]),theoremsUsed([trigonometry,trigonometry,trigonometry,area,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]]],[[4,d,c],[[4,m,c],[6,m,d,m,c,1]]],[[4,m,c],[[4,c,d],[7,m,c,d]]],[[6,m,d,m,c,-1],[[4,m,c],[4,m,d]]]]),derivationApplications([]))
  210. element(node([[4,c,d],[4,d,m],[4,m,c],[6,d,c,d,m,1],[6,m,d,m,c,1],[7,m,c,d]]),groupList([0.1396384290607109,0.4607847035785244,0.8009645704090503,0.9460015970849531,0.6889770772519174]),theoremsUsed([trigonometry,trigonometry,trigonometry,area,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]]],[[4,d,c],[[4,m,c],[6,m,d,m,c,1]]],[[4,m,c],[[4,c,d],[7,m,c,d]]],[[6,d,c,d,m,-1],[[4,d,m],[4,m,c]]]]),derivationApplications([]))
  211. element(node([[4,m,c],[4,m,d],[6,d,c,d,m,1],[6,m,d,m,c,-1],[6,m,d,m,c,1],[7,m,c,d]]),groupList([0.4928828595033963,0.04561945670684594,0.4607847035785244,0.8009645704090503,0.9460015970849531]),theoremsUsed([trigonometry,pythagoras,trigonometry,trigonometry,area]),priority(10000),possibleApplications([[[4,c,m],[[4,m,d],[6,m,d,m,c,-1]]],[[4,m,d],[[4,c,d],[4,m,c]]],[[4,c,d],[[4,m,d],[6,d,c,d,m,1]]],[[4,m,c],[[4,d,c],[6,m,d,m,c,1]]],[[4,d,c],[[4,m,c],[7,m,c,d]]]]),derivationApplications([]))
  212. element(node([[4,c,d],[4,m,c],[6,d,c,d,m,1],[6,m,d,m,c,-1],[6,m,d,m,c,1],[7,m,c,d]]),groupList([0.4928828595033963,0.04561945670684594,0.4607847035785244,0.9460015970849531,0.445670834087106]),theoremsUsed([trigonometry,pythagoras,trigonometry,area,trigonometry]),priority(10000),possibleApplications([[[4,c,m],[[4,m,d],[6,m,d,m,c,-1]]],[[4,m,d],[[4,c,d],[4,m,c]]],[[4,c,d],[[4,m,d],[6,d,c,d,m,1]]],[[4,m,c],[[4,c,d],[7,m,c,d]]],[[4,m,d],[[4,m,c],[6,m,d,m,c,1]]]]),derivationApplications([]))
  213. element(node([[4,c,d],[4,m,d],[6,d,c,d,m,1],[6,m,d,m,c,-1],[6,m,d,m,c,1],[7,m,c,d]]),groupList([0.4928828595033963,0.04561945670684594,0.5313517481821813,0.8009645704090503,0.9460015970849531]),theoremsUsed([trigonometry,pythagoras,trigonometry,trigonometry,area]),priority(10000),possibleApplications([[[4,c,m],[[4,m,d],[6,m,d,m,c,-1]]],[[4,m,d],[[4,c,d],[4,m,c]]],[[4,m,c],[[4,m,d],[6,d,c,d,m,1]]],[[4,c,d],[[4,m,c],[6,m,d,m,c,1]]],[[4,m,c],[[4,c,d],[7,m,c,d]]]]),derivationApplications([]))
  214. element(node([[4,c,d],[4,m,d],[6,d,c,d,m,-1],[6,d,c,d,m,1],[6,m,d,m,c,-1],[6,m,d,m,c,1],[7,m,c,d]]),groupList([0.1396384290607109,0.04561945670684594,0.9560108046114512,0.43891663435580225,0.8009645704090503,0.9460015970849531]),theoremsUsed([trigonometry,pythagoras,trigonometry,trigonometry,trigonometry,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,d],[6,m,d,m,c,-1]]],[[4,m,c],[[4,d,c],[6,d,c,d,m,1]]],[[4,d,c],[[4,m,c],[6,m,d,m,c,1]]],[[4,m,c],[[4,c,d],[7,m,c,d]]]]),derivationApplications([]))
  215. element(node([[4,d,c],[4,m,c],[6,d,c,d,m,-1],[6,d,c,d,m,1],[6,m,d,m,c,-1],[6,m,d,m,c,1],[7,m,c,d]]),groupList([0.1396384290607109,0.04561945670684594,0.9560108046114512,0.43891663435580225,0.9460015970849531,0.7110259996004195]),theoremsUsed([trigonometry,pythagoras,trigonometry,trigonometry,area,trigonometry]),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,d],[6,m,d,m,c,-1]]],[[4,m,c],[[4,d,c],[6,d,c,d,m,1]]],[[4,d,c],[[4,m,c],[7,m,c,d]]],[[4,m,d],[[4,d,c],[6,m,d,m,c,1]]]]),derivationApplications([]))
  216. element(node([[4,m,c],[4,m,d],[6,d,c,d,m,-1],[6,d,c,d,m,1],[6,m,d,m,c,-1],[6,m,d,m,c,1],[7,m,c,d]]),groupList([0.1396384290607109,0.04561945670684594,0.9560108046114512,0.9460015970849531,0.5313517481821813,0.7110259996004195]),theoremsUsed([trigonometry,pythagoras,trigonometry,area,trigonometry,trigonometry]),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,d],[6,m,d,m,c,-1]]],[[4,m,c],[[4,c,d],[7,m,c,d]]],[[4,m,d],[[4,m,c],[6,d,c,d,m,1]]],[[4,c,d],[[4,m,d],[6,m,d,m,c,1]]]]),derivationApplications([]))
  217. element(node([[4,d,c],[4,m,c],[4,m,d],[6,d,c,d,m,1],[6,m,d,m,c,-1],[6,m,d,m,c,1],[7,m,c,d]]),groupList([0.1396384290607109,0.9560108046114512,0.4607847035785244,0.7110259996004195,0.9460015970849531,0.8795096441461481]),theoremsUsed([trigonometry,trigonometry,trigonometry,trigonometry,area,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]]],[[4,d,c],[[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]]],[[6,d,c,d,m,-1],[[4,d,c],[4,m,d]]]]),derivationApplications([]))
  218. element(node([[4,d,c],[4,d,m],[4,m,c],[6,d,c,d,m,-1],[6,m,d,m,c,-1],[6,m,d,m,c,1],[7,m,c,d]]),groupList([0.1396384290607109,0.9560108046114512,0.4607847035785244,0.7110259996004195,0.9460015970849531,0.9268123778654596]),theoremsUsed([trigonometry,trigonometry,trigonometry,trigonometry,area,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]]],[[4,d,c],[[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]]],[[6,d,c,d,m,1],[[4,d,c],[4,d,m]]]]),derivationApplications([]))
  219. element(node([[4,d,c],[4,d,m],[4,m,c],[6,d,c,d,m,-1],[6,d,c,d,m,1],[6,m,d,m,c,1],[7,m,c,d]]),groupList([0.1396384290607109,0.9560108046114512,0.4607847035785244,0.7110259996004195,0.9460015970849531,0.20749685671143397]),theoremsUsed([trigonometry,trigonometry,trigonometry,trigonometry,area,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]]],[[4,d,c],[[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]]],[[6,m,d,m,c,-1],[[4,d,c],[4,d,m]]]]),derivationApplications([]))
  220. element(node([[4,d,c],[4,d,m],[4,m,c],[6,d,c,d,m,-1],[6,d,c,d,m,1],[6,m,d,m,c,-1],[7,m,c,d]]),groupList([0.1396384290607109,0.9560108046114512,0.4607847035785244,0.7110259996004195,0.9460015970849531,0.3959749972047178]),theoremsUsed([trigonometry,trigonometry,trigonometry,trigonometry,area,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]]],[[4,d,c],[[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]]],[[6,m,d,m,c,1],[[4,d,c],[4,d,m]]]]),derivationApplications([]))
  221. element(node([[4,c,d],[4,m,c],[4,m,d],[6,d,c,d,m,-1],[6,d,c,d,m,1],[6,m,d,m,c,-1],[6,m,d,m,c,1]]),groupList([0.1396384290607109,0.9560108046114512,0.43891663435580225,0.9460015970849531,0.7110259996004195,0.07631093966703853]),theoremsUsed([trigonometry,trigonometry,trigonometry,area,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],[6,d,c,d,m,1]]],[[4,m,c],[[4,c,d],[7,m,c,d]]],[[4,c,d],[[4,m,d],[6,m,d,m,c,1]]],[[7,m,c,d],[[4,c,d],[4,m,c]]]]),derivationApplications([]))
  222. element(node([[4,c,d]]),groupList([]),theoremsUsed([]),priority(102),possibleApplications([]),derivationApplications([]))
  223. element(node([[6,d,c,d,m,-1]]),groupList([]),theoremsUsed([]),priority(102),possibleApplications([]),derivationApplications([]))
  224. element(node([[6,d,c,d,m,1]]),groupList([]),theoremsUsed([]),priority(102),possibleApplications([]),derivationApplications([]))
  225. element(node([[6,m,c,m,d,-1]]),groupList([]),theoremsUsed([]),priority(102),possibleApplications([]),derivationApplications([]))
  226. element(node([[6,m,c,m,d,1]]),groupList([]),theoremsUsed([]),priority(102),possibleApplications([]),derivationApplications([]))
  227. element(node([[4,d,m]]),groupList([]),theoremsUsed([]),priority(101),possibleApplications([]),derivationApplications([]))
  228. element(node([[4,c,d],[4,m,d]]),groupList([0.04561945670684594]),theoremsUsed([pythagoras]),priority(0),possibleApplications([[[4,c,m],[[4,c,d],[4,m,d]]]]),derivationApplications([]))
  229. element(node([[4,c,d],[7,m,c,d]]),groupList([0.9460015970849531]),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!