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 9c76730..31640b7 100644 --- a/sections/introduction.tex +++ b/sections/introduction.tex @@ -11,4 +11,5 @@ We summarize our contributions: \item We present two case studies for two well-known protocols TCP and Raft, illustrating the usefulness of \korg. \end{itemize} -We release our code and our models as open source at \cnr{here add the anonymous link}. +We release our code and our models as open source at \url{https://anonymous.4open.science/r/attacksynth-artifact-1B5D}. +