The package rpms/gap-pkg-recog.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-recog.git/commit/?id=ab9b896....
Change: +ExclusiveArch: aarch64 ppc64le s390x x86_64 noarch
Thanks.
Full change: ============
commit ab9b896c37ae06588528569be3cb08ada21ae250 Author: Jerry James loganjerry@gmail.com Date: Tue Sep 27 16:37:24 2022 -0600
Version 1.4.2.
- 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-recog.spec b/gap-pkg-recog.spec index 5ced81c..224f69d 100644 --- a/gap-pkg-recog.spec +++ b/gap-pkg-recog.spec @@ -1,27 +1,18 @@ -# The 1.3.2 release fails multiple tests with GAP 4.11. Until a new version is -# released, we build from git. -%global commit 168ed6258502ed24a14e284d275b3f50b9f07de3 -%global shortcommit %(c=%{commit}; echo ${c:0:7}) -%global gitdate 20200127 - %global pkgname recog
Name: gap-pkg-%{pkgname} -Version: 1.3.2 -Release: 9.%{gitdate}.%{shortcommit}%{?dist} +Version: 1.4.2 +Release: 1%{?dist} Summary: Group recognition methods
-License: GPLv3+ +License: GPL-3.0-or-later +BuildArch: noarch +ExclusiveArch: aarch64 ppc64le s390x x86_64 noarch URL: https://gap-packages.github.io/%%7Bpkgname%7D/ -#Source0: https://github.com/gap-packages/%%%7Bpkgname%7D/releases/download/v%%%7Bvers... -Source0: https://github.com/gap-packages/%%7Bpkgname%7D/archive/%%7Bcommit%7D/%%7Bpkg... +Source0: https://github.com/gap-packages/%%7Bpkgname%7D/releases/download/v%%7Bversio... # 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
-BuildArch: noarch BuildRequires: gap-devel BuildRequires: gap-pkg-atlasrep BuildRequires: gap-pkg-autodoc @@ -50,54 +41,50 @@ Requires: gap-online-help This package contains documentation for gap-pkg-%{pkgname}.
%prep -%autosetup -n %{pkgname}-%{commit} -b 1 -cp -p %{SOURCE2} %{SOURCE3} ../atlasrep +%autosetup -n %{pkgname}-%{version} -b 1
%build export LC_ALL=C.UTF-8 -gap < makedoc.g +gap makedoc.g
%install -mkdir -p %{buildroot}%{_gap_dir}/pkg -cp -a ../%{pkgname}-%{commit} %{buildroot}%{_gap_dir}/pkg/%{pkgname}-%{version} -rm -fr %{buildroot}%{_gap_dir}/pkg/%{pkgname}-%{version}/misc -rm -f %{buildroot}%{_gap_dir}/pkg/%{pkgname}-%{version}/{.mailmap,CHANGES,LICENSE,Makefile,NOTES,README.md,TODO,WISHLIST} -rm -f %{buildroot}%{_gap_dir}/pkg/%{pkgname}-%{version}/doc/clean -rm -f %{buildroot}%{_gap_dir}/pkg/%{pkgname}-%{version}/doc/*.{aux,bbl,blg,idx,ilg,ind,log,out,pnr,tex} +mkdir -p %{buildroot}%{gap_dir}/pkg/%{pkgname}/doc +cp -a *.g contrib examples gap tst %{buildroot}%{gap_dir}/pkg/%{pkgname} +%gap_copy_docs
%check export LC_ALL=C.UTF-8
-# 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 +# Do not run the very slow tests +gap -l "%{buildroot}%{gap_dir};" tst/testquick.g +gap -l "%{buildroot}%{gap_dir};" tst/testslow.g
%files %doc CHANGES NOTES README.md TODO WISHLIST -%license LICENSE -%{_gap_dir}/pkg/%{pkgname}-%{version}/ -%exclude %{_gap_dir}/pkg/%{pkgname}-%{version}/doc/ -%exclude %{_gap_dir}/pkg/%{pkgname}-%{version}/examples/ +%license COPYRIGHT LICENSE +%{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@gmail.com - 1.4.2-1 +- Version 1.4.2 +- 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@gmail.com - 1.3.2-9.20200127.168ed62 - Add TOC data to fix the tests with recent versions of atlasrep
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 4216567..1196523 100644 --- a/sources +++ b/sources @@ -1,2 +1,2 @@ -SHA512 (gap-pkg-recog-testdata.tar.xz) = 4be799cec5515378d6cd8ad3fe914c642a9ceb94e5de95b7a076b50b411de9b9ce8a5986ff60d3d56cf32a18ea6be493aff8094823ba040e388f22d67d09bc4b -SHA512 (recog-168ed62.tar.gz) = 0dbde197d88817064877bccfd5be60f86de9432ce7601744bf27df670a57d7d9923328f6a1fecc3f48b51ac56d1ea01fc87b1470d3f2aad5ebabd63f72b91b95 +SHA512 (recog-1.4.2.tar.bz2) = cae8f06a870a5c5e9d26e186df3eed38a90ce46f4ee027b3e09dc4193beff5dad7ed47e4e54c8129b644938be32b82f3ff868ec586d865cde0077a096c257fc8 +SHA512 (gap-pkg-recog-testdata.tar.xz) = 5b44b7c8893c95976cde6913069441694e5bbfac0112e01da45af3e3c0f044e63d3fb28974610e1fe956312f033b510477dc279c6a1a86fa9855f5d715222682
arch-excludes@lists.fedoraproject.org