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_1c_kompletan_dokaz.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)
(./th_1c_kompletan_dokaz.aux)
Overfull \hbox (0.77423pt too wide) in paragraph at lines 65--65
[]\OT1/cmr/m/n/10 Na os-novu ^^Tcinjenice $\OML/cmm/m/it/10 col\OT1/cmr/m/n/10 
(\OML/cmm/m/it/10 C; A; B\OT1/cmr/m/n/10 )$ va^^Tzi $\OML/cmm/m/it/10 col\OT1/c
mr/m/n/10 (\OML/cmm/m/it/10 C; B; A\OT1/cmr/m/n/10 )$ i $\OML/cmm/m/it/10 col\O
T1/cmr/m/n/10 (\OML/cmm/m/it/10 A; C; B\OT1/cmr/m/n/10 )$ i $\OML/cmm/m/it/10 c
ol\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 A; B; C\OT1/cmr/m/n/10 )$
[1{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}] [2]
(./th_1c_kompletan_dokaz.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_1c_kompletan_dokaz.pdf (2 pages, 92634 bytes).
Transcript written on th_1c_kompletan_dokaz.log.
