| Offset 1, 2 lines modified | Offset 1, 2 lines modified | ||
| 1 | · | 1 | ·c50803b47f13ed4168852eccb97cae9c·1867640·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·····134 | 2 | -rw-r--r--···0········0········0·····1340·2024-12-18·11:19:29.000000·control.tar.xz |
| 3 | -rw-r--r--···0········0········0··186 | 3 | -rw-r--r--···0········0········0··1866108·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-blhy2 |
| 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)···5154 | 13 | -rw-r--r--···0·root·········(0)·root·········(0)···515466·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)···911282·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)··2758486·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·dcd | 00000000:·436f·7121·0001·4050·0000·0000·0007·dcd8··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:·3 | 00000360:·3600·0118·3300·03fb·4e00·03eb·1fb0·d0a0··6...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, 26333 lines modified | Offset 5885, 26333 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.. | Diff chunk too large, falling back to line-by-line diff (6052 lines added, 6052 lines removed) | |
| 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·402 | 00017030:·0790·9090·4040·4040·402a·3130·3331·3138··....@@@@@*103118 | ||
| 00017040:·3 | 00017040:·3535·3537·e0d0·d0d0·d040·2540·6361·7374··5557.....@%@cast | ||
| 00017050:·b0b4 | 00017050:·a0b0·b490·a021·5422·6c70·40b0·b490·a022··.....!T"lp@...." | ||
| 00017060:·5904 | 00017060:·5459·0406·40b0·c391·4023·6c65·74b0·95a0··TY..@...@#let... | ||
| 00017070:·2463 | 00017070:·9024·6361·7374·53e0·4030·636f·712d·6275··.$castS.@0coq-bu | ||
| 00017080:·6c74 | 00017080:·696c·7469·6e2e·656c·7069·0124·e801·24ee··iltin.elpi.$..$. | ||
| 00017090:·00e1 | 00017090:·0100·e101·24cf·a004·2990·40a0·b0a1·9004··....$...).@..... | ||
| 000170a0:·0412 | 000170a0:·1704·12e0·4004·0801·24ef·0124·f101·00e1··....@...$..$.... | ||
| 000170b0:·24cf | 000170b0:·0124·cfa0·0430·9040·a0b0·a190·041e·041f··.$...0.@........ | ||
| 000170c0:·4004 | 000170c0:·e040·040f·0124·f201·24f3·0100·e101·24cf··.@...$..$.....$. | ||
| 000170d0:·0437 | 000170d0:·a004·3790·40a0·b0b4·90a0·2178·0427·40b0··..7.@.....!x.'@. | ||
| 000170e0:·9004 | 000170e0:·a190·042a·0404·e040·041b·0124·f601·24f7··...*...@...$..$. | ||
| 000170f0:·00e1 | 000170f0:·0100·e101·24cf·a004·4390·40e0·4004·1e01··....$...C.@.@... | ||
| 00017100:·f401 | 00017100:·24f4·0124·f701·00e1·0124·cfa0·0446·9040··$..$.....$...F.@ | ||
| 00017110:·e040 | 00017110:·40e0·4004·2101·24e4·0124·f701·00e1·0124··@.@.!.$..$.....$ | ||
| 00017120:·a004 | 00017120:·cfa0·0449·9040·e040·0424·0124·dd01·24f7··...I.@.@.$.$..$. | ||
| 00017130:·00e1 | 00017130:·0100·e101·24cf·a004·4c90·40e0·4004·2701··....$...L.@.@.'. | ||
| 00017140:·db01 | 00017140:·24db·0124·f701·00e1·0124·cfa0·044f·9040··$..$.....$...O.@ | ||
| 00017150:·4004 | 00017150:·e040·042a·0124·cf01·24f8·0100·e101·24cf··.@.*.$..$.....$. | ||
| 00017160:·402a | 00017160:·d040·2a40·636f·6572·6369·6f6e·21a0·b0c3··.@*@coercion!... | ||
| 00017170:·40 | 00017170:·9140·223a·3ab0·c391·4028·636f·6572·6369··.@"::...@(coerci | ||
| 00017180:·6eb0 | 00017180:·6f6e·b0a1·9140·2a72·6576·6572·7369·626c··on...@*reversibl | ||
| 00017190:·e040 | 00017190:·65e0·4004·3a01·531a·0153·2401·01f2·0152··e.@.:.S..S$....R | ||
| 000171a0:·a004 | 000171a0:·fca0·0462·9040·40e0·4004·3d01·5311·0153··...b.@@.@.=.S..S | ||
| 000171b0:·0101 | 000171b0:·2401·01f2·0152·fca0·0465·9040·a0b0·a191··$....R...e.@.... | ||
| 000171c0:·225b | 000171c0:·4022·5b5d·e040·0445·0153·2401·5325·0101··@"[].@.E.S$.S%.. | ||
| 000171d0:·0152 | 000171d0:·f201·52fc·a004·6d90·4040·e040·0448·0153··..R...m.@@.@.H.S | ||
| 000171e0:·0153 | 000171e0:·1001·5325·0101·f201·52fc·a004·7090·40e0··..S%....R...p.@. | ||
| 000171f0:·044b | 000171f0:·4004·4b01·52fc·0153·2501·01f2·0152·fc40··@.K.R..S%....R.@ | ||
| 00017200:·422c | 00017200:·4142·2c40·6465·7072·6563·6174·6564·21a0··AB,@deprecated!. | ||
| 00017210:·b490 | 00017210:·b0b4·90a0·2553·696e·6365·0462·40b0·b490··....%Since.b@... | ||
| 00017220:·234d | 00017220:·a023·4d73·6704·6740·b0c3·9140·2a67·6574··.#Msg.g@...@*get | ||
| 00017230:·6f70 | 00017230:·2d6f·7074·696f·6eb0·95a0·2e63·6f71·3a64··-option....coq:d | ||
| 00017240:·7072 | 00017240:·6570·7265·6361·7465·6443·e040·0460·0152··eprecatedC.@.`.R | ||
| 00017250:·0152 | 00017250:·8001·5290·0101·ed01·5273·a004·8890·40a0··..R.....Rs....@. | ||
| 00017260:·c391 | 00017260:·b0c3·9140·2270·72b0·a190·047a·0419·e040··...@"pr....z...@ | ||
| 00017270:·6b01 | 00017270:·046b·0152·9501·529a·0101·ed01·5273·a004··.k.R..R.....Rs.. | ||
| 00017280:·9040 | 00017280:·9390·40a0·b0a1·9004·8104·1be0·4004·7201··..@.........@.r. | ||
| 00017290:·9b01 | 00017290:·529b·0152·9e01·01ed·0152·73a0·049a·9040··R..R.....Rs....@ | ||
| 000172a0:·e040 | 000172a0:·40e0·4004·7501·5292·0152·9e01·01ed·0152··@.@.u.R..R.....R | ||
| 000172b0:·a004 | 000172b0:·73a0·049d·9040·40e0·4004·7801·5275·0152··s....@@.@.x.Ru.R | ||
| 000172c0:·0101 | 000172c0:·9f01·01ed·0152·73a0·04a0·9040·e040·047b··.....Rs....@.@.{ | ||
| 000172d0:·526c | 000172d0:·0152·6c01·529f·0101·ed01·5273·a004·a390··.Rl.R.....Rs.... | ||
| 000172e0:·e040 | 000172e0:·40e0·4004·7e01·5266·0152·9f01·01ed·0152··@.@.~.Rf.R.....R | ||
| 000172f0:·a004 | 000172f0:·73a0·04a6·9040·e040·0481·0152·5301·529f··s....@.@...RS.R. | ||
| 00017300:·01ec | 00017300:·0101·ec01·5253·d040·2b40·6472·6f70·756e··....RS.@+@dropun | ||
| 00017310:·7673 | 00017310:·6976·7321·a0b0·c391·4004·2db0·95a0·2d63··ivs!....@.-...-c | ||
| 00017320:·713a | 00017320:·6f71·3a6b·6565·7075·6e69·7673·43e0·4004··oq:keepunivsC.@. | ||
| 00017330:·0150 | 00017330:·8c01·50c2·0150·d101·01e2·0150·a2a0·04b4··..P..P.....P.... | ||
| 00017340:·40a0 | 00017340:·9040·a0b0·a191·4022·6666·e040·0494·0150··.@....@"ff.@...P | ||
| 00017350:·0150 | 00017350:·d201·50d4·0101·e201·50a2·a004·bc90·4040··..P.....P.....@@ | ||
| 00017360:·4004 | 00017360:·e040·0497·0150·b701·50d4·0101·e201·50a2··.@...P..P.....P. | ||
| 00017370:·04bf | 00017370:·a004·bf90·40e0·4004·9a01·50a2·0150·d401··....@.@...P..P.. | ||
| 00017380:·e201 | 00017380:·01e2·0150·a240·4143·2840·676c·6f62·616c··...P.@AC(@global | ||
| 00017390:·a0b0 | 00017390:·21a0·b0c3·9140·0445·b095·a02c·636f·713a··!....@.E...,coq: | ||
| 000173a0:·6f63 | 000173a0:·6c6f·6361·6c69·7479·43e0·4004·a401·1805··localityC.@..... | ||
| 000173b0:·1813 | 000173b0:·0118·1301·0095·0117·e6a0·04cc·9040·a0b0··.............@.. | ||
| 000173c0:·a026 | 000173c0:·95a0·2667·6c6f·6261·6c43·e040·04ac·0118··..&globalC.@.... | ||
| 000173d0:·0118 | 000173d0:·1401·181c·0100·9501·17e6·a004·d490·4040··..............@@ | ||
| 000173e0:·4004 | 000173e0:·e040·04af·0117·fa01·181c·0100·9501·17e6··.@.............. | ||
| 000173f0:·04d7 | 000173f0:·a004·d790·40e0·4004·b201·17e6·0118·1c01··....@.@......... | ||
| 00017400:·9501 | 00017400:·0095·0117·e6d0·d0d0·4027·4068·6f6c·6573··........@'@holes | ||
| 00017410:·a0b0 | 00017410:·21a0·b0c3·9140·0460·b095·a02a·484f·4153··!....@.`...*HOAS | ||
| 00017420:·686f | 00017420:·3a68·6f6c·6573·43e0·4004·bf01·33ad·0133··:holesC.@...3..3 | ||
| 00017430:·0101 | 00017430:·b901·0143·0133·91a0·04e7·9040·a0b0·a191··...C.3.....@.... | ||
| 00017440:·2274 | 00017440:·4022·7474·e040·04c7·0133·ba01·33bc·0101··@"tt.@...3..3... | ||
| 00017450:·01 | 00017450:·4301·3391·a004·ef90·4040·e040·04ca·0133··C.3.....@@.@...3 | ||
| 00017460:·01 | 00017460:·a201·33bc·0101·4301·3391·a004·f290·40e0··..3...C.3.....@. | ||
| 00017470:·04cd | 00017470:·4004·cd01·3391·0133·bc01·0143·0133·91d0··@...3..3...C.3.. | ||
| 00017480:·2840 | 00017480:·4028·4069·6e6c·696e·6521·a0b0·b490·a021··@(@inline!.....! | ||
| 00017490:·04e5 | 00017490:·4e04·e540·b0c3·9140·047e·b095·a02a·636f··N..@...@.~...*co | ||
| 000174a0:·3a69 | 000174a0:·713a·696e·6c69·6e65·43e0·4004·dd01·51ac··q:inlineC.@...Q. | ||
| 000174b0:·51b8 | 000174b0:·0151·b801·01e7·0151·8da0·0501·0590·40a0··.Q.....Q......@. | ||
| 000174c0:·a191 | 000174c0:·b0a1·9140·3263·6f71·2e69·6e6c·696e·652e··...@2coq.inline. | ||
| 000174d0:·65 | 000174d0:·6465·6661·756c·74e0·4004·e501·51b9·0151··default.@...Q..Q | ||
| 000174e0:·0101 | 000174e0:·cb01·01e7·0151·8da0·0501·0d90·4040·e040··.....Q......@@.@ | ||
| 000174f0:·e801 | 000174f0:·04e8·0151·a101·51cb·0101·e701·518d·a005··...Q..Q.....Q... | ||
| 00017500:·1090 | 00017500:·0110·9040·e040·04eb·0151·9c01·51cb·0101··...@.@...Q..Q... | ||
| 00017510:·0151 | 00017510:·e701·518d·a005·0113·9040·e040·04ee·0151··..Q......@.@...Q | ||
| 00017520:·0151 | 00017520:·8d01·51cb·0101·e701·518d·4041·422b·4069··..Q.....Q.@AB+@i | ||
| 00017530:·6c69 | 00017530:·6e6c·696e·652d·6174·21a0·b0b4·90a0·0420··nline-at!......· | ||
| 00017540:·0104 | 00017540:·0501·0440·b0c3·9140·049d·b095·041f·e040··...@...@.......@ | ||
| 00017550:·fa01 | 00017550:·04fa·0151·5c01·5168·0101·e601·513a·a005··...Q\.Qh....Q:.. | ||
| 00017560:·2290 | 00017560:·0122·9040·a0b0·c391·402d·636f·712e·696e··.".@....@-coq.in | ||
| 00017570:·696e | 00017570:·6c69·6e65·2e61·74b0·a190·0501·1404·30e0··line.at.......0. | ||
| 00017580:·0501 | 00017580:·4005·0105·0151·7801·5179·0101·e601·513a··@....Qx.Qy....Q: | ||
| 00017590:·0501 | 00017590:·a005·012d·9040·40e0·4005·0108·0151·6a01··...-.@@.@....Qj. | ||
| 000175a0:·7901 | 000175a0:·5179·0101·e601·513a·a005·0130·9040·40e0··Qy....Q:...0.@@. | ||
| 000175b0:·0501 | 000175b0:·4005·010b·0151·5101·517a·0101·e601·513a··@....QQ.Qz....Q: | ||
| 000175c0:·0501 | 000175c0:·a005·0133·9040·e040·0501·0e01·514c·0151··...3.@.@....QL.Q | ||
| 000175d0:·0101 | 000175d0:·7a01·01e6·0151·3aa0·0501·3690·40e0·4005··z....Q:...6.@.@. | ||
| 000175e0:·1101 | 000175e0:·0111·0151·3a01·517a·0101·e601·513a·d040··...Q:.Qz....Q:.@ | ||
| 000175f0:·406b | 000175f0:·2b40·6b65·6570·756e·6976·7321·a0b0·c391··+@keepunivs!.... | ||
| 00017600:·04bd | 00017600:·4004·bdb0·9504·90e0·4005·011a·0150·7601··@.......@....Pv. | ||
| Max diff block lines reached; 2795391/3632910 bytes (76.95%) of diff not shown. | |||
| Offset 1, 8 lines modified | Offset 1, 8 lines modified | ||
| 00000000:·436f·7121·0001·4050·0000·0000·000d·e | 00000000:·436f·7121·0001·4050·0000·0000·000d·e700··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·7c00·0270·a700··dx.......$|..p.. | ||
| 00000300:·088a·4 | 00000300:·088a·4d00·0871·d1b0·d0a0·266d·6f6e·616c··..M..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·3737·3936·3635··....@@@@@)779665 | ||
| 00025ab0:·3 | 00025ab0:·3939·39e0·d040·2840·676c·6f62·616c·21a0··999..@(@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, 45268 lines modified | Offset 11688, 45269 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·80e0·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... | Diff chunk too large, falling back to line-by-line diff (3472 lines added, 3472 lines removed) | |
| 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·2938·3831·3530·3538·3830·e005·2157··@@)881505880..!W | ||
| 0002dbd0:·2125 | 0002dbd0:·0521·2505·2058·050b·6705·0b5a·0521·7d0c··.!%.·X..g..Z.!}. | ||
| 0002dbe0:·0000·0000·00 | 0002dbe0:·0000·0000·0000·e73e·4041·40a0·95a0·021b··.......>@A@..... | ||
| 0002dbf0:·7f79 | 0002dbf0:·9b7f·79a0·275f·454c·5049·5f33·c0a0·2665··..y.'_ELPI_3..&e | ||
| 0002dc00:·706f | 0002dc00:·7870·6f72·74a0·2264·6240·a0a0·b005·94a4··xport."db@...... | ||
| 0002dc10:·3302 | 0002dc10:·2133·022a·b1cd·edd0·0521·90d0·e040·4040··!3.*.....!...@@@ | ||
| 0002dc20:·400 | 0002dc20:·4040·0521·8f40·a0c0·042e·0521·8ab0·c391··@@.!.@.....!.... | ||
| 0002dc30:·0521 | 0002dc30:·4005·2189·b095·0521·8804·33a0·0521·8790··@.!....!..3..!.. | ||
| 0002dc40:·900 | 0002dc40:·9090·0521·86a0·b095·a004·4f5b·043b·a005··...!......O[.;.. | ||
| 0002dc50:·8f90 | 0002dc50:·218f·9090·9005·2184·4004·3fa0·0521·9390··!.....!.@.?..!.. | ||
| 0002dc60:·90 | 0002dc60:·9090·4040·4040·402a·3130·3339·3536·3836··..@@@@@*10395686 | ||
| 0002dc70:·e005·2182·0521·5005·2083·050b·9205· | 0002dc70:·3533·e005·2182·0521·5005·2083·050b·9205··53..!..!P.·..... | ||
| 0002dc80:·0521·a80c·0000·0000·0000·c | 0002dc80:·0b85·0521·a80c·0000·0000·0000·ca3e·4041··...!.........>@A | ||
| 0002dc90:·a005·870e·a040·9040·a094·a0a0·40a2· | 0002dc90:·40a0·a005·870e·a040·9040·a094·a0a0·40a2··@......@.@....@. | ||
| 0002dca0:·cb05·8715·40a0·94a0·a040·0405·40a0· | 0002dca0:·0594·cb05·8715·40a0·94a0·a040·0405·40a0··......@....@..@. | ||
| 0002dcb0:·8713·a040·90a0·a005·8a0a·a040·9040· | 0002dcb0:·a005·8713·a040·90a0·a005·8a0a·a040·9040··.....@.......@.@ | ||
| 0002dcc0:·94a0·a040·a2a2·0594·dd05·871f·058a· | 0002dcc0:·40a0·94a0·a040·a2a2·0594·dd05·871f·058a··@....@.......... | ||
| 0002dcd0:·a095·a002·1b9b·7f79·a027·5f45·4c50· | 0002dcd0:·1240·a095·a002·1b9b·7f79·a027·5f45·4c50··.@.......y.'_ELP | ||
| 0002dce0:·34c0·a026·6578·706f·7274·a022·6462· | 0002dce0:·495f·34c0·a026·6578·706f·7274·a022·6462··I_4..&export."db | ||
| 0002dcf0:·a0b0·0594·ea21·3402·2ab1·cdee·d005· | 0002dcf0:·40a0·a0b0·0594·ea21·3402·2ab1·cdee·d005··@......!4.*..... | ||
| 0002dd00:·d0e0·4040·4040·4005·21d5·40a0·c0e0· | 0002dd00:·21d6·d0e0·4040·4040·4005·21d5·40a0·c0e0··!...@@@@@.!.@... | ||
| 0002dd10:·21d4·2e2e·2f73·7263·2f6d·6f6e·616c· | 0002dd10:·9005·21d4·2e2e·2f73·7263·2f6d·6f6e·616c··..!.../src/monal | ||
| 0002dd20:·7601·0d94·010d·f700·5e01·0d94·0521· | 0002dd20:·672e·7601·0d94·010d·f700·5e01·0d94·0521··g.v.......^....! | ||
| 0002dd30:·c391·4005·21d2·b095·0521·d104·08a0· | 0002dd30:·d3b0·c391·4005·21d2·b095·0521·d104·08a0··....@.!....!.... | ||
| 0002dd40:·d090·9090·0521·cfa0·b095·a004·255b· | 0002dd40:·0521·d090·9090·0521·cfa0·b095·a004·255b··.!.....!......%[ | ||
| 0002dd50:·a005·21d8·9090·9005·21cd·4004·14a0· | 0002dd50:·0410·a005·21d8·9090·9005·21cd·4004·14a0··....!.....!.@... | ||
| 0002dd60:·dc90·9090·4040·4040·4029· | 0002dd60:·0521·dc90·9090·4040·4040·4029·3133·3537··.!....@@@@@)1357 | ||
| 0002dd70:·3 | 0002dd70:·3833·3732·38e0·0521·cb05·2199·0520·cc05··83728..!..!..·.. | ||
| 0002dd80:·050b·ce05·21f1·0c00·0000·0000·00e | 0002dd80:·0bdb·050b·ce05·21f1·0c00·0000·0000·00e5··......!......... | ||
| 0002dd90:·4140·a0a0·0585·26a0·4090·a0a0·058a· | 0002dd90:·3e40·4140·a0a0·0585·26a0·4090·a0a0·058a··>@A@....&.@..... | ||
| 0002dda0:·4090·4040·a094·a0a0·40a2·a205·9519· | 0002dda0:·46a0·4090·4040·a094·a0a0·40a2·a205·9519··F.@.@@....@..... | ||
| 0002ddb0:·3205·8a4e·40a0·a005·82ba·a040·9040· | 0002ddb0:·0585·3205·8a4e·40a0·a005·82ba·a040·9040··..2..N@......@.@ | ||
| 0002ddc0:·a0a0·40a2·0595·2205·82c1·40a0·95a0· | 0002ddc0:·a094·a0a0·40a2·0595·2205·82c1·40a0·95a0··....@..."...@... | ||
| 0002ddd0:·9b7f·79a0·275f·454c·5049·5f35·c0a0· | 0002ddd0:·021b·9b7f·79a0·275f·454c·5049·5f35·c0a0··....y.'_ELPI_5.. | ||
| 0002dde0:·7870·6f72·74a0·2264·6240·a0a0·b005· | 0002dde0:·2665·7870·6f72·74a0·2264·6240·a0a0·b005··&export."db@.... | ||
| 0002ddf0:·2135·022a·b1cd·efd0·0522·1bd0·e040· | 0002ddf0:·952f·2135·022a·b1cd·efd0·0522·1bd0·e040··./!5.*....."...@ | ||
| 0002de00:·4040·0522·1a40·a0c0·e090·0522·192e· | 0002de00:·4040·4040·0522·1a40·a0c0·e090·0522·192e··@@@@.".@.....".. | ||
| 0002de10:·7372·632f·6d6f·6e61·6c67·2e76·010d· | 0002de10:·2e2f·7372·632f·6d6f·6e61·6c67·2e76·010d··./src/monalg.v.. | ||
| 0002de20:·0e57·0062·010d·f905·2218·b0c3·9140· | 0002de20:·f901·0e57·0062·010d·f905·2218·b0c3·9140··...W.b...."....@ | ||
| 0002de30:·17b0·9505·2216·0408·a005·2215·9090· | 0002de30:·0522·17b0·9505·2216·0408·a005·2215·9090··."...."....."... | ||
| 0002de40:·2214·a0b0·95a0·042e·5b04·10a0·0522· | 0002de40:·9005·2214·a0b0·95a0·042e·5b04·10a0·0522··..".......[...." | ||
| 0002de50:·9090·0522·1240·0414·a005·2221·9090· | 0002de50:·1d90·9090·0522·1240·0414·a005·2221·9090··.....".@...."!.. | ||
| 0002de60:· | 0002de60:·9040·4040·4040·2933·3939·3834·3236·3432··.@@@@@)399842642 | ||
| 0002de70:·2210·0521·de05·2111·050c·2005·0c13· | 0002de70:·e005·2210·0521·de05·2111·050c·2005·0c13··.."..!..!...·... | ||
| 0002de80:·360c·0000·0000·0000·e | 0002de80:·0522·360c·0000·0000·0000·e73e·4041·40a0··."6........>@A@. | ||
| 0002de90:·021b·9b7f·79a0·275f·454c·5049·5f36· | 0002de90:·95a0·021b·9b7f·79a0·275f·454c·5049·5f36··......y.'_ELPI_6 | ||
| 0002dea0:·2665·7870·6f72·74a0·2264·6240·a0a0· | 0002dea0:·c0a0·2665·7870·6f72·74a0·2264·6240·a0a0··..&export."db@.. | ||
| 0002deb0:·955d·2136·022a·b1cd·f0d0·0522·49d0· | 0002deb0:·b005·955d·2136·022a·b1cd·f0d0·0522·49d0··...]!6.*....."I. | ||
| 0002dec0:·4040·4040·0522·4840·a0c0·042e·0522· | 0002dec0:·e040·4040·4040·0522·4840·a0c0·042e·0522··.@@@@@."H@....." | ||
| 0002ded0:·c391·4005·2242·b095·0522·4104·33a0· | 0002ded0:·43b0·c391·4005·2242·b095·0522·4104·33a0··C...@."B..."A.3. | ||
| 0002dee0:·4090·9090·0522·3fa0·b095·a004·4f5b· | 0002dee0:·0522·4090·9090·0522·3fa0·b095·a004·4f5b··."@...."?.....O[ | ||
| 0002def0:·a005·2248·9090·9005·223d·4004·3fa0· | 0002def0:·043b·a005·2248·9090·9005·223d·4004·3fa0··.;.."H...."=@.?. | ||
| 0002df00:·4c90·9090·4040·4040·4029·3 | 0002df00:·0522·4c90·9090·4040·4040·4029·3732·3536··."L...@@@@@)7256 | ||
| 0002df10:·3 | 0002df10:·3233·3833·31e0·0522·3b05·2209·0521·3c05··23831..";."..!<. | ||
| 0002df20:·050c·3e05·2261·0c00·0000·0000·00ca· | 0002df20:·0c4b·050c·3e05·2261·0c00·0000·0000·00ca··.K..>."a........ | ||
| 0002df30:·4140·a0a0·0583·14a0·4090·40a0·94a0· | 0002df30:·3e40·4140·a0a0·0583·14a0·4090·40a0·94a0··>@A@......@.@... | ||
| 0002df40:·a205·9584·0583·1b40·a094·a0a0·4004· | 0002df40:·a040·a205·9584·0583·1b40·a094·a0a0·4004··.@.......@....@. | ||
| 0002df50:·a0a0·058a·bfa0·4090·a094·a0a0·4005· | 0002df50:·0540·a0a0·058a·bfa0·4090·a094·a0a0·4005··.@......@.....@. | ||
| 0002df60:·40a0·94a0·a040·0501·3640·a094·a0a0· | 0002df60:·228b·40a0·94a0·a040·0501·3640·a094·a0a0··".@....@..6@.... | ||
| 0002df70:·0130·40a0·94a0·a040·04c1·40a0·94a0· | 0002df70:·4005·0130·40a0·94a0·a040·04c1·40a0·94a0··@..0@....@..@... | ||
| 0002df80:·0489·40a0·94a0·a040·0483·4040·a094· | 0002df80:·a040·0489·40a0·94a0·a040·0483·4040·a094··.@..@....@..@@.. | ||
| 0002df90:·40a2·0595·a905·8ade·40a0·94a0·a040· | 0002df90:·a0a0·40a2·0595·a905·8ade·40a0·94a0·a040··..@.......@....@ | ||
| Max diff block lines reached; 5761955/6245875 bytes (92.25%) 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·16a4··Coq!..@P.....*.. | ||
| 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·30 | 00000560:·636f·6d70·4090·3071·396f·1118·3bb8·bd01··comp@.0q9o..;... | ||
| 00000570:· | 00000570:·f61b·d99d·95a4·9925·352e·332e·30a0·4040··.......%5.3.0.@@ | ||
| 00000580:· | 00000580:·164e·9d02·62d1·5df1·6fa4·0670·a872·c650··.N..b.].o..p.r.P | ||
| 00000590:·8495·a6be·0017·2 | 00000590:·8495·a6be·0017·2c0c·0004·8208·0010·8e9d··......,......... | ||
| 000005a0:·0010·692 | 000005a0:·0010·6927·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·30 | 000565a0:·aaa0·05f4·0d90·3071·396f·1118·3bb8·bd01··......0q9o..;... | ||
| 000565b0:· | 000565b0:·f61b·d99d·95a4·99a0·a005·08d0·a005·08cf··................ | ||
| 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:·3434·3435·3035·3737·37e0·d040·2840·676c··444505777..@(@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:· | 00060bb0:·00e5·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·2932·3232·3734·3438··...@@@@@)2227448 | ||
| 00060ca0:·3 | 00060ca0:·3032·e005·2157·0521·2505·2058·050b·6705··02..!W.!%.·X..g. | ||
| 00060cb0:·0b5a·0521·7d0c·0000·0000·00 | 00060cb0:·0b5a·0521·7d0c·0000·0000·0080·e73e·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:·3334·3634·3833·3432·36e0·0521·8205·2150··346483426..!..!P | ||
| 00060d50:·0520·8305·0b92·050b·8505·21a8·0c00·0000··.·........!..... | 00060d50:·0520·8305·0b92·050b·8505·21a8·0c00·0000··.·........!..... | ||
| 00060d60:·0000·00c | 00060d60:·0000·00c8·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·3633·3431··.(....@@@@@)6341 | ||
| 00062550:·3 | 00062550:·3432·3138·32e0·d0d0·d0d0·4025·4063·6173··42182.....@%@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..... | ||
| 00073b10:·d54c·0101·acd0·4005·1706·a0a0·9040·a090··.L....@......@.. | 00073b10:·d54c·0101·acd0·4005·1706·a0a0·9040·a090··.L....@......@.. | ||
| 00073b20:·41a0·9041·40e0·4005·1672·0101·d701·0203··A..A@.@..r...... | 00073b20:·41a0·9041·40e0·4005·1672·0101·d701·0203··A..A@.@..r...... | ||
| 00073b30:·4d01·01d7·d040·0517·04a0·a090·40a0·9041··M....@......@..A | 00073b30:·4d01·01d7·d040·0517·04a0·a090·40a0·9041··M....@......@..A | ||
| Max diff block lines reached; 19439885/19449642 bytes (99.95%) of diff not shown. | |||
| Offset 1, 1 lines modified | Offset 1, 1 lines modified | ||
| 1 | 1 | blhy2 | |