This is pdfTeX, Version 3.141592653-2.6-1.40.25 (TeX Live 2023/Debian) (preloaded format=pdflatex)
 restricted \write18 enabled.
entering extended mode
(./th_7_complete_proof.tex
LaTeX2e <2023-11-01> patch level 1
L3 programming layer <2024-01-22>
(/usr/share/texlive/texmf-dist/tex/latex/base/article.cls
Document Class: article 2023/05/17 v1.4n Standard LaTeX document class
(/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo)) (./argoclp.sty)
(/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def)
No file th_7_complete_proof.aux.
[1{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}]
Overfull \hbox (46.9378pt too wide) in paragraph at lines 101--101
[]\OT1/cmr/m/n/10 From the facts $[]\OML/cmm/m/it/10 p[]q[]$ \OT1/cmr/m/n/10 an
d $\OML/cmm/m/it/10 p \OT1/cmr/m/n/10 = \OML/cmm/m/it/10 q$ \OT1/cmr/m/n/10 it 
holds that $[]\OML/cmm/m/it/10 p[]p[]$\OT1/cmr/m/n/10 . 

Overfull \hbox (64.9378pt too wide) in paragraph at lines 112--112
[]\OT1/cmr/m/n/10 From the facts $[]\OML/cmm/m/it/10 p[]q[]$ \OT1/cmr/m/n/10 an
d $\OML/cmm/m/it/10 p \OT1/cmr/m/n/10 = \OML/cmm/m/it/10 q$ \OT1/cmr/m/n/10 it 
holds that $[]\OML/cmm/m/it/10 p[]p[]$\OT1/cmr/m/n/10 . 
[2] [3] (./th_7_complete_proof.aux) )
(see the transcript file for additional information)</usr/share/texlive/texmf-d
ist/fonts/type1/public/amsfonts/cm/cmbx10.pfb></usr/share/texlive/texmf-dist/fo
nts/type1/public/amsfonts/cm/cmmi10.pfb></usr/share/texlive/texmf-dist/fonts/ty
pe1/public/amsfonts/cm/cmr10.pfb></usr/share/texlive/texmf-dist/fonts/type1/pub
lic/amsfonts/cm/cmr12.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/ams
fonts/cm/cmr17.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/c
m/cmsy10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmti
10.pfb>
Output written on th_7_complete_proof.pdf (3 pages, 95623 bytes).
Transcript written on th_7_complete_proof.log.
