kummer-degrees

Compute the degree of Kummer extensions
git clone https://git.tronto.net/kummer-degrees
Download | Log | Files | Refs | README | LICENSE

af_code.log (29717B)

      1 This is pdfTeX, Version 3.14159265-2.6-1.40.18 (TeX Live 2017/Debian) (preloaded format=pdflatex 2019.9.20)  20 SEP 2019 10:04
      2 entering extended mode
      3  \write18 enabled.
      4  %&-line parsing enabled.
      5 **af_code.tex
      6 (./af_code.tex
      7 LaTeX2e <2017-04-15>
      8 Babel <3.18> and hyphenation patterns for 18 language(s) loaded.
      9 (/usr/share/texlive/texmf-dist/tex/latex/base/report.cls
     10 Document Class: report 2014/09/29 v1.4h Standard LaTeX document class
     11 (/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo
     12 File: size10.clo 2014/09/29 v1.4h Standard LaTeX file (size option)
     13 )
     14 \c@part=\count79
     15 \c@chapter=\count80
     16 \c@section=\count81
     17 \c@subsection=\count82
     18 \c@subsubsection=\count83
     19 \c@paragraph=\count84
     20 \c@subparagraph=\count85
     21 \c@figure=\count86
     22 \c@table=\count87
     23 \abovecaptionskip=\skip41
     24 \belowcaptionskip=\skip42
     25 \bibindent=\dimen102
     26 )
     27 (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty
     28 Package: inputenc 2015/03/17 v1.2c Input encoding file
     29 \inpenc@prehook=\toks14
     30 \inpenc@posthook=\toks15
     31 
     32 (/usr/share/texlive/texmf-dist/tex/latex/base/utf8.def
     33 File: utf8.def 2017/01/28 v1.1t UTF-8 support for inputenc
     34 Now handling font encoding OML ...
     35 ... no UTF-8 mapping file for font encoding OML
     36 Now handling font encoding T1 ...
     37 ... processing UTF-8 mapping file for font encoding T1
     38 
     39 (/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.dfu
     40 File: t1enc.dfu 2017/01/28 v1.1t UTF-8 support for inputenc
     41    defining Unicode char U+00A0 (decimal 160)
     42    defining Unicode char U+00A1 (decimal 161)
     43    defining Unicode char U+00A3 (decimal 163)
     44    defining Unicode char U+00AB (decimal 171)
     45    defining Unicode char U+00AD (decimal 173)
     46    defining Unicode char U+00BB (decimal 187)
     47    defining Unicode char U+00BF (decimal 191)
     48    defining Unicode char U+00C0 (decimal 192)
     49    defining Unicode char U+00C1 (decimal 193)
     50    defining Unicode char U+00C2 (decimal 194)
     51    defining Unicode char U+00C3 (decimal 195)
     52    defining Unicode char U+00C4 (decimal 196)
     53    defining Unicode char U+00C5 (decimal 197)
     54    defining Unicode char U+00C6 (decimal 198)
     55    defining Unicode char U+00C7 (decimal 199)
     56    defining Unicode char U+00C8 (decimal 200)
     57    defining Unicode char U+00C9 (decimal 201)
     58    defining Unicode char U+00CA (decimal 202)
     59    defining Unicode char U+00CB (decimal 203)
     60    defining Unicode char U+00CC (decimal 204)
     61    defining Unicode char U+00CD (decimal 205)
     62    defining Unicode char U+00CE (decimal 206)
     63    defining Unicode char U+00CF (decimal 207)
     64    defining Unicode char U+00D0 (decimal 208)
     65    defining Unicode char U+00D1 (decimal 209)
     66    defining Unicode char U+00D2 (decimal 210)
     67    defining Unicode char U+00D3 (decimal 211)
     68    defining Unicode char U+00D4 (decimal 212)
     69    defining Unicode char U+00D5 (decimal 213)
     70    defining Unicode char U+00D6 (decimal 214)
     71    defining Unicode char U+00D8 (decimal 216)
     72    defining Unicode char U+00D9 (decimal 217)
     73    defining Unicode char U+00DA (decimal 218)
     74    defining Unicode char U+00DB (decimal 219)
     75    defining Unicode char U+00DC (decimal 220)
     76    defining Unicode char U+00DD (decimal 221)
     77    defining Unicode char U+00DE (decimal 222)
     78    defining Unicode char U+00DF (decimal 223)
     79    defining Unicode char U+00E0 (decimal 224)
     80    defining Unicode char U+00E1 (decimal 225)
     81    defining Unicode char U+00E2 (decimal 226)
     82    defining Unicode char U+00E3 (decimal 227)
     83    defining Unicode char U+00E4 (decimal 228)
     84    defining Unicode char U+00E5 (decimal 229)
     85    defining Unicode char U+00E6 (decimal 230)
     86    defining Unicode char U+00E7 (decimal 231)
     87    defining Unicode char U+00E8 (decimal 232)
     88    defining Unicode char U+00E9 (decimal 233)
     89    defining Unicode char U+00EA (decimal 234)
     90    defining Unicode char U+00EB (decimal 235)
     91    defining Unicode char U+00EC (decimal 236)
     92    defining Unicode char U+00ED (decimal 237)
     93    defining Unicode char U+00EE (decimal 238)
     94    defining Unicode char U+00EF (decimal 239)
     95    defining Unicode char U+00F0 (decimal 240)
     96    defining Unicode char U+00F1 (decimal 241)
     97    defining Unicode char U+00F2 (decimal 242)
     98    defining Unicode char U+00F3 (decimal 243)
     99    defining Unicode char U+00F4 (decimal 244)
    100    defining Unicode char U+00F5 (decimal 245)
    101    defining Unicode char U+00F6 (decimal 246)
    102    defining Unicode char U+00F8 (decimal 248)
    103    defining Unicode char U+00F9 (decimal 249)
    104    defining Unicode char U+00FA (decimal 250)
    105    defining Unicode char U+00FB (decimal 251)
    106    defining Unicode char U+00FC (decimal 252)
    107    defining Unicode char U+00FD (decimal 253)
    108    defining Unicode char U+00FE (decimal 254)
    109    defining Unicode char U+00FF (decimal 255)
    110    defining Unicode char U+0100 (decimal 256)
    111    defining Unicode char U+0101 (decimal 257)
    112    defining Unicode char U+0102 (decimal 258)
    113    defining Unicode char U+0103 (decimal 259)
    114    defining Unicode char U+0104 (decimal 260)
    115    defining Unicode char U+0105 (decimal 261)
    116    defining Unicode char U+0106 (decimal 262)
    117    defining Unicode char U+0107 (decimal 263)
    118    defining Unicode char U+0108 (decimal 264)
    119    defining Unicode char U+0109 (decimal 265)
    120    defining Unicode char U+010A (decimal 266)
    121    defining Unicode char U+010B (decimal 267)
    122    defining Unicode char U+010C (decimal 268)
    123    defining Unicode char U+010D (decimal 269)
    124    defining Unicode char U+010E (decimal 270)
    125    defining Unicode char U+010F (decimal 271)
    126    defining Unicode char U+0110 (decimal 272)
    127    defining Unicode char U+0111 (decimal 273)
    128    defining Unicode char U+0112 (decimal 274)
    129    defining Unicode char U+0113 (decimal 275)
    130    defining Unicode char U+0114 (decimal 276)
    131    defining Unicode char U+0115 (decimal 277)
    132    defining Unicode char U+0116 (decimal 278)
    133    defining Unicode char U+0117 (decimal 279)
    134    defining Unicode char U+0118 (decimal 280)
    135    defining Unicode char U+0119 (decimal 281)
    136    defining Unicode char U+011A (decimal 282)
    137    defining Unicode char U+011B (decimal 283)
    138    defining Unicode char U+011C (decimal 284)
    139    defining Unicode char U+011D (decimal 285)
    140    defining Unicode char U+011E (decimal 286)
    141    defining Unicode char U+011F (decimal 287)
    142    defining Unicode char U+0120 (decimal 288)
    143    defining Unicode char U+0121 (decimal 289)
    144    defining Unicode char U+0122 (decimal 290)
    145    defining Unicode char U+0123 (decimal 291)
    146    defining Unicode char U+0124 (decimal 292)
    147    defining Unicode char U+0125 (decimal 293)
    148    defining Unicode char U+0128 (decimal 296)
    149    defining Unicode char U+0129 (decimal 297)
    150    defining Unicode char U+012A (decimal 298)
    151    defining Unicode char U+012B (decimal 299)
    152    defining Unicode char U+012C (decimal 300)
    153    defining Unicode char U+012D (decimal 301)
    154    defining Unicode char U+012E (decimal 302)
    155    defining Unicode char U+012F (decimal 303)
    156    defining Unicode char U+0130 (decimal 304)
    157    defining Unicode char U+0131 (decimal 305)
    158    defining Unicode char U+0132 (decimal 306)
    159    defining Unicode char U+0133 (decimal 307)
    160    defining Unicode char U+0134 (decimal 308)
    161    defining Unicode char U+0135 (decimal 309)
    162    defining Unicode char U+0136 (decimal 310)
    163    defining Unicode char U+0137 (decimal 311)
    164    defining Unicode char U+0139 (decimal 313)
    165    defining Unicode char U+013A (decimal 314)
    166    defining Unicode char U+013B (decimal 315)
    167    defining Unicode char U+013C (decimal 316)
    168    defining Unicode char U+013D (decimal 317)
    169    defining Unicode char U+013E (decimal 318)
    170    defining Unicode char U+0141 (decimal 321)
    171    defining Unicode char U+0142 (decimal 322)
    172    defining Unicode char U+0143 (decimal 323)
    173    defining Unicode char U+0144 (decimal 324)
    174    defining Unicode char U+0145 (decimal 325)
    175    defining Unicode char U+0146 (decimal 326)
    176    defining Unicode char U+0147 (decimal 327)
    177    defining Unicode char U+0148 (decimal 328)
    178    defining Unicode char U+014A (decimal 330)
    179    defining Unicode char U+014B (decimal 331)
    180    defining Unicode char U+014C (decimal 332)
    181    defining Unicode char U+014D (decimal 333)
    182    defining Unicode char U+014E (decimal 334)
    183    defining Unicode char U+014F (decimal 335)
    184    defining Unicode char U+0150 (decimal 336)
    185    defining Unicode char U+0151 (decimal 337)
    186    defining Unicode char U+0152 (decimal 338)
    187    defining Unicode char U+0153 (decimal 339)
    188    defining Unicode char U+0154 (decimal 340)
    189    defining Unicode char U+0155 (decimal 341)
    190    defining Unicode char U+0156 (decimal 342)
    191    defining Unicode char U+0157 (decimal 343)
    192    defining Unicode char U+0158 (decimal 344)
    193    defining Unicode char U+0159 (decimal 345)
    194    defining Unicode char U+015A (decimal 346)
    195    defining Unicode char U+015B (decimal 347)
    196    defining Unicode char U+015C (decimal 348)
    197    defining Unicode char U+015D (decimal 349)
    198    defining Unicode char U+015E (decimal 350)
    199    defining Unicode char U+015F (decimal 351)
    200    defining Unicode char U+0160 (decimal 352)
    201    defining Unicode char U+0161 (decimal 353)
    202    defining Unicode char U+0162 (decimal 354)
    203    defining Unicode char U+0163 (decimal 355)
    204    defining Unicode char U+0164 (decimal 356)
    205    defining Unicode char U+0165 (decimal 357)
    206    defining Unicode char U+0168 (decimal 360)
    207    defining Unicode char U+0169 (decimal 361)
    208    defining Unicode char U+016A (decimal 362)
    209    defining Unicode char U+016B (decimal 363)
    210    defining Unicode char U+016C (decimal 364)
    211    defining Unicode char U+016D (decimal 365)
    212    defining Unicode char U+016E (decimal 366)
    213    defining Unicode char U+016F (decimal 367)
    214    defining Unicode char U+0170 (decimal 368)
    215    defining Unicode char U+0171 (decimal 369)
    216    defining Unicode char U+0172 (decimal 370)
    217    defining Unicode char U+0173 (decimal 371)
    218    defining Unicode char U+0174 (decimal 372)
    219    defining Unicode char U+0175 (decimal 373)
    220    defining Unicode char U+0176 (decimal 374)
    221    defining Unicode char U+0177 (decimal 375)
    222    defining Unicode char U+0178 (decimal 376)
    223    defining Unicode char U+0179 (decimal 377)
    224    defining Unicode char U+017A (decimal 378)
    225    defining Unicode char U+017B (decimal 379)
    226    defining Unicode char U+017C (decimal 380)
    227    defining Unicode char U+017D (decimal 381)
    228    defining Unicode char U+017E (decimal 382)
    229    defining Unicode char U+01CD (decimal 461)
    230    defining Unicode char U+01CE (decimal 462)
    231    defining Unicode char U+01CF (decimal 463)
    232    defining Unicode char U+01D0 (decimal 464)
    233    defining Unicode char U+01D1 (decimal 465)
    234    defining Unicode char U+01D2 (decimal 466)
    235    defining Unicode char U+01D3 (decimal 467)
    236    defining Unicode char U+01D4 (decimal 468)
    237    defining Unicode char U+01E2 (decimal 482)
    238    defining Unicode char U+01E3 (decimal 483)
    239    defining Unicode char U+01E6 (decimal 486)
    240    defining Unicode char U+01E7 (decimal 487)
    241    defining Unicode char U+01E8 (decimal 488)
    242    defining Unicode char U+01E9 (decimal 489)
    243    defining Unicode char U+01EA (decimal 490)
    244    defining Unicode char U+01EB (decimal 491)
    245    defining Unicode char U+01F0 (decimal 496)
    246    defining Unicode char U+01F4 (decimal 500)
    247    defining Unicode char U+01F5 (decimal 501)
    248    defining Unicode char U+0218 (decimal 536)
    249    defining Unicode char U+0219 (decimal 537)
    250    defining Unicode char U+021A (decimal 538)
    251    defining Unicode char U+021B (decimal 539)
    252    defining Unicode char U+0232 (decimal 562)
    253    defining Unicode char U+0233 (decimal 563)
    254    defining Unicode char U+1E02 (decimal 7682)
    255    defining Unicode char U+1E03 (decimal 7683)
    256    defining Unicode char U+200C (decimal 8204)
    257    defining Unicode char U+2010 (decimal 8208)
    258    defining Unicode char U+2011 (decimal 8209)
    259    defining Unicode char U+2012 (decimal 8210)
    260    defining Unicode char U+2013 (decimal 8211)
    261    defining Unicode char U+2014 (decimal 8212)
    262    defining Unicode char U+2015 (decimal 8213)
    263    defining Unicode char U+2018 (decimal 8216)
    264    defining Unicode char U+2019 (decimal 8217)
    265    defining Unicode char U+201A (decimal 8218)
    266    defining Unicode char U+201C (decimal 8220)
    267    defining Unicode char U+201D (decimal 8221)
    268    defining Unicode char U+201E (decimal 8222)
    269    defining Unicode char U+2030 (decimal 8240)
    270    defining Unicode char U+2031 (decimal 8241)
    271    defining Unicode char U+2039 (decimal 8249)
    272    defining Unicode char U+203A (decimal 8250)
    273    defining Unicode char U+2423 (decimal 9251)
    274    defining Unicode char U+1E20 (decimal 7712)
    275    defining Unicode char U+1E21 (decimal 7713)
    276 )
    277 Now handling font encoding OT1 ...
    278 ... processing UTF-8 mapping file for font encoding OT1
    279 
    280 (/usr/share/texlive/texmf-dist/tex/latex/base/ot1enc.dfu
    281 File: ot1enc.dfu 2017/01/28 v1.1t UTF-8 support for inputenc
    282    defining Unicode char U+00A0 (decimal 160)
    283    defining Unicode char U+00A1 (decimal 161)
    284    defining Unicode char U+00A3 (decimal 163)
    285    defining Unicode char U+00AD (decimal 173)
    286    defining Unicode char U+00B8 (decimal 184)
    287    defining Unicode char U+00BF (decimal 191)
    288    defining Unicode char U+00C5 (decimal 197)
    289    defining Unicode char U+00C6 (decimal 198)
    290    defining Unicode char U+00D8 (decimal 216)
    291    defining Unicode char U+00DF (decimal 223)
    292    defining Unicode char U+00E6 (decimal 230)
    293    defining Unicode char U+00EC (decimal 236)
    294    defining Unicode char U+00ED (decimal 237)
    295    defining Unicode char U+00EE (decimal 238)
    296    defining Unicode char U+00EF (decimal 239)
    297    defining Unicode char U+00F8 (decimal 248)
    298    defining Unicode char U+0131 (decimal 305)
    299    defining Unicode char U+0141 (decimal 321)
    300    defining Unicode char U+0142 (decimal 322)
    301    defining Unicode char U+0152 (decimal 338)
    302    defining Unicode char U+0153 (decimal 339)
    303    defining Unicode char U+0174 (decimal 372)
    304    defining Unicode char U+0175 (decimal 373)
    305    defining Unicode char U+0176 (decimal 374)
    306    defining Unicode char U+0177 (decimal 375)
    307    defining Unicode char U+0218 (decimal 536)
    308    defining Unicode char U+0219 (decimal 537)
    309    defining Unicode char U+021A (decimal 538)
    310    defining Unicode char U+021B (decimal 539)
    311    defining Unicode char U+2013 (decimal 8211)
    312    defining Unicode char U+2014 (decimal 8212)
    313    defining Unicode char U+2018 (decimal 8216)
    314    defining Unicode char U+2019 (decimal 8217)
    315    defining Unicode char U+201C (decimal 8220)
    316    defining Unicode char U+201D (decimal 8221)
    317 )
    318 Now handling font encoding OMS ...
    319 ... processing UTF-8 mapping file for font encoding OMS
    320 
    321 (/usr/share/texlive/texmf-dist/tex/latex/base/omsenc.dfu
    322 File: omsenc.dfu 2017/01/28 v1.1t UTF-8 support for inputenc
    323    defining Unicode char U+00A7 (decimal 167)
    324    defining Unicode char U+00B6 (decimal 182)
    325    defining Unicode char U+00B7 (decimal 183)
    326    defining Unicode char U+2020 (decimal 8224)
    327    defining Unicode char U+2021 (decimal 8225)
    328    defining Unicode char U+2022 (decimal 8226)
    329 )
    330 Now handling font encoding OMX ...
    331 ... no UTF-8 mapping file for font encoding OMX
    332 Now handling font encoding U ...
    333 ... no UTF-8 mapping file for font encoding U
    334    defining Unicode char U+00A9 (decimal 169)
    335    defining Unicode char U+00AA (decimal 170)
    336    defining Unicode char U+00AE (decimal 174)
    337    defining Unicode char U+00BA (decimal 186)
    338    defining Unicode char U+02C6 (decimal 710)
    339    defining Unicode char U+02DC (decimal 732)
    340    defining Unicode char U+200C (decimal 8204)
    341    defining Unicode char U+2026 (decimal 8230)
    342    defining Unicode char U+2122 (decimal 8482)
    343    defining Unicode char U+2423 (decimal 9251)
    344 ))
    345 (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty
    346 Package: amsmath 2017/09/02 v2.17a AMS math features
    347 \@mathmargin=\skip43
    348 
    349 For additional information on amsmath, use the `?' option.
    350 (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty
    351 Package: amstext 2000/06/29 v2.01 AMS text
    352 
    353 (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty
    354 File: amsgen.sty 1999/11/30 v2.0 generic functions
    355 \@emptytoks=\toks16
    356 \ex@=\dimen103
    357 ))
    358 (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty
    359 Package: amsbsy 1999/11/29 v1.2d Bold Symbols
    360 \pmbraise@=\dimen104
    361 )
    362 (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty
    363 Package: amsopn 2016/03/08 v2.02 operator names
    364 )
    365 \inf@bad=\count88
    366 LaTeX Info: Redefining \frac on input line 213.
    367 \uproot@=\count89
    368 \leftroot@=\count90
    369 LaTeX Info: Redefining \overline on input line 375.
    370 \classnum@=\count91
    371 \DOTSCASE@=\count92
    372 LaTeX Info: Redefining \ldots on input line 472.
    373 LaTeX Info: Redefining \dots on input line 475.
    374 LaTeX Info: Redefining \cdots on input line 596.
    375 \Mathstrutbox@=\box26
    376 \strutbox@=\box27
    377 \big@size=\dimen105
    378 LaTeX Font Info:    Redeclaring font encoding OML on input line 712.
    379 LaTeX Font Info:    Redeclaring font encoding OMS on input line 713.
    380 \macc@depth=\count93
    381 \c@MaxMatrixCols=\count94
    382 \dotsspace@=\muskip10
    383 \c@parentequation=\count95
    384 \dspbrk@lvl=\count96
    385 \tag@help=\toks17
    386 \row@=\count97
    387 \column@=\count98
    388 \maxfields@=\count99
    389 \andhelp@=\toks18
    390 \eqnshift@=\dimen106
    391 \alignsep@=\dimen107
    392 \tagshift@=\dimen108
    393 \tagwidth@=\dimen109
    394 \totwidth@=\dimen110
    395 \lineht@=\dimen111
    396 \@envbody=\toks19
    397 \multlinegap=\skip44
    398 \multlinetaggap=\skip45
    399 \mathdisplay@stack=\toks20
    400 LaTeX Info: Redefining \[ on input line 2817.
    401 LaTeX Info: Redefining \] on input line 2818.
    402 )
    403 (/usr/share/texlive/texmf-dist/tex/latex/amscls/amsthm.sty
    404 Package: amsthm 2017/10/31 v2.20.4
    405 \thm@style=\toks21
    406 \thm@bodyfont=\toks22
    407 \thm@headfont=\toks23
    408 \thm@notefont=\toks24
    409 \thm@headpunct=\toks25
    410 \thm@preskip=\skip46
    411 \thm@postskip=\skip47
    412 \thm@headsep=\skip48
    413 \dth@everypar=\toks26
    414 )
    415 (/usr/share/texlive/texmf-dist/tex/generic/xypic/xy.sty
    416 (/usr/share/texlive/texmf-dist/tex/generic/xypic/xy.tex Bootstrap'ing:
    417 catcodes, docmode, (/usr/share/texlive/texmf-dist/tex/generic/xypic/xyrecat.tex
    418 ) (/usr/share/texlive/texmf-dist/tex/generic/xypic/xyidioms.tex)
    419 
    420  Xy-pic version 3.8.9 <2013/10/06>
    421  Copyright (c) 1991-2013 by Kristoffer H. Rose <krisrose@tug.org> and others
    422  Xy-pic is free software: see the User's Guide for details.
    423 
    424 Loading kernel: messages; fonts; allocations: state,
    425 \X@c=\dimen112
    426 \Y@c=\dimen113
    427 \U@c=\dimen114
    428 \D@c=\dimen115
    429 \L@c=\dimen116
    430 \R@c=\dimen117
    431 \Edge@c=\toks27
    432 \X@p=\dimen118
    433 \Y@p=\dimen119
    434 \U@p=\dimen120
    435 \D@p=\dimen121
    436 \L@p=\dimen122
    437 \R@p=\dimen123
    438 \Edge@p=\toks28
    439 \X@origin=\dimen124
    440 \Y@origin=\dimen125
    441 \X@xbase=\dimen126
    442 \Y@xbase=\dimen127
    443 \X@ybase=\dimen128
    444 \Y@ybase=\dimen129
    445 \X@min=\dimen130
    446 \Y@min=\dimen131
    447 \X@max=\dimen132
    448 \Y@max=\dimen133
    449 \lastobjectbox@=\box28
    450 \zerodotbox@=\box29
    451 \almostz@=\dimen134
    452  direction,
    453 \d@X=\dimen135
    454 \d@Y=\dimen136
    455 \K@=\count100
    456 \KK@=\count101
    457 \Direction=\count102
    458 \K@dXdY=\dimen137
    459 \K@dYdX=\dimen138
    460 \xyread@=\read1
    461 \xywrite@=\write3
    462 \csp@=\count103
    463 \quotPTK@=\dimen139
    464 
    465 utility macros; pictures: \xy, positions,
    466 \swaptoks@@=\toks29
    467 \connectobjectbox@@=\box30
    468  objects,
    469 \styletoks@=\toks30
    470  decorations;
    471 kernel objects: directionals, circles, text; options; algorithms: directions,
    472 edges, connections;  Xy-pic loaded)
    473 (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifpdf.sty
    474 Package: ifpdf 2017/03/15 v3.2 Provides the ifpdf switch
    475 )
    476 Package: xy 2013/10/06 Xy-pic version 3.8.9
    477 
    478 (/usr/share/texlive/texmf-dist/tex/generic/xypic/xyall.tex
    479  Xy-pic option: All features v.3.8
    480 (/usr/share/texlive/texmf-dist/tex/generic/xypic/xycurve.tex
    481  Xy-pic option: Curve and Spline extension v.3.12 curve,
    482 \crv@cnt@=\count104
    483 \crvpts@=\toks31
    484 \splinebox@=\box31
    485 \splineval@=\dimen140
    486 \splinedepth@=\dimen141
    487 \splinetol@=\dimen142
    488 \splinelength@=\dimen143
    489  circles,
    490 \L@=\dimen144
    491  loaded)
    492 (/usr/share/texlive/texmf-dist/tex/generic/xypic/xyframe.tex
    493  Xy-pic option: Frame and Bracket extension v.3.14 loaded)
    494 (/usr/share/texlive/texmf-dist/tex/generic/xypic/xycmtip.tex
    495  Xy-pic option: Computer Modern tip extension v.3.7
    496 (/usr/share/texlive/texmf-dist/tex/generic/xypic/xytips.tex
    497  Xy-pic option: More Tips extension v.3.11 loaded) loaded)
    498 (/usr/share/texlive/texmf-dist/tex/generic/xypic/xyline.tex
    499  Xy-pic option: Line styles extension v.3.10
    500 \xylinethick@=\dimen145
    501  loaded)
    502 (/usr/share/texlive/texmf-dist/tex/generic/xypic/xyrotate.tex
    503  Xy-pic option: Rotate and Scale extension v.3.8 loaded)
    504 (/usr/share/texlive/texmf-dist/tex/generic/xypic/xycolor.tex
    505  Xy-pic option: Colour extension v.3.11 loaded)
    506 (/usr/share/texlive/texmf-dist/tex/generic/xypic/xymatrix.tex
    507  Xy-pic option: Matrix feature v.3.14
    508 \Row=\count105
    509 \Col=\count106
    510 \queue@=\toks32
    511 \queue@@=\toks33
    512 \qcount@=\count107
    513 \qcount@@=\count108
    514 \matrixsize@=\count109
    515  loaded)
    516 (/usr/share/texlive/texmf-dist/tex/generic/xypic/xyarrow.tex
    517  Xy-pic option: Arrow and Path feature v.3.9 path, \ar, loaded)
    518 (/usr/share/texlive/texmf-dist/tex/generic/xypic/xygraph.tex
    519  Xy-pic option: Graph feature v.3.11 loaded) loaded)
    520 (/usr/share/texlive/texmf-dist/tex/generic/xypic/xypdf.tex
    521  Xy-pic option: PDF driver v.1.7 Xy-pic pdf driver: `color' extension support
    522 (/usr/share/texlive/texmf-dist/tex/generic/xypic/xypdf-co.tex loaded)
    523 Xy-pic pdf driver: `curve' extension support
    524 (/usr/share/texlive/texmf-dist/tex/generic/xypic/xypdf-cu.tex loaded)
    525 Xy-pic pdf driver: `frame' extension support
    526 (/usr/share/texlive/texmf-dist/tex/generic/xypic/xypdf-fr.tex loaded)
    527 Xy-pic pdf driver: `line' extension support
    528 (/usr/share/texlive/texmf-dist/tex/generic/xypic/xypdf-li.tex loaded)
    529 Xy-pic pdf driver: `rotate' extension support
    530 (/usr/share/texlive/texmf-dist/tex/generic/xypic/xypdf-ro.tex loaded) loaded))
    531 (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty
    532 Package: amsfonts 2013/01/14 v3.01 Basic AMSFonts support
    533 \symAMSa=\mathgroup4
    534 \symAMSb=\mathgroup5
    535 LaTeX Font Info:    Overwriting math alphabet `\mathfrak' in version `bold'
    536 (Font)                  U/euf/m/n --> U/euf/b/n on input line 106.
    537 )
    538 (/usr/share/texlive/texmf-dist/tex/latex/graphics/color.sty
    539 Package: color 2016/07/10 v1.1e Standard LaTeX Color (DPC)
    540 
    541 (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/color.cfg
    542 File: color.cfg 2016/01/02 v1.6 sample color configuration
    543 )
    544 Package color Info: Driver file: pdftex.def on input line 147.
    545 
    546 (/usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def
    547 File: pdftex.def 2018/01/08 v1.0l Graphics/color driver for pdftex
    548 ))
    549 (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty
    550 Package: amssymb 2013/01/14 v3.01 AMS font symbols
    551 )
    552 (/usr/share/texlive/texmf-dist/tex/latex/float/float.sty
    553 Package: float 2001/11/08 v1.3d Float enhancements (AL)
    554 \c@float@type=\count110
    555 \float@exts=\toks34
    556 \float@box=\box32
    557 \@float@everytoks=\toks35
    558 \@floatcapt=\box33
    559 )
    560 (/usr/share/texlive/texmf-dist/tex/latex/geometry/geometry.sty
    561 Package: geometry 2010/09/12 v5.6 Page Geometry
    562 
    563 (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty
    564 Package: keyval 2014/10/28 v1.15 key=value parser (DPC)
    565 \KV@toks@=\toks36
    566 )
    567 (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifvtex.sty
    568 Package: ifvtex 2016/05/16 v1.6 Detect VTeX and its facilities (HO)
    569 Package ifvtex Info: VTeX not detected.
    570 )
    571 (/usr/share/texlive/texmf-dist/tex/generic/ifxetex/ifxetex.sty
    572 Package: ifxetex 2010/09/12 v0.6 Provides ifxetex conditional
    573 )
    574 \Gm@cnth=\count111
    575 \Gm@cntv=\count112
    576 \c@Gm@tempcnt=\count113
    577 \Gm@bindingoffset=\dimen146
    578 \Gm@wd@mp=\dimen147
    579 \Gm@odd@mp=\dimen148
    580 \Gm@even@mp=\dimen149
    581 \Gm@layoutwidth=\dimen150
    582 \Gm@layoutheight=\dimen151
    583 \Gm@layouthoffset=\dimen152
    584 \Gm@layoutvoffset=\dimen153
    585 \Gm@dimlist=\toks37
    586 )
    587 (/usr/share/texlive/texmf-dist/tex/latex/listings/listings.sty
    588 \lst@mode=\count114
    589 \lst@gtempboxa=\box34
    590 \lst@token=\toks38
    591 \lst@length=\count115
    592 \lst@currlwidth=\dimen154
    593 \lst@column=\count116
    594 \lst@pos=\count117
    595 \lst@lostspace=\dimen155
    596 \lst@width=\dimen156
    597 \lst@newlines=\count118
    598 \lst@lineno=\count119
    599 \lst@maxwidth=\dimen157
    600 
    601 (/usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.sty
    602 File: lstmisc.sty 2015/06/04 1.6 (Carsten Heinz)
    603 \c@lstnumber=\count120
    604 \lst@skipnumbers=\count121
    605 \lst@framebox=\box35
    606 )
    607 (/usr/share/texlive/texmf-dist/tex/latex/listings/listings.cfg
    608 File: listings.cfg 2015/06/04 1.6 listings configuration
    609 ))
    610 Package: listings 2015/06/04 1.6 (Carsten Heinz)
    611 
    612 (/usr/share/texlive/texmf-dist/tex/latex/algorithms/algorithm.sty
    613 Package: algorithm 2009/08/24 v0.1 Document Style `algorithm' - floating enviro
    614 nment
    615 
    616 (/usr/share/texlive/texmf-dist/tex/latex/base/ifthen.sty
    617 Package: ifthen 2014/09/29 v1.1c Standard LaTeX ifthen package (DPC)
    618 )
    619 \@float@every@algorithm=\toks39
    620 \c@algorithm=\count122
    621 )
    622 (/usr/share/texlive/texmf-dist/tex/latex/algorithmicx/algpseudocode.sty
    623 Package: algpseudocode 
    624 
    625 (/usr/share/texlive/texmf-dist/tex/latex/algorithmicx/algorithmicx.sty
    626 Package: algorithmicx 2005/04/27 v1.2 Algorithmicx
    627 
    628 Document Style algorithmicx 1.2 - a greatly improved `algorithmic' style
    629 \c@ALG@line=\count123
    630 \c@ALG@rem=\count124
    631 \c@ALG@nested=\count125
    632 \ALG@tlm=\skip49
    633 \ALG@thistlm=\skip50
    634 \c@ALG@Lnr=\count126
    635 \c@ALG@blocknr=\count127
    636 \c@ALG@storecount=\count128
    637 \c@ALG@tmpcounter=\count129
    638 \ALG@tmplength=\skip51
    639 )
    640 Document Style - pseudocode environments for use with the `algorithmicx' style
    641 )
    642 \c@lemma=\count130
    643  (./af_code.aux)
    644 \openout1 = `af_code.aux'.
    645 
    646 LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 105.
    647 LaTeX Font Info:    ... okay on input line 105.
    648 LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 105.
    649 LaTeX Font Info:    ... okay on input line 105.
    650 LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 105.
    651 LaTeX Font Info:    ... okay on input line 105.
    652 LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 105.
    653 LaTeX Font Info:    ... okay on input line 105.
    654 LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 105.
    655 LaTeX Font Info:    ... okay on input line 105.
    656 LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 105.
    657 LaTeX Font Info:    ... okay on input line 105.
    658 LaTeX Font Info:    Try loading font information for U+msa on input line 105.
    659  (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd
    660 File: umsa.fd 2013/01/14 v3.01 AMS symbols A
    661 )
    662 LaTeX Font Info:    Try loading font information for U+msb on input line 105.
    663 
    664 (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd
    665 File: umsb.fd 2013/01/14 v3.01 AMS symbols B
    666 )
    667 Package xypdf Info: Line width: 0.39998pt on input line 105.
    668 
    669 (/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii
    670 [Loading MPS to PDF converter (version 2006.09.02).]
    671 \scratchcounter=\count131
    672 \scratchdimen=\dimen158
    673 \scratchbox=\box36
    674 \nofMPsegments=\count132
    675 \nofMParguments=\count133
    676 \everyMPshowfont=\toks40
    677 \MPscratchCnt=\count134
    678 \MPscratchDim=\dimen159
    679 \MPnumerator=\count135
    680 \makeMPintoPDFobject=\count136
    681 \everyMPtoPDFconversion=\toks41
    682 )
    683 *geometry* driver: auto-detecting
    684 *geometry* detected driver: pdftex
    685 *geometry* verbose mode - [ preamble ] result:
    686 * driver: pdftex
    687 * paper: a4paper
    688 * layout: <same size as paper>
    689 * layoutoffset:(h,v)=(0.0pt,0.0pt)
    690 * modes: 
    691 * h-part:(L,W,R)=(71.13188pt, 455.24411pt, 71.13188pt)
    692 * v-part:(T,H,B)=(85.35826pt, 674.33032pt, 85.35826pt)
    693 * \paperwidth=597.50787pt
    694 * \paperheight=845.04684pt
    695 * \textwidth=455.24411pt
    696 * \textheight=674.33032pt
    697 * \oddsidemargin=-1.1381pt
    698 * \evensidemargin=-1.1381pt
    699 * \topmargin=-23.91173pt
    700 * \headheight=12.0pt
    701 * \headsep=25.0pt
    702 * \topskip=10.0pt
    703 * \footskip=30.0pt
    704 * \marginparwidth=57.0pt
    705 * \marginparsep=11.0pt
    706 * \columnsep=10.0pt
    707 * \skip\footins=9.0pt plus 4.0pt minus 2.0pt
    708 * \hoffset=0.0pt
    709 * \voffset=0.0pt
    710 * \mag=1000
    711 * \@twocolumnfalse
    712 * \@twosidefalse
    713 * \@mparswitchfalse
    714 * \@reversemarginfalse
    715 * (1in=72.27pt=25.4mm, 1cm=28.453pt)
    716 
    717 \c@lstlisting=\count137
    718 LaTeX Font Info:    Try loading font information for OMS+cmr on input line 117.
    719 
    720 (/usr/share/texlive/texmf-dist/tex/latex/base/omscmr.fd
    721 File: omscmr.fd 2014/09/29 v2.5h Standard LaTeX font definitions
    722 )
    723 LaTeX Font Info:    Font shape `OMS/cmr/m/n' in size <10> not available
    724 (Font)              Font shape `OMS/cmsy/m/n' tried instead on input line 117.
    725  [1
    726 
    727 
    728 {/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}] [2] [3] [4] [5] [6] [7] [8
    729 
    730 ] (./af_code.aux) ) 
    731 Here is how much of TeX's memory you used:
    732  7341 strings out of 494283
    733  92388 string characters out of 6169691
    734  205701 words of memory out of 5000000
    735  10561 multiletter control sequences out of 15000+600000
    736  14410 words of font info for 60 fonts, out of 8000000 for 9000
    737  497 hyphenation exceptions out of 8191
    738  27i,13n,32p,3239b,350s stack positions out of 5000i,500n,10000p,200000b,80000s
    739 </usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/c
    740 m/cmbx10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx
    741 12.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmcsc10.pf
    742 b></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmex10.pfb></us
    743 r/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb></usr/shar
    744 e/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi12.pfb></usr/share/texl
    745 ive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi5.pfb></usr/share/texlive/tex
    746 mf-dist/fonts/type1/public/amsfonts/cm/cmmi7.pfb></usr/share/texlive/texmf-dist
    747 /fonts/type1/public/amsfonts/cm/cmr10.pfb></usr/share/texlive/texmf-dist/fonts/
    748 type1/public/amsfonts/cm/cmr12.pfb></usr/share/texlive/texmf-dist/fonts/type1/p
    749 ublic/amsfonts/cm/cmr5.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/am
    750 sfonts/cm/cmr7.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/c
    751 m/cmr8.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10
    752 .pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy5.pfb></
    753 usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy7.pfb></usr/sha
    754 re/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy8.pfb></usr/share/texl
    755 ive/texmf-dist/fonts/type1/public/amsfonts/cm/cmti10.pfb></usr/share/texlive/te
    756 xmf-dist/fonts/type1/public/amsfonts/cm/cmtt10.pfb></usr/share/texlive/texmf-di
    757 st/fonts/type1/public/amsfonts/symbols/msbm10.pfb>
    758 Output written on af_code.pdf (8 pages, 212906 bytes).
    759 PDF statistics:
    760  111 PDF objects out of 1000 (max. 8388607)
    761  80 compressed objects within 1 object stream
    762  0 named destinations out of 1000 (max. 500000)
    763  1 words of extra memory for PDF output out of 10000 (max. 10000000)
    764