--- /srv/rebuilderd/tmp/rebuilderdIjkhxO/inputs/libcoq-mathcomp-solvable_2.3.0-1+b15_arm64.deb +++ /srv/rebuilderd/tmp/rebuilderdIjkhxO/out/libcoq-mathcomp-solvable_2.3.0-1+b15_arm64.deb ├── file list │ @@ -1,3 +1,3 @@ │ -rw-r--r-- 0 0 0 4 2025-12-28 05:10:54.000000 debian-binary │ -rw-r--r-- 0 0 0 2848 2025-12-28 05:10:54.000000 control.tar.xz │ --rw-r--r-- 0 0 0 4858312 2025-12-28 05:10:54.000000 data.tar.xz │ +-rw-r--r-- 0 0 0 4862056 2025-12-28 05:10:54.000000 data.tar.xz ├── control.tar.xz │ ├── control.tar │ │ ├── ./control │ │ │ @@ -3,15 +3,15 @@ │ │ │ Version: 2.3.0-1+b15 │ │ │ Architecture: arm64 │ │ │ Maintainer: Debian OCaml Maintainers │ │ │ Installed-Size: 17169 │ │ │ Depends: libcoq-mathcomp-algebra (= 2.3.0-1+b15), libcoq-hierarchy-builder-zvtm8, libcoq-stdlib-vm656 │ │ │ Breaks: libssreflect-coq (<= 2.3.0-1+b15) │ │ │ Replaces: libssreflect-coq │ │ │ -Provides: libcoq-mathcomp-solvable-e1tm0 │ │ │ +Provides: libcoq-mathcomp-solvable-bdmc6 │ │ │ Section: math │ │ │ Priority: optional │ │ │ Homepage: https://math-comp.github.io/math-comp/ │ │ │ Description: Mathematical Components library for Coq (finite groups II) │ │ │ The Mathematical Components Library is an extensive and coherent │ │ │ repository of formalized mathematical theories. It is based on the │ │ │ Coq proof assistant, powered with the Coq/SSReflect language. │ │ ├── ./md5sums │ │ │ ├── ./md5sums │ │ │ │┄ Files differ ├── data.tar.xz │ ├── data.tar │ │ ├── ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/solvable/abelian.vo │ │ │ @@ -69,35 +69,35 @@ │ │ │ 00000440: 2761 6c67 6562 7261 a028 6d61 7468 636f 'algebra.(mathco │ │ │ 00000450: 6d70 4090 30d4 98e4 a84b 1567 2b3d cdd2 mp@.0....K.g+=.. │ │ │ 00000460: d243 8da5 faa0 a028 636f 756e 7461 6c67 .C.....(countalg │ │ │ 00000470: a027 616c 6765 6272 61a0 286d 6174 6863 .'algebra.(mathc │ │ │ 00000480: 6f6d 7040 9030 c7cf d223 209c f6cb 9488 omp@.0...# ..... │ │ │ 00000490: dc1b c0b6 de82 a0a0 2666 696e 616c 67a0 ........&finalg. │ │ │ 000004a0: 2761 6c67 6562 7261 a028 6d61 7468 636f 'algebra.(mathco │ │ │ -000004b0: 6d70 4090 308e 882b db69 af6e dff2 0436 mp@.0..+.i.n...6 │ │ │ -000004c0: cc6c b383 c4a0 a025 7a6d 6f64 70a0 2761 .l.....%zmodp.'a │ │ │ +000004b0: 6d70 4090 30fc c278 1b8c d503 94fa bd8e mp@.0..x........ │ │ │ +000004c0: d329 96c3 b9a0 a025 7a6d 6f64 70a0 2761 .).....%zmodp.'a │ │ │ 000004d0: 6c67 6562 7261 a028 6d61 7468 636f 6d70 lgebra.(mathcomp │ │ │ -000004e0: 4090 30d0 7c56 6735 2784 00e2 4e21 1972 @.0.|Vg5'...N!.r │ │ │ -000004f0: f423 24a0 a026 6379 636c 6963 a028 736f .#$..&cyclic.(so │ │ │ +000004e0: 4090 30b6 7c8e 60ef 18a2 eff4 7011 4e80 @.0.|.`.....p.N. │ │ │ +000004f0: 7d6f 75a0 a026 6379 636c 6963 a028 736f }ou..&cyclic.(so │ │ │ 00000500: 6c76 6162 6c65 a028 6d61 7468 636f 6d70 lvable.(mathcomp │ │ │ -00000510: 4090 3005 b6cd 9538 ce65 91b0 959b d9ee @.0....8.e...... │ │ │ -00000520: 0530 24a0 a026 7067 726f 7570 a028 736f .0$..&pgroup.(so │ │ │ +00000510: 4090 3059 f3c5 5e5d bb95 148e 7093 4cd3 @.0Y..^]....p.L. │ │ │ +00000520: 34f4 f0a0 a026 7067 726f 7570 a028 736f 4....&pgroup.(so │ │ │ 00000530: 6c76 6162 6c65 a028 6d61 7468 636f 6d70 lvable.(mathcomp │ │ │ -00000540: 4090 3058 967d 1f31 7d2b 9a64 dbe1 3f3e @.0X.}.1}+.d..?> │ │ │ -00000550: 588a 89a0 a027 6773 6572 6965 73a0 2873 X....'gseries.(s │ │ │ +00000540: 4090 30dc 4b93 26c6 7e5d 5983 280a 9999 @.0.K.&.~]Y.(... │ │ │ +00000550: 425e 18a0 a027 6773 6572 6965 73a0 2873 B^...'gseries.(s │ │ │ 00000560: 6f6c 7661 626c 65a0 286d 6174 6863 6f6d olvable.(mathcom │ │ │ -00000570: 7040 9030 12ee 3fe1 cc4e 0464 74c4 5d77 p@.0..?..N.dt.]w │ │ │ -00000580: dfc5 11e2 a0a0 296e 696c 706f 7465 6e74 ......)nilpotent │ │ │ +00000570: 7040 9030 6482 1bc4 619c 764a 6db9 94fe p@.0d...a.vJm... │ │ │ +00000580: f563 5414 a0a0 296e 696c 706f 7465 6e74 .cT...)nilpotent │ │ │ 00000590: a028 736f 6c76 6162 6c65 a028 6d61 7468 .(solvable.(math │ │ │ -000005a0: 636f 6d70 4090 302f 4eec ab5e 69df b79a comp@.0/N..^i... │ │ │ -000005b0: 24b4 f519 04e4 1fa0 a025 7379 6c6f 77a0 $........%sylow. │ │ │ +000005a0: 636f 6d70 4090 30b9 e6cd 8aaf 3830 31d8 comp@.0.....801. │ │ │ +000005b0: a407 4442 684f 59a0 a025 7379 6c6f 77a0 ..DBhOY..%sylow. │ │ │ 000005c0: 2873 6f6c 7661 626c 65a0 286d 6174 6863 (solvable.(mathc │ │ │ -000005d0: 6f6d 7040 9030 2235 6f81 050f 808b d48b omp@.0"5o....... │ │ │ -000005e0: b309 027b cfca 2535 2e34 2e30 a040 407d ...{..%5.4.0.@@} │ │ │ -000005f0: bc9d c9e4 8670 9c71 811e 7581 d886 8a84 .....p.q..u..... │ │ │ +000005d0: 6f6d 7040 9030 dfc5 fd8c 41bd b437 d786 omp@.0....A..7.. │ │ │ +000005e0: ddf9 0862 f851 2535 2e34 2e30 a040 4006 ...b.Q%5.4.0.@@. │ │ │ +000005f0: 923c da7a 9686 6015 12a9 8b8b 8ac2 a284 .<.z..`......... │ │ │ 00000600: 95a6 be00 03a0 3800 00cc f500 02ff bb00 ......8......... │ │ │ 00000610: 02f9 c4b0 d0a0 2761 6265 6c69 616e a028 ......'abelian.( │ │ │ 00000620: 736f 6c76 6162 6c65 a028 6d61 7468 636f solvable.(mathco │ │ │ 00000630: 6d70 40e0 9004 0841 90a0 a024 4c64 6976 mp@....A...$Ldiv │ │ │ 00000640: 9008 0000 2700 40a0 8080 91b7 a090 2267 ....'.@......."g │ │ │ 00000650: 5440 9ba0 a090 b0a2 90a0 2866 696e 6772 T@........(fingr │ │ │ 00000660: 6f75 70a0 0402 a004 1a40 2846 696e 4772 oup......@(FinGr │ │ │ @@ -5329,16 +5329,16 @@ │ │ │ 00014d00: 90b0 0537 af05 022a 010f 0c41 0502 1540 ...7...*...A...@ │ │ │ 00014d10: 4142 b004 0441 0502 43c0 40b0 a003 0019 AB...A..C.@..... │ │ │ 00014d20: 083b 8338 12c9 90b0 a005 39bd a005 39bc .;.8......9...9. │ │ │ 00014d30: a005 39bb 4020 013c 1441 0502 3740 4143 ..9.@ .<.A..7@AC │ │ │ 00014d40: b005 02e8 4104 c1c0 40b0 0502 6b42 0502 ....A...@...kB.. │ │ │ 00014d50: 9c40 4144 4647 4849 4a90 a0a0 2573 796c .@ADFGHIJ...%syl │ │ │ 00014d60: 6f77 a028 736f 6c76 6162 6c65 a028 6d61 ow.(solvable.(ma │ │ │ -00014d70: 7468 636f 6d70 4090 3022 356f 8105 0f80 thcomp@.0"5o.... │ │ │ -00014d80: 8bd4 8bb3 0902 7bcf ca90 40a0 a095 a002 ......{...@..... │ │ │ +00014d70: 7468 636f 6d70 4090 30df c5fd 8c41 bdb4 thcomp@.0....A.. │ │ │ +00014d80: 37d7 86dd f908 62f8 5190 40a0 a095 a002 7.....b.Q.@..... │ │ │ 00014d90: 1d04 1afc a040 a0a0 402b 274c 6469 765f .....@..@+'Ldiv_ │ │ │ 00014da0: 205f 2028 29c0 a0a0 4048 a091 4240 a0b1 _ ()...@H..B@.. │ │ │ 00014db0: 4040 a090 4240 4090 a0d0 a0a0 4048 040b @@..B@@.....@H.. │ │ │ 00014dc0: 4004 10a0 a0a0 4126 274c 6469 765f a0a1 @.....A&'Ldiv_.. │ │ │ 00014dd0: a140 040e 9005 3b62 a0a0 4122 2829 4040 .@....;b..A"()@@ │ │ │ 00014de0: a004 1440 4090 a040 a0a0 9404 0ea0 90b0 ...@@..@........ │ │ │ 00014df0: 4091 4240 a094 040d 4048 a095 a002 1d04 @.B@....@H...... │ │ │ @@ -14942,16 +14942,16 @@ │ │ │ 0003a5d0: 8d7a a005 8d76 40d0 4005 8d73 a005 8d6d .z...v@.@..s...m │ │ │ 0003a5e0: 4040 4142 4305 8d6a a005 8d65 40d0 d0d0 @@ABC..j...e@... │ │ │ 0003a5f0: 4005 8d62 a005 8d5e 4040 4105 8d5b a005 @..b...^@@A..[.. │ │ │ 0003a600: 8d4f 40d0 4005 8d4c a005 8d48 4040 4142 .O@.@..L...H@@AB │ │ │ 0003a610: 058d 46a0 058d 4140 d0d0 4005 8d3e a005 ..F...A@..@..>.. │ │ │ 0003a620: 8d39 4040 4105 8d36 a005 8d31 40d0 4005 .9@@A..6...1@.@. │ │ │ 0003a630: 8d2e a005 8d29 40d0 4005 8d26 a005 8d20 .....)@.@..&... │ │ │ -0003a640: 4040 4142 4344 4546 4740 406a 3030 8104 @@ABCDEFG@@j00.. │ │ │ -0003a650: e486 ce28 39fa ea98 a0ad e084 95a6 be00 ...(9........... │ │ │ +0003a640: 4040 4142 4344 4546 4740 4045 e953 64e3 @@ABCDEFG@@E.Sd. │ │ │ +0003a650: 4e41 64f5 1f85 76c3 a3d1 2d84 95a6 be00 NAd...v...-..... │ │ │ 0003a660: 0b25 3f00 01ef a000 0679 a000 0673 0208 .%?......y...s.. │ │ │ 0003a670: 0003 8b00 90a0 b7a0 9021 7040 9ba0 a090 .........!p@.... │ │ │ 0003a680: b090 a029 4461 7461 7479 7065 73a0 2449 ...)Datatypes.$I │ │ │ 0003a690: 6e69 74a0 2343 6f71 4023 6e61 7402 0ef2 nit.#Coq@#nat... │ │ │ 0003a6a0: 1606 40a0 8080 b7a0 9021 7840 a99a a090 ..@......!x@.... │ │ │ 0003a6b0: b0a2 90a0 2866 696e 6772 6f75 70a0 0402 ....(fingroup... │ │ │ 0003a6c0: a028 6d61 7468 636f 6d70 4028 4669 6e47 .(mathcomp@(FinG │ │ │ @@ -60756,17 +60756,17 @@ │ │ │ 000ed530: 0523 0b37 0121 3706 220b 3707 2805 802c .#.7.!7.".7.(.., │ │ │ 000ed540: 2814 0c10 0c0c 100c 0c10 0c10 80c0 3a2d (.............:- │ │ │ 000ed550: 0003 8c2a 2b01 010a 3700 2237 0137 0222 ...*+...7."7.7." │ │ │ 000ed560: 0b0b 3703 2237 0427 0480 2528 0c08 140c ..7."7.'..%(.... │ │ │ 000ed570: 801d bea8 9261 f53a ed25 3f55 2421 3a30 .....a.:.%?U$!:0 │ │ │ 000ed580: 2d00 0000 0400 0000 076c 6962 7261 7279 -........library │ │ │ 000ed590: 0000 0000 0000 05ff 0000 0000 0003 a04c ...............L │ │ │ -000ed5a0: 6a30 3081 04e4 86ce 2839 faea 98a0 ade0 j00.....(9...... │ │ │ +000ed5a0: 45e9 5364 e34e 4164 f51f 8576 c3a3 d12d E.Sd.NAd...v...- │ │ │ 000ed5b0: 0000 0007 6f70 6171 7565 7300 0000 0000 ....opaques..... │ │ │ 000ed5c0: 03a6 5b00 0000 0000 0b25 5397 6d46 3e4a ..[......%S.mF>J │ │ │ 000ed5d0: 48e7 a1de ebcb cbd8 d563 7c00 0000 0773 H........c|....s │ │ │ 000ed5e0: 756d 6d61 7279 0000 0000 0000 0010 0000 ummary.......... │ │ │ -000ed5f0: 0000 0000 05df 7dbc 9dc9 e486 709c 7181 ......}.....p.q. │ │ │ -000ed600: 1e75 81d8 868a 0000 0009 766d 6c69 6272 .u........vmlibr │ │ │ +000ed5f0: 0000 0000 05df 0692 3cda 7a96 8660 1512 ........<.z..`.. │ │ │ +000ed600: a98b 8b8a c2a2 0000 0009 766d 6c69 6272 ..........vmlibr │ │ │ 000ed610: 6172 7900 0000 0000 0ecb be00 0000 0000 ary............. │ │ │ 000ed620: 0009 b31d bea8 9261 f53a ed25 3f55 2421 .......a.:.%?U$! │ │ │ 000ed630: 3a30 2d :0- │ │ ├── ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/solvable/all_solvable.vo │ │ │ @@ -3,54 +3,54 @@ │ │ │ 00000020: 0000 00dc c0a0 2c61 6c6c 5f73 6f6c 7661 ......,all_solva │ │ │ 00000030: 626c 65a0 2873 6f6c 7661 626c 65a0 286d ble.(solvable.(m │ │ │ 00000040: 6174 6863 6f6d 7040 f0a0 a027 5072 656c athcomp@...'Prel │ │ │ 00000050: 7564 65a0 2449 6e69 74a0 2343 6f71 4090 ude.$Init.#Coq@. │ │ │ 00000060: 3088 2d00 7939 19c0 98cf c327 24e3 883a 0.-.y9.....'$..: │ │ │ 00000070: 76a0 a027 6162 656c 6961 6ea0 2873 6f6c v..'abelian.(sol │ │ │ 00000080: 7661 626c 65a0 286d 6174 6863 6f6d 7040 vable.(mathcomp@ │ │ │ -00000090: 9030 6a30 3081 04e4 86ce 2839 faea 98a0 .0j00.....(9.... │ │ │ -000000a0: ade0 a0a0 2361 6c74 a028 736f 6c76 6162 ....#alt.(solvab │ │ │ -000000b0: 6c65 a028 6d61 7468 636f 6d70 4090 3021 le.(mathcomp@.0! │ │ │ -000000c0: 43f2 5f15 5a9b 7cf2 40c8 4f75 416f f5a0 C._.Z.|.@.OuAo.. │ │ │ +00000090: 9030 45e9 5364 e34e 4164 f51f 8576 c3a3 .0E.Sd.NAd...v.. │ │ │ +000000a0: d12d a0a0 2361 6c74 a028 736f 6c76 6162 .-..#alt.(solvab │ │ │ +000000b0: 6c65 a028 6d61 7468 636f 6d70 4090 309c le.(mathcomp@.0. │ │ │ +000000c0: 8590 4993 e88b b37c cdfe 32c5 21b1 69a0 ..I....|..2.!.i. │ │ │ 000000d0: a02c 6275 726e 7369 6465 5f61 7070 a028 .,burnside_app.( │ │ │ 000000e0: 736f 6c76 6162 6c65 a028 6d61 7468 636f solvable.(mathco │ │ │ -000000f0: 6d70 4090 30b2 5a92 7090 3f80 b0ec 0c71 mp@.0.Z.p.?....q │ │ │ -00000100: 6982 88e4 0ca0 a02c 6578 7472 6173 7065 i......,extraspe │ │ │ +000000f0: 6d70 4090 30f8 b31f 0436 b651 d520 4038 mp@.0....6.Q. @8 │ │ │ +00000100: 5ab2 2b67 14a0 a02c 6578 7472 6173 7065 Z.+g...,extraspe │ │ │ 00000110: 6369 616c a028 736f 6c76 6162 6c65 a028 cial.(solvable.( │ │ │ -00000120: 6d61 7468 636f 6d70 4090 303d d774 1b49 mathcomp@.0=.t.I │ │ │ -00000130: 77ce c4ee de7e 4e88 38af a2a0 a029 6672 w....~N.8....)fr │ │ │ +00000120: 6d61 7468 636f 6d70 4090 30c2 833c 2137 mathcomp@.0... │ │ │ -00000160: 9bcb 198f a0c2 96fb 5b23 2bbe db1c a0a0 ........[#+..... │ │ │ +00000150: 65a0 286d 6174 6863 6f6d 7040 9030 4532 e.(mathcomp@.0E2 │ │ │ +00000160: 97ee b1c9 07f2 f55a df41 b07e 3208 a0a0 .......Z.A.~2... │ │ │ 00000170: 2c6a 6f72 6461 6e68 6f6c 6465 72a0 2873 ,jordanholder.(s │ │ │ 00000180: 6f6c 7661 626c 65a0 286d 6174 6863 6f6d olvable.(mathcom │ │ │ -00000190: 7040 9030 4a5b 029d dbd7 c810 5b6c b85c p@.0J[......[l.\ │ │ │ -000001a0: 08ee 420f 2535 2e34 2e30 a040 4021 0f37 ..B.%5.4.0.@@!.7 │ │ │ -000001b0: 0625 34c9 2550 fffa 1c68 06dc 6e84 95a6 .%4.%P...h..n... │ │ │ +00000190: 7040 9030 f0b2 937a cc58 5377 db6e 2117 p@.0...z.XSw.n!. │ │ │ +000001a0: 2342 a532 2535 2e34 2e30 a040 40f5 8366 #B.2%5.4.0.@@..f │ │ │ +000001b0: c8bd 7d36 27fe e15d 157d 2d1f a484 95a6 ..}6'..].}-..... │ │ │ 000001c0: be00 0003 f300 0001 6f00 0004 2100 0003 ........o...!... │ │ │ 000001d0: ecb0 d0a0 2c61 6c6c 5f73 6f6c 7661 626c ....,all_solvabl │ │ │ 000001e0: 65a0 2873 6f6c 7661 626c 65a0 286d 6174 e.(solvable.(mat │ │ │ 000001f0: 6863 6f6d 7040 e090 0408 4190 4040 a040 hcomp@....A.@@.@ │ │ │ 00000200: 4090 40a0 4040 d0a0 a023 616c 74a0 2873 @.@.@@...#alt.(s │ │ │ 00000210: 6f6c 7661 626c 65a0 286d 6174 6863 6f6d olvable.(mathcom │ │ │ -00000220: 7040 9030 2143 f25f 155a 9b7c f240 c84f p@.0!C._.Z.|.@.O │ │ │ -00000230: 7541 6ff5 a0a0 2c62 7572 6e73 6964 655f uAo...,burnside_ │ │ │ +00000220: 7040 9030 9c85 9049 93e8 8bb3 7ccd fe32 p@.0...I....|..2 │ │ │ +00000230: c521 b169 a0a0 2c62 7572 6e73 6964 655f .!.i..,burnside_ │ │ │ 00000240: 6170 70a0 2873 6f6c 7661 626c 65a0 286d app.(solvable.(m │ │ │ -00000250: 6174 6863 6f6d 7040 9030 b25a 9270 903f athcomp@.0.Z.p.? │ │ │ -00000260: 80b0 ec0c 7169 8288 e40c a0a0 2c65 7874 ....qi......,ext │ │ │ +00000250: 6174 6863 6f6d 7040 9030 f8b3 1f04 36b6 athcomp@.0....6. │ │ │ +00000260: 51d5 2040 385a b22b 6714 a0a0 2c65 7874 Q. @8Z.+g...,ext │ │ │ 00000270: 7261 7370 6563 6961 6ca0 2873 6f6c 7661 raspecial.(solva │ │ │ 00000280: 626c 65a0 286d 6174 6863 6f6d 7040 9030 ble.(mathcomp@.0 │ │ │ -00000290: 3dd7 741b 4977 cec4 eede 7e4e 8838 afa2 =.t.Iw....~N.8.. │ │ │ +00000290: c283 3c21 3778 c055 8a47 a7a6 ef52 8069 ...........[#+ │ │ │ -000002d0: bedb 1ca0 a02c 6a6f 7264 616e 686f 6c64 .....,jordanhold │ │ │ +000002c0: 4090 3045 3297 eeb1 c907 f2f5 5adf 41b0 @.0E2.......Z.A. │ │ │ +000002d0: 7e32 08a0 a02c 6a6f 7264 616e 686f 6c64 ~2...,jordanhold │ │ │ 000002e0: 6572 a028 736f 6c76 6162 6c65 a028 6d61 er.(solvable.(ma │ │ │ -000002f0: 7468 636f 6d70 4090 304a 5b02 9ddb d7c8 thcomp@.0J[..... │ │ │ -00000300: 105b 6cb8 5c08 ee42 0f90 40a0 a094 a0a0 .[l.\..B..@..... │ │ │ +000002f0: 7468 636f 6d70 4090 30f0 b293 7acc 5853 thcomp@.0...z.XS │ │ │ +00000300: 77db 6e21 1723 42a5 3290 40a0 a094 a0a0 w.n!.#B.2.@..... │ │ │ 00000310: 4090 a027 6162 656c 6961 6e04 4140 a094 @..'abelian.A@.. │ │ │ 00000320: a0a0 4090 0407 40a0 94a0 a040 90a0 2361 ..@...@....@..#a │ │ │ 00000330: 6c74 044d 40a0 94a0 a040 9004 0740 a094 lt.M@....@...@.. │ │ │ 00000340: a0a0 4090 a02c 6275 726e 7369 6465 5f61 ..@..,burnside_a │ │ │ 00000350: 7070 0459 40a0 94a0 a040 9004 0740 a094 pp.Y@....@...@.. │ │ │ 00000360: a0a0 4090 a026 6365 6e74 6572 0465 40a0 ..@..¢er.e@. │ │ │ 00000370: 94a0 a040 9004 0740 a094 a0a0 4090 a02a ...@...@....@..* │ │ │ @@ -86,27 +86,27 @@ │ │ │ 00000550: be40 a094 a0a0 4004 b640 a094 a0a0 4004 .@....@..@....@. │ │ │ 00000560: ae40 a094 a0a0 4004 a640 a094 a0a0 4004 .@....@..@....@. │ │ │ 00000570: 9e40 a094 a0a0 4004 9640 a094 a0a0 4004 .@....@..@....@. │ │ │ 00000580: 8e40 a094 a0a0 4004 8640 a094 a0a0 4004 .@....@..@....@. │ │ │ 00000590: 7e40 a094 a0a0 4004 7640 a094 a0a0 4004 ~@....@.v@....@. │ │ │ 000005a0: 6e40 a094 a0a0 4004 6640 a094 a0a0 4004 n@....@.f@....@. │ │ │ 000005b0: 5e40 a094 a0a0 4004 5640 a094 a0a0 4004 ^@....@.V@....@. │ │ │ -000005c0: 4e40 4040 cac4 c261 c457 935f 455a 0b95 N@@@...a.W._EZ.. │ │ │ -000005d0: fca7 3887 8495 a6be 0000 0001 0000 0000 ..8............. │ │ │ +000005c0: 4e40 4040 0b26 4f12 0ef4 8fd2 c45b 5ec0 N@@@.&O......[^. │ │ │ +000005d0: dcb0 ac27 8495 a6be 0000 0001 0000 0000 ...'............ │ │ │ 000005e0: 0000 0000 0000 0000 8061 44c8 6cd4 a168 .........aD.l..h │ │ │ 000005f0: cd70 495a 5cc4 22ad e984 95a6 be00 0000 .pIZ\."......... │ │ │ 00000600: 2500 0000 0700 0000 1900 0000 15a0 a02c %.............., │ │ │ 00000610: 616c 6c5f 736f 6c76 6162 6c65 a028 736f all_solvable.(so │ │ │ 00000620: 6c76 6162 6c65 a028 6d61 7468 636f 6d70 lvable.(mathcomp │ │ │ 00000630: 4080 8b1d 05ed a88f a40c a3b9 01c6 1b8a @............... │ │ │ 00000640: 427a 0000 0004 0000 0007 6c69 6272 6172 Bz........librar │ │ │ 00000650: 7900 0000 0000 0001 bd00 0000 0000 0004 y............... │ │ │ -00000660: 07ca c4c2 61c4 5793 5f45 5a0b 95fc a738 ....a.W._EZ....8 │ │ │ -00000670: 8700 0000 076f 7061 7175 6573 0000 0000 .....opaques.... │ │ │ +00000660: 070b 264f 120e f48f d2c4 5b5e c0dc b0ac ..&O......[^.... │ │ │ +00000670: 2700 0000 076f 7061 7175 6573 0000 0000 '....opaques.... │ │ │ 00000680: 0000 05d4 0000 0000 0000 0015 6144 c86c ............aD.l │ │ │ 00000690: d4a1 68cd 7049 5a5c c422 ade9 0000 0007 ..h.pIZ\."...... │ │ │ 000006a0: 7375 6d6d 6172 7900 0000 0000 0000 1000 summary......... │ │ │ -000006b0: 0000 0000 0001 9d21 0f37 0625 34c9 2550 .......!.7.%4.%P │ │ │ -000006c0: fffa 1c68 06dc 6e00 0000 0976 6d6c 6962 ...h..n....vmlib │ │ │ +000006b0: 0000 0000 0001 9df5 8366 c8bd 7d36 27fe .........f..}6'. │ │ │ +000006c0: e15d 157d 2d1f a400 0000 0976 6d6c 6962 .].}-......vmlib │ │ │ 000006d0: 7261 7279 0000 0000 0000 05f9 0000 0000 rary............ │ │ │ 000006e0: 0000 0039 8b1d 05ed a88f a40c a3b9 01c6 ...9............ │ │ │ 000006f0: 1b8a 427a ..Bz │ │ ├── ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/solvable/alt.vo │ │ │ @@ -59,30 +59,30 @@ │ │ │ 000003a0: 6e67 726f 7570 a028 6d61 7468 636f 6d70 ngroup.(mathcomp │ │ │ 000003b0: 4090 3003 6c1a 40c4 baec acac 6b2f a437 @.0.l.@.....k/.7 │ │ │ 000003c0: 6590 cda0 a026 6163 7469 6f6e a028 6669 e....&action.(fi │ │ │ 000003d0: 6e67 726f 7570 a028 6d61 7468 636f 6d70 ngroup.(mathcomp │ │ │ 000003e0: 4090 300e ec10 7918 deea 22c5 06b9 d4ee @.0...y..."..... │ │ │ 000003f0: de25 2ba0 a026 6379 636c 6963 a028 736f .%+..&cyclic.(so │ │ │ 00000400: 6c76 6162 6c65 a028 6d61 7468 636f 6d70 lvable.(mathcomp │ │ │ -00000410: 4090 3005 b6cd 9538 ce65 91b0 959b d9ee @.0....8.e...... │ │ │ -00000420: 0530 24a0 a026 7067 726f 7570 a028 736f .0$..&pgroup.(so │ │ │ +00000410: 4090 3059 f3c5 5e5d bb95 148e 7093 4cd3 @.0Y..^]....p.L. │ │ │ +00000420: 34f4 f0a0 a026 7067 726f 7570 a028 736f 4....&pgroup.(so │ │ │ 00000430: 6c76 6162 6c65 a028 6d61 7468 636f 6d70 lvable.(mathcomp │ │ │ -00000440: 4090 3058 967d 1f31 7d2b 9a64 dbe1 3f3e @.0X.}.1}+.d..?> │ │ │ -00000450: 588a 89a0 a027 6773 6572 6965 73a0 2873 X....'gseries.(s │ │ │ +00000440: 4090 30dc 4b93 26c6 7e5d 5983 280a 9999 @.0.K.&.~]Y.(... │ │ │ +00000450: 425e 18a0 a027 6773 6572 6965 73a0 2873 B^...'gseries.(s │ │ │ 00000460: 6f6c 7661 626c 65a0 286d 6174 6863 6f6d olvable.(mathcom │ │ │ -00000470: 7040 9030 12ee 3fe1 cc4e 0464 74c4 5d77 p@.0..?..N.dt.]w │ │ │ -00000480: dfc5 11e2 a0a0 2573 796c 6f77 a028 736f ......%sylow.(so │ │ │ +00000470: 7040 9030 6482 1bc4 619c 764a 6db9 94fe p@.0d...a.vJm... │ │ │ +00000480: f563 5414 a0a0 2573 796c 6f77 a028 736f .cT...%sylow.(so │ │ │ 00000490: 6c76 6162 6c65 a028 6d61 7468 636f 6d70 lvable.(mathcomp │ │ │ -000004a0: 4090 3022 356f 8105 0f80 8bd4 8bb3 0902 @.0"5o.......... │ │ │ -000004b0: 7bcf caa0 a030 7072 696d 6974 6976 655f {....0primitive_ │ │ │ +000004a0: 4090 30df c5fd 8c41 bdb4 37d7 86dd f908 @.0....A..7..... │ │ │ +000004b0: 62f8 51a0 a030 7072 696d 6974 6976 655f b.Q..0primitive_ │ │ │ 000004c0: 6163 7469 6f6e a028 736f 6c76 6162 6c65 action.(solvable │ │ │ -000004d0: a028 6d61 7468 636f 6d70 4090 3058 1c44 .(mathcomp@.0X.D │ │ │ -000004e0: 485e 80c9 e3d8 5898 668a 133a 1c25 352e H^....X.f..:.%5. │ │ │ -000004f0: 342e 30a0 4040 7523 c558 1929 5054 e8f0 4.0.@@u#.X.)PT.. │ │ │ -00000500: f06b 6717 3875 8495 a6be 0001 c14d 0000 .kg.8u.......M.. │ │ │ +000004d0: a028 6d61 7468 636f 6d70 4090 3040 6205 .(mathcomp@.0@b. │ │ │ +000004e0: 21da 5ff7 dfc9 7c65 b763 267f d025 352e !._...|e.c&..%5. │ │ │ +000004f0: 342e 30a0 4040 8d87 9a09 93dc 2577 d83e 4.0.@@......%w.> │ │ │ +00000500: 13fa 79df c027 8495 a6be 0001 c14d 0000 ..y..'.......M.. │ │ │ 00000510: 6689 0001 652f 0001 59d6 b0d0 a023 616c f...e/..Y....#al │ │ │ 00000520: 74a0 2873 6f6c 7661 626c 65a0 286d 6174 t.(solvable.(mat │ │ │ 00000530: 6863 6f6d 7040 e090 0408 4190 a0a0 3448 hcomp@....A...4H │ │ │ 00000540: 425f 756e 6e61 6d65 645f 6661 6374 6f72 B_unnamed_factor │ │ │ 00000550: 795f 3190 0800 0027 0040 a080 8091 a99c y_1....'.@...... │ │ │ 00000560: a0a0 a090 b0a2 90a0 2866 696e 6772 6f75 ........(fingrou │ │ │ 00000570: 70a0 0402 a004 1840 2a69 734d 756c 4772 p......@*isMulGr │ │ │ @@ -1688,18 +1688,18 @@ │ │ │ 00006970: 04a3 0116 9b40 42b0 0502 5642 a003 0044 .....@B...VB...D │ │ │ 00006980: c638 641e 99d8 90b0 050a f705 0279 0106 .8d..........y.. │ │ │ 00006990: 52c0 40b0 0502 4f42 a003 0044 c638 6420 R.@...OB...D.8d │ │ │ 000069a0: 9a56 90b0 050a fc05 027e 0106 5440 4143 .V.......~..T@AC │ │ │ 000069b0: 4445 4849 4aa0 a0a0 3070 7269 6d69 7469 DEHIJ...0primiti │ │ │ 000069c0: 7665 5f61 6374 696f 6ea0 2873 6f6c 7661 ve_action.(solva │ │ │ 000069d0: 626c 65a0 286d 6174 6863 6f6d 7040 9030 ble.(mathcomp@.0 │ │ │ -000069e0: 581c 4448 5e80 c9e3 d858 9866 8a13 3a1c X.DH^....X.f..:. │ │ │ +000069e0: 4062 0521 da5f f7df c97c 65b7 6326 7fd0 @b.!._...|e.c&.. │ │ │ 000069f0: a0a0 2573 796c 6f77 a028 736f 6c76 6162 ..%sylow.(solvab │ │ │ -00006a00: 6c65 a028 6d61 7468 636f 6d70 4090 3022 le.(mathcomp@.0" │ │ │ -00006a10: 356f 8105 0f80 8bd4 8bb3 0902 7bcf ca90 5o..........{... │ │ │ +00006a00: 6c65 a028 6d61 7468 636f 6d70 4090 30df le.(mathcomp@.0. │ │ │ +00006a10: c5fd 8c41 bdb4 37d7 86dd f908 62f8 5190 ...A..7.....b.Q. │ │ │ 00006a20: 40a0 a095 a002 1d04 1afc a040 a0a0 4027 @..........@..@' │ │ │ 00006a30: 2753 796d 5f20 5fc0 a0a0 4048 a091 4240 'Sym_ _...@H..B@ │ │ │ 00006a40: a0b1 4040 a090 42a0 4140 4090 a0d0 a0a0 ..@@..B.A@@..... │ │ │ 00006a50: 4048 040c 4004 11a0 a0a0 4125 2753 796d @H..@.....A%'Sym │ │ │ 00006a60: 5fa0 a1a1 4004 0f90 050b b840 40a0 0412 _...@......@@... │ │ │ 00006a70: 4040 90a0 40a0 a094 040b a090 b040 9142 @@..@........@.B │ │ │ 00006a80: 9041 4048 a095 a002 1d04 1afc a040 a0a0 .A@H.........@.. │ │ │ @@ -7264,16 +7264,16 @@ │ │ │ 0001c5f0: 62a0 2264 6240 a0a0 b005 666e 0501 3002 b."db@....fn..0. │ │ │ 0001c600: 2c5c a192 0501 2ea0 a0b0 0566 7105 0108 ,\.........fq... │ │ │ 0001c610: 022c 5ca1 9305 0106 a0a0 b005 6674 04e0 .,\.........ft.. │ │ │ 0001c620: 022c 5ca1 9404 dea0 a0b0 0566 7704 ba02 .,\........fw... │ │ │ 0001c630: 2c5c a195 04b8 a0a0 b005 667a 0492 022c ,\........fz..., │ │ │ 0001c640: 5ca1 9604 90a0 a0b0 0566 7d04 6c02 2c5c \........f}.l.,\ │ │ │ 0001c650: a530 046a a0a0 b005 6680 0446 022c 5ca5 .0.j....f..F.,\. │ │ │ -0001c660: 3104 4440 4240 4021 43f2 5f15 5a9b 7cf2 1.D@B@@!C._.Z.|. │ │ │ -0001c670: 40c8 4f75 416f f584 95a6 be00 0372 c100 @.OuAo.......r.. │ │ │ +0001c660: 3104 4440 4240 409c 8590 4993 e88b b37c 1.D@B@@...I....| │ │ │ +0001c670: cdfe 32c5 21b1 6984 95a6 be00 0372 c100 ..2.!.i......r.. │ │ │ 0001c680: 00bf 1c00 0275 2200 0271 e408 0000 5700 .....u"..q....W. │ │ │ 0001c690: 90a0 b7a0 9021 7040 a99a a090 b0a2 90a0 .....!p@........ │ │ │ 0001c6a0: 2766 696e 7479 7065 a029 7373 7265 666c 'fintype.)ssrefl │ │ │ 0001c6b0: 6563 74a0 286d 6174 6863 6f6d 7040 2646 ect.(mathcomp@&F │ │ │ 0001c6c0: 696e 6974 6524 736f 7274 0202 0009 58a0 inite$sort....X. │ │ │ 0001c6d0: 8080 90a9 9aa0 90b0 a2a2 90a0 2866 696e ............(fin │ │ │ 0001c6e0: 6772 6f75 70a0 0402 0411 2846 696e 4772 group.....(FinGr │ │ │ @@ -21474,17 +21474,17 @@ │ │ │ 00053e10: 41a0 4040 414a 93a0 80a0 0435 a003 0031 A.@@AJ.....5...1 │ │ │ 00053e20: 14ad 5715 f071 90b0 042c 0430 0107 00c0 ..W..q...,.0.... │ │ │ 00053e30: 0920 2d00 038c 2a2b 0202 0b0b 3700 2312 . -...*+....7.#. │ │ │ 00053e40: 0303 3701 230b 3702 214a 3703 230b 3704 ..7.#.7.!J7.#.7. │ │ │ 00053e50: 2806 8025 2c18 1010 1080 944f b191 f785 (..%,......O.... │ │ │ 00053e60: 8136 f26a 358a 7253 e5fe 0000 0004 0000 .6.j5.rS........ │ │ │ 00053e70: 0007 6c69 6272 6172 7900 0000 0000 0005 ..library....... │ │ │ -00053e80: 0600 0000 0000 01c1 6121 43f2 5f15 5a9b ........a!C._.Z. │ │ │ -00053e90: 7cf2 40c8 4f75 416f f500 0000 076f 7061 |.@.OuAo.....opa │ │ │ +00053e80: 0600 0000 0000 01c1 619c 8590 4993 e88b ........a...I... │ │ │ +00053e90: b37c cdfe 32c5 21b1 6900 0000 076f 7061 .|..2.!.i....opa │ │ │ 00053ea0: 7175 6573 0000 0000 0001 c677 0000 0000 ques.......w.... │ │ │ 00053eb0: 0003 72d5 01b9 36d0 b7ac 0e91 e94d 5e9c ..r...6......M^. │ │ │ 00053ec0: c3db 5c93 0000 0007 7375 6d6d 6172 7900 ..\.....summary. │ │ │ -00053ed0: 0000 0000 0000 1000 0000 0000 0004 e675 ...............u │ │ │ -00053ee0: 23c5 5819 2950 54e8 f0f0 6b67 1738 7500 #.X.)PT...kg.8u. │ │ │ +00053ed0: 0000 0000 0000 1000 0000 0000 0004 e68d ................ │ │ │ +00053ee0: 879a 0993 dc25 77d8 3e13 fa79 dfc0 2700 .....%w.>..y..'. │ │ │ 00053ef0: 0000 0976 6d6c 6962 7261 7279 0000 0000 ...vmlibrary.... │ │ │ 00053f00: 0005 395c 0000 0000 0000 04fe 944f b191 ..9\.........O.. │ │ │ 00053f10: f785 8136 f26a 358a 7253 e5fe ...6.j5.rS.. │ │ ├── ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/solvable/burnside_app.vo │ │ │ @@ -47,18 +47,18 @@ │ │ │ 000002e0: 6772 6f75 70a0 0402 a028 6d61 7468 636f group....(mathco │ │ │ 000002f0: 6d70 4090 300f abdc b1ef c072 1f22 2a3a mp@.0......r."*: │ │ │ 00000300: bf44 1d13 91a0 a026 6163 7469 6f6e a028 .D.....&action.( │ │ │ 00000310: 6669 6e67 726f 7570 a028 6d61 7468 636f fingroup.(mathco │ │ │ 00000320: 6d70 4090 300e ec10 7918 deea 22c5 06b9 mp@.0...y..."... │ │ │ 00000330: d4ee de25 2ba0 a030 7072 696d 6974 6976 ...%+..0primitiv │ │ │ 00000340: 655f 6163 7469 6f6e a028 736f 6c76 6162 e_action.(solvab │ │ │ -00000350: 6c65 a028 6d61 7468 636f 6d70 4090 3058 le.(mathcomp@.0X │ │ │ -00000360: 1c44 485e 80c9 e3d8 5898 668a 133a 1c25 .DH^....X.f..:.% │ │ │ -00000370: 352e 342e 30a0 4040 5b1a 65f8 bbf7 9a7a 5.4.0.@@[.e....z │ │ │ -00000380: 3734 91a6 8232 cdef 8495 a6be 0004 950e 74...2.......... │ │ │ +00000350: 6c65 a028 6d61 7468 636f 6d70 4090 3040 le.(mathcomp@.0@ │ │ │ +00000360: 6205 21da 5ff7 dfc9 7c65 b763 267f d025 b.!._...|e.c&..% │ │ │ +00000370: 352e 342e 30a0 4040 3b7f 80a6 8ffc bc14 5.4.0.@@;....... │ │ │ +00000380: 6345 19ab afd9 72c1 8495 a6be 0004 950e cE....r......... │ │ │ 00000390: 0000 fa02 0003 970b 0003 8967 b0d0 a02c ...........g..., │ │ │ 000003a0: 6275 726e 7369 6465 5f61 7070 a028 736f burnside_app.(so │ │ │ 000003b0: 6c76 6162 6c65 a028 6d61 7468 636f 6d70 lvable.(mathcomp │ │ │ 000003c0: 40e0 9004 0841 90a0 a030 6275 726e 7369 @....A...0burnsi │ │ │ 000003d0: 6465 5f66 6f72 6d75 6c61 9008 0000 2700 de_formula....'. │ │ │ 000003e0: 40a0 8080 92c0 4040 0411 40b6 a090 2267 @.....@@..@..."g │ │ │ 000003f0: 5440 9ba0 a090 b0a2 90a0 2866 696e 6772 T@........(fingr │ │ │ @@ -7300,16 +7300,16 @@ │ │ │ 0001c830: 78fa c25a e8ea 90b0 0546 7305 023c 0108 x..Z.....Fs..<.. │ │ │ 0001c840: 0640 42b0 0502 6541 0501 a1c0 c040 b005 .@B...eA.....@.. │ │ │ 0001c850: 0268 4105 023e 4041 b005 0269 4104 fcc0 .hA..>@A...iA... │ │ │ 0001c860: 40b0 a003 0044 c638 631c 5a5a 90b0 0511 @....D.8c.ZZ.... │ │ │ 0001c870: 5005 01b2 0105 5041 0501 cb40 4142 4345 P.....PA...@ABCE │ │ │ 0001c880: 4647 494a 90a0 a030 7072 696d 6974 6976 FGIJ...0primitiv │ │ │ 0001c890: 655f 6163 7469 6f6e a028 736f 6c76 6162 e_action.(solvab │ │ │ -0001c8a0: 6c65 a028 6d61 7468 636f 6d70 4090 3058 le.(mathcomp@.0X │ │ │ -0001c8b0: 1c44 485e 80c9 e3d8 5898 668a 133a 1c90 .DH^....X.f..:.. │ │ │ +0001c8a0: 6c65 a028 6d61 7468 636f 6d70 4090 3040 le.(mathcomp@.0@ │ │ │ +0001c8b0: 6205 21da 5ff7 dfc9 7c65 b763 267f d090 b.!._...|e.c&... │ │ │ 0001c8c0: 40a0 4040 a0a0 95a0 0232 0a51 8fa0 054d @.@@.....2.Q...M │ │ │ 0001c8d0: b7b0 9241 4040 a095 a002 0fc0 a2b8 a090 ...A@@.......... │ │ │ 0001c8e0: e041 4040 4040 40a0 a091 90b0 054d c805 .A@@@@@......M.. │ │ │ 0001c8f0: 4dc4 0200 293d d9a0 a040 a090 c0b0 054d M...)=...@.....M │ │ │ 0001c900: c241 40a2 9042 9047 4041 a090 c0b0 054d .A@..B.G@A.....M │ │ │ 0001c910: b842 4091 9044 4041 a090 c0b0 054d 7943 .B@..D@A.....MyC │ │ │ 0001c920: 4091 9045 4041 a040 a040 a090 c0b0 054d @..E@A.@.@.....M │ │ │ @@ -18820,16 +18820,16 @@ │ │ │ 00049830: 7002 0af9 e890 0501 6ea0 a0b0 05f9 e705 p.......n....... │ │ │ 00049840: 014a 020a f9e8 9105 0148 a0a0 b005 f9ea .J.......H...... │ │ │ 00049850: 0501 2402 0af9 e892 0501 22a0 a0b0 05f9 ..$......."..... │ │ │ 00049860: ed04 fc02 0af9 e893 04fa a0a0 b005 f9f0 ................ │ │ │ 00049870: 04d6 020a f9e8 9404 d4a0 a0b0 05f9 f304 ................ │ │ │ 00049880: b002 0af9 e895 04ae a0a0 b005 f9f6 048a ................ │ │ │ 00049890: 020a f9e8 9f04 88a0 a0b0 05f9 f904 6402 ..............d. │ │ │ -000498a0: 0af9 e8a0 0462 4042 4040 b25a 9270 903f .....b@B@@.Z.p.? │ │ │ -000498b0: 80b0 ec0c 7169 8288 e40c 8495 a6be 000d ....qi.......... │ │ │ +000498a0: 0af9 e8a0 0462 4042 4040 f8b3 1f04 36b6 .....b@B@@....6. │ │ │ +000498b0: 51d5 2040 385a b22b 6714 8495 a6be 000d Q. @8Z.+g....... │ │ │ 000498c0: c7c8 0002 5914 0007 f988 0007 f635 0800 ....Y........5.. │ │ │ 000498d0: 0217 0090 a0b7 a090 2267 5440 9ba0 a090 ........"gT@.... │ │ │ 000498e0: b0a2 90a0 2866 696e 6772 6f75 70a0 0402 ....(fingroup... │ │ │ 000498f0: a028 6d61 7468 636f 6d70 4028 4669 6e47 .(mathcomp@(FinG │ │ │ 00049900: 726f 7570 2474 7970 6502 024b 75c9 40a0 roup$type..Ku.@. │ │ │ 00049910: 8080 b7a0 9021 7340 a99b a0a0 90b0 90a0 .....!s@........ │ │ │ 00049920: 2944 6174 6174 7970 6573 a024 496e 6974 )Datatypes.$Init │ │ │ @@ -75786,18 +75786,18 @@ │ │ │ 00128090: 0c10 0c08 0c0c a093 0460 9304 08c0 0502 .........`...... │ │ │ 001280a0: 0680 2420 2008 1880 c005 0208 8024 2020 ..$ ........$ │ │ │ 001280b0: 0818 80c0 0502 0a80 2420 2008 1880 c005 ........$ ..... │ │ │ 001280c0: 020c 8024 2020 0818 80c0 0502 0e80 2420 ...$ ........$ │ │ │ 001280d0: 2008 1880 c005 0210 8024 2020 0818 8007 ........$ .... │ │ │ 001280e0: 3c98 21b6 faa3 5d73 0035 fc08 5b85 f300 <.!...]s.5..[... │ │ │ 001280f0: 0000 0400 0000 076c 6962 7261 7279 0000 .......library.. │ │ │ -00128100: 0000 0000 0388 0000 0000 0004 9522 b25a .............".Z │ │ │ -00128110: 9270 903f 80b0 ec0c 7169 8288 e40c 0000 .p.?....qi...... │ │ │ +00128100: 0000 0000 0388 0000 0000 0004 9522 f8b3 .............".. │ │ │ +00128110: 1f04 36b6 51d5 2040 385a b22b 6714 0000 ..6.Q. @8Z.+g... │ │ │ 00128120: 0007 6f70 6171 7565 7300 0000 0000 0498 ..opaques....... │ │ │ 00128130: ba00 0000 0000 0dc7 dc7b c411 d089 56e4 .........{....V. │ │ │ 00128140: c5a8 a21e bb80 a499 b300 0000 0773 756d .............sum │ │ │ 00128150: 6d61 7279 0000 0000 0000 0010 0000 0000 mary............ │ │ │ -00128160: 0000 0368 5b1a 65f8 bbf7 9a7a 3734 91a6 ...h[.e....z74.. │ │ │ -00128170: 8232 cdef 0000 0009 766d 6c69 6272 6172 .2......vmlibrar │ │ │ +00128160: 0000 0368 3b7f 80a6 8ffc bc14 6345 19ab ...h;.......cE.. │ │ │ +00128170: afd9 72c1 0000 0009 766d 6c69 6272 6172 ..r.....vmlibrar │ │ │ 00128180: 7900 0000 0000 1260 a600 0000 0000 0020 y......`....... │ │ │ 00128190: 3907 3c98 21b6 faa3 5d73 0035 fc08 5b85 9.<.!...]s.5..[. │ │ │ 001281a0: f3 . │ │ ├── ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/solvable/center.vo │ │ │ @@ -54,17 +54,17 @@ │ │ │ 00000350: 6e67 726f 7570 a028 6d61 7468 636f 6d70 ngroup.(mathcomp │ │ │ 00000360: 4090 3022 654a 4cfd 624c f1b4 7e42 f646 @.0"eJL.bL..~B.F │ │ │ 00000370: 6627 eda0 a028 6766 756e 6374 6f72 a028 f'...(gfunctor.( │ │ │ 00000380: 736f 6c76 6162 6c65 a028 6d61 7468 636f solvable.(mathco │ │ │ 00000390: 6d70 4090 3024 85e1 8f3a 1597 e208 7f38 mp@.0$...:.....8 │ │ │ 000003a0: eb1b ffc8 30a0 a026 6379 636c 6963 a028 ....0..&cyclic.( │ │ │ 000003b0: 736f 6c76 6162 6c65 a028 6d61 7468 636f solvable.(mathco │ │ │ -000003c0: 6d70 4090 3005 b6cd 9538 ce65 91b0 959b mp@.0....8.e.... │ │ │ -000003d0: d9ee 0530 2425 352e 342e 30a0 4040 6afe ...0$%5.4.0.@@j. │ │ │ -000003e0: eaa8 701d f50e e8fb ee6d 05f6 e5c5 8495 ..p......m...... │ │ │ +000003c0: 6d70 4090 3059 f3c5 5e5d bb95 148e 7093 mp@.0Y..^]....p. │ │ │ +000003d0: 4cd3 34f4 f025 352e 342e 30a0 4040 9202 L.4..%5.4.0.@@.. │ │ │ +000003e0: 2e23 3fff a9a0 7c85 09fa afbf 92de 8495 .#?...|......... │ │ │ 000003f0: a6be 0001 7f0f 0000 59d1 0001 3778 0001 ........Y...7x.. │ │ │ 00000400: 32a0 b0d0 a026 6365 6e74 6572 a028 736f 2....¢er.(so │ │ │ 00000410: 6c76 6162 6c65 a028 6d61 7468 636f 6d70 lvable.(mathcomp │ │ │ 00000420: 40e0 9004 0841 90a0 a004 0a90 0800 0027 @....A.........' │ │ │ 00000430: 0040 a080 8091 b7a0 9022 6754 409b a0a0 .@......."gT@... │ │ │ 00000440: 90b0 a290 a028 6669 6e67 726f 7570 a004 .....(fingroup.. │ │ │ 00000450: 02a0 0419 4028 4669 6e47 726f 7570 2474 ....@(FinGroup$t │ │ │ @@ -3732,16 +3732,16 @@ │ │ │ 0000e930: b005 27dc 0501 8c01 0558 4105 0125 c0c0 ..'......XA..%.. │ │ │ 0000e940: 40b0 0406 4105 0149 4041 b004 0741 a003 @...A..I@A...A.. │ │ │ 0000e950: 01e0 7308 2aef 79b8 90b0 0501 4a05 0144 ..s.*.y.....J..D │ │ │ 0000e960: 0045 c040 b004 0c41 0501 43c0 40b0 04ad .E.@...A..C.@... │ │ │ 0000e970: 41a0 0301 22b0 748b ebb9 1a90 b005 011a A...".t......... │ │ │ 0000e980: 0501 1773 4041 4243 4647 49a0 a0a0 2663 ...s@ABCFGI...&c │ │ │ 0000e990: 7963 6c69 63a0 2873 6f6c 7661 626c 65a0 yclic.(solvable. │ │ │ -0000e9a0: 0501 8540 9030 05b6 cd95 38ce 6591 b095 ...@.0....8.e... │ │ │ -0000e9b0: 9bd9 ee05 3024 a005 278f 9030 2485 e18f ....0$..'..0$... │ │ │ +0000e9a0: 0501 8540 9030 59f3 c55e 5dbb 9514 8e70 ...@.0Y..^]....p │ │ │ +0000e9b0: 934c d334 f4f0 a005 278f 9030 2485 e18f .L.4....'..0$... │ │ │ 0000e9c0: 3a15 97e2 087f 38eb 1bff c830 9040 a0a0 :.....8....0.@.. │ │ │ 0000e9d0: 95a0 021d 041a fca0 40a0 a040 2827 5a20 ........@..@('Z │ │ │ 0000e9e0: 2820 5f20 29c0 a0a0 4048 a040 40a0 b140 ( _ )...@H.@@..@ │ │ │ 0000e9f0: 40a0 4140 4090 a0d0 a0a0 4048 0409 40a0 @.A@@.....@H..@. │ │ │ 0000ea00: 4028 275a 2028 205f 2029 a0a0 a041 2227 @('Z ( _ )...A"' │ │ │ 0000ea10: 5aa0 a041 2128 a0a1 a140 0412 9021 41a0 Z..A!(...@...!A. │ │ │ 0000ea20: a041 2129 4040 a004 1940 4090 a041 a0a0 .A!)@@...@@..A.. │ │ │ @@ -6187,16 +6187,16 @@ │ │ │ 000182a0: 4005 2b28 a005 2b20 4040 4142 052b 1da0 @.+(..+ @@AB.+.. │ │ │ 000182b0: 052b 1840 d0d0 d040 052b 15a0 052b 1140 .+.@...@.+...+.@ │ │ │ 000182c0: 4041 052b 0ea0 052b 0940 d040 052b 06a0 @A.+...+.@.@.+.. │ │ │ 000182d0: 052b 0240 4041 4205 2aff a005 2af3 40d0 .+.@@AB.*...*.@. │ │ │ 000182e0: d040 052a f0a0 052a eb40 4041 052a e8a0 .@.*...*.@@A.*.. │ │ │ 000182f0: 052a e340 d040 052a e0a0 052a db40 d040 .*.@.@.*...*.@.@ │ │ │ 00018300: 052a d8a0 052a d340 4041 4243 4445 4640 .*...*.@@ABCDEF@ │ │ │ -00018310: 4024 4488 7a19 c053 ae27 b80a a1b3 66c4 @$D.z..S.'....f. │ │ │ -00018320: 3c84 95a6 be00 0291 ca00 007c 6100 01b3 <..........|a... │ │ │ +00018310: 408f 8d32 f96d 6eae d667 c379 d563 4fe0 @..2.mn..g.y.cO. │ │ │ +00018320: f884 95a6 be00 0291 ca00 007c 6100 01b3 ...........|a... │ │ │ 00018330: 9000 01b0 c808 0001 3700 90a0 b5b7 a090 ........7....... │ │ │ 00018340: 2267 5440 9ba0 a090 b0a2 90a0 2866 696e "gT@........(fin │ │ │ 00018350: 6772 6f75 70a0 0402 a028 6d61 7468 636f group....(mathco │ │ │ 00018360: 6d70 4028 4669 6e47 726f 7570 2474 7970 mp@(FinGroup$typ │ │ │ 00018370: 6502 024b 75c9 40a0 8080 b7a0 9022 7254 e..Ku.@......"rT │ │ │ 00018380: 4004 13b7 a090 2147 40a9 9aa0 90b0 9004 @.....!G@....... │ │ │ 00018390: 1628 6772 6f75 705f 6f66 0221 5142 ff04 .(group_of.!QB.. │ │ │ @@ -17039,17 +17039,17 @@ │ │ │ 000428e0: a041 4141 4593 a080 a004 51a0 0300 3124 .AAAE.....Q...1$ │ │ │ 000428f0: 220d 8c72 0490 b004 4204 5801 0991 c03e "..r....B.X....> │ │ │ 00042900: 2d00 038c 2a2b 0101 0a37 0022 092d 000b -...*+...7.".-.. │ │ │ 00042910: 3701 3a00 3702 3703 2805 3604 2901 8025 7.:.7.7.(.6.)..% │ │ │ 00042920: 281c 1008 1080 7d6c d7ae 5034 4d55 ec9d (.....}l..P4MU.. │ │ │ 00042930: 4cb1 2af0 4280 0000 0004 0000 0007 6c69 L.*.B.........li │ │ │ 00042940: 6272 6172 7900 0000 0000 0003 ee00 0000 brary........... │ │ │ -00042950: 0000 017f 2324 4488 7a19 c053 ae27 b80a ....#$D.z..S.'.. │ │ │ -00042960: a1b3 66c4 3c00 0000 076f 7061 7175 6573 ..f.<....opaques │ │ │ +00042950: 0000 017f 238f 8d32 f96d 6eae d667 c379 ....#..2.mn..g.y │ │ │ +00042960: d563 4fe0 f800 0000 076f 7061 7175 6573 .cO......opaques │ │ │ 00042970: 0000 0000 0001 8321 0000 0000 0002 91de .......!........ │ │ │ 00042980: 9cc6 f09f 8eb3 d367 ad38 1092 1060 0184 .......g.8...`.. │ │ │ 00042990: 0000 0007 7375 6d6d 6172 7900 0000 0000 ....summary..... │ │ │ -000429a0: 0000 1000 0000 0000 0003 ce6a feea a870 ...........j...p │ │ │ -000429b0: 1df5 0ee8 fbee 6d05 f6e5 c500 0000 0976 ......m........v │ │ │ +000429a0: 0000 1000 0000 0000 0003 ce92 022e 233f ..............#? │ │ │ +000429b0: ffa9 a07c 8509 faaf bf92 de00 0000 0976 ...|...........v │ │ │ 000429c0: 6d6c 6962 7261 7279 0000 0000 0004 150f mlibrary........ │ │ │ 000429d0: 0000 0000 0000 1417 7d6c d7ae 5034 4d55 ........}l..P4MU │ │ │ 000429e0: ec9d 4cb1 2af0 4280 ..L.*.B. │ │ ├── ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/solvable/cyclic.vo │ │ │ @@ -59,23 +59,23 @@ │ │ │ 000003a0: 74a0 2866 696e 6772 6f75 70a0 286d 6174 t.(fingroup.(mat │ │ │ 000003b0: 6863 6f6d 7040 9030 2265 4a4c fd62 4cf1 hcomp@.0"eJL.bL. │ │ │ 000003c0: b47e 42f6 4666 27ed a0a0 2673 7372 616c .~B.Ff'...&ssral │ │ │ 000003d0: 67a0 2761 6c67 6562 7261 a028 6d61 7468 g.'algebra.(math │ │ │ 000003e0: 636f 6d70 4090 30d4 98e4 a84b 1567 2b3d comp@.0....K.g+= │ │ │ 000003f0: cdd2 d243 8da5 faa0 a026 6669 6e61 6c67 ...C.....&finalg │ │ │ 00000400: a027 616c 6765 6272 61a0 286d 6174 6863 .'algebra.(mathc │ │ │ -00000410: 6f6d 7040 9030 8e88 2bdb 69af 6edf f204 omp@.0..+.i.n... │ │ │ -00000420: 36cc 6cb3 83c4 a0a0 257a 6d6f 6470 a027 6.l.....%zmodp.' │ │ │ +00000410: 6f6d 7040 9030 fcc2 781b 8cd5 0394 fabd omp@.0..x....... │ │ │ +00000420: 8ed3 2996 c3b9 a0a0 257a 6d6f 6470 a027 ..).....%zmodp.' │ │ │ 00000430: 616c 6765 6272 61a0 286d 6174 6863 6f6d algebra.(mathcom │ │ │ -00000440: 7040 9030 d07c 5667 3527 8400 e24e 2119 p@.0.|Vg5'...N!. │ │ │ -00000450: 72f4 2324 a0a0 2470 6f6c 79a0 2761 6c67 r.#$..$poly.'alg │ │ │ +00000440: 7040 9030 b67c 8e60 ef18 a2ef f470 114e p@.0.|.`.....p.N │ │ │ +00000450: 807d 6f75 a0a0 2470 6f6c 79a0 2761 6c67 .}ou..$poly.'alg │ │ │ 00000460: 6562 7261 a028 6d61 7468 636f 6d70 4090 ebra.(mathcomp@. │ │ │ 00000470: 30cc f686 219f 7ccf 848b 2811 a19f 8634 0...!.|...(....4 │ │ │ -00000480: 9325 352e 342e 30a0 4040 79da e1c1 8193 .%5.4.0.@@y..... │ │ │ -00000490: 0636 395f 8a00 04f6 8c63 8495 a6be 0001 .69_.....c...... │ │ │ +00000480: 9325 352e 342e 30a0 4040 29ba b662 e5c6 .%5.4.0.@@)..b.. │ │ │ +00000490: a93f 4726 8256 eda8 7920 8495 a6be 0001 .?G&.V..y ...... │ │ │ 000004a0: 98d3 0000 5961 0001 4b35 0001 467a b0d0 ....Ya..K5..Fz.. │ │ │ 000004b0: a026 6379 636c 6963 a028 736f 6c76 6162 .&cyclic.(solvab │ │ │ 000004c0: 6c65 a028 6d61 7468 636f 6d70 40e0 9004 le.(mathcomp@... │ │ │ 000004d0: 0841 90a0 a004 0a90 0800 0027 0040 a080 .A.........'.@.. │ │ │ 000004e0: 8091 b7a0 9022 6754 409b a0a0 90b0 a290 ....."gT@....... │ │ │ 000004f0: a028 6669 6e67 726f 7570 a004 02a0 0419 .(fingroup...... │ │ │ 00000500: 4028 4669 6e47 726f 7570 2474 7970 6502 @(FinGroup$type. │ │ │ @@ -2998,16 +2998,16 @@ │ │ │ 0000bb50: 0154 4041 4243 44b0 040b 4105 01cb c0c0 .T@ABCD...A..... │ │ │ 0000bb60: 40b0 0502 9442 0502 a040 41b0 0502 8c42 @....B...@A....B │ │ │ 0000bb70: 0502 90c0 40b0 0502 8542 0502 89c0 40b0 ....@....B....@. │ │ │ 0000bb80: 0502 7c42 0502 8040 4142 4345 4647 484a ..|B...@ABCEFGHJ │ │ │ 0000bb90: b0a0 0520 4d90 3022 654a 4cfd 624c f1b4 ... M.0"eJL.bL.. │ │ │ 0000bba0: 7e42 f646 6627 eda0 0521 f790 30cc f686 ~B.Ff'...!..0... │ │ │ 0000bbb0: 219f 7ccf 848b 2811 a19f 8634 93a0 0520 !.|...(....4... │ │ │ -0000bbc0: 8290 30d0 7c56 6735 2784 00e2 4e21 1972 ..0.|Vg5'...N!.r │ │ │ -0000bbd0: f423 2490 40a0 4040 a0a0 95a0 0232 0a51 .#$.@.@@.....2.Q │ │ │ +0000bbc0: 8290 30b6 7c8e 60ef 18a2 eff4 7011 4e80 ..0.|.`.....p.N. │ │ │ +0000bbd0: 7d6f 7590 40a0 4040 a0a0 95a0 0232 0a51 }ou.@.@@.....2.Q │ │ │ 0000bbe0: 8fa0 0522 ebb0 9140 4040 a095 a002 0fc0 ..."...@@@...... │ │ │ 0000bbf0: a2b8 a090 e041 4040 4040 40a0 a091 051c .....A@@@@@..... │ │ │ 0000bc00: f2a0 a040 a090 c0b0 0522 ec41 4091 9042 ...@.....".A@..B │ │ │ 0000bc10: 4041 a040 4040 40a0 95a0 0227 60a0 6fd0 @A.@@@@....'`.o. │ │ │ 0000bc20: 4091 051d 00a0 40a0 a029 7365 745f 7363 @.....@..)set_sc │ │ │ 0000bc30: 6f70 6540 40a0 9092 0522 f7a0 9091 0522 ope@@...."....." │ │ │ 0000bc40: e840 d0d0 d0d0 d040 40a0 a0a0 2a74 7970 .@.....@@...*typ │ │ │ @@ -6610,16 +6610,16 @@ │ │ │ 00019d10: 4005 3537 a005 3531 4040 4105 352e a005 @.57..51@@A.5... │ │ │ 00019d20: 3529 40d0 4005 3526 a005 351a 4040 4142 5)@.@.5&..5.@@AB │ │ │ 00019d30: 4305 3517 a005 3513 40d0 d040 0535 10a0 C.5...5.@..@.5.. │ │ │ 00019d40: 0535 0b40 4041 0535 08a0 0535 0340 d0d0 .5.@@A.5...5.@.. │ │ │ 00019d50: 4005 3500 a005 34fb 4040 4105 34f8 a005 @.5...4.@@A.4... │ │ │ 00019d60: 34f3 40d0 4005 34f0 a005 34eb 40d0 4005 4.@.@.4...4.@.@. │ │ │ 00019d70: 34e8 a005 34e3 4040 4142 4344 4546 4740 4...4.@@ABCDEFG@ │ │ │ -00019d80: 4005 b6cd 9538 ce65 91b0 959b d9ee 0530 @....8.e.......0 │ │ │ -00019d90: 2484 95a6 be00 0314 e000 00a6 da00 0227 $..............' │ │ │ +00019d80: 4059 f3c5 5e5d bb95 148e 7093 4cd3 34f4 @Y..^]....p.L.4. │ │ │ +00019d90: f084 95a6 be00 0314 e000 00a6 da00 0227 ...............' │ │ │ 00019da0: 8b00 0222 4808 0001 6f00 90a0 b7a0 9021 ..."H...o......! │ │ │ 00019db0: 4140 a99a a090 b090 a026 6669 6e73 6574 A@.......&finset │ │ │ 00019dc0: a029 7373 7265 666c 6563 74a0 286d 6174 .)ssreflect.(mat │ │ │ 00019dd0: 6863 6f6d 7040 2673 6574 5f6f 6602 35be hcomp@&set_of.5. │ │ │ 00019de0: 3134 a080 8090 a99a a090 b0a2 a290 a028 14.............( │ │ │ 00019df0: 6669 6e67 726f 7570 a004 0204 1028 4669 fingroup.....(Fi │ │ │ 00019e00: 6e47 726f 7570 2745 7870 6f72 7473 0925 nGroup'Exports.% │ │ │ @@ -19300,17 +19300,17 @@ │ │ │ 0004b630: 80a0 a003 0019 083b 8d33 8710 90b0 a026 .......;.3.....& │ │ │ 0004b640: 6669 6e61 6c67 a027 616c 6765 6272 61a0 finalg.'algebra. │ │ │ 0004b650: 042f 4020 0146 0da0 0300 3124 48e0 9e09 ./@ .F....1$H... │ │ │ 0004b660: fe90 b0a0 0438 a004 3704 0704 0601 3f87 .....8..7.....?. │ │ │ 0004b670: c004 2d80 2228 1480 cec0 7a0e 8f57 af43 ..-."(....z..W.C │ │ │ 0004b680: 6eb2 ff4f cd13 1302 0000 0004 0000 0007 n..O............ │ │ │ 0004b690: 6c69 6272 6172 7900 0000 0000 0004 9a00 library......... │ │ │ -0004b6a0: 0000 0000 0198 e705 b6cd 9538 ce65 91b0 ...........8.e.. │ │ │ -0004b6b0: 959b d9ee 0530 2400 0000 076f 7061 7175 .....0$....opaqu │ │ │ +0004b6a0: 0000 0000 0198 e759 f3c5 5e5d bb95 148e .......Y..^].... │ │ │ +0004b6b0: 7093 4cd3 34f4 f000 0000 076f 7061 7175 p.L.4......opaqu │ │ │ 0004b6c0: 6573 0000 0000 0001 9d91 0000 0000 0003 es.............. │ │ │ 0004b6d0: 14f4 6755 c549 803f 0f7d ea5c 9946 0200 ..gU.I.?.}.\.F.. │ │ │ 0004b6e0: 6843 0000 0007 7375 6d6d 6172 7900 0000 hC....summary... │ │ │ -0004b6f0: 0000 0000 1000 0000 0000 0004 7a79 dae1 ............zy.. │ │ │ -0004b700: c181 9306 3639 5f8a 0004 f68c 6300 0000 ....69_.....c... │ │ │ +0004b6f0: 0000 0000 1000 0000 0000 0004 7a29 bab6 ............z).. │ │ │ +0004b700: 62e5 c6a9 3f47 2682 56ed a879 2000 0000 b...?G&.V..y ... │ │ │ 0004b710: 0976 6d6c 6962 7261 7279 0000 0000 0004 .vmlibrary...... │ │ │ 0004b720: b295 0000 0000 0000 03e3 cec0 7a0e 8f57 ............z..W │ │ │ 0004b730: af43 6eb2 ff4f cd13 1302 .Cn..O.... │ │ ├── ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/solvable/extraspecial.vo │ │ │ @@ -67,54 +67,54 @@ │ │ │ 00000420: 736f 6c76 6162 6c65 a028 6d61 7468 636f solvable.(mathco │ │ │ 00000430: 6d70 4090 30d8 7161 4029 08fe b1f5 3b5a mp@.0.qa@)....;Z │ │ │ 00000440: 3297 707f 9ba0 a026 7373 7261 6c67 a027 2.p....&ssralg.' │ │ │ 00000450: 616c 6765 6272 61a0 286d 6174 6863 6f6d algebra.(mathcom │ │ │ 00000460: 7040 9030 d498 e4a8 4b15 672b 3dcd d2d2 p@.0....K.g+=... │ │ │ 00000470: 438d a5fa a0a0 2666 696e 616c 67a0 2761 C.....&finalg.'a │ │ │ 00000480: 6c67 6562 7261 a028 6d61 7468 636f 6d70 lgebra.(mathcomp │ │ │ -00000490: 4090 308e 882b db69 af6e dff2 0436 cc6c @.0..+.i.n...6.l │ │ │ -000004a0: b383 c4a0 a025 7a6d 6f64 70a0 2761 6c67 .....%zmodp.'alg │ │ │ +00000490: 4090 30fc c278 1b8c d503 94fa bd8e d329 @.0..x.........) │ │ │ +000004a0: 96c3 b9a0 a025 7a6d 6f64 70a0 2761 6c67 .....%zmodp.'alg │ │ │ 000004b0: 6562 7261 a028 6d61 7468 636f 6d70 4090 ebra.(mathcomp@. │ │ │ -000004c0: 30d0 7c56 6735 2784 00e2 4e21 1972 f423 0.|Vg5'...N!.r.# │ │ │ -000004d0: 24a0 a026 6379 636c 6963 a028 736f 6c76 $..&cyclic.(solv │ │ │ +000004c0: 30b6 7c8e 60ef 18a2 eff4 7011 4e80 7d6f 0.|.`.....p.N.}o │ │ │ +000004d0: 75a0 a026 6379 636c 6963 a028 736f 6c76 u..&cyclic.(solv │ │ │ 000004e0: 6162 6c65 a028 6d61 7468 636f 6d70 4090 able.(mathcomp@. │ │ │ -000004f0: 3005 b6cd 9538 ce65 91b0 959b d9ee 0530 0....8.e.......0 │ │ │ -00000500: 24a0 a026 7067 726f 7570 a028 736f 6c76 $..&pgroup.(solv │ │ │ +000004f0: 3059 f3c5 5e5d bb95 148e 7093 4cd3 34f4 0Y..^]....p.L.4. │ │ │ +00000500: f0a0 a026 7067 726f 7570 a028 736f 6c76 ...&pgroup.(solv │ │ │ 00000510: 6162 6c65 a028 6d61 7468 636f 6d70 4090 able.(mathcomp@. │ │ │ -00000520: 3058 967d 1f31 7d2b 9a64 dbe1 3f3e 588a 0X.}.1}+.d..?>X. │ │ │ -00000530: 89a0 a026 6365 6e74 6572 a028 736f 6c76 ...¢er.(solv │ │ │ +00000520: 30dc 4b93 26c6 7e5d 5983 280a 9999 425e 0.K.&.~]Y.(...B^ │ │ │ +00000530: 18a0 a026 6365 6e74 6572 a028 736f 6c76 ...¢er.(solv │ │ │ 00000540: 6162 6c65 a028 6d61 7468 636f 6d70 4090 able.(mathcomp@. │ │ │ -00000550: 3024 4488 7a19 c053 ae27 b80a a1b3 66c4 0$D.z..S.'....f. │ │ │ -00000560: 3ca0 a027 6773 6572 6965 73a0 2873 6f6c <..'gseries.(sol │ │ │ +00000550: 308f 8d32 f96d 6eae d667 c379 d563 4fe0 0..2.mn..g.y.cO. │ │ │ +00000560: f8a0 a027 6773 6572 6965 73a0 2873 6f6c ...'gseries.(sol │ │ │ 00000570: 7661 626c 65a0 286d 6174 6863 6f6d 7040 vable.(mathcomp@ │ │ │ -00000580: 9030 12ee 3fe1 cc4e 0464 74c4 5d77 dfc5 .0..?..N.dt.]w.. │ │ │ -00000590: 11e2 a0a0 296e 696c 706f 7465 6e74 a028 ....)nilpotent.( │ │ │ +00000580: 9030 6482 1bc4 619c 764a 6db9 94fe f563 .0d...a.vJm....c │ │ │ +00000590: 5414 a0a0 296e 696c 706f 7465 6e74 a028 T...)nilpotent.( │ │ │ 000005a0: 736f 6c76 6162 6c65 a028 6d61 7468 636f solvable.(mathco │ │ │ -000005b0: 6d70 4090 302f 4eec ab5e 69df b79a 24b4 mp@.0/N..^i...$. │ │ │ -000005c0: f519 04e4 1fa0 a025 7379 6c6f 77a0 2873 .......%sylow.(s │ │ │ +000005b0: 6d70 4090 30b9 e6cd 8aaf 3830 31d8 a407 mp@.0.....801... │ │ │ +000005c0: 4442 684f 59a0 a025 7379 6c6f 77a0 2873 DBhOY..%sylow.(s │ │ │ 000005d0: 6f6c 7661 626c 65a0 286d 6174 6863 6f6d olvable.(mathcom │ │ │ -000005e0: 7040 9030 2235 6f81 050f 808b d48b b309 p@.0"5o......... │ │ │ -000005f0: 027b cfca a0a0 2761 6265 6c69 616e a028 .{....'abelian.( │ │ │ +000005e0: 7040 9030 dfc5 fd8c 41bd b437 d786 ddf9 p@.0....A..7.... │ │ │ +000005f0: 0862 f851 a0a0 2761 6265 6c69 616e a028 .b.Q..'abelian.( │ │ │ 00000600: 736f 6c76 6162 6c65 a028 6d61 7468 636f solvable.(mathco │ │ │ -00000610: 6d70 4090 306a 3030 8104 e486 ce28 39fa mp@.0j00.....(9. │ │ │ -00000620: ea98 a0ad e0a0 a029 6669 6e6d 6f64 756c .......)finmodul │ │ │ +00000610: 6d70 4090 3045 e953 64e3 4e41 64f5 1f85 mp@.0E.Sd.NAd... │ │ │ +00000620: 76c3 a3d1 2da0 a029 6669 6e6d 6f64 756c v...-..)finmodul │ │ │ 00000630: 65a0 2873 6f6c 7661 626c 65a0 286d 6174 e.(solvable.(mat │ │ │ -00000640: 6863 6f6d 7040 9030 aa2a 2b27 6e56 d811 hcomp@.0.*+'nV.. │ │ │ -00000650: a2a6 32ac b6c8 26e6 a0a0 266d 6174 7269 ..2...&...&matri │ │ │ +00000640: 6863 6f6d 7040 9030 f89a 72f1 9107 bded hcomp@.0..r..... │ │ │ +00000650: af3b 53d9 246f 5db9 a0a0 266d 6174 7269 .;S.$o]...&matri │ │ │ 00000660: 78a0 2761 6c67 6562 7261 a028 6d61 7468 x.'algebra.(math │ │ │ -00000670: 636f 6d70 4090 3016 4c49 220e 3b41 5fe5 comp@.0.LI".;A_. │ │ │ -00000680: 93e7 7a03 79b6 11a0 a027 6d61 7869 6d61 ..z.y....'maxima │ │ │ +00000670: 636f 6d70 4090 30f8 eeeb 4a49 8103 7343 comp@.0...JI..sC │ │ │ +00000680: 2e40 f69c e34d 83a0 a027 6d61 7869 6d61 .@...M...'maxima │ │ │ 00000690: 6ca0 2873 6f6c 7661 626c 65a0 286d 6174 l.(solvable.(mat │ │ │ -000006a0: 6863 6f6d 7040 9030 eb05 c40e 08bb 2d4d hcomp@.0......-M │ │ │ -000006b0: c353 3893 ca89 d782 a0a0 2865 7874 7265 .S8.......(extre │ │ │ +000006a0: 6863 6f6d 7040 9030 e0d4 6c39 aa5b 3a09 hcomp@.0..l9.[:. │ │ │ +000006b0: 533e 55a9 54dd 567b a0a0 2865 7874 7265 S>U.T.V{..(extre │ │ │ 000006c0: 6d61 6ca0 2873 6f6c 7661 626c 65a0 286d mal.(solvable.(m │ │ │ -000006d0: 6174 6863 6f6d 7040 9030 22e3 41fc eeda athcomp@.0".A... │ │ │ -000006e0: 0648 4dbf b95f dc4f 1c7a 2535 2e34 2e30 .HM.._.O.z%5.4.0 │ │ │ -000006f0: a040 40ab 15d7 8cf3 9df8 6cff 6f06 82ca .@@.......l.o... │ │ │ -00000700: 7021 0984 95a6 be00 00bb f000 0026 c300 p!...........&.. │ │ │ +000006d0: 6174 6863 6f6d 7040 9030 3fba 4911 2b7c athcomp@.0?.I.+| │ │ │ +000006e0: 2abe 9931 2138 0e81 e8a3 2535 2e34 2e30 *..1!8....%5.4.0 │ │ │ +000006f0: a040 4023 ed32 d323 0a92 5d9c 1910 e335 .@@#.2.#..]....5 │ │ │ +00000700: 71fc 4884 95a6 be00 00bb f000 0026 c300 q.H..........&.. │ │ │ 00000710: 008e 0800 0088 e5b0 d0a0 2c65 7874 7261 ..........,extra │ │ │ 00000720: 7370 6563 6961 6ca0 2873 6f6c 7661 626c special.(solvabl │ │ │ 00000730: 65a0 286d 6174 6863 6f6d 7040 e090 0408 e.(mathcomp@.... │ │ │ 00000740: 4190 a0a0 2d50 6578 7472 6173 7065 6369 A...-Pextraspeci │ │ │ 00000750: 616c 93e0 a204 0804 0441 90a0 a023 6163 al.......A...#ac │ │ │ 00000760: 7490 0800 0027 0040 a080 8091 b7a0 9021 t....'.@.......! │ │ │ 00000770: 7040 9ba0 a090 b090 a029 4461 7461 7479 p@.......)Dataty │ │ │ @@ -1965,16 +1965,16 @@ │ │ │ 00007ac0: 0130 c0c0 40b0 040e 4104 fcc0 40b0 0410 .0..@...A...@... │ │ │ 00007ad0: 4105 010d c040 b005 02c0 4105 01ac 4041 A....@....A...@A │ │ │ 00007ae0: 4243 b005 02c1 4105 0197 c040 b005 09f8 BC....A....@.... │ │ │ 00007af0: 4205 02c3 4041 4445 b005 09f9 4205 02c0 B...@ADE....B... │ │ │ 00007b00: c0c0 40b0 0509 fc42 0502 be40 41b0 0509 ..@....B...@A... │ │ │ 00007b10: fd42 0502 bbc0 c040 b005 01e3 4205 0291 .B.....@....B... │ │ │ 00007b20: 4041 b005 01ed 4205 0217 4042 4346 4748 @A....B...@BCFGH │ │ │ -00007b30: 4a90 a005 0e56 9030 22e3 41fc eeda 0648 J....V.0".A....H │ │ │ -00007b40: 4dbf b95f dc4f 1c7a 9040 a0a0 95a0 021d M.._.O.z.@...... │ │ │ +00007b30: 4a90 a005 0e56 9030 3fba 4911 2b7c 2abe J....V.0?.I.+|*. │ │ │ +00007b40: 9931 2138 0e81 e8a3 9040 a0a0 95a0 021d .1!8.....@...... │ │ │ 00007b50: 041a fca0 40a0 a040 285f 205e 7b31 2b32 ....@..@(_ ^{1+2 │ │ │ 00007b60: 7dc0 a0a0 4042 a090 4240 a0b1 4040 a090 }...@B..B@..@@.. │ │ │ 00007b70: 42a0 4090 4040 90a0 d0a0 a040 4204 0d40 B.@.@@.....@B..@ │ │ │ 00007b80: 0412 a0a0 a1a1 4004 0d90 0514 f3a0 a041 ......@........A │ │ │ 00007b90: 265e 7b31 2b32 7d40 40a0 0413 4040 90a0 &^{1+2}@@...@@.. │ │ │ 00007ba0: 41a0 a090 b040 9042 9040 a094 040c 4042 A....@.B.@....@B │ │ │ 00007bb0: a095 a002 1d04 1afc a040 a0a0 402c 5f20 .........@..@,_ │ │ │ @@ -3114,16 +3114,16 @@ │ │ │ 0000c290: a090 9205 2680 4005 0b33 a095 a002 1b83 ....&.@..3...... │ │ │ 0000c2a0: 229d b090 0514 de40 a005 14c7 40a0 95a0 "......@....@... │ │ │ 0000c2b0: 0232 0a51 8fa0 0514 e3b0 9241 4040 a095 .2.Q.......A@@.. │ │ │ 0000c2c0: a002 0fc0 a2b8 a090 e041 4040 4040 40a0 .........A@@@@@. │ │ │ 0000c2d0: a091 90b0 0526 ad05 14f0 0228 49da 34a0 .....&.....(I.4. │ │ │ 0000c2e0: a040 a040 4040 40a0 95a0 0227 60a0 6fd0 .@.@@@@....'`.o. │ │ │ 0000c2f0: 4091 040a a0a0 0510 6b40 40a0 9092 0526 @.......k@@....& │ │ │ -0000c300: a440 050b 5740 403d d774 1b49 77ce c4ee .@..W@@=.t.Iw... │ │ │ -0000c310: de7e 4e88 38af a284 95a6 be00 0727 9100 .~N.8........'.. │ │ │ +0000c300: a440 050b 5740 40c2 833c 2137 78c0 558a .@..W@@..X │ │ │ -00000580: 8a89 a0a0 2663 656e 7465 72a0 2873 6f6c ....¢er.(sol │ │ │ +00000570: 9030 dc4b 9326 c67e 5d59 8328 0a99 9942 .0.K.&.~]Y.(...B │ │ │ +00000580: 5e18 a0a0 2663 656e 7465 72a0 2873 6f6c ^...¢er.(sol │ │ │ 00000590: 7661 626c 65a0 286d 6174 6863 6f6d 7040 vable.(mathcomp@ │ │ │ -000005a0: 9030 2444 887a 19c0 53ae 27b8 0aa1 b366 .0$D.z..S.'....f │ │ │ -000005b0: c43c a0a0 2767 7365 7269 6573 a028 736f .<..'gseries.(so │ │ │ +000005a0: 9030 8f8d 32f9 6d6e aed6 67c3 79d5 634f .0..2.mn..g.y.cO │ │ │ +000005b0: e0f8 a0a0 2767 7365 7269 6573 a028 736f ....'gseries.(so │ │ │ 000005c0: 6c76 6162 6c65 a028 6d61 7468 636f 6d70 lvable.(mathcomp │ │ │ -000005d0: 4090 3012 ee3f e1cc 4e04 6474 c45d 77df @.0..?..N.dt.]w. │ │ │ -000005e0: c511 e2a0 a029 6e69 6c70 6f74 656e 74a0 .....)nilpotent. │ │ │ +000005d0: 4090 3064 821b c461 9c76 4a6d b994 fef5 @.0d...a.vJm.... │ │ │ +000005e0: 6354 14a0 a029 6e69 6c70 6f74 656e 74a0 cT...)nilpotent. │ │ │ 000005f0: 2873 6f6c 7661 626c 65a0 286d 6174 6863 (solvable.(mathc │ │ │ -00000600: 6f6d 7040 9030 2f4e ecab 5e69 dfb7 9a24 omp@.0/N..^i...$ │ │ │ -00000610: b4f5 1904 e41f a0a0 2573 796c 6f77 a028 ........%sylow.( │ │ │ +00000600: 6f6d 7040 9030 b9e6 cd8a af38 3031 d8a4 omp@.0.....801.. │ │ │ +00000610: 0744 4268 4f59 a0a0 2573 796c 6f77 a028 .DBhOY..%sylow.( │ │ │ 00000620: 736f 6c76 6162 6c65 a028 6d61 7468 636f solvable.(mathco │ │ │ -00000630: 6d70 4090 3022 356f 8105 0f80 8bd4 8bb3 mp@.0"5o........ │ │ │ -00000640: 0902 7bcf caa0 a027 6162 656c 6961 6ea0 ..{....'abelian. │ │ │ +00000630: 6d70 4090 30df c5fd 8c41 bdb4 37d7 86dd mp@.0....A..7... │ │ │ +00000640: f908 62f8 51a0 a027 6162 656c 6961 6ea0 ..b.Q..'abelian. │ │ │ 00000650: 2873 6f6c 7661 626c 65a0 286d 6174 6863 (solvable.(mathc │ │ │ -00000660: 6f6d 7040 9030 6a30 3081 04e4 86ce 2839 omp@.0j00.....(9 │ │ │ -00000670: faea 98a0 ade0 a0a0 2966 696e 6d6f 6475 ........)finmodu │ │ │ +00000660: 6f6d 7040 9030 45e9 5364 e34e 4164 f51f omp@.0E.Sd.NAd.. │ │ │ +00000670: 8576 c3a3 d12d a0a0 2966 696e 6d6f 6475 .v...-..)finmodu │ │ │ 00000680: 6c65 a028 736f 6c76 6162 6c65 a028 6d61 le.(solvable.(ma │ │ │ -00000690: 7468 636f 6d70 4090 30aa 2a2b 276e 56d8 thcomp@.0.*+'nV. │ │ │ -000006a0: 11a2 a632 acb6 c826 e6a0 a026 6d61 7472 ...2...&...&matr │ │ │ +00000690: 7468 636f 6d70 4090 30f8 9a72 f191 07bd thcomp@.0..r.... │ │ │ +000006a0: edaf 3b53 d924 6f5d b9a0 a026 6d61 7472 ..;S.$o]...&matr │ │ │ 000006b0: 6978 a027 616c 6765 6272 61a0 286d 6174 ix.'algebra.(mat │ │ │ -000006c0: 6863 6f6d 7040 9030 164c 4922 0e3b 415f hcomp@.0.LI".;A_ │ │ │ -000006d0: e593 e77a 0379 b611 a0a0 276d 6178 696d ...z.y....'maxim │ │ │ +000006c0: 6863 6f6d 7040 9030 f8ee eb4a 4981 0373 hcomp@.0...JI..s │ │ │ +000006d0: 432e 40f6 9ce3 4d83 a0a0 276d 6178 696d C.@...M...'maxim │ │ │ 000006e0: 616c a028 736f 6c76 6162 6c65 a028 6d61 al.(solvable.(ma │ │ │ -000006f0: 7468 636f 6d70 4090 30eb 05c4 0e08 bb2d thcomp@.0......- │ │ │ -00000700: 4dc3 5338 93ca 89d7 8225 352e 342e 30a0 M.S8.....%5.4.0. │ │ │ -00000710: 4040 917a 37e0 44a3 b77b 98c7 59ce 1ddc @@.z7.D..{..Y... │ │ │ -00000720: 6a1e 8495 a6be 0003 1dbb 0000 b26d 0002 j............m.. │ │ │ +000006f0: 7468 636f 6d70 4090 30e0 d46c 39aa 5b3a thcomp@.0..l9.[: │ │ │ +00000700: 0953 3e55 a954 dd56 7b25 352e 342e 30a0 .S>U.T.V{%5.4.0. │ │ │ +00000710: 4040 81e3 1fd7 9da4 3d16 beac 3fcd dfb0 @@......=...?... │ │ │ +00000720: 4381 8495 a6be 0003 1dbb 0000 b26d 0002 C............m.. │ │ │ 00000730: 7d91 0002 6ee1 b0d0 a028 6578 7472 656d }...n....(extrem │ │ │ 00000740: 616c a028 736f 6c76 6162 6c65 a028 6d61 al.(solvable.(ma │ │ │ 00000750: 7468 636f 6d70 40e0 9004 0841 90a0 a028 thcomp@....A...( │ │ │ 00000760: 4578 7472 656d 616c 93e0 a204 0804 0441 Extremal.......A │ │ │ 00000770: 90a0 a026 6175 745f 6f66 9008 0000 2700 ...&aut_of....'. │ │ │ 00000780: 40a0 8080 91b7 a090 2171 409b a0a0 90b0 @.......!q@..... │ │ │ 00000790: 90a0 2944 6174 6174 7970 6573 a024 496e ..)Datatypes.$In │ │ │ @@ -4286,19 +4286,19 @@ │ │ │ 00010bd0: 41b0 0502 5e41 0502 24c0 c040 b005 0261 A...^A..$..@...a │ │ │ 00010be0: 4105 0223 c040 b005 0263 4104 1d40 4142 A..#.@...cA..@AB │ │ │ 00010bf0: b005 0264 4105 0218 4043 44b0 0502 6541 ...dA...@CD...eA │ │ │ 00010c00: 0502 c8c0 c040 b005 0268 4105 020c 4041 .....@...hA...@A │ │ │ 00010c10: b005 0269 4105 0204 c040 b005 026b 41a0 ...iA....@...kA. │ │ │ 00010c20: 0301 f978 fac2 59e8 ab90 b005 01f7 0501 ...x..Y......... │ │ │ 00010c30: f401 0805 c040 b005 02a5 4205 02f8 4041 .....@....B...@A │ │ │ -00010c40: 4243 4546 484b b0a0 0531 7590 3016 4c49 BCEFHK...1u.0.LI │ │ │ -00010c50: 220e 3b41 5fe5 93e7 7a03 79b6 11a0 a027 ".;A_...z.y....' │ │ │ +00010c40: 4243 4546 484b b0a0 0531 7590 30f8 eeeb BCEFHK...1u.0... │ │ │ +00010c50: 4a49 8103 7343 2e40 f69c e34d 83a0 a027 JI..sC.@...M...' │ │ │ 00010c60: 6d61 7869 6d61 6ca0 2873 6f6c 7661 626c maximal.(solvabl │ │ │ -00010c70: 65a0 286d 6174 6863 6f6d 7040 9030 eb05 e.(mathcomp@.0.. │ │ │ -00010c80: c40e 08bb 2d4d c353 3893 ca89 d782 a005 ....-M.S8....... │ │ │ +00010c70: 65a0 286d 6174 6863 6f6d 7040 9030 e0d4 e.(mathcomp@.0.. │ │ │ +00010c80: 6c39 aa5b 3a09 533e 55a9 54dd 567b a005 l9.[:.S>U.T.V{.. │ │ │ 00010c90: 15d0 9030 a224 2281 e868 e948 0334 3142 ...0.$"..h.H.41B │ │ │ 00010ca0: d1fa 823f 9040 a0a0 95a0 021d 041a fca0 ...?.@.......... │ │ │ 00010cb0: 40a0 a040 2727 4d6f 645f 205f c0a0 a040 @..@''Mod_ _...@ │ │ │ 00010cc0: 48a0 9142 40a0 b140 40a0 9042 a041 4040 H..B@..@@..B.A@@ │ │ │ 00010cd0: 90a0 d0a0 a040 4804 0c40 0411 a0a0 a041 .....@H..@.....A │ │ │ 00010ce0: 2527 4d6f 645f a0a1 a140 040f 9005 25e6 %'Mod_...@....%. │ │ │ 00010cf0: 4040 a004 1240 4090 a041 a0a0 9404 0ba0 @@...@@..A...... │ │ │ @@ -12873,16 +12873,16 @@ │ │ │ 00032480: a0a0 b005 b252 0501 3702 2ab0 7f0c 0501 .....R..7.*..... │ │ │ 00032490: 35a0 a0b0 05b2 5505 010f 022a b07f 0d05 5.....U....*.... │ │ │ 000324a0: 010d a0a0 b005 b258 04e9 022a b07f 0e04 .......X...*.... │ │ │ 000324b0: e7a0 a0b0 05b2 5b04 c102 2ab0 7f0f 04bf ......[...*..... │ │ │ 000324c0: a0a0 b005 b25e 049b 022a b07f 1004 99a0 .....^...*...... │ │ │ 000324d0: a0b0 05b2 6104 7502 2ab0 7f1a 0473 a0a0 ....a.u.*....s.. │ │ │ 000324e0: b005 b264 044f 022a b07f 1b04 4d40 4240 ...d.O.*....M@B@ │ │ │ -000324f0: 4022 e341 fcee da06 484d bfb9 5fdc 4f1c @".A....HM.._.O. │ │ │ -00032500: 7a84 95a6 be00 1a5c bf00 044c 5300 0e4f z......\...LS..O │ │ │ +000324f0: 403f ba49 112b 7c2a be99 3121 380e 81e8 @?.I.+|*..1!8... │ │ │ +00032500: a384 95a6 be00 1a5c bf00 044c 5300 0e4f .......\...LS..O │ │ │ 00032510: 7c00 0e47 0d08 0000 eb00 90a0 a9b7 a090 |..G............ │ │ │ 00032520: 285f 6576 6172 5f30 5f40 a99a a090 b090 (_evar_0_@...... │ │ │ 00032530: a029 4461 7461 7479 7065 73a0 2449 6e69 .)Datatypes.$Ini │ │ │ 00032540: 74a0 2343 6f71 4027 6973 5f74 7275 6502 t.#Coq@'is_true. │ │ │ 00032550: 0723 c29c a080 8090 a99a a090 b090 a023 .#.............# │ │ │ 00032560: 6469 76a0 2973 7372 6566 6c65 6374 a028 div.)ssreflect.( │ │ │ 00032570: 6d61 7468 636f 6d70 4024 6476 646e 0224 mathcomp@$dvdn.$ │ │ │ @@ -121048,18 +121048,18 @@ │ │ │ 001d8d70: 5d4d 98b0 a0a0 4040 a041 4041 4794 043d ]M....@@.A@AG..= │ │ │ 001d8d80: 9404 3c98 b004 0741 40c0 0926 2d00 038c ..<....A@..&-... │ │ │ 001d8d90: 2a2b 0136 0037 0137 0222 3703 3704 2137 *+.6.7.7."7.7.!7 │ │ │ 001d8da0: 0337 0521 3706 230b 0b37 0722 3701 3708 .7.!7.#..7."7.7. │ │ │ 001d8db0: 2805 802b 2008 080c 080c 080c 140c 0880 (..+ ........... │ │ │ 001d8dc0: c025 94da 118b 7355 f574 f315 2849 1bbc .%....sU.t..(I.. │ │ │ 001d8dd0: 0000 0004 0000 0007 6c69 6272 6172 7900 ........library. │ │ │ -001d8de0: 0000 0000 0007 2200 0000 0000 031d cf22 ......"........" │ │ │ -001d8df0: e341 fcee da06 484d bfb9 5fdc 4f1c 7a00 .A....HM.._.O.z. │ │ │ +001d8de0: 0000 0000 0007 2200 0000 0000 031d cf3f ......"........? │ │ │ +001d8df0: ba49 112b 7c2a be99 3121 380e 81e8 a300 .I.+|*..1!8..... │ │ │ 001d8e00: 0000 076f 7061 7175 6573 0000 0000 0003 ...opaques...... │ │ │ 001d8e10: 2501 0000 0000 001a 5cd3 57a8 e628 e9c1 %.......\.W..(.. │ │ │ 001d8e20: b3a3 9eea 5d65 e975 bebe 0000 0007 7375 ....]e.u......su │ │ │ 001d8e30: 6d6d 6172 7900 0000 0000 0000 1000 0000 mmary........... │ │ │ -001d8e40: 0000 0007 0291 7a37 e044 a3b7 7b98 c759 ......z7.D..{..Y │ │ │ -001d8e50: ce1d dc6a 1e00 0000 0976 6d6c 6962 7261 ...j.....vmlibra │ │ │ +001d8e40: 0000 0007 0281 e31f d79d a43d 16be ac3f ...........=...? │ │ │ +001d8e50: cddf b043 8100 0000 0976 6d6c 6962 7261 ...C.....vmlibra │ │ │ 001d8e60: 7279 0000 0000 001d 81e4 0000 0000 0000 ry.............. │ │ │ 001d8e70: 0bdc c025 94da 118b 7355 f574 f315 2849 ...%....sU.t..(I │ │ │ 001d8e80: 1bbc .. │ │ ├── ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/solvable/finmodule.vo │ │ │ @@ -46,27 +46,27 @@ │ │ │ 000002d0: 286d 6f72 7068 6973 6da0 2866 696e 6772 (morphism.(fingr │ │ │ 000002e0: 6f75 70a0 286d 6174 6863 6f6d 7040 9030 oup.(mathcomp@.0 │ │ │ 000002f0: 2c69 1da6 1d93 33dd 87de 6abe 2713 41cb ,i....3...j.'.A. │ │ │ 00000300: a0a0 2470 6572 6da0 2866 696e 6772 6f75 ..$perm.(fingrou │ │ │ 00000310: 70a0 286d 6174 6863 6f6d 7040 9030 562e p.(mathcomp@.0V. │ │ │ 00000320: 7465 7484 3acc d7c5 7dba 0899 b690 a0a0 tet.:...}....... │ │ │ 00000330: 2666 696e 616c 67a0 2761 6c67 6562 7261 &finalg.'algebra │ │ │ -00000340: a028 6d61 7468 636f 6d70 4090 308e 882b .(mathcomp@.0..+ │ │ │ -00000350: db69 af6e dff2 0436 cc6c b383 c4a0 a028 .i.n...6.l.....( │ │ │ +00000340: a028 6d61 7468 636f 6d70 4090 30fc c278 .(mathcomp@.0..x │ │ │ +00000350: 1b8c d503 94fa bd8e d329 96c3 b9a0 a028 .........).....( │ │ │ 00000360: 6770 726f 6475 6374 a028 6669 6e67 726f gproduct.(fingro │ │ │ 00000370: 7570 a028 6d61 7468 636f 6d70 4090 3022 up.(mathcomp@.0" │ │ │ 00000380: 654a 4cfd 624c f1b4 7e42 f646 6627 eda0 eJL.bL..~B.Ff'.. │ │ │ 00000390: a02a 636f 6d6d 7574 6174 6f72 a028 736f .*commutator.(so │ │ │ 000003a0: 6c76 6162 6c65 a028 6d61 7468 636f 6d70 lvable.(mathcomp │ │ │ 000003b0: 4090 30d8 7161 4029 08fe b1f5 3b5a 3297 @.0.qa@)....;Z2. │ │ │ 000003c0: 707f 9ba0 a026 6379 636c 6963 a028 736f p....&cyclic.(so │ │ │ 000003d0: 6c76 6162 6c65 a028 6d61 7468 636f 6d70 lvable.(mathcomp │ │ │ -000003e0: 4090 3005 b6cd 9538 ce65 91b0 959b d9ee @.0....8.e...... │ │ │ -000003f0: 0530 2425 352e 342e 30a0 4040 e6c1 4a28 .0$%5.4.0.@@..J( │ │ │ -00000400: 7a50 1378 61d4 78f9 015b 2ed0 8495 a6be zP.xa.x..[...... │ │ │ +000003e0: 4090 3059 f3c5 5e5d bb95 148e 7093 4cd3 @.0Y..^]....p.L. │ │ │ +000003f0: 34f4 f025 352e 342e 30a0 4040 aef6 b140 4..%5.4.0.@@...@ │ │ │ +00000400: f1c4 f78e a3c8 427f 1b33 0116 8495 a6be ......B..3...... │ │ │ 00000410: 0003 d24a 0000 e3c5 0003 1e38 0003 0db5 ...J.......8.... │ │ │ 00000420: b0d0 a029 6669 6e6d 6f64 756c 65a0 2873 ...)finmodule.(s │ │ │ 00000430: 6f6c 7661 626c 65a0 286d 6174 6863 6f6d olvable.(mathcom │ │ │ 00000440: 7040 e090 0408 4190 a0a0 2c46 696e 6974 p@....A...,Finit │ │ │ 00000450: 654d 6f64 756c 6593 e0a2 0408 0404 4190 eModule.......A. │ │ │ 00000460: a0a0 2766 6d6f 645f 6f66 9108 0000 3f00 ..'fmod_of....?. │ │ │ 00000470: 9008 0000 4300 0405 a0a0 a090 2561 6265 ....C.......%abe │ │ │ @@ -4078,16 +4078,16 @@ │ │ │ 0000fed0: 029a 42a0 0300 44c6 3864 209a 5690 b005 ..B...D.8d .V... │ │ │ 0000fee0: 293d 0502 c301 0654 4042 4345 4647 484a )=.....T@BCEFGHJ │ │ │ 0000fef0: a0a0 a02a 636f 6d6d 7574 6174 6f72 a028 ...*commutator.( │ │ │ 0000ff00: 736f 6c76 6162 6c65 a028 6d61 7468 636f solvable.(mathco │ │ │ 0000ff10: 6d70 4090 30d8 7161 4029 08fe b1f5 3b5a mp@.0.qa@)....;Z │ │ │ 0000ff20: 3297 707f 9ba0 a026 6379 636c 6963 a028 2.p....&cyclic.( │ │ │ 0000ff30: 736f 6c76 6162 6c65 a028 6d61 7468 636f solvable.(mathco │ │ │ -0000ff40: 6d70 4090 3005 b6cd 9538 ce65 91b0 959b mp@.0....8.e.... │ │ │ -0000ff50: d9ee 0530 2490 40a0 a0a0 0530 dfa0 4090 ...0$.@....0..@. │ │ │ +0000ff40: 6d70 4090 3059 f3c5 5e5d bb95 148e 7093 mp@.0Y..^]....p. │ │ │ +0000ff50: 4cd3 34f4 f090 40a0 a0a0 0530 dfa0 4090 L.4...@....0..@. │ │ │ 0000ff60: a095 a002 1d04 1afc a040 a0a0 4026 5f20 .........@..@&_ │ │ │ 0000ff70: 5e40 205f c0a0 a040 5fa0 915f a090 5f40 ^@ _...@_.._.._@ │ │ │ 0000ff80: a0b1 4040 a090 5fa0 4090 42a0 b140 40a0 ..@@.._.@.B..@@. │ │ │ 0000ff90: 905f a041 0406 4090 a0d0 a0a0 405f 0414 ._.A..@.....@_.. │ │ │ 0000ffa0: 9042 041a a0a0 a1a1 4004 1390 052a 10a0 .B......@....*.. │ │ │ 0000ffb0: a041 225e 40a0 a1a1 4004 1490 0530 a040 .A"^@...@....0.@ │ │ │ 0000ffc0: 40a0 041d a004 1840 4090 a041 a0a0 a590 @......@@..A.... │ │ │ @@ -15712,16 +15712,16 @@ │ │ │ 0003d5f0: 9405 012d a0a0 b005 db66 0501 0802 3fcd ...-.....f....?. │ │ │ 0003d600: ca95 0501 06a0 a0b0 05db 6904 e002 3fcd ..........i...?. │ │ │ 0003d610: ca96 04de a0a0 b005 db6c 04ba 023f cdca .........l...?.. │ │ │ 0003d620: 9704 b8a0 a0b0 05db 6f04 9202 3fcd caa1 ........o...?... │ │ │ 0003d630: 0490 a0a0 b005 db72 046c 023f cdca a204 .......r.l.?.... │ │ │ 0003d640: 6aa0 a0b0 05db 7504 4602 3fcd caa3 0444 j.....u.F.?....D │ │ │ 0003d650: 4042 4040 a095 a002 044e ceb4 a005 138e @B@@.....N...... │ │ │ -0003d660: b040 0513 8eb0 4040 4040 aa2a 2b27 6e56 .@....@@@@.*+'nV │ │ │ -0003d670: d811 a2a6 32ac b6c8 26e6 8495 a6be 0002 ....2...&....... │ │ │ +0003d660: b040 0513 8eb0 4040 4040 f89a 72f1 9107 .@....@@@@..r... │ │ │ +0003d670: bded af3b 53d9 246f 5db9 8495 a6be 0002 ...;S.$o]....... │ │ │ 0003d680: 8643 0000 7d07 0001 b005 0001 ad26 0800 .C..}........&.. │ │ │ 0003d690: 00c7 0090 a0b5 b7a0 9021 7540 a99b a0a0 .........!u@.... │ │ │ 0003d6a0: 90b0 a290 a029 6669 6e6d 6f64 756c 65a0 .....)finmodule. │ │ │ 0003d6b0: 2873 6f6c 7661 626c 65a0 286d 6174 6863 (solvable.(mathc │ │ │ 0003d6c0: 6f6d 7040 2c46 696e 6974 654d 6f64 756c omp@,FiniteModul │ │ │ 0003d6d0: 6527 666d 6f64 5f6f 6602 2ed1 d64b 40a0 e'fmod_of....K@. │ │ │ 0003d6e0: 8080 b091 2267 5491 2141 9125 6162 656c ...."gT.!A.%abel │ │ │ @@ -26514,18 +26514,18 @@ │ │ │ 00067910: 0120 0619 370b 2337 1b21 0c38 0401 2901 . ..7.#7.!.8..). │ │ │ 00067920: 8009 3b48 4018 1824 5c30 500c 0c0c 3814 ..;H@..$\0P...8. │ │ │ 00067930: 0c10 0c0c 0c38 140c 0c20 0c0c 140c 0c1c .....8... ...... │ │ │ 00067940: 0c28 0c10 0c24 1410 100c 0c0c 100c 0c0c .(...$.......... │ │ │ 00067950: 0c10 0c0c 0c0c 140c 0c0c 0c38 140c 80f5 ...........8.... │ │ │ 00067960: 57cb e5c3 9005 6773 f96d 40ef d238 3900 W.....gs.m@..89. │ │ │ 00067970: 0000 0400 0000 076c 6962 7261 7279 0000 .......library.. │ │ │ -00067980: 0000 0000 040c 0000 0000 0003 d25e aa2a .............^.* │ │ │ -00067990: 2b27 6e56 d811 a2a6 32ac b6c8 26e6 0000 +'nV....2...&... │ │ │ +00067980: 0000 0000 040c 0000 0000 0003 d25e f89a .............^.. │ │ │ +00067990: 72f1 9107 bded af3b 53d9 246f 5db9 0000 r......;S.$o]... │ │ │ 000679a0: 0007 6f70 6171 7565 7300 0000 0000 03d6 ..opaques....... │ │ │ 000679b0: 7a00 0000 0000 0286 57db dd71 4d7d 27a2 z.......W..qM}'. │ │ │ 000679c0: c4e1 9877 c8b7 44fe 0900 0000 0773 756d ...w..D......sum │ │ │ 000679d0: 6d61 7279 0000 0000 0000 0010 0000 0000 mary............ │ │ │ -000679e0: 0000 03ec e6c1 4a28 7a50 1378 61d4 78f9 ......J(zP.xa.x. │ │ │ -000679f0: 015b 2ed0 0000 0009 766d 6c69 6272 6172 .[......vmlibrar │ │ │ +000679e0: 0000 03ec aef6 b140 f1c4 f78e a3c8 427f .......@......B. │ │ │ +000679f0: 1b33 0116 0000 0009 766d 6c69 6272 6172 .3......vmlibrar │ │ │ 00067a00: 7900 0000 0000 065c e100 0000 0000 001c y......\........ │ │ │ 00067a10: 7ef5 57cb e5c3 9005 6773 f96d 40ef d238 ~.W.....gs.m@..8 │ │ │ 00067a20: 39 9 │ │ ├── ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/solvable/frobenius.vo │ │ │ @@ -48,32 +48,32 @@ │ │ │ 000002f0: 7570 a028 6d61 7468 636f 6d70 4090 300e up.(mathcomp@.0. │ │ │ 00000300: ec10 7918 deea 22c5 06b9 d4ee de25 2ba0 ..y..."......%+. │ │ │ 00000310: a028 6770 726f 6475 6374 a028 6669 6e67 .(gproduct.(fing │ │ │ 00000320: 726f 7570 a028 6d61 7468 636f 6d70 4090 roup.(mathcomp@. │ │ │ 00000330: 3022 654a 4cfd 624c f1b4 7e42 f646 6627 0"eJL.bL..~B.Ff' │ │ │ 00000340: eda0 a026 6379 636c 6963 a028 736f 6c76 ...&cyclic.(solv │ │ │ 00000350: 6162 6c65 a028 6d61 7468 636f 6d70 4090 able.(mathcomp@. │ │ │ -00000360: 3005 b6cd 9538 ce65 91b0 959b d9ee 0530 0....8.e.......0 │ │ │ -00000370: 24a0 a026 6365 6e74 6572 a028 736f 6c76 $..¢er.(solv │ │ │ +00000360: 3059 f3c5 5e5d bb95 148e 7093 4cd3 34f4 0Y..^]....p.L.4. │ │ │ +00000370: f0a0 a026 6365 6e74 6572 a028 736f 6c76 ...¢er.(solv │ │ │ 00000380: 6162 6c65 a028 6d61 7468 636f 6d70 4090 able.(mathcomp@. │ │ │ -00000390: 3024 4488 7a19 c053 ae27 b80a a1b3 66c4 0$D.z..S.'....f. │ │ │ -000003a0: 3ca0 a026 7067 726f 7570 a028 736f 6c76 <..&pgroup.(solv │ │ │ +00000390: 308f 8d32 f96d 6eae d667 c379 d563 4fe0 0..2.mn..g.y.cO. │ │ │ +000003a0: f8a0 a026 7067 726f 7570 a028 736f 6c76 ...&pgroup.(solv │ │ │ 000003b0: 6162 6c65 a028 6d61 7468 636f 6d70 4090 able.(mathcomp@. │ │ │ -000003c0: 3058 967d 1f31 7d2b 9a64 dbe1 3f3e 588a 0X.}.1}+.d..?>X. │ │ │ -000003d0: 89a0 a029 6e69 6c70 6f74 656e 74a0 2873 ...)nilpotent.(s │ │ │ +000003c0: 30dc 4b93 26c6 7e5d 5983 280a 9999 425e 0.K.&.~]Y.(...B^ │ │ │ +000003d0: 18a0 a029 6e69 6c70 6f74 656e 74a0 2873 ...)nilpotent.(s │ │ │ 000003e0: 6f6c 7661 626c 65a0 286d 6174 6863 6f6d olvable.(mathcom │ │ │ -000003f0: 7040 9030 2f4e ecab 5e69 dfb7 9a24 b4f5 p@.0/N..^i...$.. │ │ │ -00000400: 1904 e41f a0a0 2573 796c 6f77 a028 736f ......%sylow.(so │ │ │ +000003f0: 7040 9030 b9e6 cd8a af38 3031 d8a4 0744 p@.0.....801...D │ │ │ +00000400: 4268 4f59 a0a0 2573 796c 6f77 a028 736f BhOY..%sylow.(so │ │ │ 00000410: 6c76 6162 6c65 a028 6d61 7468 636f 6d70 lvable.(mathcomp │ │ │ -00000420: 4090 3022 356f 8105 0f80 8bd4 8bb3 0902 @.0"5o.......... │ │ │ -00000430: 7bcf caa0 a024 6861 6c6c a028 736f 6c76 {....$hall.(solv │ │ │ +00000420: 4090 30df c5fd 8c41 bdb4 37d7 86dd f908 @.0....A..7..... │ │ │ +00000430: 62f8 51a0 a024 6861 6c6c a028 736f 6c76 b.Q..$hall.(solv │ │ │ 00000440: 6162 6c65 a028 6d61 7468 636f 6d70 4090 able.(mathcomp@. │ │ │ -00000450: 30ca 77af 8663 84ba 76b8 3bc7 e9ac 9313 0.w..c..v.;..... │ │ │ -00000460: ce25 352e 342e 30a0 4040 e336 c632 69a5 .%5.4.0.@@.6.2i. │ │ │ -00000470: 1607 6345 66df b32c 6201 8495 a6be 0000 ..cEf..,b....... │ │ │ +00000450: 3090 96ee ce3b 2f87 c213 a593 dbaf 0ea1 0....;/......... │ │ │ +00000460: 1725 352e 342e 30a0 4040 8a73 9d7b 0a21 .%5.4.0.@@.s.{.! │ │ │ +00000470: c7fa d1c7 2325 7eac a43b 8495 a6be 0000 ....#%~..;...... │ │ │ 00000480: fa62 0000 39b4 0000 cb46 0000 c74e b0d0 .b..9....F...N.. │ │ │ 00000490: a029 6672 6f62 656e 6975 73a0 2873 6f6c .)frobenius.(sol │ │ │ 000004a0: 7661 626c 65a0 286d 6174 6863 6f6d 7040 vable.(mathcomp@ │ │ │ 000004b0: e090 0408 4190 a0a0 2b73 656d 6972 6567 ....A...+semireg │ │ │ 000004c0: 756c 6172 9008 0000 2700 40a0 8080 91b7 ular....'.@..... │ │ │ 000004d0: a090 2267 5440 9ba0 a090 b0a2 90a0 2866 .."gT@........(f │ │ │ 000004e0: 696e 6772 6f75 70a0 0402 a004 1a40 2846 ingroup......@(F │ │ │ @@ -2270,16 +2270,16 @@ │ │ │ 00008dd0: 5241 0501 3040 41b0 0501 5341 0501 22c0 RA..0@A...SA..". │ │ │ 00008de0: 40b0 0501 5541 0501 1e40 4142 b005 0156 @...UA...@AB...V │ │ │ 00008df0: 4104 b3c0 40b0 0501 5841 04af c040 b005 A...@...XA...@.. │ │ │ 00008e00: 015a 4104 adc0 40b0 0501 5c41 a003 01f8 .ZA...@...\A.... │ │ │ 00008e10: 4b12 4b5e e335 90b0 0501 1f05 0119 0116 K.K^.5.......... │ │ │ 00008e20: 9b40 4142 4344 4546 4748 90a0 a024 6861 .@ABCDEFGH...$ha │ │ │ 00008e30: 6c6c a028 736f 6c76 6162 6c65 a028 6d61 ll.(solvable.(ma │ │ │ -00008e40: 7468 636f 6d70 4090 30ca 77af 8663 84ba thcomp@.0.w..c.. │ │ │ -00008e50: 76b8 3bc7 e9ac 9313 ce90 40a0 a095 a002 v.;.......@..... │ │ │ +00008e40: 7468 636f 6d70 4090 3090 96ee ce3b 2f87 thcomp@.0....;/. │ │ │ +00008e50: c213 a593 dbaf 0ea1 1790 40a0 a095 a002 ..........@..... │ │ │ 00008e60: 1d04 1afc a040 a0a0 4009 215b 2046 726f .....@..@.![ Fro │ │ │ 00008e70: 6265 6e69 7573 205f 2077 6974 6820 636f benius _ with co │ │ │ 00008e80: 6d70 6c65 6d65 6e74 205f 205d c0a0 a040 mplement _ ]...@ │ │ │ 00008e90: 40a0 9172 a091 6340 a0b1 4040 a090 7240 @..r..c@..@@..r@ │ │ │ 00008ea0: a0b1 4040 a090 6340 4090 a0d0 a0a0 4040 ..@@..c@@.....@@ │ │ │ 00008eb0: 0411 4004 16a0 a0a0 4121 5ba0 a040 2946 ..@.....A![..@)F │ │ │ 00008ec0: 726f 6265 6e69 7573 a0a1 a140 0415 9005 robenius...@.... │ │ │ @@ -4073,15 +4073,15 @@ │ │ │ 0000fe80: cb00 a0a0 40a0 90c0 b005 397b 4140 9190 ....@.....9{A@.. │ │ │ 0000fe90: 4240 41a0 90c0 b005 3298 4240 9190 4440 B@A.....2.B@..D@ │ │ │ 0000fea0: 41a0 90c0 b005 2271 4340 9104 0640 41a0 A....."qC@...@A. │ │ │ 0000feb0: 4040 4040 a095 a002 2760 a06f d040 9104 @@@@....'`.o.@.. │ │ │ 0000fec0: 1ba0 40a0 a005 1f0b 40a0 a005 1ea2 40a0 ..@.....@.....@. │ │ │ 0000fed0: 4040 a090 9205 3993 a090 9105 31ca a090 @@....9.....1... │ │ │ 0000fee0: 9205 3093 a090 9105 30f0 4005 1b55 4040 ..0.....0.@..U@@ │ │ │ -0000fef0: 3e7f 9bcb 198f a0c2 96fb 5b23 2bbe db1c >.........[#+... │ │ │ +0000fef0: 4532 97ee b1c9 07f2 f55a df41 b07e 3208 E2.......Z.A.~2. │ │ │ 0000ff00: 8495 a6be 0004 2a9d 0000 e040 0002 e606 ......*....@.... │ │ │ 0000ff10: 0002 e201 0800 00ef 0090 a0b7 a090 2148 ..............!H │ │ │ 0000ff20: 40a9 9aa0 90b0 90a0 2866 696e 6772 6f75 @.......(fingrou │ │ │ 0000ff30: 70a0 0402 a028 6d61 7468 636f 6d70 4028 p....(mathcomp@( │ │ │ 0000ff40: 6772 6f75 705f 6f66 0221 5142 ffa0 8080 group_of.!QB.... │ │ │ 0000ff50: 9091 2267 54b5 b7a0 9021 7840 a99a a090 .."gT....!x@.... │ │ │ 0000ff60: b0a2 90a0 2766 696e 7479 7065 a029 7373 ....'fintype.)ss │ │ │ @@ -21212,17 +21212,17 @@ │ │ │ 00052db0: 3709 2602 8009 4158 0c10 0c0c 140c 0c0c 7.&...AX........ │ │ │ 00052dc0: 0c38 0c10 0c0c 140c 100c 100c 0c10 0c0c .8.............. │ │ │ 00052dd0: 100c 0c44 1040 0c14 100c 2c14 0c10 180c ...D.@....,..... │ │ │ 00052de0: 140c 0c18 100c 100c 140c 0c10 1c0c 1c18 ................ │ │ │ 00052df0: 1010 0c10 0c10 0c0c 9094 9140 2779 631a ...........@'yc. │ │ │ 00052e00: 06ff bf6c 68b2 ac23 07af 1ddc 0000 0004 ...lh..#........ │ │ │ 00052e10: 0000 0007 6c69 6272 6172 7900 0000 0000 ....library..... │ │ │ -00052e20: 0004 7a00 0000 0000 00fa 763e 7f9b cb19 ..z.......v>.... │ │ │ -00052e30: 8fa0 c296 fb5b 232b bedb 1c00 0000 076f .....[#+.......o │ │ │ +00052e20: 0004 7a00 0000 0000 00fa 7645 3297 eeb1 ..z.......vE2... │ │ │ +00052e30: c907 f2f5 5adf 41b0 7e32 0800 0000 076f ....Z.A.~2.....o │ │ │ 00052e40: 7061 7175 6573 0000 0000 0000 ff00 0000 paques.......... │ │ │ 00052e50: 0000 0004 2ab1 505e 1711 d8e0 8d2c 6554 ....*.P^.....,eT │ │ │ 00052e60: d7e0 00b6 7a23 0000 0007 7375 6d6d 6172 ....z#....summar │ │ │ 00052e70: 7900 0000 0000 0000 1000 0000 0000 0004 y............... │ │ │ -00052e80: 5ae3 36c6 3269 a516 0763 4566 dfb3 2c62 Z.6.2i...cEf..,b │ │ │ -00052e90: 0100 0000 0976 6d6c 6962 7261 7279 0000 .....vmlibrary.. │ │ │ +00052e80: 5a8a 739d 7b0a 21c7 fad1 c723 257e aca4 Z.s.{.!....#%~.. │ │ │ +00052e90: 3b00 0000 0976 6d6c 6962 7261 7279 0000 ;....vmlibrary.. │ │ │ 00052ea0: 0000 0005 29c1 0000 0000 0000 043b 2779 ....)........;'y │ │ │ 00052eb0: 631a 06ff bf6c 68b2 ac23 07af 1ddc c....lh..#.... │ │ ├── ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/solvable/gseries.vo │ │ │ @@ -48,18 +48,18 @@ │ │ │ 000002f0: 6669 6e67 726f 7570 a028 6d61 7468 636f fingroup.(mathco │ │ │ 00000300: 6d70 4090 300e ec10 7918 deea 22c5 06b9 mp@.0...y..."... │ │ │ 00000310: d4ee de25 2ba0 a02a 636f 6d6d 7574 6174 ...%+..*commutat │ │ │ 00000320: 6f72 a028 736f 6c76 6162 6c65 a028 6d61 or.(solvable.(ma │ │ │ 00000330: 7468 636f 6d70 4090 30d8 7161 4029 08fe thcomp@.0.qa@).. │ │ │ 00000340: b1f5 3b5a 3297 707f 9ba0 a026 6365 6e74 ..;Z2.p....¢ │ │ │ 00000350: 6572 a028 736f 6c76 6162 6c65 a028 6d61 er.(solvable.(ma │ │ │ -00000360: 7468 636f 6d70 4090 3024 4488 7a19 c053 thcomp@.0$D.z..S │ │ │ -00000370: ae27 b80a a1b3 66c4 3c25 352e 342e 30a0 .'....f.<%5.4.0. │ │ │ -00000380: 4040 ae4d eb6d 5a0f d88a f396 c250 bbd7 @@.M.mZ......P.. │ │ │ -00000390: 7691 8495 a6be 0000 d129 0000 324c 0000 v........)..2L.. │ │ │ +00000360: 7468 636f 6d70 4090 308f 8d32 f96d 6eae thcomp@.0..2.mn. │ │ │ +00000370: d667 c379 d563 4fe0 f825 352e 342e 30a0 .g.y.cO..%5.4.0. │ │ │ +00000380: 4040 efda d902 4996 570a 1a72 e5a4 479e @@....I.W..r..G. │ │ │ +00000390: 741e 8495 a6be 0000 d129 0000 324c 0000 t........)..2L.. │ │ │ 000003a0: ac50 0000 a883 b0d0 a027 6773 6572 6965 .P.......'gserie │ │ │ 000003b0: 73a0 2873 6f6c 7661 626c 65a0 286d 6174 s.(solvable.(mat │ │ │ 000003c0: 6863 6f6d 7040 e090 0408 4190 a0a0 2973 hcomp@....A...)s │ │ │ 000003d0: 7562 6e6f 726d 616c 9008 0000 2700 40a0 ubnormal....'.@. │ │ │ 000003e0: 8080 91b7 a090 2267 5440 9ba0 a090 b0a2 ......"gT@...... │ │ │ 000003f0: 90a0 2866 696e 6772 6f75 70a0 0402 a004 ..(fingroup..... │ │ │ 00000400: 1a40 2846 696e 4772 6f75 7024 7479 7065 .@(FinGroup$type │ │ │ @@ -1969,16 +1969,16 @@ │ │ │ 00007b00: a003 01f8 5a32 4096 f730 90b0 a005 174c ....Z2@..0.....L │ │ │ 00007b10: 0517 3f20 0107 8e40 42b0 0501 1541 04c6 ..? ...@B....A.. │ │ │ 00007b20: c040 b005 0117 4104 bac0 40b0 0501 4642 .@....A...@...FB │ │ │ 00007b30: 0451 c040 b005 013c 42a0 0300 44c6 3863 .Q.@.... │ │ │ 0000d4f0: 015c 2e08 0000 bb00 90a0 b7a0 9021 4740 .\...........!G@ │ │ │ 0000d500: a99a a090 b090 a028 6669 6e67 726f 7570 .......(fingroup │ │ │ 0000d510: a004 02a0 286d 6174 6863 6f6d 7040 2867 ....(mathcomp@(g │ │ │ 0000d520: 726f 7570 5f6f 6602 2151 42ff a080 8090 roup_of.!QB..... │ │ │ 0000d530: 9122 6754 b7a0 9021 4840 0414 b7a0 902e ."gT...!H@...... │ │ │ 0000d540: 5f76 6965 775f 7375 626a 6563 745f 40a9 _view_subject_@. │ │ │ @@ -11524,17 +11524,17 @@ │ │ │ 0002d030: 0c0c 140c 100c 0c10 0c0c 100c 100c 0c14 ................ │ │ │ 0002d040: 100c 0c0c 0c0c 80c0 2e2d 0003 8c2a 2b01 .........-...*+. │ │ │ 0002d050: 010b 0b37 0028 0580 212c 80c0 382d 0003 ...7.(..!,..8-.. │ │ │ 0002d060: 8c2a 2b03 010d 0b37 0023 0b0e 0e0d 3701 .*+....7.#....7. │ │ │ 0002d070: 2437 0227 0680 232c 1c0c 8066 1bb8 e6f0 $7.'..#,...f.... │ │ │ 0002d080: a83f c5a8 057e bbe7 bf82 8000 0000 0400 .?...~.......... │ │ │ 0002d090: 0000 076c 6962 7261 7279 0000 0000 0000 ...library...... │ │ │ -0002d0a0: 0392 0000 0000 0000 d13d 12ee 3fe1 cc4e .........=..?..N │ │ │ -0002d0b0: 0464 74c4 5d77 dfc5 11e2 0000 0007 6f70 .dt.]w........op │ │ │ +0002d0a0: 0392 0000 0000 0000 d13d 6482 1bc4 619c .........=d...a. │ │ │ +0002d0b0: 764a 6db9 94fe f563 5414 0000 0007 6f70 vJm....cT.....op │ │ │ 0002d0c0: 6171 7565 7300 0000 0000 00d4 df00 0000 aques........... │ │ │ 0002d0d0: 0000 01f5 a408 f4f7 23c3 9778 f2fd 3cbc ........#..x..<. │ │ │ 0002d0e0: 8450 20b6 cc00 0000 0773 756d 6d61 7279 .P ......summary │ │ │ 0002d0f0: 0000 0000 0000 0010 0000 0000 0000 0372 ...............r │ │ │ -0002d100: ae4d eb6d 5a0f d88a f396 c250 bbd7 7691 .M.mZ......P..v. │ │ │ +0002d100: efda d902 4996 570a 1a72 e5a4 479e 741e ....I.W..r..G.t. │ │ │ 0002d110: 0000 0009 766d 6c69 6272 6172 7900 0000 ....vmlibrary... │ │ │ 0002d120: 0000 02ca 9300 0000 0000 0005 e866 1bb8 .............f.. │ │ │ 0002d130: e6f0 a83f c5a8 057e bbe7 bf82 80 ...?...~..... │ │ ├── ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/solvable/hall.vo │ │ │ @@ -57,36 +57,36 @@ │ │ │ 00000380: 2873 6f6c 7661 626c 65a0 286d 6174 6863 (solvable.(mathc │ │ │ 00000390: 6f6d 7040 9030 2485 e18f 3a15 97e2 087f omp@.0$...:..... │ │ │ 000003a0: 38eb 1bff c830 a0a0 2a63 6f6d 6d75 7461 8....0..*commuta │ │ │ 000003b0: 746f 72a0 2873 6f6c 7661 626c 65a0 286d tor.(solvable.(m │ │ │ 000003c0: 6174 6863 6f6d 7040 9030 d871 6140 2908 athcomp@.0.qa@). │ │ │ 000003d0: feb1 f53b 5a32 9770 7f9b a0a0 2663 656e ...;Z2.p....&cen │ │ │ 000003e0: 7465 72a0 2873 6f6c 7661 626c 65a0 286d ter.(solvable.(m │ │ │ -000003f0: 6174 6863 6f6d 7040 9030 2444 887a 19c0 athcomp@.0$D.z.. │ │ │ -00000400: 53ae 27b8 0aa1 b366 c43c a0a0 2670 6772 S.'....f.<..&pgr │ │ │ +000003f0: 6174 6863 6f6d 7040 9030 8f8d 32f9 6d6e athcomp@.0..2.mn │ │ │ +00000400: aed6 67c3 79d5 634f e0f8 a0a0 2670 6772 ..g.y.cO....&pgr │ │ │ 00000410: 6f75 70a0 2873 6f6c 7661 626c 65a0 286d oup.(solvable.(m │ │ │ -00000420: 6174 6863 6f6d 7040 9030 5896 7d1f 317d athcomp@.0X.}.1} │ │ │ -00000430: 2b9a 64db e13f 3e58 8a89 a0a0 2966 696e +.d..?>X....)fin │ │ │ +00000420: 6174 6863 6f6d 7040 9030 dc4b 9326 c67e athcomp@.0.K.&.~ │ │ │ +00000430: 5d59 8328 0a99 9942 5e18 a0a0 2966 696e ]Y.(...B^...)fin │ │ │ 00000440: 6d6f 6475 6c65 a028 736f 6c76 6162 6c65 module.(solvable │ │ │ -00000450: a028 6d61 7468 636f 6d70 4090 30aa 2a2b .(mathcomp@.0.*+ │ │ │ -00000460: 276e 56d8 11a2 a632 acb6 c826 e6a0 a029 'nV....2...&...) │ │ │ +00000450: a028 6d61 7468 636f 6d70 4090 30f8 9a72 .(mathcomp@.0..r │ │ │ +00000460: f191 07bd edaf 3b53 d924 6f5d b9a0 a029 ......;S.$o]...) │ │ │ 00000470: 6e69 6c70 6f74 656e 74a0 2873 6f6c 7661 nilpotent.(solva │ │ │ 00000480: 626c 65a0 286d 6174 6863 6f6d 7040 9030 ble.(mathcomp@.0 │ │ │ -00000490: 2f4e ecab 5e69 dfb7 9a24 b4f5 1904 e41f /N..^i...$...... │ │ │ +00000490: b9e6 cd8a af38 3031 d8a4 0744 4268 4f59 .....801...DBhOY │ │ │ 000004a0: a0a0 2573 796c 6f77 a028 736f 6c76 6162 ..%sylow.(solvab │ │ │ -000004b0: 6c65 a028 6d61 7468 636f 6d70 4090 3022 le.(mathcomp@.0" │ │ │ -000004c0: 356f 8105 0f80 8bd4 8bb3 0902 7bcf caa0 5o..........{... │ │ │ +000004b0: 6c65 a028 6d61 7468 636f 6d70 4090 30df le.(mathcomp@.0. │ │ │ +000004c0: c5fd 8c41 bdb4 37d7 86dd f908 62f8 51a0 ...A..7.....b.Q. │ │ │ 000004d0: a027 6162 656c 6961 6ea0 2873 6f6c 7661 .'abelian.(solva │ │ │ 000004e0: 626c 65a0 286d 6174 6863 6f6d 7040 9030 ble.(mathcomp@.0 │ │ │ -000004f0: 6a30 3081 04e4 86ce 2839 faea 98a0 ade0 j00.....(9...... │ │ │ +000004f0: 45e9 5364 e34e 4164 f51f 8576 c3a3 d12d E.Sd.NAd...v...- │ │ │ 00000500: a0a0 276d 6178 696d 616c a028 736f 6c76 ..'maximal.(solv │ │ │ 00000510: 6162 6c65 a028 6d61 7468 636f 6d70 4090 able.(mathcomp@. │ │ │ -00000520: 30eb 05c4 0e08 bb2d 4dc3 5338 93ca 89d7 0......-M.S8.... │ │ │ -00000530: 8225 352e 342e 30a0 4040 1b5c 9ba0 229d .%5.4.0.@@.\..". │ │ │ -00000540: e2a9 8e6b f27f f796 ba36 8495 a6be 0000 ...k.....6...... │ │ │ +00000520: 30e0 d46c 39aa 5b3a 0953 3e55 a954 dd56 0..l9.[:.S>U.T.V │ │ │ +00000530: 7b25 352e 342e 30a0 4040 7c93 d384 e64c {%5.4.0.@@|....L │ │ │ +00000540: 2759 142b 5f64 f839 acd7 8495 a6be 0000 'Y.+_d.9........ │ │ │ 00000550: a1a2 0000 24ea 0000 7f52 0000 7ba7 b0d0 ....$....R..{... │ │ │ 00000560: a024 6861 6c6c a028 736f 6c76 6162 6c65 .$hall.(solvable │ │ │ 00000570: a028 6d61 7468 636f 6d70 40e0 9004 0841 .(mathcomp@....A │ │ │ 00000580: 90a0 a035 5363 6875 725a 6173 7365 6e68 ...5SchurZassenh │ │ │ 00000590: 6175 735f 7370 6c69 7490 0800 0027 0040 aus_split....'.@ │ │ │ 000005a0: a080 8092 c040 a0a0 a040 40b0 40a0 0408 .....@...@@.@... │ │ │ 000005b0: 4004 0840 0416 40b6 a090 2267 5440 9ba0 @..@..@..."gT@.. │ │ │ @@ -1868,15 +1868,15 @@ │ │ │ 000074b0: 04be c040 b005 0170 4104 e6c0 40b0 0501 ...@...pA...@... │ │ │ 000074c0: 7241 046a 4041 4243 b005 0173 4104 a8c0 rA.j@ABC...sA... │ │ │ 000074d0: c040 b005 0176 4104 9d40 41b0 0501 7741 .@...vA..@A...wA │ │ │ 000074e0: 0492 c0c0 40b0 0501 6442 0501 2d40 41b0 ....@...dB..-@A. │ │ │ 000074f0: 0501 6542 0501 7b40 4243 4447 4849 90a0 ..eB..{@BCDGHI.. │ │ │ 00007500: a027 6d61 7869 6d61 6ca0 2873 6f6c 7661 .'maximal.(solva │ │ │ 00007510: 626c 65a0 286d 6174 6863 6f6d 7040 9030 ble.(mathcomp@.0 │ │ │ -00007520: eb05 c40e 08bb 2d4d c353 3893 ca89 d782 ......-M.S8..... │ │ │ +00007520: e0d4 6c39 aa5b 3a09 533e 55a9 54dd 567b ..l9.[:.S>U.T.V{ │ │ │ 00007530: 9040 a040 40a0 a095 a002 320a 518f a005 .@.@@.....2.Q... │ │ │ 00007540: 15cd b092 4040 40a0 95a0 020f c0a2 b8a0 ....@@@......... │ │ │ 00007550: 90e0 4140 4040 4040 a0a0 9105 0fdf a0a0 ..A@@@@@........ │ │ │ 00007560: 40a0 90c0 b005 15d1 4140 9190 4240 41a0 @.......A@..B@A. │ │ │ 00007570: 90c0 b005 15c6 4240 9190 4440 41a0 90c0 ......B@..D@A... │ │ │ 00007580: b005 15bf 4340 9104 0640 41a0 40a0 4040 ....C@...@A.@.@@ │ │ │ 00007590: 4040 a095 a002 2760 a06f d040 9105 0ff9 @@....'`.o.@.... │ │ │ @@ -2666,15 +2666,15 @@ │ │ │ 0000a690: d040 050e 76a0 050e 7240 4041 050e 6fa0 .@..v...r@@A..o. │ │ │ 0000a6a0: 050e 6740 d040 050e 64a0 050e 5940 4041 ..g@.@..d...Y@@A │ │ │ 0000a6b0: 4205 0e56 a005 0e52 40d0 d040 050e 4fa0 B..V...R@..@..O. │ │ │ 0000a6c0: 050e 4b40 4041 050e 48a0 050e 4340 d0d0 ..K@@A..H...C@.. │ │ │ 0000a6d0: 4005 0e40 a005 0e34 4040 4105 0e31 a005 @..@...4@@A..1.. │ │ │ 0000a6e0: 0e2d 40d0 4005 0e2a a005 0e25 40d0 4005 .-@.@..*...%@.@. │ │ │ 0000a6f0: 0e22 a005 0e1d 4040 4142 4344 4546 4040 ."....@@ABCDEF@@ │ │ │ -0000a700: ca77 af86 6384 ba76 b83b c7e9 ac93 13ce .w..c..v.;...... │ │ │ +0000a700: 9096 eece 3b2f 87c2 13a5 93db af0e a117 ....;/.......... │ │ │ 0000a710: 8495 a6be 0005 f276 0001 2ff0 0003 f958 .......v../....X │ │ │ 0000a720: 0003 f52d 0800 007b 0090 a0b7 a090 2267 ...-...{......"g │ │ │ 0000a730: 5440 9ba0 a090 b0a2 90a0 2866 696e 6772 T@........(fingr │ │ │ 0000a740: 6f75 70a0 0402 a028 6d61 7468 636f 6d70 oup....(mathcomp │ │ │ 0000a750: 4028 4669 6e47 726f 7570 2474 7970 6502 @(FinGroup$type. │ │ │ 0000a760: 024b 75c9 40a0 8080 b7a0 9021 4740 a99a .Ku.@......!G@.. │ │ │ 0000a770: a090 b090 0412 2867 726f 7570 5f6f 6602 ......(group_of. │ │ │ @@ -27034,17 +27034,17 @@ │ │ │ 00069990: 2eca 4204 1b06 0001 0ccd 3ca7 0270 60b1 ..B.......<..p`. │ │ │ 000699a0: 9507 5db9 b5ee 14af 46c2 8495 a6be 0000 ..].....F....... │ │ │ 000699b0: 001d 0000 0007 0000 0017 0000 0014 a0a0 ................ │ │ │ 000699c0: 2468 616c 6ca0 2873 6f6c 7661 626c 65a0 $hall.(solvable. │ │ │ 000699d0: 286d 6174 6863 6f6d 7040 8084 93e2 231e (mathcomp@....#. │ │ │ 000699e0: 2145 eb49 596c cc9a 8dd0 a400 0000 0400 !E.IYl.......... │ │ │ 000699f0: 0000 076c 6962 7261 7279 0000 0000 0000 ...library...... │ │ │ -00069a00: 054a 0000 0000 0000 a1b6 ca77 af86 6384 .J.........w..c. │ │ │ -00069a10: ba76 b83b c7e9 ac93 13ce 0000 0007 6f70 .v.;..........op │ │ │ +00069a00: 054a 0000 0000 0000 a1b6 9096 eece 3b2f .J............;/ │ │ │ +00069a10: 87c2 13a5 93db af0e a117 0000 0007 6f70 ..............op │ │ │ 00069a20: 6171 7565 7300 0000 0000 00a7 1000 0000 aques........... │ │ │ 00069a30: 0000 05f2 8a3c a702 7060 b195 075d b9b5 .....<..p`...].. │ │ │ 00069a40: ee14 af46 c200 0000 0773 756d 6d61 7279 ...F.....summary │ │ │ 00069a50: 0000 0000 0000 0010 0000 0000 0000 052a ...............* │ │ │ -00069a60: 1b5c 9ba0 229d e2a9 8e6b f27f f796 ba36 .\.."....k.....6 │ │ │ +00069a60: 7c93 d384 e64c 2759 142b 5f64 f839 acd7 |....L'Y.+_d.9.. │ │ │ 00069a70: 0000 0009 766d 6c69 6272 6172 7900 0000 ....vmlibrary... │ │ │ 00069a80: 0000 0699 aa00 0000 0000 0000 3184 93e2 ............1... │ │ │ 00069a90: 231e 2145 eb49 596c cc9a 8dd0 a4 #.!E.IYl..... │ │ ├── ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/solvable/jordanholder.vo │ │ │ @@ -54,17 +54,17 @@ │ │ │ 00000350: 6f75 70a0 286d 6174 6863 6f6d 7040 9030 oup.(mathcomp@.0 │ │ │ 00000360: 036c 1a40 c4ba ecac ac6b 2fa4 3765 90cd .l.@.....k/.7e.. │ │ │ 00000370: a0a0 2661 6374 696f 6ea0 2866 696e 6772 ..&action.(fingr │ │ │ 00000380: 6f75 70a0 286d 6174 6863 6f6d 7040 9030 oup.(mathcomp@.0 │ │ │ 00000390: 0eec 1079 18de ea22 c506 b9d4 eede 252b ...y..."......%+ │ │ │ 000003a0: a0a0 2767 7365 7269 6573 a028 736f 6c76 ..'gseries.(solv │ │ │ 000003b0: 6162 6c65 a028 6d61 7468 636f 6d70 4090 able.(mathcomp@. │ │ │ -000003c0: 3012 ee3f e1cc 4e04 6474 c45d 77df c511 0..?..N.dt.]w... │ │ │ -000003d0: e225 352e 342e 30a0 4040 6d8f 843e 292b .%5.4.0.@@m..>)+ │ │ │ -000003e0: 9db0 636f bddd ceb0 9461 8495 a6be 0002 ..co.....a...... │ │ │ +000003c0: 3064 821b c461 9c76 4a6d b994 fef5 6354 0d...a.vJm....cT │ │ │ +000003d0: 1425 352e 342e 30a0 4040 2a47 37cb 708b .%5.4.0.@@*G7.p. │ │ │ +000003e0: 35ee 02d3 56f7 5b79 7505 8495 a6be 0002 5...V.[yu....... │ │ │ 000003f0: 33d5 0000 83b0 0001 c7c5 0001 bbe4 b0d0 3............... │ │ │ 00000400: a02c 6a6f 7264 616e 686f 6c64 6572 a028 .,jordanholder.( │ │ │ 00000410: 736f 6c76 6162 6c65 a028 6d61 7468 636f solvable.(mathco │ │ │ 00000420: 6d70 40e0 9004 0841 90a0 a027 7365 6374 mp@....A...'sect │ │ │ 00000430: 696f 6e91 0800 003f 0090 0800 0043 0004 ion....?.....C.. │ │ │ 00000440: 05a0 a0a0 9022 6754 409b a0a0 90b0 a290 ....."gT@....... │ │ │ 00000450: a028 6669 6e67 726f 7570 a004 02a0 041b .(fingroup...... │ │ │ @@ -2350,16 +2350,16 @@ │ │ │ 000092d0: b005 01bb 4104 6c40 4144 b005 01bc 4104 ....A.l@AD....A. │ │ │ 000092e0: 57c0 c040 b005 01b9 4105 0143 4041 b005 W..@....A..C@A.. │ │ │ 000092f0: 01c0 4105 013a c0c0 40b0 0501 c341 044a ..A..:..@....A.J │ │ │ 00009300: 4041 b005 01c4 4105 0139 c0c0 40b0 0501 @A....A..9..@... │ │ │ 00009310: ec42 0501 e440 41b0 0501 c842 0501 e540 .B...@A....B...@ │ │ │ 00009320: 4243 4445 4748 4990 a0a0 2767 7365 7269 BCDEGHI...'gseri │ │ │ 00009330: 6573 a028 736f 6c76 6162 6c65 a005 0d03 es.(solvable.... │ │ │ -00009340: 4090 3012 ee3f e1cc 4e04 6474 c45d 77df @.0..?..N.dt.]w. │ │ │ -00009350: c511 e290 40a0 a095 a002 1d04 1afc a040 ....@..........@ │ │ │ +00009340: 4090 3064 821b c461 9c76 4a6d b994 fef5 @.0d...a.vJm.... │ │ │ +00009350: 6354 1490 40a0 a095 a002 1d04 1afc a040 cT..@..........@ │ │ │ 00009360: a0a0 4025 5f20 2f20 5fc0 a0a0 4068 a091 ..@%_ / _...@h.. │ │ │ 00009370: 68a0 9068 40a0 b140 40a0 9068 a040 9042 h..h@..@@..h.@.B │ │ │ 00009380: a0b1 4040 a090 68a0 4104 0640 90a0 d0a0 ..@@..h.A..@.... │ │ │ 00009390: a040 6804 1490 42a0 4025 5f20 2f20 5fa0 .@h...B.@%_ / _. │ │ │ 000093a0: a0a1 a140 0415 9021 78a0 a041 212f a0a1 ...@...!x..A!/.. │ │ │ 000093b0: a140 0417 9021 7940 40a0 0421 a004 1c40 .@...!y@@..!...@ │ │ │ 000093c0: 4090 a041 a0a0 a590 40a0 a040 90b0 4091 @..A....@..@..@. │ │ │ @@ -9079,16 +9079,16 @@ │ │ │ 00023760: 016e a0a0 b005 8395 0501 4a02 3b22 78a1 .n........J.;"x. │ │ │ 00023770: 0501 48a0 a0b0 0583 9805 0124 023b 2278 ..H........$.;"x │ │ │ 00023780: a205 0122 a0a0 b005 839b 04fc 023b 2278 ...".........;"x │ │ │ 00023790: a304 faa0 a0b0 0583 9e04 d602 3b22 78ad ............;"x. │ │ │ 000237a0: 04d4 a0a0 b005 83a1 04b0 023b 2278 ae04 ...........;"x.. │ │ │ 000237b0: aea0 a0b0 0583 a404 8a02 3b22 78af 0488 ..........;"x... │ │ │ 000237c0: a0a0 b005 83a7 0464 023b 2278 b004 6240 .......d.;"x..b@ │ │ │ -000237d0: 4240 404a 5b02 9ddb d7c8 105b 6cb8 5c08 B@@J[......[l.\. │ │ │ -000237e0: ee42 0f84 95a6 be00 023d 2a00 0076 1400 .B.......=*..v.. │ │ │ +000237d0: 4240 40f0 b293 7acc 5853 77db 6e21 1723 B@@...z.XSw.n!.# │ │ │ +000237e0: 42a5 3284 95a6 be00 023d 2a00 0076 1400 B.2......=*..v.. │ │ │ 000237f0: 018c 8900 018a 4408 0000 8700 90a0 b7a0 ......D......... │ │ │ 00023800: 9021 7340 a99b a0a0 90b0 90a0 2c6a 6f72 .!s@........,jor │ │ │ 00023810: 6461 6e68 6f6c 6465 72a0 2873 6f6c 7661 danholder.(solva │ │ │ 00023820: 626c 65a0 286d 6174 6863 6f6d 7040 2773 ble.(mathcomp@'s │ │ │ 00023830: 6563 7469 6f6e 020d 5659 4940 a080 8090 ection..VYI@.... │ │ │ 00023840: 9122 6754 a9b7 a090 285f 6576 6172 5f30 ."gT....(_evar_0 │ │ │ 00023850: 5f40 b6a0 9021 7840 a99a a090 b0a2 90a0 _@...!x@........ │ │ │ @@ -18361,17 +18361,17 @@ │ │ │ 00047b80: 0122 0d37 0221 3703 240b 3704 2112 0802 .".7.!7.$.7.!... │ │ │ 00047b90: 0e37 0221 3705 230d 3706 2137 0723 3708 .7.!7.#.7.!7.#7. │ │ │ 00047ba0: 2709 2a2b 0101 1a37 0922 0a1a 3709 221c '.*+...7."..7.". │ │ │ 00047bb0: 1b4a 1a19 370a 2507 0980 2d48 1010 0c10 .J..7.%...-H.... │ │ │ 00047bc0: 1c0c 100c 0c24 1420 80fa 81e0 0416 95dc .....$. ........ │ │ │ 00047bd0: dc60 edca a2ad 3bee b500 0000 0400 0000 .`....;......... │ │ │ 00047be0: 076c 6962 7261 7279 0000 0000 0000 03ea .library........ │ │ │ -00047bf0: 0000 0000 0002 33e9 4a5b 029d dbd7 c810 ......3.J[...... │ │ │ -00047c00: 5b6c b85c 08ee 420f 0000 0007 6f70 6171 [l.\..B.....opaq │ │ │ +00047bf0: 0000 0000 0002 33e9 f0b2 937a cc58 5377 ......3....z.XSw │ │ │ +00047c00: db6e 2117 2342 a532 0000 0007 6f70 6171 .n!.#B.2....opaq │ │ │ 00047c10: 7565 7300 0000 0000 0237 e300 0000 0000 ues......7...... │ │ │ 00047c20: 023d 3ee4 9593 878a 0e2c 8042 4b09 9915 .=>......,.BK... │ │ │ 00047c30: c840 4500 0000 0773 756d 6d61 7279 0000 .@E....summary.. │ │ │ -00047c40: 0000 0000 0010 0000 0000 0000 03ca 6d8f ..............m. │ │ │ -00047c50: 843e 292b 9db0 636f bddd ceb0 9461 0000 .>)+..co.....a.. │ │ │ +00047c40: 0000 0000 0010 0000 0000 0000 03ca 2a47 ..............*G │ │ │ +00047c50: 37cb 708b 35ee 02d3 56f7 5b79 7505 0000 7.p.5...V.[yu... │ │ │ 00047c60: 0009 766d 6c69 6272 6172 7900 0000 0000 ..vmlibrary..... │ │ │ 00047c70: 0475 3100 0000 0000 0006 98fa 81e0 0416 .u1............. │ │ │ 00047c80: 95dc dc60 edca a2ad 3bee b5 ...`....;.. │ │ ├── ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/solvable/maximal.vo │ │ │ @@ -69,45 +69,45 @@ │ │ │ 00000440: 7261 6c67 a027 616c 6765 6272 61a0 286d ralg.'algebra.(m │ │ │ 00000450: 6174 6863 6f6d 7040 9030 d498 e4a8 4b15 athcomp@.0....K. │ │ │ 00000460: 672b 3dcd d2d2 438d a5fa a0a0 2863 6f75 g+=...C.....(cou │ │ │ 00000470: 6e74 616c 67a0 2761 6c67 6562 7261 a028 ntalg.'algebra.( │ │ │ 00000480: 6d61 7468 636f 6d70 4090 30c7 cfd2 2320 mathcomp@.0...# │ │ │ 00000490: 9cf6 cb94 88dc 1bc0 b6de 82a0 a026 6669 .............&fi │ │ │ 000004a0: 6e61 6c67 a027 616c 6765 6272 61a0 286d nalg.'algebra.(m │ │ │ -000004b0: 6174 6863 6f6d 7040 9030 8e88 2bdb 69af athcomp@.0..+.i. │ │ │ -000004c0: 6edf f204 36cc 6cb3 83c4 a0a0 257a 6d6f n...6.l.....%zmo │ │ │ +000004b0: 6174 6863 6f6d 7040 9030 fcc2 781b 8cd5 athcomp@.0..x... │ │ │ +000004c0: 0394 fabd 8ed3 2996 c3b9 a0a0 257a 6d6f ......).....%zmo │ │ │ 000004d0: 6470 a027 616c 6765 6272 61a0 286d 6174 dp.'algebra.(mat │ │ │ -000004e0: 6863 6f6d 7040 9030 d07c 5667 3527 8400 hcomp@.0.|Vg5'.. │ │ │ -000004f0: e24e 2119 72f4 2324 a0a0 2663 7963 6c69 .N!.r.#$..&cycli │ │ │ +000004e0: 6863 6f6d 7040 9030 b67c 8e60 ef18 a2ef hcomp@.0.|.`.... │ │ │ +000004f0: f470 114e 807d 6f75 a0a0 2663 7963 6c69 .p.N.}ou..&cycli │ │ │ 00000500: 63a0 2873 6f6c 7661 626c 65a0 286d 6174 c.(solvable.(mat │ │ │ -00000510: 6863 6f6d 7040 9030 05b6 cd95 38ce 6591 hcomp@.0....8.e. │ │ │ -00000520: b095 9bd9 ee05 3024 a0a0 2670 6772 6f75 ......0$..&pgrou │ │ │ +00000510: 6863 6f6d 7040 9030 59f3 c55e 5dbb 9514 hcomp@.0Y..^]... │ │ │ +00000520: 8e70 934c d334 f4f0 a0a0 2670 6772 6f75 .p.L.4....&pgrou │ │ │ 00000530: 70a0 2873 6f6c 7661 626c 65a0 286d 6174 p.(solvable.(mat │ │ │ -00000540: 6863 6f6d 7040 9030 5896 7d1f 317d 2b9a hcomp@.0X.}.1}+. │ │ │ -00000550: 64db e13f 3e58 8a89 a0a0 2663 656e 7465 d..?>X....¢e │ │ │ +00000540: 6863 6f6d 7040 9030 dc4b 9326 c67e 5d59 hcomp@.0.K.&.~]Y │ │ │ +00000550: 8328 0a99 9942 5e18 a0a0 2663 656e 7465 .(...B^...¢e │ │ │ 00000560: 72a0 2873 6f6c 7661 626c 65a0 286d 6174 r.(solvable.(mat │ │ │ -00000570: 6863 6f6d 7040 9030 2444 887a 19c0 53ae hcomp@.0$D.z..S. │ │ │ -00000580: 27b8 0aa1 b366 c43c a0a0 2767 7365 7269 '....f.<..'gseri │ │ │ +00000570: 6863 6f6d 7040 9030 8f8d 32f9 6d6e aed6 hcomp@.0..2.mn.. │ │ │ +00000580: 67c3 79d5 634f e0f8 a0a0 2767 7365 7269 g.y.cO....'gseri │ │ │ 00000590: 6573 a028 736f 6c76 6162 6c65 a028 6d61 es.(solvable.(ma │ │ │ -000005a0: 7468 636f 6d70 4090 3012 ee3f e1cc 4e04 thcomp@.0..?..N. │ │ │ -000005b0: 6474 c45d 77df c511 e2a0 a029 6e69 6c70 dt.]w......)nilp │ │ │ +000005a0: 7468 636f 6d70 4090 3064 821b c461 9c76 thcomp@.0d...a.v │ │ │ +000005b0: 4a6d b994 fef5 6354 14a0 a029 6e69 6c70 Jm....cT...)nilp │ │ │ 000005c0: 6f74 656e 74a0 2873 6f6c 7661 626c 65a0 otent.(solvable. │ │ │ -000005d0: 286d 6174 6863 6f6d 7040 9030 2f4e ecab (mathcomp@.0/N.. │ │ │ -000005e0: 5e69 dfb7 9a24 b4f5 1904 e41f a0a0 2573 ^i...$........%s │ │ │ +000005d0: 286d 6174 6863 6f6d 7040 9030 b9e6 cd8a (mathcomp@.0.... │ │ │ +000005e0: af38 3031 d8a4 0744 4268 4f59 a0a0 2573 .801...DBhOY..%s │ │ │ 000005f0: 796c 6f77 a028 736f 6c76 6162 6c65 a028 ylow.(solvable.( │ │ │ -00000600: 6d61 7468 636f 6d70 4090 3022 356f 8105 mathcomp@.0"5o.. │ │ │ -00000610: 0f80 8bd4 8bb3 0902 7bcf caa0 a027 6162 ........{....'ab │ │ │ +00000600: 6d61 7468 636f 6d70 4090 30df c5fd 8c41 mathcomp@.0....A │ │ │ +00000610: bdb4 37d7 86dd f908 62f8 51a0 a027 6162 ..7.....b.Q..'ab │ │ │ 00000620: 656c 6961 6ea0 2873 6f6c 7661 626c 65a0 elian.(solvable. │ │ │ -00000630: 286d 6174 6863 6f6d 7040 9030 6a30 3081 (mathcomp@.0j00. │ │ │ -00000640: 04e4 86ce 2839 faea 98a0 ade0 a0a0 2966 ....(9........)f │ │ │ +00000630: 286d 6174 6863 6f6d 7040 9030 45e9 5364 (mathcomp@.0E.Sd │ │ │ +00000640: e34e 4164 f51f 8576 c3a3 d12d a0a0 2966 .NAd...v...-..)f │ │ │ 00000650: 696e 6d6f 6475 6c65 a028 736f 6c76 6162 inmodule.(solvab │ │ │ -00000660: 6c65 a028 6d61 7468 636f 6d70 4090 30aa le.(mathcomp@.0. │ │ │ -00000670: 2a2b 276e 56d8 11a2 a632 acb6 c826 e625 *+'nV....2...&.% │ │ │ -00000680: 352e 342e 30a0 4040 7143 6138 4560 b8fb 5.4.0.@@qCa8E`.. │ │ │ -00000690: b927 f214 9458 5e38 8495 a6be 0001 b189 .'...X^8........ │ │ │ +00000660: 6c65 a028 6d61 7468 636f 6d70 4090 30f8 le.(mathcomp@.0. │ │ │ +00000670: 9a72 f191 07bd edaf 3b53 d924 6f5d b925 .r......;S.$o].% │ │ │ +00000680: 352e 342e 30a0 4040 da89 b6fc 8441 a245 5.4.0.@@.....A.E │ │ │ +00000690: c1fc ee09 de54 27f2 8495 a6be 0001 b189 .....T'......... │ │ │ 000006a0: 0000 6191 0001 64cd 0001 5fa2 b0d0 a027 ..a...d..._....' │ │ │ 000006b0: 6d61 7869 6d61 6ca0 2873 6f6c 7661 626c maximal.(solvabl │ │ │ 000006c0: 65a0 286d 6174 6863 6f6d 7040 e090 0408 e.(mathcomp@.... │ │ │ 000006d0: 4190 a0a0 2a63 6861 7273 696d 706c 6590 A...*charsimple. │ │ │ 000006e0: 0800 0027 0040 a080 8091 b7a0 9022 6754 ...'.@......."gT │ │ │ 000006f0: 409b a0a0 90b0 a290 a028 6669 6e67 726f @........(fingro │ │ │ 00000700: 7570 a004 02a0 041a 4028 4669 6e47 726f up......@(FinGro │ │ │ @@ -3034,17 +3034,17 @@ │ │ │ 0000bd90: c040 b004 0841 047b 4041 b0a0 0300 1908 .@...A.{@A...... │ │ │ 0000bda0: 3b8d 2d85 9690 b0a0 0522 a0a0 0522 9fa0 ;.-......"...".. │ │ │ 0000bdb0: 0522 9e40 2001 4607 4104 a8c0 40b0 0502 .".@ .F.A...@... │ │ │ 0000bdc0: 3541 0501 4540 4142 b005 0236 4105 0149 5A..E@AB...6A..I │ │ │ 0000bdd0: c0c0 40b0 0502 3941 0501 ea40 41b0 0502 ..@...9A...@A... │ │ │ 0000bde0: 8642 0502 82c0 40b0 0502 8442 0502 4ec0 .B....@....B..N. │ │ │ 0000bdf0: 40b0 0502 5042 04dc 4041 4243 4447 484a @...PB..@ABCDGHJ │ │ │ -0000be00: a0a0 051a 4090 306a 3030 8104 e486 ce28 ....@.0j00.....( │ │ │ -0000be10: 39fa ea98 a0ad e0a0 0523 3990 30aa 2a2b 9........#9.0.*+ │ │ │ -0000be20: 276e 56d8 11a2 a632 acb6 c826 e690 40a0 'nV....2...&..@. │ │ │ +0000be00: a0a0 051a 4090 3045 e953 64e3 4e41 64f5 ....@.0E.Sd.NAd. │ │ │ +0000be10: 1f85 76c3 a3d1 2da0 0523 3990 30f8 9a72 ..v...-..#9.0..r │ │ │ +0000be20: f191 07bd edaf 3b53 d924 6f5d b990 40a0 ......;S.$o]..@. │ │ │ 0000be30: a095 a002 1d04 1afc a040 a0a0 402a 2750 .........@..@*'P │ │ │ 0000be40: 6869 2028 205f 2029 c0a0 a040 48a0 4040 hi ( _ )...@H.@@ │ │ │ 0000be50: a0b1 4040 a041 4040 90a0 d0a0 a040 4804 ..@@.A@@.....@H. │ │ │ 0000be60: 0940 040e a0a0 a041 2427 5068 69a0 a041 .@.....A$'Phi..A │ │ │ 0000be70: 2128 a0a1 a140 0410 9005 24b8 a0a0 4121 !(...@....$...A! │ │ │ 0000be80: 2940 40a0 0416 4040 90a0 40a0 a094 0411 )@@...@@..@..... │ │ │ 0000be90: a094 0410 a090 b040 4040 a094 040e 4048 .......@@@....@H │ │ │ @@ -7037,16 +7037,16 @@ │ │ │ 0001b7c0: 3a41 a005 3a3c 40d0 4005 3a39 a005 3a34 :A..:<@.@.:9..:4 │ │ │ 0001b7d0: 40d0 4005 3a31 a005 3a2b 4040 4142 4344 @.@.:1..:+@@ABCD │ │ │ 0001b7e0: 4546 47a0 95a0 020f c0a2 b8a0 a2e0 4140 EFG...........A@ │ │ │ 0001b7f0: 4040 4040 9043 a0a0 9190 b005 6177 0543 @@@@.C......aw.C │ │ │ 0001b800: 1d02 2107 d012 a0a0 40a0 90c0 b090 0561 ..!.....@......a │ │ │ 0001b810: 7241 4040 4141 a090 c0b0 9005 6141 4240 rA@@AA......aAB@ │ │ │ 0001b820: 4041 41a0 90c0 b090 0561 6b43 4040 4141 @AA......akC@@AA │ │ │ -0001b830: 4040 4040 40eb 05c4 0e08 bb2d 4dc3 5338 @@@@@......-M.S8 │ │ │ -0001b840: 93ca 89d7 8284 95a6 be00 0a22 2400 01c6 ..........."$... │ │ │ +0001b830: 4040 4040 40e0 d46c 39aa 5b3a 0953 3e55 @@@@@..l9.[:.S>U │ │ │ +0001b840: a954 dd56 7b84 95a6 be00 0a22 2400 01c6 .T.V{......"$... │ │ │ 0001b850: e700 05f5 3000 05ed d208 0001 7300 90a0 ....0.......s... │ │ │ 0001b860: b7a0 9021 4740 a99a a090 b090 a028 6669 ...!G@.......(fi │ │ │ 0001b870: 6e67 726f 7570 a004 02a0 286d 6174 6863 ngroup....(mathc │ │ │ 0001b880: 6f6d 7040 2867 726f 7570 5f6f 6602 2151 omp@(group_of.!Q │ │ │ 0001b890: 42ff a080 8090 9122 6754 a99a a090 b090 B......"gT...... │ │ │ 0001b8a0: a029 7373 7265 666c 6563 74a0 2373 7372 .)ssreflect.#ssr │ │ │ 0001b8b0: a023 436f 7140 2873 7372 5f68 6176 6502 .#Coq@(ssr_have. │ │ │ @@ -48627,17 +48627,17 @@ │ │ │ 000bdf20: 0014 3701 3702 3703 2237 0237 0422 3702 ..7.7.7."7.7."7. │ │ │ 000bdf30: 3705 248c 2a2b 0101 0a37 0622 0a37 0727 7.$.*+...7.".7.' │ │ │ 000bdf40: 0480 2a04 1808 080c 080c 0824 1080 c02c ..*........$..., │ │ │ 000bdf50: 3600 3701 3702 2237 033a 018c 8024 0408 6.7.7."7.:...$.. │ │ │ 000bdf60: 080c 80c0 0403 8024 0408 080c 804e 9af5 .......$.....N.. │ │ │ 000bdf70: 0b7c ac9c 21a3 34c7 02e3 db2d 7f00 0000 .|..!.4....-.... │ │ │ 000bdf80: 0400 0000 076c 6962 7261 7279 0000 0000 .....library.... │ │ │ -000bdf90: 0000 0698 0000 0000 0001 b19d eb05 c40e ................ │ │ │ -000bdfa0: 08bb 2d4d c353 3893 ca89 d782 0000 0007 ..-M.S8......... │ │ │ +000bdf90: 0000 0698 0000 0000 0001 b19d e0d4 6c39 ..............l9 │ │ │ +000bdfa0: aa5b 3a09 533e 55a9 54dd 567b 0000 0007 .[:.S>U.T.V{.... │ │ │ 000bdfb0: 6f70 6171 7565 7300 0000 0000 01b8 4500 opaques.......E. │ │ │ 000bdfc0: 0000 0000 0a22 3804 5fd7 2768 d32e 5845 ....."8._.'h..XE │ │ │ 000bdfd0: ac95 f46c 70ed 1600 0000 0773 756d 6d61 ...lp......summa │ │ │ 000bdfe0: 7279 0000 0000 0000 0010 0000 0000 0000 ry.............. │ │ │ -000bdff0: 0678 7143 6138 4560 b8fb b927 f214 9458 .xqCa8E`...'...X │ │ │ -000be000: 5e38 0000 0009 766d 6c69 6272 6172 7900 ^8....vmlibrary. │ │ │ +000bdff0: 0678 da89 b6fc 8441 a245 c1fc ee09 de54 .x.....A.E.....T │ │ │ +000be000: 27f2 0000 0009 766d 6c69 6272 6172 7900 '.....vmlibrary. │ │ │ 000be010: 0000 0000 0bda 8d00 0000 0000 0004 e04e ...............N │ │ │ 000be020: 9af5 0b7c ac9c 21a3 34c7 02e3 db2d 7f ...|..!.4....-. │ │ ├── ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/solvable/nilpotent.vo │ │ │ @@ -48,21 +48,21 @@ │ │ │ 000002f0: a028 6669 6e67 726f 7570 a028 6d61 7468 .(fingroup.(math │ │ │ 00000300: 636f 6d70 4090 3003 6c1a 40c4 baec acac comp@.0.l.@..... │ │ │ 00000310: 6b2f a437 6590 cda0 a02a 636f 6d6d 7574 k/.7e....*commut │ │ │ 00000320: 6174 6f72 a028 736f 6c76 6162 6c65 a028 ator.(solvable.( │ │ │ 00000330: 6d61 7468 636f 6d70 4090 30d8 7161 4029 mathcomp@.0.qa@) │ │ │ 00000340: 08fe b1f5 3b5a 3297 707f 9ba0 a026 6365 ....;Z2.p....&ce │ │ │ 00000350: 6e74 6572 a028 736f 6c76 6162 6c65 a028 nter.(solvable.( │ │ │ -00000360: 6d61 7468 636f 6d70 4090 3024 4488 7a19 mathcomp@.0$D.z. │ │ │ -00000370: c053 ae27 b80a a1b3 66c4 3ca0 a027 6773 .S.'....f.<..'gs │ │ │ +00000360: 6d61 7468 636f 6d70 4090 308f 8d32 f96d mathcomp@.0..2.m │ │ │ +00000370: 6eae d667 c379 d563 4fe0 f8a0 a027 6773 n..g.y.cO....'gs │ │ │ 00000380: 6572 6965 73a0 2873 6f6c 7661 626c 65a0 eries.(solvable. │ │ │ -00000390: 286d 6174 6863 6f6d 7040 9030 12ee 3fe1 (mathcomp@.0..?. │ │ │ -000003a0: cc4e 0464 74c4 5d77 dfc5 11e2 2535 2e34 .N.dt.]w....%5.4 │ │ │ -000003b0: 2e30 a040 408b 90fa 4ea0 7ef2 c174 c4c8 .0.@@...N.~..t.. │ │ │ -000003c0: b5de 429a fa84 95a6 be00 0124 0b00 0043 ..B........$...C │ │ │ +00000390: 286d 6174 6863 6f6d 7040 9030 6482 1bc4 (mathcomp@.0d... │ │ │ +000003a0: 619c 764a 6db9 94fe f563 5414 2535 2e34 a.vJm....cT.%5.4 │ │ │ +000003b0: 2e30 a040 4047 1830 cd79 0198 d67c 3d06 .0.@@G.0.y...|=. │ │ │ +000003c0: 93c0 e0e5 bb84 95a6 be00 0124 0b00 0043 ...........$...C │ │ │ 000003d0: f500 00f0 4600 00ec 4cb0 d0a0 296e 696c ....F...L...)nil │ │ │ 000003e0: 706f 7465 6e74 a028 736f 6c76 6162 6c65 potent.(solvable │ │ │ 000003f0: a028 6d61 7468 636f 6d70 40e0 9004 0841 .(mathcomp@....A │ │ │ 00000400: 90a0 a030 6c6f 7765 725f 6365 6e74 7261 ...0lower_centra │ │ │ 00000410: 6c5f 6174 9008 0000 2700 40a0 8080 91b7 l_at....'.@..... │ │ │ 00000420: a090 216e 409b a0a0 90b0 90a0 2944 6174 ..!n@.......)Dat │ │ │ 00000430: 6174 7970 6573 a024 496e 6974 a023 436f atypes.$Init.#Co │ │ │ @@ -2478,16 +2478,16 @@ │ │ │ 00009ad0: 07ad 4104 9ec0 40b0 0507 af41 049b 4041 ..A...@....A..@A │ │ │ 00009ae0: 4243 b005 0783 4104 a6c0 c0c0 40b0 0507 BC....A.....@... │ │ │ 00009af0: 8741 04a5 4041 b005 0788 4104 a140 42b0 .A..@A....A..@B. │ │ │ 00009b00: 04a7 4104 60c0 40b0 0501 7b42 0501 75c0 ..A.`.@...{B..u. │ │ │ 00009b10: 40b0 0501 5742 0501 7740 4142 4344 4647 @...WB..w@ABCDFG │ │ │ 00009b20: 4890 a0a0 2767 7365 7269 6573 a028 736f H...'gseries.(so │ │ │ 00009b30: 6c76 6162 6c65 a028 6d61 7468 636f 6d70 lvable.(mathcomp │ │ │ -00009b40: 4090 3012 ee3f e1cc 4e04 6474 c45d 77df @.0..?..N.dt.]w. │ │ │ -00009b50: c511 e290 40a0 a095 a002 1d04 1afc a040 ....@..........@ │ │ │ +00009b40: 4090 3064 821b c461 9c76 4a6d b994 fef5 @.0d...a.vJm.... │ │ │ +00009b50: 6354 1490 40a0 a095 a002 1d04 1afc a040 cT..@..........@ │ │ │ 00009b60: a0a0 402b 274c 5f20 5f20 2820 5f20 29c0 ..@+'L_ _ ( _ ). │ │ │ 00009b70: a0a0 4048 a091 42a0 4040 a0b1 4040 a090 ..@H..B.@@..@@.. │ │ │ 00009b80: 4240 a0b1 4040 a041 4040 90a0 d0a0 a040 B@..@@.A@@.....@ │ │ │ 00009b90: 4804 0f40 0414 a0a0 a041 2327 4c5f a0a1 H..@.....A#'L_.. │ │ │ 00009ba0: a140 0411 9005 1c28 a0a0 4121 28a0 a1a1 .@.....(..A!(... │ │ │ 00009bb0: 4004 1490 0515 a0a0 a041 2129 4040 a004 @........A!)@@.. │ │ │ 00009bc0: 1ea0 041b 4040 90a0 40a0 a094 0416 a090 ....@@..@....... │ │ │ @@ -4728,16 +4728,16 @@ │ │ │ 00012770: d840 d040 0526 d5a0 0526 d240 4041 4243 .@.@.&...&.@@ABC │ │ │ 00012780: 0526 d0a0 0526 cd40 d0d0 d040 0526 caa0 .&...&.@...@.&.. │ │ │ 00012790: 0526 c640 4041 0526 c3a0 0526 ba40 d040 .&.@@A.&...&.@.@ │ │ │ 000127a0: 0526 b7a0 0526 b340 4041 4205 26b0 a005 .&...&.@@AB.&... │ │ │ 000127b0: 26ac 40d0 d040 0526 a9a0 0526 9e40 4041 &.@..@.&...&.@@A │ │ │ 000127c0: 0526 9ba0 0526 9740 d040 0526 95a0 0526 .&...&.@.@.&...& │ │ │ 000127d0: 9040 d040 0526 8da0 0526 8840 4041 4243 .@.@.&...&.@@ABC │ │ │ -000127e0: 4445 4040 2f4e ecab 5e69 dfb7 9a24 b4f5 DE@@/N..^i...$.. │ │ │ -000127f0: 1904 e41f 8495 a6be 0002 8119 0000 84af ................ │ │ │ +000127e0: 4445 4040 b9e6 cd8a af38 3031 d8a4 0744 DE@@.....801...D │ │ │ +000127f0: 4268 4f59 8495 a6be 0002 8119 0000 84af BhOY............ │ │ │ 00012800: 0001 bae7 0001 b85b 0800 018b 0090 a0a9 .......[........ │ │ │ 00012810: b7a0 9028 5f65 7661 725f 305f 40fd d0a0 ...(_evar_0_@... │ │ │ 00012820: 90b0 90a0 2944 6174 6174 7970 6573 a024 ....)Datatypes.$ │ │ │ 00012830: 496e 6974 a023 436f 7140 2462 6f6f 6c02 Init.#Coq@$bool. │ │ │ 00012840: 0efc 5a27 4040 a040 40a0 4040 9043 a080 ..Z'@@.@@.@@.C.. │ │ │ 00012850: 8080 a0a0 90a0 9021 7840 9441 4040 9ca0 .......!x@.A@@.. │ │ │ 00012860: a004 1941 040b a0a0 80b6 040a a99a a090 ...A............ │ │ │ @@ -15056,17 +15056,17 @@ │ │ │ 0003acf0: 052a 2b01 010a 1937 0623 0a37 0727 0480 .*+....7.#.7.'.. │ │ │ 0003ad00: 2a18 2010 0c10 0c10 0c2c 1080 c037 2d00 *. ......,...7-. │ │ │ 0003ad10: 028c 0037 0021 0a37 0121 3702 220a 3703 ...7.!.7.!7.".7. │ │ │ 0003ad20: 213a 0129 0180 2418 100c 1080 c004 0380 !:.)..$......... │ │ │ 0003ad30: 2418 100c 1080 6991 6b1d fcf9 c9c1 8b1c $.....i.k....... │ │ │ 0003ad40: a4f9 a899 f209 0000 0004 0000 0007 6c69 ..............li │ │ │ 0003ad50: 6272 6172 7900 0000 0000 0003 c500 0000 brary........... │ │ │ -0003ad60: 0000 0124 1f2f 4eec ab5e 69df b79a 24b4 ...$./N..^i...$. │ │ │ -0003ad70: f519 04e4 1f00 0000 076f 7061 7175 6573 .........opaques │ │ │ +0003ad60: 0000 0124 1fb9 e6cd 8aaf 3830 31d8 a407 ...$......801... │ │ │ +0003ad70: 4442 684f 5900 0000 076f 7061 7175 6573 DBhOY....opaques │ │ │ 0003ad80: 0000 0000 0001 27f4 0000 0000 0002 812d ......'........- │ │ │ 0003ad90: 079c 9324 942c af91 d12c 4d13 d295 6b81 ...$.,...,M...k. │ │ │ 0003ada0: 0000 0007 7375 6d6d 6172 7900 0000 0000 ....summary..... │ │ │ -0003adb0: 0000 1000 0000 0000 0003 a58b 90fa 4ea0 ..............N. │ │ │ -0003adc0: 7ef2 c174 c4c8 b5de 429a fa00 0000 0976 ~..t....B......v │ │ │ +0003adb0: 0000 1000 0000 0000 0003 a547 1830 cd79 ...........G.0.y │ │ │ +0003adc0: 0198 d67c 3d06 93c0 e0e5 bb00 0000 0976 ...|=..........v │ │ │ 0003add0: 6d6c 6962 7261 7279 0000 0000 0003 a931 mlibrary.......1 │ │ │ 0003ade0: 0000 0000 0000 0405 6991 6b1d fcf9 c9c1 ........i.k..... │ │ │ 0003adf0: 8b1c a4f9 a899 f209 ........ │ │ ├── ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/solvable/pgroup.vo │ │ │ @@ -41,18 +41,18 @@ │ │ │ 00000280: 6869 736d a028 6669 6e67 726f 7570 a028 hism.(fingroup.( │ │ │ 00000290: 6d61 7468 636f 6d70 4090 302c 691d a61d mathcomp@.0,i... │ │ │ 000002a0: 9333 dd87 de6a be27 1341 cba0 a028 6766 .3...j.'.A...(gf │ │ │ 000002b0: 756e 6374 6f72 a028 736f 6c76 6162 6c65 unctor.(solvable │ │ │ 000002c0: a028 6d61 7468 636f 6d70 4090 3024 85e1 .(mathcomp@.0$.. │ │ │ 000002d0: 8f3a 1597 e208 7f38 eb1b ffc8 30a0 a026 .:.....8....0..& │ │ │ 000002e0: 6379 636c 6963 a028 736f 6c76 6162 6c65 cyclic.(solvable │ │ │ -000002f0: a028 6d61 7468 636f 6d70 4090 3005 b6cd .(mathcomp@.0... │ │ │ -00000300: 9538 ce65 91b0 959b d9ee 0530 2425 352e .8.e.......0$%5. │ │ │ -00000310: 342e 30a0 4040 3403 8992 8fe3 59e8 ed92 4.0.@@4.....Y... │ │ │ -00000320: b812 c3d2 3f2e 8495 a6be 0002 3974 0000 ....?.......9t.. │ │ │ +000002f0: a028 6d61 7468 636f 6d70 4090 3059 f3c5 .(mathcomp@.0Y.. │ │ │ +00000300: 5e5d bb95 148e 7093 4cd3 34f4 f025 352e ^]....p.L.4..%5. │ │ │ +00000310: 342e 30a0 4040 c555 978a b20b 6052 1c28 4.0.@@.U....`R.( │ │ │ +00000320: 9915 cc92 70d8 8495 a6be 0002 3974 0000 ....p.......9t.. │ │ │ 00000330: 867e 0001 dc4f 0001 d731 b0d0 a026 7067 .~...O...1...&pg │ │ │ 00000340: 726f 7570 a028 736f 6c76 6162 6c65 a028 roup.(solvable.( │ │ │ 00000350: 6d61 7468 636f 6d70 40e0 9004 0841 90a0 mathcomp@....A.. │ │ │ 00000360: a004 0a90 0800 0027 0040 a080 8091 b7a0 .......'.@...... │ │ │ 00000370: 9022 6754 409b a0a0 90b0 a290 a028 6669 ."gT@........(fi │ │ │ 00000380: 6e67 726f 7570 a004 02a0 0419 4028 4669 ngroup......@(Fi │ │ │ 00000390: 6e47 726f 7570 2474 7970 6502 024b 75c9 nGroup$type..Ku. │ │ │ @@ -4235,16 +4235,16 @@ │ │ │ 000108a0: 0142 4041 42b0 040d 41a0 0301 f85a 3240 .B@AB...A....Z2@ │ │ │ 000108b0: 96f7 3090 b005 0f6f 2001 078e c0c0 40b0 ..0....o .....@. │ │ │ 000108c0: 0414 4104 92c0 40b0 0416 4104 8c40 4142 ..A...@...A..@AB │ │ │ 000108d0: b0a0 0300 44c6 3863 245c 5290 b005 0b50 ....D.8c$\R....P │ │ │ 000108e0: 2001 0558 4104 51c0 40b0 0501 7342 0501 ..XA.Q.@...sB.. │ │ │ 000108f0: 9440 4143 4445 4647 48a0 a0a0 2663 7963 .@ACDEFGH...&cyc │ │ │ 00010900: 6c69 63a0 2873 6f6c 7661 626c 65a0 286d lic.(solvable.(m │ │ │ -00010910: 6174 6863 6f6d 7040 9030 05b6 cd95 38ce athcomp@.0....8. │ │ │ -00010920: 6591 b095 9bd9 ee05 3024 a005 0b6f 9030 e.......0$...o.0 │ │ │ +00010910: 6174 6863 6f6d 7040 9030 59f3 c55e 5dbb athcomp@.0Y..^]. │ │ │ +00010920: 9514 8e70 934c d334 f4f0 a005 0b6f 9030 ...p.L.4.....o.0 │ │ │ 00010930: 2485 e18f 3a15 97e2 087f 38eb 1bff c830 $...:.....8....0 │ │ │ 00010940: 9040 a0a0 95a0 021d 041a fca0 40a0 a040 .@..........@..@ │ │ │ 00010950: 295f 202e 2d67 726f 7570 c0a0 a040 42a0 )_ .-group...@B. │ │ │ 00010960: 9042 40a0 b140 40a0 9042 a040 9040 4090 .B@..@@..B.@.@@. │ │ │ 00010970: a0d0 a0a0 4042 040d 4004 12a0 a0a1 a140 ....@B..@......@ │ │ │ 00010980: 040d 9005 2f19 a0a0 4127 2e2d 6772 6f75 ..../...A'.-grou │ │ │ 00010990: 7040 40a0 0413 4040 90a0 40a0 a090 b040 p@@...@@..@....@ │ │ │ @@ -9156,16 +9156,16 @@ │ │ │ 00023c30: 4041 4243 0554 b7a0 0554 b440 d0d0 d040 @ABC.T...T.@...@ │ │ │ 00023c40: 0554 b1a0 0554 ad40 4041 0554 aaa0 0554 .T...T.@@A.T...T │ │ │ 00023c50: a240 d040 0554 9fa0 0554 9a40 4041 4205 .@.@.T...T.@@AB. │ │ │ 00023c60: 5497 a005 5493 40d0 d040 0554 90a0 0554 T...T.@..@.T...T │ │ │ 00023c70: 8b40 4041 0554 88a0 0554 8440 d0d0 4005 .@@A.T...T.@..@. │ │ │ 00023c80: 5481 a005 5480 4040 4105 547d a005 5479 T...T.@@A.T}..Ty │ │ │ 00023c90: 40d0 4005 5476 a005 5471 40d0 4005 546e @.@.Tv..Tq@.@.Tn │ │ │ -00023ca0: a005 5469 4040 4142 4344 4546 4040 5896 ..Ti@@ABCDEF@@X. │ │ │ -00023cb0: 7d1f 317d 2b9a 64db e13f 3e58 8a89 8495 }.1}+.d..?>X.... │ │ │ +00023ca0: a005 5469 4040 4142 4344 4546 4040 dc4b ..Ti@@ABCDEF@@.K │ │ │ +00023cb0: 9326 c67e 5d59 8328 0a99 9942 5e18 8495 .&.~]Y.(...B^... │ │ │ 00023cc0: a6be 0003 6e90 0000 b60c 0002 5f34 0002 ....n......._4.. │ │ │ 00023cd0: 5b31 0800 0303 0090 a0b7 a090 2147 40a9 [1..........!G@. │ │ │ 00023ce0: 9aa0 90b0 90a0 2866 696e 6772 6f75 70a0 ......(fingroup. │ │ │ 00023cf0: 0402 a028 6d61 7468 636f 6d70 4028 6772 ...(mathcomp@(gr │ │ │ 00023d00: 6f75 705f 6f66 0221 5142 ffa0 8080 9091 oup_of.!QB...... │ │ │ 00023d10: 2267 54a9 9aa0 90b0 90a0 2973 7372 6566 "gT.......)ssref │ │ │ 00023d20: 6c65 6374 a023 7373 72a0 2343 6f71 402e lect.#ssr.#Coq@. │ │ │ @@ -23302,17 +23302,17 @@ │ │ │ 0005b050: 0021 0a37 0121 3702 220a 3703 213a 0129 .!.7.!7.".7.!:.) │ │ │ 0005b060: 0180 2418 100c 1080 c004 0380 2418 100c ..$.........$... │ │ │ 0005b070: 1080 c004 0880 2b18 2010 0c10 0c10 0c28 ......+. ......( │ │ │ 0005b080: 1410 80c0 0407 8024 1810 0c10 80c0 0409 .......$........ │ │ │ 0005b090: 8024 1810 0c10 806e e5ec b01d 68b8 6858 .$.....n....h.hX │ │ │ 0005b0a0: 12e0 b27b 9954 8300 0000 0400 0000 076c ...{.T.........l │ │ │ 0005b0b0: 6962 7261 7279 0000 0000 0000 0326 0000 ibrary.......&.. │ │ │ -0005b0c0: 0000 0002 3988 5896 7d1f 317d 2b9a 64db ....9.X.}.1}+.d. │ │ │ -0005b0d0: e13f 3e58 8a89 0000 0007 6f70 6171 7565 .?>X......opaque │ │ │ +0005b0c0: 0000 0002 3988 dc4b 9326 c67e 5d59 8328 ....9..K.&.~]Y.( │ │ │ +0005b0d0: 0a99 9942 5e18 0000 0007 6f70 6171 7565 ...B^.....opaque │ │ │ 0005b0e0: 7300 0000 0000 023c be00 0000 0000 036e s......<.......n │ │ │ 0005b0f0: a46f 3c6d bdbf f62b f7a5 bd20 9e0e 1e2f .oX....¢e │ │ │ +000003c0: 6863 6f6d 7040 9030 dc4b 9326 c67e 5d59 hcomp@.0.K.&.~]Y │ │ │ +000003d0: 8328 0a99 9942 5e18 a0a0 2663 656e 7465 .(...B^...¢e │ │ │ 000003e0: 72a0 2873 6f6c 7661 626c 65a0 286d 6174 r.(solvable.(mat │ │ │ -000003f0: 6863 6f6d 7040 9030 2444 887a 19c0 53ae hcomp@.0$D.z..S. │ │ │ -00000400: 27b8 0aa1 b366 c43c a0a0 296e 696c 706f '....f.<..)nilpo │ │ │ +000003f0: 6863 6f6d 7040 9030 8f8d 32f9 6d6e aed6 hcomp@.0..2.mn.. │ │ │ +00000400: 67c3 79d5 634f e0f8 a0a0 296e 696c 706f g.y.cO....)nilpo │ │ │ 00000410: 7465 6e74 a028 736f 6c76 6162 6c65 a028 tent.(solvable.( │ │ │ -00000420: 6d61 7468 636f 6d70 4090 302f 4eec ab5e mathcomp@.0/N..^ │ │ │ -00000430: 69df b79a 24b4 f519 04e4 1f25 352e 342e i...$......%5.4. │ │ │ -00000440: 30a0 4040 6a60 43e9 be57 81b9 dca9 7ee6 0.@@j`C..W....~. │ │ │ -00000450: b825 6775 8495 a6be 0000 ac44 0000 2764 .%gu.......D..'d │ │ │ +00000420: 6d61 7468 636f 6d70 4090 30b9 e6cd 8aaf mathcomp@.0..... │ │ │ +00000430: 3830 31d8 a407 4442 684f 5925 352e 342e 801...DBhOY%5.4. │ │ │ +00000440: 30a0 4040 961c 46ae 5c4d 40df aa2f 4e5d 0.@@..F.\M@../N] │ │ │ +00000450: d278 0af2 8495 a6be 0000 ac44 0000 2764 .x.........D..'d │ │ │ 00000460: 0000 8a03 0000 868a b0d0 a025 7379 6c6f ...........%sylo │ │ │ 00000470: 77a0 2873 6f6c 7661 626c 65a0 286d 6174 w.(solvable.(mat │ │ │ 00000480: 6863 6f6d 7040 e090 0408 4190 a0a0 2e70 hcomp@....A....p │ │ │ 00000490: 6772 6f75 705f 6669 785f 6d6f 6490 0800 group_fix_mod... │ │ │ 000004a0: 0027 0040 a080 8092 c040 a0a0 a040 40b0 .'.@.....@...@@. │ │ │ 000004b0: a0a0 a022 746f 40a9 9ba0 a090 b090 a026 ..."to@........& │ │ │ 000004c0: 6163 7469 6f6e a028 6669 6e67 726f 7570 action.(fingroup │ │ │ @@ -1731,19 +1731,19 @@ │ │ │ 00006c20: 0501 00c0 c040 b005 012f 4104 e640 41b0 .....@.../A..@A. │ │ │ 00006c30: 0501 3041 04e2 c040 b005 0132 4104 7140 ..0A...@...2A.q@ │ │ │ 00006c40: 4142 43b0 0501 3341 04c2 c0c0 c040 b005 ABC...3A.....@.. │ │ │ 00006c50: 0137 4104 b140 41b0 0501 3841 04a7 4042 .7A..@A...8A..@B │ │ │ 00006c60: b005 016b 4205 0182 4043 4447 48a0 a0a0 ...kB...@CDGH... │ │ │ 00006c70: 296e 696c 706f 7465 6e74 a028 736f 6c76 )nilpotent.(solv │ │ │ 00006c80: 6162 6c65 a028 6d61 7468 636f 6d70 4090 able.(mathcomp@. │ │ │ -00006c90: 302f 4eec ab5e 69df b79a 24b4 f519 04e4 0/N..^i...$..... │ │ │ -00006ca0: 1fa0 a026 7067 726f 7570 a028 736f 6c76 ...&pgroup.(solv │ │ │ +00006c90: 30b9 e6cd 8aaf 3830 31d8 a407 4442 684f 0.....801...DBhO │ │ │ +00006ca0: 59a0 a026 7067 726f 7570 a028 736f 6c76 Y..&pgroup.(solv │ │ │ 00006cb0: 6162 6c65 a028 6d61 7468 636f 6d70 4090 able.(mathcomp@. │ │ │ -00006cc0: 3058 967d 1f31 7d2b 9a64 dbe1 3f3e 588a 0X.}.1}+.d..?>X. │ │ │ -00006cd0: 8990 40a0 4040 a0a0 95a0 0232 0a51 8fa0 ..@.@@.....2.Q.. │ │ │ +00006cc0: 30dc 4b93 26c6 7e5d 5983 280a 9999 425e 0.K.&.~]Y.(...B^ │ │ │ +00006cd0: 1890 40a0 4040 a0a0 95a0 0232 0a51 8fa0 ..@.@@.....2.Q.. │ │ │ 00006ce0: 0513 d8b0 9241 4040 a095 a002 0fc0 a2b8 .....A@@........ │ │ │ 00006cf0: a090 e041 4040 4040 40a0 a091 90b0 0513 ...A@@@@@....... │ │ │ 00006d00: e905 13e5 0222 87e3 bea0 a040 a090 c0b0 .....".....@.... │ │ │ 00006d10: 0513 8341 40a2 9043 9044 4041 a090 c0b0 ...A@..C.D@A.... │ │ │ 00006d20: 0513 7c42 4091 0406 4041 a090 c0b0 0513 ..|B@...@A...... │ │ │ 00006d30: 7343 4091 040b 4041 a090 c0b0 0513 6d44 sC@...@A......mD │ │ │ 00006d40: 4091 9049 4041 a090 c0b0 0513 5945 4091 @..I@A......YE@. │ │ │ @@ -2820,16 +2820,16 @@ │ │ │ 0000b030: 4243 0512 c0a0 0512 bd40 d0d0 d040 0512 BC.......@...@.. │ │ │ 0000b040: baa0 0512 b640 4041 0512 b3a0 0512 ab40 .....@@A.......@ │ │ │ 0000b050: d040 0512 a9a0 0512 9d40 4041 4205 129a .@.......@@AB... │ │ │ 0000b060: a005 1295 40d0 d040 0512 92a0 0512 8e40 ....@..@.......@ │ │ │ 0000b070: 4041 0512 8ba0 0512 8640 d0d0 4005 1283 @A.......@..@... │ │ │ 0000b080: a005 1277 4040 4105 1274 a005 1270 40d0 ...w@@A..t...p@. │ │ │ 0000b090: 4005 126e a005 1269 40d0 4005 1266 a005 @..n...i@.@..f.. │ │ │ -0000b0a0: 1261 4040 4142 4344 4546 4040 2235 6f81 .a@@ABCDEF@@"5o. │ │ │ -0000b0b0: 050f 808b d48b b309 027b cfca 8495 a6be .........{...... │ │ │ +0000b0a0: 1261 4040 4142 4344 4546 4040 dfc5 fd8c .a@@ABCDEF@@.... │ │ │ +0000b0b0: 41bd b437 d786 ddf9 0862 f851 8495 a6be A..7.....b.Q.... │ │ │ 0000b0c0: 0003 3927 0000 aef1 0002 3fe4 0002 3c85 ..9'......?...<. │ │ │ 0000b0d0: 0800 00b7 0090 a0b7 a090 2170 409b a0a0 ..........!p@... │ │ │ 0000b0e0: 90b0 90a0 2944 6174 6174 7970 6573 a024 ....)Datatypes.$ │ │ │ 0000b0f0: 496e 6974 a023 436f 7140 236e 6174 020e Init.#Coq@#nat.. │ │ │ 0000b100: f216 0640 a080 80b7 a090 2147 40a9 9aa0 ...@......!G@... │ │ │ 0000b110: 90b0 90a0 2866 696e 6772 6f75 70a0 0402 ....(fingroup... │ │ │ 0000b120: a028 6d61 7468 636f 6d70 4028 6772 6f75 .(mathcomp@(grou │ │ │ @@ -16036,17 +16036,17 @@ │ │ │ 0003ea30: 6174 6863 6f6d 7040 90c0 0930 2d00 038c athcomp@...0-... │ │ │ 0003ea40: 2a2b 0101 0a2d 0209 0a37 0021 3701 2704 *+...-...7.!7.'. │ │ │ 0003ea50: 450a 1937 0222 1937 0322 3901 0b19 3702 E..7.".7."9...7. │ │ │ 0003ea60: 221a 1937 0423 4a37 0525 0405 8027 380c "..7.#J7.%...'8. │ │ │ 0003ea70: 1c10 1c14 1080 5d3f c34b dc15 43fe 8c8e ......]?.K..C... │ │ │ 0003ea80: ae10 dfe9 38f3 0000 0004 0000 0007 6c69 ....8.........li │ │ │ 0003ea90: 6272 6172 7900 0000 0000 0004 5400 0000 brary.......T... │ │ │ -0003eaa0: 0000 00ac 5822 356f 8105 0f80 8bd4 8bb3 ....X"5o........ │ │ │ -0003eab0: 0902 7bcf ca00 0000 076f 7061 7175 6573 ..{......opaques │ │ │ +0003eaa0: 0000 00ac 58df c5fd 8c41 bdb4 37d7 86dd ....X....A..7... │ │ │ +0003eab0: f908 62f8 5100 0000 076f 7061 7175 6573 ..b.Q....opaques │ │ │ 0003eac0: 0000 0000 0000 b0bc 0000 0000 0003 393b ..............9; │ │ │ 0003ead0: 0577 e5ed 1a29 8455 258c cf9a 4857 bd7e .w...).U%...HW.~ │ │ │ 0003eae0: 0000 0007 7375 6d6d 6172 7900 0000 0000 ....summary..... │ │ │ -0003eaf0: 0000 1000 0000 0000 0004 346a 6043 e9be ..........4j`C.. │ │ │ -0003eb00: 5781 b9dc a97e e6b8 2567 7500 0000 0976 W....~..%gu....v │ │ │ +0003eaf0: 0000 1000 0000 0000 0004 3496 1c46 ae5c ..........4..F.\ │ │ │ +0003eb00: 4d40 dfaa 2f4e 5dd2 780a f200 0000 0976 M@../N].x......v │ │ │ 0003eb10: 6d6c 6962 7261 7279 0000 0000 0003 ea07 mlibrary........ │ │ │ 0003eb20: 0000 0000 0000 006f 5d3f c34b dc15 43fe .......o]?.K..C. │ │ │ 0003eb30: 8c8e ae10 dfe9 38f3 ......8. │ │ ├── ./var/lib/coq/md5sums/libcoq-mathcomp-solvable.checksum │ │ │ @@ -1 +1 @@ │ │ │ -e1tm0 │ │ │ +bdmc6