| Offset 1, 2 lines modified | Offset 1, 2 lines modified | ||
| 1 | · | 1 | ·b2943fc917e5344070747c46d4d11265·748040·ocaml·optional·libcoq-extructures_0.5.0-1_amd64.deb |
| Offset 1, 3 lines modified | Offset 1, 3 lines modified | ||
| 1 | -rw-r--r--···0········0········0········4·2024-12-18·11:18:51.000000·debian-binary | 1 | -rw-r--r--···0········0········0········4·2024-12-18·11:18:51.000000·debian-binary |
| 2 | -rw-r--r--···0········0········0·····1172·2024-12-18·11:18:51.000000·control.tar.xz | 2 | -rw-r--r--···0········0········0·····1172·2024-12-18·11:18:51.000000·control.tar.xz |
| 3 | -rw-r--r--···0········0········0···746 | 3 | -rw-r--r--···0········0········0···746676·2024-12-18·11:18:51.000000·data.tar.xz |
| Offset 1, 15 lines modified | Offset 1, 15 lines modified | ||
| 1 | Package:·libcoq-extructures | 1 | Package:·libcoq-extructures |
| 2 | Source:·coq-extructures | 2 | Source:·coq-extructures |
| 3 | Version:·0.5.0-1 | 3 | Version:·0.5.0-1 |
| 4 | Architecture:·amd64 | 4 | Architecture:·amd64 |
| 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:·2690 | 6 | Installed-Size:·2690 |
| 7 | Depends:·libcoq-deriving-fhq49,·libcoq-mathcomp-ssreflect-eojd5,·libcoq-stdlib-p29e7 | 7 | Depends:·libcoq-deriving-fhq49,·libcoq-mathcomp-ssreflect-eojd5,·libcoq-stdlib-p29e7 |
| 8 | Provides:·libcoq-extructures- | 8 | Provides:·libcoq-extructures-r7pf5 |
| 9 | Section:·ocaml | 9 | Section:·ocaml |
| 10 | Priority:·optional | 10 | Priority:·optional |
| 11 | Homepage:·https://github.com/arthuraa/extructures/ | 11 | Homepage:·https://github.com/arthuraa/extructures/ |
| 12 | Description:·data·structures·with·extensional·reasoning·for·Coq | 12 | Description:·data·structures·with·extensional·reasoning·for·Coq |
| 13 | ·This·Coq·plugin·provides·finite·sets,·maps·and | 13 | ·This·Coq·plugin·provides·finite·sets,·maps·and |
| 14 | ·other·data·structures·with·extensional·reasoning. | 14 | ·other·data·structures·with·extensional·reasoning. |
| 15 | ·. | 15 | ·. |
| Offset 5, 27 lines modified | Offset 5, 27 lines modified | ||
| 5 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:18:51.000000·./usr/lib/x86_64-linux-gnu/ocaml/ | 5 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:18:51.000000·./usr/lib/x86_64-linux-gnu/ocaml/ |
| 6 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:18:51.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/ | 6 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:18:51.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/ |
| 7 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:18:51.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/ | 7 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:18:51.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/ |
| 8 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:18:51.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/ | 8 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:18:51.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/ |
| 9 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:18:51.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/ | 9 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:18:51.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/ |
| 10 | -rw-r--r--···0·root·········(0)·root·········(0)····37210·2024-12-18·11:18:51.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/ffun.glob | 10 | -rw-r--r--···0·root·········(0)·root·········(0)····37210·2024-12-18·11:18:51.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/ffun.glob |
| 11 | -rw-r--r--···0·root·········(0)·root·········(0)·····6906·2024-12-18·11:18:51.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/ffun.v | 11 | -rw-r--r--···0·root·········(0)·root·········(0)·····6906·2024-12-18·11:18:51.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/ffun.v |
| 12 | -rw-r--r--···0·root·········(0)·root·········(0)···17019 | 12 | -rw-r--r--···0·root·········(0)·root·········(0)···170192·2024-12-18·11:18:51.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/ffun.vo |
| 13 | -rw-r--r--···0·root·········(0)·root·········(0)···235466·2024-12-18·11:18:51.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/fmap.glob | 13 | -rw-r--r--···0·root·········(0)·root·········(0)···235466·2024-12-18·11:18:51.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/fmap.glob |
| 14 | -rw-r--r--···0·root·········(0)·root·········(0)····38448·2024-12-18·11:18:51.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/fmap.v | 14 | -rw-r--r--···0·root·········(0)·root·········(0)····38448·2024-12-18·11:18:51.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/fmap.v |
| 15 | -rw-r--r--···0·root·········(0)·root·········(0)···42602 | 15 | -rw-r--r--···0·root·········(0)·root·········(0)···426021·2024-12-18·11:18:51.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/fmap.vo |
| 16 | -rw-r--r--···0·root·········(0)·root·········(0)···115803·2024-12-18·11:18:51.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/fperm.glob | 16 | -rw-r--r--···0·root·········(0)·root·········(0)···115803·2024-12-18·11:18:51.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/fperm.glob |
| 17 | -rw-r--r--···0·root·········(0)·root·········(0)····19744·2024-12-18·11:18:51.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/fperm.v | 17 | -rw-r--r--···0·root·········(0)·root·········(0)····19744·2024-12-18·11:18:51.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/fperm.v |
| 18 | -rw-r--r--···0·root·········(0)·root·········(0)···2683 | 18 | -rw-r--r--···0·root·········(0)·root·········(0)···268308·2024-12-18·11:18:51.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/fperm.vo |
| 19 | -rw-r--r--···0·root·········(0)·root·········(0)···313420·2024-12-18·11:18:51.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/fset.glob | 19 | -rw-r--r--···0·root·········(0)·root·········(0)···313420·2024-12-18·11:18:51.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/fset.glob |
| 20 | -rw-r--r--···0·root·········(0)·root·········(0)····42036·2024-12-18·11:18:51.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/fset.v | 20 | -rw-r--r--···0·root·········(0)·root·········(0)····42036·2024-12-18·11:18:51.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/fset.v |
| 21 | -rw-r--r--···0·root·········(0)·root·········(0)···39477 | 21 | -rw-r--r--···0·root·········(0)·root·········(0)···394779·2024-12-18·11:18:51.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/fset.vo |
| 22 | -rw-r--r--···0·root·········(0)·root·········(0)····81922·2024-12-18·11:18:51.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/ord.glob | 22 | -rw-r--r--···0·root·········(0)·root·········(0)····81922·2024-12-18·11:18:51.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/ord.glob |
| 23 | -rw-r--r--···0·root·········(0)·root·········(0)····21265·2024-12-18·11:18:51.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/ord.v | 23 | -rw-r--r--···0·root·········(0)·root·········(0)····21265·2024-12-18·11:18:51.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/ord.v |
| 24 | -rw-r--r--···0·root·········(0)·root·········(0)···549 | 24 | -rw-r--r--···0·root·········(0)·root·········(0)···549688·2024-12-18·11:18:51.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/extructures/ord.vo |
| 25 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:18:51.000000·./usr/share/ | 25 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:18:51.000000·./usr/share/ |
| 26 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:18:51.000000·./usr/share/doc/ | 26 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:18:51.000000·./usr/share/doc/ |
| 27 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:18:51.000000·./usr/share/doc/libcoq-extructures/ | 27 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:18:51.000000·./usr/share/doc/libcoq-extructures/ |
| 28 | -rw-r--r--···0·root·········(0)·root·········(0)······616·2024-12-18·11:18:51.000000·./usr/share/doc/libcoq-extructures/changelog.Debian.gz | 28 | -rw-r--r--···0·root·········(0)·root·········(0)······616·2024-12-18·11:18:51.000000·./usr/share/doc/libcoq-extructures/changelog.Debian.gz |
| 29 | -rw-r--r--···0·root·········(0)·root·········(0)·····1338·2024-12-09·18:16:09.000000·./usr/share/doc/libcoq-extructures/changelog.gz | 29 | -rw-r--r--···0·root·········(0)·root·········(0)·····1338·2024-12-09·18:16:09.000000·./usr/share/doc/libcoq-extructures/changelog.gz |
| 30 | -rw-r--r--···0·root·········(0)·root·········(0)·····1267·2024-12-18·11:18:51.000000·./usr/share/doc/libcoq-extructures/copyright | 30 | -rw-r--r--···0·root·········(0)·root·········(0)·····1267·2024-12-18·11:18:51.000000·./usr/share/doc/libcoq-extructures/copyright |
| 31 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:18:51.000000·./var/ | 31 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:18:51.000000·./var/ |
| Offset 1, 8 lines modified | Offset 1, 8 lines modified | ||
| 00000000:·436f·7121·0001·4050·0000·0000·0002·98 | 00000000:·436f·7121·0001·4050·0000·0000·0002·981e··Coq!..@P........ | ||
| 00000010:·8495·a6be·0000·01d4·0000·0059·0000·0135··...........Y...5 | 00000010:·8495·a6be·0000·01d4·0000·0059·0000·0135··...........Y...5 | ||
| 00000020:·0000·0108·c0a0·2466·6675·6ea0·2b65·7874··......$ffun.+ext | 00000020:·0000·0108·c0a0·2466·6675·6ea0·2b65·7874··......$ffun.+ext | ||
| 00000030:·7275·6374·7572·6573·4008·0000·2b00·a0a0··ructures@...+... | 00000030:·7275·6374·7572·6573·4008·0000·2b00·a0a0··ructures@...+... | ||
| 00000040:·2750·7265·6c75·6465·a024·496e·6974·a023··'Prelude.$Init.# | 00000040:·2750·7265·6c75·6465·a024·496e·6974·a023··'Prelude.$Init.# | ||
| 00000050:·436f·7140·9030·c7f5·9674·0295·790e·84d5··Coq@.0...t..y... | 00000050:·436f·7140·9030·c7f5·9674·0295·790e·84d5··Coq@.0...t..y... | ||
| 00000060:·17cb·ca0a·ceef·a0a0·2a73·7472·7563·7475··........*structu | 00000060:·17cb·ca0a·ceef·a0a0·2a73·7472·7563·7475··........*structu | ||
| 00000070:·7265·73a0·2248·4240·9030·bbd1·8a14·21a4··res."HB@.0....!. | 00000070:·7265·73a0·2248·4240·9030·bbd1·8a14·21a4··res."HB@.0....!. | ||
| Offset 19, 23 lines modified | Offset 19, 23 lines modified | ||
| 00000120:·7065·a029·7373·7265·666c·6563·74a0·286d··pe.)ssreflect.(m | 00000120:·7065·a029·7373·7265·666c·6563·74a0·286d··pe.)ssreflect.(m | ||
| 00000130:·6174·6863·6f6d·7040·9030·c0c4·58e2·9728··athcomp@.0..X..( | 00000130:·6174·6863·6f6d·7040·9030·c0c4·58e2·9728··athcomp@.0..X..( | ||
| 00000140:·7992·493f·d3ff·1686·9df8·a0a0·2663·686f··y.I?........&cho | 00000140:·7992·493f·d3ff·1686·9df8·a0a0·2663·686f··y.I?........&cho | ||
| 00000150:·6963·65a0·2973·7372·6566·6c65·6374·a028··ice.)ssreflect.( | 00000150:·6963·65a0·2973·7372·6566·6c65·6374·a028··ice.)ssreflect.( | ||
| 00000160:·6d61·7468·636f·6d70·4090·309d·5e10·bb8d··mathcomp@.0.^... | 00000160:·6d61·7468·636f·6d70·4090·309d·5e10·bb8d··mathcomp@.0.^... | ||
| 00000170:·dbf1·436b·c828·ef3b·fc43·a1a0·a023·6f72··..Ck.(.;.C...#or | 00000170:·dbf1·436b·c828·ef3b·fc43·a1a0·a023·6f72··..Ck.(.;.C...#or | ||
| 00000180:·64a0·2b65·7874·7275·6374·7572·6573·4090··d.+extructures@. | 00000180:·64a0·2b65·7874·7275·6374·7572·6573·4090··d.+extructures@. | ||
| 00000190:·30 | 00000190:·3058·adf6·5740·ee66·c784·b98f·d233·3cde··0X..W@.f.....3<. | ||
| 000001a0:· | 000001a0:·77a0·a024·6673·6574·a02b·6578·7472·7563··w..$fset.+extruc | ||
| 000001b0:·7475·7265·7340·9030·a941·b62f·05e8·2b0c··tures@.0.A./..+. | |||
| 000001 | 000001b0:·7475·7265·7340·9030·252e·e091·5156·a290··tures@.0%...QV.. | ||
| 000001c0:·a19a·66ff·399f·5151·a0a0·2466·6d61·70a0··..f.9.QQ..$fmap. | |||
| 000001d0:·2b65·7874·7275·6374·7572·6573·4090·30 | 000001d0:·2b65·7874·7275·6374·7572·6573·4090·300e··+extructures@.0. | ||
| 000001e0:· | 000001e0:·adbe·a854·bc2d·0b68·8f3d·5075·60e8·5225··...T.-.h.=Pu`.R% | ||
| 000001f0:·352e·322e·30a0·4040· | 000001f0:·352e·322e·30a0·4040·f54e·c31d·c075·aa4a··5.2.0.@@.N...u.J | ||
| 00000200:·4 | 00000200:·4b03·6d64·a2d4·725f·8495·a6be·0001·f685··K.md..r_........ | ||
| 00000210:·0000·73f5·0001·8ff | 00000210:·0000·73f5·0001·8ffa·0001·8441·b0d0·a024··..s........A...$ | ||
| 00000220:·6666·756e·a02b·6578·7472·7563·7475·7265··ffun.+extructure | 00000220:·6666·756e·a02b·6578·7472·7563·7475·7265··ffun.+extructure | ||
| 00000230:·7340·e090·0406·4190·a0a0·0408·9108·0000··s@....A......... | 00000230:·7340·e090·0406·4190·a0a0·0408·9108·0000··s@....A......... | ||
| 00000240:·3f00·9008·0000·4300·040c·a0a0·a090·2364··?.....C.......#d | 00000240:·3f00·9008·0000·4300·040c·a0a0·a090·2364··?.....C.......#d | ||
| 00000250:·6566·40b6·a040·40a9·9aa0·90b0·a2a2·90a0··ef@..@@......... | 00000250:·6566·40b6·a040·40a9·9aa0·90b0·a2a2·90a0··ef@..@@......... | ||
| 00000260:·236f·7264·a004·1c40·234f·7264·0401·2473··#ord...@#Ord..$s | 00000260:·236f·7264·a004·1c40·234f·7264·0401·2473··#ord...@#Ord..$s | ||
| 00000270:·6f72·7402·16cf·2850·a080·8090·9042·a99a··ort...(P.....B.. | 00000270:·6f72·7402·16cf·2850·a080·8090·9042·a99a··ort...(P.....B.. | ||
| 00000280:·a090·b0a2·90a0·2665·7174·7970·65a0·2973··......&eqtype.)s | 00000280:·a090·b0a2·90a0·2665·7174·7970·65a0·2973··......&eqtype.)s | ||
| Offset 2161, 16 lines modified | Offset 2161, 16 lines modified | ||
| 00008700:·1744·4104·46c0·40b0·0517·4641·0444·4041··.DA.F.@...FA.D@A | 00008700:·1744·4104·46c0·40b0·0517·4641·0444·4041··.DA.F.@...FA.D@A | ||
| 00008710:·4243·44b0·0517·4741·0508·64c0·c0c0·c040··BCD...GA..d....@ | 00008710:·4243·44b0·0517·4741·0508·64c0·c0c0·c040··BCD...GA..d....@ | ||
| 00008720:·b005·174c·4105·0730·4041·b005·174d·4105··...LA..0@A...MA. | 00008720:·b005·174c·4105·0730·4041·b005·174d·4105··...LA..0@A...MA. | ||
| 00008730:·045d·4042·b004·de41·049b·c0c0·40b0·04e1··.]@B...A....@... | 00008730:·045d·4042·b004·de41·049b·c0c0·40b0·04e1··.]@B...A....@... | ||
| 00008740:·4104·4540·41b0·04e2·4104·e640·4243·b004··A.E@A...A..@BC.. | 00008740:·4104·4540·41b0·04e2·4104·e640·4243·b004··A.E@A...A..@BC.. | ||
| 00008750:·e341·04d9·c0c0·40b0·04e6·4104·3840·41b0··.A....@...A.8@A. | 00008750:·e341·04d9·c0c0·40b0·04e6·4104·3840·41b0··.A....@...A.8@A. | ||
| 00008760:·0501·5c42·04e7·4042·4445·4748·4990·a005··..\B..@BDEGHI... | 00008760:·0501·5c42·04e7·4042·4445·4748·4990·a005··..\B..@BDEGHI... | ||
| 00008770:·14d4·9030· | 00008770:·14d4·9030·0ead·bea8·54bc·2d0b·688f·3d50··...0....T.-.h.=P | ||
| 00008780:· | 00008780:·7560·e852·9040·a040·40a0·a095·a002·1c4e··u`.R.@.@@......N | ||
| 00008790:·24fd·a005·17bd·90a0·a005·17c0·a005·1760··$..............` | 00008790:·24fd·a005·17bd·90a0·a005·17c0·a005·1760··$..............` | ||
| 000087a0:·4040·a095·a002·0fc0·a2b8·a0a1·0516·bce0··@@.............. | 000087a0:·4040·a095·a002·0fc0·a2b8·a0a1·0516·bce0··@@.............. | ||
| 000087b0:·4140·4040·4040·a0a0·92a0·0516·c140·a0a0··A@@@@@.......@.. | 000087b0:·4140·4040·4040·a0a0·92a0·0516·c140·a0a0··A@@@@@.......@.. | ||
| 000087c0:·40a0·90c0·b090·0517·9241·4040·4141·a090··@........A@@AA.. | 000087c0:·40a0·90c0·b090·0517·9241·4040·4141·a090··@........A@@AA.. | ||
| 000087d0:·c0b0·9005·17a2·4240·4041·41a0·90c0·b090··......B@@AA..... | 000087d0:·c0b0·9005·17a2·4240·4041·41a0·90c0·b090··......B@@AA..... | ||
| 000087e0:·0517·cc43·4040·4141·4040·a0a0·93a0·0416··...C@@AA@@...... | 000087e0:·0517·cc43·4040·4141·4040·a0a0·93a0·0416··...C@@AA@@...... | ||
| 000087f0:·41a0·a040·a090·c0b0·9005·17a7·4140·4041··A..@........A@@A | 000087f0:·41a0·a040·a090·c0b0·9005·17a7·4140·4041··A..@........A@@A | ||
| Offset 2249, 8390 lines modified | Offset 2249, 8389 lines modified | ||
| 00008c80:·a040·4040·a0c0·e090·3065·7874·7275·6374··.@@@....0extruct | 00008c80:·a040·4040·a0c0·e090·3065·7874·7275·6374··.@@@....0extruct | ||
| 00008c90:·7572·6573·2e66·6675·6e31·2e2f·7468·656f··ures.ffun1./theo | 00008c90:·7572·6573·2e66·6675·6e31·2e2f·7468·656f··ures.ffun1./theo | ||
| 00008ca0:·7269·6573·2f66·6675·6e2e·7601·07ba·0107··ries/ffun.v..... | 00008ca0:·7269·6573·2f66·6675·6e2e·7601·07ba·0107··ries/ffun.v..... | ||
| 00008cb0:·f06c·0107·bac0·4040·4041·b0c3·9140·2f6c··.l....@@@A...@/l | 00008cb0:·f06c·0107·bac0·4040·4041·b0c3·9140·2f6c··.l....@@@A...@/l | ||
| 00008cc0:·6f63·616c·2d63·616e·6f6e·6963·616c·b095··ocal-canonical.. | 00008cc0:·6f63·616c·2d63·616e·6f6e·6963·616c·b095··ocal-canonical.. | ||
| 00008cd0:·a091·0510·9a58·040d·a022·5479·9090·9090··.....X..."Ty.... | 00008cd0:·a091·0510·9a58·040d·a022·5479·9090·9090··.....X..."Ty.... | Diff chunk too large, falling back to line-by-line diff (5601 lines added, 5601 lines removed) | |
| 00008ce0:·2863·6f6e·7374·616e·7440·0414·a004·0790··(constant@...... | 00008ce0:·2863·6f6e·7374·616e·7440·0414·a004·0790··(constant@...... | ||
| 00008cf0:·9090·4040·4040·402 | 00008cf0:·9090·4040·4040·4029·3233·3937·3833·3035··..@@@@@)23978305 | ||
| 00008d00:·3 | 00008d00:·33e0·d0d0·d0d0·4025·4063·6173·74a0·b0b4··3.....@%@cast... | ||
| 00008d10:· | 00008d10:·90a0·2154·226c·7040·b0b4·90a0·2254·5904··..!T"lp@...."TY. | ||
| 00008d20:·040 | 00008d20:·0640·b0c3·9140·236c·6574·b095·a090·2463··.@...@#let....$c | ||
| 00008d30:·6 | 00008d30:·6173·7453·e040·3063·6f71·2d62·7569·6c74··astS.@0coq-built | ||
| 00008d40:· | 00008d40:·696e·2e65·6c70·6901·24e8·0124·ee01·00e1··in.elpi.$..$.... | ||
| 00008d50:· | 00008d50:·0124·cfa0·0429·9040·a0b0·a190·0417·0412··.$...).@........ | ||
| 00008d60:· | 00008d60:·e040·0408·0124·ef01·24f1·0100·e101·24cf··.@...$..$.....$. | ||
| 00008d70:· | 00008d70:·a004·3090·40a0·b0a1·9004·1e04·1fe0·4004··..0.@.........@. | ||
| 00008d80:·0 | 00008d80:·0f01·24f2·0124·f301·00e1·0124·cfa0·0437··..$..$.....$...7 | ||
| 00008d90:· | 00008d90:·9040·a0b0·b490·a021·7804·2740·b0a1·9004··.@.....!x.'@.... | ||
| 00008da0:· | 00008da0:·2a04·04e0·4004·1b01·24f6·0124·f701·00e1··*...@...$..$.... | ||
| 00008db0:· | 00008db0:·0124·cfa0·0443·9040·e040·041e·0124·f401··.$...C.@.@...$.. | ||
| 00008dc0:· | 00008dc0:·24f7·0100·e101·24cf·a004·4690·4040·e040··$.....$...F.@@.@ | ||
| 00008dd0:· | 00008dd0:·0421·0124·e401·24f7·0100·e101·24cf·a004··.!.$..$.....$... | ||
| 00008de0:· | 00008de0:·4990·40e0·4004·2401·24dd·0124·f701·00e1··I.@.@.$.$..$.... | ||
| 00008df0:· | 00008df0:·0124·cfa0·044c·9040·e040·0427·0124·db01··.$...L.@.@.'.$.. | ||
| 00008e00:· | 00008e00:·24f7·0100·e101·24cf·a004·4f90·40e0·4004··$.....$...O.@.@. | ||
| 00008e10:· | 00008e10:·2a01·24cf·0124·f801·00e1·0124·cfd0·402a··*.$..$.....$..@* | ||
| 00008e20:· | 00008e20:·4063·6f65·7263·696f·6e21·a0b0·c391·4022··@coercion!....@" | ||
| 00008e30:· | 00008e30:·3a3a·b0c3·9140·2863·6f65·7263·696f·6eb0··::...@(coercion. | ||
| 00008e40:· | 00008e40:·a191·402a·7265·7665·7273·6962·6c65·e040··..@*reversible.@ | ||
| 00008e50:· | 00008e50:·043a·0153·1a01·5324·0101·f201·52fc·a004··.:.S..S$....R... | ||
| 00008e60:· | 00008e60:·6290·4040·e040·043d·0153·1101·5324·0101··b.@@.@.=.S..S$.. | ||
| 00008e70:· | 00008e70:·f201·52fc·a004·6590·40a0·b0a1·9140·225b··..R...e.@....@"[ | ||
| 00008e80:·5 | 00008e80:·5de0·4004·4501·5324·0153·2501·01f2·0152··].@.E.S$.S%....R | ||
| 00008e90:· | 00008e90:·fca0·046d·9040·40e0·4004·4801·5310·0153··...m.@@.@.H.S..S | ||
| 00008ea0:· | 00008ea0:·2501·01f2·0152·fca0·0470·9040·e040·044b··%....R...p.@.@.K | ||
| 00008eb0:· | 00008eb0:·0152·fc01·5325·0101·f201·52fc·4041·422c··.R..S%....R.@AB, | ||
| 00008ec0:· | 00008ec0:·4064·6570·7265·6361·7465·6421·a0b0·b490··@deprecated!.... | ||
| 00008ed0:· | 00008ed0:·a025·5369·6e63·6504·6240·b0b4·90a0·234d··.%Since.b@....#M | ||
| 00008ee0:· | 00008ee0:·7367·0467·40b0·c391·402a·6765·742d·6f70··sg.g@...@*get-op | ||
| 00008ef0:·7 | 00008ef0:·7469·6f6e·b095·a02e·636f·713a·6465·7072··tion....coq:depr | ||
| 00008f00:· | 00008f00:·6563·6174·6564·43e0·4004·6001·5280·0152··ecatedC.@.`.R..R | ||
| 00008f10:· | 00008f10:·9001·01ed·0152·73a0·0488·9040·a0b0·c391··.....Rs....@.... | ||
| 00008f20:· | 00008f20:·4022·7072·b0a1·9004·7a04·19e0·4004·6b01··@"pr....z...@.k. | ||
| 00008f30:· | 00008f30:·5295·0152·9a01·01ed·0152·73a0·0493·9040··R..R.....Rs....@ | ||
| 00008f40:· | 00008f40:·a0b0·a190·0481·041b·e040·0472·0152·9b01··.........@.r.R.. | ||
| 00008f50:· | 00008f50:·529e·0101·ed01·5273·a004·9a90·4040·e040··R.....Rs....@@.@ | ||
| 00008f60:· | 00008f60:·0475·0152·9201·529e·0101·ed01·5273·a004··.u.R..R.....Rs.. | ||
| 00008f70:· | 00008f70:·9d90·4040·e040·0478·0152·7501·529f·0101··..@@.@.x.Ru.R... | ||
| 00008f80:· | 00008f80:·ed01·5273·a004·a090·40e0·4004·7b01·526c··..Rs....@.@.{.Rl | ||
| 00008f90:· | 00008f90:·0152·9f01·01ed·0152·73a0·04a3·9040·e040··.R.....Rs....@.@ | ||
| 00008fa0:· | 00008fa0:·047e·0152·6601·529f·0101·ed01·5273·a004··.~.Rf.R.....Rs.. | ||
| 00008fb0:· | 00008fb0:·a690·40e0·4004·8101·5253·0152·9f01·01ec··..@.@...RS.R.... | ||
| 00008fc0:· | 00008fc0:·0152·53d0·402b·4064·726f·7075·6e69·7673··.RS.@+@dropunivs | ||
| 00008fd0:· | 00008fd0:·21a0·b0c3·9140·042d·b095·a02d·636f·713a··!....@.-...-coq: | ||
| 00008fe0:· | 00008fe0:·6b65·6570·756e·6976·7343·e040·048c·0150··keepunivsC.@...P | ||
| 00008ff0:· | 00008ff0:·c201·50d1·0101·e201·50a2·a004·b490·40a0··..P.....P.....@. | ||
| 00009000:· | 00009000:·b0a1·9140·2266·66e0·4004·9401·50d2·0150··...@"ff.@...P..P | ||
| 00009010:· | 00009010:·d401·01e2·0150·a2a0·04bc·9040·40e0·4004··.....P.....@@.@. | ||
| 00009020:· | 00009020:·9701·50b7·0150·d401·01e2·0150·a2a0·04bf··..P..P.....P.... | ||
| 00009030:· | 00009030:·9040·e040·049a·0150·a201·50d4·0101·e201··.@.@...P..P..... | ||
| 00009040:· | 00009040:·50a2·4041·4328·4067·6c6f·6261·6c21·a0b0··P.@AC(@global!.. | ||
| 00009050:· | 00009050:·c391·4004·45b0·95a0·2c63·6f71·3a6c·6f63··..@.E...,coq:loc | ||
| 00009060:·6 | 00009060:·616c·6974·7943·e040·04a4·0118·0501·1813··alityC.@........ | ||
| 00009070:· | 00009070:·0100·9501·17e6·a004·cc90·40a0·b095·a026··..........@....& | ||
| 00009080:· | 00009080:·676c·6f62·616c·43e0·4004·ac01·1814·0118··globalC.@....... | ||
| 00009090:·1 | 00009090:·1c01·0095·0117·e6a0·04d4·9040·40e0·4004··...........@@.@. | ||
| 000090a0:· | 000090a0:·af01·17fa·0118·1c01·0095·0117·e6a0·04d7··................ | ||
| 000090b0:· | 000090b0:·9040·e040·04b2·0117·e601·181c·0100·9501··.@.@............ | ||
| 000090c0:· | 000090c0:·17e6·d0d0·d040·2740·686f·6c65·7321·a0b0··.....@'@holes!.. | ||
| 000090d0:· | 000090d0:·c391·4004·60b0·95a0·2a48·4f41·533a·686f··..@.`...*HOAS:ho | ||
| 000090e0:·6 | 000090e0:·6c65·7343·e040·04bf·0133·ad01·33b9·0101··lesC.@...3..3... | ||
| 000090f0:· | 000090f0:·4301·3391·a004·e790·40a0·b0a1·9140·2274··C.3.....@....@"t | ||
| 00009100:·74 | 00009100:·74e0·4004·c701·33ba·0133·bc01·0143·0133··t.@...3..3...C.3 | ||
| 00009110:· | 00009110:·91a0·04ef·9040·40e0·4004·ca01·33a2·0133··.....@@.@...3..3 | ||
| 00009120:· | 00009120:·bc01·0143·0133·91a0·04f2·9040·e040·04cd··...C.3.....@.@.. | ||
| Max diff block lines reached; 383143/1160792 bytes (33.01%) of diff not shown. | |||
| Offset 1, 8 lines modified | Offset 1, 8 lines modified | ||
| 00000000:·436f·7121·0001·4050·0000·0000·0006·7f7 | 00000000:·436f·7121·0001·4050·0000·0000·0006·7f73··Coq!..@P.......s | ||
| 00000010:·8495·a6be·0000·023d·0000·006d·0000·017b··.......=...m...{ | 00000010:·8495·a6be·0000·023d·0000·006d·0000·017b··.......=...m...{ | ||
| 00000020:·0000·0144·c0a0·2466·6d61·70a0·2b65·7874··...D..$fmap.+ext | 00000020:·0000·0144·c0a0·2466·6d61·70a0·2b65·7874··...D..$fmap.+ext | ||
| 00000030:·7275·6374·7572·6573·4008·0000·3300·a0a0··ructures@...3... | 00000030:·7275·6374·7572·6573·4008·0000·3300·a0a0··ructures@...3... | ||
| 00000040:·2750·7265·6c75·6465·a024·496e·6974·a023··'Prelude.$Init.# | 00000040:·2750·7265·6c75·6465·a024·496e·6974·a023··'Prelude.$Init.# | ||
| 00000050:·436f·7140·9030·c7f5·9674·0295·790e·84d5··Coq@.0...t..y... | 00000050:·436f·7140·9030·c7f5·9674·0295·790e·84d5··Coq@.0...t..y... | ||
| 00000060:·17cb·ca0a·ceef·a0a0·2a73·7472·7563·7475··........*structu | 00000060:·17cb·ca0a·ceef·a0a0·2a73·7472·7563·7475··........*structu | ||
| 00000070:·7265·73a0·2248·4240·9030·bbd1·8a14·21a4··res."HB@.0....!. | 00000070:·7265·73a0·2248·4240·9030·bbd1·8a14·21a4··res."HB@.0....!. | ||
| Offset 28, 21 lines modified | Offset 28, 21 lines modified | ||
| 000001b0:·7970·65a0·2973·7372·6566·6c65·6374·a028··ype.)ssreflect.( | 000001b0:·7970·65a0·2973·7372·6566·6c65·6374·a028··ype.)ssreflect.( | ||
| 000001c0:·6d61·7468·636f·6d70·4090·3048·3696·d92a··mathcomp@.0H6..* | 000001c0:·6d61·7468·636f·6d70·4090·3048·3696·d92a··mathcomp@.0H6..* | ||
| 000001d0:·34f9·e271·584b·c758·84d7·3aa0·a025·6269··4..qXK.X..:..%bi | 000001d0:·34f9·e271·584b·c758·84d7·3aa0·a025·6269··4..qXK.X..:..%bi | ||
| 000001e0:·676f·70a0·2973·7372·6566·6c65·6374·a028··gop.)ssreflect.( | 000001e0:·676f·70a0·2973·7372·6566·6c65·6374·a028··gop.)ssreflect.( | ||
| 000001f0:·6d61·7468·636f·6d70·4090·307a·e7a1·734e··mathcomp@.0z..sN | 000001f0:·6d61·7468·636f·6d70·4090·307a·e7a1·734e··mathcomp@.0z..sN | ||
| 00000200:·a1f4·292e·cb00·ccdb·a9c8·d2a0·a023·6f72··..)..........#or | 00000200:·a1f4·292e·cb00·ccdb·a9c8·d2a0·a023·6f72··..)..........#or | ||
| 00000210:·64a0·2b65·7874·7275·6374·7572·6573·4090··d.+extructures@. | 00000210:·64a0·2b65·7874·7275·6374·7572·6573·4090··d.+extructures@. | ||
| 00000220:·30 | 00000220:·3058·adf6·5740·ee66·c784·b98f·d233·3cde··0X..W@.f.....3<. | ||
| 00000230:· | 00000230:·77a0·a024·6673·6574·a02b·6578·7472·7563··w..$fset.+extruc | ||
| 00000240:·7475·7265·7340·9030·a941·b62f·05e8·2b0c··tures@.0.A./..+. | |||
| 00000250:·85ff·6020·07c6·d4cf·2535·2e32·2e30·a040··..`·....%5.2.0.@ | |||
| 000002 | 00000240:·7475·7265·7340·9030·252e·e091·5156·a290··tures@.0%...QV.. | ||
| 00000250:·a19a·66ff·399f·5151·2535·2e32·2e30·a040··..f.9.QQ%5.2.0.@ | |||
| 00000260:·4094·1baf·1647·0b24·7400·d21e·a4aa·4198··@....G.$t.....A. | |||
| 00000270:· | 00000270:·6284·95a6·be00·02f6·6a00·00b4·f100·026b··b.......j......k | ||
| 00000280:·2 | 00000280:·2700·025e·05b0·d0a0·2466·6d61·70a0·2b65··'..^....$fmap.+e | ||
| 00000290:·7874·7275·6374·7572·6573·40e0·9004·0641··xtructures@....A | 00000290:·7874·7275·6374·7572·6573·40e0·9004·0641··xtructures@....A | ||
| 000002a0:·90a0·a024·464d·6170·93e0·a204·0804·0441··...$FMap.......A | 000002a0:·90a0·a024·464d·6170·93e0·a204·0804·0441··...$FMap.......A | ||
| 000002b0:·90a0·a029·666d·6170·5f74·7970·6591·0800··...)fmap_type... | 000002b0:·90a0·a029·666d·6170·5f74·7970·6591·0800··...)fmap_type... | ||
| 000002c0:·003f·0090·0800·0043·0004·05a0·a0a0·9021··.?.....C.......! | 000002c0:·003f·0090·0800·0043·0004·05a0·a0a0·9021··.?.....C.......! | ||
| 000002d0:·5340·9490·a0a0·a003·d8e0·cc1a·731a·a066··S@..........s..f | 000002d0:·5340·9490·a0a0·a003·d8e0·cc1a·731a·a066··S@..........s..f | ||
| 000002e0:·90b0·a004·21a0·0420·4020·0103·a140·40a0··....!..·@·...@@. | 000002e0:·90b0·a004·21a0·0420·4020·0103·a140·40a0··....!..·@·...@@. | ||
| 000002f0:·a0a0·9021·5440·9ba0·a090·b0a2·a290·a023··...!T@.........# | 000002f0:·a0a0·9021·5440·9ba0·a090·b0a2·a290·a023··...!T@.........# | ||
| Offset 4265, 15 lines modified | Offset 4265, 15 lines modified | ||
| 00010a80:·b005·0838·4105·1f29·c040·b005·083a·4105··...8A..).@...:A. | 00010a80:·b005·0838·4105·1f29·c040·b005·083a·4105··...8A..).@...:A. | ||
| 00010a90:·193a·c040·b005·04e2·4205·30d1·4041·4243··.:.@....B.0.@ABC | 00010a90:·193a·c040·b005·04e2·4205·30d1·4041·4243··.:.@....B.0.@ABC | ||
| 00010aa0:·44b0·0503·eb42·0530·d2c0·c040·b005·03b8··D....B.0...@.... | 00010aa0:·44b0·0503·eb42·0530·d2c0·c040·b005·03b8··D....B.0...@.... | ||
| 00010ab0:·4205·30d5·4041·b005·30d6·4205·04e7·c040··B.0.@A..0.B....@ | 00010ab0:·4205·30d5·4041·b005·30d6·4205·04e7·c040··B.0.@A..0.B....@ | ||
| 00010ac0:·b005·30d8·4205·03f1·c040·b005·30da·4205··..0.B....@..0.B. | 00010ac0:·b005·30d8·4205·03f1·c040·b005·30da·4205··..0.B....@..0.B. | ||
| 00010ad0:·03bd·c040·b005·1f38·4205·30dc·4041·4243··...@...8B.0.@ABC | 00010ad0:·03bd·c040·b005·1f38·4205·30dc·4041·4243··...@...8B.0.@ABC | ||
| 00010ae0:·4445·4647·4849·4a4b·4c90·a005·2eaa·9030··DEFGHIJKL......0 | 00010ae0:·4445·4647·4849·4a4b·4c90·a005·2eaa·9030··DEFGHIJKL......0 | ||
| 00010af0:· | 00010af0:·252e·e091·5156·a290·a19a·66ff·399f·5151··%...QV....f.9.QQ | ||
| 00010b00:·9040·a0a0·a005·30f9·a040·90a0·a005·29c6··.@....0..@....). | 00010b00:·9040·a0a0·a005·30f9·a040·90a0·a005·29c6··.@....0..@....). | ||
| 00010b10:·a040·90a0·95a0·021d·041a·fca0·40a0·a040··.@..........@..@ | 00010b10:·a040·90a0·95a0·021d·041a·fca0·40a0·a040··.@..........@..@ | ||
| 00010b20:·2a7b·2066·6d61·7020·5f20·7dc0·a0a0·4040··*{·fmap·_·}...@@ | 00010b20:·2a7b·2066·6d61·7020·5f20·7dc0·a0a0·4040··*{·fmap·_·}...@@ | ||
| 00010b30:·a040·40a0·b140·40a0·4140·4090·a0d0·a0a0··.@@..@@.A@@..... | 00010b30:·a040·40a0·b140·40a0·4140·4090·a0d0·a0a0··.@@..@@.A@@..... | ||
| 00010b40:·4040·0409·4004·0ea0·a0a0·4121·7ba0·a040··@@..@.....A!{..@ | 00010b40:·4040·0409·4004·0ea0·a0a0·4121·7ba0·a040··@@..@.....A!{..@ | ||
| 00010b50:·2466·6d61·70a0·a1a1·4004·1090·0530·fea0··$fmap...@....0.. | 00010b50:·2466·6d61·70a0·a1a1·4004·1090·0530·fea0··$fmap...@....0.. | ||
| 00010b60:·a041·217d·4040·a004·1640·4090·a040·a0a0··.A!}@@...@@..@.. | 00010b60:·a041·217d·4040·a004·1640·4090·a040·a0a0··.A!}@@...@@..@.. | ||
| Offset 4403, 15 lines modified | Offset 4403, 15 lines modified | ||
| 00011320:·3065·7874·7275·6374·7572·6573·2e66·6d61··0extructures.fma | 00011320:·3065·7874·7275·6374·7572·6573·2e66·6d61··0extructures.fma | ||
| 00011330:·7031·2e2f·7468·656f·7269·6573·2f66·6d61··p1./theories/fma | 00011330:·7031·2e2f·7468·656f·7269·6573·2f66·6d61··p1./theories/fma | ||
| 00011340:·702e·7601·154e·0115·9600·6201·154e·c040··p.v..N....b..N.@ | 00011340:·702e·7601·154e·0115·9600·6201·154e·c040··p.v..N....b..N.@ | ||
| 00011350:·4040·41b0·c391·402f·6c6f·6361·6c2d·6361··@@A...@/local-ca | 00011350:·4040·41b0·c391·402f·6c6f·6361·6c2d·6361··@@A...@/local-ca | ||
| 00011360:·6e6f·6e69·6361·6cb0·95a0·9105·2b2b·5804··nonical.....++X. | 00011360:·6e6f·6e69·6361·6cb0·95a0·9105·2b2b·5804··nonical.....++X. | ||
| 00011370:·0da0·2254·7990·9090·9028·636f·6e73·7461··.."Ty....(consta | 00011370:·0da0·2254·7990·9090·9028·636f·6e73·7461··.."Ty....(consta | ||
| 00011380:·6e74·4004·14a0·0407·9090·9040·4040·4040··nt@........@@@@@ | 00011380:·6e74·4004·14a0·0407·9090·9040·4040·4040··nt@........@@@@@ | ||
| 00011390:·293 | 00011390:·2933·3334·3138·3935·3335·e0d0·d0d0·d040··)334189535.....@ | ||
| 000113a0:·2540·6361·7374·a0b0·b490·a021·5422·6c70··%@cast.....!T"lp | 000113a0:·2540·6361·7374·a0b0·b490·a021·5422·6c70··%@cast.....!T"lp | ||
| 000113b0:·40b0·b490·a022·5459·0406·40b0·c391·4023··@...."TY..@...@# | 000113b0:·40b0·b490·a022·5459·0406·40b0·c391·4023··@...."TY..@...@# | ||
| 000113c0:·6c65·74b0·95a0·9024·6361·7374·53e0·4030··let....$castS.@0 | 000113c0:·6c65·74b0·95a0·9024·6361·7374·53e0·4030··let....$castS.@0 | ||
| 000113d0:·636f·712d·6275·696c·7469·6e2e·656c·7069··coq-builtin.elpi | 000113d0:·636f·712d·6275·696c·7469·6e2e·656c·7069··coq-builtin.elpi | ||
| 000113e0:·0124·e801·24ee·0100·e101·24cf·a004·2990··.$..$.....$...). | 000113e0:·0124·e801·24ee·0100·e101·24cf·a004·2990··.$..$.....$...). | ||
| 000113f0:·40a0·b0a1·9004·1704·12e0·4004·0801·24ef··@.........@...$. | 000113f0:·40a0·b0a1·9004·1704·12e0·4004·0801·24ef··@.........@...$. | ||
| 00011400:·0124·f101·00e1·0124·cfa0·0430·9040·a0b0··.$.....$...0.@.. | 00011400:·0124·f101·00e1·0124·cfa0·0430·9040·a0b0··.$.....$...0.@.. | ||
| Offset 9150, 32 lines modified | Offset 9150, 32 lines modified | ||
| 00023bd0:·58d0·4005·1708·a0a0·9040·a090·40a0·9041··X.@......@..@..A | 00023bd0:·58d0·4005·1708·a0a0·9040·a090·40a0·9041··X.@......@..@..A | ||
| 00023be0:·a090·4140·e040·0516·6901·01ac·0101·d54c··..A@.@..i......L | 00023be0:·a090·4140·e040·0516·6901·01ac·0101·d54c··..A@.@..i......L | ||
| 00023bf0:·0101·acd0·4005·1707·a0a0·9040·a090·41a0··....@......@..A. | 00023bf0:·0101·acd0·4005·1707·a0a0·9040·a090·41a0··....@......@..A. | ||
| 00023c00:·9041·40e0·4005·1672·0101·d701·0203·4d01··.A@.@..r......M. | 00023c00:·9041·40e0·4005·1672·0101·d701·0203·4d01··.A@.@..r......M. | ||
| 00023c10:·01d7·d040·0517·05a0·a090·40a0·9041·40e0··...@......@..A@. | 00023c10:·01d7·d040·0517·05a0·a090·40a0·9041·40e0··...@......@..A@. | ||
| 00023c20:·4005·1679·0102·2a01·0242·4f01·022a·4041··@..y..*..BO..*@A | 00023c20:·4005·1679·0102·2a01·0242·4f01·022a·4041··@..y..*..BO..*@A | ||
| 00023c30:·4243·4445·4647·4849·4b4c·0546·140c·0000··BCDEFGHIKL.F.... | 00023c30:·4243·4445·4647·4849·4b4c·0546·140c·0000··BCDEFGHIKL.F.... | ||
| 00023c40:·0000·00 | 00023c40:·0000·0080·e03e·4041·40a0·95a0·0234·7dc1··.....>@A@....4}. | ||
| 00023c50:·ffa0·275f·454c·5049·5f32·c0a0·2268·62a0··..'_ELPI_2.."hb. | 00023c50:·ffa0·275f·454c·5049·5f32·c0a0·2268·62a0··..'_ELPI_2.."hb. | ||
| 00023c60:·2264·6240·a0a0·b005·4628·2132·0236·1139··"db@....F(!2.6.9 | 00023c60:·2264·6240·a0a0·b005·4628·2132·0236·1139··"db@....F(!2.6.9 | ||
| 00023c70:·a8d0·0546·27d0·e040·4040·4040·0546·2640··...F'..@@@@@.F&@ | 00023c70:·a8d0·0546·27d0·e040·4040·4040·0546·2640··...F'..@@@@@.F&@ | ||
| 00023c80:·a0c0·0546·2505·4621·b0c3·9140·052a·19b0··...F%.F!...@.*.. | 00023c80:·a0c0·0546·2505·4621·b0c3·9140·052a·19b0··...F%.F!...@.*.. | ||
| 00023c90:·c391·4005·2cea·b0c3·9140·0529·73b0·95a0··..@.,....@.)s... | 00023c90:·c391·4005·2cea·b0c3·9140·0529·73b0·95a0··..@.,....@.)s... | ||
| 00023ca0:·0571·dc57·0546·31a0·0546·2490·9090·0529··.q.W.F1..F$....) | 00023ca0:·0571·dc57·0546·31a0·0546·2490·9090·0529··.q.W.F1..F$....) | ||
| 00023cb0:·7540·0546·35a0·0546·2890·9090·052c·f340··u@.F5..F(....,.@ | 00023cb0:·7540·0546·35a0·0546·2890·9090·052c·f340··u@.F5..F(....,.@ | ||
| 00023cc0:·0546·39a0·0546·2c90·9090·052a·29a0·b0c3··.F9..F,....*)... | 00023cc0:·0546·39a0·0546·2c90·9090·052a·29a0·b0c3··.F9..F,....*)... | ||
| 00023cd0:·9140·0529·86b0·95a0·0546·9857·0546·44a0··.@.).....F.W.FD. | 00023cd0:·9140·0529·86b0·95a0·0546·9857·0546·44a0··.@.).....F.W.FD. | ||
| 00023ce0:·0546·3790·9090·0529·8840·0546·48a0·0546··.F7....).@.FH..F | 00023ce0:·0546·3790·9090·0529·8840·0546·48a0·0546··.F7....).@.FH..F | ||
| 00023cf0:·3b90·9090·052a·35a0·b0c3·9140·053d·08b0··;....*5....@.=.. | 00023cf0:·3b90·9090·052a·35a0·b0c3·9140·053d·08b0··;....*5....@.=.. | ||
| 00023d00:·95a0·9105·7202·5805·4654·a005·4647·9090··....r.X.FT..FG.. | 00023d00:·95a0·9105·7202·5805·4654·a005·4647·9090··....r.X.FT..FG.. | ||
| 00023d10:·9005·3d0b·4005·4658·a005·464b·9090·9005··..=.@.FX..FK.... | 00023d10:·9005·3d0b·4005·4658·a005·464b·9090·9005··..=.@.FX..FK.... | ||
| 00023d20:·2a43·4005·465c·a005·464f·9090·9040·4040··*C@.F\..FO...@@@ | 00023d20:·2a43·4005·465c·a005·464f·9090·9040·4040··*C@.F\..FO...@@@ | ||
| 00023d30:·4040·2938·3 | 00023d30:·4040·2938·3732·3631·3331·3733·e005·4648··@@)872613173..FH | ||
| 00023d40:·0540·ea05·3f67·0517·2e05·169f·0546·650c··.@..?g.......Fe. | 00023d40:·0540·ea05·3f67·0517·2e05·169f·0546·650c··.@..?g.......Fe. | ||
| 00023d50:·0000·0000·00 | 00023d50:·0000·0000·0080·e93e·4041·40a0·95a0·021b··.......>@A@..... | ||
| 00023d60:·8322·9db0·9005·7200·40a0·0571·aea0·0571··."....r.@..q...q | 00023d60:·8322·9db0·9005·7200·40a0·0571·aea0·0571··."....r.@..q...q | ||
| 00023d70:·b2a0·0571·a640·a095·a002·320a·518f·a005··...q.@....2.Q... | 00023d70:·b2a0·0571·a640·a095·a002·320a·518f·a005··...q.@....2.Q... | ||
| 00023d80:·7207·b005·46f0·4040·a095·a002·0fc0·a2b8··r...F.@@........ | 00023d80:·7207·b005·46f0·4040·a095·a002·0fc0·a2b8··r...F.@@........ | ||
| 00023d90:·a090·e041·4040·4040·40a0·a091·0571·3fa0··...A@@@@@....q?. | 00023d90:·a090·e041·4040·4040·40a0·a091·0571·3fa0··...A@@@@@....q?. | ||
| 00023da0:·a040·a040·a040·4040·40a0·95a0·0227·60a0··.@.@.@@@@....'`. | 00023da0:·a040·a040·a040·4040·40a0·95a0·0227·60a0··.@.@.@@@@....'`. | ||
| 00023db0:·6fd0·4091·0571·48a0·40a0·4040·a090·9205··o.@..qH.@.@@.... | 00023db0:·6fd0·4091·0571·48a0·40a0·4040·a090·9205··o.@..qH.@.@@.... | ||
| 00023dc0:·7a1a·a090·9205·721a·40d0·d040·40a0·0548··z.....r.@..@@..H | 00023dc0:·7a1a·a090·9205·721a·40d0·d040·40a0·0548··z.....r.@..@@..H | ||
| Offset 9218, 334 lines modified | Offset 9218, 334 lines modified | ||
| 00024010:·495f·34c0·a022·6862·a022·6462·40a0·a0b0··I_4.."hb."db@... | 00024010:·495f·34c0·a022·6862·a022·6462·40a0·a0b0··I_4.."hb."db@... | ||
| 00024020:·0547·4521·3502·3611·39ab·d005·4744·d0e0··.GE!5.6.9...GD.. | 00024020:·0547·4521·3502·3611·39ab·d005·4744·d0e0··.GE!5.6.9...GD.. | ||
| 00024030:·4040·4040·4005·4743·40a0·c0e0·9005·4742··@@@@@.GC@.....GB | 00024030:·4040·4040·4005·4743·40a0·c0e0·9005·4742··@@@@@.GC@.....GB | ||
| 00024040:·312e·2f74·6865·6f72·6965·732f·666d·6170··1./theories/fmap | 00024040:·312e·2f74·6865·6f72·6965·732f·666d·6170··1./theories/fmap | ||
| 00024050:·2e76·0115·9701·15e4·0064·0115·9705·4741··.v.......d....GA | 00024050:·2e76·0115·9701·15e4·0064·0115·9705·4741··.v.......d....GA | ||
| 00024060:·b0c3·9140·0547·40b0·95a0·9105·6b34·5804··...@.G@.....k4X. | 00024060:·b0c3·9140·0547·40b0·95a0·9105·6b34·5804··...@.G@.....k4X. | ||
| 00024070:·0aa0·0547·3f90·9090·0547·3e40·040e·a005··...G?....G>@.... | 00024070:·0aa0·0547·3f90·9090·0547·3e40·040e·a005··...G?....G>@.... | ||
| 00024080:·4743·9090·9040·4040·4040·2 | 00024080:·4743·9090·9040·4040·4040·2737·3832·3830··GC...@@@@@'78280 | ||
| 00024090:·3 | 00024090:·3735·e005·473c·0541·de05·405b·0518·2205··75..G<.A..@[..". | ||
| 000240a0:· | 000240a0:·1793·0547·590c·0000·0000·0000·d93e·4041··...GY........>@A | ||
| 000240b0:·40 | 000240b0:·40a0·95a0·020b·7b4f·44a0·40a0·a005·71a8··@.....{OD.@...q. | ||
| 000240c0:·71a8·a091·0571·f440·40a0·95a0·0232·0a51··q....q.@@....2.Q | |||
| 000240d0:·8fa0·0571·e3b0·0547·e440·40a0·95a0·020f··...q...G.@@..... | |||
| 000240e0:·c0a2·b8a0·9004·f4a0·a091·90b0·0573·e905··.............s.. | |||
| 000240f0:·71ee·0239·ff33·b9a0·a040·a040·a040·4040··q..9.3...@.@.@@@ | |||
| 00024100:·40a0·95a0·0227·60a0·6fd0·4091·040b·a040··@....'`.o.@....@ | |||
| 00024110:·a040·40a0·9092·057b·0fa0·9092·0573·0f40··.@@....{.....s.@ | |||
| 00024120:·d0d0·4040·a005·496b·4040·4141·a005·4969··..@@..Ik@@AA..Ii | |||
| 00024130:·40d0·d040·0549·66a0·0549·6240·4041·0549··@..@.If..Ib@@A.I | |||
| 00024140:·5fa0·0549·5a40·d040·0549·57a0·0549·5640··_..IZ@.@.IW..IV@ | |||
| 00024150:·d040·0549·53a0·0549·4f40·4041·4243·44a0··.@.IS..IO@@ABCD. | |||
| 00024160:·95a0·0228·d188·5aa0·a091·0425·a090·b0a2··...(..Z....%.... | |||
| 00024170:·0579·ce05·7206·0556·3f02·0271·a2a8·4040··.y..r..V?..q..@@ | |||
| 00024180:·a095·a002·347d·c1ff·a027·5f45·4c50·495f··....4}...'_ELPI_ | |||
| 00024190:·35c0·a022·6862·a022·6462·40a0·a0b0·0547··5.."hb."db@....G | |||
| 000241a0:·ab21·3602·3611·39ac·d005·47aa·d0e0·4040··.!6.6.9...G...@@ | |||
| 000241b0:·4040·4005·47a9·40a0·c004·6605·47a4·b0c3··@@@.G.@...f.G... | |||
| 000241c0:·9140·0547·a3b0·95a0·9104·4358·046d·a005··.@.G......CX.m.. | |||
| 000241d0:·47a2·9090·9005·47a1·4004·71a0·0547·a690··G.....G.@.q..G.. | |||
| Max diff block lines reached; 2321869/2373891 bytes (97.81%) of diff not shown. | |||
| Offset 1, 8 lines modified | Offset 1, 8 lines modified | ||
| 00000000:·436f·7121·0001·4050·0000·0000·0004·176 | 00000000:·436f·7121·0001·4050·0000·0000·0004·1762··Coq!..@P.......b | ||
| 00000010:·8495·a6be·0000·028c·0000·007b·0000·01ad··...........{.... | 00000010:·8495·a6be·0000·028c·0000·007b·0000·01ad··...........{.... | ||
| 00000020:·0000·016e·c0a0·2566·7065·726d·a02b·6578··...n..%fperm.+ex | 00000020:·0000·016e·c0a0·2566·7065·726d·a02b·6578··...n..%fperm.+ex | ||
| 00000030:·7472·7563·7475·7265·7340·0800·003b·00a0··tructures@...;.. | 00000030:·7472·7563·7475·7265·7340·0800·003b·00a0··tructures@...;.. | ||
| 00000040:·a027·5072·656c·7564·65a0·2449·6e69·74a0··.'Prelude.$Init. | 00000040:·a027·5072·656c·7564·65a0·2449·6e69·74a0··.'Prelude.$Init. | ||
| 00000050:·2343·6f71·4090·30c7·f596·7402·9579·0e84··#Coq@.0...t..y.. | 00000050:·2343·6f71·4090·30c7·f596·7402·9579·0e84··#Coq@.0...t..y.. | ||
| 00000060:·d517·cbca·0ace·efa0·a02a·7374·7275·6374··.........*struct | 00000060:·d517·cbca·0ace·efa0·a02a·7374·7275·6374··.........*struct | ||
| 00000070:·7572·6573·a022·4842·4090·30bb·d18a·1421··ures."HB@.0....! | 00000070:·7572·6573·a022·4842·4090·30bb·d18a·1421··ures."HB@.0....! | ||
| Offset 28, 26 lines modified | Offset 28, 26 lines modified | ||
| 000001b0:·7479·7065·a029·7373·7265·666c·6563·74a0··type.)ssreflect. | 000001b0:·7479·7065·a029·7373·7265·666c·6563·74a0··type.)ssreflect. | ||
| 000001c0:·286d·6174·6863·6f6d·7040·9030·4836·96d9··(mathcomp@.0H6.. | 000001c0:·286d·6174·6863·6f6d·7040·9030·4836·96d9··(mathcomp@.0H6.. | ||
| 000001d0:·2a34·f9e2·7158·4bc7·5884·d73a·a0a0·2562··*4..qXK.X..:..%b | 000001d0:·2a34·f9e2·7158·4bc7·5884·d73a·a0a0·2562··*4..qXK.X..:..%b | ||
| 000001e0:·6967·6f70·a029·7373·7265·666c·6563·74a0··igop.)ssreflect. | 000001e0:·6967·6f70·a029·7373·7265·666c·6563·74a0··igop.)ssreflect. | ||
| 000001f0:·286d·6174·6863·6f6d·7040·9030·7ae7·a173··(mathcomp@.0z..s | 000001f0:·286d·6174·6863·6f6d·7040·9030·7ae7·a173··(mathcomp@.0z..s | ||
| 00000200:·4ea1·f429·2ecb·00cc·dba9·c8d2·a0a0·236f··N..)..........#o | 00000200:·4ea1·f429·2ecb·00cc·dba9·c8d2·a0a0·236f··N..)..........#o | ||
| 00000210:·7264·a02b·6578·7472·7563·7475·7265·7340··rd.+extructures@ | 00000210:·7264·a02b·6578·7472·7563·7475·7265·7340··rd.+extructures@ | ||
| 00000220:·9030· | 00000220:·9030·58ad·f657·40ee·66c7·84b9·8fd2·333c··.0X..W@.f.....3< | ||
| 00000230:· | 00000230:·de77·a0a0·2466·7365·74a0·2b65·7874·7275··.w..$fset.+extru | ||
| 00000240:·6374·7572·6573·4090·30 | 00000240:·6374·7572·6573·4090·3025·2ee0·9151·56a2··ctures@.0%...QV. | ||
| 00000250:· | 00000250:·90a1·9a66·ff39·9f51·51a0·a024·666d·6170··...f.9.QQ..$fmap | ||
| 00000260:·a02b·6578·7472·7563·7475·7265·7340·9030··.+extructures@.0 | 00000260:·a02b·6578·7472·7563·7475·7265·7340·9030··.+extructures@.0 | ||
| 00000270:· | 00000270:·0ead·bea8·54bc·2d0b·688f·3d50·7560·e852··....T.-.h.=Pu`.R | ||
| 00000280:·a0a0·2466·6675·6ea0·2b65·7874·7275·6374··..$ffun.+extruct | 00000280:·a0a0·2466·6675·6ea0·2b65·7874·7275·6374··..$ffun.+extruct | ||
| 00000290:·7572·6573·4090·30 | 00000290:·7572·6573·4090·303d·5116·30d6·6d6c·c4bb··ures@.0=Q.0.ml.. | ||
| 000002a0:·c | 000002a0:·c922·52f3·facb·b025·352e·322e·30a0·4040··."R....%5.2.0.@@ | ||
| 000002b0:· | 000002b0:·3c91·ef59·9134·abee·8b94·e5ce·1964·23eb··<..Y.4.......d#. | ||
| 000002c0:·8495·a6be·0002·552 | 000002c0:·8495·a6be·0002·5526·0000·8a48·0001·dd69··......U&...H...i | ||
| 000002d0:·0001·d07 | 000002d0:·0001·d07b·b0d0·a025·6670·6572·6da0·2b65··...{...%fperm.+e | ||
| 000002e0:·7874·7275·6374·7572·6573·40e0·9004·0641··xtructures@....A | 000002e0:·7874·7275·6374·7572·6573·40e0·9004·0641··xtructures@....A | ||
| 000002f0:·90a0·a025·4650·6572·6d93·e0a2·0408·0404··...%FPerm....... | 000002f0:·90a0·a025·4650·6572·6d93·e0a2·0408·0404··...%FPerm....... | ||
| 00000300:·4190·a0a0·2561·7869·6f6d·9008·0000·2700··A...%axiom....'. | 00000300:·4190·a0a0·2561·7869·6f6d·9008·0000·2700··A...%axiom....'. | ||
| 00000310:·40a0·8080·91b7·a090·2154·409b·a0a0·90b0··@.......!T@..... | 00000310:·40a0·8080·91b7·a090·2154·409b·a0a0·90b0··@.......!T@..... | ||
| 00000320:·a2a2·90a0·236f·7264·a004·2140·234f·7264··....#ord..!@#Ord | 00000320:·a2a2·90a0·236f·7264·a004·2140·234f·7264··....#ord..!@#Ord | ||
| 00000330:·0401·2474·7970·6502·16cf·5100·4004·13b7··..$type...Q.@... | 00000330:·0401·2474·7970·6502·16cf·5100·4004·13b7··..$type...Q.@... | ||
| 00000340:·a090·2166·40a9·9ba0·a090·b090·a024·6666··..!f@........$ff | 00000340:·a090·2166·40a9·9ba0·a090·b090·a024·6666··..!f@........$ff | ||
| Offset 2799, 16 lines modified | Offset 2799, 16 lines modified | ||
| 0000aee0:·0501·b041·0501·93c0·40b0·0501·b241·045b··...A....@....A.[ | 0000aee0:·0501·b041·0501·93c0·40b0·0501·b241·045b··...A....@....A.[ | ||
| 0000aef0:·4041·4243·b005·01a7·4105·0272·c0c0·40b0··@ABC....A..r..@. | 0000aef0:·4041·4243·b005·01a7·4105·0272·c0c0·40b0··@ABC....A..r..@. | ||
| 0000af00:·0501·aa41·0502·5bc0·40b0·0504·2c41·0501··...A..[.@...,A.. | 0000af00:·0501·aa41·0502·5bc0·40b0·0504·2c41·0501··...A..[.@...,A.. | ||
| 0000af10:·3340·4142·b005·042d·41a0·0300·0000·ac31··3@AB...-A......1 | 0000af10:·3340·4142·b005·042d·41a0·0300·0000·ac31··3@AB...-A......1 | ||
| 0000af20:·46b5·6490·b005·021c·0502·164a·c040·b005··F.d........J.@.. | 0000af20:·46b5·6490·b005·021c·0502·164a·c040·b005··F.d........J.@.. | ||
| 0000af30:·0432·41a0·0300·0000·ac31·4cb6·de90·b005··.2A......1L..... | 0000af30:·0432·41a0·0300·0000·ac31·4cb6·de90·b005··.2A......1L..... | ||
| 0000af40:·0221·0502·1b50·4041·4344·4546·4748·4990··.!...P@ACDEFGHI. | 0000af40:·0221·0502·1b50·4041·4344·4546·4748·4990··.!...P@ACDEFGHI. | ||
| 0000af50:·a005·1d89·9030· | 0000af50:·a005·1d89·9030·3d51·1630·d66d·6cc4·bbc9··.....0=Q.0.ml... | ||
| 0000af60:· | 0000af60:·2252·f3fa·cbb0·9040·a0a0·a005·1e31·a040··"R.....@.....1.@ | ||
| 0000af70:·90a0·a005·1e00·a040·90a0·95a0·021d·041a··.......@........ | 0000af70:·90a0·a005·1e00·a040·90a0·95a0·021d·041a··.......@........ | ||
| 0000af80:·fca0·40a0·a040·2b7b·2066·7065·726d·205f··..@..@+{·fperm·_ | 0000af80:·fca0·40a0·a040·2b7b·2066·7065·726d·205f··..@..@+{·fperm·_ | ||
| 0000af90:·207d·c0a0·a040·40a0·4040·a0b1·4040·a041···}...@@.@@..@@.A | 0000af90:·207d·c0a0·a040·40a0·4040·a0b1·4040·a041···}...@@.@@..@@.A | ||
| 0000afa0:·4040·90a0·d0a0·a040·4004·0940·040e·a0a0··@@.....@@..@.... | 0000afa0:·4040·90a0·d0a0·a040·4004·0940·040e·a0a0··@@.....@@..@.... | ||
| 0000afb0:·a041·217b·a0a0·4025·6670·6572·6da0·a1a1··.A!{..@%fperm... | 0000afb0:·a041·217b·a0a0·4025·6670·6572·6da0·a1a1··.A!{..@%fperm... | ||
| 0000afc0:·4004·1090·051e·46a0·a041·217d·4040·a004··@.....F..A!}@@.. | 0000afc0:·4004·1090·051e·46a0·a041·217d·4040·a004··@.....F..A!}@@.. | ||
| 0000afd0:·1640·4090·a040·a0a0·9404·11a0·9404·10a0··.@@..@.......... | 0000afd0:·1640·4090·a040·a0a0·9404·11a0·9404·10a0··.@@..@.......... | ||
| Offset 2945, 13826 lines modified | Offset 2945, 13826 lines modified | ||
| 0000b800:·9031·6578·7472·7563·7475·7265·732e·6670··.1extructures.fp | 0000b800:·9031·6578·7472·7563·7475·7265·732e·6670··.1extructures.fp | ||
| 0000b810:·6572·6d32·2e2f·7468·656f·7269·6573·2f66··erm2./theories/f | 0000b810:·6572·6d32·2e2f·7468·656f·7269·6573·2f66··erm2./theories/f | ||
| 0000b820:·7065·726d·2e76·0108·eb01·092c·7c01·08eb··perm.v.....,|... | 0000b820:·7065·726d·2e76·0108·eb01·092c·7c01·08eb··perm.v.....,|... | ||
| 0000b830:·c040·4040·41b0·c391·402f·6c6f·6361·6c2d··.@@@A...@/local- | 0000b830:·c040·4040·41b0·c391·402f·6c6f·6361·6c2d··.@@@A...@/local- | ||
| 0000b840:·6361·6e6f·6e69·6361·6cb0·95a0·9105·1855··canonical......U | 0000b840:·6361·6e6f·6e69·6361·6cb0·95a0·9105·1855··canonical......U | ||
| 0000b850:·5804·0da0·2254·7990·9090·9028·636f·6e73··X..."Ty....(cons | 0000b850:·5804·0da0·2254·7990·9090·9028·636f·6e73··X..."Ty....(cons | Diff chunk too large, falling back to line-by-line diff (6439 lines added, 6439 lines removed) | |
| 0000b860:·7461·6e74·4004·14a0·0407·9090·9040·4040··tant@........@@@ | 0000b860:·7461·6e74·4004·14a0·0407·9090·9040·4040··tant@........@@@ | ||
| 0000b870:·4040·2 | 0000b870:·4040·2937·3936·3037·3237·3033·e0d0·d0d0··@@)796072703.... | ||
| 0000b880:·d0 | 0000b880:·d040·2540·6361·7374·a0b0·b490·a021·5422··.@%@cast.....!T" | ||
| 0000b890:· | 0000b890:·6c70·40b0·b490·a022·5459·0406·40b0·c391··lp@...."TY..@... | ||
| 0000b8a0:· | 0000b8a0:·4023·6c65·74b0·95a0·9024·6361·7374·53e0··@#let....$castS. | ||
| 0000b8b0:· | 0000b8b0:·4030·636f·712d·6275·696c·7469·6e2e·656c··@0coq-builtin.el | ||
| 0000b8c0:· | 0000b8c0:·7069·0124·e801·24ee·0100·e101·24cf·a004··pi.$..$.....$... | ||
| 0000b8d0:· | 0000b8d0:·2990·40a0·b0a1·9004·1704·12e0·4004·0801··).@.........@... | ||
| 0000b8e0:· | 0000b8e0:·24ef·0124·f101·00e1·0124·cfa0·0430·9040··$..$.....$...0.@ | ||
| 0000b8f0:· | 0000b8f0:·a0b0·a190·041e·041f·e040·040f·0124·f201··.........@...$.. | ||
| 0000b900:· | 0000b900:·24f3·0100·e101·24cf·a004·3790·40a0·b0b4··$.....$...7.@... | ||
| 0000b910:· | 0000b910:·90a0·2178·0427·40b0·a190·042a·0404·e040··..!x.'@....*...@ | ||
| 0000b920:· | 0000b920:·041b·0124·f601·24f7·0100·e101·24cf·a004··...$..$.....$... | ||
| 0000b930:· | 0000b930:·4390·40e0·4004·1e01·24f4·0124·f701·00e1··C.@.@...$..$.... | ||
| 0000b940:· | 0000b940:·0124·cfa0·0446·9040·40e0·4004·2101·24e4··.$...F.@@.@.!.$. | ||
| 0000b950:· | 0000b950:·0124·f701·00e1·0124·cfa0·0449·9040·e040··.$.....$...I.@.@ | ||
| 0000b960:· | 0000b960:·0424·0124·dd01·24f7·0100·e101·24cf·a004··.$.$..$.....$... | ||
| 0000b970:· | 0000b970:·4c90·40e0·4004·2701·24db·0124·f701·00e1··L.@.@.'.$..$.... | ||
| 0000b980:· | 0000b980:·0124·cfa0·044f·9040·e040·042a·0124·cf01··.$...O.@.@.*.$.. | ||
| 0000b990:· | 0000b990:·24f8·0100·e101·24cf·d040·2a40·636f·6572··$.....$..@*@coer | ||
| 0000b9a0:· | 0000b9a0:·6369·6f6e·21a0·b0c3·9140·223a·3ab0·c391··cion!....@"::... | ||
| 0000b9b0:· | 0000b9b0:·4028·636f·6572·6369·6f6e·b0a1·9140·2a72··@(coercion...@*r | ||
| 0000b9c0:· | 0000b9c0:·6576·6572·7369·626c·65e0·4004·3a01·531a··eversible.@.:.S. | ||
| 0000b9d0:· | 0000b9d0:·0153·2401·01f2·0152·fca0·0462·9040·40e0··.S$....R...b.@@. | ||
| 0000b9e0:· | 0000b9e0:·4004·3d01·5311·0153·2401·01f2·0152·fca0··@.=.S..S$....R.. | ||
| 0000b9f0:· | 0000b9f0:·0465·9040·a0b0·a191·4022·5b5d·e040·0445··.e.@....@"[].@.E | ||
| 0000ba00:· | 0000ba00:·0153·2401·5325·0101·f201·52fc·a004·6d90··.S$.S%....R...m. | ||
| 0000ba10:· | 0000ba10:·4040·e040·0448·0153·1001·5325·0101·f201··@@.@.H.S..S%.... | ||
| 0000ba20:· | 0000ba20:·52fc·a004·7090·40e0·4004·4b01·52fc·0153··R...p.@.@.K.R..S | ||
| 0000ba30:· | 0000ba30:·2501·01f2·0152·fc40·4142·2c40·6465·7072··%....R.@AB,@depr | ||
| 0000ba40:· | 0000ba40:·6563·6174·6564·21a0·b0b4·90a0·2553·696e··ecated!.....%Sin | ||
| 0000ba50:·6 | 0000ba50:·6365·0462·40b0·b490·a023·4d73·6704·6740··ce.b@....#Msg.g@ | ||
| 0000ba60:· | 0000ba60:·b0c3·9140·2a67·6574·2d6f·7074·696f·6eb0··...@*get-option. | ||
| 0000ba70:· | 0000ba70:·95a0·2e63·6f71·3a64·6570·7265·6361·7465··...coq:deprecate | ||
| 0000ba80:·6 | 0000ba80:·6443·e040·0460·0152·8001·5290·0101·ed01··dC.@.`.R..R..... | ||
| 0000ba90:· | 0000ba90:·5273·a004·8890·40a0·b0c3·9140·2270·72b0··Rs....@....@"pr. | ||
| 0000baa0:· | 0000baa0:·a190·047a·0419·e040·046b·0152·9501·529a··...z...@.k.R..R. | ||
| 0000bab0:· | 0000bab0:·0101·ed01·5273·a004·9390·40a0·b0a1·9004··....Rs....@..... | ||
| 0000bac0:· | 0000bac0:·8104·1be0·4004·7201·529b·0152·9e01·01ed··....@.r.R..R.... | ||
| 0000bad0:· | 0000bad0:·0152·73a0·049a·9040·40e0·4004·7501·5292··.Rs....@@.@.u.R. | ||
| 0000bae0:· | 0000bae0:·0152·9e01·01ed·0152·73a0·049d·9040·40e0··.R.....Rs....@@. | ||
| 0000baf0:· | 0000baf0:·4004·7801·5275·0152·9f01·01ed·0152·73a0··@.x.Ru.R.....Rs. | ||
| 0000bb00:· | 0000bb00:·04a0·9040·e040·047b·0152·6c01·529f·0101··...@.@.{.Rl.R... | ||
| 0000bb10:· | 0000bb10:·ed01·5273·a004·a390·40e0·4004·7e01·5266··..Rs....@.@.~.Rf | ||
| 0000bb20:· | 0000bb20:·0152·9f01·01ed·0152·73a0·04a6·9040·e040··.R.....Rs....@.@ | ||
| 0000bb30:· | 0000bb30:·0481·0152·5301·529f·0101·ec01·5253·d040··...RS.R.....RS.@ | ||
| 0000bb40:· | 0000bb40:·2b40·6472·6f70·756e·6976·7321·a0b0·c391··+@dropunivs!.... | ||
| 0000bb50:· | 0000bb50:·4004·2db0·95a0·2d63·6f71·3a6b·6565·7075··@.-...-coq:keepu | ||
| 0000bb60:· | 0000bb60:·6e69·7673·43e0·4004·8c01·50c2·0150·d101··nivsC.@...P..P.. | ||
| 0000bb70:·01 | 0000bb70:·01e2·0150·a2a0·04b4·9040·a0b0·a191·4022··...P.....@....@" | ||
| 0000bb80:· | 0000bb80:·6666·e040·0494·0150·d201·50d4·0101·e201··ff.@...P..P..... | ||
| 0000bb90:· | 0000bb90:·50a2·a004·bc90·4040·e040·0497·0150·b701··P.....@@.@...P.. | ||
| 0000bba0:· | 0000bba0:·50d4·0101·e201·50a2·a004·bf90·40e0·4004··P.....P.....@.@. | ||
| 0000bbb0:· | 0000bbb0:·9a01·50a2·0150·d401·01e2·0150·a240·4143··..P..P.....P.@AC | ||
| 0000bbc0:· | 0000bbc0:·2840·676c·6f62·616c·21a0·b0c3·9140·0445··(@global!....@.E | ||
| 0000bbd0:· | 0000bbd0:·b095·a02c·636f·713a·6c6f·6361·6c69·7479··...,coq:locality | ||
| 0000bbe0:· | 0000bbe0:·43e0·4004·a401·1805·0118·1301·0095·0117··C.@............. | ||
| 0000bbf0:· | 0000bbf0:·e6a0·04cc·9040·a0b0·95a0·2667·6c6f·6261··.....@....&globa | ||
| 0000bc00:·6 | 0000bc00:·6c43·e040·04ac·0118·1401·181c·0100·9501··lC.@............ | ||
| 0000bc10:· | 0000bc10:·17e6·a004·d490·4040·e040·04af·0117·fa01··......@@.@...... | ||
| 0000bc20:· | 0000bc20:·181c·0100·9501·17e6·a004·d790·40e0·4004··............@.@. | ||
| 0000bc30:· | 0000bc30:·b201·17e6·0118·1c01·0095·0117·e6d0·d0d0··................ | ||
| 0000bc40:· | 0000bc40:·4027·4068·6f6c·6573·21a0·b0c3·9140·0460··@'@holes!....@.` | ||
| 0000bc50:· | 0000bc50:·b095·a02a·484f·4153·3a68·6f6c·6573·43e0··...*HOAS:holesC. | ||
| 0000bc60:· | 0000bc60:·4004·bf01·33ad·0133·b901·0143·0133·91a0··@...3..3...C.3.. | ||
| 0000bc70:· | 0000bc70:·04e7·9040·a0b0·a191·4022·7474·e040·04c7··...@....@"tt.@.. | ||
| 0000bc80:· | 0000bc80:·0133·ba01·33bc·0101·4301·3391·a004·ef90··.3..3...C.3..... | ||
| Max diff block lines reached; 1017729/1911300 bytes (53.25%) of diff not shown. | |||
| Offset 1, 8 lines modified | Offset 1, 8 lines modified | ||
| 00000000:·436f·7121·0001·4050·0000·0000·0006·056 | 00000000:·436f·7121·0001·4050·0000·0000·0006·0569··Coq!..@P.......i | ||
| 00000010:·8495·a6be·0000·0216·0000·0066·0000·0162··...........f...b | 00000010:·8495·a6be·0000·0216·0000·0066·0000·0162··...........f...b | ||
| 00000020:·0000·012f·c0a0·2466·7365·74a0·2b65·7874··.../..$fset.+ext | 00000020:·0000·012f·c0a0·2466·7365·74a0·2b65·7874··.../..$fset.+ext | ||
| 00000030:·7275·6374·7572·6573·4008·0000·2f00·a0a0··ructures@.../... | 00000030:·7275·6374·7572·6573·4008·0000·2f00·a0a0··ructures@.../... | ||
| 00000040:·2750·7265·6c75·6465·a024·496e·6974·a023··'Prelude.$Init.# | 00000040:·2750·7265·6c75·6465·a024·496e·6974·a023··'Prelude.$Init.# | ||
| 00000050:·436f·7140·9030·c7f5·9674·0295·790e·84d5··Coq@.0...t..y... | 00000050:·436f·7140·9030·c7f5·9674·0295·790e·84d5··Coq@.0...t..y... | ||
| 00000060:·17cb·ca0a·ceef·a0a0·2a73·7472·7563·7475··........*structu | 00000060:·17cb·ca0a·ceef·a0a0·2a73·7472·7563·7475··........*structu | ||
| 00000070:·7265·73a0·2248·4240·9030·bbd1·8a14·21a4··res."HB@.0....!. | 00000070:·7265·73a0·2248·4240·9030·bbd1·8a14·21a4··res."HB@.0....!. | ||
| Offset 28, 18 lines modified | Offset 28, 18 lines modified | ||
| 000001b0:·7970·65a0·2973·7372·6566·6c65·6374·a028··ype.)ssreflect.( | 000001b0:·7970·65a0·2973·7372·6566·6c65·6374·a028··ype.)ssreflect.( | ||
| 000001c0:·6d61·7468·636f·6d70·4090·3048·3696·d92a··mathcomp@.0H6..* | 000001c0:·6d61·7468·636f·6d70·4090·3048·3696·d92a··mathcomp@.0H6..* | ||
| 000001d0:·34f9·e271·584b·c758·84d7·3aa0·a025·6269··4..qXK.X..:..%bi | 000001d0:·34f9·e271·584b·c758·84d7·3aa0·a025·6269··4..qXK.X..:..%bi | ||
| 000001e0:·676f·70a0·2973·7372·6566·6c65·6374·a028··gop.)ssreflect.( | 000001e0:·676f·70a0·2973·7372·6566·6c65·6374·a028··gop.)ssreflect.( | ||
| 000001f0:·6d61·7468·636f·6d70·4090·307a·e7a1·734e··mathcomp@.0z..sN | 000001f0:·6d61·7468·636f·6d70·4090·307a·e7a1·734e··mathcomp@.0z..sN | ||
| 00000200:·a1f4·292e·cb00·ccdb·a9c8·d2a0·a023·6f72··..)..........#or | 00000200:·a1f4·292e·cb00·ccdb·a9c8·d2a0·a023·6f72··..)..........#or | ||
| 00000210:·64a0·2b65·7874·7275·6374·7572·6573·4090··d.+extructures@. | 00000210:·64a0·2b65·7874·7275·6374·7572·6573·4090··d.+extructures@. | ||
| 00000220:·300f·3eae·20b2·80c8·c05a·6ce4·883a·ee34··0.>.·....Zl..:.4 | |||
| 00000230:·1525·352e·322e·30a0·4040·833d·ec7f·4abd··.%5.2.0.@@.=..J. | |||
| 000002 | 00000220:·3058·adf6·5740·ee66·c784·b98f·d233·3cde··0X..W@.f.....3<. | ||
| 00000230:·7725·352e·322e·30a0·4040·6c97·728e·145e··w%5.2.0.@@l.r..^ | |||
| 00000240:·5d4e·652e·1120·fa6f·9a19·8495·a6be·0003··]Ne..·.o........ | |||
| 00000250:·80 | 00000250:·80b3·0000·d77b·0002·e244·0002·d3be·b0d0··.....{...D...... | ||
| 00000260:·a024·6673·6574·a02b·6578·7472·7563·7475··.$fset.+extructu | 00000260:·a024·6673·6574·a02b·6578·7472·7563·7475··.$fset.+extructu | ||
| 00000270:·7265·7340·e090·0406·4190·a0a0·2446·5365··res@....A...$FSe | 00000270:·7265·7340·e090·0406·4190·a0a0·2446·5365··res@....A...$FSe | ||
| 00000280:·7493·e0a2·0408·0404·4190·a0a0·2966·7365··t.......A...)fse | 00000280:·7493·e0a2·0408·0404·4190·a0a0·2966·7365··t.......A...)fse | ||
| 00000290:·745f·7479·7065·9108·0000·3f00·9008·0000··t_type....?..... | 00000290:·745f·7479·7065·9108·0000·3f00·9008·0000··t_type....?..... | ||
| 000002a0:·4300·0405·a0a0·a090·2154·409b·a0a0·90b0··C.......!T@..... | 000002a0:·4300·0405·a0a0·a090·2154·409b·a0a0·90b0··C.......!T@..... | ||
| 000002b0:·a2a2·90a0·236f·7264·a004·2240·234f·7264··....#ord.."@#Ord | 000002b0:·a2a2·90a0·236f·7264·a004·2240·234f·7264··....#ord.."@#Ord | ||
| 000002c0:·0401·2474·7970·6502·16cf·5100·40a0·8080··..$type...Q.@... | 000002c0:·0401·2474·7970·6502·16cf·5100·40a0·8080··..$type...Q.@... | ||
| Offset 4669, 16 lines modified | Offset 4669, 16 lines modified | ||
| 000123c0:·c0c0·40b0·0505·d041·0464·4041·b005·05d1··..@....A.d@A.... | 000123c0:·c0c0·40b0·0505·d041·0464·4041·b005·05d1··..@....A.d@A.... | ||
| 000123d0:·4104·5ec0·c040·b005·05d4·41a0·0301·f84b··A.^..@....A....K | 000123d0:·4104·5ec0·c040·b005·05d4·41a0·0301·f84b··A.^..@....A....K | ||
| 000123e0:·1248·ff4d·d490·b005·01ee·0501·eb01·143c··.H.M...........< | 000123e0:·1248·ff4d·d490·b005·01ee·0501·eb01·143c··.H.M...........< | ||
| 000123f0:·4041·b005·0523·4105·0290·4042·43b0·0505··@A...#A...@BC... | 000123f0:·4041·b005·0523·4105·0290·4042·43b0·0505··@A...#A...@BC... | ||
| 00012400:·2441·0501·f3c0·40b0·0505·2641·0501·edc0··$A....@...&A.... | 00012400:·2441·0501·f3c0·40b0·0505·2641·0501·edc0··$A....@...&A.... | ||
| 00012410:·40b0·0505·2841·0501·e6c0·40b0·0501·f141··@...(A....@....A | 00012410:·40b0·0505·2841·0501·e6c0·40b0·0501·f141··@...(A....@....A | ||
| 00012420:·0502·9740·4142·4344·4547·4849·4a90·a005··...@ABCDEGHIJ... | 00012420:·0502·9740·4142·4344·4547·4849·4a90·a005··...@ABCDEGHIJ... | ||
| 00012430:·3233·9030· | 00012430:·3233·9030·58ad·f657·40ee·66c7·84b9·8fd2··23.0X..W@.f..... | ||
| 00012440:·3 | 00012440:·333c·de77·9040·a0a0·a005·33bc·a040·90a0··3<.w.@....3..@.. | ||
| 00012450:·a005·2cde·a040·90a0·95a0·021d·041a·fca0··..,..@.......... | 00012450:·a005·2cde·a040·90a0·95a0·021d·041a·fca0··..,..@.......... | ||
| 00012460:·40a0·a040·2a7b·2066·7365·7420·5f20·7dc0··@..@*{·fset·_·}. | 00012460:·40a0·a040·2a7b·2066·7365·7420·5f20·7dc0··@..@*{·fset·_·}. | ||
| 00012470:·a0a0·4040·a040·40a0·b140·40a0·4140·4090··..@@.@@..@@.A@@. | 00012470:·a0a0·4040·a040·40a0·b140·40a0·4140·4090··..@@.@@..@@.A@@. | ||
| 00012480:·a0d0·a0a0·4040·0409·4004·0ea0·a0a0·4121··....@@..@.....A! | 00012480:·a0d0·a0a0·4040·0409·4004·0ea0·a0a0·4121··....@@..@.....A! | ||
| 00012490:·7ba0·a040·2466·7365·74a0·a1a1·4004·1090··{..@$fset...@... | 00012490:·7ba0·a040·2466·7365·74a0·a1a1·4004·1090··{..@$fset...@... | ||
| 000124a0:·0533·d0a0·a041·217d·4040·a004·1640·4090··.3...A!}@@...@@. | 000124a0:·0533·d0a0·a041·217d·4040·a004·1640·4090··.3...A!}@@...@@. | ||
| 000124b0:·a040·a0a0·9404·11a0·9404·10a0·9421·20a0··.@...........!·. | 000124b0:·a040·a0a0·9404·11a0·9404·10a0·9421·20a0··.@...........!·. | ||
| Offset 5103, 15 lines modified | Offset 5103, 15 lines modified | ||
| 00013ee0:·3065·7874·7275·6374·7572·6573·2e66·7365··0extructures.fse | 00013ee0:·3065·7874·7275·6374·7572·6573·2e66·7365··0extructures.fse | ||
| 00013ef0:·7431·2e2f·7468·656f·7269·6573·2f66·7365··t1./theories/fse | 00013ef0:·7431·2e2f·7468·656f·7269·6573·2f66·7365··t1./theories/fse | ||
| 00013f00:·742e·7601·0f9f·010f·df00·5601·0f9f·c040··t.v.......V....@ | 00013f00:·742e·7601·0f9f·010f·df00·5601·0f9f·c040··t.v.......V....@ | ||
| 00013f10:·4040·41b0·c391·402f·6c6f·6361·6c2d·6361··@@A...@/local-ca | 00013f10:·4040·41b0·c391·402f·6c6f·6361·6c2d·6361··@@A...@/local-ca | ||
| 00013f20:·6e6f·6e69·6361·6cb0·95a0·9105·3663·5804··nonical.....6cX. | 00013f20:·6e6f·6e69·6361·6cb0·95a0·9105·3663·5804··nonical.....6cX. | ||
| 00013f30:·0da0·2254·7990·9090·9028·636f·6e73·7461··.."Ty....(consta | 00013f30:·0da0·2254·7990·9090·9028·636f·6e73·7461··.."Ty....(consta | ||
| 00013f40:·6e74·4004·14a0·0407·9090·9040·4040·4040··nt@........@@@@@ | 00013f40:·6e74·4004·14a0·0407·9090·9040·4040·4040··nt@........@@@@@ | ||
| 00013f50:·293 | 00013f50:·2939·3539·3133·3539·3339·e0d0·d0d0·d040··)959135939.....@ | ||
| 00013f60:·2540·6361·7374·a0b0·b490·a021·5422·6c70··%@cast.....!T"lp | 00013f60:·2540·6361·7374·a0b0·b490·a021·5422·6c70··%@cast.....!T"lp | ||
| 00013f70:·40b0·b490·a022·5459·0406·40b0·c391·4023··@...."TY..@...@# | 00013f70:·40b0·b490·a022·5459·0406·40b0·c391·4023··@...."TY..@...@# | ||
| 00013f80:·6c65·74b0·95a0·9024·6361·7374·53e0·4030··let....$castS.@0 | 00013f80:·6c65·74b0·95a0·9024·6361·7374·53e0·4030··let....$castS.@0 | ||
| 00013f90:·636f·712d·6275·696c·7469·6e2e·656c·7069··coq-builtin.elpi | 00013f90:·636f·712d·6275·696c·7469·6e2e·656c·7069··coq-builtin.elpi | ||
| 00013fa0:·0124·e801·24ee·0100·e101·24cf·a004·2990··.$..$.....$...). | 00013fa0:·0124·e801·24ee·0100·e101·24cf·a004·2990··.$..$.....$...). | ||
| 00013fb0:·40a0·b0a1·9004·1704·12e0·4004·0801·24ef··@.........@...$. | 00013fb0:·40a0·b0a1·9004·1704·12e0·4004·0801·24ef··@.........@...$. | ||
| 00013fc0:·0124·f101·00e1·0124·cfa0·0430·9040·a0b0··.$.....$...0.@.. | 00013fc0:·0124·f101·00e1·0124·cfa0·0430·9040·a0b0··.$.....$...0.@.. | ||
| Offset 9850, 30 lines modified | Offset 9850, 30 lines modified | ||
| 00026790:·58d0·4005·1708·a0a0·9040·a090·40a0·9041··X.@......@..@..A | 00026790:·58d0·4005·1708·a0a0·9040·a090·40a0·9041··X.@......@..@..A | ||
| 000267a0:·a090·4140·e040·0516·6901·01ac·0101·d54c··..A@.@..i......L | 000267a0:·a090·4140·e040·0516·6901·01ac·0101·d54c··..A@.@..i......L | ||
| 000267b0:·0101·acd0·4005·1707·a0a0·9040·a090·41a0··....@......@..A. | 000267b0:·0101·acd0·4005·1707·a0a0·9040·a090·41a0··....@......@..A. | ||
| 000267c0:·9041·40e0·4005·1672·0101·d701·0203·4d01··.A@.@..r......M. | 000267c0:·9041·40e0·4005·1672·0101·d701·0203·4d01··.A@.@..r......M. | ||
| 000267d0:·01d7·d040·0517·05a0·a090·40a0·9041·40e0··...@......@..A@. | 000267d0:·01d7·d040·0517·05a0·a090·40a0·9041·40e0··...@......@..A@. | ||
| 000267e0:·4005·1679·0102·2a01·0242·4f01·022a·4041··@..y..*..BO..*@A | 000267e0:·4005·1679·0102·2a01·0242·4f01·022a·4041··@..y..*..BO..*@A | ||
| 000267f0:·4243·4445·4647·4849·4b4c·0546·140c·0000··BCDEFGHIKL.F.... | 000267f0:·4243·4445·4647·4849·4b4c·0546·140c·0000··BCDEFGHIKL.F.... | ||
| 00026800:·0000·0000· | 00026800:·0000·0000·e33e·4041·40a0·95a0·0234·7dc1··.....>@A@....4}. | ||
| 00026810:·ffa0·275f·454c·5049·5f32·c0a0·2268·62a0··..'_ELPI_2.."hb. | 00026810:·ffa0·275f·454c·5049·5f32·c0a0·2268·62a0··..'_ELPI_2.."hb. | ||
| 00026820:·2264·6240·a0a0·b005·776f·2132·0233·d6c2··"db@....wo!2.3.. | 00026820:·2264·6240·a0a0·b005·776f·2132·0233·d6c2··"db@....wo!2.3.. | ||
| 00026830:·34d0·0546·27d0·e040·4040·4040·0546·2640··4..F'..@@@@@.F&@ | 00026830:·34d0·0546·27d0·e040·4040·4040·0546·2640··4..F'..@@@@@.F&@ | ||
| 00026840:·a0c0·0546·2505·4621·b0c3·9140·052a·19b0··...F%.F!...@.*.. | 00026840:·a0c0·0546·2505·4621·b0c3·9140·052a·19b0··...F%.F!...@.*.. | ||
| 00026850:·c391·4005·2cea·b0c3·9140·0529·73b0·95a0··..@.,....@.)s... | 00026850:·c391·4005·2cea·b0c3·9140·0529·73b0·95a0··..@.,....@.)s... | ||
| 00026860:·057d·9f57·0546·31a0·0546·2490·9090·0529··.}.W.F1..F$....) | 00026860:·057d·9f57·0546·31a0·0546·2490·9090·0529··.}.W.F1..F$....) | ||
| 00026870:·7540·0546·35a0·0546·2890·9090·052c·f340··u@.F5..F(....,.@ | 00026870:·7540·0546·35a0·0546·2890·9090·052c·f340··u@.F5..F(....,.@ | ||
| 00026880:·0546·39a0·0546·2c90·9090·052a·29a0·b0c3··.F9..F,....*)... | 00026880:·0546·39a0·0546·2c90·9090·052a·29a0·b0c3··.F9..F,....*)... | ||
| 00026890:·9140·0529·86b0·95a0·0546·9257·0546·44a0··.@.).....F.W.FD. | 00026890:·9140·0529·86b0·95a0·0546·9257·0546·44a0··.@.).....F.W.FD. | ||
| 000268a0:·0546·3790·9090·0529·8840·0546·48a0·0546··.F7....).@.FH..F | 000268a0:·0546·3790·9090·0529·8840·0546·48a0·0546··.F7....).@.FH..F | ||
| 000268b0:·3b90·9090·052a·35a0·b0c3·9140·053d·08b0··;....*5....@.=.. | 000268b0:·3b90·9090·052a·35a0·b0c3·9140·053d·08b0··;....*5....@.=.. | ||
| 000268c0:·95a0·9105·7d07·5805·4654·a005·4647·9090··....}.X.FT..FG.. | 000268c0:·95a0·9105·7d07·5805·4654·a005·4647·9090··....}.X.FT..FG.. | ||
| 000268d0:·9005·3d0b·4005·4658·a005·464b·9090·9005··..=.@.FX..FK.... | 000268d0:·9005·3d0b·4005·4658·a005·464b·9090·9005··..=.@.FX..FK.... | ||
| 000268e0:·2a43·4005·465c·a005·464f·9090·9040·4040··*C@.F\..FO...@@@ | 000268e0:·2a43·4005·465c·a005·464f·9090·9040·4040··*C@.F\..FO...@@@ | ||
| 000268f0:·4040·293 | 000268f0:·4040·2936·3739·3234·3239·3235·e005·4648··@@)679242925..FH | ||
| 00026900:·0540·ea05·3f67·0517·2e05·169f·0546·650c··.@..?g.......Fe. | 00026900:·0540·ea05·3f67·0517·2e05·169f·0546·650c··.@..?g.......Fe. | ||
| 00026910:·0000·0000·0080·e03e·4041·40a0·95a0·021b··.......>@A@..... | 00026910:·0000·0000·0080·e03e·4041·40a0·95a0·021b··.......>@A@..... | ||
| 00026920:·8322·9db0·9005·7d08·40a0·057c·dba0·057c··."....}.@..|...| | 00026920:·8322·9db0·9005·7d08·40a0·057c·dba0·057c··."....}.@..|...| | ||
| 00026930:·dfa0·057c·d540·a095·a002·320a·518f·a005··...|.@....2.Q... | 00026930:·dfa0·057c·d540·a095·a002·320a·518f·a005··...|.@....2.Q... | ||
| 00026940:·7d0f·b005·46e5·4040·a095·a002·0fc0·a2b8··}...F.@@........ | 00026940:·7d0f·b005·46e5·4040·a095·a002·0fc0·a2b8··}...F.@@........ | ||
| 00026950:·a090·0547·84a0·a091·057c·89a0·a040·a040··...G.....|...@.@ | 00026950:·a090·0547·84a0·a091·057c·89a0·a040·a040··...G.....|...@.@ | ||
| 00026960:·4040·40a0·95a0·0227·60a0·6fd0·4091·057c··@@@....'`.o.@..| | 00026960:·4040·40a0·95a0·0227·60a0·6fd0·4091·057c··@@@....'`.o.@..| | ||
| Offset 9916, 17 lines modified | Offset 9916, 17 lines modified | ||
| 00026bb0:·2264·6240·a0a0·b005·7877·2135·0233·d6c2··"db@....xw!5.3.. | 00026bb0:·2264·6240·a0a0·b005·7877·2135·0233·d6c2··"db@....xw!5.3.. | ||
| 00026bc0:·37d0·0547·2fd0·e040·4040·4040·0547·2e40··7..G/..@@@@@.G.@ | 00026bc0:·37d0·0547·2fd0·e040·4040·4040·0547·2e40··7..G/..@@@@@.G.@ | ||
| 00026bd0:·a0c0·e090·0547·2d31·2e2f·7468·656f·7269··.....G-1./theori | 00026bd0:·a0c0·e090·0547·2d31·2e2f·7468·656f·7269··.....G-1./theori | ||
| 00026be0:·6573·2f66·7365·742e·7601·0fe0·0110·1c00··es/fset.v....... | 00026be0:·6573·2f66·7365·742e·7601·0fe0·0110·1c00··es/fset.v....... | ||
| 00026bf0:·5701·0fe0·0547·2cb0·c391·4005·472b·b095··W....G,...@.G+.. | 00026bf0:·5701·0fe0·0547·2cb0·c391·4005·472b·b095··W....G,...@.G+.. | ||
| 00026c00:·a091·0578·6f58·040a·a005·472a·9090·9005··...xoX....G*.... | 00026c00:·a091·0578·6f58·040a·a005·472a·9090·9005··...xoX....G*.... | ||
| 00026c10:·4729·4004·0ea0·0547·2e90·9090·4040·4040··G)@....G....@@@@ | 00026c10:·4729·4004·0ea0·0547·2e90·9090·4040·4040··G)@....G....@@@@ | ||
| 00026c20:·4029·3 | 00026c20:·4029·3935·3635·3936·3233·34e0·0547·2705··@)956596234..G'. | ||
| 00026c30:·41c9·0540·4605·180d·0517·7e05·4744·0c00··A..@F.....~.GD.. | 00026c30:·41c9·0540·4605·180d·0517·7e05·4744·0c00··A..@F.....~.GD.. | ||
| 00026c40:·0000·0000·00 | 00026c40:·0000·0000·00d1·3e40·4140·a095·a002·0b7b··......>@A@.....{ | ||
| 00026c50:·4f44·a040·a0a0·057c·d5a0·9105·7d26·4040··OD.@...|....}&@@ | 00026c50:·4f44·a040·a0a0·057c·d5a0·9105·7d26·4040··OD.@...|....}&@@ | ||
| 00026c60:·a095·a002·0b7b·4f44·a040·a0a0·057c·e8a0··.....{OD.@...|.. | 00026c60:·a095·a002·0b7b·4f44·a040·a0a0·057c·e8a0··.....{OD.@...|.. | ||
| 00026c70:·9105·7e05·4040·a095·a002·320a·518f·a005··..~.@@....2.Q... | 00026c70:·9105·7e05·4040·a095·a002·320a·518f·a005··..~.@@....2.Q... | ||
| 00026c80:·7d1e·b005·47cc·4040·a095·a002·0fc0·a2b8··}...G.@@........ | 00026c80:·7d1e·b005·47cc·4040·a095·a002·0fc0·a2b8··}...G.@@........ | ||
| 00026c90:·a090·0548·6ba0·a091·90b0·057e·ee05·7d29··...Hk......~..}) | 00026c90:·a090·0548·6ba0·a091·90b0·057e·ee05·7d29··...Hk......~..}) | ||
| 00026ca0:·023d·b5ae·5da0·a040·a040·4040·40a0·95a0··.=..]..@.@@@@... | 00026ca0:·023d·b5ae·5da0·a040·a040·4040·40a0·95a0··.=..]..@.@@@@... | ||
| 00026cb0:·0227·60a0·6fd0·4091·040a·a040·40a0·9092··.'`.o.@....@@... | 00026cb0:·0227·60a0·6fd0·4091·040a·a040·40a0·9092··.'`.o.@....@@... | ||
| Offset 9938, 141 lines modified | Offset 9938, 141 lines modified | ||
| 00026d10:·a090·b0a2·0584·a605·7d3d·0560·7702·0271··........}=.`w..q | 00026d10:·a090·b0a2·0584·a605·7d3d·0560·7702·0271··........}=.`w..q | ||
| 00026d20:·a2a8·4040·a095·a002·347d·c1ff·a027·5f45··..@@....4}...'_E | 00026d20:·a2a8·4040·a095·a002·347d·c1ff·a027·5f45··..@@....4}...'_E | ||
| 00026d30:·4c50·495f·35c0·a022·6862·a022·6462·40a0··LPI_5.."hb."db@. | 00026d30:·4c50·495f·35c0·a022·6862·a022·6462·40a0··LPI_5.."hb."db@. | ||
| 00026d40:·a0b0·0578·e021·3602·33d6·c238·d005·4798··...x.!6.3..8..G. | 00026d40:·a0b0·0578·e021·3602·33d6·c238·d005·4798··...x.!6.3..8..G. | ||
| 00026d50:·d0e0·4040·4040·4005·4797·40a0·c004·6905··..@@@@@.G.@...i. | 00026d50:·d0e0·4040·4040·4005·4797·40a0·c004·6905··..@@@@@.G.@...i. | ||
| 00026d60:·4792·b0c3·9140·0547·91b0·95a0·9104·3e58··G....@.G......>X | 00026d60:·4792·b0c3·9140·0547·91b0·95a0·9104·3e58··G....@.G......>X | ||
| 00026d70:·0470·a005·4790·9090·9005·478f·4004·74a0··.p..G.....G.@.t. | 00026d70:·0470·a005·4790·9090·9005·478f·4004·74a0··.p..G.....G.@.t. | ||
| 00026d80:·0547·9490·9090·4040·4040·402 | 00026d80:·0547·9490·9090·4040·4040·402a·3130·3631··.G....@@@@@*1061 | ||
| 00026d90:·3 | 00026d90:·3735·3433·3830·e005·478d·0542·2f05·40ac··754380..G..B/.@. | ||
| 00026da0:·1873 | 00026da0:·0518·7305·17e4·0547·aa0c·0000·0000·0000··..s....G........ | ||
| 00026db0:·3e40·4140·a095·a002·347d·c1ff·a027·5f45··>@A@....4}...'_E | |||
| 00026dc0:·4c50·495f·36c0·a022·6862·a022·6462·40a0··LPI_6.."hb."db@. | |||
| 00026d | 00026db0:·d03e·4041·40a0·95a0·0234·7dc1·ffa0·275f··.>@A@....4}...'_ | ||
| 00026dc0:·454c·5049·5f36·c0a0·2268·62a0·2264·6240··ELPI_6.."hb."db@ | |||
| 00026dd0:·a0a0·b005·7905·2137·0233·d6c2·39d0·0547··....y.!7.3..9..G | |||
| Max diff block lines reached; 2005254/2031494 bytes (98.71%) of diff not shown. | |||
| Offset 1, 8 lines modified | Offset 1, 8 lines modified | ||
| 00000000:·436f·7121·0001·4050·0000·0000·0008·62 | 00000000:·436f·7121·0001·4050·0000·0000·0008·6286··Coq!..@P......b. | ||
| 00000010:·8495·a6be·0000·026f·0000·0075·0000·019b··.......o...u.... | 00000010:·8495·a6be·0000·026f·0000·0075·0000·019b··.......o...u.... | ||
| 00000020:·0000·015f·c0a0·236f·7264·a02b·6578·7472··..._..#ord.+extr | 00000020:·0000·015f·c0a0·236f·7264·a02b·6578·7472··..._..#ord.+extr | ||
| 00000030:·7563·7475·7265·7340·0800·0037·00a0·a027··uctures@...7...' | 00000030:·7563·7475·7265·7340·0800·0037·00a0·a027··uctures@...7...' | ||
| 00000040:·5072·656c·7564·65a0·2449·6e69·74a0·2343··Prelude.$Init.#C | 00000040:·5072·656c·7564·65a0·2449·6e69·74a0·2343··Prelude.$Init.#C | ||
| 00000050:·6f71·4090·30c7·f596·7402·9579·0e84·d517··oq@.0...t..y.... | 00000050:·6f71·4090·30c7·f596·7402·9579·0e84·d517··oq@.0...t..y.... | ||
| 00000060:·cbca·0ace·efa0·a02a·7374·7275·6374·7572··.......*structur | 00000060:·cbca·0ace·efa0·a02a·7374·7275·6374·7572··.......*structur | ||
| 00000070:·6573·a022·4842·4090·30bb·d18a·1421·a48f··es."HB@.0....!.. | 00000070:·6573·a022·4842·4090·30bb·d18a·1421·a48f··es."HB@.0....!.. | ||
| Offset 36, 16 lines modified | Offset 36, 16 lines modified | ||
| 00000230:·6d70·4090·307d·543b·de0c·ca24·b1fa·865a··mp@.0}T;...$...Z | 00000230:·6d70·4090·307d·543b·de0c·ca24·b1fa·865a··mp@.0}T;...$...Z | ||
| 00000240:·10df·b151·00a0·a024·6261·7365·a028·6465··...Q...$base.(de | 00000240:·10df·b151·00a0·a024·6261·7365·a028·6465··...Q...$base.(de | ||
| 00000250:·7269·7669·6e67·4090·3064·92cf·6861·785b··riving@.0d..hax[ | 00000250:·7269·7669·6e67·4090·3064·92cf·6861·785b··riving@.0d..hax[ | ||
| 00000260:·ad5b·e307·488e·5755·92a0·a028·6465·7269··.[..H.WU...(deri | 00000260:·ad5b·e307·488e·5755·92a0·a028·6465·7269··.[..H.WU...(deri | ||
| 00000270:·7669·6e67·a004·0240·9030·f84a·6984·ad0c··ving...@.0.Ji... | 00000270:·7669·6e67·a004·0240·9030·f84a·6984·ad0c··ving...@.0.Ji... | ||
| 00000280:·bc19·7f8d·5c12·77d3·612a·2535·2e32·2e30··....\.w.a*%5.2.0 | 00000280:·bc19·7f8d·5c12·77d3·612a·2535·2e32·2e30··....\.w.a*%5.2.0 | ||
| 00000290:·a040·4064·5bd6·479a·82b3·c8fe·fab9·213c··.@@d[.G.......!< | 00000290:·a040·4064·5bd6·479a·82b3·c8fe·fab9·213c··.@@d[.G.......!< | ||
| 000002a0:·5f4b·3784·95a6·be00·0486· | 000002a0:·5f4b·3784·95a6·be00·0486·8a00·0117·9700··_K7............. | ||
| 000002b0:·03af·7 | 000002b0:·03af·7900·039e·cfb0·d0a0·236f·7264·a02b··..y.......#ord.+ | ||
| 000002c0:·6578·7472·7563·7475·7265·7340·e090·0406··extructures@.... | 000002c0:·6578·7472·7563·7475·7265·7340·e090·0406··extructures@.... | ||
| 000002d0:·4190·a0a0·2668·6173·4f72·6493·e0a2·0408··A...&hasOrd..... | 000002d0:·4190·a0a0·2668·6173·4f72·6493·e0a2·0408··A...&hasOrd..... | ||
| 000002e0:·0404·4190·a0a0·2761·7869·6f6d·735f·9108··..A...'axioms_.. | 000002e0:·0404·4190·a0a0·2761·7869·6f6d·735f·9108··..A...'axioms_.. | ||
| 000002f0:·0000·3f00·9008·0000·4300·0405·a0a0·a090··..?.....C....... | 000002f0:·0000·3f00·9008·0000·4300·0405·a0a0·a090··..?.....C....... | ||
| 00000300:·2154·4094·90a0·a0a0·03d8·e0cc·0fc6·d2e0··!T@............. | 00000300:·2154·4094·90a0·a0a0·03d8·e0cc·0fc6·d2e0··!T@............. | ||
| 00000310:·0e90·b0a0·0421·a004·2040·2001·02d2·4040··.....!..·@·...@@ | 00000310:·0e90·b0a0·0421·a004·2040·2001·02d2·4040··.....!..·@·...@@ | ||
| 00000320:·4090·a0b6·a004·1040·040e·9490·a0a0·a003··@......@........ | 00000320:·4090·a0b6·a004·1040·040e·9490·a0a0·a003··@......@........ | ||
| Offset 6152, 15 lines modified | Offset 6152, 15 lines modified | ||
| 00018070:·6f72·6430·2e2f·7468·656f·7269·6573·2f6f··ord0./theories/o | 00018070:·6f72·6430·2e2f·7468·656f·7269·6573·2f6f··ord0./theories/o | ||
| 00018080:·7264·2e76·010c·4801·0ce7·7601·0c48·c040··rd.v..H...v..H.@ | 00018080:·7264·2e76·010c·4801·0ce7·7601·0c48·c040··rd.v..H...v..H.@ | ||
| 00018090:·4040·41b0·c391·4030·6d6f·6475·6c65·2d74··@@A...@0module-t | 00018090:·4040·41b0·c391·4030·6d6f·6475·6c65·2d74··@@A...@0module-t | ||
| 000180a0:·6f2d·6578·706f·7274·b095·a004·0943·040c··o-export.....C.. | 000180a0:·6f2d·6578·706f·7274·b095·a004·0943·040c··o-export.....C.. | ||
| 000180b0:·a022·5479·9090·9090·2673·7472·696e·67a0··."Ty....&string. | 000180b0:·a022·5479·9090·9090·2673·7472·696e·67a0··."Ty....&string. | ||
| 000180c0:·b095·a004·2e5b·0417·a004·0b90·9090·9027··.....[.........' | 000180c0:·b095·a004·2e5b·0417·a004·0b90·9090·9027··.....[.........' | ||
| 000180d0:·6d6f·6470·6174·6840·041d·a004·1190·9090··modpath@........ | 000180d0:·6d6f·6470·6174·6840·041d·a004·1190·9090··modpath@........ | ||
| 000180e0:·4040·4040·4029·3 | 000180e0:·4040·4040·4029·3430·3539·3134·3530·38e0··@@@@@)405914508. | ||
| 000180f0:·d040·2840·676c·6f62·616c·21a0·b0c3·9140··.@(@global!....@ | 000180f0:·d040·2840·676c·6f62·616c·21a0·b0c3·9140··.@(@global!....@ | ||
| 00018100:·2a67·6574·2d6f·7074·696f·6eb0·95a0·2c63··*get-option...,c | 00018100:·2a67·6574·2d6f·7074·696f·6eb0·95a0·2c63··*get-option...,c | ||
| 00018110:·6f71·3a6c·6f63·616c·6974·7943·e040·3863··oq:localityC.@8c | 00018110:·6f71·3a6c·6f63·616c·6974·7943·e040·3863··oq:localityC.@8c | ||
| 00018120:·6f71·2d62·7569·6c74·696e·2d73·796e·7465··oq-builtin-synte | 00018120:·6f71·2d62·7569·6c74·696e·2d73·796e·7465··oq-builtin-synte | ||
| 00018130:·7270·2e65·6c70·6901·1b0d·011b·1b01·00b0··rp.elpi......... | 00018130:·7270·2e65·6c70·6901·1b0d·011b·1b01·00b0··rp.elpi......... | ||
| 00018140:·011a·eea0·0424·9040·a0b0·95a0·2667·6c6f··.....$.@....&glo | 00018140:·011a·eea0·0424·9040·a0b0·95a0·2667·6c6f··.....$.@....&glo | ||
| 00018150:·6261·6c43·e040·0409·011b·1c01·1b24·0100··balC.@.......$.. | 00018150:·6261·6c43·e040·0409·011b·1c01·1b24·0100··balC.@.......$.. | ||
| Offset 8204, 40 lines modified | Offset 8204, 40 lines modified | ||
| 000200b0:·0090·4901·0087·4041·050b·67a0·a090·40a0··..I...@A..g...@. | 000200b0:·0090·4901·0087·4041·050b·67a0·a090·40a0··..I...@A..g...@. | ||
| 000200c0:·9041·40e0·4005·2080·016f·ff01·703c·0100··.A@.@.·..o..p<.. | 000200c0:·9041·40e0·4005·2080·016f·ff01·703c·0100··.A@.@.·..o..p<.. | ||
| 000200d0:·c001·6fff·d040·050b·66a0·a090·40a0·9040··..o..@..f...@..@ | 000200d0:·c001·6fff·d040·050b·66a0·a090·40a0·9040··..o..@..f...@..@ | ||
| 000200e0:·a090·40a0·9041·a090·4140·e040·0520·8d01··..@..A..A@.@.·.. | 000200e0:·a090·40a0·9041·a090·4140·e040·0520·8d01··..@..A..A@.@.·.. | ||
| 000200f0:·6f33·016f·b801·00bc·016f·33d0·4005·0b40··o3.o.....o3.@..@ | 000200f0:·6f33·016f·b801·00bc·016f·33d0·4005·0b40··o3.o.....o3.@..@ | ||
| 00020100:·a040·e040·0521·0601·0860·0108·6a00·4201··.@.@.!...`..j.B. | 00020100:·a040·e040·0521·0601·0860·0108·6a00·4201··.@.@.!...`..j.B. | ||
| 00020110:·0860·4041·4243·4445·4647·4849·4a05·2138··.`@ABCDEFGHIJ.!8 | 00020110:·0860·4041·4243·4445·4647·4849·4a05·2138··.`@ABCDEFGHIJ.!8 | ||
| 00020120:·0c00·0000·0000· | 00020120:·0c00·0000·0000·00e3·3e40·4140·a0a0·0564··........>@A@...d | ||
| 00020130:·10a0·4090·a0a0·0564·14a0·4090·a0a0·0564··..@....d..@....d | 00020130:·10a0·4090·a0a0·0564·14a0·4090·a0a0·0564··..@....d..@....d | ||
| 00020140:·22a0·4090·4040·a094·a0a0·40a2·a205·60d1··".@.@@....@...`. | 00020140:·22a0·4090·4040·a094·a0a0·40a2·a205·60d1··".@.@@....@...`. | ||
| 00020150:·0564·2005·642a·40a0·a005·6128·a040·9040··.d·.d*@...a(.@.@ | 00020150:·0564·2005·642a·40a0·a005·6128·a040·9040··.d·.d*@...a(.@.@ | ||
| 00020160:·a094·a0a0·40a2·0560·da05·612f·40a0·95a0··....@..`..a/@... | 00020160:·a094·a0a0·40a2·0560·da05·612f·40a0·95a0··....@..`..a/@... | ||
| 00020170:·021b·9b7f·79a0·275f·454c·5049·5f32·c0a0··....y.'_ELPI_2.. | 00020170:·021b·9b7f·79a0·275f·454c·5049·5f32·c0a0··....y.'_ELPI_2.. | ||
| 00020180:·2665·7870·6f72·74a0·2264·6240·a0a0·b005··&export."db@.... | 00020180:·2665·7870·6f72·74a0·2264·6240·a0a0·b005··&export."db@.... | ||
| 00020190:·60e7·2132·020b·9dc2·aed0·0521·66d0·e040··`.!2.......!f..@ | 00020190:·60e7·2132·020b·9dc2·aed0·0521·66d0·e040··`.!2.......!f..@ | ||
| 000201a0:·4040·4040·0521·6540·a0c0·e090·0521·6430··@@@@.!e@.....!d0 | 000201a0:·4040·4040·0521·6540·a0c0·e090·0521·6430··@@@@.!e@.....!d0 | ||
| 000201b0:·2e2f·7468·656f·7269·6573·2f6f·7264·2e76··./theories/ord.v | 000201b0:·2e2f·7468·656f·7269·6573·2f6f·7264·2e76··./theories/ord.v | ||
| 000201c0:·010c·f601·0d49·0040·010c·f605·2163·b0c3··.....I.@....!c.. | 000201c0:·010c·f601·0d49·0040·010c·f605·2163·b0c3··.....I.@....!c.. | ||
| 000201d0:·9140·0521·62b0·9505·2161·0408·a005·2160··.@.!b...!a....!` | 000201d0:·9140·0521·62b0·9505·2161·0408·a005·2160··.@.!b...!a....!` | ||
| 000201e0:·9090·9005·215f·a0b0·95a0·042e·5b04·10a0··....!_......[... | 000201e0:·9090·9005·215f·a0b0·95a0·042e·5b04·10a0··....!_......[... | ||
| 000201f0:·0521·6890·9090·0521·5d40·0414·a005·216c··.!h....!]@....!l | 000201f0:·0521·6890·9090·0521·5d40·0414·a005·216c··.!h....!]@....!l | ||
| 00020200:·9090·9040·4040·4040·293 | 00020200:·9090·9040·4040·4040·2935·3236·3237·3438··...@@@@@)5262748 | ||
| 00020210:·3 | 00020210:·3232·e005·215b·0521·2905·205c·050b·6b05··22..![.!).·\..k. | ||
| 00020220:·0b5e·0521·810c·0000·0000·0000·d53e·4041··.^.!.........>@A | 00020220:·0b5e·0521·810c·0000·0000·0000·d53e·4041··.^.!.........>@A | ||
| 00020230:·40a0·95a0·021b·9b7f·79a0·275f·454c·5049··@.......y.'_ELPI | 00020230:·40a0·95a0·021b·9b7f·79a0·275f·454c·5049··@.......y.'_ELPI | ||
| 00020240:·5f33·c0a0·2665·7870·6f72·74a0·2264·6240··_3..&export."db@ | 00020240:·5f33·c0a0·2665·7870·6f72·74a0·2264·6240··_3..&export."db@ | ||
| 00020250:·a0a0·b005·6115·2133·020b·9dc2·afd0·0521··....a.!3.......! | 00020250:·a0a0·b005·6115·2133·020b·9dc2·afd0·0521··....a.!3.......! | ||
| 00020260:·94d0·e040·4040·4040·0521·9340·a0c0·042e··...@@@@@.!.@.... | 00020260:·94d0·e040·4040·4040·0521·9340·a0c0·042e··...@@@@@.!.@.... | ||
| 00020270:·0521·8eb0·c391·4005·218d·b095·0521·8c04··.!....@.!....!.. | 00020270:·0521·8eb0·c391·4005·218d·b095·0521·8c04··.!....@.!....!.. | ||
| 00020280:·33a0·0521·8b90·9090·0521·8aa0·b095·a004··3..!.....!...... | 00020280:·33a0·0521·8b90·9090·0521·8aa0·b095·a004··3..!.....!...... | ||
| 00020290:·4f5b·043b·a005·2193·9090·9005·2188·4004··O[.;..!.....!.@. | 00020290:·4f5b·043b·a005·2193·9090·9005·2188·4004··O[.;..!.....!.@. | ||
| 000202a0:·3fa0·0521·9790·9090·4040·4040·4029·3 | 000202a0:·3fa0·0521·9790·9090·4040·4040·4029·3138··?..!....@@@@@)18 | ||
| 000202b0:·373 | 000202b0:·3738·3338·3032·31e0·0521·8605·2154·0520··7838021..!..!T.· | ||
| 000202c0:·8705·0b96·050b·8905·21ac·0c00·0000·0000··........!....... | 000202c0:·8705·0b96·050b·8905·21ac·0c00·0000·0000··........!....... | ||
| 000202d0:·00c0·3e40·4140·a095·a002·1d04·1afc·a040··..>@A@.........@ | 000202d0:·00c0·3e40·4140·a095·a002·1d04·1afc·a040··..>@A@.........@ | ||
| 000202e0:·a0a0·4026·5f20·3c3d·205f·c0a0·a040·0046··..@&_·<=·_...@.F | 000202e0:·a0a0·4026·5f20·3c3d·205f·c0a0·a040·0046··..@&_·<=·_...@.F | ||
| 000202f0:·a090·0046·a090·0046·40a0·b140·40a0·9000··...F...F@..@@... | 000202f0:·a090·0046·a090·0046·40a0·b140·40a0·9000··...F...F@..@@... | ||
| 00020300:·46a0·4090·40a0·b140·40a0·9000·46a0·4104··F.@.@..@@...F.A. | 00020300:·46a0·4090·40a0·b140·40a0·9000·46a0·4104··F.@.@..@@...F.A. | ||
| 00020310:·0640·90a0·d0a0·a040·0046·0414·40a0·4026··.@.....@.F..@.@& | 00020310:·0640·90a0·d0a0·a040·0046·0414·40a0·4026··.@.....@.F..@.@& | ||
| 00020320:·5f20·3c3d·205f·a0a0·a1a1·4004·1490·2178··_·<=·_....@...!x | 00020320:·5f20·3c3d·205f·a0a0·a1a1·4004·1490·2178··_·<=·_....@...!x | ||
| Offset 8647, 15 lines modified | Offset 8647, 15 lines modified | ||
| 00021c60:·7240·0413·a005·2a57·9090·9090·2467·7265··r@....*W....$gre | 00021c60:·7240·0413·a005·2a57·9090·9090·2467·7265··r@....*W....$gre | ||
| 00021c70:·66a0·b0c3·9140·2563·6f6e·7374·b095·a091··f....@%const.... | 00021c70:·66a0·b0c3·9140·2563·6f6e·7374·b095·a091··f....@%const.... | ||
| 00021c80:·0562·9758·0422·a005·2a66·9090·9090·0527··.b.X."..*f.....' | 00021c80:·0562·9758·0422·a005·2a66·9090·9090·0527··.b.X."..*f.....' | ||
| 00021c90:·8d40·0427·a005·2a6b·9090·9090·0414·a0b0··.@.'..*k........ | 00021c90:·8d40·0427·a005·2a6b·9090·9090·0414·a0b0··.@.'..*k........ | ||
| 00021ca0:·95a0·b005·2a97·04b7·020d·738a·c45a·0431··....*.....s..Z.1 | 00021ca0:·95a0·b005·2a97·04b7·020d·738a·c45a·0431··....*.....s..Z.1 | ||
| 00021cb0:·a005·2a75·9090·9090·2c61·6262·7265·7669··..*u....,abbrevi | 00021cb0:·a005·2a75·9090·9090·2c61·6262·7265·7669··..*u....,abbrevi | ||
| 00021cc0:·6174·696f·6e40·0437·a005·2a7b·9090·9040··ation@.7..*{...@ | 00021cc0:·6174·696f·6e40·0437·a005·2a7b·9090·9040··ation@.7..*{...@ | ||
| 00021cd0:·4040·4040·293 | 00021cd0:·4040·4040·2936·3138·3132·3737·3331·e0d0··@@@@)618127731.. | ||
| 00021ce0:·d0d0·d040·2540·6361·7374·a0b0·b490·a021··...@%@cast.....! | 00021ce0:·d0d0·d040·2540·6361·7374·a0b0·b490·a021··...@%@cast.....! | ||
| 00021cf0:·5422·6c70·40b0·b490·a022·5459·0406·40b0··T"lp@...."TY..@. | 00021cf0:·5422·6c70·40b0·b490·a022·5459·0406·40b0··T"lp@...."TY..@. | ||
| 00021d00:·c391·4023·6c65·74b0·95a0·9005·64a7·53e0··..@#let.....d.S. | 00021d00:·c391·4023·6c65·74b0·95a0·9005·64a7·53e0··..@#let.....d.S. | ||
| 00021d10:·4030·636f·712d·6275·696c·7469·6e2e·656c··@0coq-builtin.el | 00021d10:·4030·636f·712d·6275·696c·7469·6e2e·656c··@0coq-builtin.el | ||
| 00021d20:·7069·0124·e801·24ee·0100·e101·24cf·a005··pi.$..$.....$... | 00021d20:·7069·0124·e801·24ee·0100·e101·24cf·a005··pi.$..$.....$... | ||
| 00021d30:·2a9c·9040·a0b0·a190·0416·0411·e040·0408··*..@.........@.. | 00021d30:·2a9c·9040·a0b0·a190·0416·0411·e040·0408··*..@.........@.. | ||
| 00021d40:·0124·ef01·24f1·0100·e101·24cf·a005·2aa3··.$..$.....$...*. | 00021d40:·0124·ef01·24f1·0100·e101·24cf·a005·2aa3··.$..$.....$...*. | ||
| Offset 13095, 45 lines modified | Offset 13095, 45 lines modified | ||
| 00033260:·0543·ae01·0558·0105·6267·0105·58d0·4005··.C...X..bg..X.@. | 00033260:·0543·ae01·0558·0105·6267·0105·58d0·4005··.C...X..bg..X.@. | ||
| 00033270:·1707·a0a0·9040·a090·40a0·9041·a090·4140··.....@..@..A..A@ | 00033270:·1707·a0a0·9040·a090·40a0·9041·a090·4140··.....@..@..A..A@ | ||
| 00033280:·e040·0516·6901·01ac·0101·d54c·0101·acd0··.@..i......L.... | 00033280:·e040·0516·6901·01ac·0101·d54c·0101·acd0··.@..i......L.... | ||
| 00033290:·4005·1706·a0a0·9040·a090·41a0·9041·40e0··@......@..A..A@. | 00033290:·4005·1706·a0a0·9040·a090·41a0·9041·40e0··@......@..A..A@. | ||
| 000332a0:·4005·1672·0101·d701·0203·4d01·01d7·d040··@..r......M....@ | 000332a0:·4005·1672·0101·d701·0203·4d01·01d7·d040··@..r......M....@ | ||
| 000332b0:·0517·04a0·a090·40a0·9041·40e0·4005·1679··......@..A@.@..y | 000332b0:·0517·04a0·a090·40a0·9041·40e0·4005·1679··......@..A@.@..y | ||
| 000332c0:·0102·2a01·0242·4f01·022a·4041·4243·4445··..*..BO..*@ABCDE | 000332c0:·0102·2a01·0242·4f01·022a·4041·4243·4445··..*..BO..*@ABCDE | ||
| 000332d0:·4647·4849·4b4c·0544·230c·0000·0000·00 | 000332d0:·4647·4849·4b4c·0544·230c·0000·0000·00c0··FGHIKL.D#....... | ||
| 000332e0:· | 000332e0:·f03e·a0a0·b005·6e8b·054d·1602·3e38·e1b0··.>....n..M..>8.. | ||
| 000332f0:·d005·6e7b·d0e0·4040·4040·4005·442a·40a0··..n{..@@@@@.D*@. | 000332f0:·d005·6e7b·d0e0·4040·4040·4005·442a·40a0··..n{..@@@@@.D*@. | ||
| 00033300:·c005·4429·056e·75b0·c391·4005·2a88·b095··..D).nu...@.*... | 00033300:·c005·4429·056e·75b0·c391·4005·2a88·b095··..D).nu...@.*... | ||
| 00033310:·0544·0e05·442e·a005·6e72·9090·9005·2a89··.D..D...nr....*. | 00033310:·0544·0e05·442e·a005·6e72·9090·9005·2a89··.D..D...nr....*. | ||
| 00033320:·a0b0·95a0·4042·0544·36a0·056e·7a90·9090··....@B.D6..nz... | 00033320:·a0b0·95a0·4042·0544·36a0·056e·7a90·9090··....@B.D6..nz... | ||
| 00033330:·052a·8f40·0544·3aa0·056e·7e90·9090·4040··.*.@.D:..n~...@@ | 00033330:·052a·8f40·0544·3aa0·056e·7e90·9090·4040··.*.@.D:..n~...@@ | ||
| 00033340:·4040·4029·3 | 00033340:·4040·4029·3631·3831·3237·3733·31e0·0544··@@@)618127731..D | ||
| 00033350:·0305·3ebe·053d·7005·16fd·0516·6e05·4443··..>..=p.....n.DC | 00033350:·0305·3ebe·053d·7005·16fd·0516·6e05·4443··..>..=p.....n.DC | ||
| 00033360:·0c00·0000·0000·00 | 00033360:·0c00·0000·0000·00d1·3ea0·a0b0·056e·ab05··........>....n.. | ||
| 00033370:·4d08·023e·38e1·b1d0·056e·9bd0·e040·4040··M..>8....n...@@@ | 00033370:·4d08·023e·38e1·b1d0·056e·9bd0·e040·4040··M..>8....n...@@@ | ||
| 00033380:·4040·0544·4a40·a0c0·0544·4905·6e95·b0c3··@@.DJ@...DI.n... | 00033380:·4040·0544·4a40·a0c0·0544·4905·6e95·b0c3··@@.DJ@...DI.n... | ||
| 00033390:·9140·052a·96b0·c391·4005·2856·b095·a005··.@.*....@.(V.... | 00033390:·9140·052a·96b0·c391·4005·2856·b095·a005··.@.*....@.(V.... | ||
| 000333a0:·b0f8·5705·4452·a005·6e96·9090·9005·2858··..W.DR..n.....(X | 000333a0:·b0f8·5705·4452·a005·6e96·9090·9005·2858··..W.DR..n.....(X | ||
| 000333b0:·4005·4456·a005·6e9a·9090·9005·2a9f·a0b0··@.DV..n.....*... | 000333b0:·4005·4456·a005·6e9a·9090·9005·2a9f·a0b0··@.DV..n.....*... | ||
| 000333c0:·9504·2805·445d·a005·6ea1·9090·9005·2aa4··..(.D]..n.....*. | 000333c0:·9504·2805·445d·a005·6ea1·9090·9005·2aa4··..(.D]..n.....*. | ||
| 000333d0:·4005·4461·a005·6ea5·9090·9040·4040·4040··@.Da..n....@@@@@ | 000333d0:·4005·4461·a005·6ea5·9090·9040·4040·4040··@.Da..n....@@@@@ | ||
| 000333e0:·293 | 000333e0:·2936·3138·3132·3737·3331·e005·442a·053e··)618127731..D*.> | ||
| 000333f0:·e505·3d97·0517·2405·1695·0544·6a0c·0000··..=...$....Dj... | 000333f0:·e505·3d97·0517·2405·1695·0544·6a0c·0000··..=...$....Dj... | ||
| 00033400:·0000·0000· | 00033400:·0000·0000·ca3e·a0a0·b005·6ed2·2134·023e··.....>....n.!4.> | ||
| 00033410:·38e1·b2d0·056e·c3d0·e040·4040·4040·0544··8....n...@@@@@.D | 00033410:·38e1·b2d0·056e·c3d0·e040·4040·4040·0544··8....n...@@@@@.D | ||
| Max diff block lines reached; 2886964/2896689 bytes (99.66%) of diff not shown. | |||
| Offset 1, 1 lines modified | Offset 1, 1 lines modified | ||
| 1 | 1 | r7pf5 | |