--- /srv/rebuilderd/tmp/rebuilderd1TKvfB/inputs/libcoq-mathcomp-solvable_2.3.0-1+b17_arm64.deb +++ /srv/rebuilderd/tmp/rebuilderd1TKvfB/out/libcoq-mathcomp-solvable_2.3.0-1+b17_arm64.deb ├── file list │ @@ -1,3 +1,3 @@ │ -rw-r--r-- 0 0 0 4 2026-02-13 18:41:41.000000 debian-binary │ -rw-r--r-- 0 0 0 2848 2026-02-13 18:41:41.000000 control.tar.xz │ --rw-r--r-- 0 0 0 4861288 2026-02-13 18:41:41.000000 data.tar.xz │ +-rw-r--r-- 0 0 0 4861764 2026-02-13 18:41:41.000000 data.tar.xz ├── control.tar.xz │ ├── control.tar │ │ ├── ./control │ │ │ @@ -3,15 +3,15 @@ │ │ │ Version: 2.3.0-1+b17 │ │ │ Architecture: arm64 │ │ │ Maintainer: Debian OCaml Maintainers │ │ │ Installed-Size: 17169 │ │ │ Depends: libcoq-mathcomp-algebra (= 2.3.0-1+b17), libcoq-hierarchy-builder-x85g0, libcoq-stdlib-jr710 │ │ │ Breaks: libssreflect-coq (<= 2.3.0-1+b17) │ │ │ Replaces: libssreflect-coq │ │ │ -Provides: libcoq-mathcomp-solvable-9isf8 │ │ │ +Provides: libcoq-mathcomp-solvable-3eul5 │ │ │ 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 3077 42ea 7b5b 4450 b09c d3a4 mp@.0wB.{[DP.... │ │ │ 00000460: 5c4d d503 16a0 a028 636f 756e 7461 6c67 \M.....(countalg │ │ │ 00000470: a027 616c 6765 6272 61a0 286d 6174 6863 .'algebra.(mathc │ │ │ 00000480: 6f6d 7040 9030 15f6 3a52 a53b 0ccd 90f2 omp@.0..:R.;.... │ │ │ 00000490: 94ef 8584 eb00 a0a0 2666 696e 616c 67a0 ........&finalg. │ │ │ 000004a0: 2761 6c67 6562 7261 a028 6d61 7468 636f 'algebra.(mathco │ │ │ -000004b0: 6d70 4090 30aa 86ed e696 a079 9460 5fb3 mp@.0......y.`_. │ │ │ -000004c0: 9de0 0bdd aca0 a025 7a6d 6f64 70a0 2761 .......%zmodp.'a │ │ │ +000004b0: 6d70 4090 30e7 894b 3a60 2315 c7b2 e0dd mp@.0..K:`#..... │ │ │ +000004c0: 7d1a bdb8 a5a0 a025 7a6d 6f64 70a0 2761 }......%zmodp.'a │ │ │ 000004d0: 6c67 6562 7261 a028 6d61 7468 636f 6d70 lgebra.(mathcomp │ │ │ -000004e0: 4090 3019 a874 60b2 7a65 0f1b f89f a003 @.0..t`.ze...... │ │ │ -000004f0: f2a8 05a0 a026 6379 636c 6963 a028 736f .....&cyclic.(so │ │ │ +000004e0: 4090 3006 6906 3690 1c3b 6883 4da8 3484 @.0.i.6..;h.M.4. │ │ │ +000004f0: f1e9 c0a0 a026 6379 636c 6963 a028 736f .....&cyclic.(so │ │ │ 00000500: 6c76 6162 6c65 a028 6d61 7468 636f 6d70 lvable.(mathcomp │ │ │ -00000510: 4090 3054 6044 c646 f24b f2e5 257a aba1 @.0T`D.F.K..%z.. │ │ │ -00000520: d649 b9a0 a026 7067 726f 7570 a028 736f .I...&pgroup.(so │ │ │ +00000510: 4090 3050 1004 ce97 baa1 40d0 d663 dfb2 @.0P......@..c.. │ │ │ +00000520: d3d2 b9a0 a026 7067 726f 7570 a028 736f .....&pgroup.(so │ │ │ 00000530: 6c76 6162 6c65 a028 6d61 7468 636f 6d70 lvable.(mathcomp │ │ │ -00000540: 4090 3000 c5ad 81d9 6911 9ef2 7537 4b24 @.0.....i...u7K$ │ │ │ -00000550: 845d 93a0 a027 6773 6572 6965 73a0 2873 .]...'gseries.(s │ │ │ +00000540: 4090 304f 4128 abd3 1884 acd0 7a13 6fd3 @.0OA(......z.o. │ │ │ +00000550: 122a 8aa0 a027 6773 6572 6965 73a0 2873 .*...'gseries.(s │ │ │ 00000560: 6f6c 7661 626c 65a0 286d 6174 6863 6f6d olvable.(mathcom │ │ │ -00000570: 7040 9030 9f3a ad42 0d92 d705 9520 018b p@.0.:.B..... .. │ │ │ -00000580: ea9f 87de a0a0 296e 696c 706f 7465 6e74 ......)nilpotent │ │ │ +00000570: 7040 9030 b10b 9496 8c5c 9c3f dfae 3237 p@.0.....\.?..27 │ │ │ +00000580: 75ec 5e02 a0a0 296e 696c 706f 7465 6e74 u.^...)nilpotent │ │ │ 00000590: a028 736f 6c76 6162 6c65 a028 6d61 7468 .(solvable.(math │ │ │ -000005a0: 636f 6d70 4090 3007 959c d9e7 ca30 ba2c comp@.0......0., │ │ │ -000005b0: 11a3 2120 f6c8 65a0 a025 7379 6c6f 77a0 ..! ..e..%sylow. │ │ │ +000005a0: 636f 6d70 4090 3052 1cc3 e997 6406 fd72 comp@.0R....d..r │ │ │ +000005b0: 66c4 60ca 3c50 ffa0 a025 7379 6c6f 77a0 f.`... │ │ │ 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 40d8 1ec0 5fc8 @@ABCDEFG@@..._. │ │ │ -0003a650: f651 c224 8d40 f095 ada7 9d84 95a6 be00 .Q.$.@.......... │ │ │ +0003a640: 4040 4142 4344 4546 4740 4024 c398 e921 @@ABCDEFG@@$...! │ │ │ +0003a650: 4ccb 0efe 8013 5bda e88f 7684 95a6 be00 L.....[...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: d81e c05f c8f6 51c2 248d 40f0 95ad a79d ..._..Q.$.@..... │ │ │ +000ed5a0: 24c3 98e9 214c cb0e fe80 135b dae8 8f76 $...!L.....[...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 2b7e 6b75 6b49 1ca0 bcbb ......+~kukI.... │ │ │ -000ed600: 7387 1d9e 1546 0000 0009 766d 6c69 6272 s....F....vmlibr │ │ │ +000ed5f0: 0000 0000 05df d130 ec9f f484 c084 42c4 .......0......B. │ │ │ +000ed600: 1aa4 055b c0ba 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: 301e e7e6 6d3d 123a b96d a4dd 1e6b b936 0...m=.:.m...k.6 │ │ │ 00000070: d9a0 a027 6162 656c 6961 6ea0 2873 6f6c ...'abelian.(sol │ │ │ 00000080: 7661 626c 65a0 286d 6174 6863 6f6d 7040 vable.(mathcomp@ │ │ │ -00000090: 9030 d81e c05f c8f6 51c2 248d 40f0 95ad .0..._..Q.$.@... │ │ │ -000000a0: a79d a0a0 2361 6c74 a028 736f 6c76 6162 ....#alt.(solvab │ │ │ -000000b0: 6c65 a028 6d61 7468 636f 6d70 4090 307b le.(mathcomp@.0{ │ │ │ -000000c0: 43e2 bcdf 4b44 c6bc 01d4 fe63 32e3 a3a0 C...KD.....c2... │ │ │ +00000090: 9030 24c3 98e9 214c cb0e fe80 135b dae8 .0$...!L.....[.. │ │ │ +000000a0: 8f76 a0a0 2361 6c74 a028 736f 6c76 6162 .v..#alt.(solvab │ │ │ +000000b0: 6c65 a028 6d61 7468 636f 6d70 4090 3008 le.(mathcomp@.0. │ │ │ +000000c0: d4c9 ebe0 60b3 58c5 5624 7590 8333 07a0 ....`.X.V$u..3.. │ │ │ 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 3058 9822 7690 d66b ff8e c331 mp@.0X."v..k...1 │ │ │ -00000100: 51d7 a5bb 8fa0 a02c 6578 7472 6173 7065 Q......,extraspe │ │ │ +000000f0: 6d70 4090 30c5 e8b8 b38d 692a 92f2 cf60 mp@.0.....i*...` │ │ │ +00000100: ee90 ee0b 7aa0 a02c 6578 7472 6173 7065 ....z..,extraspe │ │ │ 00000110: 6369 616c a028 736f 6c76 6162 6c65 a028 cial.(solvable.( │ │ │ -00000120: 6d61 7468 636f 6d70 4090 3052 2e85 e0ed mathcomp@.0R.... │ │ │ -00000130: a8f8 4182 ef2d 83a9 8eeb 9fa0 a029 6672 ..A..-.......)fr │ │ │ +00000120: 6d61 7468 636f 6d70 4090 3090 10e4 54db mathcomp@.0...T. │ │ │ +00000130: 8402 57c5 6701 4820 d025 96a0 a029 6672 ..W.g.H .%...)fr │ │ │ 00000140: 6f62 656e 6975 73a0 2873 6f6c 7661 626c obenius.(solvabl │ │ │ -00000150: 65a0 286d 6174 6863 6f6d 7040 9030 d92e e.(mathcomp@.0.. │ │ │ -00000160: 1299 888c 5d28 0b54 3235 1cf0 1fb8 a0a0 ....](.T25...... │ │ │ +00000150: 65a0 286d 6174 6863 6f6d 7040 9030 d4c4 e.(mathcomp@.0.. │ │ │ +00000160: 356f d131 3d47 8290 975a 9170 9db1 a0a0 5o.1=G...Z.p.... │ │ │ 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 32c5 16a0 3fae 5b20 1710 40db p@.02...?.[ ..@. │ │ │ -000001a0: 0081 ea6b 2535 2e34 2e30 a040 4015 3165 ...k%5.4.0.@@.1e │ │ │ -000001b0: 0135 81a2 c0de 080e 5846 1374 a384 95a6 .5......XF.t.... │ │ │ +00000190: 7040 9030 1b14 e316 3826 7863 e340 364f p@.0....8&xc.@6O │ │ │ +000001a0: 3a2d 6fa9 2535 2e34 2e30 a040 400b 0ea0 :-o.%5.4.0.@@... │ │ │ +000001b0: d538 fe24 1ba1 2060 01e3 97b1 6784 95a6 .8.$.. `....g... │ │ │ 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 7b43 e2bc df4b 44c6 bc01 d4fe p@.0{C...KD..... │ │ │ -00000230: 6332 e3a3 a0a0 2c62 7572 6e73 6964 655f c2....,burnside_ │ │ │ +00000220: 7040 9030 08d4 c9eb e060 b358 c556 2475 p@.0.....`.X.V$u │ │ │ +00000230: 9083 3307 a0a0 2c62 7572 6e73 6964 655f ..3...,burnside_ │ │ │ 00000240: 6170 70a0 2873 6f6c 7661 626c 65a0 286d app.(solvable.(m │ │ │ -00000250: 6174 6863 6f6d 7040 9030 5898 2276 90d6 athcomp@.0X."v.. │ │ │ -00000260: 6bff 8ec3 3151 d7a5 bb8f a0a0 2c65 7874 k...1Q......,ext │ │ │ +00000250: 6174 6863 6f6d 7040 9030 c5e8 b8b3 8d69 athcomp@.0.....i │ │ │ +00000260: 2a92 f2cf 60ee 90ee 0b7a a0a0 2c65 7874 *...`....z..,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: 522e 85e0 eda8 f841 82ef 2d83 a98e eb9f R......A..-..... │ │ │ +00000290: 9010 e454 db84 0257 c567 0148 20d0 2596 ...T...W.g.H .%. │ │ │ 000002a0: a0a0 2966 726f 6265 6e69 7573 a028 736f ..)frobenius.(so │ │ │ 000002b0: 6c76 6162 6c65 a028 6d61 7468 636f 6d70 lvable.(mathcomp │ │ │ -000002c0: 4090 30d9 2e12 9988 8c5d 280b 5432 351c @.0......](.T25. │ │ │ -000002d0: f01f b8a0 a02c 6a6f 7264 616e 686f 6c64 .....,jordanhold │ │ │ +000002c0: 4090 30d4 c435 6fd1 313d 4782 9097 5a91 @.0..5o.1=G...Z. │ │ │ +000002d0: 709d b1a0 a02c 6a6f 7264 616e 686f 6c64 p....,jordanhold │ │ │ 000002e0: 6572 a028 736f 6c76 6162 6c65 a028 6d61 er.(solvable.(ma │ │ │ -000002f0: 7468 636f 6d70 4090 3032 c516 a03f ae5b thcomp@.02...?.[ │ │ │ -00000300: 2017 1040 db00 81ea 6b90 40a0 a094 a0a0 ..@....k.@..... │ │ │ +000002f0: 7468 636f 6d70 4090 301b 14e3 1638 2678 thcomp@.0....8&x │ │ │ +00000300: 63e3 4036 4f3a 2d6f a990 40a0 a094 a0a0 c.@6O:-o..@..... │ │ │ 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 bd34 37ea 8111 b3a5 862b 0d4c N@@@.47......+.L │ │ │ -000005d0: fabc 6475 8495 a6be 0000 0001 0000 0000 ..du............ │ │ │ +000005c0: 4e40 4040 2f72 38ec 3564 aa30 c07f 9efc N@@@/r8.5d.0.... │ │ │ +000005d0: 47ee feb8 8495 a6be 0000 0001 0000 0000 G............... │ │ │ 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: 07bd 3437 ea81 11b3 a586 2b0d 4cfa bc64 ..47......+.L..d │ │ │ -00000670: 7500 0000 076f 7061 7175 6573 0000 0000 u....opaques.... │ │ │ +00000660: 072f 7238 ec35 64aa 30c0 7f9e fc47 eefe ./r8.5d.0....G.. │ │ │ +00000670: b800 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 9d15 3165 0135 81a2 c0de ........1e.5.... │ │ │ -000006c0: 080e 5846 1374 a300 0000 0976 6d6c 6962 ..XF.t.....vmlib │ │ │ +000006b0: 0000 0000 0001 9d0b 0ea0 d538 fe24 1ba1 ...........8.$.. │ │ │ +000006c0: 2060 01e3 97b1 6700 0000 0976 6d6c 6962 `....g....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 3096 eb43 eb53 812a 2a2c a0f7 32cc @.0..C.S.**,..2. │ │ │ 000003c0: 8129 13a0 a026 6163 7469 6f6e a028 6669 .)...&action.(fi │ │ │ 000003d0: 6e67 726f 7570 a028 6d61 7468 636f 6d70 ngroup.(mathcomp │ │ │ 000003e0: 4090 3083 2bd2 4fa8 2f33 abe3 e9e4 42c9 @.0.+.O./3....B. │ │ │ 000003f0: 6b81 42a0 a026 6379 636c 6963 a028 736f k.B..&cyclic.(so │ │ │ 00000400: 6c76 6162 6c65 a028 6d61 7468 636f 6d70 lvable.(mathcomp │ │ │ -00000410: 4090 3054 6044 c646 f24b f2e5 257a aba1 @.0T`D.F.K..%z.. │ │ │ -00000420: d649 b9a0 a026 7067 726f 7570 a028 736f .I...&pgroup.(so │ │ │ +00000410: 4090 3050 1004 ce97 baa1 40d0 d663 dfb2 @.0P......@..c.. │ │ │ +00000420: d3d2 b9a0 a026 7067 726f 7570 a028 736f .....&pgroup.(so │ │ │ 00000430: 6c76 6162 6c65 a028 6d61 7468 636f 6d70 lvable.(mathcomp │ │ │ -00000440: 4090 3000 c5ad 81d9 6911 9ef2 7537 4b24 @.0.....i...u7K$ │ │ │ -00000450: 845d 93a0 a027 6773 6572 6965 73a0 2873 .]...'gseries.(s │ │ │ +00000440: 4090 304f 4128 abd3 1884 acd0 7a13 6fd3 @.0OA(......z.o. │ │ │ +00000450: 122a 8aa0 a027 6773 6572 6965 73a0 2873 .*...'gseries.(s │ │ │ 00000460: 6f6c 7661 626c 65a0 286d 6174 6863 6f6d olvable.(mathcom │ │ │ -00000470: 7040 9030 9f3a ad42 0d92 d705 9520 018b p@.0.:.B..... .. │ │ │ -00000480: ea9f 87de a0a0 2573 796c 6f77 a028 736f ......%sylow.(so │ │ │ +00000470: 7040 9030 b10b 9496 8c5c 9c3f dfae 3237 p@.0.....\.?..27 │ │ │ +00000480: 75ec 5e02 a0a0 2573 796c 6f77 a028 736f u.^...%sylow.(so │ │ │ 00000490: 6c76 6162 6c65 a028 6d61 7468 636f 6d70 lvable.(mathcomp │ │ │ -000004a0: 4090 301b 56bb 2837 b7a0 7bd8 c95a 46af @.0.V.(7..{..ZF. │ │ │ -000004b0: 5bc3 4fa0 a030 7072 696d 6974 6976 655f [.O..0primitive_ │ │ │ +000004a0: 4090 3020 caee cef9 f574 4614 e05a e946 @.0 .....tF..Z.F │ │ │ +000004b0: dec6 5ba0 a030 7072 696d 6974 6976 655f ..[..0primitive_ │ │ │ 000004c0: 6163 7469 6f6e a028 736f 6c76 6162 6c65 action.(solvable │ │ │ -000004d0: a028 6d61 7468 636f 6d70 4090 3036 c85a .(mathcomp@.06.Z │ │ │ -000004e0: 598c 4739 10f0 1eef f3d7 39a8 a225 352e Y.G9......9..%5. │ │ │ -000004f0: 342e 30a0 4040 0e68 8d1b d7f9 348c 1e5d 4.0.@@.h....4..] │ │ │ -00000500: 0bdb 538c edc0 8495 a6be 0001 c14d 0000 ..S..........M.. │ │ │ +000004d0: a028 6d61 7468 636f 6d70 4090 3005 d812 .(mathcomp@.0... │ │ │ +000004e0: 6006 fccd 1e75 aa16 1ed0 8d56 2325 352e `....u.....V#%5. │ │ │ +000004f0: 342e 30a0 4040 992c 8a05 1a83 c7f4 5f3e 4.0.@@.,......_> │ │ │ +00000500: 30d8 97a2 d890 8495 a6be 0001 c14d 0000 0............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: 36c8 5a59 8c47 3910 f01e eff3 d739 a8a2 6.ZY.G9......9.. │ │ │ +000069e0: 05d8 1260 06fc cd1e 75aa 161e d08d 5623 ...`....u.....V# │ │ │ 000069f0: a0a0 2573 796c 6f77 a028 736f 6c76 6162 ..%sylow.(solvab │ │ │ -00006a00: 6c65 a028 6d61 7468 636f 6d70 4090 301b le.(mathcomp@.0. │ │ │ -00006a10: 56bb 2837 b7a0 7bd8 c95a 46af 5bc3 4f90 V.(7..{..ZF.[.O. │ │ │ +00006a00: 6c65 a028 6d61 7468 636f 6d70 4090 3020 le.(mathcomp@.0 │ │ │ +00006a10: caee cef9 f574 4614 e05a e946 dec6 5b90 .....tF..Z.F..[. │ │ │ 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 407b 43e2 bcdf 4b44 c6bc 1.D@B@@{C...KD.. │ │ │ -0001c670: 01d4 fe63 32e3 a384 95a6 be00 0372 c100 ...c2........r.. │ │ │ +0001c660: 3104 4440 4240 4008 d4c9 ebe0 60b3 58c5 1.D@B@@.....`.X. │ │ │ +0001c670: 5624 7590 8333 0784 95a6 be00 0372 c100 V$u..3.......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 617b 43e2 bcdf 4b44 ........a{C...KD │ │ │ -00053e90: c6bc 01d4 fe63 32e3 a300 0000 076f 7061 .....c2......opa │ │ │ +00053e80: 0600 0000 0000 01c1 6108 d4c9 ebe0 60b3 ........a.....`. │ │ │ +00053e90: 58c5 5624 7590 8333 0700 0000 076f 7061 X.V$u..3.....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 e60e ................ │ │ │ -00053ee0: 688d 1bd7 f934 8c1e 5d0b db53 8ced c000 h....4..]..S.... │ │ │ +00053ed0: 0000 0000 0000 1000 0000 0000 0004 e699 ................ │ │ │ +00053ee0: 2c8a 051a 83c7 f45f 3e30 d897 a2d8 9000 ,......_>0...... │ │ │ 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 30db 6e0d 723c 7de1 172e 8996 mp@.0.n.r<}..... │ │ │ 00000300: 221f 811a c3a0 a026 6163 7469 6f6e a028 "......&action.( │ │ │ 00000310: 6669 6e67 726f 7570 a028 6d61 7468 636f fingroup.(mathco │ │ │ 00000320: 6d70 4090 3083 2bd2 4fa8 2f33 abe3 e9e4 mp@.0.+.O./3.... │ │ │ 00000330: 42c9 6b81 42a0 a030 7072 696d 6974 6976 B.k.B..0primitiv │ │ │ 00000340: 655f 6163 7469 6f6e a028 736f 6c76 6162 e_action.(solvab │ │ │ -00000350: 6c65 a028 6d61 7468 636f 6d70 4090 3036 le.(mathcomp@.06 │ │ │ -00000360: c85a 598c 4739 10f0 1eef f3d7 39a8 a225 .ZY.G9......9..% │ │ │ -00000370: 352e 342e 30a0 4040 1339 afed 462f 278b 5.4.0.@@.9..F/'. │ │ │ -00000380: 49cf 3502 f9d8 8170 8495 a6be 0004 950e I.5....p........ │ │ │ +00000350: 6c65 a028 6d61 7468 636f 6d70 4090 3005 le.(mathcomp@.0. │ │ │ +00000360: d812 6006 fccd 1e75 aa16 1ed0 8d56 2325 ..`....u.....V#% │ │ │ +00000370: 352e 342e 30a0 4040 2da8 fcf4 db66 0a5b 5.4.0.@@-....f.[ │ │ │ +00000380: 84c9 8fc2 4ec8 2ab9 8495 a6be 0004 950e ....N.*......... │ │ │ 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 3036 le.(mathcomp@.06 │ │ │ -0001c8b0: c85a 598c 4739 10f0 1eef f3d7 39a8 a290 .ZY.G9......9... │ │ │ +0001c8a0: 6c65 a028 6d61 7468 636f 6d70 4090 3005 le.(mathcomp@.0. │ │ │ +0001c8b0: d812 6006 fccd 1e75 aa16 1ed0 8d56 2390 ..`....u.....V#. │ │ │ 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 5898 2276 90d6 .....b@B@@X."v.. │ │ │ -000498b0: 6bff 8ec3 3151 d7a5 bb8f 8495 a6be 000d k...1Q.......... │ │ │ +000498a0: 0af9 e8a0 0462 4042 4040 c5e8 b8b3 8d69 .....b@B@@.....i │ │ │ +000498b0: 2a92 f2cf 60ee 90ee 0b7a 8495 a6be 000d *...`....z...... │ │ │ 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 5898 ............."X. │ │ │ -00128110: 2276 90d6 6bff 8ec3 3151 d7a5 bb8f 0000 "v..k...1Q...... │ │ │ +00128100: 0000 0000 0388 0000 0000 0004 9522 c5e8 .............".. │ │ │ +00128110: b8b3 8d69 2a92 f2cf 60ee 90ee 0b7a 0000 ...i*...`....z.. │ │ │ 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 1339 afed 462f 278b 49cf 3502 ...h.9..F/'.I.5. │ │ │ -00128170: f9d8 8170 0000 0009 766d 6c69 6272 6172 ...p....vmlibrar │ │ │ +00128160: 0000 0368 2da8 fcf4 db66 0a5b 84c9 8fc2 ...h-....f.[.... │ │ │ +00128170: 4ec8 2ab9 0000 0009 766d 6c69 6272 6172 N.*.....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 30e7 efca e90e 9977 5cf4 8b01 a288 @.0......w\..... │ │ │ 00000370: 7632 50a0 a028 6766 756e 6374 6f72 a028 v2P..(gfunctor.( │ │ │ 00000380: 736f 6c76 6162 6c65 a028 6d61 7468 636f solvable.(mathco │ │ │ 00000390: 6d70 4090 30b2 e0e9 2e1f 515f 0adf 05c3 mp@.0.....Q_.... │ │ │ 000003a0: 5ba7 0ca2 e1a0 a026 6379 636c 6963 a028 [......&cyclic.( │ │ │ 000003b0: 736f 6c76 6162 6c65 a028 6d61 7468 636f solvable.(mathco │ │ │ -000003c0: 6d70 4090 3054 6044 c646 f24b f2e5 257a mp@.0T`D.F.K..%z │ │ │ -000003d0: aba1 d649 b925 352e 342e 30a0 4040 c1e0 ...I.%5.4.0.@@.. │ │ │ -000003e0: 2b18 4e34 cb0b 40d6 225e a7e3 44e8 8495 +.N4..@."^..D... │ │ │ +000003c0: 6d70 4090 3050 1004 ce97 baa1 40d0 d663 mp@.0P......@..c │ │ │ +000003d0: dfb2 d3d2 b925 352e 342e 30a0 4040 f92d .....%5.4.0.@@.- │ │ │ +000003e0: 8543 33dd aef1 79f8 31ac b04f a438 8495 .C3...y.1..O.8.. │ │ │ 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 5460 44c6 46f2 4bf2 e525 ...@.0T`D.F.K..% │ │ │ -0000e9b0: 7aab a1d6 49b9 a005 278f 9030 b2e0 e92e z...I...'..0.... │ │ │ +0000e9a0: 0501 8540 9030 5010 04ce 97ba a140 d0d6 ...@.0P......@.. │ │ │ +0000e9b0: 63df b2d3 d2b9 a005 278f 9030 b2e0 e92e c.......'..0.... │ │ │ 0000e9c0: 1f51 5f0a df05 c35b a70c a2e1 9040 a0a0 .Q_....[.....@.. │ │ │ 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: 4041 fbfa 82f0 571e 07e2 aae8 ddd1 3748 @A....W.......7H │ │ │ -00018320: d684 95a6 be00 0291 ca00 007c 6100 01b3 ...........|a... │ │ │ +00018310: 408b f66f 83f6 0782 15a7 de81 80c0 3cf6 @..o..........<. │ │ │ +00018320: f284 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 2341 fbfa 82f0 571e 07e2 aae8 ....#A....W..... │ │ │ -00042960: ddd1 3748 d600 0000 076f 7061 7175 6573 ..7H.....opaques │ │ │ +00042950: 0000 017f 238b f66f 83f6 0782 15a7 de81 ....#..o........ │ │ │ +00042960: 80c0 3cf6 f200 0000 076f 7061 7175 6573 ..<......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 cec1 e02b 184e .............+.N │ │ │ -000429b0: 34cb 0b40 d622 5ea7 e344 e800 0000 0976 4..@."^..D.....v │ │ │ +000429a0: 0000 1000 0000 0000 0003 cef9 2d85 4333 ............-.C3 │ │ │ +000429b0: ddae f179 f831 acb0 4fa4 3800 0000 0976 ...y.1..O.8....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 e7ef cae9 0e99 775c hcomp@.0......w\ │ │ │ 000003c0: f48b 01a2 8876 3250 a0a0 2673 7372 616c .....v2P..&ssral │ │ │ 000003d0: 67a0 2761 6c67 6562 7261 a028 6d61 7468 g.'algebra.(math │ │ │ 000003e0: 636f 6d70 4090 3077 42ea 7b5b 4450 b09c comp@.0wB.{[DP.. │ │ │ 000003f0: d3a4 5c4d d503 16a0 a026 6669 6e61 6c67 ..\M.....&finalg │ │ │ 00000400: a027 616c 6765 6272 61a0 286d 6174 6863 .'algebra.(mathc │ │ │ -00000410: 6f6d 7040 9030 aa86 ede6 96a0 7994 605f omp@.0......y.`_ │ │ │ -00000420: b39d e00b ddac a0a0 257a 6d6f 6470 a027 ........%zmodp.' │ │ │ +00000410: 6f6d 7040 9030 e789 4b3a 6023 15c7 b2e0 omp@.0..K:`#.... │ │ │ +00000420: dd7d 1abd b8a5 a0a0 257a 6d6f 6470 a027 .}......%zmodp.' │ │ │ 00000430: 616c 6765 6272 61a0 286d 6174 6863 6f6d algebra.(mathcom │ │ │ -00000440: 7040 9030 19a8 7460 b27a 650f 1bf8 9fa0 p@.0..t`.ze..... │ │ │ -00000450: 03f2 a805 a0a0 2470 6f6c 79a0 2761 6c67 ......$poly.'alg │ │ │ +00000440: 7040 9030 0669 0636 901c 3b68 834d a834 p@.0.i.6..;h.M.4 │ │ │ +00000450: 84f1 e9c0 a0a0 2470 6f6c 79a0 2761 6c67 ......$poly.'alg │ │ │ 00000460: 6562 7261 a028 6d61 7468 636f 6d70 4090 ebra.(mathcomp@. │ │ │ 00000470: 30a5 6704 a5ae 7ac4 998a b23a 03b6 a076 0.g...z....:...v │ │ │ -00000480: f725 352e 342e 30a0 4040 d366 2d5f 118a .%5.4.0.@@.f-_.. │ │ │ -00000490: 1ecb 030e 14ec 1214 8919 8495 a6be 0001 ................ │ │ │ +00000480: f725 352e 342e 30a0 4040 120c 2d27 47b7 .%5.4.0.@@..-'G. │ │ │ +00000490: 8977 b507 4004 0731 fe50 8495 a6be 0001 .w..@..1.P...... │ │ │ 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 30e7 efca e90e 9977 5cf4 ... M.0......w\. │ │ │ 0000bba0: 8b01 a288 7632 50a0 0521 f790 30a5 6704 ....v2P..!..0.g. │ │ │ 0000bbb0: a5ae 7ac4 998a b23a 03b6 a076 f7a0 0520 ..z....:...v... │ │ │ -0000bbc0: 8290 3019 a874 60b2 7a65 0f1b f89f a003 ..0..t`.ze...... │ │ │ -0000bbd0: f2a8 0590 40a0 4040 a0a0 95a0 0232 0a51 ....@.@@.....2.Q │ │ │ +0000bbc0: 8290 3006 6906 3690 1c3b 6883 4da8 3484 ..0.i.6..;h.M.4. │ │ │ +0000bbd0: f1e9 c090 40a0 4040 a0a0 95a0 0232 0a51 ....@.@@.....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,15 +6610,15 @@ │ │ │ 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: 4054 6044 c646 f24b f2e5 257a aba1 d649 @T`D.F.K..%z...I │ │ │ +00019d80: 4050 1004 ce97 baa1 40d0 d663 dfb2 d3d2 @P......@..c.... │ │ │ 00019d90: b984 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 │ │ │ @@ -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 e754 6044 c646 f24b f2e5 .......T`D.F.K.. │ │ │ -0004b6b0: 257a aba1 d649 b900 0000 076f 7061 7175 %z...I.....opaqu │ │ │ +0004b6a0: 0000 0000 0198 e750 1004 ce97 baa1 40d0 .......P......@. │ │ │ +0004b6b0: d663 dfb2 d3d2 b900 0000 076f 7061 7175 .c.........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 7ad3 662d ............z.f- │ │ │ -0004b700: 5f11 8a1e cb03 0e14 ec12 1489 1900 0000 _............... │ │ │ +0004b6f0: 0000 0000 1000 0000 0000 0004 7a12 0c2d ............z..- │ │ │ +0004b700: 2747 b789 77b5 0740 0407 31fe 5000 0000 'G..w..@..1.P... │ │ │ 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 301b 6819 4243 3a46 f627 b51e mp@.0.h.BC:F.'.. │ │ │ 00000440: b9b6 828f 77a0 a026 7373 7261 6c67 a027 ....w..&ssralg.' │ │ │ 00000450: 616c 6765 6272 61a0 286d 6174 6863 6f6d algebra.(mathcom │ │ │ 00000460: 7040 9030 7742 ea7b 5b44 50b0 9cd3 a45c p@.0wB.{[DP....\ │ │ │ 00000470: 4dd5 0316 a0a0 2666 696e 616c 67a0 2761 M.....&finalg.'a │ │ │ 00000480: 6c67 6562 7261 a028 6d61 7468 636f 6d70 lgebra.(mathcomp │ │ │ -00000490: 4090 30aa 86ed e696 a079 9460 5fb3 9de0 @.0......y.`_... │ │ │ -000004a0: 0bdd aca0 a025 7a6d 6f64 70a0 2761 6c67 .....%zmodp.'alg │ │ │ +00000490: 4090 30e7 894b 3a60 2315 c7b2 e0dd 7d1a @.0..K:`#.....}. │ │ │ +000004a0: bdb8 a5a0 a025 7a6d 6f64 70a0 2761 6c67 .....%zmodp.'alg │ │ │ 000004b0: 6562 7261 a028 6d61 7468 636f 6d70 4090 ebra.(mathcomp@. │ │ │ -000004c0: 3019 a874 60b2 7a65 0f1b f89f a003 f2a8 0..t`.ze........ │ │ │ -000004d0: 05a0 a026 6379 636c 6963 a028 736f 6c76 ...&cyclic.(solv │ │ │ +000004c0: 3006 6906 3690 1c3b 6883 4da8 3484 f1e9 0.i.6..;h.M.4... │ │ │ +000004d0: c0a0 a026 6379 636c 6963 a028 736f 6c76 ...&cyclic.(solv │ │ │ 000004e0: 6162 6c65 a028 6d61 7468 636f 6d70 4090 able.(mathcomp@. │ │ │ -000004f0: 3054 6044 c646 f24b f2e5 257a aba1 d649 0T`D.F.K..%z...I │ │ │ +000004f0: 3050 1004 ce97 baa1 40d0 d663 dfb2 d3d2 0P......@..c.... │ │ │ 00000500: b9a0 a026 7067 726f 7570 a028 736f 6c76 ...&pgroup.(solv │ │ │ 00000510: 6162 6c65 a028 6d61 7468 636f 6d70 4090 able.(mathcomp@. │ │ │ -00000520: 3000 c5ad 81d9 6911 9ef2 7537 4b24 845d 0.....i...u7K$.] │ │ │ -00000530: 93a0 a026 6365 6e74 6572 a028 736f 6c76 ...¢er.(solv │ │ │ +00000520: 304f 4128 abd3 1884 acd0 7a13 6fd3 122a 0OA(......z.o..* │ │ │ +00000530: 8aa0 a026 6365 6e74 6572 a028 736f 6c76 ...¢er.(solv │ │ │ 00000540: 6162 6c65 a028 6d61 7468 636f 6d70 4090 able.(mathcomp@. │ │ │ -00000550: 3041 fbfa 82f0 571e 07e2 aae8 ddd1 3748 0A....W.......7H │ │ │ -00000560: d6a0 a027 6773 6572 6965 73a0 2873 6f6c ...'gseries.(sol │ │ │ +00000550: 308b f66f 83f6 0782 15a7 de81 80c0 3cf6 0..o..........<. │ │ │ +00000560: f2a0 a027 6773 6572 6965 73a0 2873 6f6c ...'gseries.(sol │ │ │ 00000570: 7661 626c 65a0 286d 6174 6863 6f6d 7040 vable.(mathcomp@ │ │ │ -00000580: 9030 9f3a ad42 0d92 d705 9520 018b ea9f .0.:.B..... .... │ │ │ -00000590: 87de a0a0 296e 696c 706f 7465 6e74 a028 ....)nilpotent.( │ │ │ +00000580: 9030 b10b 9496 8c5c 9c3f dfae 3237 75ec .0.....\.?..27u. │ │ │ +00000590: 5e02 a0a0 296e 696c 706f 7465 6e74 a028 ^...)nilpotent.( │ │ │ 000005a0: 736f 6c76 6162 6c65 a028 6d61 7468 636f solvable.(mathco │ │ │ -000005b0: 6d70 4090 3007 959c d9e7 ca30 ba2c 11a3 mp@.0......0.,.. │ │ │ -000005c0: 2120 f6c8 65a0 a025 7379 6c6f 77a0 2873 ! ..e..%sylow.(s │ │ │ +000005b0: 6d70 4090 3052 1cc3 e997 6406 fd72 66c4 mp@.0R....d..rf. │ │ │ +000005c0: 60ca 3c50 ffa0 a025 7379 6c6f 77a0 2873 `.. │ │ │ 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 9f3a ad42 0d92 .........=.:.B.. │ │ │ -0002d0b0: d705 9520 018b ea9f 87de 0000 0007 6f70 ... ..........op │ │ │ +0002d0a0: 0392 0000 0000 0000 d13d b10b 9496 8c5c .........=.....\ │ │ │ +0002d0b0: 9c3f dfae 3237 75ec 5e02 0000 0007 6f70 .?..27u.^.....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: 3773 d4b5 4723 0160 dbb1 0ff7 0319 a1d4 7s..G#.`........ │ │ │ +0002d100: 5b32 b4c5 816f 8ce3 c6f4 0368 d14a 4290 [2...o.....h.JB. │ │ │ 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 b2e0 e92e 1f51 5f0a df05 omp@.0.....Q_... │ │ │ 000003a0: c35b a70c a2e1 a0a0 2a63 6f6d 6d75 7461 .[......*commuta │ │ │ 000003b0: 746f 72a0 2873 6f6c 7661 626c 65a0 286d tor.(solvable.(m │ │ │ 000003c0: 6174 6863 6f6d 7040 9030 1b68 1942 433a athcomp@.0.h.BC: │ │ │ 000003d0: 46f6 27b5 1eb9 b682 8f77 a0a0 2663 656e F.'......w..&cen │ │ │ 000003e0: 7465 72a0 2873 6f6c 7661 626c 65a0 286d ter.(solvable.(m │ │ │ -000003f0: 6174 6863 6f6d 7040 9030 41fb fa82 f057 athcomp@.0A....W │ │ │ -00000400: 1e07 e2aa e8dd d137 48d6 a0a0 2670 6772 .......7H...&pgr │ │ │ +000003f0: 6174 6863 6f6d 7040 9030 8bf6 6f83 f607 athcomp@.0..o... │ │ │ +00000400: 8215 a7de 8180 c03c f6f2 a0a0 2670 6772 .......<....&pgr │ │ │ 00000410: 6f75 70a0 2873 6f6c 7661 626c 65a0 286d oup.(solvable.(m │ │ │ -00000420: 6174 6863 6f6d 7040 9030 00c5 ad81 d969 athcomp@.0.....i │ │ │ -00000430: 119e f275 374b 2484 5d93 a0a0 2966 696e ...u7K$.]...)fin │ │ │ +00000420: 6174 6863 6f6d 7040 9030 4f41 28ab d318 athcomp@.0OA(... │ │ │ +00000430: 84ac d07a 136f d312 2a8a a0a0 2966 696e ...z.o..*...)fin │ │ │ 00000440: 6d6f 6475 6c65 a028 736f 6c76 6162 6c65 module.(solvable │ │ │ -00000450: a028 6d61 7468 636f 6d70 4090 30c4 f223 .(mathcomp@.0..# │ │ │ -00000460: 4933 7387 855f ce06 c7ab d6ab 50a0 a029 I3s.._......P..) │ │ │ +00000450: a028 6d61 7468 636f 6d70 4090 302c f9cb .(mathcomp@.0,.. │ │ │ +00000460: 8442 76b2 f5ad 8792 7ea8 4d87 a7a0 a029 .Bv.....~.M....) │ │ │ 00000470: 6e69 6c70 6f74 656e 74a0 2873 6f6c 7661 nilpotent.(solva │ │ │ 00000480: 626c 65a0 286d 6174 6863 6f6d 7040 9030 ble.(mathcomp@.0 │ │ │ -00000490: 0795 9cd9 e7ca 30ba 2c11 a321 20f6 c865 ......0.,..! ..e │ │ │ +00000490: 521c c3e9 9764 06fd 7266 c460 ca3c 50ff R....d..rf.`.......,.BK... │ │ │ 00047c30: c840 4500 0000 0773 756d 6d61 7279 0000 .@E....summary.. │ │ │ -00047c40: 0000 0000 0010 0000 0000 0000 03ca 55d8 ..............U. │ │ │ -00047c50: 39f7 634e b6f3 5d71 4f6f aad2 9a58 0000 9.cN..]qOo...X.. │ │ │ +00047c40: 0000 0000 0010 0000 0000 0000 03ca 8968 ...............h │ │ │ +00047c50: 7628 96d6 0314 509b c953 ada1 89fa 0000 v(....P..S...... │ │ │ 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 7742 ea7b 5b44 athcomp@.0wB.{[D │ │ │ 00000460: 50b0 9cd3 a45c 4dd5 0316 a0a0 2863 6f75 P....\M.....(cou │ │ │ 00000470: 6e74 616c 67a0 2761 6c67 6562 7261 a028 ntalg.'algebra.( │ │ │ 00000480: 6d61 7468 636f 6d70 4090 3015 f63a 52a5 mathcomp@.0..:R. │ │ │ 00000490: 3b0c cd90 f294 ef85 84eb 00a0 a026 6669 ;............&fi │ │ │ 000004a0: 6e61 6c67 a027 616c 6765 6272 61a0 286d nalg.'algebra.(m │ │ │ -000004b0: 6174 6863 6f6d 7040 9030 aa86 ede6 96a0 athcomp@.0...... │ │ │ -000004c0: 7994 605f b39d e00b ddac a0a0 257a 6d6f y.`_........%zmo │ │ │ +000004b0: 6174 6863 6f6d 7040 9030 e789 4b3a 6023 athcomp@.0..K:`# │ │ │ +000004c0: 15c7 b2e0 dd7d 1abd b8a5 a0a0 257a 6d6f .....}......%zmo │ │ │ 000004d0: 6470 a027 616c 6765 6272 61a0 286d 6174 dp.'algebra.(mat │ │ │ -000004e0: 6863 6f6d 7040 9030 19a8 7460 b27a 650f hcomp@.0..t`.ze. │ │ │ -000004f0: 1bf8 9fa0 03f2 a805 a0a0 2663 7963 6c69 ..........&cycli │ │ │ +000004e0: 6863 6f6d 7040 9030 0669 0636 901c 3b68 hcomp@.0.i.6..;h │ │ │ +000004f0: 834d a834 84f1 e9c0 a0a0 2663 7963 6c69 .M.4......&cycli │ │ │ 00000500: 63a0 2873 6f6c 7661 626c 65a0 286d 6174 c.(solvable.(mat │ │ │ -00000510: 6863 6f6d 7040 9030 5460 44c6 46f2 4bf2 hcomp@.0T`D.F.K. │ │ │ -00000520: e525 7aab a1d6 49b9 a0a0 2670 6772 6f75 .%z...I...&pgrou │ │ │ +00000510: 6863 6f6d 7040 9030 5010 04ce 97ba a140 hcomp@.0P......@ │ │ │ +00000520: d0d6 63df b2d3 d2b9 a0a0 2670 6772 6f75 ..c.......&pgrou │ │ │ 00000530: 70a0 2873 6f6c 7661 626c 65a0 286d 6174 p.(solvable.(mat │ │ │ -00000540: 6863 6f6d 7040 9030 00c5 ad81 d969 119e hcomp@.0.....i.. │ │ │ -00000550: f275 374b 2484 5d93 a0a0 2663 656e 7465 .u7K$.]...¢e │ │ │ +00000540: 6863 6f6d 7040 9030 4f41 28ab d318 84ac hcomp@.0OA(..... │ │ │ +00000550: d07a 136f d312 2a8a a0a0 2663 656e 7465 .z.o..*...¢e │ │ │ 00000560: 72a0 2873 6f6c 7661 626c 65a0 286d 6174 r.(solvable.(mat │ │ │ -00000570: 6863 6f6d 7040 9030 41fb fa82 f057 1e07 hcomp@.0A....W.. │ │ │ -00000580: e2aa e8dd d137 48d6 a0a0 2767 7365 7269 .....7H...'gseri │ │ │ +00000570: 6863 6f6d 7040 9030 8bf6 6f83 f607 8215 hcomp@.0..o..... │ │ │ +00000580: a7de 8180 c03c f6f2 a0a0 2767 7365 7269 .....<....'gseri │ │ │ 00000590: 6573 a028 736f 6c76 6162 6c65 a028 6d61 es.(solvable.(ma │ │ │ -000005a0: 7468 636f 6d70 4090 309f 3aad 420d 92d7 thcomp@.0.:.B... │ │ │ -000005b0: 0595 2001 8bea 9f87 dea0 a029 6e69 6c70 .. ........)nilp │ │ │ +000005a0: 7468 636f 6d70 4090 30b1 0b94 968c 5c9c thcomp@.0.....\. │ │ │ +000005b0: 3fdf ae32 3775 ec5e 02a0 a029 6e69 6c70 ?..27u.^...)nilp │ │ │ 000005c0: 6f74 656e 74a0 2873 6f6c 7661 626c 65a0 otent.(solvable. │ │ │ -000005d0: 286d 6174 6863 6f6d 7040 9030 0795 9cd9 (mathcomp@.0.... │ │ │ -000005e0: e7ca 30ba 2c11 a321 20f6 c865 a0a0 2573 ..0.,..! ..e..%s │ │ │ +000005d0: 286d 6174 6863 6f6d 7040 9030 521c c3e9 (mathcomp@.0R... │ │ │ +000005e0: 9764 06fd 7266 c460 ca3c 50ff a0a0 2573 .d..rf.`.w....k.... │ │ │ -000003c0: 368d e426 dd84 95a6 be00 0124 0b00 0043 6..&.......$...C │ │ │ +00000390: 286d 6174 6863 6f6d 7040 9030 b10b 9496 (mathcomp@.0.... │ │ │ +000003a0: 8c5c 9c3f dfae 3237 75ec 5e02 2535 2e34 .\.?..27u.^.%5.4 │ │ │ +000003b0: 2e30 a040 4051 9abb 38fa 55b7 b074 a0b5 .0.@@Q..8.U..t.. │ │ │ +000003c0: 5975 fa47 c884 95a6 be00 0124 0b00 0043 Yu.G.......$...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 309f 3aad 420d 92d7 0595 2001 8bea @.0.:.B..... ... │ │ │ -00009b50: 9f87 de90 40a0 a095 a002 1d04 1afc a040 ....@..........@ │ │ │ +00009b40: 4090 30b1 0b94 968c 5c9c 3fdf ae32 3775 @.0.....\.?..27u │ │ │ +00009b50: ec5e 0290 40a0 a095 a002 1d04 1afc a040 .^..@..........@ │ │ │ 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 0795 9cd9 e7ca 30ba 2c11 a321 DE@@......0.,..! │ │ │ -000127f0: 20f6 c865 8495 a6be 0002 8119 0000 84af ..e............ │ │ │ +000127e0: 4445 4040 521c c3e9 9764 06fd 7266 c460 DE@@R....d..rf.` │ │ │ +000127f0: ca3c 50ff 8495 a6be 0002 8119 0000 84af .w... │ │ │ -0003adc0: 116b cc99 05fd 368d e426 dd00 0000 0976 .k....6..&.....v │ │ │ +0003adb0: 0000 1000 0000 0000 0003 a551 9abb 38fa ...........Q..8. │ │ │ +0003adc0: 55b7 b074 a0b5 5975 fa47 c800 0000 0976 U..t..Yu.G.....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 306d fc1f c3e9 mathcomp@.0m.... │ │ │ 000002a0: 784e 7c6f 183a 52b9 b6c3 07a0 a028 6766 xN|o.:R......(gf │ │ │ 000002b0: 756e 6374 6f72 a028 736f 6c76 6162 6c65 unctor.(solvable │ │ │ 000002c0: a028 6d61 7468 636f 6d70 4090 30b2 e0e9 .(mathcomp@.0... │ │ │ 000002d0: 2e1f 515f 0adf 05c3 5ba7 0ca2 e1a0 a026 ..Q_....[......& │ │ │ 000002e0: 6379 636c 6963 a028 736f 6c76 6162 6c65 cyclic.(solvable │ │ │ -000002f0: a028 6d61 7468 636f 6d70 4090 3054 6044 .(mathcomp@.0T`D │ │ │ -00000300: c646 f24b f2e5 257a aba1 d649 b925 352e .F.K..%z...I.%5. │ │ │ -00000310: 342e 30a0 4040 2901 9fe2 c261 837f cb1b 4.0.@@)....a.... │ │ │ -00000320: 511b acaf 0aa8 8495 a6be 0002 3974 0000 Q...........9t.. │ │ │ +000002f0: a028 6d61 7468 636f 6d70 4090 3050 1004 .(mathcomp@.0P.. │ │ │ +00000300: ce97 baa1 40d0 d663 dfb2 d3d2 b925 352e ....@..c.....%5. │ │ │ +00000310: 342e 30a0 4040 a635 1255 0528 e16c 4641 4.0.@@.5.U.(.lFA │ │ │ +00000320: c699 ad93 2ac8 8495 a6be 0002 3974 0000 ....*.......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 5460 44c6 46f2 athcomp@.0T`D.F. │ │ │ -00010920: 4bf2 e525 7aab a1d6 49b9 a005 0b6f 9030 K..%z...I....o.0 │ │ │ +00010910: 6174 6863 6f6d 7040 9030 5010 04ce 97ba athcomp@.0P..... │ │ │ +00010920: a140 d0d6 63df b2d3 d2b9 a005 0b6f 9030 .@..c........o.0 │ │ │ 00010930: b2e0 e92e 1f51 5f0a df05 c35b a70c a2e1 .....Q_....[.... │ │ │ 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 00c5 ..Ti@@ABCDEF@@.. │ │ │ -00023cb0: ad81 d969 119e f275 374b 2484 5d93 8495 ...i...u7K$.]... │ │ │ +00023ca0: a005 5469 4040 4142 4344 4546 4040 4f41 ..Ti@@ABCDEF@@OA │ │ │ +00023cb0: 28ab d318 84ac d07a 136f d312 2a8a 8495 (......z.o..*... │ │ │ 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 00c5 ad81 d969 119e f275 ....9......i...u │ │ │ -0005b0d0: 374b 2484 5d93 0000 0007 6f70 6171 7565 7K$.].....opaque │ │ │ +0005b0c0: 0000 0002 3988 4f41 28ab d318 84ac d07a ....9.OA(......z │ │ │ +0005b0d0: 136f d312 2a8a 0000 0007 6f70 6171 7565 .o..*.....opaque │ │ │ 0005b0e0: 7300 0000 0000 023c be00 0000 0000 036e s......<.......n │ │ │ 0005b0f0: a46f 3c6d bdbf f62b f7a5 bd20 9e0e 1e2f .o