ft_final_states.svg 15 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262
  1. <?xml version="1.0" encoding="UTF-8" standalone="no"?>
  2. <!-- Created with Inkscape (http://www.inkscape.org/) -->
  3. <svg
  4. xmlns:dc="http://purl.org/dc/elements/1.1/"
  5. xmlns:cc="http://creativecommons.org/ns#"
  6. xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
  7. xmlns:svg="http://www.w3.org/2000/svg"
  8. xmlns="http://www.w3.org/2000/svg"
  9. xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
  10. xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
  11. version="1.1"
  12. id="svg7500"
  13. xml:space="preserve"
  14. width="417.49945"
  15. height="411.79041"
  16. viewBox="0 0 417.49945 411.79041"
  17. sodipodi:docname="ft_final_states.svg"
  18. inkscape:version="0.92.4 5da689c313, 2019-01-14"
  19. inkscape:export-filename="/home/caleb/Sources/thesis/content/figures/ft_final_states.png"
  20. inkscape:export-xdpi="96"
  21. inkscape:export-ydpi="96"><metadata
  22. id="metadata7506"><rdf:RDF><cc:Work
  23. rdf:about=""><dc:format>image/svg+xml</dc:format><dc:type
  24. rdf:resource="http://purl.org/dc/dcmitype/StillImage" /><dc:title></dc:title></cc:Work></rdf:RDF></metadata><defs
  25. id="defs7504"><clipPath
  26. clipPathUnits="userSpaceOnUse"
  27. id="clipPath7546"><path
  28. d="M -1016,-351 H 1660 V 1068 H -1016 Z"
  29. id="path7544"
  30. inkscape:connector-curvature="0" /></clipPath><clipPath
  31. clipPathUnits="userSpaceOnUse"
  32. id="clipPath7570"><path
  33. d="M -1016,-351 H 1660 V 1068 H -1016 Z"
  34. id="path7568"
  35. inkscape:connector-curvature="0" /></clipPath><clipPath
  36. clipPathUnits="userSpaceOnUse"
  37. id="clipPath7594"><path
  38. d="M -1016,-351 H 1660 V 1068 H -1016 Z"
  39. id="path7592"
  40. inkscape:connector-curvature="0" /></clipPath><clipPath
  41. clipPathUnits="userSpaceOnUse"
  42. id="clipPath7618"><path
  43. d="M -1016,-351 H 1660 V 1068 H -1016 Z"
  44. id="path7616"
  45. inkscape:connector-curvature="0" /></clipPath><clipPath
  46. clipPathUnits="userSpaceOnUse"
  47. id="clipPath7642"><path
  48. d="M -1021,-463 H 1794 V 1233 H -1021 Z"
  49. id="path7640"
  50. inkscape:connector-curvature="0" /></clipPath><clipPath
  51. clipPathUnits="userSpaceOnUse"
  52. id="clipPath7654"><path
  53. d="M -1016,-351 H 1660 V 1068 H -1016 Z"
  54. id="path7652"
  55. inkscape:connector-curvature="0" /></clipPath></defs><sodipodi:namedview
  56. pagecolor="#ffffff"
  57. bordercolor="#666666"
  58. borderopacity="1"
  59. objecttolerance="10"
  60. gridtolerance="10"
  61. guidetolerance="10"
  62. inkscape:pageopacity="0"
  63. inkscape:pageshadow="2"
  64. inkscape:window-width="1716"
  65. inkscape:window-height="1226"
  66. id="namedview7502"
  67. showgrid="false"
  68. fit-margin-top="0"
  69. fit-margin-left="0"
  70. fit-margin-right="0"
  71. fit-margin-bottom="0"
  72. inkscape:zoom="1.4485868"
  73. inkscape:cx="115.6807"
  74. inkscape:cy="211.50173"
  75. inkscape:window-x="1406"
  76. inkscape:window-y="708"
  77. inkscape:window-maximized="0"
  78. inkscape:current-layer="g7508" /><g
  79. id="g7508"
  80. inkscape:groupmode="layer"
  81. inkscape:label="ft_final_states"
  82. transform="matrix(1.3333333,0,0,-1.3333333,-114.37946,423.08239)"><path
  83. d="m 358.23844,105.01247 c 11.97157,20.73537 18.49974,44.1685 18.97372,68.10695 0.47397,23.93846 -5.1215,47.61163 -16.2629,68.80464 -11.1414,21.19301 -27.47007,39.22362 -47.45829,52.40487 -19.98822,13.18124 -42.99254,21.08882 -66.86066,22.98287 L 235.41075,175.92707 Z"
  84. style="fill:#003366;fill-opacity:1;fill-rule:nonzero;stroke:none"
  85. id="path7522"
  86. inkscape:connector-curvature="0" /><path
  87. d="M 238.83187,316.69006 C 207.32449,319.19032 175.86772,311.08819 149.48846,293.6784 123.10919,276.26861 103.29166,250.53074 93.202763,220.57777 83.113867,190.6248 83.321258,158.14203 93.791797,128.32033 104.26233,98.498623 124.4069,73.015891 151.00631,55.944357 l 76.606,119.360973 z"
  88. style="fill:#336699;fill-opacity:1;fill-rule:nonzero;stroke:none"
  89. id="path7524"
  90. inkscape:connector-curvature="0" /><path
  91. d="m 154.46596,50.370018 c 17.39927,-11.16687 37.03165,-18.395425 57.51802,-21.177883 20.48638,-2.782458 41.33555,-1.052104 61.08294,5.069509 L 231.07196,169.73099 Z"
  92. style="fill:#336699;fill-opacity:1;fill-rule:nonzero;stroke:none"
  93. id="path7526"
  94. inkscape:connector-curvature="0" /><path
  95. d="m 275.74882,34.782546 c 9.8571,3.05566 19.35131,7.178053 28.31386,12.293901 8.96256,5.115848 17.34004,11.194656 24.98353,18.128369 L 233.75386,170.25189 Z"
  96. style="fill:#3399ff;fill-opacity:1;fill-rule:nonzero;stroke:none"
  97. id="path7528"
  98. inkscape:connector-curvature="0" /><path
  99. d="m 330.24857,66.228533 c 5.43807,4.933094 10.48488,10.281026 15.0949,15.995552 4.61002,5.714527 8.76934,11.778413 12.44045,18.136955 l -122.8277,70.91457 z"
  100. style="fill:#3399ff;fill-opacity:1;fill-rule:nonzero;stroke:none"
  101. id="path7530"
  102. inkscape:connector-curvature="0" /><g
  103. id="g7532"
  104. transform="translate(349.16905,270.41106)"><text
  105. transform="matrix(1,0,0,-1,0,0.125)"
  106. style="font-variant:normal;font-weight:normal;font-size:16px;font-family:'DejaVu Sans';-inkscape-font-specification:DejaVuSans;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none"
  107. id="text7536"><tspan
  108. x="0 10.179688 15.265625 25.109375"
  109. y="0"
  110. sodipodi:role="line"
  111. id="tspan7534">0 e/</tspan></text>
  112. <g
  113. id="g7538"
  114. transform="matrix(0.016,0,0,0.016,30.5,0.125)"><g
  115. id="g7540"><g
  116. id="g7542"
  117. clip-path="url(#clipPath7546)"><g
  118. id="g7548"><path
  119. d="m -12,-207 146,754 h 90 L 158,207 c -2,-8 -3,-16 -4,-24 -1,-8 -1,-17 -1,-25 0,-30 9,-54 28,-70 19,-16 46,-24 82,-24 48,0 86,13 116,41 30,27 50,68 61,123 l 62,319 h 90 L 510,126 c -2,-6 -3,-12 -3,-16 0,-4 0,-8 0,-12 0,-10 2,-18 6,-22 4,-5 10,-7 19,-7 3,0 7,0 13,2 6,2 14,5 25,9 L 556,8 C 542,1 528,-3 515,-7 c -13,-4 -26,-6 -38,-6 -22,0 -39,7 -51,20 C 414,20 408,39 408,63 390,37 368,17 343,5 317,-7 288,-13 254,-13 223,-13 196,-6 174,7 152,21 137,39 130,62 L 77,-207 h -89"
  120. style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none"
  121. id="path7550"
  122. inkscape:connector-curvature="0" /></g></g></g></g></g><text
  123. transform="scale(1,-1)"
  124. style="font-variant:normal;font-weight:normal;font-size:16px;font-family:'DejaVu Sans';-inkscape-font-specification:DejaVuSans;writing-mode:lr-tb;fill:#ffffff;fill-opacity:1;fill-rule:nonzero;stroke:none"
  125. id="text7554"
  126. x="296.69458"
  127. y="-219.39514"><tspan
  128. x="296.69458 306.87057 317.04657 322.13458 332.31058"
  129. y="-219.39514"
  130. sodipodi:role="line"
  131. id="tspan7552">32.1%</tspan></text>
  132. <g
  133. id="g7556"
  134. transform="translate(108.65752,299.8024)"><text
  135. transform="matrix(1,0,0,-1,0,0.328125)"
  136. style="font-variant:normal;font-weight:normal;font-size:16px;font-family:'DejaVu Sans';-inkscape-font-specification:DejaVuSans;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none"
  137. id="text7560"><tspan
  138. x="0 10.179688 15.265625 25.109375"
  139. y="0"
  140. sodipodi:role="line"
  141. id="tspan7558">1 e/</tspan></text>
  142. <g
  143. id="g7562"
  144. transform="matrix(0.016,0,0,0.016,30.5,0.328125)"><g
  145. id="g7564"><g
  146. id="g7566"
  147. clip-path="url(#clipPath7570)"><g
  148. id="g7572"><path
  149. d="m -12,-207 146,754 h 90 L 158,207 c -2,-8 -3,-16 -4,-24 -1,-8 -1,-17 -1,-25 0,-30 9,-54 28,-70 19,-16 46,-24 82,-24 48,0 86,13 116,41 30,27 50,68 61,123 l 62,319 h 90 L 510,126 c -2,-6 -3,-12 -3,-16 0,-4 0,-8 0,-12 0,-10 2,-18 6,-22 4,-5 10,-7 19,-7 3,0 7,0 13,2 6,2 14,5 25,9 L 556,8 C 542,1 528,-3 515,-7 c -13,-4 -26,-6 -38,-6 -22,0 -39,7 -51,20 C 414,20 408,39 408,63 390,37 368,17 343,5 317,-7 288,-13 254,-13 223,-13 196,-6 174,7 152,21 137,39 130,62 L 77,-207 h -89"
  150. style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none"
  151. id="path7574"
  152. inkscape:connector-curvature="0" /></g></g></g></g></g><text
  153. transform="scale(1,-1)"
  154. style="font-variant:normal;font-weight:normal;font-size:16px;font-family:'DejaVu Sans';-inkscape-font-specification:DejaVuSans;writing-mode:lr-tb;fill:#ffffff;fill-opacity:1;fill-rule:nonzero;stroke:none"
  155. id="text7578"
  156. x="115.32395"
  157. y="-214.10486"><tspan
  158. x="115.32395 125.49995 135.67595 140.76395 150.93996"
  159. y="-214.10486"
  160. sodipodi:role="line"
  161. id="tspan7576">42.2%</tspan></text>
  162. <g
  163. id="g7580"
  164. transform="translate(137.9687,11.655996)"><text
  165. transform="matrix(1,0,0,-1,0,0.125)"
  166. style="font-variant:normal;font-weight:normal;font-size:16px;font-family:'DejaVu Sans';-inkscape-font-specification:DejaVuSans;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none"
  167. id="text7584"><tspan
  168. x="0 10.179688 15.265625 27.859375 38.015625 43.101562 52.945312"
  169. y="0"
  170. sodipodi:role="line"
  171. id="tspan7582">2 OS e/</tspan></text>
  172. <g
  173. id="g7586"
  174. transform="matrix(0.016,0,0,0.016,58.335937,0.125)"><g
  175. id="g7588"><g
  176. id="g7590"
  177. clip-path="url(#clipPath7594)"><g
  178. id="g7596"><path
  179. d="m -12,-207 146,754 h 90 L 158,207 c -2,-8 -3,-16 -4,-24 -1,-8 -1,-17 -1,-25 0,-30 9,-54 28,-70 19,-16 46,-24 82,-24 48,0 86,13 116,41 30,27 50,68 61,123 l 62,319 h 90 L 510,126 c -2,-6 -3,-12 -3,-16 0,-4 0,-8 0,-12 0,-10 2,-18 6,-22 4,-5 10,-7 19,-7 3,0 7,0 13,2 6,2 14,5 25,9 L 556,8 C 542,1 528,-3 515,-7 c -13,-4 -26,-6 -38,-6 -22,0 -39,7 -51,20 C 414,20 408,39 408,63 390,37 368,17 343,5 317,-7 288,-13 254,-13 223,-13 196,-6 174,7 152,21 137,39 130,62 L 77,-207 h -89"
  180. style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none"
  181. id="path7598"
  182. inkscape:connector-curvature="0" /></g></g></g></g></g><text
  183. transform="scale(1,-1)"
  184. style="font-variant:normal;font-weight:normal;font-size:16px;font-family:'DejaVu Sans';-inkscape-font-specification:DejaVuSans;writing-mode:lr-tb;fill:#ffffff;fill-opacity:1;fill-rule:nonzero;stroke:none"
  185. id="text7602"
  186. x="195.22498"
  187. y="-56.659554"><tspan
  188. x="195.22498 205.40099 215.57698 220.66498 230.84099"
  189. y="-56.659554"
  190. sodipodi:role="line"
  191. id="tspan7600">13.9%</tspan></text>
  192. <g
  193. id="g7604"
  194. transform="translate(288.83049,19.886236)"><text
  195. transform="matrix(1,0,0,-1,0,0.125)"
  196. style="font-variant:normal;font-weight:normal;font-size:16px;font-family:'DejaVu Sans';-inkscape-font-specification:DejaVuSans;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none"
  197. id="text7608"><tspan
  198. x="0 10.179688 15.265625 25.421875 35.578125 40.664062 50.507812"
  199. y="0"
  200. sodipodi:role="line"
  201. id="tspan7606">2 SS e/</tspan></text>
  202. <g
  203. id="g7610"
  204. transform="matrix(0.016,0,0,0.016,55.898437,0.125)"><g
  205. id="g7612"><g
  206. id="g7614"
  207. clip-path="url(#clipPath7618)"><g
  208. id="g7620"><path
  209. d="m -12,-207 146,754 h 90 L 158,207 c -2,-8 -3,-16 -4,-24 -1,-8 -1,-17 -1,-25 0,-30 9,-54 28,-70 19,-16 46,-24 82,-24 48,0 86,13 116,41 30,27 50,68 61,123 l 62,319 h 90 L 510,126 c -2,-6 -3,-12 -3,-16 0,-4 0,-8 0,-12 0,-10 2,-18 6,-22 4,-5 10,-7 19,-7 3,0 7,0 13,2 6,2 14,5 25,9 L 556,8 C 542,1 528,-3 515,-7 c -13,-4 -26,-6 -38,-6 -22,0 -39,7 -51,20 C 414,20 408,39 408,63 390,37 368,17 343,5 317,-7 288,-13 254,-13 223,-13 196,-6 174,7 152,21 137,39 130,62 L 77,-207 h -89"
  210. style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none"
  211. id="path7622"
  212. inkscape:connector-curvature="0" /></g></g></g></g></g><text
  213. transform="scale(1,-1)"
  214. style="font-variant:normal;font-weight:normal;font-size:16px;font-family:'DejaVu Sans';-inkscape-font-specification:DejaVuSans;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none"
  215. id="text7626"
  216. x="271.13559"
  217. y="-63.456535"><tspan
  218. x="271.13559 281.31158 286.3996 296.57559"
  219. y="-63.456535"
  220. sodipodi:role="line"
  221. id="tspan7624">6.9%</tspan></text>
  222. <g
  223. id="g7628"
  224. transform="translate(339.29658,62.588235)"><text
  225. transform="matrix(1,0,0,-1,19.640625,0.125)"
  226. style="font-variant:normal;font-weight:normal;font-size:16px;font-family:'DejaVu Sans';-inkscape-font-specification:DejaVuSans;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none"
  227. id="text7632"><tspan
  228. x="0 10.179688 15.265625 25.109375"
  229. y="0"
  230. sodipodi:role="line"
  231. id="tspan7630">3 e/</tspan></text>
  232. <g
  233. id="g7634"
  234. transform="matrix(0.016,0,0,0.016,3.1171875,0.125)"><g
  235. id="g7636"><g
  236. id="g7638"
  237. clip-path="url(#clipPath7642)"><path
  238. d="m 106,496 v 86 L 732,403 V 320 L 106,140 v 87 L 575,361 106,496 M 732,83 V 0 H 106 v 83 h 626"
  239. style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none"
  240. id="path7644"
  241. inkscape:connector-curvature="0" /></g></g></g><g
  242. id="g7646"
  243. transform="matrix(0.016,0,0,0.016,50.140625,0.125)"><g
  244. id="g7648"><g
  245. id="g7650"
  246. clip-path="url(#clipPath7654)"><g
  247. id="g7656"><path
  248. d="m -12,-207 146,754 h 90 L 158,207 c -2,-8 -3,-16 -4,-24 -1,-8 -1,-17 -1,-25 0,-30 9,-54 28,-70 19,-16 46,-24 82,-24 48,0 86,13 116,41 30,27 50,68 61,123 l 62,319 h 90 L 510,126 c -2,-6 -3,-12 -3,-16 0,-4 0,-8 0,-12 0,-10 2,-18 6,-22 4,-5 10,-7 19,-7 3,0 7,0 13,2 6,2 14,5 25,9 L 556,8 C 542,1 528,-3 515,-7 c -13,-4 -26,-6 -38,-6 -22,0 -39,7 -51,20 C 414,20 408,39 408,63 390,37 368,17 343,5 317,-7 288,-13 254,-13 223,-13 196,-6 174,7 152,21 137,39 130,62 L 77,-207 h -89"
  249. style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none"
  250. id="path7658"
  251. inkscape:connector-curvature="0" /></g></g></g></g></g><text
  252. transform="scale(1,-1)"
  253. style="font-variant:normal;font-weight:normal;font-size:16px;font-family:'DejaVu Sans';-inkscape-font-specification:DejaVuSans;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none"
  254. id="text7662"
  255. x="305.18668"
  256. y="-94.791771"><tspan
  257. x="305.18668 315.3627 320.45068 330.62668"
  258. y="-94.791771"
  259. sodipodi:role="line"
  260. id="tspan7660">4.9%</tspan></text>
  261. </g></svg>