Guest User

Polyhedron

a guest
Feb 7th, 2021
62
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. P1=Polyhedron(ieqs=Lconstraints, base_ring=QQ)
  2. Lconstraints=[(0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0),
  3. (0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0),
  4. (0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0),
  5. (0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0),
  6. (0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0),
  7. (0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0),
  8. (0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0),
  9. (0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0),
  10. (0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0),
  11. (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0),
  12. (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0),
  13. (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1),
  14. (3.14000000000000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0),
  15. (3.14000000000000, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0),
  16. (3.14000000000000, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0),
  17. (3.14000000000000, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0),
  18. (3.14000000000000, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0),
  19. (3.14000000000000, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0),
  20. (3.14000000000000, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0),
  21. (3.14000000000000, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0),
  22. (3.14000000000000, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0),
  23. (3.14000000000000, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0),
  24. (3.14000000000000, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0),
  25. (3.14000000000000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0),
  26. (3.14000000000000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1),
  27. (-3.14000000000000, 1, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0),
  28. (-3.14000000000000, 0, 0, 0, 0, 1, 0, 1, 0, 1, 0, 0, 0),
  29. (-6.28000000000000, 1, 1, 0, 0, 1, 1, 1, 0, 1, 0, 0, 0),
  30. (-3.14000000000000, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0),
  31. (-6.28000000000000, 1, 1, 0, 1, 0, 1, 0, 0, 0, 0, 1, 0),
  32. (-6.28000000000000, 0, 1, 0, 1, 1, 0, 1, 0, 1, 0, 1, 0),
  33. (-9.42000000000000, 1, 1, 0, 1, 1, 1, 1, 0, 1, 0, 1, 0),
  34. (-3.14000000000000, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 1),
  35. (-6.28000000000000, 1, 1, 1, 1, 0, 1, 0, 0, 0, 0, 0, 1),
  36. (-6.28000000000000, 0, 0, 1, 1, 1, 0, 1, 0, 1, 0, 0, 1),
  37. (-9.42000000000000, 1, 1, 1, 1, 1, 1, 1, 0, 1, 0, 0, 1),
  38. (-6.28000000000000, 0, 1, 1, 1, 0, 0, 0, 0, 0, 0, 1, 1),
  39. (-9.42000000000000, 1, 1, 1, 1, 0, 1, 0, 0, 0, 0, 1, 1),
  40. (-9.42000000000000, 0, 1, 1, 1, 1, 0, 1, 0, 1, 0, 1, 1),
  41. (-12.5600000000000, 1, 1, 1, 1, 1, 1, 1, 0, 1, 0, 1, 1),
  42. (-3.14000000000000, 0, 0, 0, 0, 1, 1, 0, 1, 0, 0, 0, 0),
  43. (-6.28000000000000, 1, 1, 0, 0, 1, 1, 0, 1, 0, 0, 0, 0),
  44. (-6.28000000000000, 0, 0, 0, 0, 1, 1, 1, 1, 1, 0, 0, 0),
  45. (-9.42000000000000, 1, 1, 0, 0, 1, 1, 1, 1, 1, 0, 0, 0),
  46. (-6.28000000000000, 0, 1, 0, 1, 1, 1, 0, 1, 0, 0, 1, 0),
  47. (-9.42000000000000, 1, 1, 0, 1, 1, 1, 0, 1, 0, 0, 1, 0),
  48. (-9.42000000000000, 0, 1, 0, 1, 1, 1, 1, 1, 1, 0, 1, 0),
  49. (-12.5600000000000, 1, 1, 0, 1, 1, 1, 1, 1, 1, 0, 1, 0),
  50. (-6.28000000000000, 0, 0, 1, 1, 1, 1, 0, 1, 0, 0, 0, 1),
  51. (-9.42000000000000, 1, 1, 1, 1, 1, 1, 0, 1, 0, 0, 0, 1),
  52. (-9.42000000000000, 0, 0, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1),
  53. (-12.5600000000000, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1),
  54. (-9.42000000000000, 0, 1, 1, 1, 1, 1, 0, 1, 0, 0, 1, 1),
  55. (-12.5600000000000, 1, 1, 1, 1, 1, 1, 0, 1, 0, 0, 1, 1),
  56. (-12.5600000000000, 0, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1),
  57. (-15.7000000000000, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1),
  58. (-3.14000000000000, 1, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0),
  59. (-6.28000000000000, 1, 1, 1, 0, 0, 1, 1, 0, 0, 0, 0, 0),
  60. (-6.28000000000000, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 0, 0),
  61. (-9.42000000000000, 1, 1, 1, 0, 1, 1, 1, 0, 1, 0, 0, 0),
  62. (-6.28000000000000, 1, 1, 1, 1, 0, 0, 1, 0, 0, 0, 1, 0),
  63. (-9.42000000000000, 1, 1, 1, 1, 0, 1, 1, 0, 0, 0, 1, 0),
  64. (-9.42000000000000, 1, 1, 1, 1, 1, 0, 1, 0, 1, 0, 1, 0),
  65. (-12.5600000000000, 1, 1, 1, 1, 1, 1, 1, 0, 1, 0, 1, 0),
  66. (-6.28000000000000, 1, 0, 1, 1, 0, 0, 1, 0, 0, 0, 0, 1),
  67. (-9.42000000000000, 1, 1, 1, 1, 0, 1, 1, 0, 0, 0, 0, 1),
  68. (-9.42000000000000, 1, 0, 1, 1, 1, 0, 1, 0, 1, 0, 0, 1),
  69. (-12.5600000000000, 1, 1, 1, 1, 1, 1, 1, 0, 1, 0, 0, 1),
  70. (-9.42000000000000, 1, 1, 1, 1, 0, 0, 1, 0, 0, 0, 1, 1),
  71. (-12.5600000000000, 1, 1, 1, 1, 0, 1, 1, 0, 0, 0, 1, 1),
  72. (-12.5600000000000, 1, 1, 1, 1, 1, 0, 1, 0, 1, 0, 1, 1),
  73. (-15.7000000000000, 1, 1, 1, 1, 1, 1, 1, 0, 1, 0, 1, 1),
  74. (-6.28000000000000, 1, 0, 1, 0, 1, 1, 1, 1, 0, 0, 0, 0),
  75. (-9.42000000000000, 1, 1, 1, 0, 1, 1, 1, 1, 0, 0, 0, 0),
  76. (-9.42000000000000, 1, 0, 1, 0, 1, 1, 1, 1, 1, 0, 0, 0),
  77. (-12.5600000000000, 1, 1, 1, 0, 1, 1, 1, 1, 1, 0, 0, 0),
  78. (-9.42000000000000, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 0),
  79. (-12.5600000000000, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 0),
  80. (-12.5600000000000, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 0),
  81. (-15.7000000000000, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 0),
  82. (-9.42000000000000, 1, 0, 1, 1, 1, 1, 1, 1, 0, 0, 0, 1),
  83. (-12.5600000000000, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 0, 1),
  84. (-12.5600000000000, 1, 0, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1),
  85. (-15.7000000000000, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1),
  86. (-12.5600000000000, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 1),
  87. (-15.7000000000000, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 1),
  88. (-15.7000000000000, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1),
  89. (-18.8400000000000, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1),
  90. (-3.14000000000000, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 0, 0),
  91. (-6.28000000000000, 1, 1, 0, 0, 0, 1, 0, 1, 1, 1, 0, 0),
  92. (-6.28000000000000, 0, 0, 0, 0, 1, 0, 1, 1, 1, 1, 0, 0),
  93. (-9.42000000000000, 1, 1, 0, 0, 1, 1, 1, 1, 1, 1, 0, 0),
  94. (-6.28000000000000, 0, 1, 0, 1, 0, 0, 0, 1, 1, 1, 1, 0),
  95. (-9.42000000000000, 1, 1, 0, 1, 0, 1, 0, 1, 1, 1, 1, 0),
  96. (-9.42000000000000, 0, 1, 0, 1, 1, 0, 1, 1, 1, 1, 1, 0),
  97. (-12.5600000000000, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 0),
  98. (-6.28000000000000, 0, 0, 1, 1, 0, 0, 0, 1, 1, 1, 0, 1),
  99. (-9.42000000000000, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 0, 1),
  100. (-9.42000000000000, 0, 0, 1, 1, 1, 0, 1, 1, 1, 1, 0, 1),
  101. (-12.5600000000000, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1),
  102. (-9.42000000000000, 0, 1, 1, 1, 0, 0, 0, 1, 1, 1, 1, 1),
  103. (-12.5600000000000, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 1),
  104. (-12.5600000000000, 0, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1),
  105. (-15.7000000000000, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1),
  106. (-6.28000000000000, 0, 0, 0, 0, 1, 1, 0, 1, 1, 1, 0, 0),
  107. (-9.42000000000000, 1, 1, 0, 0, 1, 1, 0, 1, 1, 1, 0, 0),
  108. (-9.42000000000000, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 0, 0),
  109. (-12.5600000000000, 1, 1, 0, 0, 1, 1, 1, 1, 1, 1, 0, 0),
  110. (-9.42000000000000, 0, 1, 0, 1, 1, 1, 0, 1, 1, 1, 1, 0),
  111. (-12.5600000000000, 1, 1, 0, 1, 1, 1, 0, 1, 1, 1, 1, 0),
  112. (-12.5600000000000, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 0),
  113. (-15.7000000000000, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 0),
  114. (-9.42000000000000, 0, 0, 1, 1, 1, 1, 0, 1, 1, 1, 0, 1),
  115. (-12.5600000000000, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 0, 1),
  116. (-12.5600000000000, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1),
  117. (-15.7000000000000, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1),
  118. (-12.5600000000000, 0, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1),
  119. (-15.7000000000000, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1),
  120. (-15.7000000000000, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1),
  121. (-18.8400000000000, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1),
  122. (-6.28000000000000, 1, 0, 1, 0, 0, 0, 1, 1, 1, 1, 0, 0),
  123. (-9.42000000000000, 1, 1, 1, 0, 0, 1, 1, 1, 1, 1, 0, 0),
  124. (-9.42000000000000, 1, 0, 1, 0, 1, 0, 1, 1, 1, 1, 0, 0),
  125. (-12.5600000000000, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 0, 0),
  126. (-9.42000000000000, 1, 1, 1, 1, 0, 0, 1, 1, 1, 1, 1, 0),
  127. (-12.5600000000000, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 0),
  128. (-12.5600000000000, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 0),
  129. (-15.7000000000000, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0),
  130. (-9.42000000000000, 1, 0, 1, 1, 0, 0, 1, 1, 1, 1, 0, 1),
  131. (-12.5600000000000, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 0, 1),
  132. (-12.5600000000000, 1, 0, 1, 1, 1, 0, 1, 1, 1, 1, 0, 1),
  133. (-15.7000000000000, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1),
  134. (-12.5600000000000, 1, 1, 1, 1, 0, 0, 1, 1, 1, 1, 1, 1),
  135. (-15.7000000000000, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1),
  136. (-15.7000000000000, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1),
  137. (-18.8400000000000, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1),
  138. (-9.42000000000000, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 0, 0),
  139. (-12.5600000000000, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 0, 0),
  140. (-12.5600000000000, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 0, 0),
  141. (-15.7000000000000, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 0, 0),
  142. (-12.5600000000000, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0),
  143. (-15.7000000000000, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0),
  144. (-15.7000000000000, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0),
  145. (-18.8400000000000, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0),
  146. (-12.5600000000000, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1),
  147. (-15.7000000000000, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1),
  148. (-15.7000000000000, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1),
  149. (-18.8400000000000, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1),
  150. (-15.7000000000000, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1),
  151. (-18.8400000000000, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1),
  152. (-18.8400000000000, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1),
  153. (-21.9800000000000, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1),
  154. (-3.14000000000000, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1),
  155. (-6.28000000000000, 1, 1, 0, 0, 0, 1, 0, 0, 0, 1, 1, 1),
  156. (-6.28000000000000, 0, 0, 0, 0, 1, 0, 1, 0, 1, 1, 1, 1),
  157. (-9.42000000000000, 1, 1, 0, 0, 1, 1, 1, 0, 1, 1, 1, 1),
  158. (-6.28000000000000, 0, 1, 0, 1, 0, 0, 0, 0, 0, 1, 1, 1),
  159. (-9.42000000000000, 1, 1, 0, 1, 0, 1, 0, 0, 0, 1, 1, 1),
  160. (-9.42000000000000, 0, 1, 0, 1, 1, 0, 1, 0, 1, 1, 1, 1),
  161. (-12.5600000000000, 1, 1, 0, 1, 1, 1, 1, 0, 1, 1, 1, 1),
  162. (-6.28000000000000, 0, 0, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1),
  163. (-9.42000000000000, 1, 1, 1, 1, 0, 1, 0, 0, 0, 1, 1, 1),
  164. (-9.42000000000000, 0, 0, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1),
  165. (-12.5600000000000, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1),
  166. (-9.42000000000000, 0, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1),
  167. (-12.5600000000000, 1, 1, 1, 1, 0, 1, 0, 0, 0, 1, 1, 1),
  168. (-12.5600000000000, 0, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1),
  169. (-15.7000000000000, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1),
  170. (-6.28000000000000, 0, 0, 0, 0, 1, 1, 0, 1, 0, 1, 1, 1),
  171. (-9.42000000000000, 1, 1, 0, 0, 1, 1, 0, 1, 0, 1, 1, 1),
  172. (-9.42000000000000, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1),
  173. (-12.5600000000000, 1, 1, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1),
  174. (-9.42000000000000, 0, 1, 0, 1, 1, 1, 0, 1, 0, 1, 1, 1),
  175. (-12.5600000000000, 1, 1, 0, 1, 1, 1, 0, 1, 0, 1, 1, 1),
  176. (-12.5600000000000, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1),
  177. (-15.7000000000000, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1),
  178. (-9.42000000000000, 0, 0, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1),
  179. (-12.5600000000000, 1, 1, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1),
  180. (-12.5600000000000, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1),
  181. (-15.7000000000000, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1),
  182. (-12.5600000000000, 0, 1, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1),
  183. (-15.7000000000000, 1, 1, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1),
  184. (-15.7000000000000, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1),
  185. (-18.8400000000000, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1),
  186. (-6.28000000000000, 1, 0, 1, 0, 0, 0, 1, 0, 0, 1, 1, 1),
  187. (-9.42000000000000, 1, 1, 1, 0, 0, 1, 1, 0, 0, 1, 1, 1),
  188. (-9.42000000000000, 1, 0, 1, 0, 1, 0, 1, 0, 1, 1, 1, 1),
  189. (-12.5600000000000, 1, 1, 1, 0, 1, 1, 1, 0, 1, 1, 1, 1),
  190. (-9.42000000000000, 1, 1, 1, 1, 0, 0, 1, 0, 0, 1, 1, 1),
  191. (-12.5600000000000, 1, 1, 1, 1, 0, 1, 1, 0, 0, 1, 1, 1),
  192. (-12.5600000000000, 1, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1),
  193. (-15.7000000000000, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1),
  194. (-9.42000000000000, 1, 0, 1, 1, 0, 0, 1, 0, 0, 1, 1, 1),
  195. (-12.5600000000000, 1, 1, 1, 1, 0, 1, 1, 0, 0, 1, 1, 1),
  196. (-12.5600000000000, 1, 0, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1),
  197. (-15.7000000000000, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1),
  198. (-12.5600000000000, 1, 1, 1, 1, 0, 0, 1, 0, 0, 1, 1, 1),
  199. (-15.7000000000000, 1, 1, 1, 1, 0, 1, 1, 0, 0, 1, 1, 1),
  200. (-15.7000000000000, 1, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1),
  201. (-18.8400000000000, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1),
  202. (-9.42000000000000, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 1, 1),
  203. (-12.5600000000000, 1, 1, 1, 0, 1, 1, 1, 1, 0, 1, 1, 1),
  204. (-12.5600000000000, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1),
  205. (-15.7000000000000, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1),
  206. (-12.5600000000000, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1),
  207. (-15.7000000000000, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1),
  208. (-15.7000000000000, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1),
  209. (-18.8400000000000, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1),
  210. (-12.5600000000000, 1, 0, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1),
  211. (-15.7000000000000, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1),
  212. (-15.7000000000000, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1),
  213. (-18.8400000000000, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1),
  214. (-15.7000000000000, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1),
  215. (-18.8400000000000, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1),
  216. (-18.8400000000000, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1),
  217. (-21.9800000000000, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1),
  218. (-6.28000000000000, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1),
  219. (-9.42000000000000, 1, 1, 0, 0, 0, 1, 0, 1, 1, 1, 1, 1),
  220. (-9.42000000000000, 0, 0, 0, 0, 1, 0, 1, 1, 1, 1, 1, 1),
  221. (-12.5600000000000, 1, 1, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1),
  222. (-9.42000000000000, 0, 1, 0, 1, 0, 0, 0, 1, 1, 1, 1, 1),
  223. (-12.5600000000000, 1, 1, 0, 1, 0, 1, 0, 1, 1, 1, 1, 1),
  224. (-12.5600000000000, 0, 1, 0, 1, 1, 0, 1, 1, 1, 1, 1, 1),
  225. (-15.7000000000000, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1),
  226. (-9.42000000000000, 0, 0, 1, 1, 0, 0, 0, 1, 1, 1, 1, 1),
  227. (-12.5600000000000, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 1),
  228. (-12.5600000000000, 0, 0, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1),
  229. (-15.7000000000000, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1),
  230. (-12.5600000000000, 0, 1, 1, 1, 0, 0, 0, 1, 1, 1, 1, 1),
  231. (-15.7000000000000, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 1),
  232. (-15.7000000000000, 0, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1),
  233. (-18.8400000000000, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1),
  234. (-9.42000000000000, 0, 0, 0, 0, 1, 1, 0, 1, 1, 1, 1, 1),
  235. (-12.5600000000000, 1, 1, 0, 0, 1, 1, 0, 1, 1, 1, 1, 1),
  236. (-12.5600000000000, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1),
  237. (-15.7000000000000, 1, 1, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1),
  238. (-12.5600000000000, 0, 1, 0, 1, 1, 1, 0, 1, 1, 1, 1, 1),
  239. (-15.7000000000000, 1, 1, 0, 1, 1, 1, 0, 1, 1, 1, 1, 1),
  240. (-15.7000000000000, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1),
  241. (-18.8400000000000, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1),
  242. (-12.5600000000000, 0, 0, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1),
  243. (-15.7000000000000, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1),
  244. (-15.7000000000000, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1),
  245. (-18.8400000000000, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1),
  246. (-15.7000000000000, 0, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1),
  247. (-18.8400000000000, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1),
  248. (-18.8400000000000, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1),
  249. (-21.9800000000000, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1),
  250. (-9.42000000000000, 1, 0, 1, 0, 0, 0, 1, 1, 1, 1, 1, 1),
  251. (-12.5600000000000, 1, 1, 1, 0, 0, 1, 1, 1, 1, 1, 1, 1),
  252. (-12.5600000000000, 1, 0, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1),
  253. (-15.7000000000000, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1),
  254. (-12.5600000000000, 1, 1, 1, 1, 0, 0, 1, 1, 1, 1, 1, 1),
  255. (-15.7000000000000, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1),
  256. (-15.7000000000000, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1),
  257. (-18.8400000000000, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1),
  258. (-12.5600000000000, 1, 0, 1, 1, 0, 0, 1, 1, 1, 1, 1, 1),
  259. (-15.7000000000000, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1),
  260. (-15.7000000000000, 1, 0, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1),
  261. (-18.8400000000000, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1),
  262. (-15.7000000000000, 1, 1, 1, 1, 0, 0, 1, 1, 1, 1, 1, 1),
  263. (-18.8400000000000, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1),
  264. (-18.8400000000000, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1),
  265. (-21.9800000000000, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1),
  266. (-12.5600000000000, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1),
  267. (-15.7000000000000, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1),
  268. (-15.7000000000000, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1),
  269. (-18.8400000000000, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1),
  270. (-15.7000000000000, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1),
  271. (-18.8400000000000, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1),
  272. (-18.8400000000000, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1),
  273. (-21.9800000000000, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1),
  274. (-15.7000000000000, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1),
  275. (-18.8400000000000, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1),
  276. (-18.8400000000000, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1),
  277. (-21.9800000000000, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1),
  278. (-18.8400000000000, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1),
  279. (-21.9800000000000, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1),
  280. (-21.9800000000000, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1),
  281. (-25.1200000000000, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1),
  282. (9.42000000000000, -1, -1, -1, -1, 0, 0, 0, 0, 0, 0, 0, 0),
  283. (-9.42000000000000, 1, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0),
  284. (9.42000000000000, -1, 0, 0, 0, -1, -1, -1, 0, 0, 0, 0, 0),
  285. (-9.42000000000000, 1, 0, 0, 0, 1, 1, 1, 0, 0, 0, 0, 0),
  286. (6.28000000000000, 0, 0, 0, 0, -1, 0, 0, -1, -1, 0, 0, 0),
  287. (-6.28000000000000, 0, 0, 0, 0, 1, 0, 0, 1, 1, 0, 0, 0),
  288. (12.5600000000000, 0, -1, 0, 0, 0, -1, 0, -1, 0, -1, -1, 0),
  289. (-12.5600000000000, 0, 1, 0, 0, 0, 1, 0, 1, 0, 1, 1, 0),
  290. (12.5600000000000, 0, 0, -1, 0, 0, 0, -1, 0, -1, -1, 0, -1),
  291. (-12.5600000000000, 0, 0, 1, 0, 0, 0, 1, 0, 1, 1, 0, 1),
  292. (6.28000000000000, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, -1, -1),
  293. (-6.28000000000000, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 1)]
RAW Paste Data