%PDF-1.2 7 0 obj [5 0 R/XYZ 60.04 789.24 null] endobj 12 0 obj << /Title(Types et coercions) /A<< /S/GoTo /D(section.1) >> /Parent 11 0 R /Next 13 0 R >> endobj 13 0 obj << /Title(Typage) /A<< /S/GoTo /D(section.2) >> /Parent 11 0 R /Prev 12 0 R /Next 14 0 R >> endobj 14 0 obj << /Title(S\351mantique) /A<< /S/GoTo /D(section.3) >> /Parent 11 0 R /Prev 13 0 R /Next 15 0 R >> endobj 15 0 obj << /Title(Relation entre les syst\350mes F et Feta) /A<< /S/GoTo /D(section.4) >> /Parent 11 0 R /Prev 14 0 R /Next 16 0 R >> endobj 16 0 obj << /Title(S\373ret\351 du syst\350me Feta) /A<< /S/GoTo /D(section.5) >> /Parent 11 0 R /Prev 15 0 R /Next 17 0 R >> endobj 17 0 obj << /Title(Ajout des r\351f\351rences au syst\350me Feta) /A<< /S/GoTo /D(section.6) >> /Parent 11 0 R /Prev 16 0 R /Next 18 0 R >> endobj 19 0 obj [5 0 R/XYZ 60.04 764.33 null] endobj 20 0 obj << /Type/Encoding /Differences[0/grave/acute/circumflex/tilde/dieresis/hungarumlaut/ring/caron/breve/macron/dotaccent/cedilla/ogonek/quotesinglbase/guilsinglleft/guilsinglright/quotedblleft/quotedblright/quotedblbase/guillemotleft/guillemotright/endash/emdash/cwm/perthousandzero/dotlessi/dotlessj/ff/fi/fl/ffi/ffl/visiblespace/exclam/quotedbl/numbersign/dollar/percent/ampersand/quoteright/parenleft/parenright/asterisk/plus/comma/hyphen/period/slash/zero/one/two/three/four/five/six/seven/eight/nine/colon/semicolon/less/equal/greater/question/at/A/B/C/D/E/F/G/H/I/J/K/L/M/N/O/P/Q/R/S/T/U/V/W/X/Y/Z/bracketleft/backslash/bracketright/asciicircum/underscore/quoteleft/a/b/c/d/e/f/g/h/i/j/k/l/m/n/o/p/q/r/s/t/u/v/w/x/y/z/braceleft/bar/braceright/asciitilde/hyphen.alt/Abreve/Aogonek/Cacute/Ccaron/Dcaron/Ecaron/Eogonek/Gbreve/Lacute/Lcaron/Lslash/Nacute/Ncaron/Eng/Ohungarumlaut/Racute/Rcaron/Sacute/Scaron/Scedilla/Tcaron/Tcedilla/Uhungarumlaut/Uring/Ydieresis/Zacute/Zcaron/Zdotaccent/IJ/Idotaccent/dcroat/section/abreve/aogonek/cacute/ccaron/dcaron/ecaron/eogonek/gbreve/lacute/lcaron/lslash/nacute/ncaron/eng/ohungarumlaut/racute/rcaron/sacute/scaron/scedilla/tcaron/tcedilla/uhungarumlaut/uring/ydieresis/zacute/zcaron/zdotaccent/ij/exclamdown/questiondown/sterling/Agrave/Aacute/Acircumflex/Atilde/Adieresis/Aring/AE/Ccedilla/Egrave/Eacute/Ecircumflex/Edieresis/Igrave/Iacute/Icircumflex/Idieresis/Eth/Ntilde/Ograve/Oacute/Ocircumflex/Otilde/Odieresis/OE/Oslash/Ugrave/Uacute/Ucircumflex/Udieresis/Yacute/Thorn/Germandbls/agrave/aacute/acircumflex/atilde/adieresis/aring/ae/ccedilla/egrave/eacute/ecircumflex/edieresis/igrave/iacute/icircumflex/idieresis/eth/ntilde/ograve/oacute/ocircumflex/otilde/odieresis/oe/oslash/ugrave/uacute/ucircumflex/udieresis/yacute/thorn/germandbls] >> endobj 23 0 obj << /Encoding 20 0 R /Type/Font /Subtype/Type1 /Name/F1 /FontDescriptor 22 0 R /BaseFont/KHTXDU+LMRoman17-Regular /FirstChar 0 /LastChar 255 /Widths[458.6 458.6 458.6 458.6 458.6 458.6 693.3 458.6 458.6 458.6 249.7 406.4 458.6 249.7 365.5 365.5 432.6 432.6 432.6 510.9 510.9 458.6 917.2 0 355.2 249.7 275.8 525.4 499.3 499.3 749 749 458.6 249.7 321.6 772.1 458.6 772.1 719.8 249.7 354.1 354.1 458.6 719.8 249.7 301.9 249.7 458.6 458.6 458.6 458.6 458.6 458.6 458.6 458.6 458.6 458.6 458.6 249.7 249.7 761.6 719.8 761.6 432.5 719.8 693.3 654.3 667.6 706.6 628.2 602.1 726.3 693.3 327.6 471.5 719.4 576 850 693.3 719.8 628.2 719.8 680.4 510.9 667.6 693.3 693.3 954.5 693.3 693.3 563.1 249.7 500 249.7 555.6 693.3 249.7 458.6 510.9 406.4 510.9 406.4 275.8 458.6 510.9 249.7 275.8 484.7 249.7 772.1 510.9 458.6 510.9 484.7 354.1 359.4 354.1 510.9 484.7 667.6 484.7 484.7 406.4 500 277.8 500 555.6 150.9 693.3 693.3 667.6 667.6 706.6 628.2 628.2 726.3 576 576 576 693.3 693.3 693.3 719.8 680.4 680.4 510.9 510.9 510.9 667.6 667.6 693.3 693.3 693.3 563.1 563.1 563.1 766.3 327.6 510.9 460.8 458.6 458.6 406.4 406.4 510.9 406.4 406.4 458.6 249.7 249.7 304.5 510.9 510.9 462.9 458.6 354.1 354.1 359.4 359.4 359.4 354.1 354.1 510.9 510.9 484.7 406.4 406.4 406.4 500.5 249.7 432.5 693.3 693.3 693.3 693.3 693.3 693.3 693.3 837.2 667.6 628.2 628.2 628.2 628.2 327.6 327.6 327.6 327.6 706.6 693.3 719.8 719.8 719.8 719.8 719.8 941.7 719.8 693.3 693.3 693.3 693.3 693.3 628.2 1021.7 458.6 458.6 458.6 458.6 458.6 458.6 667.6 406.4 406.4 406.4 406.4 406.4 249.7 249.7 249.7 249.7 458.6 510.9 458.6 458.6 458.6 458.6 458.6 719.8 458.6 510.9 510.9 510.9 510.9 484.7 510.9 458.6] >> endobj 26 0 obj << /Encoding 20 0 R /Type/Font /Subtype/Type1 /Name/F2 /FontDescriptor 25 0 R /BaseFont/GXCGIR+LMRoman12-Regular /FirstChar 0 /LastChar 255 /Widths[489.6 489.6 489.6 489.6 489.6 489.6 734 489.6 489.6 489.6 272 435.2 489.6 272 381 381 461.6 461.6 461.6 544 544 489.6 979.2 0 382 272 299.2 571.2 544 544 816 816 489.6 272 358 816 489.6 816 761.6 272 380.8 380.8 489.6 761.6 272 326.4 272 489.6 489.6 489.6 489.6 489.6 489.6 489.6 489.6 489.6 489.6 489.6 272 272 761.6 761.6 761.6 462.4 761.6 734 693.4 707.2 747.8 666.2 639 768.2 734 353.2 503 761.2 611.8 897.3 734 761.6 666.2 761.6 720.6 544 707.2 734 734 1006 734 734 598.4 272 500 272 555.6 734 272 489.6 544 435.2 544 435.2 299.2 489.6 544 272 299.2 516.8 272 816 544 489.6 544 516.8 380.8 386.2 380.8 544 516.8 707.2 516.8 516.8 435.2 500 277.8 500 555.6 163.2 734 734 707.2 707.2 747.8 666.2 666.2 768.2 611.8 611.8 611.8 734 734 734 761.6 720.6 720.6 544 544 544 707.2 707.2 734 734 734 598.4 598.4 598.4 820.9 353.2 544 474.6 489.6 489.6 435.2 435.2 544 435.2 435.2 489.6 272 272 329.1 544 544 494.5 489.6 380.8 380.8 386.2 386.2 386.2 380.8 380.8 544 544 516.8 435.2 435.2 435.2 544 272 462.4 734 734 734 734 734 734 734 883.7 707.2 666.2 666.2 666.2 666.2 353.2 353.2 353.2 353.2 747.8 734 761.6 761.6 761.6 761.6 761.6 992.6 761.6 734 734 734 734 734 666.2 1088 489.6 489.6 489.6 489.6 489.6 489.6 707.2 435.2 435.2 435.2 435.2 435.2 272 272 272 272 489.6 544 489.6 489.6 489.6 489.6 489.6 761.6 489.6 544 544 544 544 516.8 544 489.6] >> endobj 29 0 obj << /Encoding 20 0 R /Type/Font /Subtype/Type1 /Name/F3 /FontDescriptor 28 0 R /BaseFont/LASLDJ+LMRoman10-Regular /FirstChar 0 /LastChar 255 /Widths[500 500 500 500 500 500 750 500 500 500 277.8 444.5 500 277.8 388.5 388.5 472 472 472 555.5 555.5 500 1000 0 391.7 277.8 305.5 583.3 555.5 555.5 833.3 833.3 500 277.8 373.8 833.3 500 833.3 777.8 277.8 388.9 388.9 500 777.8 277.8 333.3 277.8 500 500 500 500 500 500 500 500 500 500 500 277.8 277.8 777.8 777.8 777.8 472.2 777.8 750 708.3 722.2 763.9 680.5 652.8 784.7 750 361.1 513.9 777.8 625 916.7 750 777.8 680.5 777.8 736.1 555.5 722.2 750 750 1027.8 750 750 611.1 277.8 500 277.8 555.5 750 277.8 500 555.5 444.5 555.5 444.5 305.5 500 555.5 277.8 305.5 527.8 277.8 833.3 555.5 500 555.5 527.8 391.7 394.5 388.9 555.5 527.8 722.2 527.8 527.8 444.5 500 277.8 500 555.5 166.7 750 750 722.2 722.2 763.9 680.5 680.5 784.7 625 625 625 750 750 750 777.8 736.1 736.1 555.5 555.5 555.5 722.2 722.2 750 750 750 611.1 611.1 611.1 838.9 361.1 555.5 484 500 500 444.5 444.5 555.5 444.5 444.5 500 277.8 277.8 336.1 555.5 555.5 506.3 500 391.7 391.7 394.5 394.5 394.5 388.9 388.9 555.5 555.5 527.8 444.5 444.5 444.5 555.5 277.8 472.2 750 750 750 750 750 750 750 902.8 722.2 680.5 680.5 680.5 680.5 361.1 361.1 361.1 361.1 763.9 750 777.8 777.8 777.8 777.8 777.8 1013.9 777.8 750 750 750 750 750 680.5 1111.1 500 500 500 500 500 500 722.2 444.5 444.5 444.5 444.5 444.5 277.8 277.8 277.8 277.8 500 555.5 500 500 500 500 500 777.8 500 555.5 555.5 555.5 555.5 527.8 555.5 500] >> endobj 30 0 obj << /Type/Encoding /Differences[0/Gamma/Delta/Theta/Lambda/Xi/Pi/Sigma/Upsilon/Phi/Psi/Omega/alpha/beta/gamma/delta/epsilon1/zeta/eta/theta/iota/kappa/lambda/mu/nu/xi/pi/rho/sigma/tau/upsilon/phi/chi/psi/omega/epsilon/theta1/pi1/rho1/sigma1/phi1/arrowlefttophalf/arrowleftbothalf/arrowrighttophalf/arrowrightbothalf/arrowhookleft/arrowhookright/triangleright/triangleleft/zero.taboldstyle/one.taboldstyle/two.taboldstyle/three.taboldstyle/four.taboldstyle/five.taboldstyle/six.taboldstyle/seven.taboldstyle/eight.taboldstyle/nine.taboldstyle/period/comma/less/slash/greater/star/partialdiff/A/B/C/D/E/F/G/H/I/J/K/L/M/N/O/P/Q/R/S/T/U/V/W/X/Y/Z/flat/natural/sharp/slurbelow/slurabove/lscript/a/b/c/d/e/f/g/h/i/j/k/l/m/n/o/p/q/r/s/t/u/v/w/x/y/z/dotlessi/dotlessj/weierstrass/vector/tie] >> endobj 33 0 obj << /Encoding 30 0 R /Type/Font /Subtype/Type1 /Name/F4 /FontDescriptor 32 0 R /BaseFont/UISMXL+LMMathItalic10-Italic /FirstChar 0 /LastChar 127 /Widths[615.3 833.3 762.8 694.4 742.4 831.3 779.9 583.3 666.7 612.2 772.4 639.7 565.6 517.7 444.4 405.9 437.5 496.5 469.4 353.9 576.2 583.3 602.5 494 437.5 570 517 571.4 437.2 540.3 595.8 625.7 651.4 622.5 466.3 591.4 828.1 517 362.8 654.2 1000 1000 1000 1000 277.8 277.8 500 500 500 500 500 500 500 500 500 500 500 500 277.8 277.8 777.8 500 777.8 500 530.9 750 758.5 714.7 827.9 738.2 643.1 786.2 831.3 439.6 554.5 849.3 680.6 970.1 803.5 762.8 642 790.6 759.3 613.2 584.4 682.8 583.3 944.4 828.5 580.6 682.6 388.9 388.9 388.9 1000 1000 416.7 528.6 429.2 432.8 520.5 465.6 489.6 477 576.2 344.5 411.8 520.6 298.4 878 600.2 484.7 503.1 446.4 451.2 468.8 361.1 572.5 484.7 715.9 571.5 490.3 465 322.5 384 636.5 500 277.8] >> endobj 36 0 obj << /Encoding 30 0 R /Type/Font /Subtype/Type1 /Name/F5 /FontDescriptor 35 0 R /BaseFont/MMSAZW+LMMathItalic7-Italic /FirstChar 0 /LastChar 127 /Widths[693.8 954.4 868.9 797.6 844.5 935.6 886.3 677.6 769.8 716.9 880 742.7 647.8 600.1 519.2 476.1 519.8 588.6 544.1 422.8 668.8 677.6 694.6 572.8 519.8 668 592.7 662 526.8 632.9 686.9 713.8 756 719.7 539.7 689.9 950 592.7 439.2 751.4 1138.9 1138.9 1138.9 1138.9 339.3 339.3 585.3 585.3 585.3 585.3 585.3 585.3 585.3 585.3 585.3 585.3 585.3 585.3 339.3 339.3 892.9 585.3 892.9 585.3 610.1 859.1 863.2 819.4 934.1 838.7 724.5 889.4 935.6 506.3 632 959.9 783.7 1089.4 904.9 868.9 727.3 899.7 860.6 701.5 674.8 778.2 674.6 1074.4 936.9 671.5 778.4 462.3 462.3 462.3 1138.9 1138.9 478.2 619.7 502.4 510.5 594.7 542 557.1 557.3 668.8 404.2 472.7 607.3 361.3 1013.7 706.2 563.9 588.9 523.6 530.4 539.2 431.6 675.4 571.4 826.4 647.8 579.4 545.8 398.6 442 730.1 585.3 339.3] >> endobj 37 0 obj << /Rect[110.86 591.54 117.84 599.81] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(section.1) >> >> endobj 38 0 obj << /Rect[128.64 591.54 135.62 599.81] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(section.3) >> >> endobj 39 0 obj << /Rect[274.52 591.54 281.5 600.33] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(section.4) >> >> endobj 40 0 obj << /Rect[295.62 591.54 302.6 599.81] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(section.5) >> >> endobj 41 0 obj << /Rect[510.68 591.54 517.66 599.81] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(section.6) >> >> endobj 42 0 obj << /Rect[131.07 579.58 138.05 587.86] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(section.5) >> >> endobj 43 0 obj << /Rect[185.48 579.58 192.46 588.37] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(section.7) >> >> endobj 44 0 obj << /Rect[313.36 579.58 320.34 587.86] /Type/Annot /Subtype/Link /Border[0 0 0] /C[1 0 0] /A<< /S/GoTo /D(section.1) >> >> endobj 45 0 obj [5 0 R/XYZ 60.04 564.15 null] endobj 48 0 obj << /Encoding 20 0 R /Type/Font /Subtype/Type1 /Name/F6 /FontDescriptor 47 0 R /BaseFont/GKFZJI+LMRoman12-Bold /FirstChar 0 /LastChar 255 /Widths[562.5 562.5 562.5 562.5 562.5 562.5 849.5 562.5 562.5 562.5 312.5 500 562.5 312.5 437 437 551 551 551 625 625 562.5 1125 0 439 312.5 343.8 656.3 625 625 937.5 937.5 562.5 342.6 462.5 937.5 562.5 937.5 875 312.5 437.5 437.5 562.5 875 312.5 375 312.5 562.5 562.5 562.5 562.5 562.5 562.5 562.5 562.5 562.5 562.5 562.5 312.5 312.5 894.4 875 894.4 531.3 875 849.5 799.8 812.5 862.3 738.4 707.2 884.2 879.6 419 581 880.7 675.9 1067.2 879.6 844.9 768.5 844.9 839.2 625 782.4 864.6 849.5 1162 849.5 849.5 687.5 312.5 575 312.5 555.6 849.5 312.5 546.9 625 500 625 513.3 343.8 562.5 625 312.5 343.8 593.8 312.5 937.5 625 562.5 625 593.8 459.5 443.7 437.5 625 593.8 812.5 593.8 593.8 500 575 319.4 575 555.6 187.5 849.5 849.5 812.5 812.5 862.3 738.4 738.4 884.2 675.9 675.9 675.9 879.6 879.6 879.6 844.9 839.2 839.2 625 625 625 782.4 782.4 864.6 864.6 849.5 687.5 687.5 687.5 958.1 419 625 678.5 546.9 546.9 500 500 625 513.3 513.3 562.5 312.5 312.5 378.1 625 625 578 562.5 459.5 459.5 443.7 443.7 443.7 437.5 437.5 625 625 593.8 500 500 500 625 342.6 531.3 849.5 849.5 849.5 849.5 849.5 849.5 849.5 1018.5 812.5 738.4 738.4 738.4 738.4 419 419 419 419 862.3 879.6 844.9 844.9 844.9 844.9 844.9 1143.5 875 864.6 864.6 864.6 864.6 849.5 768.5 1250 546.9 546.9 546.9 546.9 546.9 546.9 812.5 500 513.3 513.3 513.3 513.3 312.5 312.5 312.5 312.5 562.5 625 562.5 562.5 562.5 562.5 562.5 875 562.5 625 625 625 625 593.8 625 574.1] >> endobj 49 0 obj << /Type/Encoding /Differences[0/Gamma/Delta/Theta/Lambda/Xi/Pi/Sigma/Upsilon/Phi/Psi/Omega/ff/fi/fl/ffi/ffl/dotlessi/dotlessj/grave/acute/caron/breve/macron/ring/cedilla/germandbls/ae/oe/oslash/AE/OE/Oslash/space/exclam/quotedblright/numbersign/dollar/percent/ampersand/quoteright/parenleft/parenright/asterisk/plus/comma/hyphen/period/slash/zero/one/two/three/four/five/six/seven/eight/nine/colon/semicolon/exclamdown/equal/questiondown/question/at/A/B/C/D/E/F/G/H/I/J/K/L/M/N/O/P/Q/R/S/T/U/V/W/X/Y/Z/bracketleft/quotedblleft/bracketright/circumflex/dotaccent/quoteleft/a/b/c/d/e/f/g/h/i/j/k/l/m/n/o/p/q/r/s/t/u/v/w/x/y/z/endash/emdash/hungarumlaut/tilde/dieresis/Abreve/Aogonek/Cacute/Ccaron/Dcaron/Ecaron/Eogonek/Gbreve/Lacute/Lcaron/Lslash/Nacute/Ncaron/Eng/Ohungarumlaut/Racute/Rcaron/Sacute/Scaron/Scedilla/Tcaron/Tcedilla/Uhungarumlaut/Uring/Ydieresis/Zacute/Zcaron/Zdotaccent/IJ/Idotaccent/dcroat/section/abreve/aogonek/cacute/ccaron/dcaron/ecaron/eogonek/gbreve/lacute/lcaron/lslash/nacute/ncaron/eng/ohungarumlaut/racute/rcaron/sacute/scaron/scedilla/tcaron/tcedilla/uhungarumlaut/uring/ydieresis/zacute/zcaron/zdotaccent/ij/periodcentered/quotedbl/sterling/Agrave/Aacute/Acircumflex/Atilde/Adieresis/Aring/backslash/Ccedilla/Egrave/Eacute/Ecircumflex/Edieresis/Igrave/Iacute/Icircumflex/Idieresis/Eth/Ntilde/Ograve/Oacute/Ocircumflex/Otilde/Odieresis/currency/perthousand/Ugrave/Uacute/Ucircumflex/Udieresis/Yacute/Thorn/Germandbls/agrave/aacute/acircumflex/atilde/adieresis/aring/underscore/ccedilla/egrave/eacute/ecircumflex/edieresis/igrave/iacute/icircumflex/idieresis/eth/ntilde/ograve/oacute/ocircumflex/otilde/odieresis/anglearc/diameter/ugrave/uacute/ucircumflex/udieresis/yacute/thorn/quotedblbase] >> endobj 50 0 obj << /Encoding 49 0 R /Type/Font /Subtype/Type1 /Name/F7 /FontDescriptor 28 0 R /BaseFont/LASLDJ+LMRoman10-Regular /FirstChar 0 /LastChar 255 /Widths[625 833.3 777.8 694.5 666.7 750 722.2 777.8 722.2 777.8 722.2 583.3 555.5 555.5 833.3 833.3 277.8 305.5 500 500 500 500 500 750 444.5 500 722.2 777.8 500 902.8 1013.9 777.8 333.3 277.8 472 833.3 500 833.3 777.8 277.8 388.9 388.9 500 777.8 277.8 333.3 277.8 500 500 500 500 500 500 500 500 500 500 500 277.8 277.8 277.8 777.8 472.2 472.2 777.8 750 708.3 722.2 763.9 680.5 652.8 784.7 750 361.1 513.9 777.8 625 916.7 750 777.8 680.5 777.8 736.1 555.5 722.2 750 750 1027.8 750 750 611.1 277.8 472 277.8 500 277.8 277.8 500 555.5 444.5 555.5 444.5 305.5 500 555.5 277.8 305.5 527.8 277.8 833.3 555.5 500 555.5 527.8 391.7 394.5 388.9 555.5 527.8 722.2 527.8 527.8 444.5 500 1000 500 500 500 750 750 722.2 722.2 763.9 680.5 680.5 784.7 625 625 625 750 750 750 777.8 736.1 736.1 555.5 555.5 555.5 722.2 722.2 750 750 750 611.1 611.1 611.1 838.9 361.1 555.5 484 500 500 444.5 444.5 555.5 444.5 444.5 500 277.8 277.8 336.1 555.5 555.5 506.3 500 391.7 391.7 394.5 394.5 394.5 388.9 388.9 555.5 555.5 527.8 444.5 444.5 444.5 555.5 777.8 373.8 750 750 750 750 750 750 750 500 722.2 680.5 680.5 680.5 680.5 361.1 361.1 361.1 361.1 763.9 750 777.8 777.8 777.8 777.8 777.8 777.8 1140 750 750 750 750 750 680.5 1111.1 500 500 500 500 500 500 750 444.5 444.5 444.5 444.5 444.5 277.8 277.8 277.8 277.8 500 555.5 500 500 500 500 500 777.8 777.8 555.5 555.5 555.5 555.5 527.8 555.5 472] >> endobj 51 0 obj << /Type/Encoding /Differences[0/minus/periodcentered/multiply/asteriskmath/divide/diamondmath/plusminus/minusplus/circleplus/circleminus/circlemultiply/circledivide/circledot/circlecopyrt/openbullet/bullet/equivasymptotic/equivalence/reflexsubset/reflexsuperset/lessequal/greaterequal/precedesequal/followsequal/similar/approxequal/propersubset/propersuperset/lessmuch/greatermuch/precedes/follows/arrowleft/arrowright/arrowup/arrowdown/arrowboth/arrownortheast/arrowsoutheast/similarequal/arrowdblleft/arrowdblright/arrowdblup/arrowdbldown/arrowdblboth/arrownorthwest/arrowsouthwest/proportional/prime/infinity/element/owner/triangle/triangleinv/negationslash/mapsto/universal/existential/logicalnot/emptyset/Rfractur/Ifractur/latticetop/perpendicular/aleph/A/B/C/D/E/F/G/H/I/J/K/L/M/N/O/P/Q/R/S/T/U/V/W/X/Y/Z/union/intersection/unionmulti/logicaland/logicalor/turnstileleft/turnstileright/floorleft/floorright/ceilingleft/ceilingright/braceleft/braceright/angbracketleft/angbracketright/bar/bardbl/arrowbothv/arrowdblbothv/backslash/wreathproduct/radical/coproduct/nabla/integral/unionsq/intersectionsq/subsetsqequal/supersetsqequal/section/dagger/daggerdbl/paragraph/club/diamond/heart/spade 172/lessorequalslant/greaterorequalslant] >> endobj 54 0 obj << /Encoding 51 0 R /Type/Font /Subtype/Type1 /Name/F8 /FontDescriptor 53 0 R /BaseFont/VPHAYS+LMMathSymbols10-Italic /FirstChar 0 /LastChar 173 /Widths[777.8 277.8 777.8 500 777.8 500 777.8 777.8 777.8 777.8 777.8 777.8 777.8 1000 500 500 777.8 777.8 777.8 777.8 777.8 777.8 777.8 777.8 777.8 777.8 777.8 777.8 1000 1000 777.8 777.8 1000 1000 500 500 1000 1000 1000 777.8 1000 1000 611.1 611.1 1000 1000 1000 777.8 275 1000 666.7 666.7 888.9 888.9 0 0 555.6 555.6 666.7 500 722.2 722.2 777.8 777.8 611.1 798.5 656.8 526.5 771.4 527.8 718.7 594.9 844.5 544.5 677.8 762 689.7 1200.9 820.5 796.1 695.6 816.7 847.5 605.6 544.6 625.8 612.8 987.8 713.3 668.3 724.7 666.7 666.7 666.7 666.7 666.7 611.1 611.1 444.4 444.4 444.4 444.4 500 500 388.9 388.9 277.8 500 500 611.1 500 277.8 833.3 750 833.3 416.7 666.7 666.7 777.8 777.8 444.4 444.4 444.4 611.1 777.8 777.8 777.8 777.8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 777.8 777.8] >> endobj 57 0 obj << /Encoding 49 0 R /Type/Font /Subtype/Type1 /Name/F9 /FontDescriptor 56 0 R /BaseFont/RJSLUX+LMRoman7-Regular /FirstChar 0 /LastChar 255 /Widths[706.4 938.5 877 781.7 754 843.3 815.5 877 815.5 877 815.5 677.6 646.9 646.9 970.3 970.3 323.4 354.2 569.4 569.4 569.4 569.4 569.4 843.3 507.9 569.4 815.5 877 569.4 1013.9 1136.9 877 384.9 323.4 538.4 938.5 569.4 938.5 877 323.4 446.4 446.4 569.4 877 323.4 384.9 323.4 569.4 569.4 569.4 569.4 569.4 569.4 569.4 569.4 569.4 569.4 569.4 323.4 323.4 323.4 877 538.7 538.7 877 843.3 798.6 815.5 860.1 767.9 737.1 883.9 843.3 412.7 583.3 874 706.4 1027.8 843.3 877 767.9 877 829.4 631 815.5 843.3 843.3 1150.8 843.3 843.3 692.4 323.4 538.4 323.4 569.4 323.4 323.4 569.4 631 507.9 631 507.9 354.2 569.4 631 323.4 354.2 600.2 323.4 938.5 631 569.4 631 600.2 446.4 452.6 446.4 631 600.2 815.5 600.2 600.2 507.9 569.4 1138.9 569.4 569.4 569.4 843.3 843.3 815.5 815.5 860.1 767.9 767.9 883.9 706.4 706.4 706.4 843.3 843.3 843.3 877 829.4 829.4 631 631 631 815.5 815.5 843.3 843.3 843.3 692.4 692.4 692.4 954.8 412.7 631 560.5 569.4 569.4 507.9 507.9 631 507.9 507.9 569.4 323.4 323.4 388 631 631 573 569.4 446.4 446.4 452.6 452.6 452.6 446.4 446.4 631 631 600.2 507.9 507.9 507.9 645.2 877 437.4 843.3 843.3 843.3 843.3 843.3 843.3 843.3 585.3 815.5 767.9 767.9 767.9 767.9 412.7 412.7 412.7 412.7 860.1 843.3 877 877 877 877 877 877 1256 843.3 843.3 843.3 843.3 843.3 767.9 1261.9 569.4 569.4 569.4 569.4 569.4 569.4 843.3 507.9 507.9 507.9 507.9 507.9 323.4 323.4 323.4 323.4 569.4 631 569.4 569.4 569.4 569.4 569.4 877 877 631 631 631 631 600.2 631 538.4] >> endobj 60 0 obj << /Encoding 20 0 R /Type/Font /Subtype/Type1 /Name/F10 /FontDescriptor 59 0 R /BaseFont/URGPFF+LMRoman10-Italic /FirstChar 0 /LastChar 255 /Widths[511.1 511.1 511.1 511.1 511.1 511.1 831.3 511.1 511.1 511.1 306.7 460 511.1 306.7 358.1 358.1 489.6 489.6 489.6 562.2 562.2 511.1 1022.2 0 408.5 306.7 332.2 613.3 562.2 587.8 881.7 894.4 511.1 306.7 400.7 817.8 500 817.8 766.7 306.7 408.9 408.9 511.1 766.7 306.7 357.8 306.7 511.1 511.1 511.1 511.1 511.1 511.1 511.1 511.1 511.1 511.1 511.1 306.7 306.7 777.8 766.7 777.8 511.1 766.7 743.4 703.9 715.6 755 678.3 652.8 773.6 743.4 385.5 525 768.9 627.2 896.7 743.4 766.7 678.3 766.7 729.4 562.2 715.6 743.4 743.4 998.9 743.4 743.4 613.3 306.7 500 306.7 555.5 743.4 306.7 511.1 460 460 511.1 460 306.7 460 511.1 306.7 332.2 460 255.5 817.8 562.2 511.1 511.1 460 421.7 408.9 332.2 536.7 460 664.4 463.9 485.5 408.9 500 277.8 500 555.5 178.9 743.4 743.4 715.6 715.6 755 678.3 678.3 773.6 627.2 627.2 627.2 743.4 743.4 743.4 766.7 729.4 729.4 562.2 562.2 562.2 715.6 715.6 743.4 743.4 743.4 613.3 613.3 613.3 872 385.5 511.1 490 511.1 511.1 460 460 511.1 460 460 460 255.5 255.5 319.5 562.2 562.2 497.9 511.1 421.7 421.7 408.9 408.9 408.9 332.2 332.2 536.7 536.7 485.5 408.9 408.9 408.9 582.7 306.7 511.1 769.1 743.4 743.4 743.4 743.4 743.4 743.4 882.8 715.6 678.3 678.3 678.3 678.3 385.5 385.5 385.5 385.5 755 743.4 766.7 766.7 766.7 766.7 766.7 985 766.7 743.4 743.4 743.4 743.4 743.4 678.3 1124.4 511.1 511.1 511.1 511.1 511.1 511.1 715.6 460 460 460 460 460 306.7 306.7 306.7 306.7 511.1 562.2 511.1 511.1 511.1 511.1 511.1 715.6 511.1 536.7 536.7 536.7 536.7 485.5 460 536.7] >> endobj 61 0 obj << /Encoding 49 0 R /Type/Font /Subtype/Type1 /Name/F11 /FontDescriptor 59 0 R /BaseFont/URGPFF+LMRoman10-Italic /FirstChar 0 /LastChar 255 /Widths[627.2 817.8 766.7 692.2 664.4 743.4 715.6 766.7 715.6 766.7 715.6 613.3 562.2 587.8 881.7 894.4 306.7 332.2 511.1 511.1 511.1 511.1 511.1 831.3 460 536.7 715.6 715.6 511.1 882.8 985 766.7 357.8 306.7 489.6 817.8 500 817.8 766.7 306.7 408.9 408.9 511.1 766.7 306.7 357.8 306.7 511.1 511.1 511.1 511.1 511.1 511.1 511.1 511.1 511.1 511.1 511.1 306.7 306.7 306.7 766.7 511.1 511.1 766.7 743.4 703.9 715.6 755 678.3 652.8 773.6 743.4 385.5 525 768.9 627.2 896.7 743.4 766.7 678.3 766.7 729.4 562.2 715.6 743.4 743.4 998.9 743.4 743.4 613.3 306.7 489.6 306.7 511.1 306.7 306.7 511.1 460 460 511.1 460 306.7 460 511.1 306.7 332.2 460 255.5 817.8 562.2 511.1 511.1 460 421.7 408.9 332.2 536.7 460 664.4 463.9 485.5 408.9 511.1 1022.2 511.1 511.1 511.1 743.4 743.4 715.6 715.6 755 678.3 678.3 773.6 627.2 627.2 627.2 743.4 743.4 743.4 766.7 729.4 729.4 562.2 562.2 562.2 715.6 715.6 743.4 743.4 743.4 613.3 613.3 613.3 872 385.5 511.1 490 511.1 511.1 460 460 511.1 460 460 460 255.5 255.5 319.5 562.2 562.2 497.9 511.1 421.7 421.7 408.9 408.9 408.9 332.2 332.2 536.7 536.7 485.5 408.9 408.9 408.9 582.7 766.7 400.7 769.1 743.4 743.4 743.4 743.4 743.4 743.4 500 715.6 678.3 678.3 678.3 678.3 385.5 385.5 385.5 385.5 755 743.4 766.7 766.7 766.7 766.7 766.7 766.7 1083 743.4 743.4 743.4 743.4 743.4 678.3 1124.4 511.1 511.1 511.1 511.1 511.1 511.1 743.4 460 460 460 460 460 306.7 306.7 306.7 306.7 511.1 562.2 511.1 511.1 511.1 511.1 511.1 766.7 766.7 536.7 536.7 536.7 536.7 485.5 460 489.6] >> endobj 64 0 obj << /Encoding 20 0 R /Type/Font /Subtype/Type1 /Name/F12 /FontDescriptor 63 0 R /BaseFont/ARUURT+LMRoman10-CapsRegular /FirstChar 0 /LastChar 255 /Widths[552.8 552.8 552.8 552.8 552.8 552.8 813.9 552.8 552.8 552.8 319.4 494.4 552.8 319.4 408.3 408.3 522.8 522.8 522.8 611.1 611.1 552.8 1105.5 0 437.5 302.2 424.5 0 0 0 0 0 552.8 319.4 415.4 902.8 552.8 902.8 844.4 319.4 436.1 436.1 552.8 844.4 319.4 377.8 319.4 552.8 552.8 552.8 552.8 552.8 552.8 552.8 552.8 552.8 552.8 552.8 319.4 319.4 844.4 844.4 844.4 523.6 844.4 813.9 770.8 786.1 829.2 741.7 712.5 851.4 813.9 405.6 566.7 843 683.3 988.9 813.9 844.4 741.7 844.4 800 611.1 786.1 813.9 813.9 1105.5 813.9 813.9 669.5 319.4 500 319.4 555.5 813.9 319.4 613.3 580 591.1 624.5 557.8 535.6 641.1 613.3 302.2 424.5 635.5 513.3 746.7 613.3 635.5 557.8 635.5 602.2 457.8 591.1 613.3 613.3 835.6 613.3 613.3 502.2 500 277.8 500 555.5 188.9 813.9 813.9 786.1 786.1 829.2 741.7 741.7 851.4 683.3 683.3 683.3 813.9 813.9 813.9 844.4 800 800 611.1 611.1 611.1 786.1 786.1 813.9 813.9 813.9 669.5 669.5 669.5 931.7 405.6 624.5 537.5 613.3 613.3 591.1 591.1 624.5 557.8 557.8 641.1 513.3 513.3 513.3 613.3 613.3 613.3 635.5 602.2 602.2 457.8 457.8 457.8 591.1 591.1 613.3 613.3 613.3 502.2 502.2 502.2 696.4 319.4 523.6 813.9 813.9 813.9 813.9 813.9 813.9 813.9 975 786.1 741.7 741.7 741.7 741.7 405.6 405.6 405.6 405.6 829.2 813.9 844.4 844.4 844.4 844.4 844.4 1091.7 844.4 813.9 813.9 813.9 813.9 813.9 741.7 1222.2 613.3 613.3 613.3 613.3 613.3 613.3 735.5 591.1 557.8 557.8 557.8 557.8 302.2 302.2 302.2 302.2 635.5 613.3 635.5 635.5 635.5 635.5 635.5 824.4 635.5 613.3 613.3 613.3 613.3 613.3 557.8 915.6] >> endobj 67 0 obj << /Encoding 51 0 R /Type/Font /Subtype/Type1 /Name/F13 /FontDescriptor 66 0 R /BaseFont/QYFVZO+LMMathSymbols9-Italic /FirstChar 0 /LastChar 173 /Widths[799.4 285.5 799.4 513.9 799.4 513.9 799.4 799.4 799.4 799.4 799.4 799.4 799.4 1027.8 513.9 513.9 799.4 799.4 799.4 799.4 799.4 799.4 799.4 799.4 799.4 799.4 799.4 799.4 1027.8 1027.8 799.4 799.4 1027.8 1027.8 513.9 513.9 1027.8 1027.8 1027.8 799.4 1027.8 1027.8 628.1 628.1 1027.8 1027.8 1027.8 799.4 279.3 1027.8 685.2 685.2 913.6 913.6 0 0 571 571 685.2 513.9 742.3 742.3 799.4 799.4 628.1 821.1 673.6 542.6 793.8 542.4 736.3 610.9 871 562.7 696.6 782.2 707.9 1229.2 842.1 816.3 716.8 839.3 873.9 622.4 563.2 642.3 632.1 1017.5 732.4 685 742 685.2 685.2 685.2 685.2 685.2 628.1 628.1 456.8 456.8 456.8 456.8 513.9 513.9 399.7 399.7 285.5 513.9 513.9 628.1 513.9 285.5 856.5 770.7 856.5 428.2 685.2 685.2 799.4 799.4 456.8 456.8 456.8 628.1 799.4 799.4 799.4 799.4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 799.4 799.4] >> endobj 70 0 obj << /Encoding 51 0 R /Type/Font /Subtype/Type1 /Name/F14 /FontDescriptor 69 0 R /BaseFont/FXGNXE+LMMathSymbols7-Italic /FirstChar 0 /LastChar 173 /Widths[892.9 339.3 892.9 585.3 892.9 585.3 892.9 892.9 892.9 892.9 892.9 892.9 892.9 1138.9 585.3 585.3 892.9 892.9 892.9 892.9 892.9 892.9 892.9 892.9 892.9 892.9 892.9 892.9 1138.9 1138.9 892.9 892.9 1138.9 1138.9 585.3 585.3 1138.9 1138.9 1138.9 892.9 1138.9 1138.9 708.3 708.3 1138.9 1138.9 1138.9 892.9 329.4 1138.9 769.8 769.8 1015.9 1015.9 0 0 646.8 646.8 769.8 585.3 831.4 831.4 892.9 892.9 708.3 917.6 753.4 620.2 889.5 616.1 818.4 688.5 978.6 646.5 782.1 871.7 791.7 1342.7 935.6 905.8 809.2 935.9 981 702.2 647.8 717.8 719.9 1135.1 818.9 764.4 823.1 769.8 769.8 769.8 769.8 769.8 708.3 708.3 523.8 523.8 523.8 523.8 585.3 585.3 462.3 462.3 339.3 585.3 585.3 708.3 585.3 339.3 938.5 859.1 954.4 493.6 769.8 769.8 892.9 892.9 523.8 523.8 523.8 708.3 892.9 892.9 892.9 892.9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 892.9 892.9] >> endobj 71 0 obj [5 0 R/XYZ 60.04 212.18 null] endobj 74 0 obj << /Encoding 20 0 R /Type/Font /Subtype/Type1 /Name/F15 /FontDescriptor 73 0 R /BaseFont/FQPXBJ+LMRoman10-Bold /FirstChar 0 /LastChar 255 /Widths[575 575 575 575 575 575 869.4 575 575 575 319.5 511.1 575 319.5 444.9 444.9 570.8 570.8 570.8 638.9 638.9 575 1150 0 449.7 319.5 351.4 670.8 638.9 638.9 958.3 958.3 575 350 481.5 958.3 575 958.3 894.4 319.5 447.2 447.2 575 894.4 319.5 383.3 319.5 575 575 575 575 575 575 575 575 575 575 575 319.5 319.5 894.4 894.4 894.4 543 894.4 869.4 818 830.6 881.9 755.5 723.6 904.2 900 436.1 594.4 901.4 691.7 1091.7 900 863.9 786.1 863.9 862.5 638.9 800 884.7 869.4 1188.9 869.4 869.4 702.8 319.5 575 319.5 555.5 869.4 319.5 559 638.9 511.1 638.9 527.1 351.4 575 638.9 319.5 351.4 607 319.5 958.3 638.9 575 638.9 607 473.6 453.6 447.2 638.9 607 830.6 607 607 511.1 575 319.5 575 555.5 191.7 869.4 869.4 830.6 830.6 881.9 755.5 755.5 904.2 691.7 691.7 691.7 900 900 900 863.9 862.5 862.5 638.9 638.9 638.9 800 800 884.7 884.7 869.4 702.8 702.8 702.8 987 436.1 638.9 695 559 559 511.1 511.1 638.9 527.1 527.1 575 319.5 319.5 386.5 638.9 638.9 592.5 575 473.6 473.6 453.6 453.6 453.6 447.2 447.2 638.9 638.9 607 511.1 511.1 511.1 638.9 350 543 869.4 869.4 869.4 869.4 869.4 869.4 869.4 1041.7 830.6 755.5 755.5 755.5 755.5 436.1 436.1 436.1 436.1 881.9 900 863.9 863.9 863.9 863.9 863.9 1169.4 894.4 884.7 884.7 884.7 884.7 869.4 786.1 1277.8 559 559 559 559 559 559 830.6 511.1 527.1 527.1 527.1 527.1 319.5 319.5 319.5 319.5 575 638.9 575 575 575 575 575 894.4 575 638.9 638.9 638.9 638.9 607 638.9 597.2] >> endobj 75 0 obj [5 0 R/XYZ 60.04 173.27 null] endobj 77 0 obj << /Filter[/FlateDecode] /Length 3560 >> stream xk{~8X+K(P4&8tv+m%{{;á$e˾/,g8 ||7{[1p{