CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutSign UpSign In

Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.

| Download

GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it

Views: 418346
#############################################################################
##
#A  trans21a.grp                 GAP group library           Alexander Hulpke
##
##
#Y  Copyright (C) 2001, Alexander Hulpke, Colorado State University
##
##  This file contains part of the transitive groups of degree 21
##

TRANSGRP[21]{[1..164]}:=
[[(1,2,3)(4,5,6)(7,8,9)(10,11,12)(13,14,15)(16,17,18)(19,20,21),
(1,4,9,10,14,17,20)(2,5,7,11,15,18,21)(3,6,8,12,13,16,19),"t21n1"],
[(1,4,7,11,14,18,19)(2,5,8,12,15,16,20)(3,6,9,10,13,17,21),
(1,5,10)(2,6,11)(3,4,12)(7,16,13)(8,17,14)(9,18,15)(19,20,21),"t21n2"],
[(1,12,21,9,17,4,14)(2,10,19,7,18,5,15)(3,11,20,8,16,6,13),
(1,3,2)(4,20,5,21,6,19)(7,17,8,18,9,16)(10,14,11,15,12,13),"t21n3"],
[(1,4,8,12,15,18,19)(2,5,7,11,14,16,20)(3,6,9,10,13,17,21),
(1,9,5,18,10,14)(2,8,6,16,12,13)(3,7,4,17,11,15)(19,21,20),"t21n4"],
[(1,8)(2,7)(3,9)(4,6)(10,19)(11,21)(12,20)(13,17)(14,16)(15,18),
(1,17)(2,16)(3,18)(4,14)(5,13)(6,15)(7,11)(8,10)(9,12)(19,20),"t21n5"],
[(1,2,3)(4,5,6)(7,8,9)(10,11,12)(13,14,15)(16,17,18)(19,20,21),
(1,12,19,9,16,6,13,3,10,21,7,18,4,15)(2,11,20,8,17,5,14),"t21n6"],
[(1,16,6)(2,17,4)(3,18,5)(7,8,9)(10,15,19)(11,13,20)(12,14,21),
(1,15,19)(2,13,20)(3,14,21)(4,5,6)(7,17,10)(8,18,11)(9,16,12),"t21n7"],
[(1,2,3)(4,20,6,19,5,21)(7,17,9,16,8,18)(10,14,12,13,11,15),
(1,17,10,5,19,14,7,2,16,11,4,20,13,8)(3,18,12,6,21,15,9),"t21n8"],
[(1,13,2,14,3,15)(4,10,5,11,6,12)(7,9,8)(16,19,17,20,18,21),
(1,12,8)(2,10,9)(3,11,7)(4,16,20)(5,17,21)(6,18,19),"t21n9"],
[(1,10,17,15,5,19)(2,12,18,14,6,21)(3,11,16,13,4,20)(8,9),
(1,3,2)(4,15,8)(5,13,9)(6,14,7)(10,17,20)(11,18,21)(12,16,19),"t21n10"],
[(1,12,5)(2,10,6)(3,11,4)(7,15,17)(8,13,18)(9,14,16)(19,21,20),
(1,6,16,3,4,18)(2,5,17)(7,9)(10,21,13,12,19,15)(11,20,14),"t21n11"],
[(1,17,14)(2,16,8)(3,15,9)(4,21,10)(5,20,11)(6,19,12)(7,18,13),
(1,20,10)(2,19,11)(3,18,12)(4,17,13)(5,16,14)(6,15,8)(7,21,9),"t21n12"],
[(1,4,7,3,6,2,5)(8,9,10,11,12,13,14)(15,19,16,20,17,21,18),
(1,11,16)(2,8,21)(3,12,19)(4,9,17)(5,13,15)(6,10,20)(7,14,18),"t21n13"],
[(1,4)(2,6)(3,5)(7,17)(8,16)(9,18)(13,14)(19,20),
(1,5,9,12,13,17,19)(2,4,8,11,15,16,20)(3,6,7,10,14,18,21),"t21n14"],
[(1,18)(2,17)(3,16)(4,15)(5,14)(6,13)(7,12)(8,11)(9,10)(19,21),
(1,13,16)(2,15,17,3,14,18)(4,19,7)(5,21,8,6,20,9)(11,12),"t21n15"],
[(1,14,20,2,12,17)(3,10,21,7,9,16)(4,8,18,6,11,19)(5,13,15),
(1,2)(3,7)(4,6)(8,12)(9,11)(13,14)(15,18)(16,17)(19,21),"t21n16"],
[(1,4)(2,3)(5,7)(8,18,12,15,9,19,13,16,10,20,14,17,11,21),
(1,12,21)(2,13,20)(3,14,19)(4,8,18)(5,9,17)(6,10,16)(7,11,15),"t21n17"],
[(1,8,3,10,5,12,7,14,2,9,4,11,6,13)(15,17,19,21,16,18,20),
(1,17,3,15,5,20,7,18,2,16,4,21,6,19)(8,13,11,9,14,12,10),"t21n18"],
[(1,14,21,6,8,17)(2,10,16,5,12,15)(3,13,18,4,9,20)(7,11,19),
(1,7)(2,6)(3,5)(8,13)(9,12)(10,11)(15,18)(16,17)(19,21),"t21n19"],
[(1,16,5,9,3,10,4,17)(2,19,6,8)(7,13,21,11,12,14,20,18),
(1,17,2,18,13,11,19)(3,12,15,20,9,10,5)(4,8,14,6,16,7,21),"t21n20"],
[(1,8,21,7,10,17,6,12,20,5,14,16,4,9,19,3,11,15,2,13,18),
(1,2,4)(3,6,5)(8,12,13)(9,14,10)(15,18,17)(16,20,21),"t21n21"],
[(1,8,17,15,4,21,12)(2,9,18,13,5,19,10)(3,7,16,14,6,20,11),
(1,2,3)(4,9,6,8,5,7)(10,20,12,19,11,21)(13,14,15)(16,17,18),"t21n22"],
[(1,4)(2,3)(5,7)(8,20,11,15,14,17,10,19,13,21,9,16,12,18),
(1,10,6,9,4,8,2,14,7,13,5,12,3,11)(15,19,16,20,17,21,18),"t21n23"],
[(1,8,18,2,9,19)(3,10,20,7,14,17)(4,11,21,6,13,16)(5,12,15),
(1,5,6)(2,7,3)(9,10,12)(11,14,13)(15,18,17)(16,20,21),"t21n24"],
[(1,21,14)(2,16,10)(3,18,13)(4,20,9)(5,15,12)(6,17,8)(7,19,11),
(2,6,5,7,3,4)(8,20,9,15,13,16)(10,17)(11,19,14,18,12,21),"t21n25"],
[(1,21,2,18,4,19)(3,15,6,20,5,16)(7,17)(8,12,14)(10,13,11),
(1,11,15)(2,10,16)(3,9,17)(4,8,18)(5,14,19)(6,13,20)(7,12,21),"t21n26"],
[(1,16,19)(2,18,20,3,17,21)(4,7,13)(5,9,14,6,8,15)(11,12),
(1,18,8)(2,16,9)(3,17,7)(4,6,5)(10,21,14)(11,19,15)(12,20,13),"t21n27"],
[(1,7,6,5,4,3,2)(8,10,12,14,9,11,13)(15,18,21,17,20,16,19),
(1,20,8,3,16,14,5,19,13,7,15,12,2,18,11,4,21,10,6,17,9),"t21n28"],
[(1,4,3)(2,6,7)(8,15,11,16,9,20)(10,18,12,21,13,19)(14,17),
(1,15,5,17,6,21)(2,19,7,18,3,16)(4,20)(8,12,14)(10,13,11),
(1,4,6,5,2,7)(8,19,10,20,14,15)(9,16,12,21,11,17)(13,18),"t21n29"],
[(1,12,2,13,3,14,4,8,5,9,6,10,7,11)(15,21)(16,20)(17,19),
(1,15,5,19,2,16,6,20,3,17,7,21,4,18)(8,14)(9,13)(10,12),"t21n30"],
[(1,16,11,4,19,9)(2,17,8,3,18,12)(5,20,13,7,15,14)(6,21,10),
(1,12,19,6,11,21,4,10,16,2,9,18,7,8,20,5,14,15,3,13,17),"t21n31"],
[(1,7,6,5,4,3,2)(8,19,13,17,11,15,9,20,14,18,12,16,10,21),
(1,18,12,3,16,10,5,21,8,7,19,13,2,17,11,4,15,9,6,20,14),"t21n32"],
[(4,6,5)(9,11,10)(13,15,14)(16,18,17)(19,20,21),
(1,7,12,16,19,21,6)(2,8,13,17,20,5,11)(3,9,14,18,4,10,15),"t21n33"],
[(1,11,20,2,9,16,3,14,19,4,12,15,5,10,18,6,8,21,7,13,17),
(1,3,4)(2,7,6)(8,9,13)(11,14,12)(16,19,17)(18,20,21),"t21n34"],
[(1,12,16,5,10,21,7,9,20)(2,8,19)(3,11,15,6,13,17,4,14,18),
(1,5,2,6,3,7,4)(8,11,14,10,13,9,12)(15,16,17,18,19,20,21),"t21n35"],
[(1,13,17,3,9,16,5,12,15,7,8,21,2,11,20,4,14,19,6,10,18),
(1,4)(2,3)(5,7)(8,11,14,10,13,9,12)(15,20)(16,19)(17,18),"t21n36"],
[(1,10,15,6,8,16)(2,11,18,5,14,20)(3,12,21,4,13,17)(7,9,19),
(1,3,5,7,2,4,6)(8,21,9,18,10,15,11,19,12,16,13,20,14,17),"t21n37"],
[(2,3)(4,5,6)(7,8)(9,10,11)(13,17,15,16,14,18)(19,21,20),
(1,7,12,16,19,21,6)(2,8,13,17,20,5,11)(3,9,14,18,4,10,15),"t21n38"],
[(1,13,6,16,7,21,10)(2,14,4,17,8,20,11)(3,15,5,18,9,19,12),
(1,15,4,16,8,19,12)(2,13,5,17,9,21,10)(3,14,6,18,7,20,11),"t21n39"],
[(1,6,2)(4,5,7)(8,21,11,20,9,16)(10,18,12,15,13,17)(14,19),
(1,19,8,2,15,11,3,18,14,4,21,10,5,17,13,6,20,9,7,16,12),"t21n40"],
[(1,10,18,2,9,16,3,8,21,4,14,19,5,13,17,6,12,15,7,11,20),
(1,8,4,11,2,9)(3,10,5,12,6,13)(7,14)(15,18,19,17,21,20),"t21n41"],
[(1,14,18,6,9,17,7,8,21,3,12,19,5,10,20,4,11,16)(2,13,15),
(1,2,5,7,6,3)(8,9,12,14,13,10)(15,20,21,17,19,18),"t21n42"],
[(1,12,17,4,14,15)(2,8,21,3,11,18)(5,10,19,7,9,20)(6,13,16),
(1,10,16,5,14,17,2,11,18,6,8,19,3,12,20,7,9,21,4,13,15),"t21n43"],
[(1,11,17,21,7,5,13,2,12,18,19,8,6,14,3,10,16,20,9,4,15),
(1,16,15,10,2,17,13,11,3,18,14,12)(4,8,6,7,5,9)(19,20,21),"t21n44"],
[(1,5,2,6,3,7,4)(8,13,11,9,14,12,10)(15,19)(16,18)(20,21),
(1,17,9,6,20,11)(2,19,8,5,18,12)(3,21,14,4,16,13)(7,15,10),"t21n45"],
[(1,8,20,7,11,18,6,14,16,5,10,21,4,13,19,3,9,17,2,12,15),
(1,5)(2,4)(6,7)(8,16,9,19)(10,15,14,20)(11,18,13,17)(12,21),"t21n46"],
[(1,15,6,18)(2,17,5,16)(3,19,4,21)(7,20)(8,14,13,12,11,10,9),
(1,9)(2,13,7,12)(3,10,6,8)(4,14,5,11)(15,17,19,21,16,18,20),"t21n47"],
[(1,15,9,3,20,10,5,18,11,7,16,12,2,21,13,4,19,14,6,17,8),
(1,6,5)(2,3,7)(8,12,13)(9,14,10),"t21n48"],
[(1,11,17)(2,12,15,3,13,20,5,8,16)(4,14,18,7,10,19,6,9,21),
(1,7,3)(2,4,5)(8,11,14,10,13,9,12)(15,16,18)(17,20,19),"t21n49"],
[(1,7,14,21,4,11,18,3,8,13,20,6,12,17)(2,9,15,19,5,10,16),
(1,13,6,17,9,19,10)(2,14,4,18,7,21,11)(3,15,5,16,8,20,12),"t21n50"],
[(1,14,6,16,9,20,10)(2,15,4,17,7,19,11)(3,13,5,18,8,21,12),
(1,13,2,15,3,14)(4,12,6,10,5,11)(7,8)(16,19)(17,20)(18,21),"t21n51"],
[(1,16,10,4,19,13,9)(2,17,11,5,21,14,7)(3,18,12,6,20,15,8),
(1,6,3,5,2,4)(7,19,8,21,9,20)(10,18,12,17,11,16)(13,14,15),"t21n52"],
[(1,8,17,6,14,15,4,13,20,2,12,18,7,11,16,5,10,21,3,9,19),
(2,6,5,7,3,4)(8,14,9,12,13,11)(16,17,19)(18,21,20),"t21n53"],
[(1,18,14,5,19,13,7,16,9)(2,20,12)(3,15,10,6,21,11,4,17,8),
(1,2,5,7,6,3)(8,12,14)(10,13,11)(15,16,19,21,20,17),"t21n54"],
[(1,2)(3,7)(4,6)(9,14)(10,13)(11,12)(15,19)(16,18)(20,21),
(1,20,13,3,21,14,5,15,8,7,16,9,2,17,10,4,18,11,6,19,12),
(1,17,4,21,2,16)(3,15,5,20,6,19)(7,18)(8,13,10,9,11,14),"t21n55"],
[(1,4,17)(2,5,18)(3,6,16)(7,14,19,12,9,13,21,11,8,15,20,10),
(4,11,14,18,20,9)(5,12,15,16,21,7)(6,10,13,17,19,8),"t21n56"],
[(1,2,3)(4,17,12,19,8,6,16,11,21,7,5,18,10,20,9)(13,14,15),
(1,4)(2,6)(3,5)(7,10,19,13)(8,12,20,15)(9,11,21,14)(17,18),"t21n57"],
[(1,3,2)(4,6,5)(7,14,17,21,12,8,15,18,19,10,9,13,16,20,11),
(1,10,7)(2,12,8,3,11,9)(4,21,15,16)(5,20,13,18)(6,19,14,17),"t21n58"],
[(1,7,20)(2,8,19)(3,9,21)(4,14,10)(5,15,11)(6,13,12),
(1,13,5,18,8,19,11)(2,14,6,16,9,21,12)(3,15,4,17,7,20,10),"t21n59"],
[(1,9,11,3,8,10,2,7,12)(4,19,16,5,21,17,6,20,18)(13,14,15),
(1,10,21,8,16,4,14)(2,11,20,9,17,5,15)(3,12,19,7,18,6,13),"t21n60"],
[(1,21,17,14,10,9,4,3,19,18,15,11,8,6,2,20,16,13,12,7,5),
(1,8,15,19,5,10,17,3,7,13,20,4,11,18,2,9,14,21,6,12,16),"t21n61"],
[(1,16,6,21,4,19,2,17,7,15,5,20,3,18)(8,10,12,14,9,11,13),
(1,9,5,10)(2,11,4,8)(3,13)(6,12,7,14)(15,20,18,16,21,19,17),"t21n62"],
[(1,21,13,5,17,10)(2,20,14,4,18,9)(3,19,8)(6,16,11,7,15,12),
(1,6,4,2,7,5,3)(9,10,12)(11,14,13)(15,17,18)(16,21,20),"t21n63"],
[(1,12,21,7,11,18,6,10,15,5,9,19,4,8,16,3,14,20,2,13,17),
(1,9)(2,8,5,12,3,14)(4,13,6,11,7,10)(15,20,17,16,18,21),
(1,17,10)(2,15,14)(3,20,11)(4,18,8)(5,16,12)(6,21,9)(7,19,13),"t21n64"],
[(1,8,6,12,2,13)(3,11)(4,9,5,14,7,10)(15,18,16)(17,19,20),
(1,9,15,4,13,17,7,10,19,3,14,21,6,11,16,2,8,18,5,12,20),
(1,21,12,3,19,8,5,17,11,7,15,14,2,20,10,4,18,13,6,16,9),"t21n65"],
[(1,7,4,2,3,6)(9,14)(10,13)(11,12)(16,20,19,21,17,18),
(1,10,15)(2,8,19,6,14,21,5,9,17,7,12,18,3,13,16,4,11,20),"t21n66"],
[(2,14,18,20,8)(3,7,12,13,19)(4,21,17,15,10)(5,11,16,6,9),
(1,7,12,16,19,21,6)(2,8,13,17,20,5,11)(3,9,14,18,4,10,15),"t21n67"],
[(1,20,2,21,3,19)(4,18,6,16,5,17)(7,15,8,14,9,13)(10,12),
(1,13,5,17,7,19,10,3,14,4,18,9,21,12)(2,15,6,16,8,20,11),"t21n68"],
[(1,11,4,9,5,13,3,12,7,14,6,10)(2,8)(15,19,17,18,21,16),
(1,16,13,7,19,10,6,15,14,5,18,11,4,21,8,3,17,12,2,20,9),"t21n69"],
[(1,10,20,6,11,15)(2,13,19,5,8,16)(3,9,18,4,12,17)(7,14,21),
(1,5,3,4,7,2)(8,14,10)(9,11,12)(15,16,19,21,20,17),"t21n70"],
[(1,14,21,5,9,19,4,12,16,6,13,15,2,11,17,3,8,20)(7,10,18),
(1,8,17,6,12,19,3,11,15,2,13,16,4,9,21,7,10,18)(5,14,20),"t21n71"],
[(1,17,8,5,20,9,2,16,10,6,19,11,3,15,12,7,18,13,4,21,14),
(1,16,4,19,5,20,3,18,7,15,6,21)(2,17)(8,12,14)(10,13,11),"t21n72"],
[(1,21,12,4,19,9,2,18,11)(3,15,10,5,16,8,6,20,14)(7,17,13),
(1,9,20,3,12,15,4,10,16)(2,14,21,7,11,19,6,13,18)(5,8,17),"t21n73"],
[(1,12,13,18)(2,11,14,17)(3,10,15,16)(4,6)(7,9)(19,21),
(1,20,18)(2,21,16)(3,19,17)(4,14,6,13,5,15)(7,8,9)(10,11,12),
(1,16,13,10)(2,17,14,11)(3,18,15,12)(7,19)(8,20)(9,21),"t21n74"],
[(1,10,19,9,18,4,13,2,12,20,8,16,6,15,3,11,21,7,17,5,14),
(2,3)(4,19)(5,20)(6,21)(7,17)(8,18)(9,16)(10,13,12,14,11,15),"t21n75"],
[(1,18)(2,16)(3,17)(4,14,5,15,6,13)(7,11,9,10,8,12)(19,20,21),
(1,6,7,10,13,16,19,2,5,9,12,15,17,20,3,4,8,11,14,18,21),"t21n76"],
[(1,17,4)(2,18,5)(3,16,6)(7,8,9)(10,15,20)(11,13,19)(12,14,21),
(1,16,19,8,13,11,2,17,21,9,14,12,3,18,20,7,15,10)(4,5,6),"t21n77"],
[(1,7,18,21,14,6)(2,9,16,19,15,5)(3,8,17,20,13,4)(10,12),
(1,2)(4,12,7,20,13,16,6,10,9,19,15,17,5,11,8,21,14,18),"t21n78"],
[(1,12,20,9,16,4,15,3,10,21,7,18,5,14)(2,11,19,8,17,6,13),
(1,21,8)(2,19,9,3,20,7)(4,10,15)(5,12,13,6,11,14)(16,17),"t21n79"],
[(1,19,17,13,12,8,5)(2,21,18,14,11,9,6,3,20,16,15,10,7,4),
(1,14,6,16,7,21,11,2,13,4,17,9,19,10,3,15,5,18,8,20,12),"t21n80"],
[(1,18,21,9,15,11,2,16,20,7,13,12,3,17,19,8,14,10)(4,6,5),
(1,3,2)(4,15,7)(5,13,8)(6,14,9)(10,16,20,11,17,19,12,18,21),"t21n81"],
[(1,13,2,14,4,9)(3,8,6,11,5,10)(7,12)(15,21,17)(16,18,19),
(1,21,2,17,4,16)(3,20,6,15,5,19)(7,18)(8,10,9,13,11,12),
(1,2)(3,7)(4,6)(8,13,10,9,11,14)(15,19,17,18,21,16),"t21n82"],
[(1,4,6,5,2,7)(8,10,12,14,9,11,13)(15,19,18,20,16,17),
(1,11,17,3,14,18,4,12,15)(2,9,21,7,13,20,6,8,16)(5,10,19),"t21n83"],
[(2,6,5,7,3,4)(8,10,11)(9,14,13)(15,19)(16,18)(20,21),
(1,18,14,6,20,13,4,15,12,2,17,11,7,19,10,5,21,9,3,16,8),"t21n84"],
[(1,12,16,15,18,2,21)(3,5,6,9,7,4,13)(8,20,11,14,19,10,17),
(1,7,2,16,20,18,19,12)(3,10,8,9,11,14,4,21)(5,13,6,15),"t21n85"],
[(1,17,4,2,18,5,3,16,6)(7,8,9)(10,15,21)(11,14,20)(12,13,19),
(1,19,18,15,10,8,6,2,20,16,13,12,9,4,3,21,17,14,11,7,5),"t21n86"],
[(1,21,13,7,20,9,6,19,12,5,18,8,4,17,11,3,16,14,2,15,10),
(1,18,14,2,16,9)(3,21,11,7,20,12)(4,19,13,6,15,10)(5,17,8),
(1,17,7,16,4,20,2,18,3,19,6,15)(5,21)(8,11,10)(9,13,14),"t21n87"],
[(1,14)(2,9,5,8,3,11)(4,13,6,10,7,12)(15,20,21,17,19,18),
(1,19,2,17,4,20)(3,15,6,16,5,18)(7,21)(8,12)(9,11)(13,14),"t21n88"],
[(1,8,20)(2,9,15,5,12,21,3,10,17)(4,11,19,6,13,16,7,14,18),
(1,14,21,6,9,17)(2,13,16,5,10,15)(3,12,18,4,11,20)(7,8,19),"t21n89"],
[(1,17,10,4,16,14,3,21,8)(2,19,9,6,20,12,7,15,11)(5,18,13),
(2,3,5)(4,7,6)(8,20,12,19,13,17)(9,18,14,15,10,16)(11,21),"t21n90"],
[(1,12,4,17,3,7,6,15,2,20,19,11,13,21,5,14,9,16,10,18,8),
(1,10,9,2,15,7,14)(3,16,17,4,12,19,20)(5,21,8,18,13,6,11),"t21n91"],
[(1,13,3,15,2,14)(4,12,6,11,5,10)(7,9,8)(16,19)(17,21)(18,20),
(1,10,14,7,19,16,2,11,15,8,21,17,3,12,13,9,20,18)(4,6,5),
(1,6,7,12,14,16,19,3,4,9,10,13,17,20)(2,5,8,11,15,18,21),"t21n92"],
[(1,6,7,12,15,17,21,2,5,8,11,13,18,19)(3,4,9,10,14,16,20),
(1,14,3,13,2,15)(4,10)(5,11)(6,12)(16,19)(17,21)(18,20),"t21n93"],
[(1,5)(2,4)(6,7)(8,12,14)(10,13,11)(15,16,18)(17,20,19),
(1,9,21,3,12,16)(2,14,15)(4,10,17,7,11,20)(5,8,18,6,13,19),"t21n94"],
[(1,9,6,8,3,10,2,13,4,14,7,12)(5,11)(15,17,18)(16,21,20),
(1,20,13)(2,19,9)(3,18,12)(4,17,8)(5,16,11)(6,15,14)(7,21,10),
(1,2,5,7,6,3)(8,14,9,12,13,11)(15,16,17,18,19,20,21),"t21n95"],
[(1,17,10,5,18,12,6,20,9)(2,19,14,7,15,13,3,21,11)(4,16,8),
(1,2,6)(4,7,5)(8,11,14,10,13,9,12)(15,18,19,17,21,20),"t21n96"],
[(1,4,6,5,2,7)(8,18,11,17,12,19,10,15,14,16,13,21)(9,20),
(1,5,7)(3,6,4)(8,21,13,16,9,20)(10,19)(11,18,12,17,14,15),
(1,17,9,2,16,13,3,15,10,4,21,14,5,20,11,6,19,8,7,18,12),"t21n97"],
[(1,10,5)(2,11,4)(3,12,6)(7,14,17)(8,13,18)(9,15,16)(19,20,21),
(1,20,11,6,7,16,2,19,12,5,8,17,3,21,10,4,9,18),"t21n98"],
[(1,13,8,11,20,4,2,14,9,10,19,5,3,15,7,12,21,6)(17,18),
(1,7,18,19,13,4)(2,9,16,20,15,5)(3,8,17,21,14,6)(10,11),"t21n99"],
[(1,8,10,2,7,11)(3,9,12)(4,21,18)(5,20,16,6,19,17)(14,15),
(1,5,11,2,6,12)(3,4,10)(7,17,15,9,16,14)(8,18,13)(19,21),
(1,10,7,3,12,9,2,11,8)(4,18,21,5,16,19,6,17,20),"t21n100"],
[(1,18,10)(2,21,8,3,17,13,5,16,9)(4,20,11,7,15,12,6,19,14),
(1,10,19,2,11,18,4,13,16)(3,12,17,6,8,21,5,14,15)(7,9,20),"t21n101"],
[(1,21,12,2,19,13,5,20,9,7,16,11,6,18,10,3,17,14)(4,15,8),
(1,6,3,2,4,7)(8,18,11,15,9,17)(10,16,12,21,13,20)(14,19),"t21n102"],
[(1,6,8,5,19,20,10,3,12,18,14,21,16,13,4,7,15,17,2,9,11),
(1,2,12)(3,5,17,7,21,8)(4,13,18)(6,10)(9,16,15,14,11,20),"t21n103"],
[(1,4,2,5,3,6)(7,19,18,14,8,21,16,15,9,20,17,13)(10,11,12),
(1,18,14,2,16,15,3,17,13)(4,10,9,5,11,7,6,12,8)(19,21,20),"t21n104"],
[(1,21,9,4,14,18,11,3,19,8,6,15,16,10,2,20,7,5,13,17,12),
(1,21,7,6,14,16,10,2,19,8,5,15,18,11,3,20,9,4,13,17,12),"t21n105"],
[(1,10,3,11,7,13)(2,14,5,12,4,8)(6,9)(15,16,19,21,20,17),
(1,7,4,2,3,6)(8,20,10,16,13,17,14,15,12,19,9,18)(11,21),
(1,15,11,2,20,12,3,18,13,4,16,14,5,21,8,6,19,9,7,17,10),"t21n106"],
[(1,11,13,8,21,16,3,12,15,9,19,17,2,10,14,7,20,18)(4,6),
(1,15,2,13,3,14)(4,10)(5,12)(6,11)(7,9,8)(16,19,18,20,17,21),"t21n107"],
[(1,18,8)(2,17,12,3,16,9,5,21,10)(4,15,13,7,19,11,6,20,14),
(1,6,3,2,4,7)(8,19,10,18,14,16)(9,15,12,17,11,21)(13,20),"t21n108"],
[(1,10,20,2,13,16,5,8,18,7,14,17,6,11,21,3,9,19)(4,12,15),
(1,15,12,7,16,8,4,19,10,2,21,9,3,20,13,6,17,11)(5,18,14),"t21n109"],
[(1,11,20,4,10,17,3,8,18)(2,13,19,6,14,15,7,9,21)(5,12,16),
(1,2)(3,7)(4,6)(8,19,9,16)(10,20,14,15)(11,17,13,18)(12,21),"t21n110"],
[(1,10,14,8,2,11,15,9,3,12,13,7)(4,20,6,21,5,19),
(1,9,4,21,14,17,12,2,8,5,19,15,16,10)(3,7,6,20,13,18,11),"t21n111"],
[(1,21,18,5,13,10,7,2,19,16,6,15,12,8)(3,20,17,4,14,11,9),
(1,19,16,6,13,11,7,2,20,18,4,14,12,9)(3,21,17,5,15,10,8),"t21n112"],
[(1,16,7,21,6,15,10,3,18,9,19,4,14,11,2,17,8,20,5,13,12),
(1,2,3)(4,10)(5,12)(6,11)(7,9)(13,18,14,16,15,17)(19,21),"t21n113"],
[(1,9,5)(2,8,6)(3,7,4)(10,18,21,12,16,20)(11,17,19)(14,15),
(1,10,9,2,12,7,3,11,8)(4,14,20,6,13,21,5,15,19)(16,17,18),"t21n114"],
[(1,17,5,13,21,8,12,3,16,6,14,20,7,10,2,18,4,15,19,9,11),
(1,3,2)(4,21,13,5,20,14,6,19,15)(7,17,12,9,16,10,8,18,11),"t21n115"],
[(1,9,15,6,10,17,7,13,16,3,8,20,5,14,18,4,11,19)(2,12,21),
(8,16,14,21,12,17)(9,18)(10,20,11,15,13,19),"t21n116"],
[(1,2,3)(4,7,12,5,9,11,6,8,10)(13,21,16,15,19,17)(14,20,18),
(1,18,15,9,20,4,10)(2,16,13,7,21,5,12)(3,17,14,8,19,6,11),"t21n117"],
[(1,4,19)(2,6,21,3,5,20)(7,10,17,9,11,18)(8,12,16)(14,15),
(1,20,12,7,14,17,4,3,19,10,9,15,18,6)(2,21,11,8,13,16,5),"t21n118"],
[(1,16,6,7)(2,17,5,9)(3,18,4,8)(11,12)(13,19)(14,21,15,20),
(1,20,14,4,3,19,15,6,2,21,13,5)(7,12,9,10)(8,11),"t21n119"],
[(1,6,8,10,15,17,21,2,4,9,12,14,16,19,3,5,7,11,13,18,20),
(1,2,3)(5,6)(10,12)(14,15)(16,18,17)(20,21),"t21n120"],
[(1,9,16,20,14,4,11)(2,7,17,19,15,5,12)(3,8,18,21,13,6,10),
(1,14)(2,15)(3,13)(4,10,8,18,5,11,9,16,6,12,7,17)(19,20,21),"t21n121"],
[(1,21,3,20)(2,19)(4,17,5,16,6,18)(7,13,8,14,9,15)(11,12),
(1,18)(2,16)(3,17)(4,13,5,14,6,15)(7,12)(8,10)(9,11)(19,21,20),"t21n122"],
[(5,6)(10,11,12)(13,14,15)(17,18)(19,21,20),(1,8,13,21,6,10,18,3,7,14,20,4,11,17)
(2,9,15,19,5,12,16),"t21n123"],
[(1,10,21,7,17,6,14,2,12,19,9,18,5,13,3,11,20,8,16,4,15),
(1,20,3,19)(2,21)(4,16,5,18)(6,17)(7,13)(8,15,9,14)(10,12,11),"t21n124"],
[(1,10,15,3,11,14,2,12,13)(4,17,8,6,16,7)(5,18,9)(20,21),
(1,21,4,16,15,12,7,2,20,5,17,14,10,8,3,19,6,18,13,11,9),"t21n125"],
[(1,17,10,8,2,18,12,7)(3,16,11,9)(4,20)(5,21)(6,19)(13,15),
(1,5,12,13,19,9,18,2,4,10,14,20,8,17,3,6,11,15,21,7,16),"t21n126"],
[(1,15,16)(2,14,18)(3,13,17)(4,21,7)(5,20,8,6,19,9)(11,12),
(1,20,17,14,10,7,4,3,21,18,13,11,9,5,2,19,16,15,12,8,6),"t21n127"],
[(1,12,20,6,9,15,16)(2,10,19,4,7,13,17)(3,11,21,5,8,14,18),
(1,8,18,10,4,14,20)(2,7,16,12,5,13,19,3,9,17,11,6,15,21),"t21n128"],
[(1,14)(2,13)(3,15)(4,19,10,6,21,12)(5,20,11)(7,9)(16,18),
(1,17,3,16,2,18)(4,13)(5,14)(6,15)(7,19,12,8,21,10,9,20,11),"t21n129"],
[(1,15,19,4,12,8,2,13,21,5,10,9,3,14,20,6,11,7)(16,18,17),
(1,16,4,12,7,21,13)(2,17,5,10,8,20,14)(3,18,6,11,9,19,15),"t21n130"],
[(1,14)(2,13)(3,15)(4,12,5,10)(6,11)(7,8,9)(16,20)(17,21,18,19),
(1,6,9,10,13,18,20,3,5,7,11,15,16,19)(2,4,8,12,14,17,21),"t21n131"],
[(1,11,18,8,21)(2,12,16,7,20)(3,10,17,9,19)(13,14,15),
(1,14,19,8,16,4,11,2,13,21,7,17,6,12,3,15,20,9,18,5,10),"t21n132"],
[(1,14,8,11,20,6)(2,13,7,10,19,5,3,15,9,12,21,4)(17,18),
(1,9,3,8)(2,7)(4,5,6)(10,21,12,20)(11,19)(13,18)(14,17)(15,16),"t21n133"],
[(1,16,9,5,12,19,3,18,7,6,10,20)(2,17,8,4,11,21)(13,14,15),
(1,11,13,8,21,16,3,12,14,7,20,17)(2,10,15,9,19,18),"t21n134"],
[(1,16,5,21,14,9,11,2,18,4,20,13,8,10)(3,17,6,19,15,7,12),
(1,21,13)(2,19,14)(3,20,15)(4,18,11,6,16,12,5,17,10)(7,8,9),"t21n135"],
[(1,2)(4,14,16,6,15,18)(5,13,17)(7,20,12,9,21,10,8,19,11),
(1,7,16,3,9,17)(2,8,18)(4,14,21,6,15,19,5,13,20)(10,11,12),"t21n136"],
[(1,9,14,19,6,10,18)(2,8,15,21,4,12,17,3,7,13,20,5,11,16),
(1,21,9,2,20,8)(3,19,7)(4,12,14,5,11,13)(6,10,15)(16,18,17),"t21n137"],
[(1,17,5,7,13,2,16,6,9,14)(3,18,4,8,15)(10,21,12,20,11,19),
(1,16,2,18,3,17)(4,20,5,21,6,19)(7,9)(10,12)(13,15),"t21n138"],
[(1,4)(2,5)(3,6)(7,18,10,8,16,11,9,17,12)(19,20,21),
(1,10,2,12,3,11)(4,17)(5,16)(6,18)(7,21,13)(8,20,14)(9,19,15),"t21n139"],
[(1,16,4,2,18,6)(3,17,5)(7,12,14,9,10,13)(8,11,15)(19,21),
(4,17,10,9,20,5,16,12,8,19,6,18,11,7,21),"t21n140"],
[(1,18,13,20,5,10)(2,16,14,21,4,11)(3,17,15,19,6,12)(7,8),
(1,21,13,3,19,15,2,20,14)(4,18,9,5,16,7,6,17,8)(10,12,11),"t21n141"],
[(1,14)(2,13)(3,15)(4,12)(5,10,6,11)(8,9)(16,19,18,21)(17,20),
(4,14,7,6,13,8)(5,15,9)(10,18,21,12,16,20,11,17,19),"t21n142"],
[(1,13,20)(2,10,16)(3,14,19,7,9,15)(4,11,21)(5,8,17,6,12,18),
(1,18,10,4,17,8,2,20,14)(3,16,9,5,21,13,6,19,11)(7,15,12),"t21n143"],
[(1,13,8,3,15,7,2,14,9)(4,18)(5,17)(6,16)(10,11,12)(19,21,20),
(1,6,12,18,7,20,3,4,11,17,9,19,2,5,10,16,8,21)(13,15),"t21n144"],
[(1,10,18,5,9,19,14,3,11,17,6,8,20,15,2,12,16,4,7,21,13),
(1,7,3,9)(2,8)(4,11,17,13,6,10,16,15)(5,12,18,14)(19,20,21),"t21n145"],
[(1,18)(2,17,3,19)(4,20,7,21)(5,16)(6,15)(8,12,11,10)(13,14),
(1,6,2)(4,5,7)(8,15,14,16,11,17)(9,21,10,18,12,19)(13,20),"t21n146"],
[(1,12,19,8,18,6,13,3,10,20,7,17,4,15)(2,11,21,9,16,5,14),
(1,12,6)(2,11,4)(3,10,5)(7,8,9)(13,20,18,15,19,17,14,21,16),"t21n147"],
[(1,19,5,14,12,8,16,3,21,4,13,10,7,17,2,20,6,15,11,9,18),
(1,14,17,12,20,9,4,3,13,16,11,19,8,5,2,15,18,10,21,7,6),"t21n148"],
[(1,13,6,16,2,15,4,18,3,14,5,17)(7,21,12,9,19,11,8,20,10),
(1,14,21,10)(2,15,20,12,3,13,19,11)(4,5,6)(8,9)(16,17,18),"t21n149"],
[(1,6,3,5)(2,4)(7,11,14,16,9,12,15,17,8,10,13,18)(20,21),
(1,9,12)(2,8,10)(3,7,11)(4,15,19,16,5,14,21,18)(6,13,20,17),"t21n150"],
[(1,21,16)(2,19,17)(3,20,18)(4,15,5,13,6,14)(7,10)(8,11,9,12),
(1,5,3,6)(2,4)(10,15,12,13)(11,14)(16,18)(19,21,20),"t21n151"],
[(1,18,6,2,16,5,3,17,4)(7,20,9,19,8,21)(10,11),
(1,20,6,9,13,3,21,5,8,15,2,19,4,7,14)(10,17,12,18,11,16),"t21n152"],
[(1,7,3,2,6,5,4)(8,9,14)(11,12,13)(15,20,19,18,16),
(1,8,17,7,12,18,3,9,16,4,11,20)(2,14,19)(5,10,15,6,13,21),"t21n153"],
[(1,10,16,6,13,17,4,9,15,3,14,21,5,11,18,2,12,19,7,8,20),
(1,18,11,6,17,14,5,20,9,4,16,12,2,15,13)(3,19,8,7,21,10),"t21n154"],
[(1,9,5,12)(2,14,3,11)(4,10)(6,8)(7,13)(15,16,21,20,19)(17,18),
(1,6,5,3,2,7)(8,15,12,18,14,17,11,19)(9,21,13,20)(10,16),"t21n155"],
[(1,13,16,7,14,17,4,12,20,2,10,18,3,9,15)(5,11,19)(6,8,21),
(1,11,4,8)(2,9,6,10)(3,13)(5,14)(7,12)(16,17,20,21,19),"t21n156"],
[(1,14,16,4,12,20,6,11,19,3,13,17,5,10,18,7,9,21)(2,8,15),
(1,18,2,21,4,19)(3,16,7,17,5,20)(6,15)(8,12,13,14,10,9,11),"t21n157"],
[(1,17,12,7,16,8,4,19,11,5,15,9,6,20,13,2,18,14,3,21,10),
(1,11,15)(2,14,21,3,9,20,7,8,18,5,12,19,4,13,17)(6,10,16),"t21n158"],
[(1,6,4,2)(3,7)(8,14)(9,10,11,12)(15,20,19,21,18,17),
(1,15,8,3,19,14,7,16,13,4,21,10,6,17,12,2,18,11)(5,20,9),"t21n159"],
[(1,19)(2,18,3,17)(4,20,7,15)(5,21,6,16)(9,10,12,13,14,11),
(1,7,5)(4,6)(8,15,11,20,10,18,12,21,13,16,9,17)(14,19),"t21n160"],
[(1,14,18,3,10,20,6,13,21,4,8,17,5,11,16)(2,12,19)(7,9,15),
(1,11,2,13,7,10,5,14)(3,8,4,9,6,12)(15,16,21)(17,19,20),"t21n161"],
[(1,5,6,3)(2,4,7)(8,11,12,14,9,13,10)(15,21)(16,19,20,18),
(1,14,6,13,4,8,7,10)(2,12,3,11,5,9)(15,21,19)(16,20,18,17),
(1,14,15,3,11,16,2,10,17,5,9,19,7,13,18,4,8,21,6,12,20),"t21n162"],
[(3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21),(1,2,3),"t21n163"],
[(1,2),(1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21),"t21n164"]];
TRANSPROPERTIES[21]{[1..164]}:=
[
[21,0,1,1,
"s0502s3020s2B02"
,[9021],[19021],[7,62021]],
[21,0,1,1,
"s0502s3020"
,[9021],[19021],[6007,60021]],
[42,0,1,-1,
"0080s0302s2340s0C20s2B02"
,[-3021,-2042],[-8042,-1021],[-26042,-8021,-7]],
[42,0,1,-1,
"0080s0302s2340s0C20"
,[-3021,-2042],[-8042,-1021],[-25042,-8021,-2014,-7]],
[42,0,1,1,
"0040s0302s3020s2B02"
,[9021],[-9042],[-26042,-7,8021]],
[42,0,1,-1,
"02s0402s3020s2880s0202"
,[-3021,-2042],[-6042,-5021],[-25042,-10021,7]],
[63,0,1,1,
"s050As3020s2B02"
,[21,2063],[1021,5063],[7,5021,18063]],
[84,0,1,-1,
"02C0s0302s2340s0C20s2880s0202"
,[-3021,-2042],[-3042,2084],[-9042,-2021,-7,9084]],
[126,0,1,-1,
"0080s030As220140s0C20s2B02"
,[-126,-63,-21],[-2126,-1021],[-7126,-2063,-2042,-7]],
[126,0,1,1,
"0040s030As2380s0C20s2B02"
,[21,2063],[-2126,-42],[-7126,-2042,-7,2063]],
[126,0,1,-1,
"02s040As2120s0E20s2880s0202"
,[-126,-63,-21],[-1126,-1063,-42],[-7126,-2063,-1042,-1021,7]],
[147,0,1,1,
"s0502s2E080020"
,[147,2021],[1147,5021],[4021,5147,6049]],
[147,0,1,1,
"s0502s2E080020s2B02"
,[147,2021],[1147,5021],[49,4021,7147]],
[168,0,1,1,
"01s0402s0810s2720"
,[1021,1084],[168,1042,1084],[56,1007,1042,2028,3168,4084]],
[252,0,1,-1,
"02C0s030As212001C0s0C20s2880s0202"
,[-126,-63,-21],[-126,-42,252],[-2126,-63,-42,-7,84,2252]],
[294,0,1,-1,
"0080s0302s2340s0A080020s2B02"
,[-2021,147],[-2042,1147],[-2021,-294,-42,49,5147]],
[294,0,1,1,
"0040s0302s2E080020s2604"
,[147,2021],[-2042,-294],[-2294,-2098,-49,-42,2021]],
[294,0,1,-1,
"02s0402s2E080020s2880"
,[-2021,147],[-5021,-294],[-6049,-4021,-2294]],
[294,0,1,-1,
"0080s0302s2340s0A080020"
,[-2021,147],[-2042,1147],[-2098,-2021,-42,49,5147]],
[336,1,1,-1,
"0180s0302s0810s1A40s0C20s0A20"
,[-1084,-42],[-168,84,168],[-1168,-84,-56,-14,28,56,84,336,1168]],
[441,0,1,1,
"s050As2E080020s2B02"
,[63,147],[1063,1147],[49,63,1021,1147,1441]],
[504,0,1,1,
"04s040As0780s1910s0E20s2201s0802"
,[21,63,126],[1021,2126],[7,21,42,84,168,1063,1252,2126]],
[588,0,1,-1,
"02C0s0302s2340s0A080020s26040080"
,[-2021,147],[-2042,-294],[-2294,-2098,-2021,-49,-42]],
[882,0,1,-1,
"0080s030As220140s0A080020s2B02"
,[-63,147],[-126,1147],[-294,-63,-42,49,1441]],
[882,0,1,1,
"0040s030As2380s0A080020s2604s0402"
,[63,147],[-294,-126],[-882,-294,-49,-42,63]],
[882,0,1,-1,
"02s040As2120s0C080020s2880s0202"
,[-63,147],[-1063,-294],[-1147,-1021,-882,-63,-49]],
[1008,0,1,-1,
"0680s030As07C0s1930s0E20s2201s0580s0202"
,[-126,-63,-21],[-42,126,252],[-126,-42,-21,7,84,126,168,252,504]],
[1029,0,1,1,
"s0502s2320s0A080020s2B02"
,[147,2021],[1147,5021],[343,4021,5147]],
[1764,0,1,-1,
"02C0s030As212001C0s0A080020s26040080s0202"
,[-63,147],[-294,-126],[-882,-294,-63,-49,-42]],
[2058,0,1,1,
"0040s0302s2320s0A080020s2604s0402"
,[147,2021],[-2042,-294],[-2294,-42,343,2021]],
[2058,0,1,-1,
"0080s0302s2360s0A080020s2B02"
,[-2021,147],[-2042,1147],[-2021,-343,-42,5147]],
[2058,0,1,-1,
"02s0402s232040s09080020s26200080s0202"
,[-2021,147],[-5021,-294],[-4021,-2294,-343]],
[2520,1,1,1,
"01s0482s0810s0C10s0A01s0F20"
,[1105],[1210],[35,105,140,420,630]],
[3087,0,1,1,
"s050As2320s0A080020s2B02"
,[63,147],[1063,1147],[63,343,1021,1441]],
[3087,0,1,1,
"s0508s2320s0A080020s1308"
,[63,147],[1063,1147],[63,343,1021,1441]],
[4116,0,1,1,
"04s0402s232080s09080020s2B02"
,[147,2021],[1147,2042],[42,343,2021,5147]],
[4116,0,1,-1,
"02C0s0302s236040s09080020s26240080s0202"
,[-2021,147],[-2042,-294],[-2294,-2021,-343,-42]],
[5040,1,1,-1,
"0980s0382s0830s0C10s0220s0701s0240s0C20s1840s0802"
,[-105,105],[-210,210],[-105,35,140,420,630]],
[5103,0,1,1,
"s020808108As3020"
,[21,2063],[1021,5063],[7,4189,5063]],
[6174,0,1,-1,
"02s040As2120002040s09080020s26200080s0202"
,[-63,147],[-1063,-294],[-1021,-882,-343,-63]],
[6174,0,1,1,
"0040s030As23A0s0A080020s2604s0402"
,[63,147],[-294,-126],[-882,-42,63,343]],
[6174,0,1,-1,
"0080s0308s220120s0A080020s1308s1720"
,[-63,147],[-126,1147],[-343,-63,-42,1441]],
[6174,0,1,-1,
"0080s030As220160s0A080020s2B02"
,[-63,147],[-126,1147],[-343,-63,-42,1441]],
[7560,0,1,1,
"04s0208200As0780s0C20s0C10s0E20s2201s0501s0202"
,[21,63,126],[1021,2126],[7,105,210,1315,2126]],
[8232,0,1,-1,
"2480s0302s236480s09090020s2B02"
,[-2021,147],[-2042,1147],[-2021,-343,-42,5147]],
[8232,0,1,-1,
"06s0402s0740s1B20C0s09080020s26200080s0202"
,[-2021,147],[-294,2042],[-2294,-2021,-343,42]],
[8232,0,1,1,
"0440s0302s0602s1C2080s0480s04080020s2604s0402"
,[147,2021],[-2042,-294],[-2294,-42,343,2021]],
[9261,0,1,1,
"s04100As2320s0280s07080020s2B02"
,[63,147],[1063,1147],[63,343,1021,1441]],
[9261,0,1,1,
"s041008s2320s0280s07080020s1308"
,[63,147],[1063,1147],[63,343,1021,1441]],
[10206,0,1,-1,
"02000808108As3020s2880"
,[-21,2063],[-42,5063],[-4189,7,5063]],
[10206,0,1,1,
"00400808108As1610s0908s0280s0C20"
,[21,2063],[-2126,-42],[-2189,-2126,-378,-7]],
[10206,0,1,-1,
"00800808108As1720s0810800140s0C20"
,[-21,2063],[-2126,-1021],[-2126,-378,-7,2189]],
[12348,0,1,1,
"04s040As2140002080s09080020s2B02"
,[63,147],[126,1147],[42,63,343,1441]],
[12348,0,1,1,
"04s0408s2140002080s09080020s1308"
,[63,147],[126,1147],[42,63,343,1441]],
[12348,0,1,-1,
"02C0s030As212001E040s09080020s26240080s0202"
,[-63,147],[-294,-126],[-882,-343,-63,-42]],
[15120,0,1,-1,
"24800009200As06048080s0B24s0302s08100140s0C20s214001s0501100002"
,[-126,-63,-21],[-2126,-1021],[-2126,-1315,-210,-7,105]],
[15120,0,1,-1,
"06800008200As07C0s0C20s02A0s0930s0E20s1720s0A01s0581s0202"
,[-126,-63,-21],[-42,126,252],[-630,-210,-105,7,126,252]],
[15120,0,1,1,
"05400008200As0780s0C20s0240s0440s04100080s0C20s1710s0A01s0501s0202"
,[21,63,126],[-126,-42,252],[-630,-126,-105,-7,210,252]],
[15309,0,1,1,
"s020808108As3020s0C02s0628"
,[21,189],[1021,1189],[7,567,3189]],
[15309,0,1,1,
"s020808108As3020s0C0As0628"
,[21,189],[1021,1189],[7,567,3189]],
[15309,0,1,1,
"00200808108As3020s2B02"
,[21,2063],[1021,5063],[7,4189,5063]],
[16464,0,1,-1,
"26C0s0302s060240s1B64C0s0480s04090020s26240080s0202"
,[-2021,147],[-2042,-294],[-2294,-2021,-343,-42]],
[18522,0,1,-1,
"0080s02100As2010000160s0280s07080020s2B02"
,[-63,147],[-126,1147],[-343,-63,-42,1441]],
[18522,0,1,1,
"0040s02100As23A0s0280s07080020s2604s0402"
,[63,147],[-294,-126],[-882,-42,63,343]],
[18522,0,1,-1,
"02s03100As21200020400080s07080020s26200080s0202"
,[-63,147],[-1063,-294],[-1021,-882,-343,-63]],
[18522,0,1,-1,
"0080s021008s2010000120s0280s07080020s1308s1720"
,[-63,147],[-126,1147],[-343,-63,-42,1441]],
[20160,1,2,1,
"01s0408s0810s0C10s1A20"
,[210],[420],[210,1120]],
[20412,0,1,-1,
"02C00808108As161020s08188001C0s0C20s2880"
,[-21,2063],[-2126,-42],[-2189,-2126,-378,-7]],
[24696,0,1,-1,
"06s040As0740s19600020C0s09080020s2202s03200080s0202"
,[-63,147],[-294,126],[-882,-343,-63,42]],
[24696,0,1,-1,
"2480s030As1808s0840016480s09090020s2B02"
,[-63,147],[-126,1147],[-343,-63,-42,1441]],
[24696,0,1,-1,
"2480s0308s1808s0840012480s09090020s1308s1720"
,[-63,147],[-126,1147],[-343,-63,-42,1441]],
[24696,0,1,1,
"0440s030As0602s1A4000A080s0480s04080020s2180s0404s0402"
,[63,147],[-294,-126],[-882,-42,63,343]],
[27783,0,1,1,
"s020800100As2320008080s07081020s1308s1702"
,[63,147],[1063,1147],[63,343,1021,1441]],
[30240,0,1,-1,
"27C00009200As0604C080s0B24s02E002s0340s043001C0s0C20s1730s094001s0581100002"
,[-126,-63,-21],[-126,-42,252],[-630,-210,-126,-105,-7,252]],
[30618,0,1,1,
"00600808108As1610s0908s0280s0C20s2B02"
,[21,2063],[-2126,-42],[-2189,-2126,-378,-7]],
[30618,0,1,-1,
"00A01808108As162020s0810800140s0C20s2B02"
,[-21,2063],[-2126,-1021],[-2126,-378,-7,2189]],
[30618,0,1,-1,
"00800808108As1720s0810800140s0C20s0C0As0628s17A0"
,[-21,189],[-1021,-378],[-1378,-7,567]],
[30618,0,1,1,
"00400808108As1610s0908s0280s0C20s0C02s0628s1740"
,[21,189],[-378,-42],[-1378,-567,-7]],
[30618,0,1,-1,
"02000808108As2120s0E20s0C02s0628s1480"
,[-21,189],[-42,1189],[-1189,-567,7,1189]],
[30618,0,1,-1,
"02200808108As3020s2880s0202"
,[-21,2063],[-42,5063],[-4189,7,5063]],
[30618,0,1,-1,
"00800808108As1720s0810800140s0C20s0C02s0628s1720"
,[-21,189],[-1021,-378],[-1378,-7,567]],
[37044,0,1,-1,
"02C0s02100As20102001E0400080s07080020s26240080s0202"
,[-63,147],[-294,-126],[-882,-343,-63,-42]],
[37044,0,1,1,
"04s031008s1702s0880400020800080s07280020s1308"
,[63,147],[126,1147],[42,63,343,1441]],
[37044,0,1,1,
"04s03100As1702s0880400020800080s07280020s2B02"
,[63,147],[126,1147],[42,63,343,1441]],
[40320,1,2,-1,
"03s0408s0830s0C10s0B20s0E20s0A20s1D80"
,[-210],[-420],[-210,1120]],
[45927,0,1,1,
"00200808108As3020s0C0As0628s1702"
,[21,189],[1021,1189],[7,567,3189]],
[49392,0,1,-1,
"26C0s030As060240s1008s086001E4C0s0480s04090020s218002s03240080s0202"
,[-63,147],[-294,-126],[-882,-343,-63,-42]],
[55566,0,1,1,
"00400800100As1610s0908s02A0008080s07081020s1308s120401s0302"
,[63,147],[-294,-126],[-882,-42,63,343]],
[55566,0,1,-1,
"00800800100As1620s0910000160008080s07081020s1308s1722"
,[-63,147],[-126,1147],[-343,-63,-42,1441]],
[55566,0,1,-1,
"02000810100As2040200020408080s07181020s1308s12204080s0202"
,[-63,147],[-1063,-294],[-1021,-882,-343,-63]],
[60480,1,2,1,
"01s048As0810s0C10s0A01s0F20s29200002"
,[210],[420],[210,1120]],
[61236,0,1,-1,
"02C00808108As161020s0818A001C0s0C20s0C02s0628s1480s0260"
,[-21,189],[-378,-42],[-1378,-567,-7]],
[61236,0,1,-1,
"02E01808108As163020s08188001C0s0C20s2880s0202"
,[-21,2063],[-2126,-42],[-2189,-2126,-378,-7]],
[74088,0,1,-1,
"2480s02120As171208s0790400164800080s0680290020s2B02"
,[-63,147],[-126,1147],[-343,-63,-42,1441]],
[74088,0,1,1,
"0440s02100As0602s1002s08804000A0800080s0280s04280020s2180s0404s0402"
,[63,147],[-294,-126],[-882,-42,63,343]],
[74088,0,1,-1,
"2480s021208s171208s0790400124800080s0680290020s1308s1720"
,[-63,147],[-126,1147],[-343,-63,-42,1441]],
[74088,0,1,-1,
"06s03100As0740s0F02s0880600020C00080s07280020s2202s03200080s0202"
,[-63,147],[-294,126],[-882,-343,-63,42]],
[91854,0,1,-1,
"00A01808108As162020s0810800140s0C20s0C0As0628s17A2"
,[-21,189],[-1021,-378],[-1378,-7,567]],
[91854,0,1,1,
"00600808108As1610s0908s0280s0C20s0C0As0628s1742"
,[21,189],[-378,-42],[-1378,-567,-7]],
[91854,0,1,-1,
"02200808108As2120s0E20s0C0As0628s1480s0202"
,[-21,189],[-42,1189],[-1189,-567,7,1189]],
[111132,0,1,1,
"04000820100As15010002s0880400020808080s051000281020s1308s1702"
,[63,147],[126,1147],[42,63,343,1441]],
[111132,0,1,-1,
"02C00810100As1630s09582001E0408080s07181020s1308s12244180s0222"
,[-63,147],[-294,-126],[-882,-343,-63,-42]],
[120960,1,2,-1,
"03s048As0830s0C10s0A0120s0E20s0A20s1D80200002"
,[-210],[-420],[-210,1120]],
[122472,0,1,1,
"04000828308As0780s0E010210s0340s038450s0E20s0C02s0628s0C020005"
,[21,189],[378,1021],[7,189,378,756]],
[122472,0,1,1,
"10220888908As3020s2B02"
,[21,2063],[42,5063],[7,4189,5063]],
[148176,0,1,-1,
"26C0s02120As060240s0F1208s07906001E4C00080s0280s0380290020s218002s03240080s02\
02"
,[-63,147],[-294,-126],[-882,-343,-63,-42]],
[183708,0,1,-1,
"02E01808108As163020s0818A001C0s0C20s0C0As0628s1480s02E2"
,[-21,189],[-378,-42],[-1378,-567,-7]],
[222264,0,1,1,
"04400820100As060201s0D011002s08884000A0808080s0280s021000281020s1308s0B010080\
0040s020401s0302"
,[63,147],[-294,-126],[-882,-42,63,343]],
[222264,0,1,-1,
"24800920120As1509201208s0790400164809080s059080291060s1308s1722"
,[-63,147],[-126,1147],[-343,-63,-42,1441]],
[222264,0,1,-1,
"06000830100As0740s0D010002s0480s03C0600020C08080s051000381020s1308s0C200002s0\
3204080s0202"
,[-63,147],[-294,126],[-882,-343,-63,42]],
[244944,0,1,-1,
"06800828308As07C0s0E210210s03C0s039470s0E20s0C02s0628s0C220007s0580"
,[-21,189],[-42,378],[-189,7,378,756]],
[244944,0,1,-1,
"32260989928As3020s2880s0202"
,[-21,2063],[-42,5063],[-4189,7,5063]],
[367416,0,1,1,
"01202808108As0810s0D4040s0821s0F20s0C0As0628s0D08s0902"
,[21,189],[42,378],[7,189,378,756]],
[367416,0,1,1,
"10220888908As1804s1720s0C0As04800028s1702"
,[21,189],[42,1189],[7,567,3189]],
[367416,0,1,1,
"04208828308As0784s0D01010210s020140s038450s0E20s0C0As0628s0C420005s0802"
,[21,189],[378,1021],[7,189,378,756]],
[444528,0,1,-1,
"26C00930120As060241s0D09301208s0380s03D86001E4C09080s0280s029080391060s1308s0\
B0120800240s02244180s0222"
,[-63,147],[-294,-126],[-882,-343,-63,-42]],
[734832,0,1,-1,
"32260989928As180Es0820s0E20s0C0As0301C00028s1480s0202"
,[-21,189],[-42,1189],[-1189,-567,7,1189]],
[734832,0,1,-1,
"06A08828308As07C4s0D01210210s0201C0s039470s0E20s0C0As0628s0C620007s0580s0202"
,[-21,189],[-42,378],[-189,7,378,756]],
[734832,0,1,-1,
"03206818108As0834s0DC0C1s086320s0E20s0C0As0628s0D1As0680s0202"
,[-21,189],[-42,378],[-189,7,378,756]],
[979776,0,1,1,
"542A8A8A94AAs3020s2B02"
,[21,2063],[42,5063],[7,4189,5063]],
[1837080,0,1,1,
"04000828308As0780s0C2080010210s0340s038450s0E20s0B108As0302040028s0C020005s05\
05"
,[21,189],[378,1021],[7,378,945]],
[1959552,0,1,-1,
"54AA9A8A94AA01s0304080040s0E202000080044s0410820140s0C20s2B02"
,[-21,2063],[-2126,42],[-2126,-378,-7,2189]],
[1959552,0,1,-1,
"FE3F8FCF9EEEs3020s2880s0202"
,[-21,2063],[-42,5063],[-4189,7,5063]],
[1959552,0,1,1,
"546A8A8A94AA0201s0202s0284s0E10s02104020s0408048080s0C20s2B02"
,[21,2063],[-2126,-42],[-2189,-2126,-378,-7]],
[2939328,0,1,1,
"1522A8A8B08As040810008410s0C01414214s020140s03A550s0E20s0C0As04800028s0C42080\
5s0802"
,[21,189],[42,378],[7,189,378,756]],
[2939328,0,1,1,
"11222888908As04285110s0F404004s0721s0F20s02080480s0204s040As04800028s1702"
,[21,189],[42,378],[7,189,378,756]],
[2939328,0,1,1,
"542A8A8A94AAs1804s0850s0E20s0C0As04800028s1702"
,[21,189],[42,1189],[7,567,3189]],
[3674160,0,1,-1,
"06800828308As07C0s0C208021A210s03C0s0394F00040s0C20s0B108As0302040028s0320s08\
220007s0585"
,[-21,189],[-42,378],[-945,7,378]],
[3674160,0,1,1,
"05400828308As0780s0C2080514210s0340s038D500080s0C20s0B108As0302040028s0310008\
0s06420005s0505s0240"
,[21,189],[-378,-42],[-378,-7,945]],
[3674160,0,1,-1,
"24800929329As06048280s0B248009329As0340s0394D00140s0C20s0B129As0313440028s0C1\
3400510s0405100020"
,[-21,189],[-1021,-378],[-945,-378,-7]],
[3919104,0,1,-1,
"FEFF9FCF9EEE0301s02060800C4s0E302000184064s04188681C0s0C20s2880s0202"
,[-21,2063],[-2126,-42],[-2189,-2126,-378,-7]],
[5511240,0,1,1,
"04208828308As0784s0C2281010210s020140s038450s0E20s0A08308As0302040028s0C42000\
5s0545s0202"
,[21,189],[378,1021],[7,378,945]],
[5878656,0,1,-1,
"54AA9A8A94AA01s0304080040s0E202004080044s0410D20140s0C20s0C0As04800028s0E02s0\
8A2"
,[-21,189],[-378,42],[-1378,-7,567]],
[5878656,0,1,1,
"546A8A8A94AA0201s0202s0284s0E100004104020s0408548080s0C20s0C0As04800028s0E05s\
0842"
,[21,189],[-378,-42],[-1378,-567,-7]],
[5878656,0,1,-1,
"33266999928As043C7190s0FC0C10Es076320s0E20s02188680s020Es040As0301C00028s1480\
s0202"
,[-21,189],[-42,378],[-189,7,378,756]],
[5878656,0,1,-1,
"37A6E9B9B28As04183080C434s0C01E1C31Es0201C0s03F770s0E20s0C0As0301C00028s0C621\
A07s0580s0202"
,[-21,189],[-42,378],[-189,7,378,756]],
[5878656,0,1,-1,
"FE3F8FCF9EEEs180Es0870s0E20s0C0Es0301C00038s1480s0202"
,[-21,189],[-42,1189],[-1189,-567,7,1189]],
[7348320,0,1,-1,
"27C00929329As0604C280s0B248079F29As03C0s039DF001C0s0C20s0B129As0313440028s033\
00080s0673400710s0485100060"
,[-21,189],[-378,-42],[-945,-378,-7]],
[11022480,0,1,-1,
"24A49929329As0604A680s0B268929329As020140s020194D00140s0C20s0A09329A000400134\
40028s0B0253400510s044D1000A2"
,[-21,189],[-1021,-378],[-945,-378,-7]],
[11022480,0,1,-1,
"06A08828308As07C4s0C228121A210s0201C0s0394F00040s0C20s0A08308As0302040028s032\
0s08620007s05C5s0202"
,[-21,189],[-42,378],[-945,7,378]],
[11022480,0,1,1,
"05608828308As0784s0C2281514210s020140s038D500080s0C20s0A08308As0302040028s031\
00080s06420005s0545s0242"
,[21,189],[-378,-42],[-378,-7,945]],
[11757312,0,1,-1,
"FEFF9FCF9EEE0301s02060800C4s0E30200E184064s0418F681C0s0C20s0C0Es0301C00038s0E\
07s0580s02E2"
,[-21,189],[-378,-42],[-1378,-567,-7]],
[14224896,0,1,1,
"54000A80140AA800500828010080s1910002A00A0940420s050A1420s1308s0E01s0802"
,[63,147],[126,1147],[21,84,343,1441]],
[22044960,0,1,-1,
"27E49929329As0604E680s0B268979F29As0201C0s02019DF001C0s0C20s0A09329A000400134\
40028s03300080s050273400710s04CD1000E2"
,[-21,189],[-378,-42],[-945,-378,-7]],
[23514624,0,1,1,
"552AAAAAB4AA0A0404002851108410s0C0141421451080140s03A550s0E20s02080480s0204s0\
40As04800028s0C420805s0802"
,[21,189],[42,378],[7,189,378,756]],
[28449792,0,1,-1,
"56800A90140AA90050083C0180C0s185032002A40A0940430s051A1420s025022s0520s0908s0\
E01s03285080s0202"
,[-63,147],[-294,126],[-882,-343,-21,84]],
[47029248,0,1,-1,
"FFBFEFFFBEEE1E0E0C203C7190C434s0C01E1C31EF39A01C0s03F770s0E20s02188680s020Es0\
40Es0301C00038s0C621A07s0580s0202"
,[-21,189],[-42,378],[-189,7,378,756]],
[352719360,0,1,1,
"552AAAAAB4AA0A0404002851108410s0B2A81454A5451480140s03A55080s0D20s02080480s02\
04s020AB4AA00100002840028s0344s08420805s0555s0202"
,[21,189],[42,378],[7,378,945]],
[705438720,0,1,-1,
"7FAFFBEBF6BA5F2C2C842C5915EE90s0B2E8BEFFFFE5BDA4540s0201B7F28140s0C20s025A248\
0s0206s020BF6BA42140017C40028s034480s0602D7480710s045D1000A2"
,[-21,189],[-378,42],[-945,-378,-7]],
[705438720,0,1,1,
"556AAAAAB5AAAA5555492A51129510s0B2AA5554A5451482140s03AD548080s0C20s02AD5480s\
0204s020AB5AAA490000A840068s03540080s05014A8805s0555400042"
,[21,189],[-378,-42],[-378,-7,945]],
[705438720,0,1,-1,
"FFBFEFFFBEEE1E0E0C203C7190C434s0B3B81EFFFFEF3DA05C0s03F7F08040s0C20s02188680s\
020Es020FBEEE10100003D40038s03EEs08621A07s05F7s0202"
,[-21,189],[-42,378],[-945,7,378]],
[1410877440,0,1,-1,
"FFFFFFFFFFFEFF7F7DED3E7997FFB4s0B3FAFFFFFFEFBDA65C0s0201FFF681C0s0C20s02FFF68\
0s020Es020FFFFEF694001FD40078s03FE8080s0503FFDA0710s04FF5000E2"
,[-21,189],[-378,-42],[-945,-378,-7]],
[48009024000,0,1,1,
"542A8AAAB5AAA8545548285100800150A955428520200145208020s0C10002A2AAD94542052A2\
10s020AB520s0C02s04040008s0E01s0501s0202"
,[63,147],[126,1147],[105,343,1441]],
[96018048000,0,1,-1,
"7EAFCBEBB5AAFC7E7DC878F3A4A2817ABD7543C7B062416DA0C42402A28402A291120A2044105\
219116A2AAD94542052A210s020AB520s0C02s04440008s0D400110s0401100022"
,[-63,147],[-126,1147],[-343,105,1441]],
[96018048000,0,1,1,
"556AAAAAB5AAAA5555482A5100840151A955428520280145208020005040001040A941s028029\
14C8AA2AAD94542052A210s020AB520s02290480020004s0402s04040008A201101008s0901s03\
152B01s0202"
,[63,147],[-294,-126],[-882,-105,343]],
[96018048000,0,1,-1,
"56AADABAB5AAA95455483C7980C00152A95542852030014520802000A0A100080156820001005\
2B2102A6AAD94543052A21008021AB520s0252A20004s0320s0202s04040009452080200010s08\
01s032AD481s0202"
,[-63,147],[-294,126],[-882,-343,-105]],
[192036096000,0,1,-1,
"7FEFFBFBB5AAFF7F7DC87EFBA4E6817BBD7543C7B07A416DA0C42402F2E502BAD1FFCB2045907\
BBFD9EA6AAD94543052A21008021AB520s027BA6800600040020s0202s04440009E72190300810\
s07400110s023FFF81100022"
,[-63,147],[-294,-126],[-882,-343,-105]],
[192036096000,0,1,1,
"552AAAAAB5AAAA545548A9555A910154AB5542A52AA5815568A82805454A41552C881454A820A\
554202AAAAD9454AA56A2545224AAB520s0C02s04040008s0E01s0501s0202"
,[63,147],[126,1147],[105,343,1441]],
[384072192000,0,1,-1,
"FFBFEFFFFFEBFEFEFFFEFDF7FFBB81FEFFFFE7EFFEF7C1FFF9FC3C0FEFDFEBF7BDDA3EFCEC70F\
75D317FBFFFBEFFEE7FF7DCF7B5AFFFE0s0C02s04440008s0D400110s0401100022"
,[-63,147],[-126,1147],[-343,105,1441]],
[384072192000,0,1,-1,
"57AAFABAB5AAAF565548BD7DDBD92556AB5542B52AB5895568A82805E5EB417DADDE9654B920F\
7F6302AEAAD9454BA56A2545A26BAB521420052A20204054AC020s0202s040400094522A520811\
0s06A41223s032AD481s0202"
,[-63,147],[-294,126],[-882,-343,-105]],
[384072192000,0,1,1,
"556AAAAAB5AAAA555548AB555A951155AB5542A52AAD915568A82805554A41556CA95554A8A0A\
D54E8AAAAAD9554AAD6A254522CAAB5228510290484020AB50408s0202s04040008A2055A11080\
4s05014A884140s02152B01s0202"
,[63,147],[-294,-126],[-882,-105,343]],
[768144384000,0,1,-1,
"FFFFFFFFFFEBFFFFFFFEFFFFFFFFB5FFFFFFE7FFFEFFD9FFF9FC3C0FFFFFEBFFFDFFFFFCFDF0F\
FFFF9FFFFFFBFFFFEFFF7DCFFBFBFFFE3C7107BA686060FFFC428s0202s04440009E727FF31891\
4s0501EEDA6350s023FFF81100022"
,[-63,147],[-294,-126],[-882,-343,-105]],
[25545471085854720000,1,19,1,
"556AAAAAB5AAAA555549AB555A955955AB555AA52AAD93556CA96AB5554A55556CA95554AAA6A\
D54ECAAAAAD9554AAD6AA76526CAAB52A9554AD54D49B2AB5154D9AB5AAA4DAAD4AA6CA6AAA4D5\
A552CA6BAAAD55653594AAC4D6AD935952B5564D652"
,[210],[420],[1330]],
[51090942171709440000,1,21,-1,
"FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF\
FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF\
FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFE"
,[-210],[-420],[-1330]]];