| Offset 1, 2 lines modified | Offset 1, 2 lines modified | ||
| 1 | ·e | 1 | ·0e7778ef0cfef134bc38684f1ab52f4d·1868136·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·····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··1866596·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-5b0v3,·libcoq-mathcomp-bigenough-9ryu0,·libcoq-mathcomp-finmap-quds0,·libcoq-mathcomp-ssreflect-zzen5 | 7 | Depends:·libcoq-elpi·(>=·1.19),·libcoq-mathcomp-algebra-5b0v3,·libcoq-mathcomp-bigenough-9ryu0,·libcoq-mathcomp-finmap-quds0,·libcoq-mathcomp-ssreflect-zzen5 |
| 8 | Suggests:·ocaml-findlib | 8 | Suggests:·ocaml-findlib |
| 9 | Provides:·libcoq-mathcomp-multinomials- | 9 | Provides:·libcoq-mathcomp-multinomials-75w94 |
| 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.2.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.2.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.2.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.2.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.2.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.2.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.2.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.2.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.2.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.2.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.2.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.2.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.2.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.2.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)···515448·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.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.2.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.2.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.2.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.2.0/coq/user-contrib/mathcomp/multinomials/monalg.v |
| 16 | -rw-r--r--···0·root·········(0)·root·········(0)···911 | 16 | -rw-r--r--···0·root·········(0)·root·········(0)···911315·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.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.2.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.2.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.2.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.2.0/coq/user-contrib/mathcomp/multinomials/mpoly.v |
| 19 | -rw-r--r--···0·root·········(0)·root·········(0)··275849 | 19 | -rw-r--r--···0·root·········(0)·root·········(0)··2758492·2024-12-18·11:19:29.000000·./usr/lib/aarch64-linux-gnu/ocaml/5.2.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.2.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.2.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.2.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.2.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.2.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.2.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.2.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.2.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.2.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.2.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.2.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.2.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·dc | 00000000:·436f·7121·0001·4050·0000·0000·0007·dcc6··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·6e1e·a766·5334·e4bc·65c3·cc25·eb7f··.0n..fS4..e..%.. | 00000060:·9030·6e1e·a766·5334·e4bc·65c3·cc25·eb7f··.0n..fS4..e..%.. | ||
| 00000070:·ca42·a0a0·2a73·7472·7563·7475·7265·73a0··.B..*structures. | 00000070:·ca42·a0a0·2a73·7472·7563·7475·7265·73a0··.B..*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:·3087·8ab1·a794·2068·64b0·42b7·1c73·3a68··0.....·hd.B..s:h | 00000300:·3087·8ab1·a794·2068·64b0·42b7·1c73·3a68··0.....·hd.B..s:h | ||
| 00000310:·a9a0·a026·7373·7269·6e74·a027·616c·6765··...&ssrint.'alge | 00000310:·a9a0·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:·b46d·3c7b·22b8·b879·59a2·7f1c·23d3·d7a1··.m<{"..yY...#... | 00000330:·b46d·3c7b·22b8·b879·59a2·7f1c·23d3·d7a1··.m<{"..yY...#... | ||
| 00000340:·2535·2e32·2e30·a040·40e4·f58c·9315·f5ae··%5.2.0.@@....... | 00000340:·2535·2e32·2e30·a040·40e4·f58c·9315·f5ae··%5.2.0.@@....... | ||
| 00000350:·aafa·b6c8·a271·c19f·2984·95a6·be00·04ee··.....q..)....... | 00000350:·aafa·b6c8·a271·c19f·2984·95a6·be00·04ee··.....q..)....... | ||
| 00000360:· | 00000360:·2400·0118·3300·03fb·4d00·03eb·1eb0·d0a0··$...3...M....... | ||
| 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·3531·3838·3439··....@@@@@)518849 | ||
| 00017040:·3 | 00017040:·3331·38e0·d0d0·d0d0·4025·4063·6173·74a0··318.....@%@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 10645, 42 lines modified | Offset 10645, 42 lines modified | ||
| 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:·2939·3330·3631·3339·3932·e005·462b·0540··)930613992..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·0000·f33e·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·2939·3330··..F]...@@@@@)930 | ||
| 00029a50:·3 | 00029a50:·3631·3339·3932·e005·4656·0540·f805·3f75··613992..FV.@..?u | ||
| 00029a60:·0517·3c05·16ad·0546·730c·0000·0000·0000··..<....Fs....... | 00029a60:·0517·3c05·16ad·0546·730c·0000·0000·0000··..<....Fs....... | ||
| 00029a70:·c | 00029a70:·ca3e·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·2939·3330··..F....@@@@@)930 | ||
| 00029b40:·3 | 00029b40:·3631·3339·3932·e005·469b·0541·3d05·3fba··613992..F..A=.?. | ||
| 00029b50:·0517·8105·16f2·0546·b80c·0000·0000·00 | 00029b50:·0517·8105·16f2·0546·b80c·0000·0000·0080··.......F........ | ||
| 00029b60:·e | 00029b60:·e93e·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·3835··...H....@@@@@)85 | ||
| 0002a520:·3 | 0002a520:·3731·3531·3837·35e0·0548·d205·4374·0541··7151875..H..Ct.A | ||
| 0002a530:·f105·19b8·0519·2905·48ef·0c00·0000·0000··......).H....... | 0002a530:·f105·19b8·0519·2905·48ef·0c00·0000·0000··......).H....... | ||
| 0002a540:·00e | 0002a540:·00eb·3e40·4140·a095·a002·0b7b·4f44·a040··..>@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, 17 lines modified | Offset 10869, 17 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. | ||
| 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·293 | 0002a7b0:·497a·9090·9040·4040·4040·2939·3037·3336··Iz...@@@@@)90736 | ||
| 0002a7c0:·3 | 0002a7c0:·3035·3535·e005·4973·0544·1505·4292·051a··0555..Is.D..B... | ||
| 0002a7d0:·5905·19ca·0549·900c·0000·0000·00 | 0002a7d0:·5905·19ca·0549·900c·0000·0000·0080·ed3e··Y....I.........> | ||
| 0002a7e0:·4041·40a0·95a0·0232·0a51·8fa0·0585·89b0··@A@....2.Q...... | 0002a7e0:·4041·40a0·95a0·0232·0a51·8fa0·0585·89b0··@A@....2.Q...... | ||
| 0002a7f0:·054a·8240·40a0·95a0·020f·c0a2·b8a0·9005··.J.@@........... | 0002a7f0:·054a·8240·40a0·95a0·020f·c0a2·b8a0·9005··.J.@@........... | ||
| 0002a800:·4af3·a0a0·9105·8567·a0a0·40a0·40a0·4040··J......g..@.@.@@ | 0002a800:·4af3·a0a0·9105·8567·a0a0·40a0·40a0·4040··J......g..@.@.@@ | ||
| 0002a810:·4040·a095·a002·2760·a06f·d040·9105·8570··@@....'`.o.@...p | 0002a810:·4040·a095·a002·2760·a06f·d040·9105·8570··@@....'`.o.@...p | ||
| 0002a820:·a040·a040·40a0·9092·0590·2ea0·9092·0590··.@.@@........... | 0002a820:·a040·a040·40a0·9092·0590·2ea0·9092·0590··.@.@@........... | ||
| 0002a830:·1d40·d0d0·d0d0·d040·40a0·054e·8040·4041··.@.....@@..N.@@A | 0002a830:·1d40·d0d0·d0d0·d040·40a0·054e·8040·4041··.@.....@@..N.@@A | ||
| 0002a840:·41a0·054e·7d40·d040·054e·7aa0·054e·7640··A..N}@.@.Nz..Nv@ | 0002a840:·41a0·054e·7d40·d040·054e·7aa0·054e·7640··A..N}@.@.Nz..Nv@ | ||
| Offset 10937, 17 lines modified | Offset 10937, 17 lines modified | ||
| 0002ab80:·0228·d188·5aa0·a091·0584·6605·8961·40a0··.(..Z.....f..a@. | 0002ab80:·0228·d188·5aa0·a091·0584·6605·8961·40a0··.(..Z.....f..a@. | ||
| 0002ab90:·95a0·0234·7dc1·ffa0·275f·454c·5049·5f36··...4}...'_ELPI_6 | 0002ab90:·95a0·0234·7dc1·ffa0·275f·454c·5049·5f36··...4}...'_ELPI_6 | ||
| 0002aba0:·c0a0·2268·62a0·2264·6240·a0a0·b005·87f8··.."hb."db@...... | 0002aba0:·c0a0·2268·62a0·2264·6240·a0a0·b005·87f8··.."hb."db@...... | ||
| 0002abb0:·2139·022f·1d56·d2d0·054a·79d0·e040·4040··!9./.V...Jy..@@@ | 0002abb0:·2139·022f·1d56·d2d0·054a·79d0·e040·4040··!9./.V...Jy..@@@ | ||
| 0002abc0:·4040·054a·7840·a0c0·0501·9f05·4a73·b0c3··@@.Jx@......Js.. | 0002abc0:·4040·054a·7840·a0c0·0501·9f05·4a73·b0c3··@@.Jx@......Js.. | ||
| Max diff block lines reached; 2930309/2940202 bytes (99.66%) of diff not shown. | |||
| Offset 1, 8 lines modified | Offset 1, 8 lines modified | ||
| 00000000:·436f·7121·0001·4050·0000·0000·000d·e7 | 00000000:·436f·7121·0001·4050·0000·0000·000d·e721··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·306e·1ea7·6653·34e4·bc65·c3cc·25eb··@.0n..fS4..e..%. | 00000060:·4090·306e·1ea7·6653·34e4·bc65·c3cc·25eb··@.0n..fS4..e..%. | ||
| 00000070:·7fca·42a0·a02a·7374·7275·6374·7572·6573··..B..*structures | 00000070:·7fca·42a0·a02a·7374·7275·6374·7572·6573··..B..*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·30b4·6d3c·7b22·b8b8·7959·a27f··mp@.0.m<{"..yY.. | 00000290:·6d70·4090·30b4·6d3c·7b22·b8b8·7959·a27f··mp@.0.m<{"..yY.. | ||
| 000002a0:·1c23·d3d7·a1a0·a027·7866·696e·6d61·70a0··.#.....'xfinmap. | 000002a0:·1c23·d3d7·a1a0·a027·7866·696e·6d61·70a0··.#.....'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·fb9c·fa32·35d3··athcomp@.0...25. | 000002c0:·6174·6863·6f6d·7040·9030·fb9c·fa32·35d3··athcomp@.0...25. | ||
| 000002d0:·dac4·b18e·94df·c4ce·4d39·2535·2e32·2e30··........M9%5.2.0 | 000002d0:·dac4·b18e·94df·c4ce·4d39·2535·2e32·2e30··........M9%5.2.0 | ||
| 000002e0:·a040·40dd·fe54·a3aa·2d61·9dfa·ac5e·18d6··.@@..T..-a...^.. | 000002e0:·a040·40dd·fe54·a3aa·2d61·9dfa·ac5e·18d6··.@@..T..-a...^.. | ||
| 000002f0:·e2b2·8884·95a6·be00·0b24· | 000002f0:·e2b2·8884·95a6·be00·0b24·9d00·0270·a700··.........$...p.. | ||
| 00000300:·088a· | 00000300:·088a·4f00·0871·d3b0·d0a0·266d·6f6e·616c··..O..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·343 | 00025aa0:·1190·9090·4040·4040·4029·3438·3630·3837··....@@@@@)486087 | ||
| 00025ab0:·3 | 00025ab0:·3436·34e0·d040·2840·676c·6f62·616c·21a0··464..@(@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, 83 lines modified | Offset 11688, 83 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·00e9·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·293 | 0002dbc0:·4040·2936·3036·3231·3337·3237·e005·2157··@@)606213727..!W | ||
| 0002dbd0:·0521·2505·2058·050b·6705·0b5a·0521·7d0c··.!%.·X..g..Z.!}. | 0002dbd0:·0521·2505·2058·050b·6705·0b5a·0521·7d0c··.!%.·X..g..Z.!}. | ||
| 0002dbe0:·0000·0000·00 | 0002dbe0:·0000·0000·0080·e93e·4041·40a0·95a0·021b··.......>@A@..... | ||
| 0002dbf0:·9b7f·79a0·275f·454c·5049·5f33·c0a0·2665··..y.'_ELPI_3..&e | 0002dbf0:·9b7f·79a0·275f·454c·5049·5f33·c0a0·2665··..y.'_ELPI_3..&e | ||
| 0002dc00:·7870·6f72·74a0·2264·6240·a0a0·b005·94a4··xport."db@...... | 0002dc00:·7870·6f72·74a0·2264·6240·a0a0·b005·94a4··xport."db@...... | ||
| 0002dc10:·2133·022a·b1cd·edd0·0521·90d0·e040·4040··!3.*.....!...@@@ | 0002dc10:·2133·022a·b1cd·edd0·0521·90d0·e040·4040··!3.*.....!...@@@ | ||
| 0002dc20:·4040·0521·8f40·a0c0·042e·0521·8ab0·c391··@@.!.@.....!.... | 0002dc20:·4040·0521·8f40·a0c0·042e·0521·8ab0·c391··@@.!.@.....!.... | ||
| 0002dc30:·4005·2189·b095·0521·8804·33a0·0521·8790··@.!....!..3..!.. | 0002dc30:·4005·2189·b095·0521·8804·33a0·0521·8790··@.!....!..3..!.. | ||
| 0002dc40:·9090·0521·86a0·b095·a004·4f5b·043b·a005··...!......O[.;.. | 0002dc40:·9090·0521·86a0·b095·a004·4f5b·043b·a005··...!......O[.;.. | ||
| 0002dc50:·218f·9090·9005·2184·4004·3fa0·0521·9390··!.....!.@.?..!.. | 0002dc50:·218f·9090·9005·2184·4004·3fa0·0521·9390··!.....!.@.?..!.. | ||
| 0002dc60:·9090·4040·4040·4029·3 | 0002dc60:·9090·4040·4040·4029·3732·3133·3036·3530··..@@@@@)72130650 | ||
| 0002dc70:·3 | 0002dc70:·39e0·0521·8205·2150·0520·8305·0b92·050b··9..!..!P.·...... | ||
| 0002dc80:·8505·21a8·0c00·0000·0000·00c | 0002dc80:·8505·21a8·0c00·0000·0000·00c0·3e40·4140··..!.........>@A@ | ||
| 0002dc90:·a0a0·0587·0ea0·4090·40a0·94a0·a040·a205··......@.@....@.. | 0002dc90:·a0a0·0587·0ea0·4090·40a0·94a0·a040·a205··......@.@....@.. | ||
| 0002dca0:·94cb·0587·1540·a094·a0a0·4004·0540·a0a0··.....@....@..@.. | 0002dca0:·94cb·0587·1540·a094·a0a0·4004·0540·a0a0··.....@....@..@.. | ||
| 0002dcb0:·0587·13a0·4090·a0a0·058a·0aa0·4090·4040··....@.......@.@@ | 0002dcb0:·0587·13a0·4090·a0a0·058a·0aa0·4090·4040··....@.......@.@@ | ||
| 0002dcc0:·a094·a0a0·40a2·a205·94dd·0587·1f05·8a12··....@........... | 0002dcc0:·a094·a0a0·40a2·a205·94dd·0587·1f05·8a12··....@........... | ||
| 0002dcd0:·40a0·95a0·021b·9b7f·79a0·275f·454c·5049··@.......y.'_ELPI | 0002dcd0:·40a0·95a0·021b·9b7f·79a0·275f·454c·5049··@.......y.'_ELPI | ||
| 0002dce0:·5f34·c0a0·2665·7870·6f72·74a0·2264·6240··_4..&export."db@ | 0002dce0:·5f34·c0a0·2665·7870·6f72·74a0·2264·6240··_4..&export."db@ | ||
| 0002dcf0:·a0a0·b005·94ea·2134·022a·b1cd·eed0·0521··......!4.*.....! | 0002dcf0:·a0a0·b005·94ea·2134·022a·b1cd·eed0·0521··......!4.*.....! | ||
| 0002dd00:·d6d0·e040·4040·4040·0521·d540·a0c0·e090··...@@@@@.!.@.... | 0002dd00:·d6d0·e040·4040·4040·0521·d540·a0c0·e090··...@@@@@.!.@.... | ||
| 0002dd10:·0521·d42e·2e2f·7372·632f·6d6f·6e61·6c67··.!.../src/monalg | 0002dd10:·0521·d42e·2e2f·7372·632f·6d6f·6e61·6c67··.!.../src/monalg | ||
| 0002dd20:·2e76·010d·9401·0df7·005e·010d·9405·21d3··.v.......^....!. | 0002dd20:·2e76·010d·9401·0df7·005e·010d·9405·21d3··.v.......^....!. | ||
| 0002dd30:·b0c3·9140·0521·d2b0·9505·21d1·0408·a005··...@.!....!..... | 0002dd30:·b0c3·9140·0521·d2b0·9505·21d1·0408·a005··...@.!....!..... | ||
| 0002dd40:·21d0·9090·9005·21cf·a0b0·95a0·0425·5b04··!.....!......%[. | 0002dd40:·21d0·9090·9005·21cf·a0b0·95a0·0425·5b04··!.....!......%[. | ||
| 0002dd50:·10a0·0521·d890·9090·0521·cd40·0414·a005··...!.....!.@.... | 0002dd50:·10a0·0521·d890·9090·0521·cd40·0414·a005··...!.....!.@.... | ||
| 0002dd60:·21dc·9090·9040·4040·4040·293 | 0002dd60:·21dc·9090·9040·4040·4040·2932·3939·3438··!....@@@@@)29948 | ||
| 0002dd70:·3 | 0002dd70:·3434·3132·e005·21cb·0521·9905·20cc·050b··4412..!..!..·... | ||
| 0002dd80:·db05·0bce·0521·f10c·0000·0000·00 | 0002dd80:·db05·0bce·0521·f10c·0000·0000·0000·eb3e··.....!.........> | ||
| 0002dd90:·4041·40a0·a005·8526·a040·90a0·a005·8a46··@A@....&.@.....F | 0002dd90:·4041·40a0·a005·8526·a040·90a0·a005·8a46··@A@....&.@.....F | ||
| 0002dda0:·a040·9040·40a0·94a0·a040·a2a2·0595·1905··.@.@@....@...... | 0002dda0:·a040·9040·40a0·94a0·a040·a2a2·0595·1905··.@.@@....@...... | ||
| 0002ddb0:·8532·058a·4e40·a0a0·0582·baa0·4090·40a0··.2..N@......@.@. | 0002ddb0:·8532·058a·4e40·a0a0·0582·baa0·4090·40a0··.2..N@......@.@. | ||
| 0002ddc0:·94a0·a040·a205·9522·0582·c140·a095·a002··...@..."...@.... | 0002ddc0:·94a0·a040·a205·9522·0582·c140·a095·a002··...@..."...@.... | ||
| 0002ddd0:·1b9b·7f79·a027·5f45·4c50·495f·35c0·a026··...y.'_ELPI_5..& | 0002ddd0:·1b9b·7f79·a027·5f45·4c50·495f·35c0·a026··...y.'_ELPI_5..& | ||
| 0002dde0:·6578·706f·7274·a022·6462·40a0·a0b0·0595··export."db@..... | 0002dde0:·6578·706f·7274·a022·6462·40a0·a0b0·0595··export."db@..... | ||
| 0002ddf0:·2f21·3502·2ab1·cdef·d005·221b·d0e0·4040··/!5.*....."...@@ | 0002ddf0:·2f21·3502·2ab1·cdef·d005·221b·d0e0·4040··/!5.*....."...@@ | ||
| 0002de00:·4040·4005·221a·40a0·c0e0·9005·2219·2e2e··@@@.".@....."... | 0002de00:·4040·4005·221a·40a0·c0e0·9005·2219·2e2e··@@@.".@....."... | ||
| 0002de10:·2f73·7263·2f6d·6f6e·616c·672e·7601·0df9··/src/monalg.v... | 0002de10:·2f73·7263·2f6d·6f6e·616c·672e·7601·0df9··/src/monalg.v... | ||
| 0002de20:·010e·5700·6201·0df9·0522·18b0·c391·4005··..W.b...."....@. | 0002de20:·010e·5700·6201·0df9·0522·18b0·c391·4005··..W.b...."....@. | ||
| 0002de30:·2217·b095·0522·1604·08a0·0522·1590·9090··"....".....".... | 0002de30:·2217·b095·0522·1604·08a0·0522·1590·9090··"....".....".... | ||
| 0002de40:·0522·14a0·b095·a004·2e5b·0410·a005·221d··.".......[....". | 0002de40:·0522·14a0·b095·a004·2e5b·0410·a005·221d··.".......[....". | ||
| 0002de50:·9090·9005·2212·4004·14a0·0522·2190·9090··....".@...."!... | 0002de50:·9090·9005·2212·4004·14a0·0522·2190·9090··....".@...."!... | ||
| 0002de60:·4040·4040·4029·3 | 0002de60:·4040·4040·4029·3533·3137·3539·3435·31e0··@@@@@)531759451. | ||
| 0002de70:·0522·1005·21de·0521·1105·0c20·050c·1305··."..!..!...·.... | 0002de70:·0522·1005·21de·0521·1105·0c20·050c·1305··."..!..!...·.... | ||
| 0002de80:·2236·0c00·0000·0000· | 0002de80:·2236·0c00·0000·0000·80e9·3e40·4140·a095··"6........>@A@.. | ||
| 0002de90:·a002·1b9b·7f79·a027·5f45·4c50·495f·36c0··.....y.'_ELPI_6. | 0002de90:·a002·1b9b·7f79·a027·5f45·4c50·495f·36c0··.....y.'_ELPI_6. | ||
| 0002dea0:·a026·6578·706f·7274·a022·6462·40a0·a0b0··.&export."db@... | 0002dea0:·a026·6578·706f·7274·a022·6462·40a0·a0b0··.&export."db@... | ||
| 0002deb0:·0595·5d21·3602·2ab1·cdf0·d005·2249·d0e0··..]!6.*....."I.. | 0002deb0:·0595·5d21·3602·2ab1·cdf0·d005·2249·d0e0··..]!6.*....."I.. | ||
| 0002dec0:·4040·4040·4005·2248·40a0·c004·2e05·2243··@@@@@."H@....."C | 0002dec0:·4040·4040·4005·2248·40a0·c004·2e05·2243··@@@@@."H@....."C | ||
| 0002ded0:·b0c3·9140·0522·42b0·9505·2241·0433·a005··...@."B..."A.3.. | 0002ded0:·b0c3·9140·0522·42b0·9505·2241·0433·a005··...@."B..."A.3.. | ||
| 0002dee0:·2240·9090·9005·223f·a0b0·95a0·044f·5b04··"@...."?.....O[. | 0002dee0:·2240·9090·9005·223f·a0b0·95a0·044f·5b04··"@...."?.....O[. | ||
| 0002def0:·3ba0·0522·4890·9090·0522·3d40·043f·a005··;.."H...."=@.?.. | 0002def0:·3ba0·0522·4890·9090·0522·3d40·043f·a005··;.."H...."=@.?.. | ||
| 0002df00:·224c·9090·9040·4040·4040·293 | 0002df00:·224c·9090·9040·4040·4040·2939·3835·3432··"L...@@@@@)98542 | ||
| 0002df10:·3 | 0002df10:·3532·3139·e005·223b·0522·0905·213c·050c··5219..";."..!<.. | ||
| 0002df20:·4b05·0c3e·0522·610c·0000·0000·0000·c | 0002df20:·4b05·0c3e·0522·610c·0000·0000·0000·ca3e··K..>."a........> | ||
| 0002df30:·4041·40a0·a005·8314·a040·9040·a094·a0a0··@A@......@.@.... | 0002df30:·4041·40a0·a005·8314·a040·9040·a094·a0a0··@A@......@.@.... | ||
| 0002df40:·40a2·0595·8405·831b·40a0·94a0·a040·0405··@.......@....@.. | 0002df40:·40a2·0595·8405·831b·40a0·94a0·a040·0405··@.......@....@.. | ||
| 0002df50:·40a0·a005·8abf·a040·90a0·94a0·a040·0522··@......@.....@." | 0002df50:·40a0·a005·8abf·a040·90a0·94a0·a040·0522··@......@.....@." | ||
| 0002df60:·8b40·a094·a0a0·4005·0136·40a0·94a0·a040··.@....@..6@....@ | 0002df60:·8b40·a094·a0a0·4005·0136·40a0·94a0·a040··.@....@..6@....@ | ||
| 0002df70:·0501·3040·a094·a0a0·4004·c140·a094·a0a0··..0@....@..@.... | 0002df70:·0501·3040·a094·a0a0·4004·c140·a094·a0a0··..0@....@..@.... | ||
| 0002df80:·4004·8940·a094·a0a0·4004·8340·40a0·94a0··@..@....@..@@... | 0002df80:·4004·8940·a094·a0a0·4004·8340·40a0·94a0··@..@....@..@@... | ||
| 0002df90:·a040·a205·95a9·058a·de40·a094·a0a0·4004··.@.......@....@. | 0002df90:·a040·a205·95a9·058a·de40·a094·a0a0·4004··.@.......@....@. | ||
| Offset 11775, 23114 lines modified | Offset 11775, 23114 lines modified | ||
| Max diff block lines reached; 5814933/5824849 bytes (99.83%) of diff not shown. | |||
| Offset 1, 8 lines modified | Offset 1, 8 lines modified | ||
| 00000000:·436f·7121·0001·4050·0000·0000·002a·16a | 00000000:·436f·7121·0001·4050·0000·0000·002a·16aa··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·6e1e·a766·5334·e4bc·65c3·cc25·eb7f··.0n..fS4..e..%.. | 00000060:·9030·6e1e·a766·5334·e4bc·65c3·cc25·eb7f··.0n..fS4..e..%.. | ||
| 00000070:·ca42·a0a0·2a73·7472·7563·7475·7265·73a0··.B..*structures. | 00000070:·ca42·a0a0·2a73·7472·7563·7475·7265·73a0··.B..*structures. | ||
| Offset 80, 19 lines modified | Offset 80, 19 lines modified | ||
| 000004f0:·6863·6f6d·7040·9030·5da6·fcb3·5525·6d99··hcomp@.0]...U%m. | 000004f0:·6863·6f6d·7040·9030·5da6·fcb3·5525·6d99··hcomp@.0]...U%m. | ||
| 00000500:·63a5·7a0c·9b74·6329·a0a0·2e73·7372·636f··c.z..tc)...ssrco | 00000500:·63a5·7a0c·9b74·6329·a0a0·2e73·7372·636f··c.z..tc)...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·e617·c161·7aa5·3e9f·208d·f354··p@.0...az.>.·..T | 00000530:·7040·9030·e617·c161·7aa5·3e9f·208d·f354··p@.0...az.>.·..T | ||
| 00000540:·e49a·2b3c·a0a0·2566·7265·6567·a02c·6d75··..+<..%freeg.,mu | 00000540:·e49a·2b3c·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·3058·8c26·95f1·f8f3·6c7b··comp@.0X.&....l{ | ||
| 00000570:·0 | 00000570:·0f62·0637·3198·fb25·352e·322e·30a0·4040··.b.71..%5.2.0.@@ | ||
| 00000580:· | 00000580:·0e2b·6178·e4c4·854d·30d2·00b9·d76a·2585··.+ax...M0....j%. | ||
| 00000590:·8495·a6be·0017·2c1 | 00000590:·8495·a6be·0017·2c12·0004·8208·0010·8e9c··......,......... | ||
| 000005a0:·0010·692 | 000005a0:·0010·6926·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:·305d·a6fc·b355·256d·9963·a57a·0c9b·7463··0]...U%m.c.z..tc | 00056590:·305d·a6fc·b355·256d·9963·a57a·0c9b·7463··0]...U%m.c.z..tc | ||
| 000565a0:·29a0·05f4·0d90·30 | 000565a0:·29a0·05f4·0d90·3058·8c26·95f1·f8f3·6c7b··).....0X.&....l{ | ||
| 000565b0:·0 | 000565b0:·0f62·0637·3198·fba0·a005·08d0·a005·08cf··.b.71........... | ||
| 000565c0:·a005·08ce·4090·30e6·17c1·617a·a53e·9f20··....@.0...az.>.· | 000565c0:·a005·08ce·4090·30e6·17c1·617a·a53e·9f20··....@.0...az.>.· | ||
| 000565d0:·8df3·54e4·9a2b·3ca0·05f5·9890·3089·5051··..T..+<.....0.PQ | 000565d0:·8df3·54e4·9a2b·3ca0·05f5·9890·3089·5051··..T..+<.....0.PQ | ||
| 000565e0:·e49b·54cb·4347·2acd·7b9a·5cf1·ba90·40a0··..T.CG*.{.\...@. | 000565e0:·e49b·54cb·4347·2acd·7b9a·5cf1·ba90·40a0··..T.CG*.{.\...@. | ||
| 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:·3637·3133·3035·3535·37e0·d040·2840·676c··671305557..@(@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·2939·3735·3639·3532··...@@@@@)9756952 | ||
| 00060ca0:·3 | 00060ca0:·3334·e005·2157·0521·2505·2058·050b·6705··34..!W.!%.·X..g. | ||
| 00060cb0:·0b5a·0521·7d0c·0000·0000·0000·e | 00060cb0:·0b5a·0521·7d0c·0000·0000·0000·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:·3134·3237·3433·3835·30e0·0521·8205·2150··142743850..!..!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·3335·3733··.(....@@@@@)3573 | ||
| 00062550:·3 | 00062550:·3532·3635·39e0·d0d0·d0d0·4025·4063·6173··52659.....@%@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 29631, 17 lines modified | Offset 29631, 17 lines modified | ||
| 00073be0:·9340·0544·28a0·056c·1c90·9090·0528·efa0··.@.D(..l.....(.. | 00073be0:·9340·0544·28a0·056c·1c90·9090·0528·efa0··.@.D(..l.....(.. | ||
| 00073bf0:·b0c3·9140·0528·58b0·95a0·0544·c957·0544··...@.(X....D.W.D | 00073bf0:·b0c3·9140·0528·58b0·95a0·0544·c957·0544··...@.(X....D.W.D | ||
| 00073c00:·33a0·056c·2790·9090·0528·5a40·0544·37a0··3..l'....(Z@.D7. | 00073c00:·33a0·056c·2790·9090·0528·5a40·0544·37a0··3..l'....(Z@.D7. | ||
| 00073c10:·056c·2b90·9090·0528·fba0·b0c3·9140·053b··.l+....(.....@.; | 00073c10:·056c·2b90·9090·0528·fba0·b0c3·9140·053b··.l+....(.....@.; | ||
| 00073c20:·74b0·95a0·9106·0001·68ae·5805·4443·a005··t.......h.X.DC.. | 00073c20:·74b0·95a0·9106·0001·68ae·5805·4443·a005··t.......h.X.DC.. | ||
| Max diff block lines reached; 19386850/19396607 bytes (99.95%) of diff not shown. | |||
| Offset 1, 1 lines modified | Offset 1, 1 lines modified | ||
| 1 | 1 | 75w94 | |