The package rpms/gap-pkg-orb.git has added or updated architecture specific content in
its
spec file (ExclusiveArch/ExcludeArch or %ifarch/%ifnarch) in commit(s):
https://src.fedoraproject.org/cgit/rpms/gap-pkg-orb.git/commit/?id=706f65....
Change:
+ExclusiveArch: aarch64 ppc64le s390x x86_64
Thanks.
Full change:
============
commit 706f65224ea6abe10be6958f2c92caf8931d38c9
Author: Jerry James <loganjerry(a)gmail.com>
Date: Tue Sep 27 11:54:42 2022 -0600
Version 4.9.0.
- Update for gap 4.12.0.
- Convert License tag to SPDX.
- Move TOC data into the testdata tarball.
diff --git a/ctblockstoc.json b/ctblockstoc.json
deleted file mode 100644
index 3151c56..0000000
--- a/ctblockstoc.json
+++ /dev/null
@@ -1,226 +0,0 @@
-{
-"ID":"ctblocks",
-"Version":"2021-01-05",
-"DataURL":"http://www.math.rwth-aachen.de/~Thomas.Breuer/ctblocks/atlas",
-"SelfURL":"http://www.math.rwth-aachen.de/~Thomas.Breuer/ctblocks/ctblockstoc.json",
-"LocalDirectory":"ctblocks/atlas",
-"Data":[
-["GNAN",["2^2.U6(2).2","4U62d2"]],
-["GNAN",["Isoclinic(2.F4(2).2)","2F42d2i"]],
-
-["GRS",["2^2.U6(2).2",73574645760]],
-["GRS",["Isoclinic(2.F4(2).2)",13244506413465600]],
-
-["MXN",["2^2.U6(2).2",11]],
-
-["MXO",["2^2.U6(2).2",[36787322880,109486080,0,0,0,0,11612160,3548160,1244160]]],
-
-["TOC",["perm","2F42d2G1-p279552B0.m",[-106603400,27295404]]],
-["TOC",["perm","2F42d2iG1-p279552B0.m",[1254207,52008640]]],
-["TOC",["perm","3J3d2G1-p18468B0.m",[73638484,57154192]]],
-["TOC",["perm","3O73G1-p1134B0.m",[-3314528,-105841712]]],
-["TOC",["perm","4Sz8G1-p2080B0.m",[-4865905,76631516]]],
-["TOC",["kernel","4U62d2G1-kerU62d2W1",[-68512830]]],
-["TOC",["perm","6O73G1-p3294B0.m",[-10985846,-56733339]]],
-["TOC",["maxes","A11G1-max1W1",[-60368477]]],
-["TOC",["maxes","A11G1-max3W1",[90398569]]],
-["TOC",["maxes","A11G1-max4W1",[45088034]]],
-["TOC",["maxes","A11G1-max5W1",[-92387174]]],
-["TOC",["maxes","A12G1-max3W1",[-117613563]]],
-["TOC",["maxes","A12G1-max4W1",[-69691422]]],
-["TOC",["maxes","A12G1-max5W1",[-72038670]]],
-["TOC",["maxes","A12G1-max6W1",[-91243077]]],
-["TOC",["maxes","A7G1-max5W1",[-101269633]]],
-["TOC",["maxes","A8G1-max2W1",[110818995]]],
-["TOC",["maxes","A8G1-max3W1",[-22612685]]],
-["TOC",["maxes","Co1G1-max10W1",[92234212]]],
-["TOC",["maxes","Co1G1-max11W1",[-123189491]]],
-["TOC",["maxes","Co1G1-max12W1",[14703463]]],
-["TOC",["maxes","Co1G1-max13W1",[46265710]]],
-["TOC",["maxes","Co1G1-max14W1",[43185457]]],
-["TOC",["maxes","Co1G1-max15W1",[-51176782]]],
-["TOC",["maxes","Co1G1-max16W1",[81176743]]],
-["TOC",["maxes","Co1G1-max17W1",[-114188021]]],
-["TOC",["maxes","Co1G1-max18W1",[101551384]]],
-["TOC",["maxes","Co1G1-max19W1",[-6774274]]],
-["TOC",["maxes","Co1G1-max20W1",[-43692526]]],
-["TOC",["maxes","Co1G1-max21W1",[-44877310]]],
-["TOC",["maxes","Co1G1-max22W1",[-45144138]]],
-["TOC",["maxes","Co1G1-max7W1",[76367485]]],
-["TOC",["maxes","Co1G1-max8W1",[47434010]]],
-["TOC",["maxes","Co1G1-max9W1",[-93551632]]],
-["TOC",["maxstd","Co1G1max2W1-3Suzd2G1W1",[113321740]]],
-["TOC",["maxstd","Co1G1max4W1-Co3G1W1",[-92226415]]],
-["TOC",["maxstd","Co2G1max1W1-U62d2G1W1",[-90146631]]],
-["TOC",["maxstd","Co2G1max5W1-HSd2G1W1",[69026199]]],
-["TOC",["maxstd","Co2G1max7W1-U43D8G1W1",[101769446]]],
-["TOC",["maxstd","Co2G1max9W1-M23G1W1",[113321740]]],
-["TOC",["maxstd","Co3G1max4W1-M23G1W1",[123014035]]],
-["TOC",["maxstd","F22G1max1W1-2U62G1W1",[112057372]]],
-["TOC",["maxstd","F22G1max2W1-O73G1W1",[113321740]]],
-["TOC",["maxstd","F22G1max3W1-O73G1W1",[113321740]]],
-["TOC",["maxstd","F22G1max9W1-TF42G1W1",[113321740]]],
-["TOC",["maxes","F23G1-max11W1",[128030302]]],
-["TOC",["maxes","F23G1-max12W1",[-123774824]]],
-["TOC",["maxes","F23G1-max7W1",[101931949]]],
-["TOC",["maxes","F23G1-max8W1",[-124202604]]],
-["TOC",["maxstd","F23G1max13W1-S44d4G1W1",[92107489]]],
-["TOC",["maxstd","F23G1max14W1-L223G1W1",[113321740]]],
-["TOC",["maxstd","F23G1max1W1-2F22G1W1",[-75609613]]],
-["TOC",["maxstd","F23G1max1W2-2F22G1W1",[-93789632]]],
-["TOC",["maxstd","F23G1max3W1-4U62d2G1W1",[-36824059]]],
-["TOC",["maxstd","F23G1max9W1-S12G1W1",[-63983876]]],
-["TOC",["perm","F42d2G1-p139776B0.m",[-18401037,-56116549]]],
-["TOC",["maxes","G24d2G1-max9W1",[88978760]]],
-["TOC",["perm","G24d2G1-p416B0.m",[85201550,-132221025]]],
-["TOC",["maxstd","G24d2G1max1W1-G24G1W1",[113321740]]],
-["TOC",["maxstd","G24d2G1max9W1-L213d2G1W1",[42309519]]],
-["TOC",["maxstd","G25G1max4W1-L35d2G1W1",[-57915464]]],
-["TOC",["maxes","HNG1-max13W1",[129621502]]],
-["TOC",["maxes","HNG1-max8W1",[-41210715]]],
-["TOC",["maxes","HNG1-max9W1",[57896296]]],
-["TOC",["maxstd","HNG1max1W1-A12G1W1",[102904529]]],
-["TOC",["maxstd","HNG1max3W1-U38d3aG1W1",[7768005]]],
-["TOC",["maxstd","HSd2G1max2W1-M22d2G1W1",[113321740]]],
-["TOC",["maxstd","J4G1max8W1-L232d5G1W1",[-62469975]]],
-["TOC",["maxstd","J4G1max9W1-L223d2G1W1",[-28666004]]],
-["TOC",["maxes","L213d2G1-max2W1",[-94073341]]],
-["TOC",["maxes","L219d2G1-max2W1",[64412507]]],
-["TOC",["maxes","L223G1-max1W1",[80482977]]],
-["TOC",["maxes","L223d2G1-max2W1",[-52971569]]],
-["TOC",["maxes","L231G1-max1W1",[98969400]]],
-["TOC",["maxes","L28d3G1-max4W1",[81654950]]],
-["TOC",["maxes","L37G1-max1W1",[-123164992]]],
-["TOC",["maxstd","L37d2G1max1W1-L37G1W1",[113321740]]],
-["TOC",["maxstd","LyG1max1W1-G25G1W1",[113321740]]],
-["TOC",["maxstd","LyG1max2W1-3McLd2G1W1",[113321740]]],
-["TOC",["maxstd","LyG1max4W1-2A11G1W1",[-48902134]]],
-["TOC",["maxes","M12d2G1-max1W0",[38916488]]],
-["TOC",["maxstd","M12d2G1max1W0-M12G1W0",[-116194859]]],
-["TOC",["maxstd","M22G1max8W1-L211G1W1",[25171913]]],
-["TOC",["maxstd","M22d2G1max7W1-L211d2G1W1",[113321740]]],
-["TOC",["maxstd","M23G1max4W1-A8G1W1",[-118193265]]],
-["TOC",["maxstd","M24G1max4W1-M12d2G1W1",[113321740]]],
-["TOC",["maxstd","McLd2G1max1W1-McLG1W1",[113321740]]],
-["TOC",["maxes","O73G1-max12W1",[127414030]]],
-["TOC",["maxes","O73G1-max13W1",[121209633]]],
-["TOC",["maxes","O73G1-max14W1",[87276861]]],
-["TOC",["maxes","O73G1-max15W1",[-1978804]]],
-["TOC",["maxes","O73G1-max1W1",[114459413]]],
-["TOC",["maxes","O73G1-max2W1",[42510380]]],
-["TOC",["maxes","O73G1-max3W1",[-109115057]]],
-["TOC",["maxes","O73G1-max4W1",[41920915]]],
-["TOC",["maxes","O73G1-max6W1",[16430410]]],
-["TOC",["maxes","O73G1-max7W1",[46492380]]],
-["TOC",["maxes","O73G1-max9W1",[-60687897]]],
-["TOC",["maxstd","O73G1max7W1-S62G1W1",[-52685316]]],
-["TOC",["maxes","O73d2G1-max1W1",[48814982]]],
-["TOC",["maxstd","O73d2G1max1W1-O73G1W1",[103672309]]],
-["TOC",["maxstd","ONG1max1W1-L37d2G1W1",[113321740]]],
-["TOC",["maxstd","ONG1max2W1-L37d2G1W1",[113321740]]],
-["TOC",["maxstd","ONG1max3W1-J1G1W1",[113321740]]],
-["TOC",["maxstd","ONG1max7W1-L231G1W1",[-71890345]]],
-["TOC",["maxes","S12G1-max7W1",[86775062]]],
-["TOC",["maxes","S44d4G1-max5W1",[-58935240]]],
-["TOC",["maxstd","SuzG1max6W1-J2d2G1W1",[56986270]]],
-["TOC",["maxstd","Suzd2G1max2W1-G24d2G1W1",[113321740]]],
-["TOC",["maxstd","Suzd2G1max2W2-G24d2G1W2",[-102197988]]],
-["TOC",["maxes","TD42d3G1-max6W1",[77168796]]],
-["TOC",["maxstd","ThG1max12W1-L219d2G1W1",[-98562557]]],
-["TOC",["maxstd","ThG1max1W1-TD42d3G1W1",[10598279]]],
-["TOC",["maxstd","ThG1max2W1-25L52G1W1",[113321740]]],
-["TOC",["maxes","U33G1-max3W1",[-127009582]]],
-["TOC",["maxes","U38d3aG1-max8W1",[-123510567]]],
-["TOC",["maxes","U42d2G1-max5W1",[127522587]]],
-["TOC",["maxes","U43D8G1-max4W1",[-35683214]]],
-["TOC",["maxstd","U52d2G1max7W1-L211d2G1W1",[71157949]]],
-["TOC",["maxstd","U62G1max12W1-M22G1W1",[118471286]]],
-["TOC",["maxes","U62d2G1-max2W1",[113226609]]],
-["TOC",["maxes","U62d2G1-max7W1",[-109852591]]],
-["TOC",["maxes","U62d2G1-max9W1",[86481504]]],
-["TOC",["maxstd","U62d2G1max2W1-U52d2G1W1",[66885913]]],
-
-["STDCOMP",["2^2.U6(2).2",[1,"U6(2).2",1,true]]],
-
-["TOCEXT",["2A11",1,1,["A11G1-max1W1"]]],
-["TOCEXT",["2A11",1,3,["A11G1-max3W1"]]],
-["TOCEXT",["2A11",1,4,["A11G1-max4W1"]]],
-["TOCEXT",["2A11",1,5,["A11G1-max5W1"]]],
-["TOCEXT",["2A12",1,3,["A12G1-max3W1"]]],
-["TOCEXT",["2A12",1,4,["A12G1-max4W1"]]],
-["TOCEXT",["2A12",1,5,["A12G1-max5W1"]]],
-["TOCEXT",["2A12",1,6,["A12G1-max6W1"]]],
-["TOCEXT",["2A7",1,5,["A7G1-max5W1"]]],
-["TOCEXT",["2A8",1,2,["A8G1-max2W1"]]],
-["TOCEXT",["2A8",1,3,["A8G1-max3W1"]]],
-["TOCEXT",["2Co1",1,10,["Co1G1-max10W1"]]],
-["TOCEXT",["2Co1",1,11,["Co1G1-max11W1"]]],
-["TOCEXT",["2Co1",1,12,["Co1G1-max12W1"]]],
-["TOCEXT",["2Co1",1,13,["Co1G1-max13W1"]]],
-["TOCEXT",["2Co1",1,14,["Co1G1-max14W1"]]],
-["TOCEXT",["2Co1",1,15,["Co1G1-max15W1"]]],
-["TOCEXT",["2Co1",1,16,["Co1G1-max16W1"]]],
-["TOCEXT",["2Co1",1,17,["Co1G1-max17W1"]]],
-["TOCEXT",["2Co1",1,18,["Co1G1-max18W1"]]],
-["TOCEXT",["2Co1",1,19,["Co1G1-max19W1"]]],
-["TOCEXT",["2Co1",1,20,["Co1G1-max20W1"]]],
-["TOCEXT",["2Co1",1,21,["Co1G1-max21W1"]]],
-["TOCEXT",["2Co1",1,22,["Co1G1-max22W1"]]],
-["TOCEXT",["2Co1",1,7,["Co1G1-max7W1"]]],
-["TOCEXT",["2Co1",1,8,["Co1G1-max8W1"]]],
-["TOCEXT",["2Co1",1,9,["Co1G1-max9W1"]]],
-["TOCEXT",["2O73",1,1,["O73G1-max1W1"]]],
-["TOCEXT",["2O73",1,12,["O73G1-max12W1"]]],
-["TOCEXT",["2O73",1,13,["O73G1-max13W1"]]],
-["TOCEXT",["2O73",1,14,["O73G1-max14W1"]]],
-["TOCEXT",["2O73",1,15,["O73G1-max15W1"]]],
-["TOCEXT",["2O73",1,2,["O73G1-max2W1"]]],
-["TOCEXT",["2O73",1,3,["O73G1-max3W1"]]],
-["TOCEXT",["2O73",1,4,["O73G1-max4W1"]]],
-["TOCEXT",["2O73",1,6,["O73G1-max6W1","O7(3)"]]],
-["TOCEXT",["2O73",1,7,["O73G1-max7W1"]]],
-["TOCEXT",["2O73",1,9,["O73G1-max9W1"]]],
-["TOCEXT",["2U42d2",1,5,["U42d2G1-max5W1"]]],
-["TOCEXT",["3A7",1,5,["A7G1-max5W1"]]],
-["TOCEXT",["3O73",1,1,["O73G1-max1W1"]]],
-["TOCEXT",["3O73",1,12,["O73G1-max12W1"]]],
-["TOCEXT",["3O73",1,13,["O73G1-max13W1"]]],
-["TOCEXT",["3O73",1,14,["O73G1-max14W1"]]],
-["TOCEXT",["3O73",1,15,["O73G1-max15W1"]]],
-["TOCEXT",["3O73",1,2,["O73G1-max2W1"]]],
-["TOCEXT",["3O73",1,3,["O73G1-max3W1"]]],
-["TOCEXT",["3O73",1,4,["O73G1-max4W1"]]],
-["TOCEXT",["3O73",1,6,["O73G1-max6W1"]]],
-["TOCEXT",["3O73",1,7,["O73G1-max7W1","O7(3)"]]],
-["TOCEXT",["3O73",1,9,["O73G1-max9W1"]]],
-["TOCEXT",["6A7",1,5,["A7G1-max5W1"]]],
-["TOCEXT",["6O73",1,1,["O73G1-max1W1"]]],
-["TOCEXT",["6O73",1,12,["O73G1-max12W1"]]],
-["TOCEXT",["6O73",1,13,["O73G1-max13W1"]]],
-["TOCEXT",["6O73",1,14,["O73G1-max14W1"]]],
-["TOCEXT",["6O73",1,15,["O73G1-max15W1"]]],
-["TOCEXT",["6O73",1,2,["O73G1-max2W1"]]],
-["TOCEXT",["6O73",1,3,["O73G1-max3W1"]]],
-["TOCEXT",["6O73",1,4,["O73G1-max4W1"]]],
-["TOCEXT",["6O73",1,6,["O73G1-max6W1","O7(3)"]]],
-["TOCEXT",["6O73",1,7,["O73G1-max7W1","O7(3)"]]],
-["TOCEXT",["6O73",1,9,["O73G1-max9W1"]]],
-
-["API",["2F42d2G1-p279552B0",[1,12,"imprim","S8(2)
< 2.F4(2)"]]],
-["API",["2F42d2iG1-p279552B0",[1,12,"imprim","S8(2)
< 2.F4(2)"]]],
-["API",["3J3d2G1-p18468B0",[1,15,"imprim","L2(16):4
< (3xL2(16):2).2"]]],
-["API",["3O73G1-p1134B0",[1,7,"imprim","L4(3).2_2 <
3xL4(3).2_2"]]],
-["API",["4Sz8G1-p2080B0",[1,45,"imprim","2^3:7 <
2^2.2^(3+3):7"]]],
-["API",["6O73G1-p3294B0",[0,[1134,2160]]]],
-["API",["F42d2G1-p139776B0",[1,7,"imprim","S8(2) <
F4(2)"]]],
-["API",["G24d2G1-p416B0",[1,3,"prim","J2.2",2]]],
-
-["CHAR",["2.F4(2).2","2F42d2iG1-p279552B0",0,[1,2,5,8,9,14,15,92,93,94,95,102],"1ab+52ab+1377ab+2210a+4760a+24752a+46410a+88400a+110160a"]],
-["CHAR",["2^2.Sz(8)","4Sz8G1-p2080B0",0,[1,4,5,6,[7,2],8,9,10,11,12,13,14,15,16,17,[18,2],19,20,21,22,23,24,25,[26,2],27,28,29,30,31,32,33,[34,2],35],"1a+35abc+40abcdefghi+56abcdefghi+64a^2b^2c^2d^2+65abc+91a+104abc"]],
-["CHAR",["3.J3.2","3J3d2G1-p18468B0",0,[1,4,6,10,13,15,16,[35,2],38,39,40,46],"1a+324b+342a^2+646a+648a+1140a+1215bd+1615a+2430ab+6120a"]],
-["CHAR",["3.O7(3)","3O73G1-p1134B0",0,[1,6,7,59,60,61,62],"1a+27ab+182a+195a+351ab"]],
-["CHAR",["F4(2).2","F42d2G1-p139776B0",0,[1,2,5,8,9,14,15],"1ab+1377ab+2210a+46410a+88400a"]],
-["CHAR",["G2(4).2","G24d2G1-p416B0",0,[1,3,11],"1a+65a+350a"]],
-["CHAR",["Isoclinic(2.F4(2).2)","2F42d2iG1-p279552B0",0,[1,2,5,8,9,14,15,92,93,94,95,102],"1ab+52ab+1377ab+2210a+4760a+24752a+46410a+88400a+110160a"]]
-]
-}
diff --git a/gap-pkg-orb.spec b/gap-pkg-orb.spec
index 1b88fb6..42175f0 100644
--- a/gap-pkg-orb.spec
+++ b/gap-pkg-orb.spec
@@ -1,20 +1,18 @@
%global pkgname orb
-%bcond_with bootstrap
+%bcond_without bootstrap
Name: gap-pkg-%{pkgname}
-Version: 4.8.5
+Version: 4.9.0
Release: 1%{?dist}
Summary: Methods to enumerate orbits in GAP
-License: GPLv3+
+License: GPL-3.0-or-later
+ExclusiveArch: aarch64 ppc64le s390x x86_64
URL:
https://gap-packages.github.io/orb/
Source0:
https://github.com/gap-packages/%{pkgname}/releases/download/v%{version}/...
# Predownloaded data from ATLAS needed for the tests
Source1: %{name}-testdata.tar.xz
-# Indexes needed for the tests
-Source2:
https://www.math.rwth-aachen.de/~mfer/mfertoc.json
-Source3:
https://www.math.rwth-aachen.de/~Thomas.Breuer/ctblocks/ctblockstoc.json
# The AtlasRep, Browse and CtblLib dependencies are needed for the tests only
BuildRequires: gap-devel
@@ -50,32 +48,22 @@ This package contains documentation for gap-pkg-%{pkgname}.
%prep
%autosetup -n %{pkgname}-%{version} -b 1
-cp -p %{SOURCE2} %{SOURCE3} ../atlasrep
%build
export LC_ALL=C.UTF-8
-export CFLAGS='%{build_cflags} -D_FILE_OFFSET_BITS=64'
# This is NOT an autoconf-generated script. Do NOT use %%configure.
-./configure --with-gaproot=%{_gap_dir}
+./configure --with-gaproot=%{gap_dir}
%make_build V=1
# Link to main GAP documentation
-ln -s %{_gap_dir}/doc ../../doc
-gap < makedoc.g
+ln -s %{gap_dir}/doc ../../doc
+gap makedoc.g
rm -fr ../../doc
%install
-mkdir -p %{buildroot}%{_gap_dir}/pkg/%{pkgname}-%{version}
-cp -a bin doc examples gap tst *.g %{buildroot}%{_gap_dir}/pkg/%{pkgname}-%{version}
-rm -fr %{buildroot}%{_gap_dir}/pkg/%{pkgname}-%{version}/doc/{clean,test}
-rm -f
%{buildroot}%{_gap_dir}/pkg/%{pkgname}-%{version}/doc/*.{aux,bbl,blg,brf,idx,ilg,ind,log,out,pnr,tex}
-
-# Install the shared object without libtool artifacts
-pushd %{buildroot}%{_gap_dir}/pkg/%{pkgname}-%{version}/bin/%{_gap_arch}
-rm orb.*
-mv .libs/orb.so .
-rm -fr .libs
-popd
+mkdir -p %{buildroot}%{gap_dir}/pkg/%{pkgname}/doc
+cp -a *.g bin examples gap tst %{buildroot}%{gap_dir}/pkg/%{pkgname}
+%gap_copy_docs
%if %{without bootstrap}
%check
@@ -84,37 +72,35 @@ export LC_ALL=C.UTF-8
# Skip the speed test; this is for correctness only
rm -f tst/orbitspeedtest.g
-# Find the ATLAS version number
-atlasdir=$(ls -1d %{_gap_dir}/pkg/atlasrep-*)
-
# Tell ATLAS where to find downloaded files
mkdir ~/.gap
cat > ~/.gap/gap.ini << EOF
SetUserPreference( "AtlasRep", "AtlasRepDataDirectory",
"%{_builddir}/atlasrep/" );
-SetUserPreference( "AtlasRep", "AtlasRepTOCData", [
- "core|$atlasdir/atlasprm.json",
- "internal|$atlasdir/datapkg/toc.json",
- "mfer|%{_builddir}/atlasrep/mfertoc.json" ,
- "ctblocks|%{_builddir}/atlasrep/ctblockstoc.json" ] );
EOF
-gap -l "%{buildroot}%{_gap_dir};%{_gap_dir}" < tst/testall.g
+gap -l "%{buildroot}%{gap_dir};" tst/testall.g
%endif
%files
%doc CHANGES README.md
%license LICENSE
-%{_gap_dir}/pkg/%{pkgname}-%{version}/
-%exclude %{_gap_dir}/pkg/%{pkgname}-%{version}/doc/
-%exclude %{_gap_dir}/pkg/%{pkgname}-%{version}/examples/
+%{gap_dir}/pkg/%{pkgname}/
+%exclude %{gap_dir}/pkg/%{pkgname}/doc/
+%exclude %{gap_dir}/pkg/%{pkgname}/examples/
%files doc
-%docdir %{_gap_dir}/pkg/%{pkgname}-%{version}/doc/
-%docdir %{_gap_dir}/pkg/%{pkgname}-%{version}/examples/
-%{_gap_dir}/pkg/%{pkgname}-%{version}/doc/
-%{_gap_dir}/pkg/%{pkgname}-%{version}/examples/
+%docdir %{gap_dir}/pkg/%{pkgname}/doc/
+%docdir %{gap_dir}/pkg/%{pkgname}/examples/
+%{gap_dir}/pkg/%{pkgname}/doc/
+%{gap_dir}/pkg/%{pkgname}/examples/
%changelog
+* Tue Sep 27 2022 Jerry James <loganjerry(a)gmail.com> - 4.9.0-1
+- Version 4.9.0
+- Update for gap 4.12.0
+- Convert License tag to SPDX
+- Move TOC data into the testdata tarball
+
* Tue Jul 26 2022 Jerry James <loganjerry(a)gmail.com> - 4.8.5-1
- Version 4.8.5
diff --git a/mfertoc.json b/mfertoc.json
deleted file mode 100644
index 1fea77c..0000000
--- a/mfertoc.json
+++ /dev/null
@@ -1,807 +0,0 @@
-{
-"ID":"mfer",
-"Version":"2015-10-06",
-"DataURL":"http://www.math.rwth-aachen.de/~mfer/datagens/",
-"SelfURL":"http://www.math.rwth-aachen.de/~mfer/mfertoc.json",
-"LocalDirectory":"mfer/datagens",
-"Data":[
-["TOC",["perm","2Co1G1-p16773120B0.m",[118175726,-119590627]]],
-["TOC",["perm","2F22G1-p123552bB0.m",[-67804036,85299248]]],
-["TOC",["perm","2F22G1-p247104B0.m",[64129813,87672554]]],
-["TOC",["perm","2F22G1-p28160bB0.m",[130182724,85156134]]],
-["TOC",["perm","2F22G1-p370656aB0.m",[-49973868,92022744]]],
-["TOC",["perm","2F22G1-p370656bB0.m",[-113599056,130603764]]],
-["TOC",["perm","2F22d2G1-p247104aB0.m",[9149412,-32578661]]],
-["TOC",["perm","2F22d2G1-p247104bB0.m",[78468648,-73340231]]],
-["TOC",["perm","2F22d2G1-p7185024aB0.m",[-16907546,-40586453]]],
-["TOC",["perm","2F22d2G1-p7185024bB0.m",[-16907546,-94420870]]],
-["TOC",["perm","2F22d2G1-p741312aB0.m",[36984334,71325770]]],
-["TOC",["perm","2F22d2iG1-p247104aB0.m",[-84849214,112624438]]],
-["TOC",["perm","2F22d2iG1-p247104bB0.m",[78799824,-26201149]]],
-["TOC",["perm","2F22d2iG1-p56320B0.m",[-54823815,42071662]]],
-["TOC",["perm","2F22d2iG1-p741312aB0.m",[51405744,109787296]]],
-["TOC",["perm","2F22d2iG1-p741312bB0.m",[-61357225,-101364052]]],
-["TOC",["classes","2HSG1-cclsW1",[50657831]]],
-["TOC",["perm","2HSG1-p11200bB0.m",[40441536,10722592]]],
-["TOC",["perm","2HSG1-p704bB0.m",[-6490345,122820293]]],
-["TOC",["perm","2HSd2G1-p4400dB0.m",[-115721318,79155394]]],
-["TOC",["perm","2HSd2G1-p4400eB0.m",[-98712749,104059109]]],
-["TOC",["perm","2J2d2G1-p400B0.m",[-24243192,35098285]]],
-["TOC",["perm","2J2d2iG1-p1120B0.m",[62950927,-19099147]]],
-["TOC",["perm","2J2d2iG1-p200aB0.m",[7420897,5190035]]],
-["TOC",["perm","2J2d2iG1-p200bB0.m",[-30275330,132929869]]],
-["TOC",["classes","2M12G1-cclsW1",[-71748588]]],
-["TOC",["perm","2M12G1-p24bB0.m",[44304961,35285971]]],
-["TOC",["perm","2M12G1-p264aB0.m",[-78945354,-844204]]],
-["TOC",["perm","2M12G1-p264cB0.m",[56045441,-100854045]]],
-["TOC",["perm","2M12G1-p440aB0.m",[111174484,125242358]]],
-["TOC",["perm","2M12G1-p440bB0.m",[92512327,-65229628]]],
-["TOC",["perm","2M12G1-p440cB0.m",[34557462,-52302655]]],
-["TOC",["perm","2M12G1-p440dB0.m",[-72153632,123077127]]],
-["TOC",["perm","2M12G1-p880aB0.m",[128845563,132767842]]],
-["TOC",["perm","2M12G1-p880bB0.m",[44039374,4856695]]],
-["TOC",["classes","2M12d2G1-cclsW1",[-90040133]]],
-["TOC",["perm","2M12d2G1-p288aB0.m",[-80479130,-94118704]]],
-["TOC",["perm","2M12d2G1-p288bB0.m",[46550254,-104069398]]],
-["TOC",["perm","2M12d2iG1-p48B0.m",[51286675,59263658]]],
-["TOC",["classes","2M22G1-cclsW1",[-130076198]]],
-["TOC",["perm","2M22G1-p352bB0.m",[88625410,49257218]]],
-["TOC",["perm","2M22G1-p924aB0.m",[-26988285,19811021]]],
-["TOC",["perm","2M22d2G1-p1320B0.m",[55541530,-26004198]]],
-["TOC",["perm","2M22d2G1-p1344aB0.m",[-89820247,-10841585]]],
-["TOC",["perm","2M22d2G1-p1344bB0.m",[-41070070,50871810]]],
-["TOC",["perm","2M22d2G1-p660aB0.m",[-1505139,129830605]]],
-["TOC",["perm","2M22d2G1-p660bB0.m",[103696583,-67839057]]],
-["TOC",["perm","2M22d2G1-p704B0.m",[-118397913,-125073259]]],
-["TOC",["perm","2M22d2G1-p924aB0.m",[-94107996,-54083027]]],
-["TOC",["perm","2M22d2G1-p924bB0.m",[125456190,31875740]]],
-["TOC",["perm","2M22d2iG1-p1320B0.m",[85259077,35434449]]],
-["TOC",["perm","2M22d2iG1-p704B0.m",[2372658,87039877]]],
-["TOC",["perm","2Suzd2G1-p465920aB0.m",[-65418995,46295265]]],
-["TOC",["perm","2Suzd2G1-p465920bB0.m",[54167603,46295265]]],
-["TOC",["perm","2Suzd2G1-p65520aB0.m",[104244409,40771608]]],
-["TOC",["perm","2Suzd2G1-p65520bB0.m",[37529566,5560372]]],
-["TOC",["perm","3F22G1-p10777536B0.m",[-113560728,106227586]]],
-["TOC",["perm","3F22G1-p2084940B0.m",[-103085458,90102791]]],
-["TOC",["perm","3F22G1-p370656aB0.m",[72716663,114645175]]],
-["TOC",["perm","3F22G1-p370656bB0.m",[55700116,15174800]]],
-["TOC",["perm","3F22G1-p555984B0.m",[61200449,-93965444]]],
-["TOC",["perm","3F22d2G1-p10777536B0.m",[-77200206,-982729]]],
-["TOC",["perm","3F22d2G1-p2084940B0.m",[-24108709,-40641566]]],
-["TOC",["perm","3F22d2G1-p370656aB0.m",[-128628043,-118227032]]],
-["TOC",["perm","3F22d2G1-p370656bB0.m",[72905351,133287296]]],
-["TOC",["perm","3F22d2G1-p370656cB0.m",[-94827367,68375711]]],
-["TOC",["perm","3F22d2G1-p555984B0.m",[17501923,3414031]]],
-["TOC",["perm","3M22G1-p1386aB0.m",[119921125,-74393075]]],
-["TOC",["perm","3M22d2G1-p1386aB0.m",[-37578045,30896296]]],
-["TOC",["perm","3M22d2G1-p1386cB0.m",[3667762,-111425323]]],
-["TOC",["perm","3M22d2G1-p2016B0.m",[-23940903,-77144106]]],
-["TOC",["perm","3M22d2G1-p693B0.m",[71554,-92897701]]],
-["TOC",["perm","3M22d2G1-p990B0.m",[-25168170,104562261]]],
-["TOC",["perm","3McLd2G1-p66825bB0.m",[-125711484,66720180]]],
-["TOC",["perm","3ONG1-p368280bB0.m",[35184806,-100180347]]],
-["TOC",["perm","3ONG1-p736560aB0.m",[-17227354,128708864]]],
-["TOC",["perm","3ONG1-p736560bB0.m",[-47390013,50107549]]],
-["TOC",["perm","3SuzG1-p1216215B0.m",[-25139920,69654771]]],
-["TOC",["perm","3Suzd2G1-p1216215B0.m",[-43668517,-109565455]]],
-["TOC",["perm","3Suzd2G1-p405405B0.m",[-70156771,-26724302]]],
-["TOC",["perm","3Suzd2G1-p98280B0.m",[-68754796,49290524]]],
-["TOC",["perm","6F22G1-p1111968aB0.m",[61324578,-81181640]]],
-["TOC",["perm","6F22G1-p1111968bB0.m",[-5326457,16194863]]],
-["TOC",["perm","6F22G1-p370656aB0.m",[128632202,-17551414]]],
-["TOC",["perm","6F22G1-p370656bB0.m",[-125416580,36409552]]],
-["TOC",["perm","6F22G1-p741312aB0.m",[-95478093,-40189099]]],
-["TOC",["perm","6F22G1-p741312bB0.m",[-103388513,-75649762]]],
-["TOC",["perm","6F22d2G1-p21555072aB0.m",[17615525,73428736]]],
-["TOC",["perm","6F22d2G1-p21555072bB0.m",[-93193475,-102502125]]],
-["TOC",["perm","6F22d2G1-p741312aB0.m",[-122413259,109334411]]],
-["TOC",["perm","6F22d2iG1-p741312aB0.m",[-120352260,-89453898]]],
-["TOC",["perm","6F22d2iG1-p741312bB0.m",[-72423251,120580104]]],
-["TOC",["perm","6F22d2iG1-p741312cB0.m",[37424350,-54178190]]],
-["TOC",["perm","6M22G1-p2772aB0.m",[-85891896,51866378]]],
-["TOC",["perm","6M22d2G1-p1980aB0.m",[121276061,88265295]]],
-["TOC",["perm","6M22d2G1-p1980bB0.m",[-38749386,72846726]]],
-["TOC",["perm","6M22d2G1-p2772aB0.m",[-18607685,-83893093]]],
-["TOC",["perm","6M22d2G1-p2772bB0.m",[-91218920,77582376]]],
-["TOC",["perm","6M22d2G1-p4032aB0.m",[-9728237,-86055808]]],
-["TOC",["perm","6M22d2G1-p4032bB0.m",[-97519826,41985371]]],
-["TOC",["perm","6Suzd2G1-p196560aB0.m",[69558186,55209771]]],
-["TOC",["perm","6Suzd2G1-p196560bB0.m",[5677068,14296859]]],
-["TOC",["perm","Co1G1-p1545600B0.m",[-1424421,-18552476]]],
-["TOC",["perm","Co1G1-p3091200B0.m",[-91953821,67007036]]],
-["TOC",["perm","Co1G1-p46621575B0.m",[15354134,-111289651]]],
-["TOC",["perm","Co1G1-p8292375B0.m",[4574702,-125396449]]],
-["TOC",["perm","Co1G1-p8386560B0.m",[-86231493,131689199]]],
-["TOC",["perm","Co2G1-p1545600B0.m",[-39303721,-49096215]]],
-["TOC",["perm","Co2G1-p3091200B0.m",[-42051173,27371745]]],
-["TOC",["perm","Co2G1-p46575B0.m",[109729906,57689431]]],
-["TOC",["perm","Co2G1-p47104B0.m",[-33364658,13444952]]],
-["TOC",["perm","Co2G1-p476928B0.m",[84447235,63209985]]],
-["TOC",["perm","Co2G1-p56925B0.m",[27879694,32052738]]],
-["TOC",["perm","Co2G1-p93150B0.m",[49095618,67185561]]],
-["TOC",["perm","Co2G1-p953856B0.m",[-98573653,-8040982]]],
-["TOC",["perm","Co3G1-p170775B0.m",[-75177729,121985651]]],
-["TOC",["perm","Co3G1-p257600B0.m",[86205990,32150016]]],
-["TOC",["perm","F22G1-p123552B0.m",[31070852,-80975011]]],
-["TOC",["perm","F22G1-p14080aB0.m",[133948411,23002596]]],
-["TOC",["perm","F22G1-p185328B0.m",[61558234,33777642]]],
-["TOC",["perm","F22G1-p3592512B0.m",[-19061391,-20243809]]],
-["TOC",["perm","F22d2G1-p123552aB0.m",[-90162753,51641851]]],
-["TOC",["perm","F22d2G1-p123552bB0.m",[117628809,-123580129]]],
-["TOC",["perm","F22d2G1-p123552cB0.m",[56303375,62619709]]],
-["TOC",["perm","F22d2G1-p1389960B0.m",[107166149,-87244647]]],
-["TOC",["perm","F22d2G1-p142155B0.m",[80899051,35161577]]],
-["TOC",["perm","F22d2G1-p185328bB0.m",[-48151224,24507388]]],
-["TOC",["perm","F22d2G1-p247104B0.m",[69061024,4648803]]],
-["TOC",["perm","F22d2G1-p28160B0.m",[-130535189,-34122454]]],
-["TOC",["perm","F22d2G1-p284310B0.m",[-28516255,16657284]]],
-["TOC",["perm","F22d2G1-p3592512B0.m",[-125685389,-26301360]]],
-["TOC",["perm","F22d2G1-p370656aB0.m",[4614196,-21446687]]],
-["TOC",["perm","F22d2G1-p370656bB0.m",[-14361037,-71392720]]],
-["TOC",["perm","F22d2G1-p61776B0.m",[-120586194,-94216103]]],
-["TOC",["perm","F22d2G1-p694980B0.m",[-58861081,3721499]]],
-["TOC",["perm","F22d2G1-p7020B0.m",[71746485,-77534767]]],
-["TOC",["perm","F23G1-p412896B0.m",[78076615,-35233711]]],
-["TOC",["perm","F23G1-p86316516B0.m",[104385519,-76297424]]],
-["TOC",["perm","F24d2G1-p613872B0.m",[-18180397,-45041933]]],
-["TOC",["perm","HNG1-p13680000B0.m",[121019601,-35034753]]],
-["TOC",["perm","HNG1-p1539000B0.m",[-7483076,70833521]]],
-["TOC",["perm","HNG1-p16500000B0.m",[96737937,-8718434]]],
-["TOC",["perm","HNd2G1-p1140000B0.m",[-127662315,107649601]]],
-["TOC",["perm","HNd2G1-p13680000B0.m",[24081735,-25726346]]],
-["TOC",["perm","HNd2G1-p1539000B0.m",[95099523,-43832762]]],
-["TOC",["perm","HNd2G1-p16500000B0.m",[5979385,-90294343]]],
-["TOC",["perm","HNd2G1-p3078000aB0.m",[-79706246,46976544]]],
-["TOC",["perm","HNd2G1-p3078000bB0.m",[-71560101,-28340588]]],
-["TOC",["perm","HSG1-p176aB0.m",[-17981307,-84396704]]],
-["TOC",["perm","HSG1-p2200bB0.m",[113675210,-43124430]]],
-["TOC",["perm","HSG1-p352aB0.m",[-3190593,21124157]]],
-["TOC",["perm","HSG1-p352bB0.m",[37346650,882898]]],
-["TOC",["perm","HSG1-p5600bB0.m",[-12462319,114442044]]],
-["TOC",["perm","HSG1-p5775B0.m",[16159247,-125561561]]],
-["TOC",["perm","HSd2G1-p1100aB0.m",[80537858,-52005451]]],
-["TOC",["perm","HSd2G1-p11200B0.m",[20985149,11497182]]],
-["TOC",["perm","HSd2G1-p11550B0.m",[85875136,77510578]]],
-["TOC",["perm","HSd2G1-p200B0.m",[-48305045,-64306023]]],
-["TOC",["perm","HSd2G1-p2200aB0.m",[-5237669,-4127571]]],
-["TOC",["perm","HSd2G1-p2200cB0.m",[-68552861,59441674]]],
-["TOC",["perm","HSd2G1-p2200dB0.m",[19390417,126822309]]],
-["TOC",["perm","HSd2G1-p2200eB0.m",[78266685,48451386]]],
-["TOC",["perm","HSd2G1-p2200fB0.m",[14193575,4108278]]],
-["TOC",["perm","HSd2G1-p22176B0.m",[-20777776,125570511]]],
-["TOC",["perm","HSd2G1-p4125B0.m",[46980078,85328393]]],
-["TOC",["perm","HSd2G1-p5775B0.m",[-29440571,-103726192]]],
-["TOC",["perm","HSd2G1-p704B0.m",[47601412,108990906]]],
-["TOC",["perm","HSd2G1-p8250B0.m",[-62935185,21792196]]],
-["TOC",["maxstd","HSd2G1max1W1-HSG1W1",[113321740]]],
-["TOC",["perm","HeG1-p16660B0.m",[-9460524,126867510]]],
-["TOC",["perm","HeG1-p4116B0.m",[113345777,2052275]]],
-["TOC",["perm","Hed2G1-p16660aB0.m",[34137660,-30007129]]],
-["TOC",["perm","Hed2G1-p16660bB0.m",[-36290033,79467738]]],
-["TOC",["perm","J2d2G1-p1008B0.m",[-29504172,-33204528]]],
-["TOC",["perm","J2d2G1-p1050aB0.m",[-83480691,62601459]]],
-["TOC",["perm","J2d2G1-p1050bB0.m",[-51885182,-123953082]]],
-["TOC",["perm","J2d2G1-p1680B0.m",[-37965223,-54222171]]],
-["TOC",["perm","J2d2G1-p1890B0.m",[-27806106,-12496178]]],
-["TOC",["perm","J2d2G1-p200B0.m",[125026826,-107406212]]],
-["TOC",["perm","J2d2G1-p2016aB0.m",[-59866382,-125122651]]],
-["TOC",["perm","J2d2G1-p280B0.m",[72876218,119644837]]],
-["TOC",["perm","J2d2G1-p315B0.m",[-10652647,68573922]]],
-["TOC",["perm","J2d2G1-p525B0.m",[62842193,112918731]]],
-["TOC",["perm","J2d2G1-p560bB0.m",[-18466344,83153673]]],
-["TOC",["perm","J2d2G1-p560cB0.m",[-121322822,82966664]]],
-["TOC",["perm","J2d2G1-p840B0.m",[-89644948,-76245964]]],
-["TOC",["perm","J3d2G1-p25840B0.m",[53915018,-12409670]]],
-["TOC",["perm","LyG1-p19212250B0.m",[55923620,25822360]]],
-["TOC",["perm","LyG1-p8835156B0.m",[-92858288,-128662840]]],
-["TOC",["perm","LyG1-p9606125B0.m",[-104582932,-24351138]]],
-["TOC",["perm","M11G1-p110B0.m",[-15869969,-89757302]]],
-["TOC",["perm","M11G1-p144B0.m",[-131332206,34674694]]],
-["TOC",["perm","M11G1-p22B0.m",[-43692801,-16988312]]],
-["TOC",["perm","M12G1-p132aB0.m",[-31616693,-134073493]]],
-["TOC",["perm","M12G1-p132bB0.m",[-127168700,-89335987]]],
-["TOC",["perm","M12G1-p132dB0.m",[-80670041,120625946]]],
-["TOC",["perm","M12G1-p132eB0.m",[113380794,-84759948]]],
-["TOC",["perm","M12G1-p144aB0.m",[61892868,-118198426]]],
-["TOC",["perm","M12G1-p144bB0.m",[39508,-95962070]]],
-["TOC",["perm","M12G1-p220aB0.m",[99600886,-103253214]]],
-["TOC",["perm","M12G1-p220bB0.m",[69835758,-122875886]]],
-["TOC",["perm","M12G1-p440aB0.m",[50088952,-128568073]]],
-["TOC",["perm","M12G1-p440bB0.m",[62728263,-70218634]]],
-["TOC",["classes","M12d2G1-cclsW1",[-108482855]]],
-["TOC",["perm","M12d2G1-p132B0.m",[-113884487,60922222]]],
-["TOC",["perm","M12d2G1-p144aB0.m",[-130612315,67320987]]],
-["TOC",["perm","M12d2G1-p144bB0.m",[-8019788,53193074]]],
-["TOC",["perm","M12d2G1-p264bB0.m",[-48886842,4117721]]],
-["TOC",["perm","M12d2G1-p396B0.m",[-98310776,45959342]]],
-["TOC",["perm","M12d2G1-p440B0.m",[127578959,-38723270]]],
-["TOC",["perm","M12d2G1-p495aB0.m",[-5069572,99282470]]],
-["TOC",["perm","M12d2G1-p495bB0.m",[-86487943,260975]]],
-["TOC",["perm","M12d2G1-p792bB0.m",[-71434350,49201782]]],
-["TOC",["perm","M12d2G1-p880B0.m",[-83194222,-47402995]]],
-["TOC",["perm","M12d2G1-p990bB0.m",[-6748122,102096284]]],
-["TOC",["perm","M12d2G1-p990eB0.m",[68175775,73125282]]],
-["TOC",["cyc2ccl","M12d2G1cycW1-cclsW1",[70992357]]],
-["TOC",["perm","M22d2G1-p1232bB0.m",[-83636615,-119380659]]],
-["TOC",["perm","M22d2G1-p1232cB0.m",[-451118,119086511]]],
-["TOC",["perm","M22d2G1-p1344B0.m",[50143666,50480486]]],
-["TOC",["perm","M22d2G1-p154aB0.m",[69623701,65515351]]],
-["TOC",["perm","M22d2G1-p44B0.m",[36914313,-95425071]]],
-["TOC",["perm","M22d2G1-p462aB0.m",[52782232,91563798]]],
-["TOC",["perm","M22d2G1-p462bB0.m",[-82716034,-79869879]]],
-["TOC",["perm","M22d2G1-p462cB0.m",[-122625398,-19954799]]],
-["TOC",["perm","M22d2G1-p660B0.m",[-2506708,129910336]]],
-["TOC",["perm","M22d2G1-p924aB0.m",[-30077979,-78575053]]],
-["TOC",["perm","M24G1-p2576B0.m",[-16395616,-105848109]]],
-["TOC",["perm","M24G1-p30360B0.m",[-47552737,26512574]]],
-["TOC",["perm","M24G1-p3542B0.m",[39266682,-2471173]]],
-["TOC",["perm","M24G1-p4048B0.m",[55778792,-64603317]]],
-["TOC",["perm","M24G1-p7590B0.m",[78104393,60224616]]],
-["TOC",["perm","McLd2G1-p14256B0.m",[99658753,106055838]]],
-["TOC",["perm","McLd2G1-p15400aB0.m",[24463754,-15941481]]],
-["TOC",["perm","McLd2G1-p22275bB0.m",[124151707,113117442]]],
-["TOC",["perm","McLd2G1-p30800aB0.m",[120892629,-14857129]]],
-["TOC",["perm","McLd2G1-p30800bB0.m",[-111823216,106146817]]],
-["TOC",["perm","McLd2G1-p44550dB0.m",[124114,16489750]]],
-["TOC",["perm","McLd2G1-p550B0.m",[-89290102,-81077810]]],
-["TOC",["perm","ONG1-p122760bB0.m",[79864742,-34100627]]],
-["TOC",["perm","ONG1-p245520aB0.m",[132320046,-20441944]]],
-["TOC",["perm","ONG1-p245520bB0.m",[65273171,-20807766]]],
-["TOC",["perm","ONd2G1-p491040B0.m",[-32433309,-133390899]]],
-["TOC",["perm","RuG1-p417600B0.m",[-127184471,-70352456]]],
-["TOC",["perm","RuG1-p8120B0.m",[-14987211,81125779]]],
-["TOC",["perm","SuzG1-p45760B0.m",[106836174,61286357]]],
-["TOC",["perm","Suzd2G1-p135135B0.m",[78808655,-77993051]]],
-["TOC",["perm","Suzd2G1-p22880B0.m",[92990693,18752582]]],
-["TOC",["perm","Suzd2G1-p232960B0.m",[69487624,-13237279]]],
-["TOC",["perm","Suzd2G1-p270270B0.m",[12130227,63786446]]],
-["TOC",["perm","Suzd2G1-p32760B0.m",[-90580987,-75602993]]],
-["TOC",["perm","Suzd2G1-p3564B0.m",[122634148,-67582090]]],
-["TOC",["perm","Suzd2G1-p405405B0.m",[127547407,-120606588]]],
-["TOC",["perm","Suzd2G1-p45760aB0.m",[24686413,-12270114]]],
-["TOC",["perm","Suzd2G1-p45760bB0.m",[62704072,110126022]]],
-["TOC",["perm","Suzd2G1-p45760cB0.m",[-127409051,28277449]]],
-["TOC",["perm","Suzd2G1-p65520B0.m",[-113617717,-112104581]]],
-["TOC",["perm","Suzd2G1-p810810B0.m",[102437326,-99914146]]],
-["TOC",["perm","Suzd2G1-p91520B0.m",[-72477371,-3450249]]],
-["TOC",["perm","TF42G1-p1600bB0.m",[-15524360,-50314093]]],
-["TOC",["perm","TF42G1-p3200aB0.m",[14449743,124984523]]],
-["TOC",["perm","TF42G1-p3200bB0.m",[-39734476,-6853725]]],
-["TOC",["perm","TF42G1-p5850B0.m",[71469993,-132862384]]],
-["TOC",["perm","TF42d2G1-p2925B0.m",[-15333680,-126939562]]],
-["TOC",["perm","TF42d2G1-p3510aB0.m",[-99896083,49624324]]],
-["TOC",["perm","TF42d2G1-p3510bB0.m",[21905269,-30632371]]],
-["TOC",["perm","TF42d2G1-p5850aB0.m",[47642400,100804854]]],
-["TOC",["perm","TF42d2G1-p5850bB0.m",[-91955412,-118863764]]],
-["TOC",["perm","TF42d2G1-p7020aB0.m",[104047680,-132918616]]],
-["TOC",["perm","TF42d2G1-p7020bB0.m",[80906574,40078840]]],
-
-["API",["2Co1G1-p16773120B0",[1,12,"imprim","Co3 <
2xCo3"]]],
-["API",["2F22G1-p123552bB0",[1,6,"imprim","O8+(2):S3
< 2xO8+(3):S3"]]],
-["API",["2F22G1-p247104B0",[1,11,"imprim","O8+(2):3
< 2xO8+(2):S3"]]],
-["API",["2F22G1-p28160bB0",[1,5,"imprim","O7(3) <
2xO7(3)"]]],
-["API",["2F22G1-p370656aB0",[1,11,"imprim","O8+(2):2
< 2xO8+(2):S3"]]],
-["API",["2F22G1-p370656bB0",[1,11,"imprim","O8+(2):2
< 2xO8+(2):S3"]]],
-["API",["2F22d2G1-p247104aB0",[1,10,"imprim","O8+(2):S3
< 2.Fi22"]]],
-["API",["2F22d2G1-p247104bB0",[1,9,"imprim","O8+(2):3x2
< (2xO8+(2):S3).2"]]],
-["API",["2F22d2G1-p7185024aB0",[1,13,"imprim","2F4(2)'.2
< 2x2F4(2)'.2"]]],
-["API",["2F22d2G1-p7185024bB0",[1,13,"imprim","2F4(2)'.2
< 2x2F4(2)'.2"]]],
-["API",["2F22d2G1-p741312aB0",[1,20,"imprim","O8+(2):2
< 2.Fi22"]]],
-["API",["2F22d2iG1-p247104aB0",[1,10,"imprim","O8+(2):S3
< 2.Fi22"]]],
-["API",["2F22d2iG1-p247104bB0",[1,9,"imprim","O8+(2):S3
< (2xO8+(2):S3).2"]]],
-["API",["2F22d2iG1-p56320B0",[1,9,"imprim","O7(3) <
2.Fi22"]]],
-["API",["2F22d2iG1-p741312aB0",[1,20,"imprim","O8+(2):2
< 2.Fi22"]]],
-["API",["2F22d2iG1-p741312bB0",[1,19,"imprim","O8+(2):2
< (2xO8+(2):S3).2"]]],
-["API",["2HSG1-p11200bB0",[1,16,"imprim","M11 <
2xM11"]]],
-["API",["2HSG1-p704bB0",[1,6,"imprim","U3(5) <
Isoclinic(U3(5).2x2)"]]],
-["API",["2HSd2G1-p4400dB0",[1,10,"imprim","A8x2 <
A8.D8"]]],
-["API",["2HSd2G1-p4400eB0",[1,10,"imprim","A8.2 <
A8.D8"]]],
-["API",["2J2d2G1-p400B0",[1,10,"imprim","U3(3) <
2.J2"]]],
-["API",["2J2d2iG1-p1120B0",[1,12,"imprim","3.A6.2_3
< 3.A6.D8"]]],
-["API",["2J2d2iG1-p200aB0",[1,4,"imprim","U3(3).2 <
2xU3(3).2"]]],
-["API",["2J2d2iG1-p200bB0",[1,4,"imprim","U3(3).2 <
2xU3(3).2"]]],
-["API",["2M12G1-p24bB0",[1,3,"imprim","M11 <
2xM11"]]],
-["API",["2M12G1-p264aB0",[1,7,"imprim","A6.2_1 <
A6.D8"]]],
-["API",["2M12G1-p264cB0",[1,7,"imprim","A6.2_1 <
A6.D8"]]],
-["API",["2M12G1-p440aB0",[1,7,"imprim","3^2.2.S4 <
2x3^2.2.S4"]]],
-["API",["2M12G1-p440bB0",[1,9,"imprim","3^2.2.S4 <
2x3^2.2.S4"]]],
-["API",["2M12G1-p440cB0",[1,7,"imprim","3^2.2.S4 <
2x3^2.2.S4"]]],
-["API",["2M12G1-p440dB0",[1,9,"imprim","3^2.2.S4 <
2x3^2.2.S4"]]],
-["API",["2M12G1-p880aB0",[1,14,"imprim","3^2:2.A4 <
2x3^2.2.S4"]]],
-["API",["2M12G1-p880bB0",[1,14,"imprim","3^2:2.A4 <
2x3^2.2.S4"]]],
-["API",["2M12d2G1-p288aB0",[1,7,"imprim","L2(11).2
< 2xL2(11).2"]]],
-["API",["2M12d2G1-p288bB0",[1,7,"imprim","L2(11).2
< 2xL2(11).2"]]],
-["API",["2M12d2iG1-p48B0",[1,5,"imprim","M11 <
2.M12"]]],
-["API",["2M22G1-p352bB0",[1,5,"imprim","A7 <
2xA7"]]],
-["API",["2M22G1-p924aB0",[1,8,"imprim","2^4:A5 <
2^5:A6"]]],
-["API",["2M22d2G1-p1320B0",[1,14,"imprim","2^3:L3(2)
< 2x2^3:L3(2)x2"]]],
-["API",["2M22d2G1-p1344aB0",[1,10,"imprim","L2(11).2
< 2xL2(11).2"]]],
-["API",["2M22d2G1-p1344bB0",[1,10,"imprim","L2(11).2
< 2xL2(11).2"]]],
-["API",["2M22d2G1-p660aB0",[1,7,"imprim","2^3:L3(2)x2
< 2x2^3:L3(2)x2"]]],
-["API",["2M22d2G1-p660bB0",[1,7,"imprim","2^3:L3(2)x2
< 2x2^3:L3(2)x2"]]],
-["API",["2M22d2G1-p704B0",[1,10,"imprim","A7 <
2.M22"]]],
-["API",["2M22d2G1-p924aB0",[1,7,"imprim","2^4:S5 <
2^5:S6"]]],
-["API",["2M22d2G1-p924bB0",[1,7,"imprim","2^4:S5 <
2^5:S6"]]],
-["API",["2M22d2iG1-p1320B0",[1,14,"imprim","2^3:L3(2)
< 4x2^3:L3(2)"]]],
-["API",["2M22d2iG1-p704B0",[1,10,"imprim","A7 <
2.M22"]]],
-["API",["2Suzd2G1-p465920aB0",[1,14,"imprim","3^5:(M11x2)
< 2x3^5:(M11x2)"]]],
-["API",["2Suzd2G1-p465920bB0",[1,14,"imprim","3^5:(M11x2)
< 2x3^5:(M11x2)"]]],
-["API",["2Suzd2G1-p65520aB0",[1,8,"imprim","U5(2).2
< 2xU5(2).2"]]],
-["API",["2Suzd2G1-p65520bB0",[1,8,"imprim","U5(2).2
< 2xU5(2).2"]]],
-["API",["3F22G1-p10777536B0",[1,25,"imprim","2F4(2)'
< 3x2F4(2)'"]]],
-["API",["3F22G1-p2084940B0",[1,24,"imprim","2^6:S6(2)
< 3x2^6:S6(2)"]]],
-["API",["3F22G1-p370656aB0",[1,11,"imprim","O8+(2):3
< 3xO8+(2):S3"]]],
-["API",["3F22G1-p370656bB0",[1,17,"imprim","O8+(2):3
< 3xO8+(2):S3"]]],
-["API",["3F22G1-p555984B0",[1,17,"imprim","O8+(2):2
< 3xO8+(2):S3"]]],
-["API",["3F22d2G1-p10777536B0",[1,17,"imprim","2F4(2)'.2
< (3x2F4(2)').2"]]],
-["API",["3F22d2G1-p2084940B0",[1,17,"imprim","2^7:S6(2)
< (3x2^6:S6(2)).2"]]],
-["API",["3F22d2G1-p370656aB0",[1,12,"imprim","O8+(2):3x2
< S3xO8+(2):S3"]]],
-["API",["3F22d2G1-p370656bB0",[1,9,"imprim","O8+(2):S3
< S3xO8+(2):S3"]]],
-["API",["3F22d2G1-p370656cB0",[1,12,"imprim","O8+(2):S3
< S3xO8+(2):S3"]]],
-["API",["3F22d2G1-p555984B0",[1,12,"imprim","O8+(2):2x2
< S3xO8+(2):S3"]]],
-["API",["3M22G1-p1386aB0",[1,13,"imprim","2^4:A5 <
2^4:3A6"]]],
-["API",["3M22d2G1-p1386aB0",[1,9,"imprim","2^4:S5 <
2^4:3.S6"]]],
-["API",["3M22d2G1-p1386cB0",[1,10,"imprim","2^4:(A5x2)
< (3x2^4:S5):2"]]],
-["API",["3M22d2G1-p2016B0",[1,11,"imprim","L2(11).2
< (L2(11)x3).2"]]],
-["API",["3M22d2G1-p693B0",[1,7,"imprim","2^5:S5 <
(3x2^4:S5):2"]]],
-["API",["3M22d2G1-p990B0",[1,9,"imprim","2^3:L3(2)x2
< 2^3:L3(2)xS3"]]],
-["API",["3McLd2G1-p66825bB0",[1,10,"imprim","2.S8 <
(3x2.A8).2"]]],
-["API",["3ONG1-p368280bB0",[1,11,"imprim","L3(7).2
< 3xL3(7).2"]]],
-["API",["3ONG1-p736560aB0",[1,15,"imprim","L3(7) <
3xL3(7).2"]]],
-["API",["3ONG1-p736560bB0",[1,15,"imprim","L3(7) <
3xL3(7).2"]]],
-["API",["3SuzG1-p1216215B0",[1,27,"imprim","2^(4+6):3.A6
< 3x2^(4+6):3.A6"]]],
-["API",["3Suzd2G1-p1216215B0",[1,20,"imprim","2^(4+6):3S6
< 3x2^(4+6):3S6"]]],
-["API",["3Suzd2G1-p405405B0",[1,16,"imprim","2^(1+6)_-.U4(2).2
< (3x2^(1+6)_-.U4(2)).2"]]],
-["API",["3Suzd2G1-p98280B0",[1,10,"imprim","U5(2).2
< (3xU5(2)).2"]]],
-["API",["6F22G1-p1111968aB0",[1,25,"imprim","O8+(2):2
< 6xO8+(2):S3"]]],
-["API",["6F22G1-p1111968bB0",[1,25,"imprim","O8+(2):2
< 6xO8+(2):S3"]]],
-["API",["6F22G1-p370656aB0",[1,14,"imprim","O8+(2):S3
< 6xO8+(2):S3"]]],
-["API",["6F22G1-p370656bB0",[1,14,"imprim","O8+(2):S3
< 6xO8+(2):S3"]]],
-["API",["6F22G1-p741312aB0",[1,17,"imprim","O8+(2):3
< 6xO8+(2):S3"]]],
-["API",["6F22G1-p741312bB0",[1,25,"imprim","O8+(2):3
< 6xO8+(2):S3"]]],
-["API",["6F22d2G1-p21555072aB0",[1,22,"imprim","2F4(2)'.2
< (6x2F4(2)').2"]]],
-["API",["6F22d2G1-p21555072bB0",[1,22,"imprim","2F4(2)'.2
< (6x2F4(2)').2"]]],
-["API",["6F22d2G1-p741312aB0",[1,16,"imprim","O8+(2):3x2
< (6xO8+(2):S3):2"]]],
-["API",["6F22d2iG1-p741312aB0",[1,12,"imprim","O8+(2):S3
< (6xO8+(2):S3):2"]]],
-["API",["6F22d2iG1-p741312bB0",[1,12,"imprim","O8+(2):S3
< (6xO8+(2):S3):2"]]],
-["API",["6F22d2iG1-p741312cB0",[1,16,"imprim","O8+(2):S3
< (6xO8+(2):S3):2"]]],
-["API",["6M22G1-p2772aB0",[1,22,"imprim","2^4:A5 <
2^5:3A6"]]],
-["API",["6M22d2G1-p1980aB0",[1,12,"imprim","2^3:L3(2)x2
< 2^3:L3(2)x2xS3"]]],
-["API",["6M22d2G1-p1980bB0",[1,12,"imprim","2^3:L3(2)x2
< 2^3:L3(2)x2xS3"]]],
-["API",["6M22d2G1-p2772aB0",[1,14,"imprim","2^4:S5
< 2^5:3.S6"]]],
-["API",["6M22d2G1-p2772bB0",[1,14,"imprim","2^4:S5
< 2^5:3.S6"]]],
-["API",["6M22d2G1-p4032aB0",[1,20,"imprim","L2(11).2
< 2x(3xL2(11)).2"]]],
-["API",["6M22d2G1-p4032bB0",[1,20,"imprim","L2(11).2
< 2x(3xL2(11)).2"]]],
-["API",["6Suzd2G1-p196560aB0",[1,16,"imprim","U5(2).2
< (6xU5(2)).2"]]],
-["API",["6Suzd2G1-p196560bB0",[1,16,"imprim","U5(2).2
< (6xU5(2)).2"]]],
-["API",["Co1G1-p1545600B0",[1,5,"prim","3.Suz.2",2]]],
-["API",["Co1G1-p3091200B0",[1,8,"imprim","3.Suz <
3.Suz.2"]]],
-["API",["Co1G1-p46621575B0",[1,11,"prim","2^(1+8)_+.O8+(2)",5]]],
-["API",["Co1G1-p8292375B0",[1,6,"prim","2^11:M24",3]]],
-["API",["Co1G1-p8386560B0",[1,7,"prim","Co3",4]]],
-["API",["Co2G1-p1545600B0",[1,11,"imprim","U5(2).2
< U6(2).2"]]],
-["API",["Co2G1-p3091200B0",[1,20,"imprim","U5(2) <
U6(2).2"]]],
-["API",["Co2G1-p46575B0",[1,5,"prim","2^10:M22:2",2]]],
-["API",["Co2G1-p47104B0",[1,6,"prim","McL",3]]],
-["API",["Co2G1-p476928B0",[1,7,"prim","HS.2",5]]],
-["API",["Co2G1-p56925B0",[1,5,"prim","2^(1+8)_+:S6(2)",4]]],
-["API",["Co2G1-p93150B0",[1,8,"imprim","2^10:M22 <
2^10:M22:2"]]],
-["API",["Co2G1-p953856B0",[1,12,"imprim","HS <
HS.2"]]],
-["API",["Co3G1-p170775B0",[1,7,"prim","2.S6(2)",6]]],
-["API",["Co3G1-p257600B0",[1,12,"imprim","3^5:M11 <
3^5:(2xM11)"]]],
-["API",["F22G1-p123552B0",[1,7,"imprim","O8+(2):3 <
O8+(2):S3"]]],
-["API",["F22G1-p14080aB0",[1,3,"prim","O7(3)",2]]],
-["API",["F22G1-p185328B0",[1,7,"imprim","O8+(2):2 <
O8+(2):S3"]]],
-["API",["F22G1-p3592512B0",[1,11,"prim","2F4(2)'",9]]],
-["API",["F22d2G1-p123552aB0",[1,8,"imprim","O8+(2):S3
< Fi22"]]],
-["API",["F22d2G1-p123552bB0",[1,7,"imprim","O8+(2):3x2
< O8+(2):S3x2"]]],
-["API",["F22d2G1-p123552cB0",[1,7,"imprim","O8+(2):S3
< O8+(2):S3x2"]]],
-["API",["F22d2G1-p1389960B0",[1,20,"imprim","2^6:S6(2)
< Fi22"]]],
-["API",["F22d2G1-p142155B0",[1,8,"prim","2^10:M22.2",4]]],
-["API",["F22d2G1-p185328bB0",[1,7,"imprim","O8+(2):2x2
< O8+(2):S3x2"]]],
-["API",["F22d2G1-p247104B0",[1,14,"imprim","O8+(2):3
< O8+(2):S3x2"]]],
-["API",["F22d2G1-p28160B0",[1,6,"imprim","O7(3) <
Fi22"]]],
-["API",["F22d2G1-p284310B0",[1,16,"imprim","2^10:M22
< 2^10:M22.2"]]],
-["API",["F22d2G1-p3592512B0",[1,10,"prim","2F4(2)'.2",8]]],
-["API",["F22d2G1-p370656aB0",[1,14,"imprim","O8+(2):2
< Fi22"]]],
-["API",["F22d2G1-p370656bB0",[1,13,"imprim","O8+(2):2
< O8+(2):S3x2"]]],
-["API",["F22d2G1-p61776B0",[1,4,"prim","O8+(2):S3x2",3]]],
-["API",["F22d2G1-p694980B0",[1,10,"prim","2^7:S6(2)",5]]],
-["API",["F22d2G1-p7020B0",[1,6,"imprim","2.U6(2) <
2.U6(2).2"]]],
-["API",["F23G1-p412896B0",[1,5,"imprim","O8+(3).2_2
< O8+(3).3.2"]]],
-["API",["F23G1-p86316516B0",[1,13,"prim","S8(2)",4]]],
-["API",["F24d2G1-p613872B0",[1,6,"imprim","Fi23 <
Fi24'"]]],
-["API",["HNG1-p13680000B0",[1,19,"imprim","A11 <
A12"]]],
-["API",["HNG1-p1539000B0",[1,9,"prim","2.HS.2",2]]],
-["API",["HNG1-p16500000B0",[1,19,"prim","U3(8).3_1",3]]],
-["API",["HNd2G1-p1140000B0",[1,10,"prim","S12",2]]],
-["API",["HNd2G1-p13680000B0",[1,17,"imprim","S11 <
S12"]]],
-["API",["HNd2G1-p1539000B0",[1,9,"prim","4.HS.2",3]]],
-["API",["HNd2G1-p16500000B0",[1,15,"prim","U3(8).6",4]]],
-["API",["HNd2G1-p3078000aB0",[1,18,"imprim","2.HS.2
< HN"]]],
-["API",["HNd2G1-p3078000bB0",[1,13,"imprim","2.HS.2
< 4.HS.2"]]],
-["API",["HSG1-p176aB0",[2,2,"prim","U3(5).2",2]]],
-["API",["HSG1-p2200bB0",[1,9,"imprim","A8 <
S8"]]],
-["API",["HSG1-p352aB0",[1,4,"imprim","U3(5) <
U3(5).2"]]],
-["API",["HSG1-p352bB0",[1,4,"imprim","U3(5) <
U3(5).2"]]],
-["API",["HSG1-p5600bB0",[1,9,"prim","M11",9]]],
-["API",["HSG1-p5775B0",[1,9,"prim","4.2^4.S5",10]]],
-["API",["HSd2G1-p1100aB0",[1,5,"prim","L3(4):2^2",3]]],
-["API",["HSd2G1-p11200B0",[1,17,"imprim","M11 <
HS"]]],
-["API",["HSd2G1-p11550B0",[1,18,"imprim","4.2^4:S5
< 2^(1+6)_+:S5"]]],
-["API",["HSd2G1-p200B0",[1,6,"imprim","M22 <
HS"]]],
-["API",["HSd2G1-p2200aB0",[1,10,"imprim","L3(4).2_1
< L3(4).2^2"]]],
-["API",["HSd2G1-p2200cB0",[1,9,"imprim","L3(4).2_3
< L3(4).2^2"]]],
-["API",["HSd2G1-p2200dB0",[1,8,"imprim","A8.2 <
A8.2x2"]]],
-["API",["HSd2G1-p2200eB0",[1,10,"imprim","A8.2 <
HS"]]],
-["API",["HSd2G1-p2200fB0",[1,8,"imprim","A8x2 <
A_8.2x2"]]],
-["API",["HSd2G1-p22176B0",[1,15,"prim","5^(1+2)_+:[2^5]",9]]],
-["API",["HSd2G1-p4125B0",[1,9,"prim","4^3:(L3(2)x2)",6]]],
-["API",["HSd2G1-p5775B0",[1,9,"prim","2^(1+6)_+:S5",7]]],
-["API",["HSd2G1-p704B0",[1,7,"imprim","U3(5) <
U3(5).2"]]],
-["API",["HSd2G1-p8250B0",[1,18,"imprim","4^3:L3(2)
< 4^3:(L3(2)x2)"]]],
-["API",["HeG1-p16660B0",[1,10,"imprim","2^2.L3(4).3
< 2^2.L3(4).S3"]]],
-["API",["HeG1-p4116B0",[1,7,"imprim","S4(4) <
S4(4).2"]]],
-["API",["Hed2G1-p16660aB0",[1,8,"imprim","2^2.L3(4).S3
< 2^2.L3(4).D12"]]],
-["API",["Hed2G1-p16660bB0",[1,8,"imprim","2^2.L3(4).6
< 2^2.L3(4).D12"]]],
-["API",["J2d2G1-p1008B0",[1,8,"prim","(A5xD10).2",7]]],
-["API",["J2d2G1-p1050aB0",[1,12,"imprim","2^(2+4):(3xS3)
< 2^(2+4):(S3xS3)"]]],
-["API",["J2d2G1-p1050bB0",[1,9,"imprim","2^(2+4):(S3x3)
< 2^(2+4):(S3xS3)"]]],
-["API",["J2d2G1-p1680B0",[1,14,"imprim","A4xA5 <
(A4xA5).2"]]],
-["API",["J2d2G1-p1890B0",[1,12,"imprim","2^(1+4):5:4
< 2^(1+4).S5"]]],
-["API",["J2d2G1-p200B0",[1,6,"imprim","U3(3) <
U3(3).2"]]],
-["API",["J2d2G1-p2016aB0",[1,12,"prim","5^2:(4xS3)",9]]],
-["API",["J2d2G1-p280B0",[1,4,"prim","3.A6.2^2",3]]],
-["API",["J2d2G1-p315B0",[1,5,"prim","2^(1+4).S5",4]]],
-["API",["J2d2G1-p525B0",[1,6,"prim","2^(2+4):(S3xS3)",5]]],
-["API",["J2d2G1-p560bB0",[1,8,"imprim","3.A6.2_2 <
3.A6.2^2"]]],
-["API",["J2d2G1-p560cB0",[1,7,"imprim","3.A6.2_3 <
3.A6.2^2"]]],
-["API",["J2d2G1-p840B0",[1,7,"prim","(A4xA5):2",6]]],
-["API",["J3d2G1-p25840B0",[1,15,"prim","3^2.3^(1+2):8.2",6]]],
-["API",["LyG1-p19212250B0",[1,8,"imprim","3.McL <
3.McL.2"]]],
-["API",["LyG1-p8835156B0",[1,5,"prim","G2(5)",1]]],
-["API",["LyG1-p9606125B0",[1,5,"prim","3.McL.2",2]]],
-["API",["M11G1-p110B0",[1,4,"imprim","3^2:8 <
3^2:Q8.2"]]],
-["API",["M11G1-p144B0",[1,6,"imprim","11:5 <
L2(11)"]]],
-["API",["M11G1-p22B0",[1,3,"imprim","A6 <
A6.2_3"]]],
-["API",["M12G1-p132aB0",[1,5,"imprim","A6.2_1 <
A6.2^2"]]],
-["API",["M12G1-p132bB0",[1,4,"imprim","A6.2_2 <
A6.2^2"]]],
-["API",["M12G1-p132dB0",[1,5,"imprim","A6.2_1 <
A6.2^2"]]],
-["API",["M12G1-p132eB0",[1,4,"imprim","A6.2_2 <
A6.2^2"]]],
-["API",["M12G1-p144aB0",[1,5,"prim","L2(11)",5]]],
-["API",["M12G1-p144bB0",[1,5,"imprim","L2(11) <
M11"]]],
-["API",["M12G1-p220aB0",[1,5,"prim","3^2.2.S4",6]]],
-["API",["M12G1-p220bB0",[1,5,"prim","3^2.2.S4",7]]],
-["API",["M12G1-p440aB0",[1,8,"imprim","3^2:2A4 <
3^2.2.S4"]]],
-["API",["M12G1-p440bB0",[1,8,"imprim","3^2:2A4 <
3^2.2.S4"]]],
-["API",["M12d2G1-p132B0",[1,5,"imprim","A6.2^2 <
M12"]]],
-["API",["M12d2G1-p144aB0",[1,4,"prim","L2(11).2",2]]],
-["API",["M12d2G1-p144bB0",[1,4,"prim","L2(11).2",3]]],
-["API",["M12d2G1-p264bB0",[1,7,"imprim","A6.2_2 <
A6.2^2"]]],
-["API",["M12d2G1-p396B0",[1,7,"prim","(2^2xA5):2",4]]],
-["API",["M12d2G1-p440B0",[1,9,"imprim","3^2.2.S4 <
M12"]]],
-["API",["M12d2G1-p495aB0",[1,8,"prim","D8.(S4x2)",5]]],
-["API",["M12d2G1-p495bB0",[1,8,"prim","4^2:D12.2",6]]],
-["API",["M12d2G1-p792bB0",[1,11,"imprim","(2xA5).2
< (2^2xA5):2"]]],
-["API",["M12d2G1-p880B0",[1,14,"imprim","3^2:2.A4 <
3^2.2.S4"]]],
-["API",["M12d2G1-p990bB0",[1,13,"imprim","M8.(A4x2)
< D8.(S4x2)"]]],
-["API",["M12d2G1-p990eB0",[1,13,"imprim","4^2:(6x2)
< 4^2:D12.2"]]],
-["API",["M22d2G1-p1232bB0",[1,10,"imprim","A6.2_2 <
A6.2^2"]]],
-["API",["M22d2G1-p1232cB0",[1,10,"imprim","A6.2_3 <
A6.2^2"]]],
-["API",["M22d2G1-p1344B0",[1,12,"imprim","L2(11) <
L2(11).2"]]],
-["API",["M22d2G1-p154aB0",[1,6,"imprim","2^4:A6 <
2^4:S6"]]],
-["API",["M22d2G1-p44B0",[1,4,"imprim","L3(4) <
L3(4).2_2"]]],
-["API",["M22d2G1-p462aB0",[1,5,"imprim","2^4:S5 <
2^4:S6"]]],
-["API",["M22d2G1-p462bB0",[1,8,"imprim","2^4:S5 <
2^5:S5"]]],
-["API",["M22d2G1-p462cB0",[1,6,"imprim","2^4:(A5x2)
< 2^5:S5"]]],
-["API",["M22d2G1-p660B0",[1,10,"imprim","2^3:L3(2)
< 2x2^3:L3(2)"]]],
-["API",["M22d2G1-p924aB0",[1,10,"imprim","2^4:A5 <
2^4:S6"]]],
-["API",["M24G1-p2576B0",[1,5,"imprim","M12 <
M12.2"]]],
-["API",["M24G1-p30360B0",[1,11,"imprim","2^6:(7:3xS3)
< 2^6:(L3(2)xS3)"]]],
-["API",["M24G1-p3542B0",[1,5,"imprim","2^6:3.A6 <
2^6:3.S6"]]],
-["API",["M24G1-p4048B0",[1,7,"imprim","L3(4).3 <
L3(4).3.2_2"]]],
-["API",["M24G1-p7590B0",[1,8,"imprim","2^6:(L3(2)x3)
< 2^6:(L3(2)xS3)"]]],
-["API",["McLd2G1-p14256B0",[1,10,"imprim","U3(5) <
U3(5).2"]]],
-["API",["McLd2G1-p15400aB0",[1,5,"prim","3^(1+4):4S5",4]]],
-["API",["McLd2G1-p22275bB0",[1,6,"prim","2.S8",7]]],
-["API",["McLd2G1-p30800aB0",[1,10,"imprim","3^(1+4):2S5
< 3^(1+4):4S5"]]],
-["API",["McLd2G1-p30800bB0",[1,8,"imprim","3^(1+4):2S5
< 3^(1+4):4S5"]]],
-["API",["McLd2G1-p44550dB0",[1,12,"imprim","2.A8 <
2.S8"]]],
-["API",["McLd2G1-p550B0",[1,6,"imprim","U4(3) <
U4(3).2_3"]]],
-["API",["ONG1-p122760bB0",[1,5,"prim","L3(7).2",2]]],
-["API",["ONG1-p245520aB0",[1,7,"imprim","L3(7) <
L3(7).2"]]],
-["API",["ONG1-p245520bB0",[1,7,"imprim","L3(7) <
L3(7).2"]]],
-["API",["ONd2G1-p491040B0",[1,13,"imprim","L3(7) <
ON"]]],
-["API",["RuG1-p417600B0",[1,10,"prim","(2^2xSz(8)):3",3]]],
-["API",["RuG1-p8120B0",[1,5,"imprim","2F4(2)' <
2F4(2)'.2"]]],
-["API",["SuzG1-p45760B0",[1,8,"imprim","3_2.U4(3) <
3_2.U4(3).2_3'"]]],
-["API",["Suzd2G1-p135135B0",[1,9,"prim","2^(1+6)_-.U4(2).2",5]]],
-["API",["Suzd2G1-p22880B0",[1,5,"prim","3_2.U4(3).2^2",3]]],
-["API",["Suzd2G1-p232960B0",[1,10,"prim","3^5:(M11x2)",6]]],
-["API",["Suzd2G1-p270270B0",[1,18,"imprim","2^(1+6)_-.U4(2)
< 2^(1+6)_-.U4(2).2"]]],
-["API",["Suzd2G1-p32760B0",[1,6,"prim","U5(2).2",4]]],
-["API",["Suzd2G1-p3564B0",[1,6,"imprim","G2(4) <
G2(4).2"]]],
-["API",["Suzd2G1-p405405B0",[1,13,"prim","2^(4+6):3S6",8]]],
-["API",["Suzd2G1-p45760aB0",[1,10,"imprim","3_2.U4(3).2_3'
< 3_2.U4(3).2^2"]]],
-["API",["Suzd2G1-p45760bB0",[1,8,"imprim","3_2.U4(3).2_3
< 3_2.U4(3).2^2"]]],
-["API",["Suzd2G1-p45760cB0",[1,8,"imprim","3_2.U4(3).2_1
< 3_2.U4(3).2^2"]]],
-["API",["Suzd2G1-p65520B0",[1,12,"imprim","U5(2) <
U5(2).2"]]],
-["API",["Suzd2G1-p810810B0",[1,26,"imprim","2^(4+6):3A6
< 2^(4+6):3S6"]]],
-["API",["Suzd2G1-p91520B0",[1,16,"imprim","3_2.U4(3)
< 3_2.U4(3).2^2"]]],
-["API",["TF42G1-p1600bB0",[1,4,"prim","L3(3).2",2]]],
-["API",["TF42G1-p3200aB0",[1,6,"imprim","L3(3) <
L3(3).2"]]],
-["API",["TF42G1-p3200bB0",[1,6,"imprim","L3(3) <
L3(3).2"]]],
-["API",["TF42G1-p5850B0",[1,9,"imprim","2^2.[2^8].3
< 2^2.[2^8]:S3"]]],
-["API",["TF42d2G1-p2925B0",[1,5,"prim","2^2.[2^9]:S3",4]]],
-["API",["TF42d2G1-p3510aB0",[1,10,"imprim","2.[2^8]:5:4
< 2F4(2)'"]]],
-["API",["TF42d2G1-p3510bB0",[1,7,"imprim","2.[2^9]:5:2
< 2.[2^9]:5:4"]]],
-["API",["TF42d2G1-p5850aB0",[1,7,"imprim","2^2.[2^9]:3
< 2^2.[2^9]:S3"]]],
-["API",["TF42d2G1-p5850bB0",[1,7,"imprim","2^2.[2^9]:3
< 2^2.[2^9]:S3"]]],
-["API",["TF42d2G1-p7020aB0",[1,11,"imprim","2.[2^9]:5
< 2.[2^9]:5:4"]]],
-["API",["TF42d2G1-p7020bB0",[1,11,"imprim","2.[2^9]:5
< 2.[2^9]:5:4"]]],
-
-["CHAR",["2.Co1","2Co1G1-p16773120B0",0,[1,3,6,10,14,26,32,102,104,107,114,118],"1a+24a+299a+2576a+17250a+80730a+95680a+376740a+1841840a+2417415a+5494125a+6446440a"]],
-["CHAR",["2.Fi22","2F22G1-p123552bB0",0,[1,7,9,13,74,77],"1a+3080a+13650a+13728b+45045a+48048c"]],
-["CHAR",["2.Fi22","2F22G1-p247104B0",0,[1,4,7,8,9,13,15,73,74,76,77],"1a+1001a+3080a+10725a+13650a+13728ab+45045a+48048bc+50050a"]],
-["CHAR",["2.Fi22","2F22G1-p28160bB0",0,[1,3,9,66,74],"1a+352a+429a+13650a+13728b"]],
-["CHAR",["2.Fi22","2F22G1-p370656aB0",0,[1,3,7,9,13,14,17,66,73,76,80],"1a+352a+429a+3080a+13650a+13728a+45045a+48048ab+75075a+123200a"]],
-["CHAR",["2.Fi22","2F22G1-p370656bB0",0,[1,3,7,9,13,14,17,66,74,77,80],"1a+352a+429a+3080a+13650a+13728b+45045a+48048ac+75075a+123200a"]],
-["CHAR",["2.Fi22.2","2F22d2G1-p247104aB0",0,[1,2,13,14,17,18,25,26,118,121]]],
-["CHAR",["2.Fi22.2","2F22d2G1-p247104bB0",0,[1,8,13,15,17,25,29,118,121]]],
-["CHAR",["2.Fi22.2","2F22d2G1-p7185024aB0",0,[1,7,9,17,19,49,58,68,75,88,128,129,146]]],
-["CHAR",["2.Fi22.2","2F22d2G1-p7185024bB0",0,[1,7,9,17,19,49,58,68,75,88,128,129,146]]],
-["CHAR",["2.Fi22.2","2F22d2G1-p741312aB0",0,[1,2,5,6,13,14,17,18,25,26,27,28,33,34,113,114,118,121,126,127]]],
-["CHAR",["2.HS","2HSG1-p11200bB0",0,[1,2,3,6,7,10,13,16,22,25,26,27,28,29,37,38],"1a+22a+56a+77a+154c+175a+176ab+616ab+770a+825a+1056a+1980ab+2520a"]],
-["CHAR",["2.HS","2HSG1-p704bB0",0,[1,2,6,7,26,27],"1a+22a+154c+175a+176ab"]],
-["CHAR",["2.HS.2","2HSd2G1-p4400dB0",0,[1,3,5,7,9,10,14,16,42,44]]],
-["CHAR",["2.HS.2","2HSd2G1-p4400eB0",0,[1,4,5,7,9,10,14,17,42,44]]],
-["CHAR",["2.J2.2","2J2d2G1-p400B0",0,[1,2,5,6,7,8,[31,2]]]],
-["CHAR",["2.M12","2M12G1-p24bB0",0,[1,3,18],"1a+11b+12a"]],
-["CHAR",["2.M12","2M12G1-p264aB0",0,[1,2,3,7,8,18,24],"1a+11ab+12a+54a+55a+120b"]],
-["CHAR",["2.M12","2M12G1-p264cB0",0,[1,2,3,7,8,18,24],"1a+11ab+12a+54a+55a+120b"]],
-["CHAR",["2.M12","2M12G1-p440aB0",0,[1,2,7,8,12,22,23],"1a+11a+54a+55a+99a+110ab"]],
-["CHAR",["2.M12","2M12G1-p440bB0",0,[1,2,7,8,12,18,20,21,24],"1a+11a+12a+44ab+54a+55a+99a+120b"]],
-["CHAR",["2.M12","2M12G1-p440cB0",0,[1,3,7,8,12,22,23],"1a+11b+54a+55a+99a+110ab"]],
-["CHAR",["2.M12","2M12G1-p440dB0",0,[1,3,7,8,12,18,20,21,24],"1a+11b+12a+44ab+54a+55a+99a+120b"]],
-["CHAR",["2.M12","2M12G1-p880aB0",0,[1,2,6,7,8,10,12,13,18,20,21,22,23,24],"1a+11a+12a+44ab+45a+54a+55ac+99a+110ab+120ab"]],
-["CHAR",["2.M12","2M12G1-p880bB0",0,[1,3,6,7,8,9,12,13,18,20,21,22,23,24],"1a+11b+12a+44ab+45a+54a+55ab+99a+110ab+120ab"]],
-["CHAR",["2.M12.2","2M12d2G1-p288aB0",0,[1,3,9,12,26,27,33]]],
-["CHAR",["2.M12.2","2M12d2G1-p288bB0",0,[1,3,9,12,26,27,32]]],
-["CHAR",["2.M22","2M22G1-p352bB0",0,[1,2,7,15,16],"1a+21a+56a+120a+154a"]],
-["CHAR",["2.M22","2M22G1-p924aB0",0,[1,2,5,7,9,17,18,21],"1a+21a+55a+126ab+154a+210b+231a"]],
-["CHAR",["2.M22.2","2M22d2G1-p1320B0",0,[1,2,3,4,9,10,11,12,13,14,28,29,32,33]]],
-["CHAR",["2.M22.2","2M22d2G1-p1344aB0",0,[1,4,9,13,16,18,26,27,29,36]]],
-["CHAR",["2.M22.2","2M22d2G1-p1344bB0",0,[1,4,9,13,16,18,26,27,28,37]]],
-["CHAR",["2.M22.2","2M22d2G1-p660aB0",0,[1,3,9,11,13,29,33]]],
-["CHAR",["2.M22.2","2M22d2G1-p660bB0",0,[1,3,9,11,13,28,32]]],
-["CHAR",["2.M22.2","2M22d2G1-p704B0",0,[1,2,3,4,13,14,26,27,28,29]]],
-["CHAR",["2.M22.2","2M22d2G1-p924aB0",0,[1,3,9,13,18,30,33]]],
-["CHAR",["2.M22.2","2M22d2G1-p924bB0",0,[1,3,9,13,18,30,32]]],
-["CHAR",["2.Suz.2","2Suzd2G1-p465920aB0",0,[1,5,6,14,19,21,22,23,33,48,71,75,89,90]]],
-["CHAR",["2.Suz.2","2Suzd2G1-p465920bB0",0,[1,5,6,14,19,21,22,23,33,48,71,75,89,90]]],
-["CHAR",["2.Suz.2","2Suzd2G1-p65520aB0",0,[1,4,5,14,19,21,71,75]]],
-["CHAR",["2.Suz.2","2Suzd2G1-p65520bB0",0,[1,4,5,14,19,21,71,75]]],
-["CHAR",["2F4(2)'","TF42G1-p1600bB0",0,[1,9,12,13],"1a+351a+624ab"]],
-["CHAR",["2F4(2)'","TF42G1-p3200aB0",0,[1,7,9,12,13,18],"1a+300a+351a+624ab+1300a"]],
-["CHAR",["2F4(2)'","TF42G1-p3200bB0",0,[1,7,9,12,13,19],"1a+300a+351a+624ab+1300b"]],
-["CHAR",["2F4(2)'","TF42G1-p5850B0",0,[1,8,9,12,13,14,15,18,19],"1a+325a+351a+624ab+650a+675a+1300ab"]],
-["CHAR",["2F4(2)'.2","TF42d2G1-p2925B0",0,[1,14,20,21,23]]],
-["CHAR",["2F4(2)'.2","TF42d2G1-p3510aB0",0,[1,2,8,9,14,15,21,22,23,24]]],
-["CHAR",["2F4(2)'.2","TF42d2G1-p3510bB0",0,[1,8,14,15,21,23,25]]],
-["CHAR",["2F4(2)'.2","TF42d2G1-p5850aB0",0,[1,12,14,20,21,23,26]]],
-["CHAR",["2F4(2)'.2","TF42d2G1-p5850bB0",0,[1,13,14,20,21,23,26]]],
-["CHAR",["2F4(2)'.2","TF42d2G1-p7020aB0",0,[1,4,6,8,14,15,21,23,25,27,28]]],
-["CHAR",["2F4(2)'.2","TF42d2G1-p7020bB0",0,[1,5,7,8,14,15,21,23,25,27,28]]],
-["CHAR",["3.Fi22","3F22G1-p10777536B0",0,[1,4,5,9,10,26,31,32,39,45,53,74,75,78,79,82,83,104,105,106,107,140,141,142,143],"1a+1001a+1430a+13650a+19305ab+27027ab+30030a+51975ab+289575a+386100ab+400400ab+405405ab+579150a+675675a+1201200a+1351350efgh"]],
-["CHAR",["3.Fi22","3F22G1-p2084940B0",0,[1,3,5,7,9,10,13,17,25,28,66,67,74,75,78,79,80,81,88,89,90,91,104,105],"1a+351ab+429a+1430a+3080a+13650a+19305ab+27027ab+30030a+42120ab+45045a+75075a+96525ab+123552ab+205920a+320320a+386100ab"]],
-["CHAR",["3.Fi22","3F22G1-p370656aB0",0,[1,4,7,8,9,13,15,78,79,88,89],"1a+1001a+3080a+10725a+13650a+27027ab+45045a+50050a+96525ab"]],
-["CHAR",["3.Fi22","3F22G1-p370656bB0",0,[1,4,7,8,9,13,15,66,67,68,69,74,75,80,81,84,85],"1a+351ab+1001a+3080a+7722ab+10725a+13650a+19305ab+42120ab+45045a+50050a+54054ab"]],
-["CHAR",["3.Fi22","3F22G1-p555984B0",0,[1,3,7,9,13,14,17,66,67,74,75,78,79,80,81,88,89],"1a+351ab+429a+3080a+13650a+19305ab+27027ab+42120ab+45045a+48048a+75075a+96525ab"]],
-["CHAR",["3.Fi22.2","3F22d2G1-p10777536B0",0,[1,7,9,17,19,49,58,68,75,88,117,119,121,132,133,150,151]]],
-["CHAR",["3.Fi22.2","3F22d2G1-p2084940B0",0,[1,5,9,13,17,19,25,33,46,52,113,117,119,120,124,125,132]]],
-["CHAR",["3.Fi22.2","3F22d2G1-p370656aB0",0,[1,8,13,15,17,25,29,113,114,117,120,122]]],
-["CHAR",["3.Fi22.2","3F22d2G1-p370656bB0",0,[1,7,13,16,17,25,30,119,124]]],
-["CHAR",["3.Fi22.2","3F22d2G1-p370656cB0",0,[1,7,13,16,17,25,30,113,114,117,120,122]]],
-["CHAR",["3.Fi22.2","3F22d2G1-p555984B0",0,[1,5,13,17,25,27,33,113,117,119,120,124]]],
-["CHAR",["3.M22","3M22G1-p1386aB0",0,[1,2,5,7,9,13,14,21,22,23,24,27,28],"1a+21abc+55a+105abcd+154a+231abc"]],
-["CHAR",["3.M22.2","3M22d2G1-p1386aB0",0,[1,3,9,13,18,22,26,27,29]]],
-["CHAR",["3.M22.2","3M22d2G1-p1386cB0",0,[1,3,4,9,13,16,22,26,27,29]]],
-["CHAR",["3.M22.2","3M22d2G1-p2016B0",0,[1,4,9,13,16,18,22,26,27,28,29]]],
-["CHAR",["3.M22.2","3M22d2G1-p693B0",0,[1,3,9,13,22,26,27]]],
-["CHAR",["3.M22.2","3M22d2G1-p990B0",0,[1,3,9,11,13,22,25,26,27]]],
-["CHAR",["3.McL.2","3McLd2G1-p66825bB0",0,[1,7,14,24,26,30,42,44,45,50]]],
-["CHAR",["3.ON","3ONG1-p368280bB0",0,[1,2,7,9,11,35,36,51,52,53,54],"1a+495ab+10944a+26752a+32395b+52668a+58653bc+63612ab"]],
-["CHAR",["3.ON","3ONG1-p736560aB0",0,[1,2,7,8,10,11,18,37,38,51,52,53,54,59,60],"1a+495cd+10944a+26752a+32395a+37696a+52668a+58653bc+63612ab+85064a+122760ab"]],
-["CHAR",["3.ON","3ONG1-p736560bB0",0,[1,2,7,9,10,11,18,35,36,51,52,53,54,59,60],"1a+495ab+10944a+26752a+32395b+37696a+52668a+58653bc+63612ab+85064a+122760ab"]],
-["CHAR",["3.Suz","3SuzG1-p1216215B0",0,[1,3,4,5,9,11,12,15,17,27,28,30,33,50,51,62,63,78,79,82,83,94,95,96,97,104,105],"1a+364a+780a+1001a+1365ab+4290ab+5940a+12012a+14300a+15795a+25025a+27027ab+42900ab+66560a+75075a+85800ab+88452a+100100a+104247ab+139776ab"]],
-["CHAR",["3.Suz.2","3Suzd2G1-p1216215B0",0,[1,5,7,9,14,19,21,23,27,38,40,44,47,72,78,86,88,94,95,99]]],
-["CHAR",["3.Suz.2","3Suzd2G1-p405405B0",0,[1,4,7,11,14,21,26,27,38,69,71,73,81,82,88,91]]],
-["CHAR",["3.Suz.2","3Suzd2G1-p98280B0",0,[1,4,5,14,19,21,70,72,78,86]]],
-["CHAR",["6.Fi22","6F22G1-p1111968aB0",0,[1,3,7,9,13,14,17,66,73,76,80,115,116,123,124,127,128,129,130,137,138,219,220,231,232],"1a+351ab+352a+429a+3080a+13650a+13728a+19305ab+27027ab+42120ab+45045a+48048ab+61776ab+75075a+96525ab+123200a+123552cd"]],
-["CHAR",["6.Fi22","6F22G1-p1111968bB0",0,[1,3,7,9,13,14,17,66,74,77,80,115,116,123,124,127,128,129,130,137,138,221,222,231,232],"1a+351ab+352a+429a+3080a+13650a+13728b+19305ab+27027ab+42120ab+45045a+48048ac+61776cd+75075a+96525ab+123200a+123552cd"]],
-["CHAR",["6.Fi22","6F22G1-p370656aB0",0,[1,7,9,13,73,76,115,116,123,124,129,130,219,220],"1a+351ab+3080a+13650a+13728a+19305ab+42120ab+45045a+48048b+61776ab"]],
-["CHAR",["6.Fi22","6F22G1-p370656bB0",0,[1,7,9,13,74,77,115,116,123,124,129,130,221,222],"1a+351ab+3080a+13650a+13728b+19305ab+42120ab+45045a+48048c+61776cd"]],
-["CHAR",["6.Fi22","6F22G1-p741312aB0",0,[1,4,7,8,9,13,15,73,74,76,77,127,128,137,138,231,232],"1a+1001a+3080a+10725a+13650a+13728ab+27027ab+45045a+48048bc+50050a+96525ab+123552cd"]],
-["CHAR",["6.Fi22","6F22G1-p741312bB0",0,[1,4,7,8,9,13,15,73,74,76,77,115,116,117,118,123,124,129,130,133,134,219,220,221,222],"1a+351ab+1001a+3080a+7722ab+10725a+13650a+13728ab+19305ab+42120ab+45045a+48048bc+50050a+54054ab+61776abcd"]],
-["CHAR",["6.Fi22.2","6F22d2G1-p21555072aB0",0,[1,7,9,17,19,49,58,68,75,88,128,129,146,155,157,159,170,171,188,189,228,229]]],
-["CHAR",["6.Fi22.2","6F22d2G1-p21555072bB0",0,[1,7,9,17,19,49,58,68,75,88,128,129,146,155,157,159,170,171,188,189,228,229]]],
-["CHAR",["6.Fi22.2","6F22d2G1-p741312aB0",0,[1,8,13,15,17,25,29,118,121,151,152,155,158,160,203,204]]],
-["CHAR",["6.M22","6M22G1-p2772aB0",0,[1,2,5,7,9,17,18,21,24,25,32,33,34,35,38,39,52,53,54,55,56,57],"1a+21abc+55a+105abcd+126abcdef+154a+210bef+231abc"]],
-["CHAR",["6.M22.2","6M22d2G1-p1980aB0",0,[1,3,9,11,13,29,33,38,41,42,43,57]]],
-["CHAR",["6.M22.2","6M22d2G1-p1980bB0",0,[1,3,9,11,13,28,32,38,41,42,43,57]]],
-["CHAR",["6.M22.2","6M22d2G1-p2772aB0",0,[1,3,9,13,18,30,33,38,42,43,45,52,53,54]]],
-["CHAR",["6.M22.2","6M22d2G1-p2772bB0",0,[1,3,9,13,18,30,32,38,42,43,45,52,53,54]]],
-["CHAR",["6.M22.2","6M22d2G1-p4032aB0",0,[1,4,9,13,16,18,26,27,29,36,38,42,43,44,45,49,50,51,55,56]]],
-["CHAR",["6.M22.2","6M22d2G1-p4032bB0",0,[1,4,9,13,16,18,26,27,28,37,38,42,43,44,45,49,50,51,55,56]]],
-["CHAR",["6.Suz.2","6Suzd2G1-p196560aB0",0,[1,4,5,14,19,21,71,75,109,111,117,125,146,148,149,158]]],
-["CHAR",["6.Suz.2","6Suzd2G1-p196560bB0",0,[1,4,5,14,19,21,71,75,109,111,117,125,146,148,149,158]]],
-["CHAR",["Co1","Co1G1-p1545600B0",0,[1,4,7,16,20],"1a+1771a+27300a+644644a+871884a"]],
-["CHAR",["Co1","Co1G1-p3091200B0",0,[1,2,4,7,11,16,20,22],"1a+276a+1771a+27300a+94875a+644644a+871884a+1450449a"]],
-["CHAR",["Co1","Co1G1-p46621575B0",0,[1,3,6,7,10,12,16,29,32,37,46],"1a+299a+17250a+27300a+80730a+313950a+644644a+2816856a+5494125a+12432420a+24794000a"]],
-["CHAR",["Co1","Co1G1-p8292375B0",0,[1,6,10,16,25,32],"1a+17250a+80730a+644644a+2055625a+5494125a"]],
-["CHAR",["Co1","Co1G1-p8386560B0",0,[1,3,6,10,14,26,32],"1a+299a+17250a+80730a+376740a+2417415a+5494125a"]],
-["CHAR",["Co2","Co2G1-p1545600B0",0,[1,4,5,6,8,15,17,28,36,39,44],"1a+275a+1771a+2024a+4025a+23000a+31625b+212520a+312984a+398475b+558900a"]],
-["CHAR",["Co2","Co2G1-p3091200B0",0,[1,2,3,4,5,6,7,8,15,16,17,19,21,28,35,36,39,42,44,48],"1a+23a+253a+275a+1771a+2024a+2277a+4025a+23000a+31625ab+37422a+63250a+212520a+284625a+312984a+398475b+462000a+558900a+664125c"]],
-["CHAR",["Co2","Co2G1-p46575B0",0,[1,4,6,14,17],"1a+275a+2024a+12650a+31625b"]],
-["CHAR",["Co2","Co2G1-p47104B0",0,[1,2,4,7,14,18],"1a+23a+275a+2277a+12650a+31878a"]],
-["CHAR",["Co2","Co2G1-p476928B0",0,[1,4,6,14,17,27,33],"1a+275a+2024a+12650a+31625b+184437a+245916a"]],
-["CHAR",["Co2","Co2G1-p56925B0",0,[1,4,6,15,17],"1a+275a+2024a+23000a+31625b"]],
-["CHAR",["Co2","Co2G1-p93150B0",0,[1,2,4,6,7,14,17,20],"1a+23a+275a+2024a+2277a+12650a+31625b+44275a"]],
-["CHAR",["Co2","Co2G1-p953856B0",0,[1,2,4,6,7,14,17,18,20,27,33,38],"1a+23a+275a+2024a+2277a+12650a+31625b+31878a+44275a+184437a+245916a+398475a"]],
-["CHAR",["Co3","Co3G1-p170775B0",0,[1,5,14,15,20,27,29],"1a+275a+7084a+8855a+23000a+57960a+73600a"]],
-["CHAR",["Co3","Co3G1-p257600B0",0,[1,2,4,5,9,13,15,20,22,24,28,31],"1a+23a+253b+275a+2024a+5544a+8855a+23000a+31625ac+63250a+91125a"]],
-["CHAR",["F3+.2","F24d2G1-p613872B0",0,[1,2,5,6,7,8]]],
-["CHAR",["Fi22","F22G1-p123552B0",0,[1,4,7,8,9,13,15],"1a+1001a+3080a+10725a+13650a+45045a+50050a"]],
-["CHAR",["Fi22","F22G1-p14080aB0",0,[1,3,9],"1a+429a+13650a"]],
-["CHAR",["Fi22","F22G1-p185328B0",0,[1,3,7,9,13,14,17],"1a+429a+3080a+13650a+45045a+48048a+75075a"]],
-["CHAR",["Fi22","F22G1-p3592512B0",0,[1,4,5,9,10,26,31,32,39,45,53],"1a+1001a+1430a+13650a+30030a+289575a+400400ab+579150a+675675a+1201200a"]],
-["CHAR",["Fi22.2","F22d2G1-p123552aB0",0,[1,2,13,14,17,18,25,26]]],
-["CHAR",["Fi22.2","F22d2G1-p123552bB0",0,[1,8,13,15,17,25,29]]],
-["CHAR",["Fi22.2","F22d2G1-p123552cB0",0,[1,7,13,16,17,25,30]]],
-["CHAR",["Fi22.2","F22d2G1-p1389960B0",0,[1,2,5,6,9,10,13,14,17,18,19,20,25,26,33,34,46,47,52,53]]],
-["CHAR",["Fi22.2","F22d2G1-p142155B0",0,[1,3,5,9,13,19,21,33]]],
-["CHAR",["Fi22.2","F22d2G1-p185328bB0",0,[1,5,13,17,25,27,33]]],
-["CHAR",["Fi22.2","F22d2G1-p247104B0",0,[1,2,7,8,13,14,15,16,17,18,25,26,29,30]]],
-["CHAR",["Fi22.2","F22d2G1-p28160B0",0,[1,2,5,6,17,18]]],
-["CHAR",["Fi22.2","F22d2G1-p284310B0",0,[1,2,3,4,5,6,9,10,13,14,19,20,21,22,33,34]]],
-["CHAR",["Fi22.2","F22d2G1-p3592512B0",0,[1,7,9,17,19,49,58,68,75,88]]],
-["CHAR",["Fi22.2","F22d2G1-p370656aB0",0,[1,2,5,6,13,14,17,18,25,26,27,28,33,34]]],
-["CHAR",["Fi22.2","F22d2G1-p370656bB0",0,[1,5,6,7,13,16,17,25,27,28,30,33,34]]],
-["CHAR",["Fi22.2","F22d2G1-p61776B0",0,[1,13,17,25]]],
-["CHAR",["Fi22.2","F22d2G1-p694980B0",0,[1,5,9,13,17,19,25,33,46,52]]],
-["CHAR",["Fi22.2","F22d2G1-p7020B0",0,[1,2,5,6,13,14]]],
-["CHAR",["Fi23","F23G1-p412896B0",0,[1,2,6,8,10],"1a+782a+30888a+106743a+274482a"]],
-["CHAR",["Fi23","F23G1-p86316516B0",0,[1,2,3,6,7,8,10,14,20,24,38,40,42],"1a+782a+3588a+30888a+60996a+106743a+274482a+812889a+1951872a+5533110a+21348600a+26838240a+29354325a"]],
-["CHAR",["HN","HNG1-p13680000B0",0,[1,2,3,4,5,8,9,10,11,12,18,20,23,24,32,39,40,41,47],"1a+133ab+760a+3344a+8910a+9405a+16929a+35112ab+267520a+365750a+406296a+653125a+1185030a+2031480a+2375000a+2407680a+3878280a"]],
-["CHAR",["HN","HNG1-p1539000B0",0,[1,5,8,9,10,17,18,20,24],"1a+3344a+8910a+9405a+16929a+214016a+267520a+365750a+653125a"]],
-["CHAR",["HN","HNG1-p16500000B0",0,[1,4,5,9,11,12,18,19,21,22,25,26,32,34,35,36,37,41,49],"1a+760a+3344a+9405a+35112ab+267520a+270864a+374528ab+656250ab+1185030a+1361920abc+1575936a+2407680a+4561920a"]],
-["CHAR",["HN.2","HNd2G1-p1140000B0",0,[1,3,4,6,9,13,15,20,24,27]]],
-["CHAR",["HN.2","HNd2G1-p13680000B0",0,[1,3,4,6,9,11,13,15,20,24,27,29,36,47,49,51,63]]],
-["CHAR",["HN.2","HNd2G1-p1539000B0",0,[1,6,9,11,13,18,20,24,29]]],
-["CHAR",["HN.2","HNd2G1-p16500000B0",0,[1,4,6,11,15,20,22,26,31,36,40,42,43,51,67]]],
-["CHAR",["HN.2","HNd2G1-p3078000aB0",0,[1,2,6,7,9,10,11,12,13,14,18,19,20,21,24,25,29,30]]],
-["CHAR",["HN.2","HNd2G1-p3078000bB0",0,[1,4,6,9,11,13,18,19,20,22,24,29,33]]],
-["CHAR",["HS","HSG1-p176aB0",0,[1,7],"1a+175a"]],
-["CHAR",["HS","HSG1-p2200bB0",0,[1,2,3,4,5,6,7,9,10],"1a+22a+77a+154abc+175a+693a+770a"]],
-["CHAR",["HS","HSG1-p352aB0",0,[1,2,6,7],"1a+22a+154c+175a"]],
-["CHAR",["HS","HSG1-p352bB0",0,[1,2,5,7],"1a+22a+154b+175a"]],
-["CHAR",["HS","HSG1-p5600bB0",0,[1,2,3,6,7,10,13,16,22],"1a+22a+77a+154c+175a+770a+825a+1056a+2520a"]],
-["CHAR",["HS","HSG1-p5775B0",0,[1,3,4,7,9,13,16,17,18],"1a+77a+154a+175a+693a+825a+1056a+1386a+1408a"]],
-["CHAR",["HS.2","HSd2G1-p1100aB0",0,[1,3,5,10,19]]],
-["CHAR",["HS.2","HSd2G1-p11200B0",0,[1,2,3,4,5,6,9,10,11,16,17,19,20,22,23,34,35]]],
-["CHAR",["HS.2","HSd2G1-p11550B0",0,[1,2,5,6,7,8,10,11,14,15,19,20,22,23,24,25,26,27]]],
-["CHAR",["HS.2","HSd2G1-p200B0",0,[1,2,3,4,5,6]]],
-["CHAR",["HS.2","HSd2G1-p2200aB0",0,[1,2,3,4,5,6,10,11,19,20]]],
-["CHAR",["HS.2","HSd2G1-p2200cB0",0,[1,3,4,5,6,10,13,17,19]]],
-["CHAR",["HS.2","HSd2G1-p2200dB0",0,[1,4,5,7,9,10,14,17]]],
-["CHAR",["HS.2","HSd2G1-p2200eB0",0,[1,2,5,6,7,8,10,11,14,15]]],
-["CHAR",["HS.2","HSd2G1-p2200fB0",0,[1,3,5,7,9,10,14,16]]],
-["CHAR",["HS.2","HSd2G1-p22176B0",0,[1,10,11,14,19,21,22,25,26,29,31,34,35,37,39]]],
-["CHAR",["HS.2","HSd2G1-p4125B0",0,[1,3,5,7,10,14,16,19,26]]],
-["CHAR",["HS.2","HSd2G1-p5775B0",0,[1,5,7,10,14,19,22,25,26]]],
-["CHAR",["HS.2","HSd2G1-p704B0",0,[1,2,3,4,9,10,11]]],
-["CHAR",["HS.2","HSd2G1-p8250B0",0,[1,2,3,4,5,6,7,8,10,11,14,15,16,17,19,20,26,27]]],
-["CHAR",["He","HeG1-p16660B0",0,[1,2,3,6,7,8,9,12,14,15],"1a+51ab+680a+1029ab+1275a+1920a+4352a+6272a"]],
-["CHAR",["He","HeG1-p4116B0",0,[1,2,3,6,7,8,9],"1a+51ab+680a+1029ab+1275a"]],
-["CHAR",["He.2","Hed2G1-p16660aB0",0,[1,3,5,7,8,11,15,17]]],
-["CHAR",["He.2","Hed2G1-p16660bB0",0,[1,3,5,7,8,11,15,18]]],
-["CHAR",["Isoclinic(2.Fi22.2)","2F22d2iG1-p247104aB0",0,[1,2,13,14,17,18,25,26,118,121]]],
-["CHAR",["Isoclinic(2.Fi22.2)","2F22d2iG1-p247104bB0",0,[1,7,13,16,17,25,30,118,121]]],
-["CHAR",["Isoclinic(2.Fi22.2)","2F22d2iG1-p56320B0",0,[1,2,5,6,17,18,113,114,118]]],
-["CHAR",["Isoclinic(2.Fi22.2)","2F22d2iG1-p741312aB0",0,[1,2,5,6,13,14,17,18,25,26,27,28,33,34,113,114,118,121,126,127]]],
-["CHAR",["Isoclinic(2.Fi22.2)","2F22d2iG1-p741312bB0",0,[1,5,6,7,13,16,17,25,27,28,30,33,34,113,114,118,121,126,127]]],
-["CHAR",["Isoclinic(2.J2.2)","2J2d2iG1-p1120B0",0,[1,4,7,8,10,12,17,29,30,31,37,38]]],
-["CHAR",["Isoclinic(2.J2.2)","2J2d2iG1-p200aB0",0,[1,5,7,31]]],
-["CHAR",["Isoclinic(2.J2.2)","2J2d2iG1-p200bB0",0,[1,5,7,31]]],
-["CHAR",["Isoclinic(2.M12.2)","2M12d2iG1-p48B0",0,[1,2,3,26,27]]],
-["CHAR",["Isoclinic(2.M22.2)","2M22d2iG1-p1320B0",0,[1,2,3,4,9,10,11,12,13,14,28,29,32,33]]],
-["CHAR",["Isoclinic(2.M22.2)","2M22d2iG1-p704B0",0,[1,2,3,4,13,14,26,27,28,29]]],
-["CHAR",["Isoclinic(6.Fi22.2)","6F22d2iG1-p741312aB0",0,[1,7,13,16,17,25,30,118,121,157,162,209]]],
-["CHAR",["Isoclinic(6.Fi22.2)","6F22d2iG1-p741312bB0",0,[1,7,13,16,17,25,30,118,121,157,162,209]]],
-["CHAR",["Isoclinic(6.Fi22.2)","6F22d2iG1-p741312cB0",0,[1,7,13,16,17,25,30,118,121,151,152,155,158,160,203,204]]],
-["CHAR",["J2.2","J2d2G1-p1008B0",0,[1,3,10,11,12,14,21,23]]],
-["CHAR",["J2.2","J2d2G1-p1050aB0",0,[1,2,5,6,7,8,10,11,14,15,16,17]]],
-["CHAR",["J2.2","J2d2G1-p1050bB0",0,[1,5,7,9,10,14,15,16,20]]],
-["CHAR",["J2.2","J2d2G1-p1680B0",0,[1,2,7,8,10,11,12,13,14,15,16,17,20,21]]],
-["CHAR",["J2.2","J2d2G1-p1890B0",0,[1,3,5,8,10,12,13,14,23,25,26,27]]],
-["CHAR",["J2.2","J2d2G1-p200B0",0,[1,2,5,6,7,8]]],
-["CHAR",["J2.2","J2d2G1-p2016aB0",0,[1,8,10,11,12,13,14,16,21,23,26,27]]],
-["CHAR",["J2.2","J2d2G1-p280B0",0,[1,7,10,12]]],
-["CHAR",["J2.2","J2d2G1-p315B0",0,[1,3,5,10,14]]],
-["CHAR",["J2.2","J2d2G1-p525B0",0,[1,5,7,10,14,16]]],
-["CHAR",["J2.2","J2d2G1-p560bB0",0,[1,2,7,8,10,11,12,13]]],
-["CHAR",["J2.2","J2d2G1-p560cB0",0,[1,4,7,8,10,12,17]]],
-["CHAR",["J2.2","J2d2G1-p840B0",0,[1,7,10,12,14,16,21]]],
-["CHAR",["J3.2","J3d2G1-p25840B0",0,[1,5,10,12,13,14,15,16,18,20,22,24,25,27,29]]],
-["CHAR",["Ly","LyG1-p19212250B0",0,[1,4,10,11,12,13,15,16],"1a+45694a+1152735a+1534500a+3028266a+3073960a+4997664a+5379430a"]],
-["CHAR",["Ly","LyG1-p8835156B0",0,[1,4,11,12,14],"1a+45694a+1534500a+3028266a+4226695a"]],
-["CHAR",["Ly","LyG1-p9606125B0",0,[1,4,11,12,15],"1a+45694a+1534500a+3028266a+4997664a"]],
-["CHAR",["M11","M11G1-p110B0",0,[1,2,8,10],"1a+10a+44a+55a"]],
-["CHAR",["M11","M11G1-p144B0",0,[1,5,6,7,9,10],"1a+11a+16ab+45a+55a"]],
-["CHAR",["M11","M11G1-p22B0",0,[1,2,5],"1a+10a+11a"]],
-["CHAR",["M12","M12G1-p132aB0",0,[1,2,3,7,8],"1a+11ab+54a+55a"]],
-["CHAR",["M12","M12G1-p132bB0",0,[1,2,7,11],"1a+11a+54a+66a"]],
-["CHAR",["M12","M12G1-p132dB0",0,[1,2,3,7,8],"1a+11ab+54a+55a"]],
-["CHAR",["M12","M12G1-p132eB0",0,[1,3,7,11],"1a+11b+54a+66a"]],
-["CHAR",["M12","M12G1-p144aB0",0,[1,4,5,6,11],"1a+16ab+45a+66a"]],
-["CHAR",["M12","M12G1-p144bB0",0,[1,2,3,8,11],"1a+11ab+55a+66a"]],
-["CHAR",["M12","M12G1-p220aB0",0,[1,2,7,8,12],"1a+11a+54a+55a+99a"]],
-["CHAR",["M12","M12G1-p220bB0",0,[1,3,7,8,12],"1a+11b+54a+55a+99a"]],
-["CHAR",["M12","M12G1-p440aB0",0,[1,2,6,7,8,10,12,13],"1a+11a+45a+54a+55ac+99a+120a"]],
-["CHAR",["M12","M12G1-p440bB0",0,[1,3,6,7,8,9,12,13],"1a+11b+45a+54a+55ab+99a+120a"]],
-["CHAR",["M12.2","M12d2G1-p132B0",0,[1,2,3,7,8]]],
-["CHAR",["M12.2","M12d2G1-p144aB0",0,[1,3,9,12]]],
-["CHAR",["M12.2","M12d2G1-p144bB0",0,[1,4,5,12]]],
-["CHAR",["M12.2","M12d2G1-p264bB0",0,[1,2,3,7,8,12,13]]],
-["CHAR",["M12.2","M12d2G1-p396B0",0,[1,4,5,7,8,12,18]]],
-["CHAR",["M12.2","M12d2G1-p440B0",0,[1,2,3,7,8,9,10,14,15]]],
-["CHAR",["M12.2","M12d2G1-p495aB0",0,[1,3,7,8,9,12,15,18]]],
-["CHAR",["M12.2","M12d2G1-p495bB0",0,[1,4,6,7,8,12,15,18]]],
-["CHAR",["M12.2","M12d2G1-p792bB0",0,[1,4,5,7,8,10,12,13,15,18,21]]],
-["CHAR",["M12.2","M12d2G1-p880B0",0,[1,2,3,5,6,7,8,9,10,11,14,15,16,17]]],
-["CHAR",["M12.2","M12d2G1-p990bB0",0,[1,3,6,7,8,9,12,13,15,16,17,18,19]]],
-["CHAR",["M12.2","M12d2G1-p990eB0",0,[1,4,6,7,8,9,10,11,12,14,15,18,20]]],
-["CHAR",["M22.2","M22d2G1-p1232bB0",0,[1,3,4,9,10,12,13,16,18,20]]],
-["CHAR",["M22.2","M22d2G1-p1232cB0",0,[1,2,3,4,9,10,13,14,20,21]]],
-["CHAR",["M22.2","M22d2G1-p1344B0",0,[1,2,3,4,9,10,13,14,15,16,17,18]]],
-["CHAR",["M22.2","M22d2G1-p154aB0",0,[1,2,3,4,9,10]]],
-["CHAR",["M22.2","M22d2G1-p44B0",0,[1,2,3,4]]],
-["CHAR",["M22.2","M22d2G1-p462aB0",0,[1,3,9,13,18]]],
-["CHAR",["M22.2","M22d2G1-p462bB0",0,[1,2,3,4,9,10,13,14]]],
-["CHAR",["M22.2","M22d2G1-p462cB0",0,[1,3,4,9,13,16]]],
-["CHAR",["M22.2","M22d2G1-p660B0",0,[1,2,3,4,9,10,11,12,13,14]]],
-["CHAR",["M22.2","M22d2G1-p924aB0",0,[1,2,3,4,9,10,13,14,17,18]]],
-["CHAR",["M24","M24G1-p2576B0",0,[1,2,7,14,17],"1a+23a+252a+1035a+1265a"]],
-["CHAR",["M24","M24G1-p30360B0",0,[1,7,9,14,17,18,19,20,23,24,26],"1a+252a+483a+1035a+1265a+1771a+2024a+2277a+5313a+5544a+10395a"]],
-["CHAR",["M24","M24G1-p3542B0",0,[1,7,9,14,18],"1a+252a+483a+1035a+1771a"]],
-["CHAR",["M24","M24G1-p4048B0",0,[1,2,7,8,9,17,18],"1a+23a+252a+253a+483a+1265a+1771a"]],
-["CHAR",["M24","M24G1-p7590B0",0,[1,7,8,9,14,17,19,20],"1a+252a+253a+483a+1035a+1265a+2024a+2277a"]],
-["CHAR",["McL.2","McLd2G1-p14256B0",0,[1,2,3,4,7,8,14,15,24,25]]],
-["CHAR",["McL.2","McLd2G1-p15400aB0",0,[1,7,20,24,26]]],
-["CHAR",["McL.2","McLd2G1-p22275bB0",0,[1,7,14,24,26,30]]],
-["CHAR",["McL.2","McLd2G1-p30800aB0",0,[1,2,7,8,20,21,24,25,26,27]]],
-["CHAR",["McL.2","McLd2G1-p30800bB0",0,[1,6,7,20,24,26,27,31]]],
-["CHAR",["McL.2","McLd2G1-p44550dB0",0,[1,2,7,8,14,15,24,25,26,27,30,31]]],
-["CHAR",["McL.2","McLd2G1-p550B0",0,[1,2,3,4,7,8]]],
-["CHAR",["ON","ONG1-p122760bB0",0,[1,2,7,9,11],"1a+10944a+26752a+32395b+52668a"]],
-["CHAR",["ON","ONG1-p245520aB0",0,[1,2,7,8,10,11,18],"1a+10944a+26752a+32395a+37696a+52668a+85064a"]],
-["CHAR",["ON","ONG1-p245520bB0",0,[1,2,7,9,10,11,18],"1a+10944a+26752a+32395b+37696a+52668a+85064a"]],
-["CHAR",["ON.2","ONd2G1-p491040B0",0,[1,2,3,4,7,8,9,10,11,12,13,20,21]]],
-["CHAR",["Ru","RuG1-p417600B0",0,[1,6,8,14,15,16,21,23,25,32],"1a+3276a+20475a+27405a+34944ab+52780a+65975a+75400a+102400a"]],
-["CHAR",["Ru","RuG1-p8120B0",0,[1,4,5,6,7],"1a+406a+783a+3276a+3654a"]],
-["CHAR",["Suz","SuzG1-p45760B0",0,[1,2,3,4,9,10,11,15],"1a+143a+364a+780a+5940a+10725a+12012a+15795a"]],
-["CHAR",["Suz.2","Suzd2G1-p135135B0",0,[1,4,7,11,14,21,26,27,38]]],
-["CHAR",["Suz.2","Suzd2G1-p22880B0",0,[1,5,7,14,23]]],
-["CHAR",["Suz.2","Suzd2G1-p232960B0",0,[1,5,6,14,19,21,22,23,33,48]]],
-["CHAR",["Suz.2","Suzd2G1-p270270B0",0,[1,2,3,4,7,8,11,12,14,15,20,21,25,26,27,28,38,39]]],
-["CHAR",["Suz.2","Suzd2G1-p32760B0",0,[1,4,5,14,19,21]]],
-["CHAR",["Suz.2","Suzd2G1-p3564B0",0,[1,2,7,8,9,10]]],
-["CHAR",["Suz.2","Suzd2G1-p405405B0",0,[1,5,7,9,14,19,21,23,27,38,40,44,47]]],
-["CHAR",["Suz.2","Suzd2G1-p45760aB0",0,[1,2,5,6,7,8,14,15,23,24]]],
-["CHAR",["Suz.2","Suzd2G1-p45760bB0",0,[1,3,5,7,14,16,18,23]]],
-["CHAR",["Suz.2","Suzd2G1-p45760cB0",0,[1,4,5,7,14,17,19,23]]],
-["CHAR",["Suz.2","Suzd2G1-p65520B0",0,[1,2,3,4,5,6,14,15,18,19,20,21]]],
-["CHAR",["Suz.2","Suzd2G1-p810810B0",0,[1,2,5,6,7,8,9,10,14,15,18,19,20,21,23,24,27,28,38,39,40,41,44,45,47,48]]],
-["CHAR",["Suz.2","Suzd2G1-p91520B0",0,[1,2,3,4,5,6,7,8,14,15,16,17,18,19,23,24]]]
-]
-}
diff --git a/sources b/sources
index 166a53b..c7e56ec 100644
--- a/sources
+++ b/sources
@@ -1,2 +1,2 @@
-SHA512 (orb-4.8.5.tar.gz) =
2b3a92d048e29a0df80749b95614aae368ff615826d9928775fdc7c39d85fc27611c170089e1b601aef35fd1463713ced68aed318f20d4a4803f5d87bc8a718e
-SHA512 (gap-pkg-orb-testdata.tar.xz) =
ba3449b4ad7c90287e7e87926fde8b4dc680cb27301d8c499493e9bce93f5eaad4d88d0e88d68c80ad18ebfa43e996af63fd15748cc3bbbe9a091f402085b191
+SHA512 (orb-4.9.0.tar.gz) =
e37a3603ece14422bbc2c7cfcc82ed6e0650d059852168df54247c7e025b88b5c81f52c2a681985a25e741948fd12c3c3ee966a7086bd8612dc64137b0c4ce0c
+SHA512 (gap-pkg-orb-testdata.tar.xz) =
a8a3dd8bb9f11536890864cb98a0cb63fed339ad177a90382f8c1ceb2c104179b9327f9cf96455f4b4a0b00e000bea57ece0c46ea20e0302b8f2b361a161ec25