Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.
Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.
| Download
GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it
Project: cocalc-sagemath-dev-slelievre
Views: 418346#############################################################################
##
#A trans16d.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]{[901..1200]}:=
[[(1,9,2,10)(3,12)(4,11)(5,14,7,15,6,13,8,16),
(1,4,2,3)(5,9,7,12)(6,10,8,11)(15,16),"t16n901"],
[(9,10)(11,12)(13,14)(15,16),(1,6,3,7)(2,5,4,8)(9,13,11,15)(10,14,12,16),
(1,6,3,7)(2,5,4,8)(9,16,11,14)(10,15,12,13),(1,10,3,12)(2,9,4,11)(5,6)
(7,8),(1,12,4,9)(2,11,3,10)(5,13,7,16)(6,14,8,15),"t16n902"],
[(1,7,3,6)(2,8,4,5)(9,15,11,13)(10,16,12,14),(1,13,2,14)(3,16,4,15)(5,11)
(6,12)(7,9)(8,10),(5,8)(6,7)(9,10)(11,12)(13,14)(15,16),"t16n903"],
[(1,13,5,12,3,15,7,9)(2,14,6,11,4,16,8,10),
(1,3,2,4)(7,8)(9,10)(13,15,14,16),(9,12)(10,11)(13,15)(14,16),"t16n904"],
[(9,10)(11,12)(13,14)(15,16),(7,8)(13,15)(14,16),
(1,6,4,8,2,5,3,7)(9,15,12,13,10,16,11,14),
(1,12,4,10,2,11,3,9)(5,13,7,16,6,14,8,15),"t16n905"],
[(1,14,3,15,2,13,4,16)(5,9,8,12,6,10,7,11),(1,7,13,10)(2,8,14,9)(3,5,15,12)
(4,6,16,11),(1,6)(2,5)(3,8)(4,7)(9,15,10,16)(11,13,12,14),"t16n906"],
[(9,10)(11,12)(13,14)(15,16),(1,11,4,10)(2,12,3,9)(5,15,8,13)(6,16,7,14),
(1,12,3,10)(2,11,4,9)(5,13,7,16)(6,14,8,15),(1,14,2,13)(3,15,4,16)(9,10)
(11,12),"t16n907"],
[(9,10)(11,12)(13,14)(15,16),(1,2)(3,4),(1,5)(2,6)(3,7)(4,8)(9,16)(10,15)(11,14)
(12,13),(1,11)(2,12)(3,10)(4,9)(7,8)(13,14),(1,12,2,11)(3,10,4,9)(5,15)
(6,16)(7,14)(8,13),"t16n908"],
[(9,10)(11,12)(13,14)(15,16),(5,16,8,14,6,15,7,13),
(3,4)(7,8)(9,12)(10,11)(13,15)(14,16),
(1,14,3,15,2,13,4,16)(5,10,8,12,6,9,7,11),"t16n909"],
[(1,4,2,3)(5,6)(11,12)(13,16,14,15),(1,12,7,14,2,11,8,13)(3,9,5,16,4,10,6,15
),(1,16,8,10)(2,15,7,9)(3,14,6,11)(4,13,5,12),"t16n910"],
[(1,6,9,14)(2,5,10,13)(3,7,12,15)(4,8,11,16),(1,3)(2,4)(9,12)(10,11)(13,16)
(14,15),(1,15,11,6)(2,16,12,5)(3,14,10,7)(4,13,9,8),"t16n911"],
[(1,8,15,12,3,5,14,9)(2,7,16,11,4,6,13,10),(1,14,4,16)(2,13,3,15)(5,8)
(6,7)(9,10)(11,12),(1,4)(2,3)(5,9)(6,10)(7,11)(8,12)(13,15)(14,16),
"t16n912"],
[(1,16,2,15)(3,14)(4,13)(5,11,6,12)(7,9)(8,10),(1,13,2,14)(3,16,4,15)(5,12)
(6,11)(7,10)(8,9),(1,5,2,6)(3,7,4,8)(9,15,10,16)(11,14,12,13),"t16n913"
],
[(1,2)(5,12)(6,11)(7,9)(8,10)(15,16),(1,12,14,8,4,10,15,5)(2,11,13,7,3,9,16,
6),"t16n914"],
[(1,14)(2,13)(3,15)(4,16)(5,11,6,12)(7,9,8,10),(1,15,2,16)(3,13)(4,14)
(5,12,6,11)(7,10)(8,9),(1,10,3,11)(2,9,4,12)(5,14,7,16)(6,13,8,15),
"t16n915"],
[(1,11,4,9)(2,12,3,10)(5,15,8,14)(6,16,7,13),(5,8,6,7)(9,12,10,11),
(1,6)(2,5)(3,7,4,8)(9,14,10,13)(11,16)(12,15),"t16n916"],
[(1,7,9,13,4,5,11,16,2,8,10,14,3,6,12,15),
(1,16,9,7,3,13,11,5,2,15,10,8,4,14,12,6),"t16n917"],
[(1,5,4,8,2,6,3,7)(9,11)(10,12)(15,16),
(1,10,5,15,2,9,6,16)(3,12,8,13,4,11,7,14),(1,3)(2,4)(5,8)(6,7)(9,12)
(10,11)(13,15)(14,16),"t16n918"],
[(9,13)(10,14),(1,2)(3,4)(5,6)(7,8),(1,4)(2,3)(5,8)(6,7)(9,14)(10,13)(11,16)
(12,15),(1,13,2,14)(3,11,4,12)(5,10,6,9)(7,16,8,15),"t16n919"],
[(1,9,4,11)(2,10,3,12)(5,14,7,16)(6,13,8,15),
(1,16,4,13,2,15,3,14)(5,9,7,11,6,10,8,12),(1,3,2,4)(11,12)(13,15)(14,16),
"t16n920"],
[(1,2)(3,4)(9,12)(10,11)(13,15)(14,16),(1,9,6,14,3,12,8,15)(2,10,5,13,4,11,7,
16),(1,13,3,15)(2,14,4,16)(5,9,8,12)(6,10,7,11),"t16n921"],
[(1,7)(2,8)(3,5,4,6)(9,14,11,16)(10,13,12,15),(1,11)(2,12)(3,9)(4,10)(5,16)
(6,15)(7,13)(8,14),(1,4)(2,3)(11,12)(13,14)(15,16),"t16n922"],
[(1,13,7,10)(2,14,8,9)(3,16,6,11)(4,15,5,12),
(1,14,8,11,2,13,7,12)(3,15,6,9,4,16,5,10),"t16n923"],
[(1,12,3,9,2,11,4,10)(5,13,6,14)(7,16)(8,15),
(1,4,2,3)(5,11,7,10)(6,12,8,9)(15,16),"t16n924"],
[(1,7,10,13,2,8,9,14)(3,6,11,16,4,5,12,15),
(1,13,9,5,2,14,10,6)(3,16,12,8,4,15,11,7),
(1,11)(2,12)(3,10)(4,9)(5,13,8,16)(6,14,7,15),"t16n925"],
[(1,16)(2,15)(3,13,4,14)(5,9)(6,10)(7,12,8,11),
(1,12)(2,11)(3,10)(4,9)(5,13,6,14)(7,16,8,15),(1,14,2,13)(3,15,4,16)(5,9)
(6,10)(7,11)(8,12),"t16n926"],
[(1,16,2,15)(3,13)(4,14)(5,10,8,11,6,9,7,12),(1,10,3,12,2,9,4,11)(5,16)
(6,15)(7,13,8,14),(1,3)(2,4)(5,8)(6,7)(9,11)(10,12)(13,16)(14,15),
"t16n927"],
[(5,6)(7,8)(9,11,10,12)(13,15,14,16),(5,7,6,8)(9,13,10,14)(11,15,12,16),
(1,15,3,13,2,16,4,14)(5,12,8,9,6,11,7,10),"t16n928"],
[(1,14,4,16,2,13,3,15)(5,6)(7,8)(9,11,10,12),
(1,7,3,5,2,8,4,6)(9,15,10,16)(11,14,12,13),"t16n929"],
[(1,9,7,15,2,10,8,16)(3,12,5,13,4,11,6,14),(1,14,2,13)(3,16,4,15)(5,12)
(6,11)(7,9)(8,10),(1,7,2,8)(3,6,4,5)(9,15,10,16)(11,13,12,14),"t16n930"
],
[(9,10)(11,12)(13,14)(15,16),(1,2)(3,4),(1,3)(2,4)(7,8)(9,16)(10,15)(11,13)(12,14)
,(1,7,3,6,2,8,4,5)(9,13,12,15,10,14,11,16),
(1,14,4,16,2,13,3,15)(5,10,7,12,6,9,8,11),"t16n931"],
[(1,12,8,16,4,10,6,14)(2,11,7,15,3,9,5,13),(1,6,2,5)(3,8,4,7)(9,16,10,15)
(11,14,12,13),"t16n932"],
[(1,6,13,9,2,5,14,10)(3,8,16,11,4,7,15,12),(1,4,2,3)(5,8,6,7)(11,12)
(13,14),(1,4,2,3)(5,12,6,11)(7,9,8,10)(13,16,14,15),"t16n933"],
[(1,8,2,7)(3,5,4,6)(9,15,10,16)(11,14,12,13),
(1,16,7,11,4,13,5,9,2,15,8,12,3,14,6,10),"t16n934"],
[(9,10)(11,12)(13,14)(15,16),(5,10,6,9)(7,12,8,11)(13,14)(15,16),
(1,6,2,5)(3,8)(4,7)(9,16,10,15)(11,13)(12,14),
(1,9,2,10)(3,12)(4,11)(5,15)(6,16)(7,13,8,14),
(1,12)(2,11)(3,10)(4,9)(5,13)(6,14)(7,15)(8,16),"t16n935"],
[(1,2)(5,10,8,12,6,9,7,11)(13,16)(14,15),
(1,6,16,12,3,8,14,9,2,5,15,11,4,7,13,10),"t16n936"],
[(1,6,15,9,4,8,13,12,2,5,16,10,3,7,14,11),(1,8,2,7)(3,5)(4,6)(9,15,12,13)
(10,16,11,14),(1,8,3,5)(2,7,4,6)(9,13)(10,14)(11,15,12,16),"t16n937"],
[(1,3)(2,4)(5,7)(6,8)(9,10)(11,12)(13,14)(15,16),
(1,7,3,5)(2,8,4,6)(9,14,12,16)(10,13,11,15),
(1,3)(2,4)(5,12,6,11)(7,10,8,9)(13,16)(14,15),"t16n938"],
[(1,5,3,8)(2,6,4,7)(9,15,11,13)(10,16,12,14),
(1,12,8,13,2,11,7,14)(3,9,6,15,4,10,5,16),
(1,13,7,12,2,14,8,11)(3,16,5,10,4,15,6,9),"t16n939"],
[(1,5,9,14,4,7,12,15)(2,6,10,13,3,8,11,16),
(1,8,11,15,4,6,10,14)(2,7,12,16,3,5,9,13),
(1,15)(2,16)(3,13)(4,14)(5,12,6,11)(7,9,8,10),"t16n940"],
[(1,11,14,8,4,10,16,5,2,12,13,7,3,9,15,6),(1,3,2,4)(5,10,8,11,6,9,7,12),
"t16n941"],
[(1,5,13,9,3,8,15,11,2,6,14,10,4,7,16,12),(1,5)(2,6)(3,7,4,8)(9,13,11,15)
(10,14,12,16),(1,3)(2,4)(5,8)(6,7)(11,12)(15,16),"t16n942"],
[(1,15,2,16)(3,13,4,14)(5,8,6,7)(9,12,10,11),
(1,10,16,7,3,11,13,6,2,9,15,8,4,12,14,5),
(1,14,3,16,2,13,4,15)(5,12,7,10,6,11,8,9),"t16n943"],
[(1,9,16,5)(2,10,15,6)(3,11,13,8,4,12,14,7),(1,14,2,13)(3,16,4,15)(5,6)
(7,8)(9,10),"t16n944"],
[(1,6,3,8,2,5,4,7)(9,13,12,15,10,14,11,16),(1,9)(2,10)(3,11)(4,12)(5,14)
(6,13)(7,15)(8,16),(1,11,14,8,2,12,13,7)(3,9,16,5,4,10,15,6),"t16n945"],
[(1,15,2,16)(3,13,4,14)(5,8)(6,7)(9,12)(10,11),
(1,5,16,10)(2,6,15,9)(3,8,13,12)(4,7,14,11),
(1,6,4,8,2,5,3,7)(9,15,11,14,10,16,12,13),"t16n946"],
[(1,12,14,8,2,11,13,7)(3,10,16,5,4,9,15,6),(1,13,4,15,2,14,3,16)(5,7)(6,8)
(9,11)(10,12),"t16n947"],
[(9,10)(11,12)(13,14)(15,16),(5,7)(6,8)(9,11)(10,12)(13,14)(15,16),
(1,5,4,8,2,6,3,7)(9,13,11,16,10,14,12,15),
(1,10,3,12,2,9,4,11)(5,14,8,15,6,13,7,16),"t16n948"],
[(1,15,4,14)(2,16,3,13)(5,9,8,11)(6,10,7,12),(1,2)(5,10,7,11)(6,9,8,12)
(13,15,14,16),(1,12,15,5,2,11,16,6)(3,10,14,7,4,9,13,8),"t16n949"],
[(1,13)(2,14)(3,16)(4,15)(5,6)(7,8),(1,7,15,12)(2,8,16,11)(3,6,14,9)
(4,5,13,10),(1,10,4,11)(2,9,3,12)(5,16,7,13)(6,15,8,14),"t16n950"],
[(9,10)(11,12)(13,14)(15,16),(1,2)(3,4)(5,9)(6,10)(7,12)(8,11),
(1,4,2,3)(5,7,6,8),(1,12,3,10,2,11,4,9)(5,14,8,15,6,13,7,16),"t16n951"],
[(1,6,16,10,2,5,15,9)(3,8,14,11)(4,7,13,12),(1,2)(5,11)(6,12)(7,9)(8,10),
"t16n952"],
[(1,10,3,11)(2,9,4,12)(5,13,7,16)(6,14,8,15),(1,2)(5,7,6,8)(9,12)(10,11),
(1,14,2,13)(3,16,4,15)(5,9)(6,10)(7,12)(8,11),"t16n953"],
[(1,10)(2,9)(3,11,4,12)(5,13,8,15,6,14,7,16),(1,13)(2,14)(3,15)(4,16)(5,6)
(7,8)(9,11)(10,12),"t16n954"],
[(1,8,16,11,2,7,15,12)(3,6,13,9,4,5,14,10),(1,15,4,13)(2,16,3,14)(5,8,6,7)
(9,12,10,11),"t16n955"],
[(1,7,14,11)(2,8,13,12)(3,5,15,9)(4,6,16,10),(1,9,4,11)(2,10,3,12)
(5,13,7,15)(6,14,8,16),(1,9,15,5)(2,10,16,6)(3,12,14,8)(4,11,13,7),
"t16n956"],
[(1,10,3,12,2,9,4,11)(5,14)(6,13)(7,15)(8,16),(1,13,4,15,2,14,3,16)(7,8)
(9,10),"t16n957"],
[(1,7,6,3)(2,8,5,4)(9,15,14,12)(10,16,13,11),(1,16,6,11,2,15,5,12)
(3,13,8,9,4,14,7,10),(1,2)(7,8),"t16n958"],
[(1,16,6,12,2,15,5,11)(3,9,7,14,4,10,8,13),
(1,13,4,12,6,10,8,16,2,14,3,11,5,9,7,15),
(1,2)(3,8)(4,7)(9,16,13,11,10,15,14,12),"t16n959"],
[(1,4,2,3)(5,12)(6,11)(7,9)(8,10)(13,16,14,15),
(1,7,14,9)(2,8,13,10)(3,5,15,11)(4,6,16,12),(1,11)(2,12)(3,10)(4,9)(5,15)
(6,16)(7,13)(8,14),"t16n960"],
[(1,8)(2,7)(3,5)(4,6)(9,13,10,14)(11,16,12,15),(5,12)(6,11)(7,10)(8,9),
(1,7,3,6,2,8,4,5)(9,13,12,15,10,14,11,16),"t16n961"],
[(1,8,2,7)(3,6,4,5)(9,16)(10,15)(11,14)(12,13),
(1,16,10,8,3,13,12,5)(2,15,9,7,4,14,11,6),
(1,6,11,14,3,8,9,16)(2,5,12,13,4,7,10,15),"t16n962"],
[(1,16,4,13)(2,15,3,14)(5,10,8,12)(6,9,7,11),
(1,7,3,5)(2,8,4,6)(9,13,12,15)(10,14,11,16),(5,8,6,7)(9,11)(10,12)(15,16),
"t16n963"],
[(1,13)(2,14)(3,15)(4,16)(5,9)(6,10)(7,11)(8,12),(1,11,8,13)(2,12,7,14)
(3,10,6,16)(4,9,5,15),(1,16,5,12)(2,15,6,11)(3,13,4,14)(7,9,8,10),
"t16n964"],
[(1,10,3,11)(2,9,4,12)(5,14,7,16)(6,13,8,15),(1,2)(3,4)(5,7)(6,8)(13,15)
(14,16),(1,7,15,12,2,8,16,11)(3,5,14,10,4,6,13,9),"t16n965"],
[(1,5,3,8)(2,6,4,7)(9,15,12,13)(10,16,11,14),
(1,8)(2,7)(3,6)(4,5)(9,15,10,16)(11,13,12,14),
(1,14,4,16,2,13,3,15)(5,11,7,9,6,12,8,10),"t16n966"],
[(1,6)(2,5)(7,8)(9,16,13,11,10,15,14,12),
(1,9,8,16,5,14,4,12,2,10,7,15,6,13,3,11),(1,4,6,8,2,3,5,7)(9,11,10,12)
(13,16,14,15),"t16n967"],
[(1,3,6,7,2,4,5,8)(9,11,13,16,10,12,14,15),(1,16,6,12)(2,15,5,11)(3,14,8,9)
(4,13,7,10),(1,8,5,4,2,7,6,3)(9,15,14,11,10,16,13,12),"t16n968"],
[(1,13,8,16,6,10,3,11)(2,14,7,15,5,9,4,12),
(1,12)(2,11)(3,9,8,14)(4,10,7,13)(5,16)(6,15),
(1,3,2,4)(5,7,6,8)(9,15,13,11)(10,16,14,12),"t16n969"],
[(9,10)(11,12)(13,14)(15,16),(1,2)(5,10,6,9)(7,12,8,11)(13,14)(15,16),
(1,4)(2,3)(5,8)(6,7)(9,11)(10,12)(13,15)(14,16),
(1,12,2,11)(3,10)(4,9)(5,13)(6,14)(7,15,8,16),"t16n970"],
[(1,10,16,5)(2,9,15,6)(3,11,13,8)(4,12,14,7),
(1,10,15,7,2,9,16,8)(3,12,14,5,4,11,13,6),(1,15,4,13)(2,16,3,14)(5,7)
(6,8)(9,10)(11,12),"t16n971"],
[(1,2)(3,4)(5,6)(7,8),(1,8)(2,7)(3,5)(4,6)(9,13,10,14)(11,15,12,16),
(1,13,5,10)(2,14,6,9)(3,11)(4,12)(7,16,8,15),
(1,13,2,14)(3,11,4,12)(5,10,6,9)(7,16,8,15),"t16n972"],
[(1,9,15,5,2,10,16,6)(3,12,14,8,4,11,13,7),(1,11,2,12)(3,9,4,10)(5,15)
(6,16)(7,14)(8,13),(1,3)(2,4)(5,9)(6,10)(7,11)(8,12)(13,16)(14,15),
"t16n973"],
[(1,15,3,14,2,16,4,13)(5,9,7,12,6,10,8,11),(1,9)(2,10)(3,11)(4,12)
(5,14,6,13)(7,15,8,16),(1,8,16,11)(2,7,15,12)(3,5,13,9)(4,6,14,10),
"t16n974"],
[(1,6)(2,5)(3,7)(4,8)(9,13)(10,14)(11,16)(12,15),(3,4)(5,14,6,13)(7,15,8,16)
(9,12)(10,11),(1,13,3,16,2,14,4,15)(5,11,7,9,6,12,8,10),"t16n975"],
[(1,14)(2,13)(3,15)(4,16)(5,11)(6,12)(7,10)(8,9),
(1,12)(2,11)(3,10)(4,9)(5,16,8,14,6,15,7,13),
(1,16,3,13,2,15,4,14)(5,9,6,10)(7,12,8,11),"t16n976"],
[(1,5,4,7,2,6,3,8)(9,15,10,16)(11,14,12,13),(1,11,3,9,2,12,4,10)(5,13)
(6,14)(7,15)(8,16),(1,3)(2,4)(5,7)(6,8)(9,11)(10,12)(15,16),"t16n977"],
[(1,12,3,10)(2,11,4,9)(5,13)(6,14)(7,15)(8,16),
(1,16,4,14,2,15,3,13)(5,9,6,10)(7,12)(8,11),(1,13,2,14)(3,15,4,16)(5,11)
(6,12)(7,10)(8,9),"t16n978"],
[(1,13,2,14)(3,16,4,15)(5,9,6,10)(7,11,8,12),
(1,14,6,9)(2,13,5,10)(3,15,4,16)(7,12)(8,11),
(1,16,3,14,2,15,4,13)(5,11,7,10,6,12,8,9),"t16n979"],
[(1,12,15,6,2,11,16,5)(3,10,14,8,4,9,13,7),
(1,6,3,7,2,5,4,8)(9,13,11,15,10,14,12,16),
(1,14,3,15,2,13,4,16)(5,10,8,11,6,9,7,12),"t16n980"],
[(1,11,2,12)(3,9,4,10)(5,14)(6,13)(7,15)(8,16),
(1,5)(2,6)(3,7,4,8)(9,15,11,14,10,16,12,13),(1,11,4,10)(2,12,3,9)(5,13)
(6,14)(7,15)(8,16),"t16n981"],
[(1,11,4,9,2,12,3,10)(5,16,7,13,6,15,8,14),(1,15,2,16)(3,13)(4,14)(5,9)
(6,10)(7,12,8,11),(1,8,2,7)(3,6,4,5)(9,13)(10,14)(11,15)(12,16),
"t16n982"],
[(1,7,2,8)(3,5,4,6)(9,14,10,13)(11,15,12,16),(1,6,14,12)(2,5,13,11)
(3,7,15,9)(4,8,16,10),(1,9,4,11)(2,10,3,12)(5,16,7,14)(6,15,8,13),
"t16n983"],
[(1,16)(2,15)(3,14)(4,13)(5,12,6,11)(7,9,8,10),(1,11,2,12)(3,9)(4,10)
(5,15,6,16)(7,14)(8,13),(1,14)(2,13)(3,11,4,12)(5,10)(6,9)(7,15,8,16),
"t16n984"],
[(1,13,2,14)(3,12)(4,11)(5,10,6,9)(7,16)(8,15),(1,15)(2,16)(3,13,4,14)
(5,12,6,11)(7,9)(8,10),(1,2)(7,8)(9,10)(13,14),"t16n985"],
[(1,7,2,8)(3,6,4,5)(9,13)(10,14)(11,16)(12,15),(1,3,2,4)(9,12,10,11)(13,14)
(15,16),(1,9,13,7)(2,10,14,8)(3,12,15,6)(4,11,16,5),"t16n986"],
[(9,10)(11,12)(13,14)(15,16),(5,9)(6,10)(7,12)(8,11),
(1,4)(2,3)(5,7)(6,8)(9,10)(13,14),
(1,12,4,9,2,11,3,10)(5,14,8,15,6,13,7,16),"t16n987"],
[(5,9)(6,10)(7,11)(8,12)(13,14),(1,8,16,12)(2,7,15,11)(3,6,14,9,4,5,13,10),
(1,5,16,10,2,6,15,9)(3,7,14,11)(4,8,13,12),"t16n988"],
[(1,6,11,15,3,8,10,14,2,5,12,16,4,7,9,13),(1,4)(2,3)(5,14,6,13)(7,15,8,16)
(9,10),(1,10,2,9)(3,12,4,11)(5,14,6,13)(7,16,8,15),"t16n989"],
[(1,16,9,7,3,13,11,5,2,15,10,8,4,14,12,6),(1,10)(2,9)(3,12)(4,11)(5,6)
(13,15)(14,16),"t16n990"],
[(1,16,4,14)(2,15,3,13)(5,11,7,9)(6,12,8,10),(1,14,3,16)(2,13,4,15)
(5,12,8,9)(6,11,7,10),(1,7,2,8)(3,5)(4,6)(9,16)(10,15)(11,13,12,14),
"t16n991"],
[(1,11,2,12)(3,10,4,9)(5,8,6,7)(15,16),(1,16,3,13,2,15,4,14)(5,12,8,9,6,
11,7,10),"t16n992"],
[(1,3,2,4)(5,7,6,8)(9,12,10,11)(13,15,14,16),(1,2)(3,4)(5,14)(6,13)(7,16)
(8,15)(9,12)(10,11),(1,16,4,14)(2,15,3,13)(5,11,7,10)(6,12,8,9),"t16n993"
],
[(1,16,8,10,5,12,4,13,2,15,7,9,6,11,3,14),(1,3)(2,4)(5,7)(6,8)(9,11,13,
15,10,12,14,16),(1,13,6,10,2,14,5,9)(3,12,7,16,4,11,8,15),"t16n994"],
[(1,12,2,11)(3,10,4,9)(13,16)(14,15),(1,6,4,8)(2,5,3,7)(9,13,11,15)
(10,14,12,16),(1,5,9,13,4,8,12,15)(2,6,10,14,3,7,11,16),"t16n995"],
[(1,11)(2,12)(3,10)(4,9)(5,13,6,14)(7,15,8,16),(1,7)(2,8)(3,6)(4,5)(9,14)
(10,13)(11,15)(12,16),(1,5,4,8)(2,6,3,7)(9,14,11,16)(10,13,12,15),"t16n996"
],
[(1,6)(2,5)(3,8)(4,7)(9,16)(10,15)(11,14)(12,13),(1,5,15,10)(2,6,16,9)(3,7,
14,11)(4,8,13,12),(5,10,7,11,6,9,8,12)(13,16,14,15),"t16n997"],
[(9,10)(11,12)(13,14)(15,16),(3,4)(5,10)(6,9)(7,12)(8,11)(13,14),
(1,2)(3,4)(5,8,6,7)(9,10)(11,12)(13,16,14,15),
(1,12,3,9,2,11,4,10)(5,13,7,16,6,14,8,15),"t16n998"],
[(3,4)(5,16,6,15)(7,13,8,14)(9,11,10,12),
(1,15,9,8,4,13,11,5)(2,16,10,7,3,14,12,6),"t16n999"],
[(1,8,2,7)(3,5,4,6)(9,14)(10,13)(11,15)(12,16),(1,13)(2,14)(3,16,4,15)(5,11)
(6,12)(7,10,8,9),(1,2)(3,4)(5,10,6,9)(7,11,8,12)(15,16),"t16n1000"],
[(1,8,3,6,2,7,4,5)(9,15,12,13,10,16,11,14),
(1,5,11,13,4,7,9,16,2,6,12,14,3,8,10,15),
(1,14,4,16,2,13,3,15)(5,9,8,12,6,10,7,11),"t16n1001"],
[(1,5)(2,6)(3,7,4,8)(9,16,12,14,10,15,11,13),
(1,14,2,13)(3,16,4,15)(5,11,6,12)(7,10,8,9),(1,2)(3,4)(5,7,6,8)(9,11)
(10,12)(13,15,14,16),"t16n1002"],
[(1,15,4,13)(2,16,3,14)(5,11,8,10)(6,12,7,9),(1,4,2,3)(5,8,6,7)(9,10)
(11,16)(12,15),(1,3,5,8,2,4,6,7)(11,16)(12,15)(13,14),"t16n1003"],
[(1,14,10,5,2,13,9,6)(3,15,11,7,4,16,12,8),
(1,13,12,8,4,16,9,5,2,14,11,7,3,15,10,6),"t16n1004"],
[(1,8,5,4,2,7,6,3)(9,14,10,13)(11,15,12,16),
(1,10,4,11,5,13,7,16,2,9,3,12,6,14,8,15),(1,5)(2,6)(7,8)(9,14,10,13)
(11,16,12,15),"t16n1005"],
[(1,6,9,16,4,7,12,14,2,5,10,15,3,8,11,13),(3,4)(5,13,6,14)(7,16,8,15)(9,12)
(10,11),(1,13)(2,14)(3,15)(4,16)(5,10,6,9)(7,12,8,11),"t16n1006"],
[(1,5)(2,6)(3,8,4,7)(9,14,10,13)(11,16)(12,15),(1,11,2,12)(3,9,4,10)(5,6)
(7,8)(13,15,14,16),"t16n1007"],
[(1,8,3,6)(2,7,4,5)(9,16,12,13)(10,15,11,14),
(1,16)(2,15)(3,14,4,13)(5,10,6,9)(7,11)(8,12),
(1,2)(5,8)(6,7)(9,11)(10,12)(13,14),"t16n1008"],
[(1,7,2,8)(3,5,4,6)(11,12)(13,15,14,16),(1,11,3,9)(2,12,4,10)(5,14,7,15)
(6,13,8,16),(1,4,2,3)(5,7,6,8)(9,10)(13,14),"t16n1009"],
[(1,5)(2,6)(3,7,4,8)(9,13)(10,14)(11,15,12,16),
(1,10,3,12,2,9,4,11)(5,14,7,16,6,13,8,15),(3,4)(5,8,6,7)(9,12)(10,11)
(13,14)(15,16),"t16n1010"],
[(1,2)(3,4)(9,12,10,11)(13,16,14,15),(1,16,12,7,3,13,9,6,2,15,11,8,4,14,10,5)
,(1,5,3,8,2,6,4,7)(9,16,11,14,10,15,12,13),"t16n1011"],
[(3,4)(5,15,6,16)(7,14,8,13)(9,12)(10,11),
(1,13,10,5,3,16,12,7,2,14,9,6,4,15,11,8),
(1,15,2,16)(3,13,4,14)(5,10,6,9)(7,12,8,11),"t16n1012"],
[(1,11)(2,12)(3,10,4,9)(5,14,6,13)(7,15)(8,16),
(1,5,3,8,2,6,4,7)(9,15,12,14,10,16,11,13),(1,2)(3,4)(5,8)(6,7)(9,12)
(10,11)(13,14)(15,16),"t16n1013"],
[(1,14,2,13)(3,16,4,15)(5,9,6,10)(7,12,8,11),
(1,13,4,15,2,14,3,16)(5,10,8,11,6,9,7,12),(1,3,2,4)(9,15)(10,16)(11,14)
(12,13),"t16n1014"],
[(1,8,4,5,2,7,3,6)(9,13,11,16,10,14,12,15),(1,7,2,8)(3,6)(4,5)
(9,16,10,15)(11,13)(12,14),(1,9,4,12)(2,10,3,11)(5,13,7,15)(6,14,8,16),
"t16n1015"],
[(1,2)(3,4)(5,13)(6,14)(7,16)(8,15)(9,12)(10,11),(1,8,9,14,4,6,12,15)
(2,7,10,13,3,5,11,16),(1,16,9,6,4,14,12,7)(2,15,10,5,3,13,11,8),
"t16n1016"],
[(1,15,10,5,4,13,11,8)(2,16,9,6,3,14,12,7),(1,4,2,3)(5,16,8,13)(6,15,7,14)
(9,11,10,12),(1,3,2,4)(7,8)(11,12)(13,15,14,16),"t16n1017"],
[(1,4)(2,3)(5,7)(6,8)(11,12)(13,16)(14,15),(1,16,12,6)(2,15,11,5)(3,14,10,8)
(4,13,9,7),"t16n1018"],
[(1,6,11,15,2,5,12,16)(3,8,10,13,4,7,9,14),(1,4)(2,3)(5,7,6,8)
(13,16,14,15),"t16n1019"],
[(1,5,4,8)(2,6,3,7)(9,13)(10,14)(11,16,12,15),(1,11,2,12)(3,9,4,10)
(5,16,8,13,6,15,7,14),(1,7)(2,8)(3,6)(4,5)(9,15,10,16)(11,13,12,14),
"t16n1020"],
[(1,8)(2,7)(3,5)(4,6)(9,14)(10,13)(11,16)(12,15),(1,7,4,6,2,8,3,5)
(9,15,12,13,10,16,11,14),(1,14,2,13)(3,15,4,16)(5,9)(6,10)(7,11)(8,12),
"t16n1021"],
[(1,15,8,14)(2,16,7,13)(3,10,5,12)(4,9,6,11),(3,4)(7,8)(9,13)(10,14)(11,12),
(1,14,6,10,2,13,5,9)(3,15,7,11,4,16,8,12),"t16n1022"],
[(1,15,3,14)(2,16,4,13)(5,11,8,10)(6,12,7,9),(1,4)(2,3)(7,8)(11,12)(13,15)
(14,16),(1,9)(2,10)(3,12)(4,11)(5,16)(6,15)(7,13)(8,14),"t16n1023"],
[(3,4)(5,8,6,7)(9,11)(10,12)(13,14)(15,16),
(1,8,3,5,2,7,4,6)(9,14,11,15,10,13,12,16),
(1,14,3,16,2,13,4,15)(5,11,8,9,6,12,7,10),"t16n1024"],
[(1,2)(5,6)(9,13)(10,14),(1,8,2,7)(3,5,4,6),(1,13,2,14)(3,12,4,11)(5,9,6,10)
(7,16,8,15),"t16n1025"],
[(1,8,11,14)(2,7,12,13)(3,6,10,16)(4,5,9,15),(1,11,2,12)(3,9,4,10)
(5,13,7,15)(6,14,8,16),"t16n1026"],
[(1,2)(3,16,5,4,15,6)(7,14,9,8,13,10)(11,12),(1,9,3,14,16,11,2,10,4,13,15,12)
(5,8,6,7),"t16n1027"],
[(1,2)(3,4)(5,6)(7,13,9,8,14,10)(11,12)(15,16),(1,6)(2,5)(3,15)(4,16)(7,9)
(8,10)(11,13)(12,14),(1,13)(2,14)(3,9)(4,10)(5,12)(6,11)(7,15)(8,16),
"t16n1028"],
[(1,6,9,3,5,12)(2,7,11,4,8,10)(13,15)(14,16),(1,7,16)(2,5,14)(3,6,13)
(4,8,15)(10,12,11),"t16n1029"],
[(1,12,2,9,14,3,13,6)(4,16,8,10,11,15,7,5),
(1,7,12)(2,8,16)(3,13,4)(5,6,9)(11,15,14),"t16n1030"],
[(1,14,15,12)(2,13,16,11)(3,9,4,10)(5,7,6,8),
(1,12,2,11)(3,7,16,9)(4,8,15,10)(5,13,6,14),"t16n1031"],
[(1,11,16,7,4,10)(2,12,15,8,3,9)(5,14)(6,13),
(1,8,5,12,16,9)(2,7,6,11,15,10)(3,14)(4,13),"t16n1032"],
[(1,16,10,7)(2,15,9,8)(3,13,12,6)(4,14,11,5),(1,10,16,3,9,14,4,11,13,2,12,15)
(5,6,8,7),"t16n1033"],
[(1,16,15,13,8,11)(2,10,14)(3,5,12,7,9,4),(1,15,8,6)(2,14,11,7)(3,13,10,4)
(5,16,12,9),"t16n1034"],
[(1,5,10,14)(2,6,9,13)(3,12,15,8)(4,11,16,7),(1,15,3,7,6,11,13,10)
(2,16,4,8,5,12,14,9),"t16n1035"],
[(1,8,16,5,11,4,10)(2,7,15,6,12,3,9),
(1,4,13,5,7,16,11,9,2,3,14,6,8,15,12,10),"t16n1036"],
[(1,13,10,3,16,11,2,14,9,4,15,12)(5,8,6,7),(1,2)(7,8)(11,12)(15,16),
(3,4)(5,16,10,6,15,9)(7,14,12)(8,13,11),"t16n1037"],
[(1,2)(5,11,16)(6,12,15)(7,10,13,8,9,14),(1,6,16,3,8,14,2,5,15,4,7,13)
(9,11,10,12),"t16n1038"],
[(1,8)(2,5,3,7,4,6)(9,13,10,16,12,15)(11,14),(2,3,4)(5,6,8)(9,10,12)
(14,15,16),(1,12)(2,9,3,11,4,10)(5,14,8,16,7,13)(6,15),"t16n1039"],
[(1,7,9,3,5,12,2,8,10,4,6,11)(13,16,14,15),(1,13,11)(2,14,12)(3,15,9,4,16,10)
(5,6),"t16n1040"],
[(1,5,11,16)(2,6,12,15)(3,7,9,14)(4,8,10,13),(1,10,2,11,4,12)(3,9)(5,15)
(6,14,7,16,8,13),"t16n1041"],
[(1,15,11,4,13,12)(2,14,9,3,16,10)(5,7,8),(1,4,2)(5,11,13,6,10,15)
(7,12,16,8,9,14),(1,15,2,16)(3,13,4,14)(5,10,6,9)(7,12,8,11),"t16n1042"]
,
[(1,8,16,4,6,13,2,7,15,3,5,14)(9,11,10,12),(1,13)(2,14)(3,15,4,16)(5,12)(6,
11)(7,9,8,10),"t16n1043"],
[(1,10,14,7,2,9,13,8)(3,12,15,5,4,11,16,6),(1,2)(5,13)(6,14)(7,16)(8,15)
(11,12),(1,14)(2,13)(3,16)(4,15)(7,8)(11,12),"t16n1044"],
[(1,6,8,4,9,14,16,11)(2,5,7,3,10,13,15,12),(1,11)(2,12)(3,10)(4,9),
(1,2)(3,8,5,11,15,14)(4,7,6,12,16,13)(9,10),"t16n1045"],
[(1,2)(3,4)(5,14,11)(6,13,12)(7,16,10)(8,15,9),(1,9,2,10)(3,11,4,12)(5,15)
(6,16)(7,14)(8,13),(1,10)(2,9)(3,12)(4,11)(5,8,6,7)(13,15,14,16),
"t16n1046"],
[(1,4)(2,3)(5,7)(6,8)(9,11)(10,12)(13,16)(14,15),(1,12,15,2,11,16)(3,10,13)
(4,9,14)(5,6),(1,6)(2,5)(3,7)(4,8)(9,11,10,12)(13,15,14,16),"t16n1047"]
,
[(1,16,8,12)(2,15,7,11)(3,13,5,10)(4,14,6,9),(1,8,15,2,7,16)(3,6,13)(4,5,
14)(9,10),(1,6,16,3,7,14)(2,5,15,4,8,13)(9,12)(10,11),"t16n1048"],
[(1,9,2,10)(3,12)(4,11)(5,13)(6,14)(7,16,8,15),
(1,9,3,16,7,14)(2,10,4,15,8,13)(5,11)(6,12),
(1,15,2,16)(3,9,4,10)(5,12,6,11)(7,14,8,13),"t16n1049"],
[(1,15)(2,16)(3,13)(4,14)(5,7,6,8)(9,11,10,12),
(1,10,13)(2,9,14)(3,12,16,4,11,15)(5,6),
(1,12,13,5,2,11,14,6)(3,10,16,7,4,9,15,8),"t16n1050"],
[(1,9,16,6)(2,10,15,5)(3,12,14,7)(4,11,13,8),
(1,8,16,2,7,15)(3,6,14)(4,5,13)(9,10),(1,10)(2,9)(3,12)(4,11)(5,15,6,16)
(7,13,8,14),"t16n1051"],
[(1,11,8,13,2,12,7,14)(3,15,5,9,4,16,6,10),(1,14,2,13)(3,15,4,16)(5,12,6,11)
(7,10,8,9),(1,9,5,16,7,12)(2,10,6,15,8,11)(3,13)(4,14),"t16n1052"],
[(1,5)(2,6)(11,15)(12,16),(1,11,8,10)(2,12,7,9)(3,16,6,13)(4,15,5,14),
(1,9,2,10)(3,11,4,12)(5,13,6,14)(7,15,8,16),"t16n1053"],
[(1,5,3,8,2,6,4,7)(9,16,11,13,10,15,12,14),
(1,15)(2,16)(3,12,4,11)(5,13,6,14)(7,9)(8,10),
(1,11,2,12)(3,13,4,14)(5,16,6,15)(7,9,8,10),"t16n1054"],
[(1,11)(2,12)(3,14,4,13)(5,15)(6,16)(7,10,8,9),(1,14)(2,13)(3,16)(4,15)(5,10)
(6,9)(7,12)(8,11),(1,9,3,16,8,14,2,10,4,15,7,13)(5,12,6,11),"t16n1055"]
,
[(1,11,15,7,2,12,16,8)(3,10,13,5,4,9,14,6),(1,16,11,7)(2,15,12,8)(3,13,10,6)
(4,14,9,5),(1,13,11,4,15,9,2,14,12,3,16,10)(5,8,6,7),"t16n1056"],
[(1,16,6,4,13,8,2,15,5,3,14,7)(9,12,10,11),(1,13,2,14)(3,15,4,16)(5,6)
(9,10),(1,11,14)(2,12,13)(3,10,15)(4,9,16)(5,6)(7,8),"t16n1057"],
[(1,9,8,11)(2,10,7,12)(3,15,5,14)(4,16,6,13),
(1,14,6,16,7,12)(2,13,5,15,8,11)(3,9)(4,10),
(1,15,3,10)(2,16,4,9)(5,13,8,11)(6,14,7,12),"t16n1058"],
[(1,8,2,7)(3,6,4,5)(9,16,11,14)(10,15,12,13),
(1,10,7,3,9,6)(2,11,5,4,12,8)(13,15,16),"t16n1059"],
[(1,14,12,7,3,16,9,5,2,13,11,8,4,15,10,6),(1,6,11,3,8,10,2,5,12,4,7,9)
(13,15,14,16),(1,14,3,15,2,13,4,16)(5,9,7,11,6,10,8,12),"t16n1060"],
[(3,4)(5,16)(6,15)(7,14)(8,13)(9,12,10,11),(1,13,9,2,14,10)(3,16,12,4,15,11),
"t16n1061"],
[(1,16,8,12)(2,15,7,11)(3,9,5,13)(4,10,6,14),(1,8,2,7)(9,14,12,16,10,13,11,15
),"t16n1062"],
[(1,12,15,5)(2,9,16,7)(3,10,14,8)(4,11,13,6),(1,11,3,12)(2,9,4,10)(6,8)
(13,14,15,16),"t16n1063"],
[(1,3,2,4)(5,12,6,11)(7,9,8,10),(1,16,10,3,13,12,2,15,9,4,14,11)(5,7,6,8)
,(1,10,7,3,12,6,2,9,8,4,11,5)(13,16,14,15),"t16n1064"],
[(1,12,3,9,4,11)(2,10)(5,16,7,13,8,15)(6,14),
(1,7,9,16,3,5,11,14)(2,6,10,13,4,8,12,15),"t16n1065"],
[(1,5)(2,6)(3,4)(9,14)(10,13)(11,12),(1,2)(3,15,6,11,7,14)(4,16,5,12,8,13)
(9,10),"t16n1066"],
[(1,14,2,13)(3,15,6,11,8,10,4,16,5,12,7,9),(1,12,6,13,2,11,5,14)
(3,15,7,10,4,16,8,9),"t16n1067"],
[(1,7,3,5)(2,6,4,8)(9,13,11,15)(10,16,12,14),
(1,15,4,14)(2,16,3,13)(5,12,8,9)(6,11,7,10),(1,10)(2,9)(3,11)(4,12)(5,14)
(6,13)(7,15)(8,16),"t16n1068"],
[(1,3)(2,4)(5,14)(6,13)(7,15)(8,16)(9,11,10,12),
(1,15,7,12)(2,16,8,11)(3,14,5,9,4,13,6,10),"t16n1069"],
[(1,12,14,5)(2,9,13,7)(3,10,15,8)(4,11,16,6),
(1,16,11)(2,14,9)(3,15,10)(4,13,12)(6,7,8),"t16n1070"],
[(9,10)(11,12)(13,14)(15,16),(1,7,11)(2,8,12)(3,6,9)(4,5,10),
(1,11,3,9)(2,12,4,10)(5,15,8,13)(6,16,7,14),
(1,12,4,9)(2,11,3,10)(5,13,7,16)(6,14,8,15),"t16n1071"],
[(1,5,3,7,2,6,4,8)(9,16,11,14,10,15,12,13),(1,9,14,2,10,13)(3,12,16,4,11,15)
(5,6)(7,8),(1,11,13,2,12,14)(3,9,15,4,10,16)(5,6)(7,8),"t16n1072"],
[(1,16,10)(2,14,12)(3,15,11)(4,13,9)(6,7,8),
(1,16,9,7,3,15,11,8)(2,13,10,6,4,14,12,5),"t16n1073"],
[(1,10,6,16,4,12,8,13)(2,9,5,15,3,11,7,14),
(1,14,12,6,2,15,11,7)(3,13,10,5,4,16,9,8),"t16n1074"],
[(1,15,6,13,7,11,5,16,3,12,8,9,4,14)(2,10),
(1,8,3,4,2,7,5)(10,14,15,12,11,13,16),"t16n1075"],
[(1,3,10,14,6,12,8,2,4,9,13,5,11,7)(15,16),
(1,16,12,9,6,13,8,2,15,11,10,5,14,7)(3,4),"t16n1076"],
[(1,7,3,15,5,11,10)(2,8,4,16,6,12,9),(3,12,6,10,16,13,7)(4,11,5,9,15,14,8),
"t16n1077"],
[(1,8,2,4,7,3,6)(9,10,12,14,15,16,13),(1,9,3,16)(2,15,8,14)(4,13,6,12)
(5,10,7,11),"t16n1078"],
[(1,14,12,8,13,16,6,7,15,4,3,10,9,5,11),(1,8,13,16)(2,14,6,10)(3,7)
(4,5,12,9),"t16n1079"],
[(1,2,7,10,5)(3,9,16,12,13)(4,15,8,14,6),(1,4,15)(2,16,8)(3,12,5)(6,7,11)
(9,14,13),"t16n1080"],
[(1,3,6,11,9,12)(2,8)(4,14)(5,16,13,15,10,7),(1,9,12,4)(2,10,15,7)
(3,8,14,5)(6,16,11,13),"t16n1081"],
[(1,2)(15,16),(1,2)(7,8),(1,2)(3,4),(1,6)(2,5)(3,16)(4,15)(7,12)(8,11)(9,14)
(10,13),(1,10)(2,9)(3,12,4,11)(5,13,6,14)(7,15)(8,16),
(1,15)(2,16)(3,5,4,6)(7,9,8,10)(11,13)(12,14),"t16n1082"],
[(9,10)(11,12)(13,14)(15,16),(5,7)(6,8)(9,11)(10,12)(13,14)(15,16),
(1,2)(5,6)(9,10)(13,14),(1,2)(3,4),(1,4)(2,3)(5,7)(6,8),
(1,6,4,7)(2,5,3,8)(9,16,12,13)(10,15,11,14),
(1,10,3,12)(2,9,4,11)(5,14,8,15)(6,13,7,16),"t16n1083"],
[(9,10)(11,12)(13,14)(15,16),(5,8,6,7)(9,12,10,11)(13,14)(15,16),
(1,2)(7,8)(9,11)(10,12)(13,15)(14,16),(1,2)(3,4),
(1,4)(2,3)(5,8)(6,7)(9,11)(10,12)(13,15)(14,16),
(1,6,4,8,2,5,3,7)(9,13,11,16,10,14,12,15),
(1,10,3,12,2,9,4,11)(5,14,8,15,6,13,7,16),"t16n1084"],
[(1,11,3,9)(2,12,4,10)(5,14,7,15)(6,13,8,16),
(1,5,10,13)(2,6,9,14)(3,7,11,16)(4,8,12,15),
(1,10,3,12)(2,9,4,11)(5,13,7,16)(6,14,8,15),"t16n1085"],
[(9,10)(13,14),(1,2)(3,4),(1,7,2,8)(3,5,4,6)(9,15,10,16)(11,14,12,13),
(1,14,8,16,2,13,7,15)(3,11,5,10,4,12,6,9),"t16n1086"],
[(9,10)(11,12)(13,14)(15,16),(5,12,6,11)(7,10,8,9),
(1,4)(2,3)(5,8)(6,7)(9,11)(10,12)(13,15)(14,16),
(1,8,3,6,2,7,4,5)(9,15,11,14,10,16,12,13),
(1,11,4,9,2,12,3,10)(5,16,8,13,6,15,7,14),(1,12)(2,11)(3,10)(4,9)(5,13)
(6,14)(7,15)(8,16),"t16n1087"],
[(1,3)(2,4)(5,7)(6,8)(9,12)(10,11)(13,15)(14,16),(3,4)(5,11,7,10)(6,12,8,9)
(13,16,14,15),(1,6)(2,5)(3,7,4,8)(9,15)(10,16)(11,13,12,14),"t16n1088"],
[(9,10)(11,12)(13,14)(15,16),(1,6,4,8,2,5,3,7)(9,13,11,16,10,14,12,15),
(1,8,2,7)(3,6)(4,5)(9,16,10,15)(11,13)(12,14),
(1,13,4,16,2,14,3,15)(5,12,7,10,6,11,8,9),
(1,13,4,15,2,14,3,16)(5,10,7,12,6,9,8,11),"t16n1089"],
[(9,10)(11,12)(13,14)(15,16),(1,2)(3,4),(1,4)(2,3)(5,7)(6,8),
(1,10,3,12)(2,9,4,11)(5,14,8,15)(6,13,7,16),
(1,13,9,6,2,14,10,5)(3,16,12,8,4,15,11,7),"t16n1090"],
[(1,7,11,16)(2,8,12,15)(3,6,10,13)(4,5,9,14),
(1,8,10,14,2,7,9,13)(3,5,12,16,4,6,11,15),
(1,13,10,6)(2,14,9,5)(3,16,11,8)(4,15,12,7),"t16n1091"],
[(9,10)(11,12)(13,14)(15,16),(1,6)(2,5)(3,7,4,8)(9,14,10,13)(11,15)(12,16),
(1,7)(2,8)(3,5,4,6)(9,14,10,13)(11,15)(12,16),
(1,9,3,12,2,10,4,11)(5,15,7,13,6,16,8,14),
(1,12,3,10,2,11,4,9)(5,16,8,13,6,15,7,14),"t16n1092"],
[(9,10)(11,12)(13,14)(15,16),(5,7)(6,8)(9,11)(10,12)(13,14)(15,16),
(5,12)(6,11)(7,9)(8,10),(1,2)(3,4),(1,5,3,7)(2,6,4,8)(9,14,12,15)
(10,13,11,16),(1,10,3,12)(2,9,4,11)(5,14,8,15)(6,13,7,16),"t16n1093"],
[(1,4)(2,3)(5,7,6,8)(9,12)(10,11)(13,15,14,16),
(1,13,8,15,2,14,7,16)(3,12,5,9,4,11,6,10),
(1,12,3,13)(2,11,4,14)(5,15,7,9)(6,16,8,10),"t16n1094"],
[(9,10)(13,14),(1,6)(2,5)(3,7)(4,8)(9,14)(10,13)(11,16)(12,15),
(1,8)(2,7)(3,6,4,5)(11,12),(1,14,8,16,2,13,7,15)(3,11,5,10,4,12,6,9),
"t16n1095"],
[(9,10)(11,12)(13,14)(15,16),(1,2)(3,4),(1,4)(2,3)(5,8)(6,7)(9,11)(10,12)(13,15)
(14,16),(1,12,3,10,2,11,4,9)(5,16,8,13,6,15,7,14),
(1,16,12,5)(2,15,11,6)(3,14,10,7)(4,13,9,8),"t16n1096"],
[(1,3)(2,4)(5,6)(11,12)(13,15)(14,16),(1,12,14,8)(2,11,13,7)(3,10,15,6)
(4,9,16,5),(1,13,4,16,2,14,3,15)(5,7,6,8),"t16n1097"],
[(9,10)(13,14),(1,2)(3,4),(1,6)(2,5)(3,7)(4,8)(9,14)(10,13)(11,16)(12,15),
(1,7,2,8)(3,6,4,5)(9,10)(11,12),
(1,14,8,16,2,13,7,15)(3,11,5,10,4,12,6,9),"t16n1098"],
[(9,10)(11,12)(13,14)(15,16),(5,7)(6,8)(9,11)(10,12)(13,14)(15,16),
(1,4)(2,3)(5,7)(6,8),(1,5,3,8,2,6,4,7)(9,15,11,14,10,16,12,13),
(1,10,3,12,2,9,4,11)(5,14,8,15,6,13,7,16),"t16n1099"],
[(9,10)(11,12)(13,14)(15,16),(5,7)(6,8)(9,11)(10,12)(13,14)(15,16),
(5,12,6,11)(7,10,8,9),(1,8,3,6,2,7,4,5)(9,15,11,14,10,16,12,13),
(1,11,4,9,2,12,3,10)(5,16,8,13,6,15,7,14),"t16n1100"],
[(9,10)(11,12)(13,14)(15,16),(1,2)(5,12,7,9,6,11,8,10)(13,16)(14,15),
(1,8,3,6,2,7,4,5)(9,15,11,14,10,16,12,13),
(1,11,4,9,2,12,3,10)(5,16,8,13,6,15,7,14),(1,12)(2,11)(3,10)(4,9)(5,13)
(6,14)(7,15)(8,16),"t16n1101"],
[(1,2)(15,16),(1,2)(7,8),(1,3,5,16)(2,4,6,15)(7,9,11,14)(8,10,12,13),
(1,10)(2,9)(3,12,4,11)(5,13,6,14)(7,15)(8,16),"t16n1102"],
[(9,10)(11,12)(13,14)(15,16),(5,10,7,11)(6,9,8,12)(13,15)(14,16),(1,2)(3,4),
(1,5,3,7)(2,6,4,8)(9,14,12,15)(10,13,11,16),
(1,10,3,12)(2,9,4,11)(5,14,8,15)(6,13,7,16),"t16n1103"],
[(9,10)(11,12)(13,14)(15,16),(1,2)(5,6)(7,8)(9,12,10,11)(13,15)(14,16),
(1,4)(2,3)(9,11)(10,12)(13,14)(15,16),
(1,6,3,8,2,5,4,7)(9,15,11,14,10,16,12,13),
(1,14,3,15)(2,13,4,16)(5,12,7,10)(6,11,8,9),"t16n1104"],
[(9,10)(11,12)(13,14)(15,16),(5,12)(6,11)(7,9)(8,10),(1,2)(3,4),
(1,7)(2,8)(3,5,4,6)(9,14,10,13)(11,15)(12,16),
(1,10,3,12)(2,9,4,11)(5,14,8,15)(6,13,7,16),"t16n1105"],
[(1,8,10,13,2,7,9,14)(3,5,12,15,4,6,11,16),
(1,16)(2,15)(3,13)(4,14)(5,10,8,11,6,9,7,12),"t16n1106"],
[(9,10)(11,12)(13,14)(15,16),(1,4)(2,3)(5,7)(6,8),(1,5)(2,6)(3,7)(4,8)(9,16)
(10,15)(11,13)(12,14),(1,11)(2,12)(3,10)(4,9)(7,8)(13,14),
(1,12,2,11)(3,10,4,9)(5,15)(6,16)(7,14)(8,13),"t16n1107"],
[(1,14,10,8,4,15,12,5,2,13,9,7,3,16,11,6),
(1,8,10,13,4,5,12,16,2,7,9,14,3,6,11,15),
(1,13,2,14)(3,16,4,15)(5,9,8,11,6,10,7,12),"t16n1108"],
[(1,3,2,4)(5,16,6,15)(7,13,8,14)(9,10)(11,12),(1,13,3,16)(2,14,4,15)(5,12)
(6,11)(7,10,8,9),"t16n1109"],
[(9,10)(11,12)(13,14)(15,16),(1,2)(5,8,6,7)(9,11)(10,12)(13,14)(15,16),
(1,4)(2,3)(5,7)(6,8),(1,7)(2,8)(3,6,4,5)(9,16,10,15)(11,13)(12,14),
(1,10,3,12,2,9,4,11)(5,14,8,15,6,13,7,16),"t16n1110"],
[(9,10)(11,12)(13,14)(15,16),(1,3)(2,4)(11,12)(13,14),
(1,4)(2,3)(5,7)(6,8)(9,12)(10,11)(13,15)(14,16),
(1,5)(2,6)(3,7)(4,8)(9,16)(10,15)(11,13)(12,14),
(1,11)(2,12)(3,10)(4,9)(5,15)(6,16)(7,13)(8,14),"t16n1111"],
[(9,10)(11,12)(13,14)(15,16),(1,7,3,6,2,8,4,5)(9,16)(10,15)(11,13)(12,14),
(1,12,2,11)(3,9,4,10)(5,15)(6,16)(7,14)(8,13),
(1,13,12,6,2,14,11,5)(3,16,9,7,4,15,10,8),"t16n1112"],
[(1,4,2,3)(5,14,8,15,6,13,7,16)(9,10)(11,12),
(1,14,2,13)(3,16)(4,15)(5,10,7,12)(6,9,8,11),
(1,15,12,6,3,14,9,7,2,16,11,5,4,13,10,8),"t16n1113"],
[(9,10)(11,12)(13,14)(15,16),(5,7)(6,8)(9,11)(10,12)(13,14)(15,16),
(1,2)(7,8)(9,11)(10,12)(13,15)(14,16),
(1,5,3,8,2,6,4,7)(9,15,11,14,10,16,12,13),
(1,10,3,12,2,9,4,11)(5,14,8,15,6,13,7,16),"t16n1114"],
[(9,10)(11,12)(13,14)(15,16),(5,8)(6,7)(13,16)(14,15),
(1,2)(7,8)(9,11)(10,12)(13,15)(14,16),
(1,5,3,8,2,6,4,7)(9,15,11,14,10,16,12,13),
(1,10,3,12,2,9,4,11)(5,14,8,15,6,13,7,16),"t16n1115"],
[(9,10)(11,12)(13,14)(15,16),(5,9)(6,10)(7,12)(8,11),(1,3)(2,4),
(1,11,3,10)(2,12,4,9)(5,13,7,16)(6,14,8,15),"t16n1116"],
[(9,10)(11,12)(13,14)(15,16),(1,2)(5,8,6,7)(9,11)(10,12)(13,14)(15,16),
(1,4)(2,3)(5,7)(6,8),(1,5,3,8,2,6,4,7)(9,15,11,14,10,16,12,13),
(1,10,3,12,2,9,4,11)(5,14,8,15,6,13,7,16),"t16n1117"],
[(1,6)(2,5)(3,7)(4,8)(9,15,11,14,10,16,12,13),
(1,10,2,9)(3,11)(4,12)(5,13,6,14)(7,16)(8,15),"t16n1118"],
[(1,10,4,12)(2,9,3,11)(5,7,6,8)(13,14),(1,3,2,4)(5,14,7,16)(6,13,8,15)
(11,12),(1,14,10,8,3,16,12,5)(2,13,9,7,4,15,11,6),"t16n1119"],
[(1,2)(3,4),(1,3,2,4)(5,15)(6,16)(7,14)(8,13)(9,12,10,11),
(1,13,4,16,2,14,3,15)(5,12)(6,11)(7,9)(8,10),"t16n1120"],
[(9,10)(11,12)(13,14)(15,16),(5,7)(6,8)(9,11)(10,12)(13,14)(15,16),
(1,4)(2,3)(5,7)(6,8),(1,6,3,8,2,5,4,7)(9,15,11,14,10,16,12,13),
(1,10,3,12)(2,9,4,11)(5,14,8,15)(6,13,7,16),"t16n1121"],
[(9,10)(13,14),(1,2)(3,4),(1,3)(2,4)(5,7,6,8)(9,12)(10,11)(13,15,14,16),
(1,5)(2,6)(3,4)(9,13,10,14),(1,9,5,13,2,10,6,14)(3,12,7,15,4,11,8,16),
"t16n1122"],[(9,10)(13,14),(1,2)(3,4),(1,5,2,6)(3,4)(9,13)(10,14),
(1,7,2,8)(3,5,4,6)(9,15,10,16)(11,14,12,13),
(1,9,5,13,2,10,6,14)(3,12,7,15,4,11,8,16),"t16n1123"],
[(9,10)(11,12)(13,14)(15,16),(1,3)(2,4)(5,6)(7,8)(13,16)(14,15),
(1,4,2,3)(5,7,6,8)(11,12)(13,14),(1,5)(2,6)(3,8)(4,7)(9,10)(13,14),
(1,9)(2,10)(3,12)(4,11)(5,14)(6,13)(7,16)(8,15),"t16n1124"],
[(9,10)(13,14),(1,5,2,6)(3,7)(4,8)(9,13,10,14)(11,16)(12,15),
(1,7,2,8)(3,6,4,5)(9,10)(11,12),(1,9,7,12)(2,10,8,11)(3,16,6,13)
(4,15,5,14),"t16n1125"],
[(9,10)(11,12)(13,14)(15,16),(1,3,2,4)(5,8,6,7)(11,12)(13,14),
(1,5)(2,6)(3,7)(4,8)(9,16)(10,15)(11,13)(12,14),
(1,11)(2,12)(3,10)(4,9)(7,8)(13,14),(1,12,2,11)(3,10,4,9)(5,15)(6,16)
(7,14)(8,13),"t16n1126"],
[(9,10)(11,12)(13,14)(15,16),(1,4)(2,3)(5,7)(6,8)(11,12)(13,14),
(1,5)(2,6)(3,7)(4,8)(9,16)(10,15)(11,14)(12,13),
(1,11)(2,12)(3,10)(4,9)(7,8)(13,14),(1,12,2,11)(3,10,4,9)(5,15)(6,16)
(7,14)(8,13),"t16n1127"],
[(9,10)(11,12)(13,14)(15,16),(1,3,2,4)(5,8,6,7),(1,5)(2,6)(3,7)(4,8)(9,16)
(10,15)(11,14)(12,13),(1,11)(2,12)(3,10)(4,9)(7,8)(13,14),
(1,12,2,11)(3,10,4,9)(5,15)(6,16)(7,14)(8,13),"t16n1128"],
[(9,10)(11,12)(13,14)(15,16),(1,3)(2,4)(5,6)(7,8)(13,16)(14,15),
(1,4,2,3)(5,7,6,8)(11,12)(13,14),(1,5)(2,6)(3,8)(4,7)(9,10)(15,16),
(1,10)(2,9)(3,11)(4,12)(5,13,6,14)(7,16,8,15),"t16n1129"],
[(1,10,2,9)(3,7,4,8)(5,14,6,13)(11,15)(12,16),
(1,4,5,16,2,3,6,15)(7,9,12,13)(8,10,11,14),(1,13)(2,14)(3,12)(4,11)(5,9)
(6,10)(7,16,8,15),"t16n1130"],
[(1,16,4,14)(2,15,3,13)(5,11,7,9)(6,12,8,10),
(1,14,8,11,4,15,6,10)(2,13,7,12,3,16,5,9),
(1,14,4,16)(2,13,3,15)(5,11,8,10)(6,12,7,9),"t16n1131"],
[(1,16,7,14,2,15,8,13)(3,10,5,12)(4,9,6,11),
(1,15,7,14)(2,16,8,13)(3,9,5,12,4,10,6,11),
(1,11,4,14,2,12,3,13)(5,16,8,10)(6,15,7,9),"t16n1132"],
[(1,8,4,6)(2,7,3,5)(9,14,10,13)(11,16)(12,15),
(1,13)(2,14)(3,16,4,15)(5,12,8,9)(6,11,7,10),"t16n1133"],
[(1,13,9,5,4,16,12,8)(2,14,10,6,3,15,11,7),(1,13,4,15,2,14,3,16)(5,11,6,12)
(7,9)(8,10),(1,8)(2,7)(3,5,4,6)(9,15,11,14,10,16,12,13),"t16n1134"],
[(1,8,4,5,2,7,3,6)(9,13)(10,14)(11,15,12,16),
(1,2)(3,4)(5,16,7,14)(6,15,8,13)(9,11)(10,12),
(1,8,10,15,4,5,12,13)(2,7,9,16,3,6,11,14),"t16n1135"],
[(9,10)(13,14),(1,2)(3,4),(1,5)(2,6)(3,4)(9,13,10,14),
(1,7,2,8)(3,5,4,6)(9,15,10,16)(11,14,12,13),
(1,9,5,13,2,10,6,14)(3,12,7,15,4,11,8,16),"t16n1136"],
[(1,11,14,5,3,10,15,7,2,12,13,6,4,9,16,8),(1,15,3,13,2,16,4,14)(5,6)(7,8)
(9,10)(11,12),(1,10,13,7,2,9,14,8)(3,12,15,5,4,11,16,6),"t16n1137"],
[(1,5,10,14,2,6,9,13)(3,8,11,16)(4,7,12,15),(1,3)(2,4)(11,12)(13,16,14,15),
"t16n1138"],
[(9,10)(11,12)(13,14)(15,16),(1,2)(5,8)(6,7)(9,10)(13,16)(14,15),
(1,4)(2,3)(5,8)(6,7)(9,11)(10,12)(13,15)(14,16),
(1,5,4,8,2,6,3,7)(9,13,11,16,10,14,12,15),
(1,11,2,12)(3,10,4,9)(5,7,6,8),"t16n1139"],
[(9,10)(11,12)(13,14)(15,16),(1,2)(3,4),(1,3,2,4)(5,8,6,7),
(1,5)(2,6)(3,7)(4,8)(9,16)(10,15)(11,14)(12,13),(1,12,2,11)(3,9,4,10),
"t16n1140"],
[(1,2)(5,6)(9,11,10,12)(13,15)(14,16),(1,3)(2,4)(5,8,6,7)(9,14)(10,13)(11,15)
(12,16),(1,13,8,15)(2,14,7,16)(3,11,6,10,4,12,5,9),"t16n1141"],
[(1,5)(2,6)(3,7)(4,8)(9,15)(10,16)(11,14)(12,13),(1,10,3,12)(2,9,4,11)(5,14)
(6,13)(7,15)(8,16),(1,8,3,5)(2,7,4,6)(9,13,10,14)(11,15,12,16),
"t16n1142"],
[(9,10)(11,12)(13,14)(15,16),(1,4)(2,3)(9,11)(10,12)(13,14)(15,16),
(1,5,4,8,2,6,3,7)(9,13,11,16,10,14,12,15),
(1,16,3,13)(2,15,4,14)(5,10,8,11)(6,9,7,12),
(1,16,3,14,2,15,4,13)(5,12,8,9,6,11,7,10),"t16n1143"],
[(9,10)(11,12)(13,14)(15,16),(5,7)(6,8)(9,11)(10,12)(13,14)(15,16),
(1,4)(2,3)(5,7)(6,8),(1,6,3,8,2,5,4,7)(9,15,11,14,10,16,12,13),
(1,10,3,12,2,9,4,11)(5,14,8,15,6,13,7,16),"t16n1144"],
[(9,10)(11,12)(13,14)(15,16),(1,2)(5,6)(7,8)(9,12,10,11)(13,15)(14,16),
(1,3,2,4)(5,6)(9,11)(10,12)(13,14)(15,16),
(1,5,3,8,2,6,4,7)(9,15,11,14,10,16,12,13),
(1,14,3,15)(2,13,4,16)(5,12,7,10)(6,11,8,9),"t16n1145"],
[(1,7,2,8)(3,13,4,14)(5,11)(6,12)(9,16,10,15),(1,13)(2,14)(3,11)(4,12)(5,10)
(6,9)(7,16,8,15),"t16n1146"],
[(1,9,3,11,6,13,8,16,2,10,4,12,5,14,7,15),(1,3,6,7)(2,4,5,8)(9,16,14,11)
(10,15,13,12),(1,10,4,11,6,14,7,16,2,9,3,12,5,13,8,15),"t16n1147"],
[(9,10)(13,14),(1,6)(2,5)(3,7)(4,8)(9,14)(10,13)(11,16)(12,15),
(1,7,2,8)(3,4)(9,12)(10,11),(1,14,8,16,2,13,7,15)(3,10,5,11,4,9,6,12),
"t16n1148"],
[(1,8,10,14)(2,7,9,13)(3,5,12,15)(4,6,11,16),(3,4)(5,15,6,16)(7,13,8,14)
(9,11)(10,12),(1,12,4,9,2,11,3,10)(5,14,7,16,6,13,8,15),"t16n1149"],
[(1,7,10,13)(2,8,9,14)(3,5,12,15,4,6,11,16),(1,3)(2,4)(7,8)(9,10)(11,12)
(13,15,14,16),"t16n1150"],
[(9,10)(11,12)(13,14)(15,16),(1,2)(3,4),(1,4)(2,3)(7,8)(11,12)(13,14),
(1,5)(2,6)(3,7)(4,8)(9,16)(10,15)(11,14)(12,13),
(1,11)(2,12)(3,10)(4,9)(5,15)(6,16)(7,13)(8,14),"t16n1151"],
[(9,10)(11,12)(13,14)(15,16),(1,3)(2,4),(1,4)(2,3)(5,7)(6,8)(9,12)(10,11)(13,15)
(14,16),(1,5)(2,6)(3,7)(4,8)(9,16)(10,15)(11,13)(12,14),
(1,11)(2,12)(3,10)(4,9)(5,15)(6,16)(7,13)(8,14),"t16n1152"],
[(1,4,2,3)(5,6)(9,11)(10,12)(13,15)(14,16),
(1,11,6,14,3,9,7,16)(2,12,5,13,4,10,8,15),"t16n1153"],
[(1,8,2,7)(3,6)(4,5)(9,15,10,16)(11,14)(12,13),
(1,8,10,14,3,6,12,16,2,7,9,13,4,5,11,15),
(1,5,4,7)(2,6,3,8)(9,14,12,15)(10,13,11,16),"t16n1154"],
[(1,6,9,13,3,8,12,16,2,5,10,14,4,7,11,15),
(1,7,9,14,3,5,12,15,2,8,10,13,4,6,11,16),"t16n1155"],
[(1,12,4,9,2,11,3,10)(5,14,7,15,6,13,8,16),
(1,13,12,7,4,15,10,6,2,14,11,8,3,16,9,5),
(1,3,2,4)(9,10)(11,12)(13,16,14,15),"t16n1156"],
[(9,10)(11,12)(13,14)(15,16),(1,2)(5,6)(7,8)(9,12,10,11)(13,15)(14,16),
(1,2)(5,8,6,7)(9,11)(10,12)(13,14)(15,16),
(1,7)(2,8)(3,6,4,5)(9,16,10,15)(11,13)(12,14),
(1,10,3,12,2,9,4,11)(5,14,8,15,6,13,7,16),"t16n1157"],
[(1,14,5,12,4,15,8,10)(2,13,6,11,3,16,7,9),
(1,13,7,12,3,16,5,10)(2,14,8,11,4,15,6,9),(1,4,2,3)(7,8)(9,14,10,13)
(11,16,12,15),"t16n1158"],
[(9,10)(11,12)(13,14)(15,16),(5,7)(6,8)(9,11)(10,12)(13,14)(15,16),
(1,2)(5,6)(7,8)(9,12,10,11)(13,15)(14,16),
(1,6,3,8,2,5,4,7)(9,15,11,14,10,16,12,13),
(1,10,3,12)(2,9,4,11)(5,14,8,15)(6,13,7,16),"t16n1159"],
[(1,8)(2,7)(3,5,4,6)(9,14,12,16)(10,13,11,15),
(1,13,10,7,3,16,11,5,2,14,9,8,4,15,12,6),(1,11,4,10,2,12,3,9)(5,8)
(6,7)(15,16),"t16n1160"],
[(1,16,5,11,3,13,8,10)(2,15,6,12,4,14,7,9),(1,16,7,11)(2,15,8,12)(3,13,5,9)
(4,14,6,10),(1,6)(2,5)(3,7)(4,8)(9,14,11,15)(10,13,12,16),"t16n1161"],
[(1,9,7,16,6,13,3,12)(2,10,8,15,5,14,4,11),
(1,9,4,11,6,13,7,16)(2,10,3,12,5,14,8,15),(5,6)(7,8)(9,10)(13,14),
"t16n1162"],
[(1,12)(2,11)(3,9,4,10)(5,14,8,16)(6,13,7,15),(1,6,3,7,2,5,4,8)
(9,15,11,14,10,16,12,13),(1,16)(2,15)(3,14)(4,13)(5,11,6,12)(7,10,8,9),
"t16n1163"],
[(3,4)(5,6)(11,12)(13,16,14,15),(1,14,8,11,3,15,6,9)(2,13,7,12,4,16,5,10),
"t16n1164"],
[(1,7,2,8)(3,6,4,5)(9,14)(10,13)(11,15)(12,16),(1,11,6,14,4,9,7,16,2,12,5,
13,3,10,8,15),(5,8,6,7)(9,16,10,15)(11,14,12,13),"t16n1165"],
[(9,10)(11,12)(13,14)(15,16),(1,3,2,4)(5,8,6,7),(1,5)(2,6)(3,8)(4,7)(9,16)
(10,15)(11,13)(12,14),(1,8,4,6,2,7,3,5),(1,11)(2,12)(3,10)(4,9)(5,15)(6,16)
(7,13)(8,14),"t16n1166"],
[(9,10)(13,14),(1,6)(2,5)(3,7)(4,8)(9,14)(10,13)(11,16)(12,15),
(1,7)(2,8)(3,6,4,5)(9,11)(10,12)(13,15,14,16),(1,7,2,8)(3,6,4,5)(11,12)
,(1,16,8,13)(2,15,7,14)(3,9,6,12,4,10,5,11),"t16n1167"],
[(1,15)(2,16)(3,13,4,14)(5,12,8,10,6,11,7,9),
(1,6,4,8)(2,5,3,7)(9,14,11,16)(10,13,12,15),
(1,5,2,6)(3,7,4,8)(9,13,12,16)(10,14,11,15),"t16n1168"],
[(9,10)(11,12)(13,14)(15,16),(1,3)(2,4)(5,6)(7,8)(13,16)(14,15),
(1,4,2,3)(5,7,6,8)(11,12)(13,14),(1,5)(2,6)(3,8)(4,7)(9,10)(13,14),
(1,10)(2,9)(3,11)(4,12)(5,13,6,14)(7,16,8,15),"t16n1169"],
[(1,10,4,12,2,9,3,11)(5,16,7,13,6,15,8,14),(1,5,2,6)(3,8,4,7)(9,11,10,12)
(13,14)(15,16),(1,15,3,14,2,16,4,13)(5,9,7,12,6,10,8,11),"t16n1170"],
[(1,2)(15,16),(1,2)(7,8),(1,3,5,16)(2,4,6,15)(7,9,11,14)(8,10,12,13),
(1,12,2,11)(3,9)(4,10)(5,8,6,7)(13,15)(14,16),"t16n1171"],
[(9,10)(11,12)(13,14)(15,16),(1,2)(5,6)(9,10)(13,14),
(1,5,3,7)(2,6,4,8)(9,14,12,15)(10,13,11,16),
(1,10,3,12)(2,9,4,11)(5,14,8,15)(6,13,7,16),(1,12,2,11)(3,10,4,9)(5,7)
(6,8),"t16n1172"],
[(1,5,16,11,3,7,14,10,2,6,15,12,4,8,13,9),(1,6,14,11)(2,5,13,12)(3,7,16,10)
(4,8,15,9),(1,6,3,8)(2,5,4,7)(9,14)(10,13)(11,16,12,15),"t16n1173"],
[(1,11)(2,12)(3,10)(4,9)(5,15,8,13)(6,16,7,14),(1,15,3,14)(2,16,4,13)(5,8)
(6,7)(9,10)(11,12),(1,3)(2,4)(5,9,8,11)(6,10,7,12)(13,15)(14,16),
"t16n1174"],
[(9,10)(13,14),(1,2)(3,4),(1,3)(2,4)(5,7,6,8)(9,12)(10,11)(13,15,14,16),
(1,5,2,6)(3,4)(9,13)(10,14),(1,9,5,13,2,10,6,14)(3,12,7,15,4,11,8,16),
"t16n1175"],
[(1,13,12,6)(2,14,11,5)(3,15,9,7)(4,16,10,8),(1,8,3,6,2,7,4,5)(9,13)
(10,14)(11,15,12,16),(1,8,2,7)(3,5)(4,6)(9,15,11,14,10,16,12,13),"t16n1176"
],[(9,10)(11,12)(13,14)(15,16),(1,2)(3,4)(5,9)(6,10)(7,12)(8,11),
(1,3)(2,4),(1,11,3,10)(2,12,4,9)(5,13,7,16)(6,14,8,15),"t16n1177"],
[(1,12,15,6,3,9,14,8)(2,11,16,5,4,10,13,7),(1,9,14,5)(2,10,13,6)(3,12,15,7)
(4,11,16,8),(1,12)(2,11)(3,9)(4,10)(5,16,8,14)(6,15,7,13),"t16n1178"],
[(9,10)(11,12)(13,14)(15,16),(1,2)(3,4),(1,4)(2,3)(5,7)(6,8)(11,12)(13,14),
(1,5)(2,6)(3,7)(4,8)(9,16)(10,15)(11,14)(12,13),(1,12,2,11)(3,9,4,10),
"t16n1179"],
[(9,10)(11,12)(13,14)(15,16),(1,3)(2,4)(5,6)(7,8)(13,16)(14,15),
(1,4,2,3)(5,7,6,8)(11,12)(13,14),(1,5)(2,6)(3,8)(4,7)(9,10)(15,16),
(1,9)(2,10)(3,12)(4,11)(5,14)(6,13)(7,16)(8,15),"t16n1180"],
[(9,10)(11,12)(13,14)(15,16),(1,2)(3,4)(5,9)(6,10)(7,12)(8,11),
(1,3)(2,4)(13,14),(1,12,3,10,2,11,4,9)(5,14,8,15,6,13,7,16),"t16n1181"],
[(1,8,3,5)(2,7,4,6)(9,13,10,14)(11,15,12,16),
(1,16,4,14)(2,15,3,13)(5,9,6,10)(7,11,8,12),
(1,13,3,15)(2,14,4,16)(5,10,6,9)(7,11,8,12),"t16n1182"],
[(9,10)(13,14),(1,3)(2,4)(5,7)(6,8)(9,14,10,13)(11,16,12,15),
(1,8)(2,7)(3,6,4,5)(11,12),(1,9,7,12)(2,10,8,11)(3,16,6,13)(4,15,5,14),
"t16n1183"],
[(1,11,7,9)(2,12,8,10)(3,13,6,15)(4,14,5,16),(1,9,3,15,2,10,4,16)
(5,14,8,12)(6,13,7,11),"t16n1184"],
[(1,4,2,3)(5,8,6,7)(9,10)(11,12)(13,14)(15,16),
(1,10,7,16,3,12,5,13,2,9,8,15,4,11,6,14),(1,4,2,3)(5,8,6,7)(9,10)
(13,15)(14,16),"t16n1185"],
[(1,8)(2,7)(3,6)(4,5)(9,13,12,16,10,14,11,15),(3,4)(5,8)(6,7)(11,12)(15,16),
(1,16,8,10,4,14,6,12,2,15,7,9,3,13,5,11),"t16n1186"],
[(1,7)(2,8)(3,14,4,13)(5,11)(6,12)(9,15,10,16),
(1,11,2,12)(3,9,4,10)(5,8,6,7)(13,15,14,16),
(1,14)(2,13)(3,7)(4,8)(5,9,6,10)(11,15)(12,16),"t16n1187"],
[(1,6,3,7)(2,5,4,8)(9,15,10,16)(11,13)(12,14),
(1,15)(2,16)(3,13,4,14)(5,10,8,11)(6,9,7,12),(1,8,4,6)(2,7,3,5)(9,14)
(10,13)(11,16,12,15),"t16n1188"],
[(9,10)(11,12)(13,14)(15,16),(1,2)(3,4)(5,6)(7,8)(9,13,10,14)(11,16,12,15),
(1,4)(2,3)(5,6)(11,12)(13,15)(14,16),(1,5)(2,6)(3,8)(4,7)(9,10)(15,16),
(1,9)(2,10)(3,12)(4,11)(5,14)(6,13)(7,16)(8,15),"t16n1189"],
[(9,10)(11,12)(13,14)(15,16),(1,2)(3,4),(1,4)(2,3)(7,8),
(1,5)(2,6)(3,7)(4,8)(9,16)(10,15)(11,14)(12,13),
(1,11)(2,12)(3,10)(4,9)(5,15)(6,16)(7,13)(8,14),"t16n1190"],
[(9,10)(11,12)(13,14)(15,16),(3,4)(7,8)(11,12)(15,16),
(1,4)(2,3)(5,6)(11,12)(13,15)(14,16),(1,5)(2,6)(3,8)(4,7)(9,10)(15,16),
(1,10)(2,9)(3,11)(4,12)(5,13,6,14)(7,16,8,15),"t16n1191"],
[(1,14,7,10,2,13,8,9)(3,15,6,12,4,16,5,11),
(1,5,2,6)(3,7,4,8)(9,15,12,14,10,16,11,13),"t16n1192"],
[(9,10)(11,12)(13,14)(15,16),(5,9)(6,10)(7,12)(8,11),(1,3)(2,4)(13,14),
(1,12,3,10,2,11,4,9)(5,14,8,15,6,13,7,16),"t16n1193"],
[(1,12,5,16,9,3,14,7)(2,11,6,15,10,4,13,8),
(1,14,10,5,2,13,9,6)(3,15,11,7,4,16,12,8),"t16n1194"],
[(9,10)(11,12)(13,14)(15,16),(1,2)(3,4)(9,14,10,13)(11,16,12,15),
(1,4)(2,3)(5,6)(11,12)(13,15)(14,16),(1,5)(2,6)(3,8)(4,7)(9,10)(13,14),
(1,10)(2,9)(3,11)(4,12)(5,13,6,14)(7,16,8,15),"t16n1195"],
[(1,7,2,8)(3,6,4,5)(9,13,11,16)(10,14,12,15),
(1,12,3,10,2,11,4,9)(5,13,8,15,6,14,7,16),"t16n1196"],
[(1,2)(15,16),(1,2)(7,8),(1,3,5,16)(2,4,6,15)(7,9,11,14)(8,10,12,13),
(1,13,6,9)(2,14,5,10)(3,12,15,7)(4,11,16,8),"t16n1197"],
[(1,5)(2,6)(3,7)(4,8)(15,16),(1,12,4,14,2,11,3,13)(5,15,8,9)(6,16,7,10),
(1,5)(2,6)(3,8,4,7)(9,13)(10,14)(11,16,12,15),"t16n1198"],
[(1,5,12,13,3,8,10,16,2,6,11,14,4,7,9,15),
(1,7,10,15,3,6,11,13,2,8,9,16,4,5,12,14),"t16n1199"],
[(1,8,6,3,2,7,5,4)(9,12,14,15,10,11,13,16),
(1,12,7,10,6,16,4,14,2,11,8,9,5,15,3,13),
(1,15,4,9,5,11,8,13,2,16,3,10,6,12,7,14),"t16n1200"]];
TRANSPROPERTIES[16]{[901..1200]}:=
[
[512,0,1,1,
"15s05A812s0D010080"
,[-16,-8,32,64],[16,32,64,128],[16,32,128,256,1064],[4,[-8,-4,32,512,1256,2016,2064,3128]],[6,[[-8,-2,1,8,4016,4512,5032,6128,7256,9064]]],[208,[28]]],
[512,0,1,1,
"15s05A802s0F80"
,[-1008,8,32,64],[64,128,2016],[16,256,2032,2064],[4,[-2008,-4,64,2032,2256,5016,5128]],[208,[26,26,29]]],
[512,0,1,1,
"55s050802"
,[-2008,2032],[2016,2064],[16,256,8032],[208,[21,31,31]]],
[512,0,1,1,
"55s052802s0F80"
,[-16,-8,32,64],[16,32,2064],[16,256,2032,2064],[4,[-8,-4,2016,2064,2256,4032,4128]],[6,[[-8,-2,1,8,1512,6016,8128,10032,10064,11256]]]],
[512,0,1,-1,
"3Fs05B80As0C01004080"
,[-16,-8,2032],[-16,32,2064],[-16,256,1064,4032],[4,[-1016,4,256,2008,2064,4032,8128]],[21,[16]],[23,[16],[32],[32],[32],[32],[32],[64],[64],
[256]]],
[512,0,1,1,
"15s05A802s0D050080"
,[8,16,32,64],[16,32,64,128],[16,32,128,256,1064],[4,[-8,-4,16,1032,2064,3128,3256]],[6,[[-1004,-8,-2,1,2016,2032,2512,6128,11064,11256]]]],
[512,0,1,1,
"15s052802"
,[32,64,2008],[64,128,2016],[16,256,2032,2064],[4,[-2008,-4,2032,2256,3128,4064,5016]]],
[512,0,1,1,
"55s05A802s0F80"
,[8,64,2016],[16,128,2032],[1064,2016,2128],[4,[-2004,1256,2016,2032,5064,5128]],[6,[[-2004,-2002,1,512,8016,8256,9032,12064,17128]]]],
[512,0,1,-1,
"17s05B802s0C15004080s0404"
,[-16,-8,32,64],[-16,32,64,128],[-16,64,128,256,2032],[4,[-1016,-8,-4,16,32,2064,3128,3256]],[22,[8],[16],[32],[1032]]],
[512,0,1,1,
"55s052802s0F80"
,[8,16,32,64],[16,32,2064],[16,256,2032,2064],[4,[-8,-4,1256,2016,2064,4032,6128]],[6,[[-1004,-8,-2,1,1512,6016,10032,10064,10128,10256]]]],
[512,0,1,1,
"55s050802s0F80"
,[-1008,8,32,64],[2016,2064],[16,256,8032],[4,[-2008,-4,2064,10128,11016]],[208,[20,27,27]]],
[512,0,1,1,
"15s052802s0F80"
,[-1008,8,32,64],[64,128,2016],[16,256,2032,2064],[4,[-2008,-4,64,2032,2256,5016,5128]],[208,[28,28,29]]],
[512,0,1,1,
"55s03A0000802s0F80"
,[8,1032,2016],[16,1064,2032],[1032,1128,2016,2064],[4,[-1004,4,1008,1016,1256,2128,6032,9064]],[6,[[-1004,-1002,4,1008,2001,5016,6128,13256,14064,26032]]],
[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],[32,4016,5064],[128,2016,2064,3032],
[128,2016,2064,3032],[128,2016,2064,3032],
[128,2016,2064,3032],[1032,1064,1128,2016],
[1032,1064,1128,2016],[1032,2016,5064],[1032,2016,5064],
[1064,1128,6016],[1064,1128,6016],[1064,2016,9032],
[1064,2016,9032]]]],
[512,0,1,1,
"15s052802s0D010080"
,[-16,-8,32,64],[16,32,64,128],[16,32,128,256,1064],[4,[-8,-4,32,512,1128,2016,2064,2256]],[6,[[-8,-2,1,8,2016,2128,4032,5256,6512,10064]]],[208,[28]]],
[512,0,1,1,
"55s03A0000802"
,[8,1032,2016],[16,1064,2032],[1032,1128,2016,2064],[4,[-1004,4,1008,1016,1256,2128,6032,9064]],
[6,[[-1004,-1002,4,512,1008,2001,5016,6128,11256,15064,24032]]\
],
[6322,[[16,32,128,4064],[16,32,128,4064],[16,32,128,4064],
[16,32,128,4064],[16,32,128,4064],[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],
[32,128,3064,4016],[64,1128,2016,3032],
[64,1128,2016,3032],[128,1032,2016,3064],
[128,1032,2016,3064],[128,2016,2064,3032],
[128,2016,2064,3032],[1032,1064,1128,2016],
[1032,1064,1128,2016],[1032,1064,1128,2016],
[1032,1064,1128,2016],[1064,2016,9032],[1064,2016,9032]
]]],
[512,0,1,1,
"55s05A802s0F80"
,[8,16,2032],[16,1064,2032],[1032,1128,2016,2064],[4,[4,1256,2008,3128,7032,7064]],[6,[[1004,1512,2001,2008,9128,9256,13064,19032]]],
[6322,[[16,32,1128,2064],[16,32,1128,2064],[16,32,1128,2064
],[16,32,1128,2064],[16,32,1128,2064],
[16,32,1128,2064],[16,32,1128,2064],[16,32,1128,2064],
[16,32,1128,2064],[16,32,1128,2064],
[32,1064,1128,4016],[1032,1064,1128,2016],
[1032,1064,1128,2016],[1032,1064,1128,2016],
[1032,1064,1128,2016],[1032,1064,1128,2016],
[1032,1064,1128,2016],[1032,1064,1128,2016],
[2016,3064,5032],[2016,3064,5032]]]],
[512,0,1,-1,
"55s052002s0F80s0404"
,[-16,-8,32,64],[-16,1064,2032],[-2016,1032,1128,2064],[4,[-8,-4,16,1128,2256,7032,7064]]],
[512,0,1,1,
"15s05A802s0C02050080"
,[8,16,32,64],[16,32,64,128],[16,32,128,256,1064],[4,[-8,-4,16,256,512,1032,2064,5128]],[6,[[-1004,-8,-2,1,16,3256,5032,5512,9128,12064]]]],
[512,0,1,1,
"55s05A802s0F80"
,[-1008,8,64,1016],[128,1032,2016],[1032,1128,2016,2064],[4,[-2004,-1008,1256,3128,4032,5016,7064]],
[6,[[-5008,-2004,-2002,1,512,1008,8256,11128,12016,17032,18064]\
]],[208,[18,35,35]]],
[512,0,1,1,
"55s03A0000802s0F80"
,[8,16,2032],[16,1064,2032],[1032,1128,2016,2064],[4,[4,1016,1256,2008,3128,6032,7064]],[6,[[512,1004,1016,2001,2008,9128,11064,11256,22032]]],
[6322,[[16,32,128,4064],[16,128,2032,3064],[16,128,2032,306\
4],[16,128,2032,3064],[16,1064,1128,2032],
[16,1064,1128,2032],[16,1064,1128,2032],
[16,1064,1128,2032],[16,1064,1128,2032],
[16,1064,1128,2032],[16,1064,1128,2032],
[16,1064,1128,2032],[32,128,3064,4016],
[64,1128,2016,3032],[64,1128,2016,3032],
[128,1032,2016,3064],[128,1032,2016,3064],
[1032,1064,1128,2016],[1032,1064,1128,2016],
[1064,2016,9032],[1064,2016,9032],[1128,2016,2064],
[1128,2016,2064]]]],
[512,0,1,1,
"55s0320000812s0F80"
,[-16,-8,32,64],[16,32,64,128],[16,32,1128,3064],[2083,[[-8,2016]]]],
[512,0,1,-1,
"3Fs05B80As0C01004080"
,[-16,-8,2032],[-16,32,2064],[-16,256,1064,4032],[4,[-1016,4,1256,2008,2064,4032,6128]],[21,[16]],[6,[[-1016,1064,2001,3008,14032,14128,14256]]]],
[512,0,1,1,
"55s03A0002802s0F80"
,[8,16,32,64],[16,32,2064],[16,256,2032,2064],[4,[-8,-4,1256,2016,2032,3064,6128]]],
[512,0,1,1,
"15s052812s0D010080"
,[-16,-8,32,64],[16,32,64,128],[16,32,128,256,1064],[4,[-8,-4,32,256,512,2016,2064,5128]],[208,[28]]],
[512,0,1,1,
"55s050802s0F80"
,[-2008,32,64],[2016,2064],[16,256,8032],[6,[[-2008,-2,1,2008,3064,12128,13256,14016,19032]]],[208,[16,27,27]]],
[512,0,1,1,
"55s03A0000802"
,[8,1032,2016],[16,1064,2032],[1032,1128,2016,2064],[4,[-1004,4,1008,1016,1256,2128,6032,9064]],
[6,[[-1004,-1002,4,512,1008,2001,5016,6128,11256,15064,24032]]\
],
[6322,[[16,32,128,4064],[16,32,128,4064],[16,32,128,4064],
[16,32,128,4064],[16,32,128,4064],[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],
[32,128,3064,4016],[64,1128,2016,3032],
[64,1128,2016,3032],[64,1128,2016,3032],
[64,1128,2016,3032],[128,1032,2016,3064],
[128,1032,2016,3064],[128,1032,2016,3064],
[128,1032,2016,3064],[128,2016,2064,3032],
[128,2016,2064,3032],[1064,2016,9032],[1064,2016,9032]]
]],
[512,0,1,1,
"55s052802s0D01"
,[-16,-8,2032],[16,32,2064],[16,256,2032,2064],[4,[4,1016,2008,2064,2256,4032,4128]],[6,[[1512,2001,3008,3016,8064,8128,11256,15032]]],[208,[21]]],
[512,0,1,-1,
"55s035000A82As0F80s0404"
,[-16,-8,32,64],[-2016,64,128],[-16,32,1064,2128]],
[512,0,1,-1,
"15s05A802s0C01054080s0404"
,[-16,-8,32,64],[-2016,64,128],[-16,32,128,256,1064],[4,[-8,-4,16,512,1032,1128,2064,2256]],[21,[-1008]],[6,[[-8,-2,1,8,16,2128,3032,5512,7064,8256]]]],
[512,0,1,1,
"15s052812s0F80"
,[8,16,32,64],[16,32,64,128],[16,32,128,256,1064],[4,[-8,-4,256,512,1064,2016,2032,5128]],[6,[[-1004,-8,-2,1,3256,4016,4512,7032,12064,12128]]],[208,[19]]],
[512,0,1,-1,
"57s05B802s0F80s0404"
,[-16,-8,32,64],[-16,32,64,128],[-16,64,2032,2128],[4,[-1016,-8,-4,16,32,2256,4064,4128]],[6,[[-8,-2,1,8,16,1512,3032,8128,11064,12256]]]],
[512,0,1,1,
"55s03A0002802s0F80"
,[-16,-8,32,64],[16,32,2064],[16,256,2032,2064],[4,[-8,-4,2016,2032,2256,3064,4128]],[208,[16]]],
[512,0,1,1,
"15s052802s0F80"
,[8,16,32,64],[16,32,64,128],[16,32,128,256,1064],[4,[-8,-4,512,1064,1256,2016,2032,3128]],[6,[[-1004,-8,-2,1,4016,4512,5032,5256,9128,11064]]]],
[512,0,1,-1,
"55s03A0000802s0F80s0404"
,[-16,-8,32,64],[-16,32,2064],[-16,256,1064,4032],[21,[-1008]]],
[512,0,1,1,
"55s05A802s0F80"
,[8,1032,2016],[16,1064,2032],[1032,1128,2016,2064],[4,[-1004,4,1008,1016,1256,2128,6032,9064]],
[6,[[-1004,-1002,4,512,1008,2001,9016,9256,10128,16064,20032]]\
]],
[512,0,1,-1,
"15s05A802s0C03004080s0404"
,[-16,-8,32,64],[-16,32,64,128],[-16,32,128,256,1064],[21,[-1008]],[24,[-1004],[-1002],[16],[64],[1016],[1016],[1032],
[1032],[1064],[1064],[1128],[1128],[1128],[1256]],[6,[[-8,-2,1,8,16,2128,3032,5512,7064,8256]]]],
[512,0,1,-1,
"15s05A80As0D050080s0404"
,[-16,-8,32,64],[-16,32,64,128],[-16,32,128,256,1064],[4,[-8,-4,16,1032,1128,2064,4256]],[21,[-1008]],[6,[[-1016,-8,-2,1,8,16,2032,3128,3512,9064,11256]]]],
[512,0,1,1,
"15s05A802"
,[-1008,8,32,64],[64,128,2016],[16,256,2032,2064],[4,[-2008,-4,64,2032,2256,5016,5128]],[208,[29,30,30]]],
[512,0,1,1,
"15s052802s0F80"
,[8,16,32,64],[16,32,2064],[16,256,2032,2064],[4,[-8,-4,2016,2064,2256,4032,4128]],[6,[[-1004,-8,-2,1,3512,4016,6256,9032,10128,11064]]]],
[512,0,1,1,
"15s05A802s0F80"
,[-2008,32,64],[64,128,2016],[16,256,2032,2064],[208,[26,28,30]]],
[512,0,1,-1,
"11s05A802s0C01054080s0404"
,[-16,-8,32,64],[-2016,64,128],[-16,32,128,256,1064],[4,[-8,-4,16,512,1032,1256,2064,3128]]],
[512,0,1,-1,
"15s05A80As0C02s0280s0404"
,[-16,-8,32,64],[-16,32,64,128],[-16,64,128,256,2032],[4,[-1016,-8,-4,16,32,1128,2064,4256]],[21,[-1008]],[6,[[-8,-2,1,8,16,3032,3128,3512,9064,11256]]]],
[512,0,1,-1,
"15s05A80As0C02s0280s0404"
,[-16,-8,32,64],[-16,32,64,128],[-16,64,128,256,2032],[4,[-1016,-8,-4,16,32,2064,3128,3256]],[21,[-1008]]],
[512,0,1,-1,
"5Fs031000580As0E40"
,[8,64,2016],[-16,1064,2032],[-2016,1032,1128,2064],[4,[-2004,16,1256,2128,7032,9064]]],
[512,0,1,1,
"15s05A802s0D050080"
,[8,16,32,64],[16,32,64,128],[16,32,128,256,1064],[4,[-8,-4,16,1032,2064,3128,3256]],[6,[[-1004,-8,-2,1,1512,2016,2032,8128,11064,12256]]]],
[512,0,1,1,
"15s05A802s0D050080"
,[8,16,32,64],[16,32,64,128],[16,32,128,256,1064],[4,[-8,-4,16,1032,2128,3256,4064]],[6,[[-1004,-8,-2,1,1512,2016,4032,7128,12064,12256]]]],
[512,0,1,-1,
"13s05B802s0C05004080"
,[-16,-8,32,64],[-16,32,64,128],[-16,32,128,256,1064],[4,[-8,-4,16,512,1032,1128,2064,2256]],[22,[8],[16],[32],[64]],[23,[16],[32],[64],[256],[1032],[1064]],[29,[16],[64],[1016],[1064]],[6,[[-8,-2,1,8,16,1032,3128,5512,6064,8256]]]],
[512,0,1,1,
"55s052802s0F80"
,[8,1032,2016],[16,1064,2032],[1032,1128,2016,2064],[4,[-1004,4,1008,1256,2128,7032,9064]],
[6,[[-1004,-1002,4,1008,1512,2001,3016,4128,9256,21032,21064]]\
]],
[512,0,1,1,
"15s05A812s0F80"
,[8,16,32,64],[16,32,64,128],[16,32,128,256,1064],[4,[-8,-4,256,512,1064,2016,2032,5128]],[6,[[-1004,-8,-2,1,2512,6016,6032,7256,10064,13128]]],[208,[29]]],
[512,0,1,1,
"15s05A812"
,[8,16,32,64],[16,32,64,128],[16,32,128,256,1064],[4,[-8,-4,256,512,1064,2016,2032,5128]],[6,[[-1004,-8,-2,1,4512,5256,6016,6032,9128,10064]]],
[10164,[[[-7004,32],[-3008,16,1008],[-3002,-1004,16],[-1008
,16],[-1008,16],[-1004,8],[-1004,8],
[-1004,8],[-1002,-4],[-2,1001],[32,5016],
[32,5016],[1016,1032,3008],[3032],[3032],
[3032,7016],[7016],[15032]]]]],
[512,0,1,1,
"15s05A802s0D050080"
,[8,16,32,64],[64,128,2016],[16,32,128,256,1064],[4,[-8,-4,16,512,1032,1256,2064,3128]],[6,[[-1004,-8,-2,1,16,3032,3512,8128,8256,11064]]]],
[512,0,1,-1,
"5Fs031000580As0E4080"
,[8,64,2016],[-16,1064,2032],[-2016,1032,1128,2064],[4,[-2004,16,1256,2128,5032,10064]],[22,[8],[16],[16],[16],[1032]],[6,[[-2004,-2002,1,1512,4016,8128,9256,11032,18064]]]],
[512,0,1,1,
"55s03A0000802s0F80"
,[8,1032,2016],[16,1064,2032],[1032,1128,2016,2064],[4,[-1004,4,1008,1256,2128,7032,9064]],
[6,[[-1004,-1002,4,1008,1512,2001,3016,6128,9256,17064,21032]]\
],
[6322,[[16,32,128,4064],[16,32,128,4064],[16,32,128,4064],
[16,32,128,4064],[16,32,128,4064],[16,32,128,4064],
[16,32,128,4064],[16,32,128,4064],[16,32,1128,2064],
[16,1064,1128,2032],[16,1064,1128,2032],
[16,1064,1128,2032],[32,1064,1128,4016],
[64,1128,2016,3032],[64,1128,2016,3032],
[128,1032,2016,3064],[128,1032,2016,3064],
[1032,1064,1128,2016],[1032,1064,1128,2016],
[1128,2016,2064],[2016,3064,5032],[2016,3064,5032]]]],
[512,0,1,1,
"15s052802s0D01"
,[-16,-8,32,64],[16,32,64,128],[16,32,128,256,1064],[4,[-8,-4,32,256,512,2016,2064,5128]],[208,[30]]],
[512,0,1,1,
"15s052802s0D010080"
,[-16,-8,32,64],[16,32,64,128],[16,32,128,256,1064],[4,[-8,-4,32,512,1256,2016,2064,3128]],[6,[[-8,-2,1,8,4016,4512,5032,6128,7256,9064]]],[208,[30]]],
[512,0,1,1,
"15s052812"
,[8,16,32,64],[16,32,64,128],[16,32,128,256,1064],[4,[-8,-4,256,512,2016,2032,3128,5064]]],
[512,0,1,-1,
"13s05B802s0C05004080"
,[-16,-8,32,64],[-16,32,64,128],[-16,32,128,256,1064],[4,[-8,-4,16,512,1032,1256,2064,3128]],[23,[16],[32],[64],[256],[1032],[1064]]],
[512,0,1,1,
"55s050802s0F80"
,[8,16,2032],[16,6032],[6016,6064],[4,[4,1016,2008,7128,22032]],[6,[[1004,1256,1512,2001,2008,2064,5016,25128,38032]]]],
[512,0,1,-1,
"1Fs05980As0C07004080s0404"
,[-16,-8,32,64],[-16,32,64,128],[-16,64,128,256,2032],[4,[-1016,-8,-4,16,32,1128,2064,4256]],[23,[16],[32],[32],[64],[128],[256],[1016]]],
[512,0,1,1,
"15s052812"
,[8,16,32,64],[16,32,64,128],[16,32,256,3064],[4,[-8,-4,2064,2128,3032,3256,4016]],[6,[[-1004,-8,-2,1,1008,2512,5016,7128,8032,9256,13064]]]],
[512,0,1,1,
"11s05A802s0D050080"
,[8,16,32,64],[64,128,2016],[16,32,128,256,1064],[4,[-8,-4,16,512,1032,1256,2064,3128]],[6,[[-1004,-8,-2,1,16,3032,4256,5512,8128,11064]]]],
[512,0,1,1,
"55s0320002812s0F80"
,[-16,-8,2032],[16,32,2064],[16,1128,2032,2064],[4,[-2008,-4,1016,1256,3128,4032,8064]]],
[512,0,1,1,
"55s03A0000802s0F80"
,[8,16,2032],[16,1064,2032],[1032,1128,2016,2064],[4,[4,1016,1256,2008,3128,6032,7064]],[6,[[1004,1016,1512,2001,2008,9128,9256,12064,20032]]],
[6322,[[16,32,128,4064],[16,32,128,4064],[16,32,1128,2064]
,[16,32,1128,2064],[16,32,1128,2064],
[16,32,1128,2064],[16,1064,1128,2032],
[16,1064,1128,2032],[16,1064,1128,2032],
[16,1064,1128,2032],[32,1064,1128,4016],
[64,1128,2016,3032],[64,1128,2016,3032],
[1032,1064,1128,2016],[1032,1064,1128,2016],
[1064,2016,9032],[1064,2016,9032],[1128,2016,2064],
[1128,2016,2064],[1128,2016,2064],[1128,2016,2064]]]],
[512,0,1,1,
"15s05A802s0F80"
,[-1008,8,32,64],[64,128,2016],[16,256,2032,2064],[4,[-2008,-4,64,2032,2256,5016,5128]],
[6,[[-2008,-1004,-2,1,1008,1512,7064,8016,10128,10256,14032]]
],[208,[29,35,35]]],
[512,0,1,1,
"15s052812s0F80"
,[8,16,32,64],[16,32,64,128],[16,32,256,3064],[4,[-8,-4,64,3032,3128,3256,4016]],[6,[[-1004,-8,-2,1,2512,6016,8032,8128,9256,11064]]]],
[512,0,1,1,
"55s052802s0F80"
,[8,16,2032],[16,1064,2032],[1032,1128,2016,2064],[4,[4,1256,2008,3016,3128,5032,7064]],[6,[[1004,2001,2008,3016,7128,13064,13256,25032]]]],
[512,0,1,-1,
"37s05980As0C06004080s0404"
,[-16,-8,32,64],[-16,32,64,128],[-16,64,2032,2128],[4,[-1016,-8,-4,16,32,2256,4064,4128]],[21,[16]],[23,[16],[32],[32],[32],[64],[128],[128],[128]]],
[512,0,1,1,
"55s050802s0F80"
,[8,16,2032],[16,6032],[6016,6064],[4,[4,2008,7128,23032]],[6,[[1004,1256,1512,2001,2008,3016,3064,25128,37032]]]],
[512,0,1,1,
"15s052802s0F80"
,[-1008,8,32,64],[64,128,2016],[16,256,2032,2064],[4,[-2008,-4,2032,2064,2256,4128,5016]]],
[512,0,1,-1,
"5Fs031000580As0E40"
,[8,1032,2016],[-16,1064,2032],[-2016,1032,1128,2064],[4,[-1004,4,1008,1256,2128,7032,9064]],[22,[8],[16],[16],[16],[1016],[1016]],
[6,[[-1004,-1002,4,1008,1512,2001,3016,6128,9256,17064,21032]]\
]],
[512,0,1,1,
"15s052802s0F80"
,[8,16,32,64],[16,32,64,128],[16,32,128,256,1064],[4,[-8,-4,512,1064,1256,2016,2032,3128]],[6,[[-1004,-8,-2,1,4016,4256,5032,5512,7128,11064]]]],
[512,0,1,-1,
"37s05980As0C13004080s0404"
,[-2016,-8,64],[-16,128,2032],[-2016,64,1032,2128],[4,[-3016,-8,-4,16,1032,1256,5064,5128]],[22,[-16],[-16],[8],[16],[64]],[23,[16],[16],[16],[32],[32],[64],[128],[128],
[128]]],
[512,0,1,1,
"15s052812s0F80"
,[8,16,32,64],[16,32,64,128],[16,32,128,256,1064],[4,[-8,-4,256,512,1064,2016,2032,5128]],[6,[[-1004,-8,-2,1,4512,5256,6016,6032,7128,14064]]],[208,[29]]],
[512,0,1,1,
"15s05A802s0C02s0280"
,[8,16,32,64],[16,32,64,128],[16,32,128,256,1064],[4,[-8,-4,16,512,1032,1256,2064,3128]],[6,[[-1004,-8,-2,1,16,3032,4512,6128,7256,11064]]]],
[512,0,1,-1,
"13s05B802s0C05s0280s0404"
,[-16,-8,32,64],[-16,32,64,128],[-16,32,128,256,1064],[4,[-8,-4,16,512,1032,1256,2064,3128]],[22,[8],[16],[32],[1032]]],
[512,0,1,-1,
"1Bs05A802s0C01004080"
,[-16,-8,2032],[-16,32,2064],[-16,256,2032,2064],[4,[4,2008,2064,2128,3256,5032]],[22,[8],[16],[32],[32],[32]],[29,[16],[64],[64],[64],[1016]],[6,[[1512,2001,3008,3064,6128,11032,14256]]]],
[512,0,1,-1,
"1Bs05A802s0C01004080"
,[-16,-8,2032],[-16,32,2064],[-16,256,2032,2064],[4,[4,2008,2064,2256,4128,5032]]],
[512,0,1,1,
"15s052802s0D01"
,[-16,-8,2032],[16,32,2064],[16,256,2032,2064],[4,[4,1016,2008,2064,2256,4032,4128]],[6,[[1512,2001,3008,3016,4064,10128,11256,15032]]],[208,[31]]],
[512,0,1,-1,
"37s05980As0C13004080s0404"
,[-16,-8,32,64],[-16,128,2032],[-2016,64,128,256,1032],[4,[-1016,-8,-4,16,1064,2032,3128,3256]],[21,[16]],[23,[16],[16],[16],[32],[32],[64],[128],[256]]],
[512,0,1,1,
"15s05A802s0C02s0280"
,[8,16,32,64],[16,32,64,128],[16,64,128,256,2032],[4,[-8,-4,32,2016,2064,3128,3256]],[6,[[-1004,-8,-2,1,16,2512,3032,6128,11064,11256]]]],
[512,0,1,1,
"15s052802s0D01"
,[-16,-8,2032],[16,32,2064],[16,256,2032,2064],[4,[4,1016,2008,2064,2256,4032,4128]],[6,[[512,2001,2064,3008,3016,11128,13256,15032]]],[208,[31]]],
[512,0,1,1,
"55s05A802s0F80"
,[8,1032,2016],[16,1064,2032],[1032,1128,2016,2064],[4,[-1004,4,1008,1256,2128,7032,9064]],[6,[[-1004,-1002,4,1008,2001,3016,6128,13256,15064,25032]]]],
[512,0,1,1,
"15s052802s0F80"
,[8,16,32,64],[16,32,64,128],[16,32,128,256,1064],[4,[-8,-4,512,1256,2016,2032,2128,3064]],[6,[[-1004,-8,-2,1,1008,3016,3512,5032,6256,10128,13064]]]],
[512,0,1,1,
"55s050802s0F80"
,[8,32,4016],[16,6032],[6016,6064],[4,[-3004,4,8,3064,5128,23032]],[6,[[-3004,-3002,8,2001,5256,13064,19016,19128,33032]]]],
[512,0,1,1,
"55s050802"
,[8,32,4016],[16,6032],[6016,6064],[4,[-3004,4,8,1016,3064,5128,22032]],[6,[[-3004,-3002,8,2001,5256,12064,19128,21016,34032]]]],
[512,0,1,1,
"15s05A802s0D050080"
,[8,16,32,64],[64,128,2016],[16,32,128,256,1064],[4,[-8,-4,16,512,1032,1256,2064,3128]],[6,[[-1004,-8,-2,1,16,3032,4128,5512,6256,11064]]],
[10164,[[[-7008,1032],[-7004,32],[-3008,32],[-3004,-1008,10\
16],[-3004,16],[-3002,-1004,16],[-1004,8],[-1002,-4],
[-2,1001],[3016,5032],[3032],[3032],[3032,7016],
[7016],[15032]]]]],
[512,0,1,1,
"15s05A802s0C02s0280"
,[8,16,32,64],[16,32,64,128],[16,64,128,256,2032],[4,[-8,-4,32,2016,2128,3256,4064]]],
[512,0,1,-1,
"5Fs031000580As0E40"
,[8,1032,2016],[-16,1064,2032],[-2016,1032,1128,2064],[4,[-1004,4,1008,1256,2128,8064,9032]]],
[512,0,1,-1,
"13s05B802s0C05s0280s0404"
,[-16,-8,32,64],[-16,32,64,128],[-16,32,128,256,1064],[4,[-8,-4,16,512,1032,1128,2064,2256]],[22,[8],[16],[32],[1032]],[29,[16],[64],[1016],[1064]],[6,[[-8,-2,1,8,16,1032,4128,5512,7256,8064]]],
[20322,[[[-2002,-1008,1001,1004],[-1002,-4],[-8,1004],[3016
]]]]],
[512,0,1,-1,
"57s035000102As0F80s0404"
,[-16,-8,32,64],[-16,32,2064],[-16,1128,2032,2064],[4,[-8,-4,16,1128,2256,5032,8064]]],
[512,0,1,1,
"55s05A802"
,[8,16,2032],[16,1064,2032],[1032,1128,2016,2064],[4,[4,1016,1256,2008,3128,6032,7064]],[6,[[1004,1016,1512,2001,2008,9128,9256,12064,20032]]],
[6322,[[16,32,128,4064],[16,32,128,4064],[16,32,1128,2064]
,[16,32,1128,2064],[16,32,1128,2064],
[16,32,1128,2064],[16,32,1128,2064],[16,32,1128,2064],
[16,32,1128,2064],[16,32,1128,2064],
[32,1064,1128,4016],[64,1128,2032,4016],
[64,1128,2032,4016],[1032,1064,1128,2016],
[1032,1064,1128,2016],[1032,1064,1128,2016],
[1032,1064,1128,2016],[1064,2016,9032],[1064,2016,9032],
[1128,2016,2064],[1128,2016,2064]]]],
[512,0,1,1,
"55s0320002812s0F80"
,[-16,-8,32,64],[16,32,2064],[16,1128,2032,2064],[4,[-8,-4,1128,2016,2032,2256,9064]],[6,[[-1016,-8,-2,1,8,1512,2016,4128,7032,11256,20064]]]],
[512,0,1,1,
"55s0320002812s0F80"
,[-16,-8,32,64],[16,32,2064],[16,1128,2032,2064],[4,[-8,-4,1128,2016,2256,4032,8064]]],
[512,0,1,-1,
"1Ds05980As0C13004080s0404"
,[-16,-8,32,64],[-16,32,64,128],[-16,64,128,256,2032],[4,[-1016,-8,-4,16,32,1128,2064,4256]],[23,[16],[32],[32],[32],[64],[128],[1128]]],
[512,0,1,1,
"15s052802s0F80"
,[-16,-8,32,64],[16,32,64,128],[16,32,128,256,1064],[4,[-8,-4,512,1064,1256,2016,2032,3128]],[6,[[-8,-2,1,8,3512,6016,6032,8064,8128,8256]]]],
[512,0,1,1,
"55s052802"
,[8,1032,2016],[16,1064,2032],[1032,1128,2016,2064],[4,[-1004,4,1008,1256,2128,3016,5032,9064]],[6,[[-1004,-1002,4,1008,2001,4128,7016,13256,17064,27032]]]],
[512,0,1,1,
"11s05A802s0D050080"
,[8,16,32,64],[64,128,2016],[16,32,128,256,1064],[4,[-8,-4,16,512,1032,1128,1256,6064]]],
[512,0,1,1,
"15s05A802s0C02s0280"
,[8,16,32,64],[16,32,64,128],[16,32,128,256,1064],[4,[-8,-4,16,512,1032,1256,2128,4064]],[6,[[-1004,-8,-2,1,16,2512,5032,9128,9256,12064]]]],
[512,0,1,1,
"55s0320002812s0F80"
,[-16,-8,2032],[16,32,2064],[16,1128,2032,2064],[4,[-2008,-4,1016,1256,2032,3128,9064]],
[6,[[-2008,-1016,-1004,-2,1,1016,1512,8256,10128,15032,16064]]\
]],
[512,0,1,-1,
"5Fs031000580As0E40"
,[8,1032,2016],[-16,1064,2032],[-2016,1032,1128,2064],[4,[-1004,4,1008,1256,2128,7032,9064]],[22,[8],[16],[16],[16],[1016],[1016]],
[6,[[-1004,-1002,4,512,1008,2001,3016,7128,11256,15064,21032]]\
]],
[512,0,1,-1,
"57s035000102As0F80s0404"
,[-16,-8,32,64],[-16,32,2064],[-16,1128,2032,2064],[4,[-8,-4,16,1128,2256,3032,9064]],[22,[8],[16],[32],[1032]],[6,[[-1016,-8,-2,1,8,16,2512,4032,5128,9256,20064]]]],
[512,0,1,1,
"15s052802s0D01"
,[-16,-8,2032],[16,32,2064],[16,256,2032,2064],[4,[4,1016,1256,2008,2064,4032,6128]],[208,[31]]],
[512,0,1,-1,
"1Ds05980As0C06004080s0404"
,[-16,-8,32,64],[-16,32,64,128],[-16,64,128,256,2032],[4,[-1016,-8,-4,16,32,2128,3256,4064]]],
[512,0,1,-1,
"1Bs05A802s0C01004080s0404"
,[-16,-8,32,64],[-16,32,2064],[-16,256,2032,2064],[4,[-8,-4,16,2128,3032,3064,3256]],[22,[8],[16],[32],[64]],[29,[16],[64],[64],[64],[1016]],[6,[[-8,-2,1,8,16,1512,4064,5032,5128,15256]]]],
[512,0,1,-1,
"37s05B80As0C07004080s0404"
,[-16,-8,32,64],[-16,32,64,128],[-16,64,128,256,2032],[4,[-1016,-8,-4,16,32,2064,2256,5128]],[21,[16]]],
[512,0,1,-1,
"17s05B802s0C15004080s0404"
,[-16,-8,32,64],[-16,32,64,128],[-16,64,128,256,2032],[4,[-1016,-8,-4,16,32,1128,2064,4256]],[22,[8],[16],[32],[1032]],[6,[[-8,-2,1,8,16,1032,3512,4128,8064,11256]]],[20322,[[[-5002,16,3001],[-3002,-8],[-1002,-4],[3016]]]
]],
[512,0,1,-1,
"57s035000182As0F80s0404"
,[-16,-8,2032],[-16,32,2064],[-16,1128,2032,2064],[4,[-2008,-4,1256,3032,3128,9064]],[22,[8],[16],[32],[1016],[1016]],[6,[[-2008,-1016,-1004,-2,1,2512,6256,11128,12032,16064]]]],
[512,0,1,1,
"55s05A802"
,[8,1032,2016],[16,1064,2032],[1032,1128,2016,2064],[4,[-1004,4,1008,1256,2128,7032,9064]],
[6,[[-1004,-1002,4,1008,1512,2001,3016,6128,9256,17064,21032]]\
],
[6322,[[16,32,128,4064],[16,32,128,4064],[16,32,128,4064],
[16,32,128,4064],[16,32,128,4064],[16,32,128,4064],
[16,32,128,4064],[16,32,128,4064],[16,32,1128,2064],
[16,32,1128,2064],[32,1064,1128,4016],
[128,1032,2016,3064],[128,1032,2016,3064],
[1032,1064,1128,2016],[1032,1064,1128,2016],
[1032,1064,1128,2016],[1032,1064,1128,2016],
[1032,1064,1128,2016],[1032,1064,1128,2016],
[1032,1064,1128,2016],[2016,3064,5032],[2016,3064,5032]
]]],
[512,0,1,1,
"55s0320002812s0F80"
,[-16,-8,32,64],[16,32,64,128],[16,32,1064,2128],[4,[-8,-4,2016,2032,2256,3064,4128]]],
[512,0,1,1,
"55s03A0000802s0F80"
,[8,16,2032],[16,1064,2032],[1032,1128,2016,2064],[4,[4,1256,2008,3128,7032,7064]],[6,[[1004,1512,2001,2008,9128,9256,13064,19032]]]],
[512,0,1,-1,
"13s05B802s0C05s0280s0404"
,[-16,-8,32,64],[-16,32,64,128],[-16,32,128,256,1064],[4,[-8,-4,16,512,1032,1128,2064,2256]],[22,[8],[16],[32],[1032]],[29,[16],[64],[1016],[1064]],[6,[[-8,-2,1,8,16,1032,4128,5512,7256,8064]]],
[20322,[[[-2002,16,1001,1004],[-1002,-4],[-8,1004],[3016]
]]]],
[512,0,1,-1,
"57s035000182As0F80s0404"
,[-16,-8,2032],[-16,32,2064],[-16,1128,2032,2064],[4,[-2008,-4,1256,3128,5032,8064]]],
[512,0,1,1,
"55s052802s0F80"
,[8,16,2032],[16,1064,2032],[1032,1128,2016,2064],[4,[4,1256,2008,3128,7032,7064]],[6,[[1004,1512,2001,2008,7128,9256,17064,19032]]]],
[512,0,1,-1,
"57s035000182As0F80s0404"
,[-16,-8,32,64],[-16,32,64,128],[-16,32,1128,3064]],
[512,0,1,1,
"55s03A0000802s0F80"
,[8,16,2032],[16,1064,2032],[1032,1128,2016,2064],[4,[4,1256,2008,3128,7032,7064]],[6,[[1004,2001,2008,2512,7256,9128,14064,17032]]],
[6322,[[16,32,1128,2064],[16,32,1128,2064],[16,32,1128,2064
],[16,32,1128,2064],[16,32,1128,2064],
[16,32,1128,2064],[16,32,1128,2064],[16,32,1128,2064],
[16,32,1128,2064],[16,32,1128,2064],[32,2128,4016],
[1032,2016,2128],[1032,2016,2128],[1128,2016,2064],
[1128,2016,2064],[1128,2016,2064],[2016,3064,5032],
[2016,3064,5032]]]],
[512,0,1,1,
"15s052802s0F80"
,[-16,-8,32,64],[16,32,64,128],[16,32,128,256,1064],[4,[-8,-4,512,1064,1256,2016,2032,3128]],[6,[[-8,-2,1,8,4512,6016,6032,6256,7128,10064]]]],
[512,0,1,1,
"15s052802s0F80"
,[-16,-8,32,64],[16,32,64,128],[16,32,128,256,1064],[4,[-8,-4,256,512,1064,2016,2032,5128]]],
[512,0,1,-1,
"1Bs05A802s0C01004080s0404"
,[-16,-8,32,64],[-16,32,2064],[-16,256,2032,2064],[4,[-8,-4,16,2256,3032,3064,4128]]],
[512,0,1,1,
"15s052802s0F80"
,[-16,-8,32,64],[16,32,2064],[16,256,2032,2064],[4,[-8,-4,2016,2032,2256,3064,4128]],[6,[[-8,-2,1,8,1512,4016,5064,9032,9128,12256]]],[208,[27]]],
[512,0,1,-1,
"3Fs05B80As0C01004080"
,[-16,-8,2032],[-16,32,2064],[-16,256,1064,4032],[4,[-1016,4,1256,2008,2064,4032,6128]],[21,[16]],[6,[[-1016,512,2001,3008,3064,12256,13128,14032]]]],
[512,0,1,1,
"55s03A0000802s0F80"
,[8,1032,2016],[16,1064,2032],[1032,1128,2016,2064],[4,[-1004,4,1008,1016,1256,2128,6032,9064]],[6,[[-1004,-1002,4,1008,2001,5016,6128,13256,14064,26032]]],
[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],[32,4016,5064],[64,1128,2016,3032],
[64,1128,2016,3032],[64,1128,2016,3032],
[64,1128,2016,3032],[64,1128,2016,3032],
[64,1128,2016,3032],[128,1032,2016,3064],
[128,1032,2016,3064],[1032,2016,5064],[1032,2016,5064],
[1064,2016,9032],[1064,2016,9032]]]],
[512,0,1,-1,
"1Fs05B80As0C13004080s0404"
,[-16,-8,32,64],[-16,32,64,128],[-16,64,128,256,2032],[4,[-1016,-8,-4,16,32,2064,3128,3256]],[21,[16]],[24,[-8],[-4],[16],[16],[16],[32],[64],[64],
[64],[128],[128],[256],[256],[256],[1064],[1064],
[1128]]],
[512,0,1,1,
"55s05A802s0F80"
,[8,16,2032],[16,1064,2032],[1032,1128,2016,2064],[4,[4,1016,1256,2008,3128,6032,7064]],[6,[[1004,1016,2001,2008,9128,10064,13256,24032]]]],
[512,0,1,1,
"55s03A0000802s0F80"
,[8,16,2032],[16,1064,2032],[1032,1128,2016,2064],[4,[4,1256,2008,3128,7032,7064]],[6,[[1004,2001,2008,2512,7256,9128,14064,17032]]],
[6322,[[16,32,1128,2064],[16,32,1128,2064],[16,32,1128,2064
],[16,32,1128,2064],[16,32,1128,2064],
[16,32,1128,2064],[16,32,1128,2064],[16,32,1128,2064],
[16,32,1128,2064],[16,32,1128,2064],[32,2128,4016],
[1032,2016,2128],[1032,2016,2128],[1128,2016,2064],
[1128,2016,2064],[1128,2016,2064],[2016,3064,5032],
[2016,3064,5032]]]],
[512,0,1,1,
"15s05A802s0F80"
,[-2008,32,64],[64,128,2016],[16,256,2032,2064],[6,[[-2008,-2,1,1512,2008,5064,7128,8016,12256,14032]]],[208,[26,35,35]]],
[512,0,1,1,
"15s052802s0F80"
,[-16,-8,32,64],[16,32,2064],[16,256,2032,2064],[4,[-8,-4,1256,2016,2032,3064,6128]]],
[576,0,1,1,
"11011040s0302s0540s0208s0A02"
,[8,64,1024],[16,1048,1064],[16,64,192,1048,1096],[4,[-12,-4,12,288,1016,1048,1064,1096,1144,3192]],[208,[42]]],
[576,0,1,1,
"11011040s0302s0540s0208"
,[8,1024,1032],[16,1048,1064],[16,64,192,1048,1096],[4,[4,144,288,1012,1016,1048,1064,1072,1096,3192]],[208,[42]]],
[576,0,1,1,
"05s0248s0302s080C"
,[24,96],[48,192],[16,64,192,288],[4,[4,16,48,72,144,1192,1576]]],
[576,1,1,1,
"05s0248s0312s0808s0680"
,[48,72],[96,144],[32,96,144,288],[6,[[-1072,-36,-24,6,9,72,96,1144,4576,9288]]]],
[576,0,1,1,
"11011040s020802s0F80"
,[-24,-8,24,64],[16,1048,1064],[16,64,192,1048,1096],[4,[-1024,-12,-4,12,48,288,1016,1064,1096,1144,3192]]],
[576,0,1,1,
"11011040s020802s0808"
,[8,1024,1032],[16,1048,1064],[16,64,192,1048,1096],[4,[4,48,144,288,1012,1016,1024,1064,1072,1096,3192]]],
[576,0,1,1,
"15s0248s0302s0501s0208s0A02"
,[72,1024],[144,1048],[96,1016,2144],[4,[-1036,-1004,24,36,576,1048,6144]]],
[576,1,1,1,
"05s0248s0302s080C"
,[48,72],[96,144],[32,144,288,1048],[4,[-1012,-36,8,72,96,144,4288]]],
[672,0,1,1,
"05s0240s0302s0828s0340s0280s0410"
,[-56,-8,56],[16,1112],[336,1112],[4,[-168,-84,28,56,84,168,224,2336]]],
[672,0,1,-1,
"03s0240s0302s0818s0340s0280s0414"
,[-112,-8],[-16,224],[-1112,-336]],
[768,0,1,1,
"55s0250s020802s0501s0228s0A02"
,[8,16,1048],[16,32,1096],[16,64,1048,1192],[4,[4,32,128,1012,1048,1384,7096]]],
[768,0,1,1,
"55s0250s0302s0501s0228s0A02"
,[8,16,96],[16,32,1096],[16,64,1048,1192],[4,[4,24,1048,1128,1384,6096]]],
[768,0,1,1,
"15s0240s0302s0808"
,[24,2032],[48,2064],[16,256,2096],[4,[4,192,2024,2048,2384,3064]],[6,[[1012,2001,2024,2064,2384,2768,4096,5032,5048,8192]]]],
[768,0,1,1,
"55s0250s0302s0501s0228s0680s0302"
,[8,16,96],[16,32,1096],[16,64,1048,1192],[4,[4,24,1128,1384,7096]],[6,[[3,16,24,48,192,1004,1768,2064,7384,13096]]]],
[768,0,1,1,
"15s0240s0302s0808s0A02"
,[24,32,64],[48,2064],[16,256,2096],[4,[-24,-4,192,2384,3048,3064]]],
[768,0,1,1,
"15s0208s0302s0804"
,[24,96],[48,192],[16,256,2096],[4,[4,64,1192,2024,2048,2384]]],
[768,0,1,1,
"55s0250s020802s0501s0228s0A02"
,[8,16,1048],[16,32,1096],[16,64,1048,1192],[4,[4,32,128,1012,1384,8096]],[6,[[1,4,16,192,1003,1012,1768,2064,6384,8048,13096]]]],
[768,0,1,1,
"55s0250s022802s0828s0680"
,[8,16,1048],[16,32,1096],[16,64,1048,1192],[4,[-12,-4,12,32,128,192,1048,1384,5096]],[6,[[-1003,-12,-4,1,12,1016,1064,2192,9048,9096,10384]]]],
[768,0,1,1,
"55s0250s02A802s0828s0680"
,[-1008,8,1048],[1096,2016],[16,64,192,1048,1096],[4,[-1024,-12,-4,12,32,128,2048,4096,4192]],[208,[24,44,44]],
[10164,[[[-7006,1024],[-7006,1024],[-3012,3012],[-3012,3012
],[-3012,5024],[-3012,5024],[-3006,24],[-3003],
[-3003,-1006,1012],[-3003,-1006,1012],[-1006,-12],
[-1006,-12],[-1003,-6],[-3,1],[48,5024],
[48,5024],[3008],[3008,3024],[3024],[3024,7012]]
]]],
[768,0,1,1,
"55s0250s02A802s0828s0680s0302"
,[8,16,1048],[1096,2016],[16,64,192,1048,1096],[4,[-12,-4,12,32,128,384,2192,3048,4096]],[6,[[-1003,-12,-4,1,12,1016,1064,6192,8384,9048,9096]]],
[10164,[[[-7006,1024],[-7006,1024],[-3012,3012],[-3012,3012
],[-3012,5024],[-3012,5024],[-3006,-1012],
[-3006,24],[-3003],[-3003,-1006,1012],
[-3003,-1006,1012],[-1003,-6],[-3,1],[1048,11024],
[3008],[3008,3024],[3024],[3024,7012]]]]],
[768,0,1,1,
"15s0240s022802s0501s0208s0680s0302"
,[8,16,1048],[16,32,1096],[16,64,1048,1192],[4,[-12,-4,12,32,192,1048,1064,1384,5096]],
[6,[[-1003,-12,-4,1,12,64,768,1016,1032,5384,8192,9048,9096]
]]],
[768,0,1,1,
"15s0240s02A802s0501s0208s0680s0302"
,[8,16,1048],[16,32,1096],[16,64,1048,1192],[4,[-12,-4,12,32,128,192,1048,1384,5096]],[6,[[-1003,-12,-4,1,12,768,1016,1064,2192,8384,9048,9096]]],
[10164,[[[-3012,24,1012],[-3012,24,1012],[-3006,1012,1024],
[-3006,1012,1024],[-3006,1012,1024],[-3003],
[-1003,-6],[-3,1],[16,48,1008,1024],[16,1008],
[24,1012],[24,1012],[48,1024],[3012,5024],
[3024,5048],[7048]]]],[40321,[[[-1004,8]]]],
[60164,[[[-3006,1012,1024],[-1012,-1006,12],[-1006],[-1006]
,[-1006,12,24],[-3,1],[48,3012],[48,3012],
[1016],[1016,1048],[1048],[1048,3024],[3024],
[3024],[3024,5048],[3024,5048]],
[[4],[4,12,16],[12],[12],[48],[48,3012],
[1016,1048],[1048],[1048],[1048],[1048],[1048],
[3012],[3048],[7048],[7048]]]]],
[768,0,1,1,
"15s0240s022802s0501s0208s0680s0302"
,[8,16,1048],[16,32,1096],[16,64,1048,1192],[4,[-12,-4,12,128,192,1016,1048,1384,5096]],
[6,[[-1003,-12,-4,1,12,64,768,1016,1032,6192,6384,8096,11048]\
]]],
[768,0,1,1,
"55s0250s020802s0501s0228s0680"
,[8,16,1048],[16,32,1096],[16,64,1048,1192],[4,[-12,-4,12,32,128,384,1048,1192,7096]]],
[768,0,1,1,
"15s0240s022802s0501s0208s0680s0302"
,[8,16,1048],[16,32,1096],[16,64,1048,1192],[4,[-12,-4,12,32,192,1048,1064,1384,5096]],
[6,[[-1003,-12,-4,1,12,16,768,1008,1064,5384,8192,9048,9096]
]]],
[768,0,1,1,
"15s0240s02A802s0501s0208s0680s0302"
,[8,16,1048],[16,32,1096],[16,64,1048,1192],[4,[-12,-4,12,32,128,192,1048,1384,5096]],[6,[[-1003,-12,-4,1,12,768,1016,1064,3192,7384,9048,11096]]
]],
[768,0,1,1,
"15s0240s022802s0501s0208s0A02"
,[8,64,1024],[16,128,1048],[16,64,1048,1192],[4,[-12,-4,12,128,192,1016,1384,3048,4096]],
[6,[[-1012,-6,-2,1,6,24,32,768,1016,1064,2012,5384,7192,9048,
10096]]]],
[768,0,1,1,
"15s0240s02A802s0501s0208s0680s0302"
,[8,16,1048],[16,32,1096],[16,64,1048,1192],[4,[-12,-4,12,32,128,192,1048,1384,5096]],[6,[[-1003,-12,-4,1,12,768,1016,1064,2192,8384,9048,9096]]],
[10164,[[[-3012,24,1012],[-3012,24,1012],[-3006,1012,1024],
[-3006,1012,1024],[-3006,1012,1024],[-3003],
[-1003,-6],[-3,1],[16,48,1008,1024],[16,1008],
[24,1012],[24,1012],[48,1024],[3012,5024],
[3024,5048],[7048]]]],[40321,[[[8,1004]]]]],
[768,0,1,1,
"15s0240s022802s0501s0208s0A02"
,[8,16,1048],[16,32,1096],[16,64,1048,1192],[4,[-12,-4,12,128,192,1016,1384,3048,4096]],
[6,[[-1003,-12,-4,1,12,16,768,1008,1024,1064,5384,7192,9096,1\
2048]]]],
[768,0,1,1,
"15s0240s02A802s0501s0208s0680s0302"
,[8,16,1048],[16,32,1096],[16,64,1048,1192],[4,[-12,-4,12,32,128,192,1048,1384,5096]],[6,[[-1003,-12,-4,1,12,768,1016,1064,2192,8384,9048,9096]]],
[10164,[[[-3012,24,1012],[-3012,24,1012],[-3006,1012,1024],
[-3006,1012,1024],[-3006,1012,1024],[-3003],
[-1003,-6],[-3,1],[16,48,1008,1024],[16,1008],
[24,1012],[24,1012],[48,1024],[3012,5024],
[3024,5048],[7048]]]],
[60164,[[[-3006,1012,1024],[-1012,-1006,12],[-1006],[-1006]
,[-1006,12,24],[-3,1],[48,3012],[48,3012],
[1016],[1016,1048],[1048],[1048,3024],[3024],
[3024],[3024,5048],[3024,5048]],
[[-1012,1012],[-12],[-4],[4,12,16],[12],
[24,48,1012],[48],[1016,1048],[1048],[1048],
[1048],[1048],[1048],[3048],[3048,7024],[7048]]
]],[40321,[[[-1004,8]]]]],
[768,0,1,1,
"55s0250s022802s0828s0680s0302"
,[8,16,1048],[16,32,1096],[16,64,1048,1192],[4,[-12,-4,12,32,128,384,1048,2192,5096]]],
[768,0,1,1,
"15s0240s0312s0501s0208s0680s0302"
,[8,48,64],[16,96,128],[48,1064,1192],[4,[12,128,1048,2016,2384,3096]],[6,[[1,6,8,12,16,24,32,768,2064,3048,5096,7192,7384]]],[208,[41]]],
[768,0,1,1,
"15s0208s020802s0804"
,[24,96],[48,192],[16,256,2096],[4,[4,192,256,2024,2048,2384]],[6,[[3,1192,3024,3768,4384,5048,6096]]]],
[768,0,1,-1,
"57s0250s021002s0828s0680s030204"
,[-16,-8,96],[-16,32,192],[-16,64,192,2096],[4,[-1048,-24,-4,256,384,2096,3192]]],
[768,0,1,1,
"55s025020s0212s0828s0680"
,[-16,-8,96],[16,32,192],[16,64,96,1192],[4,[-24,-4,256,1048,1192,1384,2096]],[6,[[-48,-24,-16,-3,8,16,1064,2048,2768,4096,4192,5384]]]],
[768,0,1,1,
"15s0240s022002s0501s0208s04050080s0302"
,[8,48,64],[16,96,128],[48,384,1064],[4,[12,16,32,96,128,1384,3192]]],
[768,0,1,1,
"15s0208s0312s0804s0680"
,[24,96],[48,192],[16,96,192,1128],[4,[-24,-4,96,768,1032,1048,3192]]],
[768,0,1,-1,
"55s025050s022As0828s0680s030204"
,[-16,-8,96],[-2016,192],[-16,64,96,1192]],
[768,0,1,1,
"15s0240s0302s0808s0680"
,[24,32,64],[48,2064],[16,256,2096],[4,[-24,-4,192,2384,3048,3064]]],
[768,0,1,1,
"55s0250s022802s0828s0680"
,[-2008,96],[192,2016],[16,64,192,2096]],
[768,0,1,1,
"15s0240s028802s0501s0208s0302s0280s0302"
,[8,48,64],[16,96,128],[16,64,384,1048],[4,[12,16,32,128,1048,1192,2384]]],
[768,0,1,1,
"15s0240s020802s0808"
,[24,2032],[48,2064],[16,256,2096],[4,[4,48,192,2384,3064,6024]]],
[768,0,1,-1,
"55s025010000808s0501s0228s0540"
,[8,16,1048],[-16,32,1096],[-1048,-16,64,1192],[4,[-12,-4,12,32,128,384,1192,8096]],[21,[-1008]],
[6,[[-1003,-12,-4,1,16,64,128,1006,1768,3384,7192,10048,10096
]]]],
[768,0,1,1,
"15s0208s022812s0804s0680"
,[24,96],[48,192],[16,96,192,256],[4,[-24,-4,64,96,384,768,1048,1192]],[6,[[-1012,-24,-3,2048,3384,3768,4096,5192]]]],
[768,0,1,1,
"15s0240s0302s0808"
,[96,2008],[192,2016],[16,256,2096],[4,[4,192,2024,2048,2384,3064]]],
[768,0,1,1,
"11s0240s02A802s0808s0680s0302"
,[8,16,96],[192,2016],[16,96,192,256],[4,[4,24,192,384,768,1096,3064]]],
[768,0,1,1,
"15s0208s020812s0804s0680"
,[24,96],[48,192],[16,96,192,1128],[4,[-24,-4,96,768,1048,1128,2192]]],
[768,0,1,1,
"15s0208s022812s0804s0680"
,[24,96],[48,192],[16,96,192,256],[4,[-24,-4,96,192,256,384,768,1048]],[6,[[-24,-3,24,384,2048,3192,4096,5768]]]],
[896,0,1,1,
"11s0602s0C40s0710"
,[56,64],[112,128],[112,448],[4,[28,896,1112,2224]]],
[896,0,1,1,
"11s0508s0D40s0710"
,[8,112],[16,224],[112,448],[4,[28,896,3224]],[6,[[7,28,1064,3112,4896,5224]]]],
[896,0,1,1,
"11s0602s0C40s0710"
,[8,112],[16,224],[112,448],[4,[28,896,1112,2224]]],
[896,0,1,1,
"11s0602s0C40"
,[56,64],[112,128],[112,448],[4,[28,896,7112]]],
[960,1,2,1,
"05s0208s0312s0410s0304s0680s0408"
,[120],[240],[80,480],[4,[-120,-20,240,480,960]]],
[960,1,2,1,
"05s0208s0302s0410"
,[120],[240],[80,2160]],
[960,1,1,1,
"05s0240s0302s0410s0308"
,[40,80],[80,160],[240,1160],[4,[60,80,160,1040,2480]]],
[1024,0,1,1,
"55s050802"
,[8,6016],[16,6032],[6016,6064],[4,[6004,6128,27032]],[6,[[1064,6001,6004,6256,20128,27016,41032]]]],
[1024,0,1,1,
"55s052802"
,[8,16,2032],[16,32,2064],[16,256,2032,2064],[4,[4,2008,2032,2064,2256,4128,5016]],[6,[[1004,2001,2008,2512,8128,8256,9016,11064,14032]]]],
[1024,0,1,1,
"55s05A802s0F80"
,[8,16,2032],[16,32,2064],[16,256,2032,2064],[4,[4,2008,2064,2256,4128,5032]],[6,[[1004,2001,2008,2512,8064,8128,9256,17032]]]],
[1024,0,1,1,
"55s03A0002802s0F80"
,[8,16,32,64],[16,32,2064],[16,256,2032,2064],[4,[-8,-4,2016,2032,2256,3064,4128]],
[6322,[[16,1064,1128,2032],[16,1064,1128,2032],[16,1064,1128
,2032],[16,1064,1128,2032],[128,2016,2064,3032],
[128,2016,2064,3032],[256,1032,1064,2016],
[256,1032,1064,2016],[256,1032,1064,2016]]]],
[1024,0,1,1,
"55s05A802s0F80"
,[8,64,2016],[16,1064,2032],[1032,1128,2016,2064],[4,[-2004,1256,2016,2128,4032,10064]],[6,[[-2004,-2002,1,1024,7256,10016,10032,13128,15064]]]],
[1024,0,1,1,
"55s05A802s0F80"
,[8,64,2016],[16,128,2032],[1064,2016,2128],[4,[-2004,512,2016,2032,5064,5128]],[6,[[-2004,-2002,1,2256,4512,6016,10032,12064,13128]]],
[6322,[[128,1064,2016,5032],[128,1064,2016,5032],[256,2016,5\
032],[256,2016,5032],[1032,2016,5064],[1032,2016,5064],
[1128,2016,5032],[1128,2016,5032],[1128,2016,5032],
[1128,2016,5032],[1128,2016,5032]]]],
[1024,0,1,1,
"55s052812s0F80"
,[8,16,32,64],[16,32,64,128],[16,32,128,256,1064],[4,[-8,-4,32,256,512,2016,2064,5128]],[6,[[-1004,-8,-2,1,1024,2016,3256,3512,6032,9128,11064]]]],
[1024,0,1,1,
"55s03A000A802s0F80"
,[8,16,2032],[16,32,2064],[16,256,2032,2064],[4,[4,2008,2064,2256,4128,5032]],[6,[[1004,2001,2008,4512,5256,8128,10064,13032]]],
[60044,[[[4],[32],[32],[32],[32],[32],[128],[1004],
[1004],[1004],[1016],[1032],[1032],[1032],
[1128],[1128],[1128],[3032],[3032],[3032],
[3032]],
[[4],[32],[32],[32],[128],[1004],[1004],[1004],
[1016],[1016],[1016],[1032],[1032],[1032],
[1128],[1128],[1128],[3032],[3032],[3032],
[3032]]]],
[10164,[[[-3004,1008,1016],[-3004,1008,1016],[-3004,1008,1016
],[-1004,1004,1008],[-1004,1004,1008],
[-1004,1004,1008],[-1002,4],[-1002,4],[-1002,4],
[16,1008],[16,1008],[16,1008],[64,1032],
[64,1032],[64,2032,5016],[64,2032,5016],
[64,3016,3032],[3001],[3008,5016],[3008,5016],
[3008,5016]]]]],
[1024,0,1,1,
"55s052802s0F80"
,[8,16,32,64],[16,32,2064],[16,256,2032,2064],[4,[-8,-4,2016,2064,2256,4032,4128]],[6,[[-1004,-8,-2,1,4016,4512,6128,6256,9032,11064]]]],
[1024,0,1,1,
"55s03A000A802s0F80"
,[8,16,32,64],[16,32,2064],[16,256,2032,2064],[4,[-8,-4,16,2256,3032,3064,4128]],[6,[[-1004,-8,-2,1,16,1024,2512,7032,7064,7128,7256]]],
[4322,[[16,1064,1128,2032],[256,1032,1064,2016],[1032,1064,1\
128,2016],[1032,1064,1128,2016]]]],
[1024,0,1,1,
"55s05A802s0F80"
,[8,16,2032],[16,32,2064],[16,256,2032,2064],[4,[4,2008,2064,2256,4128,5032]],[6,[[1004,2001,2008,4512,5256,8128,10064,13032]]],
[10164,[[[-3004,1008,1016],[-3004,1008,1016],[-3004,1008,1016
],[-1004,1004,1008],[-1004,1004,1008],
[-1004,1004,1008],[-1002,4],[-1002,4],[-1002,4],
[16,1008],[16,1008],[16,1008],[64,1032],
[64,1032],[64,3016,3032],[64,3016,3032],
[64,3016,3032],[3001],[3008,5016],[3008,5016],
[3008,5016]]]],
[20329,[[[-5004,-3002,1016],[-3008,1016],[-3008,1016],[-3004
,16],[-1002,-8,-4]],
[[-5004,-3002,1016],[-3008,1016],[-3008,1016],
[-3004,16],[-1002,-8,-4]],
[[-3002,1016,5004],[-1002,4,8],[16,3004],[1016,3008],
[1016,3008]]]]],
[1024,0,1,1,
"55s05A802s0F80"
,[8,64,2016],[16,128,2032],[1064,2016,2128],[4,[-2004,512,2016,4032,4064,5128]],[6,[[-2004,-2002,1,2256,4512,8016,11032,12128,13064]]],
[6322,[[16,32,128,4064],[16,32,128,4064],[256,2016,5032],[\
256,2016,5032],[1032,2016,5064],[1128,2016,5032],
[1128,2016,5032],[1128,2016,5032],[1128,2016,5032],
[1128,2016,5032],[2016,3064,5032],[2016,3064,5032]]]],
[1024,0,1,1,
"55s03A0000802s0F80"
,[8,64,2016],[16,1064,2032],[1032,1128,2016,2064],[6,[[-2004,-2002,1,1024,4016,7128,10256,11032,16064]]],
[6322,[[16,1064,1128,2032],[16,1064,1128,2032],[16,1064,1128
,2032],[32,256,1064,4016],[64,1128,2016,3032],
[64,1128,2016,3032],[128,2016,2064,3032],
[128,2016,2064,3032],[256,1032,1064,2016],
[256,1032,1064,2016],[256,1032,1064,2016],
[256,1032,1064,2016]]]],
[1024,0,1,1,
"55s03A0000802s0F80"
,[8,1032,2016],[16,1064,2032],[1032,1128,2016,2064],[4,[-1004,4,1008,1256,2128,7032,9064]],
[6,[[-1004,-1002,4,1008,1512,2001,3016,4128,10256,17064,21032]
]],
[6322,[[16,32,128,4064],[16,32,128,4064],[16,32,128,4064],
[16,32,128,4064],[16,32,128,4064],[16,32,128,4064],
[16,32,128,4064],[16,32,128,4064],[16,32,1128,2064],
[16,32,1128,2064],[16,1064,1128,2032],
[16,1064,1128,2032],[16,1064,1128,2032],
[32,1064,1128,4016],[128,2016,2064,3032],
[128,2016,2064,3032],[1032,1064,1128,2016],
[1032,1064,1128,2016],[1032,1064,1128,2016],
[1032,1064,1128,2016],[2016,3032,4064],[2016,3032,4064]
]]],
[1024,0,1,1,
"55s05A802s0F80"
,[8,16,32,64],[16,32,2064],[16,256,2032,2064],[4,[-8,-4,16,2256,3032,3064,4128]],[6,[[-1004,-8,-2,1,16,4512,6128,7032,7256,9064]]]],
[1024,0,1,1,
"55s05A802s0C02050080"
,[8,16,32,64],[16,32,64,128],[16,32,128,256,1064],[4,[-8,-4,16,256,512,1032,2064,5128]],[6,[[-1004,-8,-2,1,16,1024,3512,4256,5032,8128,10064]]],
[10164,[[[-3008,16,1008],[-3008,5016],[-3008,5016],[-3008,5\
016],[-3004],[-3004,1008,1016],[-1004,16,1004],[-1002,-4],
[-2,1001],[16,1008],[32,1016],[64,1032],
[64,1032],[64,3016,3032],[1064,11032],[3008,5016]]
]]],
[1024,0,1,1,
"55s05A802s0F80"
,[8,1032,2016],[16,1064,2032],[1032,1128,2016,2064],[4,[-1004,4,1008,1016,1256,2128,6032,9064]],
[6,[[-1004,-1002,4,1008,1512,2001,7256,9016,10128,16064,20032]
]],
[6322,[[16,32,128,4064],[16,32,128,4064],[16,32,128,4064],
[16,32,128,4064],[16,32,128,4064],[16,32,128,4064],
[16,32,128,4064],[16,32,128,4064],[16,32,128,4064],
[16,32,128,4064],[128,1064,2016,5032],
[128,1064,2016,5032],[1032,2016,5064],[1032,2016,5064],
[1128,2016,5032],[1128,2016,5032],[1128,2016,5032],
[1128,2016,5032],[1128,4016,4032],[2016,3064,5032],
[2016,3064,5032]]]],
[1024,0,1,1,
"55s052802s0F80"
,[8,16,2032],[16,32,2064],[16,256,2032,2064],[4,[4,1016,2008,2064,2256,4032,4128]],[6,[[1004,1016,2001,2008,4256,4512,8128,13064,14032]]]],
[1024,0,1,1,
"55s05A802s0F80"
,[8,64,2016],[16,128,2032],[1064,2016,2128],[4,[-2004,512,2016,2032,5064,5128]],[6,[[-2004,-2002,1,1024,2256,2512,6016,10032,12064,13128]]]],
[1024,0,1,1,
"55s05A802s0C02050080"
,[8,16,32,64],[16,32,64,128],[16,32,128,256,1064],[4,[-8,-4,16,256,512,1032,2064,5128]],[6,[[-1004,-8,-2,1,16,4256,5032,5512,7128,12064]]]],
[1024,0,1,1,
"55s050802s0F80"
,[8,1032,2016],[16,6032],[6016,6064],[4,[-1004,4,1008,1064,6128,23032]],
[6,[[-1004,-1002,4,1008,1512,2001,2256,9064,11016,20128,33032]
]]],
[1024,0,1,1,
"55s052812s0F80"
,[8,16,32,64],[16,32,64,128],[16,32,128,256,1064],[4,[-8,-4,256,512,1064,2016,2032,5128]],[6,[[-1004,-8,-2,1,3256,4016,5512,7032,8128,12064]]],[208,[19]]],
[1024,0,1,1,
"55s03A0002802s0F80"
,[8,16,2032],[16,32,2064],[16,256,2032,2064],[4,[4,1016,2008,2064,2256,4032,4128]],[6,[[1004,1016,2001,2008,4256,4512,9064,10128,14032]]],
[6322,[[16,32,128,4064],[16,32,128,4064],[16,32,1128,2064]
,[16,32,1128,2064],[16,32,1128,2064],
[16,32,1128,2064],[16,1064,1128,2032],
[16,1064,1128,2032],[128,2016,2064,3032],
[128,2016,2064,3032],[1032,1064,1128,2016],
[1032,1064,1128,2016],[1032,1064,1128,2016],
[1032,1064,1128,2016],[1032,1064,1128,2016]]]],
[1024,0,1,1,
"55s05A802s0F80"
,[8,64,2016],[16,128,2032],[1064,2016,2128],[4,[-2004,512,2016,2032,5064,5128]],[6,[[-2004,-2002,1,1024,2256,2512,6016,10032,10064,14128]]],
[6322,[[16,2032,5064],[16,2032,5064],[128,1064,2016,5032],[\
128,1064,2016,5032],[256,2016,5032],[256,2016,5032],
[256,2016,5032],[1128,2016,5032],[1128,2016,5032],
[1128,2016,5032],[1128,2016,5032]]]],
[1024,0,1,-1,
"55s035000A82As0C15004080"
,[-16,-8,32,64],[-2016,64,128],[-16,32,128,256,1064],[22,[8],[16],[32],[64]],[23,[16],[32],[64],[256],[1032],[1064]]],
[1024,0,1,1,
"55s052812s0F80"
,[8,16,32,64],[16,32,64,128],[16,32,256,3064],[4,[-8,-4,64,3032,3128,3256,4016]],[6,[[-1004,-8,-2,1,3512,4128,6016,8032,9256,11064]]]],
[1024,0,1,-1,
"55s05A802s0C03004080s0404"
,[-16,-8,32,64],[-16,32,64,128],[-16,32,128,256,1064],[21,[-1008]],[24,[-1004],[-1002],[16],[64],[1016],[1016],[1032],
[1032],[1064],[1064],[1128],[1128],[1128],[1256]],[6,[[-8,-2,1,8,16,1024,2128,3032,3512,7064,8256]]]],
[1024,0,1,-1,
"55s035000A82As0C05s0280"
,[-16,-8,32,64],[-16,32,64,128],[-16,32,128,256,1064],[4,[-8,-4,16,1032,1128,2064,4256]],[22,[8],[16],[32],[64]],[23,[16],[32],[256],[1032],[1032],[1064]]],
[1024,0,1,1,
"55s03A0002802s0F80"
,[8,16,2032],[16,32,2064],[16,256,2032,2064],[4,[4,2008,2064,2256,4128,5032]],[6,[[1004,2001,2008,2256,5512,10128,11032,11064]]],
[60044,[[[4],[32],[32],[32],[32],[32],[128],[1004],
[1004],[1004],[1016],[1032],[1032],[1032],
[1128],[1128],[1128],[3032],[3032],[3032],
[3032]],
[[4],[32],[32],[32],[32],[32],[128],[1004],
[1004],[1004],[1016],[1032],[1032],[1032],
[1128],[1128],[1128],[3032],[3032],[3032],
[3032]]]],
[10164,[[[-3004,1008],[-3004,1008,1016],[-3004,1008,1016],[
-3004,1008,1016],[-1004,1004,1008],
[-1004,1004,1008],[-1004,1004,1008],[-1002,4],
[-1002,4],[-1002,4],[16,1008],[16,1008],
[64,1032],[64,1032],[64,1032,7016],[64,2032,5016],
[64,2032,5016],[3001],[3008,5016],[3008,5016],
[3008,5016]]]]],
[1024,0,1,1,
"55s052802s0D01"
,[-16,-8,2032],[16,32,2064],[16,256,2032,2064],[4,[4,1016,2008,2064,2256,4032,4128]],[6,[[1512,2001,2064,3008,3016,11128,11256,15032]]],[208,[31]]],
[1024,0,1,-1,
"57s05B802s0C05004080"
,[-16,-8,32,64],[-16,32,64,128],[-16,32,128,256,1064],[4,[-8,-4,16,512,1032,1128,2064,2256]],[22,[8],[16],[32],[64]],[23,[16],[32],[64],[256],[1032],[1064]],[29,[16],[64],[1016],[1064]],[6,[[-8,-2,1,8,16,1024,1032,3128,4256,5512,6064]]]],
[1024,0,1,-1,
"55s05A80As0D050080s0404"
,[-16,-8,32,64],[-16,32,64,128],[-16,32,128,256,1064],[4,[-8,-4,16,1032,1128,2064,4256]],[21,[-1008]],[6,[[-1016,-8,-2,1,8,16,1128,2032,3512,9064,12256]]]],
[1024,0,1,1,
"55s03A000A802s0F80"
,[8,16,2032],[16,32,2064],[16,256,2032,2064],[4,[4,2008,2064,2256,4128,5032]],[6,[[1004,2001,2008,2256,5512,10128,11032,11064]]],
[10164,[[[-3004,1008],[-3004,1008,1016],[-3004,1008,1016],[
-3004,1008,1016],[-1004,1004,1008],
[-1004,1004,1008],[-1004,1004,1008],[-1002,4],
[-1002,4],[-1002,4],[16,1008],[16,1008],
[64,1032],[64,1032],[64,1032,7016],[64,2032,5016],
[64,3016,3032],[3001],[3008,5016],[3008,5016],
[3008,5016]]]]],
[1024,0,1,1,
"55s03A000A802s0F80"
,[8,16,2032],[16,32,2064],[16,256,2032,2064],[4,[4,2008,2064,2256,4128,5032]],[6,[[1004,2001,2008,4256,4512,10064,10128,13032]]]],
[1024,0,1,1,
"55s05A802s0F80"
,[-1008,8,32,64],[64,128,2016],[16,256,2032,2064],[4,[-2008,-4,64,2032,2256,5016,5128]],[6,[[-2008,-1004,-2,1,1008,2512,7064,8016,8128,9256,14032]]],[208,[29,35,35]]],
[1024,0,1,1,
"55s03A0002802s0F80"
,[8,16,2032],[16,32,2064],[16,256,2032,2064],[4,[4,2008,2064,2256,4128,5032]],[6,[[1004,2001,2008,2256,5512,10128,11032,11064]]],
[60044,[[[4],[32],[32],[32],[32],[32],[32],[128],[\
1004],[1004],[1004],[1032],[1032],[1032],[1128],
[1128],[1128],[3032],[3032],[3032],[3032]],
[[4],[32],[32],[32],[32],[128],[1004],[1004],
[1004],[1016],[1016],[1032],[1032],[1032],
[1128],[1128],[1128],[3032],[3032],[3032],
[3032]]]],
[10164,[[[-3004,1008],[-3004,1008,1016],[-3004,1008,1016],[
-3004,1008,1016],[-1004,1004,1008],
[-1004,1004,1008],[-1004,1004,1008],[-1002,4],
[-1002,4],[-1002,4],[16,1008],[16,1008],
[64,1032],[64,1032],[64,1032,7016],[64,2032,5016],
[64,2032,5016],[3001],[3008,5016],[3008,5016],
[3008,5016]]]]],
[1024,0,1,-1,
"55s05A802s0C010040"
,[-16,-8,2032],[-16,32,2064],[-16,256,2032,2064],[21,[-1008]],[24,[-1004],[-1002],[8],[8],[32],[32],[1016],
[1016],[1016],[1016],[1032],[1032],[1032],[1064],
[1064],[1064],[1128],[1128],[1128],[1128]],[6,[[2001,3008,5064,5128,5512,6256,11032]]],
[2322,[[16,32,256,2064],[16,256,1064,2032],[16,256,1064,203\
2]]]],
[1024,0,1,1,
"55s052812s0F80"
,[-16,-8,32,64],[16,32,64,128],[16,32,256,3064],[4,[-8,-4,64,1128,3032,4016,4256]],[6,[[-8,-2,1,8,128,4512,6016,8032,9256,11064]]],[208,[28]]],
[1024,0,1,-1,
"55s05A802s0C01054080s0404"
,[-16,-8,32,64],[-2016,64,128],[-16,32,128,256,1064],[4,[-8,-4,16,512,1032,1128,2064,2256]],[21,[-1008]],[6,[[-8,-2,1,8,16,1024,2128,3032,4512,6256,7064]]]],
[1024,0,1,1,
"55s052802s0F80"
,[8,16,2032],[16,32,2064],[16,256,2032,2064],[4,[4,2008,2064,2256,3016,3032,4128]]],
[1024,0,1,1,
"55s03A000A802s0F80"
,[8,16,2032],[16,1064,2032],[1032,1128,2016,2064],[4,[4,1256,2008,3128,7032,7064]],[6,[[1004,2001,2008,2512,7128,8256,14064,17032]]],
[10164,[[[-3004,8,1004],[-3004,8,1004],[-3004,5008],[-3004,
5008],[-3004,5008],[-3004,5008],[-3004,5008],
[-3004,5008],[-3002],[-3002],[-3002,1004,1008],
[-3002,1004,1008],[-3002,1004,1008],[-1002,3001],
[16,1008],[16,1008],[16,1008],[32,3008,3016],
[32,3008,3016],[1032,3016],[1032,3016],[2032,9016],
[3001],[3004,5008],[3004,5008],[3032,7016]]]],
[6322,[[16,32,1128,2064],[16,32,1128,2064],[16,32,1128,2064
],[16,32,1128,2064],[16,32,1128,2064],
[16,32,1128,2064],[16,32,1128,2064],[16,32,1128,2064],
[16,32,1128,2064],[16,32,1128,2064],[16,32,1128,2064],
[32,2128,4016],[1032,2016,2128],[1032,2016,2128],
[1128,2016,2064],[1128,2016,2064],[2016,3032,4064],
[2016,3032,4064]]]],
[1024,0,1,1,
"55s03A0002802s0F80"
,[8,16,2032],[16,1064,2032],[1032,1128,2016,2064],[4,[4,1016,1256,2008,3128,6032,7064]],[6,[[1004,1016,1512,2001,2008,9128,9256,12064,20032]]],
[6322,[[16,32,128,4064],[16,32,128,4064],[16,32,1128,2064]
,[16,32,1128,2064],[16,32,1128,2064],
[16,32,1128,2064],[16,1064,1128,2032],
[16,1064,1128,2032],[16,1064,1128,2032],
[16,1064,1128,2032],[32,1064,1128,4016],
[64,1128,2016,3032],[64,1128,2016,3032],
[1032,1064,1128,2016],[1032,1064,1128,2016],
[1128,2016,2064],[1128,2016,2064],[1128,2016,2064],
[1128,2016,2064],[2016,3064,5032],[2016,3064,5032]]]],
[1024,0,1,1,
"15s052812s0F80"
,[8,16,32,64],[16,32,64,128],[16,32,128,256,1064],[4,[-8,-4,512,1256,2016,2032,2128,3064]],
[6,[[-1004,-8,-2,1,1008,1024,2512,3016,5032,5256,8128,13064]]\
]],
[1024,0,1,1,
"55s05A802s0F80"
,[8,1032,2016],[16,1064,2032],[1032,1128,2016,2064],[4,[-1004,4,1008,1256,2128,7032,9064]],
[6,[[-1004,-1002,4,1008,1512,2001,3016,6128,9256,17064,21032]]\
],
[6322,[[16,32,128,4064],[16,32,128,4064],[16,32,128,4064],
[16,32,128,4064],[16,32,128,4064],[16,32,128,4064],
[16,32,128,4064],[16,32,128,4064],[16,32,1128,2064],
[16,32,1128,2064],[32,1064,1128,4016],
[128,1032,2016,3064],[128,1032,2016,3064],
[1032,1064,1128,2016],[1032,1064,1128,2016],
[1032,1064,1128,2016],[1032,1064,1128,2016],
[1032,1064,1128,2016],[1032,1064,1128,2016],
[1032,1064,1128,2016],[1032,2016,5064],[1032,2016,5064]
]]],
[1024,0,1,1,
"55s052802s0F80"
,[8,16,32,64],[16,32,64,128],[16,32,128,256,1064],[4,[-8,-4,512,1064,1256,2016,2032,3128]],[6,[[-1004,-8,-2,1,4016,5032,5128,5256,5512,11064]]]],
[1024,0,1,1,
"55s05A802s0D050080"
,[8,16,32,64],[16,32,64,128],[16,32,128,256,1064],[4,[-8,-4,16,1032,2064,3128,3256]],[6,[[-1004,-8,-2,1,2016,2032,2512,4128,11064,12256]]]],
[1024,0,1,1,
"55s05A802s0C02s0280"
,[8,16,32,64],[16,32,64,128],[16,32,128,256,1064],[4,[-8,-4,16,512,1032,1256,2064,3128]],[6,[[-1004,-8,-2,1,16,3032,4128,4512,8256,11064]]]],
[1024,0,1,1,
"15s05A812s0F80"
,[8,16,32,64],[16,32,64,128],[16,32,128,256,1064],[4,[-8,-4,512,1064,1256,2016,2032,3128]],[6,[[-1004,-8,-2,1,1024,3512,4016,5032,5128,5256,11064]]],
[10164,[[[-3004,32,1008],[-1008,16],[-1008,16],[-1008,1008,
1016],[-1004,8],[-1004,8],[-1004,8],
[-1004,16,1004],[-1002,-4],[-2,1001],[32,5016],
[64,1032],[64,1032],[64,5032],[1016,1032,3008],
[3016,5032],[3064,7032]]]]],
[1024,0,1,-1,
"55s031000080As0E40"
,[8,32,4016],[-16,6032],[-6016,6064],[4,[-3004,4,8,3064,5128,23032]],[21,[-1008]],[6,[[-3004,-3002,8,512,2001,4256,12064,18128,19016,31032]]]],
[1024,0,1,1,
"55s0320002812s0F80"
,[-16,-8,32,64],[16,32,64,128],[16,32,256,3064],[4,[-8,-4,64,1128,3032,4016,4256]],[208,[26]]],
[1024,0,1,-1,
"55s03A0000802s0E40"
,[8,64,2016],[-16,1064,2032],[-2016,1032,1128,2064],[21,[-1008]],[6,[[-2004,-2002,1,1024,4016,8128,10256,11032,14064]]],
[6322,[[-1016,32,256,1064,2016],[16,256,1064,2032],[16,256,
1064,2032],[16,256,1064,2032],[64,256,2016,3032],
[64,256,2016,3032],[64,1128,2016,3032],
[64,1128,2016,3032],[128,1032,2016,3064],
[128,1032,2016,3064],[256,1032,1064,2016],
[256,1032,1064,2016]]]],
[1024,0,1,-1,
"55s05A80A"
,[-16,-8,2032],[-16,32,2064],[-16,256,2032,2064],[21,[-1008]],[24,[-1004],[-1002],[8],[8],[32],[32],[1016],
[1016],[1016],[1016],[1032],[1032],[1032],[1064],
[1064],[1064],[1128],[1128],[1128],[1128]],[6,[[2001,3008,3064,3512,5128,10256,15032]]],
[2322,[[16,32,256,2064],[16,32,256,2064],[16,32,256,2064]
]]],
[1024,0,1,1,
"55s05A812s0D010080"
,[-16,-8,32,64],[16,32,64,128],[16,32,128,256,1064],[4,[-8,-4,32,512,1256,2016,2064,3128]],[6,[[-8,-2,1,8,1024,3512,4016,5032,5256,6128,9064]]],[208,[28]]],
[1024,0,1,1,
"55s052802s0D010080"
,[-16,-8,32,64],[16,32,64,128],[16,32,128,256,1064],[4,[-8,-4,32,512,1128,2016,2064,2256]],[6,[[-8,-2,1,8,1024,2016,2128,4032,4512,5256,10064]]],[208,[28]]],
[1024,0,1,1,
"55s03A000A802s0F80"
,[8,16,2032],[16,1064,2032],[1032,1128,2016,2064],[4,[4,1256,2008,3128,7032,7064]],[6,[[1004,1512,2001,2008,7128,10256,13064,19032]]]],
[1024,0,1,-1,
"3Fs05B80As0C17004080s0404"
,[-16,-8,32,64],[-16,32,64,128],[-16,64,128,256,2032],[4,[-1016,-8,-4,16,32,1128,2064,4256]],[21,[16]],[22,[8],[16],[32],[64]],[23,[16],[32],[32],[32],[64],[128],[256]],[6,[[-8,-2,1,8,16,1032,2128,4512,8064,10256]]]],
[1024,0,1,-1,
"55s03A000A802s0E40"
,[8,16,32,64],[-16,32,2064],[-16,256,2032,2064],[21,[-1008]],[6,[[-1004,-8,-2,1,16,1024,3512,5032,5256,6064,8128]]],
[4322,[[16,32,256,2064],[128,256,1032,2016],[1032,2016,2128
],[1032,2016,2128]]]],
[1024,0,1,-1,
"57s035000B82As0F80s0404"
,[-16,-8,32,64],[-16,32,64,128],[-16,32,1064,2128],[4,[-8,-4,16,256,512,1032,4064,4128]],[22,[8],[16],[32],[1032]],[6,[[-8,-2,1,8,16,3032,4256,5512,8128,11064]]]],
[1024,0,1,1,
"55s05A802s0D050080"
,[8,16,32,64],[64,128,2016],[16,32,128,256,1064],[4,[-8,-4,16,512,1032,1256,2064,3128]],[6,[[-1004,-8,-2,1,16,3032,4128,5512,6256,11064]]],
[10164,[[[-7008,1032],[-7004,32],[-3008,32],[-3004,-1008,10\
16],[-3004,16],[-3002,-1004,16],[-1004,8],[-1002,-4],
[-2,1001],[1064,11032],[3016,5032],[3032],[3032],
[3032,7016],[7016]]]]],
[1024,0,1,-1,
"55s02015000080As0E40"
,[8,1032,2016],[-16,1064,2032],[-2016,1032,1128,2064],[22,[8],[16],[16],[16],[1016],[1016]],[2169,[[16,32,64,128],[16,32,2064],[16,128,2032]]]],
[1024,0,1,1,
"55s0380000812"
,[-16,-8,2032],[16,32,2064],[16,256,2032,2064],[4,[4,2008,2032,2064,2128,3256,5016]],
[6169,[[16,32,2064],[16,32,2064],[16,32,2064],[16,32,2064
],[16,32,2064],[16,32,2064],[64,128,2016],
[64,128,2016],[64,128,2016],[2016,2064]]]],
[1024,0,1,1,
"55s03A0002802s0F80"
,[8,16,2032],[16,32,2064],[16,256,2032,2064],[4,[4,1016,2008,2064,2256,4032,4128]],[6,[[1004,1016,2001,2008,4256,4512,9064,10128,14032]]],
[10164,[[[-3004,1008,1016],[-3004,1008,1016],[-3004,1008,1016
],[-1004,8],[-1004,8],[-1004,1004,1008],
[-1004,1004,1008],[-1004,1004,1008],[-1002,4],
[-1002,4],[-1002,4],[16,1008],[16,1008],
[64,1032],[64,1032],[64,1032,7016],[64,2032,5016],
[64,2032,5016],[3001],[3008,5016],[3008,5016],
[3008,5016]]]],
[6322,[[16,32,128,4064],[16,32,128,4064],[16,32,1128,2064]
,[16,32,1128,2064],[16,32,1128,2064],
[16,32,1128,2064],[16,1064,1128,2032],
[16,1064,1128,2032],[64,1128,2016,3032],
[64,1128,2016,3032],[1032,1064,1128,2016],
[1032,1064,1128,2016],[1032,1064,1128,2016],
[1128,2016,2064],[1128,2016,2064]]]],
[1024,0,1,1,
"55s052802s0F80"
,[8,16,2032],[16,32,2064],[16,256,2032,2064],[4,[4,2008,2064,2256,4128,5032]],[6,[[1004,2001,2008,2256,5512,8128,11032,15064]]]],
[1024,0,1,1,
"55s03A000A802s0F80"
,[8,16,2032],[16,32,2064],[16,256,2032,2064],[4,[4,2008,2064,2256,4128,5032]],[6,[[1004,2001,2008,3256,5512,8128,11032,11064]]],
[60044,[[[4],[32],[32],[32],[32],[32],[128],[1004],
[1004],[1004],[1016],[1032],[1032],[1032],
[1128],[1128],[1128],[3032],[3032],[3032],
[3032]],
[[4],[32],[32],[32],[32],[32],[128],[1004],
[1004],[1004],[1016],[1032],[1032],[1032],
[1128],[1128],[1128],[3032],[3032],[3032],
[3032]]]],
[10164,[[[-3004,1008,1016],[-3004,1008,1016],[-3004,1008,1016
],[-1004,1004,1008],[-1004,1004,1008],
[-1004,1004,1008],[-1002,4],[-1002,4],[-1002,4],
[16,1008],[16,1008],[16,1008],[64,1032],
[64,1032],[64,2032,5016],[64,2032,5016],
[64,3016,3032],[3001],[3008,5016],[3008,5016],
[3008,5016]]]]],
[1024,0,1,-1,
"55s031000080As0F80"
,[8,32,4016],[-16,6032],[-6016,6064],[21,[-1008]]],
[1024,0,1,-1,
"55s03A0000802s0F80s0404"
,[-16,-8,32,64],[-16,1064,2032],[-2016,1032,1128,2064],[21,[-1008]],
[6322,[[-3016,16,32,128,256],[-1016,16,64,1128,3032],[-1016,
16,64,1128,3032],[-1016,16,128,256,1032],
[-1016,16,128,256,1032],[-1016,16,256,2064],
[-1016,16,256,2064],[16,32,256,2064]]]],
[1024,0,1,1,
"55s03A0002802s0F80"
,[8,1032,2016],[16,1064,2032],[1032,1128,2016,2064],[4,[-1004,4,1008,1016,1256,2128,6032,9064]],
[6,[[-1004,-1002,4,512,1008,2001,5016,6128,11256,15064,24032]]\
],
[6322,[[16,32,128,4064],[16,32,128,4064],[16,32,128,4064],
[16,32,128,4064],[16,32,128,4064],[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],
[32,128,3064,4016],[64,1128,2016,3032],
[64,1128,2016,3032],[128,1032,2016,3064],
[128,1032,2016,3064],[128,1032,2016,3064],
[128,1032,2016,3064],[1032,1064,1128,2016],
[1032,1064,1128,2016],[1032,1064,1128,2016],
[1032,1064,1128,2016],[2016,3064,5032],[2016,3064,5032]
]]],
[1024,0,1,-1,
"57s05B80As0C15004080"
,[-16,-8,32,64],[-16,32,64,128],[-16,64,128,256,2032],[4,[-1016,-8,-4,16,32,1128,2064,4256]],[23,[16],[32],[32],[32],[256],[1032],[1064]],[6,[[-8,-2,1,8,16,1032,2128,5512,8064,8256]]]],
[1024,0,1,-1,
"55s03A0002802s0E4080"
,[8,16,32,64],[-16,32,2064],[-16,256,2032,2064],[4,[-8,-4,16,2256,3032,3064,4128]],[21,[-1008]],[6,[[-1004,-8,-2,1,16,1024,3512,4256,5032,6064,10128]]],
[10164,[[[-3004,1008],[-3004,1008,1016],[-3004,1008,1016],[
-3004,1008,1016],[-3002,1004],[-1004,1004,1008],
[-1004,1004,1008],[-1004,1004,1008],[-1002,4],
[64,1032],[64,1032],[64,1032,7016],[64,2032,5016],
[64,2032,5016],[1016,3008],[3001],[3008,5016],
[3008,5016],[3008,5016]]]]],
[1024,0,1,-1,
"5Fs05A802s0C01004080"
,[-16,-8,2032],[-16,32,2064],[-16,256,2032,2064],[4,[4,2008,2064,2128,3256,5032]],[21,[16]],[22,[8],[16],[32],[32],[32]],[29,[16],[64],[64],[64],[1016]],[6,[[2001,2512,3008,3064,6128,11032,12256]]]],
[1024,0,1,1,
"55s050802"
,[-2008,2032],[2016,2064],[16,256,8032],[208,[31,31,31]]],
[1024,0,1,1,
"55s0202A0002802s0F80"
,[-16,-8,32,64],[16,32,2064],[16,256,2032,2064],[4,[-8,-4,2016,2032,2128,3064,3256]],[208,[27]],[2322,[[256,1032,1064,2016]]]],
[1024,0,1,-1,
"57s035000B82As0F80s0404"
,[-16,-8,32,64],[-16,32,64,128],[-16,32,1064,2128],[4,[-8,-4,16,256,512,1032,4064,4128]],[22,[8],[16],[32],[1032]],[6,[[-8,-2,1,8,16,1024,3032,3512,4256,9064,9128]]],
[6322,[[-3016,16,32,256,1064],[-1016,16,128,1032,3064],[-101\
6,16,128,1032,3064],[16,256,1064,2032]]]],
[1024,0,1,-1,
"55s052802s0F80s0404"
,[-16,-8,32,64],[-16,32,2064],[-16,256,2032,2064],[4,[-8,-4,16,2064,2128,3256,5032]],[24,[-1004],[-1002],[1008],[1016],[1016],[1016],
[1016],[1016],[1016],[1032],[1032],[1032],[1064],
[1064],[1064],[1128],[1128],[1128],[1128]]],
[1024,0,1,-1,
"55s05A802s0F80s0404"
,[-16,-8,32,64],[-16,32,2064],[-16,256,2032,2064],[4,[-8,-4,16,2128,3032,3064,3256]],[21,[-1008]],[24,[-1004],[-1002],[1008],[1016],[1016],[1016],
[1016],[1032],[1032],[1032],[1032],[1064],[1064],
[1064],[1128],[1128],[1128],[1128]],[6,[[-8,-2,1,8,16,4512,5128,7032,7064,8256]]]],
[1024,0,1,1,
"55s03A0000802s0F80"
,[8,16,2032],[16,32,2064],[16,256,2032,2064],[4,[4,2008,2064,2256,4128,5032]],[6,[[1004,2001,2008,3256,5512,8128,11032,11064]]],
[60044,[[[4],[32],[32],[32],[32],[32],[32],[128],[\
1004],[1004],[1004],[1032],[1032],[1032],[1128],
[1128],[1128],[3032],[3032],[3032],[3032]],
[[4],[32],[32],[32],[128],[1004],[1004],[1004],
[1016],[1016],[1016],[1032],[1032],[1032],
[1128],[1128],[1128],[3032],[3032],[3032],
[3032]]]],
[10164,[[[-3004,1008,1016],[-3004,1008,1016],[-3004,1008,1016
],[-1004,1004,1008],[-1004,1004,1008],
[-1004,1004,1008],[-1002,4],[-1002,4],[-1002,4],
[16,1008],[16,1008],[16,1008],[64,1032],
[64,1032],[64,2032,5016],[64,2032,5016],
[64,2032,5016],[3001],[3008,5016],[3008,5016],
[3008,5016]]]]],
[1024,0,1,1,
"55s032000A812s0F80"
,[-16,-8,32,64],[16,32,64,128],[16,32,128,256,1064],[4,[-8,-4,512,1064,1128,2016,2032,2256]],[6,[[-8,-2,1,8,4016,4128,5032,5512,6256,9064]]],[208,[26]]],
[1024,0,1,1,
"55s03A000A802s0F80"
,[8,16,2032],[16,32,2064],[16,256,2032,2064],[4,[4,1016,2008,2064,2256,4032,4128]],[6,[[1004,1016,2001,2008,4256,4512,9064,10128,14032]]],
[10164,[[[-3004,1008,1016],[-3004,1008,1016],[-3004,1008,1016
],[-1004,8],[-1004,8],[-1004,1004,1008],
[-1004,1004,1008],[-1004,1004,1008],[-1002,4],
[-1002,4],[-1002,4],[16,1008],[16,1008],
[64,1032],[64,1032],[64,1032,7016],[64,2032,5016],
[64,3016,3032],[3001],[3008,5016],[3008,5016],
[3008,5016]]]],
[6322,[[16,32,128,4064],[16,32,128,4064],[16,32,1128,2064]
,[16,32,1128,2064],[16,32,1128,2064],
[16,32,1128,2064],[16,1064,1128,2032],
[16,1064,1128,2032],[64,1128,2016,3032],
[64,1128,2016,3032],[1032,1064,1128,2016],
[1032,1064,1128,2016],[1032,1064,1128,2016],
[1128,2016,2064],[1128,2016,2064]]]],
[1024,0,1,-1,
"55s05A80As0C02s0280s0404"
,[-16,-8,32,64],[-16,32,64,128],[-16,64,128,256,2032],[4,[-1016,-8,-4,16,32,1128,2064,4256]],[21,[-1008]],[6,[[-8,-2,1,8,16,1128,3032,4512,9064,10256]]]],
[1024,0,1,1,
"55s052802s0F80"
,[-16,-8,32,64],[16,32,2064],[16,256,2032,2064],[4,[-8,-4,2016,2032,2256,3064,4128]],[6,[[-8,-2,1,8,512,1024,3064,4016,9032,10128,10256]]],[208,[27]]],
[1024,0,1,1,
"55s05A802s0F80"
,[-16,-8,32,64],[16,1064,2032],[1032,1128,2016,2064],[4,[-8,-4,1128,2016,2256,4032,8064]],[6,[[-8,-2,1,8,1024,2016,4128,10032,12256,15064]]]],
[1024,0,1,-1,
"55s02015000A80As0C01004080"
,[-16,-8,2032],[-16,32,2064],[-16,256,2032,2064],[21,[16]],[22,[8],[16],[32],[32],[32]],[23,[16],[32],[32],[32],[64],[64],[256],[1032]]],
[1024,0,1,1,
"55s0380000812s0F80"
,[-16,-8,32,64],[16,32,2064],[16,256,2032,2064],[4,[-8,-4,2016,2064,2128,3256,4032]],
[6169,[[16,32,64,128],[16,32,2064],[16,32,2064],[16,32,2\
064],[64,2016,3032]]]],
[1024,0,1,-1,
"55s035000A82As0C15004080s0404"
,[-16,-8,32,64],[-2016,64,128],[-16,32,128,256,1064],[22,[8],[16],[32],[1032]]],
[1024,0,1,-1,
"57s05B802s0C15004080s0404"
,[-16,-8,32,64],[-16,32,64,128],[-16,64,128,256,2032],[4,[-1016,-8,-4,16,32,1128,2064,4256]],[22,[8],[16],[32],[1032]],[6,[[-8,-2,1,8,16,1032,4128,4512,8064,9256]]]],
[1024,0,1,-1,
"5Fs031000580As0E40"
,[8,1032,2016],[-16,1064,2032],[-2016,1032,1128,2064],[4,[-1004,4,1008,1256,2128,7032,9064]],[22,[8],[16],[16],[16],[1016],[1016]],
[6,[[-1004,-1002,4,1008,1512,2001,3016,7128,9256,15064,21032]]\
]],
[1024,0,1,1,
"55s0202A0002802s0D01"
,[-16,-8,2032],[16,32,2064],[16,256,2032,2064],[4,[4,1016,2008,2064,2128,3256,4032]],[208,[31]],
[2322,[[16,32,256,2064],[16,32,256,2064],[256,1032,1064,201\
6]]]],
[1024,0,1,1,
"15s052812s0F80"
,[8,16,32,64],[16,32,64,128],[16,32,128,256,1064],[4,[-8,-4,512,1064,1256,2016,2032,3128]],[6,[[-1004,-8,-2,1,1024,3512,4016,4256,5032,7128,11064]]]],
[1024,0,1,-1,
"55s035000A82As0C05s0280s0404"
,[-16,-8,32,64],[-16,32,64,128],[-16,32,128,256,1064],[4,[-8,-4,16,1032,1128,2064,4256]],[22,[8],[16],[32],[1032]]],
[1024,0,1,1,
"55s050802s0F80"
,[8,32,4016],[16,6032],[6016,6064],[4,[-3004,4,8,3064,5128,23032]],[6,[[-3004,-3002,8,512,2001,4256,14064,17128,19016,31032]]]],
[1024,0,1,1,
"55s0320002812s0F80"
,[-16,-8,32,64],[16,32,64,128],[16,32,1064,2128],[4,[-8,-4,256,512,2016,2032,3064,4128]]],
[1024,0,1,-1,
"3Fs05B80As0C17004080s0404"
,[-16,-8,32,64],[-16,32,64,128],[-16,64,128,256,2032],[4,[-1016,-8,-4,16,32,1128,2064,4256]],[21,[16]],[22,[8],[16],[32],[64]],[23,[16],[32],[32],[32],[64],[128],[256]],[6,[[-8,-2,1,8,16,1032,2128,5512,8064,8256]]],
[10164,[[[-3008,1016,1032],[-3002,-8],[-3002,-8],[-1008,16,
3008],[-1004,8],[-1002,-4],[-2,1001],
[16,3004],[32,5016],[32,7004],[64,2032,5016],
[64,3016,3032],[3016],[3016,5032],[3064],[7032]]
]]],
[1024,0,1,1,
"55s05A802s0F80"
,[-2008,32,64],[64,128,2016],[16,256,2032,2064],[208,[28,35,35]]],
[1024,0,1,1,
"55s03A0002802s0F80"
,[8,16,2032],[16,1064,2032],[1032,1128,2016,2064],[4,[4,1256,2008,3128,7032,7064]],[6,[[1004,2001,2008,2512,7256,9128,14064,17032]]],
[6322,[[16,32,1128,2064],[16,32,1128,2064],[16,32,1128,2064
],[16,32,1128,2064],[16,32,1128,2064],
[16,32,1128,2064],[16,32,1128,2064],[16,32,1128,2064],
[16,32,1128,2064],[16,32,1128,2064],[32,2128,4016],
[1032,2016,2128],[1032,2016,2128],[1032,2016,5064],
[1032,2016,5064],[1128,2016,2064],[1128,2016,2064],
[1128,2016,2064]]]],
[1024,0,1,1,
"55s052802s0D010080"
,[-16,-8,32,64],[16,32,64,128],[16,32,128,256,1064],[4,[-8,-4,32,512,1256,2016,2064,3128]],[6,[[-8,-2,1,8,1024,3512,4016,5032,5256,7064,7128]]],[208,[30]]],
[1024,0,1,1,
"55s05A802s0F80"
,[-2008,32,64],[64,128,2016],[16,256,2032,2064],[6,[[-2008,-2,1,2008,2512,5064,7128,8016,10256,14032]]],[208,[26,35,35]]],
[1024,0,1,1,
"55s05A802s0F80"
,[-2008,32,64],[64,128,2016],[16,256,2032,2064],[208,[30,35,35]]],
[1024,0,1,1,
"55s05A802s0C02s0280"
,[8,16,32,64],[16,32,64,128],[16,64,128,256,2032],[4,[-8,-4,32,2016,2064,3128,3256]],[6,[[-1004,-8,-2,1,16,3032,3512,4128,10256,11064]]],
[10164,[[[-3008,1016,1032],[-3002,-8],[-3002,-8],[-1008,16,
3008],[-1004,8],[-1002,-4],[-2,1001],
[16,3004],[32,7004],[64,3016,3032],[64,3016,3032],
[3016],[3016,5032],[3032],[3032],[3032,7016],
[7016]]]]],
[1024,0,1,1,
"15s05A812s0F80"
,[8,16,32,64],[16,32,64,128],[16,32,128,256,1064],[4,[-8,-4,512,1064,1256,2016,2032,3128]],[6,[[-1004,-8,-2,1,1024,2512,4016,5032,6256,7128,11064]]]],
[1024,0,1,-1,
"3Fs05B80As0C17004080s0404"
,[-16,-8,32,64],[-16,32,64,128],[-16,64,128,256,2032],[4,[-1016,-8,-4,16,32,1128,2064,4256]],[21,[16]],[22,[8],[16],[32],[64]],[23,[16],[32],[32],[32],[64],[128],[256]],[6,[[-8,-2,1,8,16,1032,4128,4512,8064,9256]]]],
[1024,0,1,1,
"55s052802"
,[-16,-8,2032],[16,32,2064],[16,256,2032,2064],[4,[4,2008,2032,2064,2128,3256,5016]],[208,[21]]],
[1024,0,1,1,
"55s03A0000802s0F80"
,[8,1032,2016],[16,1064,2032],[1032,1128,2016,2064],[4,[-1004,4,1008,1256,2128,7032,9064]],
[6,[[-1004,-1002,4,1008,1512,2001,3016,4128,10256,17064,21032]
]],
[6322,[[16,32,128,4064],[16,32,128,4064],[16,32,128,4064],
[16,32,128,4064],[16,32,128,4064],[16,32,128,4064],
[16,32,128,4064],[16,32,128,4064],[16,32,1128,2064],
[16,32,1128,2064],[16,1064,1128,2032],
[16,1064,1128,2032],[16,1064,1128,2032],
[32,1064,1128,4016],[64,1128,2016,3032],
[64,1128,2016,3032],[128,1032,2016,3064],
[128,1032,2016,3064],[1032,1064,1128,2016],
[1032,1064,1128,2016],[2016,3032,4064],[2016,3032,4064]
]]],
[1024,0,1,-1,
"55s02015000080As0E4080"
,[8,64,2016],[-16,1064,2032],[-2016,1032,1128,2064],[22,[8],[16],[16],[16],[1032]],[2169,[[16,32,64,128],[16,32,2064],[16,128,2032]]]],
[1024,0,1,-1,
"7Fs05B802s0C01004080s0404"
,[-16,-8,32,64],[-16,32,2064],[-16,256,1064,4032],[4,[-1016,-8,-4,16,1256,2032,3064,6128]],[21,[16]],[23,[16],[32],[32],[32],[32],[32],[64],[64],
[256]],[6,[[-1016,-8,-2,1,8,16,1512,4032,6064,8128,13256]]]],
[1024,0,1,-1,
"5Fs05A802s0C01004080s0404"
,[-16,-8,32,64],[-16,32,2064],[-16,256,2032,2064],[4,[-8,-4,16,2128,3032,3064,3256]],[21,[16]],[22,[8],[16],[32],[64]],[29,[16],[64],[64],[64],[1016]],[6,[[-8,-2,1,8,16,1024,1512,4064,5032,5128,11256]]]],
[1024,0,1,-1,
"55s031000080A"
,[8,6016],[-16,6032],[-6016,6064],[21,[-1008]]],
[1024,0,1,-1,
"55s05A80As0F80"
,[-16,-8,2032],[-16,32,2064],[-16,256,2032,2064],[21,[-1008]],[24,[-1004],[-1002],[8],[8],[32],[32],[1016],
[1016],[1016],[1016],[1032],[1032],[1032],[1064],
[1064],[1064],[1128],[1128],[1128],[1128]],[6,[[2001,2064,2512,3008,5128,12256,17032]]]],
[1024,0,1,1,
"15s05A802s0C02050080"
,[8,16,32,64],[16,32,64,128],[16,32,128,256,1064],[4,[-8,-4,16,512,1032,1256,2064,3128]],[6,[[-1004,-8,-2,1,16,1024,2512,3032,6128,7256,11064]]]],
[1024,0,1,-1,
"7Fs05B80As0C01004080"
,[-16,-8,2032],[-16,32,2064],[-16,256,1064,4032],[4,[-1016,4,1256,2008,2064,4032,6128]],[21,[16]],[6,[[-1016,512,1064,2001,3008,12256,14032,14128]]]],
[1024,0,1,1,
"15s05A802s0C02050080"
,[8,16,32,64],[16,32,64,128],[16,32,128,256,1064],[4,[-8,-4,16,512,1032,1256,2064,3128]],[6,[[-1004,-8,-2,1,16,1024,3032,3512,4128,6256,11064]]],
[10164,[[[-3008,1016,1032],[-3004,32,1008],[-1008,1008,1016]
,[-1004,8],[-1004,16,1004],[-1002,-4],[-2,1001],
[16,1008],[32,1016],[32,5016],[64,1032],
[64,1032],[1064,3032],[3016,5032],[3032,5064]]]]],
[1024,0,1,-1,
"55s02055000A82As0C01004080s0404"
,[-16,-8,32,64],[-2016,2064],[-16,256,2032,2064],[4,[-8,-4,16,2128,3032,3064,3256]],[21,[16]]],
[1024,0,1,-1,
"3Fs05B80As0C17004080s0404"
,[-16,-8,32,64],[-16,32,64,128],[-16,64,128,256,2032],[4,[-1016,-8,-4,16,32,2064,3128,3256]],[21,[16]],[22,[8],[16],[32],[64]],[23,[16],[32],[32],[32],[64],[128],[256]],[24,[-8],[-4],[16],[16],[16],[32],[64],[64],
[64],[128],[128],[256],[256],[256],[256],[1064],
[1064]]],
[1024,0,1,1,
"55s050802s0F80"
,[-16,-8,2032],[16,6032],[6016,6064],[4,[-2008,-4,64,7128,21032]]],
[1024,0,1,1,
"15s05A802s0C02050080"
,[8,16,32,64],[16,32,64,128],[16,32,128,256,1064],[4,[-8,-4,16,512,1032,1256,2064,3128]],[6,[[-1004,-8,-2,1,16,1024,3032,3512,5256,6128,11064]]]],
[1024,0,1,1,
"55s052802s0F80"
,[-16,-8,2032],[16,32,2064],[16,256,2032,2064],[4,[4,2008,2064,2128,3016,3032,3256]],[208,[21]]],
[1024,0,1,1,
"55s050802s0F80"
,[8,16,2032],[16,6032],[6016,6064],[4,[4,2008,7128,23032]],[6,[[256,1004,2001,2008,2512,3016,4064,23128,35032]]]],
[1024,0,1,-1,
"5Fs031000580As0E4080"
,[8,64,2016],[-16,1064,2032],[-2016,1032,1128,2064],[4,[-2004,16,1256,2128,5032,10064]],[22,[8],[16],[16],[16],[1032]],[6,[[-2004,-2002,1,1024,4016,9256,10128,11032,14064]]]],
[1024,0,1,-1,
"55s03A0002802s0F80s0404"
,[-16,-8,32,64],[-16,32,2064],[-16,256,2032,2064],[4,[-8,-4,16,2128,3032,3064,3256]],[21,[-1008]],[24,[-1004],[-1002],[1008],[1016],[1016],[1016],
[1016],[1032],[1032],[1032],[1032],[1064],[1064],
[1064],[1128],[1128],[1128],[1128]],[6,[[-8,-2,1,8,16,1024,3512,5032,5256,6064,8128]]],
[10164,[[[-3004,1008],[-3004,1008,1016],[-3004,1008,1016],[
-3004,1008,1016],[-3002,1004],[-1004,1004,1008],
[-1004,1004,1008],[-1004,1004,1008],[-1002,4],
[64,1032,7016],[64,2032,5016],[64,2032,5016],
[1016,3008],[1064,3032],[3001],[3008,5016],
[3008,5016],[3008,5016]]]]],
[1024,0,1,-1,
"55s05A802s0F80s0404"
,[-16,-8,32,64],[-16,1064,2032],[-2016,1032,1128,2064],[4,[-8,-4,16,1128,2256,5032,8064]],[21,[-1008]],[6,[[-8,-2,1,8,16,1024,5128,9032,12256,14064]]]]];