| Offset 1, 2 lines modified | Offset 1, 2 lines modified | ||
| 1 | · | 1 | ·44509e30d31264b4cbe0860737fbf7e9·874808·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···872768·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-6auj3 |
| 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, 18 lines modified | Offset 8, 18 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)···135104·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)···17383 | 18 | -rw-r--r--···0·root·········(0)·root·········(0)···173832·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 |
| 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:·70d0·8802·e6d5·cb30·91e4·85b0·379c·beb5··p......0....7... | |||
| 000000e0:·2535·2e32·2e30·a040·4004·585c·fdc0·2b0c··%5.2.0.@@.X\..+. | |||
| 000000 | 000000d0:·8aa5·29e2·81b9·b34e·15f4·ac81·7d4f·9abe··..)....N....}O.. | ||
| 000000e0:·2535·2e32·2e30·a040·40fb·97ee·9359·c464··%5.2.0.@@....Y.d | |||
| 000000f0:·a26a·5a27·d25b·5c76·4884·95a6·be00·00ca··.jZ'.[\vH....... | |||
| 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· | 00008970:·ada0·0512·ac40·9030·8aa5·29e2·81b9·b34e··.....@.0..)....N | ||
| 00008980:· | 00008980:·15f4·ac81·7d4f·9abe·9040·a040·40a0·a095··....}O...@.@@... | ||
| 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·4087·2390·7ee5·a9a6··@@ABCDE@@.#.~... | ||
| 0000cbd0:· | 0000cbd0:·5e27·a42a·e7ec·f86c·6484·95a6·be00·0135··^'.*...ld......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·8723·907e·e5a9·a65e·27a4·2ae7··.....#.~...^'.*. | ||
| 00020a30:· | 00020a30:·ecf8·6c64·0000·0007·6f70·6171·7565·7300··..ld....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·fb97·ee93·59c4··..............Y. | ||
| 00020a80:· | 00020a80:·64a2·6a5a·27d2·5b5c·7648·0000·0009·766d··d.jZ'.[\vH....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·0f0e··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·2500·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·3731·3437·3032·3934·35e0··@@@@@)714702945. | ||
| 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· | 00017a30:·4614·0c00·0000·0000·80e9·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·4029·3133·3038·3039··U...@@@@@)130809 | ||
| 00017b40:·3 | 00017b40:·3239·34e0·0546·4e05·40f0·053f·6d05·1734··294..FN.@..?m..4 | ||
| 00017b50:·16a5 | 00017b50:·0516·a505·466b·0c00·0000·0000·80ed·3e40··....Fk........>@ | ||
| 00017b60:·40a0 | 00017b60:·4140·a095·a002·320a·518f·a005·5073·b091··A@....2.Q...Ps.. | ||
| 00017b70:·4 | 00017b70:·4940·40a0·95a0·020f·c0a2·b8a0·9005·4808··I@@...........H. | ||
| 00017b80:·a091 | 00017b80:·a0a0·9190·b005·560f·0550·7f02·0c9d·a512··......V..P...... | ||
| 00017b90:·a0 | 00017b90:·a0a0·40a0·90c0·b005·560a·4140·9190·4240··..@.....V.A@..B@ | ||
| 00017ba0:· | 00017ba0:·41a0·40a0·4040·4040·a095·a002·2760·a06f··A.@.@@@@....'`.o | ||
| 00017bb0:·4091 | 00017bb0:·d040·9104·11a0·40a0·4040·a090·9205·5614··.@....@.@@....V. | ||
| 00017bc0:·9091 | 00017bc0:·a090·9105·5089·40d0·d0d0·4040·a005·4812··....P.@...@@..H. | ||
| 00017bd0:·404 | 00017bd0:·4040·4141·a005·480f·40d0·4005·480c·a005··@@AA..H.@.@.H... | ||
| 00017be0:·0840 | 00017be0:·4808·4040·4142·0548·05a0·0548·0140·d0d0··H.@@AB.H...H.@.. | ||
| 00017bf0:·0547 | 00017bf0:·4005·47fe·a005·47f9·4040·4105·47f6·a005··@.G...G.@@A.G... | ||
| 00017c00:·f540 | 00017c00:·47f5·40d0·4005·47f2·a005·47ed·40d0·4005··G.@.@.G...G.@.@. | ||
| 00017c10:·eaa0 | 00017c10:·47ea·a005·47e5·40d0·4005·47e2·a005·47dc··G...G.@.@.G...G. | ||
| 00017c20:·404 | 00017c20:·4040·4142·4344·45a0·95a0·020f·d9ff·e208··@@ABCDE......... | ||
| 00017c30:·0027 | 00017c30:·0000·2700·9104·3005·5098·4041·4140·9190··..'...0.P.@AA@.. | ||
| 00017c40:·0556 | 00017c40:·b005·5640·0551·6102·0ec5·a1dc·9105·5141··..V@.Qa.......QA | ||
| 00017c50:·a095 | 00017c50:·41a0·95a0·0232·0a51·8fa0·0550·98b0·9140··A....2.Q...P...@ | ||
| 00017c60:·40 | 00017c60:·4040·a095·a002·0fc0·a2b8·a090·e041·4040··@@...........A@@ | ||
| 00017c70:·4040· | 00017c70:·4040·40a0·a091·0550·12a0·a040·a090·c0b0··@@@....P...@.... | ||
| 00017c80:·564b | 00017c80:·0556·4b41·4091·9043·4041·a090·c0b0·0550··.VKA@..C@A.....P | ||
| 00017c90:·4240 | 00017c90:·9f42·4091·0406·4041·a040·a040·a040·4040··.B@...@A.@.@.@@@ | ||
| 00017ca0:·a095 | 00017ca0:·40a0·95a0·0227·60a0·6fd0·4091·0550·27a0··@....'`.o.@..P'. | ||
| 00017cb0:· | 00017cb0:·40a0·40a0·a005·484b·40a0·a005·484d·40a0··@.@...HK@...HM@. | ||
| 00017cc0:·0548 | 00017cc0:·a005·482e·4040·a090·9205·50bc·a090·9205··..H.@@....P..... | ||
| 00017cd0:·bfa0 | 00017cd0:·50bf·a090·41a0·9041·a090·9205·565b·40d0··P...A..A....V[@. | ||
| 00017ce0:·d0 | 00017ce0:·d0d0·4040·a005·4866·4040·4141·a005·4863··..@@..Hf@@AA..Hc | ||
| 00017cf0:·d040 | 00017cf0:·40d0·4005·4860·a005·485c·4040·4142·0548··@.@.H`..H\@@AB.H | ||
| 00017d00:·a005 | 00017d00:·59a0·0548·5540·d0d0·4005·4852·a005·484d··Y..HU@..@.HR..HM | ||
| 00017d10:·404 | 00017d10:·4040·4105·484a·a005·4849·40d0·4005·4846··@@A.HJ..HI@.@.HF | ||
| 00017d20:·0548 | 00017d20:·a005·4841·40d0·4005·483e·a005·4839·40d0··..HA@.@.H>..H9@. | ||
| 00017d30:·0548 | 00017d30:·4005·4836·a005·4830·4040·4142·4344·45a0··@.H6..H0@@ABCDE. | ||
| 00017d40:·a002 | 00017d40:·95a0·0232·0a51·8fa0·0550·5cb0·9241·4040··...2.Q...P\..A@@ | ||
| 00017d50:·95a0 | 00017d50:·a095·a002·0fc0·a2b8·a090·e041·4040·4040··...........A@@@@ | ||
| 00017d60:· | 00017d60:·40a0·a091·054f·99a0·a040·a090·c0b0·0556··@....O...@.....V | ||
| 00017d70:·4140 | 00017d70:·9641·4091·9043·4041·a090·c0b0·0550·ea42··.A@..C@A.....P.B | ||
| 00017d80:·9104 | 00017d80:·4091·0406·4041·a040·a090·c0b0·0550·3f44··@...@A.@.....P?D | ||
| 00017d90:·9190 | 00017d90:·4091·9047·4041·a090·c0b0·0550·4045·4091··@..G@A.....P@E@. | ||
| 00017da0:·0 | 00017da0:·0406·4041·a040·a040·4040·40a0·95a0·0227··..@A.@.@@@@....' | ||
| 00017db0:·a06f | 00017db0:·60a0·6fd0·4091·054f·b9a0·40a0·40a0·a005··`.o.@..O..@.@... | ||
| 00017dc0:·a140 | 00017dc0:·48a1·40a0·a005·48a3·40a0·a005·48a5·40a0··H.@...H.@...H.@. | ||
| 00017dd0:·0548 | 00017dd0:·a005·4886·40a0·a005·48a9·4040·a090·9205··..H.@...H.@@.... | ||
| 00017de0:·16a0 | 00017de0:·5116·a090·9205·5119·a090·41a0·9041·a090··Q.....Q...A..A.. | ||
| 00017df0:·a090 | 00017df0:·41a0·9092·0556·b7a0·9041·40d0·d0d0·4040··A....V...A@...@@ | ||
| 00017e00:·0548 | 00017e00:·a005·48c4·4040·4141·a005·48c1·40d0·4005··..H.@@AA..H.@.@. | ||
| 00017e10:·bea0 | 00017e10:·48be·a005·48ba·4040·4142·0548·b7a0·0548··H...H.@@AB.H...H | ||
| 00017e20:·40d0 | 00017e20:·b340·d0d0·4005·48b0·a005·48ab·4040·4105··.@..@.H...H.@@A. | ||
| 00017e30:·a8a0 | 00017e30:·48a8·a005·48a7·40d0·4005·48a4·a005·489f··H...H.@.@.H...H. | ||
| 00017e40:·d040 | 00017e40:·40d0·4005·489c·a005·4897·40d0·4005·4894··@.@.H...H.@.@.H. | ||
| 00017e50:·0548 | 00017e50:·a005·488e·4040·4142·4344·45a0·95a0·0232··..H.@@ABCDE....2 | ||
| 00017e60:·518f | 00017e60:·0a51·8fa0·0550·54b0·9140·4040·a095·a002··.Q...PT..@@@.... | ||
| 00017e70:·c0a2 | 00017e70:·0fc0·a2b8·a090·045e·a0a0·9105·4fee·a0a0··.......^....O... | ||
| 00017e80:·a090 | 00017e80:·40a0·90c0·b005·56f3·4140·9190·4340·41a0··@.....V.A@..C@A. | ||
| 00017e90:·c0b0 | 00017e90:·90c0·b005·5147·4240·9104·0640·41a0·40a0··....QGB@...@A.@. | ||
| 00017ea0:· | 00017ea0:·40a0·4040·4040·a095·a002·2760·a06f·d040··@.@@@@....'`.o.@ | ||
| 00017eb0:·0550 | 00017eb0:·9105·5003·a040·a040·a0a0·0548·f340·a0a0··..P..@.@...H.@.. | ||
| 00017ec0:·48f5 | 00017ec0:·0548·f540·a0a0·0548·d640·40a0·9092·0551··.H.@...H.@@....Q | ||
| 00017ed0:·a090 | 00017ed0:·64a0·9092·0551·67a0·9041·a090·41a0·9092··d....Qg..A..A... | ||
| 00017ee0:·5703· | 00017ee0:·0557·0340·d0d0·d040·40a0·0549·0e40·4041··.W.@...@@..I.@@A | ||
| 00017ef0:·a005 | 00017ef0:·41a0·0549·0b40·d040·0549·08a0·0549·0440··A..I.@.@.I...I.@ | ||
| 00017f00:·4142 | 00017f00:·4041·4205·4901·a005·48fd·40d0·d040·0548··@AB.I...H.@..@.H | ||
| Max diff block lines reached; -1/332549 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·a65 | 00000000:·436f·7121·0001·4050·0000·0000·0002·a656··Coq!..@P.......V | ||
| 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, 20 lines modified | Offset 43, 20 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·308a·a529·e281··'RegLang@.0..).. | ||
| 00000320:· | 00000320:·b9b3·4e15·f4ac·817d·4f9a·bea0·a023·6466··..N....}O....#df | ||
| 00000330:·61a0·2752·6567·4c61·6e67·4090·30 | 00000330:·61a0·2752·6567·4c61·6e67·4090·3087·2390··a.'RegLang@.0.#. | ||
| 00000340:·c432·611f·ddae·ed95·5351·f352·1925·352e··.2a.....SQ.R.%5. | |||
| 000003 | 00000340:·7ee5·a9a6·5e27·a42a·e7ec·f86c·6425·352e··~...^'.*...ld%5. | ||
| 00000350:·322e·30a0·4040·2a8e·f9fc·118b·80df·1c4d··2.0.@@*........M | |||
| 00000360:· | 00000360:·03c1·e516·c7f7·8495·a6be·0002·17e4·0000··................ | ||
| 00000370:·7c87·0001·ad80·0001·a188·b0d0·a02c·6d69··|............,mi | 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 | ||
| 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·3087·2390·7ee5·a9a6·5e27··......0.#.~...^' | ||
| 000093d0:· | 000093d0:·a42a·e7ec·f86c·6490·40a0·4040·a0a0·95a0··.*...ld.@.@@.... | ||
| 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·4028·3 | 0000b690:·4040·4040·4028·3433·3833·3435·3034·e0d0··@@@@@(43834504.. | ||
| 0000b6a0:·d0d0·d040·2540·6361·7374·a0b0·b490·a021··...@%@cast.....! | 0000b6a0:·d0d0·d040·2540·6361·7374·a0b0·b490·a021··...@%@cast.....! | ||
| 0000b6b0:·5422·6c70·40b0·b490·a022·5459·0406·40b0··T"lp@...."TY..@. | 0000b6b0:·5422·6c70·40b0·b490·a022·5459·0406·40b0··T"lp@...."TY..@. | ||
| 0000b6c0:·c391·4023·6c65·74b0·95a0·9024·6361·7374··..@#let....$cast | 0000b6c0:·c391·4023·6c65·74b0·95a0·9024·6361·7374··..@#let....$cast | ||
| 0000b6d0:·53e0·4030·636f·712d·6275·696c·7469·6e2e··S.@0coq-builtin. | 0000b6d0:·53e0·4030·636f·712d·6275·696c·7469·6e2e··S.@0coq-builtin. | ||
| 0000b6e0:·656c·7069·0124·e801·24ee·0100·e101·24cf··elpi.$..$.....$. | 0000b6e0:·656c·7069·0124·e801·24ee·0100·e101·24cf··elpi.$..$.....$. | ||
| 0000b6f0:·a004·2990·40a0·b0a1·9004·1704·12e0·4004··..).@.........@. | 0000b6f0:·a004·2990·40a0·b0a1·9004·1704·12e0·4004··..).@.........@. | ||
| 0000b700:·0801·24ef·0124·f101·00e1·0124·cfa0·0430··..$..$.....$...0 | 0000b700:·0801·24ef·0124·f101·00e1·0124·cfa0·0430··..$..$.....$...0 | ||
| Offset 7662, 32 lines modified | Offset 7662, 32 lines modified | ||
| 0001ded0:·6267·0105·58d0·4005·1708·a0a0·9040·a090··bg..X.@......@.. | 0001ded0:·6267·0105·58d0·4005·1708·a0a0·9040·a090··bg..X.@......@.. | ||
| 0001dee0:·40a0·9041·a090·4140·e040·0516·6901·01ac··@..A..A@.@..i... | 0001dee0:·40a0·9041·a090·4140·e040·0516·6901·01ac··@..A..A@.@..i... | ||
| 0001def0:·0101·d54c·0101·acd0·4005·1707·a0a0·9040··...L....@......@ | 0001def0:·0101·d54c·0101·acd0·4005·1707·a0a0·9040··...L....@......@ | ||
| 0001df00:·a090·41a0·9041·40e0·4005·1672·0101·d701··..A..A@.@..r.... | 0001df00:·a090·41a0·9041·40e0·4005·1672·0101·d701··..A..A@.@..r.... | ||
| 0001df10:·0203·4d01·01d7·d040·0517·05a0·a090·40a0··..M....@......@. | 0001df10:·0203·4d01·01d7·d040·0517·05a0·a090·40a0··..M....@......@. | ||
| 0001df20:·9041·40e0·4005·1679·0102·2a01·0242·4f01··.A@.@..y..*..BO. | 0001df20:·9041·40e0·4005·1679·0102·2a01·0242·4f01··.A@.@..y..*..BO. | ||
| 0001df30:·022a·4041·4243·4445·4647·4849·4b4c·0546··.*@ABCDEFGHIKL.F | 0001df30:·022a·4041·4243·4445·4647·4849·4b4c·0546··.*@ABCDEFGHIKL.F | ||
| 0001df40:·140c·0000·0000·00 | 0001df40:·140c·0000·0000·0080·e03e·4041·40a0·95a0··.........>@A@... | ||
| 0001df50:·0234·7dc1·ffa0·275f·454c·5049·5f32·c0a0··.4}...'_ELPI_2.. | 0001df50:·0234·7dc1·ffa0·275f·454c·5049·5f32·c0a0··.4}...'_ELPI_2.. | ||
| 0001df60:·2268·62a0·2264·6240·a0a0·b005·6b9e·2132··"hb."db@....k.!2 | 0001df60:·2268·62a0·2264·6240·a0a0·b005·6b9e·2132··"hb."db@....k.!2 | ||
| 0001df70:·0236·174c·9bd0·0546·27d0·e040·4040·4040··.6.L...F'..@@@@@ | 0001df70:·0236·174c·9bd0·0546·27d0·e040·4040·4040··.6.L...F'..@@@@@ | ||
| 0001df80:·0546·2640·a0c0·0546·2505·4621·b0c3·9140··.F&@...F%.F!...@ | 0001df80:·0546·2640·a0c0·0546·2505·4621·b0c3·9140··.F&@...F%.F!...@ | ||
| 0001df90:·052a·19b0·c391·4005·2cea·b0c3·9140·053c··.*....@.,....@.< | 0001df90:·052a·19b0·c391·4005·2cea·b0c3·9140·053c··.*....@.,....@.< | ||
| 0001dfa0:·e6b0·95a0·9105·59fb·5805·4632·a005·4625··......Y.X.F2..F% | 0001dfa0:·e6b0·95a0·9105·59fb·5805·4632·a005·4625··......Y.X.F2..F% | ||
| 0001dfb0:·9090·9005·3ce9·4005·4636·a005·4629·9090··....<.@.F6..F).. | 0001dfb0:·9090·9005·3ce9·4005·4636·a005·4629·9090··....<.@.F6..F).. | ||
| 0001dfc0:·9005·2cf4·4005·463a·a005·462d·9090·9005··..,.@.F:..F-.... | 0001dfc0:·9005·2cf4·4005·463a·a005·462d·9090·9005··..,.@.F:..F-.... | ||
| 0001dfd0:·2a2a·a0b0·c391·4005·2987·b095·a005·46cf··**....@.).....F. | 0001dfd0:·2a2a·a0b0·c391·4005·2987·b095·a005·46cf··**....@.).....F. | ||
| 0001dfe0:·5705·4645·a005·4638·9090·9005·2989·4005··W.FE..F8....).@. | 0001dfe0:·5705·4645·a005·4638·9090·9005·2989·4005··W.FE..F8....).@. | ||
| 0001dff0:·4649·a005·463c·9090·9005·2a36·a0b0·c391··FI..F<....*6.... | 0001dff0:·4649·a005·463c·9090·9005·2a36·a0b0·c391··FI..F<....*6.... | ||
| 0001e000:·4005·3d09·b095·a091·0556·0858·0546·55a0··@.=......V.X.FU. | 0001e000:·4005·3d09·b095·a091·0556·0858·0546·55a0··@.=......V.X.FU. | ||
| 0001e010:·0546·4890·9090·053d·0c40·0546·59a0·0546··.FH....=.@.FY..F | 0001e010:·0546·4890·9090·053d·0c40·0546·59a0·0546··.FH....=.@.FY..F | ||
| 0001e020:·4c90·9090·052a·4440·0546·5da0·0546·5090··L....*D@.F]..FP. | 0001e020:·4c90·9090·052a·4440·0546·5da0·0546·5090··L....*D@.F]..FP. | ||
| 0001e030:·9090·4040·4040·4029·3 | 0001e030:·9090·4040·4040·4029·3132·3535·3932·3933··..@@@@@)12559293 | ||
| 0001e040:·3 | 0001e040:·33e0·0546·4905·40eb·053f·6805·172f·0516··3..FI.@..?h../.. | ||
| 0001e050:·a005·4666·0c00·0000·0000·00e | 0001e050:·a005·4666·0c00·0000·0000·00e3·3e40·4140··..Ff........>@A@ | ||
| 0001e060:·a095·a002·1b83·229d·b090·055a·2e40·a005··......"....Z.@.. | 0001e060:·a095·a002·1b83·229d·b090·055a·2e40·a005··......"....Z.@.. | ||
| 0001e070:·5a07·a005·5a0b·40a0·95a0·0232·0a51·8fa0··Z...Z.@....2.Q.. | 0001e070:·5a07·a005·5a0b·40a0·95a0·0232·0a51·8fa0··Z...Z.@....2.Q.. | ||
| 0001e080:·055a·34b0·0547·6240·40a0·95a0·020f·c0a2··.Z4..Gb@@....... | 0001e080:·055a·34b0·0547·6240·40a0·95a0·020f·c0a2··.Z4..Gb@@....... | ||
| 0001e090:·b8a0·9005·4830·a0a0·9105·599b·a0a0·40a0··....H0....Y...@. | 0001e090:·b8a0·9005·4830·a0a0·9105·599b·a0a0·40a0··....H0....Y...@. | ||
| 0001e0a0:·90c0·b005·6bf2·4140·9090·4240·41a0·4040··....k.A@..B@A.@@ | 0001e0a0:·90c0·b005·6bf2·4140·9090·4240·41a0·4040··....k.A@..B@A.@@ | ||
| 0001e0b0:·4040·a095·a002·2760·a06f·d040·9105·59a9··@@....'`.o.@..Y. | 0001e0b0:·4040·a095·a002·2760·a06f·d040·9105·59a9··@@....'`.o.@..Y. | ||
| 0001e0c0:·a040·a040·40a0·9092·056b·fba0·9092·056b··.@.@@....k.....k | 0001e0c0:·a040·a040·40a0·9092·056b·fba0·9092·056b··.@.@@....k.....k | ||
| Offset 7738, 16 lines modified | Offset 7738, 16 lines modified | ||
| 0001e390:·2268·62a0·2264·6240·a0a0·b005·6cd9·2137··"hb."db@....l.!7 | 0001e390:·2268·62a0·2264·6240·a0a0·b005·6cd9·2137··"hb."db@....l.!7 | ||
| 0001e3a0:·0236·174c·a0d0·0547·62d0·e040·4040·4040··.6.L...Gb..@@@@@ | 0001e3a0:·0236·174c·a0d0·0547·62d0·e040·4040·4040··.6.L...Gb..@@@@@ | ||
| 0001e3b0:·0547·6140·a0c0·e090·0547·6039·2e2f·7468··.Ga@.....G`9./th | 0001e3b0:·0547·6140·a0c0·e090·0547·6039·2e2f·7468··.Ga@.....G`9./th | ||
| 0001e3c0:·656f·7269·6573·2f6d·696e·696d·697a·6174··eories/minimizat | 0001e3c0:·656f·7269·6573·2f6d·696e·696d·697a·6174··eories/minimizat | ||
| 0001e3d0:·696f·6e2e·7601·1b92·011b·ce01·00c4·011b··ion.v........... | 0001e3d0:·696f·6e2e·7601·1b92·011b·ce01·00c4·011b··ion.v........... | ||
| 0001e3e0:·9005·475f·b0c3·9140·0547·5eb0·95a0·9105··..G_...@.G^..... | 0001e3e0:·9005·475f·b0c3·9140·0547·5eb0·95a0·9105··..G_...@.G^..... | ||
| 0001e3f0:·5750·5804·0aa0·0547·5d90·9090·0547·5c40··WPX....G]....G\@ | 0001e3f0:·5750·5804·0aa0·0547·5d90·9090·0547·5c40··WPX....G]....G\@ | ||
| 0001e400:·040e·a005·4761·9090·9040·4040·4040·293 | 0001e400:·040e·a005·4761·9090·9040·4040·4040·2932··....Ga...@@@@@)2 | ||
| 0001e410:·3 | 0001e410:·3533·3439·3135·3538·e005·475a·0541·fc05··53491558..GZ.A.. | ||
| 0001e420:·4079·0518·4005·17b1·0547·770c·0000·0000··@y..@....Gw..... | 0001e420:·4079·0518·4005·17b1·0547·770c·0000·0000··@y..@....Gw..... | ||
| 0001e430:·0000·da3e·4041·40a0·95a0·0234·7dc1·ffa0··...>@A@....4}... | 0001e430:·0000·da3e·4041·40a0·95a0·0234·7dc1·ffa0··...>@A@....4}... | ||
| 0001e440:·275f·454c·5049·5f35·c0a0·2268·62a0·2264··'_ELPI_5.."hb."d | 0001e440:·275f·454c·5049·5f35·c0a0·2268·62a0·2264··'_ELPI_5.."hb."d | ||
| 0001e450:·6240·a0a0·b005·6d01·2138·0236·174c·a1d0··b@....m.!8.6.L.. | 0001e450:·6240·a0a0·b005·6d01·2138·0236·174c·a1d0··b@....m.!8.6.L.. | ||
| 0001e460:·0547·8ad0·e040·4040·4040·0547·8940·a0c0··.G...@@@@@.G.@.. | 0001e460:·0547·8ad0·e040·4040·4040·0547·8940·a0c0··.G...@@@@@.G.@.. | ||
| 0001e470:·0428·0547·84b0·c391·4005·2b7c·b0c3·9140··.(.G....@.+|...@ | 0001e470:·0428·0547·84b0·c391·4005·2b7c·b0c3·9140··.(.G....@.+|...@ | ||
| 0001e480:·052e·4db0·c391·4005·3e49·b095·0501·6304··..M...@.>I....c. | 0001e480:·052e·4db0·c391·4005·3e49·b095·0501·6304··..M...@.>I....c. | ||
| Offset 7756, 17 lines modified | Offset 7756, 17 lines modified | ||
| 0001e4b0:·9090·052b·8ba0·b0c3·9140·052a·e8b0·95a0··...+.....@.*.... | 0001e4b0:·9090·052b·8ba0·b0c3·9140·052a·e8b0·95a0··...+.....@.*.... | ||
| 0001e4c0:·a090·b0a2·9005·60cd·0561·7505·6145·0218··......`..au.aE.. | 0001e4c0:·a090·b0a2·9005·60cd·0561·7505·6145·0218··......`..au.aE.. | ||
| 0001e4d0:·acc1·f240·5704·4ba0·0547·9e90·9090·052a··...@W.K..G.....* | 0001e4d0:·acc1·f240·5704·4ba0·0547·9e90·9090·052a··...@W.K..G.....* | ||
| 0001e4e0:·ef40·044f·a005·47a2·9090·9005·2b9c·a0b0··.@.O..G.....+... | 0001e4e0:·ef40·044f·a005·47a2·9090·9005·2b9c·a0b0··.@.O..G.....+... | ||
| 0001e4f0:·c391·4005·3e6f·b095·a091·0557·8d58·045b··..@.>o.....W.X.[ | 0001e4f0:·c391·4005·3e6f·b095·a091·0557·8d58·045b··..@.>o.....W.X.[ | ||
| 0001e500:·a005·47ae·9090·9005·3e72·4004·5fa0·0547··..G.....>r@._..G | 0001e500:·a005·47ae·9090·9005·3e72·4004·5fa0·0547··..G.....>r@._..G | ||
| 0001e510:·b290·9090·052b·aa40·0463·a005·47b6·9090··.....+.@.c..G... | 0001e510:·b290·9090·052b·aa40·0463·a005·47b6·9090··.....+.@.c..G... | ||
| 0001e520:·9040·4040·4040·293 | 0001e520:·9040·4040·4040·2933·3337·3730·3038·3932··.@@@@@)337700892 | ||
| 0001e530:·e005·47af·0542·5105·40ce·0518·9505·1806··..G..BQ.@....... | 0001e530:·e005·47af·0542·5105·40ce·0518·9505·1806··..G..BQ.@....... | ||
| 0001e540:·0547·cc0c·0000·0000·0000·e | 0001e540:·0547·cc0c·0000·0000·0000·e33e·4041·40a0··.G.........>@A@. | ||
| 0001e550:·95a0·021b·8322·9db0·9005·5ab5·40a0·055a··....."....Z.@..Z | 0001e550:·95a0·021b·8322·9db0·9005·5ab5·40a0·055a··....."....Z.@..Z | ||
| 0001e560:·99a0·055a·9d40·a095·a002·320a·518f·a005··...Z.@....2.Q... | 0001e560:·99a0·055a·9d40·a095·a002·320a·518f·a005··...Z.@....2.Q... | ||
| 0001e570:·5abb·b005·48c8·4040·a095·a002·0fc0·a2b8··Z...H.@@........ | 0001e570:·5abb·b005·48c8·4040·a095·a002·0fc0·a2b8··Z...H.@@........ | ||
| Max diff block lines reached; 408224/417971 bytes (97.67%) 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·8aa5·29e2·81b9··RegLang@.0..)... | ||
| 000000e0:· | 000000e0:·b34e·15f4·ac81·7d4f·9abe·a0a0·2364·6661··.N....}O....#dfa | ||
| 000000f0:·a027·5265·674c·616e·6740·9030· | 000000f0:·a027·5265·674c·616e·6740·9030·8723·907e··.'RegLang@.0.#.~ | ||
| 00000100:· | 00000100:·e5a9·a65e·27a4·2ae7·ecf8·6c64·a0a0·2c6d··...^'.*...ld..,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·301d·c42e·2d1e·19d7·8af3··Lang@.0...-..... | |||
| 000001 | 00000120:·4c61·6e67·4090·30d1·5039·5911·ecce·9df0··Lang@.0.P9Y..... | ||
| 00000130:·fe48·da73·7554·a6a0·a026·7265·6765·7870··.H.suT...®exp | |||
| 00000140:·a027·5265·674c·616e·6740·9030· | 00000140:·a027·5265·674c·616e·6740·9030·7d7f·0ad2··.'RegLang@.0}... | ||
| 00000150:·d6d6·2f78·ef20·ef20·ac56·c947·2535·2e32··../x.·.·.V.G%5.2 | |||
| 000001 | 00000150:·a2c2·23f4·e215·6246·5f09·c208·2535·2e32··..#...bF_...%5.2 | ||
| 00000160:·2e30·a040·4046·eda0·d50f·f74a·a986·422e··.0.@@F.....J..B. | |||
| 00000170:· | 00000170:·094c·a137·ec84·95a6·be00·007a·5300·001b··.L.7.......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·d150·3959··.'RegLang@.0.P9Y | ||
| 00005580:·1e19·d78a·f3d4·04dd·9b97·cdb2·a005·0d92··................ | |||
| 000055 | 00005580:·11ec·ce9d·f0fe·48da·7375·54a6·a005·0d92··......H.suT..... | ||
| 00005590:·9030·7d7f·0ad2·a2c2·23f4·e215·6246·5f09··.0}.....#...bF_. | |||
| 000055a0:·c | 000055a0:·c208·9040·a040·40a0·a095·a002·1c4e·24fd··...@.@@......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·645f·2411··..N@@ABCDE@@d_$. | ||
| 00007be0:· | 00007be0:·2714·bd2c·2651·851e·dd39·0f9b·8495·a6be··'..,&Q...9...... | ||
| 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·6764·5f24·1127··..u......zgd_$.' | ||
| 0000be70:· | 0000be70:·14bd·2c26·5185·1edd·390f·9b00·0000·076f··..,&Q...9......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:·5546·eda0·d50f·f74a·a986·422e·094c·a137··UF.....J..B..L.7 | ||
| 0000bed0:· | 0000bed0:·ec00·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:·8aa5·29e2·81b9·b34e·15f4·ac81·7d4f·9abe··..)....N....}O.. | ||
| 000000e0:·a0a0·2364·6661·a027·5265·674c·616e·6740··..#dfa.'RegLang@ | 000000e0:·a0a0·2364·6661·a027·5265·674c·616e·6740··..#dfa.'RegLang@ | ||
| 000000f0:·9030·4bfd·83c4·3261·1fdd·aeed·9553·51f3··.0K...2a.....SQ. | |||
| 00000100:·5219·2535·2e32·2e30·a040·40ca·ef75·d348··R.%5.2.0.@@..u.H | |||
| 00000 | 000000f0:·9030·8723·907e·e5a9·a65e·27a4·2ae7·ecf8··.0.#.~...^'.*... | ||
| 00000100:·6c64·2535·2e32·2e30·a040·406e·25f1·c161··ld%5.2.0.@@n%..a | |||
| 00000110:·53c9·87e4·2940·79b3·84b8·c484·95a6·be00··S...)@y......... | |||
| 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·3087·2390·7ee5·a9a6·5e27··...p@.0.#.~...^' | ||
| 00008760:· | 00008760:·a42a·e7ec·f86c·6490·40a0·4040·a0a0·95a0··.*...ld.@.@@.... | ||
| 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·40e7·8f0f·d09a·ca4b·4f1a·822f·3798··@@@......KO../7. | ||
| 0000c420:· | 0000c420:·1bbc·4a84·95a6·be00·0179·5c00·004e·8300··..J......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·f8e7·8f0f··................ | ||
| 00024ca0:· | 00024ca0:·d09a·ca4b·4f1a·822f·3798·1bbc·4a00·0000··...KO../7...J... | ||
| 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·fb6e·25f1·c161·53c9·87e4·2940·79b3··...n%..aS...)@y. | ||
| 00024d00:· | 00024d00:·84b8·c400·0000·0976·6d6c·6962·7261·7279··.......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 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·8aa5·29e2·81b9·b34e·15f4·ac81··g@.0..)....N.... | ||
| 00000130:· | 00000130:·7d4f·9abe·a0a0·2364·6661·a027·5265·674c··}O....#dfa.'RegL | ||
| 00000140:·616e·6740·9030· | 00000140:·616e·6740·9030·8723·907e·e5a9·a65e·27a4··ang@.0.#.~...^'. | ||
| 00000150:· | 00000150:·2ae7·ecf8·6c64·a0a0·236e·6661·a027·5265··*...ld..#nfa.'Re | ||
| 00000160:·674c·616e·6740·9030· | 00000160:·674c·616e·6740·9030·e78f·0fd0·9aca·4b4f··gLang@.0......KO | ||
| 00000170:· | 00000170:·1a82·2f37·981b·bc4a·2535·2e32·2e30·a040··../7...J%5.2.0.@ | ||
| 00000180:·40 | 00000180:·405f·0956·c8f4·c4ea·dfdd·bff3·a05d·5376··@_.V.........]Sv | ||
| 00000190:· | 00000190:·7384·95a6·be00·01dd·5000·0072·8a00·0186··s.......P..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·30e7·8f0f·d09a·ca4b·4f1a·822f··ng@.0......KO../ | ||
| 00007690:· | 00007690:·3798·1bbc·4aa0·a02a·7365·746f·6964·5f6c··7...J..*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, 5543 lines modified | Offset 2130, 5543 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 | Diff chunk too large, falling back to line-by-line diff (5522 lines added, 5522 lines removed) | |
| 00008570:·7461·6e74·4004·14a0·0407·9090·9040·4040··tant@........@@@ | 00008570:·7461·6e74·4004·14a0·0407·9090·9040·4040··tant@........@@@ | ||
| 00008580:·4040·2 | 00008580:·4040·2838·3936·3733·3736·34e0·d0d0·d0d0··@@(89673764..... | ||
| 00008590:· | 00008590:·4025·4063·6173·74a0·b0b4·90a0·2154·226c··@%@cast.....!T"l | ||
| 000085a0:· | 000085a0:·7040·b0b4·90a0·2254·5904·0640·b0c3·9140··p@...."TY..@...@ | ||
| 000085b0:· | 000085b0:·236c·6574·b095·a090·2463·6173·7453·e040··#let....$castS.@ | ||
| 000085c0:· | 000085c0:·3063·6f71·2d62·7569·6c74·696e·2e65·6c70··0coq-builtin.elp | ||
| 000085d0:· | 000085d0:·6901·24e8·0124·ee01·00e1·0124·cfa0·0429··i.$..$.....$...) | ||
| 000085e0:· | 000085e0:·9040·a0b0·a190·0417·0412·e040·0408·0124··.@.........@...$ | ||
| 000085f0:· | 000085f0:·ef01·24f1·0100·e101·24cf·a004·3090·40a0··..$.....$...0.@. | ||
| 00008600:· | 00008600:·b0a1·9004·1e04·1fe0·4004·0f01·24f2·0124··........@...$..$ | ||
| 00008610:· | 00008610:·f301·00e1·0124·cfa0·0437·9040·a0b0·b490··.....$...7.@.... | ||
| 00008620:· | 00008620:·a021·7804·2740·b0a1·9004·2a04·04e0·4004··.!x.'@....*...@. | ||
| 00008630:· | 00008630:·1b01·24f6·0124·f701·00e1·0124·cfa0·0443··..$..$.....$...C | ||
| 00008640:· | 00008640:·9040·e040·041e·0124·f401·24f7·0100·e101··.@.@...$..$..... | ||
| 00008650:· | 00008650:·24cf·a004·4690·4040·e040·0421·0124·e401··$...F.@@.@.!.$.. | ||
| 00008660:· | 00008660:·24f7·0100·e101·24cf·a004·4990·40e0·4004··$.....$...I.@.@. | ||
| 00008670:· | 00008670:·2401·24dd·0124·f701·00e1·0124·cfa0·044c··$.$..$.....$...L | ||
| 00008680:· | 00008680:·9040·e040·0427·0124·db01·24f7·0100·e101··.@.@.'.$..$..... | ||
| 00008690:· | 00008690:·24cf·a004·4f90·40e0·4004·2a01·24cf·0124··$...O.@.@.*.$..$ | ||
| 000086a0:· | 000086a0:·f801·00e1·0124·cfd0·402a·4063·6f65·7263··.....$..@*@coerc | ||
| 000086b0:·6 | 000086b0:·696f·6e21·a0b0·c391·4022·3a3a·b0c3·9140··ion!....@"::...@ | ||
| 000086c0:· | 000086c0:·2863·6f65·7263·696f·6eb0·a191·402a·7265··(coercion...@*re | ||
| 000086d0:· | 000086d0:·7665·7273·6962·6c65·e040·043a·0153·1a01··versible.@.:.S.. | ||
| 000086e0:· | 000086e0:·5324·0101·f201·52fc·a004·6290·4040·e040··S$....R...b.@@.@ | ||
| 000086f0:· | 000086f0:·043d·0153·1101·5324·0101·f201·52fc·a004··.=.S..S$....R... | ||
| 00008700:· | 00008700:·6590·40a0·b0a1·9140·225b·5de0·4004·4501··e.@....@"[].@.E. | ||
| 00008710:· | 00008710:·5324·0153·2501·01f2·0152·fca0·046d·9040··S$.S%....R...m.@ | ||
| 00008720:·40 | 00008720:·40e0·4004·4801·5310·0153·2501·01f2·0152··@.@.H.S..S%....R | ||
| 00008730:· | 00008730:·fca0·0470·9040·e040·044b·0152·fc01·5325··...p.@.@.K.R..S% | ||
| 00008740:· | 00008740:·0101·f201·52fc·4041·422c·4064·6570·7265··....R.@AB,@depre | ||
| 00008750:·6 | 00008750:·6361·7465·6421·a0b0·b490·a025·5369·6e63··cated!.....%Sinc | ||
| 00008760:·6 | 00008760:·6504·6240·b0b4·90a0·234d·7367·0467·40b0··e.b@....#Msg.g@. | ||
| 00008770:· | 00008770:·c391·402a·6765·742d·6f70·7469·6f6e·b095··..@*get-option.. | ||
| 00008780:· | 00008780:·a02e·636f·713a·6465·7072·6563·6174·6564··..coq:deprecated | ||
| 00008790:· | 00008790:·43e0·4004·6001·5280·0152·9001·01ed·0152··C.@.`.R..R.....R | ||
| 000087a0:· | 000087a0:·73a0·0488·9040·a0b0·c391·4022·7072·b0a1··s....@....@"pr.. | ||
| 000087b0:· | 000087b0:·9004·7a04·19e0·4004·6b01·5295·0152·9a01··..z...@.k.R..R.. | ||
| 000087c0:·01 | 000087c0:·01ed·0152·73a0·0493·9040·a0b0·a190·0481··...Rs....@...... | ||
| 000087d0:· | 000087d0:·041b·e040·0472·0152·9b01·529e·0101·ed01··...@.r.R..R..... | ||
| 000087e0:· | 000087e0:·5273·a004·9a90·4040·e040·0475·0152·9201··Rs....@@.@.u.R.. | ||
| 000087f0:· | 000087f0:·529e·0101·ed01·5273·a004·9d90·4040·e040··R.....Rs....@@.@ | ||
| 00008800:· | 00008800:·0478·0152·7501·529f·0101·ed01·5273·a004··.x.Ru.R.....Rs.. | ||
| 00008810:· | 00008810:·a090·40e0·4004·7b01·526c·0152·9f01·01ed··..@.@.{.Rl.R.... | ||
| 00008820:· | 00008820:·0152·73a0·04a3·9040·e040·047e·0152·6601··.Rs....@.@.~.Rf. | ||
| 00008830:· | 00008830:·529f·0101·ed01·5273·a004·a690·40e0·4004··R.....Rs....@.@. | ||
| 00008840:· | 00008840:·8101·5253·0152·9f01·01ec·0152·53d0·402b··..RS.R.....RS.@+ | ||
| 00008850:· | 00008850:·4064·726f·7075·6e69·7673·21a0·b0c3·9140··@dropunivs!....@ | ||
| 00008860:· | 00008860:·042d·b095·a02d·636f·713a·6b65·6570·756e··.-...-coq:keepun | ||
| 00008870:·6 | 00008870:·6976·7343·e040·048c·0150·c201·50d1·0101··ivsC.@...P..P... | ||
| 00008880:· | 00008880:·e201·50a2·a004·b490·40a0·b0a1·9140·2266··..P.....@....@"f | ||
| 00008890:·66 | 00008890:·66e0·4004·9401·50d2·0150·d401·01e2·0150··f.@...P..P.....P | ||
| 000088a0:· | 000088a0:·a2a0·04bc·9040·40e0·4004·9701·50b7·0150··.....@@.@...P..P | ||
| 000088b0:· | 000088b0:·d401·01e2·0150·a2a0·04bf·9040·e040·049a··.....P.....@.@.. | ||
| 000088c0:· | 000088c0:·0150·a201·50d4·0101·e201·50a2·4041·4328··.P..P.....P.@AC( | ||
| 000088d0:· | 000088d0:·4067·6c6f·6261·6c21·a0b0·c391·4004·45b0··@global!....@.E. | ||
| 000088e0:· | 000088e0:·95a0·2c63·6f71·3a6c·6f63·616c·6974·7943··..,coq:localityC | ||
| 000088f0:· | 000088f0:·e040·04a4·0118·0501·1813·0100·9501·17e6··.@.............. | ||
| 00008900:· | 00008900:·a004·cc90·40a0·b095·a026·676c·6f62·616c··....@....&global | ||
| 00008910:· | 00008910:·43e0·4004·ac01·1814·0118·1c01·0095·0117··C.@............. | ||
| 00008920:· | 00008920:·e6a0·04d4·9040·40e0·4004·af01·17fa·0118··.....@@.@....... | ||
| 00008930:·1 | 00008930:·1c01·0095·0117·e6a0·04d7·9040·e040·04b2··...........@.@.. | ||
| 00008940:· | 00008940:·0117·e601·181c·0100·9501·17e6·d0d0·d040··...............@ | ||
| 00008950:· | 00008950:·2740·686f·6c65·7321·a0b0·c391·4004·60b0··'@holes!....@.`. | ||
| 00008960:· | 00008960:·95a0·2a48·4f41·533a·686f·6c65·7343·e040··..*HOAS:holesC.@ | ||
| 00008970:· | 00008970:·04bf·0133·ad01·33b9·0101·4301·3391·a004··...3..3...C.3... | ||
| 00008980:· | 00008980:·e790·40a0·b0a1·9140·2274·74e0·4004·c701··..@....@"tt.@... | ||
| 00008990:· | 00008990:·33ba·0133·bc01·0143·0133·91a0·04ef·9040··3..3...C.3.....@ | ||
| 000089a0:·40 | 000089a0:·40e0·4004·ca01·33a2·0133·bc01·0143·0133··@.@...3..3...C.3 | ||
| 000089b0:· | 000089b0:·91a0·04f2·9040·e040·04cd·0133·9101·33bc··.....@.@...3..3. | ||
| 000089c0:· | 000089c0:·0101·4301·3391·d040·2840·696e·6c69·6e65··..C.3..@(@inline | ||
| 000089d0:· | 000089d0:·21a0·b0b4·90a0·214e·04e5·40b0·c391·4004··!.....!N..@...@. | ||
| 000089e0:· | 000089e0:·7eb0·95a0·2a63·6f71·3a69·6e6c·696e·6543··~...*coq:inlineC | ||
| 000089f0:· | 000089f0:·e040·04dd·0151·ac01·51b8·0101·e701·518d··.@...Q..Q.....Q. | ||
| 00008a00:· | 00008a00:·a005·0105·9040·a0b0·a191·4032·636f·712e··.....@....@2coq. | ||
| 00008a10:· | 00008a10:·696e·6c69·6e65·2e64·6566·6175·6c74·e040··inline.default.@ | ||
| 00008a20:· | 00008a20:·04e5·0151·b901·51cb·0101·e701·518d·a005··...Q..Q.....Q... | ||
| 00008a30:·0 | 00008a30:·010d·9040·40e0·4004·e801·51a1·0151·cb01··...@@.@...Q..Q.. | ||
| 00008a40:·01 | 00008a40:·01e7·0151·8da0·0501·1090·40e0·4004·eb01··...Q......@.@... | ||
| 00008a50:· | 00008a50:·519c·0151·cb01·01e7·0151·8da0·0501·1390··Q..Q.....Q...... | ||
| 00008a60:· | 00008a60:·40e0·4004·ee01·518d·0151·cb01·01e7·0151··@.@...Q..Q.....Q | ||
| Max diff block lines reached; 2499/768471 bytes (0.33%) 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·8aa5··es.'RegLang@.0.. | ||
| 00000130:· | 00000130:·29e2·81b9·b34e·15f4·ac81·7d4f·9abe·a0a0··)....N....}O.... | ||
| 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:·8723·907e·e5a9·a65e·27a4·2ae7·ecf8·6c64··.#.~...^'.*...ld | ||
| 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·645f·2411··.'RegLang@.0d_$. | ||
| 00000180:· | 00000180:·2714·bd2c·2651·851e·dd39·0f9b·a0a0·2774··'..,&Q...9....'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·9ce4·75c1·138d·5bf9·574f·ba2c·4092··.0..u...[.WO.,@. | |||
| 000001b0:·f464·2535·2e32·2e30·a040·4060·908d·b538··.d%5.2.0.@@`...8 | |||
| 000001 | 000001a0:·9030·f790·ffe1·a380·4ea5·cb1b·3b3d·8600··.0......N...;=.. | ||
| 000001b0:·7b9b·2535·2e32·2e30·a040·4038·2f2f·e5af··{.%5.2.0.@@8//.. | |||
| 000001c0:·b5a7·eb2d·1dd0·ba24·7c4b·ab84·95a6·be00··...-...$|K...... | |||
| 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·30f7·90ff·e1a3·804e··.u......0......N | ||
| 000070c0:· | 000070c0:·a5cb·1b3b·3d86·007b·9b90·40a0·4040·a0a0··...;=..{..@.@@.. | ||
| 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·fd57·e920·14dc··3@@ABCDE@@.W.·.. | |||
| 0000a3 | 0000a340:·3340·4041·4243·4445·4040·464b·9981·481f··3@@ABCDE@@FK..H. | ||
| 0000a350:·2018·e6f4·dc6a·ecb4·282e·8495·a6be·0002···....j..(....... | |||
| 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·7f46·4b99··.............FK. | ||
| 00030e30:· | 00030e30:·8148·1f20·18e6·f4dc·6aec·b428·2e00·0000··.H.·....j..(.... | ||
| 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·ab38·2f2f·e5af·b5a7·eb2d·1dd0·ba24··...8//.....-...$ | ||
| 00030e90:· | 00030e90:·7c4b·ab00·0000·0976·6d6c·6962·7261·7279··|K.....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·8aa5·29e2·81b9·b34e·15f4·ac81··g@.0..)....N.... | ||
| 000000e0:· | 000000e0:·7d4f·9abe·a0a0·2364·6661·a027·5265·674c··}O....#dfa.'RegL | ||
| 000000f0:·616e·6740·9030· | 000000f0:·616e·6740·9030·8723·907e·e5a9·a65e·27a4··ang@.0.#.~...^'. | ||
| 00000100:· | 00000100:·2ae7·ecf8·6c64·a0a0·2672·6567·6578·70a0··*...ld..®exp. | ||
| 00000110:·2752·6567·4c61·6e67·4090·30 | 00000110:·2752·6567·4c61·6e67·4090·307d·7f0a·d2a2··'RegLang@.0}.... | ||
| 00000120:· | 00000120:·c223·f4e2·1562·465f·09c2·08a0·a02d·6d79··.#...bF_.....-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·30 | 00000140:·4c61·6e67·4090·3064·5f24·1127·14bd·2c26··Lang@.0d_$.'..,& | ||
| 00000150:·5 | 00000150:·5185·1edd·390f·9b25·352e·322e·30a0·4040··Q...9..%5.2.0.@@ | ||
| 00000160:· | 00000160:·a017·e184·0eff·2a07·717c·56fd·ea1f·9703··......*.q|V..... | ||
| 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·3064·5f24·1127·14bd·2c26·5185··ng@.0d_$.'..,&Q. | ||
| 00005770:· | 00005770:·1edd·390f·9b90·40a0·4040·a0a0·95a0·021c··..9...@.@@...... | ||
| 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:·40f7·90ff·e1a3·804e·a5cb·1b3b·3d86·007b··@......N...;=..{ | ||
| 00007de0:· | 00007de0:·9b84·95a6·be00·00cf·f100·002e·1f00·0096··................ | ||
| 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:·f790·ffe1·a380·4ea5·cb1b·3b3d·8600·7b9b··......N...;=..{. | ||
| 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·a017·e184·0eff·2a07·717c··.....P......*.q| | ||
| 000157c0:· | 000157c0:·56fd·ea1f·9703·0000·0009·766d·6c69·6272··V.........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·8aa5·29e2·81b9·b34e·15f4·ac81·7d4f··.0..)....N....}O | ||
| 000000e0:· | 000000e0:·9abe·a0a0·236e·6661·a027·5265·674c·616e··....#nfa.'RegLan | ||
| 000000f0:·6740·9030· | 000000f0:·6740·9030·e78f·0fd0·9aca·4b4f·1a82·2f37··g@.0......KO../7 | ||
| 00000100:· | 00000100:·981b·bc4a·a0a0·2774·776f·5f77·6179·a027··...J..'two_way.' | ||
| 00000110:·5265·674c·616e·6740·9030· | 00000110:·5265·674c·616e·6740·9030·f790·ffe1·a380··RegLang@.0...... | ||
| 00000120:·5bf9·574f·ba2c·4092·f464·2535·2e32·2e30··[.WO.,@..d%5.2.0 | |||
| 000001 | 00000120:·4ea5·cb1b·3b3d·8600·7b9b·2535·2e32·2e30··N...;=..{.%5.2.0 | ||
| 00000130:·a040·408d·a0e5·4736·aa7b·0198·5eda·c22d··.@@...G6.{..^..- | |||
| 00000140:· | 00000140:·4063·5984·95a6·be00·004a·9600·000f·5c00··@cY......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:·30f7·90ff·e1a3·804e·a5cb·1b3b·3d86·007b··0......N...;=..{ | ||
| 000041c0:· | 000041c0:·9b90·40a0·4040·a0a0·95a0·0232·0a51·8fa0··..@.@@.....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·40cf·1fc4··....@@ABCDE@@... | ||
| 00004bf0:· | 00004bf0:·f150·28fc·6e76·de01·82b7·865b·dd84·95a6··.P(.nv.....[.... | ||
| 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·cf1f··.....C......J... | ||
| 00014a70:· | 00014a70:·c4f1·5028·fc6e·76de·0182·b786·5bdd·0000··..P(.nv.....[... | ||
| 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·8da0·e547·36aa·7b01·985e·dac2··...#...G6.{..^.. | ||
| 00014ad0:· | 00014ad0:·2d40·6359·0000·0009·766d·6c69·6272·6172··-@cY....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:·308a·a529·e281·b9b3·4e15·f4ac·817d·4f9a··0..)....N....}O. | ||
| 000000e0:·b | 000000e0:·bea0·a023·6466·61a0·2752·6567·4c61·6e67··...#dfa.'RegLang | ||
| 000000f0:·4090·30 | 000000f0:·4090·3087·2390·7ee5·a9a6·5e27·a42a·e7ec··@.0.#.~...^'.*.. | ||
| 00000100:·f | 00000100:·f86c·64a0·a023·6e66·61a0·2752·6567·4c61··.ld..#nfa.'RegLa | ||
| 00000110:·6e67·4090·30 | 00000110:·6e67·4090·30e7·8f0f·d09a·ca4b·4f1a·822f··ng@.0......KO../ | ||
| 00000120:· | 00000120:·3798·1bbc·4aa0·a026·7265·6765·7870·a027··7...J..®exp.' | ||
| 00000130:·5265·674c·616e·6740·9030· | 00000130:·5265·674c·616e·6740·9030·7d7f·0ad2·a2c2··RegLang@.0}..... | ||
| 00000140:·2f78·ef20·ef20·ac56·c947·2535·2e32·2e30··/x.·.·.V.G%5.2.0 | |||
| 000001 | 00000140:·23f4·e215·6246·5f09·c208·2535·2e32·2e30··#...bF_...%5.2.0 | ||
| 00000150:·a040·4041·f9c9·1c85·3b71·2c7a·65c4·76f4··.@@A....;q,ze.v. | |||
| 00000160:· | 00000160:·f3ba·3884·95a6·be00·00e5·4600·003b·3700··..8.......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·307d·7f0a·d2a2··GHIJ......0}.... | ||
| 00009b00:· | 00009b00:·c223·f4e2·1562·465f·09c2·0890·40a0·a095··.#...bF_....@... | ||
| 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·4081·9fa3··....@@ABCDE@@... | ||
| 0000e6c0:· | 0000e6c0:·5d7c·5154·632f·2be8·72e1·0382·af84·95a6··]|QTc/+.r....... | ||
| 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·819f·a35d··...c.......Z...] | ||
| 000511a0:· | 000511a0:·7c51·5463·2f2b·e872·e103·82af·0000·0007··|QTc/+.r........ | ||
| 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·41f9·c91c·853b·712c·7a65·c476·f4f3··.CA....;q,ze.v.. | ||
| 00051200:· | 00051200:·ba38·0000·0009·766d·6c69·6272·6172·7900··.8....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 | 6auj3 | |