| Offset 1, 2 lines modified | Offset 1, 2 lines modified | ||
| 1 | · | 1 | ·46023fa9d694874e2d82e1f97cfca997·874884·ocaml·optional·libcoq-reglang_1.2.1-4_arm64.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·····18 | 2 | -rw-r--r--···0········0········0·····1840·2024-08-04·06:10:46.000000·control.tar.xz |
| 3 | -rw-r--r--···0········0········0···8728 | 3 | -rw-r--r--···0········0········0···872852·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:·arm64 | 4 | Architecture:·arm64 |
| 5 | Maintainer:·Debian·OCaml·Maintainers·<debian-ocaml-maint@lists.debian.org> | 5 | Maintainer:·Debian·OCaml·Maintainers·<debian-ocaml-maint@lists.debian.org> |
| 6 | Installed-Size:·2833 | 6 | Installed-Size:·2833 |
| 7 | Depends:·libcoq-mathcomp-ssreflect-zzen5,·libcoq-stdlib-z3q11 | 7 | Depends:·libcoq-mathcomp-ssreflect-zzen5,·libcoq-stdlib-z3q11 |
| 8 | Provides:·libcoq-reglang- | 8 | Provides:·libcoq-reglang-8f5b3 |
| 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/aarch64-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/aarch64-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/aarch64-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/aarch64-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/aarch64-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/aarch64-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/aarch64-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/aarch64-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/aarch64-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/aarch64-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/aarch64-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/aarch64-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/aarch64-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/aarch64-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)···135100·2024-08-04·06:10:46.000000·./usr/lib/aarch64-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/aarch64-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/aarch64-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/aarch64-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/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/minimization.v |
| 18 | -rw-r--r--···0·root·········(0)·root·········(0)···1738 | 18 | -rw-r--r--···0·root·········(0)·root·········(0)···173854·2024-08-04·06:10:46.000000·./usr/lib/aarch64-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/aarch64-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/aarch64-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/aarch64-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/aarch64-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/aarch64-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/aarch64-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/aarch64-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/aarch64-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/aarch64-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/aarch64-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/aarch64-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/aarch64-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/aarch64-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/aarch64-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·301c·4451·2fdf·92ee·1ab6·84b5··mp@.0.DQ/....... | 00000080:·6d70·4090·301c·4451·2fdf·92ee·1ab6·84b5··mp@.0.DQ/....... | ||
| 00000090:·6d3d·4d5b·82a0·a024·6d69·7363·a027·5265··m=M[...$misc.'Re | 00000090:·6d3d·4d5b·82a0·a024·6d69·7363·a027·5265··m=M[...$misc.'Re | ||
| 000000a0:·674c·616e·6740·9030·39cf·19d5·e362·157e··gLang@.09....b.~ | 000000a0:·674c·616e·6740·9030·39cf·19d5·e362·157e··gLang@.09....b.~ | ||
| 000000b0:·b365·2501·aae4·c3cc·a0a0·296c·616e·6775··.e%.......)langu | 000000b0:·b365·2501·aae4·c3cc·a0a0·296c·616e·6775··.e%.......)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:·64b3·451c·e9b7·b779·5e83·ccae·6918·6141··d.E....y^...i.aA | ||
| 000000e0:·2535·2e32·2e30·a040·40 | 000000e0:·2535·2e32·2e30·a040·40cf·df30·976a·a15f··%5.2.0.@@..0.j._ | ||
| 000000f0:· | 000000f0:·0fcb·b4a8·23c7·19fe·0d84·95a6·be00·00ca··....#........... | ||
| 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·0d9a·8ed5·10f9·ef05··.....@.0........ | |||
| 000089 | 00008970:·ada0·0512·ac40·9030·64b3·451c·e9b7·b779··.....@.0d.E....y | ||
| 00008980:·5e83·ccae·6918·6141·9040·a040·40a0·a095··^...i.aA.@.@@... | |||
| 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·407b·2cbe·fd13·a926··@@ABCDE@@{,....& | ||
| 0000cbd0:· | 0000cbd0:·7c4e·7c5d·45ef·0ced·1984·95a6·be00·0135··|N|]E..........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·7b2c·befd·13a9·267c·4e7c·5d45··....{,....&|N|]E | ||
| 00020a30:· | 00020a30:·ef0c·ed19·0000·0007·6f70·6171·7565·7300··........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·cfdf·3097·6aa1··............0.j. | ||
| 00020a80:· | 00020a80:·5f0f·cbb4·a823·c719·fe0d·0000·0009·766d··_....#........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·0f0a··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·306e·1ea7·6653·34e4·bc65·c3cc·25eb··@.0n..fS4..e..%. | 00000050:·4090·306e·1ea7·6653·34e4·bc65·c3cc·25eb··@.0n..fS4..e..%. | ||
| 00000060:·7fca·42a0·a02a·7374·7275·6374·7572·6573··..B..*structures | 00000060:·7fca·42a0·a02a·7374·7275·6374·7572·6573··..B..*structures | ||
| 00000070:·a022·4842·4090·3026·6198·3d18·f827·cc96··."HB@.0&a.=..'.. | 00000070:·a022·4842·4090·3026·6198·3d18·f827·cc96··."HB@.0&a.=..'.. | ||
| Offset 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·301c··ct.(mathcomp@.0. | 000000a0:·6374·a028·6d61·7468·636f·6d70·4090·301c··ct.(mathcomp@.0. | ||
| 000000b0:·4451·2fdf·92ee·1ab6·84b5·6d3d·4d5b·82a0··DQ/.......m=M[.. | 000000b0:·4451·2fdf·92ee·1ab6·84b5·6d3d·4d5b·82a0··DQ/.......m=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·39cf·19d5·e362·157e·b365·2501·aae4··.09....b.~.e%... | 000000d0:·9030·39cf·19d5·e362·157e·b365·2501·aae4··.09....b.~.e%... | ||
| 000000e0:·c3cc·2535·2e32·2e30·a040·40f2·c18f·5c64··..%5.2.0.@@...\d | 000000e0:·c3cc·2535·2e32·2e30·a040·40f2·c18f·5c64··..%5.2.0.@@...\d | ||
| 000000f0:·909c·77c8·1e97·391b·00cc·d584·95a6·be00··..w...9......... | 000000f0:·909c·77c8·1e97·391b·00cc·d584·95a6·be00··..w...9......... | ||
| 00000100:·0199· | 00000100:·0199·2100·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·3634·3439·3238·3935·34e0··@@@@@)644928954. | ||
| 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·00e | 00017a30:·4614·0c00·0000·0000·00e9·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·3530·3031·3439··U...@@@@@)500149 | ||
| 00017b40:·36e0·0546·4e05·40f0·053f·6d05·1734· | 00017b40:·3036·38e0·0546·4e05·40f0·053f·6d05·1734··068..FN.@..?m..4 | ||
| 00017b50:·a505·466b·0c00·0000·0000·00f | 00017b50:·0516·a505·466b·0c00·0000·0000·00f6·3e40··....Fk........>@ | ||
| 00017b60:·a095·a002·320a·518f·a005·5073·b091· | 00017b60:·4140·a095·a002·320a·518f·a005·5073·b091··A@....2.Q...Ps.. | ||
| 00017b70:·40a0·95a0·020f·c0a2·b8a0·9005·4808· | 00017b70:·4940·40a0·95a0·020f·c0a2·b8a0·9005·4808··I@@...........H. | ||
| 00017b80:·9190·b005·560f·0550·7f02·0c9d·a512· | 00017b80:·a0a0·9190·b005·560f·0550·7f02·0c9d·a512··......V..P...... | ||
| 00017b90:·40a0·90c0·b005·560a·4140·9190·4240· | 00017b90:·a0a0·40a0·90c0·b005·560a·4140·9190·4240··..@.....V.A@..B@ | ||
| 00017ba0:·40a0·4040·4040·a095·a002·2760·a06f· | 00017ba0:·41a0·40a0·4040·4040·a095·a002·2760·a06f··A.@.@@@@....'`.o | ||
| 00017bb0:·9104·11a0·40a0·4040·a090·9205·5614· | 00017bb0:·d040·9104·11a0·40a0·4040·a090·9205·5614··.@....@.@@....V. | ||
| 00017bc0:·9105·5089·40d0·d0d0·4040·a005·4812· | 00017bc0:·a090·9105·5089·40d0·d0d0·4040·a005·4812··....P.@...@@..H. | ||
| 00017bd0:·4141·a005·480f·40d0·4005·480c·a005· | 00017bd0:·4040·4141·a005·480f·40d0·4005·480c·a005··@@AA..H.@.@.H... | ||
| 00017be0:·4040·4142·0548·05a0·0548·0140·d0d0· | 00017be0:·4808·4040·4142·0548·05a0·0548·0140·d0d0··H.@@AB.H...H.@.. | ||
| 00017bf0:·47fe·a005·47f9·4040·4105·47f6·a005· | 00017bf0:·4005·47fe·a005·47f9·4040·4105·47f6·a005··@.G...G.@@A.G... | ||
| 00017c00:·40d0·4005·47f2·a005·47ed·40d0·4005· | 00017c00:·47f5·40d0·4005·47f2·a005·47ed·40d0·4005··G.@.@.G...G.@.@. | ||
| 00017c10:·a005·47e5·40d0·4005·47e2·a005·47dc· | 00017c10:·47ea·a005·47e5·40d0·4005·47e2·a005·47dc··G...G.@.@.G...G. | ||
| 00017c20:·4142·4344·45a0·95a0·020f·d9ff·e208· | 00017c20:·4040·4142·4344·45a0·95a0·020f·d9ff·e208··@@ABCDE......... | ||
| 00017c30:·2700·9104·3005·5098·4041·4140·9190· | 00017c30:·0000·2700·9104·3005·5098·4041·4140·9190··..'...0.P.@AA@.. | ||
| 00017c40:·5640·0551·6102·0ec5·a1dc·9105·5141· | 00017c40:·b005·5640·0551·6102·0ec5·a1dc·9105·5141··..V@.Qa.......QA | ||
| 00017c50:·95a0·0232·0a51·8fa0·0550·98b0·9140· | 00017c50:·41a0·95a0·0232·0a51·8fa0·0550·98b0·9140··A....2.Q...P...@ | ||
| 00017c60:·a095·a002·0fc0·a2b8·a090·e041·4040· | 00017c60:·4040·a095·a002·0fc0·a2b8·a090·e041·4040··@@...........A@@ | ||
| 00017c70:·40a0·a091·0550·12a0·a040·a090·c0b0· | 00017c70:·4040·40a0·a091·0550·12a0·a040·a090·c0b0··@@@....P...@.... | ||
| 00017c80:·4b41·4091·9043·4041·a090·c0b0·0550· | 00017c80:·0556·4b41·4091·9043·4041·a090·c0b0·0550··.VKA@..C@A.....P | ||
| 00017c90:·4091·0406·4041·a040·a040·a040·4040· | 00017c90:·9f42·4091·0406·4041·a040·a040·a040·4040··.B@...@A.@.@.@@@ | ||
| 00017ca0:·95a0·0227·60a0·6fd0·4091·0550·27a0· | 00017ca0:·40a0·95a0·0227·60a0·6fd0·4091·0550·27a0··@....'`.o.@..P'. | ||
| 00017cb0:·40a0·a005·484b·40a0·a005·484d·40a0· | 00017cb0:·40a0·40a0·a005·484b·40a0·a005·484d·40a0··@.@...HK@...HM@. | ||
| 00017cc0:·482e·4040·a090·9205·50bc·a090·9205· | 00017cc0:·a005·482e·4040·a090·9205·50bc·a090·9205··..H.@@....P..... | ||
| 00017cd0:·a090·41a0·9041·a090·9205·565b·40d0· | 00017cd0:·50bf·a090·41a0·9041·a090·9205·565b·40d0··P...A..A....V[@. | ||
| 00017ce0:·4040·a005·4866·4040·4141·a005·4863· | 00017ce0:·d0d0·4040·a005·4866·4040·4141·a005·4863··..@@..Hf@@AA..Hc | ||
| 00017cf0:·4005·4860·a005·485c·4040·4142·0548· | 00017cf0:·40d0·4005·4860·a005·485c·4040·4142·0548··@.@.H`..H\@@AB.H | ||
| 00017d00:·0548·5540·d0d0·4005·4852·a005·484d· | 00017d00:·59a0·0548·5540·d0d0·4005·4852·a005·484d··Y..HU@..@.HR..HM | ||
| 00017d10:·4105·484a·a005·4849·40d0·4005·4846· | 00017d10:·4040·4105·484a·a005·4849·40d0·4005·4846··@@A.HJ..HI@.@.HF | ||
| 00017d20:·4841·40d0·4005·483e·a005·4839·40d0· | 00017d20:·a005·4841·40d0·4005·483e·a005·4839·40d0··..HA@.@.H>..H9@. | ||
| 00017d30:·4836·a005·4830·4040·4142·4344·45a0· | 00017d30:·4005·4836·a005·4830·4040·4142·4344·45a0··@.H6..H0@@ABCDE. | ||
| 00017d40:·0232·0a51·8fa0·0550·5cb0·9241·4040· | 00017d40:·95a0·0232·0a51·8fa0·0550·5cb0·9241·4040··...2.Q...P\..A@@ | ||
| 00017d50:·a002·0fc0·a2b8·a090·e041·4040·4040· | 00017d50:·a095·a002·0fc0·a2b8·a090·e041·4040·4040··...........A@@@@ | ||
| 00017d60:·a091·054f·99a0·a040·a090·c0b0·0556· | 00017d60:·40a0·a091·054f·99a0·a040·a090·c0b0·0556··@....O...@.....V | ||
| 00017d70:·4091·9043·4041·a090·c0b0·0550·ea42· | 00017d70:·9641·4091·9043·4041·a090·c0b0·0550·ea42··.A@..C@A.....P.B | ||
| 00017d80:·0406·4041·a040·a090·c0b0·0550·3f44· | 00017d80:·4091·0406·4041·a040·a090·c0b0·0550·3f44··@...@A.@.....P?D | ||
| 00017d90:·9047·4041·a090·c0b0·0550·4045·4091· | 00017d90:·4091·9047·4041·a090·c0b0·0550·4045·4091··@..G@A.....P@E@. | ||
| 00017da0:·4041·a040·a040·4040·40a0·95a0·0227· | 00017da0:·0406·4041·a040·a040·4040·40a0·95a0·0227··..@A.@.@@@@....' | ||
| 00017db0:·6fd0·4091·054f·b9a0·40a0·40a0·a005· | 00017db0:·60a0·6fd0·4091·054f·b9a0·40a0·40a0·a005··`.o.@..O..@.@... | ||
| 00017dc0:·40a0·a005·48a3·40a0·a005·48a5·40a0· | 00017dc0:·48a1·40a0·a005·48a3·40a0·a005·48a5·40a0··H.@...H.@...H.@. | ||
| 00017dd0:·4886·40a0·a005·48a9·4040·a090·9205· | 00017dd0:·a005·4886·40a0·a005·48a9·4040·a090·9205··..H.@...H.@@.... | ||
| 00017de0:·a090·9205·5119·a090·41a0·9041·a090· | 00017de0:·5116·a090·9205·5119·a090·41a0·9041·a090··Q.....Q...A..A.. | ||
| 00017df0:·9092·0556·b7a0·9041·40d0·d0d0·4040· | 00017df0:·41a0·9092·0556·b7a0·9041·40d0·d0d0·4040··A....V...A@...@@ | ||
| 00017e00:·48c4·4040·4141·a005·48c1·40d0·4005· | 00017e00:·a005·48c4·4040·4141·a005·48c1·40d0·4005··..H.@@AA..H.@.@. | ||
| 00017e10:·a005·48ba·4040·4142·0548·b7a0·0548· | 00017e10:·48be·a005·48ba·4040·4142·0548·b7a0·0548··H...H.@@AB.H...H | ||
| 00017e20:·d0d0·4005·48b0·a005·48ab·4040·4105· | 00017e20:·b340·d0d0·4005·48b0·a005·48ab·4040·4105··.@..@.H...H.@@A. | ||
| 00017e30:·a005·48a7·40d0·4005·48a4·a005·489f· | 00017e30:·48a8·a005·48a7·40d0·4005·48a4·a005·489f··H...H.@.@.H...H. | ||
| 00017e40:·4005·489c·a005·4897·40d0·4005·4894· | 00017e40:·40d0·4005·489c·a005·4897·40d0·4005·4894··@.@.H...H.@.@.H. | ||
| 00017e50:·488e·4040·4142·4344·45a0·95a0·0232· | 00017e50:·a005·488e·4040·4142·4344·45a0·95a0·0232··..H.@@ABCDE....2 | ||
| 00017e60:·8fa0·0550·54b0·9140·4040·a095·a002· | 00017e60:·0a51·8fa0·0550·54b0·9140·4040·a095·a002··.Q...PT..@@@.... | ||
| 00017e70:·a2b8·a090·045e·a0a0·9105·4fee·a0a0· | 00017e70:·0fc0·a2b8·a090·045e·a0a0·9105·4fee·a0a0··.......^....O... | ||
| 00017e80:·90c0·b005·56f3·4140·9190·4340·41a0· | 00017e80:·40a0·90c0·b005·56f3·4140·9190·4340·41a0··@.....V.A@..C@A. | ||
| 00017e90:·b005·5147·4240·9104·0640·41a0·40a0· | 00017e90:·90c0·b005·5147·4240·9104·0640·41a0·40a0··....QGB@...@A.@. | ||
| 00017ea0:·4040·4040·a095·a002·2760·a06f·d040· | 00017ea0:·40a0·4040·4040·a095·a002·2760·a06f·d040··@.@@@@....'`.o.@ | ||
| 00017eb0:·5003·a040·a040·a0a0·0548·f340·a0a0· | 00017eb0:·9105·5003·a040·a040·a0a0·0548·f340·a0a0··..P..@.@...H.@.. | ||
| 00017ec0:·f540·a0a0·0548·d640·40a0·9092·0551· | 00017ec0:·0548·f540·a0a0·0548·d640·40a0·9092·0551··.H.@...H.@@....Q | ||
| 00017ed0:·9092·0551·67a0·9041·a090·41a0·9092· | 00017ed0:·64a0·9092·0551·67a0·9041·a090·41a0·9092··d....Qg..A..A... | ||
| 00017ee0:·0340·d0d0·d040·40a0·0549·0e40·4041· | 00017ee0:·0557·0340·d0d0·d040·40a0·0549·0e40·4041··.W.@...@@..I.@@A | ||
| 00017ef0:·0549·0b40·d040·0549·08a0·0549·0440· | 00017ef0:·41a0·0549·0b40·d040·0549·08a0·0549·0440··A..I.@.@.I...I.@ | ||
| 00017f00:·4205·4901·a005·48fd·40d0·d040·0548· | 00017f00:·4041·4205·4901·a005·48fd·40d0·d040·0548··@AB.I...H.@..@.H | ||
| Max diff block lines reached; -1/332544 bytes (-0.00%) of diff not shown. | |||
| Offset 1, 8 lines modified | Offset 1, 8 lines modified | ||
| 00000000:·436f·7121·0001·4050·0000·0000·0002·a6 | 00000000:·436f·7121·0001·4050·0000·0000·0002·a66c··Coq!..@P.......l | ||
| 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·6e1e·a766·5334··it.#Coq@.0n..fS4 | 00000050:·6974·a023·436f·7140·9030·6e1e·a766·5334··it.#Coq@.0n..fS4 | ||
| 00000060:·e4bc·65c3·cc25·eb7f·ca42·a0a0·2a73·7472··..e..%...B..*str | 00000060:·e4bc·65c3·cc25·eb7f·ca42·a0a0·2a73·7472··..e..%...B..*str | ||
| 00000070:·7563·7475·7265·73a0·2248·4240·9030·2661··uctures."HB@.0&a | 00000070:·7563·7475·7265·73a0·2248·4240·9030·2661··uctures."HB@.0&a | ||
| Offset 43, 20 lines modified | Offset 43, 20 lines modified | ||
| 000002a0:·e598·9494·f7a0·a030·6765·6e65·7269·635f··.......0generic_ | 000002a0:·e598·9494·f7a0·a030·6765·6e65·7269·635f··.......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:·dea8·87e0·7cde·0956·8d97·b1c5·dfff·fb1e··....|..V........ | 000002d0:·dea8·87e0·7cde·0956·8d97·b1c5·dfff·fb1e··....|..V........ | ||
| 000002e0:·a0a0·246d·6973·63a0·2752·6567·4c61·6e67··..$misc.'RegLang | 000002e0:·a0a0·246d·6973·63a0·2752·6567·4c61·6e67··..$misc.'RegLang | ||
| 000002f0:·4090·3039·cf19·d5e3·6215·7eb3·6525·01aa··@.09....b.~.e%.. | 000002f0:·4090·3039·cf19·d5e3·6215·7eb3·6525·01aa··@.09....b.~.e%.. | ||
| 00000300:·e4c3·cca0·a029·6c61·6e67·7561·6765·73a0··.....)languages. | 00000300:·e4c3·cca0·a029·6c61·6e67·7561·6765·73a0··.....)languages. | ||
| 00000310:·2752·6567·4c61·6e67·4090·30 | 00000310:·2752·6567·4c61·6e67·4090·3064·b345·1ce9··'RegLang@.0d.E.. | ||
| 00000320:· | 00000320:·b7b7·795e·83cc·ae69·1861·41a0·a023·6466··..y^...i.aA..#df | ||
| 00000330:·61a0·2752·6567·4c61·6e67·4090·30 | 00000330:·61a0·2752·6567·4c61·6e67·4090·307b·2cbe··a.'RegLang@.0{,. | ||
| 00000340:·f7cd·d0d4·49dc·d07c·ebb8·631f·a725·352e··....I..|..c..%5. | |||
| 00000350:·322e·30a0·4040·d646·f80f·3e6f·974a·95b1··2.0.@@.F..>o.J.. | |||
| 000003 | 00000340:·fd13·a926·7c4e·7c5d·45ef·0ced·1925·352e··...&|N|]E....%5. | ||
| 00000350:·322e·30a0·4040·5381·8107·8b46·ed45·8fbc··2.0.@@S....F.E.. | |||
| 00000360:·7a14·2ef2·f01d·8495·a6be·0002·17fa·0000··z............... | |||
| 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·307b·2cbe·fd13·a926·7c4e··......0{,....&|N | ||
| 000093d0:· | 000093d0:·7c5d·45ef·0ced·1990·40a0·4040·a0a0·95a0··|]E.....@.@@.... | ||
| 000093e0:·0232·0a51·8fa0·051a·95b0·9140·4040·a095··.2.Q.......@@@.. | 000093e0:·0232·0a51·8fa0·051a·95b0·9140·4040·a095··.2.Q.......@@@.. | ||
| 000093f0:·a002·0fc0·a2b8·a090·e041·4040·4040·40a0··.........A@@@@@. | 000093f0:·a002·0fc0·a2b8·a090·e041·4040·4040·40a0··.........A@@@@@. | ||
| 00009400:·a091·0512·cba0·a040·a090·c0b0·051a·9f41··.......@.......A | 00009400:·a091·0512·cba0·a040·a090·c0b0·051a·9f41··.......@.......A | ||
| 00009410:·4090·9042·4041·a090·c0b0·051a·9242·4091··@..B@A.......B@. | 00009410:·4090·9042·4041·a090·c0b0·051a·9242·4091··@..B@A.......B@. | ||
| 00009420:·9043·4041·a040·a040·4040·40a0·95a0·0227··.C@A.@.@@@@....' | 00009420:·9043·4041·a040·a040·4040·40a0·95a0·0227··.C@A.@.@@@@....' | ||
| 00009430:·60a0·6fd0·4091·0512·e0a0·40a0·40a0·40a0··`.o.@.....@.@.@. | 00009430:·60a0·6fd0·4091·0512·e0a0·40a0·40a0·40a0··`.o.@.....@.@.@. | ||
| 00009440:·4040·a090·9205·1ab1·a090·9205·1aa0·a090··@@.............. | 00009440:·4040·a090·9205·1ab1·a090·9205·1aa0·a090··@@.............. | ||
| Offset 2915, 15 lines modified | Offset 2915, 15 lines modified | ||
| 0000b620:·2e6d·696e·696d·697a·6174·696f·6e39·2e2f··.minimization9./ | 0000b620:·2e6d·696e·696d·697a·6174·696f·6e39·2e2f··.minimization9./ | ||
| 0000b630:·7468·656f·7269·6573·2f6d·696e·696d·697a··theories/minimiz | 0000b630:·7468·656f·7269·6573·2f6d·696e·696d·697a··theories/minimiz | ||
| 0000b640:·6174·696f·6e2e·7601·1b58·011b·8f01·00c3··ation.v..X...... | 0000b640:·6174·696f·6e2e·7601·1b58·011b·8f01·00c3··ation.v..X...... | ||
| 0000b650:·011b·56c0·4040·4041·b0c3·9140·2f6c·6f63··..V.@@@A...@/loc | 0000b650:·011b·56c0·4040·4041·b0c3·9140·2f6c·6f63··..V.@@@A...@/loc | ||
| 0000b660:·616c·2d63·616e·6f6e·6963·616c·b095·a091··al-canonical.... | 0000b660:·616c·2d63·616e·6f6e·6963·616c·b095·a091··al-canonical.... | ||
| 0000b670:·0513·8158·040d·a022·5479·9090·9090·2863··...X..."Ty....(c | 0000b670:·0513·8158·040d·a022·5479·9090·9090·2863··...X..."Ty....(c | ||
| 0000b680:·6f6e·7374·616e·7440·0414·a004·0790·9090··onstant@........ | 0000b680:·6f6e·7374·616e·7440·0414·a004·0790·9090··onstant@........ | ||
| 0000b690:·4040·4040·4029·3 | 0000b690:·4040·4040·4029·3738·3934·3134·3437·33e0··@@@@@)789414473. | ||
| 0000b6a0:·d0d0·d0d0·4025·4063·6173·74a0·b0b4·90a0··....@%@cast..... | 0000b6a0:·d0d0·d0d0·4025·4063·6173·74a0·b0b4·90a0··....@%@cast..... | ||
| 0000b6b0:·2154·226c·7040·b0b4·90a0·2254·5904·0640··!T"lp@...."TY..@ | 0000b6b0:·2154·226c·7040·b0b4·90a0·2254·5904·0640··!T"lp@...."TY..@ | ||
| 0000b6c0:·b0c3·9140·236c·6574·b095·a090·2463·6173··...@#let....$cas | 0000b6c0:·b0c3·9140·236c·6574·b095·a090·2463·6173··...@#let....$cas | ||
| 0000b6d0:·7453·e040·3063·6f71·2d62·7569·6c74·696e··tS.@0coq-builtin | 0000b6d0:·7453·e040·3063·6f71·2d62·7569·6c74·696e··tS.@0coq-builtin | ||
| 0000b6e0:·2e65·6c70·6901·24e8·0124·ee01·00e1·0124··.elpi.$..$.....$ | 0000b6e0:·2e65·6c70·6901·24e8·0124·ee01·00e1·0124··.elpi.$..$.....$ | ||
| 0000b6f0:·cfa0·0429·9040·a0b0·a190·0417·0412·e040··...).@.........@ | 0000b6f0:·cfa0·0429·9040·a0b0·a190·0417·0412·e040··...).@.........@ | ||
| 0000b700:·0408·0124·ef01·24f1·0100·e101·24cf·a004··...$..$.....$... | 0000b700:·0408·0124·ef01·24f1·0100·e101·24cf·a004··...$..$.....$... | ||
| Offset 7677, 17 lines modified | Offset 7677, 17 lines modified | ||
| 0001dfc0:·9090·052c·f440·0546·3aa0·0546·2d90·9090··...,.@.F:..F-... | 0001dfc0:·9090·052c·f440·0546·3aa0·0546·2d90·9090··...,.@.F:..F-... | ||
| 0001dfd0:·052a·2aa0·b0c3·9140·0529·87b0·95a0·0546··.**....@.).....F | 0001dfd0:·052a·2aa0·b0c3·9140·0529·87b0·95a0·0546··.**....@.).....F | ||
| 0001dfe0:·cf57·0546·45a0·0546·3890·9090·0529·8940··.W.FE..F8....).@ | 0001dfe0:·cf57·0546·45a0·0546·3890·9090·0529·8940··.W.FE..F8....).@ | ||
| 0001dff0:·0546·49a0·0546·3c90·9090·052a·36a0·b0c3··.FI..F<....*6... | 0001dff0:·0546·49a0·0546·3c90·9090·052a·36a0·b0c3··.FI..F<....*6... | ||
| 0001e000:·9140·053d·09b0·95a0·9105·5608·5805·4655··.@.=......V.X.FU | 0001e000:·9140·053d·09b0·95a0·9105·5608·5805·4655··.@.=......V.X.FU | ||
| 0001e010:·a005·4648·9090·9005·3d0c·4005·4659·a005··..FH....=.@.FY.. | 0001e010:·a005·4648·9090·9005·3d0c·4005·4659·a005··..FH....=.@.FY.. | ||
| 0001e020:·464c·9090·9005·2a44·4005·465d·a005·4650··FL....*D@.F]..FP | 0001e020:·464c·9090·9005·2a44·4005·465d·a005·4650··FL....*D@.F]..FP | ||
| 0001e030:·9090·9040·4040·4040·293 | 0001e030:·9090·9040·4040·4040·2933·3836·3339·3730··...@@@@@)3863970 | ||
| 0001e040:·3 | 0001e040:·3238·e005·4649·0540·eb05·3f68·0517·2f05··28..FI.@..?h../. | ||
| 0001e050:·16a0·0546·660c·0000·0000·0000·f | 0001e050:·16a0·0546·660c·0000·0000·0000·f73e·4041··...Ff........>@A | ||
| 0001e060:·40a0·95a0·021b·8322·9db0·9005·5a2e·40a0··@......"....Z.@. | 0001e060:·40a0·95a0·021b·8322·9db0·9005·5a2e·40a0··@......"....Z.@. | ||
| 0001e070:·055a·07a0·055a·0b40·a095·a002·320a·518f··.Z...Z.@....2.Q. | 0001e070:·055a·07a0·055a·0b40·a095·a002·320a·518f··.Z...Z.@....2.Q. | ||
| 0001e080:·a005·5a34·b005·4762·4040·a095·a002·0fc0··..Z4..Gb@@...... | 0001e080:·a005·5a34·b005·4762·4040·a095·a002·0fc0··..Z4..Gb@@...... | ||
| 0001e090:·a2b8·a090·0548·30a0·a091·0559·9ba0·a040··.....H0....Y...@ | 0001e090:·a2b8·a090·0548·30a0·a091·0559·9ba0·a040··.....H0....Y...@ | ||
| 0001e0a0:·a090·c0b0·056b·f241·4090·9042·4041·a040··.....k.A@..B@A.@ | 0001e0a0:·a090·c0b0·056b·f241·4090·9042·4041·a040··.....k.A@..B@A.@ | ||
| 0001e0b0:·4040·40a0·95a0·0227·60a0·6fd0·4091·0559··@@@....'`.o.@..Y | 0001e0b0:·4040·40a0·95a0·0227·60a0·6fd0·4091·0559··@@@....'`.o.@..Y | ||
| 0001e0c0:·a9a0·40a0·4040·a090·9205·6bfb·a090·9205··..@.@@....k..... | 0001e0c0:·a9a0·40a0·4040·a090·9205·6bfb·a090·9205··..@.@@....k..... | ||
| Offset 7738, 157 lines modified | Offset 7738, 157 lines modified | ||
| 0001e390:·a022·6862·a022·6462·40a0·a0b0·056c·d921··."hb."db@....l.! | 0001e390:·a022·6862·a022·6462·40a0·a0b0·056c·d921··."hb."db@....l.! | ||
| 0001e3a0:·3702·3617·4ca0·d005·4762·d0e0·4040·4040··7.6.L...Gb..@@@@ | 0001e3a0:·3702·3617·4ca0·d005·4762·d0e0·4040·4040··7.6.L...Gb..@@@@ | ||
| 0001e3b0:·4005·4761·40a0·c0e0·9005·4760·392e·2f74··@.Ga@.....G`9./t | 0001e3b0:·4005·4761·40a0·c0e0·9005·4760·392e·2f74··@.Ga@.....G`9./t | ||
| 0001e3c0:·6865·6f72·6965·732f·6d69·6e69·6d69·7a61··heories/minimiza | 0001e3c0:·6865·6f72·6965·732f·6d69·6e69·6d69·7a61··heories/minimiza | ||
| 0001e3d0:·7469·6f6e·2e76·011b·9201·1bce·0100·c401··tion.v.......... | 0001e3d0:·7469·6f6e·2e76·011b·9201·1bce·0100·c401··tion.v.......... | ||
| 0001e3e0:·1b90·0547·5fb0·c391·4005·475e·b095·a091··...G_...@.G^.... | 0001e3e0:·1b90·0547·5fb0·c391·4005·475e·b095·a091··...G_...@.G^.... | ||
| 0001e3f0:·0557·5058·040a·a005·475d·9090·9005·475c··.WPX....G]....G\ | 0001e3f0:·0557·5058·040a·a005·475d·9090·9005·475c··.WPX....G]....G\ | ||
| 0001e400:·4004·0ea0·0547·6190·9090·4040·4040·402 | 0001e400:·4004·0ea0·0547·6190·9090·4040·4040·4029··@....Ga...@@@@@) | ||
| 0001e410:·3738·3732·3435·3633·e005·475a·0541·fc05··78724563..GZ.A.. | |||
| 0001e4 | 0001e410:·3732·3238·3832·3838·38e0·0547·5a05·41fc··722882888..GZ.A. | ||
| 0001e420:·0540·7905·1840·0517·b105·4777·0c00·0000··.@y..@....Gw.... | |||
| 0001e430:·0000·e93e | 0001e430:·0000·00e9·3e40·4140·a095·a002·347d·c1ff··....>@A@....4}.. | ||
| 0001e440:·275f | 0001e440:·a027·5f45·4c50·495f·35c0·a022·6862·a022··.'_ELPI_5.."hb." | ||
| 0001e450:·6240 | 0001e450:·6462·40a0·a0b0·056d·0121·3802·3617·4ca1··db@....m.!8.6.L. | ||
| 0001e460:·0547 | 0001e460:·d005·478a·d0e0·4040·4040·4005·4789·40a0··..G...@@@@@.G.@. | ||
| 0001e470:·0428·0547·84b0·c391·4005·2b7c·b0c3·9140··.(.G....@.+|...@ | |||
| 0001e4 | 0001e470:·c004·2805·4784·b0c3·9140·052b·7cb0·c391··..(.G....@.+|... | ||
| 0001e480:·4005·2e4d·b0c3·9140·053e·49b0·9505·0163··@..M...@.>I....c | |||
| 0001e490:·0433·a005·4786·9090·9005·3e4a·4004·37a0··.3..G.....>J@.7. | |||
| 0001e4a0:·0547·8a90·9090·052e·5540·043b·a005·478e··.G......U@.;..G. | |||
| 0001e4b0:·9090·9005·2b8b·a0b0·c391·4005·2ae8·b095··....+.....@.*... | |||
| 0001e4c0:·a0a0·90b0·a290·0560·cd05·6175·0561·4502··.......`..au.aE. | |||
| 0001e4d0:·18ac·c1f2·4057·044b·a005·479e·9090·9005··....@W.K..G..... | |||
| 0001e4e0:·2aef·4004·4fa0·0547·a290·9090·052b·9ca0··*.@.O..G.....+.. | |||
| 0001e4f0:·b0c3·9140·053e·6fb0·95a0·9105·578d·5804··...@.>o.....W.X. | |||
| 0001e | 0001e500:·5ba0·0547·ae90·9090·053e·7240·045f·a005··[..G.....>r@._.. | ||
| 0001e | 0001e510:·47b2·9090·9005·2baa·4004·63a0·0547·b690··G.....+.@.c..G.. | ||
| 0001e520:·9090·4040·4040·4029·3233·3836·3939·3030··..@@@@@)23869900 | |||
| 0001e530:·39e0·0547·af05·4251·0540·ce05·1895·0518··9..G..BQ.@...... | |||
| 0001e4b0:·9090·052b·8ba0·b0c3·9140·052a·e8b0·95a0··...+.....@.*.... | |||
| 0001e4c0:·a090·b0a2·9005·60cd·0561·7505·6145·0218··......`..au.aE.. | |||
| 0001e4d0:·acc1·f240·5704·4ba0·0547·9e90·9090·052a··...@W.K..G.....* | |||
| 0001e4e0:·ef40·044f·a005·47a2·9090·9005·2b9c·a0b0··.@.O..G.....+... | |||
| 0001e4f0:·c391·4005·3e6f·b095·a091·0557·8d58·045b··..@.>o.....W.X.[ | |||
| 0001e500:·a005·47ae·9090·9005·3e72·4004·5fa0·0547··..G.....>r@._..G | |||
| 0001e510:·b290·9090·052b·aa40·0463·a005·47b6·9090··.....+.@.c..G... | |||
| 0001e520:·9040·4040·4040·2931·3631·3738·3131·3239··.@@@@@)161781129 | |||
| 0001e530:·e005·47af·0542·5105·40ce·0518·9505·1806··..G..BQ.@....... | |||
| 0001e540:·0547· | 0001e540:·0605·47cc·0c00·0000·0000·00f5·3e40·4140··..G.........>@A@ | ||
| 0001e550:·a095·a002·1b83·229d·b090·055a·b540·a005··......"....Z.@.. | |||
| 0001e550:·95a0·021b·8322·9db0·9005·5ab5·40a0·055a··....."....Z.@..Z | |||
| 0001e560:·99a0·055a·9d40·a095·a002·320a·518f·a005··...Z.@....2.Q... | |||
| 0001e570:·5abb·b005·48c8·4040·a095·a002·0fc0·a2b8··Z...H.@@........ | |||
| 0001e580:·a090·0549·96a0·a091·055a·68a0·a040·a090··...I.....Zh..@.. | |||
| Max diff block lines reached; 397761/424322 bytes (93.74%) of diff not shown. | |||
| Offset 7, 25 lines modified | Offset 7, 25 lines modified | ||
| 00000060:·c3cc·25eb·7fca·42a0·a02d·616c·6c5f·7373··..%...B..-all_ss | 00000060:·c3cc·25eb·7fca·42a0·a02d·616c·6c5f·7373··..%...B..-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·301c··ct.(mathcomp@.0. | 00000080:·6374·a028·6d61·7468·636f·6d70·4090·301c··ct.(mathcomp@.0. | ||
| 00000090:·4451·2fdf·92ee·1ab6·84b5·6d3d·4d5b·82a0··DQ/.......m=M[.. | 00000090:·4451·2fdf·92ee·1ab6·84b5·6d3d·4d5b·82a0··DQ/.......m=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·39cf·19d5·e362·157e·b365·2501·aae4··.09....b.~.e%... | 000000b0:·9030·39cf·19d5·e362·157e·b365·2501·aae4··.09....b.~.e%... | ||
| 000000c0:·c3cc·a0a0·296c·616e·6775·6167·6573·a027··....)languages.' | 000000c0:·c3cc·a0a0·296c·616e·6775·6167·6573·a027··....)languages.' | ||
| 000000d0:·5265·674c·616e·6740·9030· | 000000d0:·5265·674c·616e·6740·9030·64b3·451c·e9b7··RegLang@.0d.E... | ||
| 000000e0:· | 000000e0:·b779·5e83·ccae·6918·6141·a0a0·2364·6661··.y^...i.aA..#dfa | ||
| 000000f0:·a027·5265·674c·616e·6740·9030· | 000000f0:·a027·5265·674c·616e·6740·9030·7b2c·befd··.'RegLang@.0{,.. | ||
| 00000100:· | 00000100:·13a9·267c·4e7c·5d45·ef0c·ed19·a0a0·2c6d··..&|N|]E......,m | ||
| 00000110:·696e·696d·697a·6174·696f·6ea0·2752·6567··inimization.'Reg | 00000110:·696e·696d·697a·6174·696f·6ea0·2752·6567··inimization.'Reg | ||
| 00000120:·4c61·6e67·4090·30 | 00000120:·4c61·6e67·4090·30c0·0445·515f·0b37·97a0··Lang@.0..EQ_.7.. | ||
| 00000130:· | 00000130:·3519·f6f6·3bdf·59a0·a026·7265·6765·7870··5...;.Y..®exp | ||
| 00000140:·a027·5265·674c·616e·6740·9030·0 | 00000140:·a027·5265·674c·616e·6740·9030·0891·d566··.'RegLang@.0...f | ||
| 00000150:·6091·7739·2151·0816·cfc2·d2f6·2535·2e32··`.w9!Q......%5.2 | |||
| 000001 | 00000150:·77bf·c9d1·e45d·2265·9677·fbc8·2535·2e32··w....]"e.w..%5.2 | ||
| 00000160:·2e30·a040·4045·99ea·d7a8·0cf3·413b·b653··.0.@@E......A;.S | |||
| 00000170:· | 00000170:·e3f0·27c8·f284·95a6·be00·007a·5300·001b··..'........zS... | ||
| 00000180:·7600·0060·6200·005d·79b0·d0a0·2d6d·7968··v..`b..]y...-myh | 00000180:·7600·0060·6200·005d·79b0·d0a0·2d6d·7968··v..`b..]y...-myh | ||
| 00000190:·696c·6c5f·6e65·726f·6465·a027·5265·674c··ill_nerode.'RegL | 00000190:·696c·6c5f·6e65·726f·6465·a027·5265·674c··ill_nerode.'RegL | ||
| 000001a0:·616e·6740·e090·0406·4190·a0a0·2a63·6c61··ang@....A...*cla | 000001a0:·616e·6740·e090·0406·4190·a0a0·2a63·6c61··ang@....A...*cla | ||
| 000001b0:·7373·6966·6965·7291·0800·003f·0090·0800··ssifier....?.... | 000001b0:·7373·6966·6965·7291·0800·003f·0090·0800··ssifier....?.... | ||
| 000001c0:·0043·0004·05a0·a0a0·9024·6368·6172·409b··.C.......$char@. | 000001c0:·0043·0004·05a0·a0a0·9024·6368·6172·409b··.C.......$char@. | ||
| 000001d0:·a0a0·90b0·a290·a027·6669·6e74·7970·65a0··.......'fintype. | 000001d0:·a0a0·90b0·a290·a027·6669·6e74·7970·65a0··.......'fintype. | ||
| 000001e0:·2973·7372·6566·6c65·6374·a028·6d61·7468··)ssreflect.(math | 000001e0:·2973·7372·6566·6c65·6374·a028·6d61·7468··)ssreflect.(math | ||
| Offset 1361, 18 lines modified | Offset 1361, 18 lines modified | ||
| 00005500:·a003·01f9·78fa·bc1b·5fa8·90b0·0504·7520··....x..._.....u· | 00005500:·a003·01f9·78fa·bc1b·5fa8·90b0·0504·7520··....x..._.....u· | ||
| 00005510:·0101·c841·04c9·4042·b004·6741·04ca·c040··...A..@B..gA...@ | 00005510:·0101·c841·04c9·4042·b004·6741·04ca·c040··...A..@B..gA...@ | ||
| 00005520:·b004·6941·0492·c040·b0a0·0300·0154·b5ae··..iA...@.....T.. | 00005520:·b004·6941·0492·c040·b0a0·0300·0154·b5ae··..iA...@.....T.. | ||
| 00005530:·0c93·2190·b005·044d·0409·0105·3941·04d1··..!....M....9A.. | 00005530:·0c93·2190·b005·044d·0409·0105·3941·04d1··..!....M....9A.. | ||
| 00005540:·c040·b004·bd41·a003·0001·54b5·add9·8694··.@...A....T..... | 00005540:·c040·b004·bd41·a003·0001·54b5·add9·8694··.@...A....T..... | ||
| 00005550:·90b0·04ca·04c8·0105·0640·4142·4344·4547··.........@ABCDEG | 00005550:·90b0·04ca·04c8·0105·0640·4142·4344·4547··.........@ABCDEG | ||
| 00005560:·a0a0·a02c·6d69·6e69·6d69·7a61·7469·6f6e··...,minimization | 00005560:·a0a0·a02c·6d69·6e69·6d69·7a61·7469·6f6e··...,minimization | ||
| 00005570:·a027·5265·674c·616e·6740·9030· | 00005570:·a027·5265·674c·616e·6740·9030·c004·4551··.'RegLang@.0..EQ | ||
| 00005580:·937d·7e7a·bde1·8442·824f·8131·a005·0d92··.}~z...B.O.1.... | |||
| 000055 | 00005580:·5f0b·3797·a035·19f6·f63b·df59·a005·0d92··_.7..5...;.Y.... | ||
| 00005590:·9030·0891·d566·77bf·c9d1·e45d·2265·9677··.0...fw....]"e.w | |||
| 000055a0:· | 000055a0:·fbc8·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·7fa5·e812··..N@@ABCDE@@.... | ||
| 00007be0:· | 00007be0:·b46f·18dd·e432·8288·c3a8·0368·8495·a6be··.o...2.....h.... | ||
| 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·677f·a5e8·12b4··..u......zg..... | ||
| 0000be70:· | 0000be70:·6f18·dde4·3282·88c3·a803·6800·0000·076f··o...2.....h....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:·5545·99ea·d7a8·0cf3·413b·b653·e3f0·27c8··UE......A;.S..'. | ||
| 0000bed0:· | 0000bed0:·f200·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·301c·4451·2fdf·92ee·1ab6·84b5··mp@.0.DQ/....... | 00000080:·6d70·4090·301c·4451·2fdf·92ee·1ab6·84b5··mp@.0.DQ/....... | ||
| 00000090:·6d3d·4d5b·82a0·a024·6d69·7363·a027·5265··m=M[...$misc.'Re | 00000090:·6d3d·4d5b·82a0·a024·6d69·7363·a027·5265··m=M[...$misc.'Re | ||
| 000000a0:·674c·616e·6740·9030·39cf·19d5·e362·157e··gLang@.09....b.~ | 000000a0:·674c·616e·6740·9030·39cf·19d5·e362·157e··gLang@.09....b.~ | ||
| 000000b0:·b365·2501·aae4·c3cc·a0a0·296c·616e·6775··.e%.......)langu | 000000b0:·b365·2501·aae4·c3cc·a0a0·296c·616e·6775··.e%.......)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:·64b3·451c·e9b7·b779·5e83·ccae·6918·6141··d.E....y^...i.aA | ||
| 000000e0:·a0a0·2364·6661·a027·5265·674c·616e·6740··..#dfa.'RegLang@ | 000000e0:·a0a0·2364·6661·a027·5265·674c·616e·6740··..#dfa.'RegLang@ | ||
| 000000f0:·9030· | 000000f0:·9030·7b2c·befd·13a9·267c·4e7c·5d45·ef0c··.0{,....&|N|]E.. | ||
| 00000100:· | 00000100:·ed19·2535·2e32·2e30·a040·40ca·e328·1cfe··..%5.2.0.@@..(.. | ||
| 00000110:· | 00000110:·080a·c741·37f2·8ecd·8324·7e84·95a6·be00··...A7....$~..... | ||
| 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·307b·2cbe·fd13·a926·7c4e··...p@.0{,....&|N | ||
| 00008760:· | 00008760:·7c5d·45ef·0ced·1990·40a0·4040·a0a0·95a0··|]E.....@.@@.... | ||
| 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·4091·2a6d·4bcc·a2d7·cf9f·3038·bca4··@@@.*mK.....08.. | ||
| 0000c420:· | 0000c420:·bbdd·5584·95a6·be00·0179·5c00·004e·8300··..U......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·f891·2a6d··..............*m | ||
| 00024ca0:· | 00024ca0:·4bcc·a2d7·cf9f·3038·bca4·bbdd·5500·0000··K.....08....U... | ||
| 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·fbca·e328·1cfe·080a·c741·37f2·8ecd··.....(.....A7... | ||
| 00024d00:· | 00024d00:·8324·7e00·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:·1c44·512f·df92·ee1a·b684·b56d·3d4d·5b82··.DQ/.......m=M[. | 000000b0:·1c44·512f·df92·ee1a·b684·b56d·3d4d·5b82··.DQ/.......m=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·309f·74f3·5c6d·3b16··egLang@.0.t.\m;. | 000000d0:·6567·4c61·6e67·4090·309f·74f3·5c6d·3b16··egLang@.0.t.\m;. | ||
| 000000e0:·d06d·23ea·556f·b9e1·d7a0·a024·6d69·7363··.m#.Uo.....$misc | 000000e0:·d06d·23ea·556f·b9e1·d7a0·a024·6d69·7363··.m#.Uo.....$misc | ||
| 000000f0:·a027·5265·674c·616e·6740·9030·39cf·19d5··.'RegLang@.09... | 000000f0:·a027·5265·674c·616e·6740·9030·39cf·19d5··.'RegLang@.09... | ||
| 00000100:·e362·157e·b365·2501·aae4·c3cc·a0a0·296c··.b.~.e%.......)l | 00000100:·e362·157e·b365·2501·aae4·c3cc·a0a0·296c··.b.~.e%.......)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·64b3·451c·e9b7·b779·5e83·ccae··g@.0d.E....y^... | ||
| 00000130:· | 00000130:·6918·6141·a0a0·2364·6661·a027·5265·674c··i.aA..#dfa.'RegL | ||
| 00000140:·616e·6740·9030· | 00000140:·616e·6740·9030·7b2c·befd·13a9·267c·4e7c··ang@.0{,....&|N| | ||
| 00000150:· | 00000150:·5d45·ef0c·ed19·a0a0·236e·6661·a027·5265··]E......#nfa.'Re | ||
| 00000160:·674c·616e·6740·9030· | 00000160:·674c·616e·6740·9030·912a·6d4b·cca2·d7cf··gLang@.0.*mK.... | ||
| 00000170:· | 00000170:·9f30·38bc·a4bb·dd55·2535·2e32·2e30·a040··.08....U%5.2.0.@ | ||
| 00000180:·40 | 00000180:·4049·3b0d·4971·9b8f·37ca·acc2·061d·2866··@I;.Iq..7.....(f | ||
| 00000190:· | 00000190:·6884·95a6·be00·01dd·5200·0072·8a00·0186··h.......R..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·3091·2a6d·4bcc·a2d7·cf9f·3038··ng@.0.*mK.....08 | ||
| 00007690:· | 00007690:·bca4·bbdd·55a0·a02a·7365·746f·6964·5f6c··....U..*setoid_l | ||
| 000076a0:·6571·a027·5265·674c·616e·6740·9030·9f74··eq.'RegLang@.0.t | 000076a0:·6571·a027·5265·674c·616e·6740·9030·9f74··eq.'RegLang@.0.t | ||
| 000076b0:·f35c·6d3b·16d0·6d23·ea55·6fb9·e1d7·9040··.\m;..m#.Uo....@ | 000076b0:·f35c·6d3b·16d0·6d23·ea55·6fb9·e1d7·9040··.\m;..m#.Uo....@ | ||
| 000076c0:·a0a0·95a0·021d·041a·fca0·40a0·a040·2456··..........@..@$V | 000076c0:·a0a0·95a0·021d·041a·fca0·40a0·a040·2456··..........@..@$V | ||
| 000076d0:·6f69·64c0·a0a0·4040·4040·90a0·d0a0·a040··oid...@@@@.....@ | 000076d0:·6f69·64c0·a0a0·4040·4040·90a0·d0a0·a040··oid...@@@@.....@ | ||
| 000076e0:·4040·4004·0aa0·a0a0·4024·566f·6964·4040··@@@.....@$Void@@ | 000076e0:·4040·4004·0aa0·a0a0·4024·566f·6964·4040··@@@.....@$Void@@ | ||
| 000076f0:·4040·90a0·40a0·a094·0406·4040·a095·a002··@@..@.....@@.... | 000076f0:·4040·90a0·40a0·a094·0406·4040·a095·a002··@@..@.....@@.... | ||
| 00007700:·1d04·1afc·a040·a0a0·4023·4570·73c0·a0a0··.....@..@#Eps... | 00007700:·1d04·1afc·a040·a0a0·4023·4570·73c0·a0a0··.....@..@#Eps... | ||
| Offset 2130, 15 lines modified | Offset 2130, 15 lines modified | ||
| 00008510:·a0c0·e090·2e52·6567·4c61·6e67·2e72·6567··.....RegLang.reg | 00008510:·a0c0·e090·2e52·6567·4c61·6e67·2e72·6567··.....RegLang.reg | ||
| 00008520:·6578·7033·2e2f·7468·656f·7269·6573·2f72··exp3./theories/r | 00008520:·6578·7033·2e2f·7468·656f·7269·6573·2f72··exp3./theories/r | ||
| 00008530:·6567·6578·702e·7601·0334·0103·7f61·0103··egexp.v..4...a.. | 00008530:·6567·6578·702e·7601·0334·0103·7f61·0103··egexp.v..4...a.. | ||
| 00008540:·34c0·4040·4041·b0c3·9140·2f6c·6f63·616c··4.@@@A...@/local | 00008540:·34c0·4040·4041·b0c3·9140·2f6c·6f63·616c··4.@@@A...@/local | ||
| 00008550:·2d63·616e·6f6e·6963·616c·b095·a091·0448··-canonical.....H | 00008550:·2d63·616e·6f6e·6963·616c·b095·a091·0448··-canonical.....H | ||
| 00008560:·5804·0da0·2254·7990·9090·9028·636f·6e73··X..."Ty....(cons | 00008560:·5804·0da0·2254·7990·9090·9028·636f·6e73··X..."Ty....(cons | ||
| 00008570:·7461·6e74·4004·14a0·0407·9090·9040·4040··tant@........@@@ | 00008570:·7461·6e74·4004·14a0·0407·9090·9040·4040··tant@........@@@ | ||
| 00008580:·4040·293 | 00008580:·4040·2931·3431·3130·3438·3537·e0d0·d0d0··@@)141104857.... | ||
| 00008590:·d040·2540·6361·7374·a0b0·b490·a021·5422··.@%@cast.....!T" | 00008590:·d040·2540·6361·7374·a0b0·b490·a021·5422··.@%@cast.....!T" | ||
| 000085a0:·6c70·40b0·b490·a022·5459·0406·40b0·c391··lp@...."TY..@... | 000085a0:·6c70·40b0·b490·a022·5459·0406·40b0·c391··lp@...."TY..@... | ||
| 000085b0:·4023·6c65·74b0·95a0·9024·6361·7374·53e0··@#let....$castS. | 000085b0:·4023·6c65·74b0·95a0·9024·6361·7374·53e0··@#let....$castS. | ||
| 000085c0:·4030·636f·712d·6275·696c·7469·6e2e·656c··@0coq-builtin.el | 000085c0:·4030·636f·712d·6275·696c·7469·6e2e·656c··@0coq-builtin.el | ||
| 000085d0:·7069·0124·e801·24ee·0100·e101·24cf·a004··pi.$..$.....$... | 000085d0:·7069·0124·e801·24ee·0100·e101·24cf·a004··pi.$..$.....$... | ||
| 000085e0:·2990·40a0·b0a1·9004·1704·12e0·4004·0801··).@.........@... | 000085e0:·2990·40a0·b0a1·9004·1704·12e0·4004·0801··).@.........@... | ||
| 000085f0:·24ef·0124·f101·00e1·0124·cfa0·0430·9040··$..$.....$...0.@ | 000085f0:·24ef·0124·f101·00e1·0124·cfa0·0430·9040··$..$.....$...0.@ | ||
| Offset 6877, 32 lines modified | Offset 6877, 32 lines modified | ||
| 0001adc0:·0105·58d0·4005·1708·a0a0·9040·a090·40a0··..X.@......@..@. | 0001adc0:·0105·58d0·4005·1708·a0a0·9040·a090·40a0··..X.@......@..@. | ||
| 0001add0:·9041·a090·4140·e040·0516·6901·01ac·0101··.A..A@.@..i..... | 0001add0:·9041·a090·4140·e040·0516·6901·01ac·0101··.A..A@.@..i..... | ||
| 0001ade0:·d54c·0101·acd0·4005·1707·a0a0·9040·a090··.L....@......@.. | 0001ade0:·d54c·0101·acd0·4005·1707·a0a0·9040·a090··.L....@......@.. | ||
| 0001adf0:·41a0·9041·40e0·4005·1672·0101·d701·0203··A..A@.@..r...... | 0001adf0:·41a0·9041·40e0·4005·1672·0101·d701·0203··A..A@.@..r...... | ||
| 0001ae00:·4d01·01d7·d040·0517·05a0·a090·40a0·9041··M....@......@..A | 0001ae00:·4d01·01d7·d040·0517·05a0·a090·40a0·9041··M....@......@..A | ||
| 0001ae10:·40e0·4005·1679·0102·2a01·0242·4f01·022a··@.@..y..*..BO..* | 0001ae10:·40e0·4005·1679·0102·2a01·0242·4f01·022a··@.@..y..*..BO..* | ||
| 0001ae20:·4041·4243·4445·4647·4849·4b4c·0546·140c··@ABCDEFGHIKL.F.. | 0001ae20:·4041·4243·4445·4647·4849·4b4c·0546·140c··@ABCDEFGHIKL.F.. | ||
| 0001ae30:·0000·0000·0000·e | 0001ae30:·0000·0000·0000·e93e·4041·40a0·95a0·0234··.......>@A@....4 | ||
| 0001ae40:·7dc1·ffa0·275f·454c·5049·5f32·c0a0·2268··}...'_ELPI_2.."h | 0001ae40:·7dc1·ffa0·275f·454c·5049·5f32·c0a0·2268··}...'_ELPI_2.."h | ||
| 0001ae50:·62a0·2264·6240·a0a0·b005·625b·2132·0239··b."db@....b[!2.9 | 0001ae50:·62a0·2264·6240·a0a0·b005·625b·2132·0239··b."db@....b[!2.9 | ||
| 0001ae60:·3d67·0ed0·0546·27d0·e040·4040·4040·0546··=g...F'..@@@@@.F | 0001ae60:·3d67·0ed0·0546·27d0·e040·4040·4040·0546··=g...F'..@@@@@.F | ||
| 0001ae70:·2640·a0c0·0546·2505·4621·b0c3·9140·052a··&@...F%.F!...@.* | 0001ae70:·2640·a0c0·0546·2505·4621·b0c3·9140·052a··&@...F%.F!...@.* | ||
| 0001ae80:·19b0·c391·4005·2cea·b0c3·9140·0529·73b0··....@.,....@.)s. | 0001ae80:·19b0·c391·4005·2cea·b0c3·9140·0529·73b0··....@.,....@.)s. | ||
| 0001ae90:·95a0·055b·b457·0546·31a0·0546·2490·9090··...[.W.F1..F$... | 0001ae90:·95a0·055b·b457·0546·31a0·0546·2490·9090··...[.W.F1..F$... | ||
| 0001aea0:·0529·7540·0546·35a0·0546·2890·9090·052c··.)u@.F5..F(...., | 0001aea0:·0529·7540·0546·35a0·0546·2890·9090·052c··.)u@.F5..F(...., | ||
| 0001aeb0:·f340·0546·39a0·0546·2c90·9090·052a·29a0··.@.F9..F,....*). | 0001aeb0:·f340·0546·39a0·0546·2c90·9090·052a·29a0··.@.F9..F,....*). | ||
| 0001aec0:·b0c3·9140·0529·86b0·95a0·0546·9a57·0546··...@.).....F.W.F | 0001aec0:·b0c3·9140·0529·86b0·95a0·0546·9a57·0546··...@.).....F.W.F | ||
| 0001aed0:·44a0·0546·3790·9090·0529·8840·0546·48a0··D..F7....).@.FH. | 0001aed0:·44a0·0546·3790·9090·0529·8840·0546·48a0··D..F7....).@.FH. | ||
| 0001aee0:·0546·3b90·9090·052a·35a0·b0c3·9140·053d··.F;....*5....@.= | 0001aee0:·0546·3b90·9090·052a·35a0·b0c3·9140·053d··.F;....*5....@.= | ||
| 0001aef0:·08b0·95a0·9105·5ba2·5805·4654·a005·4647··......[.X.FT..FG | 0001aef0:·08b0·95a0·9105·5ba2·5805·4654·a005·4647··......[.X.FT..FG | ||
| 0001af00:·9090·9005·3d0b·4005·4658·a005·464b·9090··....=.@.FX..FK.. | 0001af00:·9090·9005·3d0b·4005·4658·a005·464b·9090··....=.@.FX..FK.. | ||
| 0001af10:·9005·2a43·4005·465c·a005·464f·9090·9040··..*C@.F\..FO...@ | 0001af10:·9005·2a43·4005·465c·a005·464f·9090·9040··..*C@.F\..FO...@ | ||
| 0001af20:·4040·4040·293 | 0001af20:·4040·4040·2937·3639·3935·3738·3333·e005··@@@@)769957833.. | ||
| 0001af30:·4648·0540·ea05·3f67·0517·2e05·169f·0546··FH.@..?g.......F | 0001af30:·4648·0540·ea05·3f67·0517·2e05·169f·0546··FH.@..?g.......F | ||
| 0001af40:·650c·0000·0000·00 | 0001af40:·650c·0000·0000·0040·fa3e·4041·40a0·95a0··e......@.>@A@... | ||
| 0001af50:·020f·c0a2·b8a0·a2e0·4140·4040·4040·9042··........A@@@@@.B | 0001af50:·020f·c0a2·b8a0·a2e0·4140·4040·4040·9042··........A@@@@@.B | ||
| 0001af60:·a0a0·9105·5b2e·a0a0·40a0·40a0·4040·4040··....[...@.@.@@@@ | 0001af60:·a0a0·9105·5b2e·a0a0·40a0·40a0·4040·4040··....[...@.@.@@@@ | ||
| 0001af70:·a095·a002·0fc0·a2b8·a0a2·040e·9042·a0a0··.............B.. | 0001af70:·a095·a002·0fc0·a2b8·a0a2·040e·9042·a0a0··.............B.. | ||
| 0001af80:·9105·5b37·a0a0·40a0·40a0·4040·4040·a095··..[7..@.@.@@@@.. | 0001af80:·9105·5b37·a0a0·40a0·40a0·4040·4040·a095··..[7..@.@.@@@@.. | ||
| 0001af90:·a002·0fc0·a2b8·a0a2·041b·9043·a0a0·93a0··...........C.... | 0001af90:·a002·0fc0·a2b8·a0a2·041b·9043·a0a0·93a0··...........C.... | ||
| 0001afa0:·055b·3c45·a0a0·40a0·90c0·b005·62bf·4140··.[<E..@.....b.A@ | 0001afa0:·055b·3c45·a0a0·40a0·90c0·b005·62bf·4140··.[<E..@.....b.A@ | ||
| 0001afb0:·4041·41a0·40a0·4040·4040·a095·a002·0fc0··@AA.@.@@@@...... | 0001afb0:·4041·41a0·40a0·4040·4040·a095·a002·0fc0··@AA.@.@@@@...... | ||
| Offset 7641, 32 lines modified | Offset 7641, 32 lines modified | ||
| 0001dd80:·0204·4ece·b4a0·2133·b040·d005·55ef·d0e0··..N...!3.@..U... | 0001dd80:·0204·4ece·b4a0·2133·b040·d005·55ef·d0e0··..N...!3.@..U... | ||
| 0001dd90:·4040·4040·4005·55ee·40a0·c005·55ed·0555··@@@@@.U.@...U..U | 0001dd90:·4040·4040·4005·55ee·40a0·c005·55ed·0555··@@@@@.U.@...U..U | ||
| 0001dda0:·e9b0·c391·4005·3c70·b0c3·9140·054c·abb0··....@.<p...@.L.. | 0001dda0:·e9b0·c391·4005·3c70·b0c3·9140·054c·abb0··....@.<p...@.L.. | ||
| 0001ddb0:·9505·55ea·0555·f5a0·0555·e890·9090·054c··..U..U...U.....L | 0001ddb0:·9505·55ea·0555·f5a0·0555·e890·9090·054c··..U..U...U.....L | ||
| 0001ddc0:·ac40·0555·f9a0·0555·ec90·9090·053c·78a0··.@.U...U.....<x. | 0001ddc0:·ac40·0555·f9a0·0555·ec90·9090·053c·78a0··.@.U...U.....<x. | ||
| 0001ddd0:·b095·a005·5601·4405·5601·a005·55f4·9090··....V.D.V...U... | 0001ddd0:·b095·a005·5601·4405·5601·a005·55f4·9090··....V.D.V...U... | ||
| 0001dde0:·9005·3c7e·4005·5605·a005·55f8·9090·9040··..<~@.V...U....@ | 0001dde0:·9005·3c7e·4005·5605·a005·55f8·9090·9040··..<~@.V...U....@ | ||
| 0001ddf0:·4040·4040·293 | 0001ddf0:·4040·4040·2931·3039·3737·3638·3531·e005··@@@@)109776851.. | ||
| 0001de00:·55f1·0550·9305·4f10·0526·d705·2648·0556··U..P..O..&..&H.V | 0001de00:·55f1·0550·9305·4f10·0526·d705·2648·0556··U..P..O..&..&H.V | ||
| 0001de10:·0e0c·0000·0000·0080·e | 0001de10:·0e0c·0000·0000·0080·ed3e·a040·40a0·95a0··.........>.@@... | ||
| 0001de20:·0204·4ece·b4a0·2134·b040·d005·561a·d0e0··..N...!4.@..V... | 0001de20:·0204·4ece·b4a0·2134·b040·d005·561a·d0e0··..N...!4.@..V... | ||
| 0001de30:·4040·4040·4005·5619·40a0·c005·5618·0556··@@@@@.V.@...V..V | 0001de30:·4040·4040·4005·5619·40a0·c005·5618·0556··@@@@@.V.@...V..V | ||
| 0001de40:·14b0·c391·4005·3c9b·b0c3·9140·054c·d6b0··....@.<....@.L.. | 0001de40:·14b0·c391·4005·3c9b·b0c3·9140·054c·d6b0··....@.<....@.L.. | ||
| 0001de50:·9505·0fce·0556·20a0·0556·1390·9090·054c··.....V·..V.....L | 0001de50:·9505·0fce·0556·20a0·0556·1390·9090·054c··.....V·..V.....L | ||
| 0001de60:·d740·0556·24a0·0556·1790·9090·053c·a3a0··.@.V$..V.....<.. | 0001de60:·d740·0556·24a0·0556·1790·9090·053c·a3a0··.@.V$..V.....<.. | ||
| 0001de70:·b095·042b·0556·2ba0·0556·1e90·9090·053c··...+.V+..V.....< | 0001de70:·b095·042b·0556·2ba0·0556·1e90·9090·053c··...+.V+..V.....< | ||
| 0001de80:·a840·0556·2fa0·0556·2290·9090·4040·4040··.@.V/..V"...@@@@ | 0001de80:·a840·0556·2fa0·0556·2290·9090·4040·4040··.@.V/..V"...@@@@ | ||
| 0001de90:·4029·3 | 0001de90:·4029·3130·3937·3736·3835·31e0·0556·1b05··@)109776851..V.. | ||
| 0001dea0:·50bd·054f·3a05·2701·0526·7205·5638·0c00··P..O:.'..&r.V8.. | 0001dea0:·50bd·054f·3a05·2701·0526·7205·5638·0c00··P..O:.'..&r.V8.. | ||
| 0001deb0:·0000·0000·00c | 0001deb0:·0000·0000·00c8·3ea0·4040·a095·a002·347d··......>.@@....4} | ||
| 0001dec0:·c1ff·a027·5f45·4c50·495f·33c0·a022·6862··...'_ELPI_3.."hb | 0001dec0:·c1ff·a027·5f45·4c50·495f·33c0·a022·6862··...'_ELPI_3.."hb | ||
| 0001ded0:·a022·6462·40a0·a0b0·0572·8004·5e02·393d··."db@....r..^.9= | 0001ded0:·a022·6462·40a0·a0b0·0572·8004·5e02·393d··."db@....r..^.9= | ||
| 0001dee0:·670f·045c·a0a0·b005·7283·0436·0239·3d67··g..\....r..6.9=g | 0001dee0:·670f·045c·a0a0·b005·7283·0436·0239·3d67··g..\....r..6.9=g | ||
| 0001def0:·1004·3440·4240·400 | 0001def0:·1004·3440·4240·4008·91d5·6677·bfc9·d1e4··..4@B@@...fw.... | ||
| 0001df00:·5 | 0001df00:·5d22·6596·77fb·c884·95a6·be00·023a·df00··]"e.w........:.. | ||
| 0001df10:·0077·bf00·018e·5900·018c·7208·0000·9700··.w....Y...r..... | 0001df10:·0077·bf00·018e·5900·018c·7208·0000·9700··.w....Y...r..... | ||
| 0001df20:·90a0·b7a0·9022·6531·409b·a0a0·90b0·90a0··....."e1@....... | 0001df20:·90a0·b7a0·9022·6531·409b·a0a0·90b0·90a0··....."e1@....... | ||
| 0001df30:·2672·6567·6578·70a0·2752·6567·4c61·6e67··®exp.'RegLang | 0001df30:·2672·6567·6578·70a0·2752·6567·4c61·6e67··®exp.'RegLang | ||
| 0001df40:·4004·0302·0ae4·cbd9·40a0·8080·b7a0·9022··@.......@......" | 0001df40:·4004·0302·0ae4·cbd9·40a0·8080·b7a0·9022··@.......@......" | ||
| 0001df50:·6532·4004·0fa9·9aa0·90b0·040f·2b72·6567··e2@.........+reg | 0001df50:·6532·4004·0fa9·9aa0·90b0·040f·2b72·6567··e2@.........+reg | ||
| 0001df60:·6578·705f·7265·6374·0238·4ceb·0204·0b08··exp_rect.8L..... | 0001df60:·6578·705f·7265·6374·0238·4ceb·0204·0b08··exp_rect.8L..... | ||
| 0001df70:·0000·2700·b704·1a04·17b6·a090·2178·4004··..'.........!x@. | 0001df70:·0000·2700·b704·1a04·17b6·a090·2178·4004··..'.........!x@. | ||
| Offset 16935, 17 lines modified | Offset 16935, 17 lines modified | ||
| 00042260:·0129·0201·2902·002d·0104·1302·8c14·3701··.)..)..-......7. | 00042260:·0129·0201·2902·002d·0104·1302·8c14·3701··.)..)..-......7. | ||
| 00042270:·2137·0226·022d·0006·3703·3a00·8c00·2d01··!7.&.-..7.:...-. | 00042270:·2137·0226·022d·0006·3703·3a00·8c00·2d01··!7.&.-..7.:...-. | ||
| 00042280:·0c0a·3701·2137·0221·3a00·2901·1437·0121··..7.!7.!:.)..7.! | 00042280:·0c0a·3701·2137·0221·3a00·2901·1437·0121··..7.!7.!:.)..7.! | ||
| 00042290:·3702·2602·8028·68f0·0c1c·280c·200c·9098··7.&..(h...(.·... | 00042290:·3702·2602·8028·68f0·0c1c·280c·200c·9098··7.&..(h...(.·... | ||
| 000422a0:·b004·7741·45d7·1389·6e53·6d3a·230e·400d··..wAE...nSm:#.@. | 000422a0:·b004·7741·45d7·1389·6e53·6d3a·230e·400d··..wAE...nSm:#.@. | ||
| Max diff block lines reached; 1026/11035 bytes (9.30%) of diff not shown. | |||
| Offset 12, 25 lines modified | Offset 12, 25 lines modified | ||
| 000000b0:·6174·6863·6f6d·7040·9030·1c44·512f·df92··athcomp@.0.DQ/.. | 000000b0:·6174·6863·6f6d·7040·9030·1c44·512f·df92··athcomp@.0.DQ/.. | ||
| 000000c0:·ee1a·b684·b56d·3d4d·5b82·a0a0·246d·6973··.....m=M[...$mis | 000000c0:·ee1a·b684·b56d·3d4d·5b82·a0a0·246d·6973··.....m=M[...$mis | ||
| 000000d0:·63a0·2752·6567·4c61·6e67·4090·3039·cf19··c.'RegLang@.09.. | 000000d0:·63a0·2752·6567·4c61·6e67·4090·3039·cf19··c.'RegLang@.09.. | ||
| 000000e0:·d5e3·6215·7eb3·6525·01aa·e4c3·cca0·a02a··..b.~.e%.......* | 000000e0:·d5e3·6215·7eb3·6525·01aa·e4c3·cca0·a02a··..b.~.e%.......* | ||
| 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·9f74·f35c·6d3b·16d0·6d23··ang@.0.t.\m;..m# | 00000100:·616e·6740·9030·9f74·f35c·6d3b·16d0·6d23··ang@.0.t.\m;..m# | ||
| 00000110:·ea55·6fb9·e1d7·a0a0·296c·616e·6775·6167··.Uo.....)languag | 00000110:·ea55·6fb9·e1d7·a0a0·296c·616e·6775·6167··.Uo.....)languag | ||
| 00000120:·6573·a027·5265·674c·616e·6740·9030· | 00000120:·6573·a027·5265·674c·616e·6740·9030·64b3··es.'RegLang@.0d. | ||
| 00000130:· | 00000130:·451c·e9b7·b779·5e83·ccae·6918·6141·a0a0··E....y^...i.aA.. | ||
| 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:·7b2c·befd·13a9·267c·4e7c·5d45·ef0c·ed19··{,....&|N|]E.... | ||
| 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·7fa5·e812··.'RegLang@.0.... | ||
| 00000180:· | 00000180:·b46f·18dd·e432·8288·c3a8·0368·a0a0·2774··.o...2.....h..'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·4470·eda6·c2a4·c278·970a·8dc0·3aed··.0Dp.....x....:. | |||
| 000001b0:·7f69·2535·2e32·2e30·a040·4020·e067·5215··.i%5.2.0.@@·.gR. | |||
| 000001 | 000001a0:·9030·1ca2·b1aa·2068·0bf1·3553·e59f·62b2··.0....·h..5S..b. | ||
| 000001b0:·6dd7·2535·2e32·2e30·a040·4053·06de·8ec0··m.%5.2.0.@@S.... | |||
| 000001c0:·cff0·8d55·9e6c·1300·9dd9·3b84·95a6·be00··...U.l....;..... | |||
| 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·3091·2f9e·43ed·2b4f·1a12·ccdf·b8e1··@.0./.C.+O...... | 000070a0:·4090·3091·2f9e·43ed·2b4f·1a12·ccdf·b8e1··@.0./.C.+O...... | ||
| 000070b0:·f9eb·0aa0·0503·be90·30 | 000070b0:·f9eb·0aa0·0503·be90·301c·a2b1·aa20·680b··........0....·h. | ||
| 000070c0:· | 000070c0:·f135·53e5·9f62·b26d·d790·40a0·4040·a0a0··.5S..b.m..@.@@.. | ||
| 000070d0:·95a0·0232·0a51·8fa0·0515·f9b0·9241·4040··...2.Q.......A@@ | 000070d0:·95a0·0232·0a51·8fa0·0515·f9b0·9241·4040··...2.Q.......A@@ | ||
| 000070e0:·a095·a002·0fc0·a2b8·a090·e041·4040·4040··...........A@@@@ | 000070e0:·a095·a002·0fc0·a2b8·a090·e041·4040·4040··...........A@@@@ | ||
| 000070f0:·40a0·a091·90b0·0516·0a05·1606·0225·1e7e··@............%.~ | 000070f0:·40a0·a091·90b0·0516·0a05·1606·0225·1e7e··@............%.~ | ||
| 00007100:·27a0·a040·a090·c0b0·0516·0441·4091·9043··'..@.......A@..C | 00007100:·27a0·a040·a090·c0b0·0516·0441·4091·9043··'..@.......A@..C | ||
| 00007110:·4041·a040·a040·a040·4040·40a0·95a0·0227··@A.@.@.@@@@....' | 00007110:·4041·a040·a040·a040·4040·40a0·95a0·0227··@A.@.@.@@@@....' | ||
| 00007120:·60a0·6fd0·4091·0412·a0a0·2a62·6f6f·6c5f··`.o.@.....*bool_ | 00007120:·60a0·6fd0·4091·0412·a0a0·2a62·6f6f·6c5f··`.o.@.....*bool_ | ||
| 00007130:·7363·6f70·6540·a0a0·2a74·7970·655f·7363··scope@..*type_sc | 00007130:·7363·6f70·6540·a0a0·2a74·7970·655f·7363··scope@..*type_sc | ||
| Offset 2606, 16 lines modified | Offset 2606, 16 lines modified | ||
| 0000a2d0:·6fd0·4091·0410·a040·a040·40a0·9092·0520··o.@....@.@@....· | 0000a2d0:·6fd0·4091·0410·a040·a040·40a0·9092·0520··o.@....@.@@....· | ||
| 0000a2e0:·c7a0·9092·0515·b640·d0d0·d040·40a0·0510··.......@...@@... | 0000a2e0:·c7a0·9092·0515·b640·d0d0·d040·40a0·0510··.......@...@@... | ||
| 0000a2f0:·7140·4041·41a0·0510·6f40·d040·0510·6ca0··q@@AA...o@.@..l. | 0000a2f0:·7140·4041·41a0·0510·6f40·d040·0510·6ca0··q@@AA...o@.@..l. | ||
| 0000a300:·0510·6540·4041·4205·1061·a005·1060·40d0··..e@@AB..a...`@. | 0000a300:·0510·6540·4041·4205·1061·a005·1060·40d0··..e@@AB..a...`@. | ||
| 0000a310:·d040·0510·5fa0·0510·5a40·4041·0510·56a0··.@.._...Z@@A..V. | 0000a310:·d040·0510·5fa0·0510·5a40·4041·0510·56a0··.@.._...Z@@A..V. | ||
| 0000a320:·0510·4b40·d040·0510·49a0·0510·4440·d040··..K@.@..I...D@.@ | 0000a320:·0510·4b40·d040·0510·49a0·0510·4440·d040··..K@.@..I...D@.@ | ||
| 0000a330:·0510·41a0·0510·3c40·d040·0510·39a0·0510··..A...<@.@..9... | 0000a330:·0510·41a0·0510·3c40·d040·0510·39a0·0510··..A...<@.@..9... | ||
| 0000a340:·3340·4041·4243·4445·4040· | 0000a340:·3340·4041·4243·4445·4040·3b5a·5b31·a8c4··3@@ABCDE@@;Z[1.. | ||
| 0000a350:· | 0000a350:·f1fc·e2d7·b32b·0965·0367·8495·a6be·0002··.....+.e.g...... | ||
| 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·7f3b·5a5b··.............;Z[ | ||
| 00030e30:· | 00030e30:·31a8·c4f1·fce2·d7b3·2b09·6503·6700·0000··1.......+.e.g... | ||
| 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·ab53·06de·8ec0·cff0·8d55·9e6c·1300··...S.......U.l.. | ||
| 00030e90:· | 00030e90:·9dd9·3b00·0000·0976·6d6c·6962·7261·7279··..;....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:·42a0·a02d·616c·6c5f·7373·7265·666c·6563··B..-all_ssreflec | 00000060:·42a0·a02d·616c·6c5f·7373·7265·666c·6563··B..-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·301c·4451·2fdf·92ee··thcomp@.0.DQ/... | 00000080:·7468·636f·6d70·4090·301c·4451·2fdf·92ee··thcomp@.0.DQ/... | ||
| 00000090:·1ab6·84b5·6d3d·4d5b·82a0·a024·6d69·7363··....m=M[...$misc | 00000090:·1ab6·84b5·6d3d·4d5b·82a0·a024·6d69·7363··....m=M[...$misc | ||
| 000000a0:·a027·5265·674c·616e·6740·9030·39cf·19d5··.'RegLang@.09... | 000000a0:·a027·5265·674c·616e·6740·9030·39cf·19d5··.'RegLang@.09... | ||
| 000000b0:·e362·157e·b365·2501·aae4·c3cc·a0a0·296c··.b.~.e%.......)l | 000000b0:·e362·157e·b365·2501·aae4·c3cc·a0a0·296c··.b.~.e%.......)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·64b3·451c·e9b7·b779·5e83·ccae··g@.0d.E....y^... | ||
| 000000e0:· | 000000e0:·6918·6141·a0a0·2364·6661·a027·5265·674c··i.aA..#dfa.'RegL | ||
| 000000f0:·616e·6740·9030· | 000000f0:·616e·6740·9030·7b2c·befd·13a9·267c·4e7c··ang@.0{,....&|N| | ||
| 00000100:· | 00000100:·5d45·ef0c·ed19·a0a0·2672·6567·6578·70a0··]E......®exp. | ||
| 00000110:·2752·6567·4c61·6e67·4090·300 | 00000110:·2752·6567·4c61·6e67·4090·3008·91d5·6677··'RegLang@.0...fw | ||
| 00000120:· | 00000120:·bfc9·d1e4·5d22·6596·77fb·c8a0·a02d·6d79··....]"e.w....-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·307f·a5e8·12b4·6f18·dde4··Lang@.0.....o... | ||
| 00000150:· | 00000150:·3282·88c3·a803·6825·352e·322e·30a0·4040··2.....h%5.2.0.@@ | ||
| 00000160:· | 00000160:·5d48·97d4·49e8·7fab·8d25·e3ae·672c·99a7··]H..I....%..g,.. | ||
| 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·307f·a5e8·12b4·6f18·dde4·3282··ng@.0.....o...2. | ||
| 00005770:· | 00005770:·88c3·a803·6890·40a0·4040·a0a0·95a0·021c··....h.@.@@...... | ||
| 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:·401c·a2b1·aa20·680b·f135·53e5·9f62·b26d··@....·h..5S..b.m | ||
| 00007de0:· | 00007de0:·d784·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:·1ca2·b1aa·2068·0bf1·3553·e59f·62b2·6dd7··....·h..5S..b.m. | ||
| 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·5d48·97d4·49e8·7fab·8d25··.....P]H..I....% | ||
| 000157c0:· | 000157c0:·e3ae·672c·99a7·0000·0009·766d·6c69·6272··..g,......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·301c·4451·2fdf·92ee·1ab6··comp@.0.DQ/..... | 00000080:·636f·6d70·4090·301c·4451·2fdf·92ee·1ab6··comp@.0.DQ/..... | ||
| 00000090:·84b5·6d3d·4d5b·82a0·a024·6d69·7363·a027··..m=M[...$misc.' | 00000090:·84b5·6d3d·4d5b·82a0·a024·6d69·7363·a027··..m=M[...$misc.' | ||
| 000000a0:·5265·674c·616e·6740·9030·39cf·19d5·e362··RegLang@.09....b | 000000a0:·5265·674c·616e·6740·9030·39cf·19d5·e362··RegLang@.09....b | ||
| 000000b0:·157e·b365·2501·aae4·c3cc·a0a0·296c·616e··.~.e%.......)lan | 000000b0:·157e·b365·2501·aae4·c3cc·a0a0·296c·616e··.~.e%.......)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·64b3·451c·e9b7·b779·5e83·ccae·6918··.0d.E....y^...i. | ||
| 000000e0:· | 000000e0:·6141·a0a0·236e·6661·a027·5265·674c·616e··aA..#nfa.'RegLan | ||
| 000000f0:·6740·9030· | 000000f0:·6740·9030·912a·6d4b·cca2·d7cf·9f30·38bc··g@.0.*mK.....08. | ||
| 00000100:· | 00000100:·a4bb·dd55·a0a0·2774·776f·5f77·6179·a027··...U..'two_way.' | ||
| 00000110:·5265·674c·616e·6740·9030· | 00000110:·5265·674c·616e·6740·9030·1ca2·b1aa·2068··RegLang@.0....·h | ||
| 00000120:·c278·970a·8dc0·3aed·7f69·2535·2e32·2e30··.x....:..i%5.2.0 | |||
| 000001 | 00000120:·0bf1·3553·e59f·62b2·6dd7·2535·2e32·2e30··..5S..b.m.%5.2.0 | ||
| 00000130:·a040·4068·8d79·023b·be9e·012b·543d·5912··.@@h.y.;...+T=Y. | |||
| 00000140:· | 00000140:·9bff·b184·95a6·be00·004a·9600·000f·5c00··.........J....\. | ||
| 00000150:·0036·1700·0033·52b0·d0a0·2576·6172·6469··.6...3R...%vardi | 00000150:·0036·1700·0033·52b0·d0a0·2576·6172·6469··.6...3R...%vardi | ||
| 00000160:·a027·5265·674c·616e·6740·e090·0406·4190··.'RegLang@....A. | 00000160:·a027·5265·674c·616e·6740·e090·0406·4190··.'RegLang@....A. | ||
| 00000170:·a0a0·2562·7369·6d70·9008·0000·2700·40a0··..%bsimp....'.@. | 00000170:·a0a0·2562·7369·6d70·9008·0000·2700·40a0··..%bsimp....'.@. | ||
| 00000180:·8080·91a9·9ca0·a0a0·90b0·90a0·2944·6174··............)Dat | 00000180:·8080·91a9·9ca0·a0a0·90b0·90a0·2944·6174··............)Dat | ||
| 00000190:·6174·7970·6573·a024·496e·6974·a023·436f··atypes.$Init.#Co | 00000190:·6174·7970·6573·a024·496e·6974·a023·436f··atypes.$Init.#Co | ||
| 000001a0:·7140·2470·726f·6402·0efd·d574·4041·0411··q@$prod....t@A.. | 000001a0:·7140·2470·726f·6402·0efd·d574·4041·0411··q@$prod....t@A.. | ||
| 000001b0:·c0a9·9ba0·040f·0415·a0a9·0404·a0a9·0406··................ | 000001b0:·c0a9·9ba0·040f·0415·a0a9·0404·a0a9·0406··................ | ||
| Offset 1045, 16 lines modified | Offset 1045, 16 lines modified | ||
| 00004140:·041c·4104·f240·4142·b004·1d41·04b4·c0c0··..A..@AB...A.... | 00004140:·041c·4104·f240·4142·b004·1d41·04b4·c0c0··..A..@AB...A.... | ||
| 00004150:·40b0·0420·4104·ec40·41b0·0421·41a0·0301··@..·A..@A..!A... | 00004150:·40b0·0420·4104·ec40·41b0·0421·41a0·0301··@..·A..@A..!A... | ||
| 00004160:·f84b·375a·023f·6e90·b004·ed04·ea01·02ff··.K7Z.?n......... | 00004160:·f84b·375a·023f·6e90·b004·ed04·ea01·02ff··.K7Z.?n......... | ||
| 00004170:·c0c0·40b0·0427·41a0·0301·f84b·375b·6897··..@..'A....K7[h. | 00004170:·c0c0·40b0·0427·41a0·0301·f84b·375b·6897··..@..'A....K7[h. | ||
| 00004180:·8890·b004·f304·f001·0465·4041·b004·2b41··.........e@A..+A | 00004180:·8890·b004·f304·f001·0465·4041·b004·2b41··.........e@A..+A | ||
| 00004190:·a003·01f8·4a44·3e7f·2fac·90b0·0501·0104··....JD>./....... | 00004190:·a003·01f8·4a44·3e7f·2fac·90b0·0501·0104··....JD>./....... | ||
| 000041a0:·fe01·09fa·4042·4344·4548·90a0·0505·7390··....@BCDEH....s. | 000041a0:·fe01·09fa·4042·4344·4548·90a0·0505·7390··....@BCDEH....s. | ||
| 000041b0:·30 | 000041b0:·301c·a2b1·aa20·680b·f135·53e5·9f62·b26d··0....·h..5S..b.m | ||
| 000041c0:· | 000041c0:·d790·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·40a7·258a··....@@ABCDE@@.%. | ||
| 00004bf0:· | 00004bf0:·33fa·44d3·c5a8·eadf·a24c·f87a·5084·95a6··3.D......L.zP... | ||
| 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·a725··.....C......J..% | ||
| 00014a70:· | 00014a70:·8a33·fa44·d3c5·a8ea·dfa2·4cf8·7a50·0000··.3.D......L.zP.. | ||
| 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·688d·7902·3bbe·9e01·2b54·3d59··...#h.y.;...+T=Y | ||
| 00014ad0:· | 00014ad0:·129b·ffb1·0000·0009·766d·6c69·6272·6172··........vmlibrar | ||
| 00014ae0:·7900·0000·0000·0141·9100·0000·0000·0008··y......A........ | 00014ae0:·7900·0000·0000·0141·9100·0000·0000·0008··y......A........ | ||
| 00014af0:·aebe·5bb6·eb09·e2b8·622e·f097·eabc·6554··..[.....b.....eT | 00014af0:·aebe·5bb6·eb09·e2b8·622e·f097·eabc·6554··..[.....b.....eT | ||
| 00014b00:·e0·······································. | 00014b00:·e0·······································. |
| Offset 7, 24 lines modified | Offset 7, 24 lines modified | ||
| 00000060:·2d61·6c6c·5f73·7372·6566·6c65·6374·a029··-all_ssreflect.) | 00000060:·2d61·6c6c·5f73·7372·6566·6c65·6374·a029··-all_ssreflect.) | ||
| 00000070:·7373·7265·666c·6563·74a0·286d·6174·6863··ssreflect.(mathc | 00000070:·7373·7265·666c·6563·74a0·286d·6174·6863··ssreflect.(mathc | ||
| 00000080:·6f6d·7040·9030·1c44·512f·df92·ee1a·b684··omp@.0.DQ/...... | 00000080:·6f6d·7040·9030·1c44·512f·df92·ee1a·b684··omp@.0.DQ/...... | ||
| 00000090:·b56d·3d4d·5b82·a0a0·246d·6973·63a0·2752··.m=M[...$misc.'R | 00000090:·b56d·3d4d·5b82·a0a0·246d·6973·63a0·2752··.m=M[...$misc.'R | ||
| 000000a0:·6567·4c61·6e67·4090·3039·cf19·d5e3·6215··egLang@.09....b. | 000000a0:·6567·4c61·6e67·4090·3039·cf19·d5e3·6215··egLang@.09....b. | ||
| 000000b0:·7eb3·6525·01aa·e4c3·cca0·a029·6c61·6e67··~.e%.......)lang | 000000b0:·7eb3·6525·01aa·e4c3·cca0·a029·6c61·6e67··~.e%.......)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:·3064·b345·1ce9·b7b7·795e·83cc·ae69·1861··0d.E....y^...i.a | ||
| 000000e0:· | 000000e0:·41a0·a023·6466·61a0·2752·6567·4c61·6e67··A..#dfa.'RegLang | ||
| 000000f0:·4090·30 | 000000f0:·4090·307b·2cbe·fd13·a926·7c4e·7c5d·45ef··@.0{,....&|N|]E. | ||
| 00000100:· | 00000100:·0ced·19a0·a023·6e66·61a0·2752·6567·4c61··.....#nfa.'RegLa | ||
| 00000110:·6e67·4090·30 | 00000110:·6e67·4090·3091·2a6d·4bcc·a2d7·cf9f·3038··ng@.0.*mK.....08 | ||
| 00000120:· | 00000120:·bca4·bbdd·55a0·a026·7265·6765·7870·a027··....U..®exp.' | ||
| 00000130:·5265·674c·616e·6740·9030·0 | 00000130:·5265·674c·616e·6740·9030·0891·d566·77bf··RegLang@.0...fw. | ||
| 00000140:·7739·2151·0816·cfc2·d2f6·2535·2e32·2e30··w9!Q......%5.2.0 | |||
| 000001 | 00000140:·c9d1·e45d·2265·9677·fbc8·2535·2e32·2e30··...]"e.w..%5.2.0 | ||
| 00000150:·a040·4040·5f6d·2acb·7342·1050·8530·fef0··.@@@_m*.sB.P.0.. | |||
| 00000160:· | 00000160:·6f01·8684·95a6·be00·00e5·4600·003b·3700··o.........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·300 | 00009af0:·4748·494a·90a0·051d·ef90·3008·91d5·6677··GHIJ......0...fw | ||
| 00009b00:· | 00009b00:·bfc9·d1e4·5d22·6596·77fb·c890·40a0·a095··....]"e.w...@... | ||
| 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·40ca·eb04··....@@ABCDE@@... | ||
| 0000e6c0:· | 0000e6c0:·4ed9·e283·bd20·1871·9c6b·e8a7·bb84·95a6··N....·.q.k...... | ||
| 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·caeb·044e··...c.......Z...N | ||
| 000511a0:· | 000511a0:·d9e2·83bd·2018·719c·6be8·a7bb·0000·0007··....·.q.k....... | ||
| 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·405f·6d2a·cb73·4210·5085·30fe·f06f··.C@_m*.sB.P.0..o | ||
| 00051200:· | 00051200:·0186·0000·0009·766d·6c69·6272·6172·7900··......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 | 8f5b3 | |