didericis/math-research
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
Files
master
math-research/papers/face_monochromatic_pairs/paper.log
T
didericis 74030a5b8f face_mono: extend Conjecture 5.26 to n_G ≤ 22 
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>
2026-05-25 12:27:58 -04:00

453 lines
18 KiB
Plaintext
Raw Permalink Blame History

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)
Reference in New Issue View Git Blame Copy Permalink