Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.
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
Project: cocalc-sagemath-dev-slelievre
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]]];