API tools faq
paste
Advertisement
shubhamgoyal

Untitled

shubhamgoyal
Jan 20th, 2017
143
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 37.17 KB | None | 0 0
raw download clone embed print report
  1. [my_length(c,m,x1)]
  2. [my_length(m,d,x2),angle(d,c,d,m,-1,x3)]
  3. [my_length(m,d,x2),angle(m,d,m,c,-1,x4)]
  4. [my_length(d,c,x5),angle(d,c,d,m,-1,x3)]
  5. [my_length(d,c,x5),angle(m,d,m,c,-1,x4)]
  6. [my_length(m,d,x2),angle(d,c,d,m,1,x6)]
  7. [my_length(m,d,x2),angle(m,d,m,c,1,x7)]
  8. [my_length(d,c,x5),angle(d,c,d,m,1,x6)]
  9. [my_length(d,c,x5),angle(m,d,m,c,1,x7)]
  10. [my_length(c,d,x5),my_length(m,c,x1),angle(d,c,d,m,-1,x3)]
  11. [my_length(d,c,x5),angle(d,c,d,m,-1,x3),angle(m,d,m,c,-1,x4)]
  12. [my_length(m,c,x1),angle(d,c,d,m,-1,x3),angle(m,d,m,c,-1,x4)]
  13. [my_length(d,c,x5),angle(d,c,d,m,-1,x3),angle(d,c,d,m,1,x6)]
  14. [my_length(m,c,x1),angle(d,c,d,m,-1,x3),angle(d,c,d,m,1,x6)]
  15. [my_length(d,c,x5),angle(d,c,d,m,-1,x3),angle(m,d,m,c,1,x7)]
  16. [my_length(m,c,x1),angle(d,c,d,m,-1,x3),angle(m,d,m,c,1,x7)]
  17. [my_length(m,c,x1),angle(d,m,d,c,1,x6)]
  18. [my_length(d,c,x5),my_length(m,c,x1),my_length(m,d,x2)]
  19. [my_length(d,m,x2),my_length(m,c,x1)]
  20. [my_length(c,d,x5),my_length(m,c,x1),angle(m,d,m,c,-1,x4)]
  21. [my_length(d,c,x5),angle(d,c,d,m,1,x6),angle(m,d,m,c,-1,x4)]
  22. [my_length(m,c,x1),angle(d,c,d,m,1,x6),angle(m,d,m,c,-1,x4)]
  23. [my_length(d,c,x5),angle(m,d,m,c,-1,x4),angle(m,d,m,c,1,x7)]
  24. [my_length(m,c,x1),angle(m,d,m,c,-1,x4),angle(m,d,m,c,1,x7)]
  25. [my_length(m,c,x1),angle(m,c,m,d,1,x7)]
  26. [my_length(m,c,x1),my_length(m,d,x2),angle(d,c,d,m,-1,x3)]
  27. [my_length(m,d,x2),angle(d,c,d,m,-1,x3),angle(m,d,m,c,-1,x4)]
  28. [my_length(m,d,x2),angle(d,c,d,m,-1,x3),angle(d,c,d,m,1,x6)]
  29. [my_length(m,d,x2),angle(d,c,d,m,-1,x3),angle(m,d,m,c,1,x7)]
  30. [my_length(m,c,x1),angle(d,c,d,m,-1,x3),area_triangle(m,c,d,x8)]
  31. [my_length(d,c,x5),my_length(m,c,x1)]
  32. [my_length(m,c,x1),my_length(m,d,x2),angle(m,d,m,c,-1,x4)]
  33. [my_length(m,d,x2),angle(d,c,d,m,1,x6),angle(m,d,m,c,-1,x4)]
  34. [my_length(m,d,x2),angle(m,d,m,c,-1,x4),angle(m,d,m,c,1,x7)]
  35. [my_length(m,c,x1),angle(m,d,m,c,-1,x4),area_triangle(m,c,d,x8)]
  36. [my_length(c,d,x5),my_length(m,c,x1),angle(d,c,d,m,1,x6)]
  37. [my_length(d,c,x5),angle(d,c,d,m,1,x6),angle(m,d,m,c,1,x7)]
  38. [my_length(m,c,x1),angle(d,c,d,m,1,x6),angle(m,d,m,c,1,x7)]
  39. [my_length(m,c,x1),angle(d,m,d,c,-1,x3)]
  40. [my_length(c,d,x5),my_length(m,c,x1),angle(m,d,m,c,1,x7)]
  41. [my_length(m,c,x1),angle(m,c,m,d,-1,x4)]
  42. [my_length(m,c,x1),my_length(m,d,x2),angle(d,c,d,m,1,x6)]
  43. [my_length(m,d,x2),angle(d,c,d,m,1,x6),angle(m,d,m,c,1,x7)]
  44. [my_length(m,c,x1),angle(d,c,d,m,1,x6),area_triangle(m,c,d,x8)]
  45. [my_length(m,c,x1),my_length(m,d,x2),angle(m,d,m,c,1,x7)]
  46. [my_length(m,c,x1),angle(m,d,m,c,1,x7),area_triangle(m,c,d,x8)]
  47. [my_length(m,c,x1),my_length(m,d,x2),angle(d,c,d,m,-1,x3),angle(m,d,m,c,-1,x4)]
  48. [my_length(m,c,x1),my_length(m,d,x2),angle(d,c,d,m,-1,x3),angle(d,c,d,m,1,x6)]
  49. [my_length(m,c,x1),my_length(m,d,x2),angle(d,c,d,m,-1,x3),angle(m,d,m,c,1,x7)]
  50. [my_length(c,d,x5),my_length(m,d,x2),angle(d,c,d,m,-1,x3),angle(m,d,m,c,-1,x4)]
  51. [my_length(c,d,x5),my_length(m,d,x2),angle(d,c,d,m,-1,x3),angle(d,c,d,m,1,x6)]
  52. [my_length(c,d,x5),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),angle(d,c,d,m,-1,x3),area_triangle(m,c,d,x8)]
  54. [my_length(d,c,x5),my_length(d,m,x2),angle(d,c,d,m,-1,x3)]
  55. [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)]
  56. [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)]
  57. [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)]
  58. [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)]
  59. [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)]
  60. [my_length(d,c,x5),my_length(m,d,x2),angle(m,d,m,c,-1,x4)]
  61. [my_length(d,c,x5),my_length(d,m,x2),my_length(m,c,x1),angle(m,d,m,c,-1,x4)]
  62. [my_length(d,c,x5),my_length(m,c,x1),my_length(m,d,x2),angle(d,c,d,m,-1,x3)]
  63. [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)]
  64. [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)]
  65. [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)]
  66. [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)]
  67. [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)]
  68. [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)]
  69. [my_length(d,c,x5),my_length(m,d,x2),angle(d,c,d,m,1,x6)]
  70. [my_length(d,c,x5),my_length(d,m,x2),my_length(m,c,x1),angle(d,c,d,m,1,x6)]
  71. [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)]
  72. [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)]
  73. [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)]
  74. [my_length(d,c,x5),my_length(m,d,x2),angle(m,d,m,c,1,x7)]
  75. [my_length(d,c,x5),my_length(d,m,x2),my_length(m,c,x1),angle(m,d,m,c,1,x7)]
  76. [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)]
  77. [my_length(m,c,x1),my_length(m,d,x2),area_triangle(m,c,d,x8)]
  78. [my_length(c,d,x5),my_length(m,d,x2),area_triangle(m,c,d,x8)]
  79. [my_length(m,c,x1),my_length(m,d,x2),angle(d,c,d,m,1,x6),angle(m,d,m,c,-1,x4)]
  80. [my_length(m,c,x1),my_length(m,d,x2),angle(m,d,m,c,-1,x4),angle(m,d,m,c,1,x7)]
  81. [my_length(c,d,x5),my_length(m,d,x2),angle(d,c,d,m,1,x6),angle(m,d,m,c,-1,x4)]
  82. [my_length(c,d,x5),my_length(m,d,x2),angle(m,d,m,c,-1,x4),angle(m,d,m,c,1,x7)]
  83. [my_length(c,d,x5),angle(m,d,m,c,-1,x4),area_triangle(m,c,d,x8)]
  84. [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)]
  85. [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)]
  86. [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)]
  87. [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)]
  88. [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)]
  89. [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)]
  90. [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)]
  91. [my_length(c,d,x5),my_length(m,d,x2),angle(d,c,d,m,-1,x3),area_triangle(m,c,d,x8)]
  92. [my_length(d,c,x5),my_length(m,c,x1),angle(d,c,d,m,-1,x3),angle(m,d,m,c,-1,x4)]
  93. [my_length(d,c,x5),my_length(m,c,x1),angle(d,c,d,m,-1,x3),angle(d,c,d,m,1,x6)]
  94. [my_length(d,c,x5),my_length(m,c,x1),angle(d,c,d,m,-1,x3),angle(m,d,m,c,1,x7)]
  95. [my_length(m,d,x2),angle(d,c,d,m,-1,x3),area_triangle(m,c,d,x8)]
  96. [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)]
  97. [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)]
  98. [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)]
  99. [my_length(d,c,x5),my_length(m,c,x1),my_length(m,d,x2),area_triangle(m,c,d,x8)]
  100. [my_length(d,c,x5),my_length(m,c,x1),area_triangle(m,c,d,x8)]
  101. [my_length(m,c,x1),area_triangle(m,c,d,x8)]
  102. [my_length(c,d,x5),my_length(m,d,x2),angle(m,d,m,c,-1,x4),area_triangle(m,c,d,x8)]
  103. [my_length(d,c,x5),my_length(m,c,x1),angle(d,c,d,m,1,x6),angle(m,d,m,c,-1,x4)]
  104. [my_length(d,c,x5),my_length(m,c,x1),angle(m,d,m,c,-1,x4),angle(m,d,m,c,1,x7)]
  105. [my_length(m,d,x2),angle(m,d,m,c,-1,x4),area_triangle(m,c,d,x8)]
  106. [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)]
  107. [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)]
  108. [my_length(m,c,x1),my_length(m,d,x2),angle(d,c,d,m,1,x6),angle(m,d,m,c,1,x7)]
  109. [my_length(c,d,x5),my_length(m,d,x2),angle(d,c,d,m,1,x6),angle(m,d,m,c,1,x7)]
  110. [my_length(c,d,x5),angle(d,c,d,m,1,x6),area_triangle(m,c,d,x8)]
  111. [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)]
  112. [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)]
  113. [my_length(c,d,x5),angle(m,d,m,c,1,x7),area_triangle(m,c,d,x8)]
  114. [my_length(c,d,x5),my_length(m,d,x2),angle(d,c,d,m,1,x6),area_triangle(m,c,d,x8)]
  115. [my_length(d,c,x5),my_length(m,c,x1),angle(d,c,d,m,1,x6),angle(m,d,m,c,1,x7)]
  116. [my_length(m,d,x2),angle(d,c,d,m,1,x6),area_triangle(m,c,d,x8)]
  117. [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)]
  118. [my_length(c,d,x5),my_length(m,d,x2),angle(m,d,m,c,1,x7),area_triangle(m,c,d,x8)]
  119. [my_length(m,d,x2),angle(m,d,m,c,1,x7),area_triangle(m,c,d,x8)]
  120. [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)]
  121. [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)]
  122. [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)]
  123. [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)]
  124. [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)]
  125. [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)]
  126. [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)]
  127. [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)]
  128. [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)]
  129. [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)]
  130. [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)]
  131. [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)]
  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,x7)]
  133. [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)]
  134. [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)]
  135. [my_length(c,m,x1),my_length(d,m,x2),angle(d,c,d,m,-1,x3),area_triangle(m,c,d,x8)]
  136. [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)]
  137. [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)]
  138. [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)]
  139. [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)]
  140. [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)]
  141. [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)]
  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,x7)]
  143. [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)]
  144. [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)]
  145. [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)]
  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),area_triangle(m,c,d,x8)]
  147. [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)]
  148. [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)]
  149. [my_length(d,c,x5),my_length(m,c,x1),angle(m,d,m,c,-1,x4),area_triangle(m,c,d,x8)]
  150. [my_length(d,m,x2),my_length(m,c,x1),angle(m,d,m,c,-1,x4),area_triangle(m,c,d,x8)]
  151. [my_length(d,c,x5),my_length(m,c,x1),angle(d,c,d,m,-1,x3),area_triangle(m,c,d,x8)]
  152. [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)]
  153. [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)]
  154. [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)]
  155. [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)]
  156. [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)]
  157. [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)]
  158. [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)]
  159. [my_length(d,c,x5),my_length(m,c,x1),angle(d,c,d,m,1,x6),area_triangle(m,c,d,x8)]
  160. [my_length(d,m,x2),my_length(m,c,x1),angle(d,c,d,m,1,x6),area_triangle(m,c,d,x8)]
  161. [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)]
  162. [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)]
  163. [my_length(d,c,x5),my_length(m,c,x1),angle(m,d,m,c,1,x7),area_triangle(m,c,d,x8)]
  164. [my_length(d,m,x2),my_length(m,c,x1),angle(m,d,m,c,1,x7),area_triangle(m,c,d,x8)]
  165. [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)]
  166. [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)]
  167. [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)]
  168. [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)]
  169. [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)]
  170. [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)]
  171. [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)]
  172. [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)]
  173. [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)]
  174. [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)]
  175. [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)]
  176. [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)]
  177. [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)]
  178. [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)]
  179. [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)]
  180. [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)]
  181. [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)]
  182. [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)]
  183. [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)]
  184. [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)]
  185. [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)]
  186. [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)]
  187. [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)]
  188. [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)]
  189. [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)]
  190. [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)]
  191. [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)]
  192. [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)]
  193. [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)]
  194. [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)]
  195. [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)]
  196. [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)]
  197. [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)]
  198. [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)]
  199. [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)]
  200. [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)]
  201. [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)]
  202. [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)]
  203. [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)]
  204. [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)]
  205. [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)]
  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,x7),area_triangle(m,c,d,x8)]
  207. [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)]
  208. [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)]
  209. [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)]
  210. [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)]
  211. [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)]
  212. [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)]
  213. [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)]
  214. [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)]
  215. [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)]
  216. [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)]
  217. [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)]
  218. [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)]
  219. [my_length(c,d,x5)]
  220. [my_length(d,m,x2)]
  221. [angle(d,c,d,m,-1,x3)]
  222. [angle(d,c,d,m,1,x6)]
  223. [angle(m,c,m,d,-1,x4)]
  224. [angle(m,c,m,d,1,x7)]
  225. [my_length(c,d,x5),my_length(m,d,x2)]
  226. [my_length(c,d,x5),area_triangle(m,c,d,x8)]
  227. Mandatory theorem = pythagoras
  228. RelevantTheorems = []
  229. NewListObjects = [[8,y,_G1396568],[8,y,99],[18,y,91],[5,y],[8,b,_G1396545],[15,b,y,57],[8,d,_G1396532],[8,d,115.16874457140389],[18,d,36.34131634420111],[5,d],[16,b,d],[8,m,_G1396497],[8,m,82.83125542859611],[18,m,145.65868365579888],[5,m],[16,b,m],[8,c,_G1396462],[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]]
  230. Mandatory theorem = pythagoras
  231. RelevantTheorems = [trigonometry]
  232. NewListObjects = [[8,y,_G1396574],[8,y,99],[18,y,91],[5,y],[8,b,_G1396551],[15,b,y,57],[8,d,_G1396538],[8,d,115.16874457140389],[18,d,36.34131634420111],[5,d],[16,b,d],[8,m,_G1396503],[8,m,82.83125542859611],[18,m,145.65868365579888],[5,m],[16,b,m],[8,c,_G1396468],[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]]
  233. Mandatory theorem = trigonometry
  234. RelevantTheorems = [pythagoras]
  235. NewListObjects = [[8,y,_G1396574],[8,y,99],[18,y,91],[5,y],[8,b,_G1396551],[15,b,y,57],[8,d,_G1396538],[8,d,115.16874457140389],[18,d,36.34131634420111],[5,d],[16,b,d],[8,m,_G1396503],[8,m,82.83125542859611],[18,m,145.65868365579888],[5,m],[16,b,m],[8,c,_G1396468],[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]]
  236. Mandatory theorem = area
  237. RelevantTheorems = []
  238. NewListObjects = [[8,y,_G1396574],[8,y,99],[18,y,91],[5,y],[8,b,_G1396551],[15,b,y,57],[8,d,_G1396538],[8,d,115.16874457140389],[18,d,36.34131634420111],[5,d],[16,b,d],[8,m,_G1396503],[8,m,82.83125542859611],[18,m,145.65868365579888],[5,m],[16,b,m],[8,c,_G1396468],[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]]
  239. Mandatory theorem = area
  240. RelevantTheorems = [trigonometry]
  241. NewListObjects = [[8,y,_G1396580],[8,y,99],[18,y,91],[5,y],[8,b,_G1396557],[15,b,y,57],[8,d,_G1396544],[8,d,115.16874457140389],[18,d,36.34131634420111],[5,d],[16,b,d],[8,m,_G1396509],[8,m,82.83125542859611],[18,m,145.65868365579888],[5,m],[16,b,m],[8,c,_G1396474],[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]]
  242. Mandatory theorem = trigonometry
  243. RelevantTheorems = [area]
  244. NewListObjects = [[8,y,_G1396580],[8,y,99],[18,y,91],[5,y],[8,b,_G1396557],[15,b,y,57],[8,d,_G1396544],[8,d,115.16874457140389],[18,d,36.34131634420111],[5,d],[16,b,d],[8,m,_G1396509],[8,m,82.83125542859611],[18,m,145.65868365579888],[5,m],[16,b,m],[8,c,_G1396474],[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]]
  245. Mandatory theorem = area
  246. RelevantTheorems = [pythagoras]
  247. NewListObjects = [[8,y,_G1396577],[8,y,99],[18,y,91],[5,y],[8,b,_G1396554],[15,b,y,57],[8,d,_G1396541],[8,d,115.16874457140389],[18,d,36.34131634420111],[5,d],[16,b,d],[8,m,_G1396506],[8,m,82.83125542859611],[18,m,145.65868365579888],[5,m],[16,b,m],[8,c,_G1396471],[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]]
  248. Mandatory theorem = pythagoras
  249. RelevantTheorems = [area]
  250. NewListObjects = [[8,y,_G1396574],[8,y,99],[18,y,91],[5,y],[8,b,_G1396551],[15,b,y,57],[8,d,_G1396538],[8,d,115.16874457140389],[18,d,36.34131634420111],[5,d],[16,b,d],[8,m,_G1396503],[8,m,82.83125542859611],[18,m,145.65868365579888],[5,m],[16,b,m],[8,c,_G1396468],[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]]
  251. Mandatory theorem = area
  252. RelevantTheorems = [pythagoras,trigonometry]
  253. NewListObjects = [[8,y,_G1396577],[8,y,99],[18,y,91],[5,y],[8,b,_G1396554],[15,b,y,57],[8,d,_G1396541],[8,d,115.16874457140389],[18,d,36.34131634420111],[5,d],[16,b,d],[8,m,_G1396506],[8,m,82.83125542859611],[18,m,145.65868365579888],[5,m],[16,b,m],[8,c,_G1396471],[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]]
  254. Mandatory theorem = pythagoras
  255. RelevantTheorems = [trigonometry,area]
  256. NewListObjects = [[8,y,_G1396577],[8,y,99],[18,y,91],[5,y],[8,b,_G1396554],[15,b,y,57],[8,d,_G1396541],[8,d,115.16874457140389],[18,d,36.34131634420111],[5,d],[16,b,d],[8,m,_G1396506],[8,m,82.83125542859611],[18,m,145.65868365579888],[5,m],[16,b,m],[8,c,_G1396471],[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]]
  257. Mandatory theorem = trigonometry
  258. RelevantTheorems = [area,pythagoras]
  259. NewListObjects = [[8,y,_G1396577],[8,y,99],[18,y,91],[5,y],[8,b,_G1396554],[15,b,y,57],[8,d,_G1396541],[8,d,115.16874457140389],[18,d,36.34131634420111],[5,d],[16,b,d],[8,m,_G1396506],[8,m,82.83125542859611],[18,m,145.65868365579888],[5,m],[16,b,m],[8,c,_G1396471],[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,m,c],[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],[7,c,d,m],[7,c,m,d],[7,d,c,m],[7,d,m,c],[7,m,c,d],[7,m,d,c]]
  260. [area_triangle(c,d,m,x8)]
  261. Mandatory theorem = arc_centre_angle
  262. RelevantTheorems = []
  263. NewListObjects = [[8,y,_G1396574],[8,y,99],[18,y,91],[5,y],[8,b,_G1396551],[15,b,y,57],[8,d,_G1396538],[8,d,115.16874457140389],[18,d,36.34131634420111],[5,d],[16,b,d],[8,m,_G1396503],[8,m,82.83125542859611],[18,m,145.65868365579888],[5,m],[16,b,m],[8,c,_G1396468],[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,m,c],[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],[7,c,d,m],[7,c,m,d],[7,d,c,m],[7,d,m,c],[7,m,c,d],[7,m,d,c]]
  264. Mandatory theorem = arc_centre_angle
  265. RelevantTheorems = [trigonometry]
  266. NewListObjects = [[8,y,_G1396580],[8,y,99],[18,y,91],[5,y],[8,b,_G1396557],[15,b,y,57],[8,d,_G1396544],[8,d,115.16874457140389],[18,d,36.34131634420111],[5,d],[16,b,d],[8,m,_G1396509],[8,m,82.83125542859611],[18,m,145.65868365579888],[5,m],[16,b,m],[8,c,_G1396474],[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,m,c],[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],[7,c,d,m],[7,c,m,d],[7,d,c,m],[7,d,m,c],[7,m,c,d],[7,m,d,c]]
  267. Mandatory theorem = trigonometry
  268. RelevantTheorems = [arc_centre_angle]
  269. NewListObjects = [[8,y,_G1396580],[8,y,99],[18,y,91],[5,y],[8,b,_G1396557],[15,b,y,57],[8,d,_G1396544],[8,d,115.16874457140389],[18,d,36.34131634420111],[5,d],[16,b,d],[8,m,_G1396509],[8,m,82.83125542859611],[18,m,145.65868365579888],[5,m],[16,b,m],[8,c,_G1396474],[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,m,c],[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],[7,c,d,m],[7,c,m,d],[7,d,c,m],[7,d,m,c],[7,m,c,d],[7,m,d,c]]
  270. Mandatory theorem = arc_centre_angle
  271. RelevantTheorems = [pythagoras]
  272. NewListObjects = [[8,y,_G1396580],[8,y,99],[18,y,91],[5,y],[8,b,_G1396557],[15,b,y,57],[8,d,_G1396544],[8,d,115.16874457140389],[18,d,36.34131634420111],[5,d],[16,b,d],[8,m,_G1396509],[8,m,82.83125542859611],[18,m,145.65868365579888],[5,m],[16,b,m],[8,c,_G1396474],[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,m,c],[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],[7,c,d,m],[7,c,m,d],[7,d,c,m],[7,d,m,c],[7,m,c,d],[7,m,d,c]]
  273. Mandatory theorem = pythagoras
  274. RelevantTheorems = [arc_centre_angle]
  275. NewListObjects = [[8,y,_G1396580],[8,y,99],[18,y,91],[5,y],[8,b,_G1396557],[15,b,y,57],[8,d,_G1396544],[8,d,115.16874457140389],[18,d,36.34131634420111],[5,d],[16,b,d],[8,m,_G1396509],[8,m,82.83125542859611],[18,m,145.65868365579888],[5,m],[16,b,m],[8,c,_G1396474],[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,m,c],[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],[7,c,d,m],[7,c,m,d],[7,d,c,m],[7,d,m,c],[7,m,c,d],[7,m,d,c]]
  276. Mandatory theorem = arc_centre_angle
  277. RelevantTheorems = [pythagoras,trigonometry]
  278. NewListObjects = [[8,y,_G1396583],[8,y,99],[18,y,91],[5,y],[8,b,_G1396560],[15,b,y,57],[8,d,_G1396547],[8,d,115.16874457140389],[18,d,36.34131634420111],[5,d],[16,b,d],[8,m,_G1396512],[8,m,82.83125542859611],[18,m,145.65868365579888],[5,m],[16,b,m],[8,c,_G1396477],[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,m,c],[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],[7,c,d,m],[7,c,m,d],[7,d,c,m],[7,d,m,c],[7,m,c,d],[7,m,d,c]]
  279. Mandatory theorem = pythagoras
  280. RelevantTheorems = [trigonometry,arc_centre_angle]
  281. NewListObjects = [[8,y,_G1396583],[8,y,99],[18,y,91],[5,y],[8,b,_G1396560],[15,b,y,57],[8,d,_G1396547],[8,d,115.16874457140389],[18,d,36.34131634420111],[5,d],[16,b,d],[8,m,_G1396512],[8,m,82.83125542859611],[18,m,145.65868365579888],[5,m],[16,b,m],[8,c,_G1396477],[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,m,c],[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],[7,c,d,m],[7,c,m,d],[7,d,c,m],[7,d,m,c],[7,m,c,d],[7,m,d,c]]
  282. Mandatory theorem = trigonometry
  283. RelevantTheorems = [arc_centre_angle,pythagoras]
  284. NewListObjects = [[8,y,_G1396583],[8,y,99],[18,y,91],[5,y],[8,b,_G1396560],[15,b,y,57],[8,d,_G1396547],[8,d,115.16874457140389],[18,d,36.34131634420111],[5,d],[16,b,d],[8,m,_G1396512],[8,m,82.83125542859611],[18,m,145.65868365579888],[5,m],[16,b,m],[8,c,_G1396477],[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,m,c],[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],[7,c,d,m],[7,c,m,d],[7,d,c,m],[7,d,m,c],[7,m,c,d],[7,m,d,c]]
  285. Mandatory theorem = arc_centre_angle
  286. RelevantTheorems = [area]
  287. NewListObjects = [[8,y,_G1396583],[8,y,99],[18,y,91],[5,y],[8,b,_G1396560],[15,b,y,57],[8,d,_G1396547],[8,d,115.16874457140389],[18,d,36.34131634420111],[5,d],[16,b,d],[8,m,_G1396512],[8,m,82.83125542859611],[18,m,145.65868365579888],[5,m],[16,b,m],[8,c,_G1396477],[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,m,c],[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],[7,c,d,m],[7,c,m,d],[7,d,c,m],[7,d,m,c],[7,m,c,d],[7,m,d,c]]
  288. Mandatory theorem = area
  289. RelevantTheorems = [arc_centre_angle]
  290. NewListObjects = [[8,y,_G1396586],[8,y,99],[18,y,91],[5,y],[8,b,_G1396563],[15,b,y,57],[8,d,_G1396550],[8,d,115.16874457140389],[18,d,36.34131634420111],[5,d],[16,b,d],[8,m,_G1396515],[8,m,82.83125542859611],[18,m,145.65868365579888],[5,m],[16,b,m],[8,c,_G1396480],[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]]
  291. Mandatory theorem = arc_centre_angle
  292. RelevantTheorems = [area,trigonometry]
  293. NewListObjects = [[8,y,_G1396589],[8,y,99],[18,y,91],[5,y],[8,b,_G1396566],[15,b,y,57],[8,d,_G1396553],[8,d,115.16874457140389],[18,d,36.34131634420111],[5,d],[16,b,d],[8,m,_G1396518],[8,m,82.83125542859611],[18,m,145.65868365579888],[5,m],[16,b,m],[8,c,_G1396483],[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]]
  294. Mandatory theorem = area
  295. RelevantTheorems = [trigonometry,arc_centre_angle]
  296. NewListObjects = [[8,y,_G1396589],[8,y,99],[18,y,91],[5,y],[8,b,_G1396566],[15,b,y,57],[8,d,_G1396553],[8,d,115.16874457140389],[18,d,36.34131634420111],[5,d],[16,b,d],[8,m,_G1396518],[8,m,82.83125542859611],[18,m,145.65868365579888],[5,m],[16,b,m],[8,c,_G1396483],[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]]
  297. Mandatory theorem = trigonometry
  298. RelevantTheorems = [arc_centre_angle,area]
  299. NewListObjects = [[8,y,_G1396589],[8,y,99],[18,y,91],[5,y],[8,b,_G1396566],[15,b,y,57],[8,d,_G1396553],[8,d,115.16874457140389],[18,d,36.34131634420111],[5,d],[16,b,d],[8,m,_G1396518],[8,m,82.83125542859611],[18,m,145.65868365579888],[5,m],[16,b,m],[8,c,_G1396483],[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]]
  300. Mandatory theorem = arc_centre_angle
  301. RelevantTheorems = [area,pythagoras]
  302. NewListObjects = [[8,y,_G1396589],[8,y,99],[18,y,91],[5,y],[8,b,_G1396566],[15,b,y,57],[8,d,_G1396553],[8,d,115.16874457140389],[18,d,36.34131634420111],[5,d],[16,b,d],[8,m,_G1396518],[8,m,82.83125542859611],[18,m,145.65868365579888],[5,m],[16,b,m],[8,c,_G1396483],[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]]
  303. Mandatory theorem = area
  304. RelevantTheorems = [pythagoras,arc_centre_angle]
  305. NewListObjects = [[8,y,_G1396589],[8,y,99],[18,y,91],[5,y],[8,b,_G1396566],[15,b,y,57],[8,d,_G1396553],[8,d,115.16874457140389],[18,d,36.34131634420111],[5,d],[16,b,d],[8,m,_G1396518],[8,m,82.83125542859611],[18,m,145.65868365579888],[5,m],[16,b,m],[8,c,_G1396483],[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]]
  306. Mandatory theorem = pythagoras
  307. RelevantTheorems = [arc_centre_angle,area]
  308. NewListObjects = [[8,y,_G1396589],[8,y,99],[18,y,91],[5,y],[8,b,_G1396566],[15,b,y,57],[8,d,_G1396553],[8,d,115.16874457140389],[18,d,36.34131634420111],[5,d],[16,b,d],[8,m,_G1396518],[8,m,82.83125542859611],[18,m,145.65868365579888],[5,m],[16,b,m],[8,c,_G1396483],[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]]
  309. Mandatory theorem = arc_centre_angle
  310. RelevantTheorems = [area,pythagoras,trigonometry]
  311. NewListObjects = [[8,y,_G1396592],[8,y,99],[18,y,91],[5,y],[8,b,_G1396569],[15,b,y,57],[8,d,_G1396556],[8,d,115.16874457140389],[18,d,36.34131634420111],[5,d],[16,b,d],[8,m,_G1396521],[8,m,82.83125542859611],[18,m,145.65868365579888],[5,m],[16,b,m],[8,c,_G1396486],[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]]
  312. Mandatory theorem = area
  313. RelevantTheorems = [pythagoras,trigonometry,arc_centre_angle]
  314. NewListObjects = [[8,y,_G1396592],[8,y,99],[18,y,91],[5,y],[8,b,_G1396569],[15,b,y,57],[8,d,_G1396556],[8,d,115.16874457140389],[18,d,36.34131634420111],[5,d],[16,b,d],[8,m,_G1396521],[8,m,82.83125542859611],[18,m,145.65868365579888],[5,m],[16,b,m],[8,c,_G1396486],[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]]
  315. Mandatory theorem = pythagoras
  316. RelevantTheorems = [trigonometry,arc_centre_angle,area]
  317. NewListObjects = [[8,y,_G1396592],[8,y,99],[18,y,91],[5,y],[8,b,_G1396569],[15,b,y,57],[8,d,_G1396556],[8,d,115.16874457140389],[18,d,36.34131634420111],[5,d],[16,b,d],[8,m,_G1396521],[8,m,82.83125542859611],[18,m,145.65868365579888],[5,m],[16,b,m],[8,c,_G1396486],[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]]
  318. Mandatory theorem = trigonometry
  319. RelevantTheorems = [arc_centre_angle,area,pythagoras]
  320. NewListObjects = [[8,y,_G1396592],[8,y,99],[18,y,91],[5,y],[8,b,_G1396569],[15,b,y,57],[8,d,_G1396556],[8,d,115.16874457140389],[18,d,36.34131634420111],[5,d],[16,b,d],[8,m,_G1396521],[8,m,82.83125542859611],[18,m,145.65868365579888],[5,m],[16,b,m],[8,c,_G1396486],[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],[6,c,d,c,m,-1],[6,c,d,c,m,1],[6,c,m,c,d,-1],[6,c,m,c,d,1],[6,y,d,y,m,-1],[6,y,d,y,m,1],[6,y,m,y,d,-1],[6,y,m,y,d,1]]
  321. [angle(c,d,c,m,-1,x9)]
  322. [angle(c,d,c,m,1,x1)]
  323. [angle(y,d,y,m,-1,x10)]
  324. [angle(y,d,y,m,1,x2)]
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!