--- /srv/rebuilderd/tmp/rebuilderdIjkhxO/inputs/libcoq-mathcomp_2.3.0-1+b15_arm64.deb +++ /srv/rebuilderd/tmp/rebuilderdIjkhxO/out/libcoq-mathcomp_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 10376 2025-12-28 05:10:54.000000 control.tar.xz │ --rw-r--r-- 0 0 0 3053148 2025-12-28 05:10:54.000000 data.tar.xz │ +-rw-r--r-- 0 0 0 10396 2025-12-28 05:10:54.000000 control.tar.xz │ +-rw-r--r-- 0 0 0 3052968 2025-12-28 05:10:54.000000 data.tar.xz ├── control.tar.xz │ ├── control.tar │ │ ├── ./md5sums │ │ │ ├── ./md5sums │ │ │ │┄ Files differ ├── data.tar.xz │ ├── data.tar │ │ ├── ./usr/lib/aarch64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/all/all.vo │ │ │ @@ -5,51 +5,51 @@ │ │ │ 00000040: 7564 65a0 2449 6e69 74a0 2343 6f71 4090 ude.$Init.#Coq@. │ │ │ 00000050: 3088 2d00 7939 19c0 98cf c327 24e3 883a 0.-.y9.....'$..: │ │ │ 00000060: 76a0 a02d 616c 6c5f 7373 7265 666c 6563 v..-all_ssreflec │ │ │ 00000070: 74a0 2973 7372 6566 6c65 6374 a028 6d61 t.)ssreflect.(ma │ │ │ 00000080: 7468 636f 6d70 4090 30a9 5423 cebe 8a1e thcomp@.0.T#.... │ │ │ 00000090: 4874 212b a1eb 2190 90a0 a02b 616c 6c5f Ht!+..!....+all_ │ │ │ 000000a0: 616c 6765 6272 61a0 2761 6c67 6562 7261 algebra.'algebra │ │ │ -000000b0: a028 6d61 7468 636f 6d70 4090 304c 8a13 .(mathcomp@.0L.. │ │ │ -000000c0: 30ea a1d9 36cd b14f 7794 01f9 2ca0 a029 0...6..Ow...,..) │ │ │ +000000b0: a028 6d61 7468 636f 6d70 4090 30bb 5588 .(mathcomp@.0.U. │ │ │ +000000c0: a7e1 246d b9a2 f4cc 2c4f 9177 44a0 a029 ..$m....,O.wD..) │ │ │ 000000d0: 616c 6c5f 6669 656c 64a0 2566 6965 6c64 all_field.%field │ │ │ -000000e0: a028 6d61 7468 636f 6d70 4090 308d 7573 .(mathcomp@.0.us │ │ │ -000000f0: c4a7 a046 2f45 c5f2 d241 ac11 a2a0 a02d ...F/E...A.....- │ │ │ +000000e0: a028 6d61 7468 636f 6d70 4090 3041 b02b .(mathcomp@.0A.+ │ │ │ +000000f0: 7a51 bdaa 30e3 8829 25d5 ae01 0fa0 a02d zQ..0..)%......- │ │ │ 00000100: 616c 6c5f 6368 6172 6163 7465 72a0 2963 all_character.)c │ │ │ 00000110: 6861 7261 6374 6572 a028 6d61 7468 636f haracter.(mathco │ │ │ -00000120: 6d70 4090 30ae 0d8e 2906 ecb3 537e 9221 mp@.0...)...S~.! │ │ │ -00000130: a16b 27d1 7ca0 a02c 616c 6c5f 6669 6e67 .k'.|..,all_fing │ │ │ +00000120: 6d70 4090 3071 b200 e7fa cfd5 8067 f133 mp@.0q.......g.3 │ │ │ +00000130: 967c a86a 36a0 a02c 616c 6c5f 6669 6e67 .|.j6..,all_fing │ │ │ 00000140: 726f 7570 a028 6669 6e67 726f 7570 a028 roup.(fingroup.( │ │ │ 00000150: 6d61 7468 636f 6d70 4090 303d a47c 7f0d mathcomp@.0=.|.. │ │ │ 00000160: 0687 e90f a042 c887 b580 15a0 a02c 616c .....B.......,al │ │ │ 00000170: 6c5f 736f 6c76 6162 6c65 a028 736f 6c76 l_solvable.(solv │ │ │ 00000180: 6162 6c65 a028 6d61 7468 636f 6d70 4090 able.(mathcomp@. │ │ │ -00000190: 30ca c4c2 61c4 5793 5f45 5a0b 95fc a738 0...a.W._EZ....8 │ │ │ -000001a0: 8725 352e 342e 30a0 4040 8d38 1bf6 e1e4 .%5.4.0.@@.8.... │ │ │ -000001b0: e809 de4d bbd1 4456 815f 8495 a6be 0000 ...M..DV._...... │ │ │ +00000190: 300b 264f 120e f48f d2c4 5b5e c0dc b0ac 0.&O......[^.... │ │ │ +000001a0: 2725 352e 342e 30a0 4040 5bff 26cd 91f4 '%5.4.0.@@[.&... │ │ │ +000001b0: 0a7e 8cca b829 95b9 b861 8495 a6be 0000 .~...)...a...... │ │ │ 000001c0: 0296 0000 00b3 0000 0231 0000 01fe b0d0 .........1...... │ │ │ 000001d0: a023 616c 6ca0 0402 a028 6d61 7468 636f .#all....(mathco │ │ │ 000001e0: 6d70 40e0 9004 0741 9040 40a0 4040 9040 mp@....A.@@.@@.@ │ │ │ 000001f0: a040 40e0 a0a0 2b61 6c6c 5f61 6c67 6562 .@@...+all_algeb │ │ │ 00000200: 7261 a027 616c 6765 6272 61a0 286d 6174 ra.'algebra.(mat │ │ │ -00000210: 6863 6f6d 7040 9030 4c8a 1330 eaa1 d936 hcomp@.0L..0...6 │ │ │ -00000220: cdb1 4f77 9401 f92c a0a0 2d61 6c6c 5f63 ..Ow...,..-all_c │ │ │ +00000210: 6863 6f6d 7040 9030 bb55 88a7 e124 6db9 hcomp@.0.U...$m. │ │ │ +00000220: a2f4 cc2c 4f91 7744 a0a0 2d61 6c6c 5f63 ...,O.wD..-all_c │ │ │ 00000230: 6861 7261 6374 6572 a029 6368 6172 6163 haracter.)charac │ │ │ 00000240: 7465 72a0 286d 6174 6863 6f6d 7040 9030 ter.(mathcomp@.0 │ │ │ -00000250: ae0d 8e29 06ec b353 7e92 21a1 6b27 d17c ...)...S~.!.k'.| │ │ │ +00000250: 71b2 00e7 facf d580 67f1 3396 7ca8 6a36 q.......g.3.|.j6 │ │ │ 00000260: a0a0 2961 6c6c 5f66 6965 6c64 a025 6669 ..)all_field.%fi │ │ │ 00000270: 656c 64a0 286d 6174 6863 6f6d 7040 9030 eld.(mathcomp@.0 │ │ │ -00000280: 8d75 73c4 a7a0 462f 45c5 f2d2 41ac 11a2 .us...F/E...A... │ │ │ +00000280: 41b0 2b7a 51bd aa30 e388 2925 d5ae 010f A.+zQ..0..)%.... │ │ │ 00000290: a0a0 2c61 6c6c 5f66 696e 6772 6f75 70a0 ..,all_fingroup. │ │ │ 000002a0: 2866 696e 6772 6f75 70a0 286d 6174 6863 (fingroup.(mathc │ │ │ 000002b0: 6f6d 7040 9030 3da4 7c7f 0d06 87e9 0fa0 omp@.0=.|....... │ │ │ 000002c0: 42c8 87b5 8015 a0a0 2c61 6c6c 5f73 6f6c B.......,all_sol │ │ │ 000002d0: 7661 626c 65a0 2873 6f6c 7661 626c 65a0 vable.(solvable. │ │ │ -000002e0: 286d 6174 6863 6f6d 7040 9030 cac4 c261 (mathcomp@.0...a │ │ │ -000002f0: c457 935f 455a 0b95 fca7 3887 a0a0 2d61 .W._EZ....8...-a │ │ │ +000002e0: 286d 6174 6863 6f6d 7040 9030 0b26 4f12 (mathcomp@.0.&O. │ │ │ +000002f0: 0ef4 8fd2 c45b 5ec0 dcb0 ac27 a0a0 2d61 .....[^....'..-a │ │ │ 00000300: 6c6c 5f73 7372 6566 6c65 6374 a029 7373 ll_ssreflect.)ss │ │ │ 00000310: 7265 666c 6563 74a0 286d 6174 6863 6f6d reflect.(mathcom │ │ │ 00000320: 7040 9030 a954 23ce be8a 1e48 7421 2ba1 p@.0.T#....Ht!+. │ │ │ 00000330: eb21 9090 9040 a0a0 94a0 a040 90a0 2d61 .!...@.....@..-a │ │ │ 00000340: 6c6c 5f73 7372 6566 6c65 6374 a029 7373 ll_ssreflect.)ss │ │ │ 00000350: 7265 666c 6563 7404 4a40 a094 a0a0 4090 reflect.J@....@. │ │ │ 00000360: 0409 40a0 94a0 a040 90a0 2b61 6c6c 5f61 ..@....@..+all_a │ │ │ @@ -64,26 +64,26 @@ │ │ │ 000003f0: 2866 696e 6772 6f75 7004 8240 a094 a0a0 (fingroup..@.... │ │ │ 00000400: 4090 0409 40a0 94a0 a040 90a0 2c61 6c6c @...@....@..,all │ │ │ 00000410: 5f73 6f6c 7661 626c 65a0 2873 6f6c 7661 _solvable.(solva │ │ │ 00000420: 626c 6504 9040 a094 a0a0 4090 0409 4040 ble..@....@...@@ │ │ │ 00000430: 40a0 a094 a0a0 4004 4c40 a094 a0a0 4004 @.....@.L@....@. │ │ │ 00000440: 4240 a094 a0a0 4004 3840 a094 a0a0 4004 B@....@.8@....@. │ │ │ 00000450: 2e40 a094 a0a0 4004 2440 a094 a0a0 4004 .@....@.$@....@. │ │ │ -00000460: 1a40 4040 b46d 59c2 9f35 2c3f e502 be7f .@@@.mY..5,?.... │ │ │ -00000470: 539d e73e 8495 a6be 0000 0001 0000 0000 S..>............ │ │ │ +00000460: 1a40 4040 0bd3 82f3 0081 f3d8 ee2f d095 .@@@........./.. │ │ │ +00000470: e1c0 6d02 8495 a6be 0000 0001 0000 0000 ..m............. │ │ │ 00000480: 0000 0000 0000 0000 8061 44c8 6cd4 a168 .........aD.l..h │ │ │ 00000490: cd70 495a 5cc4 22ad e984 95a6 be00 0000 .pIZ\."......... │ │ │ 000004a0: 1500 0000 0600 0000 1200 0000 11a0 a023 ...............# │ │ │ 000004b0: 616c 6ca0 0402 a028 6d61 7468 636f 6d70 all....(mathcomp │ │ │ 000004c0: 4080 e1da 0f02 fe13 33c9 fa08 db7b 23db @.......3....{#. │ │ │ 000004d0: 530a 0000 0004 0000 0007 6c69 6272 6172 S.........librar │ │ │ 000004e0: 7900 0000 0000 0001 ba00 0000 0000 0002 y............... │ │ │ -000004f0: aab4 6d59 c29f 352c 3fe5 02be 7f53 9de7 ..mY..5,?....S.. │ │ │ -00000500: 3e00 0000 076f 7061 7175 6573 0000 0000 >....opaques.... │ │ │ +000004f0: aa0b d382 f300 81f3 d8ee 2fd0 95e1 c06d ........../....m │ │ │ +00000500: 0200 0000 076f 7061 7175 6573 0000 0000 .....opaques.... │ │ │ 00000510: 0000 0474 0000 0000 0000 0015 6144 c86c ...t........aD.l │ │ │ 00000520: d4a1 68cd 7049 5a5c c422 ade9 0000 0007 ..h.pIZ\."...... │ │ │ 00000530: 7375 6d6d 6172 7900 0000 0000 0000 1000 summary......... │ │ │ -00000540: 0000 0000 0001 9a8d 381b f6e1 e4e8 09de ........8....... │ │ │ -00000550: 4dbb d144 5681 5f00 0000 0976 6d6c 6962 M..DV._....vmlib │ │ │ +00000540: 0000 0000 0001 9a5b ff26 cd91 f40a 7e8c .......[.&....~. │ │ │ +00000550: cab8 2995 b9b8 6100 0000 0976 6d6c 6962 ..)...a....vmlib │ │ │ 00000560: 7261 7279 0000 0000 0000 0499 0000 0000 rary............ │ │ │ 00000570: 0000 0029 e1da 0f02 fe13 33c9 fa08 db7b ...)......3....{ │ │ │ 00000580: 23db 530a #.S. │ │ ├── ./usr/share/doc/libcoq-mathcomp/htmldoc/depend.js │ │ │ ├── js-beautify {} │ │ │ │ @@ -9,1662 +9,1662 @@ │ │ │ │ data: { │ │ │ │ id: "cluster_ssreflect_plus", │ │ │ │ name: "+", │ │ │ │ parent: "cluster_ssreflect" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "bigop", │ │ │ │ - name: "bigop", │ │ │ │ + id: "ssrbool", │ │ │ │ + name: "ssrbool", │ │ │ │ parent: "cluster_ssreflect", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "choice", │ │ │ │ - name: "choice", │ │ │ │ + id: "ssreflect", │ │ │ │ + name: "ssreflect", │ │ │ │ parent: "cluster_ssreflect", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "seq", │ │ │ │ - name: "seq", │ │ │ │ + id: "fingraph", │ │ │ │ + name: "fingraph", │ │ │ │ parent: "cluster_ssreflect", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "tuple", │ │ │ │ - name: "tuple", │ │ │ │ + id: "order", │ │ │ │ + name: "order", │ │ │ │ parent: "cluster_ssreflect", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "ssrnotations", │ │ │ │ - name: "ssrnotations", │ │ │ │ + id: "generic_quotient", │ │ │ │ + name: "generic_quotient", │ │ │ │ parent: "cluster_ssreflect", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "ssrmatching", │ │ │ │ - name: "ssrmatching", │ │ │ │ + id: "choice", │ │ │ │ + name: "choice", │ │ │ │ parent: "cluster_ssreflect", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "eqtype", │ │ │ │ - name: "eqtype", │ │ │ │ + id: "finset", │ │ │ │ + name: "finset", │ │ │ │ parent: "cluster_ssreflect", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "ssrfun", │ │ │ │ - name: "ssrfun", │ │ │ │ + id: "seq", │ │ │ │ + name: "seq", │ │ │ │ parent: "cluster_ssreflect", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "ssrbool", │ │ │ │ - name: "ssrbool", │ │ │ │ + id: "bigop", │ │ │ │ + name: "bigop", │ │ │ │ parent: "cluster_ssreflect", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "ssreflect", │ │ │ │ - name: "ssreflect", │ │ │ │ + id: "all_ssreflect", │ │ │ │ + name: "all_ssreflect", │ │ │ │ parent: "cluster_ssreflect", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "finset", │ │ │ │ - name: "finset", │ │ │ │ + id: "eqtype", │ │ │ │ + name: "eqtype", │ │ │ │ parent: "cluster_ssreflect", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "all_ssreflect", │ │ │ │ - name: "all_ssreflect", │ │ │ │ + id: "fintype", │ │ │ │ + name: "fintype", │ │ │ │ parent: "cluster_ssreflect", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "fingraph", │ │ │ │ - name: "fingraph", │ │ │ │ + id: "binomial", │ │ │ │ + name: "binomial", │ │ │ │ parent: "cluster_ssreflect", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "ssrnat", │ │ │ │ - name: "ssrnat", │ │ │ │ + id: "ssrAC", │ │ │ │ + name: "ssrAC", │ │ │ │ parent: "cluster_ssreflect", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "div", │ │ │ │ - name: "div", │ │ │ │ + id: "ssrnat", │ │ │ │ + name: "ssrnat", │ │ │ │ parent: "cluster_ssreflect", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "binomial", │ │ │ │ - name: "binomial", │ │ │ │ + id: "prime", │ │ │ │ + name: "prime", │ │ │ │ parent: "cluster_ssreflect", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "prime", │ │ │ │ - name: "prime", │ │ │ │ + id: "ssrfun", │ │ │ │ + name: "ssrfun", │ │ │ │ parent: "cluster_ssreflect", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "fintype", │ │ │ │ - name: "fintype", │ │ │ │ + id: "path", │ │ │ │ + name: "path", │ │ │ │ parent: "cluster_ssreflect", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "generic_quotient", │ │ │ │ - name: "generic_quotient", │ │ │ │ + id: "ssrnotations", │ │ │ │ + name: "ssrnotations", │ │ │ │ parent: "cluster_ssreflect", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "order", │ │ │ │ - name: "order", │ │ │ │ + id: "ssrmatching", │ │ │ │ + name: "ssrmatching", │ │ │ │ parent: "cluster_ssreflect", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "ssrAC", │ │ │ │ - name: "ssrAC", │ │ │ │ + id: "finfun", │ │ │ │ + name: "finfun", │ │ │ │ parent: "cluster_ssreflect", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "path", │ │ │ │ - name: "path", │ │ │ │ + id: "div", │ │ │ │ + name: "div", │ │ │ │ parent: "cluster_ssreflect", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "finfun", │ │ │ │ - name: "finfun", │ │ │ │ + id: "tuple", │ │ │ │ + name: "tuple", │ │ │ │ parent: "cluster_ssreflect", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "cluster_all", │ │ │ │ - name: "all" │ │ │ │ + id: "cluster_solvable", │ │ │ │ + name: "solvable" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "cluster_all_plus", │ │ │ │ + id: "cluster_solvable_plus", │ │ │ │ name: "+", │ │ │ │ - parent: "cluster_all" │ │ │ │ + parent: "cluster_solvable" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "all", │ │ │ │ - name: "all", │ │ │ │ - parent: "cluster_all", │ │ │ │ + id: "center", │ │ │ │ + name: "center", │ │ │ │ + parent: "cluster_solvable", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "cluster_algebra", │ │ │ │ - name: "algebra" │ │ │ │ + id: "maximal", │ │ │ │ + name: "maximal", │ │ │ │ + parent: "cluster_solvable", │ │ │ │ + released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "cluster_algebra_plus", │ │ │ │ - name: "+", │ │ │ │ - parent: "cluster_algebra" │ │ │ │ + id: "extraspecial", │ │ │ │ + name: "extraspecial", │ │ │ │ + parent: "cluster_solvable", │ │ │ │ + released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "zmodp", │ │ │ │ - name: "zmodp", │ │ │ │ - parent: "cluster_algebra", │ │ │ │ + id: "nilpotent", │ │ │ │ + name: "nilpotent", │ │ │ │ + parent: "cluster_solvable", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "interval", │ │ │ │ - name: "interval", │ │ │ │ - parent: "cluster_algebra", │ │ │ │ + id: "commutator", │ │ │ │ + name: "commutator", │ │ │ │ + parent: "cluster_solvable", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "all_algebra", │ │ │ │ - name: "all_algebra", │ │ │ │ - parent: "cluster_algebra", │ │ │ │ + id: "alt", │ │ │ │ + name: "alt", │ │ │ │ + parent: "cluster_solvable", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "mxpoly", │ │ │ │ - name: "mxpoly", │ │ │ │ - parent: "cluster_algebra", │ │ │ │ + id: "finmodule", │ │ │ │ + name: "finmodule", │ │ │ │ + parent: "cluster_solvable", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "poly", │ │ │ │ - name: "poly", │ │ │ │ - parent: "cluster_algebra", │ │ │ │ + id: "extremal", │ │ │ │ + name: "extremal", │ │ │ │ + parent: "cluster_solvable", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "finalg", │ │ │ │ - name: "finalg", │ │ │ │ - parent: "cluster_algebra", │ │ │ │ + id: "frobenius", │ │ │ │ + name: "frobenius", │ │ │ │ + parent: "cluster_solvable", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "archimedean", │ │ │ │ - name: "archimedean", │ │ │ │ - parent: "cluster_algebra", │ │ │ │ + id: "pgroup", │ │ │ │ + name: "pgroup", │ │ │ │ + parent: "cluster_solvable", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "ssrnum", │ │ │ │ - name: "ssrnum", │ │ │ │ - parent: "cluster_algebra", │ │ │ │ + id: "primitive_action", │ │ │ │ + name: "primitive_action", │ │ │ │ + parent: "cluster_solvable", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "spectral", │ │ │ │ - name: "spectral", │ │ │ │ - parent: "cluster_algebra", │ │ │ │ + id: "jordanholder", │ │ │ │ + name: "jordanholder", │ │ │ │ + parent: "cluster_solvable", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "qpoly", │ │ │ │ - name: "qpoly", │ │ │ │ - parent: "cluster_algebra", │ │ │ │ + id: "hall", │ │ │ │ + name: "hall", │ │ │ │ + parent: "cluster_solvable", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "ssralg", │ │ │ │ - name: "ssralg", │ │ │ │ - parent: "cluster_algebra", │ │ │ │ + id: "cyclic", │ │ │ │ + name: "cyclic", │ │ │ │ + parent: "cluster_solvable", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "mxalgebra", │ │ │ │ - name: "mxalgebra", │ │ │ │ - parent: "cluster_algebra", │ │ │ │ + id: "gfunctor", │ │ │ │ + name: "gfunctor", │ │ │ │ + parent: "cluster_solvable", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "sesquilinear", │ │ │ │ - name: "sesquilinear", │ │ │ │ - parent: "cluster_algebra", │ │ │ │ + id: "abelian", │ │ │ │ + name: "abelian", │ │ │ │ + parent: "cluster_solvable", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "vector", │ │ │ │ - name: "vector", │ │ │ │ - parent: "cluster_algebra", │ │ │ │ + id: "burnside_app", │ │ │ │ + name: "burnside_app", │ │ │ │ + parent: "cluster_solvable", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "fraction", │ │ │ │ - name: "fraction", │ │ │ │ - parent: "cluster_algebra", │ │ │ │ + id: "gseries", │ │ │ │ + name: "gseries", │ │ │ │ + parent: "cluster_solvable", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "intdiv", │ │ │ │ - name: "intdiv", │ │ │ │ - parent: "cluster_algebra", │ │ │ │ + id: "sylow", │ │ │ │ + name: "sylow", │ │ │ │ + parent: "cluster_solvable", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "polydiv", │ │ │ │ - name: "polydiv", │ │ │ │ - parent: "cluster_algebra", │ │ │ │ + id: "all_solvable", │ │ │ │ + name: "all_solvable", │ │ │ │ + parent: "cluster_solvable", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "ssrint", │ │ │ │ - name: "ssrint", │ │ │ │ - parent: "cluster_algebra", │ │ │ │ - released: "no" │ │ │ │ + id: "cluster_fingroup", │ │ │ │ + name: "fingroup" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "polyXY", │ │ │ │ - name: "polyXY", │ │ │ │ - parent: "cluster_algebra", │ │ │ │ - released: "no" │ │ │ │ + id: "cluster_fingroup_plus", │ │ │ │ + name: "+", │ │ │ │ + parent: "cluster_fingroup" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "mxred", │ │ │ │ - name: "mxred", │ │ │ │ - parent: "cluster_algebra", │ │ │ │ + id: "presentation", │ │ │ │ + name: "presentation", │ │ │ │ + parent: "cluster_fingroup", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "ring_quotient", │ │ │ │ - name: "ring_quotient", │ │ │ │ - parent: "cluster_algebra", │ │ │ │ + id: "perm", │ │ │ │ + name: "perm", │ │ │ │ + parent: "cluster_fingroup", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "rat", │ │ │ │ - name: "rat", │ │ │ │ - parent: "cluster_algebra", │ │ │ │ + id: "action", │ │ │ │ + name: "action", │ │ │ │ + parent: "cluster_fingroup", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "countalg", │ │ │ │ - name: "countalg", │ │ │ │ - parent: "cluster_algebra", │ │ │ │ + id: "quotient", │ │ │ │ + name: "quotient", │ │ │ │ + parent: "cluster_fingroup", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "matrix", │ │ │ │ - name: "matrix", │ │ │ │ - parent: "cluster_algebra", │ │ │ │ + id: "morphism", │ │ │ │ + name: "morphism", │ │ │ │ + parent: "cluster_fingroup", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "cluster_character", │ │ │ │ - name: "character" │ │ │ │ + id: "fingroup", │ │ │ │ + name: "fingroup", │ │ │ │ + parent: "cluster_fingroup", │ │ │ │ + released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "cluster_character_plus", │ │ │ │ - name: "+", │ │ │ │ - parent: "cluster_character" │ │ │ │ + id: "automorphism", │ │ │ │ + name: "automorphism", │ │ │ │ + parent: "cluster_fingroup", │ │ │ │ + released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "all_character", │ │ │ │ - name: "all_character", │ │ │ │ - parent: "cluster_character", │ │ │ │ + id: "all_fingroup", │ │ │ │ + name: "all_fingroup", │ │ │ │ + parent: "cluster_fingroup", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "vcharacter", │ │ │ │ - name: "vcharacter", │ │ │ │ - parent: "cluster_character", │ │ │ │ + id: "gproduct", │ │ │ │ + name: "gproduct", │ │ │ │ + parent: "cluster_fingroup", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "mxrepresentation", │ │ │ │ - name: "mxrepresentation", │ │ │ │ - parent: "cluster_character", │ │ │ │ - released: "no" │ │ │ │ + id: "cluster_field", │ │ │ │ + name: "field" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "classfun", │ │ │ │ - name: "classfun", │ │ │ │ - parent: "cluster_character", │ │ │ │ - released: "no" │ │ │ │ + id: "cluster_field_plus", │ │ │ │ + name: "+", │ │ │ │ + parent: "cluster_field" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "mxabelem", │ │ │ │ - name: "mxabelem", │ │ │ │ - parent: "cluster_character", │ │ │ │ + id: "separable", │ │ │ │ + name: "separable", │ │ │ │ + parent: "cluster_field", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "integral_char", │ │ │ │ - name: "integral_char", │ │ │ │ - parent: "cluster_character", │ │ │ │ + id: "falgebra", │ │ │ │ + name: "falgebra", │ │ │ │ + parent: "cluster_field", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "character", │ │ │ │ - name: "character", │ │ │ │ - parent: "cluster_character", │ │ │ │ + id: "cyclotomic", │ │ │ │ + name: "cyclotomic", │ │ │ │ + parent: "cluster_field", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "inertia", │ │ │ │ - name: "inertia", │ │ │ │ - parent: "cluster_character", │ │ │ │ + id: "all_field", │ │ │ │ + name: "all_field", │ │ │ │ + parent: "cluster_field", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "cluster_solvable", │ │ │ │ - name: "solvable" │ │ │ │ + id: "algnum", │ │ │ │ + name: "algnum", │ │ │ │ + parent: "cluster_field", │ │ │ │ + released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "cluster_solvable_plus", │ │ │ │ - name: "+", │ │ │ │ - parent: "cluster_solvable" │ │ │ │ + id: "qfpoly", │ │ │ │ + name: "qfpoly", │ │ │ │ + parent: "cluster_field", │ │ │ │ + released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "alt", │ │ │ │ - name: "alt", │ │ │ │ - parent: "cluster_solvable", │ │ │ │ + id: "finfield", │ │ │ │ + name: "finfield", │ │ │ │ + parent: "cluster_field", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "extremal", │ │ │ │ - name: "extremal", │ │ │ │ - parent: "cluster_solvable", │ │ │ │ + id: "closed_field", │ │ │ │ + name: "closed_field", │ │ │ │ + parent: "cluster_field", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "burnside_app", │ │ │ │ - name: "burnside_app", │ │ │ │ - parent: "cluster_solvable", │ │ │ │ + id: "algC", │ │ │ │ + name: "algC", │ │ │ │ + parent: "cluster_field", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "hall", │ │ │ │ - name: "hall", │ │ │ │ - parent: "cluster_solvable", │ │ │ │ + id: "galois", │ │ │ │ + name: "galois", │ │ │ │ + parent: "cluster_field", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "commutator", │ │ │ │ - name: "commutator", │ │ │ │ - parent: "cluster_solvable", │ │ │ │ + id: "algebraics_fundamentals", │ │ │ │ + name: "algebraics_fundamentals", │ │ │ │ + parent: "cluster_field", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "nilpotent", │ │ │ │ - name: "nilpotent", │ │ │ │ - parent: "cluster_solvable", │ │ │ │ + id: "fieldext", │ │ │ │ + name: "fieldext", │ │ │ │ + parent: "cluster_field", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "pgroup", │ │ │ │ - name: "pgroup", │ │ │ │ - parent: "cluster_solvable", │ │ │ │ - released: "no" │ │ │ │ + id: "cluster_character", │ │ │ │ + name: "character" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "abelian", │ │ │ │ - name: "abelian", │ │ │ │ - parent: "cluster_solvable", │ │ │ │ - released: "no" │ │ │ │ + id: "cluster_character_plus", │ │ │ │ + name: "+", │ │ │ │ + parent: "cluster_character" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "extraspecial", │ │ │ │ - name: "extraspecial", │ │ │ │ - parent: "cluster_solvable", │ │ │ │ + id: "mxrepresentation", │ │ │ │ + name: "mxrepresentation", │ │ │ │ + parent: "cluster_character", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "sylow", │ │ │ │ - name: "sylow", │ │ │ │ - parent: "cluster_solvable", │ │ │ │ + id: "vcharacter", │ │ │ │ + name: "vcharacter", │ │ │ │ + parent: "cluster_character", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "primitive_action", │ │ │ │ - name: "primitive_action", │ │ │ │ - parent: "cluster_solvable", │ │ │ │ + id: "all_character", │ │ │ │ + name: "all_character", │ │ │ │ + parent: "cluster_character", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "jordanholder", │ │ │ │ - name: "jordanholder", │ │ │ │ - parent: "cluster_solvable", │ │ │ │ + id: "inertia", │ │ │ │ + name: "inertia", │ │ │ │ + parent: "cluster_character", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "finmodule", │ │ │ │ - name: "finmodule", │ │ │ │ - parent: "cluster_solvable", │ │ │ │ + id: "mxabelem", │ │ │ │ + name: "mxabelem", │ │ │ │ + parent: "cluster_character", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "all_solvable", │ │ │ │ - name: "all_solvable", │ │ │ │ - parent: "cluster_solvable", │ │ │ │ + id: "character", │ │ │ │ + name: "character", │ │ │ │ + parent: "cluster_character", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "gseries", │ │ │ │ - name: "gseries", │ │ │ │ - parent: "cluster_solvable", │ │ │ │ + id: "integral_char", │ │ │ │ + name: "integral_char", │ │ │ │ + parent: "cluster_character", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "cyclic", │ │ │ │ - name: "cyclic", │ │ │ │ - parent: "cluster_solvable", │ │ │ │ + id: "classfun", │ │ │ │ + name: "classfun", │ │ │ │ + parent: "cluster_character", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "frobenius", │ │ │ │ - name: "frobenius", │ │ │ │ - parent: "cluster_solvable", │ │ │ │ - released: "no" │ │ │ │ + id: "cluster_all", │ │ │ │ + name: "all" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "center", │ │ │ │ - name: "center", │ │ │ │ - parent: "cluster_solvable", │ │ │ │ - released: "no" │ │ │ │ + id: "cluster_all_plus", │ │ │ │ + name: "+", │ │ │ │ + parent: "cluster_all" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "gfunctor", │ │ │ │ - name: "gfunctor", │ │ │ │ - parent: "cluster_solvable", │ │ │ │ + id: "all", │ │ │ │ + name: "all", │ │ │ │ + parent: "cluster_all", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "maximal", │ │ │ │ - name: "maximal", │ │ │ │ - parent: "cluster_solvable", │ │ │ │ - released: "no" │ │ │ │ + id: "cluster_algebra", │ │ │ │ + name: "algebra" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "cluster_fingroup", │ │ │ │ - name: "fingroup" │ │ │ │ + id: "cluster_algebra_plus", │ │ │ │ + name: "+", │ │ │ │ + parent: "cluster_algebra" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "cluster_fingroup_plus", │ │ │ │ - name: "+", │ │ │ │ - parent: "cluster_fingroup" │ │ │ │ + id: "ssralg", │ │ │ │ + name: "ssralg", │ │ │ │ + parent: "cluster_algebra", │ │ │ │ + released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "gproduct", │ │ │ │ - name: "gproduct", │ │ │ │ - parent: "cluster_fingroup", │ │ │ │ + id: "polyXY", │ │ │ │ + name: "polyXY", │ │ │ │ + parent: "cluster_algebra", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "fingroup", │ │ │ │ - name: "fingroup", │ │ │ │ - parent: "cluster_fingroup", │ │ │ │ + id: "rat", │ │ │ │ + name: "rat", │ │ │ │ + parent: "cluster_algebra", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "action", │ │ │ │ - name: "action", │ │ │ │ - parent: "cluster_fingroup", │ │ │ │ + id: "spectral", │ │ │ │ + name: "spectral", │ │ │ │ + parent: "cluster_algebra", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "morphism", │ │ │ │ - name: "morphism", │ │ │ │ - parent: "cluster_fingroup", │ │ │ │ + id: "finalg", │ │ │ │ + name: "finalg", │ │ │ │ + parent: "cluster_algebra", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "perm", │ │ │ │ - name: "perm", │ │ │ │ - parent: "cluster_fingroup", │ │ │ │ + id: "poly", │ │ │ │ + name: "poly", │ │ │ │ + parent: "cluster_algebra", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "presentation", │ │ │ │ - name: "presentation", │ │ │ │ - parent: "cluster_fingroup", │ │ │ │ + id: "ssrnum", │ │ │ │ + name: "ssrnum", │ │ │ │ + parent: "cluster_algebra", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "all_fingroup", │ │ │ │ - name: "all_fingroup", │ │ │ │ - parent: "cluster_fingroup", │ │ │ │ + id: "countalg", │ │ │ │ + name: "countalg", │ │ │ │ + parent: "cluster_algebra", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "automorphism", │ │ │ │ - name: "automorphism", │ │ │ │ - parent: "cluster_fingroup", │ │ │ │ + id: "zmodp", │ │ │ │ + name: "zmodp", │ │ │ │ + parent: "cluster_algebra", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "quotient", │ │ │ │ - name: "quotient", │ │ │ │ - parent: "cluster_fingroup", │ │ │ │ + id: "sesquilinear", │ │ │ │ + name: "sesquilinear", │ │ │ │ + parent: "cluster_algebra", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "cluster_field", │ │ │ │ - name: "field" │ │ │ │ + id: "all_algebra", │ │ │ │ + name: "all_algebra", │ │ │ │ + parent: "cluster_algebra", │ │ │ │ + released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "cluster_field_plus", │ │ │ │ - name: "+", │ │ │ │ - parent: "cluster_field" │ │ │ │ + id: "intdiv", │ │ │ │ + name: "intdiv", │ │ │ │ + parent: "cluster_algebra", │ │ │ │ + released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "algnum", │ │ │ │ - name: "algnum", │ │ │ │ - parent: "cluster_field", │ │ │ │ + id: "matrix", │ │ │ │ + name: "matrix", │ │ │ │ + parent: "cluster_algebra", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "fieldext", │ │ │ │ - name: "fieldext", │ │ │ │ - parent: "cluster_field", │ │ │ │ + id: "archimedean", │ │ │ │ + name: "archimedean", │ │ │ │ + parent: "cluster_algebra", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "qfpoly", │ │ │ │ - name: "qfpoly", │ │ │ │ - parent: "cluster_field", │ │ │ │ + id: "mxpoly", │ │ │ │ + name: "mxpoly", │ │ │ │ + parent: "cluster_algebra", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "closed_field", │ │ │ │ - name: "closed_field", │ │ │ │ - parent: "cluster_field", │ │ │ │ + id: "mxalgebra", │ │ │ │ + name: "mxalgebra", │ │ │ │ + parent: "cluster_algebra", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "galois", │ │ │ │ - name: "galois", │ │ │ │ - parent: "cluster_field", │ │ │ │ + id: "mxred", │ │ │ │ + name: "mxred", │ │ │ │ + parent: "cluster_algebra", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "all_field", │ │ │ │ - name: "all_field", │ │ │ │ - parent: "cluster_field", │ │ │ │ + id: "fraction", │ │ │ │ + name: "fraction", │ │ │ │ + parent: "cluster_algebra", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "finfield", │ │ │ │ - name: "finfield", │ │ │ │ - parent: "cluster_field", │ │ │ │ + id: "ssrint", │ │ │ │ + name: "ssrint", │ │ │ │ + parent: "cluster_algebra", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "falgebra", │ │ │ │ - name: "falgebra", │ │ │ │ - parent: "cluster_field", │ │ │ │ + id: "ring_quotient", │ │ │ │ + name: "ring_quotient", │ │ │ │ + parent: "cluster_algebra", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "cyclotomic", │ │ │ │ - name: "cyclotomic", │ │ │ │ - parent: "cluster_field", │ │ │ │ + id: "vector", │ │ │ │ + name: "vector", │ │ │ │ + parent: "cluster_algebra", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "algebraics_fundamentals", │ │ │ │ - name: "algebraics_fundamentals", │ │ │ │ - parent: "cluster_field", │ │ │ │ + id: "qpoly", │ │ │ │ + name: "qpoly", │ │ │ │ + parent: "cluster_algebra", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "algC", │ │ │ │ - name: "algC", │ │ │ │ - parent: "cluster_field", │ │ │ │ + id: "polydiv", │ │ │ │ + name: "polydiv", │ │ │ │ + parent: "cluster_algebra", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ - id: "separable", │ │ │ │ - name: "separable", │ │ │ │ - parent: "cluster_field", │ │ │ │ + id: "interval", │ │ │ │ + name: "interval", │ │ │ │ + parent: "cluster_algebra", │ │ │ │ released: "no" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge0", │ │ │ │ - source: "cyclic", │ │ │ │ - target: "zmodp" │ │ │ │ + source: "character", │ │ │ │ + target: "mxrepresentation" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge1", │ │ │ │ - source: "matrix", │ │ │ │ - target: "zmodp" │ │ │ │ + source: "mxabelem", │ │ │ │ + target: "mxrepresentation" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge2", │ │ │ │ - source: "gfunctor", │ │ │ │ - target: "gproduct" │ │ │ │ + source: "all", │ │ │ │ + target: "all_solvable" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge3", │ │ │ │ - source: "all_fingroup", │ │ │ │ - target: "gproduct" │ │ │ │ + source: "intdiv", │ │ │ │ + target: "rat" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge4", │ │ │ │ - source: "cyclic", │ │ │ │ - target: "gproduct" │ │ │ │ + source: "qfpoly", │ │ │ │ + target: "finfield" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge5", │ │ │ │ - source: "div", │ │ │ │ - target: "seq" │ │ │ │ + source: "all", │ │ │ │ + target: "all_field" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge6", │ │ │ │ - source: "path", │ │ │ │ - target: "seq" │ │ │ │ + source: "fieldext", │ │ │ │ + target: "generic_quotient" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge7", │ │ │ │ - source: "choice", │ │ │ │ - target: "seq" │ │ │ │ + source: "fraction", │ │ │ │ + target: "generic_quotient" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge8", │ │ │ │ - source: "all", │ │ │ │ - target: "all_algebra" │ │ │ │ + source: "ring_quotient", │ │ │ │ + target: "generic_quotient" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge9", │ │ │ │ - source: "all_solvable", │ │ │ │ - target: "burnside_app" │ │ │ │ + source: "all_ssreflect", │ │ │ │ + target: "generic_quotient" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge10", │ │ │ │ - source: "mxred", │ │ │ │ - target: "mxpoly" │ │ │ │ + source: "finfun", │ │ │ │ + target: "tuple" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge11", │ │ │ │ - source: "closed_field", │ │ │ │ - target: "mxpoly" │ │ │ │ + source: "mxrepresentation", │ │ │ │ + target: "commutator" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge12", │ │ │ │ - source: "fieldext", │ │ │ │ - target: "mxpoly" │ │ │ │ + source: "finmodule", │ │ │ │ + target: "commutator" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge13", │ │ │ │ - source: "polyXY", │ │ │ │ - target: "mxpoly" │ │ │ │ + source: "gseries", │ │ │ │ + target: "commutator" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge14", │ │ │ │ - source: "qpoly", │ │ │ │ - target: "mxpoly" │ │ │ │ + source: "all_solvable", │ │ │ │ + target: "alt" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge15", │ │ │ │ - source: "mxrepresentation", │ │ │ │ - target: "mxpoly" │ │ │ │ + source: "spectral", │ │ │ │ + target: "sesquilinear" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge16", │ │ │ │ - source: "qfpoly", │ │ │ │ - target: "finfield" │ │ │ │ + source: "rat", │ │ │ │ + target: "archimedean" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge17", │ │ │ │ - source: "sylow", │ │ │ │ - target: "nilpotent" │ │ │ │ + source: "fintype", │ │ │ │ + target: "div" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge18", │ │ │ │ - source: "ssrfun", │ │ │ │ - target: "ssreflect" │ │ │ │ + source: "algebraics_fundamentals", │ │ │ │ + target: "galois" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge19", │ │ │ │ - source: "finfield", │ │ │ │ - target: "abelian" │ │ │ │ + source: "ssrfun", │ │ │ │ + target: "ssreflect" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge20", │ │ │ │ - source: "maximal", │ │ │ │ - target: "abelian" │ │ │ │ + source: "hall", │ │ │ │ + target: "maximal" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge21", │ │ │ │ - source: "character", │ │ │ │ - target: "abelian" │ │ │ │ + source: "extremal", │ │ │ │ + target: "maximal" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge22", │ │ │ │ - source: "all_algebra", │ │ │ │ - target: "fraction" │ │ │ │ + source: "mxabelem", │ │ │ │ + target: "maximal" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge23", │ │ │ │ - source: "fraction", │ │ │ │ - target: "generic_quotient" │ │ │ │ + source: "action", │ │ │ │ + target: "quotient" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge24", │ │ │ │ - source: "all_ssreflect", │ │ │ │ - target: "generic_quotient" │ │ │ │ + source: "order", │ │ │ │ + target: "finset" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge25", │ │ │ │ - source: "fieldext", │ │ │ │ - target: "generic_quotient" │ │ │ │ + source: "binomial", │ │ │ │ + target: "finset" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge26", │ │ │ │ - source: "ring_quotient", │ │ │ │ - target: "generic_quotient" │ │ │ │ + source: "fingroup", │ │ │ │ + target: "finset" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge27", │ │ │ │ - source: "all_algebra", │ │ │ │ - target: "intdiv" │ │ │ │ + source: "integral_char", │ │ │ │ + target: "character" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge28", │ │ │ │ - source: "algebraics_fundamentals", │ │ │ │ - target: "intdiv" │ │ │ │ + source: "inertia", │ │ │ │ + target: "character" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge29", │ │ │ │ - source: "action", │ │ │ │ - target: "quotient" │ │ │ │ + source: "algC", │ │ │ │ + target: "algebraics_fundamentals" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge30", │ │ │ │ - source: "cyclotomic", │ │ │ │ - target: "algC" │ │ │ │ + source: "gfunctor", │ │ │ │ + target: "gproduct" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge31", │ │ │ │ - source: "bigop", │ │ │ │ - target: "finfun" │ │ │ │ + source: "cyclic", │ │ │ │ + target: "gproduct" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge32", │ │ │ │ - source: "character", │ │ │ │ - target: "classfun" │ │ │ │ + source: "all_fingroup", │ │ │ │ + target: "gproduct" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge33", │ │ │ │ - source: "finfun", │ │ │ │ - target: "tuple" │ │ │ │ + source: "all_solvable", │ │ │ │ + target: "frobenius" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge34", │ │ │ │ - source: "all_solvable", │ │ │ │ - target: "alt" │ │ │ │ + source: "vcharacter", │ │ │ │ + target: "frobenius" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge35", │ │ │ │ - source: "hall", │ │ │ │ - target: "maximal" │ │ │ │ + source: "inertia", │ │ │ │ + target: "frobenius" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge36", │ │ │ │ - source: "extremal", │ │ │ │ - target: "maximal" │ │ │ │ + source: "algebraics_fundamentals", │ │ │ │ + target: "intdiv" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge37", │ │ │ │ - source: "mxabelem", │ │ │ │ - target: "maximal" │ │ │ │ + source: "all_algebra", │ │ │ │ + target: "intdiv" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge38", │ │ │ │ - source: "finalg", │ │ │ │ - target: "countalg" │ │ │ │ + source: "bigop", │ │ │ │ + target: "finfun" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge39", │ │ │ │ - source: "poly", │ │ │ │ - target: "countalg" │ │ │ │ + source: "fieldext", │ │ │ │ + target: "falgebra" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge40", │ │ │ │ - source: "order", │ │ │ │ - target: "prime" │ │ │ │ + source: "mxrepresentation", │ │ │ │ + target: "mxpoly" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge41", │ │ │ │ - source: "fingroup", │ │ │ │ - target: "prime" │ │ │ │ + source: "closed_field", │ │ │ │ + target: "mxpoly" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge42", │ │ │ │ - source: "binomial", │ │ │ │ - target: "prime" │ │ │ │ + source: "fieldext", │ │ │ │ + target: "mxpoly" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge43", │ │ │ │ - source: "integral_char", │ │ │ │ - target: "character" │ │ │ │ + source: "qpoly", │ │ │ │ + target: "mxpoly" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge44", │ │ │ │ - source: "inertia", │ │ │ │ - target: "character" │ │ │ │ + source: "polyXY", │ │ │ │ + target: "mxpoly" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge45", │ │ │ │ - source: "rat", │ │ │ │ - target: "archimedean" │ │ │ │ + source: "mxred", │ │ │ │ + target: "mxpoly" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge46", │ │ │ │ - source: "sylow", │ │ │ │ - target: "pgroup" │ │ │ │ + source: "order", │ │ │ │ + target: "prime" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge47", │ │ │ │ - source: "mxrepresentation", │ │ │ │ - target: "pgroup" │ │ │ │ + source: "binomial", │ │ │ │ + target: "prime" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge48", │ │ │ │ - source: "algebraics_fundamentals", │ │ │ │ - target: "galois" │ │ │ │ + source: "fingroup", │ │ │ │ + target: "prime" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge49", │ │ │ │ - source: "fintype", │ │ │ │ - target: "div" │ │ │ │ + source: "ssrfun", │ │ │ │ + target: "ssrnotations" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge50", │ │ │ │ - source: "mxpoly", │ │ │ │ - target: "polydiv" │ │ │ │ + source: "all_ssreflect", │ │ │ │ + target: "fingraph" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge51", │ │ │ │ - source: "fraction", │ │ │ │ - target: "polydiv" │ │ │ │ + source: "all_solvable", │ │ │ │ + target: "burnside_app" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge52", │ │ │ │ - source: "intdiv", │ │ │ │ - target: "polydiv" │ │ │ │ + source: "alt", │ │ │ │ + target: "primitive_action" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge53", │ │ │ │ - source: "archimedean", │ │ │ │ - target: "ssrint" │ │ │ │ + source: "burnside_app", │ │ │ │ + target: "primitive_action" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge54", │ │ │ │ - source: "vcharacter", │ │ │ │ - target: "integral_char" │ │ │ │ + source: "character", │ │ │ │ + target: "classfun" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge55", │ │ │ │ - source: "all_ssreflect", │ │ │ │ - target: "order" │ │ │ │ + source: "ring_quotient", │ │ │ │ + target: "ssralg" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge56", │ │ │ │ - source: "ssrnum", │ │ │ │ - target: "order" │ │ │ │ + source: "countalg", │ │ │ │ + target: "ssralg" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge57", │ │ │ │ - source: "matrix", │ │ │ │ - target: "order" │ │ │ │ + source: "all_solvable", │ │ │ │ + target: "jordanholder" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge58", │ │ │ │ - source: "ssrfun", │ │ │ │ - target: "ssrnotations" │ │ │ │ + source: "galois", │ │ │ │ + target: "separable" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge59", │ │ │ │ - source: "all_ssreflect", │ │ │ │ - target: "fingraph" │ │ │ │ + source: "frobenius", │ │ │ │ + target: "hall" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge60", │ │ │ │ - source: "all", │ │ │ │ - target: "all_ssreflect" │ │ │ │ + source: "maximal", │ │ │ │ + target: "finmodule" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge61", │ │ │ │ - source: "generic_quotient", │ │ │ │ - target: "fintype" │ │ │ │ + source: "matrix", │ │ │ │ + target: "order" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge62", │ │ │ │ - source: "tuple", │ │ │ │ - target: "fintype" │ │ │ │ + source: "all_ssreflect", │ │ │ │ + target: "order" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge63", │ │ │ │ - source: "fingraph", │ │ │ │ - target: "fintype" │ │ │ │ + source: "ssrnum", │ │ │ │ + target: "order" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge64", │ │ │ │ - source: "burnside_app", │ │ │ │ - target: "primitive_action" │ │ │ │ + source: "all_field", │ │ │ │ + target: "qfpoly" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge65", │ │ │ │ - source: "alt", │ │ │ │ - target: "primitive_action" │ │ │ │ + source: "all_solvable", │ │ │ │ + target: "extraspecial" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge66", │ │ │ │ - source: "all_solvable", │ │ │ │ - target: "jordanholder" │ │ │ │ + source: "commutator", │ │ │ │ + target: "gfunctor" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge67", │ │ │ │ - source: "spectral", │ │ │ │ - target: "mxred" │ │ │ │ + source: "pgroup", │ │ │ │ + target: "gfunctor" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge68", │ │ │ │ - source: "frobenius", │ │ │ │ - target: "hall" │ │ │ │ + source: "center", │ │ │ │ + target: "gfunctor" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge69", │ │ │ │ - source: "all_character", │ │ │ │ - target: "inertia" │ │ │ │ + source: "extremal", │ │ │ │ + target: "presentation" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge70", │ │ │ │ - source: "automorphism", │ │ │ │ - target: "perm" │ │ │ │ + source: "all_fingroup", │ │ │ │ + target: "presentation" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge71", │ │ │ │ - source: "spectral", │ │ │ │ - target: "sesquilinear" │ │ │ │ + source: "falgebra", │ │ │ │ + target: "poly" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge72", │ │ │ │ - source: "zmodp", │ │ │ │ - target: "finalg" │ │ │ │ + source: "cyclic", │ │ │ │ + target: "poly" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge73", │ │ │ │ - source: "all", │ │ │ │ - target: "all_field" │ │ │ │ + source: "polydiv", │ │ │ │ + target: "poly" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge74", │ │ │ │ - source: "pgroup", │ │ │ │ - target: "gfunctor" │ │ │ │ + source: "ssrnum", │ │ │ │ + target: "poly" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge75", │ │ │ │ - source: "center", │ │ │ │ - target: "gfunctor" │ │ │ │ + source: "div", │ │ │ │ + target: "seq" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge76", │ │ │ │ - source: "commutator", │ │ │ │ - target: "gfunctor" │ │ │ │ + source: "choice", │ │ │ │ + target: "seq" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge77", │ │ │ │ - source: "all_fingroup", │ │ │ │ - target: "presentation" │ │ │ │ + source: "path", │ │ │ │ + target: "seq" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge78", │ │ │ │ - source: "extremal", │ │ │ │ - target: "presentation" │ │ │ │ + source: "finset", │ │ │ │ + target: "bigop" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge79", │ │ │ │ - source: "all_field", │ │ │ │ - target: "qfpoly" │ │ │ │ + source: "prime", │ │ │ │ + target: "bigop" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge80", │ │ │ │ - source: "all", │ │ │ │ - target: "all_solvable" │ │ │ │ + source: "ssrAC", │ │ │ │ + target: "bigop" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge81", │ │ │ │ - source: "algebraics_fundamentals", │ │ │ │ - target: "closed_field" │ │ │ │ + source: "cyclic", │ │ │ │ + target: "zmodp" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge82", │ │ │ │ - source: "all_solvable", │ │ │ │ - target: "extraspecial" │ │ │ │ + source: "matrix", │ │ │ │ + target: "zmodp" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge83", │ │ │ │ - source: "abelian", │ │ │ │ - target: "sylow" │ │ │ │ + source: "vcharacter", │ │ │ │ + target: "integral_char" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge84", │ │ │ │ - source: "alt", │ │ │ │ - target: "sylow" │ │ │ │ + source: "extraspecial", │ │ │ │ + target: "extremal" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge85", │ │ │ │ source: "algebraics_fundamentals", │ │ │ │ - target: "sylow" │ │ │ │ + target: "closed_field" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge86", │ │ │ │ - source: "galois", │ │ │ │ - target: "separable" │ │ │ │ + source: "ssrnat", │ │ │ │ + target: "eqtype" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge87", │ │ │ │ - source: "intdiv", │ │ │ │ - target: "vector" │ │ │ │ + source: "finfield", │ │ │ │ + target: "cyclotomic" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge88", │ │ │ │ - source: "sesquilinear", │ │ │ │ - target: "vector" │ │ │ │ + source: "algnum", │ │ │ │ + target: "cyclotomic" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge89", │ │ │ │ - source: "falgebra", │ │ │ │ - target: "vector" │ │ │ │ + source: "separable", │ │ │ │ + target: "fieldext" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge90", │ │ │ │ - source: "qpoly", │ │ │ │ - target: "vector" │ │ │ │ + source: "ssralg", │ │ │ │ + target: "binomial" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge91", │ │ │ │ - source: "seq", │ │ │ │ - target: "ssrnat" │ │ │ │ + source: "all_ssreflect", │ │ │ │ + target: "binomial" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge92", │ │ │ │ - source: "separable", │ │ │ │ - target: "fieldext" │ │ │ │ + source: "perm", │ │ │ │ + target: "binomial" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge93", │ │ │ │ - source: "inertia", │ │ │ │ - target: "frobenius" │ │ │ │ + source: "primitive_action", │ │ │ │ + target: "gseries" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge94", │ │ │ │ - source: "all_solvable", │ │ │ │ - target: "frobenius" │ │ │ │ + source: "jordanholder", │ │ │ │ + target: "gseries" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge95", │ │ │ │ - source: "vcharacter", │ │ │ │ - target: "frobenius" │ │ │ │ + source: "nilpotent", │ │ │ │ + target: "gseries" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge96", │ │ │ │ - source: "gproduct", │ │ │ │ - target: "action" │ │ │ │ + source: "generic_quotient", │ │ │ │ + target: "fintype" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge97", │ │ │ │ - source: "finalg", │ │ │ │ - target: "action" │ │ │ │ + source: "tuple", │ │ │ │ + target: "fintype" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge98", │ │ │ │ - source: "nilpotent", │ │ │ │ - target: "gseries" │ │ │ │ + source: "fingraph", │ │ │ │ + target: "fintype" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge99", │ │ │ │ - source: "primitive_action", │ │ │ │ - target: "gseries" │ │ │ │ + source: "mxpoly", │ │ │ │ + target: "mxalgebra" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge100", │ │ │ │ - source: "jordanholder", │ │ │ │ - target: "gseries" │ │ │ │ + source: "vector", │ │ │ │ + target: "mxalgebra" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge101", │ │ │ │ - source: "quotient", │ │ │ │ - target: "automorphism" │ │ │ │ + source: "mxrepresentation", │ │ │ │ + target: "pgroup" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge102", │ │ │ │ - source: "all_algebra", │ │ │ │ - target: "ring_quotient" │ │ │ │ + source: "sylow", │ │ │ │ + target: "pgroup" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge103", │ │ │ │ - source: "closed_field", │ │ │ │ - target: "ring_quotient" │ │ │ │ + source: "ssrbool", │ │ │ │ + target: "ssrfun" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge104", │ │ │ │ - source: "intdiv", │ │ │ │ - target: "rat" │ │ │ │ + source: "all_algebra", │ │ │ │ + target: "fraction" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge105", │ │ │ │ - source: "fintype", │ │ │ │ - target: "path" │ │ │ │ + source: "finfield", │ │ │ │ + target: "abelian" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge106", │ │ │ │ - source: "all_algebra", │ │ │ │ - target: "polyXY" │ │ │ │ + source: "maximal", │ │ │ │ + target: "abelian" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge107", │ │ │ │ - source: "separable", │ │ │ │ - target: "polyXY" │ │ │ │ + source: "character", │ │ │ │ + target: "abelian" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge108", │ │ │ │ - source: "classfun", │ │ │ │ - target: "algnum" │ │ │ │ + source: "cyclotomic", │ │ │ │ + target: "algC" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge109", │ │ │ │ - source: "all_field", │ │ │ │ - target: "algnum" │ │ │ │ + source: "sylow", │ │ │ │ + target: "nilpotent" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge110", │ │ │ │ - source: "fieldext", │ │ │ │ - target: "falgebra" │ │ │ │ + source: "alt", │ │ │ │ + target: "sylow" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge111", │ │ │ │ - source: "all", │ │ │ │ - target: "all_fingroup" │ │ │ │ + source: "algebraics_fundamentals", │ │ │ │ + target: "sylow" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge112", │ │ │ │ - source: "gseries", │ │ │ │ - target: "center" │ │ │ │ + source: "abelian", │ │ │ │ + target: "sylow" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge113", │ │ │ │ - source: "mxrepresentation", │ │ │ │ - target: "center" │ │ │ │ + source: "all_algebra", │ │ │ │ + target: "interval" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge114", │ │ │ │ - source: "pgroup", │ │ │ │ - target: "cyclic" │ │ │ │ + source: "qfpoly", │ │ │ │ + target: "qpoly" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge115", │ │ │ │ - source: "separable", │ │ │ │ - target: "cyclic" │ │ │ │ + source: "all_algebra", │ │ │ │ + target: "qpoly" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge116", │ │ │ │ - source: "center", │ │ │ │ - target: "cyclic" │ │ │ │ + source: "separable", │ │ │ │ + target: "polyXY" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge117", │ │ │ │ - source: "finmodule", │ │ │ │ - target: "cyclic" │ │ │ │ + source: "all_algebra", │ │ │ │ + target: "polyXY" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge118", │ │ │ │ - source: "polydiv", │ │ │ │ - target: "poly" │ │ │ │ + source: "all", │ │ │ │ + target: "all_character" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge119", │ │ │ │ - source: "falgebra", │ │ │ │ - target: "poly" │ │ │ │ + source: "mxrepresentation", │ │ │ │ + target: "center" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge120", │ │ │ │ - source: "cyclic", │ │ │ │ - target: "poly" │ │ │ │ + source: "gseries", │ │ │ │ + target: "center" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge121", │ │ │ │ - source: "ssrnum", │ │ │ │ - target: "poly" │ │ │ │ + source: "separable", │ │ │ │ + target: "cyclic" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge122", │ │ │ │ - source: "extraspecial", │ │ │ │ - target: "extremal" │ │ │ │ + source: "finmodule", │ │ │ │ + target: "cyclic" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge123", │ │ │ │ - source: "maximal", │ │ │ │ - target: "finmodule" │ │ │ │ + source: "pgroup", │ │ │ │ + target: "cyclic" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge124", │ │ │ │ - source: "prime", │ │ │ │ - target: "bigop" │ │ │ │ + source: "center", │ │ │ │ + target: "cyclic" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge125", │ │ │ │ - source: "finset", │ │ │ │ - target: "bigop" │ │ │ │ + source: "intdiv", │ │ │ │ + target: "polydiv" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge126", │ │ │ │ - source: "ssrAC", │ │ │ │ - target: "bigop" │ │ │ │ + source: "mxpoly", │ │ │ │ + target: "polydiv" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge127", │ │ │ │ - source: "gseries", │ │ │ │ - target: "commutator" │ │ │ │ + source: "fraction", │ │ │ │ + target: "polydiv" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge128", │ │ │ │ - source: "finmodule", │ │ │ │ - target: "commutator" │ │ │ │ + source: "all_character", │ │ │ │ + target: "mxabelem" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge129", │ │ │ │ - source: "mxrepresentation", │ │ │ │ - target: "commutator" │ │ │ │ + source: "all_algebra", │ │ │ │ + target: "spectral" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge130", │ │ │ │ - source: "ssrbool", │ │ │ │ - target: "ssrfun" │ │ │ │ + source: "fintype", │ │ │ │ + target: "choice" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge131", │ │ │ │ - source: "all_character", │ │ │ │ - target: "mxabelem" │ │ │ │ + source: "zmodp", │ │ │ │ + target: "finalg" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge132", │ │ │ │ - source: "ssrnat", │ │ │ │ - target: "eqtype" │ │ │ │ + source: "extremal", │ │ │ │ + target: "matrix" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge133", │ │ │ │ - source: "ssrint", │ │ │ │ - target: "ssrnum" │ │ │ │ + source: "mxalgebra", │ │ │ │ + target: "matrix" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge134", │ │ │ │ - source: "sesquilinear", │ │ │ │ - target: "ssrnum" │ │ │ │ + source: "closed_field", │ │ │ │ + target: "ring_quotient" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge135", │ │ │ │ - source: "interval", │ │ │ │ - target: "ssrnum" │ │ │ │ + source: "all_algebra", │ │ │ │ + target: "ring_quotient" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge136", │ │ │ │ - source: "all_algebra", │ │ │ │ - target: "spectral" │ │ │ │ + source: "eqtype", │ │ │ │ + target: "ssrbool" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge137", │ │ │ │ - source: "eqtype", │ │ │ │ - target: "ssrbool" │ │ │ │ + source: "archimedean", │ │ │ │ + target: "ssrint" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge138", │ │ │ │ - source: "all_algebra", │ │ │ │ - target: "qpoly" │ │ │ │ + source: "all", │ │ │ │ + target: "all_ssreflect" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge139", │ │ │ │ - source: "qfpoly", │ │ │ │ - target: "qpoly" │ │ │ │ + source: "all", │ │ │ │ + target: "all_algebra" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge140", │ │ │ │ - source: "countalg", │ │ │ │ - target: "ssralg" │ │ │ │ + source: "spectral", │ │ │ │ + target: "mxred" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge141", │ │ │ │ - source: "ring_quotient", │ │ │ │ - target: "ssralg" │ │ │ │ + source: "all_character", │ │ │ │ + target: "vcharacter" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge142", │ │ │ │ - source: "ssrnum", │ │ │ │ - target: "fingroup" │ │ │ │ + source: "gproduct", │ │ │ │ + target: "action" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge143", │ │ │ │ - source: "morphism", │ │ │ │ - target: "fingroup" │ │ │ │ + source: "finalg", │ │ │ │ + target: "action" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge144", │ │ │ │ - source: "order", │ │ │ │ - target: "finset" │ │ │ │ + source: "sesquilinear", │ │ │ │ + target: "vector" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge145", │ │ │ │ - source: "fingroup", │ │ │ │ - target: "finset" │ │ │ │ + source: "intdiv", │ │ │ │ + target: "vector" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge146", │ │ │ │ - source: "binomial", │ │ │ │ - target: "finset" │ │ │ │ + source: "falgebra", │ │ │ │ + target: "vector" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge147", │ │ │ │ - source: "extremal", │ │ │ │ - target: "matrix" │ │ │ │ + source: "qpoly", │ │ │ │ + target: "vector" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge148", │ │ │ │ - source: "mxalgebra", │ │ │ │ - target: "matrix" │ │ │ │ + source: "fintype", │ │ │ │ + target: "path" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge149", │ │ │ │ - source: "mxpoly", │ │ │ │ - target: "mxalgebra" │ │ │ │ + source: "morphism", │ │ │ │ + target: "fingroup" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge150", │ │ │ │ - source: "vector", │ │ │ │ - target: "mxalgebra" │ │ │ │ + source: "ssrnum", │ │ │ │ + target: "fingroup" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge151", │ │ │ │ source: "fraction", │ │ │ │ target: "ssrAC" │ │ │ │ } │ │ │ │ @@ -1679,126 +1679,126 @@ │ │ │ │ id: "edge153", │ │ │ │ source: "ssrnum", │ │ │ │ target: "ssrAC" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge154", │ │ │ │ - source: "all_algebra", │ │ │ │ - target: "interval" │ │ │ │ + source: "seq", │ │ │ │ + target: "ssrnat" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge155", │ │ │ │ - source: "all", │ │ │ │ - target: "all_character" │ │ │ │ + source: "all_field", │ │ │ │ + target: "algnum" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge156", │ │ │ │ - source: "fintype", │ │ │ │ - target: "choice" │ │ │ │ + source: "classfun", │ │ │ │ + target: "algnum" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge157", │ │ │ │ - source: "perm", │ │ │ │ - target: "morphism" │ │ │ │ + source: "automorphism", │ │ │ │ + target: "perm" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge158", │ │ │ │ source: "presentation", │ │ │ │ target: "morphism" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge159", │ │ │ │ - source: "all_character", │ │ │ │ - target: "vcharacter" │ │ │ │ + source: "perm", │ │ │ │ + target: "morphism" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge160", │ │ │ │ - source: "finfield", │ │ │ │ - target: "cyclotomic" │ │ │ │ + source: "all", │ │ │ │ + target: "all_fingroup" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge161", │ │ │ │ - source: "algnum", │ │ │ │ - target: "cyclotomic" │ │ │ │ + source: "sesquilinear", │ │ │ │ + target: "ssrnum" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge162", │ │ │ │ - source: "algC", │ │ │ │ - target: "algebraics_fundamentals" │ │ │ │ + source: "interval", │ │ │ │ + target: "ssrnum" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge163", │ │ │ │ - source: "character", │ │ │ │ - target: "mxrepresentation" │ │ │ │ + source: "ssrint", │ │ │ │ + target: "ssrnum" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge164", │ │ │ │ - source: "mxabelem", │ │ │ │ - target: "mxrepresentation" │ │ │ │ + source: "all_character", │ │ │ │ + target: "inertia" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge165", │ │ │ │ - source: "all_ssreflect", │ │ │ │ - target: "binomial" │ │ │ │ + source: "poly", │ │ │ │ + target: "countalg" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge166", │ │ │ │ - source: "perm", │ │ │ │ - target: "binomial" │ │ │ │ + source: "finalg", │ │ │ │ + target: "countalg" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge167", │ │ │ │ - source: "ssralg", │ │ │ │ - target: "binomial" │ │ │ │ + source: "quotient", │ │ │ │ + target: "automorphism" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge168", │ │ │ │ source: "cluster_fingroup", │ │ │ │ target: "cluster_ssreflect" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge169", │ │ │ │ - source: "cluster_solvable", │ │ │ │ - target: "cluster_algebra" │ │ │ │ + source: "cluster_field", │ │ │ │ + target: "cluster_solvable" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge170", │ │ │ │ - source: "cluster_all", │ │ │ │ - target: "cluster_character" │ │ │ │ + source: "cluster_algebra", │ │ │ │ + target: "cluster_fingroup" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge171", │ │ │ │ - source: "cluster_field", │ │ │ │ - target: "cluster_solvable" │ │ │ │ + source: "cluster_character", │ │ │ │ + target: "cluster_field" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge172", │ │ │ │ - source: "cluster_algebra", │ │ │ │ - target: "cluster_fingroup" │ │ │ │ + source: "cluster_all", │ │ │ │ + target: "cluster_character" │ │ │ │ } │ │ │ │ }, { │ │ │ │ data: { │ │ │ │ id: "edge173", │ │ │ │ - source: "cluster_character", │ │ │ │ - target: "cluster_field" │ │ │ │ + source: "cluster_solvable", │ │ │ │ + target: "cluster_algebra" │ │ │ │ } │ │ │ │ }, │ │ │ │ ]; │ │ ├── ./var/lib/coq/md5sums/libcoq-mathcomp.checksum │ │ │ @@ -1 +1 @@ │ │ │ -7l6j0 │ │ │ +g92v6