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  trans16a.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 16
##

TRANSGRP[16]{[1..300]}:=
[[(1,7,14,4,9,15,5,11,2,8,13,3,10,16,6,12),"t16n1"],
[(1,9)(2,10)(3,11)(4,12)(5,14)(6,13)(7,16)(8,15),
(1,5)(2,6)(3,16)(4,15)(7,11)(8,12)(9,14)(10,13),
(1,8,6,11)(2,7,5,12)(3,9,15,13)(4,10,16,14),"t16n2"],
[(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),
(1,6)(2,5)(3,16)(4,15)(7,12)(8,11)(9,14)(10,13),
(1,10)(2,9)(3,11)(4,12)(5,14)(6,13)(7,15)(8,16),
(1,15)(2,16)(3,5)(4,6)(7,10)(8,9)(11,14)(12,13),"t16n3"],
[(1,7,5,11)(2,8,6,12)(3,9,15,13)(4,10,16,14),
(1,13,2,14)(3,8,4,7)(5,9,6,10)(11,15,12,16),"t16n4"],
[(1,15,13,12,9,7,5,3)(2,16,14,11,10,8,6,4),
(1,4,5,8,9,11,13,16)(2,3,6,7,10,12,14,15),"t16n5"],
[(1,3,5,8,10,12,14,15)(2,4,6,7,9,11,13,16),(1,9)(2,10)(3,4)(5,13)(6,14)
(7,8)(11,12)(15,16),"t16n6"],
[(1,15,2,16)(3,5,4,6)(7,10,8,9)(11,14,12,13),
(1,14,2,13)(3,8,4,7)(5,10,6,9)(11,16,12,15),(1,6)(2,5)(3,15)(4,16)(7,12)
(8,11)(9,14)(10,13),"t16n7"],
[(1,15,6,3)(2,16,5,4)(7,14,11,9)(8,13,12,10),
(1,8,6,12)(2,7,5,11)(3,9,15,14)(4,10,16,13),"t16n8"],
[(1,3)(2,4)(5,15)(6,16)(7,11)(8,12)(9,13)(10,14),
(1,11,16,14)(2,12,15,13)(3,10,6,7)(4,9,5,8),(1,13)(2,14)(3,8)(4,7)(5,10)
(6,9)(11,15)(12,16),"t16n9"],
[(1,3,6,15)(2,4,5,16)(7,9,11,14)(8,10,12,13),(1,9)(2,10)(3,4)(5,13)(6,14)
(7,8)(11,12)(15,16),"t16n10"],
[(1,5,10,14)(2,6,9,13)(3,7,12,16)(4,8,11,15),
(1,7,10,16)(2,8,9,15)(3,5,12,14)(4,6,11,13),(1,9)(2,10)(3,4)(5,13)(6,14)
(7,8)(11,12)(15,16),"t16n11"],
[(1,3,5,7,9,12,14,15)(2,4,6,8,10,11,13,16),(1,6)(2,5)(3,11)(4,12)(7,8)
(9,13)(10,14)(15,16),"t16n12"],
[(1,4,6,8,10,12,14,15)(2,3,5,7,9,11,13,16),(1,11)(2,12)(3,10)(4,9)(5,8)
(6,7)(13,15)(14,16),"t16n13"],
[(1,13,2,14)(3,12,4,11)(5,9,6,10)(7,15,8,16),
(1,12,2,11)(3,9,4,10)(5,8,6,7)(13,15,14,16),"t16n14"],
[(1,5,10,14)(2,6,9,13)(3,15,11,7)(4,16,12,8),
(1,8,5,12,10,16,14,4)(2,7,6,11,9,15,13,3),(1,2)(3,12)(4,11)(5,6)(7,16)
(8,15)(9,10)(13,14),"t16n15"],
[(1,14,6,9,2,13,5,10)(3,15,8,12,4,16,7,11),(1,6,2,5)(3,8,4,7)(9,14,10,13)
(11,16,12,15),(1,16)(2,15)(3,10)(4,9)(5,12)(6,11)(7,13)(8,14),"t16n16"],
[(1,14,10,6)(2,13,9,5)(3,7,11,15)(4,8,12,16),(1,2)(3,12)(4,11)(5,6)(7,16)
(8,15)(9,10)(13,14),(1,15,2,16)(3,5,4,6)(7,9,8,10)(11,13,12,14),"t16n17"]
,
[(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),(1,5,10,13)(2,6,9,14)(3,8,
11,15)(4,7,12,16),(1,9)(2,10)(3,4)(5,14)(6,13)(7,8)(11,12)(15,16),
(1,16)(2,15)(3,6)(4,5)(7,10)(8,9)(11,14)(12,13),"t16n18"],
[(1,13,16,11)(2,14,15,12)(3,7,5,9)(4,8,6,10),
(1,11,2,12)(3,9,4,10)(5,7,6,8)(13,15,14,16),
(1,6,2,5)(3,16,4,15)(7,11,8,12)(9,13,10,14),"t16n19"],
[(1,2)(3,4)(5,6)(7,8),(1,4,2,3)(5,7,6,8)(9,16,10,15)(11,13,12,14),
(1,7,2,8)(3,6,4,5)(9,12,10,11)(13,15,14,16),(1,16)(2,15)(3,9)(4,10)(5,11)
(6,12)(7,13)(8,14),"t16n20"],
[(1,5)(2,6)(3,16)(4,15)(7,11)(8,12)(9,13)(10,14),
(1,13,2,14)(3,7,4,8)(5,9,6,10)(11,15,12,16),
(1,11,16,13)(2,12,15,14)(3,9,5,7)(4,10,6,8),"t16n21"],
[(1,12,8,9,5,16,4,13,2,11,7,10,6,15,3,14),
(1,12,7,10,5,16,3,14,2,11,8,9,6,15,4,13),"t16n22"],
[(3,6)(4,5)(11,14)(12,13),(1,2)(3,5)(4,6)(7,9)(8,10)(11,12)(13,14)(15,16),
(1,5)(2,6)(3,15)(4,16)(7,12)(8,11)(9,14)(10,13),
(1,10)(2,9)(3,11)(4,12)(5,13)(6,14)(7,16)(8,15),
(1,16)(2,15)(3,6)(4,5)(7,10)(8,9)(11,14)(12,13),"t16n23"],
[(1,3,5,7,10,11,14,15)(2,4,6,8,9,12,13,16),(1,10)(2,9)(3,4)(5,14)(6,13)
(7,8)(11,12)(15,16),"t16n24"],
[(7,10)(8,9)(11,14)(12,13),(1,5)(2,6)(3,16)(4,15)(7,12)(8,11)(9,14)(10,13),
(1,9)(2,10)(3,12)(4,11)(5,14)(6,13)(7,16)(8,15),
(1,16)(2,15)(3,5)(4,6)(7,8)(9,10)(11,12)(13,14),"t16n25"],
[(1,5)(2,6)(3,4)(7,15)(8,16)(9,14)(10,13)(11,12),
(1,3,2,4)(5,16,6,15)(7,13,8,14)(9,11,10,12),"t16n26"],
[(1,4,2,3)(5,8,6,7)(9,11,10,12)(13,16,14,15),
(1,5,9,14)(2,6,10,13)(3,16,12,7)(4,15,11,8),(1,2)(3,12)(4,11)(7,15)(8,16)
(9,10),"t16n27"],
[(1,7,6,12,2,8,5,11)(3,10,15,13,4,9,16,14),(1,13,2,14)(3,15,4,16)(5,10,6,9)
(7,11,8,12),"t16n28"],
[(1,9)(2,10)(3,12)(4,11)(5,13)(6,14)(7,15)(8,16),(1,12,5,16,10,4,14,7)
(2,11,6,15,9,3,13,8),(1,12)(2,11)(3,9)(4,10)(5,7)(6,8)(13,15)(14,16),
"t16n29"],
[(1,14,16,12)(2,13,15,11)(3,8,5,10)(4,7,6,9),(1,5)(2,6)(3,16)(4,15)(7,14)
(8,13)(9,12)(10,11),(1,4,2,3)(5,16,6,15)(7,13,8,14)(9,11,10,12),"t16n30"]
,
[(1,8,16,10)(2,7,15,9)(3,14,5,12)(4,13,6,11),(1,6,2,5)(3,16,4,15)(7,11,8,
12)(9,13,10,14),(1,2)(3,4)(5,6)(7,9)(8,10)(11,13)(12,14)(15,16),"t16n31"]
,
[(1,15)(2,16)(3,5)(4,6)(7,8)(13,14),(1,14,15,12,2,13,16,11)(3,8,5,9,4,7,6,
10),(1,6)(2,5)(3,15)(4,16)(7,12)(8,11)(9,14)(10,13),"t16n32"],
[(1,9,3,7)(2,10,4,8)(5,13,15,11)(6,14,16,12),
(1,11,6,8)(2,12,5,7)(3,10,16,13)(4,9,15,14),"t16n33"],
[(1,15)(2,16)(3,5)(4,6)(7,8)(9,10),(1,11,16,13)(2,12,15,14)(3,9,5,7)
(4,10,6,8),(1,10,16,8)(2,9,15,7)(3,12,5,14)(4,11,6,13),"t16n34"],
[(1,4,6,7,9,12,14,15)(2,3,5,8,10,11,13,16),(1,9)(2,10)(5,13)(6,14),
(1,11)(2,12)(3,9)(4,10)(5,7)(6,8)(13,15)(14,16),"t16n35"],
[(1,2)(3,11)(4,12)(5,13)(6,14)(7,8)(9,10)(15,16),
(1,3,6,8,10,12,13,15)(2,4,5,7,9,11,14,16),"t16n36"],
[(1,7,15,10)(2,8,16,9)(3,14,6,11)(4,13,5,12),
(1,4,2,3)(5,16,6,15)(7,12,8,11)(9,14,10,13),(1,16)(2,15)(3,6)(4,5)(11,12)
(13,14),"t16n37"],
[(1,4,6,8,10,11,13,15)(2,3,5,7,9,12,14,16),(1,9)(2,10)(3,4)(5,13)(6,14)
(7,8)(11,12)(15,16),(1,12)(2,11)(3,10)(4,9)(5,8)(6,7)(13,16)(14,15),
"t16n38"],
[(1,9,16,8)(2,10,15,7)(3,11,6,14)(4,12,5,13),(1,2)(3,4)(5,6)(7,9)(8,10)
(11,13)(12,14)(15,16),(1,7,5,11)(2,8,6,12)(3,13,15,9)(4,14,16,10),"t16n39"]
,
[(1,11,3,13,2,12,4,14)(5,15,7,10,6,16,8,9),(1,15,4,10,2,16,3,9)(5,12,8,14,
6,11,7,13),"t16n40"],
[(3,12)(4,11)(5,13)(6,14)(7,8)(15,16),(1,3,6,7,9,11,14,15)(2,4,5,8,10,12,13,
16),"t16n41"],
[(1,3,5,15)(2,4,6,16)(7,8)(9,10)(11,12)(13,14),(1,10)(2,9)(3,12)(4,11)(5,14)
(6,13)(7,16)(8,15),"t16n42"],
[(1,3,2,4)(5,15,6,16)(7,12,8,11)(9,14,10,13),(1,16)(2,15)(3,5)(4,6)(7,8)
(9,10)(11,12)(13,14),(1,10,15,7)(2,9,16,8)(3,11,6,14)(4,12,5,13),"t16n43"]
,
[(1,14,2,13)(3,7,4,8)(5,9,6,10)(11,16,12,15),(1,7,16,9,2,8,15,10)(3,13,6,
12,4,14,5,11),(1,8)(2,7)(3,14)(4,13)(5,11)(6,12)(9,16)(10,15),"t16n44"],
[(1,4,2,3)(5,16,6,15)(7,11,8,12)(9,14,10,13),(1,11)(2,12)(3,9)(4,10)(5,8)
(6,7)(13,15)(14,16),(1,9)(2,10)(3,12)(4,11)(5,14)(6,13)(7,16)(8,15),
"t16n45"],
[(1,2)(7,10)(8,9)(11,13)(12,14)(15,16),(1,5)(2,6)(3,16)(4,15)(7,12)(8,11)
(9,14)(10,13),(1,9)(2,10)(3,12)(4,11)(5,14)(6,13)(7,16)(8,15),
(1,15)(2,16)(3,5)(4,6)(7,8)(9,10),"t16n46"],
[(1,13)(2,14)(3,12)(4,11)(5,9)(6,10)(7,15)(8,16),
(1,8,6,4,2,7,5,3)(9,16,14,12,10,15,13,11),
(1,10,2,9)(3,16,4,15)(5,13,6,14)(7,12,8,11),"t16n47"],
[(1,10)(2,9)(3,15)(4,16)(5,6)(7,11)(8,12)(13,14),
(1,16,14,12,9,7,6,3)(2,15,13,11,10,8,5,4),
(1,3,9,12)(2,4,10,11)(5,15,13,8)(6,16,14,7),"t16n48"],
[(1,4,6,8,2,3,5,7)(9,12,14,16,10,11,13,15),
(1,12,5,16,2,11,6,15)(3,10,8,13,4,9,7,14),"t16n49"],
[(9,10)(11,12)(13,14)(15,16),(1,8,2,7)(3,6,4,5)(9,12,10,11)(13,15,14,16),
(1,13)(2,14)(3,11)(4,12)(5,15)(6,16)(7,10)(8,9),"t16n50"],
[(1,12,15,13)(2,11,16,14)(3,9,6,8)(4,10,5,7),
(1,8,16,10)(2,7,15,9)(3,14,5,12)(4,13,6,11),(1,7)(2,8)(3,14)(4,13)(5,12)
(6,11)(9,16)(10,15),"t16n51"],
[(3,12)(4,11)(5,13)(6,14)(7,8)(15,16),(1,4,6,15)(2,3,5,16)(7,9,12,14)
(8,10,11,13),"t16n52"],
[(1,2)(3,11)(4,12)(5,13)(6,14)(7,8)(9,10)(15,16),(1,4,5,15)(2,3,6,16)
(7,9,12,13)(8,10,11,14),"t16n53"],
[(1,4)(2,3)(5,8)(6,7)(9,12)(10,11)(13,15)(14,16),
(1,7,2,8)(3,14,4,13)(5,11,6,12)(9,16,10,15),
(1,15,10,7)(2,16,9,8)(3,13,12,6)(4,14,11,5),"t16n54"],
[(1,15,2,16)(3,14,4,13)(5,12,6,11)(7,9,8,10),
(1,16,14,11,9,8,6,4,2,15,13,12,10,7,5,3),"t16n55"],
[(1,15,14,11,10,7,6,4,2,16,13,12,9,8,5,3),(1,8)(2,7)(3,5)(4,6)(9,15)
(10,16)(11,13)(12,14),"t16n56"],
[(1,11,2,12)(3,14,5,10,15,7,4,13,6,9,16,8),(1,7,3,11,5,9,2,8,4,12,6,10)
(13,16,14,15),"t16n57"],
[(1,12)(2,11)(3,7,15,9,6,13)(4,8,16,10,5,14),(1,7)(2,8)(3,14)(4,13)(5,11)
(6,12)(9,16)(10,15),(1,5,4)(2,6,3)(7,9,11)(8,10,12),"t16n58"],
[(1,2)(3,14,15,4,13,16)(5,8,12,6,7,11)(9,10),
(1,4,7,2,3,8)(5,6)(9,11,15,10,12,16)(13,14),"t16n59"],
[(1,13)(2,14)(3,8)(4,7)(5,10)(6,9)(11,15)(12,16),
(1,14,5,11,16,8,2,13,6,12,15,7)(3,10,4,9),"t16n60"],
[(1,9,16,12,4,13)(2,10,15,11,3,14)(5,8)(6,7),(1,11)(2,12)(3,13)(4,14)(5,7)
(6,8)(9,15)(10,16),(1,12)(2,11)(3,14,6,10,15,7)(4,13,5,9,16,8),"t16n61"]
,
[(1,8,3,13)(2,7,4,14)(5,10,16,12)(6,9,15,11),(1,15,4,2,16,3)(5,6)(7,12,10,
8,11,9)(13,14),"t16n62"],
[(1,9,2,10)(3,11,4,12)(5,14,6,13)(7,16,8,15),(1,2,4)(5,16,12)(6,14,9)
(7,13,11)(8,15,10),"t16n63"],
[(1,9)(2,10)(3,11)(4,12)(5,15)(6,16)(7,13)(8,14),
(1,12,15)(2,10,14)(3,9,16)(4,11,13)(5,7,6),(1,11)(2,12)(3,9)(4,10)(5,13)
(6,14)(7,15)(8,16),"t16n64"],
[(1,11,6,7,2,12,5,8)(3,14,15,9,4,13,16,10),
(1,14,15,12,2,13,16,11)(3,10,5,8,4,9,6,7),"t16n65"],
[(1,3,5,8,10,12,14,15)(2,4,6,7,9,11,13,16),
(1,5,16)(2,6,15)(7,10,14)(8,9,13),"t16n66"],
[(9,10)(11,12)(13,14)(15,16),(5,6)(7,8)(9,10)(11,12),
(1,4,2,3)(5,8,6,7)(9,11,10,12)(13,16,14,15),
(1,6,2,5)(3,7,4,8)(9,16,10,15)(11,13,12,14),(1,9)(2,10)(3,12)(4,11)(5,15)
(6,16)(7,14)(8,13),"t16n67"],
[(7,10)(8,9)(11,14)(12,13),(1,6,2,5)(3,16,4,15)(7,12,8,11)(9,14,10,13),
(1,10,2,9)(3,11,4,12)(5,14,6,13)(7,15,8,16),(1,16)(2,15)(7,10)(8,9),
(1,16)(2,15)(3,5)(4,6),"t16n68"],
[(7,10)(8,9)(11,14)(12,13),(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),
(1,5)(2,6)(3,16)(4,15)(7,12)(8,11)(9,14)(10,13),
(1,9)(2,10)(3,11)(4,12)(5,14)(6,13)(7,15)(8,16),(1,16)(2,15)(7,10)(8,9),
(1,16)(2,15)(3,5)(4,6),"t16n69"],
[(9,10)(11,12)(13,14)(15,16),(1,4,2,3)(5,8,6,7)(9,11,10,12)(13,16,14,15),
(1,6,3,7,2,5,4,8)(9,15,12,13,10,16,11,14),(1,9)(2,10)(3,12)(4,11)(5,15)
(6,16)(7,14)(8,13),"t16n70"],
[(1,16,4,13,2,15,3,14)(5,11,8,9,6,12,7,10),(1,2)(3,4)(5,6)(7,8),
(1,5,3,8,2,6,4,7)(9,15,11,14,10,16,12,13),"t16n71"],
[(1,9)(2,10)(3,11)(4,12)(5,14)(6,13)(7,16)(8,15),
(1,13)(2,14)(3,8)(4,7)(5,10)(6,9)(11,15)(12,16),
(1,15,14,4,10,7,6,11)(2,16,13,3,9,8,5,12),"t16n72"],
[(1,2)(7,10)(8,9)(11,13)(12,14)(15,16),(1,5)(2,6)(3,16)(4,15)(7,12)(8,11)
(9,14)(10,13),(1,10,2,9)(3,11,4,12)(5,14,6,13)(7,15,8,16),
(1,16)(2,15)(3,4)(5,6)(7,9)(8,10),"t16n73"],
[(1,4)(2,3)(5,8)(6,7)(9,12,10,11)(13,16,14,15),
(1,12,8,9)(2,11,7,10)(3,14,5,15)(4,13,6,16),"t16n74"],
[(1,13)(2,14)(3,11)(4,12)(5,9)(6,10)(7,8)(15,16),
(1,13)(2,14)(3,4)(5,9)(6,10)(7,15)(8,16)(11,12),
(1,11,2,12)(3,9,4,10)(5,7,6,8)(13,16,14,15),"t16n75"],
[(1,7,4,9)(2,8,3,10)(5,12,15,13)(6,11,16,14),
(1,13,16,8)(2,14,15,7)(3,11,5,9)(4,12,6,10),
(3,15)(4,16)(7,9,11,14)(8,10,12,13),"t16n76"],
[(1,12,2,11)(3,9,4,10)(5,16,13,8)(6,15,14,7),
(1,5,9,13)(2,6,10,14)(3,15,11,7)(4,16,12,8),"t16n77"],
[(1,12,2,11)(3,9,4,10)(5,8,13,16)(6,7,14,15),(1,9)(2,10)(3,4)(5,13)(6,14)
(7,8)(11,12)(15,16),(1,6)(2,5)(3,16)(4,15)(7,12)(8,11)(9,14)(10,13),
"t16n78"],
[(1,11,16,14)(2,12,15,13)(3,10,6,8)(4,9,5,7),(1,15)(2,16)(3,5)(4,6)(7,13)
(8,14)(9,12)(10,11),(1,7,6,12)(2,8,5,11)(3,13,16,9)(4,14,15,10),"t16n79"]
,[(1,2)(3,4)(5,6)(7,8),(1,5,7,3,2,6,8,4)(9,13,11,16,10,14,12,15),
(1,6)(2,5)(3,7)(4,8)(9,14)(10,13)(11,16)(12,15),
(1,16)(2,15)(3,10)(4,9)(5,12)(6,11)(7,13)(8,14),"t16n80"],
[(7,9)(8,10)(11,13)(12,14),(1,6,2,5)(3,16,4,15)(7,12,8,11)(9,14,10,13),
(1,10,2,9)(3,11,4,12)(5,14,6,13)(7,15,8,16),(1,16)(2,15)(7,10)(8,9),
(1,16)(2,15)(3,5)(4,6)(7,8)(9,10)(11,12)(13,14),"t16n81"],
[(1,2)(7,9)(8,10)(11,14)(12,13)(15,16),(1,6,2,5)(3,16,4,15)(7,12,8,11)
(9,14,10,13),(1,10,2,9)(3,11,4,12)(5,14,6,13)(7,15,8,16),
(1,16)(2,15)(7,10)(8,9),"t16n82"],
[(1,2)(7,9)(8,10)(11,14)(12,13)(15,16),(1,5)(2,6)(3,16)(4,15)(7,12)(8,11)
(9,14)(10,13),(1,10,2,9)(3,11,4,12)(5,14,6,13)(7,15,8,16),
(1,16)(2,15)(3,4)(5,6)(7,9)(8,10),"t16n83"],
[(1,4,13,7,10,11,5,15)(2,3,14,8,9,12,6,16),(1,10)(2,9)(5,6)(7,16)(8,15)
(13,14),"t16n84"],
[(1,9)(2,10)(3,11)(4,12),(1,4,5,8,10,11,13,16)(2,3,6,7,9,12,14,15),"t16n85"
],[(1,2)(3,4)(5,6)(7,8),(1,13,9,8,2,14,10,7)(3,16,12,5,4,15,11,6),
(1,12)(2,11)(3,10)(4,9)(5,14)(6,13)(7,15)(8,16),"t16n86"],
[(1,2)(7,10)(8,9)(11,13)(12,14)(15,16),(1,6,2,5)(3,16,4,15)(7,12,8,11)
(9,14,10,13),(1,10,2,9)(3,11,4,12)(5,14,6,13)(7,15,8,16),
(1,16)(2,15)(3,4)(5,6)(7,9)(8,10),"t16n87"],
[(1,5,2,6)(3,16,4,15)(7,12,8,11)(9,14,10,13),
(1,15,2,16)(3,13,11,5)(4,14,12,6)(7,10,8,9),"t16n88"],
[(3,16)(4,15)(5,13)(6,14)(7,12)(8,11),(1,9)(2,10)(3,11)(4,12)(5,14)(6,13)
(7,15)(8,16),(1,14)(2,13)(3,4)(5,9)(6,10)(7,15)(8,16)(11,12),
(1,15)(2,16)(3,14)(4,13)(5,11)(6,12)(7,9)(8,10),"t16n89"],
[(1,14,4,16,2,13,3,15)(5,9,8,12,6,10,7,11),
(1,9)(2,10)(3,12)(4,11)(5,16,6,15)(7,13,8,14),"t16n90"],
[(1,3)(2,4)(5,15,14,7)(6,16,13,8)(9,11)(10,12),(1,15,10,7)(2,16,9,8)(3,13)
(4,14)(5,11)(6,12),"t16n91"],
[(1,3)(2,4)(5,8,14,16)(6,7,13,15)(9,11)(10,12),(1,2)(3,11)(4,12)(5,13)(6,14)
(7,8)(9,10)(15,16),(1,14)(2,13)(3,8)(4,7)(5,10)(6,9)(11,15)(12,16),
"t16n92"],
[(1,9)(2,10)(3,4)(7,16)(8,15)(11,12),(1,7,6,12)(2,8,5,11)(3,9,15,13)
(4,10,16,14),(1,14)(2,13)(3,8)(4,7)(5,9)(6,10)(11,15)(12,16),"t16n93"],
[(1,11,14,15)(2,12,13,16)(3,6,8,10)(4,5,7,9),
(1,4,6,7)(2,3,5,8)(9,11,13,15)(10,12,14,16),
(1,7,14,4)(2,8,13,3)(5,11,9,15)(6,12,10,16),"t16n94"],
[(1,10,7,15,6,14,3,11)(2,9,8,16,5,13,4,12),(1,6)(2,5)(3,7)(4,8)(9,10)
(11,12)(13,14)(15,16),(1,2)(3,4)(5,6)(7,8),"t16n95"],
[(1,14,5,9)(2,13,6,10)(3,7,16,11)(4,8,15,12),(1,3,6,15)(2,4,5,16)(9,13)
(10,14),"t16n96"],
[(7,10)(8,9)(11,14)(12,13),(1,6,2,5)(3,16,4,15)(7,11,8,12)(9,13,10,14),
(1,10,2,9)(3,11,4,12)(5,14,6,13)(7,15,8,16),(1,16)(2,15)(7,10)(8,9),
(1,16)(2,15)(3,5)(4,6),"t16n97"],
[(1,2)(7,9)(8,10)(11,14)(12,13)(15,16),(1,6,2,5)(3,16,4,15)(7,11,8,12)
(9,13,10,14),(1,10,2,9)(3,11,4,12)(5,14,6,13)(7,15,8,16),
(1,16)(2,15)(3,4)(5,6)(7,9)(8,10),"t16n98"],
[(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),
(1,3,5,7,10,12,13,15)(2,4,6,8,9,11,14,16),(1,9)(2,10)(3,11)(4,12)(5,6)
(7,8)(13,14)(15,16),"t16n99"],
[(9,10)(11,12)(13,14)(15,16),(1,4,2,3)(5,8,6,7)(9,11,10,12)(13,16,14,15),
(1,5)(2,6)(3,7)(4,8)(9,13)(10,14)(11,16)(12,15),
(1,9)(2,10)(3,12)(4,11)(5,15)(6,16)(7,14)(8,13),"t16n100"],
[(1,14,2,13)(3,15,4,16)(5,11)(6,12)(7,10)(8,9),
(1,15)(2,16)(3,13)(4,14)(5,10,6,9)(7,12,8,11),
(1,5)(2,6)(3,8)(4,7)(9,16,10,15)(11,13,12,14),"t16n101"],
[(1,6,9,13)(2,5,10,14)(3,7,12,15)(4,8,11,16),
(1,16,10,7)(2,15,9,8)(3,5,4,6)(11,13,12,14),(1,3,9,12)(2,4,10,11)(5,7)
(6,8)(13,16)(14,15),"t16n102"],
[(1,13,4,15,2,14,3,16)(5,9,8,12,6,10,7,11),(1,3,2,4)(5,8,6,7)(9,12,10,11)
(13,16,14,15),(1,12,4,10,2,11,3,9)(5,14,8,16,6,13,7,15),"t16n103"],
[(1,16,9,7,4,14,12,5,2,15,10,8,3,13,11,6),
(1,14,10,5,4,15,11,8,2,13,9,6,3,16,12,7),"t16n104"],
[(7,10)(8,9)(11,13)(12,14),(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),
(1,5)(2,6)(3,15)(4,16),(1,10)(2,9)(3,12)(4,11)(5,14)(6,13)(7,15)(8,16),
(1,15)(2,16)(3,5)(4,6),"t16n105"],
[(1,12,2,11)(3,10,4,9)(5,14,6,13)(7,16,8,15),
(1,15,4,13,2,16,3,14)(5,10,8,12,6,9,7,11),
(1,16,3,13,2,15,4,14)(5,10,7,11,6,9,8,12),"t16n106"],
[(1,11,8,9,2,12,7,10)(3,13,5,15,4,14,6,16),
(1,14,8,16,2,13,7,15)(3,12,5,10,4,11,6,9),
(1,15,2,16)(3,10,4,9)(5,11,6,12)(7,13,8,14),"t16n107"],
[(1,13,4,15,2,14,3,16)(5,9,7,11,6,10,8,12),
(1,9,4,12,2,10,3,11)(5,15,7,13,6,16,8,14),"t16n108"],
[(7,10)(8,9)(11,14)(12,13),(1,5)(2,6)(3,16)(4,15)(7,12)(8,11)(9,14)(10,13),
(1,10,2,9)(3,11,4,12)(5,14,6,13)(7,15,8,16),(1,16)(2,15)(3,4)(5,6)(7,9)
(8,10),(1,16)(2,15)(3,5)(4,6),"t16n109"],
[(1,9,3,16,2,10,4,15)(5,13,7,11,6,14,8,12),
(1,11,8,9,2,12,7,10)(3,13,5,15,4,14,6,16),"t16n110"],
[(1,4,6,16)(2,3,5,15),(1,11,4,14,6,7,16,9)(2,12,3,13,5,8,15,10),
(1,10,6,13)(2,9,5,14)(3,11,15,7)(4,12,16,8),"t16n111"],
[(1,8,9,13)(2,7,10,14)(3,5,12,16)(4,6,11,15),(1,11)(2,12)(3,9)(4,10)(5,14)
(6,13)(7,15)(8,16),(1,11,2,12)(3,9,4,10)(5,14,6,13)(7,15,8,16),"t16n112"
],
[(1,9,5,13,2,10,6,14)(3,11,8,16,4,12,7,15),(1,7,5,3,2,8,6,4)(9,15,13,11,
10,16,14,12),(3,4)(7,8)(9,14,10,13)(11,16,12,15),"t16n113"],
[(1,16)(2,15)(3,9)(4,10)(5,12)(6,11)(7,14)(8,13),
(1,14)(2,13)(3,16)(4,15)(5,9)(6,10)(7,11)(8,12),
(1,10,6,13,2,9,5,14)(3,11,7,15,4,12,8,16),"t16n114"],
[(1,2)(7,10)(8,9)(11,13)(12,14)(15,16),(1,5)(2,6)(3,16)(4,15)(7,12)(8,11)
(9,14)(10,13),(1,10,2,9)(3,11,4,12)(5,14,6,13)(7,15,8,16),
(1,16)(2,15)(7,10)(8,9),"t16n115"],
[(1,2)(3,4)(5,6)(7,8),(1,4,2,3)(5,7,6,8)(9,16,10,15)(11,13,12,14),
(1,5,7,3,2,6,8,4)(9,13,11,16,10,14,12,15),
(1,14,2,13)(3,11,4,12)(5,10,6,9)(7,16,8,15),"t16n116"],
[(9,12)(10,11)(13,16)(14,15),(1,2)(3,4)(5,6)(7,8),(1,6,2,5)(3,8,4,7)(9,16,10,15)
(11,14,12,13),(1,15)(2,16)(3,10)(4,9)(5,11)(6,12)(7,13)(8,14),"t16n117"],
[(1,2)(3,4)(5,6)(7,8),(1,5)(2,6)(3,7)(4,8)(9,13)(10,14)(11,16)(12,15),
(1,6,2,5)(3,8,4,7)(9,16,10,15)(11,13,12,14),(1,16)(2,15)(3,9)(4,10)(5,11)
(6,12)(7,13)(8,14),"t16n118"],
[(7,10)(8,9)(11,14)(12,13),(1,5)(2,6)(3,16)(4,15)(7,12)(8,11)(9,14)(10,13),
(1,10,2,9)(3,11,4,12)(5,14,6,13)(7,15,8,16),(1,16)(2,15)(7,10)(8,9),
(1,16)(2,15)(3,5)(4,6),"t16n119"],
[(1,2)(3,4)(9,12,10,11)(13,15,14,16),(1,6)(2,5)(3,8)(4,7)(9,16,10,15)
(11,13,12,14),(1,16)(2,15)(3,9)(4,10)(5,11)(6,12)(7,13)(8,14),"t16n120"],
[(1,2)(3,4)(5,6)(7,14,12,10)(8,13,11,9)(15,16),
(1,12,15,10,6,7,3,14)(2,11,16,9,5,8,4,13),"t16n121"],
[(1,2)(3,4)(5,6)(7,8),(1,7,2,8)(3,6,4,5)(9,16,10,15)(11,13,12,14),
(1,9,7,11)(2,10,8,12)(3,15,6,13)(4,16,5,14),"t16n122"],
[(1,11)(2,12)(3,9)(4,10)(5,13,6,14)(7,15,8,16),
(1,7)(2,8)(3,6)(4,5)(9,16,10,15)(11,14,12,13),"t16n123"],
[(1,6,2,5)(3,7,4,8),(1,9,8,16,5,13,4,11,2,10,7,15,6,14,3,12),"t16n124"],
[(1,4,5,7,2,3,6,8)(9,15,14,11,10,16,13,12),
(1,10,3,11,6,13,7,16,2,9,4,12,5,14,8,15),"t16n125"],
[(1,13)(2,14)(3,4)(5,10)(6,9)(7,15)(8,16)(11,12),
(1,15,6,3,10,8,14,12)(2,16,5,4,9,7,13,11),(1,10)(2,9)(3,7)(4,8)(11,15)
(12,16),"t16n126"],
[(1,2)(3,4)(5,6)(7,15)(8,16)(9,10)(11,12)(13,14),(1,5)(2,6)(3,16)(4,15)
(7,12)(8,11)(9,13)(10,14),(1,16)(2,15)(3,5)(4,6)(7,10)(8,9)(11,13)(12,14),
"t16n127"],
[(1,2)(5,6)(7,15)(8,16)(9,10)(13,14),(1,5)(2,6)(3,15)(4,16)(7,11)(8,12)
(9,13)(10,14),(1,16)(2,15)(3,6)(4,5)(7,10)(8,9)(11,14)(12,13),"t16n128"],
[(1,9)(2,10)(3,12)(4,11)(5,13)(6,14)(7,16)(8,15),(1,4,6,15)(2,3,5,16)(9,14)
(10,13),(1,7,6,12)(2,8,5,11)(3,9,16,14)(4,10,15,13),"t16n129"],
[(1,2)(5,6)(7,15)(8,16)(9,10)(13,14),(1,4,5,16)(2,3,6,15)(7,10,11,14)
(8,9,12,13),"t16n130"],
[(1,16,8,14,2,15,7,13)(3,9,5,11,4,10,6,12),(1,3)(2,4)(5,8)(6,7)(9,11)
(10,12)(13,16)(14,15),"t16n131"],
[(1,15,5,12,2,16,6,11)(3,13,7,10,4,14,8,9),(1,6)(2,5)(3,4)(9,14)(10,13)
(15,16),(1,4,2,3)(5,7,6,8)(9,11,10,12)(13,16,14,15),"t16n132"],
[(1,10,5,13,2,9,6,14)(3,12,7,15,4,11,8,16),
(1,4,5,8,2,3,6,7)(9,11,14,16,10,12,13,15),
(1,15,6,11,2,16,5,12)(3,13,8,9,4,14,7,10),"t16n133"],
[(1,16)(2,15)(3,13)(4,14)(5,11)(6,12)(7,10)(8,9),
(1,5)(2,6)(7,8)(9,12)(10,11)(13,16)(14,15),
(1,16,2,15)(3,13,4,14)(5,11,6,12)(7,10,8,9),"t16n134"],
[(1,2)(7,10)(8,9)(11,13)(12,14)(15,16),(1,11,15,14)(2,12,16,13)(3,9,6,8)
(4,10,5,7),(1,11,3,9,2,12,4,10)(5,8,15,13,6,7,16,14),"t16n135"],
[(1,15,5,12,2,16,6,11)(3,13,8,9,4,14,7,10),(1,5)(2,6)(3,4)(9,16,10,15)
(11,14,12,13),"t16n136"],
[(9,12,10,11)(13,15,14,16),(1,6,2,5)(3,8,4,7)(9,16,10,15)(11,13,12,14),
(1,16)(2,15)(3,9)(4,10)(5,11)(6,12)(7,13)(8,14),"t16n137"],
[(1,12,7,9,2,11,8,10)(3,14,6,15,4,13,5,16),(1,9,2,10)(3,16,4,15)(5,13,6,14)
(7,11,8,12),(1,5)(2,6)(3,8)(4,7)(9,14)(10,13)(11,16)(12,15),"t16n138"],
[(1,15,4,9,2,16,3,10)(5,12,7,14,6,11,8,13),
(1,15,8,13,2,16,7,14)(3,10,5,12,4,9,6,11),"t16n139"],
[(1,4,2,3)(5,7,6,8)(9,11,10,12)(13,15,14,16),
(1,5,9,15)(2,6,10,16)(3,7,12,13)(4,8,11,14),"t16n140"],
[(1,3,6,8,10,12,13,15)(2,4,5,7,9,11,14,16),(1,9)(2,10)(3,4)(5,6)(7,15)
(8,16)(11,12)(13,14),(1,14)(2,13)(3,4)(5,10)(6,9)(7,15)(8,16)(11,12),
"t16n141"],
[(1,4,5,8,10,11,14,15)(2,3,6,7,9,12,13,16),(1,9)(2,10)(3,4)(5,6)(7,15)
(8,16)(11,12)(13,14),(1,14)(2,13)(5,10)(6,9)(7,16)(8,15),"t16n142"],
[(1,6,2,5)(3,4)(7,10,12,13)(8,9,11,14),(1,11)(2,12)(3,9)(4,10)(5,8)(6,7)
(13,16)(14,15),"t16n143"],
[(3,8)(4,7)(5,6)(9,12)(10,11)(13,16)(14,15),(1,11,7,10,5,16,3,14,2,12,8,9,6,
15,4,13),"t16n144"],
[(1,7,15,10)(2,8,16,9)(3,13,6,12)(4,14,5,11),(1,7,4,14,2,8,3,13)
(5,12,16,10,6,11,15,9),(1,13,5,10,2,14,6,9)(3,7,15,11,4,8,16,12),
"t16n145"],
[(1,9,5,14)(2,10,6,13)(3,11,16,8)(4,12,15,7),(1,10,15,7)(2,9,16,8)
(3,12,6,13)(4,11,5,14),(1,14,2,13)(3,7,4,8)(5,9,6,10)(11,16,12,15),
"t16n146"],
[(1,14,6,9)(2,13,5,10)(3,7,15,12)(4,8,16,11),(1,8,16,10)(2,7,15,9)
(3,13,5,11)(4,14,6,12),(1,3,2,4)(5,15,6,16)(7,11,8,12)(9,13,10,14),
"t16n147"],
[(1,15,6,4)(2,16,5,3)(7,11,8,12)(9,10),(1,12,6,7)(2,11,5,8)(3,9,15,13)
(4,10,16,14),"t16n148"],
[(1,8,16,10)(2,7,15,9)(3,13,6,11)(4,14,5,12),(1,15,6,4)(2,16,5,3)(7,11)
(8,12)(9,10)(13,14),(1,2)(3,15)(4,16)(5,6)(7,8)(9,13)(10,14)(11,12),
"t16n149"],
[(1,11,5,7)(2,12,6,8)(3,13,15,9)(4,14,16,10),(1,9,16,8)(2,10,15,7)
(3,11,6,14)(4,12,5,13),(1,7)(2,8)(3,13)(4,14)(5,11)(6,12)(9,15)(10,16),
"t16n150"],
[(1,15,8,13,2,16,7,14)(3,10,5,12,4,9,6,11),(1,11,4,13,2,12,3,14)
(5,16,7,10,6,15,8,9),"t16n151"],
[(1,4,6,7,9,12,14,15)(2,3,5,8,10,11,13,16),(1,9)(2,10)(7,15)(8,16),
(1,13)(2,14)(3,4)(5,9)(6,10)(7,16)(8,15)(11,12),"t16n152"],
[(5,6)(7,8)(9,13,10,14)(11,15,12,16),(1,16,7,13)(2,15,8,14)(3,9,6,12)
(4,10,5,11),"t16n153"],
[(1,11,8,10)(2,12,7,9)(3,13,5,16)(4,14,6,15),(1,8,2,7)(3,6,4,5)
(9,15,10,16)(11,13,12,14),"t16n154"],
[(1,16,13,11,9,7,5,4)(2,15,14,12,10,8,6,3),(1,11,2,12)(3,9,4,10)(5,7,6,8)
(13,16,14,15),(1,2)(3,12)(4,11)(5,6)(7,16)(8,15)(9,10)(13,14),"t16n155"],
[(1,9,2,10)(3,15,4,16)(5,14,6,13)(7,11,8,12),
(1,16,8,14,6,12,4,10,2,15,7,13,5,11,3,9),"t16n156"],
[(1,2)(7,15)(8,16)(9,10),(1,4,6,16)(2,3,5,15)(7,10,11,13)(8,9,12,14),
"t16n157"],
[(3,4)(7,15)(8,16)(11,12),(1,4,5,15)(2,3,6,16)(7,9,12,13)(8,10,11,14),
"t16n158"],
[(1,2)(3,4)(7,15)(8,16)(9,10)(11,12),(1,3,6,16)(2,4,5,15)(7,10,12,13)
(8,9,11,14),"t16n159"],
[(1,5,2,6)(3,7,4,8)(9,15)(10,16)(11,14)(12,13),(1,3,2,4)(5,13)(6,14)(7,16)
(8,15)(9,11,10,12),"t16n160"],
[(3,4)(7,10,12,14)(8,9,11,13)(15,16),(1,7,5,11)(2,8,6,12)(3,9,16,14)
(4,10,15,13),"t16n161"],
[(1,2)(3,4)(5,6)(7,8),(1,4,2,3)(5,7,6,8)(9,16,10,15)(11,13,12,14),
(1,6)(2,5)(3,8)(4,7)(9,16,10,15)(11,14,12,13),
(1,13,2,14)(3,12,4,11)(5,10,6,9)(7,16,8,15),"t16n162"],
[(1,2)(5,6)(7,14,11,9)(8,13,12,10),(1,7,4,9,5,12,15,13)(2,8,3,10,6,11,16,14
),"t16n163"],
[(1,2)(7,8)(9,12,10,11)(13,16,14,15),(1,15,2,16)(3,9,4,10)(5,11,6,12)
(7,14,8,13),(1,5)(2,6)(3,8)(4,7)(9,16)(10,15)(11,13)(12,14),"t16n164"],
[(1,3,2,4)(5,8,6,7)(9,16,10,15)(11,13,12,14),
(1,14,7,15)(2,13,8,16)(3,11,6,10)(4,12,5,9),
(1,2)(3,4)(9,11,10,12)(13,16,14,15),"t16n165"],
[(1,5,2,6)(3,4)(7,14,11,10)(8,13,12,9),
(1,10,4,8,2,9,3,7)(5,13,15,12,6,14,16,11),"t16n166"],
[(1,13,9,5)(2,14,10,6)(3,4)(7,8)(11,12)(15,16),
(1,12,14,15)(2,11,13,16)(3,5,8,10)(4,6,7,9),"t16n167"],
[(3,8,12,15)(4,7,11,16),(1,11,9,3)(2,12,10,4)(5,8,6,7)(13,16,14,15),
"t16n168"],
[(1,11,2,12)(3,10,4,9)(5,8,13,16)(6,7,14,15),(1,3,6,15)(2,4,5,16)
(7,9,11,14)(8,10,12,13),"t16n169"],
[(1,2)(3,4)(5,6)(7,15)(8,16)(9,10)(11,12)(13,14),
(1,3,5,16)(2,4,6,15)(7,10,12,14)(8,9,11,13),"t16n170"],
[(1,15,6,4,9,7,14,12)(2,16,5,3,10,8,13,11),(1,3,9,11)(2,4,10,12)(5,15)
(6,16)(7,13)(8,14),"t16n171"],
[(1,10)(2,9)(3,15,12,8)(4,16,11,7),(1,3,5,16,10,12,14,7)(2,4,6,15,9,11,13,8
),"t16n172"],
[(1,15)(2,16)(3,13)(4,14)(5,9,6,10)(7,11,8,12),(1,10)(2,9)(3,11)(4,12)
(5,16,6,15)(7,13,8,14),(1,4,2,3)(5,7,6,8)(9,12,10,11)(13,15,14,16),
"t16n173"],
[(1,8,9,14)(2,7,10,13)(3,5,12,15)(4,6,11,16),(1,5,2,6)(3,7,4,8)(9,16)
(10,15)(11,13)(12,14),"t16n174"],
[(1,4,2,3)(5,14)(6,13)(7,15)(8,16)(9,11,10,12),
(1,8,10,13,2,7,9,14)(3,5,11,16,4,6,12,15),(1,15)(2,16)(3,13)(4,14)(5,9)
(6,10)(7,12)(8,11),"t16n175"],
[(1,6,2,5)(7,14,11,10)(8,13,12,9)(15,16),(1,7,5,11)(2,8,6,12)(3,14,16,9)
(4,13,15,10),"t16n176"],
[(1,12)(2,11)(3,10)(4,9)(5,8,6,7)(13,16,14,15),(1,4,2,3)(5,14,6,13)
(7,15,8,16)(9,11,10,12),(1,15,2,16)(3,13,4,14)(5,10,6,9)(7,11,8,12),
"t16n177"],
[(1,15,7,5,12)(2,9,13,14,8)(3,6,10,11,4),(1,16)(2,3)(4,5)(6,7)(8,9)
(10,11)(12,13)(14,15),"t16n178"],
[(1,12,8,14,4,15)(2,11,7,13,3,16)(5,10)(6,9),(1,10,7,13,5,15,2,9,8,14,6,16)
(3,11,4,12),"t16n179"],
[(1,4,2,3)(5,8,6,7)(9,16,10,15)(11,14,12,13),(1,14)(2,13)(3,15,5,11,8,10)
(4,16,6,12,7,9),(1,2)(3,6,8,4,5,7)(9,16,12)(10,15,11),"t16n180"],
[(1,10,5,12,4,8,2,9,6,11,3,7)(13,16,14,15),(1,11,2,12)(3,9,4,10)(5,13,6,14)
(7,16,8,15),"t16n181"],
[(1,8,16,10)(2,7,15,9)(3,11,5,14)(4,12,6,13),(1,11)(2,12)(3,8,15,10,5,13)
(4,7,16,9,6,14),(1,7)(2,8)(3,10)(4,9)(5,12)(6,11)(13,15)(14,16),
"t16n182"],
[(1,8,11,4,6,12)(2,5,9,3,7,10)(13,14,15),(1,3,2)(5,11,14)(6,9,15)(7,10,13)
(8,12,16),"t16n183"],
[(1,13,6)(2,16,8)(3,14,7)(4,15,5)(9,11,12),(1,12,6,4,11,8)(2,10,7,3,9,5)
(13,15,14),"t16n184"],
[(1,2,3)(5,13,9,6,16,11)(7,14,12,8,15,10),(1,9,8,4,10,6)(2,11,5,3,12,7)
(13,14,16),"t16n185"],
[(1,13,2,14)(3,10,4,9)(5,7,6,8)(11,15,12,16),(1,5)(2,6)(3,4)(7,12)(8,11)
(15,16),(1,3,16)(2,4,15)(9,14,12)(10,13,11),"t16n186"],
[(1,16,2,15)(3,5,4,6)(7,9,8,10)(11,13,12,14),
(1,3,6,16,2,4,5,15)(7,13,11,9,8,14,12,10),
(1,14,3,12,16,9)(2,13,4,11,15,10)(5,8)(6,7),"t16n187"],
[(1,8,12,14,10,16,3,6)(2,7,11,13,9,15,4,5),
(1,3,15,5,10,12,7,13)(2,4,16,6,9,11,8,14),"t16n188"],
[(1,10,16,7,2,9,15,8)(3,14,6,12,4,13,5,11),(1,3)(2,4)(9,11)(10,12)(13,14)
(15,16),"t16n189"],
[(1,14)(2,13)(3,10)(4,9)(5,8)(6,7)(11,15)(12,16),(1,16,5,3,2,15,6,4)
(7,9,11,14,8,10,12,13),"t16n190"],
[(1,8)(2,7)(3,10)(4,9)(5,11)(6,12)(13,15)(14,16),
(1,3,16,6)(2,4,15,5)(7,12,9,14)(8,11,10,13),"t16n191"],
[(1,5,7,2,6,8)(3,4)(9,12,16)(10,11,15),
(1,9,4,16,2,10,3,15)(5,12,7,13,6,11,8,14),"t16n192"],
[(1,14,8,15)(2,13,7,16)(3,9,5,12)(4,10,6,11),
(1,8,4)(2,7,3)(9,14,12,10,13,11)(15,16),"t16n193"],
[(1,13,9)(2,16,11)(3,14,12)(4,15,10)(5,8,6),(1,15,11,7)(2,13,12,5)(3,16,9,8)
(4,14,10,6),"t16n194"],
[(1,4,2,3)(5,7,6,8)(9,15,10,16)(11,14,12,13),(1,11,6)(2,10,8)(3,12,7)
(4,9,5)(13,15,16),"t16n195"],
[(1,10)(2,9)(3,12)(4,11)(5,13)(6,14)(7,15)(8,16),
(1,10,11,16,3,6,8,2,9,12,15,4,5,7)(13,14),"t16n196"],
[(9,10)(11,12)(13,14)(15,16),(5,6)(7,8)(13,14)(15,16),(3,4)(7,8)(11,12)(15,16),
(1,4,2,3)(5,7,6,8)(9,12,10,11)(13,16,14,15),(1,5)(2,6)(3,8)(4,7)(9,14)
(10,13)(11,16)(12,15),(1,9)(2,10)(3,12)(4,11)(5,14)(6,13)(7,16)(8,15),
"t16n197"],
[(9,12)(10,11)(13,16)(14,15),(1,2)(3,4)(5,6)(7,8),(1,6)(2,5)(3,7)(4,8)(9,14)
(10,13)(11,16)(12,15),(1,8)(2,7)(13,16)(14,15),
(1,14,2,13)(3,12,4,11)(5,9,6,10)(7,16,8,15),"t16n198"],
[(9,10)(11,12)(13,14)(15,16),(1,5,4,7)(2,6,3,8)(9,13,12,15)(10,14,11,16),
(1,6)(2,5)(3,8)(4,7)(9,15)(10,16)(11,13)(12,14),
(1,14)(2,13)(3,16)(4,15)(5,9,6,10)(7,11,8,12),"t16n199"],
[(9,10)(11,12)(13,14)(15,16),(3,4)(7,8)(11,12)(15,16),
(1,4,2,3)(5,7,6,8)(9,12,10,11)(13,16,14,15),(1,5)(2,6)(3,8)(4,7)(9,14)
(10,13)(11,16)(12,15),(1,9,6,13,2,10,5,14)(3,12,7,16,4,11,8,15),"t16n200"],
[(9,12)(10,11)(13,16)(14,15),(1,2)(3,4)(5,6)(7,8),(1,3,2,4)(5,7,6,8)(9,16,10,15)
(11,14,12,13),(1,8)(2,7)(13,16)(14,15),(1,15)(2,16)(3,10)(4,9)(5,11)(6,12)
(7,13)(8,14),"t16n201"],
[(9,10)(11,12)(13,14)(15,16),(3,4)(7,8)(11,12)(15,16),
(1,3)(2,4)(5,7)(6,8)(9,12)(10,11)(13,16)(14,15),
(1,6)(2,5)(3,8)(4,7)(9,14,10,13)(11,16,12,15),
(1,10)(2,9)(3,11)(4,12)(5,13,6,14)(7,16,8,15),"t16n202"],
[(9,10)(11,12)(13,14)(15,16),(5,6)(7,8)(13,14)(15,16),
(1,3)(2,4)(5,7)(6,8)(9,12)(10,11)(13,16)(14,15),
(1,5)(2,6)(3,7)(4,8)(9,13)(10,14)(11,15)(12,16),
(1,10,5,14)(2,9,6,13)(3,11,8,16)(4,12,7,15),"t16n203"],
[(9,10)(11,12)(13,14)(15,16),(5,6)(7,8)(9,10)(11,12),
(1,4)(2,3)(7,8)(9,10)(13,15)(14,16),(1,9)(2,10)(3,12)(4,11)(5,15)(6,16)
(7,14)(8,13),(1,14,2,13)(3,16,4,15)(5,10,6,9)(7,11,8,12),"t16n204"],
[(9,10)(11,12)(13,14)(15,16),(5,7,6,8)(9,11,10,12),
(1,6,3,7,2,5,4,8)(9,15,12,13,10,16,11,14),(1,9)(2,10)(3,12)(4,11)(5,15)
(6,16)(7,14)(8,13),"t16n205"],
[(1,2)(3,4)(5,6)(7,8),(1,6)(2,5)(3,7)(4,8)(9,14)(10,13)(11,16)(12,15),
(1,6,2,5)(3,8,4,7)(9,16,10,15)(11,14,12,13),(1,8)(2,7)(13,16)(14,15),
(1,15)(2,16)(3,10)(4,9)(5,11)(6,12)(7,13)(8,14),"t16n206"],
[(9,10)(11,12)(13,14)(15,16),(1,3,2,4)(9,10)(11,12)(13,16,14,15),
(1,12,2,11)(3,10,4,9)(5,14,6,13)(7,16,8,15),
(1,14)(2,13)(3,16)(4,15)(5,10,6,9)(7,11,8,12),"t16n207"],
[(1,11,9,3)(2,12,10,4)(5,15,6,16)(7,13,8,14),
(1,8,9,16)(2,7,10,15)(3,13,4,14)(5,11,6,12),
(1,15,9,7)(2,16,10,8)(3,13,11,6)(4,14,12,5),"t16n208"],
[(1,15)(2,16)(3,13)(4,14)(5,8,6,7)(9,11,10,12),
(1,13,2,14)(3,16,4,15)(5,12,6,11)(7,9,8,10),
(1,7,15,12,2,8,16,11)(3,5,13,10,4,6,14,9),"t16n209"],
[(1,16,9,8)(2,15,10,7)(3,14,11,5)(4,13,12,6),
(1,4,9,12)(2,3,10,11)(5,15,14,7)(6,16,13,8),(1,7,10,16)(2,8,9,15)(3,5)
(4,6)(11,14)(12,13),"t16n210"],
[(1,9,2,10)(3,11,4,12)(5,13,6,14)(7,16,8,15),(1,4,6,7)(2,3,5,8)(9,14)
(10,13)(11,15)(12,16),(1,6)(2,5)(3,8)(4,7)(9,13)(10,14)(11,16)(12,15),
"t16n211"],
[(1,5)(2,6)(3,7)(4,8)(9,14,10,13)(11,15,12,16),(1,15,2,16)(3,14,4,13)(5,12)
(6,11)(7,9)(8,10),(1,8,2,7)(3,6,4,5)(9,15,10,16)(11,13,12,14),"t16n212"
],
[(1,10,3,12,2,9,4,11)(5,13,8,15,6,14,7,16),(1,12,15,7)(2,11,16,8)(3,10,13,5)
(4,9,14,6),(1,10,3,12,2,9,4,11)(5,14,8,16,6,13,7,15),"t16n213"],
[(1,2)(3,4)(5,6)(7,8),(1,3)(2,4)(5,8)(6,7)(9,14)(10,13)(11,16)(12,15),
(1,4,2,3)(5,7,6,8)(9,12,10,11)(13,15,14,16),
(1,12,2,11)(3,13,4,14)(5,16,6,15)(7,10,8,9),"t16n214"],
[(1,15,3,13,2,16,4,14)(5,12,8,10,6,11,7,9),
(1,14,4,16,2,13,3,15)(5,11,7,10,6,12,8,9),(1,8,2,7)(3,6,4,5)(9,15)
(10,16)(11,14)(12,13),"t16n215"],
[(1,10,16,6,2,9,15,5)(3,11,14,7,4,12,13,8),(1,13,2,14)(3,16,4,15)(5,12,6,11)
(7,9,8,10),(1,15,2,16)(3,14,4,13)(5,7)(6,8)(9,11)(10,12),"t16n216"],
[(1,4,2,3)(5,7,14,15)(6,8,13,16)(9,12,10,11),(3,12)(4,11)(5,14)(6,13)(7,15)
(8,16),(1,14,10,6)(2,13,9,5)(3,15,12,8)(4,16,11,7),"t16n217"],
[(1,11,7,9)(2,12,8,10)(3,13,6,15)(4,14,5,16),
(1,5,2,6)(3,8,4,7)(9,11,10,12)(13,16,14,15),
(1,16,3,9)(2,15,4,10)(5,12,8,13)(6,11,7,14),"t16n218"],
[(3,4)(5,7,6,8)(9,10)(13,16,14,15),(1,6,9,15,2,5,10,16)(3,7,12,14,4,8,11,13
),(1,2)(3,4)(5,6)(7,8),"t16n219"],
[(1,13,12,8,3,15,9,5,2,14,11,7,4,16,10,6),
(1,16,9,7,4,14,12,5,2,15,10,8,3,13,11,6),
(1,5,9,15,4,8,12,13,2,6,10,16,3,7,11,14),"t16n220"],
[(1,15,4,10,2,16,3,9)(5,11,8,13,6,12,7,14),(1,2)(7,8)(9,15)(10,16)(11,13)
(12,14),(1,10,8,11)(2,9,7,12)(3,16,5,13)(4,15,6,14),"t16n221"],
[(1,7,15,11,2,8,16,12)(3,6,13,10,4,5,14,9),(1,8,3,6)(2,7,4,5)(9,15,11,13)
(10,16,12,14),(1,15,2,16)(3,14,4,13)(5,8,6,7)(9,12,10,11),"t16n222"],
[(9,10)(11,12)(13,14)(15,16),(1,4,2,3)(5,8,6,7)(9,11,10,12)(13,16,14,15),
(1,12,2,11)(3,10,4,9)(5,14,6,13)(7,16,8,15),(1,15,2,16)(3,13,4,14)(9,10)
(11,12),"t16n223"],
[(1,4)(2,3)(5,7)(6,8)(9,12)(10,11)(13,15)(14,16),(1,11,16,7)(2,12,15,8)
(3,10,14,6)(4,9,13,5),(1,16,2,15)(3,13,4,14)(5,7,6,8)(9,12,10,11),
"t16n224"],
[(1,2)(3,4)(9,11,10,12)(13,16,14,15),(1,12,3,14,2,11,4,13)(5,16,7,9,6,15,8,10
),(1,4,2,3)(5,8,6,7),"t16n225"],
[(1,10,15,5,2,9,16,6)(3,11,13,8,4,12,14,7),(1,16,2,15)(3,13,4,14)(5,8)
(6,7)(9,11)(10,12),(1,9,3,11,2,10,4,12)(5,14,8,16,6,13,7,15),"t16n226"],
[(5,14)(6,13)(7,16)(8,15),(1,5)(2,6)(3,4)(7,8)(9,13)(10,14)(11,12)(15,16),
(1,16,2,15)(3,6,12,14)(4,5,11,13)(7,9,8,10),"t16n227"],
[(1,9)(2,10)(3,4)(5,6)(11,12)(13,14),
(1,12,6,8,10,4,14,16)(2,11,5,7,9,3,13,15),"t16n228"],
[(1,9,3,12)(2,10,4,11)(5,13,7,15)(6,14,8,16),
(1,8,4,6)(2,7,3,5)(9,13,12,16)(10,14,11,15),
(1,13,3,15)(2,14,4,16)(5,9,8,11)(6,10,7,12),"t16n229"],
[(1,12,4,14)(2,11,3,13)(5,16,7,10)(6,15,8,9),
(1,7)(2,8)(3,5)(4,6)(9,14,10,13)(11,16,12,15),
(1,11,7,9)(2,12,8,10)(3,13,6,15)(4,14,5,16),"t16n230"],
[(1,7,2,8)(3,6,4,5)(9,15)(10,16)(11,13)(12,14),
(1,16,5,11)(2,15,6,12)(3,14,7,9)(4,13,8,10),
(1,12,5,16)(2,11,6,15)(3,9,7,13)(4,10,8,14),"t16n231"],
[(3,4)(5,8)(6,7)(9,12)(10,11)(13,14),(1,13,2,14)(3,16,4,15)(5,12,6,11)
(7,9,8,10),(1,8,3,5,2,7,4,6)(9,16,12,13,10,15,11,14),"t16n232"],
[(1,16,10,6,2,15,9,5)(3,13,11,7,4,14,12,8),
(1,6,11,13,2,5,12,14)(3,8,10,15,4,7,9,16),
(1,13,10,8,2,14,9,7)(3,16,11,5,4,15,12,6),"t16n233"],
[(1,8,16,12)(2,7,15,11)(3,5,14,9)(4,6,13,10),(1,14,2,13)(3,15,4,16)(5,6)
(11,12),(1,4)(2,3)(5,7)(6,8)(9,11)(10,12)(13,16)(14,15),"t16n234"],
[(1,4,10,11)(2,3,9,12)(5,7,6,8)(13,15,14,16),(5,14)(6,13)(7,16)(8,15),
(1,4,13,15)(2,3,14,16)(5,7,10,11)(6,8,9,12),"t16n235"],
[(9,10)(11,12)(13,14)(15,16),(1,11,3,9)(2,12,4,10)(5,16,8,13)(6,15,7,14),
(1,14)(2,13)(3,15)(4,16)(5,6)(11,12),"t16n236"],
[(1,9,5,14)(2,10,6,13)(3,15,7,11)(4,16,8,12),(1,2)(3,8)(4,7)(5,6)(9,14)
(10,13),(1,11,6,16)(2,12,5,15)(3,13,4,14)(7,10,8,9),"t16n237"],
[(1,16,2,15)(3,14,4,13)(5,9,6,10)(7,11,8,12),(3,4)(5,12,6,11)(7,10,8,9)
(15,16),(1,5,15,9)(2,6,16,10)(3,8,13,12)(4,7,14,11),"t16n238"],
[(9,10)(11,12)(13,14)(15,16),(1,4,2,3)(5,8,6,7)(9,11,10,12)(13,16,14,15),
(1,9,2,10)(3,11,4,12)(5,16,6,15)(7,14,8,13),(1,15,2,16)(3,14,4,13)(5,6)
(11,12),"t16n239"],
[(1,9,3,11)(2,10,4,12)(5,14,8,16)(6,13,7,15),(1,4)(2,3)(5,7)(6,8)(9,15)
(10,16)(11,13)(12,14),(3,7)(4,8)(9,10)(11,16)(12,15)(13,14),"t16n240"],
[(9,10)(11,12)(13,14)(15,16),(3,4)(7,8)(11,12)(15,16),
(1,4,2,3)(5,7,6,8)(9,12,10,11)(13,16,14,15),
(1,6)(2,5)(3,8)(4,7)(9,14,10,13)(11,16,12,15),
(1,10)(2,9)(3,11)(4,12)(5,13,6,14)(7,16,8,15),"t16n241"],
[(1,2)(3,4)(5,8,6,7)(9,10)(11,12)(13,15,14,16),
(1,13,12,7,3,15,9,6,2,14,11,8,4,16,10,5),"t16n242"],
[(1,13,2,14)(3,16,4,15)(5,6)(7,8),(1,12,15,8)(2,11,16,7)(3,10,13,6)
(4,9,14,5),(1,6,4,8,2,5,3,7)(9,13,12,16,10,14,11,15),"t16n243"],
[(1,10,16,5)(2,9,15,6)(3,11,14,8)(4,12,13,7),(1,12,2,11)(3,9,4,10)(5,13)
(6,14)(7,16)(8,15),(1,6,2,5)(3,8,4,7)(9,15)(10,16)(11,13)(12,14),
"t16n244"],
[(3,4)(7,16)(8,15)(11,12),(1,5)(2,6)(3,16)(4,15)(7,12)(8,11)(9,13)(10,14),
(1,10)(2,9)(3,4)(7,8)(11,12)(15,16),(1,16)(2,15)(3,14)(4,13)(5,11)(6,12)
(7,9)(8,10),"t16n245"],
[(5,14)(6,13),(1,5)(2,6)(3,16)(4,15)(7,12)(8,11)(9,13)(10,14),
(1,9)(2,10)(3,4)(5,6)(7,8)(11,12)(13,14)(15,16),
(1,16)(2,15)(3,14)(4,13)(5,11)(6,12)(7,9)(8,10),"t16n246"],
[(1,7,4,14)(2,8,3,13)(5,11,16,10)(6,12,15,9),(1,5)(2,6)(3,15)(4,16)(7,14)
(8,13)(9,12)(10,11),(1,4,6,15)(2,3,5,16)(7,9,12,14)(8,10,11,13),"t16n247"
],
[(1,9)(2,10)(3,12)(4,11)(5,13)(6,14)(7,15)(8,16),(1,7,14,11)(2,8,13,12)(3,10,
16,5)(4,9,15,6),(1,3,10,11)(2,4,9,12)(5,16)(6,15)(7,14)(8,13),
"t16n248"],
[(1,6)(2,5)(3,8)(4,7)(9,10)(11,12)(13,14)(15,16),(1,12,5,16)(2,11,6,15)
(3,9,4,10)(7,14,8,13),(1,10)(2,9)(3,16)(4,15)(5,13)(6,14)(7,12)(8,11),
"t16n249"],
[(1,14)(2,13)(3,15)(4,16)(5,7,6,8)(9,11,10,12),(1,15)(2,16)(3,14)(4,13)(5,6)
(11,12),(1,12,16,8)(2,11,15,7)(3,9,14,5)(4,10,13,6),"t16n250"],
[(1,3,2,4)(13,16,14,15),(1,15)(2,16)(3,14)(4,13)(5,10)(6,9)(7,11)(8,12),
(1,7)(2,8)(3,6)(4,5)(9,13,10,14)(11,16,12,15),"t16n251"],
[(3,8)(4,7)(9,13)(10,14),(1,13,8,15,5,10,4,11)(2,14,7,16,6,9,3,12),
(1,2)(3,7)(4,8)(5,6)(9,13)(10,14),"t16n252"],
[(1,13,7,16,5,10,3,12)(2,14,8,15,6,9,4,11),(1,2)(3,8)(4,7)(5,6)(9,13)
(10,14)(11,12)(15,16),(1,4,5,8)(2,3,6,7)(9,15,14,11)(10,16,13,12),"t16n253"
],
[(1,12,7,9,6,16,3,13)(2,11,8,10,5,15,4,14),(1,8,2,7)(3,6,4,5)(9,13)(10,14
)(11,12)(15,16),(1,3,2,4)(5,8,6,7)(9,14)(10,13),"t16n254"],
[(3,8)(4,7)(9,15)(10,16)(11,14)(12,13),(1,4,6,7)(2,3,5,8)(9,16,13,11)
(10,15,14,12),(1,5)(2,6)(3,7)(4,8)(9,13)(10,14)(11,16)(12,15),
(1,13,2,14)(3,12,4,11)(5,10,6,9)(7,16,8,15),"t16n255"],
[(1,11,8,9,6,16,4,14,2,12,7,10,5,15,3,13),(1,5)(2,6)(7,8)(9,15)(10,16)
(11,13)(12,14),(1,8,2,7)(3,5,4,6)(9,14)(10,13)(15,16),"t16n256"],
[(1,16,14,4,9,7,5,11)(2,15,13,3,10,8,6,12),(1,5,2,6)(3,8,12,15)(4,7,11,16)
(9,14,10,13),"t16n257"],
[(1,7,5,12,2,8,6,11)(3,10,15,13,4,9,16,14),(1,15,5,11,10,7,13,3)
(2,16,6,12,9,8,14,4),"t16n258"],
[(3,12)(4,11)(7,15)(8,16),(3,11)(4,12)(5,14)(6,13)(7,15)(8,16),
(1,7,5,12)(2,8,6,11)(3,9,15,13)(4,10,16,14),"t16n259"],
[(1,10,7,16,6,13,4,11,2,9,8,15,5,14,3,12),(1,16)(2,15)(3,9)(4,10)(5,12)
(6,11)(7,14)(8,13),"t16n260"],
[(1,7,13,3,9,15,5,12)(2,8,14,4,10,16,6,11),(1,6,9,14)(2,5,10,13)(3,8,12,16)
(4,7,11,15),(1,15,13,12)(2,16,14,11)(3,9,7,5)(4,10,8,6),"t16n261"],
[(9,10)(11,12)(13,14)(15,16),(1,4)(2,3)(5,7)(6,8)(9,12)(10,11)(13,15)(14,16),
(1,9,2,10)(3,11,4,12)(5,16,6,15)(7,14,8,13),(1,15)(2,16)(3,14)(4,13)(5,6)
(11,12),"t16n262"],
[(1,7,10,14)(2,8,9,13)(3,6,11,15)(4,5,12,16),(1,11)(2,12)(3,10)(4,9)
(5,16,6,15)(7,13,8,14),(1,2)(3,4)(13,14)(15,16),"t16n263"],
[(9,10)(11,12)(13,14)(15,16),(1,4,2,3)(5,8,6,7)(9,11,10,12)(13,16,14,15),
(1,12,2,11)(3,10,4,9)(5,14,6,13)(7,16,8,15),(1,15)(2,16)(3,13)(4,14)(9,10)
(11,12),"t16n264"],
[(5,14)(6,13)(7,16)(8,15),(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),
(1,14,9,5)(2,13,10,6),(1,15)(2,16)(3,13)(4,14)(5,11)(6,12)(7,10)(8,9),
"t16n265"],
[(1,16,6,12)(2,15,5,11)(3,14,7,10)(4,13,8,9),(1,15,5,12)(2,16,6,11)
(3,14,8,9)(4,13,7,10),(1,13,5,9,2,14,6,10)(3,16,8,12,4,15,7,11),
"t16n266"],
[(1,15,4,13,2,16,3,14)(5,9,8,11,6,10,7,12),(3,4)(5,8)(6,7)(9,11)(10,12)
(15,16),(1,5,3,8,2,6,4,7)(9,16,12,14,10,15,11,13),"t16n267"],
[(1,5,2,6)(3,8,4,7)(9,16,10,15)(11,14,12,13),
(1,16,4,13)(2,15,3,14)(5,9,7,12)(6,10,8,11),(1,2)(5,6)(9,10)(13,14),
"t16n268"],
[(9,10)(11,12)(13,14)(15,16),(1,4,2,3)(5,8,6,7)(9,11,10,12)(13,16,14,15),
(1,9,2,10)(3,11,4,12)(5,16,6,15)(7,14,8,13),(1,15)(2,16)(3,14)(4,13)(5,6)
(11,12),"t16n269"],
[(9,10)(11,12)(13,14)(15,16),(1,2)(3,4),(1,3,2,4)(5,8,6,7)(9,11,10,12)
(13,15,14,16),(1,5)(2,6)(3,7)(4,8)(9,16)(10,15)(11,14)(12,13),
(1,10)(2,9)(3,12)(4,11)(5,15)(6,16)(7,13)(8,14),"t16n270"],
[(7,9)(8,10)(11,13)(12,14),(1,2)(3,15)(4,16)(5,6)(7,10,11,14)(8,9,12,13),
(1,5)(2,6)(3,15)(4,16)(7,8)(9,10)(11,12)(13,14),
(1,9)(2,10)(3,12)(4,11)(5,14)(6,13)(7,15)(8,16),"t16n271"],
[(1,3)(2,4)(5,8)(6,7)(9,11,10,12)(13,15,14,16),
(1,11,6,15,2,12,5,16)(3,9,8,14,4,10,7,13),
(1,9,5,13,2,10,6,14)(3,12,8,16,4,11,7,15),"t16n272"],
[(1,7,5,4)(2,8,6,3)(9,15,13,11)(10,16,14,12),
(1,7,5,12)(2,8,6,11)(3,9,15,13)(4,10,16,14),(1,10)(2,9)(3,4)(5,14)(6,13)
(7,15)(8,16)(11,12),"t16n273"],
[(1,4,2,3)(5,8,6,7)(9,11,10,12)(13,16,14,15),
(1,9,6,13)(2,10,5,14)(3,16,4,15)(7,12,8,11),
(1,12,6,15)(2,11,5,16)(3,10,4,9)(7,13,8,14),"t16n274"],
[(1,13,5,10)(2,14,6,9)(3,15)(4,16)(7,11)(8,12),(9,10)(11,12)(13,14)(15,16),
(1,16)(2,15)(3,14,7,9)(4,13,8,10)(5,12)(6,11),"t16n275"],
[(1,2)(3,4)(5,6)(7,8),(1,3)(2,4)(5,8)(6,7)(9,14)(10,13)(11,16)(12,15),
(1,7,2,8)(3,5,4,6)(9,15)(10,16)(11,14)(12,13),
(1,15)(2,16)(3,9)(4,10)(5,12)(6,11)(7,13)(8,14),"t16n276"],
[(5,6)(7,8)(9,15)(10,16)(11,14)(12,13),(1,6)(2,5)(3,8)(4,7)(9,10)(13,14),
(1,7)(2,8)(3,6)(4,5)(9,12)(10,11)(13,16)(14,15),
(1,14,2,13)(3,11,4,12)(5,10,6,9)(7,16,8,15),"t16n277"],
[(1,5)(2,6)(3,7)(4,8)(9,16,10,15)(11,13,12,14),
(1,9,3,11,2,10,4,12)(5,16,7,13,6,15,8,14),
(1,14,3,15,2,13,4,16)(5,11,7,9,6,12,8,10),"t16n278"],
[(1,14,4,16,2,13,3,15)(5,12,8,10,6,11,7,9),(1,6,2,5)(3,8,4,7)(9,16,10,15)
(11,14,12,13),(1,12,3,9,2,11,4,10)(5,14,8,16,6,13,7,15),"t16n279"],
[(1,11,2,12)(3,9,4,10)(5,13)(6,14)(7,15)(8,16),
(1,10)(2,9)(3,11)(4,12)(5,15,6,16)(7,14,8,13),
(1,3,2,4)(5,11,6,12)(7,10,8,9)(13,16,14,15),"t16n280"],
[(1,15,2,16)(3,14,4,13)(5,6)(11,12),(1,5,15,9,2,6,16,10)(3,8,13,12,4,7,14,11
),(1,7,2,8)(3,6,4,5)(9,13)(10,14)(11,16)(12,15),"t16n281"],
[(9,10)(11,12)(13,14)(15,16),(1,3)(2,4)(7,8)(9,10)(13,15)(14,16),
(1,9)(2,10)(3,12)(4,11)(5,15)(6,16)(7,14)(8,13),
(1,14)(2,13)(3,16)(4,15)(5,10,6,9)(7,11,8,12),"t16n282"],
[(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),
(1,5)(2,6)(3,4)(7,8)(9,13)(10,14)(11,12)(15,16),
(1,15)(2,16)(3,5,11,14)(4,6,12,13)(7,10)(8,9),"t16n283"],
[(1,8)(2,7)(3,6)(4,5)(9,16,10,15)(11,14,12,13),
(1,7)(2,8)(3,6)(4,5)(9,16,10,15)(11,13,12,14),
(1,12)(2,11)(3,10)(4,9)(5,14)(6,13)(7,16)(8,15),"t16n284"],
[(9,10)(11,12)(13,14)(15,16),(1,4)(2,3)(5,6)(9,11)(10,12)(13,14),
(1,14,9,8,2,13,10,7)(3,15,12,5,4,16,11,6),"t16n285"],
[(1,7,11,15)(2,8,12,16)(3,5,10,13)(4,6,9,14),
(1,10,2,9)(3,11,4,12)(5,15,6,16)(7,13,8,14),
(1,9)(2,10)(3,11)(4,12)(5,13,6,14)(7,16,8,15),"t16n286"],
[(1,3,2,4)(5,11,6,12)(7,10,8,9)(13,16,14,15),(1,8,2,7)(3,6,4,5)(9,14)
(10,13)(11,16)(12,15),(1,12,15,8,2,11,16,7)(3,9,13,5,4,10,14,6),"t16n287"],
[(9,10)(11,12)(13,14)(15,16),(3,4)(7,8)(11,12)(15,16),
(1,5)(2,6)(3,8)(4,7)(9,14)(10,13)(11,16)(12,15),
(1,10)(2,9)(3,11)(4,12)(5,15,6,16)(7,14,8,13),"t16n288"],
[(1,2)(3,4)(5,6)(7,8)(9,15,13,12,10,16,14,11),
(1,15,5,11,2,16,6,12)(3,9,7,14,4,10,8,13),"t16n289"],
[(1,13,11,6)(2,14,12,5)(3,15,9,7)(4,16,10,8),
(1,8,9,13,2,7,10,14)(3,5,12,16,4,6,11,15),
(1,3,2,4)(5,7,6,8)(9,11,10,12)(13,15,14,16),"t16n290"],
[(1,8,3,5,2,7,4,6)(9,16,11,14,10,15,12,13),(1,16,2,15)(3,13,4,14)(5,9,6,10)
(7,12,8,11),(1,11)(2,12)(3,9)(4,10)(5,14,6,13)(7,16,8,15),"t16n291"],
[(1,8,2,7)(3,5,4,6)(9,14,10,13)(11,15,12,16),
(1,10,5,15,2,9,6,16)(3,12,7,13,4,11,8,14),
(1,9,6,15)(2,10,5,16)(3,11,8,13)(4,12,7,14),"t16n292"],
[(1,7,15,11)(2,8,16,12)(3,5,13,9)(4,6,14,10),
(1,4,2,3)(5,12,6,11)(7,9,8,10)(13,16,14,15),
(1,6,15,9)(2,5,16,10)(3,7,13,12)(4,8,14,11),"t16n293"],
[(1,10,2,9)(3,11,4,12)(5,16)(6,15)(7,13)(8,14),(1,8,2,7)(3,6,4,5)(9,15)
(10,16)(11,14)(12,13),(1,15,3,13,2,16,4,14)(5,11,8,9,6,12,7,10),"t16n294"],
[(1,8,2,7)(3,6,4,5)(9,16)(10,15)(11,13)(12,14),
(1,5)(2,6)(3,8)(4,7)(9,13,10,14)(11,15,12,16),
(1,15)(2,16)(3,13,4,14)(5,12,6,11)(7,10)(8,9),"t16n295"],
[(1,2)(3,4)(5,6)(7,8),(1,2)(3,5)(4,6)(9,12)(10,11)(13,14),
(1,6)(2,5)(3,7)(4,8)(9,15)(10,16)(11,14)(12,13),(1,8,2,7)(3,5,4,6),
(1,14,2,13)(3,12,4,11)(5,9,6,10)(7,16,8,15),"t16n296"],
[(1,14,3,16)(2,13,4,15)(5,10,7,11)(6,9,8,12),
(1,16,5,12)(2,15,6,11)(3,10,7,13)(4,9,8,14),
(1,7,5,4)(2,8,6,3)(11,16,12,15)(13,14),"t16n297"],
[(1,6)(2,5)(3,7)(4,8)(9,15,10,16)(11,14,12,13),(1,13)(2,14)(3,16)(4,15)(5,11)
(6,12)(7,10)(8,9),(1,13,2,14)(3,15,4,16)(5,9)(6,10)(7,12)(8,11),
"t16n298"],
[(1,2)(3,4)(5,12,6,11)(7,9,8,10)(13,14)(15,16),(1,12,15,8)(2,11,16,7)
(3,10,13,6)(4,9,14,5),(1,8,15,11)(2,7,16,12)(3,6,13,9)(4,5,14,10),
"t16n299"],
[(1,10,15,5,2,9,16,6)(3,11,13,8,4,12,14,7),(1,5,15,10,2,6,16,9)
(3,8,13,11,4,7,14,12),(1,5,3,8,2,6,4,7)(9,14,11,16,10,13,12,15),
"t16n300"]];
TRANSPROPERTIES[16]{[1..300]}:=
[
[16,0,1,-1,
"01s0602s0F80s0404"
,[-6016,-8],[-14016],[-34016]],
[16,0,1,1,
"01s0602"
,[3016,6008],[14016],[34016],[4,[-3004,6004,11008,104016]]],
[16,0,1,1,
"01"
,[14008],[14016],[34016]],
[16,0,1,1,
"01s0602"
,[2008,5016],[14016],[34016],[4,[-5004,4,5008,108016]],[2082,[[-1004,4,1008],[-1004,4,1008],[-1004,4,1008]]]],
[16,0,1,1,
"01s0602s0F80"
,[-1008,8,5016],[14016],[34016],[2082,[[-2008,-4],[-2008,-4],[-1004,4,1008]]]],
[16,0,1,1,
"01s0602s0F80"
,[-1008,8,5016],[14016],[34016],[2082,[[-1004,4,1008],[-8,-4,16],[-8,-4,16]]]],
[16,0,1,1,
"01s0602"
,[2008,5016],[14016],[34016],[4,[5008,6004,108016]]],
[16,0,1,1,
"01s0602"
,[2008,5016],[14016],[34016],[4,[-5004,4,5008,108016]],[2082,[[-3004,4,8],[-1004,4,1008],[4,2008]]]],
[16,0,1,1,
"01s0602"
,[1016,10008],[14016],[34016]],
[16,0,1,1,
"01s0602"
,[3016,6008],[14016],[34016],[4,[-9004,4,11008,104016]]],
[16,0,1,1,
"01s0602"
,[3016,6008],[14016],[34016],[4,[6004,17008,102016]]],
[16,0,1,1,
"01s0602s0F80"
,[-3008,8,4016],[14016],[34016]],
[16,0,1,1,
"01s0602s0F80"
,[-7008,8,2016],[14016],[34016]],
[16,0,1,1,
"01s0602s0F80"
,[8,6016],[14016],[34016]],
[32,0,1,1,
"11s0602s0F80"
,[-1008,8,1016,1032],[3032,6016],[10016,11032],[4,[-1008,-1004,4,1008,22016,43032]]],
[32,0,1,1,
"11s0602s0F80"
,[8,32,4016],[3032,6016],[10016,11032],[4,[-1004,4,1008,25016,42032]]],
[32,0,1,1,
"11s0602"
,[1016,1032,2008],[3032,6016],[10016,11032],[208,[2,11,11]]],
[32,0,1,1,
"11s0602"
,[2008,5016],[3032,6016],[10016,11032],[4,[5008,6004,28016,39032]]],
[32,0,1,1,
"11s0602"
,[32,2008,3016],[3032,6016],[10016,11032],[2082,[[-1004,4,1008],[-1004,4,1008],[4,2008]]]],
[32,0,1,1,
"11s0602"
,[8,6016],[3032,6016],[10016,11032],[4,[6004,31016,39032]]],
[32,0,1,1,
"11s0602"
,[1032,6008],[3032,6016],[10016,11032]],
[32,0,1,-1,
"11s0602s0F80s0404"
,[-2016,-8,1032],[-6016,3032],[-10016,11032]],
[32,0,1,1,
"11s0602"
,[4008,4016],[3032,6016],[10016,11032]],
[32,0,1,1,
"11s0602s0F80"
,[-1008,8,1016,1032],[3032,6016],[10016,11032],[4,[-3008,-2004,22016,43032]]],
[32,0,1,1,
"11s0602"
,[3016,6008],[3032,6016],[10016,11032]],
[32,0,1,1,
"05s0602s0F80"
,[-1008,8,1016,1032],[2016,5032],[6016,13032],[4,[-3008,-2004,16016,46032]]],
[32,0,1,1,
"05s0602"
,[2008,2032],[2016,5032],[6016,13032]],
[32,0,1,1,
"05s0602s0F80"
,[8,1032,2016],[2016,5032],[6016,13032],[4,[-2004,-1008,13016,48032]]],
[32,0,1,1,
"05s0602s0F80"
,[-1008,8,5016],[2016,5032],[6016,13032]],
[32,0,1,1,
"05s0602"
,[1016,1032,2008],[2016,5032],[6016,13032],[4,[-1004,4,7008,12016,47032]],[2162,[[1016,1032,2008],[1016,1032,2008]]]],
[32,0,1,1,
"11s0602"
,[1016,1032,2008],[3032,6016],[10016,11032],[208,[5,9,11]]],
[32,0,1,1,
"05s0602s0F80"
,[8,1032,2016],[2016,5032],[6016,13032],[4,[-1004,4,1008,13016,48032]]],
[32,0,1,1,
"11s050802"
,[-1008,32,2008,2016],[3032,6016],[10016,11032]],
[32,0,1,1,
"05s0602"
,[32,2008,3016],[2016,5032],[6016,13032]],
[32,0,1,1,
"11s0602s0F80"
,[-3008,8,32,2016],[3032,6016],[10016,11032]],
[32,0,1,1,
"11s0602s0F80"
,[-3008,8,16,1032],[3032,6016],[10016,11032]],
[32,0,1,1,
"05s0602"
,[1016,1032,2008],[2016,5032],[6016,13032],[4,[-1004,4,7008,12016,47032]],[2162,[[32,2008,3016],[32,2008,3016]]]],
[32,0,1,1,
"05s0602s0F80"
,[-1008,8,32,3016],[2016,5032],[6016,13032]],
[32,0,1,1,
"11s0602"
,[32,1016,6008],[3032,6016],[10016,11032]],
[32,0,1,1,
"11s0602s0F80"
,[8,1032,2016],[3032,6016],[10016,11032],[4,[-1004,4,1008,19016,45032]]],
[32,0,1,1,
"05s0602s0F80"
,[-1008,8,1016,1032],[2016,5032],[6016,13032],[4,[-3008,-2004,14016,47032]]],
[32,0,1,1,
"11s050802s0F80"
,[-1008,8,32,3016],[3032,6016],[10016,11032]],
[32,0,1,1,
"11s0602"
,[2008,5016],[3032,6016],[10016,11032],[4,[-5004,4,5008,28016,39032]]],
[32,0,1,1,
"05s0602s0F80"
,[8,32,4016],[2016,5032],[6016,13032]],
[32,0,1,1,
"05s0602s0F80"
,[8,6016],[2016,5032],[6016,13032]],
[32,0,1,1,
"05s0602"
,[2008,5016],[2016,5032],[6016,13032],[4,[-5004,4,8016,13008,47032]]],
[32,0,1,1,
"11s0602s0F80"
,[8,6016],[3032,6016],[10016,11032],[4,[-3004,4,8,31016,39032]]],
[32,0,1,1,
"05s0602s0F80"
,[-1008,8,1016,1032],[2016,5032],[6016,13032],[4,[-1008,-1004,4,1008,16016,46032]]],
[32,0,1,1,
"11s0602s0F80"
,[8,1032,2016],[3032,6016],[10016,11032],[4,[4,2008,19016,45032]]],
[32,0,1,1,
"11s0602s0F80"
,[8,32,4016],[3032,6016],[10016,11032],[4,[-3004,4,8,25016,42032]]],
[32,0,1,1,
"05s0602"
,[2008,5016],[2016,5032],[6016,13032],[4,[-5004,4,5008,20016,43032]]],
[32,0,1,1,
"05s0602"
,[1016,1032,2008],[2016,5032],[6016,13032],[4,[-2004,-1008,5008,12016,47032]]],
[32,0,1,1,
"11s0602"
,[-1008,16,1032,2008],[3032,6016],[10016,11032]],
[32,0,1,1,
"11s0602"
,[32,2008,3016],[3032,6016],[10016,11032],[2082,[[-3004,4,8],[4,2008],[4,2008]]]],
[32,0,1,-1,
"03s0602s0F80s0404"
,[-2016,-8,1032],[-16,6032],[-6016,13032]],
[32,0,1,-1,
"03s0602s0F80s0404"
,[-6016,-8],[-16,6032],[-6016,13032]],
[48,0,1,1,
"01s0240s0302s0808s0A02"
,[8,16,48,1024],[2016,3048],[1016,10048],[4,[-12,-4,4,1012,2016,3024,33048]]],
[48,0,1,1,
"01s0240s0C08"
,[2008,3024],[2016,3048],[1016,10048],[4,[1004,2016,10012,33048]]],
[48,0,1,1,
"01s0240s0302s0808"
,[1048,2008],[2016,3048],[1016,10048]],
[48,0,1,1,
"01s0240s0302s0808s0A02"
,[8,16,48,1024],[2016,3048],[1016,10048],[4,[4,1012,3016,5024,32048]]],
[48,0,1,1,
"01s0240s0302s0808"
,[2008,3024],[2016,3048],[1016,10048],[4,[-2012,-4,4,2016,5012,8024,29048]]],
[48,0,1,1,
"01s0240s0302s0808"
,[8,16,48,1024],[2016,3048],[1016,10048],[4,[-3012,-1004,12,2016,2024,33048]]],
[48,0,1,1,
"01s0208s0302"
,[24,1048],[4048],[4016,9048]],
[48,0,1,1,
"01s0208"
,[4024],[4048],[4016,9048]],
[48,0,1,1,
"01s0240s0302s0808s0680"
,[8,16,1048],[2016,3048],[1016,10048]],
[48,0,1,1,
"01s0240s0302s0808s0680"
,[-1024,-1008,8,48],[2016,3048],[1016,10048]],
[64,0,1,1,
"11s0602"
,[8,6016],[2016,5032],[3064,5032,6016],[4,[6004,13064,17032,19016]]],
[64,0,1,1,
"11s0602"
,[1016,1032,2008],[2016,5032],[3064,5032,6016],[4,[-1004,4,7008,8016,13064,21032]]],
[64,0,1,1,
"11s0602"
,[2008,5016],[2016,5032],[3064,5032,6016]],
[64,0,1,1,
"11s0602s0F80"
,[8,1032,2016],[2016,5032],[3064,5032,6016],[4,[-1004,4,1008,7016,13064,23032]],[2322,[[1064,2016,9032],[1064,2016,9032]]],
[4322,[[1064,2016,9032],[1064,2016,9032],[1064,2016,9032],[
1064,2016,9032],[1064,2016,9032],[1064,2016,9032],
[1064,2016,9032],[1064,2016,9032],[1064,2016,9032],
[1064,2016,9032],[1064,2016,9032],[1064,2016,9032],
[1064,2016,9032],[1064,2016,9032],[1064,2016,9032],
[1064,2016,9032],[1064,2016,9032],[1064,2016,9032],
[3032,3064,6016],[3032,3064,6016],[3032,3064,6016],
[3032,3064,6016],[3032,3064,6016],[3032,3064,6016]]]],
[64,0,1,1,
"11s0602s0F80"
,[8,1032,2016],[2016,5032],[3064,5032,6016],[4,[-1004,4,1008,7016,13064,23032]],[2322,[[1064,2016,9032],[1064,2016,9032]]],
[4322,[[1064,2016,9032],[1064,2016,9032],[1064,2016,9032],[
1064,2016,9032],[1064,2016,9032],[1064,2016,9032],
[1064,2016,9032],[1064,2016,9032],[1064,2016,9032],
[1064,2016,9032],[1064,2016,9032],[1064,2016,9032],
[1064,2016,9032],[1064,2016,9032],[2016,3064,5032],
[2016,3064,5032],[2016,3064,5032],[2016,3064,5032],
[3032,3064,6016],[3032,3064,6016],[3032,3064,6016],
[3032,3064,6016],[3032,3064,6016],[3032,3064,6016]]]],
[64,0,1,1,
"15s0602s0F80"
,[-1008,8,64,1016],[1032,1064,2016],[2016,3064,7032],[4,[-2004,-1008,9032,11016,19064]]],
[64,0,1,1,
"15s0602"
,[1016,1032,2008],[1032,1064,2016],[2016,3064,7032],[4,[-1004,4,7008,8016,13032,17064]]],
[64,0,1,1,
"11s052802s0F80"
,[8,64,2016],[1032,1064,2016],[2016,3032,5064],[4,[-2004,6016,8032,21064]]],
[64,0,1,1,
"15s0602s0F80"
,[-1008,8,64,1016],[1032,1064,2016],[2016,3064,7032],[4,[-2004,-1008,9016,14032,17064]],[2089,[[-8,16,32],[-8,16,32],[1016,2008]]]],
[64,0,1,1,
"11s052802"
,[1016,1032,2008],[1032,1064,2016],[2016,3032,5064],[4,[-1008,-1004,4,1008,9032,10016,19064]]],
[64,0,1,1,
"11s0602"
,[-1008,8,2032],[2016,5032],[3064,5032,6016],[4,[4,8008,8016,15064,17032]]],
[64,0,1,1,
"11s0602"
,[-1008,8,1016,1032],[2016,5032],[3064,5032,6016],[4,[-1004,4,7008,8016,13064,21032]]],
[64,0,1,1,
"11s0602"
,[64,6008],[1064,6016],[3064,5032,6016]],
[64,0,1,1,
"15s0602s0F80"
,[8,32,4016],[16,64,4032],[4016,4032,4064]],
[64,0,1,1,
"15s0602"
,[2008,2032],[64,2016,3032],[3064,4016,6032]],
[64,0,1,1,
"15s0602"
,[2008,2032],[1032,1064,2016],[2016,3064,7032]],
[64,0,1,1,
"05s0602"
,[2008,2032],[2016,2064],[16,3064,8032],[4,[4,5032,8008,8016,21064]]],
[64,0,1,1,
"15s0602s0F80"
,[-1008,8,32,64],[1032,1064,2016],[2016,3064,7032]],
[64,0,1,1,
"11s0602s0F80"
,[-1008,8,2032],[2016,5032],[3064,5032,6016],[4,[-4008,-4,10016,15064,17032]]],
[64,0,1,1,
"11s0602s0F80"
,[8,1032,2016],[2016,5032],[3064,5032,6016],[4,[-1004,4,1008,7016,13064,23032]],[2322,[[2016,3064,5032],[2016,3064,5032]]]],
[64,0,1,1,
"15s0602"
,[1016,1032,2008],[1032,1064,2016],[2016,3064,7032],[4,[-1004,4,7008,7032,12016,19064]]],
[64,0,1,1,
"11s050802"
,[-1008,8,1016,1032],[2016,5032],[3064,5032,6016],[4,[-1004,4,7008,8016,15064,17032]]],
[64,0,1,1,
"15s0602s0F80"
,[-1008,8,1016,1032],[1032,1064,2016],[2016,3064,7032],[4,[-1008,-1004,4,1008,8016,15064,18032]]],
[64,0,1,1,
"11s050802s0F80"
,[8,1032,2016],[2016,5032],[3064,5032,6016],[4,[-1004,4,1008,7016,15064,19032]]],
[64,0,1,1,
"11s050802"
,[-1008,8,32,3016],[2016,5032],[3064,5032,6016],[4,[-3004,4,6008,8016,15064,17032]],[208,[4,21,21]]],
[64,0,1,1,
"11s050802"
,[-1008,8,5016],[2016,5032],[3064,5032,6016],[4,[5008,6004,8016,13064,21032]]],
[64,0,1,1,
"15s0602"
,[64,1016,2008],[1032,1064,2016],[2016,3064,7032]],
[64,0,1,1,
"11s0602"
,[1016,1032,2008],[2016,5032],[3064,5032,6016],[4,[-1008,-1004,4,1008,13064,14016,19032]]],
[64,0,1,1,
"11s0602s0F80"
,[-1008,8,64,1016],[1064,6016],[3064,5032,6016]],
[64,0,1,1,
"11s052802"
,[64,1016,2008],[1032,1064,2016],[2016,3032,5064]],
[64,0,1,1,
"11s0602"
,[2008,2032],[2016,5032],[3064,5032,6016]],
[64,0,1,1,
"05s0602"
,[2008,2032],[2016,2064],[16,3064,8032],[4,[4,8008,12016,23064]]],
[64,0,1,1,
"11s0602s0F80"
,[-1008,8,1016,1032],[2016,5032],[3064,5032,6016],[4,[-1008,-1004,4,1008,10016,13064,21032]]],
[64,0,1,1,
"11s0602s0F80"
,[8,32,4016],[2016,5032],[3064,5032,6016],[4,[-3004,4,8,9016,11064,26032]]],
[64,0,1,1,
"11s050802"
,[8,6016],[2016,5032],[3064,5032,6016],[4,[6004,11016,13064,21032]]],
[64,0,1,1,
"11s050802"
,[-1008,8,32,3016],[2016,5032],[3064,5032,6016],[4,[-3004,4,6008,8016,13064,21032]]],
[64,0,1,1,
"11s0602s0F80"
,[8,16,2032],[2016,5032],[3064,5032,6016],[4,[4,2008,5016,15064,20032]]],
[64,0,1,-1,
"11s0602s0F80s0404"
,[-16,-8,2032],[-2016,5032],[-6016,3064,5032],[4,[-5016,-2008,-4,15064,20032]]],
[64,0,1,1,
"11s0602"
,[1032,6008],[1064,6016],[3064,5032,6016]],
[64,0,1,1,
"11s050802s0F80"
,[8,32,4016],[2016,5032],[3064,5032,6016],[4,[-3004,4,8,9016,13064,22032]]],
[64,0,1,1,
"11s052802s0F80"
,[8,1032,2016],[1032,1064,2016],[2016,3032,5064],[4,[-1004,4,1008,5016,12032,19064]]],
[64,0,1,1,
"11s0602s0F80"
,[8,16,2032],[2016,5032],[3064,5032,6016],[4,[4,2008,5016,15064,20032]]],
[64,0,1,1,
"15s0602"
,[32,2008,3016],[64,2016,3032],[3064,4016,6032]],
[64,0,1,1,
"11s052802s0F80"
,[8,64,2016],[1032,1064,2016],[2016,3032,5064],[4,[-2004,4016,9032,21064]]],
[64,0,1,1,
"11s058802s0F80"
,[-1008,8,1016,1032],[1064,6016],[1032,5064,6016]],
[64,0,1,1,
"11s0602"
,[8,1032,2016],[2016,5032],[3064,5032,6016],[4,[-1004,4,1008,11016,13064,21032]]],
[64,0,1,1,
"11s052002s0F80"
,[8,16,2032],[1032,1064,2016],[2016,3032,5064]],
[64,0,1,1,
"11s058802s0F80"
,[8,1032,2016],[1064,6016],[1032,5064,6016],[4,[4,2008,7016,11032,19064]]],
[64,0,1,1,
"15s0602"
,[1016,1032,2008],[64,2016,3032],[3064,4016,6032]],
[64,0,1,1,
"15s0602s0F80"
,[8,1032,2016],[16,64,4032],[4016,4032,4064],[4,[-1004,4,1008,5016,15064,20032]]],
[64,0,1,1,
"11s0602"
,[1016,1032,2008],[1064,6016],[3064,5032,6016]],
[64,0,1,1,
"15s0602s0F80"
,[8,1032,2016],[1032,1064,2016],[2016,3064,7032],[4,[-1004,4,1008,9016,14032,17064]]],
[64,0,1,1,
"11s0602"
,[32,2008,3016],[2016,5032],[3064,5032,6016],[4,[-3004,4,6008,8016,11064,25032]]],
[64,0,1,1,
"11s052802"
,[8,1032,2016],[1032,1064,2016],[2016,3032,5064],[4,[-1004,4,1008,7016,11032,19064]]],
[64,0,1,1,
"11s058802s0F80"
,[-1008,8,64,1016],[1064,6016],[1032,5064,6016]],
[64,0,1,1,
"15s0602s0F80"
,[8,64,2016],[1032,1064,2016],[2016,3064,7032],[4,[-2004,10016,10032,19064]]],
[64,0,1,1,
"11s050802s0F80"
,[8,32,4016],[2016,5032],[3064,5032,6016],[4,[-3004,4,8,9016,15064,18032]],[6,[[-3004,-3002,8,2001,28032,37016,75064]]]],
[64,0,1,-1,
"11s058802s0F80s0404"
,[-2016,-8,64],[-6016,1064],[-6016,1032,5064]],
[64,0,1,-1,
"11s052002s0F80s0404"
,[-16,-8,32,64],[-2016,1032,1064],[-2016,3032,5064]],
[64,0,1,1,
"15s0602s0F80"
,[-1008,8,1016,1032],[1032,1064,2016],[2016,3064,7032],[4,[-3008,-2004,8016,15064,18032]]],
[64,0,1,1,
"11s050802"
,[-1008,8,5016],[2016,5032],[3064,5032,6016],[4,[5008,6004,10016,13064,20032]]],
[64,0,1,1,
"15s050802"
,[-1008,8,1016,1032],[1032,1064,2016],[2016,3064,7032],[4,[-1004,4,7008,8032,10016,19064]]],
[64,0,1,1,
"11s052002"
,[1016,1032,2008],[1032,1064,2016],[2016,3032,5064],[4,[-1008,-1004,4,1008,8016,14032,17064]]],
[64,0,1,1,
"15s050802s0F80"
,[-1008,8,64,1016],[1032,1064,2016],[2016,3064,7032],[4,[-2004,-1008,6032,13016,20064]]],
[64,0,1,1,
"11s052002s0F80"
,[8,64,2016],[1032,1064,2016],[2016,3032,5064],[4,[-2004,4016,11032,20064]]],
[64,0,1,1,
"15s0602s0F80"
,[8,16,2032],[16,64,4032],[4016,4032,4064]],
[64,0,1,1,
"15s0602s0F80"
,[8,1032,2016],[16,64,4032],[4016,4032,4064],[4,[4,2008,5016,15064,20032]]],
[64,0,1,-1,
"13s0602s0F80s0404"
,[-2016,-8,1032],[-16,1064,2032],[-2016,3064,7032]],
[64,0,1,1,
"05s0602s0F80"
,[8,1032,2016],[16,1064,2032],[2016,4064,5032],[4,[-2004,-1008,5016,16032,17064]]],
[64,0,1,-1,
"11s051002s0F80s0404"
,[-16,-8,32,64],[-16,1064,2032],[-2016,3032,5064]],
[64,0,1,1,
"11s058802s0F80"
,[8,1032,2016],[1064,6016],[1032,5064,6016],[4,[-1004,4,1008,7016,11032,19064]]],
[64,0,1,1,
"11s052002s0F80"
,[8,1032,2016],[1032,1064,2016],[2016,3032,5064],[4,[-1004,4,1008,7016,11032,19064]]],
[64,0,1,1,
"11s058802s0F80"
,[8,64,2016],[1064,6016],[1032,5064,6016]],
[64,0,1,1,
"11s050802s0F80"
,[8,1032,2016],[2016,5032],[3064,5032,6016],[4,[-1004,4,1008,9016,14064,20032]]],
[64,0,1,1,
"11s058802s0F80"
,[-3008,8,16,1032],[1064,6016],[1032,5064,6016]],
[64,0,1,1,
"15s050802s0F80"
,[-1008,8,1016,1032],[1032,1064,2016],[2016,3064,7032],[4,[-1008,-1004,4,1008,10016,13032,17064]]],
[64,0,1,1,
"05s0612"
,[8,16,2032],[16,32,2064],[16,2032,6064],[4,[-2008,-4,5016,8032,21064]]],
[64,0,1,-1,
"13s0602s0F80s0404"
,[-2016,-8,64],[-16,1064,2032],[-2016,3064,7032]],
[64,0,1,1,
"05s0602s0F80"
,[8,64,2016],[16,1064,2032],[2016,4064,5032],[4,[-2004,6016,12032,19064]]],
[64,0,1,1,
"05s0602"
,[8,64,2016],[16,1064,2032],[2016,4064,5032],[4,[-2004,8016,11032,19064]]],
[64,0,1,1,
"05s0602"
,[8,1032,2016],[16,1064,2032],[2016,4064,5032],[4,[-2004,5008,5016,11032,19064]]],
[64,0,1,1,
"05s0612s0F80"
,[8,16,32,64],[16,32,2064],[16,2032,6064],[4,[-8,-4,4016,5032,23064]]],
[64,0,1,1,
"11s050802"
,[-1008,16,1032,2008],[1064,6016],[3064,5032,6016]],
[64,0,1,1,
"11s050802"
,[32,2008,3016],[2016,5032],[3064,5032,6016],[4,[-3004,-1008,4,8,11064,12016,24032]]],
[64,0,1,1,
"15s050802s0F80"
,[8,64,2016],[1032,1064,2016],[2016,3064,7032],[4,[-2004,8016,9032,20064]]],
[64,0,1,1,
"11s050802s0F80"
,[-1008,8,32,3016],[2016,5032],[3064,5032,6016],[4,[-3004,-1008,4,8,10016,11064,25032]]],
[64,0,1,1,
"11s052002s0F80"
,[8,64,2016],[1032,1064,2016],[2016,3032,5064],[4,[-2004,6016,10032,20064]]],
[64,0,1,1,
"11s052002"
,[8,64,2016],[1032,1064,2016],[2016,3032,5064],[4,[-2004,8016,9032,20064]]],
[64,0,1,1,
"15s0602s0F80"
,[-1008,8,64,1016],[1032,1064,2016],[2016,3064,7032],[4,[-2004,-1008,9016,14032,17064]],[2089,[[-8,16,32],[-8,2016],[32,2008]]]],
[64,0,1,-1,
"11s051002s0F80s0404"
,[-16,-8,2032],[-16,1064,2032],[-2016,3032,5064]],
[64,0,1,1,
"15s0602s0F80"
,[-1008,8,2032],[64,2016,3032],[3064,4016,6032]],
[64,0,1,1,
"11s050802s0F80"
,[-3008,8,16,64],[1064,6016],[3064,5032,6016]],
[64,0,1,1,
"05s0602s0F80"
,[-1008,8,32,64],[2016,2064],[16,3064,8032]],
[64,0,1,1,
"11s050802s0F80"
,[8,32,4016],[2016,5032],[3064,5032,6016],[4,[-3004,4,8,9016,14064,20032]]],
[64,0,1,1,
"11s052802s0F80"
,[-1008,8,32,64],[1032,1064,2016],[2016,3032,5064]],
[64,0,1,1,
"15s050802s0F80"
,[8,1032,2016],[1032,1064,2016],[2016,3064,7032],[4,[-1004,4,1008,7016,15032,17064]]],
[64,0,1,1,
"11s052802s0F80"
,[-1008,8,2032],[1032,1064,2016],[2016,3032,5064]],
[64,0,1,1,
"11s052002s0F80"
,[8,1032,2016],[1032,1064,2016],[2016,3032,5064],[4,[-1004,4,1008,3016,17032,17064]]],
[64,0,1,1,
"11s052002"
,[8,1032,2016],[1032,1064,2016],[2016,3032,5064],[4,[-1004,4,1008,9016,10032,19064]]],
[64,0,1,1,
"05s0612s0F80"
,[8,16,2032],[16,32,2064],[16,2032,6064],[4,[-2008,-4,3032,7016,23064]]],
[64,0,1,1,
"11s050802"
,[-1008,8,32,3016],[2016,5032],[3064,5032,6016],[4,[-3004,-1008,4,8,10016,12064,23032]]],
[64,0,1,1,
"11s058802"
,[-3008,8,16,64],[1064,6016],[1032,5064,6016]],
[64,0,1,1,
"15s050802"
,[-1008,8,64,1016],[1032,1064,2016],[2016,3064,7032],[4,[-2004,-1008,11016,11032,18064]]],
[64,0,1,1,
"11s050802s0F80"
,[-1008,8,1016,1032],[2016,5032],[3064,5032,6016],[4,[-1008,-1004,4,1008,12016,14064,18032]]],
[64,0,1,1,
"11s050802s0F80"
,[-1008,8,32,3016],[2016,5032],[3064,5032,6016],[4,[-3004,-1008,4,8,8016,12064,24032]]],
[64,0,1,1,
"11s052002s0F80"
,[-1008,8,64,1016],[1032,1064,2016],[2016,3032,5064]],
[64,0,1,1,
"11s050802"
,[8,6016],[2016,5032],[3064,5032,6016],[4,[6004,13016,13064,20032]]],
[64,0,1,1,
"11s050802"
,[8,32,4016],[2016,5032],[3064,5032,6016],[4,[-3004,4,8,11016,14064,19032]]],
[64,0,1,1,
"11s050802s0F80"
,[8,32,4016],[2016,5032],[3064,5032,6016],[4,[-3004,4,8,11016,13064,21032]]],
[64,0,1,1,
"05s0612"
,[8,16,32,64],[16,32,2064],[16,2032,6064],[4,[-8,-4,4032,6016,23064]]],
[64,0,1,1,
"11s050802"
,[8,32,4016],[2016,5032],[3064,5032,6016],[4,[-3004,4,8,13016,13064,20032]]],
[80,1,1,1,
"01s0B10"
,[2040],[2080],[6080],[4,[6020,20080]]],
[96,0,1,1,
"11s0240s0302s0501s0208s0A02"
,[8,16,48,1024],[16,32,96,1048],[1016,2048,3096],[4,[-12,-4,4,16,32,1012,3024,7048,12096]]],
[96,0,1,1,
"11s0240s0302s0501s0208s0A02"
,[8,16,1048],[16,32,96,1048],[1016,2048,3096]],
[96,0,1,1,
"11s0240s0302s0808s0A02"
,[8,16,48,1024],[2016,3048],[96,1016,8048]],
[96,0,1,1,
"11s0240s0302s0808"
,[2008,3024],[2016,3048],[96,1016,8048]],
[96,0,1,1,
"05s0208s0302s0804"
,[24,1048],[48,1096],[16,1032,1048,3096],[4,[-1012,4,1008,2048,3024,15096]]],
[96,0,1,1,
"05s0208s0302s0804"
,[24,96],[48,1096],[16,1032,1048,3096]],
[96,0,1,1,
"05s0208s0302s0804"
,[24,1048],[48,1096],[16,1032,1048,3096],[4,[-1012,4,1024,1032,6048,13096]]],
[96,0,1,1,
"05s0240s0302s0808"
,[8,16,48,1024],[16,32,96,1048],[1016,2096,4048],[4,[-3012,-1004,12,16,32,2024,7048,12096]]],
[96,0,1,1,
"05s0240s0302s0808s0680"
,[8,16,1048],[16,32,96,1048],[1016,2096,4048]],
[96,0,1,1,
"05s0240s0302s0808s0680"
,[-1008,8,1048],[1096,2016],[1016,2096,4048]],
[96,0,1,1,
"05s0240s0302s0808s0680s0302"
,[8,16,1048],[1096,2016],[1016,2096,4048]],
[96,0,1,1,
"05s0240s0302s0808s0680s0302"
,[-1024,8,16,48],[16,32,96,1048],[1016,2096,4048]],
[96,0,1,1,
"05s0240s0302s0808s0A02"
,[8,16,48,1024],[16,32,96,1048],[1016,2096,4048],[4,[-1012,-1004,12,16,32,3024,10096,11048]]],
[96,0,1,1,
"11s0240s0302s0501s0208s0680"
,[8,16,1048],[16,32,96,1048],[1016,2048,3096]],
[96,0,1,1,
"11s0240s0302s0501s0208"
,[8,16,48,1024],[16,32,96,1048],[1016,2048,3096],[4,[-1012,-1004,12,16,32,3024,10096,11048]]],
[96,0,1,1,
"05s0208s0302"
,[48,2024],[96,2048],[32,2016,2096,3048]],
[96,0,1,1,
"05s0208s0302s0F80"
,[24,1048],[96,2048],[32,2016,2096,3048]],
[112,0,1,1,
"01s1340s0710"
,[8,1056],[16,1112],[4112]],
[128,0,1,1,
"11s0602"
,[8,6016],[16,6032],[6016,6064],[4,[6004,6128,13016,20032]]],
[128,0,1,1,
"15s0602"
,[1016,1032,2008],[1032,1064,2016],[1128,2016,7032]],
[128,0,1,1,
"11s052802"
,[8,1032,2016],[16,1064,2032],[1032,1128,2016,2064],[4,[-1004,4,1008,5016,6128,7064,8032]]],
[128,0,1,1,
"11s0602s0F80"
,[8,1032,2016],[16,6032],[6016,6064],[4,[-1004,4,1008,1016,6128,26032]]],
[128,0,1,1,
"15s0602"
,[2008,2032],[1032,1064,2016],[1128,2016,7032]],
[128,0,1,1,
"11s050802"
,[8,6016],[16,6032],[6016,6064],[4,[5016,6004,6128,24032]],[6,[[6001,6004,12064,28128,32032,49016]]]],
[128,0,1,1,
"11s0602"
,[8,1032,2016],[16,6032],[6016,6064],[4,[-1004,4,1008,5016,6128,24032]]],
[128,0,1,1,
"15s0602s0F80"
,[8,1032,2016],[16,1064,2032],[64,1128,2016,5032],[4,[-1004,4,1008,3128,5016,8032,13064]]],
[128,0,1,1,
"11s05A802s0F80"
,[8,16,2032],[1032,1064,2016],[1064,1128,2016,3032],[4,[4,1016,2008,5128,6032,11064]],
[6322,[[16,2032,5064],[16,2032,5064],[16,2032,5064],[16,20\
32,5064],[16,2032,5064],[16,2032,5064],[16,2032,5064],
[16,2032,5064],[16,2032,5064],[16,2032,5064],
[16,2032,5064],[16,2032,5064],[16,2032,5064],
[16,2032,5064],[1064,6016,7032],[1064,6016,7032],
[1064,6016,7032],[1064,6016,7032],[2016,3064,5032],
[2016,3064,5032],[2016,3064,5032],[2016,3064,5032],
[2016,3064,5032],[2016,3064,5032],[2016,3064,5032],
[2016,3064,5032],[2016,3064,5032]]]],
[128,0,1,1,
"15s0602"
,[2008,2032],[2016,2064],[16,1128,8032]],
[128,0,1,1,
"11s05A802s0F80"
,[8,1032,2016],[1032,1064,2016],[1064,1128,2016,3032],[4,[-1004,4,1008,3016,6128,7064,9032]]],
[128,0,1,1,
"55s050802"
,[-1008,8,1016,1032],[2016,5032],[3064,5032,6016],[4,[-1004,4,128,7008,8016,13064,17032]]],
[128,0,1,1,
"11s052802s0F80"
,[8,64,2016],[1032,1064,2016],[128,2016,3032,3064],[4,[-2004,4016,4128,7032,12064]]],
[128,0,1,1,
"15s050802"
,[-1008,8,1016,1032],[1032,1064,2016],[1128,2016,7032],[4,[-1004,4,1032,4128,7008,8016,13064]],[6,[[-1004,-1002,4,2001,13008,23032,25016,25064,26128]]],[208,[9,31,31]]],
[128,0,1,1,
"11s058802s0F80"
,[-1008,8,64,1016],[128,6016],[1128,2064,6016]],
[128,0,1,1,
"11s050802"
,[8,6016],[16,6032],[6016,6064],[4,[1016,6004,6128,26032]],[6,[[4064,6001,6004,32128,33016,40032]]],
[9322,[[1064,4016,8032],[1064,4016,8032],[3064,4016,4032],[
3064,4016,4032],[3064,4016,4032],[3064,4016,4032],
[3064,4016,4032]]]],
[128,0,1,1,
"15s052802s0F80"
,[8,64,2016],[16,1064,2032],[128,1032,2016,4064],[4,[-2004,2016,5128,9064,10032]]],
[128,0,1,1,
"15s0602s0F80"
,[8,64,2016],[16,128,2032],[2016,7064],[4,[-2004,1064,4016,8128,13032]]],
[128,0,1,1,
"11s05A802s0F80"
,[8,16,2032],[1032,1064,2016],[1064,1128,2016,3032],[4,[4,1016,2008,6032,6128,9064]],
[6322,[[16,128,2032,3064],[16,128,2032,3064],[16,128,2032,3\
064],[16,128,2032,3064],[16,128,2032,3064],
[16,128,2032,3064],[16,128,2032,3064],
[16,128,2032,3064],[16,128,2032,3064],
[16,128,2032,3064],[16,128,2032,3064],
[16,128,2032,3064],[16,128,2032,3064],
[16,128,2032,3064],[128,1064,2016,5032],
[128,1064,2016,5032],[128,1064,2016,5032],
[128,1064,2016,5032],[128,1064,2016,5032],
[2016,3064,5032],[2016,3064,5032],[2016,3064,5032],
[2016,3064,5032],[3032,3064,6016],[3032,3064,6016]]]],
[128,0,1,1,
"15s052802s0F80"
,[8,64,2016],[16,1064,2032],[128,1032,2016,4064],[4,[-2004,2016,5128,8032,10064]]],
[128,0,1,1,
"15s050802"
,[-1008,8,2032],[1032,1064,2016],[1128,2016,7032],[4,[4,1032,4128,8008,8016,13064]],[208,[11,31,31]]],
[128,0,1,1,
"15s052802"
,[8,64,2016],[16,128,2032],[1128,2016,3064],[4,[-2004,1064,4016,9032,9128]]],
[128,0,1,1,
"11s052002s0F80"
,[8,64,2016],[16,1064,2032],[1032,1128,2016,2064],[4,[-2004,2016,5128,8032,10064]]],
[128,0,1,-1,
"11s05A802s0F80s0404"
,[-16,-8,32,64],[-2016,1032,1064],[-2016,1064,1128,3032],[4,[-1016,-8,-4,16,4032,7128,8064]]],
[128,0,1,1,
"15s052802s0F80"
,[8,64,2016],[16,128,2032],[1128,2016,3064],[4,[-2004,2016,6032,7064,7128]]],
[128,0,1,1,
"15s052802s0F80"
,[8,64,2016],[16,1064,2032],[128,1032,2016,4064],[4,[-2004,4016,5128,7032,10064]]],
[128,0,1,1,
"11s052802"
,[8,1032,2016],[1032,1064,2016],[128,2016,3032,3064],[4,[-1004,4,1008,4128,7016,9032,10064]]],
[128,0,1,1,
"15s052802"
,[8,64,2016],[16,1064,2032],[128,1032,2016,4064],[4,[-2004,4016,6064,6128,11032]]],
[128,0,1,1,
"15s05A802s0F80"
,[8,64,2016],[128,1032,2016],[1032,1128,2016,2064],[4,[-2004,4016,5032,5064,8128]]],
[128,0,1,1,
"15s052802s0F80"
,[8,64,2016],[16,1064,2032],[128,1032,2016,4064],[4,[-2004,2016,4128,6032,13064]]],
[128,0,1,1,
"11s052802s0F80"
,[-1008,8,64,1016],[1032,1064,2016],[128,2016,3032,3064],[4,[-2004,-1008,3128,5016,8032,13064]]],
[128,0,1,1,
"15s050802s0F80"
,[-2008,32,64],[2016,2064],[16,1128,8032]],
[128,0,1,1,
"11s052802"
,[8,16,2032],[16,1064,2032],[1032,1128,2016,2064],[4,[4,2008,4032,5016,6128,9064]],
[6089,[[1016,2008],[1016,2008],[1016,2008],[1016,2008],[10\
16,2008]]]],
[128,0,1,1,
"11s052802"
,[64,1016,2008],[128,1032,2016],[1032,1128,2016,2064],[4,[-2004,-1008,5016,6128,7064,8032]]],
[128,0,1,1,
"11s050802"
,[8,1032,2016],[16,6032],[6016,6064],[4,[-1004,4,1008,1064,5016,6128,20032]],[6,[[-1004,-1002,4,1008,2001,10064,25016,32032,32128]]]],
[128,0,1,1,
"15s050802s0F80"
,[8,1032,2016],[16,1064,2032],[64,1128,2016,5032],[4,[-1004,4,1008,3128,4032,5016,15064]],[6,[[-1004,-1002,4,1008,2001,13016,23064,27128,32032]]]],
[128,0,1,1,
"11s052802s0F80"
,[8,64,2016],[16,1064,2032],[1032,1128,2016,2064],[4,[-2004,2016,6032,6128,9064]],[6,[[-2004,-2002,1,13032,16016,26064,30128]]]],
[128,0,1,1,
"15s052802"
,[8,64,2016],[16,1064,2032],[128,1032,2016,4064],[4,[-2004,4016,5128,9032,9064]]],
[128,0,1,1,
"15s058802"
,[-1008,8,64,1016],[1032,1064,2016],[128,2016,3032,3064],[4,[-2004,-1008,4128,5016,8032,11064]]],
[128,0,1,1,
"15s052802s0F80"
,[8,64,2016],[16,1064,2032],[128,1032,2016,4064],[4,[-2004,4016,6128,7064,9032]]],
[128,0,1,1,
"15s050802"
,[-1008,8,2032],[1032,1064,2016],[1128,2016,7032],[4,[4,1032,4128,8008,8016,13064]],[208,[11,21,21]]],
[128,0,1,1,
"15s052802s0F80"
,[8,64,2016],[16,1064,2032],[128,1032,2016,4064],[4,[-2004,2016,4128,8032,12064]]],
[128,0,1,1,
"15s052802"
,[8,1032,2016],[16,1064,2032],[128,1032,2016,4064],[4,[-1004,4,1008,5016,5128,8064,10032]]],
[128,0,1,1,
"15s0602"
,[64,1016,2008],[1032,1064,2016],[1128,2016,7032]],
[128,0,1,1,
"11s050802"
,[8,6016],[16,6032],[6016,6064],[4,[6004,6128,7016,23032]]],
[128,0,1,-1,
"11s05A802s0F80s0404"
,[-16,-8,32,64],[-2016,1032,1064],[-2016,1064,1128,3032],[4,[-1016,-8,-4,16,4032,7128,8064]]],
[128,0,1,1,
"11s052802s0F80"
,[8,64,2016],[1032,1064,2016],[128,2016,3032,3064],[4,[-2004,4016,4128,9032,11064]]],
[128,0,1,1,
"15s052802"
,[8,1032,2016],[16,1064,2032],[128,1032,2016,4064],[4,[-1004,4,1008,1016,4128,10032,11064]],[6,[[-1004,-1002,4,1008,2001,13016,23064,27128,32032]]]],
[128,0,1,1,
"15s050802"
,[-1008,8,1016,1032],[1032,1064,2016],[1128,2016,7032],[4,[-1004,4,4128,5032,7008,8016,11064]]],
[128,0,1,1,
"55s050802"
,[-1008,8,5016],[2016,5032],[3064,5032,6016],[4,[128,5008,6004,8016,11064,21032]]],
[128,0,1,1,
"11s052802"
,[64,1016,2008],[1032,1064,2016],[128,2016,3032,3064]],
[128,0,1,1,
"15s058802"
,[-1008,8,1016,1032],[1032,1064,2016],[128,2016,3032,3064],[4,[-1008,-1004,4,1008,4016,4128,8032,11064]],[208,[9,30,30]]],
[128,0,1,1,
"15s050802"
,[-1008,8,1016,1032],[1032,1064,2016],[1128,2016,7032],[4,[-1004,4,1032,4128,7008,8016,13064]],[208,[9,21,21]]],
[128,0,1,1,
"15s052802"
,[8,1032,2016],[16,1064,2032],[128,1032,2016,4064],[4,[-1004,4,1008,3016,5128,9032,9064]],[6,[[-1004,-1002,4,2001,3008,18016,23032,24064,28128]]]],
[128,0,1,1,
"11s05A802s0F80"
,[8,1032,2016],[1032,1064,2016],[1064,1128,2016,3032],[4,[-1004,4,1008,3016,5032,5128,11064]],[2169,[[1032,1064,2016],[1032,1064,2016],[1032,1064,2016]]
]],
[128,0,1,1,
"15s0602s0F80"
,[-1008,8,32,64],[1032,1064,2016],[1128,2016,7032]],
[128,0,1,1,
"15s0602s0F80"
,[-1008,8,64,1016],[1032,1064,2016],[1128,2016,7032],[4,[-2004,-1008,1032,3128,11016,15064]]],
[128,0,1,1,
"11s052802s0F80"
,[-1008,8,32,64],[128,1032,2016],[1032,1128,2016,2064]],
[128,0,1,1,
"15s0602s0F80"
,[-1008,8,64,1016],[128,1032,2016],[1032,2016,6064],[4,[-2004,-1008,1064,5016,7128,16032]]],
[128,0,1,-1,
"13s053002s0F80s0404"
,[-16,-8,32,64],[-16,32,64,128],[-16,1128,2032,2064]],
[128,0,1,1,
"15s0602s0F80"
,[-2008,32,64],[1032,1064,2016],[1128,2016,7032],[4,[-2008,-4,1032,5128,11016,11064]]],
[128,0,1,1,
"55s0602s0F80"
,[-2008,2032],[2016,5032],[3064,5032,6016]],
[128,0,1,1,
"15s0602s0F80"
,[-1008,8,32,64],[2016,2064],[16,1128,8032]],
[128,0,1,-1,
"11s058802s0C04004080s0404"
,[-16,-8,32,64],[-2016,128,1032],[-2016,64,1032,2128]],
[128,0,1,1,
"55s050802s0F80"
,[-1008,8,1016,1032],[2016,5032],[3064,5032,6016],[4,[-1008,-1004,4,128,1008,10016,12064,19032]]],
[128,0,1,1,
"15s052802s0F80"
,[8,1032,2016],[16,1064,2032],[128,1032,2016,4064],[4,[-1004,4,1008,3016,5128,8064,11032]]],
[128,0,1,1,
"15s050802"
,[8,64,2016],[16,1064,2032],[64,1128,2016,5032],[4,[-2004,4128,6016,6032,12064]]],
[128,0,1,1,
"15s058802s0F80"
,[8,1032,2016],[1032,1064,2016],[128,2016,3032,3064],[4,[-1004,4,1008,3016,5128,8064,11032]]],
[128,0,1,1,
"15s058802s0F80"
,[-1008,8,1016,1032],[1032,1064,2016],[128,2016,3032,3064],[4,[-1008,-1004,4,1008,4016,4128,10032,10064]]],
[128,0,1,1,
"11s050802s0F80"
,[8,1032,2016],[16,6032],[6016,6064],[4,[-1004,4,64,1008,3016,6128,23032]]],
[128,0,1,1,
"15s050802s0F80"
,[8,16,2032],[16,1064,2032],[64,1128,2016,5032],[4,[4,2008,3016,4128,5032,13064]],
[3322,[[128,2016,2064,3032],[128,2016,2064,3032],[128,2016,2\
064,3032],[128,2016,2064,3032],[3064,4016,4032],
[3064,4016,4032]]]],
[128,0,1,1,
"11s050802"
,[8,1032,2016],[16,6032],[6016,6064],[4,[-1004,4,1008,3064,5016,5128,20032]]],
[128,0,1,1,
"15s052802s0F80"
,[8,1032,2016],[16,1064,2032],[128,1032,2016,4064],[4,[-1004,4,1008,1016,4128,10064,12032]]],
[128,0,1,1,
"55s050802"
,[8,6016],[2016,5032],[3064,5032,6016],[4,[128,6004,11016,11064,21032]]],
[128,0,1,1,
"11s052802"
,[1016,1032,2008],[1032,1064,2016],[128,2016,3032,3064]],
[128,0,1,1,
"11s050802s0F80"
,[8,1032,2016],[16,6032],[6016,6064],[4,[-1004,4,1008,1016,1064,6128,22032]],[6,[[-1004,-1002,4,1008,2001,10064,17016,32128,36032]]]],
[128,0,1,1,
"15s050802s0F80"
,[-1008,8,64,1016],[1032,1064,2016],[1128,2016,7032],[4,[-2004,-1008,3032,4128,11016,12064]]],
[128,0,1,1,
"15s050802"
,[-1008,8,2032],[1032,1064,2016],[1128,2016,7032],[4,[4,1032,5128,8008,8016,11064]],[208,[11,21,21]]],
[128,0,1,1,
"15s050802"
,[-1008,8,1016,1032],[1032,1064,2016],[1128,2016,7032],[4,[-1004,4,1032,3128,7008,8016,15064]],[208,[9,21,21]]],
[128,0,1,1,
"15s052802s0F80"
,[8,64,2016],[16,128,2032],[1128,2016,3064],[4,[-2004,4016,5032,5064,8128]]],
[128,0,1,1,
"15s0602"
,[8,64,2016],[16,128,2032],[2016,7064],[4,[-2004,8016,9128,11032]]],
[128,0,1,1,
"11s050802s0F80"
,[8,1032,2016],[16,6032],[6016,6064],[4,[-1004,4,1008,1016,3064,5128,22032]]],
[128,0,1,1,
"55s050802s0F80"
,[8,1032,2016],[2016,5032],[3064,5032,6016],[4,[-1004,4,128,1008,7016,13064,19032]]],
[128,0,1,1,
"11s052802s0F80"
,[8,1032,2016],[1032,1064,2016],[128,2016,3032,3064],[4,[-1004,4,1008,3016,4128,9032,11064]]],
[128,0,1,1,
"15s052802s0F80"
,[8,1032,2016],[16,1064,2032],[128,1032,2016,4064],[4,[-1004,4,1008,1016,5128,9064,10032]],[6,[[-1004,-1002,4,1008,2001,13016,26032,26128,28064]]]],
[128,0,1,1,
"15s050802s0F80"
,[8,1032,2016],[16,1064,2032],[64,1128,2016,5032],[4,[-1004,4,1008,4128,5016,8032,11064]]],
[128,0,1,1,
"11s052802s0F80"
,[-1008,8,1016,1032],[1032,1064,2016],[128,2016,3032,3064],[4,[-1008,-1004,4,1008,3128,4016,8032,13064]]],
[128,0,1,1,
"11s050802"
,[8,32,4016],[16,6032],[6016,6064],[4,[-3004,4,8,3064,5016,5128,20032]],[6,[[-3004,-3002,8,2001,20064,26032,27128,37016]]]],
[128,0,1,1,
"15s050802s0F80"
,[8,64,2016],[16,1064,2032],[64,1128,2016,5032],[4,[-2004,2032,4128,6016,14064]],[6,[[-2004,-2002,1,8032,14016,28128,33064]]]],
[128,0,1,1,
"11s052802"
,[8,64,2016],[16,1064,2032],[1032,1128,2016,2064],[4,[-2004,2016,6128,7064,10032]]],
[128,0,1,1,
"15s052802s0F80"
,[8,1032,2016],[16,1064,2032],[128,1032,2016,4064],[4,[-1004,4,1008,3016,6128,7064,9032]],[6,[[-1004,-1002,4,1008,2001,19016,22064,23032,29128]]]],
[128,0,1,1,
"11s050802s0F80"
,[8,32,4016],[16,6032],[6016,6064],[4,[-3004,4,8,1064,3016,5128,25032]]],
[128,0,1,-1,
"11s058802s0C11004080s0404"
,[-2016,-8,64],[-6016,128],[-6016,64,2128]],
[128,0,1,1,
"15s0602s0F80"
,[8,64,2016],[16,1064,2032],[64,1128,2016,5032],[4,[-2004,3128,4032,6016,15064]]],
[128,0,1,1,
"11s05A802s0F80"
,[8,1032,2016],[1032,1064,2016],[1064,1128,2016,3032],[4,[-1004,4,1008,3016,5032,6128,9064]],[6,[[-1004,-1002,4,1008,2001,11016,18064,23032,32128]]],[2169,[[1032,1064,2016],[1032,1064,2016],[1032,1064,2016]]
]],
[128,0,1,1,
"55s050802s0F80"
,[8,1032,2016],[2016,5032],[3064,5032,6016],[4,[-1004,4,128,1008,7016,12064,21032]]],
[128,0,1,1,
"15s058802"
,[8,1032,2016],[1032,1064,2016],[128,2016,3032,3064],[4,[-1004,4,1008,3016,5128,9032,9064]],[6,[[-1004,-1002,4,1008,2001,11016,20064,27032,30128]]]],
[128,0,1,1,
"11s05A802s0F80"
,[8,16,2032],[1032,1064,2016],[1064,1128,2016,3032],[4,[4,1016,2008,6032,7064,7128]],[6,[[1004,1016,2001,2008,11064,22032,37128]]]],
[128,0,1,1,
"11s050802"
,[8,6016],[16,6032],[6016,6064],[4,[3016,6004,6128,25032]],[6,[[6001,6004,7064,30128,39016,39032]]]],
[128,0,1,1,
"15s058802s0F80"
,[8,1032,2016],[16,1064,2032],[1064,1128,2016,3032]],
[128,0,1,1,
"15s0612"
,[8,16,32,64],[16,32,64,128],[16,32,1128,3064],[4,[-8,-4,4016,5032,5064,8128]]],
[128,0,1,1,
"15s050802s0F80"
,[8,1032,2016],[16,1064,2032],[64,1128,2016,5032],[4,[-1004,4,1008,4032,4128,5016,13064]],[6,[[-1004,-1002,4,1008,2001,13016,22032,26064,28128]]],[2169,[[16,1064,2032],[16,1064,2032],[16,1064,2032]]]],
[128,0,1,1,
"15s058802s0F80"
,[8,64,2016],[1032,1064,2016],[128,2016,3032,3064],[4,[-2004,4016,5128,7032,10064]]],
[128,0,1,1,
"15s058802s0F80"
,[8,64,2016],[1032,1064,2016],[128,2016,3032,3064],[4,[-2004,4016,5032,5128,11064]],[6,[[-2004,-2002,1,10016,12032,28064,30128]]]]];