thesis/content/figures/ft_final_states.svg

<?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>