This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022/Debian) (preloaded format=pdflatex)
 restricted \write18 enabled.
entering extended mode
(./sft3_target_inference_and_certificates.tex
LaTeX2e <2022-11-01> patch level 1
L3 programming layer <2023-01-16>
(/usr/share/texlive/texmf-dist/tex/latex/base/article.cls
Document Class: article 2022/07/02 v1.4n Standard LaTeX document class
(/usr/share/texlive/texmf-dist/tex/latex/base/size11.clo))
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty
For additional information on amsmath, use the `?' option.
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty))
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty)
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty))
(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty
(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty))
(/usr/share/texlive/texmf-dist/tex/latex/amscls/amsthm.sty)
(/usr/share/texlive/texmf-dist/tex/latex/geometry/geometry.sty
(/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty)
(/usr/share/texlive/texmf-dist/tex/generic/iftex/ifvtex.sty
(/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty)))
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty
(/usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty)
(/usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty
(/usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty))
(/usr/share/texlive/texmf-dist/tex/latex/kvsetkeys/kvsetkeys.sty)
(/usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty)
(/usr/share/texlive/texmf-dist/tex/generic/pdfescape/pdfescape.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hycolor/hycolor.sty)
(/usr/share/texlive/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty)
(/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty
(/usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty)
(/usr/share/texlive/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty
(/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty)))
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def)
(/usr/share/texlive/texmf-dist/tex/generic/intcalc/intcalc.sty)
(/usr/share/texlive/texmf-dist/tex/generic/etexcmds/etexcmds.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/puenc.def)
(/usr/share/texlive/texmf-dist/tex/latex/url/url.sty)
(/usr/share/texlive/texmf-dist/tex/generic/bitset/bitset.sty
(/usr/share/texlive/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty))
(/usr/share/texlive/texmf-dist/tex/latex/base/atbegshi-ltx.sty))
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def
(/usr/share/texlive/texmf-dist/tex/latex/base/atveryend-ltx.sty)
(/usr/share/texlive/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty
(/usr/share/texlive/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty)))
(/usr/share/texlive/texmf-dist/tex/latex/enumitem/enumitem.sty)
(/usr/share/texlive/texmf-dist/tex/latex/tools/longtable.sty)
(/usr/share/texlive/texmf-dist/tex/latex/booktabs/booktabs.sty)
(/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty
(/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty
(/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty)
(/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/graphics.cfg)
(/usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def)))
(/usr/share/texlive/texmf-dist/tex/latex/xurl/xurl.sty)
(/usr/share/texlive/texmf-dist/tex/latex/tools/tabularx.sty
(/usr/share/texlive/texmf-dist/tex/latex/tools/array.sty))
(/usr/share/texlive/texmf-dist/tex/latex/microtype/microtype.sty
(/usr/share/texlive/texmf-dist/tex/latex/etoolbox/etoolbox.sty)
(/usr/share/texlive/texmf-dist/tex/latex/microtype/microtype-pdftex.def)
(/usr/share/texlive/texmf-dist/tex/latex/microtype/microtype.cfg))
(/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def)
No file sft3_target_inference_and_certificates.aux.
*geometry* driver: auto-detecting
*geometry* detected driver: pdftex
(/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii
[Loading MPS to PDF converter (version 2006.09.02).]
) (/usr/share/texlive/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty
(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg))
(/usr/share/texlive/texmf-dist/tex/latex/microtype/mt-cmr.cfg)
(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd)
(/usr/share/texlive/texmf-dist/tex/latex/microtype/mt-msa.cfg)
(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd)
(/usr/share/texlive/texmf-dist/tex/latex/microtype/mt-msb.cfg)

LaTeX Warning: Citation `hatcher2002' on page 1 undefined on input line 31.


LaTeX Warning: Citation `munkres2000' on page 1 undefined on input line 31.


LaTeX Warning: Citation `walters1982' on page 1 undefined on input line 31.


LaTeX Warning: Citation `einsiedler2011' on page 1 undefined on input line 31.


LaTeX Warning: Citation `pavliotis2014' on page 1 undefined on input line 31.

(./COC_definition.tex [1{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}]
(./COC_checklist.tex)) (./WELL_POSEDNESS_SPINE.tex [2]
(./TARGET_CORRECTNESS_AXIOMS.tex [3]) (./TARGET_DECISION_FLOW.tex [4]
Underfull \hbox (badness 2080) in paragraph at lines 28--29
[]|\OT1/cmr/m/n/10 (+20) If any in-gre-di-ent is miss-

Underfull \hbox (badness 2401) in paragraph at lines 28--29
\OT1/cmr/m/n/10 (+20) ing, the claim is out-side

Underfull \hbox (badness 3291) in paragraph at lines 28--29
[]$\OT1/cmr/m/n/10 (+20) : boundary-type ob-

Underfull \hbox (badness 10000) in paragraph at lines 44--45
\OT1/cmtt/m/n/10 on the induced $\OML/cmm/m/it/10 r$\OT1/cmtt/m/n/10 -torus (th
e

Underfull \hbox (badness 1953) in paragraph at lines 46--47
[]|\OT1/cmr/m/n/10 (+20) Claiming full-torus forc-ing

Underfull \hbox (badness 5274) in paragraph at lines 63--64
[]|\OT1/cmr/m/n/10.95 (+20) Stability mar-gins (LCM/HMR),

Underfull \hbox (badness 10000) in paragraph at lines 63--64
\OT1/cmr/m/n/10.95 (+20) anti-collapse bounds, and

Underfull \hbox (badness 10000) in paragraph at lines 63--64
\OT1/cmr/m/n/10.95 (+20) convergence-to-Haar if a mix-
[5])) (./COC_universality_schema.tex

LaTeX Warning: Reference `thm:circle-action-template' on page 6 undefined on in
put line 25.

[6]) (./COC_rotation_proof.tex [7]

LaTeX Warning: Citation `bredon1972' on page 8 undefined on input line 38.


LaTeX Warning: Citation `hatcher2002' on page 8 undefined on input line 38.


LaTeX Warning: Reference `eq:chi-equivariance' on page 8 undefined on input lin
e 42.


LaTeX Warning: Citation `hatcher2002' on page 8 undefined on input line 46.


LaTeX Warning: Reference `eq:chi-equivariance' on page 8 undefined on input lin
e 54.


LaTeX Warning: Citation `bredon1972' on page 8 undefined on input line 55.


LaTeX Warning: Reference `eq:chi-equivariance' on page 8 undefined on input lin
e 60.


LaTeX Warning: Reference `thm:circle-action-template' on page 8 undefined on in
put line 70.

) (./COC_embedded_loop_proof.tex

LaTeX Warning: Citation `hatcher2002' on page 8 undefined on input line 26.

[8]

LaTeX Warning: Reference `thm:COC-ESW-LDW' on page 9 undefined on input line 43
.

) (./COC_multicycle_proof.tex
Underfull \hbox (badness 1558) in paragraph at lines 32--37
\OT1/cmr/m/it/10.95 (+20) there ex-ists an in-te-ger ma-trix $\OML/cmm/m/it/10.
95 M \OMS/cmsy/m/n/10.95 2 \U/msb/m/n/10.95 Z[]$ \OT1/cmr/m/it/10.95 (+20) such
 that $\OML/cmm/m/it/10.95 ^^_$ \OT1/cmr/m/it/10.95 (+20) lifts to the lin-ear 
map $\OML/cmm/m/it/10.95 t \OMS/cmsy/m/n/10.95 7!
[9]

LaTeX Warning: Reference `eq:Tk-equivariance' on page 10 undefined on input lin
e 45.


LaTeX Warning: Reference `eq:cst-constraint' on page 10 undefined on input line
 73.


LaTeX Warning: Reference `eq:Tk-equivariance' on page 10 undefined on input lin
e 75.


LaTeX Warning: Reference `thm:torus-action-template' on page 10 undefined on in
put line 75.


LaTeX Warning: Reference `eq:cst-constraint' on page 10 undefined on input line
 80.


LaTeX Warning: Reference `eq:Tk-equivariance' on page 10 undefined on input lin
e 84.


LaTeX Warning: Reference `thm:torus-action-template' on page 10 undefined on in
put line 84.


LaTeX Warning: Reference `eq:Tk-equivariance' on page 10 undefined on input lin
e 92.

[10]

LaTeX Warning: Reference `thm:torus-action-template' on page 11 undefined on in
put line 102.


LaTeX Warning: Reference `thm:coupling-forces-cst' on page 11 undefined on inpu
t line 102.

) (./PREDICATE_EXHAUSTION_LEMMAS.tex [11] [12] [13] [14])
(./VALIDATOR_PREDICATE_SPEC.tex
Underfull \hbox (badness 4872) in paragraph at lines 16--17
[]|\OT1/cmr/bx/n/10.95 (+20) Audit hook (artifact-

Underfull \hbox (badness 10000) in paragraph at lines 21--21
[]|\OT1/cmr/m/n/10.95 (+20) when arc-neighborhood

Underfull \hbox (badness 10000) in paragraph at lines 23--24
[]|\OT1/cmtt/m/n/10.95 audit[]wsc.py\OT1/cmr/m/n/10.95 (+20) : re-quires

Underfull \hbox (badness 1454) in paragraph at lines 24--25
[]|\OT1/cmr/m/n/10.95 (+20) CTP/CHT (cou-pling tar-

Underfull \hbox (badness 1590) in paragraph at lines 24--25
\OT1/cmr/m/n/10.95 (+20) get cor-rect-ness) en-forced:

Underfull \hbox (badness 2020) in paragraph at lines 24--25
\OT1/cmr/m/n/10.95 (+20) re-quires \OT1/cmtt/m/n/10.95 target[]type=cst

Underfull \hbox (badness 10000) in paragraph at lines 25--26
[]|\OT1/cmtt/m/n/10.95 audit[]wsc.py\OT1/cmr/m/n/10.95 (+20) : re-quires

Underfull \hbox (badness 4279) in paragraph at lines 25--26
\OT1/cmr/m/n/10.95 (+20) a con-ver-gence cer-tifi-cate

Underfull \hbox (badness 1178) in paragraph at lines 29--29
[]|\OT1/cmr/m/n/10.95 (+20) when com-po-nent re-stric-

Underfull \hbox (badness 10000) in paragraph at lines 31--32
[]|\OT1/cmr/m/n/10.95 (+20) recorded as a bench-

Underfull \hbox (badness 1661) in paragraph at lines 31--32
\OT1/cmr/m/n/10.95 (+20) mark/tool ev-i-dence ref-er-

Underfull \hbox (badness 10000) in paragraph at lines 32--33
[]|\OT1/cmr/m/n/10.95 (+20) recorded as a bench-

Underfull \hbox (badness 1661) in paragraph at lines 32--33
\OT1/cmr/m/n/10.95 (+20) mark/tool ev-i-dence ref-er-

Underfull \hbox (badness 10000) in paragraph at lines 33--34
[]|\OT1/cmr/m/n/10.95 (+20) recorded as a bench-

Underfull \hbox (badness 1661) in paragraph at lines 33--34
\OT1/cmr/m/n/10.95 (+20) mark/tool ev-i-dence ref-er-
[15] [16]) (./WOB_CATALOG_COMPLETENESS.tex [17]
Overfull \hbox (0.80867pt too wide) in paragraph at lines 44--62
[][] 
[18])

LaTeX Warning: Citation `lenstra1982' on page 19 undefined on input line 95.

(./TARGET_IDENTIFIABILITY_THEOREM.tex [19]) [20]

LaTeX Warning: Citation `hatcher2002' on page 21 undefined on input line 129.

(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/ueuf.fd)
(/usr/share/texlive/texmf-dist/tex/latex/microtype/mt-euf.cfg) [21]

LaTeX Warning: Citation `walters1982' on page 22 undefined on input line 151.


LaTeX Warning: Citation `einsiedler2011' on page 22 undefined on input line 151
.


LaTeX Warning: Citation `kuipers1974' on page 22 undefined on input line 151.


LaTeX Warning: Citation `pavliotis2014' on page 22 undefined on input line 152.



LaTeX Warning: Citation `evans2010' on page 22 undefined on input line 152.

No file sft3_target_inference_and_certificates.bbl.
[22] (./sft3_target_inference_and_certificates.aux)

LaTeX Warning: There were undefined references.


LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right.


Package rerunfilecheck Warning: File `sft3_target_inference_and_certificates.ou
t' has changed.
(rerunfilecheck)                Rerun to get outlines right
(rerunfilecheck)                or use package `bookmark'.

 )
(see the transcript file for additional information){/usr/share/texmf/fonts/enc
/dvips/cm-super/cm-super-ts1.enc}</usr/share/texlive/texmf-dist/fonts/type1/pub
lic/amsfonts/cm/cmbx10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/am
sfonts/cm/cmbx12.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts
/cm/cmbx8.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmb
xti10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmex10.
pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmitt10.pfb><
/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb></usr/s
hare/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi7.pfb></usr/share/te
xlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi8.pfb></usr/share/texlive/t
exmf-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb></usr/share/texlive/texmf-di
st/fonts/type1/public/amsfonts/cm/cmr12.pfb></usr/share/texlive/texmf-dist/font
s/type1/public/amsfonts/cm/cmr17.pfb></usr/share/texlive/texmf-dist/fonts/type1
/public/amsfonts/cm/cmr8.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/
amsfonts/cm/cmss10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfon
ts/cm/cmsy10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/
cmsy6.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy8.p
fb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmti10.pfb></u
sr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt10.pfb></usr/sha
re/texlive/texmf-dist/fonts/type1/public/amsfonts/euler/eufm10.pfb></usr/share/
texlive/texmf-dist/fonts/type1/public/amsfonts/symbols/msbm10.pfb></usr/share/t
exmf/fonts/type1/public/cm-super/sfrm1000.pfb></usr/share/texmf/fonts/type1/pub
lic/cm-super/sfrm1095.pfb>
Output written on sft3_target_inference_and_certificates.pdf (22 pages, 362603 
bytes).
Transcript written on sft3_target_inference_and_certificates.log.
This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022/Debian) (preloaded format=pdflatex)
 restricted \write18 enabled.
entering extended mode
(./sft3_target_inference_and_certificates.tex
LaTeX2e <2022-11-01> patch level 1
L3 programming layer <2023-01-16>
(/usr/share/texlive/texmf-dist/tex/latex/base/article.cls
Document Class: article 2022/07/02 v1.4n Standard LaTeX document class
(/usr/share/texlive/texmf-dist/tex/latex/base/size11.clo))
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty
For additional information on amsmath, use the `?' option.
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty))
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty)
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty))
(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty
(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty))
(/usr/share/texlive/texmf-dist/tex/latex/amscls/amsthm.sty)
(/usr/share/texlive/texmf-dist/tex/latex/geometry/geometry.sty
(/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty)
(/usr/share/texlive/texmf-dist/tex/generic/iftex/ifvtex.sty
(/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty)))
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty
(/usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty)
(/usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty
(/usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty))
(/usr/share/texlive/texmf-dist/tex/latex/kvsetkeys/kvsetkeys.sty)
(/usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty)
(/usr/share/texlive/texmf-dist/tex/generic/pdfescape/pdfescape.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hycolor/hycolor.sty)
(/usr/share/texlive/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty)
(/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty
(/usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty)
(/usr/share/texlive/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty
(/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty)))
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def)
(/usr/share/texlive/texmf-dist/tex/generic/intcalc/intcalc.sty)
(/usr/share/texlive/texmf-dist/tex/generic/etexcmds/etexcmds.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/puenc.def)
(/usr/share/texlive/texmf-dist/tex/latex/url/url.sty)
(/usr/share/texlive/texmf-dist/tex/generic/bitset/bitset.sty
(/usr/share/texlive/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty))
(/usr/share/texlive/texmf-dist/tex/latex/base/atbegshi-ltx.sty))
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def
(/usr/share/texlive/texmf-dist/tex/latex/base/atveryend-ltx.sty)
(/usr/share/texlive/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty
(/usr/share/texlive/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty)))
(/usr/share/texlive/texmf-dist/tex/latex/enumitem/enumitem.sty)
(/usr/share/texlive/texmf-dist/tex/latex/tools/longtable.sty)
(/usr/share/texlive/texmf-dist/tex/latex/booktabs/booktabs.sty)
(/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty
(/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty
(/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty)
(/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/graphics.cfg)
(/usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def)))
(/usr/share/texlive/texmf-dist/tex/latex/xurl/xurl.sty)
(/usr/share/texlive/texmf-dist/tex/latex/tools/tabularx.sty
(/usr/share/texlive/texmf-dist/tex/latex/tools/array.sty))
(/usr/share/texlive/texmf-dist/tex/latex/microtype/microtype.sty
(/usr/share/texlive/texmf-dist/tex/latex/etoolbox/etoolbox.sty)
(/usr/share/texlive/texmf-dist/tex/latex/microtype/microtype-pdftex.def)
(/usr/share/texlive/texmf-dist/tex/latex/microtype/microtype.cfg))
(/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def)
(./sft3_target_inference_and_certificates.aux)
*geometry* driver: auto-detecting
*geometry* detected driver: pdftex
(./sft3_target_inference_and_certificates.out)
(./sft3_target_inference_and_certificates.out)
(/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii
[Loading MPS to PDF converter (version 2006.09.02).]
) (/usr/share/texlive/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty
(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg))
(/usr/share/texlive/texmf-dist/tex/latex/microtype/mt-cmr.cfg)
(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd)
(/usr/share/texlive/texmf-dist/tex/latex/microtype/mt-msa.cfg)
(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd)
(/usr/share/texlive/texmf-dist/tex/latex/microtype/mt-msb.cfg)

LaTeX Warning: Citation `hatcher2002' on page 1 undefined on input line 31.


LaTeX Warning: Citation `munkres2000' on page 1 undefined on input line 31.


LaTeX Warning: Citation `walters1982' on page 1 undefined on input line 31.


LaTeX Warning: Citation `einsiedler2011' on page 1 undefined on input line 31.


LaTeX Warning: Citation `pavliotis2014' on page 1 undefined on input line 31.

(./COC_definition.tex [1{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}]
(./COC_checklist.tex)) (./WELL_POSEDNESS_SPINE.tex [2]
(./TARGET_CORRECTNESS_AXIOMS.tex [3]) (./TARGET_DECISION_FLOW.tex [4]
Underfull \hbox (badness 2080) in paragraph at lines 28--29
[]|\OT1/cmr/m/n/10 (+20) If any in-gre-di-ent is miss-

Underfull \hbox (badness 2401) in paragraph at lines 28--29
\OT1/cmr/m/n/10 (+20) ing, the claim is out-side

Underfull \hbox (badness 3291) in paragraph at lines 28--29
[]$\OT1/cmr/m/n/10 (+20) : boundary-type ob-

Underfull \hbox (badness 10000) in paragraph at lines 44--45
\OT1/cmtt/m/n/10 on the induced $\OML/cmm/m/it/10 r$\OT1/cmtt/m/n/10 -torus (th
e

Underfull \hbox (badness 1953) in paragraph at lines 46--47
[]|\OT1/cmr/m/n/10 (+20) Claiming full-torus forc-ing

Underfull \hbox (badness 5274) in paragraph at lines 63--64
[]|\OT1/cmr/m/n/10.95 (+20) Stability mar-gins (LCM/HMR),

Underfull \hbox (badness 10000) in paragraph at lines 63--64
\OT1/cmr/m/n/10.95 (+20) anti-collapse bounds, and

Underfull \hbox (badness 10000) in paragraph at lines 63--64
\OT1/cmr/m/n/10.95 (+20) convergence-to-Haar if a mix-
[5])) (./COC_universality_schema.tex [6]) (./COC_rotation_proof.tex [7]

LaTeX Warning: Citation `bredon1972' on page 8 undefined on input line 38.


LaTeX Warning: Citation `hatcher2002' on page 8 undefined on input line 38.


LaTeX Warning: Citation `hatcher2002' on page 8 undefined on input line 46.


LaTeX Warning: Citation `bredon1972' on page 8 undefined on input line 55.

) (./COC_embedded_loop_proof.tex

LaTeX Warning: Citation `hatcher2002' on page 8 undefined on input line 26.

[8]) (./COC_multicycle_proof.tex
Underfull \hbox (badness 1558) in paragraph at lines 32--37
\OT1/cmr/m/it/10.95 (+20) there ex-ists an in-te-ger ma-trix $\OML/cmm/m/it/10.
95 M \OMS/cmsy/m/n/10.95 2 \U/msb/m/n/10.95 Z[]$ \OT1/cmr/m/it/10.95 (+20) such
 that $\OML/cmm/m/it/10.95 ^^_$ \OT1/cmr/m/it/10.95 (+20) lifts to the lin-ear 
map $\OML/cmm/m/it/10.95 t \OMS/cmsy/m/n/10.95 7!
[9] [10]) (./PREDICATE_EXHAUSTION_LEMMAS.tex [11] [12] [13] [14])
(./VALIDATOR_PREDICATE_SPEC.tex
Underfull \hbox (badness 4872) in paragraph at lines 16--17
[]|\OT1/cmr/bx/n/10.95 (+20) Audit hook (artifact-

Underfull \hbox (badness 10000) in paragraph at lines 21--21
[]|\OT1/cmr/m/n/10.95 (+20) when arc-neighborhood

Underfull \hbox (badness 10000) in paragraph at lines 23--24
[]|\OT1/cmtt/m/n/10.95 audit[]wsc.py\OT1/cmr/m/n/10.95 (+20) : re-quires

Underfull \hbox (badness 1454) in paragraph at lines 24--25
[]|\OT1/cmr/m/n/10.95 (+20) CTP/CHT (cou-pling tar-

Underfull \hbox (badness 1590) in paragraph at lines 24--25
\OT1/cmr/m/n/10.95 (+20) get cor-rect-ness) en-forced:

Underfull \hbox (badness 2020) in paragraph at lines 24--25
\OT1/cmr/m/n/10.95 (+20) re-quires \OT1/cmtt/m/n/10.95 target[]type=cst

Underfull \hbox (badness 10000) in paragraph at lines 25--26
[]|\OT1/cmtt/m/n/10.95 audit[]wsc.py\OT1/cmr/m/n/10.95 (+20) : re-quires

Underfull \hbox (badness 4279) in paragraph at lines 25--26
\OT1/cmr/m/n/10.95 (+20) a con-ver-gence cer-tifi-cate

Underfull \hbox (badness 1178) in paragraph at lines 29--29
[]|\OT1/cmr/m/n/10.95 (+20) when com-po-nent re-stric-

Underfull \hbox (badness 10000) in paragraph at lines 31--32
[]|\OT1/cmr/m/n/10.95 (+20) recorded as a bench-

Underfull \hbox (badness 1661) in paragraph at lines 31--32
\OT1/cmr/m/n/10.95 (+20) mark/tool ev-i-dence ref-er-

Underfull \hbox (badness 10000) in paragraph at lines 32--33
[]|\OT1/cmr/m/n/10.95 (+20) recorded as a bench-

Underfull \hbox (badness 1661) in paragraph at lines 32--33
\OT1/cmr/m/n/10.95 (+20) mark/tool ev-i-dence ref-er-

Underfull \hbox (badness 10000) in paragraph at lines 33--34
[]|\OT1/cmr/m/n/10.95 (+20) recorded as a bench-

Underfull \hbox (badness 1661) in paragraph at lines 33--34
\OT1/cmr/m/n/10.95 (+20) mark/tool ev-i-dence ref-er-
[15] [16]) (./WOB_CATALOG_COMPLETENESS.tex [17]
Overfull \hbox (0.80867pt too wide) in paragraph at lines 44--62
[][] 
[18])

LaTeX Warning: Citation `lenstra1982' on page 19 undefined on input line 95.

(./TARGET_IDENTIFIABILITY_THEOREM.tex [19]) [20]

LaTeX Warning: Citation `hatcher2002' on page 21 undefined on input line 129.

(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/ueuf.fd)
(/usr/share/texlive/texmf-dist/tex/latex/microtype/mt-euf.cfg) [21]

LaTeX Warning: Citation `walters1982' on page 22 undefined on input line 151.


LaTeX Warning: Citation `einsiedler2011' on page 22 undefined on input line 151
.


LaTeX Warning: Citation `kuipers1974' on page 22 undefined on input line 151.


LaTeX Warning: Citation `pavliotis2014' on page 22 undefined on input line 152.



LaTeX Warning: Citation `evans2010' on page 22 undefined on input line 152.

No file sft3_target_inference_and_certificates.bbl.
[22] (./sft3_target_inference_and_certificates.aux)

LaTeX Warning: There were undefined references.

 )
(see the transcript file for additional information){/usr/share/texmf/fonts/enc
/dvips/cm-super/cm-super-ts1.enc}</usr/share/texlive/texmf-dist/fonts/type1/pub
lic/amsfonts/cm/cmbx10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/am
sfonts/cm/cmbx12.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts
/cm/cmbx8.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmb
xti10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmex10.
pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmitt10.pfb><
/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb></usr/s
hare/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi7.pfb></usr/share/te
xlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi8.pfb></usr/share/texlive/t
exmf-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb></usr/share/texlive/texmf-di
st/fonts/type1/public/amsfonts/cm/cmr12.pfb></usr/share/texlive/texmf-dist/font
s/type1/public/amsfonts/cm/cmr17.pfb></usr/share/texlive/texmf-dist/fonts/type1
/public/amsfonts/cm/cmr8.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/
amsfonts/cm/cmss10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfon
ts/cm/cmsy10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/
cmsy6.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy8.p
fb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmti10.pfb></u
sr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt10.pfb></usr/sha
re/texlive/texmf-dist/fonts/type1/public/amsfonts/euler/eufm10.pfb></usr/share/
texlive/texmf-dist/fonts/type1/public/amsfonts/symbols/msbm10.pfb></usr/share/t
exmf/fonts/type1/public/cm-super/sfrm1000.pfb></usr/share/texmf/fonts/type1/pub
lic/cm-super/sfrm1095.pfb>
Output written on sft3_target_inference_and_certificates.pdf (22 pages, 364369 
bytes).
Transcript written on sft3_target_inference_and_certificates.log.
This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022/Debian) (preloaded format=pdflatex)
 restricted \write18 enabled.
entering extended mode
(./sft3_target_inference_and_certificates.tex
LaTeX2e <2022-11-01> patch level 1
L3 programming layer <2023-01-16>
(/usr/share/texlive/texmf-dist/tex/latex/base/article.cls
Document Class: article 2022/07/02 v1.4n Standard LaTeX document class
(/usr/share/texlive/texmf-dist/tex/latex/base/size11.clo))
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty
For additional information on amsmath, use the `?' option.
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty))
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty)
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty))
(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty
(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty))
(/usr/share/texlive/texmf-dist/tex/latex/amscls/amsthm.sty)
(/usr/share/texlive/texmf-dist/tex/latex/geometry/geometry.sty
(/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty)
(/usr/share/texlive/texmf-dist/tex/generic/iftex/ifvtex.sty
(/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty)))
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty
(/usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty)
(/usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty
(/usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty))
(/usr/share/texlive/texmf-dist/tex/latex/kvsetkeys/kvsetkeys.sty)
(/usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty)
(/usr/share/texlive/texmf-dist/tex/generic/pdfescape/pdfescape.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hycolor/hycolor.sty)
(/usr/share/texlive/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty)
(/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty
(/usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty)
(/usr/share/texlive/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty
(/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty)))
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def)
(/usr/share/texlive/texmf-dist/tex/generic/intcalc/intcalc.sty)
(/usr/share/texlive/texmf-dist/tex/generic/etexcmds/etexcmds.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/puenc.def)
(/usr/share/texlive/texmf-dist/tex/latex/url/url.sty)
(/usr/share/texlive/texmf-dist/tex/generic/bitset/bitset.sty
(/usr/share/texlive/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty))
(/usr/share/texlive/texmf-dist/tex/latex/base/atbegshi-ltx.sty))
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def
(/usr/share/texlive/texmf-dist/tex/latex/base/atveryend-ltx.sty)
(/usr/share/texlive/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty
(/usr/share/texlive/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty)))
(/usr/share/texlive/texmf-dist/tex/latex/enumitem/enumitem.sty)
(/usr/share/texlive/texmf-dist/tex/latex/tools/longtable.sty)
(/usr/share/texlive/texmf-dist/tex/latex/booktabs/booktabs.sty)
(/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty
(/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty
(/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty)
(/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/graphics.cfg)
(/usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def)))
(/usr/share/texlive/texmf-dist/tex/latex/xurl/xurl.sty)
(/usr/share/texlive/texmf-dist/tex/latex/tools/tabularx.sty
(/usr/share/texlive/texmf-dist/tex/latex/tools/array.sty))
(/usr/share/texlive/texmf-dist/tex/latex/microtype/microtype.sty
(/usr/share/texlive/texmf-dist/tex/latex/etoolbox/etoolbox.sty)
(/usr/share/texlive/texmf-dist/tex/latex/microtype/microtype-pdftex.def)
(/usr/share/texlive/texmf-dist/tex/latex/microtype/microtype.cfg))
(/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def)
(./sft3_target_inference_and_certificates.aux)
*geometry* driver: auto-detecting
*geometry* detected driver: pdftex
(./sft3_target_inference_and_certificates.out)
(./sft3_target_inference_and_certificates.out)
(/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii
[Loading MPS to PDF converter (version 2006.09.02).]
) (/usr/share/texlive/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty
(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg))
(/usr/share/texlive/texmf-dist/tex/latex/microtype/mt-cmr.cfg)
(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd)
(/usr/share/texlive/texmf-dist/tex/latex/microtype/mt-msa.cfg)
(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd)
(/usr/share/texlive/texmf-dist/tex/latex/microtype/mt-msb.cfg)

LaTeX Warning: Citation `hatcher2002' on page 1 undefined on input line 31.


LaTeX Warning: Citation `munkres2000' on page 1 undefined on input line 31.


LaTeX Warning: Citation `walters1982' on page 1 undefined on input line 31.


LaTeX Warning: Citation `einsiedler2011' on page 1 undefined on input line 31.


LaTeX Warning: Citation `pavliotis2014' on page 1 undefined on input line 31.

(./COC_definition.tex [1{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}]
(./COC_checklist.tex)) (./WELL_POSEDNESS_SPINE.tex [2]
(./TARGET_CORRECTNESS_AXIOMS.tex [3]) (./TARGET_DECISION_FLOW.tex [4]
Underfull \hbox (badness 2080) in paragraph at lines 28--29
[]|\OT1/cmr/m/n/10 (+20) If any in-gre-di-ent is miss-

Underfull \hbox (badness 2401) in paragraph at lines 28--29
\OT1/cmr/m/n/10 (+20) ing, the claim is out-side

Underfull \hbox (badness 3291) in paragraph at lines 28--29
[]$\OT1/cmr/m/n/10 (+20) : boundary-type ob-

Underfull \hbox (badness 10000) in paragraph at lines 44--45
\OT1/cmtt/m/n/10 on the induced $\OML/cmm/m/it/10 r$\OT1/cmtt/m/n/10 -torus (th
e

Underfull \hbox (badness 1953) in paragraph at lines 46--47
[]|\OT1/cmr/m/n/10 (+20) Claiming full-torus forc-ing

Underfull \hbox (badness 5274) in paragraph at lines 63--64
[]|\OT1/cmr/m/n/10.95 (+20) Stability mar-gins (LCM/HMR),

Underfull \hbox (badness 10000) in paragraph at lines 63--64
\OT1/cmr/m/n/10.95 (+20) anti-collapse bounds, and

Underfull \hbox (badness 10000) in paragraph at lines 63--64
\OT1/cmr/m/n/10.95 (+20) convergence-to-Haar if a mix-
[5])) (./COC_universality_schema.tex [6]) (./COC_rotation_proof.tex [7]

LaTeX Warning: Citation `bredon1972' on page 8 undefined on input line 38.


LaTeX Warning: Citation `hatcher2002' on page 8 undefined on input line 38.


LaTeX Warning: Citation `hatcher2002' on page 8 undefined on input line 46.


LaTeX Warning: Citation `bredon1972' on page 8 undefined on input line 55.

) (./COC_embedded_loop_proof.tex

LaTeX Warning: Citation `hatcher2002' on page 8 undefined on input line 26.

[8]) (./COC_multicycle_proof.tex
Underfull \hbox (badness 1558) in paragraph at lines 32--37
\OT1/cmr/m/it/10.95 (+20) there ex-ists an in-te-ger ma-trix $\OML/cmm/m/it/10.
95 M \OMS/cmsy/m/n/10.95 2 \U/msb/m/n/10.95 Z[]$ \OT1/cmr/m/it/10.95 (+20) such
 that $\OML/cmm/m/it/10.95 ^^_$ \OT1/cmr/m/it/10.95 (+20) lifts to the lin-ear 
map $\OML/cmm/m/it/10.95 t \OMS/cmsy/m/n/10.95 7!
[9] [10]) (./PREDICATE_EXHAUSTION_LEMMAS.tex [11] [12] [13] [14])
(./VALIDATOR_PREDICATE_SPEC.tex
Underfull \hbox (badness 4872) in paragraph at lines 16--17
[]|\OT1/cmr/bx/n/10.95 (+20) Audit hook (artifact-

Underfull \hbox (badness 10000) in paragraph at lines 21--21
[]|\OT1/cmr/m/n/10.95 (+20) when arc-neighborhood

Underfull \hbox (badness 10000) in paragraph at lines 23--24
[]|\OT1/cmtt/m/n/10.95 audit[]wsc.py\OT1/cmr/m/n/10.95 (+20) : re-quires

Underfull \hbox (badness 1454) in paragraph at lines 24--25
[]|\OT1/cmr/m/n/10.95 (+20) CTP/CHT (cou-pling tar-

Underfull \hbox (badness 1590) in paragraph at lines 24--25
\OT1/cmr/m/n/10.95 (+20) get cor-rect-ness) en-forced:

Underfull \hbox (badness 2020) in paragraph at lines 24--25
\OT1/cmr/m/n/10.95 (+20) re-quires \OT1/cmtt/m/n/10.95 target[]type=cst

Underfull \hbox (badness 10000) in paragraph at lines 25--26
[]|\OT1/cmtt/m/n/10.95 audit[]wsc.py\OT1/cmr/m/n/10.95 (+20) : re-quires

Underfull \hbox (badness 4279) in paragraph at lines 25--26
\OT1/cmr/m/n/10.95 (+20) a con-ver-gence cer-tifi-cate

Underfull \hbox (badness 1178) in paragraph at lines 29--29
[]|\OT1/cmr/m/n/10.95 (+20) when com-po-nent re-stric-

Underfull \hbox (badness 10000) in paragraph at lines 31--32
[]|\OT1/cmr/m/n/10.95 (+20) recorded as a bench-

Underfull \hbox (badness 1661) in paragraph at lines 31--32
\OT1/cmr/m/n/10.95 (+20) mark/tool ev-i-dence ref-er-

Underfull \hbox (badness 10000) in paragraph at lines 32--33
[]|\OT1/cmr/m/n/10.95 (+20) recorded as a bench-

Underfull \hbox (badness 1661) in paragraph at lines 32--33
\OT1/cmr/m/n/10.95 (+20) mark/tool ev-i-dence ref-er-

Underfull \hbox (badness 10000) in paragraph at lines 33--34
[]|\OT1/cmr/m/n/10.95 (+20) recorded as a bench-

Underfull \hbox (badness 1661) in paragraph at lines 33--34
\OT1/cmr/m/n/10.95 (+20) mark/tool ev-i-dence ref-er-
[15] [16]) (./WOB_CATALOG_COMPLETENESS.tex [17]
Overfull \hbox (0.80867pt too wide) in paragraph at lines 44--62
[][] 
[18])

LaTeX Warning: Citation `lenstra1982' on page 19 undefined on input line 95.

(./TARGET_IDENTIFIABILITY_THEOREM.tex [19]) [20]

LaTeX Warning: Citation `hatcher2002' on page 21 undefined on input line 129.

(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/ueuf.fd)
(/usr/share/texlive/texmf-dist/tex/latex/microtype/mt-euf.cfg) [21]

LaTeX Warning: Citation `walters1982' on page 22 undefined on input line 151.


LaTeX Warning: Citation `einsiedler2011' on page 22 undefined on input line 151
.


LaTeX Warning: Citation `kuipers1974' on page 22 undefined on input line 151.


LaTeX Warning: Citation `pavliotis2014' on page 22 undefined on input line 152.



LaTeX Warning: Citation `evans2010' on page 22 undefined on input line 152.

No file sft3_target_inference_and_certificates.bbl.
[22] (./sft3_target_inference_and_certificates.aux)

LaTeX Warning: There were undefined references.

 )
(see the transcript file for additional information){/usr/share/texmf/fonts/enc
/dvips/cm-super/cm-super-ts1.enc}</usr/share/texlive/texmf-dist/fonts/type1/pub
lic/amsfonts/cm/cmbx10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/am
sfonts/cm/cmbx12.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts
/cm/cmbx8.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmb
xti10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmex10.
pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmitt10.pfb><
/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb></usr/s
hare/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi7.pfb></usr/share/te
xlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi8.pfb></usr/share/texlive/t
exmf-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb></usr/share/texlive/texmf-di
st/fonts/type1/public/amsfonts/cm/cmr12.pfb></usr/share/texlive/texmf-dist/font
s/type1/public/amsfonts/cm/cmr17.pfb></usr/share/texlive/texmf-dist/fonts/type1
/public/amsfonts/cm/cmr8.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/
amsfonts/cm/cmss10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfon
ts/cm/cmsy10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/
cmsy6.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy8.p
fb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmti10.pfb></u
sr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt10.pfb></usr/sha
re/texlive/texmf-dist/fonts/type1/public/amsfonts/euler/eufm10.pfb></usr/share/
texlive/texmf-dist/fonts/type1/public/amsfonts/symbols/msbm10.pfb></usr/share/t
exmf/fonts/type1/public/cm-super/sfrm1000.pfb></usr/share/texmf/fonts/type1/pub
lic/cm-super/sfrm1095.pfb>
Output written on sft3_target_inference_and_certificates.pdf (22 pages, 364369 
bytes).
Transcript written on sft3_target_inference_and_certificates.log.
Built in /mnt/data/sft_0222_rfp_pip_work/sft_complete/finish_ready/scripts/build_sft3

