| | | |
Offset 59650, 20 lines modified | Offset 59650, 20 lines modified |
59650 | <key>Type</key> | 59650 | <key>Type</key> |
59651 | <value><literal>ObjStm</literal></value> | 59651 | <value><literal>ObjStm</literal></value> |
59652 | <key>N</key> | 59652 | <key>N</key> |
59653 | <value><number>100</number></value> | 59653 | <value><number>100</number></value> |
59654 | <key>First</key> | 59654 | <key>First</key> |
59655 | <value><number>977</number></value> | 59655 | <value><number>977</number></value> |
59656 | <key>Length</key> | 59656 | <key>Length</key> |
59657 | <value><number>2343</number></value> | 59657 | <value><number>2345</number></value> |
59658 | <key>Filter</key> | 59658 | <key>Filter</key> |
59659 | <value><literal>FlateDecode</literal></value> | 59659 | <value><literal>FlateDecode</literal></value> |
59660 | </dict> | 59660 | </dict> |
59661 | </props> | 59661 | </props> |
59662 | <data·size="9321">2602·0·2604·98·458·139·2601·180·2608·318·2610·416·2607·457·2619·566·2611·730·2612·889 2613·1025·2614·1162·2615·1297·2617·1432·2621·1595·462·1636·466·1677·2618·1718·2625·1841·2628·1955 2629·2014·2630·2114·2631·2825·2634·3050·2635·3054·2627·3059·2623·3100·2624·3141·2641·3252·2636·3389 2637·3524·2639·3659·2643·3828·470·3869·2640·3906·2646·4001·2649·4115·2650·4174·2651·4274·2652·4921 2655·5146·2656·5150·2648·5155·2644·5196·2645·5237·2660·5348·2657·5476·2658·5613·2662·5750·474·5791 478·5828·482·5869·2663·5910·2664·5950·2665·5995·2666·6041·2667·6087·2668·6127·2669·6172·2670·6218 2671·6264·2659·6310·2673·6405·2675·6503·2676·6544·2677·6585·2678·6629·2679·6670·2680·6715·2681·6755 2682·6800·2683·6846·2684·6892·2685·6938·2686·6984·2672·7030·2688·7139·2690·7237·2691·7278·2692·7319 2693·7363·2694·7404·2695·7448·486·7494·2687·7535·2698·7644·2700·7742·490·7783·494·7820·2701·7861 2702·7902·2703·7947·2704·7993·2705·8037·2706·8078·2707·8122·2708·8163·2709·8208·2710·8252·2711·8298 << /Type·/Page /Contents·2603·0·R /Resources·2601·0·R /MediaBox·[0·0·612·792] /Parent·2585·0·R >> << /D·[2602·0·R·/XYZ·71·757.862·null] >> << /D·[2602·0·R·/XYZ·72·322.947·null] >> << /Font·<<·/F41·876·0·R·/F38·925·0·R·/F72·1165·0·R·/F70·926·0·R·/F74·1167·0·R·/F79·1312·0·R·/F103·2605·0·R·>> /ProcSet·[·/PDF·/Text·] >> << /Type·/Page /Contents·2609·0·R /Resources·2607·0·R /MediaBox·[0·0·612·792] /Parent·2585·0·R >> << /D·[2608·0·R·/XYZ·71·757.862·null] >> << /Font·<<·/F41·876·0·R·/F38·925·0·R·/F72·1165·0·R·/F70·926·0·R·/F74·1167·0·R·>> /ProcSet·[·/PDF·/Text·] >> << /Type·/Page /Contents·2620·0·R /Resources·2618·0·R /MediaBox·[0·0·612·792] /Parent·2622·0·R /Annots·[·2611·0·R·2612·0·R·2613·0·R·2614·0·R·2615·0·R·2617·0·R·] >> << /Type·/Annot /Border[0·0·0]/H/I/C[0·1·1] /Rect·[111.029·409.307·230.182·420.206] /Subtype/Link/A<</Type/Action/S/URI/URI(https://www.why3.org/stdlib/)>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[226.68·246.318·273.504·257.217] /A·<<·/S·/GoTo·/D·(section.9.2)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[259.058·246.318·273.504·257.217] /A·<<·/S·/GoTo·/D·(section.9.2)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[418.152·200.045·450.72·210.944] /A·<<·/S·/GoTo·/D·(figure.6.1)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[436.274·200.045·450.72·210.944] /A·<<·/S·/GoTo·/D·(figure.6.1)·>> >> << /Type·/Annot /Border[0·0·0]/H/I/C[0·1·1] /Rect·[326.874·86.471·477.38·97.37] /Subtype/Link/A<</Type/Action/S/URI/URI(https://www.why3.org/stdlib/int.html)>> >> << /D·[2619·0·R·/XYZ·71·757.862·null] >> << /D·[2619·0·R·/XYZ·72·469.143·null] >> << /D·[2619·0·R·/XYZ·72·239.355·null] >> << /Font·<<·/F41·876·0·R·/F38·925·0·R·/F72·1165·0·R·/F70·926·0·R·/F73·1188·0·R·/F80·1313·0·R·>> /ProcSet·[·/PDF·/Text·] >> << /Type·/Page /Contents·2626·0·R /Resources·2624·0·R /MediaBox·[0·0·612·792] /Parent·2622·0·R /Group·2628·0·R >> << /Type·/Group /S·/Transparency /I·true /CS·/DeviceRGB >> << /Producer·(cairo·1.18.4·\(https://cairographics.org\)) /CreationDate·(D:20250603030856-12'00) >> << /Type·/Font /Subtype·/TrueType /BaseFont·/HHRMUP+DejaVuSerif /FirstChar·32 /LastChar·121 /FontDescriptor·2631·0·R /Encoding·/WinAnsiEncoding /Widths·[·0·0·0·0·0·0·0·0·[·...·truncated·by·diffoscope;·len:·2698,·SHA:·927450b1e5ec2590d10483f3683fb7b530db4617fd1c7979675a66e5dbf5c959·...·]'00) >> << /Type·/Font /Subtype·/TrueType /BaseFont·/UJTOHX+DejaVuSerif /FirstChar·32 /LastChar·121 /FontDescriptor·2652·0·R /Encoding·/WinAnsiEncoding /Widths·[·0·0·0·0·0·0·0·0·0·0·0·0·0·0·317.871094·0·0·0·0·0·0·0·0·0·0·0·0·0·0·0·0·0·0·722.167969·0·0·0·729.980469·0·0·0·395.019531·0·0·664.0625·1023.925781·875·819.824219·672.851562·0·0·685.058594·666.992188·0·0·0·0·0·0·0·0·0·0·0·0·596.191406·0·560.058594·640.136719·591.796875·370.117188·640.136719·644.042969·319.824219·0·0·319.824219·948.242188·644.042969·602.050781·640.136719·640.136719·478.027344·513.183594·401.855469·644.042969·564.941406·855.957031·563.964844·564.941406] /ToUnicode·2653·0·R >> << /Type·/FontDescriptor /FontName·/UJTOHX+DejaVuSerif /FontFamily·(DejaVu·Serif) /Flags·32 /FontBBox·[·-769·-346·2105·1109] /ItalicAngle·0 /Ascent·928 /Descent·-235 /CapHeight·1109 /StemV·80 /StemH·80 /FontFile2·2654·0·R >> 373 7493 << /D·[2646·0·R·/XYZ·71·757.862·null] >> << /D·[2646·0·R·/XYZ·72·697.776·null] >> << /Font·<<·/F41·876·0·R·/F38·925·0·R·/F70·926·0·R·>> /XObject·<<·/Im11·2638·0·R·>> /ProcSet·[·/PDF·/Text·] >> << /Type·/Page /Contents·2661·0·R /Resources·2659·0·R /MediaBox·[0·0·612·792] /Parent·2622·0·R /Annots·[·2657·0·R·2658·0·R·] >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[139.277·438.874·193.778·449.773] /A·<<·/S·/GoTo·/D·(section.5.2)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[197.214·438.874·241.254·449.773] /A·<<·/S·/GoTo·/D·(section.5.3)·>> >> << /D·[2660·0·R·/XYZ·71·757.862·null] >> << /D·[2660·0·R·/XYZ·72·720·null] >> << /D·[2660·0·R·/XYZ·72·418.883·null] >> << /D·[2660·0·R·/XYZ·72·364.049·null] >> << /D·[2660·0·R·/XYZ·72·298.01·null] >> << /D·[2660·0·R·/XYZ·77.978·289.641·null] >> << /D·[2660·0·R·/XYZ·194.376·277.686·null] >> << /D·[2660·0·R·/XYZ·389.075·265.731·null] >> << /D·[2660·0·R·/XYZ·72·184.39·null] >> << /D·[2660·0·R·/XYZ·77.978·176.021·null] >> << /D·[2660·0·R·/XYZ·441.389·164.066·null] >> << /D·[2660·0·R·/XYZ·251.526·152.111·null] >> << /D·[2660·0·R·/XYZ·274.141·140.155·null] >> << /Font·<<·/F41·876·0·R·/F38·925·0·R·/F74·1167·0·R·/F70·926·0·R·>> /ProcSet·[·/PDF·/Text·] >> << /Type·/Page /Contents·2674·0·R /Resources·2672·0·R /MediaBox·[0·0·612·792] /Parent·2622·0·R >> << /D·[2673·0·R·/XYZ·71·757.862·null] >> << /D·[2673·0·R·/XYZ·72·700.018·null] >> << /D·[2673·0·R·/XYZ·77.978·691.65·null] >> << /D·[2673·0·R·/XYZ·72·619.872·null] >> << /D·[2673·0·R·/XYZ·77.978·611.504·null] >> << /D·[2673·0·R·/XYZ·72·456.04·null] >> << /D·[2673·0·R·/XYZ·77.978·447.672·null] >> << /D·[2673·0·R·/XYZ·435.436·292.254·null] >> << /D·[2673·0·R·/XYZ·241.414·280.299·null] >> << /D·[2673·0·R·/XYZ·204.852·232.479·null] >> << /D·[2673·0·R·/XYZ·335.212·220.523·null] >> << /D·[2673·0·R·/XYZ·314.988·196.613·null] >> << /Font·<<·/F41·876·0·R·/F70·926·0·R·/F38·925·0·R·/F74·1167·0·R·/F81·1339·0·R·>> /ProcSet·[·/PDF·/Text·] >> << /Type·/Page /Contents·2689·0·R /Resources·2687·0·R /MediaBox·[0·0·612·792] /Parent·2696·0·R >> << /D·[2688·0·R·/XYZ·71·757.862·null] >> << /D·[2688·0·R·/XYZ·72·700.018·null] >> << /D·[2688·0·R·/XYZ·77.978·691.65·null] >> << /D·[2688·0·R·/XYZ·72·554.119·null] >> << /D·[2688·0·R·/XYZ·77.978·545.75·null] >> << /D·[2688·0·R·/XYZ·363.058·330.557·null] >> << /D·[2688·0·R·/XYZ·72·295.101·null] >> << /Font·<<·/F41·876·0·R·/F70·926·0·R·/F38·925·0·R·/F74·1167·0·R·/F77·1260·0·R·>> /ProcSet·[·/PDF·/Text·] >> << /Type·/Page /Contents·2699·0·R /Resources·2697·0·R /MediaBox·[0·0·612·792] /Parent·2696·0·R >> << /D·[2698·0·R·/XYZ·71·757.862·null] >> << /D·[2698·0·R·/XYZ·72·720·null] >> << /D·[2698·0·R·/XYZ·72·674.341·null] >> << /D·[2698·0·R·/XYZ·72·590.379·null] >> << /D·[2698·0·R·/XYZ·77.978·582.011·null] >> << /D·[2698·0·R·/XYZ·194.376·570.056·null] >> << /D·[2698·0·R·/XYZ·504.985·558.1·null] >> << /D·[2698·0·R·/XYZ·72·476.759·null] >> << /D·[2698·0·R·/XYZ·77.978·468.39·null] >> << /D·[2698·0·R·/XYZ·72·420.523·null] >> << /D·[2698·0·R·/XYZ·77.978·412.155·null] >> << /D·[2698·0·R·/XYZ·672.262·400.2·null] >> << /D·[2698·0·R·/XYZ·274.141·388.245·null] >> << /D·[2698·0·R·/XYZ·309.265·376.289·null] >> </data> | 59662 | <data·size="9321">2602·0·2604·98·458·139·2601·180·2608·318·2610·416·2607·457·2619·566·2611·730·2612·889 2613·1025·2614·1162·2615·1297·2617·1432·2621·1595·462·1636·466·1677·2618·1718·2625·1841·2628·1955 2629·2014·2630·2114·2631·2825·2634·3050·2635·3054·2627·3059·2623·3100·2624·3141·2641·3252·2636·3389 2637·3524·2639·3659·2643·3828·470·3869·2640·3906·2646·4001·2649·4115·2650·4174·2651·4274·2652·4921 2655·5146·2656·5150·2648·5155·2644·5196·2645·5237·2660·5348·2657·5476·2658·5613·2662·5750·474·5791 478·5828·482·5869·2663·5910·2664·5950·2665·5995·2666·6041·2667·6087·2668·6127·2669·6172·2670·6218 2671·6264·2659·6310·2673·6405·2675·6503·2676·6544·2677·6585·2678·6629·2679·6670·2680·6715·2681·6755 2682·6800·2683·6846·2684·6892·2685·6938·2686·6984·2672·7030·2688·7139·2690·7237·2691·7278·2692·7319 2693·7363·2694·7404·2695·7448·486·7494·2687·7535·2698·7644·2700·7742·490·7783·494·7820·2701·7861 2702·7902·2703·7947·2704·7993·2705·8037·2706·8078·2707·8122·2708·8163·2709·8208·2710·8252·2711·8298 << /Type·/Page /Contents·2603·0·R /Resources·2601·0·R /MediaBox·[0·0·612·792] /Parent·2585·0·R >> << /D·[2602·0·R·/XYZ·71·757.862·null] >> << /D·[2602·0·R·/XYZ·72·322.947·null] >> << /Font·<<·/F41·876·0·R·/F38·925·0·R·/F72·1165·0·R·/F70·926·0·R·/F74·1167·0·R·/F79·1312·0·R·/F103·2605·0·R·>> /ProcSet·[·/PDF·/Text·] >> << /Type·/Page /Contents·2609·0·R /Resources·2607·0·R /MediaBox·[0·0·612·792] /Parent·2585·0·R >> << /D·[2608·0·R·/XYZ·71·757.862·null] >> << /Font·<<·/F41·876·0·R·/F38·925·0·R·/F72·1165·0·R·/F70·926·0·R·/F74·1167·0·R·>> /ProcSet·[·/PDF·/Text·] >> << /Type·/Page /Contents·2620·0·R /Resources·2618·0·R /MediaBox·[0·0·612·792] /Parent·2622·0·R /Annots·[·2611·0·R·2612·0·R·2613·0·R·2614·0·R·2615·0·R·2617·0·R·] >> << /Type·/Annot /Border[0·0·0]/H/I/C[0·1·1] /Rect·[111.029·409.307·230.182·420.206] /Subtype/Link/A<</Type/Action/S/URI/URI(https://www.why3.org/stdlib/)>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[226.68·246.318·273.504·257.217] /A·<<·/S·/GoTo·/D·(section.9.2)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[259.058·246.318·273.504·257.217] /A·<<·/S·/GoTo·/D·(section.9.2)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[418.152·200.045·450.72·210.944] /A·<<·/S·/GoTo·/D·(figure.6.1)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[436.274·200.045·450.72·210.944] /A·<<·/S·/GoTo·/D·(figure.6.1)·>> >> << /Type·/Annot /Border[0·0·0]/H/I/C[0·1·1] /Rect·[326.874·86.471·477.38·97.37] /Subtype/Link/A<</Type/Action/S/URI/URI(https://www.why3.org/stdlib/int.html)>> >> << /D·[2619·0·R·/XYZ·71·757.862·null] >> << /D·[2619·0·R·/XYZ·72·469.143·null] >> << /D·[2619·0·R·/XYZ·72·239.355·null] >> << /Font·<<·/F41·876·0·R·/F38·925·0·R·/F72·1165·0·R·/F70·926·0·R·/F73·1188·0·R·/F80·1313·0·R·>> /ProcSet·[·/PDF·/Text·] >> << /Type·/Page /Contents·2626·0·R /Resources·2624·0·R /MediaBox·[0·0·612·792] /Parent·2622·0·R /Group·2628·0·R >> << /Type·/Group /S·/Transparency /I·true /CS·/DeviceRGB >> << /Producer·(cairo·1.18.4·\(https://cairographics.org\)) /CreationDate·(D:20260707115620+14'00) >> << /Type·/Font /Subtype·/TrueType /BaseFont·/HHRMUP+DejaVuSerif /FirstChar·32 /LastChar·121 /FontDescriptor·2631·0·R /Encoding·/WinAnsiEncoding /Widths·[·0·0·0·0·0·0·0·0·[·...·truncated·by·diffoscope;·len:·2698,·SHA:·cb2ed454d14180f70560c45f4a69b5080cbb65fdb1e8a35081c139f7ea17a03d·...·]'00) >> << /Type·/Font /Subtype·/TrueType /BaseFont·/UJTOHX+DejaVuSerif /FirstChar·32 /LastChar·121 /FontDescriptor·2652·0·R /Encoding·/WinAnsiEncoding /Widths·[·0·0·0·0·0·0·0·0·0·0·0·0·0·0·317.871094·0·0·0·0·0·0·0·0·0·0·0·0·0·0·0·0·0·0·722.167969·0·0·0·729.980469·0·0·0·395.019531·0·0·664.0625·1023.925781·875·819.824219·672.851562·0·0·685.058594·666.992188·0·0·0·0·0·0·0·0·0·0·0·0·596.191406·0·560.058594·640.136719·591.796875·370.117188·640.136719·644.042969·319.824219·0·0·319.824219·948.242188·644.042969·602.050781·640.136719·640.136719·478.027344·513.183594·401.855469·644.042969·564.941406·855.957031·563.964844·564.941406] /ToUnicode·2653·0·R >> << /Type·/FontDescriptor /FontName·/UJTOHX+DejaVuSerif /FontFamily·(DejaVu·Serif) /Flags·32 /FontBBox·[·-769·-346·2105·1109] /ItalicAngle·0 /Ascent·928 /Descent·-235 /CapHeight·1109 /StemV·80 /StemH·80 /FontFile2·2654·0·R >> 373 7493 << /D·[2646·0·R·/XYZ·71·757.862·null] >> << /D·[2646·0·R·/XYZ·72·697.776·null] >> << /Font·<<·/F41·876·0·R·/F38·925·0·R·/F70·926·0·R·>> /XObject·<<·/Im11·2638·0·R·>> /ProcSet·[·/PDF·/Text·] >> << /Type·/Page /Contents·2661·0·R /Resources·2659·0·R /MediaBox·[0·0·612·792] /Parent·2622·0·R /Annots·[·2657·0·R·2658·0·R·] >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[139.277·438.874·193.778·449.773] /A·<<·/S·/GoTo·/D·(section.5.2)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[197.214·438.874·241.254·449.773] /A·<<·/S·/GoTo·/D·(section.5.3)·>> >> << /D·[2660·0·R·/XYZ·71·757.862·null] >> << /D·[2660·0·R·/XYZ·72·720·null] >> << /D·[2660·0·R·/XYZ·72·418.883·null] >> << /D·[2660·0·R·/XYZ·72·364.049·null] >> << /D·[2660·0·R·/XYZ·72·298.01·null] >> << /D·[2660·0·R·/XYZ·77.978·289.641·null] >> << /D·[2660·0·R·/XYZ·194.376·277.686·null] >> << /D·[2660·0·R·/XYZ·389.075·265.731·null] >> << /D·[2660·0·R·/XYZ·72·184.39·null] >> << /D·[2660·0·R·/XYZ·77.978·176.021·null] >> << /D·[2660·0·R·/XYZ·441.389·164.066·null] >> << /D·[2660·0·R·/XYZ·251.526·152.111·null] >> << /D·[2660·0·R·/XYZ·274.141·140.155·null] >> << /Font·<<·/F41·876·0·R·/F38·925·0·R·/F74·1167·0·R·/F70·926·0·R·>> /ProcSet·[·/PDF·/Text·] >> << /Type·/Page /Contents·2674·0·R /Resources·2672·0·R /MediaBox·[0·0·612·792] /Parent·2622·0·R >> << /D·[2673·0·R·/XYZ·71·757.862·null] >> << /D·[2673·0·R·/XYZ·72·700.018·null] >> << /D·[2673·0·R·/XYZ·77.978·691.65·null] >> << /D·[2673·0·R·/XYZ·72·619.872·null] >> << /D·[2673·0·R·/XYZ·77.978·611.504·null] >> << /D·[2673·0·R·/XYZ·72·456.04·null] >> << /D·[2673·0·R·/XYZ·77.978·447.672·null] >> << /D·[2673·0·R·/XYZ·435.436·292.254·null] >> << /D·[2673·0·R·/XYZ·241.414·280.299·null] >> << /D·[2673·0·R·/XYZ·204.852·232.479·null] >> << /D·[2673·0·R·/XYZ·335.212·220.523·null] >> << /D·[2673·0·R·/XYZ·314.988·196.613·null] >> << /Font·<<·/F41·876·0·R·/F70·926·0·R·/F38·925·0·R·/F74·1167·0·R·/F81·1339·0·R·>> /ProcSet·[·/PDF·/Text·] >> << /Type·/Page /Contents·2689·0·R /Resources·2687·0·R /MediaBox·[0·0·612·792] /Parent·2696·0·R >> << /D·[2688·0·R·/XYZ·71·757.862·null] >> << /D·[2688·0·R·/XYZ·72·700.018·null] >> << /D·[2688·0·R·/XYZ·77.978·691.65·null] >> << /D·[2688·0·R·/XYZ·72·554.119·null] >> << /D·[2688·0·R·/XYZ·77.978·545.75·null] >> << /D·[2688·0·R·/XYZ·363.058·330.557·null] >> << /D·[2688·0·R·/XYZ·72·295.101·null] >> << /Font·<<·/F41·876·0·R·/F70·926·0·R·/F38·925·0·R·/F74·1167·0·R·/F77·1260·0·R·>> /ProcSet·[·/PDF·/Text·] >> << /Type·/Page /Contents·2699·0·R /Resources·2697·0·R /MediaBox·[0·0·612·792] /Parent·2696·0·R >> << /D·[2698·0·R·/XYZ·71·757.862·null] >> << /D·[2698·0·R·/XYZ·72·720·null] >> << /D·[2698·0·R·/XYZ·72·674.341·null] >> << /D·[2698·0·R·/XYZ·72·590.379·null] >> << /D·[2698·0·R·/XYZ·77.978·582.011·null] >> << /D·[2698·0·R·/XYZ·194.376·570.056·null] >> << /D·[2698·0·R·/XYZ·504.985·558.1·null] >> << /D·[2698·0·R·/XYZ·72·476.759·null] >> << /D·[2698·0·R·/XYZ·77.978·468.39·null] >> << /D·[2698·0·R·/XYZ·72·420.523·null] >> << /D·[2698·0·R·/XYZ·77.978·412.155·null] >> << /D·[2698·0·R·/XYZ·672.262·400.2·null] >> << /D·[2698·0·R·/XYZ·274.141·388.245·null] >> << /D·[2698·0·R·/XYZ·309.265·376.289·null] >> </data> |
59663 | </stream> | 59663 | </stream> |
59664 | </object> | 59664 | </object> |
| |
59665 | <object·id="2607"> | 59665 | <object·id="2607"> |
59666 | <dict·size="2"> | 59666 | <dict·size="2"> |
59667 | <key>Font</key> | 59667 | <key>Font</key> |
59668 | <value><dict·size="5"> | 59668 | <value><dict·size="5"> |
Offset 60213, 15 lines modified | Offset 60213, 15 lines modified |
60213 | </object> | 60213 | </object> |
| |
60214 | <object·id="2629"> | 60214 | <object·id="2629"> |
60215 | <dict·size="2"> | 60215 | <dict·size="2"> |
60216 | <key>Producer</key> | 60216 | <key>Producer</key> |
60217 | <value><string·size="40">cairo·1.18.4·(https://cairographics.org)</string></value> | 60217 | <value><string·size="40">cairo·1.18.4·(https://cairographics.org)</string></value> |
60218 | <key>CreationDate</key> | 60218 | <key>CreationDate</key> |
60219 | <value><string·size="22">D:20250603030856-12'00</string></value> | 60219 | <value><string·size="22">D:20260707115620+14'00</string></value> |
60220 | </dict> | 60220 | </dict> |
60221 | </object> | 60221 | </object> |
| |
60222 | <object·id="2630"> | 60222 | <object·id="2630"> |
60223 | <dict·size="9"> | 60223 | <dict·size="9"> |
60224 | <key>Type</key> | 60224 | <key>Type</key> |
60225 | <value><literal>Font</literal></value> | 60225 | <value><literal>Font</literal></value> |
Offset 60747, 15 lines modified | Offset 60747, 15 lines modified |
60747 | </object> | 60747 | </object> |
| |
60748 | <object·id="2650"> | 60748 | <object·id="2650"> |
60749 | <dict·size="2"> | 60749 | <dict·size="2"> |
60750 | <key>Producer</key> | 60750 | <key>Producer</key> |
60751 | <value><string·size="40">cairo·1.18.4·(https://cairographics.org)</string></value> | 60751 | <value><string·size="40">cairo·1.18.4·(https://cairographics.org)</string></value> |
60752 | <key>CreationDate</key> | 60752 | <key>CreationDate</key> |
60753 | <value><string·size="22">D:20250603030856-12'00</string></value> | 60753 | <value><string·size="22">D:20260707115621+14'00</string></value> |
60754 | </dict> | 60754 | </dict> |
60755 | </object> | 60755 | </object> |
| |
60756 | <object·id="2651"> | 60756 | <object·id="2651"> |
60757 | <dict·size="9"> | 60757 | <dict·size="9"> |
60758 | <key>Type</key> | 60758 | <key>Type</key> |
60759 | <value><literal>Font</literal></value> | 60759 | <value><literal>Font</literal></value> |
Offset 61876, 15 lines modified | Offset 61876, 15 lines modified |
61876 | <value><number>964</number></value> | 61876 | <value><number>964</number></value> |
61877 | <key>Length</key> | 61877 | <key>Length</key> |
61878 | <value><number>2542</number></value> | 61878 | <value><number>2542</number></value> |
61879 | <key>Filter</key> | 61879 | <key>Filter</key> |
61880 | <value><literal>FlateDecode</literal></value> | 61880 | <value><literal>FlateDecode</literal></value> |
61881 | </dict> | 61881 | </dict> |
61882 | </props> | 61882 | </props> |
61883 | <data·size="10155">2712·0·2713·45·2714·86·2715·131·2716·177·2717·218·2697·263·2720·372·2722·470·2723·511 2724·552·2725·596·2726·642·2727·688·2728·734·2729·780·2730·826·2731·867·2732·912·2733·953 2719·998·2735·1093·2737·1191·498·1232·502·1273·506·1314·510·1355·2734·1396·2762·1561·2740·1860 2741·1998·2742·2135·2743·2273·2744·2411·2745·2549·2746·2687·2747·2824·2748·2962·2749·3100·2750·3238 2751·3376·2752·3514·2753·3652·2754·3790·2755·3928·2756·4065·2757·4202·2758·4338·2759·4486·2760·4636 2764·4785·2765·4826·2766·4867·2767·4912·2768·4958·2769·5003·2770·5049·2771·5094·2772·5139·2773·5185 2774·5231·2775·5277·514·5323·2761·5364·2783·5501·2779·5629·2780·5765·2785·5901·2782·5942·2788·6051 2791·6165·2793·6224·2794·6324·2795·6896·2798·7121·2799·7125·2790·7130·2786·7171·2787·7212·2804·7323 2800·7460·2801·7597·2802·7734·2806·7872·518·7913·522·7950·526·7991·530·8032·534·8073·2803·8114 2811·8251·2809·8370·2813·8531·538·8572·2810·8609·2815·8677·2817·8775·2814·8816·2826·8871·2818·9044 << /D·[2698·0·R·/XYZ·241.27·364.334·null] >> << /D·[2698·0·R·/XYZ·72·304.512·null] >> << /D·[2698·0·R·/XYZ·77.978·296.144·null] >> << /D·[2698·0·R·/XYZ·288.308·284.188·null] >> << /D·[2698·0·R·/XYZ·72·212.411·null] >> << /D·[2698·0·R·/XYZ·77.978·204.043·null] >> << /Font·<<·/F41·876·0·R·/F38·925·0·R·/F70·926·0·R·/F74·1167·0·R·/F81·1339·0·R·>> /ProcSet·[·/PDF·/Text·] >> << /Type·/Page /Contents·2721·0·R /Resources·2719·0·R /MediaBox·[0·0·612·792] /Parent·2696·0·R >> << /D·[2720·0·R·/XYZ·71·757.862·null] >> << /D·[2720·0·R·/XYZ·72·700.018·null] >> << /D·[2720·0·R·/XYZ·77.978·691.65·null] >> << /D·[2720·0·R·/XYZ·398.893·643.829·null] >> << /D·[2720·0·R·/XYZ·362.968·607.963·null] >> << /D·[2720·0·R·/XYZ·356.831·584.053·null] >> << /D·[2720·0·R·/XYZ·414.515·500.367·null] >> << /D·[2720·0·R·/XYZ·419.944·476.457·null] >> << /D·[2720·0·R·/XYZ·72·416.634·null] >> << /D·[2720·0·R·/XYZ·77.978·408.266·null] >> << /D·[2720·0·R·/XYZ·72·294.645·null] >> << /D·[2720·0·R·/XYZ·77.978·286.277·null] >> << /Font·<<·/F41·876·0·R·/F70·926·0·R·/F38·925·0·R·/F74·1167·0·R·>> /ProcSet·[·/PDF·/Text·] >> << /Type·/Page /Contents·2736·0·R /Resources·2734·0·R /MediaBox·[0·0·612·792] /Parent·2696·0·R >> << /D·[2735·0·R·/XYZ·71·757.862·null] >> << /D·[2735·0·R·/XYZ·72·686.536·null] >> << /D·[2735·0·R·/XYZ·72·476.614·null] >> << /D·[2735·0·R·/XYZ·72·428.452·null] >> << /D·[2735·0·R·/XYZ·72·337.742·null] >> << /Font·<<·/F41·876·0·R·/F70·926·0·R·/F74·1167·0·R·/F77·1260·0·R·/F38·925·0·R·/F73·1188·0·R·/F31·1278·0·R·/F27·2738·0·R·/F30·2739·0·R·>> /ProcSet·[·/PDF·/Text·] >> << /Type·/Page /Contents·2763·0·R /Resources·2761·0·R /MediaBox·[0·0·612·792] /Parent·2696·0·R /Annots·[·2740·0·R·2741·0·R·2742·0·R·2743·0·R·2744·0·R·2745·0·R·2746·0·R·2747·0·R·2748·0·R·2749·0·R·2750·0·R·2751·0·R·2752·0·R·2753·0·R·2754·0·R·2755·0·R·2756·0·R·2757·0·R·2758·0·R·2759·0·R·2760·0·R·] >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[221.888·446.027·250.381·459.975] /A·<<·/S·/GoTo·/D·(section*.162)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[227.118·410.162·255.611·424.11] /A·<<·/S·/GoTo·/D·(section*.162)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[174.814·398.207·203.307·412.154] /A·<<·/S·/GoTo·/D·(section*.162)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[206.545·398.207·240.318·412.154] /A·<<·/S·/GoTo·/D·(section*.191)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[264.478·398.207·287.596·412.154] /A·<<·/S·/GoTo·/D·(section*.180)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[290.834·398.207·313.952·412.154] /A·<<·/S·/GoTo·/D·(section*.208)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[206.196·386.252·234.69·400.199] /A·<<·/S·/GoTo·/D·(section*.162)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[264.079·386.252·287.197·400.199] /A·<<·/S·/GoTo·/D·(section*.180)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[395.043·386.252·423.536·400.199] /A·<<·/S·/GoTo·/D·(section*.162)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[452.926·386.252·476.044·400.199] /A·<<·/S·/GoTo·/D·(section*.180)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[174.814·362.341·203.307·376.289] /A·<<·/S·/GoTo·/D·(section*.162)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[174.814·350.386·198.127·364.334] /A·<<·/S·/GoTo·/D·(section*.200)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[248.039·338.431·276.533·352.379] /A·<<·/S·/GoTo·/D·(section*.162)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[300.692·338.431·324.453·352.379] /A·<<·/S·/GoTo·/D·(section*.195)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[232.348·314.521·255.661·328.468] /A·<<·/S·/GoTo·/D·(section*.200)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[221.888·290.61·250.381·304.558] /A·<<·/S·/GoTo·/D·(section*.162)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[253.27·278.655·276.582·292.603] /A·<<·/S·/GoTo·/D·(section*.200)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[195.736·266.7·235.018·280.648] /A·<<·/S·/GoTo·/D·(section*.197)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[74.321·206.31·112.936·217.199] /A·<<·/S·/GoTo·/D·(cite.zebibliography:id14)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[409.318·194.345·432.202·205.244] /A·<<·/S·/GoTo·/D·(cite.zebibliography:id15)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[239.761·182.39·268.872·193.289] /A·<<·/S·/GoTo·/D·(cite.zebibliography:id16)·>> >> << /D·[2762·0·R·/XYZ·71·757.862·null] >> << /D·[2762·0·R·/XYZ·72·482.889·null] >> << /D·[2762·0·R·/XYZ·77.978·474.521·null] >> << /D·[2762·0·R·/XYZ·215.118·462.565·null] >> << /D·[2762·0·R·/XYZ·315.023·450.61·null] >> << /D·[2762·0·R·/XYZ·320.253·414.745·null] >> << /D·[2762·0·R·/XYZ·521.648·402.79·null] >> << /D·[2762·0·R·/XYZ·498.46·390.834·null] >> << /D·[2762·0·R·/XYZ·331.058·378.879·null] >> << /D·[2762·0·R·/XYZ·278.943·366.924·null] >> << /D·[2762·0·R·/XYZ·346.869·343.014·null] >> << /D·[2762·0·R·/XYZ·398.579·283.238·null] >> << /D·[2762·0·R·/XYZ·72·259.736·null] >> << /Font·<<·/F41·876·0·R·/F77·1260·0·R·/F38·925·0·R·/F70·926·0·R·/F74·1167·0·R·/F73·1188·0·R·/F72·1165·0·R·>> /ProcSet·[·/PDF·/Text·] >> << /Type·/Page /Contents·2784·0·R /Resources·2782·0·R /MediaBox·[0·0·612·792] /Parent·2696·0·R /Annots·[·2779·0·R·2780·0·R·] >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[312.727·560.865·345.295·571.764] /A·<<·/S·/GoTo·/D·(figure.7.1)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[330.849·560.865·345.295·571.764] /A·<<·/S·/GoTo·/D·(figure.7.1)·>> >> << /D·[2783·0·R·/XYZ·71·757.862·null] >> << /Font·<<·/F41·876·0·R·/F38·925·0·R·/F72·1165·0·R·/F70·926·0·R·/F74·1167·0·R·>> /ProcSet·[·/PDF·/Text·] >> << /Type·/Page /Contents·2789·0·R /Resources·2787·0·R /MediaBox·[0·0·612·792] /Parent·2792·0·R /Group·2791·0·R >> << /Type·/Group /S·/Transparency /I·true /CS·/DeviceRGB >> << /Producer·(cairo·1.18.4·\(https://cairographics.org\)) /CreationDate·(D:20250603030857-12'00) >> << /Type·/Font /Subtype·/TrueType /BaseFont·/BSSWBF+DejaVuSerif /FirstChar·32 /LastChar·121 /FontDescriptor·2795·0·R /Encoding·/WinAnsiEncoding /Widths·[·317.871094·0·0·0·0·0·0·0·0·0·0·837.890625·0·337.890625·0·0·636.230469·636.230469·0·0·0·0·0·0·0·0·0·0·837.890625·837.890625·837.890625·0·0·0·0·0·0·0·0·0·0·0·0·0·664.0625·0·0·0·0·0·0·0·0·0·0·0·0·0·0·390.136719·0·390.136719·0·0·0·596.191406·0·560.058594·640.136719·591.796875·0·0·0·319.824219·0·0·0·948.242188·644.042969·602.050781·0·0·478.027344·0·401.855469·0·564.941406·0·563.964844·564.941406] /ToUnicode·2796·0·R >> << /Type·/FontDescriptor /FontName·/BSSWBF+DejaVuSerif /FontFamily·(DejaVu·Serif) /Flags·32 /FontBBox·[·-769·-346·2105·1109] /ItalicAngle·0 /Ascent·928 /Descent·-235 /CapHeight·1109 /StemV·80 /StemH·80 /FontFile2·2797·0·R >> 337 4930 << /D·[2788·0·R·/XYZ·71·757.862·null] >> << /D·[2788·0·R·/XYZ·72·646.022·null] >> << /Font·<<·/F41·876·0·R·/F38·925·0·R·/F70·926·0·R·>> /XObject·<<·/Im12·2781·0·R·>> /ProcSet·[·/PDF·/Text·] >> << /Type·/Page /Contents·2805·0·R /Resources·2803·0·R /MediaBox·[0·0·612·792] /Parent·2792·0·R /Annots·[·2800·0·R·2801·0·R·2802·0·R·] >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[71.004·368.788·151.452·379.687] /A·<<·/S·/GoTo·/D·(section*.367)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[71.004·298.604·203.756·309.503] /A·<<·/S·/GoTo·/D·(section*.368)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[434.445·194.867·520.472·205.766] /A·<<·/S·/GoTo·/D·(section*.106)·>> >> << /D·[2804·0·R·/XYZ·71·757.862·null] >> << /D·[2804·0·R·/XYZ·72·720·null] >> << /D·[2804·0·R·/XYZ·72·567.944·null] >> << /D·[2804·0·R·/XYZ·72·420.979·null] >> << /D·[2804·0·R·/XYZ·72·349.879·null] >> << /D·[2804·0·R·/XYZ·72·278.613·null] >> << /Font·<<·/F41·876·0·R·/F38·925·0·R·/F77·1260·0·R·/F70·926·0·R·/F73·1188·0·R·/F31·1278·0·R·/F74·1167·0·R·>> /ProcSet·[·/PDF·/Text·] >> << /Type·/Page /Contents·2812·0·R /Resources·2810·0·R /MediaBox·[0·0·612·792] /Parent·2792·0·R /Annots·[·2809·0·R·] >> << /Type·/Annot /Border[0·0·0]/H/I/C[0·1·1] /Rect·[237.23·681.305·365.938·692.204] /Subtype/Link/A<</Type/Action/S/URI/URI(https://coma-ivl.codeberg.page/)>> >> << /D·[2811·0·R·/XYZ·71·757.862·null] >> << /D·[2811·0·R·/XYZ·72·720·null] >> << /Font·<<·/F41·876·0·R·/F38·925·0·R·>> /ProcSet·[·/PDF·/Text·] >> << /Type·/Page /Contents·2816·0·R /Resources·2814·0·R /MediaBox·[0·0·612·792] /Parent·2792·0·R >> << /D·[2815·0·R·/XYZ·71·757.862·null] >> << /Font·<<·/F41·876·0·R·>> /ProcSet·[·/PDF·/Text·] >> << /Type·/Page /Contents·2827·0·R /Resources·2825·0·R /MediaBox·[0·0·612·792] /Parent·2792·0·R /Annots·[·2818·0·R·2819·0·R·2820·0·R·2821·0·R·2822·0·R·2823·0·R·2824·0·R·] >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[218.65·318.818·248.877·329.1] /A·<<·/S·/GoTo·/D·(cite.zebibliography:id19)·>> >> </data> | 61883 | <data·size="10155">2712·0·2713·45·2714·86·2715·131·2716·177·2717·218·2697·263·2720·372·2722·470·2723·511 2724·552·2725·596·2726·642·2727·688·2728·734·2729·780·2730·826·2731·867·2732·912·2733·953 2719·998·2735·1093·2737·1191·498·1232·502·1273·506·1314·510·1355·2734·1396·2762·1561·2740·1860 2741·1998·2742·2135·2743·2273·2744·2411·2745·2549·2746·2687·2747·2824·2748·2962·2749·3100·2750·3238 2751·3376·2752·3514·2753·3652·2754·3790·2755·3928·2756·4065·2757·4202·2758·4338·2759·4486·2760·4636 2764·4785·2765·4826·2766·4867·2767·4912·2768·4958·2769·5003·2770·5049·2771·5094·2772·5139·2773·5185 2774·5231·2775·5277·514·5323·2761·5364·2783·5501·2779·5629·2780·5765·2785·5901·2782·5942·2788·6051 2791·6165·2793·6224·2794·6324·2795·6896·2798·7121·2799·7125·2790·7130·2786·7171·2787·7212·2804·7323 2800·7460·2801·7597·2802·7734·2806·7872·518·7913·522·7950·526·7991·530·8032·534·8073·2803·8114 2811·8251·2809·8370·2813·8531·538·8572·2810·8609·2815·8677·2817·8775·2814·8816·2826·8871·2818·9044 << /D·[2698·0·R·/XYZ·241.27·364.334·null] >> << /D·[2698·0·R·/XYZ·72·304.512·null] >> << /D·[2698·0·R·/XYZ·77.978·296.144·null] >> << /D·[2698·0·R·/XYZ·288.308·284.188·null] >> << /D·[2698·0·R·/XYZ·72·212.411·null] >> << /D·[2698·0·R·/XYZ·77.978·204.043·null] >> << /Font·<<·/F41·876·0·R·/F38·925·0·R·/F70·926·0·R·/F74·1167·0·R·/F81·1339·0·R·>> /ProcSet·[·/PDF·/Text·] >> << /Type·/Page /Contents·2721·0·R /Resources·2719·0·R /MediaBox·[0·0·612·792] /Parent·2696·0·R >> << /D·[2720·0·R·/XYZ·71·757.862·null] >> << /D·[2720·0·R·/XYZ·72·700.018·null] >> << /D·[2720·0·R·/XYZ·77.978·691.65·null] >> << /D·[2720·0·R·/XYZ·398.893·643.829·null] >> << /D·[2720·0·R·/XYZ·362.968·607.963·null] >> << /D·[2720·0·R·/XYZ·356.831·584.053·null] >> << /D·[2720·0·R·/XYZ·414.515·500.367·null] >> << /D·[2720·0·R·/XYZ·419.944·476.457·null] >> << /D·[2720·0·R·/XYZ·72·416.634·null] >> << /D·[2720·0·R·/XYZ·77.978·408.266·null] >> << /D·[2720·0·R·/XYZ·72·294.645·null] >> << /D·[2720·0·R·/XYZ·77.978·286.277·null] >> << /Font·<<·/F41·876·0·R·/F70·926·0·R·/F38·925·0·R·/F74·1167·0·R·>> /ProcSet·[·/PDF·/Text·] >> << /Type·/Page /Contents·2736·0·R /Resources·2734·0·R /MediaBox·[0·0·612·792] /Parent·2696·0·R >> << /D·[2735·0·R·/XYZ·71·757.862·null] >> << /D·[2735·0·R·/XYZ·72·686.536·null] >> << /D·[2735·0·R·/XYZ·72·476.614·null] >> << /D·[2735·0·R·/XYZ·72·428.452·null] >> << /D·[2735·0·R·/XYZ·72·337.742·null] >> << /Font·<<·/F41·876·0·R·/F70·926·0·R·/F74·1167·0·R·/F77·1260·0·R·/F38·925·0·R·/F73·1188·0·R·/F31·1278·0·R·/F27·2738·0·R·/F30·2739·0·R·>> /ProcSet·[·/PDF·/Text·] >> << /Type·/Page /Contents·2763·0·R /Resources·2761·0·R /MediaBox·[0·0·612·792] /Parent·2696·0·R /Annots·[·2740·0·R·2741·0·R·2742·0·R·2743·0·R·2744·0·R·2745·0·R·2746·0·R·2747·0·R·2748·0·R·2749·0·R·2750·0·R·2751·0·R·2752·0·R·2753·0·R·2754·0·R·2755·0·R·2756·0·R·2757·0·R·2758·0·R·2759·0·R·2760·0·R·] >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[221.888·446.027·250.381·459.975] /A·<<·/S·/GoTo·/D·(section*.162)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[227.118·410.162·255.611·424.11] /A·<<·/S·/GoTo·/D·(section*.162)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[174.814·398.207·203.307·412.154] /A·<<·/S·/GoTo·/D·(section*.162)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[206.545·398.207·240.318·412.154] /A·<<·/S·/GoTo·/D·(section*.191)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[264.478·398.207·287.596·412.154] /A·<<·/S·/GoTo·/D·(section*.180)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[290.834·398.207·313.952·412.154] /A·<<·/S·/GoTo·/D·(section*.208)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[206.196·386.252·234.69·400.199] /A·<<·/S·/GoTo·/D·(section*.162)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[264.079·386.252·287.197·400.199] /A·<<·/S·/GoTo·/D·(section*.180)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[395.043·386.252·423.536·400.199] /A·<<·/S·/GoTo·/D·(section*.162)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[452.926·386.252·476.044·400.199] /A·<<·/S·/GoTo·/D·(section*.180)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[174.814·362.341·203.307·376.289] /A·<<·/S·/GoTo·/D·(section*.162)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[174.814·350.386·198.127·364.334] /A·<<·/S·/GoTo·/D·(section*.200)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[248.039·338.431·276.533·352.379] /A·<<·/S·/GoTo·/D·(section*.162)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[300.692·338.431·324.453·352.379] /A·<<·/S·/GoTo·/D·(section*.195)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[232.348·314.521·255.661·328.468] /A·<<·/S·/GoTo·/D·(section*.200)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[221.888·290.61·250.381·304.558] /A·<<·/S·/GoTo·/D·(section*.162)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[253.27·278.655·276.582·292.603] /A·<<·/S·/GoTo·/D·(section*.200)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[195.736·266.7·235.018·280.648] /A·<<·/S·/GoTo·/D·(section*.197)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[74.321·206.31·112.936·217.199] /A·<<·/S·/GoTo·/D·(cite.zebibliography:id14)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[409.318·194.345·432.202·205.244] /A·<<·/S·/GoTo·/D·(cite.zebibliography:id15)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[239.761·182.39·268.872·193.289] /A·<<·/S·/GoTo·/D·(cite.zebibliography:id16)·>> >> << /D·[2762·0·R·/XYZ·71·757.862·null] >> << /D·[2762·0·R·/XYZ·72·482.889·null] >> << /D·[2762·0·R·/XYZ·77.978·474.521·null] >> << /D·[2762·0·R·/XYZ·215.118·462.565·null] >> << /D·[2762·0·R·/XYZ·315.023·450.61·null] >> << /D·[2762·0·R·/XYZ·320.253·414.745·null] >> << /D·[2762·0·R·/XYZ·521.648·402.79·null] >> << /D·[2762·0·R·/XYZ·498.46·390.834·null] >> << /D·[2762·0·R·/XYZ·331.058·378.879·null] >> << /D·[2762·0·R·/XYZ·278.943·366.924·null] >> << /D·[2762·0·R·/XYZ·346.869·343.014·null] >> << /D·[2762·0·R·/XYZ·398.579·283.238·null] >> << /D·[2762·0·R·/XYZ·72·259.736·null] >> << /Font·<<·/F41·876·0·R·/F77·1260·0·R·/F38·925·0·R·/F70·926·0·R·/F74·1167·0·R·/F73·1188·0·R·/F72·1165·0·R·>> /ProcSet·[·/PDF·/Text·] >> << /Type·/Page /Contents·2784·0·R /Resources·2782·0·R /MediaBox·[0·0·612·792] /Parent·2696·0·R /Annots·[·2779·0·R·2780·0·R·] >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[312.727·560.865·345.295·571.764] /A·<<·/S·/GoTo·/D·(figure.7.1)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[330.849·560.865·345.295·571.764] /A·<<·/S·/GoTo·/D·(figure.7.1)·>> >> << /D·[2783·0·R·/XYZ·71·757.862·null] >> << /Font·<<·/F41·876·0·R·/F38·925·0·R·/F72·1165·0·R·/F70·926·0·R·/F74·1167·0·R·>> /ProcSet·[·/PDF·/Text·] >> << /Type·/Page /Contents·2789·0·R /Resources·2787·0·R /MediaBox·[0·0·612·792] /Parent·2792·0·R /Group·2791·0·R >> << /Type·/Group /S·/Transparency /I·true /CS·/DeviceRGB >> << /Producer·(cairo·1.18.4·\(https://cairographics.org\)) /CreationDate·(D:20260707115622+14'00) >> << /Type·/Font /Subtype·/TrueType /BaseFont·/BSSWBF+DejaVuSerif /FirstChar·32 /LastChar·121 /FontDescriptor·2795·0·R /Encoding·/WinAnsiEncoding /Widths·[·317.871094·0·0·0·0·0·0·0·0·0·0·837.890625·0·337.890625·0·0·636.230469·636.230469·0·0·0·0·0·0·0·0·0·0·837.890625·837.890625·837.890625·0·0·0·0·0·0·0·0·0·0·0·0·0·664.0625·0·0·0·0·0·0·0·0·0·0·0·0·0·0·390.136719·0·390.136719·0·0·0·596.191406·0·560.058594·640.136719·591.796875·0·0·0·319.824219·0·0·0·948.242188·644.042969·602.050781·0·0·478.027344·0·401.855469·0·564.941406·0·563.964844·564.941406] /ToUnicode·2796·0·R >> << /Type·/FontDescriptor /FontName·/BSSWBF+DejaVuSerif /FontFamily·(DejaVu·Serif) /Flags·32 /FontBBox·[·-769·-346·2105·1109] /ItalicAngle·0 /Ascent·928 /Descent·-235 /CapHeight·1109 /StemV·80 /StemH·80 /FontFile2·2797·0·R >> 337 4930 << /D·[2788·0·R·/XYZ·71·757.862·null] >> << /D·[2788·0·R·/XYZ·72·646.022·null] >> << /Font·<<·/F41·876·0·R·/F38·925·0·R·/F70·926·0·R·>> /XObject·<<·/Im12·2781·0·R·>> /ProcSet·[·/PDF·/Text·] >> << /Type·/Page /Contents·2805·0·R /Resources·2803·0·R /MediaBox·[0·0·612·792] /Parent·2792·0·R /Annots·[·2800·0·R·2801·0·R·2802·0·R·] >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[71.004·368.788·151.452·379.687] /A·<<·/S·/GoTo·/D·(section*.367)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[71.004·298.604·203.756·309.503] /A·<<·/S·/GoTo·/D·(section*.368)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[434.445·194.867·520.472·205.766] /A·<<·/S·/GoTo·/D·(section*.106)·>> >> << /D·[2804·0·R·/XYZ·71·757.862·null] >> << /D·[2804·0·R·/XYZ·72·720·null] >> << /D·[2804·0·R·/XYZ·72·567.944·null] >> << /D·[2804·0·R·/XYZ·72·420.979·null] >> << /D·[2804·0·R·/XYZ·72·349.879·null] >> << /D·[2804·0·R·/XYZ·72·278.613·null] >> << /Font·<<·/F41·876·0·R·/F38·925·0·R·/F77·1260·0·R·/F70·926·0·R·/F73·1188·0·R·/F31·1278·0·R·/F74·1167·0·R·>> /ProcSet·[·/PDF·/Text·] >> << /Type·/Page /Contents·2812·0·R /Resources·2810·0·R /MediaBox·[0·0·612·792] /Parent·2792·0·R /Annots·[·2809·0·R·] >> << /Type·/Annot /Border[0·0·0]/H/I/C[0·1·1] /Rect·[237.23·681.305·365.938·692.204] /Subtype/Link/A<</Type/Action/S/URI/URI(https://coma-ivl.codeberg.page/)>> >> << /D·[2811·0·R·/XYZ·71·757.862·null] >> << /D·[2811·0·R·/XYZ·72·720·null] >> << /Font·<<·/F41·876·0·R·/F38·925·0·R·>> /ProcSet·[·/PDF·/Text·] >> << /Type·/Page /Contents·2816·0·R /Resources·2814·0·R /MediaBox·[0·0·612·792] /Parent·2792·0·R >> << /D·[2815·0·R·/XYZ·71·757.862·null] >> << /Font·<<·/F41·876·0·R·>> /ProcSet·[·/PDF·/Text·] >> << /Type·/Page /Contents·2827·0·R /Resources·2825·0·R /MediaBox·[0·0·612·792] /Parent·2792·0·R /Annots·[·2818·0·R·2819·0·R·2820·0·R·2821·0·R·2822·0·R·2823·0·R·2824·0·R·] >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[218.65·318.818·248.877·329.1] /A·<<·/S·/GoTo·/D·(cite.zebibliography:id19)·>> >> </data> |
61884 | </stream> | 61884 | </stream> |
61885 | </object> | 61885 | </object> |
| |
61886 | <object·id="2719"> | 61886 | <object·id="2719"> |
61887 | <dict·size="2"> | 61887 | <dict·size="2"> |
61888 | <key>Font</key> | 61888 | <key>Font</key> |
61889 | <value><dict·size="4"> | 61889 | <value><dict·size="4"> |
Offset 63594, 15 lines modified | Offset 63594, 15 lines modified |
63594 | </object> | 63594 | </object> |
| |
63595 | <object·id="2793"> | 63595 | <object·id="2793"> |
63596 | <dict·size="2"> | 63596 | <dict·size="2"> |
63597 | <key>Producer</key> | 63597 | <key>Producer</key> |
63598 | <value><string·size="40">cairo·1.18.4·(https://cairographics.org)</string></value> | 63598 | <value><string·size="40">cairo·1.18.4·(https://cairographics.org)</string></value> |
63599 | <key>CreationDate</key> | 63599 | <key>CreationDate</key> |
63600 | <value><string·size="22">D:20250603030857-12'00</string></value> | 63600 | <value><string·size="22">D:20260707115622+14'00</string></value> |
63601 | </dict> | 63601 | </dict> |
63602 | </object> | 63602 | </object> |
| |
63603 | <object·id="2794"> | 63603 | <object·id="2794"> |
63604 | <dict·size="9"> | 63604 | <dict·size="9"> |
63605 | <key>Type</key> | 63605 | <key>Type</key> |
63606 | <value><literal>Font</literal></value> | 63606 | <value><literal>Font</literal></value> |
Offset 72374, 20 lines modified | Offset 72374, 20 lines modified |
72374 | <key>Type</key> | 72374 | <key>Type</key> |
72375 | <value><literal>ObjStm</literal></value> | 72375 | <value><literal>ObjStm</literal></value> |
72376 | <key>N</key> | 72376 | <key>N</key> |
72377 | <value><number>100</number></value> | 72377 | <value><number>100</number></value> |
72378 | <key>First</key> | 72378 | <key>First</key> |
72379 | <value><number>993</number></value> | 72379 | <value><number>993</number></value> |
72380 | <key>Length</key> | 72380 | <key>Length</key> |
72381 | <value><number>2531</number></value> | 72381 | <value><number>2539</number></value> |
72382 | <key>Filter</key> | 72382 | <key>Filter</key> |
72383 | <value><literal>FlateDecode</literal></value> | 72383 | <value><literal>FlateDecode</literal></value> |
72384 | </dict> | 72384 | </dict> |
72385 | </props> | 72385 | </props> |
72386 | <data·size="12843">3155·0·3148·164·3149·304·3150·445·3151·582·3152·720·3153·858·3157·996·755·1037·759·1077 763·1118·3154·1159·3166·1268·3161·1414·3162·1551·3163·1690·3164·1829·3168·2002·767·2043·771·2084 3165·2125·3170·2234·3172·2332·3169·2373·3198·2468·3173·2749·3174·2886·3175·3023·3176·3159·3177·3297 3178·3435·3179·3573·3180·3710·3181·3847·3187·3984·3188·4120·3189·4256·3190·4391·3191·4526·3192·4661 3193·4796·3194·4931·3195·5066·3196·5201·3200·5336·775·5377·779·5414·783·5455·3201·5496·3202·5537 3203·5578·787·5619·791·5660·3197·5701·3211·5810·3214·5924·3215·5983·3216·6083·3217·6733·3218·6868 3220·7093·3223·7296·3224·7300·3225·7524·3226·7528·3228·7533·3213·7538·3205·7579·3210·7619·3230·7717 3233·7831·3234·7890·3235·7990·3236·8477·3239·8702·3240·8706·3232·8711·3206·8752·3229·8793·3242·8891 3245·9005·3246·9064·3247·9164·3248·9704·3251·9929·3252·9933·3253·9938·3254·10038·3255·10578·3258·10803 3259·10807·3260·10812·3261·10912·3262·11452·3265·11677·3266·11681·3244·11686·3207·11727·3208·11768·3209·11809 << /Type·/Page /Contents·3156·0·R /Resources·3154·0·R /MediaBox·[0·0·612·792] /Parent·3139·0·R /Annots·[·3148·0·R·3149·0·R·3150·0·R·3151·0·R·3152·0·R·3153·0·R·] >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[227.65·582.667·282.99·593.556] /A·<<·/S·/GoTo·/D·(subsection.5.3.7)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[261.072·582.667·282.99·593.556] /A·<<·/S·/GoTo·/D·(subsection.5.3.7)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[71.004·546.791·122.809·557.691] /A·<<·/S·/GoTo·/D·(section.11.1)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[103.382·546.791·122.809·557.691] /A·<<·/S·/GoTo·/D·(section.11.1)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[401.114·500.519·460.844·511.418] /A·<<·/S·/GoTo·/D·(section*.384)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[105.821·201.593·191.499·212.492] /A·<<·/S·/GoTo·/D·(section*.387)·>> >> << /D·[3155·0·R·/XYZ·71·757.862·null] >> << /D·[3155·0·R·/XYZ·72·632.71·null] >> << /D·[3155·0·R·/XYZ·72·539.828·null] >> << /D·[3155·0·R·/XYZ·72·252.868·null] >> << /Font·<<·/F41·876·0·R·/F38·925·0·R·/F70·926·0·R·/F72·1165·0·R·/F74·1167·0·R·>> /ProcSet·[·/PDF·/Text·] >> << /Type·/Page /Contents·3167·0·R /Resources·3165·0·R /MediaBox·[0·0·612·792] /Parent·3139·0·R /Annots·[·3161·0·R·3162·0·R·3163·0·R·3164·0·R·] >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[148.732·620.641·219.397·631.54] /A·<<·/S·/GoTo·/D·(section*.387)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[251.666·397.242·308.453·408.131] /A·<<·/S·/GoTo·/D·(section.12.11)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[284.045·397.242·308.453·408.131] /A·<<·/S·/GoTo·/D·(section.12.11)·>> >> << /Type·/Annot /Border[0·0·0]/H/I/C[0·1·1] /Rect·[438.436·379.299·495.761·390.198] /Subtype/Link/A<</Type/Action/S/URI/URI(https://www.why3.org/api/Model_parser.html)>> >> << /D·[3166·0·R·/XYZ·71·757.862·null] >> << /D·[3166·0·R·/XYZ·72·601.732·null] >> << /D·[3166·0·R·/XYZ·72·372.336·null] >> << /Font·<<·/F41·876·0·R·/F38·925·0·R·/F72·1165·0·R·/F70·926·0·R·/F74·1167·0·R·>> /ProcSet·[·/PDF·/Text·] >> << /Type·/Page /Contents·3171·0·R /Resources·3169·0·R /MediaBox·[0·0·612·792] /Parent·3139·0·R >> << /D·[3170·0·R·/XYZ·71·757.862·null] >> << /Font·<<·/F41·876·0·R·/F38·925·0·R·/F72·1165·0·R·/F70·926·0·R·>> /ProcSet·[·/PDF·/Text·] >> << /Type·/Page /Contents·3199·0·R /Resources·3197·0·R /MediaBox·[0·0·612·792] /Parent·3204·0·R /Annots·[·3173·0·R·3174·0·R·3175·0·R·3176·0·R·3177·0·R·3178·0·R·3179·0·R·3180·0·R·3181·0·R·3187·0·R·3188·0·R·3189·0·R·3190·0·R·3191·0·R·3192·0·R·3193·0·R·3194·0·R·3195·0·R·3196·0·R·] >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[190.526·437.692·260.637·448.591] /A·<<·/S·/GoTo·/D·(section*.10)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[277.609·419.759·332.807·430.658] /A·<<·/S·/GoTo·/D·(section*.19)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[381.563·241.98·483.057·252.879] /A·<<·/S·/GoTo·/D·(section*.12)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[123.437·218.069·175.243·228.968] /A·<<·/S·/GoTo·/D·(section.12.4)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[155.816·218.069·175.243·228.968] /A·<<·/S·/GoTo·/D·(section.12.4)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[396.832·218.069·448.638·228.968] /A·<<·/S·/GoTo·/D·(section.10.2)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[429.21·218.069·448.638·228.968] /A·<<·/S·/GoTo·/D·(section.10.2)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[105.724·120.31·158.013·131.209] /A·<<·/S·/GoTo·/D·(section.12.2)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[138.586·120.31·158.013·131.209] /A·<<·/S·/GoTo·/D·(section.12.2)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[377.623·90.422·414.968·101.321] /A·<<·/S·/GoTo·/D·(figure.12.1)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[395.541·90.422·414.968·101.321] /A·<<·/S·/GoTo·/D·(figure.12.1)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[103.562·78.467·141.111·89.366] /A·<<·/S·/GoTo·/D·(figure.12.2)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[121.684·78.467·141.111·89.366] /A·<<·/S·/GoTo·/D·(figure.12.2)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[213.619·78.467·251.168·89.366] /A·<<·/S·/GoTo·/D·(figure.12.3)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[231.741·78.467·251.168·89.366] /A·<<·/S·/GoTo·/D·(figure.12.3)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[286.964·78.467·324.513·89.366] /A·<<·/S·/GoTo·/D·(figure.12.4)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[305.086·78.467·324.513·89.366] /A·<<·/S·/GoTo·/D·(figure.12.4)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[414.804·78.467·452.354·89.366] /A·<<·/S·/GoTo·/D·(figure.12.5)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[432.926·78.467·452.354·89.366] /A·<<·/S·/GoTo·/D·(figure.12.5)·>> >> << /D·[3198·0·R·/XYZ·71·757.862·null] >> << /D·[3198·0·R·/XYZ·72·720·null] >> << /D·[3198·0·R·/XYZ·72·573.549·null] >> << /D·[3198·0·R·/XYZ·72·503.506·null] >> << /D·[3198·0·R·/XYZ·72·456.621·null] >> << /D·[3198·0·R·/XYZ·72·438.688·null] >> << /D·[3198·0·R·/XYZ·72·420.756·null] >> << /D·[3198·0·R·/XYZ·72·281.289·null] >> << /D·[3198·0·R·/XYZ·72·210.034·null] >> << /Font·<<·/F41·876·0·R·/F38·925·0·R·/F70·926·0·R·/F72·1165·0·R·/F74·1167·0·R·>> /ProcSet·[·/PDF·/Text·] >> << /Type·/Page /Contents·3212·0·R /Resources·3210·0·R /MediaBox·[0·0·612·792] /Parent·3204·0·R /Group·3214·0·R >> << /Type·/Group /S·/Transparency /I·true /CS·/DeviceRGB >> << /Producer·(cairo·1.18.4·\(https://cairographics.org\)) /CreationDate·(D:20250603030857-12'00) >> << /Type·/Font /Subtype·/TrueType /BaseFont·/UYADPJ+DejaVuSerif /FirstChar·32 /LastChar·122 /FontDescriptor·3218·0·R /Encoding·/WinAnsiEncoding /Widths·[·0·0·0·0·0·0·0·0·[·...·truncated·by·diffoscope;·len:·6107,·SHA:·1b0c929e52fee9a0efbdf021b07ec67541ae6547b82b42a43368dfaa36d60011·...·]'00) >> << /Type·/Font /Subtype·/TrueType /BaseFont·/YRTEYB+DejaVuSerif /FirstChar·32 /LastChar·122 /FontDescriptor·3262·0·R /Encoding·/WinAnsiEncoding /Widths·[·0·0·0·0·0·0·0·0·0·0·0·0·0·337.890625·317.871094·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·0·0·0·0·0·0·596.191406·0·560.058594·640.136719·591.796875·0·640.136719·0·319.824219·0·0·319.824219·948.242188·644.042969·602.050781·640.136719·0·478.027344·513.183594·401.855469·644.042969·564.941406·0·563.964844·0·526.855469] /ToUnicode·3263·0·R >> << /Type·/FontDescriptor /FontName·/YRTEYB+DejaVuSerif /FontFamily·(DejaVu·Serif) /Flags·32 /FontBBox·[·-769·-346·2105·1109] /ItalicAngle·0 /Ascent·928 /Descent·-235 /CapHeight·1109 /StemV·80 /StemH·80 /FontFile2·3264·0·R >> 316 5023 << /D·[3242·0·R·/XYZ·71·757.862·null] >> << /D·[3242·0·R·/XYZ·72·704.821·null] >> << /D·[3242·0·R·/XYZ·72·479.182·null] >> << /D·[3242·0·R·/XYZ·72·274.489·null] >> </data> | 72386 | <data·size="12843">3155·0·3148·164·3149·304·3150·445·3151·582·3152·720·3153·858·3157·996·755·1037·759·1077 763·1118·3154·1159·3166·1268·3161·1414·3162·1551·3163·1690·3164·1829·3168·2002·767·2043·771·2084 3165·2125·3170·2234·3172·2332·3169·2373·3198·2468·3173·2749·3174·2886·3175·3023·3176·3159·3177·3297 3178·3435·3179·3573·3180·3710·3181·3847·3187·3984·3188·4120·3189·4256·3190·4391·3191·4526·3192·4661 3193·4796·3194·4931·3195·5066·3196·5201·3200·5336·775·5377·779·5414·783·5455·3201·5496·3202·5537 3203·5578·787·5619·791·5660·3197·5701·3211·5810·3214·5924·3215·5983·3216·6083·3217·6733·3218·6868 3220·7093·3223·7296·3224·7300·3225·7524·3226·7528·3228·7533·3213·7538·3205·7579·3210·7619·3230·7717 3233·7831·3234·7890·3235·7990·3236·8477·3239·8702·3240·8706·3232·8711·3206·8752·3229·8793·3242·8891 3245·9005·3246·9064·3247·9164·3248·9704·3251·9929·3252·9933·3253·9938·3254·10038·3255·10578·3258·10803 3259·10807·3260·10812·3261·10912·3262·11452·3265·11677·3266·11681·3244·11686·3207·11727·3208·11768·3209·11809 << /Type·/Page /Contents·3156·0·R /Resources·3154·0·R /MediaBox·[0·0·612·792] /Parent·3139·0·R /Annots·[·3148·0·R·3149·0·R·3150·0·R·3151·0·R·3152·0·R·3153·0·R·] >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[227.65·582.667·282.99·593.556] /A·<<·/S·/GoTo·/D·(subsection.5.3.7)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[261.072·582.667·282.99·593.556] /A·<<·/S·/GoTo·/D·(subsection.5.3.7)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[71.004·546.791·122.809·557.691] /A·<<·/S·/GoTo·/D·(section.11.1)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[103.382·546.791·122.809·557.691] /A·<<·/S·/GoTo·/D·(section.11.1)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[401.114·500.519·460.844·511.418] /A·<<·/S·/GoTo·/D·(section*.384)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[105.821·201.593·191.499·212.492] /A·<<·/S·/GoTo·/D·(section*.387)·>> >> << /D·[3155·0·R·/XYZ·71·757.862·null] >> << /D·[3155·0·R·/XYZ·72·632.71·null] >> << /D·[3155·0·R·/XYZ·72·539.828·null] >> << /D·[3155·0·R·/XYZ·72·252.868·null] >> << /Font·<<·/F41·876·0·R·/F38·925·0·R·/F70·926·0·R·/F72·1165·0·R·/F74·1167·0·R·>> /ProcSet·[·/PDF·/Text·] >> << /Type·/Page /Contents·3167·0·R /Resources·3165·0·R /MediaBox·[0·0·612·792] /Parent·3139·0·R /Annots·[·3161·0·R·3162·0·R·3163·0·R·3164·0·R·] >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[148.732·620.641·219.397·631.54] /A·<<·/S·/GoTo·/D·(section*.387)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[251.666·397.242·308.453·408.131] /A·<<·/S·/GoTo·/D·(section.12.11)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[284.045·397.242·308.453·408.131] /A·<<·/S·/GoTo·/D·(section.12.11)·>> >> << /Type·/Annot /Border[0·0·0]/H/I/C[0·1·1] /Rect·[438.436·379.299·495.761·390.198] /Subtype/Link/A<</Type/Action/S/URI/URI(https://www.why3.org/api/Model_parser.html)>> >> << /D·[3166·0·R·/XYZ·71·757.862·null] >> << /D·[3166·0·R·/XYZ·72·601.732·null] >> << /D·[3166·0·R·/XYZ·72·372.336·null] >> << /Font·<<·/F41·876·0·R·/F38·925·0·R·/F72·1165·0·R·/F70·926·0·R·/F74·1167·0·R·>> /ProcSet·[·/PDF·/Text·] >> << /Type·/Page /Contents·3171·0·R /Resources·3169·0·R /MediaBox·[0·0·612·792] /Parent·3139·0·R >> << /D·[3170·0·R·/XYZ·71·757.862·null] >> << /Font·<<·/F41·876·0·R·/F38·925·0·R·/F72·1165·0·R·/F70·926·0·R·>> /ProcSet·[·/PDF·/Text·] >> << /Type·/Page /Contents·3199·0·R /Resources·3197·0·R /MediaBox·[0·0·612·792] /Parent·3204·0·R /Annots·[·3173·0·R·3174·0·R·3175·0·R·3176·0·R·3177·0·R·3178·0·R·3179·0·R·3180·0·R·3181·0·R·3187·0·R·3188·0·R·3189·0·R·3190·0·R·3191·0·R·3192·0·R·3193·0·R·3194·0·R·3195·0·R·3196·0·R·] >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[190.526·437.692·260.637·448.591] /A·<<·/S·/GoTo·/D·(section*.10)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[277.609·419.759·332.807·430.658] /A·<<·/S·/GoTo·/D·(section*.19)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[381.563·241.98·483.057·252.879] /A·<<·/S·/GoTo·/D·(section*.12)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[123.437·218.069·175.243·228.968] /A·<<·/S·/GoTo·/D·(section.12.4)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[155.816·218.069·175.243·228.968] /A·<<·/S·/GoTo·/D·(section.12.4)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[396.832·218.069·448.638·228.968] /A·<<·/S·/GoTo·/D·(section.10.2)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[429.21·218.069·448.638·228.968] /A·<<·/S·/GoTo·/D·(section.10.2)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[105.724·120.31·158.013·131.209] /A·<<·/S·/GoTo·/D·(section.12.2)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[138.586·120.31·158.013·131.209] /A·<<·/S·/GoTo·/D·(section.12.2)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[377.623·90.422·414.968·101.321] /A·<<·/S·/GoTo·/D·(figure.12.1)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[395.541·90.422·414.968·101.321] /A·<<·/S·/GoTo·/D·(figure.12.1)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[103.562·78.467·141.111·89.366] /A·<<·/S·/GoTo·/D·(figure.12.2)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[121.684·78.467·141.111·89.366] /A·<<·/S·/GoTo·/D·(figure.12.2)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[213.619·78.467·251.168·89.366] /A·<<·/S·/GoTo·/D·(figure.12.3)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[231.741·78.467·251.168·89.366] /A·<<·/S·/GoTo·/D·(figure.12.3)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[286.964·78.467·324.513·89.366] /A·<<·/S·/GoTo·/D·(figure.12.4)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[305.086·78.467·324.513·89.366] /A·<<·/S·/GoTo·/D·(figure.12.4)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[414.804·78.467·452.354·89.366] /A·<<·/S·/GoTo·/D·(figure.12.5)·>> >> << /Type·/Annot /Subtype·/Link /Border[0·0·0]/H/I/C[1·0·0] /Rect·[432.926·78.467·452.354·89.366] /A·<<·/S·/GoTo·/D·(figure.12.5)·>> >> << /D·[3198·0·R·/XYZ·71·757.862·null] >> << /D·[3198·0·R·/XYZ·72·720·null] >> << /D·[3198·0·R·/XYZ·72·573.549·null] >> << /D·[3198·0·R·/XYZ·72·503.506·null] >> << /D·[3198·0·R·/XYZ·72·456.621·null] >> << /D·[3198·0·R·/XYZ·72·438.688·null] >> << /D·[3198·0·R·/XYZ·72·420.756·null] >> << /D·[3198·0·R·/XYZ·72·281.289·null] >> << /D·[3198·0·R·/XYZ·72·210.034·null] >> << /Font·<<·/F41·876·0·R·/F38·925·0·R·/F70·926·0·R·/F72·1165·0·R·/F74·1167·0·R·>> /ProcSet·[·/PDF·/Text·] >> << /Type·/Page /Contents·3212·0·R /Resources·3210·0·R /MediaBox·[0·0·612·792] /Parent·3204·0·R /Group·3214·0·R >> << /Type·/Group /S·/Transparency /I·true /CS·/DeviceRGB >> << /Producer·(cairo·1.18.4·\(https://cairographics.org\)) /CreationDate·(D:20260707115623+14'00) >> << /Type·/Font /Subtype·/TrueType /BaseFont·/UYADPJ+DejaVuSerif /FirstChar·32 /LastChar·122 /FontDescriptor·3218·0·R /Encoding·/WinAnsiEncoding /Widths·[·0·0·0·0·0·0·0·0·[·...·truncated·by·diffoscope;·len:·6107,·SHA:·b16bab0c9b5960abd3f1af8bdc5fafe1f485a4d9927763d02eaebfbac2e067f9·...·]'00) >> << /Type·/Font /Subtype·/TrueType /BaseFont·/YRTEYB+DejaVuSerif /FirstChar·32 /LastChar·122 /FontDescriptor·3262·0·R /Encoding·/WinAnsiEncoding /Widths·[·0·0·0·0·0·0·0·0·0·0·0·0·0·337.890625·317.871094·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·0·0·0·0·0·0·596.191406·0·560.058594·640.136719·591.796875·0·640.136719·0·319.824219·0·0·319.824219·948.242188·644.042969·602.050781·640.136719·0·478.027344·513.183594·401.855469·644.042969·564.941406·0·563.964844·0·526.855469] /ToUnicode·3263·0·R >> << /Type·/FontDescriptor /FontName·/YRTEYB+DejaVuSerif /FontFamily·(DejaVu·Serif) /Flags·32 /FontBBox·[·-769·-346·2105·1109] /ItalicAngle·0 /Ascent·928 /Descent·-235 /CapHeight·1109 /StemV·80 /StemH·80 /FontFile2·3264·0·R >> 316 5023 << /D·[3242·0·R·/XYZ·71·757.862·null] >> << /D·[3242·0·R·/XYZ·72·704.821·null] >> << /D·[3242·0·R·/XYZ·72·479.182·null] >> << /D·[3242·0·R·/XYZ·72·274.489·null] >> </data> |
72387 | </stream> | 72387 | </stream> |
72388 | </object> | 72388 | </object> |
| |
72389 | <object·id="3159"> | 72389 | <object·id="3159"> |
72390 | <dict·size="1"> | 72390 | <dict·size="1"> |
72391 | <key>D</key> | 72391 | <key>D</key> |
72392 | <value><list·size="5"> | 72392 | <value><list·size="5"> |
Offset 73997, 15 lines modified | Offset 73997, 15 lines modified |
73997 | </object> | 73997 | </object> |
| |
73998 | <object·id="3215"> | 73998 | <object·id="3215"> |
73999 | <dict·size="2"> | 73999 | <dict·size="2"> |
74000 | <key>Producer</key> | 74000 | <key>Producer</key> |
74001 | <value><string·size="40">cairo·1.18.4·(https://cairographics.org)</string></value> | 74001 | <value><string·size="40">cairo·1.18.4·(https://cairographics.org)</string></value> |
74002 | <key>CreationDate</key> | 74002 | <key>CreationDate</key> |
74003 | <value><string·size="22">D:20250603030857-12'00</string></value> | 74003 | <value><string·size="22">D:20260707115623+14'00</string></value> |
74004 | </dict> | 74004 | </dict> |
74005 | </object> | 74005 | </object> |
| |
74006 | <object·id="3216"> | 74006 | <object·id="3216"> |
74007 | <dict·size="9"> | 74007 | <dict·size="9"> |
74008 | <key>Type</key> | 74008 | <key>Type</key> |
74009 | <value><literal>Font</literal></value> | 74009 | <value><literal>Font</literal></value> |
Offset 74398, 15 lines modified | Offset 74398, 15 lines modified |
74398 | </object> | 74398 | </object> |
| |
74399 | <object·id="3234"> | 74399 | <object·id="3234"> |
74400 | <dict·size="2"> | 74400 | <dict·size="2"> |
74401 | <key>Producer</key> | 74401 | <key>Producer</key> |
Max diff block lines reached; 184038/278273 bytes (66.14%) of diff not shown.
|