Mock Version: 1.4.13
Mock Version: 1.4.13
ENTER ['do'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target riscv64 --nodeps /builddir/build/SPECS/metamath.spec'], chrootPath='/var/lib/mock/f29-build-33373-18085/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8'}shell=Falselogger=<mockbuild.trace_decorator.getLog object at 0x2002699b38>timeout=345600uid=996gid=135user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False)
Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target riscv64 --nodeps /builddir/build/SPECS/metamath.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8'} and shell False
Building target platforms: riscv64
Building for target riscv64
Wrote: /builddir/build/SRPMS/metamath-0.166-1.fc29.src.rpm
Child return code was: 0
ENTER ['do'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target riscv64 --nodeps /builddir/build/SPECS/metamath.spec'], chrootPath='/var/lib/mock/f29-build-33373-18085/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8'}shell=Falselogger=<mockbuild.trace_decorator.getLog object at 0x2002699b38>timeout=345600uid=996gid=135user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False)
Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target riscv64 --nodeps /builddir/build/SPECS/metamath.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8'} and shell False
Building target platforms: riscv64
Building for target riscv64
Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.74fBQu
+ umask 022
+ cd /builddir/build/BUILD
+ cd /builddir/build/BUILD
+ rm -rf metamath
+ /usr/bin/bzip2 -dc /builddir/build/SOURCES/metamath.tar.bz2
+ /usr/bin/tar -xof -
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ cd metamath
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w .
+ cp -p /builddir/build/SOURCES/metamath.tex .
+ rm metamath.exe
+ sed -i '/Try to optimize/,/^$/d' configure.ac
+ autoreconf -fi
BUILDSTDERR: configure.ac:13: installing './compile'
BUILDSTDERR: configure.ac:9: installing './install-sh'
BUILDSTDERR: configure.ac:9: installing './missing'
BUILDSTDERR: Makefile.am: installing './depcomp'
+ exit 0
Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.F2G0Dz
+ umask 022
+ cd /builddir/build/BUILD
+ cd metamath
+ CFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection'
+ export CFLAGS
+ CXXFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection'
+ export CXXFLAGS
+ FFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules'
+ export FFLAGS
+ FCFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules'
+ export FCFLAGS
+ LDFLAGS='-Wl,-z,relro   -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld'
+ export LDFLAGS
+ '[' 1 = 1 ']'
BUILDSTDERR: +++ dirname ./configure
BUILDSTDERR: ++ find . -name config.guess -o -name config.sub
+ '[' 1 = 1 ']'
+ '[' x '!=' 'x-Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld' ']'
BUILDSTDERR: ++ find . -name ltmain.sh
+ ./configure --build=riscv64-koji-linux-gnu --host=riscv64-koji-linux-gnu --program-prefix= --disable-dependency-tracking --prefix=/usr --exec-prefix=/usr --bindir=/usr/bin --sbindir=/usr/sbin --sysconfdir=/etc --datadir=/usr/share --includedir=/usr/include --libdir=/usr/lib64 --libexecdir=/usr/libexec --localstatedir=/var --sharedstatedir=/var/lib --mandir=/usr/share/man --infodir=/usr/share/info 'CFLAGS=-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fwrapv'
checking for a BSD-compatible install... /usr/bin/install -c
checking whether build environment is sane... yes
checking for a thread-safe mkdir -p... /usr/bin/mkdir -p
checking for gawk... gawk
checking whether make sets $(MAKE)... yes
checking whether make supports nested variables... yes
checking for riscv64-koji-linux-gnu-gcc... no
checking for gcc... gcc
checking whether the C compiler works... yes
checking for C compiler default output file name... a.out
checking for suffix of executables... 
checking whether we are cross compiling... no
checking for suffix of object files... o
checking whether we are using the GNU C compiler... yes
checking whether gcc accepts -g... yes
checking for gcc option to accept ISO C89... none needed
checking whether gcc understands -c and -o together... yes
checking whether make supports the include directive... yes (GNU style)
checking dependency style of gcc... none
checking how to run the C preprocessor... gcc -E
checking for grep that handles long lines and -e... /usr/bin/grep
checking for egrep... /usr/bin/grep -E
checking for ANSI C header files... yes
checking for sys/types.h... yes
checking for sys/stat.h... yes
checking for stdlib.h... yes
checking for string.h... yes
checking for memory.h... yes
checking for strings.h... yes
checking for inttypes.h... yes
checking for stdint.h... yes
checking for unistd.h... yes
checking limits.h usability... yes
checking limits.h presence... yes
checking for limits.h... yes
checking for stdlib.h... (cached) yes
checking for string.h... (cached) yes
checking for stdbool.h that conforms to C99... yes
checking for _Bool... yes
checking for size_t... yes
checking for stdlib.h... (cached) yes
checking for GNU libc compatible malloc... yes
checking for stdlib.h... (cached) yes
checking for GNU libc compatible realloc... yes
checking for strchr... yes
checking for strcspn... yes
checking for strstr... yes
checking for gcc warning flags... yes
checking for 'inline' support... yes
CFLAGS=-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fwrapv -Wall -Wextra
checking that generated files are newer than configure... done
configure: creating ./config.status
config.status: creating Makefile
config.status: creating config.h
config.status: executing depfiles commands
+ make -j4
make  all-am
make[1]: Entering directory '/builddir/build/BUILD/metamath'
gcc -DHAVE_CONFIG_H -I.    -DINLINE=inline -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fwrapv -Wall -Wextra -c -o metamath.o metamath.c
gcc -DHAVE_CONFIG_H -I.    -DINLINE=inline -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fwrapv -Wall -Wextra -c -o mmcmdl.o mmcmdl.c
gcc -DHAVE_CONFIG_H -I.    -DINLINE=inline -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fwrapv -Wall -Wextra -c -o mmcmds.o mmcmds.c
gcc -DHAVE_CONFIG_H -I.    -DINLINE=inline -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fwrapv -Wall -Wextra -c -o mmdata.o mmdata.c
BUILDSTDERR: mmdata.c: In function 'getContrib':
BUILDSTDERR: mmdata.c:3431:45: warning: comparison is always false due to limited range of data type [-Wtype-limits]
BUILDSTDERR:          (vstring)(reviseDateList[stmtNum])) == -1) {
BUILDSTDERR:                                              ^~
BUILDSTDERR: mmdata.c:3436:46: warning: comparison is always false due to limited range of data type [-Wtype-limits]
BUILDSTDERR:          (vstring)(shortenDateList[stmtNum])) == -1) {
BUILDSTDERR:                                               ^~
BUILDSTDERR: mmdata.c:3682:51: warning: comparison is always true due to limited range of data type [-Wtype-limits]
BUILDSTDERR:           && compareDates(contribDate, reviseDate) != -1)
BUILDSTDERR:                                                    ^~
BUILDSTDERR: mmdata.c:3684:52: warning: comparison is always true due to limited range of data type [-Wtype-limits]
BUILDSTDERR:           && compareDates(contribDate, shortenDate) != -1))) {
BUILDSTDERR:                                                     ^~
BUILDSTDERR: mmcmds.c: In function 'verifyMarkup':
BUILDSTDERR: mmcmds.c:4745:46: warning: comparison is always false due to limited range of data type [-Wtype-limits]
BUILDSTDERR:        if (compareDates(mostRecentDate, str1) == -1) {
BUILDSTDERR:                                               ^~
BUILDSTDERR: metamath.c: In function 'command':
BUILDSTDERR: metamath.c:1027:15: warning: ignoring return value of 'system', declared with attribute warn_unused_result [-Wunused-result]
BUILDSTDERR:          (void)system(str1);
BUILDSTDERR:                ^~~~~~~~~~~~
gcc -DHAVE_CONFIG_H -I.    -DINLINE=inline -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fwrapv -Wall -Wextra -c -o mmhlpa.o mmhlpa.c
gcc -DHAVE_CONFIG_H -I.    -DINLINE=inline -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fwrapv -Wall -Wextra -c -o mmhlpb.o mmhlpb.c
gcc -DHAVE_CONFIG_H -I.    -DINLINE=inline -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fwrapv -Wall -Wextra -c -o mminou.o mminou.c
gcc -DHAVE_CONFIG_H -I.    -DINLINE=inline -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fwrapv -Wall -Wextra -c -o mmmaci.o mmmaci.c
gcc -DHAVE_CONFIG_H -I.    -DINLINE=inline -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fwrapv -Wall -Wextra -c -o mmpars.o mmpars.c
gcc -DHAVE_CONFIG_H -I.    -DINLINE=inline -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fwrapv -Wall -Wextra -c -o mmpfas.o mmpfas.c
gcc -DHAVE_CONFIG_H -I.    -DINLINE=inline -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fwrapv -Wall -Wextra -c -o mmunif.o mmunif.c
gcc -DHAVE_CONFIG_H -I.    -DINLINE=inline -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fwrapv -Wall -Wextra -c -o mmutil.o mmutil.c
gcc -DHAVE_CONFIG_H -I.    -DINLINE=inline -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fwrapv -Wall -Wextra -c -o mmveri.o mmveri.c
gcc -DHAVE_CONFIG_H -I.    -DINLINE=inline -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fwrapv -Wall -Wextra -c -o mmvstr.o mmvstr.c
gcc -DHAVE_CONFIG_H -I.    -DINLINE=inline -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fwrapv -Wall -Wextra -c -o mmword.o mmword.c
gcc -DHAVE_CONFIG_H -I.    -DINLINE=inline -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fwrapv -Wall -Wextra -c -o mmwtex.o mmwtex.c
BUILDSTDERR: mmwtex.c: In function 'printTexComment':
BUILDSTDERR: mmwtex.c:2053:18: warning: comparison is always false due to limited range of data type [-Wtype-limits]
BUILDSTDERR:          if (mode == -1) { /* Math mode */
BUILDSTDERR:                   ^~
gcc -DINLINE=inline -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fwrapv -Wall -Wextra  -Wl,-z,relro   -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -o metamath metamath.o mmcmdl.o mmcmds.o mmdata.o mmhlpa.o mmhlpb.o mminou.o mmmaci.o mmpars.o mmpfas.o mmunif.o mmutil.o mmveri.o mmvstr.o mmword.o mmwtex.o   
make[1]: Leaving directory '/builddir/build/BUILD/metamath'
+ touch metamath.ind
+ pdflatex metamath
This is pdfTeX, Version 3.14159265-2.6-1.40.19 (TeX Live 2018) (preloaded format=pdflatex)
 restricted \write18 enabled.
BUILDSTDERR: kpathsea: Running mktexfmt pdflatex.fmt
BUILDSTDERR: mktexfmt: mktexfmt is using the following fmtutil.cnf files (in precedence order):
BUILDSTDERR: mktexfmt:   /usr/share/texlive/texmf-dist/web2c/fmtutil.cnf
BUILDSTDERR: mktexfmt: mktexfmt is using the following fmtutil.cnf file for writing changes:
BUILDSTDERR: mktexfmt:   /builddir/.texlive2018/texmf-config/web2c/fmtutil.cnf
BUILDSTDERR: mktexfmt [INFO]: writing formats under /builddir/.texlive2018/texmf-var/web2c
BUILDSTDERR: mktexfmt [INFO]: --- remaking pdflatex with pdftex
BUILDSTDERR: mktexfmt: running `pdftex -ini   -jobname=pdflatex -progname=pdflatex -translate-file=cp227.tcx *pdflatex.ini' ...
BUILDSTDERR: This is pdfTeX, Version 3.14159265-2.6-1.40.19 (TeX Live 2018) (INITEX)
BUILDSTDERR:  restricted \write18 enabled.
BUILDSTDERR:  (/usr/share/texlive/texmf-dist/web2c/cp227.tcx)
BUILDSTDERR: entering extended mode
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/pdflatex.ini
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/generic/tex-ini-files/pdftexconfig.tex)
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/latex.ltx
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/texsys.cfg)
BUILDSTDERR: ./texsys.aux found
BUILDSTDERR: \@currdir set to: ./.
BUILDSTDERR: Assuming \openin and \input 
BUILDSTDERR: have the same search path.
BUILDSTDERR: Defining UNIX/DOS style filename parser.
BUILDSTDERR: catcodes, registers, parameters,
BUILDSTDERR: LaTeX2e <2018-04-01> patch level 5
BUILDSTDERR: hacks, control, par, spacing, files, font encodings, lengths,
BUILDSTDERR: ====================================
BUILDSTDERR: Local config file fonttext.cfg used
BUILDSTDERR: ====================================
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/fonttext.cfg
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/fonttext.ltx
BUILDSTDERR: === Don't modify this file, use a .cfg file instead ===
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/omlenc.def)
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.def)
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/ot1enc.def)
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/omsenc.def)
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/t1cmr.fd)
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/ot1cmr.fd)
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/ot1cmss.fd)
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/ot1cmtt.fd)))
BUILDSTDERR: ====================================
BUILDSTDERR: Local config file fontmath.cfg used
BUILDSTDERR: ====================================
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/fontmath.cfg
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/fontmath.ltx
BUILDSTDERR: === Don't modify this file, use a .cfg file instead ===
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/omlcmm.fd)
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/omscmsy.fd)
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/omxcmex.fd)
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/ucmr.fd)))
BUILDSTDERR: ====================================
BUILDSTDERR: Local config file preload.cfg used
BUILDSTDERR: =====================================
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/preload.cfg
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/preload.ltx)) page nos., x-ref,
BUILDSTDERR: environments, center, verbatim, math definitions, boxes, title, sectioning,
BUILDSTDERR: contents, floats, footnotes, index, bibliography, output,
BUILDSTDERR: ===========================================
BUILDSTDERR: Local configuration file hyphen.cfg used
BUILDSTDERR: ===========================================
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/generic/babel/hyphen.cfg
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/generic/babel/switch.def)
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/generic/hyphen/hyphen.tex)
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/generic/hyphen/dumyhyph.tex)
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/generic/hyphen/zerohyph.tex))
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/utf8.def
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.dfu)
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/ot1enc.dfu)
BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/omsenc.dfu))
BUILDSTDERR:  ) )
BUILDSTDERR: Beginning to dump on file pdflatex.fmt
BUILDSTDERR:  (preloaded format=pdflatex 2018.11.25)
BUILDSTDERR: 5414 strings of total length 72245
BUILDSTDERR: 50402 memory locations dumped; current usage is 144&50156
BUILDSTDERR: 3742 multiletter control sequences
BUILDSTDERR: \font\nullfont=nullfont
BUILDSTDERR: \font\OMX/cmex/m/n/10=cmex10
BUILDSTDERR: \font\tenln=line10
BUILDSTDERR: \font\tenlnw=linew10
BUILDSTDERR: \font\tencirc=lcircle10
BUILDSTDERR: \font\tencircw=lcirclew10
BUILDSTDERR: \font\OT1/cmr/m/n/5=cmr5
BUILDSTDERR: \font\OT1/cmr/m/n/7=cmr7
BUILDSTDERR: \font\OT1/cmr/m/n/10=cmr10
BUILDSTDERR: \font\OML/cmm/m/it/5=cmmi5
BUILDSTDERR: \font\OML/cmm/m/it/7=cmmi7
BUILDSTDERR: \font\OML/cmm/m/it/10=cmmi10
BUILDSTDERR: \font\OMS/cmsy/m/n/5=cmsy5
BUILDSTDERR: \font\OMS/cmsy/m/n/7=cmsy7
BUILDSTDERR: \font\OMS/cmsy/m/n/10=cmsy10
BUILDSTDERR: 3633 words of font info for 14 preloaded fonts
BUILDSTDERR: 14 hyphenation exceptions
BUILDSTDERR: Hyphenation trie of length 6081 has 183 ops out of 35111
BUILDSTDERR:   2 for language 1
BUILDSTDERR:   181 for language 0
BUILDSTDERR: 0 words of pdfTeX memory
BUILDSTDERR: 0 indirect objects
BUILDSTDERR: No pages of output.
BUILDSTDERR: Transcript written on pdflatex.log.
BUILDSTDERR: mktexfmt [INFO]: /builddir/.texlive2018/texmf-var/web2c/pdftex/pdflatex.fmt installed.
BUILDSTDERR: mktexfmt [INFO]: Successfully rebuilt formats: 1
BUILDSTDERR: mktexfmt [INFO]: Not selected formats: 13
BUILDSTDERR: mktexfmt [INFO]: Total formats: 14
BUILDSTDERR: mktexfmt [INFO]: exiting with status 0
entering extended mode
(./metamath.tex
LaTeX2e <2018-04-01> patch level 5
Babel <3.17> and hyphenation patterns for 3 language(s) loaded.
LaTeX Warning: Writing file `./realref.sty'.
LaTeX Warning: Writing file `./metamath.bib'.
(/usr/share/texlive/texmf-dist/tex/latex/base/book.cls
Document Class: book 2014/09/29 v1.4h Standard LaTeX document class
(/usr/share/texlive/texmf-dist/tex/latex/base/leqno.clo)
(/usr/share/texlive/texmf-dist/tex/latex/base/bk10.clo))
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty
(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty
(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty))
(/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty)
(/usr/share/texlive/texmf-dist/tex/generic/ifxetex/ifxetex.sty)
(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/auxhook.sty)
(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/kvoptions.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def)
(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/hyperref.cfg)
(/usr/share/texlive/texmf-dist/tex/latex/url/url.sty))
Package hyperref Message: Driver (autodetected): hpdftex.
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def
(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty))
(./realref.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/anysize/anysize.sty
document style option `anysize' loaded
Michael Salzenberg, Thomas Esser, Dirk Hillbrecht
Version 1.0, Aug 13, 1994
)
Writing index file metamath.idx
No file metamath.aux.
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty
(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/gettitlestring.sty))
[1{/usr/share/texlive/texmf-dist/fonts/map/pdftex/updmap/pdftex.map}]
(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd)
(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd) [2] [3] [4] [5]
[6] [7]
LaTeX Warning: Citation `Barrow' on page viii undefined on input line 1047.
[8]
LaTeX Warning: Citation `Davis' on page ix undefined on input line 1072.
[9] [10] [11] [12]
Chapter 1.
LaTeX Warning: Citation `Davis' on page 1 undefined on input line 1203.
[1]
LaTeX Warning: Citation `Munkres' on page 2 undefined on input line 1288.
[2] [3]
LaTeX Warning: Citation `Whitehead' on page 4 undefined on input line 1351.
[4]
LaTeX Warning: Citation `Landau' on page 5 undefined on input line 1388.
LaTeX Warning: Citation `Guillen' on page 5 undefined on input line 1394.
LaTeX Warning: Citation `Rucker' on page 5 undefined on input line 1426.
[5] [6] [7]
LaTeX Warning: Citation `Solow' on page 8 undefined on input line 1546.
[8] [9] [10] [11]
LaTeX Warning: Citation `Davis' on page 12 undefined on input line 1765.
[12] [13]
LaTeX Warning: Citation `Edwards' on page 14 undefined on input line 1839.
LaTeX Warning: Citation `Davis' on page 14 undefined on input line 1847.
LaTeX Warning: Citation `Wang' on page 14 undefined on input line 1856.
LaTeX Warning: Citation `deMillo' on page 14 undefined on input line 1878.
[14]
LaTeX Warning: Citation `Mathias' on page 15 undefined on input line 1906.
LaTeX Warning: Citation `Moore' on page 15 undefined on input line 1922.
LaTeX Warning: Citation `Russell' on page 15 undefined on input line 1929.
LaTeX Warning: Citation `Davis' on page 15 undefined on input line 1934.
[15]
LaTeX Warning: Citation `deMillo' on page 16 undefined on input line 1981.
[16]
LaTeX Warning: Citation `Anderson' on page 17 undefined on input line 2015.
LaTeX Warning: Citation `MegillBunder' on page 17 undefined on input line 2015.
LaTeX Warning: Citation `Boolos' on page 17 undefined on input line 2017.
LaTeX Warning: Citation `Pavicic' on page 17 undefined on input line 2019.
LaTeX Warning: Citation `Tymoczko' on page 17 undefined on input line 2036.
LaTeX Warning: Citation `Enderton' on page 17 undefined on input line 2049.
LaTeX Warning: Citation `Curry' on page 17 undefined on input line 2049.
[17]
LaTeX Warning: Citation `Kline' on page 18 undefined on input line 2063.
LaTeX Warning: Citation `Klinel' on page 18 undefined on input line 2083.
[18] [19]
LaTeX Warning: Citation `Harrison' on page 20 undefined on input line 2178.
LaTeX Warning: Citation `Albers' on page 20 undefined on input line 2203.
[20]
LaTeX Warning: Citation `Tymoczko' on page 21 undefined on input line 2237.
LaTeX Warning: Citation `Swart' on page 21 undefined on input line 2249.
[21]
LaTeX Warning: Citation `deMillo' on page 22 undefined on input line 2282.
LaTeX Warning: Citation `deMillo' on page 22 undefined on input line 2289.
(/usr/share/texlive/texmf-dist/tex/latex/base/omscmr.fd)
LaTeX Warning: Citation `Stark' on page 22 undefined on input line 2305.
LaTeX Warning: Citation `Kramer' on page 22 undefined on input line 2308.
[22]
LaTeX Warning: Citation `Davis' on page 23 undefined on input line 2321.
LaTeX Warning: Citation `Enderton' on page 23 undefined on input line 2325.
LaTeX Warning: Citation `Enderton' on page 23 undefined on input line 2336.
LaTeX Warning: Citation `Courant' on page 23 undefined on input line 2346.
LaTeX Warning: Citation `Swart' on page 23 undefined on input line 2350.
LaTeX Warning: Citation `Davis' on page 23 undefined on input line 2352.
LaTeX Warning: Citation `PetersonI' on page 23 undefined on input line 2363.
LaTeX Warning: Citation `Szpiro' on page 23 undefined on input line 2364.
[23]
LaTeX Warning: Citation `Wolfram' on page 24 undefined on input line 2393.
LaTeX Font Warning: Font shape `OMS/cmtt/m/n' undefined
(Font)              using `OMS/cmsy/m/n' instead
(Font)              for symbol `textbraceleft' on input line 2422.
[24]
LaTeX Warning: Citation `Harrison-thesis' on page 25 undefined on input line 24
38.
LaTeX Warning: Citation `Tarski' on page 25 undefined on input line 2448.
LaTeX Warning: Citation `Chou' on page 25 undefined on input line 2458.
LaTeX Warning: Citation `Penrose' on page 25 undefined on input line 2462.
LaTeX Warning: Citation `Robinson' on page 25 undefined on input line 2472.
[25]
LaTeX Warning: Citation `Wos' on page 26 undefined on input line 2514.
[26]
LaTeX Warning: Citation `Wos' on page 27 undefined on input line 2543.
LaTeX Warning: Citation `Megill' on page 27 undefined on input line 2549.
LaTeX Warning: Citation `Bledsoe' on page 27 undefined on input line 2557.
[27]
LaTeX Warning: Citation `Harrison' on page 28 undefined on input line 2592.
[28]
LaTeX Warning: Citation `Kline' on page 29 undefined on input line 2691.
LaTeX Warning: Citation `Behnke' on page 29 undefined on input line 2692.
LaTeX Warning: Citation `Shoenfield' on page 29 undefined on input line 2700.
[29]
LaTeX Warning: Citation `Davis' on page 30 undefined on input line 2712.
LaTeX Warning: Citation `PM' on page 30 undefined on input line 2720.
LaTeX Warning: Citation `Hindley' on page 30 undefined on input line 2741.
LaTeX Warning: Citation `Kalman' on page 30 undefined on input line 2741.
LaTeX Warning: Citation `Meredith' on page 30 undefined on input line 2742.
LaTeX Warning: Citation `Peterson' on page 30 undefined on input line 2742.
LaTeX Warning: Citation `Megill' on page 30 undefined on input line 2750.
[30]
LaTeX Warning: Citation `Robinson' on page 31 undefined on input line 2762.
LaTeX Warning: Citation `Herrlich' on page 31 undefined on input line 2793.
LaTeX Warning: Citation `Blass' on page 31 undefined on input line 2793.
LaTeX Warning: Citation `Megill' on page 31 undefined on input line 2808.
LaTeX Warning: Citation `Monks' on page 31 undefined on input line 2810.
LaTeX Warning: Citation `Leblanc' on page 31 undefined on input line 2825.
[31] [32]
Chapter 2.
[33]
LaTeX Warning: Citation `Mendelson' on page 34 undefined on input line 2924.
LaTeX Warning: Citation `Mendelson' on page 34 undefined on input line 2927.
LaTeX Warning: Citation `Mendelson' on page 34 undefined on input line 2928.
[34] [35]
LaTeX Warning: Citation `Rucker' on page 36 undefined on input line 3065.
LaTeX Warning: Citation `Hofstadter' on page 36 undefined on input line 3066.
[36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50]
[51] [52] [53] [54]
Chapter 3.
LaTeX Warning: Citation `Barrow' on page 55 undefined on input line 4041.
[55] [56] [57]
LaTeX Warning: Citation `CAMeredith' on page 58 undefined on input line 4241.
[58] [59]
LaTeX Warning: Citation `Hamilton' on page 60 undefined on input line 4374.
[60] [61] [62] [63]
LaTeX Warning: Citation `Megill' on page 64 undefined on input line 4574.
[64] [65] [66] [67]
LaTeX Warning: Citation `Takeuti' on page 68 undefined on input line 5034.
LaTeX Warning: Citation `Quine' on page 68 undefined on input line 5035.
LaTeX Warning: Citation `Bell' on page 68 undefined on input line 5036.
LaTeX Warning: Citation `Enderton' on page 68 undefined on input line 5036.
[68] [69] [70] [71] [72] [73] [74] [75] [76] [77] [78] [79] [80] [81] [82]
[83]
LaTeX Warning: Citation `Enderton' on page 84 undefined on input line 6960.
[84] [85]
LaTeX Warning: Citation `Hamilton' on page 86 undefined on input line 7079.
[86] [87] [88] [89] [90]
Chapter 4.
LaTeX Warning: Citation `Russell2' on page 91 undefined on input line 7344.
[91]
LaTeX Warning: Citation `deMillo' on page 92 undefined on input line 7403.
[92] [93] [94] [95] [96] [97] [98] [99] [100] [101] [102] [103] [104]
LaTeX Warning: Citation `Nemeti' on page 105 undefined on input line 8313.
LaTeX Warning: Citation `Megill' on page 105 undefined on input line 8314.
LaTeX Warning: Citation `Megill' on page 105 undefined on input line 8321.
[105] [106] [107] [108] [109] [110] [111]
LaTeX Font Warning: Font shape `OMS/cmtt/bx/n' undefined
(Font)              using `OMS/cmtt/m/n' instead
(Font)              for symbol `textbraceleft' on input line 8761.
[112] [113] [114] [115] [116] [117] [118] [119] [120] [121] [122] [123]
LaTeX Warning: Citation `Behnke' on page 124 undefined on input line 9771.
[124]
LaTeX Warning: Citation `Nemesszeghy' on page 125 undefined on input line 9780.
LaTeX Warning: Citation `Lejewski' on page 125 undefined on input line 9796.
[125]
LaTeX Warning: Citation `Goodstein' on page 126 undefined on input line 9874.
LaTeX Warning: Citation `Robinsont' on page 126 undefined on input line 9883.
LaTeX Warning: Citation `Quine' on page 126 undefined on input line 9902.
[126] [127] [128]
Chapter 5.
[129] [130] [131] [132] [133] [134] [135] [136] [137] [138] [139] [140]
[141] [142] [143] [144] [145] [146] [147] [148] [149] [150] [151] [152]
[153] [154]
Appendix A.
[155] [156] [157] [158]
Appendix B.
[159] [160]
Appendix C.
LaTeX Warning: Citation `Campbell' on page 161 undefined on input line 12284.
LaTeX Warning: Citation `Munkres' on page 161 undefined on input line 12298.
LaTeX Warning: Citation `Tarski1965' on page 161 undefined on input line 12315.
[161] [162] [163]
LaTeX Warning: Citation `Nemeti' on page 164 undefined on input line 12502.
[164] [165] [166]
LaTeX Warning: Citation `Tarski1965' on page 167 undefined on input line 12723.
LaTeX Warning: Citation `Tarski1965' on page 167 undefined on input line 12724.
(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/ueuf.fd)
LaTeX Warning: Citation `Tarski1965' on page 167 undefined on input line 12776.
[167] [168] [169]
LaTeX Warning: Citation `Tarski1965' on page 170 undefined on input line 12931.
[170]
LaTeX Warning: Citation `Kalish' on page 171 undefined on input line 12991.
LaTeX Warning: Citation `Megill' on page 171 undefined on input line 13004.
LaTeX Warning: Citation `Megill' on page 171 undefined on input line 13013.
[171] [172] [173]
LaTeX Warning: Citation `Takeuti' on page 174 undefined on input line 13252.
LaTeX Warning: Citation `Quine' on page 174 undefined on input line 13253.
[174] [175] [176]
Appendix D.
[177] [178]
LaTeX Warning: Citation `Hofstadter' on page 179 undefined on input line 13530.
[179] [180]
No file metamath.bbl.
(./metamath.ind) (./metamath.aux)
Package rerunfilecheck Warning: File `metamath.out' has changed.
(rerunfilecheck)                Rerun to get outlines right
(rerunfilecheck)                or use package `bookmark'.
LaTeX Font Warning: Some font shapes were not available, defaults substituted.
LaTeX Warning: There were undefined references.
LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right.
 )pdfTeX warning (dest): name{page.\\page@num.exampleref\040} has been referenc
ed but does not exist, replaced by a fixed one
pdfTeX warning (dest): name{page.\\page@num.frameconvert\040} has been referenc
ed but does not exist, replaced by a fixed one
pdfTeX warning (dest): name{page.\\page@num.tcomment\040} has been referenced b
ut does not exist, replaced by a fixed one
pdfTeX warning (dest): name{page.\\page@num.htmlmkup\040} has been referenced b
ut does not exist, replaced by a fixed one
pdfTeX warning (dest): name{page.\\page@num.framelist\040} has been referenced 
but does not exist, replaced by a fixed one
pdfTeX warning (dest): name{page.\\page@num.redeclaration\040} has been referen
ced but does not exist, replaced by a fixed one
pdfTeX warning (dest): name{page.\\page@num.spec1chars\040} has been referenced
 but does not exist, replaced by a fixed one
pdfTeX warning (dest): name{page.\\page@num.redeclarationf\040} has been refere
nced but does not exist, replaced by a fixed one
pdfTeX warning (dest): name{page.\\page@num.mathcomments\040} has been referenc
ed but does not exist, replaced by a fixed one
pdfTeX warning (dest): name{page.\\page@num.tut1\040} has been referenced but d
oes not exist, replaced by a fixed one
pdfTeX warning (dest): name{page.\\page@num.ax1\040} has been referenced but do
es not exist, replaced by a fixed one
pdfTeX warning (dest): name{page.\\page@num.dfbr\040} has been referenced but d
oes not exist, replaced by a fixed one
pdfTeX warning (dest): name{page.\\page@num.dfopr\040} has been referenced but 
does not exist, replaced by a fixed one
pdfTeX warning (dest): name{page.\\page@num.effectivelybound\040} has been refe
renced but does not exist, replaced by a fixed one
pdfTeX warning (dest): name{page.\\page@num.expandom\040} has been referenced b
ut does not exist, replaced by a fixed one
pdfTeX warning (dest): name{page.\\page@num.dfom\040} has been referenced but d
oes not exist, replaced by a fixed one
pdfTeX warning (dest): name{page.\\page@num.dfclel\040} has been referenced but
 does not exist, replaced by a fixed one
pdfTeX warning (dest): name{page.\\page@num.dollardollar\040} has been referenc
ed but does not exist, replaced by a fixed one
pdfTeX warning (dest): name{page.\\page@num.zeroproof\040} has been referenced 
but does not exist, replaced by a fixed one
pdfTeX warning (dest): name{page.\\page@num.treeproof\040} has been referenced 
but does not exist, replaced by a fixed one
pdfTeX warning (dest): name{page.\\page@num.includef\040} has been referenced b
ut does not exist, replaced by a fixed one
pdfTeX warning (dest): name{page.\\page@num.demo0\040} has been referenced but 
does not exist, replaced by a fixed one
pdfTeX warning (dest): name{page.\\page@num.demoproof\040} has been referenced 
but does not exist, replaced by a fixed one
pdfTeX warning (dest): name{page.\\page@num.nodd\040} has been referenced but d
oes not exist, replaced by a fixed one
pdfTeX warning (dest): name{page.\\page@num.envision\040} has been referenced b
ut does not exist, replaced by a fixed one
pdfTeX warning (dest): name{page.\\page@num.languagespec\040} has been referenc
ed but does not exist, replaced by a fixed one
pdfTeX warning (dest): name{page.\\page@num.using\040} has been referenced but 
does not exist, replaced by a fixed one
pdfTeX warning (dest): name{page.\\page@num.spec\040} has been referenced but d
oes not exist, replaced by a fixed one
pdfTeX warning (dest): name{page.\\page@num.poincare\040} has been referenced b
ut does not exist, replaced by a fixed one
pdfTeX warning (dest): name{page.\\page@num.namespace\040} has been referenced 
but does not exist, replaced by a fixed one
pdfTeX warning (dest): name{page.\\page@num.categoryth\040} has been referenced
 but does not exist, replaced by a fixed one
pdfTeX warning (dest): name{page.\\page@num.bourbaki\040} has been referenced b
ut does not exist, replaced by a fixed one
</usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx10.pfb></usr/
share/texlive/texmf-dist/fonts/type1/public/amsfonts/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/cmcsc10.pfb></usr/share/texlive/texm
f-dist/fonts/type1/public/amsfonts/cm/cmex10.pfb></usr/share/texlive/texmf-dist
/fonts/type1/public/amsfonts/cmextra/cmex8.pfb></usr/share/texlive/texmf-dist/f
onts/type1/public/amsfonts/cm/cmitt10.pfb></usr/share/texlive/texmf-dist/fonts/
type1/public/amsfonts/cm/cmmi10.pfb></usr/share/texlive/texmf-dist/fonts/type1/
public/amsfonts/cm/cmmi6.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/
amsfonts/cm/cmmi7.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfont
s/cm/cmmi8.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cm
r10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr12.pfb
></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr6.pfb></usr/s
hare/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr7.pfb></usr/share/tex
live/texmf-dist/fonts/type1/public/amsfonts/cm/cmr8.pfb></usr/share/texlive/tex
mf-dist/fonts/type1/public/amsfonts/cm/cmr9.pfb></usr/share/texlive/texmf-dist/
fonts/type1/public/amsfonts/cm/cmsl10.pfb></usr/share/texlive/texmf-dist/fonts/
type1/public/amsfonts/cm/cmsl8.pfb></usr/share/texlive/texmf-dist/fonts/type1/p
ublic/amsfonts/cm/cmsy10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/
amsfonts/cm/cmsy6.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfont
s/cm/cmsy7.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cm
sy8.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmti10.pf
b></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmti8.pfb></usr
/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt10.pfb></usr/share
/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt12.pfb></usr/share/texli
ve/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt8.pfb></usr/share/texlive/texm
f-dist/fonts/type1/public/amsfonts/euler/eufm10.pfb></usr/share/texlive/texmf-d
ist/fonts/type1/public/amsfonts/symbols/msam10.pfb></usr/share/texlive/texmf-di
st/fonts/type1/public/amsfonts/symbols/msbm10.pfb>
Output written on metamath.pdf (192 pages, 905123 bytes).
Transcript written on metamath.log.
+ pdflatex metamath
This is pdfTeX, Version 3.14159265-2.6-1.40.19 (TeX Live 2018) (preloaded format=pdflatex)
 restricted \write18 enabled.
entering extended mode
(./metamath.tex
LaTeX2e <2018-04-01> patch level 5
Babel <3.17> and hyphenation patterns for 3 language(s) loaded.
LaTeX Warning: File `realref.sty' already exists on the system.
               Not generating it from this source.
LaTeX Warning: File `metamath.bib' already exists on the system.
               Not generating it from this source.
(/usr/share/texlive/texmf-dist/tex/latex/base/book.cls
Document Class: book 2014/09/29 v1.4h Standard LaTeX document class
(/usr/share/texlive/texmf-dist/tex/latex/base/leqno.clo)
(/usr/share/texlive/texmf-dist/tex/latex/base/bk10.clo))
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty
(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty
(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty))
(/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty)
(/usr/share/texlive/texmf-dist/tex/generic/ifxetex/ifxetex.sty)
(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/auxhook.sty)
(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/kvoptions.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def)
(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/hyperref.cfg)
(/usr/share/texlive/texmf-dist/tex/latex/url/url.sty))
Package hyperref Message: Driver (autodetected): hpdftex.
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def
(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty))
(./realref.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/anysize/anysize.sty
document style option `anysize' loaded
Michael Salzenberg, Thomas Esser, Dirk Hillbrecht
Version 1.0, Aug 13, 1994
)
Writing index file metamath.idx
(./metamath.aux) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty
(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/gettitlestring.sty))
(./metamath.out) (./metamath.out) [1{/usr/share/texlive/texmf-dist/fonts/map/pd
ftex/updmap/pdftex.map}]
(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd)
(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd) [2] (./metamath.toc
[3]
LaTeX Font Warning: Font shape `OMS/cmtt/m/n' undefined
(Font)              using `OMS/cmsy/m/n' instead
(Font)              for symbol `textbraceleft' on input line 88.
[4] [5]) [6] [7] [8] [9]
LaTeX Warning: Citation `Barrow' on page x undefined on input line 1047.
[10]
LaTeX Warning: Citation `Davis' on page xi undefined on input line 1072.
[11] [12] [13] [14]
Chapter 1.
LaTeX Warning: Citation `Davis' on page 1 undefined on input line 1203.
[1]
LaTeX Warning: Citation `Munkres' on page 2 undefined on input line 1288.
[2] [3]
LaTeX Warning: Citation `Whitehead' on page 4 undefined on input line 1351.
[4]
LaTeX Warning: Citation `Landau' on page 5 undefined on input line 1388.
LaTeX Warning: Citation `Guillen' on page 5 undefined on input line 1394.
LaTeX Warning: Citation `Rucker' on page 5 undefined on input line 1426.
[5] [6] [7]
LaTeX Warning: Citation `Solow' on page 8 undefined on input line 1546.
[8] [9] [10] [11]
LaTeX Warning: Citation `Davis' on page 12 undefined on input line 1765.
[12] [13]
LaTeX Warning: Citation `Edwards' on page 14 undefined on input line 1839.
LaTeX Warning: Citation `Davis' on page 14 undefined on input line 1847.
LaTeX Warning: Citation `Wang' on page 14 undefined on input line 1856.
LaTeX Warning: Citation `deMillo' on page 14 undefined on input line 1878.
[14]
LaTeX Warning: Citation `Mathias' on page 15 undefined on input line 1906.
LaTeX Warning: Citation `Moore' on page 15 undefined on input line 1922.
LaTeX Warning: Citation `Russell' on page 15 undefined on input line 1929.
LaTeX Warning: Citation `Davis' on page 15 undefined on input line 1934.
[15]
LaTeX Warning: Citation `deMillo' on page 16 undefined on input line 1981.
[16]
LaTeX Warning: Citation `Anderson' on page 17 undefined on input line 2015.
LaTeX Warning: Citation `MegillBunder' on page 17 undefined on input line 2015.
LaTeX Warning: Citation `Boolos' on page 17 undefined on input line 2017.
LaTeX Warning: Citation `Pavicic' on page 17 undefined on input line 2019.
LaTeX Warning: Citation `Tymoczko' on page 17 undefined on input line 2036.
LaTeX Warning: Citation `Enderton' on page 17 undefined on input line 2049.
LaTeX Warning: Citation `Curry' on page 17 undefined on input line 2049.
[17]
LaTeX Warning: Citation `Kline' on page 18 undefined on input line 2063.
LaTeX Warning: Citation `Klinel' on page 18 undefined on input line 2083.
[18] [19]
LaTeX Warning: Citation `Harrison' on page 20 undefined on input line 2178.
LaTeX Warning: Citation `Albers' on page 20 undefined on input line 2203.
[20]
LaTeX Warning: Citation `Tymoczko' on page 21 undefined on input line 2237.
LaTeX Warning: Citation `Swart' on page 21 undefined on input line 2249.
[21]
LaTeX Warning: Citation `deMillo' on page 22 undefined on input line 2282.
LaTeX Warning: Citation `deMillo' on page 22 undefined on input line 2289.
(/usr/share/texlive/texmf-dist/tex/latex/base/omscmr.fd)
LaTeX Warning: Citation `Stark' on page 22 undefined on input line 2305.
LaTeX Warning: Citation `Kramer' on page 22 undefined on input line 2308.
[22]
LaTeX Warning: Citation `Davis' on page 23 undefined on input line 2321.
LaTeX Warning: Citation `Enderton' on page 23 undefined on input line 2325.
LaTeX Warning: Citation `Enderton' on page 23 undefined on input line 2336.
LaTeX Warning: Citation `Courant' on page 23 undefined on input line 2346.
LaTeX Warning: Citation `Swart' on page 23 undefined on input line 2350.
LaTeX Warning: Citation `Davis' on page 23 undefined on input line 2352.
[23]
LaTeX Warning: Citation `PetersonI' on page 24 undefined on input line 2363.
LaTeX Warning: Citation `Szpiro' on page 24 undefined on input line 2364.
LaTeX Warning: Citation `Wolfram' on page 24 undefined on input line 2393.
[24]
LaTeX Warning: Citation `Harrison-thesis' on page 25 undefined on input line 24
38.
LaTeX Warning: Citation `Tarski' on page 25 undefined on input line 2448.
LaTeX Warning: Citation `Chou' on page 25 undefined on input line 2458.
LaTeX Warning: Citation `Penrose' on page 25 undefined on input line 2462.
[25]
LaTeX Warning: Citation `Robinson' on page 26 undefined on input line 2472.
LaTeX Warning: Citation `Wos' on page 26 undefined on input line 2514.
[26]
LaTeX Warning: Citation `Wos' on page 27 undefined on input line 2543.
LaTeX Warning: Citation `Megill' on page 27 undefined on input line 2549.
LaTeX Warning: Citation `Bledsoe' on page 27 undefined on input line 2557.
[27]
LaTeX Warning: Citation `Harrison' on page 28 undefined on input line 2592.
[28] [29]
LaTeX Warning: Citation `Kline' on page 30 undefined on input line 2691.
LaTeX Warning: Citation `Behnke' on page 30 undefined on input line 2692.
LaTeX Warning: Citation `Shoenfield' on page 30 undefined on input line 2700.
LaTeX Warning: Citation `Davis' on page 30 undefined on input line 2712.
LaTeX Warning: Citation `PM' on page 30 undefined on input line 2720.
[30]
LaTeX Warning: Citation `Hindley' on page 31 undefined on input line 2741.
LaTeX Warning: Citation `Kalman' on page 31 undefined on input line 2741.
LaTeX Warning: Citation `Meredith' on page 31 undefined on input line 2742.
LaTeX Warning: Citation `Peterson' on page 31 undefined on input line 2742.
LaTeX Warning: Citation `Megill' on page 31 undefined on input line 2750.
LaTeX Warning: Citation `Robinson' on page 31 undefined on input line 2762.
LaTeX Warning: Citation `Herrlich' on page 31 undefined on input line 2793.
LaTeX Warning: Citation `Blass' on page 31 undefined on input line 2793.
LaTeX Warning: Citation `Megill' on page 31 undefined on input line 2808.
LaTeX Warning: Citation `Monks' on page 31 undefined on input line 2810.
[31]
LaTeX Warning: Citation `Leblanc' on page 32 undefined on input line 2825.
[32]
Chapter 2.
[33]
LaTeX Warning: Citation `Mendelson' on page 34 undefined on input line 2924.
LaTeX Warning: Citation `Mendelson' on page 34 undefined on input line 2927.
LaTeX Warning: Citation `Mendelson' on page 34 undefined on input line 2928.
[34] [35]
LaTeX Warning: Citation `Rucker' on page 36 undefined on input line 3065.
LaTeX Warning: Citation `Hofstadter' on page 36 undefined on input line 3066.
[36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50]
[51] [52] [53] [54]
Chapter 3.
LaTeX Warning: Citation `Barrow' on page 55 undefined on input line 4041.
[55] [56] [57]
LaTeX Warning: Citation `CAMeredith' on page 58 undefined on input line 4241.
[58] [59]
LaTeX Warning: Citation `Hamilton' on page 60 undefined on input line 4374.
[60] [61] [62] [63]
LaTeX Warning: Citation `Megill' on page 64 undefined on input line 4574.
[64] [65] [66] [67]
LaTeX Warning: Citation `Takeuti' on page 68 undefined on input line 5034.
LaTeX Warning: Citation `Quine' on page 68 undefined on input line 5035.
LaTeX Warning: Citation `Bell' on page 68 undefined on input line 5036.
LaTeX Warning: Citation `Enderton' on page 68 undefined on input line 5036.
[68] [69] [70] [71] [72] [73] [74] [75] [76] [77] [78] [79] [80] [81] [82]
[83]
LaTeX Warning: Citation `Enderton' on page 84 undefined on input line 6960.
[84] [85]
LaTeX Warning: Citation `Hamilton' on page 86 undefined on input line 7079.
[86] [87] [88] [89] [90]
Chapter 4.
LaTeX Warning: Citation `Russell2' on page 91 undefined on input line 7344.
[91]
LaTeX Warning: Citation `deMillo' on page 92 undefined on input line 7403.
[92] [93] [94] [95] [96] [97] [98] [99] [100] [101] [102] [103] [104]
LaTeX Warning: Citation `Nemeti' on page 105 undefined on input line 8313.
LaTeX Warning: Citation `Megill' on page 105 undefined on input line 8314.
LaTeX Warning: Citation `Megill' on page 105 undefined on input line 8321.
[105] [106] [107] [108] [109] [110] [111]
LaTeX Font Warning: Font shape `OMS/cmtt/bx/n' undefined
(Font)              using `OMS/cmtt/m/n' instead
(Font)              for symbol `textbraceleft' on input line 8761.
[112] [113] [114] [115] [116] [117] [118] [119] [120] [121] [122] [123]
LaTeX Warning: Citation `Behnke' on page 124 undefined on input line 9771.
[124]
LaTeX Warning: Citation `Nemesszeghy' on page 125 undefined on input line 9780.
LaTeX Warning: Citation `Lejewski' on page 125 undefined on input line 9796.
[125]
LaTeX Warning: Citation `Goodstein' on page 126 undefined on input line 9874.
LaTeX Warning: Citation `Robinsont' on page 126 undefined on input line 9883.
LaTeX Warning: Citation `Quine' on page 126 undefined on input line 9902.
[126] [127] [128]
Chapter 5.
[129] [130] [131] [132] [133] [134] [135] [136] [137] [138] [139] [140]
[141] [142] [143] [144] [145] [146] [147] [148] [149] [150] [151] [152]
[153] [154]
Appendix A.
[155] [156] [157] [158]
Appendix B.
[159] [160]
Appendix C.
LaTeX Warning: Citation `Campbell' on page 161 undefined on input line 12284.
LaTeX Warning: Citation `Munkres' on page 161 undefined on input line 12298.
LaTeX Warning: Citation `Tarski1965' on page 161 undefined on input line 12315.
[161] [162] [163]
LaTeX Warning: Citation `Nemeti' on page 164 undefined on input line 12502.
[164] [165] [166]
LaTeX Warning: Citation `Tarski1965' on page 167 undefined on input line 12723.
LaTeX Warning: Citation `Tarski1965' on page 167 undefined on input line 12724.
[167] (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/ueuf.fd)
LaTeX Warning: Citation `Tarski1965' on page 168 undefined on input line 12776.
[168] [169]
LaTeX Warning: Citation `Tarski1965' on page 170 undefined on input line 12931.
[170]
LaTeX Warning: Citation `Kalish' on page 171 undefined on input line 12991.
LaTeX Warning: Citation `Megill' on page 171 undefined on input line 13004.
LaTeX Warning: Citation `Megill' on page 171 undefined on input line 13013.
[171] [172] [173]
LaTeX Warning: Citation `Takeuti' on page 174 undefined on input line 13252.
LaTeX Warning: Citation `Quine' on page 174 undefined on input line 13253.
[174] [175] [176]
Appendix D.
[177] [178]
LaTeX Warning: Citation `Hofstadter' on page 179 undefined on input line 13530.
[179] [180]
No file metamath.bbl.
(./metamath.ind) (./metamath.aux)
LaTeX Font Warning: Some font shapes were not available, defaults substituted.
LaTeX Warning: There were undefined references.
LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right.
 )</usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx10.pfb></us
r/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx12.pfb></usr/shar
e/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx8.pfb></usr/share/texli
ve/texmf-dist/fonts/type1/public/amsfonts/cm/cmcsc10.pfb></usr/share/texlive/te
xmf-dist/fonts/type1/public/amsfonts/cm/cmex10.pfb></usr/share/texlive/texmf-di
st/fonts/type1/public/amsfonts/cmextra/cmex8.pfb></usr/share/texlive/texmf-dist
/fonts/type1/public/amsfonts/cm/cmitt10.pfb></usr/share/texlive/texmf-dist/font
s/type1/public/amsfonts/cm/cmmi10.pfb></usr/share/texlive/texmf-dist/fonts/type
1/public/amsfonts/cm/cmmi6.pfb></usr/share/texlive/texmf-dist/fonts/type1/publi
c/amsfonts/cm/cmmi7.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfo
nts/cm/cmmi8.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/
cmr10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr12.p
fb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr6.pfb></usr
/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr7.pfb></usr/share/t
exlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr8.pfb></usr/share/texlive/t
exmf-dist/fonts/type1/public/amsfonts/cm/cmr9.pfb></usr/share/texlive/texmf-dis
t/fonts/type1/public/amsfonts/cm/cmsl10.pfb></usr/share/texlive/texmf-dist/font
s/type1/public/amsfonts/cm/cmsl8.pfb></usr/share/texlive/texmf-dist/fonts/type1
/public/amsfonts/cm/cmsy10.pfb></usr/share/texlive/texmf-dist/fonts/type1/publi
c/amsfonts/cm/cmsy6.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfo
nts/cm/cmsy7.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/
cmsy8.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmti10.
pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmti8.pfb></u
sr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt10.pfb></usr/sha
re/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt12.pfb></usr/share/tex
live/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt8.pfb></usr/share/texlive/te
xmf-dist/fonts/type1/public/amsfonts/euler/eufm10.pfb></usr/share/texlive/texmf
-dist/fonts/type1/public/amsfonts/symbols/msam10.pfb></usr/share/texlive/texmf-
dist/fonts/type1/public/amsfonts/symbols/msbm10.pfb>
Output written on metamath.pdf (194 pages, 925035 bytes).
Transcript written on metamath.log.
+ bibtex metamath
This is BibTeX, Version 0.99d (TeX Live 2018)
The top-level auxiliary file: metamath.aux
The style file: plain.bst
Database file #1: metamath.bib
+ makeindex metamath.idx
BUILDSTDERR: This is makeindex, version 2.15 [TeX Live 2018] (kpathsea + Thai support).
BUILDSTDERR: Scanning input file metamath.idx.....done (1495 entries accepted, 0 rejected).
BUILDSTDERR: Sorting entries...............done (17619 comparisons).
BUILDSTDERR: Generating output file metamath.ind.....done (853 lines written, 0 warnings).
BUILDSTDERR: Output written in metamath.ind.
BUILDSTDERR: Transcript written in metamath.ilg.
+ pdflatex metamath
This is pdfTeX, Version 3.14159265-2.6-1.40.19 (TeX Live 2018) (preloaded format=pdflatex)
 restricted \write18 enabled.
entering extended mode
(./metamath.tex
LaTeX2e <2018-04-01> patch level 5
Babel <3.17> and hyphenation patterns for 3 language(s) loaded.
LaTeX Warning: File `realref.sty' already exists on the system.
               Not generating it from this source.
LaTeX Warning: File `metamath.bib' already exists on the system.
               Not generating it from this source.
(/usr/share/texlive/texmf-dist/tex/latex/base/book.cls
Document Class: book 2014/09/29 v1.4h Standard LaTeX document class
(/usr/share/texlive/texmf-dist/tex/latex/base/leqno.clo)
(/usr/share/texlive/texmf-dist/tex/latex/base/bk10.clo))
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty
(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty
(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty))
(/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty)
(/usr/share/texlive/texmf-dist/tex/generic/ifxetex/ifxetex.sty)
(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/auxhook.sty)
(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/kvoptions.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def)
(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/hyperref.cfg)
(/usr/share/texlive/texmf-dist/tex/latex/url/url.sty))
Package hyperref Message: Driver (autodetected): hpdftex.
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def
(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty))
(./realref.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/anysize/anysize.sty
document style option `anysize' loaded
Michael Salzenberg, Thomas Esser, Dirk Hillbrecht
Version 1.0, Aug 13, 1994
)
Writing index file metamath.idx
(./metamath.aux) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty
(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/gettitlestring.sty))
(./metamath.out) (./metamath.out) [1{/usr/share/texlive/texmf-dist/fonts/map/pd
ftex/updmap/pdftex.map}]
(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd)
(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd) [2] (./metamath.toc
[3]
LaTeX Font Warning: Font shape `OMS/cmtt/m/n' undefined
(Font)              using `OMS/cmsy/m/n' instead
(Font)              for symbol `textbraceleft' on input line 88.
[4] [5]) [6] [7] [8] [9]
LaTeX Warning: Citation `Barrow' on page x undefined on input line 1047.
[10]
LaTeX Warning: Citation `Davis' on page xi undefined on input line 1072.
[11] [12] [13] [14]
Chapter 1.
LaTeX Warning: Citation `Davis' on page 1 undefined on input line 1203.
[1]
LaTeX Warning: Citation `Munkres' on page 2 undefined on input line 1288.
[2] [3]
LaTeX Warning: Citation `Whitehead' on page 4 undefined on input line 1351.
[4]
LaTeX Warning: Citation `Landau' on page 5 undefined on input line 1388.
LaTeX Warning: Citation `Guillen' on page 5 undefined on input line 1394.
LaTeX Warning: Citation `Rucker' on page 5 undefined on input line 1426.
[5] [6] [7]
LaTeX Warning: Citation `Solow' on page 8 undefined on input line 1546.
[8] [9] [10] [11]
LaTeX Warning: Citation `Davis' on page 12 undefined on input line 1765.
[12] [13]
LaTeX Warning: Citation `Edwards' on page 14 undefined on input line 1839.
LaTeX Warning: Citation `Davis' on page 14 undefined on input line 1847.
LaTeX Warning: Citation `Wang' on page 14 undefined on input line 1856.
LaTeX Warning: Citation `deMillo' on page 14 undefined on input line 1878.
[14]
LaTeX Warning: Citation `Mathias' on page 15 undefined on input line 1906.
LaTeX Warning: Citation `Moore' on page 15 undefined on input line 1922.
LaTeX Warning: Citation `Russell' on page 15 undefined on input line 1929.
LaTeX Warning: Citation `Davis' on page 15 undefined on input line 1934.
[15]
LaTeX Warning: Citation `deMillo' on page 16 undefined on input line 1981.
[16]
LaTeX Warning: Citation `Anderson' on page 17 undefined on input line 2015.
LaTeX Warning: Citation `MegillBunder' on page 17 undefined on input line 2015.
LaTeX Warning: Citation `Boolos' on page 17 undefined on input line 2017.
LaTeX Warning: Citation `Pavicic' on page 17 undefined on input line 2019.
LaTeX Warning: Citation `Tymoczko' on page 17 undefined on input line 2036.
LaTeX Warning: Citation `Enderton' on page 17 undefined on input line 2049.
LaTeX Warning: Citation `Curry' on page 17 undefined on input line 2049.
[17]
LaTeX Warning: Citation `Kline' on page 18 undefined on input line 2063.
LaTeX Warning: Citation `Klinel' on page 18 undefined on input line 2083.
[18] [19]
LaTeX Warning: Citation `Harrison' on page 20 undefined on input line 2178.
LaTeX Warning: Citation `Albers' on page 20 undefined on input line 2203.
[20]
LaTeX Warning: Citation `Tymoczko' on page 21 undefined on input line 2237.
LaTeX Warning: Citation `Swart' on page 21 undefined on input line 2249.
[21]
LaTeX Warning: Citation `deMillo' on page 22 undefined on input line 2282.
LaTeX Warning: Citation `deMillo' on page 22 undefined on input line 2289.
(/usr/share/texlive/texmf-dist/tex/latex/base/omscmr.fd)
LaTeX Warning: Citation `Stark' on page 22 undefined on input line 2305.
LaTeX Warning: Citation `Kramer' on page 22 undefined on input line 2308.
[22]
LaTeX Warning: Citation `Davis' on page 23 undefined on input line 2321.
LaTeX Warning: Citation `Enderton' on page 23 undefined on input line 2325.
LaTeX Warning: Citation `Enderton' on page 23 undefined on input line 2336.
LaTeX Warning: Citation `Courant' on page 23 undefined on input line 2346.
LaTeX Warning: Citation `Swart' on page 23 undefined on input line 2350.
LaTeX Warning: Citation `Davis' on page 23 undefined on input line 2352.
[23]
LaTeX Warning: Citation `PetersonI' on page 24 undefined on input line 2363.
LaTeX Warning: Citation `Szpiro' on page 24 undefined on input line 2364.
LaTeX Warning: Citation `Wolfram' on page 24 undefined on input line 2393.
[24]
LaTeX Warning: Citation `Harrison-thesis' on page 25 undefined on input line 24
38.
LaTeX Warning: Citation `Tarski' on page 25 undefined on input line 2448.
LaTeX Warning: Citation `Chou' on page 25 undefined on input line 2458.
LaTeX Warning: Citation `Penrose' on page 25 undefined on input line 2462.
[25]
LaTeX Warning: Citation `Robinson' on page 26 undefined on input line 2472.
LaTeX Warning: Citation `Wos' on page 26 undefined on input line 2514.
[26]
LaTeX Warning: Citation `Wos' on page 27 undefined on input line 2543.
LaTeX Warning: Citation `Megill' on page 27 undefined on input line 2549.
LaTeX Warning: Citation `Bledsoe' on page 27 undefined on input line 2557.
[27]
LaTeX Warning: Citation `Harrison' on page 28 undefined on input line 2592.
[28] [29]
LaTeX Warning: Citation `Kline' on page 30 undefined on input line 2691.
LaTeX Warning: Citation `Behnke' on page 30 undefined on input line 2692.
LaTeX Warning: Citation `Shoenfield' on page 30 undefined on input line 2700.
LaTeX Warning: Citation `Davis' on page 30 undefined on input line 2712.
LaTeX Warning: Citation `PM' on page 30 undefined on input line 2720.
[30]
LaTeX Warning: Citation `Hindley' on page 31 undefined on input line 2741.
LaTeX Warning: Citation `Kalman' on page 31 undefined on input line 2741.
LaTeX Warning: Citation `Meredith' on page 31 undefined on input line 2742.
LaTeX Warning: Citation `Peterson' on page 31 undefined on input line 2742.
LaTeX Warning: Citation `Megill' on page 31 undefined on input line 2750.
LaTeX Warning: Citation `Robinson' on page 31 undefined on input line 2762.
LaTeX Warning: Citation `Herrlich' on page 31 undefined on input line 2793.
LaTeX Warning: Citation `Blass' on page 31 undefined on input line 2793.
LaTeX Warning: Citation `Megill' on page 31 undefined on input line 2808.
LaTeX Warning: Citation `Monks' on page 31 undefined on input line 2810.
[31]
LaTeX Warning: Citation `Leblanc' on page 32 undefined on input line 2825.
[32]
Chapter 2.
[33]
LaTeX Warning: Citation `Mendelson' on page 34 undefined on input line 2924.
LaTeX Warning: Citation `Mendelson' on page 34 undefined on input line 2927.
LaTeX Warning: Citation `Mendelson' on page 34 undefined on input line 2928.
[34] [35]
LaTeX Warning: Citation `Rucker' on page 36 undefined on input line 3065.
LaTeX Warning: Citation `Hofstadter' on page 36 undefined on input line 3066.
[36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50]
[51] [52] [53] [54]
Chapter 3.
LaTeX Warning: Citation `Barrow' on page 55 undefined on input line 4041.
[55] [56] [57]
LaTeX Warning: Citation `CAMeredith' on page 58 undefined on input line 4241.
[58] [59]
LaTeX Warning: Citation `Hamilton' on page 60 undefined on input line 4374.
[60] [61] [62] [63]
LaTeX Warning: Citation `Megill' on page 64 undefined on input line 4574.
[64] [65] [66] [67]
LaTeX Warning: Citation `Takeuti' on page 68 undefined on input line 5034.
LaTeX Warning: Citation `Quine' on page 68 undefined on input line 5035.
LaTeX Warning: Citation `Bell' on page 68 undefined on input line 5036.
LaTeX Warning: Citation `Enderton' on page 68 undefined on input line 5036.
[68] [69] [70] [71] [72] [73] [74] [75] [76] [77] [78] [79] [80] [81] [82]
[83]
LaTeX Warning: Citation `Enderton' on page 84 undefined on input line 6960.
[84] [85]
LaTeX Warning: Citation `Hamilton' on page 86 undefined on input line 7079.
[86] [87] [88] [89] [90]
Chapter 4.
LaTeX Warning: Citation `Russell2' on page 91 undefined on input line 7344.
[91]
LaTeX Warning: Citation `deMillo' on page 92 undefined on input line 7403.
[92] [93] [94] [95] [96] [97] [98] [99] [100] [101] [102] [103] [104]
LaTeX Warning: Citation `Nemeti' on page 105 undefined on input line 8313.
LaTeX Warning: Citation `Megill' on page 105 undefined on input line 8314.
LaTeX Warning: Citation `Megill' on page 105 undefined on input line 8321.
[105] [106] [107] [108] [109] [110] [111]
LaTeX Font Warning: Font shape `OMS/cmtt/bx/n' undefined
(Font)              using `OMS/cmtt/m/n' instead
(Font)              for symbol `textbraceleft' on input line 8761.
[112] [113] [114] [115] [116] [117] [118] [119] [120] [121] [122] [123]
LaTeX Warning: Citation `Behnke' on page 124 undefined on input line 9771.
[124]
LaTeX Warning: Citation `Nemesszeghy' on page 125 undefined on input line 9780.
LaTeX Warning: Citation `Lejewski' on page 125 undefined on input line 9796.
[125]
LaTeX Warning: Citation `Goodstein' on page 126 undefined on input line 9874.
LaTeX Warning: Citation `Robinsont' on page 126 undefined on input line 9883.
LaTeX Warning: Citation `Quine' on page 126 undefined on input line 9902.
[126] [127] [128]
Chapter 5.
[129] [130] [131] [132] [133] [134] [135] [136] [137] [138] [139] [140]
[141] [142] [143] [144] [145] [146] [147] [148] [149] [150] [151] [152]
[153] [154]
Appendix A.
[155] [156] [157] [158]
Appendix B.
[159] [160]
Appendix C.
LaTeX Warning: Citation `Campbell' on page 161 undefined on input line 12284.
LaTeX Warning: Citation `Munkres' on page 161 undefined on input line 12298.
LaTeX Warning: Citation `Tarski1965' on page 161 undefined on input line 12315.
[161] [162] [163]
LaTeX Warning: Citation `Nemeti' on page 164 undefined on input line 12502.
[164] [165] [166]
LaTeX Warning: Citation `Tarski1965' on page 167 undefined on input line 12723.
LaTeX Warning: Citation `Tarski1965' on page 167 undefined on input line 12724.
[167] (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/ueuf.fd)
LaTeX Warning: Citation `Tarski1965' on page 168 undefined on input line 12776.
[168] [169]
LaTeX Warning: Citation `Tarski1965' on page 170 undefined on input line 12931.
[170]
LaTeX Warning: Citation `Kalish' on page 171 undefined on input line 12991.
LaTeX Warning: Citation `Megill' on page 171 undefined on input line 13004.
LaTeX Warning: Citation `Megill' on page 171 undefined on input line 13013.
[171] [172] [173]
LaTeX Warning: Citation `Takeuti' on page 174 undefined on input line 13252.
LaTeX Warning: Citation `Quine' on page 174 undefined on input line 13253.
[174] [175] [176]
Appendix D.
[177] [178]
LaTeX Warning: Citation `Hofstadter' on page 179 undefined on input line 13530.
[179] [180] (./metamath.bbl [181] [182] [183] [184] [185]) [186]
(./metamath.ind [187] [188] [189] [190] [191] [192] [193] [194] [195])
(./metamath.aux)
Package rerunfilecheck Warning: File `metamath.out' has changed.
(rerunfilecheck)                Rerun to get outlines right
(rerunfilecheck)                or use package `bookmark'.
LaTeX Font Warning: Some font shapes were not available, defaults substituted.
LaTeX Warning: There were undefined references.
LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right.
 )</usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx10.pfb></us
r/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx12.pfb></usr/shar
e/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx8.pfb></usr/share/texli
ve/texmf-dist/fonts/type1/public/amsfonts/cm/cmcsc10.pfb></usr/share/texlive/te
xmf-dist/fonts/type1/public/amsfonts/cm/cmex10.pfb></usr/share/texlive/texmf-di
st/fonts/type1/public/amsfonts/cmextra/cmex8.pfb></usr/share/texlive/texmf-dist
/fonts/type1/public/amsfonts/cm/cmitt10.pfb></usr/share/texlive/texmf-dist/font
s/type1/public/amsfonts/cm/cmmi10.pfb></usr/share/texlive/texmf-dist/fonts/type
1/public/amsfonts/cm/cmmi6.pfb></usr/share/texlive/texmf-dist/fonts/type1/publi
c/amsfonts/cm/cmmi7.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfo
nts/cm/cmmi8.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/
cmr10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr12.p
fb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr6.pfb></usr
/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr7.pfb></usr/share/t
exlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr8.pfb></usr/share/texlive/t
exmf-dist/fonts/type1/public/amsfonts/cm/cmr9.pfb></usr/share/texlive/texmf-dis
t/fonts/type1/public/amsfonts/cm/cmsl10.pfb></usr/share/texlive/texmf-dist/font
s/type1/public/amsfonts/cm/cmsl8.pfb></usr/share/texlive/texmf-dist/fonts/type1
/public/amsfonts/cm/cmsy10.pfb></usr/share/texlive/texmf-dist/fonts/type1/publi
c/amsfonts/cm/cmsy6.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfo
nts/cm/cmsy7.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/
cmsy8.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmti10.
pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmti8.pfb></u
sr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt10.pfb></usr/sha
re/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt12.pfb></usr/share/tex
live/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt8.pfb></usr/share/texlive/te
xmf-dist/fonts/type1/public/amsfonts/euler/eufm10.pfb></usr/share/texlive/texmf
-dist/fonts/type1/public/amsfonts/symbols/msam10.pfb></usr/share/texlive/texmf-
dist/fonts/type1/public/amsfonts/symbols/msbm10.pfb>
Output written on metamath.pdf (209 pages, 998207 bytes).
Transcript written on metamath.log.
+ pdflatex metamath
This is pdfTeX, Version 3.14159265-2.6-1.40.19 (TeX Live 2018) (preloaded format=pdflatex)
 restricted \write18 enabled.
entering extended mode
(./metamath.tex
LaTeX2e <2018-04-01> patch level 5
Babel <3.17> and hyphenation patterns for 3 language(s) loaded.
LaTeX Warning: File `realref.sty' already exists on the system.
               Not generating it from this source.
LaTeX Warning: File `metamath.bib' already exists on the system.
               Not generating it from this source.
(/usr/share/texlive/texmf-dist/tex/latex/base/book.cls
Document Class: book 2014/09/29 v1.4h Standard LaTeX document class
(/usr/share/texlive/texmf-dist/tex/latex/base/leqno.clo)
(/usr/share/texlive/texmf-dist/tex/latex/base/bk10.clo))
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty
(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty
(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty))
(/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty)
(/usr/share/texlive/texmf-dist/tex/generic/ifxetex/ifxetex.sty)
(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/auxhook.sty)
(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/kvoptions.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def)
(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/hyperref.cfg)
(/usr/share/texlive/texmf-dist/tex/latex/url/url.sty))
Package hyperref Message: Driver (autodetected): hpdftex.
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def
(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty))
(./realref.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/anysize/anysize.sty
document style option `anysize' loaded
Michael Salzenberg, Thomas Esser, Dirk Hillbrecht
Version 1.0, Aug 13, 1994
)
Writing index file metamath.idx
(./metamath.aux) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty
(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/gettitlestring.sty))
(./metamath.out) (./metamath.out) [1{/usr/share/texlive/texmf-dist/fonts/map/pd
ftex/updmap/pdftex.map}]
(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd)
(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd) [2] (./metamath.toc
[3]
LaTeX Font Warning: Font shape `OMS/cmtt/m/n' undefined
(Font)              using `OMS/cmsy/m/n' instead
(Font)              for symbol `textbraceleft' on input line 88.
[4] [5] [6]) [7] [8] [9] [10] [11] [12] [13] [14] [15] [16]
Chapter 1.
[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17]
[18] [19] [20] [21] (/usr/share/texlive/texmf-dist/tex/latex/base/omscmr.fd)
[22] [23] [24] [25] [26] [27] [28] [29] [30] [31] [32]
Chapter 2.
[33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47]
[48] [49] [50] [51] [52] [53] [54]
Chapter 3.
[55] [56] [57] [58] [59] [60] [61] [62] [63] [64] [65] [66] [67] [68] [69]
[70] [71] [72] [73] [74] [75] [76] [77] [78] [79] [80] [81] [82] [83] [84]
[85] [86] [87] [88] [89] [90]
Chapter 4.
[91] [92] [93] [94] [95] [96] [97] [98] [99] [100] [101] [102] [103] [104]
[105] [106] [107] [108] [109] [110] [111]
LaTeX Font Warning: Font shape `OMS/cmtt/bx/n' undefined
(Font)              using `OMS/cmtt/m/n' instead
(Font)              for symbol `textbraceleft' on input line 8761.
[112] [113] [114] [115] [116] [117] [118] [119] [120] [121] [122] [123]
[124] [125] [126] [127] [128]
Chapter 5.
[129] [130] [131] [132] [133] [134] [135] [136] [137] [138] [139] [140]
[141] [142] [143] [144] [145] [146] [147] [148] [149] [150] [151] [152]
[153] [154]
Appendix A.
[155] [156] [157] [158]
Appendix B.
[159] [160]
Appendix C.
[161] [162] [163] [164] [165] [166] [167]
(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/ueuf.fd) [168] [169] [170]
[171] [172] [173] [174] [175] [176]
Appendix D.
[177] [178] [179] [180] (./metamath.bbl [181] [182] [183] [184] [185]) [186]
(./metamath.ind [187] [188] [189] [190] [191] [192] [193] [194] [195])
(./metamath.aux)
LaTeX Font Warning: Some font shapes were not available, defaults substituted.
LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right.
 )</usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx10.pfb></us
r/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx12.pfb></usr/shar
e/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmcsc10.pfb></usr/share/tex
live/texmf-dist/fonts/type1/public/amsfonts/cm/cmex10.pfb></usr/share/texlive/t
exmf-dist/fonts/type1/public/amsfonts/cmextra/cmex8.pfb></usr/share/texlive/tex
mf-dist/fonts/type1/public/amsfonts/cm/cmitt10.pfb></usr/share/texlive/texmf-di
st/fonts/type1/public/amsfonts/cm/cmmi10.pfb></usr/share/texlive/texmf-dist/fon
ts/type1/public/amsfonts/cm/cmmi6.pfb></usr/share/texlive/texmf-dist/fonts/type
1/public/amsfonts/cm/cmmi7.pfb></usr/share/texlive/texmf-dist/fonts/type1/publi
c/amsfonts/cm/cmmi8.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfo
nts/cm/cmr10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/
cmr12.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr6.pf
b></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr7.pfb></usr/
share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr8.pfb></usr/share/te
xlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr9.pfb></usr/share/texlive/te
xmf-dist/fonts/type1/public/amsfonts/cm/cmsl10.pfb></usr/share/texlive/texmf-di
st/fonts/type1/public/amsfonts/cm/cmsl8.pfb></usr/share/texlive/texmf-dist/font
s/type1/public/amsfonts/cm/cmsy10.pfb></usr/share/texlive/texmf-dist/fonts/type
1/public/amsfonts/cm/cmsy6.pfb></usr/share/texlive/texmf-dist/fonts/type1/publi
c/amsfonts/cm/cmsy7.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfo
nts/cm/cmsy8.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/
cmti10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmti8.
pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt10.pfb></
usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt12.pfb></usr/sh
are/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt8.pfb></usr/share/tex
live/texmf-dist/fonts/type1/public/amsfonts/euler/eufm10.pfb></usr/share/texliv
e/texmf-dist/fonts/type1/public/amsfonts/symbols/msam10.pfb></usr/share/texlive
/texmf-dist/fonts/type1/public/amsfonts/symbols/msbm10.pfb>
Output written on metamath.pdf (211 pages, 994425 bytes).
Transcript written on metamath.log.
+ pdflatex metamath
This is pdfTeX, Version 3.14159265-2.6-1.40.19 (TeX Live 2018) (preloaded format=pdflatex)
 restricted \write18 enabled.
entering extended mode
(./metamath.tex
LaTeX2e <2018-04-01> patch level 5
Babel <3.17> and hyphenation patterns for 3 language(s) loaded.
LaTeX Warning: File `realref.sty' already exists on the system.
               Not generating it from this source.
LaTeX Warning: File `metamath.bib' already exists on the system.
               Not generating it from this source.
(/usr/share/texlive/texmf-dist/tex/latex/base/book.cls
Document Class: book 2014/09/29 v1.4h Standard LaTeX document class
(/usr/share/texlive/texmf-dist/tex/latex/base/leqno.clo)
(/usr/share/texlive/texmf-dist/tex/latex/base/bk10.clo))
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty
(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty
(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty))
(/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty)
(/usr/share/texlive/texmf-dist/tex/generic/ifxetex/ifxetex.sty)
(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/auxhook.sty)
(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/kvoptions.sty)
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def)
(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/hyperref.cfg)
(/usr/share/texlive/texmf-dist/tex/latex/url/url.sty))
Package hyperref Message: Driver (autodetected): hpdftex.
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def
(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty))
(./realref.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/anysize/anysize.sty
document style option `anysize' loaded
Michael Salzenberg, Thomas Esser, Dirk Hillbrecht
Version 1.0, Aug 13, 1994
)
Writing index file metamath.idx
(./metamath.aux) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty
(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/gettitlestring.sty))
(./metamath.out) (./metamath.out) [1{/usr/share/texlive/texmf-dist/fonts/map/pd
ftex/updmap/pdftex.map}]
(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd)
(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd) [2] (./metamath.toc
[3]
LaTeX Font Warning: Font shape `OMS/cmtt/m/n' undefined
(Font)              using `OMS/cmsy/m/n' instead
(Font)              for symbol `textbraceleft' on input line 88.
[4] [5] [6]) [7] [8] [9] [10] [11] [12] [13] [14] [15] [16]
Chapter 1.
[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17]
[18] [19] [20] [21] (/usr/share/texlive/texmf-dist/tex/latex/base/omscmr.fd)
[22] [23] [24] [25] [26] [27] [28] [29] [30] [31] [32]
Chapter 2.
[33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47]
[48] [49] [50] [51] [52] [53] [54]
Chapter 3.
[55] [56] [57] [58] [59] [60] [61] [62] [63] [64] [65] [66] [67] [68] [69]
[70] [71] [72] [73] [74] [75] [76] [77] [78] [79] [80] [81] [82] [83] [84]
[85] [86] [87] [88] [89] [90]
Chapter 4.
[91] [92] [93] [94] [95] [96] [97] [98] [99] [100] [101] [102] [103] [104]
[105] [106] [107] [108] [109] [110] [111]
LaTeX Font Warning: Font shape `OMS/cmtt/bx/n' undefined
(Font)              using `OMS/cmtt/m/n' instead
(Font)              for symbol `textbraceleft' on input line 8761.
[112] [113] [114] [115] [116] [117] [118] [119] [120] [121] [122] [123]
[124] [125] [126] [127] [128]
Chapter 5.
[129] [130] [131] [132] [133] [134] [135] [136] [137] [138] [139] [140]
[141] [142] [143] [144] [145] [146] [147] [148] [149] [150] [151] [152]
[153] [154]
Appendix A.
[155] [156] [157] [158]
Appendix B.
[159] [160]
Appendix C.
[161] [162] [163] [164] [165] [166] [167]
(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/ueuf.fd) [168] [169] [170]
[171] [172] [173] [174] [175] [176]
Appendix D.
[177] [178] [179] [180] (./metamath.bbl [181] [182] [183] [184] [185]) [186]
(./metamath.ind [187] [188] [189] [190] [191] [192] [193] [194] [195])
(./metamath.aux)
LaTeX Font Warning: Some font shapes were not available, defaults substituted.
 )</usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx10.pfb></us
r/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx12.pfb></usr/shar
e/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmcsc10.pfb></usr/share/tex
live/texmf-dist/fonts/type1/public/amsfonts/cm/cmex10.pfb></usr/share/texlive/t
exmf-dist/fonts/type1/public/amsfonts/cmextra/cmex8.pfb></usr/share/texlive/tex
mf-dist/fonts/type1/public/amsfonts/cm/cmitt10.pfb></usr/share/texlive/texmf-di
st/fonts/type1/public/amsfonts/cm/cmmi10.pfb></usr/share/texlive/texmf-dist/fon
ts/type1/public/amsfonts/cm/cmmi6.pfb></usr/share/texlive/texmf-dist/fonts/type
1/public/amsfonts/cm/cmmi7.pfb></usr/share/texlive/texmf-dist/fonts/type1/publi
c/amsfonts/cm/cmmi8.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfo
nts/cm/cmr10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/
cmr12.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr6.pf
b></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr7.pfb></usr/
share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr8.pfb></usr/share/te
xlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr9.pfb></usr/share/texlive/te
xmf-dist/fonts/type1/public/amsfonts/cm/cmsl10.pfb></usr/share/texlive/texmf-di
st/fonts/type1/public/amsfonts/cm/cmsl8.pfb></usr/share/texlive/texmf-dist/font
s/type1/public/amsfonts/cm/cmsy10.pfb></usr/share/texlive/texmf-dist/fonts/type
1/public/amsfonts/cm/cmsy6.pfb></usr/share/texlive/texmf-dist/fonts/type1/publi
c/amsfonts/cm/cmsy7.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfo
nts/cm/cmsy8.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/
cmti10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmti8.
pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt10.pfb></
usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt12.pfb></usr/sh
are/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt8.pfb></usr/share/tex
live/texmf-dist/fonts/type1/public/amsfonts/euler/eufm10.pfb></usr/share/texliv
e/texmf-dist/fonts/type1/public/amsfonts/symbols/msam10.pfb></usr/share/texlive
/texmf-dist/fonts/type1/public/amsfonts/symbols/msbm10.pfb>
Output written on metamath.pdf (211 pages, 994435 bytes).
Transcript written on metamath.log.
+ exit 0
Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.Jia2zQ
+ umask 022
+ cd /builddir/build/BUILD
+ '[' /builddir/build/BUILDROOT/metamath-0.166-1.fc29.riscv64 '!=' / ']'
+ rm -rf /builddir/build/BUILDROOT/metamath-0.166-1.fc29.riscv64
BUILDSTDERR: ++ dirname /builddir/build/BUILDROOT/metamath-0.166-1.fc29.riscv64
+ mkdir -p /builddir/build/BUILDROOT
+ mkdir /builddir/build/BUILDROOT/metamath-0.166-1.fc29.riscv64
+ cd metamath
+ /usr/bin/make install DESTDIR=/builddir/build/BUILDROOT/metamath-0.166-1.fc29.riscv64 'INSTALL=/usr/bin/install -p'
make[1]: Entering directory '/builddir/build/BUILD/metamath'
 /usr/bin/mkdir -p '/builddir/build/BUILDROOT/metamath-0.166-1.fc29.riscv64/usr/bin'
  /usr/bin/install -p metamath '/builddir/build/BUILDROOT/metamath-0.166-1.fc29.riscv64/usr/bin'
 /usr/bin/mkdir -p '/builddir/build/BUILDROOT/metamath-0.166-1.fc29.riscv64/usr/share/metamath'
 /usr/bin/install -p -m 644 big-unifier.mm demo0.mm miu.mm peano.mm ql.mm set.mm '/builddir/build/BUILDROOT/metamath-0.166-1.fc29.riscv64/usr/share/metamath'
make[1]: Leaving directory '/builddir/build/BUILD/metamath'
+ cp -p big-unifier.mm demo0.mm hol.mm iset.mm miu.mm nf.mm peano.mm ql.mm set.mm /builddir/build/BUILDROOT/metamath-0.166-1.fc29.riscv64/usr/share/metamath
+ mkdir -p /builddir/build/BUILDROOT/metamath-0.166-1.fc29.riscv64/usr/share/doc/metamath
+ cp -p metamath.pdf /builddir/build/BUILDROOT/metamath-0.166-1.fc29.riscv64/usr/share/doc/metamath
+ /usr/lib/rpm/find-debuginfo.sh -j4 --strict-build-id -m -i --build-id-seed 0.166-1.fc29 --unique-debug-suffix -0.166-1.fc29.riscv64 --unique-debug-src-base metamath-0.166-1.fc29.riscv64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 -S debugsourcefiles.list /builddir/build/BUILD/metamath
explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/metamath-0.166-1.fc29.riscv64/usr/bin/metamath
extracting debug info from /builddir/build/BUILDROOT/metamath-0.166-1.fc29.riscv64/usr/bin/metamath
/usr/lib/rpm/sepdebugcrcfix: Updated 1 CRC32s, 0 CRC32s did match.
BUILDSTDERR: 3536 blocks
+ /usr/lib/rpm/check-buildroot
+ /usr/lib/rpm/redhat/brp-ldconfig
BUILDSTDERR: /sbin/ldconfig: Warning: ignoring configuration file that cannot be opened: /etc/ld.so.conf: No such file or directory
+ /usr/lib/rpm/brp-compress
+ /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip
+ /usr/lib/rpm/brp-python-bytecompile /usr/bin/python 1 1
+ /usr/lib/rpm/brp-python-hardlink
+ /usr/lib/rpm/redhat/brp-mangle-shebangs
Processing files: metamath-0.166-1.fc29.riscv64
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.tiDZe1
+ umask 022
+ cd /builddir/build/BUILD
+ cd metamath
+ DOCDIR=/builddir/build/BUILDROOT/metamath-0.166-1.fc29.riscv64/usr/share/doc/metamath
+ export LC_ALL=C
+ LC_ALL=C
+ export DOCDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/metamath-0.166-1.fc29.riscv64/usr/share/doc/metamath
+ cp -pr README.TXT /builddir/build/BUILDROOT/metamath-0.166-1.fc29.riscv64/usr/share/doc/metamath
+ exit 0
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.Jm2xGr
+ umask 022
+ cd /builddir/build/BUILD
+ cd metamath
+ LICENSEDIR=/builddir/build/BUILDROOT/metamath-0.166-1.fc29.riscv64/usr/share/licenses/metamath
+ export LC_ALL=C
+ LC_ALL=C
+ export LICENSEDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/metamath-0.166-1.fc29.riscv64/usr/share/licenses/metamath
+ cp -pr LICENSE.TXT /builddir/build/BUILDROOT/metamath-0.166-1.fc29.riscv64/usr/share/licenses/metamath
+ exit 0
Provides: metamath = 0.166-1.fc29 metamath(riscv-64) = 0.166-1.fc29
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ld-linux-riscv64-lp64d.so.1()(64bit) ld-linux-riscv64-lp64d.so.1(GLIBC_2.27)(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.27)(64bit) rtld(GNU_HASH)
Suggests: rlwrap
Processing files: metamath-theories-0.166-1.fc29.noarch
Provides: metamath-theories = 0.166-1.fc29
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Processing files: metamath-doc-0.166-1.fc29.noarch
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.MxVZhS
+ umask 022
+ cd /builddir/build/BUILD
+ cd metamath
+ LICENSEDIR=/builddir/build/BUILDROOT/metamath-0.166-1.fc29.riscv64/usr/share/licenses/metamath-doc
+ export LC_ALL=C
+ LC_ALL=C
+ export LICENSEDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/metamath-0.166-1.fc29.riscv64/usr/share/licenses/metamath-doc
+ cp -pr LICENSE.TXT /builddir/build/BUILDROOT/metamath-0.166-1.fc29.riscv64/usr/share/licenses/metamath-doc
+ exit 0
Provides: metamath-doc = 0.166-1.fc29
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Processing files: metamath-debugsource-0.166-1.fc29.riscv64
Provides: metamath-debugsource = 0.166-1.fc29 metamath-debugsource(riscv-64) = 0.166-1.fc29
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Processing files: metamath-debuginfo-0.166-1.fc29.riscv64
Provides: debuginfo(build-id) = d8c5705499b5267333bf177b932d23c43ab08d93 metamath-debuginfo = 0.166-1.fc29 metamath-debuginfo(riscv-64) = 0.166-1.fc29
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: metamath-debugsource(riscv-64) = 0.166-1.fc29
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/metamath-0.166-1.fc29.riscv64
Wrote: /builddir/build/RPMS/metamath-0.166-1.fc29.riscv64.rpm
Wrote: /builddir/build/RPMS/metamath-theories-0.166-1.fc29.noarch.rpm
Wrote: /builddir/build/RPMS/metamath-doc-0.166-1.fc29.noarch.rpm
Wrote: /builddir/build/RPMS/metamath-debugsource-0.166-1.fc29.riscv64.rpm
Wrote: /builddir/build/RPMS/metamath-debuginfo-0.166-1.fc29.riscv64.rpm
Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.tCBzdX
+ umask 022
+ cd /builddir/build/BUILD
+ cd metamath
+ /usr/bin/rm -rf /builddir/build/BUILDROOT/metamath-0.166-1.fc29.riscv64
+ exit 0
Child return code was: 0