diff --git a/.latexrun.db b/.latexrun.db index 07e3af5..a76907f 100644 --- a/.latexrun.db +++ b/.latexrun.db @@ -59,55 +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/pgf/math/pgfmathparser.code.tex" - ], - "8986f92b517f94415ae5642fc03eb9a8998fdaab446ab2e10f97985d5a9589da" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmr8t.tfm" - ], - "777c0e0875a140eb83fa3feb9067870a60f640c6af398c6f534761691b2f57e8" - ], - [ - "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/type1/urw/courier/ucrr8a.pfb" - ], - "8816758f882b18a97a2fcdd4e496b881cd7726b8612648cbfb1c9de2d9853029" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.code.tex" - ], - "c10a26a167c06b16e2d80ee4b119f77818ba2357ece3e5bc3cf7470c5dfb09f9" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/amsfonts/amssymb.sty" - ], - "70838b061b56569dd3ed9f339b1bdd1c78ba185de49f27ceae331c97f48b5986" - ], [ "file", [ @@ -118,16 +69,177 @@ [ "file", [ - "sections/gadgets.tex" + "/usr/share/texmf-dist/tex/latex/base/size10.clo" ], - "1deb2103093cb6626757c3a194c36639c521d3edbdebf1201749fc5dfeef6304" + "c168d18288a2aba793904edf4d836c78d16fff01b8344d1365c6d72a2bd8929c" ], [ "file", [ - "assets/diagram3.png" + "/usr/share/texmf-dist/tex/latex/auxhook/auxhook.sty" ], - "d04a42dd9ba8b5d2f24bbd3f21d20fe5c09596dc704c4516743fd800a9567b66" + "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", + [ + "/usr/share/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes.geometric.code.tex" + ], + "9ae89f23a7842df4b172627b86e7409597074c6b8f0958040d7669bb83a74a48" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/psnfss/omxpsycm.fd" + ], + "75a3c72622fab0214a111e68baa8c5902606970121a5b1761393b46e9ac847de" ], [ "file", @@ -139,79 +251,254 @@ [ "file", [ - "/usr/share/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty" + "/usr/share/texmf-dist/tex/latex/tools/xspace.sty" ], - "9d11c81501953d689787ff14c073d2f1eda5874068db9e882b8dbbf9a9d863b0" + "bc3bfd65d4b52e78822cb9f3561c6663c64465f64dc2475e56542dbc213a3e66" ], [ "file", [ - "/usr/share/texmf-dist/tex/generic/pgfplots/numtable/pgfplotstableshared.code.tex" + "/usr/share/texmf-dist/fonts/tfm/adobe/zapfchan/pzcmi8r.tfm" ], - "ae3fd038684fb1192d7a9059d5c8b261cccbf647f0f3d9ac084be882b5ec9895" + "a4e3b3f754d0c60f8319e6cdea5cd3404f90d631e59de8fdcb74a3f0d97cdeeb" ], [ "file", [ - "/usr/share/texmf-dist/tex/generic/pgfplots/oldpgfcompatib/pgfplotsoldpgfsupp_loader.code.tex" + "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.code.tex" ], - "a36a28ecd51df3dd0f63446f24a84290ec322095280578063ae9b94804014c37" + "c10a26a167c06b16e2d80ee4b119f77818ba2357ece3e5bc3cf7470c5dfb09f9" ], [ "file", [ - "/usr/share/texmf-dist/tex/latex/amsmath/amsgen.sty" + "/usr/share/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty" ], - "1232e78c8af6c4bc16c024fe33b9c4c3322679ad6887be22bc013ddb8d254ed9" + "6e39ff4fdf9f126aff28880a7dd59fccc0e6735409d92ca455cdd2a4f2b4db53" ], [ "file", [ - "/usr/share/texmf-dist/tex/generic/intcalc/intcalc.sty" + "/usr/share/texmf-dist/fonts/vf/adobe/times/ptmr8c.vf" ], - "1343ba1b10b245bfd199c22947249af1d756808690c7811c90f07fe0a3772080" + "37015374127d106d51debe8fbb69f2c5826aac1a4db05f646f3182a1fcc3f766" ], [ "file", [ - "/usr/share/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex" + "/usr/share/texmf-dist/tex/latex/base/atveryend-ltx.sty" ], - "5787859fab7c72cc3dfd7134e78bbb0e770a43e7da39f93732c24232249fdde8" + "95a2509f9ade1283bc842ed5c90084853892b67ab7acccfbf85b8acd38e1d7e3" ], [ "file", [ - "/usr/share/texmf-dist/tex/latex/xurl/xurl.sty" + "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex" ], - "5cf09de8dd52b5e77a12145d4987ab4df75a304174d224aa9562eed3dd141ef3" + "14bf1941381e7eb35dce4850d0aa819360f1db9ba9752c81cff19920f2c4c7b7" ], [ "file", [ - "/usr/share/texmf-dist/tex/latex/microtype/microtype.cfg" + "/usr/share/texmf-dist/tex/generic/pgfplots/sys/pgfplotssysgeneric.code.tex" ], - "a4bd4486751d955ae22f96563e5306c9a45227e5ffd25d19dffda84c4d90a5d5" + "7124db702274395928a825f687081477f0de5ee9007b9a4a9208f28f209f67fe" ], [ "file", [ - "/usr/share/texmf-dist/tex/generic/pgfplots/pgfplots.markers.code.tex" + "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex9.tfm" ], - "59104418d1184b73a01e15b254ffb8c5d4320cf510673f095933d88e901617d6" + "70ca3442c95cd6cf3437ab7c2d0e4b9797531eacfe400dccc61d04bda288bae0" ], [ "file", [ - "/usr/share/texmf-dist/tex/latex/listings/lstmisc.sty" + "/usr/share/texmf-dist/tex/latex/listings/lstlang2.sty" ], - "75d13c840d91c5d871782212edfe26358e26b7408a35f4b486bbaa2c7a1fe6ab" + "85aa24029cbac78aabf0c57fe4ec95c58703dac2fc845490157cf1f5a6634a25" ], [ "file", [ - "/usr/share/texmf-dist/tex/latex/cryptocode/cryptocode.sty" + "/usr/share/texmf-dist/tex/latex/atveryend/atveryend.sty" ], - "7d2f0d994fbca993d06586c90b50ffb6f354e19f6bee5a72f5a2c0440fc40689" + "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", @@ -223,93 +510,51 @@ [ "file", [ - "/usr/share/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty" + "/usr/share/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty" ], - "3d2226e3d68b4255061baa496cc9cbc107816a7d364720c1bd8c83dccb047b64" + "99e08946749446e0b9b7faa985f8202740a94476f9e99bab5286cca5ce4766e9" ], [ "file", [ - "/usr/share/texmf-dist/tex/latex/pgfplots/pgfplots.sty" + "/usr/share/texmf-dist/tex/latex/needspace/needspace.sty" ], - "cb353b58769449f756c5c16f9d355c90c0714d1da1228bf912c3a5b208b4890b" + "5ae673ce2a80fb868c954373252294d9e6469feeb78b445182772fd043eb0914" ], [ "file", [ - "/usr/share/texmf-dist/tex/generic/pgfplots/util/pgfplotsbinary.code.tex" + "/usr/share/texmf-dist/tex/latex/base/fontenc.sty" ], - "71271312b0668f69e03014f6c90fcf37112de363643661a2cbb77e047e86d75e" + "b17f7346c2d881bba3bde28711e53cc7d3125e5ea440672f59bbbdbbd95499ed" ], [ "file", [ - "/usr/share/texmf-dist/tex/latex/l3kernel/expl3.sty" + "/usr/share/texmf-dist/tex/latex/hycolor/hycolor.sty" ], - "031f0ee8e4751aff29af9cfda2ced8a8e3f52eb158e682c510856e3ed36d9361" + "8acaa03eda19a8158780356701e905e354e1dc47dc736e6e26fc860c12a15e14" ], [ "file", [ - "/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarypositioning.code.tex" + "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.code.tex" ], - "5a9dba924057a2fed5e4794673fe39bdb090d024e607776d63c9adb9e62d48f8" + "81862c3425e8aa2a82e605eb8fde07b1b7b47862b981922393d4f54ca9fa6250" ], [ "file", [ - "/usr/share/texmf-dist/tex/latex/tools/xspace.sty" + "/usr/share/texmf-dist/tex/latex/environ/environ.sty" ], - "bc3bfd65d4b52e78822cb9f3561c6663c64465f64dc2475e56542dbc213a3e66" + "2efd7043a5a2ec8d495bd7575408b118ba737b9303259cffa74572d28b0da608" ], [ "file", [ - "/usr/share/texmf-dist/tex/latex/breakurl/breakurl.sty" + "/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarydecorations.pathreplacing.code.tex" ], - "6925bc46a229885079783419da3e9de0e2a8cb30c257af0b5a95eba61fe403b2" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.tex" - ], - "cd9bb9fbaac3f5bca5bedd77ca07a8c4457467869e2303fdf2b446a30dca9f9f" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/vf/adobe/times/ptmri8t.vf" - ], - "d1976584168145276587ca1b4f3b6df7c209c8acedf0bafe6ce83a42fb99cd36" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/psnfss/omspzccm.fd" - ], - "44368824173d11ac16855360e4bdb5cf007a1801e3048d5a99cdb874c7b86d06" - ], - [ - "file", - [ - "/usr/share/texmf-dist/web2c/texmf.cnf" - ], - "ddd2722ee024d5f4c13123562e7a220c5a66ad0230fa32afc8b365b810a80251" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/atbegshi/atbegshi.sty" - ], - "a73003b4bb2dc8a814533ddbd31600e6626827799c2a465d03ef42e7a33fa71b" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothandlers.code.tex" - ], - "b3db772dd8eb595d8a5c8ef8d232862f9cef97d4ac9dedee283ad7b6e83361dd" + "acabde0c8a15d23b8e08dd666f1a8f013c9fc5feefbef4cc533065f198d7ee62" ], [ "file", @@ -325,34 +570,6 @@ ], "791b31aa1db8608d0144b3a40fc0fe53383a60f6b00d0e8fd9f06ac4a11df8cb" ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-pdf.def" - ], - "babfe19163bca9c6fa5b1abb6b6154cd0d1ca98888f08f1bf7d06a74de5fd330" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/bitset/bitset.sty" - ], - "af5c7196c69dc9d28225189169b60c9b9039125bc1756c04d54886f0a3e1891e" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgfplots/pgfplotsmeshplotimage.code.tex" - ], - "d4ea2f3c3bf545104a7c40191693d049ec29c391d46ce55807f6284a2aaaf5e1" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/listings/listings.cfg" - ], - "d0dd49d4d3eb37e5fcdc4de4e9add7ea5f150be907ac5c4705b382775e55d62b" - ], [ "file", [ @@ -360,216 +577,6 @@ ], "47c9606c8901d2d5af86b551be31395ce94453729cab40a6f87a10b72de42e45" ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/graphics-def/pdftex.def" - ], - "6b0d3c7739f5344c3356bb0cef98bc17d8710e1e060914f42390d6503141c249" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/xkeyval/xkvutils.tex" - ], - "5e82c31b1b4492c89f0a36c8a1f65ca5dc1d3a7f2ced1b30a1a5be0da9bcc411" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/amsfonts/amsfonts.sty" - ], - "dab8b0e621267acfd89736cf97bdcc02647c545c0719c4997be8a7d1bf98f9c3" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/base/size10.clo" - ], - "c168d18288a2aba793904edf4d836c78d16fff01b8344d1365c6d72a2bd8929c" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgfplots/util/pgfplotsutil.code.tex" - ], - "abd9f7c3a307d3e9d2d53a6a8f8e1358669966bed05820b94841da7f49aa3876" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.code.tex" - ], - "ceafd7c1de02bde3d5a7570489ed6a150db51aabd658c1c78acf1ee5b5f89c6e" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/tools/calc.sty" - ], - "9c9da7f39469dd6ab1cb765cd5ef87dd72792c8eb9426e4619faecd00e9f2345" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/type1/urw/symbol/usyr.pfb" - ], - "2038021a7b6330936fea8562232b48796968fc913c1fd952d29e23bb1fdc891e" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/caption/caption3.sty" - ], - "73f00aabd0be454c9e552841856c573e096ef42d032fe9fd1801763b1b37bea5" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty" - ], - "99e08946749446e0b9b7faa985f8202740a94476f9e99bab5286cca5ce4766e9" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/forloop/forloop.sty" - ], - "7643af86d17f2ae51b37a18ed3cfd90251bb5ee2058a9b24485f11ac3925b333" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/graphics/graphicx.sty" - ], - "e9fe8e56401707f18a3d18716dadfd1dab999d02118c82af05691599cedec445" - ], - [ - "file", - [ - "main.aux" - ], - "c3cc8c708ebdb752e9a019b8040c4517205d8c5251f258ab4f8fac76d80f6b5e" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/microtype/mt-msb.cfg" - ], - "3b7fabb99479f1c970c3d18e1c46de07654d5e3a108c1554fa9ae3026aa72770" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/adobe/symbol/psyr.tfm" - ], - "025ed1e3d1565efb3346f414666c675f49c74d68a6c1dd22e54b754c3ac7371a" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/base/article.cls" - ], - "859217b3457cca472e5a96ef193218c87a4e62a6445cdd501ba7e1954fa32afa" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgfplots/pgfplots.revision.tex" - ], - "d9205e72253d9fed3721b3c8451f4bef5aaa947ae8460144bea18af2d7fbba27" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/collectbox/collectbox.sty" - ], - "e2f8b5c38a97b6149ee589abbce92ef89c26246185a05ca3f314ec104748e1a8" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def" - ], - "c1200f3d129912978bbd41684ffee42e960bf9a776768a5b9f57557140113f7d" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/pgf-pie/pgf-pie.sty" - ], - "853145e186c504759174f1bf8fe3543df5020577ac31c2d170ffffe68c080b8c" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex" - ], - "cda208d98bdc556a06f5915571c6ce4d98c18aa639c4782a56c6d32a6ba68055" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/caption/subcaption.sty" - ], - "5b6b3644307e6db3b04f0f3e2bd0709b8a84add87094da9e5395285e0b705d7e" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgfplots/pgfplotsmeshplothandler.code.tex" - ], - "285da39b32bee58c3cad318670a986b3097efd4442d2452d48abbf3727a47157" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes.geometric.code.tex" - ], - "9ae89f23a7842df4b172627b86e7409597074c6b8f0958040d7669bb83a74a48" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65.sty" - ], - "7df38d1bb03d0bf642b3f53c38d86641765d950f82d481ebd63c67838bc78ee7" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/listings/lstlang1.sty" - ], - "7ec0d3442c273319ee517745cece539182acf7279ab9596d3e56eb32689e7c53" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/float/float.sty" - ], - "be4a09ab7ded44b4ce97ba20a3a3efbb061d186327d5db61f8de6a3cab5019aa" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonometric.code.tex" - ], - "1c8834abe00807467a52d31ef96032d5084b2560eea45995018084d13a3cde3c" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/adobe/times/zptmcmr.tfm" - ], - "366b0b709ad0ebed1389ea6e73f99bd377f02ba03cddc53ade9730771b499b13" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/amsmath/amstext.sty" - ], - "2bf2e4f0efe99c33bfd757e1dee1b4267742f8af3e449d6bdb4342c2917b1bce" - ], [ "file", [ @@ -580,870 +587,9 @@ [ "file", [ - "sections/design.tex" + "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb" ], - "06d054bd2910124096f7bd07f254f261cba7ce9419c30207f606df46cc6b7799" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty" - ], - "050f2ad3a3671a1f4f9bcf97784836301bc751507e7ada546632379406aea103" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.code.tex" - ], - "ea5e14f7fade556cee79636a6824710e97db928542fc1b23dfa618ff6448688e" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/tools/array.sty" - ], - "dc2b9a0057f8455ac0f74960618e7af3de9bf08da0e7078ef8dd0570a2924427" - ], - [ - "file", - [ - "/var/lib/texmf/web2c/pdftex/pdflatex.fmt" - ], - "94ac62800308131e37213df5d5edcbddc246082321af52a58bc5f8881a23c9dd" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgfplots/pgfplots.code.tex" - ], - "6c32e18704d71198bc2ecab0dad47fac47ec9b4cfbd82f106bd04de465361f62" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarydecorations.pathmorphing.code.tex" - ], - "02cfff83b06cc576ae02b8d5618fc9d8bcc02515a5cdb8dd419dd350a42c920d" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/hyperref/hpdftex.def" - ], - "1189381de3bd489df7cd3547548a4888d0171c0ba1cb90cda424afae3b955b89" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgfplots/util/pgfplotscolormap.code.tex" - ], - "b0671f2833e4eb6ee2bd932bbd93f01f92e841b4f6941294b95d5b8075d720e9" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/cite/cite.sty" - ], - "56979b7c69ae65bdb52de5bcd540625cae6dd70119e767db438a4826991910ea" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/adjustbox/adjcalc.sty" - ], - "75d6edb0bd96e79629697ff1827a3e68607942861813c15fd09d2e5225c71b51" - ], - [ - "file", - [ - "figures/replay.tex" - ], - "17decf5a6a2508272bee5cf1a2b41306fafa90e5be473f358d212566ae80d491" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgfplots/util/pgfplotscolor.code.tex" - ], - "521c3db6439ff99c2dbcba5384f8006824ab4a4af28f86785ec9930968272536" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/infwarerr/infwarerr.sty" - ], - "8c3e23b8bb7d940ff26cb0cf96e0151f540acf55020dc3c1aa8bcdb2eb66305c" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/vf/adobe/times/zptmcmr.vf" - ], - "4319d91345df11738d3cb665168c8136d1c1850477ade75d3897b2989e6dba0a" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/amscls/amsthm.sty" - ], - "8d5e2bdb117297385971927b14fe4804314133dc0027b3171249a08280894626" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/psnfss/ot1ptmcm.fd" - ], - "b801752b06491c424a7a5fb340ed8e176481994e3edf35c96eb0c3c53e94c50c" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/algorithms/algorithmic.sty" - ], - "7fe47ed7f8222c56452bd73bf0682e72023ece06d59207653a02e080a341118d" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/url/url.sty" - ], - "2373f56849ac606473e77053e5c1d14c92aba312b3f684e02a130eaf36f2de47" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex" - ], - "7e25bd0bcb3399a5b1ee01c882d0bd51b455fcd1798edf4ecbde4bfc5c2198e1" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def" - ], - "6afcd415b6831a153969f66e8b06e9045fe5a5a40239ef51d76de757105396a2" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex" - ], - "6143371709342ea83dcdb1744a229d18f4c1ee670e1e31b496046a708bfa3e66" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def" - ], - "8c808d286cf896399244d121dd0e847a9205c73facc003fe64ec156ec85fd3e5" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/needspace/needspace.sty" - ], - "5ae673ce2a80fb868c954373252294d9e6469feeb78b445182772fd043eb0914" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/vf/adobe/times/ptmbc8t.vf" - ], - "955ebd4dc842b50eb0317cc7479e880e94d45d3ce1b02c67ed1668ca455b2cc0" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/mdframed/mdframed.sty" - ], - "df0b50bc333789b0a5d67d8a5decbe97745926df500906d5216a540421c857d6" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty" - ], - "9653b8fae6bba95bec40ffbedd7d6c2b8f3be4a85b8b39580ab3ee6c3590041a" - ], - [ - "file", - [ - "usenix.sty" - ], - "a18fa46543dec3f63c4b459bd1e6e4d307f0a77748d97761c4c54a4b905f1b86" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/libraries/decorations/pgflibrarydecorations.pathreplacing.code.tex" - ], - "91ac89b327e3085fdb10a1213657b1c9e6540e1654e3b173193f60c154f381f7" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/microtype/mt-msa.cfg" - ], - "c4fdf8cbd49203b4086e0340de9e9566b7908e804dc8740fba361767f8472ac5" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/vf/adobe/times/zpsycmrv.vf" - ], - "f4d505a1624a70819d41e0319e9ea8c3a6f8f52a8935a396b3824c589e8d3744" - ], - [ - "file", - [ - "/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map" - ], - "f079d814ec1276acba15801beb39911eb18d0b6d556ae7cf884be6fd3d83f2cf" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/ifoddpage/ifoddpage.sty" - ], - "a02ef0946e6764afafa57d21da2328a84946c31697b0f34bcd2499080349b597" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/iftex/iftex.sty" - ], - "2de50639c1f27201f2b4d04e9083e0a51fc5a73b8908eea2e80d6e3205636d4a" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/oberdiek/centernot.sty" - ], - "c95e2924dd95a051923b6a4ea0943fe8aba5ac887f3e6e1cde980ab0288ecfc7" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/adobe/times/zpzccmry.tfm" - ], - "3aee8bf583ce0b60a36b96c984c057043e771a583c91c88d4960217254362869" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.tex" - ], - "1668608078204a627d6e67a853f8a904e6149b901607ae177741c650b143a94e" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/libraries/decorations/pgflibrarydecorations.pathmorphing.code.tex" - ], - "118694789bd8f5f732250b881ce15d36421f7f84e15a56adba1ed3661c5a0450" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex" - ], - "b111efaa8b7c0905870b1ce9bcf400cd59c8db3cfa8d7ae91e7d63c1bac747cc" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty" - ], - "7e22b1ca949259c61d3721bca0a56bcccf7e47cfc776027c5863941635c07aa1" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code.tex" - ], - "9b980e1373f9451da75cc6030a5b4c1671b88a1b14b45ed172cfb7cf2607fe1f" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/xargs/xargs.sty" - ], - "02a5571b6d32aa3446bd005a4e6fa22ddab78fd07e61a7c286e9d13cb01ec60d" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/vf/adobe/times/ptmrc8t.vf" - ], - "05fed05b6f9f0fe92d3702226872449b2af3063f0ac5bf38ae59d475a0e14147" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformations.code.tex" - ], - "bdea875774b4ad7a1e12debc67c46286245031f5c2e287c9e192f3ca4b6193b6" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgfplots/pgfplots.scaling.code.tex" - ], - "3e8298cf4d0f913a2ca6c2bba59d9894a42f8e9572671e4dd2f83f6bceb95b80" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgfplots/pgfplotscore.code.tex" - ], - "4c71ea64f5b3582f1d6346f9f9a782da20ed7a4c76e00ee1f73ee23186a1db9b" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryplotmarks.code.tex" - ], - "0fd495f3a090300a9740c637772e0b5b779f0fbdb94cbfe987815c0def856614" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/zref/zref-abspage.sty" - ], - "c83b1dd1a04d2e81ea4b6e05e66b37cd672610931d0972967535404e18ae9280" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/zref/zref-base.sty" - ], - "8558725c90ca848e8bbdc11b46509bc1e79bfa69ff374b206e73fd8e5de13ed1" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/vf/adobe/times/ptmr8t.vf" - ], - "6c4ef8d50ce7d7cab9f9a7f72497085840c349a022a493b76e27f54e0934430d" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/xkeyval/xkeyval.sty" - ], - "6904c396f2a6992921823387576b7f75074ac3b8e047a8c80687a869aba1e3ae" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/hyperref/pd1enc.def" - ], - "860fb14ebfbd12904aca6dff9e05fad399529d7fe8c00d9b130f02bbc892925d" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/modules/pgfmoduledecorations.code.tex" - ], - "4bdde0208ec6188bb2b5aca3d37c89636070df1e06e6bbf4290f51c0f7c1aa2b" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgfplots/pgfplotscoordprocessing.code.tex" - ], - "765209b4b8739df96bd13c01b5573c043a4b2a3490c7c741d5fa9c7e0743973d" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/graphics/mathcolor.ltx" - ], - "0804bb6e9e1eeeaeda861f29206d308194ea7cc846e38abaa344cdefa1d408cd" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty" - ], - "2df7e0bd148c99d8097352b8ac9948dccf91d61ba360dcf43f82206933b6045b" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/context/base/mkii/supp-pdf.mkii" - ], - "5dd3675b88c7b61d3703e6bf35ed75623acc6b163dff7b1477b485cee8ad71cb" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/caption/caption.sty" - ], - "94b3a07d83bfdc9171d3fcb5ea510e6a9ce01ff9bebac37a1dc066e55f6ad48f" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgfplots/sys/pgfplotssysgeneric.code.tex" - ], - "7124db702274395928a825f687081477f0de5ee9007b9a4a9208f28f209f67fe" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/varwidth/varwidth.sty" - ], - "28625bec96f2e01f6a8c7ec2c77004c71d148e0a9567b29b5c826f8bd248db8b" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgfplots/liststructure/pgfplotsliststructure.code.tex" - ], - "ef606fdf2ffc6197b9e1037860e1fe788cfa1aa3bf271a986dd6662b2e6526ca" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/refcount/refcount.sty" - ], - "1bd5d42025520bef74f8808af99cf3f3be7d2e3774b9931bf85c11ba81bb6cab" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty" - ], - "6e39ff4fdf9f126aff28880a7dd59fccc0e6735409d92ca455cdd2a4f2b4db53" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/public/pslatex/pcrr8rn.tfm" - ], - "368b06aca4eb812397d20e9ed9b0809a6a821678e01e4b4fdb99d4f5ccd7882b" - ], - [ - "file", - [ - "sections/proofs.tex" - ], - "faed679ebf945a37a6e3eed98ec4ddfa6b7d11ebd5d63d58f486dd8293cf20b7" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex" - ], - "818b8e3cd0606bdb8ac7fbaccc5f80033672fa817537536f76bc67bc3942928c" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pdfescape/pdfescape.sty" - ], - "b3f0e56366c11b85dae521f9a48a6fd415dec1ce8c83152fde813a9f64445b49" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex" - ], - "14bf1941381e7eb35dce4850d0aa819360f1db9ba9752c81cff19920f2c4c7b7" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex" - ], - "758e504e9c194cf9bbed098700b1d7969420e9a87552222d3000084a9d095571" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code.tex" - ], - "f83601dd74e8c166162cb3daf926744c44ccf15a0122e17613658f82fa64c6a9" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb" - ], - "62ee8cef552017551cd3e026a483e700730103eceaad959c87b7730017f59cff" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty" - ], - "b90072b20d0590f23fd0ad273d059e3b7737319b3fb61e3bea6102fd77f24b3d" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code.tex" - ], - "c94abbd89ad0556546d9e5053af16b58ce7f38d19c379b27309e5fefd23908f8" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgfplots/liststructure/pgfplotsdeque.code.tex" - ], - "86843251927c29a021eac1635ee8650cfc06265281b50441d8cb6f67bb8504ee" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmbc8t.tfm" - ], - "64786ac4fb83779b33cc166ce57546d8b79405ebfe2fc288d9f43259c131b6a8" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/adobe/times/zpsycmrv.tfm" - ], - "6c22e38daafa2174651a8d356ccd2697473a8ddd8d3d36aeea12db31b9d8d6b2" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/pgf/utilities/pgffor.sty" - ], - "5ae03317ea221a6f68d807775bd06a10625aa9fb1f590dbe2114688f735c447d" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmrc8t.tfm" - ], - "c2416a8db76bcb8ca20e7fd22e5ecfad64d0a07e1a572a28c561f552ffbce55a" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty" - ], - "3a52a05062a74a763ee604b4a3d20f0be4a4b99fe8182373e30ccea0abafc96e" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/hycolor/hycolor.sty" - ], - "8acaa03eda19a8158780356701e905e354e1dc47dc736e6e26fc860c12a15e14" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/environ/environ.sty" - ], - "2efd7043a5a2ec8d495bd7575408b118ba737b9303259cffa74572d28b0da608" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/adobe/zapfchan/pzcmi8r.tfm" - ], - "a4e3b3f754d0c60f8319e6cdea5cd3404f90d631e59de8fdcb74a3f0d97cdeeb" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex" - ], - "9758185623cce6b2a8d4a504d10dfd0a01ef6d3480794fa4c466384f4c08540c" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.tex" - ], - "743e89ac1e529af45751fa85fde4b3438284a63dfd53ff52c94c2f229b20beff" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmri8t.tfm" - ], - "2cd0884fb2fe1c3ad5a318216f5b70dbd5581a5a2f7ffcc0610f0b73a766cb07" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/adjustbox/tc-pdftex.def" - ], - "15fb04c9b9d1b3fcfa65c1ac1dea77f68650b294c8b4735eca0bc22ad859a111" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/listings/lstlang3.sty" - ], - "637dbaa3bc149ada8edc2b471164a63e70457e105e325b4c00cd2b499ca70067" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm" - ], - "d9f5f519ec718e9dbccb8527c1f5d3b4a008dfb946377f97f71611b385d3d010" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/public/cm/cmsy10.tfm" - ], - "0ca13d421ac7133271aed7c935099ecf3d1d08ac9e15f81acb34a16564ab8a46" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgfplots/pgfplotsplothandlers.code.tex" - ], - "76e1322f759550f9171cb0fd9ab601ed1c4ebfd21299c2c24c8294a42022fa7d" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgfplots/util/pgfplotsutil.verb.code.tex" - ], - "878385031a1d3ea317938785f956d075fd419415bc00204b28f3f6792bb30d29" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty" - ], - "26ab10fd43fd5a90f98bcbed3a99978808da8878eb73835db4e0346371aee41e" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/amsmath/amsbsy.sty" - ], - "f69355f4b0a8b650296fe2fd9471783a6940e6525efd5d7d306b5477daef494d" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg" - ], - "10db2171b6e267720299c10b9e84f92c5cf069941dbfe3760e198304e49d5324" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/graphics/color.sty" - ], - "db5153a66a97071b91dc2a2ed59f9b8c87f90082e08573c8c94dba2a46b002bf" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarydecorations.code.tex" - ], - "f4884f0c48ab319d25f2fb0889b8881f15ad7999842054718b15e32de8325773" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/pgf-pie/tikzlibrarypie.code.tex" - ], - "b979dfbffb2eb87811e6b652ac19805eaf14473aeaaae077219e9ac3e9523749" - ], - [ - "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/ptmri7t.tfm" - ], - "8c5b2e8eb57987c20fac30f8f647133e2dcfea899a08f11971a51a8740267fd4" - ], - [ - "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/tex/latex/kvoptions/kvoptions.sty" - ], - "70595629ec990ba8c0b6e6a54afcff2603464e6fce380a54a98549a78d2fc74a" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/kvsetkeys/kvsetkeys.sty" - ], - "e3fcf7f3372a27bb478eb9488eca1e25ed382480d02a6898f190bd955388e055" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/xcolor/xcolor.sty" - ], - "6d66da8f16088689c2f4995b4e920703cc94faade57911ed7aabd32b04367824" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code.tex" - ], - "165569c2ffb6a80272d2853c3d3c4373c386391e8cbb81ed9683ae2a810dd28c" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/amsmath/amsmath.sty" - ], - "da22219a49c094141141bb29034c438d1ccba8a9afe6cdd5d15b96c15bf56901" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgfplots/pgfplots.errorbars.code.tex" - ], - "70c56e4ccf3448f53cfbb90046ada2683dbf2eec1cf586562fe78bcfe146b3de" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/utilities/pgfkeyslibraryfiltered.code.tex" - ], - "b3d57e19c1893ef33eb240cb7da4286418481b44f7b0ab1677fbc190d6a85201" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm" - ], - "3b54bde5cb0e0bd071eea7bc702ed3a1a284f786779ef8e75b06eba4104bb9f2" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/xkeyval/xkeyval.tex" - ], - "29c2b60c6973c374a655e44791799823294d53fb04e16db31a681f71a125b3da" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmr8r.tfm" - ], - "280bb0113e2586156cd9414aab226588bb0a4d0fdf71fe6c6475af70d9b61eef" - ], - [ - "file", - [ - "sections/case_studies.tex" - ], - "1b00d3a888663b62a5288bf827193a1fc440b1a81ffab1e4f73c6c003d3dde97" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/l3packages/xparse/xparse.sty" - ], - "f5d74008cd05735dfcc8b972eae85a6bf6a9fe286da4a86fece0a9fad37a8297" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryshapes.geometric.code.tex" - ], - "5879002284871fadd4cc0eb0e0cc7b056e0b87cd61911ff4ee838adfe2d64b4b" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgfplots/libs/pgflibrarypgfplots.surfshading.code.tex" - ], - "e90c556be8f468865ca2b656913ba8afc2220f2c163f02e0874731a6d34cdd64" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/public/cm/cmr10.tfm" - ], - "87f2d8981927644cbecaf3d639e96e348ea4e7be49d8804468bd8ba9ff3f5244" - ], - [ - "file", - [ - "main.bbl" - ], - "0a26b5b25130874f1f5fcddc43bbee4f344d5df96397afee900ef02693a3ffd0" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmb7t.tfm" - ], - "a615b1aec84d04818ce5a26bcb854f0b5620812374d113e7263cc62b727eb4de" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty" - ], - "8fea89995d37ba4c69137186faafc589c470edcc5026d8a31aadbe5cef47dcb4" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/amsmath/amsopn.sty" - ], - "981dbcccfc3a2449768ae5b1cb7b8b1468bb1f7842429067cd6f6ef0ade42fc2" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/vf/adobe/times/zptmcmrm.vf" - ], - "0d29afad3d63bf3376e99033c1e888942116fd02f3c1d5d526623cf64e71bbaf" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/graphics/keyval.sty" - ], - "8434ad08617159240fd19b4fcae8bf79a6137af413f3798c8a750e9839f8902e" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex" - ], - "ccd576f7cebab3a0c5d5cdef41fc44e638d7bb4a20e0a0465160eba1757795e5" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing.code.tex" - ], - "ebcf9d5dec1714b575ffef09be6cdf03eaf1501f511204d7efae5d73b07b2221" + "e3661061e8aa474d6de5ffa916edceb0e3d8b998862018c147f0357fce00bcd7" ], [ "file", @@ -1455,128 +601,23 @@ [ "file", [ - "/usr/share/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex" + "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code.tex" ], - "6d28f51c1b4cb933969339982286f86bb1c9af70ed34535482321de4cd491664" + "9b980e1373f9451da75cc6030a5b4c1671b88a1b14b45ed172cfb7cf2607fe1f" ], [ "file", [ - "/usr/share/texmf-dist/fonts/enc/dvips/base/8r.enc" + "/usr/share/texmf-dist/tex/latex/breakurl/breakurl.sty" ], - "66dad15c944f0d457a095fd6e9dba30059a4882b1ffb1f4bf62850ce52c8f136" + "6925bc46a229885079783419da3e9de0e2a8cb30c257af0b5a95eba61fe403b2" ], [ "file", [ - "/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex" + "/usr/share/texmf-dist/tex/latex/xkeyval/xkeyval.sty" ], - "6ea4caeea5bcb6cd60b80ef4607e8a79824ec0cdcebb47424c1bdbe0c2ea6671" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty" - ], - "c42f0c2628dc5fbd95b535cf8cd3cc964347653c099d38c0d416f896d84e8240" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorerdf.code.tex" - ], - "0bc32a855862a83b7ece27d2ebf6bfeace759d6b64fb776394eee13d62401350" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/tools/enumerate.sty" - ], - "408dfc3b98b3f52075ab59e86fd574bc0d4b4a1e0baa725a9605dccd1fec74d3" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/base/textcomp.sty" - ], - "f50ebba76b974a541b8fc2541643911efaead656aae39c957c58d5b23b51a5eb" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/multirow/multirow.sty" - ], - "5c33cb1717024ebe00adb88514357ab394ae5f9433418fd0442ba8c64462db14" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/adobe/times/zptmcmrm.tfm" - ], - "94496aab1b217da4a46769edd560c203904b59190180d6b19fdfe51dd9c8a4dc" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/vf/adobe/times/ptmb8t.vf" - ], - "ef67e49c69cade3fa1ca5a7188ce96d9c765c11c951a14265d1bba14137909fd" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/vf/adobe/times/zpzccmry.vf" - ], - "1d5bd14dee929a0c0a6f16822eb42d4fb64a822bab7bb63cb30f247785c05d0b" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18.sty" - ], - "b5a95ba245bb51ce01e5ead16e818a0024f16cd208df3386b30ba0798a911344" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgfplots/oldpgfcompatib/pgfplotsoldpgfsupp_pgfutil-common-lists.tex" - ], - "b353c3d994370f16a1e5867eb9b1d39646c4be7dc896aff5b022ec1fb3dbcadf" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarycalc.code.tex" - ], - "8207f9fe44c55f382b943c0d9ed3e61571825585318111ad1e357746712e6079" - ], - [ - "file", - [ - "sections/conclusion.tex" - ], - "d878163411bb88e73571886858f678c0f02a7a39cb89db5f47f7666495ab084d" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/psnfss/t1ptm.fd" - ], - "c37ac43702abcda55166300b67631a3bc4b3e3d5aa74129509f3c3a9f92ed968" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/listings/lstpatch.sty" - ], - "2472ea616722ae9736cfcb8f72c60ebe6de7b97921be1c43414d6ec735226158" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.code.tex" - ], - "da529b71510425e3a42b242f71ae849f74c09fd8197f7c18e3abb723b67ef958" + "6904c396f2a6992921823387576b7f75074ac3b8e047a8c80687a869aba1e3ae" ], [ "file", @@ -1588,100 +629,37 @@ [ "file", [ - "sections/related_work.tex" + "/usr/share/texmf-dist/tex/generic/pgf/libraries/decorations/pgflibrarydecorations.pathmorphing.code.tex" ], - "1e4a1b66016945212a9810dc62516f3fb6b30ed900ac6d21bd66552c0d5b6605" + "118694789bd8f5f732250b881ce15d36421f7f84e15a56adba1ed3661c5a0450" ], [ "file", [ - "/usr/share/texmf-dist/tex/latex/hyperref/nameref.sty" + "/usr/share/texmf-dist/tex/latex/caption/caption3.sty" ], - "1bd958ef4ce46f3d15f7c77f6c2d084289e0e6d6017d5a3a341d83f0998b99a7" + "73f00aabd0be454c9e552841856c573e096ef42d032fe9fd1801763b1b37bea5" ], [ "file", [ - "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex" + "/usr/share/texmf-dist/tex/generic/pgfplots/util/pgfplotsbinary.code.tex" ], - "ec94fcfeeda3204c4e43d2008be50b6005da0e642deafaead137284d66e82926" + "71271312b0668f69e03014f6c90fcf37112de363643661a2cbb77e047e86d75e" ], [ "file", [ - "figures/drop.tex" + "/usr/share/texmf-dist/tex/generic/pgfplots/pgfplots.revision.tex" ], - "03477986ebf3fd929ec92b3a3f1a5fef3975269dd4ab8a1c829f8f09de00a3d3" + "d9205e72253d9fed3721b3c8451f4bef5aaa947ae8460144bea18af2d7fbba27" ], [ "file", [ - "/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg" + "/usr/share/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg" ], - "eb308ac3d665db8dd3c03b18328c551609346c659c2ce0e5029223fbcc339cb3" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/adjustbox/adjustbox.sty" - ], - "9e0966d9d505c56237694f90387b6da6b7e6b197367890c4e26ee348a96f84b5" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/mdframed/md-frame-0.mdf" - ], - "eb5b30fa6b459ce7c9f994d12379a8dd0c2d7dd5d46d61e2f7066bf54ec1c47b" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/type1/urw/times/utmri8a.pfb" - ], - "f9a0c528b42d2ded2884e31cf1d225b81739ca9b17a0e7cb362fad404ce0aedf" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex" - ], - "aa771cadef59f480af688c690c5de28e23636ef4890842b9758b7d8943ede4ac" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/hyperref/puenc.def" - ], - "70942bf5c0f0725234b8677e18170952b39b5959d6b1d5f9ccfb1ec88a049bf5" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/libraries/pgflibraryfpu.code.tex" - ], - "8c1897e7e28685c9c01964981ec450119bd223ccf93e9367e9f959048dc59e8d" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/etexcmds/etexcmds.sty" - ], - "a7db2834e02bd11be0e62a3be15e3dc293ba1be9196f19b29b9d98bfdbeb7514" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarytopaths.code.tex" - ], - "992706da31e055cdbecf5b1bf1b9c267383e3b4d4385773448f868e1cabf17f2" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/graphics-cfg/color.cfg" - ], - "a3529ccdadc8248b4c5d7c34ceea53bdc1509b54f18a192ad51b924bd297d8df" + "10db2171b6e267720299c10b9e84f92c5cf069941dbfe3760e198304e49d5324" ], [ "file", @@ -1693,485 +671,30 @@ [ "file", [ - "/usr/share/texmf-dist/tex/latex/auxhook/auxhook.sty" + "/usr/share/texmf-dist/tex/latex/hyperref/nameref.sty" ], - "1d9f36f4e9674bef594a47cac7d5781e9f7e0c7c8edf9f72769f4dc6f10d1b5f" + "1bd958ef4ce46f3d15f7c77f6c2d084289e0e6d6017d5a3a341d83f0998b99a7" ], [ "file", [ - "/usr/share/texmf-dist/tex/latex/graphics/graphics.sty" + "/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-pdf.def" ], - "36e2e612e708d04785971d6bcfed324d0a0f9ce337ea73680e69dd2603d0327a" + "babfe19163bca9c6fa5b1abb6b6154cd0d1ca98888f08f1bf7d06a74de5fd330" ], [ "file", [ - "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code.tex" + "/usr/share/texmf-dist/tex/latex/amsmath/amsopn.sty" ], - "51038be668b2083ac5e8ae38a1da6f75091ee9471d71f33749d01a8bff1a9aa6" + "981dbcccfc3a2449768ae5b1cb7b8b1468bb1f7842429067cd6f6ef0ade42fc2" ], [ "file", [ - "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.code.tex" + "/usr/share/texmf-dist/tex/generic/intcalc/intcalc.sty" ], - "81862c3425e8aa2a82e605eb8fde07b1b7b47862b981922393d4f54ca9fa6250" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.tex" - ], - "541e41626d66e0e8bc8b5249805c9efbb134dfe0dc85c63102eea3c2d21da6f0" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb" - ], - "e3661061e8aa474d6de5ffa916edceb0e3d8b998862018c147f0357fce00bcd7" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/map/fontname/texfonts.map" - ], - "d9693993efdc7d0b9ab3df777589995d43e24eeae95f12b6a230a19caadeaa42" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/hyperref/hyperref.sty" - ], - "3e2bd51be23486a776165ebda8bdef7d442c0b779db14652dcc1e40429b1c1ad" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb" - ], - "fdcede8794018df5f2b58f0905fb20a2b418ed8f67b73ee12445855dfbe5b1be" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code.tex" - ], - "f5454a5037c902bf21166d9592d5d15790f4b70c00a636d2b2fc47b76c8ccb21" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/base/ifthen.sty" - ], - "b8cbd3c3ed9f0f58e1103c91e29ab8de344a19f4cc7d27fde8d14d962dcf0495" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/microtype/mt-ptm.cfg" - ], - "e1995a63bf0e7a8690ec6a0ddf0bfb343cfdbbf02499ae7e92e55c10c01099a7" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/base/atbegshi-ltx.sty" - ], - "6720c4cf09cf91e8055b9ad4b54275cbd690be65b1f36805fa457c059d2e29a2" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgfplots/libs/pgfplotslibrary.code.tex" - ], - "12dfa15deed098538d51fb665a4f4ff759d8ef63d9216b38c19e87fbb0b476dc" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/pgf.revision.tex" - ], - "ac54ea0a31097f28b4e37b09fa17985728d589c10640cf220d7e959f63b9e731" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgfplots/liststructure/pgfplotsarray.code.tex" - ], - "38442c559fd7e7be2a812d4d809940795fc9535e6d571dbf52c5a0493b26f998" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/listings/lstlang2.sty" - ], - "85aa24029cbac78aabf0c57fe4ec95c58703dac2fc845490157cf1f5a6634a25" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/base/inputenc.sty" - ], - "d06a1d6ac38fac720ec7fbccfe6396224e1e69616e7ba5f15e37b55bc4a6c75f" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmb8r.tfm" - ], - "a48198d87f9b9f90d652b8f41d41dbb3978a44669225c89394a4620031ace6a2" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct.code.tex" - ], - "64b0b4193616b937a2b4520c678f8863ae06ab38385bb58db437b39a8f27719b" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/pgf/math/pgfmath.sty" - ], - "4abed7d8c88642201dd1a932a435ae05a1f2659f1f7e95c72d6b5347c83d232a" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex" - ], - "e7c6e44b8fb9fe8fab049144fbe3e430dbc2b441148d72999e309cd5fc3a83c5" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/graphics/trig.sty" - ], - "c2a4f1d01abaf7ad739f1af03238ebb6ab35a7bbfbd5d713acceddda4fb043d5" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/psnfss/omxpsycm.fd" - ], - "75a3c72622fab0214a111e68baa8c5902606970121a5b1761393b46e9ac847de" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgfplots/pgfplotsticks.code.tex" - ], - "7005297bdcb9afb98162d9d2f4e0555285bb025c8359413f9785f2a57ffd228a" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgfplots/libs/tikzlibrarypgfplots.contourlua.code.tex" - ], - "92d3506845332bb9cd1a9ec001690eb0ba1e11c2b63e63244941873b5e8cb85e" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/libraries/pgflibraryplotmarks.code.tex" - ], - "c65e39ffd0c7fac8fabf7a51a47acd9e11bac5b70dce14347b1c78887c81151f" - ], - [ - "file", - [ - "sections/abstract.tex" - ], - "ebbfa121a0c9938a61ed97ebdede74717a16cda8ffcfd9c0ce8c693f28db42ab" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/libraries/pgflibraryarrows.code.tex" - ], - "7fca2c36196a01d5c7122a05116afd42920029a57a632ab205bd6b82f2327197" - ], - [ - "file", - [ - "main.tex" - ], - "d3db9df0de139d2d283aad8c44061db128246b88e6822f526468f2af56c39c6d" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/microtype/microtype-pdftex.def" - ], - "fd8878fa5816e590ca1bd33610e180b25989d4778118b47caabce988bfab45de" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/listings/listings.sty" - ], - "30538b8ba51ea04fc7b48ee99f7a37b657b1e225cba41d3dbffe2bfa2af5eb57" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/pbox/pbox.sty" - ], - "ac474048c041a3adf962c03d5f34018e70b24fdcd2a810acf48c5f2ab5895128" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/base/fontenc.sty" - ], - "b17f7346c2d881bba3bde28711e53cc7d3125e5ea440672f59bbbdbbd95499ed" - ], - [ - "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/latex/carlisle/scalefnt.sty" - ], - "fbf28cb0d4589c8e2db9f27c030e9298c09e69ee5d39ed570b45b87c85c0b48f" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/algorithms/algorithm.sty" - ], - "d63fdf24879f0efd535bc6d06bc2a008b79ae77f6d6d2bc96156ff1f35e96bd7" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty" - ], - "cc7121c5706c5c52807aea879ca0a9083a8dc81b04d96303d0d398804d9d3d52" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/pslatex/pslatex.sty" - ], - "e9c211328c2bcb7141798b0c3290c98433ec7809bc7bc4520acc834e3358011b" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/mathtools/mathtools.sty" - ], - "de594addf85d23a28649db7d9973a11afe591796a6e64c81bb7eb7f8638a0b02" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgfplots/util/pgfplotsbinary.data.code.tex" - ], - "d48a5679ca97f921aa11c6ac0aea9773f8791ab8cf71399ed731f44236d04eed" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryarrows.code.tex" - ], - "ebfe3e9cc88116a5229c3d66e2ff8c3bbcba34f7c9abc93269754e193ba6f62a" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/psnfss/ts1ptm.fd" - ], - "4b8d9c7c23b797b9da9bab1dbd4d3c886c0e7763eb9fe59ea12f4c903f33bea3" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/public/pslatex/pcrr8tn.tfm" - ], - "f4c7c2af35ab8a109abd094d163eaddca0580169faa080d29b576ecfc15444fe" - ], - [ - "file", - [ - "figures/reorder.tex" - ], - "7beedd460d18d0ece01628181733a48b6104589cbc8361e10759ef8221c15712" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison.code.tex" - ], - "ea5ff35778088d94d8d2f1a20075ec57cc4ecd22844f9c288625a6db59ba7818" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/vf/adobe/times/ptmr8c.vf" - ], - "37015374127d106d51debe8fbb69f2c5826aac1a4db05f646f3182a1fcc3f766" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex" - ], - "212f64f8641fb944a006a3c0825e78d30b0a2c5e3b4c4d62ff59ef61214caeed" - ], - [ - "file", - [ - "sections/introduction.tex" - ], - "722a10038b56c41626966275347911ee0781708f436af48daeced8cd77c8b5e9" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code.tex" - ], - "f91d37fcda30e70ae85fbd9030682bc64df4424fc1260704def57dc6c444a63a" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-luatex.def" - ], - "886838765f41bdbb8a97700bdf958330abbb0ab8e7d713a9cb60fdaca78d09b4" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/base/atveryend-ltx.sty" - ], - "95a2509f9ade1283bc842ed5c90084853892b67ab7acccfbf85b8acd38e1d7e3" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/graphics-cfg/graphics.cfg" - ], - "feb91e48789a21e4acced98e952c77a2e2cf4a77e01bf147b59fa56a1b3f2008" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code.tex" - ], - "545c4616f93c5f5d25bc04090a0b7ef869bab84b3952fadfd539d71187c83fe0" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/adjustbox/trimclip.sty" - ], - "bbc1ce1248e51a197049422ebcf51c471b41eabc7910afdfbf329e4522491647" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/changepage/changepage.sty" - ], - "c26adc410847658bbb8ddcadfb5fee6fa71254f07df5f007d2126760d6715a02" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/psnfss/omlptmcm.fd" - ], - "241bc058cb0d34b7fcd8669e90b674d394e9c2e6e338999a9da4b5799dbb733d" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgfplots/liststructure/pgfplotsliststructureext.code.tex" - ], - "a4cd7e5531850e0e874c1096838ec55d62bf413dd7488f5316f730ce833f42db" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/etoolbox/etoolbox.sty" - ], - "b10381f0017ae75bd03dc9175b35ad56b93fdd24f2a47dd4aa9c6987ef35ccdb" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/bigfoot/suffix.sty" - ], - "64e2a5058863536d987c8059216e700786042bc7ee868b55262d86a9da777af6" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/type1/urw/times/utmr8a.pfb" - ], - "2ef9d47303d25f3c9553a43255dae8c39160e130ad5ed34444e39dee03d796a1" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/psnfss/mathptmx.sty" - ], - "fbf51b6bf0e1b336b3f7dc0cfb05a679f83ddbb81026ce24cf46713debeaba7b" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/mathtools/mhsetup.sty" - ], - "c3ae1e23f43029fbfc271e3b1440a692e1cd924d1810430b99e4f2aa5b9ccf09" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/public/cm/cmmi10.tfm" - ], - "e442c5487f84df70218ff37f775c87060856f5b6e04c011b6cadbbadfcf46645" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.tex" - ], - "7533dd80c95a5124726b0a617a5f458226d4a7490bcd209e3fd7e717e24dc127" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex" - ], - "7fa0ff434e9cdeb14c40f326d53e6ea0273ef2046daf28987992e2488d186c85" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/math/pgfint.code.tex" - ], - "95f8053efeeb2267d543d8d1afb10195d6114765eea7b90755b4e0c359324d64" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integerarithmetics.code.tex" - ], - "6e9383c1e63a6dbcfd2d95369905df566bdb6e7374c06e28c15a25eb782dc46b" + "1343ba1b10b245bfd199c22947249af1d756808690c7811c90f07fe0a3772080" ], [ "file", @@ -2183,38 +706,1515 @@ [ "file", [ - "/usr/share/texmf-dist/tex/latex/atveryend/atveryend.sty" + "/usr/share/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def" ], - "a62143db8b3bf1e52082c32e3feb7450bc90c000c6c48a38fa51cf96a6075eae" + "6afcd415b6831a153969f66e8b06e9045fe5a5a40239ef51d76de757105396a2" ], [ "file", [ - "main.log" + "/usr/share/texmf-dist/tex/latex/bigfoot/suffix.sty" ], - "752663fd0b56281881d6b437cd267c95f71f99bdb9d84d609bdf7407dd5603d7" + "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", + [ + "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex" + ], + "ccd576f7cebab3a0c5d5cdef41fc44e638d7bb4a20e0a0465160eba1757795e5" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code.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" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/modules/pgfmoduledecorations.code.tex" + ], + "4bdde0208ec6188bb2b5aca3d37c89636070df1e06e6bbf4290f51c0f7c1aa2b" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryplotmarks.code.tex" + ], + "0fd495f3a090300a9740c637772e0b5b779f0fbdb94cbfe987815c0def856614" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/pgfplots/pgfplots.sty" + ], + "cb353b58769449f756c5c16f9d355c90c0714d1da1228bf912c3a5b208b4890b" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmr8r.tfm" + ], + "280bb0113e2586156cd9414aab226588bb0a4d0fdf71fe6c6475af70d9b61eef" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty" + ], + "c42f0c2628dc5fbd95b535cf8cd3cc964347653c099d38c0d416f896d84e8240" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/public/pslatex/pcrr8tn.tfm" + ], + "f4c7c2af35ab8a109abd094d163eaddca0580169faa080d29b576ecfc15444fe" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgfplots/libs/pgfplotslibrary.code.tex" + ], + "12dfa15deed098538d51fb665a4f4ff759d8ef63d9216b38c19e87fbb0b476dc" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/vf/adobe/times/zptmcmrm.vf" + ], + "0d29afad3d63bf3376e99033c1e888942116fd02f3c1d5d526623cf64e71bbaf" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/ifoddpage/ifoddpage.sty" + ], + "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" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/math/pgfint.code.tex" + ], + "95f8053efeeb2267d543d8d1afb10195d6114765eea7b90755b4e0c359324d64" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex" + ], + "7fa0ff434e9cdeb14c40f326d53e6ea0273ef2046daf28987992e2488d186c85" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty" + ], + "cc7121c5706c5c52807aea879ca0a9083a8dc81b04d96303d0d398804d9d3d52" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/adjustbox/trimclip.sty" + ], + "bbc1ce1248e51a197049422ebcf51c471b41eabc7910afdfbf329e4522491647" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code.tex" + ], + "f83601dd74e8c166162cb3daf926744c44ccf15a0122e17613658f82fa64c6a9" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct.code.tex" + ], + "64b0b4193616b937a2b4520c678f8863ae06ab38385bb58db437b39a8f27719b" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgfplots/util/pgfplotscolormap.code.tex" + ], + "b0671f2833e4eb6ee2bd932bbd93f01f92e841b4f6941294b95d5b8075d720e9" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmb7t.tfm" + ], + "a615b1aec84d04818ce5a26bcb854f0b5620812374d113e7263cc62b727eb4de" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.tex" + ], + "743e89ac1e529af45751fa85fde4b3438284a63dfd53ff52c94c2f229b20beff" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/listings/lstmisc.sty" + ], + "75d13c840d91c5d871782212edfe26358e26b7408a35f4b486bbaa2c7a1fe6ab" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/zref/zref-abspage.sty" + ], + "c83b1dd1a04d2e81ea4b6e05e66b37cd672610931d0972967535404e18ae9280" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/adobe/symbol/psyr.tfm" + ], + "025ed1e3d1565efb3346f414666c675f49c74d68a6c1dd22e54b754c3ac7371a" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/amsmath/amsbsy.sty" + ], + "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" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/algorithms/algorithmic.sty" + ], + "7fe47ed7f8222c56452bd73bf0682e72023ece06d59207653a02e080a341118d" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/kvoptions/kvoptions.sty" + ], + "70595629ec990ba8c0b6e6a54afcff2603464e6fce380a54a98549a78d2fc74a" ], [ "file", [ "main.pdf" ], - "133ca45f18ce7e8244c1aa894d46ad5ac8158749a6c2d90ea87dff8104329be4" + "1c82d89519fd0294dba32c9216552b72db8d9831ecd70ff9c91b0bd628a41630" ], [ "file", [ "./main.fls" ], - "2cf8d4dbd28c9506a5cbebbfc2bd5dd09c6266e3d3364d60083dd14d1683b554" + "60cf857af15b59a670b700d5e52fd26e72857a1fadfff46ea792a8667a0f350b" + ], + [ + "file", + [ + "main.log" + ], + "537f01d4ec3a6dda9d0217c4f4ee261f2b1b5fade581f0ffe56eccec962aa47f" ] ], "output_files": { - "main.log": "752663fd0b56281881d6b437cd267c95f71f99bdb9d84d609bdf7407dd5603d7", + "main.pdf": "1c82d89519fd0294dba32c9216552b72db8d9831ecd70ff9c91b0bd628a41630", + "./main.fls": "60cf857af15b59a670b700d5e52fd26e72857a1fadfff46ea792a8667a0f350b", "main.out": "304267c103c910a05fe68553008376f511ab1aae07637bdbdfe09ffdedd9621d", - "main.pdf": "133ca45f18ce7e8244c1aa894d46ad5ac8158749a6c2d90ea87dff8104329be4", - "./main.fls": "2cf8d4dbd28c9506a5cbebbfc2bd5dd09c6266e3d3364d60083dd14d1683b554", - "main.aux": "c3cc8c708ebdb752e9a019b8040c4517205d8c5251f258ab4f8fac76d80f6b5e" + "main.aux": "49e38c3939cd8bd528738477666b0d79bcf8977a0229f53808dc8e401ebc8b70", + "main.log": "537f01d4ec3a6dda9d0217c4f4ee261f2b1b5fade581f0ffe56eccec962aa47f" }, "extra": { "jobname": "./main", @@ -4451,10 +4451,10 @@ } }, "clean": { - "main.log": "752663fd0b56281881d6b437cd267c95f71f99bdb9d84d609bdf7407dd5603d7", - "main.pdf": "133ca45f18ce7e8244c1aa894d46ad5ac8158749a6c2d90ea87dff8104329be4", - "main.aux": "c3cc8c708ebdb752e9a019b8040c4517205d8c5251f258ab4f8fac76d80f6b5e", - "./main.fls": "2cf8d4dbd28c9506a5cbebbfc2bd5dd09c6266e3d3364d60083dd14d1683b554", + "main.log": "537f01d4ec3a6dda9d0217c4f4ee261f2b1b5fade581f0ffe56eccec962aa47f", + "main.pdf": "1c82d89519fd0294dba32c9216552b72db8d9831ecd70ff9c91b0bd628a41630", + "main.aux": "49e38c3939cd8bd528738477666b0d79bcf8977a0229f53808dc8e401ebc8b70", + "./main.fls": "60cf857af15b59a670b700d5e52fd26e72857a1fadfff46ea792a8667a0f350b", "./main.bbl": "0a26b5b25130874f1f5fcddc43bbee4f344d5df96397afee900ef02693a3ffd0", "./main.blg": "29bc2b66af372120935571cbf3091ac4bf1ee495fd03e638bae3f52e837e2682", "main.out": "304267c103c910a05fe68553008376f511ab1aae07637bdbdfe09ffdedd9621d", diff --git a/main.aux b/main.aux index d166a74..6271310 100644 --- a/main.aux +++ b/main.aux @@ -43,14 +43,14 @@ \newlabel{lst:korg_replay}{{6}{4}{Example replay attacker model gadget with the selected replay limit as 3, targetting channel "cn"}{figure.caption.6}{}} \@writefile{lof}{\contentsline {figure}{\numberline {7}{\ignorespaces Example reordering attacker model gadget with the selected replay limit as 3, targetting channel "cn"}}{5}{figure.caption.7}\protected@file@percent } \newlabel{lst:korg_reordering}{{7}{5}{Example reordering attacker model gadget with the selected replay limit as 3, targetting channel "cn"}{figure.caption.7}{}} -\@writefile{toc}{\contentsline {subsection}{\numberline {3.3}Usage}{5}{subsection.3.3}\protected@file@percent } -\newlabel{sub:Usage}{{3.3}{5}{Usage}{subsection.3.3}{}} \citation{Cluzel_Georgiou_Moy_Zeller_2021,Smith_1997,Pacheco2022} \citation{Pacheco2022} \citation{Pacheco2022} \citation{Woos_Wilcox_Anton_Tatlock_Ernst_Anderson_2016,Wilcox_Woos_Panchekha_Tatlock_Wang_Ernst_Anderson,Ongaro} \citation{Ongaro} \citation{Wilcox_Woos_Panchekha_Tatlock_Wang_Ernst_Anderson} +\@writefile{toc}{\contentsline {subsection}{\numberline {3.3}Usage}{6}{subsection.3.3}\protected@file@percent } +\newlabel{sub:Usage}{{3.3}{6}{Usage}{subsection.3.3}{}} \newlabel{lst:abp}{{2}{6}{Example (simplified) \promela model of the alternating bit protocol}{lstlisting.2}{}} \@writefile{lol}{\contentsline {lstlisting}{\numberline {2}{\ignorespaces Example (simplified) \textsc {Promela}\xspace model of the alternating bit protocol.}}{6}{lstlisting.2}\protected@file@percent } \newlabel{lst:korg-shell}{{3.3}{6}{}{lstlisting.-5}{}} @@ -58,14 +58,14 @@ \newlabel{sec:case_studies}{{4}{6}{Case Studies}{section.4}{}} \@writefile{toc}{\contentsline {subsection}{\numberline {4.1}TCP}{6}{subsection.4.1}\protected@file@percent } \newlabel{sub:TCP}{{4.1}{6}{TCP}{subsection.4.1}{}} -\@writefile{toc}{\contentsline {subsection}{\numberline {4.2}Raft}{6}{subsection.4.2}\protected@file@percent } -\newlabel{sub:Raft}{{4.2}{6}{Raft}{subsection.4.2}{}} \citation{Ongaro} \citation{Woos_Wilcox_Anton_Tatlock_Ernst_Anderson_2016} \citation{Ginesin2024} \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}{}} +\@writefile{toc}{\contentsline {subsection}{\numberline {4.2}Raft}{7}{subsection.4.2}\protected@file@percent } +\newlabel{sub:Raft}{{4.2}{7}{Raft}{subsection.4.2}{}} \newlabel{res:raft_table}{{\caption@xref {res:raft_table}{ on input line 91}}{7}{Raft}{figure.caption.9}{}} \@writefile{lof}{\contentsline {figure}{\numberline {9}{\ignorespaces Breakdown of the attacker scenarios assessed with \textsc {Panda}\xspace against our buggy Raft \textsc {Promela}\xspace model, \texttt {raft-bug.pml}. In all experiments, the Raft model was set to five peers and the drop/replay limits of the gadgets \textsc {Panda}\xspace synthesized were set to two. We conducted our experiments on a research computing cluster, allocating 250GB of memory to each verification run. The full models and attacker traces are included in the artifact.}}{7}{figure.caption.9}\protected@file@percent } \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}{}} @@ -73,12 +73,12 @@ \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}{}} -\@writefile{toc}{\contentsline {subsection}{\numberline {5.1}Mathematical Preliminaries}{7}{subsection.5.1}\protected@file@percent } -\newlabel{sub:Mathematical Preliminaries}{{5.1}{7}{Mathematical Preliminaries}{subsection.5.1}{}} \citation{Hippel2022} \citation{Hippel2022} \citation{Hippel2022} \citation{Hippel2022} +\@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 } \newlabel{sub:Proofs of Soundness and Completeness}{{5.2}{8}{Proofs of Soundness and Completeness}{subsection.5.2}{}} \citation{Hippel2022} diff --git a/main.fls b/main.fls index 56b6bf7..f99a3da 100644 --- a/main.fls +++ b/main.fls @@ -507,7 +507,6 @@ INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm -INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/ptmrc8t.tfm INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/ptmr8t.tfm INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/ptmri8t.tfm INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/zptmcmr.tfm @@ -534,6 +533,25 @@ INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm +INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/zptmcmr.tfm +INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/zptmcmr.tfm +INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/zptmcmrm.tfm +INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/zptmcmrm.tfm +INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/zpzccmry.tfm +INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/zpzccmry.tfm +INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/zpsycmrv.tfm +INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/zpsycmrv.tfm +INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/ptmb7t.tfm +INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/ptmb7t.tfm +INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/ptmri7t.tfm +INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/ptmri7t.tfm +INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm +INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm +INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm +INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm +INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/ptmr8t.tfm +INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/ptmr8t.tfm +INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/ptmrc8t.tfm INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/ptmb8t.tfm INPUT ./sections/abstract.tex INPUT ./sections/abstract.tex @@ -566,6 +584,8 @@ 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 @@ -574,24 +594,13 @@ 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/ptmrc8t.vf 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/ptmrc8t.vf +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/vf/adobe/times/ptmr8c.vf INPUT /usr/share/texmf-dist/fonts/tfm/public/pslatex/pcrr8tn.tfm -INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/zptmcmr.tfm -INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/zptmcmr.tfm -INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/zptmcmrm.tfm -INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/zptmcmrm.tfm -INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/zpzccmry.tfm -INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/zpzccmry.tfm -INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/zpsycmrv.tfm -INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/zpsycmrv.tfm -INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/ptmb7t.tfm -INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/ptmb7t.tfm -INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/ptmri7t.tfm -INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/ptmri7t.tfm -INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm -INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm -INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm -INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm INPUT ./sections/gadgets.tex INPUT ./sections/gadgets.tex INPUT ./sections/gadgets.tex @@ -608,6 +617,10 @@ INPUT ./figures/replay.tex INPUT ./figures/replay.tex INPUT ./figures/replay.tex INPUT ./figures/replay.tex +INPUT /usr/share/texmf-dist/fonts/vf/public/pslatex/pcrr8tn.vf +INPUT /usr/share/texmf-dist/fonts/tfm/public/pslatex/pcrr8rn.tfm +INPUT /usr/share/texmf-dist/fonts/vf/adobe/times/ptmb8t.vf +INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/ptmb8r.tfm INPUT ./figures/reorder.tex INPUT ./figures/reorder.tex INPUT ./figures/reorder.tex @@ -615,10 +628,6 @@ INPUT ./figures/reorder.tex INPUT ./figures/reorder.tex INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/ptmr8t.tfm INPUT /usr/share/texmf-dist/fonts/tfm/public/pslatex/pcrr8tn.tfm -INPUT /usr/share/texmf-dist/fonts/vf/public/pslatex/pcrr8tn.vf -INPUT /usr/share/texmf-dist/fonts/tfm/public/pslatex/pcrr8rn.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/tfm/adobe/times/ptmbc8t.tfm INPUT ./sections/design.tex INPUT ./sections/design.tex @@ -630,8 +639,6 @@ INPUT ./assets/diagram3.png INPUT ./assets/diagram3.png INPUT ./assets/diagram3.png INPUT ./assets/diagram3.png -INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/ptmr8t.tfm -INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/ptmr8t.tfm INPUT /usr/share/texmf-dist/fonts/tfm/public/pslatex/pcrr8tn.tfm INPUT /usr/share/texmf-dist/fonts/vf/adobe/times/ptmr8t.vf INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/ptmr8r.tfm @@ -639,10 +646,6 @@ INPUT /usr/share/texmf-dist/fonts/vf/public/pslatex/pcrr8tn.vf INPUT /usr/share/texmf-dist/fonts/tfm/public/pslatex/pcrr8rn.tfm INPUT /usr/share/texmf-dist/fonts/vf/adobe/times/ptmbc8t.vf INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/ptmb8r.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/ptmr8t.vf -INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/ptmr8r.tfm INPUT /usr/share/texmf-dist/fonts/vf/public/pslatex/pcrr8tn.vf INPUT /usr/share/texmf-dist/fonts/tfm/public/pslatex/pcrr8rn.tfm INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/ptmbc8t.tfm @@ -677,7 +680,6 @@ INPUT /usr/share/texmf-dist/fonts/vf/adobe/times/zptmcmr.vf INPUT /usr/share/texmf-dist/fonts/tfm/adobe/symbol/psyr.tfm INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/ptmr8r.tfm INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmr10.tfm -INPUT /usr/share/texmf-dist/fonts/vf/adobe/times/ptmr8t.vf INPUT /usr/share/texmf-dist/fonts/vf/adobe/times/zpzccmry.vf INPUT /usr/share/texmf-dist/fonts/tfm/adobe/zapfchan/pzcmi8r.tfm INPUT /usr/share/texmf-dist/fonts/vf/adobe/times/zptmcmrm.vf diff --git a/main.log b/main.log index 7b28a01..1b323b5 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) 24 FEB 2025 11:10 +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 entering extended mode restricted \write18 enabled. %&-line parsing enabled. @@ -1404,6 +1404,10 @@ 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. 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. +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. +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 LaTeX Font Info: Trying to load font information for TS1+ptm on input line 2 8. @@ -1419,26 +1423,18 @@ Package microtype Info: Loading generic protrusion settings for font family (microtype) `pcr' (encoding: T1). (microtype) For optimal results, create family-specific settings. (microtype) See the microtype manual for details. -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 34. -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 34. Excluding 'comment' comment.) (./sections/gadgets.tex (./figures/drop.tex LaTeX Warning: `h' float specifier changed to `ht'. -) (./figures/replay.tex) (./figures/reorder.tex +) (./figures/replay.tex) [2] (./figures/reorder.tex Overfull \hbox (18.32658pt too wide) in paragraph at lines 33--34 [][] [] -)) -Underfull \vbox (badness 2213) has occurred while \output is active [] - - [2] -(./sections/design.tex - +)) (./sections/design.tex + File: assets/diagram3.png Graphic file (type png) Package pdftex.def Info: assets/diagram3.png used on input line 23. @@ -1453,14 +1449,7 @@ LaTeX Warning: `h' float specifier changed to `ht'. Package hyperref Info: bookmark level for unknown lstlisting defaults to 0 on i nput line 78. -[3 <./assets/diagram3.png (PNG copy)>] - -LaTeX Warning: `h' float specifier changed to `ht'. - - -Underfull \vbox (badness 10000) has occurred while \output is active [] - - [4] +[3 <./assets/diagram3.png (PNG copy)>] [4] LaTeX Warning: `h' float specifier changed to `ht'. @@ -1468,7 +1457,11 @@ LaTeX Warning: `h' float specifier changed to `ht'. LaTeX Warning: Reference `lst:drop_passer' on page 5 undefined on input line 28 5. -[5] Excluding 'comment' comment.) (./sections/case_studies.tex + +Underfull \vbox (badness 10000) has occurred while \output is active [] + + [5] +Excluding 'comment' comment.) (./sections/case_studies.tex Underfull \hbox (badness 10000) in paragraph at lines 19--19 []\T1/pcr/m/n/10 SYN_RECEIVED \T1/ptm/m/n/10 (+20) is even-tu-ally fol-lowed by @@ -1500,9 +1493,6 @@ 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, [] - -LaTeX Warning: `!h' float specifier changed to `!ht'. - ) (./sections/proofs.tex [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/ @@ -1557,11 +1547,11 @@ Package rerunfilecheck Info: File `main.out' has not changed. (rerunfilecheck) Checksum: BD71A0BDAFAA9B932BE3B9ECF5FF6C8D;1940. ) Here is how much of TeX's memory you used: - 43575 strings out of 476076 - 947295 string characters out of 5793776 - 2122187 words of memory out of 5000000 + 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 - 697027 words of font info for 507 fonts, out of 8000000 for 9000 + 698237 words of font info for 510 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 @@ -1575,10 +1565,10 @@ msfonts/cm/cmsy10.pfb> -Output written on main.pdf (11 pages, 246495 bytes). +Output written on ./main.pdf (11 pages, 246593 bytes). PDF statistics: - 512 PDF objects out of 1000 (max. 8388607) - 475 compressed objects within 5 object streams - 240 named destinations out of 1000 (max. 500000) - 122506 words of extra memory for PDF output out of 128383 (max. 10000000) + 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) diff --git a/main.pdf b/main.pdf index 1a3c2dd..1920ca1 100644 Binary files a/main.pdf and b/main.pdf differ diff --git a/main.tex b/main.tex index 7bfc0ae..ead565d 100644 --- a/main.tex +++ b/main.tex @@ -85,7 +85,7 @@ comment,adjustbox,mdframed,changepage,algorithm,algorithmic} \date{} % make title bold and 14 pt font (Latex default is non-bold, 16 pt) -\title{\korg: An Attack Synthesis Tool\\ for Distributed Protocols\footnote{\korg is an anonymized name for double-blind submission.}} +\title{\korg: An Attack Synthesis Tool\\ for Distributed Protocols\footnote{}} %for single author (just remove % characters) \author{ @@ -104,6 +104,7 @@ Northeastern University } % end author \maketitle +\footnote{\korg is an anonymized name for double-blind submission.} \begin{abstract}