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  trans20a.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 20
##

TRANSGRP[20]{[1..300]}:=
[[(1,4,6,8,9,12,13,16,18,20,2,3,5,7,10,11,14,15,17,19),
(1,12,2,11)(3,14,4,13)(5,15,6,16)(7,17,8,18)(9,20,10,19),"t20n1"],
[(1,19,2,20)(3,17,4,18)(5,15,6,16)(7,14,8,13)(9,12,10,11),
(1,12,2,11)(3,10,4,9)(5,7,6,8)(13,19,14,20)(15,17,16,18),"t20n2"],
[(1,13,5,17,9,2,14,6,18,10)(3,15,8,20,11,4,16,7,19,12),
(1,19,18,16,14,11,9,8,5,3)(2,20,17,15,13,12,10,7,6,4),"t20n3"],
[(1,4,6,8,10,12,14,16,18,19)(2,3,5,7,9,11,13,15,17,20),
(1,15)(2,16)(3,14)(4,13)(5,12)(6,11)(7,10)(8,9)(17,19)(18,20),"t20n4"],
[(1,4,17,15)(2,3,18,16)(5,12,14,7)(6,11,13,8)(9,19,10,20),
(1,6,10,14,18)(2,5,9,13,17)(3,8,12,15,19)(4,7,11,16,20),"t20n5"],
[(1,15,2,16)(3,14,4,13)(5,12,6,11)(7,9,8,10)(17,20,18,19),
(1,3,5,8,10,11,14,16,18,19,2,4,6,7,9,12,13,15,17,20),"t20n6"],
[(1,8,13,20,6,12,18,4,10,16)(2,7,14,19,5,11,17,3,9,15),
(1,11,2,12)(3,9,4,10)(5,8,6,7)(13,19,14,20)(15,17,16,18),"t20n7"],
[(1,20)(2,19)(3,17)(4,18)(5,15)(6,16)(7,14)(8,13)(9,11)(10,12),
(1,5,10,14,18,2,6,9,13,17)(3,8,11,16,19,4,7,12,15,20),
(1,19,18,15,13,11,10,7,6,3)(2,20,17,16,14,12,9,8,5,4),"t20n8"],
[(1,15,17,3)(2,16,18,4)(5,8,13,11)(6,7,14,12)(9,19,10,20),
(1,17,13,9,6,2,18,14,10,5)(3,20,16,11,8,4,19,15,12,7),"t20n9"],
[(1,19)(2,20)(3,18)(4,17)(5,16)(6,15)(7,13)(8,14)(9,12)(10,11),
(1,3,5,8,10,11,14,16,18,19,2,4,6,7,9,12,13,15,17,20),"t20n10"],
[(1,4,6,7,10)(2,3,5,8,9)(11,13,16,17,20,12,14,15,18,19),
(1,17,2,18)(3,16,4,15)(5,14,6,13)(7,12,8,11)(9,20,10,19),"t20n11"],
[(1,13,8,20,4,15,10,12,5,18,2,14,7,19,3,16,9,11,6,17),
(1,19,9,18,7,15,5,13,4,11)(2,20,10,17,8,16,6,14,3,12),"t20n12"],
[(1,3,5,8,10,12,14,16,18,19)(2,4,6,7,9,11,13,15,17,20),
(1,13,18,6)(2,14,17,5)(3,7,16,11)(4,8,15,12)(9,10)(19,20),"t20n13"],
[(1,8,10,13,20,2,5,12,14,17,4,6,9,16,18)(3,7,11,15,19),
(1,12,17,8,13,4,9,20,5,16)(2,11,18,7,14,3,10,19,6,15),"t20n14"],
[(1,6,10,13,17)(2,5,9,14,18)(3,8,12,15,20)(4,7,11,16,19),
(1,17)(2,18)(3,4)(5,7)(6,8)(9,20)(10,19)(11,14)(12,13)(15,16),"t20n15"],
[(1,16,10,3,17,11,5,20,14,7)(2,15,9,4,18,12,6,19,13,8),
(1,16,14,20)(2,15,13,19)(3,10,11,5)(4,9,12,6)(7,17)(8,18),
(1,9,14,6)(2,10,13,5)(3,15,11,19)(4,16,12,20)(7,8)(17,18),"t20n16"],
[(1,2)(3,14)(4,13)(5,6)(9,20)(10,19)(11,12)(15,16),(1,6,10,14,18)(2,5,9,13,17)
(3,7,12,15,19)(4,8,11,16,20),"t20n17"],
[(1,8,10,4)(2,7,9,3)(5,15)(6,16)(11,18,20,13)(12,17,19,14),
(1,15,9,3,17,12,6,20,14,8,2,16,10,4,18,11,5,19,13,7),"t20n18"],
[(1,15,10,4,17,12,5,19,14,8)(2,16,9,3,18,11,6,20,13,7),
(1,18,10,13)(2,17,9,14)(3,11,7,20)(4,12,8,19)(5,6),"t20n19"],
[(1,7,6,19)(2,8,5,20)(3,13,4,14)(9,12,17,16)(10,11,18,15),
(1,2)(3,8,20,15)(4,7,19,16)(5,13,17,9)(6,14,18,10)(11,12),
(1,12,2,11)(3,5,19,18)(4,6,20,17)(7,14,15,9)(8,13,16,10),"t20n20"],
[(1,11,4,14,6,15,8,18,9,20,2,12,3,13,5,16,7,17,10,19),
(1,13,7,20,3,15,9,11,6,17)(2,14,8,19,4,16,10,12,5,18),
(1,14,2,13)(3,12,4,11)(5,20,6,19)(7,18,8,17)(9,16,10,15),"t20n21"],
[(1,14,5,12)(2,13,6,11)(3,17,4,18)(7,15,9,19)(8,16,10,20),
(1,5,10,3,7,2,6,9,4,8)(11,15,20,14,18)(12,16,19,13,17),"t20n22"],
[(3,14)(4,13)(5,6)(7,8)(9,20)(10,19)(15,16)(17,18),(1,6,9,13,17)(2,5,10,14,18)
(3,7,11,16,19)(4,8,12,15,20),"t20n23"],
[(1,14,5,18,10,2,13,6,17,9)(3,19,15,11,7,4,20,16,12,8),
(1,20,5,3,10,7,13,12,17,15)(2,19,6,4,9,8,14,11,18,16),"t20n24"],
[(1,12,2,11)(3,14,4,13)(5,15,6,16)(7,18,8,17)(9,19,10,20),
(1,9,17,6,13,2,10,18,5,14)(3,19,15,11,7,4,20,16,12,8),"t20n25"],
[(1,19,5,20,4,16,3,17,2,18)(6,11,9,13,7,15,10,12,8,14),
(1,15,20,10)(2,12,19,8)(3,14,18,6)(4,11,17,9)(5,13,16,7),"t20n26"],
[(3,8,12,16,19)(4,7,11,15,20),(1,12,18,7)(2,11,17,8)(3,5,15,14)(4,6,16,13)
(9,20,10,19),"t20n27"],
[(1,12,14,3,6,16,17,8,10,19)(2,11,13,4,5,15,18,7,9,20),
(1,5)(2,6)(3,20)(4,19)(7,16)(8,15)(9,17)(10,18)(11,12)(13,14),"t20n28"],
[(1,15,20,7,3,11,18,6,5,12,16,10,2,13,19,9,4,14,17,8),
(1,14,17,6,2,12,16,8,3,15,20,10,4,13,19,7,5,11,18,9),"t20n29"],
[(1,3)(2,4)(5,13)(6,14)(15,17)(16,18)(19,20),(1,6,10,13,17)(2,5,9,14,18)
(3,8,12,15,20)(4,7,11,16,19),"t20n30"],
[(1,12,3,15,5,2,11,4,16,6)(7,10,17,20,13,8,9,18,19,14),
(1,10)(2,9)(3,8)(4,7)(5,6)(11,20)(12,19)(13,18)(14,17)(15,16),"t20n31"],
[(1,3)(2,4)(5,13)(6,14)(7,8)(9,10)(11,12)(15,17)(16,18)(19,20),
(1,5,9,14,18)(2,6,10,13,17)(3,7,12,16,20)(4,8,11,15,19),"t20n32"],
[(1,7,4,6)(2,5,3,8)(9,19,12,18)(10,17,11,20)(13,15,16,14),
(1,9,17,5,13)(2,11,20,6,15,4,10,19,8,14,3,12,18,7,16),"t20n33"],
[(1,9,17,5,13)(2,10,18,6,14)(3,12,19,8,15,4,11,20,7,16),
(1,2,3,4)(5,6,7,8)(9,10,11,12)(13,14,15,16)(17,18,19,20),"t20n34"],
[(1,3)(2,4)(5,13)(6,14)(7,8)(9,10)(11,12)(15,17)(16,18),
(1,6,10,14,18)(2,5,9,13,17)(3,8,11,16,19)(4,7,12,15,20),"t20n35"],
[(1,20,18,11,8,2,19,17,12,7)(3,16,6,9,14,4,15,5,10,13),
(1,20,13)(2,19,14)(3,6,7)(4,5,8)(9,17,12)(10,18,11),"t20n36"],
[(1,8,9,16,17,4,5,12,13,20)(2,7,10,15,18,3,6,11,14,19),
(1,16,2,13,4,14)(3,15)(5,12,6,9,8,10)(7,11)(17,20,18),"t20n37"],
[(1,10,11,19)(2,9,12,20)(3,8)(4,7)(5,16,6,15)(13,17)(14,18),
(1,12,2,11)(3,19)(4,20)(5,18,15,7)(6,17,16,8)(9,13)(10,14),"t20n38"],
[(1,9,12,20)(2,10,11,19)(3,18,13,8)(4,17,14,7)(5,6)(15,16),
(1,3,11,13)(2,4,12,14)(5,20,6,19)(7,18)(8,17)(9,15,10,16),"t20n39"],
[(1,2)(3,4)(9,19)(10,20)(11,12)(13,14),(1,5,9,14,17)(2,6,10,13,18)
(3,8,12,16,20)(4,7,11,15,19),"t20n40"],
[(1,2)(9,19)(10,20)(11,12),(1,6,10,13,17)(2,5,9,14,18)(3,7,11,16,20)
(4,8,12,15,19),"t20n41"],
[(1,2)(3,7,9,5)(4,8,10,6)(11,13,20,18)(12,14,19,17),
(1,20,3,14)(2,19,4,13)(5,18,9,16)(6,17,10,15)(7,11,8,12),
(1,18,2,17)(3,16,4,15)(5,13,6,14)(7,11,8,12)(9,19,10,20),"t20n42"],
[(1,13,11,3)(2,14,12,4)(5,9)(6,10)(7,18)(8,17)(15,19)(16,20),
(1,15)(2,16)(3,14)(4,13)(5,11)(6,12)(7,9,17,19)(8,10,18,20),"t20n43"],
[(1,2)(3,4)(5,6)(7,8)(9,19)(10,20)(11,12)(13,14)(15,16)(17,18),
(1,5,9,14,18)(2,6,10,13,17)(3,7,12,16,20)(4,8,11,15,19),"t20n44"],
[(1,5)(2,6)(3,4)(7,9)(8,10)(11,15)(12,16)(13,14)(17,19)(18,20),
(1,19,2,20)(3,17,14,8)(4,18,13,7)(5,16)(6,15)(9,12,10,11),"t20n45"],
[(1,2)(7,8)(9,19)(10,20)(11,12)(17,18),(1,6,9,14,18)(2,5,10,13,17)
(3,7,12,15,20)(4,8,11,16,19),"t20n46"],
[(1,16,10,3)(2,15,9,4)(5,19)(6,20)(7,17,12,14)(8,18,11,13),
(1,9,14,6)(2,10,13,5)(3,20,12,15)(4,19,11,16)(7,8)(17,18),"t20n47"],
[(1,2)(3,19,16,12,8)(4,20,15,11,7)(5,17)(6,18)(9,14)(10,13),
(1,7,9,19)(2,8,10,20)(3,6,4,5)(11,13,16,17)(12,14,15,18),"t20n48"],
[(1,11,18,7)(2,12,17,8)(3,5,16,13)(4,6,15,14)(9,20,10,19),
(1,11,6,7)(2,12,5,8)(3,17,16,9)(4,18,15,10)(13,20,14,19),"t20n49"],
[(1,7,14,20)(2,8,13,19)(3,18)(4,17)(5,12,9,16)(6,11,10,15),
(1,13,6,18,10,2,14,5,17,9)(3,7)(4,8)(11,19)(12,20)(15,16),"t20n50"],
[(1,8,11,20)(2,10,13,19)(3,7,15,18)(4,9,12,17)(5,6,14,16),
(1,5)(2,4)(7,10)(8,9)(11,12)(13,15)(16,18)(19,20),"t20n51"],
[(1,6)(2,5)(3,16)(4,15)(7,11)(8,12)(9,17)(10,18)(13,14)(19,20),
(1,8,14,19)(2,7,13,20)(3,18)(4,17)(5,11,10,16)(6,12,9,15),"t20n52"],
[(1,11,9,20,7,17,5,15,4,14,2,12,10,19,8,18,6,16,3,13),
(1,12)(2,11)(3,14)(4,13)(5,16)(6,15)(7,18)(8,17)(9,19)(10,20),"t20n53"],
[(3,7,12,16,19)(4,8,11,15,20),(1,12)(2,11)(3,14)(4,13)(5,16)(6,15)(7,17)(8,18)
(9,20)(10,19),(1,13,17,6)(2,14,18,5)(3,8,16,11)(4,7,15,12)(9,10)(19,20),
"t20n54"],[(1,7,14,19,5,12,17,3,10,16)(2,8,13,20,6,11,18,4,9,15),
(1,2)(3,4)(5,13,17,9)(6,14,18,10)(7,11,19,15)(8,12,20,16),"t20n55"],
[(3,16,7,19,12)(4,15,8,20,11),(1,15,2,16)(3,14,11,6,7,10,20,18)(4,13,12,5,8,9,
19,17),"t20n56"],[(1,16,13,4,5,12,17,20,9,8)(2,15,14,3,6,11,18,19,10,7),
(1,11,10,4)(2,12,9,3)(5,7,6,8)(13,19,18,16)(14,20,17,15),"t20n57"],
[(1,15,13,4,6,12,18,19,10,7,2,16,14,3,5,11,17,20,9,8),
(1,13)(2,14)(3,11)(4,12)(5,10)(6,9)(7,8)(15,19)(16,20)(17,18),"t20n58"],
[(1,8,17,11,14,16,10,19,6,4)(2,7,18,12,13,15,9,20,5,3),
(1,4,14,16,6,8,17,19,10,11)(2,3,13,15,5,7,18,20,9,12),
(1,5,10,13,17,2,6,9,14,18)(3,8,12,16,20,4,7,11,15,19),"t20n59"],
[(1,20,2,19)(3,18,4,17)(5,16,6,15)(7,13,8,14)(9,11,10,12),
(1,10)(2,9)(3,16)(4,15)(7,11)(8,12)(13,18)(14,17)(19,20),
(1,12,10,20,17,7,6,15,14,3)(2,11,9,19,18,8,5,16,13,4),"t20n60"],
[(1,2,3,4)(5,10,19,16)(6,11,20,13)(7,12,17,14)(8,9,18,15),
(1,11,8,18)(2,9,7,20)(3,12,6,17)(4,10,5,19)(13,15,16,14),
(1,15)(2,16)(3,13)(4,14)(5,11)(6,12)(7,9)(8,10)(17,19)(18,20),"t20n61"],
[(1,15,20,14)(2,16,19,13)(3,12)(4,11)(5,8,9,17)(6,7,10,18),
(1,7,4,2,8,3)(5,19,14,6,20,13)(9,10)(11,18,15,12,17,16),"t20n62"],
[(1,16,17,4,10,11,6,7,13,20,2,15,18,3,9,12,5,8,14,19),
(1,6,18,9,13,2,5,17,10,14)(3,12,16,7,20,4,11,15,8,19),"t20n63"],
[(1,14,17,2,13,18)(3,8,12,4,7,11)(5,6)(9,10)(15,16)(19,20),
(1,8,13,15,9,11,17,4,5,20)(2,7,14,16,10,12,18,3,6,19),"t20n64"],
[(1,18,2,17)(3,10,15,19)(4,9,16,20)(5,8,11,13)(6,7,12,14),
(1,12,3,15,8,17)(2,11,4,16,7,18)(5,19,14,6,20,13),"t20n65"],
[(1,7,14,12,18,4,2,8,13,11,17,3)(5,19,6,20)(9,16,10,15),
(1,5)(2,6)(3,20)(4,19)(9,13)(10,14)(11,16)(12,15),"t20n66"],
[(1,4)(2,3)(5,7)(6,8)(9,10)(11,12)(13,16)(14,15),
(1,8,9,16,18,2,5,12,15,19,3,7,10,14,17)(4,6,11,13,20),"t20n67"],
[(1,10,15,5,2,11,13,6,3,9,14,7)(4,12,16,8)(17,18,19),
(1,5,17,13)(2,8,19,14,4,7,18,16,3,6,20,15)(10,12,11),"t20n68"],
[(1,3,2,4)(5,19,6,20)(7,18,8,17)(9,15,10,16)(11,14,12,13),
(1,12,2,9,4,10)(3,11)(5,8,6)(13,20,14,17,16,18)(15,19),"t20n69"],
[(1,2)(3,20)(4,19)(5,6)(7,8)(9,13)(10,14)(11,12)(15,16)(17,18),
(1,6,9,14,17)(2,5,10,13,18)(3,8,11,16,19)(4,7,12,15,20),
(1,11)(2,12)(3,14)(4,13)(5,15)(6,16)(7,18)(8,17)(9,19)(10,20),"t20n70"],
[(1,11)(2,12)(3,20,14,9)(4,19,13,10)(5,17)(6,18)(7,15)(8,16),
(1,3,15,18,20,11,13,5,8,10)(2,4,16,17,19,12,14,6,7,9),"t20n71"],
[(1,9,18,16,3,2,10,17,15,4)(5,14,12,19,7,6,13,11,20,8),
(1,20,17,15,4,12,10,8,5,14)(2,19,18,16,3,11,9,7,6,13),"t20n72"],
[(1,6)(2,5)(3,4)(7,19,18,10)(8,20,17,9)(11,16)(12,15)(13,14),
(1,14,12,3)(2,13,11,4)(5,9,16,20)(6,10,15,19),"t20n73"],
[(3,4)(5,16)(6,15)(7,17)(8,18)(9,20)(10,19)(13,14),
(1,17,13,10,5,2,18,14,9,6)(3,20,15,11,7,4,19,16,12,8),"t20n74"],
[(1,9,7,19,14,4,11,6,18,16,2,10,8,20,13,3,12,5,17,15),
(1,16,17,5,11,3,14,20,8,9,2,15,18,6,12,4,13,19,7,10),"t20n75"],
[(3,4)(5,6)(9,19)(10,20)(13,14)(15,16),(1,5,9,14,18)(2,6,10,13,17)
(3,7,12,16,20)(4,8,11,15,19),(1,17)(2,18)(3,15)(4,16)(5,13)(6,14)(7,11)
(8,12)(9,10)(19,20),"t20n76"],
[(1,20,3,5,12,10,14,16)(2,19,4,6,11,9,13,15)(17,18),
(1,11,2,12)(3,6,20,7)(4,5,19,8)(9,18,14,15)(10,17,13,16),"t20n77"],
[(1,17,2,18)(3,5,15,14)(4,6,16,13)(7,11,10,20)(8,12,9,19),
(1,12,2,11)(5,8,6,7)(9,10)(13,17,14,18)(15,20)(16,19),"t20n78"],
[(1,15,13,20,11,5,3,10)(2,16,14,19,12,6,4,9)(7,18)(8,17),
(1,10,16,7,11,20,6,17)(2,9,15,8,12,19,5,18)(3,14)(4,13),"t20n79"],
[(1,18,5,9,11,8,16,20)(2,17,6,10,12,7,15,19)(3,14,4,13),
(1,20)(2,19)(3,18)(4,17)(7,13)(8,14)(9,12)(10,11),"t20n80"],
[(1,6,19,14,8,11,16,9,4,18)(2,5,20,13,7,12,15,10,3,17),
(1,3,11,13)(2,4,12,14)(5,9,15,19)(6,10,16,20)(7,18)(8,17),"t20n81"],
[(1,5,11,16)(2,6,12,15)(3,4)(7,10,8,9)(17,19,18,20),
(1,19,7,6,13)(2,20,8,5,14)(3,11,9,17,16)(4,12,10,18,15),"t20n82"],
[(1,18,2,17)(3,14,15,6)(4,13,16,5)(7,20,10,11,8,19,9,12),
(1,6,11,7)(2,5,12,8)(3,9)(4,10)(13,16,17,19)(14,15,18,20),"t20n83"],
[(1,11)(2,12)(3,9)(4,10)(5,15,6,16)(7,13,8,14)(17,20,18,19),
(1,7)(2,8)(3,5)(4,6)(9,12,10,11)(13,19)(14,20)(15,17)(16,18),"t20n84"],
[(1,14,12,3)(2,13,11,4)(5,20,15,10)(6,19,16,9)(7,8)(17,18),
(1,5,9,4,18,11,15,19,14,8)(2,6,10,3,17,12,16,20,13,7),"t20n85"],
[(1,6,9,3,8,12,16,19,13,17)(2,5,10,4,7,11,15,20,14,18),
(1,11)(2,12)(3,14)(4,13)(7,17)(8,18),"t20n86"],
[(1,16)(2,15)(3,4)(5,11)(6,12)(7,19)(8,20)(9,17)(10,18),
(1,12,2,11)(3,10,13,19)(4,9,14,20)(5,8,6,7)(15,18,16,17),
(1,12)(2,11)(3,13)(4,14)(7,8)(17,18),"t20n87"],
[(1,8,16,10,2,7,15,9)(3,5,14,11,4,6,13,12)(17,19,18,20),
(1,3,2,4)(5,20,16,10,6,19,15,9)(7,18,14,11,8,17,13,12),"t20n88"],
[(1,19,6)(2,20,5)(3,17,12)(4,18,11)(9,16,14)(10,15,13),
(1,5,14)(2,6,13)(3,15,18)(4,16,17)(7,12,20)(8,11,19),"t20n89"],
[(3,19,11,16)(4,20,12,15)(5,13,18,10)(6,14,17,9),(1,15,9,12)(2,16,10,11)(3,5)
(4,6)(7,14,20,17)(8,13,19,18),(1,2)(3,4)(5,9,18,14)(6,10,17,13)
(7,11,20,16)(8,12,19,15),"t20n90"],
[(1,4,13,19)(2,3,14,20)(5,15,10,7)(6,16,9,8)(11,18,12,17),
(1,12,6,8,9,3,13,20,17,16,2,11,5,7,10,4,14,19,18,15),"t20n91"],
[(3,20,16,11,7)(4,19,15,12,8),(1,10)(2,9)(5,6)(13,17)(14,18),
(1,12)(2,11)(3,14)(4,13)(5,16)(6,15)(7,17)(8,18)(9,19)(10,20),
(1,17,13,10,6,2,18,14,9,5)(3,4)(7,8)(11,12)(15,16)(19,20),"t20n92"],
[(1,16,14,4,6,11,17,19,9,7,2,15,13,3,5,12,18,20,10,8),
(1,16,2,15)(3,10,8,13)(4,9,7,14)(5,12,18,20)(6,11,17,19),"t20n93"],
[(1,3,18,20)(2,4,17,19)(5,8,14,15)(6,7,13,16)(9,11)(10,12),
(1,17)(2,18)(3,16,7,20,11)(4,15,8,19,12)(5,13)(6,14)(9,10),"t20n94"],
[(3,4)(5,9,17,13)(6,10,18,14)(7,15,20,12)(8,16,19,11),
(1,11,5,7,9,4,13,20,17,16)(2,12,6,8,10,3,14,19,18,15),"t20n95"],
[(1,14,5,17,10)(2,13,6,18,9)(3,7)(4,8)(11,20)(12,19),
(1,9,5,18)(2,10,6,17)(3,4)(7,15,19,11)(8,16,20,12)(13,14),
(1,12,10,3,17,16,5,7,14,19)(2,11,9,4,18,15,6,8,13,20),"t20n96"],
[(1,8,6,12,10,15,13,19,17,3)(2,7,5,11,9,16,14,20,18,4),
(1,2)(3,11,8,20)(4,12,7,19)(5,13,18,10)(6,14,17,9)(15,16),
(1,5)(2,6)(3,4)(7,8)(9,17)(10,18)(11,12)(13,14)(15,16)(19,20),"t20n97"],
[(1,3)(2,4)(5,15)(6,16)(7,10)(8,9)(11,18)(12,17)(13,19)(14,20),
(1,9,5,17)(2,10,6,18)(3,8,19,15)(4,7,20,16),
(1,11,9,4,17,16,5,7,13,20)(2,12,10,3,18,15,6,8,14,19),"t20n98"],
[(1,3,13,8)(2,4,14,7)(5,12,9,19)(6,11,10,20)(15,17)(16,18),
(1,4,5,11)(2,3,6,12)(7,13)(8,14)(9,20,17,16)(10,19,18,15),
(1,13,9,17)(2,14,10,18)(3,15,19,8)(4,16,20,7),"t20n99"],
[(1,20,6,16)(2,19,5,15)(3,9,11,18)(4,10,12,17)(7,13)(8,14),
(1,2)(3,4)(5,18)(6,17)(7,8)(9,14)(10,13)(11,12)(15,16)(19,20),
(1,12,13,19)(2,11,14,20)(3,5,7,10)(4,6,8,9)(15,18)(16,17),"t20n100"],
[(1,13,17,6)(2,14,18,5)(3,12,7,19)(4,11,8,20)(9,10),
(1,16,9,7,17,19,5,12,14,3)(2,15,10,8,18,20,6,11,13,4),"t20n101"],
[(1,6,15,16,2,9,12,17,3,7,14,18,4,10,11,19,5,8,13,20),
(1,8,12,17,4,10,11,18,2,7,15,19,5,9,14,20,3,6,13,16),
(1,7,15,16)(2,8,13,19)(3,9,11,17)(4,10,14,20)(5,6,12,18),"t20n102"],
[(1,13,2,14)(3,12,10,16)(4,11,9,15)(5,19,8,18)(6,20,7,17),
(1,19)(2,20)(3,11,9,17)(4,12,10,18)(5,13,7,15)(6,14,8,16),"t20n103"],
[(1,16,10,8,14,4,5,12)(2,15,9,7,13,3,6,11)(17,20,18,19),
(1,16,18,8,6,4,10,12)(2,15,17,7,5,3,9,11)(13,19,14,20),"t20n104"],
[(1,2)(3,7,19,16)(4,8,20,15)(5,10,17,14)(6,9,18,13)(11,12),
(1,11,14,3,5,16,18,8,9,20,2,12,13,4,6,15,17,7,10,19),"t20n105"],
[(1,7)(2,8)(3,5)(4,6)(11,14)(12,13)(15,20)(16,19),
(1,17,8,13,4,19,9,15,6,11,2,18,7,14,3,20,10,16,5,12),
(1,4,6,7,10)(2,3,5,8,9)(11,18,14,20,16,12,17,13,19,15),"t20n106"],
[(1,11,5,13,4,15,3,12,2,14)(6,17,7,20,8,18,9,16,10,19),
(1,19,2,17,4,18,3,20)(5,16)(6,13,8,11,7,12,10,14)(9,15),"t20n107"],
[(1,18,14,10,5,2,17,13,9,6)(3,4)(7,8)(11,12)(15,16)(19,20),
(1,2)(5,10,17,13)(6,9,18,14)(7,12,19,16)(8,11,20,15),
(1,20)(2,19)(3,10,16,13)(4,9,15,14)(5,8,17,11)(6,7,18,12),"t20n108"],
[(1,3,2,4)(5,19,9,15,17,7,13,11)(6,20,10,16,18,8,14,12),
(1,19,9,11,14,7,6,15)(2,20,10,12,13,8,5,16)(3,18,4,17),"t20n109"],
[(1,17,6,9)(2,18,5,10)(3,4)(7,15,19,11)(8,16,20,12)(13,14),
(1,8,18,15,10,11,13,4)(2,7,17,16,9,12,14,3)(5,19)(6,20),"t20n110"],
[(1,10,5,18)(2,9,6,17)(3,7,19,16)(4,8,20,15)(11,12)(13,14),
(1,12,18,16)(2,11,17,15)(3,10,4,9)(5,8,14,20)(6,7,13,19),"t20n111"],
[(1,3,2,4)(5,15,18,11)(6,16,17,12)(7,13,19,10)(8,14,20,9),
(1,18,5,10)(2,17,6,9)(3,15,19,8)(4,16,20,7)(13,14),"t20n112"],
[(1,19,2,20)(3,9,11,6,16,14,8,18)(4,10,12,5,15,13,7,17),
(1,3,2,4)(5,15,10,7,17,11,13,19)(6,16,9,8,18,12,14,20),"t20n113"],
[(1,2)(3,4)(5,18)(6,17)(7,20)(8,19)(9,13)(10,14)(11,16)(12,15),
(1,19,17,7)(2,20,18,8)(3,9)(4,10)(5,12,14,16)(6,11,13,15),
(1,15,5,20,9,4,14,8,17,11)(2,16,6,19,10,3,13,7,18,12),"t20n114"],
[(1,18,13,9,6,2,17,14,10,5)(3,20)(4,19)(7,16)(8,15)(11,12),
(1,8,17,3,10,16,13,19)(2,7,18,4,9,15,14,20)(5,12)(6,11),"t20n115"],
[(1,14,5,18)(2,13,6,17)(3,15,10,19)(4,16,9,20)(7,12,8,11),
(1,11,3,16,7,18)(2,12,4,15,8,17)(5,14)(6,13)(9,19)(10,20),"t20n116"],
[(1,19,6,4,17,11,9,15,13,7)(2,20,5,3,18,12,10,16,14,8),
(1,5)(2,6)(3,4)(7,8)(9,10)(11,16)(12,15)(13,14)(17,18)(19,20),
(1,20,13,16,17,12,9,3,6,8)(2,19,14,15,18,11,10,4,5,7),"t20n117"],
[(1,10)(2,9)(5,6)(11,19)(12,20)(13,14)(17,18),(1,12,2,11)(3,10,7,6)(4,9,8,5)
(13,20,18,15)(14,19,17,16),"t20n118"],
[(1,13,4,16,10,17,2,14,3,15,9,18)(5,20,6,19)(7,12,8,11),
(1,4,5,9,8,2,3,6,10,7)(11,15,17,20,13)(12,16,18,19,14),"t20n119"],
[(1,10,13,5)(2,9,14,6)(3,16,12,20)(4,15,11,19)(17,18),
(1,3,10,15,17,12,14,19,6,8,2,4,9,16,18,11,13,20,5,7),"t20n120"],
[(1,8,9,16,17,4,5,12,13,20)(2,6,10,14,18)(3,7,11,15,19),
(1,4,2,3)(5,12,18,15)(6,11,17,16)(7,9,20,14)(8,10,19,13),"t20n121"],
[(1,14,7,17,12)(2,13,5,19,11)(3,16,6,20,10)(4,15,8,18,9),
(1,10)(2,11,3,9,4,12)(5,7,8)(13,17,16,20,15,19)(14,18),"t20n122"],
[(1,4,10,8,6,11,14,20,17,15,2,3,9,7,5,12,13,19,18,16),
(1,15,18,3)(2,16,17,4)(5,8,13,11)(6,7,14,12)(9,19,10,20),"t20n123"],
[(1,11,2,12,3,13,4,14,5,15)(6,19,10,20,9,16,8,17,7,18),
(1,18,2,19,3,20,4,16,5,17)(6,15,7,14,8,13,9,12,10,11),"t20n124"],
[(1,17,12,6)(2,16,13,7)(3,20,14,8)(4,19,15,9)(5,18,11,10),
(1,4,2,5,3)(6,7,8,9,10)(16,20,19,18,17),"t20n125"],
[(1,8,15,16,2,7,11,17,3,6,12,18,4,10,13,19,5,9,14,20),
(1,17,12,9,3,19,14,7,5,16,11,10,2,18,13,8,4,20,15,6),"t20n126"],
[(1,2,3,4,5)(6,7,8,9,10)(11,13,15,12,14)(16,20,19,18,17),
(1,9,15,18,5,7,11,16,4,10,12,19,3,8,13,17,2,6,14,20),"t20n127"],
[(1,17,2,16,3,20,4,19,5,18)(6,15,10,14,9,13,8,12,7,11),
(1,7,3,9,5,6,2,8,4,10)(11,16,14,18,12,20,15,17,13,19),"t20n128"],
[(1,13,20,18,12,3,9,7)(2,14,19,17,11,4,10,8)(5,16,6,15),
(1,5,7,13,11,16,18,4)(2,6,8,14,12,15,17,3)(9,20,10,19),"t20n129"],
[(1,19,5,13,11,3,17,8,15,10,2,20,6,14,12,4,18,7,16,9),
(1,6,12,17,16)(2,5,11,18,15)(3,8,9,19,13,4,7,10,20,14),"t20n130"],
[(1,11)(2,12)(3,18,9,5,14,7,20,16)(4,17,10,6,13,8,19,15),
(1,19,8,5,3,11,9,18,15,13)(2,20,7,6,4,12,10,17,16,14),"t20n131"],
[(1,13,18,6,12,3,7,16)(2,14,17,5,11,4,8,15)(9,10),
(1,5,19,3,18,2,6,20,4,17)(7,11,15,10,13,8,12,16,9,14),"t20n132"],
[(1,7,18,19)(2,8,17,20)(3,15,5,11,4,16,6,12)(9,14)(10,13),
(1,13,3,20,2,14,4,19)(5,12,9,8)(6,11,10,7)(15,18)(16,17),"t20n133"],
[(1,19,18,8)(2,20,17,7)(3,11,6,15)(4,12,5,16)(9,13)(10,14),
(1,13,5,16)(2,14,6,15)(3,7,4,8)(9,19,17,12,10,20,18,11),"t20n134"],
[(1,4,2,3)(5,13,20,11)(6,14,19,12)(7,15,18,10)(8,16,17,9),
(1,20,2,19)(3,17,4,18)(5,16)(6,15)(7,13)(8,14)(9,10)(11,12),"t20n135"],
[(1,15,2,16)(5,12,6,11)(7,9,17,19)(8,10,18,20)(13,14),
(1,17,11,8)(2,18,12,7)(3,5,14,15)(4,6,13,16)(9,10),"t20n136"],
[(1,19)(2,20)(3,17)(4,18)(5,15)(6,16)(7,13)(8,14)(9,11)(10,12),
(1,10,14,15)(2,9,13,16)(3,6,12,19)(4,5,11,20)(7,17)(8,18),"t20n137"],
[(1,20,2,19)(3,18,4,17)(5,11)(6,12)(7,9)(8,10)(13,16)(14,15),
(1,15,17,6,12,4,14,20,7,10,2,16,18,5,11,3,13,19,8,9),"t20n138"],
[(1,20)(2,19)(3,17)(4,18)(5,12)(6,11)(7,10)(8,9)(13,15)(14,16),
(1,3,2,4)(5,15,6,16)(7,13,8,14)(9,20)(10,19)(11,17)(12,18),"t20n139"],
[(1,6,9,13,18,11,16,19,3,8)(2,5,10,14,17,12,15,20,4,7),
(1,7,16,10,11,17,6,20)(2,8,15,9,12,18,5,19)(3,4)(13,14),"t20n140"],
[(1,6,19,14,8,2,5,20,13,7)(3,18,12,16,9,4,17,11,15,10),
(1,13)(2,14)(3,12)(4,11)(5,19,16,10)(6,20,15,9),
(1,15,19,14,8,12,5,9,4,17)(2,16,20,13,7,11,6,10,3,18),"t20n141"],
[(1,4,2,3)(5,18)(6,17)(7,19)(8,20)(9,13)(10,14)(11,16)(12,15),
(1,14)(2,13)(3,15)(4,16)(5,6)(9,20)(10,19)(11,17)(12,18),"t20n142"],
[(1,5,12,15)(2,6,11,16)(3,14)(4,13)(7,10,8,9)(17,19,18,20),
(1,7,14,9,6,12,18,4,19,16)(2,8,13,10,5,11,17,3,20,15),
(1,18,2,17)(3,15,14,6)(4,16,13,5)(7,11,8,12)(9,20)(10,19),"t20n143"],
[(1,5,2,6)(3,8,4,7)(9,12,10,11)(13,20)(14,19)(15,17)(16,18),
(1,20,12,15,7,4,18,9,13,6,2,19,11,16,8,3,17,10,14,5),"t20n144"],
[(1,6,16,17)(2,5,15,18)(7,9,20,11)(8,10,19,12),
(1,18)(2,17)(3,7,19,14)(4,8,20,13)(5,9,15,11)(6,10,16,12),"t20n145"],
[(1,7,11,13,3,15,5,9)(2,8,12,14,4,16,6,10)(17,18)(19,20),
(1,20,17,7,5,12,3,15,10,13)(2,19,18,8,6,11,4,16,9,14),"t20n146"],
[(1,17,5,13,9)(2,19,8,14,11,4,18,7,16,10,3,20,6,15,12),
(1,3)(2,4)(5,11)(6,12)(7,9)(8,10)(13,19)(14,20)(15,17)(16,18),"t20n147"],
[(1,16,14,3)(2,15,13,4)(5,8,17,10)(6,7,18,9),
(1,4)(2,3)(5,9,19,15,11,7,17,13)(6,10,20,16,12,8,18,14),"t20n148"],
[(1,11,3,5)(2,12,4,6)(7,10,16,13)(8,9,15,14)(17,20)(18,19),
(1,4,18,16,14,6)(2,3,17,15,13,5)(9,11,19)(10,12,20),"t20n149"],
[(1,17,20,5,14)(2,18,19,6,13)(3,11,15,10,7)(4,12,16,9,8),
(1,15,2,16)(3,7,6,20,13,12,17,10)(4,8,5,19,14,11,18,9),"t20n150"],
[(1,6,3,16,10)(2,5,4,15,9)(7,18,19,13,12)(8,17,20,14,11),
(1,5,16,9,8,2,6,15,10,7)(3,19,17,12,14,4,20,18,11,13),"t20n151"],
[(1,17,7,2,18,8)(3,10,11,4,9,12)(5,15,20,6,16,19)(13,14),
(1,18,19,6,13,2,17,20,5,14)(3,12,15,9,8,4,11,16,10,7),"t20n152"],
[(1,13,10,17)(2,14,9,18)(3,12,7,19)(4,11,8,20)(15,16),
(1,3,18,12,6,16,9,8)(2,4,17,11,5,15,10,7)(13,20,14,19),"t20n153"],
[(3,20,16,11,7)(4,19,15,12,8),(1,9)(2,10)(13,18)(14,17),
(1,12)(2,11)(3,14)(4,13)(5,16)(6,15)(7,17)(8,18)(9,19)(10,20),
(1,13,9,18)(2,14,10,17)(3,20,7,11)(4,19,8,12),
(1,17,13,10,6,2,18,14,9,5)(3,4)(7,8)(11,12)(15,16)(19,20),"t20n154"],
[(1,4,17,12,13,20,9,8,5,16)(2,3,18,11,14,19,10,7,6,15),
(1,16,18,11,5,20,10,3)(2,15,17,12,6,19,9,4)(7,13,8,14),"t20n155"],
[(1,16,18,3)(2,15,17,4)(5,8,14,12)(6,7,13,11)(9,20)(10,19),
(1,16,14,19,6,3,17,8,9,11,2,15,13,20,5,4,18,7,10,12),
(1,15,10,7,18,19,5,11,13,4,2,16,9,8,17,20,6,12,14,3),"t20n156"],
[(3,20,16,11,7)(4,19,15,12,8),(1,9)(2,10)(13,18)(14,17),
(1,12)(2,11)(3,14)(4,13)(5,16)(6,15)(7,17)(8,18)(9,19)(10,20),
(1,14,9,17)(2,13,10,18)(3,20,7,11)(4,19,8,12)(5,6),
(1,17,13,10,6,2,18,14,9,5)(3,4)(7,8)(11,12)(15,16)(19,20),"t20n157"],
[(3,20,16,11,7)(4,19,15,12,8),(1,10)(2,9)(5,6)(13,17)(14,18),
(1,12)(2,11)(3,14)(4,13)(5,16)(6,15)(7,17)(8,18)(9,19)(10,20),
(1,14,9,17)(2,13,10,18)(3,20,7,11)(4,19,8,12)(5,6),
(1,17,13,10,6,2,18,14,9,5)(3,4)(7,8)(11,12)(15,16)(19,20),"t20n158"],
[(11,12)(13,14)(15,16)(17,18)(19,20),(3,6,9,8)(4,5,10,7)(11,18,16,20)(12,17,15,19)
(13,14),(1,9,8,6,3)(2,10,7,5,4)(11,12)(13,14)(15,16)(17,18)(19,20),
(1,13)(2,14)(3,15,9,12)(4,16,10,11)(5,17,7,19)(6,18,8,20),"t20n159"],
[(1,7,17,19,13,11,10,4,6,16,2,8,18,20,14,12,9,3,5,15),
(1,20,10,12)(2,19,9,11)(3,14,8,18)(4,13,7,17)(5,15,6,16),
(1,11,13,16)(2,12,14,15)(3,18)(4,17)(5,19,10,8)(6,20,9,7),"t20n160"],
[(1,8,14,11,10,4,17,20)(2,7,13,12,9,3,18,19)(5,15)(6,16),
(1,9)(2,10)(3,4)(5,6)(7,15,19,11)(8,16,20,12)(13,17)(14,18),"t20n161"],
[(1,20)(2,19)(3,13,7,6,16,10,11,17)(4,14,8,5,15,9,12,18),
(1,9,13,5)(2,10,14,6)(3,19,7,12)(4,20,8,11)(15,16)(17,18),
(1,14,10,18)(2,13,9,17)(3,4)(5,6)(7,12,20,15)(8,11,19,16),"t20n162"],
[(1,19,10,17,7,16,6,14,4,11)(2,20,9,18,8,15,5,13,3,12),
(1,13,10,20)(2,14,9,19)(3,17,8,16)(4,18,7,15)(5,11)(6,12),
(1,11,8,18,4,14,9,20,6,16,2,12,7,17,3,13,10,19,5,15),"t20n163"],
[(1,3,5,12,17,16,14,8)(2,4,6,11,18,15,13,7)(9,19,10,20),
(1,4,5,11,17,15,14,7)(2,3,6,12,18,16,13,8)(9,20,10,19),
(1,13)(2,14)(3,11,20,7,16)(4,12,19,8,15)(5,9)(6,10),"t20n164"],
[(1,15,14,7)(2,16,13,8)(3,6,19,10)(4,5,20,9)(11,18,12,17),
(1,18,6,9)(2,17,5,10)(7,11,20,16)(8,12,19,15),
(1,12,2,11)(3,18,4,17)(5,20,6,19)(7,9,8,10)(13,15,14,16),"t20n165"],
[(1,19,7,16,4,11,10,17,6,14)(2,20,8,15,3,12,9,18,5,13),
(1,4,6,7,10)(2,3,5,8,9)(11,18,14,20,16,12,17,13,19,15),
(1,18,8,16,4,13,9,11,6,20,2,17,7,15,3,14,10,12,5,19),"t20n166"],
[(1,4,14,20,5,15,17,11,10,8)(2,3,13,19,6,16,18,12,9,7),
(1,11,13,16,10,8,18,3)(2,12,14,15,9,7,17,4)(5,20,6,19),"t20n167"],
[(1,11,10,14,7,16,6,18,4,20,2,12,9,13,8,15,5,17,3,19),
(1,15,7,12,4,18,9,14,5,19)(2,16,8,11,3,17,10,13,6,20),
(1,19,3,11)(2,20,4,12)(5,14,10,17)(6,13,9,18)(7,15,8,16),"t20n168"],
[(1,16,14,10)(2,20,11,7)(3,19,13,9)(4,18,15,6)(5,17,12,8),
(1,8,2,7,5,9,4,10)(3,6)(11,19,15,18,12,20,13,16)(14,17),"t20n169"],
[(1,6,3,9)(2,5,4,10)(7,8)(11,17,19,14)(12,18,20,13),
(1,13,5,15,3,20,10,18)(2,14,6,16,4,19,9,17)(7,12)(8,11),"t20n170"],
[(1,19,14,10,5,3,17,13,12,7,4,18,16,11,8)(2,20,15,9,6),
(1,3,4)(6,8,7)(9,12,10)(13,16,14)(18,20,19),"t20n171"],
[(1,11,13,9,18)(2,12,14,10,17)(3,8,19,16,5)(4,7,20,15,6),
(1,13,15)(2,14,16)(3,18,6,4,17,5)(7,19,9)(8,20,10)(11,12),"t20n172"],
[(1,9,18,5,15,3,10,17,8,16,2,12,19,7,14)(4,11,20,6,13),
(1,6,15,11,4,8,14,12)(2,5,16,10,3,7,13,9)(17,19,20,18),"t20n173"],
[(1,6,7)(2,5,8)(11,16,19,12,15,20)(13,14)(17,18),
(1,18,7,13,6,16,4,12,9,20)(2,17,8,14,5,15,3,11,10,19),
(1,17,6,15,4,19)(2,18,5,16,3,20)(7,14)(8,13)(9,11)(10,12),"t20n174"],
[(1,8,4,6)(2,5,3,7)(9,14,10,15)(11,13,12,16)(17,19)(18,20),
(1,8,10,16,17)(2,6,9,15,19)(3,5,12,14,20)(4,7,11,13,18),"t20n175"],
[(1,6,3,7)(2,8,4,5)(9,19,10,17)(11,18,12,20),(1,18,16,6,12)(2,19,15,5,9)
(3,17,14,8,11)(4,20,13,7,10),(1,12,4,10)(2,9,3,11)(5,17,6,20)(7,18,8,19),
"t20n176"],[(1,5,12,20,13)(2,6,11,19,14)(3,9,17,8,15)(4,10,18,7,16),
(1,16)(2,15)(3,20,4,19)(5,10,6,9)(7,17,8,18)(13,14),"t20n177"],
[(1,16,15,10)(2,20,11,6)(3,19,12,7)(4,18,13,8)(5,17,14,9),
(1,4)(2,3)(6,20,10,19,9,18,8,17,7,16)(11,13)(14,15),"t20n178"],
[(1,7,2,8,3,9,4,10,5,6)(11,18,15,19,14,20,13,16,12,17),
(1,3)(4,5)(6,19,7,20,8,16,9,17,10,18)(11,12)(13,15),"t20n179"],
[(1,18,14,8)(2,19,13,9)(3,20,12,10)(4,16,11,6)(5,17,15,7),
(1,18,12,6,4,20,14,8,2,17,11,10,5,19,13,7,3,16,15,9),"t20n180"],
[(1,6,4,9,2,7,5,10,3,8)(11,17,13,20,15,18,12,16,14,19),
(1,16,13,9)(2,20,14,10)(3,19,15,6)(4,18,11,7)(5,17,12,8),"t20n181"],
[(1,9,2,10,3,6,4,7,5,8)(11,19,12,18,13,17,14,16,15,20),
(1,19)(2,18)(3,17)(4,16)(5,20)(6,14)(7,15)(8,11)(9,12)(10,13),
(1,16,4,19,2,17,5,20,3,18)(6,12,8,15,10,13,7,11,9,14),"t20n182"],
[(1,6,4,10)(2,9,3,7)(5,8)(11,20)(12,17,15,18)(13,19,14,16),
(1,11,5,12,4,13,3,14,2,15)(6,16,7,17,8,18,9,19,10,20),"t20n183"],
[(1,8,12,20)(2,6,13,17)(3,9,14,19)(4,7,15,16)(5,10,11,18),
(1,8,15,16,4,9,13,20,2,10,11,19,5,6,14,18,3,7,12,17),
(1,14,3,11,5,13,2,15,4,12)(6,17,8,20,10,18,7,16,9,19),"t20n184"],
[(1,16,13,8,4,19,11,10,2,17,14,7,5,20,12,9,3,18,15,6),
(1,11,2,12,3,13,4,14,5,15)(6,9,7,10,8)(16,20,19,18,17),"t20n185"],
[(1,19,11,16,7,4,17,9,13,6,2,20,12,15,8,3,18,10,14,5),
(1,12,13,17)(2,11,14,18)(3,9,16,19)(4,10,15,20),
(1,16,17,6,12,4,13,20,8,10,2,15,18,5,11,3,14,19,7,9),"t20n186"],
[(1,7)(2,8)(3,5)(4,6)(9,15,10,16)(11,13,12,14)(17,20,18,19),
(1,18,2,17)(3,19,4,20)(5,12,6,11)(7,10,8,9)(15,16),
(1,9)(2,10)(3,11)(4,12)(5,8)(6,7)(13,17,14,18)(15,20,16,19),"t20n187"],
[(1,16,17,9,8)(2,15,18,10,7)(3,14,20,11,6)(4,13,19,12,5),
(3,4)(5,6)(7,8)(9,10)(13,15,14,16)(17,20,18,19),"t20n188"],
[(1,7,12,14)(2,8,11,13)(3,6,10,15)(4,5,9,16)(17,18),
(1,6,17,9)(2,5,18,10)(3,8,19,11)(4,7,20,12)(13,16)(14,15),"t20n189"],
[(1,12,16,6,20)(2,11,15,5,19)(3,10,13,7,17)(4,9,14,8,18),
(1,9,15,5,18)(2,10,16,6,17)(3,11,14,8,19)(4,12,13,7,20),
(1,20,8,16,11)(2,19,7,15,12)(3,17,5,13,9)(4,18,6,14,10),"t20n190"],
[(1,13,2,14)(3,15,4,16)(5,12,6,11)(7,9,8,10)(17,18),
(1,15,20,11,2,16,19,12)(3,14,17,10,4,13,18,9)(5,7)(6,8),"t20n191"],
[(1,19,15,6)(2,20,16,5)(3,18,13,9,4,17,14,10)(7,12,8,11),
(1,10,7,20)(2,9,8,19)(3,5,4,6)(11,14,18,15)(12,13,17,16),"t20n192"],
[(1,15,19,9,6)(2,16,20,10,5)(3,13,18,12,7)(4,14,17,11,8),
(1,9,15,7,20)(2,10,16,8,19)(3,12,13,5,17)(4,11,14,6,18),"t20n193"],
[(1,16,7,14)(2,15,8,13)(3,12,6,17)(4,11,5,18)(9,10),
(1,10,5,17)(2,9,6,18)(3,14,4,13)(7,11,20,15)(8,12,19,16),"t20n194"],
[(1,10,17,5,2,9,18,6)(3,12,20,8,4,11,19,7)(13,16,14,15),
(1,14,12,7)(2,13,11,8)(3,16,9,6)(4,15,10,5)(19,20),"t20n195"],
[(1,2)(3,19)(4,20)(5,17,15,8)(6,18,16,7)(9,13)(10,14)(11,12),
(1,17,11,8)(2,18,12,7)(3,16,14,6)(4,15,13,5)(9,20)(10,19),
(1,5,8,13,11,15,17,4)(2,6,7,14,12,16,18,3)(9,19)(10,20),"t20n196"],
[(1,13,19,16,4,7,17,10)(2,14,20,15,3,8,18,9)(5,12,6,11),
(1,2)(3,5,8,13)(4,6,7,14)(11,20,18,16)(12,19,17,15),"t20n197"],
[(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16)(17,18)(19,20),
(1,6,19,9,17,2,5,20,10,18)(3,14,11,16,7,4,13,12,15,8),
(1,15,12)(2,16,11)(3,10,14,6,19,17)(4,9,13,5,20,18),"t20n198"],
[(1,11,9,2,12,10)(3,20,6,8,14,15)(4,19,5,7,13,16)(17,18),
(1,20,4,18)(2,19,3,17)(5,12)(6,11)(7,16,14,10)(8,15,13,9),"t20n199"],
[(1,6,2,5)(3,20,4,19)(7,11,8,12)(9,17,10,18)(13,16,14,15),
(1,18,4,19)(2,17,3,20)(7,16,13,9)(8,15,14,10),"t20n200"],
[(3,17,19)(4,18,20)(5,8,10,11,14,16)(6,7,9,12,13,15),
(1,13,16,12,5,4,17,9)(2,14,15,11,6,3,18,10)(7,8)(19,20),"t20n201"],
[(1,18,15,9,11,13,8,19)(2,17,16,10,12,14,7,20)(3,6)(4,5),
(1,9,20,16)(2,10,19,15)(3,4)(5,11,13,8)(6,12,14,7)(17,18),"t20n202"],
[(1,15,8,10,17,3,16,6,9,19,4,14,5,11,20,2,13,7,12,18),
(2,4,3)(5,9,17)(6,12,19)(7,10,20)(8,11,18)(14,16,15),"t20n203"],
[(1,11,13,9,17,16,8,6)(2,12,14,10,18,15,7,5)(3,19)(4,20),
(1,12,9,15,8,19)(2,11,10,16,7,20)(3,4)(5,13,18,6,14,17),"t20n204"],
[(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16)(17,18)(19,20),
(1,14,7,19,9,2,13,8,20,10)(3,11,15,6,18,4,12,16,5,17),
(1,19,13,5,4,12,16,18)(2,20,14,6,3,11,15,17)(7,8)(9,10),"t20n205"],
[(1,13,5)(2,16,7)(3,14,8)(4,15,6)(10,12,11)(18,20,19),
(1,15,2,13,3,14)(4,16)(5,19,10)(6,17,11)(7,18,9)(8,20,12),"t20n206"],
[(1,4,2,3)(5,16,10,19)(6,15,9,20)(7,13,12,18)(8,14,11,17),
(1,7,12,13,19,4,5,11,16,17,3,8,9,15,20)(2,6,10,14,18),"t20n207"],
[(1,8,4,16)(2,7,3,15)(5,14,12,10)(6,13,11,9)(17,18)(19,20),
(1,15,10,7,6,20,14,17)(2,16,9,8,5,19,13,18),"t20n208"],
[(1,20,12,2,19,13,3,18,14,4,17,15,5,16,11)(6,10,9,8,7),
(1,15,10)(2,11,6)(3,12,7)(4,13,8)(5,14,9),"t20n209"],
[(1,12,6,7)(2,11,5,8)(3,18,16,9)(4,17,15,10)(13,20,14,19),
(1,11,18,19,10,15,13,7)(2,12,17,20,9,16,14,8)(3,5)(4,6),
(1,7,17,4)(2,8,18,3)(5,11,14,20)(6,12,13,19)(9,16,10,15),"t20n210"],
[(1,20,14,3,18,12,6,7)(2,19,13,4,17,11,5,8)(9,15,10,16),
(1,11,14,8,5,3,17,20,10,15,2,12,13,7,6,4,18,19,9,16),"t20n211"],
[(3,19,15,11,7)(4,20,16,12,8),(1,12)(2,11)(3,14)(4,13)(5,16)(6,15)(7,17)(8,18)
(9,19)(10,20),(1,14,10,17)(2,13,9,18)(5,6),
(1,17,13,9,5,2,18,14,10,6)(3,4)(7,8)(11,12)(15,16)(19,20),"t20n212"],
[(1,18,8,11,6,13,10,19)(2,17,7,12,5,14,9,20)(3,16,4,15),
(1,10,4,5)(2,9,3,6)(7,8)(11,19,14,16)(12,20,13,15),
(1,3,7,5)(2,4,8,6)(9,10)(11,17,16,19)(12,18,15,20),"t20n213"],
[(11,12)(13,14)(15,16)(17,18)(19,20),(3,8,9,5)(4,7,10,6)(11,18,16,20)(12,17,15,19)
(13,14),(3,9)(4,10)(5,8)(6,7)(11,12)(13,14)(15,16)(17,18)(19,20),
(1,9,7,5,4,2,10,8,6,3),(1,14)(2,13)(3,12)(4,11)(5,20)(6,19)(7,17)(8,18)
(9,15)(10,16),"t20n214"],
[(1,3,5,15)(2,4,6,16)(7,18,11,10)(8,17,12,9)(13,19)(14,20),
(1,8,13,20,18,4,5,12)(2,7,14,19,17,3,6,11)(9,15)(10,16),
(1,20,10,4)(2,19,9,3)(5,12)(6,11)(7,14,15,17)(8,13,16,18),"t20n215"],
[(1,8,2,5)(3,7,4,6)(9,17,11,18)(10,20,12,19)(13,14)(15,16),
(1,10,3,11,4,9)(2,12)(6,7,8)(13,20)(14,19,16,17,15,18),"t20n216"],
[(1,6,14)(2,5,16,4,8,13)(3,7,15)(9,19,12,20,11,17)(10,18),
(1,7,18)(2,6,19)(3,8,17)(4,5,20)(10,11,12)(13,14,15),"t20n217"],
[(1,8,20,16)(2,7,19,15)(3,11,18,6,4,12,17,5)(9,14)(10,13),
(1,7,12,5)(2,8,11,6)(3,10,4,9)(13,19,17,15)(14,20,18,16),"t20n218"],
[(1,16,19,11,4)(2,15,20,12,3)(5,13,10,18,8)(6,14,9,17,7),
(1,5,4)(2,6,3)(7,15,12,14,10,18)(8,16,11,13,9,17),"t20n219"],
[(1,7,16)(2,8,13)(3,5,14)(4,6,15)(9,12,11)(17,19,18),
(1,18,16,10,8,3,20,15,11,6)(2,19,14,12,7,4,17,13,9,5),"t20n220"],
[(1,13,7)(2,14,5,4,15,8)(3,16,6)(9,17,11,20,12,19)(10,18),
(1,16,4,13)(2,15,3,14)(5,12,7,11)(6,9,8,10)(17,19)(18,20),"t20n221"],
[(1,14,15,2,13,16)(3,19,6,8,18,10,4,20,5,7,17,9),
(1,16,9,2,15,10)(3,18,11)(4,17,12)(5,6)(7,14,19)(8,13,20),"t20n222"],
[(1,17,9,14,11)(2,18,10,13,12)(3,6,15,20,7)(4,5,16,19,8),
(1,12,2,11)(3,5,9,8)(4,6,10,7)(13,17,16,20)(14,18,15,19),"t20n223"],
[(1,18,9,16,20,2,17,10,15,19)(3,12,8,13,5,4,11,7,14,6),
(1,14)(2,13)(3,20,4,19)(5,10,6,9)(11,12)(15,18,16,17),"t20n224"],
[(1,6,2,5)(3,15)(4,16)(7,14)(8,13)(11,18,12,17),
(1,4,20)(2,3,19)(5,17,8,6,18,7)(9,16,11,10,15,12),"t20n225"],
[(1,20)(2,19)(3,14)(4,13)(5,6)(7,18)(8,17)(9,12)(10,11)(15,16),
(1,14,5,19,18)(2,13,6,20,17)(3,16,10,7,12)(4,15,9,8,11),"t20n226"],
[(1,20)(2,18)(3,19)(4,17)(5,10)(6,11)(7,9)(8,12)(13,16)(14,15),
(1,11,18,5,13)(2,9,19,6,15)(3,10,20,7,14)(4,12,17,8,16),"t20n227"],
[(1,7,20,2,8,19)(3,14,11,4,13,12)(5,10,16,6,9,15)(17,18),
(1,11,6,16,7)(2,12,5,15,8)(3,20,9,14,18)(4,19,10,13,17),
(1,2)(3,9,11,4,10,12)(5,14,16,6,13,15)(7,18,19,8,17,20),"t20n228"],
[(1,15,19,8,12,3,13,20,5,10)(2,14,17,6,11,4,16,18,7,9),
(1,17,10,4,18,11)(2,20,9,3,19,12)(6,8,7)(13,15,16),"t20n229"],
[(1,10,14,11,20,4)(2,9,13,12,19,3)(5,15)(6,16)(7,17)(8,18),
(1,9,7,5,14)(2,10,8,6,13)(3,12,20,18,16)(4,11,19,17,15),"t20n230"],
[(1,5,3,4)(6,10,8,9)(12,13,15,14)(16,18,17,20),(1,10)(2,9)(3,8)(4,7)(5,6)
(11,16,14,19,12,17,15,20,13,18),(1,11,5,14)(2,13,4,12)(3,15)(6,20,10,17)
(7,18,9,19)(8,16),"t20n231"],
[(1,18,15,7,3,16,13,10,5,19,11,8,2,17,14,6,4,20,12,9),
(1,3,2,5)(6,9,10,7)(12,13,15,14)(17,18,20,19),"t20n232"],
[(1,18,14,7)(2,20,15,10)(3,17,11,8)(4,19,12,6)(5,16,13,9),
(1,16,2,19)(3,17,5,18)(4,20)(6,11,10,14)(7,13,9,12)(8,15),"t20n233"],
[(1,20,14,6,4,17,11,8,2,19,13,10,5,16,15,7,3,18,12,9),
(1,17)(2,16)(3,20)(4,19)(5,18)(6,13,8,15,10,12,7,14,9,11),
(1,14)(2,15)(3,11)(4,12)(5,13)(6,7)(8,10)(17,20)(18,19),"t20n234"],
[(1,5,3,4)(6,17,9,18)(7,19,8,16)(10,20)(11,12,14,13),
(1,8,14,19,5,10,13,17,4,7,12,20,3,9,11,18,2,6,15,16),"t20n235"],
[(1,16,4,20)(2,19,3,17)(5,18)(6,14,7,11)(8,13,10,12)(9,15),
(1,14,4,15)(2,11,3,13)(5,12)(6,7,10,9)(17,19,20,18),"t20n236"],
[(1,8,12,19,4,7,13,20,2,6,14,16,5,10,15,17,3,9,11,18),
(1,5,4,3,2)(11,15,14,13,12),(1,20,12,8)(2,17,14,6)(3,19,11,9)(4,16,13,7)
(5,18,15,10),"t20n237"],
[(1,17,2,20,3,18,4,16,5,19)(6,11,9,13,7,15,10,12,8,14),
(1,11,4,15,2,14,5,13,3,12)(6,17)(7,16)(8,20)(9,19)(10,18),"t20n238"],
[(1,2)(5,7,6,8)(13,15,14,16)(17,18),(1,5,16,10,20)(2,6,15,9,19)(3,7,13,12,18)
(4,8,14,11,17),"t20n239"],
[(1,11)(2,12)(3,10)(4,9)(5,14,8,16)(6,13,7,15)(17,20)(18,19),
(1,16,7,12,18)(2,15,8,11,17)(3,14,6,9,19)(4,13,5,10,20),"t20n240"],
[(1,18,4,19,2,17,3,20)(5,7)(6,8)(9,13)(10,14)(11,15,12,16),
(1,15,7,12,20)(2,16,8,11,19)(3,13,6,9,18)(4,14,5,10,17),"t20n241"],
[(1,7,4,6,2,8,3,5)(9,17)(10,18)(11,20,12,19)(13,15)(14,16),
(1,13)(2,14)(3,15)(4,16)(5,19)(6,20)(7,18)(8,17)(9,10)(11,12),"t20n242"],
[(1,6,3,8)(2,5,4,7)(9,17,10,18)(11,20,12,19)(13,16,14,15),
(1,16,5,12,19)(2,15,6,11,20)(3,14,8,9,18)(4,13,7,10,17),"t20n243"],
[(1,6,19,16,10)(2,5,20,15,9)(3,7,18,13,12)(4,8,17,14,11),
(1,13,2,14)(3,16,4,15)(5,19,6,20)(7,18,8,17)(9,10),"t20n244"],
[(1,10,6,20,16)(2,9,5,19,15)(3,11,7,17,14)(4,12,8,18,13),
(1,3)(2,4)(5,8)(6,7)(9,10)(15,16)(17,18)(19,20),"t20n245"],
[(1,7)(2,8)(3,5)(4,6)(9,17,11,19,10,18,12,20)(13,16,14,15),
(1,13,5,11,19)(2,14,6,12,20)(3,15,8,10,18)(4,16,7,9,17),"t20n246"],
[(1,8,15,9,20,2,7,16,10,19)(3,6,14,11,18,4,5,13,12,17),
(1,8,13,11,20,2,7,14,12,19)(3,6,15,9,18,4,5,16,10,17),"t20n247"],
[(1,11,16,17,6)(2,12,15,18,5)(3,9,14,20,8)(4,10,13,19,7),
(1,2)(5,12,6,11)(7,10,8,9)(13,18,14,17)(15,20,16,19),"t20n248"],
[(1,13,8,10,19)(2,14,7,9,20)(3,15,5,11,18)(4,16,6,12,17),
(1,5)(2,6)(3,7)(4,8)(9,18,12,20,10,17,11,19)(13,15,14,16),"t20n249"],
[(1,17,9,13,5,2,18,10,14,6)(3,19,12,16,7,4,20,11,15,8),
(1,3,2,4)(5,7,6,8)(9,10)(11,12),"t20n250"],
[(1,16,6,18,9,2,15,5,17,10)(3,13,8,20,11)(4,14,7,19,12),
(1,14,8,18,9,2,13,7,17,10)(3,16,5,20,12)(4,15,6,19,11),"t20n251"],
[(1,9)(2,10)(3,11)(4,12)(5,13)(6,14)(7,16)(8,15)(17,20)(18,19),
(1,6,20,16,9)(2,5,19,15,10)(3,8,18,14,12)(4,7,17,13,11),"t20n252"],
[(1,3)(2,4)(7,8)(9,10)(13,14)(15,16)(17,20)(18,19),(1,5,13,10,19)(2,6,14,9,20)
(3,7,15,11,17)(4,8,16,12,18),"t20n253"],
[(1,8,11,18,14)(2,7,12,17,13)(3,5,10,19,15)(4,6,9,20,16),
(1,12,15,7,18,4,9,13,6,20)(2,11,16,8,17,3,10,14,5,19),"t20n254"],
[(1,5,10,4,7)(2,6,9,3,8)(11,16,20,14,17)(12,15,19,13,18),
(1,20)(2,19)(3,18,4,17)(5,16)(6,15)(7,13,8,14)(9,11)(10,12),"t20n255"],
[(1,10,17,7,16)(2,9,18,8,15)(3,11,19,5,14)(4,12,20,6,13),
(1,8,12,16,17,2,7,11,15,18)(3,5,9,13,19)(4,6,10,14,20),"t20n256"],
[(1,9,14,6,20,4,12,16,8,17)(2,10,13,5,19,3,11,15,7,18),
(1,18,5,13,9)(2,17,6,14,10)(3,19,7,16,12)(4,20,8,15,11),"t20n257"],
[(1,13,3,16,2,14,4,15)(5,19,6,20)(7,17,8,18)(11,12),
(1,10,14,20,6)(2,9,13,19,5)(3,12,16,18,7)(4,11,15,17,8),"t20n258"],
[(1,15,8,17,10)(2,16,7,18,9)(3,13,5,20,11,4,14,6,19,12),
(1,5,12,13,20)(2,6,11,14,19)(3,8,10,16,17,4,7,9,15,18),"t20n259"],
[(1,7,3,5)(2,8,4,6)(9,19,11,18)(10,20,12,17)(13,14)(15,16),
(1,18,11,7,16)(2,17,12,8,15)(3,19,9,5,14)(4,20,10,6,13),"t20n260"],
[(1,11,18,6,2,12,17,5)(3,9,19,8,4,10,20,7)(13,14),
(1,18,16,5)(2,17,15,6)(3,19,13,8)(4,20,14,7)(9,10)(11,12),
(1,8,11,20,15,4,6,9,18,13)(2,7,12,19,16,3,5,10,17,14),"t20n261"],
[(1,16)(2,15)(3,17,4,18)(5,20)(6,19)(7,11,8,12)(9,14)(10,13),
(1,10,7,6,4)(2,9,8,5,3)(11,20,18,15,14)(12,19,17,16,13),"t20n262"],
[(1,6,12,17,15,4,7,9,20,13)(2,5,11,18,16,3,8,10,19,14),
(1,8,12,19,13,4,5,9,18,15)(2,7,11,20,14,3,6,10,17,16),
(1,15,20,9,8)(2,16,19,10,7)(3,14,18,11,6)(4,13,17,12,5),"t20n263"],
[(1,4,2,3)(5,8,6,7)(9,16,18,11,13,20,10,15,17,12,14,19),
(1,7,9,15)(2,6,10,14)(3,5,11,13)(4,8,12,16)(17,19),"t20n264"],
[(1,4,6,19,14,12,10,15)(2,3,5,20,13,11,9,16)(7,8),
(1,2)(3,18)(4,17)(5,13)(6,14)(7,11)(8,12)(9,10)(15,16)(19,20),"t20n265"],
[(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16)(17,18)(19,20),
(1,7,10,20,17,3,12,14)(2,8,9,19,18,4,11,13),
(1,19,14,9,16,5)(2,20,13,10,15,6)(3,4)(7,11,17,8,12,18),"t20n266"],
[(1,19,7)(2,18,6)(3,20,8)(4,17,5)(9,12,10)(13,14,16),
(1,7,17,9,14,2,6,18,12,15,4,5,20,11,16)(3,8,19,10,13),"t20n267"],
[(1,7,11,19)(2,8,12,18)(3,9,13,17)(4,10,14,16)(5,6,15,20),
(1,3,5,2,4)(6,19,13,9,16,11,7,18,14,10,20,12,8,17,15),"t20n268"],
[(1,16,15,5,17,11)(2,20,14,4,18,12)(3,19,13)(6,10)(7,9),
(6,18,12)(7,19,11)(8,20,15)(9,16,14)(10,17,13),"t20n269"],
[(1,3,5,2,4)(6,17,15,9,19,13,7,16,11,10,18,14,8,20,12),
(1,8,18,12,3,6,16,15,5,9,19,13,2,7,17,11,4,10,20,14),"t20n270"],
[(1,4,10,7)(2,3,9,8)(11,19)(12,20)(13,17)(14,18)(15,16),
(1,20,10,17,5,14,7,16)(2,19,9,18,6,13,8,15)(3,12)(4,11),
(1,6,10,3,7,2,5,9,4,8)(11,20,17,16,14)(12,19,18,15,13),"t20n271"],
[(1,9,7)(2,13,16)(3,11,5)(4,8,20)(6,12,19)(10,15,18),
(1,13,2,10,3)(4,20,19,5,18)(6,9,15,12,7)(8,14,17,16,11),"t20n272"],
[(1,12,3,10)(2,11,4,9)(5,14,6,13)(7,15,8,16)(17,19)(18,20),
(1,5,17,2,7,18,3,6,20,4,8,19)(9,13)(10,15,11,16,12,14),"t20n273"],
[(1,4,3,2)(5,16,20,10)(6,13,17,9)(7,15,18,11)(8,14,19,12),
(1,17,12,3,20,10,4,18,9,2,19,11)(5,16,6,15,8,13)(7,14),"t20n274"],
[(9,19)(10,20),(1,2)(3,19)(4,20)(5,6)(7,8)(9,13)(10,14)(11,12)(15,16)(17,18),
(1,5,9,14,18)(2,6,10,13,17)(3,7,12,16,20)(4,8,11,15,19),"t20n275"],
[(1,14,12,20)(2,15,10,19)(3,13,9,18)(4,16,11,17)(5,8,7,6),
(1,13,3,15,2,14)(4,16)(5,12,19,8,11,17)(6,9,20)(7,10,18),"t20n276"],
[(1,20,7,12,9,17)(2,19,8,11,10,18),(1,15,17,14,20,2,16,18,13,19)(3,10,12,6,7,4,
9,11,5,8),"t20n277"],
[(1,14,17,9,8,4,16,20,10,6)(2,13,19,11,5,3,15,18,12,7),
(1,3,4,2)(5,7,8,6)(9,17,11,20)(10,19,12,18)(15,16),"t20n278"],
[(3,20)(4,19)(9,14)(10,13),(1,2)(3,4)(5,6)(7,8)(9,19)(10,20)(11,12)(13,14)
(15,16)(17,18),(1,5,9,14,18)(2,6,10,13,17)(3,7,12,16,20)(4,8,11,15,19),
"t20n279"],[(1,12)(2,11)(3,9)(4,10)(5,18)(6,17)(7,8)(13,20)(14,19),
(1,19,16)(2,20,15)(3,18,12,4,17,11)(7,14,10)(8,13,9),"t20n280"],
[(1,5,2,6)(3,14,8,15)(4,13,7,16)(9,12,20,18,10,11,19,17),
(1,8,15,6,11,2,7,16,5,12)(3,18,14,9,19,4,17,13,10,20),"t20n281"],
[(1,15,18,5)(2,14,19,7)(3,13,17,6)(4,16,20,8)(9,12,11,10),
(1,10,6,19,2,12,7,20)(3,9,5,18,4,11,8,17)(14,15),
(1,3,4)(6,8,7)(9,10,11)(14,16,15)(17,18,19),"t20n282"],
[(1,16,10,19,5)(2,15,9,20,6)(3,13,12,17,7)(4,14,11,18,8),
(1,8,9,4,6,12,2,7,10,3,5,11)(13,20,14,19)(15,18,16,17),"t20n283"],
[(1,8,14,9,19,2,7,15,12,20)(3,6,13,10,17,4,5,16,11,18),
(1,2,3)(5,9,17,8,10,19)(6,11,20,7,12,18)(13,16,15),"t20n284"],
[(1,12,16,20)(2,11,15,19)(3,17,9,7,4,18,10,8)(5,14)(6,13),
(1,10)(2,9)(3,11)(4,12)(5,7,6,8)(13,14)(15,19,16,20)(17,18),"t20n285"],
[(1,18,14,9,5)(2,17,13,10,6)(3,20,16,11,7)(4,19,15,12,8),
(1,18,16,10,6,4,20,15,11,8,3,17,13,12,5)(2,19,14,9,7),"t20n286"],
[(1,13,7,18,9,4,16,5,20,12)(2,14,6,19,10,3,15,8,17,11),
(1,7,15,17,10,4,8,13,19,9)(2,5,14,20,12,3,6,16,18,11),"t20n287"],
[(1,14,5,2,13,6)(3,16,11,4,15,12)(7,17)(8,18)(9,10)(19,20),
(1,7)(2,8)(3,16,10,4,15,9)(5,19,13,6,20,14)(11,17)(12,18),"t20n288"],
[(1,18,10,14)(2,17,9,13)(3,12,4,11)(5,7,15,19,6,8,16,20),
(1,7,11,3,5,9)(2,8,12,4,6,10)(13,20,15,14,19,16)(17,18),"t20n289"],
[(1,18,11,8,13,4,19,10,6,15,2,17,12,7,14,3,20,9,5,16),
(1,12,5,2,11,6)(3,10,7,4,9,8)(13,14)(15,16)(17,18)(19,20),"t20n290"],
[(1,19,13,3,2,20,14,4)(5,16,9,17)(6,15,10,18)(7,12)(8,11),
(1,15)(2,16)(3,18,4,17)(5,12,6,11)(7,8)(13,20,14,19),"t20n291"],
[(1,8,14,17)(2,7,13,16)(3,6,12,20)(4,10,11,19)(5,9,15,18),
(1,18,2,19,3,20,4,16,5,17)(6,15,10,11,9,12,8,13,7,14),
(1,14,4,15)(2,11,3,13)(5,12)(6,16,7,19)(8,17,10,18)(9,20),"t20n292"],
[(1,12,3,14)(2,13)(4,15,5,11)(6,19)(7,18,10,20)(8,17,9,16),
(1,7,5,6)(2,8,4,10)(3,9)(11,16)(12,17,15,20)(13,18,14,19),"t20n293"],
[(1,13,4,12,2,11,5,15,3,14)(6,9)(7,8)(16,19)(17,18),
(1,7,14,18,5,8,12,20,4,9,15,17,3,10,13,19,2,6,11,16),"t20n294"],
[(1,15,4,13)(2,11,3,12)(5,14)(6,20)(7,16,10,19)(8,17,9,18),
(1,6,3,9,5,7,2,10,4,8)(11,17,14,19,12,16,15,18,13,20),"t20n295"],
[(1,18,5,17,4,16,3,20,2,19)(6,12,8,14,10,11,7,13,9,15),
(1,16)(2,20)(3,19)(4,18)(5,17)(6,13,7,12,8,11,9,15,10,14),
(1,9,5,10,4,6,3,7,2,8)(11,20,13,18,15,16,12,19,14,17),"t20n296"],
[(1,3,5,2,4)(11,12,13,14,15)(16,19,17,20,18),
(1,7,15,19,4,8,13,18)(2,9,11,17,3,6,12,20)(5,10,14,16),"t20n297"],
[(1,16,2,17)(3,18,5,20)(4,19)(6,11,9,13)(7,15,8,14)(10,12),
(1,14)(2,15)(3,11)(4,12)(5,13)(6,18,10,19,9,20,8,16,7,17),"t20n298"],
[(1,20,13,9,5,18,11,8,4,16,14,7,3,19,12,6,2,17,15,10),
(1,6,4,9,2,7,5,10,3,8)(11,18,12,19,13,20,14,16,15,17),"t20n299"],
[(1,2)(3,5)(7,10)(8,9)(11,12)(13,15)(16,20)(17,19),
(1,17,13,8,3,16,11,7,5,20,14,6,2,19,12,10,4,18,15,9),"t20n300"]];
TRANSPROPERTIES[20]{[1..300]}:=
[
[20,0,1,-1,
"0040s0B20s0902s2A80s0B40"
,[-8020,-10],[-18020],[-56020],[4,[-239020,-3010,5]]],
[20,0,1,-1,
"0040s0B20s0902s2A80"
,[-8020,-10],[-18020],[-56020],[4,[-239020,-1010,4005]]],
[20,0,1,1,
"0040s1502s2A80"
,[-2010,7020],[18020],[56020]],
[20,0,1,1,
"0040s1502s2A80"
,[-10010,3020],[18020],[56020]],
[20,0,1,-1,
"0040s0B20s0902"
,[-6020,-4010],[-18020],[-56020]],
[40,0,1,-1,
"0140s0B20s0902s2A80s0B40"
,[-4020,-10,1040],[-2020,7040],[-8020,23040]],
[40,0,1,-1,
"00C0s0B20s0902s2A80"
,[-4020,-10,1040],[-20,8040],[-8020,23040]],
[40,0,1,1,
"0140s1502s2A80"
,[-2010,7020],[2020,7040],[8020,23040]],
[40,0,1,-1,
"0140s0B20s0902s2A80"
,[-2020,-10,1020,1040],[-2020,7040],[-8020,23040]],
[40,0,1,-1,
"00C0s0B20s0902s2A80s0B40"
,[-8020,-10],[-20,8040],[-8020,23040]],
[40,0,1,-1,
"0840s0B20s0902s28080080"
,[-8020,-10],[-8020,4040],[-16020,19040]],
[40,0,1,-1,
"0840s0B20s0902s28080080s0B40"
,[-4020,-10,1040],[-8020,4040],[-16020,19040]],
[40,0,1,1,
"0140s0B80s0902s2A80"
,[-2010,-1020,1020,1040],[2020,7040],[8020,23040]],
[60,0,1,1,
"0040s0202s1202s2A80s0904"
,[30,1020,1060],[3020,4060],[2020,17060]],
[60,0,1,1,
"0040s0340s1102"
,[10,60,3030],[20,5060],[2020,17060]],
[80,0,1,1,
"0140s0A0280s0902s2A80"
,[-2010,3040],[2020,3080],[20,3040,11080]],
[80,0,1,1,
"0540s1502"
,[80,1040,2010],[1080,2020,3040],[4020,7080,9040]],
[80,0,1,-1,
"0140s0A01A0s0902s2A80s0B40"
,[-20,-10,80,1040],[-20,40,3080],[-20,3040,11080]],
[80,0,1,-1,
"0140s0A0120s0902s2A80"
,[-20,-10,3040],[-20,40,3080],[-20,3040,11080]],
[80,0,1,-1,
"0140s0A02A0s0902s2A80s0B40"
,[-20,-10,80,1040],[-2020,3080],[-20,3040,11080]],
[80,0,1,-1,
"09C0s0B20s0902s28080080s0B40"
,[-4020,-10,1040],[-20,1080,4040],[-4020,7080,9040]],
[80,0,1,-1,
"09C0s0BA0s0902s28080080"
,[-4020,-10,80],[-20,1080,4040],[-4020,7080,9040]],
[80,0,1,1,
"01s1602"
,[1080,2010],[2020,3080],[20,7080,11040]],
[100,0,1,1,
"0040s1240s0202s2508s0480"
,[-1050,-10,3020],[1100,8020],[8100,11020]],
[100,0,1,-1,
"0040s0B20s0640s0202s2508s0480s0B40"
,[-3020,-100,-10],[-8020,-1100],[-11020,-8100]],
[100,0,1,-1,
"0040s0B20s0982s2A80"
,[-1020,-100,-50],[-3020,-2100],[-10100,-1020],[4,[-45100,-4025,-1050,-20]]],
[100,0,1,-1,
"0040s0B20s0640s0202"
,[-4010,-1020,-100],[-8020,-1100],[-11020,-8100]],
[100,0,1,1,
"0040s1240s0202s2A80"
,[-4010,-1050,1020],[1100,8020],[8100,11020]],
[100,0,1,-1,
"0040s0B20s0982s2A80s0B40"
,[-1020,-100,-50],[-3020,-2100],[-10100,-1020],[4,[-45100,-3050,-25,-20]]],
[120,0,1,-1,
"0240s0340s0720s0902s0902"
,[-60,-10,60,1030],[-3060,-20,120],[-7060,-2020,4120]],
[120,0,1,1,
"0140s0340s1102s0B80s1E80"
,[-1030,10,1060],[20,1060,1120],[20,40,4120,7060],[2302,[[-1030,15,5060],[15,6060]]]],
[120,0,1,1,
"0140s0340s0780s0902s0B80"
,[-1030,-60,-10,60],[20,1060,1120],[20,40,4120,7060]],
[120,0,1,-1,
"00C0s0202s0820s0902s2A80s0904"
,[-1060,-1020,30],[-60,1040,1120],[-5060,-2020,5120]],
[120,0,1,-1,
"0840s0202s0820s0902s28080080s09040040"
,[-1060,-1020,30],[-4060,-3020],[-13060,-2020,1120]],
[120,0,1,-1,
"00C0s0340s0720s0902s0A01"
,[-60,-10,1060],[-20,2120],[-1060,-20,40,7120]],
[120,0,1,1,
"0140s0340s1102s0B80s1E80"
,[-1030,10,1060],[20,1060,1120],[20,40,4120,7060],[2302,[[15,6060],[15,6060]]]],
[120,0,1,1,
"0140s0202s1202s0908s2080s0904"
,[30,1020,1060],[60,1040,1120],[1060,2020,7120]],
[160,0,1,-1,
"05C0s0A8120s0902"
,[10,20,80,1040],[-20,40,160,1080],[-20,1040,1160,8080]],
[160,0,1,1,
"01s0C80s0902"
,[1080,2010],[1160,2020],[20,13080]],
[160,0,1,1,
"0540s1502s2A80"
,[-1010,10,1080],[2020,3080],[20,3160,11040],
[4202,[[-1010,10,80,1040],[-1010,10,80,1040],[-1010,10,80,1\
040],[-1010,10,80,1040],[-1010,10,80,1040],
[-1010,10,80,1040],[-1010,10,1080],[-1010,10,1080],
[-1010,10,1080],[-1010,10,1080],[-1010,10,1080],
[-1010,10,1080],[-1010,10,1080],[-1010,10,1080],
[-1010,10,1080],[-1010,10,3040],[80,1040,2010],
[80,1040,2010]]]],
[160,0,1,1,
"1540s1502s2A80"
,[-1010,10,80,1040],[1080,2020,3040],[1160,3080,4020,9040]],
[160,0,1,-1,
"09C0s0A03A0s0902s28080080s0B40"
,[-20,-10,80,1040],[-20,40,160,1080],[-20,1040,3160,4080]],
[160,0,1,1,
"1140s0701s0380s0902"
,[-3020,-1010,10,1040],[2020,7040],[7040,7080,8020]],
[160,0,1,1,
"1140s1502s2A80"
,[-1010,10,3040],[2020,7040],[7040,7080,8020]],
[160,0,1,1,
"0140s0A0280s0902"
,[-1010,10,1080],[1160,2020],[20,3160,5080]],
[160,0,1,1,
"0540s1502s2A80"
,[-1010,10,1080],[2020,3080],[20,3160,11040],
[4202,[[-1010,10,80,1040],[-1010,10,80,1040],[-1010,10,80,1\
040],[-1010,10,80,1040],[-1010,10,80,1040],
[-1010,10,80,1040],[-1010,10,80,1040],
[-1010,10,80,1040],[-1010,10,1080],[-1010,10,1080],
[-1010,10,1080],[-1010,10,1080],[-1010,10,1080],
[-1010,10,1080],[-1010,10,1080],[-1010,10,1080],
[80,1040,2010],[80,1040,2010]]]],
[200,0,1,1,
"01s0C80s0640s0202"
,[-1050,-10,40,1020],[20,1100,3040],[1200,3020,3040,4100],[4,[-3050,-1010,25,3020,7040,11100,14200]]],
[200,0,1,-1,
"0840s0B20s0642s0202s2A80"
,[-4010,-1020,-100],[-8020,200],[-11020,-4100,1200]],
[200,0,1,-1,
"0140s0B20s0640s0202s2508s0480"
,[-1020,-100,-10,1020],[-1100,-20,3040],[-4100,-3020,1200,3040]],
[200,0,1,1,
"0140s0B80s0640s0202s2508s0480"
,[-1050,-1020,-10,1020],[20,1100,3040],[1200,3020,3040,4100],[4,[-3100,-3050,-3020,-1010,25,3020,5040,11100,12200]]],
[200,0,1,-1,
"0140s0B20s0982s2A80s0B40"
,[-1020,-100,-50],[-2100,1040],[-6100,-1020,1200]],
[200,0,1,1,
"0140s0B80s0640s0202s2508s0480"
,[-1050,-1020,-10,1020],[20,1100,3040],[1200,3020,3040,4100],[4,[-5100,-3050,-3020,-1010,25,3020,5040,11100,11200]]],
[200,0,1,-1,
"0840s0B20s0642s0202s240108s02080080s0B40"
,[-3020,-100,-10],[-8020,200],[-11020,-100,3200]],
[200,0,1,1,
"0140s0B80s0640s0202s2A80"
,[-1050,-10,40,1020],[20,1100,3040],[1200,3020,3040,4100],[4,[-3050,-1100,-1010,25,3020,7040,11100,13200]]],
[200,0,1,1,
"0140s0B80s0640s0202s2A80"
,[-1050,-10,40,1020],[20,1100,3040],[1200,3020,3040,4100],[4,[-3100,-3050,-1010,25,3020,7040,11100,12200]]],
[200,0,1,-1,
"01s0C80s0640s0202s1E80"
,[-1020,-100,-40,10],[-3040,-1100,-20],[-4100,-3040,-3020,-1200]],
[200,0,1,-1,
"00C0s0B20s0640s0202s2510s0480"
,[-1020,-100,-10,1020],[-20,200,3040],[-3020,-100,3040,3200]],
[200,0,1,-1,
"0140s0B20s0640s0202s2508s0480s0B40"
,[-3020,-100,-10],[-1100,-20,3040],[-4100,-3020,1200,3040]],
[200,0,1,1,
"0140s1240s0202s2508s0480"
,[-1050,-10,3020],[20,1100,3040],[1200,3020,3040,4100]],
[200,0,1,-1,
"00C0s0B20s0640s0202s2508s0480s0B40"
,[-3020,-100,-10],[-20,200,3040],[-4100,-3020,1200,3040]],
[240,0,1,-1,
"0140s0202s070120s0902s0908s2080s0904"
,[30,40,120],[-60,80,240],[-20,40,120,3240]],
[240,0,1,1,
"0540s0340s0780s0902s09040080s1E80"
,[-1030,-60,-10,60],[20,1060,1120],[20,40,240,3060,4120]],
[240,0,1,-1,
"0140s0240s0820s0902s0940s2080s0404s0640"
,[-20,-10,80,1040],[-2020,3080],[-20,40,240,2120,5080],[4,[-60,-20,5,1020,1040,9080,9120,10240]]],
[240,0,1,1,
"0140s0240s1202s0940s2080"
,[-2010,3040],[2020,3080],[20,40,240,2120,5080],[4,[5,4060,6020,8240,9080,11120]]],
[240,0,1,-1,
"03C0s0340s0720s0902s09020180s1E80"
,[-60,-10,1060],[-20,2120],[-1060,-20,40,240,5120]],
[240,0,1,-1,
"0140s0240s0820s0902s0940s2080s0404"
,[-20,-10,80,1040],[-2020,3080],[-20,40,240,2120,5080],[4,[-2060,-1020,-5,20,1040,8120,9080,10240]]],
[240,0,1,1,
"01s0302s1202s3404"
,[30,1080],[60,3080],[20,1080,1240,3120]],
[240,0,1,1,
"0140s0202s070280s0902s0908s2080s0408s0404"
,[30,40,120],[60,80,240],[20,40,120,3240]],
[240,0,1,-1,
"09C0s0202s0820s0902s0908s1E080080s09040040"
,[-1060,-1020,30],[-60,1040,1120],[-2020,-1060,7120]],
[240,0,1,1,
"0140s0240s0880s0902s0940s2080"
,[-2010,3040],[2020,3080],[20,40,240,2120,5080],[4,[-2020,-5,2060,3020,8240,9080,12120]]],
[320,0,1,1,
"1140s0705s0380s0902s2A80"
,[-2010,3040],[2020,3080],[20,1160,3040,7080]],
[320,0,1,1,
"0540s1502s2A80"
,[-2010,1080],[2020,3080],[20,1320,11040]],
[320,0,1,1,
"1140s0701s020280s0902s2A80"
,[-1010,10,3040],[2020,3080],[20,1160,3040,7080]],
[320,0,1,1,
"1540s1502s2A80"
,[-2010,1080],[2020,3080],[20,320,1160,11040]],
[320,0,1,-1,
"5540s0B20s0902s2A80s0B40"
,[-20,-10,3040],[-2020,7040],[-8020,7040,7080]],
[320,0,1,1,
"0540s0A0280s0902s2A80"
,[-2010,1080],[1160,2020],[20,1320,5080]],
[320,0,1,-1,
"0140s0A02A0s0902s1D04"
,[-20,-10,160],[-20,40,320],[-20,1320,2160]],
[320,0,1,-1,
"1440s070400010020s0902s1920"
,[-1040,-20,-10,80],[-20,40,3080],[-20,3040,3080,3160]],
[320,0,1,1,
"11s0801s020280s0902s1D02"
,[-1040,-1010,10,80],[2020,3080],[20,1160,3040,7080]],
[320,0,1,-1,
"01s0B0180s0902s1E80"
,[10,20,160],[-20,40,320],[-20,6160]],
[320,0,1,1,
"5540s0701s0380s0902s2A80"
,[-3020,-2010,1040],[2020,7040],[7040,7080,8020]],
[320,0,1,-1,
"1540s0702s020120s0902s2A80"
,[-20,-10,1080],[-20,40,160,1080],[-20,160,320,1040,6080]],
[320,0,1,1,
"15s080100010080s0902s1908"
,[-1040,-20,-10,80],[20,40,3080],[-1040,20,2080,3040,3160]],
[320,0,1,-1,
"5540s0410s058020s0902s2A80"
,[-4020,-10,1040],[-2020,7040],[-8020,7040,7080]],
[320,0,1,1,
"0540s0A0280s0902s2A80"
,[-1010,10,1080],[1160,2020],[20,3160,5080]],
[320,0,1,1,
"5540s1502s2A80"
,[-2010,3040],[2020,7040],[7040,7080,8020]],
[320,0,1,-1,
"15C0s0A8120s0902s2A80"
,[10,20,80,1040],[-20,40,160,1080],[-20,1040,2160,6080]],
[320,0,1,-1,
"1140s0704s03A0s0902s1E80"
,[-1040,-20,-10,80],[-2020,3080],[-20,1160,3040,7080]],
[360,0,1,1,
"01s0440s0780s0902"
,[10,1090],[20,1180],[3060,4180]],
[400,0,1,1,
"0140s0A0280s0640s0202s2508s0480"
,[-1050,-10,1040],[20,1080,1100],[100,400,1040,1080,1200],[4,[25,2020,2040,2080,3100,5400,7200]],[210,[27]],
[40252,[[[-2,8],[-2,16,3008],[-2,2016],[8,1016],[8,1016
]]]]],
[400,0,1,-1,
"0140s0A02A0s0640s0202s2508s0480s0B40"
,[-100,-10,1040],[-1100,-20,1080],[-100,400,1040,1080,1200],[4,[-1100,-1020,20,25,2040,2080,5400,8200]]],
[400,0,1,-1,
"09C0s0B20s0642s0202s2518s0480"
,[-1020,-100,-10,1020],[-20,200,3040],[-3020,-100,3040,3200]],
[400,0,1,-1,
"1140s0B20s0644s0202s2508s0480s0B40"
,[-3020,-100,-10],[-1100,-20,3040],[-4100,-3020,1200,3040]],
[400,0,1,-1,
"09C0s0BA0s0642s0202s2518s0480s0B40"
,[-3020,-100,-10],[-20,200,3040],[-3020,-100,3040,3200]],
[400,0,1,-1,
"0140s0A0120s0640s0202s2508s0480s0B40"
,[-100,-10,1040],[-20,200,1080],[-100,400,1040,1080,1200],[4,[-3100,-1020,20,25,2040,2080,5400,7200]]],
[400,0,1,1,
"1140s0B80s0644s0202s2A80"
,[-1050,-10,40,1020],[20,1100,3040],[1200,3020,3040,4100]],
[400,0,1,1,
"0140s0A0280s0640s0202s2508s0480"
,[-1050,-10,1040],[20,1080,1100],[100,400,1040,1080,1200],[4,[25,2020,2040,2080,3100,5400,7200]],[210,[27]],
[40252,[[[-2,8],[-2,1008,1016],[-2,1008,1016],[8,1016],[\
8,1016]]]]],
[400,0,1,1,
"0140s0A0280s0640s0202s2508s0480"
,[-1050,-10,1040],[20,1080,1100],[100,400,1040,1080,1200],[4,[-3100,25,2020,2040,2080,3100,5200,5400]]],
[400,0,1,1,
"0140s0A0280s0640s0202s2508s0480"
,[-1050,-10,1040],[20,1080,1100],[100,400,1040,1080,1200],[4,[25,2020,2040,2080,3100,5400,7200]],[210,[20]]],
[400,0,1,1,
"1140s0B80s0644s0202s2508s0480"
,[-1050,-1020,-10,1020],[20,1100,3040],[1200,3020,3040,4100]],
[400,0,1,-1,
"0140s0A0120s0640s0202s2508s0480"
,[-100,-10,1040],[-20,200,1080],[-100,400,1040,1080,1200],[4,[-5100,-1020,20,25,2040,2080,5400,6200]]],
[400,0,1,-1,
"0140s0A02A0s0982s2A80s0B40"
,[-100,-50,40],[-2100,80],[-100,40,400,2200]],
[400,0,1,-1,
"09C0s0BA0s0642s0202s240108s02080080"
,[-3020,-100,-10],[-20,200,3040],[-3020,-100,3040,3200]],
[400,0,1,-1,
"0140s0A0280s0640s0202s1E80s0608"
,[-100,-40,10,40],[-1100,-20,1080],[-100,400,1040,1080,1200],[4,[-1040,-1020,-200,-25,20,40,2080,6200,6400]]],
[400,0,1,-1,
"0140s0A02A0s0640s0202s2508s0480s0B40"
,[-100,-10,1040],[-1100,-20,1080],[-100,400,1040,1080,1200],[4,[-1020,20,25,2040,2080,5400,9200]]],
[400,0,1,-1,
"09C0s0B20s0642s0202s240108s02080080s0B40"
,[-3020,-100,-10],[-20,200,3040],[-3020,-100,3040,3200]],
[400,0,1,1,
"0140s0A0280s0982s1D02s0C80"
,[-2050,40],[80,2100],[40,100,400,2200]],
[400,0,1,-1,
"0140s0A01A0s0640s0202s2508s0480s0B40"
,[-100,-10,1040],[-20,200,1080],[-100,400,1040,1080,1200],[4,[-1100,-1020,20,25,2040,2080,5400,8200]]],
[400,0,1,-1,
"11s0C80s0644s0202s1E80"
,[-1020,-100,-40,10],[-3040,-1100,-20],[-4100,-3040,-3020,-1200]],
[400,0,1,1,
"0140s0A0280s0640s0202s1D02s0708s0480"
,[-1050,-40,10,40],[20,1080,1100],[100,400,1040,1080,1200],[4,[-2200,-1040,-1020,-25,20,40,2080,5400,6200]]],
[400,0,1,-1,
"0140s0A02A0s0640s0202s2508s0480"
,[-100,-10,1040],[-1100,-20,1080],[-100,400,1040,1080,1200],[4,[-3100,-1020,20,25,2040,2080,5400,7200]]],
[400,0,1,-1,
"0140s0A01A0s0640s0202s2508s0480"
,[-100,-10,1040],[-20,200,1080],[-100,400,1040,1080,1200],[4,[-3100,-1020,20,25,2040,2080,5400,7200]]],
[400,0,1,-1,
"0140s0A0280s0640s0202s1E80s0608s0480"
,[-100,-40,10,40],[-1100,-20,1080],[-100,400,1040,1080,1200],[4,[-2200,-1040,-1020,-25,20,40,2080,5400,6200]]],
[400,0,1,1,
"0140s0A0280s0640s0202s2508s0480"
,[-1050,-10,1040],[20,1080,1100],[100,400,1040,1080,1200],[4,[-1100,25,2020,2040,2080,3100,5400,6200]]],
[400,0,1,1,
"0140s0A0280s0640s0202s1D02s0708"
,[-1050,-40,10,40],[20,1080,1100],[100,400,1040,1080,1200],[4,[-1040,-1020,-200,-25,20,40,2080,6200,6400]]],
[480,0,1,-1,
"09C0s0240s08A0s09020001s0740s1E080080s0404"
,[-20,-10,80,1040],[-20,40,160,1080],[-20,40,120,1080,1160,1240]],
[480,0,1,1,
"1140s0244s070280s0902s0940s2080"
,[-2010,3040],[2020,3080],[20,40,240,2120,5080]],
[480,0,1,-1,
"0340s0240s070120s0902s0240s0640s2080s0404"
,[-20,-10,80,1040],[-20,40,160,1080],[-20,40,120,1080,1160,1240],[4,[-2060,-1020,-5,20,1040,2160,3080,3480,4120,4240]]],
[480,0,1,-1,
"09C0s0240s0820s09020001s0740s1E080080s0404s0640"
,[-20,-10,80,1040],[-20,40,160,1080],[-20,40,120,1080,1160,1240]],
[480,0,1,-1,
"0340s0240s0701A0s0902s0240s0640s2080s0404s0640"
,[-20,-10,80,1040],[-20,40,160,1080],[-20,40,120,1080,1160,1240],[4,[-1020,-60,-5,20,1040,2160,3080,3480,4240,5120]]],
[480,0,1,-1,
"09C0s0202s0703A0s0902s0908s1E080080s0408s04040040"
,[30,40,120],[-60,80,240],[-20,40,120,3240]],
[480,0,1,1,
"01s0302s0880s0902s0908s2A04"
,[30,1080],[60,1160],[20,1080,3240]],
[480,0,1,-1,
"1140s0244s0702A0s0902s0940s2080s0404s0640"
,[-20,-10,80,1040],[-2020,3080],[-20,40,240,2120,5080]],
[500,0,1,1,
"0040s1240s0282s2508s0480"
,[-2050,1020],[2100,3020],[500,1020,5100],[4,[-5050,-1250,20,125,5500,8100]]],
[500,0,1,-1,
"0040s0B20s0640s0282s2A80"
,[-1020,-100,-50],[-3020,-2100],[-5100,-1020,-500],[4,[-10100,-5500,-1050,-20,4125]]],
[500,0,1,-1,
"0040s0B20s0640s0282s2A80s0B40"
,[-1020,-100,-50],[-3020,-2100],[-5100,-1020,-500],[4,[-10100,-5500,-1250,-1050,-20,125]]],
[500,0,1,-1,
"0040s0B20s0640s0282s2508s0480s0B40"
,[-1020,-100,-50],[-3020,-2100],[-5100,-1020,-500],[4,[-10100,-6500,-1050,-125,-20]]],
[500,0,1,1,
"0040s1240s0282s2A80"
,[-2050,1020],[2100,3020],[500,1020,5100],[4,[-5050,20,4125,5500,8100]]],
[640,0,1,-1,
"0540s0A0380s0902s1E80s0B80"
,[10,20,160],[-20,40,320],[-20,1320,2160]],
[640,0,1,-1,
"5D40s0B20s0902s28080080s0B40"
,[-20,-10,3040],[-20,8040],[-8020,11080]],
[640,0,1,1,
"1140s0701s020280s0902s1D0As0C80"
,[-2010,1080],[1160,2020],[20,320,1080,3160]],
[640,0,1,-1,
"0540s0A02A0s0902s1D04s0C80"
,[-20,-10,160],[-20,40,320],[-20,1320,2160]],
[640,0,1,-1,
"1540s070500010020s0902s1920s1080"
,[-1040,-20,-10,80],[-20,40,3080],[-20,3040,3080,3160]],
[640,0,1,1,
"1540s070500010080s0902s1908s1080"
,[-1040,-20,-10,80],[20,40,3080],[20,3040,3080,3160]],
[640,0,1,-1,
"5540s0705s0202A0s0902s1E80s0B80"
,[-1040,-20,-10,80],[-2020,3080],[-20,1160,3040,7080]],
[640,0,1,-1,
"15C0s0702s028120s0902s2A80"
,[-20,-10,1080],[-20,40,1160],[-20,320,1160,5080]],
[640,0,1,1,
"1140s0701s020280s0902s1D02s0C80"
,[-1010,10,1080],[1160,2020],[20,320,1080,3160]],
[640,0,1,-1,
"55C0s0703s0201A0s0902s2A80s0B40"
,[-20,-10,3040],[-20,40,3080],[-20,1160,3040,7080]],
[640,0,1,-1,
"5D40s0410s0201s0280A0s0902s28080080"
,[-4020,-10,1040],[-20,8040],[-8020,11080]],
[640,0,1,1,
"5540s0705s020280s0902s1D02s0C80"
,[-2010,-1040,80],[2020,3080],[20,1160,3040,7080]],
[640,0,1,1,
"5540s0705s020280s0902s2A80"
,[-2010,3040],[2020,3080],[20,1160,3040,7080]],
[640,0,1,-1,
"55C0s0410s0202s028120s0902s2A80"
,[-20,-10,3040],[-20,40,3080],[-20,1160,3040,7080]],
[640,0,1,1,
"0540s0A0280s0902s2A80"
,[-2010,1080],[1160,2020],[20,1320,5080]],
[640,0,1,-1,
"5540s0410s0205s0282A0s0902s2A80s0B40"
,[-20,-10,3040],[-2020,3080],[-20,1160,3040,7080]],
[720,0,1,1,
"0140s0340s060280s0902s0B80"
,[-90,-10,90],[20,1180],[180,1120,1360]],
[720,0,1,1,
"0140s0340s0602s0A02s1D02s0C80"
,[-90,-10,90],[20,1180],[180,1120,1360]],
[720,0,1,1,
"0140s024240s1102s0948s2080s0904"
,[30,40,120],[60,80,240],[20,40,360,2240]],
[720,0,1,1,
"01s0440s060280s0902s1D02"
,[-1090,10],[20,1180],[180,1120,1360]],
[720,0,1,1,
"0540s0340s0780s0902s09040080"
,[-90,-10,90],[20,1180],[120,360,1060,2180]],
[720,0,1,-1,
"01s0440s060180s0902s1E80"
,[10,180],[-20,360],[-180,1120,1360]],
[720,0,1,1,
"0140s0340s060280s0902s0B80s1E80"
,[-1090,10],[20,1180],[180,1120,1360],[10202,[[[-3018,1009],[-1036,1009],[1,9]]]]],
[720,0,1,1,
"0140s0340s060280s0902s0B80s1E80"
,[-1090,10],[20,1180],[180,1120,1360],[10202,[[[-1018,-36,1009],[-1018,-36,1009],[1,9]]]]],
[800,0,1,-1,
"09C0s0A0380s0642s0202s1D0280s0618s0480"
,[-100,-40,10,40],[-20,200,1080],[-100,1040,1080,1400]],
[800,0,1,1,
"1140s0A0280s0644s0202s2508s0480"
,[-1050,-10,1040],[20,1080,1100],[100,400,1040,1080,1200]],
[800,0,1,-1,
"1140s0702s0380s0644s0202s1E80s0808s0280"
,[-100,-40,-10,40],[-20,200,1080],[-1200,-100,1040,1080,1200]],
[800,0,1,-1,
"09C0s0A03A0s0642s0202s2518s0480s0B40"
,[-100,-10,1040],[-20,200,1080],[-100,1040,1080,1400],[4,[-1020,20,25,1800,2040,2080,3400,5200]]],
[800,0,1,-1,
"1140s0A01A0s0644s0202s2508s0480s0B40"
,[-100,-10,1040],[-20,200,1080],[-100,400,1040,1080,1200]],
[800,0,1,-1,
"09C0s0A03A0s0642s0202s2518s0480"
,[-100,-10,1040],[-20,200,1080],[-100,1040,1080,1400],[4,[-3100,-1020,20,25,1800,2040,2080,3200,3400]]],
[800,0,1,-1,
"09C0s0A03A0s0642s0202s240108s02080080"
,[-100,-10,1040],[-20,200,1080],[-100,1040,1080,1400],[24,[20],[20],[20],[25],[40],[40],[40],[80],
[80],[80],[200],[200],[200],[200],[400],[400],
[1100],[1100],[1200],[1200],[1400],[1400]]],
[800,0,1,-1,
"09C0s0A03A0s0642s0202s2518s0480s0B40"
,[-100,-10,1040],[-20,200,1080],[-100,1040,1080,1400],[4,[-1100,-1020,20,25,1800,2040,2080,3400,4200]]],
[800,0,1,1,
"1140s0701s020280s0644s0202s1D02s0904s0280"
,[-1050,-40,-10,40],[20,1080,1100],[100,400,1040,1080,1200]],
[800,0,1,1,
"1140s0A0280s0644s0202s1D02s0708s0480"
,[-1050,-40,10,40],[20,1080,1100],[100,400,1040,1080,1200]],
[800,0,1,-1,
"09C0s0A03A0s0642s0202s240108s02080080s0B40"
,[-100,-10,1040],[-20,200,1080],[-100,1040,1080,1400],[24,[-1100],[20],[20],[20],[25],[40],[40],[40],
[80],[80],[80],[200],[200],[200],[400],[400],
[1100],[1100],[1200],[1200],[1400],[1400]]],
[800,0,1,-1,
"1140s0A0280s0644s0202s1E80s0608s0480"
,[-100,-40,10,40],[-1100,-20,1080],[-100,400,1040,1080,1200]],
[800,0,1,-1,
"1140s0A02A0s0644s0202s2508s0480s0B40"
,[-100,-10,1040],[-1100,-20,1080],[-100,400,1040,1080,1200]],
[800,0,1,-1,
"09C0s0A03A0s0642s0202s240108s02080080s0B40"
,[-100,-10,1040],[-20,200,1080],[-100,1040,1080,1400],[24,[-1100],[-1100],[20],[20],[20],[25],[40],[40],
[40],[80],[80],[80],[200],[200],[400],[400],
[1100],[1100],[1200],[1200],[1400],[1400]]],
[800,0,1,-1,
"1140s0722s0380s0644000102s1E80s0B80"
,[-1020,-100,-40,-10],[-3040,-20,200],[-3040,-3020,-100,400,1200]],
[800,0,1,-1,
"19C0s0BA0s0646s0202s240118s02080080s0B40"
,[-3020,-100,-10],[-20,200,3040],[-3020,-100,3040,3200]],
[800,0,1,-1,
"0340s0A03A0s0982s1D02s0A800080s0B40"
,[-100,-50,40],[-100,80,200],[-100,40,200,1400]],
[800,0,1,-1,
"09C0s0A0380s0642s0202s1D0280s050108s02080080"
,[-100,-40,10,40],[-20,200,1080],[-100,1040,1080,1400]],
[960,0,1,1,
"0540s0202s1202s2A80s0904"
,[30,1080],[60,3080],[20,1320,3120]],
[960,0,1,1,
"15s0440s03010001s0B02s0202s0604"
,[10,60,120],[20,120,240],[60,120,160,1040,2240]],
[960,0,1,-1,
"01s0302s070180s0902s0908s1480s1504"
,[30,160],[-60,320],[-20,160,1480]],
[960,0,1,-1,
"1BC0s0244s0703A0s0902000140s0640s1E080080s0404s0640"
,[-20,-10,80,1040],[-20,40,160,1080],[-20,40,120,1080,1160,1240]],
[960,0,1,1,
"01s0440s0780s0902"
,[30,160],[60,320],[20,480,3160]],
[960,0,1,1,
"0140s0340s060280s0902"
,[30,160],[60,320],[20,480,1320]],
[960,0,1,1,
"1440s0340s03040001s0B02s0202s0604"
,[10,60,120],[20,120,240],[60,80,120,160,2240]],
[1000,0,1,-1,
"00C0s0B20s0640s0282s2518s0480"
,[-1020,-100,-50],[-100,200,1040],[-1100,-1020,-500,1200]],
[1000,0,1,-1,
"00C0s0B20s0640s0282s2510s0480s0B40"
,[-1020,-100,-50],[-100,200,1040],[-1100,-1020,-500,1200]],
[1000,0,1,-1,
"0140s0B20s0640s0282s2508s0480s0B40"
,[-1020,-100,-50],[-2100,1040],[-5100,-1020,-500],[4,[-10100,-5500,-1250,-1050,-20,125]]],
[1000,0,1,-1,
"0840s0B20s0642s0282s2702080080"
,[-1020,-100,-50],[-3020,-100,200],[-1100,-1020,-500,1200],[4,[-4100,-1500,-1050,-20,2000,2200,4125]]],
[1000,0,1,1,
"0140s1240s0282s2508s0480"
,[-2050,1020],[1040,2100],[500,1020,5100],[4,[-5050,-1250,20,125,5500,8100]]],
[1000,0,1,1,
"0140s0B80s0640s0282s2508s0480"
,[-2050,1020],[1040,2100],[500,1020,5100],[4,[-5050,-500,-125,20,5500,8100]]],
[1000,0,1,-1,
"0140s0B20s0640s0282s2508s0480s0B40"
,[-1020,-100,-50],[-2100,1040],[-5100,-1020,-500],[4,[-10100,-6500,-1050,-125,-20]]],
[1000,0,1,-1,
"0840s0B20s0642s0282s25080002080080s0B40"
,[-1020,-100,-50],[-3020,-100,200],[-1100,-1020,-500,1200],[4,[-4100,-1500,-1250,-1050,-20,125,2000,2200]]],
[1280,0,1,-1,
"5540s0410s0205s0282A0s0902s1D0A80s0B80s0B40"
,[-20,-10,1080],[-2020,1160],[-20,320,1080,3160]],
[1280,0,1,-1,
"5DC0s0410s0207s0283A0s0902s28080080s0B40"
,[-20,-10,3040],[-20,40,3080],[-20,3040,3080,3160]],
[1280,0,1,1,
"15s0815s0D02"
,[10,20,1080],[20,40,3080],[20,1320,3040,3080]],
[1280,0,1,-1,
"5540s0410s0205s0283A0s0902s1D06s0C80s0B40"
,[-20,-10,1080],[-20,40,1160],[-20,320,1080,3160]],
[1280,0,1,1,
"1540s1502"
,[1080,2010],[2020,3080],[20,1320,11040]],
[1280,0,1,-1,
"5DC0s0707s0203A0s0902s1D0280s09080080"
,[-1040,-20,-10,80],[-20,40,3080],[-20,3040,3080,3160]],
[1280,0,1,-1,
"3FC0s0707000380A0s0902s1928s0E080080"
,[-1040,-20,-10,80],[-20,40,3080],[-20,3040,3080,3160]],
[1280,0,1,1,
"11s0855s020280s0902"
,[10,20,1080],[2020,3080],[20,1320,3040,3080]],
[1280,0,1,-1,
"0540s0A03A0s0902s1D0480s0B80"
,[-20,-10,160],[-20,40,320],[-20,640,2160]],
[1280,0,1,-1,
"5540s0705s0203A0s0902s1D0480s0B80"
,[-20,-10,1080],[-20,40,1160],[-20,320,1080,3160]],
[1280,0,1,1,
"5540s0705s020280s0902s1D0As0C80"
,[-2010,1080],[1160,2020],[20,320,1080,3160]],
[1440,0,1,-1,
"0140s0340s060380s0902s0B80s1280s0B80"
,[10,180],[-20,360],[-180,240,720]],
[1440,0,1,1,
"0540s0340s060280s0902s09040080s1E80"
,[-1090,-10],[20,1180],[180,1120,1360],[10202,[[[-1018,-1009,-36],[-1018,-1009,-36],[-9,1]]]]],
[1440,0,1,1,
"0540s0340s060280s0902s09040080s1E80"
,[-1090,-10],[20,1180],[180,1120,1360],[10202,[[[-3018,-1009],[-1036,-1009],[-9,1]]]]],
[1440,0,1,-1,
"0140s0340s0602A0s0902s0B80s1104s0C80s0B40"
,[-180,-10],[-20,360],[-180,240,720]],
[1440,0,1,1,
"0540s0340s060280s0902s0904s1302s0C80"
,[-1090,-10],[20,1180],[180,1120,1360]],
[1440,0,1,1,
"0140s0340s060280s0902s0B80s1102s0C80"
,[-1090,10],[20,1180],[180,240,720]],
[1440,0,1,-1,
"09C0s024240s0720s09020001s0748s1E080080s0404s04040040"
,[30,40,120],[-60,80,240],[-20,40,360,2240]],
[1440,0,1,1,
"0140s0340s060280s0902s0B80s1102s0C80"
,[-90,-10,90],[20,1180],[180,240,720]],
[1440,0,1,1,
"0140s0340s060280s0902s0B80s110As0C80"
,[-1090,-10],[20,1180],[180,240,720],[4,[-1360,45,60,180,240,1360,1440,1720]]],
[1440,0,1,1,
"1140s024640s060280s0902s0212s0648s2080s0408s0404"
,[30,40,120],[60,80,240],[20,40,360,2240]],
[1440,0,1,-1,
"0340s024240s060120s0902s0240s0648s2080s0404s0404"
,[30,40,120],[-60,80,240],[-20,40,360,2240]],
[1440,0,1,1,
"0140s0340s060280s0902s0B80s110As0C80"
,[-1090,-10],[20,1180],[180,240,720],[4,[45,60,180,240,1360,1440,2720]]],
[1500,0,1,1,
"0040s0202s0F40s0282s2A80s0904"
,[150,1020],[300,3020],[500,1020,1300]],
[1600,0,1,-1,
"1140s0722s0202A0s0644000102s1D02s07080008s0280s0B40"
,[-100,-40,-10,40],[-20,200,1080],[-100,1040,1080,1400]],
[1600,0,1,-1,
"1140s0745s0202A0s0644000202s1E80s06080004s0280s0B40"
,[-100,-40,-10,40],[-1100,-20,1080],[-100,400,1040,1080,1200]],
[1600,0,1,-1,
"1140s0722s020280s0644000102s1E80s06080008s0280"
,[-100,-40,-10,40],[-20,200,1080],[-100,1040,1080,1400]],
[1600,0,1,-1,
"19C0s0A0380s0646s0202s1D0280s050118s02080080"
,[-100,-40,10,40],[-20,200,1080],[-100,1040,1080,1400]],
[1600,0,1,-1,
"19C0s0A03A0s0646s0202s240118s02080080s0B40"
,[-100,-10,1040],[-20,200,1080],[-100,1040,1080,1400]],
[1600,0,1,1,
"1140s0745s020280s0644000202s1D02s07080004s0280"
,[-1050,-40,-10,40],[20,1080,1100],[100,400,1040,1080,1200]],
[1920,0,1,1,
"0540s0202s070280s0902s0908s2080s0904"
,[30,1080],[60,1160],[20,1240,1320]],
[1920,0,1,-1,
"03s0440s060180s0902s0902s1480"
,[30,160],[-60,320],[-20,320,480,1160]],
[1920,0,1,-1,
"16C0s0340s030400038020s0902s0202s060401s0E20s1620"
,[-120,-10,60],[-20,120,240],[-60,80,120,160,240,480]],
[1920,0,1,1,
"15s0440s030100050080s0902s0202s0604s0F08s1580"
,[-120,-10,60],[20,120,240],[-1040,60,120,160,240,480]],
[1920,0,1,1,
"0540s0340s060280s0902s0904s2080"
,[30,160],[60,320],[20,480,1320],
[10204,[[[-1012,48,1024],[1,4],[48,2024],[48,2024],[96,
1032],[96,1032],[1016,1048,1096],[1096,5048],
[1096,5048],[3048,7096],[3048,7096],[3048,7096]]]]],
[1920,0,1,-1,
"0340s0340s0603A0s0902s0902s1304"
,[30,160],[-60,320],[-20,480,1320]],
[1920,0,1,1,
"1540s0340s030100050080s0902s0202s06040080s0D08s1640"
,[-120,-10,60],[20,120,240],[60,80,120,160,240,480]],
[1920,0,1,-1,
"16C0s0340s0304000B0020s0902s0202s0606s0F20s1401"
,[-120,-10,60],[-20,120,240],[-60,80,120,160,240,480]],
[1920,0,1,1,
"1540s0340s03050001s0B02s0202s06040080s1E80"
,[10,60,120],[20,120,240],[60,80,120,160,2240],[4,[15,30,80,160,1480,1960,3240,5120]]],
[1920,0,1,1,
"1540s0340s03050001s0B02s0202s06040080s1E80"
,[10,60,120],[20,120,240],[60,80,120,160,2240],[4,[15,30,80,160,1480,1960,3240,5120]]],
[1920,0,1,1,
"1140s0244s0401s020280s0902s08014010s1202"
,[-1010,10,1080],[1160,2020],[20,480,1080,2160]],
[1920,0,1,1,
"0540s0340s060280s0902s0904s2080"
,[30,160],[60,320],[20,480,640]],
[1920,0,1,1,
"1540s0340s03050001s0B02s0B80s1E80"
,[10,60,120],[20,120,240],[60,80,120,160,2240],[4,[15,30,1040,1080,1480,1960,3120,4240]]],
[1920,0,1,1,
"0540s0340s060280s0902s0904s2080"
,[30,160],[60,320],[20,480,1320],
[10204,[[[-1012,48,1024],[1,4],[8,24,32,96],[8,24,32,96
],[48,2024],[48,2024],[1016,1048,1096],
[1096,5048],[1096,5048],[3048,7096],[3048,7096],
[9096]]]]],
[1920,0,1,1,
"1140s0244s0401s020280s0902s080140s2080"
,[-1010,10,1080],[1160,2020],[20,480,1080,2160]],
[2000,0,1,1,
"0140s0A0280s0640s0282s2508s0480"
,[-2050,40],[80,2100],[40,500,2200]],
[2000,0,1,-1,
"0140s0A02A0s0640s0282s2508s0480s0B40"
,[-100,-50,40],[-2100,80],[-500,40,2200]],
[2000,0,1,-1,
"09C0s0BA0s0642s0282s25180002080080s0B40"
,[-1020,-100,-50],[-100,200,1040],[-1100,-1020,-500,1200],[4,[-4100,-2500,-1050,-125,-20,2000,2200]]],
[2000,0,1,-1,
"09C0s0B20s0642s0282s25180002080080s0B40"
,[-1020,-100,-50],[-100,200,1040],[-1100,-1020,-500,1200],[4,[-4100,-1500,-1250,-1050,-20,125,2000,2200]]],
[2000,0,1,-1,
"0140s0A0120s0640s0282s2508s0480s0B40"
,[-100,-50,40],[-100,80,200],[-500,40,2200],[24,[-1250],[-1050],[-1050],[-1050],[20],[100],[125],
[1100],[1100],[1100],[1100],[1500],[1500],[1500]]],
[2000,0,1,-1,
"0140s0A01A0s0640s0282s2508s0480s0B40"
,[-100,-50,40],[-100,80,200],[-500,40,2200],[24,[-1050],[-1050],[-1050],[-500],[-125],[20],[100],
[1100],[1100],[1100],[1100],[1500],[1500],[1500]]],
[2500,0,1,-1,
"0040s0B30s0640s0282s2508s0480s0B40"
,[-1020,-100,-50],[-3020,-2100],[-5100,-1020,-500]],
[2500,0,1,1,
"0040s0B10s0640s0282s2508s0480"
,[-2050,1020],[2100,3020],[500,1020,5100]],
[2560,0,1,1,
"5540s0302A0s0214s0D02s2A80"
,[10,20,1080],[20,40,3080],[20,1320,3040,3080]],
[2560,0,1,1,
"1540s0701s020280s0902"
,[1080,2010],[1160,2020],[20,1320,5080]],
[2560,0,1,1,
"15s0815s020280s0902s182040"
,[10,20,1080],[20,40,1160],[20,1080,1160,1320]],
[2560,0,1,1,
"1540s0715s0380s0902s182040"
,[10,20,1080],[20,40,1160],[20,1080,1160,1320]],
[2560,0,1,-1,
"15C0s0702s028120s0902"
,[10,20,1080],[-20,40,1160],[-20,1320,5080]],
[2560,0,1,-1,
"1180s0757s020380s0902s1640s0220s0304"
,[10,20,1080],[-20,40,1160],[-20,1080,1160,1320]],
[2560,0,1,1,
"5540s0302A0s0401s0B02s2A80"
,[10,20,1080],[20,40,3080],[20,1320,2080,5040]],
[2560,0,1,1,
"11s0855s020280s0902s182008s030A"
,[10,20,1080],[1160,2020],[20,1080,1160,1320],
[10204,[[[-7008,2032],[-7008,2032],[-3008,16,32],[-3008,16,
32],[-3004,-1008,2016],[-3004,-1008,2016],
[-2004,8],[-2004,8],[-1002,1],[64,5016],
[64,5016],[128,3016,3032],[128,3016,3032],
[1032,1064,7016],[1032,1064,7016],[1128,11032],
[1128,11032],[3064,7128]]]]],
[2560,0,1,1,
"5540s0302A0s0205s0D02s2A80"
,[10,20,1080],[20,40,3080],[20,1320,3040,3080]],
[2560,0,1,-1,
"1580s0717s0281s0A02s19A0"
,[10,20,1080],[-20,40,1160],[-20,1080,1160,1320]],
[2560,0,1,1,
"1140s0755s020280s0902s182008s030A"
,[10,20,1080],[1160,2020],[20,1080,1160,1320],
[10204,[[[-7008,2032],[-7008,2032],[-3008,16,32],[-3008,16,
32],[-3004,-1008,2016],[-3004,-1008,2016],
[-2004,8],[-2004,8],[-1002,1],[64,5016],
[64,5016],[128,3016,3032],[128,3016,3032],
[1032,1064,7016],[1032,1064,7016],[1128,11032],
[1128,11032],[9128]]]]],
[2560,0,1,1,
"5540s0755s020280s0902s2A80"
,[10,20,1080],[2020,3080],[20,1320,3040,3080]],
[2560,0,1,-1,
"1F80s073Fs0D02s2808"
,[10,20,1080],[-20,40,3080],[-20,1320,3040,3080]],
[2560,0,1,1,
"1540s071500010080s0902s18A008"
,[-20,-10,1080],[20,40,1160],[20,1080,1160,1320]],
[2560,0,1,1,
"5540s0715s0D02s2A80"
,[10,20,1080],[20,40,3080],[20,1320,3040,3080]],
[2560,0,1,1,
"1540s0715s0D02s2A80"
,[-20,-10,1080],[20,40,3080],[20,1320,3040,3080],[4,[5,1020,1280,3040,4320,5080,7160]]],
[2560,0,1,1,
"5540s0701s0380s0902"
,[-4020,-10,1040],[20,8040],[8020,11080]],
[2560,0,1,-1,
"1D40s0708s0201s0A02s2808"
,[10,20,1080],[-20,40,3080],[-20,1320,3040,3080]],
[2560,0,1,1,
"1540s0755s020280s0902s2A80"
,[-20,-10,1080],[20,40,3080],[20,1320,3040,3080],[4,[5,1020,1280,3040,5080,5160,5320]]],
[2560,0,1,1,
"1140s0755s020280s0902s1680s0240s0302"
,[-20,-10,1080],[20,40,1160],[20,1080,1160,1320]],
[2560,0,1,-1,
"1B80s0755s020280s0902s2808"
,[10,20,1080],[-20,40,3080],[-20,1320,3040,3080]],
[2560,0,1,1,
"1540s0705s020280s0902"
,[-1010,10,1080],[1160,2020],[20,1320,5080]],
[2560,0,1,-1,
"5DC0s0410s0207s0283A0s0902s1D0E80s09080080s0B40"
,[-20,-10,1080],[-20,40,1160],[-20,1080,1160,1320]],
[2560,0,1,1,
"5540s0701s0380s0902s2A80"
,[-20,-10,3040],[20,8040],[8020,11080]],
[2560,0,1,1,
"5540s1502s2A80"
,[-1010,10,1080],[2020,3080],[20,1320,11040]],
[2880,0,1,-1,
"1BC0s024640s0603A0s0902000152s0648s1E080080s040Cs04040040"
,[30,40,120],[-60,80,240],[-20,40,360,2240]],
[2880,0,1,-1,
"0540s0340s0603A0s0902s09040080s110480s0B80s0B40"
,[-180,-10],[-20,360],[-180,240,720]],
[2880,0,1,1,
"0540s0340s060280s0902s09040080s110As0C80"
,[-1090,-10],[20,1180],[180,240,720]],
[2880,0,1,1,
"01s030240s0780s0902s0908s2A04"
,[30,160],[60,320],[20,160,1480]],
[3000,0,1,-1,
"0840s0202s0820s0642s0282s2702080080s0904"
,[-1020,150],[-3020,-300],[-1300,-1020,-500]],
[3000,0,1,1,
"0140s0202s0F40s0282s0908s1B08s0480s0904"
,[150,1020],[300,1040],[500,1020,1300]],
[3000,0,1,-1,
"00C0s0202s0820s0640s0282s2510s0480s09040040"
,[-1020,150],[-300,1040],[-1300,-1020,-500]],
[3200,0,1,-1,
"19C0s0767s0203A0s0646000302s1D0280s050118000C080080s0B40"
,[-100,-40,-10,40],[-20,200,1080],[-100,1040,1080,1400]],
[3420,1,2,1,
"0040s0340s1102s2404s0580s0B80"
,[190],[380],[1140]],
[3840,0,1,-1,
"0540s0340s05028380s0902s0904s1480s0B80s0520"
,[30,160],[-60,320],[-20,480,640]],
[3840,0,1,-1,
"0540s0340s050282A0s0902s0904s1304s0C80s0520"
,[30,160],[-60,320],[-20,480,640]],
[3840,0,1,1,
"5540s0254s0405s020280s0902s08054010s1202s0C80"
,[-2010,1080],[1160,2020],[20,480,1080,2160],[4,[-1040,-20,-5,20,640,1240,2080,2160,5480]]],
[3840,0,1,-1,
"0740s0340s0603A0s0902s0906s1304s0C80"
,[30,160],[-60,320],[-20,480,1320]],
[3840,0,1,1,
"5540s0254s0405s020280s0902s080540s2080"
,[-2010,1080],[1160,2020],[20,480,1080,2160],[4,[5,640,1020,1040,1240,2080,2160,5480]]],
[3840,0,1,-1,
"0740s0340s060380s0902s0906s1480s0B80"
,[30,160],[-60,320],[-20,480,1320]],
[3840,0,1,1,
"1140s0244s0411s020280s0902s08014010s1202s0C80"
,[-1010,10,1080],[1160,2020],[20,480,1080,2160]],
[3840,0,1,-1,
"3FC0s0340s0307000380s0A02s0204s06020080s1C080080"
,[10,60,120],[-20,120,240],[-60,80,120,160,2240]],
[3840,0,1,1,
"1540s0340s030500010080s0902s09040080s0D08s1080"
,[-120,-10,60],[20,120,240],[60,80,120,160,240,480],[4,[-1120,15,30,480,1040,1080,2960,3240]]],
[3840,0,1,-1,
"0540s0202s0703A0s0902s0908s130480s0B80s0904"
,[30,160],[-60,320],[-20,480,640]],
[3840,0,1,-1,
"5540s0254s0405s0282A0s0902s080540s1480s0B80s031004"
,[-20,-10,1080],[-2020,1160],[-20,480,1080,2160]],
[3840,0,1,1,
"0540s0340s060280s0902s0904s2080"
,[30,160],[60,320],[20,480,640],
[10204,[[[1,4],[48,2024],[48,2024],[48,2024],[192,1016,
1048],[192,1064],[1096,3192],[1192,5096],
[1192,5096],[1192,5096]]]]],
[3840,0,1,-1,
"17C0s0340s0305000B8020s0902s0202s06060180s0D20s1080s03010020"
,[-120,-10,60],[-20,120,240],[-60,80,120,160,240,480]],
[3840,0,1,1,
"1540s0202s1202s3404"
,[30,1080],[60,3080],[20,1320,3120]],
[3840,0,1,1,
"0540s0340s060280s0902s0904s2080"
,[30,160],[60,320],[20,480,640],
[10204,[[[1,4],[16,48,64,192],[48,2024],[48,2024],[48,
2024],[192,1016,1048],[1192,5096],[1192,5096],
[1192,5096],[4192]]]]],
[3840,0,1,1,
"1540s0244s044500100280s0902s08014010s120As0C80"
,[-2010,1080],[1160,2020],[20,480,1080,2160]],
[3840,0,1,1,
"1540s0340s030500050080s0902s0202s06040080s0D08s1080s048040"
,[-120,-10,60],[20,120,240],[60,80,120,160,240,480],[4,[-1120,15,30,80,160,480,1120,2240,2960]]],
[3840,0,1,-1,
"5540s02540010s0205s0282A0s0902s080540s2080s0404s0640"
,[-20,-10,1080],[-2020,1160],[-20,480,1080,2160]],
[3840,0,1,-1,
"17C0s0340s030F00010020s0902s09020180s0D20s1080"
,[-120,-10,60],[-20,120,240],[-60,80,120,160,240,480]],
[4000,0,1,-1,
"09C0s0A03A0s0642s0282s25180002080080s0B40"
,[-100,-50,40],[-100,80,200],[-500,40,200,400]],
[5000,0,1,1,
"01s0C90s0640s0282"
,[-2050,1020],[1040,2100],[500,1020,5100]],
[5000,0,1,-1,
"00C0s0B30s0640s0282s2518s0480s0B40"
,[-1020,-100,-50],[-100,200,1040],[-1100,-1020,-500,1200]],
[5000,0,1,1,
"0140s0B90s0640s0282s2508s0480"
,[-2050,1020],[1040,2100],[500,1020,5100]],
[5000,0,1,1,
"0140s0B10s0640s0282s2508s0480"
,[-2050,1020],[1040,2100],[500,1020,5100]],
[5000,0,1,-1,
"01s0C90s0640s0282s1E80"
,[-1020,-100,-50],[-2100,-1040],[-5100,-1020,-500]],
[5000,0,1,1,
"0140s0B90s0640s0282s2508s0480"
,[-2050,1020],[1040,2100],[500,1020,5100]],
[5000,0,1,-1,
"0840s0B3080s0542s0282s2401080002080080s0B40"
,[-1020,-100,-50],[-3020,-100,200],[-1100,-1020,-500,1200]],
[5000,0,1,-1,
"0140s0B30s0640s0282s2508s0480s0B40"
,[-1020,-100,-50],[-2100,1040],[-5100,-1020,-500]]];