| Offset 1, 2 lines modified | Offset 1, 2 lines modified | ||
| 1 | · | 1 | ·64a1574ce7753ec8a5c066fb0392c80c·874676·ocaml·optional·libcoq-reglang_1.2.1-4_amd64.deb |
| Offset 1, 3 lines modified | Offset 1, 3 lines modified | ||
| 1 | -rw-r--r--···0········0········0········4·2024-08-04·06:10:46.000000·debian-binary | 1 | -rw-r--r--···0········0········0········4·2024-08-04·06:10:46.000000·debian-binary |
| 2 | -rw-r--r--···0········0········0·····184 | 2 | -rw-r--r--···0········0········0·····1840·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···872644·2024-08-04·06:10:46.000000·data.tar.xz |
| Offset 1, 15 lines modified | Offset 1, 15 lines modified | ||
| 1 | Package:·libcoq-reglang | 1 | Package:·libcoq-reglang |
| 2 | Source:·coq-reglang | 2 | Source:·coq-reglang |
| 3 | Version:·1.2.1-4 | 3 | Version:·1.2.1-4 |
| 4 | Architecture:·amd64 | 4 | Architecture:·amd64 |
| 5 | Maintainer:·Debian·OCaml·Maintainers·<debian-ocaml-maint@lists.debian.org> | 5 | Maintainer:·Debian·OCaml·Maintainers·<debian-ocaml-maint@lists.debian.org> |
| 6 | Installed-Size:·2833 | 6 | Installed-Size:·2833 |
| 7 | Depends:·libcoq-mathcomp-ssreflect-eojd5,·libcoq-stdlib-p29e7 | 7 | Depends:·libcoq-mathcomp-ssreflect-eojd5,·libcoq-stdlib-p29e7 |
| 8 | Provides:·libcoq-reglang- | 8 | Provides:·libcoq-reglang-2hrx5 |
| 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 11, 27 lines modified | Offset 11, 27 lines modified | ||
| 11 | -rw-r--r--···0·root·········(0)·root·········(0)····18590·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/dfa.v | 11 | -rw-r--r--···0·root·········(0)·root·········(0)····18590·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/dfa.v |
| 12 | -rw-r--r--···0·root·········(0)·root·········(0)···133815·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/dfa.vo | 12 | -rw-r--r--···0·root·········(0)·root·········(0)···133815·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/dfa.vo |
| 13 | -rw-r--r--···0·root·········(0)·root·········(0)····33103·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/languages.glob | 13 | -rw-r--r--···0·root·········(0)·root·········(0)····33103·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/languages.glob |
| 14 | -rw-r--r--···0·root·········(0)·root·········(0)·····6680·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/languages.v | 14 | -rw-r--r--···0·root·········(0)·root·········(0)·····6680·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/languages.v |
| 15 | -rw-r--r--···0·root·········(0)·root·········(0)···135100·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/languages.vo | 15 | -rw-r--r--···0·root·········(0)·root·········(0)···135100·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/languages.vo |
| 16 | -rw-r--r--···0·root·········(0)·root·········(0)····57489·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/minimization.glob | 16 | -rw-r--r--···0·root·········(0)·root·········(0)····57489·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/minimization.glob |
| 17 | -rw-r--r--···0·root·········(0)·root·········(0)····10865·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/minimization.v | 17 | -rw-r--r--···0·root·········(0)·root·········(0)····10865·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/minimization.v |
| 18 | -rw-r--r--···0·root·········(0)·root·········(0)···1738 | 18 | -rw-r--r--···0·root·········(0)·root·········(0)···173839·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/minimization.vo |
| 19 | -rw-r--r--···0·root·········(0)·root·········(0)····41026·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/misc.glob | 19 | -rw-r--r--···0·root·········(0)·root·········(0)····41026·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/misc.glob |
| 20 | -rw-r--r--···0·root·········(0)·root·········(0)·····7345·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/misc.v | 20 | -rw-r--r--···0·root·········(0)·root·········(0)·····7345·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/misc.v |
| 21 | -rw-r--r--···0·root·········(0)·root·········(0)····57057·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/misc.vo | 21 | -rw-r--r--···0·root·········(0)·root·········(0)····57057·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/misc.vo |
| 22 | -rw-r--r--···0·root·········(0)·root·········(0)····26300·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/myhill_nerode.glob | 22 | -rw-r--r--···0·root·········(0)·root·········(0)····26300·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/myhill_nerode.glob |
| 23 | -rw-r--r--···0·root·········(0)·root·········(0)·····6799·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/myhill_nerode.v | 23 | -rw-r--r--···0·root·········(0)·root·········(0)·····6799·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/myhill_nerode.v |
| 24 | -rw-r--r--···0·root·········(0)·root·········(0)····48894·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/myhill_nerode.vo | 24 | -rw-r--r--···0·root·········(0)·root·········(0)····48894·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/myhill_nerode.vo |
| 25 | -rw-r--r--···0·root·········(0)·root·········(0)····72541·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/nfa.glob | 25 | -rw-r--r--···0·root·········(0)·root·········(0)····72541·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/nfa.glob |
| 26 | -rw-r--r--···0·root·········(0)·root·········(0)····15855·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/nfa.v | 26 | -rw-r--r--···0·root·········(0)·root·········(0)····15855·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/nfa.v |
| 27 | -rw-r--r--···0·root·········(0)·root·········(0)···150832·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/nfa.vo | 27 | -rw-r--r--···0·root·········(0)·root·········(0)···150832·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/nfa.vo |
| 28 | -rw-r--r--···0·root·········(0)·root·········(0)···119188·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/regexp.glob | 28 | -rw-r--r--···0·root·········(0)·root·········(0)···119188·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/regexp.glob |
| 29 | -rw-r--r--···0·root·········(0)·root·········(0)····18831·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/regexp.v | 29 | -rw-r--r--···0·root·········(0)·root·········(0)····18831·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/regexp.v |
| 30 | -rw-r--r--···0·root·········(0)·root·········(0)···27120 | 30 | -rw-r--r--···0·root·········(0)·root·········(0)···271207·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/regexp.vo |
| 31 | -rw-r--r--···0·root·········(0)·root·········(0)·····8790·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/setoid_leq.glob | 31 | -rw-r--r--···0·root·········(0)·root·········(0)·····8790·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/setoid_leq.glob |
| 32 | -rw-r--r--···0·root·········(0)·root·········(0)·····2069·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/setoid_leq.v | 32 | -rw-r--r--···0·root·········(0)·root·········(0)·····2069·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/setoid_leq.v |
| 33 | -rw-r--r--···0·root·········(0)·root·········(0)····18667·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/setoid_leq.vo | 33 | -rw-r--r--···0·root·········(0)·root·········(0)····18667·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/setoid_leq.vo |
| 34 | -rw-r--r--···0·root·········(0)·root·········(0)···157044·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/shepherdson.glob | 34 | -rw-r--r--···0·root·········(0)·root·········(0)···157044·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/shepherdson.glob |
| 35 | -rw-r--r--···0·root·········(0)·root·········(0)····17730·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/shepherdson.v | 35 | -rw-r--r--···0·root·········(0)·root·········(0)····17730·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/shepherdson.v |
| 36 | -rw-r--r--···0·root·········(0)·root·········(0)···200384·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/shepherdson.vo | 36 | -rw-r--r--···0·root·········(0)·root·········(0)···200384·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/shepherdson.vo |
| 37 | -rw-r--r--···0·root·········(0)·root·········(0)····58791·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/two_way.glob | 37 | -rw-r--r--···0·root·········(0)·root·········(0)····58791·2024-08-04·06:10:46.000000·./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq/user-contrib/RegLang/two_way.glob |
| Offset 7, 17 lines modified | Offset 7, 17 lines modified | ||
| 00000060:·616c·6c5f·7373·7265·666c·6563·74a0·2973··all_ssreflect.)s | 00000060:·616c·6c5f·7373·7265·666c·6563·74a0·2973··all_ssreflect.)s | ||
| 00000070:·7372·6566·6c65·6374·a028·6d61·7468·636f··sreflect.(mathco | 00000070:·7372·6566·6c65·6374·a028·6d61·7468·636f··sreflect.(mathco | ||
| 00000080:·6d70·4090·307f·5474·6bbe·8139·449e·263e··mp@.0.Ttk..9D.&> | 00000080:·6d70·4090·307f·5474·6bbe·8139·449e·263e··mp@.0.Ttk..9D.&> | ||
| 00000090:·0e95·a807·fca0·a024·6d69·7363·a027·5265··.......$misc.'Re | 00000090:·0e95·a807·fca0·a024·6d69·7363·a027·5265··.......$misc.'Re | ||
| 000000a0:·674c·616e·6740·9030·3ea0·b7b5·9333·89f9··gLang@.0>....3.. | 000000a0:·674c·616e·6740·9030·3ea0·b7b5·9333·89f9··gLang@.0>....3.. | ||
| 000000b0:·9e46·1f37·050e·0011·a0a0·296c·616e·6775··.F.7......)langu | 000000b0:·9e46·1f37·050e·0011·a0a0·296c·616e·6775··.F.7......)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:·6630·d2f1·e12e·6465·f333·3f7e·61d8·96d6··f0....de.3?~a... | ||
| 000000e0:·2535·2e32·2e30·a040·40 | 000000e0:·2535·2e32·2e30·a040·40d3·f364·cd6f·f514··%5.2.0.@@..d.o.. | ||
| 000000f0:· | 000000f0:·5717·e07d·e56f·2e4f·ac84·95a6·be00·00ca··W..}.o.O........ | ||
| 00000100:·bc00·0030·5900·00a5·4900·00a2·1db0·d0a0··...0Y...I....... | 00000100:·bc00·0030·5900·00a5·4900·00a2·1db0·d0a0··...0Y...I....... | ||
| 00000110:·2364·6661·a027·5265·674c·616e·6740·e090··#dfa.'RegLang@.. | 00000110:·2364·6661·a027·5265·674c·616e·6740·e090··#dfa.'RegLang@.. | ||
| 00000120:·0406·4190·a0a0·0408·9108·0000·3f00·9008··..A.........?... | 00000120:·0406·4190·a0a0·0408·9108·0000·3f00·9008··..A.........?... | ||
| 00000130:·0000·4300·040c·a0a0·a090·2463·6861·7240··..C.......$char@ | 00000130:·0000·4300·040c·a0a0·a090·2463·6861·7240··..C.......$char@ | ||
| 00000140:·9ba0·a090·b0a2·90a0·2766·696e·7479·7065··........'fintype | 00000140:·9ba0·a090·b0a2·90a0·2766·696e·7479·7065··........'fintype | ||
| 00000150:·a029·7373·7265·666c·6563·74a0·286d·6174··.)ssreflect.(mat | 00000150:·a029·7373·7265·666c·6563·74a0·286d·6174··.)ssreflect.(mat | ||
| 00000160:·6863·6f6d·7040·2646·696e·6974·6524·7479··hcomp@&Finite$ty | 00000160:·6863·6f6d·7040·2646·696e·6974·6524·7479··hcomp@&Finite$ty | ||
| Offset 2193, 16 lines modified | Offset 2193, 16 lines modified | ||
| 00008900:·b005·0191·4105·012a·4041·4243·44b0·0501··....A..*@ABCD... | 00008900:·b005·0191·4105·012a·4041·4243·44b0·0501··....A..*@ABCD... | ||
| 00008910:·9241·0501·02c0·c0c0·40b0·0501·9641·04ea··.A......@....A.. | 00008910:·9241·0501·02c0·c0c0·40b0·0501·9641·04ea··.A......@....A.. | ||
| 00008920:·4041·b005·0197·4105·0172·c040·b005·0199··@A....A..r.@.... | 00008920:·4041·b005·0197·4105·0172·c040·b005·0199··@A....A..r.@.... | ||
| 00008930:·4104·bf40·4142·b005·019a·4104·b3c0·c040··A..@AB....A....@ | 00008930:·4104·bf40·4142·b005·019a·4104·b3c0·c040··A..@AB....A....@ | ||
| 00008940:·b005·019d·4104·5340·41b0·051b·2e41·0501··....A.S@A....A.. | 00008940:·b005·019d·4104·5340·41b0·051b·2e41·0501··....A.S@A....A.. | ||
| 00008950:·f7c0·c040·b005·01a1·4105·01f5·4041·b004··...@....A...@A.. | 00008950:·f7c0·c040·b005·01a1·4105·01f5·4041·b004··...@....A...@A.. | ||
| 00008960:·5841·04c8·4042·4344·4548·4990·a0a0·0512··XA..@BCDEHI..... | 00008960:·5841·04c8·4042·4344·4548·4990·a0a0·0512··XA..@BCDEHI..... | ||
| 00008970:·ada0·0512·ac40·9030· | 00008970:·ada0·0512·ac40·9030·6630·d2f1·e12e·6465··.....@.0f0....de | ||
| 00008980:· | 00008980:·f333·3f7e·61d8·96d6·9040·a040·40a0·a095··.3?~a....@.@@... | ||
| 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·404e·4e6d·3f05·e099··@@ABCDE@@NNm?... | ||
| 0000cbd0:· | 0000cbd0:·11cc·d9bd·0e15·9f22·8284·95a6·be00·0135··.......".......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·4e4e·6d3f·05e0·9911·ccd9·bd0e··....NNm?........ | ||
| 00020a30:· | 00020a30:·159f·2282·0000·0007·6f70·6171·7565·7300··..".....opaques. | ||
| 00020a40:·0000·0000·00cb·d900·0000·0000·0135·c53a··.............5.: | 00020a40:·0000·0000·00cb·d900·0000·0000·0135·c53a··.............5.: | ||
| 00020a50:·58a4·da43·030e·5eea·7396·0cc0·f60f·0100··X..C..^.s....... | 00020a50:·58a4·da43·030e·5eea·7396·0cc0·f60f·0100··X..C..^.s....... | ||
| 00020a60:·0000·0773·756d·6d61·7279·0000·0000·0000··...summary...... | 00020a60:·0000·0773·756d·6d61·7279·0000·0000·0000··...summary...... | ||
| 00020a70:·0010·0000·0000·0000·00d9· | 00020a70:·0010·0000·0000·0000·00d9·d3f3·64cd·6ff5··............d.o. | ||
| 00020a80:· | 00020a80:·1457·17e0·7de5·6f2e·4fac·0000·0009·766d··.W..}.o.O.....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·3835·3334·3035·3838·30e0··@@@@@)853405880. | ||
| 00005190:·d0d0·d0d0·4025·4063·6173·74a0·b0b4·90a0··....@%@cast..... | 00005190:·d0d0·d0d0·4025·4063·6173·74a0·b0b4·90a0··....@%@cast..... | ||
| 000051a0:·2154·226c·7040·b0b4·90a0·2254·5904·0640··!T"lp@...."TY..@ | 000051a0:·2154·226c·7040·b0b4·90a0·2254·5904·0640··!T"lp@...."TY..@ | ||
| 000051b0:·b0c3·9140·236c·6574·b095·a090·2463·6173··...@#let....$cas | 000051b0:·b0c3·9140·236c·6574·b095·a090·2463·6173··...@#let....$cas | ||
| 000051c0:·7453·e040·3063·6f71·2d62·7569·6c74·696e··tS.@0coq-builtin | 000051c0:·7453·e040·3063·6f71·2d62·7569·6c74·696e··tS.@0coq-builtin | ||
| 000051d0:·2e65·6c70·6901·24e8·0124·ee01·00e1·0124··.elpi.$..$.....$ | 000051d0:·2e65·6c70·6901·24e8·0124·ee01·00e1·0124··.elpi.$..$.....$ | ||
| 000051e0:·cfa0·0429·9040·a0b0·a190·0417·0412·e040··...).@.........@ | 000051e0:·cfa0·0429·9040·a0b0·a190·0417·0412·e040··...).@.........@ | ||
| 000051f0:·0408·0124·ef01·24f1·0100·e101·24cf·a004··...$..$.....$... | 000051f0:·0408·0124·ef01·24f1·0100·e101·24cf·a004··...$..$.....$... | ||
| Offset 6045, 15 lines modified | Offset 6045, 15 lines modified | ||
| 000179c0:·0562·6701·0558·d040·0517·08a0·a090·40a0··.bg..X.@......@. | 000179c0:·0562·6701·0558·d040·0517·08a0·a090·40a0··.bg..X.@......@. | ||
| 000179d0:·9040·a090·41a0·9041·40e0·4005·1669·0101··.@..A..A@.@..i.. | 000179d0:·9040·a090·41a0·9041·40e0·4005·1669·0101··.@..A..A@.@..i.. | ||
| 000179e0:·ac01·01d5·4c01·01ac·d040·0517·07a0·a090··....L....@...... | 000179e0:·ac01·01d5·4c01·01ac·d040·0517·07a0·a090··....L....@...... | ||
| 000179f0:·40a0·9041·a090·4140·e040·0516·7201·01d7··@..A..A@.@..r... | 000179f0:·40a0·9041·a090·4140·e040·0516·7201·01d7··@..A..A@.@..r... | ||
| 00017a00:·0102·034d·0101·d7d0·4005·1705·a0a0·9040··...M....@......@ | 00017a00:·0102·034d·0101·d7d0·4005·1705·a0a0·9040··...M....@......@ | ||
| 00017a10:·a090·4140·e040·0516·7901·022a·0102·424f··..A@.@..y..*..BO | 00017a10:·a090·4140·e040·0516·7901·022a·0102·424f··..A@.@..y..*..BO | ||
| 00017a20:·0102·2a40·4142·4344·4546·4748·494b·4c05··..*@ABCDEFGHIKL. | 00017a20:·0102·2a40·4142·4344·4546·4748·494b·4c05··..*@ABCDEFGHIKL. | ||
| 00017a30:·4614·0c00·0000·0000· | 00017a30:·4614·0c00·0000·0000·80eb·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·4029·3 | 00017b30:·5590·9090·4040·4040·4029·3730·3236·3835··U...@@@@@)702685 | ||
| 00017b40:·3 | 00017b40:·3836·32e0·0546·4e05·40f0·053f·6d05·1734··862..FN.@..?m..4 | ||
| 00017b50:·0516·a505·466b·0c00·0000·0000· | 00017b50:·0516·a505·466b·0c00·0000·0000·c0f1·3e40··....Fk........>@ | ||
| 00017b60:·4140·a095·a002·320a·518f·a005·5073·b091··A@....2.Q...Ps.. | 00017b60:·4140·a095·a002·320a·518f·a005·5073·b091··A@....2.Q...Ps.. | ||
| 00017b70:·4940·40a0·95a0·020f·c0a2·b8a0·9005·4808··I@@...........H. | 00017b70:·4940·40a0·95a0·020f·c0a2·b8a0·9005·4808··I@@...........H. | ||
| 00017b80:·a0a0·9190·b005·560f·0550·7f02·0c9d·a512··......V..P...... | 00017b80:·a0a0·9190·b005·560f·0550·7f02·0c9d·a512··......V..P...... | ||
| 00017b90:·a0a0·40a0·90c0·b005·560a·4140·9190·4240··..@.....V.A@..B@ | 00017b90:·a0a0·40a0·90c0·b005·560a·4140·9190·4240··..@.....V.A@..B@ | ||
| 00017ba0:·41a0·40a0·4040·4040·a095·a002·2760·a06f··A.@.@@@@....'`.o | 00017ba0:·41a0·40a0·4040·4040·a095·a002·2760·a06f··A.@.@@@@....'`.o | ||
| 00017bb0:·d040·9104·11a0·40a0·4040·a090·9205·5614··.@....@.@@....V. | 00017bb0:·d040·9104·11a0·40a0·4040·a090·9205·5614··.@....@.@@....V. | ||
| 00017bc0:·a090·9105·5089·40d0·d0d0·4040·a005·4812··....P.@...@@..H. | 00017bc0:·a090·9105·5089·40d0·d0d0·4040·a005·4812··....P.@...@@..H. | ||
| Offset 6519, 53 lines modified | Offset 6519, 53 lines modified | ||
| 00019760:·a021·33b0·40d0·054f·21d0·e040·4040·4040··.!3.@..O!..@@@@@ | 00019760:·a021·33b0·40d0·054f·21d0·e040·4040·4040··.!3.@..O!..@@@@@ | ||
| 00019770:·054f·2040·a0c0·054f·1f05·4f1b·b0c3·9140··.O·@...O..O....@ | 00019770:·054f·2040·a0c0·054f·1f05·4f1b·b0c3·9140··.O·@...O..O....@ | ||
| 00019780:·0535·a2b0·c391·4005·45dd·b095·054f·1c05··.5....@.E....O.. | 00019780:·0535·a2b0·c391·4005·45dd·b095·054f·1c05··.5....@.E....O.. | ||
| 00019790:·4f27·a005·4f1a·9090·9005·45de·4005·4f2b··O'..O.....E.@.O+ | 00019790:·4f27·a005·4f1a·9090·9005·45de·4005·4f2b··O'..O.....E.@.O+ | ||
| 000197a0:·a005·4f1e·9090·9005·35aa·a0b0·95a0·054f··..O.....5......O | 000197a0:·a005·4f1e·9090·9005·35aa·a0b0·95a0·054f··..O.....5......O | ||
| 000197b0:·3344·054f·33a0·054f·2690·9090·0535·b040··3D.O3..O&....5.@ | 000197b0:·3344·054f·33a0·054f·2690·9090·0535·b040··3D.O3..O&....5.@ | ||
| 000197c0:·054f·37a0·054f·2a90·9090·4040·4040·4029··.O7..O*...@@@@@) | 000197c0:·054f·37a0·054f·2a90·9090·4040·4040·4029··.O7..O*...@@@@@) | ||
| 000197d0:·3 | 000197d0:·3335·3332·3234·3334·35e0·054f·2305·49c5··353224345..O#.I. | ||
| 000197e0:·0548·4205·2009·051f·7a05·4f40·0c00·0000··.HB.·...z.O@.... | 000197e0:·0548·4205·2009·051f·7a05·4f40·0c00·0000··.HB.·...z.O@.... | ||
| 000197f0:·0000· | 000197f0:·0000·00de·3ea0·4040·a095·a002·044e·ceb4··....>.@@.....N.. | ||
| 00019800:·a021·34b0·40d0·054f·4cd0·e040·4040·4040··.!4.@..OL..@@@@@ | 00019800:·a021·34b0·40d0·054f·4cd0·e040·4040·4040··.!4.@..OL..@@@@@ | ||
| 00019810:·054f·4b40·a0c0·054f·4a05·4f46·b0c3·9140··.OK@...OJ.OF...@ | 00019810:·054f·4b40·a0c0·054f·4a05·4f46·b0c3·9140··.OK@...OJ.OF...@ | ||
| 00019820:·0535·cdb0·c391·4005·4608·b095·a091·0559··.5....@.F......Y | 00019820:·0535·cdb0·c391·4005·4608·b095·a091·0559··.5....@.F......Y | ||
| 00019830:·5f58·054f·54a0·054f·4790·9090·0546·0b40··_X.OT..OG....F.@ | 00019830:·5f58·054f·54a0·054f·4790·9090·0546·0b40··_X.OT..OG....F.@ | ||
| 00019840:·054f·58a0·054f·4b90·9090·0535·d7a0·b095··.OX..OK....5.... | 00019840:·054f·58a0·054f·4b90·9090·0535·d7a0·b095··.OX..OK....5.... | ||
| 00019850:·042d·054f·5fa0·054f·5290·9090·0535·dc40··.-.O_..OR....5.@ | 00019850:·042d·054f·5fa0·054f·5290·9090·0535·dc40··.-.O_..OR....5.@ | ||
| 00019860:·054f·63a0·054f·5690·9090·4040·4040·4029··.Oc..OV...@@@@@) | 00019860:·054f·63a0·054f·5690·9090·4040·4040·4029··.Oc..OV...@@@@@) | ||
| 00019870:·3 | 00019870:·3335·3332·3234·3334·35e0·054f·4f05·49f1··353224345..OO.I. | ||
| 00019880:·0548·6e05·2035·051f·a605·4f6c·0c00·0000··.Hn.·5....Ol.... | 00019880:·0548·6e05·2035·051f·a605·4f6c·0c00·0000··.Hn.·5....Ol.... | ||
| 00019890:·0000· | 00019890:·0000·00ca·3ea0·4040·a095·a002·044e·ceb4··....>.@@.....N.. | ||
| 000198a0:·a021·35b0·40d0·054f·78d0·e040·4040·4040··.!5.@..Ox..@@@@@ | 000198a0:·a021·35b0·40d0·054f·78d0·e040·4040·4040··.!5.@..Ox..@@@@@ | ||
| 000198b0:·054f·7740·a0c0·054f·7605·4f72·b0c3·9140··.Ow@...Ov.Or...@ | 000198b0:·054f·7740·a0c0·054f·7605·4f72·b0c3·9140··.Ow@...Ov.Or...@ | ||
| 000198c0:·0535·f9b0·c391·4005·4634·b095·0509·2605··.5....@.F4....&. | 000198c0:·0535·f9b0·c391·4005·4634·b095·0509·2605··.5....@.F4....&. | ||
| 000198d0:·4f7e·a005·4f71·9090·9005·4635·4005·4f82··O~..Oq....F5@.O. | 000198d0:·4f7e·a005·4f71·9090·9005·4635·4005·4f82··O~..Oq....F5@.O. | ||
| 000198e0:·a005·4f75·9090·9005·3601·a0b0·9504·5705··..Ou....6.....W. | 000198e0:·a005·4f75·9090·9005·3601·a0b0·9504·5705··..Ou....6.....W. | ||
| 000198f0:·4f89·a005·4f7c·9090·9005·3606·4005·4f8d··O...O|....6.@.O. | 000198f0:·4f89·a005·4f7c·9090·9005·3606·4005·4f8d··O...O|....6.@.O. | ||
| 00019900:·a005·4f80·9090·9040·4040·4040·293 | 00019900:·a005·4f80·9090·9040·4040·4040·2933·3533··..O....@@@@@)353 | ||
| 00019910:·3 | 00019910:·3232·3433·3435·e005·4f79·054a·1b05·4898··224345..Oy.J..H. | ||
| 00019920:·0520·5f05·1fd0·054f·960c·0000·0000·0000··.·_....O........ | 00019920:·0520·5f05·1fd0·054f·960c·0000·0000·0000··.·_....O........ | ||
| 00019930:· | 00019930:·c03e·a040·40a0·95a0·0204·4ece·b4a0·2136··.>.@@.....N...!6 | ||
| 00019940:·b040·d005·4fa2·d0e0·4040·4040·4005·4fa1··.@..O...@@@@@.O. | 00019940:·b040·d005·4fa2·d0e0·4040·4040·4005·4fa1··.@..O...@@@@@.O. | ||
| 00019950:·40a0·c005·4fa0·054f·9cb0·c391·4005·3623··@...O..O....@.6# | 00019950:·40a0·c005·4fa0·054f·9cb0·c391·4005·3623··@...O..O....@.6# | ||
| 00019960:·b0c3·9140·0546·5eb0·95a0·9105·59e4·5805··...@.F^.....Y.X. | 00019960:·b0c3·9140·0546·5eb0·95a0·9105·59e4·5805··...@.F^.....Y.X. | ||
| 00019970:·4faa·a005·4f9d·9090·9005·4661·4005·4fae··O...O.....Fa@.O. | 00019970:·4faa·a005·4f9d·9090·9005·4661·4005·4fae··O...O.....Fa@.O. | ||
| 00019980:·a005·4fa1·9090·9005·362d·a0b0·9504·8305··..O.....6-...... | 00019980:·a005·4fa1·9090·9005·362d·a0b0·9504·8305··..O.....6-...... | ||
| 00019990:·4fb5·a005·4fa8·9090·9005·3632·4005·4fb9··O...O.....62@.O. | 00019990:·4fb5·a005·4fa8·9090·9005·3632·4005·4fb9··O...O.....62@.O. | ||
| 000199a0:·a005·4fac·9090·9040·4040·4040·293 | 000199a0:·a005·4fac·9090·9040·4040·4040·2933·3533··..O....@@@@@)353 | ||
| 000199b0:·3 | 000199b0:·3232·3433·3435·e005·4fa5·054a·4705·48c4··224345..O..JG.H. | ||
| 000199c0:·0520·8b05·1ffc·054f·c20c·0000·0000·0000··.·.....O........ | 000199c0:·0520·8b05·1ffc·054f·c20c·0000·0000·0000··.·.....O........ | ||
| 000199d0:· | 000199d0:·b03e·a040·40a0·95a0·0234·7dc1·ffa0·275f··.>.@@....4}...'_ | ||
| 000199e0:·454c·5049·5f33·c0a0·2268·62a0·2264·6240··ELPI_3.."hb."db@ | 000199e0:·454c·5049·5f33·c0a0·2268·62a0·2264·6240··ELPI_3.."hb."db@ | ||
| 000199f0:·a0a0·b005·5f64·04b6·020d·f2e8·6d04·b4a0··...._d......m... | 000199f0:·a0a0·b005·5f64·04b6·020d·f2e8·6d04·b4a0··...._d......m... | ||
| 00019a00:·a0b0·055f·6704·8e02·0df2·e86e·048c·a0a0··..._g......n.... | 00019a00:·a0b0·055f·6704·8e02·0df2·e86e·048c·a0a0··..._g......n.... | ||
| 00019a10:·b005·5f6a·0465·020d·f2e8·6f04·63a0·a0b0··.._j.e....o.c... | 00019a10:·b005·5f6a·0465·020d·f2e8·6f04·63a0·a0b0··.._j.e....o.c... | ||
| 00019a20:·055f·6d04·3e02·0df2·e870·043c·4042·4040··._m.>....p.<@B@@ | 00019a20:·055f·6d04·3e02·0df2·e870·043c·4042·4040··._m.>....p.<@B@@ | ||
| 00019a30:· | 00019a30:·6630·d2f1·e12e·6465·f333·3f7e·61d8·96d6··f0....de.3?~a... | ||
| 00019a40:·8495·a6be·0000·712a·0000·1982·0000·5298··......q*......R. | 00019a40:·8495·a6be·0000·712a·0000·1982·0000·5298··......q*......R. | ||
| 00019a50:·0000·5203·0800·004b·0090·a0b7·a090·224c··..R....K......"L | 00019a50:·0000·5203·0800·004b·0090·a0b7·a090·224c··..R....K......"L | ||
| 00019a60:·3140·b6a0·9021·7840·a99a·a090·b090·a029··1@...!x@.......) | 00019a60:·3140·b6a0·9021·7840·a99a·a090·b090·a029··1@...!x@.......) | ||
| 00019a70:·6c61·6e67·7561·6765·73a0·2752·6567·4c61··languages.'RegLa | 00019a70:·6c61·6e67·7561·6765·73a0·2752·6567·4c61··languages.'RegLa | ||
| 00019a80:·6e67·4024·776f·7264·020e·0001·f8a0·8080··ng@$word........ | 00019a80:·6e67·4024·776f·7264·020e·0001·f8a0·8080··ng@$word........ | ||
| 00019a90:·90a9·9aa0·90b0·a2a2·90a0·2766·696e·7479··..........'finty | 00019a90:·90a9·9aa0·90b0·a2a2·90a0·2766·696e·7479··..........'finty | ||
| 00019aa0:·7065·a029·7373·7265·666c·6563·74a0·286d··pe.)ssreflect.(m | 00019aa0:·7065·a029·7373·7265·666c·6563·74a0·286d··pe.)ssreflect.(m | ||
| Offset 8428, 16 lines modified | Offset 8428, 16 lines modified | ||
| 00020eb0:·1a03·0a50·19fc·f900·0129·013e·0201·331a··...P.....).>..3. | 00020eb0:·1a03·0a50·19fc·f900·0129·013e·0201·331a··...P.....).>..3. | ||
| 00020ec0:·0c19·3701·2319·3702·2504·0745·2901·2d00··..7.#.7.%..E).-. | 00020ec0:·0c19·3701·2319·3702·2504·0745·2901·2d00··..7.#.7.%..E).-. | ||
| 00020ed0:·0413·018c·3603·2901·2d00·0819·3704·213a··....6.).-...7.!: | 00020ed0:·0413·018c·3603·2901·2d00·0819·3704·213a··....6.).-...7.!: | ||
| 00020ee0:·008c·3603·2901·8026·7430·1038·2018·9098··..6.)..&t0.8·... | 00020ee0:·008c·3603·2901·8026·7430·1038·2018·9098··..6.)..&t0.8·... | ||
| 00020ef0:·b0a0·a040·40a0·4142·4147·1b74·f5b0·bef8··...@@.ABAG.t.... | 00020ef0:·b0a0·a040·40a0·4142·4147·1b74·f5b0·bef8··...@@.ABAG.t.... | ||
| 00020f00:·d945·6820·eca0·6fb1·35ac·0000·0004·0000··.Eh·..o.5....... | 00020f00:·d945·6820·eca0·6fb1·35ac·0000·0004·0000··.Eh·..o.5....... | ||
| 00020f10:·0007·6c69·6272·6172·7900·0000·0000·0000··..library....... | 00020f10:·0007·6c69·6272·6172·7900·0000·0000·0000··..library....... | ||
| 00020f20:·fb00·0000·0000·0199·35 | 00020f20:·fb00·0000·0000·0199·3566·30d2·f1e1·2e64··........5f0....d | ||
| 00020f30:· | 00020f30:·65f3·333f·7e61·d896·d600·0000·076f·7061··e.3?~a.......opa | ||
| 00020f40:·7175·6573·0000·0000·0001·9a40·0000·0000··ques.......@.... | 00020f40:·7175·6573·0000·0000·0001·9a40·0000·0000··ques.......@.... | ||
| 00020f50:·0000·713e·3596·14ab·0a9a·b61b·1ed0·ddf5··..q>5........... | 00020f50:·0000·713e·3596·14ab·0a9a·b61b·1ed0·ddf5··..q>5........... | ||
| 00020f60:·560b·75f5·0000·0007·7375·6d6d·6172·7900··V.u.....summary. | 00020f60:·560b·75f5·0000·0007·7375·6d6d·6172·7900··V.u.....summary. | ||
| 00020f70:·0000·0000·0000·1000·0000·0000·0000·dbb1··................ | 00020f70:·0000·0000·0000·1000·0000·0000·0000·dbb1··................ | ||
| 00020f80:·e115·fca1·6e69·31d9·adfd·d1c1·52e9·9900··....ni1.....R... | 00020f80:·e115·fca1·6e69·31d9·adfd·d1c1·52e9·9900··....ni1.....R... | ||
| 00020f90:·0000·0976·6d6c·6962·7261·7279·0000·0000··...vmlibrary.... | 00020f90:·0000·0976·6d6c·6962·7261·7279·0000·0000··...vmlibrary.... | ||
| 00020fa0:·0002·0b8e·0000·0000·0000·036c·1b74·f5b0··...........l.t.. | 00020fa0:·0002·0b8e·0000·0000·0000·036c·1b74·f5b0··...........l.t.. |
| Offset 1, 8 lines modified | Offset 1, 8 lines modified | ||
| 00000000:·436f·7121·0001·4050·0000·0000·0002·a6 | 00000000:·436f·7121·0001·4050·0000·0000·0002·a65d··Coq!..@P.......] | ||
| 00000010:·8495·a6be·0000·0332·0000·0098·0000·0217··.......2........ | 00000010:·8495·a6be·0000·0332·0000·0098·0000·0217··.......2........ | ||
| 00000020:·0000·01c6·c0a0·2c6d·696e·696d·697a·6174··......,minimizat | 00000020:·0000·01c6·c0a0·2c6d·696e·696d·697a·6174··......,minimizat | ||
| 00000030:·696f·6ea0·2752·6567·4c61·6e67·4008·0000··ion.'RegLang@... | 00000030:·696f·6ea0·2752·6567·4c61·6e67·4008·0000··ion.'RegLang@... | ||
| 00000040:·4700·a0a0·2750·7265·6c75·6465·a024·496e··G...'Prelude.$In | 00000040:·4700·a0a0·2750·7265·6c75·6465·a024·496e··G...'Prelude.$In | ||
| 00000050:·6974·a023·436f·7140·9030·c7f5·9674·0295··it.#Coq@.0...t.. | 00000050:·6974·a023·436f·7140·9030·c7f5·9674·0295··it.#Coq@.0...t.. | ||
| 00000060:·790e·84d5·17cb·ca0a·ceef·a0a0·2a73·7472··y...........*str | 00000060:·790e·84d5·17cb·ca0a·ceef·a0a0·2a73·7472··y...........*str | ||
| 00000070:·7563·7475·7265·73a0·2248·4240·9030·bbd1··uctures."HB@.0.. | 00000070:·7563·7475·7265·73a0·2248·4240·9030·bbd1··uctures."HB@.0.. | ||
| Offset 43, 20 lines modified | Offset 43, 20 lines modified | ||
| 000002a0:·aa14·0378·66a0·a030·6765·6e65·7269·635f··...xf..0generic_ | 000002a0:·aa14·0378·66a0·a030·6765·6e65·7269·635f··...xf..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:·c402·fb76·8366·f7bf·7bfe·21fb·448e·ee1b··...v.f..{.!.D... | 000002d0:·c402·fb76·8366·f7bf·7bfe·21fb·448e·ee1b··...v.f..{.!.D... | ||
| 000002e0:·a0a0·246d·6973·63a0·2752·6567·4c61·6e67··..$misc.'RegLang | 000002e0:·a0a0·246d·6973·63a0·2752·6567·4c61·6e67··..$misc.'RegLang | ||
| 000002f0:·4090·303e·a0b7·b593·3389·f99e·461f·3705··@.0>....3...F.7. | 000002f0:·4090·303e·a0b7·b593·3389·f99e·461f·3705··@.0>....3...F.7. | ||
| 00000300:·0e00·11a0·a029·6c61·6e67·7561·6765·73a0··.....)languages. | 00000300:·0e00·11a0·a029·6c61·6e67·7561·6765·73a0··.....)languages. | ||
| 00000310:·2752·6567·4c61·6e67·4090·30 | 00000310:·2752·6567·4c61·6e67·4090·3066·30d2·f1e1··'RegLang@.0f0... | ||
| 00000320:· | 00000320:·2e64·65f3·333f·7e61·d896·d6a0·a023·6466··.de.3?~a.....#df | ||
| 00000330:·61a0·2752·6567·4c61·6e67·4090·30 | 00000330:·61a0·2752·6567·4c61·6e67·4090·304e·4e6d··a.'RegLang@.0NNm | ||
| 00000340:·3359·2487·af55·9bcd·f8d6·0e62·e025·352e··3Y$..U.....b.%5. | |||
| 00000350:·322e·30a0·4040·fef1·8b79·c3c7·ee91·40a9··2.0.@@...y....@. | |||
| 000003 | 00000340:·3f05·e099·11cc·d9bd·0e15·9f22·8225·352e··?..........".%5. | ||
| 00000350:·322e·30a0·4040·8aef·9e30·3605·9911·bb7d··2.0.@@...06....} | |||
| 00000360:·a788·6eef·ac4b·8495·a6be·0002·17eb·0000··..n..K.......... | |||
| 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·304e·4e6d·3f05·e099·11cc··......0NNm?..... | ||
| 000093d0:·9b | 000093d0:·d9bd·0e15·9f22·8290·40a0·4040·a0a0·95a0··....."..@.@@.... | ||
| 000093e0:·0232·0a51·8fa0·051a·95b0·9140·4040·a095··.2.Q.......@@@.. | 000093e0:·0232·0a51·8fa0·051a·95b0·9140·4040·a095··.2.Q.......@@@.. | ||
| 000093f0:·a002·0fc0·a2b8·a090·e041·4040·4040·40a0··.........A@@@@@. | 000093f0:·a002·0fc0·a2b8·a090·e041·4040·4040·40a0··.........A@@@@@. | ||
| 00009400:·a091·0512·cba0·a040·a090·c0b0·051a·9f41··.......@.......A | 00009400:·a091·0512·cba0·a040·a090·c0b0·051a·9f41··.......@.......A | ||
| 00009410:·4090·9042·4041·a090·c0b0·051a·9242·4091··@..B@A.......B@. | 00009410:·4090·9042·4041·a090·c0b0·051a·9242·4091··@..B@A.......B@. | ||
| 00009420:·9043·4041·a040·a040·4040·40a0·95a0·0227··.C@A.@.@@@@....' | 00009420:·9043·4041·a040·a040·4040·40a0·95a0·0227··.C@A.@.@@@@....' | ||
| 00009430:·60a0·6fd0·4091·0512·e0a0·40a0·40a0·40a0··`.o.@.....@.@.@. | 00009430:·60a0·6fd0·4091·0512·e0a0·40a0·40a0·40a0··`.o.@.....@.@.@. | ||
| 00009440:·4040·a090·9205·1ab1·a090·9205·1aa0·a090··@@.............. | 00009440:·4040·a090·9205·1ab1·a090·9205·1aa0·a090··@@.............. | ||
| Offset 2915, 15 lines modified | Offset 2915, 15 lines modified | ||
| 0000b620:·2e6d·696e·696d·697a·6174·696f·6e39·2e2f··.minimization9./ | 0000b620:·2e6d·696e·696d·697a·6174·696f·6e39·2e2f··.minimization9./ | ||
| 0000b630:·7468·656f·7269·6573·2f6d·696e·696d·697a··theories/minimiz | 0000b630:·7468·656f·7269·6573·2f6d·696e·696d·697a··theories/minimiz | ||
| 0000b640:·6174·696f·6e2e·7601·1b58·011b·8f01·00c3··ation.v..X...... | 0000b640:·6174·696f·6e2e·7601·1b58·011b·8f01·00c3··ation.v..X...... | ||
| 0000b650:·011b·56c0·4040·4041·b0c3·9140·2f6c·6f63··..V.@@@A...@/loc | 0000b650:·011b·56c0·4040·4041·b0c3·9140·2f6c·6f63··..V.@@@A...@/loc | ||
| 0000b660:·616c·2d63·616e·6f6e·6963·616c·b095·a091··al-canonical.... | 0000b660:·616c·2d63·616e·6f6e·6963·616c·b095·a091··al-canonical.... | ||
| 0000b670:·0513·8158·040d·a022·5479·9090·9090·2863··...X..."Ty....(c | 0000b670:·0513·8158·040d·a022·5479·9090·9090·2863··...X..."Ty....(c | ||
| 0000b680:·6f6e·7374·616e·7440·0414·a004·0790·9090··onstant@........ | 0000b680:·6f6e·7374·616e·7440·0414·a004·0790·9090··onstant@........ | ||
| 0000b690:·4040·4040·4029·3 | 0000b690:·4040·4040·4029·3934·3739·3430·3637·34e0··@@@@@)947940674. | ||
| 0000b6a0:·d0d0·d0d0·4025·4063·6173·74a0·b0b4·90a0··....@%@cast..... | 0000b6a0:·d0d0·d0d0·4025·4063·6173·74a0·b0b4·90a0··....@%@cast..... | ||
| 0000b6b0:·2154·226c·7040·b0b4·90a0·2254·5904·0640··!T"lp@...."TY..@ | 0000b6b0:·2154·226c·7040·b0b4·90a0·2254·5904·0640··!T"lp@...."TY..@ | ||
| 0000b6c0:·b0c3·9140·236c·6574·b095·a090·2463·6173··...@#let....$cas | 0000b6c0:·b0c3·9140·236c·6574·b095·a090·2463·6173··...@#let....$cas | ||
| 0000b6d0:·7453·e040·3063·6f71·2d62·7569·6c74·696e··tS.@0coq-builtin | 0000b6d0:·7453·e040·3063·6f71·2d62·7569·6c74·696e··tS.@0coq-builtin | ||
| 0000b6e0:·2e65·6c70·6901·24e8·0124·ee01·00e1·0124··.elpi.$..$.....$ | 0000b6e0:·2e65·6c70·6901·24e8·0124·ee01·00e1·0124··.elpi.$..$.....$ | ||
| 0000b6f0:·cfa0·0429·9040·a0b0·a190·0417·0412·e040··...).@.........@ | 0000b6f0:·cfa0·0429·9040·a0b0·a190·0417·0412·e040··...).@.........@ | ||
| 0000b700:·0408·0124·ef01·24f1·0100·e101·24cf·a004··...$..$.....$... | 0000b700:·0408·0124·ef01·24f1·0100·e101·24cf·a004··...$..$.....$... | ||
| Offset 7662, 32 lines modified | Offset 7662, 32 lines modified | ||
| 0001ded0:·0562·6701·0558·d040·0517·08a0·a090·40a0··.bg..X.@......@. | 0001ded0:·0562·6701·0558·d040·0517·08a0·a090·40a0··.bg..X.@......@. | ||
| 0001dee0:·9040·a090·41a0·9041·40e0·4005·1669·0101··.@..A..A@.@..i.. | 0001dee0:·9040·a090·41a0·9041·40e0·4005·1669·0101··.@..A..A@.@..i.. | ||
| 0001def0:·ac01·01d5·4c01·01ac·d040·0517·07a0·a090··....L....@...... | 0001def0:·ac01·01d5·4c01·01ac·d040·0517·07a0·a090··....L....@...... | ||
| 0001df00:·40a0·9041·a090·4140·e040·0516·7201·01d7··@..A..A@.@..r... | 0001df00:·40a0·9041·a090·4140·e040·0516·7201·01d7··@..A..A@.@..r... | ||
| 0001df10:·0102·034d·0101·d7d0·4005·1705·a0a0·9040··...M....@......@ | 0001df10:·0102·034d·0101·d7d0·4005·1705·a0a0·9040··...M....@......@ | ||
| 0001df20:·a090·4140·e040·0516·7901·022a·0102·424f··..A@.@..y..*..BO | 0001df20:·a090·4140·e040·0516·7901·022a·0102·424f··..A@.@..y..*..BO | ||
| 0001df30:·0102·2a40·4142·4344·4546·4748·494b·4c05··..*@ABCDEFGHIKL. | 0001df30:·0102·2a40·4142·4344·4546·4748·494b·4c05··..*@ABCDEFGHIKL. | ||
| 0001df40:·4614·0c00·0000·0000· | 0001df40:·4614·0c00·0000·0000·00de·3e40·4140·a095··F.........>@A@.. | ||
| 0001df50:·a002·347d·c1ff·a027·5f45·4c50·495f·32c0··..4}...'_ELPI_2. | 0001df50:·a002·347d·c1ff·a027·5f45·4c50·495f·32c0··..4}...'_ELPI_2. | ||
| 0001df60:·a022·6862·a022·6462·40a0·a0b0·056b·9e21··."hb."db@....k.! | 0001df60:·a022·6862·a022·6462·40a0·a0b0·056b·9e21··."hb."db@....k.! | ||
| 0001df70:·3202·3617·4c9b·d005·4627·d0e0·4040·4040··2.6.L...F'..@@@@ | 0001df70:·3202·3617·4c9b·d005·4627·d0e0·4040·4040··2.6.L...F'..@@@@ | ||
| 0001df80:·4005·4626·40a0·c005·4625·0546·21b0·c391··@.F&@...F%.F!... | 0001df80:·4005·4626·40a0·c005·4625·0546·21b0·c391··@.F&@...F%.F!... | ||
| 0001df90:·4005·2a19·b0c3·9140·052c·eab0·c391·4005··@.*....@.,....@. | 0001df90:·4005·2a19·b0c3·9140·052c·eab0·c391·4005··@.*....@.,....@. | ||
| 0001dfa0:·3ce6·b095·a091·0559·fb58·0546·32a0·0546··<......Y.X.F2..F | 0001dfa0:·3ce6·b095·a091·0559·fb58·0546·32a0·0546··<......Y.X.F2..F | ||
| 0001dfb0:·2590·9090·053c·e940·0546·36a0·0546·2990··%....<.@.F6..F). | 0001dfb0:·2590·9090·053c·e940·0546·36a0·0546·2990··%....<.@.F6..F). | ||
| 0001dfc0:·9090·052c·f440·0546·3aa0·0546·2d90·9090··...,.@.F:..F-... | 0001dfc0:·9090·052c·f440·0546·3aa0·0546·2d90·9090··...,.@.F:..F-... | ||
| 0001dfd0:·052a·2aa0·b0c3·9140·0529·87b0·95a0·0546··.**....@.).....F | 0001dfd0:·052a·2aa0·b0c3·9140·0529·87b0·95a0·0546··.**....@.).....F | ||
| 0001dfe0:·cf57·0546·45a0·0546·3890·9090·0529·8940··.W.FE..F8....).@ | 0001dfe0:·cf57·0546·45a0·0546·3890·9090·0529·8940··.W.FE..F8....).@ | ||
| 0001dff0:·0546·49a0·0546·3c90·9090·052a·36a0·b0c3··.FI..F<....*6... | 0001dff0:·0546·49a0·0546·3c90·9090·052a·36a0·b0c3··.FI..F<....*6... | ||
| 0001e000:·9140·053d·09b0·95a0·9105·5608·5805·4655··.@.=......V.X.FU | 0001e000:·9140·053d·09b0·95a0·9105·5608·5805·4655··.@.=......V.X.FU | ||
| 0001e010:·a005·4648·9090·9005·3d0c·4005·4659·a005··..FH....=.@.FY.. | 0001e010:·a005·4648·9090·9005·3d0c·4005·4659·a005··..FH....=.@.FY.. | ||
| 0001e020:·464c·9090·9005·2a44·4005·465d·a005·4650··FL....*D@.F]..FP | 0001e020:·464c·9090·9005·2a44·4005·465d·a005·4650··FL....*D@.F]..FP | ||
| 0001e030:·9090·9040·4040·4040·293 | 0001e030:·9090·9040·4040·4040·2938·3730·3639·3335··...@@@@@)8706935 | ||
| 0001e040:·3 | 0001e040:·3534·e005·4649·0540·eb05·3f68·0517·2f05··54..FI.@..?h../. | ||
| 0001e050:·16a0·0546·660c·0000·0000·00 | 0001e050:·16a0·0546·660c·0000·0000·0080·e43e·4041··...Ff........>@A | ||
| 0001e060:·40a0·95a0·021b·8322·9db0·9005·5a2e·40a0··@......"....Z.@. | 0001e060:·40a0·95a0·021b·8322·9db0·9005·5a2e·40a0··@......"....Z.@. | ||
| 0001e070:·055a·07a0·055a·0b40·a095·a002·320a·518f··.Z...Z.@....2.Q. | 0001e070:·055a·07a0·055a·0b40·a095·a002·320a·518f··.Z...Z.@....2.Q. | ||
| 0001e080:·a005·5a34·b005·4762·4040·a095·a002·0fc0··..Z4..Gb@@...... | 0001e080:·a005·5a34·b005·4762·4040·a095·a002·0fc0··..Z4..Gb@@...... | ||
| 0001e090:·a2b8·a090·0548·30a0·a091·0559·9ba0·a040··.....H0....Y...@ | 0001e090:·a2b8·a090·0548·30a0·a091·0559·9ba0·a040··.....H0....Y...@ | ||
| 0001e0a0:·a090·c0b0·056b·f241·4090·9042·4041·a040··.....k.A@..B@A.@ | 0001e0a0:·a090·c0b0·056b·f241·4090·9042·4041·a040··.....k.A@..B@A.@ | ||
| 0001e0b0:·4040·40a0·95a0·0227·60a0·6fd0·4091·0559··@@@....'`.o.@..Y | 0001e0b0:·4040·40a0·95a0·0227·60a0·6fd0·4091·0559··@@@....'`.o.@..Y | ||
| 0001e0c0:·a9a0·40a0·4040·a090·9205·6bfb·a090·9205··..@.@@....k..... | 0001e0c0:·a9a0·40a0·4040·a090·9205·6bfb·a090·9205··..@.@@....k..... | ||
| Offset 7739, 34 lines modified | Offset 7739, 34 lines modified | ||
| 0001e3a0:·3702·3617·4ca0·d005·4762·d0e0·4040·4040··7.6.L...Gb..@@@@ | 0001e3a0:·3702·3617·4ca0·d005·4762·d0e0·4040·4040··7.6.L...Gb..@@@@ | ||
| 0001e3b0:·4005·4761·40a0·c0e0·9005·4760·392e·2f74··@.Ga@.....G`9./t | 0001e3b0:·4005·4761·40a0·c0e0·9005·4760·392e·2f74··@.Ga@.....G`9./t | ||
| 0001e3c0:·6865·6f72·6965·732f·6d69·6e69·6d69·7a61··heories/minimiza | 0001e3c0:·6865·6f72·6965·732f·6d69·6e69·6d69·7a61··heories/minimiza | ||
| 0001e3d0:·7469·6f6e·2e76·011b·9201·1bce·0100·c401··tion.v.......... | 0001e3d0:·7469·6f6e·2e76·011b·9201·1bce·0100·c401··tion.v.......... | ||
| 0001e3e0:·1b90·0547·5fb0·c391·4005·475e·b095·a091··...G_...@.G^.... | 0001e3e0:·1b90·0547·5fb0·c391·4005·475e·b095·a091··...G_...@.G^.... | ||
| 0001e3f0:·0557·5058·040a·a005·475d·9090·9005·475c··.WPX....G]....G\ | 0001e3f0:·0557·5058·040a·a005·475d·9090·9005·475c··.WPX....G]....G\ | ||
| 0001e400:·4004·0ea0·0547·6190·9090·4040·4040·4029··@....Ga...@@@@@) | 0001e400:·4004·0ea0·0547·6190·9090·4040·4040·4029··@....Ga...@@@@@) | ||
| 0001e410:·3 | 0001e410:·3739·3635·3430·3135·39e0·0547·5a05·41fc··796540159..GZ.A. | ||
| 0001e420:·0540·7905·1840·0517·b105·4777·0c00·0000··.@y..@....Gw.... | 0001e420:·0540·7905·1840·0517·b105·4777·0c00·0000··.@y..@....Gw.... | ||
| 0001e430:·0000· | 0001e430:·0000·00d5·3e40·4140·a095·a002·347d·c1ff··....>@A@....4}.. | ||
| 0001e440:·a027·5f45·4c50·495f·35c0·a022·6862·a022··.'_ELPI_5.."hb." | 0001e440:·a027·5f45·4c50·495f·35c0·a022·6862·a022··.'_ELPI_5.."hb." | ||
| 0001e450:·6462·40a0·a0b0·056d·0121·3802·3617·4ca1··db@....m.!8.6.L. | 0001e450:·6462·40a0·a0b0·056d·0121·3802·3617·4ca1··db@....m.!8.6.L. | ||
| 0001e460:·d005·478a·d0e0·4040·4040·4005·4789·40a0··..G...@@@@@.G.@. | 0001e460:·d005·478a·d0e0·4040·4040·4005·4789·40a0··..G...@@@@@.G.@. | ||
| 0001e470:·c004·2805·4784·b0c3·9140·052b·7cb0·c391··..(.G....@.+|... | 0001e470:·c004·2805·4784·b0c3·9140·052b·7cb0·c391··..(.G....@.+|... | ||
| 0001e480:·4005·2e4d·b0c3·9140·053e·49b0·9505·0163··@..M...@.>I....c | 0001e480:·4005·2e4d·b0c3·9140·053e·49b0·9505·0163··@..M...@.>I....c | ||
| 0001e490:·0433·a005·4786·9090·9005·3e4a·4004·37a0··.3..G.....>J@.7. | 0001e490:·0433·a005·4786·9090·9005·3e4a·4004·37a0··.3..G.....>J@.7. | ||
| 0001e4a0:·0547·8a90·9090·052e·5540·043b·a005·478e··.G......U@.;..G. | 0001e4a0:·0547·8a90·9090·052e·5540·043b·a005·478e··.G......U@.;..G. | ||
| 0001e4b0:·9090·9005·2b8b·a0b0·c391·4005·2ae8·b095··....+.....@.*... | 0001e4b0:·9090·9005·2b8b·a0b0·c391·4005·2ae8·b095··....+.....@.*... | ||
| 0001e4c0:·a0a0·90b0·a290·0560·cd05·6175·0561·4502··.......`..au.aE. | 0001e4c0:·a0a0·90b0·a290·0560·cd05·6175·0561·4502··.......`..au.aE. | ||
| 0001e4d0:·18ac·c1f2·4057·044b·a005·479e·9090·9005··....@W.K..G..... | 0001e4d0:·18ac·c1f2·4057·044b·a005·479e·9090·9005··....@W.K..G..... | ||
| 0001e4e0:·2aef·4004·4fa0·0547·a290·9090·052b·9ca0··*.@.O..G.....+.. | 0001e4e0:·2aef·4004·4fa0·0547·a290·9090·052b·9ca0··*.@.O..G.....+.. | ||
| 0001e4f0:·b0c3·9140·053e·6fb0·95a0·9105·578d·5804··...@.>o.....W.X. | 0001e4f0:·b0c3·9140·053e·6fb0·95a0·9105·578d·5804··...@.>o.....W.X. | ||
| 0001e500:·5ba0·0547·ae90·9090·053e·7240·045f·a005··[..G.....>r@._.. | 0001e500:·5ba0·0547·ae90·9090·053e·7240·045f·a005··[..G.....>r@._.. | ||
| 0001e510:·47b2·9090·9005·2baa·4004·63a0·0547·b690··G.....+.@.c..G.. | 0001e510:·47b2·9090·9005·2baa·4004·63a0·0547·b690··G.....+.@.c..G.. | ||
| 0001e520:·9090·4040·4040·402a·3130·3 | 0001e520:·9090·4040·4040·402a·3130·3438·3536·3532··..@@@@@*10485652 | ||
| 0001e530:·3 | 0001e530:·3533·e005·47af·0542·5105·40ce·0518·9505··53..G..BQ.@..... | ||
| 0001e540:·1806·0547·cc0c·0000·0000·00 | 0001e540:·1806·0547·cc0c·0000·0000·0000·e33e·4041··...G.........>@A | ||
| 0001e550:·40a0·95a0·021b·8322·9db0·9005·5ab5·40a0··@......"....Z.@. | 0001e550:·40a0·95a0·021b·8322·9db0·9005·5ab5·40a0··@......"....Z.@. | ||
| 0001e560:·055a·99a0·055a·9d40·a095·a002·320a·518f··.Z...Z.@....2.Q. | 0001e560:·055a·99a0·055a·9d40·a095·a002·320a·518f··.Z...Z.@....2.Q. | ||
| Max diff block lines reached; 401048/410840 bytes (97.62%) of diff not shown. | |||
| Offset 7, 25 lines modified | Offset 7, 25 lines modified | ||
| 00000060:·d517·cbca·0ace·efa0·a02d·616c·6c5f·7373··.........-all_ss | 00000060:·d517·cbca·0ace·efa0·a02d·616c·6c5f·7373··.........-all_ss | ||
| 00000070:·7265·666c·6563·74a0·2973·7372·6566·6c65··reflect.)ssrefle | 00000070:·7265·666c·6563·74a0·2973·7372·6566·6c65··reflect.)ssrefle | ||
| 00000080:·6374·a028·6d61·7468·636f·6d70·4090·307f··ct.(mathcomp@.0. | 00000080:·6374·a028·6d61·7468·636f·6d70·4090·307f··ct.(mathcomp@.0. | ||
| 00000090:·5474·6bbe·8139·449e·263e·0e95·a807·fca0··Ttk..9D.&>...... | 00000090:·5474·6bbe·8139·449e·263e·0e95·a807·fca0··Ttk..9D.&>...... | ||
| 000000a0:·a024·6d69·7363·a027·5265·674c·616e·6740··.$misc.'RegLang@ | 000000a0:·a024·6d69·7363·a027·5265·674c·616e·6740··.$misc.'RegLang@ | ||
| 000000b0:·9030·3ea0·b7b5·9333·89f9·9e46·1f37·050e··.0>....3...F.7.. | 000000b0:·9030·3ea0·b7b5·9333·89f9·9e46·1f37·050e··.0>....3...F.7.. | ||
| 000000c0:·0011·a0a0·296c·616e·6775·6167·6573·a027··....)languages.' | 000000c0:·0011·a0a0·296c·616e·6775·6167·6573·a027··....)languages.' | ||
| 000000d0:·5265·674c·616e·6740·9030· | 000000d0:·5265·674c·616e·6740·9030·6630·d2f1·e12e··RegLang@.0f0.... | ||
| 000000e0:· | 000000e0:·6465·f333·3f7e·61d8·96d6·a0a0·2364·6661··de.3?~a.....#dfa | ||
| 000000f0:·a027·5265·674c·616e·6740·9030· | 000000f0:·a027·5265·674c·616e·6740·9030·4e4e·6d3f··.'RegLang@.0NNm? | ||
| 00000100:· | 00000100:·05e0·9911·ccd9·bd0e·159f·2282·a0a0·2c6d··.........."...,m | ||
| 00000110:·696e·696d·697a·6174·696f·6ea0·2752·6567··inimization.'Reg | 00000110:·696e·696d·697a·6174·696f·6ea0·2752·6567··inimization.'Reg | ||
| 00000120:·4c61·6e67·4090·30 | 00000120:·4c61·6e67·4090·306a·f25b·06ff·3a25·2d09··Lang@.0j.[..:%-. | ||
| 00000130:· | 00000130:·4348·d334·6a36·d6a0·a026·7265·6765·7870··CH.4j6...®exp | ||
| 00000140:·a027·5265·674c·616e·6740·9030· | 00000140:·a027·5265·674c·616e·6740·9030·e0d4·0317··.'RegLang@.0.... | ||
| 00000150:·9e4e·f870·4f01·6056·0494·5f8e·2535·2e32··.N.pO.`V.._.%5.2 | |||
| 000001 | 00000150:·8eb8·379a·9823·853a·a93a·7b0d·2535·2e32··..7..#.:.:{.%5.2 | ||
| 00000160:·2e30·a040·40ce·bda0·34dc·f859·12fb·2586··.0.@@...4..Y..%. | |||
| 00000170:· | 00000170:·92cd·cc59·bb84·95a6·be00·007a·5300·001b··...Y.......zS... | ||
| 00000180:·7600·0060·6200·005d·79b0·d0a0·2d6d·7968··v..`b..]y...-myh | 00000180:·7600·0060·6200·005d·79b0·d0a0·2d6d·7968··v..`b..]y...-myh | ||
| 00000190:·696c·6c5f·6e65·726f·6465·a027·5265·674c··ill_nerode.'RegL | 00000190:·696c·6c5f·6e65·726f·6465·a027·5265·674c··ill_nerode.'RegL | ||
| 000001a0:·616e·6740·e090·0406·4190·a0a0·2a63·6c61··ang@....A...*cla | 000001a0:·616e·6740·e090·0406·4190·a0a0·2a63·6c61··ang@....A...*cla | ||
| 000001b0:·7373·6966·6965·7291·0800·003f·0090·0800··ssifier....?.... | 000001b0:·7373·6966·6965·7291·0800·003f·0090·0800··ssifier....?.... | ||
| 000001c0:·0043·0004·05a0·a0a0·9024·6368·6172·409b··.C.......$char@. | 000001c0:·0043·0004·05a0·a0a0·9024·6368·6172·409b··.C.......$char@. | ||
| 000001d0:·a0a0·90b0·a290·a027·6669·6e74·7970·65a0··.......'fintype. | 000001d0:·a0a0·90b0·a290·a027·6669·6e74·7970·65a0··.......'fintype. | ||
| 000001e0:·2973·7372·6566·6c65·6374·a028·6d61·7468··)ssreflect.(math | 000001e0:·2973·7372·6566·6c65·6374·a028·6d61·7468··)ssreflect.(math | ||
| Offset 1361, 18 lines modified | Offset 1361, 18 lines modified | ||
| 00005500:·a003·01f9·78fa·bc1b·5fa8·90b0·0504·7520··....x..._.....u· | 00005500:·a003·01f9·78fa·bc1b·5fa8·90b0·0504·7520··....x..._.....u· | ||
| 00005510:·0101·c841·04c9·4042·b004·6741·04ca·c040··...A..@B..gA...@ | 00005510:·0101·c841·04c9·4042·b004·6741·04ca·c040··...A..@B..gA...@ | ||
| 00005520:·b004·6941·0492·c040·b0a0·0300·0154·b5ae··..iA...@.....T.. | 00005520:·b004·6941·0492·c040·b0a0·0300·0154·b5ae··..iA...@.....T.. | ||
| 00005530:·0c93·2190·b005·044d·0409·0105·3941·04d1··..!....M....9A.. | 00005530:·0c93·2190·b005·044d·0409·0105·3941·04d1··..!....M....9A.. | ||
| 00005540:·c040·b004·bd41·a003·0001·54b5·add9·8694··.@...A....T..... | 00005540:·c040·b004·bd41·a003·0001·54b5·add9·8694··.@...A....T..... | ||
| 00005550:·90b0·04ca·04c8·0105·0640·4142·4344·4547··.........@ABCDEG | 00005550:·90b0·04ca·04c8·0105·0640·4142·4344·4547··.........@ABCDEG | ||
| 00005560:·a0a0·a02c·6d69·6e69·6d69·7a61·7469·6f6e··...,minimization | 00005560:·a0a0·a02c·6d69·6e69·6d69·7a61·7469·6f6e··...,minimization | ||
| 00005570:·a027·5265·674c·616e·6740·9030· | 00005570:·a027·5265·674c·616e·6740·9030·6af2·5b06··.'RegLang@.0j.[. | ||
| 00005580:·480d·6a75·427f·9bdb·3a97·743e·a005·0d92··H.juB...:.t>.... | |||
| 000055 | 00005580:·ff3a·252d·0943·48d3·346a·36d6·a005·0d92··.:%-.CH.4j6..... | ||
| 00005590:·9030·e0d4·0317·8eb8·379a·9823·853a·a93a··.0......7..#.:.: | |||
| 000055a0:· | 000055a0:·7b0d·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·73ac·ee16··..N@@ABCDE@@s... | ||
| 00007be0:· | 00007be0:·0ccf·7ffb·a749·5a50·0add·761b·8495·a6be··.....IZP..v..... | ||
| 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·6773·acee·160c··..u......zgs.... | ||
| 0000be70:· | 0000be70:·cf7f·fba7·495a·500a·dd76·1b00·0000·076f··....IZP..v.....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:·55ce·bda0·34dc·f859·12fb·2586·92cd·cc59··U...4..Y..%....Y | ||
| 0000bed0:· | 0000bed0:·bb00·0000·0976·6d6c·6962·7261·7279·0000··.....vmlibrary.. | ||
| 0000bee0:·0000·0000·b66b·0000·0000·0000·07d1·238f··.....k........#. | 0000bee0:·0000·0000·b66b·0000·0000·0000·07d1·238f··.....k........#. | ||
| 0000bef0:·8fce·7070·7a0d·7719·5334·bfec·975a·······..ppz.w.S4...Z | 0000bef0:·8fce·7070·7a0d·7719·5334·bfec·975a·······..ppz.w.S4...Z |
| Offset 7, 19 lines modified | Offset 7, 19 lines modified | ||
| 00000060:·616c·6c5f·7373·7265·666c·6563·74a0·2973··all_ssreflect.)s | 00000060:·616c·6c5f·7373·7265·666c·6563·74a0·2973··all_ssreflect.)s | ||
| 00000070:·7372·6566·6c65·6374·a028·6d61·7468·636f··sreflect.(mathco | 00000070:·7372·6566·6c65·6374·a028·6d61·7468·636f··sreflect.(mathco | ||
| 00000080:·6d70·4090·307f·5474·6bbe·8139·449e·263e··mp@.0.Ttk..9D.&> | 00000080:·6d70·4090·307f·5474·6bbe·8139·449e·263e··mp@.0.Ttk..9D.&> | ||
| 00000090:·0e95·a807·fca0·a024·6d69·7363·a027·5265··.......$misc.'Re | 00000090:·0e95·a807·fca0·a024·6d69·7363·a027·5265··.......$misc.'Re | ||
| 000000a0:·674c·616e·6740·9030·3ea0·b7b5·9333·89f9··gLang@.0>....3.. | 000000a0:·674c·616e·6740·9030·3ea0·b7b5·9333·89f9··gLang@.0>....3.. | ||
| 000000b0:·9e46·1f37·050e·0011·a0a0·296c·616e·6775··.F.7......)langu | 000000b0:·9e46·1f37·050e·0011·a0a0·296c·616e·6775··.F.7......)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:·6630·d2f1·e12e·6465·f333·3f7e·61d8·96d6··f0....de.3?~a... | ||
| 000000e0:·a0a0·2364·6661·a027·5265·674c·616e·6740··..#dfa.'RegLang@ | 000000e0:·a0a0·2364·6661·a027·5265·674c·616e·6740··..#dfa.'RegLang@ | ||
| 000000f0:·9030· | 000000f0:·9030·4e4e·6d3f·05e0·9911·ccd9·bd0e·159f··.0NNm?.......... | ||
| 00000100:· | 00000100:·2282·2535·2e32·2e30·a040·4034·e21a·631e··".%5.2.0.@@4..c. | ||
| 00000110:· | 00000110:·067a·b186·7fde·2388·505c·1e84·95a6·be00··.z....#.P\...... | ||
| 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·304e·4e6d·3f05·e099·11cc··...p@.0NNm?..... | ||
| 00008760:·9b | 00008760:·d9bd·0e15·9f22·8290·40a0·4040·a0a0·95a0··....."..@.@@.... | ||
| 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·4066·da42·d12f·0420·34a0·f626·9d74··@@@f.B./.·4..&.t | ||
| 0000c420:· | 0000c420:·3a73·9d84·95a6·be00·0179·5c00·004e·8300··:s.......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·f866·da42··.............f.B | ||
| 00024ca0:· | 00024ca0:·d12f·0420·34a0·f626·9d74·3a73·9d00·0000··./.·4..&.t:s.... | ||
| 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·fb34·e21a·631e·067a·b186·7fde·2388··...4..c..z....#. | ||
| 00024d00:· | 00024d00:·505c·1e00·0000·0976·6d6c·6962·7261·7279··P\.....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·c7f5·9674·0295·790e·84d5·17cb··q@.0...t..y..... | 00000050:·7140·9030·c7f5·9674·0295·790e·84d5·17cb··q@.0...t..y..... | ||
| 00000060:·ca0a·ceef·a0a0·2a73·7472·7563·7475·7265··......*structure | 00000060:·ca0a·ceef·a0a0·2a73·7472·7563·7475·7265··......*structure | ||
| 00000070:·73a0·2248·4240·9030·bbd1·8a14·21a4·8fe9··s."HB@.0....!... | 00000070:·73a0·2248·4240·9030·bbd1·8a14·21a4·8fe9··s."HB@.0....!... | ||
| Offset 12, 23 lines modified | Offset 12, 23 lines modified | ||
| 000000b0:·7f54·746b·be81·3944·9e26·3e0e·95a8·07fc··.Ttk..9D.&>..... | 000000b0:·7f54·746b·be81·3944·9e26·3e0e·95a8·07fc··.Ttk..9D.&>..... | ||
| 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·3057·2131·594d·b4a1··egLang@.0W!1YM.. | 000000d0:·6567·4c61·6e67·4090·3057·2131·594d·b4a1··egLang@.0W!1YM.. | ||
| 000000e0:·5769·cde1·32bb·b064·25a0·a024·6d69·7363··Wi..2..d%..$misc | 000000e0:·5769·cde1·32bb·b064·25a0·a024·6d69·7363··Wi..2..d%..$misc | ||
| 000000f0:·a027·5265·674c·616e·6740·9030·3ea0·b7b5··.'RegLang@.0>... | 000000f0:·a027·5265·674c·616e·6740·9030·3ea0·b7b5··.'RegLang@.0>... | ||
| 00000100:·9333·89f9·9e46·1f37·050e·0011·a0a0·296c··.3...F.7......)l | 00000100:·9333·89f9·9e46·1f37·050e·0011·a0a0·296c··.3...F.7......)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·6630·d2f1·e12e·6465·f333·3f7e··g@.0f0....de.3?~ | ||
| 00000130:· | 00000130:·61d8·96d6·a0a0·2364·6661·a027·5265·674c··a.....#dfa.'RegL | ||
| 00000140:·616e·6740·9030· | 00000140:·616e·6740·9030·4e4e·6d3f·05e0·9911·ccd9··ang@.0NNm?...... | ||
| 00000150:· | 00000150:·bd0e·159f·2282·a0a0·236e·6661·a027·5265··...."...#nfa.'Re | ||
| 00000160:·674c·616e·6740·9030·8840·3337·3d73·1ee4··gLang@.0.@37=s.. | |||
| 00000170:·9e34·747d·46c3·92c6·2535·2e32·2e30·a040··.4t}F...%5.2.0.@ | |||
| 000001 | 00000160:·674c·616e·6740·9030·66da·42d1·2f04·2034··gLang@.0f.B./.·4 | ||
| 00000170:·a0f6·269d·743a·739d·2535·2e32·2e30·a040··..&.t:s.%5.2.0.@ | |||
| 00000180:·4075·027a·dda5·cb21·2834·1479·f9c7·f52c··@u.z...!(4.y..., | |||
| 00000190:·5 | 00000190:·5c84·95a6·be00·01dd·5200·0072·8a00·0186··\.......R..r.... | ||
| 000001a0:·9 | 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.. | ||
| 00000210:·c371·4440·a080·8040·90a0·b6a0·0416·4004··.qD@...@......@. | 00000210:·c371·4440·a080·8040·90a0·b6a0·0416·4004··.qD@...@......@. | ||
| 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·3066·da42·d12f·0420·34a0·f626··ng@.0f.B./.·4..& | ||
| 00007690:· | 00007690:·9d74·3a73·9da0·a02a·7365·746f·6964·5f6c··.t:s...*setoid_l | ||
| 000076a0:·6571·a027·5265·674c·616e·6740·9030·5721··eq.'RegLang@.0W! | 000076a0:·6571·a027·5265·674c·616e·6740·9030·5721··eq.'RegLang@.0W! | ||
| 000076b0:·3159·4db4·a157·69cd·e132·bbb0·6425·9040··1YM..Wi..2..d%.@ | 000076b0:·3159·4db4·a157·69cd·e132·bbb0·6425·9040··1YM..Wi..2..d%.@ | ||
| 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·2935·3134·3334·3931·3036·e0d0·d0d0··@@)514349106.... | ||
| 00008590:·2540·6361·7374·a0b0·b490·a021·5422· | 00008590:·d040·2540·6361·7374·a0b0·b490·a021·5422··.@%@cast.....!T" | ||
| 000085a0:·40b0·b490·a022·5459·0406·40b0·c391· | 000085a0:·6c70·40b0·b490·a022·5459·0406·40b0·c391··lp@...."TY..@... | ||
| 000085b0:·6c65·74b0·95a0·9024·6361·7374·53e0· | 000085b0:·4023·6c65·74b0·95a0·9024·6361·7374·53e0··@#let....$castS. | ||
| 000085c0:·636f·712d·6275·696c·7469·6e2e·656c· | 000085c0:·4030·636f·712d·6275·696c·7469·6e2e·656c··@0coq-builtin.el | ||
| 000085d0:·0124·e801·24ee·0100·e101·24cf·a004· | 000085d0:·7069·0124·e801·24ee·0100·e101·24cf·a004··pi.$..$.....$... | ||
| 000085e0:·40a0·b0a1·9004·1704·12e0·4004·0801· | 000085e0:·2990·40a0·b0a1·9004·1704·12e0·4004·0801··).@.........@... | ||
| 000085f0:·0124·f101·00e1·0124·cfa0·0430·9040· | 000085f0:·24ef·0124·f101·00e1·0124·cfa0·0430·9040··$..$.....$...0.@ | ||
| 00008600:·a190·041e·041f·e040·040f·0124·f201· | 00008600:·a0b0·a190·041e·041f·e040·040f·0124·f201··.........@...$.. | ||
| 00008610:·0100·e101·24cf·a004·3790·40a0·b0b4· | 00008610:·24f3·0100·e101·24cf·a004·3790·40a0·b0b4··$.....$...7.@... | ||
| 00008620:·2178·0427·40b0·a190·042a·0404·e040· | 00008620:·90a0·2178·0427·40b0·a190·042a·0404·e040··..!x.'@....*...@ | ||
| 00008630:·0124·f601·24f7·0100·e101·24cf·a004· | 00008630:·041b·0124·f601·24f7·0100·e101·24cf·a004··...$..$.....$... | ||
| 00008640:·40e0·4004·1e01·24f4·0124·f701·00e1· | 00008640:·4390·40e0·4004·1e01·24f4·0124·f701·00e1··C.@.@...$..$.... | ||
| 00008650:·cfa0·0446·9040·40e0·4004·2101·24e4· | 00008650:·0124·cfa0·0446·9040·40e0·4004·2101·24e4··.$...F.@@.@.!.$. | ||
| 00008660:·f701·00e1·0124·cfa0·0449·9040·e040· | 00008660:·0124·f701·00e1·0124·cfa0·0449·9040·e040··.$.....$...I.@.@ | ||
| 00008670:·0124·dd01·24f7·0100·e101·24cf·a004· | 00008670:·0424·0124·dd01·24f7·0100·e101·24cf·a004··.$.$..$.....$... | ||
| 00008680:·40e0·4004·2701·24db·0124·f701·00e1· | 00008680:·4c90·40e0·4004·2701·24db·0124·f701·00e1··L.@.@.'.$..$.... | ||
| 00008690:·cfa0·044f·9040·e040·042a·0124·cf01· | 00008690:·0124·cfa0·044f·9040·e040·042a·0124·cf01··.$...O.@.@.*.$.. | ||
| 000086a0:·0100·e101·24cf·d040·2a40·636f·6572· | 000086a0:·24f8·0100·e101·24cf·d040·2a40·636f·6572··$.....$..@*@coer | ||
| 000086b0:·6f6e·21a0·b0c3·9140·223a·3ab0·c391· | 000086b0:·6369·6f6e·21a0·b0c3·9140·223a·3ab0·c391··cion!....@"::... | ||
| 000086c0:·636f·6572·6369·6f6e·b0a1·9140·2a72· | 000086c0:·4028·636f·6572·6369·6f6e·b0a1·9140·2a72··@(coercion...@*r | ||
| 000086d0:·6572·7369·626c·65e0·4004·3a01·531a· | 000086d0:·6576·6572·7369·626c·65e0·4004·3a01·531a··eversible.@.:.S. | ||
| 000086e0:·2401·01f2·0152·fca0·0462·9040·40e0· | 000086e0:·0153·2401·01f2·0152·fca0·0462·9040·40e0··.S$....R...b.@@. | ||
| 000086f0:·3d01·5311·0153·2401·01f2·0152·fca0· | 000086f0:·4004·3d01·5311·0153·2401·01f2·0152·fca0··@.=.S..S$....R.. | ||
| 00008700:·9040·a0b0·a191·4022·5b5d·e040·0445· | 00008700:·0465·9040·a0b0·a191·4022·5b5d·e040·0445··.e.@....@"[].@.E | ||
| 00008710:·2401·5325·0101·f201·52fc·a004·6d90· | 00008710:·0153·2401·5325·0101·f201·52fc·a004·6d90··.S$.S%....R...m. | ||
| 00008720:·e040·0448·0153·1001·5325·0101·f201· | 00008720:·4040·e040·0448·0153·1001·5325·0101·f201··@@.@.H.S..S%.... | ||
| 00008730:·a004·7090·40e0·4004·4b01·52fc·0153· | 00008730:·52fc·a004·7090·40e0·4004·4b01·52fc·0153··R...p.@.@.K.R..S | ||
| 00008740:·01f2·0152·fc40·4142·2c40·6465·7072· | 00008740:·2501·01f2·0152·fc40·4142·2c40·6465·7072··%....R.@AB,@depr | ||
| 00008750:·6174·6564·21a0·b0b4·90a0·2553·696e· | 00008750:·6563·6174·6564·21a0·b0b4·90a0·2553·696e··ecated!.....%Sin | ||
| 00008760:·0462·40b0·b490·a023·4d73·6704·6740· | 00008760:·6365·0462·40b0·b490·a023·4d73·6704·6740··ce.b@....#Msg.g@ | ||
| 00008770:·9140·2a67·6574·2d6f·7074·696f·6eb0· | 00008770:·b0c3·9140·2a67·6574·2d6f·7074·696f·6eb0··...@*get-option. | ||
| 00008780:·2e63·6f71·3a64·6570·7265·6361·7465· | 00008780:·95a0·2e63·6f71·3a64·6570·7265·6361·7465··...coq:deprecate | ||
| 00008790:·e040·0460·0152·8001·5290·0101·ed01· | 00008790:·6443·e040·0460·0152·8001·5290·0101·ed01··dC.@.`.R..R..... | ||
| 000087a0:·a004·8890·40a0·b0c3·9140·2270·72b0· | 000087a0:·5273·a004·8890·40a0·b0c3·9140·2270·72b0··Rs....@....@"pr. | ||
| 000087b0:·047a·0419·e040·046b·0152·9501·529a· | 000087b0:·a190·047a·0419·e040·046b·0152·9501·529a··...z...@.k.R..R. | ||
| 000087c0:·ed01·5273·a004·9390·40a0·b0a1·9004· | 000087c0:·0101·ed01·5273·a004·9390·40a0·b0a1·9004··....Rs....@..... | ||
| 000087d0:·1be0·4004·7201·529b·0152·9e01·01ed· | 000087d0:·8104·1be0·4004·7201·529b·0152·9e01·01ed··....@.r.R..R.... | ||
| 000087e0:·73a0·049a·9040·40e0·4004·7501·5292· | 000087e0:·0152·73a0·049a·9040·40e0·4004·7501·5292··.Rs....@@.@.u.R. | ||
| 000087f0:·9e01·01ed·0152·73a0·049d·9040·40e0· | 000087f0:·0152·9e01·01ed·0152·73a0·049d·9040·40e0··.R.....Rs....@@. | ||
| 00008800:·7801·5275·0152·9f01·01ed·0152·73a0· | 00008800:·4004·7801·5275·0152·9f01·01ed·0152·73a0··@.x.Ru.R.....Rs. | ||
| 00008810:·9040·e040·047b·0152·6c01·529f·0101· | 00008810:·04a0·9040·e040·047b·0152·6c01·529f·0101··...@.@.{.Rl.R... | ||
| 00008820:·5273·a004·a390·40e0·4004·7e01·5266· | 00008820:·ed01·5273·a004·a390·40e0·4004·7e01·5266··..Rs....@.@.~.Rf | ||
| 00008830:·9f01·01ed·0152·73a0·04a6·9040·e040· | 00008830:·0152·9f01·01ed·0152·73a0·04a6·9040·e040··.R.....Rs....@.@ | ||
| 00008840:·0152·5301·529f·0101·ec01·5253·d040· | 00008840:·0481·0152·5301·529f·0101·ec01·5253·d040··...RS.R.....RS.@ | ||
| 00008850:·6472·6f70·756e·6976·7321·a0b0·c391· | 00008850:·2b40·6472·6f70·756e·6976·7321·a0b0·c391··+@dropunivs!.... | ||
| 00008860:·2db0·95a0·2d63·6f71·3a6b·6565·7075· | 00008860:·4004·2db0·95a0·2d63·6f71·3a6b·6565·7075··@.-...-coq:keepu | ||
| 00008870:·7673·43e0·4004·8c01·50c2·0150·d101· | 00008870:·6e69·7673·43e0·4004·8c01·50c2·0150·d101··nivsC.@...P..P.. | ||
| 00008880:·0150·a2a0·04b4·9040·a0b0·a191·4022· | 00008880:·01e2·0150·a2a0·04b4·9040·a0b0·a191·4022··...P.....@....@" | ||
| 00008890:·e040·0494·0150·d201·50d4·0101·e201· | 00008890:·6666·e040·0494·0150·d201·50d4·0101·e201··ff.@...P..P..... | ||
| 000088a0:·a004·bc90·4040·e040·0497·0150·b701· | 000088a0:·50a2·a004·bc90·4040·e040·0497·0150·b701··P.....@@.@...P.. | ||
| 000088b0:·0101·e201·50a2·a004·bf90·40e0·4004· | 000088b0:·50d4·0101·e201·50a2·a004·bf90·40e0·4004··P.....P.....@.@. | ||
| 000088c0:·50a2·0150·d401·01e2·0150·a240·4143· | 000088c0:·9a01·50a2·0150·d401·01e2·0150·a240·4143··..P..P.....P.@AC | ||
| 000088d0:·676c·6f62·616c·21a0·b0c3·9140·0445· | 000088d0:·2840·676c·6f62·616c·21a0·b0c3·9140·0445··(@global!....@.E | ||
| 000088e0:·a02c·636f·713a·6c6f·6361·6c69·7479· | 000088e0:·b095·a02c·636f·713a·6c6f·6361·6c69·7479··...,coq:locality | ||
| 000088f0:·4004·a401·1805·0118·1301·0095·0117 | 000088f0:·43e0·4004·a401·1805·0118·1301·0095·0117··C.@............. | ||
| 00008900:·04cc·9040·a0b0·95a0·2667·6c6f·6261· | 00008900:·e6a0·04cc·9040·a0b0·95a0·2667·6c6f·6261··.....@....&globa | ||
| 00008910:·e040·04ac·0118·1401·181c·0100·950 | 00008910:·6c43·e040·04ac·0118·1401·181c·0100·9501··lC.@............ | ||
| 00008920:·a004·d490·4040·e040·04af·0117·fa01· | 00008920:·17e6·a004·d490·4040·e040·04af·0117·fa01··......@@.@...... | ||
| 00008930:·0100·9501·17e6·a004·d790·40e0·4004 | 00008930:·181c·0100·9501·17e6·a004·d790·40e0·4004··............@.@. | ||
| 00008940:·17e6·0118·1c01·0095·0117·e6d0·d0d | 00008940:·b201·17e6·0118·1c01·0095·0117·e6d0·d0d0··................ | ||
| 00008950:·4068·6f6c·6573·21a0·b0c3·9140·0460· | 00008950:·4027·4068·6f6c·6573·21a0·b0c3·9140·0460··@'@holes!....@.` | ||
| 00008960:·a02a·484f·4153·3a68·6f6c·6573·43e0· | 00008960:·b095·a02a·484f·4153·3a68·6f6c·6573·43e0··...*HOAS:holesC. | ||
| 00008970:·bf01·33ad·0133·b901·0143·0133·91a0· | 00008970:·4004·bf01·33ad·0133·b901·0143·0133·91a0··@...3..3...C.3.. | ||
| 00008980:·9040·a0b0·a191·4022·7474·e040·04c7· | 00008980:·04e7·9040·a0b0·a191·4022·7474·e040·04c7··...@....@"tt.@.. | ||
| 00008990:·ba01·33bc·0101·4301·3391·a004·ef90· | 00008990:·0133·ba01·33bc·0101·4301·3391·a004·ef90··.3..3...C.3..... | ||
| 000089a0:·e040·04ca·0133·a201·33bc·0101·4301· | 000089a0:·4040·e040·04ca·0133·a201·33bc·0101·4301··@@.@...3..3...C. | ||
| Max diff block lines reached; -1/2049094 bytes (-0.00%) of diff not shown. | |||
| Offset 12, 25 lines modified | Offset 12, 25 lines modified | ||
| 000000b0:·6174·6863·6f6d·7040·9030·7f54·746b·be81··athcomp@.0.Ttk.. | 000000b0:·6174·6863·6f6d·7040·9030·7f54·746b·be81··athcomp@.0.Ttk.. | ||
| 000000c0:·3944·9e26·3e0e·95a8·07fc·a0a0·246d·6973··9D.&>.......$mis | 000000c0:·3944·9e26·3e0e·95a8·07fc·a0a0·246d·6973··9D.&>.......$mis | ||
| 000000d0:·63a0·2752·6567·4c61·6e67·4090·303e·a0b7··c.'RegLang@.0>.. | 000000d0:·63a0·2752·6567·4c61·6e67·4090·303e·a0b7··c.'RegLang@.0>.. | ||
| 000000e0:·b593·3389·f99e·461f·3705·0e00·11a0·a02a··..3...F.7......* | 000000e0:·b593·3389·f99e·461f·3705·0e00·11a0·a02a··..3...F.7......* | ||
| 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·5721·3159·4db4·a157·69cd··ang@.0W!1YM..Wi. | 00000100:·616e·6740·9030·5721·3159·4db4·a157·69cd··ang@.0W!1YM..Wi. | ||
| 00000110:·e132·bbb0·6425·a0a0·296c·616e·6775·6167··.2..d%..)languag | 00000110:·e132·bbb0·6425·a0a0·296c·616e·6775·6167··.2..d%..)languag | ||
| 00000120:·6573·a027·5265·674c·616e·6740·9030· | 00000120:·6573·a027·5265·674c·616e·6740·9030·6630··es.'RegLang@.0f0 | ||
| 00000130:· | 00000130:·d2f1·e12e·6465·f333·3f7e·61d8·96d6·a0a0··....de.3?~a..... | ||
| 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:·4e4e·6d3f·05e0·9911·ccd9·bd0e·159f·2282··NNm?..........". | ||
| 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·73ac·ee16··.'RegLang@.0s... | ||
| 00000180:· | 00000180:·0ccf·7ffb·a749·5a50·0add·761b·a0a0·2774··.....IZP..v...'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·f58f·b0fb·8407·22c9·86c3·1006·56e5··.0......".....V. | ||
| 000001b0:· | 000001b0:·ae5b·2535·2e32·2e30·a040·40c1·fe90·8684··.[%5.2.0.@@..... | ||
| 000001c0:· | 000001c0:·13ed·b0be·f5bb·3cbf·b82b·4b84·95a6·be00··......<..+K..... | ||
| 000001d0:·00a1·6b00·0026·b700·0082·2e00·007e·deb0··..k..&.......~.. | 000001d0:·00a1·6b00·0026·b700·0082·2e00·007e·deb0··..k..&.......~.. | ||
| 000001e0:·d0a0·2b73·6865·7068·6572·6473·6f6e·a027··..+shepherdson.' | 000001e0:·d0a0·2b73·6865·7068·6572·6473·6f6e·a027··..+shepherdson.' | ||
| 000001f0:·5265·674c·616e·6740·e090·0406·4190·a0a0··RegLang@....A... | 000001f0:·5265·674c·616e·6740·e090·0406·4190·a0a0··RegLang@....A... | ||
| 00000200:·2763·6f6e·7472·614e·9008·0000·2700·40a0··'contraN....'.@. | 00000200:·2763·6f6e·7472·614e·9008·0000·2700·40a0··'contraN....'.@. | ||
| 00000210:·8080·92c0·4040·040f·40b6·a090·2162·409b··....@@..@...!b@. | 00000210:·8080·92c0·4040·040f·40b6·a090·2162·409b··....@@..@...!b@. | ||
| 00000220:·a0a0·90b0·90a0·2944·6174·6174·7970·6573··......)Datatypes | 00000220:·a0a0·90b0·90a0·2944·6174·6174·7970·6573··......)Datatypes | ||
| 00000230:·a024·496e·6974·a023·436f·7140·2462·6f6f··.$Init.#Coq@$boo | 00000230:·a024·496e·6974·a023·436f·7140·2462·6f6f··.$Init.#Coq@$boo | ||
| Offset 1797, 16 lines modified | Offset 1797, 16 lines modified | ||
| 00007040:·4104·c1c0·c040·b005·0215·4105·014b·4041··A....@....A..K@A | 00007040:·4104·c1c0·c040·b005·0215·4105·014b·4041··A....@....A..K@A | ||
| 00007050:·b005·0216·4105·0142·c0c0·40b0·0502·1941··....A..B..@....A | 00007050:·b005·0216·4105·0142·c0c0·40b0·0502·1941··....A..B..@....A | ||
| 00007060:·0501·3d40·41b0·0502·1a41·0501·2dc0·c040··..=@A....A..-..@ | 00007060:·0501·3d40·41b0·0502·1a41·0501·2dc0·c040··..=@A....A..-..@ | ||
| 00007070:·b005·0222·4205·01db·4041·b005·021e·4205··..."B...@A....B. | 00007070:·b005·0222·4205·01db·4041·b005·021e·4205··..."B...@A....B. | ||
| 00007080:·01d4·4042·4344·4748·4aa0·a0a0·234c·6961··..@BCDGHJ...#Lia | 00007080:·01d4·4042·4344·4748·4aa0·a0a0·234c·6961··..@BCDGHJ...#Lia | ||
| 00007090:·a029·6d69·6372·6f6d·6567·61a0·2343·6f71··.)micromega.#Coq | 00007090:·a029·6d69·6372·6f6d·6567·61a0·2343·6f71··.)micromega.#Coq | ||
| 000070a0:·4090·30bb·46b6·4934·6f7b·e600·3343·f488··@.0.F.I4o{..3C.. | 000070a0:·4090·30bb·46b6·4934·6f7b·e600·3343·f488··@.0.F.I4o{..3C.. | ||
| 000070b0:·1175·03a0·0503·be90·30 | 000070b0:·1175·03a0·0503·be90·30f5·8fb0·fb84·0722··.u......0......" | ||
| 000070c0:·c | 000070c0:·c986·c310·0656·e5ae·5b90·40a0·4040·a0a0··.....V..[.@.@@.. | ||
| 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·437b·ada4·7b96··3@@ABCDE@@C{..{. | ||
| 0000a350:· | 0000a350:·3ef2·eef9·b880·a7d7·d7bd·8495·a6be·0002··>............... | ||
| 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·7f43·7bad··.............C{. | ||
| 00030e30:· | 00030e30:·a47b·963e·f2ee·f9b8·80a7·d7d7·bd00·0000··.{.>............ | ||
| 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·abc1·fe90·8684·13ed·b0be·f5bb·3cbf··..............<. | ||
| 00030e90:· | 00030e90:·b82b·4b00·0000·0976·6d6c·6962·7261·7279··.+K....vmlibrary | ||
| 00030ea0:·0000·0000·0003·09e9·0000·0000·0000·0415··................ | 00030ea0:·0000·0000·0003·09e9·0000·0000·0000·0415··................ | ||
| 00030eb0:·92a1·a353·357f·c0c5·19cd·a2f3·f011·c880··...S5........... | 00030eb0:·92a1·a353·357f·c0c5·19cd·a2f3·f011·c880··...S5........... |
| Offset 7, 24 lines modified | Offset 7, 24 lines modified | ||
| 00000060:·efa0·a02d·616c·6c5f·7373·7265·666c·6563··...-all_ssreflec | 00000060:·efa0·a02d·616c·6c5f·7373·7265·666c·6563··...-all_ssreflec | ||
| 00000070:·74a0·2973·7372·6566·6c65·6374·a028·6d61··t.)ssreflect.(ma | 00000070:·74a0·2973·7372·6566·6c65·6374·a028·6d61··t.)ssreflect.(ma | ||
| 00000080:·7468·636f·6d70·4090·307f·5474·6bbe·8139··thcomp@.0.Ttk..9 | 00000080:·7468·636f·6d70·4090·307f·5474·6bbe·8139··thcomp@.0.Ttk..9 | ||
| 00000090:·449e·263e·0e95·a807·fca0·a024·6d69·7363··D.&>.......$misc | 00000090:·449e·263e·0e95·a807·fca0·a024·6d69·7363··D.&>.......$misc | ||
| 000000a0:·a027·5265·674c·616e·6740·9030·3ea0·b7b5··.'RegLang@.0>... | 000000a0:·a027·5265·674c·616e·6740·9030·3ea0·b7b5··.'RegLang@.0>... | ||
| 000000b0:·9333·89f9·9e46·1f37·050e·0011·a0a0·296c··.3...F.7......)l | 000000b0:·9333·89f9·9e46·1f37·050e·0011·a0a0·296c··.3...F.7......)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·6630·d2f1·e12e·6465·f333·3f7e··g@.0f0....de.3?~ | ||
| 000000e0:· | 000000e0:·61d8·96d6·a0a0·2364·6661·a027·5265·674c··a.....#dfa.'RegL | ||
| 000000f0:·616e·6740·9030· | 000000f0:·616e·6740·9030·4e4e·6d3f·05e0·9911·ccd9··ang@.0NNm?...... | ||
| 00000100:· | 00000100:·bd0e·159f·2282·a0a0·2672·6567·6578·70a0··...."...®exp. | ||
| 00000110:·2752·6567·4c61·6e67·4090·30 | 00000110:·2752·6567·4c61·6e67·4090·30e0·d403·178e··'RegLang@.0..... | ||
| 00000120:· | 00000120:·b837·9a98·2385·3aa9·3a7b·0da0·a02d·6d79··.7..#.:.:{...-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·3065·5f51·b077·7cfd·439c··Lang@.0e_Q.w|.C. | |||
| 00000150:·e631·8228·e1f5·be25·352e·322e·30a0·4040··.1.(...%5.2.0.@@ | |||
| 000001 | 00000140:·4c61·6e67·4090·3073·acee·160c·cf7f·fba7··Lang@.0s........ | ||
| 00000150:·495a·500a·dd76·1b25·352e·322e·30a0·4040··IZP..v.%5.2.0.@@ | |||
| 00000160:·1266·bbd9·b2ab·27cb·22b2·c87a·810b·3012··.f....'."..z..0. | |||
| 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·3073·acee·160c·cf7f·fba7·495a··ng@.0s........IZ | ||
| 00005770:· | 00005770:·500a·dd76·1b90·40a0·4040·a0a0·95a0·021c··P..v..@.@@...... | ||
| 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:·40f5·8fb0·fb84·0722·c986·c310·0656·e5ae··@......".....V.. | ||
| 00007de0:· | 00007de0:·5b84·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:·f58f·b0fb·8407·22c9·86c3·1006·56e5·ae5b··......".....V..[ | ||
| 00015770:·0000·0007·6f70·6171·7565·7300·0000·0000··....opaques..... | 00015770:·0000·0007·6f70·6171·7565·7300·0000·0000··....opaques..... | ||
| 00015780:·007d·e100·0000·0000·00d0·0578·07b1·7f96··.}.........x.... | 00015780:·007d·e100·0000·0000·00d0·0578·07b1·7f96··.}.........x.... | ||
| 00015790:·7065·7bb1·79c2·eb3d·454d·6100·0000·0773··pe{.y..=EMa....s | 00015790:·7065·7bb1·79c2·eb3d·454d·6100·0000·0773··pe{.y..=EMa....s | ||
| 000157a0:·756d·6d61·7279·0000·0000·0000·0010·0000··ummary.......... | 000157a0:·756d·6d61·7279·0000·0000·0000·0010·0000··ummary.......... | ||
| 000157b0:·0000·0000·0150· | 000157b0:·0000·0000·0150·1266·bbd9·b2ab·27cb·22b2··.....P.f....'.". | ||
| 000157c0:· | 000157c0:·c87a·810b·3012·0000·0009·766d·6c69·6272··.z..0.....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·307f·5474·6bbe·8139·449e··comp@.0.Ttk..9D. | 00000080:·636f·6d70·4090·307f·5474·6bbe·8139·449e··comp@.0.Ttk..9D. | ||
| 00000090:·263e·0e95·a807·fca0·a024·6d69·7363·a027··&>.......$misc.' | 00000090:·263e·0e95·a807·fca0·a024·6d69·7363·a027··&>.......$misc.' | ||
| 000000a0:·5265·674c·616e·6740·9030·3ea0·b7b5·9333··RegLang@.0>....3 | 000000a0:·5265·674c·616e·6740·9030·3ea0·b7b5·9333··RegLang@.0>....3 | ||
| 000000b0:·89f9·9e46·1f37·050e·0011·a0a0·296c·616e··...F.7......)lan | 000000b0:·89f9·9e46·1f37·050e·0011·a0a0·296c·616e··...F.7......)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·6630·d2f1·e12e·6465·f333·3f7e·61d8··.0f0....de.3?~a. | ||
| 000000e0:· | 000000e0:·96d6·a0a0·236e·6661·a027·5265·674c·616e··....#nfa.'RegLan | ||
| 000000f0:·6740·9030· | 000000f0:·6740·9030·66da·42d1·2f04·2034·a0f6·269d··g@.0f.B./.·4..&. | ||
| 00000100:· | 00000100:·743a·739d·a0a0·2774·776f·5f77·6179·a027··t:s...'two_way.' | ||
| 00000110:·5265·674c·616e·6740·9030· | 00000110:·5265·674c·616e·6740·9030·f58f·b0fb·8407··RegLang@.0...... | ||
| 00000120:·69ce·1f02·96da·a03f·0ab6·2535·2e32·2e30··i......?..%5.2.0 | |||
| 000001 | 00000120:·22c9·86c3·1006·56e5·ae5b·2535·2e32·2e30··".....V..[%5.2.0 | ||
| 00000130:·a040·405b·f2ab·30bb·a3eb·ed3a·7d35·de4b··.@@[..0....:}5.K | |||
| 00000140:·7 | 00000140:·7510·d684·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:·30f5·8fb0·fb84·0722·c986·c310·0656·e5ae··0......".....V.. | ||
| 000041c0:· | 000041c0:·5b90·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·40c8·30ca··....@@ABCDE@@.0. | ||
| 00004bf0:· | 00004bf0:·46f7·98df·94a6·ac2d·71d5·2e53·c984·95a6··F......-q..S.... | ||
| 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·c830··.....C......J..0 | ||
| 00014a70:· | 00014a70:·ca46·f798·df94·a6ac·2d71·d52e·53c9·0000··.F......-q..S... | ||
| 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·5bf2·ab30·bba3·ebed·3a7d·35de··...#[..0....:}5. | ||
| 00014ad0:· | 00014ad0:·4b75·10d6·0000·0009·766d·6c69·6272·6172··Ku......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·7f54·746b·be81·3944·9e26··omp@.0.Ttk..9D.& | 00000080:·6f6d·7040·9030·7f54·746b·be81·3944·9e26··omp@.0.Ttk..9D.& | ||
| 00000090:·3e0e·95a8·07fc·a0a0·246d·6973·63a0·2752··>.......$misc.'R | 00000090:·3e0e·95a8·07fc·a0a0·246d·6973·63a0·2752··>.......$misc.'R | ||
| 000000a0:·6567·4c61·6e67·4090·303e·a0b7·b593·3389··egLang@.0>....3. | 000000a0:·6567·4c61·6e67·4090·303e·a0b7·b593·3389··egLang@.0>....3. | ||
| 000000b0:·f99e·461f·3705·0e00·11a0·a029·6c61·6e67··..F.7......)lang | 000000b0:·f99e·461f·3705·0e00·11a0·a029·6c61·6e67··..F.7......)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:·3066·30d2·f1e1·2e64·65f3·333f·7e61·d896··0f0....de.3?~a.. | ||
| 000000e0:· | 000000e0:·d6a0·a023·6466·61a0·2752·6567·4c61·6e67··...#dfa.'RegLang | ||
| 000000f0:·4090·30 | 000000f0:·4090·304e·4e6d·3f05·e099·11cc·d9bd·0e15··@.0NNm?......... | ||
| 00000100:· | 00000100:·9f22·82a0·a023·6e66·61a0·2752·6567·4c61··."...#nfa.'RegLa | ||
| 00000110:·6e67·4090·30 | 00000110:·6e67·4090·3066·da42·d12f·0420·34a0·f626··ng@.0f.B./.·4..& | ||
| 00000120:· | 00000120:·9d74·3a73·9da0·a026·7265·6765·7870·a027··.t:s...®exp.' | ||
| 00000130:·5265·674c·616e·6740·9030· | 00000130:·5265·674c·616e·6740·9030·e0d4·0317·8eb8··RegLang@.0...... | ||
| 00000140:·f870·4f01·6056·0494·5f8e·2535·2e32·2e30··.pO.`V.._.%5.2.0 | |||
| 000001 | 00000140:·379a·9823·853a·a93a·7b0d·2535·2e32·2e30··7..#.:.:{.%5.2.0 | ||
| 00000150:·a040·4028·ada2·6ee9·d030·f3e0·175a·7358··.@@(..n..0...ZsX | |||
| 00000160:·6 | 00000160:·6967·1484·95a6·be00·00e5·4600·003b·3700··ig........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·30e0·d403·178e··GHIJ......0..... | ||
| 00009b00:· | 00009b00:·b837·9a98·2385·3aa9·3a7b·0d90·40a0·a095··.7..#.:.:{..@... | ||
| 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·40b | 0000e6b0:·a005·17c7·4040·4142·4344·4540·40b4·7695··....@@ABCDE@@.v. | ||
| 0000e6c0:· | 0000e6c0:·6ece·c5b5·1730·3c9d·2e05·331b·ed84·95a6··n....0<...3..... | ||
| 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·b | 00051190:·0000·0163·0000·0000·0000·e55a·b476·956e··...c.......Z.v.n | ||
| 000511a0:· | 000511a0:·cec5·b517·303c·9d2e·0533·1bed·0000·0007··....0<...3...... | ||
| 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·28ad·a26e·e9d0·30f3·e017·5a73·5869··.C(..n..0...ZsXi | ||
| 00051200:· | 00051200:·6714·0000·0009·766d·6c69·6272·6172·7900··g.....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 | 2hrx5 | |