diff --git a/.latexrun.db b/.latexrun.db
index 921854c..cf83b87 100644
--- a/.latexrun.db
+++ b/.latexrun.db
@@ -62,1675 +62,9 @@
         [
           "file",
           [
-            "/usr/share/texmf-dist/tex/generic/pgfplots/liststructure/pgfplotsdeque.code.tex"
+            "/usr/share/texmf-dist/tex/latex/amscls/amsthm.sty"
           ],
-          "86843251927c29a021eac1635ee8650cfc06265281b50441d8cb6f67bb8504ee"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/fonts/tfm/adobe/courier/pcrr8r.tfm"
-          ],
-          "013a6ef55bb5ee9768300df0f4a4d67660fc82b03085b1af358e053da1e21ca7"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmb7t.tfm"
-          ],
-          "a615b1aec84d04818ce5a26bcb854f0b5620812374d113e7263cc62b727eb4de"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/fonts/type1/urw/times/utmb8a.pfb"
-          ],
-          "7f3f19f61452892a29d06af2836331ca78aed29390914d294f7a440d35927142"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes.geometric.code.tex"
-          ],
-          "9ae89f23a7842df4b172627b86e7409597074c6b8f0958040d7669bb83a74a48"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex"
-          ],
-          "7fa0ff434e9cdeb14c40f326d53e6ea0273ef2046daf28987992e2488d186c85"
-        ],
-        [
-          "file",
-          [
-            "sections/design.tex"
-          ],
-          "a6038df34785b2c257d317acecb32c11dd916f40dca0fcdbb868891ccd753796"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/fonts/type1/urw/times/utmri8a.pfb"
-          ],
-          "f9a0c528b42d2ded2884e31cf1d225b81739ca9b17a0e7cb362fad404ce0aedf"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/mdframed/mdframed.sty"
-          ],
-          "df0b50bc333789b0a5d67d8a5decbe97745926df500906d5216a540421c857d6"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/hyperref/pd1enc.def"
-          ],
-          "860fb14ebfbd12904aca6dff9e05fad399529d7fe8c00d9b130f02bbc892925d"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/hyperref/nameref.sty"
-          ],
-          "1bd958ef4ce46f3d15f7c77f6c2d084289e0e6d6017d5a3a341d83f0998b99a7"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/hyperref/hpdftex.def"
-          ],
-          "1189381de3bd489df7cd3547548a4888d0171c0ba1cb90cda424afae3b955b89"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg"
-          ],
-          "10db2171b6e267720299c10b9e84f92c5cf069941dbfe3760e198304e49d5324"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex"
-          ],
-          "e7c6e44b8fb9fe8fab049144fbe3e430dbc2b441148d72999e309cd5fc3a83c5"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/caption/caption.sty"
-          ],
-          "94b3a07d83bfdc9171d3fcb5ea510e6a9ce01ff9bebac37a1dc066e55f6ad48f"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/fonts/vf/adobe/courier/pcrr8c.vf"
-          ],
-          "3cfbd9498aea0ebb257fe0abb6c6b763680101745366fd1fb5b2ef9d8fa7b729"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/varwidth/varwidth.sty"
-          ],
-          "28625bec96f2e01f6a8c7ec2c77004c71d148e0a9567b29b5c826f8bd248db8b"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def"
-          ],
-          "8c808d286cf896399244d121dd0e847a9205c73facc003fe64ec156ec85fd3e5"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty"
-          ],
-          "99e08946749446e0b9b7faa985f8202740a94476f9e99bab5286cca5ce4766e9"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/xcolor/xcolor.sty"
-          ],
-          "6d66da8f16088689c2f4995b4e920703cc94faade57911ed7aabd32b04367824"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-pdf.def"
-          ],
-          "babfe19163bca9c6fa5b1abb6b6154cd0d1ca98888f08f1bf7d06a74de5fd330"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgfplots/libs/pgfplotslibrary.code.tex"
-          ],
-          "12dfa15deed098538d51fb665a4f4ff759d8ef63d9216b38c19e87fbb0b476dc"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex"
-          ],
-          "b111efaa8b7c0905870b1ce9bcf400cd59c8db3cfa8d7ae91e7d63c1bac747cc"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/fonts/type1/urw/courier/ucrr8a.pfb"
-          ],
-          "8816758f882b18a97a2fcdd4e496b881cd7726b8612648cbfb1c9de2d9853029"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.tex"
-          ],
-          "7533dd80c95a5124726b0a617a5f458226d4a7490bcd209e3fd7e717e24dc127"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarytopaths.code.tex"
-          ],
-          "992706da31e055cdbecf5b1bf1b9c267383e3b4d4385773448f868e1cabf17f2"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex"
-          ],
-          "ec94fcfeeda3204c4e43d2008be50b6005da0e642deafaead137284d66e82926"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/psnfss/ot1ptm.fd"
-          ],
-          "9c5beb0652c0f26a78269825fea061968682671d11e2a16513d1a602bf248400"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.tex"
-          ],
-          "541e41626d66e0e8bc8b5249805c9efbb134dfe0dc85c63102eea3c2d21da6f0"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/context/base/mkii/supp-pdf.mkii"
-          ],
-          "5dd3675b88c7b61d3703e6bf35ed75623acc6b163dff7b1477b485cee8ad71cb"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmbc7t.tfm"
-          ],
-          "7b937cad233ff7c8d6bee5988c0a51ba0212e852ba2617059620d2cf98f6e630"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/listings/listings.sty"
-          ],
-          "30538b8ba51ea04fc7b48ee99f7a37b657b1e225cba41d3dbffe2bfa2af5eb57"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def"
-          ],
-          "c1200f3d129912978bbd41684ffee42e960bf9a776768a5b9f57557140113f7d"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/pgf-pie/pgf-pie.sty"
-          ],
-          "853145e186c504759174f1bf8fe3543df5020577ac31c2d170ffffe68c080b8c"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex"
-          ],
-          "7e25bd0bcb3399a5b1ee01c882d0bd51b455fcd1798edf4ecbde4bfc5c2198e1"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgfplots/liststructure/pgfplotsliststructureext.code.tex"
-          ],
-          "a4cd7e5531850e0e874c1096838ec55d62bf413dd7488f5316f730ce833f42db"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/hyperref/puenc.def"
-          ],
-          "70942bf5c0f0725234b8677e18170952b39b5959d6b1d5f9ccfb1ec88a049bf5"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/amsmath/amsbsy.sty"
-          ],
-          "f69355f4b0a8b650296fe2fd9471783a6940e6525efd5d7d306b5477daef494d"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty"
-          ],
-          "8fea89995d37ba4c69137186faafc589c470edcc5026d8a31aadbe5cef47dcb4"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/collectbox/collectbox.sty"
-          ],
-          "e2f8b5c38a97b6149ee589abbce92ef89c26246185a05ca3f314ec104748e1a8"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/needspace/needspace.sty"
-          ],
-          "5ae673ce2a80fb868c954373252294d9e6469feeb78b445182772fd043eb0914"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/amsfonts/amssymb.sty"
-          ],
-          "70838b061b56569dd3ed9f339b1bdd1c78ba185de49f27ceae331c97f48b5986"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.code.tex"
-          ],
-          "ceafd7c1de02bde3d5a7570489ed6a150db51aabd658c1c78acf1ee5b5f89c6e"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm7.tfm"
-          ],
-          "361b5530a4b410c6274e9330c11e993843c62e394323aeaa6e0aee61e8042444"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/l3kernel/expl3.sty"
-          ],
-          "031f0ee8e4751aff29af9cfda2ced8a8e3f52eb158e682c510856e3ed36d9361"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/fonts/type1/urw/times/utmr8a.pfb"
-          ],
-          "2ef9d47303d25f3c9553a43255dae8c39160e130ad5ed34444e39dee03d796a1"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/l3packages/xparse/xparse.sty"
-          ],
-          "f5d74008cd05735dfcc8b972eae85a6bf6a9fe286da4a86fece0a9fad37a8297"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/amsfonts/umsb.fd"
-          ],
-          "e20f21f6ed631cbe3a627d5da5fef82367732a7d51207f8df5ee7e9c77ee342e"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/fonts/tfm/adobe/courier/pcrr7t.tfm"
-          ],
-          "1388f235f7f54d28db4af569ee32821869aefbef29ee622c7e30b2e41dbda87c"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.code.tex"
-          ],
-          "da529b71510425e3a42b242f71ae849f74c09fd8197f7c18e3abb723b67ef958"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb"
-          ],
-          "e3661061e8aa474d6de5ffa916edceb0e3d8b998862018c147f0357fce00bcd7"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/bigfoot/suffix.sty"
-          ],
-          "64e2a5058863536d987c8059216e700786042bc7ee868b55262d86a9da777af6"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65.sty"
-          ],
-          "7df38d1bb03d0bf642b3f53c38d86641765d950f82d481ebd63c67838bc78ee7"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/hyperref/hyperref.sty"
-          ],
-          "3e2bd51be23486a776165ebda8bdef7d442c0b779db14652dcc1e40429b1c1ad"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr7.pfb"
-          ],
-          "b37e8671820b0753c6e233eaa3230c6ab9cff04e6c4baee312d60ae261e5aba1"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorerdf.code.tex"
-          ],
-          "0bc32a855862a83b7ece27d2ebf6bfeace759d6b64fb776394eee13d62401350"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmr8r.tfm"
-          ],
-          "280bb0113e2586156cd9414aab226588bb0a4d0fdf71fe6c6475af70d9b61eef"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex"
-          ],
-          "212f64f8641fb944a006a3c0825e78d30b0a2c5e3b4c4d62ff59ef61214caeed"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/auxhook/auxhook.sty"
-          ],
-          "1d9f36f4e9674bef594a47cac7d5781e9f7e0c7c8edf9f72769f4dc6f10d1b5f"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmrc7t.tfm"
-          ],
-          "9d0c9a870b82d754695e37b6fb24dc07d51a685fb0dad1d30fa69dfb209ac224"
-        ],
-        [
-          "file",
-          [
-            "main.tex"
-          ],
-          "7e4dc3e9e7b73a184f6e42838181c551c4b041c3e9387fde93bb28607ee9f863"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/changepage/changepage.sty"
-          ],
-          "c26adc410847658bbb8ddcadfb5fee6fa71254f07df5f007d2126760d6715a02"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty"
-          ],
-          "9d11c81501953d689787ff14c073d2f1eda5874068db9e882b8dbbf9a9d863b0"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgfplots/pgfplotsstackedplots.code.tex"
-          ],
-          "0e9c68bfc43f4d9de2ac8de2fcd116ac4f1f694c6d84597239246eb1dbb09326"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.code.tex"
-          ],
-          "81862c3425e8aa2a82e605eb8fde07b1b7b47862b981922393d4f54ca9fa6250"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code.tex"
-          ],
-          "f5454a5037c902bf21166d9592d5d15790f4b70c00a636d2b2fc47b76c8ccb21"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarydecorations.pathmorphing.code.tex"
-          ],
-          "02cfff83b06cc576ae02b8d5618fc9d8bcc02515a5cdb8dd419dd350a42c920d"
-        ],
-        [
-          "file",
-          [
-            "sections/related_work.tex"
-          ],
-          "e53ca75999b27df6554d5116a95b945f2c3eaa54d035cf3dc52be22b35af0a3b"
-        ],
-        [
-          "file",
-          [
-            "main.bbl"
-          ],
-          "290c4ba5fcbb4e68b6bccf01ffad26843f1a79549df3271beb10d54aa15fe0f5"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb"
-          ],
-          "62ee8cef552017551cd3e026a483e700730103eceaad959c87b7730017f59cff"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgfplots/pgfplotscoordprocessing.code.tex"
-          ],
-          "765209b4b8739df96bd13c01b5573c043a4b2a3490c7c741d5fa9c7e0743973d"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgf/libraries/decorations/pgflibrarydecorations.pathmorphing.code.tex"
-          ],
-          "118694789bd8f5f732250b881ce15d36421f7f84e15a56adba1ed3661c5a0450"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/fonts/map/fontname/texfonts.map"
-          ],
-          "d9693993efdc7d0b9ab3df777589995d43e24eeae95f12b6a230a19caadeaa42"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonometric.code.tex"
-          ],
-          "1c8834abe00807467a52d31ef96032d5084b2560eea45995018084d13a3cde3c"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty"
-          ],
-          "b90072b20d0590f23fd0ad273d059e3b7737319b3fb61e3bea6102fd77f24b3d"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/fonts/tfm/adobe/courier/pcrr8c.tfm"
-          ],
-          "03c370d1baa81f70c0ff70f6e574953151e8211bfd76e8ad9965e0bfd3fdd263"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/environ/environ.sty"
-          ],
-          "2efd7043a5a2ec8d495bd7575408b118ba737b9303259cffa74572d28b0da608"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/graphics-cfg/graphics.cfg"
-          ],
-          "feb91e48789a21e4acced98e952c77a2e2cf4a77e01bf147b59fa56a1b3f2008"
-        ],
-        [
-          "file",
-          [
-            "IEEEtran.cls"
-          ],
-          "c972aca108fda004c3514d63658e02816da2e54d9a1451e870b9bd970e003f55"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/mathtools/mathtools.sty"
-          ],
-          "de594addf85d23a28649db7d9973a11afe591796a6e64c81bb7eb7f8638a0b02"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code.tex"
-          ],
-          "545c4616f93c5f5d25bc04090a0b7ef869bab84b3952fadfd539d71187c83fe0"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/caption/caption3.sty"
-          ],
-          "73f00aabd0be454c9e552841856c573e096ef42d032fe9fd1801763b1b37bea5"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/amsmath/amsmath.sty"
-          ],
-          "da22219a49c094141141bb29034c438d1ccba8a9afe6cdd5d15b96c15bf56901"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryplotmarks.code.tex"
-          ],
-          "0fd495f3a090300a9740c637772e0b5b779f0fbdb94cbfe987815c0def856614"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/forloop/forloop.sty"
-          ],
-          "7643af86d17f2ae51b37a18ed3cfd90251bb5ee2058a9b24485f11ac3925b333"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmri8r.tfm"
-          ],
-          "5a8d22bbac97332450c06d766ea8f4cac97ebe0c941da9d473a5d422b8bb0667"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/listings/listings.cfg"
-          ],
-          "d0dd49d4d3eb37e5fcdc4de4e9add7ea5f150be907ac5c4705b382775e55d62b"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/atbegshi/atbegshi.sty"
-          ],
-          "a73003b4bb2dc8a814533ddbd31600e6626827799c2a465d03ef42e7a33fa71b"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/hycolor/hycolor.sty"
-          ],
-          "8acaa03eda19a8158780356701e905e354e1dc47dc736e6e26fc860c12a15e14"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/cryptocode/cryptocode.sty"
-          ],
-          "7d2f0d994fbca993d06586c90b50ffb6f354e19f6bee5a72f5a2c0440fc40689"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code.tex"
-          ],
-          "9b980e1373f9451da75cc6030a5b4c1671b88a1b14b45ed172cfb7cf2607fe1f"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/adjustbox/tc-pdftex.def"
-          ],
-          "15fb04c9b9d1b3fcfa65c1ac1dea77f68650b294c8b4735eca0bc22ad859a111"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/base/atveryend-ltx.sty"
-          ],
-          "95a2509f9ade1283bc842ed5c90084853892b67ab7acccfbf85b8acd38e1d7e3"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/graphics/graphics.sty"
-          ],
-          "36e2e612e708d04785971d6bcfed324d0a0f9ce337ea73680e69dd2603d0327a"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/fonts/vf/adobe/times/ptmrc7t.vf"
-          ],
-          "0011bdb7dbf11831fa73c87e70751c267754f1ebbe50a9cedf409ea0c22db41a"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/fonts/vf/adobe/times/ptmr7t.vf"
-          ],
-          "0df4bc46c777ddc91e944bdfd27e345fe906a914fd1288189ec26419fc65db50"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/ifoddpage/ifoddpage.sty"
-          ],
-          "a02ef0946e6764afafa57d21da2328a84946c31697b0f34bcd2499080349b597"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/listings/lstpatch.sty"
-          ],
-          "2472ea616722ae9736cfcb8f72c60ebe6de7b97921be1c43414d6ec735226158"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarydecorations.code.tex"
-          ],
-          "f4884f0c48ab319d25f2fb0889b8881f15ad7999842054718b15e32de8325773"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/base/textcomp.sty"
-          ],
-          "f50ebba76b974a541b8fc2541643911efaead656aae39c957c58d5b23b51a5eb"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty"
-          ],
-          "2df7e0bd148c99d8097352b8ac9948dccf91d61ba360dcf43f82206933b6045b"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgfplots/libs/tikzlibrarypgfplots.contourlua.code.tex"
-          ],
-          "92d3506845332bb9cd1a9ec001690eb0ba1e11c2b63e63244941873b5e8cb85e"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/filecontents/filecontents.sty"
-          ],
-          "47c9606c8901d2d5af86b551be31395ce94453729cab40a6f87a10b72de42e45"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex"
-          ],
-          "8986f92b517f94415ae5642fc03eb9a8998fdaab446ab2e10f97985d5a9589da"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarypositioning.code.tex"
-          ],
-          "5a9dba924057a2fed5e4794673fe39bdb090d024e607776d63c9adb9e62d48f8"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty"
-          ],
-          "050f2ad3a3671a1f4f9bcf97784836301bc751507e7ada546632379406aea103"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgfplots/pgfplots.revision.tex"
-          ],
-          "d9205e72253d9fed3721b3c8451f4bef5aaa947ae8460144bea18af2d7fbba27"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/xkeyval/xkeyval.tex"
-          ],
-          "29c2b60c6973c374a655e44791799823294d53fb04e16db31a681f71a125b3da"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex"
-          ],
-          "818b8e3cd0606bdb8ac7fbaccc5f80033672fa817537536f76bc67bc3942928c"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformations.code.tex"
-          ],
-          "bdea875774b4ad7a1e12debc67c46286245031f5c2e287c9e192f3ca4b6193b6"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/carlisle/scalefnt.sty"
-          ],
-          "fbf28cb0d4589c8e2db9f27c030e9298c09e69ee5d39ed570b45b87c85c0b48f"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/amsmath/amsgen.sty"
-          ],
-          "1232e78c8af6c4bc16c024fe33b9c4c3322679ad6887be22bc013ddb8d254ed9"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integerarithmetics.code.tex"
-          ],
-          "6e9383c1e63a6dbcfd2d95369905df566bdb6e7374c06e28c15a25eb782dc46b"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgfplots/oldpgfcompatib/pgfplotsoldpgfsupp_loader.code.tex"
-          ],
-          "a36a28ecd51df3dd0f63446f24a84290ec322095280578063ae9b94804014c37"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/listings/lstmisc.sty"
-          ],
-          "75d13c840d91c5d871782212edfe26358e26b7408a35f4b486bbaa2c7a1fe6ab"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty"
-          ],
-          "6e39ff4fdf9f126aff28880a7dd59fccc0e6735409d92ca455cdd2a4f2b4db53"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code.tex"
-          ],
-          "f91d37fcda30e70ae85fbd9030682bc64df4424fc1260704def57dc6c444a63a"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmbi7t.tfm"
-          ],
-          "f9649f1a4d564693fd52835b7bd9def8a0d0a8ad8abd1ed3c7f8246949e15e26"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/zref/zref-base.sty"
-          ],
-          "8558725c90ca848e8bbdc11b46509bc1e79bfa69ff374b206e73fd8e5de13ed1"
-        ],
-        [
-          "file",
-          [
-            "main.aux"
-          ],
-          "af11148c5fc432281b8a7decb6b26642a102eaaa1c5c6596e3ca018fed3fe2fd"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/fonts/vf/adobe/times/ptmb7t.vf"
-          ],
-          "72d719be55d369638225c639af2e631a10ecfb662b59edd37d445c954e5dfb79"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code.tex"
-          ],
-          "165569c2ffb6a80272d2853c3d3c4373c386391e8cbb81ed9683ae2a810dd28c"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarydecorations.pathreplacing.code.tex"
-          ],
-          "acabde0c8a15d23b8e08dd666f1a8f013c9fc5feefbef4cc533065f198d7ee62"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty"
-          ],
-          "7e22b1ca949259c61d3721bca0a56bcccf7e47cfc776027c5863941635c07aa1"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/intcalc/intcalc.sty"
-          ],
-          "1343ba1b10b245bfd199c22947249af1d756808690c7811c90f07fe0a3772080"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty"
-          ],
-          "c42f0c2628dc5fbd95b535cf8cd3cc964347653c099d38c0d416f896d84e8240"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/pgf-pie/tikzlibrarypie.code.tex"
-          ],
-          "b979dfbffb2eb87811e6b652ac19805eaf14473aeaaae077219e9ac3e9523749"
-        ],
-        [
-          "file",
-          [
-            "/var/lib/texmf/web2c/pdftex/pdflatex.fmt"
-          ],
-          "94ac62800308131e37213df5d5edcbddc246082321af52a58bc5f8881a23c9dd"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy7.pfb"
-          ],
-          "583b65bd1857bffc2ab184fcb4aad4e70e12eb05c9ca9f1c58c9a00a86c8bccf"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam5.tfm"
-          ],
-          "c800d1dfd533040219fcc06d52e0e00c2a20fb9b0039fe9f58ccec53fd003a9f"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison.code.tex"
-          ],
-          "ea5ff35778088d94d8d2f1a20075ec57cc4ecd22844f9c288625a6db59ba7818"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex"
-          ],
-          "6d28f51c1b4cb933969339982286f86bb1c9af70ed34535482321de4cd491664"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/pgf/math/pgfmath.sty"
-          ],
-          "4abed7d8c88642201dd1a932a435ae05a1f2659f1f7e95c72d6b5347c83d232a"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgfplots/pgfplots.markers.code.tex"
-          ],
-          "59104418d1184b73a01e15b254ffb8c5d4320cf510673f095933d88e901617d6"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryarrows.code.tex"
-          ],
-          "ebfe3e9cc88116a5229c3d66e2ff8c3bbcba34f7c9abc93269754e193ba6f62a"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex"
-          ],
-          "ccd576f7cebab3a0c5d5cdef41fc44e638d7bb4a20e0a0465160eba1757795e5"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.code.tex"
-          ],
-          "ea5e14f7fade556cee79636a6824710e97db928542fc1b23dfa618ff6448688e"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgf/libraries/pgflibraryfpu.code.tex"
-          ],
-          "8c1897e7e28685c9c01964981ec450119bd223ccf93e9367e9f959048dc59e8d"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/zref/zref-abspage.sty"
-          ],
-          "c83b1dd1a04d2e81ea4b6e05e66b37cd672610931d0972967535404e18ae9280"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/amsfonts/umsa.fd"
-          ],
-          "48355e960333be747dd7b4500e76fde7c3ef0b1fa9c74ec0f1438af0d3a661a4"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/base/ifthen.sty"
-          ],
-          "b8cbd3c3ed9f0f58e1103c91e29ab8de344a19f4cc7d27fde8d14d962dcf0495"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/graphics/keyval.sty"
-          ],
-          "8434ad08617159240fd19b4fcae8bf79a6137af413f3798c8a750e9839f8902e"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgfplots/pgfplotsmeshplothandler.code.tex"
-          ],
-          "285da39b32bee58c3cad318670a986b3097efd4442d2452d48abbf3727a47157"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def"
-          ],
-          "6afcd415b6831a153969f66e8b06e9045fe5a5a40239ef51d76de757105396a2"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmb8r.tfm"
-          ],
-          "a48198d87f9b9f90d652b8f41d41dbb3978a44669225c89394a4620031ace6a2"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/listings/lstlang1.sty"
-          ],
-          "7ec0d3442c273319ee517745cece539182acf7279ab9596d3e56eb32689e7c53"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code.tex"
-          ],
-          "f83601dd74e8c166162cb3daf926744c44ccf15a0122e17613658f82fa64c6a9"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgfplots/sys/pgflibrarypgfplots.surfshading.pgfsys-pdftex.def"
-          ],
-          "c52c6c54e7ffd5e43094a13b33c6e93cbfa1f3fd6455cf2512102d19d3b7c49e"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryshapes.geometric.code.tex"
-          ],
-          "5879002284871fadd4cc0eb0e0cc7b056e0b87cd61911ff4ee838adfe2d64b4b"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pdfescape/pdfescape.sty"
-          ],
-          "b3f0e56366c11b85dae521f9a48a6fd415dec1ce8c83152fde813a9f64445b49"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi7.pfb"
-          ],
-          "5b293a581ddb937b02559c3ce1a60184cc434295533204a2cd3864a6ad8a1f53"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmr7t.tfm"
-          ],
-          "1ca2496e79881aae2e9f7eeb36a51e4d51ef9c7700c57d8f008fc32a2ed0bfda"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/trimspaces/trimspaces.sty"
-          ],
-          "8e9907a5787d119339d60775c68d4a42e84f0b3993acf567600440dd161c52f8"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/pgf/utilities/pgffor.sty"
-          ],
-          "5ae03317ea221a6f68d807775bd06a10625aa9fb1f590dbe2114688f735c447d"
-        ],
-        [
-          "file",
-          [
-            "/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map"
-          ],
-          "f079d814ec1276acba15801beb39911eb18d0b6d556ae7cf884be6fd3d83f2cf"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgfplots/pgfplots.paths.code.tex"
-          ],
-          "d11c8b83414c052bb39c678e49d81c5f0235de4af1bdf5dd75270e4de82f94a5"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgf/libraries/decorations/pgflibrarydecorations.pathreplacing.code.tex"
-          ],
-          "91ac89b327e3085fdb10a1213657b1c9e6540e1654e3b173193f60c154f381f7"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/comment/comment.sty"
-          ],
-          "27b76432648ff0c428cc0f435d9caa015880fb7d7fc02fbce45f284451a7e7ab"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.tex"
-          ],
-          "743e89ac1e529af45751fa85fde4b3438284a63dfd53ff52c94c2f229b20beff"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/graphics-cfg/color.cfg"
-          ],
-          "a3529ccdadc8248b4c5d7c34ceea53bdc1509b54f18a192ad51b924bd297d8df"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgfplots/libs/pgflibrarypgfplots.surfshading.code.tex"
-          ],
-          "e90c556be8f468865ca2b656913ba8afc2220f2c163f02e0874731a6d34cdd64"
-        ],
-        [
-          "file",
-          [
-            "assets/diagram-anon.png"
-          ],
-          "edcd08d90964e97d7ef9116c109606dbecfb9fffd9fa8b787c756e45ba7b10af"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarycalc.code.tex"
-          ],
-          "8207f9fe44c55f382b943c0d9ed3e61571825585318111ad1e357746712e6079"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/tools/calc.sty"
-          ],
-          "9c9da7f39469dd6ab1cb765cd5ef87dd72792c8eb9426e4619faecd00e9f2345"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/etexcmds/etexcmds.sty"
-          ],
-          "a7db2834e02bd11be0e62a3be15e3dc293ba1be9196f19b29b9d98bfdbeb7514"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/fonts/vf/adobe/courier/pcrr7t.vf"
-          ],
-          "a9b778bb98f910fe898bbee9001238db4af4d97187a21361350bd5e39a55bbe1"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/fonts/type1/urw/times/utmbi8a.pfb"
-          ],
-          "21d029fda4757908be702f42811199eac11ce5886c0acfddd574df4545b1e7a9"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmri7t.tfm"
-          ],
-          "8c5b2e8eb57987c20fac30f8f647133e2dcfea899a08f11971a51a8740267fd4"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/listings/lstlang2.sty"
-          ],
-          "85aa24029cbac78aabf0c57fe4ec95c58703dac2fc845490157cf1f5a6634a25"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/xkeyval/xkeyval.sty"
-          ],
-          "6904c396f2a6992921823387576b7f75074ac3b8e047a8c80687a869aba1e3ae"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgfplots/pgfplots.errorbars.code.tex"
-          ],
-          "70c56e4ccf3448f53cfbb90046ada2683dbf2eec1cf586562fe78bcfe146b3de"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex"
-          ],
-          "14bf1941381e7eb35dce4850d0aa819360f1db9ba9752c81cff19920f2c4c7b7"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgfplots/pgfplotsmeshplotimage.code.tex"
-          ],
-          "d4ea2f3c3bf545104a7c40191693d049ec29c391d46ce55807f6284a2aaaf5e1"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgfplots/util/pgfplotsutil.code.tex"
-          ],
-          "abd9f7c3a307d3e9d2d53a6a8f8e1358669966bed05820b94841da7f49aa3876"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgfplots/pgfplotsticks.code.tex"
-          ],
-          "7005297bdcb9afb98162d9d2f4e0555285bb025c8359413f9785f2a57ffd228a"
-        ],
-        [
-          "file",
-          [
-            "main.out"
-          ],
-          "cfb5cbfb52c03e4c289c2a70fb86b6e91ab55e77d2069914d5334c07f6ed102a"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/fonts/enc/dvips/base/8r.enc"
-          ],
-          "66dad15c944f0d457a095fd6e9dba30059a4882b1ffb1f4bf62850ce52c8f136"
-        ],
-        [
-          "file",
-          [
-            "sections/proofs.tex"
-          ],
-          "7a52330736fc1c3db5770fd987d898a1c9e318fd2f9de8d2a794c5dbf27739b5"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex"
-          ],
-          "cda208d98bdc556a06f5915571c6ce4d98c18aa639c4782a56c6d32a6ba68055"
-        ],
-        [
-          "file",
-          [
-            "sections/conclusion.tex"
-          ],
-          "4fc6bbde75727e25ba79d08653e620c87e6bf053c097c7c0b79d0bc58a39af92"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/fonts/tfm/public/cm/cmr8.tfm"
-          ],
-          "4c5ae243ac0aa254e7ec7f0602cc2a4351e5011ff0cb6dc150a5f6de19585de6"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm"
-          ],
-          "3b54bde5cb0e0bd071eea7bc702ed3a1a284f786779ef8e75b06eba4104bb9f2"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/amsfonts/amsfonts.sty"
-          ],
-          "dab8b0e621267acfd89736cf97bdcc02647c545c0719c4997be8a7d1bf98f9c3"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/fonts/vf/adobe/times/ptmri7t.vf"
-          ],
-          "162e1f6e89ce4ceb9c99f532ebdd6da6237088663fad290867d907ab6145a327"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.tex"
-          ],
-          "1668608078204a627d6e67a853f8a904e6149b901607ae177741c650b143a94e"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/tools/enumerate.sty"
-          ],
-          "408dfc3b98b3f52075ab59e86fd574bc0d4b4a1e0baa725a9605dccd1fec74d3"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothandlers.code.tex"
-          ],
-          "b3db772dd8eb595d8a5c8ef8d232862f9cef97d4ac9dedee283ad7b6e83361dd"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/infwarerr/infwarerr.sty"
-          ],
-          "8c3e23b8bb7d940ff26cb0cf96e0151f540acf55020dc3c1aa8bcdb2eb66305c"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/refcount/refcount.sty"
-          ],
-          "1bd5d42025520bef74f8808af99cf3f3be7d2e3774b9931bf85c11ba81bb6cab"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgfplots/util/pgfplotsbinary.code.tex"
-          ],
-          "71271312b0668f69e03014f6c90fcf37112de363643661a2cbb77e047e86d75e"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb"
-          ],
-          "fdcede8794018df5f2b58f0905fb20a2b418ed8f67b73ee12445855dfbe5b1be"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgfplots/util/pgfplotscolormap.code.tex"
-          ],
-          "b0671f2833e4eb6ee2bd932bbd93f01f92e841b4f6941294b95d5b8075d720e9"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam7.tfm"
-          ],
-          "719d100c110fa1cfae9ad0b63e6c21753f4980f925fa516c1a04961e206f69d5"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgf/pgf.revision.tex"
-          ],
-          "ac54ea0a31097f28b4e37b09fa17985728d589c10640cf220d7e959f63b9e731"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/float/float.sty"
-          ],
-          "be4a09ab7ded44b4ce97ba20a3a3efbb061d186327d5db61f8de6a3cab5019aa"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgfplots/pgfplots.code.tex"
-          ],
-          "6c32e18704d71198bc2ecab0dad47fac47ec9b4cfbd82f106bd04de465361f62"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/etoolbox/etoolbox.sty"
-          ],
-          "b10381f0017ae75bd03dc9175b35ad56b93fdd24f2a47dd4aa9c6987ef35ccdb"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/kvoptions/kvoptions.sty"
-          ],
-          "70595629ec990ba8c0b6e6a54afcff2603464e6fce380a54a98549a78d2fc74a"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/graphics/mathcolor.ltx"
-          ],
-          "0804bb6e9e1eeeaeda861f29206d308194ea7cc846e38abaa344cdefa1d408cd"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi5.pfb"
-          ],
-          "35048e58e53f4aa53025069c1d0de33a16d8d4c111bfa329669e6456ec0a967b"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/pbox/pbox.sty"
-          ],
-          "ac474048c041a3adf962c03d5f34018e70b24fdcd2a810acf48c5f2ab5895128"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/multirow/multirow.sty"
-          ],
-          "5c33cb1717024ebe00adb88514357ab394ae5f9433418fd0442ba8c64462db14"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/psnfss/ot1pcr.fd"
-          ],
-          "58fe4bfa8fe5ed99bc3e28230d07e7ce32e89b338dc247d2934f0bb32bf516b8"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/bitset/bitset.sty"
-          ],
-          "af5c7196c69dc9d28225189169b60c9b9039125bc1756c04d54886f0a3e1891e"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/adjustbox/adjustbox.sty"
-          ],
-          "9e0966d9d505c56237694f90387b6da6b7e6b197367890c4e26ee348a96f84b5"
-        ],
-        [
-          "file",
-          [
-            "sections/case_studies.tex"
-          ],
-          "25b1e6966291099d1cab009d830550254b3a6867f1a4fc349b16999eda1ebbf8"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgf/modules/pgfmoduledecorations.code.tex"
-          ],
-          "4bdde0208ec6188bb2b5aca3d37c89636070df1e06e6bbf4290f51c0f7c1aa2b"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/amsmath/amsopn.sty"
-          ],
-          "981dbcccfc3a2449768ae5b1cb7b8b1468bb1f7842429067cd6f6ef0ade42fc2"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgf/libraries/pgflibraryarrows.code.tex"
-          ],
-          "7fca2c36196a01d5c7122a05116afd42920029a57a632ab205bd6b82f2327197"
-        ],
-        [
-          "file",
-          [
-            "sections/examples.tex"
-          ],
-          "f1425182e81ef415d84a94c86f872f604eb48bcbe67ed6338014bac31e0e139c"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/xargs/xargs.sty"
-          ],
-          "02a5571b6d32aa3446bd005a4e6fa22ddab78fd07e61a7c286e9d13cb01ec60d"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty"
-          ],
-          "9653b8fae6bba95bec40ffbedd7d6c2b8f3be4a85b8b39580ab3ee6c3590041a"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/xkeyval/xkvutils.tex"
-          ],
-          "5e82c31b1b4492c89f0a36c8a1f65ca5dc1d3a7f2ced1b30a1a5be0da9bcc411"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/adjustbox/adjcalc.sty"
-          ],
-          "75d6edb0bd96e79629697ff1827a3e68607942861813c15fd09d2e5225c71b51"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgfplots/liststructure/pgfplotsarray.code.tex"
-          ],
-          "38442c559fd7e7be2a812d4d809940795fc9535e6d571dbf52c5a0493b26f998"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/kvsetkeys/kvsetkeys.sty"
-          ],
-          "e3fcf7f3372a27bb478eb9488eca1e25ed382480d02a6898f190bd955388e055"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/tools/xspace.sty"
-          ],
-          "bc3bfd65d4b52e78822cb9f3561c6663c64465f64dc2475e56542dbc213a3e66"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex"
-          ],
-          "758e504e9c194cf9bbed098700b1d7969420e9a87552222d3000084a9d095571"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgfplots/oldpgfcompatib/pgfplotsoldpgfsupp_pgfutil-common-lists.tex"
-          ],
-          "b353c3d994370f16a1e5867eb9b1d39646c4be7dc896aff5b022ec1fb3dbcadf"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/fonts/tfm/public/cm/cmmi6.tfm"
-          ],
-          "ab6ecb4aaba9ca1b4259b1d1f64309a785bbaeb09183fd79a066b7764a448a28"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/url/url.sty"
-          ],
-          "2373f56849ac606473e77053e5c1d14c92aba312b3f684e02a130eaf36f2de47"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmbi8r.tfm"
-          ],
-          "466613f08ae6423521bd9aa1d0be9dc69f610e223f171f6f07b91844626d4bd1"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/base/atbegshi-ltx.sty"
-          ],
-          "6720c4cf09cf91e8055b9ad4b54275cbd690be65b1f36805fa457c059d2e29a2"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgfplots/pgfplotsplothandlers.code.tex"
-          ],
-          "76e1322f759550f9171cb0fd9ab601ed1c4ebfd21299c2c24c8294a42022fa7d"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty"
-          ],
-          "3d2226e3d68b4255061baa496cc9cbc107816a7d364720c1bd8c83dccb047b64"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgf/utilities/pgfkeyslibraryfiltered.code.tex"
-          ],
-          "b3d57e19c1893ef33eb240cb7da4286418481b44f7b0ab1677fbc190d6a85201"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex8.tfm"
-          ],
-          "3f56ab22f7fc6a015813976c6c6cc2fd55736bbaec4958a4562e10719fa18062"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex"
-          ],
-          "9758185623cce6b2a8d4a504d10dfd0a01ef6d3480794fa4c466384f4c08540c"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/iftex/iftex.sty"
-          ],
-          "2de50639c1f27201f2b4d04e9083e0a51fc5a73b8908eea2e80d6e3205636d4a"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/graphics/color.sty"
-          ],
-          "db5153a66a97071b91dc2a2ed59f9b8c87f90082e08573c8c94dba2a46b002bf"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/pgfplots/pgfplots.sty"
-          ],
-          "cb353b58769449f756c5c16f9d355c90c0714d1da1228bf912c3a5b208b4890b"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgfplots/numtable/pgfplotstableshared.code.tex"
-          ],
-          "ae3fd038684fb1192d7a9059d5c8b261cccbf647f0f3d9ac084be882b5ec9895"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex"
-          ],
-          "6ea4caeea5bcb6cd60b80ef4607e8a79824ec0cdcebb47424c1bdbe0c2ea6671"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/oberdiek/centernot.sty"
-          ],
-          "c95e2924dd95a051923b6a4ea0943fe8aba5ac887f3e6e1cde980ab0288ecfc7"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18.sty"
-          ],
-          "b5a95ba245bb51ce01e5ead16e818a0024f16cd208df3386b30ba0798a911344"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm"
-          ],
-          "373172fe340e4aede5129b89d65f576bfb1fe6932bd55c38f60bcaa84f3d1188"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/fonts/tfm/public/cm/cmmi8.tfm"
-          ],
-          "65af8c1e162a952cab8e93c834fcf43ce09b508e6c16e512ebb673cd850b0d41"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty"
-          ],
-          "3a52a05062a74a763ee604b4a3d20f0be4a4b99fe8182373e30ccea0abafc96e"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgf/math/pgfint.code.tex"
-          ],
-          "95f8053efeeb2267d543d8d1afb10195d6114765eea7b90755b4e0c359324d64"
+          "8d5e2bdb117297385971927b14fe4804314133dc0027b3171249a08280894626"
         ],
         [
           "file",
@@ -1742,254 +76,16 @@
         [
           "file",
           [
-            "/usr/share/texmf-dist/tex/generic/pgfplots/pgfplotscore.code.tex"
+            "/usr/share/texmf-dist/fonts/vf/adobe/times/ptmb7t.vf"
           ],
-          "4c71ea64f5b3582f1d6346f9f9a782da20ed7a4c76e00ee1f73ee23186a1db9b"
+          "72d719be55d369638225c639af2e631a10ecfb662b59edd37d445c954e5dfb79"
         ],
         [
           "file",
           [
-            "/usr/share/texmf-dist/tex/latex/mathtools/mhsetup.sty"
+            "sections/proofs.tex"
           ],
-          "c3ae1e23f43029fbfc271e3b1440a692e1cd924d1810430b99e4f2aa5b9ccf09"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr5.pfb"
-          ],
-          "84d38aac226b5274baca7a292e2039f5284a35d8a2ae31074a475fad87da310b"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgfplots/sys/pgfplotssysgeneric.code.tex"
-          ],
-          "7124db702274395928a825f687081477f0de5ee9007b9a4a9208f28f209f67fe"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/algorithms/algorithm.sty"
-          ],
-          "d63fdf24879f0efd535bc6d06bc2a008b79ae77f6d6d2bc96156ff1f35e96bd7"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgfplots/liststructure/pgfplotsmatrix.code.tex"
-          ],
-          "a22375071be85968f3b7489bd64c01f5317ca1ddadc0b7ab1f8257181d55a35b"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/graphics/trig.sty"
-          ],
-          "c2a4f1d01abaf7ad739f1af03238ebb6ab35a7bbfbd5d713acceddda4fb043d5"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgfplots/util/pgfplotsutil.verb.code.tex"
-          ],
-          "878385031a1d3ea317938785f956d075fd419415bc00204b28f3f6792bb30d29"
-        ],
-        [
-          "file",
-          [
-            "sections/introduction.tex"
-          ],
-          "8bfd16f3b2754d9a046aaea520858c311411c868177598d0be14dec33c2eb108"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/fonts/vf/adobe/times/ptmbi7t.vf"
-          ],
-          "6d6b87797a48bb5ff09b505d26ac4eff2e3d54ead648fae8bc0d6e506c9aa8d2"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.code.tex"
-          ],
-          "c10a26a167c06b16e2d80ee4b119f77818ba2357ece3e5bc3cf7470c5dfb09f9"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgfplots/util/pgfplotscolor.code.tex"
-          ],
-          "521c3db6439ff99c2dbcba5384f8006824ab4a4af28f86785ec9930968272536"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm"
-          ],
-          "d9f5f519ec718e9dbccb8527c1f5d3b4a008dfb946377f97f71611b385d3d010"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/atveryend/atveryend.sty"
-          ],
-          "a62143db8b3bf1e52082c32e3feb7450bc90c000c6c48a38fa51cf96a6075eae"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmex10.pfb"
-          ],
-          "791b31aa1db8608d0144b3a40fc0fe53383a60f6b00d0e8fd9f06ac4a11df8cb"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/fonts/tfm/public/cm/cmsy6.tfm"
-          ],
-          "137eb9f38f661c66309614066a7b5d63d8969d33aba0c9efee9f844a4ce65b50"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/web2c/texmf.cnf"
-          ],
-          "ddd2722ee024d5f4c13123562e7a220c5a66ad0230fa32afc8b365b810a80251"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgf/libraries/pgflibraryplotmarks.code.tex"
-          ],
-          "c65e39ffd0c7fac8fabf7a51a47acd9e11bac5b70dce14347b1c78887c81151f"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/fonts/tfm/public/cm/cmsy8.tfm"
-          ],
-          "84c37f07ca360c41ad0a0fba7387d279d72457c69bdae03653208c683d8de6bc"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/psnfss/ts1pcr.fd"
-          ],
-          "c5616c536e51dd8a0e9e826f713519cb85e3fc4c6bd4165183cffe970c10ab46"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/algorithms/algorithmic.sty"
-          ],
-          "7fe47ed7f8222c56452bd73bf0682e72023ece06d59207653a02e080a341118d"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/graphics/graphicx.sty"
-          ],
-          "e9fe8e56401707f18a3d18716dadfd1dab999d02118c82af05691599cedec445"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/amsmath/amstext.sty"
-          ],
-          "2bf2e4f0efe99c33bfd757e1dee1b4267742f8af3e449d6bdb4342c2917b1bce"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-luatex.def"
-          ],
-          "886838765f41bdbb8a97700bdf958330abbb0ab8e7d713a9cb60fdaca78d09b4"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/graphics-def/pdftex.def"
-          ],
-          "6b0d3c7739f5344c3356bb0cef98bc17d8710e1e060914f42390d6503141c249"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgfplots/util/pgfplotsbinary.data.code.tex"
-          ],
-          "d48a5679ca97f921aa11c6ac0aea9773f8791ab8cf71399ed731f44236d04eed"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg"
-          ],
-          "eb308ac3d665db8dd3c03b18328c551609346c659c2ce0e5029223fbcc339cb3"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/fonts/tfm/public/cm/cmr6.tfm"
-          ],
-          "106afa9172f0c00e58b9f5cbc72b302a18aaeeaddf50caca145af9cc0b81afd2"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.tex"
-          ],
-          "cd9bb9fbaac3f5bca5bedd77ca07a8c4457467869e2303fdf2b446a30dca9f9f"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty"
-          ],
-          "cc7121c5706c5c52807aea879ca0a9083a8dc81b04d96303d0d398804d9d3d52"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing.code.tex"
-          ],
-          "ebcf9d5dec1714b575ffef09be6cdf03eaf1501f511204d7efae5d73b07b2221"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/fonts/vf/adobe/times/ptmbc7t.vf"
-          ],
-          "37a743df9f8e5a736e4d51b17574c1d0b0db36af1ad798ff4a5e0fead9fd653e"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex"
-          ],
-          "5787859fab7c72cc3dfd7134e78bbb0e770a43e7da39f93732c24232249fdde8"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/listings/lstlang3.sty"
-          ],
-          "637dbaa3bc149ada8edc2b471164a63e70457e105e325b4c00cd2b499ca70067"
-        ],
-        [
-          "file",
-          [
-            "sections/abstract.tex"
-          ],
-          "56ed68e932967546fef0a9c476b8008e7e0b3619c678368913572f82d8f168b4"
-        ],
-        [
-          "file",
-          [
-            "/usr/share/texmf-dist/tex/latex/tools/array.sty"
-          ],
-          "dc2b9a0057f8455ac0f74960618e7af3de9bf08da0e7078ef8dd0570a2924427"
+          "c8d1809ce0b26e19c87c5caa00a071ddbfa5a2425c27fdbe026f492fdc269c63"
         ],
         [
           "file",
@@ -2001,86 +97,107 @@
         [
           "file",
           [
-            "/usr/share/texmf-dist/tex/latex/cite/cite.sty"
+            "/usr/share/texmf-dist/tex/latex/changepage/changepage.sty"
           ],
-          "56979b7c69ae65bdb52de5bcd540625cae6dd70119e767db438a4826991910ea"
+          "c26adc410847658bbb8ddcadfb5fee6fa71254f07df5f007d2126760d6715a02"
         ],
         [
           "file",
           [
-            "/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex"
+            "/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def"
           ],
-          "aa771cadef59f480af688c690c5de28e23636ef4890842b9758b7d8943ede4ac"
+          "c1200f3d129912978bbd41684ffee42e960bf9a776768a5b9f57557140113f7d"
         ],
         [
           "file",
           [
-            "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm5.tfm"
+            "/usr/share/texmf-dist/tex/generic/etexcmds/etexcmds.sty"
           ],
-          "9e0909a297a3097e50960158d324006ddd5302db665400fa1fdf966df14e1a17"
+          "a7db2834e02bd11be0e62a3be15e3dc293ba1be9196f19b29b9d98bfdbeb7514"
         ],
         [
           "file",
           [
-            "/usr/share/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty"
+            "/usr/share/texmf-dist/tex/generic/pgfplots/util/pgfplotsbinary.code.tex"
           ],
-          "26ab10fd43fd5a90f98bcbed3a99978808da8878eb73835db4e0346371aee41e"
+          "71271312b0668f69e03014f6c90fcf37112de363643661a2cbb77e047e86d75e"
         ],
         [
           "file",
           [
-            "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct.code.tex"
+            "/usr/share/texmf-dist/tex/latex/auxhook/auxhook.sty"
           ],
-          "64b0b4193616b937a2b4520c678f8863ae06ab38385bb58db437b39a8f27719b"
+          "1d9f36f4e9674bef594a47cac7d5781e9f7e0c7c8edf9f72769f4dc6f10d1b5f"
         ],
         [
           "file",
           [
-            "/usr/share/texmf-dist/tex/latex/mdframed/md-frame-0.mdf"
+            "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm"
           ],
-          "eb5b30fa6b459ce7c9f994d12379a8dd0c2d7dd5d46d61e2f7066bf54ec1c47b"
+          "3b54bde5cb0e0bd071eea7bc702ed3a1a284f786779ef8e75b06eba4104bb9f2"
         ],
         [
           "file",
           [
-            "/usr/share/texmf-dist/tex/generic/pgfplots/pgfplots.scaling.code.tex"
+            "/usr/share/texmf-dist/tex/generic/pgfplots/util/pgfplotscolormap.code.tex"
           ],
-          "3e8298cf4d0f913a2ca6c2bba59d9894a42f8e9572671e4dd2f83f6bceb95b80"
+          "b0671f2833e4eb6ee2bd932bbd93f01f92e841b4f6941294b95d5b8075d720e9"
         ],
         [
           "file",
           [
-            "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex"
+            "/usr/share/texmf-dist/tex/generic/pgfplots/pgfplots.errorbars.code.tex"
           ],
-          "6143371709342ea83dcdb1744a229d18f4c1ee670e1e31b496046a708bfa3e66"
+          "70c56e4ccf3448f53cfbb90046ada2683dbf2eec1cf586562fe78bcfe146b3de"
         ],
         [
           "file",
           [
-            "/usr/share/texmf-dist/tex/latex/caption/subcaption.sty"
+            "/usr/share/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty"
           ],
-          "5b6b3644307e6db3b04f0f3e2bd0709b8a84add87094da9e5395285e0b705d7e"
+          "99e08946749446e0b9b7faa985f8202740a94476f9e99bab5286cca5ce4766e9"
         ],
         [
           "file",
           [
-            "/usr/share/texmf-dist/tex/latex/adjustbox/trimclip.sty"
+            "/usr/share/texmf-dist/tex/generic/pgf/math/pgfint.code.tex"
           ],
-          "bbc1ce1248e51a197049422ebcf51c471b41eabc7910afdfbf329e4522491647"
+          "95f8053efeeb2267d543d8d1afb10195d6114765eea7b90755b4e0c359324d64"
         ],
         [
           "file",
           [
-            "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code.tex"
+            "/usr/share/texmf-dist/tex/latex/adjustbox/adjustbox.sty"
           ],
-          "51038be668b2083ac5e8ae38a1da6f75091ee9471d71f33749d01a8bff1a9aa6"
+          "9e0966d9d505c56237694f90387b6da6b7e6b197367890c4e26ee348a96f84b5"
         ],
         [
           "file",
           [
-            "/usr/share/texmf-dist/tex/latex/amscls/amsthm.sty"
+            "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison.code.tex"
           ],
-          "8d5e2bdb117297385971927b14fe4804314133dc0027b3171249a08280894626"
+          "ea5ff35778088d94d8d2f1a20075ec57cc4ecd22844f9c288625a6db59ba7818"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty"
+          ],
+          "050f2ad3a3671a1f4f9bcf97784836301bc751507e7ada546632379406aea103"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/web2c/texmf.cnf"
+          ],
+          "ddd2722ee024d5f4c13123562e7a220c5a66ad0230fa32afc8b365b810a80251"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/fonts/tfm/adobe/courier/pcrr8r.tfm"
+          ],
+          "013a6ef55bb5ee9768300df0f4a4d67660fc82b03085b1af358e053da1e21ca7"
         ],
         [
           "file",
@@ -2092,31 +209,1914 @@
         [
           "file",
           [
-            "main.pdf"
+            "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct.code.tex"
           ],
-          "e805cbe2a54b34db951d6e79cb32d92d411b2d5239a90d6e4b933d8ba9e371e5"
+          "64b0b4193616b937a2b4520c678f8863ae06ab38385bb58db437b39a8f27719b"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.code.tex"
+          ],
+          "81862c3425e8aa2a82e605eb8fde07b1b7b47862b981922393d4f54ca9fa6250"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmbc7t.tfm"
+          ],
+          "7b937cad233ff7c8d6bee5988c0a51ba0212e852ba2617059620d2cf98f6e630"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/infwarerr/infwarerr.sty"
+          ],
+          "8c3e23b8bb7d940ff26cb0cf96e0151f540acf55020dc3c1aa8bcdb2eb66305c"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi7.pfb"
+          ],
+          "5b293a581ddb937b02559c3ce1a60184cc434295533204a2cd3864a6ad8a1f53"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/fonts/vf/adobe/times/ptmr7t.vf"
+          ],
+          "0df4bc46c777ddc91e944bdfd27e345fe906a914fd1288189ec26419fc65db50"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.code.tex"
+          ],
+          "da529b71510425e3a42b242f71ae849f74c09fd8197f7c18e3abb723b67ef958"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarydecorations.pathreplacing.code.tex"
+          ],
+          "acabde0c8a15d23b8e08dd666f1a8f013c9fc5feefbef4cc533065f198d7ee62"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex"
+          ],
+          "758e504e9c194cf9bbed098700b1d7969420e9a87552222d3000084a9d095571"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty"
+          ],
+          "3d2226e3d68b4255061baa496cc9cbc107816a7d364720c1bd8c83dccb047b64"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/comment/comment.sty"
+          ],
+          "27b76432648ff0c428cc0f435d9caa015880fb7d7fc02fbce45f284451a7e7ab"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmr7t.tfm"
+          ],
+          "1ca2496e79881aae2e9f7eeb36a51e4d51ef9c7700c57d8f008fc32a2ed0bfda"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/caption/caption3.sty"
+          ],
+          "73f00aabd0be454c9e552841856c573e096ef42d032fe9fd1801763b1b37bea5"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-pdf.def"
+          ],
+          "babfe19163bca9c6fa5b1abb6b6154cd0d1ca98888f08f1bf7d06a74de5fd330"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/adjustbox/trimclip.sty"
+          ],
+          "bbc1ce1248e51a197049422ebcf51c471b41eabc7910afdfbf329e4522491647"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/mdframed/mdframed.sty"
+          ],
+          "df0b50bc333789b0a5d67d8a5decbe97745926df500906d5216a540421c857d6"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/zref/zref-base.sty"
+          ],
+          "8558725c90ca848e8bbdc11b46509bc1e79bfa69ff374b206e73fd8e5de13ed1"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarypositioning.code.tex"
+          ],
+          "5a9dba924057a2fed5e4794673fe39bdb090d024e607776d63c9adb9e62d48f8"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/atbegshi/atbegshi.sty"
+          ],
+          "a73003b4bb2dc8a814533ddbd31600e6626827799c2a465d03ef42e7a33fa71b"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.tex"
+          ],
+          "743e89ac1e529af45751fa85fde4b3438284a63dfd53ff52c94c2f229b20beff"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/psnfss/ts1pcr.fd"
+          ],
+          "c5616c536e51dd8a0e9e826f713519cb85e3fc4c6bd4165183cffe970c10ab46"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/fonts/type1/urw/courier/ucrr8a.pfb"
+          ],
+          "8816758f882b18a97a2fcdd4e496b881cd7726b8612648cbfb1c9de2d9853029"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code.tex"
+          ],
+          "545c4616f93c5f5d25bc04090a0b7ef869bab84b3952fadfd539d71187c83fe0"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65.sty"
+          ],
+          "7df38d1bb03d0bf642b3f53c38d86641765d950f82d481ebd63c67838bc78ee7"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgfplots/libs/pgfplotslibrary.code.tex"
+          ],
+          "12dfa15deed098538d51fb665a4f4ff759d8ef63d9216b38c19e87fbb0b476dc"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code.tex"
+          ],
+          "f5454a5037c902bf21166d9592d5d15790f4b70c00a636d2b2fc47b76c8ccb21"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty"
+          ],
+          "8fea89995d37ba4c69137186faafc589c470edcc5026d8a31aadbe5cef47dcb4"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/graphics/mathcolor.ltx"
+          ],
+          "0804bb6e9e1eeeaeda861f29206d308194ea7cc846e38abaa344cdefa1d408cd"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/amsmath/amsopn.sty"
+          ],
+          "981dbcccfc3a2449768ae5b1cb7b8b1468bb1f7842429067cd6f6ef0ade42fc2"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.code.tex"
+          ],
+          "ea5e14f7fade556cee79636a6824710e97db928542fc1b23dfa618ff6448688e"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/listings/lstlang2.sty"
+          ],
+          "85aa24029cbac78aabf0c57fe4ec95c58703dac2fc845490157cf1f5a6634a25"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/amsmath/amstext.sty"
+          ],
+          "2bf2e4f0efe99c33bfd757e1dee1b4267742f8af3e449d6bdb4342c2917b1bce"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/tools/enumerate.sty"
+          ],
+          "408dfc3b98b3f52075ab59e86fd574bc0d4b4a1e0baa725a9605dccd1fec74d3"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgfplots/oldpgfcompatib/pgfplotsoldpgfsupp_pgfutil-common-lists.tex"
+          ],
+          "b353c3d994370f16a1e5867eb9b1d39646c4be7dc896aff5b022ec1fb3dbcadf"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/pgf-pie/tikzlibrarypie.code.tex"
+          ],
+          "b979dfbffb2eb87811e6b652ac19805eaf14473aeaaae077219e9ac3e9523749"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/caption/caption.sty"
+          ],
+          "94b3a07d83bfdc9171d3fcb5ea510e6a9ce01ff9bebac37a1dc066e55f6ad48f"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgfplots/util/pgfplotsutil.verb.code.tex"
+          ],
+          "878385031a1d3ea317938785f956d075fd419415bc00204b28f3f6792bb30d29"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/xkeyval/xkvutils.tex"
+          ],
+          "5e82c31b1b4492c89f0a36c8a1f65ca5dc1d3a7f2ced1b30a1a5be0da9bcc411"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/bitset/bitset.sty"
+          ],
+          "af5c7196c69dc9d28225189169b60c9b9039125bc1756c04d54886f0a3e1891e"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.code.tex"
+          ],
+          "ceafd7c1de02bde3d5a7570489ed6a150db51aabd658c1c78acf1ee5b5f89c6e"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgfplots/pgfplots.code.tex"
+          ],
+          "6c32e18704d71198bc2ecab0dad47fac47ec9b4cfbd82f106bd04de465361f62"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/algorithms/algorithmic.sty"
+          ],
+          "7fe47ed7f8222c56452bd73bf0682e72023ece06d59207653a02e080a341118d"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/needspace/needspace.sty"
+          ],
+          "5ae673ce2a80fb868c954373252294d9e6469feeb78b445182772fd043eb0914"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmb8r.tfm"
+          ],
+          "a48198d87f9b9f90d652b8f41d41dbb3978a44669225c89394a4620031ace6a2"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmbi7t.tfm"
+          ],
+          "f9649f1a4d564693fd52835b7bd9def8a0d0a8ad8abd1ed3c7f8246949e15e26"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pdfescape/pdfescape.sty"
+          ],
+          "b3f0e56366c11b85dae521f9a48a6fd415dec1ce8c83152fde813a9f64445b49"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgfplots/pgfplots.markers.code.tex"
+          ],
+          "59104418d1184b73a01e15b254ffb8c5d4320cf510673f095933d88e901617d6"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/amsfonts/amssymb.sty"
+          ],
+          "70838b061b56569dd3ed9f339b1bdd1c78ba185de49f27ceae331c97f48b5986"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/kvsetkeys/kvsetkeys.sty"
+          ],
+          "e3fcf7f3372a27bb478eb9488eca1e25ed382480d02a6898f190bd955388e055"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex"
+          ],
+          "9758185623cce6b2a8d4a504d10dfd0a01ef6d3480794fa4c466384f4c08540c"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam5.tfm"
+          ],
+          "c800d1dfd533040219fcc06d52e0e00c2a20fb9b0039fe9f58ccec53fd003a9f"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.tex"
+          ],
+          "541e41626d66e0e8bc8b5249805c9efbb134dfe0dc85c63102eea3c2d21da6f0"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex"
+          ],
+          "7e25bd0bcb3399a5b1ee01c882d0bd51b455fcd1798edf4ecbde4bfc5c2198e1"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/mathtools/mathtools.sty"
+          ],
+          "de594addf85d23a28649db7d9973a11afe591796a6e64c81bb7eb7f8638a0b02"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/kvoptions/kvoptions.sty"
+          ],
+          "70595629ec990ba8c0b6e6a54afcff2603464e6fce380a54a98549a78d2fc74a"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing.code.tex"
+          ],
+          "ebcf9d5dec1714b575ffef09be6cdf03eaf1501f511204d7efae5d73b07b2221"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgfplots/oldpgfcompatib/pgfplotsoldpgfsupp_loader.code.tex"
+          ],
+          "a36a28ecd51df3dd0f63446f24a84290ec322095280578063ae9b94804014c37"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.tex"
+          ],
+          "7533dd80c95a5124726b0a617a5f458226d4a7490bcd209e3fd7e717e24dc127"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgf/modules/pgfmoduledecorations.code.tex"
+          ],
+          "4bdde0208ec6188bb2b5aca3d37c89636070df1e06e6bbf4290f51c0f7c1aa2b"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/xkeyval/xkeyval.tex"
+          ],
+          "29c2b60c6973c374a655e44791799823294d53fb04e16db31a681f71a125b3da"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/context/base/mkii/supp-pdf.mkii"
+          ],
+          "5dd3675b88c7b61d3703e6bf35ed75623acc6b163dff7b1477b485cee8ad71cb"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb"
+          ],
+          "62ee8cef552017551cd3e026a483e700730103eceaad959c87b7730017f59cff"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/fonts/tfm/public/cm/cmr8.tfm"
+          ],
+          "4c5ae243ac0aa254e7ec7f0602cc2a4351e5011ff0cb6dc150a5f6de19585de6"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/atveryend/atveryend.sty"
+          ],
+          "a62143db8b3bf1e52082c32e3feb7450bc90c000c6c48a38fa51cf96a6075eae"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/graphics/trig.sty"
+          ],
+          "c2a4f1d01abaf7ad739f1af03238ebb6ab35a7bbfbd5d713acceddda4fb043d5"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgfplots/util/pgfplotsutil.code.tex"
+          ],
+          "abd9f7c3a307d3e9d2d53a6a8f8e1358669966bed05820b94841da7f49aa3876"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgf/pgf.revision.tex"
+          ],
+          "ac54ea0a31097f28b4e37b09fa17985728d589c10640cf220d7e959f63b9e731"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code.tex"
+          ],
+          "51038be668b2083ac5e8ae38a1da6f75091ee9471d71f33749d01a8bff1a9aa6"
+        ],
+        [
+          "file",
+          [
+            "/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map"
+          ],
+          "f079d814ec1276acba15801beb39911eb18d0b6d556ae7cf884be6fd3d83f2cf"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/fonts/vf/adobe/times/ptmbc7t.vf"
+          ],
+          "37a743df9f8e5a736e4d51b17574c1d0b0db36af1ad798ff4a5e0fead9fd653e"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/fonts/type1/urw/times/utmr8a.pfb"
+          ],
+          "2ef9d47303d25f3c9553a43255dae8c39160e130ad5ed34444e39dee03d796a1"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/hyperref/nameref.sty"
+          ],
+          "1bd958ef4ce46f3d15f7c77f6c2d084289e0e6d6017d5a3a341d83f0998b99a7"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/trimspaces/trimspaces.sty"
+          ],
+          "8e9907a5787d119339d60775c68d4a42e84f0b3993acf567600440dd161c52f8"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/collectbox/collectbox.sty"
+          ],
+          "e2f8b5c38a97b6149ee589abbce92ef89c26246185a05ca3f314ec104748e1a8"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/mdframed/md-frame-0.mdf"
+          ],
+          "eb5b30fa6b459ce7c9f994d12379a8dd0c2d7dd5d46d61e2f7066bf54ec1c47b"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/graphics-cfg/color.cfg"
+          ],
+          "a3529ccdadc8248b4c5d7c34ceea53bdc1509b54f18a192ad51b924bd297d8df"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryshapes.geometric.code.tex"
+          ],
+          "5879002284871fadd4cc0eb0e0cc7b056e0b87cd61911ff4ee838adfe2d64b4b"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgf/libraries/pgflibraryarrows.code.tex"
+          ],
+          "7fca2c36196a01d5c7122a05116afd42920029a57a632ab205bd6b82f2327197"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmri7t.tfm"
+          ],
+          "8c5b2e8eb57987c20fac30f8f647133e2dcfea899a08f11971a51a8740267fd4"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm"
+          ],
+          "d9f5f519ec718e9dbccb8527c1f5d3b4a008dfb946377f97f71611b385d3d010"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/xcolor/xcolor.sty"
+          ],
+          "6d66da8f16088689c2f4995b4e920703cc94faade57911ed7aabd32b04367824"
+        ],
+        [
+          "file",
+          [
+            "sections/abstract.tex"
+          ],
+          "56ed68e932967546fef0a9c476b8008e7e0b3619c678368913572f82d8f168b4"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmb7t.tfm"
+          ],
+          "a615b1aec84d04818ce5a26bcb854f0b5620812374d113e7263cc62b727eb4de"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/fonts/enc/dvips/base/8r.enc"
+          ],
+          "66dad15c944f0d457a095fd6e9dba30059a4882b1ffb1f4bf62850ce52c8f136"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/fonts/vf/adobe/times/ptmbi7t.vf"
+          ],
+          "6d6b87797a48bb5ff09b505d26ac4eff2e3d54ead648fae8bc0d6e506c9aa8d2"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgfplots/numtable/pgfplotstableshared.code.tex"
+          ],
+          "ae3fd038684fb1192d7a9059d5c8b261cccbf647f0f3d9ac084be882b5ec9895"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code.tex"
+          ],
+          "f83601dd74e8c166162cb3daf926744c44ccf15a0122e17613658f82fa64c6a9"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.tex"
+          ],
+          "cd9bb9fbaac3f5bca5bedd77ca07a8c4457467869e2303fdf2b446a30dca9f9f"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam7.tfm"
+          ],
+          "719d100c110fa1cfae9ad0b63e6c21753f4980f925fa516c1a04961e206f69d5"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex"
+          ],
+          "ccd576f7cebab3a0c5d5cdef41fc44e638d7bb4a20e0a0465160eba1757795e5"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/adjustbox/adjcalc.sty"
+          ],
+          "75d6edb0bd96e79629697ff1827a3e68607942861813c15fd09d2e5225c71b51"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.code.tex"
+          ],
+          "c10a26a167c06b16e2d80ee4b119f77818ba2357ece3e5bc3cf7470c5dfb09f9"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgf/utilities/pgfkeyslibraryfiltered.code.tex"
+          ],
+          "b3d57e19c1893ef33eb240cb7da4286418481b44f7b0ab1677fbc190d6a85201"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/url/url.sty"
+          ],
+          "2373f56849ac606473e77053e5c1d14c92aba312b3f684e02a130eaf36f2de47"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/fonts/type1/urw/times/utmb8a.pfb"
+          ],
+          "7f3f19f61452892a29d06af2836331ca78aed29390914d294f7a440d35927142"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmbi8r.tfm"
+          ],
+          "466613f08ae6423521bd9aa1d0be9dc69f610e223f171f6f07b91844626d4bd1"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/varwidth/varwidth.sty"
+          ],
+          "28625bec96f2e01f6a8c7ec2c77004c71d148e0a9567b29b5c826f8bd248db8b"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/iftex/iftex.sty"
+          ],
+          "2de50639c1f27201f2b4d04e9083e0a51fc5a73b8908eea2e80d6e3205636d4a"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/l3packages/xparse/xparse.sty"
+          ],
+          "f5d74008cd05735dfcc8b972eae85a6bf6a9fe286da4a86fece0a9fad37a8297"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/pgf-pie/pgf-pie.sty"
+          ],
+          "853145e186c504759174f1bf8fe3543df5020577ac31c2d170ffffe68c080b8c"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/base/atveryend-ltx.sty"
+          ],
+          "95a2509f9ade1283bc842ed5c90084853892b67ab7acccfbf85b8acd38e1d7e3"
+        ],
+        [
+          "file",
+          [
+            "sections/examples.tex"
+          ],
+          "f1425182e81ef415d84a94c86f872f604eb48bcbe67ed6338014bac31e0e139c"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code.tex"
+          ],
+          "165569c2ffb6a80272d2853c3d3c4373c386391e8cbb81ed9683ae2a810dd28c"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr5.pfb"
+          ],
+          "84d38aac226b5274baca7a292e2039f5284a35d8a2ae31074a475fad87da310b"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgf/libraries/decorations/pgflibrarydecorations.pathreplacing.code.tex"
+          ],
+          "91ac89b327e3085fdb10a1213657b1c9e6540e1654e3b173193f60c154f381f7"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothandlers.code.tex"
+          ],
+          "b3db772dd8eb595d8a5c8ef8d232862f9cef97d4ac9dedee283ad7b6e83361dd"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/mathtools/mhsetup.sty"
+          ],
+          "c3ae1e23f43029fbfc271e3b1440a692e1cd924d1810430b99e4f2aa5b9ccf09"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/tools/array.sty"
+          ],
+          "dc2b9a0057f8455ac0f74960618e7af3de9bf08da0e7078ef8dd0570a2924427"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr7.pfb"
+          ],
+          "b37e8671820b0753c6e233eaa3230c6ab9cff04e6c4baee312d60ae261e5aba1"
+        ],
+        [
+          "file",
+          [
+            "assets/diagram-anon.png"
+          ],
+          "edcd08d90964e97d7ef9116c109606dbecfb9fffd9fa8b787c756e45ba7b10af"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/forloop/forloop.sty"
+          ],
+          "7643af86d17f2ae51b37a18ed3cfd90251bb5ee2058a9b24485f11ac3925b333"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/fonts/tfm/adobe/courier/pcrr8c.tfm"
+          ],
+          "03c370d1baa81f70c0ff70f6e574953151e8211bfd76e8ad9965e0bfd3fdd263"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty"
+          ],
+          "2df7e0bd148c99d8097352b8ac9948dccf91d61ba360dcf43f82206933b6045b"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18.sty"
+          ],
+          "b5a95ba245bb51ce01e5ead16e818a0024f16cd208df3386b30ba0798a911344"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty"
+          ],
+          "6e39ff4fdf9f126aff28880a7dd59fccc0e6735409d92ca455cdd2a4f2b4db53"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/cite/cite.sty"
+          ],
+          "56979b7c69ae65bdb52de5bcd540625cae6dd70119e767db438a4826991910ea"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code.tex"
+          ],
+          "f91d37fcda30e70ae85fbd9030682bc64df4424fc1260704def57dc6c444a63a"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def"
+          ],
+          "6afcd415b6831a153969f66e8b06e9045fe5a5a40239ef51d76de757105396a2"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/tools/xspace.sty"
+          ],
+          "bc3bfd65d4b52e78822cb9f3561c6663c64465f64dc2475e56542dbc213a3e66"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/bigfoot/suffix.sty"
+          ],
+          "64e2a5058863536d987c8059216e700786042bc7ee868b55262d86a9da777af6"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm7.tfm"
+          ],
+          "361b5530a4b410c6274e9330c11e993843c62e394323aeaa6e0aee61e8042444"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgfplots/util/pgfplotsbinary.data.code.tex"
+          ],
+          "d48a5679ca97f921aa11c6ac0aea9773f8791ab8cf71399ed731f44236d04eed"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/carlisle/scalefnt.sty"
+          ],
+          "fbf28cb0d4589c8e2db9f27c030e9298c09e69ee5d39ed570b45b87c85c0b48f"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def"
+          ],
+          "8c808d286cf896399244d121dd0e847a9205c73facc003fe64ec156ec85fd3e5"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/hycolor/hycolor.sty"
+          ],
+          "8acaa03eda19a8158780356701e905e354e1dc47dc736e6e26fc860c12a15e14"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarycalc.code.tex"
+          ],
+          "8207f9fe44c55f382b943c0d9ed3e61571825585318111ad1e357746712e6079"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty"
+          ],
+          "3a52a05062a74a763ee604b4a3d20f0be4a4b99fe8182373e30ccea0abafc96e"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex8.tfm"
+          ],
+          "3f56ab22f7fc6a015813976c6c6cc2fd55736bbaec4958a4562e10719fa18062"
+        ],
+        [
+          "file",
+          [
+            "sections/design.tex"
+          ],
+          "35f2e5e2214a275e671df920b04f01cc15b5632b329fdf8782fb0d0a65758729"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex"
+          ],
+          "b111efaa8b7c0905870b1ce9bcf400cd59c8db3cfa8d7ae91e7d63c1bac747cc"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-luatex.def"
+          ],
+          "886838765f41bdbb8a97700bdf958330abbb0ab8e7d713a9cb60fdaca78d09b4"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/fonts/map/fontname/texfonts.map"
+          ],
+          "d9693993efdc7d0b9ab3df777589995d43e24eeae95f12b6a230a19caadeaa42"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/float/float.sty"
+          ],
+          "be4a09ab7ded44b4ce97ba20a3a3efbb061d186327d5db61f8de6a3cab5019aa"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex"
+          ],
+          "14bf1941381e7eb35dce4850d0aa819360f1db9ba9752c81cff19920f2c4c7b7"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/base/ifthen.sty"
+          ],
+          "b8cbd3c3ed9f0f58e1103c91e29ab8de344a19f4cc7d27fde8d14d962dcf0495"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorerdf.code.tex"
+          ],
+          "0bc32a855862a83b7ece27d2ebf6bfeace759d6b64fb776394eee13d62401350"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgfplots/sys/pgflibrarypgfplots.surfshading.pgfsys-pdftex.def"
+          ],
+          "c52c6c54e7ffd5e43094a13b33c6e93cbfa1f3fd6455cf2512102d19d3b7c49e"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/fonts/vf/adobe/courier/pcrr8c.vf"
+          ],
+          "3cfbd9498aea0ebb257fe0abb6c6b763680101745366fd1fb5b2ef9d8fa7b729"
+        ],
+        [
+          "file",
+          [
+            "/var/lib/texmf/web2c/pdftex/pdflatex.fmt"
+          ],
+          "94ac62800308131e37213df5d5edcbddc246082321af52a58bc5f8881a23c9dd"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.tex"
+          ],
+          "1668608078204a627d6e67a853f8a904e6149b901607ae177741c650b143a94e"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/amsmath/amsmath.sty"
+          ],
+          "da22219a49c094141141bb29034c438d1ccba8a9afe6cdd5d15b96c15bf56901"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex"
+          ],
+          "aa771cadef59f480af688c690c5de28e23636ef4890842b9758b7d8943ede4ac"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex"
+          ],
+          "818b8e3cd0606bdb8ac7fbaccc5f80033672fa817537536f76bc67bc3942928c"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/xkeyval/xkeyval.sty"
+          ],
+          "6904c396f2a6992921823387576b7f75074ac3b8e047a8c80687a869aba1e3ae"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty"
+          ],
+          "9d11c81501953d689787ff14c073d2f1eda5874068db9e882b8dbbf9a9d863b0"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/etoolbox/etoolbox.sty"
+          ],
+          "b10381f0017ae75bd03dc9175b35ad56b93fdd24f2a47dd4aa9c6987ef35ccdb"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgfplots/libs/pgflibrarypgfplots.surfshading.code.tex"
+          ],
+          "e90c556be8f468865ca2b656913ba8afc2220f2c163f02e0874731a6d34cdd64"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty"
+          ],
+          "cc7121c5706c5c52807aea879ca0a9083a8dc81b04d96303d0d398804d9d3d52"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/oberdiek/centernot.sty"
+          ],
+          "c95e2924dd95a051923b6a4ea0943fe8aba5ac887f3e6e1cde980ab0288ecfc7"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/fonts/tfm/public/cm/cmsy8.tfm"
+          ],
+          "84c37f07ca360c41ad0a0fba7387d279d72457c69bdae03653208c683d8de6bc"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex"
+          ],
+          "5787859fab7c72cc3dfd7134e78bbb0e770a43e7da39f93732c24232249fdde8"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg"
+          ],
+          "10db2171b6e267720299c10b9e84f92c5cf069941dbfe3760e198304e49d5324"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/cryptocode/cryptocode.sty"
+          ],
+          "7d2f0d994fbca993d06586c90b50ffb6f354e19f6bee5a72f5a2c0440fc40689"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgfplots/pgfplotsstackedplots.code.tex"
+          ],
+          "0e9c68bfc43f4d9de2ac8de2fcd116ac4f1f694c6d84597239246eb1dbb09326"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty"
+          ],
+          "9653b8fae6bba95bec40ffbedd7d6c2b8f3be4a85b8b39580ab3ee6c3590041a"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/listings/listings.sty"
+          ],
+          "30538b8ba51ea04fc7b48ee99f7a37b657b1e225cba41d3dbffe2bfa2af5eb57"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgf/libraries/decorations/pgflibrarydecorations.pathmorphing.code.tex"
+          ],
+          "118694789bd8f5f732250b881ce15d36421f7f84e15a56adba1ed3661c5a0450"
+        ],
+        [
+          "file",
+          [
+            "sections/introduction.tex"
+          ],
+          "7ad36200bcac8867a6348247356496e5166c1813232e92078516e5416eaed06e"
+        ],
+        [
+          "file",
+          [
+            "main.tex"
+          ],
+          "7e4dc3e9e7b73a184f6e42838181c551c4b041c3e9387fde93bb28607ee9f863"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/amsfonts/amsfonts.sty"
+          ],
+          "dab8b0e621267acfd89736cf97bdcc02647c545c0719c4997be8a7d1bf98f9c3"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code.tex"
+          ],
+          "9b980e1373f9451da75cc6030a5b4c1671b88a1b14b45ed172cfb7cf2607fe1f"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/pbox/pbox.sty"
+          ],
+          "ac474048c041a3adf962c03d5f34018e70b24fdcd2a810acf48c5f2ab5895128"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgfplots/util/pgfplotscolor.code.tex"
+          ],
+          "521c3db6439ff99c2dbcba5384f8006824ab4a4af28f86785ec9930968272536"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex"
+          ],
+          "8986f92b517f94415ae5642fc03eb9a8998fdaab446ab2e10f97985d5a9589da"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty"
+          ],
+          "26ab10fd43fd5a90f98bcbed3a99978808da8878eb73835db4e0346371aee41e"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgfplots/liststructure/pgfplotsarray.code.tex"
+          ],
+          "38442c559fd7e7be2a812d4d809940795fc9535e6d571dbf52c5a0493b26f998"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty"
+          ],
+          "7e22b1ca949259c61d3721bca0a56bcccf7e47cfc776027c5863941635c07aa1"
+        ],
+        [
+          "file",
+          [
+            "main.aux"
+          ],
+          "a3188976ac78fd4198eb77c9ff5bd67fc2056ad775ae66f95406e156ddb0d241"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmri8r.tfm"
+          ],
+          "5a8d22bbac97332450c06d766ea8f4cac97ebe0c941da9d473a5d422b8bb0667"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformations.code.tex"
+          ],
+          "bdea875774b4ad7a1e12debc67c46286245031f5c2e287c9e192f3ca4b6193b6"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/fonts/tfm/public/cm/cmmi8.tfm"
+          ],
+          "65af8c1e162a952cab8e93c834fcf43ce09b508e6c16e512ebb673cd850b0d41"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/fonts/vf/adobe/courier/pcrr7t.vf"
+          ],
+          "a9b778bb98f910fe898bbee9001238db4af4d97187a21361350bd5e39a55bbe1"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/fonts/tfm/adobe/courier/pcrr7t.tfm"
+          ],
+          "1388f235f7f54d28db4af569ee32821869aefbef29ee622c7e30b2e41dbda87c"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/graphics-def/pdftex.def"
+          ],
+          "6b0d3c7739f5344c3356bb0cef98bc17d8710e1e060914f42390d6503141c249"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/algorithms/algorithm.sty"
+          ],
+          "d63fdf24879f0efd535bc6d06bc2a008b79ae77f6d6d2bc96156ff1f35e96bd7"
+        ],
+        [
+          "file",
+          [
+            "IEEEtran.cls"
+          ],
+          "c972aca108fda004c3514d63658e02816da2e54d9a1451e870b9bd970e003f55"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/pgf/utilities/pgffor.sty"
+          ],
+          "5ae03317ea221a6f68d807775bd06a10625aa9fb1f590dbe2114688f735c447d"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/listings/lstmisc.sty"
+          ],
+          "75d13c840d91c5d871782212edfe26358e26b7408a35f4b486bbaa2c7a1fe6ab"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb"
+          ],
+          "e3661061e8aa474d6de5ffa916edceb0e3d8b998862018c147f0357fce00bcd7"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/environ/environ.sty"
+          ],
+          "2efd7043a5a2ec8d495bd7575408b118ba737b9303259cffa74572d28b0da608"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/psnfss/ot1pcr.fd"
+          ],
+          "58fe4bfa8fe5ed99bc3e28230d07e7ce32e89b338dc247d2934f0bb32bf516b8"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/amsfonts/umsb.fd"
+          ],
+          "e20f21f6ed631cbe3a627d5da5fef82367732a7d51207f8df5ee7e9c77ee342e"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgfplots/liststructure/pgfplotsliststructureext.code.tex"
+          ],
+          "a4cd7e5531850e0e874c1096838ec55d62bf413dd7488f5316f730ce833f42db"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb"
+          ],
+          "fdcede8794018df5f2b58f0905fb20a2b418ed8f67b73ee12445855dfbe5b1be"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/graphics-cfg/graphics.cfg"
+          ],
+          "feb91e48789a21e4acced98e952c77a2e2cf4a77e01bf147b59fa56a1b3f2008"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/tools/calc.sty"
+          ],
+          "9c9da7f39469dd6ab1cb765cd5ef87dd72792c8eb9426e4619faecd00e9f2345"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonometric.code.tex"
+          ],
+          "1c8834abe00807467a52d31ef96032d5084b2560eea45995018084d13a3cde3c"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgfplots/pgfplotsmeshplothandler.code.tex"
+          ],
+          "285da39b32bee58c3cad318670a986b3097efd4442d2452d48abbf3727a47157"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/listings/lstlang3.sty"
+          ],
+          "637dbaa3bc149ada8edc2b471164a63e70457e105e325b4c00cd2b499ca70067"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgfplots/sys/pgfplotssysgeneric.code.tex"
+          ],
+          "7124db702274395928a825f687081477f0de5ee9007b9a4a9208f28f209f67fe"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgfplots/pgfplotsplothandlers.code.tex"
+          ],
+          "76e1322f759550f9171cb0fd9ab601ed1c4ebfd21299c2c24c8294a42022fa7d"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex"
+          ],
+          "e7c6e44b8fb9fe8fab049144fbe3e430dbc2b441148d72999e309cd5fc3a83c5"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integerarithmetics.code.tex"
+          ],
+          "6e9383c1e63a6dbcfd2d95369905df566bdb6e7374c06e28c15a25eb782dc46b"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgf/libraries/pgflibraryfpu.code.tex"
+          ],
+          "8c1897e7e28685c9c01964981ec450119bd223ccf93e9367e9f959048dc59e8d"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgfplots/libs/tikzlibrarypgfplots.contourlua.code.tex"
+          ],
+          "92d3506845332bb9cd1a9ec001690eb0ba1e11c2b63e63244941873b5e8cb85e"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/amsfonts/umsa.fd"
+          ],
+          "48355e960333be747dd7b4500e76fde7c3ef0b1fa9c74ec0f1438af0d3a661a4"
+        ],
+        [
+          "file",
+          [
+            "sections/case_studies.tex"
+          ],
+          "25b1e6966291099d1cab009d830550254b3a6867f1a4fc349b16999eda1ebbf8"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/amsmath/amsgen.sty"
+          ],
+          "1232e78c8af6c4bc16c024fe33b9c4c3322679ad6887be22bc013ddb8d254ed9"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgfplots/pgfplots.revision.tex"
+          ],
+          "d9205e72253d9fed3721b3c8451f4bef5aaa947ae8460144bea18af2d7fbba27"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/fonts/type1/urw/times/utmri8a.pfb"
+          ],
+          "f9a0c528b42d2ded2884e31cf1d225b81739ca9b17a0e7cb362fad404ce0aedf"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex"
+          ],
+          "6d28f51c1b4cb933969339982286f86bb1c9af70ed34535482321de4cd491664"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex"
+          ],
+          "7fa0ff434e9cdeb14c40f326d53e6ea0273ef2046daf28987992e2488d186c85"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/hyperref/hyperref.sty"
+          ],
+          "3e2bd51be23486a776165ebda8bdef7d442c0b779db14652dcc1e40429b1c1ad"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex"
+          ],
+          "ec94fcfeeda3204c4e43d2008be50b6005da0e642deafaead137284d66e82926"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgfplots/pgfplotsticks.code.tex"
+          ],
+          "7005297bdcb9afb98162d9d2f4e0555285bb025c8359413f9785f2a57ffd228a"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarytopaths.code.tex"
+          ],
+          "992706da31e055cdbecf5b1bf1b9c267383e3b4d4385773448f868e1cabf17f2"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy7.pfb"
+          ],
+          "583b65bd1857bffc2ab184fcb4aad4e70e12eb05c9ca9f1c58c9a00a86c8bccf"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/pgfplots/pgfplots.sty"
+          ],
+          "cb353b58769449f756c5c16f9d355c90c0714d1da1228bf912c3a5b208b4890b"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg"
+          ],
+          "eb308ac3d665db8dd3c03b18328c551609346c659c2ce0e5029223fbcc339cb3"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/fonts/vf/adobe/times/ptmrc7t.vf"
+          ],
+          "0011bdb7dbf11831fa73c87e70751c267754f1ebbe50a9cedf409ea0c22db41a"
+        ],
+        [
+          "file",
+          [
+            "main.bbl"
+          ],
+          "290c4ba5fcbb4e68b6bccf01ffad26843f1a79549df3271beb10d54aa15fe0f5"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgfplots/pgfplotscore.code.tex"
+          ],
+          "4c71ea64f5b3582f1d6346f9f9a782da20ed7a4c76e00ee1f73ee23186a1db9b"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgfplots/pgfplotsmeshplotimage.code.tex"
+          ],
+          "d4ea2f3c3bf545104a7c40191693d049ec29c391d46ce55807f6284a2aaaf5e1"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/fonts/tfm/public/cm/cmr6.tfm"
+          ],
+          "106afa9172f0c00e58b9f5cbc72b302a18aaeeaddf50caca145af9cc0b81afd2"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/filecontents/filecontents.sty"
+          ],
+          "47c9606c8901d2d5af86b551be31395ce94453729cab40a6f87a10b72de42e45"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/psnfss/ot1ptm.fd"
+          ],
+          "9c5beb0652c0f26a78269825fea061968682671d11e2a16513d1a602bf248400"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgfplots/pgfplots.paths.code.tex"
+          ],
+          "d11c8b83414c052bb39c678e49d81c5f0235de4af1bdf5dd75270e4de82f94a5"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/caption/subcaption.sty"
+          ],
+          "5b6b3644307e6db3b04f0f3e2bd0709b8a84add87094da9e5395285e0b705d7e"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgfplots/liststructure/pgfplotsmatrix.code.tex"
+          ],
+          "a22375071be85968f3b7489bd64c01f5317ca1ddadc0b7ab1f8257181d55a35b"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/adjustbox/tc-pdftex.def"
+          ],
+          "15fb04c9b9d1b3fcfa65c1ac1dea77f68650b294c8b4735eca0bc22ad859a111"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/fonts/tfm/public/cm/cmmi6.tfm"
+          ],
+          "ab6ecb4aaba9ca1b4259b1d1f64309a785bbaeb09183fd79a066b7764a448a28"
+        ],
+        [
+          "file",
+          [
+            "sections/conclusion.tex"
+          ],
+          "4fc6bbde75727e25ba79d08653e620c87e6bf053c097c7c0b79d0bc58a39af92"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/listings/listings.cfg"
+          ],
+          "d0dd49d4d3eb37e5fcdc4de4e9add7ea5f150be907ac5c4705b382775e55d62b"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/amsmath/amsbsy.sty"
+          ],
+          "f69355f4b0a8b650296fe2fd9471783a6940e6525efd5d7d306b5477daef494d"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes.geometric.code.tex"
+          ],
+          "9ae89f23a7842df4b172627b86e7409597074c6b8f0958040d7669bb83a74a48"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/listings/lstlang1.sty"
+          ],
+          "7ec0d3442c273319ee517745cece539182acf7279ab9596d3e56eb32689e7c53"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/pgf/math/pgfmath.sty"
+          ],
+          "4abed7d8c88642201dd1a932a435ae05a1f2659f1f7e95c72d6b5347c83d232a"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/zref/zref-abspage.sty"
+          ],
+          "c83b1dd1a04d2e81ea4b6e05e66b37cd672610931d0972967535404e18ae9280"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex"
+          ],
+          "212f64f8641fb944a006a3c0825e78d30b0a2c5e3b4c4d62ff59ef61214caeed"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/graphics/graphics.sty"
+          ],
+          "36e2e612e708d04785971d6bcfed324d0a0f9ce337ea73680e69dd2603d0327a"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/l3kernel/expl3.sty"
+          ],
+          "031f0ee8e4751aff29af9cfda2ced8a8e3f52eb158e682c510856e3ed36d9361"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/fonts/vf/adobe/times/ptmri7t.vf"
+          ],
+          "162e1f6e89ce4ceb9c99f532ebdd6da6237088663fad290867d907ab6145a327"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/xargs/xargs.sty"
+          ],
+          "02a5571b6d32aa3446bd005a4e6fa22ddab78fd07e61a7c286e9d13cb01ec60d"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/listings/lstpatch.sty"
+          ],
+          "2472ea616722ae9736cfcb8f72c60ebe6de7b97921be1c43414d6ec735226158"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty"
+          ],
+          "b90072b20d0590f23fd0ad273d059e3b7737319b3fb61e3bea6102fd77f24b3d"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/fonts/type1/urw/times/utmbi8a.pfb"
+          ],
+          "21d029fda4757908be702f42811199eac11ce5886c0acfddd574df4545b1e7a9"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex"
+          ],
+          "6ea4caeea5bcb6cd60b80ef4607e8a79824ec0cdcebb47424c1bdbe0c2ea6671"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/ifoddpage/ifoddpage.sty"
+          ],
+          "a02ef0946e6764afafa57d21da2328a84946c31697b0f34bcd2499080349b597"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/graphics/color.sty"
+          ],
+          "db5153a66a97071b91dc2a2ed59f9b8c87f90082e08573c8c94dba2a46b002bf"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarydecorations.pathmorphing.code.tex"
+          ],
+          "02cfff83b06cc576ae02b8d5618fc9d8bcc02515a5cdb8dd419dd350a42c920d"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/graphics/keyval.sty"
+          ],
+          "8434ad08617159240fd19b4fcae8bf79a6137af413f3798c8a750e9839f8902e"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex"
+          ],
+          "6143371709342ea83dcdb1744a229d18f4c1ee670e1e31b496046a708bfa3e66"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryarrows.code.tex"
+          ],
+          "ebfe3e9cc88116a5229c3d66e2ff8c3bbcba34f7c9abc93269754e193ba6f62a"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarydecorations.code.tex"
+          ],
+          "f4884f0c48ab319d25f2fb0889b8881f15ad7999842054718b15e32de8325773"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex"
+          ],
+          "cda208d98bdc556a06f5915571c6ce4d98c18aa639c4782a56c6d32a6ba68055"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/hyperref/puenc.def"
+          ],
+          "70942bf5c0f0725234b8677e18170952b39b5959d6b1d5f9ccfb1ec88a049bf5"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmrc7t.tfm"
+          ],
+          "9d0c9a870b82d754695e37b6fb24dc07d51a685fb0dad1d30fa69dfb209ac224"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/base/atbegshi-ltx.sty"
+          ],
+          "6720c4cf09cf91e8055b9ad4b54275cbd690be65b1f36805fa457c059d2e29a2"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm"
+          ],
+          "373172fe340e4aede5129b89d65f576bfb1fe6932bd55c38f60bcaa84f3d1188"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/hyperref/hpdftex.def"
+          ],
+          "1189381de3bd489df7cd3547548a4888d0171c0ba1cb90cda424afae3b955b89"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/fonts/tfm/public/cm/cmsy6.tfm"
+          ],
+          "137eb9f38f661c66309614066a7b5d63d8969d33aba0c9efee9f844a4ce65b50"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmr8r.tfm"
+          ],
+          "280bb0113e2586156cd9414aab226588bb0a4d0fdf71fe6c6475af70d9b61eef"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryplotmarks.code.tex"
+          ],
+          "0fd495f3a090300a9740c637772e0b5b779f0fbdb94cbfe987815c0def856614"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/hyperref/pd1enc.def"
+          ],
+          "860fb14ebfbd12904aca6dff9e05fad399529d7fe8c00d9b130f02bbc892925d"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgf/libraries/pgflibraryplotmarks.code.tex"
+          ],
+          "c65e39ffd0c7fac8fabf7a51a47acd9e11bac5b70dce14347b1c78887c81151f"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgfplots/pgfplotscoordprocessing.code.tex"
+          ],
+          "765209b4b8739df96bd13c01b5573c043a4b2a3490c7c741d5fa9c7e0743973d"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty"
+          ],
+          "c42f0c2628dc5fbd95b535cf8cd3cc964347653c099d38c0d416f896d84e8240"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/intcalc/intcalc.sty"
+          ],
+          "1343ba1b10b245bfd199c22947249af1d756808690c7811c90f07fe0a3772080"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi5.pfb"
+          ],
+          "35048e58e53f4aa53025069c1d0de33a16d8d4c111bfa329669e6456ec0a967b"
+        ],
+        [
+          "file",
+          [
+            "main.out"
+          ],
+          "cfb5cbfb52c03e4c289c2a70fb86b6e91ab55e77d2069914d5334c07f6ed102a"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/base/textcomp.sty"
+          ],
+          "f50ebba76b974a541b8fc2541643911efaead656aae39c957c58d5b23b51a5eb"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/multirow/multirow.sty"
+          ],
+          "5c33cb1717024ebe00adb88514357ab394ae5f9433418fd0442ba8c64462db14"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/refcount/refcount.sty"
+          ],
+          "1bd5d42025520bef74f8808af99cf3f3be7d2e3774b9931bf85c11ba81bb6cab"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgfplots/pgfplots.scaling.code.tex"
+          ],
+          "3e8298cf4d0f913a2ca6c2bba59d9894a42f8e9572671e4dd2f83f6bceb95b80"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/generic/pgfplots/liststructure/pgfplotsdeque.code.tex"
+          ],
+          "86843251927c29a021eac1635ee8650cfc06265281b50441d8cb6f67bb8504ee"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmex10.pfb"
+          ],
+          "791b31aa1db8608d0144b3a40fc0fe53383a60f6b00d0e8fd9f06ac4a11df8cb"
+        ],
+        [
+          "file",
+          [
+            "sections/related_work.tex"
+          ],
+          "e53ca75999b27df6554d5116a95b945f2c3eaa54d035cf3dc52be22b35af0a3b"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm5.tfm"
+          ],
+          "9e0909a297a3097e50960158d324006ddd5302db665400fa1fdf966df14e1a17"
+        ],
+        [
+          "file",
+          [
+            "/usr/share/texmf-dist/tex/latex/graphics/graphicx.sty"
+          ],
+          "e9fe8e56401707f18a3d18716dadfd1dab999d02118c82af05691599cedec445"
         ],
         [
           "file",
           [
             "./main.fls"
           ],
-          "3caaf8d9cfcfe7f38ea2fb7eed59c533b0dc1557bb100584cfc998da5cbcea88"
+          "26bcab5c92b16564e38f1e6c00868d327051f0749c8838514b93d2cc770a0578"
         ],
         [
           "file",
           [
             "main.log"
           ],
-          "02ac516cad751e2ef93873d4645df07142a7468cdbf80779215addf23231c9bd"
+          "60ef79fdfceece558ffd40c8b7697be733f38d7899eec8931325089850b7e3be"
+        ],
+        [
+          "file",
+          [
+            "main.pdf"
+          ],
+          "10a7d9dd1c7c54cdbb197abcc52efbebdda2d636c2a01dcdc710b5c9bcf94af3"
         ]
       ],
       "output_files": {
-        "main.pdf": "e805cbe2a54b34db951d6e79cb32d92d411b2d5239a90d6e4b933d8ba9e371e5",
-        "./main.fls": "3caaf8d9cfcfe7f38ea2fb7eed59c533b0dc1557bb100584cfc998da5cbcea88",
-        "main.log": "02ac516cad751e2ef93873d4645df07142a7468cdbf80779215addf23231c9bd",
+        "main.aux": "a3188976ac78fd4198eb77c9ff5bd67fc2056ad775ae66f95406e156ddb0d241",
+        "./main.fls": "26bcab5c92b16564e38f1e6c00868d327051f0749c8838514b93d2cc770a0578",
         "main.out": "cfb5cbfb52c03e4c289c2a70fb86b6e91ab55e77d2069914d5334c07f6ed102a",
-        "main.aux": "af11148c5fc432281b8a7decb6b26642a102eaaa1c5c6596e3ca018fed3fe2fd"
+        "main.log": "60ef79fdfceece558ffd40c8b7697be733f38d7899eec8931325089850b7e3be",
+        "main.pdf": "10a7d9dd1c7c54cdbb197abcc52efbebdda2d636c2a01dcdc710b5c9bcf94af3"
       },
       "extra": {
         "jobname": "./main",
@@ -2186,7 +2186,7 @@
           [
             "./main.aux"
           ],
-          "efd9c72ac807eb7732d4f5809dd7e23732bb771c121da49b612fa3516246250c"
+          "06499ae8ebaeafd0122a69a18d0d821b38de8094a09be8a65534d6beceb6dbc4"
         ],
         [
           "file",
@@ -2200,7 +2200,7 @@
           [
             "main.bib"
           ],
-          "7930330de3f9684229bd6ff59936e81910f6eaab7e6f575dca884002b1ca08c7"
+          "d370db44ad01f4e43e098b377c4eb9f46db7c19cfbbd65fbedb79ccd27ff004e"
         ],
         [
           "file",
@@ -2214,16 +2214,16 @@
           [
             "./main.blg"
           ],
-          "77b58be507788312a36cd111e30b342f4c25914565603acd4eb6aabf2bb6b3a0"
+          "5c964b42837b432c8725ae4f4214a3ed3644f0f6fb5b399b7870d064ccb170d6"
         ]
       ],
       "output_files": {
         "./main.bbl": "290c4ba5fcbb4e68b6bccf01ffad26843f1a79549df3271beb10d54aa15fe0f5",
-        "./main.blg": "77b58be507788312a36cd111e30b342f4c25914565603acd4eb6aabf2bb6b3a0"
+        "./main.blg": "5c964b42837b432c8725ae4f4214a3ed3644f0f6fb5b399b7870d064ccb170d6"
       },
       "extra": {
         "outbase": "./main",
-        "status": 2,
+        "status": 0,
         "inputs": [
           "/usr/share/texmf-dist/bibtex/bst/ieeetran/IEEEtran.bst",
           "main.bib"
@@ -2232,12 +2232,12 @@
     }
   },
   "clean": {
-    "main.log": "02ac516cad751e2ef93873d4645df07142a7468cdbf80779215addf23231c9bd",
-    "main.pdf": "e805cbe2a54b34db951d6e79cb32d92d411b2d5239a90d6e4b933d8ba9e371e5",
-    "main.aux": "af11148c5fc432281b8a7decb6b26642a102eaaa1c5c6596e3ca018fed3fe2fd",
-    "./main.fls": "3caaf8d9cfcfe7f38ea2fb7eed59c533b0dc1557bb100584cfc998da5cbcea88",
+    "main.log": "60ef79fdfceece558ffd40c8b7697be733f38d7899eec8931325089850b7e3be",
+    "main.pdf": "10a7d9dd1c7c54cdbb197abcc52efbebdda2d636c2a01dcdc710b5c9bcf94af3",
+    "main.aux": "a3188976ac78fd4198eb77c9ff5bd67fc2056ad775ae66f95406e156ddb0d241",
+    "./main.fls": "26bcab5c92b16564e38f1e6c00868d327051f0749c8838514b93d2cc770a0578",
     "./main.bbl": "290c4ba5fcbb4e68b6bccf01ffad26843f1a79549df3271beb10d54aa15fe0f5",
-    "./main.blg": "77b58be507788312a36cd111e30b342f4c25914565603acd4eb6aabf2bb6b3a0",
+    "./main.blg": "5c964b42837b432c8725ae4f4214a3ed3644f0f6fb5b399b7870d064ccb170d6",
     "main.out": "cfb5cbfb52c03e4c289c2a70fb86b6e91ab55e77d2069914d5334c07f6ed102a"
   }
 }
\ No newline at end of file
diff --git a/main.aux b/main.aux
index ed4eec3..4b5bd82 100644
--- a/main.aux
+++ b/main.aux
@@ -4,7 +4,7 @@
 \providecommand\HyField@AuxAddToFields[1]{}
 \providecommand\HyField@AuxAddToCoFields[2]{}
 \citation{Lamport_1994,Holzmann_1997,Clarke_Wang}
-\citation{Basin_Cremers_Dreier_Sasse_2022,Blanchet_Smyth_Cheval_Sylvestre,Kobeissi_Nicolas_Tiwari,Blanchet_Jacomme,Basin_Linker_Sasse}
+\citation{Basin_Cremers_Dreier_Sasse_2022,Kobeissi_Nicolas_Tiwari,Blanchet_Jacomme,Basin_Linker_Sasse}
 \citation{Hippel2022_anonym}
 \providecommand \oddpage@label [2]{}
 \@writefile{toc}{\contentsline {section}{\numberline {I}Introduction}{1}{section.1}\protected@file@percent }
@@ -64,7 +64,6 @@
 \citation{Hippel2022_anonym}
 \citation{Hippel2022_anonym}
 \citation{Hippel2022_anonym}
-\citation{Hippel2022_anonym}
 \newlabel{res:raft_table}{{\caption@xref {res:raft_table}{ on input line 93}}{6}{Raft}{figure.caption.8}{}}
 \@writefile{lof}{\contentsline {figure}{\numberline {3}{\ignorespaces Breakdown of the attacker scenarios assessed with \textsc  {PANDA}\xspace  against our buggy Raft \textsc  {Promela}\xspace  model, \texttt  {raft-bug.pml}. In all experiments, the Raft model was set to five peers and the drop/replay limits of the gadgets \textsc  {PANDA}\xspace  synthesized were set to two. We conducted our experiments on a research computing cluster, allocating 250GB of memory to each verification run. The full models and attacker traces are included in the artifact.}}{6}{figure.caption.8}\protected@file@percent }
 \newlabel{res:raft_table}{{3}{6}{Breakdown of the attacker scenarios assessed with \korg against our buggy Raft \promela model, \texttt {raft-bug.pml}. In all experiments, the Raft model was set to five peers and the drop/replay limits of the gadgets \korg synthesized were set to two. We conducted our experiments on a research computing cluster, allocating 250GB of memory to each verification run. The full models and attacker traces are included in the artifact}{figure.caption.8}{}}
@@ -78,18 +77,18 @@
 \citation{Blanchet_Jacomme,Pereira}
 \citation{ParnoSOK,Basin_Cremers_Meadows_2018}
 \citation{Khan_Mukund_Suresh_2005,Clarke_Wang,wayne_adversaries,Narayana_Chen_Zhao_Chen_Fu_Zhou_2006,Delzanno_Tatarek_Traverso_2014}
-\citation{Wilcox_Woos_Panchekha_Tatlock_Wang_Ernst_Anderson,Castro_Liskov_2002}
+\citation{Wilcox_Woos_Panchekha_Tatlock_Wang_Ernst_Anderson,Castro_Liskov_2002,Delzanno_Tatarek_Traverso_2014}
 \citation{Henda}
 \citation{Ginesin}
 \citation{TCPwn}
 \bibstyle{IEEEtran}
 \bibdata{main}
 \bibcite{Lamport_1994}{1}
+\bibcite{Holzmann_1997}{2}
 \@writefile{toc}{\contentsline {section}{\numberline {V}Related Work}{7}{section.5}\protected@file@percent }
 \newlabel{sec:Related Work}{{V}{7}{Related Work}{section.5}{}}
 \@writefile{toc}{\contentsline {section}{\numberline {VI}Conclusion}{7}{section.6}\protected@file@percent }
 \newlabel{sec:conclusion}{{VI}{7}{Conclusion}{section.6}{}}
-\bibcite{Holzmann_1997}{2}
 \bibcite{Clarke_Wang}{3}
 \bibcite{Basin_Cremers_Dreier_Sasse_2022}{4}
 \bibcite{Kobeissi_Nicolas_Tiwari}{5}
diff --git a/main.blg b/main.blg
index 4c82ef0..e31581d 100644
--- a/main.blg
+++ b/main.blg
@@ -8,15 +8,6 @@ Reallocated singl_function (elt_size=8) to 100 items from 50.
 Reallocated wiz_functions (elt_size=8) to 6000 items from 3000.
 Reallocated singl_function (elt_size=8) to 100 items from 50.
 Database file #1: main.bib
-Repeated entry---line 97 of file main.bib
- : @article{Kobeissi_Nicolas_Tiwari
- :                                 , title={Verifpal: Cryptographic Protocol Analysis for the Real World}, abstractNote={Verifpal is a new automated modeling framework and verifier for cryptographic protocols, optimized with heuristics for common-case protocol specifications, that aims to work better for real-world practitioners, students and engineers without sacrificing comprehensive formal verification features. In order to achieve this, Verifpal introduces a new, intuitive language for modeling protocols that is easier to write and understand than the languages employed by existing tools. Its formal verification paradigm is also designed explicitly to provide protocol modeling that avoids user error. Verifpal is able to model protocols under an active attacker with unbounded sessions and fresh values, and supports queries for advanced security properties such as forward secrecy or key compromise impersonation. Furthermore, Verifpal’s semantics have been formalized within the Coq theorem prover, and Verifpal models can be automatically translated into Coq as well as into ProVerif models for further verification. Verifpal has already been used to verify security properties for Signal, Scuttlebutt, TLS 1.3 as well as the first formal model for the DP-3T pandemic-tracing protocol, which we present in this work. Through Verifpal, we show that advanced verification with formalized semantics and sound logic can exist without any expense towards the convenience of real-world practitioners.}, author={Kobeissi, Nadim and Nicolas, Georgio and Tiwari, Mukesh}, language={en} }
-I'm skipping whatever remains of this entry
-Repeated entry---line 115 of file main.bib
- : @article{Clarke_Wang
- :                     , title={25 Years of Model Checking}, abstractNote={Model Checking is an automatic verification technique for large state transition systems. It was originally developed for reasoning about finite-state concurrent systems. The technique has been used successfully to debug complex computer hardware, communication protocols, and software. It is beginning to be used for analyzing cyberphysical, biological, and financial systems as well. The major challenge for the technique is a phenomenon called the State Explosion Problem. This issue is impossible to avoid in the worst case; but, by using sophisticated data structures and clever search algorithms, it is now possible to verify state transition systems with an astronomical number of states. In this paper, we will briefly review the development of Model Checking over the past 32 years, with an emphasis on model checking stochastic hybrid systems.}, author={Clarke, Edmund M and Wang, Qinsi}, language={en} }
-I'm skipping whatever remains of this entry
-Warning--I didn't find a database entry for "Blanchet_Smyth_Cheval_Sylvestre"
 -- IEEEtran.bst version 1.14 (2015/08/26) by Michael Shell.
 -- http://www.michaelshell.org/tex/ieeetran/bibtex/
 -- See the "IEEEtran_bst_HOWTO.pdf" manual for usage information.
@@ -42,7 +33,7 @@ Warning--empty journal in Ginesin
 Done.
 You've used 32 entries,
             4087 wiz_defined-function locations,
-            1049 strings with 14007 characters,
+            1047 strings with 13945 characters,
 and the built_in function-call counts, 19759 in all, are:
 = -- 1710
 > -- 401
@@ -81,4 +72,4 @@ warning$ -- 18
 while$ -- 51
 width$ -- 34
 write$ -- 345
-(There were 2 error messages)
+(There were 18 warnings)
diff --git a/main.fls b/main.fls
index 32f3f29..97e7330 100644
--- a/main.fls
+++ b/main.fls
@@ -518,8 +518,6 @@ INPUT /usr/share/texmf-dist/fonts/vf/adobe/times/ptmrc7t.vf
 INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/ptmr8r.tfm
 INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/ptmr8r.tfm
 INPUT /usr/share/texmf-dist/fonts/vf/adobe/times/ptmr7t.vf
-INPUT /usr/share/texmf-dist/fonts/vf/adobe/times/ptmb7t.vf
-INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/ptmb8r.tfm
 INPUT /usr/share/texmf-dist/fonts/vf/adobe/times/ptmr7t.vf
 INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/ptmr8r.tfm
 INPUT /usr/share/texmf-dist/fonts/vf/adobe/times/ptmr7t.vf
@@ -539,6 +537,8 @@ INPUT /usr/share/texmf-dist/tex/latex/psnfss/ot1pcr.fd
 INPUT /usr/share/texmf-dist/tex/latex/psnfss/ot1pcr.fd
 INPUT /usr/share/texmf-dist/fonts/tfm/adobe/courier/pcrr7t.tfm
 INPUT /usr/share/texmf-dist/fonts/tfm/adobe/courier/pcrr7t.tfm
+INPUT /usr/share/texmf-dist/fonts/vf/adobe/times/ptmb7t.vf
+INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/ptmb8r.tfm
 INPUT /usr/share/texmf-dist/fonts/vf/adobe/courier/pcrr7t.vf
 INPUT /usr/share/texmf-dist/fonts/tfm/adobe/courier/pcrr8r.tfm
 INPUT ./sections/examples.tex
diff --git a/main.log b/main.log
index b022713..a98a6e3 100644
--- a/main.log
+++ b/main.log
@@ -1,4 +1,4 @@
-This is pdfTeX, Version 3.141592653-2.6-1.40.26 (TeX Live 2024/Arch Linux) (preloaded format=pdflatex 2024.7.2)  3 DEC 2024 17:34
+This is pdfTeX, Version 3.141592653-2.6-1.40.26 (TeX Live 2024/Arch Linux) (preloaded format=pdflatex 2024.7.2)  4 DEC 2024 16:46
 entering extended mode
  restricted \write18 enabled.
  %&-line parsing enabled.
@@ -1315,15 +1315,12 @@ LaTeX Warning: No \author given.
 LaTeX Warning: No \author given.
 
 (./sections/abstract.tex) (./sections/introduction.tex
+LaTeX Font Info:    Trying to load font information for U+msa on input line 7.
 
-LaTeX Warning: Citation `Blanchet_Smyth_Cheval_Sylvestre' on page 1 undefined o
-n input line 3.
-
-LaTeX Font Info:    Trying to load font information for U+msa on input line 6.
 (/usr/share/texmf-dist/tex/latex/amsfonts/umsa.fd
 File: umsa.fd 2013/01/14 v3.01 AMS symbols A
 )
-LaTeX Font Info:    Trying to load font information for U+msb on input line 6.
+LaTeX Font Info:    Trying to load font information for U+msb on input line 7.
 
 (/usr/share/texmf-dist/tex/latex/amsfonts/umsb.fd
 File: umsb.fd 2013/01/14 v3.01 AMS symbols B
@@ -1373,6 +1370,15 @@ LaTeX Font Info:    Trying to load font information for TS1+pcr on input line 3
  (/usr/share/texmf-dist/tex/latex/psnfss/ts1pcr.fd
 File: ts1pcr.fd 2001/06/04 font definitions for TS1/pcr.
 )
+Underfull \hbox (badness 10000) in paragraph at lines 360--361
+
+ []
+
+
+Underfull \hbox (badness 10000) in paragraph at lines 360--361
+
+ []
+
 Excluding 'comment' comment.) (./sections/case_studies.tex
 Underfull \hbox (badness 4144) in paragraph at lines 19--19
 []\OT1/pcr/m/n/10 SYN_RECEIVED \OT1/ptm/m/n/10 is even-tu-ally fol-lowed by
@@ -1398,6 +1404,9 @@ Underfull \hbox (badness 3646) in paragraph at lines 109--109
 []\OT1/ptm/m/n/10 Fig. 3: |Break-down of the at-tacker sce-nar-ios as-sessed
  []
 
+
+LaTeX Warning: `!h' float specifier changed to `!ht'.
+
 ) (./sections/proofs.tex
 Underfull \hbox (badness 3503) in paragraph at lines 19--21
 [][]\OT1/ptm/b/n/10 Definition 2 \OT1/ptm/m/n/10 (Pro-cess)\OT1/ptm/b/n/10 . []
@@ -1428,6 +1437,12 @@ Underfull \hbox (badness 1715) in paragraph at lines 97--99
 ** WARNING: IEEEtran.bst: No hyphenation pattern has been
 ** loaded for the language `en'. Using the pattern for
 ** the default language instead.
+** WARNING: IEEEtran.bst: No hyphenation pattern has been
+** loaded for the language `en'. Using the pattern for
+** the default language instead.
+** WARNING: IEEEtran.bst: No hyphenation pattern has been
+** loaded for the language `en'. Using the pattern for
+** the default language instead.
 [7]
 ** WARNING: IEEEtran.bst: No hyphenation pattern has been
 ** loaded for the language `en'. Using the pattern for
@@ -1472,12 +1487,6 @@ Underfull \hbox (badness 1715) in paragraph at lines 97--99
 ** loaded for the language `en'. Using the pattern for
 ** the default language instead.
 ** WARNING: IEEEtran.bst: No hyphenation pattern has been
-** loaded for the language `en'. Using the pattern for
-** the default language instead.
-** WARNING: IEEEtran.bst: No hyphenation pattern has been
-** loaded for the language `en'. Using the pattern for
-** the default language instead.
-** WARNING: IEEEtran.bst: No hyphenation pattern has been
 ** loaded for the language `eng'. Using the pattern for
 ** the default language instead.
 ** WARNING: IEEEtran.bst: No hyphenation pattern has been
@@ -1568,22 +1577,19 @@ L3 programming layer <2024-02-20>
  ***********
 
 
-LaTeX Warning: There were undefined references.
-
-
 LaTeX Warning: There were multiply-defined labels.
 
 Package rerunfilecheck Info: File `main.out' has not changed.
 (rerunfilecheck)             Checksum: 27EE6006AAFB1A1E6386C970007B5C60;1792.
  ) 
 Here is how much of TeX's memory you used:
- 41059 strings out of 476076
- 907916 string characters out of 5793776
+ 41058 strings out of 476076
+ 907883 string characters out of 5793776
  2208187 words of memory out of 5000000
- 62173 multiletter control sequences out of 15000+600000
+ 62172 multiletter control sequences out of 15000+600000
  606090 words of font info for 125 fonts, out of 8000000 for 9000
  14 hyphenation exceptions out of 8191
- 99i,11n,101p,1201b,1550s stack positions out of 10000i,1000n,20000p,200000b,200000s
+ 99i,11n,101p,1201b,1517s stack positions out of 10000i,1000n,20000p,200000b,200000s
 </usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmex10.pfb></usr/share/
 texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb></usr/share/texmf-dist/fon
 ts/type1/public/amsfonts/cm/cmmi5.pfb></usr/share/texmf-dist/fonts/type1/public
@@ -1595,7 +1601,7 @@ lic/amsfonts/cm/cmsy7.pfb></usr/share/texmf-dist/fonts/type1/urw/courier/ucrr8a
 .pfb></usr/share/texmf-dist/fonts/type1/urw/times/utmb8a.pfb></usr/share/texmf-
 dist/fonts/type1/urw/times/utmbi8a.pfb></usr/share/texmf-dist/fonts/type1/urw/t
 imes/utmr8a.pfb></usr/share/texmf-dist/fonts/type1/urw/times/utmri8a.pfb>
-Output written on ./main.pdf (8 pages, 267478 bytes).
+Output written on ./main.pdf (8 pages, 266844 bytes).
 PDF statistics:
  565 PDF objects out of 1000 (max. 8388607)
  520 compressed objects within 6 object streams
diff --git a/main.pdf b/main.pdf
index bdb28e0..5a179f7 100644
Binary files a/main.pdf and b/main.pdf differ
diff --git a/main.synctex.gz b/main.synctex.gz
index 2e12945..0f3203a 100644
Binary files a/main.synctex.gz and b/main.synctex.gz differ