{"diffoscope-json-version": 1, "source1": "/srv/reproducible-results/rbuild-debian/r-b-build.GJVEZQro/b1/why3_1.8.0-3_i386.changes", "source2": "/srv/reproducible-results/rbuild-debian/r-b-build.GJVEZQro/b2/why3_1.8.0-3_i386.changes", "unified_diff": null, "details": [{"source1": "Files", "source2": "Files", "unified_diff": "@@ -1,7 +1,7 @@\n \n bd0a68dabd30c04b1e64d3ba607d29a1 7612848 ocaml optional libwhy3-ocaml-dev_1.8.0-3_i386.deb\n f9fa9798a87ad5a34980889b07f57825 34768 debug optional why3-dbgsym_1.8.0-3_i386.deb\n d8cbe2bed7b59612a53058e8d9df4b0e 1294472 math optional why3-doc-html_1.8.0-3_all.deb\n- 9c7ce9cc154fa27ce6be25d600d51354 1428844 math optional why3-doc-pdf_1.8.0-3_all.deb\n+ 51caf46858e994b6a90e95746d23301d 1428876 math optional why3-doc-pdf_1.8.0-3_all.deb\n 686c172d486cae7390794c851f7cecdf 4273108 math optional why3-examples_1.8.0-3_all.deb\n cfc151b8b61909f7c4a7312fffedb9bd 21856664 math optional why3_1.8.0-3_i386.deb\n"}, {"source1": "why3-doc-pdf_1.8.0-3_all.deb", "source2": "why3-doc-pdf_1.8.0-3_all.deb", "unified_diff": null, "details": [{"source1": "file list", "source2": "file list", "unified_diff": "@@ -1,3 +1,3 @@\n -rw-r--r-- 0 0 0 4 2025-04-20 12:13:02.000000 debian-binary\n -rw-r--r-- 0 0 0 1292 2025-04-20 12:13:02.000000 control.tar.xz\n--rw-r--r-- 0 0 0 1427360 2025-04-20 12:13:02.000000 data.tar.xz\n+-rw-r--r-- 0 0 0 1427392 2025-04-20 12:13:02.000000 data.tar.xz\n"}, {"source1": "control.tar.xz", "source2": "control.tar.xz", "unified_diff": null, "details": [{"source1": "control.tar", "source2": "control.tar", "unified_diff": null, "details": [{"source1": "./md5sums", "source2": "./md5sums", "unified_diff": null, "details": [{"source1": "./md5sums", "source2": "./md5sums", "comments": ["Files differ"], "unified_diff": null}]}]}]}, {"source1": "data.tar.xz", "source2": "data.tar.xz", "unified_diff": null, "details": [{"source1": "data.tar", "source2": "data.tar", "unified_diff": null, "details": [{"source1": "file list", "source2": "file list", "unified_diff": "@@ -3,10 +3,10 @@\n drwxr-xr-x 0 root (0) root (0) 0 2025-04-20 12:13:02.000000 ./usr/share/\n drwxr-xr-x 0 root (0) root (0) 0 2025-04-20 12:13:02.000000 ./usr/share/doc/\n drwxr-xr-x 0 root (0) root (0) 0 2025-04-20 12:13:02.000000 ./usr/share/doc/why3-doc-pdf/\n -rw-r--r-- 0 root (0) root (0) 155 2025-04-20 12:13:02.000000 ./usr/share/doc/why3-doc-pdf/NEWS.Debian.gz\n -rw-r--r-- 0 root (0) root (0) 3447 2025-04-20 12:13:02.000000 ./usr/share/doc/why3-doc-pdf/changelog.Debian.gz\n -rw-r--r-- 0 root (0) root (0) 17872 2024-12-11 13:21:37.000000 ./usr/share/doc/why3-doc-pdf/changelog.gz\n -rw-r--r-- 0 root (0) root (0) 21606 2025-04-20 12:13:02.000000 ./usr/share/doc/why3-doc-pdf/copyright\n--rw-r--r-- 0 root (0) root (0) 1449762 2025-04-20 12:13:02.000000 ./usr/share/doc/why3-doc-pdf/manual.pdf\n+-rw-r--r-- 0 root (0) root (0) 1449765 2025-04-20 12:13:02.000000 ./usr/share/doc/why3-doc-pdf/manual.pdf\n drwxr-xr-x 0 root (0) root (0) 0 2025-04-20 12:13:02.000000 ./usr/share/doc-base/\n -rw-r--r-- 0 root (0) root (0) 990 2025-04-20 12:13:02.000000 ./usr/share/doc-base/why3-doc-pdf.why3-manual-pdf\n"}, {"source1": "./usr/share/doc/why3-doc-pdf/manual.pdf", "source2": "./usr/share/doc/why3-doc-pdf/manual.pdf", "unified_diff": null, "details": [{"source1": "dumppdf -at {}", "source2": "dumppdf -at {}", "unified_diff": "@@ -59655,15 +59655,15 @@\n 977\n Length\n 2343\n Filter\n FlateDecode\n \n \n-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:20260523190615-12'00)
>>
<<
/Type /Font
/Subtype /TrueType
/BaseFont /VZSFWJ+DejaVuSerif
/FirstChar 32
/LastChar 121
/FontDescriptor 2631 0 R
/Encoding /WinAnsiEncoding
/Widths [ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 317.871094 0 0 0 636.230469 0 0 0 0 0 0 0 0 0 0 0 0 0 0 722.167969 0 765.136719 801.757812 729.980469 693.847656 0 872.070312 395.019531 0 0 664.0625 1023.925781 875 819.824219 672.851562 0 752.929688 685.058594 666.992188 842.773438 0 1027.832031 0 0 0 0 0 0 0 0 0 596.191406 640.136719 560.058594 640.136719 591.796875 370.117188 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 855.957031 563.964844 564.941406]
/ToUnicode 2632 0 R
>>
<<
/Type /FontDescriptor
/FontName /VZSFWJ+DejaVuSerif
/FontFamily (DejaVu Serif)
/Flags 32
/FontBBox [ -769 -346 2105 1109]
/ItalicAngle 0
/Ascent 928
/Descent -235
/CapHeight 1109
/StemV 80
/StemH 80
/FontFile2 2633 0 R
>>
401
8691
<<
/D [2625 0 R /XYZ 71 757.862 null]
>>
<<
/D [2625 0 R /XYZ 72 669.572 null]
>>
<<
/Font << /F41 876 0 R /F38 925 0 R /F70 926 0 R >>
/XObject << /Im10 2616 0 R >>
/ProcSet [ /PDF /Text ]
>>
<<
/Type /Page
/Contents 2642 0 R
/Resources 2640 0 R
/MediaBox [0 0 612 792]
/Parent 2622 0 R
/Annots [ 2636 0 R 2637 0 R 2639 0 R ]
>>
<<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/I/C[1 0 0]
/Rect [428.613 688.481 461.18 699.381]
/A << /S /GoTo /D (figure.6.2) >>
>>
<<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/I/C[1 0 0]
/Rect [446.735 688.481 461.18 699.381]
/A << /S /GoTo /D (figure.6.2) >>
>>
<<
/Type /Annot
/Border[0 0 0]/H/I/C[0 1 1]
/Rect [326.874 628.706 486.525 639.605]
/Subtype/Link/A<</Type/Action/S/URI/URI(https://www.why3.org/stdlib/array.html)>>
>>
<<
/D [2641 0 R /XYZ 71 757.862 null]
>>
<<
/D [2641 0 R /XYZ 72 720 null]
>>
<<
/Font << /F41 876 0 R /F72 1165 0 R /F38 925 0 R /F70 926 0 R >>
/ProcSet [ /PDF /Text ]
>>
<<
/Type /Page
/Contents 2647 0 R
/Resources 2645 0 R
/MediaBox [0 0 612 792]
/Parent 2622 0 R
/Group 2649 0 R
>>
<<
/Type /Group
/S /Transparency
/I true
/CS /DeviceRGB
>>
<<
/Producer (cairo 1.18.4 \(https://cairographics.org\))
/CreationDate (D:20260523190615-12'00)
>>
<<
/Type /Font
/Subtype /TrueType
/BaseFont /DBMMWH+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 /DBMMWH+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]
>>
\n+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:20250421145923+14'00)
>>
<<
/Type /Font
/Subtype /TrueType
/BaseFont /VZSFWJ+DejaVuSerif
/FirstChar 32
/LastChar 121
/FontDescriptor 2631 0 R
/Encoding /WinAnsiEncoding
/Widths [ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 317.871094 0 0 0 636.230469 0 0 0 0 0 0 0 0 0 0 0 0 0 0 722.167969 0 765.136719 801.757812 729.980469 693.847656 0 872.070312 395.019531 0 0 664.0625 1023.925781 875 819.824219 672.851562 0 752.929688 685.058594 666.992188 842.773438 0 1027.832031 0 0 0 0 0 0 0 0 0 596.191406 640.136719 560.058594 640.136719 591.796875 370.117188 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 855.957031 563.964844 564.941406]
/ToUnicode 2632 0 R
>>
<<
/Type /FontDescriptor
/FontName /VZSFWJ+DejaVuSerif
/FontFamily (DejaVu Serif)
/Flags 32
/FontBBox [ -769 -346 2105 1109]
/ItalicAngle 0
/Ascent 928
/Descent -235
/CapHeight 1109
/StemV 80
/StemH 80
/FontFile2 2633 0 R
>>
401
8691
<<
/D [2625 0 R /XYZ 71 757.862 null]
>>
<<
/D [2625 0 R /XYZ 72 669.572 null]
>>
<<
/Font << /F41 876 0 R /F38 925 0 R /F70 926 0 R >>
/XObject << /Im10 2616 0 R >>
/ProcSet [ /PDF /Text ]
>>
<<
/Type /Page
/Contents 2642 0 R
/Resources 2640 0 R
/MediaBox [0 0 612 792]
/Parent 2622 0 R
/Annots [ 2636 0 R 2637 0 R 2639 0 R ]
>>
<<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/I/C[1 0 0]
/Rect [428.613 688.481 461.18 699.381]
/A << /S /GoTo /D (figure.6.2) >>
>>
<<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/I/C[1 0 0]
/Rect [446.735 688.481 461.18 699.381]
/A << /S /GoTo /D (figure.6.2) >>
>>
<<
/Type /Annot
/Border[0 0 0]/H/I/C[0 1 1]
/Rect [326.874 628.706 486.525 639.605]
/Subtype/Link/A<</Type/Action/S/URI/URI(https://www.why3.org/stdlib/array.html)>>
>>
<<
/D [2641 0 R /XYZ 71 757.862 null]
>>
<<
/D [2641 0 R /XYZ 72 720 null]
>>
<<
/Font << /F41 876 0 R /F72 1165 0 R /F38 925 0 R /F70 926 0 R >>
/ProcSet [ /PDF /Text ]
>>
<<
/Type /Page
/Contents 2647 0 R
/Resources 2645 0 R
/MediaBox [0 0 612 792]
/Parent 2622 0 R
/Group 2649 0 R
>>
<<
/Type /Group
/S /Transparency
/I true
/CS /DeviceRGB
>>
<<
/Producer (cairo 1.18.4 \(https://cairographics.org\))
/CreationDate (D:20250421145923+14'00)
>>
<<
/Type /Font
/Subtype /TrueType
/BaseFont /DBMMWH+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 /DBMMWH+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]
>>
\n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n \n Type\n XRef\n@@ -120211,14 +120211,14 @@\n \n ID\n \n
!¦ÉzT«7ñìÊË\n
!¦ÉzT«7ñìÊË\n
\n Length\n-11320\n+11330\n Filter\n FlateDecode\n \n \n \n \n"}]}]}]}]}]}