From f3446d5e0e3d75074bdd9d668ee86a906cba9e38 Mon Sep 17 00:00:00 2001
From: "nathan.lhote" <nathan.lhote@lis-lab.fr>
Date: Fri, 24 Sep 2021 15:27:08 +0200
Subject: [PATCH] m
---
main.aux | 16 ----------
main.bbl | 3 --
main.blg | 48 ------------------------------
main.fdb_latexmk | 48 ------------------------------
main.fls | 41 --------------------------
main.log | 74 -----------------------------------------------
main.synctex.gz | Bin 2532 -> 0 bytes
main.vtc | 1 -
8 files changed, 231 deletions(-)
delete mode 100644 main.aux
delete mode 100644 main.bbl
delete mode 100644 main.blg
delete mode 100644 main.fdb_latexmk
delete mode 100644 main.fls
delete mode 100644 main.log
delete mode 100644 main.synctex.gz
delete mode 100644 main.vtc
diff --git a/main.aux b/main.aux
deleted file mode 100644
index 73ea72d..0000000
--- a/main.aux
+++ /dev/null
@@ -1,16 +0,0 @@
-\relax
-\bibstyle{alpha}
-\bibdata{biblio}
-\newlabel{sec:intro}{{}{1}}
-\@writefile{toc}{\contentsline {section}{\numberline {1}Words, transducers and logic}{1}}
-\newlabel{sec:prelim}{{1}{1}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {1.1}Words, languages and transductions}{1}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {1.2}Relational structures and logical interpretations}{1}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {1.3}SSTs and pebble transducers, semantics with an without origin}{1}}
-\@writefile{toc}{\contentsline {section}{\numberline {2}FO model-checking of transductions with origins: SSTs and pebble transducers}{1}}
-\newlabel{sec:mc}{{2}{1}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {2.1}The Backward Translation Theorem}{1}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {2.2}Model-checking (copyfull) SSTs with origin}{1}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {2.3}Model-checking pebble transducers with origin}{1}}
-\@writefile{toc}{\contentsline {section}{\numberline {3}SSTs and lexicographic MSO-interpretations}{1}}
-\newlabel{sec:sst-lex}{{3}{1}}
diff --git a/main.bbl b/main.bbl
deleted file mode 100644
index 9b431fa..0000000
--- a/main.bbl
+++ /dev/null
@@ -1,3 +0,0 @@
-\begin{thebibliography}{}
-
-\end{thebibliography}
diff --git a/main.blg b/main.blg
deleted file mode 100644
index de6530a..0000000
--- a/main.blg
+++ /dev/null
@@ -1,48 +0,0 @@
-This is BibTeX, Version 0.99d (TeX Live 2017/Debian)
-Capacity: max_strings=100000, hash_size=100000, hash_prime=85009
-The top-level auxiliary file: main.aux
-The style file: alpha.bst
-I found no \citation commands---while reading file main.aux
-Database file #1: biblio.bib
-You've used 0 entries,
- 2543 wiz_defined-function locations,
- 558 strings with 4433 characters,
-and the built_in function-call counts, 24 in all, are:
-= -- 0
-> -- 0
-< -- 0
-+ -- 0
-- -- 0
-* -- 2
-:= -- 10
-add.period$ -- 0
-call.type$ -- 0
-change.case$ -- 0
-chr.to.int$ -- 0
-cite$ -- 0
-duplicate$ -- 0
-empty$ -- 1
-format.name$ -- 0
-if$ -- 2
-int.to.chr$ -- 1
-int.to.str$ -- 0
-missing$ -- 0
-newline$ -- 3
-num.names$ -- 0
-pop$ -- 0
-preamble$ -- 1
-purify$ -- 0
-quote$ -- 0
-skip$ -- 2
-stack$ -- 0
-substring$ -- 0
-swap$ -- 0
-text.length$ -- 0
-text.prefix$ -- 0
-top$ -- 0
-type$ -- 0
-warning$ -- 0
-while$ -- 0
-width$ -- 0
-write$ -- 2
-(There was 1 error message)
diff --git a/main.fdb_latexmk b/main.fdb_latexmk
deleted file mode 100644
index 3da9225..0000000
--- a/main.fdb_latexmk
+++ /dev/null
@@ -1,48 +0,0 @@
-# Fdb version 3
-["bibtex main"] 1632489458 "main.aux" "main.bbl" "main" 1632489511
- "/usr/share/texlive/texmf-dist/bibtex/bst/base/alpha.bst" 1480098433 23907 a5f93555796fb564b924339521f10a7c ""
- "biblio.bib" 1627286900 2496 833178ac78892e1ed621941d842e740e ""
- "main.aux" 1632489458 1154 a6b1a3a5a27c23e0f88e7c64c3104f51 ""
- "main.bcf" 0 -1 0 ""
- (generated)
- "main.bbl"
- "main.blg"
-["pdflatex"] 1632489458 "/home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.tex" "/home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.pdf" "main" 1632489511
- "/etc/texmf/web2c/texmf.cnf" 1601279320 475 c0e671620eb5563b2130f56340a5fde8 ""
- "/home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.aux" 1632489458 1154 a6b1a3a5a27c23e0f88e7c64c3104f51 ""
- "/home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.tex" 1632489511 1060 34c72781352624fa306bfb30fd21a05f ""
- "/usr/share/texlive/texmf-dist/fonts/map/fontname/texfonts.map" 1511824771 3332 103109f5612ad95229751940c61aada0 ""
- "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmbx12.tfm" 1480098701 1324 c910af8c371558dc20f2d7822f66fe64 ""
- "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmbx9.tfm" 1480098701 1328 5442e22a7072966dbaf88ca900acf3f0 ""
- "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi12.tfm" 1480098701 1524 4414a8315f39513458b80dfc63bff03a ""
- "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi6.tfm" 1480098701 1512 f21f83efb36853c0b70002322c1ab3ad ""
- "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi8.tfm" 1480098701 1520 eccf95517727cb11801f4f1aee3a21b4 ""
- "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr12.tfm" 1480098701 1288 655e228510b4c2a1abe905c368440826 ""
- "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr17.tfm" 1480098701 1292 296a67155bdbfc32aa9c636f21e91433 ""
- "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr6.tfm" 1480098701 1300 b62933e007d01cfd073f79b963c01526 ""
- "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr8.tfm" 1480098701 1292 21c1c5bfeaebccffdb478fd231a0997d ""
- "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr9.tfm" 1480098701 1292 6b21b9c2c7bebb38aa2273f7ca0fb3af ""
- "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy10.tfm" 1480098701 1124 6c73e740cf17375f03eec0ee63599741 ""
- "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy6.tfm" 1480098701 1116 933a60c408fc0a863a92debe84b2d294 ""
- "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy8.tfm" 1480098701 1120 8b7d695260f3cff42e636090a8002094 ""
- "/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx12.pfb" 1480098733 32080 340ef9bf63678554ee606688e7b5339d ""
- "/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx9.pfb" 1480098733 32298 c6d25bb16d1eac01ebdc6d7084126a1e ""
- "/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb" 1480098733 35752 024fb6c41858982481f6968b5fc26508 ""
- "/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr12.pfb" 1480098733 32722 d7379af29a190c3f453aba36302ff5a9 ""
- "/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr17.pfb" 1480098733 32362 179c33bbf43f19adbb3825bb4e36e57a ""
- "/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr9.pfb" 1480098733 33993 9b89b85fd2d9df0482bd47194d1d3bf3 ""
- "/usr/share/texlive/texmf-dist/tex/latex/base/article.cls" 1480098821 19821 310da678527a7dfe2a02c88af38079b7 ""
- "/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo" 1480098821 8292 e897c12e1e886ce77fe26afc5d470886 ""
- "/usr/share/texlive/texmf-dist/web2c/texmf.cnf" 1520210507 32485 c64754543d8ac501bea6e75e209ea521 ""
- "/usr/share/texmf/web2c/texmf.cnf" 1520210507 32485 c64754543d8ac501bea6e75e209ea521 ""
- "/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map" 1601280639 2700761 ac0584cc9514ab21918550a6948c4ee2 ""
- "/var/lib/texmf/web2c/pdftex/pdflatex.fmt" 1601280650 4129943 ba808502b9cf84b5c160479985bd2263 ""
- "main.aux" 1632489458 1154 a6b1a3a5a27c23e0f88e7c64c3104f51 ""
- "main.bbl" 1632489458 49 0eba253fc001332e731e8aba3f23127b "bibtex main"
- "main.tex" 1632489511 1060 34c72781352624fa306bfb30fd21a05f ""
- (generated)
- "main.pdf"
- "main.log"
- "main.aux"
- "/home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.pdf"
- "/home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.log"
diff --git a/main.fls b/main.fls
deleted file mode 100644
index a41a022..0000000
--- a/main.fls
+++ /dev/null
@@ -1,41 +0,0 @@
-PWD /home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon
-INPUT /etc/texmf/web2c/texmf.cnf
-INPUT /usr/share/texmf/web2c/texmf.cnf
-INPUT /usr/share/texlive/texmf-dist/web2c/texmf.cnf
-INPUT /var/lib/texmf/web2c/pdftex/pdflatex.fmt
-INPUT /home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.tex
-OUTPUT /home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.log
-INPUT /usr/share/texlive/texmf-dist/tex/latex/base/article.cls
-INPUT /usr/share/texlive/texmf-dist/tex/latex/base/article.cls
-INPUT /usr/share/texlive/texmf-dist/tex/latex/base/size10.clo
-INPUT /usr/share/texlive/texmf-dist/tex/latex/base/size10.clo
-INPUT /home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.aux
-INPUT /home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.aux
-OUTPUT /home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.aux
-INPUT /usr/share/texlive/texmf-dist/fonts/map/fontname/texfonts.map
-INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr17.tfm
-INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr9.tfm
-INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr12.tfm
-INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr8.tfm
-INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr6.tfm
-INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi12.tfm
-INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi8.tfm
-INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi6.tfm
-INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy10.tfm
-INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy8.tfm
-INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy6.tfm
-INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmbx9.tfm
-INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr12.tfm
-INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmbx12.tfm
-INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmbx12.tfm
-INPUT /home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.bbl
-INPUT /home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.bbl
-OUTPUT /home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.pdf
-INPUT /var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map
-INPUT /home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.aux
-INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx12.pfb
-INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx9.pfb
-INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb
-INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr12.pfb
-INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr17.pfb
-INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr9.pfb
diff --git a/main.log b/main.log
deleted file mode 100644
index 1fe0f51..0000000
--- a/main.log
+++ /dev/null
@@ -1,74 +0,0 @@
-This is pdfTeX, Version 3.14159265-2.6-1.40.18 (TeX Live 2017/Debian) (preloaded format=pdflatex 2020.9.28) 24 SEP 2021 15:17
-entering extended mode
- restricted \write18 enabled.
- file:line:error style messages enabled.
- %&-line parsing enabled.
-**/home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.tex
-(/home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.tex
-LaTeX2e <2017-04-15>
-Babel <3.18> and hyphenation patterns for 84 language(s) loaded.
-(/usr/share/texlive/texmf-dist/tex/latex/base/article.cls
-Document Class: article 2014/09/29 v1.4h Standard LaTeX document class
-(/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo
-File: size10.clo 2014/09/29 v1.4h Standard LaTeX file (size option)
-)
-\c@part=\count79
-\c@section=\count80
-\c@subsection=\count81
-\c@subsubsection=\count82
-\c@paragraph=\count83
-\c@subparagraph=\count84
-\c@figure=\count85
-\c@table=\count86
-\abovecaptionskip=\skip41
-\belowcaptionskip=\skip42
-\bibindent=\dimen102
-)
-
-LaTeX Warning: Unused global option(s):
- [UKenglish,cleveref,autoref,thm-restate].
-
-(/home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.aux)
-\openout1 = `main.aux'.
-
-LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 14.
-LaTeX Font Info: ... okay on input line 14.
-LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 14.
-LaTeX Font Info: ... okay on input line 14.
-LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 14.
-LaTeX Font Info: ... okay on input line 14.
-LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 14.
-LaTeX Font Info: ... okay on input line 14.
-LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 14.
-LaTeX Font Info: ... okay on input line 14.
-LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 14.
-LaTeX Font Info: ... okay on input line 14.
-LaTeX Font Info: External font `cmex10' loaded for size
-(Font) <12> on input line 15.
-LaTeX Font Info: External font `cmex10' loaded for size
-(Font) <8> on input line 15.
-LaTeX Font Info: External font `cmex10' loaded for size
-(Font) <6> on input line 15.
- (/home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.bbl
-
-LaTeX Warning: Empty `thebibliography' environment on input line 3.
-
-) [1
-
-{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}] (/home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.aux) )
-Here is how much of TeX's memory you used:
- 244 strings out of 492982
- 3285 string characters out of 6134896
- 56278 words of memory out of 5000000
- 3880 multiletter control sequences out of 15000+600000
- 8194 words of font info for 29 fonts, out of 8000000 for 9000
- 1141 hyphenation exceptions out of 8191
- 23i,4n,21p,236b,185s stack positions out of 5000i,500n,10000p,200000b,80000s
-</usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx12.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx9.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr12.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr17.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr9.pfb>
-Output written on /home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.pdf (1 page, 63438 bytes).
-PDF statistics:
- 32 PDF objects out of 1000 (max. 8388607)
- 22 compressed objects within 1 object stream
- 0 named destinations out of 1000 (max. 500000)
- 1 words of extra memory for PDF output out of 10000 (max. 10000000)
-
diff --git a/main.synctex.gz b/main.synctex.gz
deleted file mode 100644
index f0eb06a0d109dd5e08cfa08ff6030824f6154af7..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001
literal 2532
zcmb2|=3oE==Cx72`6}B5_nu#WgSF@bLsxs~pLwf`PbwBP)Escz&>mU2MaWG`*F-sa
zvciAc^}9}{@vnC0mahH~RZ*iOwz})+@oE3Qy?^}n{&)Mmzn}km`sG8-olCFIA3wkT
zxo)oc_w)Y0&lZ;NyDw{AU$w8c_Lltl<!3Lyz56V+zIuQC!TQ;EPyc-Qt+4*q8@spj
zzWE=2{`k%E<#!K%{Qdc#x8cd#XJ5ZeE#7s1?;G<5dHFiofB#FqACH&wOaEE;dB@~>
z`*(hmU%t<m_dnY3H<!(i|NqU&2md@bx?j86_HEqjd4IMW{rvd&@vGz4H{ba4=k(oI
z`n&y)x9@JheYeu1%P{S0|6}G$n|{5#+h1P3{BLD;nEiJ7`U<;w8{d_Ey~n!!m;Ty+
zuI73<v0EC0cNE@?^fJq}oROltT>81ww|k#^HLn~|Yk!j#Qc#>${CJK3lR1G`1adsC
znWXs~j5MtLZ|3h)`{H`9-j5gQuW$L>toUJdL)ktsc-yh`&9c0;<%Vu8OHWul71{hS
zBfP!Q*T?eUYPao{OW*8>xcvBW)ck4g``d!M)P76W?eD2io%;2ax1{IE9TK-a4(4*4
z&|m#^uA$-YB|q*hozr|wS=H~NmdsMY%XbzFrf)jnx%RY((i!dFIkJlD{T>FXChmK;
zT>Hli*KDDu4(rY<DF(%cMkKv4ty!wIX8XCQ%P;P2a^}j~cjd>7^+K}8Z#EeA`URdA
zn*Yq@?$pFN_W4zI#x{p8hSczR%uqf0-C~nv+R^X|`K_m8f3>bqeV+U*Qu{zd<MAgG
zu1Re@Fy+q%zlG|_L0<dZe0$?vbc4RV$&gxWDxKSRZA;|T`7#q1uK1xTQ1;B!KKOuT
z@SmQ`$KyWUR5+LsVLP99k%+FQo#C$JD>W@AV&1GyGoRQwM>PJSR&;Dh=r$WG4X(GF
z&Q6m_<*)zK<I*wB*(iIGNaDSi^}YWRD@(q<em`sLyr9edUls<;4%q0x?rpNaXpeL4
z0_RFM+bySDqn>|BIgyea^|b7<_|)!az1^F7{hrUg(0rFkPFd<8&-$sU60f!F7M~I1
zI;;NW@Pg~EtTRPCKa1XL-+ceC#MwKGIQ17jUh(TdhL*C3O0S){+PbN8HtV;2so4EO
z%x!<$@h5^?pt1DP>a2%@lVD=_T`MX1^4m=1JEP6n`Z8xv_U^dAyGngmhEP%d+M~Kx
znatVT1UENs<1F6pdt}1H&Y%xGjN+354ZPTrHXgjMduYe0CAUAE)oEw@KHb4~`JB_L
z;aMyfy?9y0_4gz)FHGv`eIorY^+;j2(e0VD+ZFRHW={|_`F>E*$&xp=s58Ln-Lj~o
zPhTzwPWz=_kzXt4yw7D$S4v{R9Yr<;SJ`WM%*sB;l>fi@XZube=Aw;Moy3QgCCjcV
zPF#?)Nt;i@>1IOCx`$#1o^8IRP&Lu~nbho>wDaHCeg)*ME<8NT{0F~8W!puz{x@@Y
zjNjekj1#xBlA9vF#Xp@r)|F-POJ2be5$6RObzPBt8y}??$t7)iep;~gUC_5ktL3Vx
z^9#9xJ2uP8u<dExdrVtt+RbB0{=L(;Y?0$EOk3O;o<Ao$r@3&$9?s4cOI$y*eJ|`;
zYix0XSMFxZnjL2rK74J|Sm3;@W7%~{rDKoJ?^vSa$hl~y<WYW0Ht)!f%I--k7R{UQ
zbZGNL5qrl8Mpr_Qr$4!1c-E{&;)B?CsSOHBH$tkjYR+`uNi}WC5H>8VP}c8$)4E6J
z!;#tp!EstPo1){i_UQ?q2t4rl+A7I&KUpGg=_^<<pABE%5YA&_^S$Ov?EB`2^Y}|&
z_o{DYERo*B|9qa9oyd+(GtGUziy}?<6d4biY%Z4gFm1V5Li6=3t=B6)PIAu@Y=6ok
ze*e^Cp=!<kS>`+Zb^Ar-ZtC`n#!u(m(OuyDNYt=bhO6(o_cW{gyx&FtPi|;6R*N(}
ztElm!;rcSmJ+l;*tF{*^xwuKRvd`c2u}bpDp`!(*k|v45&0Ty+l8X|z@+cpfpmayS
z`Njjqr_WDEXe^6azR`V+r+%{QJ-1$Kr_2{i9!ecNt898p_q}q{n?qA$7hPIYV-R>b
zi9vf;_T>*#j`BXbV)9cZSvY=X+CugP;XBIriT+z^*_wa0L?z1dQESid7{19eyQb_i
z4!q<k$KNwUt!i!7i-!_Rv$W!}tt_{ET~Xk%f5KAp&^_f_cPY=W4G`R^vxFm6z09i3
zqouWhBR^x7>bFVDA|LSnyX|?|=fjD0v(lQbx9V@5T)XTZ-@^j;IY-*$x!wtyCC{$E
zR&}Lf?y&%mjLoNH<_UbT*SvGuS>LU-{e<Mt5Q|lpyj#EKrB+^b-B*&mr?UN_2-D-#
zOTNi6B^~bzQfG;5w{fo4FPQjv&Z`B6aqK(3Op0RbRrYuq7peB}Y1g&2%NDvd&H4E>
z^V*5+DL-3kULFnUoNL+YzdScg-ealF?)LJXHFI8NZ4q;Cdox8xylSOU(w4I9*)uD@
zEu18Je|FF3XCn3sSQj~K+AYd%KHt@Uyi>IC!eh;w7EAsLP2aNkr&j%iL<RMxPwkQ4
zb~iX5H}G3{sBl4n@wq?mjROwr%wN_x_3PD&lm5S-G_SU<Oj^&<w9_l*65A~Eig)U{
z1_za^vyKVx(-XcBzqUMR@m-z{gNccMnN%vdmK5%(d2%nrLg|dNXX!WQur~j${&KY?
zUatx@-sk89=ePIP_-_pRxX_~T>d!WLwmnN%ut}r~tlt^)X6468hrVemv~(-hXHIjf
z{C&Dz?C0KNq2Ge!O!Euux7dVLq-?hdtBF-R@mJDj_B{cqsso!lMDhwxo)mvBSME5g
zVH>kWhu=$Eu8J2Y@^h=|l76xXRmIfJZ+Q2(%GzSr1vbCW8{<8+*8k`cOWyL|;?kwb
ziym1A+Eqw@tGUy9?dMGUcE<eD0O5><D>Sa`S@|(Y{cSR<Nm0Y5p8UP6({6Z|E~;$)
zz45ANt9#k%$zAJDw}h!rZ;P5+@*_lD*6yljyMO7WN|URe$KC%dv^3SbFER7$xlL2g
zAGq`R<F&)Tnewmp^;h3JI3c`dz7yX$ZM&j3d%}MoovaqkaT*i~R}W5cxZ<3q_w7o>
z%E{lp9#OmT^|RH*O+}4+HMBv#H;;^bIMMcG8`pYn`Sj~uDzDWiObInRwQt2Tla|eo
ztu5uuzSrEjuf}8kMm2tq`KQ0TpFiH#Zg6$S=bMk7y)4w8zn{%B?4$F+Y^!A}tY6xs
zR+{SE{AB)CQ*Sx%$7f6Vw|DRPbhj+ir%Bf$^2K}(>B|QkADo<iQY>y2$L8;gElv5V
z<(EX=`)AB~=h(Tv`<ES$6n@%ZoGhd`eaBzb3CxU9=M)2{2B>Yjs;?d-cjw23Dt)i|
zuls*Zw|W@;FZA^9GpqO8%|Ew$d4K=!x3AitUw<6Ak7@0_$NQ!=mM_0Oz5V?2>&xH1
O`mbSM)@H53zyJV~z65*#
diff --git a/main.vtc b/main.vtc
deleted file mode 100644
index 3958a38..0000000
--- a/main.vtc
+++ /dev/null
@@ -1 +0,0 @@
-\contitem\title{FO Model-Checking Superlinear transductions with origin. MSO-interpretations, SSTs, pebble transducers}\author{Jane {Open Access}, Joan R. Public}\page{23:1--23:0}
--
GitLab