| Offset 1, 2 lines modified | Offset 1, 2 lines modified | ||
| 1 | · | 1 | ·149e7269131ab313359f81ae7ea5ab3c·272388·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·····118 | 2 | -rw-r--r--···0········0········0·····1184·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···271012·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-5b0v3 | 7 | Depends:·libcoq-mathcomp-algebra-5b0v3 |
| 8 | Suggests:·ocaml-findlib | 8 | Suggests:·ocaml-findlib |
| 9 | Provides:·libcoq-mathcomp-zify- | 9 | Provides:·libcoq-mathcomp-zify-tqua2 |
| 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.2.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.2.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.2.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.2.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.2.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.2.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.2.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.2.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.2.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.2.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.2.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.2.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.2.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.2.0/coq/user-contrib/mathcomp/zify/ssrZ.v |
| 13 | -rw-r--r--···0·root·········(0)·root·········(0)···268 | 13 | -rw-r--r--···0·root·········(0)·root·········(0)···268245·2024-12-05·16:01:11.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.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.2.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.2.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.2.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.2.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.2.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.2.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.2.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.2.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.2.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.2.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.2.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.2.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.2.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.2.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·1723··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·306e·1ea7·6653·34e4··t.#Coq@.0n..fS4. | 00000050:·74a0·2343·6f71·4090·306e·1ea7·6653·34e4··t.#Coq@.0n..fS4. | ||
| 00000060:·bc65·c3cc·25eb·7fca·42a0·a026·5a41·7269··.e..%...B..&ZAri | 00000060:·bc65·c3cc·25eb·7fca·42a0·a026·5a41·7269··.e..%...B..&ZAri | ||
| 00000070:·7468·a004·02a0·2343·6f71·4090·3014·dfef··th....#Coq@.0... | 00000070:·7468·a004·02a0·2343·6f71·4090·3014·dfef··th....#Coq@.0... | ||
| Offset 73, 16 lines modified | Offset 73, 16 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·30b4·6d3c·7b22·b8b8·7959·a27f·1c23··@.0.m<{"..yY...# | 00000490:·4090·30b4·6d3c·7b22·b8b8·7959·a27f·1c23··@.0.m<{"..yY...# | ||
| 000004a0:·d3d7·a1a0·a02e·7a69·6679·5f73·7372·6566··......zify_ssref | 000004a0:·d3d7·a1a0·a02e·7a69·6679·5f73·7372·6566··......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·301f·24f2·fc05·28d1·835d··comp@.0.$...(..] | 000004c0:·636f·6d70·4090·301f·24f2·fc05·28d1·835d··comp@.0.$...(..] | ||
| 000004d0:·d2ef·e0d6·f533·5e25·352e·322e·30a0·4040··.....3^%5.2.0.@@ | 000004d0:·d2ef·e0d6·f533·5e25·352e·322e·30a0·4040··.....3^%5.2.0.@@ | ||
| 000004e0:·213b·5e8c·b569·826a·9a7a·3144·9937·b857··!;^..i.j.z1D.7.W | 000004e0:·213b·5e8c·b569·826a·9a7a·3144·9937·b857··!;^..i.j.z1D.7.W | ||
| 000004f0:·8495·a6be·0003·92 | 000004f0:·8495·a6be·0003·9261·0000·d2e0·0002·c792··.......a........ | ||
| 00000500:·0002·b41 | 00000500:·0002·b419·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 | ||
| 00000570:·b040·4141·9044·0418·80a0·a090·0418·9ba0··.@AA.D.......... | 00000570:·b040·4141·9044·0418·80a0·a090·0418·9ba0··.@AA.D.......... | ||
| 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·283 | 00010be0:·14a0·0407·9090·9040·4040·4040·2832·3430··.......@@@@@(240 | ||
| 00010bf0:·3 | 00010bf0:·3932·3830·36e0·d0d0·d0d0·4025·4063·6173··92806.....@%@cas | ||
| 00010c00:·74a0·b0b4·90a0·2154·226c·7040·b0b4·90a0··t.....!T"lp@.... | 00010c00:·74a0·b0b4·90a0·2154·226c·7040·b0b4·90a0··t.....!T"lp@.... | ||
| 00010c10:·2254·5904·0640·b0c3·9140·236c·6574·b095··"TY..@...@#let.. | 00010c10:·2254·5904·0640·b0c3·9140·236c·6574·b095··"TY..@...@#let.. | ||
| 00010c20:·a090·2463·6173·7453·e040·3063·6f71·2d62··..$castS.@0coq-b | 00010c20:·a090·2463·6173·7453·e040·3063·6f71·2d62··..$castS.@0coq-b | ||
| 00010c30:·7569·6c74·696e·2e65·6c70·6901·24e8·0124··uiltin.elpi.$..$ | 00010c30:·7569·6c74·696e·2e65·6c70·6901·24e8·0124··uiltin.elpi.$..$ | ||
| 00010c40:·ee01·00e1·0124·cfa0·0429·9040·a0b0·a190··.....$...).@.... | 00010c40:·ee01·00e1·0124·cfa0·0429·9040·a0b0·a190··.....$...).@.... | ||
| 00010c50:·0417·0412·e040·0408·0124·ef01·24f1·0100··.....@...$..$... | 00010c50:·0417·0412·e040·0408·0124·ef01·24f1·0100··.....@...$..$... | ||
| 00010c60:·e101·24cf·a004·3090·40a0·b0a1·9004·1e04··..$...0.@....... | 00010c60:·e101·24cf·a004·3090·40a0·b0a1·9004·1e04··..$...0.@....... | ||
| Offset 9027, 15 lines modified | Offset 9027, 15 lines modified | ||
| 00023420:·45c1·0105·5801·0562·6701·0558·d040·0517··E...X..bg..X.@.. | 00023420:·45c1·0105·5801·0562·6701·0558·d040·0517··E...X..bg..X.@.. | ||
| 00023430:·08a0·a090·40a0·9040·a090·41a0·9041·40e0··....@..@..A..A@. | 00023430:·08a0·a090·40a0·9040·a090·41a0·9041·40e0··....@..@..A..A@. | ||
| 00023440:·4005·1669·0101·ac01·01d5·4c01·01ac·d040··@..i......L....@ | 00023440:·4005·1669·0101·ac01·01d5·4c01·01ac·d040··@..i......L....@ | ||
| 00023450:·0517·07a0·a090·40a0·9041·a090·4140·e040··......@..A..A@.@ | 00023450:·0517·07a0·a090·40a0·9041·a090·4140·e040··......@..A..A@.@ | ||
| 00023460:·0516·7201·01d7·0102·034d·0101·d7d0·4005··..r......M....@. | 00023460:·0516·7201·01d7·0102·034d·0101·d7d0·4005··..r......M....@. | ||
| 00023470:·1705·a0a0·9040·a090·4140·e040·0516·7901··.....@..A@.@..y. | 00023470:·1705·a0a0·9040·a090·4140·e040·0516·7901··.....@..A@.@..y. | ||
| 00023480:·022a·0102·424f·0102·2a40·4142·4344·4546··.*..BO..*@ABCDEF | 00023480:·022a·0102·424f·0102·2a40·4142·4344·4546··.*..BO..*@ABCDEF | ||
| 00023490:·4748·494b·4c05·4614·0c00·0000·0000· | 00023490:·4748·494b·4c05·4614·0c00·0000·0000·00e7··GHIKL.F......... | ||
| 000234a0:·3e40·4140·a095·a002·0b7b·4f44·a040·a0a0··>@A@.....{OD.@.. | 000234a0:·3e40·4140·a095·a002·0b7b·4f44·a040·a0a0··>@A@.....{OD.@.. | ||
| 000234b0:·0568·f5a0·9105·6cee·4040·a095·a002·0b7b··.h....l.@@.....{ | 000234b0:·0568·f5a0·9105·6cee·4040·a095·a002·0b7b··.h....l.@@.....{ | ||
| 000234c0:·4f44·a040·a0a0·0569·0ea0·9105·6966·4040··OD.@...i....if@@ | 000234c0:·4f44·a040·a0a0·0569·0ea0·9105·6966·4040··OD.@...i....if@@ | ||
| 000234d0:·a095·a002·0b7b·4f44·a040·a0a0·0569·1ca0··.....{OD.@...i.. | 000234d0:·a095·a002·0b7b·4f44·a040·a0a0·0569·1ca0··.....{OD.@...i.. | ||
| 000234e0:·9105·699e·4040·a095·a002·0b7b·4f44·a040··..i.@@.....{OD.@ | 000234e0:·9105·699e·4040·a095·a002·0b7b·4f44·a040··..i.@@.....{OD.@ | ||
| 000234f0:·a0a0·0569·18a0·9105·693d·4040·a095·a002··...i....i=@@.... | 000234f0:·a0a0·0569·18a0·9105·693d·4040·a095·a002··...i....i=@@.... | ||
| 00023500:·0b7b·4f44·a040·a0a0·0569·31a0·9105·69b5··.{OD.@...i1...i. | 00023500:·0b7b·4f44·a040·a0a0·0569·31a0·9105·69b5··.{OD.@...i1...i. | ||
| Offset 9047, 17 lines modified | Offset 9047, 17 lines modified | ||
| 00023560:·5aa0·a091·040f·0569·7e40·a095·a002·347d··Z......i~@....4} | 00023560:·5aa0·a091·040f·0569·7e40·a095·a002·347d··Z......i~@....4} | ||
| 00023570:·c1ff·a027·5f45·4c50·495f·32c0·a022·6862··...'_ELPI_2.."hb | 00023570:·c1ff·a027·5f45·4c50·495f·32c0·a022·6862··...'_ELPI_2.."hb | ||
| 00023580:·a022·6462·40a0·a0b0·0566·9521·3202·21bf··."db@....f.!2.!. | 00023580:·a022·6462·40a0·a0b0·0566·9521·3202·21bf··."db@....f.!2.!. | ||
| 00023590:·d8e1·d005·466b·d0e0·4040·4040·4005·466a··....Fk..@@@@@.Fj | 00023590:·d8e1·d005·466b·d0e0·4040·4040·4005·466a··....Fk..@@@@@.Fj | ||
| 000235a0:·40a0·c005·4669·0546·65b0·c391·4005·4664··@...Fi.Fe...@.Fd | 000235a0:·40a0·c005·4669·0546·65b0·c391·4005·4664··@...Fi.Fe...@.Fd | ||
| 000235b0:·b095·a091·0429·5805·4670·a005·4663·9090··.....)X.Fp..Fc.. | 000235b0:·b095·a091·0429·5805·4670·a005·4663·9090··.....)X.Fp..Fc.. | ||
| 000235c0:·9005·4662·4005·4674·a005·4667·9090·9040··..Fb@.Ft..Fg...@ | 000235c0:·9005·4662·4005·4674·a005·4667·9090·9040··..Fb@.Ft..Fg...@ | ||
| 000235d0:·4040·4040·293 | 000235d0:·4040·4040·2931·3231·3534·3031·3031·e005··@@@@)121540101.. | ||
| 000235e0:·4660·0541·0205·3f7f·0517·4605·16b7·0546··F`.A..?...F....F | 000235e0:·4660·0541·0205·3f7f·0517·4605·16b7·0546··F`.A..?...F....F | ||
| 000235f0:·7d0c·0000·0000·00 | 000235f0:·7d0c·0000·0000·0080·eb3e·4041·40a0·95a0··}........>@A@... | ||
| 00023600:·020b·7b4f·44a0·40a0·a005·6903·a091·056d··..{OD.@...i....m | 00023600:·020b·7b4f·44a0·40a0·a005·6903·a091·056d··..{OD.@...i....m | ||
| 00023610:·5740·40a0·95a0·020b·7b4f·44a0·40a0·a005··W@@.....{OD.@... | 00023610:·5740·40a0·95a0·020b·7b4f·44a0·40a0·a005··W@@.....{OD.@... | ||
| 00023620:·691f·a091·0569·cf40·40a0·95a0·020b·7b4f··i....i.@@.....{O | 00023620:·691f·a091·0569·cf40·40a0·95a0·020b·7b4f··i....i.@@.....{O | ||
| 00023630:·44a0·40a0·a005·692d·a091·056a·0740·40a0··D.@...i-...j.@@. | 00023630:·44a0·40a0·a005·692d·a091·056a·0740·40a0··D.@...i-...j.@@. | ||
| 00023640:·95a0·020b·7b4f·44a0·40a0·a005·6929·a091··....{OD.@...i).. | 00023640:·95a0·020b·7b4f·44a0·40a0·a005·6929·a091··....{OD.@...i).. | ||
| 00023650:·0569·a640·40a0·95a0·020b·7b4f·44a0·40a0··.i.@@.....{OD.@. | 00023650:·0569·a640·40a0·95a0·020b·7b4f·44a0·40a0··.i.@@.....{OD.@. | ||
| 00023660:·a005·692e·a091·0569·5740·40a0·95a0·020b··..i....iW@@..... | 00023660:·a005·692e·a091·0569·5740·40a0·95a0·020b··..i....iW@@..... | ||
| Offset 9070, 81 lines modified | Offset 9070, 81 lines modified | ||
| 000236d0:·a0a0·9104·0f05·6998·40a0·95a0·0234·7dc1··......i.@....4}. | 000236d0:·a0a0·9104·0f05·6998·40a0·95a0·0234·7dc1··......i.@....4}. | ||
| 000236e0:·ffa0·275f·454c·5049·5f33·c0a0·2268·62a0··..'_ELPI_3.."hb. | 000236e0:·ffa0·275f·454c·5049·5f33·c0a0·2268·62a0··..'_ELPI_3.."hb. | ||
| 000236f0:·2264·6240·a0a0·b005·6706·2133·0221·bfd8··"db@....g.!3.!.. | 000236f0:·2264·6240·a0a0·b005·6706·2133·0221·bfd8··"db@....g.!3.!.. | ||
| 00023700:·e2d0·0546·dcd0·e040·4040·4040·0546·db40··...F...@@@@@.F.@ | 00023700:·e2d0·0546·dcd0·e040·4040·4040·0546·db40··...F...@@@@@.F.@ | ||
| 00023710:·a0c0·0546·da05·46d6·b0c3·9140·0546·d5b0··...F..F....@.F.. | 00023710:·a0c0·0546·da05·46d6·b0c3·9140·0546·d5b0··...F..F....@.F.. | ||
| 00023720:·95a0·9104·2958·0546·e1a0·0546·d490·9090··....)X.F...F.... | 00023720:·95a0·9104·2958·0546·e1a0·0546·d490·9090··....)X.F...F.... | ||
| 00023730:·0546·d340·0546·e5a0·0546·d890·9090·4040··.F.@.F...F....@@ | 00023730:·0546·d340·0546·e5a0·0546·d890·9090·4040··.F.@.F...F....@@ | ||
| 00023740:·4040·4029·3 | 00023740:·4040·4029·3335·3537·3831·3932·37e0·0546··@@@)355781927..F | ||
| 00023750:·d105·4173·053f·f005·17b7·0517·2805·46ee··..As.?......(.F. | 00023750:·d105·4173·053f·f005·17b7·0517·2805·46ee··..As.?......(.F. | ||
| 00023760:·0c00·0000·0000· | 00023760:·0c00·0000·0000·00e9·3e40·4140·a095·a002··........>@A@.... | ||
| 00023770:·347d·c1ff·a027·5f45·4c50·495f·34c0·a022··4}...'_ELPI_4.." | 00023770:·347d·c1ff·a027·5f45·4c50·495f·34c0·a022··4}...'_ELPI_4.." | ||
| 00023780:·6862·a022·6462·40a0·a0b0·0567·2b21·3402··hb."db@....g+!4. | 00023780:·6862·a022·6462·40a0·a0b0·0567·2b21·3402··hb."db@....g+!4. | ||
| 00023790:·21bf·d8e3·d005·4701·d0e0·4040·4040·4005··!.....G...@@@@@. | 00023790:·21bf·d8e3·d005·4701·d0e0·4040·4040·4005··!.....G...@@@@@. | ||
| 000237a0:·4700·40a0·c005·46ff·0546·fbb0·c391·4005··G.@...F..F....@. | 000237a0:·4700·40a0·c005·46ff·0546·fbb0·c391·4005··G.@...F..F....@. | ||
| 000237b0:·2a13·b095·a005·4702·4305·4705·a005·46f8··*.....G.C.G...F. | 000237b0:·2a13·b095·a005·4702·4305·4705·a005·46f8··*.....G.C.G...F. | ||
| 000237c0:·9090·9005·2a15·a0b0·95a0·092f·4461·7461··....*....../Data | 000237c0:·9090·9005·2a15·a0b0·95a0·092f·4461·7461··....*....../Data | ||
| 000237d0:·7479·7065·735f·6e61·745f·5f63·616e·6f6e··types_nat__canon | 000237d0:·7479·7065·735f·6e61·745f·5f63·616e·6f6e··types_nat__canon | ||
| 000237e0:·6963·616c·5f5f·436f·756e·7452·696e·675f··ical__CountRing_ | 000237e0:·6963·616c·5f5f·436f·756e·7452·696e·675f··ical__CountRing_ | ||
| 000237f0:·436f·6d53·656d·6952·696e·6743·0547·0ea0··ComSemiRingC.G.. | 000237f0:·436f·6d53·656d·6952·696e·6743·0547·0ea0··ComSemiRingC.G.. | ||
| 00023800:·0547·0190·9090·052a·1ca0·b095·0436·0547··.G.....*.....6.G | 00023800:·0547·0190·9090·052a·1ca0·b095·0436·0547··.G.....*.....6.G | ||
| 00023810:·15a0·0547·0890·9090·052a·2140·0547·19a0··...G.....*!@.G.. | 00023810:·15a0·0547·0890·9090·052a·2140·0547·19a0··...G.....*!@.G.. | ||
| 00023820:·0547·0c90·9090·4040·4040·4029·3 | 00023820:·0547·0c90·9090·4040·4040·4029·3835·3438··.G....@@@@@)8548 | ||
| 00023830:·3 | 00023830:·3938·3832·32e0·0547·0505·41a7·0540·2405··98822..G..A..@$. | ||
| 00023840:·17eb·0517·5c05·4722·0c00·0000·0000· | 00023840:·17eb·0517·5c05·4722·0c00·0000·0000·00f2··....\.G"........ | ||
| 00023850:·3ea0·a0b0·0567·5521·3502·21bf·d8e4·d005··>....gU!5.!..... | 00023850:·3ea0·a0b0·0567·5521·3502·21bf·d8e4·d005··>....gU!5.!..... | ||
| 00023860:·472b·d0e0·4040·4040·4005·472a·40a0·c005··G+..@@@@@.G*@... | 00023860:·472b·d0e0·4040·4040·4005·472a·40a0·c005··G+..@@@@@.G*@... | ||
| 00023870:·4729·0547·25b0·c391·4005·2a3d·b095·042a··G).G%...@.*=...* | 00023870:·4729·0547·25b0·c391·4005·2a3d·b095·042a··G).G%...@.*=...* | ||
| 00023880:·0547·2ea0·0547·2190·9090·052a·3ea0·b095··.G...G!....*>... | 00023880:·0547·2ea0·0547·2190·9090·052a·3ea0·b095··.G...G!....*>... | ||
| 00023890:·a009·2c44·6174·6174·7970·6573·5f6e·6174··..,Datatypes_nat | 00023890:·a009·2c44·6174·6174·7970·6573·5f6e·6174··..,Datatypes_nat | ||
| 000238a0:·5f5f·6361·6e6f·6e69·6361·6c5f·5f43·6f75··__canonical__Cou | 000238a0:·5f5f·6361·6e6f·6e69·6361·6c5f·5f43·6f75··__canonical__Cou | ||
| 000238b0:·6e74·5269·6e67·5f53·656d·6952·696e·6743··ntRing_SemiRingC | 000238b0:·6e74·5269·6e67·5f53·656d·6952·696e·6743··ntRing_SemiRingC | ||
| 000238c0:·0547·37a0·0547·2a90·9090·052a·45a0·b095··.G7..G*....*E... | 000238c0:·0547·37a0·0547·2a90·9090·052a·45a0·b095··.G7..G*....*E... | ||
| 000238d0:·04d0·0547·3ea0·0547·3190·9090·052a·4a40··...G>..G1....*J@ | 000238d0:·04d0·0547·3ea0·0547·3190·9090·052a·4a40··...G>..G1....*J@ | ||
| 000238e0:·0547·42a0·0547·3590·9090·4040·4040·4029··.GB..G5...@@@@@) | 000238e0:·0547·42a0·0547·3590·9090·4040·4040·4029··.GB..G5...@@@@@) | ||
| 000238f0:·3 | 000238f0:·3835·3438·3938·3832·32e0·0547·2e05·41d0··854898822..G..A. | ||
| 00023900:·0540·4d05·1814·0517·8505·474b·0c00·0000··.@M.......GK.... | 00023900:·0540·4d05·1814·0517·8505·474b·0c00·0000··.@M.......GK.... | ||
| 00023910:·0000·00c | 00023910:·0000·00c8·3ea0·a0b0·0567·7e21·3602·21bf··....>....g~!6.!. | ||
| 00023920:·d8e5·d005·4754·d0e0·4040·4040·4005·4753··....GT..@@@@@.GS | 00023920:·d8e5·d005·4754·d0e0·4040·4040·4005·4753··....GT..@@@@@.GS | ||
| 00023930:·40a0·c005·4752·0547·4eb0·c391·4005·2a66··@...GR.GN...@.*f | 00023930:·40a0·c005·4752·0547·4eb0·c391·4005·2a66··@...GR.GN...@.*f | ||
| 00023940:·b095·0453·0547·57a0·0547·4a90·9090·052a··...S.GW..GJ....* | 00023940:·b095·0453·0547·57a0·0547·4a90·9090·052a··...S.GW..GJ....* | ||
| 00023950:·67a0·b095·a009·2b44·6174·6174·7970·6573··g.....+Datatypes | 00023950:·67a0·b095·a009·2b44·6174·6174·7970·6573··g.....+Datatypes | ||
| 00023960:·5f6e·6174·5f5f·6361·6e6f·6e69·6361·6c5f··_nat__canonical_ | 00023960:·5f6e·6174·5f5f·6361·6e6f·6e69·6361·6c5f··_nat__canonical_ | ||
| 00023970:·5f43·6f75·6e74·5269·6e67·5f4e·6d6f·6475··_CountRing_Nmodu | 00023970:·5f43·6f75·6e74·5269·6e67·5f4e·6d6f·6475··_CountRing_Nmodu | ||
| 00023980:·6c65·4305·4760·a005·4753·9090·9005·2a6e··leC.G`..GS....*n | 00023980:·6c65·4305·4760·a005·4753·9090·9005·2a6e··leC.G`..GS....*n | ||
| 00023990:·a0b0·9505·475c·0547·67a0·0547·5a90·9090··....G\.Gg..GZ... | 00023990:·a0b0·9505·475c·0547·67a0·0547·5a90·9090··....G\.Gg..GZ... | ||
| 000239a0:·052a·7340·0547·6ba0·0547·5e90·9090·4040··.*s@.Gk..G^...@@ | 000239a0:·052a·7340·0547·6ba0·0547·5e90·9090·4040··.*s@.Gk..G^...@@ | ||
| 000239b0:·4040·4029·3 | 000239b0:·4040·4029·3835·3438·3938·3832·32e0·0547··@@@)854898822..G | ||
| 000239c0:·5705·41f9·0540·7605·183d·0517·ae05·4774··W.A..@v..=....Gt | 000239c0:·5705·41f9·0540·7605·183d·0517·ae05·4774··W.A..@v..=....Gt | ||
| 000239d0:·0c00·0000·0000·00ca·3ea0·a0b0·0567·a721··........>....g.! | 000239d0:·0c00·0000·0000·00ca·3ea0·a0b0·0567·a721··........>....g.! | ||
| 000239e0:·3702·21bf·d8e6·d005·477d·d0e0·4040·4040··7.!.....G}..@@@@ | 000239e0:·3702·21bf·d8e6·d005·477d·d0e0·4040·4040··7.!.....G}..@@@@ | ||
| Max diff block lines reached; 993898/1003621 bytes (99.03%) of diff not shown. | |||
| Offset 8, 49 lines modified | Offset 8, 49 lines modified | ||
| 00000070:·6567·61a0·2343·6f71·4090·3091·2f9e·43ed··ega.#Coq@.0./.C. | 00000070:·6567·61a0·2343·6f71·4090·3091·2f9e·43ed··ega.#Coq@.0./.C. | ||
| 00000080:·2b4f·1a12·ccdf·b8e1·f9eb·0aa0·a02e·7a69··+O............zi | 00000080:·2b4f·1a12·ccdf·b8e1·f9eb·0aa0·a02e·7a69··+O............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·301f··fy.(mathcomp@.0. | 000000a0:·6679·a028·6d61·7468·636f·6d70·4090·301f··fy.(mathcomp@.0. | ||
| 000000b0:·24f2·fc05·28d1·835d·d2ef·e0d6·f533·5ea0··$...(..].....3^. | 000000b0:·24f2·fc05·28d1·835d·d2ef·e0d6·f533·5ea0··$...(..].....3^. | ||
| 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:·30c2·fdb5·8fc5·abe2·7d3e·846f·8abd·880f··0.......}>.o.... | ||
| 000000f0:· | 000000f0:·e425·352e·322e·30a0·4040·83aa·46b5·02c4··.%5.2.0.@@..F... | ||
| 00000100:· | 00000100:·e1eb·deda·d922·f743·2ac4·8495·a6be·0000··.....".C*....... | ||
| 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·30c2·fdb5·8fc5·abe2·7d3e··comp@.0.......}> | ||
| 00000170:· | 00000170:·846f·8abd·880f·e490·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·40ce·d5d9·5fa5··@....@..@@@..._. | ||
| 00000260:· | 00000260:·2fc5·15ec·abef·bd9b·b6eb·8884·95a6·be00··/............... | ||
| 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·51ce·d5d9·5fa5·2fc5··........Q..._./. | ||
| 000002f0:·1 | 000002f0:·15ec·abef·bd9b·b6eb·8800·0000·076f·7061··.............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·ea83··................ | ||
| 00000340:· | 00000340:·aa46·b502·c4e1·ebde·dad9·22f7·432a·c400··.F........".C*.. | ||
| 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:·dea0·a026·696e·7464·6976·a027·616c·6765··...&intdiv.'alge | 000004e0:·dea0·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:·a22f·44c0·9c5f·5c54·3631·4bde·c0b4·9e8e··./D.._\T61K..... | 00000500:·a22f·44c0·9c5f·5c54·3631·4bde·c0b4·9e8e··./D.._\T61K..... | ||
| 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·1f24·f2fc·0528·d183·5dd2·efe0··p@.0.$...(..]... | 00000530:·7040·9030·1f24·f2fc·0528·d183·5dd2·efe0··p@.0.$...(..]... | ||
| 00000540:·d6f5·335e·a0a0·2473·7372·5aa0·247a·6966··..3^..$ssrZ.$zif | 00000540:·d6f5·335e·a0a0·2473·7372·5aa0·247a·6966··..3^..$ssrZ.$zif | ||
| 00000550:·79a0·286d·6174·6863·6f6d·7040·9030· | 00000550:·79a0·286d·6174·6863·6f6d·7040·9030·02e0··y.(mathcomp@.0.. | ||
| 00000560:·2d81·b6fd·a472·01c9·7b46·381f·748d·2535··-....r..{F8.t.%5 | |||
| 000005 | 00000560:·0557·d834·43ab·a77d·736f·e478·c4d6·2535··.W.4C..}so.x..%5 | ||
| 00000570:·2e32·2e30·a040·40a1·d802·4960·fbf4·316a··.2.0.@@...I`..1j | |||
| 00000580:· | 00000580:·7303·8e91·300e·8b84·95a6·be00·01b1·7000··s...0.........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·a22f·44c0·9c5f·5c54·3631·4bde··.@.0./D.._\T61K. | 00015270:·8740·9030·a22f·44c0·9c5f·5c54·3631·4bde··.@.0./D.._\T61K. | ||
| 00015280:·c0b4·9e8e·a005·3429·9030· | 00015280:·c0b4·9e8e·a005·3429·9030·02e0·0557·d834··......4).0...W.4 | ||
| 00015290:· | 00015290:·43ab·a77d·736f·e478·c4d6·9040·a0a0·94a0··C..}so.x...@.... | ||
| 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·40c2·fdb5·8fc5··....@..D@@@..... | ||
| 0001b710:· | 0001b710:·abe2·7d3e·846f·8abd·880f·e484·95a6·be00··..}>.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·84c2·fdb5·8fc5·abe2·7d3e··..............}> | ||
| 000411f0:· | 000411f0:·846f·8abd·880f·e400·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·67 | 00041230:·0000·0000·1000·0000·0000·0005·67a1·d802··............g... | ||
| 00041240:· | 00041240:·4960·fbf4·316a·7303·8e91·300e·8b00·0000··I`..1js...0..... | ||
| 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 | tqua2 | |