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 trans16e.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]{[1201..1500]}:=
[[(9,10)(11,12)(13,14)(15,16),(1,5,4,8,2,6,3,7)(9,13,11,16,10,14,12,15),
(1,6)(2,5)(3,7,4,8)(9,14,10,13)(11,15)(12,16),
(1,9,2,10)(3,12)(4,11)(5,14,6,13)(7,16)(8,15),
(1,10,3,12,2,9,4,11)(5,14,8,15,6,13,7,16),"t16n1201"],
[(1,7,3,6,2,8,4,5)(9,14,12,16,10,13,11,15),(1,10,3,12,2,9,4,11)(5,13)(6,14)
(7,16)(8,15),(1,14)(2,13)(3,15)(4,16)(5,9,6,10)(7,11,8,12),"t16n1202"],
[(9,10)(11,12)(13,14)(15,16),(1,2)(7,8)(9,11)(10,12)(13,15)(14,16),
(1,6,4,7)(2,5,3,8)(9,16,12,13)(10,15,11,14),
(1,8,2,7)(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),"t16n1203"],
[(1,11,8,9,6,16,4,14)(2,12,7,10,5,15,3,13),
(1,12,3,13,5,15,8,9)(2,11,4,14,6,16,7,10),"t16n1204"],
[(1,14,4,16)(2,13,3,15)(7,8)(9,10),(1,10,13,8,3,12,16,5)(2,9,14,7,4,11,15,6
),"t16n1205"],
[(9,10)(11,12)(13,14)(15,16),(1,5,2,6)(3,8)(4,7)(9,16,10,15)(11,13)(12,14),
(1,7,4,6,2,8,3,5)(9,13,11,16,10,14,12,15),
(1,14,3,15,2,13,4,16)(5,12,8,9,6,11,7,10),
(1,14,3,16,2,13,4,15)(5,10,8,11,6,9,7,12),"t16n1206"],
[(1,16,3,14,2,15,4,13)(5,12)(6,11)(7,10,8,9),
(1,12,3,10,2,11,4,9)(5,16,8,14,6,15,7,13),"t16n1207"],
[(1,6,4,7,2,5,3,8)(9,15,10,16)(11,13)(12,14),(1,2)(3,4)(5,7)(6,8)(13,15)
(14,16),(1,12)(2,11)(3,9)(4,10)(5,16)(6,15)(7,14)(8,13),"t16n1208"],
[(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,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),"t16n1209"],
[(1,13,6,9)(2,14,5,10)(3,12,15,8,4,11,16,7),
(1,8,6,12)(2,7,5,11)(3,13,15,9,4,14,16,10),"t16n1210"],
[(1,5,3,7,2,6,4,8)(9,16)(10,15)(11,14)(12,13),(1,2)(5,8)(6,7)(11,12)(13,16)
(14,15),(1,11)(2,12)(3,10)(4,9)(5,16,6,15)(7,14,8,13),"t16n1211"],
[(1,12,4,10)(2,11,3,9)(5,14,7,15)(6,13,8,16),
(1,15)(2,16)(3,14,4,13)(5,12,7,10)(6,11,8,9),
(1,3,2,4)(5,7,6,8)(9,11,10,12)(13,15,14,16),"t16n1212"],
[(9,10)(11,12)(13,14)(15,16),(1,4)(2,3)(5,7)(6,8)(9,12)(10,11)(13,15)(14,16),
(1,5)(2,6)(3,7)(4,8)(9,16)(10,15)(11,13)(12,14),
(1,8,4,5)(2,7,3,6)(11,12)(13,14),(1,11)(2,12)(3,10)(4,9)(5,15)(6,16)
(7,13)(8,14),"t16n1213"],
[(1,4,2,3)(5,13)(6,14)(7,16)(8,15)(9,10),(1,7)(2,8)(3,5)(4,6)(9,15,12,13)
(10,16,11,14),"t16n1214"],
[(1,10,2,9)(3,12,4,11)(5,6)(7,8)(13,15)(14,16),(1,5,9,16,4,7,11,13)
(2,6,10,15,3,8,12,14),(1,12,3,9)(2,11,4,10)(5,16,8,14)(6,15,7,13),
"t16n1215"],
[(1,15,11,8,2,16,12,7)(3,14,9,6)(4,13,10,5),(1,2)(7,8)(9,11,10,12)
(13,15,14,16),"t16n1216"],
[(1,3,2,4)(13,16,14,15),(1,6,10,15)(2,5,9,16)(3,7,11,14,4,8,12,13),
"t16n1217"],[(9,10)(11,12)(13,14)(15,16),(1,3,2,4)(5,8,6,7)(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,12,2,11)(3,9,4,10),
"t16n1218"],
[(1,6,4,8,2,5,3,7)(9,14)(10,13)(11,15,12,16),(1,9,2,10)(3,12,4,11)
(5,14,6,13)(7,15,8,16),(1,16,4,14,2,15,3,13)(5,11,6,12)(7,9)(8,10),
"t16n1219"],[(9,10)(13,14),(1,5,2,6)(3,7)(4,8)(9,13,10,14)(11,16)(12,15),
(1,8)(2,7)(3,4)(9,12,10,11),(1,14,8,16,2,13,7,15)(3,10,5,11,4,9,6,12),
"t16n1220"],[(1,2)(15,16),(1,3,6,16)(2,4,5,15)(7,10,11,14,8,9,12,13),
(1,10)(2,9)(3,12,4,11)(5,13,6,14)(7,15)(8,16),"t16n1221"],
[(5,8,6,7)(9,12)(10,11)(13,15)(14,16),(1,13,5,10,3,15,8,12,2,14,6,9,4,16,7,11
),"t16n1222"],
[(1,15,14,11,9,8,5,3,2,16,13,12,10,7,6,4),(1,8,14,4,10,15,6,11,2,7,13,3,9,
16,5,12),"t16n1223"],
[(1,9,7,16)(2,10,8,15)(3,12,5,14)(4,11,6,13),(1,5,2,6)(3,7,4,8)(9,13)
(10,14)(11,16)(12,15),(5,8)(6,7)(9,12)(10,11)(13,16)(14,15),"t16n1224"],
[(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)(11,12)(13,14),
(1,11)(2,12)(3,10)(4,9)(5,15)(6,16)(7,13)(8,14),"t16n1225"],
[(9,10)(11,12)(13,14)(15,16),(1,2)(5,6)(9,11)(10,12)(13,15)(14,16),
(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,9)(2,10)(3,12)(4,11)(5,14)(6,13)(7,16)(8,15),"t16n1226"],
[(1,11)(2,12)(3,10)(4,9)(5,15)(6,16)(7,13)(8,14),
(1,14,11,8,4,16,10,6,2,13,12,7,3,15,9,5),(1,3,2,4)(7,8)(9,10)(11,12)
(13,16)(14,15),"t16n1227"],
[(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,4)(9,12,10,11),(1,14,8,16,2,13,7,15)(3,10,5,11,4,9,6,12),
"t16n1228"],
[(1,11,6,8)(2,12,5,7)(3,13,15,9,4,14,16,10),(1,9,2,10)(3,11)(4,12)(5,13)
(6,14)(7,15)(8,16),"t16n1229"],
[(1,8,2,7)(3,6,4,5)(9,15,11,14,10,16,12,13),
(1,16)(2,15)(3,13,4,14)(5,9,7,11)(6,10,8,12),
(1,10,4,12,2,9,3,11)(5,14,7,15,6,13,8,16),"t16n1230"],
[(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,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),"t16n1231"],
[(1,9,2,10)(3,12)(4,11)(5,16)(6,15)(7,13,8,14),(1,6,4,7,2,5,3,8)(9,14)
(10,13)(11,16,12,15),"t16n1232"],
[(1,2)(5,6)(9,10)(13,14),(1,12,4,10)(2,11,3,9)(5,16,7,14)(6,15,8,13),
(1,15,4,13,2,16,3,14)(5,8)(6,7)(9,11)(10,12),"t16n1233"],
[(9,10)(11,12)(13,14)(15,16),(1,4)(2,3)(5,6)(7,8)(13,16)(14,15),
(1,7,4,6,2,8,3,5)(9,13,11,16,10,14,12,15),
(1,13,4,16,2,14,3,15)(5,12,7,10,6,11,8,9),
(1,15)(2,16)(3,14)(4,13)(5,12,6,11)(7,10,8,9),"t16n1234"],
[(1,6,14,9,4,8,16,12)(2,5,13,10,3,7,15,11),(1,4,2,3)(5,10,8,11)(6,9,7,12)
(13,16,14,15),(1,4)(2,3)(5,10,7,11)(6,9,8,12)(13,16)(14,15),"t16n1235"],
[(1,4)(2,3)(5,8,6,7)(9,11,10,12)(13,15)(14,16),
(1,9,8,12)(2,10,7,11)(3,16,6,14,4,15,5,13),(1,8,2,7)(3,5)(4,6)(9,15)
(10,16)(11,14,12,13),"t16n1236"],
[(1,10)(2,9)(3,12)(4,11)(5,14)(6,13)(7,16)(8,15),
(1,16,10,8,3,13,11,6)(2,15,9,7,4,14,12,5),
(1,13,12,6,4,15,10,7)(2,14,11,5,3,16,9,8),"t16n1237"],
[(9,10)(13,14),(1,2)(3,4),(1,6)(2,5)(3,7)(4,8)(9,10)(11,12),
(1,7,6,4)(2,8,5,3)(9,15,14,12)(10,16,13,11),
(1,9,5,13,2,10,6,14)(3,12,7,15,4,11,8,16),"t16n1238"],
[(1,6,10,16,3,7,12,13)(2,5,9,15,4,8,11,14),(1,9,3,11)(2,10,4,12)(5,13,7,15)
(6,14,8,16),(1,3,2,4)(5,6)(7,8)(9,10)(13,15)(14,16),"t16n1239"],
[(1,10,4,12,2,9,3,11)(5,13,7,16,6,14,8,15),
(1,7,3,5,2,8,4,6)(9,14,12,16,10,13,11,15),
(1,11,14,6,4,9,16,8,2,12,13,5,3,10,15,7),"t16n1240"],
[(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,4)(9,12)(10,11),(1,14,8,16,2,13,7,15)(3,10,5,11,4,9,6,12),
"t16n1241"],[(9,10)(13,14),(1,2)(3,4),(1,5,2,6)(3,7)(4,8)(11,12),
(1,7,6,4)(2,8,5,3)(9,15,14,12)(10,16,13,11),
(1,9,5,13,2,10,6,14)(3,12,7,15,4,11,8,16),"t16n1242"],
[(1,4,2,3)(5,7)(6,8)(13,14),(1,16,10,7,3,14,12,6)(2,15,9,8,4,13,11,5),
"t16n1243"],
[(1,14,9,8,3,16,12,5)(2,13,10,7,4,15,11,6),(1,3,2,4)(9,10)(11,12)
(13,16,14,15),"t16n1244"],
[(9,10)(13,14),(1,2)(3,4),(1,6)(2,5)(3,7)(4,8)(9,10)(11,12),
(1,7,6,3,2,8,5,4)(9,15,14,11,10,16,13,12),
(1,9,5,13,2,10,6,14)(3,12,7,15,4,11,8,16),"t16n1245"],
[(9,10)(13,14),(1,2)(3,4),(1,5,2,6)(3,7)(4,8)(11,12),
(1,7,6,3,2,8,5,4)(9,15,14,11,10,16,13,12),
(1,9,5,13,2,10,6,14)(3,12,7,15,4,11,8,16),"t16n1246"],
[(1,2)(5,16)(6,15)(7,13)(8,14)(9,11,10,12),
(1,14,2,13)(3,16)(4,15)(5,12,7,9,6,11,8,10),"t16n1247"],
[(1,10,4,11,6,13,8,15)(2,9,3,12,5,14,7,16),(1,7)(2,8)(3,6,4,5)(11,16)
(12,15)(13,14),"t16n1248"],
[(1,14,2,13)(3,12,4,11)(5,10)(6,9)(7,16)(8,15),
(1,11,8,10,5,16,4,14,2,12,7,9,6,15,3,13),"t16n1249"],
[(1,10,4,12,5,14,8,16,2,9,3,11,6,13,7,15),(1,4,2,3)(5,7)(6,8)(9,14,10,13)
(15,16),"t16n1250"],
[(1,7)(2,8)(3,6,4,5)(9,13,11,15)(10,14,12,16),(1,14,7,11,4,15,5,9,2,13,8,
12,3,16,6,10),"t16n1251"],
[(1,11,13,6,2,12,14,5)(3,10,16,8)(4,9,15,7),(1,14,2,13)(3,15,4,16)(5,7)
(6,8)(9,12,10,11),(1,3,2,4)(5,6)(11,12)(13,15,14,16),"t16n1252"],
[(1,11,7,10,5,16,3,14)(2,12,8,9,6,15,4,13),
(1,14,4,16,5,10,7,12)(2,13,3,15,6,9,8,11),(1,6,2,5)(3,4)(9,12,10,11)
(13,15,14,16),"t16n1253"],
[(1,5,2,6)(9,16,10,15)(11,13,12,14),(1,10,3,12,6,13,8,16,2,9,4,11,5,14,7,15),
(1,12,5,15)(2,11,6,16)(3,10,8,13)(4,9,7,14),"t16n1254"],
[(1,5,16,11,2,6,15,12)(3,7,13,10)(4,8,14,9),(1,15,4,13,2,16,3,14)(5,7)
(6,8),"t16n1255"],
[(1,2)(5,11,8,9)(6,12,7,10)(15,16),(1,11)(2,12)(3,9,4,10)(5,13,8,15,6,14,7,
16),(1,7,14,11,4,5,15,9)(2,8,13,12,3,6,16,10),"t16n1256"],
[(1,11,15,7,3,10,13,5)(2,12,16,8,4,9,14,6),(1,11,2,12)(3,10,4,9)(5,13,6,14)
(7,16,8,15),"t16n1257"],
[(1,6,4,8)(2,5,3,7)(9,16,11,13)(10,15,12,14),(1,7,15,10,4,5,14,11)
(2,8,16,9,3,6,13,12),"t16n1258"],
[(1,16)(2,15)(3,13)(4,14)(5,7,6,8)(9,11,10,12),
(1,3)(2,4)(5,11,7,10,6,12,8,9)(13,16)(14,15),
(1,9,13,6,3,11,15,7,2,10,14,5,4,12,16,8),"t16n1259"],
[(1,5,2,6)(3,8)(4,7)(9,16,10,15)(11,14)(12,13),(1,13,2,14)(3,16,4,15)(7,8)
(9,10)(11,12),(1,11,3,9)(2,12,4,10)(5,15,7,14)(6,16,8,13),"t16n1260"],
[(1,4,2,3)(5,9,7,12,6,10,8,11)(13,14)(15,16),
(1,8,3,6,2,7,4,5)(9,14,10,13)(11,16,12,15),(3,4)(5,7)(6,8)(9,10)(15,16),
"t16n1261"],
[(1,6,13,9,2,5,14,10)(3,8,15,12,4,7,16,11),(1,14,3,15,2,13,4,16)(5,7)(6,8)
(9,11)(10,12),(5,10,6,9)(7,11,8,12),"t16n1262"],
[(1,9,8,15,3,12,5,13)(2,10,7,16,4,11,6,14),(3,4)(5,6)(7,8)(13,16,14,15),
"t16n1263"],
[(1,5,2,6)(3,7)(4,8)(9,13,10,14)(11,16)(12,15),(1,3,2,4)(5,11,8,10)
(6,12,7,9)(13,16)(14,15),"t16n1264"],
[(1,2)(3,4)(5,12,6,11)(7,10,8,9)(15,16),(1,4)(2,3)(13,16)(14,15),
(1,11,2,12)(3,10,4,9)(5,13,6,14)(7,15,8,16),"t16n1265"],
[(1,10,4,12,5,13,8,16,2,9,3,11,6,14,7,15),(1,12)(2,11)(3,10)(4,9)(5,16)
(6,15)(7,13)(8,14),(1,9)(2,10)(3,15,4,16)(5,14,6,13)(7,12)(8,11),
"t16n1266"],
[(1,9,3,12,6,14,7,15)(2,10,4,11,5,13,8,16),(1,7,2,8)(3,6,4,5)(9,10)
(11,16)(12,15)(13,14),(1,7,6,4)(2,8,5,3)(9,16,13,12)(10,15,14,11),
"t16n1267"],
[(1,2)(5,15,6,16)(7,14,8,13)(9,11)(10,12),(1,6,10,16,4,8,12,13,2,5,9,15,3,
7,11,14),(1,15)(2,16)(3,13)(4,14)(5,9)(6,10)(7,11)(8,12),"t16n1268"],
[(1,15,5,11)(2,16,6,12)(3,13,7,10)(4,14,8,9),(1,2)(3,4)(5,6)(9,12,10,11)
(13,14),"t16n1269"],
[(1,11,2,12)(3,10,4,9)(5,15)(6,16)(7,14)(8,13),(1,7,14,9)(2,8,13,10)
(3,6,15,11)(4,5,16,12),(1,8,2,7)(3,6)(4,5)(9,15,11,14,10,16,12,13),
"t16n1270"],
[(1,16)(2,15)(3,13)(4,14)(5,8)(6,7)(9,11,10,12),(1,12,13,6,2,11,14,5)
(3,9,15,7)(4,10,16,8),(1,6,3,8,2,5,4,7)(9,13,12,15,10,14,11,16),
"t16n1271"],
[(1,10,3,11,5,13,8,15)(2,9,4,12,6,14,7,16),(1,2)(3,7)(4,8)(9,15)(10,16)
(11,14,12,13),"t16n1272"],
[(1,13,10,6,4,15,11,7)(2,14,9,5,3,16,12,8),(1,13,4,16)(2,14,3,15)(5,10,8,12)
(6,9,7,11),(3,4)(5,15,6,16)(7,14,8,13)(9,11,10,12),"t16n1273"],
[(1,6,2,5)(3,8,4,7)(9,14,10,13)(11,16,12,15),
(1,8,15,10,3,5,13,12,2,7,16,9,4,6,14,11),"t16n1274"],
[(1,2)(3,4)(5,11,6,12)(7,9,8,10)(13,15)(14,16),
(1,8,4,6)(2,7,3,5)(9,16,12,14)(10,15,11,13),
(1,5,16,9)(2,6,15,10)(3,8,13,11)(4,7,14,12),"t16n1275"],
[(1,6)(2,5)(3,8,4,7)(9,13,12,15,10,14,11,16),
(1,10,3,11)(2,9,4,12)(5,15,7,14)(6,16,8,13),(1,16,2,15)(3,14,4,13)(5,6)
(7,8)(9,12)(10,11),"t16n1276"],
[(1,7,10,13,2,8,9,14)(3,6,11,16,4,5,12,15),
(1,13,11,8)(2,14,12,7)(3,16,9,5,4,15,10,6),"t16n1277"],
[(1,6)(2,5)(3,7,4,8)(9,14,12,15,10,13,11,16),
(1,10,5,14,3,12,7,16)(2,9,6,13,4,11,8,15),"t16n1278"],
[(1,11)(2,12)(3,9)(4,10)(5,13,6,14)(7,16,8,15),
(1,12,15,5,2,11,16,6)(3,10,14,7)(4,9,13,8),"t16n1279"],
[(1,10,15,5,3,12,14,8,2,9,16,6,4,11,13,7),(1,8,13,10)(2,7,14,9)(3,5,15,11)
(4,6,16,12),(1,4)(2,3)(5,11,7,10,6,12,8,9)(13,15)(14,16),"t16n1280"],
[(1,6,10,13)(2,5,9,14)(3,8,11,16,4,7,12,15),
(1,15,12,7)(2,16,11,8)(3,13,9,6)(4,14,10,5),"t16n1281"],
[(9,10)(11,12)(13,14)(15,16),(1,5,4,8,2,6,3,7)(9,13,11,16,10,14,12,15),
(1,10)(2,9)(3,11)(4,12)(5,7)(6,8)(13,14)(15,16),
(1,12,4,9)(2,11,3,10)(5,16,7,14)(6,15,8,13),"t16n1282"],
[(1,10,2,9)(3,12,4,11)(5,16,6,15)(7,13,8,14),(1,13,4,16)(2,14,3,15)(5,6)
(7,8)(9,12,10,11),"t16n1283"],
[(1,16,4,14)(2,15,3,13)(5,6)(7,8)(9,12,10,11),
(1,10,4,11,2,9,3,12)(5,14,8,15,6,13,7,16),"t16n1284"],
[(1,13,4,16,2,14,3,15)(5,9,8,11,6,10,7,12),
(3,4)(5,8,6,7)(11,12)(13,16,14,15),
(1,5,11,13,4,7,9,16,2,6,12,14,3,8,10,15),"t16n1285"],
[(1,3)(2,4)(5,7)(6,8)(9,12)(10,11)(13,15)(14,16),
(1,15,7,11,5,10,2,16,8,12,6,9)(3,13,4,14),
(3,7,6)(4,8,5)(9,12,13,10,11,14)(15,16),"t16n1286"],
[(1,5,3,16)(2,6,4,15)(11,13)(12,14),(1,12,15,13,3,10,6,7)(2,11,16,14,4,9,5,8
),"t16n1287"],
[(1,11,15,13,6,9)(2,12,16,14,5,10)(3,7)(4,8),(1,2)(3,16)(4,15)(5,6)
(7,14,11,10)(8,13,12,9),(1,5)(2,6)(3,16)(4,15)(7,10,13,8,9,14)(11,12),
"t16n1288"],
[(1,10,15,12,3,13,2,9,16,11,4,14)(5,8,6,7),(1,13,6,7,3,10,2,14,5,8,4,9)
(11,15,12,16),"t16n1289"],
[(1,11,6,8,3,10,15,13)(2,12,5,7,4,9,16,14),(1,2)(3,5)(4,6)(7,13)(8,14)
(9,10)(11,12)(15,16),"t16n1290"],
[(3,5,8)(4,6,7)(9,15,10,16)(11,13,12,14),(1,12,2,11)(3,9,7,16,5,14,4,10,8,
15,6,13),"t16n1291"],
[(1,6,15,2,5,16)(3,4)(7,13)(8,14),(1,8,6,11,3,10,16,13)(2,7,5,12,4,9,15,14
),"t16n1292"],
[(1,12,3,7,5,9)(2,11,4,8,6,10)(13,15)(14,16),(1,6,16,4)(2,5,15,3)
(7,14,9,12)(8,13,10,11),"t16n1293"],
[(1,7)(2,5,11)(3,13,4)(6,9,8,16,15,14),(1,15,2,12)(3,13,16,14)(4,11,7,8)
(5,10,6,9),"t16n1294"],
[(1,8,5,12,4,9,16,13)(2,7,6,11,3,10,15,14),(1,7,16,11,5,10)(2,8,15,12,6,9)
(3,13)(4,14),"t16n1295"],
[(1,15,4,6)(2,16,3,5)(7,11)(8,12)(9,13)(10,14),
(1,9,16,12,4,13)(2,10,15,11,3,14)(5,8)(6,7),"t16n1296"],
[(1,10,13,4,9,16)(2,12,14,3,11,15)(5,7)(6,8),
(1,10,7,13)(2,9,6,16)(3,11,8,15)(4,12,5,14),
(1,8,3,5,2,6)(4,7)(9,14,12,13,11,15)(10,16),"t16n1297"],
[(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,6,9)(2,5,10)(3,7,12)(4,8,11),(1,8)(2,7)(3,5)(4,6)(9,11)
(10,12)(13,15)(14,16),(1,12)(2,11)(3,10)(4,9)(5,13)(6,14)(7,15)(8,16),
"t16n1298"],
[(1,10)(2,11,3,9,4,12)(5,7,8)(14,16,15),(1,5)(2,8,3,6,4,7)(9,16,10,13,12,
14)(11,15),"t16n1299"],
[(1,3,2,4)(7,8)(9,10)(13,16,14,15),(1,16,9,5,3,13,10,7,2,14,12,6)
(4,15,11,8),"t16n1300"],
[(1,11,4,9)(2,12,3,10)(5,13,7,16)(6,14,8,15),(1,2,3,4)(5,6,7,8)(9,11)
(13,15),(1,6,2,8,3,7)(4,5)(9,16)(10,14,12,15,11,13),"t16n1301"],
[(1,11,5,4,9,8)(2,12,6,3,10,7)(15,16),(1,10)(2,9)(3,11)(4,12)(5,13)(6,14)
(7,15)(8,16),"t16n1302"],
[(1,15,4,13,2,16,3,14)(5,10,7,11,6,9,8,12),(1,9,14,4,11,15,2,10,13,3,12,16)
(5,7,6,8),(1,2)(5,11,15,6,12,16)(7,10,14)(8,9,13),"t16n1303"],
[(1,3)(2,4)(5,8)(6,7)(9,12)(10,11)(13,16)(14,15),
(1,14,7,12,2,13,8,11)(3,15,6,9,4,16,5,10),
(1,8,5,2,7,6)(3,4)(9,11,15,10,12,16)(13,14),"t16n1304"],
[(1,10,5,2,9,6)(3,12,8,4,11,7)(13,14)(15,16),(1,11,4,10)(2,12,3,9)(5,14)
(6,13)(7,15)(8,16),(1,13,10,2,14,9)(3,15,12,4,16,11)(5,8)(6,7),
"t16n1305"],
[(1,14,8,3,16,6)(2,13,7,4,15,5)(9,12)(10,11),(1,15,11,3,14,10,2,16,12,4,13,9)
(5,7,6,8),(1,5,14,2,6,13)(3,7,16,4,8,15)(9,10)(11,12),"t16n1306"],
[(1,14,4,9,5,11)(2,13,3,10,6,12)(7,16)(8,15),
(1,9,2,10)(3,15,5,11,8,13,4,16,6,12,7,14),
(3,7,5)(4,8,6)(9,12,14)(10,11,13),"t16n1307"],
[(5,13,12)(6,14,11)(7,16,9)(8,15,10),(1,7,16,3,6,14,2,8,15,4,5,13)
(9,11,10,12),(1,5,16,3,7,14,2,6,15,4,8,13)(9,12,10,11),"t16n1308"],
[(1,11,5,14,3,9)(2,12,6,13,4,10)(7,15)(8,16),
(1,8)(2,7)(3,6)(4,5)(9,11,10,12)(13,16,14,15),
(1,16)(2,15)(3,9)(4,10)(5,12,6,11)(7,14,8,13),"t16n1309"],
[(1,5,13)(2,6,14)(3,8,16,4,7,15)(11,12),
(1,6,15,12,3,8,13,10,2,5,16,11,4,7,14,9),"t16n1310"],
[(1,12,8,3,10,5,2,11,7,4,9,6)(13,15,14,16),
(1,16,8,12,3,13,5,10)(2,15,7,11,4,14,6,9),
(1,13,11,3,15,10)(2,14,12,4,16,9)(5,7)(6,8),"t16n1311"],
[(1,13,2,15,3,16)(4,14)(5,11)(6,9,8,12,7,10),
(1,16,11,7,3,14,9,5)(2,13,12,6,4,15,10,8),"t16n1312"],
[(1,5,3,7)(2,8,4,6)(9,16)(10,13)(11,14)(12,15),
(1,9)(2,11)(3,10)(4,12)(5,6,8,7)(13,14,16,15),"t16n1313"],
[(1,15,9,3,16,12)(2,14,11,4,13,10)(6,8,7),(1,16,8,3,13,7)(2,14,5,4,15,6)
(10,11,12),(1,11)(2,9)(3,12)(4,10)(5,8)(14,15),"t16n1314"],
[(1,13,12,7)(2,14,11,8)(3,16,10,6)(4,15,9,5),(1,4,3)(5,15,7,14,8,16)(6,13)
(10,11,12),(1,6,9,15,2,5,10,16)(3,7,11,14,4,8,12,13),"t16n1315"],
[(1,3)(2,4)(5,13,10,7,15,11)(6,14,9,8,16,12),
(1,16,5,10)(2,15,6,9)(3,13,8,11,4,14,7,12),"t16n1316"],
[(1,5,4,7)(2,6,3,8)(11,12)(13,15,14,16),
(1,5,14,10,4,6,15,9)(2,8,13,11,3,7,16,12),"t16n1317"],
[(1,15,5,10)(2,16,6,9)(3,13,8,11)(4,14,7,12),
(1,16,2,15)(3,10)(4,9)(5,12,6,11)(7,14)(8,13),(1,6,4,2,5,3)(7,8)(9,10)
(11,14,16,12,13,15),"t16n1318"],
[(1,8,12,15,2,7,11,16)(3,5,10,13,4,6,9,14),(1,8,15,10)(2,7,16,9)(3,5,14,12)
(4,6,13,11),(1,8,16,2,7,15)(3,6,13,4,5,14)(9,10)(11,12),"t16n1319"],
[(1,15,7,4,13,6,2,16,8,3,14,5)(9,12,10,11),(1,3,2,4)(9,16,12,13,10,15,11,14),
"t16n1320"],
[(1,15,5,10,2,16,6,9)(3,13,8,11,4,14,7,12),(1,15,2,16)(3,9)(4,10)
(5,12,6,11)(7,14)(8,13),(1,4,7)(2,3,8)(9,10)(11,13,15,12,14,16),
"t16n1321"],
[(1,6,9,13)(2,5,10,14)(3,8,12,15)(4,7,11,16),(1,11,13,5)(2,12,14,6)
(3,10,15,7)(4,9,16,8),(1,16,11,3,14,10)(2,15,12,4,13,9)(5,7)(6,8),
"t16n1322"],
[(1,15,11,5)(2,16,12,6)(3,14,10,8)(4,13,9,7),(1,5)(2,6)(3,7)(4,8)(9,16)
(10,15)(11,13)(12,14),(1,16,10)(2,15,9)(3,14,11)(4,13,12),"t16n1323"],
[(1,13,8,10,2,14,7,9)(3,15,6,11,4,16,5,12),
(1,13,9,7,2,14,10,8)(3,15,12,5,4,16,11,6),
(1,16,8,9,2,15,7,10)(3,14,6,12,4,13,5,11),"t16n1324"],
[(1,7,13,3,5,15,2,8,14,4,6,16)(9,11,10,12),(1,9,7,16)(2,10,8,15)(3,12,5,13)
(4,11,6,14),"t16n1325"],
[(3,4)(5,6)(9,15,12,13,10,16,11,14),(1,5,15,10,4,7,13,11,2,6,16,9,3,8,14,12),
"t16n1326"],
[(1,15,7,14,2,16,8,13)(3,12,5,9,4,11,6,10),(1,9,3,16)(2,10,4,15)(5,12,7,13)
(6,11,8,14),(1,12)(2,11)(3,14,4,13)(5,9)(6,10)(7,15,8,16),"t16n1327"],
[(1,6,11,5,13,15,14,9,4,10,2,16)(3,7,12,8),(1,4,5,7,15)(2,14,3,12,11)
(6,13,9,10,16),"t16n1328"],
[(1,11,13,8,16)(2,6,4,3,12)(5,9,10,7,14),(1,11,16,10)(2,9,3,8)(4,6,5,7)
(12,14,13,15),"t16n1329"],
[(9,10)(13,14),(3,6)(4,5)(9,11)(10,12),(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,10,5,11,4,9,6,12),"t16n1330"],
[(9,10)(13,14),(1,2)(3,6)(4,5)(9,11,10,12),(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,10,5,11,4,9,6,12),"t16n1331"],
[(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,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),"t16n1332"],
[(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,4)(9,12)(10,11),(1,7,2,8)(3,6,4,5)(9,10)(11,12),
(1,12,8,9,2,11,7,10)(3,15,5,14,4,16,6,13),"t16n1333"],
[(9,10)(13,14),(3,6)(4,5)(9,11)(10,12),(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,10,5,11,4,9,6,12),"t16n1334"],
[(1,2)(15,16),(1,2)(3,4),(1,5,10,14)(2,6,9,13)(3,8,12,15)(4,7,11,16),
(1,7,10,15,2,8,9,16)(3,6,11,14,4,5,12,13),(1,10)(2,9)(3,4)(5,13,6,14)
(7,8)(15,16),"t16n1335"],
[(3,4)(5,6)(7,10)(8,9)(11,14,12,13)(15,16),(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,16,2,15)(3,5,4,6)(9,10)
(13,14),"t16n1336"],
[(9,10)(11,12)(13,14)(15,16),(5,10,6,9)(7,11,8,12)(13,14)(15,16),
(1,2)(7,8)(9,11)(10,12)(13,15)(14,16),(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,12,3,10,2,11,4,9)(5,16,8,13,6,15,7,14),"t16n1337"],
[(9,10)(11,12)(13,14)(15,16),(5,12)(6,11)(7,9)(8,10),(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),"t16n1338"],
[(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,8)(2,7)(3,4)(9,12,10,11),
(1,12,8,9,2,11,7,10)(3,15,5,14,4,16,6,13),"t16n1339"],
[(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,12,2,11)(3,9,4,10),"t16n1340"],
[(9,10)(11,12)(13,14)(15,16),(3,4)(9,12,10,11)(13,14)(15,16),(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,4,16)(2,14,3,15)(5,12,8,9)(6,11,7,10),"t16n1341"],
[(1,5)(2,6)(3,7)(4,8)(11,12)(13,14),(1,12,7,14)(2,11,8,13)(3,9,6,15)
(4,10,5,16),(1,16,8,14)(2,15,7,13)(3,9,5,11)(4,10,6,12),"t16n1342"],
[(1,13,4,12)(2,14,3,11)(5,10,7,15,6,9,8,16),
(1,3,5,8)(2,4,6,7)(9,16,14,11)(10,15,13,12),(3,7,4,8)(11,15)(12,16)(13,14),
"t16n1343"],
[(5,12,6,11)(7,10,8,9),(1,11,4,9,2,12,3,10)(5,14)(6,13)(7,16,8,15),
(1,12,15,6,4,10,13,7)(2,11,16,5,3,9,14,8),"t16n1344"],
[(1,6)(2,5)(3,4)(9,13,10,14)(15,16),(1,6,2,5)(3,7)(4,8)(11,12),
(1,15,4,10)(2,16,3,9)(5,11,8,13,6,12,7,14),"t16n1345"],
[(1,10,3,12)(2,9,4,11)(5,14,6,13)(7,15,8,16),(1,12,3,9)(2,11,4,10)(5,14)
(6,13)(7,16)(8,15),(1,13,12,5,3,16,10,8)(2,14,11,6,4,15,9,7),"t16n1346"]
,[(9,10)(11,12)(13,14)(15,16),(1,3)(2,4)(7,8)(9,10)(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,12,2,11)(3,9,4,10),
"t16n1347"],
[(9,10)(11,12)(13,14)(15,16),(1,4)(2,3)(9,10),(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,13)(12,14),
(1,12,2,11)(3,10,4,9),"t16n1348"],
[(9,10)(11,12)(13,14)(15,16),(1,3)(2,4)(5,6),(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),"t16n1349"],
[(1,12,3,10,2,11,4,9)(5,13,6,14)(7,15,8,16),(1,14)(2,13)(3,15)(4,16)(5,8)
(6,7)(9,12)(10,11),(1,5,3,8,2,6,4,7)(9,13,10,14)(11,15,12,16),"t16n1350"
],
[(1,12,5,16,10,3,14,8)(2,11,6,15,9,4,13,7),(3,4)(5,6)(9,10)(11,12)(13,14),
"t16n1351"],[(9,10)(11,12)(13,14)(15,16),(1,2)(5,6)(9,10)(13,14),(1,4)(2,3),
(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),"t16n1352"],
[(1,7,2,8)(3,5,4,6)(9,15,11,14)(10,16,12,13),
(1,10)(2,9)(3,12)(4,11)(5,16,8,13)(6,15,7,14),
(1,3,2,4)(7,8)(9,11)(10,12)(13,16)(14,15),"t16n1353"],
[(1,13,11,6,3,16,10,7,2,14,12,5,4,15,9,8),(7,8)(9,11,10,12)(15,16),
(1,12)(2,11)(3,9)(4,10)(5,13)(6,14)(7,15)(8,16),"t16n1354"],
[(1,6)(2,5)(7,8)(9,15)(10,16)(11,14,12,13),(1,7,5,4)(2,8,6,3)(9,11,13,16)
(10,12,14,15),(1,10,7,15,6,14,4,11)(2,9,8,16,5,13,3,12),"t16n1355"],
[(1,15,2,16)(3,14,4,13)(5,11,6,12)(7,9,8,10),
(1,7)(2,8)(3,6,4,5)(9,14,11,15,10,13,12,16),(3,4)(5,8,6,7)(9,10)(15,16),
"t16n1356"],
[(1,14,9,8,2,13,10,7)(3,16,12,6,4,15,11,5),(1,5,3,8)(2,6,4,7)(9,15,10,16)
(11,13,12,14),(1,13,3,15)(2,14,4,16)(5,10,7,11)(6,9,8,12),"t16n1357"],
[(1,4,2,3)(5,7)(6,8)(9,16,14,11)(10,15,13,12),(1,9)(2,10)(3,12,4,11)(5,14)
(6,13)(7,16,8,15),(1,6)(2,5)(3,4)(9,10)(11,15,12,16)(13,14),"t16n1358"],
[(1,11,8,14,2,12,7,13)(3,9,6,15)(4,10,5,16),(1,10,4,15,2,9,3,16)(5,13,8,12)
(6,14,7,11),(1,2)(3,4)(5,6)(7,8)(11,12)(13,14),"t16n1359"],
[(1,16)(2,15)(3,13)(4,14)(5,11,8,9,6,12,7,10),(1,16,2,15)(3,13)(4,14)(5,10)
(6,9)(7,12,8,11),(1,12,2,11)(3,10)(4,9)(5,15)(6,16)(7,13,8,14),
"t16n1360"],
[(1,2)(5,13,6,14)(7,15,8,16)(9,11,10,12),(1,2)(3,4)(5,16,6,15)(7,14,8,13),
(1,5,12,15,3,8,10,13)(2,6,11,16,4,7,9,14),"t16n1361"],
[(1,2)(5,6)(9,11,10,12)(13,14)(15,16),(1,11)(2,12)(3,9,4,10)(5,14,8,16)
(6,13,7,15),(1,5,2,6)(3,7)(4,8)(9,16,11,14)(10,15,12,13),"t16n1362"],
[(1,7,15,9,3,6,14,11)(2,8,16,10,4,5,13,12),
(1,5,13,9,3,7,16,12)(2,6,14,10,4,8,15,11),(1,16,4,13)(2,15,3,14)(7,8)
(9,12,10,11),"t16n1363"],
[(1,10,7,15,5,13,4,11)(2,9,8,16,6,14,3,12),(1,11,8,9,5,15,3,14)
(2,12,7,10,6,16,4,13),(1,12,8,14,5,16,4,9)(2,11,7,13,6,15,3,10),
"t16n1364"],
[(1,2)(3,8,4,7)(9,10)(11,15)(12,16)(13,14),(1,3)(2,4)(5,7,6,8)(9,11)(10,12)
(13,15,14,16),(1,14,4,11,5,10,7,16,2,13,3,12,6,9,8,15),"t16n1365"],
[(9,10)(11,12)(13,14)(15,16),(1,4)(2,3)(5,8)(6,7)(9,11)(10,12)(13,15)(14,16),
(1,7,4,5,2,8,3,6)(9,15,11,14,10,16,12,13),
(1,11,2,12)(3,10,4,9)(5,7,6,8),(1,12)(2,11)(3,10)(4,9)(5,16)(6,15)
(7,14)(8,13),"t16n1366"],
[(9,10)(13,14),(1,2)(3,4),(1,6)(2,5)(3,7)(4,8)(9,10)(11,12),
(1,7,2,8)(3,6,4,5)(9,13)(10,14)(11,12),
(1,11,5,15,2,12,6,16)(3,9,7,14,4,10,8,13),"t16n1367"],
[(1,10,3,15,2,9,4,16)(5,13,7,12,6,14,8,11),(1,5)(2,6)(7,8)(9,14,10,13)
(11,12)(15,16),(1,11,8,13)(2,12,7,14)(3,9,5,15)(4,10,6,16),"t16n1368"],
[(7,9,8,10)(11,14)(12,13),(1,2)(7,8),(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)(11,12)(13,14),"t16n1369"],
[(1,16,9,8,2,15,10,7)(3,13,12,5)(4,14,11,6),
(1,12,9,3,2,11,10,4)(5,16,13,8,6,15,14,7),
(1,15)(2,16)(3,5,4,6)(7,9,8,10)(11,14)(12,13),"t16n1370"],
[(1,7,12,13,2,8,11,14)(3,6,10,16)(4,5,9,15),
(1,10,2,9)(3,12)(4,11)(5,16,8,13)(6,15,7,14),"t16n1371"],
[(1,10)(2,9)(5,13,6,14)(15,16),(1,3,10,12)(2,4,9,11)(5,8,13,15,6,7,14,16),
(1,14,10,6,2,13,9,5)(3,15,12,8,4,16,11,7),"t16n1372"],
[(1,12,4,13,5,16,7,10,2,11,3,14,6,15,8,9),
(1,7,6,4,2,8,5,3)(9,16,14,11,10,15,13,12),(1,3,5,7,2,4,6,8)(9,10)
(11,12)(13,14)(15,16),"t16n1373"],
[(1,16,8,13,6,11,3,10)(2,15,7,14,5,12,4,9),(1,8,6,3,2,7,5,4)(9,14)(10,13)
(11,16,12,15),(1,11,8,9,5,16,3,13)(2,12,7,10,6,15,4,14),"t16n1374"],
[(1,6,3,7,2,5,4,8)(9,15)(10,16)(11,14,12,13),
(1,9,4,12,2,10,3,11)(5,14,8,15,6,13,7,16),(1,8)(2,7)(3,5)(4,6)(9,16)
(10,15)(11,13)(12,14),"t16n1375"],
[(1,6,9,16)(2,5,10,15)(3,8,12,13)(4,7,11,14),(3,4)(5,6)(7,8)(9,11,10,12)
(13,14),(1,15,12,7,4,13,10,5,2,16,11,8,3,14,9,6),"t16n1376"],
[(1,4)(2,3)(5,7,6,8)(9,16,10,15)(11,13)(12,14),(1,14,2,13)(3,12)(4,11)(5,9)
(6,10)(7,15,8,16),(1,3,5,7,2,4,6,8)(9,14,10,13)(11,12),"t16n1377"],
[(15,16),(1,5)(2,6)(3,16,4,15)(7,11)(8,12)(9,13)(10,14),
(1,10,2,9)(3,11)(4,12)(5,13)(6,14)(7,15,8,16),(1,15,2,16)(3,5,4,6)(7,9)
(8,10)(11,13)(12,14),"t16n1378"],
[(1,7,6,12)(2,8,5,11)(3,10,15,14,4,9,16,13),
(1,7,6,11)(2,8,5,12)(3,10,16,13)(4,9,15,14),
(1,13,2,14)(3,8,4,7)(5,10,6,9)(11,15)(12,16),"t16n1379"],
[(1,4,2,3)(5,12,8,10)(6,11,7,9)(15,16),(1,4,2,3)(5,9)(6,10)(7,11)(8,12)
(13,15,14,16),(1,10,2,9)(3,12)(4,11)(5,15)(6,16)(7,14,8,13),"t16n1380"],
[(1,13,2,14)(3,7)(4,8)(5,10,6,9)(11,16,12,15),
(1,5)(2,6)(3,15)(4,16)(7,14,8,13)(9,12,10,11),
(1,5)(2,6)(3,16,4,15)(7,12)(8,11)(9,14,10,13),"t16n1381"],
[(1,8,14,9)(2,7,13,10)(3,5,15,11)(4,6,16,12),
(1,16,4,14,2,15,3,13)(5,10,8,12,6,9,7,11),
(1,9)(2,10)(3,12,4,11)(5,13,6,14)(7,16)(8,15),"t16n1382"],
[(1,13)(2,14)(3,15,4,16)(5,10,6,9)(7,11)(8,12),
(1,10,5,13)(2,9,6,14)(3,11,7,15)(4,12,8,16),
(1,4)(2,3)(5,8)(6,7)(9,16,13,11)(10,15,14,12),"t16n1383"],
[(9,10)(11,12)(13,14)(15,16),(1,3,2,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),"t16n1384"],
[(1,9)(2,10)(3,11)(4,12)(5,14,8,15)(6,13,7,16),
(1,4,2,3)(5,8,6,7)(9,11,10,12)(13,15,14,16),
(1,6,9,13,4,8,11,16)(2,5,10,14,3,7,12,15),"t16n1385"],
[(1,16,8,13,6,11,3,9,2,15,7,14,5,12,4,10),
(1,12,6,16,2,11,5,15)(3,9,8,14,4,10,7,13),(1,5,2,6)(3,7,4,8)(9,10)
(11,12)(13,14)(15,16),"t16n1386"],
[(9,10)(11,12)(13,14)(15,16),(1,3,2,4)(5,8,6,7)(9,11,10,12)(13,15,14,16),
(1,4)(2,3)(7,8)(11,12)(13,14),(1,5)(2,6)(3,7)(4,8)(9,16)(10,15)(11,13)
(12,14),(1,12,2,11)(3,10,4,9),"t16n1387"],
[(1,3,2,4)(5,6)(7,8)(9,12,10,11)(13,15,14,16),(1,3)(2,4)(5,6)(9,10)(15,16),
(1,15,11,7,4,14,9,6,2,16,12,8,3,13,10,5),"t16n1388"],
[(1,7,6,3,2,8,5,4)(9,10)(11,16)(12,15),
(1,5)(2,6)(7,8)(9,12,14,15,10,11,13,16),
(1,13,3,16,2,14,4,15)(5,9,7,11,6,10,8,12),"t16n1389"],
[(1,11,4,10,6,15,8,14,2,12,3,9,5,16,7,13),(1,8)(2,7)(3,5,4,6)(9,15)
(10,16)(11,13)(12,14),"t16n1390"],
[(1,13)(2,14)(3,16)(4,15)(5,10,6,9)(7,11)(8,12),
(1,12,14,16,2,11,13,15)(3,5,7,10)(4,6,8,9),
(1,14,2,13)(3,16,4,15)(5,10,6,9)(7,11)(8,12),"t16n1391"],
[(1,10,2,9)(3,11)(4,12)(5,13)(6,14)(7,16,8,15),
(1,15,13,12)(2,16,14,11)(3,9,7,5)(4,10,8,6),(1,10,2,9)(5,14,6,13)(11,12)
(15,16),"t16n1392"],
[(1,2)(3,7)(4,8)(9,15,14,11)(10,16,13,12),(1,14,6,10)(2,13,5,9)(3,12,8,15)
(4,11,7,16),(1,15,2,16)(3,10)(4,9)(5,12)(6,11)(7,13,8,14),"t16n1393"],
[(1,12,3,10,6,15,7,13)(2,11,4,9,5,16,8,14),(1,3,6,8)(2,4,5,7)(9,15,13,11)
(10,16,14,12),(1,7)(2,8)(3,5)(4,6)(9,11)(10,12)(13,16)(14,15),"t16n1394"],
[(1,3)(2,4)(5,6)(7,8)(9,10)(13,14),
(1,7,12,16,4,6,10,13,2,8,11,15,3,5,9,14),"t16n1395"],
[(1,3,2,4)(5,8)(6,7)(9,12,10,11),(1,8,9,15,3,5,11,14,2,7,10,16,4,6,12,13)
,"t16n1396"],
[(1,5,13,10,2,6,14,9)(3,7,15,11,4,8,16,12),(1,12)(2,11)(3,9)(4,10)
(5,13,7,16,6,14,8,15),(1,6,2,5)(3,8,4,7)(9,13,12,15,10,14,11,16),
"t16n1397"],
[(1,12,4,10,2,11,3,9)(5,13,8,16,6,14,7,15),(1,5,3,7)(2,6,4,8)(9,13,12,16)
(10,14,11,15),(1,3,2,4)(5,7,6,8)(9,11,10,12)(13,14)(15,16),"t16n1398"],
[(1,12,4,9,2,11,3,10)(5,15)(6,16)(7,14)(8,13),
(1,7,10,13,4,5,11,15)(2,8,9,14,3,6,12,16),"t16n1399"],
[(9,10)(13,14),(1,7,2,8)(3,6,4,5)(9,10)(11,12),
(1,8)(2,7)(3,5,4,6)(9,15,10,16)(11,14,12,13),
(1,9,7,12)(2,10,8,11)(3,16,6,13)(4,15,5,14),"t16n1400"],
[(1,2)(5,8)(6,7)(9,11,10,12)(13,14)(15,16),(1,7,12,16)(2,8,11,15)(3,5,10,14)
(4,6,9,13),(1,13,9,5,3,16,12,8)(2,14,10,6,4,15,11,7),"t16n1401"],
[(1,8,5,4)(2,7,6,3)(9,14,10,13)(11,15)(12,16),
(1,14,3,15,5,9,8,11,2,13,4,16,6,10,7,12),(1,7,5,3)(2,8,6,4)(9,13)
(10,14)(11,16,12,15),"t16n1402"],
[(1,12)(2,11)(3,14,4,13)(5,15)(6,16)(7,10,8,9),
(1,6)(2,5)(3,4)(7,8)(9,15,13,12)(10,16,14,11),
(1,7)(2,8)(3,5)(4,6)(9,15,10,16)(11,14,12,13),"t16n1403"],
[(3,7,4,8)(9,13)(10,14)(11,12),(1,16,2,15)(3,9,8,14,4,10,7,13)(5,11,6,12),
(1,4,6,8)(2,3,5,7)(9,16,13,11)(10,15,14,12),"t16n1404"],
[(1,2)(15,16),(1,3,5,8,10,11,14,16,2,4,6,7,9,12,13,15),
(1,10)(2,9)(3,4)(5,13,6,14)(7,8)(15,16),"t16n1405"],
[(1,8,2,7)(3,13,4,14)(5,11)(6,12)(9,16,10,15),(1,4)(2,3)(5,16,6,15)(7,11)
(8,12)(9,13)(10,14),(1,16)(2,15)(3,6,4,5)(7,8)(9,10),"t16n1406"],
[(1,2)(3,8,4,7)(5,6)(9,13)(10,14)(11,12),(1,16,2,15)(3,13,8,9,4,14,7,10)
(5,12,6,11),(1,3,5,7,2,4,6,8)(9,12)(10,11)(13,16)(14,15),"t16n1407"],
[(1,11,16,5,2,12,15,6)(3,9,14,7,4,10,13,8),(1,14,4,15,2,13,3,16)(5,7)(6,8)
(9,10),(1,9)(2,10)(3,12,4,11)(5,13)(6,14)(7,15,8,16),"t16n1408"],
[(1,16,2,15)(3,13,4,14)(5,6)(7,8)(9,12,10,11),
(1,13,4,15,2,14,3,16)(5,9,8,12,6,10,7,11),
(1,12,4,10)(2,11,3,9)(5,16,6,15)(7,13)(8,14),"t16n1409"],
[(1,9,4,16,2,10,3,15)(5,14,8,12,6,13,7,11),
(1,16,5,11,2,15,6,12)(3,9,7,13,4,10,8,14),(1,4)(2,3)(5,8,6,7)(13,14),
"t16n1410"],
[(1,11,2,12)(3,10)(4,9)(5,16,8,14)(6,15,7,13),(1,16,11,6,4,14,9,8)
(2,15,12,5,3,13,10,7),"t16n1411"],
[(9,10)(13,14),(1,2)(3,4),(1,6)(2,5)(3,7)(4,8)(9,10)(11,12),
(1,7,2,8)(3,6,4,5)(9,13,10,14)(11,12),
(1,11,5,15,2,12,6,16)(3,9,7,14,4,10,8,13),"t16n1412"],
[(1,12,3,9)(2,11,4,10)(5,16)(6,15)(7,13)(8,14),(1,13,2,14)(3,15,4,16)(5,7)
(6,8),(1,11,4,10)(2,12,3,9)(5,13)(6,14)(7,15)(8,16),"t16n1413"],
[(1,7,16,10)(2,8,15,9)(3,13,6,11,4,14,5,12),(1,14)(2,13)(3,7)(4,8)(5,10)
(6,9)(11,15)(12,16),(1,5)(2,6)(3,16,4,15)(7,12,8,11)(9,13,10,14),
"t16n1414"],
[(1,9)(2,10)(3,16,8,11,4,15,7,12)(5,13)(6,14),(1,11,5,16,2,12,6,15)(3,9)
(4,10)(7,13)(8,14),(1,13,2,14)(3,16,8,12)(4,15,7,11)(5,9)(6,10),
"t16n1415"],
[(1,13,7,15,6,10,3,11,2,14,8,16,5,9,4,12),(1,8)(2,7)(3,6)(4,5)
(9,11,10,12)(13,16,14,15),(1,13,8,16,5,9,4,12,2,14,7,15,6,10,3,11),
"t16n1416"],
[(9,10)(11,12)(13,14)(15,16),(1,2)(5,6)(9,10)(13,14),(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,12,2,11)(3,10,4,9)(5,7)
(6,8),"t16n1417"],
[(1,7,2,8)(3,6)(4,5)(9,15)(10,16)(11,13)(12,14),(1,9,6,13)(2,10,5,14)(3,11)
(4,12)(7,16,8,15),"t16n1418"],
[(1,9)(2,10)(3,16,8,12,4,15,7,11)(5,13,6,14),
(1,13)(2,14)(3,15,7,12)(4,16,8,11)(5,9)(6,10),
(1,11,6,16,2,12,5,15)(3,9,4,10)(7,14)(8,13),"t16n1419"],
[(1,2)(15,16),(1,3,6,16)(2,4,5,15)(7,10,11,14,8,9,12,13),
(1,10)(2,9)(3,4)(5,13,6,14)(7,8)(15,16),"t16n1420"],
[(1,16,3,13)(2,15,4,14)(5,8,6,7)(11,12),
(1,11,16,8,2,12,15,7)(3,10,13,6,4,9,14,5),
(1,9,4,11,2,10,3,12)(5,14,8,15,6,13,7,16),"t16n1421"],
[(1,4,2,3)(7,8)(9,11,10,12)(13,16,14,15),
(1,16,11,7,4,14,10,6,2,15,12,8,3,13,9,5),"t16n1422"],
[(1,7,12,14,3,6,9,16)(2,8,11,13,4,5,10,15),
(1,8,10,14,3,5,11,16)(2,7,9,13,4,6,12,15),
(1,14,3,15,2,13,4,16)(5,12,8,9,6,11,7,10),"t16n1423"],
[(1,12,9,4)(2,11,10,3)(5,16,14,8)(6,15,13,7),(1,2)(3,12,4,11)(7,16)(8,15)
(9,10)(13,14),(1,14,9,6)(2,13,10,5)(3,7,11,15,4,8,12,16),"t16n1424"],
[(1,11,6,16)(2,12,5,15)(3,14,7,9,4,13,8,10),(1,5)(2,6)(3,8,4,7)(9,10)
(15,16),(1,7)(2,8)(3,6)(4,5)(9,13)(10,14)(11,16,12,15),"t16n1425"],
[(1,7,2,8)(3,5)(4,6)(9,13,11,15,10,14,12,16),
(1,7,14,12,2,8,13,11)(3,5,16,9,4,6,15,10),
(1,11,2,12)(3,9)(4,10)(5,14,7,16,6,13,8,15),"t16n1426"],
[(1,3,14,15,10,11,5,7,2,4,13,16,9,12,6,8),(1,2)(3,12)(4,11)(7,16)(8,15)
(9,10)(13,14),"t16n1427"],
[(1,9,2,10)(5,14)(6,13)(15,16),(1,15,6,3,10,8,14,12)(2,16,5,4,9,7,13,11),
(1,9,2,10)(3,11,4,12)(5,13)(6,14)(7,15)(8,16),"t16n1428"],
[(9,10)(11,12),(1,16)(2,15)(3,10)(4,9)(5,11)(6,12)(7,14)(8,13),
(1,8,6,3)(2,7,5,4)(11,12)(15,16),"t16n1429"],
[(1,15,11,7,3,14,10,6,2,16,12,8,4,13,9,5),
(1,16,10,6,2,15,9,5)(3,14,11,8,4,13,12,7),(1,11,4,10,2,12,3,9)(5,6)
(13,14),"t16n1430"],
[(1,4)(2,3)(5,7,6,8)(9,12,14,16,10,11,13,15),(1,3,2,4)(5,8)(6,7)
(9,12,14,15,10,11,13,16),(1,16,2,15)(3,14,7,9,4,13,8,10)(5,11)(6,12),
"t16n1431"],
[(1,10)(2,9)(3,11)(4,12)(5,6)(7,8)(13,16,14,15),(1,14,4,16,2,13,3,15)
(5,12,6,11)(7,10,8,9),(1,3,2,4)(5,7,6,8)(9,10)(11,12)(13,16,14,15),
"t16n1432"],
[(1,5,3,8)(2,6,4,7)(9,16,10,15)(11,14)(12,13),(1,13,4,15,2,14,3,16)
(5,9,7,11,6,10,8,12),(1,15,4,13,2,16,3,14)(5,6)(9,12)(10,11),"t16n1433"]
,
[(1,4,2,3)(5,15,7,14,6,16,8,13)(9,12,10,11),(1,5,3,8)(2,6,4,7)(9,15,12,14
)(10,16,11,13),(1,13,12,5,4,15,9,8,2,14,11,6,3,16,10,7),"t16n1434"],
[(1,13,2,14)(3,12,8,16)(4,11,7,15)(5,9,6,10),(1,6,2,5)(7,8)(9,13)(10,14)
(11,12)(15,16),(1,12)(2,11)(3,13,8,9)(4,14,7,10)(5,15)(6,16),"t16n1435"],
[(1,5,2,6)(3,7)(4,8)(9,14,12,16,10,13,11,15),
(1,13,4,16,2,14,3,15)(5,12,8,10,6,11,7,9),(1,4)(2,3)(5,6)(7,8)(9,11)
(10,12)(13,16)(14,15),"t16n1436"],
[(1,6,4,7,2,5,3,8)(9,13,10,14)(11,15)(12,16),
(1,6,4,7)(2,5,3,8)(9,13,12,16)(10,14,11,15),
(1,10,4,12)(2,9,3,11)(5,13,7,15)(6,14,8,16),"t16n1437"],
[(1,8,3,6,2,7,4,5)(9,14,12,16,10,13,11,15),
(1,13,2,14)(3,16)(4,15)(5,10,8,11,6,9,7,12),(1,5,3,8,2,6,4,7)(9,16)
(10,15)(11,13,12,14),"t16n1438"],
[(1,12,2,11)(3,9,4,10)(5,14,6,13)(7,15,8,16),(1,2)(3,4)(9,10)(11,12)(13,15)
(14,16),(1,6,3,7,2,5,4,8)(9,15,11,13,10,16,12,14),"t16n1439"],
[(1,10)(2,9)(3,12)(4,11)(5,15,8,13,6,16,7,14),(1,14,3,15,2,13,4,16)(11,12),
"t16n1440"],
[(1,11,4,10)(2,12,3,9)(5,14)(6,13)(7,16,8,15),(1,7,15,10,2,8,16,9)
(3,5,13,12)(4,6,14,11),"t16n1441"],
[(1,4)(2,3)(5,15,8,14,6,16,7,13)(9,11)(10,12),(1,5,2,6)(3,8)(4,7)(9,15)
(10,16)(11,13,12,14),(1,9,2,10)(3,12,4,11)(13,16,14,15),"t16n1442"],
[(1,5,2,6)(3,7)(4,8)(9,14)(10,13)(11,15,12,16),(1,12)(2,11)(3,10)(4,9)(5,13)
(6,14)(7,16)(8,15),(1,16,4,13)(2,15,3,14)(5,11)(6,12)(7,10,8,9),
"t16n1443"],
[(1,16)(2,15)(3,13)(4,14)(5,6)(7,8)(11,12),(1,10,16,8)(2,9,15,7)
(3,11,13,5,4,12,14,6),(1,6,2,5)(3,7,4,8)(9,15,10,16)(11,14,12,13),
"t16n1444"],
[(1,2)(3,4)(5,7)(6,8)(9,11)(10,12)(13,15)(14,16),(1,9,4,11)(2,10,3,12)(7,8)
(13,15,14,16),(1,16,3,13)(2,15,4,14)(5,10,7,12)(6,9,8,11),"t16n1445"],
[(1,10,3,11,2,9,4,12)(5,13,8,15,6,14,7,16),(1,7,13,10,2,8,14,9)(3,5,16,12)
(4,6,15,11),(1,3)(2,4)(5,10,7,11,6,9,8,12),"t16n1446"],
[(1,14,3,15,2,13,4,16)(5,8,6,7)(9,10),(1,8,4,6,2,7,3,5)(9,13)(10,14)
(11,16)(12,15),"t16n1447"],
[(1,4)(2,3)(5,10)(6,9)(7,11)(8,12)(13,15,14,16),
(1,12,16,7,4,9,13,6)(2,11,15,8,3,10,14,5),"t16n1448"],
[(1,14)(2,13)(3,11)(4,12)(5,10,6,9)(7,16,8,15),(1,2)(3,8)(4,7)(9,11,10,12)
(13,16,14,15),(1,6,2,5)(3,7)(4,8)(9,10)(11,12)(13,14),"t16n1449"],
[(1,6,14,10)(2,5,13,9)(3,7,15,11,4,8,16,12),(1,12)(2,11)(3,9,4,10)(5,14)
(6,13)(7,16,8,15),(1,6,3,7)(2,5,4,8)(9,15,12,13)(10,16,11,14),"t16n1450"
],[(5,10,6,9)(7,11,8,12)(15,16),(1,4)(2,3)(5,7)(6,8)(13,14)(15,16),
(1,10,3,11,2,9,4,12)(5,16,7,13,6,15,8,14),"t16n1451"],
[(1,5)(2,6)(3,7,4,8)(9,10)(15,16),(1,12,7,9)(2,11,8,10)(3,14,5,16)
(4,13,6,15),(1,4)(2,3)(5,7)(6,8)(9,14)(10,13)(11,16)(12,15),"t16n1452"],
[(1,16,4,14,2,15,3,13)(5,10)(6,9)(7,12)(8,11),
(1,5,2,6)(3,7,4,8)(9,13,10,14)(11,16,12,15),(3,4)(5,8)(6,7),"t16n1453"],
[(1,11)(2,12)(3,9,4,10)(5,13,6,14)(7,15)(8,16),
(1,10,2,9)(3,12,4,11)(5,7,6,8)(13,14)(15,16),
(1,13,4,16)(2,14,3,15)(5,9,7,11)(6,10,8,12),"t16n1454"],
[(1,6,11,14,3,7,10,16)(2,5,12,13,4,8,9,15),(1,12,2,11)(3,10,4,9)(7,8)
(13,16,14,15),(5,6)(9,12,10,11)(13,16)(14,15),"t16n1455"],
[(1,15,11,6,4,13,9,8)(2,16,12,5,3,14,10,7),(1,3,2,4)(5,16)(6,15)(7,14)
(8,13)(9,11,10,12),(1,5,10,15)(2,6,9,16)(3,8,12,13)(4,7,11,14),"t16n1456"
],[(1,8,2,7)(3,5)(4,6)(9,15,12,13,10,16,11,14),(1,3)(2,4)(11,12)(13,14),
(1,16,2,15)(3,14,4,13)(5,9,7,12)(6,10,8,11),"t16n1457"],
[(1,2)(3,4)(5,16,6,15)(7,14,8,13)(9,11,10,12),
(1,7,4,6)(2,8,3,5)(9,16,10,15)(11,14)(12,13),
(1,9,3,12,2,10,4,11)(5,16,6,15)(7,13,8,14),"t16n1458"],
[(3,4)(5,12,7,9)(6,11,8,10)(13,16)(14,15),(1,10,2,9)(3,12,4,11)(5,16)(6,15)
(7,13)(8,14),(1,10,4,11)(2,9,3,12)(5,15,8,13)(6,16,7,14),"t16n1459"],
[(1,16)(2,15)(3,14)(4,13)(9,11,10,12),
(1,9)(2,10)(3,12,4,11)(5,13,8,16,6,14,7,15),"t16n1460"],
[(1,6)(2,5)(3,15,4,16)(7,12,8,11)(9,13,10,14),
(1,7)(2,8)(3,14,4,13)(5,11,6,12)(9,16)(10,15),
(1,4,5,16)(2,3,6,15)(7,10,12,14)(8,9,11,13),"t16n1461"],
[(1,11,6,15,10,3,14,7,2,12,5,16,9,4,13,8),(1,15,2,16)(3,13,4,14)(5,11,6,12)
(7,9,8,10),(1,13,2,14)(3,12,4,11)(5,10,6,9)(7,8)(15,16),"t16n1462"],
[(1,12,9,3)(2,11,10,4)(5,15,13,7,6,16,14,8),(1,5,9,14,2,6,10,13)(3,7,12,15)
(4,8,11,16),(1,12,2,11)(3,9,4,10)(5,15,6,16)(7,13,8,14),"t16n1463"],
[(1,8,4,5,2,7,3,6)(9,16,11,13,10,15,12,14),(1,5,16,9,2,6,15,10)(3,7,13,11)
(4,8,14,12),(1,15,4,14,2,16,3,13)(5,9,8,12,6,10,7,11),"t16n1464"],
[(1,8,13,4,9,15,5,12,2,7,14,3,10,16,6,11),(1,14,2,13)(3,11,4,12)(5,9,6,10)
(15,16),"t16n1465"],
[(1,6,2,5)(3,8)(4,7)(9,14,11,16)(10,13,12,15),(1,10,3,12,2,9,4,11)(5,6)
(7,8)(13,16,14,15),(1,9,2,10)(3,12,4,11)(5,13,8,16,6,14,7,15),"t16n1466"]
,[(1,4,2,3)(5,6)(11,12)(15,16),(1,5,11,14,2,6,12,13)(3,8,9,16,4,7,10,15),
(1,8,2,7)(3,6,4,5)(9,16,10,15)(11,13,12,14),"t16n1467"],
[(1,10,3,11)(2,9,4,12)(5,16,6,15)(7,14)(8,13),(1,13,4,15)(2,14,3,16)(5,11)
(6,12)(7,10,8,9),(13,16,14,15),"t16n1468"],
[(1,12,6,16,9,3,14,8,2,11,5,15,10,4,13,7),(1,10)(2,9)(3,16,4,15)(7,12,8,11)
,"t16n1469"],
[(1,13,4,16)(2,14,3,15)(5,9,8,11)(6,10,7,12),(1,13,4,15,2,14,3,16)
(5,9,6,10)(7,11,8,12),(1,11,2,12)(3,9)(4,10)(5,14,6,13)(7,15)(8,16),
"t16n1470"],
[(1,16,2,15)(3,14)(4,13)(5,10)(6,9)(7,12,8,11),(1,10)(2,9)(3,12,4,11)(5,16)
(6,15)(7,13,8,14),(1,2)(3,4)(5,14,7,15,6,13,8,16)(9,10),"t16n1471"],
[(1,11)(2,12)(3,9)(4,10)(5,13)(6,14)(7,16)(8,15),
(1,16,3,14)(2,15,4,13)(5,9,8,11)(6,10,7,12),(1,3)(2,4)(7,8)(9,10)(15,16)
,"t16n1472"],
[(1,6,12,15,4,8,10,13)(2,5,11,16,3,7,9,14),(1,16,2,15)(3,13,4,14)(5,9,6,10)
(7,11,8,12),(1,4)(2,3)(5,8,6,7)(9,10)(11,12)(13,15,14,16),"t16n1473"],
[(1,7)(2,8)(3,6)(4,5)(9,13,12,16)(10,14,11,15),
(1,4)(2,3)(5,9,6,10)(7,12,8,11)(13,14),"t16n1474"],
[(1,10,2,9)(3,12,4,11)(5,6)(7,8)(13,15,14,16),(1,10,4,12)(2,9,3,11)(5,6)
(7,8)(15,16),(1,15,12,6,3,13,9,8,2,16,11,5,4,14,10,7),"t16n1475"],
[(1,11)(2,12)(3,9)(4,10)(5,16,8,14)(6,15,7,13),(1,16,3,14)(2,15,4,13)(5,7)
(6,8)(9,10),"t16n1476"],
[(1,4,2,3)(5,7,6,8)(9,12,10,11)(13,14)(15,16),(1,11,3,9,2,12,4,10)(7,8)
(15,16),(1,13,4,16,2,14,3,15)(5,10,8,11,6,9,7,12),"t16n1477"],
[(1,2)(3,4)(5,14,6,13)(7,15,8,16)(9,11)(10,12),(1,11,3,10)(2,12,4,9)(5,8)
(6,7)(13,15)(14,16),(1,7,12,16,3,6,9,13)(2,8,11,15,4,5,10,14),"t16n1478"]
,
[(1,7,9,16)(2,8,10,15)(3,6,12,13)(4,5,11,14),(1,12,9,3,2,11,10,4)(5,16,14,
8,6,15,13,7),(1,15)(2,16)(3,5,4,6)(7,10,8,9)(11,14,12,13),"t16n1479"],
[(1,4)(2,3)(5,13)(6,14)(7,16)(8,15)(9,12)(10,11),
(1,11,2,12)(3,10,4,9)(5,7,6,8)(13,14)(15,16),
(1,6,9,16,3,8,11,13,2,5,10,15,4,7,12,14),"t16n1480"],
[(1,14,15,12,2,13,16,11)(3,7,5,9)(4,8,6,10),(3,4)(7,9)(8,10)(11,13,12,14)
(15,16),(1,5)(2,6)(3,16,4,15)(7,12,8,11)(9,14,10,13),"t16n1481"],
[(1,6,3,8,2,5,4,7)(9,14)(10,13)(11,15,12,16),
(1,5,15,10,4,8,14,12,2,6,16,9,3,7,13,11),"t16n1482"],
[(1,15,11,5,4,14,10,7,2,16,12,6,3,13,9,8),(3,4)(5,16)(6,15)(7,14)(8,13)
(9,11)(10,12),(1,11)(2,12)(3,9,4,10)(5,13)(6,14)(7,15,8,16),"t16n1483"],
[(1,4,5,16)(2,3,6,15)(7,9,11,14)(8,10,12,13),(1,5)(2,6)(3,16)(4,15)(7,12)
(8,11)(9,13,10,14),(1,10,5,13)(2,9,6,14)(3,7,15,11)(4,8,16,12),"t16n1484"
],
[(1,13,6,9,2,14,5,10)(3,11,8,16,4,12,7,15),(1,14,3,16,6,10,8,12)(2,13,4,15,
5,9,7,11),(1,2)(9,13,10,14)(11,16)(12,15),"t16n1485"],
[(1,15,2,16)(3,14,4,13)(5,12)(6,11)(7,10)(8,9),
(1,16,2,15)(3,13)(4,14)(5,12,6,11)(7,10)(8,9),
(1,7,14,3,9,16,5,11)(2,8,13,4,10,15,6,12),"t16n1486"],
[(1,2)(3,8,4,7)(5,13)(6,14)(11,16,12,15),
(1,16,13,12,9,7,6,3)(2,15,14,11,10,8,5,4),"t16n1487"],
[(1,11)(2,12)(3,10,4,9)(5,13)(6,14)(7,15,8,16),(1,2)(5,16)(6,15)(7,13)(8,14)
(9,12,10,11),(1,8,10,16,4,6,11,14)(2,7,9,15,3,5,12,13),"t16n1488"],
[(1,12,9,3,2,11,10,4)(5,7,14,15,6,8,13,16),(1,6,10,13)(2,5,9,14)(3,8,12,16)
(4,7,11,15),(1,14,2,13)(3,4)(5,9)(6,10)(7,15,8,16),"t16n1489"],
[(1,12,2,11)(3,10,4,9)(5,7,6,8)(13,16)(14,15),
(1,15,13,11,10,7,6,4)(2,16,14,12,9,8,5,3),"t16n1490"],
[(1,10,2,9)(3,11,4,12)(5,14)(6,13)(7,16)(8,15),(1,9)(2,10)(3,15)(4,16)(7,11)
(8,12),(1,12,10,4,2,11,9,3)(5,7,13,15,6,8,14,16),"t16n1491"],
[(2,4,3)(5,14,10)(6,15,12)(7,13,11)(8,16,9),
(1,3,4)(5,14,10,7,13,11)(6,15,12,8,16,9),(1,14,10,4,16,9)(2,15,12,3,13,11)
(5,8,6),"t16n1492"],
[(5,15)(6,16)(7,12,14,8,11,13)(9,10),(1,4)(2,3)(7,10)(8,9),
(1,14,5,8,16,11,3,9)(2,13,6,7,15,12,4,10),"t16n1493"],
[(1,9)(2,10)(3,14)(4,13)(5,8,16,11)(6,7,15,12),
(1,6,15,4)(2,5,16,3)(9,12,13)(10,11,14),(1,16)(2,15)(3,6)(4,5)(7,8)
(9,11,13,10,12,14),"t16n1494"],
[(1,12,6,9)(2,11,5,10)(3,15)(4,16)(7,14)(8,13),
(1,15,7,10,3,12,5,14)(2,16,8,9,4,11,6,13),"t16n1495"],
[(1,13,3,9,16,7,2,14,4,10,15,8)(5,11,6,12),(1,2)(3,4)(5,16)(6,15)(7,10,12)
(8,9,11),"t16n1496"],
[(1,9,5,8,4,14,16,12)(2,10,6,7,3,13,15,11),(1,2)(3,6)(4,5)(7,12,9,8,11,10
)(13,14)(15,16),"t16n1497"],
[(1,14,6,15,4,11)(2,13,5,16,3,12)(7,9)(8,10),(1,6,7,4)(2,5,8,3)(9,14)
(10,13),(1,11,3,16)(2,12,4,15)(5,10,7,14)(6,9,8,13),"t16n1498"],
[(1,10,4,13)(2,9,3,14)(5,11,6,12)(7,15)(8,16),(1,15,5,12)(2,16,6,11)(3,14)
(4,13)(7,10,8,9),"t16n1499"],
[(1,10,3,12,5,15,2,9,4,11,6,16)(7,14,8,13),(3,6)(4,5)(7,8)(11,12)(13,16)
(14,15),(3,7)(4,8)(5,6)(9,16,11,13,10,15,12,14),"t16n1500"]];
TRANSPROPERTIES[16]{[1201..1500]}:=
[
[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],[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,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,
"55s02055000A82As0C01004080"
,[-16,-8,2032],[-2016,2064],[-16,256,2032,2064],[4,[4,2008,2064,2128,3256,5032]],[21,[16]]],
[1024,0,1,1,
"55s05A802"
,[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]]],
[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]],
[[-5004,-3002,1016],[-3008,1016],[-3008,1016],
[-3004,16],[-1002,-8,-4]]]]],
[1024,0,1,1,
"55s03A0000802s0F80"
,[-16,-8,32,64],[16,1064,2032],[1032,1128,2016,2064],
[6322,[[-1016,16,64,1128,3032],[-1016,16,64,1128,3032],[-101\
6,16,128,256,1032],[-1016,16,128,256,1032],
[-1016,32,128,256,2016],[16,32,1128,2064],
[256,2016,2064],[256,2016,2064]]]],
[1024,0,1,1,
"55s05A802s0F80"
,[-16,-8,32,64],[16,128,2032],[128,256,1064,2016],[4,[-8,-4,512,1064,1256,2016,2032,3128]],[6,[[-8,-2,1,8,1024,2016,3512,4032,5256,6128,10064]]]],
[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],[128],[1004],[1004
],[1004],[1016],[1016],[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,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,
"55s052802s0D010080"
,[-16,-8,2032],[16,32,2064],[16,256,2032,2064],[4,[4,2008,2064,2128,3256,5032]],[6,[[2001,3008,4128,5256,5512,11032,11064]]],[208,[21]]],
[1024,0,1,1,
"55s052802s0D01"
,[-16,-8,2032],[16,32,2064],[16,256,2032,2064],[4,[4,2008,2064,2128,3016,3032,3256]],[208,[21]]],
[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],[128],[1004],
[1004],[1004],[1016],[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,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,
"55s050802s0E4080"
,[8,16,2032],[-16,6032],[-6016,6064],[21,[-1008]]],
[1024,0,1,-1,
"55s05A802s0C01004080"
,[-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,4064,4512,5128,8256,13032]]],
[2322,[[16,256,1064,2032],[16,256,1064,2032],[16,256,1064,2\
032]]]],
[1024,0,1,-1,
"55s05A80As0C010040"
,[-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,4064,4512,5128,8256,13032]]],
[2322,[[16,32,256,2064],[16,32,256,2064],[16,256,1064,2032
]]],
[4322,[[-1016,16,128,1032,3064],[-1016,16,1032,1064,1128],[-\
1016,16,1032,2128],[16,32,256,2064],[16,32,256,2064],
[16,256,1064,2032]]]],
[1024,0,1,1,
"55s052802s0F80"
,[-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,8064,8128]]]],
[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,[30]]],
[1024,0,1,1,
"55s0320002812s0F80"
,[-16,-8,32,64],[16,32,64,128],[16,32,1064,2128],[4,[-8,-4,32,256,512,2016,4064,4128]],[6,[[-8,-2,1,8,1024,2016,2512,6032,6256,7128,11064]]]],
[1024,0,1,-1,
"55s052802s0E4080"
,[8,16,32,64],[-16,32,2064],[-16,256,2032,2064],[4,[-8,-4,16,2064,2256,4128,5032]]],
[1024,0,1,-1,
"55s05A802s0E40"
,[8,16,32,64],[-16,32,2064],[-16,256,2032,2064],[21,[-1008]],[6,[[-1004,-8,-2,1,16,5032,5256,5512,7128,8064]]]],
[1024,0,1,1,
"55s05A812s0F80"
,[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]]],[208,[29]],
[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],[1064,11032],[3032],
[3032],[3032,7016],[7016]]]]],
[1024,0,1,1,
"55s052802s0D01"
,[-16,-8,2032],[16,32,2064],[16,256,2032,2064],[4,[4,1016,2008,2064,2128,3256,4032]],[6,[[1016,2001,3008,4128,4512,7256,9064,14032]]],[208,[21]],
[6322,[[-1016,16,128,4064],[-1016,16,128,4064],[-1016,16,103\
2,1064,1128],[-1016,16,1032,1064,1128],
[-1016,16,1032,1064,1128],[16,32,256,2064],
[16,32,256,2064],[16,32,256,2064],[16,32,256,2064],
[16,256,1064,2032],[16,256,1064,2032],
[64,1128,2016,3032],[64,1128,2016,3032],
[1032,1064,1128,2016],[1032,1064,1128,2016]]]],
[1024,0,1,1,
"55s03A000A802s0F80"
,[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,1032,2016,3064],
[128,1032,2016,3064],[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,
"55s050802s0E40"
,[8,1032,2016],[-16,6032],[-6016,6064],[4,[-1004,4,1008,1064,6128,23032]],[21,[-1008]],[22,[1004],[1008],[1008],[1008],[1016],[1016]],
[6,[[-1004,-1002,4,1008,1512,2001,2256,7064,11016,21128,33032]
]]],
[1024,0,1,-1,
"55s02015000A802s0C01004080s0404"
,[-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]],[23,[16],[32],[32],[32],[64],[64],[256],[1032]]],
[1024,0,1,-1,
"55s050802s0F80s0404"
,[-16,-8,2032],[-16,6032],[-6016,6064],[4,[-2008,-4,64,7128,21032]],[21,[-1008]],[6,[[-3016,-2008,-1004,-2,1,256,2512,3064,24128,33032]]]],
[1024,0,1,1,
"55s050802s0F80"
,[-2008,32,64],[2016,2064],[16,256,8032],[208,[27,27,27]]],
[1024,0,1,-1,
"57s05B802s0C05s0280s0404"
,[-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,5256,6512,8064]]]],
[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,2128,4064]],[6,[[-1004,-8,-2,1,16,1024,2512,5032,6256,7128,12064]]]],
[1024,0,1,-1,
"55s03A000A802s0F80s0404"
,[-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,2512,5064,6128,7032,8256]]],
[4322,[[-1016,16,256,1032,1064],[-1016,16,1032,1064,1128],[-\
1016,16,1032,1064,1128],[16,256,1064,2032]]]],
[1024,0,1,1,
"55s03A000A802s0F80"
,[8,1032,2016],[16,1064,2032],[1032,1128,2016,2064],[4,[-1004,4,1008,1256,2128,7032,9064]],
[6,[[-1004,-1002,4,512,1008,2001,3016,4128,12256,16064,23032]]\
]],
[1024,0,1,-1,
"55s031000080As0E4080"
,[8,1032,2016],[-16,6032],[-6016,6064],[4,[-1004,4,1008,1064,6128,23032]],[21,[-1008]],[22,[-1008],[-1004],[16],[16],[1016],[1016]]],
[1024,0,1,-1,
"55s05A80As0C01004080"
,[-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,256,1064,2032],[16,256,1064,203\
2]]]],
[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,3512,7256,8128,9064,15032]]]],
[1024,0,1,1,
"55s052802s0D010080"
,[-16,-8,2032],[16,32,2064],[16,256,2032,2064],[4,[4,1016,2008,2064,2128,3256,4032]],[6,[[1016,2001,3008,4128,4512,7256,9064,14032]]],[208,[21]],
[6322,[[-1016,16,128,4064],[-1016,16,128,4064],[-1016,16,103\
2,1064,1128],[-1016,16,1032,1064,1128],
[-1016,16,1032,1064,1128],[16,32,256,2064],
[16,32,256,2064],[16,32,256,2064],[16,32,256,2064],
[16,256,1064,2032],[16,256,1064,2032],
[256,1032,1064,2016],[256,1032,1064,2016],
[1032,2016,2128],[1032,2016,2128]]]],
[1024,0,1,-1,
"55s05A802s0C15004080s0404"
,[-16,-8,32,64],[-16,128,2032],[-2016,128,256,1064],[4,[-8,-4,16,512,1064,1256,3032,3128]],[22,[8],[16],[32],[1032]],[6,[[-8,-2,1,8,16,1024,1032,4256,4512,6128,8064]]],
[10164,[[[-3008,16,1008],[-3008,5016],[-3008,5016],[-3008,5\
016],[-3004],[-3002,16,1004],[-3002,16,1004],
[-3002,16,1004],[-4,3001],[-2,1001],[16,3004],
[32,1016],[64,3016,3032],[1064,3032],[1064,11032],
[3008,5016]]]],[2169,[[-16,128,2032]]]],
[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,3512,6256,8064,10128,16032]]]],
[1024,0,1,1,
"55s05A802s0F80"
,[-16,-8,32,64],[16,128,2032],[128,256,1064,2016],[4,[-8,-4,64,512,1256,2016,3128,4032]]],
[1024,0,1,-1,
"55s05A802s0E40"
,[8,64,2016],[-16,1064,2032],[-2016,1032,1128,2064],[4,[-2004,16,1256,2128,5032,10064]],[21,[-1008]],[6,[[-2004,-2002,1,1024,4016,9256,10128,11032,14064]]]],
[1024,0,1,1,
"55s052802s0F80"
,[-16,-8,32,64],[16,32,2064],[16,256,2032,2064],[4,[-8,-4,2016,2064,2128,3256,4032]],[208,[16]]],
[1024,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,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],[1128,2016,2064],[1128,2016,2064],
[2016,3064,5032],[2016,3064,5032]]]],
[1024,0,1,1,
"55s03A0002802s0F80"
,[-16,-8,32,64],[16,32,2064],[16,256,2032,2064],[4,[-8,-4,2016,2032,2128,3064,3256]],[208,[16]],
[10164,[[[-3004,1008,1016],[-3004,1008,1016],[-3004,1008,1016
],[-3002,1004],[-1004,8],[-1004,8],
[-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,
"55s05A802s0C15004080s0404"
,[-16,-8,32,64],[-16,128,2032],[-2016,128,256,1064],[4,[-8,-4,16,512,1064,1256,3032,3128]],[22,[8],[16],[32],[1032]],[6,[[-8,-2,1,8,16,1032,4256,5128,6512,10064]]]],
[1024,0,1,1,
"55s03A0002802s0F80"
,[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],
[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,2016,5064],[1032,2016,5064],[1128,2016,2064]]]],
[1024,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,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],
[2032,9016],[3001],[3004,5008],[3004,5008]]]],
[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,
"55s03A000A802s0F80"
,[-16,-8,32,64],[16,32,2064],[16,256,2032,2064],[4,[-8,-4,16,2128,3032,3064,3256]],[6,[[-8,-2,1,8,16,1024,3512,5032,5128,6256,8064]]],[208,[16]],
[4322,[[-1016,16,128,256,1032],[-1016,16,1032,2128],[-1016,1\
6,1032,2128],[16,32,1128,2064]]]],
[1024,0,1,1,
"55s05A802s0F80"
,[-16,-8,32,64],[16,32,2064],[16,256,2032,2064],[4,[-8,-4,16,2128,3032,3064,3256]],[6,[[-8,-2,1,8,16,4128,5032,5512,6256,10064]]],[208,[16]]],
[1024,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],
[1032,2016,5064],[1032,2016,5064]]]],
[1024,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,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],
[2032,9016],[3001],[3004,5008],[3004,5008]]]],
[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,
"55s032000A812s0D010080"
,[-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,3128,4032,4512,5256,8064]]],[208,[30]]],
[1024,0,1,1,
"55s0320002802s0F80"
,[-16,-8,32,64],[16,32,2064],[16,1128,2032,2064],[4,[-8,-4,16,1128,2256,3032,9064]],
[6322,[[-1016,16,128,2064,3032],[-1016,32,128,256,2016],[16,
32,256,2064],[16,32,256,2064],[16,32,1128,2064]]]],
[1024,0,1,-1,
"55s0350001802s0F80s0404"
,[-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,1512,9256,10128,13064,14032]]]],
[1024,0,1,-1,
"55s0350001802s0F80s0404"
,[-16,-8,32,64],[-16,32,2064],[-16,1128,2032,2064],[22,[8],[16],[32],[1032]],[6,[[-1016,-8,-2,1,8,16,1024,5128,6032,12256,15064]]]],
[1024,0,1,-1,
"7Fs03A000180As0F80s0404"
,[-16,-8,32,64],[-16,32,2064],[-16,256,1064,4032],[21,[16]]],
[1024,0,1,-1,
"5Fs031000780As0E4080"
,[8,64,2016],[-16,128,2032],[-2016,1064,2128],[4,[-2004,16,512,3032,5064,5128]],[22,[8],[16],[16],[16],[1032]],[6,[[-2004,-2002,1,16,1024,2512,4256,10128,11032,11064]]]],
[1024,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,11128,14064,15032]]\
]],
[1024,0,1,-1,
"57s035000182As0F80s0404"
,[-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,512,1024,4032,7128,9256,16064]]]],
[1024,0,1,-1,
"55s05A802s0C050240"
,[8,16,32,64],[-16,32,64,128],[-16,32,128,256,1064],[4,[-8,-4,16,256,512,1032,2064,5128]],[22,[8],[16],[1016],[1032]],[6,[[-1004,-8,-2,1,16,1024,2256,3032,4512,9064,9128]]],
[10164,[[[-3008,16,1008],[-3008,5016],[-3008,5016],[-3008,5\
016],[-3004],[-3004,16],[-3004,1008,1016],[-1004,16,1004],
[-1002,-4],[-2,1001],[32,1016],[64,1032],
[64,1032],[64,3016,3032],[1064,11032],[3008,5016]]
]],[2169,[[16,128,2032]]]],
[1024,0,1,1,
"15s052812s0D010080"
,[-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,[35]]],
[1024,0,1,1,
"55s05A802s0C0A010080"
,[-16,-8,32,64],[16,128,2032],[128,256,1064,2016],[4,[-8,-4,16,512,1064,1256,3032,3128]],[6,[[-8,-2,1,8,16,1032,4128,4256,6512,12064]]]],
[1024,0,1,1,
"55s05A802s0C0A010080"
,[-16,-8,32,64],[16,128,2032],[128,256,1064,2016],[4,[-8,-4,16,512,1064,1256,3032,3128]],[6,[[-8,-2,1,8,16,1024,1032,4256,4512,5128,10064]]],
[10164,[[[-3008,16,1008],[-3008,5016],[-3008,5016],[-3008,5\
016],[-3004],[-3002,16,1004],[-3002,16,1004],
[-3002,16,1004],[-4,3001],[-2,1001],[16,1008],
[32,1016],[64,3016,3032],[1064,3032],[1064,11032],
[3008,5016]]]]],
[1024,0,1,-1,
"1Bs05B802s0C05054080s0404"
,[-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],[64],[128],[256]],[29,[16],[64],[128],[1016]],[6,[[-8,-2,1,8,16,1024,1032,3128,4512,6064,6256]]]],
[1024,0,1,-1,
"5Fs031000F80As0E40"
,[8,64,2016],[-16,128,2032],[-2016,1064,2128],[4,[-2004,16,512,3032,5064,5128]],[22,[8],[16],[16],[16],[1032]],[6,[[-2004,-2002,1,16,1024,2512,4256,9064,11032,11128]]],
[6322,[[16,256,1064,2032],[16,256,1064,2032],[16,256,1064,2\
032],[128,1032,2016,3064],[128,1032,2016,3064],
[256,1032,1064,2016],[256,1032,1064,2016],
[256,1032,1064,2016],[1032,1064,1128,2016],
[1032,1064,1128,2016],[1032,1064,1128,2016],
[1032,1064,1128,2016]]]],
[1024,0,1,-1,
"1Fs05B802s0C05054080s0404"
,[-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],[64],[128],[256]],[29,[16],[64],[128],[1016]],[6,[[-8,-2,1,8,16,1024,1032,3128,4256,5512,6064]]],
[10164,[[[-3008,1016,1032],[-3004,32,1008],[-1008,1008,1016]
,[-1004,8],[-1004,16,1004],[-1002,-4],[-2,1001],
[16,1008],[32,1016],[64,3016,3032],[64,5032],
[1032,3016],[3064],[4064,5032]]]]],
[1024,0,1,-1,
"1Fs05B802s0C05054080s0404"
,[-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],[64],[128],[256]],[29,[16],[64],[128],[1016]],[6,[[-8,-2,1,8,16,1032,3128,6064,6256,6512]]]],
[1024,0,1,1,
"55s0202A0002802s0D010080"
,[-16,-8,32,64],[16,32,2064],[16,256,2032,2064],[4,[-8,-4,16,2128,3032,3064,3256]],[9322,[[-1016,32,2016,2128]]]],
[1024,0,1,-1,
"55s05780As0F80s0404"
,[-16,-8,32,64],[-16,128,2032],[-2016,128,256,1064],[4,[-8,-4,16,512,1064,1256,3032,3128]],[22,[8],[16],[32],[1032]],[6,[[-8,-2,1,8,16,1024,3032,3512,5256,7128,9064]]]],
[1024,0,1,-1,
"5Fs031000780As0E40"
,[8,64,2016],[-16,128,2032],[-2016,1064,2128],[4,[-2004,16,512,4064,5032,5128]]],
[1024,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,12032,12128,14064]]]],
[1024,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,1024,2016,6128,7032,11256,16064]]]],
[1024,0,1,-1,
"57s035000382As0F80s0404"
,[-16,-8,32,64],[-16,32,64,128],[-16,32,1064,2128],[4,[-8,-4,16,256,512,3032,3064,4128]]],
[1024,0,1,-1,
"55s0201F000080As0F80s0404"
,[-16,-8,32,64],[-16,32,2064],[-16,256,2032,2064],[22,[8],[16],[32],[64]],[23,[16],[32],[32],[32],[64],[64],[256],[1032]]],
[1024,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,1024,3512,4016,5032,5064,5256,8128]]],[208,[35]],
[10164,[[[-3008,16,1008],[-3004,32,1008],[-1004,8],[-1004,
8],[-1004,8],[-1004,16,1004],[-1002,-4],
[-2,1001],[32,1016],[64,2032,5016],
[1016,1032,3008],[1032,3016],[1032,3016],
[1032,3016],[3064],[3064,7032]]]]],
[1024,0,1,-1,
"5Fs031000F80As0E4080"
,[8,64,2016],[-16,128,2032],[-2016,1064,2128],[4,[-2004,16,512,3032,5064,5128]],[22,[8],[16],[16],[16],[1032]],[6,[[-2004,-2002,1,16,4256,4512,10128,11032,11064]]]],
[1024,0,1,1,
"55s0320002802s0F80"
,[-16,-8,2032],[16,32,2064],[16,1128,2032,2064],[4,[-2008,-4,1256,3032,3128,9064]],
[6322,[[-1016,16,128,2064,3032],[-1016,32,2016,2128],[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]]]],
[1024,0,1,1,
"55s032000A812s0F80"
,[-16,-8,32,64],[16,32,64,128],[16,32,1064,2128],[4,[-8,-4,32,256,512,2016,4064,4128]],[6,[[-8,-2,1,8,1024,2016,2512,6032,6256,8128,9064]]],
[6322,[[-1016,16,128,1064,5032],[-1016,16,128,1064,5032],[-1\
016,16,256,1032,1064],[-1016,16,256,1032,1064],
[-1016,32,256,1064,2016],[16,32,64,2128],
[16,32,64,2128]]]],
[1024,0,1,-1,
"55s05780As0F80s0404"
,[-16,-8,32,64],[-16,128,2032],[-2016,128,256,1064],[4,[-8,-4,16,64,512,1256,3128,5032]]],
[1024,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,[35]]],
[1024,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,5064,7256,8128]]],[208,[35]]],
[1024,0,1,-1,
"5Fs03A0005802s0E4080"
,[8,16,32,64],[-16,32,2064],[-16,256,2032,2064],[22,[8],[16],[64],[1016]],[6,[[-1004,-8,-2,1,16,5032,5256,5512,6064,8128]]]],
[1024,0,1,1,
"55s03A0002802s0D010080"
,[-16,-8,32,64],[16,32,2064],[16,256,2032,2064],[4,[-8,-4,16,2256,3032,3064,4128]]],
[1024,0,1,-1,
"55s05A802s0C05024080"
,[8,16,32,64],[-16,32,64,128],[-16,32,128,256,1064],[4,[-8,-4,16,256,512,1032,2064,5128]],[22,[8],[16],[1016],[1032]],[6,[[-1004,-8,-2,1,16,2256,3032,6512,8128,11064]]]],
[1024,0,1,-1,
"1Bs05B802s0C05054080s0404"
,[-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],[64]],[23,[16],[32],[64],[64],[128],[256]]],
[1024,0,1,-1,
"55s0201F0000802s0E4080"
,[8,16,32,64],[-16,32,2064],[-16,256,2032,2064],[22,[8],[16],[64],[1016]],[9322,[[-1016,32,2016,2128]]]],
[1024,0,1,1,
"55s032000A812s0F80"
,[-16,-8,32,64],[16,32,64,128],[16,32,1064,2128],[4,[-8,-4,32,256,512,2016,4064,4128]],[6,[[-8,-2,1,8,2016,4512,6032,6256,7128,11064]]]],
[1024,0,1,-1,
"55s05382As0E40"
,[8,16,32,64],[-16,32,64,128],[-16,32,128,256,1064],[4,[-8,-4,16,256,512,1064,3032,5128]]],
[1024,0,1,-1,
"55s05382As0E4080"
,[8,16,32,64],[-16,32,64,128],[-16,32,128,256,1064],[4,[-8,-4,16,256,512,1032,2064,5128]],[22,[8],[16],[1016],[1032]],[6,[[-1004,-8,-2,1,16,1024,1256,3032,4512,10128,11064]]]],
[1024,0,1,-1,
"57s035000382As0F80s0404"
,[-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,8128,11064]]]],
[1152,0,1,1,
"11011040s0302s040441s0208s0A02"
,[8,64,1024],[16,128,1048],[16,64,1048,1192],[4,[-12,-4,12,128,288,1016,1048,1096,1144,1384]],[208,[42]]],
[1152,0,1,1,
"11011040s022802s0540s0208s0680"
,[-24,-8,24,64],[16,1048,1064],[16,64,192,1048,1096],[4,[-12,-4,12,288,1016,1048,1064,1096,1144,3192]],[208,[46]]],
[1152,0,1,1,
"11011040s022802s0540s0208"
,[8,1024,1032],[16,1048,1064],[16,64,192,1048,1096],[4,[4,144,288,1012,1016,1048,1064,1072,1096,3192]],[208,[45]]],
[1152,0,1,1,
"11011040s022802s0540s0208s0A02"
,[8,64,1024],[16,1048,1064],[16,64,192,1048,1096],[4,[-12,-4,12,288,1016,1048,1064,1096,1144,3192]],[208,[45]]],
[1152,0,1,1,
"11011040s022802s0540s0208s0680"
,[-24,-8,24,1032],[16,1048,1064],[16,64,192,1048,1096],[208,[46]]],
[1152,0,1,1,
"11011040s028882s040441002008s0680s0302"
,[8,48,64],[16,128,1048],[16,64,384,1048],[4,[12,128,192,576,1048,1384,2016]]],
[1152,0,1,1,
"15011040s020802s0401s022008s0680"
,[-24,-8,24,64],[16,128,1048],[16,64,1048,1192],
[6,[[-36,-18,-12,-2,1,12,18,32,1016,1064,1096,1152,1192,1288,
1384,2576,3048,7144]]],
[10162,[[[-3003,12],[-1003,-6,12],[-3,1,4],[1008,1024]]
]]],
[1152,0,1,1,
"15011040s022802s0540s0208s0A02"
,[8,64,1024],[16,128,1048],[16,64,1048,1192],[4,[-12,-4,12,128,288,1016,1048,1096,1144,1384]],[412,[163,196]]],
[1152,1,1,1,
"15s0248s0312s0501s020Cs0680s0302"
,[48,72],[96,144],[32,96,144,288],[6,[[-1072,-36,-24,-9,-6,72,96,1144,1152,2576,9288]]]],
[1152,0,1,1,
"11011040s022802s0540002008s0680"
,[-24,-8,24,1032],[16,1048,1064],[16,64,192,1048,1096],[208,[47]],[412,[202,203]]],
[1152,0,1,1,
"11011040s028882s0808s0680"
,[-24,-8,24,64],[16,128,1048],[16,64,1048,1192],[4,[-1024,-12,-4,12,48,128,288,1016,1096,1144,1384]]],
[1152,0,1,1,
"05s0248s0312s080Cs0680"
,[24,96],[48,192],[16,64,192,288],[4,[-72,-4,16,48,144,1192,1576]]],
[1536,0,1,1,
"55s0250s02A802s0501s0228s0680s0302"
,[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],[96,5048],
[3012,5024],[3024,5048]]]]],
[1536,0,1,1,
"15s0240s022802s0501s0208s0A02"
,[24,32,64],[48,64,128],[16,96,192,256],[4,[-24,-4,96,128,192,384,768,1048,1064]],
[6,[[-1012,-24,-2,1,128,1536,1768,2048,3064,3192,3384,4096]]
]],
[1536,0,1,1,
"15s0240s022802s0808s0680s0302"
,[24,32,64],[48,2064],[16,256,2096],[4,[-24,-4,96,192,1048,2384,3064]]],
[1536,0,1,1,
"15s0240s022802s0808"
,[24,2032],[48,2064],[16,256,2096],[4,[4,192,2024,2048,2384,3064]],[6,[[1012,2001,2024,2064,2096,2384,2768,5032,5048,9192]]]],
[1536,0,1,-1,
"1Bs0240s02A802s06800018s0301004080s0302"
,[-16,-8,96],[-16,32,192],[-16,96,192,256],[4,[4,24,192,384,768,1096,1128]]],
[1536,0,1,1,
"15s0240s02A802s0501s0208s0680s0302"
,[8,16,96],[16,32,192],[16,96,192,256],[4,[4,24,128,192,384,768,1064,1096]]],
[1536,0,1,1,
"15s0240s02A802s0501s0208s0680s0302"
,[8,48,64],[16,96,128],[48,384,1064],[4,[12,96,512,1192,1384,2016]],
[6,[[1,6,12,16,256,1032,1048,1064,1536,1768,2096,3384,4192]]\
],[208,[33]]],
[1536,0,1,1,
"55s0250s020802s0828"
,[-1008,8,96],[192,2016],[16,256,2096],[4,[4,192,1128,2024,2048,2384]]],
[1536,0,1,1,
"15s0240s022802s0501s0208s0A02"
,[8,16,96],[16,32,192],[16,96,192,256],[4,[4,24,96,128,192,384,768,1048,1064]]],
[1536,0,1,1,
"15s0240s022802s0501s0208s0A02"
,[8,48,64],[16,96,128],[48,384,1064],[4,[12,192,512,1384,2016,2096]],[208,[33]]],
[1536,0,1,1,
"55s0250s02A802s0828s0680s0302"
,[8,16,96],[192,2016],[16,96,192,256],[4,[4,24,192,384,768,1096,1128]]],
[1536,0,1,1,
"55s0240s020802s0501s0208s0A02"
,[8,16,1048],[16,32,1096],[16,64,1048,1192],[4,[4,128,1012,1016,1384,8096]],[6,[[1,4,16,64,256,768,1003,1012,1032,8384,10048,12096]]]],
[1536,0,1,-1,
"57s02505000102As0501s0228s0680s030204"
,[-16,-8,96],[-16,32,192],[-16,64,96,1192],[22,[8],[16],[96]],[6,[[-48,-24,-16,-3,8,64,128,1536,1768,3096,3384,5192]]]],
[1536,0,1,1,
"55s025020002812s0501s0228s0680s0302"
,[-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,3384,3768,4096,4192]]]],
[1536,0,1,1,
"15s0240s022812s0808s0680"
,[24,32,64],[48,64,128],[16,96,192,256],[4,[-24,-4,96,128,192,384,768,1048,1064]],[2249,[[24,48,4096]]]],
[1536,0,1,1,
"15s0240s022812s0808s0A02"
,[24,32,64],[48,64,128],[16,96,192,256],[4,[-24,-4,128,192,384,768,1064,3048]]],
[1536,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,1536,1768,2048,2096,3384,6192]]]],
[1536,0,1,1,
"15s0240s022802s0501s0208s0680"
,[24,32,64],[48,64,128],[16,96,192,256],[4,[-24,-4,128,192,384,768,1064,3048]]],
[1536,0,1,-1,
"5Fs02501000580As0501s0228s0540s0402"
,[8,16,1048],[-16,32,1096],[-1048,-16,64,1192],[4,[-12,-4,12,32,128,192,1384,6096]],[24,[4],[12],[12],[32],[96],[96],[96],[96],[96],
[96],[96],[128],[384],[384],[1096]],
[6,[[-1003,-12,-4,1,12,16,64,128,2048,2192,2768,4384,12096]]\
]],
[1536,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,1536,2048,2096,3768,4192]]]],
[1536,0,1,1,
"15s0240s022802s0501s0208s0680"
,[8,48,64],[16,96,128],[48,384,1064],[4,[12,384,512,2016,2096,2192]]],
[1536,0,1,1,
"15s0240s02A802s0808s0302s0280s0302"
,[8,16,96],[16,32,192],[16,96,192,256],[4,[-24,-4,128,192,384,768,1064,1096]],[6,[[-1004,-24,-3,256,1032,1064,3096,3384,3768,4192]]]],
[1536,0,1,1,
"15s0240s02A802s0808s04050080s0302"
,[8,16,96],[192,2016],[16,96,192,256],[4,[-24,-4,192,384,768,1096,1128]],
[60244,[[[-3002,1008],[-1002],[64,1032],[64,1032],[1016,1\
0032],[1032,3008],[1032,10064],[3008,3016],[3016,3032]]]]],
[1536,0,1,1,
"15s0240s02A802s0501s0208s0680"
,[8,48,64],[16,96,128],[48,384,1064],[4,[12,96,384,512,2016,3192]],[6,[[1,16,256,768,1032,1048,1064,1536,2006,2096,3384,8192]]
]],
[1536,0,1,1,
"15s0240s022802s0808"
,[96,2008],[192,2016],[16,256,2096],[4,[-2024,-4,192,2048,2384,3064]]],
[1536,0,1,1,
"15s0240s022812s0808s0680"
,[8,16,96],[16,32,192],[16,96,192,256],[4,[-24,-4,96,128,192,384,768,1048,1064]],[608,[34,34]]],
[1536,0,1,1,
"15s0240s02A802s0808s0680"
,[-1008,8,96],[192,2016],[16,256,2096],[208,[39,40,40]]],
[1536,0,1,1,
"11s0240s02A802s0808s04050080s0302"
,[8,16,96],[192,2016],[16,96,192,256],[4,[-24,-4,192,384,768,1096,3064]]],
[1536,0,1,-1,
"13s0240s02B802s0808s0305s0280s030204"
,[-16,-8,96],[-16,32,192],[-16,96,192,256],[4,[-24,-4,192,384,768,1096,1128]],[24,[4],[24],[96],[96],[192],[384],[768],[1064],
[1064]]],
[1536,0,1,1,
"55s0240s020802s0501s0208s0680"
,[8,16,1048],[16,32,1096],[16,64,1048,1192],[4,[-12,-4,12,128,384,1016,1192,8096]]],
[1920,1,1,1,
"15s0240s0312s041001s0208s0680s0302"
,[40,80],[80,160],[240,1160],[4,[-1040,60,80,160,2480]]],
[1920,1,2,1,
"05s0208s0312s0410s0304s0680"
,[120],[240],[80,160,320]],
[2048,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]]],
[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,3016,3032],
[64,3016,3032],[3001],[3008,5016],[3008,5016],
[3008,5016]]]]],
[2048,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]]],
[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,[[[-3008,1016],[-3008,1016],[-3004,-3002,8,1016],[-3\
004,16],[-1002,-8,-4]],
[[-3008,1016],[-3008,1016],[-3004,-3002,8,1016],
[-3004,16],[-1002,-8,-4]],
[[-3002,1016,5004],[-1002,4,8],[16,3004],[1016,3008],
[1016,3008]]]]],
[2048,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],[256,2016,5032],[256,
2016,5032],[256,2016,5032],[1128,2016,5032],
[1128,2016,5032],[1128,2016,5032],[1128,2016,5032],
[1128,2016,5032],[1128,2016,5032]]]],
[2048,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,2032,5016],[64,2032,5016],
[64,3016,3032],[3001],[3008,5016],[3008,5016],
[3008,5016]]]]],
[2048,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,2032,5016],[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]]]],
[2048,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]]],
[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],
[1032,2016,5064],[1032,2016,5064],[1128,2016,2064],
[1128,2016,2064]]]],
[2048,0,1,1,
"55s03A000A802s0F80"
,[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,1032,2016,3064],
[128,1032,2016,3064],[1032,1064,1128,2016],
[1032,1064,1128,2016],[1032,1064,1128,2016],
[1032,1064,1128,2016],[1032,2016,5064],[1032,2016,5064]
]]],
[2048,0,1,1,
"55s05A802s0C02050080"
,[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],[128,3032,3064],[1064,3032],[3016,5032]]
]]],
[2048,0,1,1,
"55s05A812s0F80"
,[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],[128,1064,7032],
[1016,1032,3008],[3016,5032]]]]],
[2048,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]]],
[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]],
[[-3008,1016],[-3008,1016],[-3004,-3002,8,1016],
[-3004,16],[-1002,-8,-4]],
[[-3008,1016],[-3008,1016],[-3004,-3002,8,1016],
[-3004,16],[-1002,-8,-4]]]]],
[2048,0,1,1,
"55s05A802s0F80"
,[-2008,32,64],[64,128,2016],[16,256,2032,2064],[208,[35,35,35]]],
[2048,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],[16,256,1064,2032
]]],
[6322,[[-1016,16,1032,1064,1128],[-1016,16,1032,1064,1128],[
-1016,16,1032,1064,1128],[16,32,128,4064],
[16,32,128,4064],[16,32,256,2064],[16,32,256,2064],
[16,32,256,2064],[16,32,256,2064],[16,256,1064,2032],
[16,256,1064,2032],[1032,1064,1128,2016],
[1032,1064,1128,2016],[1128,2016,2064],[1128,2016,2064]
]]],
[2048,0,1,1,
"55s03A000A802s0F80"
,[8,16,32,64],[16,32,2064],[16,256,2032,2064],[4,[-8,-4,2016,2032,2256,3064,4128]],
[6322,[[16,32,1128,2064],[16,32,1128,2064],[16,1064,1128,20\
32],[16,1064,1128,2032],[64,1128,2016,3032],
[64,1128,2016,3032],[256,1032,1064,2016],
[256,1032,1064,2016],[256,1032,1064,2016]]]],
[2048,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],[128,256,1032,2\
016],[128,256,1032,2016]]],
[20329,[[[-5004,-3002,1016],[-3008,1016],[-3008,1016],[-3004
,16],[-1002,-8,-4]]]]],
[2048,0,1,1,
"55s05A812s0D010080"
,[-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,2024,2128,2512,4032,5256,10064]]],[208,[28]]],
[2048,0,1,-1,
"5Fs0201F0005802s0E4080"
,[8,16,32,64],[-16,32,2064],[-16,256,2032,2064],[22,[8],[16],[64],[1016]],[6,[[-1004,-8,-2,1,16,1024,3512,5032,5256,6064,8128]]],[9322,[[-1016,32,128,256,2016]]],
[10164,[[[-3004,1008,1016],[-3004,1008,1016],[-3004,1008,1016
],[-3002,1004],[-1004,1004,1008],[-1004,1004,1008],
[-1004,1004,1008],[-1002,4],[16,1008],[64,1032],
[64,1032],[64,2032,5016],[64,3016,3032],
[64,3016,3032],[1016,3008],[3001],[3008,5016],
[3008,5016],[3008,5016]]]]],
[2048,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,[[16,256,1064,2032]]],
[6322,[[-1016,16,256,1032,1064],[-1016,16,256,1032,1064],[-1\
016,16,256,1032,1064],[16,32,64,2128],[16,32,1128,2064],
[16,256,1064,2032],[16,256,1064,2032],
[256,1032,1064,2016],[1032,1064,1128,2016]]]],
[2048,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,5064,5256,8128]]],[208,[35]],
[10164,[[[-3008,16,1008],[-3004,32,1008],[-1004,8],[-1004,
8],[-1004,8],[-1004,16,1004],[-1002,-4],
[-2,1001],[32,1016],[64,2032,5016],
[1016,1032,3008],[1032,3016],[1032,3016],
[1032,3016],[3064],[4064,5032]]]]],
[2048,0,1,-1,
"7Fs05B80As0C17004080s0404"
,[-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],[64,3016,3032],[3016],[3064],
[7032]]]]],
[2048,0,1,-1,
"7Fs02015000B80As0C01004080"
,[-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]],[23,[16],[32],[32],[32],[64],[64],[64],[256]],[29,[16],[32],[64],[64],[64]],[6,[[1064,2001,3008,3512,6128,10256,15032]]],
[2322,[[16,32,256,2064],[16,32,256,2064],[16,256,1064,2032
]]]],
[2048,0,1,-1,
"55s05A802s0C03054080s0404"
,[-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,2024,2128,2512,3032,6256,7064]]],[9322,[[-3016,16,32,1064,1128]]]],
[2048,0,1,-1,
"FFs031000080As0E4080s0404"
,[-16,-8,2032],[-16,6032],[-6016,6064],[4,[-2008,-4,64,7128,21032]],[21,[16]]],
[2048,0,1,1,
"55s0380002812"
,[-16,-8,2032],[16,32,2064],[16,256,2032,2064],[4,[4,2008,2032,2064,2128,3256,5016]],[208,[31]],
[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],[64,128,2016]]]],
[2048,0,1,1,
"55s0202A0002802s0F80"
,[-16,-8,2032],[16,32,2064],[16,256,2032,2064],[4,[4,1016,2008,2064,2128,3256,4032]],
[20324,[[[-7008,1064,3016],[-3008,32,3016],[-3008,32,3016],
[-3008,1016],[-3008,1016],[-3004,-3002,8,32],
[-3004,16],[-3004,16,1032,3008],[-1008],[-1008],
[-1008,1008],[-1008,1008],[-1004],[-1004],
[-1004,8,16],[-1002],[-4,-2,1001],[32,1016,2064],
[64,3016,3032],[1016],[3016,5032]],
[[-7008,1064,3016],[-3008,32,3016],[-3008,32,3016],
[-3008,1016],[-3008,1016],[-3004,-3002,8,32],
[-3004,16],[-3004,16,1032,3008],[-1008],[-1008],
[-1008,1008],[-1008,1008],[-1004],[-1004],
[-1004,8,16],[-1002],[-4,-2,1001],[32,1016,2064],
[64,3016,3032],[1016],[3016,5032]],
[[-3008,1064,5016],[-3004,1032,5008],[-3002,32,5004],
[-1008,1008],[-1008,1008],[-1004],[-1004],[-1002],
[-1002,4,8],[-1002,4,8],[-4,-2,1001],[16,3004],
[32,3008,3016],[32,3008,3016],[64,1032,7016],
[64,1032,7016],[1016],[1016],[1016,1064,2032],
[1016,3008],[1016,3008]]]],
[40324,[[[-5002,4,1008],[-1004,-1002,8,2004],[-1004,2008],[\
-1002,4],[-1002,4],[-1002,4],[-1002,4,8],[-1002,4,8],
[-1002,1004,1008,3001],[32,64,5016,7008],
[32,1016,7008],[1004,2008],[1016,7004],[3001],
[3008,3032,5016],[3008,3032,5016],[3008,5016],
[3008,5016],[3064],[7008],[7008]],
[[-5002,4,1008],[-1004,-1002,8,2004],[-1004,2008],
[-1002,4],[-1002,4],[-1002,4],[-1002,4,8],
[-1002,4,8],[-1002,1004,1008,3001],
[32,64,5016,7008],[32,1016,7008],[1004,2008],
[1016,7004],[3001],[3008,3032,5016],
[3008,3032,5016],[3008,5016],[3008,5016],[3064],
[7008],[7008]],
[[-4004,-2,8,1001],[-3004,1008],[-1004],[-1004,8],
[-1004,8],[-1004,2008],[-1004,2008],[-1004,2008],
[-1002],[8],[8],[32,3008],[64,1032,7016],
[64,3016],[3016],[3016],[3016,5032],[3016,5032],
[3032],[3032],[3064]],
[[-4004,-2,8,1001],[-3004,1008],[-1004],[-1004,8],
[-1004,8],[-1004,2008],[-1004,2008],[-1004,2008],
[-1002],[8],[8],[32,3008],[64,1032,7016],
[64,3016],[3016],[3016],[3016,5032],[3016,5032],
[3032],[3032],[3064]],
[[-1004,-1002,8,2004],[-1004,-1002,8,2004],[-1004,2008],
[-1004,2008],[-1002,4],[-1002,4],[-1002,4],
[-1002,4,8],[-1002,4,8],[-1002,1004,1008,3001],
[32,1016,7008],[1016,7004],[2032,9016],[3001],
[3008,3032,5016],[3008,3032,5016],[3008,5016],
[3008,5016],[3064],[7008],[7008]]]]],
[2048,0,1,-1,
"7Fs02015000B802s0C01004080s0404"
,[-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]],[23,[16],[32],[32],[32],[64],[64],[64],[256]],[29,[16],[32],[64],[64],[64]],[6,[[-8,-2,1,8,16,4128,5032,5256,6064,6512]]]],
[2048,0,1,1,
"55s032000A802s0F80"
,[-16,-8,32,64],[16,32,64,128],[16,32,1064,2128],[4,[-8,-4,16,256,512,1032,4064,4128]],
[10164,[[[-3008,5016],[-3008,5016],[-3008,5016],[-3004,1008,
1016],[-3002],[-1004,16,1004],[-2,1001],
[16,1008],[16,5008],[32,1016],[1016,3008],
[1016,3008],[1032,3016],[1032,3016],[1064,3032],
[2064,9032],[3004]]]]],
[2048,0,1,1,
"55s0380002812s0D010080"
,[-16,-8,2032],[16,32,2064],[16,256,2032,2064],[4,[4,1016,2008,2064,2128,3256,4032]],[6,[[1016,2001,3008,4512,5128,7064,7256,14032]]],[208,[31]]],
[2048,0,1,1,
"55s03A000A812s0F80"
,[-16,-8,32,64],[16,32,64,128],[16,32,128,256,1064],[4,[-8,-4,512,1064,1128,2016,2032,2256]],[208,[35]],
[6169,[[16,32,64,128],[16,32,64,128],[16,32,2064],[16,32
,2064],[16,32,2064]]]],
[2048,0,1,-1,
"55s03A000A80As0C01004080"
,[-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,4064,4512,5128,8256,13032]]],
[2322,[[16,32,256,2064],[16,32,256,2064],[16,32,256,2064]
]]],
[2048,0,1,-1,
"55s03A000A802s0E4080"
,[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,2032,5016],[64,2032,5016],
[64,3016,3032],[1016,3008],[3001],[3008,5016],
[3008,5016],[3008,5016]]]]],
[2048,0,1,-1,
"7Fs02015000B802s0C01004080"
,[-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],[32],[64],[64],[64]],[6,[[2001,3008,3064,5512,6128,6256,11032]]],
[20164,[[[-1004,8,16],[-1004,8,16],[-1004,8,16],[-1002,4,
2008],[-1002,4,2008],[-1002,4,2008],
[64,1016,4032],[1004],[1004],[1004],[1016,3008],
[1016,3008],[1016,3008],[1016,6032],[1016,6032],
[1032,3016],[1032,3016],[1032,3016],[1128],[3001]
]]],
[2322,[[16,32,256,2064],[16,32,256,2064],[16,256,1064,2032
]]]],
[2048,0,1,1,
"55s0202A000A812s0D010080"
,[-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,2024,2512,4032,4128,5256,6064]]],[208,[35]],[2322,[[256,1032,1064,2016]]]],
[2048,0,1,-1,
"7Fs02015000B80As0C01004080"
,[-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]],[23,[16],[32],[32],[32],[64],[64],[64],[256]],[29,[16],[32],[64],[64],[64]],[6,[[2001,2064,3008,4512,6128,8256,13032]]],
[2322,[[16,32,256,2064],[16,32,256,2064],[16,32,256,2064]
]],
[20329,[[[-5004,-3002,32],[-3008,1016],[-3008,1016],[-3004,
16],[-1002,-8,-4]],
[[-3008,1016],[-3008,1016],[-3004,-3002,8,32],
[-3004,16],[-1002,-8,-4]],
[[-3004,-3002,8,32],[-3004,16],[-1002,-4,8],
[1016,3008],[1016,3008]]]]],
[2048,0,1,1,
"55s05A812s0F80"
,[-16,-8,32,64],[16,32,64,128],[16,32,128,256,1064],[4,[-8,-4,512,1064,1128,2016,2032,2256]],[208,[28]]],
[2048,0,1,1,
"55s03A000A802s0F80"
,[-16,-8,32,64],[16,32,2064],[16,256,2032,2064],[4,[-8,-4,16,2128,3032,3064,3256]],[6,[[-8,-2,1,8,16,1024,3512,5032,5128,6256,8064]]],[208,[16]],
[4322,[[-1016,16,128,256,1032],[-1016,16,128,256,1032],[-101\
6,16,128,256,1032],[16,32,1128,2064]]],
[20329,[[[-5004,-3002,1016],[-3008,1016],[-3008,1016],[-3004
,16],[-1002,-8,-4]]]]],
[2048,0,1,-1,
"55s03A000A802s0F80s0404"
,[-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,2032,5016],[64,2032,5016],[64,3016,3032],
[1016,3008],[1064,3032],[3001],[3008,5016],
[3008,5016],[3008,5016]]]]],
[2048,0,1,-1,
"57s035000B82As0C15004080s0404"
,[-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],[32],[64],[1064]],[6,[[-8,-2,1,8,16,1024,1032,4128,4512,5256,8064]]]],
[2048,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,1032,1064,1128],[-10\
16,16,1032,1064,1128],[16,256,1064,2032]]]],
[2048,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],[256,1032,10\
64,2016],[256,1032,1064,2016]]]],
[2048,0,1,-1,
"5Fs02015000580As0E40"
,[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,5128,10256,15064,21032]
]],[2169,[[16,32,64,128],[16,32,64,128],[16,32,2064]]]],
[2048,0,1,-1,
"5Fs02015000580As0E4080"
,[8,16,2032],[-16,1064,2032],[-2016,1032,1128,2064],[22,[8],[16],[32],[32],[1016]]],
[2048,0,1,-1,
"7Fs02015000B80As0E4080"
,[-16,-8,32,64],[-16,32,2064],[-16,256,2032,2064],[22,[-16],[-8],[32],[64]],[6,[[-8,-2,1,8,16,4128,5032,5256,6064,6512]]],[208,[27]]],
[2048,0,1,-1,
"55s03B000A80As0E4080"
,[8,16,2032],[-16,1064,2032],[-2016,1032,1128,2064],[21,[-1008]],[22,[-1008],[-1004],[32],[32],[1016]]],
[2048,0,1,-1,
"55s05A802s0C15004080s0404"
,[-16,-8,32,64],[-16,128,2032],[-2016,128,256,1064],[4,[-8,-4,16,512,1064,1256,3032,3128]],[22,[8],[16],[32],[1032]],[6,[[-8,-2,1,8,16,1024,1032,4256,4512,6128,8064]]],
[10164,[[[-3008,16,1008],[-3008,5016],[-3008,5016],[-3008,5\
016],[-3004],[-3002,16,1004],[-3002,16,1004],
[-3002,16,1004],[-4,3001],[-2,1001],[16,3004],
[32,1016],[64,3016,3032],[1064,3032],[2064,9032],
[3008,5016]]]],[2169,[[-16,128,2032]]]],
[2048,0,1,1,
"55s05A802s0C0A010080"
,[-16,-8,32,64],[16,128,2032],[128,256,1064,2016],[4,[-8,-4,16,512,1064,1256,3032,3128]],[6,[[-8,-2,1,8,16,1024,1032,4256,4512,5128,10064]]],
[10164,[[[-3008,16,1008],[-3008,5016],[-3008,5016],[-3008,5\
016],[-3004],[-3002,16,1004],[-3002,16,1004],
[-3002,16,1004],[-4,3001],[-2,1001],[16,1008],
[32,1016],[64,3016,3032],[1064,3032],[2064,9032],
[3008,5016]]]]],
[2048,0,1,1,
"55s0202A0002802s0D010080"
,[-16,-8,2032],[16,32,2064],[16,256,2032,2064],[4,[4,2008,2064,2128,3256,5032]],[6,[[2001,3008,5064,5256,5512,7128,11032]]],[208,[31]],
[20324,[[[-7008,1064,3016],[-3008],[-3008,32,3016],[-3008,3\
2,3016],[-3008,1016],[-3008,1016],[-3004,-3002,8,32],
[-3004,16],[-3004,16,1032,3008],[-1008,1008],
[-1008,1008],[-1004],[-1004],[-1004,8,16],[-1002],
[-4,-2,1001],[32,1016,2064],[64,3016,3032],[1016],
[3016,5032]],
[[-7008,1064,3016],[-3008],[-3008,32,3016],
[-3008,32,3016],[-3008,1016],[-3008,1016],
[-3004,-3002,8,32],[-3004,16],[-3004,16,1032,3008],
[-1008,1008],[-1008,1008],[-1004],[-1004],
[-1004,8,16],[-1002],[-4,-2,1001],[64,3016,3032],
[1016],[1016,1064,2032],[3016,5032]],
[[-5004,-3002,32],[-3008,32,3016],[-3008,32,3016],
[-3008,1016],[-3008,1016],[-3008,1064,5016],
[-3004,16],[-3004,16],[-3004,1032,5008],
[-1008,1008],[-1008,1008],[-1004],[-1004],[-1002],
[-4,-2,1001],[32,1016,2064],[64,1032,7016],
[64,1032,7016],[1016],[1016]]]]],
[2048,0,1,-1,
"7Fs0201F000B80As0F80s0404"
,[-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]],[23,[16],[32],[32],[32],[64],[64],[64],[256]],[6,[[-8,-2,1,8,16,1024,3064,3512,5128,7032,7256]]],
[4322,[[-1016,16,128,256,1032],[-1016,16,256,1032,1064],[-10\
16,16,1032,1064,1128],[16,32,256,2064]]]],
[2048,0,1,-1,
"55s05A802s0C05024080"
,[8,16,32,64],[-16,32,64,128],[-16,32,128,256,1064],[4,[-8,-4,16,256,512,1032,2064,5128]],[22,[8],[16],[1016],[1032]],[6,[[-1004,-8,-2,1,16,1024,2256,3032,4512,9064,9128]]],
[10164,[[[-3008,16,1008],[-3008,5016],[-3008,5016],[-3008,5\
016],[-3004],[-3004,16],[-3004,1008,1016],[-1004,16,1004],
[-1002,-4],[-2,1001],[32,1016],[64,1032],
[64,1032],[64,3016,3032],[2064,9032],[3008,5016]]
]],[2169,[[16,128,2032]]]],
[2048,0,1,-1,
"FFs031000080A"
,[8,6016],[-16,6032],[-6016,6064],[21,[16]]],
[2048,0,1,-1,
"FFs031000080As0E4080"
,[8,1032,2016],[-16,6032],[-6016,6064],[4,[-1004,4,1008,1064,6128,23032]],[21,[16]]],
[2048,0,1,1,
"55s03A000A812s0F80"
,[8,16,32,64],[16,32,64,128],[16,32,128,256,1064],[4,[-8,-4,32,512,1256,2016,2064,3128]],[6,[[-1004,-8,-2,1,1512,2016,2024,4032,5256,7128,8064]]],
[6322,[[16,32,1128,2064],[16,64,1128,4032],[16,128,2064,403\
2],[16,1064,1128,2032],[256,1032,1064,2016]]]],
[2048,0,1,-1,
"55s03B000A80As0E40"
,[8,1032,2016],[-16,1064,2032],[-2016,1032,1128,2064],[21,[-1008]],[22,[32],[32],[1004],[1008],[1008],[1008]]],
[2048,0,1,1,
"55s05A802s0C02050080"
,[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,1512,2024,3032,5128,6256,9064]]],
[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],[128,3032,3064],[1064,3032],[3016,5032]]
]],
[20164,[[[-1008,16,32],[-1004,8,16],[-1004,8,2016],[-1002,
4,8,16],[-4,4],[-2,1001],[32,3008],[1008],
[1016,1064,2032],[1032,3016],[1032,6064],[1064],
[1064],[1064,3032],[3032]]]]],
[2048,0,1,1,
"55s03A000A802s0D010080"
,[-16,-8,2032],[16,32,2064],[16,256,2032,2064],[4,[4,1016,2008,2064,2128,3256,4032]],[6,[[1016,2001,3008,4512,5064,6128,7256,14032]]],[208,[21]],
[6322,[[-1016,16,1032,1064,1128],[-1016,16,1032,1064,1128],[
-1016,16,1032,1064,1128],[16,32,128,4064],
[16,32,128,4064],[16,32,256,2064],[16,32,256,2064],
[16,32,256,2064],[16,32,256,2064],[16,256,1064,2032],
[16,256,1064,2032],[64,2016,2128],[64,2016,2128],
[256,1032,1064,2016],[256,1032,1064,2016]]]],
[2048,0,1,-1,
"5Fs02055000A82As0C01004080"
,[-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]],[23,[16],[32],[32],[32],[64],[64],[64],[256]],[29,[16],[32],[64],[64],[64]],
[2322,[[16,256,1064,2032],[16,256,1064,2032],[16,256,1064,2\
032]]]],
[2048,0,1,1,
"55s0380002812s0F80"
,[-16,-8,32,64],[16,32,2064],[16,256,2032,2064],[4,[-8,-4,2016,2064,2128,3256,4032]],[208,[27]],
[6169,[[16,32,64,128],[16,32,64,128],[16,32,2064],[16,32
,2064],[64,2016,3032]]]],
[2048,0,1,-1,
"55s035000B802s0F80s0404"
,[-16,-8,32,64],[-16,32,64,128],[-16,32,1064,2128],[22,[8],[16],[32],[1032]],[6,[[-8,-2,1,8,16,1024,2512,5032,7128,7256,8064]]]],
[2048,0,1,-1,
"5Fs05B802s0C05054080s0404"
,[-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],[64],[128],[256]],[29,[16],[64],[128],[1016]],[6,[[-8,-2,1,8,16,1024,1032,3128,4256,5512,6064]]],
[10164,[[[-3008,1016,1032],[-3004,32,1008],[-1008,1008,1016]
,[-1004,8],[-1004,16,1004],[-1002,-4],[-2,1001],
[16,1008],[32,1016],[64,3016,3032],[64,5032],
[1032,3016],[3032,5064],[3064]]]]],
[2048,0,1,-1,
"5Fs02055000A82As0C01004080s0404"
,[-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]],[23,[16],[32],[32],[32],[64],[64],[64],[256]],[29,[16],[32],[64],[64],[64]],[2322,[[16,256,1064,2032]]],[9322,[[-3016,16,32,1064,1128]]]],
[2048,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],[2064,9032],[3008,5016]]
]]],
[2048,0,1,-1,
"5Fs0201F000580As0F80s0404"
,[-16,-8,32,64],[-16,32,2064],[-16,256,2032,2064],[22,[-16],[-8],[32],[64]],[23,[16],[32],[32],[64],[64],[64],[1016],[1128]],
[10164,[[[-3004,1008,1016],[-3004,1008,1016],[-3004,1008,1016
],[-3002,1004],[-1004,1004,1008],[-1004,1004,1008],
[-1004,1004,1008],[-1002,4],[16,1008],
[64,2032,5016],[64,3016,3032],[64,3016,3032],
[1016,3008],[1064,3032],[3001],[3008,5016],
[3008,5016],[3008,5016]]]]],
[2048,0,1,-1,
"5Fs02015000580As0E4080"
,[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,8128,10256,11032,14064]]],[2169,[[16,32,64,128],[16,32,64,128],[16,32,2064]]]],
[2048,0,1,1,
"55s03A000A802s0F80"
,[8,64,2016],[16,1064,2032],[1032,1128,2016,2064],[4,[-2004,16,1256,2128,5032,10064]],[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],[128,1032,2016,3064],
[128,1032,2016,3064],[256,1032,1064,2016],
[256,1032,1064,2016],[256,1032,1064,2016],
[256,1032,1064,2016],[1032,1064,1128,2016],
[1032,1064,1128,2016]]]],
[2048,0,1,-1,
"55s05B82As0E4080"
,[8,16,32,64],[-16,32,64,128],[-16,32,128,256,1064],[4,[-8,-4,16,256,512,1032,2064,5128]],[22,[8],[16],[1016],[1032]],[6,[[-1004,-8,-2,1,16,1024,1256,3032,4512,9064,11128]]]],
[2048,0,1,1,
"55s03A000A802s0F80"
,[-16,-8,32,64],[16,32,2064],[16,256,2032,2064],[4,[-8,-4,2016,2032,2128,3064,3256]],[208,[16]],
[10164,[[[-3004,1008,1016],[-3004,1008,1016],[-3004,1008,1016
],[-3002,1004],[-1004,8],[-1004,8],
[-1004,1004,1008],[-1004,1004,1008],[-1004,1004,1008],
[-1002,4],[64,2032,5016],[64,2032,5016],
[64,3016,3032],[1016,3008],[1064,3032],[3001],
[3008,5016],[3008,5016],[3008,5016]]]]],
[2048,0,1,-1,
"55s0202A0002802s0E4080s0404"
,[-16,-8,32,64],[-16,32,2064],[-16,256,2032,2064],[4,[-8,-4,16,2128,3032,3064,3256]],[21,[-1008]],[24,[-1004],[-1002],[256],[1008],[1016],[1016],[1016],
[1016],[1032],[1032],[1032],[1032],[1064],[1064],
[1064],[1128],[1128],[1128]],[6,[[-8,-2,1,8,16,1024,4064,4512,5032,5128,5256]]],
[10164,[[[-3004,1008,1016],[-3004,1008,1016],[-3004,1008,1016
],[-3002,1004],[-1004,1004,1008],[-1004,1004,1008],
[-1004,1004,1008],[-1002,4],[16,1008],
[32,3008,3016],[32,3008,3016],[32,3008,3016],
[64,2032,5016],[64,3016,3032],[64,3016,3032],
[128,1064],[1016,3008],[3001]]]]],
[2048,0,1,-1,
"55s0202A0002802s0D014080s0404"
,[-16,-8,32,64],[-16,32,2064],[-16,256,2032,2064],[4,[-8,-4,16,2128,3032,3064,3256]],[21,[-1008]],[24,[-1004],[-1002],[256],[1008],[1016],[1016],[1016],
[1016],[1032],[1032],[1032],[1032],[1064],[1064],
[1064],[1128],[1128],[1128]],[6,[[-8,-2,1,8,16,1024,4064,4256,4512,5032,7128]]],
[60084,[[[-3004],[-1008,16],[-1008,16],[-1002],[-4,-2,100\
1],[16,1008],[32,3008],[128,1064],[128,3032],[1016],
[1032],[1032,3016],[1032,3016],[1032,3016],[3016],
[3016],[3064],[3064]],
[[-4],[-4,4],[32],[32],[32],[32],[64,128,1032],
[1008],[1032],[1032],[1032],[1032],[1128],
[1128],[1128],[3032],[3032],[3032]]]]],
[2048,0,1,-1,
"57s035000B82As0C15004080"
,[-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],[32],[64],[1064]],[6,[[-8,-2,1,8,16,1032,2024,3128,3512,4256,6064]]],[2322,[[16,256,1064,2032]]],[9322,[[-3016,16,32,1064,1128]]]],
[2048,0,1,-1,
"5Fs02055000A82As0C01004080"
,[-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]],[23,[16],[32],[32],[32],[64],[64],[64],[256]],[29,[16],[32],[64],[64],[64]],
[2322,[[16,32,256,2064],[16,32,256,2064],[16,256,1064,2032
]]],
[20329,[[[-5004,-3002,32],[-3008,1016],[-3008,1016],[-3004,
16],[-1002,-8,-4]],
[[-5004,-3002,32],[-3008,1016],[-3008,1016],
[-3004,16],[-1002,-8,-4]],
[[-3008,1016],[-3008,1016],[-3002,32,5004],
[-1002,-8,4],[16,3004]]]]],
[2048,0,1,-1,
"7Fs0201F000B802s0C01004080"
,[-16,-8,32,64],[-16,32,2064],[-16,256,2032,2064],[22,[-16],[-8],[32],[64]],
[4322,[[-1016,16,128,256,1032],[-1016,16,128,256,1032],[-101\
6,16,1032,2128],[16,32,256,2064]]]],
[2048,0,1,-1,
"5Fs031000F80As0E4080"
,[8,64,2016],[-16,128,2032],[-2016,1064,2128],[4,[-2004,16,512,3032,5064,5128]],[22,[8],[16],[16],[16],[1032]],[6,[[-2004,-2002,1,16,1024,2512,4256,9064,11032,11128]]],
[6322,[[16,256,1064,2032],[16,256,1064,2032],[16,256,1064,2\
032],[256,1032,1064,2016],[256,1032,1064,2016],
[256,1032,1064,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]]]],
[2048,0,1,1,
"55s0202A0002802s0D010080"
,[-16,-8,32,64],[16,32,2064],[16,256,2032,2064],[4,[-8,-4,16,2128,3032,3064,3256]],[9322,[[-1016,32,128,256,2016]]],
[10164,[[[-3004,1008,1016],[-3004,1008,1016],[-3004,1008,1016
],[-3002,1004],[-1004,1004,1008],[-1004,1004,1008],
[-1004,1004,1008],[-1002,4],[16,1008],
[32,3008,3016],[32,3008,3016],[32,3008,3016],
[64,2032,5016],[64,3016,3032],[64,3016,3032],
[128,1064],[1016,3008],[3001]]]]],
[2048,0,1,-1,
"55s05F80As0F80s0404"
,[-16,-8,32,64],[-16,128,2032],[-2016,128,256,1064],[4,[-8,-4,16,512,1064,1256,3032,3128]],[22,[8],[16],[32],[1032]],[6,[[-8,-2,1,8,16,1024,3032,3512,5256,7064,8128]]]],
[2048,0,1,1,
"55s05A812s0F80"
,[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,9064,10128]]]],
[2048,0,1,-1,
"55s03A000A80As0C010040"
,[-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,32,256,2064],[16,32,256,2064]
]],
[20329,[[[-5004,-3002,1016],[-3008,1016],[-3008,1016],[-3004
,16],[-1002,-8,-4]],
[[-3008,1016],[-3008,1016],[-3004,-3002,8,1016],
[-3004,16],[-1002,-8,-4]],
[[-3008,1016],[-3008,1016],[-3004,-3002,8,1016],
[-3004,16],[-1002,-8,-4]]]]],
[2048,0,1,-1,
"55s03A000A802s0F80s0404"
,[-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,512,1024,3128,7032,11256,15064]]],
[6322,[[-3016,16,32,128,256],[-1016,16,128,256,1032],[-1016,
16,128,256,1032],[-1016,16,256,2064],
[-1016,16,256,2064],[-1016,16,1032,1064,1128],
[-1016,16,1032,1064,1128],[16,32,256,2064]]]],
[2048,0,1,-1,
"5Fs02015000580As0F80"
,[8,1032,2016],[-16,1064,2032],[-2016,1032,1128,2064],[22,[8],[16],[16],[16],[32],[32]],[23,[16],[16],[16],[64],[64],[64],[1016],[1016],
[1064],[1064]]],
[2048,0,1,-1,
"55s03A000A80As0C01004080"
,[-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,32,256,2064],[16,256,1064,2032
]]]],
[2048,0,1,1,
"55s03A000A802s0C02050080"
,[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,1512,2024,3032,5128,6256,9064]]],
[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],[128,2064,5032],[1064,3032],[3016,5032]]
]]],
[2048,0,1,-1,
"57s035000B82As0C15004080"
,[-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],[32],[64],[1064]],[6,[[-8,-2,1,8,16,1024,1032,2128,4256,5512,8064]]]],
[2048,0,1,1,
"55s03A000A802s0F80"
,[8,64,2016],[16,128,2032],[1064,2016,2128],[4,[-2004,16,512,3032,5064,5128]],
[6322,[[16,1064,1128,2032],[16,1064,1128,2032],[16,1064,1128
,2032],[64,1128,2016,3032],[64,1128,2016,3032],
[256,1032,1064,2016],[256,1032,1064,2016],
[256,1032,1064,2016],[1032,1064,1128,2016],
[1032,1064,1128,2016],[1032,1064,1128,2016],
[1032,1064,1128,2016]]]],
[2048,0,1,-1,
"5Fs02055000A82As0E4080"
,[-16,-8,32,64],[-16,32,2064],[-16,256,2032,2064],[22,[-16],[-8],[32],[64]],[9322,[[-3016,16,32,2128]]]],
[2048,0,1,1,
"55s032000A812s0F80"
,[-16,-8,32,64],[16,32,64,128],[16,32,1064,2128],[4,[-8,-4,32,256,512,2016,4064,4128]],[6,[[-8,-2,1,8,1024,2016,2512,6032,6256,8128,9064]]],
[6322,[[-1016,16,256,1032,1064],[-1016,16,256,1032,1064],[-1\
016,16,1128,5032],[-1016,16,1128,5032],
[-1016,32,256,1064,2016],[16,32,64,2128],
[16,32,64,2128]]]],
[2048,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]],[208,[30]]],
[2048,0,1,-1,
"55s03B000A80As0E4080"
,[8,1032,2016],[-16,1064,2032],[-2016,1032,1128,2064],[21,[-1008]],[22,[-1008],[-1004],[16],[16],[32],[1016]]],
[2048,0,1,-1,
"55s03A000A80As0C01004080"
,[-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,4064,4512,5128,8256,13032]]],
[2322,[[16,32,256,2064],[16,32,256,2064],[16,256,1064,2032
]]],
[4322,[[-1016,16,1032,1064,1128],[-1016,16,1032,1064,1128],[
-1016,16,1032,1064,1128],[16,32,256,2064],
[16,32,256,2064],[16,256,1064,2032]]]],
[2048,0,1,-1,
"55s03A000A802s0F80s0404"
,[-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,2512,5064,6128,7032,8256]]],
[4322,[[-1016,16,256,1032,1064],[-1016,16,256,1032,1064],[-1\
016,16,256,1032,1064],[16,256,1064,2032]]]],
[2048,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,1024,3512,4016,4128,5032,6256,9064]]],[208,[26]]],
[2048,0,1,-1,
"55s03B000A80As0C010140"
,[-16,-8,2032],[-16,32,2064],[-16,256,2032,2064],[21,[-1008]],[24,[-1004],[-1002],[8],[8],[32],[32],[256],[1016],
[1016],[1016],[1016],[1032],[1032],[1032],[1064],
[1064],[1064],[1128],[1128],[1128]],[208,[21]],
[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,2032,5016],
[64,3016,3032],[64,3016,3032],[1064,3032],[3001],
[3008,5016],[3008,5016],[3008,5016]]]]],
[2048,0,1,1,
"55s03A000A802s0D01"
,[-16,-8,2032],[16,32,2064],[16,256,2032,2064],[4,[4,1016,2008,2064,2128,3256,4032]],[6,[[1016,2001,3008,4512,5064,6128,7256,14032]]],[208,[21]],
[6322,[[-1016,16,1032,1064,1128],[-1016,16,1032,1064,1128],[
-1016,16,1032,1064,1128],[16,32,128,4064],
[16,32,128,4064],[16,32,256,2064],[16,32,256,2064],
[16,32,256,2064],[16,32,256,2064],[16,256,1064,2032],
[16,256,1064,2032],[64,256,2016,3032],
[64,256,2016,3032],[64,2016,2128],[64,2016,2128]]]],
[2048,0,1,-1,
"55s03A000A802s0E40"
,[8,64,2016],[-16,1064,2032],[-2016,1032,1128,2064],[4,[-2004,16,1256,2128,5032,10064]],[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],[128,1032,2016,3064],
[128,1032,2016,3064],[256,1032,1064,2016],
[256,1032,1064,2016],[256,1032,1064,2016],
[256,1032,1064,2016],[1032,1064,1128,2016],
[1032,1064,1128,2016]]]],
[2048,0,1,1,
"55s05A812s0F80"
,[8,16,32,64],[16,32,64,128],[16,32,128,256,1064],[4,[-8,-4,32,512,1256,2016,2064,3128]],[6,[[-1004,-8,-2,1,1512,2016,2024,4032,5256,6128,10064]]]],
[2048,0,1,-1,
"55s0380002812s0D014080s0404"
,[-16,-8,32,64],[-16,32,2064],[-16,256,2032,2064],[4,[-8,-4,16,2064,2128,3256,5032]],[24,[-1004],[-1002],[256],[1008],[1016],[1016],[1016],
[1016],[1016],[1016],[1032],[1032],[1032],[1064],
[1064],[1064],[1128],[1128],[1128]]],
[2048,0,1,1,
"55s032000A812s0F80"
,[-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,1512,2016,2024,4032,5128,6256,8064]]],[208,[26]]],
[2048,0,1,-1,
"55s03B000A80As0E4080"
,[8,16,2032],[-16,1064,2032],[-2016,1032,1128,2064],[21,[-1008]],[22,[-1008],[-1004],[32],[1016],[1016]]],
[2048,0,1,-1,
"55s02015000A80As0E4080"
,[8,64,2016],[-16,128,2032],[-2016,1064,2128],[22,[8],[16],[16],[16],[1032]],[2169,[[16,32,64,128],[16,32,64,128],[16,128,2032]]]],
[2048,0,1,1,
"55s032000A812s0D010080"
,[-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,2024,2512,3128,4032,5256,8064]]],[208,[30]]],
[2048,0,1,-1,
"5Fs020150005802s0E4080s0404"
,[-16,-8,32,64],[-16,1064,2032],[-2016,1032,1128,2064],[22,[-16],[-8],[32],[1032]]],
[2048,0,1,1,
"55s03A000A802s0F80"
,[-16,-8,32,64],[16,1064,2032],[1032,1128,2016,2064],[4,[-8,-4,16,1128,2256,5032,8064]],
[6322,[[-1016,16,128,256,1032],[-1016,16,128,256,1032],[-101\
6,16,1032,1064,1128],[-1016,16,1032,1064,1128],
[-1016,32,128,256,2016],[16,32,1128,2064],
[256,2016,2064],[256,2016,2064]]]],
[2048,0,1,1,
"55s05A802s0F80"
,[-16,-8,32,64],[16,128,2032],[128,256,1064,2016],[4,[-8,-4,512,1064,1256,2016,2032,3128]],[6,[[-8,-2,1,8,1024,2016,3512,4032,5256,7128,8064]]]],
[2048,0,1,-1,
"55s02015000A82As0C07004080s0404"
,[-16,-8,32,64],[-16,32,64,128],[-16,32,128,256,1064],[4,[-8,-4,16,512,1032,1128,2064,2256]],[21,[16]],[22,[8],[16],[32],[64]],[23,[16],[32],[64],[128],[256],[1032]]],
[2048,0,1,1,
"55s03A000A802s0D010080"
,[-16,-8,2032],[16,32,2064],[16,256,2032,2064],[4,[4,2008,2064,2128,3256,5032]],[6,[[2001,3008,5256,5512,6128,7064,11032]]],[208,[21]],
[20323,[[[-7004,32],[-3008,1032,9016],[-3002,-1008,-1004],[
-1008,-1004,8],[-1008,-1004,8],[-1008,2016],
[-1008,2016],[-1002,-8,-4]],
[[-3008,1016],[-3008,2032,7016],[-3004,32,1008],
[-3002,-1008,-1004],[-1008,-1004,8],[-1008,-1004,8],
[-1008,2016],[-1002,-8,-4]],
[[-3008,2032,7016],[-3004,32,1008],[-3002,-1008,-1004],
[-1008,8,1004],[-1008,8,1004],[-1002,-8,-4],
[1008,2016],[1016,3008]]]]],
[2048,0,1,-1,
"55s02055000A82As0C15054080s0404"
,[-16,-8,32,64],[-2016,64,128],[-16,32,128,256,1064],[4,[-8,-4,16,512,1032,1128,2064,2256]],[21,[16]],[22,[8],[16],[32],[64]],[23,[16],[32],[64],[64],[128],[256]]],
[2048,0,1,-1,
"55s05A80As0C02050080s0404"
,[-16,-8,32,64],[-16,32,64,128],[-16,32,128,256,1064],[4,[-8,-4,16,512,1032,1128,2064,2256]],[21,[-1008]],[24,[-1004],[-1002],[16],[64],[1016],[1016],[1032],
[1032],[1064],[1064],[1128],[1128],[1128],[1256]],[6,[[-8,-2,1,8,16,1024,1128,3032,4512,6256,9064]]]],
[2048,0,1,-1,
"57s035000B82As0C15004080s0404"
,[-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],[32],[64],[1064]],[6,[[-8,-2,1,8,16,1032,2024,2512,5128,5256,6064]]],
[10164,[[[-3008,1016,1032],[-3004,32,1008],[-1008,1008,1016]
,[-1004,8],[-1004,16,1004],[-1002,-4],[-2,1001],
[16,1008],[32,1016],[128,1064],[128,3032,3064],
[1032,3016],[1064,3032],[3016,5032]]]],[2322,[[16,256,1064,2032]]],
[20164,[[[-1008,16,32],[-1004,8,16],[-1004,8,2016],[-1002,
4,8,16],[-4,4],[-2,1001],[32,1016,2064],
[32,3008],[1008],[1032,3016],[1032,6064],
[1064,3032],[1128],[3032]]]]],
[2048,0,1,1,
"55s03A000A802s0D010080"
,[-16,-8,2032],[16,32,2064],[16,256,2032,2064],[4,[4,2008,2064,2128,3256,5032]],[6,[[2001,3008,5256,5512,6128,7064,11032]]],[208,[21]],
[20323,[[[-7004,32],[-3008,1032,9016],[-3002,-1008,-1004],[
-1008,8,1004],[-1008,8,1004],[-1002,-8,-4],
[1008,2016],[1008,2016]],
[[-3008,1016],[-3008,2032,7016],[-3004,32,1008],
[-3002,-1008,-1004],[-1008,-1004,8],[-1008,-1004,8],
[-1008,2016],[-1002,-8,-4]],
[[-3008,1016],[-3008,2032,7016],[-3004,32,1008],
[-3002,-1008,-1004],[-1008,-1004,8],[-1008,-1004,8],
[-1008,2016],[-1002,-8,-4]]]]],
[2048,0,1,1,
"55s0380002812s0D010080"
,[-16,-8,2032],[16,32,2064],[16,256,2032,2064],[4,[4,2008,2064,2128,3256,5032]],[6,[[2001,3008,5128,5256,5512,9064,11032]]],[208,[31]]],
[2048,0,1,1,
"55s0202A0002802s0D010080"
,[-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],[16,256,1064,2032
]]],
[20324,[[[-7008,1064,3016],[-3008,32,3016],[-3008,32,3016],
[-3008,1016],[-3008,1016],[-3004,-3002,8,32],
[-3004,16],[-3004,16,1032,3008],[-1008],[-1008],
[-1008,1008],[-1008,1008],[-1004],[-1004],
[-1004,8,16],[-1002],[-4,-2,1001],[32,1016,2064],
[64,3016,3032],[1016],[3016,5032]],
[[-7008,1064,3016],[-3008,32,3016],[-3008,32,3016],
[-3008,1016],[-3008,1016],[-3004,-3002,8,32],
[-3004,16],[-3004,16,1032,3008],[-1008],[-1008],
[-1008,1008],[-1008,1008],[-1004],[-1004],
[-1004,8,16],[-1002],[-4,-2,1001],[64,3016,3032],
[1016],[1016,1064,2032],[3016,5032]],
[[-3008,1064,5016],[-3004,1032,5008],[-3002,32,5004],
[-1008,1008],[-1008,1008],[-1004],[-1004],[-1002],
[-1002,4,8],[-1002,4,8],[-4,-2,1001],[16,3004],
[32,3008,3016],[32,3008,3016],[64,1032,7016],
[64,1032,7016],[1016],[1016],[1016,1064,2032],
[1016,3008],[1016,3008]]]],
[6322,[[-1016,16,1032,1064,1128],[-1016,16,1032,1064,1128],[
-1016,16,1032,1064,1128],[16,32,128,4064],
[16,32,128,4064],[16,32,256,2064],[16,32,256,2064],
[16,32,256,2064],[16,32,256,2064],[16,256,1064,2032],
[16,256,1064,2032],[64,2016,2128],[64,2016,2128],
[256,1032,1064,2016],[256,1032,1064,2016]]]],
[2048,0,1,1,
"55s0202A0002802s0D010080"
,[-16,-8,2032],[16,32,2064],[16,256,2032,2064],[4,[4,2008,2064,2128,3256,5032]],[6,[[2001,3008,5064,5256,5512,7128,11032]]],[208,[31]],
[20324,[[[-7008,1064,3016],[-3008],[-3008,32,3016],[-3008,3\
2,3016],[-3008,1016],[-3008,1016],[-3004,-3002,8,32],
[-3004,16],[-3004,16,1032,3008],[-1008,1008],
[-1008,1008],[-1004],[-1004],[-1004,8,16],[-1002],
[-4,-2,1001],[64,3016,3032],[1016],
[1016,1064,2032],[3016,5032]],
[[-7008,1064,3016],[-3008],[-3008,32,3016],
[-3008,32,3016],[-3008,1016],[-3008,1016],
[-3004,-3002,8,32],[-3004,16],[-3004,16,1032,3008],
[-1008,1008],[-1008,1008],[-1004],[-1004],
[-1004,8,16],[-1002],[-4,-2,1001],[64,3016,3032],
[1016],[1016,1064,2032],[3016,5032]],
[[-5004,-3002,32],[-3008,32,3016],[-3008,32,3016],
[-3008,1016],[-3008,1016],[-3008,1064,5016],
[-3004,16],[-3004,16],[-3004,1032,5008],
[-1008,1008],[-1008,1008],[-1004],[-1004],[-1002],
[-4,-2,1001],[32,1016,2064],[64,1032,7016],
[64,1032,7016],[1016],[1016]]]]],
[2048,0,1,1,
"55s0380002812s0D010080"
,[-16,-8,2032],[16,32,2064],[16,256,2032,2064],[4,[4,2008,2064,2128,3016,3032,3256]],[208,[31]]],
[2048,0,1,-1,
"55s032000A812s0C0B0140"
,[-16,-8,32,64],[-16,32,64,128],[-16,32,128,256,1064],[21,[-1008]],[208,[30]],[9322,[[-3016,16,32,2128]]]],
[2048,0,1,-1,
"55s032000A81As0C0A0140"
,[-16,-8,32,64],[-16,32,64,128],[-16,32,128,256,1064],[21,[-1008]],[6,[[-8,-2,1,8,16,1024,1032,2128,4256,5512,8064]]],[208,[30]]],
[2048,0,1,-1,
"57s03F000B82As0C15004080s0404"
,[-16,-8,32,64],[-16,32,64,128],[-16,32,128,256,1064],[4,[-8,-4,16,512,1032,1128,2064,2256]],[21,[16]],[22,[8],[16],[32],[1032]],[29,[16],[32],[64],[1064]],[6,[[-8,-2,1,8,16,1032,2024,2512,5128,5256,6064]]],
[10164,[[[-3008,1016,1032],[-3004,32,1008],[-1008,1008,1016]
,[-1004,8],[-1004,16,1004],[-1002,-4],[-2,1001],
[16,1008],[32,1016],[128,1064],[128,2064,5032],
[1032,3016],[1064,3032],[3016,5032]]]],[2169,[[-16,32,64,128]]],[2322,[[16,256,1064,2032]]]],
[2048,0,1,-1,
"7Fs02015000B80As0F80"
,[-16,-8,2032],[-16,32,2064],[-16,256,2032,2064],[21,[16]],[22,[8],[16],[32],[32],[32]],[6,[[1064,2001,3008,3512,6128,10256,15032]]],
[2322,[[16,32,256,2064],[16,32,256,2064],[16,32,256,2064]
]]],
[2048,0,1,-1,
"5Fs03B000F80As0C05024080"
,[8,16,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]],[6,[[-1004,-8,-2,1,16,1032,2024,2512,4256,6128,8064]]],
[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],[128,2064,5032],[1064,3032],[3016,5032]]
]]],
[2048,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,[35]]],
[2048,0,1,-1,
"5Fs031000F80As0C05024080"
,[8,16,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]],[6,[[-1004,-8,-2,1,16,1024,1032,4256,4512,5128,10064]]]],
[2048,0,1,-1,
"5Fs031000F80As0C05024080"
,[-16,-8,32,64],[-16,32,64,128],[-16,32,128,256,1064],[4,[-8,-4,16,512,1032,1128,2064,2256]],[22,[-16],[-8],[32],[64]],[23,[16],[32],[64],[256],[1032],[1064]],[6,[[-8,-2,1,8,16,1032,2024,2128,3512,4256,8064]]],[208,[28]],[9322,[[-3016,16,32,2128]]]],
[2048,0,1,-1,
"5Fs031000F80As0C05020080"
,[-16,-8,32,64],[-16,32,64,128],[-16,32,128,256,1064],[22,[-16],[-8],[32],[64]],[23,[16],[32],[64],[256],[1032],[1064]],[6,[[-8,-2,1,8,16,1024,1032,1128,4256,5512,10064]]],[208,[28]]],
[2048,0,1,-1,
"57s03F000182As0F80s0404"
,[-16,-8,32,64],[-16,32,64,128],[-16,32,1064,2128],[22,[8],[16],[32],[1032]],
[6322,[[-3016,16,32,128,256],[-1016,16,64,1128,3032],[-1016,
16,1032,1064,1128],[16,32,256,2064]]]],
[2048,0,1,-1,
"5Fs031000F80As0C050240"
,[8,16,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]],[6,[[-1004,-8,-2,1,16,1032,2024,2512,4256,6128,8064]]],
[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],[128,3032,3064],[1064,3032],[3016,5032]]
]],
[20164,[[[-1008,16,32],[-1004,8,16],[-1004,8,2016],[-1002,
4,8,16],[-4,4],[-2,1001],[32,1016,2064],
[32,3008],[1008],[1032,3016],[1032,6064],[1064],
[1064],[1064,3032],[3032]]]],
[20323,[[[-3004,32,1008],[-3002,-1008,-1004],[-1008,3032,6016
],[-1002,-8,-4],[1008,2016],[1016,2032]]]]],
[2048,0,1,-1,
"5Fs031000782As0E4080"
,[8,16,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]],[6,[[-1004,-8,-2,1,16,1032,2024,2512,3256,7128,10064]]]],
[2048,0,1,-1,
"5Fs0201F000580As0E4080"
,[8,64,2016],[-16,128,2032],[-2016,1064,2128],[22,[8],[16],[16],[16],[1032]],
[6322,[[16,256,1064,2032],[16,256,1064,2032],[16,256,1064,2\
032],[64,256,2016,3032],[64,1128,2016,3032],
[256,1032,1064,2016],[256,1032,1064,2016],
[1032,1064,1128,2016],[1032,1064,1128,2016],
[1032,1064,1128,2016],[1032,1064,1128,2016],
[1032,1064,1128,2016]]]],
[2048,0,1,-1,
"7Fs02015000B80As0C01004080"
,[-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]],[23,[16],[32],[32],[32],[64],[64],[64],[256]],[29,[16],[32],[64],[64],[64]],[6,[[2001,2064,3008,4512,6128,8256,13032]]],
[2322,[[16,32,256,2064],[16,32,256,2064],[16,256,1064,2032
]]]],
[2048,0,1,-1,
"57s035000782As0F80s0404"
,[-16,-8,32,64],[-16,32,64,128],[-16,32,128,256,1064],[4,[-8,-4,16,512,1064,1128,2256,3032]],[22,[8],[16],[32],[1032]]],
[2048,0,1,1,
"55s03A000A812s0C0A010080"
,[-16,-8,32,64],[16,32,64,128],[16,32,128,256,1064],[4,[-8,-4,16,512,1032,1128,2064,2256]],[6,[[-8,-2,1,8,16,1032,2024,2512,4128,5256,8064]]],[208,[26]],
[10164,[[[-3008,1016,1032],[-3004,32,1008],[-1008,1008,1016]
,[-1004,8],[-1004,16,1004],[-1002,-4],[-2,1001],
[16,1008],[32,1016],[128,1064],[128,2064,5032],
[1032,3016],[1064,3032],[3016,5032]]]],
[20163,[[[-1008,1032,2016],[-1004,32,2008],[-1002,-8,-4],[
8,16,1004],[1008,2016],[1032,2064]]]]],
[2048,0,1,1,
"55s0202A0002802s0D010080"
,[-16,-8,32,64],[16,32,64,128],[16,32,128,256,1064],[4,[-8,-4,32,512,1128,2016,2064,2256]],[208,[35]],[2322,[[16,256,1064,2032]]],
[10163,[[[-3004,32,1008],[-1008,1032,2016],[-1004,-1002,4,16
],[-1004,1016,2008],[-4,-2,8,1001],
[64,1016,4032]]]]],
[2048,0,1,1,
"55s0202A0002802s0D010080"
,[-16,-8,2032],[16,32,2064],[16,256,2032,2064],[4,[4,2008,2064,2128,3256,5032]],[6,[[2001,3008,5064,5256,5512,7128,11032]]],[208,[31]],
[20324,[[[-7008,1064,3016],[-3008],[-3008,32,3016],[-3008,3\
2,3016],[-3008,1016],[-3008,1016],[-3004,-3002,8,32],
[-3004,16],[-3004,16,1032,3008],[-1008,1008],
[-1008,1008],[-1004],[-1004],[-1004,8,16],[-1002],
[-4,-2,1001],[32,1016,2064],[64,3016,3032],[1016],
[3016,5032]],
[[-7008,1064,3016],[-3008],[-3008,32,3016],
[-3008,32,3016],[-3008,1016],[-3008,1016],
[-3004,-3002,8,32],[-3004,16],[-3004,16,1032,3008],
[-1008,1008],[-1008,1008],[-1004],[-1004],
[-1004,8,16],[-1002],[-4,-2,1001],[32,1016,2064],
[64,3016,3032],[1016],[3016,5032]],
[[-5004,-3002,32],[-3008,32,3016],[-3008,32,3016],
[-3008,1016],[-3008,1016],[-3008,1064,5016],
[-3004,16],[-3004,16],[-3004,1032,5008],
[-1008,1008],[-1008,1008],[-1004],[-1004],[-1002],
[-4,-2,1001],[32,1016,2064],[64,1032,7016],
[64,1032,7016],[1016],[1016]]]],
[40324,[[[-5002,4,1008],[-3002,1004,1008],[-1004,-1002,8,200\
4],[-1004,2008],[-1002,4],[-1002,4],[-1002,4],
[-1002,1004,1008,3001],[32,64,5016,7008],
[32,1016,7008],[1004,2008],[1016,7004],[3001],
[3008,3032,5016],[3008,3032,5016],[3008,5016],
[3008,5016],[3064],[7008],[7008]],
[[-5002,4,1008],[-3002,1004,1008],[-1004,-1002,8,2004],
[-1004,2008],[-1002,4],[-1002,4],[-1002,4],
[-1002,1004,1008,3001],[32,64,5016,7008],
[32,1016,7008],[1004,2008],[1016,7004],[3001],
[3008,3032,5016],[3008,3032,5016],[3008,5016],
[3008,5016],[3064],[7008],[7008]],
[[-4004,-2,8,1001],[-3004,1008],[-3004,1008],[-1004],
[-1004,2008],[-1004,2008],[-1004,2008],[-1002],
[8],[8],[32,3008],[64,1032,7016],[64,3016],
[3016],[3016],[3016,5032],[3016,5032],[3032],
[3032],[3064]],
[[-4004,-2,8,1001],[-3004,1008],[-3004,1008],[-1004],
[-1004,2008],[-1004,2008],[-1004,2008],[-1002],
[8],[8],[32,3008],[64,1032,7016],[64,3016],
[3016],[3016],[3016,5032],[3016,5032],[3032],
[3032],[3064]],
[[-3004,1008],[-3004,1008],[-3002,4,1008,3001],
[-3002,1004,1008],[-3002,1004,1008],[-3002,1004,1008],
[1004],[1004],[1004],[1016,7004],[1032,7008],
[1032,11016],[3001],[3016,3032,7008],
[3016,3032,7008],[3064],[7008],[7008],[7016],
[7016]],
[[-3002,1004,1008],[-1004,-1002,8,2004],[-1004,-1002,8,
2004],[-1004,2008],[-1004,2008],[-1002,4],
[-1002,4],[-1002,4],[-1002,1004,1008,3001],
[32,1016,7008],[1016,7004],[2032,9016],[3001],
[3008,3032,5016],[3008,3032,5016],[3008,5016],
[3008,5016],[3064],[7008],[7008]]]]],
[2048,0,1,-1,
"7Fs035000B82As0C05054080s0404"
,[-16,-8,32,64],[-16,32,64,128],[-16,32,128,256,1064],[4,[-8,-4,16,1032,1128,2064,4256]],[21,[16]],[22,[8],[16],[32],[64]],[23,[16],[32],[64],[64],[128],[256]]],
[2048,0,1,-1,
"5Fs031000782As0E4080"
,[8,16,32,64],[-16,32,64,128],[-16,32,128,256,1064],[4,[-8,-4,16,512,1064,1256,3032,3128]]],
[2048,0,1,-1,
"57s035000782As0D014080"
,[-16,-8,32,64],[-16,32,64,128],[-16,32,128,256,1064],[4,[-8,-4,16,512,1032,1128,2064,2256]],[22,[-16],[-8],[32],[1032]],[6,[[-8,-2,1,8,16,1032,2024,3256,3512,4128,8064]]],[208,[30]]],
[2048,0,1,-1,
"FFs031000080As0E4080"
,[8,32,4016],[-16,6032],[-6016,6064],[4,[-3004,4,8,3064,5128,23032]],[21,[16]]],
[2048,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,7256,10128,12032,14064]]]],
[2048,0,1,-1,
"5Fs020150005802s0E4080"
,[8,16,2032],[-16,1064,2032],[-2016,1032,1128,2064],[22,[8],[16],[32],[1016],[1016]]],
[2048,0,1,-1,
"5Fs03B000782As0E4080"
,[8,16,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]],[6,[[-1004,-8,-2,1,16,1032,2024,2512,3256,8064,8128]]],
[10164,[[[-3004,32,1008],[-1008,1008,1016],[-1004,8],[-1004
,16,1004],[-1002,-4],[-2,1001],[32,1016],
[32,5016],[64,1032],[64,1032],[64,5032],
[128,2064,5032],[1016,1032,3008],[3008],[3016,5032]
]]]],
[2048,0,1,-1,
"55s033000281As0F80s0404"
,[-16,-8,2032],[-16,32,2064],[-16,1128,2032,2064],[21,[-1008]]],
[2048,0,1,-1,
"57s02015000B80As0C15054080s0404"
,[-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],[64],[128],[256]],[24,[-8],[-4],[16],[32],[32],[64],[64],[64],
[128],[128],[256],[256],[1128],[1256]]],
[2048,0,1,1,
"55s038000A812s0F80"
,[-16,-8,32,64],[16,32,64,128],[16,32,128,256,1064],[4,[-8,-4,512,1064,1128,2016,2032,2256]],[208,[35]],
[6169,[[16,32,64,128],[16,32,64,128],[16,32,64,128],[16,
32,2064],[16,32,2064]]],
[6163,[[16,32,128,256,1064],[16,32,128,256,1064],[16,32,25\
6,3064],[16,128,2032,4064],[16,256,2032,2064]]]],
[2048,0,1,-1,
"5Fs02055000A82A"
,[-16,-8,2032],[-16,32,2064],[-16,256,2032,2064],[21,[16]],[22,[8],[16],[32],[32],[32]],
[2322,[[16,32,256,2064],[16,32,256,2064],[16,32,256,2064]
]],
[20329,[[[-5004,-3002,32],[-3008,1016],[-3008,1016],[-3004,
16],[-1002,-8,-4]],
[[-5004,-3002,32],[-3008,1016],[-3008,1016],
[-3004,16],[-1002,-8,-4]],
[[-5004,-3002,32],[-3008,1016],[-3008,1016],
[-3004,16],[-1002,-8,-4]]]]],
[2048,0,1,-1,
"55s0320002812s0E4080s0404"
,[-16,-8,32,64],[-16,32,2064],[-16,1128,2032,2064],[21,[-1008]]],
[2048,0,1,-1,
"7Fs02015000B80As0C010040"
,[-16,-8,2032],[-16,32,2064],[-16,256,2032,2064],[21,[16]],[22,[8],[16],[32],[32],[32]],[6,[[2001,3008,3064,5512,6128,6256,11032]]],
[20164,[[[-1004,8,16],[-1004,8,16],[-1004,8,16],[-1002,4,
2008],[-1002,4,2008],[-1002,4,2008],
[64,1016,4032],[1004],[1004],[1004],[1016,3008],
[1016,3008],[1016,3008],[1016,6032],[1016,6032],
[1032,3016],[1032,3016],[1032,3016],[1128],[3001]
]]],
[2322,[[16,32,256,2064],[16,32,256,2064],[16,32,256,2064]
]],
[20329,[[[-5004,-3002,32],[-3008,1016],[-3008,1016],[-3004,
16],[-1002,-8,-4]],
[[-3008,1016],[-3008,1016],[-3004,-3002,8,32],
[-3004,16],[-1002,-8,-4]],
[[-3008,1016],[-3008,1016],[-3004,-3002,8,32],
[-3004,16],[-1002,-8,-4]]]]],
[2048,0,1,1,
"55s032000A812s0C0A010080"
,[-16,-8,32,64],[16,32,64,128],[16,32,128,256,1064],[4,[-8,-4,16,512,1032,1128,2064,2256]],[6,[[-8,-2,1,8,16,1032,2024,2512,4128,5256,8064]]],[208,[26]],
[10164,[[[-3008,1016,1032],[-3004,32,1008],[-1008,1008,1016]
,[-1004,8],[-1004,16,1004],[-1002,-4],[-2,1001],
[16,1008],[32,1016],[128,1064],[128,3032,3064],
[1032,3016],[1064,3032],[3016,5032]]]],
[20164,[[[-1008,16,32],[-1004,8,16],[-1004,8,2016],[-1002,
4,8,16],[-4,4],[-2,1001],[32,3008],[1008],
[1016,1064,2032],[1032,3016],[1032,6064],
[1064,3032],[1128],[3032]]]],
[20323,[[[-3004,32,1008],[-3002,-1004,16],[-1008,64,2016,303\
2],[-1002,-8,-4],[1008,2016],[1016,2032]]]]],
[2048,0,1,-1,
"5Fs02055000A82As0C01004080"
,[-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]],[23,[16],[32],[32],[32],[64],[64],[64],[256]],[29,[16],[32],[64],[64],[64]],
[2322,[[16,32,256,2064],[16,256,1064,2032],[16,256,1064,203\
2]]]],
[2048,0,1,1,
"55s032000A812s0D010080"
,[-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,4032,4128,4512,5256,6064]]],[208,[35]]],
[2048,0,1,-1,
"57s035000782As0E4080"
,[-16,-8,32,64],[-16,32,64,128],[-16,32,128,256,1064],[4,[-8,-4,16,512,1064,1128,2256,3032]],[208,[30]]],
[2048,0,1,-1,
"57s03F000782As0F80s0404"
,[-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]],[6,[[-8,-2,1,8,16,1032,2024,2512,4256,6064,7128]]],
[10164,[[[-3004,32,1008],[-1008,1008,1016],[-1004,8],[-1004
,16,1004],[-1002,-4],[-2,1001],[32,1016],
[64,5032],[128,1064],[128,2064,5032],
[1016,1032,3008],[1032,3016],[3008],[3016,5032]]]]],
[2048,0,1,-1,
"5Fs031000782As0F80s0404"
,[-16,-8,32,64],[-16,32,64,128],[-16,32,128,256,1064],[4,[-8,-4,16,512,1064,1128,2256,3032]],[208,[28]]],
[2048,0,1,-1,
"57s02055000B82As0C07004080s0404"
,[-16,-8,32,64],[-16,32,64,128],[-16,32,128,256,1064],[4,[-8,-4,16,512,1032,1128,2064,2256]],[21,[16]],[22,[8],[16],[32],[64]],[23,[16],[32],[64],[64],[128],[256]],[2322,[[16,256,1064,2032]]],[9322,[[-3016,16,32,128,3064]]]],
[2048,0,1,1,
"55s03A000A812s0F80"
,[-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,1512,2016,2024,4032,6064,6128,6256]]],[208,[26]],
[10164,[[[-3004,32,1008],[-1008,1008,1016],[-1004,8],[-1004
,8],[-1004,8],[-1004,16,1004],[-1002,-4],
[-2,1001],[32,1016],[64,5032],[128,1064],
[128,2064,5032],[1016,1032,3008],[1032,3016],
[3016,5032]]]]],
[2048,0,1,-1,
"5Fs02015000580As0E4080"
,[8,16,2032],[-16,1064,2032],[-2016,1032,1128,2064],[22,[8],[16],[32],[32],[32]],[23,[16],[16],[16],[64],[64],[64],[1016],[1016],
[1064],[1064]]],
[2048,0,1,-1,
"5Fs035000A82As0C17004080s0404"
,[-16,-8,32,64],[-16,32,64,128],[-16,32,128,256,1064],[4,[-8,-4,16,512,1032,1128,2064,2256]],[21,[16]],[22,[8],[16],[32],[64]],[6,[[-8,-2,1,8,16,1024,1032,3128,4512,6064,6256]]]],
[2048,0,1,-1,
"5Fs02015000580As0E4080"
,[8,1032,2016],[-16,1064,2032],[-2016,1032,1128,2064],[4,[-1004,4,1008,1256,2128,7032,9064]],[22,[8],[16],[16],[16],[32],[1016]]],
[2048,0,1,-1,
"5Fs031000782As0D010080s0404"
,[-16,-8,32,64],[-16,32,64,128],[-16,32,128,256,1064],[4,[-8,-4,16,512,1032,1128,2064,2256]],[22,[-16],[-8],[32],[1032]],[6,[[-8,-2,1,8,16,1032,2024,3128,3256,3512,10064]]],[208,[28]]],
[2048,0,1,-1,
"57s035000782As0F80s0404"
,[-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]],[6,[[-8,-2,1,8,16,1032,2024,2512,4256,6128,8064]]]],
[2048,0,1,-1,
"FFs031000080As0E4080"
,[8,16,2032],[-16,6032],[-6016,6064],[21,[16]]],
[2048,0,1,1,
"55s03A0002812s0F80"
,[-16,-8,32,64],[16,32,64,128],[16,32,1064,2128],[4,[-8,-4,16,256,512,1032,4064,4128]],
[6322,[[-1016,16,64,1128,3032],[-1016,16,1032,1064,1128],[-1\
016,32,128,256,2016],[16,32,1128,2064]]]],
[2048,0,1,1,
"55s0320002812s0F80"
,[-16,-8,2032],[16,32,2064],[16,1128,2032,2064],[4,[-2008,-4,1256,3032,3128,9064]],
[6322,[[-1016,16,128,1032,3064],[-1016,32,2016,2128],[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]]]],
[2048,0,1,-1,
"57s035000182As0E4080"
,[-16,-8,32,64],[-16,32,2064],[-16,1128,2032,2064],[22,[-16],[-8],[32],[1032]]],
[2048,0,1,1,
"55s032000A812s0C0A010080"
,[-16,-8,32,64],[16,32,64,128],[16,32,128,256,1064],[4,[-8,-4,16,512,1032,1128,2064,2256]],[6,[[-8,-2,1,8,16,1024,1032,3128,4512,5256,10064]]],[208,[26]]],
[2048,0,1,-1,
"57s035000182As0F80s0404"
,[-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,512,1024,4032,5128,10256,16064]]]],
[2048,0,1,-1,
"57s035000182As0F80"
,[-16,-8,2032],[-16,32,2064],[-16,1128,2032,2064],[4,[-2008,-4,1256,3032,3128,9064]],[22,[-16],[-8],[32],[32],[32]],[23,[16],[64],[64],[64],[1016],[1016],[1016],
[1064],[1064]]],
[2048,0,1,1,
"55s0320002812s0F80"
,[-16,-8,32,64],[16,32,2064],[16,1128,2032,2064],[4,[-8,-4,16,1128,2256,3032,9064]],
[6322,[[-1016,16,128,1032,3064],[-1016,32,128,256,2016],[16,
32,256,2064],[16,32,256,2064],[16,32,1128,2064]]]],
[2304,0,1,1,
"15s0248s0302s080C"
,[24,96],[48,192],[16,256,288],[4,[4,64,72,144,1152,1192]],[6,[[3,72,192,288,1012,1144,1152,2304,2576,3096]]]],
[2304,0,1,1,
"15011040s02A882s040140002008s0680"
,[-24,-8,24,64],[16,128,1048],[16,64,1048,1192],[4,[-12,-4,12,128,288,1016,1048,1096,1144,1384]],
[6,[[-36,-18,-12,-2,1,12,18,32,1016,1064,1096,1152,1192,1288,
1384,2576,3048,7144]]],
[10162,[[[-3003,12],[-1003,-12,-6],[-4,-3,1],[1008,1024]
]]]],
[2304,0,1,1,
"55015040s02A882s0540002008s0680"
,[-24,-8,24,1032],[16,1048,1064],[16,64,192,1048,1096],[208,[47]],[412,[203,236]]],
[2304,0,1,1,
"15011040s022802s040441s0208s0680"
,[-24,-8,24,64],[16,128,1048],[16,64,1048,1192],[208,[46]]],
[2304,0,1,1,
"15011040s02A882s040140002008s0680s0302"
,[-24,-8,24,64],[16,128,1048],[16,64,1048,1192],[4,[-12,-4,12,128,288,1016,1048,1096,1144,1384]],
[6,[[-36,-18,-12,-2,1,12,18,32,1016,1064,1096,1152,1192,1384,
2288,2576,3048,5144]]],[412,[203,238]]],
[2304,0,1,1,
"55015040s02A882s0540002008s0680s0302"
,[-24,-8,24,64],[16,1048,1064],[16,64,192,1048,1096],[4,[-12,-4,12,288,1016,1048,1064,1096,1144,3192]],[208,[47]]],
[2304,0,1,1,
"15011040s022802s040441s0208s0A02"
,[8,64,1024],[16,128,1048],[16,64,1048,1192],[4,[-12,-4,12,128,288,1016,1048,1096,1144,1384]],[208,[45]],[412,[163,240]]],
[2304,0,1,-1,
"15011040s02888As040441002008s0302s0280s0404"
,[-48,-8,64],[-16,96,128],[-1048,-16,64,384],[21,[-1008]]],
[2304,0,1,1,
"15011040s028882s040441002008s0302s0280s0302"
,[8,48,64],[16,96,128],[16,64,384,1048],[4,[12,16,32,128,192,576,1048,1384]]]];