74030a5b8f
Adds experiments/test_conj_5_26_n_21_22.py, a clause-4 checker that re-uses find_all_36_witnesses + check_clause_4 from check_conj_final_scaled.py and runs them on n = 21, 22 with incremental JSONL output and a 10-minute PROGRESS heartbeat. Results (139 min wall, single thread): n=21: 192 tri, 392,370 colourings w/ clause-1–3 witness, all pass n=22: 651 tri, 1,786,314 colourings w/ clause-1–3 witness, all pass total at n ≤ 22: 2,321,496 / 2,321,496 (combined with the existing 142,812 at n ≤ 20 from check_conj_final_scaled.py) Paper edits: - Abstract: "|V(G)| ≤ 20 (142,812)" → "|V(G)| ≤ 22 (2,321,496)" for the strengthening; clauses-1–3 count unchanged at 535,182 / n ≤ 21. - Intro paragraph: matching update. - Remark rem:conj-3-8-empirical table: added n=21 and n=22 rows; new total ($n \le 22$) = 959 triangulations, 2,321,496 colourings. - Updated script reference in that remark to point at check_conj_final_scaled.py + test_conj_5_26_n_21_22.py. COMMENTARY.md summary table: Conjecture 5.26 row bumped to 2,321,496 / 2,321,496 (n ≤ 22). Also commits the test_*_results.jsonl artifacts (with per-tri records + n-summaries + grand summary) for reproducibility. Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
453 lines
18 KiB
Plaintext
453 lines
18 KiB
Plaintext
This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022) (preloaded format=pdflatex 2022.10.5) 25 MAY 2026 12:27
|
|
entering extended mode
|
|
restricted \write18 enabled.
|
|
%&-line parsing enabled.
|
|
**paper.tex
|
|
(./paper.tex
|
|
LaTeX2e <2021-11-15> patch level 1
|
|
L3 programming layer <2022-02-24>
|
|
(/usr/local/texlive/2022/texmf-dist/tex/latex/amscls/amsart.cls
|
|
Document Class: amsart 2020/05/29 v2.20.6
|
|
\linespacing=\dimen138
|
|
\normalparindent=\dimen139
|
|
\normaltopskip=\skip47
|
|
(/usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsmath.sty
|
|
Package: amsmath 2021/10/15 v2.17l AMS math features
|
|
\@mathmargin=\skip48
|
|
|
|
For additional information on amsmath, use the `?' option.
|
|
(/usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amstext.sty
|
|
Package: amstext 2021/08/26 v2.01 AMS text
|
|
|
|
(/usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsgen.sty
|
|
File: amsgen.sty 1999/11/30 v2.0 generic functions
|
|
\@emptytoks=\toks16
|
|
\ex@=\dimen140
|
|
))
|
|
(/usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsbsy.sty
|
|
Package: amsbsy 1999/11/29 v1.2d Bold Symbols
|
|
\pmbraise@=\dimen141
|
|
)
|
|
(/usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsopn.sty
|
|
Package: amsopn 2021/08/26 v2.02 operator names
|
|
)
|
|
\inf@bad=\count185
|
|
LaTeX Info: Redefining \frac on input line 234.
|
|
\uproot@=\count186
|
|
\leftroot@=\count187
|
|
LaTeX Info: Redefining \overline on input line 399.
|
|
\classnum@=\count188
|
|
\DOTSCASE@=\count189
|
|
LaTeX Info: Redefining \ldots on input line 496.
|
|
LaTeX Info: Redefining \dots on input line 499.
|
|
LaTeX Info: Redefining \cdots on input line 620.
|
|
\Mathstrutbox@=\box50
|
|
\strutbox@=\box51
|
|
\big@size=\dimen142
|
|
LaTeX Font Info: Redeclaring font encoding OML on input line 743.
|
|
LaTeX Font Info: Redeclaring font encoding OMS on input line 744.
|
|
\macc@depth=\count190
|
|
\c@MaxMatrixCols=\count191
|
|
\dotsspace@=\muskip16
|
|
\c@parentequation=\count192
|
|
\dspbrk@lvl=\count193
|
|
\tag@help=\toks17
|
|
\row@=\count194
|
|
\column@=\count195
|
|
\maxfields@=\count196
|
|
\andhelp@=\toks18
|
|
\eqnshift@=\dimen143
|
|
\alignsep@=\dimen144
|
|
\tagshift@=\dimen145
|
|
\tagwidth@=\dimen146
|
|
\totwidth@=\dimen147
|
|
\lineht@=\dimen148
|
|
\@envbody=\toks19
|
|
\multlinegap=\skip49
|
|
\multlinetaggap=\skip50
|
|
\mathdisplay@stack=\toks20
|
|
LaTeX Info: Redefining \[ on input line 2938.
|
|
LaTeX Info: Redefining \] on input line 2939.
|
|
)
|
|
LaTeX Font Info: Trying to load font information for U+msa on input line 397
|
|
.
|
|
|
|
(/usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/umsa.fd
|
|
File: umsa.fd 2013/01/14 v3.01 AMS symbols A
|
|
)
|
|
(/usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/amsfonts.sty
|
|
Package: amsfonts 2013/01/14 v3.01 Basic AMSFonts support
|
|
\symAMSa=\mathgroup4
|
|
\symAMSb=\mathgroup5
|
|
LaTeX Font Info: Redeclaring math symbol \hbar on input line 98.
|
|
LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold'
|
|
(Font) U/euf/m/n --> U/euf/b/n on input line 106.
|
|
)
|
|
\copyins=\insert199
|
|
\abstractbox=\box52
|
|
\listisep=\skip51
|
|
\c@part=\count197
|
|
\c@section=\count198
|
|
\c@subsection=\count266
|
|
\c@subsubsection=\count267
|
|
\c@paragraph=\count268
|
|
\c@subparagraph=\count269
|
|
\c@figure=\count270
|
|
\c@table=\count271
|
|
\abovecaptionskip=\skip52
|
|
\belowcaptionskip=\skip53
|
|
\captionindent=\dimen149
|
|
\thm@style=\toks21
|
|
\thm@bodyfont=\toks22
|
|
\thm@headfont=\toks23
|
|
\thm@notefont=\toks24
|
|
\thm@headpunct=\toks25
|
|
\thm@preskip=\skip54
|
|
\thm@postskip=\skip55
|
|
\thm@headsep=\skip56
|
|
\dth@everypar=\toks26
|
|
)
|
|
(/usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/amssymb.sty
|
|
Package: amssymb 2013/01/14 v3.01 AMS font symbols
|
|
)
|
|
(/usr/local/texlive/2022/texmf-dist/tex/latex/graphics/graphicx.sty
|
|
Package: graphicx 2021/09/16 v1.2d Enhanced LaTeX Graphics (DPC,SPQR)
|
|
|
|
(/usr/local/texlive/2022/texmf-dist/tex/latex/graphics/keyval.sty
|
|
Package: keyval 2014/10/28 v1.15 key=value parser (DPC)
|
|
\KV@toks@=\toks27
|
|
)
|
|
(/usr/local/texlive/2022/texmf-dist/tex/latex/graphics/graphics.sty
|
|
Package: graphics 2021/03/04 v1.4d Standard LaTeX Graphics (DPC,SPQR)
|
|
|
|
(/usr/local/texlive/2022/texmf-dist/tex/latex/graphics/trig.sty
|
|
Package: trig 2021/08/11 v1.11 sin cos tan (DPC)
|
|
)
|
|
(/usr/local/texlive/2022/texmf-dist/tex/latex/graphics-cfg/graphics.cfg
|
|
File: graphics.cfg 2016/06/04 v1.11 sample graphics configuration
|
|
)
|
|
Package graphics Info: Driver file: pdftex.def on input line 107.
|
|
|
|
(/usr/local/texlive/2022/texmf-dist/tex/latex/graphics-def/pdftex.def
|
|
File: pdftex.def 2020/10/05 v1.2a Graphics/color driver for pdftex
|
|
))
|
|
\Gin@req@height=\dimen150
|
|
\Gin@req@width=\dimen151
|
|
)
|
|
\c@theorem=\count272
|
|
|
|
(/usr/local/texlive/2022/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def
|
|
File: l3backend-pdftex.def 2022-02-07 L3 backend support: PDF output (pdfTeX)
|
|
\l__color_backend_stack_int=\count273
|
|
\l__pdf_internal_box=\box53
|
|
)
|
|
(./paper.aux)
|
|
\openout1 = `paper.aux'.
|
|
|
|
LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 27.
|
|
LaTeX Font Info: ... okay on input line 27.
|
|
LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 27.
|
|
LaTeX Font Info: ... okay on input line 27.
|
|
LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 27.
|
|
LaTeX Font Info: ... okay on input line 27.
|
|
LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 27.
|
|
LaTeX Font Info: ... okay on input line 27.
|
|
LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 27.
|
|
LaTeX Font Info: ... okay on input line 27.
|
|
LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 27.
|
|
LaTeX Font Info: ... okay on input line 27.
|
|
LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 27.
|
|
LaTeX Font Info: ... okay on input line 27.
|
|
LaTeX Font Info: Trying to load font information for U+msa on input line 27.
|
|
|
|
(/usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/umsa.fd
|
|
File: umsa.fd 2013/01/14 v3.01 AMS symbols A
|
|
)
|
|
LaTeX Font Info: Trying to load font information for U+msb on input line 27.
|
|
|
|
|
|
(/usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/umsb.fd
|
|
File: umsb.fd 2013/01/14 v3.01 AMS symbols B
|
|
)
|
|
(/usr/local/texlive/2022/texmf-dist/tex/context/base/mkii/supp-pdf.mkii
|
|
[Loading MPS to PDF converter (version 2006.09.02).]
|
|
\scratchcounter=\count274
|
|
\scratchdimen=\dimen152
|
|
\scratchbox=\box54
|
|
\nofMPsegments=\count275
|
|
\nofMParguments=\count276
|
|
\everyMPshowfont=\toks28
|
|
\MPscratchCnt=\count277
|
|
\MPscratchDim=\dimen153
|
|
\MPnumerator=\count278
|
|
\makeMPintoPDFobject=\count279
|
|
\everyMPtoPDFconversion=\toks29
|
|
) (/usr/local/texlive/2022/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty
|
|
Package: epstopdf-base 2020-01-24 v2.11 Base part for package epstopdf
|
|
Package epstopdf-base Info: Redefining graphics rule for `.eps' on input line 4
|
|
85.
|
|
|
|
(/usr/local/texlive/2022/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg
|
|
File: epstopdf-sys.cfg 2010/07/13 v1.3 Configuration of (r)epstopdf for TeX Liv
|
|
e
|
|
))
|
|
[1{/usr/local/texlive/2022/texmf-var/fonts/map/pdftex/updmap/pdftex.map}]
|
|
[2] [3]
|
|
Overfull \hbox (41.917pt too wide) in paragraph at lines 257--259
|
|
[]\OT1/cmr/m/n/10 List the five degree-$2$ ver-tices in clock-wise or-der aroun
|
|
d $\OML/cmm/m/it/10 F$ \OT1/cmr/m/n/10 as $\OML/cmm/m/it/10 A \OT1/cmr/m/n/10 =
|
|
(\OML/cmm/m/it/10 A[]; A[]; A[]; A[]; A[]\OT1/cmr/m/n/10 )$.
|
|
[]
|
|
|
|
<fig_reduced_dual_step1.png, id=31, 517.79329pt x 499.08812pt>
|
|
File: fig_reduced_dual_step1.png Graphic file (type png)
|
|
<use fig_reduced_dual_step1.png>
|
|
Package pdftex.def Info: fig_reduced_dual_step1.png used on input line 277.
|
|
(pdftex.def) Requested size: 172.79846pt x 166.55775pt.
|
|
<fig_reduced_dual_step2.png, id=33, 490.16064pt x 483.35876pt>
|
|
File: fig_reduced_dual_step2.png Graphic file (type png)
|
|
<use fig_reduced_dual_step2.png>
|
|
Package pdftex.def Info: fig_reduced_dual_step2.png used on input line 278.
|
|
(pdftex.def) Requested size: 172.79846pt x 170.39505pt.
|
|
<fig_reduced_dual_step3.png, id=34, 490.16064pt x 483.35876pt>
|
|
File: fig_reduced_dual_step3.png Graphic file (type png)
|
|
<use fig_reduced_dual_step3.png>
|
|
Package pdftex.def Info: fig_reduced_dual_step3.png used on input line 279.
|
|
(pdftex.def) Requested size: 172.79846pt x 170.39505pt.
|
|
<fig_reduced_dual_step4.png, id=35, 490.16064pt x 486.3346pt>
|
|
File: fig_reduced_dual_step4.png Graphic file (type png)
|
|
<use fig_reduced_dual_step4.png>
|
|
Package pdftex.def Info: fig_reduced_dual_step4.png used on input line 280.
|
|
(pdftex.def) Requested size: 172.79846pt x 171.44409pt.
|
|
|
|
LaTeX Warning: `h' float specifier changed to `ht'.
|
|
|
|
[4] [5 <./fig_reduced_dual_step1.png> <./fig_reduced_dual_step2.png> <./fig_red
|
|
uced_dual_step3.png> <./fig_reduced_dual_step4.png>]
|
|
<fig_chord_apex_step1.png, id=46, 505.03976pt x 502.06393pt>
|
|
File: fig_chord_apex_step1.png Graphic file (type png)
|
|
<use fig_chord_apex_step1.png>
|
|
Package pdftex.def Info: fig_chord_apex_step1.png used on input line 401.
|
|
(pdftex.def) Requested size: 251.9989pt x 250.5104pt.
|
|
<fig_chord_apex_step2.png, id=47, 490.16064pt x 499.51323pt>
|
|
File: fig_chord_apex_step2.png Graphic file (type png)
|
|
<use fig_chord_apex_step2.png>
|
|
Package pdftex.def Info: fig_chord_apex_step2.png used on input line 402.
|
|
(pdftex.def) Requested size: 172.79846pt x 176.08986pt.
|
|
<fig_chord_apex_step3.png, id=48, 490.16064pt x 499.51323pt>
|
|
File: fig_chord_apex_step3.png Graphic file (type png)
|
|
<use fig_chord_apex_step3.png>
|
|
Package pdftex.def Info: fig_chord_apex_step3.png used on input line 403.
|
|
(pdftex.def) Requested size: 172.79846pt x 176.08986pt.
|
|
|
|
|
|
LaTeX Warning: `h' float specifier changed to `ht'.
|
|
|
|
[6] [7 <./fig_chord_apex_step1.png> <./fig_chord_apex_step2.png> <./fig_chord_a
|
|
pex_step3.png>] [8]
|
|
<fig_cubic_edge_contraction.png, id=62, 950.752pt x 203.159pt>
|
|
File: fig_cubic_edge_contraction.png Graphic file (type png)
|
|
<use fig_cubic_edge_contraction.png>
|
|
Package pdftex.def Info: fig_cubic_edge_contraction.png used on input line 546
|
|
.
|
|
(pdftex.def) Requested size: 341.9989pt x 73.08138pt.
|
|
[9 <./fig_cubic_edge_contraction.png>]
|
|
<fig_thm_cubic_contraction_4face.png, id=67, 916.223pt x 417.56pt>
|
|
File: fig_thm_cubic_contraction_4face.png Graphic file (type png)
|
|
<use fig_thm_cubic_contraction_4face.png>
|
|
Package pdftex.def Info: fig_thm_cubic_contraction_4face.png used on input lin
|
|
e 621.
|
|
(pdftex.def) Requested size: 352.79846pt x 160.78339pt.
|
|
[10 <./fig_thm_cubic_contraction_4face.png>]
|
|
<fig_lemma_kempe_heawood.png, id=72, 916.223pt x 360.9485pt>
|
|
File: fig_lemma_kempe_heawood.png Graphic file (type png)
|
|
<use fig_lemma_kempe_heawood.png>
|
|
Package pdftex.def Info: fig_lemma_kempe_heawood.png used on input line 728.
|
|
(pdftex.def) Requested size: 352.79846pt x 138.98488pt.
|
|
|
|
|
|
LaTeX Warning: `h' float specifier changed to `ht'.
|
|
|
|
[11] [12 <./fig_lemma_kempe_heawood.png>]
|
|
Overfull \hbox (67.56044pt too wide) in paragraph at lines 851--861
|
|
\OT1/cmr/m/n/10 and the ex-haus-tive search that found it is in \OT1/cmtt/m/n/1
|
|
0 experiments/search[]min[]face5[]counterexample.py\OT1/cmr/m/n/10 .
|
|
[]
|
|
|
|
LaTeX Font Info: Trying to load font information for OMS+cmtt on input line
|
|
873.
|
|
LaTeX Font Info: No file OMScmtt.fd. on input line 873.
|
|
|
|
LaTeX Font Warning: Font shape `OMS/cmtt/m/n' undefined
|
|
(Font) using `OMS/cmsy/m/n' instead
|
|
(Font) for symbol `textbraceright' on input line 873.
|
|
|
|
<figures/min-face-5-counterexample.png, id=80, 715.473pt x 715.473pt>
|
|
File: figures/min-face-5-counterexample.png Graphic file (type png)
|
|
<use figures/min-face-5-counterexample.png>
|
|
Package pdftex.def Info: figures/min-face-5-counterexample.png used on input l
|
|
ine 883.
|
|
(pdftex.def) Requested size: 251.9989pt x 251.99138pt.
|
|
|
|
LaTeX Warning: `h' float specifier changed to `ht'.
|
|
|
|
[13] [14 <./figures/min-face-5-counterexample.png>] [15]
|
|
Overfull \hbox (15.85718pt too wide) detected at line 1072
|
|
\OML/cmm/m/it/10 @F[] \OMS/cmsy/m/n/10 ^^R \OML/cmm/m/it/10 V\OT1/cmr/m/n/10
|
|
(\OML/cmm/m/it/10 K[]\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 [ \OML/cmm/m/it/10 V\OT
|
|
1/cmr/m/n/10 (\OML/cmm/m/it/10 K[]\OT1/cmr/m/n/10 ) [] []
|
|
[]
|
|
|
|
[16] [17]
|
|
Overfull \hbox (133.90562pt too wide) in paragraph at lines 1249--1257
|
|
\OT1/cmr/m/n/10 degree se-quence around $\OML/cmm/m/it/10 v$ \OT1/cmr/m/n/10 co
|
|
n-tains at least one degree-$5$ en-try (see \OT1/cmtt/m/n/10 experiments/check[
|
|
]v[]neighbour[]degrees.py\OT1/cmr/m/n/10 ).
|
|
[]
|
|
|
|
|
|
Overfull \hbox (86.1788pt too wide) in paragraph at lines 1269--1279
|
|
\OT1/cmr/bx/n/10 the chord-apex con-struc-tion). \OT1/cmr/m/n/10 Con-cretely (\
|
|
OT1/cmtt/m/n/10 experiments/check[]bad[]subcase[]deciding[]face.py\OT1/cmr/m/n/
|
|
10 ),
|
|
[]
|
|
|
|
|
|
Overfull \hbox (2.93471pt too wide) in paragraph at lines 1294--1296
|
|
\OT1/cmr/bx/n/10 Lemma 5.21 \OT1/cmr/m/n/10 (Par-tial proof of Con-jec-ture 5.2
|
|
0[] for small un-cov-ered set)\OT1/cmr/bx/n/10 . \OT1/cmr/m/it/10 If $\OMS/cmsy
|
|
/m/n/10 j\OML/cmm/m/it/10 V\OT1/cmr/m/n/10 ([]) \OMS/cmsy/m/n/10 n
|
|
[]
|
|
|
|
|
|
Overfull \hbox (4.00797pt too wide) in paragraph at lines 1312--1320
|
|
\OT1/cmtt/m/n/10 experiments/check[]S[]adjacency.py\OT1/cmr/m/n/10 , \OT1/cmtt/
|
|
m/n/10 experiments/check[]S[]face[]structure.py\OT1/cmr/m/n/10 )
|
|
[]
|
|
|
|
[18]
|
|
Overfull \hbox (12.19276pt too wide) in paragraph at lines 1324--1328
|
|
\OML/cmm/m/it/10 K[]; K[]$ \OT1/cmr/m/n/10 are the ``other'' Kempe cy-cles in t
|
|
he $\OMS/cmsy/m/n/10 f\OML/cmm/m/it/10 c; c[]\OMS/cmsy/m/n/10 g$\OT1/cmr/m/n/10
|
|
- and $\OMS/cmsy/m/n/10 f\OML/cmm/m/it/10 c; c[]\OMS/cmsy/m/n/10 g$\OT1/cmr/m/
|
|
n/10 -decompositions.
|
|
[]
|
|
|
|
|
|
Overfull \hbox (19.83406pt too wide) in paragraph at lines 1366--1372
|
|
\OT1/cmr/m/n/10 pentagon fall-back (Con-jec-ture 5.20[]) holds on $1[]314\OML/c
|
|
mm/m/it/10 =\OT1/cmr/m/n/10 1[]314 = 100%$ of chord-apex+Kempe
|
|
[]
|
|
|
|
|
|
Overfull \hbox (158.34045pt too wide) in paragraph at lines 1366--1372
|
|
\OT1/cmr/m/n/10 colour-ings on which the par-tial struc-tural proof leaves a ga
|
|
p (\OT1/cmtt/m/n/10 experiments/check[]gprime[]pentagon[]always[]works.py\OT1/c
|
|
mr/m/n/10 ).
|
|
[]
|
|
|
|
[19]
|
|
Overfull \hbox (68.54941pt too wide) in paragraph at lines 1452--1454
|
|
\OT1/cmr/m/n/10 (Every length ap-pear-ing is $\OMS/cmsy/m/n/10 6^^Q \OT1/cmr/m/
|
|
n/10 0([]3)$, as re-quired.) See \OT1/cmtt/m/n/10 experiments/check[]deciding[]
|
|
face.py\OT1/cmr/m/n/10 .
|
|
[]
|
|
|
|
|
|
Underfull \hbox (badness 1052) in paragraph at lines 1469--1480
|
|
\OT1/cmr/m/n/10 this claim com-pu-ta-tion-ally on all chord-apex+Kempe colour-i
|
|
ngs of re-duced
|
|
[]
|
|
|
|
|
|
Underfull \hbox (badness 3713) in paragraph at lines 1469--1480
|
|
\OT1/cmr/m/n/10 du-als with $\OMS/cmsy/m/n/10 j\OML/cmm/m/it/10 V\OT1/cmr/m/n/1
|
|
0 (\OML/cmm/m/it/10 G\OT1/cmr/m/n/10 )\OMS/cmsy/m/n/10 j ^^T \OT1/cmr/m/n/10 21
|
|
$; see \OT1/cmtt/m/n/10 experiments/check[]heawood[]on[]kempe.py\OT1/cmr/m/n/10
|
|
,
|
|
[]
|
|
|
|
|
|
Underfull \hbox (badness 10000) in paragraph at lines 1469--1480
|
|
\OT1/cmtt/m/n/10 experiments/check[]constancy[]obstruction.py\OT1/cmr/m/n/10 ,
|
|
and
|
|
[]
|
|
|
|
|
|
Overfull \hbox (45.67143pt too wide) in paragraph at lines 1483--1498
|
|
[]
|
|
[]
|
|
|
|
[20] [21]
|
|
Underfull \hbox (badness 1112) in paragraph at lines 1603--1610
|
|
\OT1/cmr/m/it/10 Remark \OT1/cmr/m/n/10 5.27\OT1/cmr/m/it/10 . \OT1/cmr/m/n/10
|
|
The strength-ened con-jec-ture was tested on the same chord-
|
|
[]
|
|
|
|
|
|
Underfull \hbox (badness 3492) in paragraph at lines 1603--1610
|
|
\OT1/cmr/m/n/10 apex+Kempe colour-ings as Re-mark 5.25[]; for each colour-ing w
|
|
e sought
|
|
[]
|
|
|
|
|
|
Underfull \hbox (badness 10000) in paragraph at lines 1603--1610
|
|
\OT1/cmr/m/n/10 any Conjecture-5.1[]-witness $(\OML/cmm/m/it/10 F; e[]; e[]\OT1
|
|
/cmr/m/n/10 )$ whose ac-com-pa-ny-ing $\OML/cmm/m/it/10 f[]$ \OT1/cmr/m/n/10 sa
|
|
t-is-fies
|
|
[]
|
|
|
|
|
|
Underfull \vbox (badness 4279) has occurred while \output is active []
|
|
|
|
[22]
|
|
[23] (./paper.aux)
|
|
|
|
LaTeX Font Warning: Some font shapes were not available, defaults substituted.
|
|
|
|
)
|
|
Here is how much of TeX's memory you used:
|
|
3174 strings out of 478268
|
|
45923 string characters out of 5846347
|
|
350679 words of memory out of 5000000
|
|
21190 multiletter control sequences out of 15000+600000
|
|
481842 words of font info for 75 fonts, out of 8000000 for 9000
|
|
1302 hyphenation exceptions out of 8191
|
|
69i,13n,76p,1047b,404s stack positions out of 10000i,1000n,20000p,200000b,200000s
|
|
</usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx10.pfb
|
|
></usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx8.pfb><
|
|
/usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx9.pfb></u
|
|
sr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmbxti10.pfb></
|
|
usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmcsc10.pfb></
|
|
usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmex10.pfb></u
|
|
sr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cmextra/cmex8.pfb>
|
|
</usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmitt10.pfb>
|
|
</usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb><
|
|
/usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi6.pfb></u
|
|
sr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi7.pfb></usr
|
|
/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi8.pfb></usr/l
|
|
ocal/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi9.pfb></usr/loc
|
|
al/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb></usr/local
|
|
/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmr5.pfb></usr/local/te
|
|
xlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmr6.pfb></usr/local/texli
|
|
ve/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmr7.pfb></usr/local/texlive/
|
|
2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmr8.pfb></usr/local/texlive/202
|
|
2/texmf-dist/fonts/type1/public/amsfonts/cm/cmr9.pfb></usr/local/texlive/2022/t
|
|
exmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb></usr/local/texlive/2022/te
|
|
xmf-dist/fonts/type1/public/amsfonts/cm/cmsy6.pfb></usr/local/texlive/2022/texm
|
|
f-dist/fonts/type1/public/amsfonts/cm/cmsy7.pfb></usr/local/texlive/2022/texmf-
|
|
dist/fonts/type1/public/amsfonts/cm/cmsy8.pfb></usr/local/texlive/2022/texmf-di
|
|
st/fonts/type1/public/amsfonts/cm/cmsy9.pfb></usr/local/texlive/2022/texmf-dist
|
|
/fonts/type1/public/amsfonts/cm/cmti10.pfb></usr/local/texlive/2022/texmf-dist/
|
|
fonts/type1/public/amsfonts/cm/cmti8.pfb></usr/local/texlive/2022/texmf-dist/fo
|
|
nts/type1/public/amsfonts/cm/cmtt10.pfb></usr/local/texlive/2022/texmf-dist/fon
|
|
ts/type1/public/amsfonts/cm/cmtt9.pfb></usr/local/texlive/2022/texmf-dist/fonts
|
|
/type1/public/amsfonts/symbols/msam10.pfb>
|
|
Output written on paper.pdf (23 pages, 1329304 bytes).
|
|
PDF statistics:
|
|
247 PDF objects out of 1000 (max. 8388607)
|
|
140 compressed objects within 2 object streams
|
|
0 named destinations out of 1000 (max. 500000)
|
|
56 words of extra memory for PDF output out of 10000 (max. 10000000)
|
|
|