kkoudas

proof

Jul 15th, 2019
114
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. This is pdfTeX, Version 3.14159265-2.6-1.40.20 (MiKTeX 2.9.7050 64-bit) (preloaded format=pdflatex 2019.6.16) 15 JUL 2019 10:12
  2. entering extended mode
  3. **./doc4ument.tex
  4. (doc4ument.tex
  5. LaTeX2e <2018-12-01>
  6. ("C:\Users\HP 250\AppData\Local\Programs\MiKTeX 2.9\tex/latex/base\article.cls"
  7. Document Class: article 2018/09/03 v1.4i Standard LaTeX document class
  8. ("C:\Users\HP 250\AppData\Local\Programs\MiKTeX 2.9\tex/latex/base\size10.clo"
  9. File: size10.clo 2018/09/03 v1.4i Standard LaTeX file (size option)
  10. )
  11. \c@part=\count80
  12. \c@section=\count81
  13. \c@subsection=\count82
  14. \c@subsubsection=\count83
  15. \c@paragraph=\count84
  16. \c@subparagraph=\count85
  17. \c@figure=\count86
  18. \c@table=\count87
  19. \abovecaptionskip=\skip41
  20. \belowcaptionskip=\skip42
  21. \bibindent=\dimen102
  22. )
  23. ("C:\Users\HP 250\AppData\Local\Programs\MiKTeX 2.9\tex/latex/amsmath\amsmath.s
  24. ty"
  25. Package: amsmath 2018/12/01 v2.17b AMS math features
  26. \@mathmargin=\skip43
  27.  
  28. For additional information on amsmath, use the `?' option.
  29.  
  30. ("C:\Users\HP 250\AppData\Local\Programs\MiKTeX 2.9\tex/latex/amsmath\amstext.s
  31. ty"
  32. Package: amstext 2000/06/29 v2.01 AMS text
  33.  
  34. ("C:\Users\HP 250\AppData\Local\Programs\MiKTeX 2.9\tex/latex/amsmath\amsgen.st
  35. y"
  36. File: amsgen.sty 1999/11/30 v2.0 generic functions
  37. \@emptytoks=\toks14
  38. \ex@=\dimen103
  39. ))
  40. ("C:\Users\HP 250\AppData\Local\Programs\MiKTeX 2.9\tex/latex/amsmath\amsbsy.st
  41. y"
  42. Package: amsbsy 1999/11/29 v1.2d Bold Symbols
  43. \pmbraise@=\dimen104
  44. )
  45. ("C:\Users\HP 250\AppData\Local\Programs\MiKTeX 2.9\tex/latex/amsmath\amsopn.st
  46. y"
  47. Package: amsopn 2016/03/08 v2.02 operator names
  48. )
  49. \inf@bad=\count88
  50. LaTeX Info: Redefining \frac on input line 223.
  51. \uproot@=\count89
  52. \leftroot@=\count90
  53. LaTeX Info: Redefining \overline on input line 385.
  54. \classnum@=\count91
  55. \DOTSCASE@=\count92
  56. LaTeX Info: Redefining \ldots on input line 482.
  57. LaTeX Info: Redefining \dots on input line 485.
  58. LaTeX Info: Redefining \cdots on input line 606.
  59. \Mathstrutbox@=\box27
  60. \strutbox@=\box28
  61. \big@size=\dimen105
  62. LaTeX Font Info: Redeclaring font encoding OML on input line 729.
  63. LaTeX Font Info: Redeclaring font encoding OMS on input line 730.
  64. \macc@depth=\count93
  65. \c@MaxMatrixCols=\count94
  66. \dotsspace@=\muskip10
  67. \c@parentequation=\count95
  68. \dspbrk@lvl=\count96
  69. \tag@help=\toks15
  70. \row@=\count97
  71. \column@=\count98
  72. \maxfields@=\count99
  73. \andhelp@=\toks16
  74. \eqnshift@=\dimen106
  75. \alignsep@=\dimen107
  76. \tagshift@=\dimen108
  77. \tagwidth@=\dimen109
  78. \totwidth@=\dimen110
  79. \lineht@=\dimen111
  80. \@envbody=\toks17
  81. \multlinegap=\skip44
  82. \multlinetaggap=\skip45
  83. \mathdisplay@stack=\toks18
  84. LaTeX Info: Redefining \[ on input line 2844.
  85. LaTeX Info: Redefining \] on input line 2845.
  86. )
  87. ("C:\Users\HP 250\AppData\Local\Programs\MiKTeX 2.9\tex/latex/amscls\amsthm.sty
  88. "
  89. Package: amsthm 2017/10/31 v2.20.4
  90. \thm@style=\toks19
  91. \thm@bodyfont=\toks20
  92. \thm@headfont=\toks21
  93. \thm@notefont=\toks22
  94. \thm@headpunct=\toks23
  95. \thm@preskip=\skip46
  96. \thm@postskip=\skip47
  97. \thm@headsep=\skip48
  98. \dth@everypar=\toks24
  99. ) (doc4ument.aux)
  100. \openout1 = `doc4ument.aux'.
  101.  
  102. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 10.
  103. LaTeX Font Info: ... okay on input line 10.
  104. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 10.
  105. LaTeX Font Info: ... okay on input line 10.
  106. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 10.
  107. LaTeX Font Info: ... okay on input line 10.
  108. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 10.
  109. LaTeX Font Info: ... okay on input line 10.
  110. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 10.
  111. LaTeX Font Info: ... okay on input line 10.
  112. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 10.
  113. LaTeX Font Info: ... okay on input line 10.
  114.  
  115. ! TeX capacity exceeded, sorry [grouping levels=255].
  116. \begin ...1\endcsname }}\@ignorefalse \begingroup
  117. \@endpefalse \reserved@a
  118. l.14 \begin{proof}[Proof of my theorem]
  119.  
  120. If you really absolutely need more capacity,
  121. you can ask a wizard to enlarge me.
  122.  
  123.  
  124. Here is how much of TeX's memory you used:
  125. 881 strings out of 492895
  126. 10349 string characters out of 3123266
  127. 79964 words of memory out of 3000000
  128. 4866 multiletter control sequences out of 15000+200000
  129. 3640 words of font info for 14 fonts, out of 3000000 for 9000
  130. 1141 hyphenation exceptions out of 8191
  131. 258i,1n,257p,207b,3054s stack positions out of 5000i,500n,10000p,200000b,50000s
  132. ! ==> Fatal error occurred, no output PDF file produced!
RAW Paste Data