Advertisement
shubhamgoyal

Untitled

Jan 27th, 2017
117
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 19.49 KB | None | 0 0
  1. Mandatory theorem = trigonometry
  2. RelevantTheorems = []
  3. NewListObjects = [[8,y,_G1415080],[8,y,99],[18,y,91],[5,y],[8,b,_G1415057],[15,b,y,57],[8,d,_G1415044],[8,d,115.16874457140389],[18,d,36.34131634420111],[5,d],[16,b,d],[8,m,_G1415009],[8,m,82.83125542859611],[18,m,145.65868365579888],[5,m],[16,b,m],[8,c,_G1414974],[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. [my_length(c,m,x1)]
  5. [my_length(m,d,x2),angle(d,c,d,m,-1,x3)]
  6. [my_length(m,d,x2),angle(m,d,m,c,-1,x4)]
  7. [my_length(d,c,x5),angle(d,c,d,m,-1,x3)]
  8. [my_length(d,c,x5),angle(m,d,m,c,-1,x4)]
  9. [my_length(m,d,x2),angle(d,c,d,m,1,x6)]
  10. [my_length(m,d,x2),angle(m,d,m,c,1,x7)]
  11. [my_length(d,c,x5),angle(d,c,d,m,1,x6)]
  12. [my_length(d,c,x5),angle(m,d,m,c,1,x7)]
  13. [my_length(c,d,x5),my_length(m,c,x1),angle(d,c,d,m,-1,x3)]
  14. [my_length(d,c,x5),angle(d,c,d,m,-1,x3),angle(m,d,m,c,-1,x4)]
  15. [my_length(m,c,x1),angle(d,c,d,m,-1,x3),angle(m,d,m,c,-1,x4)]
  16. [my_length(d,c,x5),angle(d,c,d,m,-1,x3),angle(d,c,d,m,1,x6)]
  17. [my_length(m,c,x1),angle(d,c,d,m,-1,x3),angle(d,c,d,m,1,x6)]
  18. [my_length(d,c,x5),angle(d,c,d,m,-1,x3),angle(m,d,m,c,1,x7)]
  19. [my_length(m,c,x1),angle(d,c,d,m,-1,x3),angle(m,d,m,c,1,x7)]
  20. [my_length(m,c,x1),angle(d,m,d,c,1,x6)]
  21. [my_length(d,c,x5),my_length(m,c,x1),my_length(m,d,x2)]
  22. [my_length(d,m,x2),my_length(m,c,x1)]
  23. [my_length(c,d,x5),my_length(m,c,x1),angle(m,d,m,c,-1,x4)]
  24. [my_length(d,c,x5),angle(d,c,d,m,1,x6),angle(m,d,m,c,-1,x4)]
  25. [my_length(m,c,x1),angle(d,c,d,m,1,x6),angle(m,d,m,c,-1,x4)]
  26. [my_length(d,c,x5),angle(m,d,m,c,-1,x4),angle(m,d,m,c,1,x7)]
  27. [my_length(m,c,x1),angle(m,d,m,c,-1,x4),angle(m,d,m,c,1,x7)]
  28. [my_length(m,c,x1),angle(m,c,m,d,1,x7)]
  29. [my_length(m,c,x1),my_length(m,d,x2),angle(d,c,d,m,-1,x3)]
  30. [my_length(m,d,x2),angle(d,c,d,m,-1,x3),angle(m,d,m,c,-1,x4)]
  31. [my_length(m,d,x2),angle(d,c,d,m,-1,x3),angle(d,c,d,m,1,x6)]
  32. [my_length(m,d,x2),angle(d,c,d,m,-1,x3),angle(m,d,m,c,1,x7)]
  33. [my_length(m,c,x1),angle(d,c,d,m,-1,x3),area_triangle(m,c,d,x8)]
  34. [my_length(d,c,x5),my_length(m,c,x1)]
  35. [my_length(m,c,x1),my_length(m,d,x2),angle(m,d,m,c,-1,x4)]
  36. [my_length(m,d,x2),angle(d,c,d,m,1,x6),angle(m,d,m,c,-1,x4)]
  37. [my_length(m,d,x2),angle(m,d,m,c,-1,x4),angle(m,d,m,c,1,x7)]
  38. [my_length(m,c,x1),angle(m,d,m,c,-1,x4),area_triangle(m,c,d,x8)]
  39. [my_length(c,d,x5),my_length(m,c,x1),angle(d,c,d,m,1,x6)]
  40. [my_length(d,c,x5),angle(d,c,d,m,1,x6),angle(m,d,m,c,1,x7)]
  41. [my_length(m,c,x1),angle(d,c,d,m,1,x6),angle(m,d,m,c,1,x7)]
  42. [my_length(m,c,x1),angle(d,m,d,c,-1,x3)]
  43. [my_length(c,d,x5),my_length(m,c,x1),angle(m,d,m,c,1,x7)]
  44. [my_length(m,c,x1),angle(m,c,m,d,-1,x4)]
  45. [my_length(m,c,x1),my_length(m,d,x2),angle(d,c,d,m,1,x6)]
  46. [my_length(m,d,x2),angle(d,c,d,m,1,x6),angle(m,d,m,c,1,x7)]
  47. [my_length(m,c,x1),angle(d,c,d,m,1,x6),area_triangle(m,c,d,x8)]
  48. [my_length(m,c,x1),my_length(m,d,x2),angle(m,d,m,c,1,x7)]
  49. [my_length(m,c,x1),angle(m,d,m,c,1,x7),area_triangle(m,c,d,x8)]
  50. [my_length(m,c,x1),my_length(m,d,x2),angle(d,c,d,m,-1,x3),angle(m,d,m,c,-1,x4)]
  51. [my_length(m,c,x1),my_length(m,d,x2),angle(d,c,d,m,-1,x3),angle(d,c,d,m,1,x6)]
  52. [my_length(m,c,x1),my_length(m,d,x2),angle(d,c,d,m,-1,x3),angle(m,d,m,c,1,x7)]
  53. [my_length(c,d,x5),my_length(m,d,x2),angle(d,c,d,m,-1,x3),angle(m,d,m,c,-1,x4)]
  54. [my_length(c,d,x5),my_length(m,d,x2),angle(d,c,d,m,-1,x3),angle(d,c,d,m,1,x6)]
  55. [my_length(c,d,x5),my_length(m,d,x2),angle(d,c,d,m,-1,x3),angle(m,d,m,c,1,x7)]
  56. [my_length(c,d,x5),angle(d,c,d,m,-1,x3),area_triangle(m,c,d,x8)]
  57. [my_length(d,c,x5),my_length(d,m,x2),angle(d,c,d,m,-1,x3)]
  58. [my_length(m,d,x2),angle(d,c,d,m,-1,x3),angle(d,c,d,m,1,x6),angle(m,d,m,c,-1,x4)]
  59. [my_length(m,d,x2),angle(d,c,d,m,-1,x3),angle(m,d,m,c,-1,x4),angle(m,d,m,c,1,x7)]
  60. [my_length(m,c,x1),angle(d,c,d,m,-1,x3),angle(d,c,d,m,1,x6),angle(m,d,m,c,-1,x4)]
  61. [my_length(m,c,x1),angle(d,c,d,m,-1,x3),angle(m,d,m,c,-1,x4),angle(m,d,m,c,1,x7)]
  62. [my_length(m,c,x1),angle(d,c,d,m,-1,x3),angle(m,d,m,c,-1,x4),area_triangle(m,c,d,x8)]
  63. [my_length(d,c,x5),my_length(m,d,x2),angle(m,d,m,c,-1,x4)]
  64. [my_length(d,c,x5),my_length(d,m,x2),my_length(m,c,x1),angle(m,d,m,c,-1,x4)]
  65. [my_length(d,c,x5),my_length(m,c,x1),my_length(m,d,x2),angle(d,c,d,m,-1,x3)]
  66. [my_length(d,c,x5),angle(d,c,d,m,-1,x3),angle(d,c,d,m,1,x6),angle(m,d,m,c,-1,x4)]
  67. [my_length(d,c,x5),angle(d,c,d,m,-1,x3),angle(m,d,m,c,-1,x4),angle(m,d,m,c,1,x7)]
  68. [my_length(c,d,x5),angle(d,c,d,m,-1,x3),angle(m,d,m,c,-1,x4),area_triangle(m,c,d,x8)]
  69. [my_length(m,d,x2),angle(d,c,d,m,-1,x3),angle(d,c,d,m,1,x6),angle(m,d,m,c,1,x7)]
  70. [my_length(m,c,x1),angle(d,c,d,m,-1,x3),angle(d,c,d,m,1,x6),angle(m,d,m,c,1,x7)]
  71. [my_length(m,c,x1),angle(d,c,d,m,-1,x3),angle(d,c,d,m,1,x6),area_triangle(m,c,d,x8)]
  72. [my_length(d,c,x5),my_length(m,d,x2),angle(d,c,d,m,1,x6)]
  73. [my_length(d,c,x5),my_length(d,m,x2),my_length(m,c,x1),angle(d,c,d,m,1,x6)]
  74. [my_length(d,c,x5),angle(d,c,d,m,-1,x3),angle(d,c,d,m,1,x6),angle(m,d,m,c,1,x7)]
  75. [my_length(c,d,x5),angle(d,c,d,m,-1,x3),angle(d,c,d,m,1,x6),area_triangle(m,c,d,x8)]
  76. [my_length(m,c,x1),angle(d,c,d,m,-1,x3),angle(m,d,m,c,1,x7),area_triangle(m,c,d,x8)]
  77. [my_length(d,c,x5),my_length(m,d,x2),angle(m,d,m,c,1,x7)]
  78. [my_length(d,c,x5),my_length(d,m,x2),my_length(m,c,x1),angle(m,d,m,c,1,x7)]
  79. [my_length(c,d,x5),angle(d,c,d,m,-1,x3),angle(m,d,m,c,1,x7),area_triangle(m,c,d,x8)]
  80. [my_length(m,c,x1),my_length(m,d,x2),area_triangle(m,c,d,x8)]
  81. [my_length(c,d,x5),my_length(m,d,x2),area_triangle(m,c,d,x8)]
  82. [my_length(m,c,x1),my_length(m,d,x2),angle(d,c,d,m,1,x6),angle(m,d,m,c,-1,x4)]
  83. [my_length(m,c,x1),my_length(m,d,x2),angle(m,d,m,c,-1,x4),angle(m,d,m,c,1,x7)]
  84. [my_length(c,d,x5),my_length(m,d,x2),angle(d,c,d,m,1,x6),angle(m,d,m,c,-1,x4)]
  85. [my_length(c,d,x5),my_length(m,d,x2),angle(m,d,m,c,-1,x4),angle(m,d,m,c,1,x7)]
  86. [my_length(c,d,x5),angle(m,d,m,c,-1,x4),area_triangle(m,c,d,x8)]
  87. [my_length(m,d,x2),angle(d,c,d,m,1,x6),angle(m,d,m,c,-1,x4),angle(m,d,m,c,1,x7)]
  88. [my_length(m,c,x1),angle(d,c,d,m,1,x6),angle(m,d,m,c,-1,x4),angle(m,d,m,c,1,x7)]
  89. [my_length(m,c,x1),angle(d,c,d,m,1,x6),angle(m,d,m,c,-1,x4),area_triangle(m,c,d,x8)]
  90. [my_length(d,c,x5),angle(d,c,d,m,1,x6),angle(m,d,m,c,-1,x4),angle(m,d,m,c,1,x7)]
  91. [my_length(c,d,x5),angle(d,c,d,m,1,x6),angle(m,d,m,c,-1,x4),area_triangle(m,c,d,x8)]
  92. [my_length(m,c,x1),angle(m,d,m,c,-1,x4),angle(m,d,m,c,1,x7),area_triangle(m,c,d,x8)]
  93. [my_length(c,d,x5),angle(m,d,m,c,-1,x4),angle(m,d,m,c,1,x7),area_triangle(m,c,d,x8)]
  94. [my_length(c,d,x5),my_length(m,d,x2),angle(d,c,d,m,-1,x3),area_triangle(m,c,d,x8)]
  95. [my_length(d,c,x5),my_length(m,c,x1),angle(d,c,d,m,-1,x3),angle(m,d,m,c,-1,x4)]
  96. [my_length(d,c,x5),my_length(m,c,x1),angle(d,c,d,m,-1,x3),angle(d,c,d,m,1,x6)]
  97. [my_length(d,c,x5),my_length(m,c,x1),angle(d,c,d,m,-1,x3),angle(m,d,m,c,1,x7)]
  98. [my_length(m,d,x2),angle(d,c,d,m,-1,x3),area_triangle(m,c,d,x8)]
  99. [my_length(m,d,x2),angle(d,c,d,m,-1,x3),angle(m,d,m,c,-1,x4),area_triangle(m,c,d,x8)]
  100. [my_length(m,d,x2),angle(d,c,d,m,-1,x3),angle(d,c,d,m,1,x6),area_triangle(m,c,d,x8)]
  101. [my_length(m,d,x2),angle(d,c,d,m,-1,x3),angle(m,d,m,c,1,x7),area_triangle(m,c,d,x8)]
  102. [my_length(d,c,x5),my_length(m,c,x1),my_length(m,d,x2),area_triangle(m,c,d,x8)]
  103. [my_length(d,c,x5),my_length(m,c,x1),area_triangle(m,c,d,x8)]
  104. [my_length(m,c,x1),area_triangle(m,c,d,x8)]
  105. [my_length(c,d,x5),my_length(m,d,x2),angle(m,d,m,c,-1,x4),area_triangle(m,c,d,x8)]
  106. [my_length(d,c,x5),my_length(m,c,x1),angle(d,c,d,m,1,x6),angle(m,d,m,c,-1,x4)]
  107. [my_length(d,c,x5),my_length(m,c,x1),angle(m,d,m,c,-1,x4),angle(m,d,m,c,1,x7)]
  108. [my_length(m,d,x2),angle(m,d,m,c,-1,x4),area_triangle(m,c,d,x8)]
  109. [my_length(m,d,x2),angle(d,c,d,m,1,x6),angle(m,d,m,c,-1,x4),area_triangle(m,c,d,x8)]
  110. [my_length(m,d,x2),angle(m,d,m,c,-1,x4),angle(m,d,m,c,1,x7),area_triangle(m,c,d,x8)]
  111. [my_length(m,c,x1),my_length(m,d,x2),angle(d,c,d,m,1,x6),angle(m,d,m,c,1,x7)]
  112. [my_length(c,d,x5),my_length(m,d,x2),angle(d,c,d,m,1,x6),angle(m,d,m,c,1,x7)]
  113. [my_length(c,d,x5),angle(d,c,d,m,1,x6),area_triangle(m,c,d,x8)]
  114. [my_length(m,c,x1),angle(d,c,d,m,1,x6),angle(m,d,m,c,1,x7),area_triangle(m,c,d,x8)]
  115. [my_length(c,d,x5),angle(d,c,d,m,1,x6),angle(m,d,m,c,1,x7),area_triangle(m,c,d,x8)]
  116. [my_length(c,d,x5),angle(m,d,m,c,1,x7),area_triangle(m,c,d,x8)]
  117. [my_length(c,d,x5),my_length(m,d,x2),angle(d,c,d,m,1,x6),area_triangle(m,c,d,x8)]
  118. [my_length(d,c,x5),my_length(m,c,x1),angle(d,c,d,m,1,x6),angle(m,d,m,c,1,x7)]
  119. [my_length(m,d,x2),angle(d,c,d,m,1,x6),area_triangle(m,c,d,x8)]
  120. [my_length(m,d,x2),angle(d,c,d,m,1,x6),angle(m,d,m,c,1,x7),area_triangle(m,c,d,x8)]
  121. [my_length(c,d,x5),my_length(m,d,x2),angle(m,d,m,c,1,x7),area_triangle(m,c,d,x8)]
  122. [my_length(m,d,x2),angle(m,d,m,c,1,x7),area_triangle(m,c,d,x8)]
  123. [my_length(d,c,x5),my_length(m,d,x2),angle(d,c,d,m,-1,x3),angle(d,c,d,m,1,x6),angle(m,d,m,c,-1,x4)]
  124. [my_length(d,c,x5),my_length(m,d,x2),angle(d,c,d,m,-1,x3),angle(m,d,m,c,-1,x4),angle(m,d,m,c,1,x7)]
  125. [my_length(c,d,x5),my_length(m,d,x2),angle(d,c,d,m,-1,x3),angle(m,d,m,c,-1,x4),area_triangle(m,c,d,x8)]
  126. [my_length(d,c,x5),my_length(m,c,x1),angle(d,c,d,m,-1,x3),angle(d,c,d,m,1,x6),angle(m,d,m,c,-1,x4)]
  127. [my_length(d,c,x5),my_length(m,c,x1),angle(d,c,d,m,-1,x3),angle(m,d,m,c,-1,x4),angle(m,d,m,c,1,x7)]
  128. [my_length(d,c,x5),my_length(m,d,x2),angle(d,c,d,m,-1,x3),angle(d,c,d,m,1,x6),angle(m,d,m,c,1,x7)]
  129. [my_length(c,d,x5),my_length(m,d,x2),angle(d,c,d,m,-1,x3),angle(d,c,d,m,1,x6),area_triangle(m,c,d,x8)]
  130. [my_length(d,c,x5),my_length(m,c,x1),angle(d,c,d,m,-1,x3),angle(d,c,d,m,1,x6),angle(m,d,m,c,1,x7)]
  131. [my_length(c,d,x5),my_length(m,d,x2),angle(d,c,d,m,-1,x3),angle(m,d,m,c,1,x7),area_triangle(m,c,d,x8)]
  132. [my_length(m,c,x1),my_length(m,d,x2),angle(d,c,d,m,-1,x3),angle(d,c,d,m,1,x6),angle(m,d,m,c,-1,x4)]
  133. [my_length(m,c,x1),my_length(m,d,x2),angle(d,c,d,m,-1,x3),angle(m,d,m,c,-1,x4),angle(m,d,m,c,1,x7)]
  134. [my_length(m,c,x1),my_length(m,d,x2),angle(d,c,d,m,-1,x3),angle(m,d,m,c,-1,x4),area_triangle(m,c,d,x8)]
  135. [my_length(m,c,x1),my_length(m,d,x2),angle(d,c,d,m,-1,x3),angle(d,c,d,m,1,x6),angle(m,d,m,c,1,x7)]
  136. [my_length(m,c,x1),my_length(m,d,x2),angle(d,c,d,m,-1,x3),angle(d,c,d,m,1,x6),area_triangle(m,c,d,x8)]
  137. [my_length(m,c,x1),my_length(m,d,x2),angle(d,c,d,m,-1,x3),angle(m,d,m,c,1,x7),area_triangle(m,c,d,x8)]
  138. [my_length(c,m,x1),my_length(d,m,x2),angle(d,c,d,m,-1,x3),area_triangle(m,c,d,x8)]
  139. [my_length(d,c,x5),angle(d,c,d,m,-1,x3),angle(d,c,d,m,1,x6),angle(m,d,m,c,-1,x4),angle(m,d,m,c,1,x7)]
  140. [my_length(m,c,x1),angle(d,c,d,m,-1,x3),angle(d,c,d,m,1,x6),angle(m,d,m,c,-1,x4),angle(m,d,m,c,1,x7)]
  141. [my_length(d,c,x5),my_length(m,c,x1),my_length(m,d,x2),angle(d,c,d,m,1,x6),angle(m,d,m,c,-1,x4)]
  142. [my_length(d,c,x5),my_length(m,c,x1),my_length(m,d,x2),angle(d,c,d,m,-1,x3),angle(m,d,m,c,-1,x4)]
  143. [my_length(d,c,x5),my_length(m,c,x1),my_length(m,d,x2),angle(d,c,d,m,-1,x3),angle(d,c,d,m,1,x6)]
  144. [my_length(d,c,x5),my_length(m,c,x1),my_length(m,d,x2),angle(m,d,m,c,-1,x4),angle(m,d,m,c,1,x7)]
  145. [my_length(d,c,x5),my_length(m,c,x1),my_length(m,d,x2),angle(d,c,d,m,-1,x3),angle(m,d,m,c,1,x7)]
  146. [my_length(m,d,x2),angle(d,c,d,m,-1,x3),angle(d,c,d,m,1,x6),angle(m,d,m,c,-1,x4),angle(m,d,m,c,1,x7)]
  147. [my_length(c,d,x5),angle(d,c,d,m,-1,x3),angle(d,c,d,m,1,x6),angle(m,d,m,c,-1,x4),area_triangle(m,c,d,x8)]
  148. [my_length(c,d,x5),angle(d,c,d,m,-1,x3),angle(m,d,m,c,-1,x4),angle(m,d,m,c,1,x7),area_triangle(m,c,d,x8)]
  149. [my_length(m,d,x2),angle(d,c,d,m,-1,x3),angle(d,c,d,m,1,x6),angle(m,d,m,c,-1,x4),area_triangle(m,c,d,x8)]
  150. [my_length(m,d,x2),angle(d,c,d,m,-1,x3),angle(m,d,m,c,-1,x4),angle(m,d,m,c,1,x7),area_triangle(m,c,d,x8)]
  151. [my_length(d,c,x5),my_length(m,c,x1),my_length(m,d,x2),angle(m,d,m,c,-1,x4),area_triangle(m,c,d,x8)]
  152. [my_length(d,c,x5),my_length(m,c,x1),angle(m,d,m,c,-1,x4),area_triangle(m,c,d,x8)]
  153. [my_length(d,m,x2),my_length(m,c,x1),angle(m,d,m,c,-1,x4),area_triangle(m,c,d,x8)]
  154. [my_length(d,c,x5),my_length(m,c,x1),angle(d,c,d,m,-1,x3),area_triangle(m,c,d,x8)]
  155. [my_length(d,c,x5),my_length(d,m,x2),my_length(m,c,x1),angle(d,c,d,m,-1,x3),area_triangle(m,c,d,x8)]
  156. [my_length(m,c,x1),angle(d,c,d,m,-1,x3),angle(d,c,d,m,1,x6),angle(m,d,m,c,-1,x4),area_triangle(m,c,d,x8)]
  157. [my_length(m,c,x1),angle(d,c,d,m,-1,x3),angle(m,d,m,c,-1,x4),angle(m,d,m,c,1,x7),area_triangle(m,c,d,x8)]
  158. [my_length(d,c,x5),my_length(m,c,x1),my_length(m,d,x2),angle(d,c,d,m,1,x6),angle(m,d,m,c,1,x7)]
  159. [my_length(c,d,x5),angle(d,c,d,m,-1,x3),angle(d,c,d,m,1,x6),angle(m,d,m,c,1,x7),area_triangle(m,c,d,x8)]
  160. [my_length(m,d,x2),angle(d,c,d,m,-1,x3),angle(d,c,d,m,1,x6),angle(m,d,m,c,1,x7),area_triangle(m,c,d,x8)]
  161. [my_length(d,c,x5),my_length(m,c,x1),my_length(m,d,x2),angle(d,c,d,m,1,x6),area_triangle(m,c,d,x8)]
  162. [my_length(d,c,x5),my_length(m,c,x1),angle(d,c,d,m,1,x6),area_triangle(m,c,d,x8)]
  163. [my_length(d,m,x2),my_length(m,c,x1),angle(d,c,d,m,1,x6),area_triangle(m,c,d,x8)]
  164. [my_length(m,c,x1),angle(d,c,d,m,-1,x3),angle(d,c,d,m,1,x6),angle(m,d,m,c,1,x7),area_triangle(m,c,d,x8)]
  165. [my_length(d,c,x5),my_length(m,c,x1),my_length(m,d,x2),angle(m,d,m,c,1,x7),area_triangle(m,c,d,x8)]
  166. [my_length(d,c,x5),my_length(m,c,x1),angle(m,d,m,c,1,x7),area_triangle(m,c,d,x8)]
  167. [my_length(d,m,x2),my_length(m,c,x1),angle(m,d,m,c,1,x7),area_triangle(m,c,d,x8)]
  168. [my_length(d,c,x5),my_length(m,d,x2),angle(d,c,d,m,1,x6),angle(m,d,m,c,-1,x4),angle(m,d,m,c,1,x7)]
  169. [my_length(c,d,x5),my_length(m,d,x2),angle(d,c,d,m,1,x6),angle(m,d,m,c,-1,x4),area_triangle(m,c,d,x8)]
  170. [my_length(d,c,x5),my_length(m,c,x1),angle(d,c,d,m,1,x6),angle(m,d,m,c,-1,x4),angle(m,d,m,c,1,x7)]
  171. [my_length(c,d,x5),my_length(m,d,x2),angle(m,d,m,c,-1,x4),angle(m,d,m,c,1,x7),area_triangle(m,c,d,x8)]
  172. [my_length(m,c,x1),my_length(m,d,x2),angle(d,c,d,m,1,x6),angle(m,d,m,c,-1,x4),angle(m,d,m,c,1,x7)]
  173. [my_length(m,c,x1),my_length(m,d,x2),angle(d,c,d,m,1,x6),angle(m,d,m,c,-1,x4),area_triangle(m,c,d,x8)]
  174. [my_length(m,c,x1),my_length(m,d,x2),angle(m,d,m,c,-1,x4),angle(m,d,m,c,1,x7),area_triangle(m,c,d,x8)]
  175. [my_length(c,d,x5),angle(d,c,d,m,1,x6),angle(m,d,m,c,-1,x4),angle(m,d,m,c,1,x7),area_triangle(m,c,d,x8)]
  176. [my_length(m,d,x2),angle(d,c,d,m,1,x6),angle(m,d,m,c,-1,x4),angle(m,d,m,c,1,x7),area_triangle(m,c,d,x8)]
  177. [my_length(m,c,x1),angle(d,c,d,m,1,x6),angle(m,d,m,c,-1,x4),angle(m,d,m,c,1,x7),area_triangle(m,c,d,x8)]
  178. [my_length(c,d,x5),my_length(m,c,x1),angle(d,c,d,m,-1,x3),angle(m,d,m,c,-1,x4),area_triangle(m,c,d,x8)]
  179. [my_length(c,d,x5),my_length(m,c,x1),angle(d,c,d,m,-1,x3),angle(d,c,d,m,1,x6),area_triangle(m,c,d,x8)]
  180. [my_length(c,d,x5),my_length(m,c,x1),angle(d,c,d,m,-1,x3),angle(m,d,m,c,1,x7),area_triangle(m,c,d,x8)]
  181. [my_length(c,d,x5),my_length(m,c,x1),angle(d,c,d,m,1,x6),angle(m,d,m,c,-1,x4),area_triangle(m,c,d,x8)]
  182. [my_length(c,d,x5),my_length(m,c,x1),angle(m,d,m,c,-1,x4),angle(m,d,m,c,1,x7),area_triangle(m,c,d,x8)]
  183. [my_length(c,d,x5),my_length(m,d,x2),angle(d,c,d,m,1,x6),angle(m,d,m,c,1,x7),area_triangle(m,c,d,x8)]
  184. [my_length(m,c,x1),my_length(m,d,x2),angle(d,c,d,m,1,x6),angle(m,d,m,c,1,x7),area_triangle(m,c,d,x8)]
  185. [my_length(c,d,x5),my_length(m,c,x1),angle(d,c,d,m,1,x6),angle(m,d,m,c,1,x7),area_triangle(m,c,d,x8)]
  186. [my_length(m,c,x1),my_length(m,d,x2),angle(d,c,d,m,-1,x3),angle(d,c,d,m,1,x6),angle(m,d,m,c,-1,x4),angle(m,d,m,c,1,x7)]
  187. [my_length(m,c,x1),my_length(m,d,x2),angle(d,c,d,m,-1,x3),angle(d,c,d,m,1,x6),angle(m,d,m,c,-1,x4),area_triangle(m,c,d,x8)]
  188. [my_length(d,c,x5),my_length(m,c,x1),angle(d,c,d,m,-1,x3),angle(d,c,d,m,1,x6),angle(m,d,m,c,-1,x4),angle(m,d,m,c,1,x7)]
  189. [my_length(m,c,x1),my_length(m,d,x2),angle(d,c,d,m,-1,x3),angle(m,d,m,c,-1,x4),angle(m,d,m,c,1,x7),area_triangle(m,c,d,x8)]
  190. [my_length(c,d,x5),my_length(m,c,x1),angle(d,c,d,m,-1,x3),angle(d,c,d,m,1,x6),angle(m,d,m,c,-1,x4),area_triangle(m,c,d,x8)]
  191. [my_length(c,d,x5),my_length(m,c,x1),angle(d,c,d,m,-1,x3),angle(m,d,m,c,-1,x4),angle(m,d,m,c,1,x7),area_triangle(m,c,d,x8)]
  192. [my_length(d,c,x5),my_length(m,d,x2),angle(d,c,d,m,-1,x3),angle(d,c,d,m,1,x6),angle(m,d,m,c,-1,x4),angle(m,d,m,c,1,x7)]
  193. [my_length(m,c,x1),my_length(m,d,x2),angle(d,c,d,m,-1,x3),angle(d,c,d,m,1,x6),angle(m,d,m,c,1,x7),area_triangle(m,c,d,x8)]
  194. [my_length(c,d,x5),my_length(m,c,x1),angle(d,c,d,m,-1,x3),angle(d,c,d,m,1,x6),angle(m,d,m,c,1,x7),area_triangle(m,c,d,x8)]
  195. [my_length(c,d,x5),my_length(m,d,x2),angle(d,c,d,m,-1,x3),angle(d,c,d,m,1,x6),angle(m,d,m,c,-1,x4),area_triangle(m,c,d,x8)]
  196. [my_length(c,d,x5),my_length(m,d,x2),angle(d,c,d,m,-1,x3),angle(m,d,m,c,-1,x4),angle(m,d,m,c,1,x7),area_triangle(m,c,d,x8)]
  197. [my_length(c,d,x5),my_length(m,d,x2),angle(d,c,d,m,-1,x3),angle(d,c,d,m,1,x6),angle(m,d,m,c,1,x7),area_triangle(m,c,d,x8)]
  198. [my_length(m,c,x1),angle(d,c,d,m,-1,x3),angle(d,c,d,m,1,x6),angle(m,d,m,c,-1,x4),angle(m,d,m,c,1,x7),area_triangle(m,c,d,x8)]
  199. [my_length(d,c,x5),my_length(d,m,x2),my_length(m,c,x1),angle(d,c,d,m,1,x6),angle(m,d,m,c,-1,x4),angle(m,d,m,c,1,x7)]
  200. [my_length(d,c,x5),my_length(m,c,x1),my_length(m,d,x2),angle(d,c,d,m,-1,x3),angle(m,d,m,c,-1,x4),angle(m,d,m,c,1,x7)]
  201. [my_length(d,c,x5),my_length(m,c,x1),my_length(m,d,x2),angle(d,c,d,m,-1,x3),angle(d,c,d,m,1,x6),angle(m,d,m,c,1,x7)]
  202. [my_length(d,c,x5),my_length(m,c,x1),my_length(m,d,x2),angle(d,c,d,m,-1,x3),angle(d,c,d,m,1,x6),angle(m,d,m,c,-1,x4)]
  203. [my_length(c,d,x5),angle(d,c,d,m,-1,x3),angle(d,c,d,m,1,x6),angle(m,d,m,c,-1,x4),angle(m,d,m,c,1,x7),area_triangle(m,c,d,x8)]
  204. [my_length(m,d,x2),angle(d,c,d,m,-1,x3),angle(d,c,d,m,1,x6),angle(m,d,m,c,-1,x4),angle(m,d,m,c,1,x7),area_triangle(m,c,d,x8)]
  205. [my_length(c,d,x5),my_length(d,m,x2),my_length(m,c,x1),angle(d,c,d,m,1,x6),angle(m,d,m,c,-1,x4),area_triangle(m,c,d,x8)]
  206. [my_length(c,d,x5),my_length(m,c,x1),my_length(m,d,x2),angle(d,c,d,m,-1,x3),angle(m,d,m,c,-1,x4),area_triangle(m,c,d,x8)]
  207. [my_length(c,d,x5),my_length(m,c,x1),my_length(m,d,x2),angle(d,c,d,m,-1,x3),angle(d,c,d,m,1,x6),area_triangle(m,c,d,x8)]
  208. [my_length(c,d,x5),my_length(d,m,x2),my_length(m,c,x1),angle(m,d,m,c,-1,x4),angle(m,d,m,c,1,x7),area_triangle(m,c,d,x8)]
  209. [my_length(c,d,x5),my_length(m,c,x1),my_length(m,d,x2),angle(d,c,d,m,-1,x3),angle(m,d,m,c,1,x7),area_triangle(m,c,d,x8)]
  210. [my_length(c,d,x5),my_length(d,m,x2),my_length(m,c,x1),angle(d,c,d,m,1,x6),angle(m,d,m,c,1,x7),area_triangle(m,c,d,x8)]
  211. [my_length(m,c,x1),my_length(m,d,x2),angle(d,c,d,m,1,x6),angle(m,d,m,c,-1,x4),angle(m,d,m,c,1,x7),area_triangle(m,c,d,x8)]
  212. [my_length(c,d,x5),my_length(m,c,x1),angle(d,c,d,m,1,x6),angle(m,d,m,c,-1,x4),angle(m,d,m,c,1,x7),area_triangle(m,c,d,x8)]
  213. [my_length(c,d,x5),my_length(m,d,x2),angle(d,c,d,m,1,x6),angle(m,d,m,c,-1,x4),angle(m,d,m,c,1,x7),area_triangle(m,c,d,x8)]
  214. [my_length(c,d,x5),my_length(m,d,x2),angle(d,c,d,m,-1,x3),angle(d,c,d,m,1,x6),angle(m,d,m,c,-1,x4),angle(m,d,m,c,1,x7),area_triangle(m,c,d,x8)]
  215. [my_length(d,c,x5),my_length(m,c,x1),angle(d,c,d,m,-1,x3),angle(d,c,d,m,1,x6),angle(m,d,m,c,-1,x4),angle(m,d,m,c,1,x7),area_triangle(m,c,d,x8)]
  216. [my_length(m,c,x1),my_length(m,d,x2),angle(d,c,d,m,-1,x3),angle(d,c,d,m,1,x6),angle(m,d,m,c,-1,x4),angle(m,d,m,c,1,x7),area_triangle(m,c,d,x8)]
  217. [my_length(d,c,x5),my_length(m,c,x1),my_length(m,d,x2),angle(d,c,d,m,1,x6),angle(m,d,m,c,-1,x4),angle(m,d,m,c,1,x7),area_triangle(m,c,d,x8)]
  218. [my_length(d,c,x5),my_length(d,m,x2),my_length(m,c,x1),angle(d,c,d,m,-1,x3),angle(m,d,m,c,-1,x4),angle(m,d,m,c,1,x7),area_triangle(m,c,d,x8)]
  219. [my_length(d,c,x5),my_length(d,m,x2),my_length(m,c,x1),angle(d,c,d,m,-1,x3),angle(d,c,d,m,1,x6),angle(m,d,m,c,1,x7),area_triangle(m,c,d,x8)]
  220. [my_length(d,c,x5),my_length(d,m,x2),my_length(m,c,x1),angle(d,c,d,m,-1,x3),angle(d,c,d,m,1,x6),angle(m,d,m,c,-1,x4),area_triangle(m,c,d,x8)]
  221. [my_length(c,d,x5),my_length(m,c,x1),my_length(m,d,x2),angle(d,c,d,m,-1,x3),angle(d,c,d,m,1,x6),angle(m,d,m,c,-1,x4),angle(m,d,m,c,1,x7)]
  222. [my_length(c,d,x5)]
  223. [angle(d,c,d,m,-1,x3)]
  224. [angle(d,c,d,m,1,x6)]
  225. [angle(m,c,m,d,-1,x4)]
  226. [angle(m,c,m,d,1,x7)]
  227. [my_length(d,m,x2)]
  228. [my_length(c,d,x5),my_length(m,d,x2)]
  229. [my_length(c,d,x5),area_triangle(m,c,d,x8)]
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement