| Offset 1, 2 lines modified | Offset 1, 2 lines modified | ||
| 1 | · | 1 | ·b67380d33fd977ee8c0c53d4ec1b22f3·272596·ocaml·optional·libcoq-mathcomp-zify_1.5.0+2.0+8.16-4_arm64.deb |
| Offset 1, 3 lines modified | Offset 1, 3 lines modified | ||
| 1 | -rw-r--r--···0········0········0········4·2024-12-05·16:01:11.000000·debian-binary | 1 | -rw-r--r--···0········0········0········4·2024-12-05·16:01:11.000000·debian-binary |
| 2 | -rw-r--r--···0········0········0·····1180·2024-12-05·16:01:11.000000·control.tar.xz | 2 | -rw-r--r--···0········0········0·····1180·2024-12-05·16:01:11.000000·control.tar.xz |
| 3 | -rw-r--r--···0········0········0···271 | 3 | -rw-r--r--···0········0········0···271224·2024-12-05·16:01:11.000000·data.tar.xz |
| Offset 2, 15 lines modified | Offset 2, 15 lines modified | ||
| 2 | Source:·mathcomp-zify | 2 | Source:·mathcomp-zify |
| 3 | Version:·1.5.0+2.0+8.16-4 | 3 | Version:·1.5.0+2.0+8.16-4 |
| 4 | Architecture:·arm64 | 4 | Architecture:·arm64 |
| 5 | Maintainer:·Debian·OCaml·Maintainers·<debian-ocaml-maint@lists.debian.org> | 5 | Maintainer:·Debian·OCaml·Maintainers·<debian-ocaml-maint@lists.debian.org> |
| 6 | Installed-Size:·976 | 6 | Installed-Size:·976 |
| 7 | Depends:·libcoq-mathcomp-algebra-7pf50 | 7 | Depends:·libcoq-mathcomp-algebra-7pf50 |
| 8 | Suggests:·ocaml-findlib | 8 | Suggests:·ocaml-findlib |
| 9 | Provides:·libcoq-mathcomp-zify- | 9 | Provides:·libcoq-mathcomp-zify-iza15 |
| 10 | Section:·ocaml | 10 | Section:·ocaml |
| 11 | Priority:·optional | 11 | Priority:·optional |
| 12 | Homepage:·https://github.com/math-comp/mczify | 12 | Homepage:·https://github.com/math-comp/mczify |
| 13 | Description:·Micromega·arithmetic·solvers·for·Mathematical·Components | 13 | Description:·Micromega·arithmetic·solvers·for·Mathematical·Components |
| 14 | ·This·package·enables·the·use·of·the·micromega·arithmetic·solvers | 14 | ·This·package·enables·the·use·of·the·micromega·arithmetic·solvers |
| 15 | ·of·Coq·for·goals·stated·with·the·Mathematical·Components·library, | 15 | ·of·Coq·for·goals·stated·with·the·Mathematical·Components·library, |
| 16 | ·by·extending·the·zify·tactic. | 16 | ·by·extending·the·zify·tactic. |
| Offset 6, 15 lines modified | Offset 6, 15 lines modified | ||
| 6 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-05·16:01:11.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/ | 6 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-05·16:01:11.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/ |
| 7 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-05·16:01:11.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/ | 7 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-05·16:01:11.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/ |
| 8 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-05·16:01:11.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ | 8 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-05·16:01:11.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ |
| 9 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-05·16:01:11.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ | 9 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-05·16:01:11.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ |
| 10 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-05·16:01:11.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/zify/ | 10 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-05·16:01:11.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/zify/ |
| 11 | -rw-r--r--···0·root·········(0)·root·········(0)····37256·2024-12-05·16:01:11.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/zify/ssrZ.glob | 11 | -rw-r--r--···0·root·········(0)·root·········(0)····37256·2024-12-05·16:01:11.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/zify/ssrZ.glob |
| 12 | -rw-r--r--···0·root·········(0)·root·········(0)·····8219·2024-12-05·16:01:11.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/zify/ssrZ.v | 12 | -rw-r--r--···0·root·········(0)·root·········(0)·····8219·2024-12-05·16:01:11.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/zify/ssrZ.v |
| 13 | -rw-r--r--···0·root·········(0)·root·········(0)···2682 | 13 | -rw-r--r--···0·root·········(0)·root·········(0)···268203·2024-12-05·16:01:11.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/zify/ssrZ.vo |
| 14 | -rw-r--r--···0·root·········(0)·root·········(0)······332·2024-12-05·16:01:11.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/zify/zify.glob | 14 | -rw-r--r--···0·root·········(0)·root·········(0)······332·2024-12-05·16:01:11.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/zify/zify.glob |
| 15 | -rw-r--r--···0·root·········(0)·root·········(0)······163·2024-12-05·16:01:11.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/zify/zify.v | 15 | -rw-r--r--···0·root·········(0)·root·········(0)······163·2024-12-05·16:01:11.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/zify/zify.v |
| 16 | -rw-r--r--···0·root·········(0)·root·········(0)······892·2024-12-05·16:01:11.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/zify/zify.vo | 16 | -rw-r--r--···0·root·········(0)·root·········(0)······892·2024-12-05·16:01:11.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/zify/zify.vo |
| 17 | -rw-r--r--···0·root·········(0)·root·········(0)····61923·2024-12-05·16:01:11.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/zify/zify_algebra.glob | 17 | -rw-r--r--···0·root·········(0)·root·········(0)····61923·2024-12-05·16:01:11.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/zify/zify_algebra.glob |
| 18 | -rw-r--r--···0·root·········(0)·root·········(0)····18045·2024-12-05·16:01:11.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/zify/zify_algebra.v | 18 | -rw-r--r--···0·root·········(0)·root·········(0)····18045·2024-12-05·16:01:11.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/zify/zify_algebra.v |
| 19 | -rw-r--r--···0·root·········(0)·root·········(0)···266874·2024-12-05·16:01:11.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/zify/zify_algebra.vo | 19 | -rw-r--r--···0·root·········(0)·root·········(0)···266874·2024-12-05·16:01:11.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/zify/zify_algebra.vo |
| 20 | -rw-r--r--···0·root·········(0)·root·········(0)····77489·2024-12-05·16:01:11.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/zify/zify_ssreflect.glob | 20 | -rw-r--r--···0·root·········(0)·root·········(0)····77489·2024-12-05·16:01:11.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/zify/zify_ssreflect.glob |
| Offset 1, 8 lines modified | Offset 1, 8 lines modified | ||
| 00000000:·436f·7121·0001·4050·0000·0000·0004·1 | 00000000:·436f·7121·0001·4050·0000·0000·0004·16f9··Coq!..@P........ | ||
| 00000010:·8495·a6be·0000·04bc·0000·00e7·0000·0328··...............( | 00000010:·8495·a6be·0000·04bc·0000·00e7·0000·0328··...............( | ||
| 00000020:·0000·02ae·c0a0·2473·7372·5aa0·247a·6966··......$ssrZ.$zif | 00000020:·0000·02ae·c0a0·2473·7372·5aa0·247a·6966··......$ssrZ.$zif | ||
| 00000030:·79a0·286d·6174·6863·6f6d·7040·0800·0067··y.(mathcomp@...g | 00000030:·79a0·286d·6174·6863·6f6d·7040·0800·0067··y.(mathcomp@...g | ||
| 00000040:·00a0·a027·5072·656c·7564·65a0·2449·6e69··...'Prelude.$Ini | 00000040:·00a0·a027·5072·656c·7564·65a0·2449·6e69··...'Prelude.$Ini | ||
| 00000050:·74a0·2343·6f71·4090·30d7·81b7·d17d·1c12··t.#Coq@.0....}.. | 00000050:·74a0·2343·6f71·4090·30d7·81b7·d17d·1c12··t.#Coq@.0....}.. | ||
| 00000060:·1541·cd2f·630b·4087·b2a0·a026·5a41·7269··.A./c.@....&ZAri | 00000060:·1541·cd2f·630b·4087·b2a0·a026·5a41·7269··.A./c.@....&ZAri | ||
| 00000070:·7468·a004·02a0·2343·6f71·4090·307f·dee3··th....#Coq@.0... | 00000070:·7468·a004·02a0·2343·6f71·4090·307f·dee3··th....#Coq@.0... | ||
| Offset 73, 15 lines modified | Offset 73, 15 lines modified | ||
| 00000480:·6c67·6562·7261·a028·6d61·7468·636f·6d70··lgebra.(mathcomp | 00000480:·6c67·6562·7261·a028·6d61·7468·636f·6d70··lgebra.(mathcomp | ||
| 00000490:·4090·3050·2792·ab01·8155·e406·89c1·29e0··@.0P'....U....). | 00000490:·4090·3050·2792·ab01·8155·e406·89c1·29e0··@.0P'....U....). | ||
| 000004a0:·6b31·33a0·a02e·7a69·6679·5f73·7372·6566··k13...zify_ssref | 000004a0:·6b31·33a0·a02e·7a69·6679·5f73·7372·6566··k13...zify_ssref | ||
| 000004b0:·6c65·6374·a024·7a69·6679·a028·6d61·7468··lect.$zify.(math | 000004b0:·6c65·6374·a024·7a69·6679·a028·6d61·7468··lect.$zify.(math | ||
| 000004c0:·636f·6d70·4090·30a5·7b87·28d6·c867·fae4··comp@.0.{.(..g.. | 000004c0:·636f·6d70·4090·30a5·7b87·28d6·c867·fae4··comp@.0.{.(..g.. | ||
| 000004d0:·3270·917f·9de7·9625·352e·332e·30a0·4040··2p.....%5.3.0.@@ | 000004d0:·3270·917f·9de7·9625·352e·332e·30a0·4040··2p.....%5.3.0.@@ | ||
| 000004e0:·c67c·e294·c27e·53a3·d85a·5557·552f·3bd4··.|...~S..ZUWU/;. | 000004e0:·c67c·e294·c27e·53a3·d85a·5557·552f·3bd4··.|...~S..ZUWU/;. | ||
| 000004f0:·8495·a6be·0003·92 | 000004f0:·8495·a6be·0003·9237·0000·d2e0·0002·c78e··.......7........ | ||
| 00000500:·0002·b415·b0d0·a024·7373·725a·a024·7a69··.......$ssrZ.$zi | 00000500:·0002·b415·b0d0·a024·7373·725a·a024·7a69··.......$ssrZ.$zi | ||
| 00000510:·6679·a028·6d61·7468·636f·6d70·40e0·9004··fy.(mathcomp@... | 00000510:·6679·a028·6d61·7468·636f·6d70·40e0·9004··fy.(mathcomp@... | ||
| 00000520:·0841·90a0·a028·696e·745f·6f66·5f5a·9008··.A...(int_of_Z.. | 00000520:·0841·90a0·a028·696e·745f·6f66·5f5a·9008··.A...(int_of_Z.. | ||
| 00000530:·0000·2700·40a0·8080·91b7·a090·216e·409b··..'.@.......!n@. | 00000530:·0000·2700·40a0·8080·91b7·a090·216e·409b··..'.@.......!n@. | ||
| 00000540:·a0a0·90b0·90a0·2742·696e·4e75·6d73·a027··......'BinNums.' | 00000540:·a0a0·90b0·90a0·2742·696e·4e75·6d73·a027··......'BinNums.' | ||
| 00000550:·4e75·6d62·6572·73a0·2343·6f71·4021·5a02··Numbers.#Coq@!Z. | 00000550:·4e75·6d62·6572·73a0·2343·6f71·4021·5a02··Numbers.#Coq@!Z. | ||
| 00000560:·1237·97de·4004·13fd·d004·0d40·b040·4141··.7..@......@.@AA | 00000560:·1237·97de·4004·13fd·d004·0d40·b040·4141··.7..@......@.@AA | ||
| Offset 4280, 16 lines modified | Offset 4280, 16 lines modified | ||
| 00010b70:·4040·4040·a040·4040·a0c0·e090·326d·6174··@@@@.@@@....2mat | 00010b70:·4040·4040·a040·4040·a0c0·e090·326d·6174··@@@@.@@@....2mat | ||
| 00010b80:·6863·6f6d·702e·7a69·6679·2e73·7372·5a31··hcomp.zify.ssrZ1 | 00010b80:·6863·6f6d·702e·7a69·6679·2e73·7372·5a31··hcomp.zify.ssrZ1 | ||
| 00010b90:·2e2f·7468·656f·7269·6573·2f73·7372·5a2e··./theories/ssrZ. | 00010b90:·2e2f·7468·656f·7269·6573·2f73·7372·5a2e··./theories/ssrZ. | ||
| 00010ba0:·7601·0460·0104·b26a·0104·60c0·4040·4041··v..`...j..`.@@@A | 00010ba0:·7601·0460·0104·b26a·0104·60c0·4040·4041··v..`...j..`.@@@A | ||
| 00010bb0:·b0c3·9140·2f6c·6f63·616c·2d63·616e·6f6e··...@/local-canon | 00010bb0:·b0c3·9140·2f6c·6f63·616c·2d63·616e·6f6e··...@/local-canon | ||
| 00010bc0:·6963·616c·b095·a091·0431·5804·0da0·2254··ical.....1X..."T | 00010bc0:·6963·616c·b095·a091·0431·5804·0da0·2254··ical.....1X..."T | ||
| 00010bd0:·7990·9090·9028·636f·6e73·7461·6e74·4004··y....(constant@. | 00010bd0:·7990·9090·9028·636f·6e73·7461·6e74·4004··y....(constant@. | ||
| 00010be0:·14a0·0407·9090·9040·4040·4040·293 | 00010be0:·14a0·0407·9090·9040·4040·4040·2933·3632··.......@@@@@)362 | ||
| 00010bf0:·3 | 00010bf0:·3836·3635·3132·e0d0·d0d0·d040·2540·6361··866512.....@%@ca | ||
| 00010c00:·7374·a0b0·b490·a021·5422·6c70·40b0·b490··st.....!T"lp@... | 00010c00:·7374·a0b0·b490·a021·5422·6c70·40b0·b490··st.....!T"lp@... | ||
| 00010c10:·a022·5459·0406·40b0·c391·4023·6c65·74b0··."TY..@...@#let. | 00010c10:·a022·5459·0406·40b0·c391·4023·6c65·74b0··."TY..@...@#let. | ||
| 00010c20:·95a0·9024·6361·7374·53e0·4030·636f·712d··...$castS.@0coq- | 00010c20:·95a0·9024·6361·7374·53e0·4030·636f·712d··...$castS.@0coq- | ||
| 00010c30:·6275·696c·7469·6e2e·656c·7069·0124·e801··builtin.elpi.$.. | 00010c30:·6275·696c·7469·6e2e·656c·7069·0124·e801··builtin.elpi.$.. | ||
| 00010c40:·24ee·0100·e101·24cf·a004·2990·40a0·b0a1··$.....$...).@... | 00010c40:·24ee·0100·e101·24cf·a004·2990·40a0·b0a1··$.....$...).@... | ||
| 00010c50:·9004·1704·12e0·4004·0801·24ef·0124·f101··......@...$..$.. | 00010c50:·9004·1704·12e0·4004·0801·24ef·0124·f101··......@...$..$.. | ||
| 00010c60:·00e1·0124·cfa0·0430·9040·a0b0·a190·041e··...$...0.@...... | 00010c60:·00e1·0124·cfa0·0430·9040·a0b0·a190·041e··...$...0.@...... | ||
| Offset 9027, 16 lines modified | Offset 9027, 16 lines modified | ||
| 00023420:·0545·c101·0558·0105·6267·0105·58d0·4005··.E...X..bg..X.@. | 00023420:·0545·c101·0558·0105·6267·0105·58d0·4005··.E...X..bg..X.@. | ||
| 00023430:·1708·a0a0·9040·a090·40a0·9041·a090·4140··.....@..@..A..A@ | 00023430:·1708·a0a0·9040·a090·40a0·9041·a090·4140··.....@..@..A..A@ | ||
| 00023440:·e040·0516·6901·01ac·0101·d54c·0101·acd0··.@..i......L.... | 00023440:·e040·0516·6901·01ac·0101·d54c·0101·acd0··.@..i......L.... | ||
| 00023450:·4005·1707·a0a0·9040·a090·41a0·9041·40e0··@......@..A..A@. | 00023450:·4005·1707·a0a0·9040·a090·41a0·9041·40e0··@......@..A..A@. | ||
| 00023460:·4005·1672·0101·d701·0203·4d01·01d7·d040··@..r......M....@ | 00023460:·4005·1672·0101·d701·0203·4d01·01d7·d040··@..r......M....@ | ||
| 00023470:·0517·05a0·a090·40a0·9041·40e0·4005·1679··......@..A@.@..y | 00023470:·0517·05a0·a090·40a0·9041·40e0·4005·1679··......@..A@.@..y | ||
| 00023480:·0102·2a01·0242·4f01·022a·4041·4243·4445··..*..BO..*@ABCDE | 00023480:·0102·2a01·0242·4f01·022a·4041·4243·4445··..*..BO..*@ABCDE | ||
| 00023490:·4647·4849·4b4c·0546·140c·0000·0000·00 | 00023490:·4647·4849·4b4c·0546·140c·0000·0000·0000··FGHIKL.F........ | ||
| 000234a0:·e | 000234a0:·e93e·4041·40a0·95a0·020b·7b4f·44a0·40a0··.>@A@.....{OD.@. | ||
| 000234b0:·a005·68f5·a091·056c·ee40·40a0·95a0·020b··..h....l.@@..... | 000234b0:·a005·68f5·a091·056c·ee40·40a0·95a0·020b··..h....l.@@..... | ||
| 000234c0:·7b4f·44a0·40a0·a005·690e·a091·0569·6640··{OD.@...i....if@ | 000234c0:·7b4f·44a0·40a0·a005·690e·a091·0569·6640··{OD.@...i....if@ | ||
| 000234d0:·40a0·95a0·020b·7b4f·44a0·40a0·a005·691c··@.....{OD.@...i. | 000234d0:·40a0·95a0·020b·7b4f·44a0·40a0·a005·691c··@.....{OD.@...i. | ||
| 000234e0:·a091·0569·9e40·40a0·95a0·020b·7b4f·44a0··...i.@@.....{OD. | 000234e0:·a091·0569·9e40·40a0·95a0·020b·7b4f·44a0··...i.@@.....{OD. | ||
| 000234f0:·40a0·a005·6918·a091·0569·3d40·40a0·95a0··@...i....i=@@... | 000234f0:·40a0·a005·6918·a091·0569·3d40·40a0·95a0··@...i....i=@@... | ||
| 00023500:·020b·7b4f·44a0·40a0·a005·6931·a091·0569··..{OD.@...i1...i | 00023500:·020b·7b4f·44a0·40a0·a005·6931·a091·0569··..{OD.@...i1...i | ||
| 00023510:·b540·40a0·95a0·0232·0a51·8fa0·0569·6eb0··.@@....2.Q...in. | 00023510:·b540·40a0·95a0·0232·0a51·8fa0·0569·6eb0··.@@....2.Q...in. | ||
| Offset 9047, 15 lines modified | Offset 9047, 15 lines modified | ||
| 00023560:·885a·a0a0·9104·0f05·697e·40a0·95a0·0234··.Z......i~@....4 | 00023560:·885a·a0a0·9104·0f05·697e·40a0·95a0·0234··.Z......i~@....4 | ||
| 00023570:·7dc1·ffa0·275f·454c·5049·5f32·c0a0·2268··}...'_ELPI_2.."h | 00023570:·7dc1·ffa0·275f·454c·5049·5f32·c0a0·2268··}...'_ELPI_2.."h | ||
| 00023580:·62a0·2264·6240·a0a0·b005·6695·2132·0221··b."db@....f.!2.! | 00023580:·62a0·2264·6240·a0a0·b005·6695·2132·0221··b."db@....f.!2.! | ||
| 00023590:·bfd8·e1d0·0546·6bd0·e040·4040·4040·0546··.....Fk..@@@@@.F | 00023590:·bfd8·e1d0·0546·6bd0·e040·4040·4040·0546··.....Fk..@@@@@.F | ||
| 000235a0:·6a40·a0c0·0546·6905·4665·b0c3·9140·0546··j@...Fi.Fe...@.F | 000235a0:·6a40·a0c0·0546·6905·4665·b0c3·9140·0546··j@...Fi.Fe...@.F | ||
| 000235b0:·64b0·95a0·9104·2958·0546·70a0·0546·6390··d.....)X.Fp..Fc. | 000235b0:·64b0·95a0·9104·2958·0546·70a0·0546·6390··d.....)X.Fp..Fc. | ||
| 000235c0:·9090·0546·6240·0546·74a0·0546·6790·9090··...Fb@.Ft..Fg... | 000235c0:·9090·0546·6240·0546·74a0·0546·6790·9090··...Fb@.Ft..Fg... | ||
| 000235d0:·4040·4040·4029·3 | 000235d0:·4040·4040·4029·3730·3931·3431·3539·39e0··@@@@@)709141599. | ||
| 000235e0:·0546·6005·4102·053f·7f05·1746·0516·b705··.F`.A..?...F.... | 000235e0:·0546·6005·4102·053f·7f05·1746·0516·b705··.F`.A..?...F.... | ||
| 000235f0:·467d·0c00·0000·0000·00e9·3e40·4140·a095··F}........>@A@.. | 000235f0:·467d·0c00·0000·0000·00e9·3e40·4140·a095··F}........>@A@.. | ||
| 00023600:·a002·0b7b·4f44·a040·a0a0·0569·03a0·9105··...{OD.@...i.... | 00023600:·a002·0b7b·4f44·a040·a0a0·0569·03a0·9105··...{OD.@...i.... | ||
| 00023610:·6d57·4040·a095·a002·0b7b·4f44·a040·a0a0··mW@@.....{OD.@.. | 00023610:·6d57·4040·a095·a002·0b7b·4f44·a040·a0a0··mW@@.....{OD.@.. | ||
| 00023620:·0569·1fa0·9105·69cf·4040·a095·a002·0b7b··.i....i.@@.....{ | 00023620:·0569·1fa0·9105·69cf·4040·a095·a002·0b7b··.i....i.@@.....{ | ||
| 00023630:·4f44·a040·a0a0·0569·2da0·9105·6a07·4040··OD.@...i-...j.@@ | 00023630:·4f44·a040·a0a0·0569·2da0·9105·6a07·4040··OD.@...i-...j.@@ | ||
| 00023640:·a095·a002·0b7b·4f44·a040·a0a0·0569·29a0··.....{OD.@...i). | 00023640:·a095·a002·0b7b·4f44·a040·a0a0·0569·29a0··.....{OD.@...i). | ||
| Offset 9070, 772 lines modified | Offset 9070, 772 lines modified | ||
| 000236d0:·5aa0·a091·040f·0569·9840·a095·a002·347d··Z......i.@....4} | 000236d0:·5aa0·a091·040f·0569·9840·a095·a002·347d··Z......i.@....4} | ||
| 000236e0:·c1ff·a027·5f45·4c50·495f·33c0·a022·6862··...'_ELPI_3.."hb | 000236e0:·c1ff·a027·5f45·4c50·495f·33c0·a022·6862··...'_ELPI_3.."hb | ||
| 000236f0:·a022·6462·40a0·a0b0·0567·0621·3302·21bf··."db@....g.!3.!. | 000236f0:·a022·6462·40a0·a0b0·0567·0621·3302·21bf··."db@....g.!3.!. | ||
| 00023700:·d8e2·d005·46dc·d0e0·4040·4040·4005·46db··....F...@@@@@.F. | 00023700:·d8e2·d005·46dc·d0e0·4040·4040·4005·46db··....F...@@@@@.F. | ||
| 00023710:·40a0·c005·46da·0546·d6b0·c391·4005·46d5··@...F..F....@.F. | 00023710:·40a0·c005·46da·0546·d6b0·c391·4005·46d5··@...F..F....@.F. | ||
| 00023720:·b095·a091·0429·5805·46e1·a005·46d4·9090··.....)X.F...F... | 00023720:·b095·a091·0429·5805·46e1·a005·46d4·9090··.....)X.F...F... | Diff chunk too large, falling back to line-by-line diff (758 lines added, 758 lines removed) | |
| 00023730:·9005·46d3·4005·46e5·a005·46d8·9090·9040··..F.@.F...F....@ | 00023730:·9005·46d3·4005·46e5·a005·46d8·9090·9040··..F.@.F...F....@ | ||
| 00023740:·4040·4040·2 | 00023740:·4040·4040·2834·3430·3936·3637·39e0·0546··@@@@(44096679..F | ||
| 00023750:· | 00023750:·d105·4173·053f·f005·17b7·0517·2805·46ee··..As.?......(.F. | ||
| 00023760:· | 00023760:·0c00·0000·0000·00e9·3e40·4140·a095·a002··........>@A@.... | ||
| 00023770:· | 00023770:·347d·c1ff·a027·5f45·4c50·495f·34c0·a022··4}...'_ELPI_4.." | ||
| 00023780:· | 00023780:·6862·a022·6462·40a0·a0b0·0567·2b21·3402··hb."db@....g+!4. | ||
| 00023790:· | 00023790:·21bf·d8e3·d005·4701·d0e0·4040·4040·4005··!.....G...@@@@@. | ||
| 000237a0:· | 000237a0:·4700·40a0·c005·46ff·0546·fbb0·c391·4005··G.@...F..F....@. | ||
| 000237b0:· | 000237b0:·2a13·b095·a005·4702·4305·4705·a005·46f8··*.....G.C.G...F. | ||
| 000237c0:· | 000237c0:·9090·9005·2a15·a0b0·95a0·092f·4461·7461··....*....../Data | ||
| 000237d0:· | 000237d0:·7479·7065·735f·6e61·745f·5f63·616e·6f6e··types_nat__canon | ||
| 000237e0:·6 | 000237e0:·6963·616c·5f5f·436f·756e·7452·696e·675f··ical__CountRing_ | ||
| 000237f0:· | 000237f0:·436f·6d53·656d·6952·696e·6743·0547·0ea0··ComSemiRingC.G.. | ||
| 00023800:· | 00023800:·0547·0190·9090·052a·1ca0·b095·0436·0547··.G.....*.....6.G | ||
| 00023810:· | 00023810:·15a0·0547·0890·9090·052a·2140·0547·19a0··...G.....*!@.G.. | ||
| 00023820:· | 00023820:·0547·0c90·9090·4040·4040·4029·3333·3937··.G....@@@@@)3397 | ||
| 00023830:·3 | 00023830:·3235·3631·35e0·0547·0505·41a7·0540·2405··25615..G..A..@$. | ||
| 00023840:· | 00023840:·17eb·0517·5c05·4722·0c00·0000·0000·c0f1··....\.G"........ | ||
| 00023850:· | 00023850:·3ea0·a0b0·0567·5521·3502·21bf·d8e4·d005··>....gU!5.!..... | ||
| 00023860:· | 00023860:·472b·d0e0·4040·4040·4005·472a·40a0·c005··G+..@@@@@.G*@... | ||
| 00023870:· | 00023870:·4729·0547·25b0·c391·4005·2a3d·b095·042a··G).G%...@.*=...* | ||
| 00023880:· | 00023880:·0547·2ea0·0547·2190·9090·052a·3ea0·b095··.G...G!....*>... | ||
| 00023890:· | 00023890:·a009·2c44·6174·6174·7970·6573·5f6e·6174··..,Datatypes_nat | ||
| 000238a0:· | 000238a0:·5f5f·6361·6e6f·6e69·6361·6c5f·5f43·6f75··__canonical__Cou | ||
| 000238b0:· | 000238b0:·6e74·5269·6e67·5f53·656d·6952·696e·6743··ntRing_SemiRingC | ||
| 000238c0:· | 000238c0:·0547·37a0·0547·2a90·9090·052a·45a0·b095··.G7..G*....*E... | ||
| 000238d0:· | 000238d0:·04d0·0547·3ea0·0547·3190·9090·052a·4a40··...G>..G1....*J@ | ||
| 000238e0:· | 000238e0:·0547·42a0·0547·3590·9090·4040·4040·4029··.GB..G5...@@@@@) | ||
| 000238f0:· | 000238f0:·3333·3937·3235·3631·35e0·0547·2e05·41d0··339725615..G..A. | ||
| 00023900:· | 00023900:·0540·4d05·1814·0517·8505·474b·0c00·0000··.@M.......GK.... | ||
| 00023910:·0000·00 | 00023910:·0000·00ca·3ea0·a0b0·0567·7e21·3602·21bf··....>....g~!6.!. | ||
| 00023920:· | 00023920:·d8e5·d005·4754·d0e0·4040·4040·4005·4753··....GT..@@@@@.GS | ||
| 00023930:· | 00023930:·40a0·c005·4752·0547·4eb0·c391·4005·2a66··@...GR.GN...@.*f | ||
| 00023940:· | 00023940:·b095·0453·0547·57a0·0547·4a90·9090·052a··...S.GW..GJ....* | ||
| 00023950:· | 00023950:·67a0·b095·a009·2b44·6174·6174·7970·6573··g.....+Datatypes | ||
| 00023960:· | 00023960:·5f6e·6174·5f5f·6361·6e6f·6e69·6361·6c5f··_nat__canonical_ | ||
| 00023970:·5f | 00023970:·5f43·6f75·6e74·5269·6e67·5f4e·6d6f·6475··_CountRing_Nmodu | ||
| 00023980:· | 00023980:·6c65·4305·4760·a005·4753·9090·9005·2a6e··leC.G`..GS....*n | ||
| 00023990:· | 00023990:·a0b0·9505·475c·0547·67a0·0547·5a90·9090··....G\.Gg..GZ... | ||
| 000239a0:· | 000239a0:·052a·7340·0547·6ba0·0547·5e90·9090·4040··.*s@.Gk..G^...@@ | ||
| 000239b0:·4040·40 | 000239b0:·4040·4029·3333·3937·3235·3631·35e0·0547··@@@)339725615..G | ||
| 000239c0:· | 000239c0:·5705·41f9·0540·7605·183d·0517·ae05·4774··W.A..@v..=....Gt | ||
| 000239d0:· | 000239d0:·0c00·0000·0000·00ca·3ea0·a0b0·0567·a721··........>....g.! | ||
| 000239e0:· | 000239e0:·3702·21bf·d8e6·d005·477d·d0e0·4040·4040··7.!.....G}..@@@@ | ||
| 000239f0:·40 | 000239f0:·4005·477c·40a0·c005·477b·0547·77b0·c391··@.G|@...G{.Gw... | ||
| Max diff block lines reached; 926614/1037217 bytes (89.34%) of diff not shown. | |||
| Offset 8, 49 lines modified | Offset 8, 49 lines modified | ||
| 00000070:·6567·61a0·2343·6f71·4090·307c·6658·83eb··ega.#Coq@.0|fX.. | 00000070:·6567·61a0·2343·6f71·4090·307c·6658·83eb··ega.#Coq@.0|fX.. | ||
| 00000080:·4e7d·03cb·41cf·867d·b8b4·28a0·a02e·7a69··N}..A..}..(...zi | 00000080:·4e7d·03cb·41cf·867d·b8b4·28a0·a02e·7a69··N}..A..}..(...zi | ||
| 00000090:·6679·5f73·7372·6566·6c65·6374·a024·7a69··fy_ssreflect.$zi | 00000090:·6679·5f73·7372·6566·6c65·6374·a024·7a69··fy_ssreflect.$zi | ||
| 000000a0:·6679·a028·6d61·7468·636f·6d70·4090·30a5··fy.(mathcomp@.0. | 000000a0:·6679·a028·6d61·7468·636f·6d70·4090·30a5··fy.(mathcomp@.0. | ||
| 000000b0:·7b87·28d6·c867·fae4·3270·917f·9de7·96a0··{.(..g..2p...... | 000000b0:·7b87·28d6·c867·fae4·3270·917f·9de7·96a0··{.(..g..2p...... | ||
| 000000c0:·a02c·7a69·6679·5f61·6c67·6562·7261·a024··.,zify_algebra.$ | 000000c0:·a02c·7a69·6679·5f61·6c67·6562·7261·a024··.,zify_algebra.$ | ||
| 000000d0:·7a69·6679·a028·6d61·7468·636f·6d70·4090··zify.(mathcomp@. | 000000d0:·7a69·6679·a028·6d61·7468·636f·6d70·4090··zify.(mathcomp@. | ||
| 000000e0:·30 | 000000e0:·3044·7b85·fa97·1184·65be·8880·5b6f·d998··0D{.....e...[o.. | ||
| 000000f0:· | 000000f0:·7f25·352e·332e·30a0·4040·1421·c9d8·6ca6··.%5.3.0.@@.!..l. | ||
| 00000100:· | 00000100:·91b7·b72d·6f6b·e25a·055e·8495·a6be·0000··...-ok.Z.^...... | ||
| 00000110:·013d·0000·005c·0000·011d·0000·0104·b0d0··.=...\.......... | 00000110:·013d·0000·005c·0000·011d·0000·0104·b0d0··.=...\.......... | ||
| 00000120:·a024·7a69·6679·a004·02a0·286d·6174·6863··.$zify....(mathc | 00000120:·a024·7a69·6679·a004·02a0·286d·6174·6863··.$zify....(mathc | ||
| 00000130:·6f6d·7040·e090·0407·4190·4040·a040·4090··omp@....A.@@.@@. | 00000130:·6f6d·7040·e090·0407·4190·4040·a040·4090··omp@....A.@@.@@. | ||
| 00000140:·40a0·4040·90a0·a02c·7a69·6679·5f61·6c67··@.@@...,zify_alg | 00000140:·40a0·4040·90a0·a02c·7a69·6679·5f61·6c67··@.@@...,zify_alg | ||
| 00000150:·6562·7261·a024·7a69·6679·a028·6d61·7468··ebra.$zify.(math | 00000150:·6562·7261·a024·7a69·6679·a028·6d61·7468··ebra.$zify.(math | ||
| 00000160:·636f·6d70·4090·30 | 00000160:·636f·6d70·4090·3044·7b85·fa97·1184·65be··comp@.0D{.....e. | ||
| 00000170:· | 00000170:·8880·5b6f·d998·7f90·40a0·a094·a0a0·4090··..[o....@.....@. | ||
| 00000180:·a023·4c69·61a0·296d·6963·726f·6d65·6761··.#Lia.)micromega | 00000180:·a023·4c69·61a0·296d·6963·726f·6d65·6761··.#Lia.)micromega | ||
| 00000190:·a023·436f·7140·40a0·94a0·a040·9004·0b40··.#Coq@@....@...@ | 00000190:·a023·436f·7140·40a0·94a0·a040·9004·0b40··.#Coq@@....@...@ | ||
| 000001a0:·a094·a0a0·40a2·a290·a02e·7a69·6679·5f73··....@.....zify_s | 000001a0:·a094·a0a0·40a2·a290·a02e·7a69·6679·5f73··....@.....zify_s | ||
| 000001b0:·7372·6566·6c65·6374·a024·7a69·6679·a028··sreflect.$zify.( | 000001b0:·7372·6566·6c65·6374·a024·7a69·6679·a028··sreflect.$zify.( | ||
| 000001c0:·6d61·7468·636f·6d70·4036·5373·7265·666c··mathcomp@6Ssrefl | 000001c0:·6d61·7468·636f·6d70·4036·5373·7265·666c··mathcomp@6Ssrefl | ||
| 000001d0:·6563·745a·6966·7949·6e73·7461·6e63·6573··ectZifyInstances | 000001d0:·6563·745a·6966·7949·6e73·7461·6e63·6573··ectZifyInstances | ||
| 000001e0:·2745·7870·6f72·7473·40a0·94a0·a040·040f··'Exports@....@.. | 000001e0:·2745·7870·6f72·7473·40a0·94a0·a040·040f··'Exports@....@.. | ||
| 000001f0:·40a0·94a0·a040·a2a2·90a0·2c7a·6966·795f··@....@....,zify_ | 000001f0:·40a0·94a0·a040·a2a2·90a0·2c7a·6966·795f··@....@....,zify_ | ||
| 00000200:·616c·6765·6272·61a0·247a·6966·79a0·286d··algebra.$zify.(m | 00000200:·616c·6765·6272·61a0·247a·6966·79a0·286d··algebra.$zify.(m | ||
| 00000210:·6174·6863·6f6d·7040·3441·6c67·6562·7261··athcomp@4Algebra | 00000210:·6174·6863·6f6d·7040·3441·6c67·6562·7261··athcomp@4Algebra | ||
| 00000220:·5a69·6679·496e·7374·616e·6365·7327·4578··ZifyInstances'Ex | 00000220:·5a69·6679·496e·7374·616e·6365·7327·4578··ZifyInstances'Ex | ||
| 00000230:·706f·7274·7340·a094·a0a0·4004·0f40·4040··ports@....@..@@@ | 00000230:·706f·7274·7340·a094·a0a0·4004·0f40·4040··ports@....@..@@@ | ||
| 00000240:·a0a0·94a0·a040·042c·40a0·94a0·a040·042b··.....@.,@....@.+ | 00000240:·a0a0·94a0·a040·042c·40a0·94a0·a040·042b··.....@.,@....@.+ | ||
| 00000250:·40a0·94a0·a040·041c·4040·40 | 00000250:·40a0·94a0·a040·041c·4040·408a·2c2b·9133··@....@..@@@.,+.3 | ||
| 00000260:· | 00000260:·ce59·d845·f407·d700·23be·5a84·95a6·be00··.Y.E....#.Z..... | ||
| 00000270:·0000·0100·0000·0000·0000·0000·0000·0080··................ | 00000270:·0000·0100·0000·0000·0000·0000·0000·0080··................ | ||
| 00000280:·6144·c86c·d4a1·68cd·7049·5a5c·c422·ade9··aD.l..h.pIZ\.".. | 00000280:·6144·c86c·d4a1·68cd·7049·5a5c·c422·ade9··aD.l..h.pIZ\.".. | ||
| 00000290:·8495·a6be·0000·0016·0000·0006·0000·0013··................ | 00000290:·8495·a6be·0000·0016·0000·0006·0000·0013··................ | ||
| 000002a0:·0000·0011·a0a0·247a·6966·79a0·0402·a028··......$zify....( | 000002a0:·0000·0011·a0a0·247a·6966·79a0·0402·a028··......$zify....( | ||
| 000002b0:·6d61·7468·636f·6d70·4080·61b3·3621·ede7··mathcomp@.a.6!.. | 000002b0:·6d61·7468·636f·6d70·4080·61b3·3621·ede7··mathcomp@.a.6!.. | ||
| 000002c0:·a9ac·19e3·8912·d8f0·fac9·0000·0004·0000··................ | 000002c0:·a9ac·19e3·8912·d8f0·fac9·0000·0004·0000··................ | ||
| 000002d0:·0007·6c69·6272·6172·7900·0000·0000·0001··..library....... | 000002d0:·0007·6c69·6272·6172·7900·0000·0000·0001··..library....... | ||
| 000002e0:·0a00·0000·0000·0001·51 | 000002e0:·0a00·0000·0000·0001·518a·2c2b·9133·ce59··........Q.,+.3.Y | ||
| 000002f0:· | 000002f0:·d845·f407·d700·23be·5a00·0000·076f·7061··.E....#.Z....opa | ||
| 00000300:·7175·6573·0000·0000·0000·026b·0000·0000··ques.......k.... | 00000300:·7175·6573·0000·0000·0000·026b·0000·0000··ques.......k.... | ||
| 00000310:·0000·0015·6144·c86c·d4a1·68cd·7049·5a5c··....aD.l..h.pIZ\ | 00000310:·0000·0015·6144·c86c·d4a1·68cd·7049·5a5c··....aD.l..h.pIZ\ | ||
| 00000320:·c422·ade9·0000·0007·7375·6d6d·6172·7900··."......summary. | 00000320:·c422·ade9·0000·0007·7375·6d6d·6172·7900··."......summary. | ||
| 00000330:·0000·0000·0000·1000·0000·0000·0000·ea | 00000330:·0000·0000·0000·1000·0000·0000·0000·ea14··................ | ||
| 00000340:· | 00000340:·21c9·d86c·a691·b7b7·2d6f·6be2·5a05·5e00··!..l....-ok.Z.^. | ||
| 00000350:·0000·0976·6d6c·6962·7261·7279·0000·0000··...vmlibrary.... | 00000350:·0000·0976·6d6c·6962·7261·7279·0000·0000··...vmlibrary.... | ||
| 00000360:·0000·0290·0000·0000·0000·002a·61b3·3621··...........*a.6! | 00000360:·0000·0290·0000·0000·0000·002a·61b3·3621··...........*a.6! | ||
| 00000370:·ede7·a9ac·19e3·8912·d8f0·fac9············............ | 00000370:·ede7·a9ac·19e3·8912·d8f0·fac9············............ |
| Offset 79, 18 lines modified | Offset 79, 18 lines modified | ||
| 000004e0:·96a0·a026·696e·7464·6976·a027·616c·6765··...&intdiv.'alge | 000004e0:·96a0·a026·696e·7464·6976·a027·616c·6765··...&intdiv.'alge | ||
| 000004f0:·6272·61a0·286d·6174·6863·6f6d·7040·9030··bra.(mathcomp@.0 | 000004f0:·6272·61a0·286d·6174·6863·6f6d·7040·9030··bra.(mathcomp@.0 | ||
| 00000500:·07dc·ddcf·679c·112a·66df·9908·74f5·c59d··....g..*f...t... | 00000500:·07dc·ddcf·679c·112a·66df·9908·74f5·c59d··....g..*f...t... | ||
| 00000510:·a0a0·2e7a·6966·795f·7373·7265·666c·6563··...zify_ssreflec | 00000510:·a0a0·2e7a·6966·795f·7373·7265·666c·6563··...zify_ssreflec | ||
| 00000520:·74a0·247a·6966·79a0·286d·6174·6863·6f6d··t.$zify.(mathcom | 00000520:·74a0·247a·6966·79a0·286d·6174·6863·6f6d··t.$zify.(mathcom | ||
| 00000530:·7040·9030·a57b·8728·d6c8·67fa·e432·7091··p@.0.{.(..g..2p. | 00000530:·7040·9030·a57b·8728·d6c8·67fa·e432·7091··p@.0.{.(..g..2p. | ||
| 00000540:·7f9d·e796·a0a0·2473·7372·5aa0·247a·6966··......$ssrZ.$zif | 00000540:·7f9d·e796·a0a0·2473·7372·5aa0·247a·6966··......$ssrZ.$zif | ||
| 00000550:·79a0·286d·6174·6863·6f6d·7040·9030· | 00000550:·79a0·286d·6174·6863·6f6d·7040·9030·0916··y.(mathcomp@.0.. | ||
| 00000560:·26fc·3a8a·cf94·15d4·a5dd·20c6·eb3d·2535··&.:.......·..=%5 | |||
| 00000570:·2e33·2e30·a040·40ca·778e·27c9·d15f·077c··.3.0.@@.w.'.._.| | |||
| 000005 | 00000560:·0360·d4dd·d637·8888·edf6·fa5f·a2fe·2535··.`...7....._..%5 | ||
| 00000570:·2e33·2e30·a040·40c5·f090·342c·a0a3·0e93··.3.0.@@...4,.... | |||
| 00000580:·5966·f8ab·b44a·5184·95a6·be00·01b1·7000··Yf...JQ.......p. | |||
| 00000590:·0051·d400·0120·6700·0116·7fb0·d0a0·2c7a··.Q...·g.......,z | 00000590:·0051·d400·0120·6700·0116·7fb0·d0a0·2c7a··.Q...·g.......,z | ||
| 000005a0:·6966·795f·616c·6765·6272·61a0·247a·6966··ify_algebra.$zif | 000005a0:·6966·795f·616c·6765·6272·61a0·247a·6966··ify_algebra.$zif | ||
| 000005b0:·79a0·286d·6174·6863·6f6d·7040·e090·0408··y.(mathcomp@.... | 000005b0:·79a0·286d·6174·6863·6f6d·7040·e090·0408··y.(mathcomp@.... | ||
| 000005c0:·4190·a0a0·3441·6c67·6562·7261·5a69·6679··A...4AlgebraZify | 000005c0:·4190·a0a0·3441·6c67·6562·7261·5a69·6679··A...4AlgebraZify | ||
| 000005d0:·496e·7374·616e·6365·7393·e0a2·0408·0404··Instances....... | 000005d0:·496e·7374·616e·6365·7393·e0a2·0408·0404··Instances....... | ||
| 000005e0:·4190·a0a0·246e·6174·6e90·0800·0027·0040··A...$natn....'.@ | 000005e0:·4190·a0a0·246e·6174·6e90·0800·0027·0040··A...$natn....'.@ | ||
| 000005f0:·a080·8092·c040·4004·1840·b6a0·9021·6e40··.....@@..@...!n@ | 000005f0:·a080·8092·c040·4004·1840·b6a0·9021·6e40··.....@@..@...!n@ | ||
| Offset 5410, 16 lines modified | Offset 5410, 16 lines modified | ||
| 00015210:·190a·3c0e·544b·f090·b0a0·0516·a1a0·0516··..<.TK.......... | 00015210:·190a·3c0e·544b·f090·b0a0·0516·a1a0·0516··..<.TK.......... | ||
| 00015220:·a0a0·0516·9f40·2002·0000·bcea·41a0·0300··.....@·.....A... | 00015220:·a0a0·0516·9f40·2002·0000·bcea·41a0·0300··.....@·.....A... | ||
| 00015230:·190a·3c0d·df2f·2590·b004·0704·0402·0000··..<../%......... | 00015230:·190a·3c0d·df2f·2590·b004·0704·0402·0000··..<../%......... | ||
| 00015240:·bc75·4042·b0a0·0300·190a·3c10·7fd4·8590··.u@B......<..... | 00015240:·bc75·4042·b0a0·0300·190a·3c10·7fd4·8590··.u@B......<..... | ||
| 00015250:·b004·0b04·0802·0000·bf15·4104·5840·4344··..........A.X@CD | 00015250:·b004·0b04·0802·0000·bf15·4104·5840·4344··..........A.X@CD | ||
| 00015260:·4546·47a0·a0a0·0501·dea0·0503·88a0·0503··EFG............. | 00015260:·4546·47a0·a0a0·0501·dea0·0503·88a0·0503··EFG............. | ||
| 00015270:·8740·9030·07dc·ddcf·679c·112a·66df·9908··.@.0....g..*f... | 00015270:·8740·9030·07dc·ddcf·679c·112a·66df·9908··.@.0....g..*f... | ||
| 00015280:·74f5·c59d·a005·3429·9030· | 00015280:·74f5·c59d·a005·3429·9030·0916·0360·d4dd··t.....4).0...`.. | ||
| 00015290:· | 00015290:·d637·8888·edf6·fa5f·a2fe·9040·a0a0·94a0··.7....._...@.... | ||
| 000152a0:·a040·90a0·234c·6961·a005·2d3e·a005·374a··.@..#Lia..->..7J | 000152a0:·a040·90a0·234c·6961·a005·2d3e·a005·374a··.@..#Lia..->..7J | ||
| 000152b0:·4040·a094·a0a0·4090·0409·40a0·a005·376d··@@....@...@...7m | 000152b0:·4040·a094·a0a0·4090·0409·40a0·a005·376d··@@....@...@...7m | ||
| 000152c0:·a040·90a0·a005·372f·a040·9040·40a0·94a0··.@....7/.@.@@... | 000152c0:·a040·90a0·a005·372f·a040·9040·40a0·94a0··.@....7/.@.@@... | ||
| 000152d0:·a040·a2a2·9005·050a·0505·0427·4578·706f··.@.........'Expo | 000152d0:·a040·a2a2·9005·050a·0505·0427·4578·706f··.@.........'Expo | ||
| 000152e0:·7274·7340·a094·a0a0·4004·0840·a094·a0a0··rts@....@..@.... | 000152e0:·7274·7340·a094·a0a0·4004·0840·a094·a0a0··rts@....@..@.... | ||
| 000152f0:·40a2·a205·3789·0537·8505·3743·40a0·94a0··@...7..7..7C@... | 000152f0:·40a2·a205·3789·0537·8505·3743·40a0·94a0··@...7..7..7C@... | ||
| 00015300:·a040·0406·4040·40a0·a094·a0a0·4004·2440··.@..@@@.....@.$@ | 00015300:·a040·0406·4040·40a0·a094·a0a0·4004·2440··.@..@@@.....@.$@ | ||
| Offset 7018, 16 lines modified | Offset 7018, 16 lines modified | ||
| 0001b690:·03a8·a080·80a0·95a0·021a·c203·3b9a·a005··............;... | 0001b690:·03a8·a080·80a0·95a0·021a·c203·3b9a·a005··............;... | ||
| 0001b6a0:·0376·a080·80a0·95a0·021a·c203·3b9a·a005··.v..........;... | 0001b6a0:·0376·a080·80a0·95a0·021a·c203·3b9a·a005··.v..........;... | ||
| 0001b6b0:·0320·a080·80a0·95a0·021a·c203·3b9a·a005··.·..........;... | 0001b6b0:·0320·a080·80a0·95a0·021a·c203·3b9a·a005··.·..........;... | ||
| 0001b6c0:·02ee·a080·80a0·95a0·021a·c203·3b9a·a005··............;... | 0001b6c0:·02ee·a080·80a0·95a0·021a·c203·3b9a·a005··............;... | ||
| 0001b6d0:·02bc·a080·80a0·95a0·021a·c203·3b9a·a005··............;... | 0001b6d0:·02bc·a080·80a0·95a0·021a·c203·3b9a·a005··............;... | ||
| 0001b6e0:·0266·a080·80a0·95a0·021a·c203·3b9a·a005··.f..........;... | 0001b6e0:·0266·a080·80a0·95a0·021a·c203·3b9a·a005··.f..........;... | ||
| 0001b6f0:·0234·a080·8040·40a0·94a0·a040·051a·4c40··.4...@@....@..L@ | 0001b6f0:·0234·a080·8040·40a0·94a0·a040·051a·4c40··.4...@@....@..L@ | ||
| 0001b700:·a094·a0a0·4005·1a44·4040·40 | 0001b700:·a094·a0a0·4005·1a44·4040·4044·7b85·fa97··....@..D@@@D{... | ||
| 0001b710:· | 0001b710:·1184·65be·8880·5b6f·d998·7f84·95a6·be00··..e...[o........ | ||
| 0001b720:·00af·a600·0020·7600·0072·1200·0071·2e08··.....·v..r...q.. | 0001b720:·00af·a600·0020·7600·0072·1200·0071·2e08··.....·v..r...q.. | ||
| 0001b730:·0000·2b00·90a0·b7a0·9021·6e40·9ba0·a090··..+......!n@.... | 0001b730:·0000·2b00·90a0·b7a0·9021·6e40·9ba0·a090··..+......!n@.... | ||
| 0001b740:·b090·a029·4461·7461·7479·7065·73a0·2449··...)Datatypes.$I | 0001b740:·b090·a029·4461·7461·7479·7065·73a0·2449··...)Datatypes.$I | ||
| 0001b750:·6e69·74a0·2343·6f71·4023·6e61·7402·0ef2··nit.#Coq@#nat... | 0001b750:·6e69·74a0·2343·6f71·4023·6e61·7402·0ef2··nit.#Coq@#nat... | ||
| 0001b760:·1606·40a0·8080·a9b7·a090·285f·6576·6172··..@.......(_evar | 0001b760:·1606·40a0·8080·a9b7·a090·285f·6576·6172··..@.......(_evar | ||
| 0001b770:·5f30·5f40·a9b7·0418·0415·a99b·a0a0·90b0··_0_@............ | 0001b770:·5f30·5f40·a9b7·0418·0415·a99b·a0a0·90b0··_0_@............ | ||
| 0001b780:·90a0·254c·6f67·6963·0416·2265·7102·10d0··..%Logic.."eq... | 0001b780:·90a0·254c·6f67·6963·0416·2265·7102·10d0··..%Logic.."eq... | ||
| Offset 16664, 17 lines modified | Offset 16664, 17 lines modified | ||
| 00041170:·100c·0800·0037·0094·0503·3f93·0502·a694··.....7....?..... | 00041170:·100c·0800·0037·0094·0503·3f93·0502·a694··.....7....?..... | ||
| 00041180:·0502·ff94·aa05·0292·0502·9298·b005·0318··................ | 00041180:·0502·ff94·aa05·0292·0502·9298·b005·0318··................ | ||
| 00041190:·4142·98b0·0503·1a41·6a94·0502·fc94·0502··AB.....Aj....... | 00041190:·4142·98b0·0503·1a41·6a94·0502·fc94·0502··AB.....Aj....... | ||
| 000411a0:·f794·0502·f298·b005·031f·416d·9405·02e8··..........Am.... | 000411a0:·f794·0502·f298·b005·031f·416d·9405·02e8··..........Am.... | ||
| 000411b0:·9405·02e3·9405·02de·3ac0·eb90·b590·2e93··........:....... | 000411b0:·9405·02e3·9405·02de·3ac0·eb90·b590·2e93··........:....... | ||
| 000411c0:·3519·f67f·b1c9·b08e·0000·0004·0000·0007··5............... | 000411c0:·3519·f67f·b1c9·b08e·0000·0004·0000·0007··5............... | ||
| 000411d0:·6c69·6272·6172·7900·0000·0000·0005·8700··library......... | 000411d0:·6c69·6272·6172·7900·0000·0000·0005·8700··library......... | ||
| 000411e0:·0000·0000·01b1·84 | 000411e0:·0000·0000·01b1·8444·7b85·fa97·1184·65be··.......D{.....e. | ||
| 000411f0:· | 000411f0:·8880·5b6f·d998·7f00·0000·076f·7061·7175··..[o.......opaqu | ||
| 00041200:·6573·0000·0000·0001·b71b·0000·0000·0000··es.............. | 00041200:·6573·0000·0000·0001·b71b·0000·0000·0000··es.............. | ||
| 00041210:·afba·1f3e·dfc5·fcce·7b20·8c82·6919·209f··...>....{·..i.·. | 00041210:·afba·1f3e·dfc5·fcce·7b20·8c82·6919·209f··...>....{·..i.·. | ||
| 00041220:·a3c8·0000·0007·7375·6d6d·6172·7900·0000··......summary... | 00041220:·a3c8·0000·0007·7375·6d6d·6172·7900·0000··......summary... | ||
| 00041230:·0000·0000·1000·0000·0000·0005·67c | 00041230:·0000·0000·1000·0000·0000·0005·67c5·f090··............g... | ||
| 00041240:· | 00041240:·342c·a0a3·0e93·5966·f8ab·b44a·5100·0000··4,....Yf...JQ... | ||
| 00041250:·0976·6d6c·6962·7261·7279·0000·0000·0002··.vmlibrary...... | 00041250:·0976·6d6c·6962·7261·7279·0000·0000·0002··.vmlibrary...... | ||
| 00041260:·66e5·0000·0000·0001·aad3·3ac0·eb90·b590··f.........:..... | 00041260:·66e5·0000·0000·0001·aad3·3ac0·eb90·b590··f.........:..... | ||
| 00041270:·2e93·3519·f67f·b1c9·b08e·················..5....... | 00041270:·2e93·3519·f67f·b1c9·b08e·················..5....... |
| Offset 1, 1 lines modified | Offset 1, 1 lines modified | ||
| 1 | 1 | iza15 | |