Offset 1, 2 lines modified | Offset 1, 2 lines modified | ||
1 | · | 1 | ·890523cecb7dc204cb197fa5f757a47a·1867152·ocaml·optional·libcoq-mathcomp-multinomials_2.3.0-1_amd64.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··186 | 3 | -rw-r--r--···0········0········0··1865612·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:·amd64 | 4 | Architecture:·amd64 |
5 | Maintainer:·Debian·OCaml·Maintainers·<debian-ocaml-maint@lists.debian.org> | 5 | Maintainer:·Debian·OCaml·Maintainers·<debian-ocaml-maint@lists.debian.org> |
6 | Installed-Size:·7040 | 6 | Installed-Size:·7040 |
7 | Depends:·libcoq-elpi·(>=·1.19),·libcoq-mathcomp-algebra-w4ej8,·libcoq-mathcomp-bigenough-6f670,·libcoq-mathcomp-finmap-ty5u0,·libcoq-mathcomp-ssreflect-eojd5 | 7 | Depends:·libcoq-elpi·(>=·1.19),·libcoq-mathcomp-algebra-w4ej8,·libcoq-mathcomp-bigenough-6f670,·libcoq-mathcomp-finmap-ty5u0,·libcoq-mathcomp-ssreflect-eojd5 |
8 | Suggests:·ocaml-findlib | 8 | Suggests:·ocaml-findlib |
9 | Provides:·libcoq-mathcomp-multinomials- | 9 | Provides:·libcoq-mathcomp-multinomials-0gbq8 |
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/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-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)···515470·2024-12-18·11:19:29.000000·./usr/lib/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-linux-gnu/ocaml/5.2.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)···911280·2024-12-18·11:19:29.000000·./usr/lib/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-linux-gnu/ocaml/5.2.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)··2758439·2024-12-18·11:19:29.000000·./usr/lib/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-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·dcdc··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·c7f5·9674·0295·790e·84d5·17cb·ca0a··.0...t..y....... | 00000060:·9030·c7f5·9674·0295·790e·84d5·17cb·ca0a··.0...t..y....... | ||
00000070:·ceef·a0a0·2a73·7472·7563·7475·7265·73a0··....*structures. | 00000070:·ceef·a0a0·2a73·7472·7563·7475·7265·73a0··....*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:·304f·9951·a74b·018b·7771·10f8·c56e·a737··0O.Q.K..wq...n.7 | 00000300:·304f·9951·a74b·018b·7771·10f8·c56e·a737··0O.Q.K..wq...n.7 | ||
00000310:·3aa0·a026·7373·7269·6e74·a027·616c·6765··:..&ssrint.'alge | 00000310:·3aa0·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:·62e2·0677·8f67·440d·27ad·300e·27fb·17dd··b..w.gD.'.0.'... | 00000330:·62e2·0677·8f67·440d·27ad·300e·27fb·17dd··b..w.gD.'.0.'... | ||
00000340:·2535·2e32·2e30·a040·4067·b409·0b17·8e57··%5.2.0.@@g.....W | 00000340:·2535·2e32·2e30·a040·4067·b409·0b17·8e57··%5.2.0.@@g.....W | ||
00000350:·aaa2·a688·9103·1a3b·8984·95a6·be00·04ee··.......;........ | 00000350:·aaa2·a688·9103·1a3b·8984·95a6·be00·04ee··.......;........ | ||
00000360:· | 00000360:·3a00·0118·3300·03fb·4e00·03eb·1fb0·d0a0··:...3...N....... | ||
00000370:·2566·7265·6567·a02c·6d75·6c74·696e·6f6d··%freeg.,multinom | 00000370:·2566·7265·6567·a02c·6d75·6c74·696e·6f6d··%freeg.,multinom | ||
00000380:·6961·6c73·a028·6d61·7468·636f·6d70·40e0··ials.(mathcomp@. | 00000380:·6961·6c73·a028·6d61·7468·636f·6d70·40e0··ials.(mathcomp@. | ||
00000390:·9004·0841·90a0·a029·4672·6565·6744·6566··...A...)FreegDef | 00000390:·9004·0841·90a0·a029·4672·6565·6744·6566··...A...)FreegDef | ||
000003a0:·7393·e0a2·0408·0404·4190·a0a0·2772·6564··s.......A...'red | 000003a0:·7393·e0a2·0408·0404·4190·a0a0·2772·6564··s.......A...'red | ||
000003b0:·7563·6564·9008·0000·2700·40a0·8080·91b7··uced....'.@..... | 000003b0:·7563·6564·9008·0000·2700·40a0·8080·91b7··uced....'.@..... | ||
000003c0:·a090·2147·409b·a0a0·90b0·a2a2·90a0·2673··..!G@.........&s | 000003c0:·a090·2147·409b·a0a0·90b0·a2a2·90a0·2673··..!G@.........&s | ||
000003d0:·7372·616c·67a0·2761·6c67·6562·7261·a004··sralg.'algebra.. | 000003d0:·7372·616c·67a0·2761·6c67·6562·7261·a004··sralg.'algebra.. | ||
Offset 5885, 9397 lines modified | Offset 5885, 9397 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 (6741 lines added, 6741 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·4028·3437·3731·3833··....@@@@@(477183 | ||
00017040:·3 | 00017040:·3433·e0d0·d0d0·d040·2540·6361·7374·a0b0··43.....@%@cast.. | ||
00017050:·b | 00017050:·b490·a021·5422·6c70·40b0·b490·a022·5459··...!T"lp@...."TY | ||
00017060:· | 00017060:·0406·40b0·c391·4023·6c65·74b0·95a0·9024··..@...@#let....$ | ||
00017070:· | 00017070:·6361·7374·53e0·4030·636f·712d·6275·696c··castS.@0coq-buil | ||
00017080:· | 00017080:·7469·6e2e·656c·7069·0124·e801·24ee·0100··tin.elpi.$..$... | ||
00017090:· | 00017090:·e101·24cf·a004·2990·40a0·b0a1·9004·1704··..$...).@....... | ||
000170a0:· | 000170a0:·12e0·4004·0801·24ef·0124·f101·00e1·0124··..@...$..$.....$ | ||
000170b0:· | 000170b0:·cfa0·0430·9040·a0b0·a190·041e·041f·e040··...0.@.........@ | ||
000170c0:· | 000170c0:·040f·0124·f201·24f3·0100·e101·24cf·a004··...$..$.....$... | ||
000170d0:· | 000170d0:·3790·40a0·b0b4·90a0·2178·0427·40b0·a190··7.@.....!x.'@... | ||
000170e0:· | 000170e0:·042a·0404·e040·041b·0124·f601·24f7·0100··.*...@...$..$... | ||
000170f0:· | 000170f0:·e101·24cf·a004·4390·40e0·4004·1e01·24f4··..$...C.@.@...$. | ||
00017100:· | 00017100:·0124·f701·00e1·0124·cfa0·0446·9040·40e0··.$.....$...F.@@. | ||
00017110:· | 00017110:·4004·2101·24e4·0124·f701·00e1·0124·cfa0··@.!.$..$.....$.. | ||
00017120:· | 00017120:·0449·9040·e040·0424·0124·dd01·24f7·0100··.I.@.@.$.$..$... | ||
00017130:· | 00017130:·e101·24cf·a004·4c90·40e0·4004·2701·24db··..$...L.@.@.'.$. | ||
00017140:· | 00017140:·0124·f701·00e1·0124·cfa0·044f·9040·e040··.$.....$...O.@.@ | ||
00017150:· | 00017150:·042a·0124·cf01·24f8·0100·e101·24cf·d040··.*.$..$.....$..@ | ||
00017160:· | 00017160:·2a40·636f·6572·6369·6f6e·21a0·b0c3·9140··*@coercion!....@ | ||
00017170:· | 00017170:·223a·3ab0·c391·4028·636f·6572·6369·6f6e··"::...@(coercion | ||
00017180:· | 00017180:·b0a1·9140·2a72·6576·6572·7369·626c·65e0··...@*reversible. | ||
00017190:· | 00017190:·4004·3a01·531a·0153·2401·01f2·0152·fca0··@.:.S..S$....R.. | ||
000171a0:· | 000171a0:·0462·9040·40e0·4004·3d01·5311·0153·2401··.b.@@.@.=.S..S$. | ||
000171b0:·01 | 000171b0:·01f2·0152·fca0·0465·9040·a0b0·a191·4022··...R...e.@....@" | ||
000171c0:· | 000171c0:·5b5d·e040·0445·0153·2401·5325·0101·f201··[].@.E.S$.S%.... | ||
000171d0:· | 000171d0:·52fc·a004·6d90·4040·e040·0448·0153·1001··R...m.@@.@.H.S.. | ||
000171e0:· | 000171e0:·5325·0101·f201·52fc·a004·7090·40e0·4004··S%....R...p.@.@. | ||
000171f0:· | 000171f0:·4b01·52fc·0153·2501·01f2·0152·fc40·4142··K.R..S%....R.@AB | ||
00017200:· | 00017200:·2c40·6465·7072·6563·6174·6564·21a0·b0b4··,@deprecated!... | ||
00017210:· | 00017210:·90a0·2553·696e·6365·0462·40b0·b490·a023··..%Since.b@....# | ||
00017220:· | 00017220:·4d73·6704·6740·b0c3·9140·2a67·6574·2d6f··Msg.g@...@*get-o | ||
00017230:· | 00017230:·7074·696f·6eb0·95a0·2e63·6f71·3a64·6570··ption....coq:dep | ||
00017240:·7 | 00017240:·7265·6361·7465·6443·e040·0460·0152·8001··recatedC.@.`.R.. | ||
00017250:· | 00017250:·5290·0101·ed01·5273·a004·8890·40a0·b0c3··R.....Rs....@... | ||
00017260:· | 00017260:·9140·2270·72b0·a190·047a·0419·e040·046b··.@"pr....z...@.k | ||
00017270:· | 00017270:·0152·9501·529a·0101·ed01·5273·a004·9390··.R..R.....Rs.... | ||
00017280:· | 00017280:·40a0·b0a1·9004·8104·1be0·4004·7201·529b··@.........@.r.R. | ||
00017290:· | 00017290:·0152·9e01·01ed·0152·73a0·049a·9040·40e0··.R.....Rs....@@. | ||
000172a0:· | 000172a0:·4004·7501·5292·0152·9e01·01ed·0152·73a0··@.u.R..R.....Rs. | ||
000172b0:· | 000172b0:·049d·9040·40e0·4004·7801·5275·0152·9f01··...@@.@.x.Ru.R.. | ||
000172c0:·01 | 000172c0:·01ed·0152·73a0·04a0·9040·e040·047b·0152··...Rs....@.@.{.R | ||
000172d0:· | 000172d0:·6c01·529f·0101·ed01·5273·a004·a390·40e0··l.R.....Rs....@. | ||
000172e0:· | 000172e0:·4004·7e01·5266·0152·9f01·01ed·0152·73a0··@.~.Rf.R.....Rs. | ||
000172f0:· | 000172f0:·04a6·9040·e040·0481·0152·5301·529f·0101··...@.@...RS.R... | ||
00017300:· | 00017300:·ec01·5253·d040·2b40·6472·6f70·756e·6976··..RS.@+@dropuniv | ||
00017310:·7 | 00017310:·7321·a0b0·c391·4004·2db0·95a0·2d63·6f71··s!....@.-...-coq | ||
00017320:· | 00017320:·3a6b·6565·7075·6e69·7673·43e0·4004·8c01··:keepunivsC.@... | ||
00017330:· | 00017330:·50c2·0150·d101·01e2·0150·a2a0·04b4·9040··P..P.....P.....@ | ||
00017340:· | 00017340:·a0b0·a191·4022·6666·e040·0494·0150·d201··....@"ff.@...P.. | ||
00017350:· | 00017350:·50d4·0101·e201·50a2·a004·bc90·4040·e040··P.....P.....@@.@ | ||
00017360:· | 00017360:·0497·0150·b701·50d4·0101·e201·50a2·a004··...P..P.....P... | ||
00017370:· | 00017370:·bf90·40e0·4004·9a01·50a2·0150·d401·01e2··..@.@...P..P.... | ||
00017380:· | 00017380:·0150·a240·4143·2840·676c·6f62·616c·21a0··.P.@AC(@global!. | ||
00017390:· | 00017390:·b0c3·9140·0445·b095·a02c·636f·713a·6c6f··...@.E...,coq:lo | ||
000173a0:·6 | 000173a0:·6361·6c69·7479·43e0·4004·a401·1805·0118··calityC.@....... | ||
000173b0:·1 | 000173b0:·1301·0095·0117·e6a0·04cc·9040·a0b0·95a0··...........@.... | ||
000173c0:· | 000173c0:·2667·6c6f·6261·6c43·e040·04ac·0118·1401··&globalC.@...... | ||
000173d0:· | 000173d0:·181c·0100·9501·17e6·a004·d490·4040·e040··............@@.@ | ||
000173e0:· | 000173e0:·04af·0117·fa01·181c·0100·9501·17e6·a004··................ | ||
000173f0:· | 000173f0:·d790·40e0·4004·b201·17e6·0118·1c01·0095··..@.@........... | ||
00017400:· | 00017400:·0117·e6d0·d0d0·4027·4068·6f6c·6573·21a0··......@'@holes!. | ||
00017410:· | 00017410:·b0c3·9140·0460·b095·a02a·484f·4153·3a68··...@.`...*HOAS:h | ||
00017420:·6 | 00017420:·6f6c·6573·43e0·4004·bf01·33ad·0133·b901··olesC.@...3..3.. | ||
00017430:·01 | 00017430:·0143·0133·91a0·04e7·9040·a0b0·a191·4022··.C.3.....@....@" | ||
00017440:· | 00017440:·7474·e040·04c7·0133·ba01·33bc·0101·4301··tt.@...3..3...C. | ||
00017450:· | 00017450:·3391·a004·ef90·4040·e040·04ca·0133·a201··3.....@@.@...3.. | ||
00017460:· | 00017460:·33bc·0101·4301·3391·a004·f290·40e0·4004··3...C.3.....@.@. | ||
00017470:· | 00017470:·cd01·3391·0133·bc01·0143·0133·91d0·4028··..3..3...C.3..@( | ||
00017480:· | 00017480:·4069·6e6c·696e·6521·a0b0·b490·a021·4e04··@inline!.....!N. | ||
00017490:· | 00017490:·e540·b0c3·9140·047e·b095·a02a·636f·713a··.@...@.~...*coq: | ||
000174a0:· | 000174a0:·696e·6c69·6e65·43e0·4004·dd01·51ac·0151··inlineC.@...Q..Q | ||
000174b0:· | 000174b0:·b801·01e7·0151·8da0·0501·0590·40a0·b0a1··.....Q......@... | ||
000174c0:· | 000174c0:·9140·3263·6f71·2e69·6e6c·696e·652e·6465··.@2coq.inline.de | ||
000174d0:·6 | 000174d0:·6661·756c·74e0·4004·e501·51b9·0151·cb01··fault.@...Q..Q.. | ||
000174e0:·01 | 000174e0:·01e7·0151·8da0·0501·0d90·4040·e040·04e8··...Q......@@.@.. | ||
000174f0:· | 000174f0:·0151·a101·51cb·0101·e701·518d·a005·0110··.Q..Q.....Q..... | ||
00017500:· | 00017500:·9040·e040·04eb·0151·9c01·51cb·0101·e701··.@.@...Q..Q..... | ||
00017510:· | 00017510:·518d·a005·0113·9040·e040·04ee·0151·8d01··Q......@.@...Q.. | ||
00017520:· | 00017520:·51cb·0101·e701·518d·4041·422b·4069·6e6c··Q.....Q.@AB+@inl | ||
00017530:·6 | 00017530:·696e·652d·6174·21a0·b0b4·90a0·0420·0501··ine-at!......·.. | ||
00017540:·0 | 00017540:·0440·b0c3·9140·049d·b095·041f·e040·04fa··.@...@.......@.. | ||
00017550:· | 00017550:·0151·5c01·5168·0101·e601·513a·a005·0122··.Q\.Qh....Q:..." | ||
00017560:· | 00017560:·9040·a0b0·c391·402d·636f·712e·696e·6c69··.@....@-coq.inli | ||
00017570:·6 | 00017570:·6e65·2e61·74b0·a190·0501·1404·30e0·4005··ne.at.......0.@. | ||
00017580:·0 | 00017580:·0105·0151·7801·5179·0101·e601·513a·a005··...Qx.Qy....Q:.. | ||
00017590:·0 | 00017590:·012d·9040·40e0·4005·0108·0151·6a01·5179··.-.@@.@....Qj.Qy | ||
000175a0:· | 000175a0:·0101·e601·513a·a005·0130·9040·40e0·4005··....Q:...0.@@.@. | ||
000175b0:·0 | 000175b0:·010b·0151·5101·517a·0101·e601·513a·a005··...QQ.Qz....Q:.. | ||
000175c0:·0 | 000175c0:·0133·9040·e040·0501·0e01·514c·0151·7a01··.3.@.@....QL.Qz. | ||
000175d0:·01 | 000175d0:·01e6·0151·3aa0·0501·3690·40e0·4005·0111··...Q:...6.@.@... | ||
000175e0:· | 000175e0:·0151·3a01·517a·0101·e601·513a·d040·2b40··.Q:.Qz....Q:.@+@ | ||
000175f0:· | 000175f0:·6b65·6570·756e·6976·7321·a0b0·c391·4004··keepunivs!....@. | ||
00017600:· | 00017600:·bdb0·9504·90e0·4005·011a·0150·7601·5085··......@....Pv.P. | ||
Max diff block lines reached; 2385529/3318128 bytes (71.89%) 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·e6fe··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·30c7·f596·7402·9579·0e84·d517·cbca··@.0...t..y...... | 00000060:·4090·30c7·f596·7402·9579·0e84·d517·cbca··@.0...t..y...... | ||
00000070:·0ace·efa0·a02a·7374·7275·6374·7572·6573··.....*structures | 00000070:·0ace·efa0·a02a·7374·7275·6374·7572·6573··.....*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·3062·e206·778f·6744·0d27·ad30··mp@.0b..w.gD.'.0 | 00000290:·6d70·4090·3062·e206·778f·6744·0d27·ad30··mp@.0b..w.gD.'.0 | ||
000002a0:·0e27·fb17·dda0·a027·7866·696e·6d61·70a0··.'.....'xfinmap. | 000002a0:·0e27·fb17·dda0·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·ad50·6173·3a4b··athcomp@.0.Pas:K | 000002c0:·6174·6863·6f6d·7040·9030·ad50·6173·3a4b··athcomp@.0.Pas:K | ||
000002d0:·841a·421e·2cf5·1259·84da·2535·2e32·2e30··..B.,..Y..%5.2.0 | 000002d0:·841a·421e·2cf5·1259·84da·2535·2e32·2e30··..B.,..Y..%5.2.0 | ||
000002e0:·a040·40dc·9db1·674d·d1e7·003f·c5f3·a265··.@@...gM...?...e | 000002e0:·a040·40dc·9db1·674d·d1e7·003f·c5f3·a265··.@@...gM...?...e | ||
000002f0:·335d·9a84·95a6·be00·0b24· | 000002f0:·335d·9a84·95a6·be00·0b24·7a00·0270·a700··3].......$z..p.. | ||
00000300:·088a·4 | 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·402a·3130·3 | 00025aa0:·1190·9090·4040·4040·402a·3130·3130·3034··....@@@@@*101004 | ||
00025ab0:·3 | 00025ab0:·3235·3036·e0d0·4028·4067·6c6f·6261·6c21··2506..@(@global! | ||
00025ac0:·a0b0·c391·402a·6765·742d·6f70·7469·6f6e··....@*get-option | 00025ac0:·a0b0·c391·402a·6765·742d·6f70·7469·6f6e··....@*get-option | ||
00025ad0:·b095·a02c·636f·713a·6c6f·6361·6c69·7479··...,coq:locality | 00025ad0:·b095·a02c·636f·713a·6c6f·6361·6c69·7479··...,coq:locality | ||
00025ae0:·43e0·4038·636f·712d·6275·696c·7469·6e2d··C.@8coq-builtin- | 00025ae0:·43e0·4038·636f·712d·6275·696c·7469·6e2d··C.@8coq-builtin- | ||
00025af0:·7379·6e74·6572·702e·656c·7069·011b·0d01··synterp.elpi.... | 00025af0:·7379·6e74·6572·702e·656c·7069·011b·0d01··synterp.elpi.... | ||
00025b00:·1b1b·0100·b001·1aee·a004·2490·40a0·b095··..........$.@... | 00025b00:·1b1b·0100·b001·1aee·a004·2490·40a0·b095··..........$.@... | ||
00025b10:·a026·676c·6f62·616c·43e0·4004·0901·1b1c··.&globalC.@..... | 00025b10:·a026·676c·6f62·616c·43e0·4004·0901·1b1c··.&globalC.@..... | ||
00025b20:·011b·2401·00b0·011a·eea0·042c·9040·40e0··..$........,.@@. | 00025b20:·011b·2401·00b0·011a·eea0·042c·9040·40e0··..$........,.@@. | ||
Offset 11688, 45269 lines modified | Offset 11688, 45268 lines modified | ||
0002da70:·a601·0087·0100·9049·0100·8740·4105·0b67··.......I...@A..g | 0002da70:·a601·0087·0100·9049·0100·8740·4105·0b67··.......I...@A..g | ||
0002da80:·a0a0·9040·a090·4140·e040·0520·8001·6fff··...@..A@.@.·..o. | 0002da80:·a0a0·9040·a090·4140·e040·0520·8001·6fff··...@..A@.@.·..o. | ||
0002da90:·0170·3c01·00c0·016f·ffd0·4005·0b66·a0a0··.p<....o..@..f.. | 0002da90:·0170·3c01·00c0·016f·ffd0·4005·0b66·a0a0··.p<....o..@..f.. | ||
0002daa0:·9040·a090·40a0·9040·a090·41a0·9041·40e0··.@..@..@..A..A@. | 0002daa0:·9040·a090·40a0·9040·a090·41a0·9041·40e0··.@..@..@..A..A@. | ||
0002dab0:·4005·208d·016f·3301·6fb8·0100·bc01·6f33··@.·..o3.o.....o3 | 0002dab0:·4005·208d·016f·3301·6fb8·0100·bc01·6f33··@.·..o3.o.....o3 | ||
0002dac0:·d040·050b·40a0·40e0·4005·2106·0108·6001··.@..@.@.@.!...`. | 0002dac0:·d040·050b·40a0·40e0·4005·2106·0108·6001··.@..@.@.@.!...`. | ||
0002dad0:·086a·0042·0108·6040·4142·4344·4546·4748··.j.B..`@ABCDEFGH | 0002dad0:·086a·0042·0108·6040·4142·4344·4546·4748··.j.B..`@ABCDEFGH | ||
0002dae0:·494a·0521·380c·0000·0000·0000·e | 0002dae0:·494a·0521·380c·0000·0000·0000·e73e·4041··IJ.!8........>@A | ||
0002daf0:·40a0·a005·897f·a040·90a0·a005·898d·a040··@......@.......@ | 0002daf0:·40a0·a005·897f·a040·90a0·a005·898d·a040··@......@.......@ | ||
0002db00:·9040·40a0·94a0·a040·a2a2·0594·6005·898b··.@@....@....`... | 0002db00:·9040·40a0·94a0·a040·a2a2·0594·6005·898b··.@@....@....`... | ||
0002db10:·0589·9540·a0a0·0586·b4a0·4090·40a0·94a0··...@......@.@... | 0002db10:·0589·9540·a0a0·0586·b4a0·4090·40a0·94a0··...@......@.@... | ||
0002db20:·a040·a205·9469·0586·bb40·a095·a002·1b9b··.@...i...@...... | 0002db20:·a040·a205·9469·0586·bb40·a095·a002·1b9b··.@...i...@...... | ||
0002db30:·7f79·a027·5f45·4c50·495f·32c0·a026·6578··.y.'_ELPI_2..&ex | 0002db30:·7f79·a027·5f45·4c50·495f·32c0·a026·6578··.y.'_ELPI_2..&ex | ||
0002db40:·706f·7274·a022·6462·40a0·a0b0·0594·7621··port."db@.....v! | 0002db40:·706f·7274·a022·6462·40a0·a0b0·0594·7621··port."db@.....v! | ||
0002db50:·3202·2ab1·cdec·d005·2162·d0e0·4040·4040··2.*.....!b..@@@@ | 0002db50:·3202·2ab1·cdec·d005·2162·d0e0·4040·4040··2.*.....!b..@@@@ | ||
0002db60:·4005·2161·40a0·c0e0·9005·2160·2e2e·2f73··@.!a@.....!`../s | 0002db60:·4005·2161·40a0·c0e0·9005·2160·2e2e·2f73··@.!a@.....!`../s | ||
0002db70:·7263·2f6d·6f6e·616c·672e·7601·0b3e·010b··rc/monalg.v..>.. | 0002db70:·7263·2f6d·6f6e·616c·672e·7601·0b3e·010b··rc/monalg.v..>.. | ||
0002db80:·9200·4c01·0b3e·0521·5fb0·c391·4005·215e··..L..>.!_...@.!^ | 0002db80:·9200·4c01·0b3e·0521·5fb0·c391·4005·215e··..L..>.!_...@.!^ | ||
0002db90:·b095·0521·5d04·08a0·0521·5c90·9090·0521··...!]....!\....! | 0002db90:·b095·0521·5d04·08a0·0521·5c90·9090·0521··...!]....!\....! | ||
0002dba0:·5ba0·b095·a004·2e5b·0410·a005·2164·9090··[......[....!d.. | 0002dba0:·5ba0·b095·a004·2e5b·0410·a005·2164·9090··[......[....!d.. | ||
0002dbb0:·9005·2159·4004·14a0·0521·6890·9090·4040··..!Y@....!h...@@ | 0002dbb0:·9005·2159·4004·14a0·0521·6890·9090·4040··..!Y@....!h...@@ | ||
0002dbc0:·4040·4029·3 | 0002dbc0:·4040·4029·3937·3637·3132·3734·33e0·0521··@@@)976712743..! | ||
0002dbd0:·5705·2125·0520·5805·0b67·050b·5a05·217d··W.!%.·X..g..Z.!} | 0002dbd0:·5705·2125·0520·5805·0b67·050b·5a05·217d··W.!%.·X..g..Z.!} | ||
0002dbe0:·0c00·0000·0000·00d9·3e40·4140·a095·a002··........>@A@.... | 0002dbe0:·0c00·0000·0000·00d9·3e40·4140·a095·a002··........>@A@.... | ||
0002dbf0:·1b9b·7f79·a027·5f45·4c50·495f·33c0·a026··...y.'_ELPI_3..& | 0002dbf0:·1b9b·7f79·a027·5f45·4c50·495f·33c0·a026··...y.'_ELPI_3..& | ||
0002dc00:·6578·706f·7274·a022·6462·40a0·a0b0·0594··export."db@..... | 0002dc00:·6578·706f·7274·a022·6462·40a0·a0b0·0594··export."db@..... | ||
0002dc10:·a421·3302·2ab1·cded·d005·2190·d0e0·4040··.!3.*.....!...@@ | 0002dc10:·a421·3302·2ab1·cded·d005·2190·d0e0·4040··.!3.*.....!...@@ | ||
0002dc20:·4040·4005·218f·40a0·c004·2e05·218a·b0c3··@@@.!.@.....!... | 0002dc20:·4040·4005·218f·40a0·c004·2e05·218a·b0c3··@@@.!.@.....!... | ||
0002dc30:·9140·0521·89b0·9505·2188·0433·a005·2187··.@.!....!..3..!. | 0002dc30:·9140·0521·89b0·9505·2188·0433·a005·2187··.@.!....!..3..!. | ||
0002dc40:·9090·9005·2186·a0b0·95a0·044f·5b04·3ba0··....!......O[.;. | 0002dc40:·9090·9005·2186·a0b0·95a0·044f·5b04·3ba0··....!......O[.;. | Diff chunk too large, falling back to line-by-line diff (5162 lines added, 5162 lines removed) | |
0002dc50:·0521·8f90·9090·0521·8440·043f·a005·2193··.!.....!.@.?..!. | 0002dc50:·0521·8f90·9090·0521·8440·043f·a005·2193··.!.....!.@.?..!. | ||
0002dc60:·9090·9040·4040·4040·2 | 0002dc60:·9090·9040·4040·4040·2837·3032·3933·3538··...@@@@@(7029358 | ||
0002dc70:·3 | 0002dc70:·32e0·0521·8205·2150·0520·8305·0b92·050b··2..!..!P.·...... | ||
0002dc80:· | 0002dc80:·8505·21a8·0c00·0000·0000·00c0·3e40·4140··..!.........>@A@ | ||
0002dc90:· | 0002dc90:·a0a0·0587·0ea0·4090·40a0·94a0·a040·a205··......@.@....@.. | ||
0002dca0:· | 0002dca0:·94cb·0587·1540·a094·a0a0·4004·0540·a0a0··.....@....@..@.. | ||
0002dcb0:· | 0002dcb0:·0587·13a0·4090·a0a0·058a·0aa0·4090·4040··....@.......@.@@ | ||
0002dcc0:· | 0002dcc0:·a094·a0a0·40a2·a205·94dd·0587·1f05·8a12··....@........... | ||
0002dcd0:· | 0002dcd0:·40a0·95a0·021b·9b7f·79a0·275f·454c·5049··@.......y.'_ELPI | ||
0002dce0:· | 0002dce0:·5f34·c0a0·2665·7870·6f72·74a0·2264·6240··_4..&export."db@ | ||
0002dcf0:· | 0002dcf0:·a0a0·b005·94ea·2134·022a·b1cd·eed0·0521··......!4.*.....! | ||
0002dd00:· | 0002dd00:·d6d0·e040·4040·4040·0521·d540·a0c0·e090··...@@@@@.!.@.... | ||
0002dd10:· | 0002dd10:·0521·d42e·2e2f·7372·632f·6d6f·6e61·6c67··.!.../src/monalg | ||
0002dd20:· | 0002dd20:·2e76·010d·9401·0df7·005e·010d·9405·21d3··.v.......^....!. | ||
0002dd30:· | 0002dd30:·b0c3·9140·0521·d2b0·9505·21d1·0408·a005··...@.!....!..... | ||
0002dd40:· | 0002dd40:·21d0·9090·9005·21cf·a0b0·95a0·0425·5b04··!.....!......%[. | ||
0002dd50:· | 0002dd50:·10a0·0521·d890·9090·0521·cd40·0414·a005··...!.....!.@.... | ||
0002dd60:· | 0002dd60:·21dc·9090·9040·4040·4040·2731·3939·3732··!....@@@@@'19972 | ||
0002dd70:·3 | 0002dd70:·3835·e005·21cb·0521·9905·20cc·050b·db05··85..!..!..·..... | ||
0002dd80:·0 | 0002dd80:·0bce·0521·f10c·0000·0000·0000·da3e·4041··...!.........>@A | ||
0002dd90:· | 0002dd90:·40a0·a005·8526·a040·90a0·a005·8a46·a040··@....&.@.....F.@ | ||
0002dda0:· | 0002dda0:·9040·40a0·94a0·a040·a2a2·0595·1905·8532··.@@....@.......2 | ||
0002ddb0:· | 0002ddb0:·058a·4e40·a0a0·0582·baa0·4090·40a0·94a0··..N@......@.@... | ||
0002ddc0:· | 0002ddc0:·a040·a205·9522·0582·c140·a095·a002·1b9b··.@..."...@...... | ||
0002ddd0:· | 0002ddd0:·7f79·a027·5f45·4c50·495f·35c0·a026·6578··.y.'_ELPI_5..&ex | ||
0002dde0:· | 0002dde0:·706f·7274·a022·6462·40a0·a0b0·0595·2f21··port."db@...../! | ||
0002ddf0:· | 0002ddf0:·3502·2ab1·cdef·d005·221b·d0e0·4040·4040··5.*....."...@@@@ | ||
0002de00:·40 | 0002de00:·4005·221a·40a0·c0e0·9005·2219·2e2e·2f73··@.".@.....".../s | ||
0002de10:· | 0002de10:·7263·2f6d·6f6e·616c·672e·7601·0df9·010e··rc/monalg.v..... | ||
0002de20:· | 0002de20:·5700·6201·0df9·0522·18b0·c391·4005·2217··W.b...."....@.". | ||
0002de30:· | 0002de30:·b095·0522·1604·08a0·0522·1590·9090·0522··..."....."....." | ||
0002de40:· | 0002de40:·14a0·b095·a004·2e5b·0410·a005·221d·9090··.......[...."... | ||
0002de50:· | 0002de50:·9005·2212·4004·14a0·0522·2190·9090·4040··..".@...."!...@@ | ||
0002de60:· | 0002de60:·4040·4029·3731·3830·3939·3838·31e0·0522··@@@)718099881.." | ||
0002de70:· | 0002de70:·1005·21de·0521·1105·0c20·050c·1305·2236··..!..!...·...."6 | ||
0002de80:· | 0002de80:·0c00·0000·0000·00da·3e40·4140·a095·a002··........>@A@.... | ||
0002de90:· | 0002de90:·1b9b·7f79·a027·5f45·4c50·495f·36c0·a026··...y.'_ELPI_6..& | ||
0002dea0:· | 0002dea0:·6578·706f·7274·a022·6462·40a0·a0b0·0595··export."db@..... | ||
0002deb0:· | 0002deb0:·5d21·3602·2ab1·cdf0·d005·2249·d0e0·4040··]!6.*....."I..@@ | ||
0002dec0:· | 0002dec0:·4040·4005·2248·40a0·c004·2e05·2243·b0c3··@@@."H@....."C.. | ||
0002ded0:· | 0002ded0:·9140·0522·42b0·9505·2241·0433·a005·2240··.@."B..."A.3.."@ | ||
0002dee0:· | 0002dee0:·9090·9005·223f·a0b0·95a0·044f·5b04·3ba0··...."?.....O[.;. | ||
0002def0:· | 0002def0:·0522·4890·9090·0522·3d40·043f·a005·224c··."H...."=@.?.."L | ||
0002df00:· | 0002df00:·9090·9040·4040·4040·2938·3637·3033·3630··...@@@@@)8670360 | ||
0002df10:·3 | 0002df10:·3838·e005·223b·0522·0905·213c·050c·4b05··88..";."..!<..K. | ||
0002df20:·0 | 0002df20:·0c3e·0522·610c·0000·0000·0000·c03e·4041··.>."a........>@A | ||
0002df30:· | 0002df30:·40a0·a005·8314·a040·9040·a094·a0a0·40a2··@......@.@....@. | ||
0002df40:· | 0002df40:·0595·8405·831b·40a0·94a0·a040·0405·40a0··......@....@..@. | ||
0002df50:· | 0002df50:·a005·8abf·a040·90a0·94a0·a040·0522·8b40··.....@.....@.".@ | ||
0002df60:· | 0002df60:·a094·a0a0·4005·0136·40a0·94a0·a040·0501··....@..6@....@.. | ||
0002df70:· | 0002df70:·3040·a094·a0a0·4004·c140·a094·a0a0·4004··0@....@..@....@. | ||
0002df80:· | 0002df80:·8940·a094·a0a0·4004·8340·40a0·94a0·a040··.@....@..@@....@ | ||
0002df90:· | 0002df90:·a205·95a9·058a·de40·a094·a0a0·4004·0540··.......@....@..@ | ||
Max diff block lines reached; 5529453/6247352 bytes (88.51%) 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·1675··Coq!..@P.....*.u | ||
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·c7f5·9674·0295·790e·84d5·17cb·ca0a··.0...t..y....... | 00000060:·9030·c7f5·9674·0295·790e·84d5·17cb·ca0a··.0...t..y....... | ||
00000070:·ceef·a0a0·2a73·7472·7563·7475·7265·73a0··....*structures. | 00000070:·ceef·a0a0·2a73·7472·7563·7475·7265·73a0··....*structures. | ||
Offset 80, 19 lines modified | Offset 80, 19 lines modified | ||
000004f0:·6863·6f6d·7040·9030·51d0·76d3·0eaa·6f44··hcomp@.0Q.v...oD | 000004f0:·6863·6f6d·7040·9030·51d0·76d3·0eaa·6f44··hcomp@.0Q.v...oD | ||
00000500:·75d8·0e72·41eb·2bf2·a0a0·2e73·7372·636f··u..rA.+....ssrco | 00000500:·75d8·0e72·41eb·2bf2·a0a0·2e73·7372·636f··u..rA.+....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·db0b·d4f4·292c·e3b1·dba9·fe11··p@.0....),...... | 00000530:·7040·9030·db0b·d4f4·292c·e3b1·dba9·fe11··p@.0....),...... | ||
00000540:·bd76·d540·a0a0·2566·7265·6567·a02c·6d75··.v.@..%freeg.,mu | 00000540:·bd76·d540·a0a0·2566·7265·6567·a02c·6d75··.v.@..%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·3029·1dea·5e26·0581·eb35··comp@.0)..^&...5 | |||
00000570:·c286·3d64·1a88·0a25·352e·322e·30a0·4040··..=d...%5.2.0.@@ | |||
000005 | 00000560:·636f·6d70·4090·30d5·6023·8758·912d·c58c··comp@.0.`#.X.-.. | ||
00000570:·3c44·4324·2cbe·2b25·352e·322e·30a0·4040··<DC$,.+%5.2.0.@@ | |||
00000580:·d0cc·8c6a·3a01·152c·9ea5·c689·e5c5·952d··...j:..,.......- | |||
00000590:·8495·a6be·0017·2b | 00000590:·8495·a6be·0017·2bdd·0004·8208·0010·8e98··......+......... | ||
000005a0:·0010·69 | 000005a0:·0010·6922·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:·3051·d076·d30e·aa6f·4475·d80e·7241·eb2b··0Q.v...oDu..rA.+ | 00056590:·3051·d076·d30e·aa6f·4475·d80e·7241·eb2b··0Q.v...oDu..rA.+ | ||
000565a0:·f2a0·05f4·0d90·3029·1dea·5e26·0581·eb35··......0)..^&...5 | |||
000565 | 000565a0:·f2a0·05f4·0d90·30d5·6023·8758·912d·c58c··......0.`#.X.-.. | ||
000565b0:·3c44·4324·2cbe·2ba0·a005·08d0·a005·08cf··<DC$,.+......... | |||
000565c0:·a005·08ce·4090·30db·0bd4·f429·2ce3·b1db··....@.0....),... | 000565c0:·a005·08ce·4090·30db·0bd4·f429·2ce3·b1db··....@.0....),... | ||
000565d0:·a9fe·11bd·76d5·40a0·05f5·9890·30ec·663f··....v.@.....0.f? | 000565d0:·a9fe·11bd·76d5·40a0·05f5·9890·30ec·663f··....v.@.....0.f? | ||
000565e0:·0b9d·0259·eeab·bdfa·937a·8bfb·4e90·40a0··...Y.....z..N.@. | 000565e0:·0b9d·0259·eeab·bdfa·937a·8bfb·4e90·40a0··...Y.....z..N.@. | ||
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·4028··h@........@@@@@( | 00058b60:·6840·041d·a004·1190·9090·4040·4040·4028··h@........@@@@@( | ||
00058b70:·3 | 00058b70:·3433·3431·3235·3737·e0d0·4028·4067·6c6f··43412577..@(@glo | ||
00058b80:·6261·6c21·a0b0·c391·402a·6765·742d·6f70··bal!....@*get-op | 00058b80:·6261·6c21·a0b0·c391·402a·6765·742d·6f70··bal!....@*get-op | ||
00058b90:·7469·6f6e·b095·a02c·636f·713a·6c6f·6361··tion...,coq:loca | 00058b90:·7469·6f6e·b095·a02c·636f·713a·6c6f·6361··tion...,coq:loca | ||
00058ba0:·6c69·7479·43e0·4038·636f·712d·6275·696c··lityC.@8coq-buil | 00058ba0:·6c69·7479·43e0·4038·636f·712d·6275·696c··lityC.@8coq-buil | ||
00058bb0:·7469·6e2d·7379·6e74·6572·702e·656c·7069··tin-synterp.elpi | 00058bb0:·7469·6e2d·7379·6e74·6572·702e·656c·7069··tin-synterp.elpi | ||
00058bc0:·011b·0d01·1b1b·0100·b001·1aee·a004·2490··..............$. | 00058bc0:·011b·0d01·1b1b·0100·b001·1aee·a004·2490··..............$. | ||
00058bd0:·40a0·b095·a026·676c·6f62·616c·43e0·4004··@....&globalC.@. | 00058bd0:·40a0·b095·a026·676c·6f62·616c·43e0·4004··@....&globalC.@. | ||
00058be0:·0901·1b1c·011b·2401·00b0·011a·eea0·042c··......$........, | 00058be0:·0901·1b1c·011b·2401·00b0·011a·eea0·042c··......$........, | ||
Offset 24756, 43 lines modified | Offset 24756, 43 lines modified | ||
00060b30:·e040·0520·a601·0087·0100·9049·0100·8740··.@.·.......I...@ | 00060b30:·e040·0520·a601·0087·0100·9049·0100·8740··.@.·.......I...@ | ||
00060b40:·4105·0b67·a0a0·9040·a090·4140·e040·0520··A..g...@..A@.@.· | 00060b40:·4105·0b67·a0a0·9040·a090·4140·e040·0520··A..g...@..A@.@.· | ||
00060b50:·8001·6fff·0170·3c01·00c0·016f·ffd0·4005··..o..p<....o..@. | 00060b50:·8001·6fff·0170·3c01·00c0·016f·ffd0·4005··..o..p<....o..@. | ||
00060b60:·0b66·a0a0·9040·a090·40a0·9040·a090·41a0··.f...@..@..@..A. | 00060b60:·0b66·a0a0·9040·a090·40a0·9040·a090·41a0··.f...@..@..@..A. | ||
00060b70:·9041·40e0·4005·208d·016f·3301·6fb8·0100··.A@.@.·..o3.o... | 00060b70:·9041·40e0·4005·208d·016f·3301·6fb8·0100··.A@.@.·..o3.o... | ||
00060b80:·bc01·6f33·d040·050b·40a0·40e0·4005·2106··..o3.@..@.@.@.!. | 00060b80:·bc01·6f33·d040·050b·40a0·40e0·4005·2106··..o3.@..@.@.@.!. | ||
00060b90:·0108·6001·086a·0042·0108·6040·4142·4344··..`..j.B..`@ABCD | 00060b90:·0108·6001·086a·0042·0108·6040·4142·4344··..`..j.B..`@ABCD | ||
00060ba0:·4546·4748·494a·0521·380c·0000·0000·00 | 00060ba0:·4546·4748·494a·0521·380c·0000·0000·0000··EFGHIJ.!8....... | ||
00060bb0:·e | 00060bb0:·e53e·4041·40a0·a005·ec7a·a040·90a0·a006··.>@A@....z.@.... | ||
00060bc0:·0001·06ae·a040·9040·40a0·94a0·a040·a2a2··.....@.@@....@.. | 00060bc0:·0001·06ae·a040·9040·40a0·94a0·a040·a2a2··.....@.@@....@.. | ||
00060bd0:·0600·0127·7d05·ec86·0600·0106·b640·a0a0··...'}........@.. | 00060bd0:·0600·0127·7d05·ec86·0600·0106·b640·a0a0··...'}........@.. | ||
00060be0:·05ea·c9a0·4090·40a0·94a0·a040·a206·0001··....@.@....@.... | 00060be0:·05ea·c9a0·4090·40a0·94a0·a040·a206·0001··....@.@....@.... | ||
00060bf0:·2786·05ea·d040·a095·a002·1b9b·7f79·a027··'....@.......y.' | 00060bf0:·2786·05ea·d040·a095·a002·1b9b·7f79·a027··'....@.......y.' | ||
00060c00:·5f45·4c50·495f·32c0·a026·6578·706f·7274··_ELPI_2..&export | 00060c00:·5f45·4c50·495f·32c0·a026·6578·706f·7274··_ELPI_2..&export | ||
00060c10:·a022·6462·40a0·a0b0·0600·0127·9321·3202··."db@......'.!2. | 00060c10:·a022·6462·40a0·a0b0·0600·0127·9321·3202··."db@......'.!2. | ||
00060c20:·1144·4a29·d005·2162·d0e0·4040·4040·4005··.DJ)..!b..@@@@@. | 00060c20:·1144·4a29·d005·2162·d0e0·4040·4040·4005··.DJ)..!b..@@@@@. | ||
00060c30:·2161·40a0·c0e0·9005·2160·2d2e·2f73·7263··!a@.....!`-./src | 00060c30:·2161·40a0·c0e0·9005·2160·2d2e·2f73·7263··!a@.....!`-./src | ||
00060c40:·2f6d·706f·6c79·2e76·0200·008e·8a02·0000··/mpoly.v........ | 00060c40:·2f6d·706f·6c79·2e76·0200·008e·8a02·0000··/mpoly.v........ | ||
00060c50:·8ee7·0103·c102·0000·8e8a·0521·5fb0·c391··...........!_... | 00060c50:·8ee7·0103·c102·0000·8e8a·0521·5fb0·c391··...........!_... | ||
00060c60:·4005·215e·b095·0521·5d04·08a0·0521·5c90··@.!^...!]....!\. | 00060c60:·4005·215e·b095·0521·5d04·08a0·0521·5c90··@.!^...!]....!\. | ||
00060c70:·9090·0521·5ba0·b095·a004·2e5b·0410·a005··...![......[.... | 00060c70:·9090·0521·5ba0·b095·a004·2e5b·0410·a005··...![......[.... | ||
00060c80:·2164·9090·9005·2159·4004·14a0·0521·6890··!d....!Y@....!h. | 00060c80:·2164·9090·9005·2159·4004·14a0·0521·6890··!d....!Y@....!h. | ||
00060c90:·9090·4040·4040·4029·393 | 00060c90:·9090·4040·4040·4029·3938·3136·3933·3037··..@@@@@)98169307 | ||
00060ca0:·3 | 00060ca0:·39e0·0521·5705·2125·0520·5805·0b67·050b··9..!W.!%.·X..g.. | ||
00060cb0:·5a05·217d·0c00·0000·0000·00d | 00060cb0:·5a05·217d·0c00·0000·0000·00d0·3e40·4140··Z.!}........>@A@ | ||
00060cc0:·a095·a002·1b9b·7f79·a027·5f45·4c50·495f··.......y.'_ELPI_ | 00060cc0:·a095·a002·1b9b·7f79·a027·5f45·4c50·495f··.......y.'_ELPI_ | ||
00060cd0:·33c0·a026·6578·706f·7274·a022·6462·40a0··3..&export."db@. | 00060cd0:·33c0·a026·6578·706f·7274·a022·6462·40a0··3..&export."db@. | ||
00060ce0:·a0b0·0600·0127·c121·3302·1144·4a2a·d005··.....'.!3..DJ*.. | 00060ce0:·a0b0·0600·0127·c121·3302·1144·4a2a·d005··.....'.!3..DJ*.. | ||
00060cf0:·2190·d0e0·4040·4040·4005·218f·40a0·c004··!...@@@@@.!.@... | 00060cf0:·2190·d0e0·4040·4040·4005·218f·40a0·c004··!...@@@@@.!.@... | ||
00060d00:·2e05·218a·b0c3·9140·0521·89b0·9505·2188··..!....@.!....!. | 00060d00:·2e05·218a·b0c3·9140·0521·89b0·9505·2188··..!....@.!....!. | ||
00060d10:·0433·a005·2187·9090·9005·2186·a0b0·95a0··.3..!.....!..... | 00060d10:·0433·a005·2187·9090·9005·2186·a0b0·95a0··.3..!.....!..... | ||
00060d20:·044f·5b04·3ba0·0521·8f90·9090·0521·8440··.O[.;..!.....!.@ | 00060d20:·044f·5b04·3ba0·0521·8f90·9090·0521·8440··.O[.;..!.....!.@ | ||
00060d30:·043f·a005·2193·9090·9040·4040·4040·293 | 00060d30:·043f·a005·2193·9090·9040·4040·4040·2939··.?..!....@@@@@)9 | ||
00060d40:·353 | 00060d40:·3531·3937·3139·3535·e005·2182·0521·5005··51971955..!..!P. | ||
00060d50:·2083·050b·9205·0b85·0521·a80c·0000·0000···........!...... | 00060d50:·2083·050b·9205·0b85·0521·a80c·0000·0000···........!...... | ||
00060d60:·0000· | 00060d60:·0000·ca3e·4041·40a0·95a0·021d·041a·fca0··...>@A@......... | ||
00060d70:·40a0·a040·305b·206d·6561·7375·7265·206f··@..@0[·measure·o | 00060d70:·40a0·a040·305b·206d·6561·7375·7265·206f··@..@0[·measure·o | ||
00060d80:·6620·5f20·5dc0·a0a0·4040·a040·40a0·b140··f·_·]...@@.@@..@ | 00060d80:·6620·5f20·5dc0·a0a0·4040·a040·40a0·b140··f·_·]...@@.@@..@ | ||
00060d90:·40a0·4140·4090·a0d0·a0a0·4040·0409·4004··@.A@@.....@@..@. | 00060d90:·40a0·4140·4090·a0d0·a0a0·4040·0409·4004··@.A@@.....@@..@. | ||
00060da0:·0ea0·a0a0·4121·5ba0·a040·276d·6561·7375··....A![..@'measu | 00060da0:·0ea0·a0a0·4121·5ba0·a040·276d·6561·7375··....A![..@'measu | ||
00060db0:·7265·a0a0·4122·6f66·a0a1·a140·0413·9005··re..A"of...@.... | 00060db0:·7265·a0a0·4122·6f66·a0a1·a140·0413·9005··re..A"of...@.... | ||
00060dc0:·fdd8·a0a0·4121·5d40·40a0·0419·4040·90a0··....A!]@@...@@.. | 00060dc0:·fdd8·a0a0·4121·5d40·40a0·0419·4040·90a0··....A!]@@...@@.. | ||
00060dd0:·40a0·a094·225b·20a0·9428·6d65·6173·7572··@..."[·..(measur | 00060dd0:·40a0·a094·225b·20a0·9428·6d65·6173·7572··@..."[·..(measur | ||
Offset 25166, 16 lines modified | Offset 25166, 16 lines modified | ||
000624d0:·2802·0211·444a·28d0·0528·01d0·e040·4040··(...DJ(..(...@@@ | 000624d0:·2802·0211·444a·28d0·0528·01d0·e040·4040··(...DJ(..(...@@@ | ||
000624e0:·4040·a040·4040·a0c0·e090·0528·002d·2e2f··@@.@@@.....(.-./ | 000624e0:·4040·a040·4040·a0c0·e090·0528·002d·2e2f··@@.@@@.....(.-./ | ||
000624f0:·7372·632f·6d70·6f6c·792e·7601·26dc·0127··src/mpoly.v.&..' | 000624f0:·7372·632f·6d70·6f6c·792e·7601·26dc·0127··src/mpoly.v.&..' | ||
00062500:·1101·00b8·0126·dc05·27ff·b0c3·9140·2f6c··.....&..'....@/l | 00062500:·1101·00b8·0126·dc05·27ff·b0c3·9140·2f6c··.....&..'....@/l | ||
00062510:·6f63·616c·2d63·616e·6f6e·6963·616c·b095··ocal-canonical.. | 00062510:·6f63·616c·2d63·616e·6f6e·6963·616c·b095··ocal-canonical.. | ||
00062520:·a091·0600·0124·1458·040b·a005·27ff·9090··.....$.X....'... | 00062520:·a091·0600·0124·1458·040b·a005·27ff·9090··.....$.X....'... | ||
00062530:·9090·2863·6f6e·7374·616e·7440·0411·a005··..(constant@.... | 00062530:·9090·2863·6f6e·7374·616e·7440·0411·a005··..(constant@.... | ||
00062540:·2805·9090·9040·4040·4040·293 | 00062540:·2805·9090·9040·4040·4040·2931·3739·3132··(....@@@@@)17912 | ||
00062550:·353 | 00062550:·3532·3937·e0d0·d0d0·d040·2540·6361·7374··5297.....@%@cast | ||
00062560:·a0b0·b490·a021·5422·6c70·40b0·b490·a022··.....!T"lp@...." | 00062560:·a0b0·b490·a021·5422·6c70·40b0·b490·a022··.....!T"lp@...." | ||
00062570:·5459·0406·40b0·c391·4023·6c65·74b0·95a0··TY..@...@#let... | 00062570:·5459·0406·40b0·c391·4023·6c65·74b0·95a0··TY..@...@#let... | ||
00062580:·9024·6361·7374·53e0·4030·636f·712d·6275··.$castS.@0coq-bu | 00062580:·9024·6361·7374·53e0·4030·636f·712d·6275··.$castS.@0coq-bu | ||
00062590:·696c·7469·6e2e·656c·7069·0124·e801·24ee··iltin.elpi.$..$. | 00062590:·696c·7469·6e2e·656c·7069·0124·e801·24ee··iltin.elpi.$..$. | ||
000625a0:·0100·e101·24cf·a005·2827·9040·a0b0·a190··....$...('.@.... | 000625a0:·0100·e101·24cf·a005·2827·9040·a0b0·a190··....$...('.@.... | ||
000625b0:·0417·0412·e040·0408·0124·ef01·24f1·0100··.....@...$..$... | 000625b0:·0417·0412·e040·0408·0124·ef01·24f1·0100··.....@...$..$... | ||
000625c0:·e101·24cf·a005·282e·9040·a0b0·a190·041e··..$...(..@...... | 000625c0:·e101·24cf·a005·282e·9040·a0b0·a190·041e··..$...(..@...... | ||
Offset 29616, 4724 lines modified | Offset 29616, 4724 lines modified | ||
00073af0:·0558·d040·0517·07a0·a090·40a0·9040·a090··.X.@......@..@.. | 00073af0:·0558·d040·0517·07a0·a090·40a0·9040·a090··.X.@......@..@.. | ||
Max diff block lines reached; 19344591/19354283 bytes (99.95%) of diff not shown. |
Offset 1, 1 lines modified | Offset 1, 1 lines modified | ||
1 | 1 | 0gbq8 |