| Offset 1, 2 lines modified | Offset 1, 2 lines modified | ||
| 1 | · | 1 | ·b7e4129c186c46b58ea930b12fd44d0e·874804·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·····184 | 2 | -rw-r--r--···0········0········0·····1844·2024-08-04·06:10:46.000000·control.tar.xz |
| 3 | -rw-r--r--···0········0········0···872 | 3 | -rw-r--r--···0········0········0···872768·2024-08-04·06:10:46.000000·data.tar.xz |
| Offset 1, 15 lines modified | Offset 1, 15 lines modified | ||
| 1 | Package:·libcoq-reglang | 1 | Package:·libcoq-reglang |
| 2 | Source:·coq-reglang | 2 | Source:·coq-reglang |
| 3 | Version:·1.2.1-4 | 3 | Version:·1.2.1-4 |
| 4 | Architecture:·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-e7ue0 |
| 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 23, 15 lines modified | Offset 23, 15 lines modified | ||
| 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 |
| 26 | -rw-r--r--···0·root·········(0)·root·········(0)····15855·2024-08-04·06:10:46.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/nfa.v | 26 | -rw-r--r--···0·root·········(0)·root·········(0)····15855·2024-08-04·06:10:46.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/nfa.v |
| 27 | -rw-r--r--···0·root·········(0)·root·········(0)···150832·2024-08-04·06:10:46.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/nfa.vo | 27 | -rw-r--r--···0·root·········(0)·root·········(0)···150832·2024-08-04·06:10:46.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/nfa.vo |
| 28 | -rw-r--r--···0·root·········(0)·root·········(0)···119188·2024-08-04·06:10:46.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/regexp.glob | 28 | -rw-r--r--···0·root·········(0)·root·········(0)···119188·2024-08-04·06:10:46.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/regexp.glob |
| 29 | -rw-r--r--···0·root·········(0)·root·········(0)····18831·2024-08-04·06:10:46.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/regexp.v | 29 | -rw-r--r--···0·root·········(0)·root·········(0)····18831·2024-08-04·06:10:46.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/regexp.v |
| 30 | -rw-r--r--···0·root·········(0)·root·········(0)···27120 | 30 | -rw-r--r--···0·root·········(0)·root·········(0)···271207·2024-08-04·06:10:46.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/regexp.vo |
| 31 | -rw-r--r--···0·root·········(0)·root·········(0)·····8790·2024-08-04·06:10:46.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/setoid_leq.glob | 31 | -rw-r--r--···0·root·········(0)·root·········(0)·····8790·2024-08-04·06:10:46.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/setoid_leq.glob |
| 32 | -rw-r--r--···0·root·········(0)·root·········(0)·····2069·2024-08-04·06:10:46.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/setoid_leq.v | 32 | -rw-r--r--···0·root·········(0)·root·········(0)·····2069·2024-08-04·06:10:46.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/setoid_leq.v |
| 33 | -rw-r--r--···0·root·········(0)·root·········(0)····18667·2024-08-04·06:10:46.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/setoid_leq.vo | 33 | -rw-r--r--···0·root·········(0)·root·········(0)····18667·2024-08-04·06:10:46.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/setoid_leq.vo |
| 34 | -rw-r--r--···0·root·········(0)·root·········(0)···157044·2024-08-04·06:10:46.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/shepherdson.glob | 34 | -rw-r--r--···0·root·········(0)·root·········(0)···157044·2024-08-04·06:10:46.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/shepherdson.glob |
| 35 | -rw-r--r--···0·root·········(0)·root·········(0)····17730·2024-08-04·06:10:46.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/shepherdson.v | 35 | -rw-r--r--···0·root·········(0)·root·········(0)····17730·2024-08-04·06:10:46.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/shepherdson.v |
| 36 | -rw-r--r--···0·root·········(0)·root·········(0)···200384·2024-08-04·06:10:46.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/shepherdson.vo | 36 | -rw-r--r--···0·root·········(0)·root·········(0)···200384·2024-08-04·06:10:46.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/shepherdson.vo |
| 37 | -rw-r--r--···0·root·········(0)·root·········(0)····58791·2024-08-04·06:10:46.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/two_way.glob | 37 | -rw-r--r--···0·root·········(0)·root·········(0)····58791·2024-08-04·06:10:46.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/two_way.glob |
| Offset 7, 17 lines modified | Offset 7, 17 lines modified | ||
| 00000060:·616c·6c5f·7373·7265·666c·6563·74a0·2973··all_ssreflect.)s | 00000060:·616c·6c5f·7373·7265·666c·6563·74a0·2973··all_ssreflect.)s | ||
| 00000070:·7372·6566·6c65·6374·a028·6d61·7468·636f··sreflect.(mathco | 00000070:·7372·6566·6c65·6374·a028·6d61·7468·636f··sreflect.(mathco | ||
| 00000080:·6d70·4090·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:·5802·80de·15f9·592a·320a·a871·8cc5·e4b7··X.....Y*2..q.... | ||
| 000000e0:·2535·2e32·2e30·a040·40c | 000000e0:·2535·2e32·2e30·a040·40c1·bdc0·f002·bd9d··%5.2.0.@@....... | ||
| 000000f0:· | 000000f0:·21fe·9de5·bd84·511c·5e84·95a6·be00·00ca··!.....Q.^....... | ||
| 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·e669·da92·7d04·8f37··.....@.0.i..}..7 | |||
| 000089 | 00008970:·ada0·0512·ac40·9030·5802·80de·15f9·592a··.....@.0X.....Y* | ||
| 00008980:·320a·a871·8cc5·e4b7·9040·a040·40a0·a095··2..q.....@.@@... | |||
| 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·408a·d96c·7271·b2d8··@@ABCDE@@..lrq.. | ||
| 0000cbd0:· | 0000cbd0:·01a6·744a·3fc2·0d1e·0584·95a6·be00·0135··..tJ?..........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·8ad9·6c72·71b2·d801·a674·4a3f··......lrq....tJ? | ||
| 00020a30:· | 00020a30:·c20d·1e05·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·c | 00020a70:·0010·0000·0000·0000·00d9·c1bd·c0f0·02bd··................ | ||
| 00020a80:· | 00020a80:·9d21·fe9d·e5bd·8451·1c5e·0000·0009·766d··.!.....Q.^....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 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·3135·3638·3433·3133·33e0··@@@@@)156843133. | ||
| 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, 17 lines modified | Offset 6061, 17 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^. | ||
| 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·4028·3 | 00017b30:·5590·9090·4040·4040·4028·3937·3535·3038··U...@@@@@(975508 | ||
| 00017b40:·3 | 00017b40:·3638·e005·464e·0540·f005·3f6d·0517·3405··68..FN.@..?m..4. | ||
| 00017b50:·16a5·0546·6b0c·0000·0000·0000·f | 00017b50:·16a5·0546·6b0c·0000·0000·0000·f33e·4041··...Fk........>@A | ||
| 00017b60:·40a0·95a0·0232·0a51·8fa0·0550·73b0·9149··@....2.Q...Ps..I | 00017b60:·40a0·95a0·0232·0a51·8fa0·0550·73b0·9149··@....2.Q...Ps..I | ||
| 00017b70:·4040·a095·a002·0fc0·a2b8·a090·0548·08a0··@@...........H.. | 00017b70:·4040·a095·a002·0fc0·a2b8·a090·0548·08a0··@@...........H.. | ||
| 00017b80:·a091·90b0·0556·0f05·507f·020c·9da5·12a0··.....V..P....... | 00017b80:·a091·90b0·0556·0f05·507f·020c·9da5·12a0··.....V..P....... | ||
| 00017b90:·a040·a090·c0b0·0556·0a41·4091·9042·4041··.@.....V.A@..B@A | 00017b90:·a040·a090·c0b0·0556·0a41·4091·9042·4041··.@.....V.A@..B@A | ||
| 00017ba0:·a040·a040·4040·40a0·95a0·0227·60a0·6fd0··.@.@@@@....'`.o. | 00017ba0:·a040·a040·4040·40a0·95a0·0227·60a0·6fd0··.@.@@@@....'`.o. | ||
| 00017bb0:·4091·0411·a040·a040·40a0·9092·0556·14a0··@....@.@@....V.. | 00017bb0:·4091·0411·a040·a040·40a0·9092·0556·14a0··@....@.@@....V.. | ||
| 00017bc0:·9091·0550·8940·d0d0·d040·40a0·0548·1240··...P.@...@@..H.@ | 00017bc0:·9091·0550·8940·d0d0·d040·40a0·0548·1240··...P.@...@@..H.@ | ||
| Offset 6518, 54 lines modified | Offset 6518, 54 lines modified | ||
| 00019750:·4005·08f3·a040·40a0·95a0·0204·4ece·b4a0··@....@@.....N... | 00019750:·4005·08f3·a040·40a0·95a0·0204·4ece·b4a0··@....@@.....N... | ||
| 00019760:·2133·b040·d005·4f21·d0e0·4040·4040·4005··!3.@..O!..@@@@@. | 00019760:·2133·b040·d005·4f21·d0e0·4040·4040·4005··!3.@..O!..@@@@@. | ||
| 00019770:·4f20·40a0·c005·4f1f·054f·1bb0·c391·4005··O·@...O..O....@. | 00019770:·4f20·40a0·c005·4f1f·054f·1bb0·c391·4005··O·@...O..O....@. | ||
| 00019780:·35a2·b0c3·9140·0545·ddb0·9505·4f1c·054f··5....@.E....O..O | 00019780:·35a2·b0c3·9140·0545·ddb0·9505·4f1c·054f··5....@.E....O..O | ||
| 00019790:·27a0·054f·1a90·9090·0545·de40·054f·2ba0··'..O.....E.@.O+. | 00019790:·27a0·054f·1a90·9090·0545·de40·054f·2ba0··'..O.....E.@.O+. | ||
| 000197a0:·054f·1e90·9090·0535·aaa0·b095·a005·4f33··.O.....5......O3 | 000197a0:·054f·1e90·9090·0535·aaa0·b095·a005·4f33··.O.....5......O3 | ||
| 000197b0:·4405·4f33·a005·4f26·9090·9005·35b0·4005··D.O3..O&....5.@. | 000197b0:·4405·4f33·a005·4f26·9090·9005·35b0·4005··D.O3..O&....5.@. | ||
| 000197c0:·4f37·a005·4f2a·9090·9040·4040·4040·293 | 000197c0:·4f37·a005·4f2a·9090·9040·4040·4040·2931··O7..O*...@@@@@)1 | ||
| 000197d0:·3 | 000197d0:·3935·3830·3339·3336·e005·4f23·0549·c505··95803936..O#.I.. | ||
| 000197e0:·4842·0520·0905·1f7a·054f·400c·0000·0000··HB.·...z.O@..... | 000197e0:·4842·0520·0905·1f7a·054f·400c·0000·0000··HB.·...z.O@..... | ||
| 000197f0:·00 | 000197f0:·0000·ed3e·a040·40a0·95a0·0204·4ece·b4a0··...>.@@.....N... | ||
| 00019800:·2134·b040·d005·4f4c·d0e0·4040·4040·4005··!4.@..OL..@@@@@. | 00019800:·2134·b040·d005·4f4c·d0e0·4040·4040·4005··!4.@..OL..@@@@@. | ||
| 00019810:·4f4b·40a0·c005·4f4a·054f·46b0·c391·4005··OK@...OJ.OF...@. | 00019810:·4f4b·40a0·c005·4f4a·054f·46b0·c391·4005··OK@...OJ.OF...@. | ||
| 00019820:·35cd·b0c3·9140·0546·08b0·95a0·9105·595f··5....@.F......Y_ | 00019820:·35cd·b0c3·9140·0546·08b0·95a0·9105·595f··5....@.F......Y_ | ||
| 00019830:·5805·4f54·a005·4f47·9090·9005·460b·4005··X.OT..OG....F.@. | 00019830:·5805·4f54·a005·4f47·9090·9005·460b·4005··X.OT..OG....F.@. | ||
| 00019840:·4f58·a005·4f4b·9090·9005·35d7·a0b0·9504··OX..OK....5..... | 00019840:·4f58·a005·4f4b·9090·9005·35d7·a0b0·9504··OX..OK....5..... | ||
| 00019850:·2d05·4f5f·a005·4f52·9090·9005·35dc·4005··-.O_..OR....5.@. | 00019850:·2d05·4f5f·a005·4f52·9090·9005·35dc·4005··-.O_..OR....5.@. | ||
| 00019860:·4f63·a005·4f56·9090·9040·4040·4040·293 | 00019860:·4f63·a005·4f56·9090·9040·4040·4040·2931··Oc..OV...@@@@@)1 | ||
| 00019870:·3 | 00019870:·3935·3830·3339·3336·e005·4f4f·0549·f105··95803936..OO.I.. | ||
| 00019880:·486e·0520·3505·1fa6·054f·6c0c·0000·0000··Hn.·5....Ol..... | 00019880:·486e·0520·3505·1fa6·054f·6c0c·0000·0000··Hn.·5....Ol..... | ||
| 00019890:·0000·d13e·a040·40a0·95a0·0204·4ece·b4a0··...>.@@.....N... | 00019890:·0000·d13e·a040·40a0·95a0·0204·4ece·b4a0··...>.@@.....N... | ||
| 000198a0:·2135·b040·d005·4f78·d0e0·4040·4040·4005··!5.@..Ox..@@@@@. | 000198a0:·2135·b040·d005·4f78·d0e0·4040·4040·4005··!5.@..Ox..@@@@@. | ||
| 000198b0:·4f77·40a0·c005·4f76·054f·72b0·c391·4005··Ow@...Ov.Or...@. | 000198b0:·4f77·40a0·c005·4f76·054f·72b0·c391·4005··Ow@...Ov.Or...@. | ||
| 000198c0:·35f9·b0c3·9140·0546·34b0·9505·0926·054f··5....@.F4....&.O | 000198c0:·35f9·b0c3·9140·0546·34b0·9505·0926·054f··5....@.F4....&.O | ||
| 000198d0:·7ea0·054f·7190·9090·0546·3540·054f·82a0··~..Oq....F5@.O.. | 000198d0:·7ea0·054f·7190·9090·0546·3540·054f·82a0··~..Oq....F5@.O.. | ||
| 000198e0:·054f·7590·9090·0536·01a0·b095·0457·054f··.Ou....6.....W.O | 000198e0:·054f·7590·9090·0536·01a0·b095·0457·054f··.Ou....6.....W.O | ||
| 000198f0:·89a0·054f·7c90·9090·0536·0640·054f·8da0··...O|....6.@.O.. | 000198f0:·89a0·054f·7c90·9090·0536·0640·054f·8da0··...O|....6.@.O.. | ||
| 00019900:·054f·8090·9090·4040·4040·4029·3 | 00019900:·054f·8090·9090·4040·4040·4029·3139·3538··.O....@@@@@)1958 | ||
| 00019910:·3 | 00019910:·3033·3933·36e0·054f·7905·4a1b·0548·9805··03936..Oy.J..H.. | ||
| 00019920:·205f·051f·d005·4f96·0c00·0000·0000·00ca···_....O......... | 00019920:·205f·051f·d005·4f96·0c00·0000·0000·00ca···_....O......... | ||
| 00019930:·3ea0·4040·a095·a002·044e·ceb4·a021·36b0··>.@@.....N...!6. | 00019930:·3ea0·4040·a095·a002·044e·ceb4·a021·36b0··>.@@.....N...!6. | ||
| 00019940:·40d0·054f·a2d0·e040·4040·4040·054f·a140··@..O...@@@@@.O.@ | 00019940:·40d0·054f·a2d0·e040·4040·4040·054f·a140··@..O...@@@@@.O.@ | ||
| 00019950:·a0c0·054f·a005·4f9c·b0c3·9140·0536·23b0··...O..O....@.6#. | 00019950:·a0c0·054f·a005·4f9c·b0c3·9140·0536·23b0··...O..O....@.6#. | ||
| 00019960:·c391·4005·465e·b095·a091·0559·e458·054f··..@.F^.....Y.X.O | 00019960:·c391·4005·465e·b095·a091·0559·e458·054f··..@.F^.....Y.X.O | ||
| 00019970:·aaa0·054f·9d90·9090·0546·6140·054f·aea0··...O.....Fa@.O.. | 00019970:·aaa0·054f·9d90·9090·0546·6140·054f·aea0··...O.....Fa@.O.. | ||
| 00019980:·054f·a190·9090·0536·2da0·b095·0483·054f··.O.....6-......O | 00019980:·054f·a190·9090·0536·2da0·b095·0483·054f··.O.....6-......O | ||
| 00019990:·b5a0·054f·a890·9090·0536·3240·054f·b9a0··...O.....62@.O.. | 00019990:·b5a0·054f·a890·9090·0536·3240·054f·b9a0··...O.....62@.O.. | ||
| 000199a0:·054f·ac90·9090·4040·4040·4029·3 | 000199a0:·054f·ac90·9090·4040·4040·4029·3139·3538··.O....@@@@@)1958 | ||
| 000199b0:·3 | 000199b0:·3033·3933·36e0·054f·a505·4a47·0548·c405··03936..O..JG.H.. | ||
| 000199c0:·208b·051f·fc05·4fc2·0c00·0000·0000·00c0···.....O......... | 000199c0:·208b·051f·fc05·4fc2·0c00·0000·0000·00c0···.....O......... | ||
| 000199d0:·3ea0·4040·a095·a002·347d·c1ff·a027·5f45··>.@@....4}...'_E | 000199d0:·3ea0·4040·a095·a002·347d·c1ff·a027·5f45··>.@@....4}...'_E | ||
| 000199e0:·4c50·495f·33c0·a022·6862·a022·6462·40a0··LPI_3.."hb."db@. | 000199e0:·4c50·495f·33c0·a022·6862·a022·6462·40a0··LPI_3.."hb."db@. | ||
| 000199f0:·a0b0·055f·6404·b602·0df2·e86d·04b4·a0a0··..._d......m.... | 000199f0:·a0b0·055f·6404·b602·0df2·e86d·04b4·a0a0··..._d......m.... | ||
| 00019a00:·b005·5f67·048e·020d·f2e8·6e04·8ca0·a0b0··.._g......n..... | 00019a00:·b005·5f67·048e·020d·f2e8·6e04·8ca0·a0b0··.._g......n..... | ||
| 00019a10:·055f·6a04·6502·0df2·e86f·0463·a0a0·b005··._j.e....o.c.... | 00019a10:·055f·6a04·6502·0df2·e86f·0463·a0a0·b005··._j.e....o.c.... | ||
| 00019a20:·5f6d·043e·020d·f2e8·7004·3c40·4240·40 | 00019a20:·5f6d·043e·020d·f2e8·7004·3c40·4240·4058··_m.>....p.<@B@@X | ||
| 00019a30:· | 00019a30:·0280·de15·f959·2a32·0aa8·718c·c5e4·b784··.....Y*2..q..... | ||
| 00019a40:·95a6·be00·0071·2a00·0019·8200·0052·9800··.....q*......R.. | 00019a40:·95a6·be00·0071·2a00·0019·8200·0052·9800··.....q*......R.. | ||
| 00019a50:·0052·0308·0000·4b00·90a0·b7a0·9022·4c31··.R....K......"L1 | 00019a50:·0052·0308·0000·4b00·90a0·b7a0·9022·4c31··.R....K......"L1 | ||
| 00019a60:·40b6·a090·2178·40a9·9aa0·90b0·90a0·296c··@...!x@.......)l | 00019a60:·40b6·a090·2178·40a9·9aa0·90b0·90a0·296c··@...!x@.......)l | ||
| 00019a70:·616e·6775·6167·6573·a027·5265·674c·616e··anguages.'RegLan | 00019a70:·616e·6775·6167·6573·a027·5265·674c·616e··anguages.'RegLan | ||
| 00019a80:·6740·2477·6f72·6402·0e00·01f8·a080·8090··g@$word......... | 00019a80:·6740·2477·6f72·6402·0e00·01f8·a080·8090··g@$word......... | ||
| 00019a90:·a99a·a090·b0a2·a290·a027·6669·6e74·7970··.........'fintyp | 00019a90:·a99a·a090·b0a2·a290·a027·6669·6e74·7970··.........'fintyp | ||
| 00019aa0:·65a0·2973·7372·6566·6c65·6374·a028·6d61··e.)ssreflect.(ma | 00019aa0:·65a0·2973·7372·6566·6c65·6374·a028·6d61··e.)ssreflect.(ma | ||
| Offset 8428, 16 lines modified | Offset 8428, 16 lines modified | ||
| 00020eb0:·030a·5019·fcf9·0001·2901·3e02·0133·1a0c··..P.....).>..3.. | 00020eb0:·030a·5019·fcf9·0001·2901·3e02·0133·1a0c··..P.....).>..3.. | ||
| 00020ec0:·1937·0123·1937·0225·0407·4529·012d·0004··.7.#.7.%..E).-.. | 00020ec0:·1937·0123·1937·0225·0407·4529·012d·0004··.7.#.7.%..E).-.. | ||
| 00020ed0:·1301·8c36·0329·012d·0008·1937·0421·3a00··...6.).-...7.!:. | 00020ed0:·1301·8c36·0329·012d·0008·1937·0421·3a00··...6.).-...7.!:. | ||
| 00020ee0:·8c36·0329·0180·2674·3010·3820·1890·98b0··.6.)..&t0.8·.... | 00020ee0:·8c36·0329·0180·2674·3010·3820·1890·98b0··.6.)..&t0.8·.... | ||
| 00020ef0:·a0a0·4040·a041·4241·471b·74f5·b0be·f8d9··..@@.ABAG.t..... | 00020ef0:·a0a0·4040·a041·4241·471b·74f5·b0be·f8d9··..@@.ABAG.t..... | ||
| 00020f00:·4568·20ec·a06f·b135·ac00·0000·0400·0000··Eh·..o.5........ | 00020f00:·4568·20ec·a06f·b135·ac00·0000·0400·0000··Eh·..o.5........ | ||
| 00020f10:·076c·6962·7261·7279·0000·0000·0000·00fb··.library........ | 00020f10:·076c·6962·7261·7279·0000·0000·0000·00fb··.library........ | ||
| 00020f20:·0000·0000·0001·9934·e669·da92·7d04·8f37··.......4.i..}..7 | |||
| 00020f | 00020f20:·0000·0000·0001·9934·5802·80de·15f9·592a··.......4X.....Y* | ||
| 00020f30:·320a·a871·8cc5·e4b7·0000·0007·6f70·6171··2..q........opaq | |||
| 00020f40:·7565·7300·0000·0000·019a·3f00·0000·0000··ues.......?..... | 00020f40:·7565·7300·0000·0000·019a·3f00·0000·0000··ues.......?..... | ||
| 00020f50:·0071·3e35·9614·ab0a·9ab6·1b1e·d0dd·f556··.q>5...........V | 00020f50:·0071·3e35·9614·ab0a·9ab6·1b1e·d0dd·f556··.q>5...........V | ||
| 00020f60:·0b75·f500·0000·0773·756d·6d61·7279·0000··.u.....summary.. | 00020f60:·0b75·f500·0000·0773·756d·6d61·7279·0000··.u.....summary.. | ||
| 00020f70:·0000·0000·0010·0000·0000·0000·00db·f2c1··................ | 00020f70:·0000·0000·0010·0000·0000·0000·00db·f2c1··................ | ||
| 00020f80:·8f5c·6490·9c77·c81e·9739·1b00·ccd5·0000··.\d..w...9...... | 00020f80:·8f5c·6490·9c77·c81e·9739·1b00·ccd5·0000··.\d..w...9...... | ||
| 00020f90:·0009·766d·6c69·6272·6172·7900·0000·0000··..vmlibrary..... | 00020f90:·0009·766d·6c69·6272·6172·7900·0000·0000··..vmlibrary..... | ||
| 00020fa0:·020b·8d00·0000·0000·0003·6c1b·74f5·b0be··..........l.t... | 00020fa0:·020b·8d00·0000·0000·0003·6c1b·74f5·b0be··..........l.t... |
| 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·3058·0280·de15··'RegLang@.0X.... | ||
| 00000320:· | 00000320:·f959·2a32·0aa8·718c·c5e4·b7a0·a023·6466··.Y*2..q......#df | ||
| 00000330:·61a0·2752·6567·4c61·6e67·4090·30 | 00000330:·61a0·2752·6567·4c61·6e67·4090·308a·d96c··a.'RegLang@.0..l | ||
| 00000340:·730a·57e7·593c·f535·0972·57d1·2425·352e··s.W.Y<.5.rW.$%5. | |||
| 000003 | 00000340:·7271·b2d8·01a6·744a·3fc2·0d1e·0525·352e··rq....tJ?....%5. | ||
| 00000350:·322e·30a0·4040·f6eb·87f5·1878·5a54·107d··2.0.@@.....xZT.} | |||
| 00000360:· | 00000360:·3ec8·9463·fca7·8495·a6be·0002·17eb·0000··>..c............ | ||
| 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·308a·d96c·7271·b2d8·01a6··......0..lrq.... | ||
| 000093d0:· | 000093d0:·744a·3fc2·0d1e·0590·40a0·4040·a0a0·95a0··tJ?.....@.@@.... | ||
| 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, 4957 lines modified | Offset 2915, 4957 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 | Diff chunk too large, falling back to line-by-line diff (4943 lines added, 4943 lines removed) | |
| 0000b680:·6f6e·7374·616e·7440·0414·a004·0790·9090··onstant@........ | 0000b680:·6f6e·7374·616e·7440·0414·a004·0790·9090··onstant@........ | ||
| 0000b690:·4040·4040·402 | 0000b690:·4040·4040·402a·3130·3038·3639·3131·3639··@@@@@*1008691169 | ||
| 0000b6a0:· | 0000b6a0:·e0d0·d0d0·d040·2540·6361·7374·a0b0·b490··.....@%@cast.... | ||
| 0000b6b0:·2154 | 0000b6b0:·a021·5422·6c70·40b0·b490·a022·5459·0406··.!T"lp@...."TY.. | ||
| 0000b6c0:·b0c3 | 0000b6c0:·40b0·c391·4023·6c65·74b0·95a0·9024·6361··@...@#let....$ca | ||
| 0000b6d0:·7453 | 0000b6d0:·7374·53e0·4030·636f·712d·6275·696c·7469··stS.@0coq-builti | ||
| 0000b6e0:·2e65 | 0000b6e0:·6e2e·656c·7069·0124·e801·24ee·0100·e101··n.elpi.$..$..... | ||
| 0000b6f0:·cfa0 | 0000b6f0:·24cf·a004·2990·40a0·b0a1·9004·1704·12e0··$...).@......... | ||
| 0000b700:·0408 | 0000b700:·4004·0801·24ef·0124·f101·00e1·0124·cfa0··@...$..$.....$.. | ||
| 0000b710:·3090 | 0000b710:·0430·9040·a0b0·a190·041e·041f·e040·040f··.0.@.........@.. | ||
| 0000b720:·24f2 | 0000b720:·0124·f201·24f3·0100·e101·24cf·a004·3790··.$..$.....$...7. | ||
| 0000b730:·a0b0 | 0000b730:·40a0·b0b4·90a0·2178·0427·40b0·a190·042a··@.....!x.'@....* | ||
| 0000b740:·04e0 | 0000b740:·0404·e040·041b·0124·f601·24f7·0100·e101··...@...$..$..... | ||
| 0000b750:·cfa0 | 0000b750:·24cf·a004·4390·40e0·4004·1e01·24f4·0124··$...C.@.@...$..$ | ||
| 0000b760:·01 | 0000b760:·f701·00e1·0124·cfa0·0446·9040·40e0·4004··.....$...F.@@.@. | ||
| 0000b770:·0124 | 0000b770:·2101·24e4·0124·f701·00e1·0124·cfa0·0449··!.$..$.....$...I | ||
| 0000b780:·40e0 | 0000b780:·9040·e040·0424·0124·dd01·24f7·0100·e101··.@.@.$.$..$..... | ||
| 0000b790:·cfa0 | 0000b790:·24cf·a004·4c90·40e0·4004·2701·24db·0124··$...L.@.@.'.$..$ | ||
| 0000b7a0:·01 | 0000b7a0:·f701·00e1·0124·cfa0·044f·9040·e040·042a··.....$...O.@.@.* | ||
| 0000b7b0:·24cf | 0000b7b0:·0124·cf01·24f8·0100·e101·24cf·d040·2a40··.$..$.....$..@*@ | ||
| 0000b7c0:·6f65 | 0000b7c0:·636f·6572·6369·6f6e·21a0·b0c3·9140·223a··coercion!....@": | ||
| 0000b7d0:·b0c3 | 0000b7d0:·3ab0·c391·4028·636f·6572·6369·6f6e·b0a1··:...@(coercion.. | ||
| 0000b7e0:·402a | 0000b7e0:·9140·2a72·6576·6572·7369·626c·65e0·4004··.@*reversible.@. | ||
| 0000b7f0:·0153 | 0000b7f0:·3a01·531a·0153·2401·01f2·0152·fca0·0462··:.S..S$....R...b | ||
| 0000b800:· | 0000b800:·9040·40e0·4004·3d01·5311·0153·2401·01f2··.@@.@.=.S..S$... | ||
| 0000b810:·52fc | 0000b810:·0152·fca0·0465·9040·a0b0·a191·4022·5b5d··.R...e.@....@"[] | ||
| 0000b820:·4004 | 0000b820:·e040·0445·0153·2401·5325·0101·f201·52fc··.@.E.S$.S%....R. | ||
| 0000b830:·046d | 0000b830:·a004·6d90·4040·e040·0448·0153·1001·5325··..m.@@.@.H.S..S% | ||
| 0000b840:·01f2 | 0000b840:·0101·f201·52fc·a004·7090·40e0·4004·4b01··....R...p.@.@.K. | ||
| 0000b850:·fc01 | 0000b850:·52fc·0153·2501·01f2·0152·fc40·4142·2c40··R..S%....R.@AB,@ | ||
| 0000b860:·6570 | 0000b860:·6465·7072·6563·6174·6564·21a0·b0b4·90a0··deprecated!..... | ||
| 0000b870:·5369 | 0000b870:·2553·696e·6365·0462·40b0·b490·a023·4d73··%Since.b@....#Ms | ||
| 0000b880:·0467 | 0000b880:·6704·6740·b0c3·9140·2a67·6574·2d6f·7074··g.g@...@*get-opt | ||
| 0000b890:·6f6e | 0000b890:·696f·6eb0·95a0·2e63·6f71·3a64·6570·7265··ion....coq:depre | ||
| 0000b8a0:·6174 | 0000b8a0:·6361·7465·6443·e040·0460·0152·8001·5290··catedC.@.`.R..R. | ||
| 0000b8b0:·01ed | 0000b8b0:·0101·ed01·5273·a004·8890·40a0·b0c3·9140··....Rs....@....@ | ||
| 0000b8c0:·7072 | 0000b8c0:·2270·72b0·a190·047a·0419·e040·046b·0152··"pr....z...@.k.R | ||
| 0000b8d0:·0152 | 0000b8d0:·9501·529a·0101·ed01·5273·a004·9390·40a0··..R.....Rs....@. | ||
| 0000b8e0:·a190 | 0000b8e0:·b0a1·9004·8104·1be0·4004·7201·529b·0152··........@.r.R..R | ||
| 0000b8f0:·0101 | 0000b8f0:·9e01·01ed·0152·73a0·049a·9040·40e0·4004··.....Rs....@@.@. | ||
| 0000b900:·0152 | 0000b900:·7501·5292·0152·9e01·01ed·0152·73a0·049d··u.R..R.....Rs... | ||
| 0000b910:· | 0000b910:·9040·40e0·4004·7801·5275·0152·9f01·01ed··.@@.@.x.Ru.R.... | ||
| 0000b920:·5273 | 0000b920:·0152·73a0·04a0·9040·e040·047b·0152·6c01··.Rs....@.@.{.Rl. | ||
| 0000b930:·9f01 | 0000b930:·529f·0101·ed01·5273·a004·a390·40e0·4004··R.....Rs....@.@. | ||
| 0000b940:·0152 | 0000b940:·7e01·5266·0152·9f01·01ed·0152·73a0·04a6··~.Rf.R.....Rs... | ||
| 0000b950:·40e0 | 0000b950:·9040·e040·0481·0152·5301·529f·0101·ec01··.@.@...RS.R..... | ||
| 0000b960:·53d0 | 0000b960:·5253·d040·2b40·6472·6f70·756e·6976·7321··RS.@+@dropunivs! | ||
| 0000b970:·b0c3 | 0000b970:·a0b0·c391·4004·2db0·95a0·2d63·6f71·3a6b··....@.-...-coq:k | ||
| 0000b980:·6570 | 0000b980:·6565·7075·6e69·7673·43e0·4004·8c01·50c2··eepunivsC.@...P. | ||
| 0000b990:·50d1 | 0000b990:·0150·d101·01e2·0150·a2a0·04b4·9040·a0b0··.P.....P.....@.. | ||
| 0000b9a0:·9140 | 0000b9a0:·a191·4022·6666·e040·0494·0150·d201·50d4··..@"ff.@...P..P. | ||
| 0000b9b0:·01e2 | 0000b9b0:·0101·e201·50a2·a004·bc90·4040·e040·0497··....P.....@@.@.. | ||
| 0000b9c0:·50b7 | 0000b9c0:·0150·b701·50d4·0101·e201·50a2·a004·bf90··.P..P.....P..... | ||
| 0000b9d0:·e040 | 0000b9d0:·40e0·4004·9a01·50a2·0150·d401·01e2·0150··@.@...P..P.....P | ||
| 0000b9e0:·4041 | 0000b9e0:·a240·4143·2840·676c·6f62·616c·21a0·b0c3··.@AC(@global!... | ||
| 0000b9f0:·4004 | 0000b9f0:·9140·0445·b095·a02c·636f·713a·6c6f·6361··.@.E...,coq:loca | ||
| 0000ba00:·6974 | 0000ba00:·6c69·7479·43e0·4004·a401·1805·0118·1301··lityC.@......... | ||
| 0000ba10:·9501 | 0000ba10:·0095·0117·e6a0·04cc·9040·a0b0·95a0·2667··.........@....&g | ||
| 0000ba20:·6f62 | 0000ba20:·6c6f·6261·6c43·e040·04ac·0118·1401·181c··lobalC.@........ | ||
| 0000ba30:·0095 | 0000ba30:·0100·9501·17e6·a004·d490·4040·e040·04af··..........@@.@.. | ||
| 0000ba40:·17fa | 0000ba40:·0117·fa01·181c·0100·9501·17e6·a004·d790··................ | ||
| 0000ba50:·e040 | 0000ba50:·40e0·4004·b201·17e6·0118·1c01·0095·0117··@.@............. | ||
| 0000ba60:· | 0000ba60:·e6d0·d0d0·4027·4068·6f6c·6573·21a0·b0c3··....@'@holes!... | ||
| 0000ba70:·4004 | 0000ba70:·9140·0460·b095·a02a·484f·4153·3a68·6f6c··.@.`...*HOAS:hol | ||
| 0000ba80:·7343 | 0000ba80:·6573·43e0·4004·bf01·33ad·0133·b901·0143··esC.@...3..3...C | ||
| 0000ba90:·3391 | 0000ba90:·0133·91a0·04e7·9040·a0b0·a191·4022·7474··.3.....@....@"tt | ||
| 0000baa0:·4004 | 0000baa0:·e040·04c7·0133·ba01·33bc·0101·4301·3391··.@...3..3...C.3. | ||
| 0000bab0:·04ef | 0000bab0:·a004·ef90·4040·e040·04ca·0133·a201·33bc··....@@.@...3..3. | ||
| 0000bac0:·0143 | 0000bac0:·0101·4301·3391·a004·f290·40e0·4004·cd01··..C.3.....@.@... | ||
| 0000bad0:·9101 | 0000bad0:·3391·0133·bc01·0143·0133·91d0·4028·4069··3..3...C.3..@(@i | ||
| 0000bae0:·6c69 | 0000bae0:·6e6c·696e·6521·a0b0·b490·a021·4e04·e540··nline!.....!N..@ | ||
| 0000baf0:·c391 | 0000baf0:·b0c3·9140·047e·b095·a02a·636f·713a·696e··...@.~...*coq:in | ||
| 0000bb00:·696e | 0000bb00:·6c69·6e65·43e0·4004·dd01·51ac·0151·b801··lineC.@...Q..Q.. | ||
| 0000bb10:·e701 | 0000bb10:·01e7·0151·8da0·0501·0590·40a0·b0a1·9140··...Q......@....@ | ||
| 0000bb20:·636f | 0000bb20:·3263·6f71·2e69·6e6c·696e·652e·6465·6661··2coq.inline.defa | ||
| 0000bb30:·6c74 | 0000bb30:·756c·74e0·4004·e501·51b9·0151·cb01·01e7··ult.@...Q..Q.... | ||
| 0000bb40:·518d | 0000bb40:·0151·8da0·0501·0d90·4040·e040·04e8·0151··.Q......@@.@...Q | ||
| 0000bb50:·0151 | 0000bb50:·a101·51cb·0101·e701·518d·a005·0110·9040··..Q.....Q......@ | ||
| 0000bb60:·4004 | 0000bb60:·e040·04eb·0151·9c01·51cb·0101·e701·518d··.@...Q..Q.....Q. | ||
| 0000bb70:·0501 | 0000bb70:·a005·0113·9040·e040·04ee·0151·8d01·51cb··.....@.@...Q..Q. | ||
| 0000bb80:·01e7 | 0000bb80:·0101·e701·518d·4041·422b·4069·6e6c·696e··....Q.@AB+@inlin | ||
| Max diff block lines reached; 42543/728337 bytes (5.84%) 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·5802·80de·15f9··RegLang@.0X..... | ||
| 000000e0:· | 000000e0:·592a·320a·a871·8cc5·e4b7·a0a0·2364·6661··Y*2..q......#dfa | ||
| 000000f0:·a027·5265·674c·616e·6740·9030· | 000000f0:·a027·5265·674c·616e·6740·9030·8ad9·6c72··.'RegLang@.0..lr | ||
| 00000100:· | 00000100:·71b2·d801·a674·4a3f·c20d·1e05·a0a0·2c6d··q....tJ?......,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·30e | 00000120:·4c61·6e67·4090·30ef·e8ea·490c·e9d7·c9d2··Lang@.0...I..... | ||
| 00000130:· | 00000130:·d253·3c30·4521·3ba0·a026·7265·6765·7870··.S<0E!;..®exp | ||
| 00000140:·a027·5265·674c·616e·6740·9030· | 00000140:·a027·5265·674c·616e·6740·9030·e3a1·7fb3··.'RegLang@.0.... | ||
| 00000150:·baa3·0d57·b8c3·6d3f·670d·e26d·2535·2e32··...W..m?g..m%5.2 | |||
| 000001 | 00000150:·354a·572e·e191·1306·a8b2·24ba·2535·2e32··5JW.......$.%5.2 | ||
| 00000160:·2e30·a040·404a·2f0c·b96f·bec4·d89d·3a16··.0.@@J/..o....:. | |||
| 00000170:· | 00000170:·0999·ffa9·7484·95a6·be00·007a·5300·001b··....t......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·e | 00005570:·a027·5265·674c·616e·6740·9030·efe8·ea49··.'RegLang@.0...I | ||
| 00005580:·574b·a84a·564e·f33c·9a9d·fcb7·a005·0d92··WK.JVN.<........ | |||
| 000055 | 00005580:·0ce9·d7c9·d2d2·533c·3045·213b·a005·0d92··......S<0E!;.... | ||
| 00005590:·9030·e3a1·7fb3·354a·572e·e191·1306·a8b2··.0....5JW....... | |||
| 000055a0:· | 000055a0:·24ba·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·a26b·1c7f··..N@@ABCDE@@.k.. | ||
| 00007be0:· | 00007be0:·8937·ce06·a4f1·753e·c9c2·1d06·8495·a6be··.7....u>........ | ||
| 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·67a2·6b1c·7f89··..u......zg.k... | ||
| 0000be70:· | 0000be70:·37ce·06a4·f175·3ec9·c21d·0600·0000·076f··7....u>........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:·554a·2f0c·b96f·bec4·d89d·3a16·0999·ffa9··UJ/..o....:..... | ||
| 0000bed0:· | 0000bed0:·7400·0000·0976·6d6c·6962·7261·7279·0000··t....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:·5802·80de·15f9·592a·320a·a871·8cc5·e4b7··X.....Y*2..q.... | ||
| 000000e0:·a0a0·2364·6661·a027·5265·674c·616e·6740··..#dfa.'RegLang@ | 000000e0:·a0a0·2364·6661·a027·5265·674c·616e·6740··..#dfa.'RegLang@ | ||
| 000000f0:·9030·5a29·9c73·0a57·e759·3cf5·3509·7257··.0Z).s.W.Y<.5.rW | |||
| 00000100:·d124·2535·2e32·2e30·a040·402b·6b09·e75e··.$%5.2.0.@@+k..^ | |||
| 00000 | 000000f0:·9030·8ad9·6c72·71b2·d801·a674·4a3f·c20d··.0..lrq....tJ?.. | ||
| 00000100:·1e05·2535·2e32·2e30·a040·407d·767a·4dd9··..%5.2.0.@@}vzM. | |||
| 00000110:·2d38·f653·d1a0·7c9c·982e·6684·95a6·be00··-8.S..|...f..... | |||
| 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·308a·d96c·7271·b2d8·01a6··...p@.0..lrq.... | ||
| 00008760:· | 00008760:·744a·3fc2·0d1e·0590·40a0·4040·a0a0·95a0··tJ?.....@.@@.... | ||
| 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·4052·6227·80b5·4459·cb4d·f15e·798a··@@@Rb'..DY.M.^y. | ||
| 0000c420:· | 0000c420:·bc26·7984·95a6·be00·0179·5c00·004e·8300··.&y......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·f852·6227··.............Rb' | ||
| 00024ca0:· | 00024ca0:·80b5·4459·cb4d·f15e·798a·bc26·7900·0000··..DY.M.^y..&y... | ||
| 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·fb7d·767a·4dd9·2d38·f653·d1a0·7c9c··...}vzM.-8.S..|. | ||
| 00024d00:·98 | 00024d00:·982e·6600·0000·0976·6d6c·6962·7261·7279··..f....vmlibrary | ||
| 00024d10:·0000·0000·0002·3da3·0000·0000·0000·0ecb··......=......... | 00024d10:·0000·0000·0002·3da3·0000·0000·0000·0ecb··......=......... | ||
| 00024d20:·be08·fe12·4274·4063·df09·6081·b270·f1fb··....Bt@c..`..p.. | 00024d20:·be08·fe12·4274·4063·df09·6081·b270·f1fb··....Bt@c..`..p.. |
| Offset 1, 8 lines modified | Offset 1, 8 lines modified | ||
| 00000000:·436f·7121·0001·4050·0000·0000·0004·22b | 00000000:·436f·7121·0001·4050·0000·0000·0004·22b5··Coq!..@P......". | ||
| 00000010:·8495·a6be·0000·015d·0000·0044·0000·00e7··.......]...D.... | 00000010:·8495·a6be·0000·015d·0000·0044·0000·00e7··.......]...D.... | ||
| 00000020:·0000·00c5·c0a0·2672·6567·6578·70a0·2752··......®exp.'R | 00000020:·0000·00c5·c0a0·2672·6567·6578·70a0·2752··......®exp.'R | ||
| 00000030:·6567·4c61·6e67·4008·0000·2300·a0a0·2750··egLang@...#...'P | 00000030:·6567·4c61·6e67·4008·0000·2300·a0a0·2750··egLang@...#...'P | ||
| 00000040:·7265·6c75·6465·a024·496e·6974·a023·436f··relude.$Init.#Co | 00000040:·7265·6c75·6465·a024·496e·6974·a023·436f··relude.$Init.#Co | ||
| 00000050:·7140·9030·6e1e·a766·5334·e4bc·65c3·cc25··q@.0n..fS4..e..% | 00000050:·7140·9030·6e1e·a766·5334·e4bc·65c3·cc25··q@.0n..fS4..e..% | ||
| 00000060:·eb7f·ca42·a0a0·2a73·7472·7563·7475·7265··...B..*structure | 00000060:·eb7f·ca42·a0a0·2a73·7472·7563·7475·7265··...B..*structure | ||
| 00000070:·73a0·2248·4240·9030·2661·983d·18f8·27cc··s."HB@.0&a.=..'. | 00000070:·73a0·2248·4240·9030·2661·983d·18f8·27cc··s."HB@.0&a.=..'. | ||
| 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·5802·80de·15f9·592a·320a·a871··g@.0X.....Y*2..q | ||
| 00000130:· | 00000130:·8cc5·e4b7·a0a0·2364·6661·a027·5265·674c··......#dfa.'RegL | ||
| 00000140:·616e·6740·9030· | 00000140:·616e·6740·9030·8ad9·6c72·71b2·d801·a674··ang@.0..lrq....t | ||
| 00000150:· | 00000150:·4a3f·c20d·1e05·a0a0·236e·6661·a027·5265··J?......#nfa.'Re | ||
| 00000160:·674c·616e·6740·9030·73ac·9acc·ed67·da3c··gLang@.0s....g.< | |||
| 00000170:·1ffe·c27a·6b46·ab7c·2535·2e32·2e30·a040··...zkF.|%5.2.0.@ | |||
| 000001 | 00000160:·674c·616e·6740·9030·5262·2780·b544·59cb··gLang@.0Rb'..DY. | ||
| 00000170:·4df1·5e79·8abc·2679·2535·2e32·2e30·a040··M.^y..&y%5.2.0.@ | |||
| 00000180:·4011·ac28·ff02·4736·dc82·fe18·cea6·312f··@..(..G6......1/ | |||
| 00000190:· | 00000190:·5384·95a6·be00·01dd·5200·0072·8a00·0186··S.......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·3052·6227·80b5·4459·cb4d·f15e··ng@.0Rb'..DY.M.^ | ||
| 00007690:·7 | 00007690:·798a·bc26·79a0·a02a·7365·746f·6964·5f6c··y..&y..*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, 14822 lines modified | Offset 2130, 14822 lines modified | ||
| 00008510:·a0c0·e090·2e52·6567·4c61·6e67·2e72·6567··.....RegLang.reg | 00008510:·a0c0·e090·2e52·6567·4c61·6e67·2e72·6567··.....RegLang.reg | ||
| 00008520:·6578·7033·2e2f·7468·656f·7269·6573·2f72··exp3./theories/r | 00008520:·6578·7033·2e2f·7468·656f·7269·6573·2f72··exp3./theories/r | ||
| 00008530:·6567·6578·702e·7601·0334·0103·7f61·0103··egexp.v..4...a.. | 00008530:·6567·6578·702e·7601·0334·0103·7f61·0103··egexp.v..4...a.. | ||
| 00008540:·34c0·4040·4041·b0c3·9140·2f6c·6f63·616c··4.@@@A...@/local | 00008540:·34c0·4040·4041·b0c3·9140·2f6c·6f63·616c··4.@@@A...@/local | ||
| 00008550:·2d63·616e·6f6e·6963·616c·b095·a091·0448··-canonical.....H | 00008550:·2d63·616e·6f6e·6963·616c·b095·a091·0448··-canonical.....H | ||
| 00008560:·5804·0da0·2254·7990·9090·9028·636f·6e73··X..."Ty....(cons | 00008560:·5804·0da0·2254·7990·9090·9028·636f·6e73··X..."Ty....(cons | Diff chunk too large, falling back to line-by-line diff (14815 lines added, 14815 lines removed) | |
| 00008570:·7461·6e74·4004·14a0·0407·9090·9040·4040··tant@........@@@ | 00008570:·7461·6e74·4004·14a0·0407·9090·9040·4040··tant@........@@@ | ||
| 00008580:·4040·2 | 00008580:·4040·2932·3536·3738·3635·3039·e0d0·d0d0··@@)256786509.... | ||
| 00008590:·4025 | 00008590:·d040·2540·6361·7374·a0b0·b490·a021·5422··.@%@cast.....!T" | ||
| 000085a0:·7040 | 000085a0:·6c70·40b0·b490·a022·5459·0406·40b0·c391··lp@...."TY..@... | ||
| 000085b0:·236c | 000085b0:·4023·6c65·74b0·95a0·9024·6361·7374·53e0··@#let....$castS. | ||
| 000085c0:·3063 | 000085c0:·4030·636f·712d·6275·696c·7469·6e2e·656c··@0coq-builtin.el | ||
| 000085d0:·6901 | 000085d0:·7069·0124·e801·24ee·0100·e101·24cf·a004··pi.$..$.....$... | ||
| 000085e0:·9040 | 000085e0:·2990·40a0·b0a1·9004·1704·12e0·4004·0801··).@.........@... | ||
| 000085f0:·ef01 | 000085f0:·24ef·0124·f101·00e1·0124·cfa0·0430·9040··$..$.....$...0.@ | ||
| 00008600:·b0a1 | 00008600:·a0b0·a190·041e·041f·e040·040f·0124·f201··.........@...$.. | ||
| 00008610:·f301 | 00008610:·24f3·0100·e101·24cf·a004·3790·40a0·b0b4··$.....$...7.@... | ||
| 00008620:·a021 | 00008620:·90a0·2178·0427·40b0·a190·042a·0404·e040··..!x.'@....*...@ | ||
| 00008630:·1b01 | 00008630:·041b·0124·f601·24f7·0100·e101·24cf·a004··...$..$.....$... | ||
| 00008640:·9040 | 00008640:·4390·40e0·4004·1e01·24f4·0124·f701·00e1··C.@.@...$..$.... | ||
| 00008650:·24cf | 00008650:·0124·cfa0·0446·9040·40e0·4004·2101·24e4··.$...F.@@.@.!.$. | ||
| 00008660:·24f7 | 00008660:·0124·f701·00e1·0124·cfa0·0449·9040·e040··.$.....$...I.@.@ | ||
| 00008670:·2401 | 00008670:·0424·0124·dd01·24f7·0100·e101·24cf·a004··.$.$..$.....$... | ||
| 00008680:·9040 | 00008680:·4c90·40e0·4004·2701·24db·0124·f701·00e1··L.@.@.'.$..$.... | ||
| 00008690:·24cf | 00008690:·0124·cfa0·044f·9040·e040·042a·0124·cf01··.$...O.@.@.*.$.. | ||
| 000086a0:·f801 | 000086a0:·24f8·0100·e101·24cf·d040·2a40·636f·6572··$.....$..@*@coer | ||
| 000086b0:·696f | 000086b0:·6369·6f6e·21a0·b0c3·9140·223a·3ab0·c391··cion!....@"::... | ||
| 000086c0:·2863 | 000086c0:·4028·636f·6572·6369·6f6e·b0a1·9140·2a72··@(coercion...@*r | ||
| 000086d0:·7665 | 000086d0:·6576·6572·7369·626c·65e0·4004·3a01·531a··eversible.@.:.S. | ||
| 000086e0:·5324 | 000086e0:·0153·2401·01f2·0152·fca0·0462·9040·40e0··.S$....R...b.@@. | ||
| 000086f0:·043d | 000086f0:·4004·3d01·5311·0153·2401·01f2·0152·fca0··@.=.S..S$....R.. | ||
| 00008700:·6590 | 00008700:·0465·9040·a0b0·a191·4022·5b5d·e040·0445··.e.@....@"[].@.E | ||
| 00008710:·5324 | 00008710:·0153·2401·5325·0101·f201·52fc·a004·6d90··.S$.S%....R...m. | ||
| 00008720:·40 | 00008720:·4040·e040·0448·0153·1001·5325·0101·f201··@@.@.H.S..S%.... | ||
| 00008730:·fca0 | 00008730:·52fc·a004·7090·40e0·4004·4b01·52fc·0153··R...p.@.@.K.R..S | ||
| 00008740:·0101 | 00008740:·2501·01f2·0152·fc40·4142·2c40·6465·7072··%....R.@AB,@depr | ||
| 00008750:·6361 | 00008750:·6563·6174·6564·21a0·b0b4·90a0·2553·696e··ecated!.....%Sin | ||
| 00008760:·6504 | 00008760:·6365·0462·40b0·b490·a023·4d73·6704·6740··ce.b@....#Msg.g@ | ||
| 00008770:·c391 | 00008770:·b0c3·9140·2a67·6574·2d6f·7074·696f·6eb0··...@*get-option. | ||
| 00008780:·a02e | 00008780:·95a0·2e63·6f71·3a64·6570·7265·6361·7465··...coq:deprecate | ||
| 00008790:·43e0 | 00008790:·6443·e040·0460·0152·8001·5290·0101·ed01··dC.@.`.R..R..... | ||
| 000087a0:·73a0 | 000087a0:·5273·a004·8890·40a0·b0c3·9140·2270·72b0··Rs....@....@"pr. | ||
| 000087b0:·9004 | 000087b0:·a190·047a·0419·e040·046b·0152·9501·529a··...z...@.k.R..R. | ||
| 000087c0:·01ed | 000087c0:·0101·ed01·5273·a004·9390·40a0·b0a1·9004··....Rs....@..... | ||
| 000087d0:·041b | 000087d0:·8104·1be0·4004·7201·529b·0152·9e01·01ed··....@.r.R..R.... | ||
| 000087e0:·5273 | 000087e0:·0152·73a0·049a·9040·40e0·4004·7501·5292··.Rs....@@.@.u.R. | ||
| 000087f0:·529e | 000087f0:·0152·9e01·01ed·0152·73a0·049d·9040·40e0··.R.....Rs....@@. | ||
| 00008800:·0478 | 00008800:·4004·7801·5275·0152·9f01·01ed·0152·73a0··@.x.Ru.R.....Rs. | ||
| 00008810:·a090 | 00008810:·04a0·9040·e040·047b·0152·6c01·529f·0101··...@.@.{.Rl.R... | ||
| 00008820:·0152 | 00008820:·ed01·5273·a004·a390·40e0·4004·7e01·5266··..Rs....@.@.~.Rf | ||
| 00008830:·529f | 00008830:·0152·9f01·01ed·0152·73a0·04a6·9040·e040··.R.....Rs....@.@ | ||
| 00008840:·8101 | 00008840:·0481·0152·5301·529f·0101·ec01·5253·d040··...RS.R.....RS.@ | ||
| 00008850:·4064 | 00008850:·2b40·6472·6f70·756e·6976·7321·a0b0·c391··+@dropunivs!.... | ||
| 00008860:·042d | 00008860:·4004·2db0·95a0·2d63·6f71·3a6b·6565·7075··@.-...-coq:keepu | ||
| 00008870:·6976 | 00008870:·6e69·7673·43e0·4004·8c01·50c2·0150·d101··nivsC.@...P..P.. | ||
| 00008880:·e201 | 00008880:·01e2·0150·a2a0·04b4·9040·a0b0·a191·4022··...P.....@....@" | ||
| 00008890:·66e0 | 00008890:·6666·e040·0494·0150·d201·50d4·0101·e201··ff.@...P..P..... | ||
| 000088a0:·a2a0 | 000088a0:·50a2·a004·bc90·4040·e040·0497·0150·b701··P.....@@.@...P.. | ||
| 000088b0:·d401 | 000088b0:·50d4·0101·e201·50a2·a004·bf90·40e0·4004··P.....P.....@.@. | ||
| 000088c0:·0150 | 000088c0:·9a01·50a2·0150·d401·01e2·0150·a240·4143··..P..P.....P.@AC | ||
| 000088d0:·4067 | 000088d0:·2840·676c·6f62·616c·21a0·b0c3·9140·0445··(@global!....@.E | ||
| 000088e0:·95a0 | 000088e0:·b095·a02c·636f·713a·6c6f·6361·6c69·7479··...,coq:locality | ||
| 000088f0:·e040 | 000088f0:·43e0·4004·a401·1805·0118·1301·0095·0117··C.@............. | ||
| 00008900:·a004 | 00008900:·e6a0·04cc·9040·a0b0·95a0·2667·6c6f·6261··.....@....&globa | ||
| 00008910:·43e0 | 00008910:·6c43·e040·04ac·0118·1401·181c·0100·9501··lC.@............ | ||
| 00008920:·e6a0 | 00008920:·17e6·a004·d490·4040·e040·04af·0117·fa01··......@@.@...... | ||
| 00008930:·1c01 | 00008930:·181c·0100·9501·17e6·a004·d790·40e0·4004··............@.@. | ||
| 00008940:·0117 | 00008940:·b201·17e6·0118·1c01·0095·0117·e6d0·d0d0··................ | ||
| 00008950:·2740 | 00008950:·4027·4068·6f6c·6573·21a0·b0c3·9140·0460··@'@holes!....@.` | ||
| 00008960:·95a0 | 00008960:·b095·a02a·484f·4153·3a68·6f6c·6573·43e0··...*HOAS:holesC. | ||
| 00008970:·04bf | 00008970:·4004·bf01·33ad·0133·b901·0143·0133·91a0··@...3..3...C.3.. | ||
| 00008980:·e790 | 00008980:·04e7·9040·a0b0·a191·4022·7474·e040·04c7··...@....@"tt.@.. | ||
| 00008990:·33ba | 00008990:·0133·ba01·33bc·0101·4301·3391·a004·ef90··.3..3...C.3..... | ||
| 000089a0:·40 | 000089a0:·4040·e040·04ca·0133·a201·33bc·0101·4301··@@.@...3..3...C. | ||
| 000089b0:·91a0 | 000089b0:·3391·a004·f290·40e0·4004·cd01·3391·0133··3.....@.@...3..3 | ||
| Max diff block lines reached; -1/2048957 bytes (-0.00%) 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·5802··es.'RegLang@.0X. | ||
| 00000130:· | 00000130:·80de·15f9·592a·320a·a871·8cc5·e4b7·a0a0··....Y*2..q...... | ||
| 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:·8ad9·6c72·71b2·d801·a674·4a3f·c20d·1e05··..lrq....tJ?.... | ||
| 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·a26b·1c7f··.'RegLang@.0.k.. | ||
| 00000180:· | 00000180:·8937·ce06·a4f1·753e·c9c2·1d06·a0a0·2774··.7....u>......'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· | 000001a0:·9030·37d6·51ed·ff58·14b8·56af·f025·1f2d··.07.Q..X..V..%.- | ||
| 000001b0:· | 000001b0:·7aff·2535·2e32·2e30·a040·40a5·3f8a·3b2d··z.%5.2.0.@@.?.;- | ||
| 000001c0:· | 000001c0:·390d·af74·8758·5955·599b·d584·95a6·be00··9..t.XYUY....... | ||
| 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·3037·d651·edff·5814··........07.Q..X. | ||
| 000070c0:· | 000070c0:·b856·aff0·251f·2d7a·ff90·40a0·4040·a0a0··.V..%.-z..@.@@.. | ||
| 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·e6cd·c0ff·b2f0··3@@ABCDE@@...... | ||
| 0000a350:· | 0000a350:·a1ec·7cca·6579·3975·1b59·8495·a6be·0002··..|.ey9u.Y...... | ||
| 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·7fe6·cdc0··................ | ||
| 00030e30:· | 00030e30:·ffb2·f0a1·ec7c·ca65·7939·751b·5900·0000··.....|.ey9u.Y... | ||
| 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·aba5·3f8a·3b2d·390d·af74·8758·5955··....?.;-9..t.XYU | ||
| 00030e90:· | 00030e90:·599b·d500·0000·0976·6d6c·6962·7261·7279··Y......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·5802·80de·15f9·592a·320a·a871··g@.0X.....Y*2..q | ||
| 000000e0:· | 000000e0:·8cc5·e4b7·a0a0·2364·6661·a027·5265·674c··......#dfa.'RegL | ||
| 000000f0:·616e·6740·9030· | 000000f0:·616e·6740·9030·8ad9·6c72·71b2·d801·a674··ang@.0..lrq....t | ||
| 00000100:· | 00000100:·4a3f·c20d·1e05·a0a0·2672·6567·6578·70a0··J?......®exp. | ||
| 00000110:·2752·6567·4c61·6e67·4090·30 | 00000110:·2752·6567·4c61·6e67·4090·30e3·a17f·b335··'RegLang@.0....5 | ||
| 00000120:· | 00000120:·4a57·2ee1·9113·06a8·b224·baa0·a02d·6d79··JW.......$...-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·30a2·6b1c·7f89·37ce·06a4··Lang@.0.k...7... | ||
| 00000150:· | 00000150:·f175·3ec9·c21d·0625·352e·322e·30a0·4040··.u>....%5.2.0.@@ | ||
| 00000160:·d | 00000160:·dafc·ca27·bc45·3c7a·9fa3·921f·a863·6999··...'.E<z.....ci. | ||
| 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·30a2·6b1c·7f89·37ce·06a4·f175··ng@.0.k...7....u | ||
| 00005770:· | 00005770:·3ec9·c21d·0690·40a0·4040·a0a0·95a0·021c··>.....@.@@...... | ||
| 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:·4037·d651·edff·5814·b856·aff0·251f·2d7a··@7.Q..X..V..%.-z | ||
| 00007de0:· | 00007de0:·ff84·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:·37d6·51ed·ff58·14b8·56af·f025·1f2d·7aff··7.Q..X..V..%.-z. | ||
| 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·d | 000157b0:·0000·0000·0150·dafc·ca27·bc45·3c7a·9fa3··.....P...'.E<z.. | ||
| 000157c0:· | 000157c0:·921f·a863·6999·0000·0009·766d·6c69·6272··...ci.....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·5802·80de·15f9·592a·320a·a871·8cc5··.0X.....Y*2..q.. | ||
| 000000e0:· | 000000e0:·e4b7·a0a0·236e·6661·a027·5265·674c·616e··....#nfa.'RegLan | ||
| 000000f0:·6740·9030· | 000000f0:·6740·9030·5262·2780·b544·59cb·4df1·5e79··g@.0Rb'..DY.M.^y | ||
| 00000100:· | 00000100:·8abc·2679·a0a0·2774·776f·5f77·6179·a027··..&y..'two_way.' | ||
| 00000110:·5265·674c·616e·6740·9030· | 00000110:·5265·674c·616e·6740·9030·37d6·51ed·ff58··RegLang@.07.Q..X | ||
| 00000120:·2ac7·0a33·427f·b617·f520·2535·2e32·2e30··*..3B....·%5.2.0 | |||
| 000001 | 00000120:·14b8·56af·f025·1f2d·7aff·2535·2e32·2e30··..V..%.-z.%5.2.0 | ||
| 00000130:·a040·4063·6d72·1d5e·9fdb·a36e·b659·ac02··.@@cmr.^...n.Y.. | |||
| 00000140:· | 00000140:·ab75·d184·95a6·be00·004a·9600·000f·5c00··.u.......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:·3037·d651·edff·5814·b856·aff0·251f·2d7a··07.Q..X..V..%.-z | ||
| 000041c0:· | 000041c0:·ff90·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·4081·44a9··....@@ABCDE@@.D. | ||
| 00004bf0:· | 00004bf0:·3f4b·f680·b52a·21db·1ca6·1964·5084·95a6··?K...*!....dP... | ||
| 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·8144··.....C......J..D | ||
| 00014a70:· | 00014a70:·a93f·4bf6·80b5·2a21·db1c·a619·6450·0000··.?K...*!....dP.. | ||
| 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·636d·721d·5e9f·dba3·6eb6·59ac··...#cmr.^...n.Y. | ||
| 00014ad0:· | 00014ad0:·02ab·75d1·0000·0009·766d·6c69·6272·6172··..u.....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:·3058·0280·de15·f959·2a32·0aa8·718c·c5e4··0X.....Y*2..q... | ||
| 000000e0:· | 000000e0:·b7a0·a023·6466·61a0·2752·6567·4c61·6e67··...#dfa.'RegLang | ||
| 000000f0:·4090·30 | 000000f0:·4090·308a·d96c·7271·b2d8·01a6·744a·3fc2··@.0..lrq....tJ?. | ||
| 00000100:· | 00000100:·0d1e·05a0·a023·6e66·61a0·2752·6567·4c61··.....#nfa.'RegLa | ||
| 00000110:·6e67·4090·30 | 00000110:·6e67·4090·3052·6227·80b5·4459·cb4d·f15e··ng@.0Rb'..DY.M.^ | ||
| 00000120:·7 | 00000120:·798a·bc26·79a0·a026·7265·6765·7870·a027··y..&y..®exp.' | ||
| 00000130:·5265·674c·616e·6740·9030· | 00000130:·5265·674c·616e·6740·9030·e3a1·7fb3·354a··RegLang@.0....5J | ||
| 00000140:·0d57·b8c3·6d3f·670d·e26d·2535·2e32·2e30··.W..m?g..m%5.2.0 | |||
| 000001 | 00000140:·572e·e191·1306·a8b2·24ba·2535·2e32·2e30··W.......$.%5.2.0 | ||
| 00000150:·a040·4027·4e4c·3eff·eeb3·343c·9d70·b6a0··.@@'NL>...4<.p.. | |||
| 00000160:· | 00000160:·f78e·3a84·95a6·be00·00e5·4600·003b·3700··..:.......F..;7. | ||
| 00000170:·00be·af00·00ba·f9b0·d0a0·2477·6d73·6fa0··..........$wmso. | 00000170:·00be·af00·00ba·f9b0·d0a0·2477·6d73·6fa0··..........$wmso. | ||
| 00000180:·2752·6567·4c61·6e67·40e0·9004·0641·90a0··'RegLang@....A.. | 00000180:·2752·6567·4c61·6e67·40e0·9004·0641·90a0··'RegLang@....A.. | ||
| 00000190:·a02b·6265·6865·6164·5f63·6f6e·7390·0800··.+behead_cons... | 00000190:·a02b·6265·6865·6164·5f63·6f6e·7390·0800··.+behead_cons... | ||
| 000001a0:·0027·0040·a080·8092·c040·4004·0f40·b6a0··.'.@.....@@..@.. | 000001a0:·0027·0040·a080·8092·c040·4004·0f40·b6a0··.'.@.....@@..@.. | ||
| 000001b0:·9021·5440·9490·a0a0·a003·0000·f5f8·42cf··.!T@..........B. | 000001b0:·9021·5440·9490·a0a0·a003·0000·f5f8·42cf··.!T@..........B. | ||
| 000001c0:·9cbc·90b0·a004·1aa0·0419·4020·0200·0090··..........@·.... | 000001c0:·9cbc·90b0·a004·1aa0·0419·4020·0200·0090··..........@·.... | ||
| 000001d0:·e940·40b6·a090·216e·409b·a0a0·90b0·90a0··.@@...!n@....... | 000001d0:·e940·40b6·a090·216e·409b·a0a0·90b0·90a0··.@@...!n@....... | ||
| Offset 2473, 16 lines modified | Offset 2473, 16 lines modified | ||
| 00009a80:·9341·0501·a140·41b0·051f·b041·0501·ea40··.A...@A....A...@ | 00009a80:·9341·0501·a140·41b0·051f·b041·0501·ea40··.A...@A....A...@ | ||
| 00009a90:·4243·4445·46b0·051f·b141·0501·e4c0·c040··BCDEF....A.....@ | 00009a90:·4243·4445·46b0·051f·b141·0501·e4c0·c040··BCDEF....A.....@ | ||
| 00009aa0:·b005·1fb4·4105·0189·4041·b005·1fb5·4104··....A...@A....A. | 00009aa0:·b005·1fb4·4105·0189·4041·b005·1fb5·4104··....A...@A....A. | ||
| 00009ab0:·b9c0·c0c0·40b0·051f·b941·a003·01f8·5a1d··....@....A....Z. | 00009ab0:·b9c0·c0c0·40b0·051f·b941·a003·01f8·5a1d··....@....A....Z. | ||
| 00009ac0:·0100·9a4d·90b0·0501·c605·01c3·0102·f240··...M...........@ | 00009ac0:·0100·9a4d·90b0·0501·c605·01c3·0102·f240··...M...........@ | ||
| 00009ad0:·41b0·051f·bd41·04bb·4042·b005·13bd·4205··A....A..@B....B. | 00009ad0:·41b0·051f·bd41·04bb·4042·b005·13bd·4205··A....A..@B....B. | ||
| 00009ae0:·11f5·c040·b005·13c7·4205·11ff·4041·4344··...@....B...@ACD | 00009ae0:·11f5·c040·b005·13c7·4205·11ff·4041·4344··...@....B...@ACD | ||
| 00009af0:·4748·494a·90a0·051d·ef90·30 | 00009af0:·4748·494a·90a0·051d·ef90·30e3·a17f·b335··GHIJ......0....5 | ||
| 00009b00:· | 00009b00:·4a57·2ee1·9113·06a8·b224·ba90·40a0·a095··JW.......$..@... | ||
| 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·4093·24b3··....@@ABCDE@@.$. | ||
| 0000e6c0:· | 0000e6c0:·0c34·8925·69a7·bfff·dfba·e5a7·1784·95a6··.4.%i........... | ||
| 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·9324·b30c··...c.......Z.$.. | ||
| 000511a0:·3 | 000511a0:·3489·2569·a7bf·ffdf·bae5·a717·0000·0007··4.%i............ | ||
| 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·274e·4c3e·ffee·b334·3c9d·70b6·a0f7··.C'NL>...4<.p... | ||
| 00051200:· | 00051200:·8e3a·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 | e7ue0 | |