|
|
@@ -0,0 +1,262 @@
|
|
|
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
|
|
|
+<!-- Created with Inkscape (http://www.inkscape.org/) -->
|
|
|
+
|
|
|
+<svg
|
|
|
+ xmlns:dc="http://purl.org/dc/elements/1.1/"
|
|
|
+ xmlns:cc="http://creativecommons.org/ns#"
|
|
|
+ xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
|
|
|
+ xmlns:svg="http://www.w3.org/2000/svg"
|
|
|
+ xmlns="http://www.w3.org/2000/svg"
|
|
|
+ xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
|
|
|
+ xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
|
|
|
+ version="1.1"
|
|
|
+ id="svg7500"
|
|
|
+ xml:space="preserve"
|
|
|
+ width="417.49945"
|
|
|
+ height="411.79041"
|
|
|
+ viewBox="0 0 417.49945 411.79041"
|
|
|
+ sodipodi:docname="ft_final_states.svg"
|
|
|
+ inkscape:version="0.92.4 5da689c313, 2019-01-14"
|
|
|
+ inkscape:export-filename="/home/caleb/Sources/thesis/content/figures/ft_final_states.png"
|
|
|
+ inkscape:export-xdpi="96"
|
|
|
+ inkscape:export-ydpi="96"><metadata
|
|
|
+ id="metadata7506"><rdf:RDF><cc:Work
|
|
|
+ rdf:about=""><dc:format>image/svg+xml</dc:format><dc:type
|
|
|
+ rdf:resource="http://purl.org/dc/dcmitype/StillImage" /><dc:title></dc:title></cc:Work></rdf:RDF></metadata><defs
|
|
|
+ id="defs7504"><clipPath
|
|
|
+ clipPathUnits="userSpaceOnUse"
|
|
|
+ id="clipPath7546"><path
|
|
|
+ d="M -1016,-351 H 1660 V 1068 H -1016 Z"
|
|
|
+ id="path7544"
|
|
|
+ inkscape:connector-curvature="0" /></clipPath><clipPath
|
|
|
+ clipPathUnits="userSpaceOnUse"
|
|
|
+ id="clipPath7570"><path
|
|
|
+ d="M -1016,-351 H 1660 V 1068 H -1016 Z"
|
|
|
+ id="path7568"
|
|
|
+ inkscape:connector-curvature="0" /></clipPath><clipPath
|
|
|
+ clipPathUnits="userSpaceOnUse"
|
|
|
+ id="clipPath7594"><path
|
|
|
+ d="M -1016,-351 H 1660 V 1068 H -1016 Z"
|
|
|
+ id="path7592"
|
|
|
+ inkscape:connector-curvature="0" /></clipPath><clipPath
|
|
|
+ clipPathUnits="userSpaceOnUse"
|
|
|
+ id="clipPath7618"><path
|
|
|
+ d="M -1016,-351 H 1660 V 1068 H -1016 Z"
|
|
|
+ id="path7616"
|
|
|
+ inkscape:connector-curvature="0" /></clipPath><clipPath
|
|
|
+ clipPathUnits="userSpaceOnUse"
|
|
|
+ id="clipPath7642"><path
|
|
|
+ d="M -1021,-463 H 1794 V 1233 H -1021 Z"
|
|
|
+ id="path7640"
|
|
|
+ inkscape:connector-curvature="0" /></clipPath><clipPath
|
|
|
+ clipPathUnits="userSpaceOnUse"
|
|
|
+ id="clipPath7654"><path
|
|
|
+ d="M -1016,-351 H 1660 V 1068 H -1016 Z"
|
|
|
+ id="path7652"
|
|
|
+ inkscape:connector-curvature="0" /></clipPath></defs><sodipodi:namedview
|
|
|
+ pagecolor="#ffffff"
|
|
|
+ bordercolor="#666666"
|
|
|
+ borderopacity="1"
|
|
|
+ objecttolerance="10"
|
|
|
+ gridtolerance="10"
|
|
|
+ guidetolerance="10"
|
|
|
+ inkscape:pageopacity="0"
|
|
|
+ inkscape:pageshadow="2"
|
|
|
+ inkscape:window-width="1716"
|
|
|
+ inkscape:window-height="1226"
|
|
|
+ id="namedview7502"
|
|
|
+ showgrid="false"
|
|
|
+ fit-margin-top="0"
|
|
|
+ fit-margin-left="0"
|
|
|
+ fit-margin-right="0"
|
|
|
+ fit-margin-bottom="0"
|
|
|
+ inkscape:zoom="1.4485868"
|
|
|
+ inkscape:cx="115.6807"
|
|
|
+ inkscape:cy="211.50173"
|
|
|
+ inkscape:window-x="1406"
|
|
|
+ inkscape:window-y="708"
|
|
|
+ inkscape:window-maximized="0"
|
|
|
+ inkscape:current-layer="g7508" /><g
|
|
|
+ id="g7508"
|
|
|
+ inkscape:groupmode="layer"
|
|
|
+ inkscape:label="ft_final_states"
|
|
|
+ transform="matrix(1.3333333,0,0,-1.3333333,-114.37946,423.08239)"><path
|
|
|
+ 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"
|
|
|
+ style="fill:#003366;fill-opacity:1;fill-rule:nonzero;stroke:none"
|
|
|
+ id="path7522"
|
|
|
+ inkscape:connector-curvature="0" /><path
|
|
|
+ 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"
|
|
|
+ style="fill:#336699;fill-opacity:1;fill-rule:nonzero;stroke:none"
|
|
|
+ id="path7524"
|
|
|
+ inkscape:connector-curvature="0" /><path
|
|
|
+ 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"
|
|
|
+ style="fill:#336699;fill-opacity:1;fill-rule:nonzero;stroke:none"
|
|
|
+ id="path7526"
|
|
|
+ inkscape:connector-curvature="0" /><path
|
|
|
+ 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"
|
|
|
+ style="fill:#3399ff;fill-opacity:1;fill-rule:nonzero;stroke:none"
|
|
|
+ id="path7528"
|
|
|
+ inkscape:connector-curvature="0" /><path
|
|
|
+ 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"
|
|
|
+ style="fill:#3399ff;fill-opacity:1;fill-rule:nonzero;stroke:none"
|
|
|
+ id="path7530"
|
|
|
+ inkscape:connector-curvature="0" /><g
|
|
|
+ id="g7532"
|
|
|
+ transform="translate(349.16905,270.41106)"><text
|
|
|
+ transform="matrix(1,0,0,-1,0,0.125)"
|
|
|
+ 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"
|
|
|
+ id="text7536"><tspan
|
|
|
+ x="0 10.179688 15.265625 25.109375"
|
|
|
+ y="0"
|
|
|
+ sodipodi:role="line"
|
|
|
+ id="tspan7534">0 e/</tspan></text>
|
|
|
+<g
|
|
|
+ id="g7538"
|
|
|
+ transform="matrix(0.016,0,0,0.016,30.5,0.125)"><g
|
|
|
+ id="g7540"><g
|
|
|
+ id="g7542"
|
|
|
+ clip-path="url(#clipPath7546)"><g
|
|
|
+ id="g7548"><path
|
|
|
+ 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"
|
|
|
+ style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none"
|
|
|
+ id="path7550"
|
|
|
+ inkscape:connector-curvature="0" /></g></g></g></g></g><text
|
|
|
+ transform="scale(1,-1)"
|
|
|
+ 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"
|
|
|
+ id="text7554"
|
|
|
+ x="296.69458"
|
|
|
+ y="-219.39514"><tspan
|
|
|
+ x="296.69458 306.87057 317.04657 322.13458 332.31058"
|
|
|
+ y="-219.39514"
|
|
|
+ sodipodi:role="line"
|
|
|
+ id="tspan7552">32.1%</tspan></text>
|
|
|
+<g
|
|
|
+ id="g7556"
|
|
|
+ transform="translate(108.65752,299.8024)"><text
|
|
|
+ transform="matrix(1,0,0,-1,0,0.328125)"
|
|
|
+ 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"
|
|
|
+ id="text7560"><tspan
|
|
|
+ x="0 10.179688 15.265625 25.109375"
|
|
|
+ y="0"
|
|
|
+ sodipodi:role="line"
|
|
|
+ id="tspan7558">1 e/</tspan></text>
|
|
|
+<g
|
|
|
+ id="g7562"
|
|
|
+ transform="matrix(0.016,0,0,0.016,30.5,0.328125)"><g
|
|
|
+ id="g7564"><g
|
|
|
+ id="g7566"
|
|
|
+ clip-path="url(#clipPath7570)"><g
|
|
|
+ id="g7572"><path
|
|
|
+ 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"
|
|
|
+ style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none"
|
|
|
+ id="path7574"
|
|
|
+ inkscape:connector-curvature="0" /></g></g></g></g></g><text
|
|
|
+ transform="scale(1,-1)"
|
|
|
+ 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"
|
|
|
+ id="text7578"
|
|
|
+ x="115.32395"
|
|
|
+ y="-214.10486"><tspan
|
|
|
+ x="115.32395 125.49995 135.67595 140.76395 150.93996"
|
|
|
+ y="-214.10486"
|
|
|
+ sodipodi:role="line"
|
|
|
+ id="tspan7576">42.2%</tspan></text>
|
|
|
+<g
|
|
|
+ id="g7580"
|
|
|
+ transform="translate(137.9687,11.655996)"><text
|
|
|
+ transform="matrix(1,0,0,-1,0,0.125)"
|
|
|
+ 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"
|
|
|
+ id="text7584"><tspan
|
|
|
+ x="0 10.179688 15.265625 27.859375 38.015625 43.101562 52.945312"
|
|
|
+ y="0"
|
|
|
+ sodipodi:role="line"
|
|
|
+ id="tspan7582">2 OS e/</tspan></text>
|
|
|
+<g
|
|
|
+ id="g7586"
|
|
|
+ transform="matrix(0.016,0,0,0.016,58.335937,0.125)"><g
|
|
|
+ id="g7588"><g
|
|
|
+ id="g7590"
|
|
|
+ clip-path="url(#clipPath7594)"><g
|
|
|
+ id="g7596"><path
|
|
|
+ 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"
|
|
|
+ style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none"
|
|
|
+ id="path7598"
|
|
|
+ inkscape:connector-curvature="0" /></g></g></g></g></g><text
|
|
|
+ transform="scale(1,-1)"
|
|
|
+ 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"
|
|
|
+ id="text7602"
|
|
|
+ x="195.22498"
|
|
|
+ y="-56.659554"><tspan
|
|
|
+ x="195.22498 205.40099 215.57698 220.66498 230.84099"
|
|
|
+ y="-56.659554"
|
|
|
+ sodipodi:role="line"
|
|
|
+ id="tspan7600">13.9%</tspan></text>
|
|
|
+<g
|
|
|
+ id="g7604"
|
|
|
+ transform="translate(288.83049,19.886236)"><text
|
|
|
+ transform="matrix(1,0,0,-1,0,0.125)"
|
|
|
+ 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"
|
|
|
+ id="text7608"><tspan
|
|
|
+ x="0 10.179688 15.265625 25.421875 35.578125 40.664062 50.507812"
|
|
|
+ y="0"
|
|
|
+ sodipodi:role="line"
|
|
|
+ id="tspan7606">2 SS e/</tspan></text>
|
|
|
+<g
|
|
|
+ id="g7610"
|
|
|
+ transform="matrix(0.016,0,0,0.016,55.898437,0.125)"><g
|
|
|
+ id="g7612"><g
|
|
|
+ id="g7614"
|
|
|
+ clip-path="url(#clipPath7618)"><g
|
|
|
+ id="g7620"><path
|
|
|
+ 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"
|
|
|
+ style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none"
|
|
|
+ id="path7622"
|
|
|
+ inkscape:connector-curvature="0" /></g></g></g></g></g><text
|
|
|
+ transform="scale(1,-1)"
|
|
|
+ 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"
|
|
|
+ id="text7626"
|
|
|
+ x="271.13559"
|
|
|
+ y="-63.456535"><tspan
|
|
|
+ x="271.13559 281.31158 286.3996 296.57559"
|
|
|
+ y="-63.456535"
|
|
|
+ sodipodi:role="line"
|
|
|
+ id="tspan7624">6.9%</tspan></text>
|
|
|
+<g
|
|
|
+ id="g7628"
|
|
|
+ transform="translate(339.29658,62.588235)"><text
|
|
|
+ transform="matrix(1,0,0,-1,19.640625,0.125)"
|
|
|
+ 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"
|
|
|
+ id="text7632"><tspan
|
|
|
+ x="0 10.179688 15.265625 25.109375"
|
|
|
+ y="0"
|
|
|
+ sodipodi:role="line"
|
|
|
+ id="tspan7630">3 e/</tspan></text>
|
|
|
+<g
|
|
|
+ id="g7634"
|
|
|
+ transform="matrix(0.016,0,0,0.016,3.1171875,0.125)"><g
|
|
|
+ id="g7636"><g
|
|
|
+ id="g7638"
|
|
|
+ clip-path="url(#clipPath7642)"><path
|
|
|
+ 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"
|
|
|
+ style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none"
|
|
|
+ id="path7644"
|
|
|
+ inkscape:connector-curvature="0" /></g></g></g><g
|
|
|
+ id="g7646"
|
|
|
+ transform="matrix(0.016,0,0,0.016,50.140625,0.125)"><g
|
|
|
+ id="g7648"><g
|
|
|
+ id="g7650"
|
|
|
+ clip-path="url(#clipPath7654)"><g
|
|
|
+ id="g7656"><path
|
|
|
+ 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"
|
|
|
+ style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none"
|
|
|
+ id="path7658"
|
|
|
+ inkscape:connector-curvature="0" /></g></g></g></g></g><text
|
|
|
+ transform="scale(1,-1)"
|
|
|
+ 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"
|
|
|
+ id="text7662"
|
|
|
+ x="305.18668"
|
|
|
+ y="-94.791771"><tspan
|
|
|
+ x="305.18668 315.3627 320.45068 330.62668"
|
|
|
+ y="-94.791771"
|
|
|
+ sodipodi:role="line"
|
|
|
+ id="tspan7660">4.9%</tspan></text>
|
|
|
+</g></svg>
|
