diff --git a/.latexrun.db b/.latexrun.db index a76907f..5617abf 100644 --- a/.latexrun.db +++ b/.latexrun.db @@ -59,174 +59,6 @@ ], "/home/synchronous/.pyenv/libexec:/home/synchronous/.pyenv/plugins/python-build/bin:/home/synchronous/.pyenv/plugins/pyenv-virtualenv/bin:/home/synchronous/.pyenv/plugins/pyenv-update/bin:/home/synchronous/.pyenv/plugins/pyenv-doctor/bin:/home/synchronous/.pyenv/shims:/home/synchronous/.pyenv/bin:/home/synchronous/.nodenv/shims:/usr/bin:/home/synchronous/.nix-profile/bin:/home/synchronous/.cabal/bin:/home/synchronous/.ghcup/bin:/home/synchronous/.scripts/nnn:/home/synchronous/.cargo/bin:/home/synchronous/.config/emacs:/home/synchronous/.local/bin:/usr/condabin:/usr/local/bin:/usr/bin:/bin:/usr/local/sbin:/usr/lib/jvm/default/bin:/usr/bin/site_perl:/usr/bin/vendor_perl:/usr/bin/core_perl:/usr/lib/rustup/bin:/home/synchronous/.local/bin:/home/synchronous/.fzf/bin" ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgfplots/sys/pgflibrarypgfplots.surfshading.pgfsys-pdftex.def" - ], - "c52c6c54e7ffd5e43094a13b33c6e93cbfa1f3fd6455cf2512102d19d3b7c49e" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/base/size10.clo" - ], - "c168d18288a2aba793904edf4d836c78d16fff01b8344d1365c6d72a2bd8929c" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/auxhook/auxhook.sty" - ], - "1d9f36f4e9674bef594a47cac7d5781e9f7e0c7c8edf9f72769f4dc6f10d1b5f" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/forloop/forloop.sty" - ], - "7643af86d17f2ae51b37a18ed3cfd90251bb5ee2058a9b24485f11ac3925b333" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonometric.code.tex" - ], - "1c8834abe00807467a52d31ef96032d5084b2560eea45995018084d13a3cde3c" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgfplots/pgfplotsmeshplotimage.code.tex" - ], - "d4ea2f3c3bf545104a7c40191693d049ec29c391d46ce55807f6284a2aaaf5e1" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/iftex/ifpdf.sty" - ], - "92b2cd262dc42d529a9467c66ebf181468f262756fa150c554a10f5a99b91217" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarydecorations.code.tex" - ], - "f4884f0c48ab319d25f2fb0889b8881f15ad7999842054718b15e32de8325773" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarycalc.code.tex" - ], - "8207f9fe44c55f382b943c0d9ed3e61571825585318111ad1e357746712e6079" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothandlers.code.tex" - ], - "b3db772dd8eb595d8a5c8ef8d232862f9cef97d4ac9dedee283ad7b6e83361dd" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty" - ], - "3a52a05062a74a763ee604b4a3d20f0be4a4b99fe8182373e30ccea0abafc96e" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/listings/listings.sty" - ], - "30538b8ba51ea04fc7b48ee99f7a37b657b1e225cba41d3dbffe2bfa2af5eb57" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgfplots/liststructure/pgfplotsliststructure.code.tex" - ], - "ef606fdf2ffc6197b9e1037860e1fe788cfa1aa3bf271a986dd6662b2e6526ca" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgfplots/util/pgfplotsutil.code.tex" - ], - "abd9f7c3a307d3e9d2d53a6a8f8e1358669966bed05820b94841da7f49aa3876" - ], - [ - "file", - [ - "sections/case_studies.tex" - ], - "1b00d3a888663b62a5288bf827193a1fc440b1a81ffab1e4f73c6c003d3dde97" - ], - [ - "file", - [ - "sections/related_work.tex" - ], - "1e4a1b66016945212a9810dc62516f3fb6b30ed900ac6d21bd66552c0d5b6605" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/l3packages/xparse/xparse.sty" - ], - "f5d74008cd05735dfcc8b972eae85a6bf6a9fe286da4a86fece0a9fad37a8297" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/bitset/bitset.sty" - ], - "af5c7196c69dc9d28225189169b60c9b9039125bc1756c04d54886f0a3e1891e" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty" - ], - "7e22b1ca949259c61d3721bca0a56bcccf7e47cfc776027c5863941635c07aa1" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm" - ], - "3b54bde5cb0e0bd071eea7bc702ed3a1a284f786779ef8e75b06eba4104bb9f2" - ], - [ - "file", - [ - "/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map" - ], - "f079d814ec1276acba15801beb39911eb18d0b6d556ae7cf884be6fd3d83f2cf" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/iftex/iftex.sty" - ], - "2de50639c1f27201f2b4d04e9083e0a51fc5a73b8908eea2e80d6e3205636d4a" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/listings/lstlang3.sty" - ], - "637dbaa3bc149ada8edc2b471164a63e70457e105e325b4c00cd2b499ca70067" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex" - ], - "aa771cadef59f480af688c690c5de28e23636ef4890842b9758b7d8943ede4ac" - ], [ "file", [ @@ -234,1273 +66,6 @@ ], "9ae89f23a7842df4b172627b86e7409597074c6b8f0958040d7669bb83a74a48" ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/psnfss/omxpsycm.fd" - ], - "75a3c72622fab0214a111e68baa8c5902606970121a5b1761393b46e9ac847de" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmr8c.tfm" - ], - "552911c1fb8d947f5c66f79b9c8eba9831cf310f678cfa4444c598e274704efc" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/tools/xspace.sty" - ], - "bc3bfd65d4b52e78822cb9f3561c6663c64465f64dc2475e56542dbc213a3e66" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/adobe/zapfchan/pzcmi8r.tfm" - ], - "a4e3b3f754d0c60f8319e6cdea5cd3404f90d631e59de8fdcb74a3f0d97cdeeb" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.code.tex" - ], - "c10a26a167c06b16e2d80ee4b119f77818ba2357ece3e5bc3cf7470c5dfb09f9" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty" - ], - "6e39ff4fdf9f126aff28880a7dd59fccc0e6735409d92ca455cdd2a4f2b4db53" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/vf/adobe/times/ptmr8c.vf" - ], - "37015374127d106d51debe8fbb69f2c5826aac1a4db05f646f3182a1fcc3f766" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/base/atveryend-ltx.sty" - ], - "95a2509f9ade1283bc842ed5c90084853892b67ab7acccfbf85b8acd38e1d7e3" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex" - ], - "14bf1941381e7eb35dce4850d0aa819360f1db9ba9752c81cff19920f2c4c7b7" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgfplots/sys/pgfplotssysgeneric.code.tex" - ], - "7124db702274395928a825f687081477f0de5ee9007b9a4a9208f28f209f67fe" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex9.tfm" - ], - "70ca3442c95cd6cf3437ab7c2d0e4b9797531eacfe400dccc61d04bda288bae0" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/listings/lstlang2.sty" - ], - "85aa24029cbac78aabf0c57fe4ec95c58703dac2fc845490157cf1f5a6634a25" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/atveryend/atveryend.sty" - ], - "a62143db8b3bf1e52082c32e3feb7450bc90c000c6c48a38fa51cf96a6075eae" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgfplots/util/pgfplotsutil.verb.code.tex" - ], - "878385031a1d3ea317938785f956d075fd419415bc00204b28f3f6792bb30d29" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgfplots/pgfplotsplothandlers.code.tex" - ], - "76e1322f759550f9171cb0fd9ab601ed1c4ebfd21299c2c24c8294a42022fa7d" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/xargs/xargs.sty" - ], - "02a5571b6d32aa3446bd005a4e6fa22ddab78fd07e61a7c286e9d13cb01ec60d" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/pgf-pie/tikzlibrarypie.code.tex" - ], - "b979dfbffb2eb87811e6b652ac19805eaf14473aeaaae077219e9ac3e9523749" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/etoolbox/etoolbox.sty" - ], - "b10381f0017ae75bd03dc9175b35ad56b93fdd24f2a47dd4aa9c6987ef35ccdb" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex" - ], - "ec94fcfeeda3204c4e43d2008be50b6005da0e642deafaead137284d66e82926" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgfplots/libs/tikzlibrarypgfplots.contourlua.code.tex" - ], - "92d3506845332bb9cd1a9ec001690eb0ba1e11c2b63e63244941873b5e8cb85e" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/type1/urw/times/utmr8a.pfb" - ], - "2ef9d47303d25f3c9553a43255dae8c39160e130ad5ed34444e39dee03d796a1" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def" - ], - "8c808d286cf896399244d121dd0e847a9205c73facc003fe64ec156ec85fd3e5" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex" - ], - "8986f92b517f94415ae5642fc03eb9a8998fdaab446ab2e10f97985d5a9589da" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/graphics-cfg/graphics.cfg" - ], - "feb91e48789a21e4acced98e952c77a2e2cf4a77e01bf147b59fa56a1b3f2008" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/cite/cite.sty" - ], - "56979b7c69ae65bdb52de5bcd540625cae6dd70119e767db438a4826991910ea" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex" - ], - "212f64f8641fb944a006a3c0825e78d30b0a2c5e3b4c4d62ff59ef61214caeed" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/microtype/microtype-pdftex.def" - ], - "fd8878fa5816e590ca1bd33610e180b25989d4778118b47caabce988bfab45de" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def" - ], - "c1200f3d129912978bbd41684ffee42e960bf9a776768a5b9f57557140113f7d" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/utilities/pgfkeyslibraryfiltered.code.tex" - ], - "b3d57e19c1893ef33eb240cb7da4286418481b44f7b0ab1677fbc190d6a85201" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/amsfonts/amsfonts.sty" - ], - "dab8b0e621267acfd89736cf97bdcc02647c545c0719c4997be8a7d1bf98f9c3" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/base/textcomp.sty" - ], - "f50ebba76b974a541b8fc2541643911efaead656aae39c957c58d5b23b51a5eb" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-luatex.def" - ], - "886838765f41bdbb8a97700bdf958330abbb0ab8e7d713a9cb60fdaca78d09b4" - ], - [ - "file", - [ - "figures/replay.tex" - ], - "17decf5a6a2508272bee5cf1a2b41306fafa90e5be473f358d212566ae80d491" - ], - [ - "file", - [ - "figures/reorder.tex" - ], - "7beedd460d18d0ece01628181733a48b6104589cbc8361e10759ef8221c15712" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/vf/adobe/times/zpsycmrv.vf" - ], - "f4d505a1624a70819d41e0319e9ea8c3a6f8f52a8935a396b3824c589e8d3744" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/multirow/multirow.sty" - ], - "5c33cb1717024ebe00adb88514357ab394ae5f9433418fd0442ba8c64462db14" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/graphics/color.sty" - ], - "db5153a66a97071b91dc2a2ed59f9b8c87f90082e08573c8c94dba2a46b002bf" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/etexcmds/etexcmds.sty" - ], - "a7db2834e02bd11be0e62a3be15e3dc293ba1be9196f19b29b9d98bfdbeb7514" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/trimspaces/trimspaces.sty" - ], - "8e9907a5787d119339d60775c68d4a42e84f0b3993acf567600440dd161c52f8" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty" - ], - "99e08946749446e0b9b7faa985f8202740a94476f9e99bab5286cca5ce4766e9" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/needspace/needspace.sty" - ], - "5ae673ce2a80fb868c954373252294d9e6469feeb78b445182772fd043eb0914" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/base/fontenc.sty" - ], - "b17f7346c2d881bba3bde28711e53cc7d3125e5ea440672f59bbbdbbd95499ed" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/hycolor/hycolor.sty" - ], - "8acaa03eda19a8158780356701e905e354e1dc47dc736e6e26fc860c12a15e14" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.code.tex" - ], - "81862c3425e8aa2a82e605eb8fde07b1b7b47862b981922393d4f54ca9fa6250" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/environ/environ.sty" - ], - "2efd7043a5a2ec8d495bd7575408b118ba737b9303259cffa74572d28b0da608" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarydecorations.pathreplacing.code.tex" - ], - "acabde0c8a15d23b8e08dd666f1a8f013c9fc5feefbef4cc533065f198d7ee62" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/type1/urw/times/utmb8a.pfb" - ], - "7f3f19f61452892a29d06af2836331ca78aed29390914d294f7a440d35927142" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmex10.pfb" - ], - "791b31aa1db8608d0144b3a40fc0fe53383a60f6b00d0e8fd9f06ac4a11df8cb" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/filecontents/filecontents.sty" - ], - "47c9606c8901d2d5af86b551be31395ce94453729cab40a6f87a10b72de42e45" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/comment/comment.sty" - ], - "27b76432648ff0c428cc0f435d9caa015880fb7d7fc02fbce45f284451a7e7ab" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb" - ], - "e3661061e8aa474d6de5ffa916edceb0e3d8b998862018c147f0357fce00bcd7" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmri8r.tfm" - ], - "5a8d22bbac97332450c06d766ea8f4cac97ebe0c941da9d473a5d422b8bb0667" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code.tex" - ], - "9b980e1373f9451da75cc6030a5b4c1671b88a1b14b45ed172cfb7cf2607fe1f" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/breakurl/breakurl.sty" - ], - "6925bc46a229885079783419da3e9de0e2a8cb30c257af0b5a95eba61fe403b2" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/xkeyval/xkeyval.sty" - ], - "6904c396f2a6992921823387576b7f75074ac3b8e047a8c80687a869aba1e3ae" - ], - [ - "file", - [ - "main.out" - ], - "304267c103c910a05fe68553008376f511ab1aae07637bdbdfe09ffdedd9621d" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/libraries/decorations/pgflibrarydecorations.pathmorphing.code.tex" - ], - "118694789bd8f5f732250b881ce15d36421f7f84e15a56adba1ed3661c5a0450" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/caption/caption3.sty" - ], - "73f00aabd0be454c9e552841856c573e096ef42d032fe9fd1801763b1b37bea5" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgfplots/util/pgfplotsbinary.code.tex" - ], - "71271312b0668f69e03014f6c90fcf37112de363643661a2cbb77e047e86d75e" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgfplots/pgfplots.revision.tex" - ], - "d9205e72253d9fed3721b3c8451f4bef5aaa947ae8460144bea18af2d7fbba27" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg" - ], - "10db2171b6e267720299c10b9e84f92c5cf069941dbfe3760e198304e49d5324" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmb8t.tfm" - ], - "8db0355b7f542b672e33e2cf79ff50a8b99cf2fdba851d65bc223255a4fbbb67" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/hyperref/nameref.sty" - ], - "1bd958ef4ce46f3d15f7c77f6c2d084289e0e6d6017d5a3a341d83f0998b99a7" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-pdf.def" - ], - "babfe19163bca9c6fa5b1abb6b6154cd0d1ca98888f08f1bf7d06a74de5fd330" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/amsmath/amsopn.sty" - ], - "981dbcccfc3a2449768ae5b1cb7b8b1468bb1f7842429067cd6f6ef0ade42fc2" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/intcalc/intcalc.sty" - ], - "1343ba1b10b245bfd199c22947249af1d756808690c7811c90f07fe0a3772080" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/microtype/microtype.sty" - ], - "1a41c71483a682e5443508d023fc2d01a3b96e8bdf914f0331a39760ef281549" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def" - ], - "6afcd415b6831a153969f66e8b06e9045fe5a5a40239ef51d76de757105396a2" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/bigfoot/suffix.sty" - ], - "64e2a5058863536d987c8059216e700786042bc7ee868b55262d86a9da777af6" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/public/cm/cmsy10.tfm" - ], - "0ca13d421ac7133271aed7c935099ecf3d1d08ac9e15f81acb34a16564ab8a46" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/pgf/utilities/pgffor.sty" - ], - "5ae03317ea221a6f68d807775bd06a10625aa9fb1f590dbe2114688f735c447d" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/graphics/graphics.sty" - ], - "36e2e612e708d04785971d6bcfed324d0a0f9ce337ea73680e69dd2603d0327a" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code.tex" - ], - "f91d37fcda30e70ae85fbd9030682bc64df4424fc1260704def57dc6c444a63a" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgfplots/pgfplotsstackedplots.code.tex" - ], - "0e9c68bfc43f4d9de2ac8de2fcd116ac4f1f694c6d84597239246eb1dbb09326" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb" - ], - "fdcede8794018df5f2b58f0905fb20a2b418ed8f67b73ee12445855dfbe5b1be" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/vf/adobe/times/ptmbc8t.vf" - ], - "955ebd4dc842b50eb0317cc7479e880e94d45d3ce1b02c67ed1668ca455b2cc0" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/public/cm/cmr10.tfm" - ], - "87f2d8981927644cbecaf3d639e96e348ea4e7be49d8804468bd8ba9ff3f5244" - ], - [ - "file", - [ - "sections/gadgets.tex" - ], - "1deb2103093cb6626757c3a194c36639c521d3edbdebf1201749fc5dfeef6304" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/vf/adobe/times/ptmb8t.vf" - ], - "ef67e49c69cade3fa1ca5a7188ce96d9c765c11c951a14265d1bba14137909fd" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.tex" - ], - "7533dd80c95a5124726b0a617a5f458226d4a7490bcd209e3fd7e717e24dc127" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/base/ifthen.sty" - ], - "b8cbd3c3ed9f0f58e1103c91e29ab8de344a19f4cc7d27fde8d14d962dcf0495" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/caption/subcaption.sty" - ], - "5b6b3644307e6db3b04f0f3e2bd0709b8a84add87094da9e5395285e0b705d7e" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/l3kernel/expl3.sty" - ], - "031f0ee8e4751aff29af9cfda2ced8a8e3f52eb158e682c510856e3ed36d9361" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/varwidth/varwidth.sty" - ], - "28625bec96f2e01f6a8c7ec2c77004c71d148e0a9567b29b5c826f8bd248db8b" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgfplots/numtable/pgfplotstableshared.code.tex" - ], - "ae3fd038684fb1192d7a9059d5c8b261cccbf647f0f3d9ac084be882b5ec9895" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgfplots/pgfplots.scaling.code.tex" - ], - "3e8298cf4d0f913a2ca6c2bba59d9894a42f8e9572671e4dd2f83f6bceb95b80" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmb8r.tfm" - ], - "a48198d87f9b9f90d652b8f41d41dbb3978a44669225c89394a4620031ace6a2" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/caption/caption.sty" - ], - "94b3a07d83bfdc9171d3fcb5ea510e6a9ce01ff9bebac37a1dc066e55f6ad48f" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pdfescape/pdfescape.sty" - ], - "b3f0e56366c11b85dae521f9a48a6fd415dec1ce8c83152fde813a9f64445b49" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.tex" - ], - "1668608078204a627d6e67a853f8a904e6149b901607ae177741c650b143a94e" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgfplots/liststructure/pgfplotsmatrix.code.tex" - ], - "a22375071be85968f3b7489bd64c01f5317ca1ddadc0b7ab1f8257181d55a35b" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmri8t.tfm" - ], - "2cd0884fb2fe1c3ad5a318216f5b70dbd5581a5a2f7ffcc0610f0b73a766cb07" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex" - ], - "7e25bd0bcb3399a5b1ee01c882d0bd51b455fcd1798edf4ecbde4bfc5c2198e1" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty" - ], - "9653b8fae6bba95bec40ffbedd7d6c2b8f3be4a85b8b39580ab3ee6c3590041a" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/microtype/mt-msa.cfg" - ], - "c4fdf8cbd49203b4086e0340de9e9566b7908e804dc8740fba361767f8472ac5" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty" - ], - "26ab10fd43fd5a90f98bcbed3a99978808da8878eb73835db4e0346371aee41e" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/psnfss/mathptmx.sty" - ], - "fbf51b6bf0e1b336b3f7dc0cfb05a679f83ddbb81026ce24cf46713debeaba7b" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/context/base/mkii/supp-pdf.mkii" - ], - "5dd3675b88c7b61d3703e6bf35ed75623acc6b163dff7b1477b485cee8ad71cb" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgfplots/oldpgfcompatib/pgfplotsoldpgfsupp_loader.code.tex" - ], - "a36a28ecd51df3dd0f63446f24a84290ec322095280578063ae9b94804014c37" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.tex" - ], - "cd9bb9fbaac3f5bca5bedd77ca07a8c4457467869e2303fdf2b446a30dca9f9f" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code.tex" - ], - "545c4616f93c5f5d25bc04090a0b7ef869bab84b3952fadfd539d71187c83fe0" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgfplots/liststructure/pgfplotsarray.code.tex" - ], - "38442c559fd7e7be2a812d4d809940795fc9535e6d571dbf52c5a0493b26f998" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code.tex" - ], - "165569c2ffb6a80272d2853c3d3c4373c386391e8cbb81ed9683ae2a810dd28c" - ], - [ - "file", - [ - "figures/drop.tex" - ], - "03477986ebf3fd929ec92b3a3f1a5fef3975269dd4ab8a1c829f8f09de00a3d3" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/map/fontname/texfonts.map" - ], - "d9693993efdc7d0b9ab3df777589995d43e24eeae95f12b6a230a19caadeaa42" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/refcount/refcount.sty" - ], - "1bd5d42025520bef74f8808af99cf3f3be7d2e3774b9931bf85c11ba81bb6cab" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/atbegshi/atbegshi.sty" - ], - "a73003b4bb2dc8a814533ddbd31600e6626827799c2a465d03ef42e7a33fa71b" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgfplots/pgfplotscore.code.tex" - ], - "4c71ea64f5b3582f1d6346f9f9a782da20ed7a4c76e00ee1f73ee23186a1db9b" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/pbox/pbox.sty" - ], - "ac474048c041a3adf962c03d5f34018e70b24fdcd2a810acf48c5f2ab5895128" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/pgf-pie/pgf-pie.sty" - ], - "853145e186c504759174f1bf8fe3543df5020577ac31c2d170ffffe68c080b8c" - ], - [ - "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.pathmorphing.code.tex" - ], - "02cfff83b06cc576ae02b8d5618fc9d8bcc02515a5cdb8dd419dd350a42c920d" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/adjustbox/adjcalc.sty" - ], - "75d6edb0bd96e79629697ff1827a3e68607942861813c15fd09d2e5225c71b51" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing.code.tex" - ], - "ebcf9d5dec1714b575ffef09be6cdf03eaf1501f511204d7efae5d73b07b2221" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/xkeyval/xkvutils.tex" - ], - "5e82c31b1b4492c89f0a36c8a1f65ca5dc1d3a7f2ced1b30a1a5be0da9bcc411" - ], - [ - "file", - [ - "sections/design.tex" - ], - "06d054bd2910124096f7bd07f254f261cba7ce9419c30207f606df46cc6b7799" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/float/float.sty" - ], - "be4a09ab7ded44b4ce97ba20a3a3efbb061d186327d5db61f8de6a3cab5019aa" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/hyperref/hpdftex.def" - ], - "1189381de3bd489df7cd3547548a4888d0171c0ba1cb90cda424afae3b955b89" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/libraries/pgflibraryarrows.code.tex" - ], - "7fca2c36196a01d5c7122a05116afd42920029a57a632ab205bd6b82f2327197" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/vf/adobe/times/ptmri8t.vf" - ], - "d1976584168145276587ca1b4f3b6df7c209c8acedf0bafe6ce83a42fb99cd36" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/vf/public/pslatex/pcrr8tn.vf" - ], - "4357ee8afe8f72c745ef872894c21790c47aeb5fbf08f74e5ae8d1f02e4239d4" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex" - ], - "cda208d98bdc556a06f5915571c6ce4d98c18aa639c4782a56c6d32a6ba68055" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code.tex" - ], - "51038be668b2083ac5e8ae38a1da6f75091ee9471d71f33749d01a8bff1a9aa6" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/amscls/amsthm.sty" - ], - "8d5e2bdb117297385971927b14fe4804314133dc0027b3171249a08280894626" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/carlisle/scalefnt.sty" - ], - "fbf28cb0d4589c8e2db9f27c030e9298c09e69ee5d39ed570b45b87c85c0b48f" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/amsmath/amstext.sty" - ], - "2bf2e4f0efe99c33bfd757e1dee1b4267742f8af3e449d6bdb4342c2917b1bce" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex" - ], - "5787859fab7c72cc3dfd7134e78bbb0e770a43e7da39f93732c24232249fdde8" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/public/cm/cmmi10.tfm" - ], - "e442c5487f84df70218ff37f775c87060856f5b6e04c011b6cadbbadfcf46645" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code.tex" - ], - "c94abbd89ad0556546d9e5053af16b58ce7f38d19c379b27309e5fefd23908f8" - ], - [ - "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/tex/latex/graphics/trig.sty" - ], - "c2a4f1d01abaf7ad739f1af03238ebb6ab35a7bbfbd5d713acceddda4fb043d5" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/graphics-cfg/color.cfg" - ], - "a3529ccdadc8248b4c5d7c34ceea53bdc1509b54f18a192ad51b924bd297d8df" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/vf/adobe/times/ptmr8t.vf" - ], - "6c4ef8d50ce7d7cab9f9a7f72497085840c349a022a493b76e27f54e0934430d" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/zref/zref-base.sty" - ], - "8558725c90ca848e8bbdc11b46509bc1e79bfa69ff374b206e73fd8e5de13ed1" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/graphics-def/pdftex.def" - ], - "6b0d3c7739f5344c3356bb0cef98bc17d8710e1e060914f42390d6503141c249" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/base/atbegshi-ltx.sty" - ], - "6720c4cf09cf91e8055b9ad4b54275cbd690be65b1f36805fa457c059d2e29a2" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgfplots/pgfplotsmeshplothandler.code.tex" - ], - "285da39b32bee58c3cad318670a986b3097efd4442d2452d48abbf3727a47157" - ], - [ - "file", - [ - "main.tex" - ], - "efd3708d7664f1867283608a1e0a397aa24ae729def3541d894f8464904682b5" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgfplots/liststructure/pgfplotsdeque.code.tex" - ], - "86843251927c29a021eac1635ee8650cfc06265281b50441d8cb6f67bb8504ee" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgfplots/libs/pgflibrarypgfplots.surfshading.code.tex" - ], - "e90c556be8f468865ca2b656913ba8afc2220f2c163f02e0874731a6d34cdd64" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/adjustbox/adjustbox.sty" - ], - "9e0966d9d505c56237694f90387b6da6b7e6b197367890c4e26ee348a96f84b5" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/xurl/xurl.sty" - ], - "5cf09de8dd52b5e77a12145d4987ab4df75a304174d224aa9562eed3dd141ef3" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/adobe/times/zpsycmrv.tfm" - ], - "6c22e38daafa2174651a8d356ccd2697473a8ddd8d3d36aeea12db31b9d8d6b2" - ], - [ - "file", - [ - "assets/diagram3.png" - ], - "d04a42dd9ba8b5d2f24bbd3f21d20fe5c09596dc704c4516743fd800a9567b66" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/vf/adobe/times/zptmcmr.vf" - ], - "4319d91345df11738d3cb665168c8136d1c1850477ade75d3897b2989e6dba0a" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/listings/listings.cfg" - ], - "d0dd49d4d3eb37e5fcdc4de4e9add7ea5f150be907ac5c4705b382775e55d62b" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryshapes.geometric.code.tex" - ], - "5879002284871fadd4cc0eb0e0cc7b056e0b87cd61911ff4ee838adfe2d64b4b" - ], - [ - "file", - [ - "main.bbl" - ], - "0a26b5b25130874f1f5fcddc43bbee4f344d5df96397afee900ef02693a3ffd0" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/amsmath/amsgen.sty" - ], - "1232e78c8af6c4bc16c024fe33b9c4c3322679ad6887be22bc013ddb8d254ed9" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/xkeyval/xkeyval.tex" - ], - "29c2b60c6973c374a655e44791799823294d53fb04e16db31a681f71a125b3da" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgfplots/oldpgfcompatib/pgfplotsoldpgfsupp_pgfutil-common-lists.tex" - ], - "b353c3d994370f16a1e5867eb9b1d39646c4be7dc896aff5b022ec1fb3dbcadf" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgfplots/pgfplotscoordprocessing.code.tex" - ], - "765209b4b8739df96bd13c01b5573c043a4b2a3490c7c741d5fa9c7e0743973d" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/mathtools/mathtools.sty" - ], - "de594addf85d23a28649db7d9973a11afe591796a6e64c81bb7eb7f8638a0b02" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/psnfss/omlptmcm.fd" - ], - "241bc058cb0d34b7fcd8669e90b674d394e9c2e6e338999a9da4b5799dbb733d" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/mathtools/mhsetup.sty" - ], - "c3ae1e23f43029fbfc271e3b1440a692e1cd924d1810430b99e4f2aa5b9ccf09" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/url/url.sty" - ], - "2373f56849ac606473e77053e5c1d14c92aba312b3f684e02a130eaf36f2de47" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/graphics/graphicx.sty" - ], - "e9fe8e56401707f18a3d18716dadfd1dab999d02118c82af05691599cedec445" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/libraries/pgflibraryplotmarks.code.tex" - ], - "c65e39ffd0c7fac8fabf7a51a47acd9e11bac5b70dce14347b1c78887c81151f" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex" - ], - "9758185623cce6b2a8d4a504d10dfd0a01ef6d3480794fa4c466384f4c08540c" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/cryptocode/cryptocode.sty" - ], - "7d2f0d994fbca993d06586c90b50ffb6f354e19f6bee5a72f5a2c0440fc40689" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmrc8t.tfm" - ], - "c2416a8db76bcb8ca20e7fd22e5ecfad64d0a07e1a572a28c561f552ffbce55a" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/base/inputenc.sty" - ], - "d06a1d6ac38fac720ec7fbccfe6396224e1e69616e7ba5f15e37b55bc4a6c75f" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/graphics/keyval.sty" - ], - "8434ad08617159240fd19b4fcae8bf79a6137af413f3798c8a750e9839f8902e" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/hyperref/pd1enc.def" - ], - "860fb14ebfbd12904aca6dff9e05fad399529d7fe8c00d9b130f02bbc892925d" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex" - ], - "e7c6e44b8fb9fe8fab049144fbe3e430dbc2b441148d72999e309cd5fc3a83c5" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty" - ], - "9d11c81501953d689787ff14c073d2f1eda5874068db9e882b8dbbf9a9d863b0" - ], - [ - "file", - [ - "usenix.sty" - ], - "a18fa46543dec3f63c4b459bd1e6e4d307f0a77748d97761c4c54a4b905f1b86" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/pgf/math/pgfmath.sty" - ], - "4abed7d8c88642201dd1a932a435ae05a1f2659f1f7e95c72d6b5347c83d232a" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/type1/urw/symbol/usyr.pfb" - ], - "2038021a7b6330936fea8562232b48796968fc913c1fd952d29e23bb1fdc891e" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgfplots/pgfplots.errorbars.code.tex" - ], - "70c56e4ccf3448f53cfbb90046ada2683dbf2eec1cf586562fe78bcfe146b3de" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex" - ], - "6d28f51c1b4cb933969339982286f86bb1c9af70ed34535482321de4cd491664" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/psnfss/omspzccm.fd" - ], - "44368824173d11ac16855360e4bdb5cf007a1801e3048d5a99cdb874c7b86d06" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/oberdiek/centernot.sty" - ], - "c95e2924dd95a051923b6a4ea0943fe8aba5ac887f3e6e1cde980ab0288ecfc7" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/vf/adobe/times/zpzccmry.vf" - ], - "1d5bd14dee929a0c0a6f16822eb42d4fb64a822bab7bb63cb30f247785c05d0b" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg" - ], - "eb308ac3d665db8dd3c03b18328c551609346c659c2ce0e5029223fbcc339cb3" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/type1/urw/courier/ucrr8a.pfb" - ], - "8816758f882b18a97a2fcdd4e496b881cd7726b8612648cbfb1c9de2d9853029" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/hyperref/hyperref.sty" - ], - "3e2bd51be23486a776165ebda8bdef7d442c0b779db14652dcc1e40429b1c1ad" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/base/article.cls" - ], - "859217b3457cca472e5a96ef193218c87a4e62a6445cdd501ba7e1954fa32afa" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65.sty" - ], - "7df38d1bb03d0bf642b3f53c38d86641765d950f82d481ebd63c67838bc78ee7" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/microtype/mt-msb.cfg" - ], - "3b7fabb99479f1c970c3d18e1c46de07654d5e3a108c1554fa9ae3026aa72770" - ], [ "file", [ @@ -1511,205 +76,9 @@ [ "file", [ - "/usr/share/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code.tex" + "sections/case_studies.tex" ], - "f5454a5037c902bf21166d9592d5d15790f4b70c00a636d2b2fc47b76c8ccb21" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/libraries/decorations/pgflibrarydecorations.pathreplacing.code.tex" - ], - "91ac89b327e3085fdb10a1213657b1c9e6540e1654e3b173193f60c154f381f7" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/enc/dvips/base/8r.enc" - ], - "66dad15c944f0d457a095fd6e9dba30059a4882b1ffb1f4bf62850ce52c8f136" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/tools/array.sty" - ], - "dc2b9a0057f8455ac0f74960618e7af3de9bf08da0e7078ef8dd0570a2924427" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgfplots/pgfplots.paths.code.tex" - ], - "d11c8b83414c052bb39c678e49d81c5f0235de4af1bdf5dd75270e4de82f94a5" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarypositioning.code.tex" - ], - "5a9dba924057a2fed5e4794673fe39bdb090d024e607776d63c9adb9e62d48f8" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/algorithms/algorithm.sty" - ], - "d63fdf24879f0efd535bc6d06bc2a008b79ae77f6d6d2bc96156ff1f35e96bd7" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/collectbox/collectbox.sty" - ], - "e2f8b5c38a97b6149ee589abbce92ef89c26246185a05ca3f314ec104748e1a8" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/microtype/mt-ptm.cfg" - ], - "e1995a63bf0e7a8690ec6a0ddf0bfb343cfdbbf02499ae7e92e55c10c01099a7" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/adobe/times/zpzccmry.tfm" - ], - "3aee8bf583ce0b60a36b96c984c057043e771a583c91c88d4960217254362869" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgfplots/pgfplots.markers.code.tex" - ], - "59104418d1184b73a01e15b254ffb8c5d4320cf510673f095933d88e901617d6" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty" - ], - "2df7e0bd148c99d8097352b8ac9948dccf91d61ba360dcf43f82206933b6045b" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/mdframed/mdframed.sty" - ], - "df0b50bc333789b0a5d67d8a5decbe97745926df500906d5216a540421c857d6" - ], - [ - "file", - [ - "main.aux" - ], - "49e38c3939cd8bd528738477666b0d79bcf8977a0229f53808dc8e401ebc8b70" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18.sty" - ], - "b5a95ba245bb51ce01e5ead16e818a0024f16cd208df3386b30ba0798a911344" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty" - ], - "3d2226e3d68b4255061baa496cc9cbc107816a7d364720c1bd8c83dccb047b64" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgfplots/util/pgfplotscolor.code.tex" - ], - "521c3db6439ff99c2dbcba5384f8006824ab4a4af28f86785ec9930968272536" - ], - [ - "file", - [ - "sections/abstract.tex" - ], - "ebbfa121a0c9938a61ed97ebdede74717a16cda8ffcfd9c0ce8c693f28db42ab" - ], - [ - "file", - [ - "sections/introduction.tex" - ], - "722a10038b56c41626966275347911ee0781708f436af48daeced8cd77c8b5e9" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty" - ], - "050f2ad3a3671a1f4f9bcf97784836301bc751507e7ada546632379406aea103" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmri7t.tfm" - ], - "8c5b2e8eb57987c20fac30f8f647133e2dcfea899a08f11971a51a8740267fd4" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/pslatex/pslatex.sty" - ], - "e9c211328c2bcb7141798b0c3290c98433ec7809bc7bc4520acc834e3358011b" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex" - ], - "758e504e9c194cf9bbed098700b1d7969420e9a87552222d3000084a9d095571" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/vf/adobe/times/ptmrc8t.vf" - ], - "05fed05b6f9f0fe92d3702226872449b2af3063f0ac5bf38ae59d475a0e14147" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/listings/lstlang1.sty" - ], - "7ec0d3442c273319ee517745cece539182acf7279ab9596d3e56eb32689e7c53" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/public/pslatex/pcrr8rn.tfm" - ], - "368b06aca4eb812397d20e9ed9b0809a6a821678e01e4b4fdb99d4f5ccd7882b" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex" - ], - "6ea4caeea5bcb6cd60b80ef4607e8a79824ec0cdcebb47424c1bdbe0c2ea6671" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/psnfss/ts1ptm.fd" - ], - "4b8d9c7c23b797b9da9bab1dbd4d3c886c0e7763eb9fe59ea12f4c903f33bea3" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison.code.tex" - ], - "ea5ff35778088d94d8d2f1a20075ec57cc4ecd22844f9c288625a6db59ba7818" + "e580bb5abd017a88e2de94b8c88a3dcd4ed1c395dd08a3f583f9577b360d6826" ], [ "file", @@ -1721,9 +90,149 @@ [ "file", [ - "/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryplotmarks.code.tex" + "/usr/share/texmf-dist/tex/latex/base/textcomp.sty" ], - "0fd495f3a090300a9740c637772e0b5b779f0fbdb94cbfe987815c0def856614" + "f50ebba76b974a541b8fc2541643911efaead656aae39c957c58d5b23b51a5eb" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/base/ifthen.sty" + ], + "b8cbd3c3ed9f0f58e1103c91e29ab8de344a19f4cc7d27fde8d14d962dcf0495" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgfplots/pgfplotscore.code.tex" + ], + "4c71ea64f5b3582f1d6346f9f9a782da20ed7a4c76e00ee1f73ee23186a1db9b" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/public/pslatex/pcrr8rn.tfm" + ], + "368b06aca4eb812397d20e9ed9b0809a6a821678e01e4b4fdb99d4f5ccd7882b" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/public/cm/cmmi10.tfm" + ], + "e442c5487f84df70218ff37f775c87060856f5b6e04c011b6cadbbadfcf46645" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/breakurl/breakurl.sty" + ], + "6925bc46a229885079783419da3e9de0e2a8cb30c257af0b5a95eba61fe403b2" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgfplots/pgfplotsstackedplots.code.tex" + ], + "0e9c68bfc43f4d9de2ac8de2fcd116ac4f1f694c6d84597239246eb1dbb09326" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/vf/public/pslatex/pcrr8tn.vf" + ], + "4357ee8afe8f72c745ef872894c21790c47aeb5fbf08f74e5ae8d1f02e4239d4" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/vf/adobe/times/ptmrc8t.vf" + ], + "05fed05b6f9f0fe92d3702226872449b2af3063f0ac5bf38ae59d475a0e14147" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/forloop/forloop.sty" + ], + "7643af86d17f2ae51b37a18ed3cfd90251bb5ee2058a9b24485f11ac3925b333" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/l3kernel/expl3.sty" + ], + "031f0ee8e4751aff29af9cfda2ced8a8e3f52eb158e682c510856e3ed36d9361" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex" + ], + "9758185623cce6b2a8d4a504d10dfd0a01ef6d3480794fa4c466384f4c08540c" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/etoolbox/etoolbox.sty" + ], + "b10381f0017ae75bd03dc9175b35ad56b93fdd24f2a47dd4aa9c6987ef35ccdb" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/zref/zref-base.sty" + ], + "8558725c90ca848e8bbdc11b46509bc1e79bfa69ff374b206e73fd8e5de13ed1" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmri8r.tfm" + ], + "5a8d22bbac97332450c06d766ea8f4cac97ebe0c941da9d473a5d422b8bb0667" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex" + ], + "7e25bd0bcb3399a5b1ee01c882d0bd51b455fcd1798edf4ecbde4bfc5c2198e1" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm" + ], + "d9f5f519ec718e9dbccb8527c1f5d3b4a008dfb946377f97f71611b385d3d010" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/kvoptions/kvoptions.sty" + ], + "70595629ec990ba8c0b6e6a54afcff2603464e6fce380a54a98549a78d2fc74a" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison.code.tex" + ], + "ea5ff35778088d94d8d2f1a20075ec57cc4ecd22844f9c288625a6db59ba7818" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/varwidth/varwidth.sty" + ], + "28625bec96f2e01f6a8c7ec2c77004c71d148e0a9567b29b5c826f8bd248db8b" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/xurl/xurl.sty" + ], + "5cf09de8dd52b5e77a12145d4987ab4df75a304174d224aa9562eed3dd141ef3" ], [ "file", @@ -1735,184 +244,44 @@ [ "file", [ - "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmr8r.tfm" + "sections/introduction.tex" ], - "280bb0113e2586156cd9414aab226588bb0a4d0fdf71fe6c6475af70d9b61eef" + "722a10038b56c41626966275347911ee0781708f436af48daeced8cd77c8b5e9" ], [ "file", [ - "/usr/share/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty" + "/usr/share/texmf-dist/tex/generic/pgfplots/pgfplots.revision.tex" ], - "c42f0c2628dc5fbd95b535cf8cd3cc964347653c099d38c0d416f896d84e8240" + "d9205e72253d9fed3721b3c8451f4bef5aaa947ae8460144bea18af2d7fbba27" ], [ "file", [ - "/usr/share/texmf-dist/fonts/tfm/public/pslatex/pcrr8tn.tfm" + "/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def" ], - "f4c7c2af35ab8a109abd094d163eaddca0580169faa080d29b576ecfc15444fe" + "c1200f3d129912978bbd41684ffee42e960bf9a776768a5b9f57557140113f7d" ], [ "file", [ - "/usr/share/texmf-dist/tex/generic/pgfplots/libs/pgfplotslibrary.code.tex" + "/usr/share/texmf-dist/tex/generic/pgf/libraries/pgflibraryplotmarks.code.tex" ], - "12dfa15deed098538d51fb665a4f4ff759d8ef63d9216b38c19e87fbb0b476dc" + "c65e39ffd0c7fac8fabf7a51a47acd9e11bac5b70dce14347b1c78887c81151f" ], [ "file", [ - "/usr/share/texmf-dist/fonts/vf/adobe/times/zptmcmrm.vf" + "/usr/share/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothandlers.code.tex" ], - "0d29afad3d63bf3376e99033c1e888942116fd02f3c1d5d526623cf64e71bbaf" + "b3db772dd8eb595d8a5c8ef8d232862f9cef97d4ac9dedee283ad7b6e83361dd" ], [ "file", [ - "/usr/share/texmf-dist/tex/latex/ifoddpage/ifoddpage.sty" + "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing.code.tex" ], - "a02ef0946e6764afafa57d21da2328a84946c31697b0f34bcd2499080349b597" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgfplots/pgfplots.code.tex" - ], - "6c32e18704d71198bc2ecab0dad47fac47ec9b4cfbd82f106bd04de465361f62" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmr8t.tfm" - ], - "777c0e0875a140eb83fa3feb9067870a60f640c6af398c6f534761691b2f57e8" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integerarithmetics.code.tex" - ], - "6e9383c1e63a6dbcfd2d95369905df566bdb6e7374c06e28c15a25eb782dc46b" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorerdf.code.tex" - ], - "0bc32a855862a83b7ece27d2ebf6bfeace759d6b64fb776394eee13d62401350" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/mdframed/md-frame-0.mdf" - ], - "eb5b30fa6b459ce7c9f994d12379a8dd0c2d7dd5d46d61e2f7066bf54ec1c47b" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex" - ], - "818b8e3cd0606bdb8ac7fbaccc5f80033672fa817537536f76bc67bc3942928c" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryarrows.code.tex" - ], - "ebfe3e9cc88116a5229c3d66e2ff8c3bbcba34f7c9abc93269754e193ba6f62a" - ], - [ - "file", - [ - "/usr/share/texmf-dist/web2c/texmf.cnf" - ], - "ddd2722ee024d5f4c13123562e7a220c5a66ad0230fa32afc8b365b810a80251" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/tools/calc.sty" - ], - "9c9da7f39469dd6ab1cb765cd5ef87dd72792c8eb9426e4619faecd00e9f2345" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/adobe/times/zptmcmrm.tfm" - ], - "94496aab1b217da4a46769edd560c203904b59190180d6b19fdfe51dd9c8a4dc" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarytopaths.code.tex" - ], - "992706da31e055cdbecf5b1bf1b9c267383e3b4d4385773448f868e1cabf17f2" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/tools/enumerate.sty" - ], - "408dfc3b98b3f52075ab59e86fd574bc0d4b4a1e0baa725a9605dccd1fec74d3" - ], - [ - "file", - [ - "/var/lib/texmf/web2c/pdftex/pdflatex.fmt" - ], - "94ac62800308131e37213df5d5edcbddc246082321af52a58bc5f8881a23c9dd" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/psnfss/t1ptm.fd" - ], - "c37ac43702abcda55166300b67631a3bc4b3e3d5aa74129509f3c3a9f92ed968" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.code.tex" - ], - "ea5e14f7fade556cee79636a6824710e97db928542fc1b23dfa618ff6448688e" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/changepage/changepage.sty" - ], - "c26adc410847658bbb8ddcadfb5fee6fa71254f07df5f007d2126760d6715a02" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/libraries/pgflibraryfpu.code.tex" - ], - "8c1897e7e28685c9c01964981ec450119bd223ccf93e9367e9f959048dc59e8d" - ], - [ - "file", - [ - "sections/conclusion.tex" - ], - "d878163411bb88e73571886858f678c0f02a7a39cb89db5f47f7666495ab084d" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/pgf.revision.tex" - ], - "ac54ea0a31097f28b4e37b09fa17985728d589c10640cf220d7e959f63b9e731" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgfplots/pgfplotsticks.code.tex" - ], - "7005297bdcb9afb98162d9d2f4e0555285bb025c8359413f9785f2a57ffd228a" + "ebcf9d5dec1714b575ffef09be6cdf03eaf1501f511204d7efae5d73b07b2221" ], [ "file", @@ -1924,9 +293,870 @@ [ "file", [ - "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex" + "/var/lib/texmf/web2c/pdftex/pdflatex.fmt" ], - "7fa0ff434e9cdeb14c40f326d53e6ea0273ef2046daf28987992e2488d186c85" + "94ac62800308131e37213df5d5edcbddc246082321af52a58bc5f8881a23c9dd" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/pgf/math/pgfmath.sty" + ], + "4abed7d8c88642201dd1a932a435ae05a1f2659f1f7e95c72d6b5347c83d232a" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/adjustbox/trimclip.sty" + ], + "bbc1ce1248e51a197049422ebcf51c471b41eabc7910afdfbf329e4522491647" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/amsmath/amsopn.sty" + ], + "981dbcccfc3a2449768ae5b1cb7b8b1468bb1f7842429067cd6f6ef0ade42fc2" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm" + ], + "3b54bde5cb0e0bd071eea7bc702ed3a1a284f786779ef8e75b06eba4104bb9f2" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmr8c.tfm" + ], + "552911c1fb8d947f5c66f79b9c8eba9831cf310f678cfa4444c598e274704efc" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/caption/caption3.sty" + ], + "73f00aabd0be454c9e552841856c573e096ef42d032fe9fd1801763b1b37bea5" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/caption/caption.sty" + ], + "94b3a07d83bfdc9171d3fcb5ea510e6a9ce01ff9bebac37a1dc066e55f6ad48f" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty" + ], + "9d11c81501953d689787ff14c073d2f1eda5874068db9e882b8dbbf9a9d863b0" + ], + [ + "file", + [ + "figures/drop.tex" + ], + "03477986ebf3fd929ec92b3a3f1a5fef3975269dd4ab8a1c829f8f09de00a3d3" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/caption/subcaption.sty" + ], + "5b6b3644307e6db3b04f0f3e2bd0709b8a84add87094da9e5395285e0b705d7e" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonometric.code.tex" + ], + "1c8834abe00807467a52d31ef96032d5084b2560eea45995018084d13a3cde3c" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/algorithms/algorithm.sty" + ], + "d63fdf24879f0efd535bc6d06bc2a008b79ae77f6d6d2bc96156ff1f35e96bd7" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgfplots/oldpgfcompatib/pgfplotsoldpgfsupp_pgfutil-common-lists.tex" + ], + "b353c3d994370f16a1e5867eb9b1d39646c4be7dc896aff5b022ec1fb3dbcadf" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/base/inputenc.sty" + ], + "d06a1d6ac38fac720ec7fbccfe6396224e1e69616e7ba5f15e37b55bc4a6c75f" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/microtype/microtype.cfg" + ], + "a4bd4486751d955ae22f96563e5306c9a45227e5ffd25d19dffda84c4d90a5d5" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgfplots/pgfplots.scaling.code.tex" + ], + "3e8298cf4d0f913a2ca6c2bba59d9894a42f8e9572671e4dd2f83f6bceb95b80" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/libraries/decorations/pgflibrarydecorations.pathreplacing.code.tex" + ], + "91ac89b327e3085fdb10a1213657b1c9e6540e1654e3b173193f60c154f381f7" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/libraries/decorations/pgflibrarydecorations.pathmorphing.code.tex" + ], + "118694789bd8f5f732250b881ce15d36421f7f84e15a56adba1ed3661c5a0450" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/atbegshi/atbegshi.sty" + ], + "a73003b4bb2dc8a814533ddbd31600e6626827799c2a465d03ef42e7a33fa71b" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/listings/lstlang1.sty" + ], + "7ec0d3442c273319ee517745cece539182acf7279ab9596d3e56eb32689e7c53" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/psnfss/ot1ptmcm.fd" + ], + "b801752b06491c424a7a5fb340ed8e176481994e3edf35c96eb0c3c53e94c50c" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/refcount/refcount.sty" + ], + "1bd5d42025520bef74f8808af99cf3f3be7d2e3774b9931bf85c11ba81bb6cab" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18.sty" + ], + "b5a95ba245bb51ce01e5ead16e818a0024f16cd208df3386b30ba0798a911344" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgfplots/liststructure/pgfplotsmatrix.code.tex" + ], + "a22375071be85968f3b7489bd64c01f5317ca1ddadc0b7ab1f8257181d55a35b" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgfplots/pgfplots.paths.code.tex" + ], + "d11c8b83414c052bb39c678e49d81c5f0235de4af1bdf5dd75270e4de82f94a5" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.tex" + ], + "1668608078204a627d6e67a853f8a904e6149b901607ae177741c650b143a94e" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgfplots/util/pgfplotscolormap.code.tex" + ], + "b0671f2833e4eb6ee2bd932bbd93f01f92e841b4f6941294b95d5b8075d720e9" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/vf/adobe/times/zpzccmry.vf" + ], + "1d5bd14dee929a0c0a6f16822eb42d4fb64a822bab7bb63cb30f247785c05d0b" + ], + [ + "file", + [ + "sections/conclusion.tex" + ], + "d878163411bb88e73571886858f678c0f02a7a39cb89db5f47f7666495ab084d" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgfplots/oldpgfcompatib/pgfplotsoldpgfsupp_loader.code.tex" + ], + "a36a28ecd51df3dd0f63446f24a84290ec322095280578063ae9b94804014c37" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgfplots/liststructure/pgfplotsliststructure.code.tex" + ], + "ef606fdf2ffc6197b9e1037860e1fe788cfa1aa3bf271a986dd6662b2e6526ca" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/infwarerr/infwarerr.sty" + ], + "8c3e23b8bb7d940ff26cb0cf96e0151f540acf55020dc3c1aa8bcdb2eb66305c" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty" + ], + "b90072b20d0590f23fd0ad273d059e3b7737319b3fb61e3bea6102fd77f24b3d" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code.tex" + ], + "f91d37fcda30e70ae85fbd9030682bc64df4424fc1260704def57dc6c444a63a" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/microtype/mt-msb.cfg" + ], + "3b7fabb99479f1c970c3d18e1c46de07654d5e3a108c1554fa9ae3026aa72770" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgfplots/pgfplotsmeshplotimage.code.tex" + ], + "d4ea2f3c3bf545104a7c40191693d049ec29c391d46ce55807f6284a2aaaf5e1" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgfplots/util/pgfplotsbinary.code.tex" + ], + "71271312b0668f69e03014f6c90fcf37112de363643661a2cbb77e047e86d75e" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/adjustbox/adjustbox.sty" + ], + "9e0966d9d505c56237694f90387b6da6b7e6b197367890c4e26ee348a96f84b5" + ], + [ + "file", + [ + "main.tex" + ], + "0560e1dbc6f41d0c9ba7952e190ba630f60fed39de7233934ba2ff561835231e" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/needspace/needspace.sty" + ], + "5ae673ce2a80fb868c954373252294d9e6469feeb78b445182772fd043eb0914" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/base/size10.clo" + ], + "c168d18288a2aba793904edf4d836c78d16fff01b8344d1365c6d72a2bd8929c" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgfplots/libs/pgflibrarypgfplots.surfshading.code.tex" + ], + "e90c556be8f468865ca2b656913ba8afc2220f2c163f02e0874731a6d34cdd64" + ], + [ + "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/pgfmathfunctions.integerarithmetics.code.tex" + ], + "6e9383c1e63a6dbcfd2d95369905df566bdb6e7374c06e28c15a25eb782dc46b" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code.tex" + ], + "9b980e1373f9451da75cc6030a5b4c1671b88a1b14b45ed172cfb7cf2607fe1f" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgfplots/pgfplotsticks.code.tex" + ], + "7005297bdcb9afb98162d9d2f4e0555285bb025c8359413f9785f2a57ffd228a" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/psnfss/omspzccm.fd" + ], + "44368824173d11ac16855360e4bdb5cf007a1801e3048d5a99cdb874c7b86d06" + ], + [ + "file", + [ + "sections/gadgets.tex" + ], + "1deb2103093cb6626757c3a194c36639c521d3edbdebf1201749fc5dfeef6304" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmbc8t.tfm" + ], + "64786ac4fb83779b33cc166ce57546d8b79405ebfe2fc288d9f43259c131b6a8" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/hyperref/hpdftex.def" + ], + "1189381de3bd489df7cd3547548a4888d0171c0ba1cb90cda424afae3b955b89" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/amsfonts/amssymb.sty" + ], + "70838b061b56569dd3ed9f339b1bdd1c78ba185de49f27ceae331c97f48b5986" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/xkeyval/xkeyval.tex" + ], + "29c2b60c6973c374a655e44791799823294d53fb04e16db31a681f71a125b3da" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65.sty" + ], + "7df38d1bb03d0bf642b3f53c38d86641765d950f82d481ebd63c67838bc78ee7" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/url/url.sty" + ], + "2373f56849ac606473e77053e5c1d14c92aba312b3f684e02a130eaf36f2de47" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgfplots/pgfplotsplothandlers.code.tex" + ], + "76e1322f759550f9171cb0fd9ab601ed1c4ebfd21299c2c24c8294a42022fa7d" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/listings/lstpatch.sty" + ], + "2472ea616722ae9736cfcb8f72c60ebe6de7b97921be1c43414d6ec735226158" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/auxhook/auxhook.sty" + ], + "1d9f36f4e9674bef594a47cac7d5781e9f7e0c7c8edf9f72769f4dc6f10d1b5f" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/graphics/trig.sty" + ], + "c2a4f1d01abaf7ad739f1af03238ebb6ab35a7bbfbd5d713acceddda4fb043d5" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryarrows.code.tex" + ], + "ebfe3e9cc88116a5229c3d66e2ff8c3bbcba34f7c9abc93269754e193ba6f62a" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/environ/environ.sty" + ], + "2efd7043a5a2ec8d495bd7575408b118ba737b9303259cffa74572d28b0da608" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/bitset/bitset.sty" + ], + "af5c7196c69dc9d28225189169b60c9b9039125bc1756c04d54886f0a3e1891e" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/changepage/changepage.sty" + ], + "c26adc410847658bbb8ddcadfb5fee6fa71254f07df5f007d2126760d6715a02" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/public/cm/cmr10.tfm" + ], + "87f2d8981927644cbecaf3d639e96e348ea4e7be49d8804468bd8ba9ff3f5244" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty" + ], + "2df7e0bd148c99d8097352b8ac9948dccf91d61ba360dcf43f82206933b6045b" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/vf/adobe/times/zpsycmrv.vf" + ], + "f4d505a1624a70819d41e0319e9ea8c3a6f8f52a8935a396b3824c589e8d3744" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmri8t.tfm" + ], + "2cd0884fb2fe1c3ad5a318216f5b70dbd5581a5a2f7ffcc0610f0b73a766cb07" + ], + [ + "file", + [ + "/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map" + ], + "f079d814ec1276acba15801beb39911eb18d0b6d556ae7cf884be6fd3d83f2cf" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/adobe/symbol/psyr.tfm" + ], + "025ed1e3d1565efb3346f414666c675f49c74d68a6c1dd22e54b754c3ac7371a" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformations.code.tex" + ], + "bdea875774b4ad7a1e12debc67c46286245031f5c2e287c9e192f3ca4b6193b6" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgfplots/libs/pgfplotslibrary.code.tex" + ], + "12dfa15deed098538d51fb665a4f4ff759d8ef63d9216b38c19e87fbb0b476dc" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/vf/adobe/times/ptmri8t.vf" + ], + "d1976584168145276587ca1b4f3b6df7c209c8acedf0bafe6ce83a42fb99cd36" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/cite/cite.sty" + ], + "56979b7c69ae65bdb52de5bcd540625cae6dd70119e767db438a4826991910ea" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/type1/urw/times/utmr8a.pfb" + ], + "2ef9d47303d25f3c9553a43255dae8c39160e130ad5ed34444e39dee03d796a1" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/vf/adobe/times/ptmb8t.vf" + ], + "ef67e49c69cade3fa1ca5a7188ce96d9c765c11c951a14265d1bba14137909fd" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex" + ], + "e7c6e44b8fb9fe8fab049144fbe3e430dbc2b441148d72999e309cd5fc3a83c5" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgfplots/pgfplots.code.tex" + ], + "6c32e18704d71198bc2ecab0dad47fac47ec9b4cfbd82f106bd04de465361f62" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarydecorations.code.tex" + ], + "f4884f0c48ab319d25f2fb0889b8881f15ad7999842054718b15e32de8325773" + ], + [ + "file", + [ + "main.aux" + ], + "b73f266273e494fcba01a977b3b59dc951c0ec542c65a1d2243b0f4b6e0e66d7" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty" + ], + "c42f0c2628dc5fbd95b535cf8cd3cc964347653c099d38c0d416f896d84e8240" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/pgf.revision.tex" + ], + "ac54ea0a31097f28b4e37b09fa17985728d589c10640cf220d7e959f63b9e731" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/libraries/pgflibraryfpu.code.tex" + ], + "8c1897e7e28685c9c01964981ec450119bd223ccf93e9367e9f959048dc59e8d" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/multirow/multirow.sty" + ], + "5c33cb1717024ebe00adb88514357ab394ae5f9433418fd0442ba8c64462db14" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/etexcmds/etexcmds.sty" + ], + "a7db2834e02bd11be0e62a3be15e3dc293ba1be9196f19b29b9d98bfdbeb7514" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/graphics-def/pdftex.def" + ], + "6b0d3c7739f5344c3356bb0cef98bc17d8710e1e060914f42390d6503141c249" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/hyperref/puenc.def" + ], + "70942bf5c0f0725234b8677e18170952b39b5959d6b1d5f9ccfb1ec88a049bf5" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/base/atveryend-ltx.sty" + ], + "95a2509f9ade1283bc842ed5c90084853892b67ab7acccfbf85b8acd38e1d7e3" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex" + ], + "6143371709342ea83dcdb1744a229d18f4c1ee670e1e31b496046a708bfa3e66" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.code.tex" + ], + "ceafd7c1de02bde3d5a7570489ed6a150db51aabd658c1c78acf1ee5b5f89c6e" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarytopaths.code.tex" + ], + "992706da31e055cdbecf5b1bf1b9c267383e3b4d4385773448f868e1cabf17f2" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty" + ], + "3a52a05062a74a763ee604b4a3d20f0be4a4b99fe8182373e30ccea0abafc96e" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/vf/adobe/times/zptmcmrm.vf" + ], + "0d29afad3d63bf3376e99033c1e888942116fd02f3c1d5d526623cf64e71bbaf" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/amsmath/amsmath.sty" + ], + "da22219a49c094141141bb29034c438d1ccba8a9afe6cdd5d15b96c15bf56901" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-luatex.def" + ], + "886838765f41bdbb8a97700bdf958330abbb0ab8e7d713a9cb60fdaca78d09b4" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/type1/urw/symbol/usyr.pfb" + ], + "2038021a7b6330936fea8562232b48796968fc913c1fd952d29e23bb1fdc891e" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.tex" + ], + "7533dd80c95a5124726b0a617a5f458226d4a7490bcd209e3fd7e717e24dc127" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/mdframed/md-frame-0.mdf" + ], + "eb5b30fa6b459ce7c9f994d12379a8dd0c2d7dd5d46d61e2f7066bf54ec1c47b" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/ifoddpage/ifoddpage.sty" + ], + "a02ef0946e6764afafa57d21da2328a84946c31697b0f34bcd2499080349b597" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmrc8t.tfm" + ], + "c2416a8db76bcb8ca20e7fd22e5ecfad64d0a07e1a572a28c561f552ffbce55a" + ], + [ + "file", + [ + "/usr/share/texmf-dist/web2c/texmf.cnf" + ], + "ddd2722ee024d5f4c13123562e7a220c5a66ad0230fa32afc8b365b810a80251" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/listings/lstlang3.sty" + ], + "637dbaa3bc149ada8edc2b471164a63e70457e105e325b4c00cd2b499ca70067" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/adobe/times/zpsycmrv.tfm" + ], + "6c22e38daafa2174651a8d356ccd2697473a8ddd8d3d36aeea12db31b9d8d6b2" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex" + ], + "14bf1941381e7eb35dce4850d0aa819360f1db9ba9752c81cff19920f2c4c7b7" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgfplots/util/pgfplotsutil.code.tex" + ], + "abd9f7c3a307d3e9d2d53a6a8f8e1358669966bed05820b94841da7f49aa3876" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty" + ], + "050f2ad3a3671a1f4f9bcf97784836301bc751507e7ada546632379406aea103" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/bigfoot/suffix.sty" + ], + "64e2a5058863536d987c8059216e700786042bc7ee868b55262d86a9da777af6" + ], + [ + "file", + [ + "assets/diagram3.png" + ], + "d04a42dd9ba8b5d2f24bbd3f21d20fe5c09596dc704c4516743fd800a9567b66" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.tex" + ], + "541e41626d66e0e8bc8b5249805c9efbb134dfe0dc85c63102eea3c2d21da6f0" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/carlisle/scalefnt.sty" + ], + "fbf28cb0d4589c8e2db9f27c030e9298c09e69ee5d39ed570b45b87c85c0b48f" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/hycolor/hycolor.sty" + ], + "8acaa03eda19a8158780356701e905e354e1dc47dc736e6e26fc860c12a15e14" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/mdframed/mdframed.sty" + ], + "df0b50bc333789b0a5d67d8a5decbe97745926df500906d5216a540421c857d6" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgfplots/util/pgfplotsbinary.data.code.tex" + ], + "d48a5679ca97f921aa11c6ac0aea9773f8791ab8cf71399ed731f44236d04eed" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/type1/urw/times/utmb8a.pfb" + ], + "7f3f19f61452892a29d06af2836331ca78aed29390914d294f7a440d35927142" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/psnfss/mathptmx.sty" + ], + "fbf51b6bf0e1b336b3f7dc0cfb05a679f83ddbb81026ce24cf46713debeaba7b" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmb7t.tfm" + ], + "a615b1aec84d04818ce5a26bcb854f0b5620812374d113e7263cc62b727eb4de" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/adjustbox/tc-pdftex.def" + ], + "15fb04c9b9d1b3fcfa65c1ac1dea77f68650b294c8b4735eca0bc22ad859a111" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/listings/lstlang2.sty" + ], + "85aa24029cbac78aabf0c57fe4ec95c58703dac2fc845490157cf1f5a6634a25" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/public/cm/cmsy10.tfm" + ], + "0ca13d421ac7133271aed7c935099ecf3d1d08ac9e15f81acb34a16564ab8a46" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty" + ], + "8fea89995d37ba4c69137186faafc589c470edcc5026d8a31aadbe5cef47dcb4" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty" + ], + "6e39ff4fdf9f126aff28880a7dd59fccc0e6735409d92ca455cdd2a4f2b4db53" + ], + [ + "file", + [ + "main.out" + ], + "304267c103c910a05fe68553008376f511ab1aae07637bdbdfe09ffdedd9621d" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/pbox/pbox.sty" + ], + "ac474048c041a3adf962c03d5f34018e70b24fdcd2a810acf48c5f2ab5895128" + ], + [ + "file", + [ + "sections/design.tex" + ], + "06d054bd2910124096f7bd07f254f261cba7ce9419c30207f606df46cc6b7799" ], [ "file", @@ -1938,9 +1168,16 @@ [ "file", [ - "/usr/share/texmf-dist/tex/latex/adjustbox/trimclip.sty" + "/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-pdf.def" ], - "bbc1ce1248e51a197049422ebcf51c471b41eabc7910afdfbf329e4522491647" + "babfe19163bca9c6fa5b1abb6b6154cd0d1ca98888f08f1bf7d06a74de5fd330" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/hyperref/nameref.sty" + ], + "1bd958ef4ce46f3d15f7c77f6c2d084289e0e6d6017d5a3a341d83f0998b99a7" ], [ "file", @@ -1959,23 +1196,121 @@ [ "file", [ - "/usr/share/texmf-dist/tex/generic/pgfplots/util/pgfplotscolormap.code.tex" + "/usr/share/texmf-dist/tex/latex/amsmath/amsgen.sty" ], - "b0671f2833e4eb6ee2bd932bbd93f01f92e841b4f6941294b95d5b8075d720e9" + "1232e78c8af6c4bc16c024fe33b9c4c3322679ad6887be22bc013ddb8d254ed9" ], [ "file", [ - "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmb7t.tfm" + "/usr/share/texmf-dist/tex/generic/pgfplots/pgfplotscoordprocessing.code.tex" ], - "a615b1aec84d04818ce5a26bcb854f0b5620812374d113e7263cc62b727eb4de" + "765209b4b8739df96bd13c01b5573c043a4b2a3490c7c741d5fa9c7e0743973d" ], [ "file", [ - "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.tex" + "/usr/share/texmf-dist/tex/latex/microtype/microtype-pdftex.def" ], - "743e89ac1e529af45751fa85fde4b3438284a63dfd53ff52c94c2f229b20beff" + "fd8878fa5816e590ca1bd33610e180b25989d4778118b47caabce988bfab45de" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex" + ], + "ec94fcfeeda3204c4e43d2008be50b6005da0e642deafaead137284d66e82926" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/amsmath/amsbsy.sty" + ], + "f69355f4b0a8b650296fe2fd9471783a6940e6525efd5d7d306b5477daef494d" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/microtype/mt-ptm.cfg" + ], + "e1995a63bf0e7a8690ec6a0ddf0bfb343cfdbbf02499ae7e92e55c10c01099a7" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/vf/adobe/times/ptmr8t.vf" + ], + "6c4ef8d50ce7d7cab9f9a7f72497085840c349a022a493b76e27f54e0934430d" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/public/pslatex/pcrr8tn.tfm" + ], + "f4c7c2af35ab8a109abd094d163eaddca0580169faa080d29b576ecfc15444fe" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/vf/adobe/times/zptmcmr.vf" + ], + "4319d91345df11738d3cb665168c8136d1c1850477ade75d3897b2989e6dba0a" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmb8r.tfm" + ], + "a48198d87f9b9f90d652b8f41d41dbb3978a44669225c89394a4620031ace6a2" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex" + ], + "aa771cadef59f480af688c690c5de28e23636ef4890842b9758b7d8943ede4ac" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarydecorations.pathmorphing.code.tex" + ], + "02cfff83b06cc576ae02b8d5618fc9d8bcc02515a5cdb8dd419dd350a42c920d" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb" + ], + "e3661061e8aa474d6de5ffa916edceb0e3d8b998862018c147f0357fce00bcd7" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/xkeyval/xkeyval.sty" + ], + "6904c396f2a6992921823387576b7f75074ac3b8e047a8c80687a869aba1e3ae" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg" + ], + "eb308ac3d665db8dd3c03b18328c551609346c659c2ce0e5029223fbcc339cb3" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/utilities/pgfkeyslibraryfiltered.code.tex" + ], + "b3d57e19c1893ef33eb240cb7da4286418481b44f7b0ab1677fbc190d6a85201" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code.tex" + ], + "c94abbd89ad0556546d9e5053af16b58ce7f38d19c379b27309e5fefd23908f8" ], [ "file", @@ -1994,184 +1329,16 @@ [ "file", [ - "/usr/share/texmf-dist/fonts/tfm/adobe/symbol/psyr.tfm" + "/usr/share/texmf-dist/tex/latex/trimspaces/trimspaces.sty" ], - "025ed1e3d1565efb3346f414666c675f49c74d68a6c1dd22e54b754c3ac7371a" + "8e9907a5787d119339d60775c68d4a42e84f0b3993acf567600440dd161c52f8" ], [ "file", [ - "/usr/share/texmf-dist/tex/latex/amsmath/amsbsy.sty" + "/usr/share/texmf-dist/tex/generic/pgf/libraries/pgflibraryarrows.code.tex" ], - "f69355f4b0a8b650296fe2fd9471783a6940e6525efd5d7d306b5477daef494d" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/adjustbox/tc-pdftex.def" - ], - "15fb04c9b9d1b3fcfa65c1ac1dea77f68650b294c8b4735eca0bc22ad859a111" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgfplots/liststructure/pgfplotsliststructureext.code.tex" - ], - "a4cd7e5531850e0e874c1096838ec55d62bf413dd7488f5316f730ce833f42db" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgfplots/util/pgfplotsbinary.data.code.tex" - ], - "d48a5679ca97f921aa11c6ac0aea9773f8791ab8cf71399ed731f44236d04eed" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/microtype/microtype.cfg" - ], - "a4bd4486751d955ae22f96563e5306c9a45227e5ffd25d19dffda84c4d90a5d5" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm" - ], - "d9f5f519ec718e9dbccb8527c1f5d3b4a008dfb946377f97f71611b385d3d010" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/graphics/mathcolor.ltx" - ], - "0804bb6e9e1eeeaeda861f29206d308194ea7cc846e38abaa344cdefa1d408cd" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/psnfss/ot1ptmcm.fd" - ], - "b801752b06491c424a7a5fb340ed8e176481994e3edf35c96eb0c3c53e94c50c" - ], - [ - "file", - [ - "sections/proofs.tex" - ], - "faed679ebf945a37a6e3eed98ec4ddfa6b7d11ebd5d63d58f486dd8293cf20b7" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex" - ], - "b111efaa8b7c0905870b1ce9bcf400cd59c8db3cfa8d7ae91e7d63c1bac747cc" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/adobe/times/zptmcmr.tfm" - ], - "366b0b709ad0ebed1389ea6e73f99bd377f02ba03cddc53ade9730771b499b13" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/xcolor/xcolor.sty" - ], - "6d66da8f16088689c2f4995b4e920703cc94faade57911ed7aabd32b04367824" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty" - ], - "8fea89995d37ba4c69137186faafc589c470edcc5026d8a31aadbe5cef47dcb4" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/amsmath/amsmath.sty" - ], - "da22219a49c094141141bb29034c438d1ccba8a9afe6cdd5d15b96c15bf56901" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmbc8t.tfm" - ], - "64786ac4fb83779b33cc166ce57546d8b79405ebfe2fc288d9f43259c131b6a8" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.tex" - ], - "541e41626d66e0e8bc8b5249805c9efbb134dfe0dc85c63102eea3c2d21da6f0" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.code.tex" - ], - "ceafd7c1de02bde3d5a7570489ed6a150db51aabd658c1c78acf1ee5b5f89c6e" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb" - ], - "62ee8cef552017551cd3e026a483e700730103eceaad959c87b7730017f59cff" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformations.code.tex" - ], - "bdea875774b4ad7a1e12debc67c46286245031f5c2e287c9e192f3ca4b6193b6" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/type1/urw/times/utmri8a.pfb" - ], - "f9a0c528b42d2ded2884e31cf1d225b81739ca9b17a0e7cb362fad404ce0aedf" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/infwarerr/infwarerr.sty" - ], - "8c3e23b8bb7d940ff26cb0cf96e0151f540acf55020dc3c1aa8bcdb2eb66305c" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex" - ], - "6143371709342ea83dcdb1744a229d18f4c1ee670e1e31b496046a708bfa3e66" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/hyperref/puenc.def" - ], - "70942bf5c0f0725234b8677e18170952b39b5959d6b1d5f9ccfb1ec88a049bf5" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/amsfonts/amssymb.sty" - ], - "70838b061b56569dd3ed9f339b1bdd1c78ba185de49f27ceae331c97f48b5986" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/kvsetkeys/kvsetkeys.sty" - ], - "e3fcf7f3372a27bb478eb9488eca1e25ed382480d02a6898f190bd955388e055" + "7fca2c36196a01d5c7122a05116afd42920029a57a632ab205bd6b82f2327197" ], [ "file", @@ -2183,38 +1350,871 @@ [ "file", [ - "/usr/share/texmf-dist/tex/latex/kvoptions/kvoptions.sty" + "/usr/share/texmf-dist/tex/latex/graphics/graphicx.sty" ], - "70595629ec990ba8c0b6e6a54afcff2603464e6fce380a54a98549a78d2fc74a" + "e9fe8e56401707f18a3d18716dadfd1dab999d02118c82af05691599cedec445" ], [ "file", [ - "main.pdf" + "/usr/share/texmf-dist/tex/latex/mathtools/mathtools.sty" ], - "1c82d89519fd0294dba32c9216552b72db8d9831ecd70ff9c91b0bd628a41630" + "de594addf85d23a28649db7d9973a11afe591796a6e64c81bb7eb7f8638a0b02" ], [ "file", [ - "./main.fls" + "/usr/share/texmf-dist/tex/latex/graphics/keyval.sty" ], - "60cf857af15b59a670b700d5e52fd26e72857a1fadfff46ea792a8667a0f350b" + "8434ad08617159240fd19b4fcae8bf79a6137af413f3798c8a750e9839f8902e" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorerdf.code.tex" + ], + "0bc32a855862a83b7ece27d2ebf6bfeace759d6b64fb776394eee13d62401350" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/mathtools/mhsetup.sty" + ], + "c3ae1e23f43029fbfc271e3b1440a692e1cd924d1810430b99e4f2aa5b9ccf09" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex9.tfm" + ], + "70ca3442c95cd6cf3437ab7c2d0e4b9797531eacfe400dccc61d04bda288bae0" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/iftex/ifpdf.sty" + ], + "92b2cd262dc42d529a9467c66ebf181468f262756fa150c554a10f5a99b91217" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/adobe/times/zptmcmrm.tfm" + ], + "94496aab1b217da4a46769edd560c203904b59190180d6b19fdfe51dd9c8a4dc" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgfplots/liststructure/pgfplotsliststructureext.code.tex" + ], + "a4cd7e5531850e0e874c1096838ec55d62bf413dd7488f5316f730ce833f42db" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex" + ], + "212f64f8641fb944a006a3c0825e78d30b0a2c5e3b4c4d62ff59ef61214caeed" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.code.tex" + ], + "81862c3425e8aa2a82e605eb8fde07b1b7b47862b981922393d4f54ca9fa6250" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/pgf/utilities/pgffor.sty" + ], + "5ae03317ea221a6f68d807775bd06a10625aa9fb1f590dbe2114688f735c447d" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/graphics/color.sty" + ], + "db5153a66a97071b91dc2a2ed59f9b8c87f90082e08573c8c94dba2a46b002bf" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/adjustbox/adjcalc.sty" + ], + "75d6edb0bd96e79629697ff1827a3e68607942861813c15fd09d2e5225c71b51" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/float/float.sty" + ], + "be4a09ab7ded44b4ce97ba20a3a3efbb061d186327d5db61f8de6a3cab5019aa" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/tools/calc.sty" + ], + "9c9da7f39469dd6ab1cb765cd5ef87dd72792c8eb9426e4619faecd00e9f2345" + ], + [ + "file", + [ + "sections/abstract.tex" + ], + "ebbfa121a0c9938a61ed97ebdede74717a16cda8ffcfd9c0ce8c693f28db42ab" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty" + ], + "9653b8fae6bba95bec40ffbedd7d6c2b8f3be4a85b8b39580ab3ee6c3590041a" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/intcalc/intcalc.sty" + ], + "1343ba1b10b245bfd199c22947249af1d756808690c7811c90f07fe0a3772080" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty" + ], + "7e22b1ca949259c61d3721bca0a56bcccf7e47cfc776027c5863941635c07aa1" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.code.tex" + ], + "c10a26a167c06b16e2d80ee4b119f77818ba2357ece3e5bc3cf7470c5dfb09f9" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/vf/adobe/times/ptmr8c.vf" + ], + "37015374127d106d51debe8fbb69f2c5826aac1a4db05f646f3182a1fcc3f766" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/graphics-cfg/graphics.cfg" + ], + "feb91e48789a21e4acced98e952c77a2e2cf4a77e01bf147b59fa56a1b3f2008" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgfplots/liststructure/pgfplotsarray.code.tex" + ], + "38442c559fd7e7be2a812d4d809940795fc9535e6d571dbf52c5a0493b26f998" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgfplots/util/pgfplotscolor.code.tex" + ], + "521c3db6439ff99c2dbcba5384f8006824ab4a4af28f86785ec9930968272536" + ], + [ + "file", + [ + "figures/reorder.tex" + ], + "7beedd460d18d0ece01628181733a48b6104589cbc8361e10759ef8221c15712" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmex10.pfb" + ], + "791b31aa1db8608d0144b3a40fc0fe53383a60f6b00d0e8fd9f06ac4a11df8cb" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb" + ], + "fdcede8794018df5f2b58f0905fb20a2b418ed8f67b73ee12445855dfbe5b1be" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/map/fontname/texfonts.map" + ], + "d9693993efdc7d0b9ab3df777589995d43e24eeae95f12b6a230a19caadeaa42" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/oberdiek/centernot.sty" + ], + "c95e2924dd95a051923b6a4ea0943fe8aba5ac887f3e6e1cde980ab0288ecfc7" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/kvsetkeys/kvsetkeys.sty" + ], + "e3fcf7f3372a27bb478eb9488eca1e25ed382480d02a6898f190bd955388e055" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/iftex/iftex.sty" + ], + "2de50639c1f27201f2b4d04e9083e0a51fc5a73b8908eea2e80d6e3205636d4a" + ], + [ + "file", + [ + "main.bbl" + ], + "a4c6c0bb444f38b4740ef429aaa80d2796476ab074f323dd70140ed26bf310d9" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/microtype/microtype.sty" + ], + "1a41c71483a682e5443508d023fc2d01a3b96e8bdf914f0331a39760ef281549" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/enc/dvips/base/8r.enc" + ], + "66dad15c944f0d457a095fd6e9dba30059a4882b1ffb1f4bf62850ce52c8f136" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex" + ], + "cda208d98bdc556a06f5915571c6ce4d98c18aa639c4782a56c6d32a6ba68055" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty" + ], + "99e08946749446e0b9b7faa985f8202740a94476f9e99bab5286cca5ce4766e9" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/psnfss/omxpsycm.fd" + ], + "75a3c72622fab0214a111e68baa8c5902606970121a5b1761393b46e9ac847de" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb" + ], + "62ee8cef552017551cd3e026a483e700730103eceaad959c87b7730017f59cff" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/collectbox/collectbox.sty" + ], + "e2f8b5c38a97b6149ee589abbce92ef89c26246185a05ca3f314ec104748e1a8" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code.tex" + ], + "545c4616f93c5f5d25bc04090a0b7ef869bab84b3952fadfd539d71187c83fe0" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmr8r.tfm" + ], + "280bb0113e2586156cd9414aab226588bb0a4d0fdf71fe6c6475af70d9b61eef" + ], + [ + "file", + [ + "usenix.sty" + ], + "a18fa46543dec3f63c4b459bd1e6e4d307f0a77748d97761c4c54a4b905f1b86" + ], + [ + "file", + [ + "sections/related_work.tex" + ], + "1e4a1b66016945212a9810dc62516f3fb6b30ed900ac6d21bd66552c0d5b6605" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex" + ], + "818b8e3cd0606bdb8ac7fbaccc5f80033672fa817537536f76bc67bc3942928c" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def" + ], + "6afcd415b6831a153969f66e8b06e9045fe5a5a40239ef51d76de757105396a2" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/graphics/mathcolor.ltx" + ], + "0804bb6e9e1eeeaeda861f29206d308194ea7cc846e38abaa344cdefa1d408cd" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code.tex" + ], + "51038be668b2083ac5e8ae38a1da6f75091ee9471d71f33749d01a8bff1a9aa6" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgfplots/sys/pgfplotssysgeneric.code.tex" + ], + "7124db702274395928a825f687081477f0de5ee9007b9a4a9208f28f209f67fe" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarypositioning.code.tex" + ], + "5a9dba924057a2fed5e4794673fe39bdb090d024e607776d63c9adb9e62d48f8" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.tex" + ], + "743e89ac1e529af45751fa85fde4b3438284a63dfd53ff52c94c2f229b20beff" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/amscls/amsthm.sty" + ], + "8d5e2bdb117297385971927b14fe4804314133dc0027b3171249a08280894626" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code.tex" + ], + "f5454a5037c902bf21166d9592d5d15790f4b70c00a636d2b2fc47b76c8ccb21" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/graphics-cfg/color.cfg" + ], + "a3529ccdadc8248b4c5d7c34ceea53bdc1509b54f18a192ad51b924bd297d8df" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/pgf-pie/tikzlibrarypie.code.tex" + ], + "b979dfbffb2eb87811e6b652ac19805eaf14473aeaaae077219e9ac3e9523749" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/listings/listings.cfg" + ], + "d0dd49d4d3eb37e5fcdc4de4e9add7ea5f150be907ac5c4705b382775e55d62b" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/pslatex/pslatex.sty" + ], + "e9c211328c2bcb7141798b0c3290c98433ec7809bc7bc4520acc834e3358011b" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.code.tex" + ], + "da529b71510425e3a42b242f71ae849f74c09fd8197f7c18e3abb723b67ef958" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/pgf-pie/pgf-pie.sty" + ], + "853145e186c504759174f1bf8fe3543df5020577ac31c2d170ffffe68c080b8c" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.tex" + ], + "cd9bb9fbaac3f5bca5bedd77ca07a8c4457467869e2303fdf2b446a30dca9f9f" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/xkeyval/xkvutils.tex" + ], + "5e82c31b1b4492c89f0a36c8a1f65ca5dc1d3a7f2ced1b30a1a5be0da9bcc411" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgfplots/sys/pgflibrarypgfplots.surfshading.pgfsys-pdftex.def" + ], + "c52c6c54e7ffd5e43094a13b33c6e93cbfa1f3fd6455cf2512102d19d3b7c49e" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/psnfss/omlptmcm.fd" + ], + "241bc058cb0d34b7fcd8669e90b674d394e9c2e6e338999a9da4b5799dbb733d" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex" + ], + "5787859fab7c72cc3dfd7134e78bbb0e770a43e7da39f93732c24232249fdde8" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/base/atbegshi-ltx.sty" + ], + "6720c4cf09cf91e8055b9ad4b54275cbd690be65b1f36805fa457c059d2e29a2" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarydecorations.pathreplacing.code.tex" + ], + "acabde0c8a15d23b8e08dd666f1a8f013c9fc5feefbef4cc533065f198d7ee62" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/adobe/times/zpzccmry.tfm" + ], + "3aee8bf583ce0b60a36b96c984c057043e771a583c91c88d4960217254362869" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmr8t.tfm" + ], + "777c0e0875a140eb83fa3feb9067870a60f640c6af398c6f534761691b2f57e8" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/hyperref/hyperref.sty" + ], + "3e2bd51be23486a776165ebda8bdef7d442c0b779db14652dcc1e40429b1c1ad" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/amsmath/amstext.sty" + ], + "2bf2e4f0efe99c33bfd757e1dee1b4267742f8af3e449d6bdb4342c2917b1bce" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/amsfonts/amsfonts.sty" + ], + "dab8b0e621267acfd89736cf97bdcc02647c545c0719c4997be8a7d1bf98f9c3" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/tools/enumerate.sty" + ], + "408dfc3b98b3f52075ab59e86fd574bc0d4b4a1e0baa725a9605dccd1fec74d3" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/xargs/xargs.sty" + ], + "02a5571b6d32aa3446bd005a4e6fa22ddab78fd07e61a7c286e9d13cb01ec60d" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmri7t.tfm" + ], + "8c5b2e8eb57987c20fac30f8f647133e2dcfea899a08f11971a51a8740267fd4" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/microtype/mt-msa.cfg" + ], + "c4fdf8cbd49203b4086e0340de9e9566b7908e804dc8740fba361767f8472ac5" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/base/fontenc.sty" + ], + "b17f7346c2d881bba3bde28711e53cc7d3125e5ea440672f59bbbdbbd95499ed" + ], + [ + "file", + [ + "figures/replay.tex" + ], + "17decf5a6a2508272bee5cf1a2b41306fafa90e5be473f358d212566ae80d491" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex" + ], + "8986f92b517f94415ae5642fc03eb9a8998fdaab446ab2e10f97985d5a9589da" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgfplots/util/pgfplotsutil.verb.code.tex" + ], + "878385031a1d3ea317938785f956d075fd419415bc00204b28f3f6792bb30d29" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmb8t.tfm" + ], + "8db0355b7f542b672e33e2cf79ff50a8b99cf2fdba851d65bc223255a4fbbb67" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex" + ], + "b111efaa8b7c0905870b1ce9bcf400cd59c8db3cfa8d7ae91e7d63c1bac747cc" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgfplots/liststructure/pgfplotsdeque.code.tex" + ], + "86843251927c29a021eac1635ee8650cfc06265281b50441d8cb6f67bb8504ee" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/tools/array.sty" + ], + "dc2b9a0057f8455ac0f74960618e7af3de9bf08da0e7078ef8dd0570a2924427" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryplotmarks.code.tex" + ], + "0fd495f3a090300a9740c637772e0b5b779f0fbdb94cbfe987815c0def856614" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg" + ], + "10db2171b6e267720299c10b9e84f92c5cf069941dbfe3760e198304e49d5324" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/psnfss/ts1ptm.fd" + ], + "4b8d9c7c23b797b9da9bab1dbd4d3c886c0e7763eb9fe59ea12f4c903f33bea3" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/hyperref/pd1enc.def" + ], + "860fb14ebfbd12904aca6dff9e05fad399529d7fe8c00d9b130f02bbc892925d" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/atveryend/atveryend.sty" + ], + "a62143db8b3bf1e52082c32e3feb7450bc90c000c6c48a38fa51cf96a6075eae" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/comment/comment.sty" + ], + "27b76432648ff0c428cc0f435d9caa015880fb7d7fc02fbce45f284451a7e7ab" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/type1/urw/times/utmri8a.pfb" + ], + "f9a0c528b42d2ded2884e31cf1d225b81739ca9b17a0e7cb362fad404ce0aedf" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/base/article.cls" + ], + "859217b3457cca472e5a96ef193218c87a4e62a6445cdd501ba7e1954fa32afa" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.code.tex" + ], + "ea5e14f7fade556cee79636a6824710e97db928542fc1b23dfa618ff6448688e" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty" + ], + "3d2226e3d68b4255061baa496cc9cbc107816a7d364720c1bd8c83dccb047b64" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def" + ], + "8c808d286cf896399244d121dd0e847a9205c73facc003fe64ec156ec85fd3e5" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/adobe/times/zptmcmr.tfm" + ], + "366b0b709ad0ebed1389ea6e73f99bd377f02ba03cddc53ade9730771b499b13" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex" + ], + "6d28f51c1b4cb933969339982286f86bb1c9af70ed34535482321de4cd491664" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/listings/listings.sty" + ], + "30538b8ba51ea04fc7b48ee99f7a37b657b1e225cba41d3dbffe2bfa2af5eb57" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgfplots/numtable/pgfplotstableshared.code.tex" + ], + "ae3fd038684fb1192d7a9059d5c8b261cccbf647f0f3d9ac084be882b5ec9895" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryshapes.geometric.code.tex" + ], + "5879002284871fadd4cc0eb0e0cc7b056e0b87cd61911ff4ee838adfe2d64b4b" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/vf/adobe/times/ptmbc8t.vf" + ], + "955ebd4dc842b50eb0317cc7479e880e94d45d3ce1b02c67ed1668ca455b2cc0" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex" + ], + "758e504e9c194cf9bbed098700b1d7969420e9a87552222d3000084a9d095571" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/psnfss/t1ptm.fd" + ], + "c37ac43702abcda55166300b67631a3bc4b3e3d5aa74129509f3c3a9f92ed968" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgfplots/pgfplots.errorbars.code.tex" + ], + "70c56e4ccf3448f53cfbb90046ada2683dbf2eec1cf586562fe78bcfe146b3de" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgfplots/pgfplotsmeshplothandler.code.tex" + ], + "285da39b32bee58c3cad318670a986b3097efd4442d2452d48abbf3727a47157" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/type1/urw/courier/ucrr8a.pfb" + ], + "8816758f882b18a97a2fcdd4e496b881cd7726b8612648cbfb1c9de2d9853029" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/xcolor/xcolor.sty" + ], + "6d66da8f16088689c2f4995b4e920703cc94faade57911ed7aabd32b04367824" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty" + ], + "26ab10fd43fd5a90f98bcbed3a99978808da8878eb73835db4e0346371aee41e" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex" + ], + "7fa0ff434e9cdeb14c40f326d53e6ea0273ef2046daf28987992e2488d186c85" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarycalc.code.tex" + ], + "8207f9fe44c55f382b943c0d9ed3e61571825585318111ad1e357746712e6079" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/context/base/mkii/supp-pdf.mkii" + ], + "5dd3675b88c7b61d3703e6bf35ed75623acc6b163dff7b1477b485cee8ad71cb" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pdfescape/pdfescape.sty" + ], + "b3f0e56366c11b85dae521f9a48a6fd415dec1ce8c83152fde813a9f64445b49" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/graphics/graphics.sty" + ], + "36e2e612e708d04785971d6bcfed324d0a0f9ce337ea73680e69dd2603d0327a" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex" + ], + "6ea4caeea5bcb6cd60b80ef4607e8a79824ec0cdcebb47424c1bdbe0c2ea6671" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/cryptocode/cryptocode.sty" + ], + "7d2f0d994fbca993d06586c90b50ffb6f354e19f6bee5a72f5a2c0440fc40689" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code.tex" + ], + "165569c2ffb6a80272d2853c3d3c4373c386391e8cbb81ed9683ae2a810dd28c" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/tools/xspace.sty" + ], + "bc3bfd65d4b52e78822cb9f3561c6663c64465f64dc2475e56542dbc213a3e66" + ], + [ + "file", + [ + "sections/proofs.tex" + ], + "faed679ebf945a37a6e3eed98ec4ddfa6b7d11ebd5d63d58f486dd8293cf20b7" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgfplots/pgfplots.markers.code.tex" + ], + "59104418d1184b73a01e15b254ffb8c5d4320cf510673f095933d88e901617d6" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/adobe/zapfchan/pzcmi8r.tfm" + ], + "a4e3b3f754d0c60f8319e6cdea5cd3404f90d631e59de8fdcb74a3f0d97cdeeb" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/l3packages/xparse/xparse.sty" + ], + "f5d74008cd05735dfcc8b972eae85a6bf6a9fe286da4a86fece0a9fad37a8297" ], [ "file", [ "main.log" ], - "537f01d4ec3a6dda9d0217c4f4ee261f2b1b5fade581f0ffe56eccec962aa47f" + "5655b7ed3d8ce9af1a68fa7fa62b5ddabb4583af65fb9af2168a9b78c90d40ec" + ], + [ + "file", + [ + "main.pdf" + ], + "8bb49dbfbb7b83c88f2e9b8314beca4c3faf7a3a9bdbbc17ff838588b3859c6f" + ], + [ + "file", + [ + "./main.fls" + ], + "6e5adc35a61f81992e13f2cf0adebf8b56a5cfd39fae47813bd0f2ea12768747" ] ], "output_files": { - "main.pdf": "1c82d89519fd0294dba32c9216552b72db8d9831ecd70ff9c91b0bd628a41630", - "./main.fls": "60cf857af15b59a670b700d5e52fd26e72857a1fadfff46ea792a8667a0f350b", + "main.log": "5655b7ed3d8ce9af1a68fa7fa62b5ddabb4583af65fb9af2168a9b78c90d40ec", + "main.pdf": "8bb49dbfbb7b83c88f2e9b8314beca4c3faf7a3a9bdbbc17ff838588b3859c6f", "main.out": "304267c103c910a05fe68553008376f511ab1aae07637bdbdfe09ffdedd9621d", - "main.aux": "49e38c3939cd8bd528738477666b0d79bcf8977a0229f53808dc8e401ebc8b70", - "main.log": "537f01d4ec3a6dda9d0217c4f4ee261f2b1b5fade581f0ffe56eccec962aa47f" + "./main.fls": "6e5adc35a61f81992e13f2cf0adebf8b56a5cfd39fae47813bd0f2ea12768747", + "main.aux": "b73f266273e494fcba01a977b3b59dc951c0ec542c65a1d2243b0f4b6e0e66d7" }, "extra": { "jobname": "./main", @@ -2284,7 +2284,7 @@ [ "./main.aux" ], - "54266fe2ea8c3bda369c3327ef4a1897f2c9279c5922c01b448cfb2a15dc91dc" + "833447826c9078a60bf2235b4d9d27f53bca986726a85cf75545859844e9d458" ], [ "file", @@ -2305,19 +2305,19 @@ [ "./main.bbl" ], - "0a26b5b25130874f1f5fcddc43bbee4f344d5df96397afee900ef02693a3ffd0" + "a4c6c0bb444f38b4740ef429aaa80d2796476ab074f323dd70140ed26bf310d9" ], [ "file", [ "./main.blg" ], - "29bc2b66af372120935571cbf3091ac4bf1ee495fd03e638bae3f52e837e2682" + "1f2f8066b908d46af0c9ec606494af7e0c006679de9da00e47a70c1d998ba531" ] ], "output_files": { - "./main.bbl": "0a26b5b25130874f1f5fcddc43bbee4f344d5df96397afee900ef02693a3ffd0", - "./main.blg": "29bc2b66af372120935571cbf3091ac4bf1ee495fd03e638bae3f52e837e2682" + "./main.bbl": "a4c6c0bb444f38b4740ef429aaa80d2796476ab074f323dd70140ed26bf310d9", + "./main.blg": "1f2f8066b908d46af0c9ec606494af7e0c006679de9da00e47a70c1d998ba531" }, "extra": { "outbase": "./main", @@ -4451,12 +4451,12 @@ } }, "clean": { - "main.log": "537f01d4ec3a6dda9d0217c4f4ee261f2b1b5fade581f0ffe56eccec962aa47f", - "main.pdf": "1c82d89519fd0294dba32c9216552b72db8d9831ecd70ff9c91b0bd628a41630", - "main.aux": "49e38c3939cd8bd528738477666b0d79bcf8977a0229f53808dc8e401ebc8b70", - "./main.fls": "60cf857af15b59a670b700d5e52fd26e72857a1fadfff46ea792a8667a0f350b", - "./main.bbl": "0a26b5b25130874f1f5fcddc43bbee4f344d5df96397afee900ef02693a3ffd0", - "./main.blg": "29bc2b66af372120935571cbf3091ac4bf1ee495fd03e638bae3f52e837e2682", + "main.log": "5655b7ed3d8ce9af1a68fa7fa62b5ddabb4583af65fb9af2168a9b78c90d40ec", + "main.pdf": "8bb49dbfbb7b83c88f2e9b8314beca4c3faf7a3a9bdbbc17ff838588b3859c6f", + "main.aux": "b73f266273e494fcba01a977b3b59dc951c0ec542c65a1d2243b0f4b6e0e66d7", + "./main.fls": "6e5adc35a61f81992e13f2cf0adebf8b56a5cfd39fae47813bd0f2ea12768747", + "./main.bbl": "a4c6c0bb444f38b4740ef429aaa80d2796476ab074f323dd70140ed26bf310d9", + "./main.blg": "1f2f8066b908d46af0c9ec606494af7e0c006679de9da00e47a70c1d998ba531", "main.out": "304267c103c910a05fe68553008376f511ab1aae07637bdbdfe09ffdedd9621d", "main2.aux": "8af947bbe2f53b419b5ae3668c3ef14b807fea24ec1e5d74523165c900baa65c", "main2.out": "2bb40b9486714e88485ef54d05b469c086420e028396a2bb846fd3a85da7766c", diff --git a/main.aux b/main.aux index 6271310..394ca37 100644 --- a/main.aux +++ b/main.aux @@ -61,6 +61,7 @@ \citation{Ongaro} \citation{Woos_Wilcox_Anton_Tatlock_Ernst_Anderson_2016} \citation{Ginesin2024} +\citation{rfc9260} \newlabel{res:tcp-table}{{\caption@xref {res:tcp-table}{ on input line 28}}{7}{TCP}{figure.caption.8}{}} \@writefile{lof}{\contentsline {figure}{\numberline {8}{\ignorespaces Automatically discovered attacks against our TCP model for $\phi _1$ through $\phi _4$. "x" indicates an attack was discovered, and no "x" indicates \textsc {Panda}\xspace proved the absence of an attack via an exhaustive search. These experiments were ran on a laptop with an eighth generation i7 and 16gb of memory. Full attack traces are available in the artifact.}}{7}{figure.caption.8}\protected@file@percent } \newlabel{res:tcp-table}{{8}{7}{Automatically discovered attacks against our TCP model for $\phi _1$ through $\phi _4$. "x" indicates an attack was discovered, and no "x" indicates \korg proved the absence of an attack via an exhaustive search. These experiments were ran on a laptop with an eighth generation i7 and 16gb of memory. Full attack traces are available in the artifact}{figure.caption.8}{}} @@ -71,12 +72,12 @@ \newlabel{res:raft_table}{{9}{7}{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.9}{}} \@writefile{toc}{\contentsline {subsection}{\numberline {4.3}SCTP}{7}{subsection.4.3}\protected@file@percent } \newlabel{sub:SCTP}{{4.3}{7}{SCTP}{subsection.4.3}{}} -\@writefile{toc}{\contentsline {section}{\numberline {5}Theoretical Foundations of \textsc {Panda}\xspace }{7}{section.5}\protected@file@percent } -\newlabel{sec:proofs}{{5}{7}{Theoretical Foundations of \korg }{section.5}{}} \citation{Hippel2022} \citation{Hippel2022} \citation{Hippel2022} \citation{Hippel2022} +\@writefile{toc}{\contentsline {section}{\numberline {5}Theoretical Foundations of \textsc {Panda}\xspace }{8}{section.5}\protected@file@percent } +\newlabel{sec:proofs}{{5}{8}{Theoretical Foundations of \korg }{section.5}{}} \@writefile{toc}{\contentsline {subsection}{\numberline {5.1}Mathematical Preliminaries}{8}{subsection.5.1}\protected@file@percent } \newlabel{sub:Mathematical Preliminaries}{{5.1}{8}{Mathematical Preliminaries}{subsection.5.1}{}} \@writefile{toc}{\contentsline {subsection}{\numberline {5.2}Proofs of Soundness and Completeness}{8}{subsection.5.2}\protected@file@percent } @@ -97,12 +98,12 @@ \bibstyle{plain} \bibdata{main} \bibcite{Arun_Arashloo_Saeed_Alizadeh_Balakrishnan_2021}{1} -\bibcite{ParnoSOK}{2} -\bibcite{Tamarin}{3} \@writefile{toc}{\contentsline {section}{\numberline {6}Related Work}{9}{section.6}\protected@file@percent } \newlabel{sec:Related Work}{{6}{9}{Related Work}{section.6}{}} \@writefile{toc}{\contentsline {section}{\numberline {7}Conclusion}{9}{section.7}\protected@file@percent } \newlabel{sec:conclusion}{{7}{9}{Conclusion}{section.7}{}} +\bibcite{ParnoSOK}{2} +\bibcite{Tamarin}{3} \bibcite{Basin_Cremers_Meadows_2018}{4} \bibcite{Henda}{5} \bibcite{Beurdouche}{6} @@ -133,10 +134,11 @@ \bibcite{Rahli_Vukotic_Völp_Esteves-Verissimo_2018}{31} \bibcite{Sergey_Wilcox_Tatlock_2018}{32} \bibcite{Smith_1997}{33} -\bibcite{mcp}{34} -\bibcite{Hippel2022}{35} -\bibcite{message_queues_TLA}{36} -\bibcite{wayne_adversaries}{37} -\bibcite{Wilcox_Woos_Panchekha_Tatlock_Wang_Ernst_Anderson}{38} -\bibcite{Woos_Wilcox_Anton_Tatlock_Ernst_Anderson_2016}{39} +\bibcite{rfc9260}{34} +\bibcite{mcp}{35} +\bibcite{Hippel2022}{36} +\bibcite{message_queues_TLA}{37} +\bibcite{wayne_adversaries}{38} +\bibcite{Wilcox_Woos_Panchekha_Tatlock_Wang_Ernst_Anderson}{39} +\bibcite{Woos_Wilcox_Anton_Tatlock_Ernst_Anderson_2016}{40} \gdef \@abspage@last{11} diff --git a/main.bbl b/main.bbl index cf8cd9f..cb38be4 100644 --- a/main.bbl +++ b/main.bbl @@ -194,6 +194,12 @@ Mark Anthony~Shawn Smith. \newblock Thesis, Massachusetts Institute of Technology, 1997. \newblock Accepted: 2008-09-03T18:09:43Z. +\bibitem{rfc9260} +M.~Tüxen, R.~Stewart, K.~Nielsen, R.~Jesup, and S.~Loreto. +\newblock {Stream Control Transmission Protocol (SCTP) Specification Errata and + Issues}. +\newblock Request for Comments, June 2022. + \bibitem{mcp} W.~Visser, K.~Havelund, G.~Brat, and Seungjoon Park. \newblock Model checking programs. diff --git a/main.blg b/main.blg index bbdbcfd..53c2783 100644 --- a/main.blg +++ b/main.blg @@ -33,45 +33,45 @@ Warning--empty journal in Hippel2022 Warning--there's a number but no volume in Hippel2022 Warning--empty journal in Wilcox_Woos_Panchekha_Tatlock_Wang_Ernst_Anderson Warning--empty year in Wilcox_Woos_Panchekha_Tatlock_Wang_Ernst_Anderson -You've used 39 entries, +You've used 40 entries, 2118 wiz_defined-function locations, - 749 strings with 11613 characters, -and the built_in function-call counts, 15161 in all, are: -= -- 1482 -> -- 756 + 755 strings with 11797 characters, +and the built_in function-call counts, 15500 in all, are: += -- 1511 +> -- 784 < -- 21 -+ -- 304 -- -- 260 -* -- 1006 -:= -- 2339 -add.period$ -- 121 -call.type$ -- 39 -change.case$ -- 241 ++ -- 315 +- -- 270 +* -- 1031 +:= -- 2398 +add.period$ -- 124 +call.type$ -- 40 +change.case$ -- 249 chr.to.int$ -- 0 -cite$ -- 69 -duplicate$ -- 723 -empty$ -- 1045 -format.name$ -- 260 -if$ -- 3308 +cite$ -- 70 +duplicate$ -- 730 +empty$ -- 1067 +format.name$ -- 270 +if$ -- 3376 int.to.chr$ -- 0 -int.to.str$ -- 39 +int.to.str$ -- 40 missing$ -- 42 -newline$ -- 193 -num.names$ -- 78 -pop$ -- 331 +newline$ -- 198 +num.names$ -- 80 +pop$ -- 343 preamble$ -- 1 -purify$ -- 208 +purify$ -- 215 quote$ -- 0 -skip$ -- 609 +skip$ -- 616 stack$ -- 0 -substring$ -- 612 -swap$ -- 311 +substring$ -- 617 +swap$ -- 312 text.length$ -- 21 text.prefix$ -- 0 top$ -- 0 -type$ -- 144 +type$ -- 148 warning$ -- 30 -while$ -- 101 -width$ -- 41 -write$ -- 426 +while$ -- 103 +width$ -- 42 +write$ -- 436 (There were 30 warnings) diff --git a/main.fls b/main.fls index f99a3da..4fb54ee 100644 --- a/main.fls +++ b/main.fls @@ -582,10 +582,6 @@ INPUT /usr/share/texmf-dist/fonts/tfm/adobe/zapfchan/pzcmi8r.tfm INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/ptmr8r.tfm INPUT /usr/share/texmf-dist/fonts/vf/adobe/times/ptmr8t.vf INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/ptmr8r.tfm -INPUT /usr/share/texmf-dist/fonts/vf/adobe/times/ptmri8t.vf -INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/ptmri8r.tfm -INPUT /usr/share/texmf-dist/fonts/vf/adobe/times/ptmr8t.vf -INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/ptmr8r.tfm INPUT /usr/share/texmf-dist/fonts/vf/adobe/times/ptmb8t.vf INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/ptmb8r.tfm INPUT /usr/share/texmf-dist/fonts/vf/adobe/times/ptmr8t.vf diff --git a/main.log b/main.log index 1b323b5..01ead8c 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 MAR 2025 01:17 +This is pdfTeX, Version 3.141592653-2.6-1.40.26 (TeX Live 2024/Arch Linux) (preloaded format=pdflatex 2024.7.2) 3 MAR 2025 23:52 entering extended mode restricted \write18 enabled. %&-line parsing enabled. @@ -1361,7 +1361,7 @@ your preamble. \c@lstlisting=\count405 LaTeX Font Info: Trying to load font information for OT1+ptmcm on input line - 106. + 102. (/usr/share/texmf-dist/tex/latex/psnfss/ot1ptmcm.fd File: ot1ptmcm.fd 2000/01/03 Fontinst v1.801 font definitions for OT1/ptmcm. ) @@ -1370,23 +1370,23 @@ Package microtype Info: Loading generic protrusion settings for font family (microtype) For optimal results, create family-specific settings. (microtype) See the microtype manual for details. LaTeX Font Info: Trying to load font information for OML+ptmcm on input line - 106. + 102. (/usr/share/texmf-dist/tex/latex/psnfss/omlptmcm.fd File: omlptmcm.fd 2000/01/03 Fontinst v1.801 font definitions for OML/ptmcm. ) LaTeX Font Info: Trying to load font information for OMX+psycm on input line - 106. + 102. (/usr/share/texmf-dist/tex/latex/psnfss/omxpsycm.fd File: omxpsycm.fd 2000/01/03 Fontinst v1.801 font definitions for OMX/psycm. ) LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <14.4> not available -(Font) Font shape `OT1/ptm/b/n' tried instead on input line 106. +(Font) Font shape `OT1/ptm/b/n' tried instead on input line 102. LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <10.95> not available -(Font) Font shape `OT1/ptm/b/n' tried instead on input line 106. +(Font) Font shape `OT1/ptm/b/n' tried instead on input line 102. LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <8> not available -(Font) Font shape `OT1/ptm/b/n' tried instead on input line 106. +(Font) Font shape `OT1/ptm/b/n' tried instead on input line 102. (/usr/share/texmf-dist/tex/latex/microtype/mt-msa.cfg File: mt-msa.cfg 2006/02/04 v1.1 microtype config. file: AMS symbols (a) (RS) @@ -1395,20 +1395,24 @@ File: mt-msa.cfg 2006/02/04 v1.1 microtype config. file: AMS symbols (a) (RS) File: mt-msb.cfg 2005/06/01 v1.0 microtype config. file: AMS symbols (b) (RS) ) LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <6> not available -(Font) Font shape `OT1/ptm/b/n' tried instead on input line 106. +(Font) Font shape `OT1/ptm/b/n' tried instead on input line 102. LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <5> not available -(Font) Font shape `OT1/ptm/b/n' tried instead on input line 106. +(Font) Font shape `OT1/ptm/b/n' tried instead on input line 102. LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <12> not available -(Font) Font shape `OT1/ptm/b/n' tried instead on input line 106. +(Font) Font shape `OT1/ptm/b/n' tried instead on input line 102. LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <9> not available -(Font) Font shape `OT1/ptm/b/n' tried instead on input line 106. +(Font) Font shape `OT1/ptm/b/n' tried instead on input line 102. LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <7> not available -(Font) Font shape `OT1/ptm/b/n' tried instead on input line 106. +(Font) Font shape `OT1/ptm/b/n' tried instead on input line 102. + + +LaTeX Warning: No \author given. + LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <10> not available -(Font) Font shape `OT1/ptm/b/n' tried instead on input line 107. +(Font) Font shape `OT1/ptm/b/n' tried instead on input line 103. LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <7.4> not available -(Font) Font shape `OT1/ptm/b/n' tried instead on input line 107. - (./sections/abstract.tex) (./sections/introduction.tex +(Font) Font shape `OT1/ptm/b/n' tried instead on input line 103. +(./sections/abstract.tex) (./sections/introduction.tex LaTeX Font Info: Trying to load font information for TS1+ptm on input line 2 8. @@ -1493,21 +1497,23 @@ Underfull \hbox (badness 1043) in paragraph at lines 107--107 nst our buggy Raft \T1/ptm/m/sc/10 (+20) Promela \T1/ptm/m/n/10 (+20) model, [] -) (./sections/proofs.tex [7] +) (./sections/proofs.tex +Underfull \vbox (badness 2617) has occurred while \output is active [] + + [7] Underfull \hbox (badness 4467) in paragraph at lines 35--36 [][]\T1/ptm/b/n/10 (+20) Definition 2 \T1/ptm/m/n/10 (+20) (Pro-cess)\T1/ptm/b/ n/10 (+20) . []\T1/ptm/m/it/10 (+20) A \T1/ptm/m/n/10 (+20) Pro-cess \T1/ptm/m/ it/10 (+20) is a tu-ple $\OML/ptmcm/m/it/10 P \OT1/ptmcm/m/n/10 = [] - +[8] Underfull \hbox (badness 6575) in paragraph at lines 89--90 []\T1/ptm/m/n/10 (+20) In the Pro-cess: $\OML/ptmcm/m/it/10 s[]; s[]; s[]; []$ \T1/ptm/m/n/10 (+20) with $\OML/ptmcm/m/it/10 s[] \OT1/ptmcm/m/n/10 = \OML/ptmc m/m/it/10 s[]$ \T1/ptm/m/n/10 (+20) and [] -[8] LaTeX Font Warning: Font shape `T1/ptm/m/scit' undefined (Font) using `T1/ptm/m/sc' instead on input line 106. @@ -1529,9 +1535,12 @@ Underfull \hbox (badness 2126) in paragraph at lines 79--83 []\T1/ptm/m/n/10 (+20) Giorgio Delzanno, Michele Tatarek, and Ric-cardo [] -[10]) [11 +[10] +Underfull \hbox (badness 1810) in paragraph at lines 198--202 +[]\T1/ptm/m/n/10 (+20) M. Tüxen, R. Stew-art, K. Nielsen, R. Je-sup, and + [] -] (./main.aux) +) [11] (./main.aux) *********** LaTeX2e <2023-11-01> patch level 1 L3 programming layer <2024-02-20> @@ -1547,11 +1556,11 @@ Package rerunfilecheck Info: File `main.out' has not changed. (rerunfilecheck) Checksum: BD71A0BDAFAA9B932BE3B9ECF5FF6C8D;1940. ) Here is how much of TeX's memory you used: - 43583 strings out of 476076 - 947409 string characters out of 5793776 - 2124187 words of memory out of 5000000 - 64119 multiletter control sequences out of 15000+600000 - 698237 words of font info for 510 fonts, out of 8000000 for 9000 + 43573 strings out of 476076 + 947319 string characters out of 5793776 + 2122187 words of memory out of 5000000 + 64118 multiletter control sequences out of 15000+600000 + 695659 words of font info for 504 fonts, out of 8000000 for 9000 14 hyphenation exceptions out of 8191 102i,11n,117p,1636b,1244s stack positions out of 10000i,1000n,20000p,200000b,200000s @@ -1565,10 +1574,10 @@ msfonts/cm/cmsy10.pfb> -Output written on ./main.pdf (11 pages, 246593 bytes). +Output written on ./main.pdf (11 pages, 246961 bytes). PDF statistics: - 515 PDF objects out of 1000 (max. 8388607) - 478 compressed objects within 5 object streams - 241 named destinations out of 1000 (max. 500000) - 124554 words of extra memory for PDF output out of 128383 (max. 10000000) + 517 PDF objects out of 1000 (max. 8388607) + 480 compressed objects within 5 object streams + 242 named destinations out of 1000 (max. 500000) + 120458 words of extra memory for PDF output out of 128383 (max. 10000000) diff --git a/main.pdf b/main.pdf index 1920ca1..11995b7 100644 Binary files a/main.pdf and b/main.pdf differ diff --git a/main.tex b/main.tex index ead565d..81837be 100644 --- a/main.tex +++ b/main.tex @@ -88,20 +88,16 @@ comment,adjustbox,mdframed,changepage,algorithm,algorithmic} \title{\korg: An Attack Synthesis Tool\\ for Distributed Protocols\footnote{}} %for single author (just remove % characters) -\author{ -{\rm Jacob Ginesin}\\ -Northeastern University -\and -{\rm Max von Hippel}\\ -Benchify, Inc. -\and -{\rm Cristina Nita-Rotaru}\\ -Northeastern University -% copy the following lines to add more authors +% \author{ +% {\rm Jacob Ginesin}\\ +% Northeastern University % \and -% {\rm Name}\\ -%Name Institution -} % end author +% {\rm Max von Hippel}\\ +% Benchify, Inc. +% \and +% {\rm Cristina Nita-Rotaru}\\ +% Northeastern University +% } \maketitle \footnote{\korg is an anonymized name for double-blind submission.} diff --git a/sections/case_studies.tex b/sections/case_studies.tex index c4d1e96..91b097f 100644 --- a/sections/case_studies.tex +++ b/sections/case_studies.tex @@ -111,7 +111,9 @@ In our experiments, we found just one attack on our \texttt{raft-bug.pml} \prome \subsection{SCTP}% \label{sub:SCTP} -SCTP is a transport-layer protocol proposed as an alternative to TCP, featuring a four-way handshake, multi-homing, and multi-streaming. Among other use cases, SCTP is the data transfer protocol for various telecoms signaling protocols as well as WebRTC. For our analysis, we borrow the ten LTL properties and \promela models derived from the SCTP RFCs as described in \cite{Ginesin2024}. We evaluated the SCTP \promela model against \korg's drop, replay, and reordering attacker models on a single uni-directional communication channel. SCTP is designed to resist these attacker models, and we employ \korg to exhaustively demonstrate this is the case. +SCTP is a transport-layer protocol proposed as an alternative to TCP, featuring a four-way handshake, multi-homing, and multi-streaming. Among other use cases, SCTP is the data transfer protocol for various telecoms signaling protocols as well as WebRTC. For our analysis, we borrow the ten LTL properties and \promela models derived from the SCTP RFCs as described in \cite{Ginesin2024}. We evaluated the SCTP \promela model against \korg's drop, replay, and reordering attacker models on a single uni-directional communication channel. The drop attacker model was specified to max out at three dropped packets, while the replay and reordering attacker model was specified to max out at two packets. SCTP is designed to resist drop, replay, and reordering attackers \cite{rfc9260}, and we employ \korg to exhaustively demonstrate this is the case. + +% these attacker models, and we employ \korg to exhaustively demonstrate this is the case. %our Raft model satisfies $\phi_1$-$\phi_5$ assuming perfect channels, and \korg allowed us to reason precisely about the effect of imperfect, vulnerable channels.