Offset 1, 2 lines modified | Offset 1, 2 lines modified | ||
1 | · | 1 | ·bb7c602a06b0dd58d0e8e1710360fc47·1867864·ocaml·optional·libcoq-mathcomp-multinomials_2.3.0-1_arm64.deb |
Offset 1, 3 lines modified | Offset 1, 3 lines modified | ||
1 | -rw-r--r--···0········0········0········4·2024-12-18·11:19:29.000000·debian-binary | 1 | -rw-r--r--···0········0········0········4·2024-12-18·11:19:29.000000·debian-binary |
2 | -rw-r--r--···0········0········0·····1348·2024-12-18·11:19:29.000000·control.tar.xz | 2 | -rw-r--r--···0········0········0·····1348·2024-12-18·11:19:29.000000·control.tar.xz |
3 | -rw-r--r--···0········0········0··1866 | 3 | -rw-r--r--···0········0········0··1866324·2024-12-18·11:19:29.000000·data.tar.xz |
Offset 2, 15 lines modified | Offset 2, 15 lines modified | ||
2 | Source:·mathcomp-multinomials | 2 | Source:·mathcomp-multinomials |
3 | Version:·2.3.0-1 | 3 | Version:·2.3.0-1 |
4 | Architecture:·arm64 | 4 | Architecture:·arm64 |
5 | Maintainer:·Debian·OCaml·Maintainers·<debian-ocaml-maint@lists.debian.org> | 5 | Maintainer:·Debian·OCaml·Maintainers·<debian-ocaml-maint@lists.debian.org> |
6 | Installed-Size:·7040 | 6 | Installed-Size:·7040 |
7 | Depends:·libcoq-elpi·(>=·1.19),·libcoq-mathcomp-algebra-u7wy7,·libcoq-mathcomp-bigenough-mwow8,·libcoq-mathcomp-finmap-seuz3,·libcoq-mathcomp-ssreflect-5btc5 | 7 | Depends:·libcoq-elpi·(>=·1.19),·libcoq-mathcomp-algebra-u7wy7,·libcoq-mathcomp-bigenough-mwow8,·libcoq-mathcomp-finmap-seuz3,·libcoq-mathcomp-ssreflect-5btc5 |
8 | Suggests:·ocaml-findlib | 8 | Suggests:·ocaml-findlib |
9 | Provides:·libcoq-mathcomp-multinomials- | 9 | Provides:·libcoq-mathcomp-multinomials-oy5z0 |
10 | Section:·ocaml | 10 | Section:·ocaml |
11 | Priority:·optional | 11 | Priority:·optional |
12 | Homepage:·https://github.com/math-comp/multinomials | 12 | Homepage:·https://github.com/math-comp/multinomials |
13 | Description:·Multivariate·polynomials·for·Mathematical·Components | 13 | Description:·Multivariate·polynomials·for·Mathematical·Components |
14 | ·This·package·provides·an·extension·to·Mathematical·Components | 14 | ·This·package·provides·an·extension·to·Mathematical·Components |
15 | ·for·monomial·algebra,·multivariate·polynomials·over·ring | 15 | ·for·monomial·algebra,·multivariate·polynomials·over·ring |
16 | ·structures·and·an·extended·theory·for·polynomials·whose | 16 | ·structures·and·an·extended·theory·for·polynomials·whose |
Offset 6, 21 lines modified | Offset 6, 21 lines modified | ||
6 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/ | 6 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/ |
7 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/ | 7 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/ |
8 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ | 8 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ |
9 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ | 9 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/ |
10 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/ | 10 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/ |
11 | -rw-r--r--···0·root·········(0)·root·········(0)···368782·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/freeg.glob | 11 | -rw-r--r--···0·root·········(0)·root·········(0)···368782·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/freeg.glob |
12 | -rw-r--r--···0·root·········(0)·root·········(0)····44654·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/freeg.v | 12 | -rw-r--r--···0·root·········(0)·root·········(0)····44654·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/freeg.v |
13 | -rw-r--r--···0·root·········(0)·root·········(0)···51545 | 13 | -rw-r--r--···0·root·········(0)·root·········(0)···515452·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/freeg.vo |
14 | -rw-r--r--···0·root·········(0)·root·········(0)···419737·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/monalg.glob | 14 | -rw-r--r--···0·root·········(0)·root·········(0)···419737·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/monalg.glob |
15 | -rw-r--r--···0·root·········(0)·root·········(0)····52505·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/monalg.v | 15 | -rw-r--r--···0·root·········(0)·root·········(0)····52505·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/monalg.v |
16 | -rw-r--r--···0·root·········(0)·root·········(0)···9112 | 16 | -rw-r--r--···0·root·········(0)·root·········(0)···911254·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/monalg.vo |
17 | -rw-r--r--···0·root·········(0)·root·········(0)··1662693·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/mpoly.glob | 17 | -rw-r--r--···0·root·········(0)·root·········(0)··1662693·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/mpoly.glob |
18 | -rw-r--r--···0·root·········(0)·root·········(0)···180646·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/mpoly.v | 18 | -rw-r--r--···0·root·········(0)·root·········(0)···180646·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/mpoly.v |
19 | -rw-r--r--···0·root·········(0)·root·········(0)··27584 | 19 | -rw-r--r--···0·root·········(0)·root·········(0)··2758422·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/mpoly.vo |
20 | -rw-r--r--···0·root·········(0)·root·········(0)···104932·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/ssrcomplements.glob | 20 | -rw-r--r--···0·root·········(0)·root·········(0)···104932·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/ssrcomplements.glob |
21 | -rw-r--r--···0·root·········(0)·root·········(0)····11781·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/ssrcomplements.v | 21 | -rw-r--r--···0·root·········(0)·root·········(0)····11781·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/ssrcomplements.v |
22 | -rw-r--r--···0·root·········(0)·root·········(0)···107949·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/ssrcomplements.vo | 22 | -rw-r--r--···0·root·········(0)·root·········(0)···107949·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/ssrcomplements.vo |
23 | -rw-r--r--···0·root·········(0)·root·········(0)·····4388·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/xfinmap.glob | 23 | -rw-r--r--···0·root·········(0)·root·········(0)·····4388·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/xfinmap.glob |
24 | -rw-r--r--···0·root·········(0)·root·········(0)·····1304·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/xfinmap.v | 24 | -rw-r--r--···0·root·········(0)·root·········(0)·····1304·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/xfinmap.v |
25 | -rw-r--r--···0·root·········(0)·root·········(0)····11403·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/xfinmap.vo | 25 | -rw-r--r--···0·root·········(0)·root·········(0)····11403·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/multinomials/xfinmap.vo |
26 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:19:29.000000·./usr/share/ | 26 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-12-18·11:19:29.000000·./usr/share/ |
Offset 1, 8 lines modified | Offset 1, 8 lines modified | ||
00000000:·436f·7121·0001·4050·0000·0000·0007·dcc | 00000000:·436f·7121·0001·4050·0000·0000·0007·dcca··Coq!..@P........ | ||
00000010:·8495·a6be·0000·0325·0000·0097·0000·0212··.......%........ | 00000010:·8495·a6be·0000·0325·0000·0097·0000·0212··.......%........ | ||
00000020:·0000·01c1·c0a0·2566·7265·6567·a02c·6d75··......%freeg.,mu | 00000020:·0000·01c1·c0a0·2566·7265·6567·a02c·6d75··......%freeg.,mu | ||
00000030:·6c74·696e·6f6d·6961·6c73·a028·6d61·7468··ltinomials.(math | 00000030:·6c74·696e·6f6d·6961·6c73·a028·6d61·7468··ltinomials.(math | ||
00000040:·636f·6d70·4008·0000·4300·a0a0·2750·7265··comp@...C...'Pre | 00000040:·636f·6d70·4008·0000·4300·a0a0·2750·7265··comp@...C...'Pre | ||
00000050:·6c75·6465·a024·496e·6974·a023·436f·7140··lude.$Init.#Coq@ | 00000050:·6c75·6465·a024·496e·6974·a023·436f·7140··lude.$Init.#Coq@ | ||
00000060:·9030·a02d·ed42·9634·d0a3·cc90·2c1b·5f70··.0.-.B.4....,._p | 00000060:·9030·a02d·ed42·9634·d0a3·cc90·2c1b·5f70··.0.-.B.4....,._p | ||
00000070:·70fe·a0a0·2a73·7472·7563·7475·7265·73a0··p...*structures. | 00000070:·70fe·a0a0·2a73·7472·7563·7475·7265·73a0··p...*structures. | ||
Offset 48, 15 lines modified | Offset 48, 15 lines modified | ||
000002f0:·6562·7261·a028·6d61·7468·636f·6d70·4090··ebra.(mathcomp@. | 000002f0:·6562·7261·a028·6d61·7468·636f·6d70·4090··ebra.(mathcomp@. | ||
00000300:·30bd·1cc8·f47c·29fd·ad63·bbf0·a673·a140··0....|)..c...s.@ | 00000300:·30bd·1cc8·f47c·29fd·ad63·bbf0·a673·a140··0....|)..c...s.@ | ||
00000310:·d5a0·a026·7373·7269·6e74·a027·616c·6765··...&ssrint.'alge | 00000310:·d5a0·a026·7373·7269·6e74·a027·616c·6765··...&ssrint.'alge | ||
00000320:·6272·61a0·286d·6174·6863·6f6d·7040·9030··bra.(mathcomp@.0 | 00000320:·6272·61a0·286d·6174·6863·6f6d·7040·9030··bra.(mathcomp@.0 | ||
00000330:·f706·528f·64a5·d051·bcf9·0c77·2cd7·2e1b··..R.d..Q...w,... | 00000330:·f706·528f·64a5·d051·bcf9·0c77·2cd7·2e1b··..R.d..Q...w,... | ||
00000340:·2535·2e33·2e30·a040·40d2·9a96·d992·d007··%5.3.0.@@....... | 00000340:·2535·2e33·2e30·a040·40d2·9a96·d992·d007··%5.3.0.@@....... | ||
00000350:·a8f1·c1db·6255·6bdc·2b84·95a6·be00·04ee··....bUk.+....... | 00000350:·a8f1·c1db·6255·6bdc·2b84·95a6·be00·04ee··....bUk.+....... | ||
00000360:·2 | 00000360:·2800·0118·3300·03fb·4e00·03eb·1fb0·d0a0··(...3...N....... | ||
00000370:·2566·7265·6567·a02c·6d75·6c74·696e·6f6d··%freeg.,multinom | 00000370:·2566·7265·6567·a02c·6d75·6c74·696e·6f6d··%freeg.,multinom | ||
00000380:·6961·6c73·a028·6d61·7468·636f·6d70·40e0··ials.(mathcomp@. | 00000380:·6961·6c73·a028·6d61·7468·636f·6d70·40e0··ials.(mathcomp@. | ||
00000390:·9004·0841·90a0·a029·4672·6565·6744·6566··...A...)FreegDef | 00000390:·9004·0841·90a0·a029·4672·6565·6744·6566··...A...)FreegDef | ||
000003a0:·7393·e0a2·0408·0404·4190·a0a0·2772·6564··s.......A...'red | 000003a0:·7393·e0a2·0408·0404·4190·a0a0·2772·6564··s.......A...'red | ||
000003b0:·7563·6564·9008·0000·2700·40a0·8080·91b7··uced....'.@..... | 000003b0:·7563·6564·9008·0000·2700·40a0·8080·91b7··uced....'.@..... | ||
000003c0:·a090·2147·409b·a0a0·90b0·a2a2·90a0·2673··..!G@.........&s | 000003c0:·a090·2147·409b·a0a0·90b0·a2a2·90a0·2673··..!G@.........&s | ||
000003d0:·7372·616c·67a0·2761·6c67·6562·7261·a004··sralg.'algebra.. | 000003d0:·7372·616c·67a0·2761·6c67·6562·7261·a004··sralg.'algebra.. | ||
Offset 5885, 16 lines modified | Offset 5885, 16 lines modified | ||
00016fc0:·e090·3b6d·6174·6863·6f6d·702e·6d75·6c74··..;mathcomp.mult | 00016fc0:·e090·3b6d·6174·6863·6f6d·702e·6d75·6c74··..;mathcomp.mult | ||
00016fd0:·696e·6f6d·6961·6c73·2e66·7265·6567·2d2e··inomials.freeg-. | 00016fd0:·696e·6f6d·6961·6c73·2e66·7265·6567·2d2e··inomials.freeg-. | ||
00016fe0:·2f73·7263·2f66·7265·6567·2e76·010d·0301··/src/freeg.v.... | 00016fe0:·2f73·7263·2f66·7265·6567·2e76·010d·0301··/src/freeg.v.... | ||
00016ff0:·0d45·004a·010c·ffc0·4040·4041·b0c3·9140··.E.J....@@@A...@ | 00016ff0:·0d45·004a·010c·ffc0·4040·4041·b0c3·9140··.E.J....@@@A...@ | ||
00017000:·2f6c·6f63·616c·2d63·616e·6f6e·6963·616c··/local-canonical | 00017000:·2f6c·6f63·616c·2d63·616e·6f6e·6963·616c··/local-canonical | ||
00017010:·b095·a091·053c·fe58·040d·a022·5479·9090··.....<.X..."Ty.. | 00017010:·b095·a091·053c·fe58·040d·a022·5479·9090··.....<.X..."Ty.. | ||
00017020:·9090·2863·6f6e·7374·616e·7440·0414·a004··..(constant@.... | 00017020:·9090·2863·6f6e·7374·616e·7440·0414·a004··..(constant@.... | ||
00017030:·0790·9090·4040·4040·4029·3 | 00017030:·0790·9090·4040·4040·4029·3637·3936·3833··....@@@@@)679683 | ||
00017040:·3 | 00017040:·3232·38e0·d0d0·d0d0·4025·4063·6173·74a0··228.....@%@cast. | ||
00017050:·b0b4·90a0·2154·226c·7040·b0b4·90a0·2254··....!T"lp@...."T | 00017050:·b0b4·90a0·2154·226c·7040·b0b4·90a0·2254··....!T"lp@...."T | ||
00017060:·5904·0640·b0c3·9140·236c·6574·b095·a090··Y..@...@#let.... | 00017060:·5904·0640·b0c3·9140·236c·6574·b095·a090··Y..@...@#let.... | ||
00017070:·2463·6173·7453·e040·3063·6f71·2d62·7569··$castS.@0coq-bui | 00017070:·2463·6173·7453·e040·3063·6f71·2d62·7569··$castS.@0coq-bui | ||
00017080:·6c74·696e·2e65·6c70·6901·24e8·0124·ee01··ltin.elpi.$..$.. | 00017080:·6c74·696e·2e65·6c70·6901·24e8·0124·ee01··ltin.elpi.$..$.. | ||
00017090:·00e1·0124·cfa0·0429·9040·a0b0·a190·0417··...$...).@...... | 00017090:·00e1·0124·cfa0·0429·9040·a0b0·a190·0417··...$...).@...... | ||
000170a0:·0412·e040·0408·0124·ef01·24f1·0100·e101··...@...$..$..... | 000170a0:·0412·e040·0408·0124·ef01·24f1·0100·e101··...@...$..$..... | ||
000170b0:·24cf·a004·3090·40a0·b0a1·9004·1e04·1fe0··$...0.@......... | 000170b0:·24cf·a004·3090·40a0·b0a1·9004·1e04·1fe0··$...0.@......... | ||
Offset 10632, 55 lines modified | Offset 10632, 55 lines modified | ||
00029870:·0105·5801·0562·6701·0558·d040·0517·08a0··..X..bg..X.@.... | 00029870:·0105·5801·0562·6701·0558·d040·0517·08a0··..X..bg..X.@.... | ||
00029880:·a090·40a0·9040·a090·41a0·9041·40e0·4005··..@..@..A..A@.@. | 00029880:·a090·40a0·9040·a090·41a0·9041·40e0·4005··..@..@..A..A@.@. | ||
00029890:·1669·0101·ac01·01d5·4c01·01ac·d040·0517··.i......L....@.. | 00029890:·1669·0101·ac01·01d5·4c01·01ac·d040·0517··.i......L....@.. | ||
000298a0:·07a0·a090·40a0·9041·a090·4140·e040·0516··....@..A..A@.@.. | 000298a0:·07a0·a090·40a0·9041·a090·4140·e040·0516··....@..A..A@.@.. | ||
000298b0:·7201·01d7·0102·034d·0101·d7d0·4005·1705··r......M....@... | 000298b0:·7201·01d7·0102·034d·0101·d7d0·4005·1705··r......M....@... | ||
000298c0:·a0a0·9040·a090·4140·e040·0516·7901·022a··...@..A@.@..y..* | 000298c0:·a0a0·9040·a090·4140·e040·0516·7901·022a··...@..A@.@..y..* | ||
000298d0:·0102·424f·0102·2a40·4142·4344·4546·4748··..BO..*@ABCDEFGH | 000298d0:·0102·424f·0102·2a40·4142·4344·4546·4748··..BO..*@ABCDEFGH | ||
000298e0:·494b·4c05·4614·0c00·0000·0000· | 000298e0:·494b·4c05·4614·0c00·0000·0000·80e9·3e40··IKL.F.........>@ | ||
000298f0:·4140·a095·a002·347d·c1ff·a027·5f45·4c50··A@....4}...'_ELP | 000298f0:·4140·a095·a002·347d·c1ff·a027·5f45·4c50··A@....4}...'_ELP | ||
00029900:·495f·32c0·a022·6862·a022·6462·40a0·a0b0··I_2.."hb."db@... | 00029900:·495f·32c0·a022·6862·a022·6462·40a0·a0b0··I_2.."hb."db@... | ||
00029910:·0583·a621·3202·2f1d·56cb·d005·4627·d0e0··...!2./.V...F'.. | 00029910:·0583·a621·3202·2f1d·56cb·d005·4627·d0e0··...!2./.V...F'.. | ||
00029920:·4040·4040·4005·4626·40a0·c005·4625·0546··@@@@@.F&@...F%.F | 00029920:·4040·4040·4005·4626·40a0·c005·4625·0546··@@@@@.F&@...F%.F | ||
00029930:·21b0·c391·4005·2939·b095·a005·4628·4305··!...@.)9....F(C. | 00029930:·21b0·c391·4005·2939·b095·a005·4628·4305··!...@.)9....F(C. | ||
00029940:·462b·a005·461e·9090·9005·293b·a0b0·95a0··F+..F.....);.... | 00029940:·462b·a005·461e·9090·9005·293b·a0b0·95a0··F+..F.....);.... | ||
00029950:·092d·4672·6565·6744·6566·735f·7072·6566··.-FreegDefs_pref | 00029950:·092d·4672·6565·6744·6566·735f·7072·6566··.-FreegDefs_pref | ||
00029960:·7265·6567·5f5f·6361·6e6f·6e69·6361·6c5f··reeg__canonical_ | 00029960:·7265·6567·5f5f·6361·6e6f·6e69·6361·6c5f··reeg__canonical_ | ||
00029970:·5f65·7174·7970·655f·5375·6254·7970·6543··_eqtype_SubTypeC | 00029970:·5f65·7174·7970·655f·5375·6254·7970·6543··_eqtype_SubTypeC | ||
00029980:·0546·34a0·0546·2790·9090·0529·42a0·b095··.F4..F'....)B... | 00029980:·0546·34a0·0546·2790·9090·0529·42a0·b095··.F4..F'....)B... | ||
00029990:·0546·3005·463b·a005·462e·9090·9005·2947··.F0.F;..F.....)G | 00029990:·0546·3005·463b·a005·462e·9090·9005·2947··.F0.F;..F.....)G | ||
000299a0:·4005·463f·a005·4632·9090·9040·4040·4040··@.F?..F2...@@@@@ | 000299a0:·4005·463f·a005·4632·9090·9040·4040·4040··@.F?..F2...@@@@@ | ||
000299b0:·293 | 000299b0:·2938·3031·3936·3831·3832·e005·462b·0540··)801968182..F+.@ | ||
000299c0:·cd05·3f4a·0517·1105·1682·0546·480c·0000··..?J.......FH... | 000299c0:·cd05·3f4a·0517·1105·1682·0546·480c·0000··..?J.......FH... | ||
000299d0:·0000·00 | 000299d0:·0000·0080·ef3e·a0a0·b005·83d0·2133·022f··.....>......!3./ | ||
000299e0:·1d56·ccd0·0546·51d0·e040·4040·4040·0546··.V...FQ..@@@@@.F | 000299e0:·1d56·ccd0·0546·51d0·e040·4040·4040·0546··.V...FQ..@@@@@.F | ||
000299f0:·5040·a0c0·0546·4f05·464b·b0c3·9140·0529··P@...FO.FK...@.) | 000299f0:·5040·a0c0·0546·4f05·464b·b0c3·9140·0529··P@...FO.FK...@.) | ||
00029a00:·63b0·9504·2a05·4654·a005·4647·9090·9005··c...*.FT..FG.... | 00029a00:·63b0·9504·2a05·4654·a005·4647·9090·9005··c...*.FT..FG.... | ||
00029a10:·2964·a0b0·95a0·215f·4305·465d·a005·4650··)d....!_C.F]..FP | 00029a10:·2964·a0b0·95a0·215f·4305·465d·a005·4650··)d....!_C.F]..FP | ||
00029a20:·9090·9005·296b·a0b0·95a0·9105·83c0·5805··....)k........X. | 00029a20:·9090·9005·296b·a0b0·95a0·9105·83c0·5805··....)k........X. | ||
00029a30:·4666·a005·4659·9090·9005·2972·4005·466a··Ff..FY....)r@.Fj | 00029a30:·4666·a005·4659·9090·9005·2972·4005·466a··Ff..FY....)r@.Fj | ||
00029a40:·a005·465d·9090·9040·4040·4040·293 | 00029a40:·a005·465d·9090·9040·4040·4040·2938·3031··..F]...@@@@@)801 | ||
00029a50:·3 | 00029a50:·3936·3831·3832·e005·4656·0540·f805·3f75··968182..FV.@..?u | ||
00029a60:·0517·3c05·16ad·0546·730c·0000·0000·0000··..<....Fs....... | 00029a60:·0517·3c05·16ad·0546·730c·0000·0000·0000··..<....Fs....... | ||
00029a70:· | 00029a70:·c83e·a0a0·b005·83fb·2134·022f·1d56·cdd0··.>......!4./.V.. | ||
00029a80:·0546·7cd0·e040·4040·4040·0546·7b40·a0c0··.F|..@@@@@.F{@.. | 00029a80:·0546·7cd0·e040·4040·4040·0546·7b40·a0c0··.F|..@@@@@.F{@.. | ||
00029a90:·0546·7a05·4676·b0c3·9140·052a·6eb0·c391··.Fz.Fv...@.*n... | 00029a90:·0546·7a05·4676·b0c3·9140·052a·6eb0·c391··.Fz.Fv...@.*n... | ||
00029aa0:·4005·2d3f·b0c3·9140·0529·c8b0·95a0·0583··@.-?...@.)...... | 00029aa0:·4005·2d3f·b0c3·9140·0529·c8b0·95a0·0583··@.-?...@.)...... | ||
00029ab0:·dd57·0546·86a0·0546·7990·9090·0529·ca40··.W.F...Fy....).@ | 00029ab0:·dd57·0546·86a0·0546·7990·9090·0529·ca40··.W.F...Fy....).@ | ||
00029ac0:·0546·8aa0·0546·7d90·9090·052d·4840·0546··.F...F}....-H@.F | 00029ac0:·0546·8aa0·0546·7d90·9090·052d·4840·0546··.F...F}....-H@.F | ||
00029ad0:·8ea0·0546·8190·9090·052a·7ea0·b0c3·9140··...F.....*~....@ | 00029ad0:·8ea0·0546·8190·9090·052a·7ea0·b0c3·9140··...F.....*~....@ | ||
00029ae0:·0529·dbb0·95a0·0547·2657·0546·99a0·0546··.).....G&W.F...F | 00029ae0:·0529·dbb0·95a0·0547·2657·0546·99a0·0546··.).....G&W.F...F | ||
00029af0:·8c90·9090·0529·dd40·0546·9da0·0546·9090··.....).@.F...F.. | 00029af0:·8c90·9090·0529·dd40·0546·9da0·0546·9090··.....).@.F...F.. | ||
00029b00:·9090·052a·8aa0·b0c3·9140·053d·5db0·9504··...*.....@.=]... | 00029b00:·9090·052a·8aa0·b0c3·9140·053d·5db0·9504··...*.....@.=]... | ||
00029b10:·4305·46a7·a005·469a·9090·9005·3d5e·4005··C.F...F.....=^@. | 00029b10:·4305·46a7·a005·469a·9090·9005·3d5e·4005··C.F...F.....=^@. | ||
00029b20:·46ab·a005·469e·9090·9005·2a96·4005·46af··F...F.....*.@.F. | 00029b20:·46ab·a005·469e·9090·9005·2a96·4005·46af··F...F.....*.@.F. | ||
00029b30:·a005·46a2·9090·9040·4040·4040·293 | 00029b30:·a005·46a2·9090·9040·4040·4040·2938·3031··..F....@@@@@)801 | ||
00029b40:·3 | 00029b40:·3936·3831·3832·e005·469b·0541·3d05·3fba··968182..F..A=.?. | ||
00029b50:·0517·8105·16f2·0546·b80c·0000·0000·0000··.......F........ | 00029b50:·0517·8105·16f2·0546·b80c·0000·0000·0000··.......F........ | ||
00029b60:·e | 00029b60:·e33e·4041·40a0·95a0·021b·8322·9db0·9005··.>@A@......".... | ||
00029b70:·8402·40a0·0583·caa0·0583·cea0·0583·c440··..@............@ | 00029b70:·8402·40a0·0583·caa0·0583·cea0·0583·c440··..@............@ | ||
00029b80:·a095·a002·320a·518f·a005·8409·b005·47b2··....2.Q.......G. | 00029b80:·a095·a002·320a·518f·a005·8409·b005·47b2··....2.Q.......G. | ||
00029b90:·4040·a095·a002·0fc0·a2b8·a090·0548·23a0··@@...........H#. | 00029b90:·4040·a095·a002·0fc0·a2b8·a090·0548·23a0··@@...........H#. | ||
00029ba0:·a091·0583·74a0·a040·a040·a040·4040·40a0··....t..@.@.@@@@. | 00029ba0:·a091·0583·74a0·a040·a040·a040·4040·40a0··....t..@.@.@@@@. | ||
00029bb0:·95a0·0227·60a0·6fd0·4091·0583·7da0·40a0··...'`.o.@...}.@. | 00029bb0:·95a0·0227·60a0·6fd0·4091·0583·7da0·40a0··...'`.o.@...}.@. | ||
00029bc0:·4040·a090·9205·8d5e·a090·9205·8d4d·40d0··@@.....^.....M@. | 00029bc0:·4040·a090·9205·8d5e·a090·9205·8d4d·40d0··@@.....^.....M@. | ||
00029bd0:·d0d0·d0d0·4040·a005·4bb0·4040·4141·a005··....@@..K.@@AA.. | 00029bd0:·d0d0·d0d0·4040·a005·4bb0·4040·4141·a005··....@@..K.@@AA.. | ||
Offset 10827, 18 lines modified | Offset 10827, 18 lines modified | ||
0002a4a0:·c1ff·a027·5f45·4c50·495f·34c0·a022·6862··...'_ELPI_4.."hb | 0002a4a0:·c1ff·a027·5f45·4c50·495f·34c0·a022·6862··...'_ELPI_4.."hb | ||
0002a4b0:·a022·6462·40a0·a0b0·0586·5921·3702·2f1d··."db@.....Y!7./. | 0002a4b0:·a022·6462·40a0·a0b0·0586·5921·3702·2f1d··."db@.....Y!7./. | ||
0002a4c0:·56d0·d005·48da·d0e0·4040·4040·4005·48d9··V...H...@@@@@.H. | 0002a4c0:·56d0·d005·48da·d0e0·4040·4040·4005·48d9··V...H...@@@@@.H. | ||
0002a4d0:·40a0·c0e0·9005·48d8·2d2e·2f73·7263·2f66··@.....H.-./src/f | 0002a4d0:·40a0·c0e0·9005·48d8·2d2e·2f73·7263·2f66··@.....H.-./src/f | ||
0002a4e0:·7265·6567·2e76·010d·4a01·0d8b·004b·010d··reeg.v..J....K.. | 0002a4e0:·7265·6567·2e76·010d·4a01·0d8b·004b·010d··reeg.v..J....K.. | ||
0002a4f0:·4605·48d7·b0c3·9140·0548·d6b0·95a0·9104··F.H....@.H...... | 0002a4f0:·4605·48d7·b0c3·9140·0548·d6b0·95a0·9104··F.H....@.H...... | ||
0002a500:·7c58·040a·a005·48d5·9090·9005·48d4·4004··|X....H.....H.@. | 0002a500:·7c58·040a·a005·48d5·9090·9005·48d4·4004··|X....H.....H.@. | ||
0002a510:·0ea0·0548·d990·9090·4040·4040·4029·3 | 0002a510:·0ea0·0548·d990·9090·4040·4040·4029·3639··...H....@@@@@)69 | ||
0002a520:·313 | 0002a520:·3134·3434·3532·31e0·0548·d205·4374·0541··1444521..H..Ct.A | ||
0002a530:·f105·19b8·0519·2905·48ef·0c00·0000·00 | 0002a530:·f105·19b8·0519·2905·48ef·0c00·0000·00c0··......).H....... | ||
0002a540:· | 0002a540:·9570·3f40·4140·a095·a002·0b7b·4f44·a040··.p?@A@.....{OD.@ | ||
0002a550:·a0a0·0584·eea0·9105·8543·4040·a095·a002··.........C@@.... | 0002a550:·a0a0·0584·eea0·9105·8543·4040·a095·a002··.........C@@.... | ||
0002a560:·0b7b·4f44·a040·a0a0·0585·02a0·9105·8657··.{OD.@.........W | 0002a560:·0b7b·4f44·a040·a0a0·0585·02a0·9105·8657··.{OD.@.........W | ||
0002a570:·4040·a095·a002·320a·518f·a005·8539·b005··@@....2.Q....9.. | 0002a570:·4040·a095·a002·320a·518f·a005·8539·b005··@@....2.Q....9.. | ||
0002a580:·49f1·4040·a095·a002·0fc0·a2b8·a090·054a··I.@@...........J | 0002a580:·49f1·4040·a095·a002·0fc0·a2b8·a090·054a··I.@@...........J | ||
0002a590:·62a0·a091·90b0·058f·a005·8544·0226·29cc··b..........D.&). | 0002a590:·62a0·a091·90b0·058f·a005·8544·0226·29cc··b..........D.&). | ||
0002a5a0:·0ca0·a040·a040·a040·4040·40a0·95a0·0227··...@.@.@@@@....' | 0002a5a0:·0ca0·a040·a040·a040·4040·40a0·95a0·0227··...@.@.@@@@....' | ||
0002a5b0:·60a0·6fd0·4091·040b·a040·a040·40a0·9092··`.o.@....@.@@... | 0002a5b0:·60a0·6fd0·4091·040b·a040·a040·40a0·9092··`.o.@....@.@@... | ||
Offset 10869, 1126 lines modified | Offset 10869, 1126 lines modified | ||
0002a740:·90b0·a205·8d75·0585·9205·497f·0202·71a2··.....u....I...q. | 0002a740:·90b0·a205·8d75·0585·9205·497f·0202·71a2··.....u....I...q. | ||
0002a750:·a840·40a0·95a0·0234·7dc1·ffa0·275f·454c··.@@....4}...'_EL | 0002a750:·a840·40a0·95a0·0234·7dc1·ffa0·275f·454c··.@@....4}...'_EL | ||
0002a760:·5049·5f35·c0a0·2268·62a0·2264·6240·a0a0··PI_5.."hb."db@.. | 0002a760:·5049·5f35·c0a0·2268·62a0·2264·6240·a0a0··PI_5.."hb."db@.. | ||
0002a770:·b005·86fd·2138·022f·1d56·d1d0·0549·7ed0··....!8./.V...I~. | 0002a770:·b005·86fd·2138·022f·1d56·d1d0·0549·7ed0··....!8./.V...I~. | ||
0002a780:·e040·4040·4040·0549·7d40·a0c0·04a4·0549··.@@@@@.I}@.....I | 0002a780:·e040·4040·4040·0549·7d40·a0c0·04a4·0549··.@@@@@.I}@.....I | ||
0002a790:·78b0·c391·4005·4977·b095·a091·0479·5804··x...@.Iw.....yX. | 0002a790:·78b0·c391·4005·4977·b095·a091·0479·5804··x...@.Iw.....yX. | ||
Diff chunk too large, falling back to line-by-line diff (1024 lines added, 1024 lines removed) | |||
0002a7a0:·aba0·0549·7690·9090·0549·7540·04af·a005··...Iv....Iu@.... | 0002a7a0:·aba0·0549·7690·9090·0549·7540·04af·a005··...Iv....Iu@.... | ||
0002a7b0:·497a·9090·9040·4040·4040·2 | 0002a7b0:·497a·9090·9040·4040·4040·2937·3930·3238··Iz...@@@@@)79028 | ||
0002a7c0:·3 | 0002a7c0:·3835·3437·e005·4973·0544·1505·4292·051a··8547..Is.D..B... | ||
Max diff block lines reached; 2326006/2476913 bytes (93.91%) of diff not shown. |
Offset 1, 8 lines modified | Offset 1, 8 lines modified | ||
00000000:·436f·7121·0001·4050·0000·0000·000d·e6 | 00000000:·436f·7121·0001·4050·0000·0000·000d·e6e4··Coq!..@P........ | ||
00000010:·8495·a6be·0000·02bf·0000·0085·0000·01d1··................ | 00000010:·8495·a6be·0000·02bf·0000·0085·0000·01d1··................ | ||
00000020:·0000·018a·c0a0·266d·6f6e·616c·67a0·2c6d··......&monalg.,m | 00000020:·0000·018a·c0a0·266d·6f6e·616c·67a0·2c6d··......&monalg.,m | ||
00000030:·756c·7469·6e6f·6d69·616c·73a0·286d·6174··ultinomials.(mat | 00000030:·756c·7469·6e6f·6d69·616c·73a0·286d·6174··ultinomials.(mat | ||
00000040:·6863·6f6d·7040·0800·003b·00a0·a027·5072··hcomp@...;...'Pr | 00000040:·6863·6f6d·7040·0800·003b·00a0·a027·5072··hcomp@...;...'Pr | ||
00000050:·656c·7564·65a0·2449·6e69·74a0·2343·6f71··elude.$Init.#Coq | 00000050:·656c·7564·65a0·2449·6e69·74a0·2343·6f71··elude.$Init.#Coq | ||
00000060:·4090·30a0·2ded·4296·34d0·a3cc·902c·1b5f··@.0.-.B.4....,._ | 00000060:·4090·30a0·2ded·4296·34d0·a3cc·902c·1b5f··@.0.-.B.4....,._ | ||
00000070:·7070·fea0·a02a·7374·7275·6374·7572·6573··pp...*structures | 00000070:·7070·fea0·a02a·7374·7275·6374·7572·6573··pp...*structures | ||
Offset 41, 16 lines modified | Offset 41, 16 lines modified | ||
00000280:·2761·6c67·6562·7261·a028·6d61·7468·636f··'algebra.(mathco | 00000280:·2761·6c67·6562·7261·a028·6d61·7468·636f··'algebra.(mathco | ||
00000290:·6d70·4090·30f7·0652·8f64·a5d0·51bc·f90c··mp@.0..R.d..Q... | 00000290:·6d70·4090·30f7·0652·8f64·a5d0·51bc·f90c··mp@.0..R.d..Q... | ||
000002a0:·772c·d72e·1ba0·a027·7866·696e·6d61·70a0··w,.....'xfinmap. | 000002a0:·772c·d72e·1ba0·a027·7866·696e·6d61·70a0··w,.....'xfinmap. | ||
000002b0:·2c6d·756c·7469·6e6f·6d69·616c·73a0·286d··,multinomials.(m | 000002b0:·2c6d·756c·7469·6e6f·6d69·616c·73a0·286d··,multinomials.(m | ||
000002c0:·6174·6863·6f6d·7040·9030·f06d·f946·3e8a··athcomp@.0.m.F>. | 000002c0:·6174·6863·6f6d·7040·9030·f06d·f946·3e8a··athcomp@.0.m.F>. | ||
000002d0:·704f·2315·20b8·7b82·d17d·2535·2e33·2e30··pO#.·.{..}%5.3.0 | 000002d0:·704f·2315·20b8·7b82·d17d·2535·2e33·2e30··pO#.·.{..}%5.3.0 | ||
000002e0:·a040·40e3·3c49·73f3·2d84·fc51·f177·cfb4··.@@.<Is.-..Q.w.. | 000002e0:·a040·40e3·3c49·73f3·2d84·fc51·f177·cfb4··.@@.<Is.-..Q.w.. | ||
000002f0:·6478·1584·95a6·be00·0b24· | 000002f0:·6478·1584·95a6·be00·0b24·6000·0270·a700··dx.......$`..p.. | ||
00000300:·088a· | 00000300:·088a·4e00·0871·d2b0·d0a0·266d·6f6e·616c··..N..q....&monal | ||
00000310:·67a0·2c6d·756c·7469·6e6f·6d69·616c·73a0··g.,multinomials. | 00000310:·67a0·2c6d·756c·7469·6e6f·6d69·616c·73a0··g.,multinomials. | ||
00000320:·286d·6174·6863·6f6d·7040·e090·0408·4190··(mathcomp@....A. | 00000320:·286d·6174·6863·6f6d·7040·e090·0408·4190··(mathcomp@....A. | ||
00000330:·a0a0·3443·686f·6963·655f·6973·4d6f·6e6f··..4Choice_isMono | 00000330:·a0a0·3443·686f·6963·655f·6973·4d6f·6e6f··..4Choice_isMono | ||
00000340:·6d69·616c·4465·6693·e0a2·0408·0404·4190··mialDef.......A. | 00000340:·6d69·616c·4465·6693·e0a2·0408·0404·4190··mialDef.......A. | ||
00000350:·a0a0·0932·4368·6f69·6365·5f69·734d·6f6e··...2Choice_isMon | 00000350:·a0a0·0932·4368·6f69·6365·5f69·734d·6f6e··...2Choice_isMon | ||
00000360:·6f6d·6961·6c44·6566·5f56·5f5f·6361·6e6f··omialDef_V__cano | 00000360:·6f6d·6961·6c44·6566·5f56·5f5f·6361·6e6f··omialDef_V__cano | ||
00000370:·6e69·6361·6c5f·5f65·7174·7970·655f·4571··nical__eqtype_Eq | 00000370:·6e69·6361·6c5f·5f65·7174·7970·655f·4571··nical__eqtype_Eq | ||
Offset 9636, 16 lines modified | Offset 9636, 16 lines modified | ||
00025a30:·732e·6d6f·6e61·6c67·2e2e·2f73·7263·2f6d··s.monalg../src/m | 00025a30:·732e·6d6f·6e61·6c67·2e2e·2f73·7263·2f6d··s.monalg../src/m | ||
00025a40:·6f6e·616c·672e·7601·0a56·010b·3c00·4301··onalg.v..V..<.C. | 00025a40:·6f6e·616c·672e·7601·0a56·010b·3c00·4301··onalg.v..V..<.C. | ||
00025a50:·0a56·c040·4040·41b0·c391·4030·6d6f·6475··.V.@@@A...@0modu | 00025a50:·0a56·c040·4040·41b0·c391·4030·6d6f·6475··.V.@@@A...@0modu | ||
00025a60:·6c65·2d74·6f2d·6578·706f·7274·b095·a004··le-to-export.... | 00025a60:·6c65·2d74·6f2d·6578·706f·7274·b095·a004··le-to-export.... | ||
00025a70:·0943·040c·a022·5479·9090·9090·2673·7472··.C..."Ty....&str | 00025a70:·0943·040c·a022·5479·9090·9090·2673·7472··.C..."Ty....&str | ||
00025a80:·696e·67a0·b095·a004·2e5b·0417·a004·0b90··ing......[...... | 00025a80:·696e·67a0·b095·a004·2e5b·0417·a004·0b90··ing......[...... | ||
00025a90:·9090·9027·6d6f·6470·6174·6840·041d·a004··...'modpath@.... | 00025a90:·9090·9027·6d6f·6470·6174·6840·041d·a004··...'modpath@.... | ||
00025aa0:·1190·9090·4040·4040·4029·3 | 00025aa0:·1190·9090·4040·4040·4029·3431·3734·3532··....@@@@@)417452 | ||
00025ab0:·3 | 00025ab0:·3433·39e0·d040·2840·676c·6f62·616c·21a0··439..@(@global!. | ||
00025ac0:·b0c3·9140·2a67·6574·2d6f·7074·696f·6eb0··...@*get-option. | 00025ac0:·b0c3·9140·2a67·6574·2d6f·7074·696f·6eb0··...@*get-option. | ||
00025ad0:·95a0·2c63·6f71·3a6c·6f63·616c·6974·7943··..,coq:localityC | 00025ad0:·95a0·2c63·6f71·3a6c·6f63·616c·6974·7943··..,coq:localityC | ||
00025ae0:·e040·3863·6f71·2d62·7569·6c74·696e·2d73··.@8coq-builtin-s | 00025ae0:·e040·3863·6f71·2d62·7569·6c74·696e·2d73··.@8coq-builtin-s | ||
00025af0:·796e·7465·7270·2e65·6c70·6901·1b0d·011b··ynterp.elpi..... | 00025af0:·796e·7465·7270·2e65·6c70·6901·1b0d·011b··ynterp.elpi..... | ||
00025b00:·1b01·00b0·011a·eea0·0424·9040·a0b0·95a0··.........$.@.... | 00025b00:·1b01·00b0·011a·eea0·0424·9040·a0b0·95a0··.........$.@.... | ||
00025b10:·2667·6c6f·6261·6c43·e040·0409·011b·1c01··&globalC.@...... | 00025b10:·2667·6c6f·6261·6c43·e040·0409·011b·1c01··&globalC.@...... | ||
00025b20:·1b24·0100·b001·1aee·a004·2c90·4040·e040··.$........,.@@.@ | 00025b20:·1b24·0100·b001·1aee·a004·2c90·4040·e040··.$........,.@@.@ | ||
Offset 11688, 131 lines modified | Offset 11688, 131 lines modified | ||
0002da70:·0100·8701·0090·4901·0087·4041·050b·67a0··......I...@A..g. | 0002da70:·0100·8701·0090·4901·0087·4041·050b·67a0··......I...@A..g. | ||
0002da80:·a090·40a0·9041·40e0·4005·2080·016f·ff01··..@..A@.@.·..o.. | 0002da80:·a090·40a0·9041·40e0·4005·2080·016f·ff01··..@..A@.@.·..o.. | ||
0002da90:·703c·0100·c001·6fff·d040·050b·66a0·a090··p<....o..@..f... | 0002da90:·703c·0100·c001·6fff·d040·050b·66a0·a090··p<....o..@..f... | ||
0002daa0:·40a0·9040·a090·40a0·9041·a090·4140·e040··@..@..@..A..A@.@ | 0002daa0:·40a0·9040·a090·40a0·9041·a090·4140·e040··@..@..@..A..A@.@ | ||
0002dab0:·0520·8d01·6f33·016f·b801·00bc·016f·33d0··.·..o3.o.....o3. | 0002dab0:·0520·8d01·6f33·016f·b801·00bc·016f·33d0··.·..o3.o.....o3. | ||
0002dac0:·4005·0b40·a040·e040·0521·0601·0860·0108··@..@.@.@.!...`.. | 0002dac0:·4005·0b40·a040·e040·0521·0601·0860·0108··@..@.@.@.!...`.. | ||
0002dad0:·6a00·4201·0860·4041·4243·4445·4647·4849··j.B..`@ABCDEFGHI | 0002dad0:·6a00·4201·0860·4041·4243·4445·4647·4849··j.B..`@ABCDEFGHI | ||
0002dae0:·4a05·2138·0c00·0000·0000· | 0002dae0:·4a05·2138·0c00·0000·0000·00e3·3e40·4140··J.!8........>@A@ | ||
0002daf0:·a0a0·0589·7fa0·4090·a0a0·0589·8da0·4090··......@.......@. | 0002daf0:·a0a0·0589·7fa0·4090·a0a0·0589·8da0·4090··......@.......@. | ||
0002db00:·4040·a094·a0a0·40a2·a205·9460·0589·8b05··@@....@....`.... | 0002db00:·4040·a094·a0a0·40a2·a205·9460·0589·8b05··@@....@....`.... | ||
0002db10:·8995·40a0·a005·86b4·a040·9040·a094·a0a0··..@......@.@.... | 0002db10:·8995·40a0·a005·86b4·a040·9040·a094·a0a0··..@......@.@.... | ||
0002db20:·40a2·0594·6905·86bb·40a0·95a0·021b·9b7f··@...i...@....... | 0002db20:·40a2·0594·6905·86bb·40a0·95a0·021b·9b7f··@...i...@....... | ||
0002db30:·79a0·275f·454c·5049·5f32·c0a0·2665·7870··y.'_ELPI_2..&exp | 0002db30:·79a0·275f·454c·5049·5f32·c0a0·2665·7870··y.'_ELPI_2..&exp | ||
0002db40:·6f72·74a0·2264·6240·a0a0·b005·9476·2132··ort."db@.....v!2 | 0002db40:·6f72·74a0·2264·6240·a0a0·b005·9476·2132··ort."db@.....v!2 | ||
0002db50:·022a·b1cd·ecd0·0521·62d0·e040·4040·4040··.*.....!b..@@@@@ | 0002db50:·022a·b1cd·ecd0·0521·62d0·e040·4040·4040··.*.....!b..@@@@@ | ||
0002db60:·0521·6140·a0c0·e090·0521·602e·2e2f·7372··.!a@.....!`../sr | 0002db60:·0521·6140·a0c0·e090·0521·602e·2e2f·7372··.!a@.....!`../sr | ||
0002db70:·632f·6d6f·6e61·6c67·2e76·010b·3e01·0b92··c/monalg.v..>... | 0002db70:·632f·6d6f·6e61·6c67·2e76·010b·3e01·0b92··c/monalg.v..>... | ||
0002db80:·004c·010b·3e05·215f·b0c3·9140·0521·5eb0··.L..>.!_...@.!^. | 0002db80:·004c·010b·3e05·215f·b0c3·9140·0521·5eb0··.L..>.!_...@.!^. | ||
0002db90:·9505·215d·0408·a005·215c·9090·9005·215b··..!]....!\....![ | 0002db90:·9505·215d·0408·a005·215c·9090·9005·215b··..!]....!\....![ | ||
0002dba0:·a0b0·95a0·042e·5b04·10a0·0521·6490·9090··......[....!d... | 0002dba0:·a0b0·95a0·042e·5b04·10a0·0521·6490·9090··......[....!d... | ||
0002dbb0:·0521·5940·0414·a005·2168·9090·9040·4040··.!Y@....!h...@@@ | 0002dbb0:·0521·5940·0414·a005·2168·9090·9040·4040··.!Y@....!h...@@@ | ||
0002dbc0:·4040·2 | 0002dbc0:·4040·2937·3138·3337·3238·3239·e005·2157··@@)718372829..!W | ||
0002dbd0:·2505·2058·050b·6705·0b5a·0521·7d0c· | 0002dbd0:·0521·2505·2058·050b·6705·0b5a·0521·7d0c··.!%.·X..g..Z.!}. | ||
0002dbe0:·0000·0000·e | 0002dbe0:·0000·0000·0000·e93e·4041·40a0·95a0·021b··.......>@A@..... | ||
0002dbf0:·79a0·275f·454c·5049·5f33·c0a0·2665· | 0002dbf0:·9b7f·79a0·275f·454c·5049·5f33·c0a0·2665··..y.'_ELPI_3..&e | ||
0002dc00:·6f72·74a0·2264·6240·a0a0·b005·94a4· | 0002dc00:·7870·6f72·74a0·2264·6240·a0a0·b005·94a4··xport."db@...... | ||
0002dc10:·022a·b1cd·edd0·0521·90d0·e040·4040· | 0002dc10:·2133·022a·b1cd·edd0·0521·90d0·e040·4040··!3.*.....!...@@@ | ||
0002dc20:·0521·8f40·a0c0·042e·0521·8ab0·c391· | 0002dc20:·4040·0521·8f40·a0c0·042e·0521·8ab0·c391··@@.!.@.....!.... | ||
0002dc30:·2189·b095·0521·8804·33a0·0521·8790· | 0002dc30:·4005·2189·b095·0521·8804·33a0·0521·8790··@.!....!..3..!.. | ||
0002dc40:·0521·86a0·b095·a004·4f5b·043b·a005· | 0002dc40:·9090·0521·86a0·b095·a004·4f5b·043b·a005··...!......O[.;.. | ||
0002dc50:·9090·9005·2184·4004·3fa0·0521·9390· | 0002dc50:·218f·9090·9005·2184·4004·3fa0·0521·9390··!.....!.@.?..!.. | ||
0002dc60:·4040·4040·4029·3 | 0002dc60:·9090·4040·4040·4029·3239·3033·3734·3837··..@@@@@)29037487 | ||
0002dc70:·0521·8205·2150·0520·8305·0b92·050b· | 0002dc70:·34e0·0521·8205·2150·0520·8305·0b92·050b··4..!..!P.·...... | ||
0002dc80:·21a8·0c00·0000·0000·00ca·3e40·4140· | 0002dc80:·8505·21a8·0c00·0000·0000·00ca·3e40·4140··..!.........>@A@ | ||
0002dc90:·0587·0ea0·4090·40a0·94a0·a040·a205· | 0002dc90:·a0a0·0587·0ea0·4090·40a0·94a0·a040·a205··......@.@....@.. | ||
0002dca0:·0587·1540·a094·a0a0·4004·0540·a0a0· | 0002dca0:·94cb·0587·1540·a094·a0a0·4004·0540·a0a0··.....@....@..@.. | ||
0002dcb0:·13a0·4090·a0a0·058a·0aa0·4090·4040· | 0002dcb0:·0587·13a0·4090·a0a0·058a·0aa0·4090·4040··....@.......@.@@ | ||
0002dcc0:·a0a0·40a2·a205·94dd·0587·1f05·8a12 | 0002dcc0:·a094·a0a0·40a2·a205·94dd·0587·1f05·8a12··....@........... | ||
0002dcd0:·95a0·021b·9b7f·79a0·275f·454c·5049· | 0002dcd0:·40a0·95a0·021b·9b7f·79a0·275f·454c·5049··@.......y.'_ELPI | ||
0002dce0:·c0a0·2665·7870·6f72·74a0·2264·6240· | 0002dce0:·5f34·c0a0·2665·7870·6f72·74a0·2264·6240··_4..&export."db@ | ||
0002dcf0:·b005·94ea·2134·022a·b1cd·eed0·0521· | 0002dcf0:·a0a0·b005·94ea·2134·022a·b1cd·eed0·0521··......!4.*.....! | ||
0002dd00:·e040·4040·4040·0521·d540·a0c0·e090· | 0002dd00:·d6d0·e040·4040·4040·0521·d540·a0c0·e090··...@@@@@.!.@.... | ||
0002dd10:·d42e·2e2f·7372·632f·6d6f·6e61·6c67· | 0002dd10:·0521·d42e·2e2f·7372·632f·6d6f·6e61·6c67··.!.../src/monalg | ||
0002dd20:·010d·9401·0df7·005e·010d·9405·21d3· | 0002dd20:·2e76·010d·9401·0df7·005e·010d·9405·21d3··.v.......^....!. | ||
0002dd30:·9140·0521·d2b0·9505·21d1·0408·a005· | 0002dd30:·b0c3·9140·0521·d2b0·9505·21d1·0408·a005··...@.!....!..... | ||
0002dd40:·9090·9005·21cf·a0b0·95a0·0425·5b04· | 0002dd40:·21d0·9090·9005·21cf·a0b0·95a0·0425·5b04··!.....!......%[. | ||
0002dd50:·0521·d890·9090·0521·cd40·0414·a005· | 0002dd50:·10a0·0521·d890·9090·0521·cd40·0414·a005··...!.....!.@.... | ||
0002dd60:·9090·9040·4040·4040·293 | 0002dd60:·21dc·9090·9040·4040·4040·2938·3534·3233··!....@@@@@)85423 | ||
0002dd70:·3833·e005·21cb·0521·9905·20cc·050b· | 0002dd70:·3838·3933·e005·21cb·0521·9905·20cc·050b··8893..!..!..·... | ||
0002dd80:·0bce·0521·f10c·0000·0000·0000·e | 0002dd80:·db05·0bce·0521·f10c·0000·0000·0000·e93e··.....!.........> | ||
0002dd90:·40a0·a005·8526·a040·90a0·a005·8a46· | 0002dd90:·4041·40a0·a005·8526·a040·90a0·a005·8a46··@A@....&.@.....F | ||
0002dda0:·9040·40a0·94a0·a040·a2a2·0595·1905· | 0002dda0:·a040·9040·40a0·94a0·a040·a2a2·0595·1905··.@.@@....@...... | ||
0002ddb0:·058a·4e40·a0a0·0582·baa0·4090·40a0· | 0002ddb0:·8532·058a·4e40·a0a0·0582·baa0·4090·40a0··.2..N@......@.@. | ||
0002ddc0:·a040·a205·9522·0582·c140·a095·a002· | 0002ddc0:·94a0·a040·a205·9522·0582·c140·a095·a002··...@..."...@.... | ||
0002ddd0:·7f79·a027·5f45·4c50·495f·35c0·a026·6578··.y.'_ELPI_5..&ex | |||
0002dde0:·706f·7274·a022·6462·40a0·a0b0·0595·2f21··port."db@...../! | |||
0002ddf0:·3502·2ab1·cdef·d005·221b·d0e0·4040·4040··5.*....."...@@@@ | |||
0002de00:·4005·221a·40a0·c0e0·9005·2219·2e2e·2f73··@.".@.....".../s | |||
0002de10:·7263·2f6d·6f6e·616c·672e·7601·0df9·010e··rc/monalg.v..... | |||
0002de20:·5700·6201·0df9·0522·18b0·c391·4005·2217··W.b...."....@.". | |||
0002de30:·b095·0522·1604·08a0·0522·1590·9090·0522··..."....."....." | |||
0002de40:·14a0·b095·a004·2e5b·0410·a005·221d·9090··.......[...."... | |||
0002de50:·9005·2212·4004·14a0·0522·2190·9090·4040··..".@...."!...@@ | |||
0002de60:·4040·4029·3934·3534·3139·3932·37e0·0522··@@@)945419927.." | |||
0002de70:·1005·21de·0521·1105·0c20·050c·1305·2236··..!..!...·...."6 | |||
0002de80:·0c00·0000·0000·00e5·3e40·4140·a095·a002··........>@A@.... | |||
0002d | 0002ddd0:·1b9b·7f79·a027·5f45·4c50·495f·35c0·a026··...y.'_ELPI_5..& | ||
0002d | 0002dde0:·6578·706f·7274·a022·6462·40a0·a0b0·0595··export."db@..... | ||
0002ddf0:·2f21·3502·2ab1·cdef·d005·221b·d0e0·4040··/!5.*....."...@@ | |||
0002de00:·4040·4005·221a·40a0·c0e0·9005·2219·2e2e··@@@.".@....."... | |||
0002de10:·2f73·7263·2f6d·6f6e·616c·672e·7601·0df9··/src/monalg.v... | |||
0002de20:·010e·5700·6201·0df9·0522·18b0·c391·4005··..W.b...."....@. | |||
0002de30:·2217·b095·0522·1604·08a0·0522·1590·9090··"....".....".... | |||
0002de40:·0522·14a0·b095·a004·2e5b·0410·a005·221d··.".......[....". | |||
0002de50:·9090·9005·2212·4004·14a0·0522·2190·9090··....".@...."!... | |||
0002de60:·4040·4040·4029·3531·3435·3337·3131·38e0··@@@@@)514537118. | |||
0002de70:·0522·1005·21de·0521·1105·0c20·050c·1305··."..!..!...·.... | |||
0002de80:·2236·0c00·0000·0000·00e7·3e40·4140·a095··"6........>@A@.. | |||
0002de90:·a002·1b9b·7f79·a027·5f45·4c50·495f·36c0··.....y.'_ELPI_6. | |||
0002dea0:·a026·6578·706f·7274·a022·6462·40a0·a0b0··.&export."db@... | |||
0002deb0:·5d21·3602·2ab1·cdf0·d005·2249·d0e0· | 0002deb0:·0595·5d21·3602·2ab1·cdf0·d005·2249·d0e0··..]!6.*....."I.. | ||
0002dec0:·4040·4005·2248·40a0·c004·2e05·2243· | 0002dec0:·4040·4040·4005·2248·40a0·c004·2e05·2243··@@@@@."H@....."C | ||
0002ded0:·9140·0522·42b0·9505·2241·0433·a005· | 0002ded0:·b0c3·9140·0522·42b0·9505·2241·0433·a005··...@."B..."A.3.. | ||
0002dee0:·9090·9005·223f·a0b0·95a0·044f·5b04· | 0002dee0:·2240·9090·9005·223f·a0b0·95a0·044f·5b04··"@...."?.....O[. | ||
Max diff block lines reached; 6218464/6233594 bytes (99.76%) of diff not shown. |
Offset 1, 8 lines modified | Offset 1, 8 lines modified | ||
00000000:·436f·7121·0001·4050·0000·0000·002a·16 | 00000000:·436f·7121·0001·4050·0000·0000·002a·1664··Coq!..@P.....*.d | ||
00000010:·8495·a6be·0000·055c·0000·0101·0000·038b··.......\........ | 00000010:·8495·a6be·0000·055c·0000·0101·0000·038b··.......\........ | ||
00000020:·0000·02fe·c0a0·256d·706f·6c79·a02c·6d75··......%mpoly.,mu | 00000020:·0000·02fe·c0a0·256d·706f·6c79·a02c·6d75··......%mpoly.,mu | ||
00000030:·6c74·696e·6f6d·6961·6c73·a028·6d61·7468··ltinomials.(math | 00000030:·6c74·696e·6f6d·6961·6c73·a028·6d61·7468··ltinomials.(math | ||
00000040:·636f·6d70·4008·0000·7300·a0a0·2750·7265··comp@...s...'Pre | 00000040:·636f·6d70·4008·0000·7300·a0a0·2750·7265··comp@...s...'Pre | ||
00000050:·6c75·6465·a024·496e·6974·a023·436f·7140··lude.$Init.#Coq@ | 00000050:·6c75·6465·a024·496e·6974·a023·436f·7140··lude.$Init.#Coq@ | ||
00000060:·9030·a02d·ed42·9634·d0a3·cc90·2c1b·5f70··.0.-.B.4....,._p | 00000060:·9030·a02d·ed42·9634·d0a3·cc90·2c1b·5f70··.0.-.B.4....,._p | ||
00000070:·70fe·a0a0·2a73·7472·7563·7475·7265·73a0··p...*structures. | 00000070:·70fe·a0a0·2a73·7472·7563·7475·7265·73a0··p...*structures. | ||
Offset 80, 19 lines modified | Offset 80, 19 lines modified | ||
000004f0:·6863·6f6d·7040·9030·01a4·0b8e·683a·3a09··hcomp@.0....h::. | 000004f0:·6863·6f6d·7040·9030·01a4·0b8e·683a·3a09··hcomp@.0....h::. | ||
00000500:·b01a·3a20·a6de·b4aa·a0a0·2e73·7372·636f··..:·.......ssrco | 00000500:·b01a·3a20·a6de·b4aa·a0a0·2e73·7372·636f··..:·.......ssrco | ||
00000510:·6d70·6c65·6d65·6e74·73a0·2c6d·756c·7469··mplements.,multi | 00000510:·6d70·6c65·6d65·6e74·73a0·2c6d·756c·7469··mplements.,multi | ||
00000520:·6e6f·6d69·616c·73a0·286d·6174·6863·6f6d··nomials.(mathcom | 00000520:·6e6f·6d69·616c·73a0·286d·6174·6863·6f6d··nomials.(mathcom | ||
00000530:·7040·9030·ccf5·4ae7·c0c3·592b·53d9·ca9e··p@.0..J...Y+S... | 00000530:·7040·9030·ccf5·4ae7·c0c3·592b·53d9·ca9e··p@.0..J...Y+S... | ||
00000540:·d3f4·40f8·a0a0·2566·7265·6567·a02c·6d75··..@...%freeg.,mu | 00000540:·d3f4·40f8·a0a0·2566·7265·6567·a02c·6d75··..@...%freeg.,mu | ||
00000550:·6c74·696e·6f6d·6961·6c73·a028·6d61·7468··ltinomials.(math | 00000550:·6c74·696e·6f6d·6961·6c73·a028·6d61·7468··ltinomials.(math | ||
00000560:·636f·6d70·4090·30f7·515f·99ef·a8f6·2969··comp@.0.Q_....)i | |||
00000570:·f65d·53fe·9f94·6925·352e·332e·30a0·4040··.]S...i%5.3.0.@@ | |||
000005 | 00000560:·636f·6d70·4090·30b1·7e6c·49fb·fefd·e7c5··comp@.0.~lI..... | ||
00000570:·3931·8555·bc9d·6525·352e·332e·30a0·4040··91.U..e%5.3.0.@@ | |||
00000580:·9f1b·0a87·5a2e·be37·4f5d·bfe1·ff6a·ffb4··....Z..7O]...j.. | |||
00000590:·8495·a6be·0017·2b | 00000590:·8495·a6be·0017·2bcc·0004·8208·0010·8e97··......+......... | ||
000005a0:·0010·692 | 000005a0:·0010·6921·b0d0·a025·6d70·6f6c·79a0·2c6d··..i!...%mpoly.,m | ||
000005b0:·756c·7469·6e6f·6d69·616c·73a0·286d·6174··ultinomials.(mat | 000005b0:·756c·7469·6e6f·6d69·616c·73a0·286d·6174··ultinomials.(mat | ||
000005c0:·6863·6f6d·7040·e090·0408·4190·a0a0·286d··hcomp@....A...(m | 000005c0:·6863·6f6d·7040·e090·0408·4190·a0a0·286d··hcomp@....A...(m | ||
000005d0:·756c·7469·6e6f·6d91·0800·003f·0090·0800··ultinom....?.... | 000005d0:·756c·7469·6e6f·6d91·0800·003f·0090·0800··ultinom....?.... | ||
000005e0:·0043·0004·05a0·a0a0·9021·6e40·9ba0·a090··.C.......!n@.... | 000005e0:·0043·0004·05a0·a0a0·9021·6e40·9ba0·a090··.C.......!n@.... | ||
000005f0:·b090·a029·4461·7461·7479·7065·73a0·2449··...)Datatypes.$I | 000005f0:·b090·a029·4461·7461·7479·7065·73a0·2449··...)Datatypes.$I | ||
00000600:·6e69·74a0·2343·6f71·4023·6e61·7402·0ef2··nit.#Coq@#nat... | 00000600:·6e69·74a0·2343·6f71·4023·6e61·7402·0ef2··nit.#Coq@#nat... | ||
00000610:·1606·40a0·8080·4090·a0b6·a004·1440·0412··..@...@......@.. | 00000610:·1606·40a0·8080·4090·a0b6·a004·1440·0412··..@...@......@.. | ||
Offset 22100, 16 lines modified | Offset 22100, 16 lines modified | ||
00056530:·7a87·8d90·b005·f1c6·050d·a502·0000·dd13··z............... | 00056530:·7a87·8d90·b005·f1c6·050d·a502·0000·dd13··z............... | ||
00056540:·4042·b005·0cc0·42a0·0301·f84b·2dde·ae78··@B....B....K-..x | 00056540:·4042·b005·0cc0·42a0·0301·f84b·2dde·ae78··@B....B....K-..x | ||
00056550:·ad90·b005·de0c·050e·0102·0000·dd1a·c040··...............@ | 00056550:·ad90·b005·de0c·050e·0102·0000·dd1a·c040··...............@ | ||
00056560:·b005·0cc1·4205·03e3·4041·4344·4546·4748··....B...@ACDEFGH | 00056560:·b005·0cc1·4205·03e3·4041·4344·4546·4748··....B...@ACDEFGH | ||
00056570:·4b4c·4d4e·c0a0·a029·6269·6765·6e6f·7567··KLMN...)bigenoug | 00056570:·4b4c·4d4e·c0a0·a029·6269·6765·6e6f·7567··KLMN...)bigenoug | ||
00056580:·68a0·0402·a028·6d61·7468·636f·6d70·4090··h....(mathcomp@. | 00056580:·68a0·0402·a028·6d61·7468·636f·6d70·4090··h....(mathcomp@. | ||
00056590:·3001·a40b·8e68·3a3a·09b0·1a3a·20a6·deb4··0....h::...:·... | 00056590:·3001·a40b·8e68·3a3a·09b0·1a3a·20a6·deb4··0....h::...:·... | ||
000565a0:·aaa0·05f4·0d90·30f7·515f·99ef·a8f6·2969··......0.Q_....)i | |||
000565 | 000565a0:·aaa0·05f4·0d90·30b1·7e6c·49fb·fefd·e7c5··......0.~lI..... | ||
000565b0:·3931·8555·bc9d·65a0·a005·08d0·a005·08cf··91.U..e......... | |||
000565c0:·a005·08ce·4090·30cc·f54a·e7c0·c359·2b53··....@.0..J...Y+S | 000565c0:·a005·08ce·4090·30cc·f54a·e7c0·c359·2b53··....@.0..J...Y+S | ||
000565d0:·d9ca·9ed3·f440·f8a0·05f5·9890·30e9·e309··.....@......0... | 000565d0:·d9ca·9ed3·f440·f8a0·05f5·9890·30e9·e309··.....@......0... | ||
000565e0:·46f4·691a·1c9b·71a2·79de·f98b·5790·40a0··F.i...q.y...W.@. | 000565e0:·46f4·691a·1c9b·71a2·79de·f98b·5790·40a0··F.i...q.y...W.@. | ||
000565f0:·a095·a002·1d04·1afc·a040·a0a0·402b·2758··.........@..@+'X | 000565f0:·a095·a002·1d04·1afc·a040·a0a0·402b·2758··.........@..@+'X | ||
00056600:·5f7b·312e·2e20·5f20·7dc0·a0a0·4040·a091··_{1..·_·}...@@.. | 00056600:·5f7b·312e·2e20·5f20·7dc0·a0a0·4040·a091··_{1..·_·}...@@.. | ||
00056610:·4240·a0b1·4040·a090·4240·4090·a0d0·a0a0··B@..@@..B@@..... | 00056610:·4240·a0b1·4040·a090·4240·4090·a0d0·a0a0··B@..@@..B@@..... | ||
00056620:·4040·040b·4004·10a0·a0a0·4127·2758·5f7b··@@..@.....A''X_{ | 00056620:·4040·040b·4004·10a0·a0a0·4127·2758·5f7b··@@..@.....A''X_{ | ||
Offset 22705, 15 lines modified | Offset 22705, 15 lines modified | ||
00058b00:·706f·6c79·2e76·0200·008d·f302·0000·8e88··poly.v.......... | 00058b00:·706f·6c79·2e76·0200·008d·f302·0000·8e88··poly.v.......... | ||
00058b10:·0103·bc02·0000·8df3·c040·4040·41b0·c391··.........@@@A... | 00058b10:·0103·bc02·0000·8df3·c040·4040·41b0·c391··.........@@@A... | ||
00058b20:·4030·6d6f·6475·6c65·2d74·6f2d·6578·706f··@0module-to-expo | 00058b20:·4030·6d6f·6475·6c65·2d74·6f2d·6578·706f··@0module-to-expo | ||
00058b30:·7274·b095·a004·0943·040c·a022·5479·9090··rt.....C..."Ty.. | 00058b30:·7274·b095·a004·0943·040c·a022·5479·9090··rt.....C..."Ty.. | ||
00058b40:·9090·2673·7472·696e·67a0·b095·a004·2e5b··..&string......[ | 00058b40:·9090·2673·7472·696e·67a0·b095·a004·2e5b··..&string......[ | ||
00058b50:·0417·a004·0b90·9090·9027·6d6f·6470·6174··.........'modpat | 00058b50:·0417·a004·0b90·9090·9027·6d6f·6470·6174··.........'modpat | ||
00058b60:·6840·041d·a004·1190·9090·4040·4040·4029··h@........@@@@@) | 00058b60:·6840·041d·a004·1190·9090·4040·4040·4029··h@........@@@@@) | ||
00058b70:·3 | 00058b70:·3731·3136·3433·3838·39e0·d040·2840·676c··711643889..@(@gl | ||
00058b80:·6f62·616c·21a0·b0c3·9140·2a67·6574·2d6f··obal!....@*get-o | 00058b80:·6f62·616c·21a0·b0c3·9140·2a67·6574·2d6f··obal!....@*get-o | ||
00058b90:·7074·696f·6eb0·95a0·2c63·6f71·3a6c·6f63··ption...,coq:loc | 00058b90:·7074·696f·6eb0·95a0·2c63·6f71·3a6c·6f63··ption...,coq:loc | ||
00058ba0:·616c·6974·7943·e040·3863·6f71·2d62·7569··alityC.@8coq-bui | 00058ba0:·616c·6974·7943·e040·3863·6f71·2d62·7569··alityC.@8coq-bui | ||
00058bb0:·6c74·696e·2d73·796e·7465·7270·2e65·6c70··ltin-synterp.elp | 00058bb0:·6c74·696e·2d73·796e·7465·7270·2e65·6c70··ltin-synterp.elp | ||
00058bc0:·6901·1b0d·011b·1b01·00b0·011a·eea0·0424··i..............$ | 00058bc0:·6901·1b0d·011b·1b01·00b0·011a·eea0·0424··i..............$ | ||
00058bd0:·9040·a0b0·95a0·2667·6c6f·6261·6c43·e040··.@....&globalC.@ | 00058bd0:·9040·a0b0·95a0·2667·6c6f·6261·6c43·e040··.@....&globalC.@ | ||
00058be0:·0409·011b·1c01·1b24·0100·b001·1aee·a004··.......$........ | 00058be0:·0409·011b·1c01·1b24·0100·b001·1aee·a004··.......$........ | ||
Offset 24757, 42 lines modified | Offset 24757, 42 lines modified | ||
00060b40:·4041·050b·67a0·a090·40a0·9041·40e0·4005··@A..g...@..A@.@. | 00060b40:·4041·050b·67a0·a090·40a0·9041·40e0·4005··@A..g...@..A@.@. | ||
00060b50:·2080·016f·ff01·703c·0100·c001·6fff·d040···..o..p<....o..@ | 00060b50:·2080·016f·ff01·703c·0100·c001·6fff·d040···..o..p<....o..@ | ||
00060b60:·050b·66a0·a090·40a0·9040·a090·40a0·9041··..f...@..@..@..A | 00060b60:·050b·66a0·a090·40a0·9040·a090·40a0·9041··..f...@..@..@..A | ||
00060b70:·a090·4140·e040·0520·8d01·6f33·016f·b801··..A@.@.·..o3.o.. | 00060b70:·a090·4140·e040·0520·8d01·6f33·016f·b801··..A@.@.·..o3.o.. | ||
00060b80:·00bc·016f·33d0·4005·0b40·a040·e040·0521··...o3.@..@.@.@.! | 00060b80:·00bc·016f·33d0·4005·0b40·a040·e040·0521··...o3.@..@.@.@.! | ||
00060b90:·0601·0860·0108·6a00·4201·0860·4041·4243··...`..j.B..`@ABC | 00060b90:·0601·0860·0108·6a00·4201·0860·4041·4243··...`..j.B..`@ABC | ||
00060ba0:·4445·4647·4849·4a05·2138·0c00·0000·0000··DEFGHIJ.!8...... | 00060ba0:·4445·4647·4849·4a05·2138·0c00·0000·0000··DEFGHIJ.!8...... | ||
00060bb0:·00e | 00060bb0:·00e1·3e40·4140·a0a0·05ec·7aa0·4090·a0a0··..>@A@....z.@... | ||
00060bc0:·0600·0106·aea0·4090·4040·a094·a0a0·40a2··......@.@@....@. | 00060bc0:·0600·0106·aea0·4090·4040·a094·a0a0·40a2··......@.@@....@. | ||
00060bd0:·a206·0001·277d·05ec·8606·0001·06b6·40a0··....'}........@. | 00060bd0:·a206·0001·277d·05ec·8606·0001·06b6·40a0··....'}........@. | ||
00060be0:·a005·eac9·a040·9040·a094·a0a0·40a2·0600··.....@.@....@... | 00060be0:·a005·eac9·a040·9040·a094·a0a0·40a2·0600··.....@.@....@... | ||
00060bf0:·0127·8605·ead0·40a0·95a0·021b·9b7f·79a0··.'....@.......y. | 00060bf0:·0127·8605·ead0·40a0·95a0·021b·9b7f·79a0··.'....@.......y. | ||
00060c00:·275f·454c·5049·5f32·c0a0·2665·7870·6f72··'_ELPI_2..&expor | 00060c00:·275f·454c·5049·5f32·c0a0·2665·7870·6f72··'_ELPI_2..&expor | ||
00060c10:·74a0·2264·6240·a0a0·b006·0001·2793·2132··t."db@......'.!2 | 00060c10:·74a0·2264·6240·a0a0·b006·0001·2793·2132··t."db@......'.!2 | ||
00060c20:·0211·444a·29d0·0521·62d0·e040·4040·4040··..DJ)..!b..@@@@@ | 00060c20:·0211·444a·29d0·0521·62d0·e040·4040·4040··..DJ)..!b..@@@@@ | ||
00060c30:·0521·6140·a0c0·e090·0521·602d·2e2f·7372··.!a@.....!`-./sr | 00060c30:·0521·6140·a0c0·e090·0521·602d·2e2f·7372··.!a@.....!`-./sr | ||
00060c40:·632f·6d70·6f6c·792e·7602·0000·8e8a·0200··c/mpoly.v....... | 00060c40:·632f·6d70·6f6c·792e·7602·0000·8e8a·0200··c/mpoly.v....... | ||
00060c50:·008e·e701·03c1·0200·008e·8a05·215f·b0c3··............!_.. | 00060c50:·008e·e701·03c1·0200·008e·8a05·215f·b0c3··............!_.. | ||
00060c60:·9140·0521·5eb0·9505·215d·0408·a005·215c··.@.!^...!]....!\ | 00060c60:·9140·0521·5eb0·9505·215d·0408·a005·215c··.@.!^...!]....!\ | ||
00060c70:·9090·9005·215b·a0b0·95a0·042e·5b04·10a0··....![......[... | 00060c70:·9090·9005·215b·a0b0·95a0·042e·5b04·10a0··....![......[... | ||
00060c80:·0521·6490·9090·0521·5940·0414·a005·2168··.!d....!Y@....!h | 00060c80:·0521·6490·9090·0521·5940·0414·a005·2168··.!d....!Y@....!h | ||
00060c90:·9090·9040·4040·4040·293 | 00060c90:·9090·9040·4040·4040·2936·3338·3933·3430··...@@@@@)6389340 | ||
00060ca0:·3 | 00060ca0:·3534·e005·2157·0521·2505·2058·050b·6705··54..!W.!%.·X..g. | ||
00060cb0:·0b5a·0521·7d0c·0000·0000·0000·e53e·4041··.Z.!}........>@A | 00060cb0:·0b5a·0521·7d0c·0000·0000·0000·e53e·4041··.Z.!}........>@A | ||
00060cc0:·40a0·95a0·021b·9b7f·79a0·275f·454c·5049··@.......y.'_ELPI | 00060cc0:·40a0·95a0·021b·9b7f·79a0·275f·454c·5049··@.......y.'_ELPI | ||
00060cd0:·5f33·c0a0·2665·7870·6f72·74a0·2264·6240··_3..&export."db@ | 00060cd0:·5f33·c0a0·2665·7870·6f72·74a0·2264·6240··_3..&export."db@ | ||
00060ce0:·a0a0·b006·0001·27c1·2133·0211·444a·2ad0··......'.!3..DJ*. | 00060ce0:·a0a0·b006·0001·27c1·2133·0211·444a·2ad0··......'.!3..DJ*. | ||
00060cf0:·0521·90d0·e040·4040·4040·0521·8f40·a0c0··.!...@@@@@.!.@.. | 00060cf0:·0521·90d0·e040·4040·4040·0521·8f40·a0c0··.!...@@@@@.!.@.. | ||
00060d00:·042e·0521·8ab0·c391·4005·2189·b095·0521··...!....@.!....! | 00060d00:·042e·0521·8ab0·c391·4005·2189·b095·0521··...!....@.!....! | ||
00060d10:·8804·33a0·0521·8790·9090·0521·86a0·b095··..3..!.....!.... | 00060d10:·8804·33a0·0521·8790·9090·0521·86a0·b095··..3..!.....!.... | ||
00060d20:·a004·4f5b·043b·a005·218f·9090·9005·2184··..O[.;..!.....!. | 00060d20:·a004·4f5b·043b·a005·218f·9090·9005·2184··..O[.;..!.....!. | ||
00060d30:·4004·3fa0·0521·9390·9090·4040·4040·4029··@.?..!....@@@@@) | 00060d30:·4004·3fa0·0521·9390·9090·4040·4040·4029··@.?..!....@@@@@) | ||
00060d40:·3 | 00060d40:·3135·3937·3335·3137·39e0·0521·8205·2150··159735179..!..!P | ||
00060d50:·0520·8305·0b92·050b·8505·21a8·0c00·0000··.·........!..... | 00060d50:·0520·8305·0b92·050b·8505·21a8·0c00·0000··.·........!..... | ||
00060d60:·0000·00c | 00060d60:·0000·00ca·3e40·4140·a095·a002·1d04·1afc··....>@A@........ | ||
00060d70:·a040·a0a0·4030·5b20·6d65·6173·7572·6520··.@..@0[·measure· | 00060d70:·a040·a0a0·4030·5b20·6d65·6173·7572·6520··.@..@0[·measure· | ||
00060d80:·6f66·205f·205d·c0a0·a040·40a0·4040·a0b1··of·_·]...@@.@@.. | 00060d80:·6f66·205f·205d·c0a0·a040·40a0·4040·a0b1··of·_·]...@@.@@.. | ||
00060d90:·4040·a041·4040·90a0·d0a0·a040·4004·0940··@@.A@@.....@@..@ | 00060d90:·4040·a041·4040·90a0·d0a0·a040·4004·0940··@@.A@@.....@@..@ | ||
00060da0:·040e·a0a0·a041·215b·a0a0·4027·6d65·6173··.....A![..@'meas | 00060da0:·040e·a0a0·a041·215b·a0a0·4027·6d65·6173··.....A![..@'meas | ||
00060db0:·7572·65a0·a041·226f·66a0·a1a1·4004·1390··ure..A"of...@... | 00060db0:·7572·65a0·a041·226f·66a0·a1a1·4004·1390··ure..A"of...@... | ||
00060dc0:·05fd·d8a0·a041·215d·4040·a004·1940·4090··.....A!]@@...@@. | 00060dc0:·05fd·d8a0·a041·215d·4040·a004·1940·4090··.....A!]@@...@@. | ||
00060dd0:·a040·a0a0·9422·5b20·a094·286d·6561·7375··.@..."[·..(measu | 00060dd0:·a040·a0a0·9422·5b20·a094·286d·6561·7375··.@..."[·..(measu | ||
Offset 25166, 16 lines modified | Offset 25166, 16 lines modified | ||
000624d0:·0528·0202·1144·4a28·d005·2801·d0e0·4040··.(...DJ(..(...@@ | 000624d0:·0528·0202·1144·4a28·d005·2801·d0e0·4040··.(...DJ(..(...@@ | ||
000624e0:·4040·40a0·4040·40a0·c0e0·9005·2800·2d2e··@@@.@@@.....(.-. | 000624e0:·4040·40a0·4040·40a0·c0e0·9005·2800·2d2e··@@@.@@@.....(.-. | ||
000624f0:·2f73·7263·2f6d·706f·6c79·2e76·0126·dc01··/src/mpoly.v.&.. | 000624f0:·2f73·7263·2f6d·706f·6c79·2e76·0126·dc01··/src/mpoly.v.&.. | ||
00062500:·2711·0100·b801·26dc·0527·ffb0·c391·402f··'.....&..'....@/ | 00062500:·2711·0100·b801·26dc·0527·ffb0·c391·402f··'.....&..'....@/ | ||
00062510:·6c6f·6361·6c2d·6361·6e6f·6e69·6361·6cb0··local-canonical. | 00062510:·6c6f·6361·6c2d·6361·6e6f·6e69·6361·6cb0··local-canonical. | ||
00062520:·95a0·9106·0001·2414·5804·0ba0·0527·ff90··......$.X....'.. | 00062520:·95a0·9106·0001·2414·5804·0ba0·0527·ff90··......$.X....'.. | ||
00062530:·9090·9028·636f·6e73·7461·6e74·4004·11a0··...(constant@... | 00062530:·9090·9028·636f·6e73·7461·6e74·4004·11a0··...(constant@... | ||
00062540:·0528·0590·9090·4040·4040·4029·3 | 00062540:·0528·0590·9090·4040·4040·4029·3330·3237··.(....@@@@@)3027 | ||
00062550:·3 | 00062550:·3837·3539·30e0·d0d0·d0d0·4025·4063·6173··87590.....@%@cas | ||
00062560:·74a0·b0b4·90a0·2154·226c·7040·b0b4·90a0··t.....!T"lp@.... | 00062560:·74a0·b0b4·90a0·2154·226c·7040·b0b4·90a0··t.....!T"lp@.... | ||
00062570:·2254·5904·0640·b0c3·9140·236c·6574·b095··"TY..@...@#let.. | 00062570:·2254·5904·0640·b0c3·9140·236c·6574·b095··"TY..@...@#let.. | ||
00062580:·a090·2463·6173·7453·e040·3063·6f71·2d62··..$castS.@0coq-b | 00062580:·a090·2463·6173·7453·e040·3063·6f71·2d62··..$castS.@0coq-b | ||
00062590:·7569·6c74·696e·2e65·6c70·6901·24e8·0124··uiltin.elpi.$..$ | 00062590:·7569·6c74·696e·2e65·6c70·6901·24e8·0124··uiltin.elpi.$..$ | ||
000625a0:·ee01·00e1·0124·cfa0·0528·2790·40a0·b0a1··.....$...('.@... | 000625a0:·ee01·00e1·0124·cfa0·0528·2790·40a0·b0a1··.....$...('.@... | ||
000625b0:·9004·1704·12e0·4004·0801·24ef·0124·f101··......@...$..$.. | 000625b0:·9004·1704·12e0·4004·0801·24ef·0124·f101··......@...$..$.. | ||
000625c0:·00e1·0124·cfa0·0528·2e90·40a0·b0a1·9004··...$...(..@..... | 000625c0:·00e1·0124·cfa0·0528·2e90·40a0·b0a1·9004··...$...(..@..... | ||
Offset 29616, 32 lines modified | Offset 29616, 32 lines modified | ||
00073af0:·0105·58d0·4005·1707·a0a0·9040·a090·40a0··..X.@......@..@. | 00073af0:·0105·58d0·4005·1707·a0a0·9040·a090·40a0··..X.@......@..@. | ||
00073b00:·9041·a090·4140·e040·0516·6901·01ac·0101··.A..A@.@..i..... | 00073b00:·9041·a090·4140·e040·0516·6901·01ac·0101··.A..A@.@..i..... | ||
Max diff block lines reached; 19335443/19344924 bytes (99.95%) of diff not shown. |
Offset 1, 1 lines modified | Offset 1, 1 lines modified | ||
1 | 1 | oy5z0 |