diff --git a/5_theseus/4_results.typ b/5_theseus/4_results.typ
index 4286bb3..ed688bf 100644
--- a/5_theseus/4_results.typ
+++ b/5_theseus/4_results.typ
@@ -1,5 +1,3 @@
-#import "@preview/diagraph:0.3.5": render
-
 #import "../lib.typ": SDK, num, mypercent, ART, ie, APKs, API,
 #import "../lib.typ": todo, jfl-note
 #import "X_var.typ": *
@@ -190,10 +188,10 @@ public class Main {
 }
   ```,
   caption: [Code of the main class of the application showed by Jadx, before patching],
-)<lst:th-demo-before>
+)<fig:th-demo-before>
 
 A first analysis of the contant of the application shows that the application contains one `Activity` that instanciate the class `Main` and call `Main.main()`.
-@lst:th-demo-before shows the most of the code of `Main` as returned by Jadx.
+@fig:th-demo-before shows the most of the code of `Main` as returned by Jadx.
 We can see that the class contains another #DEX file encoded in base 64 and loaded in the `InMemoryDexClassLoader` `cl`.
 A class is then loaded from this class loader, and two methods from this class loader are called.
 The names of this class and methods are not directly accessible as they have been chipĥered and are decoded just before beeing used at runtime.
@@ -205,7 +203,7 @@ This is not particularly surprising considering the obfusctation methods used.
 
 Then we run the dynamic analysis we described in @sec:th-dyn on the application and apply the transformation described in @sec:th-trans to add the dynamic informations to it.
 This time, Flowdroid compute a larger callgraph of 76 edges, and does find a data leak.
-Indeed, when looking at the new application with Jadx, we notice a new class `Malicious`, and the code of `Main.main()` is now as shown in @lst:th-demo-after:
+Indeed, when looking at the new application with Jadx, we notice a new class `Malicious`, and the code of `Main.main()` is now as shown in @fig:th-demo-after:
 the method called in the loop is either `Malicious.get_data`, `Malicious.send_data()` or `Method.invoke()`.
 Although self explanatory, verifying the code of those methods indeed confirm that `get_data()` calls `Utils.source()` and `send_data()` calls `Utils.sink()`.
 
@@ -227,30 +225,7 @@ Although self explanatory, verifying the code of those methods indeed confirm th
     }
     ```,
     caption: [Code of `Main.main()` showed by Jadx, after patching],
-)<lst:th-demo-after>
-
-#figure(
-  render(
-    read("figs/demo_main_main.dot"),
-    width: 100%,
-    alt: (
-      "",
-    ).join(),
-  ),
-  caption: [Call Graph of `Main.main()` view by Androguard before patching],
-) <fig:th-cg-before>
-
-#figure(
-  render(
-    read("figs/patched_main_main.dot"),
-    width: 100%,
-    alt: (
-      "",
-    ).join(),
-  ),
-  caption: [Call Graph of `Main.main()` view by Androguard after patching],
-) <fig:th-cg-after>
-
+)<fig:th-demo-after>
 
 
 #todo[androgard call graph]
diff --git a/5_theseus/figs/comparision-of-exit-status.svg b/5_theseus/figs/comparision-of-exit-status.svg
index 8c7e228..6991b0d 100644
--- a/5_theseus/figs/comparision-of-exit-status.svg
+++ b/5_theseus/figs/comparision-of-exit-status.svg
@@ -1,12 +1,12 @@
 <?xml version="1.0" encoding="utf-8" standalone="no"?>
 <!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
   "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
-<svg xmlns:xlink="http://www.w3.org/1999/xlink" width="1728pt" height="914.4pt" viewBox="0 0 1728 914.4" xmlns="http://www.w3.org/2000/svg" version="1.1">
+<svg xmlns:xlink="http://www.w3.org/1999/xlink" width="1440pt" height="648pt" viewBox="0 0 1440 648" xmlns="http://www.w3.org/2000/svg" version="1.1">
  <metadata>
   <rdf:RDF 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#">
    <cc:Work>
     <dc:type rdf:resource="http://purl.org/dc/dcmitype/StillImage"/>
-    <dc:date>2025-09-15T14:26:24.417367</dc:date>
+    <dc:date>2025-09-06T21:39:01.904334</dc:date>
     <dc:format>image/svg+xml</dc:format>
     <dc:creator>
      <cc:Agent>
@@ -21,1061 +21,997 @@
  </defs>
  <g id="figure_1">
   <g id="patch_1">
-   <path d="M 0 914.4 
-L 1728 914.4 
-L 1728 0 
+   <path d="M 0 648 
+L 1440 648 
+L 1440 0 
 L 0 0 
 z
 " style="fill: #ffffff"/>
   </g>
   <g id="axes_1">
    <g id="patch_2">
-    <path d="M 101.718 677.695058 
-L 1704.672 677.695058 
-L 1704.672 36.322 
-L 101.718 36.322 
+    <path d="M 84.765 480.25634 
+L 1420.56 480.25634 
+L 1420.56 25.74 
+L 84.765 25.74 
 z
 " style="fill: #ffffff"/>
    </g>
    <g id="patch_3">
-    <path d="M 174.579545 677.695058 
-L 197.957581 677.695058 
-L 197.957581 36.322 
-L 174.579545 36.322 
+    <path d="M 145.482955 480.25634 
+L 166.300539 480.25634 
+L 166.300539 25.74 
+L 145.482955 25.74 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#h5fbd823695); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h15d9902769); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_4">
-    <path d="M 205.75026 677.695058 
-L 229.128296 677.695058 
-L 229.128296 36.322 
-L 205.75026 36.322 
+    <path d="M 173.239734 480.25634 
+L 194.057318 480.25634 
+L 194.057318 25.74 
+L 173.239734 25.74 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#h5fbd823695); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h15d9902769); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_5">
-    <path d="M 268.091689 677.695058 
-L 291.469725 677.695058 
-L 291.469725 174.080649 
-L 268.091689 174.080649 
+    <path d="M 228.753292 480.25634 
+L 249.570877 480.25634 
+L 249.570877 480.25634 
+L 228.753292 480.25634 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#h5fbd823695); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h15d9902769); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_6">
-    <path d="M 299.262404 677.695058 
-L 322.64044 677.695058 
-L 322.64044 177.532119 
-L 299.262404 177.532119 
+    <path d="M 256.510071 480.25634 
+L 277.327656 480.25634 
+L 277.327656 480.25634 
+L 256.510071 480.25634 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#h5fbd823695); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h15d9902769); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_7">
-    <path d="M 361.603833 677.695058 
-L 384.981869 677.695058 
-L 384.981869 677.695058 
-L 361.603833 677.695058 
+    <path d="M 312.02363 480.25634 
+L 332.841214 480.25634 
+L 332.841214 25.846344 
+L 312.02363 25.846344 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#h5fbd823695); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h15d9902769); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_8">
-    <path d="M 392.774548 677.695058 
-L 416.152584 677.695058 
-L 416.152584 677.695058 
-L 392.774548 677.695058 
+    <path d="M 339.780409 480.25634 
+L 360.597994 480.25634 
+L 360.597994 25.846344 
+L 339.780409 25.846344 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#h5fbd823695); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h15d9902769); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_9">
-    <path d="M 455.115977 677.695058 
-L 478.494013 677.695058 
-L 478.494013 36.472064 
-L 455.115977 36.472064 
+    <path d="M 395.293968 480.25634 
+L 416.111552 480.25634 
+L 416.111552 334.351703 
+L 395.293968 334.351703 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#h5fbd823695); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h15d9902769); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_10">
-    <path d="M 486.286692 677.695058 
-L 509.664728 677.695058 
-L 509.664728 36.472064 
-L 486.286692 36.472064 
+    <path d="M 423.050747 480.25634 
+L 443.868331 480.25634 
+L 443.868331 334.458048 
+L 423.050747 334.458048 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#h5fbd823695); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h15d9902769); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_11">
-    <path d="M 548.628121 677.695058 
-L 572.006157 677.695058 
-L 572.006157 471.807403 
-L 548.628121 471.807403 
+    <path d="M 478.564305 480.25634 
+L 499.38189 480.25634 
+L 499.38189 56.898935 
+L 478.564305 56.898935 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#h5fbd823695); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h15d9902769); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_12">
-    <path d="M 579.798836 677.695058 
-L 603.176872 677.695058 
-L 603.176872 471.957467 
-L 579.798836 471.957467 
+    <path d="M 506.321084 480.25634 
+L 527.138669 480.25634 
+L 527.138669 57.005279 
+L 506.321084 57.005279 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#h5fbd823695); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h15d9902769); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_13">
-    <path d="M 642.140265 677.695058 
-L 665.518301 677.695058 
-L 665.518301 80.290719 
-L 642.140265 80.290719 
+    <path d="M 561.834643 480.25634 
+L 582.652227 480.25634 
+L 582.652227 464.091978 
+L 561.834643 464.091978 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#h5fbd823695); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h15d9902769); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_14">
-    <path d="M 673.31098 677.695058 
-L 696.689016 677.695058 
-L 696.689016 80.440783 
-L 673.31098 80.440783 
+    <path d="M 589.591422 480.25634 
+L 610.409006 480.25634 
+L 610.409006 480.25634 
+L 589.591422 480.25634 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#h5fbd823695); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h15d9902769); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_15">
-    <path d="M 735.652409 677.695058 
-L 759.030445 677.695058 
-L 759.030445 654.885347 
-L 735.652409 654.885347 
+    <path d="M 645.104981 480.25634 
+L 665.922565 480.25634 
+L 665.922565 475.258149 
+L 645.104981 475.258149 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#h5fbd823695); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h15d9902769); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_16">
-    <path d="M 766.823123 677.695058 
-L 790.201159 677.695058 
-L 790.201159 677.695058 
-L 766.823123 677.695058 
+    <path d="M 672.86176 480.25634 
+L 693.679344 480.25634 
+L 693.679344 480.25634 
+L 672.86176 480.25634 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#h5fbd823695); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h15d9902769); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_17">
-    <path d="M 829.164553 677.695058 
-L 852.542589 677.695058 
-L 852.542589 670.642055 
-L 829.164553 670.642055 
+    <path d="M 728.375318 480.25634 
+L 749.192903 480.25634 
+L 749.192903 480.043651 
+L 728.375318 480.043651 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#h5fbd823695); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h15d9902769); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_18">
-    <path d="M 860.335267 677.695058 
-L 883.713303 677.695058 
-L 883.713303 677.695058 
-L 860.335267 677.695058 
+    <path d="M 756.132097 480.25634 
+L 776.949682 480.25634 
+L 776.949682 480.25634 
+L 756.132097 480.25634 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#h5fbd823695); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h15d9902769); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_19">
-    <path d="M 922.676697 677.695058 
-L 946.054733 677.695058 
-L 946.054733 677.39493 
-L 922.676697 677.39493 
+    <path d="M 811.645656 480.25634 
+L 832.46324 480.25634 
+L 832.46324 306.808481 
+L 811.645656 306.808481 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#h5fbd823695); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h15d9902769); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_20">
-    <path d="M 953.847411 677.695058 
-L 977.225447 677.695058 
-L 977.225447 677.695058 
-L 953.847411 677.695058 
+    <path d="M 839.402435 480.25634 
+L 860.220019 480.25634 
+L 860.220019 312.551083 
+L 839.402435 312.551083 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#h5fbd823695); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h15d9902769); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_21">
-    <path d="M 1016.188841 677.695058 
-L 1039.566877 677.695058 
-L 1039.566877 432.940856 
-L 1016.188841 432.940856 
+    <path d="M 894.915994 480.25634 
+L 915.733578 480.25634 
+L 915.733578 136.444612 
+L 894.915994 136.444612 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#h5fbd823695); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h15d9902769); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_22">
-    <path d="M 1047.359555 677.695058 
-L 1070.737591 677.695058 
-L 1070.737591 441.044306 
-L 1047.359555 441.044306 
+    <path d="M 922.672773 480.25634 
+L 943.490357 480.25634 
+L 943.490357 136.86999 
+L 922.672773 136.86999 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#h5fbd823695); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h15d9902769); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_23">
-    <path d="M 1109.700984 677.695058 
-L 1133.07902 677.695058 
-L 1133.07902 192.538508 
-L 1109.700984 192.538508 
+    <path d="M 978.186331 480.25634 
+L 999.003916 480.25634 
+L 999.003916 236.089397 
+L 978.186331 236.089397 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#h5fbd823695); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h15d9902769); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_24">
-    <path d="M 1140.871699 677.695058 
-L 1164.249735 677.695058 
-L 1164.249735 193.138763 
-L 1140.871699 193.138763 
+    <path d="M 1005.94311 480.25634 
+L 1026.760695 480.25634 
+L 1026.760695 480.25634 
+L 1005.94311 480.25634 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#h5fbd823695); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h15d9902769); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_25">
-    <path d="M 1203.213128 677.695058 
-L 1226.591164 677.695058 
-L 1226.591164 333.148371 
-L 1203.213128 333.148371 
+    <path d="M 1061.456669 480.25634 
+L 1082.274253 480.25634 
+L 1082.274253 470.047269 
+L 1061.456669 470.047269 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#h5fbd823695); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h15d9902769); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_26">
-    <path d="M 1234.383843 677.695058 
-L 1257.761879 677.695058 
-L 1257.761879 677.695058 
-L 1234.383843 677.695058 
+    <path d="M 1089.213448 480.25634 
+L 1110.031032 480.25634 
+L 1110.031032 480.25634 
+L 1089.213448 480.25634 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#h5fbd823695); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h15d9902769); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_27">
-    <path d="M 1296.725272 677.695058 
-L 1320.103308 677.695058 
-L 1320.103308 663.288924 
-L 1296.725272 663.288924 
+    <path d="M 1144.727006 480.25634 
+L 1165.544591 480.25634 
+L 1165.544591 26.378067 
+L 1144.727006 26.378067 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#h5fbd823695); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h15d9902769); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_28">
-    <path d="M 1327.895987 677.695058 
-L 1351.274023 677.695058 
-L 1351.274023 677.695058 
-L 1327.895987 677.695058 
+    <path d="M 1172.483786 480.25634 
+L 1193.30137 480.25634 
+L 1193.30137 26.378067 
+L 1172.483786 26.378067 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#h5fbd823695); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h15d9902769); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_29">
-    <path d="M 1390.237416 677.695058 
-L 1413.615452 677.695058 
-L 1413.615452 37.222383 
-L 1390.237416 37.222383 
+    <path d="M 1227.997344 480.25634 
+L 1248.814929 480.25634 
+L 1248.814929 207.376385 
+L 1227.997344 207.376385 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#h5fbd823695); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h15d9902769); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_30">
-    <path d="M 1421.408131 677.695058 
-L 1444.786167 677.695058 
-L 1444.786167 37.222383 
-L 1421.408131 37.222383 
+    <path d="M 1255.754123 480.25634 
+L 1276.571708 480.25634 
+L 1276.571708 207.376385 
+L 1255.754123 207.376385 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#h5fbd823695); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h15d9902769); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_31">
-    <path d="M 1483.74956 677.695058 
-L 1507.127596 677.695058 
-L 1507.127596 292.631121 
-L 1483.74956 292.631121 
+    <path d="M 1311.267682 480.25634 
+L 1332.085266 480.25634 
+L 1332.085266 420.703427 
+L 1311.267682 420.703427 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#h5fbd823695); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h15d9902769); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_32">
-    <path d="M 1514.920275 677.695058 
-L 1538.298311 677.695058 
-L 1538.298311 292.631121 
-L 1514.920275 292.631121 
+    <path d="M 1339.024461 480.25634 
+L 1359.842045 480.25634 
+L 1359.842045 25.74 
+L 1339.024461 25.74 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#h5fbd823695); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h15d9902769); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_33">
-    <path d="M 1577.261704 677.695058 
-L 1600.63974 677.695058 
-L 1600.63974 593.65928 
-L 1577.261704 593.65928 
+    <path d="M 145.482955 25.74 
+L 166.300539 25.74 
+L 166.300539 25.74 
+L 145.482955 25.74 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#h5fbd823695); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h1f3e2547b8); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_34">
-    <path d="M 1608.432419 677.695058 
-L 1631.810455 677.695058 
-L 1631.810455 36.322 
-L 1608.432419 36.322 
+    <path d="M 173.239734 25.74 
+L 194.057318 25.74 
+L 194.057318 25.74 
+L 173.239734 25.74 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#h5fbd823695); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h1f3e2547b8); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_35">
-    <path d="M 174.579545 36.322 
-L 197.957581 36.322 
-L 197.957581 36.322 
-L 174.579545 36.322 
+    <path d="M 228.753292 480.25634 
+L 249.570877 480.25634 
+L 249.570877 480.25634 
+L 228.753292 480.25634 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#h32ff551f15); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h1f3e2547b8); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_36">
-    <path d="M 205.75026 36.322 
-L 229.128296 36.322 
-L 229.128296 36.322 
-L 205.75026 36.322 
+    <path d="M 256.510071 480.25634 
+L 277.327656 480.25634 
+L 277.327656 480.25634 
+L 256.510071 480.25634 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#h32ff551f15); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h1f3e2547b8); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_37">
-    <path d="M 268.091689 174.080649 
-L 291.469725 174.080649 
-L 291.469725 83.141933 
-L 268.091689 83.141933 
+    <path d="M 312.02363 25.846344 
+L 332.841214 25.846344 
+L 332.841214 25.846344 
+L 312.02363 25.846344 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#h32ff551f15); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h1f3e2547b8); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_38">
-    <path d="M 299.262404 177.532119 
-L 322.64044 177.532119 
-L 322.64044 83.742189 
-L 299.262404 83.742189 
+    <path d="M 339.780409 25.846344 
+L 360.597994 25.846344 
+L 360.597994 25.846344 
+L 339.780409 25.846344 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#h32ff551f15); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h1f3e2547b8); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_39">
-    <path d="M 361.603833 677.695058 
-L 384.981869 677.695058 
-L 384.981869 677.695058 
-L 361.603833 677.695058 
+    <path d="M 395.293968 334.351703 
+L 416.111552 334.351703 
+L 416.111552 334.351703 
+L 395.293968 334.351703 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#h32ff551f15); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h1f3e2547b8); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_40">
-    <path d="M 392.774548 677.695058 
-L 416.152584 677.695058 
-L 416.152584 677.695058 
-L 392.774548 677.695058 
+    <path d="M 423.050747 334.458048 
+L 443.868331 334.458048 
+L 443.868331 334.458048 
+L 423.050747 334.458048 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#h32ff551f15); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h1f3e2547b8); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_41">
-    <path d="M 455.115977 36.472064 
-L 478.494013 36.472064 
-L 478.494013 36.472064 
-L 455.115977 36.472064 
+    <path d="M 478.564305 56.898935 
+L 499.38189 56.898935 
+L 499.38189 55.83549 
+L 478.564305 55.83549 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#h32ff551f15); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h1f3e2547b8); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_42">
-    <path d="M 486.286692 36.472064 
-L 509.664728 36.472064 
-L 509.664728 36.472064 
-L 486.286692 36.472064 
+    <path d="M 506.321084 57.005279 
+L 527.138669 57.005279 
+L 527.138669 55.83549 
+L 506.321084 55.83549 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#h32ff551f15); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h1f3e2547b8); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_43">
-    <path d="M 548.628121 471.807403 
-L 572.006157 471.807403 
-L 572.006157 471.807403 
-L 548.628121 471.807403 
+    <path d="M 561.834643 464.091978 
+L 582.652227 464.091978 
+L 582.652227 355.726945 
+L 561.834643 355.726945 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#h32ff551f15); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h1f3e2547b8); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_44">
-    <path d="M 579.798836 471.957467 
-L 603.176872 471.957467 
-L 603.176872 471.957467 
-L 579.798836 471.957467 
+    <path d="M 589.591422 480.25634 
+L 610.409006 480.25634 
+L 610.409006 480.25634 
+L 589.591422 480.25634 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#h32ff551f15); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h1f3e2547b8); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_45">
-    <path d="M 642.140265 80.290719 
-L 665.518301 80.290719 
-L 665.518301 78.79008 
-L 642.140265 78.79008 
+    <path d="M 645.104981 475.258149 
+L 665.922565 475.258149 
+L 665.922565 474.301049 
+L 645.104981 474.301049 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#h32ff551f15); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h1f3e2547b8); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_46">
-    <path d="M 673.31098 80.440783 
-L 696.689016 80.440783 
-L 696.689016 78.79008 
-L 673.31098 78.79008 
+    <path d="M 672.86176 480.25634 
+L 693.679344 480.25634 
+L 693.679344 480.25634 
+L 672.86176 480.25634 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#h32ff551f15); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h1f3e2547b8); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_47">
-    <path d="M 735.652409 654.885347 
-L 759.030445 654.885347 
-L 759.030445 501.970245 
-L 735.652409 501.970245 
+    <path d="M 728.375318 480.043651 
+L 749.192903 480.043651 
+L 749.192903 478.767517 
+L 728.375318 478.767517 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#h32ff551f15); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h1f3e2547b8); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_48">
-    <path d="M 766.823123 677.695058 
-L 790.201159 677.695058 
-L 790.201159 677.695058 
-L 766.823123 677.695058 
+    <path d="M 756.132097 480.25634 
+L 776.949682 480.25634 
+L 776.949682 480.25634 
+L 756.132097 480.25634 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#h32ff551f15); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h1f3e2547b8); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_49">
-    <path d="M 829.164553 670.642055 
-L 852.542589 670.642055 
-L 852.542589 669.29148 
-L 829.164553 669.29148 
+    <path d="M 811.645656 306.808481 
+L 832.46324 306.808481 
+L 832.46324 304.468902 
+L 811.645656 304.468902 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#h32ff551f15); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h1f3e2547b8); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_50">
-    <path d="M 860.335267 677.695058 
-L 883.713303 677.695058 
-L 883.713303 677.695058 
-L 860.335267 677.695058 
+    <path d="M 839.402435 312.551083 
+L 860.220019 312.551083 
+L 860.220019 309.679782 
+L 839.402435 309.679782 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#h32ff551f15); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h1f3e2547b8); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_51">
-    <path d="M 922.676697 677.39493 
-L 946.054733 677.39493 
-L 946.054733 675.594163 
-L 922.676697 675.594163 
+    <path d="M 894.915994 136.444612 
+L 915.733578 136.444612 
+L 915.733578 44.562974 
+L 894.915994 44.562974 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#h32ff551f15); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h1f3e2547b8); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_52">
-    <path d="M 953.847411 677.695058 
-L 977.225447 677.695058 
-L 977.225447 677.695058 
-L 953.847411 677.695058 
+    <path d="M 922.672773 136.86999 
+L 943.490357 136.86999 
+L 943.490357 43.818563 
+L 922.672773 43.818563 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#h32ff551f15); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h1f3e2547b8); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_53">
-    <path d="M 1016.188841 432.940856 
-L 1039.566877 432.940856 
-L 1039.566877 429.639451 
-L 1016.188841 429.639451 
+    <path d="M 978.186331 236.089397 
+L 999.003916 236.089397 
+L 999.003916 215.777599 
+L 978.186331 215.777599 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#h32ff551f15); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h1f3e2547b8); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_54">
-    <path d="M 1047.359555 441.044306 
-L 1070.737591 441.044306 
-L 1070.737591 436.992581 
-L 1047.359555 436.992581 
+    <path d="M 1005.94311 480.25634 
+L 1026.760695 480.25634 
+L 1026.760695 480.25634 
+L 1005.94311 480.25634 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#h32ff551f15); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h1f3e2547b8); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_55">
-    <path d="M 1109.700984 192.538508 
-L 1133.07902 192.538508 
-L 1133.07902 62.883308 
-L 1109.700984 62.883308 
+    <path d="M 1061.456669 470.047269 
+L 1082.274253 470.047269 
+L 1082.274253 466.75059 
+L 1061.456669 466.75059 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#h32ff551f15); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h1f3e2547b8); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_56">
-    <path d="M 1140.871699 193.138763 
-L 1164.249735 193.138763 
-L 1164.249735 61.832861 
-L 1140.871699 61.832861 
+    <path d="M 1089.213448 480.25634 
+L 1110.031032 480.25634 
+L 1110.031032 480.25634 
+L 1089.213448 480.25634 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#h32ff551f15); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h1f3e2547b8); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_57">
-    <path d="M 1203.213128 333.148371 
-L 1226.591164 333.148371 
-L 1226.591164 304.486168 
-L 1203.213128 304.486168 
+    <path d="M 1144.727006 26.378067 
+L 1165.544591 26.378067 
+L 1165.544591 26.378067 
+L 1144.727006 26.378067 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#h32ff551f15); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h1f3e2547b8); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_58">
-    <path d="M 1234.383843 677.695058 
-L 1257.761879 677.695058 
-L 1257.761879 677.695058 
-L 1234.383843 677.695058 
+    <path d="M 1172.483786 26.378067 
+L 1193.30137 26.378067 
+L 1193.30137 26.378067 
+L 1172.483786 26.378067 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#h32ff551f15); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h1f3e2547b8); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_59">
-    <path d="M 1296.725272 663.288924 
-L 1320.103308 663.288924 
-L 1320.103308 658.636944 
-L 1296.725272 658.636944 
+    <path d="M 1227.997344 207.376385 
+L 1248.814929 207.376385 
+L 1248.814929 207.376385 
+L 1227.997344 207.376385 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#h32ff551f15); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h1f3e2547b8); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_60">
-    <path d="M 1327.895987 677.695058 
-L 1351.274023 677.695058 
-L 1351.274023 677.695058 
-L 1327.895987 677.695058 
+    <path d="M 1255.754123 207.376385 
+L 1276.571708 207.376385 
+L 1276.571708 207.376385 
+L 1255.754123 207.376385 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#h32ff551f15); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h1f3e2547b8); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_61">
-    <path d="M 1390.237416 37.222383 
-L 1413.615452 37.222383 
-L 1413.615452 37.222383 
-L 1390.237416 37.222383 
+    <path d="M 1311.267682 420.703427 
+L 1332.085266 420.703427 
+L 1332.085266 420.703427 
+L 1311.267682 420.703427 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#h32ff551f15); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h1f3e2547b8); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_62">
-    <path d="M 1421.408131 37.222383 
-L 1444.786167 37.222383 
-L 1444.786167 37.222383 
-L 1421.408131 37.222383 
+    <path d="M 1339.024461 25.74 
+L 1359.842045 25.74 
+L 1359.842045 25.74 
+L 1339.024461 25.74 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#h32ff551f15); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h1f3e2547b8); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_63">
-    <path d="M 1483.74956 292.631121 
-L 1507.127596 292.631121 
-L 1507.127596 292.631121 
-L 1483.74956 292.631121 
+    <path d="M 145.482955 25.74 
+L 166.300539 25.74 
+L 166.300539 25.74 
+L 145.482955 25.74 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#h32ff551f15); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#ha33db2223d); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_64">
-    <path d="M 1514.920275 292.631121 
-L 1538.298311 292.631121 
-L 1538.298311 292.631121 
-L 1514.920275 292.631121 
+    <path d="M 173.239734 25.74 
+L 194.057318 25.74 
+L 194.057318 25.74 
+L 173.239734 25.74 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#h32ff551f15); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#ha33db2223d); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_65">
-    <path d="M 1577.261704 593.65928 
-L 1600.63974 593.65928 
-L 1600.63974 593.65928 
-L 1577.261704 593.65928 
+    <path d="M 228.753292 480.25634 
+L 249.570877 480.25634 
+L 249.570877 480.25634 
+L 228.753292 480.25634 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#h32ff551f15); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#ha33db2223d); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_66">
-    <path d="M 1608.432419 36.322 
-L 1631.810455 36.322 
-L 1631.810455 36.322 
-L 1608.432419 36.322 
+    <path d="M 256.510071 480.25634 
+L 277.327656 480.25634 
+L 277.327656 480.25634 
+L 256.510071 480.25634 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#h32ff551f15); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#ha33db2223d); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_67">
-    <path d="M 174.579545 36.322 
-L 197.957581 36.322 
-L 197.957581 36.322 
-L 174.579545 36.322 
+    <path d="M 312.02363 25.846344 
+L 332.841214 25.846344 
+L 332.841214 25.846344 
+L 312.02363 25.846344 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#ha96f6e66c8); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#ha33db2223d); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_68">
-    <path d="M 205.75026 36.322 
-L 229.128296 36.322 
-L 229.128296 36.322 
-L 205.75026 36.322 
+    <path d="M 339.780409 25.846344 
+L 360.597994 25.846344 
+L 360.597994 25.846344 
+L 339.780409 25.846344 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#ha96f6e66c8); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#ha33db2223d); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_69">
-    <path d="M 268.091689 83.141933 
-L 291.469725 83.141933 
-L 291.469725 83.141933 
-L 268.091689 83.141933 
+    <path d="M 395.293968 334.351703 
+L 416.111552 334.351703 
+L 416.111552 334.351703 
+L 395.293968 334.351703 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#ha96f6e66c8); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#ha33db2223d); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_70">
-    <path d="M 299.262404 83.742189 
-L 322.64044 83.742189 
-L 322.64044 83.742189 
-L 299.262404 83.742189 
+    <path d="M 423.050747 334.458048 
+L 443.868331 334.458048 
+L 443.868331 334.458048 
+L 423.050747 334.458048 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#ha96f6e66c8); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#ha33db2223d); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_71">
-    <path d="M 361.603833 677.695058 
-L 384.981869 677.695058 
-L 384.981869 677.695058 
-L 361.603833 677.695058 
+    <path d="M 478.564305 55.83549 
+L 499.38189 55.83549 
+L 499.38189 55.83549 
+L 478.564305 55.83549 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#ha96f6e66c8); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#ha33db2223d); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_72">
-    <path d="M 392.774548 677.695058 
-L 416.152584 677.695058 
-L 416.152584 677.695058 
-L 392.774548 677.695058 
+    <path d="M 506.321084 55.83549 
+L 527.138669 55.83549 
+L 527.138669 55.83549 
+L 506.321084 55.83549 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#ha96f6e66c8); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#ha33db2223d); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_73">
-    <path d="M 455.115977 36.472064 
-L 478.494013 36.472064 
-L 478.494013 36.472064 
-L 455.115977 36.472064 
+    <path d="M 561.834643 355.726945 
+L 582.652227 355.726945 
+L 582.652227 355.726945 
+L 561.834643 355.726945 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#ha96f6e66c8); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#ha33db2223d); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_74">
-    <path d="M 486.286692 36.472064 
-L 509.664728 36.472064 
-L 509.664728 36.472064 
-L 486.286692 36.472064 
+    <path d="M 589.591422 480.25634 
+L 610.409006 480.25634 
+L 610.409006 480.25634 
+L 589.591422 480.25634 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#ha96f6e66c8); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#ha33db2223d); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_75">
-    <path d="M 548.628121 471.807403 
-L 572.006157 471.807403 
-L 572.006157 471.807403 
-L 548.628121 471.807403 
+    <path d="M 645.104981 474.301049 
+L 665.922565 474.301049 
+L 665.922565 474.301049 
+L 645.104981 474.301049 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#ha96f6e66c8); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#ha33db2223d); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_76">
-    <path d="M 579.798836 471.957467 
-L 603.176872 471.957467 
-L 603.176872 471.957467 
-L 579.798836 471.957467 
+    <path d="M 672.86176 480.25634 
+L 693.679344 480.25634 
+L 693.679344 480.25634 
+L 672.86176 480.25634 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#ha96f6e66c8); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#ha33db2223d); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_77">
-    <path d="M 642.140265 78.79008 
-L 665.518301 78.79008 
-L 665.518301 78.79008 
-L 642.140265 78.79008 
+    <path d="M 728.375318 478.767517 
+L 749.192903 478.767517 
+L 749.192903 478.767517 
+L 728.375318 478.767517 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#ha96f6e66c8); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#ha33db2223d); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_78">
-    <path d="M 673.31098 78.79008 
-L 696.689016 78.79008 
-L 696.689016 78.79008 
-L 673.31098 78.79008 
+    <path d="M 756.132097 480.25634 
+L 776.949682 480.25634 
+L 776.949682 480.25634 
+L 756.132097 480.25634 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#ha96f6e66c8); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#ha33db2223d); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_79">
-    <path d="M 735.652409 501.970245 
-L 759.030445 501.970245 
-L 759.030445 501.970245 
-L 735.652409 501.970245 
+    <path d="M 811.645656 304.468902 
+L 832.46324 304.468902 
+L 832.46324 304.468902 
+L 811.645656 304.468902 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#ha96f6e66c8); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#ha33db2223d); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_80">
-    <path d="M 766.823123 677.695058 
-L 790.201159 677.695058 
-L 790.201159 677.695058 
-L 766.823123 677.695058 
+    <path d="M 839.402435 309.679782 
+L 860.220019 309.679782 
+L 860.220019 309.679782 
+L 839.402435 309.679782 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#ha96f6e66c8); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#ha33db2223d); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_81">
-    <path d="M 829.164553 669.29148 
-L 852.542589 669.29148 
-L 852.542589 669.29148 
-L 829.164553 669.29148 
+    <path d="M 894.915994 44.562974 
+L 915.733578 44.562974 
+L 915.733578 44.562974 
+L 894.915994 44.562974 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#ha96f6e66c8); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#ha33db2223d); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_82">
-    <path d="M 860.335267 677.695058 
-L 883.713303 677.695058 
-L 883.713303 677.695058 
-L 860.335267 677.695058 
+    <path d="M 922.672773 43.818563 
+L 943.490357 43.818563 
+L 943.490357 43.818563 
+L 922.672773 43.818563 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#ha96f6e66c8); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#ha33db2223d); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_83">
-    <path d="M 922.676697 675.594163 
-L 946.054733 675.594163 
-L 946.054733 675.594163 
-L 922.676697 675.594163 
+    <path d="M 978.186331 215.777599 
+L 999.003916 215.777599 
+L 999.003916 184.299631 
+L 978.186331 184.299631 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#ha96f6e66c8); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#ha33db2223d); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_84">
-    <path d="M 953.847411 677.695058 
-L 977.225447 677.695058 
-L 977.225447 677.695058 
-L 953.847411 677.695058 
+    <path d="M 1005.94311 480.25634 
+L 1026.760695 480.25634 
+L 1026.760695 480.25634 
+L 1005.94311 480.25634 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#ha96f6e66c8); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#ha33db2223d); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_85">
-    <path d="M 1016.188841 429.639451 
-L 1039.566877 429.639451 
-L 1039.566877 429.639451 
-L 1016.188841 429.639451 
+    <path d="M 1061.456669 466.75059 
+L 1082.274253 466.75059 
+L 1082.274253 466.75059 
+L 1061.456669 466.75059 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#ha96f6e66c8); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#ha33db2223d); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_86">
-    <path d="M 1047.359555 436.992581 
-L 1070.737591 436.992581 
-L 1070.737591 436.992581 
-L 1047.359555 436.992581 
+    <path d="M 1089.213448 480.25634 
+L 1110.031032 480.25634 
+L 1110.031032 480.25634 
+L 1089.213448 480.25634 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#ha96f6e66c8); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#ha33db2223d); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_87">
-    <path d="M 1109.700984 62.883308 
-L 1133.07902 62.883308 
-L 1133.07902 62.883308 
-L 1109.700984 62.883308 
+    <path d="M 1144.727006 26.378067 
+L 1165.544591 26.378067 
+L 1165.544591 26.378067 
+L 1144.727006 26.378067 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#ha96f6e66c8); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#ha33db2223d); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_88">
-    <path d="M 1140.871699 61.832861 
-L 1164.249735 61.832861 
-L 1164.249735 61.832861 
-L 1140.871699 61.832861 
+    <path d="M 1172.483786 26.378067 
+L 1193.30137 26.378067 
+L 1193.30137 26.378067 
+L 1172.483786 26.378067 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#ha96f6e66c8); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#ha33db2223d); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_89">
-    <path d="M 1203.213128 304.486168 
-L 1226.591164 304.486168 
-L 1226.591164 260.067257 
-L 1203.213128 260.067257 
+    <path d="M 1227.997344 207.376385 
+L 1248.814929 207.376385 
+L 1248.814929 207.376385 
+L 1227.997344 207.376385 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#ha96f6e66c8); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#ha33db2223d); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_90">
-    <path d="M 1234.383843 677.695058 
-L 1257.761879 677.695058 
-L 1257.761879 677.695058 
-L 1234.383843 677.695058 
+    <path d="M 1255.754123 207.376385 
+L 1276.571708 207.376385 
+L 1276.571708 207.376385 
+L 1255.754123 207.376385 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#ha96f6e66c8); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#ha33db2223d); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_91">
-    <path d="M 1296.725272 658.636944 
-L 1320.103308 658.636944 
-L 1320.103308 658.636944 
-L 1296.725272 658.636944 
+    <path d="M 1311.267682 420.703427 
+L 1332.085266 420.703427 
+L 1332.085266 420.703427 
+L 1311.267682 420.703427 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#ha96f6e66c8); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#ha33db2223d); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_92">
-    <path d="M 1327.895987 677.695058 
-L 1351.274023 677.695058 
-L 1351.274023 677.695058 
-L 1327.895987 677.695058 
+    <path d="M 1339.024461 25.74 
+L 1359.842045 25.74 
+L 1359.842045 25.74 
+L 1339.024461 25.74 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#ha96f6e66c8); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#ha33db2223d); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_93">
-    <path d="M 1390.237416 37.222383 
-L 1413.615452 37.222383 
-L 1413.615452 37.222383 
-L 1390.237416 37.222383 
+    <path d="M 145.482955 25.74 
+L 166.300539 25.74 
+L 166.300539 25.74 
+L 145.482955 25.74 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#ha96f6e66c8); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h6abd065d55); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_94">
-    <path d="M 1421.408131 37.222383 
-L 1444.786167 37.222383 
-L 1444.786167 37.222383 
-L 1421.408131 37.222383 
+    <path d="M 173.239734 25.74 
+L 194.057318 25.74 
+L 194.057318 25.74 
+L 173.239734 25.74 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#ha96f6e66c8); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h6abd065d55); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_95">
-    <path d="M 1483.74956 292.631121 
-L 1507.127596 292.631121 
-L 1507.127596 292.631121 
-L 1483.74956 292.631121 
+    <path d="M 228.753292 480.25634 
+L 249.570877 480.25634 
+L 249.570877 25.74 
+L 228.753292 25.74 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#ha96f6e66c8); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h6abd065d55); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_96">
-    <path d="M 1514.920275 292.631121 
-L 1538.298311 292.631121 
-L 1538.298311 292.631121 
-L 1514.920275 292.631121 
+    <path d="M 256.510071 480.25634 
+L 277.327656 480.25634 
+L 277.327656 25.74 
+L 256.510071 25.74 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#ha96f6e66c8); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h6abd065d55); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_97">
-    <path d="M 1577.261704 593.65928 
-L 1600.63974 593.65928 
-L 1600.63974 593.65928 
-L 1577.261704 593.65928 
+    <path d="M 312.02363 25.846344 
+L 332.841214 25.846344 
+L 332.841214 25.74 
+L 312.02363 25.74 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#ha96f6e66c8); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h6abd065d55); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_98">
-    <path d="M 1608.432419 36.322 
-L 1631.810455 36.322 
-L 1631.810455 36.322 
-L 1608.432419 36.322 
+    <path d="M 339.780409 25.846344 
+L 360.597994 25.846344 
+L 360.597994 25.74 
+L 339.780409 25.74 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#ha96f6e66c8); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h6abd065d55); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_99">
-    <path d="M 174.579545 36.322 
-L 197.957581 36.322 
-L 197.957581 36.322 
-L 174.579545 36.322 
+    <path d="M 395.293968 334.351703 
+L 416.111552 334.351703 
+L 416.111552 25.74 
+L 395.293968 25.74 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#hd7a9398fb1); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h6abd065d55); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_100">
-    <path d="M 205.75026 36.322 
-L 229.128296 36.322 
-L 229.128296 36.322 
-L 205.75026 36.322 
+    <path d="M 423.050747 334.458048 
+L 443.868331 334.458048 
+L 443.868331 25.74 
+L 423.050747 25.74 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#hd7a9398fb1); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h6abd065d55); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_101">
-    <path d="M 268.091689 83.141933 
-L 291.469725 83.141933 
-L 291.469725 36.322 
-L 268.091689 36.322 
+    <path d="M 478.564305 55.83549 
+L 499.38189 55.83549 
+L 499.38189 25.74 
+L 478.564305 25.74 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#hd7a9398fb1); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h6abd065d55); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_102">
-    <path d="M 299.262404 83.742189 
-L 322.64044 83.742189 
-L 322.64044 36.322 
-L 299.262404 36.322 
+    <path d="M 506.321084 55.83549 
+L 527.138669 55.83549 
+L 527.138669 25.74 
+L 506.321084 25.74 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#hd7a9398fb1); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h6abd065d55); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_103">
-    <path d="M 361.603833 677.695058 
-L 384.981869 677.695058 
-L 384.981869 36.322 
-L 361.603833 36.322 
+    <path d="M 561.834643 355.726945 
+L 582.652227 355.726945 
+L 582.652227 25.74 
+L 561.834643 25.74 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#hd7a9398fb1); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h6abd065d55); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_104">
-    <path d="M 392.774548 677.695058 
-L 416.152584 677.695058 
-L 416.152584 36.322 
-L 392.774548 36.322 
+    <path d="M 589.591422 480.25634 
+L 610.409006 480.25634 
+L 610.409006 25.74 
+L 589.591422 25.74 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#hd7a9398fb1); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h6abd065d55); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_105">
-    <path d="M 455.115977 36.472064 
-L 478.494013 36.472064 
-L 478.494013 36.322 
-L 455.115977 36.322 
+    <path d="M 645.104981 474.301049 
+L 665.922565 474.301049 
+L 665.922565 25.74 
+L 645.104981 25.74 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#hd7a9398fb1); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h6abd065d55); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_106">
-    <path d="M 486.286692 36.472064 
-L 509.664728 36.472064 
-L 509.664728 36.322 
-L 486.286692 36.322 
+    <path d="M 672.86176 480.25634 
+L 693.679344 480.25634 
+L 693.679344 25.74 
+L 672.86176 25.74 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#hd7a9398fb1); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h6abd065d55); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_107">
-    <path d="M 548.628121 471.807403 
-L 572.006157 471.807403 
-L 572.006157 36.322 
-L 548.628121 36.322 
+    <path d="M 728.375318 478.767517 
+L 749.192903 478.767517 
+L 749.192903 25.74 
+L 728.375318 25.74 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#hd7a9398fb1); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h6abd065d55); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_108">
-    <path d="M 579.798836 471.957467 
-L 603.176872 471.957467 
-L 603.176872 36.322 
-L 579.798836 36.322 
+    <path d="M 756.132097 480.25634 
+L 776.949682 480.25634 
+L 776.949682 25.74 
+L 756.132097 25.74 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#hd7a9398fb1); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h6abd065d55); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_109">
-    <path d="M 642.140265 78.79008 
-L 665.518301 78.79008 
-L 665.518301 36.322 
-L 642.140265 36.322 
+    <path d="M 811.645656 304.468902 
+L 832.46324 304.468902 
+L 832.46324 25.74 
+L 811.645656 25.74 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#hd7a9398fb1); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h6abd065d55); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_110">
-    <path d="M 673.31098 78.79008 
-L 696.689016 78.79008 
-L 696.689016 36.322 
-L 673.31098 36.322 
+    <path d="M 839.402435 309.679782 
+L 860.220019 309.679782 
+L 860.220019 25.74 
+L 839.402435 25.74 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#hd7a9398fb1); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h6abd065d55); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_111">
-    <path d="M 735.652409 501.970245 
-L 759.030445 501.970245 
-L 759.030445 36.322 
-L 735.652409 36.322 
+    <path d="M 894.915994 44.562974 
+L 915.733578 44.562974 
+L 915.733578 25.74 
+L 894.915994 25.74 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#hd7a9398fb1); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h6abd065d55); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_112">
-    <path d="M 766.823123 677.695058 
-L 790.201159 677.695058 
-L 790.201159 36.322 
-L 766.823123 36.322 
+    <path d="M 922.672773 43.818563 
+L 943.490357 43.818563 
+L 943.490357 25.74 
+L 922.672773 25.74 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#hd7a9398fb1); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h6abd065d55); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_113">
-    <path d="M 829.164553 669.29148 
-L 852.542589 669.29148 
-L 852.542589 36.322 
-L 829.164553 36.322 
+    <path d="M 978.186331 184.299631 
+L 999.003916 184.299631 
+L 999.003916 25.74 
+L 978.186331 25.74 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#hd7a9398fb1); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h6abd065d55); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_114">
-    <path d="M 860.335267 677.695058 
-L 883.713303 677.695058 
-L 883.713303 36.322 
-L 860.335267 36.322 
+    <path d="M 1005.94311 480.25634 
+L 1026.760695 480.25634 
+L 1026.760695 25.74 
+L 1005.94311 25.74 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#hd7a9398fb1); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h6abd065d55); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_115">
-    <path d="M 922.676697 675.594163 
-L 946.054733 675.594163 
-L 946.054733 36.322 
-L 922.676697 36.322 
+    <path d="M 1061.456669 466.75059 
+L 1082.274253 466.75059 
+L 1082.274253 25.74 
+L 1061.456669 25.74 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#hd7a9398fb1); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h6abd065d55); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_116">
-    <path d="M 953.847411 677.695058 
-L 977.225447 677.695058 
-L 977.225447 36.322 
-L 953.847411 36.322 
+    <path d="M 1089.213448 480.25634 
+L 1110.031032 480.25634 
+L 1110.031032 25.74 
+L 1089.213448 25.74 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#hd7a9398fb1); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h6abd065d55); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_117">
-    <path d="M 1016.188841 429.639451 
-L 1039.566877 429.639451 
-L 1039.566877 36.322 
-L 1016.188841 36.322 
+    <path d="M 1144.727006 26.378067 
+L 1165.544591 26.378067 
+L 1165.544591 25.74 
+L 1144.727006 25.74 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#hd7a9398fb1); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h6abd065d55); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_118">
-    <path d="M 1047.359555 436.992581 
-L 1070.737591 436.992581 
-L 1070.737591 36.322 
-L 1047.359555 36.322 
+    <path d="M 1172.483786 26.378067 
+L 1193.30137 26.378067 
+L 1193.30137 25.74 
+L 1172.483786 25.74 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#hd7a9398fb1); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h6abd065d55); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_119">
-    <path d="M 1109.700984 62.883308 
-L 1133.07902 62.883308 
-L 1133.07902 36.322 
-L 1109.700984 36.322 
+    <path d="M 1227.997344 207.376385 
+L 1248.814929 207.376385 
+L 1248.814929 25.74 
+L 1227.997344 25.74 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#hd7a9398fb1); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h6abd065d55); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_120">
-    <path d="M 1140.871699 61.832861 
-L 1164.249735 61.832861 
-L 1164.249735 36.322 
-L 1140.871699 36.322 
+    <path d="M 1255.754123 207.376385 
+L 1276.571708 207.376385 
+L 1276.571708 25.74 
+L 1255.754123 25.74 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#hd7a9398fb1); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h6abd065d55); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_121">
-    <path d="M 1203.213128 260.067257 
-L 1226.591164 260.067257 
-L 1226.591164 36.322 
-L 1203.213128 36.322 
+    <path d="M 1311.267682 420.703427 
+L 1332.085266 420.703427 
+L 1332.085266 25.74 
+L 1311.267682 25.74 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#hd7a9398fb1); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h6abd065d55); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_122">
-    <path d="M 1234.383843 677.695058 
-L 1257.761879 677.695058 
-L 1257.761879 36.322 
-L 1234.383843 36.322 
+    <path d="M 1339.024461 25.74 
+L 1359.842045 25.74 
+L 1359.842045 25.74 
+L 1339.024461 25.74 
 z
-" clip-path="url(#p0a03c15111)" style="fill: url(#hd7a9398fb1); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
-   </g>
-   <g id="patch_123">
-    <path d="M 1296.725272 658.636944 
-L 1320.103308 658.636944 
-L 1320.103308 36.322 
-L 1296.725272 36.322 
-z
-" clip-path="url(#p0a03c15111)" style="fill: url(#hd7a9398fb1); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
-   </g>
-   <g id="patch_124">
-    <path d="M 1327.895987 677.695058 
-L 1351.274023 677.695058 
-L 1351.274023 36.322 
-L 1327.895987 36.322 
-z
-" clip-path="url(#p0a03c15111)" style="fill: url(#hd7a9398fb1); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
-   </g>
-   <g id="patch_125">
-    <path d="M 1390.237416 37.222383 
-L 1413.615452 37.222383 
-L 1413.615452 36.322 
-L 1390.237416 36.322 
-z
-" clip-path="url(#p0a03c15111)" style="fill: url(#hd7a9398fb1); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
-   </g>
-   <g id="patch_126">
-    <path d="M 1421.408131 37.222383 
-L 1444.786167 37.222383 
-L 1444.786167 36.322 
-L 1421.408131 36.322 
-z
-" clip-path="url(#p0a03c15111)" style="fill: url(#hd7a9398fb1); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
-   </g>
-   <g id="patch_127">
-    <path d="M 1483.74956 292.631121 
-L 1507.127596 292.631121 
-L 1507.127596 36.322 
-L 1483.74956 36.322 
-z
-" clip-path="url(#p0a03c15111)" style="fill: url(#hd7a9398fb1); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
-   </g>
-   <g id="patch_128">
-    <path d="M 1514.920275 292.631121 
-L 1538.298311 292.631121 
-L 1538.298311 36.322 
-L 1514.920275 36.322 
-z
-" clip-path="url(#p0a03c15111)" style="fill: url(#hd7a9398fb1); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
-   </g>
-   <g id="patch_129">
-    <path d="M 1577.261704 593.65928 
-L 1600.63974 593.65928 
-L 1600.63974 36.322 
-L 1577.261704 36.322 
-z
-" clip-path="url(#p0a03c15111)" style="fill: url(#hd7a9398fb1); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
-   </g>
-   <g id="patch_130">
-    <path d="M 1608.432419 36.322 
-L 1631.810455 36.322 
-L 1631.810455 36.322 
-L 1608.432419 36.322 
-z
-" clip-path="url(#p0a03c15111)" style="fill: url(#hd7a9398fb1); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#pa56e4ccfc5)" style="fill: url(#h6abd065d55); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="matplotlib.axis_1">
     <g id="xtick_1">
      <g id="line2d_1">
       <defs>
-       <path id="m210fb640cc" d="M 0 0 
+       <path id="md50563766f" d="M 0 0 
 L 0 9 
 " style="stroke: #000000; stroke-width: 1.875"/>
       </defs>
       <g>
-       <use xlink:href="#m210fb640cc" x="186.268563" y="677.695058" style="stroke: #000000; stroke-width: 1.875"/>
+       <use xlink:href="#md50563766f" x="155.891747" y="480.25634" style="stroke: #000000; stroke-width: 1.875"/>
       </g>
      </g>
      <g id="text_1">
       <!-- adagio -->
-      <g transform="translate(185.90302 747.376133) rotate(-80) scale(0.165 -0.165)">
+      <g transform="translate(155.526203 549.937416) rotate(-80) scale(0.165 -0.165)">
        <defs>
         <path id="DejaVuSans-61" d="M 2194 1759 
 Q 1497 1759 1228 1600 
@@ -1217,50 +1153,20 @@ z
     <g id="xtick_2">
      <g id="line2d_2">
       <g>
-       <use xlink:href="#m210fb640cc" x="217.439278" y="677.695058" style="stroke: #000000; stroke-width: 1.875"/>
+       <use xlink:href="#md50563766f" x="183.648526" y="480.25634" style="stroke: #000000; stroke-width: 1.875"/>
       </g>
      </g>
     </g>
     <g id="xtick_3">
      <g id="line2d_3">
       <g>
-       <use xlink:href="#m210fb640cc" x="279.780707" y="677.695058" style="stroke: #000000; stroke-width: 1.875"/>
+       <use xlink:href="#md50563766f" x="239.162084" y="480.25634" style="stroke: #000000; stroke-width: 1.875"/>
       </g>
      </g>
      <g id="text_2">
-      <!-- amandroid -->
-      <g transform="translate(276.555117 779.816393) rotate(-80) scale(0.165 -0.165)">
+      <!-- anadroid -->
+      <g transform="translate(237.331934 566.549814) rotate(-80) scale(0.165 -0.165)">
        <defs>
-        <path id="DejaVuSans-6d" d="M 3328 2828 
-Q 3544 3216 3844 3400 
-Q 4144 3584 4550 3584 
-Q 5097 3584 5394 3201 
-Q 5691 2819 5691 2113 
-L 5691 0 
-L 5113 0 
-L 5113 2094 
-Q 5113 2597 4934 2840 
-Q 4756 3084 4391 3084 
-Q 3944 3084 3684 2787 
-Q 3425 2491 3425 1978 
-L 3425 0 
-L 2847 0 
-L 2847 2094 
-Q 2847 2600 2669 2842 
-Q 2491 3084 2119 3084 
-Q 1678 3084 1418 2786 
-Q 1159 2488 1159 1978 
-L 1159 0 
-L 581 0 
-L 581 3500 
-L 1159 3500 
-L 1159 2956 
-Q 1356 3278 1631 3431 
-Q 1906 3584 2284 3584 
-Q 2666 3584 2933 3390 
-Q 3200 3197 3328 2828 
-z
-" transform="scale(0.015625)"/>
         <path id="DejaVuSans-6e" d="M 3513 2113 
 L 3513 0 
 L 2938 0 
@@ -1298,34 +1204,6 @@ L 2631 2963
 z
 " transform="scale(0.015625)"/>
        </defs>
-       <use xlink:href="#DejaVuSans-61"/>
-       <use xlink:href="#DejaVuSans-6d" transform="translate(61.279297 0)"/>
-       <use xlink:href="#DejaVuSans-61" transform="translate(158.691406 0)"/>
-       <use xlink:href="#DejaVuSans-6e" transform="translate(219.970703 0)"/>
-       <use xlink:href="#DejaVuSans-64" transform="translate(283.349609 0)"/>
-       <use xlink:href="#DejaVuSans-72" transform="translate(346.826172 0)"/>
-       <use xlink:href="#DejaVuSans-6f" transform="translate(385.689453 0)"/>
-       <use xlink:href="#DejaVuSans-69" transform="translate(446.871094 0)"/>
-       <use xlink:href="#DejaVuSans-64" transform="translate(474.654297 0)"/>
-      </g>
-     </g>
-    </g>
-    <g id="xtick_4">
-     <g id="line2d_4">
-      <g>
-       <use xlink:href="#m210fb640cc" x="310.951422" y="677.695058" style="stroke: #000000; stroke-width: 1.875"/>
-      </g>
-     </g>
-    </g>
-    <g id="xtick_5">
-     <g id="line2d_5">
-      <g>
-       <use xlink:href="#m210fb640cc" x="373.292851" y="677.695058" style="stroke: #000000; stroke-width: 1.875"/>
-      </g>
-     </g>
-     <g id="text_3">
-      <!-- anadroid -->
-      <g transform="translate(371.462701 763.988532) rotate(-80) scale(0.165 -0.165)">
        <use xlink:href="#DejaVuSans-61"/>
        <use xlink:href="#DejaVuSans-6e" transform="translate(61.279297 0)"/>
        <use xlink:href="#DejaVuSans-61" transform="translate(124.658203 0)"/>
@@ -1337,22 +1215,22 @@ z
       </g>
      </g>
     </g>
-    <g id="xtick_6">
-     <g id="line2d_6">
+    <g id="xtick_4">
+     <g id="line2d_4">
       <g>
-       <use xlink:href="#m210fb640cc" x="404.463566" y="677.695058" style="stroke: #000000; stroke-width: 1.875"/>
+       <use xlink:href="#md50563766f" x="266.918864" y="480.25634" style="stroke: #000000; stroke-width: 1.875"/>
       </g>
      </g>
     </g>
-    <g id="xtick_7">
-     <g id="line2d_7">
+    <g id="xtick_5">
+     <g id="line2d_5">
       <g>
-       <use xlink:href="#m210fb640cc" x="466.804995" y="677.695058" style="stroke: #000000; stroke-width: 1.875"/>
+       <use xlink:href="#md50563766f" x="322.432422" y="480.25634" style="stroke: #000000; stroke-width: 1.875"/>
       </g>
      </g>
-     <g id="text_4">
+     <g id="text_3">
       <!-- androguard -->
-      <g transform="translate(462.991592 786.483695) rotate(-80) scale(0.165 -0.165)">
+      <g transform="translate(318.619019 589.044978) rotate(-80) scale(0.165 -0.165)">
        <defs>
         <path id="DejaVuSans-75" d="M 544 1381 
 L 544 3500 
@@ -1390,22 +1268,22 @@ z
       </g>
      </g>
     </g>
-    <g id="xtick_8">
-     <g id="line2d_8">
+    <g id="xtick_6">
+     <g id="line2d_6">
       <g>
-       <use xlink:href="#m210fb640cc" x="497.97571" y="677.695058" style="stroke: #000000; stroke-width: 1.875"/>
+       <use xlink:href="#md50563766f" x="350.189201" y="480.25634" style="stroke: #000000; stroke-width: 1.875"/>
       </g>
      </g>
     </g>
-    <g id="xtick_9">
-     <g id="line2d_9">
+    <g id="xtick_7">
+     <g id="line2d_7">
       <g>
-       <use xlink:href="#m210fb640cc" x="560.317139" y="677.695058" style="stroke: #000000; stroke-width: 1.875"/>
+       <use xlink:href="#md50563766f" x="405.70276" y="480.25634" style="stroke: #000000; stroke-width: 1.875"/>
       </g>
      </g>
-     <g id="text_5">
+     <g id="text_4">
       <!-- androguard_dad -->
-      <g transform="translate(552.864606 825.197719) rotate(-80) scale(0.165 -0.165)">
+      <g transform="translate(398.250226 627.759002) rotate(-80) scale(0.165 -0.165)">
        <defs>
         <path id="DejaVuSans-5f" d="M 3263 -1063 
 L 3263 -1509 
@@ -1432,22 +1310,22 @@ z
       </g>
      </g>
     </g>
-    <g id="xtick_10">
-     <g id="line2d_10">
+    <g id="xtick_8">
+     <g id="line2d_8">
       <g>
-       <use xlink:href="#m210fb640cc" x="591.487854" y="677.695058" style="stroke: #000000; stroke-width: 1.875"/>
+       <use xlink:href="#md50563766f" x="433.459539" y="480.25634" style="stroke: #000000; stroke-width: 1.875"/>
       </g>
      </g>
     </g>
-    <g id="xtick_11">
-     <g id="line2d_11">
+    <g id="xtick_9">
+     <g id="line2d_9">
       <g>
-       <use xlink:href="#m210fb640cc" x="653.829283" y="677.695058" style="stroke: #000000; stroke-width: 1.875"/>
+       <use xlink:href="#md50563766f" x="488.973097" y="480.25634" style="stroke: #000000; stroke-width: 1.875"/>
       </g>
      </g>
-     <g id="text_6">
+     <g id="text_5">
       <!-- apparecium -->
-      <g transform="translate(649.811064 788.806841) rotate(-80) scale(0.165 -0.165)">
+      <g transform="translate(484.954878 591.368124) rotate(-80) scale(0.165 -0.165)">
        <defs>
         <path id="DejaVuSans-70" d="M 1159 525 
 L 1159 -1331 
@@ -1520,6 +1398,36 @@ Q 1294 3584 2113 3584
 Q 2378 3584 2631 3529 
 Q 2884 3475 3122 3366 
 z
+" transform="scale(0.015625)"/>
+        <path id="DejaVuSans-6d" d="M 3328 2828 
+Q 3544 3216 3844 3400 
+Q 4144 3584 4550 3584 
+Q 5097 3584 5394 3201 
+Q 5691 2819 5691 2113 
+L 5691 0 
+L 5113 0 
+L 5113 2094 
+Q 5113 2597 4934 2840 
+Q 4756 3084 4391 3084 
+Q 3944 3084 3684 2787 
+Q 3425 2491 3425 1978 
+L 3425 0 
+L 2847 0 
+L 2847 2094 
+Q 2847 2600 2669 2842 
+Q 2491 3084 2119 3084 
+Q 1678 3084 1418 2786 
+Q 1159 2488 1159 1978 
+L 1159 0 
+L 581 0 
+L 581 3500 
+L 1159 3500 
+L 1159 2956 
+Q 1356 3278 1631 3431 
+Q 1906 3584 2284 3584 
+Q 2666 3584 2933 3390 
+Q 3200 3197 3328 2828 
+z
 " transform="scale(0.015625)"/>
        </defs>
        <use xlink:href="#DejaVuSans-61"/>
@@ -1535,22 +1443,22 @@ z
       </g>
      </g>
     </g>
-    <g id="xtick_12">
-     <g id="line2d_12">
+    <g id="xtick_10">
+     <g id="line2d_10">
       <g>
-       <use xlink:href="#m210fb640cc" x="684.999998" y="677.695058" style="stroke: #000000; stroke-width: 1.875"/>
+       <use xlink:href="#md50563766f" x="516.729877" y="480.25634" style="stroke: #000000; stroke-width: 1.875"/>
       </g>
      </g>
     </g>
-    <g id="xtick_13">
-     <g id="line2d_13">
+    <g id="xtick_11">
+     <g id="line2d_11">
       <g>
-       <use xlink:href="#m210fb640cc" x="747.341427" y="677.695058" style="stroke: #000000; stroke-width: 1.875"/>
+       <use xlink:href="#md50563766f" x="572.243435" y="480.25634" style="stroke: #000000; stroke-width: 1.875"/>
       </g>
      </g>
-     <g id="text_7">
+     <g id="text_6">
       <!-- blueseal -->
-      <g transform="translate(745.824657 760.433992) rotate(-80) scale(0.165 -0.165)">
+      <g transform="translate(570.726665 562.995274) rotate(-80) scale(0.165 -0.165)">
        <defs>
         <path id="DejaVuSans-62" d="M 3116 1747 
 Q 3116 2381 2855 2742 
@@ -1628,22 +1536,22 @@ z
       </g>
      </g>
     </g>
-    <g id="xtick_14">
-     <g id="line2d_14">
+    <g id="xtick_12">
+     <g id="line2d_12">
       <g>
-       <use xlink:href="#m210fb640cc" x="778.512141" y="677.695058" style="stroke: #000000; stroke-width: 1.875"/>
+       <use xlink:href="#md50563766f" x="600.000214" y="480.25634" style="stroke: #000000; stroke-width: 1.875"/>
       </g>
      </g>
     </g>
-    <g id="xtick_15">
-     <g id="line2d_15">
+    <g id="xtick_13">
+     <g id="line2d_13">
       <g>
-       <use xlink:href="#m210fb640cc" x="840.853571" y="677.695058" style="stroke: #000000; stroke-width: 1.875"/>
+       <use xlink:href="#md50563766f" x="655.513773" y="480.25634" style="stroke: #000000; stroke-width: 1.875"/>
       </g>
      </g>
-     <g id="text_8">
+     <g id="text_7">
       <!-- didfail -->
-      <g transform="translate(840.942205 742.224588) rotate(-80) scale(0.165 -0.165)">
+      <g transform="translate(655.602407 544.785871) rotate(-80) scale(0.165 -0.165)">
        <defs>
         <path id="DejaVuSans-66" d="M 2375 4863 
 L 2375 4384 
@@ -1677,22 +1585,22 @@ z
       </g>
      </g>
     </g>
-    <g id="xtick_16">
-     <g id="line2d_16">
+    <g id="xtick_14">
+     <g id="line2d_14">
       <g>
-       <use xlink:href="#m210fb640cc" x="872.024285" y="677.695058" style="stroke: #000000; stroke-width: 1.875"/>
+       <use xlink:href="#md50563766f" x="683.270552" y="480.25634" style="stroke: #000000; stroke-width: 1.875"/>
       </g>
      </g>
     </g>
-    <g id="xtick_17">
-     <g id="line2d_17">
+    <g id="xtick_15">
+     <g id="line2d_15">
       <g>
-       <use xlink:href="#m210fb640cc" x="934.365715" y="677.695058" style="stroke: #000000; stroke-width: 1.875"/>
+       <use xlink:href="#md50563766f" x="738.78411" y="480.25634" style="stroke: #000000; stroke-width: 1.875"/>
       </g>
      </g>
-     <g id="text_9">
+     <g id="text_8">
       <!-- droidsafe -->
-      <g transform="translate(932.189278 767.916299) rotate(-80) scale(0.165 -0.165)">
+      <g transform="translate(736.607674 570.477582) rotate(-80) scale(0.165 -0.165)">
        <use xlink:href="#DejaVuSans-64"/>
        <use xlink:href="#DejaVuSans-72" transform="translate(63.476562 0)"/>
        <use xlink:href="#DejaVuSans-6f" transform="translate(102.339844 0)"/>
@@ -1705,22 +1613,22 @@ z
       </g>
      </g>
     </g>
-    <g id="xtick_18">
-     <g id="line2d_18">
+    <g id="xtick_16">
+     <g id="line2d_16">
       <g>
-       <use xlink:href="#m210fb640cc" x="965.536429" y="677.695058" style="stroke: #000000; stroke-width: 1.875"/>
+       <use xlink:href="#md50563766f" x="766.54089" y="480.25634" style="stroke: #000000; stroke-width: 1.875"/>
       </g>
      </g>
     </g>
-    <g id="xtick_19">
-     <g id="line2d_19">
+    <g id="xtick_17">
+     <g id="line2d_17">
       <g>
-       <use xlink:href="#m210fb640cc" x="1027.877859" y="677.695058" style="stroke: #000000; stroke-width: 1.875"/>
+       <use xlink:href="#md50563766f" x="822.054448" y="480.25634" style="stroke: #000000; stroke-width: 1.875"/>
       </g>
      </g>
-     <g id="text_10">
+     <g id="text_9">
       <!-- flowdroid -->
-      <g transform="translate(1025.760965 767.240937) rotate(-80) scale(0.165 -0.165)">
+      <g transform="translate(819.937554 569.802219) rotate(-80) scale(0.165 -0.165)">
        <defs>
         <path id="DejaVuSans-77" d="M 269 3500 
 L 844 3500 
@@ -1751,22 +1659,22 @@ z
       </g>
      </g>
     </g>
-    <g id="xtick_20">
-     <g id="line2d_20">
+    <g id="xtick_18">
+     <g id="line2d_18">
       <g>
-       <use xlink:href="#m210fb640cc" x="1059.048573" y="677.695058" style="stroke: #000000; stroke-width: 1.875"/>
+       <use xlink:href="#md50563766f" x="849.811227" y="480.25634" style="stroke: #000000; stroke-width: 1.875"/>
       </g>
      </g>
     </g>
-    <g id="xtick_21">
-     <g id="line2d_21">
+    <g id="xtick_19">
+     <g id="line2d_19">
       <g>
-       <use xlink:href="#m210fb640cc" x="1121.390002" y="677.695058" style="stroke: #000000; stroke-width: 1.875"/>
+       <use xlink:href="#md50563766f" x="905.324786" y="480.25634" style="stroke: #000000; stroke-width: 1.875"/>
       </g>
      </g>
-     <g id="text_11">
+     <g id="text_10">
       <!-- gator -->
-      <g transform="translate(1122.059287 735.638533) rotate(-80) scale(0.165 -0.165)">
+      <g transform="translate(905.99407 538.199815) rotate(-80) scale(0.165 -0.165)">
        <defs>
         <path id="DejaVuSans-74" d="M 1172 4494 
 L 1172 3500 
@@ -1798,22 +1706,22 @@ z
       </g>
      </g>
     </g>
-    <g id="xtick_22">
-     <g id="line2d_22">
+    <g id="xtick_20">
+     <g id="line2d_20">
       <g>
-       <use xlink:href="#m210fb640cc" x="1152.560717" y="677.695058" style="stroke: #000000; stroke-width: 1.875"/>
+       <use xlink:href="#md50563766f" x="933.081565" y="480.25634" style="stroke: #000000; stroke-width: 1.875"/>
       </g>
      </g>
     </g>
-    <g id="xtick_23">
-     <g id="line2d_23">
+    <g id="xtick_21">
+     <g id="line2d_21">
       <g>
-       <use xlink:href="#m210fb640cc" x="1214.902146" y="677.695058" style="stroke: #000000; stroke-width: 1.875"/>
+       <use xlink:href="#md50563766f" x="988.595123" y="480.25634" style="stroke: #000000; stroke-width: 1.875"/>
       </g>
      </g>
-     <g id="text_12">
+     <g id="text_11">
       <!-- ic3 -->
-      <g transform="translate(1217.288757 716.159651) rotate(-80) scale(0.165 -0.165)">
+      <g transform="translate(990.981734 518.720933) rotate(-80) scale(0.165 -0.165)">
        <defs>
         <path id="DejaVuSans-33" d="M 2597 2516 
 Q 3050 2419 3304 2112 
@@ -1854,22 +1762,22 @@ z
       </g>
      </g>
     </g>
-    <g id="xtick_24">
-     <g id="line2d_24">
+    <g id="xtick_22">
+     <g id="line2d_22">
       <g>
-       <use xlink:href="#m210fb640cc" x="1246.072861" y="677.695058" style="stroke: #000000; stroke-width: 1.875"/>
+       <use xlink:href="#md50563766f" x="1016.351903" y="480.25634" style="stroke: #000000; stroke-width: 1.875"/>
       </g>
      </g>
     </g>
-    <g id="xtick_25">
-     <g id="line2d_25">
+    <g id="xtick_23">
+     <g id="line2d_23">
       <g>
-       <use xlink:href="#m210fb640cc" x="1308.41429" y="677.695058" style="stroke: #000000; stroke-width: 1.875"/>
+       <use xlink:href="#md50563766f" x="1071.865461" y="480.25634" style="stroke: #000000; stroke-width: 1.875"/>
       </g>
      </g>
-     <g id="text_13">
+     <g id="text_12">
       <!-- iccta -->
-      <g transform="translate(1309.48515 731.083643) rotate(-80) scale(0.165 -0.165)">
+      <g transform="translate(1072.93632 533.644925) rotate(-80) scale(0.165 -0.165)">
        <use xlink:href="#DejaVuSans-69"/>
        <use xlink:href="#DejaVuSans-63" transform="translate(27.783203 0)"/>
        <use xlink:href="#DejaVuSans-63" transform="translate(82.763672 0)"/>
@@ -1878,22 +1786,22 @@ z
       </g>
      </g>
     </g>
-    <g id="xtick_26">
-     <g id="line2d_26">
+    <g id="xtick_24">
+     <g id="line2d_24">
       <g>
-       <use xlink:href="#m210fb640cc" x="1339.585005" y="677.695058" style="stroke: #000000; stroke-width: 1.875"/>
+       <use xlink:href="#md50563766f" x="1099.62224" y="480.25634" style="stroke: #000000; stroke-width: 1.875"/>
       </g>
      </g>
     </g>
-    <g id="xtick_27">
-     <g id="line2d_27">
+    <g id="xtick_25">
+     <g id="line2d_25">
       <g>
-       <use xlink:href="#m210fb640cc" x="1401.926434" y="677.695058" style="stroke: #000000; stroke-width: 1.875"/>
+       <use xlink:href="#md50563766f" x="1155.135799" y="480.25634" style="stroke: #000000; stroke-width: 1.875"/>
       </g>
      </g>
-     <g id="text_14">
+     <g id="text_13">
       <!-- mallodroid -->
-      <g transform="translate(1398.814109 778.531681) rotate(-80) scale(0.165 -0.165)">
+      <g transform="translate(1152.023473 581.092963) rotate(-80) scale(0.165 -0.165)">
        <use xlink:href="#DejaVuSans-6d"/>
        <use xlink:href="#DejaVuSans-61" transform="translate(97.412109 0)"/>
        <use xlink:href="#DejaVuSans-6c" transform="translate(158.691406 0)"/>
@@ -1907,22 +1815,22 @@ z
       </g>
      </g>
     </g>
-    <g id="xtick_28">
-     <g id="line2d_28">
+    <g id="xtick_26">
+     <g id="line2d_26">
       <g>
-       <use xlink:href="#m210fb640cc" x="1433.097149" y="677.695058" style="stroke: #000000; stroke-width: 1.875"/>
+       <use xlink:href="#md50563766f" x="1182.892578" y="480.25634" style="stroke: #000000; stroke-width: 1.875"/>
       </g>
      </g>
     </g>
-    <g id="xtick_29">
-     <g id="line2d_29">
+    <g id="xtick_27">
+     <g id="line2d_27">
       <g>
-       <use xlink:href="#m210fb640cc" x="1495.438578" y="677.695058" style="stroke: #000000; stroke-width: 1.875"/>
+       <use xlink:href="#md50563766f" x="1238.406136" y="480.25634" style="stroke: #000000; stroke-width: 1.875"/>
       </g>
      </g>
-     <g id="text_15">
+     <g id="text_14">
       <!-- redexer -->
-      <g transform="translate(1494.444706 754.502987) rotate(-80) scale(0.165 -0.165)">
+      <g transform="translate(1237.412265 557.064269) rotate(-80) scale(0.165 -0.165)">
        <defs>
         <path id="DejaVuSans-78" d="M 3513 3500 
 L 2247 1797 
@@ -1950,22 +1858,22 @@ z
       </g>
      </g>
     </g>
-    <g id="xtick_30">
-     <g id="line2d_30">
+    <g id="xtick_28">
+     <g id="line2d_28">
       <g>
-       <use xlink:href="#m210fb640cc" x="1526.609293" y="677.695058" style="stroke: #000000; stroke-width: 1.875"/>
+       <use xlink:href="#md50563766f" x="1266.162916" y="480.25634" style="stroke: #000000; stroke-width: 1.875"/>
       </g>
      </g>
     </g>
-    <g id="xtick_31">
-     <g id="line2d_31">
+    <g id="xtick_29">
+     <g id="line2d_29">
       <g>
-       <use xlink:href="#m210fb640cc" x="1588.950722" y="677.695058" style="stroke: #000000; stroke-width: 1.875"/>
+       <use xlink:href="#md50563766f" x="1321.676474" y="480.25634" style="stroke: #000000; stroke-width: 1.875"/>
       </g>
      </g>
-     <g id="text_16">
+     <g id="text_15">
       <!-- saaf -->
-      <g transform="translate(1590.428081 726.472896) rotate(-80) scale(0.165 -0.165)">
+      <g transform="translate(1323.153833 529.034179) rotate(-80) scale(0.165 -0.165)">
        <use xlink:href="#DejaVuSans-73"/>
        <use xlink:href="#DejaVuSans-61" transform="translate(52.099609 0)"/>
        <use xlink:href="#DejaVuSans-61" transform="translate(113.378906 0)"/>
@@ -1973,29 +1881,29 @@ z
       </g>
      </g>
     </g>
-    <g id="xtick_32">
-     <g id="line2d_32">
+    <g id="xtick_30">
+     <g id="line2d_30">
       <g>
-       <use xlink:href="#m210fb640cc" x="1620.121437" y="677.695058" style="stroke: #000000; stroke-width: 1.875"/>
+       <use xlink:href="#md50563766f" x="1349.433253" y="480.25634" style="stroke: #000000; stroke-width: 1.875"/>
       </g>
      </g>
     </g>
    </g>
    <g id="matplotlib.axis_2">
     <g id="ytick_1">
-     <g id="line2d_33">
+     <g id="line2d_31">
       <defs>
-       <path id="m1559b32e7c" d="M 0 0 
+       <path id="m8d8be07209" d="M 0 0 
 L -9 0 
 " style="stroke: #000000; stroke-width: 1.875"/>
       </defs>
       <g>
-       <use xlink:href="#m1559b32e7c" x="101.718" y="677.695058" style="stroke: #000000; stroke-width: 1.875"/>
+       <use xlink:href="#m8d8be07209" x="84.765" y="480.25634" style="stroke: #000000; stroke-width: 1.875"/>
       </g>
      </g>
-     <g id="text_17">
+     <g id="text_16">
       <!-- 0 -->
-      <g transform="translate(78.719875 683.963769) scale(0.165 -0.165)">
+      <g transform="translate(61.766875 486.525051) scale(0.165 -0.165)">
        <defs>
         <path id="DejaVuSans-30" d="M 2034 4250 
 Q 1547 4250 1301 3770 
@@ -2024,14 +1932,14 @@ z
      </g>
     </g>
     <g id="ytick_2">
-     <g id="line2d_34">
+     <g id="line2d_32">
       <g>
-       <use xlink:href="#m1559b32e7c" x="101.718" y="549.420446" style="stroke: #000000; stroke-width: 1.875"/>
+       <use xlink:href="#m8d8be07209" x="84.765" y="389.353072" style="stroke: #000000; stroke-width: 1.875"/>
       </g>
      </g>
-     <g id="text_18">
+     <g id="text_17">
       <!-- 20 -->
-      <g transform="translate(68.22175 555.689157) scale(0.165 -0.165)">
+      <g transform="translate(51.26875 395.621783) scale(0.165 -0.165)">
        <defs>
         <path id="DejaVuSans-32" d="M 1228 531 
 L 3431 531 
@@ -2064,14 +1972,14 @@ z
      </g>
     </g>
     <g id="ytick_3">
-     <g id="line2d_35">
+     <g id="line2d_33">
       <g>
-       <use xlink:href="#m1559b32e7c" x="101.718" y="421.145835" style="stroke: #000000; stroke-width: 1.875"/>
+       <use xlink:href="#m8d8be07209" x="84.765" y="298.449804" style="stroke: #000000; stroke-width: 1.875"/>
       </g>
      </g>
-     <g id="text_19">
+     <g id="text_18">
       <!-- 40 -->
-      <g transform="translate(68.22175 427.414546) scale(0.165 -0.165)">
+      <g transform="translate(51.26875 304.718515) scale(0.165 -0.165)">
        <defs>
         <path id="DejaVuSans-34" d="M 2419 4116 
 L 825 1625 
@@ -2099,14 +2007,14 @@ z
      </g>
     </g>
     <g id="ytick_4">
-     <g id="line2d_36">
+     <g id="line2d_34">
       <g>
-       <use xlink:href="#m1559b32e7c" x="101.718" y="292.871223" style="stroke: #000000; stroke-width: 1.875"/>
+       <use xlink:href="#m8d8be07209" x="84.765" y="207.546536" style="stroke: #000000; stroke-width: 1.875"/>
       </g>
      </g>
-     <g id="text_20">
+     <g id="text_19">
       <!-- 60 -->
-      <g transform="translate(68.22175 299.139934) scale(0.165 -0.165)">
+      <g transform="translate(51.26875 213.815247) scale(0.165 -0.165)">
        <defs>
         <path id="DejaVuSans-36" d="M 2113 2584 
 Q 1688 2584 1439 2293 
@@ -2145,14 +2053,14 @@ z
      </g>
     </g>
     <g id="ytick_5">
-     <g id="line2d_37">
+     <g id="line2d_35">
       <g>
-       <use xlink:href="#m1559b32e7c" x="101.718" y="164.596612" style="stroke: #000000; stroke-width: 1.875"/>
+       <use xlink:href="#m8d8be07209" x="84.765" y="116.643268" style="stroke: #000000; stroke-width: 1.875"/>
       </g>
      </g>
-     <g id="text_21">
+     <g id="text_20">
       <!-- 80 -->
-      <g transform="translate(68.22175 170.865322) scale(0.165 -0.165)">
+      <g transform="translate(51.26875 122.911979) scale(0.165 -0.165)">
        <defs>
         <path id="DejaVuSans-38" d="M 2034 2216 
 Q 1584 2216 1326 1975 
@@ -2200,14 +2108,14 @@ z
      </g>
     </g>
     <g id="ytick_6">
-     <g id="line2d_38">
+     <g id="line2d_36">
       <g>
-       <use xlink:href="#m1559b32e7c" x="101.718" y="36.322" style="stroke: #000000; stroke-width: 1.875"/>
+       <use xlink:href="#m8d8be07209" x="84.765" y="25.74" style="stroke: #000000; stroke-width: 1.875"/>
       </g>
      </g>
-     <g id="text_22">
+     <g id="text_21">
       <!-- 100 -->
-      <g transform="translate(57.723625 42.590711) scale(0.165 -0.165)">
+      <g transform="translate(40.770625 32.008711) scale(0.165 -0.165)">
        <defs>
         <path id="DejaVuSans-31" d="M 794 531 
 L 1825 531 
@@ -2230,9 +2138,9 @@ z
       </g>
      </g>
     </g>
-    <g id="text_23">
+    <g id="text_22">
      <!-- % of analysed apk -->
-     <g transform="translate(49.980187 439.757904) rotate(-90) scale(0.18 -0.18)">
+     <g transform="translate(33.027187 335.747545) rotate(-90) scale(0.18 -0.18)">
       <defs>
        <path id="DejaVuSans-25" d="M 4653 2053 
 Q 4381 2053 4226 1822 
@@ -2334,51 +2242,51 @@ z
      </g>
     </g>
    </g>
-   <g id="patch_131">
-    <path d="M 101.718 677.695058 
-L 101.718 36.322 
+   <g id="patch_123">
+    <path d="M 84.765 480.25634 
+L 84.765 25.74 
 " style="fill: none; stroke: #000000; stroke-width: 1.875; stroke-linejoin: miter; stroke-linecap: square"/>
    </g>
-   <g id="patch_132">
-    <path d="M 1704.672 677.695058 
-L 1704.672 36.322 
+   <g id="patch_124">
+    <path d="M 1420.56 480.25634 
+L 1420.56 25.74 
 " style="fill: none; stroke: #000000; stroke-width: 1.875; stroke-linejoin: miter; stroke-linecap: square"/>
    </g>
-   <g id="patch_133">
-    <path d="M 101.718 677.695058 
-L 1704.672 677.695058 
+   <g id="patch_125">
+    <path d="M 84.765 480.25634 
+L 1420.56 480.25634 
 " style="fill: none; stroke: #000000; stroke-width: 1.875; stroke-linejoin: miter; stroke-linecap: square"/>
    </g>
-   <g id="patch_134">
-    <path d="M 101.718 36.322 
-L 1704.672 36.322 
+   <g id="patch_126">
+    <path d="M 84.765 25.74 
+L 1420.56 25.74 
 " style="fill: none; stroke: #000000; stroke-width: 1.875; stroke-linejoin: miter; stroke-linecap: square"/>
    </g>
    <g id="legend_1">
-    <g id="patch_135">
-     <path d="M 1564.79325 146.397625 
-L 1693.122 146.397625 
-Q 1696.422 146.397625 1696.422 143.097625 
-L 1696.422 47.872 
-Q 1696.422 44.572 1693.122 44.572 
-L 1564.79325 44.572 
-Q 1561.49325 44.572 1561.49325 47.872 
-L 1561.49325 143.097625 
-Q 1561.49325 146.397625 1564.79325 146.397625 
+    <g id="patch_127">
+     <path d="M 1280.68125 135.815625 
+L 1409.01 135.815625 
+Q 1412.31 135.815625 1412.31 132.515625 
+L 1412.31 37.29 
+Q 1412.31 33.99 1409.01 33.99 
+L 1280.68125 33.99 
+Q 1277.38125 33.99 1277.38125 37.29 
+L 1277.38125 132.515625 
+Q 1277.38125 135.815625 1280.68125 135.815625 
 z
 " style="fill: #ffffff; opacity: 0.8; stroke: #cccccc; stroke-width: 1.5; stroke-linejoin: miter"/>
     </g>
-    <g id="patch_136">
-     <path d="M 1568.09325 63.709422 
-L 1601.09325 63.709422 
-L 1601.09325 52.159422 
-L 1568.09325 52.159422 
+    <g id="patch_128">
+     <path d="M 1283.98125 53.127422 
+L 1316.98125 53.127422 
+L 1316.98125 41.577422 
+L 1283.98125 41.577422 
 z
-" style="fill: url(#h5fbd823695); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" style="fill: url(#h15d9902769); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
     </g>
-    <g id="text_24">
+    <g id="text_23">
      <!-- Finished -->
-     <g transform="translate(1614.29325 63.709422) scale(0.165 -0.165)">
+     <g transform="translate(1330.18125 53.127422) scale(0.165 -0.165)">
       <defs>
        <path id="DejaVuSans-46" d="M 628 4666 
 L 3309 4666 
@@ -2423,17 +2331,17 @@ z
       <use xlink:href="#DejaVuSans-64" transform="translate(346.216797 0)"/>
      </g>
     </g>
-    <g id="patch_137">
-     <path d="M 1568.09325 87.928328 
-L 1601.09325 87.928328 
-L 1601.09325 76.378328 
-L 1568.09325 76.378328 
+    <g id="patch_129">
+     <path d="M 1283.98125 77.346328 
+L 1316.98125 77.346328 
+L 1316.98125 65.796328 
+L 1283.98125 65.796328 
 z
-" style="fill: url(#h32ff551f15); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" style="fill: url(#h1f3e2547b8); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
     </g>
-    <g id="text_25">
+    <g id="text_24">
      <!-- Time Out -->
-     <g transform="translate(1614.29325 87.928328) scale(0.165 -0.165)">
+     <g transform="translate(1330.18125 77.346328) scale(0.165 -0.165)">
       <defs>
        <path id="DejaVuSans-54" d="M -19 4666 
 L 3928 4666 
@@ -2478,17 +2386,17 @@ z
       <use xlink:href="#DejaVuSans-74" transform="translate(418.554688 0)"/>
      </g>
     </g>
-    <g id="patch_138">
-     <path d="M 1568.09325 112.147234 
-L 1601.09325 112.147234 
-L 1601.09325 100.597234 
-L 1568.09325 100.597234 
+    <g id="patch_130">
+     <path d="M 1283.98125 101.565234 
+L 1316.98125 101.565234 
+L 1316.98125 90.015234 
+L 1283.98125 90.015234 
 z
-" style="fill: url(#ha96f6e66c8); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" style="fill: url(#ha33db2223d); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
     </g>
-    <g id="text_26">
+    <g id="text_25">
      <!-- Other -->
-     <g transform="translate(1614.29325 112.147234) scale(0.165 -0.165)">
+     <g transform="translate(1330.18125 101.565234) scale(0.165 -0.165)">
       <use xlink:href="#DejaVuSans-4f"/>
       <use xlink:href="#DejaVuSans-74" transform="translate(78.710938 0)"/>
       <use xlink:href="#DejaVuSans-68" transform="translate(117.919922 0)"/>
@@ -2496,17 +2404,17 @@ z
       <use xlink:href="#DejaVuSans-72" transform="translate(242.822266 0)"/>
      </g>
     </g>
-    <g id="patch_139">
-     <path d="M 1568.09325 136.366141 
-L 1601.09325 136.366141 
-L 1601.09325 124.816141 
-L 1568.09325 124.816141 
+    <g id="patch_131">
+     <path d="M 1283.98125 125.784141 
+L 1316.98125 125.784141 
+L 1316.98125 114.234141 
+L 1283.98125 114.234141 
 z
-" style="fill: url(#hd7a9398fb1); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
+" style="fill: url(#h6abd065d55); stroke: #000000; stroke-width: 1.5; stroke-linejoin: miter"/>
     </g>
-    <g id="text_27">
+    <g id="text_26">
      <!-- Failed -->
-     <g transform="translate(1614.29325 136.366141) scale(0.165 -0.165)">
+     <g transform="translate(1330.18125 125.784141) scale(0.165 -0.165)">
       <use xlink:href="#DejaVuSans-46"/>
       <use xlink:href="#DejaVuSans-61" transform="translate(48.394531 0)"/>
       <use xlink:href="#DejaVuSans-69" transform="translate(109.673828 0)"/>
@@ -2519,12 +2427,12 @@ z
   </g>
  </g>
  <defs>
-  <clipPath id="p0a03c15111">
-   <rect x="101.718" y="36.322" width="1602.954" height="641.373058"/>
+  <clipPath id="pa56e4ccfc5">
+   <rect x="84.765" y="25.74" width="1335.795" height="454.51634"/>
   </clipPath>
  </defs>
  <defs>
-  <pattern id="h5fbd823695" patternUnits="userSpaceOnUse" x="0" y="0" width="72" height="72">
+  <pattern id="h15d9902769" patternUnits="userSpaceOnUse" x="0" y="0" width="72" height="72">
    <rect x="0" y="0" width="73" height="73" fill="#009e73"/>
    <path d="M -36 36 
 L 36 -36 
@@ -2542,7 +2450,7 @@ M 36 108
 L 108 36 
 " style="fill: #000000; stroke: #000000; stroke-width: 1.0; stroke-linecap: butt; stroke-linejoin: miter"/>
   </pattern>
-  <pattern id="h32ff551f15" patternUnits="userSpaceOnUse" x="0" y="0" width="72" height="72">
+  <pattern id="h1f3e2547b8" patternUnits="userSpaceOnUse" x="0" y="0" width="72" height="72">
    <rect x="0" y="0" width="73" height="73" fill="#56b4e9"/>
    <path d="M -36 36 
 L 36 -36 
@@ -2574,7 +2482,7 @@ M 36 -36
 L 108 36 
 " style="fill: #000000; stroke: #000000; stroke-width: 1.0; stroke-linecap: butt; stroke-linejoin: miter"/>
   </pattern>
-  <pattern id="ha96f6e66c8" patternUnits="userSpaceOnUse" x="0" y="0" width="72" height="72">
+  <pattern id="ha33db2223d" patternUnits="userSpaceOnUse" x="0" y="0" width="72" height="72">
    <rect x="0" y="0" width="73" height="73" fill="#555555"/>
    <path d="M 0 73.2 
 C 0.318244 73.2 0.623496 73.07356 0.848528 72.848528 
@@ -3038,7 +2946,7 @@ C 71.376504 1.07356 71.681756 1.2 72 1.2
 z
 " style="fill: #000000; stroke: #000000; stroke-width: 1.0; stroke-linecap: butt; stroke-linejoin: miter"/>
   </pattern>
-  <pattern id="hd7a9398fb1" patternUnits="userSpaceOnUse" x="0" y="0" width="72" height="72">
+  <pattern id="h6abd065d55" patternUnits="userSpaceOnUse" x="0" y="0" width="72" height="72">
    <rect x="0" y="0" width="73" height="73" fill="#d55e00"/>
    <path d="M -36 36 
 L 36 108 
diff --git a/5_theseus/figs/demo_main_main.dot b/5_theseus/figs/demo_main_main.dot
deleted file mode 100644
index 4f14890..0000000
--- a/5_theseus/figs/demo_main_main.dot
+++ /dev/null
@@ -1,228 +0,0 @@
-strict digraph "" {
-	#"Main-><init>(Activity)V"	[accessflags="public constructor",
-	#	classname="Main",
-	#	descriptor="(Activity)V",
-	#	entrypoint=False,
-	#	external=False,
-	#	methodname="<init>"];
-	#"Class->getClassLoader()ClassLoader"	[classname="Class",
-	#	descriptor="()ClassLoader",
-	#	entrypoint=False,
-	#	external=True,
-	#	methodname=getClassLoader];
-	#"Main-><init>(Activity)V" -> "Class->getClassLoader()ClassLoader";
-	#"String->getBytes()[B"	[classname="String",
-	#	descriptor="()[B",
-	#	entrypoint=False,
-	#	external=True,
-	#	methodname=getBytes];
-	#"Main-><init>(Activity)V" -> "String->getBytes()[B";
-	#"ByteBuffer->wrap([B)ByteBuffer"	[classname="ByteBuffer",
-	#	descriptor="([B)ByteBuffer",
-	#	entrypoint=False,
-	#	external=True,
-	#	methodname=wrap];
-	#"Main-><init>(Activity)V" -> "ByteBuffer->wrap([B)ByteBuffer";
-	#"SecretKeySpec-><init>([B String)V"	[classname="SecretKeySpec",
-	#	descriptor="([B String)V",
-	#	entrypoint=False,
-	#	external=True,
-	#	methodname="<init>"];
-	#"Main-><init>(Activity)V" -> "SecretKeySpec-><init>([B String)V";
-	#"InMemoryDexClassLoader-><init>(ByteBuffer ClassLoader)V"	[classname="InMemoryDexClassLoader",
-	#	descriptor="(ByteBuffer ClassLoader)V",
-	#	entrypoint=False,
-	#	external=True,
-	#	methodname="<init>"];
-	#"Main-><init>(Activity)V" -> "InMemoryDexClassLoader-><init>(ByteBuffer ClassLoader)V";
-	#"Object-><init>()V"	[classname="Object",
-	#	descriptor="()V",
-	#	entrypoint=False,
-	#	external=True,
-	#	methodname="<init>"];
-	#"Main-><init>(Activity)V" -> "Object-><init>()V";
-	"Base64->decode(String I)[B"	[classname="Base64",
-		descriptor="(String I)[B",
-		entrypoint=False,
-		external=True,
-		methodname=decode];
-	#"Main-><init>(Activity)V" -> "Base64->decode(String I)[B";
-	"Main->decrypt(String)String"	[accessflags=public,
-		classname="Main",
-		descriptor="(String)String",
-		entrypoint=False,
-		external=False,
-		methodname=decrypt];
-	"Main->decrypt(String)String" -> "Base64->decode(String I)[B";
-	"Cipher->init(I Key)V"	[classname="Cipher",
-		descriptor="(I Key)V",
-		entrypoint=False,
-		external=True,
-		methodname=init];
-	"Main->decrypt(String)String" -> "Cipher->init(I Key)V";
-	"Cipher->doFinal([B)[B"	[classname="Cipher",
-		descriptor="([B)[B",
-		entrypoint=False,
-		external=True,
-		methodname=doFinal];
-	"Main->decrypt(String)String" -> "Cipher->doFinal([B)[B";
-	"Cipher->getInstance(String)Cipher"	[classname="Cipher",
-		descriptor="(String)Cipher",
-		entrypoint=False,
-		external=True,
-		methodname=getInstance];
-	"Main->decrypt(String)String" -> "Cipher->getInstance(String)Cipher";
-	"String-><init>([B)V"	[classname="String",
-		descriptor="([B)V",
-		entrypoint=False,
-		external=True,
-		methodname="<init>"];
-	"Main->decrypt(String)String" -> "String-><init>([B)V";
-	#"Main->encrypt(String)String"	[accessflags=public,
-	#	classname="Main",
-	#	descriptor="(String)String",
-	#	entrypoint=False,
-	#	external=False,
-	#	methodname=encrypt];
-	#"Main->encrypt(String)String" -> "String->getBytes()[B";
-	#"Main->encrypt(String)String" -> "Cipher->init(I Key)V";
-	#"Main->encrypt(String)String" -> "Cipher->doFinal([B)[B";
-	#"Main->encrypt(String)String" -> "Cipher->getInstance(String)Cipher";
-	#"Base64->encodeToString([B I)String"	[classname="Base64",
-	#	descriptor="([B I)String",
-	#	entrypoint=False,
-	#	external=True,
-	#	methodname=encodeToString];
-	#"Main->encrypt(String)String" -> "Base64->encodeToString([B I)String";
-	"Main->main()V"	[accessflags=public,
-		classname="Main",
-		descriptor="()V",
-		entrypoint=False,
-		external=False,
-		methodname=main];
-	"Main->main()V" -> "Main->decrypt(String)String";
-	"Method->invoke(Object [Object)Object"	[classname="Method",
-		descriptor="(Object [Object)Object",
-		entrypoint=False,
-		external=True,
-		methodname=invoke];
-	"Main->main()V" -> "Method->invoke(Object [Object)Object";
-	"ClassLoader->loadClass(String)Class"	[classname="ClassLoader",
-		descriptor="(String)Class",
-		entrypoint=False,
-		external=True,
-		methodname=loadClass];
-	"Main->main()V" -> "ClassLoader->loadClass(String)Class";
-	"Class->getMethod(String [Class)Method"	[classname="Class",
-		descriptor="(String [Class)Method",
-		entrypoint=False,
-		external=True,
-		methodname=getMethod];
-	"Main->main()V" -> "Class->getMethod(String [Class)Method";
-	#"MainActivity-><init>()Vg"	[accessflags="public constructor",
-	#	classname="MainActivity",
-	#	descriptor="()V",
-	#	entrypoint=False,
-	#	external=False,
-	#	methodname="<init>"];
-	#"Activity-><init>()V"	[classname="Activity",
-	#	descriptor="()V",
-	#	entrypoint=False,
-	#	external=True,
-	#	methodname="<init>"];
-	#"MainActivity-><init>()Vg" -> "Activity-><init>()V";
-	#"MainActivity->onCreate(Bundle)V"	[accessflags=protected,
-	#	classname="MainActivity",
-	#	descriptor="(Bundle)V",
-	#	entrypoint=False,
-	#	external=False,
-	#	methodname=onCreate];
-	#"MainActivity->onCreate(Bundle)V" -> "Main-><init>(Activity)V";
-	#"MainActivity->onCreate(Bundle)V" -> "Main->main()V";
-	#"Activity->onCreate(Bundle)V"	[classname="Activity",
-	#	descriptor="(Bundle)V",
-	#	entrypoint=False,
-	#	external=True,
-	#	methodname=onCreate];
-	#"MainActivity->onCreate(Bundle)V" -> "Activity->onCreate(Bundle)V";
-	#"Log->i(String String Throwable;)I"	[classname="Log",
-	#	descriptor="(String String Throwable;)I",
-	#	entrypoint=False,
-	#	external=True,
-	#	methodname=i];
-	#"MainActivity->onCreate(Bundle)V" -> "Log->i(String String Throwable;)I";
-	#"Utils-><init>()V"	[accessflags="public constructor",
-	#	classname="Utils",
-	#	descriptor="()V",
-	#	entrypoint=False,
-	#	external=False,
-	#	methodname="<init>"];
-	#"Utils-><init>()V" -> "Object-><init>()V";
-	#"Utils->popup(Activity String String)V"	[accessflags="public static",
-	#	classname="Utils",
-	#	descriptor="(Activity String String)V",
-	#	entrypoint=False,
-	#	external=False,
-	#	methodname=popup];
-	#"AlertDialog$Builder->setTitle(CharSequence)AlertDialog$Builder"	[classname="AlertDialog$Builder",
-	#	descriptor="(CharSequence)AlertDialog$Builder",
-	#	entrypoint=False,
-	#	external=True,
-	#	methodname=setTitle];
-	#"Utils->popup(Activity String String)V" -> "AlertDialog$Builder->setTitle(CharSequence)AlertDialog$Builder";
-	#"AlertDialog$Builder-><init>(Context)V"	[classname="AlertDialog$Builder",
-	#	descriptor="(Context)V",
-	#	entrypoint=False,
-	#	external=True,
-	#	methodname="<init>"];
-	#"Utils->popup(Activity String String)V" -> "AlertDialog$Builder-><init>(Context)V";
-	#"AlertDialog$Builder->setMessage(CharSequence)AlertDialog$Builder"	[classname="AlertDialog$Builder",
-	#	descriptor="(CharSequence)AlertDialog$Builder",
-	#	entrypoint=False,
-	#	external=True,
-	#	methodname=setMessage];
-	#"Utils->popup(Activity String String)V" -> "AlertDialog$Builder->setMessage(CharSequence)AlertDialog$Builder";
-	#"AlertDialog->show()V"	[classname="AlertDialog",
-	#	descriptor="()V",
-	#	entrypoint=False,
-	#	external=True,
-	#	methodname=show];
-	#"Utils->popup(Activity String String)V" -> "AlertDialog->show()V";
-	#"AlertDialog$Builder->create()AlertDialog"	[classname="AlertDialog$Builder",
-	#	descriptor="()AlertDialog",
-	#	entrypoint=False,
-	#	external=True,
-	#	methodname=create];
-	#"Utils->popup(Activity String String)V" -> "AlertDialog$Builder->create()AlertDialog";
-	#"Utils->sink(Activity String)V"	[accessflags="public static",
-	#	classname="Utils",
-	#	descriptor="(Activity String)V",
-	#	entrypoint=False,
-	#	external=False,
-	#	methodname=sink];
-	#"Utils->sink(Activity String)V" -> "Utils->popup(Activity String String)V";
-	#"Utils->source(String)String"	[accessflags="public static",
-	#	classname="Utils",
-	#	descriptor="(String)String",
-	#	entrypoint=False,
-	#	external=False,
-	#	methodname=source];
-	#"StringBuilder->append(String)StringBuilder"	[classname="StringBuilder",
-	#	descriptor="(String)StringBuilder",
-	#	entrypoint=False,
-	#	external=True,
-	#	methodname=append];
-	#"Utils->source(String)String" -> "StringBuilder->append(String)StringBuilder";
-	#"StringBuilder-><init>()V"	[classname="StringBuilder",
-	#	descriptor="()V",
-	#	entrypoint=False,
-	#	external=True,
-	#	methodname="<init>"];
-	#"Utils->source(String)String" -> "StringBuilder-><init>()V";
-	#"StringBuilder->toString()String"	[classname="StringBuilder",
-	#	descriptor="()String",
-	#	entrypoint=False,
-	#	external=True,
-	#	methodname=toString];
-	#"Utils->source(String)String" -> "StringBuilder->toString()String";
-}
diff --git a/5_theseus/figs/demo_raw.dot b/5_theseus/figs/demo_raw.dot
deleted file mode 100644
index 163a181..0000000
--- a/5_theseus/figs/demo_raw.dot
+++ /dev/null
@@ -1,235 +0,0 @@
-strict digraph "" {
-	"Lcom/example/theseus/Main;-><init>(Landroid/app/Activity;)V [access_flags=public constructor] @ 0x60c"	[accessflags="public constructor",
-		classname="Lcom/example/theseus/Main;",
-		descriptor="(Landroid/app/Activity;)V",
-		entrypoint=False,
-		external=False,
-		methodname="<init>"];
-	"Ljava/lang/Class;->getClassLoader()Ljava/lang/ClassLoader;"	[classname="Ljava/lang/Class;",
-		descriptor="()Ljava/lang/ClassLoader;",
-		entrypoint=False,
-		external=True,
-		methodname=getClassLoader];
-	"Lcom/example/theseus/Main;-><init>(Landroid/app/Activity;)V [access_flags=public constructor] @ 0x60c" -> "Ljava/lang/Class;->getClassLoader()Ljava/lang/ClassLoader;";
-	"Ljava/lang/String;->getBytes()[B"	[classname="Ljava/lang/String;",
-		descriptor="()[B",
-		entrypoint=False,
-		external=True,
-		methodname=getBytes];
-	"Lcom/example/theseus/Main;-><init>(Landroid/app/Activity;)V [access_flags=public constructor] @ 0x60c" -> "Ljava/lang/String;->getBytes()[B";
-	"Ljava/nio/ByteBuffer;->wrap([B)Ljava/nio/ByteBuffer;"	[classname="Ljava/nio/ByteBuffer;",
-		descriptor="([B)Ljava/nio/ByteBuffer;",
-		entrypoint=False,
-		external=True,
-		methodname=wrap];
-	"Lcom/example/theseus/Main;-><init>(Landroid/app/Activity;)V [access_flags=public constructor] @ 0x60c" -> "Ljava/nio/ByteBuffer;->wrap([B)Ljava/nio/ByteBuffer;";
-	"Ljavax/crypto/spec/SecretKeySpec;-><init>([B Ljava/lang/String;)V"	[classname="Ljavax/crypto/spec/SecretKeySpec;",
-		descriptor="([B Ljava/lang/String;)V",
-		entrypoint=False,
-		external=True,
-		methodname="<init>"];
-	"Lcom/example/theseus/Main;-><init>(Landroid/app/Activity;)V [access_flags=public constructor] @ 0x60c" -> "Ljavax/crypto/spec/SecretKeySpec;-><init>([B Ljava/lang/String;)V";
-	"Ldalvik/system/InMemoryDexClassLoader;-><init>(Ljava/nio/ByteBuffer; Ljava/lang/ClassLoader;)V"	[classname="Ldalvik/system/InMemoryDexClassLoader;",
-		descriptor="(Ljava/nio/ByteBuffer; Ljava/lang/ClassLoader;)V",
-		entrypoint=False,
-		external=True,
-		methodname="<init>"];
-	"Lcom/example/theseus/Main;-><init>(Landroid/app/Activity;)V [access_flags=public constructor] @ 0x60c" -> "Ldalvik/system/InMemoryDexClassLoader;-><init>(Ljava/nio/ByteBuffer; Ljava/lang/ClassLoader;)V";
-	"Ljava/lang/Object;-><init>()V"	[classname="Ljava/lang/Object;",
-		descriptor="()V",
-		entrypoint=False,
-		external=True,
-		methodname="<init>"];
-	"Lcom/example/theseus/Main;-><init>(Landroid/app/Activity;)V [access_flags=public constructor] @ 0x60c" -> "Ljava/lang/Object;-><init>()V";
-	"Landroid/util/Base64;->decode(Ljava/lang/String; I)[B"	[classname="Landroid/util/Base64;",
-		descriptor="(Ljava/lang/String; I)[B",
-		entrypoint=False,
-		external=True,
-		methodname=decode];
-	"Lcom/example/theseus/Main;-><init>(Landroid/app/Activity;)V [access_flags=public constructor] @ 0x60c" -> "Landroid/util/Base64;->decode(Ljava/lang/String; I)[B";
-	"Lcom/example/theseus/Main;->decrypt(Ljava/lang/String;)Ljava/lang/String; [access_flags=public] @ 0x584"	[accessflags=public,
-		classname="Lcom/example/theseus/Main;",
-		descriptor="(Ljava/lang/String;)Ljava/lang/String;",
-		entrypoint=False,
-		external=False,
-		methodname=decrypt];
-	"Lcom/example/theseus/Main;->decrypt(Ljava/lang/String;)Ljava/lang/String; [access_flags=public] @ 0x584" -> "Landroid/util/Base64;->decode(Ljava/lang/String; I)[B";
-	"Ljavax/crypto/Cipher;->init(I Ljava/security/Key;)V"	[classname="Ljavax/crypto/Cipher;",
-		descriptor="(I Ljava/security/Key;)V",
-		entrypoint=False,
-		external=True,
-		methodname=init];
-	"Lcom/example/theseus/Main;->decrypt(Ljava/lang/String;)Ljava/lang/String; [access_flags=public] @ 0x584" -> "Ljavax/crypto/Cipher;->init(I Ljava/security/Key;)V";
-	"Ljavax/crypto/Cipher;->doFinal([B)[B"	[classname="Ljavax/crypto/Cipher;",
-		descriptor="([B)[B",
-		entrypoint=False,
-		external=True,
-		methodname=doFinal];
-	"Lcom/example/theseus/Main;->decrypt(Ljava/lang/String;)Ljava/lang/String; [access_flags=public] @ 0x584" -> "Ljavax/crypto/Cipher;->doFinal([B)[B";
-	"Ljavax/crypto/Cipher;->getInstance(Ljava/lang/String;)Ljavax/crypto/Cipher;"	[classname="Ljavax/crypto/Cipher;",
-		descriptor="(Ljava/lang/String;)Ljavax/crypto/Cipher;",
-		entrypoint=False,
-		external=True,
-		methodname=getInstance];
-	"Lcom/example/theseus/Main;->decrypt(Ljava/lang/String;)Ljava/lang/String; [access_flags=public] @ 0x584" -> "Ljavax/crypto/Cipher;->getInstance(Ljava/lang/String;)Ljavax/crypto/Cipher;";
-	"Ljava/lang/String;-><init>([B)V"	[classname="Ljava/lang/String;",
-		descriptor="([B)V",
-		entrypoint=False,
-		external=True,
-		methodname="<init>"];
-	"Lcom/example/theseus/Main;->decrypt(Ljava/lang/String;)Ljava/lang/String; [access_flags=public] @ 0x584" -> "Ljava/lang/String;-><init>([B)V";
-	"Lcom/example/theseus/Main;->encrypt(Ljava/lang/String;)Ljava/lang/String; [access_flags=public] @ 0x5c8"	[accessflags=public,
-		classname="Lcom/example/theseus/Main;",
-		descriptor="(Ljava/lang/String;)Ljava/lang/String;",
-		entrypoint=False,
-		external=False,
-		methodname=encrypt];
-	"Lcom/example/theseus/Main;->encrypt(Ljava/lang/String;)Ljava/lang/String; [access_flags=public] @ 0x5c8" -> "Ljava/lang/String;->getBytes()[B";
-	"Lcom/example/theseus/Main;->encrypt(Ljava/lang/String;)Ljava/lang/String; [access_flags=public] @ 0x5c8" -> "Ljavax/crypto/Cipher;->init(I Ljava/security/Key;)V";
-	"Lcom/example/theseus/Main;->encrypt(Ljava/lang/String;)Ljava/lang/String; [access_flags=public] @ 0x5c8" -> "Ljavax/crypto/Cipher;->doFinal([B)[B";
-	"Lcom/example/theseus/Main;->encrypt(Ljava/lang/String;)Ljava/lang/String; [access_flags=public] @ 0x5c8" -> "Ljavax/crypto/Cipher;->getInstance(Ljava/lang/String;)Ljavax/crypto/Cipher;";
-	"Landroid/util/Base64;->encodeToString([B I)Ljava/lang/String;"	[classname="Landroid/util/Base64;",
-		descriptor="([B I)Ljava/lang/String;",
-		entrypoint=False,
-		external=True,
-		methodname=encodeToString];
-	"Lcom/example/theseus/Main;->encrypt(Ljava/lang/String;)Ljava/lang/String; [access_flags=public] @ 0x5c8" -> "Landroid/util/Base64;->encodeToString([B I)Ljava/lang/String;";
-	"Lcom/example/theseus/Main;->main()V [access_flags=public] @ 0x678"	[accessflags=public,
-		classname="Lcom/example/theseus/Main;",
-		descriptor="()V",
-		entrypoint=False,
-		external=False,
-		methodname=main];
-	"Lcom/example/theseus/Main;->main()V [access_flags=public] @ 0x678" -> "Lcom/example/theseus/Main;->decrypt(Ljava/lang/String;)Ljava/lang/String; [access_flags=public] @ 0x584";
-	"Ljava/lang/reflect/Method;->invoke(Ljava/lang/Object; [Ljava/lang/Object;)Ljava/lang/Object;"	[classname="Ljava/lang/reflect/Method;",
-		descriptor="(Ljava/lang/Object; [Ljava/lang/Object;)Ljava/lang/Object;",
-		entrypoint=False,
-		external=True,
-		methodname=invoke];
-	"Lcom/example/theseus/Main;->main()V [access_flags=public] @ 0x678" -> "Ljava/lang/reflect/Method;->invoke(Ljava/lang/Object; [Ljava/lang/Object;)Ljava/lang/Object;";
-	"Ljava/lang/ClassLoader;->loadClass(Ljava/lang/String;)Ljava/lang/Class;"	[classname="Ljava/lang/ClassLoader;",
-		descriptor="(Ljava/lang/String;)Ljava/lang/Class;",
-		entrypoint=False,
-		external=True,
-		methodname=loadClass];
-	"Lcom/example/theseus/Main;->main()V [access_flags=public] @ 0x678" -> "Ljava/lang/ClassLoader;->loadClass(Ljava/lang/String;)Ljava/lang/Class;";
-	"Ljava/lang/Class;->getMethod(Ljava/lang/String; [Ljava/lang/Class;)Ljava/lang/reflect/Method;"	[classname="Ljava/lang/Class;",
-		descriptor="(Ljava/lang/String; [Ljava/lang/Class;)Ljava/lang/reflect/Method;",
-		entrypoint=False,
-		external=True,
-		methodname=getMethod];
-	"Lcom/example/theseus/Main;->main()V [access_flags=public] @ 0x678" -> "Ljava/lang/Class;->getMethod(Ljava/lang/String; [Ljava/lang/Class;)Ljava/lang/reflect/Method;";
-	"Lcom/example/theseus/MainActivity;-><init>()V [access_flags=public constructor] @ 0x524"	[accessflags="public constructor",
-		classname="Lcom/example/theseus/MainActivity;",
-		descriptor="()V",
-		entrypoint=False,
-		external=False,
-		methodname="<init>"];
-	"Landroid/app/Activity;-><init>()V"	[classname="Landroid/app/Activity;",
-		descriptor="()V",
-		entrypoint=False,
-		external=True,
-		methodname="<init>"];
-	"Lcom/example/theseus/MainActivity;-><init>()V [access_flags=public constructor] @ 0x524" -> "Landroid/app/Activity;-><init>()V";
-	"Lcom/example/theseus/MainActivity;->onCreate(Landroid/os/Bundle;)V [access_flags=protected] @ 0x53c"	[accessflags=protected,
-		classname="Lcom/example/theseus/MainActivity;",
-		descriptor="(Landroid/os/Bundle;)V",
-		entrypoint=False,
-		external=False,
-		methodname=onCreate];
-	"Lcom/example/theseus/MainActivity;->onCreate(Landroid/os/Bundle;)V [access_flags=protected] @ 0x53c" -> "Lcom/example/theseus/Main;-><init>(Landroid/app/Activity;)V [access_flags=public constructor] @ 0x60c";
-	"Lcom/example/theseus/MainActivity;->onCreate(Landroid/os/Bundle;)V [access_flags=protected] @ 0x53c" -> "Lcom/example/theseus/Main;->main()V [access_flags=public] @ 0x678";
-	"Landroid/app/Activity;->onCreate(Landroid/os/Bundle;)V"	[classname="Landroid/app/Activity;",
-		descriptor="(Landroid/os/Bundle;)V",
-		entrypoint=False,
-		external=True,
-		methodname=onCreate];
-	"Lcom/example/theseus/MainActivity;->onCreate(Landroid/os/Bundle;)V [access_flags=protected] @ 0x53c" -> "Landroid/app/Activity;->onCreate(Landroid/os/Bundle;)V";
-	"Landroid/util/Log;->i(Ljava/lang/String; Ljava/lang/String; Ljava/lang/Throwable;)I"	[classname="Landroid/util/Log;",
-		descriptor="(Ljava/lang/String; Ljava/lang/String; Ljava/lang/Throwable;)I",
-		entrypoint=False,
-		external=True,
-		methodname=i];
-	"Lcom/example/theseus/MainActivity;->onCreate(Landroid/os/Bundle;)V [access_flags=protected] @ 0x53c" -> "Landroid/util/Log;->i(Ljava/lang/String; Ljava/lang/String; Ljava/lang/Throwable;)I";
-	"Lcom/example/theseus/Utils;-><init>()V [access_flags=public constructor] @ 0x754"	[accessflags="public constructor",
-		classname="Lcom/example/theseus/Utils;",
-		descriptor="()V",
-		entrypoint=False,
-		external=False,
-		methodname="<init>"];
-	"Lcom/example/theseus/Utils;-><init>()V [access_flags=public constructor] @ 0x754" -> "Ljava/lang/Object;-><init>()V";
-	"Lcom/example/theseus/Utils;->popup(Landroid/app/Activity; Ljava/lang/String; Ljava/lang/String;)V [access_flags=public static] @ \
-0x76c"	[accessflags="public static",
-		classname="Lcom/example/theseus/Utils;",
-		descriptor="(Landroid/app/Activity; Ljava/lang/String; Ljava/lang/String;)V",
-		entrypoint=False,
-		external=False,
-		methodname=popup];
-	"Landroid/app/AlertDialog$Builder;->setTitle(Ljava/lang/CharSequence;)Landroid/app/AlertDialog$Builder;"	[classname="Landroid/app/AlertDialog$Builder;",
-		descriptor="(Ljava/lang/CharSequence;)Landroid/app/AlertDialog$Builder;",
-		entrypoint=False,
-		external=True,
-		methodname=setTitle];
-	"Lcom/example/theseus/Utils;->popup(Landroid/app/Activity; Ljava/lang/String; Ljava/lang/String;)V [access_flags=public static] @ \
-0x76c" -> "Landroid/app/AlertDialog$Builder;->setTitle(Ljava/lang/CharSequence;)Landroid/app/AlertDialog$Builder;";
-	"Landroid/app/AlertDialog$Builder;-><init>(Landroid/content/Context;)V"	[classname="Landroid/app/AlertDialog$Builder;",
-		descriptor="(Landroid/content/Context;)V",
-		entrypoint=False,
-		external=True,
-		methodname="<init>"];
-	"Lcom/example/theseus/Utils;->popup(Landroid/app/Activity; Ljava/lang/String; Ljava/lang/String;)V [access_flags=public static] @ \
-0x76c" -> "Landroid/app/AlertDialog$Builder;-><init>(Landroid/content/Context;)V";
-	"Landroid/app/AlertDialog$Builder;->setMessage(Ljava/lang/CharSequence;)Landroid/app/AlertDialog$Builder;"	[classname="Landroid/app/AlertDialog$Builder;",
-		descriptor="(Ljava/lang/CharSequence;)Landroid/app/AlertDialog$Builder;",
-		entrypoint=False,
-		external=True,
-		methodname=setMessage];
-	"Lcom/example/theseus/Utils;->popup(Landroid/app/Activity; Ljava/lang/String; Ljava/lang/String;)V [access_flags=public static] @ \
-0x76c" -> "Landroid/app/AlertDialog$Builder;->setMessage(Ljava/lang/CharSequence;)Landroid/app/AlertDialog$Builder;";
-	"Landroid/app/AlertDialog;->show()V"	[classname="Landroid/app/AlertDialog;",
-		descriptor="()V",
-		entrypoint=False,
-		external=True,
-		methodname=show];
-	"Lcom/example/theseus/Utils;->popup(Landroid/app/Activity; Ljava/lang/String; Ljava/lang/String;)V [access_flags=public static] @ \
-0x76c" -> "Landroid/app/AlertDialog;->show()V";
-	"Landroid/app/AlertDialog$Builder;->create()Landroid/app/AlertDialog;"	[classname="Landroid/app/AlertDialog$Builder;",
-		descriptor="()Landroid/app/AlertDialog;",
-		entrypoint=False,
-		external=True,
-		methodname=create];
-	"Lcom/example/theseus/Utils;->popup(Landroid/app/Activity; Ljava/lang/String; Ljava/lang/String;)V [access_flags=public static] @ \
-0x76c" -> "Landroid/app/AlertDialog$Builder;->create()Landroid/app/AlertDialog;";
-	"Lcom/example/theseus/Utils;->sink(Landroid/app/Activity; Ljava/lang/String;)V [access_flags=public static] @ 0x7a8"	[accessflags="public static",
-		classname="Lcom/example/theseus/Utils;",
-		descriptor="(Landroid/app/Activity; Ljava/lang/String;)V",
-		entrypoint=False,
-		external=False,
-		methodname=sink];
-	"Lcom/example/theseus/Utils;->sink(Landroid/app/Activity; Ljava/lang/String;)V [access_flags=public static] @ 0x7a8" -> "Lcom/example/theseus/Utils;->popup(Landroid/app/Activity; Ljava/lang/String; Ljava/lang/String;)V [access_flags=public static] @ \
-0x76c";
-	"Lcom/example/theseus/Utils;->source(Ljava/lang/String;)Ljava/lang/String; [access_flags=public static] @ 0x710"	[accessflags="public static",
-		classname="Lcom/example/theseus/Utils;",
-		descriptor="(Ljava/lang/String;)Ljava/lang/String;",
-		entrypoint=False,
-		external=False,
-		methodname=source];
-	"Ljava/lang/StringBuilder;->append(Ljava/lang/String;)Ljava/lang/StringBuilder;"	[classname="Ljava/lang/StringBuilder;",
-		descriptor="(Ljava/lang/String;)Ljava/lang/StringBuilder;",
-		entrypoint=False,
-		external=True,
-		methodname=append];
-	"Lcom/example/theseus/Utils;->source(Ljava/lang/String;)Ljava/lang/String; [access_flags=public static] @ 0x710" -> "Ljava/lang/StringBuilder;->append(Ljava/lang/String;)Ljava/lang/StringBuilder;";
-	"Ljava/lang/StringBuilder;-><init>()V"	[classname="Ljava/lang/StringBuilder;",
-		descriptor="()V",
-		entrypoint=False,
-		external=True,
-		methodname="<init>"];
-	"Lcom/example/theseus/Utils;->source(Ljava/lang/String;)Ljava/lang/String; [access_flags=public static] @ 0x710" -> "Ljava/lang/StringBuilder;-><init>()V";
-	"Ljava/lang/StringBuilder;->toString()Ljava/lang/String;"	[classname="Ljava/lang/StringBuilder;",
-		descriptor="()Ljava/lang/String;",
-		entrypoint=False,
-		external=True,
-		methodname=toString];
-	"Lcom/example/theseus/Utils;->source(Ljava/lang/String;)Ljava/lang/String; [access_flags=public static] @ 0x710" -> "Ljava/lang/StringBuilder;->toString()Ljava/lang/String;";
-}
diff --git a/5_theseus/figs/patched_main_main.dot b/5_theseus/figs/patched_main_main.dot
deleted file mode 100644
index a4bef73..0000000
--- a/5_theseus/figs/patched_main_main.dot
+++ /dev/null
@@ -1,315 +0,0 @@
-strict digraph "" {
-	#"MainActivity-><init>()V"	[accessflags="public constructor",
-	#	classname="MainActivity",
-	#	descriptor="()V",
-	#	entrypoint=False,
-	#	external=False,
-	#	methodname="<init>"];
-	#"Activity-><init>()V"	[classname="Activity",
-	#	descriptor="()V",
-	#	entrypoint=False,
-	#	external=True,
-	#	methodname="<init>"];
-	#"MainActivity-><init>()V" -> "Activity-><init>()V";
-	#"MainActivity->onCreate(Bundle)V"	[accessflags=protected,
-	#	classname="MainActivity",
-	#	descriptor="(Bundle)V",
-	#	entrypoint=False,
-	#	external=False,
-	#	methodname=onCreate];
-	"Main->main()V"	[accessflags=public,
-		classname="Main",
-		descriptor="()V",
-		entrypoint=False,
-		external=False,
-		methodname=main];
-	#"MainActivity->onCreate(Bundle)V" -> "Main->main()V";
-	#"Activity->onCreate(Bundle)V"	[classname="Activity",
-	#	descriptor="(Bundle)V",
-	#	entrypoint=False,
-	#	external=True,
-	#	methodname=onCreate];
-	#"MainActivity->onCreate(Bundle)V" -> "Activity->onCreate(Bundle)V";
-	#"Main-><init>(Activity)V"	[accessflags="public constructor",
-	#	classname="Main",
-	#	descriptor="(Activity)V",
-	#	entrypoint=False,
-	#	external=False,
-	#	methodname="<init>"];
-	#"MainActivity->onCreate(Bundle)V" -> #"Main-><init>(Activity)V";
-	#"Log->i(String String Throwable)I"	[classname="Log",
-	#	descriptor="(String String Throwable)I",
-	#	entrypoint=False,
-	#	external=True,
-	#	methodname=i];
-	#"MainActivity->onCreate(Bundle)V" -> "Log->i(String String Throwable)I";
-	"Main->decrypt(String)String"	[accessflags=public,
-		classname="Main",
-		descriptor="(String)String",
-		entrypoint=False,
-		external=False,
-		methodname=decrypt];
-	"Main->main()V" -> "Main->decrypt(String)String";
-	"ClassLoader->loadClass(String)Class"	[classname="ClassLoader",
-		descriptor="(String)Class",
-		entrypoint=False,
-		external=True,
-		methodname=loadClass];
-	"Main->main()V" -> "ClassLoader->loadClass(String)Class";
-	"Malicious->get_data(String Activity)String"	[accessflags="public static",
-		classname="Malicious",
-		descriptor="(String Activity)String",
-		entrypoint=False,
-		external=False,
-		methodname=get_data,
-		style=filled,
-		fillcolor=salmon];
-	"Main->main()V" -> "Malicious->get_data(String Activity)String";
-	"Method->invoke(Object [Object)Object"	[classname="Method",
-		descriptor="(Object [Object)Object",
-		entrypoint=False,
-		external=True,
-		methodname=invoke];
-	"Main->main()V" -> "Method->invoke(Object [Object)Object";
-	"Malicious->send_data(String Activity)String"	[accessflags="public static",
-		classname="Malicious",
-		descriptor="(String Activity)String",
-		entrypoint=False,
-		external=False,
-		methodname=send_data,
-		style=filled,
-		fillcolor=salmon];
-	"Main->main()V" -> "Malicious->send_data(String Activity)String";
-	"T->check_is_Malicious_get_data(Method)Z"	[accessflags="public static final",
-		classname="T",
-		descriptor="(Method)Z",
-		entrypoint=False,
-		external=False,
-		methodname=check_is_Malicious_get_data,
-		style=filled,
-		fillcolor=lightgrey];
-	"Main->main()V" -> "T->check_is_Malicious_get_data(Method)Z";
-	"Class->getMethod(String [Class)Method"	[classname="Class",
-		descriptor="(String [Class)Method",
-		entrypoint=False,
-		external=True,
-		methodname=getMethod];
-	"Main->main()V" -> "Class->getMethod(String [Class)Method";
-	"T->check_is_Malicious_send_data(Method)Z"	[accessflags="public static final",
-		classname="T",
-		descriptor="(Method)Z",
-		entrypoint=False,
-		external=False,
-		methodname=check_is_Malicious_send_data,
-		style=filled,
-		fillcolor=lightgrey];
-	"Main->main()V" -> "T->check_is_Malicious_send_data(Method)Z";
-	#"Object-><init>()V"	[classname="Object",
-	#	descriptor="()V",
-	#	entrypoint=False,
-	#	external=True,
-	#	methodname="<init>"];
-	#"Main-><init>(Activity)V" -> "Object-><init>()V";
-	#"ByteBuffer->wrap([B)ByteBuffer"	[classname="ByteBuffer",
-	#	descriptor="([B)ByteBuffer",
-	#	entrypoint=False,
-	#	external=True,
-	#	methodname=wrap];
-	#"Main-><init>(Activity)V" -> "ByteBuffer->wrap([B)ByteBuffer";
-	#"Class->getClassLoader()ClassLoader"	[classname="Class",
-	#	descriptor="()ClassLoader",
-	#	entrypoint=False,
-	#	external=True,
-	#	methodname=getClassLoader];
-	#"Main-><init>(Activity)V" -> "Class->getClassLoader()ClassLoader";
-	#"SecretKeySpec-><init>([B String)V"	[classname="SecretKeySpec",
-	#	descriptor="([B String)V",
-	#	entrypoint=False,
-	#	external=True,
-	#	methodname="<init>"];
-	#"Main-><init>(Activity)V" -> "SecretKeySpec-><init>([B String)V";
-	"Base64->decode(String I)[B"	[classname="Base64",
-		descriptor="(String I)[B",
-		entrypoint=False,
-		external=True,
-		methodname=decode];
-	#"Main-><init>(Activity)V" -> "Base64->decode(String I)[B";
-	#"InMemoryDexClassLoader-><init>(ByteBuffer ClassLoader)V"	[classname="InMemoryDexClassLoader",
-	#	descriptor="(ByteBuffer ClassLoader)V",
-	#	entrypoint=False,
-	#	external=True,
-	#	methodname="<init>"];
-	#"Main-><init>(Activity)V" -> "InMemoryDexClassLoader-><init>(ByteBuffer ClassLoader)V";
-	#"String->getBytes()[B"	[classname="String",
-	#	descriptor="()[B",
-	#	entrypoint=False,
-	#	external=True,
-	#	methodname=getBytes];
-	#"Main-><init>(Activity)V" -> "String->getBytes()[B";
-	#"Utils-><init>()V"	[accessflags="public constructor",
-	#	classname="Utils",
-	#	descriptor="()V",
-	#	entrypoint=False,
-	#	external=False,
-	#	methodname="<init>"];
-	#"Utils-><init>()V" -> "Object-><init>()V";
-	#"Utils->popup(Activity String String)V"	[accessflags="public static",
-	#	classname="Utils",
-	#	descriptor="(Activity String String)V",
-	#	entrypoint=False,
-	#	external=False,
-	#	methodname=popup];
-	#"AlertDialog$Builder->setMessage(CharSequence)AlertDialog$Builder"	[classname="AlertDialog$Builder",
-	#	descriptor="(CharSequence)AlertDialog$Builder",
-	#	entrypoint=False,
-	#	external=True,
-	#	methodname=setMessage];
-	#"Utils->popup(Activity String String)V" -> "AlertDialog$Builder->setMessage(CharSequence)AlertDialog$Builder";
-	#"AlertDialog$Builder->setTitle(CharSequence)AlertDialog$Builder"	[classname="AlertDialog$Builder",
-	#	descriptor="(CharSequence)AlertDialog$Builder",
-	#	entrypoint=False,
-	#	external=True,
-	#	methodname=setTitle];
-	#"Utils->popup(Activity String String)V" -> "AlertDialog$Builder->setTitle(CharSequence)AlertDialog$Builder";
-	#"AlertDialog$Builder->create()AlertDialog;"	[classname="AlertDialog$Builder",
-	#	descriptor="()AlertDialog;",
-	#	entrypoint=False,
-	#	external=True,
-	#	methodname=create];
-	#"Utils->popup(Activity String String)V" -> "AlertDialog$Builder->create()AlertDialog;";
-	#"AlertDialog$Builder-><init>(Landroid/content/Context;)V"	[classname="AlertDialog$Builder",
-	#	descriptor="(Landroid/content/Context;)V",
-	#	entrypoint=False,
-	#	external=True,
-	#	methodname="<init>"];
-	#"Utils->popup(Activity String String)V" -> "AlertDialog$Builder-><init>(Landroid/content/Context;)V";
-	#"AlertDialog;->show()V"	[classname="AlertDialog;",
-	#	descriptor="()V",
-	#	entrypoint=False,
-	#	external=True,
-	#	methodname=show];
-	#"Utils->popup(Activity String String)V" -> "AlertDialog;->show()V";
-	"Utils->sink(Activity String)V"	[accessflags="public static",
-		classname="Utils",
-		descriptor="(Activity String)V",
-		entrypoint=False,
-		external=False,
-		methodname=sink];
-	#"Utils->sink(Activity String)V" -> "Utils->popup(Activity String String)V";
-	"Utils->source(String)String"	[accessflags="public static",
-		classname="Utils",
-		descriptor="(String)String",
-		entrypoint=False,
-		external=False,
-		methodname=source];
-	#"StringBuilder->append(String)StringBuilder"	[classname="StringBuilder",
-	#	descriptor="(String)StringBuilder",
-	#	entrypoint=False,
-	#	external=True,
-	#	methodname=append];
-	#"Utils->source(String)String" -> "StringBuilder->append(String)StringBuilder";
-	#"StringBuilder-><init>()V"	[classname="StringBuilder",
-	#	descriptor="()V",
-	#	entrypoint=False,
-	#	external=True,
-	#	methodname="<init>"];
-	#"Utils->source(String)String" -> "StringBuilder-><init>()V";
-	#"StringBuilder->toString()String"	[classname="StringBuilder",
-	#	descriptor="()String",
-	#	entrypoint=False,
-	#	external=True,
-	#	methodname=toString];
-	#"Utils->source(String)String" -> "StringBuilder->toString()String";
-	"Main->decrypt(String)String" -> "Base64->decode(String I)[B";
-	"String-><init>([B)V"	[classname="String",
-		descriptor="([B)V",
-		entrypoint=False,
-		external=True,
-		methodname="<init>"];
-	"Main->decrypt(String)String" -> "String-><init>([B)V";
-	"Cipher->doFinal([B)[B"	[classname="Cipher",
-		descriptor="([B)[B",
-		entrypoint=False,
-		external=True,
-		methodname=doFinal];
-	"Main->decrypt(String)String" -> "Cipher->doFinal([B)[B";
-	"Cipher->init(I Key)V"	[classname="Cipher",
-		descriptor="(I Key)V",
-		entrypoint=False,
-		external=True,
-		methodname=init];
-	"Main->decrypt(String)String" -> "Cipher->init(I Key)V";
-	"Cipher->getInstance(String)Cipher"	[classname="Cipher",
-		descriptor="(String)Cipher",
-		entrypoint=False,
-		external=True,
-		methodname=getInstance];
-	"Main->decrypt(String)String" -> "Cipher->getInstance(String)Cipher";
-	#"Main->encrypt(String)String"	[accessflags=public,
-	#	classname="Main",
-	#	descriptor="(String)String",
-	#	entrypoint=False,
-	#	external=False,
-	#	methodname=encrypt];
-	#"Main->encrypt(String)String" -> "String->getBytes()[B";
-	#"Main->encrypt(String)String" -> "Cipher->doFinal([B)[B";
-	#"Main->encrypt(String)String" -> "Cipher->init(I Key)V";
-	#"Main->encrypt(String)String" -> "Cipher->getInstance(String)Cipher";
-	#"Base64->encodeToString([B I)String"	[classname="Base64",
-	#	descriptor="([B I)String",
-	#	entrypoint=False,
-	#	external=True,
-	#	methodname=encodeToString];
-	#"Main->encrypt(String)String" -> "Base64->encodeToString([B I)String";
-	"Malicious->get_data(String Activity)String" -> "Utils->source(String)String";
-	"Malicious->send_data(String Activity)String" -> "Utils->sink(Activity String)V";
-	#"Class->descriptorString()String"	[classname="Class",
-	#	descriptor="()String",
-	#	entrypoint=False,
-	#	external=True,
-	#	methodname=descriptorString];
-	#"T->check_is_Malicious_get_data(Method)Z" -> "Class->descriptorString()String";
-	#"Method->getName()String"	[classname="Method",
-	#	descriptor="()String",
-	#	entrypoint=False,
-	#	external=True,
-	#	methodname=getName];
-	#"T->check_is_Malicious_get_data(Method)Z" -> "Method->getName()String";
-	#"String->equals(Object)Z"	[classname="String",
-	#	descriptor="(Object)Z",
-	#	entrypoint=False,
-	#	external=True,
-	#	methodname=equals];
-	#"T->check_is_Malicious_get_data(Method)Z" -> "String->equals(Object)Z";
-	#"Method->getDeclaringClass()Class"	[classname="Method",
-	#	descriptor="()Class",
-	#	entrypoint=False,
-	#	external=True,
-	#	methodname=getDeclaringClass];
-	#"T->check_is_Malicious_get_data(Method)Z" -> "Method->getDeclaringClass()Class";
-	#"Method->getParameterTypes()[Class"	[classname="Method",
-	#	descriptor="()[Class",
-	#	entrypoint=False,
-	#	external=True,
-	#	methodname=getParameterTypes];
-	#"T->check_is_Malicious_get_data(Method)Z" -> "Method->getParameterTypes()[Class";
-	#"Method->getReturnType()Class"	[classname="Method",
-	#	descriptor="()Class",
-	#	entrypoint=False,
-	#	external=True,
-	#	methodname=getReturnType];
-	#"T->check_is_Malicious_get_data(Method)Z" -> "Method->getReturnType()Class";
-	#"T->check_is_Malicious_send_data(Method)Z" -> "Class->descriptorString()String";
-	#"T->check_is_Malicious_send_data(Method)Z" -> "Method->getName()String";
-	#"T->check_is_Malicious_send_data(Method)Z" -> "String->equals(Object)Z";
-	#"T->check_is_Malicious_send_data(Method)Z" -> "Method->getDeclaringClass()Class";
-	#"T->check_is_Malicious_send_data(Method)Z" -> "Method->getParameterTypes()[Class";
-	#"T->check_is_Malicious_send_data(Method)Z" -> "Method->getReturnType()Class";
-	#"Malicious-><init>()V"	[accessflags="public constructor",
-	#	classname="Malicious",
-	#	descriptor="()V",
-	#	entrypoint=False,
-	#	external=False,
-	#	methodname="<init>"];
-	#"Malicious-><init>()V" -> "Object-><init>()V";
-}
diff --git a/5_theseus/figs/patched_raw.dot b/5_theseus/figs/patched_raw.dot
deleted file mode 100644
index 64dd2fd..0000000
--- a/5_theseus/figs/patched_raw.dot
+++ /dev/null
@@ -1,336 +0,0 @@
-strict digraph "" {
-	"Lcom/example/theseus/MainActivity;-><init>()V [access_flags=public constructor] @ 0x7a8"	[accessflags="public constructor",
-		classname="Lcom/example/theseus/MainActivity;",
-		descriptor="()V",
-		entrypoint=False,
-		external=False,
-		methodname="<init>"];
-	"Landroid/app/Activity;-><init>()V"	[classname="Landroid/app/Activity;",
-		descriptor="()V",
-		entrypoint=False,
-		external=True,
-		methodname="<init>"];
-	"Lcom/example/theseus/MainActivity;-><init>()V [access_flags=public constructor] @ 0x7a8" -> "Landroid/app/Activity;-><init>()V";
-	"Lcom/example/theseus/MainActivity;->onCreate(Landroid/os/Bundle;)V [access_flags=protected] @ 0x7c0"	[accessflags=protected,
-		classname="Lcom/example/theseus/MainActivity;",
-		descriptor="(Landroid/os/Bundle;)V",
-		entrypoint=False,
-		external=False,
-		methodname=onCreate];
-	"Lcom/example/theseus/Main;->main()V [access_flags=public] @ 0x9b0"	[accessflags=public,
-		classname="Lcom/example/theseus/Main;",
-		descriptor="()V",
-		entrypoint=False,
-		external=False,
-		methodname=main];
-	"Lcom/example/theseus/MainActivity;->onCreate(Landroid/os/Bundle;)V [access_flags=protected] @ 0x7c0" -> "Lcom/example/theseus/Main;->main()V [access_flags=public] @ 0x9b0";
-	"Landroid/app/Activity;->onCreate(Landroid/os/Bundle;)V"	[classname="Landroid/app/Activity;",
-		descriptor="(Landroid/os/Bundle;)V",
-		entrypoint=False,
-		external=True,
-		methodname=onCreate];
-	"Lcom/example/theseus/MainActivity;->onCreate(Landroid/os/Bundle;)V [access_flags=protected] @ 0x7c0" -> "Landroid/app/Activity;->onCreate(Landroid/os/Bundle;)V";
-	"Lcom/example/theseus/Main;-><init>(Landroid/app/Activity;)V [access_flags=public constructor] @ 0x8bc"	[accessflags="public constructor",
-		classname="Lcom/example/theseus/Main;",
-		descriptor="(Landroid/app/Activity;)V",
-		entrypoint=False,
-		external=False,
-		methodname="<init>"];
-	"Lcom/example/theseus/MainActivity;->onCreate(Landroid/os/Bundle;)V [access_flags=protected] @ 0x7c0" -> "Lcom/example/theseus/Main;-><init>(Landroid/app/Activity;)V [access_flags=public constructor] @ 0x8bc";
-	"Landroid/util/Log;->i(Ljava/lang/String; Ljava/lang/String; Ljava/lang/Throwable;)I"	[classname="Landroid/util/Log;",
-		descriptor="(Ljava/lang/String; Ljava/lang/String; Ljava/lang/Throwable;)I",
-		entrypoint=False,
-		external=True,
-		methodname=i];
-	"Lcom/example/theseus/MainActivity;->onCreate(Landroid/os/Bundle;)V [access_flags=protected] @ 0x7c0" -> "Landroid/util/Log;->i(Ljava/lang/String; Ljava/lang/String; Ljava/lang/Throwable;)I";
-	"Lcom/example/theseus/Main;->decrypt(Ljava/lang/String;)Ljava/lang/String; [access_flags=public] @ 0x928"	[accessflags=public,
-		classname="Lcom/example/theseus/Main;",
-		descriptor="(Ljava/lang/String;)Ljava/lang/String;",
-		entrypoint=False,
-		external=False,
-		methodname=decrypt];
-	"Lcom/example/theseus/Main;->main()V [access_flags=public] @ 0x9b0" -> "Lcom/example/theseus/Main;->decrypt(Ljava/lang/String;)Ljava/lang/String; [access_flags=public] @ 0x928";
-	"Ljava/lang/ClassLoader;->loadClass(Ljava/lang/String;)Ljava/lang/Class;"	[classname="Ljava/lang/ClassLoader;",
-		descriptor="(Ljava/lang/String;)Ljava/lang/Class;",
-		entrypoint=False,
-		external=True,
-		methodname=loadClass];
-	"Lcom/example/theseus/Main;->main()V [access_flags=public] @ 0x9b0" -> "Ljava/lang/ClassLoader;->loadClass(Ljava/lang/String;)Ljava/lang/Class;";
-	"Lcom/example/theseus/Malicious;->get_data(Ljava/lang/String; Landroid/app/Activity;)Ljava/lang/String; [access_flags=public static] @ \
-0x20c"	[accessflags="public static",
-		classname="Lcom/example/theseus/Malicious;",
-		descriptor="(Ljava/lang/String; Landroid/app/Activity;)Ljava/lang/String;",
-		entrypoint=False,
-		external=False,
-		methodname=get_data];
-	"Lcom/example/theseus/Main;->main()V [access_flags=public] @ 0x9b0" -> "Lcom/example/theseus/Malicious;->get_data(Ljava/lang/String; Landroid/app/Activity;)Ljava/lang/String; [access_flags=public static] @ \
-0x20c";
-	"Ljava/lang/reflect/Method;->invoke(Ljava/lang/Object; [Ljava/lang/Object;)Ljava/lang/Object;"	[classname="Ljava/lang/reflect/Method;",
-		descriptor="(Ljava/lang/Object; [Ljava/lang/Object;)Ljava/lang/Object;",
-		entrypoint=False,
-		external=True,
-		methodname=invoke];
-	"Lcom/example/theseus/Main;->main()V [access_flags=public] @ 0x9b0" -> "Ljava/lang/reflect/Method;->invoke(Ljava/lang/Object; [Ljava/lang/Object;)Ljava/lang/Object;";
-	"Lcom/example/theseus/Malicious;->send_data(Ljava/lang/String; Landroid/app/Activity;)Ljava/lang/String; [access_flags=public static] @ \
-0x228"	[accessflags="public static",
-		classname="Lcom/example/theseus/Malicious;",
-		descriptor="(Ljava/lang/String; Landroid/app/Activity;)Ljava/lang/String;",
-		entrypoint=False,
-		external=False,
-		methodname=send_data];
-	"Lcom/example/theseus/Main;->main()V [access_flags=public] @ 0x9b0" -> "Lcom/example/theseus/Malicious;->send_data(Ljava/lang/String; Landroid/app/Activity;)Ljava/lang/String; [access_flags=public static] @ \
-0x228";
-	"Ltheseus/tl6JVUxO9Jqe3VYc/T;->check_is_Malicious_get_data_224c9b416025faf4(Ljava/lang/reflect/Method;)Z [access_flags=public static \
-final] @ 0xaac"	[accessflags="public static final",
-		classname="Ltheseus/tl6JVUxO9Jqe3VYc/T;",
-		descriptor="(Ljava/lang/reflect/Method;)Z",
-		entrypoint=False,
-		external=False,
-		methodname=check_is_Malicious_get_data_224c9b416025faf4];
-	"Lcom/example/theseus/Main;->main()V [access_flags=public] @ 0x9b0" -> "Ltheseus/tl6JVUxO9Jqe3VYc/T;->check_is_Malicious_get_data_224c9b416025faf4(Ljava/lang/reflect/Method;)Z [access_flags=public static \
-final] @ 0xaac";
-	"Ljava/lang/Class;->getMethod(Ljava/lang/String; [Ljava/lang/Class;)Ljava/lang/reflect/Method;"	[classname="Ljava/lang/Class;",
-		descriptor="(Ljava/lang/String; [Ljava/lang/Class;)Ljava/lang/reflect/Method;",
-		entrypoint=False,
-		external=True,
-		methodname=getMethod];
-	"Lcom/example/theseus/Main;->main()V [access_flags=public] @ 0x9b0" -> "Ljava/lang/Class;->getMethod(Ljava/lang/String; [Ljava/lang/Class;)Ljava/lang/reflect/Method;";
-	"Ltheseus/tl6JVUxO9Jqe3VYc/T;->check_is_Malicious_send_data_c961adb85ae3b11c(Ljava/lang/reflect/Method;)Z [access_flags=public static \
-final] @ 0xb88"	[accessflags="public static final",
-		classname="Ltheseus/tl6JVUxO9Jqe3VYc/T;",
-		descriptor="(Ljava/lang/reflect/Method;)Z",
-		entrypoint=False,
-		external=False,
-		methodname=check_is_Malicious_send_data_c961adb85ae3b11c];
-	"Lcom/example/theseus/Main;->main()V [access_flags=public] @ 0x9b0" -> "Ltheseus/tl6JVUxO9Jqe3VYc/T;->check_is_Malicious_send_data_c961adb85ae3b11c(Ljava/lang/reflect/Method;)Z [access_flags=public static \
-final] @ 0xb88";
-	"Ljava/lang/Object;-><init>()V"	[classname="Ljava/lang/Object;",
-		descriptor="()V",
-		entrypoint=False,
-		external=True,
-		methodname="<init>"];
-	"Lcom/example/theseus/Main;-><init>(Landroid/app/Activity;)V [access_flags=public constructor] @ 0x8bc" -> "Ljava/lang/Object;-><init>()V";
-	"Ljava/nio/ByteBuffer;->wrap([B)Ljava/nio/ByteBuffer;"	[classname="Ljava/nio/ByteBuffer;",
-		descriptor="([B)Ljava/nio/ByteBuffer;",
-		entrypoint=False,
-		external=True,
-		methodname=wrap];
-	"Lcom/example/theseus/Main;-><init>(Landroid/app/Activity;)V [access_flags=public constructor] @ 0x8bc" -> "Ljava/nio/ByteBuffer;->wrap([B)Ljava/nio/ByteBuffer;";
-	"Ljava/lang/Class;->getClassLoader()Ljava/lang/ClassLoader;"	[classname="Ljava/lang/Class;",
-		descriptor="()Ljava/lang/ClassLoader;",
-		entrypoint=False,
-		external=True,
-		methodname=getClassLoader];
-	"Lcom/example/theseus/Main;-><init>(Landroid/app/Activity;)V [access_flags=public constructor] @ 0x8bc" -> "Ljava/lang/Class;->getClassLoader()Ljava/lang/ClassLoader;";
-	"Ljavax/crypto/spec/SecretKeySpec;-><init>([B Ljava/lang/String;)V"	[classname="Ljavax/crypto/spec/SecretKeySpec;",
-		descriptor="([B Ljava/lang/String;)V",
-		entrypoint=False,
-		external=True,
-		methodname="<init>"];
-	"Lcom/example/theseus/Main;-><init>(Landroid/app/Activity;)V [access_flags=public constructor] @ 0x8bc" -> "Ljavax/crypto/spec/SecretKeySpec;-><init>([B Ljava/lang/String;)V";
-	"Landroid/util/Base64;->decode(Ljava/lang/String; I)[B"	[classname="Landroid/util/Base64;",
-		descriptor="(Ljava/lang/String; I)[B",
-		entrypoint=False,
-		external=True,
-		methodname=decode];
-	"Lcom/example/theseus/Main;-><init>(Landroid/app/Activity;)V [access_flags=public constructor] @ 0x8bc" -> "Landroid/util/Base64;->decode(Ljava/lang/String; I)[B";
-	"Ldalvik/system/InMemoryDexClassLoader;-><init>(Ljava/nio/ByteBuffer; Ljava/lang/ClassLoader;)V"	[classname="Ldalvik/system/InMemoryDexClassLoader;",
-		descriptor="(Ljava/nio/ByteBuffer; Ljava/lang/ClassLoader;)V",
-		entrypoint=False,
-		external=True,
-		methodname="<init>"];
-	"Lcom/example/theseus/Main;-><init>(Landroid/app/Activity;)V [access_flags=public constructor] @ 0x8bc" -> "Ldalvik/system/InMemoryDexClassLoader;-><init>(Ljava/nio/ByteBuffer; Ljava/lang/ClassLoader;)V";
-	"Ljava/lang/String;->getBytes()[B"	[classname="Ljava/lang/String;",
-		descriptor="()[B",
-		entrypoint=False,
-		external=True,
-		methodname=getBytes];
-	"Lcom/example/theseus/Main;-><init>(Landroid/app/Activity;)V [access_flags=public constructor] @ 0x8bc" -> "Ljava/lang/String;->getBytes()[B";
-	"Lcom/example/theseus/Utils;-><init>()V [access_flags=public constructor] @ 0x808"	[accessflags="public constructor",
-		classname="Lcom/example/theseus/Utils;",
-		descriptor="()V",
-		entrypoint=False,
-		external=False,
-		methodname="<init>"];
-	"Lcom/example/theseus/Utils;-><init>()V [access_flags=public constructor] @ 0x808" -> "Ljava/lang/Object;-><init>()V";
-	"Lcom/example/theseus/Utils;->popup(Landroid/app/Activity; Ljava/lang/String; Ljava/lang/String;)V [access_flags=public static] @ \
-0x820"	[accessflags="public static",
-		classname="Lcom/example/theseus/Utils;",
-		descriptor="(Landroid/app/Activity; Ljava/lang/String; Ljava/lang/String;)V",
-		entrypoint=False,
-		external=False,
-		methodname=popup];
-	"Landroid/app/AlertDialog$Builder;->setMessage(Ljava/lang/CharSequence;)Landroid/app/AlertDialog$Builder;"	[classname="Landroid/app/AlertDialog$Builder;",
-		descriptor="(Ljava/lang/CharSequence;)Landroid/app/AlertDialog$Builder;",
-		entrypoint=False,
-		external=True,
-		methodname=setMessage];
-	"Lcom/example/theseus/Utils;->popup(Landroid/app/Activity; Ljava/lang/String; Ljava/lang/String;)V [access_flags=public static] @ \
-0x820" -> "Landroid/app/AlertDialog$Builder;->setMessage(Ljava/lang/CharSequence;)Landroid/app/AlertDialog$Builder;";
-	"Landroid/app/AlertDialog$Builder;->setTitle(Ljava/lang/CharSequence;)Landroid/app/AlertDialog$Builder;"	[classname="Landroid/app/AlertDialog$Builder;",
-		descriptor="(Ljava/lang/CharSequence;)Landroid/app/AlertDialog$Builder;",
-		entrypoint=False,
-		external=True,
-		methodname=setTitle];
-	"Lcom/example/theseus/Utils;->popup(Landroid/app/Activity; Ljava/lang/String; Ljava/lang/String;)V [access_flags=public static] @ \
-0x820" -> "Landroid/app/AlertDialog$Builder;->setTitle(Ljava/lang/CharSequence;)Landroid/app/AlertDialog$Builder;";
-	"Landroid/app/AlertDialog$Builder;->create()Landroid/app/AlertDialog;"	[classname="Landroid/app/AlertDialog$Builder;",
-		descriptor="()Landroid/app/AlertDialog;",
-		entrypoint=False,
-		external=True,
-		methodname=create];
-	"Lcom/example/theseus/Utils;->popup(Landroid/app/Activity; Ljava/lang/String; Ljava/lang/String;)V [access_flags=public static] @ \
-0x820" -> "Landroid/app/AlertDialog$Builder;->create()Landroid/app/AlertDialog;";
-	"Landroid/app/AlertDialog$Builder;-><init>(Landroid/content/Context;)V"	[classname="Landroid/app/AlertDialog$Builder;",
-		descriptor="(Landroid/content/Context;)V",
-		entrypoint=False,
-		external=True,
-		methodname="<init>"];
-	"Lcom/example/theseus/Utils;->popup(Landroid/app/Activity; Ljava/lang/String; Ljava/lang/String;)V [access_flags=public static] @ \
-0x820" -> "Landroid/app/AlertDialog$Builder;-><init>(Landroid/content/Context;)V";
-	"Landroid/app/AlertDialog;->show()V"	[classname="Landroid/app/AlertDialog;",
-		descriptor="()V",
-		entrypoint=False,
-		external=True,
-		methodname=show];
-	"Lcom/example/theseus/Utils;->popup(Landroid/app/Activity; Ljava/lang/String; Ljava/lang/String;)V [access_flags=public static] @ \
-0x820" -> "Landroid/app/AlertDialog;->show()V";
-	"Lcom/example/theseus/Utils;->sink(Landroid/app/Activity; Ljava/lang/String;)V [access_flags=public static] @ 0x85c"	[accessflags="public static",
-		classname="Lcom/example/theseus/Utils;",
-		descriptor="(Landroid/app/Activity; Ljava/lang/String;)V",
-		entrypoint=False,
-		external=False,
-		methodname=sink];
-	"Lcom/example/theseus/Utils;->sink(Landroid/app/Activity; Ljava/lang/String;)V [access_flags=public static] @ 0x85c" -> "Lcom/example/theseus/Utils;->popup(Landroid/app/Activity; Ljava/lang/String; Ljava/lang/String;)V [access_flags=public static] @ \
-0x820";
-	"Lcom/example/theseus/Utils;->source(Ljava/lang/String;)Ljava/lang/String; [access_flags=public static] @ 0x878"	[accessflags="public static",
-		classname="Lcom/example/theseus/Utils;",
-		descriptor="(Ljava/lang/String;)Ljava/lang/String;",
-		entrypoint=False,
-		external=False,
-		methodname=source];
-	"Ljava/lang/StringBuilder;->append(Ljava/lang/String;)Ljava/lang/StringBuilder;"	[classname="Ljava/lang/StringBuilder;",
-		descriptor="(Ljava/lang/String;)Ljava/lang/StringBuilder;",
-		entrypoint=False,
-		external=True,
-		methodname=append];
-	"Lcom/example/theseus/Utils;->source(Ljava/lang/String;)Ljava/lang/String; [access_flags=public static] @ 0x878" -> "Ljava/lang/StringBuilder;->append(Ljava/lang/String;)Ljava/lang/StringBuilder;";
-	"Ljava/lang/StringBuilder;-><init>()V"	[classname="Ljava/lang/StringBuilder;",
-		descriptor="()V",
-		entrypoint=False,
-		external=True,
-		methodname="<init>"];
-	"Lcom/example/theseus/Utils;->source(Ljava/lang/String;)Ljava/lang/String; [access_flags=public static] @ 0x878" -> "Ljava/lang/StringBuilder;-><init>()V";
-	"Ljava/lang/StringBuilder;->toString()Ljava/lang/String;"	[classname="Ljava/lang/StringBuilder;",
-		descriptor="()Ljava/lang/String;",
-		entrypoint=False,
-		external=True,
-		methodname=toString];
-	"Lcom/example/theseus/Utils;->source(Ljava/lang/String;)Ljava/lang/String; [access_flags=public static] @ 0x878" -> "Ljava/lang/StringBuilder;->toString()Ljava/lang/String;";
-	"Lcom/example/theseus/Main;->decrypt(Ljava/lang/String;)Ljava/lang/String; [access_flags=public] @ 0x928" -> "Landroid/util/Base64;->decode(Ljava/lang/String; I)[B";
-	"Ljava/lang/String;-><init>([B)V"	[classname="Ljava/lang/String;",
-		descriptor="([B)V",
-		entrypoint=False,
-		external=True,
-		methodname="<init>"];
-	"Lcom/example/theseus/Main;->decrypt(Ljava/lang/String;)Ljava/lang/String; [access_flags=public] @ 0x928" -> "Ljava/lang/String;-><init>([B)V";
-	"Ljavax/crypto/Cipher;->doFinal([B)[B"	[classname="Ljavax/crypto/Cipher;",
-		descriptor="([B)[B",
-		entrypoint=False,
-		external=True,
-		methodname=doFinal];
-	"Lcom/example/theseus/Main;->decrypt(Ljava/lang/String;)Ljava/lang/String; [access_flags=public] @ 0x928" -> "Ljavax/crypto/Cipher;->doFinal([B)[B";
-	"Ljavax/crypto/Cipher;->init(I Ljava/security/Key;)V"	[classname="Ljavax/crypto/Cipher;",
-		descriptor="(I Ljava/security/Key;)V",
-		entrypoint=False,
-		external=True,
-		methodname=init];
-	"Lcom/example/theseus/Main;->decrypt(Ljava/lang/String;)Ljava/lang/String; [access_flags=public] @ 0x928" -> "Ljavax/crypto/Cipher;->init(I Ljava/security/Key;)V";
-	"Ljavax/crypto/Cipher;->getInstance(Ljava/lang/String;)Ljavax/crypto/Cipher;"	[classname="Ljavax/crypto/Cipher;",
-		descriptor="(Ljava/lang/String;)Ljavax/crypto/Cipher;",
-		entrypoint=False,
-		external=True,
-		methodname=getInstance];
-	"Lcom/example/theseus/Main;->decrypt(Ljava/lang/String;)Ljava/lang/String; [access_flags=public] @ 0x928" -> "Ljavax/crypto/Cipher;->getInstance(Ljava/lang/String;)Ljavax/crypto/Cipher;";
-	"Lcom/example/theseus/Main;->encrypt(Ljava/lang/String;)Ljava/lang/String; [access_flags=public] @ 0x96c"	[accessflags=public,
-		classname="Lcom/example/theseus/Main;",
-		descriptor="(Ljava/lang/String;)Ljava/lang/String;",
-		entrypoint=False,
-		external=False,
-		methodname=encrypt];
-	"Lcom/example/theseus/Main;->encrypt(Ljava/lang/String;)Ljava/lang/String; [access_flags=public] @ 0x96c" -> "Ljava/lang/String;->getBytes()[B";
-	"Lcom/example/theseus/Main;->encrypt(Ljava/lang/String;)Ljava/lang/String; [access_flags=public] @ 0x96c" -> "Ljavax/crypto/Cipher;->doFinal([B)[B";
-	"Lcom/example/theseus/Main;->encrypt(Ljava/lang/String;)Ljava/lang/String; [access_flags=public] @ 0x96c" -> "Ljavax/crypto/Cipher;->init(I Ljava/security/Key;)V";
-	"Lcom/example/theseus/Main;->encrypt(Ljava/lang/String;)Ljava/lang/String; [access_flags=public] @ 0x96c" -> "Ljavax/crypto/Cipher;->getInstance(Ljava/lang/String;)Ljavax/crypto/Cipher;";
-	"Landroid/util/Base64;->encodeToString([B I)Ljava/lang/String;"	[classname="Landroid/util/Base64;",
-		descriptor="([B I)Ljava/lang/String;",
-		entrypoint=False,
-		external=True,
-		methodname=encodeToString];
-	"Lcom/example/theseus/Main;->encrypt(Ljava/lang/String;)Ljava/lang/String; [access_flags=public] @ 0x96c" -> "Landroid/util/Base64;->encodeToString([B I)Ljava/lang/String;";
-	"Lcom/example/theseus/Malicious;->get_data(Ljava/lang/String; Landroid/app/Activity;)Ljava/lang/String; [access_flags=public static] @ \
-0x20c" -> "Lcom/example/theseus/Utils;->source(Ljava/lang/String;)Ljava/lang/String; [access_flags=public static] @ 0x878";
-	"Lcom/example/theseus/Malicious;->send_data(Ljava/lang/String; Landroid/app/Activity;)Ljava/lang/String; [access_flags=public static] @ \
-0x228" -> "Lcom/example/theseus/Utils;->sink(Landroid/app/Activity; Ljava/lang/String;)V [access_flags=public static] @ 0x85c";
-	"Ljava/lang/Class;->descriptorString()Ljava/lang/String;"	[classname="Ljava/lang/Class;",
-		descriptor="()Ljava/lang/String;",
-		entrypoint=False,
-		external=True,
-		methodname=descriptorString];
-	"Ltheseus/tl6JVUxO9Jqe3VYc/T;->check_is_Malicious_get_data_224c9b416025faf4(Ljava/lang/reflect/Method;)Z [access_flags=public static \
-final] @ 0xaac" -> "Ljava/lang/Class;->descriptorString()Ljava/lang/String;";
-	"Ljava/lang/reflect/Method;->getName()Ljava/lang/String;"	[classname="Ljava/lang/reflect/Method;",
-		descriptor="()Ljava/lang/String;",
-		entrypoint=False,
-		external=True,
-		methodname=getName];
-	"Ltheseus/tl6JVUxO9Jqe3VYc/T;->check_is_Malicious_get_data_224c9b416025faf4(Ljava/lang/reflect/Method;)Z [access_flags=public static \
-final] @ 0xaac" -> "Ljava/lang/reflect/Method;->getName()Ljava/lang/String;";
-	"Ljava/lang/String;->equals(Ljava/lang/Object;)Z"	[classname="Ljava/lang/String;",
-		descriptor="(Ljava/lang/Object;)Z",
-		entrypoint=False,
-		external=True,
-		methodname=equals];
-	"Ltheseus/tl6JVUxO9Jqe3VYc/T;->check_is_Malicious_get_data_224c9b416025faf4(Ljava/lang/reflect/Method;)Z [access_flags=public static \
-final] @ 0xaac" -> "Ljava/lang/String;->equals(Ljava/lang/Object;)Z";
-	"Ljava/lang/reflect/Method;->getDeclaringClass()Ljava/lang/Class;"	[classname="Ljava/lang/reflect/Method;",
-		descriptor="()Ljava/lang/Class;",
-		entrypoint=False,
-		external=True,
-		methodname=getDeclaringClass];
-	"Ltheseus/tl6JVUxO9Jqe3VYc/T;->check_is_Malicious_get_data_224c9b416025faf4(Ljava/lang/reflect/Method;)Z [access_flags=public static \
-final] @ 0xaac" -> "Ljava/lang/reflect/Method;->getDeclaringClass()Ljava/lang/Class;";
-	"Ljava/lang/reflect/Method;->getParameterTypes()[Ljava/lang/Class;"	[classname="Ljava/lang/reflect/Method;",
-		descriptor="()[Ljava/lang/Class;",
-		entrypoint=False,
-		external=True,
-		methodname=getParameterTypes];
-	"Ltheseus/tl6JVUxO9Jqe3VYc/T;->check_is_Malicious_get_data_224c9b416025faf4(Ljava/lang/reflect/Method;)Z [access_flags=public static \
-final] @ 0xaac" -> "Ljava/lang/reflect/Method;->getParameterTypes()[Ljava/lang/Class;";
-	"Ljava/lang/reflect/Method;->getReturnType()Ljava/lang/Class;"	[classname="Ljava/lang/reflect/Method;",
-		descriptor="()Ljava/lang/Class;",
-		entrypoint=False,
-		external=True,
-		methodname=getReturnType];
-	"Ltheseus/tl6JVUxO9Jqe3VYc/T;->check_is_Malicious_get_data_224c9b416025faf4(Ljava/lang/reflect/Method;)Z [access_flags=public static \
-final] @ 0xaac" -> "Ljava/lang/reflect/Method;->getReturnType()Ljava/lang/Class;";
-	"Ltheseus/tl6JVUxO9Jqe3VYc/T;->check_is_Malicious_send_data_c961adb85ae3b11c(Ljava/lang/reflect/Method;)Z [access_flags=public static \
-final] @ 0xb88" -> "Ljava/lang/Class;->descriptorString()Ljava/lang/String;";
-	"Ltheseus/tl6JVUxO9Jqe3VYc/T;->check_is_Malicious_send_data_c961adb85ae3b11c(Ljava/lang/reflect/Method;)Z [access_flags=public static \
-final] @ 0xb88" -> "Ljava/lang/reflect/Method;->getName()Ljava/lang/String;";
-	"Ltheseus/tl6JVUxO9Jqe3VYc/T;->check_is_Malicious_send_data_c961adb85ae3b11c(Ljava/lang/reflect/Method;)Z [access_flags=public static \
-final] @ 0xb88" -> "Ljava/lang/String;->equals(Ljava/lang/Object;)Z";
-	"Ltheseus/tl6JVUxO9Jqe3VYc/T;->check_is_Malicious_send_data_c961adb85ae3b11c(Ljava/lang/reflect/Method;)Z [access_flags=public static \
-final] @ 0xb88" -> "Ljava/lang/reflect/Method;->getDeclaringClass()Ljava/lang/Class;";
-	"Ltheseus/tl6JVUxO9Jqe3VYc/T;->check_is_Malicious_send_data_c961adb85ae3b11c(Ljava/lang/reflect/Method;)Z [access_flags=public static \
-final] @ 0xb88" -> "Ljava/lang/reflect/Method;->getParameterTypes()[Ljava/lang/Class;";
-	"Ltheseus/tl6JVUxO9Jqe3VYc/T;->check_is_Malicious_send_data_c961adb85ae3b11c(Ljava/lang/reflect/Method;)Z [access_flags=public static \
-final] @ 0xb88" -> "Ljava/lang/reflect/Method;->getReturnType()Ljava/lang/Class;";
-	"Lcom/example/theseus/Malicious;-><init>()V [access_flags=public constructor] @ 0x1f4"	[accessflags="public constructor",
-		classname="Lcom/example/theseus/Malicious;",
-		descriptor="()V",
-		entrypoint=False,
-		external=False,
-		methodname="<init>"];
-	"Lcom/example/theseus/Malicious;-><init>()V [access_flags=public constructor] @ 0x1f4" -> "Ljava/lang/Object;-><init>()V";
-}
diff --git a/jury.typ b/jury.typ
index 2d31420..f8b02ee 100644
--- a/jury.typ
+++ b/jury.typ
@@ -8,11 +8,10 @@
       column-gutter: 2em,
       stroke: 0pt,
       inset: (x: 0pt, y: .5em),
-      //"Présidente :", "", "", "",
-      "Rapporteurs :", "Vincent Nicomette", "Professeur des Universités", "INSA de Toulouse",
-      "", "Julien Signoles", "Directeur de Recherche", "CEA LIST",
-      "Examinateurs :", "Guillaume Doyen", "Professeur", "IMT Atlantique",
-      "", "Simone Aonzo", /*"Assistant Professor"*/ "Maître de Conférences", "Eurecom",
+      "Présidente :", "", "", "",
+      "Rapporteurs :", "Vincent Nicomette", "Professeur des Universités", "INSA Toulouse",
+      "", "Julien Signoles", "Directeur de Recherches", "CEA",
+      "Examinatrice :", "", "", "",
       "Dir. de thèse :", "Jean-François Lalande", "Professeur des Universités", "CentraleSupélec",
       "", "Valérie Viet Triem Tong", "Professeure", "CentraleSupélec",
     )
diff --git a/main.typ b/main.typ
index ab05f8c..f934758 100644
--- a/main.typ
+++ b/main.typ
@@ -26,15 +26,6 @@
 } else {
   false
 }
-#let preliminary = if "preliminary" in sys.inputs {
-  assert(
-    sys.inputs.preliminary == "true" or sys.inputs.preliminary == "false",
-    message: "If --input preliminary=<val> is set, <val> must be 'true' or 'false'",
-  )
-  sys.inputs.preliminary == "true"
-} else {
-  false
-}
 
 #let (show_cover, show_body, show_abstracts) = {
   let show_cover = true
@@ -61,9 +52,9 @@
 
 
 #show: matisse-thesis.with(
-  title-fr: [Les difficultés de la rétro-ingénierie Android: de l'analyse large échelle au dé-brouillage dynamique],
+  title-fr: [Rétro-Ingénierie d'applications Android: les inconvénients de l'analyse statique], // malheurs -> inconvénients ?
   // Because "Android Skuldgerries and Other Headache Inducing Fuckeries" won't pass the vibe check
-  title-en: [The Woes of Android Reverse Engineering: from Large Scale Analysis to Dynamic Deobfuscation],
+  title-en: [Android Application Reverse Engineering: the Woes of Static Analysis],
   author: "Jean-Marie MINEAU",
   affiliation: "IRISA",
   defense-place: "Rennes",
@@ -83,7 +74,6 @@
   show_cover: show_cover,
   show_body: show_body,
   show_abstracts: show_abstracts,
-  preliminary: preliminary,
 )
 
 // Preamble
diff --git a/main_french.typ b/main_french.typ
index c5638b7..4784d09 100644
--- a/main_french.typ
+++ b/main_french.typ
@@ -3,12 +3,12 @@
 #import "jury.typ": jury-content
 
 #show: matisse-thesis.with(
-  title-fr: [Les difficultés de la rétro-ingénierie Android: de l'analyse large échelle au dé-brouillage dynamique],
+  title-fr: [Rétro-Ingénierie d'applications Android: les inconvénients de l'analyse statique], // malheurs -> inconvénients ?
   title-en: [],
   author: "Jean-Marie MINEAU",
   affiliation: "IRISA",
   defense-place: "Rennes",
-  draft: false,
+  draft: true,
   defense-date: datetime(
     year: 2025,
     month: 12,