This is pdfTeX, Version 3.141592653-2.6-1.40.27 (TeX Live 2025) (preloaded format=pdflatex)
 restricted \write18 enabled.
entering extended mode
(./main.tex
LaTeX2e <2024-11-01> patch level 2
L3 programming layer <2025-01-18>
(./llncs.cls
Document Class: llncs 2018/03/10 v2.20 
 LaTeX document class for Lecture Notes in Computer Science
(/usr/local/texlive/2025/texmf-dist/tex/latex/base/article.cls
Document Class: article 2024/06/29 v1.4n Standard LaTeX document class
(/usr/local/texlive/2025/texmf-dist/tex/latex/base/size10.clo))
(/usr/local/texlive/2025/texmf-dist/tex/latex/tools/multicol.sty)
(/usr/local/texlive/2025/texmf-dist/tex/latex/oberdiek/aliascnt.sty))
(/usr/local/texlive/2025/texmf-dist/tex/latex/graphics/graphicx.sty
(/usr/local/texlive/2025/texmf-dist/tex/latex/graphics/keyval.sty)
(/usr/local/texlive/2025/texmf-dist/tex/latex/graphics/graphics.sty
(/usr/local/texlive/2025/texmf-dist/tex/latex/graphics/trig.sty)
(/usr/local/texlive/2025/texmf-dist/tex/latex/graphics-cfg/graphics.cfg)
(/usr/local/texlive/2025/texmf-dist/tex/latex/graphics-def/pdftex.def)))
(/usr/local/texlive/2025/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty
(/usr/local/texlive/2025/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty
(/usr/local/texlive/2025/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty
(/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.te
x)
(/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def
) (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex
(/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/pgf.revision.tex)))
(/usr/local/texlive/2025/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty
(/usr/local/texlive/2025/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty
(/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex
(/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex
(/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/utilities/pgfkeyslibraryfil
tered.code.tex))
(/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg)
(/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.d
ef
(/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-p
df.def)))
(/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.
code.tex)
(/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.
code.tex)) (/usr/local/texlive/2025/texmf-dist/tex/latex/xcolor/xcolor.sty
(/usr/local/texlive/2025/texmf-dist/tex/latex/graphics-cfg/color.cfg)
(/usr/local/texlive/2025/texmf-dist/tex/latex/graphics/mathcolor.ltx))
(/usr/local/texlive/2025/texmf-dist/tex/latex/graphics/dvipsnam.def)
(/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex
(/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex
(/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex)
(/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex
)
(/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.
tex)
(/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic
.code.tex)
(/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigo
nometric.code.tex)
(/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.rando
m.code.tex)
(/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.compa
rison.code.tex)
(/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.
code.tex)
(/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round
.code.tex)
(/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.
code.tex)
(/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integ
erarithmetics.code.tex)
(/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex)
(/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex)
) (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/math/pgfint.code.tex)
(/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.co
de.tex)
(/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconst
ruct.code.tex)
(/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage
.code.tex)
(/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.co
de.tex)
(/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicst
ate.code.tex)
(/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransform
ations.code.tex)
(/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.cod
e.tex)
(/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.c
ode.tex)
(/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathproce
ssing.code.tex)
(/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.co
de.tex)
(/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.cod
e.tex)
(/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.cod
e.tex)
(/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.
code.tex)
(/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.co
de.tex)
(/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretranspare
ncy.code.tex)
(/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.
code.tex)
(/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/basiclayer/pgfcorerdf.code.
tex)))
(/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.cod
e.tex)
(/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code.
tex)
(/usr/local/texlive/2025/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version
-0-65.sty)
(/usr/local/texlive/2025/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version
-1-18.sty))
(/usr/local/texlive/2025/texmf-dist/tex/latex/pgf/utilities/pgffor.sty
(/usr/local/texlive/2025/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty
(/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex)
) (/usr/local/texlive/2025/texmf-dist/tex/latex/pgf/math/pgfmath.sty
(/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex))
(/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex))

(/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.cod
e.tex
(/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothan
dlers.code.tex)
(/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.cod
e.tex)
(/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/frontendlayer/tikz/librarie
s/tikzlibrarytopaths.code.tex)))
(/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/frontendlayer/tikz/librarie
s/tikzlibrarypositioning.code.tex)
(/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/frontendlayer/tikz/librarie
s/tikzlibrarycalc.code.tex)
(/usr/local/texlive/2025/texmf-dist/tex/latex/hyperref/hyperref.sty
(/usr/local/texlive/2025/texmf-dist/tex/generic/iftex/iftex.sty)
(/usr/local/texlive/2025/texmf-dist/tex/latex/kvsetkeys/kvsetkeys.sty)
(/usr/local/texlive/2025/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty)
(/usr/local/texlive/2025/texmf-dist/tex/generic/pdfescape/pdfescape.sty
(/usr/local/texlive/2025/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty)
(/usr/local/texlive/2025/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty
(/usr/local/texlive/2025/texmf-dist/tex/generic/infwarerr/infwarerr.sty)))
(/usr/local/texlive/2025/texmf-dist/tex/latex/hycolor/hycolor.sty)
(/usr/local/texlive/2025/texmf-dist/tex/latex/hyperref/nameref.sty
(/usr/local/texlive/2025/texmf-dist/tex/latex/refcount/refcount.sty)
(/usr/local/texlive/2025/texmf-dist/tex/generic/gettitlestring/gettitlestring.s
ty (/usr/local/texlive/2025/texmf-dist/tex/latex/kvoptions/kvoptions.sty)))
(/usr/local/texlive/2025/texmf-dist/tex/latex/etoolbox/etoolbox.sty)
(/usr/local/texlive/2025/texmf-dist/tex/generic/stringenc/stringenc.sty)
(/usr/local/texlive/2025/texmf-dist/tex/latex/hyperref/pd1enc.def)
(/usr/local/texlive/2025/texmf-dist/tex/generic/intcalc/intcalc.sty)
(/usr/local/texlive/2025/texmf-dist/tex/latex/hyperref/puenc.def)
(/usr/local/texlive/2025/texmf-dist/tex/latex/url/url.sty)
(/usr/local/texlive/2025/texmf-dist/tex/generic/bitset/bitset.sty
(/usr/local/texlive/2025/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty))
(/usr/local/texlive/2025/texmf-dist/tex/latex/base/atbegshi-ltx.sty))
(/usr/local/texlive/2025/texmf-dist/tex/latex/hyperref/hpdftex.def
(/usr/local/texlive/2025/texmf-dist/tex/latex/base/atveryend-ltx.sty)
(/usr/local/texlive/2025/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty

(/usr/local/texlive/2025/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty
))) (/usr/local/texlive/2025/texmf-dist/tex/latex/listings/listings.sty
(/usr/local/texlive/2025/texmf-dist/tex/latex/listings/lstpatch.sty)
(/usr/local/texlive/2025/texmf-dist/tex/latex/listings/lstmisc.sty)
(/usr/local/texlive/2025/texmf-dist/tex/latex/listings/listings.cfg))
(/usr/local/texlive/2025/texmf-dist/tex/latex/tools/xspace.sty)
(/usr/local/texlive/2025/texmf-dist/tex/latex/tools/array.sty)
(/usr/local/texlive/2025/texmf-dist/tex/latex/makecell/makecell.sty)
(/usr/local/texlive/2025/texmf-dist/tex/latex/multirow/multirow.sty)
(/usr/local/texlive/2025/texmf-dist/tex/latex/tcolorbox/tcolorbox.sty
(/usr/local/texlive/2025/texmf-dist/tex/latex/tools/verbatim.sty)
(/usr/local/texlive/2025/texmf-dist/tex/latex/environ/environ.sty
(/usr/local/texlive/2025/texmf-dist/tex/latex/trimspaces/trimspaces.sty)))
(/usr/local/texlive/2025/texmf-dist/tex/generic/soul/soul.sty
(/usr/local/texlive/2025/texmf-dist/tex/generic/soul/soul-ori.sty)
(/usr/local/texlive/2025/texmf-dist/tex/generic/etexcmds/etexcmds.sty))
(/usr/local/texlive/2025/texmf-dist/tex/latex/booktabs/booktabs.sty)
(/usr/local/texlive/2025/texmf-dist/tex/latex/wrapfig/wrapfig.sty)
(/usr/local/texlive/2025/texmf-dist/tex/latex/enumitem/enumitem.sty)
(/usr/local/texlive/2025/texmf-dist/tex/latex/lipsum/lipsum.sty
(/usr/local/texlive/2025/texmf-dist/tex/latex/l3packages/l3keys2e/l3keys2e.sty
(/usr/local/texlive/2025/texmf-dist/tex/latex/l3kernel/expl3.sty
(/usr/local/texlive/2025/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def)))
(/usr/local/texlive/2025/texmf-dist/tex/latex/lipsum/lipsum.ltd.tex))
(/usr/local/texlive/2025/texmf-dist/tex/latex/tools/longtable.sty)
(/usr/local/texlive/2025/texmf-dist/tex/latex/natbib/natbib.sty)
(/usr/local/texlive/2025/texmf-dist/tex/latex/algorithm2e/algorithm2e.sty
(/usr/local/texlive/2025/texmf-dist/tex/latex/base/ifthen.sty)
(/usr/local/texlive/2025/texmf-dist/tex/latex/ifoddpage/ifoddpage.sty)
(/usr/local/texlive/2025/texmf-dist/tex/latex/relsize/relsize.sty))
(/usr/local/texlive/2025/texmf-dist/tex/latex/caption/subcaption.sty
(/usr/local/texlive/2025/texmf-dist/tex/latex/caption/caption.sty
(/usr/local/texlive/2025/texmf-dist/tex/latex/caption/caption3.sty)

Package caption Warning: Unknown document class (or package),
(caption)                standard defaults will be used.
See the caption package documentation for explanation.

(/usr/local/texlive/2025/texmf-dist/tex/latex/caption/ltcaption.sty)))
(/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/frontendlayer/tikz/librarie
s/tikzlibraryshapes.code.tex
(/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/frontendlayer/tikz/librarie
s/tikzlibraryshapes.geometric.code.tex
(/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibrary
shapes.geometric.code.tex))
(/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/frontendlayer/tikz/librarie
s/tikzlibraryshapes.misc.code.tex
(/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibrary
shapes.misc.code.tex))
(/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/frontendlayer/tikz/librarie
s/tikzlibraryshapes.symbols.code.tex
(/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibrary
shapes.symbols.code.tex))
(/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/frontendlayer/tikz/librarie
s/tikzlibraryshapes.arrows.code.tex
(/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibrary
shapes.arrows.code.tex))
(/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/frontendlayer/tikz/librarie
s/tikzlibraryshapes.callouts.code.tex
(/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibrary
shapes.callouts.code.tex))
(/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/frontendlayer/tikz/librarie
s/tikzlibraryshapes.multipart.code.tex
(/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibrary
shapes.multipart.code.tex)))
(/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/frontendlayer/tikz/librarie
s/tikzlibraryarrows.code.tex
(/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/libraries/pgflibraryarrows.
code.tex)) (./main.aux (./prompt_refine.aux) (./appendix/inv_table.aux))
(/usr/local/texlive/2025/texmf-dist/tex/context/base/mkii/supp-pdf.mkii
[Loading MPS to PDF converter (version 2006.09.02).]
) (/usr/local/texlive/2025/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty
(/usr/local/texlive/2025/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg))
(./main.out) (./main.out) (./macro.tex)
[1{/usr/local/texlive/2025/texmf-var/fonts/map/pdftex/updmap/pdftex.map}]
(./intro.tex
[2] (/usr/local/texlive/2025/texmf-dist/tex/latex/txfonts/ot1txtt.fd)
(/usr/local/texlive/2025/texmf-dist/tex/latex/listings/lstlang1.sty)
(/usr/local/texlive/2025/texmf-dist/tex/latex/listings/lstlang1.sty)
(/usr/local/texlive/2025/texmf-dist/tex/latex/listings/lstmisc.sty)
[3]) (./motivation.tex
[4]) (./approach.tex
[5]
[6 <./figure/framework.pdf>]
[7]
Overfull \hbox (2.26544pt too wide) in paragraph at lines 147--153
\OT1/cmr/m/n/10 (Line []3[]). The al-go-rithm first col-lects de-pen-dent class
es via \OT1/txtt/m/sc/10 getClassRecursively

Overfull \hbox (1.18178pt too wide) in paragraph at lines 147--153
\OT1/cmr/m/n/10 in-vari-ants us-ing \OT1/txtt/m/sc/10 generateInvariantWithLLM 
\OT1/cmr/m/n/10 and stores them in \OT1/txtt/m/n/9 invariants[]dict

Overfull \hbox (11.07248pt too wide) in paragraph at lines 147--153
\OT1/cmr/m/n/10 by com-bin-ing the dec-la-ra-tion text with any ex-ist-ing in-v
ari-ants from \OT1/txtt/m/n/9 invariants[]dict

[8]
[9]
[10]
[11]) (./benchmark.tex
Overfull \hbox (37.68266pt too wide) in paragraph at lines 16--20
\OT1/cmr/m/n/10 We use a C++ im-ple-men-ta-tion of clas-si-cal data struc-tures
 for our micro-benchmarks []Dim-
) (./experiments.tex
[12]) (./results.tex

Package wrapfig Warning: Stationary wrapfigure forced to float on input line 22
.


[13] (./ablation_tables.tex
Overfull \hbox (28.7982pt too wide) in paragraph at lines 4--18
 [][] 

Overfull \hbox (39.38524pt too wide) in paragraph at lines 95--110
 [][] 
)
Overfull \hbox (71.75858pt too wide) in paragraph at lines 68--86
 [][] 

LaTeX Warning: `!h' float specifier changed to `!ht'.


[14 <./figure/validation.pdf>]
[15]
[16]
[17 <./figure/test_vs_classinvgen.pdf>]

LaTeX Font Warning: Font shape `OML/txtt/m/n' undefined
(Font)              using `OML/cmm/m/it' instead
(Font)              for symbol `textgreater' on input line 248.


LaTeX Font Warning: Font shape `OMS/txtt/m/n' undefined
(Font)              using `OMS/cmsy/m/n' instead
(Font)              for symbol `textbraceleft' on input line 260.


Underfull \hbox (badness 10000) in paragraph at lines 263--264
[]|\OT1/txtt/m/n/7 this->data.[]Vector[]base< int, std::allocator<int> >.

Overfull \hbox (14.84824pt too wide) in paragraph at lines 256--278
 [][] 

LaTeX Warning: `!h' float specifier changed to `!ht'.


[18]) (./z3.tex
[19]
Underfull \vbox (badness 2173) has occurred while \output is active
[20 <./figure/daikon_classinvgen.pdf>]
Overfull \hbox (1.97789pt too wide) in paragraph at lines 41--44
[]\OT1/cmr/m/n/10 The \OT1/txtt/m/n/9 bdd[]manager \OT1/cmr/m/n/10 class in-clu
des a developer-written mem-ber func-tion for check-
) (./related-work.tex
Underfull \vbox (badness 10000) has occurred while \output is active
[21]
[22]
Overfull \hbox (4.66876pt too wide) in paragraph at lines 35--37
\OT1/cmr/m/n/10 used to it-er-a-tively im-prove the qual-ity of the syn-the-siz
ed in-duc-tive in-vari-ants []Garg

Overfull \hbox (20.5704pt too wide) in paragraph at lines 46--48
[]\OT1/cmr/m/n/10 For static ver-i-fi-ca-tion, re-cent works in-clude the use o
f LLM for intent-formalization

[23]) (./discussion.tex) (./concl.tex) (./main.bbl
[24]
Underfull \hbox (badness 10000) in paragraph at lines 170--179
\OT1/txtt/m/n/10 / / github . com / djeada / Algorithms-[]And-[]Data-[]Structur
es / tree / master /

[25]
Underfull \hbox (badness 10000) in paragraph at lines 344--354
[]\OT1/cmr/m/n/10 Shuvendu Lahiri. 2024.  Eval-u-at-ing LLM-driven User-Intent

Underfull \hbox (badness 10000) in paragraph at lines 344--354
\OT1/cmr/m/n/10 For-mal-iza-tion for Verification-Aware Lan-guages. In \OT1/cmr
/m/it/10 For-

Underfull \hbox (badness 10000) in paragraph at lines 344--354
\OT1/cmr/m/it/10 mal Meth-ods in Computer-Aided De-sign (FM-CAD'24)\OT1/cmr/m/n
/10 .

Underfull \hbox (badness 10000) in paragraph at lines 344--354
[]$\OT1/txtt/m/n/10 https : / / www . microsoft . com / en-[]us / research / pu
blication /

Overfull \hbox (92.62524pt too wide) in paragraph at lines 344--354
\OT1/txtt/m/n/10 evaluating-[]llm-[]driven-[]user-[]intent-[]formalization-[]fo
r-[]verification-[]aware-[]languages/$[] 

[26]
[27])
[28] (./prompt_refine.tex
pdfTeX warning (ext4): destination with the same identifier (name{section.1}) h
as been already used, duplicate ignored
<to be read again> 
                   \relax 
l.2 \section{Prompt}
                    
(/usr/local/texlive/2025/texmf-dist/tex/latex/txfonts/ts1txtt.fd)

LaTeX Warning: Float too large for page by 8.86172pt on input line 132.

)
[29]
[30]
[31]
[32] (./appendix/inv_table.tex
pdfTeX warning (ext4): destination with the same identifier (name{section.2}) h
as been already used, duplicate ignored
<to be read again> 
                   \relax 
l.1 \section{Daikon Invariants Frequency Tables}
                                                
(/usr/local/texlive/2025/texmf-dist/tex/latex/base/omscmr.fd)
Overfull \hbox (57.1166pt too wide) in paragraph at lines 7--31
 [][] 

Overfull \hbox (98.70006pt too wide) in paragraph at lines 38--60
 [][] 

Overfull \hbox (77.89026pt too wide) in paragraph at lines 67--97
 [][] 

Overfull \hbox (125.22798pt too wide) in paragraph at lines 104--125
 [][] 

Overfull \hbox (33.31613pt too wide) in paragraph at lines 132--158
 [][] 
)
[33]
[34]
[35]
[36]
[37] (./main.aux (./prompt_refine.aux) (./appendix/inv_table.aux))

LaTeX Font Warning: Some font shapes were not available, defaults substituted.

 )
(see the transcript file for additional information)</usr/local/texlive/2025/te
xmf-dist/fonts/type1/public/amsfonts/cm/cmbx10.pfb></usr/local/texlive/2025/tex
mf-dist/fonts/type1/public/amsfonts/cm/cmbx12.pfb></usr/local/texlive/2025/texm
f-dist/fonts/type1/public/amsfonts/cm/cmbx7.pfb></usr/local/texlive/2025/texmf-
dist/fonts/type1/public/amsfonts/cm/cmbx9.pfb></usr/local/texlive/2025/texmf-di
st/fonts/type1/public/amsfonts/cm/cmbxti10.pfb></usr/local/texlive/2025/texmf-d
ist/fonts/type1/public/amsfonts/cm/cmmi10.pfb></usr/local/texlive/2025/texmf-di
st/fonts/type1/public/amsfonts/cm/cmmi7.pfb></usr/local/texlive/2025/texmf-dist
/fonts/type1/public/amsfonts/cm/cmmi9.pfb></usr/local/texlive/2025/texmf-dist/f
onts/type1/public/amsfonts/cm/cmr10.pfb></usr/local/texlive/2025/texmf-dist/fon
ts/type1/public/amsfonts/cm/cmr5.pfb></usr/local/texlive/2025/texmf-dist/fonts/
type1/public/amsfonts/cm/cmr6.pfb></usr/local/texlive/2025/texmf-dist/fonts/typ
e1/public/amsfonts/cm/cmr7.pfb></usr/local/texlive/2025/texmf-dist/fonts/type1/
public/amsfonts/cm/cmr9.pfb></usr/local/texlive/2025/texmf-dist/fonts/type1/pub
lic/amsfonts/cm/cmsy7.pfb></usr/local/texlive/2025/texmf-dist/fonts/type1/publi
c/amsfonts/cm/cmsy9.pfb></usr/local/texlive/2025/texmf-dist/fonts/type1/public/
amsfonts/cm/cmti10.pfb></usr/local/texlive/2025/texmf-dist/fonts/type1/public/a
msfonts/cm/cmti9.pfb></usr/local/texlive/2025/texmf-dist/fonts/type1/public/txf
onts/tcxtt.pfb></usr/local/texlive/2025/texmf-dist/fonts/type1/public/txfonts/t
xbtt.pfb></usr/local/texlive/2025/texmf-dist/fonts/type1/public/txfonts/txtt.pf
b></usr/local/texlive/2025/texmf-dist/fonts/type1/public/txfonts/txttsc.pfb>
Output written on main.pdf (37 pages, 650519 bytes).
Transcript written on main.log.
