/
main.log
4216 lines (2831 loc) · 127 KB
/
main.log
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
This is pdfTeX, Version 3.14159265-2.6-1.40.16 (TeX Live 2015/Debian) (preloaded format=pdflatex 2017.8.26) 23 DEC 2017 18:55
entering extended mode
restricted \write18 enabled.
%&-line parsing enabled.
**main.tex
(./main.tex
LaTeX2e <2016/02/01>
Babel <3.9q> and hyphenation patterns for 81 language(s) loaded.
(./setup.tex (/usr/share/texlive/texmf-dist/tex/latex/base/book.cls
Document Class: book 2014/09/29 v1.4h Standard LaTeX document class
(/usr/share/texlive/texmf-dist/tex/latex/base/bk11.clo
File: bk11.clo 2014/09/29 v1.4h Standard LaTeX file (size option)
)
\c@part=\count79
\c@chapter=\count80
\c@section=\count81
\c@subsection=\count82
\c@subsubsection=\count83
\c@paragraph=\count84
\c@subparagraph=\count85
\c@figure=\count86
\c@table=\count87
\abovecaptionskip=\skip41
\belowcaptionskip=\skip42
\bibindent=\dimen102
)
(/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty
Package: inputenc 2015/03/17 v1.2c Input encoding file
\inpenc@prehook=\toks14
\inpenc@posthook=\toks15
(/usr/share/texlive/texmf-dist/tex/latex/ucs/utf8x.def
File: utf8x.def 2004/10/17 UCS: Input encoding UTF-8
))
(/usr/share/texlive/texmf-dist/tex/latex/ucs/ucs.sty
Package: ucs 2013/05/11 v2.2 UCS: Unicode input support
(/usr/share/texlive/texmf-dist/tex/latex/ucs/data/uni-global.def
File: uni-global.def 2013/05/13 UCS: Unicode global data
)
\uc@secondtry=\count88
\uc@combtoks=\toks16
\uc@combtoksb=\toks17
\uc@temptokena=\toks18
)
(/usr/share/texlive/texmf-dist/tex/latex/sectsty/sectsty.sty
Package: sectsty 2002/02/25 v2.0.2 Commands to change all sectional heading sty
les
)
(/usr/share/texlive/texmf-dist/tex/latex/poltawski/antpolt.sty
Package: antpolt 2010/05/17 v0.70 Antykwa P/o/ltawskiego
)
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty
Package: hyperref 2012/11/06 v6.83m Hypertext links for LaTeX
(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty
Package: hobsub-hyperref 2012/05/28 v1.13 Bundle oberdiek, subset hyperref (HO)
(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty
Package: hobsub-generic 2012/05/28 v1.13 Bundle oberdiek, subset generic (HO)
Package: hobsub 2012/05/28 v1.13 Construct package bundles (HO)
Package: infwarerr 2010/04/08 v1.3 Providing info/warning/error messages (HO)
Package: ltxcmds 2011/11/09 v1.22 LaTeX kernel commands for general use (HO)
Package: ifluatex 2010/03/01 v1.3 Provides the ifluatex switch (HO)
Package ifluatex Info: LuaTeX not detected.
Package: ifvtex 2010/03/01 v1.5 Detect VTeX and its facilities (HO)
Package ifvtex Info: VTeX not detected.
Package: intcalc 2007/09/27 v1.1 Expandable calculations with integers (HO)
Package: ifpdf 2011/01/30 v2.3 Provides the ifpdf switch (HO)
Package ifpdf Info: pdfTeX in PDF mode is detected.
Package: etexcmds 2011/02/16 v1.5 Avoid name clashes with e-TeX commands (HO)
Package etexcmds Info: Could not find \expanded.
(etexcmds) That can mean that you are not using pdfTeX 1.50 or
(etexcmds) that some package has redefined \expanded.
(etexcmds) In the latter case, load this package earlier.
Package: kvsetkeys 2012/04/25 v1.16 Key value parser (HO)
Package: kvdefinekeys 2011/04/07 v1.3 Define keys (HO)
Package: pdftexcmds 2011/11/29 v0.20 Utility functions of pdfTeX for LuaTeX (HO
)
Package pdftexcmds Info: LuaTeX not detected.
Package pdftexcmds Info: \pdf@primitive is available.
Package pdftexcmds Info: \pdf@ifprimitive is available.
Package pdftexcmds Info: \pdfdraftmode found.
Package: pdfescape 2011/11/25 v1.13 Implements pdfTeX's escape features (HO)
Package: bigintcalc 2012/04/08 v1.3 Expandable calculations on big integers (HO
)
Package: bitset 2011/01/30 v1.1 Handle bit-vector datatype (HO)
Package: uniquecounter 2011/01/30 v1.2 Provide unlimited unique counter (HO)
)
Package hobsub Info: Skipping package `hobsub' (already loaded).
Package: letltxmacro 2010/09/02 v1.4 Let assignment for LaTeX macros (HO)
Package: hopatch 2012/05/28 v1.2 Wrapper for package hooks (HO)
Package: xcolor-patch 2011/01/30 xcolor patch
Package: atveryend 2011/06/30 v1.8 Hooks at the very end of document (HO)
Package atveryend Info: \enddocument detected (standard20110627).
Package: atbegshi 2011/10/05 v1.16 At begin shipout hook (HO)
Package: refcount 2011/10/16 v3.4 Data extraction from label references (HO)
Package: hycolor 2011/01/30 v1.7 Color options for hyperref/bookmark (HO)
)
(/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty
Package: keyval 2014/10/28 v1.15 key=value parser (DPC)
\KV@toks@=\toks19
)
(/usr/share/texlive/texmf-dist/tex/generic/ifxetex/ifxetex.sty
Package: ifxetex 2010/09/12 v0.6 Provides ifxetex conditional
)
(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/auxhook.sty
Package: auxhook 2011/03/04 v1.3 Hooks for auxiliary files (HO)
)
(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/kvoptions.sty
Package: kvoptions 2011/06/30 v3.11 Key value format for package options (HO)
)
\@linkdim=\dimen103
\Hy@linkcounter=\count89
\Hy@pagecounter=\count90
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def
File: pd1enc.def 2012/11/06 v6.83m Hyperref: PDFDocEncoding definition (HO)
)
\Hy@SavedSpaceFactor=\count91
(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/hyperref.cfg
File: hyperref.cfg 2002/06/06 v1.2 hyperref configuration of TeXLive
)
Package hyperref Info: Option `draft' set `true' on input line 4319.
Package hyperref Info: Hyper figures OFF on input line 4443.
Package hyperref Info: Link nesting OFF on input line 4448.
Package hyperref Info: Hyper index ON on input line 4451.
Package hyperref Info: Plain pages OFF on input line 4458.
Package hyperref Info: Backreferencing OFF on input line 4463.
Package hyperref Info: Implicit mode ON; LaTeX internals redefined.
Package hyperref Info: Bookmarks ON on input line 4688.
\c@Hy@tempcnt=\count92
(/usr/share/texlive/texmf-dist/tex/latex/url/url.sty
\Urlmuskip=\muskip10
Package: url 2013/09/16 ver 3.4 Verb mode for urls, etc.
)
LaTeX Info: Redefining \url on input line 5041.
\XeTeXLinkMargin=\dimen104
\Fld@menulength=\count93
\Field@Width=\dimen105
\Fld@charsize=\dimen106
Package hyperref Info: Hyper figures OFF on input line 6295.
Package hyperref Info: Link nesting OFF on input line 6300.
Package hyperref Info: Hyper index ON on input line 6303.
Package hyperref Info: backreferencing OFF on input line 6310.
Package hyperref Info: Link coloring OFF on input line 6315.
Package hyperref Info: Link coloring with OCG OFF on input line 6320.
Package hyperref Info: PDF/A mode OFF on input line 6325.
LaTeX Info: Redefining \ref on input line 6365.
LaTeX Info: Redefining \pageref on input line 6369.
\Hy@abspage=\count94
\c@Item=\count95
\c@Hfootnote=\count96
)
Package hyperref Message: Driver (autodetected): hpdftex.
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def
File: hpdftex.def 2012/11/06 v6.83m Hyperref driver for pdfTeX
\Fld@listcount=\count97
\c@bookmark@seq@number=\count98
(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty
Package: rerunfilecheck 2011/04/15 v1.7 Rerun checks for auxiliary files (HO)
Package uniquecounter Info: New unique counter `rerunfilecheck' on input line 2
82.
)
\Hy@SectionHShift=\skip43
)
(/usr/share/texlive/texmf-dist/tex/latex/cleveref/cleveref.sty
Package: cleveref 2013/12/28 v0.19 Intelligent cross-referencing
Package cleveref Info: `hyperref' support loaded on input line 2230.
LaTeX Info: Redefining \cref on input line 2230.
LaTeX Info: Redefining \Cref on input line 2230.
LaTeX Info: Redefining \crefrange on input line 2230.
LaTeX Info: Redefining \Crefrange on input line 2230.
LaTeX Info: Redefining \cpageref on input line 2230.
LaTeX Info: Redefining \Cpageref on input line 2230.
LaTeX Info: Redefining \cpagerefrange on input line 2230.
LaTeX Info: Redefining \Cpagerefrange on input line 2230.
LaTeX Info: Redefining \labelcref on input line 2230.
LaTeX Info: Redefining \labelcpageref on input line 2230.
)
(/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty
Package: graphicx 2014/10/28 v1.0g Enhanced LaTeX Graphics (DPC,SPQR)
(/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty
Package: graphics 2016/01/03 v1.0q Standard LaTeX Graphics (DPC,SPQR)
(/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty
Package: trig 2016/01/03 v1.10 sin cos tan (DPC)
)
(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/graphics.cfg
File: graphics.cfg 2010/04/23 v1.9 graphics configuration of TeX Live
)
Package graphics Info: Driver file: pdftex.def on input line 95.
(/usr/share/texlive/texmf-dist/tex/latex/pdftex-def/pdftex.def
File: pdftex.def 2011/05/27 v0.06d Graphics/color for pdfTeX
\Gread@gobject=\count99
))
\Gin@req@height=\dimen107
\Gin@req@width=\dimen108
)
(/usr/share/texlive/texmf-dist/tex/latex/comment/comment.sty
\CommentStream=\write3
Excluding comment 'comment')
(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/twoopt.sty
Package: twoopt 2008/08/11 v1.5 Definitions with two optional arguments (HO)
)
(/usr/share/texlive/texmf-dist/tex/latex/setspace/setspace.sty
Package: setspace 2011/12/19 v6.7a set line spacing
)
(/usr/share/texlive/texmf-dist/tex/latex/enumitem/enumitem.sty
Package: enumitem 2011/09/28 v3.5.2 Customized lists
\labelindent=\skip44
\enit@outerparindent=\dimen109
\enit@toks=\toks20
\enit@inbox=\box26
\enitdp@description=\count100
)
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty
Package: amsbsy 1999/11/29 v1.2d Bold Symbols
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty
File: amsgen.sty 1999/11/30 v2.0 generic functions
\@emptytoks=\toks21
\ex@=\dimen110
)
\pmbraise@=\dimen111
)
(/usr/share/texlive/texmf-dist/tex/latex/lipsum/lipsum.sty
Package: lipsum 2014/07/27 v1.3 150 paragraphs of Lorem Ipsum dummy text
\c@lips@count=\count101
)
(/usr/share/texlive/texmf-dist/tex/latex/apacite/apacite.sty
Package: apacite 2013/07/21 v6.03 APA citation
\c@BibCnt=\count102
\bibleftmargin=\skip45
\bibindent=\skip46
\bibparsep=\skip47
\bibitemsep=\skip48
\biblabelsep=\skip49
)
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty
Package: amsmath 2016/03/03 v2.15a AMS math features
\@mathmargin=\skip50
For additional information on amsmath, use the `?' option.
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty
Package: amstext 2000/06/29 v2.01 AMS text
)
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty
Package: amsopn 1999/12/14 v2.01 operator names
)
\inf@bad=\count103
LaTeX Info: Redefining \frac on input line 199.
\uproot@=\count104
\leftroot@=\count105
LaTeX Info: Redefining \overline on input line 297.
\classnum@=\count106
\DOTSCASE@=\count107
LaTeX Info: Redefining \ldots on input line 394.
LaTeX Info: Redefining \dots on input line 397.
LaTeX Info: Redefining \cdots on input line 518.
\Mathstrutbox@=\box27
\strutbox@=\box28
\big@size=\dimen112
LaTeX Font Info: Redeclaring font encoding OML on input line 630.
LaTeX Font Info: Redeclaring font encoding OMS on input line 631.
\macc@depth=\count108
\c@MaxMatrixCols=\count109
\dotsspace@=\muskip11
\c@parentequation=\count110
\dspbrk@lvl=\count111
\tag@help=\toks22
\row@=\count112
\column@=\count113
\maxfields@=\count114
\andhelp@=\toks23
\eqnshift@=\dimen113
\alignsep@=\dimen114
\tagshift@=\dimen115
\tagwidth@=\dimen116
\totwidth@=\dimen117
\lineht@=\dimen118
\@envbody=\toks24
\multlinegap=\skip51
\multlinetaggap=\skip52
\mathdisplay@stack=\toks25
LaTeX Info: Redefining \[ on input line 2735.
LaTeX Info: Redefining \] on input line 2736.
)
(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty
Package: amssymb 2013/01/14 v3.01 AMS font symbols
(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty
Package: amsfonts 2013/01/14 v3.01 Basic AMSFonts support
\symAMSa=\mathgroup4
\symAMSb=\mathgroup5
LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold'
(Font) U/euf/m/n --> U/euf/b/n on input line 106.
))
(/usr/share/texlive/texmf-dist/tex/latex/amscls/amsthm.sty
Package: amsthm 2015/03/04 v2.20.2
\thm@style=\toks26
\thm@bodyfont=\toks27
\thm@headfont=\toks28
\thm@notefont=\toks29
\thm@headpunct=\toks30
\thm@preskip=\skip53
\thm@postskip=\skip54
\thm@headsep=\skip55
\dth@everypar=\toks31
)
(/usr/share/texlive/texmf-dist/tex/latex/jknapltx/mathrsfs.sty
Package: mathrsfs 1996/01/01 Math RSFS package v1.0 (jk)
\symrsfs=\mathgroup6
)
(/usr/share/texlive/texmf-dist/tex/latex/stmaryrd/stmaryrd.sty
Package: stmaryrd 1994/03/03 St Mary's Road symbol package
\symstmry=\mathgroup7
LaTeX Font Info: Overwriting symbol font `stmry' in version `bold'
(Font) U/stmry/m/n --> U/stmry/b/n on input line 89.
)
(/usr/share/texlive/texmf-dist/tex/generic/mathabx/mathabx.sty
Package: mathabx 2003/07/29 v0.0 Non-standard LaTeX package mathabx
\symmatha=\mathgroup8
\symmathb=\mathgroup9
\symmathx=\mathgroup10
(/usr/share/texlive/texmf-dist/tex/generic/mathabx/mathabx.dcl
LaTeX Font Info: Redeclaring math symbol \cdotp on input line 25.
LaTeX Font Info: Redeclaring math symbol \times on input line 33.
LaTeX Font Info: Redeclaring math symbol \div on input line 34.
LaTeX Font Info: Redeclaring math symbol \cdot on input line 35.
LaTeX Font Info: Redeclaring math symbol \circ on input line 36.
LaTeX Font Info: Redeclaring math symbol \ast on input line 38.
LaTeX Font Info: Redeclaring math symbol \pm on input line 41.
LaTeX Font Info: Redeclaring math symbol \mp on input line 42.
LaTeX Font Info: Redeclaring math symbol \ltimes on input line 43.
LaTeX Font Info: Redeclaring math symbol \rtimes on input line 44.
LaTeX Font Info: Redeclaring math symbol \diamond on input line 45.
LaTeX Font Info: Redeclaring math symbol \bullet on input line 46.
LaTeX Font Info: Redeclaring math symbol \star on input line 47.
LaTeX Font Info: Redeclaring math symbol \amalg on input line 51.
LaTeX Font Info: Redeclaring math symbol \dotplus on input line 58.
LaTeX Font Info: Redeclaring math symbol \square on input line 63.
LaTeX Font Info: Redeclaring math symbol \divideontimes on input line 71.
LaTeX Font Info: Redeclaring math symbol \bigstar on input line 75.
LaTeX Font Info: Redeclaring math symbol \equiv on input line 83.
LaTeX Font Info: Redeclaring math symbol \sim on input line 84.
LaTeX Font Info: Redeclaring math symbol \approx on input line 85.
LaTeX Font Info: Redeclaring math symbol \simeq on input line 86.
LaTeX Font Info: Redeclaring math symbol \asymp on input line 89.
LaTeX Font Info: Redeclaring math symbol \nsim on input line 97.
LaTeX Font Info: Redeclaring math symbol \ncong on input line 100.
LaTeX Font Info: Redeclaring math symbol \risingdotseq on input line 118.
LaTeX Font Info: Redeclaring math symbol \fallingdotseq on input line 119.
LaTeX Font Info: Redeclaring math symbol \circeq on input line 125.
LaTeX Font Info: Redeclaring math symbol \eqcirc on input line 126.
LaTeX Font Info: Redeclaring math symbol \triangleq on input line 127.
LaTeX Font Info: Redeclaring math symbol \neg on input line 134.
LaTeX Font Info: Redeclaring math symbol \ll on input line 136.
LaTeX Font Info: Redeclaring math symbol \gg on input line 137.
LaTeX Font Info: Redeclaring math symbol \vdash on input line 139.
LaTeX Font Info: Redeclaring math symbol \dashv on input line 140.
LaTeX Font Info: Redeclaring math symbol \nvdash on input line 141.
LaTeX Font Info: Redeclaring math symbol \vDash on input line 143.
LaTeX Font Info: Redeclaring math symbol \nvDash on input line 145.
LaTeX Font Info: Redeclaring math symbol \Vdash on input line 147.
LaTeX Font Info: Redeclaring math symbol \nVdash on input line 149.
LaTeX Font Info: Redeclaring math symbol \flat on input line 158.
LaTeX Font Info: Redeclaring math symbol \natural on input line 159.
LaTeX Font Info: Redeclaring math symbol \sharp on input line 160.
LaTeX Font Info: Redeclaring math symbol \infty on input line 161.
LaTeX Font Info: Redeclaring math symbol \propto on input line 162.
LaTeX Font Info: Redeclaring math symbol \dagger on input line 163.
LaTeX Font Info: Redeclaring math symbol \ddagger on input line 164.
LaTeX Font Info: Redeclaring math symbol \between on input line 170.
LaTeX Font Info: Redeclaring math symbol \smile on input line 171.
LaTeX Font Info: Redeclaring math symbol \frown on input line 172.
LaTeX Font Info: Redeclaring math symbol \leftthreetimes on input line 174.
LaTeX Font Info: Redeclaring math symbol \rightthreetimes on input line 175.
LaTeX Font Info: Redeclaring math symbol \pitchfork on input line 176.
LaTeX Font Info: Redeclaring math symbol \nVDash on input line 182.
LaTeX Font Info: Redeclaring math symbol \Vvdash on input line 184.
LaTeX Font Info: Redeclaring math symbol \therefore on input line 189.
LaTeX Font Info: Redeclaring math symbol \because on input line 190.
LaTeX Font Info: Redeclaring math symbol \measuredangle on input line 202.
LaTeX Font Info: Redeclaring math symbol \sphericalangle on input line 203.
LaTeX Font Info: Redeclaring math symbol \setminus on input line 218.
LaTeX Font Info: Redeclaring math symbol \mid on input line 222.
LaTeX Font Info: Redeclaring math symbol \forall on input line 279.
LaTeX Font Info: Redeclaring math symbol \complement on input line 280.
LaTeX Font Info: Redeclaring math symbol \partial on input line 281.
LaTeX Font Info: Redeclaring math symbol \exists on input line 284.
LaTeX Font Info: Redeclaring math symbol \nexists on input line 285.
LaTeX Font Info: Redeclaring math symbol \Finv on input line 286.
LaTeX Font Info: Redeclaring math symbol \Game on input line 287.
LaTeX Font Info: Redeclaring math symbol \emptyset on input line 288.
LaTeX Font Info: Redeclaring math symbol \top on input line 290.
LaTeX Font Info: Redeclaring math symbol \bot on input line 291.
LaTeX Font Info: Redeclaring math symbol \perp on input line 292.
LaTeX Font Info: Redeclaring math symbol \curlywedge on input line 296.
LaTeX Font Info: Redeclaring math symbol \curlyvee on input line 297.
LaTeX Font Info: Redeclaring math symbol \in on input line 299.
LaTeX Font Info: Redeclaring math symbol \owns on input line 300.
LaTeX Font Info: Redeclaring math symbol \cap on input line 312.
LaTeX Font Info: Redeclaring math symbol \cup on input line 313.
LaTeX Font Info: Redeclaring math symbol \uplus on input line 314.
LaTeX Font Info: Redeclaring math symbol \sqcap on input line 315.
LaTeX Font Info: Redeclaring math symbol \sqcup on input line 316.
LaTeX Font Info: Redeclaring math symbol \wedge on input line 318.
LaTeX Font Info: Redeclaring math symbol \vee on input line 320.
LaTeX Font Info: Redeclaring math symbol \barwedge on input line 327.
LaTeX Font Info: Redeclaring math symbol \veebar on input line 328.
LaTeX Font Info: Redeclaring math symbol \doublebarwedge on input line 329.
LaTeX Font Info: Redeclaring math symbol \doublecap on input line 331.
LaTeX Font Info: Redeclaring math symbol \doublecup on input line 333.
LaTeX Font Info: Redeclaring math symbol \subset on input line 344.
LaTeX Font Info: Redeclaring math symbol \supset on input line 345.
LaTeX Font Info: Redeclaring math symbol \subseteq on input line 348.
LaTeX Font Info: Redeclaring math symbol \supseteq on input line 349.
LaTeX Font Info: Redeclaring math symbol \nsubseteq on input line 350.
LaTeX Font Info: Redeclaring math symbol \nsupseteq on input line 351.
LaTeX Font Info: Redeclaring math symbol \subsetneq on input line 352.
LaTeX Font Info: Redeclaring math symbol \supsetneq on input line 353.
LaTeX Font Info: Redeclaring math symbol \varsubsetneq on input line 354.
LaTeX Font Info: Redeclaring math symbol \varsupsetneq on input line 355.
LaTeX Font Info: Redeclaring math symbol \subseteqq on input line 357.
LaTeX Font Info: Redeclaring math symbol \supseteqq on input line 358.
LaTeX Font Info: Redeclaring math symbol \nsubseteqq on input line 359.
LaTeX Font Info: Redeclaring math symbol \nsupseteqq on input line 360.
LaTeX Font Info: Redeclaring math symbol \subsetneqq on input line 361.
LaTeX Font Info: Redeclaring math symbol \supsetneqq on input line 362.
LaTeX Font Info: Redeclaring math symbol \varsubsetneqq on input line 363.
LaTeX Font Info: Redeclaring math symbol \varsupsetneqq on input line 364.
LaTeX Font Info: Redeclaring math symbol \Subset on input line 366.
LaTeX Font Info: Redeclaring math symbol \Supset on input line 367.
LaTeX Font Info: Redeclaring math symbol \sqsubseteq on input line 380.
LaTeX Font Info: Redeclaring math symbol \sqsupseteq on input line 381.
LaTeX Font Info: Redeclaring math symbol \triangleleft on input line 407.
LaTeX Font Info: Redeclaring math symbol \vartriangleleft on input line 408.
LaTeX Font Info: Redeclaring math symbol \triangleright on input line 409.
LaTeX Font Info: Redeclaring math symbol \vartriangleright on input line 410
.
LaTeX Font Info: Redeclaring math symbol \ntriangleleft on input line 411.
LaTeX Font Info: Redeclaring math symbol \ntriangleright on input line 412.
LaTeX Font Info: Redeclaring math symbol \trianglelefteq on input line 413.
LaTeX Font Info: Redeclaring math symbol \trianglerighteq on input line 414.
LaTeX Font Info: Redeclaring math symbol \ntrianglelefteq on input line 415.
LaTeX Font Info: Redeclaring math symbol \ntrianglerighteq on input line 416
.
LaTeX Font Info: Redeclaring math symbol \blacktriangledown on input line 42
7.
LaTeX Font Info: Redeclaring math symbol \blacktriangleleft on input line 42
8.
LaTeX Font Info: Redeclaring math symbol \blacktriangleright on input line 4
29.
LaTeX Font Info: Redeclaring math symbol \nless on input line 437.
LaTeX Font Info: Redeclaring math symbol \ngtr on input line 438.
LaTeX Font Info: Redeclaring math symbol \leq on input line 439.
LaTeX Font Info: Redeclaring math symbol \geq on input line 441.
LaTeX Font Info: Redeclaring math symbol \nleq on input line 443.
LaTeX Font Info: Redeclaring math symbol \ngeq on input line 445.
LaTeX Font Info: Redeclaring math symbol \lneq on input line 451.
LaTeX Font Info: Redeclaring math symbol \gneq on input line 452.
LaTeX Font Info: Redeclaring math symbol \leqq on input line 453.
LaTeX Font Info: Redeclaring math symbol \geqq on input line 454.
LaTeX Font Info: Redeclaring math symbol \nleqq on input line 455.
LaTeX Font Info: Redeclaring math symbol \ngeqq on input line 456.
LaTeX Font Info: Redeclaring math symbol \lneqq on input line 457.
LaTeX Font Info: Redeclaring math symbol \gneqq on input line 458.
LaTeX Font Info: Redeclaring math symbol \lvertneqq on input line 459.
LaTeX Font Info: Redeclaring math symbol \gvertneqq on input line 460.
LaTeX Font Info: Redeclaring math symbol \eqslantless on input line 461.
LaTeX Font Info: Redeclaring math symbol \eqslantgtr on input line 462.
LaTeX Font Info: Redeclaring math symbol \lessgtr on input line 465.
LaTeX Font Info: Redeclaring math symbol \gtrless on input line 466.
LaTeX Font Info: Redeclaring math symbol \lesseqgtr on input line 467.
LaTeX Font Info: Redeclaring math symbol \gtreqless on input line 468.
LaTeX Font Info: Redeclaring math symbol \lesseqqgtr on input line 469.
LaTeX Font Info: Redeclaring math symbol \gtreqqless on input line 470.
LaTeX Font Info: Redeclaring math symbol \lesssim on input line 472.
LaTeX Font Info: Redeclaring math symbol \gtrsim on input line 473.
LaTeX Font Info: Redeclaring math symbol \lnsim on input line 476.
LaTeX Font Info: Redeclaring math symbol \gnsim on input line 477.
LaTeX Font Info: Redeclaring math symbol \lessapprox on input line 478.
LaTeX Font Info: Redeclaring math symbol \gtrapprox on input line 479.
LaTeX Font Info: Redeclaring math symbol \lnapprox on input line 482.
LaTeX Font Info: Redeclaring math symbol \gnapprox on input line 483.
LaTeX Font Info: Redeclaring math symbol \lessdot on input line 485.
LaTeX Font Info: Redeclaring math symbol \gtrdot on input line 486.
LaTeX Font Info: Redeclaring math symbol \lll on input line 488.
LaTeX Font Info: Redeclaring math symbol \ggg on input line 489.
LaTeX Font Info: Redeclaring math symbol \prec on input line 498.
LaTeX Font Info: Redeclaring math symbol \succ on input line 499.
LaTeX Font Info: Redeclaring math symbol \nprec on input line 500.
LaTeX Font Info: Redeclaring math symbol \nsucc on input line 501.
LaTeX Font Info: Redeclaring math symbol \preccurlyeq on input line 502.
LaTeX Font Info: Redeclaring math symbol \succcurlyeq on input line 503.
LaTeX Font Info: Redeclaring math symbol \preceq on input line 506.
LaTeX Font Info: Redeclaring math symbol \succeq on input line 507.
LaTeX Font Info: Redeclaring math symbol \npreceq on input line 508.
LaTeX Font Info: Redeclaring math symbol \nsucceq on input line 509.
LaTeX Font Info: Redeclaring math symbol \curlyeqprec on input line 512.
LaTeX Font Info: Redeclaring math symbol \curlyeqsucc on input line 513.
LaTeX Font Info: Redeclaring math symbol \precsim on input line 517.
LaTeX Font Info: Redeclaring math symbol \succsim on input line 518.
LaTeX Font Info: Redeclaring math symbol \precnsim on input line 521.
LaTeX Font Info: Redeclaring math symbol \succnsim on input line 522.
LaTeX Font Info: Redeclaring math symbol \precapprox on input line 523.
LaTeX Font Info: Redeclaring math symbol \succapprox on input line 524.
LaTeX Font Info: Redeclaring math symbol \precnapprox on input line 527.
LaTeX Font Info: Redeclaring math symbol \succnapprox on input line 528.
LaTeX Font Info: Redeclaring math symbol \leftarrow on input line 540.
LaTeX Font Info: Redeclaring math symbol \rightarrow on input line 542.
LaTeX Font Info: Redeclaring math symbol \nwarrow on input line 546.
LaTeX Font Info: Redeclaring math symbol \nearrow on input line 547.
LaTeX Font Info: Redeclaring math symbol \swarrow on input line 548.
LaTeX Font Info: Redeclaring math symbol \searrow on input line 549.
LaTeX Font Info: Redeclaring math symbol \leftrightarrow on input line 550.
LaTeX Font Info: Redeclaring math symbol \nleftarrow on input line 552.
LaTeX Font Info: Redeclaring math symbol \nrightarrow on input line 553.
LaTeX Font Info: Redeclaring math symbol \nleftrightarrow on input line 554.
LaTeX Font Info: Redeclaring math symbol \mapstochar on input line 557.
LaTeX Font Info: Redeclaring math symbol \mapsfromchar on input line 558.
LaTeX Font Info: Redeclaring math symbol \leftharpoonup on input line 560.
LaTeX Font Info: Redeclaring math symbol \rightharpoonup on input line 561.
LaTeX Font Info: Redeclaring math symbol \leftharpoondown on input line 562.
LaTeX Font Info: Redeclaring math symbol \rightharpoondown on input line 563
.
LaTeX Font Info: Redeclaring math symbol \upharpoonleft on input line 564.
LaTeX Font Info: Redeclaring math symbol \downharpoonleft on input line 565.
LaTeX Font Info: Redeclaring math symbol \upharpoonright on input line 566.
LaTeX Font Info: Redeclaring math symbol \restriction on input line 567.
LaTeX Font Info: Redeclaring math symbol \downharpoonright on input line 568
.
LaTeX Font Info: Redeclaring math symbol \leftrightharpoons on input line 56
9.
LaTeX Font Info: Redeclaring math symbol \Leftarrow on input line 575.
LaTeX Font Info: Redeclaring math symbol \Rightarrow on input line 576.
LaTeX Font Info: Redeclaring math symbol \Leftrightarrow on input line 579.
LaTeX Font Info: Redeclaring math symbol \nLeftarrow on input line 581.
LaTeX Font Info: Redeclaring math symbol \nRightarrow on input line 582.
LaTeX Font Info: Redeclaring math symbol \nLeftrightarrow on input line 583.
LaTeX Font Info: Redeclaring math symbol \Mapstochar on input line 586.
LaTeX Font Info: Redeclaring math symbol \Mapsfromchar on input line 587.
LaTeX Font Info: Redeclaring math symbol \leftleftarrows on input line 593.
LaTeX Font Info: Redeclaring math symbol \rightrightarrows on input line 594
.
LaTeX Font Info: Redeclaring math symbol \upuparrows on input line 595.
LaTeX Font Info: Redeclaring math symbol \downdownarrows on input line 596.
LaTeX Font Info: Redeclaring math symbol \leftrightarrows on input line 597.
LaTeX Font Info: Redeclaring math symbol \rightleftarrows on input line 598.
LaTeX Font Info: Redeclaring math symbol \rhook on input line 612.
LaTeX Font Info: Redeclaring math symbol \lhook on input line 613.
LaTeX Font Info: Redeclaring math symbol \diagup on input line 614.
LaTeX Font Info: Redeclaring math symbol \diagdown on input line 615.
LaTeX Font Info: Redeclaring math symbol \Lsh on input line 617.
LaTeX Font Info: Redeclaring math symbol \Rsh on input line 619.
LaTeX Font Info: Redeclaring math symbol \looparrowleft on input line 624.
LaTeX Font Info: Redeclaring math symbol \looparrowright on input line 626.
LaTeX Font Info: Redeclaring math symbol \curvearrowleft on input line 631.
LaTeX Font Info: Redeclaring math symbol \curvearrowright on input line 633.
LaTeX Font Info: Redeclaring math symbol \circlearrowleft on input line 641.
LaTeX Font Info: Redeclaring math symbol \circlearrowright on input line 642
.
LaTeX Font Info: Redeclaring math symbol \rightsquigarrow on input line 645.
LaTeX Font Info: Redeclaring math symbol \leftrightsquigarrow on input line
646.
LaTeX Font Info: Redeclaring math symbol \oplus on input line 658.
LaTeX Font Info: Redeclaring math symbol \ominus on input line 659.
LaTeX Font Info: Redeclaring math symbol \otimes on input line 661.
LaTeX Font Info: Redeclaring math symbol \odot on input line 663.
LaTeX Font Info: Redeclaring math symbol \oslash on input line 675.
LaTeX Font Info: Redeclaring math symbol \boxplus on input line 683.
LaTeX Font Info: Redeclaring math symbol \boxminus on input line 684.
LaTeX Font Info: Redeclaring math symbol \boxtimes on input line 686.
LaTeX Font Info: Redeclaring math symbol \boxdot on input line 688.
LaTeX Font Info: Redeclaring math symbol \boxslash on input line 702.
\mayacnter=\count115
\mayacnta=\count116
\mayacntb=\count117
\mayacntc=\count118
\mayawidth=\dimen119
LaTeX Font Info: Redeclaring math symbol \intop on input line 753.
LaTeX Font Info: Redeclaring math symbol \ointop on input line 760.
LaTeX Font Info: Redeclaring math symbol \bigcurlywedge on input line 787.
LaTeX Font Info: Redeclaring math symbol \bigcurlyvee on input line 788.
LaTeX Font Info: Redeclaring math delimiter \lbrace on input line 842.
LaTeX Info: Redefining \{ on input line 846.
LaTeX Font Info: Redeclaring math delimiter \rbrace on input line 848.
LaTeX Info: Redefining \} on input line 852.
LaTeX Font Info: Redeclaring math delimiter \langle on input line 858.
LaTeX Font Info: Redeclaring math delimiter \rangle on input line 859.
LaTeX Font Info: Redeclaring math delimiter \vert on input line 863.
LaTeX Font Info: Redeclaring math delimiter \Vert on input line 865.
LaTeX Font Info: Redeclaring math delimiter \uparrow on input line 868.
LaTeX Font Info: Redeclaring math delimiter \downarrow on input line 869.
LaTeX Font Info: Redeclaring math delimiter \updownarrow on input line 870.
LaTeX Font Info: Redeclaring math delimiter \Uparrow on input line 871.
LaTeX Font Info: Redeclaring math delimiter \Downarrow on input line 872.
LaTeX Font Info: Redeclaring math delimiter \Updownarrow on input line 873.
LaTeX Font Info: Redeclaring math delimiter \lgroup on input line 880.
LaTeX Font Info: Redeclaring math delimiter \rgroup on input line 881.
LaTeX Font Info: Redeclaring math delimiter \lceil on input line 882.
LaTeX Font Info: Redeclaring math delimiter \rceil on input line 883.
LaTeX Font Info: Redeclaring math delimiter \lfloor on input line 884.
LaTeX Font Info: Redeclaring math delimiter \rfloor on input line 885.
LaTeX Font Info: Redeclaring math symbol \braceld on input line 903.
LaTeX Font Info: Redeclaring math symbol \bracerd on input line 905.
LaTeX Font Info: Redeclaring math symbol \bracelu on input line 907.
LaTeX Font Info: Redeclaring math symbol \braceru on input line 909.
LaTeX Font Info: Redeclaring math accent \widehat on input line 944.
LaTeX Font Info: Redeclaring math accent \widetilde on input line 946.
))
(/usr/share/texlive/texmf-dist/tex/latex/lkproof/proof.sty
\inferLineSkip=\dimen120
\inferLabelSkip=\dimen121
\@LeftOffset=\dimen122
\@RightOffset=\dimen123
\@SavedLeftOffset=\dimen124
\UpperWidth=\dimen125
\LowerWidth=\dimen126
\LowerHeight=\dimen127
\UpperLeftOffset=\dimen128
\UpperRightOffset=\dimen129
\UpperCenter=\dimen130
\LowerCenter=\dimen131
\UpperAdjust=\dimen132
\RuleAdjust=\dimen133
\LowerAdjust=\dimen134
\RuleWidth=\dimen135
\HLabelAdjust=\dimen136
\VLabelAdjust=\dimen137
\WidthAdjust=\dimen138
\@UpperPart=\box29
\@LowerPart=\box30
\@LabelPart=\box31
\ResultBox=\box32
)
(/usr/share/texlive/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty
(/usr/share/texlive/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty
(/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty
(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex
\pgfutil@everybye=\toks32
\pgfutil@tempdima=\dimen139
\pgfutil@tempdimb=\dimen140
(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-common-lists.t
ex)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def
\pgfutil@abb=\box33
(/usr/share/texlive/texmf-dist/tex/latex/ms/everyshi.sty
Package: everyshi 2001/05/15 v3.00 EveryShipout Package (MS)
))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex
Package: pgfrcs 2015/08/07 v3.0.1a (rcs-revision 1.31)
))
Package: pgf 2015/08/07 v3.0.1a (rcs-revision 1.15)
(/usr/share/texlive/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty
(/usr/share/texlive/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty
(/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex
Package: pgfsys 2014/07/09 v3.0.1a (rcs-revision 1.48)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex
\pgfkeys@pathtoks=\toks33
\pgfkeys@temptoks=\toks34
(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeysfiltered.code.t
ex
\pgfkeys@tmptoks=\toks35
))
\pgf@x=\dimen141
\pgf@y=\dimen142
\pgf@xa=\dimen143
\pgf@ya=\dimen144
\pgf@xb=\dimen145
\pgf@yb=\dimen146
\pgf@xc=\dimen147
\pgf@yc=\dimen148
\w@pgf@writea=\write4
\r@pgf@reada=\read1
\c@pgf@counta=\count119
\c@pgf@countb=\count120
\c@pgf@countc=\count121
\c@pgf@countd=\count122
\t@pgf@toka=\toks36
\t@pgf@tokb=\toks37
\t@pgf@tokc=\toks38
(/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg
File: pgf.cfg 2008/05/14 (rcs-revision 1.7)
)
Driver file for pgf: pgfsys-pdftex.def
(/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def
File: pgfsys-pdftex.def 2014/10/11 (rcs-revision 1.35)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-pdf.de
f
File: pgfsys-common-pdf.def 2013/10/10 (rcs-revision 1.13)
)))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.
tex
File: pgfsyssoftpath.code.tex 2013/09/09 (rcs-revision 1.9)
\pgfsyssoftpath@smallbuffer@items=\count123
\pgfsyssoftpath@bigbuffer@items=\count124
)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.
tex
File: pgfsysprotocol.code.tex 2006/10/16 (rcs-revision 1.4)
)) (/usr/share/texlive/texmf-dist/tex/latex/xcolor/xcolor.sty
Package: xcolor 2007/01/21 v2.11 LaTeX color extensions (UK)
(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/color.cfg
File: color.cfg 2007/01/18 v1.5 color configuration of teTeX/TeXLive
)
Package xcolor Info: Driver file: pdftex.def on input line 225.
Package xcolor Info: Model `cmy' substituted by `cmy0' on input line 1337.
Package xcolor Info: Model `hsb' substituted by `rgb' on input line 1341.
Package xcolor Info: Model `RGB' extended on input line 1353.
Package xcolor Info: Model `HTML' substituted by `rgb' on input line 1355.
Package xcolor Info: Model `Hsb' substituted by `hsb' on input line 1356.
Package xcolor Info: Model `tHsb' substituted by `hsb' on input line 1357.
Package xcolor Info: Model `HSB' substituted by `hsb' on input line 1358.
Package xcolor Info: Model `Gray' substituted by `gray' on input line 1359.
Package xcolor Info: Model `wave' substituted by `hsb' on input line 1360.
)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex
Package: pgfcore 2010/04/11 v3.0.1a (rcs-revision 1.7)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex
\pgfmath@dimen=\dimen149
\pgfmath@count=\count125
\pgfmath@box=\box34
\pgfmath@toks=\toks39
\pgfmath@stack@operand=\toks40
\pgfmath@stack@operation=\toks41
)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code
.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonomet
ric.code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.cod
e.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison
.code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code.
tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code
.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code.
tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integerari
thmetics.code.tex)))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex
\c@pgfmathroundto@lastzeros=\count126
))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.te
x
File: pgfcorepoints.code.tex 2013/10/07 (rcs-revision 1.27)
\pgf@picminx=\dimen150
\pgf@picmaxx=\dimen151
\pgf@picminy=\dimen152
\pgf@picmaxy=\dimen153
\pgf@pathminx=\dimen154
\pgf@pathmaxx=\dimen155
\pgf@pathminy=\dimen156
\pgf@pathmaxy=\dimen157
\pgf@xx=\dimen158
\pgf@xy=\dimen159
\pgf@yx=\dimen160
\pgf@yy=\dimen161
\pgf@zx=\dimen162
\pgf@zy=\dimen163
LaTeX Font Info: Try loading font information for OT1+antpl on input line 92
6.
(/usr/share/texlive/texmf-dist/tex/latex/poltawski/ot1antpl.fd
File: ot1antpl.fd 2010/05/17 v0.7 font definition file for OT1/antpl
))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct.
code.tex
File: pgfcorepathconstruct.code.tex 2013/10/07 (rcs-revision 1.29)
\pgf@path@lastx=\dimen164
\pgf@path@lasty=\dimen165
)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code
.tex
File: pgfcorepathusage.code.tex 2014/11/02 (rcs-revision 1.24)
\pgf@shorten@end@additional=\dimen166
\pgf@shorten@start@additional=\dimen167
)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.te
x
File: pgfcorescopes.code.tex 2015/05/08 (rcs-revision 1.46)
\pgfpic=\box35
\pgf@hbox=\box36
\pgf@layerbox@main=\box37
\pgf@picture@serial@count=\count127
)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.c
ode.tex
File: pgfcoregraphicstate.code.tex 2014/11/02 (rcs-revision 1.12)
\pgflinewidth=\dimen168
)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformation
s.code.tex
File: pgfcoretransformations.code.tex 2015/08/07 (rcs-revision 1.20)
\pgf@pt@x=\dimen169
\pgf@pt@y=\dimen170
\pgf@pt@temp=\dimen171
)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex
File: pgfcorequick.code.tex 2008/10/09 (rcs-revision 1.3)
)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.t
ex
File: pgfcoreobjects.code.tex 2006/10/11 (rcs-revision 1.2)
)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing
.code.tex
File: pgfcorepathprocessing.code.tex 2013/09/09 (rcs-revision 1.9)
)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.te
x
File: pgfcorearrows.code.tex 2015/05/14 (rcs-revision 1.43)
\pgfarrowsep=\dimen172
)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex
File: pgfcoreshade.code.tex 2013/07/15 (rcs-revision 1.15)
\pgf@max=\dimen173
\pgf@sys@shading@range@num=\count128
)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex
File: pgfcoreimage.code.tex 2013/07/15 (rcs-revision 1.18)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code.
tex
File: pgfcoreexternal.code.tex 2014/07/09 (rcs-revision 1.21)
\pgfexternal@startupbox=\box38
))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.te
x
File: pgfcorelayers.code.tex 2013/07/18 (rcs-revision 1.7)
)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.c
ode.tex
File: pgfcoretransparency.code.tex 2013/09/30 (rcs-revision 1.5)
)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code.
tex
File: pgfcorepatterns.code.tex 2013/11/07 (rcs-revision 1.5)
)))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.code.tex
File: pgfmoduleshapes.code.tex 2014/03/21 (rcs-revision 1.35)
\pgfnodeparttextbox=\box39
) (/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code.tex
File: pgfmoduleplot.code.tex 2015/08/03 (rcs-revision 1.13)
)
(/usr/share/texlive/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65
.sty
Package: pgfcomp-version-0-65 2007/07/03 v3.0.1a (rcs-revision 1.7)
\pgf@nodesepstart=\dimen174
\pgf@nodesepend=\dimen175
)
(/usr/share/texlive/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18
.sty
Package: pgfcomp-version-1-18 2007/07/23 v3.0.1a (rcs-revision 1.1)
)) (/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgffor.sty
(/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty
(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex))
(/usr/share/texlive/texmf-dist/tex/latex/pgf/math/pgfmath.sty
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex
Package: pgffor 2013/12/13 v3.0.1a (rcs-revision 1.25)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex)
\pgffor@iter=\dimen176
\pgffor@skip=\dimen177
\pgffor@stack=\toks42
\pgffor@toks=\toks43
))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex
Package: tikz 2015/08/07 v3.0.1a (rcs-revision 1.151)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothandlers
.code.tex
File: pgflibraryplothandlers.code.tex 2013/08/31 v3.0.1a (rcs-revision 1.20)
\pgf@plot@mark@count=\count129
\pgfplotmarksize=\dimen178
)
\tikz@lastx=\dimen179
\tikz@lasty=\dimen180
\tikz@lastxsaved=\dimen181
\tikz@lastysaved=\dimen182
\tikzleveldistance=\dimen183
\tikzsiblingdistance=\dimen184
\tikz@figbox=\box40
\tikz@figbox@bg=\box41
\tikz@tempbox=\box42
\tikz@tempbox@bg=\box43
\tikztreelevel=\count130
\tikznumberofchildren=\count131
\tikznumberofcurrentchild=\count132
\tikz@fig@count=\count133
(/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.code.tex
File: pgfmodulematrix.code.tex 2013/09/17 (rcs-revision 1.8)
\pgfmatrixcurrentrow=\count134
\pgfmatrixcurrentcolumn=\count135
\pgf@matrix@numberofcolumns=\count136
)
\tikz@expandcount=\count137
(/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tik
zlibrarytopaths.code.tex
File: tikzlibrarytopaths.code.tex 2008/06/17 v3.0.1a (rcs-revision 1.2)
)))
(/usr/share/texlive/texmf-dist/tex/latex/tikz-cd/tikz-cd.sty
Package: tikz-cd 2014/10/30 v0.9e Commutative diagrams with tikz
(/usr/share/texlive/texmf-dist/tex/generic/tikz-cd/tikzlibrarycd.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tik
zlibrarymatrix.code.tex
File: tikzlibrarymatrix.code.tex 2013/07/12 v3.0.1a (rcs-revision 1.4)
)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tik
zlibraryquotes.code.tex
File: tikzlibraryquotes.code.tex 2014/03/21 v3.0.1a (rcs-revision 1.4)
)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/pgflibraryarrows.meta.
code.tex
File: pgflibraryarrows.meta.code.tex 2015/05/13 v3.0.1a (rcs-revision 1.13)
\pgfarrowinset=\dimen185
\pgfarrowlength=\dimen186
\pgfarrowwidth=\dimen187
\pgfarrowlinewidth=\dimen188
)))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tik
zlibraryarrows.code.tex
File: tikzlibraryarrows.code.tex 2008/01/09 v3.0.1a (rcs-revision 1.1)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/pgflibraryarrows.code.
tex
File: pgflibraryarrows.code.tex 2013/09/23 v3.0.1a (rcs-revision 1.16)
\arrowsize=\dimen189
))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tik
zlibrarydecorations.pathreplacing.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tik
zlibrarydecorations.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmoduledecorations.cod
e.tex
\pgfdecoratedcompleteddistance=\dimen190
\pgfdecoratedremainingdistance=\dimen191
\pgfdecoratedinputsegmentcompleteddistance=\dimen192
\pgfdecoratedinputsegmentremainingdistance=\dimen193
\pgf@decorate@distancetomove=\dimen194
\pgf@decorate@repeatstate=\count138
\pgfdecorationsegmentamplitude=\dimen195
\pgfdecorationsegmentlength=\dimen196
)
\tikz@lib@dec@box=\box44
)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/decorations/pgflibrary
decorations.pathreplacing.code.tex))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tik
zlibrarycalc.code.tex
File: tikzlibrarycalc.code.tex 2013/07/15 v3.0.1a (rcs-revision 1.9)
) (/usr/share/texlive/texmf-dist/tex/generic/xypic/xy.sty
(/usr/share/texlive/texmf-dist/tex/generic/xypic/xy.tex Bootstrap'ing:
catcodes, docmode, (/usr/share/texlive/texmf-dist/tex/generic/xypic/xyrecat.tex
) (/usr/share/texlive/texmf-dist/tex/generic/xypic/xyidioms.tex)
Xy-pic version 3.8.9 <2013/10/06>
Copyright (c) 1991-2013 by Kristoffer H. Rose <krisrose@tug.org> and others
Xy-pic is free software: see the User's Guide for details.