root / CSL17 / DICE2017_TALK / unboundedArithmetic.log @ 189
Historique | Voir | Annoter | Télécharger (43,54 ko)
| 1 |
This is pdfTeX, Version 3.1415926-2.4-1.40.13 (TeX Live 2012) (format=pdflatex 2012.6.30) 22 APR 2017 02:02 |
|---|---|
| 2 |
entering extended mode |
| 3 |
\write18 enabled. |
| 4 |
file:line:error style messages enabled. |
| 5 |
%&-line parsing enabled. |
| 6 |
**unboundedArithmetic.tex |
| 7 |
(./unboundedArithmetic.tex |
| 8 |
LaTeX2e <2011/06/27> |
| 9 |
Babel <v3.8m> and hyphenation patterns for english, dumylang, nohyphenation, ge |
| 10 |
rman-x-2012-05-30, ngerman-x-2012-05-30, afrikaans, ancientgreek, ibycus, arabi |
| 11 |
c, armenian, basque, bulgarian, catalan, pinyin, coptic, croatian, czech, danis |
| 12 |
h, dutch, ukenglish, usenglishmax, esperanto, estonian, ethiopic, farsi, finnis |
| 13 |
h, french, friulan, galician, german, ngerman, swissgerman, monogreek, greek, h |
| 14 |
ungarian, icelandic, assamese, bengali, gujarati, hindi, kannada, malayalam, ma |
| 15 |
rathi, oriya, panjabi, tamil, telugu, indonesian, interlingua, irish, italian, |
| 16 |
kurmanji, latin, latvian, lithuanian, mongolian, mongolianlmc, bokmal, nynorsk, |
| 17 |
polish, portuguese, romanian, romansh, russian, sanskrit, serbian, serbianc, s |
| 18 |
lovak, slovenian, spanish, swedish, turkish, turkmen, ukrainian, uppersorbian, |
| 19 |
welsh, loaded. |
| 20 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/beamer.cls |
| 21 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/beamerbasercs.sty |
| 22 |
Package: beamerbasercs 2012/06/01 (rcs-revision 352157baec3a) |
| 23 |
) |
| 24 |
Document Class: beamer 2011/09/12 development version 3.20 A class for typesett |
| 25 |
ing presentations (rcs-revision 70f9d8411e54) |
| 26 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/beamerbasemodes.sty |
| 27 |
Package: beamerbasemodes 2012/04/15 (rcs-revision cc6557182d97) |
| 28 |
\beamer@tempbox=\box26 |
| 29 |
\beamer@tempcount=\count79 |
| 30 |
\c@beamerpauses=\count80 |
| 31 |
|
| 32 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/beamerbasedecode.sty |
| 33 |
Package: beamerbasedecode 2010/05/01 (rcs-revision efa082c6111d) |
| 34 |
\beamer@slideinframe=\count81 |
| 35 |
\beamer@minimum=\count82 |
| 36 |
) |
| 37 |
\beamer@commentbox=\box27 |
| 38 |
\beamer@modecount=\count83 |
| 39 |
) |
| 40 |
(/usr/local/texlive/2012/texmf-dist/tex/generic/oberdiek/ifpdf.sty |
| 41 |
Package: ifpdf 2011/01/30 v2.3 Provides the ifpdf switch (HO) |
| 42 |
Package ifpdf Info: pdfTeX in PDF mode is detected. |
| 43 |
) |
| 44 |
\headheight=\dimen102 |
| 45 |
\headdp=\dimen103 |
| 46 |
\footheight=\dimen104 |
| 47 |
\sidebarheight=\dimen105 |
| 48 |
\beamer@tempdim=\dimen106 |
| 49 |
\beamer@finalheight=\dimen107 |
| 50 |
\beamer@animht=\dimen108 |
| 51 |
\beamer@animdp=\dimen109 |
| 52 |
\beamer@animwd=\dimen110 |
| 53 |
\beamer@leftmargin=\dimen111 |
| 54 |
\beamer@rightmargin=\dimen112 |
| 55 |
\beamer@leftsidebar=\dimen113 |
| 56 |
\beamer@rightsidebar=\dimen114 |
| 57 |
\beamer@boxsize=\dimen115 |
| 58 |
\beamer@vboxoffset=\dimen116 |
| 59 |
\beamer@descdefault=\dimen117 |
| 60 |
\beamer@descriptionwidth=\dimen118 |
| 61 |
\beamer@lastskip=\skip41 |
| 62 |
\beamer@areabox=\box28 |
| 63 |
\beamer@animcurrent=\box29 |
| 64 |
\beamer@animshowbox=\box30 |
| 65 |
\beamer@sectionbox=\box31 |
| 66 |
\beamer@logobox=\box32 |
| 67 |
\beamer@linebox=\box33 |
| 68 |
\beamer@sectioncount=\count84 |
| 69 |
\beamer@subsubsectionmax=\count85 |
| 70 |
\beamer@subsectionmax=\count86 |
| 71 |
\beamer@sectionmax=\count87 |
| 72 |
\beamer@totalheads=\count88 |
| 73 |
\beamer@headcounter=\count89 |
| 74 |
\beamer@partstartpage=\count90 |
| 75 |
\beamer@sectionstartpage=\count91 |
| 76 |
\beamer@subsectionstartpage=\count92 |
| 77 |
\beamer@animationtempa=\count93 |
| 78 |
\beamer@animationtempb=\count94 |
| 79 |
\beamer@xpos=\count95 |
| 80 |
\beamer@ypos=\count96 |
| 81 |
\beamer@showpartnumber=\count97 |
| 82 |
\beamer@currentsubsection=\count98 |
| 83 |
\beamer@coveringdepth=\count99 |
| 84 |
\beamer@sectionadjust=\count100 |
| 85 |
\beamer@tocsectionnumber=\count101 |
| 86 |
|
| 87 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/beamerbaseoptions.sty |
| 88 |
Package: beamerbaseoptions 2010/04/27 (rcs-revision 982469101dd6) |
| 89 |
|
| 90 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/graphics/keyval.sty |
| 91 |
Package: keyval 1999/03/16 v1.13 key=value parser (DPC) |
| 92 |
\KV@toks@=\toks14 |
| 93 |
)) |
| 94 |
\beamer@paperwidth=\skip42 |
| 95 |
\beamer@paperheight=\skip43 |
| 96 |
|
| 97 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/geometry/geometry.sty |
| 98 |
Package: geometry 2010/09/12 v5.6 Page Geometry |
| 99 |
|
| 100 |
(/usr/local/texlive/2012/texmf-dist/tex/generic/oberdiek/ifvtex.sty |
| 101 |
Package: ifvtex 2010/03/01 v1.5 Detect VTeX and its facilities (HO) |
| 102 |
Package ifvtex Info: VTeX not detected. |
| 103 |
) |
| 104 |
(/usr/local/texlive/2012/texmf-dist/tex/generic/ifxetex/ifxetex.sty |
| 105 |
Package: ifxetex 2010/09/12 v0.6 Provides ifxetex conditional |
| 106 |
) |
| 107 |
\Gm@cnth=\count102 |
| 108 |
\Gm@cntv=\count103 |
| 109 |
\c@Gm@tempcnt=\count104 |
| 110 |
\Gm@bindingoffset=\dimen119 |
| 111 |
\Gm@wd@mp=\dimen120 |
| 112 |
\Gm@odd@mp=\dimen121 |
| 113 |
\Gm@even@mp=\dimen122 |
| 114 |
\Gm@layoutwidth=\dimen123 |
| 115 |
\Gm@layoutheight=\dimen124 |
| 116 |
\Gm@layouthoffset=\dimen125 |
| 117 |
\Gm@layoutvoffset=\dimen126 |
| 118 |
\Gm@dimlist=\toks15 |
| 119 |
) |
| 120 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/base/size11.clo |
| 121 |
File: size11.clo 2007/10/19 v1.4h Standard LaTeX file (size option) |
| 122 |
) |
| 123 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty |
| 124 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/graphics/graphicx.sty |
| 125 |
Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR) |
| 126 |
|
| 127 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/graphics/graphics.sty |
| 128 |
Package: graphics 2009/02/05 v1.0o Standard LaTeX Graphics (DPC,SPQR) |
| 129 |
|
| 130 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/graphics/trig.sty |
| 131 |
Package: trig 1999/03/16 v1.09 sin cos tan (DPC) |
| 132 |
) |
| 133 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/latexconfig/graphics.cfg |
| 134 |
File: graphics.cfg 2010/04/23 v1.9 graphics configuration of TeX Live |
| 135 |
) |
| 136 |
Package graphics Info: Driver file: pdftex.def on input line 91. |
| 137 |
|
| 138 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/pdftex-def/pdftex.def |
| 139 |
File: pdftex.def 2011/05/27 v0.06d Graphics/color for pdfTeX |
| 140 |
|
| 141 |
(/usr/local/texlive/2012/texmf-dist/tex/generic/oberdiek/infwarerr.sty |
| 142 |
Package: infwarerr 2010/04/08 v1.3 Providing info/warning/error messages (HO) |
| 143 |
) |
| 144 |
(/usr/local/texlive/2012/texmf-dist/tex/generic/oberdiek/ltxcmds.sty |
| 145 |
Package: ltxcmds 2011/11/09 v1.22 LaTeX kernel commands for general use (HO) |
| 146 |
) |
| 147 |
\Gread@gobject=\count105 |
| 148 |
)) |
| 149 |
\Gin@req@height=\dimen127 |
| 150 |
\Gin@req@width=\dimen128 |
| 151 |
) |
| 152 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty |
| 153 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty |
| 154 |
(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.te |
| 155 |
x |
| 156 |
\pgfutil@everybye=\toks16 |
| 157 |
) |
| 158 |
(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def |
| 159 |
\pgfutil@abb=\box34 |
| 160 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/ms/everyshi.sty |
| 161 |
Package: everyshi 2001/05/15 v3.00 EveryShipout Package (MS) |
| 162 |
)) |
| 163 |
(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex |
| 164 |
Package: pgfrcs 2010/10/25 v2.10 (rcs-revision 1.24) |
| 165 |
)) |
| 166 |
(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex |
| 167 |
Package: pgfsys 2010/06/30 v2.10 (rcs-revision 1.37) |
| 168 |
(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex |
| 169 |
\pgfkeys@pathtoks=\toks17 |
| 170 |
\pgfkeys@temptoks=\toks18 |
| 171 |
|
| 172 |
(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/utilities/pgfkeysfiltered.c |
| 173 |
ode.tex |
| 174 |
\pgfkeys@tmptoks=\toks19 |
| 175 |
)) |
| 176 |
\pgf@x=\dimen129 |
| 177 |
\pgf@y=\dimen130 |
| 178 |
\pgf@xa=\dimen131 |
| 179 |
\pgf@ya=\dimen132 |
| 180 |
\pgf@xb=\dimen133 |
| 181 |
\pgf@yb=\dimen134 |
| 182 |
\pgf@xc=\dimen135 |
| 183 |
\pgf@yc=\dimen136 |
| 184 |
\w@pgf@writea=\write3 |
| 185 |
\r@pgf@reada=\read1 |
| 186 |
\c@pgf@counta=\count106 |
| 187 |
\c@pgf@countb=\count107 |
| 188 |
\c@pgf@countc=\count108 |
| 189 |
\c@pgf@countd=\count109 |
| 190 |
|
| 191 |
(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg |
| 192 |
File: pgf.cfg 2008/05/14 (rcs-revision 1.7) |
| 193 |
) |
| 194 |
Package pgfsys Info: Driver file for pgf: pgfsys-pdftex.def on input line 900. |
| 195 |
|
| 196 |
(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.d |
| 197 |
ef |
| 198 |
File: pgfsys-pdftex.def 2009/05/22 (rcs-revision 1.26) |
| 199 |
|
| 200 |
(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-p |
| 201 |
df.def |
| 202 |
File: pgfsys-common-pdf.def 2008/05/19 (rcs-revision 1.10) |
| 203 |
))) |
| 204 |
(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath. |
| 205 |
code.tex |
| 206 |
File: pgfsyssoftpath.code.tex 2008/07/18 (rcs-revision 1.7) |
| 207 |
\pgfsyssoftpath@smallbuffer@items=\count110 |
| 208 |
\pgfsyssoftpath@bigbuffer@items=\count111 |
| 209 |
) |
| 210 |
(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol. |
| 211 |
code.tex |
| 212 |
File: pgfsysprotocol.code.tex 2006/10/16 (rcs-revision 1.4) |
| 213 |
)) (/usr/local/texlive/2012/texmf-dist/tex/latex/xcolor/xcolor.sty |
| 214 |
Package: xcolor 2007/01/21 v2.11 LaTeX color extensions (UK) |
| 215 |
|
| 216 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/latexconfig/color.cfg |
| 217 |
File: color.cfg 2007/01/18 v1.5 color configuration of teTeX/TeXLive |
| 218 |
) |
| 219 |
Package xcolor Info: Driver file: pdftex.def on input line 225. |
| 220 |
Package xcolor Info: Model `cmy' substituted by `cmy0' on input line 1337. |
| 221 |
Package xcolor Info: Model `hsb' substituted by `rgb' on input line 1341. |
| 222 |
Package xcolor Info: Model `RGB' extended on input line 1353. |
| 223 |
Package xcolor Info: Model `HTML' substituted by `rgb' on input line 1355. |
| 224 |
Package xcolor Info: Model `Hsb' substituted by `hsb' on input line 1356. |
| 225 |
Package xcolor Info: Model `tHsb' substituted by `hsb' on input line 1357. |
| 226 |
Package xcolor Info: Model `HSB' substituted by `hsb' on input line 1358. |
| 227 |
Package xcolor Info: Model `Gray' substituted by `gray' on input line 1359. |
| 228 |
Package xcolor Info: Model `wave' substituted by `hsb' on input line 1360. |
| 229 |
) |
| 230 |
(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex |
| 231 |
Package: pgfcore 2010/04/11 v2.10 (rcs-revision 1.7) |
| 232 |
(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex |
| 233 |
(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex |
| 234 |
(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex) |
| 235 |
(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex |
| 236 |
\pgfmath@dimen=\dimen137 |
| 237 |
\pgfmath@count=\count112 |
| 238 |
\pgfmath@box=\box35 |
| 239 |
\pgfmath@toks=\toks20 |
| 240 |
\pgfmath@stack@operand=\toks21 |
| 241 |
\pgfmath@stack@operation=\toks22 |
| 242 |
) |
| 243 |
(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code. |
| 244 |
tex |
| 245 |
(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic |
| 246 |
.code.tex) |
| 247 |
(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigo |
| 248 |
nometric.code.tex) |
| 249 |
(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.rando |
| 250 |
m.code.tex) |
| 251 |
(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.compa |
| 252 |
rison.code.tex) |
| 253 |
(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base. |
| 254 |
code.tex) |
| 255 |
(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round |
| 256 |
.code.tex) |
| 257 |
(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc. |
| 258 |
code.tex))) |
| 259 |
(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex |
| 260 |
\c@pgfmathroundto@lastzeros=\count113 |
| 261 |
)) |
| 262 |
(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.co |
| 263 |
de.tex |
| 264 |
File: pgfcorepoints.code.tex 2010/04/09 (rcs-revision 1.20) |
| 265 |
\pgf@picminx=\dimen138 |
| 266 |
\pgf@picmaxx=\dimen139 |
| 267 |
\pgf@picminy=\dimen140 |
| 268 |
\pgf@picmaxy=\dimen141 |
| 269 |
\pgf@pathminx=\dimen142 |
| 270 |
\pgf@pathmaxx=\dimen143 |
| 271 |
\pgf@pathminy=\dimen144 |
| 272 |
\pgf@pathmaxy=\dimen145 |
| 273 |
\pgf@xx=\dimen146 |
| 274 |
\pgf@xy=\dimen147 |
| 275 |
\pgf@yx=\dimen148 |
| 276 |
\pgf@yy=\dimen149 |
| 277 |
\pgf@zx=\dimen150 |
| 278 |
\pgf@zy=\dimen151 |
| 279 |
) |
| 280 |
(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconst |
| 281 |
ruct.code.tex |
| 282 |
File: pgfcorepathconstruct.code.tex 2010/08/03 (rcs-revision 1.24) |
| 283 |
\pgf@path@lastx=\dimen152 |
| 284 |
\pgf@path@lasty=\dimen153 |
| 285 |
) |
| 286 |
(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage |
| 287 |
.code.tex |
| 288 |
File: pgfcorepathusage.code.tex 2008/04/22 (rcs-revision 1.12) |
| 289 |
\pgf@shorten@end@additional=\dimen154 |
| 290 |
\pgf@shorten@start@additional=\dimen155 |
| 291 |
) |
| 292 |
(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.co |
| 293 |
de.tex |
| 294 |
File: pgfcorescopes.code.tex 2010/09/08 (rcs-revision 1.34) |
| 295 |
\pgfpic=\box36 |
| 296 |
\pgf@hbox=\box37 |
| 297 |
\pgf@layerbox@main=\box38 |
| 298 |
\pgf@picture@serial@count=\count114 |
| 299 |
) |
| 300 |
(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicst |
| 301 |
ate.code.tex |
| 302 |
File: pgfcoregraphicstate.code.tex 2008/04/22 (rcs-revision 1.9) |
| 303 |
\pgflinewidth=\dimen156 |
| 304 |
) |
| 305 |
(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransform |
| 306 |
ations.code.tex |
| 307 |
File: pgfcoretransformations.code.tex 2009/06/10 (rcs-revision 1.11) |
| 308 |
\pgf@pt@x=\dimen157 |
| 309 |
\pgf@pt@y=\dimen158 |
| 310 |
\pgf@pt@temp=\dimen159 |
| 311 |
) |
| 312 |
(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.cod |
| 313 |
e.tex |
| 314 |
File: pgfcorequick.code.tex 2008/10/09 (rcs-revision 1.3) |
| 315 |
) |
| 316 |
(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.c |
| 317 |
ode.tex |
| 318 |
File: pgfcoreobjects.code.tex 2006/10/11 (rcs-revision 1.2) |
| 319 |
) |
| 320 |
(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathproce |
| 321 |
ssing.code.tex |
| 322 |
File: pgfcorepathprocessing.code.tex 2008/10/09 (rcs-revision 1.8) |
| 323 |
) |
| 324 |
(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.co |
| 325 |
de.tex |
| 326 |
File: pgfcorearrows.code.tex 2008/04/23 (rcs-revision 1.11) |
| 327 |
) |
| 328 |
(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.cod |
| 329 |
e.tex |
| 330 |
File: pgfcoreshade.code.tex 2008/11/23 (rcs-revision 1.13) |
| 331 |
\pgf@max=\dimen160 |
| 332 |
\pgf@sys@shading@range@num=\count115 |
| 333 |
) |
| 334 |
(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.cod |
| 335 |
e.tex |
| 336 |
File: pgfcoreimage.code.tex 2010/03/25 (rcs-revision 1.16) |
| 337 |
|
| 338 |
(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal. |
| 339 |
code.tex |
| 340 |
File: pgfcoreexternal.code.tex 2010/09/01 (rcs-revision 1.17) |
| 341 |
\pgfexternal@startupbox=\box39 |
| 342 |
)) |
| 343 |
(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.co |
| 344 |
de.tex |
| 345 |
File: pgfcorelayers.code.tex 2010/08/27 (rcs-revision 1.2) |
| 346 |
) |
| 347 |
(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretranspare |
| 348 |
ncy.code.tex |
| 349 |
File: pgfcoretransparency.code.tex 2008/01/17 (rcs-revision 1.2) |
| 350 |
) |
| 351 |
(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns. |
| 352 |
code.tex |
| 353 |
File: pgfcorepatterns.code.tex 2009/07/02 (rcs-revision 1.3) |
| 354 |
))) |
| 355 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/pgf/utilities/xxcolor.sty |
| 356 |
Package: xxcolor 2003/10/24 ver 0.1 |
| 357 |
\XC@nummixins=\count116 |
| 358 |
\XC@countmixins=\count117 |
| 359 |
) |
| 360 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/hyperref/hyperref.sty |
| 361 |
Package: hyperref 2012/05/13 v6.82q Hypertext links for LaTeX |
| 362 |
|
| 363 |
(/usr/local/texlive/2012/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty |
| 364 |
Package: hobsub-hyperref 2012/05/28 v1.13 Bundle oberdiek, subset hyperref (HO) |
| 365 |
|
| 366 |
|
| 367 |
(/usr/local/texlive/2012/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty |
| 368 |
Package: hobsub-generic 2012/05/28 v1.13 Bundle oberdiek, subset generic (HO) |
| 369 |
Package: hobsub 2012/05/28 v1.13 Construct package bundles (HO) |
| 370 |
Package hobsub Info: Skipping package `infwarerr' (already loaded). |
| 371 |
Package hobsub Info: Skipping package `ltxcmds' (already loaded). |
| 372 |
Package: ifluatex 2010/03/01 v1.3 Provides the ifluatex switch (HO) |
| 373 |
Package ifluatex Info: LuaTeX not detected. |
| 374 |
Package hobsub Info: Skipping package `ifvtex' (already loaded). |
| 375 |
Package: intcalc 2007/09/27 v1.1 Expandable calculations with integers (HO) |
| 376 |
Package hobsub Info: Skipping package `ifpdf' (already loaded). |
| 377 |
Package: etexcmds 2011/02/16 v1.5 Avoid name clashes with e-TeX commands (HO) |
| 378 |
Package etexcmds Info: Could not find \expanded. |
| 379 |
(etexcmds) That can mean that you are not using pdfTeX 1.50 or |
| 380 |
(etexcmds) that some package has redefined \expanded. |
| 381 |
(etexcmds) In the latter case, load this package earlier. |
| 382 |
Package: kvsetkeys 2012/04/25 v1.16 Key value parser (HO) |
| 383 |
Package: kvdefinekeys 2011/04/07 v1.3 Define keys (HO) |
| 384 |
Package: pdftexcmds 2011/11/29 v0.20 Utility functions of pdfTeX for LuaTeX (HO |
| 385 |
) |
| 386 |
Package pdftexcmds Info: LuaTeX not detected. |
| 387 |
Package pdftexcmds Info: \pdf@primitive is available. |
| 388 |
Package pdftexcmds Info: \pdf@ifprimitive is available. |
| 389 |
Package pdftexcmds Info: \pdfdraftmode found. |
| 390 |
Package: pdfescape 2011/11/25 v1.13 Implements pdfTeX's escape features (HO) |
| 391 |
Package: bigintcalc 2012/04/08 v1.3 Expandable calculations on big integers (HO |
| 392 |
) |
| 393 |
Package: bitset 2011/01/30 v1.1 Handle bit-vector datatype (HO) |
| 394 |
Package: uniquecounter 2011/01/30 v1.2 Provide unlimited unique counter (HO) |
| 395 |
) |
| 396 |
Package hobsub Info: Skipping package `hobsub' (already loaded). |
| 397 |
Package: letltxmacro 2010/09/02 v1.4 Let assignment for LaTeX macros (HO) |
| 398 |
Package: hopatch 2012/05/28 v1.2 Wrapper for package hooks (HO) |
| 399 |
Package: xcolor-patch 2011/01/30 xcolor patch |
| 400 |
Package: atveryend 2011/06/30 v1.8 Hooks at the very end of document (HO) |
| 401 |
Package atveryend Info: \enddocument detected (standard20110627). |
| 402 |
Package: atbegshi 2011/10/05 v1.16 At begin shipout hook (HO) |
| 403 |
Package: refcount 2011/10/16 v3.4 Data extraction from label references (HO) |
| 404 |
Package: hycolor 2011/01/30 v1.7 Color options for hyperref/bookmark (HO) |
| 405 |
) |
| 406 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/oberdiek/kvoptions.sty |
| 407 |
Package: kvoptions 2011/06/30 v3.11 Key value format for package options (HO) |
| 408 |
) |
| 409 |
\@linkdim=\dimen161 |
| 410 |
\Hy@linkcounter=\count118 |
| 411 |
\Hy@pagecounter=\count119 |
| 412 |
|
| 413 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/hyperref/pd1enc.def |
| 414 |
File: pd1enc.def 2012/05/13 v6.82q Hyperref: PDFDocEncoding definition (HO) |
| 415 |
) |
| 416 |
\Hy@SavedSpaceFactor=\count120 |
| 417 |
|
| 418 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/latexconfig/hyperref.cfg |
| 419 |
File: hyperref.cfg 2002/06/06 v1.2 hyperref configuration of TeXLive |
| 420 |
) |
| 421 |
Package hyperref Info: Option `bookmarks' set `true' on input line 3941. |
| 422 |
Package hyperref Info: Option `bookmarksopen' set `true' on input line 3941. |
| 423 |
Package hyperref Info: Option `implicit' set `false' on input line 3941. |
| 424 |
Package hyperref Info: Hyper figures OFF on input line 4062. |
| 425 |
Package hyperref Info: Link nesting OFF on input line 4067. |
| 426 |
Package hyperref Info: Hyper index ON on input line 4070. |
| 427 |
Package hyperref Info: Plain pages OFF on input line 4077. |
| 428 |
Package hyperref Info: Backreferencing OFF on input line 4082. |
| 429 |
Package hyperref Info: Implicit mode OFF; no redefinition of LaTeX internals. |
| 430 |
Package hyperref Info: Bookmarks ON on input line 4300. |
| 431 |
\c@Hy@tempcnt=\count121 |
| 432 |
|
| 433 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/url/url.sty |
| 434 |
\Urlmuskip=\muskip10 |
| 435 |
Package: url 2006/04/12 ver 3.3 Verb mode for urls, etc. |
| 436 |
) |
| 437 |
LaTeX Info: Redefining \url on input line 4653. |
| 438 |
\Fld@menulength=\count122 |
| 439 |
\Field@Width=\dimen162 |
| 440 |
\Fld@charsize=\dimen163 |
| 441 |
Package hyperref Info: Hyper figures OFF on input line 5773. |
| 442 |
Package hyperref Info: Link nesting OFF on input line 5778. |
| 443 |
Package hyperref Info: Hyper index ON on input line 5781. |
| 444 |
Package hyperref Info: backreferencing OFF on input line 5788. |
| 445 |
Package hyperref Info: Link coloring OFF on input line 5793. |
| 446 |
Package hyperref Info: Link coloring with OCG OFF on input line 5798. |
| 447 |
Package hyperref Info: PDF/A mode OFF on input line 5803. |
| 448 |
LaTeX Info: Redefining \ref on input line 5843. |
| 449 |
LaTeX Info: Redefining \pageref on input line 5847. |
| 450 |
\Hy@abspage=\count123 |
| 451 |
|
| 452 |
|
| 453 |
Package hyperref Message: Stopped early. |
| 454 |
|
| 455 |
) |
| 456 |
|
| 457 |
Package hyperref Message: Driver (autodetected): hpdftex. |
| 458 |
|
| 459 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/hyperref/hpdftex.def |
| 460 |
File: hpdftex.def 2012/05/13 v6.82q Hyperref driver for pdfTeX |
| 461 |
\Fld@listcount=\count124 |
| 462 |
\c@bookmark@seq@number=\count125 |
| 463 |
|
| 464 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty |
| 465 |
Package: rerunfilecheck 2011/04/15 v1.7 Rerun checks for auxiliary files (HO) |
| 466 |
Package uniquecounter Info: New unique counter `rerunfilecheck' on input line 2 |
| 467 |
82. |
| 468 |
)) |
| 469 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/beamerbaserequires.sty |
| 470 |
Package: beamerbaserequires 2010/05/01 (rcs-revision efa082c6111d) |
| 471 |
|
| 472 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/beamerbasecompatibility.st |
| 473 |
y |
| 474 |
Package: beamerbasecompatibility 2012/05/01 (rcs-revision 67c48b3b652d) |
| 475 |
) (/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/beamerbasefont.sty |
| 476 |
Package: beamerbasefont 2012/05/10 (rcs-revision a0b4f9f91ee9) |
| 477 |
|
| 478 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/amsfonts/amssymb.sty |
| 479 |
Package: amssymb 2009/06/22 v3.00 |
| 480 |
|
| 481 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/amsfonts/amsfonts.sty |
| 482 |
Package: amsfonts 2009/06/22 v3.00 Basic AMSFonts support |
| 483 |
\@emptytoks=\toks23 |
| 484 |
\symAMSa=\mathgroup4 |
| 485 |
\symAMSb=\mathgroup5 |
| 486 |
LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold' |
| 487 |
(Font) U/euf/m/n --> U/euf/b/n on input line 96. |
| 488 |
)) |
| 489 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/sansmathaccent/sansmathaccent.sty |
| 490 |
Package: sansmathaccent 2012/04/26 |
| 491 |
)) |
| 492 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/beamerbasetranslator.sty |
| 493 |
Package: beamerbasetranslator 2010/06/11 (rcs-revision 85fd1cc7fc42) |
| 494 |
|
| 495 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/translator/translator.sty |
| 496 |
Package: translator 2010/06/12 ver 1.10 |
| 497 |
|
| 498 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/translator/translator-lang |
| 499 |
uage-mappings.tex))) |
| 500 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/beamerbasemisc.sty |
| 501 |
Package: beamerbasemisc 2012/02/24 (rcs-revision 2ff5461be705) |
| 502 |
) |
| 503 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/beamerbasetwoscreens.sty |
| 504 |
Package: beamerbasetwoscreens 2010/05/01 (rcs-revision efa082c6111d) |
| 505 |
) |
| 506 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/beamerbaseoverlay.sty |
| 507 |
Package: beamerbaseoverlay 2012/04/03 (rcs-revision 45744d9ae88b) |
| 508 |
\beamer@argscount=\count126 |
| 509 |
\beamer@lastskipcover=\skip44 |
| 510 |
\beamer@trivlistdepth=\count127 |
| 511 |
) |
| 512 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/beamerbasetitle.sty |
| 513 |
Package: beamerbasetitle 2010/09/21 (rcs-revision f0446ed0b6ae) |
| 514 |
) |
| 515 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/beamerbasesection.sty |
| 516 |
Package: beamerbasesection 2012/05/30 (rcs-revision 22ff49def670) |
| 517 |
\c@lecture=\count128 |
| 518 |
\c@part=\count129 |
| 519 |
\c@section=\count130 |
| 520 |
\c@subsection=\count131 |
| 521 |
\c@subsubsection=\count132 |
| 522 |
) |
| 523 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/beamerbaseframe.sty |
| 524 |
Package: beamerbaseframe 2012/05/31 (rcs-revision 5fc3b3dbfeba) |
| 525 |
\beamer@framebox=\box40 |
| 526 |
\beamer@frametitlebox=\box41 |
| 527 |
\beamer@zoombox=\box42 |
| 528 |
\beamer@zoomcount=\count133 |
| 529 |
\beamer@zoomframecount=\count134 |
| 530 |
\beamer@frametextheight=\dimen164 |
| 531 |
\c@subsectionslide=\count135 |
| 532 |
\beamer@frametopskip=\skip45 |
| 533 |
\beamer@framebottomskip=\skip46 |
| 534 |
\beamer@frametopskipautobreak=\skip47 |
| 535 |
\beamer@framebottomskipautobreak=\skip48 |
| 536 |
\beamer@envbody=\toks24 |
| 537 |
\c@framenumber=\count136 |
| 538 |
) |
| 539 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/beamerbaseverbatim.sty |
| 540 |
Package: beamerbaseverbatim 2011/09/12 (rcs-revision 70f9d8411e54) |
| 541 |
\beamer@verbatimfileout=\write4 |
| 542 |
) |
| 543 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/beamerbaseframesize.sty |
| 544 |
Package: beamerbaseframesize 2011/09/12 (rcs-revision 70f9d8411e54) |
| 545 |
\beamer@splitbox=\box43 |
| 546 |
\beamer@autobreakcount=\count137 |
| 547 |
\beamer@autobreaklastheight=\dimen165 |
| 548 |
\beamer@frametitletoks=\toks25 |
| 549 |
\beamer@framesubtitletoks=\toks26 |
| 550 |
) |
| 551 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/beamerbaseframecomponents. |
| 552 |
sty |
| 553 |
Package: beamerbaseframecomponents 2012/03/07 (rcs-revision 9f094699ce15) |
| 554 |
\beamer@footins=\box44 |
| 555 |
) (/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/beamerbasecolor.sty |
| 556 |
Package: beamerbasecolor 2010/06/06 (rcs-revision d1a9b48be06d) |
| 557 |
) |
| 558 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/beamerbasenotes.sty |
| 559 |
Package: beamerbasenotes 2010/05/01 (rcs-revision efa082c6111d) |
| 560 |
\beamer@frameboxcopy=\box45 |
| 561 |
) |
| 562 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/beamerbasetoc.sty |
| 563 |
Package: beamerbasetoc 2012/02/28 (rcs-revision 138681b92320) |
| 564 |
) |
| 565 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/beamerbasetemplates.sty |
| 566 |
Package: beamerbasetemplates 2010/05/01 (rcs-revision efa082c6111d) |
| 567 |
\beamer@sbttoks=\toks27 |
| 568 |
|
| 569 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/beamerbaseauxtemplates.sty |
| 570 |
Package: beamerbaseauxtemplates 2012/05/01 (rcs-revision 67c48b3b652d) |
| 571 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/beamerbaseboxes.sty |
| 572 |
Package: beamerbaseboxes 2012/05/13 (rcs-revision 56972908a390) |
| 573 |
\bmb@box=\box46 |
| 574 |
\bmb@colorbox=\box47 |
| 575 |
\bmb@boxshadow=\box48 |
| 576 |
\bmb@boxshadowball=\box49 |
| 577 |
\bmb@boxshadowballlarge=\box50 |
| 578 |
\bmb@temp=\dimen166 |
| 579 |
\bmb@dima=\dimen167 |
| 580 |
\bmb@dimb=\dimen168 |
| 581 |
\bmb@prevheight=\dimen169 |
| 582 |
) |
| 583 |
\beamer@blockheadheight=\dimen170 |
| 584 |
)) |
| 585 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/beamerbaselocalstructure.s |
| 586 |
ty |
| 587 |
Package: beamerbaselocalstructure 2012/05/25 (rcs-revision 5ff5e8ed7c0e) |
| 588 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/tools/enumerate.sty |
| 589 |
Package: enumerate 1999/03/05 v3.00 enumerate extensions (DPC) |
| 590 |
\@enLab=\toks28 |
| 591 |
) |
| 592 |
\c@figure=\count138 |
| 593 |
\c@table=\count139 |
| 594 |
\abovecaptionskip=\skip49 |
| 595 |
\belowcaptionskip=\skip50 |
| 596 |
) |
| 597 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/beamerbasenavigation.sty |
| 598 |
Package: beamerbasenavigation 2012/04/03 (rcs-revision 42a0f21a412d) |
| 599 |
\beamer@section@min@dim=\dimen171 |
| 600 |
) |
| 601 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/beamerbasetheorems.sty |
| 602 |
Package: beamerbasetheorems 2010/06/06 (rcs-revision 7e7cc5e53e9d) |
| 603 |
|
| 604 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/amsmath/amsmath.sty |
| 605 |
Package: amsmath 2000/07/18 v2.13 AMS math features |
| 606 |
\@mathmargin=\skip51 |
| 607 |
|
| 608 |
For additional information on amsmath, use the `?' option. |
| 609 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/amsmath/amstext.sty |
| 610 |
Package: amstext 2000/06/29 v2.01 |
| 611 |
|
| 612 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/amsmath/amsgen.sty |
| 613 |
File: amsgen.sty 1999/11/30 v2.0 |
| 614 |
\@emptytoks=\toks29 |
| 615 |
\ex@=\dimen172 |
| 616 |
)) |
| 617 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/amsmath/amsbsy.sty |
| 618 |
Package: amsbsy 1999/11/29 v1.2d |
| 619 |
\pmbraise@=\dimen173 |
| 620 |
) |
| 621 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/amsmath/amsopn.sty |
| 622 |
Package: amsopn 1999/12/14 v2.01 operator names |
| 623 |
) |
| 624 |
\inf@bad=\count140 |
| 625 |
LaTeX Info: Redefining \frac on input line 211. |
| 626 |
\uproot@=\count141 |
| 627 |
\leftroot@=\count142 |
| 628 |
LaTeX Info: Redefining \overline on input line 307. |
| 629 |
\classnum@=\count143 |
| 630 |
\DOTSCASE@=\count144 |
| 631 |
LaTeX Info: Redefining \ldots on input line 379. |
| 632 |
LaTeX Info: Redefining \dots on input line 382. |
| 633 |
LaTeX Info: Redefining \cdots on input line 467. |
| 634 |
\Mathstrutbox@=\box51 |
| 635 |
\strutbox@=\box52 |
| 636 |
\big@size=\dimen174 |
| 637 |
LaTeX Font Info: Redeclaring font encoding OML on input line 567. |
| 638 |
LaTeX Font Info: Redeclaring font encoding OMS on input line 568. |
| 639 |
\macc@depth=\count145 |
| 640 |
\c@MaxMatrixCols=\count146 |
| 641 |
\dotsspace@=\muskip11 |
| 642 |
\c@parentequation=\count147 |
| 643 |
\dspbrk@lvl=\count148 |
| 644 |
\tag@help=\toks30 |
| 645 |
\row@=\count149 |
| 646 |
\column@=\count150 |
| 647 |
\maxfields@=\count151 |
| 648 |
\andhelp@=\toks31 |
| 649 |
\eqnshift@=\dimen175 |
| 650 |
\alignsep@=\dimen176 |
| 651 |
\tagshift@=\dimen177 |
| 652 |
\tagwidth@=\dimen178 |
| 653 |
\totwidth@=\dimen179 |
| 654 |
\lineht@=\dimen180 |
| 655 |
\@envbody=\toks32 |
| 656 |
\multlinegap=\skip52 |
| 657 |
\multlinetaggap=\skip53 |
| 658 |
\mathdisplay@stack=\toks33 |
| 659 |
LaTeX Info: Redefining \[ on input line 2666. |
| 660 |
LaTeX Info: Redefining \] on input line 2667. |
| 661 |
) |
| 662 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/amscls/amsthm.sty |
| 663 |
Package: amsthm 2009/07/02 v2.20.1 |
| 664 |
\thm@style=\toks34 |
| 665 |
\thm@bodyfont=\toks35 |
| 666 |
\thm@headfont=\toks36 |
| 667 |
\thm@notefont=\toks37 |
| 668 |
\thm@headpunct=\toks38 |
| 669 |
\thm@preskip=\skip54 |
| 670 |
\thm@postskip=\skip55 |
| 671 |
\thm@headsep=\skip56 |
| 672 |
\dth@everypar=\toks39 |
| 673 |
) |
| 674 |
\c@theorem=\count152 |
| 675 |
) |
| 676 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/beamerbasethemes.sty |
| 677 |
Package: beamerbasethemes 2010/05/01 (rcs-revision efa082c6111d) |
| 678 |
)) |
| 679 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/themes/theme/beamerthemede |
| 680 |
fault.sty |
| 681 |
Package: beamerthemedefault 2010/06/17 (rcs-revision d02a7cf4d8ae) |
| 682 |
|
| 683 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/themes/font/beamerfontthem |
| 684 |
edefault.sty |
| 685 |
Package: beamerfontthemedefault 2010/06/17 (rcs-revision d02a7cf4d8ae) |
| 686 |
) |
| 687 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/themes/color/beamercolorth |
| 688 |
emedefault.sty |
| 689 |
Package: beamercolorthemedefault 2010/06/17 (rcs-revision d02a7cf4d8ae) |
| 690 |
) |
| 691 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/themes/inner/beamerinnerth |
| 692 |
emedefault.sty |
| 693 |
Package: beamerinnerthemedefault 2012/05/01 (rcs-revision 67c48b3b652d) |
| 694 |
\beamer@dima=\dimen181 |
| 695 |
\beamer@dimb=\dimen182 |
| 696 |
) |
| 697 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/themes/outer/beamerouterth |
| 698 |
emedefault.sty |
| 699 |
Package: beamerouterthemedefault 2010/06/17 (rcs-revision d02a7cf4d8ae) |
| 700 |
))) |
| 701 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/base/latexsym.sty |
| 702 |
Package: latexsym 1998/08/17 v2.2e Standard LaTeX package (lasy symbols) |
| 703 |
\symlasy=\mathgroup6 |
| 704 |
LaTeX Font Info: Overwriting symbol font `lasy' in version `bold' |
| 705 |
(Font) U/lasy/m/n --> U/lasy/b/n on input line 47. |
| 706 |
) |
| 707 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/stmaryrd/stmaryrd.sty |
| 708 |
Package: stmaryrd 1994/03/03 St Mary's Road symbol package |
| 709 |
\symstmry=\mathgroup7 |
| 710 |
LaTeX Font Info: Overwriting symbol font `stmry' in version `bold' |
| 711 |
(Font) U/stmry/m/n --> U/stmry/b/n on input line 89. |
| 712 |
) |
| 713 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/eepic/eepic.sty |
| 714 |
Extension to Epic and LaTeX. Version 1.1e - Released Dec 21, 1999 |
| 715 |
\@gphlinewidth=\count153 |
| 716 |
\@eepictcnt=\count154 |
| 717 |
\@tempdimc=\dimen183 |
| 718 |
\maxovaldiam=\dimen184 |
| 719 |
\@filltype=\box53 |
| 720 |
) (/usr/local/texlive/2012/texmf-dist/tex/latex/graphics/epsfig.sty |
| 721 |
Package: epsfig 1999/02/16 v1.7a (e)psfig emulation (SPQR) |
| 722 |
\epsfxsize=\dimen185 |
| 723 |
\epsfysize=\dimen186 |
| 724 |
) |
| 725 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/lkproof/proof.sty |
| 726 |
\inferLineSkip=\dimen187 |
| 727 |
\inferLabelSkip=\dimen188 |
| 728 |
\@LeftOffset=\dimen189 |
| 729 |
\@RightOffset=\dimen190 |
| 730 |
\@SavedLeftOffset=\dimen191 |
| 731 |
\UpperWidth=\dimen192 |
| 732 |
\LowerWidth=\dimen193 |
| 733 |
\LowerHeight=\dimen194 |
| 734 |
\UpperLeftOffset=\dimen195 |
| 735 |
\UpperRightOffset=\dimen196 |
| 736 |
\UpperCenter=\dimen197 |
| 737 |
\LowerCenter=\dimen198 |
| 738 |
\UpperAdjust=\dimen199 |
| 739 |
\RuleAdjust=\dimen200 |
| 740 |
\LowerAdjust=\dimen201 |
| 741 |
\RuleWidth=\dimen202 |
| 742 |
\HLabelAdjust=\dimen203 |
| 743 |
\VLabelAdjust=\dimen204 |
| 744 |
\WidthAdjust=\dimen205 |
| 745 |
\@UpperPart=\box54 |
| 746 |
\@LowerPart=\box55 |
| 747 |
\@LabelPart=\box56 |
| 748 |
\ResultBox=\box57 |
| 749 |
) |
| 750 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/bussproofs/bussproofs.sty |
| 751 |
Proof Tree (bussproofs) style macros. Version 1.0. |
| 752 |
\theLevel=\count155 |
| 753 |
\myMaxLevel=\count156 |
| 754 |
\myBoxA=\box58 |
| 755 |
\myBoxB=\box59 |
| 756 |
\myBoxC=\box60 |
| 757 |
\myBoxD=\box61 |
| 758 |
\myBoxLL=\box62 |
| 759 |
\myBoxRL=\box63 |
| 760 |
\thisAboveSkip=\dimen206 |
| 761 |
\thisBelowSkip=\dimen207 |
| 762 |
\newScoreStart=\dimen208 |
| 763 |
\newScoreEnd=\dimen209 |
| 764 |
\newCenter=\dimen210 |
| 765 |
\displace=\dimen211 |
| 766 |
\leftLowerAmt=\dimen212 |
| 767 |
\rightLowerAmt=\dimen213 |
| 768 |
\scoreHeight=\dimen214 |
| 769 |
\scoreDepth=\dimen215 |
| 770 |
\htLbox=\dimen216 |
| 771 |
\htRbox=\dimen217 |
| 772 |
\htAbox=\dimen218 |
| 773 |
\htCbox=\dimen219 |
| 774 |
) (./ph-macros.tex) |
| 775 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/themes/theme/beamerthemeWa |
| 776 |
rsaw.sty |
| 777 |
Package: beamerthemeWarsaw 2010/06/17 (rcs-revision d02a7cf4d8ae) |
| 778 |
|
| 779 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/themes/inner/beamerinnerth |
| 780 |
emerounded.sty |
| 781 |
Package: beamerinnerthemerounded 2010/06/17 (rcs-revision d02a7cf4d8ae) |
| 782 |
) |
| 783 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/themes/outer/beamerouterth |
| 784 |
emeshadow.sty |
| 785 |
Package: beamerouterthemeshadow 2010/06/17 (rcs-revision d02a7cf4d8ae) |
| 786 |
|
| 787 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/themes/outer/beamerouterth |
| 788 |
emesplit.sty |
| 789 |
Package: beamerouterthemesplit 2010/06/17 (rcs-revision d02a7cf4d8ae) |
| 790 |
)) |
| 791 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/themes/color/beamercolorth |
| 792 |
emeorchid.sty |
| 793 |
Package: beamercolorthemeorchid 2010/06/17 (rcs-revision d02a7cf4d8ae) |
| 794 |
) |
| 795 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/themes/color/beamercolorth |
| 796 |
emewhale.sty |
| 797 |
Package: beamercolorthemewhale 2010/06/17 (rcs-revision d02a7cf4d8ae) |
| 798 |
)) (./unboundedArithmetic.aux) |
| 799 |
\openout1 = `unboundedArithmetic.aux'. |
| 800 |
|
| 801 |
LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 111. |
| 802 |
LaTeX Font Info: ... okay on input line 111. |
| 803 |
LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 111. |
| 804 |
LaTeX Font Info: ... okay on input line 111. |
| 805 |
LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 111. |
| 806 |
LaTeX Font Info: ... okay on input line 111. |
| 807 |
LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 111. |
| 808 |
LaTeX Font Info: ... okay on input line 111. |
| 809 |
LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 111. |
| 810 |
LaTeX Font Info: ... okay on input line 111. |
| 811 |
LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 111. |
| 812 |
LaTeX Font Info: ... okay on input line 111. |
| 813 |
LaTeX Font Info: Checking defaults for PD1/pdf/m/n on input line 111. |
| 814 |
LaTeX Font Info: ... okay on input line 111. |
| 815 |
|
| 816 |
*geometry* driver: auto-detecting |
| 817 |
*geometry* detected driver: pdftex |
| 818 |
*geometry* verbose mode - [ preamble ] result: |
| 819 |
* driver: pdftex |
| 820 |
* paper: custom |
| 821 |
* layout: <same size as paper> |
| 822 |
* layoutoffset:(h,v)=(0.0pt,0.0pt) |
| 823 |
* modes: includehead includefoot |
| 824 |
* h-part:(L,W,R)=(28.45274pt, 307.28987pt, 28.45274pt) |
| 825 |
* v-part:(T,H,B)=(0.0pt, 273.14662pt, 0.0pt) |
| 826 |
* \paperwidth=364.19536pt |
| 827 |
* \paperheight=273.14662pt |
| 828 |
* \textwidth=307.28987pt |
| 829 |
* \textheight=244.6939pt |
| 830 |
* \oddsidemargin=-43.81725pt |
| 831 |
* \evensidemargin=-43.81725pt |
| 832 |
* \topmargin=-72.26999pt |
| 833 |
* \headheight=14.22636pt |
| 834 |
* \headsep=0.0pt |
| 835 |
* \topskip=11.0pt |
| 836 |
* \footskip=14.22636pt |
| 837 |
* \marginparwidth=4.0pt |
| 838 |
* \marginparsep=10.0pt |
| 839 |
* \columnsep=10.0pt |
| 840 |
* \skip\footins=10.0pt plus 4.0pt minus 2.0pt |
| 841 |
* \hoffset=0.0pt |
| 842 |
* \voffset=0.0pt |
| 843 |
* \mag=1000 |
| 844 |
* \@twocolumnfalse |
| 845 |
* \@twosidefalse |
| 846 |
* \@mparswitchfalse |
| 847 |
* \@reversemarginfalse |
| 848 |
* (1in=72.27pt=25.4mm, 1cm=28.453pt) |
| 849 |
|
| 850 |
(/usr/local/texlive/2012/texmf-dist/tex/context/base/supp-pdf.mkii |
| 851 |
[Loading MPS to PDF converter (version 2006.09.02).] |
| 852 |
\scratchcounter=\count157 |
| 853 |
\scratchdimen=\dimen220 |
| 854 |
\scratchbox=\box64 |
| 855 |
\nofMPsegments=\count158 |
| 856 |
\nofMParguments=\count159 |
| 857 |
\everyMPshowfont=\toks40 |
| 858 |
\MPscratchCnt=\count160 |
| 859 |
\MPscratchDim=\dimen221 |
| 860 |
\MPnumerator=\count161 |
| 861 |
\makeMPintoPDFobject=\count162 |
| 862 |
\everyMPtoPDFconversion=\toks41 |
| 863 |
) (/usr/local/texlive/2012/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty |
| 864 |
Package: epstopdf-base 2010/02/09 v2.5 Base part for package epstopdf |
| 865 |
|
| 866 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/oberdiek/grfext.sty |
| 867 |
Package: grfext 2010/08/19 v1.1 Manage graphics extensions (HO) |
| 868 |
) |
| 869 |
Package grfext Info: Graphics extension search list: |
| 870 |
(grfext) [.png,.pdf,.jpg,.mps,.jpeg,.jbig2,.jb2,.PNG,.PDF,.JPG,.JPE |
| 871 |
G,.JBIG2,.JB2,.eps] |
| 872 |
(grfext) \AppendGraphicsExtensions on input line 452. |
| 873 |
|
| 874 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg |
| 875 |
File: epstopdf-sys.cfg 2010/07/13 v1.3 Configuration of (r)epstopdf for TeX Liv |
| 876 |
e |
| 877 |
)) |
| 878 |
ABD: EveryShipout initializing macros |
| 879 |
\AtBeginShipoutBox=\box65 |
| 880 |
Package hyperref Info: Link coloring OFF on input line 111. |
| 881 |
|
| 882 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/hyperref/nameref.sty |
| 883 |
Package: nameref 2010/04/30 v2.40 Cross-referencing by name of section |
| 884 |
|
| 885 |
(/usr/local/texlive/2012/texmf-dist/tex/generic/oberdiek/gettitlestring.sty |
| 886 |
Package: gettitlestring 2010/12/03 v1.4 Cleanup title references (HO) |
| 887 |
) |
| 888 |
\c@section@level=\count163 |
| 889 |
) |
| 890 |
LaTeX Info: Redefining \ref on input line 111. |
| 891 |
LaTeX Info: Redefining \pageref on input line 111. |
| 892 |
LaTeX Info: Redefining \nameref on input line 111. |
| 893 |
|
| 894 |
(./unboundedArithmetic.out) (./unboundedArithmetic.out) |
| 895 |
\@outlinefile=\write5 |
| 896 |
\openout5 = `unboundedArithmetic.out'. |
| 897 |
|
| 898 |
LaTeX Font Info: Overwriting symbol font `operators' in version `normal' |
| 899 |
(Font) OT1/cmr/m/n --> OT1/cmss/m/n on input line 111. |
| 900 |
LaTeX Font Info: Overwriting symbol font `operators' in version `bold' |
| 901 |
(Font) OT1/cmr/bx/n --> OT1/cmss/bx/n on input line 111. |
| 902 |
\symnumbers=\mathgroup8 |
| 903 |
\sympureletters=\mathgroup9 |
| 904 |
LaTeX Font Info: Overwriting math alphabet `\mathrm' in version `normal' |
| 905 |
(Font) OT1/cmss/m/n --> OT1/cmr/m/n on input line 111. |
| 906 |
LaTeX Font Info: Redeclaring math alphabet \mathbf on input line 111. |
| 907 |
LaTeX Font Info: Overwriting math alphabet `\mathbf' in version `normal' |
| 908 |
(Font) OT1/cmr/bx/n --> OT1/cmss/bx/n on input line 111. |
| 909 |
LaTeX Font Info: Overwriting math alphabet `\mathbf' in version `bold' |
| 910 |
(Font) OT1/cmr/bx/n --> OT1/cmss/bx/n on input line 111. |
| 911 |
LaTeX Font Info: Redeclaring math alphabet \mathsf on input line 111. |
| 912 |
LaTeX Font Info: Overwriting math alphabet `\mathsf' in version `normal' |
| 913 |
(Font) OT1/cmss/m/n --> OT1/cmss/m/n on input line 111. |
| 914 |
LaTeX Font Info: Overwriting math alphabet `\mathsf' in version `bold' |
| 915 |
(Font) OT1/cmss/bx/n --> OT1/cmss/m/n on input line 111. |
| 916 |
LaTeX Font Info: Redeclaring math alphabet \mathit on input line 111. |
| 917 |
LaTeX Font Info: Overwriting math alphabet `\mathit' in version `normal' |
| 918 |
(Font) OT1/cmr/m/it --> OT1/cmss/m/it on input line 111. |
| 919 |
LaTeX Font Info: Overwriting math alphabet `\mathit' in version `bold' |
| 920 |
(Font) OT1/cmr/bx/it --> OT1/cmss/m/it on input line 111. |
| 921 |
LaTeX Font Info: Redeclaring math alphabet \mathtt on input line 111. |
| 922 |
LaTeX Font Info: Overwriting math alphabet `\mathtt' in version `normal' |
| 923 |
(Font) OT1/cmtt/m/n --> OT1/cmtt/m/n on input line 111. |
| 924 |
LaTeX Font Info: Overwriting math alphabet `\mathtt' in version `bold' |
| 925 |
(Font) OT1/cmtt/m/n --> OT1/cmtt/m/n on input line 111. |
| 926 |
LaTeX Font Info: Overwriting symbol font `numbers' in version `bold' |
| 927 |
(Font) OT1/cmss/m/n --> OT1/cmss/bx/n on input line 111. |
| 928 |
LaTeX Font Info: Overwriting symbol font `pureletters' in version `bold' |
| 929 |
(Font) OT1/cmss/m/it --> OT1/cmss/bx/it on input line 111. |
| 930 |
LaTeX Font Info: Overwriting math alphabet `\mathrm' in version `bold' |
| 931 |
(Font) OT1/cmss/bx/n --> OT1/cmr/bx/n on input line 111. |
| 932 |
LaTeX Font Info: Overwriting math alphabet `\mathbf' in version `bold' |
| 933 |
(Font) OT1/cmss/bx/n --> OT1/cmss/bx/n on input line 111. |
| 934 |
LaTeX Font Info: Overwriting math alphabet `\mathsf' in version `bold' |
| 935 |
(Font) OT1/cmss/m/n --> OT1/cmss/bx/n on input line 111. |
| 936 |
LaTeX Font Info: Overwriting math alphabet `\mathit' in version `bold' |
| 937 |
(Font) OT1/cmss/m/it --> OT1/cmss/bx/it on input line 111. |
| 938 |
LaTeX Font Info: Overwriting math alphabet `\mathtt' in version `bold' |
| 939 |
(Font) OT1/cmtt/m/n --> OT1/cmtt/bx/n on input line 111. |
| 940 |
LaTeX Font Info: Redeclaring symbol font `pureletters' on input line 111. |
| 941 |
LaTeX Font Info: Overwriting symbol font `pureletters' in version `normal' |
| 942 |
(Font) OT1/cmss/m/it --> OT1/mathkerncmss/m/sl on input line 1 |
| 943 |
11. |
| 944 |
LaTeX Font Info: Overwriting symbol font `pureletters' in version `bold' |
| 945 |
(Font) OT1/cmss/bx/it --> OT1/mathkerncmss/m/sl on input line |
| 946 |
111. |
| 947 |
|
| 948 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/translator/dicts/translato |
| 949 |
r-basic-dictionary/translator-basic-dictionary-English.dict |
| 950 |
Dictionary: translator-basic-dictionary, Language: English |
| 951 |
) |
| 952 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/translator/dicts/translato |
| 953 |
r-bibliography-dictionary/translator-bibliography-dictionary-English.dict |
| 954 |
Dictionary: translator-bibliography-dictionary, Language: English |
| 955 |
) |
| 956 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/translator/dicts/translato |
| 957 |
r-environment-dictionary/translator-environment-dictionary-English.dict |
| 958 |
Dictionary: translator-environment-dictionary, Language: English |
| 959 |
) |
| 960 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/translator/dicts/translato |
| 961 |
r-months-dictionary/translator-months-dictionary-English.dict |
| 962 |
Dictionary: translator-months-dictionary, Language: English |
| 963 |
) |
| 964 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/translator/dicts/translato |
| 965 |
r-numbers-dictionary/translator-numbers-dictionary-English.dict |
| 966 |
Dictionary: translator-numbers-dictionary, Language: English |
| 967 |
) |
| 968 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/translator/dicts/translato |
| 969 |
r-theorem-dictionary/translator-theorem-dictionary-English.dict |
| 970 |
Dictionary: translator-theorem-dictionary, Language: English |
| 971 |
) |
| 972 |
LaTeX Info: Redefining \includegraphics on input line 111. |
| 973 |
|
| 974 |
(./unboundedArithmetic.nav) |
| 975 |
Overfull \hbox (30.40973pt too wide) in paragraph at lines 111--111 |
| 976 |
[][][][] |
| 977 |
[] |
| 978 |
|
| 979 |
|
| 980 |
LaTeX Font Warning: Font shape `OT1/cmss/m/n' in size <4> not available |
| 981 |
(Font) size <5> substituted on input line 112. |
| 982 |
|
| 983 |
|
| 984 |
Overfull \hbox (30.40973pt too wide) has occurred while \output is active |
| 985 |
[][][][] |
| 986 |
[] |
| 987 |
|
| 988 |
[1 |
| 989 |
|
| 990 |
{/usr/local/texlive/2012/texmf-var/fonts/map/pdftex/updmap/pdftex.map}]
|
| 991 |
LaTeX Font Info: Try loading font information for U+msa on input line 137. |
| 992 |
|
| 993 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/amsfonts/umsa.fd |
| 994 |
File: umsa.fd 2009/06/22 v3.00 AMS symbols A |
| 995 |
) |
| 996 |
LaTeX Font Info: Try loading font information for U+msb on input line 137. |
| 997 |
|
| 998 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/amsfonts/umsb.fd |
| 999 |
File: umsb.fd 2009/06/22 v3.00 AMS symbols B |
| 1000 |
) |
| 1001 |
LaTeX Font Info: Try loading font information for U+lasy on input line 137. |
| 1002 |
|
| 1003 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/base/ulasy.fd |
| 1004 |
File: ulasy.fd 1998/08/17 v2.2e LaTeX symbol font definitions |
| 1005 |
) |
| 1006 |
LaTeX Font Info: Try loading font information for U+stmry on input line 137. |
| 1007 |
|
| 1008 |
|
| 1009 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/stmaryrd/Ustmry.fd) |
| 1010 |
LaTeX Font Info: Try loading font information for OT1+mathkerncmss on input |
| 1011 |
line 137. |
| 1012 |
|
| 1013 |
(/usr/local/texlive/2012/texmf-dist/tex/latex/sansmathaccent/ot1mathkerncmss.fd |
| 1014 |
File: ot1mathkerncmss.fd 2012/04/26 |
| 1015 |
) |
| 1016 |
Overfull \hbox (29.75887pt too wide) in paragraph at lines 137--137 |
| 1017 |
[][] |
| 1018 |
[] |
| 1019 |
|
| 1020 |
|
| 1021 |
Overfull \hbox (30.40973pt too wide) has occurred while \output is active |
| 1022 |
[][][][] |
| 1023 |
[] |
| 1024 |
|
| 1025 |
[2 |
| 1026 |
|
| 1027 |
] |
| 1028 |
Overfull \hbox (12.16664pt too wide) detected at line 157 |
| 1029 |
[] \OMS/cmsy/m/n/10.95 , \OT1/mathkerncmss/m/sl/10.95 f \OMS/cmsy/m/n/10.95 2 |
| 1030 |
[] |
| 1031 |
[] |
| 1032 |
|
| 1033 |
|
| 1034 |
Overfull \hbox (30.40973pt too wide) has occurred while \output is active |
| 1035 |
[][][][] |
| 1036 |
[] |
| 1037 |
|
| 1038 |
[3 |
| 1039 |
|
| 1040 |
] |
| 1041 |
Overfull \hbox (30.40973pt too wide) has occurred while \output is active |
| 1042 |
[][][][] |
| 1043 |
[] |
| 1044 |
|
| 1045 |
[4 |
| 1046 |
|
| 1047 |
] |
| 1048 |
Overfull \hbox (30.40973pt too wide) has occurred while \output is active |
| 1049 |
[][][][] |
| 1050 |
[] |
| 1051 |
|
| 1052 |
[5 |
| 1053 |
|
| 1054 |
] |
| 1055 |
Overfull \hbox (30.40973pt too wide) has occurred while \output is active |
| 1056 |
[][][][] |
| 1057 |
[] |
| 1058 |
|
| 1059 |
[6 |
| 1060 |
|
| 1061 |
] |
| 1062 |
Overfull \hbox (30.40973pt too wide) has occurred while \output is active |
| 1063 |
[][][][] |
| 1064 |
[] |
| 1065 |
|
| 1066 |
[7 |
| 1067 |
|
| 1068 |
] |
| 1069 |
Overfull \hbox (30.40973pt too wide) has occurred while \output is active |
| 1070 |
[][][][] |
| 1071 |
[] |
| 1072 |
|
| 1073 |
[8 |
| 1074 |
|
| 1075 |
] |
| 1076 |
Overfull \hbox (30.40973pt too wide) has occurred while \output is active |
| 1077 |
[][][][] |
| 1078 |
[] |
| 1079 |
|
| 1080 |
[9 |
| 1081 |
|
| 1082 |
] |
| 1083 |
Overfull \hbox (5.31305pt too wide) detected at line 285 |
| 1084 |
\OT1/mathkerncmss/m/sl/10 A\OT1/cmss/m/n/10 (0) \OMS/cmsy/m/n/10 ! \OT1/cmss/m/ |
| 1085 |
n/10 (\OMS/cmsy/m/n/10 8\OT1/mathkerncmss/m/sl/10 x[]\OML/cmm/m/it/10 :\OT1/cms |
| 1086 |
s/m/n/10 (\OT1/mathkerncmss/m/sl/10 A\OT1/cmss/m/n/10 (\OT1/mathkerncmss/m/sl/1 |
| 1087 |
0 x\OT1/cmss/m/n/10 ) \OMS/cmsy/m/n/10 ! \OT1/mathkerncmss/m/sl/10 A\OT1/cmss/m |
| 1088 |
/n/10 (\OT1/mathkerncmss/m/sl/10 s[]x\OT1/cmss/m/n/10 ))) \OMS/cmsy/m/n/10 ! \O |
| 1089 |
T1/cmss/m/n/10 (\OMS/cmsy/m/n/10 8\OT1/mathkerncmss/m/sl/10 x[]\OML/cmm/m/it/10 |
| 1090 |
:\OT1/cmss/m/n/10 (\OT1/mathkerncmss/m/sl/10 A\OT1/cmss/m/n/10 (\OT1/mathkernc |
| 1091 |
mss/m/sl/10 x\OT1/cmss/m/n/10 ) \OMS/cmsy/m/n/10 ! \OT1/mathkerncmss/m/sl/10 A\ |
| 1092 |
OT1/cmss/m/n/10 (\OT1/mathkerncmss/m/sl/10 s[]x\OT1/cmss/m/n/10 ))) \OMS/cmsy/m |
| 1093 |
/n/10 ! 8\OT1/mathkerncmss/m/sl/10 x[]\OML/cmm/m/it/10 :\OT1/mathkerncmss/m/sl/ |
| 1094 |
10 A\OT1/cmss/m/n/10 (\OT1/mathkerncmss/m/sl/10 x\OT1/cmss/m/n/10 ) |
| 1095 |
[] |
| 1096 |
|
| 1097 |
|
| 1098 |
Overfull \hbox (30.40973pt too wide) has occurred while \output is active |
| 1099 |
[][][][] |
| 1100 |
[] |
| 1101 |
|
| 1102 |
[10 |
| 1103 |
|
| 1104 |
] |
| 1105 |
Overfull \hbox (30.40973pt too wide) has occurred while \output is active |
| 1106 |
[][][][] |
| 1107 |
[] |
| 1108 |
|
| 1109 |
[11 |
| 1110 |
|
| 1111 |
] |
| 1112 |
Overfull \hbox (30.40973pt too wide) has occurred while \output is active |
| 1113 |
[][][][] |
| 1114 |
[] |
| 1115 |
|
| 1116 |
[12 |
| 1117 |
|
| 1118 |
] |
| 1119 |
Overfull \hbox (30.40973pt too wide) has occurred while \output is active |
| 1120 |
[][][][] |
| 1121 |
[] |
| 1122 |
|
| 1123 |
[13 |
| 1124 |
|
| 1125 |
] |
| 1126 |
\tf@nav=\write6 |
| 1127 |
\openout6 = `unboundedArithmetic.nav'. |
| 1128 |
|
| 1129 |
\tf@toc=\write7 |
| 1130 |
\openout7 = `unboundedArithmetic.toc'. |
| 1131 |
|
| 1132 |
\tf@snm=\write8 |
| 1133 |
\openout8 = `unboundedArithmetic.snm'. |
| 1134 |
|
| 1135 |
Package atveryend Info: Empty hook `BeforeClearDocument' on input line 330. |
| 1136 |
Package atveryend Info: Empty hook `AfterLastShipout' on input line 330. |
| 1137 |
(./unboundedArithmetic.aux) |
| 1138 |
Package atveryend Info: Executing hook `AtVeryEndDocument' on input line 330. |
| 1139 |
Package atveryend Info: Executing hook `AtEndAfterFileList' on input line 330. |
| 1140 |
Package rerunfilecheck Info: File `unboundedArithmetic.out' has not changed. |
| 1141 |
(rerunfilecheck) Checksum: D41D8CD98F00B204E9800998ECF8427E;0. |
| 1142 |
|
| 1143 |
|
| 1144 |
LaTeX Font Warning: Size substitutions with differences |
| 1145 |
(Font) up to 1.0pt have occurred. |
| 1146 |
|
| 1147 |
Package atveryend Info: Empty hook `AtVeryVeryEnd' on input line 330. |
| 1148 |
) |
| 1149 |
Here is how much of TeX's memory you used: |
| 1150 |
16246 strings out of 493488 |
| 1151 |
303725 string characters out of 3141326 |
| 1152 |
378999 words of memory out of 3000000 |
| 1153 |
19100 multiletter control sequences out of 15000+200000 |
| 1154 |
16100 words of font info for 64 fonts, out of 3000000 for 9000 |
| 1155 |
957 hyphenation exceptions out of 8191 |
| 1156 |
49i,16n,62p,455b,587s stack positions out of 5000i,500n,10000p,200000b,50000s |
| 1157 |
</usr/local/texlive/2012/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb |
| 1158 |
></usr/local/texlive/2012/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi7.pfb>< |
| 1159 |
/usr/local/texlive/2012/texmf-dist/fonts/type1/public/amsfonts/cm/cmss10.pfb></ |
| 1160 |
usr/local/texlive/2012/texmf-dist/fonts/type1/public/amsfonts/cm/cmss12.pfb></u |
| 1161 |
sr/local/texlive/2012/texmf-dist/fonts/type1/public/amsfonts/cm/cmss8.pfb></usr |
| 1162 |
/local/texlive/2012/texmf-dist/fonts/type1/public/amsfonts/cm/cmssi10.pfb></usr |
| 1163 |
/local/texlive/2012/texmf-dist/fonts/type1/public/amsfonts/cm/cmssi8.pfb></usr/ |
| 1164 |
local/texlive/2012/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb></usr/l |
| 1165 |
ocal/texlive/2012/texmf-dist/fonts/type1/public/amsfonts/latxfont/lasy10.pfb> |
| 1166 |
Output written on unboundedArithmetic.pdf (13 pages, 117179 bytes). |
| 1167 |
PDF statistics: |
| 1168 |
422 PDF objects out of 1000 (max. 8388607) |
| 1169 |
379 compressed objects within 4 object streams |
| 1170 |
27 named destinations out of 1000 (max. 500000) |
| 1171 |
91 words of extra memory for PDF output out of 10000 (max. 10000000) |
| 1172 |
|