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/ |
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 |
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/ |
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 |