{"diffoscope-json-version": 1, "source1": "/srv/reproducible-results/rbuild-debian/r-b-build.CIPAWsTw/b1/why3_1.3.3-1_i386.changes", "source2": "/srv/reproducible-results/rbuild-debian/r-b-build.CIPAWsTw/b2/why3_1.3.3-1_i386.changes", "unified_diff": null, "details": [{"source1": "Files", "source2": "Files", "unified_diff": "@@ -1,9 +1,9 @@\n \n 3bc4801574cdb81f6fb9ae118f098ac1 570836 debug optional libwhy3-ocaml-dev-dbgsym_1.3.3-1_i386.deb\n 37b291604cb89353fa48028ecd1f433e 9301540 ocaml optional libwhy3-ocaml-dev_1.3.3-1_i386.deb\n b867ff401b60545b3e8668e52d86057c 756668 math optional why3-coq_1.3.3-1_i386.deb\n 1459d0d4f22e3e0e012e29625c3ed8bc 9327156 debug optional why3-dbgsym_1.3.3-1_i386.deb\n 111559fa11bc406b89bb0b8f917d7877 960156 math optional why3-doc-html_1.3.3-1_all.deb\n- 18cf199ebd0170463129985e8c82b81b 1057120 math optional why3-doc-pdf_1.3.3-1_all.deb\n+ 36a852fc595098bd42dc73a903f2f095 1057120 math optional why3-doc-pdf_1.3.3-1_all.deb\n 9eb8848cecee897286d677b088b7aafa 3493616 math optional why3-examples_1.3.3-1_all.deb\n d44353feb543f03e9214160223df5360 36230844 math optional why3_1.3.3-1_i386.deb\n"}, {"source1": "why3-doc-pdf_1.3.3-1_all.deb", "source2": "why3-doc-pdf_1.3.3-1_all.deb", "unified_diff": null, "details": [{"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": "@@ -2,10 +2,10 @@\n drwxr-xr-x 0 root (0) root (0) 0 2020-09-23 19:23:15.000000 ./usr/\n drwxr-xr-x 0 root (0) root (0) 0 2020-09-23 19:23:15.000000 ./usr/share/\n drwxr-xr-x 0 root (0) root (0) 0 2020-09-23 19:23:15.000000 ./usr/share/doc/\n drwxr-xr-x 0 root (0) root (0) 0 2020-09-23 19:23:15.000000 ./usr/share/doc/why3-doc-pdf/\n -rw-r--r-- 0 root (0) root (0) 4594 2020-09-23 19:23:15.000000 ./usr/share/doc/why3-doc-pdf/changelog.Debian.gz\n -rw-r--r-- 0 root (0) root (0) 12707 2020-09-11 14:06:19.000000 ./usr/share/doc/why3-doc-pdf/changelog.gz\n -rw-r--r-- 0 root (0) root (0) 21606 2020-09-23 19:23:15.000000 ./usr/share/doc/why3-doc-pdf/copyright\n--rw-r--r-- 0 root (0) root (0) 1070986 2020-09-23 19:23:15.000000 ./usr/share/doc/why3-doc-pdf/manual.pdf\n+-rw-r--r-- 0 root (0) root (0) 1070982 2020-09-23 19:23:15.000000 ./usr/share/doc/why3-doc-pdf/manual.pdf\n drwxr-xr-x 0 root (0) root (0) 0 2020-09-23 19:23:15.000000 ./usr/share/doc-base/\n -rw-r--r-- 0 root (0) root (0) 990 2020-09-23 19:23:15.000000 ./usr/share/doc-base/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 -adt {}", "source2": "dumppdf -adt {}", "comments": ["error from `dumppdf -adt {}`:", "DEBUG:pdfminer.psparser:seek: 0", "DEBUG:pdfminer.pdfdocument:find_xref: b''", "DEBUG:pdfminer.pdfdocument:find_xref: b'%%EOF'", "DEBUG:pdfminer.pdfdocument:find_xref: b'1063271'", "DEBUG:pdfminer.pdfdocument:find_xref: b'startxref'", "DEBUG:pdfminer.pdfdocument:xref found: pos=b'1063271'", "DEBUG:pdfminer.psparser:seek: 1063271", "DEBUG:pdfminer.psparser:nexttoken: (1063271, 3122)", "DEBUG:pdfminer.pdfdocument:read_xref_from: start=1063271, token=3122", "DEBUG:pdfminer.psparser:seek: 1063271", "DEBUG:pdfminer.psparser:nexttoken: (1063271, 3122)", "DEBUG:pdfminer.psparser:nexttoken: (1063276, 0)", "DEBUG:pdfminer.psparser:nexttoken: (1063278, /b'obj')", "DEBUG:pdfminer.psparser:nexttoken: (1063282, /b'<<')", "DEBUG:pdfminer.psparser:start_type: pos=1063282, type='d'", "DEBUG:pdfminer.psparser:nexttoken: (1063285, /'Type')", "DEBUG:pdfminer.psparser:nexttoken: (1063291, /'XRef')", "DEBUG:pdfminer.psparser:nexttoken: (1063297, /'Index')", "DEBUG:pdfminer.psparser:nexttoken: (1063304, /b'[')", "DEBUG:pdfminer.psparser:start_type: pos=1063304, type='a'", "DEBUG:pdfminer.psparser:nexttoken: (1063305, 0)", "DEBUG:pdfminer.psparser:nexttoken: (1063307, 3123)", "DEBUG:pdfminer.psparser:nexttoken: (1063311, /b']')", "DEBUG:pdfminer.psparser:end_type: pos=1063304, type='a', objs=[0, 3123]", "DEBUG:pdfminer.psparser:nexttoken: (1063313, /'Size')", "[ truncated after 25 lines; 140656 ignored ]"], "unified_diff": "@@ -46252,15 +46252,15 @@\n 974\n Length\n 2554\n Filter\n FlateDecode\n \n \n-1945 0 333 46 1946 87 1953 194 1951 313 1955 454 1952 495 1961 602 1957 739 1958 906
1959 1072 1963 1258 337 1299 1960 1340 1967 1434 1964 1562 1965 1700 1969 1858 341 1899 345 1939
1966 1980 1974 2113 1972 2232 1976 2368 349 2409 1973 2450 1979 2557 1977 2676 1981 2862 353 2903
1978 2940 1985 3047 1982 3175 1983 3366 1987 3523 357 3564 1984 3605 1999 3699 1988 3881 1989 4018
1990 4155 1991 4291 1993 4427 1994 4592 1995 4727 1997 4862 2001 5028 361 5069 365 5109 1998 5150
2006 5244 2010 5358 2011 5458 2012 5898 2015 6123 2016 6127 2009 6132 2008 6191 2003 6232 2005 6273
2018 6384 2022 6498 2023 6598 2024 7023 2027 7248 2028 7252 2021 7257 2020 7316 2004 7357 2017 7398
2030 7509 2032 7607 2029 7648 2038 7703 2033 7858 2034 7995 2035 8132 2041 8289 2036 8446 2040 8603
369 8644 373 8681 377 8722 2042 8763 2043 8802 2044 8847 2045 8891 2046 8937 2047 8978 2048 9023
2049 9069 2050 9115 2037 9161 2052 9255 2054 9353 2055 9394 2056 9435 2057 9480 2058 9520 2059 9565
<<
/D [1947 0 R /XYZ 432.348 686.127 null]
>>
<<
/D [1947 0 R /XYZ 72 608.827 null]
>>
<<
/Font << /F51 546 0 R /F70 653 0 R /F84 773 0 R /F67 595 0 R /F77 756 0 R >>
/ProcSet [ /PDF /Text ]
>>
<<
/Type /Page
/Contents 1954 0 R
/Resources 1952 0 R
/MediaBox [0 0 612 792]
/Parent 1956 0 R
/Annots [ 1951 0 R ]
>>
<<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/I/C[1 0 0]
/Rect [120.596 336.826 187.798 347.73]
/A << /S /GoTo /D (subsection.7.5.6) >>
>>
<<
/D [1953 0 R /XYZ 71 757.862 null]
>>
<<
/Font << /F51 546 0 R /F77 756 0 R /F70 653 0 R /F67 595 0 R /F83 771 0 R >>
/ProcSet [ /PDF /Text ]
>>
<<
/Type /Page
/Contents 1962 0 R
/Resources 1960 0 R
/MediaBox [0 0 612 792]
/Parent 1956 0 R
/Annots [ 1957 0 R 1958 0 R 1959 0 R ]
>>
<<
/Type /Annot
/Border[0 0 0]/H/I/C[0 1 1]
/Rect [320.436 466.483 378.06 477.387]
/Subtype/Link/A<</Type/Action/S/URI/URI(http://why3.lri.fr/stdlib/option.html)>>
>>
<<
/Type /Annot
/Border[0 0 0]/H/I/C[0 1 1]
/Rect [320.436 403.917 352.605 414.821]
/Subtype/Link/A<</Type/Action/S/URI/URI(http://why3.lri.fr/stdlib/list.html)>>
>>
<<
/Type /Annot
/Border[0 0 0]/H/I/C[0 1 1]
/Rect [340.55 234.951 419.463 245.855]
/Subtype/Link/A<</Type/Action/S/URI/URI(http://toccata.lri.fr/gallery/random_access_list.fr.html)>>
>>
<<
/D [1961 0 R /XYZ 71 757.862 null]
>>
<<
/D [1961 0 R /XYZ 72 624.945 null]
>>
<<
/Font << /F51 546 0 R /F67 595 0 R /F77 756 0 R /F70 653 0 R >>
/ProcSet [ /PDF /Text ]
>>
<<
/Type /Page
/Contents 1968 0 R
/Resources 1966 0 R
/MediaBox [0 0 612 792]
/Parent 1956 0 R
/Annots [ 1964 0 R 1965 0 R ]
>>
<<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/I/C[1 0 0]
/Rect [412.526 432.211 516.137 443.115]
/A << /S /GoTo /D (section*.221) >>
>>
<<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/I/C[0 1 0]
/Rect [153.777 251.906 181.224 260.753]
/A << /S /GoTo /D (cite.zebibliography:ieee754-2008) >>
>>
<<
/D [1967 0 R /XYZ 71 757.862 null]
>>
<<
/D [1967 0 R /XYZ 72 615.78 null]
>>
<<
/D [1967 0 R /XYZ 72 307.091 null]
>>
<<
/Font << /F51 546 0 R /F67 595 0 R /F70 653 0 R /F22 866 0 R /F77 756 0 R /F84 773 0 R /F19 867 0 R >>
/ProcSet [ /PDF /Text ]
>>
<<
/Type /Page
/Contents 1975 0 R
/Resources 1973 0 R
/MediaBox [0 0 612 792]
/Parent 1956 0 R
/Annots [ 1972 0 R ]
>>
<<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/I/C[1 0 0]
/Rect [418.619 676.996 522.231 687.9]
/A << /S /GoTo /D (section*.221) >>
>>
<<
/D [1974 0 R /XYZ 71 757.862 null]
>>
<<
/D [1974 0 R /XYZ 72 528.962 null]
>>
<<
/Font << /F51 546 0 R /F67 595 0 R /F70 653 0 R /F84 773 0 R /F77 756 0 R >>
/ProcSet [ /PDF /Text ]
>>
<<
/Type /Page
/Contents 1980 0 R
/Resources 1978 0 R
/MediaBox [0 0 612 792]
/Parent 1956 0 R
/Annots [ 1977 0 R ]
>>
<<
/Type /Annot
/Border[0 0 0]/H/I/C[0 1 1]
/Rect [293.749 652.631 404.22 663.535]
/Subtype/Link/A<</Type/Action/S/URI/URI(https://en.wikipedia.org/wiki/Exponentiation_by_squaring)>>
>>
<<
/D [1979 0 R /XYZ 71 757.862 null]
>>
<<
/D [1979 0 R /XYZ 72 720 null]
>>
<<
/Font << /F51 546 0 R /F67 595 0 R /F83 771 0 R /F77 756 0 R /F70 653 0 R >>
/ProcSet [ /PDF /Text ]
>>
<<
/Type /Page
/Contents 1986 0 R
/Resources 1984 0 R
/MediaBox [0 0 612 792]
/Parent 1956 0 R
/Annots [ 1982 0 R 1983 0 R ]
>>
<<
/Type /Annot
/Border[0 0 0]/H/I/C[0 1 1]
/Rect [381.705 321.85 473.679 332.754]
/Subtype/Link/A<</Type/Action/S/URI/URI(https://en.wikipedia.org/wiki/Ancient_Egyptian_multiplication)>>
>>
<<
/Type /Annot
/Border[0 0 0]/H/I/C[0 1 1]
/Rect [112.721 160.027 208.769 170.931]
/Subtype/Link/A<</Type/Action/S/URI/URI(http://why3.lri.fr/stdlib/)>>
>>
<<
/D [1985 0 R /XYZ 71 757.862 null]
>>
<<
/D [1985 0 R /XYZ 72 228.018 null]
>>
<<
/Font << /F51 546 0 R /F67 595 0 R /F70 653 0 R /F77 756 0 R >>
/ProcSet [ /PDF /Text ]
>>
<<
/Type /Page
/Contents 2000 0 R
/Resources 1998 0 R
/MediaBox [0 0 612 792]
/Parent 2002 0 R
/Annots [ 1988 0 R 1989 0 R 1990 0 R 1991 0 R 1993 0 R 1994 0 R 1995 0 R 1997 0 R ]
>>
<<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/I/C[1 0 0]
/Rect [227.127 654.282 273.951 665.185]
/A << /S /GoTo /D (section.9.2) >>
>>
<<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/I/C[1 0 0]
/Rect [259.505 654.282 273.951 665.185]
/A << /S /GoTo /D (section.9.2) >>
>>
<<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/I/C[1 0 0]
/Rect [421.108 596.053 453.825 606.957]
/A << /S /GoTo /D (figure.7.1) >>
>>
<<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/I/C[1 0 0]
/Rect [439.379 596.053 453.825 606.957]
/A << /S /GoTo /D (figure.7.1) >>
>>
<<
/Type /Annot
/Border[0 0 0]/H/I/C[0 1 1]
/Rect [326.772 482.479 454.102 493.383]
/Subtype/Link/A<</Type/Action/S/URI/URI(http://why3.lri.fr/stdlib/int.html)>>
>>
<<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/I/C[1 0 0]
/Rect [433.063 424.251 465.78 435.155]
/A << /S /GoTo /D (figure.7.2) >>
>>
<<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/I/C[1 0 0]
/Rect [451.334 424.251 465.78 435.155]
/A << /S /GoTo /D (figure.7.2) >>
>>
<<
/Type /Annot
/Border[0 0 0]/H/I/C[0 1 1]
/Rect [326.772 352.52 463.397 363.424]
/Subtype/Link/A<</Type/Action/S/URI/URI(http://why3.lri.fr/stdlib/array.html)>>
>>
<<
/D [1999 0 R /XYZ 71 757.862 null]
>>
<<
/D [1999 0 R /XYZ 72 641.34 null]
>>
<<
/D [1999 0 R /XYZ 72 469.538 null]
>>
<<
/Font << /F51 546 0 R /F77 756 0 R /F70 653 0 R /F67 595 0 R >>
/ProcSet [ /PDF /Text ]
>>
<<
/Type /Page
/Contents 2007 0 R
/Resources 2005 0 R
/MediaBox [0 0 612 792]
/Parent 2002 0 R
/Group 2009 0 R
>>
<<
/Producer (cairo 1.16.0 \(https://cairographics.org\))
/CreationDate (D:20250215101128-12'00)
>>
<<
/Type /Font
/Subtype /TrueType
/BaseFont /VZSFWJ+DejaVuSerif
/FirstChar 32
/LastChar 121
/FontDescriptor 2012 0 R
/Encoding /WinAnsiEncoding
/Widths [ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 317 0 0 0 636 0 0 0 0 0 0 0 0 0 0 0 0 0 0 722 0 765 801 729 693 0 872 395 0 0 664 1023 875 819 672 0 752 685 666 842 0 1027 0 0 0 0 0 0 0 0 0 596 640 560 640 591 370 640 0 319 0 0 319 948 644 602 640 0 478 513 401 644 564 855 563 564]
/ToUnicode 2013 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 2014 0 R
>>
401
8691
<<
/Type /Group
/S /Transparency
/I true
/CS /DeviceRGB
>>
<<
/D [2006 0 R /XYZ 71 757.862 null]
>>
<<
/D [2006 0 R /XYZ 72 669.564 null]
>>
<<
/Font << /F51 546 0 R /F67 595 0 R /F70 653 0 R >>
/XObject << /Im10 1992 0 R >>
/ProcSet [ /PDF /Text ]
>>
<<
/Type /Page
/Contents 2019 0 R
/Resources 2017 0 R
/MediaBox [0 0 612 792]
/Parent 2002 0 R
/Group 2021 0 R
>>
<<
/Producer (cairo 1.16.0 \(https://cairographics.org\))
/CreationDate (D:20250215101128-12'00)
>>
<<
/Type /Font
/Subtype /TrueType
/BaseFont /TWZEQP+DejaVuSerif
/FirstChar 32
/LastChar 121
/FontDescriptor 2024 0 R
/Encoding /WinAnsiEncoding
/Widths [ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 317 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 722 0 0 0 729 0 0 0 395 0 0 664 1023 875 819 672 0 0 685 666 0 0 0 0 0 0 0 0 0 0 0 0 596 0 560 640 591 370 640 644 319 0 0 319 948 644 602 640 640 478 513 401 644 564 855 563 564]
/ToUnicode 2025 0 R
>>
<<
/Type /FontDescriptor
/FontName /TWZEQP+DejaVuSerif
/FontFamily (DejaVu Serif)
/Flags 32
/FontBBox [ -769 -346 2105 1109]
/ItalicAngle 0
/Ascent 928
/Descent -235
/CapHeight 1109
/StemV 80
/StemH 80
/FontFile2 2026 0 R
>>
373
7494
<<
/Type /Group
/S /Transparency
/I true
/CS /DeviceRGB
>>
<<
/D [2018 0 R /XYZ 71 757.862 null]
>>
<<
/D [2018 0 R /XYZ 72 697.768 null]
>>
<<
/Font << /F51 546 0 R /F67 595 0 R /F70 653 0 R >>
/XObject << /Im11 1996 0 R >>
/ProcSet [ /PDF /Text ]
>>
<<
/Type /Page
/Contents 2031 0 R
/Resources 2029 0 R
/MediaBox [0 0 612 792]
/Parent 2002 0 R
>>
<<
/D [2030 0 R /XYZ 71 757.862 null]
>>
<<
/Font << /F51 546 0 R >>
/ProcSet [ /PDF /Text ]
>>
<<
/Type /Page
/Contents 2039 0 R
/Resources 2037 0 R
/MediaBox [0 0 612 792]
/Parent 2002 0 R
/Annots [ 2033 0 R 2034 0 R 2035 0 R 2041 0 R 2036 0 R ]
>>
<<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/I/C[1 0 0]
/Rect [140.088 498.665 201.856 509.569]
/A << /S /GoTo /D (section.6.2) >>
>>
<<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/I/C[1 0 0]
/Rect [205.465 498.665 255.278 509.569]
/A << /S /GoTo /D (section.6.3) >>
>>
<<
/Type /Annot
/Border[0 0 0]/H/I/C[0 1 1]
/Rect [469.864 486.71 540.996 497.614]
/Subtype/Link/A<</Type/Action/S/URI/URI(http://why3.lri.fr/micro-C/)>>
>>
<<
/Type /Annot
/Border[0 0 0]/H/I/C[0 1 1]
/Rect [71.004 474.755 109.469 485.659]
/Subtype/Link/A<</Type/Action/S/URI/URI(http://why3.lri.fr/micro-C/)>>
>>
<<
/Type /Annot
/Border[0 0 0]/H/I/C[0 1 1]
/Rect [126.844 474.755 228.322 485.659]
/Subtype/Link/A<</Type/Action/S/URI/URI(http://why3.lri.fr/python/)>>
>>
<<
/D [2038 0 R /XYZ 71 757.862 null]
>>
<<
/D [2038 0 R /XYZ 72 720 null]
>>
<<
/D [2038 0 R /XYZ 72 460.742 null]
>>
<<
/D [2038 0 R /XYZ 72 393.922 null]
>>
<<
/D [2038 0 R /XYZ 72 321.9 null]
>>
<<
/D [2038 0 R /XYZ 77.978 313.532 null]
>>
<<
/D [2038 0 R /XYZ 205.2 301.577 null]
>>
<<
/D [2038 0 R /XYZ 426.371 289.621 null]
>>
<<
/D [2038 0 R /XYZ 72 196.325 null]
>>
<<
/D [2038 0 R /XYZ 77.978 187.956 null]
>>
<<
/D [2038 0 R /XYZ 486.555 176.001 null]
>>
<<
/D [2038 0 R /XYZ 270.954 164.046 null]
>>
<<
/D [2038 0 R /XYZ 295.163 152.091 null]
>>
<<
/Font << /F51 546 0 R /F67 595 0 R /F84 773 0 R /F70 653 0 R >>
/ProcSet [ /PDF /Text ]
>>
<<
/Type /Page
/Contents 2053 0 R
/Resources 2051 0 R
/MediaBox [0 0 612 792]
/Parent 2002 0 R
>>
<<
/D [2052 0 R /XYZ 71 757.862 null]
>>
<<
/D [2052 0 R /XYZ 72 694.041 null]
>>
<<
/D [2052 0 R /XYZ 77.978 685.672 null]
>>
<<
/D [2052 0 R /XYZ 72 601.94 null]
>>
<<
/D [2052 0 R /XYZ 77.978 593.571 null]
>>
<<
/D [2052 0 R /XYZ 72 426.152 null]
>>
\n+1945 0 333 46 1946 87 1953 194 1951 313 1955 454 1952 495 1961 602 1957 739 1958 906
1959 1072 1963 1258 337 1299 1960 1340 1967 1434 1964 1562 1965 1700 1969 1858 341 1899 345 1939
1966 1980 1974 2113 1972 2232 1976 2368 349 2409 1973 2450 1979 2557 1977 2676 1981 2862 353 2903
1978 2940 1985 3047 1982 3175 1983 3366 1987 3523 357 3564 1984 3605 1999 3699 1988 3881 1989 4018
1990 4155 1991 4291 1993 4427 1994 4592 1995 4727 1997 4862 2001 5028 361 5069 365 5109 1998 5150
2006 5244 2010 5358 2011 5458 2012 5898 2015 6123 2016 6127 2009 6132 2008 6191 2003 6232 2005 6273
2018 6384 2022 6498 2023 6598 2024 7023 2027 7248 2028 7252 2021 7257 2020 7316 2004 7357 2017 7398
2030 7509 2032 7607 2029 7648 2038 7703 2033 7858 2034 7995 2035 8132 2041 8289 2036 8446 2040 8603
369 8644 373 8681 377 8722 2042 8763 2043 8802 2044 8847 2045 8891 2046 8937 2047 8978 2048 9023
2049 9069 2050 9115 2037 9161 2052 9255 2054 9353 2055 9394 2056 9435 2057 9480 2058 9520 2059 9565
<<
/D [1947 0 R /XYZ 432.348 686.127 null]
>>
<<
/D [1947 0 R /XYZ 72 608.827 null]
>>
<<
/Font << /F51 546 0 R /F70 653 0 R /F84 773 0 R /F67 595 0 R /F77 756 0 R >>
/ProcSet [ /PDF /Text ]
>>
<<
/Type /Page
/Contents 1954 0 R
/Resources 1952 0 R
/MediaBox [0 0 612 792]
/Parent 1956 0 R
/Annots [ 1951 0 R ]
>>
<<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/I/C[1 0 0]
/Rect [120.596 336.826 187.798 347.73]
/A << /S /GoTo /D (subsection.7.5.6) >>
>>
<<
/D [1953 0 R /XYZ 71 757.862 null]
>>
<<
/Font << /F51 546 0 R /F77 756 0 R /F70 653 0 R /F67 595 0 R /F83 771 0 R >>
/ProcSet [ /PDF /Text ]
>>
<<
/Type /Page
/Contents 1962 0 R
/Resources 1960 0 R
/MediaBox [0 0 612 792]
/Parent 1956 0 R
/Annots [ 1957 0 R 1958 0 R 1959 0 R ]
>>
<<
/Type /Annot
/Border[0 0 0]/H/I/C[0 1 1]
/Rect [320.436 466.483 378.06 477.387]
/Subtype/Link/A<</Type/Action/S/URI/URI(http://why3.lri.fr/stdlib/option.html)>>
>>
<<
/Type /Annot
/Border[0 0 0]/H/I/C[0 1 1]
/Rect [320.436 403.917 352.605 414.821]
/Subtype/Link/A<</Type/Action/S/URI/URI(http://why3.lri.fr/stdlib/list.html)>>
>>
<<
/Type /Annot
/Border[0 0 0]/H/I/C[0 1 1]
/Rect [340.55 234.951 419.463 245.855]
/Subtype/Link/A<</Type/Action/S/URI/URI(http://toccata.lri.fr/gallery/random_access_list.fr.html)>>
>>
<<
/D [1961 0 R /XYZ 71 757.862 null]
>>
<<
/D [1961 0 R /XYZ 72 624.945 null]
>>
<<
/Font << /F51 546 0 R /F67 595 0 R /F77 756 0 R /F70 653 0 R >>
/ProcSet [ /PDF /Text ]
>>
<<
/Type /Page
/Contents 1968 0 R
/Resources 1966 0 R
/MediaBox [0 0 612 792]
/Parent 1956 0 R
/Annots [ 1964 0 R 1965 0 R ]
>>
<<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/I/C[1 0 0]
/Rect [412.526 432.211 516.137 443.115]
/A << /S /GoTo /D (section*.221) >>
>>
<<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/I/C[0 1 0]
/Rect [153.777 251.906 181.224 260.753]
/A << /S /GoTo /D (cite.zebibliography:ieee754-2008) >>
>>
<<
/D [1967 0 R /XYZ 71 757.862 null]
>>
<<
/D [1967 0 R /XYZ 72 615.78 null]
>>
<<
/D [1967 0 R /XYZ 72 307.091 null]
>>
<<
/Font << /F51 546 0 R /F67 595 0 R /F70 653 0 R /F22 866 0 R /F77 756 0 R /F84 773 0 R /F19 867 0 R >>
/ProcSet [ /PDF /Text ]
>>
<<
/Type /Page
/Contents 1975 0 R
/Resources 1973 0 R
/MediaBox [0 0 612 792]
/Parent 1956 0 R
/Annots [ 1972 0 R ]
>>
<<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/I/C[1 0 0]
/Rect [418.619 676.996 522.231 687.9]
/A << /S /GoTo /D (section*.221) >>
>>
<<
/D [1974 0 R /XYZ 71 757.862 null]
>>
<<
/D [1974 0 R /XYZ 72 528.962 null]
>>
<<
/Font << /F51 546 0 R /F67 595 0 R /F70 653 0 R /F84 773 0 R /F77 756 0 R >>
/ProcSet [ /PDF /Text ]
>>
<<
/Type /Page
/Contents 1980 0 R
/Resources 1978 0 R
/MediaBox [0 0 612 792]
/Parent 1956 0 R
/Annots [ 1977 0 R ]
>>
<<
/Type /Annot
/Border[0 0 0]/H/I/C[0 1 1]
/Rect [293.749 652.631 404.22 663.535]
/Subtype/Link/A<</Type/Action/S/URI/URI(https://en.wikipedia.org/wiki/Exponentiation_by_squaring)>>
>>
<<
/D [1979 0 R /XYZ 71 757.862 null]
>>
<<
/D [1979 0 R /XYZ 72 720 null]
>>
<<
/Font << /F51 546 0 R /F67 595 0 R /F83 771 0 R /F77 756 0 R /F70 653 0 R >>
/ProcSet [ /PDF /Text ]
>>
<<
/Type /Page
/Contents 1986 0 R
/Resources 1984 0 R
/MediaBox [0 0 612 792]
/Parent 1956 0 R
/Annots [ 1982 0 R 1983 0 R ]
>>
<<
/Type /Annot
/Border[0 0 0]/H/I/C[0 1 1]
/Rect [381.705 321.85 473.679 332.754]
/Subtype/Link/A<</Type/Action/S/URI/URI(https://en.wikipedia.org/wiki/Ancient_Egyptian_multiplication)>>
>>
<<
/Type /Annot
/Border[0 0 0]/H/I/C[0 1 1]
/Rect [112.721 160.027 208.769 170.931]
/Subtype/Link/A<</Type/Action/S/URI/URI(http://why3.lri.fr/stdlib/)>>
>>
<<
/D [1985 0 R /XYZ 71 757.862 null]
>>
<<
/D [1985 0 R /XYZ 72 228.018 null]
>>
<<
/Font << /F51 546 0 R /F67 595 0 R /F70 653 0 R /F77 756 0 R >>
/ProcSet [ /PDF /Text ]
>>
<<
/Type /Page
/Contents 2000 0 R
/Resources 1998 0 R
/MediaBox [0 0 612 792]
/Parent 2002 0 R
/Annots [ 1988 0 R 1989 0 R 1990 0 R 1991 0 R 1993 0 R 1994 0 R 1995 0 R 1997 0 R ]
>>
<<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/I/C[1 0 0]
/Rect [227.127 654.282 273.951 665.185]
/A << /S /GoTo /D (section.9.2) >>
>>
<<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/I/C[1 0 0]
/Rect [259.505 654.282 273.951 665.185]
/A << /S /GoTo /D (section.9.2) >>
>>
<<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/I/C[1 0 0]
/Rect [421.108 596.053 453.825 606.957]
/A << /S /GoTo /D (figure.7.1) >>
>>
<<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/I/C[1 0 0]
/Rect [439.379 596.053 453.825 606.957]
/A << /S /GoTo /D (figure.7.1) >>
>>
<<
/Type /Annot
/Border[0 0 0]/H/I/C[0 1 1]
/Rect [326.772 482.479 454.102 493.383]
/Subtype/Link/A<</Type/Action/S/URI/URI(http://why3.lri.fr/stdlib/int.html)>>
>>
<<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/I/C[1 0 0]
/Rect [433.063 424.251 465.78 435.155]
/A << /S /GoTo /D (figure.7.2) >>
>>
<<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/I/C[1 0 0]
/Rect [451.334 424.251 465.78 435.155]
/A << /S /GoTo /D (figure.7.2) >>
>>
<<
/Type /Annot
/Border[0 0 0]/H/I/C[0 1 1]
/Rect [326.772 352.52 463.397 363.424]
/Subtype/Link/A<</Type/Action/S/URI/URI(http://why3.lri.fr/stdlib/array.html)>>
>>
<<
/D [1999 0 R /XYZ 71 757.862 null]
>>
<<
/D [1999 0 R /XYZ 72 641.34 null]
>>
<<
/D [1999 0 R /XYZ 72 469.538 null]
>>
<<
/Font << /F51 546 0 R /F77 756 0 R /F70 653 0 R /F67 595 0 R >>
/ProcSet [ /PDF /Text ]
>>
<<
/Type /Page
/Contents 2007 0 R
/Resources 2005 0 R
/MediaBox [0 0 612 792]
/Parent 2002 0 R
/Group 2009 0 R
>>
<<
/Producer (cairo 1.16.0 \(https://cairographics.org\))
/CreationDate (D:20240115060822+14'00)
>>
<<
/Type /Font
/Subtype /TrueType
/BaseFont /VZSFWJ+DejaVuSerif
/FirstChar 32
/LastChar 121
/FontDescriptor 2012 0 R
/Encoding /WinAnsiEncoding
/Widths [ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 317 0 0 0 636 0 0 0 0 0 0 0 0 0 0 0 0 0 0 722 0 765 801 729 693 0 872 395 0 0 664 1023 875 819 672 0 752 685 666 842 0 1027 0 0 0 0 0 0 0 0 0 596 640 560 640 591 370 640 0 319 0 0 319 948 644 602 640 0 478 513 401 644 564 855 563 564]
/ToUnicode 2013 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 2014 0 R
>>
401
8691
<<
/Type /Group
/S /Transparency
/I true
/CS /DeviceRGB
>>
<<
/D [2006 0 R /XYZ 71 757.862 null]
>>
<<
/D [2006 0 R /XYZ 72 669.564 null]
>>
<<
/Font << /F51 546 0 R /F67 595 0 R /F70 653 0 R >>
/XObject << /Im10 1992 0 R >>
/ProcSet [ /PDF /Text ]
>>
<<
/Type /Page
/Contents 2019 0 R
/Resources 2017 0 R
/MediaBox [0 0 612 792]
/Parent 2002 0 R
/Group 2021 0 R
>>
<<
/Producer (cairo 1.16.0 \(https://cairographics.org\))
/CreationDate (D:20240115060822+14'00)
>>
<<
/Type /Font
/Subtype /TrueType
/BaseFont /TWZEQP+DejaVuSerif
/FirstChar 32
/LastChar 121
/FontDescriptor 2024 0 R
/Encoding /WinAnsiEncoding
/Widths [ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 317 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 722 0 0 0 729 0 0 0 395 0 0 664 1023 875 819 672 0 0 685 666 0 0 0 0 0 0 0 0 0 0 0 0 596 0 560 640 591 370 640 644 319 0 0 319 948 644 602 640 640 478 513 401 644 564 855 563 564]
/ToUnicode 2025 0 R
>>
<<
/Type /FontDescriptor
/FontName /TWZEQP+DejaVuSerif
/FontFamily (DejaVu Serif)
/Flags 32
/FontBBox [ -769 -346 2105 1109]
/ItalicAngle 0
/Ascent 928
/Descent -235
/CapHeight 1109
/StemV 80
/StemH 80
/FontFile2 2026 0 R
>>
373
7494
<<
/Type /Group
/S /Transparency
/I true
/CS /DeviceRGB
>>
<<
/D [2018 0 R /XYZ 71 757.862 null]
>>
<<
/D [2018 0 R /XYZ 72 697.768 null]
>>
<<
/Font << /F51 546 0 R /F67 595 0 R /F70 653 0 R >>
/XObject << /Im11 1996 0 R >>
/ProcSet [ /PDF /Text ]
>>
<<
/Type /Page
/Contents 2031 0 R
/Resources 2029 0 R
/MediaBox [0 0 612 792]
/Parent 2002 0 R
>>
<<
/D [2030 0 R /XYZ 71 757.862 null]
>>
<<
/Font << /F51 546 0 R >>
/ProcSet [ /PDF /Text ]
>>
<<
/Type /Page
/Contents 2039 0 R
/Resources 2037 0 R
/MediaBox [0 0 612 792]
/Parent 2002 0 R
/Annots [ 2033 0 R 2034 0 R 2035 0 R 2041 0 R 2036 0 R ]
>>
<<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/I/C[1 0 0]
/Rect [140.088 498.665 201.856 509.569]
/A << /S /GoTo /D (section.6.2) >>
>>
<<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/I/C[1 0 0]
/Rect [205.465 498.665 255.278 509.569]
/A << /S /GoTo /D (section.6.3) >>
>>
<<
/Type /Annot
/Border[0 0 0]/H/I/C[0 1 1]
/Rect [469.864 486.71 540.996 497.614]
/Subtype/Link/A<</Type/Action/S/URI/URI(http://why3.lri.fr/micro-C/)>>
>>
<<
/Type /Annot
/Border[0 0 0]/H/I/C[0 1 1]
/Rect [71.004 474.755 109.469 485.659]
/Subtype/Link/A<</Type/Action/S/URI/URI(http://why3.lri.fr/micro-C/)>>
>>
<<
/Type /Annot
/Border[0 0 0]/H/I/C[0 1 1]
/Rect [126.844 474.755 228.322 485.659]
/Subtype/Link/A<</Type/Action/S/URI/URI(http://why3.lri.fr/python/)>>
>>
<<
/D [2038 0 R /XYZ 71 757.862 null]
>>
<<
/D [2038 0 R /XYZ 72 720 null]
>>
<<
/D [2038 0 R /XYZ 72 460.742 null]
>>
<<
/D [2038 0 R /XYZ 72 393.922 null]
>>
<<
/D [2038 0 R /XYZ 72 321.9 null]
>>
<<
/D [2038 0 R /XYZ 77.978 313.532 null]
>>
<<
/D [2038 0 R /XYZ 205.2 301.577 null]
>>
<<
/D [2038 0 R /XYZ 426.371 289.621 null]
>>
<<
/D [2038 0 R /XYZ 72 196.325 null]
>>
<<
/D [2038 0 R /XYZ 77.978 187.956 null]
>>
<<
/D [2038 0 R /XYZ 486.555 176.001 null]
>>
<<
/D [2038 0 R /XYZ 270.954 164.046 null]
>>
<<
/D [2038 0 R /XYZ 295.163 152.091 null]
>>
<<
/Font << /F51 546 0 R /F67 595 0 R /F84 773 0 R /F70 653 0 R >>
/ProcSet [ /PDF /Text ]
>>
<<
/Type /Page
/Contents 2053 0 R
/Resources 2051 0 R
/MediaBox [0 0 612 792]
/Parent 2002 0 R
>>
<<
/D [2052 0 R /XYZ 71 757.862 null]
>>
<<
/D [2052 0 R /XYZ 72 694.041 null]
>>
<<
/D [2052 0 R /XYZ 77.978 685.672 null]
>>
<<
/D [2052 0 R /XYZ 72 601.94 null]
>>
<<
/D [2052 0 R /XYZ 77.978 593.571 null]
>>
<<
/D [2052 0 R /XYZ 72 426.152 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 Type\n XRef\n@@ -79844,14 +79844,14 @@\n \n ID\n \n µâe*鶩q¼l» ]P\n µâe*鶩q¼l» ]P\n
\n Length\n-7453\n+7452\n Filter\n FlateDecode\n \n \n \n \n"}]}]}]}]}]}