diff --git a/.github/actions/test-gap/action.yml b/.github/actions/test-gap/action.yml index 73f7883..f969a48 100644 --- a/.github/actions/test-gap/action.yml +++ b/.github/actions/test-gap/action.yml @@ -3,13 +3,10 @@ description: "Test GAP" inputs: mode: default: 'default' - type: string warnings-as-errors: default: true - type: boolean complete: default: false - type: boolean runs: using: "composite" diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml index 6767dc2..2a6c68b 100644 --- a/.github/workflows/CI.yml +++ b/.github/workflows/CI.yml @@ -8,41 +8,45 @@ on: jobs: test-pkg: - name: "Test package (version: ${{ matrix.gap-version }})" + name: "Test package (version: ${{ matrix.gap-version }}, mode: ${{ matrix.mode }})" container: image: ghcr.io/stertooy/gda-image:${{ matrix.gap-version }}-slim runs-on: ubuntu-latest strategy: fail-fast: false matrix: - gap-version: [ "4.14.0", "4.15.0", "4.15.1", "4.16.0", "devel" ] + gap-version: [ "4.14.0", "4.16.0", "devel" ] + mode: [ "default", "onlyneeded" ] steps: - + - name: "Checkout" uses: actions/checkout@v7 - + - name: "Test package" uses: ./.github/actions/test-pkg with: + mode: ${{ matrix.mode }} warnings-as-errors: true coverage: ${{ matrix.gap-version == 'devel' }} codecov-token: ${{ secrets.CODECOV_TOKEN }} test-gap: - name: "Test GAP (version: ${{ matrix.gap-version }})" + name: "Test GAP (version: ${{ matrix.gap-version }}, mode: ${{ matrix.mode }})" container: image: ghcr.io/stertooy/gda-image:${{ matrix.gap-version }}-slim runs-on: ubuntu-latest strategy: fail-fast: false matrix: - gap-version: [ "4.14.0", "4.15.0", "4.15.1", "4.16.0", "devel" ] + gap-version: [ "4.14.0", "4.16.0", "devel" ] + mode: [ "default", "onlyneeded" ] steps: - + - name: "Checkout" uses: actions/checkout@v7 - + - name: "Test GAP" uses: ./.github/actions/test-gap with: + mode: ${{ matrix.mode }} warnings-as-errors: true diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 36523b5..406cb99 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -29,7 +29,7 @@ jobs: - name: "Validate PackageInfo.g" shell: bash - run: gap -c 'QuitGap(ValidatePackageInfo("PackageInfo.g"));' + run: gap -c 'QuitGap( ValidatePackageInfo( "PackageInfo.g" ) );' - name: "Upload manual" uses: actions/upload-artifact@v7 diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml index eb20d4d..44179a0 100644 --- a/.github/workflows/lint.yml +++ b/.github/workflows/lint.yml @@ -22,7 +22,7 @@ jobs: rules: "data" steps: - + - name: "Checkout" uses: actions/checkout@v7 @@ -40,4 +40,4 @@ jobs: run: | shopt -s globstar extglob FILES="${{ matrix.files }}" - gaplint $FILES --config-file=.github/gaplint-${{matrix.rules}}.yml + gaplint $FILES --config-file=.github/gaplint-${{ matrix.rules }}.yml diff --git a/.github/workflows/pre-release.yml b/.github/workflows/pre-release.yml index 8085e00..f3d1df6 100644 --- a/.github/workflows/pre-release.yml +++ b/.github/workflows/pre-release.yml @@ -19,10 +19,10 @@ jobs: gap-version: [ "4.14.0", "4.15.0", "4.15.1", "4.16.0", "devel" ] mode: [ "onlyneeded", "default", "loadall" ] steps: - + - name: "Checkout" uses: actions/checkout@v7 - + - name: "Test package" uses: ./.github/actions/test-pkg with: @@ -41,11 +41,11 @@ jobs: gap-version: [ "4.14.0", "4.15.0", "4.15.1", "4.16.0", "devel" ] mode: [ "onlyneeded", "default", "loadall" ] steps: - + - name: "Checkout" uses: actions/checkout@v7 - - - name: "Test package" + + - name: "Test GAP" uses: ./.github/actions/test-gap with: mode: ${{ matrix.mode }} @@ -69,9 +69,9 @@ jobs: - name: "Setup" uses: ./.github/actions/setup - - name: "Verify that tests do not depend on GAPDoc/PrimGrp/TransGrp" + - name: "Verify that tests do not depend on GAPDoc/PrimGrp/SmallGrp/TransGrp" shell: bash - run: gap --bare -c 'TestPackage("SmallClassNr");' + run: gap --bare -c 'LoadPackage("SmallClassNr":OnlyNeeded);TestPackage("SmallClassNr");' lint: name: "Run gaplint" diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index 91763ee..b6dbc68 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -60,7 +60,7 @@ jobs: uses: gap-actions/release-pkg@v1 with: dry-run: ${{ inputs.dry-run }} - body-text: ${{ steps.changes.outputs.RELEASE_NOTES }} + body-text: ${{ steps.changes.outputs.RELEASE_NOTES }} force: ${{ inputs.force }} - name: "Update GitHub Pages" diff --git a/.github/workflows/validate.yml b/.github/workflows/validate.yml index 0a902ba..4122638 100644 --- a/.github/workflows/validate.yml +++ b/.github/workflows/validate.yml @@ -13,7 +13,7 @@ jobs: image: ghcr.io/stertooy/gda-image:devel-slim steps: - + - name: "Checkout" uses: actions/checkout@v7 diff --git a/CHANGELOG.md b/CHANGELOG.md index f335f14..80ccdf1 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,5 +1,15 @@ # CHANGELOG - GAP package SmallClassNr +## 1.6.1 (2026-08-08) + +### Fixed +- Fixed a bug where errors could be triggered if the `SmallGrp` package was not + loaded. + +### Changed +- Updated installation instructions. +- Janitorial changes. + ## 1.6.0 (2026-07-29) ### Added @@ -35,7 +45,7 @@ used to more efficiently determine `IdClassNr` for a given group. ### Changed -- Improvemed the documentation. +- Improved the documentation. - Expanded the test suite. - Renamed `CHANGES.md` to `CHANGELOG.md`. - Janitorial changes. diff --git a/CITATION.cff b/CITATION.cff index 6255ad2..f405b2d 100644 --- a/CITATION.cff +++ b/CITATION.cff @@ -3,8 +3,8 @@ message: If you use this GAP package, please cite it using the metadata from thi type: software title: SmallClassNr abstract: Library of finite groups with small class number -version: 1.6.0 -date-released: 2026-07-29 +version: 1.6.1 +date-released: 2026-08-08 license: GPL-2.0-or-later doi: 10.5281/zenodo.14283157 authors: diff --git a/PackageInfo.g b/PackageInfo.g index 1e22b95..8e0ecf0 100644 --- a/PackageInfo.g +++ b/PackageInfo.g @@ -2,8 +2,8 @@ SetPackageInfo( rec( PackageName := "SmallClassNr", Subtitle := "Library of finite groups with small class number", -Version := "1.6.0", -Date := "29/07/2026", +Version := "1.6.1", +Date := "08/08/2026", License := "GPL-2.0-or-later", Persons := [ @@ -76,6 +76,13 @@ Dependencies := rec( ] ), +Extensions := [ + rec( + needed := [ [ "smallgrp", "1.5.4" ] ], + filename := "lib/idgroup/idgroup.g" + ) +], + TestFile := "tst/testall.g", )); diff --git a/README.md b/README.md index 3e1a946..0cabb76 100644 --- a/README.md +++ b/README.md @@ -1,9 +1,9 @@ -[![Build Status](https://custom-icon-badges.demolab.com/github/actions/workflow/status/stertooy/SmallClassNr/CI.yml?branch=main&logo=bug&logoColor=white&label=tests&?)](https://github.com/stertooy/SmallClassNr/actions/workflows/CI.yml?query=branch%3Amain) -[![Code Coverage](https://custom-icon-badges.demolab.com/codecov/c/github/stertooy/SmallClassNr?logo=code&logoColor=white&?)](https://codecov.io/gh/sTertooy/SmallClassNr) +[![Build Status](https://custom-icon-badges.demolab.com/github/actions/workflow/status/stertooy/SmallClassNr/CI.yml?branch=main&logo=bug&logoColor=white&label=tests)](https://github.com/stertooy/SmallClassNr/actions/workflows/CI.yml?query=branch%3Amain) +[![Code Coverage](https://custom-icon-badges.demolab.com/codecov/c/github/stertooy/SmallClassNr?logo=code&logoColor=white)](https://codecov.io/gh/sTertooy/SmallClassNr) [![License](https://custom-icon-badges.demolab.com/badge/license-GPLv2%2B-blue.svg?logo=law&logoColor=white)](https://www.gnu.org/licenses/old-licenses/gpl-2.0.en.html) [![Manual](https://custom-icon-badges.demolab.com/badge/manual-html-blue?logo=browser&logoColor=white)](https://stertooy.github.io/SmallClassNr/doc/chap0_mj.html) [![Manual](https://custom-icon-badges.demolab.com/badge/manual-pdf-blue?logo=book&logoColor=white)](https://github.com/stertooy/SmallClassNr/releases/latest/download/manual.pdf) -[![Release](https://custom-icon-badges.demolab.com/github/release/stertooy/smallclassnr.svg?logo=tag&logoColor=white?)](https://github.com/stertooy/smallclassnr/releases/latest) +[![Release](https://custom-icon-badges.demolab.com/github/release/stertooy/smallclassnr.svg?logo=tag&logoColor=white)](https://github.com/stertooy/smallclassnr/releases/latest) [![DOI](https://custom-icon-badges.demolab.com/badge/DOI-10/nvzr-blue?logo=doi&logoColor=white)](https://doi.org/10/nvzr) The GAP package SmallClassNr @@ -28,7 +28,7 @@ Support ------- Please report any problems you may encounter using SmallClassNr at - + diff --git a/data/gens.g b/data/gens.g index 65cbeee..1d39532 100644 --- a/data/gens.g +++ b/data/gens.g @@ -1,397 +1,397 @@ -SCN.Data.Gens := []; - -# MinimalGeneratingSet - -SCN.Data.Gens[ 1 ] := [ - [], -]; - -SCN.Data.Gens[ 2 ] := [ - [ (1,2) ], -]; - -SCN.Data.Gens[ 3 ] := [ - [ (1,2,3) ], - [ (1,2), (1,3) ], -]; - -SCN.Data.Gens[ 4 ] := [ - [ (1,2,3,4) ], - [ (1,2), (3,4) ], - [ (1,2)(3,4), (1,4)(2,5) ], - [ (1,2,3), (1,4,2) ], -]; - -SCN.Data.Gens[ 5 ] := [ - [ (1,2,3,4,5) ], - [ (1,2), (1,3)(2,4) ], - [ (1,2,3,4)(5,6,7,8), (1,5,3,7)(2,8,4,6) ], - [ (1,2)(3,4)(5,6), (1,5)(2,4)(6,7) ], - [ (1,2)(3,4), (1,3,5,2) ], - [ (1,2,3)(4,5,6), (1,5,7)(2,4,6) ], - [ (1,2,3), (1,4) ], - [ (1,2,3), (1,4,5) ], -]; - -SCN.Data.Gens[ 6 ] := [ - [ (1,2)(3,4,5) ], - [ (1,2,3), (2,3)(4,5,6,7) ], - [ (1,2), (1,3)(4,5) ], - [ (1,2)(3,4)(5,6)(7,8), (1,3)(2,8)(4,6)(7,9) ], - [ (1,2)(3,4), (1,2,5), (3,4,6) ], - [ (1,2)(3,4,5,6), (1,3,5) ], - [ (1,2,3,4)(5,6,7,8), (1,9,7,2)(3,5,6,8) ], - [ (1,2,3)(4,5,6), (1,4)(2,7) ], -]; - -SCN.Data.Gens[ 7 ] := [ - [ (1,2,3,4,5,6,7) ], - [ (1,2)(3,4)(5,6), (1,7)(2,4)(3,6)(5,8) ], - [ (1,2)(3,4)(5,6), (1,7,6,8)(2,4,5,3) ], - [ (1,2,3,4)(5,6,7,8)(9,10,11,12)(13,14,15,16), (1,9,3,11)(2,16,4,14)(5,15,7,13)(6,12,8,10) ], - [ (1,2)(3,4)(5,6)(7,8)(9,10), (1,3)(2,7)(4,5)(6,11)(8,9) ], - [ (1,2,3)(4,5,6), (2,6,7)(3,8,5) ], - [ (1,2,3)(4,5,6)(7,8,9)(10,11,12), (1,13,4)(2,9,10)(3,11,5)(6,8,7) ], - [ (1,2)(3,4)(5,6), (2,7,6)(3,4,5) ], - [ (1,2,3,4)(5,6,7,8)(9,10,11,12), (1,13)(2,12)(3,5)(4,9)(6,10)(7,8) ], - [ (1,2,3,4,5)(6,7,8,9,10), (1,3,11,7,6)(2,5,8,4,9) ], - [ (1,2,3,4), (1,5) ], - [ (1,2,3,4,5), (1,2,6) ], -]; - -SCN.Data.Gens[ 8 ] := [ - [ (1,2,3,4,5,6,7,8) ], - [ (1,2), (3,4,5,6) ], - [ (1,2), (3,4), (5,6) ], - [ (1,2,3,4,5), (2,5)(3,4)(6,7,8,9) ], - [ (1,2)(3,4), (1,4)(2,5)(6,7) ], - [ (1,2), (1,3,4)(2,5,6) ], - [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12), (1,3)(2,6)(4,7)(5,9)(8,12)(10,13) ], - [ (1,2,3,4)(5,6,7,8), (1,5,9)(2,8,10)(3,7,11)(4,6,12) ], - [ (1,2,3)(4,5,6)(7,8,9)(10,11,12), (1,8,3,13,5,12,4,14)(2,10,15,7,6,9,16,11) ], - [ (1,2,3)(4,5,6), (2,4)(3,7)(5,8) ], - [ (1,2)(3,4), (2,4,3)(5,6,7), (5,7)(6,8) ], - [ (1,2,3,4,5,6,7), (1,5,4,2,8,3,6) ], - [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16), (1,15,3,10)(2,17,7,5)(4,8,9,13)(6,16,11,12) ], - [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12), (1,13,7)(2,10,4)(3,8,12)(5,9,6) ], - [ (1,2)(3,4), (1,5,3,6,7)(2,8,4,9,10) ], - [ (1,2,3)(4,5,6), (1,7,5)(2,8,3) ], - [ (1,2,3,4)(5,6,7,8), (1,5,4,6)(2,8)(3,7,9,10) ], - [ (1,2)(3,4,5,6)(7,8,9,10)(11,12,13,14), (1,13,9,7)(2,6,12,15)(3,10,4,14)(5,8) ], - [ (1,2,3,4)(5,6,7,8)(9,10,11,12)(13,14,15,16)(17,18,19,20)(21,22,23,24), (1,15,20)(2,23,18)(3,25,9)(4,5,12)(6,21,7)(8,17,11)(10,24,22)(13,14,19) ], - [ (1,2,3)(4,5,6)(7,8,9), (1,4)(2,7)(3,10)(5,11) ], - [ (1,2,3,4)(5,6,7,8), (1,2,3,5)(4,9,7,10) ], -]; - -SCN.Data.Gens[ 9 ] := [ - [ (1,2,3,4,5,6,7,8,9) ], - [ (1,2,3), (4,5,6) ], - [ (1,2), (1,3)(4,5,6) ], - [ (1,2,3,4)(5,6,7,8)(9,10), (1,5,3,7)(2,8,4,6)(9,11) ], - [ (1,2)(3,4), (1,5)(3,6)(4,7) ], - [ (1,2)(3,4), (1,5)(3,6,4,7) ], - [ (1,2)(3,4)(5,6), (1,7)(3,6)(4,8) ], - [ (1,2)(3,4), (1,5)(3,4,6) ], - [ (1,2,3)(4,5,6)(7,8,9)(10,11,12)(13,14,15)(16,17,18), (1,18,4)(2,12,13)(3,9,17)(5,8,11)(6,19,10)(7,15,14) ], - [ (1,2)(3,4,5,6), (2,7)(4,6,8,5) ], - [ (1,2)(3,4)(5,6)(7,8)(9,10), (1,4,11,3,2,7,5,6,8)(9,12,13) ], - [ (1,2)(3,4)(5,6)(7,8), (1,7,8,5,3,2,4,9) ], - [ (1,2), (1,3,2,4,5,6) ], - [ (1,2,3), (4,5,6), (2,3)(6,7) ], - [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16)(17,18), (1,8,4)(2,14,5)(3,13,9)(6,17,15)(7,18,19)(10,11,12) ], - [ (1,2,3,4,5)(6,7,8,9,10)(11,12,13,14,15)(16,17,18,19,20), (1,9,14,16,21)(2,20,7,22,11)(4,15,23,8,18)(5,24,17,12,6) ], - [ (1,2)(3,4)(5,6), (1,7,4,8,9,5,6,3) ], - [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12), (1,13,7)(2,14,8)(3,15,6)(4,16,5)(9,10,11), (1,7,12)(2,6,9)(3,5,11)(4,8,10)(14,16,15) ], - [ (1,2,3,4)(5,6,7,8)(9,10,11,12)(13,14)(15,16,17,18)(19,20,21,22)(23,24)(25,26)(27,28,29,30)(31,32,33,34)(35,36,37,38)(39,40), (1,41,5)(2,42,8)(3,43,7)(4,44,6)(9,17,40)(10,18,24)(11,15,39)(12,16,23)(13,33,29)(14,31,27)(19,35,45)(20,38,46)(21,37,47)(22,36,48)(25,32,28)(26,34,30), (1,17)(2,18)(3,15)(4,16)(5,21,7,19)(6,20,8,22)(9,32,11,34)(10,31,12,33)(13,44,14,42)(23,48,24,46)(25,41,26,43)(27,36)(28,37)(29,38)(30,35)(39,47,40,45) ], - [ (1,2,3,4,5,6), (1,2,5,6,7,8) ], - [ (1,2,3,4,5,6,7), (1,2,3,6,8,9,5) ], - [ (1,2,3,4,5)(6,7,8,9,10)(11,12,13,14,15), (1,2,4,6,11)(3,7,12,9,13)(5,15,14,16,8) ], - [ (1,2,3,4,5,6)(7,8,9,10,11,12), (1,13,14,3,7,8)(2,4,9,5,12,6) ], - [ (1,2,3)(4,5,6)(7,8,9)(10,11,12)(13,14,15)(16,17,18)(19,20,21)(22,23,24)(25,26,27), (1,10,25,24,19,7)(2,4,21)(3,26,5,9,11,28)(6,12,22,15,23,8)(13,27,20,14,18,17) ], - [ (1,2,3)(4,5,6)(7,8,9)(10,11,12)(13,14,15)(16,17,18)(19,20,21)(22,23,24)(25,26,27)(28,29,30)(31,32,33)(34,35,36)(37,38,39)(40,41,42)(43,44,45)(46,47,48), (1,42,29,41,22,45,23,25)(2,7,28,35,15,13,49,17)(3,8,14,12,36,40,38,21)(4,20,46,5,19,32,27,44)(6,43,48,11,10,39,16,9)(18,33,30,26,37,31,47,24) ], - [ (1,2,3,4,5), (1,6,7) ], -]; - -SCN.Data.Gens[ 10 ] := [ - [ (1,2)(3,4,5,6,7) ], - [ (1,2), (1,3,2,4)(5,6,7,8) ], - [ (1,2,3,4), (2,4)(5,6,7,8) ], - [ (1,2)(3,4), (1,5,3,6,2,7,4,8) ], - [ (1,2), (3,4), (1,5)(2,6) ], - [ (1,2,3,4)(5,6,7,8), (1,5,3,7)(2,8,4,6), (9,10) ], - [ (1,2)(3,4), (1,5)(2,6)(3,7)(4,8), (1,3,2,4)(5,7,6,8) ], - [ (1,2,3,4,5,6,7), (2,7)(3,6)(4,5)(8,9,10,11) ], - [ (1,2)(3,4)(5,6), (1,5)(2,4)(6,7)(8,9) ], - [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16), (1,3)(2,15)(4,12)(5,13)(6,11)(7,16)(8,10)(9,17) ], - [ (1,2,3,4,5), (2,3,5,4)(6,7,8,9,10,11,12,13) ], - [ (1,2,3,4), (1,2)(3,5)(6,7) ], - [ (1,2,3)(4,5,6), (1,5,7)(2,4,6)(8,9) ], - [ (1,2,3), (3,4)(5,6,7,8) ], - [ (1,2,3)(4,5), (1,6) ], - [ (1,2,3)(4,5,6,7,8,9), (1,5,8)(3,4,7) ], - [ (1,2)(3,4)(5,6)(7,8), (1,9,7,3,6,4)(5,8) ], - [ (1,2,3)(4,5,6), (1,4)(2,6)(3,5), (4,7)(5,8)(6,9) ], - [ (1,2,3,4)(5,6,7,8)(9,10), (1,5,11)(2,9,8)(3,7,12)(4,10,6) ], - [ (1,2)(3,4), (1,5)(2,6,4,7,3,8) ], - [ (1,2,3,4,5,6)(7,8,9,10,11,12)(13,14,15), (1,14,5,10,13,11)(2,4,16,8,7,15)(3,6,9) ], - [ (1,2,3,4)(5,6,7,8), (1,9,5,4,10,6)(2,11,8,3,12,7) ], - [ (1,2,3)(4,5,6), (1,3,7,2)(4,8) ], - [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16)(17,18)(19,20)(21,22)(23,24), (1,12,25,17)(2,15,5,10)(3,8,18,13)(4,16,7,21)(6,14,11,19)(9,24,23,20) ], - [ (1,2,3,4,5), (1,3,4,2)(6,7,8,9), (6,9,7,8,10) ], - [ (1,2,3,4,5), (1,6)(2,7,5,8)(3,9,4,10) ], - [ (1,2,3)(4,5), (1,6,7) ], - [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16), (1,9,2,7,16,4,5,6)(3,8,17,14,11,10,15,12) ], - [ (1,2,3,4,5)(6,7,8,9,10), (1,6,11)(2,7,12,5,10,13)(3,8,14,4,9,15) ], - [ (1,2)(3,4,5,6)(7,8), (1,6,7,4)(2,9)(8,10) ], - [ (1,2,3)(4,5,6), (1,7,8,3)(2,4,9,5) ], - [ (1,2,3,4)(5,6,7,8)(9,10)(11,12,13,14)(15,16)(17,18,19,20)(21,22,23,24)(25,26)(27,28)(29,30,31,32)(33,34)(35,36)(37,38,39,40)(41,42)(43,44)(45,46)(47,48)(49,50,51,52), (1,5,27,29,34,53,22)(2,38,44,19,33,15,51)(3,7,9,31,48,54,24)(4,40,45,17,47,16,49)(6,43,18,35,55,23,13)(8,46,20,25,56,21,11)(10,32,36,41,52,14,37)(12,39,28,30,26,42,50) ], - [ (1,2,3)(4,5,6)(7,8,9)(10,11,12), (1,8)(2,13,5,9)(3,11,14,12)(4,10,6,7) ], - [ (1,2,3,4,5,6,7,8)(9,10,11,12,13,14,15,16)(17,18,19,20,21,22,23,24)(25,26,27,28,29,30,31,32)(33,34,35,36,37,38,39,40)(41,42,43,44,45,46,47,48), (1,47,11,48)(2,24,4,13)(3,27,19,42)(5,16,12,40)(6,26,32,29)(7,20,39,33)(8,46,31,17)(9,22,43,10)(14,36,44,30)(15,45,38,28)(18,21,37,41)(25,49,34,35) ], - [ (1,2,3,4)(5,6,7,8), (1,2,4,5)(6,9,10,11) ], - [ (1,2,3,4,5,6,7,8,9,10)(11,12,13,14,15,16,17,18,19,20)(21,22,23,24,25,26,27,28,29,30)(31,32,33,34,35,36,37,38,39,40)(41,42,43,44,45,46,47,48,49,50)(51,52,53,54,55,56,57,58,59,60)(61,62,63,64,65,66,67,68,69,70)(71,72,73,74,75,76,77,78,79,80)(81,82,83,84,85,86,87,88,89,90)(91,92,93,94,95,96,97,98,99,100)(101,102,103,104,105,106,107,108,109,110)(111,112,113,114,115,116,117,118,119,120), (1,2,12,47,114,83,78,19,80,103)(3,28,112,48,13,44,20,108,65,62)(4,81,93,109,71,69,89,119,70,106)(5,56,15,57,96,76,33,75,53,40)(6,115,59,30,100,87,10,64,94,117)(7,29,86,22,35,111,8,61,50,82)(9,99,26,32,73,24,23,52,97,105)(11,63,104,67,34,25,21,91,116,17)(14,16,95,43,101,38,79,45,102,110)(18,39,42,58,92,41,54,84,27,107)(31,85,60,36,72,77,55,118,121,90)(37,46,49,66,98,88,120,51,74,68) ], - [ (1,2,3)(4,5,6)(7,8,9)(10,11,12)(13,14,15)(16,17,18), (1,2,6)(3,19,8)(4,20,11)(5,18,15)(7,12,13)(9,17,21) ], -]; - -SCN.Data.Gens[ 11 ] := [ - [ (1,2,3,4,5,6,7,8,9,10,11) ], - [ (1,2,3)(4,5,6), (1,4,7)(2,6,8)(3,5,9) ], - [ (1,2,3)(4,5,6), (1,4,7,3,5,8,2,6,9) ], - [ (1,2)(3,4), (1,5,6,3)(2,7,8,4) ], - [ (1,2)(3,4), (1,3,5,6,2,4,7,8) ], - [ (1,2,3,4,5,6,7,8)(9,10,11,12,13,14,15,16), (1,9,5,13)(2,14,6,10)(3,15,7,11)(4,12,8,16) ], - [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14), (1,15)(2,4)(3,13)(5,14)(6,7)(8,11)(9,16)(10,12) ], - [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14), (1,15,9,16)(2,11,10,3)(4,7,12,13)(5,14,6,8) ], - [ (1,2,3,4)(5,6,7,8)(9,10,11,12)(13,14,15,16)(17,18,19,20)(21,22,23,24)(25,26,27,28)(29,30,31,32), (1,17,3,19)(2,30,4,32)(5,23,7,21)(6,26,8,28)(9,29,11,31)(10,22,12,24)(13,25,15,27)(14,18,16,20) ], - [ (1,2)(3,4), (1,4)(2,3)(5,6), (1,7)(2,8)(3,6)(4,5) ], - [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12), (1,13,9,14)(2,5,10,6)(3,7,4,12)(8,15,11,16), (1,7)(2,11)(3,14)(4,13)(5,16)(6,15)(8,10)(9,12) ], - [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16)(17,18), (1,3)(2,17)(4,11)(5,18)(6,9)(7,16)(8,19)(10,14)(12,15) ], - [ (1,2,3,4,5)(6,7,8,9,10), (1,6,11)(2,10,12)(3,9,13)(4,8,14)(5,7,15) ], - [ (1,2)(3,4), (1,5,3)(2,6,4), (3,5,7)(4,6,8) ], - [ (1,2)(3,4)(5,6), (1,5)(2,7,6,8,4,9) ], - [ (1,2,3,4,5)(6,7,8,9,10), (1,5)(2,6)(3,8)(4,11)(7,9) ], - [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16)(17,18)(19,20)(21,22)(23,24)(25,26)(27,28), (1,16,25,14)(2,26,28,4)(3,17,23,9)(5,6,21,24)(7,27,19,29)(8,12,22,18)(10,11,20,15) ], - [ (1,2,3,4,5)(6,7,8,9,10)(11,12,13,14,15)(16,17,18,19,20)(21,22,23,24,25)(26,27,28,29,30), (1,12,18,2,8)(3,5,14,24,28)(4,9,19,29,31)(6,17,11,15,23)(7,13,10,21,27)(16,22,25,20,26) ], - [ (1,2,3)(4,5,6)(7,8,9)(10,11,12)(13,14,15)(16,17,18), (1,5,18,8,9,10,7,15,14)(2,17,12,4,13,19,11,3,6) ], - [ (1,2,3)(4,5,6)(7,8,9)(10,11,12)(13,14,15)(16,17,18)(19,20,21)(22,23,24)(25,26,27)(28,29,30), (1,31)(2,26)(3,29)(4,16)(5,15)(6,8)(7,10)(9,17)(11,12)(13,21)(14,25)(18,23)(19,30)(22,28)(24,27) ], - [ (1,2,3)(4,5,6)(7,8,9)(10,11,12), (1,6,7,10,2,13,8,11)(3,5,9,14,15,4,16,12) ], - [ (1,2)(3,4,5,6)(7,8,9,10)(11,12,13,14), (1,14,6,15,11,9)(2,13,4,16,12,7)(3,8,5) ], - [ (1,2)(3,4,5,6,7,8,9,10), (1,5,7,3,9) ], - [ (1,2,3,4,5,6,7)(8,9,10,11,12,13,14)(15,16,17,18,19,20,21)(22,23,24,25,26,27,28), (1,18,11,5,10,12,28)(2,7,3,27,17,21,25)(4,29,16,26,9,24,13)(6,20,19,8,15,23,14) ], - [ (1,2,3,4,5,6,7,8), (1,7,2,9,5,3,6,10) ], - [ (1,2,3)(4,5,6)(7,8,9)(10,11,12), (1,5,9)(4,12,7)(6,13,14)(8,15,16) ], - [ (1,2)(3,4)(5,6,7,8)(9,10,11,12)(13,14,15,16)(17,18,19,20)(21,22,23,24)(25,26,27,28), (1,24,7,27)(2,20,16,4)(3,5,17,11)(6,18,14,28)(8,23,12,26)(9,19,15,25)(10,21)(13,22) ], - [ (1,2,3)(4,5,6), (1,7,4,6,2,5,8,9) ], - [ (1,2,3,4,5), (1,6) ], - [ (1,2,3,4,5,6,7,8), (1,2,3,9,7,6,5,10) ], - [ (1,2,3,4)(5,6,7,8), (1,5,9,10,3,7,11,12)(2,13,4,14) ], - [ (1,2,3,4,5,6,7), (1,2)(4,8) ], - [ (1,2,3)(4,5,6), (1,4,7)(2,8,9) ], - [ (1,2,3,4,5,6,7,8)(9,10,11,12,13,14,15,16), (1,2,3,9,16,6,15,14)(4,12,5,17,18,7,11,8) ], - [ (1,2,3,4,5,6,7)(8,9,10,11,12,13,14)(15,16,17,18,19,20,21)(22,23,24,25,26,27,28)(29,30,31,32,33,34,35)(36,37,38,39,40,41,42)(43,44,45,46,47,48,49)(50,51,52,53,54,55,56)(57,58,59,60,61,62,63), (1,2,3,38,6,9,50)(4,12,48,55,19,37,62)(5,56,32,14,61,49,22)(7,54,64,63,28,51,47)(8,59,15,30,18,25,36)(11,24,46,17,44,42,27)(16,45,41,65,21,35,34)(20,52,57,40,39,60,26)(23,31,53,29,58,33,43) ], -]; - -SCN.Data.Gens[ 12 ] := [ - [ (1,2,3)(4,5,6,7) ], - [ (1,2), (3,4)(5,6,7) ], - [ (1,2,3), (2,3)(4,5,6,7,8,9,10,11) ], - [ (1,2), (1,3)(4,5,6,7) ], - [ (1,2,3,4)(5,6), (5,7,6)(8,9) ], - [ (1,2), (3,4), (1,5)(6,7) ], - [ (1,2)(3,4), (1,4)(2,5)(6,7,8) ], - [ (1,2,3,4,5,6,7,8,9), (2,9)(3,8)(4,7)(5,6)(10,11,12,13) ], - [ (1,2)(3,4), (2,4,3)(5,6,7,8,9,10,11,12,13) ], - [ (1,2)(3,4)(5,6)(7,8), (1,4)(2,8)(3,6)(7,9)(10,11) ], - [ (1,2,3), (4,5,6), (2,3)(5,6)(7,8,9,10) ], - [ (1,2,3), (1,4,2)(5,6,7) ], - [ (1,2,3), (2,3)(4,5), (4,6,5)(7,8) ], - [ (1,2)(3,4)(5,6)(7,8), (1,9)(3,7)(4,6)(8,10) ], - [ (1,2)(3,4)(5,6)(7,8), (1,9)(3,6,8,10,7,5,4,11) ], - [ (1,2,3)(4,5)(6,7)(8,9), (1,3)(4,8,7,9)(5,10,6,11) ], - [ (1,2)(3,4)(5,6)(7,8), (1,9)(3,6,4,10,7,5,8,11) ], - [ (1,2,3,4,5,6,7,8)(9,10)(11,12,13,14,15,16,17,18), (1,11,5,15)(2,18,6,14)(3,17,7,13)(4,16,8,12)(9,19) ], - [ (1,2)(3,4)(5,6), (1,7)(3,8,4,6,5) ], - [ (1,2,3), (1,4)(2,5,3,6)(7,8,9,10,11,12,13,14) ], - [ (1,2)(3,4,5), (1,6)(4,7,5) ], - [ (1,2)(3,4,5), (3,6)(4,7,5,8) ], - [ (1,2,3)(4,5,6)(7,8,9), (1,10,2)(4,8,11)(5,7,9) ], - [ (1,2,3,4)(5,6)(7,8)(9,10), (1,11,5)(2,10,6)(3,12,8)(4,9,7) ], - [ (1,2,3)(4,5,6)(7,8,9), (4,5,9,7)(6,10,8,11), (1,12)(2,3) ], - [ (1,2,3)(4,5,6), (2,3)(4,7)(5,8,6,9) ], - [ (1,2)(3,4)(5,6)(7,8), (1,9)(3,10,8,5,7,4) ], - [ (1,2,3,4)(5,6,7,8), (1,4,7,9)(3,6,8,5)(10,11,12,13) ], - [ (1,2,3,4)(5,6,7,8), (1,4,7,9)(3,6,8,5), (10,11) ], - [ (1,2,3)(4,5,6)(7,8,9), (2,10,3)(4,5,11,6,7,9) ], - [ (1,2)(3,4,5,6)(7,8,9,10), (1,11)(3,5,9,6)(4,8,7,12) ], - [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16)(17,18)(19,20)(21,22)(23,24)(25,26)(27,28)(29,30)(31,32)(33,34)(35,36), (1,27,8)(2,12,35)(3,26,30)(4,32,16)(5,6,21)(7,13,37)(9,33,22)(10,18,24)(11,20,29)(14,15,19)(17,34,36)(23,25,28) ], - [ (1,2,3,4,5)(6,7,8,9,10)(11,12,13,14,15)(16,17,18,19,20)(21,22,23,24,25)(26,27,28,29,30)(31,32,33,34,35)(36,37,38,39,40), (1,6,2,25,41,14,19,35,20,12,42,22)(3,43,18,8,37,9,16,44,5,32,30,33)(4,11,36,45,26,23,17,24,29,46,38,15)(7,27,13,28,10,47,31,39,21,40,34,48) ], - [ (1,2,3,4,5,6)(7,8,9,10,11,12)(13,14,15,16,17,18)(19,20,21,22,23,24)(25,26,27,28,29,30)(31,32,33,34,35,36)(37,38), (1,9,38)(2,25,21)(3,23,33)(4,37,12)(5,24,28)(6,36,20)(7,32,17)(8,13,26)(10,14,35)(11,29,16)(27,30,39)(31,40,34) ], - [ (1,2,3)(4,5,6)(7,8), (1,4)(2,9) ], - [ (1,2,3,4)(5,6), (1,7)(5,8) ], - [ (1,2,3,4)(5,6,7,8)(9,10,11,12)(13,14,15,16)(17,18)(19,20), (1,5,21,3,7,22)(2,9,23,13,6,20)(4,11,24,15,8,19)(10,18,14)(12,17,16) ], - [ (1,2,3,4,5,6,7,8)(9,10,11,12,13,14,15,16)(17,18,19,20,21,22,23,24)(25,26,27,28,29,30,31,32)(33,34)(35,36,37,38)(39,40,41,42)(43,44), (1,17,45)(2,29,37)(3,23,46)(4,31,38)(5,21,47)(6,25,35)(7,19,48)(8,27,36)(9,18,41)(10,30,44)(11,20,40)(12,28,33)(13,22,39)(14,26,43)(15,24,42)(16,32,34) ], - [ (1,2,3,4,5,6,7,8)(9,10,11,12,13,14,15,16)(17,18)(19,20,21,22), (1,9,23)(2,21,10)(3,15,18)(4,22,12)(5,13,24)(6,19,14)(7,11,17)(8,20,16) ], - [ (1,2,3)(4,5,6)(7,8,9)(10,11,12)(13,14,15), (1,6,12,16)(2,9,10,15)(3,7)(4,8,5,14) ], - [ (1,2,3,4,5,6)(7,8), (1,7,9)(4,8,10) ], - [ (1,2,3,4)(5,6,7,8)(9,10,11,12)(13,14,15,16), (1,17)(2,6,15,8)(3,7,18,5)(4,11,14,9)(10,16,12,13) ], - [ (1,2,3,4,5)(6,7,8,9,10)(11,12,13,14,15)(16,17,18,19,20)(21,22,23,24,25)(26,27,28,29,30), (1,28)(2,27)(3,26,13,24)(4,30,19,8)(5,22)(6,11,21,16)(7,20,29,15)(9,18)(10,12,25,17)(14,23) ], - [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12), (1,3,2,13,9,8)(4,14,15,12,7,5)(6,11,16) ], - [ (1,2,3)(4,5,6)(7,8,9)(10,11,12)(13,14,15)(16,17,18)(19,20,21)(22,23,24)(25,26,27)(28,29,30)(31,32,33)(34,35,36)(37,38,39)(40,41,42)(43,44,45)(46,47,48)(49,50,51)(52,53,54)(55,56,57)(58,59,60)(61,62,63)(64,65,66)(67,68,69)(70,71,72)(73,74,75)(76,77,78)(79,80,81)(82,83,84)(85,86,87)(88,89,90)(91,92,93)(94,95,96)(97,98,99)(100,101,102)(103,104,105)(106,107,108)(109,110,111)(112,113,114)(115,116,117)(118,119,120), (1,10,67,84)(2,23,63,29)(3,31,37,115)(4,69,7,65)(5,58,99,56)(6,109,49,71)(8,45,98,76)(9,11,105,14)(12,30,117,96)(13,70,42,102)(15,80,91,44)(16,92,46,53)(17,33,82,43)(18,89,95,38)(19,107,112,55)(20,88,54,81)(21,97,83,75)(22,116,121,28)(24,61,78,59)(25,48,119,27)(26,87,113,108)(32,39,35,34)(36,51,41,50)(40,110,86,120)(47,106,79,100)(52,101,118,93)(57,85,74,68)(60,72,103,62)(64,77,104,94)(66,90,73,111) ], - [ (1,2)(3,4,5,6)(7,8)(9,10,11,12)(13,14,15,16)(17,18,19,20)(21,22,23,24)(25,26,27,28)(29,30,31,32)(33,34,35,36)(37,38,39,40)(41,42,43,44), (1,27,5,22)(2,17,7,3,24,19,25,45)(4,10,9,43,16,40,11,29)(6,12,23,41,13,20,21,35)(8,44,28,26,34,32,42,30)(14,38,39,31,15,18,37,33) ], - [ (1,2,3,4,5,6,7,8,9)(10,11,12,13,14,15,16,17,18), (1,2,3,19,10,8,5,16,20)(4,6,13,7,9,12,11,15,14) ], - [ (1,2)(3,4)(5,6)(7,8), (1,3,5,9,10,11)(2,12,8)(7,13) ], - [ (1,2,3)(4,5,6)(7,8,9)(10,11,12), (1,2,11,6,13)(3,4,14,8,12)(5,9,15,16,7) ], - [ (1,2,3,4,5,6,7,8,9,10)(11,12,13,14,15,16,17,18,19,20)(21,22,23,24,25,26,27,28,29,30)(31,32,33,34,35,36,37,38,39,40)(41,42,43,44,45,46,47,48,49,50)(51,52,53,54,55,56,57,58,59,60)(61,62,63,64,65,66,67,68,69,70)(71,72,73,74,75,76,77,78,79,80)(81,82,83,84,85,86,87,88,89,90)(91,92,93,94,95,96,97,98,99,100)(101,102,103,104,105,106,107,108,109,110)(111,112,113,114,115,116,117,118,119,120)(121,122,123,124,125,126,127,128,129,130)(131,132,133,134,135,136,137,138,139,140)(141,142,143,144,145,146,147,148,149,150)(151,152,153,154,155,156,157,158,159,160)(161,162,163,164,165,166,167,168,169,170)(171,172,173,174,175,176,177,178,179,180)(181,182,183,184,185,186,187,188,189,190)(191,192,193,194,195,196,197,198,199,200)(201,202,203,204,205,206,207,208,209,210)(211,212,213,214,215,216,217,218,219,220)(221,222,223,224,225,226,227,228,229,230)(231,232,233,234,235,236,237,238,239,240)(241,242,243,244,245,246,247,248,249,250)(251,252,253,254,255,256,257,258,259,260)(261,262,263,264,265,266,267,268,269,270)(271,272,273,274,275,276,277,278,279,280)(281,282,283,284,285,286,287,288,289,290)(291,292,293,294,295,296,297,298,299,300)(301,302,303,304,305,306,307,308,309,310)(311,312,313,314,315,316,317,318,319,320)(321,322,323,324,325,326,327,328,329,330)(331,332,333,334,335,336,337,338,339,340)(341,342,343,344,345,346,347,348,349,350)(351,352,353,354,355,356,357,358,359,360), (1,2,57,219,222,352,310,270,322,5)(3,50,335,199,242,282,28,296,40,163)(4,347,262,80,129,200,231,212,66,266)(6,295,272,65,91,253,156,150,32,327)(7,183,18,79,185,287,301,188,265,299)(8,343,313,356,56,74,33,141,34,350)(9,269,37,268,100,38,285,243,319,331)(10,202,59,194,68,127,104,146,180,158)(11,255,215,178,36,110,349,124,48,75)(12,240,211,53,207,264,88,220,241,177)(13,274,120,145,51,346,311,278,167,174)(14,130,326,62,125,27,216,276,263,328)(15,111,173,140,47,330,102,94,203,256)(16,117,26,83,137,157,221,338,90,297)(17,142,333,248,293,138,93,76,78,101)(19,149,45,61,239,182,95,41,232,161)(20,244,85,121,139,134,286,339,355,42)(21,81,128,267,291,289,147,162,97,135)(22,204,359,46,193,315,132,261,345,316)(23,277,235,82,306,170,77,181,144,245)(24,84,298,303,247,198,271,300,213,217)(25,31,184,218,153,206,323,115,71,205)(29,246,357,230,43,225,214,30,336,294)(35,131,318,103,112,123,99,307,332,223)(39,70,190,151,340,113,358,122,275,55)(44,337,344,292,334,133,64,229,234,189)(49,116,92,72,98,197,351,195,302,238)(52,314,329,279,87,312,89,305,260,105)(54,325,69,317,106,126,284,304,119,320)(58,341,154,176,257,168,280,237,259,107)(60,228,155,114,164,191,108,118,186,273)(63,258,67,143,252,321,96,109,209,166)(73,324,226,251,175,187,169,159,192,281)(86,196,224,360,249,152,160,233,254,283)(136,342,210,165,308,361,290,179,172,236)(148,171,309,250,201,208,288,354,353,348) ], - [ (1,2,3)(4,5,6)(7,8,9)(10,11,12)(13,14,15)(16,17,18), (1,2,4)(3,7,10)(5,19,20)(6,13,16)(8,21,15)(9,17,22) ], -]; - -SCN.Data.Gens[ 13 ] := [ - [ (1,2,3,4,5,6,7,8,9,10,11,12,13) ], - [ (1,2)(3,4,5,6)(7,8,9,10)(11,12), (1,13)(2,11)(3,9,5,7)(4,8,6,10) ], - [ (1,2)(3,4)(5,6), (1,7)(2,8)(3,6)(4,9) ], - [ (1,2)(3,4)(5,6), (1,7,2,8)(3,6)(4,9) ], - [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16)(17,18)(19,20)(21,22), (1,3)(2,5)(4,21)(6,9)(7,13)(8,20)(10,17)(11,16)(12,18)(14,23)(19,22) ], - [ (1,2), (1,3,4,5)(2,6,7,8) ], - [ (1,2,3,4)(5,6,7,8)(9,10)(11,12,13,14), (1,15,11,16)(2,7,12,5)(3,10,13,9)(4,6,14,8) ], - [ (1,2,3,4), (1,5,4,6)(2,7,3,8) ], - [ (1,2,3,4)(5,6,7,8)(9,10,11,12)(13,14,15,16), (1,5,9,13)(2,8,10,16)(3,15,11,7)(4,6,12,14) ], - [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12), (1,5,7,13,9,6,11,14)(2,15,8,4,10,16,12,3) ], - [ (1,2,3,4)(5,6,7,8), (1,9,5,10,3,11,7,12)(2,13,8,14,4,15,6,16) ], - [ (1,2,3)(4,5,6)(7,8,9)(10,11,12)(13,14,15)(16,17,18)(19,20,21)(22,23,24)(25,26,27)(28,29,30), (1,29,17)(2,22,25)(3,6,11)(4,27,7)(5,13,28)(8,31,26)(9,24,14)(10,12,30)(15,20,18)(16,21,23) ], - [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12), (1,9,7,13,14,12)(2,10,6,15,16,4)(3,8)(5,11) ], - [ (1,2,3,4)(5,6,7,8)(9,10,11,12,13,14,15,16,17,18,19,20)(21,22,23,24,25,26,27,28,29,30,31,32), (1,21,19,29,3,27,13,23)(2,24,16,32,4,30,10,26)(5,15,31,11,7,9,25,17)(6,18,28,14,8,12,22,20) ], - [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12), (1,9,6,13,14,12,2,10,7,15,16,4)(3,5,11,8) ], - [ (1,2)(3,4)(5,6,7,8), (1,9)(2,3)(6,8,10,7) ], - [ (1,2,3)(4,5,6,7,8), (1,9)(5,8)(6,7) ], - [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16)(17,18)(19,20)(21,22)(23,24)(25,26)(27,28)(29,30)(31,32)(33,34)(35,36), (1,19,20,35)(2,4,16,14)(3,31,22,23)(5,30,24,11)(6,28,12,9)(7,18,26,37)(8,33,10,21)(13,17,32,36)(15,29,34,25) ], - [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14), (1,3,8,5,12,6,9,4,13,15)(2,14)(7,10) ], - [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12), (1,6,2,4,9,10,13,7,3,5,8,11) ], - [ (1,2,3,4,5)(6,7,8,9,10)(11,12,13,14,15)(16,17,18,19,20)(21,22,23,24,25)(26,27,28,29,30), (1,6,31,29,20)(2,19,26,32,9)(3,5,24,10,13)(4,27,22,15,28)(7,14,23,8,17)(11,30,21,16,18) ], - [ (1,2,3), (1,4,5)(2,6,7,3,8,9) ], - [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16)(17,18)(19,20)(21,22)(23,24)(25,26), (1,3,16,4,9,5)(2,10,12,23,7,20)(6,8,13,26,21,24)(11,22,17,14,19,27)(15,18) ], - [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16)(17,18)(19,20)(21,22)(23,24)(25,26), (1,11,26,21,9,6)(2,18,7,10,20,24)(3,15,4,17,5,8)(12,23,27,19,22,14)(13,25) ], - [ (1,2,3), (1,4)(2,5)(3,6)(7,8), (2,3)(4,9)(5,8)(6,7) ], - [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16)(17,18)(19,20)(21,22)(23,24)(25,26), (1,11)(2,17)(3,20)(4,8)(5,22)(6,23)(7,27)(9,15)(10,26)(12,21)(14,19)(16,18)(24,25), (1,13)(2,21)(3,17)(4,9)(5,18)(6,8)(7,22)(10,25)(12,20)(14,26)(15,23)(16,27)(19,24) ], - [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16)(17,18)(19,20)(21,22)(23,24)(25,26), (1,11)(2,18)(3,24)(4,13)(5,26)(6,7)(8,25)(9,27)(12,17)(14,23)(15,22)(16,20)(19,21), (1,10)(2,7)(3,18)(4,26)(5,21)(6,24)(8,9)(12,27)(13,19)(14,16)(15,20)(17,25)(22,23) ], - [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16)(17,18)(19,20)(21,22)(23,24)(25,26), (1,3)(2,6)(4,24)(5,19)(7,17)(8,26)(9,11)(10,15)(12,22)(13,25)(14,20)(18,23)(21,27), (1,12)(2,26)(3,7)(4,10)(5,13)(6,11)(8,27)(9,19)(14,22)(15,25)(16,17)(18,24)(21,23) ], - [ (1,2,3)(4,5,6)(7,8,9)(10,11,12), (1,11,3,13)(2,6,14,4)(5,9,15,7)(8,12,16,10) ], - [ (1,2,3)(4,5,6)(7,8,9)(10,11,12), (1,13,14,8,6,15,16,10)(2,11,5,7,4,9,3,12) ], - [ (1,2)(3,4,5,6), (1,7,4)(2,8,6) ], - [ (1,2,3,4), (1,5,6)(3,7,8) ], - [ (1,2,3,4,5)(6,7,8,9,10)(11,12,13,14,15)(16,17,18,19,20)(21,22,23,24,25)(26,27,28,29,30)(31,32,33,34,35)(36,37,38,39,40), (1,9,30,21,10)(2,36,22,32,31)(3,27,14,12,26)(4,25,16,39,29)(5,41,20,11,35)(6,8,38,18,15)(7,19,23,13,33)(17,37,34,40,28) ], - [ (1,2)(3,4,5,6,7,8,9,10)(11,12,13,14,15,16,17,18)(19,20,21,22,23,24,25,26), (1,14)(2,20)(3,22)(4,13)(5,12)(6,27)(7,23)(8,25)(9,15)(11,16)(17,21)(19,26) ], - [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14), (1,6,7,3,15,10)(2,5,8,14,11,13)(4,16,17,18,9,12) ], - [ (1,2,3,4,5,6,7,8,9,10,11)(12,13,14,15,16,17,18,19,20,21,22), (1,5,16,18,2,14,8,7,20,17,23)(3,10,4,13,9,12,15,21,19,6,22) ], - [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16)(17,18)(19,20)(21,22)(23,24)(25,26)(27,28)(29,30)(31,32)(33,34)(35,36)(37,38)(39,40)(41,42), (1,19,41)(2,4,16)(3,31,27)(5,42,13)(6,28,11)(7,30,43)(8,40,25)(9,18,14)(10,33,39)(12,21,32)(15,17,29)(20,26,23)(22,38,37)(24,35,34) ], - [ (1,2,3,4,5,6,7)(8,9,10,11,12,13,14)(15,16,17,18,19,20,21)(22,23,24,25,26,27,28)(29,30,31,32,33,34,35)(36,37,38,39,40,41,42), (1,33,21,20,15,35,4)(2,16,9,28,39,24,19)(3,42,30,43,36,32,14)(5,38,27,23,11,41,31)(6,29,12,37,10,7,25)(8,13,18,34,26,17,40) ], - [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16)(17,18)(19,20)(21,22)(23,24)(25,26)(27,28)(29,30), (1,24,11,14,8)(2,3,9,22,26)(4,31,28,20,5)(6,16,30,15,12)(7,29,25,18,17)(10,19,21,13,23) ], - [ (1,2)(3,4), (1,5,6,7,8,4,2,9,3) ], - [ (1,2,3,4,5,6,7,8)(9,10,11,12,13,14,15,16)(17,18,19,20,21,22,23,24)(25,26,27,28,29,30,31,32)(33,34,35,36,37,38,39,40), (1,41)(2,24)(3,35)(4,15)(5,12)(6,16)(7,37)(8,19)(9,18)(10,31)(11,17)(13,25)(14,36)(20,22)(21,34)(23,28)(26,27)(29,39)(32,40)(33,38) ], - [ (1,2,3)(4,5,6)(7,8,9)(10,11,12)(13,14,15)(16,17,18)(19,20,21)(22,23,24)(25,26,27)(28,29,30)(31,32,33)(34,35,36), (1,7,28,9,33,20,18,21,13)(2,26,25,5,35,14,19,29,4)(3,8,34,32,30,12,31,22,23)(6,24,37,17,10,27,36,16,15) ], - [ (1,2)(3,4), (1,5,3,6,7,8,2,9)(4,10) ], - [ (1,2,3), (1,4,3,5,6,7,2,8) ], - [ (1,2,3,4,5,6,7,8)(9,10,11,12,13,14,15,16)(17,18,19,20,21,22,23,24), (1,9,25)(2,21,12)(3,8,13)(4,6,22)(5,19,11)(7,14,15)(16,20,24)(17,23,18) ], - [ (1,2,3)(4,5,6)(7,8,9)(10,11,12)(13,14,15)(16,17,18)(19,20,21)(22,23,24)(25,26,27)(28,29,30)(31,32,33)(34,35,36)(37,38,39)(40,41,42)(43,44,45)(46,47,48)(49,50,51)(52,53,54)(55,56,57)(58,59,60)(61,62,63)(64,65,66)(67,68,69)(70,71,72), (1,4,73)(2,62,48)(3,70,58)(5,51,37)(6,17,10)(7,45,69)(8,18,23)(9,32,74)(11,68,34)(12,75,63)(13,55,61)(14,36,76)(15,29,54)(19,77,30)(20,35,42)(21,72,26)(22,25,78)(24,38,28)(27,47,33)(31,57,65)(40,44,59)(43,64,79)(49,80,60)(50,66,53) ], - [ (1,2,3,4)(5,6,7,8)(9,10)(11,12,13,14), (1,2,15,9)(3,5,8,14)(4,7,11,16)(6,10) ], - [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16)(17,18)(19,20)(21,22)(23,24)(25,26)(27,28)(29,30)(31,32)(33,34)(35,36)(37,38)(39,40), (1,8,41,42,18,20,31,27)(2,13,12,7)(3,28,9,19,16,14,43,44)(4,38,24,30,45,46,10,37)(5,22,47,48,26,33,25,40)(6,29)(11,36,49,50,32,39,17,34)(15,21,23,35) ], - [ (1,2,3)(4,5,6)(7,8,9)(10,11,12)(13,14,15)(16,17,18)(19,20,21)(22,23,24), (1,4,16)(2,15,25)(3,8,13)(5,26,7)(6,24,20)(9,23,14)(10,22,11)(12,27,18) ], - [ (1,2,3,4,5,6,7,8,9,10), (1,2,4,6,7,11,3,9,5,12) ], - [ (1,2,3,4,5,6,7,8), (1,3)(4,9)(8,10) ], - [ (1,2,3,4)(5,6,7,8)(9,10,11,12)(13,14,15,16)(17,18,19,20)(21,22,23,24)(25,26,27,28)(29,30,31,32)(33,34,35,36)(37,38,39,40)(41,42,43,44)(45,46,47,48)(49,50,51,52)(53,54,55,56)(57,58,59,60)(61,62,63,64)(65,66,67,68)(69,70,71,72)(73,74,75,76)(77,78,79,80), (1,73,2)(3,31,51)(4,32,56)(5,14,39)(6,23,38)(7,41,13)(8,26,49)(9,33,37)(10,67,63)(11,61,65)(12,76,22)(15,57,59)(16,43,74)(17,46,80)(18,28,69)(19,44,71)(20,53,68)(21,79,29)(24,35,81)(25,34,50)(27,55,72)(30,70,58)(36,75,66)(40,54,48)(42,64,60)(45,78,62) ], - [ (1,2,3,4)(5,6,7,8)(9,10,11,12)(13,14,15,16)(17,18,19,20)(21,22,23,24)(25,26,27,28)(29,30,31,32)(33,34,35,36)(37,38,39,40)(41,42,43,44)(45,46,47,48)(49,50,51,52)(53,54,55,56)(57,58,59,60)(61,62,63,64)(65,66,67,68)(69,70,71,72)(73,74,75,76)(77,78,79,80), (1,74,66)(2,29,34)(3,45,49)(4,64,46)(5,81,24)(6,78,23)(7,58,15)(8,26,51)(9,39,54)(10,79,75)(11,33,22)(12,43,41)(13,56,37)(14,73,35)(16,60,77)(18,68,72)(19,40,70)(20,69,53)(21,30,25)(28,32,50)(36,42,55)(38,76,59)(44,48,47)(52,61,57)(62,65,80)(63,67,71) ], -]; - -SCN.Data.Gens[ 14 ] := [ - [ (1,2)(3,4,5,6,7,8,9) ], - [ (1,2)(3,4)(5,6), (1,7,6,8)(2,4,5,3)(9,10,11,12) ], - [ (1,2,3,4)(5,6,7,8), (2,8)(4,6)(5,7)(9,10,11,12) ], - [ (1,2,3,4), (1,5,4,6,3,7,2,8) ], - [ (1,2,3,4,5,6,7,8), (2,4)(3,7)(6,8)(9,10,11,12) ], - [ (1,2,3,4,5,6,7,8), (2,8)(3,7)(4,6)(9,10,11,12) ], - [ (1,2,3,4,5,6,7,8)(9,10,11,12,13,14,15,16), (1,9,7,15,5,13,3,11)(2,16,4,10,6,12,8,14) ], - [ (1,2), (3,4)(5,6), (1,7,2,8)(3,5) ], - [ (1,2,3,4), (2,4)(5,6), (5,7)(6,8) ], - [ (1,2,3,4)(5,6,7,8), (9,10), (1,5,3,7)(2,8,4,6)(9,11)(10,12) ], - [ (1,2)(3,4), (1,5)(2,6)(3,7)(4,8)(9,10), (1,3,2,4)(5,8,6,7)(9,11)(10,12) ], - [ (1,2,3,4)(5,6,7,8), (2,4)(6,8)(9,10), (1,5,3,7)(2,6,4,8)(9,11,10,12) ], - [ (1,2,3,4)(5,6,7,8), (2,4)(6,8)(9,10,11,12)(13,14,15,16), (1,7,3,5)(2,8,4,6)(9,13,11,15)(10,16,12,14) ], - [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12), (1,13,8,14)(2,15,7,16)(3,5,10,6)(4,12,9,11), (1,5,2,11)(3,16,9,14)(4,13,10,15)(6,7,12,8) ], - [ (1,2)(3,4), (3,5,4,6), (1,7,2,8) ], - [ (1,2,3,4)(5,6,7,8), (1,5,3,7)(2,8,4,6)(9,10), (9,11,10,12) ], - [ (1,2), (3,4)(5,6)(7,8), (3,9)(4,5)(6,7)(8,10) ], - [ (1,2), (3,4)(5,6)(7,8), (3,5,4,9,8,6,7,10) ], - [ (1,2,3,4)(5,6,7,8)(9,10,11,12)(13,14,15,16), (1,16,3,14)(2,6,4,8)(5,9,7,11)(10,13,12,15), (17,18) ], - [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12), (1,13)(2,3)(4,7)(5,14)(6,9)(8,15)(10,11)(12,16), (1,5,8,12)(2,6,7,11)(3,9,4,10)(13,14,15,16) ], - [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12,13,14), (1,5,9,3,8,7,4,10,6,2,15) ], - [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12), (1,3)(2,6)(4,8)(5,9)(7,13) ], - [ (1,2,3)(4,5,6), (2,6,7)(3,8,5)(9,10) ], - [ (1,2,3)(4,5,6)(7,8,9)(10,11,12), (1,6)(2,13)(3,10)(4,9)(5,14)(7,12)(8,15)(11,16) ], - [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16)(17,18)(19,20)(21,22)(23,24), (1,13)(2,7)(3,19)(4,15)(5,23)(6,10)(8,12)(9,22)(11,16)(14,17)(18,24)(20,25) ], - [ (1,2,3,4,5), (1,2)(3,5)(6,7)(8,9), (6,8,9,7,10) ], - [ (1,2,3)(4,5,6)(7,8,9)(10,11,12), (1,13,6)(2,7,10)(3,11,4)(5,9,8)(14,15) ], - [ (1,2)(3,4)(5,6)(7,8), (1,2,9,6)(3,10,7,11,4,12,8,13) ], - [ (1,2)(3,4,5,6), (1,7,2,8)(3,4)(5,9) ], - [ (1,2,3,4,5)(6,7)(8,9), (1,2,4,3)(6,10,8,11,7,12,9,13) ], - [ (1,2)(3,4)(5,6), (1,7)(2,8)(3,5,9,4) ], - [ (1,2,3)(4,5,6), (1,2)(3,5)(4,7)(8,9,10,11) ], - [ (1,2)(3,4)(5,6), (1,2,4)(3,5,7)(8,9) ], - [ (1,2,3,4)(5,6,7,8)(9,10,11), (1,8,3,6)(2,7,4,5)(9,12) ], - [ (1,2)(3,4), (1,5,2,6)(3,7,8) ], - [ (1,2)(3,4)(5,6), (1,7,8)(4,6) ], - [ (1,2,3,4)(5,6,7,8)(9,10,11,12)(13,14,15,16,17,18,19,20), (1,5,6,12,4,9,11,2,10,8,7,3,21) ], - [ (1,2,3,4)(5,6,7,8)(9,10,11,12), (1,9)(2,3)(4,8)(5,12)(6,13)(7,11)(14,15) ], - [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12), (1,11,13,14,5,7,15,16,3,10,17,18)(2,8,4,12,6,9) ], - [ (1,2,3,4,5)(6,7,8,9,10)(11,12), (1,8,5,9,3)(2,4,13,7,6) ], - [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12), (1,5,13,14)(2,10,4,12)(3,11,8,6)(7,9,15,16) ], - [ (1,2,3,4)(5,6,7,8)(9,10,11,12)(13,14)(15,16,17,18)(19,20,21,22)(23,24,25,26)(27,28,29,30), (1,31,19,32)(2,7,20,23)(3,10,21,12)(4,24,22,8)(5,27,25,18)(6,29,26,16)(9,28,11,15)(13,17,14,30) ], - [ (1,2)(3,4,5,6)(7,8,9,10)(11,12)(13,14,15,16), (1,3,11,13)(2,16)(4,10)(5,7,15,9)(6,12)(8,14) ], - [ (1,2,3,4)(5,6)(7,8)(9,10,11,12)(13,14)(15,16)(17,18,19,20)(21,22,23,24)(25,26)(27,28), (1,5,9,29,3,15,11,30)(2,28,17,14,4,26,19,13)(6,20,7,24,16,18,8,22)(10,31,23,27,12,32,21,25) ], - [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16)(17,18)(19,20)(21,22)(23,24)(25,26)(27,28)(29,30)(31,32)(33,34)(35,36)(37,38)(39,40), (1,25,4,28)(2,10,41,7)(3,38,6,35)(5,20,8,17)(9,15,12,18)(11,33,14,36)(13,30,16,27)(19,23,22,26)(21,40,24,37)(29,31,32,34) ], - [ (1,2)(3,4), (1,5,6,7,2,3)(4,8) ], - [ (1,2,3,4)(5,6,7,8), (1,3)(2,9,6,10,4,11,8,12) ], - [ (1,2,3,4)(5,6,7,8), (2,9,3,4)(5,10,8,6) ], - [ (1,2)(3,4), (1,5,3,6)(2,7,8,9)(4,10) ], - [ (1,2,3,4)(5,6), (5,6,7,8,9) ], - [ (1,2,3,4), (1,5)(6,7) ], - [ (1,2)(3,4,5,6), (2,7,8)(3,6)(5,9) ], - [ (1,2,3), (1,4,2,5)(3,6,7,8) ], - [ (1,2,3), (4,5,6), (2,7)(5,8) ], - [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16)(17,18)(19,20)(21,22)(23,24)(25,26)(27,28)(29,30)(31,32)(33,34)(35,36)(37,38)(39,40)(41,42)(43,44)(45,46)(47,48), (1,38,13)(2,35,47)(3,31,6)(4,34,14)(5,37,16)(7,24,45)(8,21,15)(9,44,28)(10,41,46)(11,20,33)(12,22,18)(17,26,39)(19,36,49)(23,48,40)(25,42,43)(27,29,30) ], - [ (1,2,3,4,5,6)(7,8,9,10,11,12), (7,11,12,9,8,10,13), (1,5,6,3,2,4,14) ], - [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12), (1,9,13)(2,5,6)(3,14,12)(4,7,8) ], - [ (1,2,3,4,5)(6,7,8,9,10), (1,6,11)(2,8,12,3,10,13,5,9,14,4,7,15) ], - [ (1,2)(3,4)(5,6)(7,8)(9,10), (1,4)(2,11,3,12,6,13,9,14,8,15)(5,7) ], - [ (1,2,3,4,5)(6,7,8,9,10)(11,12,13,14,15)(16,17,18,19,20)(21,22,23,24,25)(26,27,28,29,30)(31,32,33,34,35)(36,37,38,39,40)(41,42,43,44,45)(46,47,48,49,50)(51,52,53,54,55)(56,57,58,59,60), (1,30,47,31,17,53,12,56)(2,35,49,27,18,60,14,55)(3,26,16,40,19,54,5,24)(4,39,6,25,20,23,44,36)(7,22,50,59,45,38,15,34)(8,58,9,61,41,33,42,62)(10,32,11,21,43,57,46,37)(13,29,63,51,48,52,64,28) ], - [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16)(17,18)(19,20)(21,22)(23,24)(25,26)(27,28), (1,3,7,29,15)(2,25,27,23,30)(4,22,13,28,16)(5,20,24,9,17)(6,12,19,8,31)(11,26,18,21,32) ], - [ (1,2,3,4,5,6)(7,8,9,10,11,12)(13,14,15), (1,7,13,11,6,16)(2,9,5)(3,15,8,10,14,4) ], - [ (1,2,3,4,5,6,7,8)(9,10,11,12,13,14,15,16)(17,18,19,20)(21,22)(23,24,25,26,27,28,29,30)(31,32,33,34,35,36,37,38)(39,40)(41,42,43,44), (1,45,14)(2,41,13)(3,46,27)(4,19,26)(5,47,10)(6,43,9)(7,48,23)(8,17,30)(11,31,18)(12,34,40)(15,35,20)(16,38,39)(21,25,36)(22,29,32)(24,33,42)(28,37,44) ], - [ (1,2,3,4,5,6,7,8)(9,10)(11,12)(13,14,15,16,17,18,19,20), (1,13,21)(2,16,10)(3,19,11)(4,18,22)(5,17,23)(6,20,9)(7,15,12)(8,14,24) ], - [ (1,2)(3,4,5,6)(7,8)(9,10,11,12)(13,14)(15,16)(17,18)(19,20), (1,3,21)(2,4,18)(5,22,8)(6,17,7)(9,23,19)(10,15,20)(11,24,13)(12,16,14), (1,13,8,19)(2,20,7,14)(3,9)(4,12)(5,11)(6,10)(15,16)(23,24) ], - [ (1,2,3)(4,5,6)(7,8,9)(10,11,12)(13,14,15)(16,17,18)(19,20,21), (1,9)(2,5)(3,18)(4,16)(6,8)(7,17)(13,14,19,20)(15,22,21,23), (1,11,16,24)(2,18,5,6)(3,17,8,7)(4,12,9,10) ], - [ (1,2)(3,4,5,6)(7,8)(9,10,11,12)(13,14)(15,16)(17,18)(19,20), (1,21,3)(2,17,6)(4,15,18)(5,16,22)(7,23,9)(8,19,12)(10,14,20)(11,13,24), (1,13)(2,8)(3,9,5,11)(4,10,6,12)(7,16)(14,15)(17,18)(23,24) ], - [ (1,2,3,4,5,6,7)(8,9,10,11,12,13,14)(15,16,17,18,19,20,21), (1,22,8,16)(2,23,14,18,7,24,9,21)(3,25,13,20,6,26,10,19)(4,27,12,15,5,28,11,17) ], - [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16)(17,18)(19,20)(21,22)(23,24)(25,26)(27,28)(29,30)(31,32)(33,34)(35,36)(37,38)(39,40), (1,41,7,24,21)(2,15,25,14,18)(3,8,39,11,40)(4,23,6,31,38)(5,16,10,34,20)(9,32,28,37,19)(12,26,29,30,36)(13,33,35,27,22) ], - [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16)(17,18)(19,20)(21,22)(23,24), (1,14,22,25)(2,19,7,8)(3,17,23,20)(4,15,26,18)(5,24,12,27)(6,16,9,21) ], - [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12), (1,4,5,13,11,12,3,14,2,15,16,9,8,6,7) ], - [ (1,2)(3,4,5,6)(7,8,9,10)(11,12,13,14)(15,16)(17,18,19,20)(21,22,23,24), (1,10,3,25)(2,18,4,20)(5,9,11,8)(6,23,12,21)(7,13)(14,16)(15,17,19,22) ], - [ (1,2,3,4,5)(6,7,8,9,10)(11,12,13,14,15)(16,17,18,19,20), (1,16)(2,20)(3,19)(4,18)(5,17)(6,11)(7,15)(8,14)(9,13)(10,12), (1,6,21,16)(2,8,22,17)(3,10,23,18)(4,7,24,19)(5,9,25,20)(12,15)(13,14) ], - [ (1,2)(3,4,5,6), (2,7,4,8)(6,9) ], - [ (1,2,3,4,5), (1,2,6)(7,8) ], - [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12), (1,6,9,13,11)(2,5,4,14,8)(3,15,7,16,17)(10,18,12,19,20) ], - [ (1,2,3,4)(5,6,7,8)(9,10,11,12)(13,14)(15,16)(17,18,19,20)(21,22)(23,24)(25,26)(27,28), (1,29,13,9,30)(2,31,24,20,16)(3,32,26,11,33)(4,34,28,18,15)(5,35,27,10,36)(6,37,14,19,21)(7,38,23,12,39)(8,40,25,17,22) ], - [ (1,2,3,4)(5,6)(7,8)(9,10)(11,12,13,14)(15,16)(17,18,19,20)(21,22,23,24)(25,26)(27,28)(29,30)(31,32)(33,34)(35,36), (1,7,11,15,37)(2,25,20,16,38)(3,28,13,30,39)(4,33,18,29,40)(5,23,26,19,31)(6,21,34,17,35)(8,12,36,10,24)(9,22,27,14,32) ], - [ (1,2,3)(4,5,6)(7,8,9)(10,11,12)(13,14,15)(16,17,18)(19,20,21)(22,23,24)(25,26,27)(28,29,30)(31,32,33)(34,35,36)(37,38,39)(40,41,42)(43,44,45)(46,47,48)(49,50,51)(52,53,54)(55,56,57)(58,59,60), (1,17,61)(2,62,24)(3,48,63)(4,54,51)(5,10,33)(6,41,29)(7,18,34)(8,15,55)(9,42,21)(13,14,53)(16,25,30)(19,43,46)(20,39,57)(22,28,40)(23,45,31)(26,60,32)(27,49,52)(35,56,38)(36,59,47)(37,64,50) ], - [ (1,2,3,4,5)(6,7,8,9,10)(11,12,13,14,15)(16,17,18,19,20)(21,22,23,24,25)(26,27,28,29,30)(31,32,33,34,35), (1,2,5,9,15)(3,14,36,10,7)(4,8,11,6,12)(16,23,35,37,29)(17,33,26,22,38)(18,39,21,28,31)(19,30,40,34,25) ], - [ (1,2,3,4,5,6)(7,8,9,10,11,12)(13,14,15,16,17,18)(19,20,21,22,23,24)(25,26,27,28,29,30)(31,32,33,34,35,36)(37,38,39), (1,4,10,7)(2,27,5,36)(3,24,12,15)(6,21,9,18)(8,30,11,33)(13,34,19,25)(14,20)(16,28,22,31)(26,38,29,39)(32,40,35,37) ], - [ (1,2,3,4,5)(6,7,8,9,10)(11,12,13,14,15)(16,17,18,19,20), (1,15,5,13)(2,17,21,18)(3,12,8,19)(4,16,10,22)(6,11)(7,14,9,20) ], - [ (1,2,3,4)(5,6,7,8)(9,10,11,12)(13,14,15,16)(17,18,19,20)(21,22,23,24)(25,26,27,28)(29,30,31,32)(33,34,35,36)(37,38,39,40)(41,42,43,44)(45,46,47,48)(49,50,51,52)(53,54,55,56)(57,58,59,60)(61,62,63,64)(65,66,67,68)(69,70,71,72)(73,74,75,76)(77,78,79,80)(81,82,83,84)(85,86,87,88)(89,90,91,92)(93,94,95,96)(97,98,99,100)(101,102,103,104)(105,106,107,108)(109,110,111,112)(113,114,115,116)(117,118,119,120), (1,85,32,38,76,86,41,11,70,59,94,2)(3,29,5,103,65,31,57,92,28,120,47,49)(4,75,67,115,48,46,78,7,102,96,55,22)(6,63,83,39,16,95,82,34,25,106,109,81)(8,87,52,53,71,79,33,24,62,72,61,18)(9,42,21,12,27,93,107,117,44,30,26,45)(10,98,105,66,84,40,58,20,17,43,36,97)(13,68,99,114,74,50,119,111,37,23,64,88)(14,77,108,104,19,54,89,118,91,112,60,73)(15,110,35,90,121,51,69,56,116,80,100,113) ], - [ (1,2,3,4,5)(6,7,8,9,10)(11,12,13,14,15)(16,17,18,19,20), (1,6,2,11,21,13)(3,5,16,15,14,20)(4,22,9,12,8,23)(7,10,19,24,25,17) ], - [ (1,2,3)(4,5,6)(7,8,9)(10,11,12)(13,14,15)(16,17,18)(19,20,21)(22,23,24)(25,26,27)(28,29,30)(31,32,33)(34,35,36)(37,38,39)(40,41,42)(43,44,45)(46,47,48)(49,50,51), (1,4,8)(2,45,10,14,16,52)(3,18,15,47,42,35)(5,34,48,12,29,13)(6,17,28,21,50,37)(7,11,26,49,20,43)(9,39,27,44,24,30)(19,23,36,32,46,22)(25,33,41,40,31,38) ], - [ (1,2,3,4)(5,6,7,8)(9,10,11,12)(13,14,15,16)(17,18,19,20)(21,22,23,24), (1,2,12,7,25,26,5,21)(3,27,23,10,28,4,20,18)(6,17)(8,14,24,16,19,13,9,15) ], - [ (1,2,3,4,5,6,7,8,9,10,11)(12,13,14,15,16,17,18,19,20,21,22), (1,2,3,10,23,12,9,6,17,24,5)(4,19,8,20,7,21,11,13,18,22,16) ], - [ (1,2,3,4)(5,6,7,8,9,10,11,12)(13,14,15,16,17,18,19,20)(21,22,23,24,25,26,27,28)(29,30,31,32,33,34,35,36)(37,38,39,40,41,42,43,44)(45,46,47,48,49,50,51,52)(53,54,55,56,57,58,59,60)(61,62,63,64,65,66,67,68)(69,70,71,72,73,74,75,76)(77,78,79,80,81,82,83,84)(85,86,87,88,89,90,91,92)(93,94,95,96,97,98,99,100), (1,71,90,50,62,40,83,101)(2,78,27,96,89,8,67,63)(3,49,34,102,9,20,7,38)(4,80,84,60,94,6,29,21)(5,17,57,42,93,51,81,43)(11,70,55,48,22,37,28,16)(12,31,82,85,35,58,23,54)(13,53,69,64,19,95,72,32)(14,92,39,79,52,26,75,97)(15,99,73,86,18,88,44,36)(24,46,66,74,68,45,30,76)(25,65,56,91,33,87,61,98)(41,59,47,77) ], - [ (1,2,3,4,5), (1,2,6,7,8) ], - [ (1,2,3,4,5,6,7,8,9,10)(11,12,13,14,15,16,17,18,19,20)(21,22,23,24,25,26,27,28,29,30)(31,32,33,34,35,36,37,38,39,40)(41,42), (1,5)(2,22)(3,13)(4,40)(6,10)(7,33)(8,14)(9,23)(11,37)(16,36)(17,25)(20,30)(26,42)(27,35)(28,38)(29,41) ], - [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14), (1,3,2,15,8,5,13,11)(4,9,16,17,18,19,6,20)(7,21,14,10) ], - [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16)(17,18)(19,20)(21,22)(23,24)(25,26)(27,28)(29,30)(31,32), (1,33,21,8,19,26,30,5)(2,34,10,25,35,13,36,18)(3,28,16,37,38,39,9,6)(4,23,40,27,11,14,29,32)(7,41,24,20)(12,17)(15,42,22,31) ], - [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16)(17,18)(19,20)(21,22)(23,24)(25,26)(27,28)(29,30)(31,32)(33,34)(35,36)(37,38)(39,40), (1,41,6,19,25)(2,23,36,5,22)(3,10,20,42,16)(4,30,37,43,7)(8,24,44,35,14)(9,18,12,34,45)(13,46,32,27,39)(15,47,26,33,40)(31,48,49,38,50) ], -]; +SCN.Data.Gens := []; + +# MinimalGeneratingSet + +SCN.Data.Gens[ 1 ] := [ + [], +]; + +SCN.Data.Gens[ 2 ] := [ + [ (1,2) ], +]; + +SCN.Data.Gens[ 3 ] := [ + [ (1,2,3) ], + [ (1,2), (1,3) ], +]; + +SCN.Data.Gens[ 4 ] := [ + [ (1,2,3,4) ], + [ (1,2), (3,4) ], + [ (1,2)(3,4), (1,4)(2,5) ], + [ (1,2,3), (1,4,2) ], +]; + +SCN.Data.Gens[ 5 ] := [ + [ (1,2,3,4,5) ], + [ (1,2), (1,3)(2,4) ], + [ (1,2,3,4)(5,6,7,8), (1,5,3,7)(2,8,4,6) ], + [ (1,2)(3,4)(5,6), (1,5)(2,4)(6,7) ], + [ (1,2)(3,4), (1,3,5,2) ], + [ (1,2,3)(4,5,6), (1,5,7)(2,4,6) ], + [ (1,2,3), (1,4) ], + [ (1,2,3), (1,4,5) ], +]; + +SCN.Data.Gens[ 6 ] := [ + [ (1,2)(3,4,5) ], + [ (1,2,3), (2,3)(4,5,6,7) ], + [ (1,2), (1,3)(4,5) ], + [ (1,2)(3,4)(5,6)(7,8), (1,3)(2,8)(4,6)(7,9) ], + [ (1,2)(3,4), (1,2,5), (3,4,6) ], + [ (1,2)(3,4,5,6), (1,3,5) ], + [ (1,2,3,4)(5,6,7,8), (1,9,7,2)(3,5,6,8) ], + [ (1,2,3)(4,5,6), (1,4)(2,7) ], +]; + +SCN.Data.Gens[ 7 ] := [ + [ (1,2,3,4,5,6,7) ], + [ (1,2)(3,4)(5,6), (1,7)(2,4)(3,6)(5,8) ], + [ (1,2)(3,4)(5,6), (1,7,6,8)(2,4,5,3) ], + [ (1,2,3,4)(5,6,7,8)(9,10,11,12)(13,14,15,16), (1,9,3,11)(2,16,4,14)(5,15,7,13)(6,12,8,10) ], + [ (1,2)(3,4)(5,6)(7,8)(9,10), (1,3)(2,7)(4,5)(6,11)(8,9) ], + [ (1,2,3)(4,5,6), (2,6,7)(3,8,5) ], + [ (1,2,3)(4,5,6)(7,8,9)(10,11,12), (1,13,4)(2,9,10)(3,11,5)(6,8,7) ], + [ (1,2)(3,4)(5,6), (2,7,6)(3,4,5) ], + [ (1,2,3,4)(5,6,7,8)(9,10,11,12), (1,13)(2,12)(3,5)(4,9)(6,10)(7,8) ], + [ (1,2,3,4,5)(6,7,8,9,10), (1,3,11,7,6)(2,5,8,4,9) ], + [ (1,2,3,4), (1,5) ], + [ (1,2,3,4,5), (1,2,6) ], +]; + +SCN.Data.Gens[ 8 ] := [ + [ (1,2,3,4,5,6,7,8) ], + [ (1,2), (3,4,5,6) ], + [ (1,2), (3,4), (5,6) ], + [ (1,2,3,4,5), (2,5)(3,4)(6,7,8,9) ], + [ (1,2)(3,4), (1,4)(2,5)(6,7) ], + [ (1,2), (1,3,4)(2,5,6) ], + [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12), (1,3)(2,6)(4,7)(5,9)(8,12)(10,13) ], + [ (1,2,3,4)(5,6,7,8), (1,5,9)(2,8,10)(3,7,11)(4,6,12) ], + [ (1,2,3)(4,5,6)(7,8,9)(10,11,12), (1,8,3,13,5,12,4,14)(2,10,15,7,6,9,16,11) ], + [ (1,2,3)(4,5,6), (2,4)(3,7)(5,8) ], + [ (1,2)(3,4), (2,4,3)(5,6,7), (5,7)(6,8) ], + [ (1,2,3,4,5,6,7), (1,5,4,2,8,3,6) ], + [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16), (1,15,3,10)(2,17,7,5)(4,8,9,13)(6,16,11,12) ], + [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12), (1,13,7)(2,10,4)(3,8,12)(5,9,6) ], + [ (1,2)(3,4), (1,5,3,6,7)(2,8,4,9,10) ], + [ (1,2,3)(4,5,6), (1,7,5)(2,8,3) ], + [ (1,2,3,4)(5,6,7,8), (1,5,4,6)(2,8)(3,7,9,10) ], + [ (1,2)(3,4,5,6)(7,8,9,10)(11,12,13,14), (1,13,9,7)(2,6,12,15)(3,10,4,14)(5,8) ], + [ (1,2,3,4)(5,6,7,8)(9,10,11,12)(13,14,15,16)(17,18,19,20)(21,22,23,24), (1,15,20)(2,23,18)(3,25,9)(4,5,12)(6,21,7)(8,17,11)(10,24,22)(13,14,19) ], + [ (1,2,3)(4,5,6)(7,8,9), (1,4)(2,7)(3,10)(5,11) ], + [ (1,2,3,4)(5,6,7,8), (1,2,3,5)(4,9,7,10) ], +]; + +SCN.Data.Gens[ 9 ] := [ + [ (1,2,3,4,5,6,7,8,9) ], + [ (1,2,3), (4,5,6) ], + [ (1,2), (1,3)(4,5,6) ], + [ (1,2,3,4)(5,6,7,8)(9,10), (1,5,3,7)(2,8,4,6)(9,11) ], + [ (1,2)(3,4), (1,5)(3,6)(4,7) ], + [ (1,2)(3,4), (1,5)(3,6,4,7) ], + [ (1,2)(3,4)(5,6), (1,7)(3,6)(4,8) ], + [ (1,2)(3,4), (1,5)(3,4,6) ], + [ (1,2,3)(4,5,6)(7,8,9)(10,11,12)(13,14,15)(16,17,18), (1,18,4)(2,12,13)(3,9,17)(5,8,11)(6,19,10)(7,15,14) ], + [ (1,2)(3,4,5,6), (2,7)(4,6,8,5) ], + [ (1,2)(3,4)(5,6)(7,8)(9,10), (1,4,11,3,2,7,5,6,8)(9,12,13) ], + [ (1,2)(3,4)(5,6)(7,8), (1,7,8,5,3,2,4,9) ], + [ (1,2), (1,3,2,4,5,6) ], + [ (1,2,3), (4,5,6), (2,3)(6,7) ], + [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16)(17,18), (1,8,4)(2,14,5)(3,13,9)(6,17,15)(7,18,19)(10,11,12) ], + [ (1,2,3,4,5)(6,7,8,9,10)(11,12,13,14,15)(16,17,18,19,20), (1,9,14,16,21)(2,20,7,22,11)(4,15,23,8,18)(5,24,17,12,6) ], + [ (1,2)(3,4)(5,6), (1,7,4,8,9,5,6,3) ], + [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12), (1,13,7)(2,14,8)(3,15,6)(4,16,5)(9,10,11), (1,7,12)(2,6,9)(3,5,11)(4,8,10)(14,16,15) ], + [ (1,2,3,4)(5,6,7,8)(9,10,11,12)(13,14)(15,16,17,18)(19,20,21,22)(23,24)(25,26)(27,28,29,30)(31,32,33,34)(35,36,37,38)(39,40), (1,41,5)(2,42,8)(3,43,7)(4,44,6)(9,17,40)(10,18,24)(11,15,39)(12,16,23)(13,33,29)(14,31,27)(19,35,45)(20,38,46)(21,37,47)(22,36,48)(25,32,28)(26,34,30), (1,17)(2,18)(3,15)(4,16)(5,21,7,19)(6,20,8,22)(9,32,11,34)(10,31,12,33)(13,44,14,42)(23,48,24,46)(25,41,26,43)(27,36)(28,37)(29,38)(30,35)(39,47,40,45) ], + [ (1,2,3,4,5,6), (1,2,5,6,7,8) ], + [ (1,2,3,4,5,6,7), (1,2,3,6,8,9,5) ], + [ (1,2,3,4,5)(6,7,8,9,10)(11,12,13,14,15), (1,2,4,6,11)(3,7,12,9,13)(5,15,14,16,8) ], + [ (1,2,3,4,5,6)(7,8,9,10,11,12), (1,13,14,3,7,8)(2,4,9,5,12,6) ], + [ (1,2,3)(4,5,6)(7,8,9)(10,11,12)(13,14,15)(16,17,18)(19,20,21)(22,23,24)(25,26,27), (1,10,25,24,19,7)(2,4,21)(3,26,5,9,11,28)(6,12,22,15,23,8)(13,27,20,14,18,17) ], + [ (1,2,3)(4,5,6)(7,8,9)(10,11,12)(13,14,15)(16,17,18)(19,20,21)(22,23,24)(25,26,27)(28,29,30)(31,32,33)(34,35,36)(37,38,39)(40,41,42)(43,44,45)(46,47,48), (1,42,29,41,22,45,23,25)(2,7,28,35,15,13,49,17)(3,8,14,12,36,40,38,21)(4,20,46,5,19,32,27,44)(6,43,48,11,10,39,16,9)(18,33,30,26,37,31,47,24) ], + [ (1,2,3,4,5), (1,6,7) ], +]; + +SCN.Data.Gens[ 10 ] := [ + [ (1,2)(3,4,5,6,7) ], + [ (1,2), (1,3,2,4)(5,6,7,8) ], + [ (1,2,3,4), (2,4)(5,6,7,8) ], + [ (1,2)(3,4), (1,5,3,6,2,7,4,8) ], + [ (1,2), (3,4), (1,5)(2,6) ], + [ (1,2,3,4)(5,6,7,8), (1,5,3,7)(2,8,4,6), (9,10) ], + [ (1,2)(3,4), (1,5)(2,6)(3,7)(4,8), (1,3,2,4)(5,7,6,8) ], + [ (1,2,3,4,5,6,7), (2,7)(3,6)(4,5)(8,9,10,11) ], + [ (1,2)(3,4)(5,6), (1,5)(2,4)(6,7)(8,9) ], + [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16), (1,3)(2,15)(4,12)(5,13)(6,11)(7,16)(8,10)(9,17) ], + [ (1,2,3,4,5), (2,3,5,4)(6,7,8,9,10,11,12,13) ], + [ (1,2,3,4), (1,2)(3,5)(6,7) ], + [ (1,2,3)(4,5,6), (1,5,7)(2,4,6)(8,9) ], + [ (1,2,3), (3,4)(5,6,7,8) ], + [ (1,2,3)(4,5), (1,6) ], + [ (1,2,3)(4,5,6,7,8,9), (1,5,8)(3,4,7) ], + [ (1,2)(3,4)(5,6)(7,8), (1,9,7,3,6,4)(5,8) ], + [ (1,2,3)(4,5,6), (1,4)(2,6)(3,5), (4,7)(5,8)(6,9) ], + [ (1,2,3,4)(5,6,7,8)(9,10), (1,5,11)(2,9,8)(3,7,12)(4,10,6) ], + [ (1,2)(3,4), (1,5)(2,6,4,7,3,8) ], + [ (1,2,3,4,5,6)(7,8,9,10,11,12)(13,14,15), (1,14,5,10,13,11)(2,4,16,8,7,15)(3,6,9) ], + [ (1,2,3,4)(5,6,7,8), (1,9,5,4,10,6)(2,11,8,3,12,7) ], + [ (1,2,3)(4,5,6), (1,3,7,2)(4,8) ], + [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16)(17,18)(19,20)(21,22)(23,24), (1,12,25,17)(2,15,5,10)(3,8,18,13)(4,16,7,21)(6,14,11,19)(9,24,23,20) ], + [ (1,2,3,4,5), (1,3,4,2)(6,7,8,9), (6,9,7,8,10) ], + [ (1,2,3,4,5), (1,6)(2,7,5,8)(3,9,4,10) ], + [ (1,2,3)(4,5), (1,6,7) ], + [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16), (1,9,2,7,16,4,5,6)(3,8,17,14,11,10,15,12) ], + [ (1,2,3,4,5)(6,7,8,9,10), (1,6,11)(2,7,12,5,10,13)(3,8,14,4,9,15) ], + [ (1,2)(3,4,5,6)(7,8), (1,6,7,4)(2,9)(8,10) ], + [ (1,2,3)(4,5,6), (1,7,8,3)(2,4,9,5) ], + [ (1,2,3,4)(5,6,7,8)(9,10)(11,12,13,14)(15,16)(17,18,19,20)(21,22,23,24)(25,26)(27,28)(29,30,31,32)(33,34)(35,36)(37,38,39,40)(41,42)(43,44)(45,46)(47,48)(49,50,51,52), (1,5,27,29,34,53,22)(2,38,44,19,33,15,51)(3,7,9,31,48,54,24)(4,40,45,17,47,16,49)(6,43,18,35,55,23,13)(8,46,20,25,56,21,11)(10,32,36,41,52,14,37)(12,39,28,30,26,42,50) ], + [ (1,2,3)(4,5,6)(7,8,9)(10,11,12), (1,8)(2,13,5,9)(3,11,14,12)(4,10,6,7) ], + [ (1,2,3,4,5,6,7,8)(9,10,11,12,13,14,15,16)(17,18,19,20,21,22,23,24)(25,26,27,28,29,30,31,32)(33,34,35,36,37,38,39,40)(41,42,43,44,45,46,47,48), (1,47,11,48)(2,24,4,13)(3,27,19,42)(5,16,12,40)(6,26,32,29)(7,20,39,33)(8,46,31,17)(9,22,43,10)(14,36,44,30)(15,45,38,28)(18,21,37,41)(25,49,34,35) ], + [ (1,2,3,4)(5,6,7,8), (1,2,4,5)(6,9,10,11) ], + [ (1,2,3,4,5,6,7,8,9,10)(11,12,13,14,15,16,17,18,19,20)(21,22,23,24,25,26,27,28,29,30)(31,32,33,34,35,36,37,38,39,40)(41,42,43,44,45,46,47,48,49,50)(51,52,53,54,55,56,57,58,59,60)(61,62,63,64,65,66,67,68,69,70)(71,72,73,74,75,76,77,78,79,80)(81,82,83,84,85,86,87,88,89,90)(91,92,93,94,95,96,97,98,99,100)(101,102,103,104,105,106,107,108,109,110)(111,112,113,114,115,116,117,118,119,120), (1,2,12,47,114,83,78,19,80,103)(3,28,112,48,13,44,20,108,65,62)(4,81,93,109,71,69,89,119,70,106)(5,56,15,57,96,76,33,75,53,40)(6,115,59,30,100,87,10,64,94,117)(7,29,86,22,35,111,8,61,50,82)(9,99,26,32,73,24,23,52,97,105)(11,63,104,67,34,25,21,91,116,17)(14,16,95,43,101,38,79,45,102,110)(18,39,42,58,92,41,54,84,27,107)(31,85,60,36,72,77,55,118,121,90)(37,46,49,66,98,88,120,51,74,68) ], + [ (1,2,3)(4,5,6)(7,8,9)(10,11,12)(13,14,15)(16,17,18), (1,2,6)(3,19,8)(4,20,11)(5,18,15)(7,12,13)(9,17,21) ], +]; + +SCN.Data.Gens[ 11 ] := [ + [ (1,2,3,4,5,6,7,8,9,10,11) ], + [ (1,2,3)(4,5,6), (1,4,7)(2,6,8)(3,5,9) ], + [ (1,2,3)(4,5,6), (1,4,7,3,5,8,2,6,9) ], + [ (1,2)(3,4), (1,5,6,3)(2,7,8,4) ], + [ (1,2)(3,4), (1,3,5,6,2,4,7,8) ], + [ (1,2,3,4,5,6,7,8)(9,10,11,12,13,14,15,16), (1,9,5,13)(2,14,6,10)(3,15,7,11)(4,12,8,16) ], + [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14), (1,15)(2,4)(3,13)(5,14)(6,7)(8,11)(9,16)(10,12) ], + [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14), (1,15,9,16)(2,11,10,3)(4,7,12,13)(5,14,6,8) ], + [ (1,2,3,4)(5,6,7,8)(9,10,11,12)(13,14,15,16)(17,18,19,20)(21,22,23,24)(25,26,27,28)(29,30,31,32), (1,17,3,19)(2,30,4,32)(5,23,7,21)(6,26,8,28)(9,29,11,31)(10,22,12,24)(13,25,15,27)(14,18,16,20) ], + [ (1,2)(3,4), (1,4)(2,3)(5,6), (1,7)(2,8)(3,6)(4,5) ], + [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12), (1,13,9,14)(2,5,10,6)(3,7,4,12)(8,15,11,16), (1,7)(2,11)(3,14)(4,13)(5,16)(6,15)(8,10)(9,12) ], + [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16)(17,18), (1,3)(2,17)(4,11)(5,18)(6,9)(7,16)(8,19)(10,14)(12,15) ], + [ (1,2,3,4,5)(6,7,8,9,10), (1,6,11)(2,10,12)(3,9,13)(4,8,14)(5,7,15) ], + [ (1,2)(3,4), (1,5,3)(2,6,4), (3,5,7)(4,6,8) ], + [ (1,2)(3,4)(5,6), (1,5)(2,7,6,8,4,9) ], + [ (1,2,3,4,5)(6,7,8,9,10), (1,5)(2,6)(3,8)(4,11)(7,9) ], + [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16)(17,18)(19,20)(21,22)(23,24)(25,26)(27,28), (1,16,25,14)(2,26,28,4)(3,17,23,9)(5,6,21,24)(7,27,19,29)(8,12,22,18)(10,11,20,15) ], + [ (1,2,3,4,5)(6,7,8,9,10)(11,12,13,14,15)(16,17,18,19,20)(21,22,23,24,25)(26,27,28,29,30), (1,12,18,2,8)(3,5,14,24,28)(4,9,19,29,31)(6,17,11,15,23)(7,13,10,21,27)(16,22,25,20,26) ], + [ (1,2,3)(4,5,6)(7,8,9)(10,11,12)(13,14,15)(16,17,18), (1,5,18,8,9,10,7,15,14)(2,17,12,4,13,19,11,3,6) ], + [ (1,2,3)(4,5,6)(7,8,9)(10,11,12)(13,14,15)(16,17,18)(19,20,21)(22,23,24)(25,26,27)(28,29,30), (1,31)(2,26)(3,29)(4,16)(5,15)(6,8)(7,10)(9,17)(11,12)(13,21)(14,25)(18,23)(19,30)(22,28)(24,27) ], + [ (1,2,3)(4,5,6)(7,8,9)(10,11,12), (1,6,7,10,2,13,8,11)(3,5,9,14,15,4,16,12) ], + [ (1,2)(3,4,5,6)(7,8,9,10)(11,12,13,14), (1,14,6,15,11,9)(2,13,4,16,12,7)(3,8,5) ], + [ (1,2)(3,4,5,6,7,8,9,10), (1,5,7,3,9) ], + [ (1,2,3,4,5,6,7)(8,9,10,11,12,13,14)(15,16,17,18,19,20,21)(22,23,24,25,26,27,28), (1,18,11,5,10,12,28)(2,7,3,27,17,21,25)(4,29,16,26,9,24,13)(6,20,19,8,15,23,14) ], + [ (1,2,3,4,5,6,7,8), (1,7,2,9,5,3,6,10) ], + [ (1,2,3)(4,5,6)(7,8,9)(10,11,12), (1,5,9)(4,12,7)(6,13,14)(8,15,16) ], + [ (1,2)(3,4)(5,6,7,8)(9,10,11,12)(13,14,15,16)(17,18,19,20)(21,22,23,24)(25,26,27,28), (1,24,7,27)(2,20,16,4)(3,5,17,11)(6,18,14,28)(8,23,12,26)(9,19,15,25)(10,21)(13,22) ], + [ (1,2,3)(4,5,6), (1,7,4,6,2,5,8,9) ], + [ (1,2,3,4,5), (1,6) ], + [ (1,2,3,4,5,6,7,8), (1,2,3,9,7,6,5,10) ], + [ (1,2,3,4)(5,6,7,8), (1,5,9,10,3,7,11,12)(2,13,4,14) ], + [ (1,2,3,4,5,6,7), (1,2)(4,8) ], + [ (1,2,3)(4,5,6), (1,4,7)(2,8,9) ], + [ (1,2,3,4,5,6,7,8)(9,10,11,12,13,14,15,16), (1,2,3,9,16,6,15,14)(4,12,5,17,18,7,11,8) ], + [ (1,2,3,4,5,6,7)(8,9,10,11,12,13,14)(15,16,17,18,19,20,21)(22,23,24,25,26,27,28)(29,30,31,32,33,34,35)(36,37,38,39,40,41,42)(43,44,45,46,47,48,49)(50,51,52,53,54,55,56)(57,58,59,60,61,62,63), (1,2,3,38,6,9,50)(4,12,48,55,19,37,62)(5,56,32,14,61,49,22)(7,54,64,63,28,51,47)(8,59,15,30,18,25,36)(11,24,46,17,44,42,27)(16,45,41,65,21,35,34)(20,52,57,40,39,60,26)(23,31,53,29,58,33,43) ], +]; + +SCN.Data.Gens[ 12 ] := [ + [ (1,2,3)(4,5,6,7) ], + [ (1,2), (3,4)(5,6,7) ], + [ (1,2,3), (2,3)(4,5,6,7,8,9,10,11) ], + [ (1,2), (1,3)(4,5,6,7) ], + [ (1,2,3,4)(5,6), (5,7,6)(8,9) ], + [ (1,2), (3,4), (1,5)(6,7) ], + [ (1,2)(3,4), (1,4)(2,5)(6,7,8) ], + [ (1,2,3,4,5,6,7,8,9), (2,9)(3,8)(4,7)(5,6)(10,11,12,13) ], + [ (1,2)(3,4), (2,4,3)(5,6,7,8,9,10,11,12,13) ], + [ (1,2)(3,4)(5,6)(7,8), (1,4)(2,8)(3,6)(7,9)(10,11) ], + [ (1,2,3), (4,5,6), (2,3)(5,6)(7,8,9,10) ], + [ (1,2,3), (1,4,2)(5,6,7) ], + [ (1,2,3), (2,3)(4,5), (4,6,5)(7,8) ], + [ (1,2)(3,4)(5,6)(7,8), (1,9)(3,7)(4,6)(8,10) ], + [ (1,2)(3,4)(5,6)(7,8), (1,9)(3,6,8,10,7,5,4,11) ], + [ (1,2,3)(4,5)(6,7)(8,9), (1,3)(4,8,7,9)(5,10,6,11) ], + [ (1,2)(3,4)(5,6)(7,8), (1,9)(3,6,4,10,7,5,8,11) ], + [ (1,2,3,4,5,6,7,8)(9,10)(11,12,13,14,15,16,17,18), (1,11,5,15)(2,18,6,14)(3,17,7,13)(4,16,8,12)(9,19) ], + [ (1,2)(3,4)(5,6), (1,7)(3,8,4,6,5) ], + [ (1,2,3), (1,4)(2,5,3,6)(7,8,9,10,11,12,13,14) ], + [ (1,2)(3,4,5), (1,6)(4,7,5) ], + [ (1,2)(3,4,5), (3,6)(4,7,5,8) ], + [ (1,2,3)(4,5,6)(7,8,9), (1,10,2)(4,8,11)(5,7,9) ], + [ (1,2,3,4)(5,6)(7,8)(9,10), (1,11,5)(2,10,6)(3,12,8)(4,9,7) ], + [ (1,2,3)(4,5,6)(7,8,9), (4,5,9,7)(6,10,8,11), (1,12)(2,3) ], + [ (1,2,3)(4,5,6), (2,3)(4,7)(5,8,6,9) ], + [ (1,2)(3,4)(5,6)(7,8), (1,9)(3,10,8,5,7,4) ], + [ (1,2,3,4)(5,6,7,8), (1,4,7,9)(3,6,8,5)(10,11,12,13) ], + [ (1,2,3,4)(5,6,7,8), (1,4,7,9)(3,6,8,5), (10,11) ], + [ (1,2,3)(4,5,6)(7,8,9), (2,10,3)(4,5,11,6,7,9) ], + [ (1,2)(3,4,5,6)(7,8,9,10), (1,11)(3,5,9,6)(4,8,7,12) ], + [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16)(17,18)(19,20)(21,22)(23,24)(25,26)(27,28)(29,30)(31,32)(33,34)(35,36), (1,27,8)(2,12,35)(3,26,30)(4,32,16)(5,6,21)(7,13,37)(9,33,22)(10,18,24)(11,20,29)(14,15,19)(17,34,36)(23,25,28) ], + [ (1,2,3,4,5)(6,7,8,9,10)(11,12,13,14,15)(16,17,18,19,20)(21,22,23,24,25)(26,27,28,29,30)(31,32,33,34,35)(36,37,38,39,40), (1,6,2,25,41,14,19,35,20,12,42,22)(3,43,18,8,37,9,16,44,5,32,30,33)(4,11,36,45,26,23,17,24,29,46,38,15)(7,27,13,28,10,47,31,39,21,40,34,48) ], + [ (1,2,3,4,5,6)(7,8,9,10,11,12)(13,14,15,16,17,18)(19,20,21,22,23,24)(25,26,27,28,29,30)(31,32,33,34,35,36)(37,38), (1,9,38)(2,25,21)(3,23,33)(4,37,12)(5,24,28)(6,36,20)(7,32,17)(8,13,26)(10,14,35)(11,29,16)(27,30,39)(31,40,34) ], + [ (1,2,3)(4,5,6)(7,8), (1,4)(2,9) ], + [ (1,2,3,4)(5,6), (1,7)(5,8) ], + [ (1,2,3,4)(5,6,7,8)(9,10,11,12)(13,14,15,16)(17,18)(19,20), (1,5,21,3,7,22)(2,9,23,13,6,20)(4,11,24,15,8,19)(10,18,14)(12,17,16) ], + [ (1,2,3,4,5,6,7,8)(9,10,11,12,13,14,15,16)(17,18,19,20,21,22,23,24)(25,26,27,28,29,30,31,32)(33,34)(35,36,37,38)(39,40,41,42)(43,44), (1,17,45)(2,29,37)(3,23,46)(4,31,38)(5,21,47)(6,25,35)(7,19,48)(8,27,36)(9,18,41)(10,30,44)(11,20,40)(12,28,33)(13,22,39)(14,26,43)(15,24,42)(16,32,34) ], + [ (1,2,3,4,5,6,7,8)(9,10,11,12,13,14,15,16)(17,18)(19,20,21,22), (1,9,23)(2,21,10)(3,15,18)(4,22,12)(5,13,24)(6,19,14)(7,11,17)(8,20,16) ], + [ (1,2,3)(4,5,6)(7,8,9)(10,11,12)(13,14,15), (1,6,12,16)(2,9,10,15)(3,7)(4,8,5,14) ], + [ (1,2,3,4,5,6)(7,8), (1,7,9)(4,8,10) ], + [ (1,2,3,4)(5,6,7,8)(9,10,11,12)(13,14,15,16), (1,17)(2,6,15,8)(3,7,18,5)(4,11,14,9)(10,16,12,13) ], + [ (1,2,3,4,5)(6,7,8,9,10)(11,12,13,14,15)(16,17,18,19,20)(21,22,23,24,25)(26,27,28,29,30), (1,28)(2,27)(3,26,13,24)(4,30,19,8)(5,22)(6,11,21,16)(7,20,29,15)(9,18)(10,12,25,17)(14,23) ], + [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12), (1,3,2,13,9,8)(4,14,15,12,7,5)(6,11,16) ], + [ (1,2,3)(4,5,6)(7,8,9)(10,11,12)(13,14,15)(16,17,18)(19,20,21)(22,23,24)(25,26,27)(28,29,30)(31,32,33)(34,35,36)(37,38,39)(40,41,42)(43,44,45)(46,47,48)(49,50,51)(52,53,54)(55,56,57)(58,59,60)(61,62,63)(64,65,66)(67,68,69)(70,71,72)(73,74,75)(76,77,78)(79,80,81)(82,83,84)(85,86,87)(88,89,90)(91,92,93)(94,95,96)(97,98,99)(100,101,102)(103,104,105)(106,107,108)(109,110,111)(112,113,114)(115,116,117)(118,119,120), (1,10,67,84)(2,23,63,29)(3,31,37,115)(4,69,7,65)(5,58,99,56)(6,109,49,71)(8,45,98,76)(9,11,105,14)(12,30,117,96)(13,70,42,102)(15,80,91,44)(16,92,46,53)(17,33,82,43)(18,89,95,38)(19,107,112,55)(20,88,54,81)(21,97,83,75)(22,116,121,28)(24,61,78,59)(25,48,119,27)(26,87,113,108)(32,39,35,34)(36,51,41,50)(40,110,86,120)(47,106,79,100)(52,101,118,93)(57,85,74,68)(60,72,103,62)(64,77,104,94)(66,90,73,111) ], + [ (1,2)(3,4,5,6)(7,8)(9,10,11,12)(13,14,15,16)(17,18,19,20)(21,22,23,24)(25,26,27,28)(29,30,31,32)(33,34,35,36)(37,38,39,40)(41,42,43,44), (1,27,5,22)(2,17,7,3,24,19,25,45)(4,10,9,43,16,40,11,29)(6,12,23,41,13,20,21,35)(8,44,28,26,34,32,42,30)(14,38,39,31,15,18,37,33) ], + [ (1,2,3,4,5,6,7,8,9)(10,11,12,13,14,15,16,17,18), (1,2,3,19,10,8,5,16,20)(4,6,13,7,9,12,11,15,14) ], + [ (1,2)(3,4)(5,6)(7,8), (1,3,5,9,10,11)(2,12,8)(7,13) ], + [ (1,2,3)(4,5,6)(7,8,9)(10,11,12), (1,2,11,6,13)(3,4,14,8,12)(5,9,15,16,7) ], + [ (1,2,3,4,5,6,7,8,9,10)(11,12,13,14,15,16,17,18,19,20)(21,22,23,24,25,26,27,28,29,30)(31,32,33,34,35,36,37,38,39,40)(41,42,43,44,45,46,47,48,49,50)(51,52,53,54,55,56,57,58,59,60)(61,62,63,64,65,66,67,68,69,70)(71,72,73,74,75,76,77,78,79,80)(81,82,83,84,85,86,87,88,89,90)(91,92,93,94,95,96,97,98,99,100)(101,102,103,104,105,106,107,108,109,110)(111,112,113,114,115,116,117,118,119,120)(121,122,123,124,125,126,127,128,129,130)(131,132,133,134,135,136,137,138,139,140)(141,142,143,144,145,146,147,148,149,150)(151,152,153,154,155,156,157,158,159,160)(161,162,163,164,165,166,167,168,169,170)(171,172,173,174,175,176,177,178,179,180)(181,182,183,184,185,186,187,188,189,190)(191,192,193,194,195,196,197,198,199,200)(201,202,203,204,205,206,207,208,209,210)(211,212,213,214,215,216,217,218,219,220)(221,222,223,224,225,226,227,228,229,230)(231,232,233,234,235,236,237,238,239,240)(241,242,243,244,245,246,247,248,249,250)(251,252,253,254,255,256,257,258,259,260)(261,262,263,264,265,266,267,268,269,270)(271,272,273,274,275,276,277,278,279,280)(281,282,283,284,285,286,287,288,289,290)(291,292,293,294,295,296,297,298,299,300)(301,302,303,304,305,306,307,308,309,310)(311,312,313,314,315,316,317,318,319,320)(321,322,323,324,325,326,327,328,329,330)(331,332,333,334,335,336,337,338,339,340)(341,342,343,344,345,346,347,348,349,350)(351,352,353,354,355,356,357,358,359,360), (1,2,57,219,222,352,310,270,322,5)(3,50,335,199,242,282,28,296,40,163)(4,347,262,80,129,200,231,212,66,266)(6,295,272,65,91,253,156,150,32,327)(7,183,18,79,185,287,301,188,265,299)(8,343,313,356,56,74,33,141,34,350)(9,269,37,268,100,38,285,243,319,331)(10,202,59,194,68,127,104,146,180,158)(11,255,215,178,36,110,349,124,48,75)(12,240,211,53,207,264,88,220,241,177)(13,274,120,145,51,346,311,278,167,174)(14,130,326,62,125,27,216,276,263,328)(15,111,173,140,47,330,102,94,203,256)(16,117,26,83,137,157,221,338,90,297)(17,142,333,248,293,138,93,76,78,101)(19,149,45,61,239,182,95,41,232,161)(20,244,85,121,139,134,286,339,355,42)(21,81,128,267,291,289,147,162,97,135)(22,204,359,46,193,315,132,261,345,316)(23,277,235,82,306,170,77,181,144,245)(24,84,298,303,247,198,271,300,213,217)(25,31,184,218,153,206,323,115,71,205)(29,246,357,230,43,225,214,30,336,294)(35,131,318,103,112,123,99,307,332,223)(39,70,190,151,340,113,358,122,275,55)(44,337,344,292,334,133,64,229,234,189)(49,116,92,72,98,197,351,195,302,238)(52,314,329,279,87,312,89,305,260,105)(54,325,69,317,106,126,284,304,119,320)(58,341,154,176,257,168,280,237,259,107)(60,228,155,114,164,191,108,118,186,273)(63,258,67,143,252,321,96,109,209,166)(73,324,226,251,175,187,169,159,192,281)(86,196,224,360,249,152,160,233,254,283)(136,342,210,165,308,361,290,179,172,236)(148,171,309,250,201,208,288,354,353,348) ], + [ (1,2,3)(4,5,6)(7,8,9)(10,11,12)(13,14,15)(16,17,18), (1,2,4)(3,7,10)(5,19,20)(6,13,16)(8,21,15)(9,17,22) ], +]; + +SCN.Data.Gens[ 13 ] := [ + [ (1,2,3,4,5,6,7,8,9,10,11,12,13) ], + [ (1,2)(3,4,5,6)(7,8,9,10)(11,12), (1,13)(2,11)(3,9,5,7)(4,8,6,10) ], + [ (1,2)(3,4)(5,6), (1,7)(2,8)(3,6)(4,9) ], + [ (1,2)(3,4)(5,6), (1,7,2,8)(3,6)(4,9) ], + [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16)(17,18)(19,20)(21,22), (1,3)(2,5)(4,21)(6,9)(7,13)(8,20)(10,17)(11,16)(12,18)(14,23)(19,22) ], + [ (1,2), (1,3,4,5)(2,6,7,8) ], + [ (1,2,3,4)(5,6,7,8)(9,10)(11,12,13,14), (1,15,11,16)(2,7,12,5)(3,10,13,9)(4,6,14,8) ], + [ (1,2,3,4), (1,5,4,6)(2,7,3,8) ], + [ (1,2,3,4)(5,6,7,8)(9,10,11,12)(13,14,15,16), (1,5,9,13)(2,8,10,16)(3,15,11,7)(4,6,12,14) ], + [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12), (1,5,7,13,9,6,11,14)(2,15,8,4,10,16,12,3) ], + [ (1,2,3,4)(5,6,7,8), (1,9,5,10,3,11,7,12)(2,13,8,14,4,15,6,16) ], + [ (1,2,3)(4,5,6)(7,8,9)(10,11,12)(13,14,15)(16,17,18)(19,20,21)(22,23,24)(25,26,27)(28,29,30), (1,29,17)(2,22,25)(3,6,11)(4,27,7)(5,13,28)(8,31,26)(9,24,14)(10,12,30)(15,20,18)(16,21,23) ], + [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12), (1,9,7,13,14,12)(2,10,6,15,16,4)(3,8)(5,11) ], + [ (1,2,3,4)(5,6,7,8)(9,10,11,12,13,14,15,16,17,18,19,20)(21,22,23,24,25,26,27,28,29,30,31,32), (1,21,19,29,3,27,13,23)(2,24,16,32,4,30,10,26)(5,15,31,11,7,9,25,17)(6,18,28,14,8,12,22,20) ], + [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12), (1,9,6,13,14,12,2,10,7,15,16,4)(3,5,11,8) ], + [ (1,2)(3,4)(5,6,7,8), (1,9)(2,3)(6,8,10,7) ], + [ (1,2,3)(4,5,6,7,8), (1,9)(5,8)(6,7) ], + [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16)(17,18)(19,20)(21,22)(23,24)(25,26)(27,28)(29,30)(31,32)(33,34)(35,36), (1,19,20,35)(2,4,16,14)(3,31,22,23)(5,30,24,11)(6,28,12,9)(7,18,26,37)(8,33,10,21)(13,17,32,36)(15,29,34,25) ], + [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14), (1,3,8,5,12,6,9,4,13,15)(2,14)(7,10) ], + [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12), (1,6,2,4,9,10,13,7,3,5,8,11) ], + [ (1,2,3,4,5)(6,7,8,9,10)(11,12,13,14,15)(16,17,18,19,20)(21,22,23,24,25)(26,27,28,29,30), (1,6,31,29,20)(2,19,26,32,9)(3,5,24,10,13)(4,27,22,15,28)(7,14,23,8,17)(11,30,21,16,18) ], + [ (1,2,3), (1,4,5)(2,6,7,3,8,9) ], + [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16)(17,18)(19,20)(21,22)(23,24)(25,26), (1,3,16,4,9,5)(2,10,12,23,7,20)(6,8,13,26,21,24)(11,22,17,14,19,27)(15,18) ], + [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16)(17,18)(19,20)(21,22)(23,24)(25,26), (1,11,26,21,9,6)(2,18,7,10,20,24)(3,15,4,17,5,8)(12,23,27,19,22,14)(13,25) ], + [ (1,2,3), (1,4)(2,5)(3,6)(7,8), (2,3)(4,9)(5,8)(6,7) ], + [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16)(17,18)(19,20)(21,22)(23,24)(25,26), (1,11)(2,17)(3,20)(4,8)(5,22)(6,23)(7,27)(9,15)(10,26)(12,21)(14,19)(16,18)(24,25), (1,13)(2,21)(3,17)(4,9)(5,18)(6,8)(7,22)(10,25)(12,20)(14,26)(15,23)(16,27)(19,24) ], + [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16)(17,18)(19,20)(21,22)(23,24)(25,26), (1,11)(2,18)(3,24)(4,13)(5,26)(6,7)(8,25)(9,27)(12,17)(14,23)(15,22)(16,20)(19,21), (1,10)(2,7)(3,18)(4,26)(5,21)(6,24)(8,9)(12,27)(13,19)(14,16)(15,20)(17,25)(22,23) ], + [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16)(17,18)(19,20)(21,22)(23,24)(25,26), (1,3)(2,6)(4,24)(5,19)(7,17)(8,26)(9,11)(10,15)(12,22)(13,25)(14,20)(18,23)(21,27), (1,12)(2,26)(3,7)(4,10)(5,13)(6,11)(8,27)(9,19)(14,22)(15,25)(16,17)(18,24)(21,23) ], + [ (1,2,3)(4,5,6)(7,8,9)(10,11,12), (1,11,3,13)(2,6,14,4)(5,9,15,7)(8,12,16,10) ], + [ (1,2,3)(4,5,6)(7,8,9)(10,11,12), (1,13,14,8,6,15,16,10)(2,11,5,7,4,9,3,12) ], + [ (1,2)(3,4,5,6), (1,7,4)(2,8,6) ], + [ (1,2,3,4), (1,5,6)(3,7,8) ], + [ (1,2,3,4,5)(6,7,8,9,10)(11,12,13,14,15)(16,17,18,19,20)(21,22,23,24,25)(26,27,28,29,30)(31,32,33,34,35)(36,37,38,39,40), (1,9,30,21,10)(2,36,22,32,31)(3,27,14,12,26)(4,25,16,39,29)(5,41,20,11,35)(6,8,38,18,15)(7,19,23,13,33)(17,37,34,40,28) ], + [ (1,2)(3,4,5,6,7,8,9,10)(11,12,13,14,15,16,17,18)(19,20,21,22,23,24,25,26), (1,14)(2,20)(3,22)(4,13)(5,12)(6,27)(7,23)(8,25)(9,15)(11,16)(17,21)(19,26) ], + [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14), (1,6,7,3,15,10)(2,5,8,14,11,13)(4,16,17,18,9,12) ], + [ (1,2,3,4,5,6,7,8,9,10,11)(12,13,14,15,16,17,18,19,20,21,22), (1,5,16,18,2,14,8,7,20,17,23)(3,10,4,13,9,12,15,21,19,6,22) ], + [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16)(17,18)(19,20)(21,22)(23,24)(25,26)(27,28)(29,30)(31,32)(33,34)(35,36)(37,38)(39,40)(41,42), (1,19,41)(2,4,16)(3,31,27)(5,42,13)(6,28,11)(7,30,43)(8,40,25)(9,18,14)(10,33,39)(12,21,32)(15,17,29)(20,26,23)(22,38,37)(24,35,34) ], + [ (1,2,3,4,5,6,7)(8,9,10,11,12,13,14)(15,16,17,18,19,20,21)(22,23,24,25,26,27,28)(29,30,31,32,33,34,35)(36,37,38,39,40,41,42), (1,33,21,20,15,35,4)(2,16,9,28,39,24,19)(3,42,30,43,36,32,14)(5,38,27,23,11,41,31)(6,29,12,37,10,7,25)(8,13,18,34,26,17,40) ], + [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16)(17,18)(19,20)(21,22)(23,24)(25,26)(27,28)(29,30), (1,24,11,14,8)(2,3,9,22,26)(4,31,28,20,5)(6,16,30,15,12)(7,29,25,18,17)(10,19,21,13,23) ], + [ (1,2)(3,4), (1,5,6,7,8,4,2,9,3) ], + [ (1,2,3,4,5,6,7,8)(9,10,11,12,13,14,15,16)(17,18,19,20,21,22,23,24)(25,26,27,28,29,30,31,32)(33,34,35,36,37,38,39,40), (1,41)(2,24)(3,35)(4,15)(5,12)(6,16)(7,37)(8,19)(9,18)(10,31)(11,17)(13,25)(14,36)(20,22)(21,34)(23,28)(26,27)(29,39)(32,40)(33,38) ], + [ (1,2,3)(4,5,6)(7,8,9)(10,11,12)(13,14,15)(16,17,18)(19,20,21)(22,23,24)(25,26,27)(28,29,30)(31,32,33)(34,35,36), (1,7,28,9,33,20,18,21,13)(2,26,25,5,35,14,19,29,4)(3,8,34,32,30,12,31,22,23)(6,24,37,17,10,27,36,16,15) ], + [ (1,2)(3,4), (1,5,3,6,7,8,2,9)(4,10) ], + [ (1,2,3), (1,4,3,5,6,7,2,8) ], + [ (1,2,3,4,5,6,7,8)(9,10,11,12,13,14,15,16)(17,18,19,20,21,22,23,24), (1,9,25)(2,21,12)(3,8,13)(4,6,22)(5,19,11)(7,14,15)(16,20,24)(17,23,18) ], + [ (1,2,3)(4,5,6)(7,8,9)(10,11,12)(13,14,15)(16,17,18)(19,20,21)(22,23,24)(25,26,27)(28,29,30)(31,32,33)(34,35,36)(37,38,39)(40,41,42)(43,44,45)(46,47,48)(49,50,51)(52,53,54)(55,56,57)(58,59,60)(61,62,63)(64,65,66)(67,68,69)(70,71,72), (1,4,73)(2,62,48)(3,70,58)(5,51,37)(6,17,10)(7,45,69)(8,18,23)(9,32,74)(11,68,34)(12,75,63)(13,55,61)(14,36,76)(15,29,54)(19,77,30)(20,35,42)(21,72,26)(22,25,78)(24,38,28)(27,47,33)(31,57,65)(40,44,59)(43,64,79)(49,80,60)(50,66,53) ], + [ (1,2,3,4)(5,6,7,8)(9,10)(11,12,13,14), (1,2,15,9)(3,5,8,14)(4,7,11,16)(6,10) ], + [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16)(17,18)(19,20)(21,22)(23,24)(25,26)(27,28)(29,30)(31,32)(33,34)(35,36)(37,38)(39,40), (1,8,41,42,18,20,31,27)(2,13,12,7)(3,28,9,19,16,14,43,44)(4,38,24,30,45,46,10,37)(5,22,47,48,26,33,25,40)(6,29)(11,36,49,50,32,39,17,34)(15,21,23,35) ], + [ (1,2,3)(4,5,6)(7,8,9)(10,11,12)(13,14,15)(16,17,18)(19,20,21)(22,23,24), (1,4,16)(2,15,25)(3,8,13)(5,26,7)(6,24,20)(9,23,14)(10,22,11)(12,27,18) ], + [ (1,2,3,4,5,6,7,8,9,10), (1,2,4,6,7,11,3,9,5,12) ], + [ (1,2,3,4,5,6,7,8), (1,3)(4,9)(8,10) ], + [ (1,2,3,4)(5,6,7,8)(9,10,11,12)(13,14,15,16)(17,18,19,20)(21,22,23,24)(25,26,27,28)(29,30,31,32)(33,34,35,36)(37,38,39,40)(41,42,43,44)(45,46,47,48)(49,50,51,52)(53,54,55,56)(57,58,59,60)(61,62,63,64)(65,66,67,68)(69,70,71,72)(73,74,75,76)(77,78,79,80), (1,73,2)(3,31,51)(4,32,56)(5,14,39)(6,23,38)(7,41,13)(8,26,49)(9,33,37)(10,67,63)(11,61,65)(12,76,22)(15,57,59)(16,43,74)(17,46,80)(18,28,69)(19,44,71)(20,53,68)(21,79,29)(24,35,81)(25,34,50)(27,55,72)(30,70,58)(36,75,66)(40,54,48)(42,64,60)(45,78,62) ], + [ (1,2,3,4)(5,6,7,8)(9,10,11,12)(13,14,15,16)(17,18,19,20)(21,22,23,24)(25,26,27,28)(29,30,31,32)(33,34,35,36)(37,38,39,40)(41,42,43,44)(45,46,47,48)(49,50,51,52)(53,54,55,56)(57,58,59,60)(61,62,63,64)(65,66,67,68)(69,70,71,72)(73,74,75,76)(77,78,79,80), (1,74,66)(2,29,34)(3,45,49)(4,64,46)(5,81,24)(6,78,23)(7,58,15)(8,26,51)(9,39,54)(10,79,75)(11,33,22)(12,43,41)(13,56,37)(14,73,35)(16,60,77)(18,68,72)(19,40,70)(20,69,53)(21,30,25)(28,32,50)(36,42,55)(38,76,59)(44,48,47)(52,61,57)(62,65,80)(63,67,71) ], +]; + +SCN.Data.Gens[ 14 ] := [ + [ (1,2)(3,4,5,6,7,8,9) ], + [ (1,2)(3,4)(5,6), (1,7,6,8)(2,4,5,3)(9,10,11,12) ], + [ (1,2,3,4)(5,6,7,8), (2,8)(4,6)(5,7)(9,10,11,12) ], + [ (1,2,3,4), (1,5,4,6,3,7,2,8) ], + [ (1,2,3,4,5,6,7,8), (2,4)(3,7)(6,8)(9,10,11,12) ], + [ (1,2,3,4,5,6,7,8), (2,8)(3,7)(4,6)(9,10,11,12) ], + [ (1,2,3,4,5,6,7,8)(9,10,11,12,13,14,15,16), (1,9,7,15,5,13,3,11)(2,16,4,10,6,12,8,14) ], + [ (1,2), (3,4)(5,6), (1,7,2,8)(3,5) ], + [ (1,2,3,4), (2,4)(5,6), (5,7)(6,8) ], + [ (1,2,3,4)(5,6,7,8), (9,10), (1,5,3,7)(2,8,4,6)(9,11)(10,12) ], + [ (1,2)(3,4), (1,5)(2,6)(3,7)(4,8)(9,10), (1,3,2,4)(5,8,6,7)(9,11)(10,12) ], + [ (1,2,3,4)(5,6,7,8), (2,4)(6,8)(9,10), (1,5,3,7)(2,6,4,8)(9,11,10,12) ], + [ (1,2,3,4)(5,6,7,8), (2,4)(6,8)(9,10,11,12)(13,14,15,16), (1,7,3,5)(2,8,4,6)(9,13,11,15)(10,16,12,14) ], + [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12), (1,13,8,14)(2,15,7,16)(3,5,10,6)(4,12,9,11), (1,5,2,11)(3,16,9,14)(4,13,10,15)(6,7,12,8) ], + [ (1,2)(3,4), (3,5,4,6), (1,7,2,8) ], + [ (1,2,3,4)(5,6,7,8), (1,5,3,7)(2,8,4,6)(9,10), (9,11,10,12) ], + [ (1,2), (3,4)(5,6)(7,8), (3,9)(4,5)(6,7)(8,10) ], + [ (1,2), (3,4)(5,6)(7,8), (3,5,4,9,8,6,7,10) ], + [ (1,2,3,4)(5,6,7,8)(9,10,11,12)(13,14,15,16), (1,16,3,14)(2,6,4,8)(5,9,7,11)(10,13,12,15), (17,18) ], + [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12), (1,13)(2,3)(4,7)(5,14)(6,9)(8,15)(10,11)(12,16), (1,5,8,12)(2,6,7,11)(3,9,4,10)(13,14,15,16) ], + [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12,13,14), (1,5,9,3,8,7,4,10,6,2,15) ], + [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12), (1,3)(2,6)(4,8)(5,9)(7,13) ], + [ (1,2,3)(4,5,6), (2,6,7)(3,8,5)(9,10) ], + [ (1,2,3)(4,5,6)(7,8,9)(10,11,12), (1,6)(2,13)(3,10)(4,9)(5,14)(7,12)(8,15)(11,16) ], + [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16)(17,18)(19,20)(21,22)(23,24), (1,13)(2,7)(3,19)(4,15)(5,23)(6,10)(8,12)(9,22)(11,16)(14,17)(18,24)(20,25) ], + [ (1,2,3,4,5), (1,2)(3,5)(6,7)(8,9), (6,8,9,7,10) ], + [ (1,2,3)(4,5,6)(7,8,9)(10,11,12), (1,13,6)(2,7,10)(3,11,4)(5,9,8)(14,15) ], + [ (1,2)(3,4)(5,6)(7,8), (1,2,9,6)(3,10,7,11,4,12,8,13) ], + [ (1,2)(3,4,5,6), (1,7,2,8)(3,4)(5,9) ], + [ (1,2,3,4,5)(6,7)(8,9), (1,2,4,3)(6,10,8,11,7,12,9,13) ], + [ (1,2)(3,4)(5,6), (1,7)(2,8)(3,5,9,4) ], + [ (1,2,3)(4,5,6), (1,2)(3,5)(4,7)(8,9,10,11) ], + [ (1,2)(3,4)(5,6), (1,2,4)(3,5,7)(8,9) ], + [ (1,2,3,4)(5,6,7,8)(9,10,11), (1,8,3,6)(2,7,4,5)(9,12) ], + [ (1,2)(3,4), (1,5,2,6)(3,7,8) ], + [ (1,2)(3,4)(5,6), (1,7,8)(4,6) ], + [ (1,2,3,4)(5,6,7,8)(9,10,11,12)(13,14,15,16,17,18,19,20), (1,5,6,12,4,9,11,2,10,8,7,3,21) ], + [ (1,2,3,4)(5,6,7,8)(9,10,11,12), (1,9)(2,3)(4,8)(5,12)(6,13)(7,11)(14,15) ], + [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12), (1,11,13,14,5,7,15,16,3,10,17,18)(2,8,4,12,6,9) ], + [ (1,2,3,4,5)(6,7,8,9,10)(11,12), (1,8,5,9,3)(2,4,13,7,6) ], + [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12), (1,5,13,14)(2,10,4,12)(3,11,8,6)(7,9,15,16) ], + [ (1,2,3,4)(5,6,7,8)(9,10,11,12)(13,14)(15,16,17,18)(19,20,21,22)(23,24,25,26)(27,28,29,30), (1,31,19,32)(2,7,20,23)(3,10,21,12)(4,24,22,8)(5,27,25,18)(6,29,26,16)(9,28,11,15)(13,17,14,30) ], + [ (1,2)(3,4,5,6)(7,8,9,10)(11,12)(13,14,15,16), (1,3,11,13)(2,16)(4,10)(5,7,15,9)(6,12)(8,14) ], + [ (1,2,3,4)(5,6)(7,8)(9,10,11,12)(13,14)(15,16)(17,18,19,20)(21,22,23,24)(25,26)(27,28), (1,5,9,29,3,15,11,30)(2,28,17,14,4,26,19,13)(6,20,7,24,16,18,8,22)(10,31,23,27,12,32,21,25) ], + [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16)(17,18)(19,20)(21,22)(23,24)(25,26)(27,28)(29,30)(31,32)(33,34)(35,36)(37,38)(39,40), (1,25,4,28)(2,10,41,7)(3,38,6,35)(5,20,8,17)(9,15,12,18)(11,33,14,36)(13,30,16,27)(19,23,22,26)(21,40,24,37)(29,31,32,34) ], + [ (1,2)(3,4), (1,5,6,7,2,3)(4,8) ], + [ (1,2,3,4)(5,6,7,8), (1,3)(2,9,6,10,4,11,8,12) ], + [ (1,2,3,4)(5,6,7,8), (2,9,3,4)(5,10,8,6) ], + [ (1,2)(3,4), (1,5,3,6)(2,7,8,9)(4,10) ], + [ (1,2,3,4)(5,6), (5,6,7,8,9) ], + [ (1,2,3,4), (1,5)(6,7) ], + [ (1,2)(3,4,5,6), (2,7,8)(3,6)(5,9) ], + [ (1,2,3), (1,4,2,5)(3,6,7,8) ], + [ (1,2,3), (4,5,6), (2,7)(5,8) ], + [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16)(17,18)(19,20)(21,22)(23,24)(25,26)(27,28)(29,30)(31,32)(33,34)(35,36)(37,38)(39,40)(41,42)(43,44)(45,46)(47,48), (1,38,13)(2,35,47)(3,31,6)(4,34,14)(5,37,16)(7,24,45)(8,21,15)(9,44,28)(10,41,46)(11,20,33)(12,22,18)(17,26,39)(19,36,49)(23,48,40)(25,42,43)(27,29,30) ], + [ (1,2,3,4,5,6)(7,8,9,10,11,12), (7,11,12,9,8,10,13), (1,5,6,3,2,4,14) ], + [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12), (1,9,13)(2,5,6)(3,14,12)(4,7,8) ], + [ (1,2,3,4,5)(6,7,8,9,10), (1,6,11)(2,8,12,3,10,13,5,9,14,4,7,15) ], + [ (1,2)(3,4)(5,6)(7,8)(9,10), (1,4)(2,11,3,12,6,13,9,14,8,15)(5,7) ], + [ (1,2,3,4,5)(6,7,8,9,10)(11,12,13,14,15)(16,17,18,19,20)(21,22,23,24,25)(26,27,28,29,30)(31,32,33,34,35)(36,37,38,39,40)(41,42,43,44,45)(46,47,48,49,50)(51,52,53,54,55)(56,57,58,59,60), (1,30,47,31,17,53,12,56)(2,35,49,27,18,60,14,55)(3,26,16,40,19,54,5,24)(4,39,6,25,20,23,44,36)(7,22,50,59,45,38,15,34)(8,58,9,61,41,33,42,62)(10,32,11,21,43,57,46,37)(13,29,63,51,48,52,64,28) ], + [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16)(17,18)(19,20)(21,22)(23,24)(25,26)(27,28), (1,3,7,29,15)(2,25,27,23,30)(4,22,13,28,16)(5,20,24,9,17)(6,12,19,8,31)(11,26,18,21,32) ], + [ (1,2,3,4,5,6)(7,8,9,10,11,12)(13,14,15), (1,7,13,11,6,16)(2,9,5)(3,15,8,10,14,4) ], + [ (1,2,3,4,5,6,7,8)(9,10,11,12,13,14,15,16)(17,18,19,20)(21,22)(23,24,25,26,27,28,29,30)(31,32,33,34,35,36,37,38)(39,40)(41,42,43,44), (1,45,14)(2,41,13)(3,46,27)(4,19,26)(5,47,10)(6,43,9)(7,48,23)(8,17,30)(11,31,18)(12,34,40)(15,35,20)(16,38,39)(21,25,36)(22,29,32)(24,33,42)(28,37,44) ], + [ (1,2,3,4,5,6,7,8)(9,10)(11,12)(13,14,15,16,17,18,19,20), (1,13,21)(2,16,10)(3,19,11)(4,18,22)(5,17,23)(6,20,9)(7,15,12)(8,14,24) ], + [ (1,2)(3,4,5,6)(7,8)(9,10,11,12)(13,14)(15,16)(17,18)(19,20), (1,3,21)(2,4,18)(5,22,8)(6,17,7)(9,23,19)(10,15,20)(11,24,13)(12,16,14), (1,13,8,19)(2,20,7,14)(3,9)(4,12)(5,11)(6,10)(15,16)(23,24) ], + [ (1,2,3)(4,5,6)(7,8,9)(10,11,12)(13,14,15)(16,17,18)(19,20,21), (1,9)(2,5)(3,18)(4,16)(6,8)(7,17)(13,14,19,20)(15,22,21,23), (1,11,16,24)(2,18,5,6)(3,17,8,7)(4,12,9,10) ], + [ (1,2)(3,4,5,6)(7,8)(9,10,11,12)(13,14)(15,16)(17,18)(19,20), (1,21,3)(2,17,6)(4,15,18)(5,16,22)(7,23,9)(8,19,12)(10,14,20)(11,13,24), (1,13)(2,8)(3,9,5,11)(4,10,6,12)(7,16)(14,15)(17,18)(23,24) ], + [ (1,2,3,4,5,6,7)(8,9,10,11,12,13,14)(15,16,17,18,19,20,21), (1,22,8,16)(2,23,14,18,7,24,9,21)(3,25,13,20,6,26,10,19)(4,27,12,15,5,28,11,17) ], + [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16)(17,18)(19,20)(21,22)(23,24)(25,26)(27,28)(29,30)(31,32)(33,34)(35,36)(37,38)(39,40), (1,41,7,24,21)(2,15,25,14,18)(3,8,39,11,40)(4,23,6,31,38)(5,16,10,34,20)(9,32,28,37,19)(12,26,29,30,36)(13,33,35,27,22) ], + [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16)(17,18)(19,20)(21,22)(23,24), (1,14,22,25)(2,19,7,8)(3,17,23,20)(4,15,26,18)(5,24,12,27)(6,16,9,21) ], + [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12), (1,4,5,13,11,12,3,14,2,15,16,9,8,6,7) ], + [ (1,2)(3,4,5,6)(7,8,9,10)(11,12,13,14)(15,16)(17,18,19,20)(21,22,23,24), (1,10,3,25)(2,18,4,20)(5,9,11,8)(6,23,12,21)(7,13)(14,16)(15,17,19,22) ], + [ (1,2,3,4,5)(6,7,8,9,10)(11,12,13,14,15)(16,17,18,19,20), (1,16)(2,20)(3,19)(4,18)(5,17)(6,11)(7,15)(8,14)(9,13)(10,12), (1,6,21,16)(2,8,22,17)(3,10,23,18)(4,7,24,19)(5,9,25,20)(12,15)(13,14) ], + [ (1,2)(3,4,5,6), (2,7,4,8)(6,9) ], + [ (1,2,3,4,5), (1,2,6)(7,8) ], + [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12), (1,6,9,13,11)(2,5,4,14,8)(3,15,7,16,17)(10,18,12,19,20) ], + [ (1,2,3,4)(5,6,7,8)(9,10,11,12)(13,14)(15,16)(17,18,19,20)(21,22)(23,24)(25,26)(27,28), (1,29,13,9,30)(2,31,24,20,16)(3,32,26,11,33)(4,34,28,18,15)(5,35,27,10,36)(6,37,14,19,21)(7,38,23,12,39)(8,40,25,17,22) ], + [ (1,2,3,4)(5,6)(7,8)(9,10)(11,12,13,14)(15,16)(17,18,19,20)(21,22,23,24)(25,26)(27,28)(29,30)(31,32)(33,34)(35,36), (1,7,11,15,37)(2,25,20,16,38)(3,28,13,30,39)(4,33,18,29,40)(5,23,26,19,31)(6,21,34,17,35)(8,12,36,10,24)(9,22,27,14,32) ], + [ (1,2,3)(4,5,6)(7,8,9)(10,11,12)(13,14,15)(16,17,18)(19,20,21)(22,23,24)(25,26,27)(28,29,30)(31,32,33)(34,35,36)(37,38,39)(40,41,42)(43,44,45)(46,47,48)(49,50,51)(52,53,54)(55,56,57)(58,59,60), (1,17,61)(2,62,24)(3,48,63)(4,54,51)(5,10,33)(6,41,29)(7,18,34)(8,15,55)(9,42,21)(13,14,53)(16,25,30)(19,43,46)(20,39,57)(22,28,40)(23,45,31)(26,60,32)(27,49,52)(35,56,38)(36,59,47)(37,64,50) ], + [ (1,2,3,4,5)(6,7,8,9,10)(11,12,13,14,15)(16,17,18,19,20)(21,22,23,24,25)(26,27,28,29,30)(31,32,33,34,35), (1,2,5,9,15)(3,14,36,10,7)(4,8,11,6,12)(16,23,35,37,29)(17,33,26,22,38)(18,39,21,28,31)(19,30,40,34,25) ], + [ (1,2,3,4,5,6)(7,8,9,10,11,12)(13,14,15,16,17,18)(19,20,21,22,23,24)(25,26,27,28,29,30)(31,32,33,34,35,36)(37,38,39), (1,4,10,7)(2,27,5,36)(3,24,12,15)(6,21,9,18)(8,30,11,33)(13,34,19,25)(14,20)(16,28,22,31)(26,38,29,39)(32,40,35,37) ], + [ (1,2,3,4,5)(6,7,8,9,10)(11,12,13,14,15)(16,17,18,19,20), (1,15,5,13)(2,17,21,18)(3,12,8,19)(4,16,10,22)(6,11)(7,14,9,20) ], + [ (1,2,3,4)(5,6,7,8)(9,10,11,12)(13,14,15,16)(17,18,19,20)(21,22,23,24)(25,26,27,28)(29,30,31,32)(33,34,35,36)(37,38,39,40)(41,42,43,44)(45,46,47,48)(49,50,51,52)(53,54,55,56)(57,58,59,60)(61,62,63,64)(65,66,67,68)(69,70,71,72)(73,74,75,76)(77,78,79,80)(81,82,83,84)(85,86,87,88)(89,90,91,92)(93,94,95,96)(97,98,99,100)(101,102,103,104)(105,106,107,108)(109,110,111,112)(113,114,115,116)(117,118,119,120), (1,85,32,38,76,86,41,11,70,59,94,2)(3,29,5,103,65,31,57,92,28,120,47,49)(4,75,67,115,48,46,78,7,102,96,55,22)(6,63,83,39,16,95,82,34,25,106,109,81)(8,87,52,53,71,79,33,24,62,72,61,18)(9,42,21,12,27,93,107,117,44,30,26,45)(10,98,105,66,84,40,58,20,17,43,36,97)(13,68,99,114,74,50,119,111,37,23,64,88)(14,77,108,104,19,54,89,118,91,112,60,73)(15,110,35,90,121,51,69,56,116,80,100,113) ], + [ (1,2,3,4,5)(6,7,8,9,10)(11,12,13,14,15)(16,17,18,19,20), (1,6,2,11,21,13)(3,5,16,15,14,20)(4,22,9,12,8,23)(7,10,19,24,25,17) ], + [ (1,2,3)(4,5,6)(7,8,9)(10,11,12)(13,14,15)(16,17,18)(19,20,21)(22,23,24)(25,26,27)(28,29,30)(31,32,33)(34,35,36)(37,38,39)(40,41,42)(43,44,45)(46,47,48)(49,50,51), (1,4,8)(2,45,10,14,16,52)(3,18,15,47,42,35)(5,34,48,12,29,13)(6,17,28,21,50,37)(7,11,26,49,20,43)(9,39,27,44,24,30)(19,23,36,32,46,22)(25,33,41,40,31,38) ], + [ (1,2,3,4)(5,6,7,8)(9,10,11,12)(13,14,15,16)(17,18,19,20)(21,22,23,24), (1,2,12,7,25,26,5,21)(3,27,23,10,28,4,20,18)(6,17)(8,14,24,16,19,13,9,15) ], + [ (1,2,3,4,5,6,7,8,9,10,11)(12,13,14,15,16,17,18,19,20,21,22), (1,2,3,10,23,12,9,6,17,24,5)(4,19,8,20,7,21,11,13,18,22,16) ], + [ (1,2,3,4)(5,6,7,8,9,10,11,12)(13,14,15,16,17,18,19,20)(21,22,23,24,25,26,27,28)(29,30,31,32,33,34,35,36)(37,38,39,40,41,42,43,44)(45,46,47,48,49,50,51,52)(53,54,55,56,57,58,59,60)(61,62,63,64,65,66,67,68)(69,70,71,72,73,74,75,76)(77,78,79,80,81,82,83,84)(85,86,87,88,89,90,91,92)(93,94,95,96,97,98,99,100), (1,71,90,50,62,40,83,101)(2,78,27,96,89,8,67,63)(3,49,34,102,9,20,7,38)(4,80,84,60,94,6,29,21)(5,17,57,42,93,51,81,43)(11,70,55,48,22,37,28,16)(12,31,82,85,35,58,23,54)(13,53,69,64,19,95,72,32)(14,92,39,79,52,26,75,97)(15,99,73,86,18,88,44,36)(24,46,66,74,68,45,30,76)(25,65,56,91,33,87,61,98)(41,59,47,77) ], + [ (1,2,3,4,5), (1,2,6,7,8) ], + [ (1,2,3,4,5,6,7,8,9,10)(11,12,13,14,15,16,17,18,19,20)(21,22,23,24,25,26,27,28,29,30)(31,32,33,34,35,36,37,38,39,40)(41,42), (1,5)(2,22)(3,13)(4,40)(6,10)(7,33)(8,14)(9,23)(11,37)(16,36)(17,25)(20,30)(26,42)(27,35)(28,38)(29,41) ], + [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14), (1,3,2,15,8,5,13,11)(4,9,16,17,18,19,6,20)(7,21,14,10) ], + [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16)(17,18)(19,20)(21,22)(23,24)(25,26)(27,28)(29,30)(31,32), (1,33,21,8,19,26,30,5)(2,34,10,25,35,13,36,18)(3,28,16,37,38,39,9,6)(4,23,40,27,11,14,29,32)(7,41,24,20)(12,17)(15,42,22,31) ], + [ (1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16)(17,18)(19,20)(21,22)(23,24)(25,26)(27,28)(29,30)(31,32)(33,34)(35,36)(37,38)(39,40), (1,41,6,19,25)(2,23,36,5,22)(3,10,20,42,16)(4,30,37,43,7)(8,24,44,35,14)(9,18,12,34,45)(13,46,32,27,39)(15,47,26,33,40)(31,48,49,38,50) ], +]; diff --git a/doc/frontmatter.autodoc b/doc/frontmatter.autodoc index d8441c3..1c9d869 100644 --- a/doc/frontmatter.autodoc +++ b/doc/frontmatter.autodoc @@ -1,14 +1,15 @@ @Abstract The &PACKAGENAME; package provides access to finite groups with -small class number. Currently, it contains the finite groups of -class number at most 14. +small class number. Currently, the package contains all finite +groups of class number at most 14, and most finite groups with +class numbers 15 to 20. @Copyright ©right; 2022–&RELEASEYEAR; &AUTHOR;

-The &PACKAGENAME; package is free software, it may be redistributed +The &PACKAGENAME; package is free software; it may be redistributed and/or modified under the terms and conditions of the - + https://www.gnu.org/licenses/old-licenses/gpl-2.0.en.html or (at your option) any later version. diff --git a/doc/package.autodoc b/doc/package.autodoc index 0ce47d7..8b8981c 100644 --- a/doc/package.autodoc +++ b/doc/package.autodoc @@ -20,16 +20,10 @@ InstallPackage( "SmallClassNr" ); Alternatively, you can download &PACKAGENAME; as a .tar.gz archive &ARCHIVEURL;.tar.gz. After extracting, you should -place it in a suitable pkg folder. For example, on a Debian-based -Linux distribution (e.g. Ubuntu, Mint), you can place it in -$HOME/.gap/pkg (recommended) which makes it available for just -yourself, or in the ⪆ installation directory (gap-X.Y.Z/pkg) -which makes it available for all users. - -You can use the following command to efficiently install the package for -yourself: -

wget -qO - https://[...].tar.gz | tar xzf - --one-top-level=$HOME/.gap/pkg - +place it in a suitable pkg folder. To install it for just yourself, +you can place it in $HOME/.gap/pkg (on many Linux distros) +or %USERPROFILE%/_gap/pkg (on Windows). To install it for all users, +it must be placed in the &GAP; installation directory (gap-X.Y.Z/pkg). @Section loading @SectionTitle Loading @@ -41,7 +35,6 @@ LoadPackage( "SmallClassNr" ); #! true @EndLog - @Section citing @SectionTitle Citing If you use the &PACKAGENAME; package in your research, we would love to diff --git a/lib/basic.g b/lib/basic.g index edbe692..24a76ee 100644 --- a/lib/basic.g +++ b/lib/basic.g @@ -1,6 +1,6 @@ ############################################################################### ## -## ClassAvailable( k ) +## ClassNrAvailable( k ) ## SCN.ClassNrAvailable := function( k ) if not SmallClassNrGroupsAvailable( k ) then @@ -30,37 +30,37 @@ end; ############################################################################### ## -## FingerPrint( G ) +## FingerPrints1( G, kG, i ) ## -SCN.FingerPrint := rec(); +SCN.FingerPrints1 := []; + +Add( SCN.FingerPrints1, { G, kG, i } -> + Size( G ) = SCN.Data.Size[ kG ][ i ] +); + +Add( SCN.FingerPrints1, { G, kG, i } -> + Length( GeneratorsOfGroup( G ) ) >= Length( SCN.Data.Gens[ kG ][ i ] ) +); + +Add( SCN.FingerPrints1, function( G, kG, i ) + if IsPermGroup( G ) then + return NrMovedPoints( G ) >= NrMovedPoints( SCN.Data.Gens[ kG ][ i ] ); + fi; + return true; +end ); ############################################################################### ## -## FingerPrint.DerInvs( G ) +## FingerPrints2( G ) ## -SCN.FingerPrint.DerInvs := G -> List( +SCN.FingerPrints2 := []; + +Add( SCN.FingerPrints2, G -> List( DerivedSeries( G ), AbelianInvariants -); +) ); -############################################################################### -## -## FingerPrint.ConjCls( G ) -## -SCN.FingerPrint.ConjCls := G -> Collected( List( +Add( SCN.FingerPrints2, G -> Collected( List( ConjugacyClasses( G ), C -> [ Order( Representative( C ) ), Size( C ) ] -) ); - -############################################################################### -## -## FingerPrint.Fitting( G ) -## -SCN.FingerPrint.Fitting := function( G ) - local F; - F := FittingSubgroup( G ); - if IdGroupsAvailable( Size( F ) ) then - return IdGroup( F ); - fi; - return fail; -end; +) ) ); diff --git a/lib/basic.gd b/lib/basic.gd index 90ee31e..064f823 100644 --- a/lib/basic.gd +++ b/lib/basic.gd @@ -20,7 +20,7 @@ DeclareGlobalName( "SmallClassNrGroup" ); #! @InsertChunk example_smallclassnrgroup #! @Returns the &PACKAGENAME; ID of G, i.e. a pair -#! [k, i] such that G is isomorphic to +#! [k, i] such that G is isomorphic to #! SmallClassNrGroup(k, i). #! @Label #! @Arguments G diff --git a/lib/basic.gi b/lib/basic.gi index 9330518..d7bc97d 100644 --- a/lib/basic.gi +++ b/lib/basic.gi @@ -49,34 +49,18 @@ InstallMethod( "generic method", [ IsGroup ], function( G ) - local kG, cand, tests, i, test, grps, n, val, next, H, K; + local kG, cand, i, test, grps, n, val, next, H, K; kG := NrConjugacyClasses( G ); SCN.ClassNrAvailable( kG ); cand := [ 1 .. NrSmallClassNrGroups( kG ) ]; - tests := [ - i -> Size( G ) = SCN.Data.Size[ kG ][ i ], - i -> Length( GeneratorsOfGroup( G ) ) >= - Length( SCN.Data.Gens[ kG ][ i ] ), - i -> not IsPermGroup( G ) or NrMovedPoints( G ) >= - NrMovedPoints( SCN.Data.Gens[ kG ][ i ] ) - ]; - for test in tests do - cand := Filtered( cand, test ); + for test in SCN.FingerPrints1 do + cand := Filtered( cand, i -> test( G, kG, i ) ); if Length( cand ) = 1 then return [ kG, cand[ 1 ] ]; fi; od; - if ( - ID_AVAILABLE( Size( G ) ) <> fail and - ForAll( cand, i -> IsBound( SCN.Data.IdGroup[ kG ][ i ] ) ) - ) then - return [ kG, First( cand, - i -> SCN.Data.IdGroup[ kG ][ i ] = IdGroup( G )[ 2 ] - ) ]; - fi; - if not IsSolvableGroup( G ) and not IsPermGroup( G ) then K := Image( IsomorphismPermGroup( G ) ); elif IsSolvableGroup( G ) and not IsPcGroup( G ) then @@ -91,13 +75,7 @@ InstallMethod( grps := List( cand, i -> SmallClassNrGroup( kG, i ) ); fi; - tests := [ - SCN.FingerPrint.DerInvs, - SCN.FingerPrint.Fitting, - SCN.FingerPrint.ConjCls, - ]; - - for test in tests do + for test in SCN.FingerPrints2 do val := test( K ); n := Length( grps ); next := []; diff --git a/lib/idgroup/idgroup.g b/lib/idgroup/idgroup.g new file mode 100644 index 0000000..374aa3e --- /dev/null +++ b/lib/idgroup/idgroup.g @@ -0,0 +1,23 @@ +############################################################################### +## +## FingerPrints1( G, kG, i ) +## +Add( SCN.FingerPrints1, function( G, kG, i ) + if IdGroupsAvailable( Size( G ) ) then + return SCN.Data.IdGroup[ kG ][ i ] = IdGroup( G )[ 2 ]; + fi; + return true; +end, 4 ); + +############################################################################### +## +## FingerPrints2( G ) +## +Add( SCN.FingerPrints2, function( G ) + local F; + F := FittingSubgroup( G ); + if IdGroupsAvailable( Size( F ) ) then + return IdGroup( F ); + fi; + return fail; +end, 2 ); diff --git a/lib/select.g b/lib/select.g index 44556a3..63351dc 100644 --- a/lib/select.g +++ b/lib/select.g @@ -73,7 +73,7 @@ SCN.NextSmallClassNrGroup := function( itr ) i := pos[ 1 ]; j := pos[ 2 ]; while i <= Length( kGs ) do - kG := kGs[i]; + kG := kGs[ i ]; SCN.ClassNrAvailable( kG ); while j <= Length( SCN.Data.Size[ kG ] ) do j := j + 1; diff --git a/lib/select.gi b/lib/select.gi index 03a49b6..de831a5 100644 --- a/lib/select.gi +++ b/lib/select.gi @@ -57,7 +57,7 @@ InstallGlobalFunction( SCN.ClassNrAvailable( k ); size := SCN.Data.Size[ k ]; if IsList( ksfv[ 2 ] ) then - n := n + Number( size, x -> x in ksfv[2] ); + n := n + Number( size, x -> x in ksfv[ 2 ] ); else n := n + Length( size ); fi; diff --git a/makedoc.g b/makedoc.g index 5ea0f17..e3577f0 100644 --- a/makedoc.g +++ b/makedoc.g @@ -102,7 +102,7 @@ if not IsReadableFile( Filename( pkgPath, "doc/manual.six" ) ) then Print( "#W One or more files could not be created.\n" ); QuitGap( 1 ); else - Print( "#I Manual files sucessfully created.\n" ); + Print( "#I Manual files successfully created.\n" ); fi; # Check if all examples in the manual produce the expected output diff --git a/tst/atlasname.tst b/tst/atlasname.tst index 8346cf6..82903d6 100644 --- a/tst/atlasname.tst +++ b/tst/atlasname.tst @@ -4,7 +4,7 @@ gap> START_TEST( "Testing SmallClassNr - AtlasName checks" ); gap> LoadPackage( "AtlasRep", false: OnlyNeeded ); true gap> max := First( PositiveIntegers, x -> not SmallClassNrGroupsAvailable( x ) ) - 1;; -gap> ForAll( [ 1 .. max ], k -> ForAll( [ 1 .. NrSmallClassNrGroups( k ) ], i -> +gap> ForAll( [ 1 .. max ], k -> ForAll( [ 1 .. NrSmallClassNrGroups( k ) ], i -> > IdClassNrToAtlasName( k, i ) = fail or > IdClassNr( AtlasGroup( IdClassNrToAtlasName( k, i ) ) ) = [ k, i ] ) ); true diff --git a/tst/basic.tst b/tst/basic.tst index c49013b..e2947ab 100644 --- a/tst/basic.tst +++ b/tst/basic.tst @@ -29,10 +29,10 @@ gap> IdClassNr( PcGroupCode( 8671, 42 ) ); Error, the library of groups of class number 21 is not available # -gap> grps1 := AllSmallClassNrGroups( [ 1..14 ] );; +gap> grps1 := AllSmallClassNrGroups( [ 1 .. 14 ] );; gap> Collected( List( grps1, NrConjugacyClasses ) ); [ [ 1, 1 ], [ 2, 1 ], [ 3, 2 ], [ 4, 4 ], [ 5, 8 ], [ 6, 8 ], [ 7, 12 ], [ 8, 21 ], [ 9, 26 ], [ 10, 37 ], [ 11, 35 ], [ 12, 51 ], [ 13, 53 ], [ 14, 93 ] ] -gap> grps2 := AllSmallClassNrGroups( [ 1..14 ], IsSolvable : AsPermGroup );; +gap> grps2 := AllSmallClassNrGroups( [ 1 .. 14 ], IsSolvable : AsPermGroup );; gap> ForAll( grps2, IsPermGroup ); true @@ -41,39 +41,39 @@ gap> NrSmallClassNrGroups( 10 ); 37 gap> NrSmallClassNrGroups( 10, Size, 100 ); 3 -gap> NrSmallClassNrGroups( [1..7] ); +gap> NrSmallClassNrGroups( [ 1 .. 7 ] ); 36 -gap> NrSmallClassNrGroups( [13..14], IsNilpotentGroup, false ); +gap> NrSmallClassNrGroups( [ 13 .. 14 ], IsNilpotentGroup, false ); 115 gap> NrSmallClassNrGroups( 21 ); Error, the library of groups of class number 21 is not available # -gap> G := OneSmallClassNrGroup( [ 4..11 ], IsSolvableGroup, IsNilpotentGroup, false, DerivedLength, [ 3, 4 ], IsSupersolvableGroup );; +gap> G := OneSmallClassNrGroup( [ 4 .. 11 ], IsSolvableGroup, IsNilpotentGroup, false, DerivedLength, [ 3, 4 ], IsSupersolvableGroup );; gap> IsPcGroup( G ); true gap> Size( G ); 54 -gap> H := OneSmallClassNrGroup( [ 4..11 ], IsSolvableGroup, IsNilpotentGroup, false, DerivedLength, [ 3, 4 ], IsSupersolvableGroup : AsPermGroup );; +gap> H := OneSmallClassNrGroup( [ 4 .. 11 ], IsSolvableGroup, IsNilpotentGroup, false, DerivedLength, [ 3, 4 ], IsSupersolvableGroup : AsPermGroup );; gap> IsPermGroup( H ); true gap> NrConjugacyClasses( H ); 10 -gap> OneSmallClassNrGroup( [ 4..11 ], IsSolvableGroup, IsNilpotentGroup, false, DerivedLength, [ 4 ], IsSupersolvableGroup ); +gap> OneSmallClassNrGroup( [ 4 .. 11 ], IsSolvableGroup, IsNilpotentGroup, false, DerivedLength, [ 4 ], IsSupersolvableGroup ); fail -gap> OneSmallClassNrGroup( [ 1..14 ], Size, 67 ); +gap> OneSmallClassNrGroup( [ 1 .. 14 ], Size, 67 ); fail -gap> SL42 := OneSmallClassNrGroup( 14, IsSolvableGroup, false, IsSL );; -gap> IsomorphismGroups( SL42, SL(4,2) ) <> fail; +gap> SL42 := OneSmallClassNrGroup( 14, IsSolvableGroup, false, IsSL );; +gap> IsomorphismGroups( SL42, SL( 4, 2 ) ) <> fail; true -gap> OneSmallClassNrGroup( 21, IsSolvableGroup, false, IsSL ); +gap> OneSmallClassNrGroup( 21, IsSolvableGroup, false, IsSL ); Error, the library of groups of class number 21 is not available gap> AlternatingDegree( OneSmallClassNrGroup( 14, IsSolvableGroup, false, IsAlternatingGroup ) ); 8 # -gap> itr := IteratorSmallClassNrGroups( [ 4..11 ], IsSolvableGroup, IsNilpotentGroup, false, DerivedLength, [ 3, 4 ], IsSupersolvableGroup );; +gap> itr := IteratorSmallClassNrGroups( [ 4 .. 11 ], IsSolvableGroup, IsNilpotentGroup, false, DerivedLength, [ 3, 4 ], IsSupersolvableGroup );; gap> Size( NextIterator( itr ) ); 54 gap> IsDoneIterator( itr ); diff --git a/tst/idgroup.tst b/tst/idgroup.tst index 2c5664f..4dd2d20 100644 --- a/tst/idgroup.tst +++ b/tst/idgroup.tst @@ -1,8 +1,10 @@ gap> START_TEST( "Testing SmallClassNr - IdGroup checks" ); # +gap> LoadPackage( "SmallGrp", false: OnlyNeeded ); +true gap> max := First( PositiveIntegers, x -> not SmallClassNrGroupsAvailable( x ) ) - 1;; -gap> ForAll( [ 1 .. max ], k -> ForAll( [ 1 .. NrSmallClassNrGroups( k ) ], i -> +gap> ForAll( [ 1 .. max ], k -> ForAll( [ 1 .. NrSmallClassNrGroups( k ) ], i -> > IdClassNrToIdGroup( k, i ) = fail or > IdClassNr( SmallGroup( IdClassNrToIdGroup( k, i ) ) ) = [ k, i ] ) ); true diff --git a/tst/perfgrp.tst b/tst/perfgrp.tst index 592dade..ca4cf6f 100644 --- a/tst/perfgrp.tst +++ b/tst/perfgrp.tst @@ -2,7 +2,7 @@ gap> START_TEST( "Testing SmallClassNr - PerfGrp checks" ); # gap> max := First( PositiveIntegers, x -> not SmallClassNrGroupsAvailable( x ) ) - 1;; -gap> ForAll( [ 1 .. max ], k -> ForAll( [ 1 .. NrSmallClassNrGroups( k ) ], i -> +gap> ForAll( [ 1 .. max ], k -> ForAll( [ 1 .. NrSmallClassNrGroups( k ) ], i -> > IdClassNrToPerfGrp( k, i ) = fail or > IdClassNr( CallFuncList( PerfectGroup, IdClassNrToPerfGrp( k, i ) ) ) = [ k, i ] ) ); true diff --git a/tst/primgrp.tst b/tst/primgrp.tst index 6d3a3c6..607a03c 100644 --- a/tst/primgrp.tst +++ b/tst/primgrp.tst @@ -4,7 +4,7 @@ gap> START_TEST( "Testing SmallClassNr - PrimGrp checks" ); gap> LoadPackage( "PrimGrp", false: OnlyNeeded ); true gap> max := First( PositiveIntegers, x -> not SmallClassNrGroupsAvailable( x ) ) - 1;; -gap> ForAll( [ 1 .. max ], k -> ForAll( [ 1 .. NrSmallClassNrGroups( k ) ], i -> +gap> ForAll( [ 1 .. max ], k -> ForAll( [ 1 .. NrSmallClassNrGroups( k ) ], i -> > IdClassNrToPrimGrp( k, i ) = fail or > IdClassNr( CallFuncList( PrimitiveGroup, IdClassNrToPrimGrp( k, i ) ) ) = [ k, i ] ) ); true diff --git a/tst/transgrp.tst b/tst/transgrp.tst index 8a70ee7..9b63810 100644 --- a/tst/transgrp.tst +++ b/tst/transgrp.tst @@ -4,7 +4,7 @@ gap> START_TEST( "Testing SmallClassNr - TransGrp checks" ); gap> LoadPackage( "TransGrp", false: OnlyNeeded ); true gap> max := First( PositiveIntegers, x -> not SmallClassNrGroupsAvailable( x ) ) - 1;; -gap> ForAll( [ 1 .. max ], k -> ForAll( [ 1 .. NrSmallClassNrGroups( k ) ], i -> +gap> ForAll( [ 1 .. max ], k -> ForAll( [ 1 .. NrSmallClassNrGroups( k ) ], i -> > IdClassNrToTransGrp( k, i ) = fail or > IdClassNr( CallFuncList( TransitiveGroup, IdClassNrToTransGrp( k, i ) ) ) = [ k, i ] ) ); true