| Offset 1, 2 lines modified | Offset 1, 2 lines modified | ||
| 1 | ·4d | 1 | ·c6e4edca38d8e8eb206df4f137e5a0f3·493612·ocaml·optional·libcoq-deriving_0.2.1-1_arm64.deb |
| Offset 1, 3 lines modified | Offset 1, 3 lines modified | ||
| 1 | -rw-r--r--···0········0········0········4·2024-12-04·13:30:14.000000·debian-binary | 1 | -rw-r--r--···0········0········0········4·2024-12-04·13:30:14.000000·debian-binary |
| 2 | -rw-r--r--···0········0········0·····164 | 2 | -rw-r--r--···0········0········0·····1640·2024-12-04·13:30:14.000000·control.tar.xz |
| 3 | -rw-r--r--···0········0········0···4917 | 3 | -rw-r--r--···0········0········0···491780·2024-12-04·13:30:14.000000·data.tar.xz |
| Offset 1, 15 lines modified | Offset 1, 15 lines modified | ||
| 1 | Package:·libcoq-deriving | 1 | Package:·libcoq-deriving |
| 2 | Source:·coq-deriving | 2 | Source:·coq-deriving |
| 3 | Version:·0.2.1-1 | 3 | Version:·0.2.1-1 |
| 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:·1839 | 6 | Installed-Size:·1839 |
| 7 | Depends:·libcoq-mathcomp-ssreflect-zzen5,·libcoq-stdlib-z3q11 | 7 | Depends:·libcoq-mathcomp-ssreflect-zzen5,·libcoq-stdlib-z3q11 |
| 8 | Provides:·libcoq-deriving- | 8 | Provides:·libcoq-deriving-dlhy2 |
| 9 | Section:·ocaml | 9 | Section:·ocaml |
| 10 | Priority:·optional | 10 | Priority:·optional |
| 11 | Homepage:·https://github.com/arthuraa/deriving/ | 11 | Homepage:·https://github.com/arthuraa/deriving/ |
| 12 | Description:·deriving·MathComp·classes·from·inductive·types | 12 | Description:·deriving·MathComp·classes·from·inductive·types |
| 13 | ·This·package·builds·instances·of·MathComp·classes·with·little | 13 | ·This·package·builds·instances·of·MathComp·classes·with·little |
| 14 | ·boilerplate,·mimicking·Haskell's·deriving·facility. | 14 | ·boilerplate,·mimicking·Haskell's·deriving·facility. |
| 15 | ·. | 15 | ·. |
| Offset 5, 24 lines modified | Offset 5, 24 lines modified | ||
| 5 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/ | 5 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/ |
| 6 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/ | 6 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/ |
| 7 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/ | 7 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/ |
| 8 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-04·13:30:14.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-04·13:30:14.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-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/ | 9 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/ |
| 10 | -rw-r--r--···0·root·········(0)·root·········(0)···172126·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/base.glob | 10 | -rw-r--r--···0·root·········(0)·root·········(0)···172126·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/base.glob |
| 11 | -rw-r--r--···0·root·········(0)·root·········(0)····37439·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/base.v | 11 | -rw-r--r--···0·root·········(0)·root·········(0)····37439·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/base.v |
| 12 | -rw-r--r--···0·root·········(0)·root·········(0)···29960 | 12 | -rw-r--r--···0·root·········(0)·root·········(0)···299606·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/base.vo |
| 13 | -rw-r--r--···0·root·········(0)·root·········(0)·····1184·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/compat.glob | 13 | -rw-r--r--···0·root·········(0)·root·········(0)·····1184·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/compat.glob |
| 14 | -rw-r--r--···0·root·········(0)·root·········(0)······599·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/compat.v | 14 | -rw-r--r--···0·root·········(0)·root·········(0)······599·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/compat.v |
| 15 | -rw-r--r--···0·root·········(0)·root·········(0)·····9902·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/compat.vo | 15 | -rw-r--r--···0·root·········(0)·root·········(0)·····9902·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/compat.vo |
| 16 | -rw-r--r--···0·root·········(0)·root·········(0)······224·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/deriving.glob | 16 | -rw-r--r--···0·root·········(0)·root·········(0)······224·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/deriving.glob |
| 17 | -rw-r--r--···0·root·········(0)·root·········(0)·······65·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/deriving.v | 17 | -rw-r--r--···0·root·········(0)·root·········(0)·······65·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/deriving.v |
| 18 | -rw-r--r--···0·root·········(0)·root·········(0)······824·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/deriving.vo | 18 | -rw-r--r--···0·root·········(0)·root·········(0)······824·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/deriving.vo |
| 19 | -rw-r--r--···0·root·········(0)·root·········(0)···121876·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/ind.glob | 19 | -rw-r--r--···0·root·········(0)·root·········(0)···121876·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/ind.glob |
| 20 | -rw-r--r--···0·root·········(0)·root·········(0)····32684·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/ind.v | 20 | -rw-r--r--···0·root·········(0)·root·········(0)····32684·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/ind.v |
| 21 | -rw-r--r--···0·root·········(0)·root·········(0)···298 | 21 | -rw-r--r--···0·root·········(0)·root·········(0)···298697·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/ind.vo |
| 22 | -rw-r--r--···0·root·········(0)·root·········(0)·····5242·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/infer.glob | 22 | -rw-r--r--···0·root·········(0)·root·········(0)·····5242·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/infer.glob |
| 23 | -rw-r--r--···0·root·········(0)·root·········(0)·····2525·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/infer.v | 23 | -rw-r--r--···0·root·········(0)·root·········(0)·····2525·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/infer.v |
| 24 | -rw-r--r--···0·root·········(0)·root·········(0)·····9349·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/infer.vo | 24 | -rw-r--r--···0·root·········(0)·root·········(0)·····9349·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/infer.vo |
| 25 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/instances/ | 25 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/instances/ |
| 26 | -rw-r--r--···0·root·········(0)·root·········(0)····16042·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/instances/eqtype.glob | 26 | -rw-r--r--···0·root·········(0)·root·········(0)····16042·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/instances/eqtype.glob |
| 27 | -rw-r--r--···0·root·········(0)·root·········(0)·····4450·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/instances/eqtype.v | 27 | -rw-r--r--···0·root·········(0)·root·········(0)·····4450·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/instances/eqtype.v |
| 28 | -rw-r--r--···0·root·········(0)·root·········(0)····46990·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/instances/eqtype.vo | 28 | -rw-r--r--···0·root·········(0)·root·········(0)····46990·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/instances/eqtype.vo |
| Offset 33, 15 lines modified | Offset 33, 15 lines modified | ||
| 33 | -rw-r--r--···0·root·········(0)·root·········(0)·····8362·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/instances/order.v | 33 | -rw-r--r--···0·root·········(0)·root·········(0)·····8362·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/instances/order.v |
| 34 | -rw-r--r--···0·root·········(0)·root·········(0)···118520·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/instances/order.vo | 34 | -rw-r--r--···0·root·········(0)·root·········(0)···118520·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/instances/order.vo |
| 35 | -rw-r--r--···0·root·········(0)·root·········(0)····17186·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/instances/tree_of_ind.glob | 35 | -rw-r--r--···0·root·········(0)·root·········(0)····17186·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/instances/tree_of_ind.glob |
| 36 | -rw-r--r--···0·root·········(0)·root·········(0)·····4000·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/instances/tree_of_ind.v | 36 | -rw-r--r--···0·root·········(0)·root·········(0)·····4000·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/instances/tree_of_ind.v |
| 37 | -rw-r--r--···0·root·········(0)·root·········(0)····47074·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/instances/tree_of_ind.vo | 37 | -rw-r--r--···0·root·········(0)·root·········(0)····47074·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/instances/tree_of_ind.vo |
| 38 | -rw-r--r--···0·root·········(0)·root·········(0)····21693·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/instances.glob | 38 | -rw-r--r--···0·root·········(0)·root·········(0)····21693·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/instances.glob |
| 39 | -rw-r--r--···0·root·········(0)·root·········(0)·····4605·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/instances.v | 39 | -rw-r--r--···0·root·········(0)·root·········(0)·····4605·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/instances.v |
| 40 | -rw-r--r--···0·root·········(0)·root·········(0)···3896 | 40 | -rw-r--r--···0·root·········(0)·root·········(0)···389645·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/instances.vo |
| 41 | -rw-r--r--···0·root·········(0)·root·········(0)····26588·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/tactics.glob | 41 | -rw-r--r--···0·root·········(0)·root·········(0)····26588·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/tactics.glob |
| 42 | -rw-r--r--···0·root·········(0)·root·········(0)····10115·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/tactics.v | 42 | -rw-r--r--···0·root·········(0)·root·········(0)····10115·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/tactics.v |
| 43 | -rw-r--r--···0·root·········(0)·root·········(0)·····8012·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/tactics.vo | 43 | -rw-r--r--···0·root·········(0)·root·········(0)·····8012·2024-12-04·13:30:14.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/deriving/tactics.vo |
| 44 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-04·13:30:14.000000·./usr/share/ | 44 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-04·13:30:14.000000·./usr/share/ |
| 45 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-04·13:30:14.000000·./usr/share/doc/ | 45 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-04·13:30:14.000000·./usr/share/doc/ |
| 46 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-04·13:30:14.000000·./usr/share/doc/libcoq-deriving/ | 46 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-04·13:30:14.000000·./usr/share/doc/libcoq-deriving/ |
| 47 | -rw-r--r--···0·root·········(0)·root·········(0)······465·2024-12-04·13:30:14.000000·./usr/share/doc/libcoq-deriving/changelog.Debian.gz | 47 | -rw-r--r--···0·root·········(0)·root·········(0)······465·2024-12-04·13:30:14.000000·./usr/share/doc/libcoq-deriving/changelog.Debian.gz |
| Offset 1, 8 lines modified | Offset 1, 8 lines modified | ||
| 00000000:·436f·7121·0001·4050·0000·0000·0004·91a | 00000000:·436f·7121·0001·4050·0000·0000·0004·91a4··Coq!..@P........ | ||
| 00000010:·8495·a6be·0000·01ed·0000·005f·0000·014a··..........._...J | 00000010:·8495·a6be·0000·01ed·0000·005f·0000·014a··..........._...J | ||
| 00000020:·0000·011a·c0a0·2462·6173·65a0·2864·6572··......$base.(der | 00000020:·0000·011a·c0a0·2462·6173·65a0·2864·6572··......$base.(der | ||
| 00000030:·6976·696e·6740·0800·002b·00a0·a027·5072··iving@...+...'Pr | 00000030:·6976·696e·6740·0800·002b·00a0·a027·5072··iving@...+...'Pr | ||
| 00000040:·656c·7564·65a0·2449·6e69·74a0·2343·6f71··elude.$Init.#Coq | 00000040:·656c·7564·65a0·2449·6e69·74a0·2343·6f71··elude.$Init.#Coq | ||
| 00000050:·4090·306e·1ea7·6653·34e4·bc65·c3cc·25eb··@.0n..fS4..e..%. | 00000050:·4090·306e·1ea7·6653·34e4·bc65·c3cc·25eb··@.0n..fS4..e..%. | ||
| 00000060:·7fca·42a0·a02a·7374·7275·6374·7572·6573··..B..*structures | 00000060:·7fca·42a0·a02a·7374·7275·6374·7572·6573··..B..*structures | ||
| 00000070:·a022·4842·4090·3026·6198·3d18·f827·cc96··."HB@.0&a.=..'.. | 00000070:·a022·4842·4090·3026·6198·3d18·f827·cc96··."HB@.0&a.=..'.. | ||
| Offset 28, 15 lines modified | Offset 28, 15 lines modified | ||
| 000001b0:·a029·7373·7265·666c·6563·74a0·286d·6174··.)ssreflect.(mat | 000001b0:·a029·7373·7265·666c·6563·74a0·286d·6174··.)ssreflect.(mat | ||
| 000001c0:·6863·6f6d·7040·9030·aec5·2d5e·392b·abc7··hcomp@.0..-^9+.. | 000001c0:·6863·6f6d·7040·9030·aec5·2d5e·392b·abc7··hcomp@.0..-^9+.. | ||
| 000001d0:·1b2d·2543·a79c·c8e0·a0a0·256f·7264·6572··.-%C......%order | 000001d0:·1b2d·2543·a79c·c8e0·a0a0·256f·7264·6572··.-%C......%order | ||
| 000001e0:·a029·7373·7265·666c·6563·74a0·286d·6174··.)ssreflect.(mat | 000001e0:·a029·7373·7265·666c·6563·74a0·286d·6174··.)ssreflect.(mat | ||
| 000001f0:·6863·6f6d·7040·9030·71e6·d754·e65b·10b9··hcomp@.0q..T.[.. | 000001f0:·6863·6f6d·7040·9030·71e6·d754·e65b·10b9··hcomp@.0q..T.[.. | ||
| 00000200:·cef3·5e0d·16b8·5d58·2535·2e32·2e30·a040··..^...]X%5.2.0.@ | 00000200:·cef3·5e0d·16b8·5d58·2535·2e32·2e30·a040··..^...]X%5.2.0.@ | ||
| 00000210:·4042·54a2·a1b5·836b·2b8e·de45·d699·7f85··@BT....k+..E.... | 00000210:·4042·54a2·a1b5·836b·2b8e·de45·d699·7f85··@BT....k+..E.... | ||
| 00000220:·e684·95a6·be00·0341·f | 00000220:·e684·95a6·be00·0341·fd00·00d0·8e00·02b4··.......A........ | ||
| 00000230:·7200·02a5·deb0·d0a0·2462·6173·65a0·2864··r.......$base.(d | 00000230:·7200·02a5·deb0·d0a0·2462·6173·65a0·2864··r.......$base.(d | ||
| 00000240:·6572·6976·696e·6740·e090·0406·4190·a0a0··eriving@....A... | 00000240:·6572·6976·696e·6740·e090·0406·4190·a0a0··eriving@....A... | ||
| 00000250:·2665·715f·6571·6290·0800·0027·0040·a080··&eq_eqb....'.@.. | 00000250:·2665·715f·6571·6290·0800·0027·0040·a080··&eq_eqb....'.@.. | ||
| 00000260:·8091·b7a0·9021·5440·9ba0·a090·b0a2·90a0··.....!T@........ | 00000260:·8091·b7a0·9021·5440·9ba0·a090·b0a2·90a0··.....!T@........ | ||
| 00000270:·2665·7174·7970·65a0·2973·7372·6566·6c65··&eqtype.)ssrefle | 00000270:·2665·7174·7970·65a0·2973·7372·6566·6c65··&eqtype.)ssrefle | ||
| 00000280:·6374·a028·6d61·7468·636f·6d70·4028·4571··ct.(mathcomp@(Eq | 00000280:·6374·a028·6d61·7468·636f·6d70·4028·4571··ct.(mathcomp@(Eq | ||
| 00000290:·7561·6c69·7479·2474·7970·6502·0ac3·7144··uality$type...qD | 00000290:·7561·6c69·7479·2474·7970·6502·0ac3·7144··uality$type...qD | ||
| Offset 4860, 6926 lines modified | Offset 4860, 6926 lines modified | ||
| 00012fb0:·4040·4040·a040·4040·a0c0·e090·2d64·6572··@@@@.@@@....-der | 00012fb0:·4040·4040·a040·4040·a0c0·e090·2d64·6572··@@@@.@@@....-der | ||
| 00012fc0:·6976·696e·672e·6261·7365·312e·2f74·6865··iving.base1./the | 00012fc0:·6976·696e·672e·6261·7365·312e·2f74·6865··iving.base1./the | ||
| 00012fd0:·6f72·6965·732f·6261·7365·2e76·0102·ea01··ories/base.v.... | 00012fd0:·6f72·6965·732f·6261·7365·2e76·0102·ea01··ories/base.v.... | ||
| 00012fe0:·0325·5d01·02ea·c040·4040·41b0·c391·402f··.%]....@@@A...@/ | 00012fe0:·0325·5d01·02ea·c040·4040·41b0·c391·402f··.%]....@@@A...@/ | ||
| 00012ff0:·6c6f·6361·6c2d·6361·6e6f·6e69·6361·6cb0··local-canonical. | 00012ff0:·6c6f·6361·6c2d·6361·6e6f·6e69·6361·6cb0··local-canonical. | ||
| 00013000:·95a0·9104·5158·040d·a022·5479·9090·9090··....QX..."Ty.... | 00013000:·95a0·9104·5158·040d·a022·5479·9090·9090··....QX..."Ty.... | Diff chunk too large, falling back to line-by-line diff (6910 lines added, 6910 lines removed) | |
| 00013010:·2863·6f6e·7374·616e·7440·0414·a004·0790··(constant@...... | 00013010:·2863·6f6e·7374·616e·7440·0414·a004·0790··(constant@...... | ||
| 00013020:·9090·4040·4040·402 | 00013020:·9090·4040·4040·402a·3130·3437·3534·3332··..@@@@@*10475432 | ||
| 00013030:·3 | 00013030:·3530·e0d0·d0d0·d040·2540·6361·7374·a0b0··50.....@%@cast.. | ||
| 00013040:·90a0 | 00013040:·b490·a021·5422·6c70·40b0·b490·a022·5459··...!T"lp@...."TY | ||
| 00013050:·0640 | 00013050:·0406·40b0·c391·4023·6c65·74b0·95a0·9005··..@...@#let..... | ||
| 00013060:·3a53 | 00013060:·3c3a·53e0·4030·636f·712d·6275·696c·7469··<:S.@0coq-builti | ||
| 00013070:·2e65 | 00013070:·6e2e·656c·7069·0124·e801·24ee·0100·e101··n.elpi.$..$..... | ||
| 00013080:·cfa0 | 00013080:·24cf·a004·2890·40a0·b0a1·9004·1604·11e0··$...(.@......... | ||
| 00013090:·0408 | 00013090:·4004·0801·24ef·0124·f101·00e1·0124·cfa0··@...$..$.....$.. | ||
| 000130a0:·2f90 | 000130a0:·042f·9040·a0b0·a190·041d·041e·e040·040f··./.@.........@.. | ||
| 000130b0:·24f2 | 000130b0:·0124·f201·24f3·0100·e101·24cf·a004·3690··.$..$.....$...6. | ||
| 000130c0:·a0b0 | 000130c0:·40a0·b0b4·90a0·2178·0426·40b0·a190·0429··@.....!x.&@....) | ||
| 000130d0:·04e0 | 000130d0:·0404·e040·041b·0124·f601·24f7·0100·e101··...@...$..$..... | ||
| 000130e0:·cfa0 | 000130e0:·24cf·a004·4290·40e0·4004·1e01·24f4·0124··$...B.@.@...$..$ | ||
| 000130f0:·01 | 000130f0:·f701·00e1·0124·cfa0·0445·9040·40e0·4004··.....$...E.@@.@. | ||
| 00013100:·0124 | 00013100:·2101·24e4·0124·f701·00e1·0124·cfa0·0448··!.$..$.....$...H | ||
| 00013110:·40e0 | 00013110:·9040·e040·0424·0124·dd01·24f7·0100·e101··.@.@.$.$..$..... | ||
| 00013120:·cfa0 | 00013120:·24cf·a004·4b90·40e0·4004·2701·24db·0124··$...K.@.@.'.$..$ | ||
| 00013130:·01 | 00013130:·f701·00e1·0124·cfa0·044e·9040·e040·042a··.....$...N.@.@.* | ||
| 00013140:·24cf | 00013140:·0124·cf01·24f8·0100·e101·24cf·d040·2a40··.$..$.....$..@*@ | ||
| 00013150:·6f65 | 00013150:·636f·6572·6369·6f6e·21a0·b0c3·9140·223a··coercion!....@": | ||
| 00013160:·b0c3 | 00013160:·3ab0·c391·4028·636f·6572·6369·6f6e·b0a1··:...@(coercion.. | ||
| 00013170:·402a | 00013170:·9140·2a72·6576·6572·7369·626c·65e0·4004··.@*reversible.@. | ||
| 00013180:·0153 | 00013180:·3a01·531a·0153·2401·01f2·0152·fca0·0461··:.S..S$....R...a | ||
| 00013190:· | 00013190:·9040·40e0·4004·3d01·5311·0153·2401·01f2··.@@.@.=.S..S$... | ||
| 000131a0:·52fc | 000131a0:·0152·fca0·0464·9040·a0b0·a191·4022·5b5d··.R...d.@....@"[] | ||
| 000131b0:·4004 | 000131b0:·e040·0445·0153·2401·5325·0101·f201·52fc··.@.E.S$.S%....R. | ||
| 000131c0:·046c | 000131c0:·a004·6c90·4040·e040·0448·0153·1001·5325··..l.@@.@.H.S..S% | ||
| 000131d0:·01f2 | 000131d0:·0101·f201·52fc·a004·6f90·40e0·4004·4b01··....R...o.@.@.K. | ||
| 000131e0:·fc01 | 000131e0:·52fc·0153·2501·01f2·0152·fc40·4142·2c40··R..S%....R.@AB,@ | ||
| 000131f0:·6570 | 000131f0:·6465·7072·6563·6174·6564·21a0·b0b4·90a0··deprecated!..... | ||
| 00013200:·5369 | 00013200:·2553·696e·6365·0461·40b0·b490·a023·4d73··%Since.a@....#Ms | ||
| 00013210:·04 | 00013210:·6704·6640·b0c3·9140·2a67·6574·2d6f·7074··g.f@...@*get-opt | ||
| 00013220:·6f6e | 00013220:·696f·6eb0·95a0·2e63·6f71·3a64·6570·7265··ion....coq:depre | ||
| 00013230:·6174 | 00013230:·6361·7465·6443·e040·0460·0152·8001·5290··catedC.@.`.R..R. | ||
| 00013240:·01ed | 00013240:·0101·ed01·5273·a004·8790·40a0·b0c3·9140··....Rs....@....@ | ||
| 00013250:·7072 | 00013250:·2270·72b0·a190·0479·0419·e040·046b·0152··"pr....y...@.k.R | ||
| 00013260:·0152 | 00013260:·9501·529a·0101·ed01·5273·a004·9290·40a0··..R.....Rs....@. | ||
| 00013270:·a190 | 00013270:·b0a1·9004·8004·1be0·4004·7201·529b·0152··........@.r.R..R | ||
| 00013280:·0101 | 00013280:·9e01·01ed·0152·73a0·0499·9040·40e0·4004··.....Rs....@@.@. | ||
| 00013290:·0152 | 00013290:·7501·5292·0152·9e01·01ed·0152·73a0·049c··u.R..R.....Rs... | ||
| 000132a0:· | 000132a0:·9040·40e0·4004·7801·5275·0152·9f01·01ed··.@@.@.x.Ru.R.... | ||
| 000132b0:·5273 | 000132b0:·0152·73a0·049f·9040·e040·047b·0152·6c01··.Rs....@.@.{.Rl. | ||
| 000132c0:·9f01 | 000132c0:·529f·0101·ed01·5273·a004·a290·40e0·4004··R.....Rs....@.@. | ||
| 000132d0:·0152 | 000132d0:·7e01·5266·0152·9f01·01ed·0152·73a0·04a5··~.Rf.R.....Rs... | ||
| 000132e0:·40e0 | 000132e0:·9040·e040·0481·0152·5301·529f·0101·ec01··.@.@...RS.R..... | ||
| 000132f0:·53d0 | 000132f0:·5253·d040·2b40·6472·6f70·756e·6976·7321··RS.@+@dropunivs! | ||
| 00013300:·b0c3 | 00013300:·a0b0·c391·4004·2db0·95a0·2d63·6f71·3a6b··....@.-...-coq:k | ||
| 00013310:·6570 | 00013310:·6565·7075·6e69·7673·43e0·4004·8c01·50c2··eepunivsC.@...P. | ||
| 00013320:·50d1 | 00013320:·0150·d101·01e2·0150·a2a0·04b3·9040·a0b0··.P.....P.....@.. | ||
| 00013330:·9140 | 00013330:·a191·4022·6666·e040·0494·0150·d201·50d4··..@"ff.@...P..P. | ||
| 00013340:·01e2 | 00013340:·0101·e201·50a2·a004·bb90·4040·e040·0497··....P.....@@.@.. | ||
| 00013350:·50b7 | 00013350:·0150·b701·50d4·0101·e201·50a2·a004·be90··.P..P.....P..... | ||
| 00013360:·e040 | 00013360:·40e0·4004·9a01·50a2·0150·d401·01e2·0150··@.@...P..P.....P | ||
| 00013370:·4041 | 00013370:·a240·4143·2840·676c·6f62·616c·21a0·b0c3··.@AC(@global!... | ||
| 00013380:·4004 | 00013380:·9140·0445·b095·a02c·636f·713a·6c6f·6361··.@.E...,coq:loca | ||
| 00013390:·6974 | 00013390:·6c69·7479·43e0·4004·a401·1805·0118·1301··lityC.@......... | ||
| 000133a0:·9501 | 000133a0:·0095·0117·e6a0·04cb·9040·a0b0·95a0·2667··.........@....&g | ||
| 000133b0:·6f62 | 000133b0:·6c6f·6261·6c43·e040·04ac·0118·1401·181c··lobalC.@........ | ||
| 000133c0:·0095 | 000133c0:·0100·9501·17e6·a004·d390·4040·e040·04af··..........@@.@.. | ||
| 000133d0:·17fa | 000133d0:·0117·fa01·181c·0100·9501·17e6·a004·d690··................ | ||
| 000133e0:·e040 | 000133e0:·40e0·4004·b201·17e6·0118·1c01·0095·0117··@.@............. | ||
| 000133f0:· | 000133f0:·e6d0·d0d0·4027·4068·6f6c·6573·21a0·b0c3··....@'@holes!... | ||
| 00013400:·4004 | 00013400:·9140·0460·b095·a02a·484f·4153·3a68·6f6c··.@.`...*HOAS:hol | ||
| 00013410:·7343 | 00013410:·6573·43e0·4004·bf01·33ad·0133·b901·0143··esC.@...3..3...C | ||
| 00013420:·3391 | 00013420:·0133·91a0·04e6·9040·a0b0·a191·4022·7474··.3.....@....@"tt | ||
| 00013430:·4004 | 00013430:·e040·04c7·0133·ba01·33bc·0101·4301·3391··.@...3..3...C.3. | ||
| 00013440:·04 | 00013440:·a004·ee90·4040·e040·04ca·0133·a201·33bc··....@@.@...3..3. | ||
| 00013450:·0143 | 00013450:·0101·4301·3391·a004·f190·40e0·4004·cd01··..C.3.....@.@... | ||
| 00013460:·9101 | 00013460:·3391·0133·bc01·0143·0133·91d0·4028·4069··3..3...C.3..@(@i | ||
| 00013470:·6c69 | 00013470:·6e6c·696e·6521·a0b0·b490·a021·4e04·e440··nline!.....!N..@ | ||
| 00013480:·c391 | 00013480:·b0c3·9140·047e·b095·a02a·636f·713a·696e··...@.~...*coq:in | ||
| 00013490:·696e | 00013490:·6c69·6e65·43e0·4004·dd01·51ac·0151·b801··lineC.@...Q..Q.. | ||
| 000134a0:·e701 | 000134a0:·01e7·0151·8da0·0501·0490·40a0·b0a1·9140··...Q......@....@ | ||
| 000134b0:·636f | 000134b0:·3263·6f71·2e69·6e6c·696e·652e·6465·6661··2coq.inline.defa | ||
| 000134c0:·6c74 | 000134c0:·756c·74e0·4004·e501·51b9·0151·cb01·01e7··ult.@...Q..Q.... | ||
| 000134d0:·518d | 000134d0:·0151·8da0·0501·0c90·4040·e040·04e8·0151··.Q......@@.@...Q | ||
| 000134e0:·0151 | 000134e0:·a101·51cb·0101·e701·518d·a005·010f·9040··..Q.....Q......@ | ||
| 000134f0:·4004 | 000134f0:·e040·04eb·0151·9c01·51cb·0101·e701·518d··.@...Q..Q.....Q. | ||
| 00013500:·0501 | 00013500:·a005·0112·9040·e040·04ee·0151·8d01·51cb··.....@.@...Q..Q. | ||
| 00013510:·01e7 | 00013510:·0101·e701·518d·4041·422b·4069·6e6c·696e··....Q.@AB+@inlin | ||
| 00013520:·2d61 | 00013520:·652d·6174·21a0·b0b4·90a0·0420·0501·0340··e-at!......·...@ | ||
| 00013530:·c391 | 00013530:·b0c3·9140·049d·b095·041f·e040·04fa·0151··...@.......@...Q | ||
| 00013540:·0151 | 00013540:·5c01·5168·0101·e601·513a·a005·0121·9040··\.Qh....Q:...!.@ | ||
| 00013550:·b0c3 | 00013550:·a0b0·c391·402d·636f·712e·696e·6c69·6e65··....@-coq.inline | ||
| 00013560:·6174 | 00013560:·2e61·74b0·a190·0501·1304·30e0·4005·0105··.at.......0.@... | ||
| 00013570:·5178 | 00013570:·0151·7801·5179·0101·e601·513a·a005·012c··.Qx.Qy....Q:..., | ||
| 00013580:· | 00013580:·9040·40e0·4005·0108·0151·6a01·5179·0101··.@@.@....Qj.Qy.. | ||
| 00013590:·0151 | 00013590:·e601·513a·a005·012f·9040·40e0·4005·010b··..Q:.../.@@.@... | ||
| 000135a0:· | 000135a0:·0151·5101·517a·0101·e601·513a·a005·0132··.QQ.Qz....Q:...2 | ||
| 000135b0:·40e0 | 000135b0:·9040·e040·0501·0e01·514c·0151·7a01·01e6··.@.@....QL.Qz... | ||
| 000135c0:·513a | 000135c0:·0151·3aa0·0501·3590·40e0·4005·0111·0151··.Q:...5.@.@....Q | ||
| 000135d0:·0151 | 000135d0:·3a01·517a·0101·e601·513a·d040·2b40·6b65··:.Qz....Q:.@+@ke | ||
| 000135e0:·7075 | 000135e0:·6570·756e·6976·7321·a0b0·c391·4004·bdb0··epunivs!....@... | ||
| 000135f0:·0490 | 000135f0:·9504·90e0·4005·011a·0150·7601·5085·0101··....@....Pv.P... | ||
| Max diff block lines reached; 915359/1871280 bytes (48.92%) of diff not shown. | |||
| Offset 1, 52 lines modified | Offset 1, 52 lines modified | ||
| 00000000:·436f·7121·0001·4050·0000·0000·0000·0286··Coq!..@P........ | 00000000:·436f·7121·0001·4050·0000·0000·0000·0286··Coq!..@P........ | ||
| 00000010:·8495·a6be·0000·00d9·0000·002c·0000·0097··...........,.... | 00000010:·8495·a6be·0000·00d9·0000·002c·0000·0097··...........,.... | ||
| 00000020:·0000·0082·c0a0·2864·6572·6976·696e·67a0··......(deriving. | 00000020:·0000·0082·c0a0·2864·6572·6976·696e·67a0··......(deriving. | ||
| 00000030:·0402·40d0·a0a0·2750·7265·6c75·6465·a024··..@...'Prelude.$ | 00000030:·0402·40d0·a0a0·2750·7265·6c75·6465·a024··..@...'Prelude.$ | ||
| 00000040:·496e·6974·a023·436f·7140·9030·6e1e·a766··Init.#Coq@.0n..f | 00000040:·496e·6974·a023·436f·7140·9030·6e1e·a766··Init.#Coq@.0n..f | ||
| 00000050:·5334·e4bc·65c3·cc25·eb7f·ca42·a0a0·2369··S4..e..%...B..#i | 00000050:·5334·e4bc·65c3·cc25·eb7f·ca42·a0a0·2369··S4..e..%...B..#i | ||
| 00000060:·6e64·a028·6465·7269·7669·6e67·4090·30 | 00000060:·6e64·a028·6465·7269·7669·6e67·4090·3043··nd.(deriving@.0C | ||
| 00000070:· | 00000070:·7833·e65d·66ea·32c0·9c46·7ff7·cdd3·0ea0··x3.]f.2..F...... | ||
| 00000080:·a027·7461·6374·6963·73a0·2864·6572·6976··.'tactics.(deriv | 00000080:·a027·7461·6374·6963·73a0·2864·6572·6976··.'tactics.(deriv | ||
| 00000090:·696e·6740·9030· | 00000090:·696e·6740·9030·fb9f·e5ef·f126·d13b·49a9··ing@.0.....&.;I. | ||
| 000000a0:· | 000000a0:·7c1f·d079·a7c3·a0a0·2569·6e66·6572·a028··|..y....%infer.( | ||
| 000000b0:·6465·7269·7669·6e67·4090·30f | 000000b0:·6465·7269·7669·6e67·4090·30f1·a2cc·e37a··deriving@.0....z | ||
| 000000c0:· | 000000c0:·121a·70b9·cdbe·4f03·89af·16a0·a029·696e··..p...O......)in | ||
| 000000d0:·7374·616e·6365·73a0·2864·6572·6976·696e··stances.(derivin | 000000d0:·7374·616e·6365·73a0·2864·6572·6976·696e··stances.(derivin | ||
| 000000e0:·6740·9030·5ed3·44e3·3773·961e·75e2·3dd3··g@.0^.D.7s..u.=. | |||
| 000000f0:·7ee0·d740·2535·2e32·2e30·a040·4036·d035··~..@%5.2.0.@@6.5 | |||
| 00000 | 000000e0:·6740·9030·c1bb·e647·81b5·5481·8c6e·926b··g@.0...G..T..n.k | ||
| 000000f0:·b294·c0f0·2535·2e32·2e30·a040·40ff·42c2··....%5.2.0.@@.B. | |||
| 00000100:·da7e·7e90·254f·0354·34ec·18dd·fa84·95a6··.~~.%O.T4....... | |||
| 00000110:·be00·0000·fc00·0000·6600·0001·2100·0001··........f...!... | 00000110:·be00·0000·fc00·0000·6600·0001·2100·0001··........f...!... | ||
| 00000120:·18b0·d0a0·2864·6572·6976·696e·67a0·0402··....(deriving... | 00000120:·18b0·d0a0·2864·6572·6976·696e·67a0·0402··....(deriving... | ||
| 00000130:·40e0·9004·0541·9040·40a0·4040·9040·a040··@....A.@@.@@.@.@ | 00000130:·40e0·9004·0541·9040·40a0·4040·9040·a040··@....A.@@.@@.@.@ | ||
| 00000140:·4090·a0a0·2969·6e73·7461·6e63·6573·a028··@...)instances.( | 00000140:·4090·a0a0·2969·6e73·7461·6e63·6573·a028··@...)instances.( | ||
| 00000150:·6465·7269·7669·6e67·4090·30 | 00000150:·6465·7269·7669·6e67·4090·30c1·bbe6·4781··deriving@.0...G. | ||
| 00000160:· | 00000160:·b554·818c·6e92·6bb2·94c0·f090·40a0·a094··.T..n.k.....@... | ||
| 00000170:·a0a0·4090·a023·696e·6404·1840·a094·a0a0··..@..#ind..@.... | 00000170:·a0a0·4090·a023·696e·6404·1840·a094·a0a0··..@..#ind..@.... | ||
| 00000180:·4090·a027·7461·6374·6963·7304·1f40·a094··@..'tactics..@.. | 00000180:·4090·a027·7461·6374·6963·7304·1f40·a094··@..'tactics..@.. | ||
| 00000190:·a0a0·4090·a025·696e·6665·7204·2640·a094··..@..%infer.&@.. | 00000190:·a0a0·4090·a025·696e·6665·7204·2640·a094··..@..%infer.&@.. | ||
| 000001a0:·a0a0·4090·a029·696e·7374·616e·6365·7304··..@..)instances. | 000001a0:·a0a0·4090·a029·696e·7374·616e·6365·7304··..@..)instances. | ||
| 000001b0:·2d40·a094·a0a0·4090·a026·636f·6d70·6174··-@....@..&compat | 000001b0:·2d40·a094·a0a0·4090·a026·636f·6d70·6174··-@....@..&compat | ||
| 000001c0:·0434·40a0·94a0·a040·9004·2340·a094·a0a0··.4@....@..#@.... | 000001c0:·0434·40a0·94a0·a040·9004·2340·a094·a0a0··.4@....@..#@.... | ||
| 000001d0:·4090·0421·40a0·94a0·a040·9004·1f40·a094··@..!@....@...@.. | 000001d0:·4090·0421·40a0·94a0·a040·9004·1f40·a094··@..!@....@...@.. | ||
| 000001e0:·a0a0·4090·041d·40a0·94a0·a040·9004·1b40··..@...@....@...@ | 000001e0:·a0a0·4090·041d·40a0·94a0·a040·9004·1b40··..@...@....@...@ | ||
| 000001f0:·4040·a0a0·94a0·a040·041a·40a0·94a0·a040··@@.....@..@....@ | 000001f0:·4040·a0a0·94a0·a040·041a·40a0·94a0·a040··@@.....@..@....@ | ||
| 00000200:·0419·40a0·94a0·a040·0418·40a0·94a0·a040··..@....@..@....@ | 00000200:·0419·40a0·94a0·a040·0418·40a0·94a0·a040··..@....@..@....@ | ||
| 00000210:·0417·40a0·94a0·a040·0416·4040·40 | 00000210:·0417·40a0·94a0·a040·0416·4040·407a·2e92··..@....@..@@@z.. | ||
| 00000220:· | 00000220:·6755·283d·c858·e64a·b514·423e·3b84·95a6··gU(=.X.J..B>;... | ||
| 00000230:·be00·0000·0100·0000·0000·0000·0000·0000··................ | 00000230:·be00·0000·0100·0000·0000·0000·0000·0000··................ | ||
| 00000240:·0080·6144·c86c·d4a1·68cd·7049·5a5c·c422··..aD.l..h.pIZ\." | 00000240:·0080·6144·c86c·d4a1·68cd·7049·5a5c·c422··..aD.l..h.pIZ\." | ||
| 00000250:·ade9·8495·a6be·0000·0010·0000·0004·0000··................ | 00000250:·ade9·8495·a6be·0000·0010·0000·0004·0000··................ | ||
| 00000260:·000d·0000·000c·a0a0·2864·6572·6976·696e··........(derivin | 00000260:·000d·0000·000c·a0a0·2864·6572·6976·696e··........(derivin | ||
| 00000270:·67a0·0402·4080·c004·7aac·4b91·0d23·35dd··g...@...z.K..#5. | 00000270:·67a0·0402·4080·c004·7aac·4b91·0d23·35dd··g...@...z.K..#5. | ||
| 00000280:·3097·9a23·fc59·0000·0004·0000·0007·6c69··0..#.Y........li | 00000280:·3097·9a23·fc59·0000·0004·0000·0007·6c69··0..#.Y........li | ||
| 00000290:·6272·6172·7900·0000·0000·0001·0d00·0000··brary........... | 00000290:·6272·6172·7900·0000·0000·0001·0d00·0000··brary........... | ||
| 000002a0:·0000·0001·10 | 000002a0:·0000·0001·107a·2e92·6755·283d·c858·e64a··.....z..gU(=.X.J | ||
| 000002b0:· | 000002b0:·b514·423e·3b00·0000·076f·7061·7175·6573··..B>;....opaques | ||
| 000002c0:·0000·0000·0000·022d·0000·0000·0000·0015··.......-........ | 000002c0:·0000·0000·0000·022d·0000·0000·0000·0015··.......-........ | ||
| 000002d0:·6144·c86c·d4a1·68cd·7049·5a5c·c422·ade9··aD.l..h.pIZ\.".. | 000002d0:·6144·c86c·d4a1·68cd·7049·5a5c·c422·ade9··aD.l..h.pIZ\.".. | ||
| 000002e0:·0000·0007·7375·6d6d·6172·7900·0000·0000··....summary..... | 000002e0:·0000·0007·7375·6d6d·6172·7900·0000·0000··....summary..... | ||
| 000002f0:·0000·1000·0000·0000·0000·ed | 000002f0:·0000·1000·0000·0000·0000·edff·42c2·da7e··............B..~ | ||
| 00000300:· | 00000300:·7e90·254f·0354·34ec·18dd·fa00·0000·0976··~.%O.T4........v | ||
| 00000310:·6d6c·6962·7261·7279·0000·0000·0000·0252··mlibrary.......R | 00000310:·6d6c·6962·7261·7279·0000·0000·0000·0252··mlibrary.......R | ||
| 00000320:·0000·0000·0000·0024·c004·7aac·4b91·0d23··.......$..z.K..# | 00000320:·0000·0000·0000·0024·c004·7aac·4b91·0d23··.......$..z.K..# | ||
| 00000330:·35dd·3097·9a23·fc59······················5.0..#.Y | 00000330:·35dd·3097·9a23·fc59······················5.0..#.Y |
| Offset 1, 8 lines modified | Offset 1, 8 lines modified | ||
| 00000000:·436f·7121·0001·4050·0000·0000·0004·8e1 | 00000000:·436f·7121·0001·4050·0000·0000·0004·8e17··Coq!..@P........ | ||
| 00000010:·8495·a6be·0000·0204·0000·0065·0000·015c··...........e...\ | 00000010:·8495·a6be·0000·0204·0000·0065·0000·015c··...........e...\ | ||
| 00000020:·0000·012b·c0a0·2369·6e64·a028·6465·7269··...+..#ind.(deri | 00000020:·0000·012b·c0a0·2369·6e64·a028·6465·7269··...+..#ind.(deri | ||
| 00000030:·7669·6e67·4008·0000·2f00·a0a0·2750·7265··ving@.../...'Pre | 00000030:·7669·6e67·4008·0000·2f00·a0a0·2750·7265··ving@.../...'Pre | ||
| 00000040:·6c75·6465·a024·496e·6974·a023·436f·7140··lude.$Init.#Coq@ | 00000040:·6c75·6465·a024·496e·6974·a023·436f·7140··lude.$Init.#Coq@ | ||
| 00000050:·9030·6e1e·a766·5334·e4bc·65c3·cc25·eb7f··.0n..fS4..e..%.. | 00000050:·9030·6e1e·a766·5334·e4bc·65c3·cc25·eb7f··.0n..fS4..e..%.. | ||
| 00000060:·ca42·a0a0·2a73·7472·7563·7475·7265·73a0··.B..*structures. | 00000060:·ca42·a0a0·2a73·7472·7563·7475·7265·73a0··.B..*structures. | ||
| 00000070:·2248·4240·9030·2661·983d·18f8·27cc·9640··"HB@.0&a.=..'..@ | 00000070:·2248·4240·9030·2661·983d·18f8·27cc·9640··"HB@.0&a.=..'..@ | ||
| Offset 24, 20 lines modified | Offset 24, 20 lines modified | ||
| 00000170:·4238·0544·a0a0·2663·686f·6963·65a0·2973··B8.D..&choice.)s | 00000170:·4238·0544·a0a0·2663·686f·6963·65a0·2973··B8.D..&choice.)s | ||
| 00000180:·7372·6566·6c65·6374·a028·6d61·7468·636f··sreflect.(mathco | 00000180:·7372·6566·6c65·6374·a028·6d61·7468·636f··sreflect.(mathco | ||
| 00000190:·6d70·4090·3022·b7fc·11d6·77f3·1037·3135··mp@.0"....w..715 | 00000190:·6d70·4090·3022·b7fc·11d6·77f3·1037·3135··mp@.0"....w..715 | ||
| 000001a0:·ba32·8df4·d5a0·a027·6669·6e74·7970·65a0··.2.....'fintype. | 000001a0:·ba32·8df4·d5a0·a027·6669·6e74·7970·65a0··.2.....'fintype. | ||
| 000001b0:·2973·7372·6566·6c65·6374·a028·6d61·7468··)ssreflect.(math | 000001b0:·2973·7372·6566·6c65·6374·a028·6d61·7468··)ssreflect.(math | ||
| 000001c0:·636f·6d70·4090·30ae·c52d·5e39·2bab·c71b··comp@.0..-^9+... | 000001c0:·636f·6d70·4090·30ae·c52d·5e39·2bab·c71b··comp@.0..-^9+... | ||
| 000001d0:·2d25·43a7·9cc8·e0a0·a024·6261·7365·a028··-%C......$base.( | 000001d0:·2d25·43a7·9cc8·e0a0·a024·6261·7365·a028··-%C......$base.( | ||
| 000001e0:·6465·7269·7669·6e67·4090·30 | 000001e0:·6465·7269·7669·6e67·4090·30da·74ff·da5f··deriving@.0.t.._ | ||
| 000001f0:· | 000001f0:·3dec·37c7·22f8·428e·4d9e·10a0·a026·5a41··=.7.".B.M....&ZA | ||
| 00000200:·7269·7468·a004·02a0·2343·6f71·4090·3014··rith....#Coq@.0. | 00000200:·7269·7468·a004·02a0·2343·6f71·4090·3014··rith....#Coq@.0. | ||
| 00000210:·dfef·374d·8064·e4fa·1afb·ae0a·a4ec·2925··..7M.d........)% | 00000210:·dfef·374d·8064·e4fa·1afb·ae0a·a4ec·2925··..7M.d........)% | ||
| 00000220:·352e·322e·30a0·4040·f6e6·2e5c·f314·f83d··5.2.0.@@...\...= | |||
| 000002 | 00000220:·352e·322e·30a0·4040·c061·500b·6229·ee7a··5.2.0.@@.aP.b).z | ||
| 00000230:·8cb6·d0cf·0994·e534·8495·a6be·0003·a5ca··.......4........ | |||
| 00000240:·0000·e495·0003·0875·0002·faf2·b0d0·a023··.......u.......# | 00000240:·0000·e495·0003·0875·0002·faf2·b0d0·a023··.......u.......# | ||
| 00000250:·696e·64a0·2864·6572·6976·696e·6740·e090··ind.(deriving@.. | 00000250:·696e·64a0·2864·6572·6976·696e·6740·e090··ind.(deriving@.. | ||
| 00000260:·0406·4190·a0a0·2966·756e·5f73·706c·6974··..A...)fun_split | 00000260:·0406·4190·a0a0·2966·756e·5f73·706c·6974··..A...)fun_split | ||
| 00000270:·9108·0000·3f00·9008·0000·4300·0405·a0a0··....?.....C..... | 00000270:·9108·0000·3f00·9008·0000·4300·0405·a0a0··....?.....C..... | ||
| 00000280:·a090·2254·7340·b6a0·4040·a99a·a090·b090··.."Ts@..@@...... | 00000280:·a090·2254·7340·b6a0·4040·a99a·a090·b090··.."Ts@..@@...... | ||
| 00000290:·a024·6261·7365·a004·1b40·2366·696e·0239··.$base...@#fin.9 | 00000290:·a024·6261·7365·a004·1b40·2366·696e·0239··.$base...@#fin.9 | ||
| 000002a0:·8c47·01a0·8080·9090·4304·01a0·a0a0·9021··.G......C......! | 000002a0:·8c47·01a0·8080·9090·4304·01a0·a0a0·9021··.G......C......! | ||
| Offset 4906, 16 lines modified | Offset 4906, 16 lines modified | ||
| 00013290:·41b0·0515·b442·0514·aa40·42b0·0513·ab42··A....B...@B....B | 00013290:·41b0·0515·b442·0514·aa40·42b0·0513·ab42··A....B...@B....B | ||
| 000132a0:·051e·f7c0·c040·b005·06ea·4205·1efa·4041··.....@....B...@A | 000132a0:·051e·f7c0·c040·b005·06ea·4205·1efa·4041··.....@....B...@A | ||
| 000132b0:·b005·06e1·4205·1efb·c040·b005·1044·4205··....B....@...DB. | 000132b0:·b005·06e1·4205·1efb·c040·b005·1044·4205··....B....@...DB. | ||
| 000132c0:·0f07·c040·b005·1046·4205·0e76·4041·4243··...@...FB..v@ABC | 000132c0:·0f07·c040·b005·1046·4205·0e76·4041·4243··...@...FB..v@ABC | ||
| 000132d0:·4445·4849·4a4b·4da0·a0a0·265a·4172·6974··DEHIJKM...&ZArit | 000132d0:·4445·4849·4a4b·4da0·a0a0·265a·4172·6974··DEHIJKM...&ZArit | ||
| 000132e0:·68a0·0402·a023·436f·7140·9030·14df·ef37··h....#Coq@.0...7 | 000132e0:·68a0·0402·a023·436f·7140·9030·14df·ef37··h....#Coq@.0...7 | ||
| 000132f0:·4d80·64e4·fa1a·fbae·0aa4·ec29·a005·3d33··M.d........)..=3 | 000132f0:·4d80·64e4·fa1a·fbae·0aa4·ec29·a005·3d33··M.d........)..=3 | ||
| 00013300:·9030· | 00013300:·9030·da74·ffda·5f3d·ec37·c722·f842·8e4d··.0.t.._=.7.".B.M | ||
| 00013310:· | 00013310:·9e10·9040·a0a0·95a0·021d·041a·fca0·40a0··...@..........@. | ||
| 00013320:·a040·275f·202d·463e·205f·c0a0·a040·5ea0··.@'_·-F>·_...@^. | 00013320:·a040·275f·202d·463e·205f·c0a0·a040·5ea0··.@'_·-F>·_...@^. | ||
| 00013330:·905e·a090·5e40·a0b1·4040·a090·5ea0·4090··.^..^@..@@..^.@. | 00013330:·905e·a090·5e40·a0b1·4040·a090·5ea0·4090··.^..^@..@@..^.@. | ||
| 00013340:·40a0·b140·40a0·905e·a041·0406·4090·a0d0··@..@@..^.A..@... | 00013340:·40a0·b140·40a0·905e·a041·0406·4090·a0d0··@..@@..^.A..@... | ||
| 00013350:·a0a0·405e·0414·4004·19a0·a0a1·a140·0412··..@^..@......@.. | 00013350:·a0a0·405e·0414·4004·19a0·a0a1·a140·0412··..@^..@......@.. | ||
| 00013360:·9005·3fbf·a0a0·4123·2d46·3ea0·a1a1·4004··..?...A#-F>...@. | 00013360:·9005·3fbf·a0a0·4123·2d46·3ea0·a1a1·4004··..?...A#-F>...@. | ||
| 00013370:·1390·0536·0340·40a0·041c·a004·1740·4090··...6.@@......@@. | 00013370:·1390·0536·0340·40a0·041c·a004·1740·4090··...6.@@......@@. | ||
| 00013380:·a040·a0a0·a590·40a0·a040·90b0·4090·5e90··.@....@..@..@.^. | 00013380:·a040·a0a0·a590·40a0·a040·90b0·4090·5e90··.@....@..@..@.^. | ||
| Offset 9329, 9341 lines modified | Offset 9329, 9341 lines modified | ||
| 00024700:·ff55·d025·322e·302e·35d0·e040·4040·4040··.U.%2.0.5..@@@@@ | 00024700:·ff55·d025·322e·302e·35d0·e040·4040·4040··.U.%2.0.5..@@@@@ | ||
| 00024710:·a040·4040·a0c0·e090·0520·5730·2e2f·7468··.@@@.....·W0./th | 00024710:·a040·4040·a0c0·e090·0520·5730·2e2f·7468··.@@@.....·W0./th | ||
| 00024720:·656f·7269·6573·2f69·6e64·2e76·0176·1d01··eories/ind.v.v.. | 00024720:·656f·7269·6573·2f69·6e64·2e76·0176·1d01··eories/ind.v.v.. | ||
| 00024730:·765d·0104·3301·761d·c040·4040·41b0·c391··v]..3.v..@@@A... | 00024730:·765d·0104·3301·761d·c040·4040·41b0·c391··v]..3.v..@@@A... | ||
| 00024740:·402f·6c6f·6361·6c2d·6361·6e6f·6e69·6361··@/local-canonica | 00024740:·402f·6c6f·6361·6c2d·6361·6e6f·6e69·6361··@/local-canonica | ||
| 00024750:·6cb0·95a0·9104·6058·040c·a022·5479·9090··l.....`X..."Ty.. | 00024750:·6cb0·95a0·9104·6058·040c·a022·5479·9090··l.....`X..."Ty.. | Diff chunk too large, falling back to line-by-line diff (9334 lines added, 9334 lines removed) | |
| 00024760:·9090·2863·6f6e·7374·616e·7440·0413·a004··..(constant@.... | 00024760:·9090·2863·6f6e·7374·616e·7440·0413·a004··..(constant@.... | ||
| 00024770:·0790·9090·4040·4040·402 | 00024770:·0790·9090·4040·4040·4029·3835·3930·3939··....@@@@@)859099 | ||
| 00024780:·3 | 00024780:·3539·34e0·d0d0·d0d0·4025·4063·6173·74a0··594.....@%@cast. | ||
| 00024790:· | 00024790:·b0b4·90a0·2154·226c·7040·b0b4·90a0·2254··....!T"lp@...."T | ||
| 000247a0:·5 | 000247a0:·5904·0640·b0c3·9140·236c·6574·b095·a090··Y..@...@#let.... | ||
| 000247b0:· | 000247b0:·0586·aa53·e040·3063·6f71·2d62·7569·6c74··...S.@0coq-built | ||
| 000247c0:· | 000247c0:·696e·2e65·6c70·6901·24e8·0124·ee01·00e1··in.elpi.$..$.... | ||
| 000247d0:· | 000247d0:·0124·cfa0·0428·9040·a0b0·a190·0416·0411··.$...(.@........ | ||
| 000247e0:· | 000247e0:·e040·0408·0124·ef01·24f1·0100·e101·24cf··.@...$..$.....$. | ||
| 000247f0:· | 000247f0:·a004·2f90·40a0·b0a1·9004·1d04·1ee0·4004··../.@.........@. | ||
| 00024800:·0 | 00024800:·0f01·24f2·0124·f301·00e1·0124·cfa0·0436··..$..$.....$...6 | ||
| 00024810:· | 00024810:·9040·a0b0·b490·a021·7804·2640·b0a1·9004··.@.....!x.&@.... | ||
| 00024820:· | 00024820:·2904·04e0·4004·1b01·24f6·0124·f701·00e1··)...@...$..$.... | ||
| 00024830:· | 00024830:·0124·cfa0·0442·9040·e040·041e·0124·f401··.$...B.@.@...$.. | ||
| 00024840:· | 00024840:·24f7·0100·e101·24cf·a004·4590·4040·e040··$.....$...E.@@.@ | ||
| 00024850:· | 00024850:·0421·0124·e401·24f7·0100·e101·24cf·a004··.!.$..$.....$... | ||
| 00024860:· | 00024860:·4890·40e0·4004·2401·24dd·0124·f701·00e1··H.@.@.$.$..$.... | ||
| 00024870:· | 00024870:·0124·cfa0·044b·9040·e040·0427·0124·db01··.$...K.@.@.'.$.. | ||
| 00024880:· | 00024880:·24f7·0100·e101·24cf·a004·4e90·40e0·4004··$.....$...N.@.@. | ||
| 00024890:· | 00024890:·2a01·24cf·0124·f801·00e1·0124·cfd0·402a··*.$..$.....$..@* | ||
| 000248a0:· | 000248a0:·4063·6f65·7263·696f·6e21·a0b0·c391·4022··@coercion!....@" | ||
| 000248b0:· | 000248b0:·3a3a·b0c3·9140·2863·6f65·7263·696f·6eb0··::...@(coercion. | ||
| 000248c0:· | 000248c0:·a191·402a·7265·7665·7273·6962·6c65·e040··..@*reversible.@ | ||
| 000248d0:· | 000248d0:·043a·0153·1a01·5324·0101·f201·52fc·a004··.:.S..S$....R... | ||
| 000248e0:· | 000248e0:·6190·4040·e040·043d·0153·1101·5324·0101··a.@@.@.=.S..S$.. | ||
| 000248f0:· | 000248f0:·f201·52fc·a004·6490·40a0·b0a1·9140·225b··..R...d.@....@"[ | ||
| 00024900:·5 | 00024900:·5de0·4004·4501·5324·0153·2501·01f2·0152··].@.E.S$.S%....R | ||
| 00024910:· | 00024910:·fca0·046c·9040·40e0·4004·4801·5310·0153··...l.@@.@.H.S..S | ||
| 00024920:· | 00024920:·2501·01f2·0152·fca0·046f·9040·e040·044b··%....R...o.@.@.K | ||
| 00024930:· | 00024930:·0152·fc01·5325·0101·f201·52fc·4041·422c··.R..S%....R.@AB, | ||
| 00024940:· | 00024940:·4064·6570·7265·6361·7465·6421·a0b0·b490··@deprecated!.... | ||
| 00024950:· | 00024950:·a025·5369·6e63·6504·6140·b0b4·90a0·234d··.%Since.a@....#M | ||
| 00024960:· | 00024960:·7367·0466·40b0·c391·402a·6765·742d·6f70··sg.f@...@*get-op | ||
| 00024970:·7 | 00024970:·7469·6f6e·b095·a02e·636f·713a·6465·7072··tion....coq:depr | ||
| 00024980:· | 00024980:·6563·6174·6564·43e0·4004·6001·5280·0152··ecatedC.@.`.R..R | ||
| 00024990:· | 00024990:·9001·01ed·0152·73a0·0487·9040·a0b0·c391··.....Rs....@.... | ||
| 000249a0:· | 000249a0:·4022·7072·b0a1·9004·7904·19e0·4004·6b01··@"pr....y...@.k. | ||
| 000249b0:· | 000249b0:·5295·0152·9a01·01ed·0152·73a0·0492·9040··R..R.....Rs....@ | ||
| 000249c0:· | 000249c0:·a0b0·a190·0480·041b·e040·0472·0152·9b01··.........@.r.R.. | ||
| 000249d0:· | 000249d0:·529e·0101·ed01·5273·a004·9990·4040·e040··R.....Rs....@@.@ | ||
| 000249e0:· | 000249e0:·0475·0152·9201·529e·0101·ed01·5273·a004··.u.R..R.....Rs.. | ||
| 000249f0:· | 000249f0:·9c90·4040·e040·0478·0152·7501·529f·0101··..@@.@.x.Ru.R... | ||
| 00024a00:· | 00024a00:·ed01·5273·a004·9f90·40e0·4004·7b01·526c··..Rs....@.@.{.Rl | ||
| 00024a10:· | 00024a10:·0152·9f01·01ed·0152·73a0·04a2·9040·e040··.R.....Rs....@.@ | ||
| 00024a20:· | 00024a20:·047e·0152·6601·529f·0101·ed01·5273·a004··.~.Rf.R.....Rs.. | ||
| 00024a30:· | 00024a30:·a590·40e0·4004·8101·5253·0152·9f01·01ec··..@.@...RS.R.... | ||
| 00024a40:· | 00024a40:·0152·53d0·402b·4064·726f·7075·6e69·7673··.RS.@+@dropunivs | ||
| 00024a50:· | 00024a50:·21a0·b0c3·9140·042d·b095·a02d·636f·713a··!....@.-...-coq: | ||
| 00024a60:· | 00024a60:·6b65·6570·756e·6976·7343·e040·048c·0150··keepunivsC.@...P | ||
| 00024a70:· | 00024a70:·c201·50d1·0101·e201·50a2·a004·b390·40a0··..P.....P.....@. | ||
| 00024a80:· | 00024a80:·b0a1·9140·2266·66e0·4004·9401·50d2·0150··...@"ff.@...P..P | ||
| 00024a90:· | 00024a90:·d401·01e2·0150·a2a0·04bb·9040·40e0·4004··.....P.....@@.@. | ||
| 00024aa0:· | 00024aa0:·9701·50b7·0150·d401·01e2·0150·a2a0·04be··..P..P.....P.... | ||
| 00024ab0:· | 00024ab0:·9040·e040·049a·0150·a201·50d4·0101·e201··.@.@...P..P..... | ||
| 00024ac0:· | 00024ac0:·50a2·4041·4328·4067·6c6f·6261·6c21·a0b0··P.@AC(@global!.. | ||
| 00024ad0:· | 00024ad0:·c391·4004·45b0·95a0·2c63·6f71·3a6c·6f63··..@.E...,coq:loc | ||
| 00024ae0:·6 | 00024ae0:·616c·6974·7943·e040·04a4·0118·0501·1813··alityC.@........ | ||
| 00024af0:· | 00024af0:·0100·9501·17e6·a004·cb90·40a0·b095·a026··..........@....& | ||
| 00024b00:· | 00024b00:·676c·6f62·616c·43e0·4004·ac01·1814·0118··globalC.@....... | ||
| 00024b10:·1 | 00024b10:·1c01·0095·0117·e6a0·04d3·9040·40e0·4004··...........@@.@. | ||
| 00024b20:· | 00024b20:·af01·17fa·0118·1c01·0095·0117·e6a0·04d6··................ | ||
| 00024b30:· | 00024b30:·9040·e040·04b2·0117·e601·181c·0100·9501··.@.@............ | ||
| 00024b40:· | 00024b40:·17e6·d0d0·d040·2740·686f·6c65·7321·a0b0··.....@'@holes!.. | ||
| 00024b50:· | 00024b50:·c391·4004·60b0·95a0·2a48·4f41·533a·686f··..@.`...*HOAS:ho | ||
| 00024b60:·6 | 00024b60:·6c65·7343·e040·04bf·0133·ad01·33b9·0101··lesC.@...3..3... | ||
| 00024b70:· | 00024b70:·4301·3391·a004·e690·40a0·b0a1·9140·2274··C.3.....@....@"t | ||
| 00024b80:·74 | 00024b80:·74e0·4004·c701·33ba·0133·bc01·0143·0133··t.@...3..3...C.3 | ||
| 00024b90:· | 00024b90:·91a0·04ee·9040·40e0·4004·ca01·33a2·0133··.....@@.@...3..3 | ||
| 00024ba0:· | 00024ba0:·bc01·0143·0133·91a0·04f1·9040·e040·04cd··...C.3.....@.@.. | ||
| 00024bb0:· | 00024bb0:·0133·9101·33bc·0101·4301·3391·d040·2840··.3..3...C.3..@(@ | ||
| 00024bc0:· | 00024bc0:·696e·6c69·6e65·21a0·b0b4·90a0·214e·04e4··inline!.....!N.. | ||
| 00024bd0:· | 00024bd0:·40b0·c391·4004·7eb0·95a0·2a63·6f71·3a69··@...@.~...*coq:i | ||
| Max diff block lines reached; -1/1292171 bytes (-0.00%) of diff not shown. | |||
| Offset 25, 28 lines modified | Offset 25, 28 lines modified | ||
| 00000180:·8df4·d5a0·a027·6669·6e74·7970·65a0·2973··.....'fintype.)s | 00000180:·8df4·d5a0·a027·6669·6e74·7970·65a0·2973··.....'fintype.)s | ||
| 00000190:·7372·6566·6c65·6374·a028·6d61·7468·636f··sreflect.(mathco | 00000190:·7372·6566·6c65·6374·a028·6d61·7468·636f··sreflect.(mathco | ||
| 000001a0:·6d70·4090·30ae·c52d·5e39·2bab·c71b·2d25··mp@.0..-^9+...-% | 000001a0:·6d70·4090·30ae·c52d·5e39·2bab·c71b·2d25··mp@.0..-^9+...-% | ||
| 000001b0:·43a7·9cc8·e0a0·a025·6f72·6465·72a0·2973··C......%order.)s | 000001b0:·43a7·9cc8·e0a0·a025·6f72·6465·72a0·2973··C......%order.)s | ||
| 000001c0:·7372·6566·6c65·6374·a028·6d61·7468·636f··sreflect.(mathco | 000001c0:·7372·6566·6c65·6374·a028·6d61·7468·636f··sreflect.(mathco | ||
| 000001d0:·6d70·4090·3071·e6d7·54e6·5b10·b9ce·f35e··mp@.0q..T.[....^ | 000001d0:·6d70·4090·3071·e6d7·54e6·5b10·b9ce·f35e··mp@.0q..T.[....^ | ||
| 000001e0:·0d16·b85d·58a0·a024·6261·7365·a028·6465··...]X..$base.(de | 000001e0:·0d16·b85d·58a0·a024·6261·7365·a028·6465··...]X..$base.(de | ||
| 000001f0:·7269·7669·6e67·4090·30 | 000001f0:·7269·7669·6e67·4090·30da·74ff·da5f·3dec··riving@.0.t.._=. | ||
| 00000200:· | 00000200:·37c7·22f8·428e·4d9e·10a0·a023·696e·64a0··7.".B.M....#ind. | ||
| 00000210:·2864·6572·6976·696e·6740·9030· | 00000210:·2864·6572·6976·696e·6740·9030·4378·33e6··(deriving@.0Cx3. | ||
| 00000220:· | 00000220:·5d66·ea32·c09c·467f·f7cd·d30e·a0a0·2774··]f.2..F.......'t | ||
| 00000230:·6163·7469·6373·a028·6465·7269·7669·6e67··actics.(deriving | 00000230:·6163·7469·6373·a028·6465·7269·7669·6e67··actics.(deriving | ||
| 00000240:·4090·30 | 00000240:·4090·30fb·9fe5·eff1·26d1·3b49·a97c·1fd0··@.0.....&.;I.|.. | ||
| 00000250:· | 00000250:·79a7·c325·352e·322e·30a0·4040·9d89·7fff··y..%5.2.0.@@.... | ||
| 00000260:· | 00000260:·83ed·f117·061e·169c·1d93·17ff·8495·a6be··................ | ||
| 00000270:·0000·20e6·0000·0964·0000·1d85·0000·1d0a··..·....d........ | 00000270:·0000·20e6·0000·0964·0000·1d85·0000·1d0a··..·....d........ | ||
| 00000280:·b0d0·a025·696e·6665·72a0·2864·6572·6976··...%infer.(deriv | 00000280:·b0d0·a025·696e·6665·72a0·2864·6572·6976··...%infer.(deriv | ||
| 00000290:·696e·6740·e090·0406·4190·4040·a040·4090··ing@....A.@@.@@. | 00000290:·696e·6740·e090·0406·4190·4040·a040·4090··ing@....A.@@.@@. | ||
| 000002a0:·40a0·4040·90a0·a027·7461·6374·6963·73a0··@.@@...'tactics. | 000002a0:·40a0·4040·90a0·a027·7461·6374·6963·73a0··@.@@...'tactics. | ||
| 000002b0:·2864·6572·6976·696e·6740·9030· | 000002b0:·2864·6572·6976·696e·6740·9030·fb9f·e5ef··(deriving@.0.... | ||
| 000002c0:· | 000002c0:·f126·d13b·49a9·7c1f·d079·a7c3·9040·a0a0··.&.;I.|..y...@.. | ||
| 000002d0:·95a0·021d·041a·fca0·40a0·a040·305b·2069··........@..@0[·i | 000002d0:·95a0·021d·041a·fca0·40a0·a040·305b·2069··........@..@0[·i | ||
| 000002e0:·6e64·4465·6620·666f·7220·5f20·5dc0·a0a0··ndDef·for·_·]... | 000002e0:·6e64·4465·6620·666f·7220·5f20·5dc0·a0a0··ndDef·for·_·]... | ||
| 000002f0:·4040·a040·40a0·b140·40a0·4140·4090·a0d0··@@.@@..@@.A@@... | 000002f0:·4040·a040·40a0·b140·40a0·4140·4090·a0d0··@@.@@..@@.A@@... | ||
| 00000300:·a0a0·4040·0409·4004·0ea0·a0a0·4121·5ba0··..@@..@.....A![. | 00000300:·a0a0·4040·0409·4004·0ea0·a0a0·4121·5ba0··..@@..@.....A![. | ||
| 00000310:·a040·2669·6e64·4465·66a0·a041·2366·6f72··.@&indDef..A#for | 00000310:·a040·2669·6e64·4465·66a0·a041·2366·6f72··.@&indDef..A#for | ||
| 00000320:·a0a1·a140·0413·9024·7265·6374·a0a0·4121··...@...$rect..A! | 00000320:·a0a1·a140·0413·9024·7265·6374·a0a0·4121··...@...$rect..A! | ||
| 00000330:·5d40·40a0·041a·4040·90a0·40a0·a094·225b··]@@...@@..@..."[ | 00000330:·5d40·40a0·041a·4040·90a0·40a0·a094·225b··]@@...@@..@..."[ | ||
| Offset 560, 26 lines modified | Offset 560, 26 lines modified | ||
| 000022f0:·0501·bb41·a094·b004·16a0·4490·044d·41a0··...A......D..MA. | 000022f0:·0501·bb41·a094·b004·16a0·4490·044d·41a0··...A......D..MA. | ||
| 00002300:·9104·8540·a091·0508·2340·9105·08c8·4005··...@....#@....@. | 00002300:·9104·8540·a091·0508·2340·9105·08c8·4005··...@....#@....@. | ||
| 00002310:·0134·40a0·0508·70a0·a005·0961·4009·445b··.4@...p....a@.D[ | 00002310:·0134·40a0·0508·70a0·a005·0961·4009·445b··.4@...p....a@.D[ | ||
| 00002320:·2027·696e·6665·7227·2027·696e·6454·7970···'infer'·'indTyp | 00002320:·2027·696e·6665·7227·2027·696e·6454·7970···'infer'·'indTyp | ||
| 00002330:·6527·2027·6f66·2720·5420·2777·6974·6827··e'·'of'·T·'with' | 00002330:·6527·2027·6f66·2720·5420·2777·6974·6827··e'·'of'·T·'with' | ||
| 00002340:·2070·726f·6a20·2761·7327·2073·5420·6e20···proj·'as'·sT·n· | 00002340:·2070·726f·6a20·2761·7327·2073·5420·6e20···proj·'as'·sT·n· | ||
| 00002350:·736f·7274·7320·4420·6344·2027·696e·2720··sorts·D·cD·'in'· | 00002350:·736f·7274·7320·4420·6344·2027·696e·2720··sorts·D·cD·'in'· | ||
| 00002360:·6520·5d40·4040·f | 00002360:·6520·5d40·4040·f1a2·cce3·7a12·1a70·b9cd··e·]@@@....z..p.. | ||
| 00002370:· | 00002370:·be4f·0389·af16·8495·a6be·0000·0001·0000··.O.............. | ||
| 00002380:·0000·0000·0000·0000·0000·8061·44c8·6cd4··...........aD.l. | 00002380:·0000·0000·0000·0000·0000·8061·44c8·6cd4··...........aD.l. | ||
| 00002390:·a168·cd70·495a·5cc4·22ad·e984·95a6·be00··.h.pIZ\."....... | 00002390:·a168·cd70·495a·5cc4·22ad·e984·95a6·be00··.h.pIZ\."....... | ||
| 000023a0:·0000·1400·0000·0500·0000·1000·0000·0ea0··................ | 000023a0:·0000·1400·0000·0500·0000·1000·0000·0ea0··................ | ||
| 000023b0:·a025·696e·6665·72a0·2864·6572·6976·696e··.%infer.(derivin | 000023b0:·a025·696e·6665·72a0·2864·6572·6976·696e··.%infer.(derivin | ||
| 000023c0:·6740·809c·fffd·2618·1c04·2d51·7aaf·ecec··g@....&...-Qz... | 000023c0:·6740·809c·fffd·2618·1c04·2d51·7aaf·ecec··g@....&...-Qz... | ||
| 000023d0:·9b72·0d00·0000·0400·0000·076c·6962·7261··.r.........libra | 000023d0:·9b72·0d00·0000·0400·0000·076c·6962·7261··.r.........libra | ||
| 000023e0:·7279·0000·0000·0000·026c·0000·0000·0000··ry.......l...... | 000023e0:·7279·0000·0000·0000·026c·0000·0000·0000··ry.......l...... | ||
| 000023f0:·20fa·f | 000023f0:·20fa·f1a2·cce3·7a12·1a70·b9cd·be4f·0389···.....z..p...O.. | ||
| 00002400:· | 00002400:·af16·0000·0007·6f70·6171·7565·7300·0000··......opaques... | ||
| 00002410:·0000·0023·7600·0000·0000·0000·1561·44c8··...#v........aD. | 00002410:·0000·0023·7600·0000·0000·0000·1561·44c8··...#v........aD. | ||
| 00002420:·6cd4·a168·cd70·495a·5cc4·22ad·e900·0000··l..h.pIZ\."..... | 00002420:·6cd4·a168·cd70·495a·5cc4·22ad·e900·0000··l..h.pIZ\."..... | ||
| 00002430:·0773·756d·6d61·7279·0000·0000·0000·0010··.summary........ | 00002430:·0773·756d·6d61·7279·0000·0000·0000·0010··.summary........ | ||
| 00002440:·0000·0000·0000·024c· | 00002440:·0000·0000·0000·024c·9d89·7fff·83ed·f117··.......L........ | ||
| 00002450:· | 00002450:·061e·169c·1d93·17ff·0000·0009·766d·6c69··............vmli | ||
| 00002460:·6272·6172·7900·0000·0000·0023·9b00·0000··brary......#.... | 00002460:·6272·6172·7900·0000·0000·0023·9b00·0000··brary......#.... | ||
| 00002470:·0000·0000·289c·fffd·2618·1c04·2d51·7aaf··....(...&...-Qz. | 00002470:·0000·0000·289c·fffd·2618·1c04·2d51·7aaf··....(...&...-Qz. | ||
| 00002480:·ecec·9b72·0d·····························...r. | 00002480:·ecec·9b72·0d·····························...r. |
| Offset 26, 24 lines modified | Offset 26, 24 lines modified | ||
| 00000190:·a027·6669·6e74·7970·65a0·2973·7372·6566··.'fintype.)ssref | 00000190:·a027·6669·6e74·7970·65a0·2973·7372·6566··.'fintype.)ssref | ||
| 000001a0:·6c65·6374·a028·6d61·7468·636f·6d70·4090··lect.(mathcomp@. | 000001a0:·6c65·6374·a028·6d61·7468·636f·6d70·4090··lect.(mathcomp@. | ||
| 000001b0:·30ae·c52d·5e39·2bab·c71b·2d25·43a7·9cc8··0..-^9+...-%C... | 000001b0:·30ae·c52d·5e39·2bab·c71b·2d25·43a7·9cc8··0..-^9+...-%C... | ||
| 000001c0:·e0a0·a025·6f72·6465·72a0·2973·7372·6566··...%order.)ssref | 000001c0:·e0a0·a025·6f72·6465·72a0·2973·7372·6566··...%order.)ssref | ||
| 000001d0:·6c65·6374·a028·6d61·7468·636f·6d70·4090··lect.(mathcomp@. | 000001d0:·6c65·6374·a028·6d61·7468·636f·6d70·4090··lect.(mathcomp@. | ||
| 000001e0:·3071·e6d7·54e6·5b10·b9ce·f35e·0d16·b85d··0q..T.[....^...] | 000001e0:·3071·e6d7·54e6·5b10·b9ce·f35e·0d16·b85d··0q..T.[....^...] | ||
| 000001f0:·58a0·a024·6261·7365·a028·6465·7269·7669··X..$base.(derivi | 000001f0:·58a0·a024·6261·7365·a028·6465·7269·7669··X..$base.(derivi | ||
| 00000200:·6e67·4090·30 | 00000200:·6e67·4090·30da·74ff·da5f·3dec·37c7·22f8··ng@.0.t.._=.7.". | ||
| 00000210:· | 00000210:·428e·4d9e·10a0·a023·696e·64a0·2864·6572··B.M....#ind.(der | ||
| 00000220:·6976·696e·6740·9030·c960·e4df·0d33·5da0··iving@.0.`...3]. | |||
| 000002 | 00000220:·6976·696e·6740·9030·4378·33e6·5d66·ea32··iving@.0Cx3.]f.2 | ||
| 00000230:·c09c·467f·f7cd·d30e·a0a0·2774·6163·7469··..F.......'tacti | |||
| 00000240:·6373·a028·6465·7269·7669·6e67·4090·30 | 00000240:·6373·a028·6465·7269·7669·6e67·4090·30fb··cs.(deriving@.0. | ||
| 00000250:· | 00000250:·9fe5·eff1·26d1·3b49·a97c·1fd0·79a7·c3a0··....&.;I.|..y... | ||
| 00000260:·a025·696e·6665·72a0·2864·6572·6976·696e··.%infer.(derivin | 00000260:·a025·696e·6665·72a0·2864·6572·6976·696e··.%infer.(derivin | ||
| 00000270:·6740·9030·f88f·5cb4·53f8·232c·5793·7930··g@.0..\.S.#,W.y0 | |||
| 00000280:·cbec·4782·2535·2e32·2e30·a040·4070·2d7e··..G.%5.2.0.@@p-~ | |||
| 000002 | 00000270:·6740·9030·f1a2·cce3·7a12·1a70·b9cd·be4f··g@.0....z..p...O | ||
| 00000280:·0389·af16·2535·2e32·2e30·a040·40d1·a99c··....%5.2.0.@@... | |||
| 00000290:·ae52·f8bd·2d8f·60a2·c415·29b5·8a84·95a6··.R..-.`...)..... | |||
| 000002a0:·be00·005a·8100·0013·7400·0043·3800·0040··...Z....t..C8..@ | 000002a0:·be00·005a·8100·0013·7400·0043·3800·0040··...Z....t..C8..@ | ||
| 000002b0:·22b0·d0a0·2665·7174·7970·65a0·2969·6e73··"...&eqtype.)ins | 000002b0:·22b0·d0a0·2665·7174·7970·65a0·2969·6e73··"...&eqtype.)ins | ||
| 000002c0:·7461·6e63·6573·a028·6465·7269·7669·6e67··tances.(deriving | 000002c0:·7461·6e63·6573·a028·6465·7269·7669·6e67··tances.(deriving | ||
| 000002d0:·40e0·9004·0841·90a0·a029·4465·7245·7154··@....A...)DerEqT | 000002d0:·40e0·9004·0841·90a0·a029·4465·7245·7154··@....A...)DerEqT | ||
| 000002e0:·7970·6593·e0a2·0408·0404·4190·a0a0·2c65··ype.......A...,e | 000002e0:·7970·6593·e0a2·0408·0404·4190·a0a0·2c65··ype.......A...,e | ||
| 000002f0:·715f·6f70·5f62·7261·6e63·6890·0800·0027··q_op_branch....' | 000002f0:·715f·6f70·5f62·7261·6e63·6890·0800·0027··q_op_branch....' | ||
| 00000300:·0040·a080·8091·b7a0·9021·5440·9ba0·a090··.@.......!T@.... | 00000300:·0040·a080·8091·b7a0·9021·5440·9ba0·a090··.@.......!T@.... | ||
| Offset 1126, 16 lines modified | Offset 1126, 16 lines modified | ||
| 00004650:·6ec0·40b0·048b·4205·02a7·4041·4445·46b0··n.@...B...@ADEF. | 00004650:·6ec0·40b0·048b·4205·02a7·4041·4445·46b0··n.@...B...@ADEF. | ||
| 00004660:·045f·4205·01ba·c0c0·40b0·0501·8742·0501··._B.....@....B.. | 00004660:·045f·4205·01ba·c0c0·40b0·0501·8742·0501··._B.....@....B.. | ||
| 00004670:·c840·41b0·0501·8242·050c·20c0·c040·b005··.@A....B..·..@.. | 00004670:·c840·41b0·0501·8242·050c·20c0·c040·b005··.@A....B..·..@.. | ||
| 00004680:·0c23·4205·0185·c040·b005·0bd7·4205·0187··.#B....@....B... | 00004680:·0c23·4205·0185·c040·b005·0bd7·4205·0187··.#B....@....B... | ||
| 00004690:·4041·42b0·050b·d842·050c·26c0·40b0·050c··@AB....B..&.@... | 00004690:·4041·42b0·050b·d842·050c·26c0·40b0·050c··@AB....B..&.@... | ||
| 000046a0:·9c42·0501·c640·4143·4447·4849·4a90·a0a0··.B...@ACDGHIJ... | 000046a0:·9c42·0501·c640·4143·4447·4849·4a90·a0a0··.B...@ACDGHIJ... | ||
| 000046b0:·2569·6e66·6572·a028·6465·7269·7669·6e67··%infer.(deriving | 000046b0:·2569·6e66·6572·a028·6465·7269·7669·6e67··%infer.(deriving | ||
| 000046c0:·4090·30f | 000046c0:·4090·30f1·a2cc·e37a·121a·70b9·cdbe·4f03··@.0....z..p...O. | ||
| 000046d0:· | 000046d0:·89af·1690·40a0·a0a0·050c·d8a0·4090·40a0··....@.......@.@. | ||
| 000046e0:·95a0·021d·041a·fca0·40a0·a040·3f5b·2064··........@..@?[·d | 000046e0:·95a0·021d·041a·fca0·40a0·a040·3f5b·2064··........@..@?[·d | ||
| 000046f0:·6572·6976·6520·6e6f·7265·6420·6861·7344··erive·nored·hasD | 000046f0:·6572·6976·6520·6e6f·7265·6420·6861·7344··erive·nored·hasD | ||
| 00004700:·6563·4571·2066·6f72·205f·205d·c0a0·a040··ecEq·for·_·]...@ | 00004700:·6563·4571·2066·6f72·205f·205d·c0a0·a040··ecEq·for·_·]...@ | ||
| 00004710:·40a0·4040·a0b1·4040·a041·4040·90a0·d0a0··@.@@..@@.A@@.... | 00004710:·40a0·4040·a0b1·4040·a041·4040·90a0·d0a0··@.@@..@@.A@@.... | ||
| 00004720:·a040·4004·0940·040e·a0a0·a041·215b·a0a0··.@@..@.....A![.. | 00004720:·a040·4004·0940·040e·a0a0·a041·215b·a0a0··.@@..@.....A![.. | ||
| 00004730:·4026·6465·7269·7665·a0a0·4025·6e6f·7265··@&derive..@%nore | 00004730:·4026·6465·7269·7665·a0a0·4025·6e6f·7265··@&derive..@%nore | ||
| 00004740:·64a0·a040·2868·6173·4465·6345·71a0·a041··d..@(hasDecEq..A | 00004740:·64a0·a040·2868·6173·4465·6345·71a0·a041··d..@(hasDecEq..A | ||
| Offset 1485, 16 lines modified | Offset 1485, 16 lines modified | ||
| 00005cc0:·90a0·902e·6465·7269·7669·6e67·2030·2e32··....deriving·0.2 | 00005cc0:·90a0·902e·6465·7269·7669·6e67·2030·2e32··....deriving·0.2 | ||
| 00005cd0:·2e30·9009·2855·7365·205b·6465·7269·7665··.0..(Use·[derive | 00005cd0:·2e30·9009·2855·7365·205b·6465·7269·7665··.0..(Use·[derive | ||
| 00005ce0:·206c·617a·7920·6861·7344·6563·4571·2066···lazy·hasDecEq·f | 00005ce0:·206c·617a·7920·6861·7344·6563·4571·2066···lazy·hasDecEq·f | ||
| 00005cf0:·6f72·205f·5d20·696e·7374·6561·6440·a005··or·_]·instead@.. | 00005cf0:·6f72·205f·5d20·696e·7374·6561·6440·a005··or·_]·instead@.. | ||
| 00005d00:·0547·a0a0·0513·7140·0925·5b20·2764·6572··.G....q@.%[·'der | 00005d00:·0547·a0a0·0513·7140·0925·5b20·2764·6572··.G....q@.%[·'der | ||
| 00005d10:·6976·6527·2027·6c61·7a79·2720·2765·714d··ive'·'lazy'·'eqM | 00005d10:·6976·6527·2027·6c61·7a79·2720·2765·714d··ive'·'lazy'·'eqM | ||
| 00005d20:·6978·696e·2720·2766·6f72·2720·5420·5d40··ixin'·'for'·T·]@ | 00005d20:·6978·696e·2720·2766·6f72·2720·5420·5d40··ixin'·'for'·T·]@ | ||
| 00005d30:·4040· | 00005d30:·4040·b510·4d9d·37e5·0f99·c66f·cc32·f2c3··@@..M.7....o.2.. | ||
| 00005d40:· | 00005d40:·35a3·8495·a6be·0000·5347·0000·10cc·0000··5.......SG...... | ||
| 00005d50:·39d8·0000·3974·9090·a0b7·a090·2169·40a9··9...9t......!i@. | 00005d50:·39d8·0000·3974·9090·a0b7·a090·2169·40a9··9...9t......!i@. | ||
| 00005d60:·9aa0·90b0·90a0·2462·6173·65a0·2864·6572··......$base.(der | 00005d60:·9aa0·90b0·90a0·2462·6173·65a0·2864·6572··......$base.(der | ||
| 00005d70:·6976·696e·6740·2366·696e·0239·8c47·01a0··iving@#fin.9.G.. | 00005d70:·6976·696e·6740·2366·696e·0239·8c47·01a0··iving@#fin.9.G.. | ||
| 00005d80:·8080·9008·0000·0f10·a0c0·a090·b0a2·a290··................ | 00005d80:·8080·9008·0000·0f10·a0c0·a090·b0a2·a290··................ | ||
| 00005d90:·a023·696e·6404·1023·496e·6423·4465·6624··.#ind..#Ind#Def$ | 00005d90:·a023·696e·6404·1023·496e·6423·4465·6624··.#ind..#Ind#Def$ | ||
| 00005da0:·7479·7065·0229·14f9·ac40·4040·90b0·040a··type.)...@@@.... | 00005da0:·7479·7065·0229·14f9·ac40·4040·90b0·040a··type.)...@@@.... | ||
| 00005db0:·216e·0229·0822·c840·4091·2154·b7a0·9030··!n.).".@@.!T...0 | 00005db0:·216e·0229·0822·c840·4091·2154·b7a0·9030··!n.).".@@.!T...0 | ||
| Offset 2921, 17 lines modified | Offset 2921, 17 lines modified | ||
| 0000b680:·2143·0043·0121·092d·0007·4a37·0625·060b··!C.C.!.-..J7.%.. | 0000b680:·2143·0043·0121·092d·0007·4a37·0625·060b··!C.C.!.-..J7.%.. | ||
| 0000b690:·0037·0726·0280·2e7c·1c14·101c·1418·1c0c··.7.&...|........ | 0000b690:·0037·0726·0280·2e7c·1c14·101c·1418·1c0c··.7.&...|........ | ||
| 0000b6a0:·0814·1834·1890·9090·a0a0·a003·0016·0236··...4...........6 | 0000b6a0:·0814·1834·1890·9090·a0a0·a003·0016·0236··...4...........6 | ||
| 0000b6b0:·ff81·6e78·90b0·a023·696e·64a0·2864·6572··..nx...#ind.(der | 0000b6b0:·ff81·6e78·90b0·a023·696e·64a0·2864·6572··..nx...#ind.(der | ||
| 0000b6c0:·6976·696e·6740·2001·05f2·4040·a762·bd26··iving@·...@@.b.& | 0000b6c0:·6976·696e·6740·2001·05f2·4040·a762·bd26··iving@·...@@.b.& | ||
| 0000b6d0:·f923·a6c4·5501·c2a6·1204·b346·0000·0004··.#..U......F.... | 0000b6d0:·f923·a6c4·5501·c2a6·1204·b346·0000·0004··.#..U......F.... | ||
| 0000b6e0:·0000·0007·6c69·6272·6172·7900·0000·0000··....library..... | 0000b6e0:·0000·0007·6c69·6272·6172·7900·0000·0000··....library..... | ||
| 0000b6f0:·0002·9d00·0000·0000·005a·95 | 0000b6f0:·0002·9d00·0000·0000·005a·95b5·104d·9d37··.........Z...M.7 | ||
| 0000b700:· | 0000b700:·e50f·99c6·6fcc·32f2·c335·a300·0000·076f··....o.2..5.....o | ||
| 0000b710:·7061·7175·6573·0000·0000·0000·5d42·0000··paques......]B.. | 0000b710:·7061·7175·6573·0000·0000·0000·5d42·0000··paques......]B.. | ||
| 0000b720:·0000·0000·535b·ea0e·1d14·3d90·862e·a1bb··....S[....=..... | 0000b720:·0000·0000·535b·ea0e·1d14·3d90·862e·a1bb··....S[....=..... | ||
| 0000b730:·3af9·008f·71e3·0000·0007·7375·6d6d·6172··:...q.....summar | 0000b730:·3af9·008f·71e3·0000·0007·7375·6d6d·6172··:...q.....summar | ||
| 0000b740:·7900·0000·0000·0000·1000·0000·0000·0002··y............... | 0000b740:·7900·0000·0000·0000·1000·0000·0000·0002··y............... | ||
| 0000b750:·7d | 0000b750:·7dd1·a99c·ae52·f8bd·2d8f·60a2·c415·29b5··}....R..-.`...). | ||
| 0000b760:· | 0000b760:·8a00·0000·0976·6d6c·6962·7261·7279·0000··.....vmlibrary.. | ||
| 0000b770:·0000·0000·b0ad·0000·0000·0000·061f·a762··...............b | 0000b770:·0000·0000·b0ad·0000·0000·0000·061f·a762··...............b | ||
| 0000b780:·bd26·f923·a6c4·5501·c2a6·1204·b346·······.&.#..U......F | 0000b780:·bd26·f923·a6c4·5501·c2a6·1204·b346·······.&.#..U......F |
| Offset 26, 24 lines modified | Offset 26, 24 lines modified | ||
| 00000190:·a0a0·2766·696e·7479·7065·a029·7373·7265··..'fintype.)ssre | 00000190:·a0a0·2766·696e·7479·7065·a029·7373·7265··..'fintype.)ssre | ||
| 000001a0:·666c·6563·74a0·286d·6174·6863·6f6d·7040··flect.(mathcomp@ | 000001a0:·666c·6563·74a0·286d·6174·6863·6f6d·7040··flect.(mathcomp@ | ||
| 000001b0:·9030·aec5·2d5e·392b·abc7·1b2d·2543·a79c··.0..-^9+...-%C.. | 000001b0:·9030·aec5·2d5e·392b·abc7·1b2d·2543·a79c··.0..-^9+...-%C.. | ||
| 000001c0:·c8e0·a0a0·256f·7264·6572·a029·7373·7265··....%order.)ssre | 000001c0:·c8e0·a0a0·256f·7264·6572·a029·7373·7265··....%order.)ssre | ||
| 000001d0:·666c·6563·74a0·286d·6174·6863·6f6d·7040··flect.(mathcomp@ | 000001d0:·666c·6563·74a0·286d·6174·6863·6f6d·7040··flect.(mathcomp@ | ||
| 000001e0:·9030·71e6·d754·e65b·10b9·cef3·5e0d·16b8··.0q..T.[....^... | 000001e0:·9030·71e6·d754·e65b·10b9·cef3·5e0d·16b8··.0q..T.[....^... | ||
| 000001f0:·5d58·a0a0·2462·6173·65a0·2864·6572·6976··]X..$base.(deriv | 000001f0:·5d58·a0a0·2462·6173·65a0·2864·6572·6976··]X..$base.(deriv | ||
| 00000200:·696e·6740·9030· | 00000200:·696e·6740·9030·da74·ffda·5f3d·ec37·c722··ing@.0.t.._=.7." | ||
| 00000210:· | 00000210:·f842·8e4d·9e10·a0a0·2369·6e64·a028·6465··.B.M....#ind.(de | ||
| 00000220:·7269·7669·6e67·4090·30c9·60e4·df0d·335d··riving@.0.`...3] | |||
| 000002 | 00000220:·7269·7669·6e67·4090·3043·7833·e65d·66ea··riving@.0Cx3.]f. | ||
| 00000230:·32c0·9c46·7ff7·cdd3·0ea0·a027·7461·6374··2..F.......'tact | |||
| 00000240:·6963·73a0·2864·6572·6976·696e·6740·9030··ics.(deriving@.0 | 00000240:·6963·73a0·2864·6572·6976·696e·6740·9030··ics.(deriving@.0 | ||
| 00000250:· | 00000250:·fb9f·e5ef·f126·d13b·49a9·7c1f·d079·a7c3··.....&.;I.|..y.. | ||
| 00000260:·a0a0·2569·6e66·6572·a028·6465·7269·7669··..%infer.(derivi | 00000260:·a0a0·2569·6e66·6572·a028·6465·7269·7669··..%infer.(derivi | ||
| 00000270:·6e67·4090·30f | 00000270:·6e67·4090·30f1·a2cc·e37a·121a·70b9·cdbe··ng@.0....z..p... | ||
| 00000280:· | 00000280:·4f03·89af·1625·352e·322e·30a0·4040·5bd6··O....%5.2.0.@@[. | ||
| 00000290:· | 00000290:·aafa·fce4·64ee·5fb2·f8f1·2c4f·6f4b·8495··....d._...,OoK.. | ||
| 000002a0:·a6be·0000·74d2·0000·1ace·0000·5a10·0000··....t.......Z... | 000002a0:·a6be·0000·74d2·0000·1ace·0000·5a10·0000··....t.......Z... | ||
| 000002b0:·56d9·b0d0·a027·6669·6e74·7970·65a0·2969··V....'fintype.)i | 000002b0:·56d9·b0d0·a027·6669·6e74·7970·65a0·2969··V....'fintype.)i | ||
| 000002c0:·6e73·7461·6e63·6573·a028·6465·7269·7669··nstances.(derivi | 000002c0:·6e73·7461·6e63·6573·a028·6465·7269·7669··nstances.(derivi | ||
| 000002d0:·6e67·40e0·9004·0841·90a0·a02a·4465·7246··ng@....A...*DerF | 000002d0:·6e67·40e0·9004·0841·90a0·a02a·4465·7246··ng@....A...*DerF | ||
| 000002e0:·696e·5479·7065·93e0·a204·0804·0441·90a0··inType.......A.. | 000002e0:·696e·5479·7065·93e0·a204·0804·0441·90a0··inType.......A.. | ||
| 000002f0:·a024·616c·6c50·9008·0000·2700·40a0·8080··.$allP....'.@... | 000002f0:·a024·616c·6c50·9008·0000·2700·40a0·8080··.$allP....'.@... | ||
| 00000300:·919e·a0a0·9042·40b0·90a0·9004·0d40·90b6··.....B@......@.. | 00000300:·919e·a0a0·9042·40b0·90a0·9004·0d40·90b6··.....B@......@.. | ||
| Offset 1456, 16 lines modified | Offset 1456, 16 lines modified | ||
| 00005af0:·f4c0·40b0·0408·4205·0541·c040·b004·1242··..@...B..A.@...B | 00005af0:·f4c0·40b0·0408·4205·0541·c040·b004·1242··..@...B..A.@...B | ||
| 00005b00:·0502·1a40·4142·43b0·0501·eb42·0502·36c0··...@ABC....B..6. | 00005b00:·0502·1a40·4142·43b0·0501·eb42·0502·36c0··...@ABC....B..6. | ||
| 00005b10:·40b0·0501·e542·0509·68c0·40b0·0501·e742··@....B..h.@....B | 00005b10:·40b0·0501·e542·0509·68c0·40b0·0501·e742··@....B..h.@....B | ||
| 00005b20:·0509·5140·4142·4445·b005·118c·4205·0220··..Q@ABDE....B..· | 00005b20:·0509·5140·4142·4445·b005·118c·4205·0220··..Q@ABDE....B..· | ||
| 00005b30:·c040·b005·09d3·4205·0222·c040·b005·096f··.@....B..".@...o | 00005b30:·c040·b005·09d3·4205·0222·c040·b005·096f··.@....B..".@...o | ||
| 00005b40:·4205·01ec·c040·b005·0958·4205·01ee·4041··B....@...XB...@A | 00005b40:·4205·01ec·c040·b005·0958·4205·01ee·4041··B....@...XB...@A | ||
| 00005b50:·4243·4647·4849·4b90·a0a0·2569·6e66·6572··BCFGHIK...%infer | 00005b50:·4243·4647·4849·4b90·a0a0·2569·6e66·6572··BCFGHIK...%infer | ||
| 00005b60:·a028·6465·7269·7669·6e67·4090·30f | 00005b60:·a028·6465·7269·7669·6e67·4090·30f1·a2cc··.(deriving@.0... | ||
| 00005b70:· | 00005b70:·e37a·121a·70b9·cdbe·4f03·89af·1690·40a0··.z..p...O.....@. | ||
| 00005b80:·a0a0·0511·bba0·4090·40a0·95a0·021d·041a··......@.@....... | 00005b80:·a0a0·0511·bba0·4090·40a0·95a0·021d·041a··......@.@....... | ||
| 00005b90:·fca0·40a0·a040·395b·2064·6572·6976·6520··..@..@9[·derive· | 00005b90:·fca0·40a0·a040·395b·2064·6572·6976·6520··..@..@9[·derive· | ||
| 00005ba0:·6973·4669·6e69·7465·2066·6f72·205f·205d··isFinite·for·_·] | 00005ba0:·6973·4669·6e69·7465·2066·6f72·205f·205d··isFinite·for·_·] | ||
| 00005bb0:·c0a0·a040·40a0·4040·a0b1·4040·a041·4040··...@@.@@..@@.A@@ | 00005bb0:·c0a0·a040·40a0·4040·a0b1·4040·a041·4040··...@@.@@..@@.A@@ | ||
| 00005bc0:·90a0·d0a0·a040·4004·0940·040e·a0a0·a041··.....@@..@.....A | 00005bc0:·90a0·d0a0·a040·4004·0940·040e·a0a0·a041··.....@@..@.....A | ||
| 00005bd0:·215b·a0a0·4026·6465·7269·7665·a0a0·4028··![..@&derive..@( | 00005bd0:·215b·a0a0·4026·6465·7269·7665·a0a0·4028··![..@&derive..@( | ||
| 00005be0:·6973·4669·6e69·7465·a0a0·4123·666f·72a0··isFinite..A#for. | 00005be0:·6973·4669·6e69·7465·a0a0·4123·666f·72a0··isFinite..A#for. | ||
| Offset 1906, 16 lines modified | Offset 1906, 16 lines modified | ||
| 00007710:·c190·a090·a090·2e64·6572·6976·696e·6720··.......deriving· | 00007710:·c190·a090·a090·2e64·6572·6976·696e·6720··.......deriving· | ||
| 00007720:·302e·322e·3090·0927·5573·6520·5b64·6572··0.2.0..'Use·[der | 00007720:·302e·322e·3090·0927·5573·6520·5b64·6572··0.2.0..'Use·[der | ||
| 00007730:·6976·6520·7265·6420·6973·4669·6e69·7465··ive·red·isFinite | 00007730:·6976·6520·7265·6420·6973·4669·6e69·7465··ive·red·isFinite | ||
| 00007740:·2066·6f72·205f·5d20·696e·7374·6561·6440···for·_]·instead@ | 00007740:·2066·6f72·205f·5d20·696e·7374·6561·6440···for·_]·instead@ | ||
| 00007750:·a005·0841·a0a0·051a·cb40·0925·5b20·2764··...A.....@.%[·'d | 00007750:·a005·0841·a0a0·051a·cb40·0925·5b20·2764··...A.....@.%[·'d | ||
| 00007760:·6572·6976·6527·2027·7265·6427·2027·6669··erive'·'red'·'fi | 00007760:·6572·6976·6527·2027·7265·6427·2027·6669··erive'·'red'·'fi | ||
| 00007770:·6e4d·6978·696e·2720·2766·6f72·2720·5420··nMixin'·'for'·T· | 00007770:·6e4d·6978·696e·2720·2766·6f72·2720·5420··nMixin'·'for'·T· | ||
| 00007780:·5d40·4040· | 00007780:·5d40·4040·60da·47b3·394e·8f2e·c000·3940··]@@@`.G.9N....9@ | ||
| 00007790:· | 00007790:·76b9·cc10·8495·a6be·0000·68a4·0000·16ea··v.........h..... | ||
| 000077a0:·0000·4b6c·0000·4acc·9090·a0b7·a090·2169··..Kl..J.......!i | 000077a0:·0000·4b6c·0000·4acc·9090·a0b7·a090·2169··..Kl..J.......!i | ||
| 000077b0:·40a9·9aa0·90b0·90a0·2462·6173·65a0·2864··@.......$base.(d | 000077b0:·40a9·9aa0·90b0·90a0·2462·6173·65a0·2864··@.......$base.(d | ||
| 000077c0:·6572·6976·696e·6740·2366·696e·0239·8c47··eriving@#fin.9.G | 000077c0:·6572·6976·696e·6740·2366·696e·0239·8c47··eriving@#fin.9.G | ||
| 000077d0:·01a0·8080·9008·0000·0f10·a0c0·a090·b0a2··................ | 000077d0:·01a0·8080·9008·0000·0f10·a0c0·a090·b0a2··................ | ||
| 000077e0:·a290·a023·696e·6404·1023·496e·6423·4465··...#ind..#Ind#De | 000077e0:·a290·a023·696e·6404·1023·496e·6423·4465··...#ind..#Ind#De | ||
| 000077f0:·6624·7479·7065·0229·14f9·ac40·4040·90b0··f$type.)...@@@.. | 000077f0:·6624·7479·7065·0229·14f9·ac40·4040·90b0··f$type.)...@@@.. | ||
| 00007800:·040a·216e·0229·0822·c840·40a9·9aa0·90b0··..!n.).".@@..... | 00007800:·040a·216e·0229·0822·c840·40a9·9aa0·90b0··..!n.).".@@..... | ||
| Offset 3766, 17 lines modified | Offset 3766, 17 lines modified | ||
| 0000eb50:·4300·4300·3805·0119·0a2d·0204·290a·2a2b··C.C.8....-..).*+ | 0000eb50:·4300·4300·3805·0119·0a2d·0204·290a·2a2b··C.C.8....-..).*+ | ||
| 0000eb60:·0215·3700·2143·010c·0b19·3701·241a·3700··..7.!C....7.$.7. | 0000eb60:·0215·3700·2143·010c·0b19·3701·241a·3700··..7.!C....7.$.7. | ||
| 0000eb70:·2143·010d·0c19·3702·244a·4a4a·4a4a·4a4a··!C....7.$JJJJJJJ | 0000eb70:·2143·010d·0c19·3702·244a·4a4a·4a4a·4a4a··!C....7.$JJJJJJJ | ||
| 0000eb80:·4a4a·4a4a·3703·250d·1080·297c·2820·2054··JJJJ7.%...)|(··T | 0000eb80:·4a4a·4a4a·3703·250d·1080·297c·2820·2054··JJJJ7.%...)|(··T | ||
| 0000eb90:·2010·2038·80f9·1f42·dca1·4fe3·82c1·a921···.·8...B..O....! | 0000eb90:·2010·2038·80f9·1f42·dca1·4fe3·82c1·a921···.·8...B..O....! | ||
| 0000eba0:·d2ca·d567·6600·0000·0400·0000·076c·6962··...gf........lib | 0000eba0:·d2ca·d567·6600·0000·0400·0000·076c·6962··...gf........lib | ||
| 0000ebb0:·7261·7279·0000·0000·0000·029e·0000·0000··rary............ | 0000ebb0:·7261·7279·0000·0000·0000·029e·0000·0000··rary............ | ||
| 0000ebc0:·0000·74e6· | 0000ebc0:·0000·74e6·60da·47b3·394e·8f2e·c000·3940··..t.`.G.9N....9@ | ||
| 0000ebd0:· | 0000ebd0:·76b9·cc10·0000·0007·6f70·6171·7565·7300··v.......opaques. | ||
| 0000ebe0:·0000·0000·0077·9400·0000·0000·0068·b866··.....w.......h.f | 0000ebe0:·0000·0000·0077·9400·0000·0000·0068·b866··.....w.......h.f | ||
| 0000ebf0:·25f0·09b4·05fb·49b9·6fe7·d26e·0089·4900··%.....I.o..n..I. | 0000ebf0:·25f0·09b4·05fb·49b9·6fe7·d26e·0089·4900··%.....I.o..n..I. | ||
| 0000ec00:·0000·0773·756d·6d61·7279·0000·0000·0000··...summary...... | 0000ec00:·0000·0773·756d·6d61·7279·0000·0000·0000··...summary...... | ||
| 0000ec10:·0010·0000·0000·0000·027e· | 0000ec10:·0010·0000·0000·0000·027e·5bd6·aafa·fce4··.........~[..... | ||
| 0000ec20:· | 0000ec20:·64ee·5fb2·f8f1·2c4f·6f4b·0000·0009·766d··d._...,OoK....vm | ||
| 0000ec30:·6c69·6272·6172·7900·0000·0000·00e0·5c00··library.......\. | 0000ec30:·6c69·6272·6172·7900·0000·0000·00e0·5c00··library.......\. | ||
| 0000ec40:·0000·0000·000b·39f9·1f42·dca1·4fe3·82c1··......9..B..O... | 0000ec40:·0000·0000·000b·39f9·1f42·dca1·4fe3·82c1··......9..B..O... | ||
| 0000ec50:·a921·d2ca·d567·66························.!...gf | 0000ec50:·a921·d2ca·d567·66························.!...gf |
| Offset 26, 27 lines modified | Offset 26, 27 lines modified | ||
| 00000190:·2766·696e·7479·7065·a029·7373·7265·666c··'fintype.)ssrefl | 00000190:·2766·696e·7479·7065·a029·7373·7265·666c··'fintype.)ssrefl | ||
| 000001a0:·6563·74a0·286d·6174·6863·6f6d·7040·9030··ect.(mathcomp@.0 | 000001a0:·6563·74a0·286d·6174·6863·6f6d·7040·9030··ect.(mathcomp@.0 | ||
| 000001b0:·aec5·2d5e·392b·abc7·1b2d·2543·a79c·c8e0··..-^9+...-%C.... | 000001b0:·aec5·2d5e·392b·abc7·1b2d·2543·a79c·c8e0··..-^9+...-%C.... | ||
| 000001c0:·a0a0·256f·7264·6572·a029·7373·7265·666c··..%order.)ssrefl | 000001c0:·a0a0·256f·7264·6572·a029·7373·7265·666c··..%order.)ssrefl | ||
| 000001d0:·6563·74a0·286d·6174·6863·6f6d·7040·9030··ect.(mathcomp@.0 | 000001d0:·6563·74a0·286d·6174·6863·6f6d·7040·9030··ect.(mathcomp@.0 | ||
| 000001e0:·71e6·d754·e65b·10b9·cef3·5e0d·16b8·5d58··q..T.[....^...]X | 000001e0:·71e6·d754·e65b·10b9·cef3·5e0d·16b8·5d58··q..T.[....^...]X | ||
| 000001f0:·a0a0·2462·6173·65a0·2864·6572·6976·696e··..$base.(derivin | 000001f0:·a0a0·2462·6173·65a0·2864·6572·6976·696e··..$base.(derivin | ||
| 00000200:·6740·9030· | 00000200:·6740·9030·da74·ffda·5f3d·ec37·c722·f842··g@.0.t.._=.7.".B | ||
| 00000210:· | 00000210:·8e4d·9e10·a0a0·2369·6e64·a028·6465·7269··.M....#ind.(deri | ||
| 00000220:·7669·6e67·4090·30 | 00000220:·7669·6e67·4090·3043·7833·e65d·66ea·32c0··ving@.0Cx3.]f.2. | ||
| 00000230:· | 00000230:·9c46·7ff7·cdd3·0ea0·a027·7461·6374·6963··.F.......'tactic | ||
| 00000240:·73a0·2864·6572·6976·696e·6740·9030· | 00000240:·73a0·2864·6572·6976·696e·6740·9030·fb9f··s.(deriving@.0.. | ||
| 00000250:· | 00000250:·e5ef·f126·d13b·49a9·7c1f·d079·a7c3·a0a0··...&.;I.|..y.... | ||
| 00000260:·2569·6e66·6572·a028·6465·7269·7669·6e67··%infer.(deriving | 00000260:·2569·6e66·6572·a028·6465·7269·7669·6e67··%infer.(deriving | ||
| 00000270:·4090·30f | 00000270:·4090·30f1·a2cc·e37a·121a·70b9·cdbe·4f03··@.0....z..p...O. | ||
| 00000280:· | 00000280:·89af·16a0·a026·636f·6d70·6174·a028·6465··.....&compat.(de | ||
| 00000290:·7269·7669·6e67·4090·30d0·ec56·2bd1·c53d··riving@.0..V+..= | 00000290:·7269·7669·6e67·4090·30d0·ec56·2bd1·c53d··riving@.0..V+..= | ||
| 000002a0:·dace·0b1d·2ad0·cc86·f725·352e·322e·30a0··....*....%5.2.0. | 000002a0:·dace·0b1d·2ad0·cc86·f725·352e·322e·30a0··....*....%5.2.0. | ||
| 000002b0:·4040· | 000002b0:·4040·0660·fd69·0b82·d95b·3c16·2272·25a7··@@.`.i...[<."r%. | ||
| 000002c0:· | 000002c0:·2966·8495·a6be·0000·8e77·0000·213c·0000··)f.......w..!<.. | ||
| 000002d0:·6f46·0000·6bbc·b0d0·a025·6f72·6465·72a0··oF..k....%order. | 000002d0:·6f46·0000·6bbc·b0d0·a025·6f72·6465·72a0··oF..k....%order. | ||
| 000002e0:·2969·6e73·7461·6e63·6573·a028·6465·7269··)instances.(deri | 000002e0:·2969·6e73·7461·6e63·6573·a028·6465·7269··)instances.(deri | ||
| 000002f0:·7669·6e67·40e0·9004·0841·90a0·a02c·4465··ving@....A...,De | 000002f0:·7669·6e67·40e0·9004·0841·90a0·a02c·4465··ving@....A...,De | ||
| 00000300:·724f·7264·6572·5479·7065·93e0·a204·0804··rOrderType...... | 00000300:·724f·7264·6572·5479·7065·93e0·a204·0804··rOrderType...... | ||
| 00000310:·0441·90a0·a02f·7061·636b·6564·4f72·6465··.A.../packedOrde | 00000310:·0441·90a0·a02f·7061·636b·6564·4f72·6465··.A.../packedOrde | ||
| 00000320:·7254·7970·6591·0800·003f·0090·0800·0043··rType....?.....C | 00000320:·7254·7970·6591·0800·003f·0090·0800·0043··rType....?.....C | ||
| 00000330:·0004·0540·90a0·9490·a0a0·a049·4040·a0a0··...@.......I@@.. | 00000330:·0004·0540·90a0·9490·a0a0·a049·4040·a0a0··...@.......I@@.. | ||
| Offset 1452, 16 lines modified | Offset 1452, 16 lines modified | ||
| 00005ab0:·1990·b005·0223·0502·2202·0000·deae·c040··.....#.."......@ | 00005ab0:·1990·b005·0223·0502·2202·0000·deae·c040··.....#.."......@ | ||
| 00005ac0:·b005·0210·42a0·0301·f84b·2de0·44dc·9790··....B....K-.D... | 00005ac0:·b005·0210·42a0·0301·f84b·2de0·44dc·9790··....B....K-.D... | ||
| 00005ad0:·b005·0228·0502·2702·0000·deb0·4041·4244··...(..'.....@ABD | 00005ad0:·b005·0228·0502·2702·0000·deb0·4041·4244··...(..'.....@ABD | ||
| 00005ae0:·4548·494a·4ba0·a0a0·2663·6f6d·7061·74a0··EHIJK...&compat. | 00005ae0:·4548·494a·4ba0·a0a0·2663·6f6d·7061·74a0··EHIJK...&compat. | ||
| 00005af0:·2864·6572·6976·696e·6740·9030·d0ec·562b··(deriving@.0..V+ | 00005af0:·2864·6572·6976·696e·6740·9030·d0ec·562b··(deriving@.0..V+ | ||
| 00005b00:·d1c5·3dda·ce0b·1d2a·d0cc·86f7·a0a0·2569··..=....*......%i | 00005b00:·d1c5·3dda·ce0b·1d2a·d0cc·86f7·a0a0·2569··..=....*......%i | ||
| 00005b10:·6e66·6572·a028·6465·7269·7669·6e67·4090··nfer.(deriving@. | 00005b10:·6e66·6572·a028·6465·7269·7669·6e67·4090··nfer.(deriving@. | ||
| 00005b20:·30f | 00005b20:·30f1·a2cc·e37a·121a·70b9·cdbe·4f03·89af··0....z..p...O... | ||
| 00005b30:· | 00005b30:·1690·40a0·a0a0·0510·dfa0·4090·40a0·95a0··..@.......@.@... | ||
| 00005b40:·021d·041a·fca0·40a0·a040·3e5b·2064·6572··......@..@>[·der | 00005b40:·021d·041a·fca0·40a0·a040·3e5b·2064·6572··......@..@>[·der | ||
| 00005b50:·6976·6520·6e6f·7265·6420·6973·4f72·6465··ive·nored·isOrde | 00005b50:·6976·6520·6e6f·7265·6420·6973·4f72·6465··ive·nored·isOrde | ||
| 00005b60:·7220·666f·7220·5f20·5dc0·a0a0·4040·a040··r·for·_·]...@@.@ | 00005b60:·7220·666f·7220·5f20·5dc0·a0a0·4040·a040··r·for·_·]...@@.@ | ||
| 00005b70:·40a0·b140·40a0·4140·4090·a0d0·a0a0·4040··@..@@.A@@.....@@ | 00005b70:·40a0·b140·40a0·4140·4090·a0d0·a0a0·4040··@..@@.A@@.....@@ | ||
| 00005b80:·0409·4004·0ea0·a0a0·4121·5ba0·a040·2664··..@.....A![..@&d | 00005b80:·0409·4004·0ea0·a0a0·4121·5ba0·a040·2664··..@.....A![..@&d | ||
| 00005b90:·6572·6976·65a0·a040·256e·6f72·6564·a0a0··erive..@%nored.. | 00005b90:·6572·6976·65a0·a040·256e·6f72·6564·a0a0··erive..@%nored.. | ||
| 00005ba0:·4027·6973·4f72·6465·72a0·a041·2366·6f72··@'isOrder..A#for | 00005ba0:·4027·6973·4f72·6465·72a0·a041·2366·6f72··@'isOrder..A#for | ||
| Offset 2318, 16 lines modified | Offset 2318, 16 lines modified | ||
| 000090d0:·011b·4040·0504·9790·a090·a090·2e64·6572··..@@.........der | 000090d0:·011b·4040·0504·9790·a090·a090·2e64·6572··..@@.........der | ||
| 000090e0:·6976·696e·6720·302e·322e·3090·0927·5573··iving·0.2.0..'Us | 000090e0:·6976·696e·6720·302e·322e·3090·0927·5573··iving·0.2.0..'Us | ||
| 000090f0:·6520·5b64·6572·6976·6520·6c61·7a79·2069··e·[derive·lazy·i | 000090f0:·6520·5b64·6572·6976·6520·6c61·7a79·2069··e·[derive·lazy·i | ||
| 00009100:·734f·7264·6572·2066·6f72·205f·5d20·696e··sOrder·for·_]·in | 00009100:·734f·7264·6572·2066·6f72·205f·5d20·696e··sOrder·for·_]·in | ||
| 00009110:·7374·6561·6440·a005·0f03·a0a0·0521·3940··stead@.......!9@ | 00009110:·7374·6561·6440·a005·0f03·a0a0·0521·3940··stead@.......!9@ | ||
| 00009120:·0928·5b20·2764·6572·6976·6527·2027·6c61··.([·'derive'·'la | 00009120:·0928·5b20·2764·6572·6976·6527·2027·6c61··.([·'derive'·'la | ||
| 00009130:·7a79·2720·276f·7264·6572·4d69·7869·6e27··zy'·'orderMixin' | 00009130:·7a79·2720·276f·7264·6572·4d69·7869·6e27··zy'·'orderMixin' | ||
| 00009140:·2027·666f·7227·2054·205d·4040·40 | 00009140:·2027·666f·7227·2054·205d·4040·406a·200f···'for'·T·]@@@j·. | ||
| 00009150:· | 00009150:·00d6·a817·c375·3fa9·b227·14b8·1f84·95a6··.....u?..'...... | ||
| 00009160:·be00·0133·e100·003a·5a00·00ce·6000·00cd··...3...:Z...`... | 00009160:·be00·0133·e100·003a·5a00·00ce·6000·00cd··...3...:Z...`... | ||
| 00009170:·b9c0·90a0·b7a0·9021·6940·a99a·a090·b090··.......!i@...... | 00009170:·b9c0·90a0·b7a0·9021·6940·a99a·a090·b090··.......!i@...... | ||
| 00009180:·a024·6261·7365·a028·6465·7269·7669·6e67··.$base.(deriving | 00009180:·a024·6261·7365·a028·6465·7269·7669·6e67··.$base.(deriving | ||
| 00009190:·4023·6669·6e02·398c·4701·a080·8090·a99a··@#fin.9.G....... | 00009190:·4023·6669·6e02·398c·4701·a080·8090·a99a··@#fin.9.G....... | ||
| 000091a0:·a090·b0a2·90a0·2369·6e64·040e·2d49·6e64··......#ind..-Ind | 000091a0:·a090·b0a2·90a0·2369·6e64·040e·2d49·6e64··......#ind..-Ind | ||
| 000091b0:·4368·6f69·6365·5479·7065·216e·0238·6fff··ChoiceType!n.8o. | 000091b0:·4368·6f69·6365·5479·7065·216e·0238·6fff··ChoiceType!n.8o. | ||
| 000091c0:·7704·0d90·9121·54b7·a090·305f·746f·705f··w....!T...0_top_ | 000091c0:·7704·0d90·9121·54b7·a090·305f·746f·705f··w....!T...0_top_ | ||
| Offset 7392, 17 lines modified | Offset 7392, 17 lines modified | ||
| 0001cdf0:·4302·1937·0021·4300·4301·1937·0021·4300··C..7.!C.C..7.!C. | 0001cdf0:·4302·1937·0021·4300·4301·1937·0021·4300··C..7.!C.C..7.!C. | ||
| 0001ce00:·4300·3805·0119·0a2d·0204·290a·2a2b·0115··C.8....-..).*+.. | 0001ce00:·4300·3805·0119·0a2d·0204·290a·2a2b·0115··C.8....-..).*+.. | ||
| 0001ce10:·3700·2143·010a·1937·0128·0580·267c·2820··7.!C...7.(..&|(· | 0001ce10:·3700·2143·010a·1937·0128·0580·267c·2820··7.!C...7.(..&|(· | ||
| 0001ce20:·2054·1c80·c02d·2d00·038c·2a2b·0101·0a3a···T...--...*+...: | 0001ce20:·2054·1c80·c02d·2d00·038c·2a2b·0101·0a3a···T...--...*+...: | ||
| 0001ce30:·0129·0280·2080·f338·b7ca·5573·c3c7·b819··.)..·..8..Us.... | 0001ce30:·0129·0280·2080·f338·b7ca·5573·c3c7·b819··.)..·..8..Us.... | ||
| 0001ce40:·ff0b·81c6·c371·0000·0004·0000·0007·6c69··.....q........li | 0001ce40:·ff0b·81c6·c371·0000·0004·0000·0007·6c69··.....q........li | ||
| 0001ce50:·6272·6172·7900·0000·0000·0002·c200·0000··brary........... | 0001ce50:·6272·6172·7900·0000·0000·0002·c200·0000··brary........... | ||
| 0001ce60:·0000·008e·8b | 0001ce60:·0000·008e·8b6a·200f·00d6·a817·c375·3fa9··.....j·......u?. | ||
| 0001ce70:· | 0001ce70:·b227·14b8·1f00·0000·076f·7061·7175·6573··.'.......opaques | ||
| 0001ce80:·0000·0000·0000·915d·0000·0000·0001·33f5··.......]......3. | 0001ce80:·0000·0000·0000·915d·0000·0000·0001·33f5··.......]......3. | ||
| 0001ce90:·14fc·18c5·3719·2f49·f9e1·bbed·b30e·4176··....7./I......Av | 0001ce90:·14fc·18c5·3719·2f49·f9e1·bbed·b30e·4176··....7./I......Av | ||
| 0001cea0:·0000·0007·7375·6d6d·6172·7900·0000·0000··....summary..... | 0001cea0:·0000·0007·7375·6d6d·6172·7900·0000·0000··....summary..... | ||
| 0001ceb0:·0000·1000·0000·0000·0002·a2 | 0001ceb0:·0000·1000·0000·0000·0002·a206·60fd·690b··............`.i. | ||
| 0001cec0:· | 0001cec0:·82d9·5b3c·1622·7225·a729·6600·0000·0976··..[<."r%.)f....v | ||
| 0001ced0:·6d6c·6962·7261·7279·0000·0000·0001·c562··mlibrary.......b | 0001ced0:·6d6c·6962·7261·7279·0000·0000·0001·c562··mlibrary.......b | ||
| 0001cee0:·0000·0000·0000·08d4·f338·b7ca·5573·c3c7··.........8..Us.. | 0001cee0:·0000·0000·0000·08d4·f338·b7ca·5573·c3c7··.........8..Us.. | ||
| 0001cef0:·b819·ff0b·81c6·c371······················.......q | 0001cef0:·b819·ff0b·81c6·c371······················.......q |
| Offset 26, 25 lines modified | Offset 26, 25 lines modified | ||
| 00000190:·328d·f4d5·a0a0·2766·696e·7479·7065·a029··2.....'fintype.) | 00000190:·328d·f4d5·a0a0·2766·696e·7479·7065·a029··2.....'fintype.) | ||
| 000001a0:·7373·7265·666c·6563·74a0·286d·6174·6863··ssreflect.(mathc | 000001a0:·7373·7265·666c·6563·74a0·286d·6174·6863··ssreflect.(mathc | ||
| 000001b0:·6f6d·7040·9030·aec5·2d5e·392b·abc7·1b2d··omp@.0..-^9+...- | 000001b0:·6f6d·7040·9030·aec5·2d5e·392b·abc7·1b2d··omp@.0..-^9+...- | ||
| 000001c0:·2543·a79c·c8e0·a0a0·256f·7264·6572·a029··%C......%order.) | 000001c0:·2543·a79c·c8e0·a0a0·256f·7264·6572·a029··%C......%order.) | ||
| 000001d0:·7373·7265·666c·6563·74a0·286d·6174·6863··ssreflect.(mathc | 000001d0:·7373·7265·666c·6563·74a0·286d·6174·6863··ssreflect.(mathc | ||
| 000001e0:·6f6d·7040·9030·71e6·d754·e65b·10b9·cef3··omp@.0q..T.[.... | 000001e0:·6f6d·7040·9030·71e6·d754·e65b·10b9·cef3··omp@.0q..T.[.... | ||
| 000001f0:·5e0d·16b8·5d58·a0a0·2462·6173·65a0·2864··^...]X..$base.(d | 000001f0:·5e0d·16b8·5d58·a0a0·2462·6173·65a0·2864··^...]X..$base.(d | ||
| 00000200:·6572·6976·696e·6740·9030· | 00000200:·6572·6976·696e·6740·9030·da74·ffda·5f3d··eriving@.0.t.._= | ||
| 00000210:· | 00000210:·ec37·c722·f842·8e4d·9e10·a0a0·2369·6e64··.7.".B.M....#ind | ||
| 00000220:·a028·6465·7269·7669·6e67·4090·30 | 00000220:·a028·6465·7269·7669·6e67·4090·3043·7833··.(deriving@.0Cx3 | ||
| 00000230:· | 00000230:·e65d·66ea·32c0·9c46·7ff7·cdd3·0ea0·a027··.]f.2..F.......' | ||
| 00000240:·7461·6374·6963·73a0·2864·6572·6976·696e··tactics.(derivin | 00000240:·7461·6374·6963·73a0·2864·6572·6976·696e··tactics.(derivin | ||
| 00000250:·6740·9030· | 00000250:·6740·9030·fb9f·e5ef·f126·d13b·49a9·7c1f··g@.0.....&.;I.|. | ||
| 00000260:· | 00000260:·d079·a7c3·a0a0·2569·6e66·6572·a028·6465··.y....%infer.(de | ||
| 00000270:·7269·7669·6e67·4090·30f | 00000270:·7269·7669·6e67·4090·30f1·a2cc·e37a·121a··riving@.0....z.. | ||
| 00000280:·2c57·9379·30cb·ec47·8225·352e·322e·30a0··,W.y0..G.%5.2.0. | |||
| 000002 | 00000280:·70b9·cdbe·4f03·89af·1625·352e·322e·30a0··p...O....%5.2.0. | ||
| 00000290:·4040·b2da·c19f·32f4·16f0·39d2·d7ac·51d7··@@....2...9...Q. | |||
| 000002a0:· | 000002a0:·cac0·8495·a6be·0000·5a3b·0000·13c5·0000··........Z;...... | ||
| 000002b0:·443e·0000·413c·b0d0·a02b·7472·6565·5f6f··D>..A<...+tree_o | 000002b0:·443e·0000·413c·b0d0·a02b·7472·6565·5f6f··D>..A<...+tree_o | ||
| 000002c0:·665f·696e·64a0·2969·6e73·7461·6e63·6573··f_ind.)instances | 000002c0:·665f·696e·64a0·2969·6e73·7461·6e63·6573··f_ind.)instances | ||
| 000002d0:·a028·6465·7269·7669·6e67·40e0·9004·0841··.(deriving@....A | 000002d0:·a028·6465·7269·7669·6e67·40e0·9004·0841··.(deriving@....A | ||
| 000002e0:·90a0·a027·696e·645f·6172·6790·0800·0027··...'ind_arg....' | 000002e0:·90a0·a027·696e·645f·6172·6790·0800·0027··...'ind_arg....' | ||
| 000002f0:·0040·a080·8091·b7a0·9021·5440·9ba0·a090··.@.......!T@.... | 000002f0:·0040·a080·8091·b7a0·9021·5440·9ba0·a090··.@.......!T@.... | ||
| 00000300:·b0a2·a290·a023·696e·64a0·041a·4023·496e··.....#ind...@#In | 00000300:·b0a2·a290·a023·696e·64a0·041a·4023·496e··.....#ind...@#In | ||
| 00000310:·6423·4465·6624·7479·7065·0229·14f9·ac40··d#Def$type.)...@ | 00000310:·6423·4465·6624·7479·7065·0229·14f9·ac40··d#Def$type.)...@ | ||
| Offset 1168, 16 lines modified | Offset 1168, 16 lines modified | ||
| 000048f0:·4105·010f·4041·b005·049b·4104·fb40·42b0··A...@A....A..@B. | 000048f0:·4105·010f·4041·b005·049b·4104·fb40·42b0··A...@A....A..@B. | ||
| 00004900:·0504·9c41·04d4·4043·b005·0d9f·4205·0155··...A..@C....B..U | 00004900:·0504·9c41·04d4·4043·b005·0d9f·4205·0155··...A..@C....B..U | ||
| 00004910:·c040·b005·0da5·42a0·0300·1602·36ff·a176··.@....B.....6..v | 00004910:·c040·b005·0da5·42a0·0300·1602·36ff·a176··.@....B.....6..v | ||
| 00004920:·5890·b005·0d15·0501·5701·0612·4041·44b0··X.......W...@AD. | 00004920:·5890·b005·0d15·0501·5701·0612·4041·44b0··X.......W...@AD. | ||
| 00004930:·0404·4205·0da9·c040·b005·015d·4205·0da7··..B....@...]B... | 00004930:·0404·4205·0da9·c040·b005·015d·4205·0da7··..B....@...]B... | ||
| 00004940:·c040·b005·015a·4205·0677·4041·4245·4647··.@...ZB..w@ABEFG | 00004940:·c040·b005·015a·4205·0677·4041·4245·4647··.@...ZB..w@ABEFG | ||
| 00004950:·4849·90a0·a025·696e·6665·72a0·2864·6572··HI...%infer.(der | 00004950:·4849·90a0·a025·696e·6665·72a0·2864·6572··HI...%infer.(der | ||
| 00004960:·6976·696e·6740·9030·f88f·5cb4·53f8·232c··iving@.0..\.S.#, | |||
| 000049 | 00004960:·6976·696e·6740·9030·f1a2·cce3·7a12·1a70··iving@.0....z..p | ||
| 00004970:·b9cd·be4f·0389·af16·9040·a0a0·95a0·021d··...O.....@...... | |||
| 00004980:·041a·fca0·40a0·a040·3a5b·2064·6572·6976··....@..@:[·deriv | 00004980:·041a·fca0·40a0·a040·3a5b·2064·6572·6976··....@..@:[·deriv | ||
| 00004990:·6520·6861·7343·686f·6963·6520·666f·7220··e·hasChoice·for· | 00004990:·6520·6861·7343·686f·6963·6520·666f·7220··e·hasChoice·for· | ||
| 000049a0:·5f20·5dc0·a0a0·4040·a040·40a0·b140·40a0··_·]...@@.@@..@@. | 000049a0:·5f20·5dc0·a0a0·4040·a040·40a0·b140·40a0··_·]...@@.@@..@@. | ||
| 000049b0:·4140·4090·a0d0·a0a0·4040·0409·4004·0ea0··A@@.....@@..@... | 000049b0:·4140·4090·a0d0·a0a0·4040·0409·4004·0ea0··A@@.....@@..@... | ||
| 000049c0:·a0a0·4121·5ba0·a040·2664·6572·6976·65a0··..A![..@&derive. | 000049c0:·a0a0·4121·5ba0·a040·2664·6572·6976·65a0··..A![..@&derive. | ||
| 000049d0:·a040·2968·6173·4368·6f69·6365·a0a0·4123··.@)hasChoice..A# | 000049d0:·a040·2968·6173·4368·6f69·6365·a0a0·4123··.@)hasChoice..A# | ||
| 000049e0:·666f·72a0·a1a1·4004·1690·050d·fea0·a041··for...@........A | 000049e0:·666f·72a0·a1a1·4004·1690·050d·fea0·a041··for...@........A | ||
| Offset 1481, 16 lines modified | Offset 1481, 16 lines modified | ||
| 00005c80:·4004·e290·a090·a090·2e64·6572·6976·696e··@........derivin | 00005c80:·4004·e290·a090·a090·2e64·6572·6976·696e··@........derivin | ||
| 00005c90:·6720·302e·322e·3090·0926·5573·6520·5b64··g·0.2.0..&Use·[d | 00005c90:·6720·302e·322e·3090·0926·5573·6520·5b64··g·0.2.0..&Use·[d | ||
| 00005ca0:·6572·6976·6520·6973·436f·756e·7461·626c··erive·isCountabl | 00005ca0:·6572·6976·6520·6973·436f·756e·7461·626c··erive·isCountabl | ||
| 00005cb0:·6520·666f·7220·5f5d·2069·6e73·7465·6164··e·for·_]·instead | 00005cb0:·6520·666f·7220·5f5d·2069·6e73·7465·6164··e·for·_]·instead | ||
| 00005cc0:·40a0·0505·13a0·a005·13c2·4009·215b·2027··@.........@.![·' | 00005cc0:·40a0·0505·13a0·a005·13c2·4009·215b·2027··@.........@.![·' | ||
| 00005cd0:·6465·7269·7665·2720·2763·6f75·6e74·4d69··derive'·'countMi | 00005cd0:·6465·7269·7665·2720·2763·6f75·6e74·4d69··derive'·'countMi | ||
| 00005ce0:·7869·6e27·2027·666f·7227·2054·205d·4040··xin'·'for'·T·]@@ | 00005ce0:·7869·6e27·2027·666f·7227·2054·205d·4040··xin'·'for'·T·]@@ | ||
| 00005cf0:·40f | 00005cf0:·40f5·923b·1bfe·46fd·973f·19e0·2137·aa82··@..;..F..?..!7.. | ||
| 00005d00:· | 00005d00:·4284·95a6·be00·004d·da00·0010·cd00·0038··B......M.......8 | ||
| 00005d10:·4400·0037·eaa0·90a0·b7a0·9021·6940·a99a··D..7.......!i@.. | 00005d10:·4400·0037·eaa0·90a0·b7a0·9021·6940·a99a··D..7.......!i@.. | ||
| 00005d20:·a090·b090·a024·6261·7365·a028·6465·7269··.....$base.(deri | 00005d20:·a090·b090·a024·6261·7365·a028·6465·7269··.....$base.(deri | ||
| 00005d30:·7669·6e67·4023·6669·6e02·398c·4701·a080··ving@#fin.9.G... | 00005d30:·7669·6e67·4023·6669·6e02·398c·4701·a080··ving@#fin.9.G... | ||
| 00005d40:·8090·0800·000f·10a0·c0a0·90b0·a2a2·90a0··................ | 00005d40:·8090·0800·000f·10a0·c0a0·90b0·a2a2·90a0··................ | ||
| 00005d50:·2369·6e64·0410·2349·6e64·2344·6566·2474··#ind..#Ind#Def$t | 00005d50:·2369·6e64·0410·2349·6e64·2344·6566·2474··#ind..#Ind#Def$t | ||
| 00005d60:·7970·6502·2914·f9ac·4040·4090·b004·0a21··ype.)...@@@....! | 00005d60:·7970·6502·2914·f9ac·4040·4090·b004·0a21··ype.)...@@@....! | ||
| 00005d70:·6e02·2908·22c8·4040·9121·54b7·a090·216a··n.).".@@.!T...!j | 00005d70:·6e02·2908·22c8·4040·9121·54b7·a090·216a··n.).".@@.!T...!j | ||
| Offset 2926, 18 lines modified | Offset 2926, 18 lines modified | ||
| 0000b6d0:·9004·9393·a080·a004·3504·0998·b004·6b41··........5.....kA | 0000b6d0:·9004·9393·a080·a004·3504·0998·b004·6b41··........5.....kA | ||
| 0000b6e0:·4498·b004·4b40·4798·b004·1d41·4293·a080··D...K@G....AB... | 0000b6e0:·4498·b004·4b40·4798·b004·1d41·4293·a080··D...K@G....AB... | ||
| 0000b6f0:·b004·4104·9f04·3e93·a080·b004·a304·a204··..A...>......... | 0000b6f0:·b004·4104·9f04·3e93·a080·b004·a304·a204··..A...>......... | ||
| 0000b700:·adc0·372d·0003·8c2a·2b02·0137·0021·4301··..7-...*+..7.!C. | 0000b700:·adc0·372d·0003·8c2a·2b02·0137·0021·4301··..7-...*+..7.!C. | ||
| 0000b710:·0b37·0021·4300·3701·2705·8023·2418·1480··.7.!C.7.'..#$... | 0000b710:·0b37·0021·4300·3701·2705·8023·2418·1480··.7.!C.7.'..#$... | ||
| 0000b720:·a3c3·72bb·6e07·c382·398e·45d3·1eae·87c1··..r.n...9.E..... | 0000b720:·a3c3·72bb·6e07·c382·398e·45d3·1eae·87c1··..r.n...9.E..... | ||
| 0000b730:·0000·0004·0000·0007·6c69·6272·6172·7900··........library. | 0000b730:·0000·0004·0000·0007·6c69·6272·6172·7900··........library. | ||
| 0000b740:·0000·0000·0002·a200·0000·0000·005a·4ff | 0000b740:·0000·0000·0002·a200·0000·0000·005a·4ff5··.............ZO. | ||
| 0000b750:· | 0000b750:·923b·1bfe·46fd·973f·19e0·2137·aa82·4200··.;..F..?..!7..B. | ||
| 0000b760:·0000·076f·7061·7175·6573·0000·0000·0000··...opaques...... | 0000b760:·0000·076f·7061·7175·6573·0000·0000·0000··...opaques...... | ||
| 0000b770:·5d01·0000·0000·0000·4dee·deef·0812·0322··].......M......" | 0000b770:·5d01·0000·0000·0000·4dee·deef·0812·0322··].......M......" | ||
| 0000b780:·96e7·7e6f·7b62·7e4b·4448·0000·0007·7375··..~o{b~KDH....su | 0000b780:·96e7·7e6f·7b62·7e4b·4448·0000·0007·7375··..~o{b~KDH....su | ||
| 0000b790:·6d6d·6172·7900·0000·0000·0000·1000·0000··mmary........... | 0000b790:·6d6d·6172·7900·0000·0000·0000·1000·0000··mmary........... | ||
| 0000b7a0:·0000·0002·82 | 0000b7a0:·0000·0002·82b2·dac1·9f32·f416·f039·d2d7··.........2...9.. | ||
| 0000b7b0:· | 0000b7b0:·ac51·d7ca·c000·0000·0976·6d6c·6962·7261··.Q.......vmlibra | ||
| 0000b7c0:·7279·0000·0000·0000·aaff·0000·0000·0000··ry.............. | 0000b7c0:·7279·0000·0000·0000·aaff·0000·0000·0000··ry.............. | ||
| 0000b7d0:·0c21·a3c3·72bb·6e07·c382·398e·45d3·1eae··.!..r.n...9.E... | 0000b7d0:·0c21·a3c3·72bb·6e07·c382·398e·45d3·1eae··.!..r.n...9.E... | ||
| 0000b7e0:·87c1·····································.. | 0000b7e0:·87c1·····································.. |
| Offset 1, 8 lines modified | Offset 1, 8 lines modified | ||
| 00000000:·436f·7121·0001·4050·0000·0000·0005·f15 | 00000000:·436f·7121·0001·4050·0000·0000·0005·f15b··Coq!..@P.......[ | ||
| 00000010:·8495·a6be·0000·0374·0000·00a6·0000·0248··.......t.......H | 00000010:·8495·a6be·0000·0374·0000·00a6·0000·0248··.......t.......H | ||
| 00000020:·0000·01f1·c0a0·2969·6e73·7461·6e63·6573··......)instances | 00000020:·0000·01f1·c0a0·2969·6e73·7461·6e63·6573··......)instances | ||
| 00000030:·a028·6465·7269·7669·6e67·4008·0000·4f00··.(deriving@...O. | 00000030:·a028·6465·7269·7669·6e67·4008·0000·4f00··.(deriving@...O. | ||
| 00000040:·a0a0·2750·7265·6c75·6465·a024·496e·6974··..'Prelude.$Init | 00000040:·a0a0·2750·7265·6c75·6465·a024·496e·6974··..'Prelude.$Init | ||
| 00000050:·a023·436f·7140·9030·6e1e·a766·5334·e4bc··.#Coq@.0n..fS4.. | 00000050:·a023·436f·7140·9030·6e1e·a766·5334·e4bc··.#Coq@.0n..fS4.. | ||
| 00000060:·65c3·cc25·eb7f·ca42·a0a0·2a73·7472·7563··e..%...B..*struc | 00000060:·65c3·cc25·eb7f·ca42·a0a0·2a73·7472·7563··e..%...B..*struc | ||
| 00000070:·7475·7265·73a0·2248·4240·9030·2661·983d··tures."HB@.0&a.= | 00000070:·7475·7265·73a0·2248·4240·9030·2661·983d··tures."HB@.0&a.= | ||
| Offset 28, 39 lines modified | Offset 28, 39 lines modified | ||
| 000001b0:·6e74·7970·65a0·2973·7372·6566·6c65·6374··ntype.)ssreflect | 000001b0:·6e74·7970·65a0·2973·7372·6566·6c65·6374··ntype.)ssreflect | ||
| 000001c0:·a028·6d61·7468·636f·6d70·4090·30ae·c52d··.(mathcomp@.0..- | 000001c0:·a028·6d61·7468·636f·6d70·4090·30ae·c52d··.(mathcomp@.0..- | ||
| 000001d0:·5e39·2bab·c71b·2d25·43a7·9cc8·e0a0·a025··^9+...-%C......% | 000001d0:·5e39·2bab·c71b·2d25·43a7·9cc8·e0a0·a025··^9+...-%C......% | ||
| 000001e0:·6f72·6465·72a0·2973·7372·6566·6c65·6374··order.)ssreflect | 000001e0:·6f72·6465·72a0·2973·7372·6566·6c65·6374··order.)ssreflect | ||
| 000001f0:·a028·6d61·7468·636f·6d70·4090·3071·e6d7··.(mathcomp@.0q.. | 000001f0:·a028·6d61·7468·636f·6d70·4090·3071·e6d7··.(mathcomp@.0q.. | ||
| 00000200:·54e6·5b10·b9ce·f35e·0d16·b85d·58a0·a024··T.[....^...]X..$ | 00000200:·54e6·5b10·b9ce·f35e·0d16·b85d·58a0·a024··T.[....^...]X..$ | ||
| 00000210:·6261·7365·a028·6465·7269·7669·6e67·4090··base.(deriving@. | 00000210:·6261·7365·a028·6465·7269·7669·6e67·4090··base.(deriving@. | ||
| 00000220:·30 | 00000220:·30da·74ff·da5f·3dec·37c7·22f8·428e·4d9e··0.t.._=.7.".B.M. | ||
| 00000230:· | 00000230:·10a0·a023·696e·64a0·2864·6572·6976·696e··...#ind.(derivin | ||
| 00000240:·6740·9030· | 00000240:·6740·9030·4378·33e6·5d66·ea32·c09c·467f··g@.0Cx3.]f.2..F. | ||
| 00000250:· | 00000250:·f7cd·d30e·a0a0·2774·6163·7469·6373·a028··......'tactics.( | ||
| 00000260:·6465·7269·7669·6e67·4090·30 | 00000260:·6465·7269·7669·6e67·4090·30fb·9fe5·eff1··deriving@.0..... | ||
| 00000270:· | 00000270:·26d1·3b49·a97c·1fd0·79a7·c3a0·a025·696e··&.;I.|..y....%in | ||
| 00000280:·6665·72a0·2864·6572·6976·696e·6740·9030··fer.(deriving@.0 | 00000280:·6665·72a0·2864·6572·6976·696e·6740·9030··fer.(deriving@.0 | ||
| 00000290:·f | 00000290:·f1a2·cce3·7a12·1a70·b9cd·be4f·0389·af16··....z..p...O.... | ||
| 000002a0:·a0a0·2663·6f6d·7061·74a0·2864·6572·6976··..&compat.(deriv | 000002a0:·a0a0·2663·6f6d·7061·74a0·2864·6572·6976··..&compat.(deriv | ||
| 000002b0:·696e·6740·9030·d0ec·562b·d1c5·3dda·ce0b··ing@.0..V+..=... | 000002b0:·696e·6740·9030·d0ec·562b·d1c5·3dda·ce0b··ing@.0..V+..=... | ||
| 000002c0:·1d2a·d0cc·86f7·a0a0·2665·7174·7970·65a0··.*......&eqtype. | 000002c0:·1d2a·d0cc·86f7·a0a0·2665·7174·7970·65a0··.*......&eqtype. | ||
| 000002d0:·2969·6e73·7461·6e63·6573·a028·6465·7269··)instances.(deri | 000002d0:·2969·6e73·7461·6e63·6573·a028·6465·7269··)instances.(deri | ||
| 000002e0:·7669·6e67·4090·30 | 000002e0:·7669·6e67·4090·30b5·104d·9d37·e50f·99c6··ving@.0..M.7.... | ||
| 000002f0:· | 000002f0:·6fcc·32f2·c335·a3a0·a02b·7472·6565·5f6f··o.2..5...+tree_o | ||
| 00000300:·665f·696e·64a0·2969·6e73·7461·6e63·6573··f_ind.)instances | 00000300:·665f·696e·64a0·2969·6e73·7461·6e63·6573··f_ind.)instances | ||
| 00000310:·a028·6465·7269·7669·6e67·4090·30f | 00000310:·a028·6465·7269·7669·6e67·4090·30f5·923b··.(deriving@.0..; | ||
| 00000320:· | 00000320:·1bfe·46fd·973f·19e0·2137·aa82·42a0·a027··..F..?..!7..B..' | ||
| 00000330:·6669·6e74·7970·65a0·2969·6e73·7461·6e63··fintype.)instanc | 00000330:·6669·6e74·7970·65a0·2969·6e73·7461·6e63··fintype.)instanc | ||
| 00000340:·6573·a028·6465·7269·7669·6e67·4090·30 | 00000340:·6573·a028·6465·7269·7669·6e67·4090·3060··es.(deriving@.0` | ||
| 00000350:·d | 00000350:·da47·b339·4e8f·2ec0·0039·4076·b9cc·10a0··.G.9N....9@v.... | ||
| 00000360:·a025·6f72·6465·72a0·2969·6e73·7461·6e63··.%order.)instanc | 00000360:·a025·6f72·6465·72a0·2969·6e73·7461·6e63··.%order.)instanc | ||
| 00000370:·6573·a028·6465·7269·7669·6e67·4090·30 | 00000370:·6573·a028·6465·7269·7669·6e67·4090·306a··es.(deriving@.0j | ||
| 00000380:·1bdf·61db·596c·b10a·d25a·5f12·4708·2c25··..a.Yl...Z_.G.,% | |||
| 00000390:·352e·322e·30a0·4040·fb93·19c8·0d00·4744··5.2.0.@@......GD | |||
| 000003 | 00000380:·200f·00d6·a817·c375·3fa9·b227·14b8·1f25···......u?..'...% | ||
| 00000390:·352e·322e·30a0·4040·765b·5ef2·e722·46f9··5.2.0.@@v[^.."F. | |||
| 000003a0:·f838·a78b·1943·7774·8495·a6be·0003·8516··.8...Cwt........ | |||
| 000003b0:·0000·cdac·0002·bbb4·0002·ab35·b0d0·a029··...........5...) | 000003b0:·0000·cdac·0002·bbb4·0002·ab35·b0d0·a029··...........5...) | ||
| 000003c0:·696e·7374·616e·6365·73a0·2864·6572·6976··instances.(deriv | 000003c0:·696e·7374·616e·6365·73a0·2864·6572·6976··instances.(deriv | ||
| 000003d0:·696e·6740·e090·0406·4190·a0a0·316c·7461··ing@....A...1lta | 000003d0:·696e·6740·e090·0406·4190·a0a0·316c·7461··ing@....A...1lta | ||
| 000003e0:·635f·6765·6e5f·7375·6270·726f·6f66·9008··c_gen_subproof.. | 000003e0:·635f·6765·6e5f·7375·6270·726f·6f66·9008··c_gen_subproof.. | ||
| 000003f0:·0000·2700·40a0·8080·9040·a99a·a090·b0a2··..'.@....@...... | 000003f0:·0000·2700·40a0·8080·9040·a99a·a090·b0a2··..'.@....@...... | ||
| 00000400:·90a0·2369·6e64·a004·1540·2349·6e64·2b72··..#ind...@#Ind+r | 00000400:·90a0·2369·6e64·a004·1540·2349·6e64·2b72··..#ind...@#Ind+r | ||
| 00000410:·6563·7572·736f·725f·6571·0232·18b2·4a04··ecursor_eq.2..J. | 00000410:·6563·7572·736f·725f·6571·0232·18b2·4a04··ecursor_eq.2..J. | ||
| Offset 5522, 20 lines modified | Offset 5522, 20 lines modified | ||
| 00015910:·01cf·0991·770a·ef18·90b0·0504·e305·04e1··....w........... | 00015910:·01cf·0991·770a·ef18·90b0·0504·e305·04e1··....w........... | ||
| 00015920:·0200·0090·ce40·4142·b005·0254·42a0·0301··.....@AB...TB... | 00015920:·0200·0090·ce40·4142·b005·0254·42a0·0301··.....@AB...TB... | ||
| 00015930:·cddb·c3be·541e·3190·b005·2fb7·0504·e002··....T.1.../..... | 00015930:·cddb·c3be·541e·3190·b005·2fb7·0504·e002··....T.1.../..... | ||
| 00015940:·0000·910c·4043·4445·b005·049d·4205·0497··....@CDE....B... | 00015940:·0000·910c·4043·4445·b005·049d·4205·0497··....@CDE....B... | ||
| 00015950:·c0c0·c040·b005·0497·4205·048e·4041·b005··...@....B...@A.. | 00015950:·c0c0·c040·b005·0497·4205·048e·4041·b005··...@....B...@A.. | ||
| 00015960:·048b·4205·0487·4042·b005·0484·4205·047d··..B...@B....B..} | 00015960:·048b·4205·0487·4042·b005·0484·4205·047d··..B...@B....B..} | ||
| 00015970:·4043·4648·494a·4b4c·c0a0·a005·2650·a005··@CFHIJKL....&P.. | 00015970:·4043·4648·494a·4b4c·c0a0·a005·2650·a005··@CFHIJKL....&P.. | ||
| 00015980:·2631·a005·265c·4090·30 | 00015980:·2631·a005·265c·4090·30b5·104d·9d37·e50f··&1..&\@.0..M.7.. | ||
| 00015990:·22e2·226e·5bf6·53d9·faa0·0522·5990·303a··"."n[.S...."Y.0: | |||
| 000159a0:·d14e·336f·6f94·4ce0·b084·3f1b·1483·70a0··.N3oo.L...?...p. | |||
| 000159b0:·052f·a790·30b9·1bdf·61db·596c·b10a·d25a··./..0...a.Yl...Z | |||
| 000159c0:·5f12·4708·2ca0·0525·6190·30f4·30be·696f··_.G.,..%a.0.0.io | |||
| 000159 | 00015990:·99c6·6fcc·32f2·c335·a3a0·0522·5990·3060··..o.2..5..."Y.0` | ||
| 000159a0:·da47·b339·4e8f·2ec0·0039·4076·b9cc·10a0··.G.9N....9@v.... | |||
| 000159b0:·052f·a790·306a·200f·00d6·a817·c375·3fa9··./..0j·......u?. | |||
| 000159c0:·b227·14b8·1fa0·0525·6190·30f5·923b·1bfe··.'.....%a.0..;.. | |||
| 000159d0:·46fd·973f·19e0·2137·aa82·4290·40a0·a094··F..?..!7..B.@... | |||
| 000159e0:·a0a0·4090·a005·31b0·a005·3d5e·053d·5d40··..@...1...=^.=]@ | 000159e0:·a0a0·4090·a005·31b0·a005·3d5e·053d·5d40··..@...1...=^.=]@ | ||
| 000159f0:·a094·a0a0·4090·a005·25ca·0407·40a0·94a0··....@...%...@... | 000159f0:·a094·a0a0·4090·a005·25ca·0407·40a0·94a0··....@...%...@... | ||
| 00015a00:·a040·90a0·0523·e304·0d40·a094·a0a0·4090··.@...#...@....@. | 00015a00:·a040·90a0·0523·e304·0d40·a094·a0a0·4090··.@...#...@....@. | ||
| 00015a10:·a005·32f3·0413·40a0·94a0·a040·9004·1940··..2...@....@...@ | 00015a10:·a005·32f3·0413·40a0·94a0·a040·9004·1940··..2...@....@...@ | ||
| 00015a20:·a094·a0a0·4090·0417·40a0·94a0·a040·9004··....@...@....@.. | 00015a20:·a094·a0a0·4090·0417·40a0·94a0·a040·9004··....@...@....@.. | ||
| 00015a30:·1640·a094·a0a0·4090·0415·4040·40a0·a094··.@....@...@@@... | 00015a30:·1640·a094·a0a0·4090·0415·4040·40a0·a094··.@....@...@@@... | ||
| 00015a40:·a0a0·4004·1540·a094·a0a0·4004·1440·a094··..@..@....@..@.. | 00015a40:·a0a0·4004·1540·a094·a0a0·4004·1440·a094··..@..@....@..@.. | ||
| Offset 5848, 4806 lines modified | Offset 5848, 4806 lines modified | ||
| 00016d70:·6465·7269·7669·6e67·2e69·6e73·7461·6e63··deriving.instanc | 00016d70:·6465·7269·7669·6e67·2e69·6e73·7461·6e63··deriving.instanc | ||
| 00016d80:·6573·362e·2f74·6865·6f72·6965·732f·696e··es6./theories/in | 00016d80:·6573·362e·2f74·6865·6f72·6965·732f·696e··es6./theories/in | ||
| 00016d90:·7374·616e·6365·732e·7601·0474·0104·9f6c··stances.v..t...l | 00016d90:·7374·616e·6365·732e·7601·0474·0104·9f6c··stances.v..t...l | ||
| 00016da0:·0104·74c0·4040·4041·b0c3·9140·2f6c·6f63··..t.@@@A...@/loc | 00016da0:·0104·74c0·4040·4041·b0c3·9140·2f6c·6f63··..t.@@@A...@/loc | ||
| 00016db0:·616c·2d63·616e·6f6e·6963·616c·b095·a091··al-canonical.... | 00016db0:·616c·2d63·616e·6f6e·6963·616c·b095·a091··al-canonical.... | ||
| 00016dc0:·045a·5804·0da0·2254·7990·9090·9028·636f··.ZX..."Ty....(co | 00016dc0:·045a·5804·0da0·2254·7990·9090·9028·636f··.ZX..."Ty....(co | Diff chunk too large, falling back to line-by-line diff (4792 lines added, 4792 lines removed) | |
| 00016dd0:·6e73·7461·6e74·4004·14a0·0407·9090·9040··nstant@........@ | 00016dd0:·6e73·7461·6e74·4004·14a0·0407·9090·9040··nstant@........@ | ||
| 00016de0:·4040·4040·2 | 00016de0:·4040·4040·2a31·3031·3937·3237·3838·37e0··@@@@*1019727887. | ||
| 00016df0:·d0d0·d0 | 00016df0:·d0d0·d0d0·4025·4063·6173·74a0·b0b4·90a0··....@%@cast..... | ||
| 00016e00:·54 | 00016e00:·2154·226c·7040·b0b4·90a0·2254·5904·0640··!T"lp@...."TY..@ | ||
| 00016e10:·c391 | 00016e10:·b0c3·9140·236c·6574·b095·a090·2463·6173··...@#let....$cas | ||
| 00016e20:·53e0 | 00016e20:·7453·e040·3063·6f71·2d62·7569·6c74·696e··tS.@0coq-builtin | ||
| 00016e30:·656c | 00016e30:·2e65·6c70·6901·24e8·0124·ee01·00e1·0124··.elpi.$..$.....$ | ||
| 00016e40:·a004 | 00016e40:·cfa0·0429·9040·a0b0·a190·0417·0412·e040··...).@.........@ | ||
| 00016e50:·0801 | 00016e50:·0408·0124·ef01·24f1·0100·e101·24cf·a004··...$..$.....$... | ||
| 00016e60:·9040 | 00016e60:·3090·40a0·b0a1·9004·1e04·1fe0·4004·0f01··0.@.........@... | ||
| 00016e70:·f201 | 00016e70:·24f2·0124·f301·00e1·0124·cfa0·0437·9040··$..$.....$...7.@ | ||
| 00016e80:·b0b4 | 00016e80:·a0b0·b490·a021·7804·2740·b0a1·9004·2a04··.....!x.'@....*. | ||
| 00016e90:·e040 | 00016e90:·04e0·4004·1b01·24f6·0124·f701·00e1·0124··..@...$..$.....$ | ||
| 00016ea0:·a004 | 00016ea0:·cfa0·0443·9040·e040·041e·0124·f401·24f7··...C.@.@...$..$. | ||
| 00016eb0:·00e1 | 00016eb0:·0100·e101·24cf·a004·4690·4040·e040·0421··....$...F.@@.@.! | ||
| 00016ec0:·24e4 | 00016ec0:·0124·e401·24f7·0100·e101·24cf·a004·4990··.$..$.....$...I. | ||
| 00016ed0:·e040 | 00016ed0:·40e0·4004·2401·24dd·0124·f701·00e1·0124··@.@.$.$..$.....$ | ||
| 00016ee0:·a004 | 00016ee0:·cfa0·044c·9040·e040·0427·0124·db01·24f7··...L.@.@.'.$..$. | ||
| 00016ef0:·00e1 | 00016ef0:·0100·e101·24cf·a004·4f90·40e0·4004·2a01··....$...O.@.@.*. | ||
| 00016f00:·cf01 | 00016f00:·24cf·0124·f801·00e1·0124·cfd0·402a·4063··$..$.....$..@*@c | ||
| 00016f10:·6572 | 00016f10:·6f65·7263·696f·6e21·a0b0·c391·4022·3a3a··oercion!....@":: | ||
| 00016f20:·c391 | 00016f20:·b0c3·9140·2863·6f65·7263·696f·6eb0·a191··...@(coercion... | ||
| 00016f30:·2a72 | 00016f30:·402a·7265·7665·7273·6962·6c65·e040·043a··@*reversible.@.: | ||
| 00016f40:·531a | 00016f40:·0153·1a01·5324·0101·f201·52fc·a004·6290··.S..S$....R...b. | ||
| 00016f50:·40 | 00016f50:·4040·e040·043d·0153·1101·5324·0101·f201··@@.@.=.S..S$.... | ||
| 00016f60:·fca0 | 00016f60:·52fc·a004·6590·40a0·b0a1·9140·225b·5de0··R...e.@....@"[]. | ||
| 00016f70:·0445 | 00016f70:·4004·4501·5324·0153·2501·01f2·0152·fca0··@.E.S$.S%....R.. | ||
| 00016f80:·6d90 | 00016f80:·046d·9040·40e0·4004·4801·5310·0153·2501··.m.@@.@.H.S..S%. | ||
| 00016f90:·f201 | 00016f90:·01f2·0152·fca0·0470·9040·e040·044b·0152··...R...p.@.@.K.R | ||
| 00016fa0:·0153 | 00016fa0:·fc01·5325·0101·f201·52fc·4041·422c·4064··..S%....R.@AB,@d | ||
| 00016fb0:·7072 | 00016fb0:·6570·7265·6361·7465·6421·a0b0·b490·a025··eprecated!.....% | ||
| 00016fc0:·696e | 00016fc0:·5369·6e63·6504·6240·b0b4·90a0·234d·7367··Since.b@....#Msg | ||
| 00016fd0:·6740 | 00016fd0:·0467·40b0·c391·402a·6765·742d·6f70·7469··.g@...@*get-opti | ||
| 00016fe0:·6eb0 | 00016fe0:·6f6e·b095·a02e·636f·713a·6465·7072·6563··on....coq:deprec | ||
| 00016ff0:·7465 | 00016ff0:·6174·6564·43e0·4004·6001·5280·0152·9001··atedC.@.`.R..R.. | ||
| 00017000:·ed01 | 00017000:·01ed·0152·73a0·0488·9040·a0b0·c391·4022··...Rs....@....@" | ||
| 00017010:·72b0 | 00017010:·7072·b0a1·9004·7a04·19e0·4004·6b01·5295··pr....z...@.k.R. | ||
| 00017020:·529a | 00017020:·0152·9a01·01ed·0152·73a0·0493·9040·a0b0··.R.....Rs....@.. | ||
| 00017030:·9004 | 00017030:·a190·0481·041b·e040·0472·0152·9b01·529e··.......@.r.R..R. | ||
| 00017040:·01ed | 00017040:·0101·ed01·5273·a004·9a90·4040·e040·0475··....Rs....@@.@.u | ||
| 00017050:·5292 | 00017050:·0152·9201·529e·0101·ed01·5273·a004·9d90··.R..R.....Rs.... | ||
| 00017060:·40 | 00017060:·4040·e040·0478·0152·7501·529f·0101·ed01··@@.@.x.Ru.R..... | ||
| 00017070:·73a0 | 00017070:·5273·a004·a090·40e0·4004·7b01·526c·0152··Rs....@.@.{.Rl.R | ||
| 00017080:·0101 | 00017080:·9f01·01ed·0152·73a0·04a3·9040·e040·047e··.....Rs....@.@.~ | ||
| Max diff block lines reached; 1843206/2511421 bytes (73.39%) of diff not shown. | |||
| Offset 7, 25 lines modified | Offset 7, 25 lines modified | ||
| 00000060:·ca42·a0a0·2973·7372·6566·6c65·6374·a004··.B..)ssreflect.. | 00000060:·ca42·a0a0·2973·7372·6566·6c65·6374·a004··.B..)ssreflect.. | ||
| 00000070:·02a0·286d·6174·6863·6f6d·7040·9030·ca52··..(mathcomp@.0.R | 00000070:·02a0·286d·6174·6863·6f6d·7040·9030·ca52··..(mathcomp@.0.R | ||
| 00000080:·77c3·5c7b·6a1c·5bb7·82b0·97bb·202d·a0a0··w.\{j.[.....·-.. | 00000080:·77c3·5c7b·6a1c·5bb7·82b0·97bb·202d·a0a0··w.\{j.[.....·-.. | ||
| 00000090:·2673·7372·6675·6ea0·2973·7372·6566·6c65··&ssrfun.)ssrefle | 00000090:·2673·7372·6675·6ea0·2973·7372·6566·6c65··&ssrfun.)ssrefle | ||
| 000000a0:·6374·a028·6d61·7468·636f·6d70·4090·3081··ct.(mathcomp@.0. | 000000a0:·6374·a028·6d61·7468·636f·6d70·4090·3081··ct.(mathcomp@.0. | ||
| 000000b0:·ed2b·30c4·c415·4060·2baf·32ff·ce49·eaa0··.+0...@`+.2..I.. | 000000b0:·ed2b·30c4·c415·4060·2baf·32ff·ce49·eaa0··.+0...@`+.2..I.. | ||
| 000000c0:·a024·6261·7365·a028·6465·7269·7669·6e67··.$base.(deriving | 000000c0:·a024·6261·7365·a028·6465·7269·7669·6e67··.$base.(deriving | ||
| 000000d0:·4090·30 | 000000d0:·4090·30da·74ff·da5f·3dec·37c7·22f8·428e··@.0.t.._=.7.".B. | ||
| 000000e0:· | 000000e0:·4d9e·10a0·a023·696e·64a0·2864·6572·6976··M....#ind.(deriv | ||
| 000000f0:·696e·6740·9030·c960·e4df·0d33·5da0·99e8··ing@.0.`...3]... | |||
| 00000100:·604b·3c83·07a6·2535·2e32·2e30·a040·402c··`K<...%5.2.0.@@, | |||
| 00000 | 000000f0:·696e·6740·9030·4378·33e6·5d66·ea32·c09c··ing@.0Cx3.]f.2.. | ||
| 00000100:·467f·f7cd·d30e·2535·2e32·2e30·a040·409d··F.....%5.2.0.@@. | |||
| 00000110:·83c4·d494·79dd·2154·73cb·f56a·10a9·3884··....y.!Ts..j..8. | |||
| 00000120:·95a6·be00·001c·f800·0009·4100·0019·7000··..........A...p. | 00000120:·95a6·be00·001c·f800·0009·4100·0019·7000··..........A...p. | ||
| 00000130:·0018·65b0·d0a0·2774·6163·7469·6373·a028··..e...'tactics.( | 00000130:·0018·65b0·d0a0·2774·6163·7469·6373·a028··..e...'tactics.( | ||
| 00000140:·6465·7269·7669·6e67·40e0·9004·0641·9040··deriving@....A.@ | 00000140:·6465·7269·7669·6e67·40e0·9004·0641·9040··deriving@....A.@ | ||
| 00000150:·40a0·4040·9040·a040·4090·a0a0·2369·6e64··@.@@.@.@@...#ind | 00000150:·40a0·4040·9040·a040·4090·a0a0·2369·6e64··@.@@.@.@@...#ind | ||
| 00000160:·a028·6465·7269·7669·6e67·4090·30 | 00000160:·a028·6465·7269·7669·6e67·4090·3043·7833··.(deriving@.0Cx3 | ||
| 00000170:· | 00000170:·e65d·66ea·32c0·9c46·7ff7·cdd3·0e90·40a0··.]f.2..F......@. | ||
| 00000180:·4040·a0a0·95a0·020e·48cd·fab0·4030·6465··@@......H...@0de | 00000180:·4040·a0a0·95a0·020e·48cd·fab0·4030·6465··@@......H...@0de | ||
| 00000190:·7269·7669·6e67·5f63·6f6d·7075·7465·9108··riving_compute.. | 00000190:·7269·7669·6e67·5f63·6f6d·7075·7465·9108··riving_compute.. | ||
| 000001a0:·0000·2300·4041·4141·4141·40a0·9190·b090··..#.@AAAAA@..... | 000001a0:·0000·2300·4041·4141·4141·40a0·9190·b090··..#.@AAAAA@..... | ||
| 000001b0:·a023·696e·64a0·2864·6572·6976·696e·6740··.#ind.(deriving@ | 000001b0:·a023·696e·64a0·2864·6572·6976·696e·6740··.#ind.(deriving@ | ||
| 000001c0:·2666·735f·6675·6e02·31c9·02c1·a091·90b0··&fs_fun.1....... | 000001c0:·2666·735f·6675·6e02·31c9·02c1·a091·90b0··&fs_fun.1....... | ||
| 000001d0:·040a·2466·7345·3102·21d7·5381·a091·90b0··..$fsE1.!.S..... | 000001d0:·040a·2466·7345·3102·21d7·5381·a091·90b0··..$fsE1.!.S..... | ||
| 000001e0:·040f·2466·7345·3202·21d7·5382·a091·90b0··..$fsE2.!.S..... | 000001e0:·040f·2466·7345·3202·21d7·5382·a091·90b0··..$fsE2.!.S..... | ||
| Offset 476, 26 lines modified | Offset 476, 26 lines modified | ||
| 00001db0:·90a0·9105·04e3·40a0·90a0·9105·04e2·40a0··......@.......@. | 00001db0:·90a0·9105·04e3·40a0·90a0·9105·04e2·40a0··......@.......@. | ||
| 00001dc0:·90a0·9105·04e1·40a0·90a0·9105·04e0·40a0··......@.......@. | 00001dc0:·90a0·9105·04e1·40a0·90a0·9105·04e0·40a0··......@.......@. | ||
| 00001dd0:·90a0·9105·04df·40a0·90a0·9105·04de·40a0··......@.......@. | 00001dd0:·90a0·9105·04df·40a0·90a0·9105·04de·40a0··......@.......@. | ||
| 00001de0:·90a0·9105·04dd·4040·a090·4040·90f0·a090··......@@..@@.... | 00001de0:·90a0·9105·04dd·4040·a090·4040·90f0·a090··......@@..@@.... | ||
| 00001df0:·3064·6572·6976·696e·672e·7461·6374·6963··0deriving.tactic | 00001df0:·3064·6572·6976·696e·672e·7461·6374·6963··0deriving.tactic | ||
| 00001e00:·7334·2e2f·7468·656f·7269·6573·2f74·6163··s4./theories/tac | 00001e00:·7334·2e2f·7468·656f·7269·6573·2f74·6163··s4./theories/tac | ||
| 00001e10:·7469·6373·2e76·0101·a001·1a95·0102·6c01··tics.v........l. | 00001e10:·7469·6373·2e76·0101·a001·1a95·0102·6c01··tics.v........l. | ||
| 00001e20:·2780·011a·9701·2781·4040·40 | 00001e20:·2780·011a·9701·2781·4040·40fb·9fe5·eff1··'.....'.@@@..... | ||
| 00001e30:· | 00001e30:·26d1·3b49·a97c·1fd0·79a7·c384·95a6·be00··&.;I.|..y....... | ||
| 00001e40:·0000·0100·0000·0000·0000·0000·0000·0080··................ | 00001e40:·0000·0100·0000·0000·0000·0000·0000·0080··................ | ||
| 00001e50:·6144·c86c·d4a1·68cd·7049·5a5c·c422·ade9··aD.l..h.pIZ\.".. | 00001e50:·6144·c86c·d4a1·68cd·7049·5a5c·c422·ade9··aD.l..h.pIZ\.".. | ||
| 00001e60:·8495·a6be·0000·0016·0000·0005·0000·0010··................ | 00001e60:·8495·a6be·0000·0016·0000·0005·0000·0010··................ | ||
| 00001e70:·0000·000e·a0a0·2774·6163·7469·6373·a028··......'tactics.( | 00001e70:·0000·000e·a0a0·2774·6163·7469·6373·a028··......'tactics.( | ||
| 00001e80:·6465·7269·7669·6e67·4080·8679·69a2·6fc3··deriving@..yi.o. | 00001e80:·6465·7269·7669·6e67·4080·8679·69a2·6fc3··deriving@..yi.o. | ||
| 00001e90:·fdd5·8b79·a622·e8e8·fa3d·0000·0004·0000··...y."...=...... | 00001e90:·fdd5·8b79·a622·e8e8·fa3d·0000·0004·0000··...y."...=...... | ||
| 00001ea0:·0007·6c69·6272·6172·7900·0000·0000·0001··..library....... | 00001ea0:·0007·6c69·6272·6172·7900·0000·0000·0001··..library....... | ||
| 00001eb0:·1f00·0000·0000·001d·0c | 00001eb0:·1f00·0000·0000·001d·0cfb·9fe5·eff1·26d1··..............&. | ||
| 00001ec0:· | 00001ec0:·3b49·a97c·1fd0·79a7·c300·0000·076f·7061··;I.|..y......opa | ||
| 00001ed0:·7175·6573·0000·0000·0000·1e3b·0000·0000··ques.......;.... | 00001ed0:·7175·6573·0000·0000·0000·1e3b·0000·0000··ques.......;.... | ||
| 00001ee0:·0000·0015·6144·c86c·d4a1·68cd·7049·5a5c··....aD.l..h.pIZ\ | 00001ee0:·0000·0015·6144·c86c·d4a1·68cd·7049·5a5c··....aD.l..h.pIZ\ | ||
| 00001ef0:·c422·ade9·0000·0007·7375·6d6d·6172·7900··."......summary. | 00001ef0:·c422·ade9·0000·0007·7375·6d6d·6172·7900··."......summary. | ||
| 00001f00:·0000·0000·0000·1000·0000·0000·0000·ff | 00001f00:·0000·0000·0000·1000·0000·0000·0000·ff9d··................ | ||
| 00001f10:· | 00001f10:·83c4·d494·79dd·2154·73cb·f56a·10a9·3800··....y.!Ts..j..8. | ||
| 00001f20:·0000·0976·6d6c·6962·7261·7279·0000·0000··...vmlibrary.... | 00001f20:·0000·0976·6d6c·6962·7261·7279·0000·0000··...vmlibrary.... | ||
| 00001f30:·0000·1e60·0000·0000·0000·002a·8679·69a2··...`.......*.yi. | 00001f30:·0000·1e60·0000·0000·0000·002a·8679·69a2··...`.......*.yi. | ||
| 00001f40:·6fc3·fdd5·8b79·a622·e8e8·fa3d············o....y."...= | 00001f40:·6fc3·fdd5·8b79·a622·e8e8·fa3d············o....y."...= |
| Offset 1, 1 lines modified | Offset 1, 1 lines modified | ||
| 1 | 1 | dlhy2 | |