| Offset 1, 2 lines modified | Offset 1, 2 lines modified | ||
| 1 | · | 1 | ·d73b67965c1ccbb2e10c0d54010982e2·874784·ocaml·optional·libcoq-reglang_1.2.1-4_amd64.deb |
| Offset 1, 3 lines modified | Offset 1, 3 lines modified | ||
| 1 | -rw-r--r--···0········0········0········4·2024-08-04·06:10:46.000000·debian-binary | 1 | -rw-r--r--···0········0········0········4·2024-08-04·06:10:46.000000·debian-binary |
| 2 | -rw-r--r--···0········0········0·····184 | 2 | -rw-r--r--···0········0········0·····1848·2024-08-04·06:10:46.000000·control.tar.xz |
| 3 | -rw-r--r--···0········0········0···872 | 3 | -rw-r--r--···0········0········0···872744·2024-08-04·06:10:46.000000·data.tar.xz |
| Offset 1, 15 lines modified | Offset 1, 15 lines modified | ||
| 1 | Package:·libcoq-reglang | 1 | Package:·libcoq-reglang |
| 2 | Source:·coq-reglang | 2 | Source:·coq-reglang |
| 3 | Version:·1.2.1-4 | 3 | Version:·1.2.1-4 |
| 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:·2833 | 6 | Installed-Size:·2833 |
| 7 | Depends:·libcoq-mathcomp-ssreflect-vk1c9,·libcoq-stdlib-p29e7 | 7 | Depends:·libcoq-mathcomp-ssreflect-vk1c9,·libcoq-stdlib-p29e7 |
| 8 | Provides:·libcoq-reglang- | 8 | Provides:·libcoq-reglang-gpq85 |
| 9 | Section:·ocaml | 9 | Section:·ocaml |
| 10 | Priority:·optional | 10 | Priority:·optional |
| 11 | Homepage:·https://github.com/coq-community/reglang | 11 | Homepage:·https://github.com/coq-community/reglang |
| 12 | Description:·representation·of·regular·languages·in·Coq | 12 | Description:·representation·of·regular·languages·in·Coq |
| 13 | ·This·package·provides·definitions·and·verified·translations | 13 | ·This·package·provides·definitions·and·verified·translations |
| 14 | ·between·different·representations·of·regular·languages | 14 | ·between·different·representations·of·regular·languages |
| 15 | ·for·Coq:·miscellaneous·automata,·regular·expressions, | 15 | ·for·Coq:·miscellaneous·automata,·regular·expressions, |
| Offset 8, 30 lines modified | Offset 8, 30 lines modified | ||
| 8 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-08-04·06:10:46.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-08-04·06:10:46.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-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/ | 9 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/ |
| 10 | -rw-r--r--···0·root·········(0)·root·········(0)···102146·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/dfa.glob | 10 | -rw-r--r--···0·root·········(0)·root·········(0)···102146·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/dfa.glob |
| 11 | -rw-r--r--···0·root·········(0)·root·········(0)····18590·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/dfa.v | 11 | -rw-r--r--···0·root·········(0)·root·········(0)····18590·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/dfa.v |
| 12 | -rw-r--r--···0·root·········(0)·root·········(0)···133815·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/dfa.vo | 12 | -rw-r--r--···0·root·········(0)·root·········(0)···133815·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/dfa.vo |
| 13 | -rw-r--r--···0·root·········(0)·root·········(0)····33103·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/languages.glob | 13 | -rw-r--r--···0·root·········(0)·root·········(0)····33103·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/languages.glob |
| 14 | -rw-r--r--···0·root·········(0)·root·········(0)·····6680·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/languages.v | 14 | -rw-r--r--···0·root·········(0)·root·········(0)·····6680·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/languages.v |
| 15 | -rw-r--r--···0·root·········(0)·root·········(0)···135 | 15 | -rw-r--r--···0·root·········(0)·root·········(0)···135101·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/languages.vo |
| 16 | -rw-r--r--···0·root·········(0)·root·········(0)····57489·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/minimization.glob | 16 | -rw-r--r--···0·root·········(0)·root·········(0)····57489·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/minimization.glob |
| 17 | -rw-r--r--···0·root·········(0)·root·········(0)····10865·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/minimization.v | 17 | -rw-r--r--···0·root·········(0)·root·········(0)····10865·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/minimization.v |
| 18 | -rw-r--r--···0·root·········(0)·root·········(0)···1738 | 18 | -rw-r--r--···0·root·········(0)·root·········(0)···173855·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/minimization.vo |
| 19 | -rw-r--r--···0·root·········(0)·root·········(0)····41026·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/misc.glob | 19 | -rw-r--r--···0·root·········(0)·root·········(0)····41026·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/misc.glob |
| 20 | -rw-r--r--···0·root·········(0)·root·········(0)·····7345·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/misc.v | 20 | -rw-r--r--···0·root·········(0)·root·········(0)·····7345·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/misc.v |
| 21 | -rw-r--r--···0·root·········(0)·root·········(0)····57057·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/misc.vo | 21 | -rw-r--r--···0·root·········(0)·root·········(0)····57057·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/misc.vo |
| 22 | -rw-r--r--···0·root·········(0)·root·········(0)····26300·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/myhill_nerode.glob | 22 | -rw-r--r--···0·root·········(0)·root·········(0)····26300·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/myhill_nerode.glob |
| 23 | -rw-r--r--···0·root·········(0)·root·········(0)·····6799·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/myhill_nerode.v | 23 | -rw-r--r--···0·root·········(0)·root·········(0)·····6799·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/myhill_nerode.v |
| 24 | -rw-r--r--···0·root·········(0)·root·········(0)····48894·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/myhill_nerode.vo | 24 | -rw-r--r--···0·root·········(0)·root·········(0)····48894·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/myhill_nerode.vo |
| 25 | -rw-r--r--···0·root·········(0)·root·········(0)····72541·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/nfa.glob | 25 | -rw-r--r--···0·root·········(0)·root·········(0)····72541·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/nfa.glob |
| 26 | -rw-r--r--···0·root·········(0)·root·········(0)····15855·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/nfa.v | 26 | -rw-r--r--···0·root·········(0)·root·········(0)····15855·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/nfa.v |
| 27 | -rw-r--r--···0·root·········(0)·root·········(0)···150832·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/nfa.vo | 27 | -rw-r--r--···0·root·········(0)·root·········(0)···150832·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/nfa.vo |
| 28 | -rw-r--r--···0·root·········(0)·root·········(0)···119188·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/regexp.glob | 28 | -rw-r--r--···0·root·········(0)·root·········(0)···119188·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/regexp.glob |
| 29 | -rw-r--r--···0·root·········(0)·root·········(0)····18831·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/regexp.v | 29 | -rw-r--r--···0·root·········(0)·root·········(0)····18831·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/regexp.v |
| 30 | -rw-r--r--···0·root·········(0)·root·········(0)···27120 | 30 | -rw-r--r--···0·root·········(0)·root·········(0)···271209·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/regexp.vo |
| 31 | -rw-r--r--···0·root·········(0)·root·········(0)·····8790·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/setoid_leq.glob | 31 | -rw-r--r--···0·root·········(0)·root·········(0)·····8790·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/setoid_leq.glob |
| 32 | -rw-r--r--···0·root·········(0)·root·········(0)·····2069·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/setoid_leq.v | 32 | -rw-r--r--···0·root·········(0)·root·········(0)·····2069·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/setoid_leq.v |
| 33 | -rw-r--r--···0·root·········(0)·root·········(0)····18667·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/setoid_leq.vo | 33 | -rw-r--r--···0·root·········(0)·root·········(0)····18667·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/setoid_leq.vo |
| 34 | -rw-r--r--···0·root·········(0)·root·········(0)···157044·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/shepherdson.glob | 34 | -rw-r--r--···0·root·········(0)·root·········(0)···157044·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/shepherdson.glob |
| 35 | -rw-r--r--···0·root·········(0)·root·········(0)····17730·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/shepherdson.v | 35 | -rw-r--r--···0·root·········(0)·root·········(0)····17730·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/shepherdson.v |
| 36 | -rw-r--r--···0·root·········(0)·root·········(0)···200384·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/shepherdson.vo | 36 | -rw-r--r--···0·root·········(0)·root·········(0)···200384·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/shepherdson.vo |
| 37 | -rw-r--r--···0·root·········(0)·root·········(0)····58791·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/two_way.glob | 37 | -rw-r--r--···0·root·········(0)·root·········(0)····58791·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/two_way.glob |
| Offset 7, 17 lines modified | Offset 7, 17 lines modified | ||
| 00000060:·616c·6c5f·7373·7265·666c·6563·74a0·2973··all_ssreflect.)s | 00000060:·616c·6c5f·7373·7265·666c·6563·74a0·2973··all_ssreflect.)s | ||
| 00000070:·7372·6566·6c65·6374·a028·6d61·7468·636f··sreflect.(mathco | 00000070:·7372·6566·6c65·6374·a028·6d61·7468·636f··sreflect.(mathco | ||
| 00000080:·6d70·4090·30c7·9dd8·c77d·a11c·eb36·06fa··mp@.0....}...6.. | 00000080:·6d70·4090·30c7·9dd8·c77d·a11c·eb36·06fa··mp@.0....}...6.. | ||
| 00000090:·6dbe·0b95·eca0·a024·6d69·7363·a027·5265··m......$misc.'Re | 00000090:·6dbe·0b95·eca0·a024·6d69·7363·a027·5265··m......$misc.'Re | ||
| 000000a0:·674c·616e·6740·9030·3c5d·e2f3·dc8b·d44d··gLang@.0<].....M | 000000a0:·674c·616e·6740·9030·3c5d·e2f3·dc8b·d44d··gLang@.0<].....M | ||
| 000000b0:·582f·c124·93d5·64bc·a0a0·296c·616e·6775··X/.$..d...)langu | 000000b0:·582f·c124·93d5·64bc·a0a0·296c·616e·6775··X/.$..d...)langu | ||
| 000000c0:·6167·6573·a027·5265·674c·616e·6740·9030··ages.'RegLang@.0 | 000000c0:·6167·6573·a027·5265·674c·616e·6740·9030··ages.'RegLang@.0 | ||
| 000000d0:· | 000000d0:·d4ba·c602·c73b·cf1c·377e·7346·5ff3·6cce··.....;..7~sF_.l. | ||
| 000000e0:·2535·2e32·2e30·a040·40 | 000000e0:·2535·2e32·2e30·a040·409e·4e82·9fec·b80f··%5.2.0.@@.N..... | ||
| 000000f0:· | 000000f0:·d0f4·d00c·8d21·27a8·7984·95a6·be00·00ca··.....!'.y....... | ||
| 00000100:·bc00·0030·5900·00a5·4900·00a2·1db0·d0a0··...0Y...I....... | 00000100:·bc00·0030·5900·00a5·4900·00a2·1db0·d0a0··...0Y...I....... | ||
| 00000110:·2364·6661·a027·5265·674c·616e·6740·e090··#dfa.'RegLang@.. | 00000110:·2364·6661·a027·5265·674c·616e·6740·e090··#dfa.'RegLang@.. | ||
| 00000120:·0406·4190·a0a0·0408·9108·0000·3f00·9008··..A.........?... | 00000120:·0406·4190·a0a0·0408·9108·0000·3f00·9008··..A.........?... | ||
| 00000130:·0000·4300·040c·a0a0·a090·2463·6861·7240··..C.......$char@ | 00000130:·0000·4300·040c·a0a0·a090·2463·6861·7240··..C.......$char@ | ||
| 00000140:·9ba0·a090·b0a2·90a0·2766·696e·7479·7065··........'fintype | 00000140:·9ba0·a090·b0a2·90a0·2766·696e·7479·7065··........'fintype | ||
| 00000150:·a029·7373·7265·666c·6563·74a0·286d·6174··.)ssreflect.(mat | 00000150:·a029·7373·7265·666c·6563·74a0·286d·6174··.)ssreflect.(mat | ||
| 00000160:·6863·6f6d·7040·2646·696e·6974·6524·7479··hcomp@&Finite$ty | 00000160:·6863·6f6d·7040·2646·696e·6974·6524·7479··hcomp@&Finite$ty | ||
| Offset 2193, 16 lines modified | Offset 2193, 16 lines modified | ||
| 00008900:·b005·0191·4105·012a·4041·4243·44b0·0501··....A..*@ABCD... | 00008900:·b005·0191·4105·012a·4041·4243·44b0·0501··....A..*@ABCD... | ||
| 00008910:·9241·0501·02c0·c0c0·40b0·0501·9641·04ea··.A......@....A.. | 00008910:·9241·0501·02c0·c0c0·40b0·0501·9641·04ea··.A......@....A.. | ||
| 00008920:·4041·b005·0197·4105·0172·c040·b005·0199··@A....A..r.@.... | 00008920:·4041·b005·0197·4105·0172·c040·b005·0199··@A....A..r.@.... | ||
| 00008930:·4104·bf40·4142·b005·019a·4104·b3c0·c040··A..@AB....A....@ | 00008930:·4104·bf40·4142·b005·019a·4104·b3c0·c040··A..@AB....A....@ | ||
| 00008940:·b005·019d·4104·5340·41b0·051b·2e41·0501··....A.S@A....A.. | 00008940:·b005·019d·4104·5340·41b0·051b·2e41·0501··....A.S@A....A.. | ||
| 00008950:·f7c0·c040·b005·01a1·4105·01f5·4041·b004··...@....A...@A.. | 00008950:·f7c0·c040·b005·01a1·4105·01f5·4041·b004··...@....A...@A.. | ||
| 00008960:·5841·04c8·4042·4344·4548·4990·a0a0·0512··XA..@BCDEHI..... | 00008960:·5841·04c8·4042·4344·4548·4990·a0a0·0512··XA..@BCDEHI..... | ||
| 00008970:·ada0·0512·ac40·9030·3ecc·5fd4·ab0f·e337··.....@.0>._....7 | |||
| 000089 | 00008970:·ada0·0512·ac40·9030·d4ba·c602·c73b·cf1c··.....@.0.....;.. | ||
| 00008980:·377e·7346·5ff3·6cce·9040·a040·40a0·a095··7~sF_.l..@.@@... | |||
| 00008990:·a002·1c4e·24fd·a005·1b73·90a0·a005·1b76··...N$....s.....v | 00008990:·a002·1c4e·24fd·a005·1b73·90a0·a005·1b76··...N$....s.....v | ||
| 000089a0:·a005·1b39·4040·a095·a002·0fc0·a2b8·a0a1··...9@@.......... | 000089a0:·a005·1b39·4040·a095·a002·0fc0·a2b8·a0a1··...9@@.......... | ||
| 000089b0:·051a·e8e0·4140·4040·4040·a0a0·92a0·051a··....A@@@@@...... | 000089b0:·051a·e8e0·4140·4040·4040·a0a0·92a0·051a··....A@@@@@...... | ||
| 000089c0:·ed40·a0a0·40a0·4040·40a0·a093·a004·0841··.@..@.@@@......A | 000089c0:·ed40·a0a0·40a0·4040·40a0·a093·a004·0841··.@..@.@@@......A | ||
| 000089d0:·a0a0·40a0·90c0·b005·1b03·4140·9190·4540··..@.......A@..E@ | 000089d0:·a0a0·40a0·90c0·b005·1b03·4140·9190·4540··..@.......A@..E@ | ||
| 000089e0:·41a0·90c0·b005·1b0d·4240·9190·4340·41a0··A.......B@..C@A. | 000089e0:·41a0·90c0·b005·1b0d·4240·9190·4340·41a0··A.......B@..C@A. | ||
| 000089f0:·40a0·40a0·4040·4040·a095·a002·2760·a06f··@.@.@@@@....'`.o | 000089f0:·40a0·40a0·4040·4040·a095·a002·2760·a06f··@.@.@@@@....'`.o | ||
| Offset 3254, 16 lines modified | Offset 3254, 16 lines modified | ||
| 0000cb50:·9205·3028·a090·9105·2ff2·a090·9105·2ff5··..0(..../...../. | 0000cb50:·9205·3028·a090·9105·2ff2·a090·9105·2ff5··..0(..../...../. | ||
| 0000cb60:·a090·9105·27ac·40d0·d0d0·4040·a005·14a1··....'.@...@@.... | 0000cb60:·a090·9105·27ac·40d0·d0d0·4040·a005·14a1··....'.@...@@.... | ||
| 0000cb70:·4040·4141·a005·149e·40d0·4005·149b·a005··@@AA....@.@..... | 0000cb70:·4040·4141·a005·149e·40d0·4005·149b·a005··@@AA....@.@..... | ||
| 0000cb80:·1497·4040·4142·0514·94a0·0514·9340·d0d0··..@@AB.......@.. | 0000cb80:·1497·4040·4142·0514·94a0·0514·9340·d0d0··..@@AB.......@.. | ||
| 0000cb90:·4005·1490·a005·148c·4040·4105·1489·a005··@.......@@A..... | 0000cb90:·4005·1490·a005·148c·4040·4105·1489·a005··@.......@@A..... | ||
| 0000cba0:·1488·40d0·4005·1485·a005·1480·40d0·4005··..@.@.......@.@. | 0000cba0:·1488·40d0·4005·1485·a005·1480·40d0·4005··..@.@.......@.@. | ||
| 0000cbb0:·147d·a005·1478·40d0·4005·1475·a005·146f··.}...x@.@..u...o | 0000cbb0:·147d·a005·1478·40d0·4005·1475·a005·146f··.}...x@.@..u...o | ||
| 0000cbc0:·4040·4142·4344·4540·40 | 0000cbc0:·4040·4142·4344·4540·4027·e56d·0fb6·42fe··@@ABCDE@@'.m..B. | ||
| 0000cbd0:· | 0000cbd0:·91e2·2d59·64b4·de35·b284·95a6·be00·0135··..-Yd..5.......5 | ||
| 0000cbe0:·b100·0042·cf00·00db·e800·00da·3d08·0000··...B........=... | 0000cbe0:·b100·0042·cf00·00db·e800·00da·3d08·0000··...B........=... | ||
| 0000cbf0:·b700·90a0·b7a0·9021·7040·a99a·a090·b0a2··.......!p@...... | 0000cbf0:·b700·90a0·b7a0·9021·7040·a99a·a090·b0a2··.......!p@...... | ||
| 0000cc00:·90a0·2766·696e·7479·7065·a029·7373·7265··..'fintype.)ssre | 0000cc00:·90a0·2766·696e·7479·7065·a029·7373·7265··..'fintype.)ssre | ||
| 0000cc10:·666c·6563·74a0·286d·6174·6863·6f6d·7040··flect.(mathcomp@ | 0000cc10:·666c·6563·74a0·286d·6174·6863·6f6d·7040··flect.(mathcomp@ | ||
| 0000cc20:·2646·696e·6974·6524·736f·7274·0202·0009··&Finite$sort.... | 0000cc20:·2646·696e·6974·6524·736f·7274·0202·0009··&Finite$sort.... | ||
| 0000cc30:·58a0·8080·90a9·9aa0·90b0·90a0·2364·6661··X...........#dfa | 0000cc30:·58a0·8080·90a9·9aa0·90b0·90a0·2364·6661··X...........#dfa | ||
| 0000cc40:·a027·5265·674c·616e·6740·2964·6661·5f73··.'RegLang@)dfa_s | 0000cc40:·a027·5265·674c·616e·6740·2964·6661·5f73··.'RegLang@)dfa_s | ||
| Offset 8348, 17 lines modified | Offset 8348, 17 lines modified | ||
| 000209b0:·030b·0b37·0021·3701·230b·0d37·0222·0b37··...7.!7.#..7.".7 | 000209b0:·030b·0b37·0021·3701·230b·0d37·0222·0b37··...7.!7.#..7.".7 | ||
| 000209c0:·0021·3703·2807·8025·2c0c·1410·0c80·c03d··.!7.(..%,......= | 000209c0:·0021·3703·2807·8025·2c0c·1410·0c80·c03d··.!7.(..%,......= | ||
| 000209d0:·2d00·038c·2a2b·0245·0b0b·3700·2137·0122··-...*+.E..7.!7." | 000209d0:·2d00·038c·2a2b·0245·0b0b·3700·2137·0122··-...*+.E..7.!7." | ||
| 000209e0:·0d0c·3700·2137·0221·3703·2504·0780·252c··..7.!7.!7.%...%, | 000209e0:·0d0c·3700·2137·0221·3703·2504·0780·252c··..7.!7.!7.%...%, | ||
| 000209f0:·0c14·0c0c·806d·5815·c997·2f81·4a35·f5ee··.....mX.../.J5.. | 000209f0:·0c14·0c0c·806d·5815·c997·2f81·4a35·f5ee··.....mX.../.J5.. | ||
| 00020a00:·ed91·dd26·0400·0000·0400·0000·076c·6962··...&.........lib | 00020a00:·ed91·dd26·0400·0000·0400·0000·076c·6962··...&.........lib | ||
| 00020a10:·7261·7279·0000·0000·0000·00f9·0000·0000··rary............ | 00020a10:·7261·7279·0000·0000·0000·00f9·0000·0000··rary............ | ||
| 00020a20:·0000·cad0· | 00020a20:·0000·cad0·27e5·6d0f·b642·fe91·e22d·5964··....'.m..B...-Yd | ||
| 00020a30:· | 00020a30:·b4de·35b2·0000·0007·6f70·6171·7565·7300··..5.....opaques. | ||
| 00020a40:·0000·0000·00cb·d900·0000·0000·0135·c53a··.............5.: | 00020a40:·0000·0000·00cb·d900·0000·0000·0135·c53a··.............5.: | ||
| 00020a50:·58a4·da43·030e·5eea·7396·0cc0·f60f·0100··X..C..^.s....... | 00020a50:·58a4·da43·030e·5eea·7396·0cc0·f60f·0100··X..C..^.s....... | ||
| 00020a60:·0000·0773·756d·6d61·7279·0000·0000·0000··...summary...... | 00020a60:·0000·0773·756d·6d61·7279·0000·0000·0000··...summary...... | ||
| 00020a70:·0010·0000·0000·0000·00d9· | 00020a70:·0010·0000·0000·0000·00d9·9e4e·829f·ecb8··...........N.... | ||
| 00020a80:· | 00020a80:·0fd0·f4d0·0c8d·2127·a879·0000·0009·766d··......!'.y....vm | ||
| 00020a90:·6c69·6272·6172·7900·0000·0000·0201·ae00··library......... | 00020a90:·6c69·6272·6172·7900·0000·0000·0201·ae00··library......... | ||
| 00020aa0:·0000·0000·0008·476d·5815·c997·2f81·4a35··......GmX.../.J5 | 00020aa0:·0000·0000·0008·476d·5815·c997·2f81·4a35··......GmX.../.J5 | ||
| 00020ab0:·f5ee·ed91·dd26·04························.....&. | 00020ab0:·f5ee·ed91·dd26·04························.....&. |
| Offset 1, 8 lines modified | Offset 1, 8 lines modified | ||
| 00000000:·436f·7121·0001·4050·0000·0000·0002·0f0 | 00000000:·436f·7121·0001·4050·0000·0000·0002·0f0b··Coq!..@P........ | ||
| 00000010:·8495·a6be·0000·00c7·0000·0028·0000·0088··...........(.... | 00000010:·8495·a6be·0000·00c7·0000·0028·0000·0088··...........(.... | ||
| 00000020:·0000·0074·c0a0·296c·616e·6775·6167·6573··...t..)languages | 00000020:·0000·0074·c0a0·296c·616e·6775·6167·6573··...t..)languages | ||
| 00000030:·a027·5265·674c·616e·6740·c0a0·a027·5072··.'RegLang@...'Pr | 00000030:·a027·5265·674c·616e·6740·c0a0·a027·5072··.'RegLang@...'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·30c7·f596·7402·9579·0e84·d517·cbca··@.0...t..y...... | 00000050:·4090·30c7·f596·7402·9579·0e84·d517·cbca··@.0...t..y...... | ||
| 00000060:·0ace·efa0·a02a·7374·7275·6374·7572·6573··.....*structures | 00000060:·0ace·efa0·a02a·7374·7275·6374·7572·6573··.....*structures | ||
| 00000070:·a022·4842·4090·30d2·215a·9cfb·a853·4c8b··."HB@.0.!Z...SL. | 00000070:·a022·4842·4090·30d2·215a·9cfb·a853·4c8b··."HB@.0.!Z...SL. | ||
| Offset 10, 15 lines modified | Offset 10, 15 lines modified | ||
| 00000090:·7265·666c·6563·74a0·2973·7372·6566·6c65··reflect.)ssrefle | 00000090:·7265·666c·6563·74a0·2973·7372·6566·6c65··reflect.)ssrefle | ||
| 000000a0:·6374·a028·6d61·7468·636f·6d70·4090·30c7··ct.(mathcomp@.0. | 000000a0:·6374·a028·6d61·7468·636f·6d70·4090·30c7··ct.(mathcomp@.0. | ||
| 000000b0:·9dd8·c77d·a11c·eb36·06fa·6dbe·0b95·eca0··...}...6..m..... | 000000b0:·9dd8·c77d·a11c·eb36·06fa·6dbe·0b95·eca0··...}...6..m..... | ||
| 000000c0:·a024·6d69·7363·a027·5265·674c·616e·6740··.$misc.'RegLang@ | 000000c0:·a024·6d69·7363·a027·5265·674c·616e·6740··.$misc.'RegLang@ | ||
| 000000d0:·9030·3c5d·e2f3·dc8b·d44d·582f·c124·93d5··.0<].....MX/.$.. | 000000d0:·9030·3c5d·e2f3·dc8b·d44d·582f·c124·93d5··.0<].....MX/.$.. | ||
| 000000e0:·64bc·2535·2e32·2e30·a040·40e7·87d4·7d23··d.%5.2.0.@@...}# | 000000e0:·64bc·2535·2e32·2e30·a040·40e7·87d4·7d23··d.%5.2.0.@@...}# | ||
| 000000f0:·0c3b·0384·9838·6aa3·674c·2d84·95a6·be00··.;...8j.gL-..... | 000000f0:·0c3b·0384·9838·6aa3·674c·2d84·95a6·be00··.;...8j.gL-..... | ||
| 00000100:·0199·2 | 00000100:·0199·2200·005f·7400·014a·1600·013f·ceb0··..".._t..J...?.. | ||
| 00000110:·d0a0·296c·616e·6775·6167·6573·a027·5265··..)languages.'Re | 00000110:·d0a0·296c·616e·6775·6167·6573·a027·5265··..)languages.'Re | ||
| 00000120:·674c·616e·6740·e090·0406·4190·a0a0·2477··gLang@....A...$w | 00000120:·674c·616e·6740·e090·0406·4190·a0a0·2477··gLang@....A...$w | ||
| 00000130:·6f72·6490·0800·0027·0040·a080·8091·b7a0··ord....'.@...... | 00000130:·6f72·6490·0800·0027·0040·a080·8091·b7a0··ord....'.@...... | ||
| 00000140:·9024·6368·6172·409b·a0a0·90b0·a290·a026··.$char@........& | 00000140:·9024·6368·6172·409b·a0a0·90b0·a290·a026··.$char@........& | ||
| 00000150:·6571·7479·7065·a029·7373·7265·666c·6563··eqtype.)ssreflec | 00000150:·6571·7479·7065·a029·7373·7265·666c·6563··eqtype.)ssreflec | ||
| 00000160:·74a0·286d·6174·6863·6f6d·7040·2845·7175··t.(mathcomp@(Equ | 00000160:·74a0·286d·6174·6863·6f6d·7040·2845·7175··t.(mathcomp@(Equ | ||
| 00000170:·616c·6974·7924·7479·7065·020a·c371·4440··ality$type...qD@ | 00000170:·616c·6974·7924·7479·7065·020a·c371·4440··ality$type...qD@ | ||
| Offset 1298, 15 lines modified | Offset 1298, 15 lines modified | ||
| 00005110:·9031·5265·674c·616e·672e·6c61·6e67·7561··.1RegLang.langua | 00005110:·9031·5265·674c·616e·672e·6c61·6e67·7561··.1RegLang.langua | ||
| 00005120:·6765·7336·2e2f·7468·656f·7269·6573·2f6c··ges6./theories/l | 00005120:·6765·7336·2e2f·7468·656f·7269·6573·2f6c··ges6./theories/l | ||
| 00005130:·616e·6775·6167·6573·2e76·0104·7401·04a1··anguages.v..t... | 00005130:·616e·6775·6167·6573·2e76·0104·7401·04a1··anguages.v..t... | ||
| 00005140:·6301·0472·c040·4040·41b0·c391·402f·6c6f··c..r.@@@A...@/lo | 00005140:·6301·0472·c040·4040·41b0·c391·402f·6c6f··c..r.@@@A...@/lo | ||
| 00005150:·6361·6c2d·6361·6e6f·6e69·6361·6cb0·95a0··cal-canonical... | 00005150:·6361·6c2d·6361·6e6f·6e69·6361·6cb0·95a0··cal-canonical... | ||
| 00005160:·9104·4858·040d·a022·5479·9090·9090·2863··..HX..."Ty....(c | 00005160:·9104·4858·040d·a022·5479·9090·9090·2863··..HX..."Ty....(c | ||
| 00005170:·6f6e·7374·616e·7440·0414·a004·0790·9090··onstant@........ | 00005170:·6f6e·7374·616e·7440·0414·a004·0790·9090··onstant@........ | ||
| 00005180:·4040·4040·4029·3 | 00005180:·4040·4040·4029·3933·3637·3439·3139·34e0··@@@@@)936749194. | ||
| 00005190:·d0d0·d0d0·4025·4063·6173·74a0·b0b4·90a0··....@%@cast..... | 00005190:·d0d0·d0d0·4025·4063·6173·74a0·b0b4·90a0··....@%@cast..... | ||
| 000051a0:·2154·226c·7040·b0b4·90a0·2254·5904·0640··!T"lp@...."TY..@ | 000051a0:·2154·226c·7040·b0b4·90a0·2254·5904·0640··!T"lp@...."TY..@ | ||
| 000051b0:·b0c3·9140·236c·6574·b095·a090·2463·6173··...@#let....$cas | 000051b0:·b0c3·9140·236c·6574·b095·a090·2463·6173··...@#let....$cas | ||
| 000051c0:·7453·e040·3063·6f71·2d62·7569·6c74·696e··tS.@0coq-builtin | 000051c0:·7453·e040·3063·6f71·2d62·7569·6c74·696e··tS.@0coq-builtin | ||
| 000051d0:·2e65·6c70·6901·24e8·0124·ee01·00e1·0124··.elpi.$..$.....$ | 000051d0:·2e65·6c70·6901·24e8·0124·ee01·00e1·0124··.elpi.$..$.....$ | ||
| 000051e0:·cfa0·0429·9040·a0b0·a190·0417·0412·e040··...).@.........@ | 000051e0:·cfa0·0429·9040·a0b0·a190·0417·0412·e040··...).@.........@ | ||
| 000051f0:·0408·0124·ef01·24f1·0100·e101·24cf·a004··...$..$.....$... | 000051f0:·0408·0124·ef01·24f1·0100·e101·24cf·a004··...$..$.....$... | ||
| Offset 6045, 15 lines modified | Offset 6045, 15 lines modified | ||
| 000179c0:·0562·6701·0558·d040·0517·08a0·a090·40a0··.bg..X.@......@. | 000179c0:·0562·6701·0558·d040·0517·08a0·a090·40a0··.bg..X.@......@. | ||
| 000179d0:·9040·a090·41a0·9041·40e0·4005·1669·0101··.@..A..A@.@..i.. | 000179d0:·9040·a090·41a0·9041·40e0·4005·1669·0101··.@..A..A@.@..i.. | ||
| 000179e0:·ac01·01d5·4c01·01ac·d040·0517·07a0·a090··....L....@...... | 000179e0:·ac01·01d5·4c01·01ac·d040·0517·07a0·a090··....L....@...... | ||
| 000179f0:·40a0·9041·a090·4140·e040·0516·7201·01d7··@..A..A@.@..r... | 000179f0:·40a0·9041·a090·4140·e040·0516·7201·01d7··@..A..A@.@..r... | ||
| 00017a00:·0102·034d·0101·d7d0·4005·1705·a0a0·9040··...M....@......@ | 00017a00:·0102·034d·0101·d7d0·4005·1705·a0a0·9040··...M....@......@ | ||
| 00017a10:·a090·4140·e040·0516·7901·022a·0102·424f··..A@.@..y..*..BO | 00017a10:·a090·4140·e040·0516·7901·022a·0102·424f··..A@.@..y..*..BO | ||
| 00017a20:·0102·2a40·4142·4344·4546·4748·494b·4c05··..*@ABCDEFGHIKL. | 00017a20:·0102·2a40·4142·4344·4546·4748·494b·4c05··..*@ABCDEFGHIKL. | ||
| 00017a30:·4614·0c00·0000·0000·00 | 00017a30:·4614·0c00·0000·0000·00f6·3e40·4140·a095··F.........>@A@.. | ||
| 00017a40:·a002·347d·c1ff·a027·5f45·4c50·495f·32c0··..4}...'_ELPI_2. | 00017a40:·a002·347d·c1ff·a027·5f45·4c50·495f·32c0··..4}...'_ELPI_2. | ||
| 00017a50:·a022·6862·a022·6462·40a0·a0b0·0555·b521··."hb."db@....U.! | 00017a50:·a022·6862·a022·6462·40a0·a0b0·0555·b521··."hb."db@....U.! | ||
| 00017a60:·3202·0df2·e86c·d005·4627·d0e0·4040·4040··2....l..F'..@@@@ | 00017a60:·3202·0df2·e86c·d005·4627·d0e0·4040·4040··2....l..F'..@@@@ | ||
| 00017a70:·4005·4626·40a0·c005·4625·0546·21b0·c391··@.F&@...F%.F!... | 00017a70:·4005·4626·40a0·c005·4625·0546·21b0·c391··@.F&@...F%.F!... | ||
| 00017a80:·4005·2a19·b0c3·9140·052c·eab0·c391·4005··@.*....@.,....@. | 00017a80:·4005·2a19·b0c3·9140·052c·eab0·c391·4005··@.*....@.,....@. | ||
| 00017a90:·3ce6·b095·a091·0550·ee58·0546·32a0·0546··<......P.X.F2..F | 00017a90:·3ce6·b095·a091·0550·ee58·0546·32a0·0546··<......P.X.F2..F | ||
| 00017aa0:·2590·9090·053c·e940·0546·36a0·0546·2990··%....<.@.F6..F). | 00017aa0:·2590·9090·053c·e940·0546·36a0·0546·2990··%....<.@.F6..F). | ||
| Offset 6061, 2384 lines modified | Offset 6061, 2384 lines modified | ||
| 00017ac0:·052a·2aa0·b0c3·9140·0529·87b0·95a0·a090··.**....@.)...... | 00017ac0:·052a·2aa0·b0c3·9140·0529·87b0·95a0·a090··.**....@.)...... | ||
| 00017ad0:·b0a2·9005·50aa·0550·8b05·50b8·0219·fd21··....P..P..P....! | 00017ad0:·b0a2·9005·50aa·0550·8b05·50b8·0219·fd21··....P..P..P....! | ||
| 00017ae0:·8840·5705·464a·a005·463d·9090·9005·298e··.@W.FJ..F=....). | 00017ae0:·8840·5705·464a·a005·463d·9090·9005·298e··.@W.FJ..F=....). | ||
| 00017af0:·4005·464e·a005·4641·9090·9005·2a3b·a0b0··@.FN..FA....*;.. | 00017af0:·4005·464e·a005·4641·9090·9005·2a3b·a0b0··@.FN..FA....*;.. | ||
| 00017b00:·c391·4005·3d0e·b095·a091·0546·fc58·0546··..@.=......F.X.F | 00017b00:·c391·4005·3d0e·b095·a091·0546·fc58·0546··..@.=......F.X.F | ||
| 00017b10:·5aa0·0546·4d90·9090·053d·1140·0546·5ea0··Z..FM....=.@.F^. | 00017b10:·5aa0·0546·4d90·9090·053d·1140·0546·5ea0··Z..FM....=.@.F^. | Diff chunk too large, falling back to line-by-line diff (2377 lines added, 2377 lines removed) | |
| 00017b20:·0546·5190·9090·052a·4940·0546·62a0·0546··.FQ....*I@.Fb..F | 00017b20:·0546·5190·9090·052a·4940·0546·62a0·0546··.FQ....*I@.Fb..F | ||
| 00017b30:·5590·9090·4040·4040·402 | 00017b30:·5590·9090·4040·4040·402a·3130·3435·3538··U...@@@@@*104558 | ||
| 00017b40:·373 | 00017b40:·3637·3632·e005·464e·0540·f005·3f6d·0517··6762..FN.@..?m.. | ||
| 00017b50:·16a5·0546·6b0c·0000·0000·00 | 00017b50:·3405·16a5·0546·6b0c·0000·0000·0040·023f··4....Fk......@.? | ||
| 00017b60:·40a0·95a0·0232·0a51·8fa0·0550·73b0· | 00017b60:·4041·40a0·95a0·0232·0a51·8fa0·0550·73b0··@A@....2.Q...Ps. | ||
| 00017b70:·4040·a095·a002·0fc0·a2b8·a090·0548· | 00017b70:·9149·4040·a095·a002·0fc0·a2b8·a090·0548··.I@@...........H | ||
| 00017b80:·a091·90b0·0556·0f05·507f·020c·9da5· | 00017b80:·08a0·a091·90b0·0556·0f05·507f·020c·9da5··.......V..P..... | ||
| 00017b90:·a040·a090·c0b0·0556·0a41·4091·9042· | 00017b90:·12a0·a040·a090·c0b0·0556·0a41·4091·9042··...@.....V.A@..B | ||
| 00017ba0:·a040·a040·4040·40a0·95a0·0227·60a0· | 00017ba0:·4041·a040·a040·4040·40a0·95a0·0227·60a0··@A.@.@@@@....'`. | ||
| 00017bb0:·4091·0411·a040·a040·40a0·9092·0556· | 00017bb0:·6fd0·4091·0411·a040·a040·40a0·9092·0556··o.@....@.@@....V | ||
| 00017bc0:·9091·0550·8940·d0d0·d040·40a0·0548· | 00017bc0:·14a0·9091·0550·8940·d0d0·d040·40a0·0548··.....P.@...@@..H | ||
| 00017bd0:·4041·41a0·0548·0f40·d040·0548·0ca0· | 00017bd0:·1240·4041·41a0·0548·0f40·d040·0548·0ca0··.@@AA..H.@.@.H.. | ||
| 00017be0:·0840·4041·4205·4805·a005·4801·40d0· | 00017be0:·0548·0840·4041·4205·4805·a005·4801·40d0··.H.@@AB.H...H.@. | ||
| 00017bf0:·0547·fea0·0547·f940·4041·0547·f6a0· | 00017bf0:·d040·0547·fea0·0547·f940·4041·0547·f6a0··.@.G...G.@@A.G.. | ||
| 00017c00:·f540·d040·0547·f2a0·0547·ed40·d040· | 00017c00:·0547·f540·d040·0547·f2a0·0547·ed40·d040··.G.@.@.G...G.@.@ | ||
| 00017c10:·eaa0·0547·e540·d040·0547·e2a0·0547· | 00017c10:·0547·eaa0·0547·e540·d040·0547·e2a0·0547··.G...G.@.@.G...G | ||
| 00017c20:·4041·4243·4445·a095·a002·0fd9·ffe2· | 00017c20:·dc40·4041·4243·4445·a095·a002·0fd9·ffe2··.@@ABCDE........ | ||
| 00017c30:·0027·0091·0430·0550·9840·4141·4091· | 00017c30:·0800·0027·0091·0430·0550·9840·4141·4091··...'...0.P.@AA@. | ||
| 00017c40:·0556·4005·5161·020e·c5a1·dc91·0551· | 00017c40:·90b0·0556·4005·5161·020e·c5a1·dc91·0551··...V@.Qa.......Q | ||
| 00017c50:·a095·a002·320a·518f·a005·5098·b091· | 00017c50:·4141·a095·a002·320a·518f·a005·5098·b091··AA....2.Q...P... | ||
| 00017c60:·40a0·95a0·020f·c0a2·b8a0·90e0·4140· | 00017c60:·4040·40a0·95a0·020f·c0a2·b8a0·90e0·4140··@@@...........A@ | ||
| 00017c70:·4040·a0a0·9105·5012·a0a0·40a0·90c0· | 00017c70:·4040·4040·a0a0·9105·5012·a0a0·40a0·90c0··@@@@....P...@... | ||
| 00017c80:·564b·4140·9190·4340·41a0·90c0·b005· | 00017c80:·b005·564b·4140·9190·4340·41a0·90c0·b005··..VKA@..C@A..... | ||
| 00017c90:·4240·9104·0640·41a0·40a0·40a0·4040· | 00017c90:·509f·4240·9104·0640·41a0·40a0·40a0·4040··P.B@...@A.@.@.@@ | ||
| 00017ca0:·a095·a002·2760·a06f·d040·9105·5027· | 00017ca0:·4040·a095·a002·2760·a06f·d040·9105·5027··@@....'`.o.@..P' | ||
| 00017cb0:·a040·a0a0·0548·4b40·a0a0·0548·4d40· | 00017cb0:·a040·a040·a0a0·0548·4b40·a0a0·0548·4d40··.@.@...HK@...HM@ | ||
| 00017cc0:·0548·2e40·40a0·9092·0550·bca0·9092· | 00017cc0:·a0a0·0548·2e40·40a0·9092·0550·bca0·9092··...H.@@....P.... | ||
| 00017cd0:·bfa0·9041·a090·41a0·9092·0556·5b40· | 00017cd0:·0550·bfa0·9041·a090·41a0·9092·0556·5b40··.P...A..A....V[@ | ||
| 00017ce0:·d040·40a0·0548·6640·4041·41a0·0548· | 00017ce0:·d0d0·d040·40a0·0548·6640·4041·41a0·0548··...@@..Hf@@AA..H | ||
| 00017cf0:·d040·0548·60a0·0548·5c40·4041·4205· | 00017cf0:·6340·d040·0548·60a0·0548·5c40·4041·4205··c@.@.H`..H\@@AB. | ||
| 00017d00:·a005·4855·40d0·d040·0548·52a0·0548· | 00017d00:·4859·a005·4855·40d0·d040·0548·52a0·0548··HY..HU@..@.HR..H | ||
| 00017d10:·4041·0548·4aa0·0548·4940·d040·0548· | 00017d10:·4d40·4041·0548·4aa0·0548·4940·d040·0548··M@@A.HJ..HI@.@.H | ||
| 00017d20:·0548·4140·d040·0548·3ea0·0548·3940· | 00017d20:·46a0·0548·4140·d040·0548·3ea0·0548·3940··F..HA@.@.H>..H9@ | ||
| 00017d30:·0548·36a0·0548·3040·4041·4243·4445· | 00017d30:·d040·0548·36a0·0548·3040·4041·4243·4445··.@.H6..H0@@ABCDE | ||
| 00017d40:·a002·320a·518f·a005·505c·b092·4140· | 00017d40:·a095·a002·320a·518f·a005·505c·b092·4140··....2.Q...P\..A@ | ||
| 00017d50:·95a0·020f·c0a2·b8a0·90e0·4140·4040· | 00017d50:·40a0·95a0·020f·c0a2·b8a0·90e0·4140·4040··@...........A@@@ | ||
| 00017d60:·a0a0·9105·4f99·a0a0·40a0·90c0·b005· | 00017d60:·4040·a0a0·9105·4f99·a0a0·40a0·90c0·b005··@@....O...@..... | ||
| 00017d70:·4140·9190·4340·41a0·90c0·b005·50ea· | 00017d70:·5696·4140·9190·4340·41a0·90c0·b005·50ea··V.A@..C@A.....P. | ||
| 00017d80:·9104·0640·41a0·40a0·90c0·b005·503f· | 00017d80:·4240·9104·0640·41a0·40a0·90c0·b005·503f··B@...@A.@.....P? | ||
| 00017d90:·9190·4740·41a0·90c0·b005·5040·4540· | 00017d90:·4440·9190·4740·41a0·90c0·b005·5040·4540··D@..G@A.....P@E@ | ||
| 00017da0:·0640·41a0·40a0·4040·4040·a095·a002· | 00017da0:·9104·0640·41a0·40a0·4040·4040·a095·a002··...@A.@.@@@@.... | ||
| 00017db0:·a06f·d040·9105·4fb9·a040·a040·a0a0· | 00017db0:·2760·a06f·d040·9105·4fb9·a040·a040·a0a0··'`.o.@..O..@.@.. | ||
| 00017dc0:·a140·a0a0·0548·a340·a0a0·0548·a540· | 00017dc0:·0548·a140·a0a0·0548·a340·a0a0·0548·a540··.H.@...H.@...H.@ | ||
| 00017dd0:·0548·8640·a0a0·0548·a940·40a0·9092· | 00017dd0:·a0a0·0548·8640·a0a0·0548·a940·40a0·9092··...H.@...H.@@... | ||
| 00017de0:·16a0·9092·0551·19a0·9041·a090·41a0· | 00017de0:·0551·16a0·9092·0551·19a0·9041·a090·41a0··.Q.....Q...A..A. | ||
| 00017df0:·a090·9205·56b7·a090·4140·d0d0·d040· | 00017df0:·9041·a090·9205·56b7·a090·4140·d0d0·d040··.A....V...A@...@ | ||
| 00017e00:·0548·c440·4041·41a0·0548·c140·d040· | 00017e00:·40a0·0548·c440·4041·41a0·0548·c140·d040··@..H.@@AA..H.@.@ | ||
| 00017e10:·bea0·0548·ba40·4041·4205·48b7·a005· | 00017e10:·0548·bea0·0548·ba40·4041·4205·48b7·a005··.H...H.@@AB.H... | ||
| 00017e20:·40d0·d040·0548·b0a0·0548·ab40·4041· | 00017e20:·48b3·40d0·d040·0548·b0a0·0548·ab40·4041··H.@..@.H...H.@@A | ||
| 00017e30:·a8a0·0548·a740·d040·0548·a4a0·0548· | 00017e30:·0548·a8a0·0548·a740·d040·0548·a4a0·0548··.H...H.@.@.H...H | ||
| 00017e40:·d040·0548·9ca0·0548·9740·d040·0548· | 00017e40:·9f40·d040·0548·9ca0·0548·9740·d040·0548··.@.@.H...H.@.@.H | ||
| 00017e50:·0548·8e40·4041·4243·4445·a095·a002· | 00017e50:·94a0·0548·8e40·4041·4243·4445·a095·a002··...H.@@ABCDE.... | ||
| 00017e60:·518f·a005·5054·b091·4040·40a0·95a0· | 00017e60:·320a·518f·a005·5054·b091·4040·40a0·95a0··2.Q...PT..@@@... | ||
| 00017e70:·c0a2·b8a0·9004·5ea0·a091·054f·eea0· | 00017e70:·020f·c0a2·b8a0·9004·5ea0·a091·054f·eea0··........^....O.. | ||
| 00017e80:·a090·c0b0·0556·f341·4091·9043·4041· | 00017e80:·a040·a090·c0b0·0556·f341·4091·9043·4041··.@.....V.A@..C@A | ||
| 00017e90:·c0b0·0551·4742·4091·0406·4041·a040· | 00017e90:·a090·c0b0·0551·4742·4091·0406·4041·a040··.....QGB@...@A.@ | ||
| 00017ea0:·a040·4040·40a0·95a0·0227·60a0·6fd0· | 00017ea0:·a040·a040·4040·40a0·95a0·0227·60a0·6fd0··.@.@@@@....'`.o. | ||
| 00017eb0:·0550·03a0·40a0·40a0·a005·48f3·40a0· | 00017eb0:·4091·0550·03a0·40a0·40a0·a005·48f3·40a0··@..P..@.@...H.@. | ||
| 00017ec0:·48f5·40a0·a005·48d6·4040·a090·9205· | 00017ec0:·a005·48f5·40a0·a005·48d6·4040·a090·9205··..H.@...H.@@.... | ||
| 00017ed0:·a090·9205·5167·a090·41a0·9041·a090· | 00017ed0:·5164·a090·9205·5167·a090·41a0·9041·a090··Qd....Qg..A..A.. | ||
| 00017ee0:·5703·40d0·d0d0·4040·a005·490e·4040· | 00017ee0:·9205·5703·40d0·d0d0·4040·a005·490e·4040··..W.@...@@..I.@@ | ||
| 00017ef0:·a005·490b·40d0·4005·4908·a005·4904· | 00017ef0:·4141·a005·490b·40d0·4005·4908·a005·4904··AA..I.@.@.I...I. | ||
| 00017f00:·4142·0549·01a0·0548·fd40·d0d0·4005· | 00017f00:·4040·4142·0549·01a0·0548·fd40·d0d0·4005··@@AB.I...H.@..@. | ||
| Max diff block lines reached; -1/332546 bytes (-0.00%) of diff not shown. | |||
| Offset 1, 8 lines modified | Offset 1, 8 lines modified | ||
| 00000000:·436f·7121·0001·4050·0000·0000·0002·a6 | 00000000:·436f·7121·0001·4050·0000·0000·0002·a66d··Coq!..@P.......m | ||
| 00000010:·8495·a6be·0000·0332·0000·0098·0000·0217··.......2........ | 00000010:·8495·a6be·0000·0332·0000·0098·0000·0217··.......2........ | ||
| 00000020:·0000·01c6·c0a0·2c6d·696e·696d·697a·6174··......,minimizat | 00000020:·0000·01c6·c0a0·2c6d·696e·696d·697a·6174··......,minimizat | ||
| 00000030:·696f·6ea0·2752·6567·4c61·6e67·4008·0000··ion.'RegLang@... | 00000030:·696f·6ea0·2752·6567·4c61·6e67·4008·0000··ion.'RegLang@... | ||
| 00000040:·4700·a0a0·2750·7265·6c75·6465·a024·496e··G...'Prelude.$In | 00000040:·4700·a0a0·2750·7265·6c75·6465·a024·496e··G...'Prelude.$In | ||
| 00000050:·6974·a023·436f·7140·9030·c7f5·9674·0295··it.#Coq@.0...t.. | 00000050:·6974·a023·436f·7140·9030·c7f5·9674·0295··it.#Coq@.0...t.. | ||
| 00000060:·790e·84d5·17cb·ca0a·ceef·a0a0·2a73·7472··y...........*str | 00000060:·790e·84d5·17cb·ca0a·ceef·a0a0·2a73·7472··y...........*str | ||
| 00000070:·7563·7475·7265·73a0·2248·4240·9030·d221··uctures."HB@.0.! | 00000070:·7563·7475·7265·73a0·2248·4240·9030·d221··uctures."HB@.0.! | ||
| Offset 43, 21 lines modified | Offset 43, 21 lines modified | ||
| 000002a0:·042a·0705·32a0·a030·6765·6e65·7269·635f··.*..2..0generic_ | 000002a0:·042a·0705·32a0·a030·6765·6e65·7269·635f··.*..2..0generic_ | ||
| 000002b0:·7175·6f74·6965·6e74·a029·7373·7265·666c··quotient.)ssrefl | 000002b0:·7175·6f74·6965·6e74·a029·7373·7265·666c··quotient.)ssrefl | ||
| 000002c0:·6563·74a0·286d·6174·6863·6f6d·7040·9030··ect.(mathcomp@.0 | 000002c0:·6563·74a0·286d·6174·6863·6f6d·7040·9030··ect.(mathcomp@.0 | ||
| 000002d0:·6d1a·e2fd·e9af·6c95·bf27·4037·5718·db9a··m.....l..'@7W... | 000002d0:·6d1a·e2fd·e9af·6c95·bf27·4037·5718·db9a··m.....l..'@7W... | ||
| 000002e0:·a0a0·246d·6973·63a0·2752·6567·4c61·6e67··..$misc.'RegLang | 000002e0:·a0a0·246d·6973·63a0·2752·6567·4c61·6e67··..$misc.'RegLang | ||
| 000002f0:·4090·303c·5de2·f3dc·8bd4·4d58·2fc1·2493··@.0<].....MX/.$. | 000002f0:·4090·303c·5de2·f3dc·8bd4·4d58·2fc1·2493··@.0<].....MX/.$. | ||
| 00000300:·d564·bca0·a029·6c61·6e67·7561·6765·73a0··.d...)languages. | 00000300:·d564·bca0·a029·6c61·6e67·7561·6765·73a0··.d...)languages. | ||
| 00000310:·2752·6567·4c61·6e67·4090·30 | 00000310:·2752·6567·4c61·6e67·4090·30d4·bac6·02c7··'RegLang@.0..... | ||
| 00000320:· | 00000320:·3bcf·1c37·7e73·465f·f36c·cea0·a023·6466··;..7~sF_.l...#df | ||
| 00000330:·61a0·2752·6567·4c61·6e67·4090·30 | 00000330:·61a0·2752·6567·4c61·6e67·4090·3027·e56d··a.'RegLang@.0'.m | ||
| 00000340:·838a·22cb·ba8d·0c89·616b·e76c·bf25·352e··..".....ak.l.%5. | |||
| 000003 | 00000340:·0fb6·42fe·91e2·2d59·64b4·de35·b225·352e··..B...-Yd..5.%5. | ||
| 00000350:·322e·30a0·4040·c656·e104·340d·0100·c07b··2.0.@@.V..4....{ | |||
| 00000360:· | 00000360:·9ae1·d21f·ef91·8495·a6be·0002·17fb·0000··................ | ||
| 00000370:·7c87·0001·ad | 00000370:·7c87·0001·ad80·0001·a188·b0d0·a02c·6d69··|............,mi | ||
| 00000380:·6e69·6d69·7a61·7469·6f6e·a027·5265·674c··nimization.'RegL | 00000380:·6e69·6d69·7a61·7469·6f6e·a027·5265·674c··nimization.'RegL | ||
| 00000390:·616e·6740·e090·0406·4190·a0a0·2463·6f6c··ang@....A...$col | 00000390:·616e·6740·e090·0406·4190·a0a0·2463·6f6c··ang@....A...$col | ||
| 000003a0:·6c90·0800·0027·0040·a080·8091·b7a0·9024··l....'.@.......$ | 000003a0:·6c90·0800·0027·0040·a080·8091·b7a0·9024··l....'.@.......$ | ||
| 000003b0:·6368·6172·409b·a0a0·90b0·a290·a027·6669··char@........'fi | 000003b0:·6368·6172·409b·a0a0·90b0·a290·a027·6669··char@........'fi | ||
| 000003c0:·6e74·7970·65a0·2973·7372·6566·6c65·6374··ntype.)ssreflect | 000003c0:·6e74·7970·65a0·2973·7372·6566·6c65·6374··ntype.)ssreflect | ||
| 000003d0:·a028·6d61·7468·636f·6d70·4026·4669·6e69··.(mathcomp@&Fini | 000003d0:·a028·6d61·7468·636f·6d70·4026·4669·6e69··.(mathcomp@&Fini | ||
| 000003e0:·7465·2474·7970·6502·0200·3208·4004·15b7··te$type...2.@... | 000003e0:·7465·2474·7970·6502·0200·3208·4004·15b7··te$type...2.@... | ||
| Offset 2358, 16 lines modified | Offset 2358, 16 lines modified | ||
| 00009350:·c0c0·40b0·a003·0001·54b5·add3·851a·90b0··..@.....T....... | 00009350:·c0c0·40b0·a003·0001·54b5·add3·851a·90b0··..@.....T....... | ||
| 00009360:·0513·ec05·01bb·0105·0041·a003·01e0·7308··.........A....s. | 00009360:·0513·ec05·01bb·0105·0041·a003·01e0·7308··.........A....s. | ||
| 00009370:·2ad4·7313·90b0·042c·0426·6a40·41b0·a003··*.s....,.&j@A... | 00009370:·2ad4·7313·90b0·042c·0426·6a40·41b0·a003··*.s....,.&j@A... | ||
| 00009380:·0001·54b5·ae0c·9321·90b0·a027·7373·7262··..T....!...'ssrb | 00009380:·0001·54b5·ae0c·9321·90b0·a027·7373·7262··..T....!...'ssrb | ||
| 00009390:·6f6f·6ca0·2373·7372·a023·436f·7140·043d··ool.#ssr.#Coq@.= | 00009390:·6f6f·6ca0·2373·7372·a023·436f·7140·043d··ool.#ssr.#Coq@.= | ||
| 000093a0:·0105·3941·0501·96c0·40b0·040b·4105·016f··..9A....@...A..o | 000093a0:·0105·3941·0501·96c0·40b0·040b·4105·016f··..9A....@...A..o | ||
| 000093b0:·c040·b004·ca41·0411·4041·4243·4447·484a··.@...A..@ABCDGHJ | 000093b0:·c040·b004·ca41·0411·4041·4243·4447·484a··.@...A..@ABCDGHJ | ||
| 000093c0:·90a0·0514·ab90·30 | 000093c0:·90a0·0514·ab90·3027·e56d·0fb6·42fe·91e2··......0'.m..B... | ||
| 000093d0:· | 000093d0:·2d59·64b4·de35·b290·40a0·4040·a0a0·95a0··-Yd..5..@.@@.... | ||
| 000093e0:·0232·0a51·8fa0·051a·95b0·9140·4040·a095··.2.Q.......@@@.. | 000093e0:·0232·0a51·8fa0·051a·95b0·9140·4040·a095··.2.Q.......@@@.. | ||
| 000093f0:·a002·0fc0·a2b8·a090·e041·4040·4040·40a0··.........A@@@@@. | 000093f0:·a002·0fc0·a2b8·a090·e041·4040·4040·40a0··.........A@@@@@. | ||
| 00009400:·a091·0512·cba0·a040·a090·c0b0·051a·9f41··.......@.......A | 00009400:·a091·0512·cba0·a040·a090·c0b0·051a·9f41··.......@.......A | ||
| 00009410:·4090·9042·4041·a090·c0b0·051a·9242·4091··@..B@A.......B@. | 00009410:·4090·9042·4041·a090·c0b0·051a·9242·4091··@..B@A.......B@. | ||
| 00009420:·9043·4041·a040·a040·4040·40a0·95a0·0227··.C@A.@.@@@@....' | 00009420:·9043·4041·a040·a040·4040·40a0·95a0·0227··.C@A.@.@@@@....' | ||
| 00009430:·60a0·6fd0·4091·0512·e0a0·40a0·40a0·40a0··`.o.@.....@.@.@. | 00009430:·60a0·6fd0·4091·0512·e0a0·40a0·40a0·40a0··`.o.@.....@.@.@. | ||
| 00009440:·4040·a090·9205·1ab1·a090·9205·1aa0·a090··@@.............. | 00009440:·4040·a090·9205·1ab1·a090·9205·1aa0·a090··@@.............. | ||
| Offset 2915, 15 lines modified | Offset 2915, 15 lines modified | ||
| 0000b620:·2e6d·696e·696d·697a·6174·696f·6e39·2e2f··.minimization9./ | 0000b620:·2e6d·696e·696d·697a·6174·696f·6e39·2e2f··.minimization9./ | ||
| 0000b630:·7468·656f·7269·6573·2f6d·696e·696d·697a··theories/minimiz | 0000b630:·7468·656f·7269·6573·2f6d·696e·696d·697a··theories/minimiz | ||
| 0000b640:·6174·696f·6e2e·7601·1b58·011b·8f01·00c3··ation.v..X...... | 0000b640:·6174·696f·6e2e·7601·1b58·011b·8f01·00c3··ation.v..X...... | ||
| 0000b650:·011b·56c0·4040·4041·b0c3·9140·2f6c·6f63··..V.@@@A...@/loc | 0000b650:·011b·56c0·4040·4041·b0c3·9140·2f6c·6f63··..V.@@@A...@/loc | ||
| 0000b660:·616c·2d63·616e·6f6e·6963·616c·b095·a091··al-canonical.... | 0000b660:·616c·2d63·616e·6f6e·6963·616c·b095·a091··al-canonical.... | ||
| 0000b670:·0513·8158·040d·a022·5479·9090·9090·2863··...X..."Ty....(c | 0000b670:·0513·8158·040d·a022·5479·9090·9090·2863··...X..."Ty....(c | ||
| 0000b680:·6f6e·7374·616e·7440·0414·a004·0790·9090··onstant@........ | 0000b680:·6f6e·7374·616e·7440·0414·a004·0790·9090··onstant@........ | ||
| 0000b690:·4040·4040·4029·3 | 0000b690:·4040·4040·4029·3637·3237·3631·3535·38e0··@@@@@)672761558. | ||
| 0000b6a0:·d0d0·d0d0·4025·4063·6173·74a0·b0b4·90a0··....@%@cast..... | 0000b6a0:·d0d0·d0d0·4025·4063·6173·74a0·b0b4·90a0··....@%@cast..... | ||
| 0000b6b0:·2154·226c·7040·b0b4·90a0·2254·5904·0640··!T"lp@...."TY..@ | 0000b6b0:·2154·226c·7040·b0b4·90a0·2254·5904·0640··!T"lp@...."TY..@ | ||
| 0000b6c0:·b0c3·9140·236c·6574·b095·a090·2463·6173··...@#let....$cas | 0000b6c0:·b0c3·9140·236c·6574·b095·a090·2463·6173··...@#let....$cas | ||
| 0000b6d0:·7453·e040·3063·6f71·2d62·7569·6c74·696e··tS.@0coq-builtin | 0000b6d0:·7453·e040·3063·6f71·2d62·7569·6c74·696e··tS.@0coq-builtin | ||
| 0000b6e0:·2e65·6c70·6901·24e8·0124·ee01·00e1·0124··.elpi.$..$.....$ | 0000b6e0:·2e65·6c70·6901·24e8·0124·ee01·00e1·0124··.elpi.$..$.....$ | ||
| 0000b6f0:·cfa0·0429·9040·a0b0·a190·0417·0412·e040··...).@.........@ | 0000b6f0:·cfa0·0429·9040·a0b0·a190·0417·0412·e040··...).@.........@ | ||
| 0000b700:·0408·0124·ef01·24f1·0100·e101·24cf·a004··...$..$.....$... | 0000b700:·0408·0124·ef01·24f1·0100·e101·24cf·a004··...$..$.....$... | ||
| Offset 7662, 3204 lines modified | Offset 7662, 3205 lines modified | ||
| 0001ded0:·0562·6701·0558·d040·0517·08a0·a090·40a0··.bg..X.@......@. | 0001ded0:·0562·6701·0558·d040·0517·08a0·a090·40a0··.bg..X.@......@. | ||
| 0001dee0:·9040·a090·41a0·9041·40e0·4005·1669·0101··.@..A..A@.@..i.. | 0001dee0:·9040·a090·41a0·9041·40e0·4005·1669·0101··.@..A..A@.@..i.. | ||
| 0001def0:·ac01·01d5·4c01·01ac·d040·0517·07a0·a090··....L....@...... | 0001def0:·ac01·01d5·4c01·01ac·d040·0517·07a0·a090··....L....@...... | ||
| 0001df00:·40a0·9041·a090·4140·e040·0516·7201·01d7··@..A..A@.@..r... | 0001df00:·40a0·9041·a090·4140·e040·0516·7201·01d7··@..A..A@.@..r... | ||
| 0001df10:·0102·034d·0101·d7d0·4005·1705·a0a0·9040··...M....@......@ | 0001df10:·0102·034d·0101·d7d0·4005·1705·a0a0·9040··...M....@......@ | ||
| 0001df20:·a090·4140·e040·0516·7901·022a·0102·424f··..A@.@..y..*..BO | 0001df20:·a090·4140·e040·0516·7901·022a·0102·424f··..A@.@..y..*..BO | ||
| 0001df30:·0102·2a40·4142·4344·4546·4748·494b·4c05··..*@ABCDEFGHIKL. | 0001df30:·0102·2a40·4142·4344·4546·4748·494b·4c05··..*@ABCDEFGHIKL. | ||
| 0001df40:·4614·0c00·0000·0000·00 | 0001df40:·4614·0c00·0000·0000·00f7·3e40·4140·a095··F.........>@A@.. | ||
| 0001df50:·a002·347d·c1ff·a027·5f45·4c50·495f·32c0··..4}...'_ELPI_2. | 0001df50:·a002·347d·c1ff·a027·5f45·4c50·495f·32c0··..4}...'_ELPI_2. | ||
| 0001df60:·a022·6862·a022·6462·40a0·a0b0·056b·9e21··."hb."db@....k.! | 0001df60:·a022·6862·a022·6462·40a0·a0b0·056b·9e21··."hb."db@....k.! | ||
| 0001df70:·3202·3617·4c9b·d005·4627·d0e0·4040·4040··2.6.L...F'..@@@@ | 0001df70:·3202·3617·4c9b·d005·4627·d0e0·4040·4040··2.6.L...F'..@@@@ | ||
| 0001df80:·4005·4626·40a0·c005·4625·0546·21b0·c391··@.F&@...F%.F!... | 0001df80:·4005·4626·40a0·c005·4625·0546·21b0·c391··@.F&@...F%.F!... | ||
| 0001df90:·4005·2a19·b0c3·9140·052c·eab0·c391·4005··@.*....@.,....@. | 0001df90:·4005·2a19·b0c3·9140·052c·eab0·c391·4005··@.*....@.,....@. | ||
| 0001dfa0:·3ce6·b095·a091·0559·fb58·0546·32a0·0546··<......Y.X.F2..F | 0001dfa0:·3ce6·b095·a091·0559·fb58·0546·32a0·0546··<......Y.X.F2..F | ||
| 0001dfb0:·2590·9090·053c·e940·0546·36a0·0546·2990··%....<.@.F6..F). | 0001dfb0:·2590·9090·053c·e940·0546·36a0·0546·2990··%....<.@.F6..F). | ||
| 0001dfc0:·9090·052c·f440·0546·3aa0·0546·2d90·9090··...,.@.F:..F-... | 0001dfc0:·9090·052c·f440·0546·3aa0·0546·2d90·9090··...,.@.F:..F-... | ||
| 0001dfd0:·052a·2aa0·b0c3·9140·0529·87b0·95a0·0546··.**....@.).....F | 0001dfd0:·052a·2aa0·b0c3·9140·0529·87b0·95a0·0546··.**....@.).....F | ||
| 0001dfe0:·cf57·0546·45a0·0546·3890·9090·0529·8940··.W.FE..F8....).@ | 0001dfe0:·cf57·0546·45a0·0546·3890·9090·0529·8940··.W.FE..F8....).@ | ||
| 0001dff0:·0546·49a0·0546·3c90·9090·052a·36a0·b0c3··.FI..F<....*6... | 0001dff0:·0546·49a0·0546·3c90·9090·052a·36a0·b0c3··.FI..F<....*6... | ||
| 0001e000:·9140·053d·09b0·95a0·9105·5608·5805·4655··.@.=......V.X.FU | 0001e000:·9140·053d·09b0·95a0·9105·5608·5805·4655··.@.=......V.X.FU | ||
| 0001e010:·a005·4648·9090·9005·3d0c·4005·4659·a005··..FH....=.@.FY.. | 0001e010:·a005·4648·9090·9005·3d0c·4005·4659·a005··..FH....=.@.FY.. | Diff chunk too large, falling back to line-by-line diff (3183 lines added, 3182 lines removed) | |
| 0001e020:·464c·9090·9005·2a44·4005·465d·a005·4650··FL....*D@.F]..FP | 0001e020:·464c·9090·9005·2a44·4005·465d·a005·4650··FL....*D@.F]..FP | ||
| 0001e030:·9090·9040·4040·4040·2 | 0001e030:·9090·9040·4040·4040·2a31·3034·3931·3436··...@@@@@*1049146 | ||
| 0001e040:·3 | 0001e040:·3135·39e0·0546·4905·40eb·053f·6805·172f··159..FI.@..?h../ | ||
| 0001e050:·16a0 | 0001e050:·0516·a005·4666·0c00·0000·0000·40fc·3e40··....Ff......@.>@ | ||
| 0001e060:·40a0 | 0001e060:·4140·a095·a002·1b83·229d·b090·055a·2e40··A@......"....Z.@ | ||
| 0001e070:·055a | 0001e070:·a005·5a07·a005·5a0b·40a0·95a0·0232·0a51··..Z...Z.@....2.Q | ||
| 0001e080:·a005 | 0001e080:·8fa0·055a·34b0·0547·6240·40a0·95a0·020f··...Z4..Gb@@..... | ||
| 0001e090:·a2b8 | 0001e090:·c0a2·b8a0·9005·4830·a0a0·9105·599b·a0a0··......H0....Y... | ||
| 0001e0a0:·a090 | 0001e0a0:·40a0·90c0·b005·6bf2·4140·9090·4240·41a0··@.....k.A@..B@A. | ||
| 0001e0b0:·4040·40 | 0001e0b0:·4040·4040·a095·a002·2760·a06f·d040·9105··@@@@....'`.o.@.. | ||
| 0001e0c0:· | 0001e0c0:·59a9·a040·a040·40a0·9092·056b·fba0·9092··Y..@.@@....k.... | ||
| 0001e0d0:·6bea· | 0001e0d0:·056b·ea40·d0d0·d040·40a0·0551·4440·4041··.k.@...@@..QD@@A | ||
| 0001e0e0:·a005 | 0001e0e0:·41a0·0551·4140·d040·0551·3ea0·0551·3a40··A..QA@.@.Q>..Q:@ | ||
| 0001e0f0:·4142 | 0001e0f0:·4041·4205·5137·a005·5133·40d0·d040·0551··@AB.Q7..Q3@..@.Q | ||
| 0001e100:·a005 | 0001e100:·30a0·0551·2740·4041·0551·24a0·0551·1940··0..Q'@@A.Q$..Q.@ | ||
| 0001e110:·4005 | 0001e110:·d040·0551·16a0·0551·1140·d040·0551·0ea0··.@.Q...Q.@.@.Q.. | ||
| 0001e120:·5109 | 0001e120:·0551·0940·4041·4243·44a0·95a0·0232·0a51··.Q.@@ABCD....2.Q | ||
| 0001e130:·a005 | 0001e130:·8fa0·0559·e2b0·0547·9540·40a0·95a0·020f··...Y...G.@@..... | ||
| 0001e140:·a2b8 | 0001e140:·c0a2·b8a0·9005·4863·a0a0·9105·567d·a0a0··......Hc....V}.. | ||
| 0001e150:·a090 | 0001e150:·40a0·90c0·b005·6c25·4140·9090·4240·41a0··@.....l%A@..B@A. | ||
| 0001e160:·4040·40 | 0001e160:·4040·4040·a095·a002·2760·a06f·d040·9105··@@@@....'`.o.@.. | ||
| 0001e170:·8ba0 | 0001e170:·568b·a040·a040·40a0·9092·056c·2ea0·9092··V..@.@@....l.... | ||
| 0001e180:·6c1d· | 0001e180:·056c·1d40·d0d0·d040·40a0·0551·7740·4041··.l.@...@@..Qw@@A | ||
| 0001e190:·a005 | 0001e190:·41a0·0551·7440·d040·0551·71a0·0551·6d40··A..Qt@.@.Qq..Qm@ | ||
| 0001e1a0:·4142 | 0001e1a0:·4041·4205·516a·a005·5166·40d0·d040·0551··@AB.Qj..Qf@..@.Q | ||
| 0001e1b0:·a005 | 0001e1b0:·63a0·0551·5a40·4041·0551·57a0·0551·4c40··c..QZ@@A.QW..QL@ | ||
| 0001e1c0:·4005 | 0001e1c0:·d040·0551·49a0·0551·4440·d040·0551·41a0··.@.QI..QD@.@.QA. | ||
| 0001e1d0:·513c | 0001e1d0:·0551·3c40·4041·4243·44a0·95a0·0228·d188··.Q<@@ABCD....(.. | ||
| 0001e1e0:·a0a0 | 0001e1e0:·5aa0·a091·0556·a9a0·90b0·a290·055a·3725··Z....V.......Z7% | ||
| 0001e1f0:·7353 | 0001e1f0:·6973·5375·6205·4762·0218·acc1·f240·40a0··isSub.Gb.....@@. | ||
| 0001e200:·a002 | 0001e200:·95a0·0232·0a51·8fa0·0559·fdb0·0547·d440··...2.Q...Y...G.@ | ||
| 0001e210:·a095 | 0001e210:·40a0·95a0·020f·c0a2·b8a0·9005·48a2·a0a0··@...........H... | ||
| 0001e220:·0559 | 0001e220:·9105·59d5·a0a0·40a0·90c0·b005·6c64·4140··..Y...@.....ldA@ | ||
| 0001e230:·90 | 0001e230:·9090·4240·41a0·4040·4040·a095·a002·2760··..B@A.@@@@....'` | ||
| 0001e240:·6fd0 | 0001e240:·a06f·d040·9105·59e3·a040·a040·40a0·9092··.o.@..Y..@.@@... | ||
| 0001e250:·6c6d | 0001e250:·056c·6da0·9092·056c·5c40·d0d0·d040·40a0··.lm....l\@...@@. | ||
| 0001e260:·51b6 | 0001e260:·0551·b640·4041·41a0·0551·b340·d040·0551··.Q.@@AA..Q.@.@.Q | ||
| 0001e270:·a005 | 0001e270:·b0a0·0551·ac40·4041·4205·51a9·a005·51a5··...Q.@@AB.Q...Q. | ||
| 0001e280:· | 0001e280:·40d0·d040·0551·a2a0·0551·9940·4041·0551··@..@.Q...Q.@@A.Q | ||
| 0001e290:·a005 | 0001e290:·96a0·0551·8b40·d040·0551·88a0·0551·8340··...Q.@.@.Q...Q.@ | ||
| Max diff block lines reached; -1/445777 bytes (-0.00%) of diff not shown. | |||
| Offset 7, 25 lines modified | Offset 7, 25 lines modified | ||
| 00000060:·d517·cbca·0ace·efa0·a02d·616c·6c5f·7373··.........-all_ss | 00000060:·d517·cbca·0ace·efa0·a02d·616c·6c5f·7373··.........-all_ss | ||
| 00000070:·7265·666c·6563·74a0·2973·7372·6566·6c65··reflect.)ssrefle | 00000070:·7265·666c·6563·74a0·2973·7372·6566·6c65··reflect.)ssrefle | ||
| 00000080:·6374·a028·6d61·7468·636f·6d70·4090·30c7··ct.(mathcomp@.0. | 00000080:·6374·a028·6d61·7468·636f·6d70·4090·30c7··ct.(mathcomp@.0. | ||
| 00000090:·9dd8·c77d·a11c·eb36·06fa·6dbe·0b95·eca0··...}...6..m..... | 00000090:·9dd8·c77d·a11c·eb36·06fa·6dbe·0b95·eca0··...}...6..m..... | ||
| 000000a0:·a024·6d69·7363·a027·5265·674c·616e·6740··.$misc.'RegLang@ | 000000a0:·a024·6d69·7363·a027·5265·674c·616e·6740··.$misc.'RegLang@ | ||
| 000000b0:·9030·3c5d·e2f3·dc8b·d44d·582f·c124·93d5··.0<].....MX/.$.. | 000000b0:·9030·3c5d·e2f3·dc8b·d44d·582f·c124·93d5··.0<].....MX/.$.. | ||
| 000000c0:·64bc·a0a0·296c·616e·6775·6167·6573·a027··d...)languages.' | 000000c0:·64bc·a0a0·296c·616e·6775·6167·6573·a027··d...)languages.' | ||
| 000000d0:·5265·674c·616e·6740·9030· | 000000d0:·5265·674c·616e·6740·9030·d4ba·c602·c73b··RegLang@.0.....; | ||
| 000000e0:· | 000000e0:·cf1c·377e·7346·5ff3·6cce·a0a0·2364·6661··..7~sF_.l...#dfa | ||
| 000000f0:·a027·5265·674c·616e·6740·9030· | 000000f0:·a027·5265·674c·616e·6740·9030·27e5·6d0f··.'RegLang@.0'.m. | ||
| 00000100:· | 00000100:·b642·fe91·e22d·5964·b4de·35b2·a0a0·2c6d··.B...-Yd..5...,m | ||
| 00000110:·696e·696d·697a·6174·696f·6ea0·2752·6567··inimization.'Reg | 00000110:·696e·696d·697a·6174·696f·6ea0·2752·6567··inimization.'Reg | ||
| 00000120:·4c61·6e67·4090·30 | 00000120:·4c61·6e67·4090·30aa·b54c·5142·24c8·e9c9··Lang@.0..LQB$... | ||
| 00000130:· | 00000130:·0772·2648·2f6c·d9a0·a026·7265·6765·7870··.r&H/l...®exp | ||
| 00000140:·a027·5265·674c·616e·6740·9030· | 00000140:·a027·5265·674c·616e·6740·9030·98ba·e94c··.'RegLang@.0...L | ||
| 00000150:·67aa·20b9·961b·1d4f·cb7c·bfb3·2535·2e32··g.·....O.|..%5.2 | |||
| 000001 | 00000150:·a885·114e·8b3f·ee36·fdf6·bc62·2535·2e32··...N.?.6...b%5.2 | ||
| 00000160:·2e30·a040·40c1·3a67·bd10·3eb5·6484·1264··.0.@@.:g..>.d..d | |||
| 00000170:· | 00000170:·12a5·fb8a·0784·95a6·be00·007a·5300·001b··...........zS... | ||
| 00000180:·7600·0060·6200·005d·79b0·d0a0·2d6d·7968··v..`b..]y...-myh | 00000180:·7600·0060·6200·005d·79b0·d0a0·2d6d·7968··v..`b..]y...-myh | ||
| 00000190:·696c·6c5f·6e65·726f·6465·a027·5265·674c··ill_nerode.'RegL | 00000190:·696c·6c5f·6e65·726f·6465·a027·5265·674c··ill_nerode.'RegL | ||
| 000001a0:·616e·6740·e090·0406·4190·a0a0·2a63·6c61··ang@....A...*cla | 000001a0:·616e·6740·e090·0406·4190·a0a0·2a63·6c61··ang@....A...*cla | ||
| 000001b0:·7373·6966·6965·7291·0800·003f·0090·0800··ssifier....?.... | 000001b0:·7373·6966·6965·7291·0800·003f·0090·0800··ssifier....?.... | ||
| 000001c0:·0043·0004·05a0·a0a0·9024·6368·6172·409b··.C.......$char@. | 000001c0:·0043·0004·05a0·a0a0·9024·6368·6172·409b··.C.......$char@. | ||
| 000001d0:·a0a0·90b0·a290·a027·6669·6e74·7970·65a0··.......'fintype. | 000001d0:·a0a0·90b0·a290·a027·6669·6e74·7970·65a0··.......'fintype. | ||
| 000001e0:·2973·7372·6566·6c65·6374·a028·6d61·7468··)ssreflect.(math | 000001e0:·2973·7372·6566·6c65·6374·a028·6d61·7468··)ssreflect.(math | ||
| Offset 1361, 18 lines modified | Offset 1361, 18 lines modified | ||
| 00005500:·a003·01f9·78fa·bc1b·5fa8·90b0·0504·7520··....x..._.....u· | 00005500:·a003·01f9·78fa·bc1b·5fa8·90b0·0504·7520··....x..._.....u· | ||
| 00005510:·0101·c841·04c9·4042·b004·6741·04ca·c040··...A..@B..gA...@ | 00005510:·0101·c841·04c9·4042·b004·6741·04ca·c040··...A..@B..gA...@ | ||
| 00005520:·b004·6941·0492·c040·b0a0·0300·0154·b5ae··..iA...@.....T.. | 00005520:·b004·6941·0492·c040·b0a0·0300·0154·b5ae··..iA...@.....T.. | ||
| 00005530:·0c93·2190·b005·044d·0409·0105·3941·04d1··..!....M....9A.. | 00005530:·0c93·2190·b005·044d·0409·0105·3941·04d1··..!....M....9A.. | ||
| 00005540:·c040·b004·bd41·a003·0001·54b5·add9·8694··.@...A....T..... | 00005540:·c040·b004·bd41·a003·0001·54b5·add9·8694··.@...A....T..... | ||
| 00005550:·90b0·04ca·04c8·0105·0640·4142·4344·4547··.........@ABCDEG | 00005550:·90b0·04ca·04c8·0105·0640·4142·4344·4547··.........@ABCDEG | ||
| 00005560:·a0a0·a02c·6d69·6e69·6d69·7a61·7469·6f6e··...,minimization | 00005560:·a0a0·a02c·6d69·6e69·6d69·7a61·7469·6f6e··...,minimization | ||
| 00005570:·a027·5265·674c·616e·6740·9030· | 00005570:·a027·5265·674c·616e·6740·9030·aab5·4c51··.'RegLang@.0..LQ | ||
| 00005580:·d8f2·dc81·f732·2b6f·e173·c7dd·a005·0d92··.....2+o.s...... | |||
| 000055 | 00005580:·4224·c8e9·c907·7226·482f·6cd9·a005·0d92··B$....r&H/l..... | ||
| 00005590:·9030·98ba·e94c·a885·114e·8b3f·ee36·fdf6··.0...L...N.?.6.. | |||
| 000055a0:·b | 000055a0:·bc62·9040·a040·40a0·a095·a002·1c4e·24fd··.b.@.@@......N$. | ||
| 000055b0:·a005·0f9b·90a0·a005·0f9e·a005·0f69·4040··.............i@@ | 000055b0:·a005·0f9b·90a0·a005·0f9e·a005·0f69·4040··.............i@@ | ||
| 000055c0:·a095·a002·0fc0·a2b8·a0a1·050f·24e0·4140··............$.A@ | 000055c0:·a095·a002·0fc0·a2b8·a0a1·050f·24e0·4140··............$.A@ | ||
| 000055d0:·4040·4040·a0a0·92a0·050f·2940·a0a0·40a0··@@@@......)@..@. | 000055d0:·4040·4040·a0a0·92a0·050f·2940·a0a0·40a0··@@@@......)@..@. | ||
| 000055e0:·4040·40a0·a093·a004·0841·a0a0·40a0·90c0··@@@......A..@... | 000055e0:·4040·40a0·a093·a004·0841·a0a0·40a0·90c0··@@@......A..@... | ||
| 000055f0:·b005·0f3f·4140·9190·4340·41a0·90c0·b005··...?A@..C@A..... | 000055f0:·b005·0f3f·4140·9190·4340·41a0·90c0·b005··...?A@..C@A..... | ||
| 00005600:·0f49·4240·9104·0640·41a0·4040·4040·a095··.IB@...@A.@@@@.. | 00005600:·0f49·4240·9104·0640·41a0·4040·4040·a095··.IB@...@A.@@@@.. | ||
| 00005610:·a002·2760·a06f·d040·92a0·050f·4440·a040··..'`.o.@....D@.@ | 00005610:·a002·2760·a06f·d040·92a0·050f·4440·a040··..'`.o.@....D@.@ | ||
| Offset 1975, 16 lines modified | Offset 1975, 16 lines modified | ||
| 00007b60:·a040·a040·a040·40a0·9092·051b·47a0·9092··.@.@.@@.....G... | 00007b60:·a040·a040·a040·40a0·9092·051b·47a0·9092··.@.@.@@.....G... | ||
| 00007b70:·0513·32a0·9091·050d·8a40·d0d0·d040·40a0··..2......@...@@. | 00007b70:·0513·32a0·9091·050d·8a40·d0d0·d040·40a0··..2......@...@@. | ||
| 00007b80:·050b·9140·4041·41a0·050b·8e40·d040·050b··...@@AA....@.@.. | 00007b80:·050b·9140·4041·41a0·050b·8e40·d040·050b··...@@AA....@.@.. | ||
| 00007b90:·8ba0·050b·8740·4041·4205·0b84·a005·0b80··.....@@AB....... | 00007b90:·8ba0·050b·8740·4041·4205·0b84·a005·0b80··.....@@AB....... | ||
| 00007ba0:·40d0·d040·050b·7da0·050b·7440·4041·050b··@..@..}...t@@A.. | 00007ba0:·40d0·d040·050b·7da0·050b·7440·4041·050b··@..@..}...t@@A.. | ||
| 00007bb0:·71a0·050b·6740·d040·050b·64a0·050b·5f40··q...g@.@..d..._@ | 00007bb0:·71a0·050b·6740·d040·050b·64a0·050b·5f40··q...g@.@..d..._@ | ||
| 00007bc0:·d040·050b·5ca0·050b·5740·d040·050b·54a0··.@..\...W@.@..T. | 00007bc0:·d040·050b·5ca0·050b·5740·d040·050b·54a0··.@..\...W@.@..T. | ||
| 00007bd0:·050b·4e40·4041·4243·4445·4040· | 00007bd0:·050b·4e40·4041·4243·4445·4040·201a·2629··..N@@ABCDE@@·.&) | ||
| 00007be0:· | 00007be0:·c68f·2639·c4b9·f028·3291·27be·8495·a6be··..&9...(2.'..... | ||
| 00007bf0:·0000·3a5b·0000·0c84·0000·29a5·0000·28f4··..:[......)...(. | 00007bf0:·0000·3a5b·0000·0c84·0000·29a5·0000·28f4··..:[......)...(. | ||
| 00007c00:·0800·0043·0090·a0b7·a090·224c·3140·a99a··...C......"L1@.. | 00007c00:·0800·0043·0090·a0b7·a090·224c·3140·a99a··...C......"L1@.. | ||
| 00007c10:·a090·b090·a029·6c61·6e67·7561·6765·73a0··.....)languages. | 00007c10:·a090·b090·a029·6c61·6e67·7561·6765·73a0··.....)languages. | ||
| 00007c20:·2752·6567·4c61·6e67·4025·646c·616e·6702··'RegLang@%dlang. | 00007c20:·2752·6567·4c61·6e67·4025·646c·616e·6702··'RegLang@%dlang. | ||
| 00007c30:·0ec5·a1dc·a080·8090·a99a·a090·b0a2·a290··................ | 00007c30:·0ec5·a1dc·a080·8090·a99a·a090·b0a2·a290··................ | ||
| 00007c40:·a027·6669·6e74·7970·65a0·2973·7372·6566··.'fintype.)ssref | 00007c40:·a027·6669·6e74·7970·65a0·2973·7372·6566··.'fintype.)ssref | ||
| 00007c50:·6c65·6374·a028·6d61·7468·636f·6d70·4026··lect.(mathcomp@& | 00007c50:·6c65·6374·a028·6d61·7468·636f·6d70·4026··lect.(mathcomp@& | ||
| Offset 3040, 17 lines modified | Offset 3040, 17 lines modified | ||
| 0000bdf0:·3700·2005·0d4a·0c37·0123·3a01·2905·8022··7.·..J.7.#:.).." | 0000bdf0:·3700·2005·0d4a·0c37·0123·3a01·2905·8022··7.·..J.7.#:.).." | ||
| 0000be00:·381c·80c0·352d·0003·8c2a·2b01·010a·3700··8...5-...*+...7. | 0000be00:·381c·80c0·352d·0003·8c2a·2b01·010a·3700··8...5-...*+...7. | ||
| 0000be10:·220b·4a37·0122·3a01·2902·8022·2814·80c0··".J7.":.).."(... | 0000be10:·220b·4a37·0122·3a01·2902·8022·2814·80c0··".J7.":.).."(... | ||
| 0000be20:·362d·0003·8c2a·2b02·020b·0b37·0023·0b0b··6-...*+....7.#.. | 0000be20:·362d·0003·8c2a·2b02·020b·0b37·0023·0b0b··6-...*+....7.#.. | ||
| 0000be30:·3701·223a·0129·0380·222c·1480·238f·8fce··7.":.)..",..#... | 0000be30:·3701·223a·0129·0380·222c·1480·238f·8fce··7.":.)..",..#... | ||
| 0000be40:·7070·7a0d·7719·5334·bfec·975a·0000·0004··ppz.w.S4...Z.... | 0000be40:·7070·7a0d·7719·5334·bfec·975a·0000·0004··ppz.w.S4...Z.... | ||
| 0000be50:·0000·0007·6c69·6272·6172·7900·0000·0000··....library..... | 0000be50:·0000·0007·6c69·6272·6172·7900·0000·0000··....library..... | ||
| 0000be60:·0001·7500·0000·0000·007a·67 | 0000be60:·0001·7500·0000·0000·007a·6720·1a26·29c6··..u......zg·.&). | ||
| 0000be70:· | 0000be70:·8f26·39c4·b9f0·2832·9127·be00·0000·076f··.&9...(2.'.....o | ||
| 0000be80:·7061·7175·6573·0000·0000·0000·7bec·0000··paques......{... | 0000be80:·7061·7175·6573·0000·0000·0000·7bec·0000··paques......{... | ||
| 0000be90:·0000·0000·3a6f·ea9e·3030·d8b8·b562·9011··....:o..00...b.. | 0000be90:·0000·0000·3a6f·ea9e·3030·d8b8·b562·9011··....:o..00...b.. | ||
| 0000bea0:·533f·e486·1f2d·0000·0007·7375·6d6d·6172··S?...-....summar | 0000bea0:·533f·e486·1f2d·0000·0007·7375·6d6d·6172··S?...-....summar | ||
| 0000beb0:·7900·0000·0000·0000·1000·0000·0000·0001··y............... | 0000beb0:·7900·0000·0000·0000·1000·0000·0000·0001··y............... | ||
| 0000bec0:·55 | 0000bec0:·55c1·3a67·bd10·3eb5·6484·1264·12a5·fb8a··U.:g..>.d..d.... | ||
| 0000bed0:· | 0000bed0:·0700·0000·0976·6d6c·6962·7261·7279·0000··.....vmlibrary.. | ||
| 0000bee0:·0000·0000·b66b·0000·0000·0000·07d1·238f··.....k........#. | 0000bee0:·0000·0000·b66b·0000·0000·0000·07d1·238f··.....k........#. | ||
| 0000bef0:·8fce·7070·7a0d·7719·5334·bfec·975a·······..ppz.w.S4...Z | 0000bef0:·8fce·7070·7a0d·7719·5334·bfec·975a·······..ppz.w.S4...Z |
| Offset 7, 19 lines modified | Offset 7, 19 lines modified | ||
| 00000060:·616c·6c5f·7373·7265·666c·6563·74a0·2973··all_ssreflect.)s | 00000060:·616c·6c5f·7373·7265·666c·6563·74a0·2973··all_ssreflect.)s | ||
| 00000070:·7372·6566·6c65·6374·a028·6d61·7468·636f··sreflect.(mathco | 00000070:·7372·6566·6c65·6374·a028·6d61·7468·636f··sreflect.(mathco | ||
| 00000080:·6d70·4090·30c7·9dd8·c77d·a11c·eb36·06fa··mp@.0....}...6.. | 00000080:·6d70·4090·30c7·9dd8·c77d·a11c·eb36·06fa··mp@.0....}...6.. | ||
| 00000090:·6dbe·0b95·eca0·a024·6d69·7363·a027·5265··m......$misc.'Re | 00000090:·6dbe·0b95·eca0·a024·6d69·7363·a027·5265··m......$misc.'Re | ||
| 000000a0:·674c·616e·6740·9030·3c5d·e2f3·dc8b·d44d··gLang@.0<].....M | 000000a0:·674c·616e·6740·9030·3c5d·e2f3·dc8b·d44d··gLang@.0<].....M | ||
| 000000b0:·582f·c124·93d5·64bc·a0a0·296c·616e·6775··X/.$..d...)langu | 000000b0:·582f·c124·93d5·64bc·a0a0·296c·616e·6775··X/.$..d...)langu | ||
| 000000c0:·6167·6573·a027·5265·674c·616e·6740·9030··ages.'RegLang@.0 | 000000c0:·6167·6573·a027·5265·674c·616e·6740·9030··ages.'RegLang@.0 | ||
| 000000d0:· | 000000d0:·d4ba·c602·c73b·cf1c·377e·7346·5ff3·6cce··.....;..7~sF_.l. | ||
| 000000e0:·a0a0·2364·6661·a027·5265·674c·616e·6740··..#dfa.'RegLang@ | 000000e0:·a0a0·2364·6661·a027·5265·674c·616e·6740··..#dfa.'RegLang@ | ||
| 000000f0:·9030· | 000000f0:·9030·27e5·6d0f·b642·fe91·e22d·5964·b4de··.0'.m..B...-Yd.. | ||
| 00000100:· | 00000100:·35b2·2535·2e32·2e30·a040·40d9·b33c·32b4··5.%5.2.0.@@..<2. | ||
| 00000110:· | 00000110:·0ec8·30fe·55b2·3206·33ec·b984·95a6·be00··..0.U.2.3....... | ||
| 00000120:·00c2·e400·002d·0b00·009c·0e00·0098·feb0··.....-.......... | 00000120:·00c2·e400·002d·0b00·009c·0e00·0098·feb0··.....-.......... | ||
| 00000130:·d0a0·236e·6661·a027·5265·674c·616e·6740··..#nfa.'RegLang@ | 00000130:·d0a0·236e·6661·a027·5265·674c·616e·6740··..#nfa.'RegLang@ | ||
| 00000140:·e090·0406·4190·a0a0·0408·9108·0000·3f00··....A.........?. | 00000140:·e090·0406·4190·a0a0·0408·9108·0000·3f00··....A.........?. | ||
| 00000150:·9008·0000·4300·040c·a0a0·a090·2463·6861··....C.......$cha | 00000150:·9008·0000·4300·040c·a0a0·a090·2463·6861··....C.......$cha | ||
| 00000160:·7240·9ba0·a090·b0a2·90a0·2766·696e·7479··r@........'finty | 00000160:·7240·9ba0·a090·b0a2·90a0·2766·696e·7479··r@........'finty | ||
| 00000170:·7065·a029·7373·7265·666c·6563·74a0·286d··pe.)ssreflect.(m | 00000170:·7065·a029·7373·7265·666c·6563·74a0·286d··pe.)ssreflect.(m | ||
| 00000180:·6174·6863·6f6d·7040·2646·696e·6974·6524··athcomp@&Finite$ | 00000180:·6174·6863·6f6d·7040·2646·696e·6974·6524··athcomp@&Finite$ | ||
| Offset 2159, 16 lines modified | Offset 2159, 16 lines modified | ||
| 000086e0:·0101·e440·4142·b0a0·0300·0154·b5ae·0c93··...@AB.....T.... | 000086e0:·0101·e440·4142·b0a0·0300·0154·b5ae·0c93··...@AB.....T.... | ||
| 000086f0:·2190·b004·fa04·f801·0539·4104·c0c0·c040··!........9A....@ | 000086f0:·2190·b004·fa04·f801·0539·4104·c0c0·c040··!........9A....@ | ||
| 00008700:·b004·0641·a003·01f8·4b12·4261·ad70·90b0··...A....K.Ba.p.. | 00008700:·b004·0641·a003·01f8·4b12·4261·ad70·90b0··...A....K.Ba.p.. | ||
| 00008710:·043a·0438·010d·a0c0·40b0·040b·41a0·0301··.:.8....@...A... | 00008710:·043a·0438·010d·a0c0·40b0·040b·41a0·0301··.:.8....@...A... | ||
| 00008720:·f84b·1242·70b1·2190·b004·3f04·3d01·0daf··.K.Bp.!...?.=... | 00008720:·f84b·1242·70b1·2190·b004·3f04·3d01·0daf··.K.Bp.!...?.=... | ||
| 00008730:·4041·42b0·040f·4104·32c0·40b0·0411·4104··@AB...A.2.@...A. | 00008730:·4041·42b0·040f·4104·32c0·40b0·0411·4104··@AB...A.2.@...A. | ||
| 00008740:·2a40·4143·4445·4647·4849·90a0·a005·0c71··*@ACDEFGHI.....q | 00008740:·2a40·4143·4445·4647·4849·90a0·a005·0c71··*@ACDEFGHI.....q | ||
| 00008750:·a005·0c70·4090·30 | 00008750:·a005·0c70·4090·3027·e56d·0fb6·42fe·91e2··...p@.0'.m..B... | ||
| 00008760:· | 00008760:·2d59·64b4·de35·b290·40a0·4040·a0a0·95a0··-Yd..5..@.@@.... | ||
| 00008770:·021c·4e24·fda0·0519·fb90·a0a0·0519·fea0··..N$............ | 00008770:·021c·4e24·fda0·0519·fb90·a0a0·0519·fea0··..N$............ | ||
| 00008780:·0519·be40·40a0·95a0·020f·c0a2·b8a0·a105··...@@........... | 00008780:·0519·be40·40a0·95a0·020f·c0a2·b8a0·a105··...@@........... | ||
| 00008790:·1961·e041·4040·4040·40a0·a092·a005·1966··.a.A@@@@@......f | 00008790:·1961·e041·4040·4040·40a0·a092·a005·1966··.a.A@@@@@......f | ||
| 000087a0:·40a0·a040·a040·4040·a0a0·93a0·0408·41a0··@..@.@@@......A. | 000087a0:·40a0·a040·a040·4040·a0a0·93a0·0408·41a0··@..@.@@@......A. | ||
| 000087b0:·a040·a090·c0b0·0519·7c41·4091·9045·4041··.@......|A@..E@A | 000087b0:·a040·a090·c0b0·0519·7c41·4091·9045·4041··.@......|A@..E@A | ||
| 000087c0:·a090·c0b0·0519·8642·4091·9043·4041·a040··.......B@..C@A.@ | 000087c0:·a090·c0b0·0519·8642·4091·9043·4041·a040··.......B@..C@A.@ | ||
| 000087d0:·a040·a040·4040·40a0·95a0·0227·60a0·6fd0··.@.@@@@....'`.o. | 000087d0:·a040·a040·4040·40a0·95a0·0227·60a0·6fd0··.@.@@@@....'`.o. | ||
| Offset 3131, 16 lines modified | Offset 3131, 16 lines modified | ||
| 0000c3a0:·1292·a005·128d·40d0·4005·128a·a005·1285··......@.@....... | 0000c3a0:·1292·a005·128d·40d0·4005·128a·a005·1285··......@.@....... | ||
| 0000c3b0:·40d0·4005·1282·a005·127c·4040·4142·4344··@.@......|@@ABCD | 0000c3b0:·40d0·4005·1282·a005·127c·4040·4142·4344··@.@......|@@ABCD | ||
| 0000c3c0:·45a0·95a0·020f·c0a2·b8a0·a2e0·4140·4040··E...........A@@@ | 0000c3c0:·45a0·95a0·020f·c0a2·b8a0·a2e0·4140·4040··E...........A@@@ | ||
| 0000c3d0:·4040·9043·a0a0·9190·b005·2cf3·0516·5702··@@.C......,...W. | 0000c3d0:·4040·9043·a0a0·9190·b005·2cf3·0516·5702··@@.C......,...W. | ||
| 0000c3e0:·1cbc·f583·a0a0·40a0·90c0·b090·052c·ee41··......@......,.A | 0000c3e0:·1cbc·f583·a0a0·40a0·90c0·b090·052c·ee41··......@......,.A | ||
| 0000c3f0:·4040·4141·a090·c0b0·9005·1e6e·4240·4041··@@AA.......nB@@A | 0000c3f0:·4040·4141·a090·c0b0·9005·1e6e·4240·4041··@@AA.......nB@@A | ||
| 0000c400:·41a0·90c0·b090·0527·4043·4040·4141·4040··A......'@C@@AA@@ | 0000c400:·41a0·90c0·b090·0527·4043·4040·4141·4040··A......'@C@@AA@@ | ||
| 0000c410:·4040·40 | 0000c410:·4040·4004·d917·1e0e·526d·8638·5aeb·bdc6··@@@.....Rm.8Z... | ||
| 0000c420:· | 0000c420:·c9d3·db84·95a6·be00·0179·5c00·004e·8300··.........y\..N.. | ||
| 0000c430:·0107·2700·0106·1308·0000·7700·90a0·b7a0··..'.......w..... | 0000c430:·0107·2700·0106·1308·0000·7700·90a0·b7a0··..'.......w..... | ||
| 0000c440:·9021·7040·a99a·a090·b0a2·90a0·2766·696e··.!p@........'fin | 0000c440:·9021·7040·a99a·a090·b0a2·90a0·2766·696e··.!p@........'fin | ||
| 0000c450:·7479·7065·a029·7373·7265·666c·6563·74a0··type.)ssreflect. | 0000c450:·7479·7065·a029·7373·7265·666c·6563·74a0··type.)ssreflect. | ||
| 0000c460:·286d·6174·6863·6f6d·7040·2646·696e·6974··(mathcomp@&Finit | 0000c460:·286d·6174·6863·6f6d·7040·2646·696e·6974··(mathcomp@&Finit | ||
| 0000c470:·6524·736f·7274·0202·0009·58a0·8080·90a9··e$sort....X..... | 0000c470:·6524·736f·7274·0202·0009·58a0·8080·90a9··e$sort....X..... | ||
| 0000c480:·9aa0·90b0·90a0·236e·6661·a027·5265·674c··......#nfa.'RegL | 0000c480:·9aa0·90b0·90a0·236e·6661·a027·5265·674c··......#nfa.'RegL | ||
| 0000c490:·616e·6740·2a65·6e66·615f·7374·6174·6502··ang@*enfa_state. | 0000c490:·616e·6740·2a65·6e66·615f·7374·6174·6502··ang@*enfa_state. | ||
| Offset 9411, 17 lines modified | Offset 9411, 17 lines modified | ||
| 00024c20:·1d04·2d04·1009·1f09·041e·0004·3706·2005··..-.........7.·. | 00024c20:·1d04·2d04·1009·1f09·041e·0004·3706·2005··..-.........7.·. | ||
| 00024c30:·3a00·2901·171e·0003·2804·8029·8ccc·0c3c··:.).....(..)...< | 00024c30:·3a00·2901·171e·0003·2804·8029·8ccc·0c3c··:.).....(..)...< | ||
| 00024c40:·0c44·0c0c·5890·98b0·a0a0·4142·a042·4741··.D..X.....AB.BGA | 00024c40:·0c44·0c0c·5890·98b0·a0a0·4142·a042·4741··.D..X.....AB.BGA | ||
| 00024c50:·4fc0·0409·8029·8ccc·0c3c·0c44·0c0c·5890··O....)...<.D..X. | 00024c50:·4fc0·0409·8029·8ccc·0c3c·0c44·0c0c·5890··O....)...<.D..X. | ||
| 00024c60:·98b0·0408·414f·c004·1180·2228·1080·be08··....AO...."(.... | 00024c60:·98b0·0408·414f·c004·1180·2228·1080·be08··....AO...."(.... | ||
| 00024c70:·fe12·4274·4063·df09·6081·b270·f1fb·0000··..Bt@c..`..p.... | 00024c70:·fe12·4274·4063·df09·6081·b270·f1fb·0000··..Bt@c..`..p.... | ||
| 00024c80:·0004·0000·0007·6c69·6272·6172·7900·0000··......library... | 00024c80:·0004·0000·0007·6c69·6272·6172·7900·0000··......library... | ||
| 00024c90:·0000·0001·1b00·0000·0000·00c2·f8 | 00024c90:·0000·0001·1b00·0000·0000·00c2·f804·d917··................ | ||
| 00024ca0:· | 00024ca0:·1e0e·526d·8638·5aeb·bdc6·c9d3·db00·0000··..Rm.8Z......... | ||
| 00024cb0:·076f·7061·7175·6573·0000·0000·0000·c423··.opaques.......# | 00024cb0:·076f·7061·7175·6573·0000·0000·0000·c423··.opaques.......# | ||
| 00024cc0:·0000·0000·0001·7970·9234·b09a·d527·682b··......yp.4...'h+ | 00024cc0:·0000·0000·0001·7970·9234·b09a·d527·682b··......yp.4...'h+ | ||
| 00024cd0:·8c47·6d98·f58a·7bfd·0000·0007·7375·6d6d··.Gm...{.....summ | 00024cd0:·8c47·6d98·f58a·7bfd·0000·0007·7375·6d6d··.Gm...{.....summ | ||
| 00024ce0:·6172·7900·0000·0000·0000·1000·0000·0000··ary............. | 00024ce0:·6172·7900·0000·0000·0000·1000·0000·0000··ary............. | ||
| 00024cf0:·0000·fb | 00024cf0:·0000·fbd9·b33c·32b4·0ec8·30fe·55b2·3206··.....<2...0.U.2. | ||
| 00024d00:· | 00024d00:·33ec·b900·0000·0976·6d6c·6962·7261·7279··3......vmlibrary | ||
| 00024d10:·0000·0000·0002·3da3·0000·0000·0000·0ecb··......=......... | 00024d10:·0000·0000·0002·3da3·0000·0000·0000·0ecb··......=......... | ||
| 00024d20:·be08·fe12·4274·4063·df09·6081·b270·f1fb··....Bt@c..`..p.. | 00024d20:·be08·fe12·4274·4063·df09·6081·b270·f1fb··....Bt@c..`..p.. |
| Offset 1, 8 lines modified | Offset 1, 8 lines modified | ||
| 00000000:·436f·7121·0001·4050·0000·0000·0004·22b | 00000000:·436f·7121·0001·4050·0000·0000·0004·22b7··Coq!..@P......". | ||
| 00000010:·8495·a6be·0000·015d·0000·0044·0000·00e7··.......]...D.... | 00000010:·8495·a6be·0000·015d·0000·0044·0000·00e7··.......]...D.... | ||
| 00000020:·0000·00c5·c0a0·2672·6567·6578·70a0·2752··......®exp.'R | 00000020:·0000·00c5·c0a0·2672·6567·6578·70a0·2752··......®exp.'R | ||
| 00000030:·6567·4c61·6e67·4008·0000·2300·a0a0·2750··egLang@...#...'P | 00000030:·6567·4c61·6e67·4008·0000·2300·a0a0·2750··egLang@...#...'P | ||
| 00000040:·7265·6c75·6465·a024·496e·6974·a023·436f··relude.$Init.#Co | 00000040:·7265·6c75·6465·a024·496e·6974·a023·436f··relude.$Init.#Co | ||
| 00000050:·7140·9030·c7f5·9674·0295·790e·84d5·17cb··q@.0...t..y..... | 00000050:·7140·9030·c7f5·9674·0295·790e·84d5·17cb··q@.0...t..y..... | ||
| 00000060:·ca0a·ceef·a0a0·2a73·7472·7563·7475·7265··......*structure | 00000060:·ca0a·ceef·a0a0·2a73·7472·7563·7475·7265··......*structure | ||
| 00000070:·73a0·2248·4240·9030·d221·5a9c·fba8·534c··s."HB@.0.!Z...SL | 00000070:·73a0·2248·4240·9030·d221·5a9c·fba8·534c··s."HB@.0.!Z...SL | ||
| Offset 12, 22 lines modified | Offset 12, 22 lines modified | ||
| 000000b0:·c79d·d8c7·7da1·1ceb·3606·fa6d·be0b·95ec··....}...6..m.... | 000000b0:·c79d·d8c7·7da1·1ceb·3606·fa6d·be0b·95ec··....}...6..m.... | ||
| 000000c0:·a0a0·2a73·6574·6f69·645f·6c65·71a0·2752··..*setoid_leq.'R | 000000c0:·a0a0·2a73·6574·6f69·645f·6c65·71a0·2752··..*setoid_leq.'R | ||
| 000000d0:·6567·4c61·6e67·4090·3070·cb3b·35e6·2e6f··egLang@.0p.;5..o | 000000d0:·6567·4c61·6e67·4090·3070·cb3b·35e6·2e6f··egLang@.0p.;5..o | ||
| 000000e0:·bdb2·cd9d·7181·8f39·bca0·a024·6d69·7363··....q..9...$misc | 000000e0:·bdb2·cd9d·7181·8f39·bca0·a024·6d69·7363··....q..9...$misc | ||
| 000000f0:·a027·5265·674c·616e·6740·9030·3c5d·e2f3··.'RegLang@.0<].. | 000000f0:·a027·5265·674c·616e·6740·9030·3c5d·e2f3··.'RegLang@.0<].. | ||
| 00000100:·dc8b·d44d·582f·c124·93d5·64bc·a0a0·296c··...MX/.$..d...)l | 00000100:·dc8b·d44d·582f·c124·93d5·64bc·a0a0·296c··...MX/.$..d...)l | ||
| 00000110:·616e·6775·6167·6573·a027·5265·674c·616e··anguages.'RegLan | 00000110:·616e·6775·6167·6573·a027·5265·674c·616e··anguages.'RegLan | ||
| 00000120:·6740·9030· | 00000120:·6740·9030·d4ba·c602·c73b·cf1c·377e·7346··g@.0.....;..7~sF | ||
| 00000130:· | 00000130:·5ff3·6cce·a0a0·2364·6661·a027·5265·674c··_.l...#dfa.'RegL | ||
| 00000140:·616e·6740·9030· | 00000140:·616e·6740·9030·27e5·6d0f·b642·fe91·e22d··ang@.0'.m..B...- | ||
| 00000150:· | 00000150:·5964·b4de·35b2·a0a0·236e·6661·a027·5265··Yd..5...#nfa.'Re | ||
| 00000160:·674c·616e·6740·9030· | 00000160:·674c·616e·6740·9030·04d9·171e·0e52·6d86··gLang@.0.....Rm. | ||
| 00000170:·4981·cc3f·0485·466d·2535·2e32·2e30·a040··I..?..Fm%5.2.0.@ | |||
| 000001 | 00000170:·385a·ebbd·c6c9·d3db·2535·2e32·2e30·a040··8Z......%5.2.0.@ | ||
| 00000180:·40cd·1c4c·3543·3c4b·3eea·0888·46cb·af36··@..L5C<K>...F..6 | |||
| 00000190:·ab84·95a6·be00·01dd·5 | 00000190:·ab84·95a6·be00·01dd·5400·0072·8a00·0186··........T..r.... | ||
| 000001a0:·9700·017b·bdb0·d0a0·2672·6567·6578·70a0··...{....®exp. | 000001a0:·9700·017b·bdb0·d0a0·2672·6567·6578·70a0··...{....®exp. | ||
| 000001b0:·2752·6567·4c61·6e67·40e0·9004·0641·90a0··'RegLang@....A.. | 000001b0:·2752·6567·4c61·6e67·40e0·9004·0641·90a0··'RegLang@....A.. | ||
| 000001c0:·a004·0891·0800·003f·0090·0800·0043·0004··.......?.....C.. | 000001c0:·a004·0891·0800·003f·0090·0800·0043·0004··.......?.....C.. | ||
| 000001d0:·0ca0·a0a0·9024·6368·6172·409b·a0a0·90b0··.....$char@..... | 000001d0:·0ca0·a0a0·9024·6368·6172·409b·a0a0·90b0··.....$char@..... | ||
| 000001e0:·a290·a026·6571·7479·7065·a029·7373·7265··...&eqtype.)ssre | 000001e0:·a290·a026·6571·7479·7065·a029·7373·7265··...&eqtype.)ssre | ||
| 000001f0:·666c·6563·74a0·286d·6174·6863·6f6d·7040··flect.(mathcomp@ | 000001f0:·666c·6563·74a0·286d·6174·6863·6f6d·7040··flect.(mathcomp@ | ||
| 00000200:·2845·7175·616c·6974·7924·7479·7065·020a··(Equality$type.. | 00000200:·2845·7175·616c·6974·7924·7479·7065·020a··(Equality$type.. | ||
| Offset 1890, 16 lines modified | Offset 1890, 16 lines modified | ||
| 00007610:·4243·b005·0105·4105·0168·c0c0·c040·b0a0··BC....A..h...@.. | 00007610:·4243·b005·0105·4105·0168·c0c0·c040·b0a0··BC....A..h...@.. | ||
| 00007620:·0300·0154·b5ae·0c93·2190·b0a0·2773·7372··...T....!...'ssr | 00007620:·0300·0154·b5ae·0c93·2190·b0a0·2773·7372··...T....!...'ssr | ||
| 00007630:·626f·6f6c·a023·7373·72a0·2343·6f71·4004··bool.#ssr.#Coq@. | 00007630:·626f·6f6c·a023·7373·72a0·2343·6f71·4004··bool.#ssr.#Coq@. | ||
| 00007640:·5d01·0539·4105·0153·4041·b004·1941·0439··]..9A..S@A...A.9 | 00007640:·5d01·0539·4105·0153·4041·b004·1941·0439··]..9A..S@A...A.9 | ||
| 00007650:·4042·b004·1a41·0434·c040·b004·1c41·0432··@B...A.4.@...A.2 | 00007650:·4042·b004·1a41·0434·c040·b004·1c41·0432··@B...A.4.@...A.2 | ||
| 00007660:·c040·b005·0103·4105·013e·4041·4243·4446··.@....A..>@ABCDF | 00007660:·c040·b005·0103·4105·013e·4041·4243·4446··.@....A..>@ABCDF | ||
| 00007670:·4748·49a0·a0a0·050d·9ea0·2752·6567·4c61··GHI.......'RegLa | 00007670:·4748·49a0·a0a0·050d·9ea0·2752·6567·4c61··GHI.......'RegLa | ||
| 00007680:·6e67·4090·30 | 00007680:·6e67·4090·3004·d917·1e0e·526d·8638·5aeb··ng@.0.....Rm.8Z. | ||
| 00007690:· | 00007690:·bdc6·c9d3·dba0·a02a·7365·746f·6964·5f6c··.......*setoid_l | ||
| 000076a0:·6571·a027·5265·674c·616e·6740·9030·70cb··eq.'RegLang@.0p. | 000076a0:·6571·a027·5265·674c·616e·6740·9030·70cb··eq.'RegLang@.0p. | ||
| 000076b0:·3b35·e62e·6fbd·b2cd·9d71·818f·39bc·9040··;5..o....q..9..@ | 000076b0:·3b35·e62e·6fbd·b2cd·9d71·818f·39bc·9040··;5..o....q..9..@ | ||
| 000076c0:·a0a0·95a0·021d·041a·fca0·40a0·a040·2456··..........@..@$V | 000076c0:·a0a0·95a0·021d·041a·fca0·40a0·a040·2456··..........@..@$V | ||
| 000076d0:·6f69·64c0·a0a0·4040·4040·90a0·d0a0·a040··oid...@@@@.....@ | 000076d0:·6f69·64c0·a0a0·4040·4040·90a0·d0a0·a040··oid...@@@@.....@ | ||
| 000076e0:·4040·4004·0aa0·a0a0·4024·566f·6964·4040··@@@.....@$Void@@ | 000076e0:·4040·4004·0aa0·a0a0·4024·566f·6964·4040··@@@.....@$Void@@ | ||
| 000076f0:·4040·90a0·40a0·a094·0406·4040·a095·a002··@@..@.....@@.... | 000076f0:·4040·90a0·40a0·a094·0406·4040·a095·a002··@@..@.....@@.... | ||
| 00007700:·1d04·1afc·a040·a0a0·4023·4570·73c0·a0a0··.....@..@#Eps... | 00007700:·1d04·1afc·a040·a0a0·4023·4570·73c0·a0a0··.....@..@#Eps... | ||
| Offset 2130, 15 lines modified | Offset 2130, 15 lines modified | ||
| 00008510:·a0c0·e090·2e52·6567·4c61·6e67·2e72·6567··.....RegLang.reg | 00008510:·a0c0·e090·2e52·6567·4c61·6e67·2e72·6567··.....RegLang.reg | ||
| 00008520:·6578·7033·2e2f·7468·656f·7269·6573·2f72··exp3./theories/r | 00008520:·6578·7033·2e2f·7468·656f·7269·6573·2f72··exp3./theories/r | ||
| 00008530:·6567·6578·702e·7601·0334·0103·7f61·0103··egexp.v..4...a.. | 00008530:·6567·6578·702e·7601·0334·0103·7f61·0103··egexp.v..4...a.. | ||
| 00008540:·34c0·4040·4041·b0c3·9140·2f6c·6f63·616c··4.@@@A...@/local | 00008540:·34c0·4040·4041·b0c3·9140·2f6c·6f63·616c··4.@@@A...@/local | ||
| 00008550:·2d63·616e·6f6e·6963·616c·b095·a091·0448··-canonical.....H | 00008550:·2d63·616e·6f6e·6963·616c·b095·a091·0448··-canonical.....H | ||
| 00008560:·5804·0da0·2254·7990·9090·9028·636f·6e73··X..."Ty....(cons | 00008560:·5804·0da0·2254·7990·9090·9028·636f·6e73··X..."Ty....(cons | ||
| 00008570:·7461·6e74·4004·14a0·0407·9090·9040·4040··tant@........@@@ | 00008570:·7461·6e74·4004·14a0·0407·9090·9040·4040··tant@........@@@ | ||
| 00008580:·4040·293 | 00008580:·4040·2934·3635·3634·3636·3036·e0d0·d0d0··@@)465646606.... | ||
| 00008590:·d040·2540·6361·7374·a0b0·b490·a021·5422··.@%@cast.....!T" | 00008590:·d040·2540·6361·7374·a0b0·b490·a021·5422··.@%@cast.....!T" | ||
| 000085a0:·6c70·40b0·b490·a022·5459·0406·40b0·c391··lp@...."TY..@... | 000085a0:·6c70·40b0·b490·a022·5459·0406·40b0·c391··lp@...."TY..@... | ||
| 000085b0:·4023·6c65·74b0·95a0·9024·6361·7374·53e0··@#let....$castS. | 000085b0:·4023·6c65·74b0·95a0·9024·6361·7374·53e0··@#let....$castS. | ||
| 000085c0:·4030·636f·712d·6275·696c·7469·6e2e·656c··@0coq-builtin.el | 000085c0:·4030·636f·712d·6275·696c·7469·6e2e·656c··@0coq-builtin.el | ||
| 000085d0:·7069·0124·e801·24ee·0100·e101·24cf·a004··pi.$..$.....$... | 000085d0:·7069·0124·e801·24ee·0100·e101·24cf·a004··pi.$..$.....$... | ||
| 000085e0:·2990·40a0·b0a1·9004·1704·12e0·4004·0801··).@.........@... | 000085e0:·2990·40a0·b0a1·9004·1704·12e0·4004·0801··).@.........@... | ||
| 000085f0:·24ef·0124·f101·00e1·0124·cfa0·0430·9040··$..$.....$...0.@ | 000085f0:·24ef·0124·f101·00e1·0124·cfa0·0430·9040··$..$.....$...0.@ | ||
| Offset 6877, 32 lines modified | Offset 6877, 32 lines modified | ||
| 0001adc0:·0105·58d0·4005·1708·a0a0·9040·a090·40a0··..X.@......@..@. | 0001adc0:·0105·58d0·4005·1708·a0a0·9040·a090·40a0··..X.@......@..@. | ||
| 0001add0:·9041·a090·4140·e040·0516·6901·01ac·0101··.A..A@.@..i..... | 0001add0:·9041·a090·4140·e040·0516·6901·01ac·0101··.A..A@.@..i..... | ||
| 0001ade0:·d54c·0101·acd0·4005·1707·a0a0·9040·a090··.L....@......@.. | 0001ade0:·d54c·0101·acd0·4005·1707·a0a0·9040·a090··.L....@......@.. | ||
| 0001adf0:·41a0·9041·40e0·4005·1672·0101·d701·0203··A..A@.@..r...... | 0001adf0:·41a0·9041·40e0·4005·1672·0101·d701·0203··A..A@.@..r...... | ||
| 0001ae00:·4d01·01d7·d040·0517·05a0·a090·40a0·9041··M....@......@..A | 0001ae00:·4d01·01d7·d040·0517·05a0·a090·40a0·9041··M....@......@..A | ||
| 0001ae10:·40e0·4005·1679·0102·2a01·0242·4f01·022a··@.@..y..*..BO..* | 0001ae10:·40e0·4005·1679·0102·2a01·0242·4f01·022a··@.@..y..*..BO..* | ||
| 0001ae20:·4041·4243·4445·4647·4849·4b4c·0546·140c··@ABCDEFGHIKL.F.. | 0001ae20:·4041·4243·4445·4647·4849·4b4c·0546·140c··@ABCDEFGHIKL.F.. | ||
| 0001ae30:·0000·0000·00 | 0001ae30:·0000·0000·0040·003f·4041·40a0·95a0·0234··.....@.?@A@....4 | ||
| 0001ae40:·7dc1·ffa0·275f·454c·5049·5f32·c0a0·2268··}...'_ELPI_2.."h | 0001ae40:·7dc1·ffa0·275f·454c·5049·5f32·c0a0·2268··}...'_ELPI_2.."h | ||
| 0001ae50:·62a0·2264·6240·a0a0·b005·625b·2132·0239··b."db@....b[!2.9 | 0001ae50:·62a0·2264·6240·a0a0·b005·625b·2132·0239··b."db@....b[!2.9 | ||
| 0001ae60:·3d67·0ed0·0546·27d0·e040·4040·4040·0546··=g...F'..@@@@@.F | 0001ae60:·3d67·0ed0·0546·27d0·e040·4040·4040·0546··=g...F'..@@@@@.F | ||
| 0001ae70:·2640·a0c0·0546·2505·4621·b0c3·9140·052a··&@...F%.F!...@.* | 0001ae70:·2640·a0c0·0546·2505·4621·b0c3·9140·052a··&@...F%.F!...@.* | ||
| 0001ae80:·19b0·c391·4005·2cea·b0c3·9140·0529·73b0··....@.,....@.)s. | 0001ae80:·19b0·c391·4005·2cea·b0c3·9140·0529·73b0··....@.,....@.)s. | ||
| 0001ae90:·95a0·055b·b457·0546·31a0·0546·2490·9090··...[.W.F1..F$... | 0001ae90:·95a0·055b·b457·0546·31a0·0546·2490·9090··...[.W.F1..F$... | ||
| 0001aea0:·0529·7540·0546·35a0·0546·2890·9090·052c··.)u@.F5..F(...., | 0001aea0:·0529·7540·0546·35a0·0546·2890·9090·052c··.)u@.F5..F(...., | ||
| 0001aeb0:·f340·0546·39a0·0546·2c90·9090·052a·29a0··.@.F9..F,....*). | 0001aeb0:·f340·0546·39a0·0546·2c90·9090·052a·29a0··.@.F9..F,....*). | ||
| 0001aec0:·b0c3·9140·0529·86b0·95a0·0546·9a57·0546··...@.).....F.W.F | 0001aec0:·b0c3·9140·0529·86b0·95a0·0546·9a57·0546··...@.).....F.W.F | ||
| 0001aed0:·44a0·0546·3790·9090·0529·8840·0546·48a0··D..F7....).@.FH. | 0001aed0:·44a0·0546·3790·9090·0529·8840·0546·48a0··D..F7....).@.FH. | ||
| 0001aee0:·0546·3b90·9090·052a·35a0·b0c3·9140·053d··.F;....*5....@.= | 0001aee0:·0546·3b90·9090·052a·35a0·b0c3·9140·053d··.F;....*5....@.= | ||
| 0001aef0:·08b0·95a0·9105·5ba2·5805·4654·a005·4647··......[.X.FT..FG | 0001aef0:·08b0·95a0·9105·5ba2·5805·4654·a005·4647··......[.X.FT..FG | ||
| 0001af00:·9090·9005·3d0b·4005·4658·a005·464b·9090··....=.@.FX..FK.. | 0001af00:·9090·9005·3d0b·4005·4658·a005·464b·9090··....=.@.FX..FK.. | ||
| 0001af10:·9005·2a43·4005·465c·a005·464f·9090·9040··..*C@.F\..FO...@ | 0001af10:·9005·2a43·4005·465c·a005·464f·9090·9040··..*C@.F\..FO...@ | ||
| 0001af20:·4040·4040·293 | 0001af20:·4040·4040·2936·3739·3739·3230·3932·e005··@@@@)679792092.. | ||
| 0001af30:·4648·0540·ea05·3f67·0517·2e05·169f·0546··FH.@..?g.......F | 0001af30:·4648·0540·ea05·3f67·0517·2e05·169f·0546··FH.@..?g.......F | ||
| 0001af40:·650c·0000·0000·00 | 0001af40:·650c·0000·0000·0080·043f·4041·40a0·95a0··e........?@A@... | ||
| 0001af50:·020f·c0a2·b8a0·a2e0·4140·4040·4040·9042··........A@@@@@.B | 0001af50:·020f·c0a2·b8a0·a2e0·4140·4040·4040·9042··........A@@@@@.B | ||
| 0001af60:·a0a0·9105·5b2e·a0a0·40a0·40a0·4040·4040··....[...@.@.@@@@ | 0001af60:·a0a0·9105·5b2e·a0a0·40a0·40a0·4040·4040··....[...@.@.@@@@ | ||
| 0001af70:·a095·a002·0fc0·a2b8·a0a2·040e·9042·a0a0··.............B.. | 0001af70:·a095·a002·0fc0·a2b8·a0a2·040e·9042·a0a0··.............B.. | ||
| 0001af80:·9105·5b37·a0a0·40a0·40a0·4040·4040·a095··..[7..@.@.@@@@.. | 0001af80:·9105·5b37·a0a0·40a0·40a0·4040·4040·a095··..[7..@.@.@@@@.. | ||
| 0001af90:·a002·0fc0·a2b8·a0a2·041b·9043·a0a0·93a0··...........C.... | 0001af90:·a002·0fc0·a2b8·a0a2·041b·9043·a0a0·93a0··...........C.... | ||
| 0001afa0:·055b·3c45·a0a0·40a0·90c0·b005·62bf·4140··.[<E..@.....b.A@ | 0001afa0:·055b·3c45·a0a0·40a0·90c0·b005·62bf·4140··.[<E..@.....b.A@ | ||
| 0001afb0:·4041·41a0·40a0·4040·4040·a095·a002·0fc0··@AA.@.@@@@...... | 0001afb0:·4041·41a0·40a0·4040·4040·a095·a002·0fc0··@AA.@.@@@@...... | ||
| Offset 7641, 9311 lines modified | Offset 7641, 9311 lines modified | ||
| 0001dd80:·0204·4ece·b4a0·2133·b040·d005·55ef·d0e0··..N...!3.@..U... | 0001dd80:·0204·4ece·b4a0·2133·b040·d005·55ef·d0e0··..N...!3.@..U... | ||
| 0001dd90:·4040·4040·4005·55ee·40a0·c005·55ed·0555··@@@@@.U.@...U..U | 0001dd90:·4040·4040·4005·55ee·40a0·c005·55ed·0555··@@@@@.U.@...U..U | ||
| 0001dda0:·e9b0·c391·4005·3c70·b0c3·9140·054c·abb0··....@.<p...@.L.. | 0001dda0:·e9b0·c391·4005·3c70·b0c3·9140·054c·abb0··....@.<p...@.L.. | ||
| 0001ddb0:·9505·55ea·0555·f5a0·0555·e890·9090·054c··..U..U...U.....L | 0001ddb0:·9505·55ea·0555·f5a0·0555·e890·9090·054c··..U..U...U.....L | ||
| 0001ddc0:·ac40·0555·f9a0·0555·ec90·9090·053c·78a0··.@.U...U.....<x. | 0001ddc0:·ac40·0555·f9a0·0555·ec90·9090·053c·78a0··.@.U...U.....<x. | ||
| 0001ddd0:·b095·a005·5601·4405·5601·a005·55f4·9090··....V.D.V...U... | 0001ddd0:·b095·a005·5601·4405·5601·a005·55f4·9090··....V.D.V...U... | Diff chunk too large, falling back to line-by-line diff (9304 lines added, 9304 lines removed) | |
| 0001dde0:·9005·3c7e·4005·5605·a005·55f8·9090·9040··..<~@.V...U....@ | 0001dde0:·9005·3c7e·4005·5605·a005·55f8·9090·9040··..<~@.V...U....@ | ||
| 0001ddf0:·4040·4040·2 | 0001ddf0:·4040·4040·2a31·3036·3438·3032·3036·34e0··@@@@*1064802064. | ||
| 0001de00:·55f1 | 0001de00:·0555·f105·5093·054f·1005·26d7·0526·4805··.U..P..O..&..&H. | ||
| 0001de10:· | 0001de10:·560e·0c00·0000·0000·80fd·3ea0·4040·a095··V.........>.@@.. | ||
| 0001de20:·0204 | 0001de20:·a002·044e·ceb4·a021·34b0·40d0·0556·1ad0··...N...!4.@..V.. | ||
| 0001de30:· | 0001de30:·e040·4040·4040·0556·1940·a0c0·0556·1805··.@@@@@.V.@...V.. | ||
| 0001de40:·14b0 | 0001de40:·5614·b0c3·9140·053c·9bb0·c391·4005·4cd6··V....@.<....@.L. | ||
| 0001de50:·9505 | 0001de50:·b095·050f·ce05·5620·a005·5613·9090·9005··......V·..V..... | ||
| 0001de60:·d740 | 0001de60:·4cd7·4005·5624·a005·5617·9090·9005·3ca3··L.@.V$..V.....<. | ||
| 0001de70:·b095 | 0001de70:·a0b0·9504·2b05·562b·a005·561e·9090·9005··....+.V+..V..... | ||
| 0001de80:·a840 | 0001de80:·3ca8·4005·562f·a005·5622·9090·9040·4040··<.@.V/..V"...@@@ | ||
| 0001de90:·402 | 0001de90:·4040·2a31·3036·3438·3032·3036·34e0·0556··@@*1064802064..V | ||
| 0001dea0:·50bd·054f·3a05·2701·0526·7205·5638· | 0001dea0:·1b05·50bd·054f·3a05·2701·0526·7205·5638··..P..O:.'..&r.V8 | ||
| 0001deb0:·0000·0000·00 | 0001deb0:·0c00·0000·0000·00d9·3ea0·4040·a095·a002··........>.@@.... | ||
| 0001dec0:·c1ff·a027·5f45·4c50·495f·33c0·a022· | 0001dec0:·347d·c1ff·a027·5f45·4c50·495f·33c0·a022··4}...'_ELPI_3.." | ||
| 0001ded0:·a022·6462·40a0·a0b0·0572·8004·5e02· | 0001ded0:·6862·a022·6462·40a0·a0b0·0572·8004·5e02··hb."db@....r..^. | ||
| 0001dee0:·670f·045c·a0a0·b005·7283·0436·0239· | 0001dee0:·393d·670f·045c·a0a0·b005·7283·0436·0239··9=g..\....r..6.9 | ||
| 0001def0:·1004·3440·4240·40 | 0001def0:·3d67·1004·3440·4240·4098·bae9·4ca8·8511··=g..4@B@@...L... | ||
| 0001df00:· | 0001df00:·4e8b·3fee·36fd·f6bc·6284·95a6·be00·023a··N.?.6...b......: | ||
| 0001df10:·0077·bf00·018e·5900·018c·7208·0000· | 0001df10:·df00·0077·bf00·018e·5900·018c·7208·0000··...w....Y...r... | ||
| 0001df20:·90a0·b7a0·9022·6531·409b·a0a0·90b0· | 0001df20:·9700·90a0·b7a0·9022·6531·409b·a0a0·90b0··......."e1@..... | ||
| Max diff block lines reached; -1/1292007 bytes (-0.00%) of diff not shown. | |||
| Offset 12, 25 lines modified | Offset 12, 25 lines modified | ||
| 000000b0:·6174·6863·6f6d·7040·9030·c79d·d8c7·7da1··athcomp@.0....}. | 000000b0:·6174·6863·6f6d·7040·9030·c79d·d8c7·7da1··athcomp@.0....}. | ||
| 000000c0:·1ceb·3606·fa6d·be0b·95ec·a0a0·246d·6973··..6..m......$mis | 000000c0:·1ceb·3606·fa6d·be0b·95ec·a0a0·246d·6973··..6..m......$mis | ||
| 000000d0:·63a0·2752·6567·4c61·6e67·4090·303c·5de2··c.'RegLang@.0<]. | 000000d0:·63a0·2752·6567·4c61·6e67·4090·303c·5de2··c.'RegLang@.0<]. | ||
| 000000e0:·f3dc·8bd4·4d58·2fc1·2493·d564·bca0·a02a··....MX/.$..d...* | 000000e0:·f3dc·8bd4·4d58·2fc1·2493·d564·bca0·a02a··....MX/.$..d...* | ||
| 000000f0:·7365·746f·6964·5f6c·6571·a027·5265·674c··setoid_leq.'RegL | 000000f0:·7365·746f·6964·5f6c·6571·a027·5265·674c··setoid_leq.'RegL | ||
| 00000100:·616e·6740·9030·70cb·3b35·e62e·6fbd·b2cd··ang@.0p.;5..o... | 00000100:·616e·6740·9030·70cb·3b35·e62e·6fbd·b2cd··ang@.0p.;5..o... | ||
| 00000110:·9d71·818f·39bc·a0a0·296c·616e·6775·6167··.q..9...)languag | 00000110:·9d71·818f·39bc·a0a0·296c·616e·6775·6167··.q..9...)languag | ||
| 00000120:·6573·a027·5265·674c·616e·6740·9030· | 00000120:·6573·a027·5265·674c·616e·6740·9030·d4ba··es.'RegLang@.0.. | ||
| 00000130:· | 00000130:·c602·c73b·cf1c·377e·7346·5ff3·6cce·a0a0··...;..7~sF_.l... | ||
| 00000140:·2364·6661·a027·5265·674c·616e·6740·9030··#dfa.'RegLang@.0 | 00000140:·2364·6661·a027·5265·674c·616e·6740·9030··#dfa.'RegLang@.0 | ||
| 00000150:· | 00000150:·27e5·6d0f·b642·fe91·e22d·5964·b4de·35b2··'.m..B...-Yd..5. | ||
| 00000160:·a0a0·2d6d·7968·696c·6c5f·6e65·726f·6465··..-myhill_nerode | 00000160:·a0a0·2d6d·7968·696c·6c5f·6e65·726f·6465··..-myhill_nerode | ||
| 00000170:·a027·5265·674c·616e·6740·9030· | 00000170:·a027·5265·674c·616e·6740·9030·201a·2629··.'RegLang@.0·.&) | ||
| 00000180:· | 00000180:·c68f·2639·c4b9·f028·3291·27be·a0a0·2774··..&9...(2.'...'t | ||
| 00000190:·776f·5f77·6179·a027·5265·674c·616e·6740··wo_way.'RegLang@ | 00000190:·776f·5f77·6179·a027·5265·674c·616e·6740··wo_way.'RegLang@ | ||
| 000001a0:·9030·2656·c898·cefd·af43·0fe4·5861·6255··.0&V.....C..XabU | |||
| 000001b0:·9850·2535·2e32·2e30·a040·40c8·9d89·7b1c··.P%5.2.0.@@...{. | |||
| 000001 | 000001a0:·9030·3101·6c1f·a9e4·f701·0c1e·2902·da53··.01.l.......)..S | ||
| 000001b0:·8638·2535·2e32·2e30·a040·4072·e775·1da2··.8%5.2.0.@@r.u.. | |||
| 000001c0:·0ca1·99f1·37b0·e5f6·6b93·7884·95a6·be00··....7...k.x..... | |||
| 000001d0:·00a1·6b00·0026·b700·0082·2e00·007e·deb0··..k..&.......~.. | 000001d0:·00a1·6b00·0026·b700·0082·2e00·007e·deb0··..k..&.......~.. | ||
| 000001e0:·d0a0·2b73·6865·7068·6572·6473·6f6e·a027··..+shepherdson.' | 000001e0:·d0a0·2b73·6865·7068·6572·6473·6f6e·a027··..+shepherdson.' | ||
| 000001f0:·5265·674c·616e·6740·e090·0406·4190·a0a0··RegLang@....A... | 000001f0:·5265·674c·616e·6740·e090·0406·4190·a0a0··RegLang@....A... | ||
| 00000200:·2763·6f6e·7472·614e·9008·0000·2700·40a0··'contraN....'.@. | 00000200:·2763·6f6e·7472·614e·9008·0000·2700·40a0··'contraN....'.@. | ||
| 00000210:·8080·92c0·4040·040f·40b6·a090·2162·409b··....@@..@...!b@. | 00000210:·8080·92c0·4040·040f·40b6·a090·2162·409b··....@@..@...!b@. | ||
| 00000220:·a0a0·90b0·90a0·2944·6174·6174·7970·6573··......)Datatypes | 00000220:·a0a0·90b0·90a0·2944·6174·6174·7970·6573··......)Datatypes | ||
| 00000230:·a024·496e·6974·a023·436f·7140·2462·6f6f··.$Init.#Coq@$boo | 00000230:·a024·496e·6974·a023·436f·7140·2462·6f6f··.$Init.#Coq@$boo | ||
| Offset 1797, 16 lines modified | Offset 1797, 16 lines modified | ||
| 00007040:·4104·c1c0·c040·b005·0215·4105·014b·4041··A....@....A..K@A | 00007040:·4104·c1c0·c040·b005·0215·4105·014b·4041··A....@....A..K@A | ||
| 00007050:·b005·0216·4105·0142·c0c0·40b0·0502·1941··....A..B..@....A | 00007050:·b005·0216·4105·0142·c0c0·40b0·0502·1941··....A..B..@....A | ||
| 00007060:·0501·3d40·41b0·0502·1a41·0501·2dc0·c040··..=@A....A..-..@ | 00007060:·0501·3d40·41b0·0502·1a41·0501·2dc0·c040··..=@A....A..-..@ | ||
| 00007070:·b005·0222·4205·01db·4041·b005·021e·4205··..."B...@A....B. | 00007070:·b005·0222·4205·01db·4041·b005·021e·4205··..."B...@A....B. | ||
| 00007080:·01d4·4042·4344·4748·4aa0·a0a0·234c·6961··..@BCDGHJ...#Lia | 00007080:·01d4·4042·4344·4748·4aa0·a0a0·234c·6961··..@BCDGHJ...#Lia | ||
| 00007090:·a029·6d69·6372·6f6d·6567·61a0·2343·6f71··.)micromega.#Coq | 00007090:·a029·6d69·6372·6f6d·6567·61a0·2343·6f71··.)micromega.#Coq | ||
| 000070a0:·4090·30bb·46b6·4934·6f7b·e600·3343·f488··@.0.F.I4o{..3C.. | 000070a0:·4090·30bb·46b6·4934·6f7b·e600·3343·f488··@.0.F.I4o{..3C.. | ||
| 000070b0:·1175·03a0·0503·be90·30 | 000070b0:·1175·03a0·0503·be90·3031·016c·1fa9·e4f7··.u......01.l.... | ||
| 000070c0:· | 000070c0:·010c·1e29·02da·5386·3890·40a0·4040·a0a0··...)..S.8.@.@@.. | ||
| 000070d0:·95a0·0232·0a51·8fa0·0515·f9b0·9241·4040··...2.Q.......A@@ | 000070d0:·95a0·0232·0a51·8fa0·0515·f9b0·9241·4040··...2.Q.......A@@ | ||
| 000070e0:·a095·a002·0fc0·a2b8·a090·e041·4040·4040··...........A@@@@ | 000070e0:·a095·a002·0fc0·a2b8·a090·e041·4040·4040··...........A@@@@ | ||
| 000070f0:·40a0·a091·90b0·0516·0a05·1606·0225·1e7e··@............%.~ | 000070f0:·40a0·a091·90b0·0516·0a05·1606·0225·1e7e··@............%.~ | ||
| 00007100:·27a0·a040·a090·c0b0·0516·0441·4091·9043··'..@.......A@..C | 00007100:·27a0·a040·a090·c0b0·0516·0441·4091·9043··'..@.......A@..C | ||
| 00007110:·4041·a040·a040·a040·4040·40a0·95a0·0227··@A.@.@.@@@@....' | 00007110:·4041·a040·a040·a040·4040·40a0·95a0·0227··@A.@.@.@@@@....' | ||
| 00007120:·60a0·6fd0·4091·0412·a0a0·2a62·6f6f·6c5f··`.o.@.....*bool_ | 00007120:·60a0·6fd0·4091·0412·a0a0·2a62·6f6f·6c5f··`.o.@.....*bool_ | ||
| 00007130:·7363·6f70·6540·a0a0·2a74·7970·655f·7363··scope@..*type_sc | 00007130:·7363·6f70·6540·a0a0·2a74·7970·655f·7363··scope@..*type_sc | ||
| Offset 2606, 16 lines modified | Offset 2606, 16 lines modified | ||
| 0000a2d0:·6fd0·4091·0410·a040·a040·40a0·9092·0520··o.@....@.@@....· | 0000a2d0:·6fd0·4091·0410·a040·a040·40a0·9092·0520··o.@....@.@@....· | ||
| 0000a2e0:·c7a0·9092·0515·b640·d0d0·d040·40a0·0510··.......@...@@... | 0000a2e0:·c7a0·9092·0515·b640·d0d0·d040·40a0·0510··.......@...@@... | ||
| 0000a2f0:·7140·4041·41a0·0510·6f40·d040·0510·6ca0··q@@AA...o@.@..l. | 0000a2f0:·7140·4041·41a0·0510·6f40·d040·0510·6ca0··q@@AA...o@.@..l. | ||
| 0000a300:·0510·6540·4041·4205·1061·a005·1060·40d0··..e@@AB..a...`@. | 0000a300:·0510·6540·4041·4205·1061·a005·1060·40d0··..e@@AB..a...`@. | ||
| 0000a310:·d040·0510·5fa0·0510·5a40·4041·0510·56a0··.@.._...Z@@A..V. | 0000a310:·d040·0510·5fa0·0510·5a40·4041·0510·56a0··.@.._...Z@@A..V. | ||
| 0000a320:·0510·4b40·d040·0510·49a0·0510·4440·d040··..K@.@..I...D@.@ | 0000a320:·0510·4b40·d040·0510·49a0·0510·4440·d040··..K@.@..I...D@.@ | ||
| 0000a330:·0510·41a0·0510·3c40·d040·0510·39a0·0510··..A...<@.@..9... | 0000a330:·0510·41a0·0510·3c40·d040·0510·39a0·0510··..A...<@.@..9... | ||
| 0000a340:·3340·4041·4243·4445·4040· | 0000a340:·3340·4041·4243·4445·4040·4baf·ac83·5bf0··3@@ABCDE@@K...[. | ||
| 0000a350:· | 0000a350:·2475·2944·f0a0·5767·f8b4·8495·a6be·0002··$u)D..Wg........ | ||
| 0000a360:·666b·0000·7f55·0001·aaab·0001·a88e·0800··fk...U.......... | 0000a360:·666b·0000·7f55·0001·aaab·0001·a88e·0800··fk...U.......... | ||
| 0000a370:·0087·0090·a0b7·a090·2162·409b·a0a0·90b0··........!b@..... | 0000a370:·0087·0090·a0b7·a090·2162·409b·a0a0·90b0··........!b@..... | ||
| 0000a380:·90a0·2944·6174·6174·7970·6573·a024·496e··..)Datatypes.$In | 0000a380:·90a0·2944·6174·6174·7970·6573·a024·496e··..)Datatypes.$In | ||
| 0000a390:·6974·a023·436f·7140·2462·6f6f·6c02·0efc··it.#Coq@$bool... | 0000a390:·6974·a023·436f·7140·2462·6f6f·6c02·0efc··it.#Coq@$bool... | ||
| 0000a3a0:·5a27·40a0·8080·b7a0·9021·5040·9441·fdd0··Z'@......!P@.A.. | 0000a3a0:·5a27·40a0·8080·b7a0·9021·5040·9441·fdd0··Z'@......!P@.A.. | ||
| 0000a3b0:·0413·40a0·4040·a040·4090·4404·0b80·a0a0··..@.@@.@@.D..... | 0000a3b0:·0413·40a0·4040·a040·4090·4404·0b80·a0a0··..@.@@.@@.D..... | ||
| 0000a3c0:·9004·1eb6·a040·40a9·9aa0·90b0·041d·2769··.....@@.......'i | 0000a3c0:·9004·1eb6·a040·40a9·9aa0·90b0·041d·2769··.....@@.......'i | ||
| Offset 12508, 17 lines modified | Offset 12508, 17 lines modified | ||
| 00030db0:·224a·3704·2237·0821·3705·2219·370f·2005··"J7."7.!7.".7.·. | 00030db0:·224a·3704·2237·0821·3705·2219·370f·2005··"J7."7.!7.".7.·. | ||
| 00030dc0:·4a4a·3710·2804·8009·3128·1414·3c10·1810··JJ7.(...1(..<... | 00030dc0:·4a4a·3710·2804·8009·3128·1414·3c10·1810··JJ7.(...1(..<... | ||
| 00030dd0:·0c14·0810·1410·0c0c·0c48·1014·100c·1408··.........H...... | 00030dd0:·0c14·0810·1410·0c0c·0c48·1014·100c·1408··.........H...... | ||
| 00030de0:·1014·100c·0c0c·0c10·1410·1410·2410·1410··............$... | 00030de0:·1014·100c·0c0c·0c10·1410·1410·2410·1410··............$... | ||
| 00030df0:·0c14·0810·1410·0c0c·1018·9093·0426·92a1··.............&.. | 00030df0:·0c14·0810·1410·0c0c·1018·9093·0426·92a1··.............&.. | ||
| 00030e00:·a353·357f·c0c5·19cd·a2f3·f011·c880·0000··.S5............. | 00030e00:·a353·357f·c0c5·19cd·a2f3·f011·c880·0000··.S5............. | ||
| 00030e10:·0004·0000·0007·6c69·6272·6172·7900·0000··......library... | 00030e10:·0004·0000·0007·6c69·6272·6172·7900·0000··......library... | ||
| 00030e20:·0000·0001·cb00·0000·0000·00a1·7f | 00030e20:·0000·0001·cb00·0000·0000·00a1·7f4b·afac··.............K.. | ||
| 00030e30:· | 00030e30:·835b·f024·7529·44f0·a057·67f8·b400·0000··.[.$u)D..Wg..... | ||
| 00030e40:·076f·7061·7175·6573·0000·0000·0000·a35a··.opaques.......Z | 00030e40:·076f·7061·7175·6573·0000·0000·0000·a35a··.opaques.......Z | ||
| 00030e50:·0000·0000·0002·667f·8530·a9bf·b919·adf4··......f..0...... | 00030e50:·0000·0000·0002·667f·8530·a9bf·b919·adf4··......f..0...... | ||
| 00030e60:·37aa·cbcc·56ec·1925·0000·0007·7375·6d6d··7...V..%....summ | 00030e60:·37aa·cbcc·56ec·1925·0000·0007·7375·6d6d··7...V..%....summ | ||
| 00030e70:·6172·7900·0000·0000·0000·1000·0000·0000··ary............. | 00030e70:·6172·7900·0000·0000·0000·1000·0000·0000··ary............. | ||
| 00030e80:·0001·ab | 00030e80:·0001·ab72·e775·1da2·0ca1·99f1·37b0·e5f6··...r.u......7... | ||
| 00030e90:· | 00030e90:·6b93·7800·0000·0976·6d6c·6962·7261·7279··k.x....vmlibrary | ||
| 00030ea0:·0000·0000·0003·09e9·0000·0000·0000·0415··................ | 00030ea0:·0000·0000·0003·09e9·0000·0000·0000·0415··................ | ||
| 00030eb0:·92a1·a353·357f·c0c5·19cd·a2f3·f011·c880··...S5........... | 00030eb0:·92a1·a353·357f·c0c5·19cd·a2f3·f011·c880··...S5........... |
| Offset 7, 24 lines modified | Offset 7, 24 lines modified | ||
| 00000060:·efa0·a02d·616c·6c5f·7373·7265·666c·6563··...-all_ssreflec | 00000060:·efa0·a02d·616c·6c5f·7373·7265·666c·6563··...-all_ssreflec | ||
| 00000070:·74a0·2973·7372·6566·6c65·6374·a028·6d61··t.)ssreflect.(ma | 00000070:·74a0·2973·7372·6566·6c65·6374·a028·6d61··t.)ssreflect.(ma | ||
| 00000080:·7468·636f·6d70·4090·30c7·9dd8·c77d·a11c··thcomp@.0....}.. | 00000080:·7468·636f·6d70·4090·30c7·9dd8·c77d·a11c··thcomp@.0....}.. | ||
| 00000090:·eb36·06fa·6dbe·0b95·eca0·a024·6d69·7363··.6..m......$misc | 00000090:·eb36·06fa·6dbe·0b95·eca0·a024·6d69·7363··.6..m......$misc | ||
| 000000a0:·a027·5265·674c·616e·6740·9030·3c5d·e2f3··.'RegLang@.0<].. | 000000a0:·a027·5265·674c·616e·6740·9030·3c5d·e2f3··.'RegLang@.0<].. | ||
| 000000b0:·dc8b·d44d·582f·c124·93d5·64bc·a0a0·296c··...MX/.$..d...)l | 000000b0:·dc8b·d44d·582f·c124·93d5·64bc·a0a0·296c··...MX/.$..d...)l | ||
| 000000c0:·616e·6775·6167·6573·a027·5265·674c·616e··anguages.'RegLan | 000000c0:·616e·6775·6167·6573·a027·5265·674c·616e··anguages.'RegLan | ||
| 000000d0:·6740·9030· | 000000d0:·6740·9030·d4ba·c602·c73b·cf1c·377e·7346··g@.0.....;..7~sF | ||
| 000000e0:· | 000000e0:·5ff3·6cce·a0a0·2364·6661·a027·5265·674c··_.l...#dfa.'RegL | ||
| 000000f0:·616e·6740·9030· | 000000f0:·616e·6740·9030·27e5·6d0f·b642·fe91·e22d··ang@.0'.m..B...- | ||
| 00000100:· | 00000100:·5964·b4de·35b2·a0a0·2672·6567·6578·70a0··Yd..5...®exp. | ||
| 00000110:·2752·6567·4c61·6e67·4090·30 | 00000110:·2752·6567·4c61·6e67·4090·3098·bae9·4ca8··'RegLang@.0...L. | ||
| 00000120:· | 00000120:·8511·4e8b·3fee·36fd·f6bc·62a0·a02d·6d79··..N.?.6...b..-my | ||
| 00000130:·6869·6c6c·5f6e·6572·6f64·65a0·2752·6567··hill_nerode.'Reg | 00000130:·6869·6c6c·5f6e·6572·6f64·65a0·2752·6567··hill_nerode.'Reg | ||
| 00000140:·4c61·6e67·4090·306d·0809·fae5·221b·863a··Lang@.0m...."..: | |||
| 00000150:·eb56·8c8d·dc1a·5b25·352e·322e·30a0·4040··.V....[%5.2.0.@@ | |||
| 000001 | 00000140:·4c61·6e67·4090·3020·1a26·29c6·8f26·39c4··Lang@.0·.&)..&9. | ||
| 00000150:·b9f0·2832·9127·be25·352e·322e·30a0·4040··..(2.'.%5.2.0.@@ | |||
| 00000160:·23ed·ef70·096b·bc2b·1a3e·de88·ee78·3b39··#..p.k.+.>...x;9 | |||
| 00000170:·8495·a6be·0000·7c4d·0000·1d8f·0000·6438··......|M......d8 | 00000170:·8495·a6be·0000·7c4d·0000·1d8f·0000·6438··......|M......d8 | ||
| 00000180:·0000·614f·b0d0·a027·7477·6f5f·7761·79a0··..aO...'two_way. | 00000180:·0000·614f·b0d0·a027·7477·6f5f·7761·79a0··..aO...'two_way. | ||
| 00000190:·2752·6567·4c61·6e67·40e0·9004·0641·90a0··'RegLang@....A.. | 00000190:·2752·6567·4c61·6e67·40e0·9004·0641·90a0··'RegLang@....A.. | ||
| 000001a0:·a029·6f72·6432·5f73·7065·6391·0800·003f··.)ord2_spec....? | 000001a0:·a029·6f72·6432·5f73·7065·6391·0800·003f··.)ord2_spec....? | ||
| 000001b0:·0090·0800·0043·0004·05a0·a0a0·9021·6d40··.....C.......!m@ | 000001b0:·0090·0800·0043·0004·05a0·a0a0·9021·6d40··.....C.......!m@ | ||
| 000001c0:·a99b·a0a0·90b0·90a0·2766·696e·7479·7065··........'fintype | 000001c0:·a99b·a0a0·90b0·90a0·2766·696e·7479·7065··........'fintype | ||
| 000001d0:·a029·7373·7265·666c·6563·74a0·286d·6174··.)ssreflect.(mat | 000001d0:·a029·7373·7265·666c·6563·74a0·286d·6174··.)ssreflect.(mat | ||
| Offset 1392, 16 lines modified | Offset 1392, 16 lines modified | ||
| 000056f0:·d641·04bd·c040·b004·d841·0434·4041·4243··.A...@...A.4@ABC | 000056f0:·d641·04bd·c040·b004·d841·0434·4041·4243··.A...@...A.4@ABC | ||
| 00005700:·b004·d941·04ab·c0c0·40b0·04dc·4104·a5c0··...A....@...A... | 00005700:·b004·d941·04ab·c0c0·40b0·04dc·4104·a5c0··...A....@...A... | ||
| 00005710:·40b0·0511·2e41·a003·01e0·7308·2b0a·805d··@....A....s.+..] | 00005710:·40b0·0511·2e41·a003·01e0·7308·2b0a·805d··@....A....s.+..] | ||
| 00005720:·90b0·04a3·049d·0060·4041·42b0·0475·41a0··.......`@AB..uA. | 00005720:·90b0·04a3·049d·0060·4041·42b0·0475·41a0··.......`@AB..uA. | ||
| 00005730:·0300·0154·b5ad·d986·9490·b004·e204·df01··...T............ | 00005730:·0300·0154·b5ad·d986·9490·b004·e204·df01··...T............ | ||
| 00005740:·0506·4043·4445·4647·90a0·a02d·6d79·6869··..@CDEFG...-myhi | 00005740:·0506·4043·4445·4647·90a0·a02d·6d79·6869··..@CDEFG...-myhi | ||
| 00005750:·6c6c·5f6e·6572·6f64·65a0·2752·6567·4c61··ll_nerode.'RegLa | 00005750:·6c6c·5f6e·6572·6f64·65a0·2752·6567·4c61··ll_nerode.'RegLa | ||
| 00005760:·6e67·4090·30 | 00005760:·6e67·4090·3020·1a26·29c6·8f26·39c4·b9f0··ng@.0·.&)..&9... | ||
| 00005770:· | 00005770:·2832·9127·be90·40a0·4040·a0a0·95a0·021c··(2.'..@.@@...... | ||
| 00005780:·4e24·fda0·0511·8590·a0a0·0511·88a0·0511··N$.............. | 00005780:·4e24·fda0·0511·8590·a0a0·0511·88a0·0511··N$.............. | ||
| 00005790:·3fa0·0511·3fa0·0511·3f40·40a0·95a0·020f··?...?...?@@..... | 00005790:·3fa0·0511·3fa0·0511·3f40·40a0·95a0·020f··?...?...?@@..... | ||
| 000057a0:·c0a2·b8a0·a105·10b5·e041·4040·4040·40a0··.........A@@@@@. | 000057a0:·c0a2·b8a0·a105·10b5·e041·4040·4040·40a0··.........A@@@@@. | ||
| 000057b0:·a092·a005·10ba·40a0·a040·a090·c0b0·0511··......@..@...... | 000057b0:·a092·a005·10ba·40a0·a040·a090·c0b0·0511··......@..@...... | ||
| 000057c0:·6b41·4090·9042·4041·a040·4040·a0a0·93a0··kA@..B@A.@@@.... | 000057c0:·6b41·4090·9042·4041·a040·4040·a0a0·93a0··kA@..B@A.@@@.... | ||
| 000057d0:·040e·41a0·a040·a090·c0b0·0510·ea41·4090··..A..@.......A@. | 000057d0:·040e·41a0·a040·a090·c0b0·0510·ea41·4090··..A..@.......A@. | ||
| 000057e0:·9042·4041·a090·c0b0·0510·f442·4091·9043··.B@A.......B@..C | 000057e0:·9042·4041·a090·c0b0·0510·f442·4091·9043··.B@A.......B@..C | ||
| Offset 2007, 16 lines modified | Offset 2007, 16 lines modified | ||
| 00007d60:·176e·a090·9205·0f9e·a090·9105·15cd·40d0··.n............@. | 00007d60:·176e·a090·9205·0f9e·a090·9105·15cd·40d0··.n............@. | ||
| 00007d70:·d0d0·4040·a005·0b86·4040·4141·a005·0b83··..@@....@@AA.... | 00007d70:·d0d0·4040·a005·0b86·4040·4141·a005·0b83··..@@....@@AA.... | ||
| 00007d80:·40d0·4005·0b80·a005·0b7c·4040·4142·050b··@.@......|@@AB.. | 00007d80:·40d0·4005·0b80·a005·0b7c·4040·4142·050b··@.@......|@@AB.. | ||
| 00007d90:·78a0·050b·7740·d0d0·4005·0b76·a005·0b72··x...w@..@..v...r | 00007d90:·78a0·050b·7740·d0d0·4005·0b76·a005·0b72··x...w@..@..v...r | ||
| 00007da0:·4040·4105·0b6d·a005·0b62·40d0·4005·0b60··@@A..m...b@.@..` | 00007da0:·4040·4105·0b6d·a005·0b62·40d0·4005·0b60··@@A..m...b@.@..` | ||
| 00007db0:·a005·0b5b·40d0·4005·0b59·a005·0b54·40d0··...[@.@..Y...T@. | 00007db0:·a005·0b5b·40d0·4005·0b59·a005·0b54·40d0··...[@.@..Y...T@. | ||
| 00007dc0:·4005·0b51·a005·0b4b·4040·4142·4344·4540··@..Q...K@@ABCDE@ | 00007dc0:·4005·0b51·a005·0b4b·4040·4142·4344·4540··@..Q...K@@ABCDE@ | ||
| 00007dd0:·40 | 00007dd0:·4031·016c·1fa9·e4f7·010c·1e29·02da·5386··@1.l.......)..S. | ||
| 00007de0:· | 00007de0:·3884·95a6·be00·00cf·f100·002e·1f00·0096··8............... | ||
| 00007df0:·0d00·0095·1108·0000·3700·90a0·b7a0·9021··........7......! | 00007df0:·0d00·0095·1108·0000·3700·90a0·b7a0·9021··........7......! | ||
| 00007e00:·6e40·9ba0·a090·b090·a029·4461·7461·7479··n@.......)Dataty | 00007e00:·6e40·9ba0·a090·b090·a029·4461·7461·7479··n@.......)Dataty | ||
| 00007e10:·7065·73a0·2449·6e69·74a0·2343·6f71·4023··pes.$Init.#Coq@# | 00007e10:·7065·73a0·2449·6e69·74a0·2343·6f71·4023··pes.$Init.#Coq@# | ||
| 00007e20:·6e61·7402·0ef2·1606·40a0·8080·b7a0·9021··nat.....@......! | 00007e20:·6e61·7402·0ef2·1606·40a0·8080·b7a0·9021··nat.....@......! | ||
| 00007e30:·6d40·a99b·a0a0·90b0·90a0·2766·696e·7479··m@........'finty | 00007e30:·6d40·a99b·a0a0·90b0·90a0·2766·696e·7479··m@........'finty | ||
| 00007e40:·7065·a029·7373·7265·666c·6563·74a0·286d··pe.)ssreflect.(m | 00007e40:·7065·a029·7373·7265·666c·6563·74a0·286d··pe.)ssreflect.(m | ||
| 00007e50:·6174·6863·6f6d·7040·276f·7264·696e·616c··athcomp@'ordinal | 00007e50:·6174·6863·6f6d·7040·276f·7264·696e·616c··athcomp@'ordinal | ||
| Offset 5488, 17 lines modified | Offset 5488, 17 lines modified | ||
| 000156f0:·370b·2137·0e28·0480·3b6c·0c14·1428·0c18··7.!7.(..;l...(.. | 000156f0:·370b·2137·0e28·0480·3b6c·0c14·1428·0c18··7.!7.(..;l...(.. | ||
| 00015700:·140c·1c18·1410·0c0c·1814·0c14·0c0c·140c··................ | 00015700:·140c·1c18·1410·0c0c·1814·0c14·0c0c·140c··................ | ||
| 00015710:·0c18·0c0c·80c0·352d·0003·8c2a·2b01·010a··......5-...*+... | 00015710:·0c18·0c0c·80c0·352d·0003·8c2a·2b01·010a··......5-...*+... | ||
| 00015720:·3700·220b·0b37·0122·3a01·2902·8022·2814··7."..7.":.).."(. | 00015720:·3700·220b·0b37·0122·3a01·2902·8022·2814··7."..7.":.).."(. | ||
| 00015730:·807a·0d62·b0b3·f06e·c51f·fb84·c819·2770··.z.b...n......'p | 00015730:·807a·0d62·b0b3·f06e·c51f·fb84·c819·2770··.z.b...n......'p | ||
| 00015740:·4a00·0000·0400·0000·076c·6962·7261·7279··J........library | 00015740:·4a00·0000·0400·0000·076c·6962·7261·7279··J........library | ||
| 00015750:·0000·0000·0000·0170·0000·0000·0000·7c61··.......p......|a | 00015750:·0000·0000·0000·0170·0000·0000·0000·7c61··.......p......|a | ||
| 00015760:· | 00015760:·3101·6c1f·a9e4·f701·0c1e·2902·da53·8638··1.l.......)..S.8 | ||
| 00015770:·0000·0007·6f70·6171·7565·7300·0000·0000··....opaques..... | 00015770:·0000·0007·6f70·6171·7565·7300·0000·0000··....opaques..... | ||
| 00015780:·007d·e100·0000·0000·00d0·0578·07b1·7f96··.}.........x.... | 00015780:·007d·e100·0000·0000·00d0·0578·07b1·7f96··.}.........x.... | ||
| 00015790:·7065·7bb1·79c2·eb3d·454d·6100·0000·0773··pe{.y..=EMa....s | 00015790:·7065·7bb1·79c2·eb3d·454d·6100·0000·0773··pe{.y..=EMa....s | ||
| 000157a0:·756d·6d61·7279·0000·0000·0000·0010·0000··ummary.......... | 000157a0:·756d·6d61·7279·0000·0000·0000·0010·0000··ummary.......... | ||
| 000157b0:·0000·0000·0150· | 000157b0:·0000·0000·0150·23ed·ef70·096b·bc2b·1a3e··.....P#..p.k.+.> | ||
| 000157c0:· | 000157c0:·de88·ee78·3b39·0000·0009·766d·6c69·6272··...x;9....vmlibr | ||
| 000157d0:·6172·7900·0000·0000·014d·f600·0000·0000··ary......M...... | 000157d0:·6172·7900·0000·0000·014d·f600·0000·0000··ary......M...... | ||
| 000157e0:·0009·3b7a·0d62·b0b3·f06e·c51f·fb84·c819··..;z.b...n...... | 000157e0:·0009·3b7a·0d62·b0b3·f06e·c51f·fb84·c819··..;z.b...n...... | ||
| 000157f0:·2770·4a··································'pJ | 000157f0:·2770·4a··································'pJ |
| Offset 7, 22 lines modified | Offset 7, 22 lines modified | ||
| 00000060:·a02d·616c·6c5f·7373·7265·666c·6563·74a0··.-all_ssreflect. | 00000060:·a02d·616c·6c5f·7373·7265·666c·6563·74a0··.-all_ssreflect. | ||
| 00000070:·2973·7372·6566·6c65·6374·a028·6d61·7468··)ssreflect.(math | 00000070:·2973·7372·6566·6c65·6374·a028·6d61·7468··)ssreflect.(math | ||
| 00000080:·636f·6d70·4090·30c7·9dd8·c77d·a11c·eb36··comp@.0....}...6 | 00000080:·636f·6d70·4090·30c7·9dd8·c77d·a11c·eb36··comp@.0....}...6 | ||
| 00000090:·06fa·6dbe·0b95·eca0·a024·6d69·7363·a027··..m......$misc.' | 00000090:·06fa·6dbe·0b95·eca0·a024·6d69·7363·a027··..m......$misc.' | ||
| 000000a0:·5265·674c·616e·6740·9030·3c5d·e2f3·dc8b··RegLang@.0<].... | 000000a0:·5265·674c·616e·6740·9030·3c5d·e2f3·dc8b··RegLang@.0<].... | ||
| 000000b0:·d44d·582f·c124·93d5·64bc·a0a0·296c·616e··.MX/.$..d...)lan | 000000b0:·d44d·582f·c124·93d5·64bc·a0a0·296c·616e··.MX/.$..d...)lan | ||
| 000000c0:·6775·6167·6573·a027·5265·674c·616e·6740··guages.'RegLang@ | 000000c0:·6775·6167·6573·a027·5265·674c·616e·6740··guages.'RegLang@ | ||
| 000000d0:·9030· | 000000d0:·9030·d4ba·c602·c73b·cf1c·377e·7346·5ff3··.0.....;..7~sF_. | ||
| 000000e0:· | 000000e0:·6cce·a0a0·236e·6661·a027·5265·674c·616e··l...#nfa.'RegLan | ||
| 000000f0:·6740·9030· | 000000f0:·6740·9030·04d9·171e·0e52·6d86·385a·ebbd··g@.0.....Rm.8Z.. | ||
| 00000100:· | 00000100:·c6c9·d3db·a0a0·2774·776f·5f77·6179·a027··......'two_way.' | ||
| 00000110:·5265·674c·616e·6740·9030· | 00000110:·5265·674c·616e·6740·9030·3101·6c1f·a9e4··RegLang@.01.l... | ||
| 00000120:·af43·0fe4·5861·6255·9850·2535·2e32·2e30··.C..XabU.P%5.2.0 | |||
| 000001 | 00000120:·f701·0c1e·2902·da53·8638·2535·2e32·2e30··....)..S.8%5.2.0 | ||
| 00000130:·a040·40a5·5710·98b8·721a·6b69·d8f3·3484··.@@.W...r.ki..4. | |||
| 00000140:· | 00000140:·2286·8184·95a6·be00·004a·9600·000f·5c00··"........J....\. | ||
| 00000150:·0036·1700·0033·52b0·d0a0·2576·6172·6469··.6...3R...%vardi | 00000150:·0036·1700·0033·52b0·d0a0·2576·6172·6469··.6...3R...%vardi | ||
| 00000160:·a027·5265·674c·616e·6740·e090·0406·4190··.'RegLang@....A. | 00000160:·a027·5265·674c·616e·6740·e090·0406·4190··.'RegLang@....A. | ||
| 00000170:·a0a0·2562·7369·6d70·9008·0000·2700·40a0··..%bsimp....'.@. | 00000170:·a0a0·2562·7369·6d70·9008·0000·2700·40a0··..%bsimp....'.@. | ||
| 00000180:·8080·91a9·9ca0·a0a0·90b0·90a0·2944·6174··............)Dat | 00000180:·8080·91a9·9ca0·a0a0·90b0·90a0·2944·6174··............)Dat | ||
| 00000190:·6174·7970·6573·a024·496e·6974·a023·436f··atypes.$Init.#Co | 00000190:·6174·7970·6573·a024·496e·6974·a023·436f··atypes.$Init.#Co | ||
| 000001a0:·7140·2470·726f·6402·0efd·d574·4041·0411··q@$prod....t@A.. | 000001a0:·7140·2470·726f·6402·0efd·d574·4041·0411··q@$prod....t@A.. | ||
| 000001b0:·c0a9·9ba0·040f·0415·a0a9·0404·a0a9·0406··................ | 000001b0:·c0a9·9ba0·040f·0415·a0a9·0404·a0a9·0406··................ | ||
| Offset 1045, 16 lines modified | Offset 1045, 16 lines modified | ||
| 00004140:·041c·4104·f240·4142·b004·1d41·04b4·c0c0··..A..@AB...A.... | 00004140:·041c·4104·f240·4142·b004·1d41·04b4·c0c0··..A..@AB...A.... | ||
| 00004150:·40b0·0420·4104·ec40·41b0·0421·41a0·0301··@..·A..@A..!A... | 00004150:·40b0·0420·4104·ec40·41b0·0421·41a0·0301··@..·A..@A..!A... | ||
| 00004160:·f84b·375a·023f·6e90·b004·ed04·ea01·02ff··.K7Z.?n......... | 00004160:·f84b·375a·023f·6e90·b004·ed04·ea01·02ff··.K7Z.?n......... | ||
| 00004170:·c0c0·40b0·0427·41a0·0301·f84b·375b·6897··..@..'A....K7[h. | 00004170:·c0c0·40b0·0427·41a0·0301·f84b·375b·6897··..@..'A....K7[h. | ||
| 00004180:·8890·b004·f304·f001·0465·4041·b004·2b41··.........e@A..+A | 00004180:·8890·b004·f304·f001·0465·4041·b004·2b41··.........e@A..+A | ||
| 00004190:·a003·01f8·4a44·3e7f·2fac·90b0·0501·0104··....JD>./....... | 00004190:·a003·01f8·4a44·3e7f·2fac·90b0·0501·0104··....JD>./....... | ||
| 000041a0:·fe01·09fa·4042·4344·4548·90a0·0505·7390··....@BCDEH....s. | 000041a0:·fe01·09fa·4042·4344·4548·90a0·0505·7390··....@BCDEH....s. | ||
| 000041b0:·30 | 000041b0:·3031·016c·1fa9·e4f7·010c·1e29·02da·5386··01.l.......)..S. | ||
| 000041c0:· | 000041c0:·3890·40a0·4040·a0a0·95a0·0232·0a51·8fa0··8.@.@@.....2.Q.. | ||
| 000041d0:·050c·2db0·9140·4040·a095·a002·0fc0·a2b8··..-..@@@........ | 000041d0:·050c·2db0·9140·4040·a095·a002·0fc0·a2b8··..-..@@@........ | ||
| 000041e0:·a090·e041·4040·4040·40a0·a091·90b0·050c··...A@@@@@....... | 000041e0:·a090·e041·4040·4040·40a0·a091·90b0·050c··...A@@@@@....... | ||
| 000041f0:·3e05·0c3a·0230·2280·02a0·a040·4040·40a0··>..:.0"....@@@@. | 000041f0:·3e05·0c3a·0230·2280·02a0·a040·4040·40a0··>..:.0"....@@@@. | ||
| 00004200:·95a0·0227·60a0·6fd0·4091·0409·4040·d0d0··...'`.o.@...@@.. | 00004200:·95a0·0227·60a0·6fd0·4091·0409·4040·d0d0··...'`.o.@...@@.. | ||
| 00004210:·d040·40a0·a0a0·2a74·7970·655f·7363·6f70··.@@...*type_scop | 00004210:·d040·40a0·a0a0·2a74·7970·655f·7363·6f70··.@@...*type_scop | ||
| 00004220:·6540·4040·4041·41a0·a0a0·2e66·756e·6374··e@@@@AA....funct | 00004220:·6540·4040·4041·41a0·a0a0·2e66·756e·6374··e@@@@AA....funct | ||
| 00004230:·696f·6e5f·7363·6f70·6540·4040·d040·9190··ion_scope@@@.@.. | 00004230:·696f·6e5f·7363·6f70·6540·4040·d040·9190··ion_scope@@@.@.. | ||
| Offset 1208, 16 lines modified | Offset 1208, 16 lines modified | ||
| 00004b70:·2760·a06f·d040·9104·11a0·40a0·4040·a090··'`.o.@....@.@@.. | 00004b70:·2760·a06f·d040·9104·11a0·40a0·4040·a090··'`.o.@....@.@@.. | ||
| 00004b80:·9205·09e8·a090·9205·09d8·40d0·d0d0·4040··..........@...@@ | 00004b80:·9205·09e8·a090·9205·09d8·40d0·d0d0·4040··..........@...@@ | ||
| 00004b90:·a005·02fe·4040·4141·a005·02fb·40d0·4005··....@@AA....@.@. | 00004b90:·a005·02fe·4040·4141·a005·02fb·40d0·4005··....@@AA....@.@. | ||
| 00004ba0:·02f8·a005·02f4·4040·4142·0502·f0a0·0502··......@@AB...... | 00004ba0:·02f8·a005·02f4·4040·4142·0502·f0a0·0502··......@@AB...... | ||
| 00004bb0:·ef40·d0d0·4005·02ee·a005·02e9·4040·4105··.@..@.......@@A. | 00004bb0:·ef40·d0d0·4005·02ee·a005·02e9·4040·4105··.@..@.......@@A. | ||
| 00004bc0:·02e4·a005·02d8·40d0·4005·02d6·a005·02d1··......@.@....... | 00004bc0:·02e4·a005·02d8·40d0·4005·02d6·a005·02d1··......@.@....... | ||
| 00004bd0:·40d0·4005·02ce·a005·02c9·40d0·4005·02c6··@.@.......@.@... | 00004bd0:·40d0·4005·02ce·a005·02c9·40d0·4005·02c6··@.@.......@.@... | ||
| 00004be0:·a005·02c0·4040·4142·4344·4540·40 | 00004be0:·a005·02c0·4040·4142·4344·4540·40e9·f94a··....@@ABCDE@@..J | ||
| 00004bf0:· | 00004bf0:·0906·e7ad·6d1f·9344·15cd·7372·8e84·95a6··....m..D..sr.... | ||
| 00004c00:·be00·00f5·7000·0036·2400·00af·8a00·00ae··....p..6$....... | 00004c00:·be00·00f5·7000·0036·2400·00af·8a00·00ae··....p..6$....... | ||
| 00004c10:·6fc0·90a0·b7a0·9021·7840·a99a·a090·b090··o......!x@...... | 00004c10:·6fc0·90a0·b7a0·9021·7840·a99a·a090·b090··o......!x@...... | ||
| 00004c20:·a029·6c61·6e67·7561·6765·73a0·2752·6567··.)languages.'Reg | 00004c20:·a029·6c61·6e67·7561·6765·73a0·2752·6567··.)languages.'Reg | ||
| 00004c30:·4c61·6e67·4024·776f·7264·020e·0001·f8a0··Lang@$word...... | 00004c30:·4c61·6e67·4024·776f·7264·020e·0001·f8a0··Lang@$word...... | ||
| 00004c40:·8080·90a9·9aa0·90b0·a2a2·90a0·2766·696e··............'fin | 00004c40:·8080·90a9·9aa0·90b0·a2a2·90a0·2766·696e··............'fin | ||
| 00004c50:·7479·7065·a029·7373·7265·666c·6563·74a0··type.)ssreflect. | 00004c50:·7479·7065·a029·7373·7265·666c·6563·74a0··type.)ssreflect. | ||
| 00004c60:·286d·6174·6863·6f6d·7040·2646·696e·6974··(mathcomp@&Finit | 00004c60:·286d·6174·6863·6f6d·7040·2646·696e·6974··(mathcomp@&Finit | ||
| Offset 5280, 18 lines modified | Offset 5280, 18 lines modified | ||
| 000149f0:·140c·140c·0c40·0c10·180c·101c·0c0c·1820··.....@.........· | 000149f0:·140c·140c·0c40·0c10·180c·101c·0c0c·1820··.....@.........· | ||
| 00014a00:·0c0c·180c·1014·0c0c·0c1c·0c10·1c0c·0c14··................ | 00014a00:·0c0c·180c·1014·0c0c·0c1c·0c10·1c0c·0c14··................ | ||
| 00014a10:·180c·1014·0c14·0c0c·140c·0c14·140c·140c··................ | 00014a10:·180c·1014·0c14·0c0c·140c·0c14·140c·140c··................ | ||
| 00014a20:·0c14·0c0c·140c·0c1c·0c10·1c0c·0c14·180c··................ | 00014a20:·0c14·0c0c·140c·0c1c·0c10·1c0c·0c14·180c··................ | ||
| 00014a30:·1014·0c14·0c0c·140c·0c14·140c·0c0c·80be··................ | 00014a30:·1014·0c14·0c0c·140c·0c14·140c·0c0c·80be··................ | ||
| 00014a40:·5bb6·eb09·e2b8·622e·f097·eabc·6554·e000··[.....b.....eT.. | 00014a40:·5bb6·eb09·e2b8·622e·f097·eabc·6554·e000··[.....b.....eT.. | ||
| 00014a50:·0000·0400·0000·076c·6962·7261·7279·0000··.......library.. | 00014a50:·0000·0400·0000·076c·6962·7261·7279·0000··.......library.. | ||
| 00014a60:·0000·0000·0143·0000·0000·0000·4aaa· | 00014a60:·0000·0000·0143·0000·0000·0000·4aaa·e9f9··.....C......J... | ||
| 00014a70:· | 00014a70:·4a09·06e7·ad6d·1f93·4415·cd73·728e·0000··J....m..D..sr... | ||
| 00014a80:·0007·6f70·6171·7565·7300·0000·0000·004b··..opaques......K | 00014a80:·0007·6f70·6171·7565·7300·0000·0000·004b··..opaques......K | ||
| 00014a90:·fd00·0000·0000·00f5·8406·5f35·87e3·c0bf··.........._5.... | 00014a90:·fd00·0000·0000·00f5·8406·5f35·87e3·c0bf··.........._5.... | ||
| 00014aa0:·d04d·33ef·dd2f·d9df·3000·0000·0773·756d··.M3../..0....sum | 00014aa0:·d04d·33ef·dd2f·d9df·3000·0000·0773·756d··.M3../..0....sum | ||
| 00014ab0:·6d61·7279·0000·0000·0000·0010·0000·0000··mary............ | 00014ab0:·6d61·7279·0000·0000·0000·0010·0000·0000··mary............ | ||
| 00014ac0:·0000·0123· | 00014ac0:·0000·0123·a557·1098·b872·1a6b·69d8·f334··...#.W...r.ki..4 | ||
| 00014ad0:· | 00014ad0:·8422·8681·0000·0009·766d·6c69·6272·6172··."......vmlibrar | ||
| 00014ae0:·7900·0000·0000·0141·9100·0000·0000·0008··y......A........ | 00014ae0:·7900·0000·0000·0141·9100·0000·0000·0008··y......A........ | ||
| 00014af0:·aebe·5bb6·eb09·e2b8·622e·f097·eabc·6554··..[.....b.....eT | 00014af0:·aebe·5bb6·eb09·e2b8·622e·f097·eabc·6554··..[.....b.....eT | ||
| 00014b00:·e0·······································. | 00014b00:·e0·······································. |
| Offset 7, 24 lines modified | Offset 7, 24 lines modified | ||
| 00000060:·2d61·6c6c·5f73·7372·6566·6c65·6374·a029··-all_ssreflect.) | 00000060:·2d61·6c6c·5f73·7372·6566·6c65·6374·a029··-all_ssreflect.) | ||
| 00000070:·7373·7265·666c·6563·74a0·286d·6174·6863··ssreflect.(mathc | 00000070:·7373·7265·666c·6563·74a0·286d·6174·6863··ssreflect.(mathc | ||
| 00000080:·6f6d·7040·9030·c79d·d8c7·7da1·1ceb·3606··omp@.0....}...6. | 00000080:·6f6d·7040·9030·c79d·d8c7·7da1·1ceb·3606··omp@.0....}...6. | ||
| 00000090:·fa6d·be0b·95ec·a0a0·246d·6973·63a0·2752··.m......$misc.'R | 00000090:·fa6d·be0b·95ec·a0a0·246d·6973·63a0·2752··.m......$misc.'R | ||
| 000000a0:·6567·4c61·6e67·4090·303c·5de2·f3dc·8bd4··egLang@.0<]..... | 000000a0:·6567·4c61·6e67·4090·303c·5de2·f3dc·8bd4··egLang@.0<]..... | ||
| 000000b0:·4d58·2fc1·2493·d564·bca0·a029·6c61·6e67··MX/.$..d...)lang | 000000b0:·4d58·2fc1·2493·d564·bca0·a029·6c61·6e67··MX/.$..d...)lang | ||
| 000000c0:·7561·6765·73a0·2752·6567·4c61·6e67·4090··uages.'RegLang@. | 000000c0:·7561·6765·73a0·2752·6567·4c61·6e67·4090··uages.'RegLang@. | ||
| 000000d0:·30 | 000000d0:·30d4·bac6·02c7·3bcf·1c37·7e73·465f·f36c··0.....;..7~sF_.l | ||
| 000000e0:· | 000000e0:·cea0·a023·6466·61a0·2752·6567·4c61·6e67··...#dfa.'RegLang | ||
| 000000f0:·4090·30 | 000000f0:·4090·3027·e56d·0fb6·42fe·91e2·2d59·64b4··@.0'.m..B...-Yd. | ||
| 00000100:· | 00000100:·de35·b2a0·a023·6e66·61a0·2752·6567·4c61··.5...#nfa.'RegLa | ||
| 00000110:·6e67·4090·30 | 00000110:·6e67·4090·3004·d917·1e0e·526d·8638·5aeb··ng@.0.....Rm.8Z. | ||
| 00000120:· | 00000120:·bdc6·c9d3·dba0·a026·7265·6765·7870·a027··.......®exp.' | ||
| 00000130:·5265·674c·616e·6740·9030· | 00000130:·5265·674c·616e·6740·9030·98ba·e94c·a885··RegLang@.0...L.. | ||
| 00000140:·20b9·961b·1d4f·cb7c·bfb3·2535·2e32·2e30···....O.|..%5.2.0 | |||
| 000001 | 00000140:·114e·8b3f·ee36·fdf6·bc62·2535·2e32·2e30··.N.?.6...b%5.2.0 | ||
| 00000150:·a040·4049·c1a3·851d·2bba·1f09·f7c1·8ef9··.@@I....+....... | |||
| 00000160:· | 00000160:·ad4b·6584·95a6·be00·00e5·4600·003b·3700··.Ke.......F..;7. | ||
| 00000170:·00be·af00·00ba·f9b0·d0a0·2477·6d73·6fa0··..........$wmso. | 00000170:·00be·af00·00ba·f9b0·d0a0·2477·6d73·6fa0··..........$wmso. | ||
| 00000180:·2752·6567·4c61·6e67·40e0·9004·0641·90a0··'RegLang@....A.. | 00000180:·2752·6567·4c61·6e67·40e0·9004·0641·90a0··'RegLang@....A.. | ||
| 00000190:·a02b·6265·6865·6164·5f63·6f6e·7390·0800··.+behead_cons... | 00000190:·a02b·6265·6865·6164·5f63·6f6e·7390·0800··.+behead_cons... | ||
| 000001a0:·0027·0040·a080·8092·c040·4004·0f40·b6a0··.'.@.....@@..@.. | 000001a0:·0027·0040·a080·8092·c040·4004·0f40·b6a0··.'.@.....@@..@.. | ||
| 000001b0:·9021·5440·9490·a0a0·a003·0000·f5f8·42cf··.!T@..........B. | 000001b0:·9021·5440·9490·a0a0·a003·0000·f5f8·42cf··.!T@..........B. | ||
| 000001c0:·9cbc·90b0·a004·1aa0·0419·4020·0200·0090··..........@·.... | 000001c0:·9cbc·90b0·a004·1aa0·0419·4020·0200·0090··..........@·.... | ||
| 000001d0:·e940·40b6·a090·216e·409b·a0a0·90b0·90a0··.@@...!n@....... | 000001d0:·e940·40b6·a090·216e·409b·a0a0·90b0·90a0··.@@...!n@....... | ||
| Offset 2473, 16 lines modified | Offset 2473, 16 lines modified | ||
| 00009a80:·9341·0501·a140·41b0·051f·b041·0501·ea40··.A...@A....A...@ | 00009a80:·9341·0501·a140·41b0·051f·b041·0501·ea40··.A...@A....A...@ | ||
| 00009a90:·4243·4445·46b0·051f·b141·0501·e4c0·c040··BCDEF....A.....@ | 00009a90:·4243·4445·46b0·051f·b141·0501·e4c0·c040··BCDEF....A.....@ | ||
| 00009aa0:·b005·1fb4·4105·0189·4041·b005·1fb5·4104··....A...@A....A. | 00009aa0:·b005·1fb4·4105·0189·4041·b005·1fb5·4104··....A...@A....A. | ||
| 00009ab0:·b9c0·c0c0·40b0·051f·b941·a003·01f8·5a1d··....@....A....Z. | 00009ab0:·b9c0·c0c0·40b0·051f·b941·a003·01f8·5a1d··....@....A....Z. | ||
| 00009ac0:·0100·9a4d·90b0·0501·c605·01c3·0102·f240··...M...........@ | 00009ac0:·0100·9a4d·90b0·0501·c605·01c3·0102·f240··...M...........@ | ||
| 00009ad0:·41b0·051f·bd41·04bb·4042·b005·13bd·4205··A....A..@B....B. | 00009ad0:·41b0·051f·bd41·04bb·4042·b005·13bd·4205··A....A..@B....B. | ||
| 00009ae0:·11f5·c040·b005·13c7·4205·11ff·4041·4344··...@....B...@ACD | 00009ae0:·11f5·c040·b005·13c7·4205·11ff·4041·4344··...@....B...@ACD | ||
| 00009af0:·4748·494a·90a0·051d·ef90·30 | 00009af0:·4748·494a·90a0·051d·ef90·3098·bae9·4ca8··GHIJ......0...L. | ||
| 00009b00:· | 00009b00:·8511·4e8b·3fee·36fd·f6bc·6290·40a0·a095··..N.?.6...b.@... | ||
| 00009b10:·a002·1d04·1afc·a040·a0a0·4026·5f20·7c3d··.......@..@&_·|= | 00009b10:·a002·1d04·1afc·a040·a0a0·4026·5f20·7c3d··.......@..@&_·|= | ||
| 00009b20:·205f·c0a0·a040·72a0·9072·a090·7240·a0b1···_...@r..r..r@.. | 00009b20:·205f·c0a0·a040·72a0·9072·a090·7240·a0b1···_...@r..r..r@.. | ||
| 00009b30:·4040·a090·72a0·4090·40a0·b140·40a0·9072··@@..r.@.@..@@..r | 00009b30:·4040·a090·72a0·4090·40a0·b140·40a0·9072··@@..r.@.@..@@..r | ||
| 00009b40:·a041·0406·4090·a0d0·a0a0·4072·0414·4004··.A..@.....@r..@. | 00009b40:·a041·0406·4090·a0d0·a0a0·4072·0414·4004··.A..@.....@r..@. | ||
| 00009b50:·19a0·a0a1·a140·0412·9005·199d·a0a0·4122··.....@........A" | 00009b50:·19a0·a0a1·a140·0412·9005·199d·a0a0·4122··.....@........A" | ||
| 00009b60:·7c3d·a0a1·a140·0413·9005·196f·4040·a004··|=...@.....o@@.. | 00009b60:·7c3d·a0a1·a140·0413·9005·196f·4040·a004··|=...@.....o@@.. | ||
| 00009b70:·1ca0·0417·4040·90a0·40a0·a0a5·041e·a0a0··....@@..@....... | 00009b70:·1ca0·0417·4040·90a0·40a0·a0a5·041e·a0a0··....@@..@....... | ||
| Offset 3685, 16 lines modified | Offset 3685, 16 lines modified | ||
| 0000e640:·11a0·40a0·40a0·4040·a090·9205·3216·a090··..@.@.@@....2... | 0000e640:·11a0·40a0·40a0·4040·a090·9205·3216·a090··..@.@.@@....2... | ||
| 0000e650:·9205·2fad·a090·9105·320d·40d0·d0d0·4040··../.....2.@...@@ | 0000e650:·9205·2fad·a090·9105·320d·40d0·d0d0·4040··../.....2.@...@@ | ||
| 0000e660:·a005·17fd·4040·4141·a005·17fb·40d0·4005··....@@AA....@.@. | 0000e660:·a005·17fd·4040·4141·a005·17fb·40d0·4005··....@@AA....@.@. | ||
| 0000e670:·17f8·a005·17f4·4040·4142·0517·f0a0·0517··......@@AB...... | 0000e670:·17f8·a005·17f4·4040·4142·0517·f0a0·0517··......@@AB...... | ||
| 0000e680:·ec40·d0d0·4005·17eb·a005·17e3·4040·4105··.@..@.......@@A. | 0000e680:·ec40·d0d0·4005·17eb·a005·17e3·4040·4105··.@..@.......@@A. | ||
| 0000e690:·17de·a005·17dd·40d0·4005·17db·a005·17d7··......@.@....... | 0000e690:·17de·a005·17dd·40d0·4005·17db·a005·17d7··......@.@....... | ||
| 0000e6a0:·40d0·4005·17d5·a005·17d0·40d0·4005·17cd··@.@.......@.@... | 0000e6a0:·40d0·4005·17d5·a005·17d0·40d0·4005·17cd··@.@.......@.@... | ||
| 0000e6b0:·a005·17c7·4040·4142·4344·4540·40 | 0000e6b0:·a005·17c7·4040·4142·4344·4540·4099·8ecd··....@@ABCDE@@... | ||
| 0000e6c0:· | 0000e6c0:·a9cc·c73c·97fd·d392·95d8·355f·2184·95a6··...<......5_!... | ||
| 0000e6d0:·be00·0414·c800·00d5·6e00·02cc·bc00·02ca··........n....... | 0000e6d0:·be00·0414·c800·00d5·6e00·02cc·bc00·02ca··........n....... | ||
| 0000e6e0:·4a08·0000·f700·90a0·b7a0·9021·5440·9490··J..........!T@.. | 0000e6e0:·4a08·0000·f700·90a0·b7a0·9021·5440·9490··J..........!T@.. | ||
| 0000e6f0:·a0a0·a003·0000·f5f8·42cf·9cbc·90b0·a024··........B......$ | 0000e6f0:·a0a0·a003·0000·f5f8·42cf·9cbc·90b0·a024··........B......$ | ||
| 0000e700:·776d·736f·a027·5265·674c·616e·6740·2002··wmso.'RegLang@·. | 0000e700:·776d·736f·a027·5265·674c·616e·6740·2002··wmso.'RegLang@·. | ||
| 0000e710:·0000·90e9·4040·b7a0·9021·6e40·9ba0·a090··....@@...!n@.... | 0000e710:·0000·90e9·4040·b7a0·9021·6e40·9ba0·a090··....@@...!n@.... | ||
| 0000e720:·b090·a029·4461·7461·7479·7065·73a0·2449··...)Datatypes.$I | 0000e720:·b090·a029·4461·7461·7479·7065·73a0·2449··...)Datatypes.$I | ||
| 0000e730:·6e69·74a0·2343·6f71·4023·6e61·7402·0ef2··nit.#Coq@#nat... | 0000e730:·6e69·74a0·2343·6f71·4023·6e61·7402·0ef2··nit.#Coq@#nat... | ||
| Offset 20755, 17 lines modified | Offset 20755, 17 lines modified | ||
| 00051120:·370d·220a·370e·2137·0c22·370f·2603·8009··7.".7.!7."7.&... | 00051120:·370d·220a·370e·2137·0c22·370f·2603·8009··7.".7.!7."7.&... | ||
| 00051130:·3b24·1014·0c0c·0c14·0c0c·0c14·0c14·1010··;$.............. | 00051130:·3b24·1014·0c0c·0c14·0c0c·0c14·0c14·1010··;$.............. | ||
| 00051140:·140c·0c0c·140c·0c0c·140c·1414·1010·140c··................ | 00051140:·140c·0c0c·140c·0c0c·140c·1414·1010·140c··................ | ||
| 00051150:·0c0c·140c·0c0c·140c·140c·0c0c·1010·140c··................ | 00051150:·0c0c·140c·0c0c·140c·140c·0c0c·1010·140c··................ | ||
| 00051160:·0c0c·140c·0c0c·140c·0c10·0c0c·8014·6231··..............b1 | 00051160:·0c0c·140c·0c0c·140c·0c10·0c0c·8014·6231··..............b1 | ||
| 00051170:·10cd·49d4·db02·fb23·ca1a·b02e·bb00·0000··..I....#........ | 00051170:·10cd·49d4·db02·fb23·ca1a·b02e·bb00·0000··..I....#........ | ||
| 00051180:·0400·0000·076c·6962·7261·7279·0000·0000··.....library.... | 00051180:·0400·0000·076c·6962·7261·7279·0000·0000··.....library.... | ||
| 00051190:·0000·0163·0000·0000·0000·e55a· | 00051190:·0000·0163·0000·0000·0000·e55a·998e·cda9··...c.......Z.... | ||
| 000511a0:· | 000511a0:·ccc7·3c97·fdd3·9295·d835·5f21·0000·0007··..<......5_!.... | ||
| 000511b0:·6f70·6171·7565·7300·0000·0000·00e6·cd00··opaques......... | 000511b0:·6f70·6171·7565·7300·0000·0000·00e6·cd00··opaques......... | ||
| 000511c0:·0000·0000·0414·dccb·f850·e778·7e12·6622··.........P.x~.f" | 000511c0:·0000·0000·0414·dccb·f850·e778·7e12·6622··.........P.x~.f" | ||
| 000511d0:·ca42·0c0a·7538·1200·0000·0773·756d·6d61··.B..u8.....summa | 000511d0:·ca42·0c0a·7538·1200·0000·0773·756d·6d61··.B..u8.....summa | ||
| 000511e0:·7279·0000·0000·0000·0010·0000·0000·0000··ry.............. | 000511e0:·7279·0000·0000·0000·0010·0000·0000·0000··ry.............. | ||
| 000511f0:·0143· | 000511f0:·0143·49c1·a385·1d2b·ba1f·09f7·c18e·f9ad··.CI....+........ | ||
| 00051200:· | 00051200:·4b65·0000·0009·766d·6c69·6272·6172·7900··Ke....vmlibrary. | ||
| 00051210:·0000·0000·04fb·b900·0000·0000·0015·b414··................ | 00051210:·0000·0000·04fb·b900·0000·0000·0015·b414··................ | ||
| 00051220:·6231·10cd·49d4·db02·fb23·ca1a·b02e·bb····b1..I....#..... | 00051220:·6231·10cd·49d4·db02·fb23·ca1a·b02e·bb····b1..I....#..... |
| Offset 1, 1 lines modified | Offset 1, 1 lines modified | ||
| 1 | 1 | gpq85 | |