thys2/Journal/root.log
changeset 371 f65444d29e74
parent 369 e00950ba4514
equal deleted inserted replaced
370:5499ba68188c 371:f65444d29e74
     1 This is LuaTeX, Version 1.07.0 (TeX Live 2018)  (format=lualatex 2019.2.7)  1 NOV 2021 09:38
     1 This is LuaTeX, Version 1.07.0 (TeX Live 2018)  (format=lualatex 2019.2.7)  1 NOV 2021 11:19
     2  restricted system commands enabled.
     2  restricted system commands enabled.
     3 **root.tex
     3 **root.tex
     4 (./root.tex
     4 (./root.tex
     5 LaTeX2e <2018-04-01> patch level 2
     5 LaTeX2e <2018-04-01> patch level 2
     6 Lua module: luaotfload-main 2017/01/29 2.80001 OpenType layout system.
     6 Lua module: luaotfload-main 2017/01/29 2.80001 OpenType layout system.
    32 t_unsafe'.
    32 t_unsafe'.
    33 Inserting `luaotfload.aux.set_capheight' at position 3 in `luaotfload.patch_font
    33 Inserting `luaotfload.aux.set_capheight' at position 3 in `luaotfload.patch_font
    34 '.
    34 '.
    35 Inserting `luaotfload.rewrite_fontname' at position 4 in `luaotfload.patch_font'
    35 Inserting `luaotfload.rewrite_fontname' at position 4 in `luaotfload.patch_font'
    36 .
    36 .
    37 luaotfload | main : initialization completed in 0.091 seconds
    37 luaotfload | main : initialization completed in 0.120 seconds
    38 Babel <3.18> and hyphenation patterns for 1 language(s) loaded.
    38 Babel <3.18> and hyphenation patterns for 1 language(s) loaded.
    39 (./llncs.cls
    39 (./llncs.cls
    40 Document Class: llncs 2002/01/28 v2.13 
    40 Document Class: llncs 2002/01/28 v2.13 
    41  LaTeX document class for Lecture Notes in Computer Science
    41  LaTeX document class for Lecture Notes in Computer Science
    42 (/usr/local/texlive/2018/texmf-dist/tex/latex/base/article.cls
    42 (/usr/local/texlive/2018/texmf-dist/tex/latex/base/article.cls
  1578 it/10 simps$\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 2$\OT1/zplm/m/n/10 )$
  1578 it/10 simps$\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 2$\OT1/zplm/m/n/10 )$
  1579  []
  1579  []
  1580 
  1580 
  1581 ) (./Paper.tex
  1581 ) (./Paper.tex
  1582 
  1582 
  1583 LaTeX Warning: Citation `Brzozowski1964' on page 41 undefined on input line 82.
  1583 LaTeX Warning: Citation `Brzozowski1964' on page 41 undefined on input line 78.
  1584 
  1584 
  1585 
  1585 
  1586 LaTeX Warning: Citation `Owens2008' on page 41 undefined on input line 96.
  1586 LaTeX Warning: Citation `Owens2008' on page 41 undefined on input line 92.
  1587 
  1587 
  1588 
  1588 
  1589 LaTeX Warning: Citation `Krauss2011' on page 41 undefined on input line 97.
  1589 LaTeX Warning: Citation `Krauss2011' on page 41 undefined on input line 93.
  1590 
  1590 
  1591 
  1591 
  1592 LaTeX Warning: Citation `Coquand2012' on page 41 undefined on input line 98.
  1592 LaTeX Warning: Citation `Coquand2012' on page 41 undefined on input line 94.
  1593 
  1593 
  1594 [41]
  1594 [41]
  1595 
  1595 
  1596 LaTeX Warning: Citation `Frisch2004' on page 42 undefined on input line 103.
  1596 LaTeX Warning: Citation `Frisch2004' on page 42 undefined on input line 99.
  1597 
  1597 
  1598 
  1598 
  1599 LaTeX Warning: Citation `POSIX' on page 42 undefined on input line 104.
  1599 LaTeX Warning: Citation `POSIX' on page 42 undefined on input line 100.
  1600 
  1600 
  1601 
  1601 
  1602 LaTeX Warning: Citation `Kuklewicz' on page 42 undefined on input line 104.
  1602 LaTeX Warning: Citation `Kuklewicz' on page 42 undefined on input line 100.
  1603 
  1603 
  1604 
  1604 
  1605 LaTeX Warning: Citation `OkuiSuzuki2010' on page 42 undefined on input line 104.
  1605 LaTeX Warning: Citation `OkuiSuzuki2010' on page 42 undefined on input line 100.
  1606 
  1606 
  1607 
  1607 
  1608 
  1608 
  1609 LaTeX Warning: Citation `Sulzmann2014' on page 42 undefined on input line 104.
  1609 LaTeX Warning: Citation `Sulzmann2014' on page 42 undefined on input line 100.
  1610 
  1610 
  1611 
  1611 
  1612 LaTeX Warning: Citation `Vansummeren2006' on page 42 undefined on input line 104
  1612 LaTeX Warning: Citation `Vansummeren2006' on page 42 undefined on input line 100
  1613 .
  1613 .
  1614 
  1614 
  1615 
  1615 
  1616 LaTeX Warning: Citation `POSIX' on page 42 undefined on input line 121.
  1616 LaTeX Warning: Citation `POSIX' on page 42 undefined on input line 117.
  1617 
  1617 
  1618 [42]
  1618 [42]
  1619 
  1619 
  1620 LaTeX Warning: Citation `Sulzmann2014' on page 43 undefined on input line 160.
  1620 LaTeX Warning: Citation `Sulzmann2014' on page 43 undefined on input line 156.
  1621 
  1621 
  1622 
  1622 
  1623 LaTeX Warning: Citation `HosoyaVouillonPierce2005' on page 43 undefined on input
  1623 LaTeX Warning: Citation `HosoyaVouillonPierce2005' on page 43 undefined on input
  1624  line 182.
  1624  line 178.
  1625 
  1625 
  1626 
  1626 
  1627 LaTeX Warning: Citation `Sulzmann2014' on page 43 undefined on input line 204.
  1627 LaTeX Warning: Citation `Sulzmann2014' on page 43 undefined on input line 200.
  1628 
  1628 
  1629 
  1629 
  1630 LaTeX Warning: Citation `Frisch2004' on page 43 undefined on input line 208.
  1630 LaTeX Warning: Citation `Frisch2004' on page 43 undefined on input line 204.
  1631 
  1631 
  1632 
  1632 
  1633 LaTeX Warning: Citation `Sulzmann2014' on page 43 undefined on input line 213.
  1633 LaTeX Warning: Citation `Sulzmann2014' on page 43 undefined on input line 209.
  1634 
  1634 
  1635 
  1635 
  1636 LaTeX Warning: Citation `Kuklewicz' on page 43 undefined on input line 221.
  1636 LaTeX Warning: Citation `Kuklewicz' on page 43 undefined on input line 217.
  1637 
  1637 
  1638 
  1638 
  1639 LaTeX Warning: Citation `Sulzmann2014' on page 43 undefined on input line 222.
  1639 LaTeX Warning: Citation `Sulzmann2014' on page 43 undefined on input line 218.
  1640 
  1640 
  1641 
  1641 
  1642 LaTeX Warning: Citation `CrashCourse2014' on page 43 undefined on input line 223
  1642 LaTeX Warning: Citation `CrashCourse2014' on page 43 undefined on input line 219
  1643 .
  1643 .
  1644 
  1644 
  1645 [43]
  1645 [43]
  1646 
  1646 
  1647 LaTeX Warning: Citation `Sulzmann2014' on page 44 undefined on input line 235.
  1647 LaTeX Warning: Citation `Sulzmann2014' on page 44 undefined on input line 231.
  1648 
  1648 
  1649 
  1649 
  1650 LaTeX Warning: Citation `Vansummeren2006' on page 44 undefined on input line 237
  1650 LaTeX Warning: Citation `Vansummeren2006' on page 44 undefined on input line 233
  1651 .
  1651 .
  1652 
  1652 
  1653 
  1653 
  1654 LaTeX Warning: Citation `Sulzmann2014' on page 44 undefined on input line 238.
  1654 LaTeX Warning: Citation `Sulzmann2014' on page 44 undefined on input line 234.
  1655 
  1655 
  1656 (load luc: /Users/cstan/Library/texlive/2018/texmf-var/luatex-cache/generic/font
  1656 (load luc: /Users/cstan/Library/texlive/2018/texmf-var/luatex-cache/generic/font
  1657 s/otl/lmroman8-regular.luc)
  1657 s/otl/lmroman8-regular.luc)
  1658 
  1658 
  1659 LaTeX Warning: Citation `Sulzmann2014' on page 44 undefined on input line 242.
  1659 LaTeX Warning: Citation `Sulzmann2014' on page 44 undefined on input line 238.
  1660 
  1660 
  1661 
  1661 
  1662 LaTeX Warning: Citation `OkuiSuzuki2010' on page 44 undefined on input line 246.
  1662 LaTeX Warning: Citation `OkuiSuzuki2010' on page 44 undefined on input line 242.
  1663 
  1663 
  1664 
  1664 
  1665 (load luc: /Users/cstan/Library/texlive/2018/texmf-var/luatex-cache/generic/font
  1665 (load luc: /Users/cstan/Library/texlive/2018/texmf-var/luatex-cache/generic/font
  1666 s/otl/lmroman10-bolditalic.luc) [44]
  1666 s/otl/lmroman10-bolditalic.luc) [44]
  1667 
  1667 
  1668 LaTeX Font Warning: Font shape `U/stmry/b/n' undefined
  1668 LaTeX Font Warning: Font shape `U/stmry/b/n' undefined
  1669 (Font)              using `U/stmry/m/n' instead on input line 325.
  1669 (Font)              using `U/stmry/m/n' instead on input line 321.
  1670 
  1670 
  1671 
  1671 
  1672 LaTeX Warning: Citation `Krauss2011' on page 45 undefined on input line 330.
  1672 LaTeX Warning: Citation `Krauss2011' on page 45 undefined on input line 326.
  1673 
  1673 
  1674 (load luc: /Users/cstan/Library/texlive/2018/texmf-var/luatex-cache/generic/font
  1674 (load luc: /Users/cstan/Library/texlive/2018/texmf-var/luatex-cache/generic/font
  1675 s/otl/lmroman6-regular.luc)
  1675 s/otl/lmroman6-regular.luc)
  1676 
  1676 
  1677 LaTeX Warning: Citation `Brzozowski1964' on page 45 undefined on input line 345.
  1677 LaTeX Warning: Citation `Brzozowski1964' on page 45 undefined on input line 341.
  1678 
  1678 
  1679 
  1679 
  1680 
  1680 
  1681 Overfull \hbox (1.4002pt too wide) in paragraph at lines 352--373
  1681 Overfull \hbox (1.4002pt too wide) in paragraph at lines 348--369
  1682  [] 
  1682  [] 
  1683  []
  1683  []
  1684 
  1684 
  1685 [45]
  1685 [45]
  1686 
  1686 
  1687 LaTeX Warning: Citation `Sulzmann2014' on page 46 undefined on input line 408.
  1687 LaTeX Warning: Citation `Sulzmann2014' on page 46 undefined on input line 404.
  1688 
  1688 
  1689 
  1689 
  1690 LaTeX Warning: Citation `Sulzmann2014' on page 46 undefined on input line 432.
  1690 LaTeX Warning: Citation `Sulzmann2014' on page 46 undefined on input line 428.
  1691 
  1691 
  1692 
  1692 
  1693 LaTeX Warning: Citation `Frisch2004' on page 46 undefined on input line 449.
  1693 LaTeX Warning: Citation `Frisch2004' on page 46 undefined on input line 445.
  1694 
  1694 
  1695 
  1695 
  1696 LaTeX Warning: Citation `Sulzmann2014' on page 46 undefined on input line 450.
  1696 LaTeX Warning: Citation `Sulzmann2014' on page 46 undefined on input line 446.
  1697 
  1697 
  1698 
  1698 
  1699 LaTeX Warning: Citation `AusafDyckhoffUrban2016' on page 46 undefined on input l
  1699 LaTeX Warning: Citation `AusafDyckhoffUrban2016' on page 46 undefined on input l
  1700 ine 482.
  1700 ine 478.
  1701 
  1701 
  1702 [46]
  1702 [46]
  1703 
  1703 
  1704 LaTeX Warning: Citation `OkuiSuzuki2010' on page 47 undefined on input line 519.
  1704 LaTeX Warning: Citation `OkuiSuzuki2010' on page 47 undefined on input line 515.
  1705 
  1705 
  1706 
  1706 
  1707 
  1707 
  1708 LaTeX Warning: Citation `Frisch2004' on page 47 undefined on input line 519.
  1708 LaTeX Warning: Citation `Frisch2004' on page 47 undefined on input line 515.
  1709 
  1709 
  1710 
  1710 
  1711 Underfull \hbox (badness 10000) in paragraph at lines 579--580
  1711 Underfull \hbox (badness 10000) in paragraph at lines 575--576
  1712 
  1712 
  1713  []
  1713  []
  1714 
  1714 
  1715 
  1715 
  1716 LaTeX Warning: Citation `Sulzmann2014' on page 47 undefined on input line 590.
  1716 LaTeX Warning: Citation `Sulzmann2014' on page 47 undefined on input line 586.
  1717 
  1717 
  1718 
  1718 
  1719 LaTeX Warning: Citation `Sulzmann2014' on page 47 undefined on input line 590.
  1719 LaTeX Warning: Citation `Sulzmann2014' on page 47 undefined on input line 586.
  1720 
  1720 
  1721 [47]
  1721 [47]
  1722 
  1722 
  1723 LaTeX Warning: Citation `Sulzmann2014' on page 48 undefined on input line 610.
  1723 LaTeX Warning: Citation `Sulzmann2014' on page 48 undefined on input line 606.
  1724 
  1724 
  1725 
  1725 
  1726 Underfull \vbox (badness 10000) has occurred while \output is active []
  1726 Underfull \vbox (badness 10000) has occurred while \output is active []
  1727 
  1727 
  1728  [48]
  1728  [48]
  1729 [49]
  1729 [49]
  1730 
  1730 
  1731 LaTeX Warning: Citation `Sulzmann2014' on page 50 undefined on input line 718.
  1731 LaTeX Warning: Citation `Sulzmann2014' on page 50 undefined on input line 714.
  1732 
  1732 
  1733 
  1733 
  1734 LaTeX Warning: Citation `Vansummeren2006' on page 50 undefined on input line 725
  1734 LaTeX Warning: Citation `Vansummeren2006' on page 50 undefined on input line 721
  1735 .
  1735 .
  1736 
  1736 
  1737 (load luc: /Users/cstan/Library/texlive/2018/texmf-var/luatex-cache/generic/font
  1737 (load luc: /Users/cstan/Library/texlive/2018/texmf-var/luatex-cache/generic/font
  1738 s/otl/lmroman5-regular.luc) [50] [51] [52]
  1738 s/otl/lmroman5-regular.luc) [50] [51] [52]
  1739 
  1739 
  1740 LaTeX Warning: Citation `Sulzmann2014' on page 53 undefined on input line 938.
  1740 LaTeX Warning: Citation `Sulzmann2014' on page 53 undefined on input line 934.
  1741 
  1741 
  1742 
  1742 
  1743 LaTeX Warning: Citation `Sulzmann2014' on page 53 undefined on input line 940.
  1743 LaTeX Warning: Citation `Sulzmann2014' on page 53 undefined on input line 936.
  1744 
  1744 
  1745 
  1745 
  1746 LaTeX Warning: Citation `OkuiSuzuki2010' on page 53 undefined on input line 947.
  1746 LaTeX Warning: Citation `OkuiSuzuki2010' on page 53 undefined on input line 943.
  1747 
  1747 
  1748 
  1748 
  1749 
  1749 
  1750 LaTeX Warning: Citation `OkuiSuzukiTech' on page 53 undefined on input line 947.
  1750 LaTeX Warning: Citation `OkuiSuzukiTech' on page 53 undefined on input line 943.
  1751 
  1751 
  1752 
  1752 
  1753 [53] [54]
  1753 [53] [54]
  1754 
  1754 
  1755 LaTeX Warning: Citation `OkuiSuzuki2010' on page 55 undefined on input line 1069
  1755 LaTeX Warning: Citation `OkuiSuzuki2010' on page 55 undefined on input line 1065
  1756 .
  1756 .
  1757 
  1757 
  1758 
  1758 
  1759 LaTeX Warning: Citation `OkuiSuzuki2010' on page 55 undefined on input line 1090
  1759 LaTeX Warning: Citation `OkuiSuzuki2010' on page 55 undefined on input line 1086
  1760 .
  1760 .
  1761 
  1761 
  1762 
  1762 
  1763 LaTeX Warning: Citation `OkuiSuzuki2010' on page 55 undefined on input line 1130
  1763 LaTeX Warning: Citation `OkuiSuzuki2010' on page 55 undefined on input line 1126
  1764 .
  1764 .
  1765 
  1765 
  1766 [55]
  1766 [55]
  1767 Overfull \hbox (47.18065pt too wide) in paragraph at lines 1154--1184
  1767 Overfull \hbox (47.18065pt too wide) in paragraph at lines 1150--1180
  1768 [] [] 
  1768 [] [] 
  1769  []
  1769  []
  1770 
  1770 
  1771 [56] [57]
  1771 [56] [57]
  1772 
  1772 
  1773 LaTeX Warning: Citation `Sulzmann2014' on page 58 undefined on input line 1351.
  1773 LaTeX Warning: Citation `Sulzmann2014' on page 58 undefined on input line 1347.
  1774 
  1774 
  1775 (load luc: /Users/cstan/Library/texlive/2018/texmf-var/luatex-cache/generic/font
  1775 (load luc: /Users/cstan/Library/texlive/2018/texmf-var/luatex-cache/generic/font
  1776 s/otl/lmroman8-bold.luc)(load luc: /Users/cstan/Library/texlive/2018/texmf-var/l
  1776 s/otl/lmroman8-bold.luc)(load luc: /Users/cstan/Library/texlive/2018/texmf-var/l
  1777 uatex-cache/generic/fonts/otl/lmroman5-bold.luc)
  1777 uatex-cache/generic/fonts/otl/lmroman5-bold.luc)
  1778 
  1778 
  1779 LaTeX Warning: Citation `Sulzmann2014' on page 58 undefined on input line 1370.
  1779 LaTeX Warning: Citation `Sulzmann2014' on page 58 undefined on input line 1366.
  1780 
  1780 
  1781 
  1781 
  1782 Underfull \vbox (badness 10000) has occurred while \output is active []
  1782 Underfull \vbox (badness 10000) has occurred while \output is active []
  1783 
  1783 
  1784  [58]
  1784  [58]
  1785 Overfull \hbox (4.61574pt too wide) in paragraph at lines 1434--1435
  1785 Overfull \hbox (4.61574pt too wide) in paragraph at lines 1430--1431
  1786 \OT1/zplm/m/n/10 $$$\OMS/zplm/m/n/10 n$\TU/lmr/m/it/10 dn$\OT1/zplm/m/n/10 $$ $
  1786 \OT1/zplm/m/n/10 $$$\OMS/zplm/m/n/10 n$\TU/lmr/m/it/10 dn$\OT1/zplm/m/n/10 $$ $
  1787 \OT1/pplx/m/n/10 &$ $@$$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 thm $\OT1/zplm/m/n/1
  1787 \OT1/pplx/m/n/10 &$ $@$$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 thm $\OT1/zplm/m/n/1
  1788 0 ($\TU/lmr/m/it/10 rhs$\OT1/zplm/m/n/10 )$ \TU/lmr/m/it/10 in-tern$\OT1/pplx/m
  1788 0 ($\TU/lmr/m/it/10 rhs$\OT1/zplm/m/n/10 )$ \TU/lmr/m/it/10 in-tern$\OT1/pplx/m
  1789 /n/10 .$\TU/lmr/m/it/10 simps$\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 5$\OT1/zplm/m/
  1789 /n/10 .$\TU/lmr/m/it/10 simps$\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 5$\OT1/zplm/m/
  1790 n/10 )$$[$\TU/lmr/m/it/10 of r$[][]$ r$[][]$$\OT1/zplm/m/n/10 ]$$\OMS/zplm/m/n/
  1790 n/10 )$$[$\TU/lmr/m/it/10 of r$[][]$ r$[][]$$\OT1/zplm/m/n/10 ]$$\OMS/zplm/m/n/
  1793 T1/pplx/m/n/10 .$\TU/lmr/m/it/10 simps$\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 6$\OT
  1793 T1/pplx/m/n/10 .$\TU/lmr/m/it/10 simps$\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 6$\OT
  1794 1/zplm/m/n/10 )$$\OMS/zplm/m/n/10 g$
  1794 1/zplm/m/n/10 )$$\OMS/zplm/m/n/10 g$
  1795  []
  1795  []
  1796 
  1796 
  1797 
  1797 
  1798 Overfull \hbox (43.28516pt too wide) in paragraph at lines 1434--1435
  1798 Overfull \hbox (43.28516pt too wide) in paragraph at lines 1430--1431
  1799 \OT1/pplx/m/n/10 &$ $\OT1/zplm/m/n/10 $$$\OMS/zplm/m/n/10 n$\TU/lmr/m/it/10 dn$
  1799 \OT1/pplx/m/n/10 &$ $\OT1/zplm/m/n/10 $$$\OMS/zplm/m/n/10 n$\TU/lmr/m/it/10 dn$
  1800 \OT1/zplm/m/n/10 $$ $\OT1/pplx/m/n/10 &$ $@$$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10
  1800 \OT1/zplm/m/n/10 $$ $\OT1/pplx/m/n/10 &$ $@$$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10
  1801  thm $\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 rhs$\OT1/zplm/m/n/10 )$ \TU/lmr/m/it/1
  1801  thm $\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 rhs$\OT1/zplm/m/n/10 )$ \TU/lmr/m/it/1
  1802 0 in-tern$\OT1/pplx/m/n/10 .$\TU/lmr/m/it/10 simps$\OT1/zplm/m/n/10 ($\TU/lmr/m
  1802 0 in-tern$\OT1/pplx/m/n/10 .$\TU/lmr/m/it/10 simps$\OT1/zplm/m/n/10 ($\TU/lmr/m
  1803 /it/10 6$\OT1/zplm/m/n/10 )$$\OMS/zplm/m/n/10 g$$n$$n$ $n$\TU/lmr/m/it/10 end$\
  1803 /it/10 6$\OT1/zplm/m/n/10 )$$\OMS/zplm/m/n/10 g$$n$$n$ $n$\TU/lmr/m/it/10 end$\
  1805 0 end$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 center$\OMS/zplm/m/n/10 g$  $n$\TU/lmr
  1805 0 end$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 center$\OMS/zplm/m/n/10 g$  $n$\TU/lmr
  1806 /m/it/10 begin$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 center$\OMS/zplm/m/n/10 g$
  1806 /m/it/10 begin$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 center$\OMS/zplm/m/n/10 g$
  1807  []
  1807  []
  1808 
  1808 
  1809 
  1809 
  1810 Overfull \hbox (31.37523pt too wide) in paragraph at lines 1434--1435
  1810 Overfull \hbox (31.37523pt too wide) in paragraph at lines 1430--1431
  1811 \OMS/zplm/m/n/10 n$\TU/lmr/m/it/10 end$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 tabul
  1811 \OMS/zplm/m/n/10 n$\TU/lmr/m/it/10 end$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 tabul
  1812 ar$\OMS/zplm/m/n/10 g$ $n$\TU/lmr/m/it/10 end$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/1
  1812 ar$\OMS/zplm/m/n/10 g$ $n$\TU/lmr/m/it/10 end$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/1
  1813 0 center$\OMS/zplm/m/n/10 g$  \TU/lmr/m/it/10 Some sim-ple facts about erase  $
  1813 0 center$\OMS/zplm/m/n/10 g$  \TU/lmr/m/it/10 Some sim-ple facts about erase  $
  1814 \OMS/zplm/m/n/10 n$\TU/lmr/m/it/10 begin$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 lem
  1814 \OMS/zplm/m/n/10 n$\TU/lmr/m/it/10 begin$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 lem
  1815 ma$\OMS/zplm/m/n/10 g$$n$\TU/lmr/m/it/10 mbox$\OMS/zplm/m/n/10 f$$g$$n$$n$
  1815 ma$\OMS/zplm/m/n/10 g$$n$\TU/lmr/m/it/10 mbox$\OMS/zplm/m/n/10 f$$g$$n$$n$
  1816  []
  1816  []
  1817 
  1817 
  1818 
  1818 
  1819 Overfull \hbox (4.57928pt too wide) in paragraph at lines 1434--1435
  1819 Overfull \hbox (4.57928pt too wide) in paragraph at lines 1430--1431
  1820 \OT1/pplx/m/n/10 @$$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 thm $\OT1/zplm/m/n/10 ($
  1820 \OT1/pplx/m/n/10 @$$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 thm $\OT1/zplm/m/n/10 ($
  1821 \TU/lmr/m/it/10 rhs$\OT1/zplm/m/n/10 )$ \TU/lmr/m/it/10 bnul-lable$\OT1/pplx/m/
  1821 \TU/lmr/m/it/10 rhs$\OT1/zplm/m/n/10 )$ \TU/lmr/m/it/10 bnul-lable$\OT1/pplx/m/
  1822 n/10 .$\TU/lmr/m/it/10 simps$\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 4$\OT1/zplm/m/n
  1822 n/10 .$\TU/lmr/m/it/10 simps$\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 4$\OT1/zplm/m/n
  1823 /10 )$$[$\TU/lmr/m/it/10 of bs r$[][]$ r$[][]$$\OT1/zplm/m/n/10 ]$$\OMS/zplm/m/
  1823 /10 )$$[$\TU/lmr/m/it/10 of bs r$[][]$ r$[][]$$\OT1/zplm/m/n/10 ]$$\OMS/zplm/m/
  1824 n/10 g$$n$$n$ $\OT1/pplx/m/n/10 @$$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 thm $\OT1
  1824 n/10 g$$n$$n$ $\OT1/pplx/m/n/10 @$$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 thm $\OT1
  1826 le$\OT1/pplx/m/n/10 .$\TU/lmr/m/it/10 simps$\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 
  1826 le$\OT1/pplx/m/n/10 .$\TU/lmr/m/it/10 simps$\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 
  1827 5$\OT1/zplm/m/n/10 )$$[$\TU/lmr/m/it/10 of
  1827 5$\OT1/zplm/m/n/10 )$$[$\TU/lmr/m/it/10 of
  1828  []
  1828  []
  1829 
  1829 
  1830 
  1830 
  1831 Overfull \hbox (7.7924pt too wide) in paragraph at lines 1434--1435
  1831 Overfull \hbox (7.7924pt too wide) in paragraph at lines 1430--1431
  1832 \OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 lhs$\OT1/zplm/m/n/10 )$ \TU/lmr/m/it/10 bnul
  1832 \OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 lhs$\OT1/zplm/m/n/10 )$ \TU/lmr/m/it/10 bnul
  1833 -lable$\OT1/pplx/m/n/10 .$\TU/lmr/m/it/10 simps$\OT1/zplm/m/n/10 ($\TU/lmr/m/it
  1833 -lable$\OT1/pplx/m/n/10 .$\TU/lmr/m/it/10 simps$\OT1/zplm/m/n/10 ($\TU/lmr/m/it
  1834 /10 6$\OT1/zplm/m/n/10 )$$\OMS/zplm/m/n/10 g$ $\OT1/pplx/m/n/10 &$ $\OT1/zplm/m
  1834 /10 6$\OT1/zplm/m/n/10 )$$\OMS/zplm/m/n/10 g$ $\OT1/pplx/m/n/10 &$ $\OT1/zplm/m
  1835 /n/10 $$$\OMS/zplm/m/n/10 n$\TU/lmr/m/it/10 dn$\OT1/zplm/m/n/10 $$ $\OT1/pplx/m
  1835 /n/10 $$$\OMS/zplm/m/n/10 n$\TU/lmr/m/it/10 dn$\OT1/zplm/m/n/10 $$ $\OT1/pplx/m
  1836 /n/10 &$ $@$$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 thm $\OT1/zplm/m/n/10 ($\TU/lmr
  1836 /n/10 &$ $@$$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 thm $\OT1/zplm/m/n/10 ($\TU/lmr
  1838 \TU/lmr/m/it/10 simps$\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 6$\OT1/zplm/m/n/10 )$$
  1838 \TU/lmr/m/it/10 simps$\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 6$\OT1/zplm/m/n/10 )$$
  1839 \OMS/zplm/m/n/10 g$$n$\TU/lmr/m/it/10 medskip$\OMS/zplm/m/n/10 n$$n$
  1839 \OMS/zplm/m/n/10 g$$n$\TU/lmr/m/it/10 medskip$\OMS/zplm/m/n/10 n$$n$
  1840  []
  1840  []
  1841 
  1841 
  1842 
  1842 
  1843 Overfull \hbox (34.28575pt too wide) in paragraph at lines 1434--1435
  1843 Overfull \hbox (34.28575pt too wide) in paragraph at lines 1430--1431
  1844 \TU/lmr/m/it/10 bder$\OT1/pplx/m/n/10 .$\TU/lmr/m/it/10 simps$\OT1/zplm/m/n/10 
  1844 \TU/lmr/m/it/10 bder$\OT1/pplx/m/n/10 .$\TU/lmr/m/it/10 simps$\OT1/zplm/m/n/10 
  1845 ($\TU/lmr/m/it/10 3$\OT1/zplm/m/n/10 )$$\OMS/zplm/m/n/10 g$ $\OT1/pplx/m/n/10 &
  1845 ($\TU/lmr/m/it/10 3$\OT1/zplm/m/n/10 )$$\OMS/zplm/m/n/10 g$ $\OT1/pplx/m/n/10 &
  1846 $ $\OT1/zplm/m/n/10 $$$\OMS/zplm/m/n/10 n$\TU/lmr/m/it/10 dn$\OT1/zplm/m/n/10 $
  1846 $ $\OT1/zplm/m/n/10 $$$\OMS/zplm/m/n/10 n$\TU/lmr/m/it/10 dn$\OT1/zplm/m/n/10 $
  1847 $ $\OT1/pplx/m/n/10 &$ $@$$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 thm $\OT1/zplm/m/
  1847 $ $\OT1/pplx/m/n/10 &$ $@$$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 thm $\OT1/zplm/m/
  1848 n/10 ($\TU/lmr/m/it/10 rhs$\OT1/zplm/m/n/10 )$ \TU/lmr/m/it/10 bder$\OT1/pplx/m
  1848 n/10 ($\TU/lmr/m/it/10 rhs$\OT1/zplm/m/n/10 )$ \TU/lmr/m/it/10 bder$\OT1/pplx/m
  1852 lmr/m/it/10 bder$\OT1/pplx/m/n/10 .$\TU/lmr/m/it/10 simps$\OT1/zplm/m/n/10 ($\T
  1852 lmr/m/it/10 bder$\OT1/pplx/m/n/10 .$\TU/lmr/m/it/10 simps$\OT1/zplm/m/n/10 ($\T
  1853 U/lmr/m/it/10 4$\OT1/zplm/m/n/10 )$$[$\TU/lmr/m/it/10 of
  1853 U/lmr/m/it/10 4$\OT1/zplm/m/n/10 )$$[$\TU/lmr/m/it/10 of
  1854  []
  1854  []
  1855 
  1855 
  1856 
  1856 
  1857 Overfull \hbox (3.47198pt too wide) in paragraph at lines 1434--1435
  1857 Overfull \hbox (3.47198pt too wide) in paragraph at lines 1430--1431
  1858 \OT1/pplx/m/n/10 @$$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 thm $\OT1/zplm/m/n/10 ($
  1858 \OT1/pplx/m/n/10 @$$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 thm $\OT1/zplm/m/n/10 ($
  1859 \TU/lmr/m/it/10 rhs$\OT1/zplm/m/n/10 )$ \TU/lmr/m/it/10 bmkeps$\OT1/pplx/m/n/10
  1859 \TU/lmr/m/it/10 rhs$\OT1/zplm/m/n/10 )$ \TU/lmr/m/it/10 bmkeps$\OT1/pplx/m/n/10
  1860  .$\TU/lmr/m/it/10 simps$\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 4$\OT1/zplm/m/n/10 
  1860  .$\TU/lmr/m/it/10 simps$\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 4$\OT1/zplm/m/n/10 
  1861 )$$\OMS/zplm/m/n/10 g$$n$\TU/lmr/m/it/10 medskip$\OMS/zplm/m/n/10 n$$n$ $n$\TU/
  1861 )$$\OMS/zplm/m/n/10 g$$n$\TU/lmr/m/it/10 medskip$\OMS/zplm/m/n/10 n$$n$ $n$\TU/
  1862 lmr/m/it/10 end$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 tabular$\OMS/zplm/m/n/10 g$ 
  1862 lmr/m/it/10 end$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 tabular$\OMS/zplm/m/n/10 g$ 
  1863 $n$\TU/lmr/m/it/10 end$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 center$\OMS/zplm/m/n/
  1863 $n$\TU/lmr/m/it/10 end$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 center$\OMS/zplm/m/n/
  1864 10 g$   $\OT1/pplx/m/n/10 @$$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 thm
  1864 10 g$   $\OT1/pplx/m/n/10 @$$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 thm
  1865  []
  1865  []
  1866 
  1866 
  1867 
  1867 
  1868 Overfull \hbox (2.7528pt too wide) in paragraph at lines 1434--1435
  1868 Overfull \hbox (2.7528pt too wide) in paragraph at lines 1430--1431
  1869 \OMS/zplm/m/n/10 n$\TU/lmr/m/it/10 noindent Def-i-ni-tion of the bit-coded lexe
  1869 \OMS/zplm/m/n/10 n$\TU/lmr/m/it/10 noindent Def-i-ni-tion of the bit-coded lexe
  1870 r  $\OT1/pplx/m/n/10 @$$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 thm blexer[]def$\OMS
  1870 r  $\OT1/pplx/m/n/10 @$$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 thm blexer[]def$\OMS
  1871 /zplm/m/n/10 g$   $n$\TU/lmr/m/it/10 begin$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 t
  1871 /zplm/m/n/10 g$   $n$\TU/lmr/m/it/10 begin$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 t
  1872 heorem$\OMS/zplm/m/n/10 g$
  1872 heorem$\OMS/zplm/m/n/10 g$
  1873  []
  1873  []
  1874 
  1874 
  1875 [59]
  1875 [59]
  1876 Underfull \vbox (badness 10000) has occurred while \output is active []
  1876 Underfull \vbox (badness 10000) has occurred while \output is active []
  1877 
  1877 
  1878  [60]
  1878  [60]
  1879 Overfull \hbox (2.67558pt too wide) in paragraph at lines 1438--1447
  1879 Overfull \hbox (2.67558pt too wide) in paragraph at lines 1434--1443
  1880 \TU/lmr/m/it/10 ac-cord-ing to rules like  $\OMS/zplm/m/n/10 n$\TU/lmr/m/it/10 
  1880 \TU/lmr/m/it/10 ac-cord-ing to rules like  $\OMS/zplm/m/n/10 n$\TU/lmr/m/it/10 
  1881 begin$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 equation$\OMS/zplm/m/n/10 g$$n$\TU/lmr
  1881 begin$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 equation$\OMS/zplm/m/n/10 g$$n$\TU/lmr
  1882 /m/it/10 label$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 Simpl$\OMS/zplm/m/n/10 g$ $n$
  1882 /m/it/10 label$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 Simpl$\OMS/zplm/m/n/10 g$ $n$
  1883 \TU/lmr/m/it/10 begin$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 array$\OMS/zplm/m/n/10
  1883 \TU/lmr/m/it/10 begin$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 array$\OMS/zplm/m/n/10
  1884  g$$f$\TU/lmr/m/it/10 lcllcllcllcl$\OMS/zplm/m/n/10 g$
  1884  g$$f$\TU/lmr/m/it/10 lcllcllcllcl$\OMS/zplm/m/n/10 g$
  1885  []
  1885  []
  1886 
  1886 
  1887 
  1887 
  1888 Overfull \hbox (35.68385pt too wide) in paragraph at lines 1438--1447
  1888 Overfull \hbox (35.68385pt too wide) in paragraph at lines 1434--1443
  1889 \TU/lmr/m/it/10 F[]SEQ1$\OT1/pplx/m/n/10 .$\TU/lmr/m/it/10 simps$\OT1/zplm/m/n/
  1889 \TU/lmr/m/it/10 F[]SEQ1$\OT1/pplx/m/n/10 .$\TU/lmr/m/it/10 simps$\OT1/zplm/m/n/
  1890 10 ($\TU/lmr/m/it/10 1$\OT1/zplm/m/n/10 )$$\OMS/zplm/m/n/10 g$ $\OT1/pplx/m/n/1
  1890 10 ($\TU/lmr/m/it/10 1$\OT1/zplm/m/n/10 )$$\OMS/zplm/m/n/10 g$ $\OT1/pplx/m/n/1
  1891 0 &$ $\OT1/zplm/m/n/10 $$$\OMS/zplm/m/n/10 n$\TU/lmr/m/it/10 dn$\OT1/zplm/m/n/1
  1891 0 &$ $\OT1/zplm/m/n/10 $$$\OMS/zplm/m/n/10 n$\TU/lmr/m/it/10 dn$\OT1/zplm/m/n/1
  1892 0 $$ $\OT1/pplx/m/n/10 &$ []\TU/lmr/m/it/10 Seq $\OT1/zplm/m/n/10 ($\TU/lmr/m/i
  1892 0 $$ $\OT1/pplx/m/n/10 &$ []\TU/lmr/m/it/10 Seq $\OT1/zplm/m/n/10 ($\TU/lmr/m/i
  1893 t/10 f$[][]$ $\OT1/zplm/m/n/10 ($$)$$)$ $($\TU/lmr/m/it/10 f$[][]$ v$\OT1/zplm/
  1893 t/10 f$[][]$ $\OT1/zplm/m/n/10 ($$)$$)$ $($\TU/lmr/m/it/10 f$[][]$ v$\OT1/zplm/
  1896 /lmr/m/it/10 F[]SEQ2$\OT1/pplx/m/n/10 .$\TU/lmr/m/it/10 simps$\OT1/zplm/m/n/10 
  1896 /lmr/m/it/10 F[]SEQ2$\OT1/pplx/m/n/10 .$\TU/lmr/m/it/10 simps$\OT1/zplm/m/n/10 
  1897 ($\TU/lmr/m/it/10 1$\OT1/zplm/m/n/10 )$$\OMS/zplm/m/n/10 g$
  1897 ($\TU/lmr/m/it/10 1$\OT1/zplm/m/n/10 )$$\OMS/zplm/m/n/10 g$
  1898  []
  1898  []
  1899 
  1899 
  1900 
  1900 
  1901 Overfull \hbox (18.66588pt too wide) in paragraph at lines 1438--1447
  1901 Overfull \hbox (18.66588pt too wide) in paragraph at lines 1434--1443
  1902 \OT1/pplx/m/n/10 &$ $@$$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 thm L[]fst[]simp$\OT
  1902 \OT1/pplx/m/n/10 &$ $@$$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 thm L[]fst[]simp$\OT
  1903 1/zplm/m/n/10 [$\TU/lmr/m/it/10 symmetric$\OT1/zplm/m/n/10 ]$$\OMS/zplm/m/n/10 
  1903 1/zplm/m/n/10 [$\TU/lmr/m/it/10 symmetric$\OT1/zplm/m/n/10 ]$$\OMS/zplm/m/n/10 
  1904 g$$n$$n$ $\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 2$\OT1/zplm/m/n/10 )$ $\OT1/pplx/m
  1904 g$$n$$n$ $\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 2$\OT1/zplm/m/n/10 )$ $\OT1/pplx/m
  1905 /n/10 &$ $@$$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 thm$\OT1/zplm/m/n/10 [$\TU/lmr/
  1905 /n/10 &$ $@$$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 thm$\OT1/zplm/m/n/10 [$\TU/lmr/
  1906 m/it/10 mode$\OT1/zplm/m/n/10 =$\TU/lmr/m/it/10 IfThen$\OT1/zplm/m/n/10 ]$ \TU/
  1906 m/it/10 mode$\OT1/zplm/m/n/10 =$\TU/lmr/m/it/10 IfThen$\OT1/zplm/m/n/10 ]$ \TU/
  1920 Package atveryend Info: Empty hook `BeforeClearDocument' on input line 96.
  1920 Package atveryend Info: Empty hook `BeforeClearDocument' on input line 96.
  1921 Package atveryend Info: Empty hook `AfterLastShipout' on input line 96.
  1921 Package atveryend Info: Empty hook `AfterLastShipout' on input line 96.
  1922  (./root.aux)
  1922  (./root.aux)
  1923 Package atveryend Info: Executing hook `AtVeryEndDocument' on input line 96.
  1923 Package atveryend Info: Executing hook `AtVeryEndDocument' on input line 96.
  1924 Package atveryend Info: Executing hook `AtEndAfterFileList' on input line 96.
  1924 Package atveryend Info: Executing hook `AtEndAfterFileList' on input line 96.
  1925 
  1925 Package rerunfilecheck Info: File `root.out' has not changed.
  1926 
  1926 (rerunfilecheck)             Checksum: F68486A1B88421815EBCC3CB75200893;512.
  1927 Package rerunfilecheck Warning: File `root.out' has changed.
  1927 
  1928 (rerunfilecheck)                Rerun to get outlines right
       
  1929 (rerunfilecheck)                or use package `bookmark'.
       
  1930 
       
  1931 Package rerunfilecheck Info: Checksums for `root.out':
       
  1932 (rerunfilecheck)             Before: 40AB4FCF7DFB133886AD9117C6B3D022;396
       
  1933 (rerunfilecheck)             After:  F68486A1B88421815EBCC3CB75200893;512.
       
  1934 
  1928 
  1935 LaTeX Font Warning: Size substitutions with differences
  1929 LaTeX Font Warning: Size substitutions with differences
  1936 (Font)              up to 2.26395pt have occurred.
  1930 (Font)              up to 2.26395pt have occurred.
  1937 
  1931 
  1938 
  1932 
  1939 LaTeX Font Warning: Some font shapes were not available, defaults substituted.
  1933 LaTeX Font Warning: Some font shapes were not available, defaults substituted.
  1940 
  1934 
  1941 
       
  1942 LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right.
       
  1943 
       
  1944 Package atveryend Info: Empty hook `AtVeryVeryEnd' on input line 96.
  1935 Package atveryend Info: Empty hook `AtVeryVeryEnd' on input line 96.
  1945 )
  1936 )
  1946 
  1937 
  1947 Here is how much of LuaTeX's memory you used:
  1938 Here is how much of LuaTeX's memory you used:
  1948  29104 strings out of 494413
  1939  29101 strings out of 494413
  1949  156265,794899 words of node,token memory allocated
  1940  156265,794899 words of node,token memory allocated
  1950  1590 words of node memory still in use:
  1941  1590 words of node memory still in use:
  1951    9 hlist, 2 vlist, 2 rule, 11 disc, 21 glue, 7 kern, 98 glyph, 33 attribute, 5
  1942    9 hlist, 2 vlist, 2 rule, 11 disc, 21 glue, 7 kern, 98 glyph, 33 attribute, 5
  1952 7 glue_spec, 33 attribute_list, 1 write nodes
  1943 7 glue_spec, 33 attribute_list, 1 write nodes
  1953    avail lists: 2:6992,3:290,4:52,5:2358,6:47,7:12582,8:52,9:593,10:23,11:398
  1944    avail lists: 2:6992,3:291,4:52,5:2358,6:47,7:12582,8:52,9:593,10:23,11:398
  1954  31952 multiletter control sequences out of 65536+600000
  1945  31954 multiletter control sequences out of 65536+600000
  1955  282 fonts using 23215399 bytes
  1946  282 fonts using 23215399 bytes
  1956  55i,23n,68p,45885b,993s stack positions out of 5000i,500n,10000p,200000b,100000s
  1947  55i,23n,68p,45885b,993s stack positions out of 5000i,500n,10000p,200000b,100000s
  1957 
       
  1958 warning  (pdf backend): unreferenced destination with name 'equation.1.6.2'
       
  1959 
       
  1960 warning  (pdf backend): unreferenced destination with name 'theorem.1.4.3'
       
  1961 
       
  1962 warning  (pdf backend): unreferenced destination with name 'theorem.1.3.2'
       
  1963 
       
  1964 warning  (pdf backend): unreferenced destination with name 'theorem.1.3.1'
       
  1965 
       
  1966 warning  (pdf backend): unreferenced destination with name 'equation.1.2.1'
       
  1967 </usr/local/texlive/2018/texmf-dist/fonts/opentype/public/lm/lmroman7-regular.ot
  1948 </usr/local/texlive/2018/texmf-dist/fonts/opentype/public/lm/lmroman7-regular.ot
  1968 f></usr/local/texlive/2018/texmf-dist/fonts/opentype/public/lm/lmroman8-regular.
  1949 f></usr/local/texlive/2018/texmf-dist/fonts/opentype/public/lm/lmroman8-regular.
  1969 otf></usr/local/texlive/2018/texmf-dist/fonts/opentype/public/lm/lmroman7-italic
  1950 otf></usr/local/texlive/2018/texmf-dist/fonts/opentype/public/lm/lmroman7-italic
  1970 .otf></usr/local/texlive/2018/texmf-dist/fonts/opentype/public/lm/lmroman10-ital
  1951 .otf></usr/local/texlive/2018/texmf-dist/fonts/opentype/public/lm/lmroman10-ital
  1971 ic.otf></usr/local/texlive/2018/texmf-dist/fonts/opentype/public/lm/lmroman10-bo
  1952 ic.otf></usr/local/texlive/2018/texmf-dist/fonts/opentype/public/lm/lmroman10-bo
  1984 exlive/2018/texmf-dist/fonts/type1/public/amsfonts/symbols/msam10.pfb></usr/loca
  1965 exlive/2018/texmf-dist/fonts/type1/public/amsfonts/symbols/msam10.pfb></usr/loca
  1985 l/texlive/2018/texmf-dist/fonts/type1/public/amsfonts/symbols/msbm10.pfb></usr/l
  1966 l/texlive/2018/texmf-dist/fonts/type1/public/amsfonts/symbols/msbm10.pfb></usr/l
  1986 ocal/texlive/2018/texmf-dist/fonts/type1/public/stmaryrd/stmary10.pfb></usr/loca
  1967 ocal/texlive/2018/texmf-dist/fonts/type1/public/stmaryrd/stmary10.pfb></usr/loca
  1987 l/texlive/2018/texmf-dist/fonts/type1/urw/palatino/uplr8a.pfb></usr/local/texliv
  1968 l/texlive/2018/texmf-dist/fonts/type1/urw/palatino/uplr8a.pfb></usr/local/texliv
  1988 e/2018/texmf-dist/fonts/type1/urw/palatino/uplri8a.pfb>
  1969 e/2018/texmf-dist/fonts/type1/urw/palatino/uplri8a.pfb>
  1989 Output written on root.pdf (65 pages, 375818 bytes).
  1970 Output written on root.pdf (65 pages, 375799 bytes).
  1990 
  1971 
  1991 PDF statistics: 526 PDF objects out of 1000 (max. 8388607)
  1972 PDF statistics: 527 PDF objects out of 1000 (max. 8388607)
  1992  411 compressed objects within 5 object streams
  1973  412 compressed objects within 5 object streams
  1993  112 named destinations out of 1000 (max. 131072)
  1974  107 named destinations out of 1000 (max. 131072)
  1994  72 words of extra memory for PDF output out of 10000 (max. 100000000)
  1975  88 words of extra memory for PDF output out of 10000 (max. 100000000)
  1995 
  1976