diff --git a/.latexrun.db b/.latexrun.db index f80d0fd..30890ac 100644 --- a/.latexrun.db +++ b/.latexrun.db @@ -62,373 +62,16 @@ [ "file", [ - "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam5.tfm" + "/usr/share/texmf-dist/tex/generic/pgf/libraries/pgflibraryplotmarks.code.tex" ], - "c800d1dfd533040219fcc06d52e0e00c2a20fb9b0039fe9f58ccec53fd003a9f" + "c65e39ffd0c7fac8fabf7a51a47acd9e11bac5b70dce14347b1c78887c81151f" ], [ "file", [ - "/usr/share/texmf-dist/fonts/tfm/public/cm/cmr8.tfm" + "/usr/share/texmf-dist/tex/latex/caption/caption3.sty" ], - "4c5ae243ac0aa254e7ec7f0602cc2a4351e5011ff0cb6dc150a5f6de19585de6" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/vf/adobe/courier/pcrr7t.vf" - ], - "a9b778bb98f910fe898bbee9001238db4af4d97187a21361350bd5e39a55bbe1" - ], - [ - "file", - [ - "main.bbl" - ], - "b6db5b7d60093a0a051cc600f23cb458e7a9b4e2fc1fd56a6615553a53f27a71" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb" - ], - "e3661061e8aa474d6de5ffa916edceb0e3d8b998862018c147f0357fce00bcd7" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmbc7t.tfm" - ], - "7b937cad233ff7c8d6bee5988c0a51ba0212e852ba2617059620d2cf98f6e630" - ], - [ - "file", - [ - "/usr/share/texmf-dist/web2c/texmf.cnf" - ], - "ddd2722ee024d5f4c13123562e7a220c5a66ad0230fa32afc8b365b810a80251" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/public/cm/cmr6.tfm" - ], - "106afa9172f0c00e58b9f5cbc72b302a18aaeeaddf50caca145af9cc0b81afd2" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/base/ifthen.sty" - ], - "b8cbd3c3ed9f0f58e1103c91e29ab8de344a19f4cc7d27fde8d14d962dcf0495" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm" - ], - "d9f5f519ec718e9dbccb8527c1f5d3b4a008dfb946377f97f71611b385d3d010" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/graphics-cfg/graphics.cfg" - ], - "feb91e48789a21e4acced98e952c77a2e2cf4a77e01bf147b59fa56a1b3f2008" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmb7t.tfm" - ], - "a615b1aec84d04818ce5a26bcb854f0b5620812374d113e7263cc62b727eb4de" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmb8r.tfm" - ], - "a48198d87f9b9f90d652b8f41d41dbb3978a44669225c89394a4620031ace6a2" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/amscls/amsthm.sty" - ], - "8d5e2bdb117297385971927b14fe4804314133dc0027b3171249a08280894626" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm" - ], - "3b54bde5cb0e0bd071eea7bc702ed3a1a284f786779ef8e75b06eba4104bb9f2" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/vf/adobe/times/ptmb7t.vf" - ], - "72d719be55d369638225c639af2e631a10ecfb662b59edd37d445c954e5dfb79" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmr8r.tfm" - ], - "280bb0113e2586156cd9414aab226588bb0a4d0fdf71fe6c6475af70d9b61eef" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/vf/adobe/times/ptmri7t.vf" - ], - "162e1f6e89ce4ceb9c99f532ebdd6da6237088663fad290867d907ab6145a327" - ], - [ - "file", - [ - "sections/introduction.tex" - ], - "563e81379a901e2409e51e34b7fd4f913f755dd3409014423f87a2bd4b4939df" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/cite/cite.sty" - ], - "56979b7c69ae65bdb52de5bcd540625cae6dd70119e767db438a4826991910ea" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/psnfss/ot1pcr.fd" - ], - "58fe4bfa8fe5ed99bc3e28230d07e7ce32e89b338dc247d2934f0bb32bf516b8" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm" - ], - "373172fe340e4aede5129b89d65f576bfb1fe6932bd55c38f60bcaa84f3d1188" - ], - [ - "file", - [ - "sections/conclusion.tex" - ], - "4fc6bbde75727e25ba79d08653e620c87e6bf053c097c7c0b79d0bc58a39af92" - ], - [ - "file", - [ - "sections/design.tex" - ], - "2945bc0e5ec8e4dcde2109c6768815da432e2d2a6f5f9cb4b160106fa690af06" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr6.pfb" - ], - "9fe20cb9ef24a0f4c74d38a65d4eee5cff3165f3b8600407ceba396aeb2b7617" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm5.tfm" - ], - "9e0909a297a3097e50960158d324006ddd5302db665400fa1fdf966df14e1a17" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/adobe/courier/pcrr7t.tfm" - ], - "1388f235f7f54d28db4af569ee32821869aefbef29ee622c7e30b2e41dbda87c" - ], - [ - "file", - [ - "/var/lib/texmf/web2c/pdftex/pdflatex.fmt" - ], - "94ac62800308131e37213df5d5edcbddc246082321af52a58bc5f8881a23c9dd" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg" - ], - "10db2171b6e267720299c10b9e84f92c5cf069941dbfe3760e198304e49d5324" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb" - ], - "62ee8cef552017551cd3e026a483e700730103eceaad959c87b7730017f59cff" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmri7t.tfm" - ], - "8c5b2e8eb57987c20fac30f8f647133e2dcfea899a08f11971a51a8740267fd4" - ], - [ - "file", - [ - "assets/diagram-anon.png" - ], - "edcd08d90964e97d7ef9116c109606dbecfb9fffd9fa8b787c756e45ba7b10af" - ], - [ - "file", - [ - "main.tex" - ], - "cb7d09947734eeb88cd3bbeb8be37a1fd4ed5f814b261374514ecb0790407e20" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/vf/adobe/times/ptmbi7t.vf" - ], - "6d6b87797a48bb5ff09b505d26ac4eff2e3d54ead648fae8bc0d6e506c9aa8d2" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr5.pfb" - ], - "84d38aac226b5274baca7a292e2039f5284a35d8a2ae31074a475fad87da310b" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/graphics/graphicx.sty" - ], - "e9fe8e56401707f18a3d18716dadfd1dab999d02118c82af05691599cedec445" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/public/cm/cmsy6.tfm" - ], - "137eb9f38f661c66309614066a7b5d63d8969d33aba0c9efee9f844a4ce65b50" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/vf/adobe/times/ptmrc7t.vf" - ], - "0011bdb7dbf11831fa73c87e70751c267754f1ebbe50a9cedf409ea0c22db41a" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/context/base/mkii/supp-pdf.mkii" - ], - "5dd3675b88c7b61d3703e6bf35ed75623acc6b163dff7b1477b485cee8ad71cb" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/listings/listings.sty" - ], - "30538b8ba51ea04fc7b48ee99f7a37b657b1e225cba41d3dbffe2bfa2af5eb57" - ], - [ - "file", - [ - "sections/case_studies.tex" - ], - "a702c25a1f60c57a7747a41fb1f3edaffdd2e17ed0c74186f124dd7e48a2b844" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/amsmath/amsgen.sty" - ], - "1232e78c8af6c4bc16c024fe33b9c4c3322679ad6887be22bc013ddb8d254ed9" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/graphics/graphics.sty" - ], - "36e2e612e708d04785971d6bcfed324d0a0f9ce337ea73680e69dd2603d0327a" - ], - [ - "file", - [ - "/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map" - ], - "f079d814ec1276acba15801beb39911eb18d0b6d556ae7cf884be6fd3d83f2cf" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/graphics/mathcolor.ltx" - ], - "0804bb6e9e1eeeaeda861f29206d308194ea7cc846e38abaa344cdefa1d408cd" - ], - [ - "file", - [ - "sections/abstract.tex" - ], - "56ed68e932967546fef0a9c476b8008e7e0b3619c678368913572f82d8f168b4" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi7.pfb" - ], - "5b293a581ddb937b02559c3ce1a60184cc434295533204a2cd3864a6ad8a1f53" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/public/cm/cmmi8.tfm" - ], - "65af8c1e162a952cab8e93c834fcf43ce09b508e6c16e512ebb673cd850b0d41" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/amsfonts/amsfonts.sty" - ], - "dab8b0e621267acfd89736cf97bdcc02647c545c0719c4997be8a7d1bf98f9c3" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/vf/adobe/times/ptmr7t.vf" - ], - "0df4bc46c777ddc91e944bdfd27e345fe906a914fd1288189ec26419fc65db50" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm7.tfm" - ], - "361b5530a4b410c6274e9330c11e993843c62e394323aeaa6e0aee61e8042444" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/tools/xspace.sty" - ], - "bc3bfd65d4b52e78822cb9f3561c6663c64465f64dc2475e56542dbc213a3e66" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr7.pfb" - ], - "b37e8671820b0753c6e233eaa3230c6ab9cff04e6c4baee312d60ae261e5aba1" + "73f00aabd0be454c9e552841856c573e096ef42d032fe9fd1801763b1b37bea5" ], [ "file", @@ -440,191 +83,9 @@ [ "file", [ - "/usr/share/texmf-dist/tex/latex/listings/lstlang3.sty" + "/usr/share/texmf-dist/tex/latex/tools/enumerate.sty" ], - "637dbaa3bc149ada8edc2b471164a63e70457e105e325b4c00cd2b499ca70067" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/listings/listings.cfg" - ], - "d0dd49d4d3eb37e5fcdc4de4e9add7ea5f150be907ac5c4705b382775e55d62b" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex8.tfm" - ], - "3f56ab22f7fc6a015813976c6c6cc2fd55736bbaec4958a4562e10719fa18062" - ], - [ - "file", - [ - "sections/examples.tex" - ], - "eda3be341eb1b9e823395b8b494d4ec6281ee520749c220b52e871ed3ae772fb" - ], - [ - "file", - [ - "IEEEtran.cls" - ], - "c972aca108fda004c3514d63658e02816da2e54d9a1451e870b9bd970e003f55" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/algorithms/algorithmic.sty" - ], - "7fe47ed7f8222c56452bd73bf0682e72023ece06d59207653a02e080a341118d" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/graphics-def/pdftex.def" - ], - "6b0d3c7739f5344c3356bb0cef98bc17d8710e1e060914f42390d6503141c249" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmri8r.tfm" - ], - "5a8d22bbac97332450c06d766ea8f4cac97ebe0c941da9d473a5d422b8bb0667" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/public/cm/cmmi6.tfm" - ], - "ab6ecb4aaba9ca1b4259b1d1f64309a785bbaeb09183fd79a066b7764a448a28" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/public/cm/cmsy8.tfm" - ], - "84c37f07ca360c41ad0a0fba7387d279d72457c69bdae03653208c683d8de6bc" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/enc/dvips/base/8r.enc" - ], - "66dad15c944f0d457a095fd6e9dba30059a4882b1ffb1f4bf62850ce52c8f136" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/listings/lstlang2.sty" - ], - "85aa24029cbac78aabf0c57fe4ec95c58703dac2fc845490157cf1f5a6634a25" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/amsmath/amsmath.sty" - ], - "da22219a49c094141141bb29034c438d1ccba8a9afe6cdd5d15b96c15bf56901" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/type1/urw/courier/ucrr8a.pfb" - ], - "8816758f882b18a97a2fcdd4e496b881cd7726b8612648cbfb1c9de2d9853029" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/amsfonts/umsa.fd" - ], - "48355e960333be747dd7b4500e76fde7c3ef0b1fa9c74ec0f1438af0d3a661a4" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/type1/urw/times/utmbi8a.pfb" - ], - "21d029fda4757908be702f42811199eac11ce5886c0acfddd574df4545b1e7a9" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/type1/urw/times/utmb8a.pfb" - ], - "7f3f19f61452892a29d06af2836331ca78aed29390914d294f7a440d35927142" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def" - ], - "8c808d286cf896399244d121dd0e847a9205c73facc003fe64ec156ec85fd3e5" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi8.pfb" - ], - "f396f52d9ed3498c15aa7e694baef74c0a11119624fcd6db66dad4ac76972cb0" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty" - ], - "3d2226e3d68b4255061baa496cc9cbc107816a7d364720c1bd8c83dccb047b64" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/psnfss/ot1ptm.fd" - ], - "9c5beb0652c0f26a78269825fea061968682671d11e2a16513d1a602bf248400" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/psnfss/ts1pcr.fd" - ], - "c5616c536e51dd8a0e9e826f713519cb85e3fc4c6bd4165183cffe970c10ab46" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/amsmath/amsbsy.sty" - ], - "f69355f4b0a8b650296fe2fd9471783a6940e6525efd5d7d306b5477daef494d" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/listings/lstmisc.sty" - ], - "75d13c840d91c5d871782212edfe26358e26b7408a35f4b486bbaa2c7a1fe6ab" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmrc7t.tfm" - ], - "9d0c9a870b82d754695e37b6fb24dc07d51a685fb0dad1d30fa69dfb209ac224" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmbi7t.tfm" - ], - "f9649f1a4d564693fd52835b7bd9def8a0d0a8ad8abd1ed3c7f8246949e15e26" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/adobe/courier/pcrr8c.tfm" - ], - "03c370d1baa81f70c0ff70f6e574953151e8211bfd76e8ad9965e0bfd3fdd263" + "408dfc3b98b3f52075ab59e86fd574bc0d4b4a1e0baa725a9605dccd1fec74d3" ], [ "file", @@ -633,12 +94,467 @@ ], "6d66da8f16088689c2f4995b4e920703cc94faade57911ed7aabd32b04367824" ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/l3packages/xparse/xparse.sty" + ], + "f5d74008cd05735dfcc8b972eae85a6bf6a9fe286da4a86fece0a9fad37a8297" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/tools/calc.sty" + ], + "9c9da7f39469dd6ab1cb765cd5ef87dd72792c8eb9426e4619faecd00e9f2345" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/pgf-pie/tikzlibrarypie.code.tex" + ], + "b979dfbffb2eb87811e6b652ac19805eaf14473aeaaae077219e9ac3e9523749" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg" + ], + "10db2171b6e267720299c10b9e84f92c5cf069941dbfe3760e198304e49d5324" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/adobe/courier/pcrr8c.tfm" + ], + "03c370d1baa81f70c0ff70f6e574953151e8211bfd76e8ad9965e0bfd3fdd263" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb" + ], + "62ee8cef552017551cd3e026a483e700730103eceaad959c87b7730017f59cff" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/amsfonts/umsb.fd" + ], + "e20f21f6ed631cbe3a627d5da5fef82367732a7d51207f8df5ee7e9c77ee342e" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarycalc.code.tex" + ], + "8207f9fe44c55f382b943c0d9ed3e61571825585318111ad1e357746712e6079" + ], + [ + "file", + [ + "sections/case_studies.tex" + ], + "23eb74bb1e9978e63b7cf6a71e5826432bc588f19e63e533f5001cfd85b2da9e" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb" + ], + "e3661061e8aa474d6de5ffa916edceb0e3d8b998862018c147f0357fce00bcd7" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.code.tex" + ], + "da529b71510425e3a42b242f71ae849f74c09fd8197f7c18e3abb723b67ef958" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty" + ], + "050f2ad3a3671a1f4f9bcf97784836301bc751507e7ada546632379406aea103" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty" + ], + "8fea89995d37ba4c69137186faafc589c470edcc5026d8a31aadbe5cef47dcb4" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-pdf.def" + ], + "babfe19163bca9c6fa5b1abb6b6154cd0d1ca98888f08f1bf7d06a74de5fd330" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmbi7t.tfm" + ], + "f9649f1a4d564693fd52835b7bd9def8a0d0a8ad8abd1ed3c7f8246949e15e26" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/amsmath/amsopn.sty" + ], + "981dbcccfc3a2449768ae5b1cb7b8b1468bb1f7842429067cd6f6ef0ade42fc2" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/changepage/changepage.sty" + ], + "c26adc410847658bbb8ddcadfb5fee6fa71254f07df5f007d2126760d6715a02" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam7.tfm" + ], + "719d100c110fa1cfae9ad0b63e6c21753f4980f925fa516c1a04961e206f69d5" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/hyperref/puenc.def" + ], + "70942bf5c0f0725234b8677e18170952b39b5959d6b1d5f9ccfb1ec88a049bf5" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty" + ], + "9d11c81501953d689787ff14c073d2f1eda5874068db9e882b8dbbf9a9d863b0" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/libraries/decorations/pgflibrarydecorations.pathmorphing.code.tex" + ], + "118694789bd8f5f732250b881ce15d36421f7f84e15a56adba1ed3661c5a0450" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm" + ], + "d9f5f519ec718e9dbccb8527c1f5d3b4a008dfb946377f97f71611b385d3d010" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/public/cm/cmr8.tfm" + ], + "4c5ae243ac0aa254e7ec7f0602cc2a4351e5011ff0cb6dc150a5f6de19585de6" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/public/cm/cmmi8.tfm" + ], + "65af8c1e162a952cab8e93c834fcf43ce09b508e6c16e512ebb673cd850b0d41" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.code.tex" + ], + "c10a26a167c06b16e2d80ee4b119f77818ba2357ece3e5bc3cf7470c5dfb09f9" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/kvoptions/kvoptions.sty" + ], + "70595629ec990ba8c0b6e6a54afcff2603464e6fce380a54a98549a78d2fc74a" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex" + ], + "e7c6e44b8fb9fe8fab049144fbe3e430dbc2b441148d72999e309cd5fc3a83c5" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/graphics-cfg/graphics.cfg" + ], + "feb91e48789a21e4acced98e952c77a2e2cf4a77e01bf147b59fa56a1b3f2008" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgfplots/liststructure/pgfplotsmatrix.code.tex" + ], + "a22375071be85968f3b7489bd64c01f5317ca1ddadc0b7ab1f8257181d55a35b" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/xurl/xurl.sty" + ], + "5cf09de8dd52b5e77a12145d4987ab4df75a304174d224aa9562eed3dd141ef3" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/listings/lstmisc.sty" + ], + "75d13c840d91c5d871782212edfe26358e26b7408a35f4b486bbaa2c7a1fe6ab" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgfplots/pgfplotsticks.code.tex" + ], + "7005297bdcb9afb98162d9d2f4e0555285bb025c8359413f9785f2a57ffd228a" + ], + [ + "file", + [ + "sections/abstract.tex" + ], + "56ed68e932967546fef0a9c476b8008e7e0b3619c678368913572f82d8f168b4" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty" + ], + "3a52a05062a74a763ee604b4a3d20f0be4a4b99fe8182373e30ccea0abafc96e" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryplotmarks.code.tex" + ], + "0fd495f3a090300a9740c637772e0b5b779f0fbdb94cbfe987815c0def856614" + ], + [ + "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/tex/generic/pgf/modules/pgfmoduledecorations.code.tex" + ], + "4bdde0208ec6188bb2b5aca3d37c89636070df1e06e6bbf4290f51c0f7c1aa2b" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/infwarerr/infwarerr.sty" + ], + "8c3e23b8bb7d940ff26cb0cf96e0151f540acf55020dc3c1aa8bcdb2eb66305c" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/hyperref/hyperref.sty" + ], + "3e2bd51be23486a776165ebda8bdef7d442c0b779db14652dcc1e40429b1c1ad" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/zref/zref-abspage.sty" + ], + "c83b1dd1a04d2e81ea4b6e05e66b37cd672610931d0972967535404e18ae9280" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty" + ], + "9653b8fae6bba95bec40ffbedd7d6c2b8f3be4a85b8b39580ab3ee6c3590041a" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex" + ], + "8986f92b517f94415ae5642fc03eb9a8998fdaab446ab2e10f97985d5a9589da" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/libraries/pgflibraryfpu.code.tex" + ], + "8c1897e7e28685c9c01964981ec450119bd223ccf93e9367e9f959048dc59e8d" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def" + ], + "6afcd415b6831a153969f66e8b06e9045fe5a5a40239ef51d76de757105396a2" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex" + ], + "cda208d98bdc556a06f5915571c6ce4d98c18aa639c4782a56c6d32a6ba68055" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmrc7t.tfm" + ], + "9d0c9a870b82d754695e37b6fb24dc07d51a685fb0dad1d30fa69dfb209ac224" + ], + [ + "file", + [ + "/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map" + ], + "f079d814ec1276acba15801beb39911eb18d0b6d556ae7cf884be6fd3d83f2cf" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/caption/subcaption.sty" + ], + "5b6b3644307e6db3b04f0f3e2bd0709b8a84add87094da9e5395285e0b705d7e" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code.tex" + ], + "51038be668b2083ac5e8ae38a1da6f75091ee9471d71f33749d01a8bff1a9aa6" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/pgfplots/pgfplots.sty" + ], + "cb353b58769449f756c5c16f9d355c90c0714d1da1228bf912c3a5b208b4890b" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct.code.tex" + ], + "64b0b4193616b937a2b4520c678f8863ae06ab38385bb58db437b39a8f27719b" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgfplots/oldpgfcompatib/pgfplotsoldpgfsupp_loader.code.tex" + ], + "a36a28ecd51df3dd0f63446f24a84290ec322095280578063ae9b94804014c37" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/amscls/amsthm.sty" + ], + "8d5e2bdb117297385971927b14fe4804314133dc0027b3171249a08280894626" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/libraries/decorations/pgflibrarydecorations.pathreplacing.code.tex" + ], + "91ac89b327e3085fdb10a1213657b1c9e6540e1654e3b173193f60c154f381f7" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex" + ], + "ec94fcfeeda3204c4e43d2008be50b6005da0e642deafaead137284d66e82926" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/xkeyval/xkeyval.tex" + ], + "29c2b60c6973c374a655e44791799823294d53fb04e16db31a681f71a125b3da" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/trimspaces/trimspaces.sty" + ], + "8e9907a5787d119339d60775c68d4a42e84f0b3993acf567600440dd161c52f8" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryshapes.geometric.code.tex" + ], + "5879002284871fadd4cc0eb0e0cc7b056e0b87cd61911ff4ee838adfe2d64b4b" + ], [ "file", [ "main.aux" ], - "c5758369254f9270b4bd5d7c39d2546ce1b3c0637cf740777c174109e28c53f2" + "726798af1d7bf7b10ad03e9f573b28b65ef6889150dbdec7d6f6eaa88759b22d" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/base/atveryend-ltx.sty" + ], + "95a2509f9ade1283bc842ed5c90084853892b67ab7acccfbf85b8acd38e1d7e3" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/adjustbox/adjustbox.sty" + ], + "9e0966d9d505c56237694f90387b6da6b7e6b197367890c4e26ee348a96f84b5" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/varwidth/varwidth.sty" + ], + "28625bec96f2e01f6a8c7ec2c77004c71d148e0a9567b29b5c826f8bd248db8b" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def" + ], + "8c808d286cf896399244d121dd0e847a9205c73facc003fe64ec156ec85fd3e5" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/listings/lstlang3.sty" + ], + "637dbaa3bc149ada8edc2b471164a63e70457e105e325b4c00cd2b499ca70067" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm" + ], + "3b54bde5cb0e0bd071eea7bc702ed3a1a284f786779ef8e75b06eba4104bb9f2" ], [ "file", @@ -657,44 +573,30 @@ [ "file", [ - "/usr/share/texmf-dist/tex/latex/amsfonts/amssymb.sty" + "/usr/share/texmf-dist/tex/latex/graphics/color.sty" ], - "70838b061b56569dd3ed9f339b1bdd1c78ba185de49f27ceae331c97f48b5986" + "db5153a66a97071b91dc2a2ed59f9b8c87f90082e08573c8c94dba2a46b002bf" ], [ "file", [ - "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam7.tfm" + "/usr/share/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty" ], - "719d100c110fa1cfae9ad0b63e6c21753f4980f925fa516c1a04961e206f69d5" + "b90072b20d0590f23fd0ad273d059e3b7737319b3fb61e3bea6102fd77f24b3d" ], [ "file", [ - "/usr/share/texmf-dist/fonts/map/fontname/texfonts.map" + "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code.tex" ], - "d9693993efdc7d0b9ab3df777589995d43e24eeae95f12b6a230a19caadeaa42" + "f91d37fcda30e70ae85fbd9030682bc64df4424fc1260704def57dc6c444a63a" ], [ "file", [ - "/usr/share/texmf-dist/tex/latex/comment/comment.sty" + "/usr/share/texmf-dist/fonts/enc/dvips/base/8r.enc" ], - "27b76432648ff0c428cc0f435d9caa015880fb7d7fc02fbce45f284451a7e7ab" - ], - [ - "file", - [ - "/usr/share/texmf-dist/tex/latex/listings/lstlang1.sty" - ], - "7ec0d3442c273319ee517745cece539182acf7279ab9596d3e56eb32689e7c53" - ], - [ - "file", - [ - "/usr/share/texmf-dist/fonts/tfm/adobe/courier/pcrr8r.tfm" - ], - "013a6ef55bb5ee9768300df0f4a4d67660fc82b03085b1af358e053da1e21ca7" + "66dad15c944f0d457a095fd6e9dba30059a4882b1ffb1f4bf62850ce52c8f136" ], [ "file", @@ -706,65 +608,506 @@ [ "file", [ - "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb" + "/usr/share/texmf-dist/tex/generic/pgfplots/pgfplots.errorbars.code.tex" ], - "fdcede8794018df5f2b58f0905fb20a2b418ed8f67b73ee12445855dfbe5b1be" + "70c56e4ccf3448f53cfbb90046ada2683dbf2eec1cf586562fe78bcfe146b3de" ], [ "file", [ - "/usr/share/texmf-dist/tex/latex/amsmath/amsopn.sty" + "/usr/share/texmf-dist/tex/latex/hyperref/hpdftex.def" ], - "981dbcccfc3a2449768ae5b1cb7b8b1468bb1f7842429067cd6f6ef0ade42fc2" + "1189381de3bd489df7cd3547548a4888d0171c0ba1cb90cda424afae3b955b89" ], [ "file", [ - "/usr/share/texmf-dist/fonts/type1/urw/times/utmr8a.pfb" + "/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarydecorations.pathmorphing.code.tex" ], - "2ef9d47303d25f3c9553a43255dae8c39160e130ad5ed34444e39dee03d796a1" + "02cfff83b06cc576ae02b8d5618fc9d8bcc02515a5cdb8dd419dd350a42c920d" ], [ "file", [ - "/usr/share/texmf-dist/tex/latex/tools/array.sty" + "/usr/share/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex" ], - "dc2b9a0057f8455ac0f74960618e7af3de9bf08da0e7078ef8dd0570a2924427" + "6d28f51c1b4cb933969339982286f86bb1c9af70ed34535482321de4cd491664" ], [ "file", [ - "/usr/share/texmf-dist/tex/latex/base/textcomp.sty" + "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformations.code.tex" ], - "f50ebba76b974a541b8fc2541643911efaead656aae39c957c58d5b23b51a5eb" + "bdea875774b4ad7a1e12debc67c46286245031f5c2e287c9e192f3ca4b6193b6" ], [ "file", [ - "/usr/share/texmf-dist/tex/latex/amsfonts/umsb.fd" + "/usr/share/texmf-dist/tex/latex/atveryend/atveryend.sty" ], - "e20f21f6ed631cbe3a627d5da5fef82367732a7d51207f8df5ee7e9c77ee342e" + "a62143db8b3bf1e52082c32e3feb7450bc90c000c6c48a38fa51cf96a6075eae" ], [ "file", [ - "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmbi8r.tfm" + "/usr/share/texmf-dist/fonts/vf/adobe/times/ptmb7t.vf" ], - "466613f08ae6423521bd9aa1d0be9dc69f610e223f171f6f07b91844626d4bd1" + "72d719be55d369638225c639af2e631a10ecfb662b59edd37d445c954e5dfb79" ], [ "file", [ - "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmr7t.tfm" + "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex" ], - "1ca2496e79881aae2e9f7eeb36a51e4d51ef9c7700c57d8f008fc32a2ed0bfda" + "7fa0ff434e9cdeb14c40f326d53e6ea0273ef2046daf28987992e2488d186c85" ], [ "file", [ - "/usr/share/texmf-dist/tex/latex/graphics/trig.sty" + "/usr/share/texmf-dist/tex/generic/pgfplots/numtable/pgfplotstableshared.code.tex" ], - "c2a4f1d01abaf7ad739f1af03238ebb6ab35a7bbfbd5d713acceddda4fb043d5" + "ae3fd038684fb1192d7a9059d5c8b261cccbf647f0f3d9ac084be882b5ec9895" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr5.pfb" + ], + "84d38aac226b5274baca7a292e2039f5284a35d8a2ae31074a475fad87da310b" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm7.tfm" + ], + "361b5530a4b410c6274e9330c11e993843c62e394323aeaa6e0aee61e8042444" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex" + ], + "7e25bd0bcb3399a5b1ee01c882d0bd51b455fcd1798edf4ecbde4bfc5c2198e1" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex" + ], + "212f64f8641fb944a006a3c0825e78d30b0a2c5e3b4c4d62ff59ef61214caeed" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex" + ], + "6ea4caeea5bcb6cd60b80ef4607e8a79824ec0cdcebb47424c1bdbe0c2ea6671" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/type1/urw/times/utmbi8a.pfb" + ], + "21d029fda4757908be702f42811199eac11ce5886c0acfddd574df4545b1e7a9" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-luatex.def" + ], + "886838765f41bdbb8a97700bdf958330abbb0ab8e7d713a9cb60fdaca78d09b4" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmr8r.tfm" + ], + "280bb0113e2586156cd9414aab226588bb0a4d0fdf71fe6c6475af70d9b61eef" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm" + ], + "373172fe340e4aede5129b89d65f576bfb1fe6932bd55c38f60bcaa84f3d1188" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/vf/adobe/courier/pcrr7t.vf" + ], + "a9b778bb98f910fe898bbee9001238db4af4d97187a21361350bd5e39a55bbe1" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/adjustbox/adjcalc.sty" + ], + "75d6edb0bd96e79629697ff1827a3e68607942861813c15fd09d2e5225c71b51" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgfplots/pgfplots.revision.tex" + ], + "d9205e72253d9fed3721b3c8451f4bef5aaa947ae8460144bea18af2d7fbba27" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.tex" + ], + "7533dd80c95a5124726b0a617a5f458226d4a7490bcd209e3fd7e717e24dc127" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/amsmath/amsgen.sty" + ], + "1232e78c8af6c4bc16c024fe33b9c4c3322679ad6887be22bc013ddb8d254ed9" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/pgf/utilities/pgffor.sty" + ], + "5ae03317ea221a6f68d807775bd06a10625aa9fb1f590dbe2114688f735c447d" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.tex" + ], + "541e41626d66e0e8bc8b5249805c9efbb134dfe0dc85c63102eea3c2d21da6f0" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgfplots/oldpgfcompatib/pgfplotsoldpgfsupp_pgfutil-common-lists.tex" + ], + "b353c3d994370f16a1e5867eb9b1d39646c4be7dc896aff5b022ec1fb3dbcadf" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pdfescape/pdfescape.sty" + ], + "b3f0e56366c11b85dae521f9a48a6fd415dec1ce8c83152fde813a9f64445b49" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/tools/xspace.sty" + ], + "bc3bfd65d4b52e78822cb9f3561c6663c64465f64dc2475e56542dbc213a3e66" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex" + ], + "5787859fab7c72cc3dfd7134e78bbb0e770a43e7da39f93732c24232249fdde8" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgfplots/util/pgfplotsutil.verb.code.tex" + ], + "878385031a1d3ea317938785f956d075fd419415bc00204b28f3f6792bb30d29" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/amsfonts/umsa.fd" + ], + "48355e960333be747dd7b4500e76fde7c3ef0b1fa9c74ec0f1438af0d3a661a4" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/vf/adobe/times/ptmri7t.vf" + ], + "162e1f6e89ce4ceb9c99f532ebdd6da6237088663fad290867d907ab6145a327" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgfplots/sys/pgfplotssysgeneric.code.tex" + ], + "7124db702274395928a825f687081477f0de5ee9007b9a4a9208f28f209f67fe" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgfplots/libs/pgfplotslibrary.code.tex" + ], + "12dfa15deed098538d51fb665a4f4ff759d8ef63d9216b38c19e87fbb0b476dc" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.code.tex" + ], + "81862c3425e8aa2a82e605eb8fde07b1b7b47862b981922393d4f54ca9fa6250" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmri7t.tfm" + ], + "8c5b2e8eb57987c20fac30f8f647133e2dcfea899a08f11971a51a8740267fd4" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/amsfonts/amssymb.sty" + ], + "70838b061b56569dd3ed9f339b1bdd1c78ba185de49f27ceae331c97f48b5986" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/graphics/graphics.sty" + ], + "36e2e612e708d04785971d6bcfed324d0a0f9ce337ea73680e69dd2603d0327a" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/pbox/pbox.sty" + ], + "ac474048c041a3adf962c03d5f34018e70b24fdcd2a810acf48c5f2ab5895128" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/graphics/mathcolor.ltx" + ], + "0804bb6e9e1eeeaeda861f29206d308194ea7cc846e38abaa344cdefa1d408cd" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/refcount/refcount.sty" + ], + "1bd5d42025520bef74f8808af99cf3f3be7d2e3774b9931bf85c11ba81bb6cab" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/psnfss/ot1pcr.fd" + ], + "58fe4bfa8fe5ed99bc3e28230d07e7ce32e89b338dc247d2934f0bb32bf516b8" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/pgf/math/pgfmath.sty" + ], + "4abed7d8c88642201dd1a932a435ae05a1f2659f1f7e95c72d6b5347c83d232a" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/utilities/pgfkeyslibraryfiltered.code.tex" + ], + "b3d57e19c1893ef33eb240cb7da4286418481b44f7b0ab1677fbc190d6a85201" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/comment/comment.sty" + ], + "27b76432648ff0c428cc0f435d9caa015880fb7d7fc02fbce45f284451a7e7ab" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgfplots/pgfplotsplothandlers.code.tex" + ], + "76e1322f759550f9171cb0fd9ab601ed1c4ebfd21299c2c24c8294a42022fa7d" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam5.tfm" + ], + "c800d1dfd533040219fcc06d52e0e00c2a20fb9b0039fe9f58ccec53fd003a9f" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg" + ], + "eb308ac3d665db8dd3c03b18328c551609346c659c2ce0e5029223fbcc339cb3" + ], + [ + "file", + [ + "sections/introduction.tex" + ], + "95323edf4e0295093f06167189f4985c26868763e49befb147576db7d3cc2922" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothandlers.code.tex" + ], + "b3db772dd8eb595d8a5c8ef8d232862f9cef97d4ac9dedee283ad7b6e83361dd" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.code.tex" + ], + "ea5e14f7fade556cee79636a6824710e97db928542fc1b23dfa618ff6448688e" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty" + ], + "99e08946749446e0b9b7faa985f8202740a94476f9e99bab5286cca5ce4766e9" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty" + ], + "c42f0c2628dc5fbd95b535cf8cd3cc964347653c099d38c0d416f896d84e8240" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgfplots/pgfplots.code.tex" + ], + "6c32e18704d71198bc2ecab0dad47fac47ec9b4cfbd82f106bd04de465361f62" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/amsmath/amsmath.sty" + ], + "da22219a49c094141141bb29034c438d1ccba8a9afe6cdd5d15b96c15bf56901" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/intcalc/intcalc.sty" + ], + "1343ba1b10b245bfd199c22947249af1d756808690c7811c90f07fe0a3772080" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/filecontents/filecontents.sty" + ], + "47c9606c8901d2d5af86b551be31395ce94453729cab40a6f87a10b72de42e45" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/listings/listings.cfg" + ], + "d0dd49d4d3eb37e5fcdc4de4e9add7ea5f150be907ac5c4705b382775e55d62b" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/algorithms/algorithmic.sty" + ], + "7fe47ed7f8222c56452bd73bf0682e72023ece06d59207653a02e080a341118d" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code.tex" + ], + "c94abbd89ad0556546d9e5053af16b58ce7f38d19c379b27309e5fefd23908f8" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18.sty" + ], + "b5a95ba245bb51ce01e5ead16e818a0024f16cd208df3386b30ba0798a911344" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarypositioning.code.tex" + ], + "5a9dba924057a2fed5e4794673fe39bdb090d024e607776d63c9adb9e62d48f8" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgfplots/util/pgfplotsbinary.data.code.tex" + ], + "d48a5679ca97f921aa11c6ac0aea9773f8791ab8cf71399ed731f44236d04eed" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.tex" + ], + "cd9bb9fbaac3f5bca5bedd77ca07a8c4457467869e2303fdf2b446a30dca9f9f" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/adobe/courier/pcrr7t.tfm" + ], + "1388f235f7f54d28db4af569ee32821869aefbef29ee622c7e30b2e41dbda87c" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/needspace/needspace.sty" + ], + "5ae673ce2a80fb868c954373252294d9e6469feeb78b445182772fd043eb0914" + ], + [ + "file", + [ + "main.tex" + ], + "81fd0d97ac3ca9e7394758b76e76eaa2090d3cf85b7a4b1f4e946f0b6250082d" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty" + ], + "6e39ff4fdf9f126aff28880a7dd59fccc0e6735409d92ca455cdd2a4f2b4db53" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex" + ], + "aa771cadef59f480af688c690c5de28e23636ef4890842b9758b7d8943ede4ac" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex" + ], + "9758185623cce6b2a8d4a504d10dfd0a01ef6d3480794fa4c466384f4c08540c" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def" + ], + "c1200f3d129912978bbd41684ffee42e960bf9a776768a5b9f57557140113f7d" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty" + ], + "3d2226e3d68b4255061baa496cc9cbc107816a7d364720c1bd8c83dccb047b64" ], [ "file", @@ -773,6 +1116,335 @@ ], "f9a0c528b42d2ded2884e31cf1d225b81739ca9b17a0e7cb362fad404ce0aedf" ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex" + ], + "ccd576f7cebab3a0c5d5cdef41fc44e638d7bb4a20e0a0465160eba1757795e5" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/zref/zref-base.sty" + ], + "8558725c90ca848e8bbdc11b46509bc1e79bfa69ff374b206e73fd8e5de13ed1" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/hyperref/nameref.sty" + ], + "1bd958ef4ce46f3d15f7c77f6c2d084289e0e6d6017d5a3a341d83f0998b99a7" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty" + ], + "26ab10fd43fd5a90f98bcbed3a99978808da8878eb73835db4e0346371aee41e" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.tex" + ], + "743e89ac1e529af45751fa85fde4b3438284a63dfd53ff52c94c2f229b20beff" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonometric.code.tex" + ], + "1c8834abe00807467a52d31ef96032d5084b2560eea45995018084d13a3cde3c" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/bitset/bitset.sty" + ], + "af5c7196c69dc9d28225189169b60c9b9039125bc1756c04d54886f0a3e1891e" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/xkeyval/xkeyval.sty" + ], + "6904c396f2a6992921823387576b7f75074ac3b8e047a8c80687a869aba1e3ae" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/xkeyval/xkvutils.tex" + ], + "5e82c31b1b4492c89f0a36c8a1f65ca5dc1d3a7f2ced1b30a1a5be0da9bcc411" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/mathtools/mathtools.sty" + ], + "de594addf85d23a28649db7d9973a11afe591796a6e64c81bb7eb7f8638a0b02" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryarrows.code.tex" + ], + "ebfe3e9cc88116a5229c3d66e2ff8c3bbcba34f7c9abc93269754e193ba6f62a" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/type1/urw/times/utmr8a.pfb" + ], + "2ef9d47303d25f3c9553a43255dae8c39160e130ad5ed34444e39dee03d796a1" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/multirow/multirow.sty" + ], + "5c33cb1717024ebe00adb88514357ab394ae5f9433418fd0442ba8c64462db14" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex8.tfm" + ], + "3f56ab22f7fc6a015813976c6c6cc2fd55736bbaec4958a4562e10719fa18062" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgfplots/pgfplotsmeshplotimage.code.tex" + ], + "d4ea2f3c3bf545104a7c40191693d049ec29c391d46ce55807f6284a2aaaf5e1" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/etexcmds/etexcmds.sty" + ], + "a7db2834e02bd11be0e62a3be15e3dc293ba1be9196f19b29b9d98bfdbeb7514" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65.sty" + ], + "7df38d1bb03d0bf642b3f53c38d86641765d950f82d481ebd63c67838bc78ee7" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/public/cm/cmsy6.tfm" + ], + "137eb9f38f661c66309614066a7b5d63d8969d33aba0c9efee9f844a4ce65b50" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/ifoddpage/ifoddpage.sty" + ], + "a02ef0946e6764afafa57d21da2328a84946c31697b0f34bcd2499080349b597" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgfplots/util/pgfplotsbinary.code.tex" + ], + "71271312b0668f69e03014f6c90fcf37112de363643661a2cbb77e047e86d75e" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm5.tfm" + ], + "9e0909a297a3097e50960158d324006ddd5302db665400fa1fdf966df14e1a17" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarydecorations.code.tex" + ], + "f4884f0c48ab319d25f2fb0889b8881f15ad7999842054718b15e32de8325773" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmbc7t.tfm" + ], + "7b937cad233ff7c8d6bee5988c0a51ba0212e852ba2617059620d2cf98f6e630" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgfplots/liststructure/pgfplotsdeque.code.tex" + ], + "86843251927c29a021eac1635ee8650cfc06265281b50441d8cb6f67bb8504ee" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/hycolor/hycolor.sty" + ], + "8acaa03eda19a8158780356701e905e354e1dc47dc736e6e26fc860c12a15e14" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/libraries/pgflibraryarrows.code.tex" + ], + "7fca2c36196a01d5c7122a05116afd42920029a57a632ab205bd6b82f2327197" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/vf/adobe/times/ptmrc7t.vf" + ], + "0011bdb7dbf11831fa73c87e70751c267754f1ebbe50a9cedf409ea0c22db41a" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarydecorations.pathreplacing.code.tex" + ], + "acabde0c8a15d23b8e08dd666f1a8f013c9fc5feefbef4cc533065f198d7ee62" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing.code.tex" + ], + "ebcf9d5dec1714b575ffef09be6cdf03eaf1501f511204d7efae5d73b07b2221" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code.tex" + ], + "545c4616f93c5f5d25bc04090a0b7ef869bab84b3952fadfd539d71187c83fe0" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/graphics/trig.sty" + ], + "c2a4f1d01abaf7ad739f1af03238ebb6ab35a7bbfbd5d713acceddda4fb043d5" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/algorithms/algorithm.sty" + ], + "d63fdf24879f0efd535bc6d06bc2a008b79ae77f6d6d2bc96156ff1f35e96bd7" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/tools/array.sty" + ], + "dc2b9a0057f8455ac0f74960618e7af3de9bf08da0e7078ef8dd0570a2924427" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/float/float.sty" + ], + "be4a09ab7ded44b4ce97ba20a3a3efbb061d186327d5db61f8de6a3cab5019aa" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/atbegshi/atbegshi.sty" + ], + "a73003b4bb2dc8a814533ddbd31600e6626827799c2a465d03ef42e7a33fa71b" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgfplots/sys/pgflibrarypgfplots.surfshading.pgfsys-pdftex.def" + ], + "c52c6c54e7ffd5e43094a13b33c6e93cbfa1f3fd6455cf2512102d19d3b7c49e" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/adjustbox/tc-pdftex.def" + ], + "15fb04c9b9d1b3fcfa65c1ac1dea77f68650b294c8b4735eca0bc22ad859a111" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmb8r.tfm" + ], + "a48198d87f9b9f90d652b8f41d41dbb3978a44669225c89394a4620031ace6a2" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/base/atbegshi-ltx.sty" + ], + "6720c4cf09cf91e8055b9ad4b54275cbd690be65b1f36805fa457c059d2e29a2" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/xargs/xargs.sty" + ], + "02a5571b6d32aa3446bd005a4e6fa22ddab78fd07e61a7c286e9d13cb01ec60d" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/environ/environ.sty" + ], + "2efd7043a5a2ec8d495bd7575408b118ba737b9303259cffa74572d28b0da608" + ], + [ + "file", + [ + "main.out" + ], + "41a26e756a9a9d5ce2df0e0c32109f727a5ce5dcd889874c063379f79a651dcc" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmbi8r.tfm" + ], + "466613f08ae6423521bd9aa1d0be9dc69f610e223f171f6f07b91844626d4bd1" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/url/url.sty" + ], + "2373f56849ac606473e77053e5c1d14c92aba312b3f684e02a130eaf36f2de47" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgfplots/pgfplotscore.code.tex" + ], + "4c71ea64f5b3582f1d6346f9f9a782da20ed7a4c76e00ee1f73ee23186a1db9b" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgfplots/pgfplotsmeshplothandler.code.tex" + ], + "285da39b32bee58c3cad318670a986b3097efd4442d2452d48abbf3727a47157" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integerarithmetics.code.tex" + ], + "6e9383c1e63a6dbcfd2d95369905df566bdb6e7374c06e28c15a25eb782dc46b" + ], [ "file", [ @@ -780,6 +1452,293 @@ ], "2472ea616722ae9736cfcb8f72c60ebe6de7b97921be1c43414d6ec735226158" ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/kvsetkeys/kvsetkeys.sty" + ], + "e3fcf7f3372a27bb478eb9488eca1e25ed382480d02a6898f190bd955388e055" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/base/textcomp.sty" + ], + "f50ebba76b974a541b8fc2541643911efaead656aae39c957c58d5b23b51a5eb" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/collectbox/collectbox.sty" + ], + "e2f8b5c38a97b6149ee589abbce92ef89c26246185a05ca3f314ec104748e1a8" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/mdframed/mdframed.sty" + ], + "df0b50bc333789b0a5d67d8a5decbe97745926df500906d5216a540421c857d6" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/etoolbox/etoolbox.sty" + ], + "b10381f0017ae75bd03dc9175b35ad56b93fdd24f2a47dd4aa9c6987ef35ccdb" + ], + [ + "file", + [ + "sections/examples.tex" + ], + "eda3be341eb1b9e823395b8b494d4ec6281ee520749c220b52e871ed3ae772fb" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/bigfoot/suffix.sty" + ], + "64e2a5058863536d987c8059216e700786042bc7ee868b55262d86a9da777af6" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgfplots/pgfplots.markers.code.tex" + ], + "59104418d1184b73a01e15b254ffb8c5d4320cf510673f095933d88e901617d6" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgfplots/util/pgfplotscolor.code.tex" + ], + "521c3db6439ff99c2dbcba5384f8006824ab4a4af28f86785ec9930968272536" + ], + [ + "file", + [ + "sections/conclusion.tex" + ], + "4fc6bbde75727e25ba79d08653e620c87e6bf053c097c7c0b79d0bc58a39af92" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgfplots/liststructure/pgfplotsliststructure.code.tex" + ], + "ef606fdf2ffc6197b9e1037860e1fe788cfa1aa3bf271a986dd6662b2e6526ca" + ], + [ + "file", + [ + "IEEEtran.cls" + ], + "c972aca108fda004c3514d63658e02816da2e54d9a1451e870b9bd970e003f55" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/psnfss/ot1ptm.fd" + ], + "9c5beb0652c0f26a78269825fea061968682671d11e2a16513d1a602bf248400" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.tex" + ], + "1668608078204a627d6e67a853f8a904e6149b901607ae177741c650b143a94e" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmri8r.tfm" + ], + "5a8d22bbac97332450c06d766ea8f4cac97ebe0c941da9d473a5d422b8bb0667" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison.code.tex" + ], + "ea5ff35778088d94d8d2f1a20075ec57cc4ecd22844f9c288625a6db59ba7818" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/adobe/courier/pcrr8r.tfm" + ], + "013a6ef55bb5ee9768300df0f4a4d67660fc82b03085b1af358e053da1e21ca7" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/cryptocode/cryptocode.sty" + ], + "7d2f0d994fbca993d06586c90b50ffb6f354e19f6bee5a72f5a2c0440fc40689" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex" + ], + "14bf1941381e7eb35dce4850d0aa819360f1db9ba9752c81cff19920f2c4c7b7" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty" + ], + "7e22b1ca949259c61d3721bca0a56bcccf7e47cfc776027c5863941635c07aa1" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarytopaths.code.tex" + ], + "992706da31e055cdbecf5b1bf1b9c267383e3b4d4385773448f868e1cabf17f2" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmb7t.tfm" + ], + "a615b1aec84d04818ce5a26bcb854f0b5620812374d113e7263cc62b727eb4de" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/adjustbox/trimclip.sty" + ], + "bbc1ce1248e51a197049422ebcf51c471b41eabc7910afdfbf329e4522491647" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code.tex" + ], + "165569c2ffb6a80272d2853c3d3c4373c386391e8cbb81ed9683ae2a810dd28c" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgfplots/libs/pgflibrarypgfplots.surfshading.code.tex" + ], + "e90c556be8f468865ca2b656913ba8afc2220f2c163f02e0874731a6d34cdd64" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/hyperref/pd1enc.def" + ], + "860fb14ebfbd12904aca6dff9e05fad399529d7fe8c00d9b130f02bbc892925d" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgfplots/liststructure/pgfplotsliststructureext.code.tex" + ], + "a4cd7e5531850e0e874c1096838ec55d62bf413dd7488f5316f730ce833f42db" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgfplots/util/pgfplotscolormap.code.tex" + ], + "b0671f2833e4eb6ee2bd932bbd93f01f92e841b4f6941294b95d5b8075d720e9" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code.tex" + ], + "f83601dd74e8c166162cb3daf926744c44ccf15a0122e17613658f82fa64c6a9" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/pgf-pie/pgf-pie.sty" + ], + "853145e186c504759174f1bf8fe3543df5020577ac31c2d170ffffe68c080b8c" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes.geometric.code.tex" + ], + "9ae89f23a7842df4b172627b86e7409597074c6b8f0958040d7669bb83a74a48" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code.tex" + ], + "f5454a5037c902bf21166d9592d5d15790f4b70c00a636d2b2fc47b76c8ccb21" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/graphics-def/pdftex.def" + ], + "6b0d3c7739f5344c3356bb0cef98bc17d8710e1e060914f42390d6503141c249" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/listings/lstlang1.sty" + ], + "7ec0d3442c273319ee517745cece539182acf7279ab9596d3e56eb32689e7c53" + ], + [ + "file", + [ + "assets/diagram-anon.png" + ], + "edcd08d90964e97d7ef9116c109606dbecfb9fffd9fa8b787c756e45ba7b10af" + ], + [ + "file", + [ + "main.bbl" + ], + "b6db5b7d60093a0a051cc600f23cb458e7a9b4e2fc1fd56a6615553a53f27a71" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgfplots/pgfplotscoordprocessing.code.tex" + ], + "765209b4b8739df96bd13c01b5573c043a4b2a3490c7c741d5fa9c7e0743973d" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgfplots/pgfplots.paths.code.tex" + ], + "d11c8b83414c052bb39c678e49d81c5f0235de4af1bdf5dd75270e4de82f94a5" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/public/cm/cmsy8.tfm" + ], + "84c37f07ca360c41ad0a0fba7387d279d72457c69bdae03653208c683d8de6bc" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/base/ifthen.sty" + ], + "b8cbd3c3ed9f0f58e1103c91e29ab8de344a19f4cc7d27fde8d14d962dcf0495" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorerdf.code.tex" + ], + "0bc32a855862a83b7ece27d2ebf6bfeace759d6b64fb776394eee13d62401350" + ], [ "file", [ @@ -790,30 +1749,339 @@ [ "file", [ - "main.pdf" + "/usr/share/texmf-dist/tex/latex/listings/listings.sty" ], - "1146989510aa34179f031901b66a5d7fa45ed9acc8dce29d5d5f2a9ead604ab3" + "30538b8ba51ea04fc7b48ee99f7a37b657b1e225cba41d3dbffe2bfa2af5eb57" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgfplots/pgfplots.scaling.code.tex" + ], + "3e8298cf4d0f913a2ca6c2bba59d9894a42f8e9572671e4dd2f83f6bceb95b80" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/map/fontname/texfonts.map" + ], + "d9693993efdc7d0b9ab3df777589995d43e24eeae95f12b6a230a19caadeaa42" + ], + [ + "file", + [ + "/var/lib/texmf/web2c/pdftex/pdflatex.fmt" + ], + "94ac62800308131e37213df5d5edcbddc246082321af52a58bc5f8881a23c9dd" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/cite/cite.sty" + ], + "56979b7c69ae65bdb52de5bcd540625cae6dd70119e767db438a4826991910ea" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgfplots/liststructure/pgfplotsarray.code.tex" + ], + "38442c559fd7e7be2a812d4d809940795fc9535e6d571dbf52c5a0493b26f998" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty" + ], + "2df7e0bd148c99d8097352b8ac9948dccf91d61ba360dcf43f82206933b6045b" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmr7t.tfm" + ], + "1ca2496e79881aae2e9f7eeb36a51e4d51ef9c7700c57d8f008fc32a2ed0bfda" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/mathtools/mhsetup.sty" + ], + "c3ae1e23f43029fbfc271e3b1440a692e1cd924d1810430b99e4f2aa5b9ccf09" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/vf/adobe/times/ptmr7t.vf" + ], + "0df4bc46c777ddc91e944bdfd27e345fe906a914fd1288189ec26419fc65db50" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/auxhook/auxhook.sty" + ], + "1d9f36f4e9674bef594a47cac7d5781e9f7e0c7c8edf9f72769f4dc6f10d1b5f" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code.tex" + ], + "9b980e1373f9451da75cc6030a5b4c1671b88a1b14b45ed172cfb7cf2607fe1f" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex" + ], + "6143371709342ea83dcdb1744a229d18f4c1ee670e1e31b496046a708bfa3e66" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/vf/adobe/times/ptmbi7t.vf" + ], + "6d6b87797a48bb5ff09b505d26ac4eff2e3d54ead648fae8bc0d6e506c9aa8d2" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/context/base/mkii/supp-pdf.mkii" + ], + "5dd3675b88c7b61d3703e6bf35ed75623acc6b163dff7b1477b485cee8ad71cb" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/psnfss/ts1pcr.fd" + ], + "c5616c536e51dd8a0e9e826f713519cb85e3fc4c6bd4165183cffe970c10ab46" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex" + ], + "b111efaa8b7c0905870b1ce9bcf400cd59c8db3cfa8d7ae91e7d63c1bac747cc" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/amsfonts/amsfonts.sty" + ], + "dab8b0e621267acfd89736cf97bdcc02647c545c0719c4997be8a7d1bf98f9c3" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgfplots/pgfplotsstackedplots.code.tex" + ], + "0e9c68bfc43f4d9de2ac8de2fcd116ac4f1f694c6d84597239246eb1dbb09326" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.code.tex" + ], + "ceafd7c1de02bde3d5a7570489ed6a150db51aabd658c1c78acf1ee5b5f89c6e" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/forloop/forloop.sty" + ], + "7643af86d17f2ae51b37a18ed3cfd90251bb5ee2058a9b24485f11ac3925b333" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/type1/urw/times/utmb8a.pfb" + ], + "7f3f19f61452892a29d06af2836331ca78aed29390914d294f7a440d35927142" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/math/pgfint.code.tex" + ], + "95f8053efeeb2267d543d8d1afb10195d6114765eea7b90755b4e0c359324d64" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgfplots/libs/tikzlibrarypgfplots.contourlua.code.tex" + ], + "92d3506845332bb9cd1a9ec001690eb0ba1e11c2b63e63244941873b5e8cb85e" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb" + ], + "fdcede8794018df5f2b58f0905fb20a2b418ed8f67b73ee12445855dfbe5b1be" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/public/cm/cmr6.tfm" + ], + "106afa9172f0c00e58b9f5cbc72b302a18aaeeaddf50caca145af9cc0b81afd2" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex" + ], + "818b8e3cd0606bdb8ac7fbaccc5f80033672fa817537536f76bc67bc3942928c" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgfplots/util/pgfplotsutil.code.tex" + ], + "abd9f7c3a307d3e9d2d53a6a8f8e1358669966bed05820b94841da7f49aa3876" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi7.pfb" + ], + "5b293a581ddb937b02559c3ce1a60184cc434295533204a2cd3864a6ad8a1f53" + ], + [ + "file", + [ + "/usr/share/texmf-dist/web2c/texmf.cnf" + ], + "ddd2722ee024d5f4c13123562e7a220c5a66ad0230fa32afc8b365b810a80251" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/graphics/graphicx.sty" + ], + "e9fe8e56401707f18a3d18716dadfd1dab999d02118c82af05691599cedec445" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/carlisle/scalefnt.sty" + ], + "fbf28cb0d4589c8e2db9f27c030e9298c09e69ee5d39ed570b45b87c85c0b48f" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/mdframed/md-frame-0.mdf" + ], + "eb5b30fa6b459ce7c9f994d12379a8dd0c2d7dd5d46d61e2f7066bf54ec1c47b" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/type1/urw/courier/ucrr8a.pfb" + ], + "8816758f882b18a97a2fcdd4e496b881cd7726b8612648cbfb1c9de2d9853029" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/l3kernel/expl3.sty" + ], + "031f0ee8e4751aff29af9cfda2ced8a8e3f52eb158e682c510856e3ed36d9361" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/amsmath/amsbsy.sty" + ], + "f69355f4b0a8b650296fe2fd9471783a6940e6525efd5d7d306b5477daef494d" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/tfm/public/cm/cmmi6.tfm" + ], + "ab6ecb4aaba9ca1b4259b1d1f64309a785bbaeb09183fd79a066b7764a448a28" + ], + [ + "file", + [ + "sections/design.tex" + ], + "2c63e1621adcfde2a740003793deb84569df9820cabbbb40267dde49b66ba264" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty" + ], + "cc7121c5706c5c52807aea879ca0a9083a8dc81b04d96303d0d398804d9d3d52" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex" + ], + "758e504e9c194cf9bbed098700b1d7969420e9a87552222d3000084a9d095571" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/listings/lstlang2.sty" + ], + "85aa24029cbac78aabf0c57fe4ec95c58703dac2fc845490157cf1f5a6634a25" + ], + [ + "file", + [ + "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr7.pfb" + ], + "b37e8671820b0753c6e233eaa3230c6ab9cff04e6c4baee312d60ae261e5aba1" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/latex/caption/caption.sty" + ], + "94b3a07d83bfdc9171d3fcb5ea510e6a9ce01ff9bebac37a1dc066e55f6ad48f" + ], + [ + "file", + [ + "/usr/share/texmf-dist/tex/generic/pgf/pgf.revision.tex" + ], + "ac54ea0a31097f28b4e37b09fa17985728d589c10640cf220d7e959f63b9e731" ], [ "file", [ "main.log" ], - "23f2446f2a279ed6ae977be960118eb78b89ed0cd33bd30bca65e0d6b9083c9f" + "7d363f916057ddd401c6aba0fb77bf97ead708ed2d6427189e6aa13c07983085" + ], + [ + "file", + [ + "main.pdf" + ], + "7009cb45a4e7b4412a720daa79ce2aa1271f7a8e712b9a1951e4b3720906360e" ], [ "file", [ "./main.fls" ], - "2613706e308ba7b4911d522590d4173ce63f334f073d193203aeab23f0083d10" + "24f36333cfc99fa6d6c2d8cc83d2ae6d1ef66e17a1d2383ce8b5f5e95c011e44" ] ], "output_files": { - "main.pdf": "1146989510aa34179f031901b66a5d7fa45ed9acc8dce29d5d5f2a9ead604ab3", - "main.log": "23f2446f2a279ed6ae977be960118eb78b89ed0cd33bd30bca65e0d6b9083c9f", - "./main.fls": "2613706e308ba7b4911d522590d4173ce63f334f073d193203aeab23f0083d10", - "main.aux": "c5758369254f9270b4bd5d7c39d2546ce1b3c0637cf740777c174109e28c53f2" + "main.out": "41a26e756a9a9d5ce2df0e0c32109f727a5ce5dcd889874c063379f79a651dcc", + "main.aux": "726798af1d7bf7b10ad03e9f573b28b65ef6889150dbdec7d6f6eaa88759b22d", + "main.log": "7d363f916057ddd401c6aba0fb77bf97ead708ed2d6427189e6aa13c07983085", + "main.pdf": "7009cb45a4e7b4412a720daa79ce2aa1271f7a8e712b9a1951e4b3720906360e", + "./main.fls": "24f36333cfc99fa6d6c2d8cc83d2ae6d1ef66e17a1d2383ce8b5f5e95c011e44" }, "extra": { "jobname": "./main", @@ -929,11 +2197,12 @@ } }, "clean": { - "main.log": "23f2446f2a279ed6ae977be960118eb78b89ed0cd33bd30bca65e0d6b9083c9f", - "main.pdf": "1146989510aa34179f031901b66a5d7fa45ed9acc8dce29d5d5f2a9ead604ab3", - "main.aux": "c5758369254f9270b4bd5d7c39d2546ce1b3c0637cf740777c174109e28c53f2", - "./main.fls": "2613706e308ba7b4911d522590d4173ce63f334f073d193203aeab23f0083d10", + "main.log": "7d363f916057ddd401c6aba0fb77bf97ead708ed2d6427189e6aa13c07983085", + "main.pdf": "7009cb45a4e7b4412a720daa79ce2aa1271f7a8e712b9a1951e4b3720906360e", + "main.aux": "726798af1d7bf7b10ad03e9f573b28b65ef6889150dbdec7d6f6eaa88759b22d", + "./main.fls": "24f36333cfc99fa6d6c2d8cc83d2ae6d1ef66e17a1d2383ce8b5f5e95c011e44", "./main.bbl": "b6db5b7d60093a0a051cc600f23cb458e7a9b4e2fc1fd56a6615553a53f27a71", - "./main.blg": "9688346375a396e61540431ae5bb049c6ee6211c3b4449ad38c0e68c441f7ec8" + "./main.blg": "9688346375a396e61540431ae5bb049c6ee6211c3b4449ad38c0e68c441f7ec8", + "main.out": "41a26e756a9a9d5ce2df0e0c32109f727a5ce5dcd889874c063379f79a651dcc" } } \ No newline at end of file diff --git a/main.aux b/main.aux index f9c148f..08d2fe1 100644 --- a/main.aux +++ b/main.aux @@ -1,55 +1,59 @@ \relax +\providecommand\zref@newlabel[2]{} +\providecommand\hyper@newdestlabel[2]{} +\providecommand\HyField@AuxAddToFields[1]{} +\providecommand\HyField@AuxAddToCoFields[2]{} \citation{Lamport_1994,Holzmann_1997,Clarke_Wang} \citation{Basin_Cremers_Dreier_Sasse_2022,Blanchet_Smyth_Cheval_Sylvestre,Kobeissi_Nicolas_Tiwari,Blanchet_Jacomme,Basin_Linker_Sasse} \citation{Hippel2022_anonym} -\@writefile{toc}{\contentsline {section}{\numberline {I}Introduction}{1}{}\protected@file@percent } -\newlabel{sec:introduction}{{I}{1}} -\@writefile{toc}{\contentsline {section}{\numberline {II}\textsc {PANDA}\xspace Architecture}{1}{}\protected@file@percent } -\newlabel{sec:design}{{II}{1}} -\@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {II-A}}Mathematical Preliminaries}{1}{}\protected@file@percent } -\newlabel{sub:Mathematical Preliminaries}{{\mbox {II-A}}{1}} -\@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {II-B}}High-level design}{1}{}\protected@file@percent } -\newlabel{sub:High-level design}{{\mbox {II-B}}{1}} -\@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {II-C}}Supported Attacker Models}{2}{}\protected@file@percent } -\newlabel{sub:Supported Attacker Models}{{\mbox {II-C}}{2}} -\@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {II-D}}\textsc {PANDA}\xspace Implementation}{2}{}\protected@file@percent } -\newlabel{sub:impl}{{\mbox {II-D}}{2}} -\newlabel{lst:spin-model}{{6}{2}} -\@writefile{lol}{\contentsline {lstlisting}{\numberline {6}Example \textsc {Promela}\xspace model of peers communicating over a channel. \texttt {!} indicates sending a message onto a channel, \texttt {?} indicates receiving a message from a channel.}{2}{}\protected@file@percent } -\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces A high-level overview of the \textsc {PANDA}\xspace workflow}}{3}{}\protected@file@percent } -\newlabel{fig:korg_workflow}{{1}{3}} -\newlabel{lst:korg_drop}{{1}{3}} -\@writefile{lol}{\contentsline {lstlisting}{\numberline {1}Example dropping attacker model gadget with drop limit of 3, targetting channel "cn"}{3}{}\protected@file@percent } -\@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {II-E}}Usage}{3}{}\protected@file@percent } -\newlabel{sub:Usage}{{\mbox {II-E}}{3}} -\newlabel{lst:abp}{{8}{3}} -\@writefile{lol}{\contentsline {lstlisting}{\numberline {8}Example (simplified) \textsc {Promela}\xspace model of the alternating bit protocol.}{3}{}\protected@file@percent } -\newlabel{lst:korg_replay}{{2}{4}} -\@writefile{lol}{\contentsline {lstlisting}{\numberline {2}Example replay attacker model gadget with the selected replay limit as 3, targetting channel "cn"}{4}{}\protected@file@percent } -\newlabel{lst:korg-shell}{{\mbox {II-E}}{4}} -\newlabel{lst:korg_reordering}{{3}{4}} -\@writefile{lol}{\contentsline {lstlisting}{\numberline {3}Example reordering attacker model gadget with the selected replay limit as 3, targetting channel "cn"}{4}{}\protected@file@percent } +\providecommand \oddpage@label [2]{} +\@writefile{toc}{\contentsline {section}{\numberline {I}Introduction}{1}{section.1}\protected@file@percent } +\newlabel{sec:introduction}{{I}{1}{Introduction}{section.1}{}} +\@writefile{toc}{\contentsline {section}{\numberline {II}\textsc {PANDA}\xspace Architecture}{1}{section.2}\protected@file@percent } +\newlabel{sec:design}{{II}{1}{\korg Architecture}{section.2}{}} +\@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {II-A}}Mathematical Preliminaries}{1}{subsection.2.1}\protected@file@percent } +\newlabel{sub:Mathematical Preliminaries}{{\mbox {II-A}}{1}{Mathematical Preliminaries}{subsection.2.1}{}} +\@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {II-B}}High-level design}{1}{subsection.2.2}\protected@file@percent } +\newlabel{sub:High-level design}{{\mbox {II-B}}{1}{High-level design}{subsection.2.2}{}} +\@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {II-C}}Supported Attacker Models}{2}{subsection.2.3}\protected@file@percent } +\newlabel{sub:Supported Attacker Models}{{\mbox {II-C}}{2}{Supported Attacker Models}{subsection.2.3}{}} +\@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {II-D}}\textsc {PANDA}\xspace Implementation}{2}{subsection.2.4}\protected@file@percent } +\newlabel{sub:impl}{{\mbox {II-D}}{2}{\korg Implementation}{subsection.2.4}{}} +\newlabel{lst:spin-model}{{6}{2}{Example \promela model of peers communicating over a channel. \texttt {!} indicates sending a message onto a channel, \texttt {?} indicates receiving a message from a channel}{lstlisting.6}{}} +\@writefile{lol}{\contentsline {lstlisting}{\numberline {6}{\ignorespaces Example \textsc {Promela}\xspace model of peers communicating over a channel. \texttt {!} indicates sending a message onto a channel, \texttt {?} indicates receiving a message from a channel.}}{2}{lstlisting.6}\protected@file@percent } +\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces A high-level overview of the \textsc {PANDA}\xspace workflow}}{3}{figure.caption.1}\protected@file@percent } +\providecommand*\caption@xref[2]{\@setref\relax\@undefined{#1}} +\newlabel{fig:korg_workflow}{{1}{3}{A high-level overview of the \korg workflow}{figure.caption.1}{}} +\newlabel{lst:korg_drop}{{1}{3}{Example dropping attacker model gadget with drop limit of 3, targetting channel "cn"}{lstlisting.1}{}} +\@writefile{lol}{\contentsline {lstlisting}{\numberline {1}{\ignorespaces Example dropping attacker model gadget with drop limit of 3, targetting channel "cn"}}{3}{lstlisting.1}\protected@file@percent } +\@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {II-E}}Usage}{3}{subsection.2.5}\protected@file@percent } +\newlabel{sub:Usage}{{\mbox {II-E}}{3}{Usage}{subsection.2.5}{}} +\newlabel{lst:abp}{{8}{3}{Example (simplified) \promela model of the alternating bit protocol}{lstlisting.8}{}} +\@writefile{lol}{\contentsline {lstlisting}{\numberline {8}{\ignorespaces Example (simplified) \textsc {Promela}\xspace model of the alternating bit protocol.}}{3}{lstlisting.8}\protected@file@percent } +\newlabel{lst:korg_replay}{{2}{4}{Example replay attacker model gadget with the selected replay limit as 3, targetting channel "cn"}{lstlisting.2}{}} +\@writefile{lol}{\contentsline {lstlisting}{\numberline {2}{\ignorespaces Example replay attacker model gadget with the selected replay limit as 3, targetting channel "cn"}}{4}{lstlisting.2}\protected@file@percent } +\newlabel{lst:korg-shell}{{\mbox {II-E}}{4}{}{lstlisting.-1}{}} +\newlabel{lst:korg_reordering}{{3}{4}{Example reordering attacker model gadget with the selected replay limit as 3, targetting channel "cn"}{lstlisting.3}{}} +\@writefile{lol}{\contentsline {lstlisting}{\numberline {3}{\ignorespaces Example reordering attacker model gadget with the selected replay limit as 3, targetting channel "cn"}}{4}{lstlisting.3}\protected@file@percent } \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} +\newlabel{lst:io-file}{{4}{5}{Example I/O file targetting channel "cn"}{lstlisting.4}{}} +\@writefile{lol}{\contentsline {lstlisting}{\numberline {4}{\ignorespaces Example I/O file targetting channel "cn"}}{5}{lstlisting.4}\protected@file@percent } +\newlabel{lst:io-file-synth}{{5}{5}{Example gadget synthesized from an I/O file targetting the channel "cn"}{lstlisting.5}{}} +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5}{\ignorespaces Example gadget synthesized from an I/O file targetting the channel "cn"}}{5}{lstlisting.5}\protected@file@percent } +\@writefile{toc}{\contentsline {section}{\numberline {III}Case Studies}{5}{section.3}\protected@file@percent } +\newlabel{sec:case_studies}{{III}{5}{Case Studies}{section.3}{}} +\@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {III-A}}TCP}{5}{subsection.3.1}\protected@file@percent } +\newlabel{sub:TCP}{{\mbox {III-A}}{5}{TCP}{subsection.3.1}{}} +\newlabel{lst:drop_passer}{{7}{5}{Example dropping attacker model gadget with message skipping}{lstlisting.7}{}} +\@writefile{lol}{\contentsline {lstlisting}{\numberline {7}{\ignorespaces Example dropping attacker model gadget with message skipping}}{5}{lstlisting.7}\protected@file@percent } +\newlabel{res:tcp-table}{{\caption@xref {res:tcp-table}{ on input line 42}}{5}{TCP}{figure.caption.7}{}} +\@writefile{lof}{\contentsline {figure}{\numberline {2}{\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.}}{5}{figure.caption.7}\protected@file@percent } \citation{Ongaro} \citation{Woos_Wilcox_Anton_Tatlock_Ernst_Anderson_2016} -\newlabel{lst:io-file}{{4}{5}} -\@writefile{lol}{\contentsline {lstlisting}{\numberline {4}Example I/O file targetting channel "cn"}{5}{}\protected@file@percent } -\newlabel{lst:io-file-synth}{{5}{5}} -\@writefile{lol}{\contentsline {lstlisting}{\numberline {5}Example gadget synthesized from an I/O file targetting the channel "cn"}{5}{}\protected@file@percent } -\@writefile{toc}{\contentsline {section}{\numberline {III}Case Studies}{5}{}\protected@file@percent } -\newlabel{sec:case_studies}{{III}{5}} -\@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {III-A}}TCP}{5}{}\protected@file@percent } -\newlabel{sub:TCP}{{\mbox {III-A}}{5}} -\newlabel{lst:drop_passer}{{7}{5}} -\@writefile{lol}{\contentsline {lstlisting}{\numberline {7}Example dropping attacker model gadget with message skipping}{5}{}\protected@file@percent } -\newlabel{res:tcp-table}{{\mbox {III-A}}{5}} -\@writefile{lof}{\contentsline {figure}{\numberline {2}{\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.}}{5}{}\protected@file@percent } -\@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {III-B}}Raft}{5}{}\protected@file@percent } -\newlabel{sub:Raft}{{\mbox {III-B}}{5}} \citation{Woos_Wilcox_Anton_Tatlock_Ernst_Anderson_2016} \bibstyle{IEEEtran} \bibdata{main} @@ -66,11 +70,13 @@ \bibcite{Smith_1997}{11} \bibcite{Pacheco2022}{12} \bibcite{Woos_Wilcox_Anton_Tatlock_Ernst_Anderson_2016}{13} +\@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {III-B}}Raft}{6}{subsection.3.2}\protected@file@percent } +\newlabel{sub:Raft}{{\mbox {III-B}}{6}{Raft}{subsection.3.2}{}} +\newlabel{res:raft-table}{{\caption@xref {res:raft-table}{ on input line 92}}{6}{Raft}{figure.caption.8}{}} +\@writefile{lof}{\contentsline {figure}{\numberline {3}{\ignorespaces Breakdown of the attacker scenarios assessed with \textsc {PANDA}\xspace against our Raft \textsc {Promela}\xspace model. In all experiments, Raft was set to five peers and the drop/replay limits of the gadgets \textsc {PANDA}\xspace synthesized were set to two. We conducted our experiments on a research computing cluster, allocating 250GB of memory to each verification run. The full models and attacker traces are included in the artifact.}}{6}{figure.caption.8}\protected@file@percent } +\@writefile{toc}{\contentsline {section}{\numberline {IV}Conclusion}{6}{section.4}\protected@file@percent } +\newlabel{sec:conclusion}{{IV}{6}{Conclusion}{section.4}{}} +\@writefile{toc}{\contentsline {section}{References}{6}{section*.9}\protected@file@percent } \bibcite{Wilcox_Woos_Panchekha_Tatlock_Wang_Ernst_Anderson}{14} \bibcite{Ongaro}{15} -\newlabel{res:raft-table}{{\mbox {III-B}}{6}} -\@writefile{lof}{\contentsline {figure}{\numberline {3}{\ignorespaces Breakdown of the attacker scenarios assessed with \textsc {PANDA}\xspace against our Raft \textsc {Promela}\xspace model. In all experiments, Raft was set to five peers and the drop/replay limits of the gadgets \textsc {PANDA}\xspace synthesized were set to two. We conducted our experiments on a research computing cluster, allocating 250GB of memory to each verification run. The full models and attacker traces are included in the artifact.}}{6}{}\protected@file@percent } -\@writefile{toc}{\contentsline {section}{\numberline {IV}Conclusion}{6}{}\protected@file@percent } -\newlabel{sec:conclusion}{{IV}{6}} -\@writefile{toc}{\contentsline {section}{References}{6}{}\protected@file@percent } -\gdef \@abspage@last{6} +\gdef \@abspage@last{7} diff --git a/main.fls b/main.fls index 6336387..ad36eac 100644 --- a/main.fls +++ b/main.fls @@ -101,6 +101,181 @@ INPUT /usr/share/texmf-dist/tex/latex/tools/array.sty INPUT /usr/share/texmf-dist/tex/latex/tools/array.sty INPUT /usr/share/texmf-dist/tex/latex/comment/comment.sty INPUT /usr/share/texmf-dist/tex/latex/comment/comment.sty +INPUT /usr/share/texmf-dist/tex/latex/graphics/color.sty +INPUT /usr/share/texmf-dist/tex/latex/tools/enumerate.sty +INPUT /usr/share/texmf-dist/tex/latex/tools/enumerate.sty +INPUT /usr/share/texmf-dist/tex/latex/oberdiek/centernot.sty +INPUT /usr/share/texmf-dist/tex/latex/oberdiek/centernot.sty +INPUT /usr/share/texmf-dist/tex/latex/multirow/multirow.sty +INPUT /usr/share/texmf-dist/tex/latex/multirow/multirow.sty +INPUT /usr/share/texmf-dist/tex/latex/float/float.sty +INPUT /usr/share/texmf-dist/tex/latex/float/float.sty +INPUT /usr/share/texmf-dist/tex/latex/caption/caption.sty +INPUT /usr/share/texmf-dist/tex/latex/caption/caption.sty +INPUT /usr/share/texmf-dist/tex/latex/caption/caption3.sty +INPUT /usr/share/texmf-dist/tex/latex/caption/caption3.sty +INPUT /usr/share/texmf-dist/tex/latex/caption/subcaption.sty +INPUT /usr/share/texmf-dist/tex/latex/caption/subcaption.sty +INPUT /usr/share/texmf-dist/tex/latex/pgfplots/pgfplots.sty +INPUT /usr/share/texmf-dist/tex/latex/pgfplots/pgfplots.sty +INPUT /usr/share/texmf-dist/tex/generic/pgfplots/pgfplots.revision.tex +INPUT /usr/share/texmf-dist/tex/generic/pgfplots/pgfplots.revision.tex +INPUT /usr/share/texmf-dist/tex/generic/pgfplots/pgfplots.revision.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-luatex.def +INPUT /usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-luatex.def +INPUT /usr/share/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty +INPUT /usr/share/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty +INPUT /usr/share/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty +INPUT /usr/share/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty +INPUT /usr/share/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty +INPUT /usr/share/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty +INPUT /usr/share/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def +INPUT /usr/share/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/pgf.revision.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/pgf.revision.tex +INPUT /usr/share/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty +INPUT /usr/share/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty +INPUT /usr/share/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty +INPUT /usr/share/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty +INPUT /usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/utilities/pgfkeyslibraryfiltered.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg +INPUT /usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def +INPUT /usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def +INPUT /usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-pdf.def +INPUT /usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonometric.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integerarithmetics.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/math/pgfint.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformations.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorerdf.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code.tex +INPUT /usr/share/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65.sty +INPUT /usr/share/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65.sty +INPUT /usr/share/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18.sty +INPUT /usr/share/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18.sty +INPUT /usr/share/texmf-dist/tex/latex/pgf/utilities/pgffor.sty +INPUT /usr/share/texmf-dist/tex/latex/pgf/utilities/pgffor.sty +INPUT /usr/share/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty +INPUT /usr/share/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty +INPUT /usr/share/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex +INPUT /usr/share/texmf-dist/tex/latex/pgf/math/pgfmath.sty +INPUT /usr/share/texmf-dist/tex/latex/pgf/math/pgfmath.sty +INPUT /usr/share/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothandlers.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothandlers.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarytopaths.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarytopaths.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgfplots/pgfplots.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgfplots/pgfplotscore.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgfplots/sys/pgfplotssysgeneric.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgfplots/libs/pgfplotslibrary.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgfplots/oldpgfcompatib/pgfplotsoldpgfsupp_loader.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/libraries/pgflibraryfpu.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/libraries/pgflibraryfpu.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/libraries/pgflibraryfpu.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgfplots/oldpgfcompatib/pgfplotsoldpgfsupp_pgfutil-common-lists.tex +INPUT /usr/share/texmf-dist/tex/generic/pgfplots/util/pgfplotsutil.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgfplots/liststructure/pgfplotsliststructure.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgfplots/liststructure/pgfplotsliststructureext.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgfplots/liststructure/pgfplotsarray.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgfplots/liststructure/pgfplotsmatrix.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgfplots/numtable/pgfplotstableshared.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgfplots/liststructure/pgfplotsdeque.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgfplots/util/pgfplotsbinary.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgfplots/util/pgfplotsbinary.data.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgfplots/util/pgfplotsutil.verb.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgfplots/libs/pgflibrarypgfplots.surfshading.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgfplots/sys/pgflibrarypgfplots.surfshading.pgfsys-pdftex.def +INPUT /usr/share/texmf-dist/tex/generic/pgfplots/sys/pgflibrarypgfplots.surfshading.pgfsys-pdftex.def +INPUT /usr/share/texmf-dist/tex/generic/pgfplots/util/pgfplotscolormap.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgfplots/util/pgfplotscolor.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgfplots/pgfplotsstackedplots.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgfplots/pgfplotsplothandlers.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgfplots/pgfplotsmeshplothandler.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgfplots/pgfplotsmeshplotimage.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgfplots/pgfplots.scaling.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgfplots/pgfplotscoordprocessing.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgfplots/pgfplots.errorbars.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgfplots/pgfplots.markers.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgfplots/pgfplotsticks.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgfplots/pgfplots.paths.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarydecorations.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarydecorations.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/modules/pgfmoduledecorations.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarydecorations.pathmorphing.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarydecorations.pathmorphing.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/libraries/decorations/pgflibrarydecorations.pathmorphing.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/libraries/decorations/pgflibrarydecorations.pathmorphing.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarydecorations.pathreplacing.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarydecorations.pathreplacing.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/libraries/decorations/pgflibrarydecorations.pathreplacing.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/libraries/decorations/pgflibrarydecorations.pathreplacing.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgfplots/libs/tikzlibrarypgfplots.contourlua.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgfplots/libs/tikzlibrarypgfplots.contourlua.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryplotmarks.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryplotmarks.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/libraries/pgflibraryplotmarks.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/libraries/pgflibraryplotmarks.code.tex +INPUT /usr/share/texmf-dist/tex/latex/pgf-pie/pgf-pie.sty +INPUT /usr/share/texmf-dist/tex/latex/pgf-pie/pgf-pie.sty +INPUT /usr/share/texmf-dist/tex/latex/pgf-pie/tikzlibrarypie.code.tex +INPUT /usr/share/texmf-dist/tex/latex/pgf-pie/tikzlibrarypie.code.tex +INPUT /usr/share/texmf-dist/tex/latex/carlisle/scalefnt.sty +INPUT /usr/share/texmf-dist/tex/latex/carlisle/scalefnt.sty INPUT /usr/share/texmf-dist/tex/latex/listings/listings.sty INPUT /usr/share/texmf-dist/tex/latex/listings/listings.sty INPUT /usr/share/texmf-dist/tex/latex/listings/lstpatch.sty @@ -112,20 +287,155 @@ INPUT /usr/share/texmf-dist/tex/latex/listings/lstmisc.sty INPUT /usr/share/texmf-dist/tex/latex/listings/listings.cfg INPUT /usr/share/texmf-dist/tex/latex/listings/listings.cfg INPUT /usr/share/texmf-dist/tex/latex/listings/listings.cfg -INPUT /usr/share/texmf-dist/tex/latex/listings/lstlang1.sty -INPUT /usr/share/texmf-dist/tex/latex/listings/lstlang1.sty -INPUT /usr/share/texmf-dist/tex/latex/listings/lstlang1.sty -INPUT /usr/share/texmf-dist/tex/latex/listings/lstlang2.sty -INPUT /usr/share/texmf-dist/tex/latex/listings/lstlang2.sty -INPUT /usr/share/texmf-dist/tex/latex/listings/lstlang2.sty -INPUT /usr/share/texmf-dist/tex/latex/listings/lstlang3.sty -INPUT /usr/share/texmf-dist/tex/latex/listings/lstlang3.sty -INPUT /usr/share/texmf-dist/tex/latex/listings/lstlang3.sty -INPUT /usr/share/texmf-dist/tex/latex/listings/lstmisc.sty -INPUT /usr/share/texmf-dist/tex/latex/listings/lstmisc.sty -INPUT /usr/share/texmf-dist/tex/latex/listings/lstmisc.sty +INPUT /usr/share/texmf-dist/tex/latex/adjustbox/adjustbox.sty +INPUT /usr/share/texmf-dist/tex/latex/adjustbox/adjustbox.sty +INPUT /usr/share/texmf-dist/tex/latex/xkeyval/xkeyval.sty +INPUT /usr/share/texmf-dist/tex/latex/xkeyval/xkeyval.sty +INPUT /usr/share/texmf-dist/tex/generic/xkeyval/xkeyval.tex +INPUT /usr/share/texmf-dist/tex/generic/xkeyval/xkvutils.tex +INPUT /usr/share/texmf-dist/tex/latex/adjustbox/adjcalc.sty +INPUT /usr/share/texmf-dist/tex/latex/adjustbox/adjcalc.sty +INPUT /usr/share/texmf-dist/tex/latex/adjustbox/trimclip.sty +INPUT /usr/share/texmf-dist/tex/latex/adjustbox/trimclip.sty +INPUT /usr/share/texmf-dist/tex/latex/collectbox/collectbox.sty +INPUT /usr/share/texmf-dist/tex/latex/collectbox/collectbox.sty +INPUT /usr/share/texmf-dist/tex/latex/adjustbox/tc-pdftex.def +INPUT /usr/share/texmf-dist/tex/latex/adjustbox/tc-pdftex.def +INPUT /usr/share/texmf-dist/tex/latex/adjustbox/tc-pdftex.def +INPUT /usr/share/texmf-dist/tex/latex/ifoddpage/ifoddpage.sty +INPUT /usr/share/texmf-dist/tex/latex/ifoddpage/ifoddpage.sty +INPUT /usr/share/texmf-dist/tex/latex/ifoddpage/ifoddpage.sty +INPUT /usr/share/texmf-dist/tex/latex/varwidth/varwidth.sty +INPUT /usr/share/texmf-dist/tex/latex/varwidth/varwidth.sty +INPUT /usr/share/texmf-dist/tex/latex/varwidth/varwidth.sty +INPUT /usr/share/texmf-dist/tex/latex/mdframed/mdframed.sty +INPUT /usr/share/texmf-dist/tex/latex/mdframed/mdframed.sty +INPUT /usr/share/texmf-dist/tex/latex/kvoptions/kvoptions.sty +INPUT /usr/share/texmf-dist/tex/latex/kvoptions/kvoptions.sty +INPUT /usr/share/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty +INPUT /usr/share/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty +INPUT /usr/share/texmf-dist/tex/latex/kvsetkeys/kvsetkeys.sty +INPUT /usr/share/texmf-dist/tex/latex/kvsetkeys/kvsetkeys.sty +INPUT /usr/share/texmf-dist/tex/latex/l3packages/xparse/xparse.sty +INPUT /usr/share/texmf-dist/tex/latex/l3packages/xparse/xparse.sty +INPUT /usr/share/texmf-dist/tex/latex/l3kernel/expl3.sty +INPUT /usr/share/texmf-dist/tex/latex/l3kernel/expl3.sty INPUT /usr/share/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def INPUT /usr/share/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def +INPUT /usr/share/texmf-dist/tex/latex/etoolbox/etoolbox.sty +INPUT /usr/share/texmf-dist/tex/latex/etoolbox/etoolbox.sty +INPUT /usr/share/texmf-dist/tex/latex/zref/zref-abspage.sty +INPUT /usr/share/texmf-dist/tex/latex/zref/zref-abspage.sty +INPUT /usr/share/texmf-dist/tex/latex/zref/zref-base.sty +INPUT /usr/share/texmf-dist/tex/latex/zref/zref-base.sty +INPUT /usr/share/texmf-dist/tex/generic/infwarerr/infwarerr.sty +INPUT /usr/share/texmf-dist/tex/generic/infwarerr/infwarerr.sty +INPUT /usr/share/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty +INPUT /usr/share/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty +INPUT /usr/share/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty +INPUT /usr/share/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty +INPUT /usr/share/texmf-dist/tex/generic/iftex/iftex.sty +INPUT /usr/share/texmf-dist/tex/generic/iftex/iftex.sty +INPUT /usr/share/texmf-dist/tex/generic/etexcmds/etexcmds.sty +INPUT /usr/share/texmf-dist/tex/generic/etexcmds/etexcmds.sty +INPUT /usr/share/texmf-dist/tex/latex/auxhook/auxhook.sty +INPUT /usr/share/texmf-dist/tex/latex/auxhook/auxhook.sty +INPUT /usr/share/texmf-dist/tex/latex/needspace/needspace.sty +INPUT /usr/share/texmf-dist/tex/latex/needspace/needspace.sty +INPUT /usr/share/texmf-dist/tex/latex/mdframed/md-frame-0.mdf +INPUT /usr/share/texmf-dist/tex/latex/mdframed/md-frame-0.mdf +INPUT /usr/share/texmf-dist/tex/latex/mdframed/md-frame-0.mdf +INPUT /usr/share/texmf-dist/tex/latex/changepage/changepage.sty +INPUT /usr/share/texmf-dist/tex/latex/changepage/changepage.sty +INPUT /usr/share/texmf-dist/tex/latex/algorithms/algorithm.sty +INPUT /usr/share/texmf-dist/tex/latex/algorithms/algorithm.sty +INPUT /usr/share/texmf-dist/tex/latex/hyperref/hyperref.sty +INPUT /usr/share/texmf-dist/tex/latex/hyperref/hyperref.sty +INPUT /usr/share/texmf-dist/tex/generic/pdfescape/pdfescape.sty +INPUT /usr/share/texmf-dist/tex/generic/pdfescape/pdfescape.sty +INPUT /usr/share/texmf-dist/tex/latex/hycolor/hycolor.sty +INPUT /usr/share/texmf-dist/tex/latex/hycolor/hycolor.sty +INPUT /usr/share/texmf-dist/tex/latex/hyperref/nameref.sty +INPUT /usr/share/texmf-dist/tex/latex/hyperref/nameref.sty +INPUT /usr/share/texmf-dist/tex/latex/refcount/refcount.sty +INPUT /usr/share/texmf-dist/tex/latex/refcount/refcount.sty +INPUT /usr/share/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty +INPUT /usr/share/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty +INPUT /usr/share/texmf-dist/tex/latex/hyperref/pd1enc.def +INPUT /usr/share/texmf-dist/tex/latex/hyperref/pd1enc.def +INPUT /usr/share/texmf-dist/tex/latex/hyperref/pd1enc.def +INPUT /usr/share/texmf-dist/tex/generic/intcalc/intcalc.sty +INPUT /usr/share/texmf-dist/tex/generic/intcalc/intcalc.sty +INPUT /usr/share/texmf-dist/tex/latex/hyperref/puenc.def +INPUT /usr/share/texmf-dist/tex/latex/hyperref/puenc.def +INPUT /usr/share/texmf-dist/tex/latex/hyperref/puenc.def +INPUT /usr/share/texmf-dist/tex/latex/url/url.sty +INPUT /usr/share/texmf-dist/tex/latex/url/url.sty +INPUT /usr/share/texmf-dist/tex/generic/bitset/bitset.sty +INPUT /usr/share/texmf-dist/tex/generic/bitset/bitset.sty +INPUT /usr/share/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty +INPUT /usr/share/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty +INPUT /usr/share/texmf-dist/tex/generic/atbegshi/atbegshi.sty +INPUT /usr/share/texmf-dist/tex/latex/base/atbegshi-ltx.sty +INPUT /usr/share/texmf-dist/tex/latex/base/atbegshi-ltx.sty +INPUT /usr/share/texmf-dist/tex/latex/hyperref/hpdftex.def +INPUT /usr/share/texmf-dist/tex/latex/hyperref/hpdftex.def +INPUT /usr/share/texmf-dist/tex/latex/hyperref/hpdftex.def +INPUT /usr/share/texmf-dist/tex/latex/atveryend/atveryend.sty +INPUT /usr/share/texmf-dist/tex/latex/base/atveryend-ltx.sty +INPUT /usr/share/texmf-dist/tex/latex/base/atveryend-ltx.sty +INPUT /usr/share/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty +INPUT /usr/share/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty +INPUT /usr/share/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty +INPUT /usr/share/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty +INPUT /usr/share/texmf-dist/tex/latex/filecontents/filecontents.sty +INPUT /usr/share/texmf-dist/tex/latex/filecontents/filecontents.sty +INPUT /usr/share/texmf-dist/tex/latex/xurl/xurl.sty +INPUT /usr/share/texmf-dist/tex/latex/xurl/xurl.sty +INPUT /usr/share/texmf-dist/tex/latex/cryptocode/cryptocode.sty +INPUT /usr/share/texmf-dist/tex/latex/cryptocode/cryptocode.sty +INPUT /usr/share/texmf-dist/tex/latex/mathtools/mathtools.sty +INPUT /usr/share/texmf-dist/tex/latex/mathtools/mathtools.sty +INPUT /usr/share/texmf-dist/tex/latex/tools/calc.sty +INPUT /usr/share/texmf-dist/tex/latex/tools/calc.sty +INPUT /usr/share/texmf-dist/tex/latex/mathtools/mhsetup.sty +INPUT /usr/share/texmf-dist/tex/latex/mathtools/mhsetup.sty +INPUT /usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarypositioning.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarypositioning.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarycalc.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarycalc.code.tex +INPUT /usr/share/texmf-dist/tex/latex/xargs/xargs.sty +INPUT /usr/share/texmf-dist/tex/latex/xargs/xargs.sty +INPUT /usr/share/texmf-dist/tex/latex/forloop/forloop.sty +INPUT /usr/share/texmf-dist/tex/latex/forloop/forloop.sty +INPUT /usr/share/texmf-dist/tex/latex/pbox/pbox.sty +INPUT /usr/share/texmf-dist/tex/latex/pbox/pbox.sty +INPUT /usr/share/texmf-dist/tex/latex/bigfoot/suffix.sty +INPUT /usr/share/texmf-dist/tex/latex/bigfoot/suffix.sty +INPUT /usr/share/texmf-dist/tex/latex/environ/environ.sty +INPUT /usr/share/texmf-dist/tex/latex/environ/environ.sty +INPUT /usr/share/texmf-dist/tex/latex/trimspaces/trimspaces.sty +INPUT /usr/share/texmf-dist/tex/latex/trimspaces/trimspaces.sty +INPUT /usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryshapes.geometric.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryshapes.geometric.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes.geometric.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes.geometric.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryarrows.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryarrows.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/libraries/pgflibraryarrows.code.tex +INPUT /usr/share/texmf-dist/tex/generic/pgf/libraries/pgflibraryarrows.code.tex +INPUT /usr/share/texmf-dist/tex/latex/listings/lstlang1.sty +INPUT /usr/share/texmf-dist/tex/latex/listings/lstlang1.sty +INPUT /usr/share/texmf-dist/tex/latex/listings/lstlang1.sty +INPUT /usr/share/texmf-dist/tex/latex/listings/lstlang2.sty +INPUT /usr/share/texmf-dist/tex/latex/listings/lstlang2.sty +INPUT /usr/share/texmf-dist/tex/latex/listings/lstlang2.sty +INPUT /usr/share/texmf-dist/tex/latex/listings/lstlang3.sty +INPUT /usr/share/texmf-dist/tex/latex/listings/lstlang3.sty +INPUT /usr/share/texmf-dist/tex/latex/listings/lstlang3.sty +INPUT /usr/share/texmf-dist/tex/latex/listings/lstmisc.sty +INPUT /usr/share/texmf-dist/tex/latex/listings/lstmisc.sty +INPUT /usr/share/texmf-dist/tex/latex/listings/lstmisc.sty INPUT ./main.aux INPUT ./main.aux INPUT ./main.aux @@ -138,6 +448,14 @@ INPUT /usr/share/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty INPUT /usr/share/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg INPUT /usr/share/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg INPUT /usr/share/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg +INPUT ./main.out +INPUT ./main.out +INPUT ./main.out +INPUT ./main.out +OUTPUT ./main.pdf +INPUT ./main.out +INPUT ./main.out +OUTPUT ./main.out INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/ptmrc7t.tfm INPUT ./sections/abstract.tex INPUT ./sections/abstract.tex @@ -184,7 +502,6 @@ INPUT ./sections/design.tex INPUT ./sections/design.tex INPUT ./sections/design.tex INPUT ./sections/design.tex -OUTPUT ./main.pdf INPUT /usr/share/texmf-dist/fonts/vf/adobe/times/ptmrc7t.vf INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/ptmr8r.tfm INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/ptmr8r.tfm @@ -225,25 +542,25 @@ INPUT /usr/share/texmf-dist/tex/latex/psnfss/ot1pcr.fd INPUT /usr/share/texmf-dist/tex/latex/psnfss/ot1pcr.fd INPUT /usr/share/texmf-dist/fonts/tfm/adobe/courier/pcrr7t.tfm INPUT /usr/share/texmf-dist/fonts/tfm/adobe/courier/pcrr7t.tfm +INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/ptmbc7t.tfm INPUT /usr/share/texmf-dist/fonts/vf/adobe/times/ptmb7t.vf INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/ptmb8r.tfm INPUT /usr/share/texmf-dist/fonts/vf/adobe/courier/pcrr7t.vf INPUT /usr/share/texmf-dist/fonts/tfm/adobe/courier/pcrr8r.tfm -INPUT /usr/share/texmf-dist/fonts/tfm/adobe/courier/pcrr7t.tfm INPUT /usr/share/texmf-dist/fonts/vf/adobe/courier/pcrr7t.vf INPUT /usr/share/texmf-dist/fonts/tfm/adobe/courier/pcrr8r.tfm +INPUT /usr/share/texmf-dist/fonts/vf/adobe/times/ptmbc7t.vf +INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/ptmb8r.tfm INPUT /usr/share/texmf-dist/tex/latex/psnfss/ts1pcr.fd INPUT /usr/share/texmf-dist/tex/latex/psnfss/ts1pcr.fd INPUT /usr/share/texmf-dist/tex/latex/psnfss/ts1pcr.fd INPUT /usr/share/texmf-dist/fonts/tfm/adobe/courier/pcrr8c.tfm -INPUT ./sections/case_studies.tex -INPUT ./sections/case_studies.tex -INPUT ./sections/case_studies.tex -INPUT ./sections/case_studies.tex -INPUT ./sections/case_studies.tex -INPUT /usr/share/texmf-dist/fonts/vf/adobe/courier/pcrr7t.vf -INPUT /usr/share/texmf-dist/fonts/tfm/adobe/courier/pcrr8r.tfm INPUT /usr/share/texmf-dist/fonts/vf/adobe/courier/pcrr8c.vf +INPUT ./sections/case_studies.tex +INPUT ./sections/case_studies.tex +INPUT ./sections/case_studies.tex +INPUT ./sections/case_studies.tex +INPUT ./sections/case_studies.tex INPUT /usr/share/texmf-dist/fonts/tfm/adobe/courier/pcrr7t.tfm INPUT /usr/share/texmf-dist/fonts/tfm/adobe/courier/pcrr7t.tfm INPUT ./sections/conclusion.tex @@ -257,12 +574,12 @@ INPUT ./main.bbl INPUT /usr/share/texmf-dist/fonts/vf/adobe/times/ptmri7t.vf INPUT /usr/share/texmf-dist/fonts/tfm/adobe/times/ptmri8r.tfm INPUT ./main.aux +INPUT ./main.out +INPUT ./main.out INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi7.pfb -INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi8.pfb INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr5.pfb -INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr6.pfb INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr7.pfb INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb INPUT /usr/share/texmf-dist/fonts/type1/urw/courier/ucrr8a.pfb diff --git a/main.log b/main.log index ada342d..3da2421 100644 --- a/main.log +++ b/main.log @@ -1,25 +1,25 @@ -This is pdfTeX, Version 3.141592653-2.6-1.40.25 (TeX Live 2023) (preloaded format=pdflatex 2023.12.22) 29 NOV 2024 14:41 +This is pdfTeX, Version 3.141592653-2.6-1.40.26 (TeX Live 2024/Arch Linux) (preloaded format=pdflatex 2024.7.2) 29 NOV 2024 14:56 entering extended mode restricted \write18 enabled. - file:line:error style messages enabled. %&-line parsing enabled. **main.tex (./main.tex -LaTeX2e <2022-11-01> patch level 1 -L3 programming layer <2023-02-22> (./IEEEtran.cls +LaTeX2e <2023-11-01> patch level 1 +L3 programming layer <2024-02-20> +(./IEEEtran.cls Document Class: IEEEtran 2015/08/26 V1.8b by Michael Shell -- See the "IEEEtran_HOWTO" manual for usage information. -- http://www.michaelshell.org/tex/ieeetran/ \@IEEEtrantmpdimenA=\dimen140 \@IEEEtrantmpdimenB=\dimen141 \@IEEEtrantmpdimenC=\dimen142 -\@IEEEtrantmpcountA=\count185 -\@IEEEtrantmpcountB=\count186 -\@IEEEtrantmpcountC=\count187 -\@IEEEtrantmptoksA=\toks16 +\@IEEEtrantmpcountA=\count188 +\@IEEEtrantmpcountB=\count189 +\@IEEEtrantmpcountC=\count190 +\@IEEEtrantmptoksA=\toks17 LaTeX Font Info: Trying to load font information for OT1+ptm on input line 5 03. -(/usr/local/texlive/2023/texmf-dist/tex/latex/psnfss/ot1ptm.fd +(/usr/share/texmf-dist/tex/latex/psnfss/ot1ptm.fd File: ot1ptm.fd 2001/06/04 font definitions for OT1/ptm. ) -- Using 8.5in x 11in (letter) paper. @@ -91,63 +91,63 @@ LaTeX Font Info: Font shape `OT1/ptm/bx/it' in size <24> not available \IEEEiednormlabelsep=\dimen156 \IEEEiedmathlabelsep=\dimen157 \IEEEiedtopsep=\skip48 -\c@section=\count188 -\c@subsection=\count189 -\c@subsubsection=\count190 -\c@paragraph=\count191 -\c@IEEEsubequation=\count192 +\c@section=\count191 +\c@subsection=\count192 +\c@subsubsection=\count193 +\c@paragraph=\count194 +\c@IEEEsubequation=\count195 \abovecaptionskip=\skip49 \belowcaptionskip=\skip50 -\c@figure=\count193 -\c@table=\count194 -\@IEEEeqnnumcols=\count195 -\@IEEEeqncolcnt=\count196 -\@IEEEsubeqnnumrollback=\count197 +\c@figure=\count196 +\c@table=\count197 +\@IEEEeqnnumcols=\count198 +\@IEEEeqncolcnt=\count199 +\@IEEEsubeqnnumrollback=\count266 \@IEEEquantizeheightA=\dimen158 \@IEEEquantizeheightB=\dimen159 \@IEEEquantizeheightC=\dimen160 \@IEEEquantizeprevdepth=\dimen161 -\@IEEEquantizemultiple=\count198 +\@IEEEquantizemultiple=\count267 \@IEEEquantizeboxA=\box51 \@IEEEtmpitemindent=\dimen162 \IEEEPARstartletwidth=\dimen163 -\c@IEEEbiography=\count199 +\c@IEEEbiography=\count268 \@IEEEtranrubishbin=\box52 ) ** ATTENTION: Overriding command lockouts (line 2). -(/usr/local/texlive/2023/texmf-dist/tex/latex/cite/cite.sty +(/usr/share/texmf-dist/tex/latex/cite/cite.sty LaTeX Info: Redefining \cite on input line 302. LaTeX Info: Redefining \nocite on input line 332. Package: cite 2015/02/27 v 5.5 ) -(/usr/local/texlive/2023/texmf-dist/tex/latex/amsmath/amsmath.sty -Package: amsmath 2022/04/08 v2.17n AMS math features +(/usr/share/texmf-dist/tex/latex/amsmath/amsmath.sty +Package: amsmath 2023/05/13 v2.17o AMS math features \@mathmargin=\skip51 For additional information on amsmath, use the `?' option. -(/usr/local/texlive/2023/texmf-dist/tex/latex/amsmath/amstext.sty +(/usr/share/texmf-dist/tex/latex/amsmath/amstext.sty Package: amstext 2021/08/26 v2.01 AMS text -(/usr/local/texlive/2023/texmf-dist/tex/latex/amsmath/amsgen.sty +(/usr/share/texmf-dist/tex/latex/amsmath/amsgen.sty File: amsgen.sty 1999/11/30 v2.0 generic functions -\@emptytoks=\toks17 +\@emptytoks=\toks18 \ex@=\dimen164 )) -(/usr/local/texlive/2023/texmf-dist/tex/latex/amsmath/amsbsy.sty +(/usr/share/texmf-dist/tex/latex/amsmath/amsbsy.sty Package: amsbsy 1999/11/29 v1.2d Bold Symbols \pmbraise@=\dimen165 ) -(/usr/local/texlive/2023/texmf-dist/tex/latex/amsmath/amsopn.sty +(/usr/share/texmf-dist/tex/latex/amsmath/amsopn.sty Package: amsopn 2022/04/08 v2.04 operator names ) -\inf@bad=\count266 +\inf@bad=\count269 LaTeX Info: Redefining \frac on input line 234. -\uproot@=\count267 -\leftroot@=\count268 +\uproot@=\count270 +\leftroot@=\count271 LaTeX Info: Redefining \overline on input line 399. LaTeX Info: Redefining \colon on input line 410. -\classnum@=\count269 -\DOTSCASE@=\count270 +\classnum@=\count272 +\DOTSCASE@=\count273 LaTeX Info: Redefining \ldots on input line 496. LaTeX Info: Redefining \dots on input line 499. LaTeX Info: Redefining \cdots on input line 620. @@ -160,38 +160,38 @@ LaTeX Info: Redefining \Bigg on input line 725. \big@size=\dimen166 LaTeX Font Info: Redeclaring font encoding OML on input line 743. LaTeX Font Info: Redeclaring font encoding OMS on input line 744. -\macc@depth=\count271 +\macc@depth=\count274 LaTeX Info: Redefining \bmod on input line 905. LaTeX Info: Redefining \pmod on input line 910. LaTeX Info: Redefining \smash on input line 940. LaTeX Info: Redefining \relbar on input line 970. LaTeX Info: Redefining \Relbar on input line 971. -\c@MaxMatrixCols=\count272 +\c@MaxMatrixCols=\count275 \dotsspace@=\muskip16 -\c@parentequation=\count273 -\dspbrk@lvl=\count274 -\tag@help=\toks18 -\row@=\count275 -\column@=\count276 -\maxfields@=\count277 -\andhelp@=\toks19 +\c@parentequation=\count276 +\dspbrk@lvl=\count277 +\tag@help=\toks19 +\row@=\count278 +\column@=\count279 +\maxfields@=\count280 +\andhelp@=\toks20 \eqnshift@=\dimen167 \alignsep@=\dimen168 \tagshift@=\dimen169 \tagwidth@=\dimen170 \totwidth@=\dimen171 \lineht@=\dimen172 -\@envbody=\toks20 +\@envbody=\toks21 \multlinegap=\skip52 \multlinetaggap=\skip53 -\mathdisplay@stack=\toks21 +\mathdisplay@stack=\toks22 LaTeX Info: Redefining \[ on input line 2953. LaTeX Info: Redefining \] on input line 2954. ) -(/usr/local/texlive/2023/texmf-dist/tex/latex/amsfonts/amssymb.sty +(/usr/share/texmf-dist/tex/latex/amsfonts/amssymb.sty Package: amssymb 2013/01/14 v3.01 AMS font symbols -(/usr/local/texlive/2023/texmf-dist/tex/latex/amsfonts/amsfonts.sty +(/usr/share/texmf-dist/tex/latex/amsfonts/amsfonts.sty Package: amsfonts 2013/01/14 v3.01 Basic AMSFonts support \symAMSa=\mathgroup4 \symAMSb=\mathgroup5 @@ -199,182 +199,1104 @@ LaTeX Font Info: Redeclaring math symbol \hbar on input line 98. LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold' (Font) U/euf/m/n --> U/euf/b/n on input line 106. )) -(/usr/local/texlive/2023/texmf-dist/tex/latex/algorithms/algorithmic.sty +(/usr/share/texmf-dist/tex/latex/algorithms/algorithmic.sty Package: algorithmic 2009/08/24 v0.1 Document Style `algorithmic' -(/usr/local/texlive/2023/texmf-dist/tex/latex/base/ifthen.sty +(/usr/share/texmf-dist/tex/latex/base/ifthen.sty Package: ifthen 2022/04/13 v1.1d Standard LaTeX ifthen package (DPC) ) -(/usr/local/texlive/2023/texmf-dist/tex/latex/graphics/keyval.sty +(/usr/share/texmf-dist/tex/latex/graphics/keyval.sty Package: keyval 2022/05/29 v1.15 key=value parser (DPC) -\KV@toks@=\toks22 +\KV@toks@=\toks23 ) -\c@ALC@unique=\count278 -\c@ALC@line=\count279 -\c@ALC@rem=\count280 -\c@ALC@depth=\count281 +\c@ALC@unique=\count281 +\c@ALC@line=\count282 +\c@ALC@rem=\count283 +\c@ALC@depth=\count284 \ALC@tlm=\skip54 \algorithmicindent=\skip55 ) -(/usr/local/texlive/2023/texmf-dist/tex/latex/graphics/graphicx.sty +(/usr/share/texmf-dist/tex/latex/graphics/graphicx.sty Package: graphicx 2021/09/16 v1.2d Enhanced LaTeX Graphics (DPC,SPQR) -(/usr/local/texlive/2023/texmf-dist/tex/latex/graphics/graphics.sty +(/usr/share/texmf-dist/tex/latex/graphics/graphics.sty Package: graphics 2022/03/10 v1.4e Standard LaTeX Graphics (DPC,SPQR) -(/usr/local/texlive/2023/texmf-dist/tex/latex/graphics/trig.sty +(/usr/share/texmf-dist/tex/latex/graphics/trig.sty Package: trig 2021/08/11 v1.11 sin cos tan (DPC) ) -(/usr/local/texlive/2023/texmf-dist/tex/latex/graphics-cfg/graphics.cfg +(/usr/share/texmf-dist/tex/latex/graphics-cfg/graphics.cfg File: graphics.cfg 2016/06/04 v1.11 sample graphics configuration ) Package graphics Info: Driver file: pdftex.def on input line 107. -(/usr/local/texlive/2023/texmf-dist/tex/latex/graphics-def/pdftex.def +(/usr/share/texmf-dist/tex/latex/graphics-def/pdftex.def File: pdftex.def 2022/09/22 v1.2b Graphics/color driver for pdftex )) \Gin@req@height=\dimen173 \Gin@req@width=\dimen174 ) -(/usr/local/texlive/2023/texmf-dist/tex/latex/base/textcomp.sty +(/usr/share/texmf-dist/tex/latex/base/textcomp.sty Package: textcomp 2020/02/02 v2.0n Standard LaTeX package ) -(/usr/local/texlive/2023/texmf-dist/tex/latex/xcolor/xcolor.sty -Package: xcolor 2022/06/12 v2.14 LaTeX color extensions (UK) +(/usr/share/texmf-dist/tex/latex/xcolor/xcolor.sty +Package: xcolor 2023/11/15 v3.01 LaTeX color extensions (UK) -(/usr/local/texlive/2023/texmf-dist/tex/latex/graphics-cfg/color.cfg +(/usr/share/texmf-dist/tex/latex/graphics-cfg/color.cfg File: color.cfg 2016/01/02 v1.6 sample color configuration ) -Package xcolor Info: Driver file: pdftex.def on input line 227. +Package xcolor Info: Driver file: pdftex.def on input line 274. -(/usr/local/texlive/2023/texmf-dist/tex/latex/graphics/mathcolor.ltx) -Package xcolor Info: Model `cmy' substituted by `cmy0' on input line 1353. -Package xcolor Info: Model `hsb' substituted by `rgb' on input line 1357. -Package xcolor Info: Model `RGB' extended on input line 1369. -Package xcolor Info: Model `HTML' substituted by `rgb' on input line 1371. -Package xcolor Info: Model `Hsb' substituted by `hsb' on input line 1372. -Package xcolor Info: Model `tHsb' substituted by `hsb' on input line 1373. -Package xcolor Info: Model `HSB' substituted by `hsb' on input line 1374. -Package xcolor Info: Model `Gray' substituted by `gray' on input line 1375. -Package xcolor Info: Model `wave' substituted by `hsb' on input line 1376. +(/usr/share/texmf-dist/tex/latex/graphics/mathcolor.ltx) +Package xcolor Info: Model `cmy' substituted by `cmy0' on input line 1350. +Package xcolor Info: Model `hsb' substituted by `rgb' on input line 1354. +Package xcolor Info: Model `RGB' extended on input line 1366. +Package xcolor Info: Model `HTML' substituted by `rgb' on input line 1368. +Package xcolor Info: Model `Hsb' substituted by `hsb' on input line 1369. +Package xcolor Info: Model `tHsb' substituted by `hsb' on input line 1370. +Package xcolor Info: Model `HSB' substituted by `hsb' on input line 1371. +Package xcolor Info: Model `Gray' substituted by `gray' on input line 1372. +Package xcolor Info: Model `wave' substituted by `hsb' on input line 1373. ) -(/usr/local/texlive/2023/texmf-dist/tex/latex/amscls/amsthm.sty +(/usr/share/texmf-dist/tex/latex/amscls/amsthm.sty Package: amsthm 2020/05/29 v2.20.6 -\thm@style=\toks23 -\thm@bodyfont=\toks24 -\thm@headfont=\toks25 -\thm@notefont=\toks26 -\thm@headpunct=\toks27 +\thm@style=\toks24 +\thm@bodyfont=\toks25 +\thm@headfont=\toks26 +\thm@notefont=\toks27 +\thm@headpunct=\toks28 \thm@preskip=\skip56 \thm@postskip=\skip57 \thm@headsep=\skip58 -\dth@everypar=\toks28 +\dth@everypar=\toks29 ) -(/usr/local/texlive/2023/texmf-dist/tex/latex/tools/xspace.sty +(/usr/share/texmf-dist/tex/latex/tools/xspace.sty Package: xspace 2014/10/28 v1.13 Space after command names (DPC,MH) ) -(/usr/local/texlive/2023/texmf-dist/tex/latex/tools/array.sty -Package: array 2022/09/04 v2.5g Tabular extension package (FMi) +(/usr/share/texmf-dist/tex/latex/tools/array.sty +Package: array 2023/10/16 v2.5g Tabular extension package (FMi) \col@sep=\dimen175 \ar@mcellbox=\box55 \extrarowheight=\dimen176 -\NC@list=\toks29 +\NC@list=\toks30 \extratabsurround=\skip59 \backup@length=\skip60 \ar@cellbox=\box56 ) -(/usr/local/texlive/2023/texmf-dist/tex/latex/comment/comment.sty +(/usr/share/texmf-dist/tex/latex/comment/comment.sty \CommentStream=\write3 Excluding comment 'comment') -\c@definition=\count282 - -(/usr/local/texlive/2023/texmf-dist/tex/latex/listings/listings.sty -\lst@mode=\count283 -\lst@gtempboxa=\box57 -\lst@token=\toks30 -\lst@length=\count284 -\lst@currlwidth=\dimen177 -\lst@column=\count285 -\lst@pos=\count286 -\lst@lostspace=\dimen178 -\lst@width=\dimen179 -\lst@newlines=\count287 -\lst@lineno=\count288 -\lst@maxwidth=\dimen180 - -(/usr/local/texlive/2023/texmf-dist/tex/latex/listings/lstmisc.sty -File: lstmisc.sty 2023/02/27 1.9 (Carsten Heinz) -\c@lstnumber=\count289 -\lst@skipnumbers=\count290 -\lst@framebox=\box58 +(/usr/share/texmf-dist/tex/latex/tools/enumerate.sty +Package: enumerate 2023/07/04 v3.00 enumerate extensions (DPC) +\@enLab=\toks31 ) -(/usr/local/texlive/2023/texmf-dist/tex/latex/listings/listings.cfg -File: listings.cfg 2023/02/27 1.9 listings configuration +(/usr/share/texmf-dist/tex/latex/oberdiek/centernot.sty +Package: centernot 2016/05/16 v1.4 Centers the not symbol horizontally (HO) +) +(/usr/share/texmf-dist/tex/latex/multirow/multirow.sty +Package: multirow 2021/03/15 v2.8 Span multiple rows of a table +\multirow@colwidth=\skip61 +\multirow@cntb=\count285 +\multirow@dima=\skip62 +\bigstrutjot=\dimen177 +) +(/usr/share/texmf-dist/tex/latex/float/float.sty +Package: float 2001/11/08 v1.3d Float enhancements (AL) +\c@float@type=\count286 +\float@exts=\toks32 +\float@box=\box57 +\@float@everytoks=\toks33 +\@floatcapt=\box58 +) +(/usr/share/texmf-dist/tex/latex/caption/caption.sty +Package: caption 2023/08/05 v3.6o Customizing captions (AR) + +(/usr/share/texmf-dist/tex/latex/caption/caption3.sty +Package: caption3 2023/07/31 v2.4d caption3 kernel (AR) +\caption@tempdima=\dimen178 +\captionmargin=\dimen179 +\caption@leftmargin=\dimen180 +\caption@rightmargin=\dimen181 +\caption@width=\dimen182 +\caption@indent=\dimen183 +\caption@parindent=\dimen184 +\caption@hangindent=\dimen185 +Package caption Info: Unknown document class (or package), +(caption) standard defaults will be used. +Package caption Info: \@makecaption = \long macro:#1#2->\ifx \@captype \@IEEEta +blestring \footnotesize \bgroup \par \centering \@IEEEtabletopskipstrut {\norma +lfont \footnotesize #1}\\{\normalfont \footnotesize \scshape #2}\par \addvspace + {0.5\baselineskip }\egroup \@IEEEtablecaptionsepspace \else \@IEEEfigurecaptio +nsepspace \setbox \@tempboxa \hbox {\normalfont \footnotesize {#1.}\nobreakspac +e \nobreakspace #2}\ifdim \wd \@tempboxa >\hsize \setbox \@tempboxa \hbox {\nor +malfont \footnotesize {#1.}\nobreakspace \nobreakspace }\parbox [t]{\hsize }{\n +ormalfont \footnotesize \noindent \unhbox \@tempboxa #2}\else \ifCLASSOPTIONcon +ference \hbox to\hsize {\normalfont \footnotesize \hfil \box \@tempboxa \hfil } +\else \hbox to\hsize {\normalfont \footnotesize \box \@tempboxa \hfil }\fi \fi +\fi on input line 1175. +) + +Package caption Warning: Unknown document class (or package), +(caption) standard defaults will be used. +See the caption package documentation for explanation. + +\c@caption@flags=\count287 +\c@continuedfloat=\count288 +Package caption Info: float package is loaded. +) (/usr/share/texmf-dist/tex/latex/caption/subcaption.sty +Package: subcaption 2023/07/28 v1.6b Sub-captions (AR) +Package caption Info: New subtype `subfigure' on input line 238. +\c@subfigure=\count289 +Package caption Info: New subtype `subtable' on input line 238. +\c@subtable=\count290 +) +(/usr/share/texmf-dist/tex/latex/pgfplots/pgfplots.sty +(/usr/share/texmf-dist/tex/generic/pgfplots/pgfplots.revision.tex) +Package: pgfplots 2021/05/15 v1.18.1 Data Visualization (1.18.1) + +(/usr/share/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty +(/usr/share/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty +(/usr/share/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty +(/usr/share/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex +\pgfutil@everybye=\toks34 +\pgfutil@tempdima=\dimen186 +\pgfutil@tempdimb=\dimen187 +) +(/usr/share/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def +\pgfutil@abb=\box59 +) +(/usr/share/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex +(/usr/share/texmf-dist/tex/generic/pgf/pgf.revision.tex) +Package: pgfrcs 2023-01-15 v3.1.10 (3.1.10) )) -Package: listings 2023/02/27 1.9 (Carsten Heinz) +Package: pgf 2023-01-15 v3.1.10 (3.1.10) -(/usr/local/texlive/2023/texmf-dist/tex/latex/listings/lstlang1.sty -File: lstlang1.sty 2023/02/27 1.9 listings language file -) -(/usr/local/texlive/2023/texmf-dist/tex/latex/listings/lstlang2.sty -File: lstlang2.sty 2023/02/27 1.9 listings language file -) -(/usr/local/texlive/2023/texmf-dist/tex/latex/listings/lstlang3.sty -File: lstlang3.sty 2023/02/27 1.9 listings language file -) -(/usr/local/texlive/2023/texmf-dist/tex/latex/listings/lstmisc.sty -File: lstmisc.sty 2023/02/27 1.9 (Carsten Heinz) -) -\c@theorem=\count291 +(/usr/share/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty +(/usr/share/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty +(/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex +Package: pgfsys 2023-01-15 v3.1.10 (3.1.10) -(/usr/local/texlive/2023/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def -File: l3backend-pdftex.def 2023-01-16 L3 backend support: PDF output (pdfTeX) -\l__color_backend_stack_int=\count292 -\l__pdf_internal_box=\box59 +(/usr/share/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex +\pgfkeys@pathtoks=\toks35 +\pgfkeys@temptoks=\toks36 + +(/usr/share/texmf-dist/tex/generic/pgf/utilities/pgfkeyslibraryfiltered.code.te +x +\pgfkeys@tmptoks=\toks37 +)) +\pgf@x=\dimen188 +\pgf@y=\dimen189 +\pgf@xa=\dimen190 +\pgf@ya=\dimen191 +\pgf@xb=\dimen192 +\pgf@yb=\dimen193 +\pgf@xc=\dimen194 +\pgf@yc=\dimen195 +\pgf@xd=\dimen196 +\pgf@yd=\dimen197 +\w@pgf@writea=\write4 +\r@pgf@reada=\read2 +\c@pgf@counta=\count291 +\c@pgf@countb=\count292 +\c@pgf@countc=\count293 +\c@pgf@countd=\count294 +\t@pgf@toka=\toks38 +\t@pgf@tokb=\toks39 +\t@pgf@tokc=\toks40 +\pgf@sys@id@count=\count295 + (/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg +File: pgf.cfg 2023-01-15 v3.1.10 (3.1.10) ) -(./main.aux) +Driver file for pgf: pgfsys-pdftex.def + +(/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def +File: pgfsys-pdftex.def 2023-01-15 v3.1.10 (3.1.10) + +(/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-pdf.def +File: pgfsys-common-pdf.def 2023-01-15 v3.1.10 (3.1.10) +))) +(/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex +File: pgfsyssoftpath.code.tex 2023-01-15 v3.1.10 (3.1.10) +\pgfsyssoftpath@smallbuffer@items=\count296 +\pgfsyssoftpath@bigbuffer@items=\count297 +) +(/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex +File: pgfsysprotocol.code.tex 2023-01-15 v3.1.10 (3.1.10) +)) +(/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex +Package: pgfcore 2023-01-15 v3.1.10 (3.1.10) + +(/usr/share/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex +(/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex) +(/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex +\pgfmath@dimen=\dimen198 +\pgfmath@count=\count298 +\pgfmath@box=\box60 +\pgfmath@toks=\toks41 +\pgfmath@stack@operand=\toks42 +\pgfmath@stack@operation=\toks43 +) +(/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex) +(/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code.tex) +(/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonometric.code +.tex) +(/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.code.tex) +(/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison.code.te +x) (/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code.tex) +(/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code.tex) +(/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code.tex) +(/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integerarithmetics +.code.tex) (/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex) +(/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex +\c@pgfmathroundto@lastzeros=\count299 +)) +(/usr/share/texmf-dist/tex/generic/pgf/math/pgfint.code.tex) +(/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.tex +File: pgfcorepoints.code.tex 2023-01-15 v3.1.10 (3.1.10) +\pgf@picminx=\dimen199 +\pgf@picmaxx=\dimen256 +\pgf@picminy=\dimen257 +\pgf@picmaxy=\dimen258 +\pgf@pathminx=\dimen259 +\pgf@pathmaxx=\dimen260 +\pgf@pathminy=\dimen261 +\pgf@pathmaxy=\dimen262 +\pgf@xx=\dimen263 +\pgf@xy=\dimen264 +\pgf@yx=\dimen265 +\pgf@yy=\dimen266 +\pgf@zx=\dimen267 +\pgf@zy=\dimen268 +) +(/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct.code.tex +File: pgfcorepathconstruct.code.tex 2023-01-15 v3.1.10 (3.1.10) +\pgf@path@lastx=\dimen269 +\pgf@path@lasty=\dimen270 +) (/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code.tex +File: pgfcorepathusage.code.tex 2023-01-15 v3.1.10 (3.1.10) +\pgf@shorten@end@additional=\dimen271 +\pgf@shorten@start@additional=\dimen272 +) +(/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.tex +File: pgfcorescopes.code.tex 2023-01-15 v3.1.10 (3.1.10) +\pgfpic=\box61 +\pgf@hbox=\box62 +\pgf@layerbox@main=\box63 +\pgf@picture@serial@count=\count300 +) +(/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.code.tex +File: pgfcoregraphicstate.code.tex 2023-01-15 v3.1.10 (3.1.10) +\pgflinewidth=\dimen273 +) +(/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformations.code.t +ex +File: pgfcoretransformations.code.tex 2023-01-15 v3.1.10 (3.1.10) +\pgf@pt@x=\dimen274 +\pgf@pt@y=\dimen275 +\pgf@pt@temp=\dimen276 +) (/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex +File: pgfcorequick.code.tex 2023-01-15 v3.1.10 (3.1.10) +) +(/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.tex +File: pgfcoreobjects.code.tex 2023-01-15 v3.1.10 (3.1.10) +) +(/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing.code.te +x +File: pgfcorepathprocessing.code.tex 2023-01-15 v3.1.10 (3.1.10) +) (/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.tex +File: pgfcorearrows.code.tex 2023-01-15 v3.1.10 (3.1.10) +\pgfarrowsep=\dimen277 +) +(/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex +File: pgfcoreshade.code.tex 2023-01-15 v3.1.10 (3.1.10) +\pgf@max=\dimen278 +\pgf@sys@shading@range@num=\count301 +\pgf@shadingcount=\count302 +) +(/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex +File: pgfcoreimage.code.tex 2023-01-15 v3.1.10 (3.1.10) +) +(/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code.tex +File: pgfcoreexternal.code.tex 2023-01-15 v3.1.10 (3.1.10) +\pgfexternal@startupbox=\box64 +) +(/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.tex +File: pgfcorelayers.code.tex 2023-01-15 v3.1.10 (3.1.10) +) +(/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.code.tex +File: pgfcoretransparency.code.tex 2023-01-15 v3.1.10 (3.1.10) +) (/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code.tex +File: pgfcorepatterns.code.tex 2023-01-15 v3.1.10 (3.1.10) +) +(/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorerdf.code.tex +File: pgfcorerdf.code.tex 2023-01-15 v3.1.10 (3.1.10) +))) +(/usr/share/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.code.tex +File: pgfmoduleshapes.code.tex 2023-01-15 v3.1.10 (3.1.10) +\pgfnodeparttextbox=\box65 +) +(/usr/share/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code.tex +File: pgfmoduleplot.code.tex 2023-01-15 v3.1.10 (3.1.10) +) +(/usr/share/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65.sty +Package: pgfcomp-version-0-65 2023-01-15 v3.1.10 (3.1.10) +\pgf@nodesepstart=\dimen279 +\pgf@nodesepend=\dimen280 +) +(/usr/share/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18.sty +Package: pgfcomp-version-1-18 2023-01-15 v3.1.10 (3.1.10) +)) +(/usr/share/texmf-dist/tex/latex/pgf/utilities/pgffor.sty +(/usr/share/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty +(/usr/share/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex)) +(/usr/share/texmf-dist/tex/latex/pgf/math/pgfmath.sty +(/usr/share/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex)) +(/usr/share/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex +Package: pgffor 2023-01-15 v3.1.10 (3.1.10) +\pgffor@iter=\dimen281 +\pgffor@skip=\dimen282 +\pgffor@stack=\toks44 +\pgffor@toks=\toks45 +)) +(/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex +Package: tikz 2023-01-15 v3.1.10 (3.1.10) + +(/usr/share/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothandlers.code.te +x +File: pgflibraryplothandlers.code.tex 2023-01-15 v3.1.10 (3.1.10) +\pgf@plot@mark@count=\count303 +\pgfplotmarksize=\dimen283 +) +\tikz@lastx=\dimen284 +\tikz@lasty=\dimen285 +\tikz@lastxsaved=\dimen286 +\tikz@lastysaved=\dimen287 +\tikz@lastmovetox=\dimen288 +\tikz@lastmovetoy=\dimen289 +\tikzleveldistance=\dimen290 +\tikzsiblingdistance=\dimen291 +\tikz@figbox=\box66 +\tikz@figbox@bg=\box67 +\tikz@tempbox=\box68 +\tikz@tempbox@bg=\box69 +\tikztreelevel=\count304 +\tikznumberofchildren=\count305 +\tikznumberofcurrentchild=\count306 +\tikz@fig@count=\count307 + (/usr/share/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.code.tex +File: pgfmodulematrix.code.tex 2023-01-15 v3.1.10 (3.1.10) +\pgfmatrixcurrentrow=\count308 +\pgfmatrixcurrentcolumn=\count309 +\pgf@matrix@numberofcolumns=\count310 +) +\tikz@expandcount=\count311 + +(/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrary +topaths.code.tex +File: tikzlibrarytopaths.code.tex 2023-01-15 v3.1.10 (3.1.10) +))) +(/usr/share/texmf-dist/tex/generic/pgfplots/pgfplots.code.tex +(/usr/share/texmf-dist/tex/generic/pgfplots/pgfplotscore.code.tex +\t@pgfplots@toka=\toks46 +\t@pgfplots@tokb=\toks47 +\t@pgfplots@tokc=\toks48 +\pgfplots@tmpa=\dimen292 +\c@pgfplots@coordindex=\count312 +\c@pgfplots@scanlineindex=\count313 + +(/usr/share/texmf-dist/tex/generic/pgfplots/sys/pgfplotssysgeneric.code.tex)) +(/usr/share/texmf-dist/tex/generic/pgfplots/libs/pgfplotslibrary.code.tex) +(/usr/share/texmf-dist/tex/generic/pgfplots/oldpgfcompatib/pgfplotsoldpgfsupp_l +oader.code.tex +(/usr/share/texmf-dist/tex/generic/pgf/libraries/pgflibraryfpu.code.tex) +Package pgfplots: loading complementary utilities for your pgf version... +\t@pgf@toka=\toks49 +\t@pgf@tokb=\toks50 +\t@pgf@tokc=\toks51 + +(/usr/share/texmf-dist/tex/generic/pgfplots/oldpgfcompatib/pgfplotsoldpgfsupp_p +gfutil-common-lists.tex)) +(/usr/share/texmf-dist/tex/generic/pgfplots/util/pgfplotsutil.code.tex +(/usr/share/texmf-dist/tex/generic/pgfplots/liststructure/pgfplotsliststructure +.code.tex) +(/usr/share/texmf-dist/tex/generic/pgfplots/liststructure/pgfplotsliststructure +ext.code.tex) +(/usr/share/texmf-dist/tex/generic/pgfplots/liststructure/pgfplotsarray.code.te +x +\c@pgfplotsarray@tmp=\count314 +) +(/usr/share/texmf-dist/tex/generic/pgfplots/liststructure/pgfplotsmatrix.code.t +ex) +(/usr/share/texmf-dist/tex/generic/pgfplots/numtable/pgfplotstableshared.code.t +ex +\c@pgfplotstable@counta=\count315 +\t@pgfplotstable@a=\toks52 +) +(/usr/share/texmf-dist/tex/generic/pgfplots/liststructure/pgfplotsdeque.code.te +x) (/usr/share/texmf-dist/tex/generic/pgfplots/util/pgfplotsbinary.code.tex +(/usr/share/texmf-dist/tex/generic/pgfplots/util/pgfplotsbinary.data.code.tex)) +(/usr/share/texmf-dist/tex/generic/pgfplots/util/pgfplotsutil.verb.code.tex) +(/usr/share/texmf-dist/tex/generic/pgfplots/libs/pgflibrarypgfplots.surfshading +.code.tex +\c@pgfplotslibrarysurf@no=\count316 + +(/usr/share/texmf-dist/tex/generic/pgfplots/sys/pgflibrarypgfplots.surfshading. +pgfsys-pdftex.def))) +(/usr/share/texmf-dist/tex/generic/pgfplots/util/pgfplotscolormap.code.tex +(/usr/share/texmf-dist/tex/generic/pgfplots/util/pgfplotscolor.code.tex)) +(/usr/share/texmf-dist/tex/generic/pgfplots/pgfplotsstackedplots.code.tex) +(/usr/share/texmf-dist/tex/generic/pgfplots/pgfplotsplothandlers.code.tex +(/usr/share/texmf-dist/tex/generic/pgfplots/pgfplotsmeshplothandler.code.tex +(/usr/share/texmf-dist/tex/generic/pgfplots/pgfplotsmeshplotimage.code.tex))) +(/usr/share/texmf-dist/tex/generic/pgfplots/pgfplots.scaling.code.tex) +(/usr/share/texmf-dist/tex/generic/pgfplots/pgfplotscoordprocessing.code.tex) +(/usr/share/texmf-dist/tex/generic/pgfplots/pgfplots.errorbars.code.tex) +(/usr/share/texmf-dist/tex/generic/pgfplots/pgfplots.markers.code.tex) +(/usr/share/texmf-dist/tex/generic/pgfplots/pgfplotsticks.code.tex) +(/usr/share/texmf-dist/tex/generic/pgfplots/pgfplots.paths.code.tex) +(/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrary +decorations.code.tex +(/usr/share/texmf-dist/tex/generic/pgf/modules/pgfmoduledecorations.code.tex +\pgfdecoratedcompleteddistance=\dimen293 +\pgfdecoratedremainingdistance=\dimen294 +\pgfdecoratedinputsegmentcompleteddistance=\dimen295 +\pgfdecoratedinputsegmentremainingdistance=\dimen296 +\pgf@decorate@distancetomove=\dimen297 +\pgf@decorate@repeatstate=\count317 +\pgfdecorationsegmentamplitude=\dimen298 +\pgfdecorationsegmentlength=\dimen299 +) +\tikz@lib@dec@box=\box70 +) +(/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrary +decorations.pathmorphing.code.tex +(/usr/share/texmf-dist/tex/generic/pgf/libraries/decorations/pgflibrarydecorati +ons.pathmorphing.code.tex)) +(/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrary +decorations.pathreplacing.code.tex +(/usr/share/texmf-dist/tex/generic/pgf/libraries/decorations/pgflibrarydecorati +ons.pathreplacing.code.tex)) +(/usr/share/texmf-dist/tex/generic/pgfplots/libs/tikzlibrarypgfplots.contourlua +.code.tex) +\pgfplots@numplots=\count318 +\pgfplots@xmin@reg=\dimen300 +\pgfplots@xmax@reg=\dimen301 +\pgfplots@ymin@reg=\dimen302 +\pgfplots@ymax@reg=\dimen303 +\pgfplots@zmin@reg=\dimen304 +\pgfplots@zmax@reg=\dimen305 +) +(/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrary +plotmarks.code.tex +File: tikzlibraryplotmarks.code.tex 2023-01-15 v3.1.10 (3.1.10) + +(/usr/share/texmf-dist/tex/generic/pgf/libraries/pgflibraryplotmarks.code.tex +File: pgflibraryplotmarks.code.tex 2023-01-15 v3.1.10 (3.1.10) +))) (/usr/share/texmf-dist/tex/latex/pgf-pie/pgf-pie.sty +Package: pgf-pie 2022/06/14 v0.7 Some LaTeX macros for pie chart by using PGF/T +ikz package. + +(/usr/share/texmf-dist/tex/latex/pgf-pie/tikzlibrarypie.code.tex +(/usr/share/texmf-dist/tex/latex/carlisle/scalefnt.sty) +\pgfpie@angleEnd=\dimen306 +\pgfpie@explodeLength=\count319 +\pgfpie@colorLength=\count320 +\pgfpie@sliceLength=\count321 +)) +(/usr/share/texmf-dist/tex/latex/listings/listings.sty +\lst@mode=\count322 +\lst@gtempboxa=\box71 +\lst@token=\toks53 +\lst@length=\count323 +\lst@currlwidth=\dimen307 +\lst@column=\count324 +\lst@pos=\count325 +\lst@lostspace=\dimen308 +\lst@width=\dimen309 +\lst@newlines=\count326 +\lst@lineno=\count327 +\lst@maxwidth=\dimen310 + +(/usr/share/texmf-dist/tex/latex/listings/lstpatch.sty +File: lstpatch.sty 2024/02/21 1.10 (Carsten Heinz) +) +(/usr/share/texmf-dist/tex/latex/listings/lstmisc.sty +File: lstmisc.sty 2024/02/21 1.10 (Carsten Heinz) +\c@lstnumber=\count328 +\lst@skipnumbers=\count329 +\lst@framebox=\box72 +) +(/usr/share/texmf-dist/tex/latex/listings/listings.cfg +File: listings.cfg 2024/02/21 1.10 listings configuration +)) +Package: listings 2024/02/21 1.10 (Carsten Heinz) + +(/usr/share/texmf-dist/tex/latex/adjustbox/adjustbox.sty +Package: adjustbox 2022/10/17 v1.3a Adjusting TeX boxes (trim, clip, ...) + +(/usr/share/texmf-dist/tex/latex/xkeyval/xkeyval.sty +Package: xkeyval 2022/06/16 v2.9 package option processing (HA) + +(/usr/share/texmf-dist/tex/generic/xkeyval/xkeyval.tex +(/usr/share/texmf-dist/tex/generic/xkeyval/xkvutils.tex +\XKV@toks=\toks54 +\XKV@tempa@toks=\toks55 +) +\XKV@depth=\count330 +File: xkeyval.tex 2014/12/03 v2.7a key=value parser (HA) +)) +(/usr/share/texmf-dist/tex/latex/adjustbox/adjcalc.sty +Package: adjcalc 2012/05/16 v1.1 Provides advanced setlength with multiple back +-ends (calc, etex, pgfmath) +) +(/usr/share/texmf-dist/tex/latex/adjustbox/trimclip.sty +Package: trimclip 2020/08/19 v1.2 Trim and clip general TeX material + +(/usr/share/texmf-dist/tex/latex/collectbox/collectbox.sty +Package: collectbox 2022/10/17 v0.4c Collect macro arguments as boxes +\collectedbox=\box73 +) +\tc@llx=\dimen311 +\tc@lly=\dimen312 +\tc@urx=\dimen313 +\tc@ury=\dimen314 +Package trimclip Info: Using driver 'tc-pdftex.def'. + +(/usr/share/texmf-dist/tex/latex/adjustbox/tc-pdftex.def +File: tc-pdftex.def 2019/01/04 v2.2 Clipping driver for pdftex +)) +\adjbox@Width=\dimen315 +\adjbox@Height=\dimen316 +\adjbox@Depth=\dimen317 +\adjbox@Totalheight=\dimen318 +\adjbox@pwidth=\dimen319 +\adjbox@pheight=\dimen320 +\adjbox@pdepth=\dimen321 +\adjbox@ptotalheight=\dimen322 + +(/usr/share/texmf-dist/tex/latex/ifoddpage/ifoddpage.sty +Package: ifoddpage 2022/10/18 v1.2 Conditionals for odd/even page detection +\c@checkoddpage=\count331 +) +(/usr/share/texmf-dist/tex/latex/varwidth/varwidth.sty +Package: varwidth 2009/03/30 ver 0.92; Variable-width minipages +\@vwid@box=\box74 +\sift@deathcycles=\count332 +\@vwid@loff=\dimen323 +\@vwid@roff=\dimen324 +)) +(/usr/share/texmf-dist/tex/latex/mdframed/mdframed.sty +Package: mdframed 2013/07/01 1.9b: mdframed + +(/usr/share/texmf-dist/tex/latex/kvoptions/kvoptions.sty +Package: kvoptions 2022-06-15 v3.15 Key value format for package options (HO) + +(/usr/share/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty +Package: ltxcmds 2023-12-04 v1.26 LaTeX kernel commands for general use (HO) +) +(/usr/share/texmf-dist/tex/latex/kvsetkeys/kvsetkeys.sty +Package: kvsetkeys 2022-10-05 v1.19 Key value parser (HO) +)) +(/usr/share/texmf-dist/tex/latex/l3packages/xparse/xparse.sty +(/usr/share/texmf-dist/tex/latex/l3kernel/expl3.sty +Package: expl3 2024-02-20 L3 programming layer (loader) + +(/usr/share/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def +File: l3backend-pdftex.def 2024-02-20 L3 backend support: PDF output (pdfTeX) +\l__color_backend_stack_int=\count333 +\l__pdf_internal_box=\box75 +)) +Package: xparse 2024-02-18 L3 Experimental document command parser +) +(/usr/share/texmf-dist/tex/latex/etoolbox/etoolbox.sty +Package: etoolbox 2020/10/05 v2.5k e-TeX tools for LaTeX (JAW) +\etb@tempcnta=\count334 +) +(/usr/share/texmf-dist/tex/latex/zref/zref-abspage.sty +Package: zref-abspage 2023-09-14 v2.35 Module abspage for zref (HO) + +(/usr/share/texmf-dist/tex/latex/zref/zref-base.sty +Package: zref-base 2023-09-14 v2.35 Module base for zref (HO) + +(/usr/share/texmf-dist/tex/generic/infwarerr/infwarerr.sty +Package: infwarerr 2019/12/03 v1.5 Providing info/warning/error messages (HO) +) +(/usr/share/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty +Package: kvdefinekeys 2019-12-19 v1.6 Define keys (HO) +) +(/usr/share/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty +Package: pdftexcmds 2020-06-27 v0.33 Utility functions of pdfTeX for LuaTeX (HO +) + +(/usr/share/texmf-dist/tex/generic/iftex/iftex.sty +Package: iftex 2022/02/03 v1.0f TeX engine tests +) +Package pdftexcmds Info: \pdf@primitive is available. +Package pdftexcmds Info: \pdf@ifprimitive is available. +Package pdftexcmds Info: \pdfdraftmode found. +) +(/usr/share/texmf-dist/tex/generic/etexcmds/etexcmds.sty +Package: etexcmds 2019/12/15 v1.7 Avoid name clashes with e-TeX commands (HO) +) +(/usr/share/texmf-dist/tex/latex/auxhook/auxhook.sty +Package: auxhook 2019-12-17 v1.6 Hooks for auxiliary files (HO) +) +Package zref Info: New property list: main on input line 767. +Package zref Info: New property: default on input line 768. +Package zref Info: New property: page on input line 769. +) +\c@abspage=\count335 +Package zref Info: New property: abspage on input line 67. +) +(/usr/share/texmf-dist/tex/latex/needspace/needspace.sty +Package: needspace 2010/09/12 v1.3d reserve vertical space +) +\mdf@templength=\skip63 +\c@mdf@globalstyle@cnt=\count336 +\mdf@skipabove@length=\skip64 +\mdf@skipbelow@length=\skip65 +\mdf@leftmargin@length=\skip66 +\mdf@rightmargin@length=\skip67 +\mdf@innerleftmargin@length=\skip68 +\mdf@innerrightmargin@length=\skip69 +\mdf@innertopmargin@length=\skip70 +\mdf@innerbottommargin@length=\skip71 +\mdf@splittopskip@length=\skip72 +\mdf@splitbottomskip@length=\skip73 +\mdf@outermargin@length=\skip74 +\mdf@innermargin@length=\skip75 +\mdf@linewidth@length=\skip76 +\mdf@innerlinewidth@length=\skip77 +\mdf@middlelinewidth@length=\skip78 +\mdf@outerlinewidth@length=\skip79 +\mdf@roundcorner@length=\skip80 +\mdf@footenotedistance@length=\skip81 +\mdf@userdefinedwidth@length=\skip82 +\mdf@needspace@length=\skip83 +\mdf@frametitleaboveskip@length=\skip84 +\mdf@frametitlebelowskip@length=\skip85 +\mdf@frametitlerulewidth@length=\skip86 +\mdf@frametitleleftmargin@length=\skip87 +\mdf@frametitlerightmargin@length=\skip88 +\mdf@shadowsize@length=\skip89 +\mdf@extratopheight@length=\skip90 +\mdf@subtitleabovelinewidth@length=\skip91 +\mdf@subtitlebelowlinewidth@length=\skip92 +\mdf@subtitleaboveskip@length=\skip93 +\mdf@subtitlebelowskip@length=\skip94 +\mdf@subtitleinneraboveskip@length=\skip95 +\mdf@subtitleinnerbelowskip@length=\skip96 +\mdf@subsubtitleabovelinewidth@length=\skip97 +\mdf@subsubtitlebelowlinewidth@length=\skip98 +\mdf@subsubtitleaboveskip@length=\skip99 +\mdf@subsubtitlebelowskip@length=\skip100 +\mdf@subsubtitleinneraboveskip@length=\skip101 +\mdf@subsubtitleinnerbelowskip@length=\skip102 + +(/usr/share/texmf-dist/tex/latex/mdframed/md-frame-0.mdf +File: md-frame-0.mdf 2013/07/01\ 1.9b: md-frame-0 +) +\mdf@frametitlebox=\box76 +\mdf@footnotebox=\box77 +\mdf@splitbox@one=\box78 +\mdf@splitbox@two=\box79 +\mdf@splitbox@save=\box80 +\mdfsplitboxwidth=\skip103 +\mdfsplitboxtotalwidth=\skip104 +\mdfsplitboxheight=\skip105 +\mdfsplitboxdepth=\skip106 +\mdfsplitboxtotalheight=\skip107 +\mdfframetitleboxwidth=\skip108 +\mdfframetitleboxtotalwidth=\skip109 +\mdfframetitleboxheight=\skip110 +\mdfframetitleboxdepth=\skip111 +\mdfframetitleboxtotalheight=\skip112 +\mdffootnoteboxwidth=\skip113 +\mdffootnoteboxtotalwidth=\skip114 +\mdffootnoteboxheight=\skip115 +\mdffootnoteboxdepth=\skip116 +\mdffootnoteboxtotalheight=\skip117 +\mdftotallinewidth=\skip118 +\mdfboundingboxwidth=\skip119 +\mdfboundingboxtotalwidth=\skip120 +\mdfboundingboxheight=\skip121 +\mdfboundingboxdepth=\skip122 +\mdfboundingboxtotalheight=\skip123 +\mdf@freevspace@length=\skip124 +\mdf@horizontalwidthofbox@length=\skip125 +\mdf@verticalmarginwhole@length=\skip126 +\mdf@horizontalspaceofbox=\skip127 +\mdfsubtitleheight=\skip128 +\mdfsubsubtitleheight=\skip129 +\c@mdfcountframes=\count337 + +****** mdframed patching \endmdf@trivlist + +****** -- success****** + +\mdf@envdepth=\count338 +\c@mdf@env@i=\count339 +\c@mdf@env@ii=\count340 +\c@mdf@zref@counter=\count341 +Package zref Info: New property: mdf@pagevalue on input line 895. +) +(/usr/share/texmf-dist/tex/latex/changepage/changepage.sty +Package: changepage 2009/10/20 v1.0c check page and change page layout +\c@cp@cntr=\count342 +\cp@tempcnt=\count343 +LaTeX Info: Redefining \checkoddpage on input line 59. +) +(/usr/share/texmf-dist/tex/latex/algorithms/algorithm.sty +Package: algorithm 2009/08/24 v0.1 Document Style `algorithm' - floating enviro +nment +\@float@every@algorithm=\toks56 +\c@algorithm=\count344 +) +(/usr/share/texmf-dist/tex/latex/hyperref/hyperref.sty +Package: hyperref 2024-01-20 v7.01h Hypertext links for LaTeX + +(/usr/share/texmf-dist/tex/generic/pdfescape/pdfescape.sty +Package: pdfescape 2019/12/09 v1.15 Implements pdfTeX's escape features (HO) +) +(/usr/share/texmf-dist/tex/latex/hycolor/hycolor.sty +Package: hycolor 2020-01-27 v1.10 Color options for hyperref/bookmark (HO) +) +(/usr/share/texmf-dist/tex/latex/hyperref/nameref.sty +Package: nameref 2023-11-26 v2.56 Cross-referencing by name of section + +(/usr/share/texmf-dist/tex/latex/refcount/refcount.sty +Package: refcount 2019/12/15 v3.6 Data extraction from label references (HO) +) +(/usr/share/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty +Package: gettitlestring 2019/12/15 v1.6 Cleanup title references (HO) +) +\c@section@level=\count345 +) +\@linkdim=\dimen325 +\Hy@linkcounter=\count346 +\Hy@pagecounter=\count347 + +(/usr/share/texmf-dist/tex/latex/hyperref/pd1enc.def +File: pd1enc.def 2024-01-20 v7.01h Hyperref: PDFDocEncoding definition (HO) +Now handling font encoding PD1 ... +... no UTF-8 mapping file for font encoding PD1 +) +(/usr/share/texmf-dist/tex/generic/intcalc/intcalc.sty +Package: intcalc 2019/12/15 v1.3 Expandable calculations with integers (HO) +) +\Hy@SavedSpaceFactor=\count348 + +(/usr/share/texmf-dist/tex/latex/hyperref/puenc.def +File: puenc.def 2024-01-20 v7.01h Hyperref: PDF Unicode definition (HO) +Now handling font encoding PU ... +... no UTF-8 mapping file for font encoding PU +) +Package hyperref Info: Hyper figures OFF on input line 4179. +Package hyperref Info: Link nesting OFF on input line 4184. +Package hyperref Info: Hyper index ON on input line 4187. +Package hyperref Info: Plain pages OFF on input line 4194. +Package hyperref Info: Backreferencing OFF on input line 4199. +Package hyperref Info: Implicit mode ON; LaTeX internals redefined. +Package hyperref Info: Bookmarks ON on input line 4446. +\c@Hy@tempcnt=\count349 + +(/usr/share/texmf-dist/tex/latex/url/url.sty +\Urlmuskip=\muskip17 +Package: url 2013/09/16 ver 3.4 Verb mode for urls, etc. +) +LaTeX Info: Redefining \url on input line 4784. +\XeTeXLinkMargin=\dimen326 + +(/usr/share/texmf-dist/tex/generic/bitset/bitset.sty +Package: bitset 2019/12/09 v1.3 Handle bit-vector datatype (HO) + +(/usr/share/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty +Package: bigintcalc 2019/12/15 v1.5 Expandable calculations on big integers (HO +) +)) +\Fld@menulength=\count350 +\Field@Width=\dimen327 +\Fld@charsize=\dimen328 +Package hyperref Info: Hyper figures OFF on input line 6063. +Package hyperref Info: Link nesting OFF on input line 6068. +Package hyperref Info: Hyper index ON on input line 6071. +Package hyperref Info: backreferencing OFF on input line 6078. +Package hyperref Info: Link coloring OFF on input line 6083. +Package hyperref Info: Link coloring with OCG OFF on input line 6088. +Package hyperref Info: PDF/A mode OFF on input line 6093. + +(/usr/share/texmf-dist/tex/latex/base/atbegshi-ltx.sty +Package: atbegshi-ltx 2021/01/10 v1.0c Emulation of the original atbegshi +package with kernel methods +) +\Hy@abspage=\count351 +\c@Item=\count352 +\c@Hfootnote=\count353 +) +Package hyperref Info: Driver (autodetected): hpdftex. + +(/usr/share/texmf-dist/tex/latex/hyperref/hpdftex.def +File: hpdftex.def 2024-01-20 v7.01h Hyperref driver for pdfTeX + +(/usr/share/texmf-dist/tex/latex/base/atveryend-ltx.sty +Package: atveryend-ltx 2020/08/19 v1.0a Emulation of the original atveryend pac +kage +with kernel methods +) +\HyAnn@Count=\count354 +\Fld@listcount=\count355 +\c@bookmark@seq@number=\count356 + +(/usr/share/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty +Package: rerunfilecheck 2022-07-10 v1.10 Rerun checks for auxiliary files (HO) + +(/usr/share/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty +Package: uniquecounter 2019/12/15 v1.4 Provide unlimited unique counter (HO) +) +Package uniquecounter Info: New unique counter `rerunfilecheck' on input line 2 +85. +) +\Hy@SectionHShift=\skip130 +) +(/usr/share/texmf-dist/tex/latex/filecontents/filecontents.sty +Package: filecontents 2023/04/02 v1.5a Create an external file from within a La +TeX document + + +Package filecontents Warning: This package is obsolete. Disabling it and +(filecontents) passing control to the filecontents environment +(filecontents) defined by the LaTeX kernel. + +) (/usr/share/texmf-dist/tex/latex/xurl/xurl.sty +Package: xurl 2022/01/09 v 0.10 modify URL breaks +) +(/usr/share/texmf-dist/tex/latex/cryptocode/cryptocode.sty +Package: cryptocode 2021/08/15 v0.44 Cryptocode LaTeX package for typesetting p +seudocode, algorithms and protocols as well as cryptographic proofs. + +(/usr/share/texmf-dist/tex/latex/mathtools/mathtools.sty +Package: mathtools 2024/03/11 v1.30 mathematical typesetting tools + +(/usr/share/texmf-dist/tex/latex/tools/calc.sty +Package: calc 2023/07/08 v4.3 Infix arithmetic (KKT,FJ) +\calc@Acount=\count357 +\calc@Bcount=\count358 +\calc@Adimen=\dimen329 +\calc@Bdimen=\dimen330 +\calc@Askip=\skip131 +\calc@Bskip=\skip132 +LaTeX Info: Redefining \setlength on input line 80. +LaTeX Info: Redefining \addtolength on input line 81. +\calc@Ccount=\count359 +\calc@Cskip=\skip133 +) +(/usr/share/texmf-dist/tex/latex/mathtools/mhsetup.sty +Package: mhsetup 2021/03/18 v1.4 programming setup (MH) +) +\g_MT_multlinerow_int=\count360 +\l_MT_multwidth_dim=\dimen331 +\origjot=\skip134 +\l_MT_shortvdotswithinadjustabove_dim=\dimen332 +\l_MT_shortvdotswithinadjustbelow_dim=\dimen333 +\l_MT_above_intertext_sep=\dimen334 +\l_MT_below_intertext_sep=\dimen335 +\l_MT_above_shortintertext_sep=\dimen336 +\l_MT_below_shortintertext_sep=\dimen337 +\xmathstrut@box=\box81 +\xmathstrut@dim=\dimen338 +) +(/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrary +positioning.code.tex +File: tikzlibrarypositioning.code.tex 2023-01-15 v3.1.10 (3.1.10) +) +(/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrary +calc.code.tex +File: tikzlibrarycalc.code.tex 2023-01-15 v3.1.10 (3.1.10) +) (/usr/share/texmf-dist/tex/latex/xargs/xargs.sty +Package: xargs 2008/03/22 v1.1 extended macro definitions (mpg) +\xargs@max=\count361 +\xargs@toksa=\toks57 +\xargs@toksb=\toks58 +) +(/usr/share/texmf-dist/tex/latex/forloop/forloop.sty +Package: forloop 2023/05/03 v3.0 For Loops for LaTeX +) +(/usr/share/texmf-dist/tex/latex/pbox/pbox.sty +Package: pbox 2011/12/07 v1.2 Dynamic parboxes +\pb@xlen=\skip135 +) +(/usr/share/texmf-dist/tex/latex/bigfoot/suffix.sty +Package: suffix 2006/07/15 1.5a Variant command support +) +(/usr/share/texmf-dist/tex/latex/environ/environ.sty +Package: environ 2014/05/04 v0.3 A new way to define environments + +(/usr/share/texmf-dist/tex/latex/trimspaces/trimspaces.sty +Package: trimspaces 2009/09/17 v1.1 Trim spaces around a token list +)) +\pcaboveskip=\skip136 +\pcbelowskip=\skip137 +\pcbeforeskip=\skip138 +\pcafterskip=\skip139 +\c@@pc@global@pc@cnt=\count362 +\c@@pc@global@pc@nestcnt=\count363 +\c@@pc@stackdepth=\count364 +\@pc@stackspace@len=\skip140 +\pcbeforehstackskip=\skip141 +\pcafterhstackskip=\skip142 +\@pc@stackcontentbox=\box82 +\@pc@minipage@length=\skip143 +\@pc@alt@minipage@length=\skip144 +\@pc@length@tmp@width@vstack=\skip145 +\@pseudocodecodeminlineheight@len=\skip146 +\@pcindentwidth=\skip147 +\c@pclinenumber=\count365 +\c@Hpclinenumber=\count366 +\c@@pclinenumber=\count367 +\c@H@pclinenumber=\count368 +\c@@pclinenumbertmp=\count369 +\c@pcgamecounter=\count370 +\c@Hpcgamecounter=\count371 +\c@pcrlinenumber=\count372 +\c@Hpcrlinenumber=\count373 +\c@@pcrlinenumbertmp=\count374 +\pcheadlinesep=\skip148 +\pcbodylinesep=\skip149 +\@pseudocodeheadheight@len=\skip150 +\pcheadheight=\skip151 +\c@@pc@indentationlevel=\count375 +\c@pccolumncounter=\count376 +\c@@pcsubprogcnt1=\count377 +\c@@pcrsubprogcnt1=\count378 +\c@@pcsubprogcnt2=\count379 +\c@@pcrsubprogcnt2=\count380 +\c@@pcsubprogcnt3=\count381 +\c@@pcrsubprogcnt3=\count382 +\c@@pcsubprogcnt4=\count383 +\c@@pcrsubprogcnt4=\count384 +\c@@pcsubprogcnt5=\count385 +\c@@pcrsubprogcnt5=\count386 +\c@@pcsubprogcnt6=\count387 +\c@@pcrsubprogcnt6=\count388 +\c@@pcsubprogcnt7=\count389 +\c@@pcrsubprogcnt7=\count390 +\c@@pcsubprogcnt8=\count391 +\c@@pcrsubprogcnt8=\count392 +\c@@pcsubprogcnt9=\count393 +\c@@pcrsubprogcnt9=\count394 +\c@@pcsubprogstep=\count395 +\pcmessagearrow=\skip152 +\c@@pc@remember=\count396 +\@bb@message@voffset=\skip153 +\@bb@query@voffset=\skip154 +\@bb@oraclequery@voffset=\skip155 +\@bb@challengerquery@voffset=\skip156 +\c@@bb@oracle@cnt=\count397 +\c@@bb@oracle@nestcnt=\count398 +\c@@bb@challenger@cnt=\count399 +\c@@bb@challenger@nestcnt=\count400 +\c@@bb@env@nestcnt=\count401 +\@bb@com@tmpoffset=\skip157 +\@bb@tmplength@b=\skip158 +\c@pcstartgamecounter=\count402 +) +(/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrary +shapes.geometric.code.tex +File: tikzlibraryshapes.geometric.code.tex 2023-01-15 v3.1.10 (3.1.10) + +(/usr/share/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes.geomet +ric.code.tex +File: pgflibraryshapes.geometric.code.tex 2023-01-15 v3.1.10 (3.1.10) +)) +(/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrary +arrows.code.tex +File: tikzlibraryarrows.code.tex 2023-01-15 v3.1.10 (3.1.10) + +(/usr/share/texmf-dist/tex/generic/pgf/libraries/pgflibraryarrows.code.tex +File: pgflibraryarrows.code.tex 2023-01-15 v3.1.10 (3.1.10) +\arrowsize=\dimen339 +)) +\c@definition=\count403 + +(/usr/share/texmf-dist/tex/latex/listings/lstlang1.sty +File: lstlang1.sty 2024/02/21 1.10 listings language file +) +(/usr/share/texmf-dist/tex/latex/listings/lstlang2.sty +File: lstlang2.sty 2024/02/21 1.10 listings language file +) +(/usr/share/texmf-dist/tex/latex/listings/lstlang3.sty +File: lstlang3.sty 2024/02/21 1.10 listings language file +) +(/usr/share/texmf-dist/tex/latex/listings/lstmisc.sty +File: lstmisc.sty 2024/02/21 1.10 (Carsten Heinz) +) +\c@theorem=\count404 + (./main.aux) \openout1 = `main.aux'. -LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 53. -LaTeX Font Info: ... okay on input line 53. -LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 53. -LaTeX Font Info: ... okay on input line 53. -LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 53. -LaTeX Font Info: ... okay on input line 53. -LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 53. -LaTeX Font Info: ... okay on input line 53. -LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 53. -LaTeX Font Info: ... okay on input line 53. -LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 53. -LaTeX Font Info: ... okay on input line 53. -LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 53. -LaTeX Font Info: ... okay on input line 53. +LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 65. +LaTeX Font Info: ... okay on input line 65. +LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 65. +LaTeX Font Info: ... okay on input line 65. +LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 65. +LaTeX Font Info: ... okay on input line 65. +LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 65. +LaTeX Font Info: ... okay on input line 65. +LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 65. +LaTeX Font Info: ... okay on input line 65. +LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 65. +LaTeX Font Info: ... okay on input line 65. +LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 65. +LaTeX Font Info: ... okay on input line 65. +LaTeX Font Info: Checking defaults for PD1/pdf/m/n on input line 65. +LaTeX Font Info: ... okay on input line 65. +LaTeX Font Info: Checking defaults for PU/pdf/m/n on input line 65. +LaTeX Font Info: ... okay on input line 65. -- Lines per column: 56 (exact). -(/usr/local/texlive/2023/texmf-dist/tex/context/base/mkii/supp-pdf.mkii +(/usr/share/texmf-dist/tex/context/base/mkii/supp-pdf.mkii [Loading MPS to PDF converter (version 2006.09.02).] -\scratchcounter=\count293 -\scratchdimen=\dimen181 -\scratchbox=\box60 -\nofMPsegments=\count294 -\nofMParguments=\count295 -\everyMPshowfont=\toks31 -\MPscratchCnt=\count296 -\MPscratchDim=\dimen182 -\MPnumerator=\count297 -\makeMPintoPDFobject=\count298 -\everyMPtoPDFconversion=\toks32 -) (/usr/local/texlive/2023/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty +\scratchcounter=\count405 +\scratchdimen=\dimen340 +\scratchbox=\box83 +\nofMPsegments=\count406 +\nofMParguments=\count407 +\everyMPshowfont=\toks59 +\MPscratchCnt=\count408 +\MPscratchDim=\dimen341 +\MPnumerator=\count409 +\makeMPintoPDFobject=\count410 +\everyMPtoPDFconversion=\toks60 +) (/usr/share/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty Package: epstopdf-base 2020-01-24 v2.11 Base part for package epstopdf Package epstopdf-base Info: Redefining graphics rule for `.eps' on input line 4 85. -(/usr/local/texlive/2023/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg +(/usr/share/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg File: epstopdf-sys.cfg 2010/07/13 v1.3 Configuration of (r)epstopdf for TeX Liv e )) -\c@lstlisting=\count299 +Package caption Info: Begin \AtBeginDocument code. +Package caption Info: changepage package is loaded. +\caption@adjustwidth@hsize=\dimen342 +\caption@adjustwidth@linewidth=\dimen343 +Package caption Info: hyperref package is loaded. +Package caption Info: listings package is loaded. +Package caption Info: End \AtBeginDocument code. + + +Package pgfplots Warning: running in backwards compatibility mode (unsuitable t +ick labels; missing features). Consider writing \pgfplotsset{compat=1.18} into +your preamble. + on input line 65. + +\c@lstlisting=\count411 +Package hyperref Info: Link coloring OFF on input line 65. +(./main.out) (./main.out) +\@outlinefile=\write5 +\openout5 = `main.out'. + LaTeX Warning: No \author given. @@ -388,21 +1310,20 @@ LaTeX Warning: No \author given. (./sections/abstract.tex) (./sections/introduction.tex LaTeX Font Info: Trying to load font information for U+msa on input line 6. -(/usr/local/texlive/2023/texmf-dist/tex/latex/amsfonts/umsa.fd +(/usr/share/texmf-dist/tex/latex/amsfonts/umsa.fd File: umsa.fd 2013/01/14 v3.01 AMS symbols A ) LaTeX Font Info: Trying to load font information for U+msb on input line 6. -(/usr/local/texlive/2023/texmf-dist/tex/latex/amsfonts/umsb.fd +(/usr/share/texmf-dist/tex/latex/amsfonts/umsb.fd File: umsb.fd 2013/01/14 v3.01 AMS symbols B -)) -(./sections/design.tex [1{/usr/local/texlive/2023/texmf-var/fonts/map/pdftex/up -dmap/pdftex.map}{/usr/local/texlive/2023/texmf-dist/fonts/enc/dvips/base/8r.enc -} +)) (./sections/design.tex +[1{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}{/usr/share/texmf-dist/fon +ts/enc/dvips/base/8r.enc} ] - + File: assets/diagram-anon.png Graphic file (type png) Package pdftex.def Info: assets/diagram-anon.png used on input line 27. @@ -412,10 +1333,11 @@ Package pdftex.def Info: assets/diagram-anon.png used on input line 27. LaTeX Warning: `h' float specifier changed to `ht'. (./sections/examples.tex +Package hyperref Info: bookmark level for unknown lstlisting defaults to 0 on i +nput line 5. LaTeX Font Info: Trying to load font information for OT1+pcr on input line 5 . - -(/usr/local/texlive/2023/texmf-dist/tex/latex/psnfss/ot1pcr.fd + (/usr/share/texmf-dist/tex/latex/psnfss/ot1pcr.fd File: ot1pcr.fd 2001/06/04 font definitions for OT1/pcr. ) @@ -439,13 +1361,19 @@ LaTeX Font Warning: Font shape `OT1/ptm/m/scit' undefined LaTeX Warning: `h' float specifier changed to `ht'. -[3 <./assets/diagram-anon.png (PNG copy)>] + +Underfull \vbox (badness 10000) has occurred while \output is active [] + + [3 <./assets/diagram-anon.png (PNG copy)>] LaTeX Font Info: Trying to load font information for TS1+pcr on input line 2 09. -(/usr/local/texlive/2023/texmf-dist/tex/latex/psnfss/ts1pcr.fd +(/usr/share/texmf-dist/tex/latex/psnfss/ts1pcr.fd File: ts1pcr.fd 2001/06/04 font definitions for TS1/pcr. -) [4] +) +Underfull \vbox (badness 3312) has occurred while \output is active [] + + [4] Excluding 'comment' comment.) (./sections/case_studies.tex Underfull \hbox (badness 4144) in paragraph at lines 19--19 []\OT1/pcr/m/n/10 SYN_RECEIVED \OT1/ptm/m/n/10 is even-tu-ally fol-lowed by @@ -467,9 +1395,26 @@ Underfull \hbox (badness 4144) in paragraph at lines 19--19 [] -LaTeX Warning: `!h' float specifier changed to `!ht'. +Underfull \vbox (badness 1635) has occurred while \output is active [] -Excluding 'comment' comment. [5]) (./sections/conclusion.tex) (./main.bbl + + +Package caption Warning: \label without proper reference on input line 42. +See the caption package documentation for explanation. + + +LaTeX Warning: Reference `res:tcp-table' on page 5 undefined on input line 23. + +Excluding 'comment' comment. [5] + +Package caption Warning: \label without proper reference on input line 92. +See the caption package documentation for explanation. + + +LaTeX Warning: Reference `res:raft-table' on page 6 undefined on input line 87. + + +) (./sections/conclusion.tex) (./main.bbl ** WARNING: IEEEtran.bst: No hyphenation pattern has been ** loaded for the language `en'. Using the pattern for ** the default language instead. @@ -512,11 +1457,6 @@ Excluding 'comment' comment. [5]) (./sections/conclusion.tex) (./main.bbl ** WARNING: IEEEtran.bst: No hyphenation pattern has been ** loaded for the language `eng'. Using the pattern for ** the default language instead. - -Underfull \hbox (badness 1509) in paragraph at lines 76--81 -\OT1/ptm/m/n/8 t/tcp,'' The-sis, Mas-sachusetts In-sti-tute of Tech-nol-ogy, - [] - ** WARNING: IEEEtran.bst: No hyphenation pattern has been ** loaded for the language `en'. Using the pattern for ** the default language instead. @@ -529,6 +1469,7 @@ Underfull \hbox (badness 1509) in paragraph at lines 76--81 ** WARNING: IEEEtran.bst: No hyphenation pattern has been ** loaded for the language `en'. Using the pattern for ** the default language instead. +[6] ** WARNING: IEEEtran.bst: No hyphenation pattern has been ** loaded for the language `en'. Using the pattern for ** the default language instead. @@ -547,36 +1488,41 @@ Before submitting the final camera ready copy, remember to: uses only Type 1 fonts and that every step in the generation process uses the appropriate paper size. -[6] (./main.aux) +[7 -LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right. +] (./main.aux) + *********** +LaTeX2e <2023-11-01> patch level 1 +L3 programming layer <2024-02-20> + *********** + +LaTeX Warning: There were undefined references. + +Package rerunfilecheck Info: File `main.out' has not changed. +(rerunfilecheck) Checksum: 63CC73A5CD412988EF7130C704170A62;1449. ) Here is how much of TeX's memory you used: - 6627 strings out of 476025 - 99507 string characters out of 5790016 - 2183388 words of memory out of 5000000 - 26968 multiletter control sequences out of 15000+600000 - 559531 words of font info for 121 fonts, out of 8000000 for 9000 - 1141 hyphenation exceptions out of 8191 - 57i,11n,62p,1306b,1621s stack positions out of 10000i,1000n,20000p,200000b,200000s -< -/usr/local/texlive/2023/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi8.pfb> -Output written on main.pdf (6 pages, 218651 bytes). + 40984 strings out of 476076 + 906282 string characters out of 5793776 + 2259187 words of memory out of 5000000 + 62121 multiletter control sequences out of 15000+600000 + 604798 words of font info for 123 fonts, out of 8000000 for 9000 + 14 hyphenation exceptions out of 8191 + 99i,11n,101p,1390b,1635s stack positions out of 10000i,1000n,20000p,200000b,200000s + +Output written on ./main.pdf (7 pages, 212829 bytes). PDF statistics: - 90 PDF objects out of 1000 (max. 8388607) - 54 compressed objects within 1 object stream - 0 named destinations out of 1000 (max. 500000) - 6 words of extra memory for PDF output out of 10000 (max. 10000000) + 473 PDF objects out of 1000 (max. 8388607) + 436 compressed objects within 5 object streams + 254 named destinations out of 1000 (max. 500000) + 114 words of extra memory for PDF output out of 10000 (max. 10000000) diff --git a/main.pdf b/main.pdf index 752a980..85c10ec 100644 Binary files a/main.pdf and b/main.pdf differ diff --git a/main.synctex.gz b/main.synctex.gz index 0aa1a3d..193a83c 100644 Binary files a/main.synctex.gz and b/main.synctex.gz differ diff --git a/main.tex b/main.tex index eea7387..39a94c5 100644 --- a/main.tex +++ b/main.tex @@ -11,6 +11,18 @@ \usepackage{xspace} \usepackage{array} \usepackage{comment} + +\usepackage{xcolor,color,xspace,enumerate,centernot,multirow,float,graphicx, +xcolor,caption,subcaption,textcomp,pgfplots,pgf-pie,tikz,listings, +comment,adjustbox,mdframed,changepage,algorithm,algorithmic} +\usepackage{hyperref} +\usepackage{filecontents} +% \PassOptionsToPackage{hyphens}{url}\usepackage[hidelinks]{hyperref} +\usepackage{xurl} +\usepackage{cryptocode} % crypto +\usetikzlibrary{positioning, shapes.geometric, arrows} + +\usepackage{xurl} %\usepackage{csvsimple} \newtheorem{definition}{Definition} @@ -93,7 +105,6 @@ Protocols, Attack Synthesis, Denial of Service, Model Checking \label{sec:case_studies} \input{sections/case_studies} - \section{Conclusion} \label{sec:conclusion} \input{sections/conclusion} diff --git a/sections/introduction.tex b/sections/introduction.tex index 425668b..bad6291 100644 --- a/sections/introduction.tex +++ b/sections/introduction.tex @@ -3,4 +3,4 @@ Distributed protocols are the foundation for the modern internet, and therefore ensuring their correctness and security is paramount. To this end, formal methods, the use of mathematically rigorous techniques for reasoning about software, has been increasingly employed to analyze and study distributed protocols. Historically, formal methods has been employed for reasoning about concurrency and distributed algorithms \cite{Lamport_1994, Holzmann_1997, Clarke_Wang}, and in recent years formal methods have been employed at scale to reason about the security of cryptographic protocols and primitives \cite{Basin_Cremers_Dreier_Sasse_2022, Blanchet_Smyth_Cheval_Sylvestre, Kobeissi_Nicolas_Tiwari, Blanchet_Jacomme, Basin_Linker_Sasse}. This myriad of formal methods tooling applicable to secure protocols has enabled reasoning about security-relevant properties involving secrecy, authentication, indistinguishability in addition to concurrency, safety, and liveness. However, no previous formal methods tooling offered an effective solution for rigorously studying an attacker that controls communication channels. That is, how do you reason about an attacker that can arbitrarily drop, reorder, replay, or insert messages onto a communication channel? -To fill this gap, we introduce \korg \footnote{\korg is a fictitious name for our system, for double-blind submission.}, a tool for synthesizing attacks on distributed protocols that implements and extends the theoretical framework proposed in \cite{Hippel2022_anonym}. In particular, \korg targets the communication channels between the protocol endpoints, and synthesizes attacks to violate arbitrary linear temporal logic (LTL) specifications. \korg either synthesizes attack, or proves the absence of such via an exhaustive state-space search. \korg is sound and complete, meaning if there exists an attack \korg will find it, and \korg will never have false positives. \korg supports pre-defined attacker models, including attackers that can replay, reorder, or drop messages on channels, as well as custom user-defined attacker models. Although \korg best lends itself for reasoning about denial of service attacks, it can target any specification expressable in LTL. We present several case studies illustrating the usefulness of \korg. We release our code as our models as open source at \cnr{here add the anonymous link}. +To fill this gap, we introduce \korg \footnote{\korg is a fictitious name for our system, for double-blind submission.}, a tool for synthesizing attacks on distributed protocols that implements and extends the theoretical framework proposed in \cite{Hippel2022_anonym}. In particular, \korg targets the communication channels between the protocol endpoints, and synthesizes attacks to violate arbitrary linear temporal logic (LTL) specifications. \korg either synthesizes attack, or proves the absence of such via an exhaustive state-space search. \korg is sound and complete, meaning if there exists an attack \korg will find it, and \korg will never have false positives. \korg supports pre-defined attacker models, including attackers that can replay, reorder, or drop messages on channels, as well as custom user-defined attacker models. Although \korg best lends itself for reasoning about denial of service attacks, it can target any specification expressable in LTL. We present several case studies illustrating the usefulness of \korg. We release our code as our models as open source at \url{https://anonymous.4open.science/r/attacksynth-artifact-1B5D}.