-
Notifications
You must be signed in to change notification settings - Fork 0
/
transform-prov-paper.log
1663 lines (1556 loc) · 69.3 KB
/
transform-prov-paper.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.141592653-2.6-1.40.22 (TeX Live 2021) (preloaded format=pdflatex 2021.11.22) 26 OCT 2023 20:22
entering extended mode
restricted \write18 enabled.
file:line:error style messages enabled.
%&-line parsing enabled.
**transform-prov-paper.tex
(./transform-prov-paper.tex
LaTeX2e <2020-10-01> patch level 4
L3 programming layer <2021-02-18>
(/usr/local/texlive/2021/texmf-dist/tex/latex/base/article.cls
Document Class: article 2020/04/10 v1.4m Standard LaTeX document class
(/usr/local/texlive/2021/texmf-dist/tex/latex/base/size10.clo
File: size10.clo 2020/04/10 v1.4m Standard LaTeX file (size option)
)
\c@part=\count179
\c@section=\count180
\c@subsection=\count181
\c@subsubsection=\count182
\c@paragraph=\count183
\c@subparagraph=\count184
\c@figure=\count185
\c@table=\count186
\abovecaptionskip=\skip47
\belowcaptionskip=\skip48
\bibindent=\dimen138
)
(/usr/local/texlive/2021/texmf-dist/tex/latex/geometry/geometry.sty
Package: geometry 2020/01/02 v5.9 Page Geometry
(/usr/local/texlive/2021/texmf-dist/tex/latex/graphics/keyval.sty
Package: keyval 2014/10/28 v1.15 key=value parser (DPC)
\KV@toks@=\toks15
)
(/usr/local/texlive/2021/texmf-dist/tex/generic/iftex/ifvtex.sty
Package: ifvtex 2019/10/25 v1.7 ifvtex legacy package. Use iftex instead.
(/usr/local/texlive/2021/texmf-dist/tex/generic/iftex/iftex.sty
Package: iftex 2020/03/06 v1.0d TeX engine tests
))
\Gm@cnth=\count187
\Gm@cntv=\count188
\c@Gm@tempcnt=\count189
\Gm@bindingoffset=\dimen139
\Gm@wd@mp=\dimen140
\Gm@odd@mp=\dimen141
\Gm@even@mp=\dimen142
\Gm@layoutwidth=\dimen143
\Gm@layoutheight=\dimen144
\Gm@layouthoffset=\dimen145
\Gm@layoutvoffset=\dimen146
\Gm@dimlist=\toks16
)
(/usr/local/texlive/2021/texmf-dist/tex/latex/cite/cite.sty
LaTeX Info: Redefining \cite on input line 302.
LaTeX Info: Redefining \nocite on input line 332.
Package: cite 2015/02/27 v 5.5
)
(/usr/local/texlive/2021/texmf-dist/tex/generic/babel/babel.sty
Package: babel 2021/03/24 3.56 The Babel package
(/usr/local/texlive/2021/texmf-dist/tex/generic/babel/babel.def
File: babel.def 2021/03/24 3.56 Babel common definitions
\babel@savecnt=\count190
\U@D=\dimen147
\l@babelnohyphens=\language87
(/usr/local/texlive/2021/texmf-dist/tex/generic/babel/txtbabel.def)
\bbl@readstream=\read2
)
\bbl@dirlevel=\count191
(/usr/local/texlive/2021/texmf-dist/tex/generic/babel-english/english.ldf
Language: english 2017/06/06 v3.3r English support from the babel system
Package babel Info: \l@canadian = using hyphenrules for english
(babel) (\language0) on input line 102.
Package babel Info: \l@australian = using hyphenrules for ukenglish
(babel) (\language21) on input line 105.
Package babel Info: \l@newzealand = using hyphenrules for ukenglish
(babel) (\language21) on input line 108.
))
(/usr/local/texlive/2021/texmf-dist/tex/latex/graphics/graphicx.sty
Package: graphicx 2020/09/09 v1.2b Enhanced LaTeX Graphics (DPC,SPQR)
(/usr/local/texlive/2021/texmf-dist/tex/latex/graphics/graphics.sty
Package: graphics 2020/08/30 v1.4c Standard LaTeX Graphics (DPC,SPQR)
(/usr/local/texlive/2021/texmf-dist/tex/latex/graphics/trig.sty
Package: trig 2016/01/03 v1.10 sin cos tan (DPC)
)
(/usr/local/texlive/2021/texmf-dist/tex/latex/graphics-cfg/graphics.cfg
File: graphics.cfg 2016/06/04 v1.11 sample graphics configuration
)
Package graphics Info: Driver file: pdftex.def on input line 105.
(/usr/local/texlive/2021/texmf-dist/tex/latex/graphics-def/pdftex.def
File: pdftex.def 2020/10/05 v1.2a Graphics/color driver for pdftex
))
\Gin@req@height=\dimen148
\Gin@req@width=\dimen149
)
(/usr/local/texlive/2021/texmf-dist/tex/latex/kantlipsum/kantlipsum.sty
(/usr/local/texlive/2021/texmf-dist/tex/latex/l3kernel/expl3.sty
Package: expl3 2021-02-18 L3 programming layer (loader)
(/usr/local/texlive/2021/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def
File: l3backend-pdftex.def 2021-03-18 L3 backend support: PDF output (pdfTeX)
\l__color_backend_stack_int=\count192
\l__pdf_internal_box=\box47
))
(/usr/local/texlive/2021/texmf-dist/tex/latex/l3packages/xparse/xparse.sty
(/usr/local/texlive/2021/texmf-dist/tex/latex/l3packages/xparse/xparse-2020-10-
01.sty
(/usr/local/texlive/2021/texmf-dist/tex/latex/l3packages/xparse/xparse-generic.
tex)))
Package: kantlipsum 2019/07/23 v0.8 Generate text in Kantian style
\l__kgl_start_int=\count193
\l__kgl_end_int=\count194
Package kantlipsum Info: The package provides paragraphs 1 to 164. Values
(kantlipsum) outside this range will be ignored.
) (/usr/local/texlive/2021/texmf-dist/tex/latex/setspace/setspace.sty
Package: setspace 2011/12/19 v6.7a set line spacing
)
(/usr/local/texlive/2021/texmf-dist/tex/latex/caption/caption.sty
Package: caption 2020/10/26 v3.5g Customizing captions (AR)
(/usr/local/texlive/2021/texmf-dist/tex/latex/caption/caption3.sty
Package: caption3 2020/10/21 v2.2e caption3 kernel (AR)
\captionmargin=\dimen150
\captionmargin@=\dimen151
\captionwidth=\dimen152
\caption@tempdima=\dimen153
\caption@indent=\dimen154
\caption@parindent=\dimen155
\caption@hangindent=\dimen156
Package caption Info: Standard document class detected.
)
\c@caption@flags=\count195
\c@continuedfloat=\count196
)
(/usr/local/texlive/2021/texmf-dist/tex/latex/hyperref/hyperref.sty
Package: hyperref 2021-02-27 v7.00k Hypertext links for LaTeX
(/usr/local/texlive/2021/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty
Package: ltxcmds 2020-05-10 v1.25 LaTeX kernel commands for general use (HO)
)
(/usr/local/texlive/2021/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty
Package: pdftexcmds 2020-06-27 v0.33 Utility functions of pdfTeX for LuaTeX (HO
)
(/usr/local/texlive/2021/texmf-dist/tex/generic/infwarerr/infwarerr.sty
Package: infwarerr 2019/12/03 v1.5 Providing info/warning/error messages (HO)
)
Package pdftexcmds Info: \pdf@primitive is available.
Package pdftexcmds Info: \pdf@ifprimitive is available.
Package pdftexcmds Info: \pdfdraftmode found.
)
(/usr/local/texlive/2021/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty
Package: kvsetkeys 2019/12/15 v1.18 Key value parser (HO)
)
(/usr/local/texlive/2021/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty
Package: kvdefinekeys 2019-12-19 v1.6 Define keys (HO)
)
(/usr/local/texlive/2021/texmf-dist/tex/generic/pdfescape/pdfescape.sty
Package: pdfescape 2019/12/09 v1.15 Implements pdfTeX's escape features (HO)
)
(/usr/local/texlive/2021/texmf-dist/tex/latex/hycolor/hycolor.sty
Package: hycolor 2020-01-27 v1.10 Color options for hyperref/bookmark (HO)
)
(/usr/local/texlive/2021/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty
Package: letltxmacro 2019/12/03 v1.6 Let assignment for LaTeX macros (HO)
)
(/usr/local/texlive/2021/texmf-dist/tex/latex/auxhook/auxhook.sty
Package: auxhook 2019-12-17 v1.6 Hooks for auxiliary files (HO)
)
(/usr/local/texlive/2021/texmf-dist/tex/latex/kvoptions/kvoptions.sty
Package: kvoptions 2020-10-07 v3.14 Key value format for package options (HO)
)
\@linkdim=\dimen157
\Hy@linkcounter=\count197
\Hy@pagecounter=\count198
(/usr/local/texlive/2021/texmf-dist/tex/latex/hyperref/pd1enc.def
File: pd1enc.def 2021-02-27 v7.00k Hyperref: PDFDocEncoding definition (HO)
Now handling font encoding PD1 ...
... no UTF-8 mapping file for font encoding PD1
)
(/usr/local/texlive/2021/texmf-dist/tex/latex/hyperref/hyperref-langpatches.def
File: hyperref-langpatches.def 2021-02-27 v7.00k Hyperref: patches for babel la
nguages
) (/usr/local/texlive/2021/texmf-dist/tex/generic/intcalc/intcalc.sty
Package: intcalc 2019/12/15 v1.3 Expandable calculations with integers (HO)
)
(/usr/local/texlive/2021/texmf-dist/tex/generic/etexcmds/etexcmds.sty
Package: etexcmds 2019/12/15 v1.7 Avoid name clashes with e-TeX commands (HO)
)
\Hy@SavedSpaceFactor=\count199
(/usr/local/texlive/2021/texmf-dist/tex/latex/hyperref/puenc.def
File: puenc.def 2021-02-27 v7.00k Hyperref: PDF Unicode definition (HO)
Now handling font encoding PU ...
... no UTF-8 mapping file for font encoding PU
)
Package hyperref Info: Hyper figures OFF on input line 4192.
Package hyperref Info: Link nesting OFF on input line 4197.
Package hyperref Info: Hyper index ON on input line 4200.
Package hyperref Info: Plain pages OFF on input line 4207.
Package hyperref Info: Backreferencing OFF on input line 4212.
Package hyperref Info: Implicit mode ON; LaTeX internals redefined.
Package hyperref Info: Bookmarks ON on input line 4445.
\c@Hy@tempcnt=\count266
(/usr/local/texlive/2021/texmf-dist/tex/latex/url/url.sty
\Urlmuskip=\muskip16
Package: url 2013/09/16 ver 3.4 Verb mode for urls, etc.
)
LaTeX Info: Redefining \url on input line 4804.
\XeTeXLinkMargin=\dimen158
(/usr/local/texlive/2021/texmf-dist/tex/generic/bitset/bitset.sty
Package: bitset 2019/12/09 v1.3 Handle bit-vector datatype (HO)
(/usr/local/texlive/2021/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty
Package: bigintcalc 2019/12/15 v1.5 Expandable calculations on big integers (HO
)
))
\Fld@menulength=\count267
\Field@Width=\dimen159
\Fld@charsize=\dimen160
Package hyperref Info: Hyper figures OFF on input line 6075.
Package hyperref Info: Link nesting OFF on input line 6080.
Package hyperref Info: Hyper index ON on input line 6083.
Package hyperref Info: backreferencing OFF on input line 6090.
Package hyperref Info: Link coloring OFF on input line 6095.
Package hyperref Info: Link coloring with OCG OFF on input line 6100.
Package hyperref Info: PDF/A mode OFF on input line 6105.
LaTeX Info: Redefining \ref on input line 6145.
LaTeX Info: Redefining \pageref on input line 6149.
(/usr/local/texlive/2021/texmf-dist/tex/latex/base/atbegshi-ltx.sty
Package: atbegshi-ltx 2020/08/17 v1.0a Emulation of the original atbegshi packa
ge
with kernel methods
)
\Hy@abspage=\count268
\c@Item=\count269
\c@Hfootnote=\count270
)
Package hyperref Info: Driver (autodetected): hpdftex.
(/usr/local/texlive/2021/texmf-dist/tex/latex/hyperref/hpdftex.def
File: hpdftex.def 2021-02-27 v7.00k Hyperref driver for pdfTeX
(/usr/local/texlive/2021/texmf-dist/tex/latex/base/atveryend-ltx.sty
Package: atveryend-ltx 2020/08/19 v1.0a Emulation of the original atvery packag
e
with kernel methods
)
\Fld@listcount=\count271
\c@bookmark@seq@number=\count272
(/usr/local/texlive/2021/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty
Package: rerunfilecheck 2019/12/05 v1.9 Rerun checks for auxiliary files (HO)
(/usr/local/texlive/2021/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty
Package: uniquecounter 2019/12/15 v1.4 Provide unlimited unique counter (HO)
)
Package uniquecounter Info: New unique counter `rerunfilecheck' on input line 2
86.
)
\Hy@SectionHShift=\skip49
) (/usr/local/texlive/2021/texmf-dist/tex/latex/textgreek/textgreek.sty
Package: textgreek 2011/10/09 v0.7 Greek symbols in text
Package textgreek Info: Loading the definitions for the Greek fontencoding. on
input line 39.
(/usr/local/texlive/2021/texmf-dist/tex/latex/greek-fontenc/lgrenc.def
File: lgrenc.def 2020/10/13 2.0 LGR Greek font encoding definitions
Now handling font encoding LGR ...
... processing UTF-8 mapping file for font encoding LGR
(/usr/local/texlive/2021/texmf-dist/tex/latex/greek-inputenc/lgrenc.dfu
File: lgrenc.dfu 2019/07/11 1.7 UTF-8 support for Greek
defining Unicode char U+00A8 (decimal 168)
defining Unicode char U+00AB (decimal 171)
defining Unicode char U+00AF (decimal 175)
defining Unicode char U+00B4 (decimal 180)
defining Unicode char U+00B7 (decimal 183)
defining Unicode char U+00BB (decimal 187)
defining Unicode char U+0259 (decimal 601)
defining Unicode char U+02D8 (decimal 728)
defining Unicode char U+0374 (decimal 884)
defining Unicode char U+0375 (decimal 885)
defining Unicode char U+037A (decimal 890)
defining Unicode char U+037E (decimal 894)
defining Unicode char U+0384 (decimal 900)
defining Unicode char U+0385 (decimal 901)
defining Unicode char U+0386 (decimal 902)
defining Unicode char U+0387 (decimal 903)
defining Unicode char U+0388 (decimal 904)
defining Unicode char U+0389 (decimal 905)
defining Unicode char U+038A (decimal 906)
defining Unicode char U+038C (decimal 908)
defining Unicode char U+038E (decimal 910)
defining Unicode char U+038F (decimal 911)
defining Unicode char U+0390 (decimal 912)
defining Unicode char U+0391 (decimal 913)
defining Unicode char U+0392 (decimal 914)
defining Unicode char U+0393 (decimal 915)
defining Unicode char U+0394 (decimal 916)
defining Unicode char U+0395 (decimal 917)
defining Unicode char U+0396 (decimal 918)
defining Unicode char U+0397 (decimal 919)
defining Unicode char U+0398 (decimal 920)
defining Unicode char U+0399 (decimal 921)
defining Unicode char U+039A (decimal 922)
defining Unicode char U+039B (decimal 923)
defining Unicode char U+039C (decimal 924)
defining Unicode char U+039D (decimal 925)
defining Unicode char U+039E (decimal 926)
defining Unicode char U+039F (decimal 927)
defining Unicode char U+03A0 (decimal 928)
defining Unicode char U+03A1 (decimal 929)
defining Unicode char U+03A3 (decimal 931)
defining Unicode char U+03A4 (decimal 932)
defining Unicode char U+03A5 (decimal 933)
defining Unicode char U+03A6 (decimal 934)
defining Unicode char U+03A7 (decimal 935)
defining Unicode char U+03A8 (decimal 936)
defining Unicode char U+03A9 (decimal 937)
defining Unicode char U+03AA (decimal 938)
defining Unicode char U+03AB (decimal 939)
defining Unicode char U+03AC (decimal 940)
defining Unicode char U+03AD (decimal 941)
defining Unicode char U+03AE (decimal 942)
defining Unicode char U+03AF (decimal 943)
defining Unicode char U+03B0 (decimal 944)
defining Unicode char U+03B1 (decimal 945)
defining Unicode char U+03B2 (decimal 946)
defining Unicode char U+03B3 (decimal 947)
defining Unicode char U+03B4 (decimal 948)
defining Unicode char U+03B5 (decimal 949)
defining Unicode char U+03B6 (decimal 950)
defining Unicode char U+03B7 (decimal 951)
defining Unicode char U+03B8 (decimal 952)
defining Unicode char U+03B9 (decimal 953)
defining Unicode char U+03BA (decimal 954)
defining Unicode char U+03BB (decimal 955)
defining Unicode char U+03BC (decimal 956)
defining Unicode char U+03BD (decimal 957)
defining Unicode char U+03BE (decimal 958)
defining Unicode char U+03BF (decimal 959)
defining Unicode char U+03C0 (decimal 960)
defining Unicode char U+03C1 (decimal 961)
defining Unicode char U+03C2 (decimal 962)
defining Unicode char U+03C3 (decimal 963)
defining Unicode char U+03C4 (decimal 964)
defining Unicode char U+03C5 (decimal 965)
defining Unicode char U+03C6 (decimal 966)
defining Unicode char U+03C7 (decimal 967)
defining Unicode char U+03C8 (decimal 968)
defining Unicode char U+03C9 (decimal 969)
defining Unicode char U+03CA (decimal 970)
defining Unicode char U+03CB (decimal 971)
defining Unicode char U+03CC (decimal 972)
defining Unicode char U+03CD (decimal 973)
defining Unicode char U+03CE (decimal 974)
defining Unicode char U+03D0 (decimal 976)
defining Unicode char U+03D1 (decimal 977)
defining Unicode char U+03D5 (decimal 981)
defining Unicode char U+03D6 (decimal 982)
defining Unicode char U+03D8 (decimal 984)
defining Unicode char U+03D9 (decimal 985)
defining Unicode char U+03DA (decimal 986)
defining Unicode char U+03DB (decimal 987)
defining Unicode char U+03DC (decimal 988)
defining Unicode char U+03DD (decimal 989)
defining Unicode char U+03DF (decimal 991)
defining Unicode char U+03E0 (decimal 992)
defining Unicode char U+03E1 (decimal 993)
defining Unicode char U+03F0 (decimal 1008)
defining Unicode char U+03F1 (decimal 1009)
defining Unicode char U+03F4 (decimal 1012)
defining Unicode char U+03F5 (decimal 1013)
defining Unicode char U+1F00 (decimal 7936)
defining Unicode char U+1F01 (decimal 7937)
defining Unicode char U+1F02 (decimal 7938)
defining Unicode char U+1F03 (decimal 7939)
defining Unicode char U+1F04 (decimal 7940)
defining Unicode char U+1F05 (decimal 7941)
defining Unicode char U+1F06 (decimal 7942)
defining Unicode char U+1F07 (decimal 7943)
defining Unicode char U+1F08 (decimal 7944)
defining Unicode char U+1F09 (decimal 7945)
defining Unicode char U+1F0A (decimal 7946)
defining Unicode char U+1F0B (decimal 7947)
defining Unicode char U+1F0C (decimal 7948)
defining Unicode char U+1F0D (decimal 7949)
defining Unicode char U+1F0E (decimal 7950)
defining Unicode char U+1F0F (decimal 7951)
defining Unicode char U+1F10 (decimal 7952)
defining Unicode char U+1F11 (decimal 7953)
defining Unicode char U+1F12 (decimal 7954)
defining Unicode char U+1F13 (decimal 7955)
defining Unicode char U+1F14 (decimal 7956)
defining Unicode char U+1F15 (decimal 7957)
defining Unicode char U+1F18 (decimal 7960)
defining Unicode char U+1F19 (decimal 7961)
defining Unicode char U+1F1A (decimal 7962)
defining Unicode char U+1F1B (decimal 7963)
defining Unicode char U+1F1C (decimal 7964)
defining Unicode char U+1F1D (decimal 7965)
defining Unicode char U+1F20 (decimal 7968)
defining Unicode char U+1F21 (decimal 7969)
defining Unicode char U+1F22 (decimal 7970)
defining Unicode char U+1F23 (decimal 7971)
defining Unicode char U+1F24 (decimal 7972)
defining Unicode char U+1F25 (decimal 7973)
defining Unicode char U+1F26 (decimal 7974)
defining Unicode char U+1F27 (decimal 7975)
defining Unicode char U+1F28 (decimal 7976)
defining Unicode char U+1F29 (decimal 7977)
defining Unicode char U+1F2A (decimal 7978)
defining Unicode char U+1F2B (decimal 7979)
defining Unicode char U+1F2C (decimal 7980)
defining Unicode char U+1F2D (decimal 7981)
defining Unicode char U+1F2E (decimal 7982)
defining Unicode char U+1F2F (decimal 7983)
defining Unicode char U+1F30 (decimal 7984)
defining Unicode char U+1F31 (decimal 7985)
defining Unicode char U+1F32 (decimal 7986)
defining Unicode char U+1F33 (decimal 7987)
defining Unicode char U+1F34 (decimal 7988)
defining Unicode char U+1F35 (decimal 7989)
defining Unicode char U+1F36 (decimal 7990)
defining Unicode char U+1F37 (decimal 7991)
defining Unicode char U+1F38 (decimal 7992)
defining Unicode char U+1F39 (decimal 7993)
defining Unicode char U+1F3A (decimal 7994)
defining Unicode char U+1F3B (decimal 7995)
defining Unicode char U+1F3C (decimal 7996)
defining Unicode char U+1F3D (decimal 7997)
defining Unicode char U+1F3E (decimal 7998)
defining Unicode char U+1F3F (decimal 7999)
defining Unicode char U+1F40 (decimal 8000)
defining Unicode char U+1F41 (decimal 8001)
defining Unicode char U+1F42 (decimal 8002)
defining Unicode char U+1F43 (decimal 8003)
defining Unicode char U+1F44 (decimal 8004)
defining Unicode char U+1F45 (decimal 8005)
defining Unicode char U+1F48 (decimal 8008)
defining Unicode char U+1F49 (decimal 8009)
defining Unicode char U+1F4A (decimal 8010)
defining Unicode char U+1F4B (decimal 8011)
defining Unicode char U+1F4C (decimal 8012)
defining Unicode char U+1F4D (decimal 8013)
defining Unicode char U+1F50 (decimal 8016)
defining Unicode char U+1F51 (decimal 8017)
defining Unicode char U+1F52 (decimal 8018)
defining Unicode char U+1F53 (decimal 8019)
defining Unicode char U+1F54 (decimal 8020)
defining Unicode char U+1F55 (decimal 8021)
defining Unicode char U+1F56 (decimal 8022)
defining Unicode char U+1F57 (decimal 8023)
defining Unicode char U+1F59 (decimal 8025)
defining Unicode char U+1F5B (decimal 8027)
defining Unicode char U+1F5D (decimal 8029)
defining Unicode char U+1F5F (decimal 8031)
defining Unicode char U+1F60 (decimal 8032)
defining Unicode char U+1F61 (decimal 8033)
defining Unicode char U+1F62 (decimal 8034)
defining Unicode char U+1F63 (decimal 8035)
defining Unicode char U+1F64 (decimal 8036)
defining Unicode char U+1F65 (decimal 8037)
defining Unicode char U+1F66 (decimal 8038)
defining Unicode char U+1F67 (decimal 8039)
defining Unicode char U+1F68 (decimal 8040)
defining Unicode char U+1F69 (decimal 8041)
defining Unicode char U+1F6A (decimal 8042)
defining Unicode char U+1F6B (decimal 8043)
defining Unicode char U+1F6C (decimal 8044)
defining Unicode char U+1F6D (decimal 8045)
defining Unicode char U+1F6E (decimal 8046)
defining Unicode char U+1F6F (decimal 8047)
defining Unicode char U+1F70 (decimal 8048)
defining Unicode char U+1F71 (decimal 8049)
defining Unicode char U+1F72 (decimal 8050)
defining Unicode char U+1F73 (decimal 8051)
defining Unicode char U+1F74 (decimal 8052)
defining Unicode char U+1F75 (decimal 8053)
defining Unicode char U+1F76 (decimal 8054)
defining Unicode char U+1F77 (decimal 8055)
defining Unicode char U+1F78 (decimal 8056)
defining Unicode char U+1F79 (decimal 8057)
defining Unicode char U+1F7A (decimal 8058)
defining Unicode char U+1F7B (decimal 8059)
defining Unicode char U+1F7C (decimal 8060)
defining Unicode char U+1F7D (decimal 8061)
defining Unicode char U+1F80 (decimal 8064)
defining Unicode char U+1F81 (decimal 8065)
defining Unicode char U+1F82 (decimal 8066)
defining Unicode char U+1F83 (decimal 8067)
defining Unicode char U+1F84 (decimal 8068)
defining Unicode char U+1F85 (decimal 8069)
defining Unicode char U+1F86 (decimal 8070)
defining Unicode char U+1F87 (decimal 8071)
defining Unicode char U+1F88 (decimal 8072)
defining Unicode char U+1F89 (decimal 8073)
defining Unicode char U+1F8A (decimal 8074)
defining Unicode char U+1F8B (decimal 8075)
defining Unicode char U+1F8C (decimal 8076)
defining Unicode char U+1F8D (decimal 8077)
defining Unicode char U+1F8E (decimal 8078)
defining Unicode char U+1F8F (decimal 8079)
defining Unicode char U+1F90 (decimal 8080)
defining Unicode char U+1F91 (decimal 8081)
defining Unicode char U+1F92 (decimal 8082)
defining Unicode char U+1F93 (decimal 8083)
defining Unicode char U+1F94 (decimal 8084)
defining Unicode char U+1F95 (decimal 8085)
defining Unicode char U+1F96 (decimal 8086)
defining Unicode char U+1F97 (decimal 8087)
defining Unicode char U+1F98 (decimal 8088)
defining Unicode char U+1F99 (decimal 8089)
defining Unicode char U+1F9A (decimal 8090)
defining Unicode char U+1F9B (decimal 8091)
defining Unicode char U+1F9C (decimal 8092)
defining Unicode char U+1F9D (decimal 8093)
defining Unicode char U+1F9E (decimal 8094)
defining Unicode char U+1F9F (decimal 8095)
defining Unicode char U+1FA0 (decimal 8096)
defining Unicode char U+1FA1 (decimal 8097)
defining Unicode char U+1FA2 (decimal 8098)
defining Unicode char U+1FA3 (decimal 8099)
defining Unicode char U+1FA4 (decimal 8100)
defining Unicode char U+1FA5 (decimal 8101)
defining Unicode char U+1FA6 (decimal 8102)
defining Unicode char U+1FA7 (decimal 8103)
defining Unicode char U+1FA8 (decimal 8104)
defining Unicode char U+1FA9 (decimal 8105)
defining Unicode char U+1FAA (decimal 8106)
defining Unicode char U+1FAB (decimal 8107)
defining Unicode char U+1FAC (decimal 8108)
defining Unicode char U+1FAD (decimal 8109)
defining Unicode char U+1FAE (decimal 8110)
defining Unicode char U+1FAF (decimal 8111)
defining Unicode char U+1FB0 (decimal 8112)
defining Unicode char U+1FB1 (decimal 8113)
defining Unicode char U+1FB2 (decimal 8114)
defining Unicode char U+1FB3 (decimal 8115)
defining Unicode char U+1FB4 (decimal 8116)
defining Unicode char U+1FB6 (decimal 8118)
defining Unicode char U+1FB7 (decimal 8119)
defining Unicode char U+1FB8 (decimal 8120)
defining Unicode char U+1FB9 (decimal 8121)
defining Unicode char U+1FBA (decimal 8122)
defining Unicode char U+1FBB (decimal 8123)
defining Unicode char U+1FBC (decimal 8124)
defining Unicode char U+1FBD (decimal 8125)
defining Unicode char U+1FBE (decimal 8126)
defining Unicode char U+1FBF (decimal 8127)
defining Unicode char U+1FC0 (decimal 8128)
defining Unicode char U+1FC1 (decimal 8129)
defining Unicode char U+1FC2 (decimal 8130)
defining Unicode char U+1FC3 (decimal 8131)
defining Unicode char U+1FC4 (decimal 8132)
defining Unicode char U+1FC6 (decimal 8134)
defining Unicode char U+1FC7 (decimal 8135)
defining Unicode char U+1FC8 (decimal 8136)
defining Unicode char U+1FC9 (decimal 8137)
defining Unicode char U+1FCA (decimal 8138)
defining Unicode char U+1FCB (decimal 8139)
defining Unicode char U+1FCC (decimal 8140)
defining Unicode char U+1FCD (decimal 8141)
defining Unicode char U+1FCE (decimal 8142)
defining Unicode char U+1FCF (decimal 8143)
defining Unicode char U+1FD0 (decimal 8144)
defining Unicode char U+1FD1 (decimal 8145)
defining Unicode char U+1FD2 (decimal 8146)
defining Unicode char U+1FD3 (decimal 8147)
defining Unicode char U+1FD6 (decimal 8150)
defining Unicode char U+1FD7 (decimal 8151)
defining Unicode char U+1FD8 (decimal 8152)
defining Unicode char U+1FD9 (decimal 8153)
defining Unicode char U+1FDA (decimal 8154)
defining Unicode char U+1FDB (decimal 8155)
defining Unicode char U+1FDD (decimal 8157)
defining Unicode char U+1FDE (decimal 8158)
defining Unicode char U+1FDF (decimal 8159)
defining Unicode char U+1FE0 (decimal 8160)
defining Unicode char U+1FE1 (decimal 8161)
defining Unicode char U+1FE2 (decimal 8162)
defining Unicode char U+1FE3 (decimal 8163)
defining Unicode char U+1FE4 (decimal 8164)
defining Unicode char U+1FE5 (decimal 8165)
defining Unicode char U+1FE6 (decimal 8166)
defining Unicode char U+1FE7 (decimal 8167)
defining Unicode char U+1FE8 (decimal 8168)
defining Unicode char U+1FE9 (decimal 8169)
defining Unicode char U+1FEA (decimal 8170)
defining Unicode char U+1FEB (decimal 8171)
defining Unicode char U+1FEC (decimal 8172)
defining Unicode char U+1FED (decimal 8173)
defining Unicode char U+1FEE (decimal 8174)
defining Unicode char U+1FEF (decimal 8175)
defining Unicode char U+1FF2 (decimal 8178)
defining Unicode char U+1FF3 (decimal 8179)
defining Unicode char U+1FF4 (decimal 8180)
defining Unicode char U+1FF6 (decimal 8182)
defining Unicode char U+1FF7 (decimal 8183)
defining Unicode char U+1FF8 (decimal 8184)
defining Unicode char U+1FF9 (decimal 8185)
defining Unicode char U+1FFA (decimal 8186)
defining Unicode char U+1FFB (decimal 8187)
defining Unicode char U+1FFC (decimal 8188)
defining Unicode char U+1FFD (decimal 8189)
defining Unicode char U+1FFE (decimal 8190)
defining Unicode char U+2013 (decimal 8211)
defining Unicode char U+2014 (decimal 8212)
defining Unicode char U+2018 (decimal 8216)
defining Unicode char U+2019 (decimal 8217)
defining Unicode char U+201A (decimal 8218)
defining Unicode char U+2030 (decimal 8240)
defining Unicode char U+2039 (decimal 8249)
defining Unicode char U+203A (decimal 8250)
defining Unicode char U+20AC (decimal 8364)
defining Unicode char U+2126 (decimal 8486)
defining Unicode char U+10144 (decimal 65860)
defining Unicode char U+10145 (decimal 65861)
defining Unicode char U+10146 (decimal 65862)
defining Unicode char U+10147 (decimal 65863)
)
(/usr/local/texlive/2021/texmf-dist/tex/latex/greek-fontenc/greek-fontenc.def
File: greek-fontenc.def 2020/10/30 2.0 Common Greek font encoding definitions
))
Package textgreek Info: Loaded fontmap: {phv/*/*}{U/psy/*/*} {*/bx/n}{U/eur/b/n
} {*/b/n}{U/eur/b/n} {*/*/n}{U/eur/m/n} {*/*/it}{OML/*/*/*}. on input line 69.
) (/usr/local/texlive/2021/texmf-dist/tex/latex/tools/verbatim.sty
Package: verbatim 2020-07-07 v1.5u LaTeX2e package for verbatim enhancements
\every@verbatim=\toks17
\verbatim@line=\toks18
\verbatim@in@stream=\read3
)
(/usr/local/texlive/2021/texmf-dist/tex/latex/titlesec/titlesec.sty
Package: titlesec 2019/10/16 v2.13 Sectioning titles
\ttl@box=\box48
\beforetitleunit=\skip50
\aftertitleunit=\skip51
\ttl@plus=\dimen161
\ttl@minus=\dimen162
\ttl@toksa=\toks19
\titlewidth=\dimen163
\titlewidthlast=\dimen164
\titlewidthfirst=\dimen165
)
(/usr/local/texlive/2021/texmf-dist/tex/latex/amsfonts/amssymb.sty
Package: amssymb 2013/01/14 v3.01 AMS font symbols
(/usr/local/texlive/2021/texmf-dist/tex/latex/amsfonts/amsfonts.sty
Package: amsfonts 2013/01/14 v3.01 Basic AMSFonts support
\@emptytoks=\toks20
\symAMSa=\mathgroup4
\symAMSb=\mathgroup5
LaTeX Font Info: Redeclaring math symbol \hbar on input line 98.
LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold'
(Font) U/euf/m/n --> U/euf/b/n on input line 106.
))
(/usr/local/texlive/2021/texmf-dist/tex/latex/was/gensymb.sty
Package: gensymb 2003/07/02 v1.0 (WaS)
)
(/usr/local/texlive/2021/texmf-dist/tex/latex/base/textcomp.sty
Package: textcomp 2020/02/02 v2.0n Standard LaTeX package
)
(/usr/local/texlive/2021/texmf-dist/tex/latex/footmisc/footmisc.sty
Package: footmisc 2011/06/06 v5.5b a miscellany of footnote facilities
\FN@temptoken=\toks21
\footnotemargin=\dimen166
\c@pp@next@reset=\count273
Package footmisc Info: Declaring symbol style bringhurst on input line 855.
Package footmisc Info: Declaring symbol style chicago on input line 863.
Package footmisc Info: Declaring symbol style wiley on input line 872.
Package footmisc Info: Declaring symbol style lamport-robust on input line 883.
Package footmisc Info: Declaring symbol style lamport* on input line 903.
Package footmisc Info: Declaring symbol style lamport*-robust on input line 924
.
)
(/usr/local/texlive/2021/texmf-dist/tex/latex/mhchem/mhchem.sty
Package: mhchem 2018/06/22 v4.08 for typesetting chemical formulae
(/usr/local/texlive/2021/texmf-dist/tex/latex/l3packages/l3keys2e/l3keys2e.sty
Package: l3keys2e 2021-03-12 LaTeX2e option processing using LaTeX3 keys
) (/usr/local/texlive/2021/texmf-dist/tex/latex/tools/calc.sty
Package: calc 2017/05/25 v4.3 Infix arithmetic (KKT,FJ)
\calc@Acount=\count274
\calc@Bcount=\count275
\calc@Adimen=\dimen167
\calc@Bdimen=\dimen168
\calc@Askip=\skip52
\calc@Bskip=\skip53
LaTeX Info: Redefining \setlength on input line 80.
LaTeX Info: Redefining \addtolength on input line 81.
\calc@Ccount=\count276
\calc@Cskip=\skip54
)
(/usr/local/texlive/2021/texmf-dist/tex/latex/amsmath/amsmath.sty
Package: amsmath 2020/09/23 v2.17i AMS math features
\@mathmargin=\skip55
For additional information on amsmath, use the `?' option.
(/usr/local/texlive/2021/texmf-dist/tex/latex/amsmath/amstext.sty
Package: amstext 2000/06/29 v2.01 AMS text
(/usr/local/texlive/2021/texmf-dist/tex/latex/amsmath/amsgen.sty
File: amsgen.sty 1999/11/30 v2.0 generic functions
\@emptytoks=\toks22
\ex@=\dimen169
))
(/usr/local/texlive/2021/texmf-dist/tex/latex/amsmath/amsbsy.sty
Package: amsbsy 1999/11/29 v1.2d Bold Symbols
\pmbraise@=\dimen170
)
(/usr/local/texlive/2021/texmf-dist/tex/latex/amsmath/amsopn.sty
Package: amsopn 2016/03/08 v2.02 operator names
)
\inf@bad=\count277
LaTeX Info: Redefining \frac on input line 234.
\uproot@=\count278
\leftroot@=\count279
LaTeX Info: Redefining \overline on input line 399.
\classnum@=\count280
\DOTSCASE@=\count281
LaTeX Info: Redefining \ldots on input line 496.
LaTeX Info: Redefining \dots on input line 499.
LaTeX Info: Redefining \cdots on input line 620.
\Mathstrutbox@=\box49
\strutbox@=\box50
\big@size=\dimen171
LaTeX Font Info: Redeclaring font encoding OML on input line 743.
LaTeX Font Info: Redeclaring font encoding OMS on input line 744.
\macc@depth=\count282
\c@MaxMatrixCols=\count283
\dotsspace@=\muskip17
\c@parentequation=\count284
\dspbrk@lvl=\count285
\tag@help=\toks23
\row@=\count286
\column@=\count287
\maxfields@=\count288
\andhelp@=\toks24
\eqnshift@=\dimen172
\alignsep@=\dimen173
\tagshift@=\dimen174
\tagwidth@=\dimen175
\totwidth@=\dimen176
\lineht@=\dimen177
\@envbody=\toks25
\multlinegap=\skip56
\multlinetaggap=\skip57
\mathdisplay@stack=\toks26
LaTeX Info: Redefining \[ on input line 2923.
LaTeX Info: Redefining \] on input line 2924.
)
(/usr/local/texlive/2021/texmf-dist/tex/latex/chemgreek/chemgreek.sty
Package: chemgreek 2020/01/16 v1.1a interface for upright Greek letters for use
in chemistry (CN)
\l__chemgreek_tmpa_int=\count289
\g__chemgreek_tmpa_int=\count290
)
\l__mhchem_ce_distanceFromLastComma_int=\count291
\__mhchem_arrow_extPgfLength_skip=\skip58
\mhchem@minispace@tmp=\skip59
\mhchem@minibackspace@tmp=\skip60
\mhchem@bondwidth=\skip61
\mhchem@bondheight=\skip62
\mhchem@smallbondwidth@tmpA=\skip63
\mhchem@smallbondwidth@tmpB=\skip64
\mhchem@smallbondwidth=\skip65
\mhchem@bondtmp@minussidebearingleft=\skip66
\mhchem@bondtmp@minussidebearingright=\skip67
\l__mhchem_option_version_int=\count292
\mhchem@option@minusmathsidebearingleft=\dimen178
\mhchem@option@minusmathsidebearingright=\dimen179
\mhchem@option@minustextsidebearingleft=\dimen180
\mhchem@option@minustextsidebearingright=\dimen181
)
(/usr/local/texlive/2021/texmf-dist/tex/latex/tools/multicol.sty
Package: multicol 2019/12/09 v1.8y multicolumn formatting (FMi)
\c@tracingmulticols=\count293
\mult@box=\box51
\multicol@leftmargin=\dimen182
\c@unbalance=\count294
\c@collectmore=\count295
\doublecol@number=\count296
\multicoltolerance=\count297
\multicolpretolerance=\count298
\full@width=\dimen183
\page@free=\dimen184
\premulticols=\dimen185
\postmulticols=\dimen186
\multicolsep=\skip68
\multicolbaselineskip=\skip69
\partial@page=\box52
\last@line=\box53
\maxbalancingoverflow=\dimen187
\mult@rightbox=\box54
\mult@grightbox=\box55
\mult@gfirstbox=\box56
\mult@firstbox=\box57
\@tempa=\box58
\@tempa=\box59
\@tempa=\box60
\@tempa=\box61
\@tempa=\box62
\@tempa=\box63
\@tempa=\box64
\@tempa=\box65
\@tempa=\box66
\@tempa=\box67
\@tempa=\box68
\@tempa=\box69
\@tempa=\box70
\@tempa=\box71
\@tempa=\box72
\@tempa=\box73
\@tempa=\box74
\@tempa=\box75
\@tempa=\box76
\@tempa=\box77
\@tempa=\box78
\@tempa=\box79
\@tempa=\box80
\@tempa=\box81
\@tempa=\box82
\@tempa=\box83
\@tempa=\box84
\@tempa=\box85
\@tempa=\box86
\@tempa=\box87
\@tempa=\box88
\@tempa=\box89
\@tempa=\box90
\@tempa=\box91
\@tempa=\box92
\@tempa=\box93
\@tempa=\box94
\c@minrows=\count299
\c@columnbadness=\count300
\c@finalcolumnbadness=\count301
\last@try=\dimen188
\multicolovershoot=\dimen189
\multicolundershoot=\dimen190
\mult@nat@firstbox=\box95
\colbreak@box=\box96
\mc@col@check@num=\count302
)
(/usr/local/texlive/2021/texmf-dist/tex/latex/wrapfig/wrapfig.sty
\wrapoverhang=\dimen191
\WF@size=\dimen192
\c@WF@wrappedlines=\count303
\WF@box=\box97
\WF@everypar=\toks27
Package: wrapfig 2003/01/31 v 3.6
)
(/usr/local/texlive/2021/texmf-dist/tex/latex/objectz/oz.sty
Package: oz 1999/05/24 2.46 Object Z macros
`Object-Z Macros' 2.46 <1999/05/24>
\c@mv@oz=\count304
LaTeX Font Info: Overwriting math alphabet `\mathrm' in version `oz'
(Font) OT1/cmr/m/n --> OT1/cmr/m/n on input line 71.
LaTeX Font Info: Overwriting math alphabet `\mathbf' in version `oz'
(Font) OT1/cmr/bx/n --> OT1/cmr/bx/n on input line 71.
LaTeX Font Info: Overwriting math alphabet `\mathsf' in version `oz'
(Font) OT1/cmss/m/n --> OT1/cmss/m/n on input line 71.
\symitalics=\mathgroup6
LaTeX Font Info: Redeclaring math alphabet \mathrm on input line 71.
LaTeX Font Info: Redeclaring math alphabet \mathit on input line 71.
\symlasy=\mathgroup7
LaTeX Font Info: Redeclaring symbol font `AMSa' on input line 71.
LaTeX Font Info: Overwriting symbol font `AMSa' in version `normal'
(Font) U/msa/m/n --> U/msa/m/n on input line 71.
LaTeX Font Info: Overwriting symbol font `AMSa' in version `bold'
(Font) U/msa/m/n --> U/msa/m/n on input line 71.
LaTeX Font Info: Overwriting symbol font `AMSa' in version `oz'
(Font) U/msa/m/n --> U/msa/m/n on input line 71.
LaTeX Font Info: Redeclaring symbol font `AMSb' on input line 71.
LaTeX Font Info: Overwriting symbol font `AMSb' in version `normal'
(Font) U/msb/m/n --> U/msb/m/n on input line 71.
LaTeX Font Info: Overwriting symbol font `AMSb' in version `bold'
(Font) U/msb/m/n --> U/msb/m/n on input line 71.
LaTeX Font Info: Overwriting symbol font `AMSb' in version `oz'
(Font) U/msb/m/n --> U/msb/m/n on input line 71.
\strutbox@=\box98
\big@size=\dimen193
LaTeX Font Info: Redeclaring math symbol \boxdot on input line 362.
LaTeX Font Info: Redeclaring math symbol \boxplus on input line 362.
LaTeX Font Info: Redeclaring math symbol \boxtimes on input line 362.
LaTeX Font Info: Redeclaring math symbol \square on input line 362.
LaTeX Font Info: Redeclaring math symbol \blacksquare on input line 362.
LaTeX Font Info: Redeclaring math symbol \centerdot on input line 362.
LaTeX Font Info: Redeclaring math symbol \lozenge on input line 362.
LaTeX Font Info: Redeclaring math symbol \blacklozenge on input line 362.
LaTeX Font Info: Redeclaring math symbol \circlearrowright on input line 362
.
LaTeX Font Info: Redeclaring math symbol \circlearrowleft on input line 362.
LaTeX Font Info: Redeclaring math symbol \leftrightharpoons on input line 36
2.
LaTeX Font Info: Redeclaring math symbol \boxminus on input line 362.
LaTeX Font Info: Redeclaring math symbol \Vdash on input line 362.
LaTeX Font Info: Redeclaring math symbol \Vvdash on input line 362.
LaTeX Font Info: Redeclaring math symbol \vDash on input line 362.
LaTeX Font Info: Redeclaring math symbol \twoheadrightarrow on input line 36
2.
LaTeX Font Info: Redeclaring math symbol \twoheadleftarrow on input line 362
.
LaTeX Font Info: Redeclaring math symbol \leftleftarrows on input line 362.
LaTeX Font Info: Redeclaring math symbol \rightrightarrows on input line 362
.
LaTeX Font Info: Redeclaring math symbol \upuparrows on input line 362.
LaTeX Font Info: Redeclaring math symbol \downdownarrows on input line 362.
LaTeX Font Info: Redeclaring math symbol \upharpoonright on input line 362.
LaTeX Font Info: Redeclaring math symbol \downharpoonright on input line 362
.
LaTeX Font Info: Redeclaring math symbol \upharpoonleft on input line 362.
LaTeX Font Info: Redeclaring math symbol \downharpoonleft on input line 362.
LaTeX Font Info: Redeclaring math symbol \rightarrowtail on input line 362.
LaTeX Font Info: Redeclaring math symbol \leftarrowtail on input line 362.
LaTeX Font Info: Redeclaring math symbol \leftrightarrows on input line 362.
LaTeX Font Info: Redeclaring math symbol \rightleftarrows on input line 362.
LaTeX Font Info: Redeclaring math symbol \Lsh on input line 362.
LaTeX Font Info: Redeclaring math symbol \Rsh on input line 362.
LaTeX Font Info: Redeclaring math symbol \rightsquigarrow on input line 362.
LaTeX Font Info: Redeclaring math symbol \leftrightsquigarrow on input line
362.
LaTeX Font Info: Redeclaring math symbol \looparrowleft on input line 362.
LaTeX Font Info: Redeclaring math symbol \looparrowright on input line 362.
LaTeX Font Info: Redeclaring math symbol \circeq on input line 362.
LaTeX Font Info: Redeclaring math symbol \succsim on input line 362.
LaTeX Font Info: Redeclaring math symbol \gtrsim on input line 362.
LaTeX Font Info: Redeclaring math symbol \gtrapprox on input line 362.
LaTeX Font Info: Redeclaring math symbol \multimap on input line 362.
LaTeX Font Info: Redeclaring math symbol \therefore on input line 362.
LaTeX Font Info: Redeclaring math symbol \because on input line 362.
LaTeX Font Info: Redeclaring math symbol \doteqdot on input line 362.
LaTeX Font Info: Redeclaring math symbol \triangleq on input line 362.
LaTeX Font Info: Redeclaring math symbol \precsim on input line 362.
LaTeX Font Info: Redeclaring math symbol \lesssim on input line 362.
LaTeX Font Info: Redeclaring math symbol \lessapprox on input line 362.
LaTeX Font Info: Redeclaring math symbol \eqslantless on input line 362.
LaTeX Font Info: Redeclaring math symbol \eqslantgtr on input line 362.
LaTeX Font Info: Redeclaring math symbol \curlyeqprec on input line 362.
LaTeX Font Info: Redeclaring math symbol \curlyeqsucc on input line 362.
LaTeX Font Info: Redeclaring math symbol \preccurlyeq on input line 362.
LaTeX Font Info: Redeclaring math symbol \leqq on input line 362.
LaTeX Font Info: Redeclaring math symbol \leqslant on input line 362.
LaTeX Font Info: Redeclaring math symbol \lessgtr on input line 362.
LaTeX Font Info: Redeclaring math symbol \backprime on input line 362.
LaTeX Font Info: Redeclaring math symbol \risingdotseq on input line 362.
LaTeX Font Info: Redeclaring math symbol \fallingdotseq on input line 362.
LaTeX Font Info: Redeclaring math symbol \succcurlyeq on input line 362.
LaTeX Font Info: Redeclaring math symbol \geqq on input line 362.
LaTeX Font Info: Redeclaring math symbol \geqslant on input line 362.
LaTeX Font Info: Redeclaring math symbol \gtrless on input line 362.
LaTeX Font Info: Redeclaring math symbol \sqsubset on input line 362.
LaTeX Font Info: Redeclaring math symbol \sqsupset on input line 362.
LaTeX Font Info: Redeclaring math symbol \vartriangleright on input line 362
.
LaTeX Font Info: Redeclaring math symbol \vartriangleleft on input line 362.
LaTeX Font Info: Redeclaring math symbol \trianglerighteq on input line 362.
LaTeX Font Info: Redeclaring math symbol \trianglelefteq on input line 362.
LaTeX Font Info: Redeclaring math symbol \bigstar on input line 362.
LaTeX Font Info: Redeclaring math symbol \between on input line 362.
LaTeX Font Info: Redeclaring math symbol \blacktriangledown on input line 36
2.
LaTeX Font Info: Redeclaring math symbol \blacktriangleright on input line 3
62.
LaTeX Font Info: Redeclaring math symbol \blacktriangleleft on input line 36
2.
LaTeX Font Info: Redeclaring math symbol \vartriangle on input line 362.
LaTeX Font Info: Redeclaring math symbol \blacktriangle on input line 362.
LaTeX Font Info: Redeclaring math symbol \triangledown on input line 362.
LaTeX Font Info: Redeclaring math symbol \eqcirc on input line 362.
LaTeX Font Info: Redeclaring math symbol \lesseqgtr on input line 362.
LaTeX Font Info: Redeclaring math symbol \gtreqless on input line 362.
LaTeX Font Info: Redeclaring math symbol \lesseqqgtr on input line 362.
LaTeX Font Info: Redeclaring math symbol \gtreqqless on input line 362.
LaTeX Font Info: Redeclaring math symbol \Rrightarrow on input line 362.
LaTeX Font Info: Redeclaring math symbol \Lleftarrow on input line 362.
LaTeX Font Info: Redeclaring math symbol \veebar on input line 362.
LaTeX Font Info: Redeclaring math symbol \barwedge on input line 362.
LaTeX Font Info: Redeclaring math symbol \doublebarwedge on input line 362.