CoCalc -- trans16f.grp

Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.

GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it
Project: cocalc-sagemath-dev-slelievre
Views: ⁴¹⁸³⁴⁶
#############################################################################
##
#A  trans16f.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]{[1501..1800]}:=
[[(1,13,5,12,2,16,3,15,7,14,8,10)(4,11,6,9),
(1,10,6,15,2,12,4,14,5,9,8,13,3,11)(7,16),"t16n1501"],
[(1,9)(2,14,4,16,7,15)(3,12)(5,10,8,11,6,13),(1,4,5,7,2,3)(6,8)(9,14,11)
(10,15,13),"t16n1502"],
[(1,8,11,5,13,9,3,2,7,12,6,14,10,4)(15,16),(1,7,6,12,14,16)(2,8,5,11,13,15)
(3,9)(4,10),"t16n1503"],
[(1,2)(3,14,7,4,13,8)(5,11,10,6,12,9)(15,16),(1,12,7,3,10,13)(2,11,8,4,9,14
)(5,15)(6,16),"t16n1504"],
[(1,9,5,11,3,14,7,12)(2,13,6,15,8,10,4,16),(1,9,3,16,7,15)(2,10,8,11,4,12)
(5,14)(6,13),"t16n1505"],
[(1,7,3,13,2,8,4,14)(5,10,16,11,6,9,15,12),(1,13,3,6,16,11,9,2,14,4,5,15,
12,10)(7,8),"t16n1506"],
[(1,11,10,13,5,4,8,2,12,9,14,6,3,7)(15,16),(1,9,15,7)(2,10,16,8)(3,12,5,14)
(4,11,6,13),"t16n1507"],
[(1,5)(2,10)(4,8)(6,14)(9,13)(12,16),(1,2,12,8,11,5)(3,7,4,10,14,13)(6,15)
(9,16),"t16n1508"],
[(1,2)(3,16,5,4,15,6)(7,10,14,8,9,13)(11,12),(1,10,5,11,4,7,2,9,6,12,3,8)
(13,16,14,15),(1,9,5,12,4,7,2,10,6,11,3,8)(13,15,14,16),"t16n1509"],
[(3,4)(5,11,13,6,12,14)(7,9,15)(8,10,16),(1,16,2,15)(3,13,4,14)(5,9,6,10)
(7,11,8,12),(1,14,9)(2,13,10)(3,16,11)(4,15,12)(5,6)(7,8),"t16n1510"],
[(1,14,8)(2,13,7)(3,15,6,4,16,5)(9,12,10,11),(1,2)(3,4)(5,9,15,6,10,16)
(7,12,13,8,11,14),"t16n1511"],
[(1,16,2,15)(3,6,4,5)(7,9,8,10)(11,13,12,14),(1,10,5,12,3,7,2,9,6,11,4,8)
(13,15)(14,16),"t16n1512"],
[(5,13,11)(6,14,12)(7,16,9)(8,15,10),(1,2)(5,9,13)(6,10,14)(7,12,16,8,11,15),
(1,8)(2,7)(3,6)(4,5)(9,15)(10,16)(11,13)(12,14),"t16n1513"],
[(1,16,12,5,4,15,9,8)(2,14,11,6,3,13,10,7),
(1,11,3,12,2,10)(4,9)(5,13,7,15,6,14)(8,16),"t16n1514"],
[(1,16,6)(2,15,5)(3,14,8)(4,13,7)(9,11)(10,12),
(1,10,16,2,9,15)(3,11,14,4,12,13)(5,8)(6,7),"t16n1515"],
[(1,5,4,7,3,6)(2,8)(9,14,12,15,11,16)(10,13),
(1,15,4,16)(2,13,3,14)(5,10,6,9)(7,12,8,11),"t16n1516"],
[(1,7,13)(2,8,14)(3,6,16)(4,5,15)(9,11,10,12),
(5,9,16)(6,10,15)(7,11,14)(8,12,13),"t16n1517"],
[(1,7,12)(2,8,11)(3,5,9,4,6,10)(13,15)(14,16),
(1,4,2,3)(5,12,16,8,10,13,6,11,15,7,9,14),"t16n1518"],
[(1,12,3,11,2,9)(4,10)(5,8,6)(14,16,15),(1,9,4,12)(2,11,3,10)(5,6,8,7)
(13,15,16,14),(1,13,4,14)(2,16,3,15)(5,10,6,11)(7,12,8,9),"t16n1519"],
[(1,15,8,3,13,5,2,16,7,4,14,6)(9,12,10,11),
(1,2)(3,4)(5,14,6,13)(7,15,8,16)(9,10)(11,12),
(1,5,9,4,8,12,2,6,10,3,7,11)(13,15,14,16),"t16n1520"],
[(1,9,7,14,6,15,2,10,8,13,5,16)(3,12,4,11),(1,4,7,6)(2,3,8,5)(9,14,11,16)
(10,13,12,15),"t16n1521"],
[(1,5,4,2,6,3)(7,8)(9,14,11,10,13,12)(15,16),(1,13,16,12)(2,14,15,11)
(3,10,6,7,4,9,5,8),"t16n1522"],
[(1,13,2,14)(3,10,7,11,6,15,4,9,8,12,5,16),
(1,9,3,15,2,10,4,16)(5,12,7,13,6,11,8,14),"t16n1523"],
[(1,14,7,12)(2,13,8,11)(3,16,6,10)(4,15,5,9),
(1,15,7,3,13,6)(2,16,8,4,14,5)(9,10),"t16n1524"],
[(1,6,15,2,5,16)(7,10,13)(8,9,14)(11,12),(1,11,16,14)(2,12,15,13)(3,7,6,10)
(4,8,5,9),"t16n1525"],
[(1,11)(2,12)(3,9)(4,10)(5,16,6,15)(7,14,8,13),(1,9,3,10,2,12)(4,11)
(5,15,6,14,8,13)(7,16),(1,16)(2,15)(3,13)(4,14)(5,12,6,11)(7,9,8,10),
"t16n1526"],
[(1,16,8,10,4,13,5,12,2,15,7,9,3,14,6,11),(1,11,5,2,12,6)(3,10,8,4,9,7),
"t16n1527"],
[(1,3,2,4)(5,16,8,14)(6,15,7,13)(9,11,10,12),(1,7,14,11,3,5,15,9)
(2,8,13,12,4,6,16,10),"t16n1528"],
[(1,6,9,14)(2,7,12,13)(3,8,10,15)(4,5,11,16),
(1,3,2)(5,8,7)(9,10,12)(14,15,16),(1,2,3)(6,8,7)(9,11,12)(14,16,15),
"t16n1529"],
[(1,12,7,16,2,11,8,15)(3,10,6,14,4,9,5,13),(1,6,16,12,2,5,15,11)
(3,8,13,10,4,7,14,9),"t16n1530"],
[(1,9)(2,10)(3,13,8,12,5,16)(4,14,7,11,6,15),
(1,9,3,13,2,10,4,14)(5,12,8,15,6,11,7,16),"t16n1531"],
[(1,7,12,4,5,10,2,8,11,3,6,9)(13,16,14,15),(1,11,16,7)(2,12,15,8)(3,9,14,6)
(4,10,13,5),"t16n1532"],
[(1,16,6)(2,15,5)(3,13,8,4,14,7)(9,10),(1,5,10,13)(2,6,9,14)(3,7,11,15)
(4,8,12,16),"t16n1533"],
[(1,14,3,9,6,12,2,13,4,10,5,11)(7,15,8,16),(1,5,7,4)(2,6,8,3)(9,11,15,13)
(10,12,16,14),"t16n1534"],
[(1,3,2,4)(5,12,6,11)(7,10,8,9)(13,15,14,16),(1,5,4,7,2,6,3,8)(9,12)
(10,11)(15,16),(1,16,2,15)(3,13,4,14)(5,6)(7,8),"t16n1535"],
[(1,2)(3,4)(5,14,7,15,6,13,8,16)(9,10)(11,12),
(5,13,10)(6,14,9)(7,16,12)(8,15,11),(1,11,4,9,2,12,3,10)(5,6)(7,8)(13,14)
(15,16),"t16n1536"],
[(1,8,16,11,2,7,15,12)(3,5,13,9,4,6,14,10),(1,12,15,4,9,13)(2,11,16,3,10,14)
(5,6)(7,8),"t16n1537"],
[(1,3)(2,4)(5,16,11,8,13,9)(6,15,12,7,14,10),(1,14,10,8,3,15,12,5)
(2,13,9,7,4,16,11,6),(1,13,7,9)(2,14,8,10)(3,16,6,11)(4,15,5,12),
"t16n1538"],
[(1,2)(5,13,10,6,14,9)(7,16,11)(8,15,12),(5,8,6,7)(9,16,11,14,10,15,12,13),
(1,13,2,14)(3,16,4,15)(5,10,6,9)(7,12,8,11),"t16n1539"],
[(1,8,16,9,3,6,13,11,2,7,15,10,4,5,14,12),(1,12,2,11)(3,10,4,9),
(1,16,4,13,2,15,3,14)(5,8)(6,7)(9,12)(10,11),"t16n1540"],
[(1,9,6)(2,10,5)(3,11,7)(4,12,8),(1,15,10,5,2,16,9,6)(3,13,12,7,4,14,11,8
),(1,15,6,11,2,16,5,12)(3,13,7,9,4,14,8,10),"t16n1541"],
[(3,14,15)(4,13,16)(5,7,11)(6,8,12),(1,15,9,8)(2,16,10,7)(3,6,11,14)
(4,5,12,13),(1,16,3,9,7,11)(2,15,4,10,8,12)(5,13)(6,14),"t16n1542"],
[(1,7,4,6)(2,8,3,5)(9,15,11,14)(10,16,12,13),
(1,15,12,2,16,11)(3,14,10)(4,13,9)(7,8),(1,15,9,2,16,10)(3,13,12,4,14,11)
(5,6)(7,8),"t16n1543"],
[(1,7,14)(2,8,13)(3,6,15,4,5,16)(11,12),(1,4,2,3)(5,13,9,7,16,12,6,14,10,
8,15,11),(1,15,9,2,16,10)(3,13,11)(4,14,12)(7,8),"t16n1544"],
[(1,10,5,2,9,8)(3,12,6,4,11,7)(13,16,15),(1,5,3,8)(2,7,4,6)(9,13,12,14)
(10,16,11,15),(1,13,7,2,14,8)(3,16,5,4,15,6)(10,11,12),"t16n1545"],
[(1,15,5,3,14,7,2,16,6,4,13,8)(9,11,10,12),(1,11,13,3,10,16,2,12,14,4,9,15)
(5,8,6,7),(1,3)(2,4)(5,12,15,7,9,14)(6,11,16,8,10,13),"t16n1546"],
[(3,4)(5,6)(7,10)(8,9)(11,14,12,13)(15,16),(3,5)(4,6)(7,8)(9,10)(11,13,12,14)
(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),"t16n1547"],
[(3,4)(5,6)(7,10)(8,9)(11,14,12,13)(15,16),(3,5)(4,6)(7,8)(9,10)(11,13,12,14)
(15,16),(1,6)(2,5)(3,16)(4,15)(7,12)(8,11)(9,14)(10,13),
(1,10)(2,9)(3,12)(4,11)(5,13,6,14)(7,16)(8,15),
(1,16,2,15)(3,5,4,6)(9,10)(13,14),"t16n1548"],
[(1,15)(2,16)(3,13,12,5,4,14,11,6)(7,10)(8,9),
(1,9)(2,10)(3,12)(4,11)(5,13,6,14)(7,15,8,16),(1,3,9,11)(2,4,10,12)(5,16)
(6,15)(7,13)(8,14),"t16n1549"],
[(3,4)(5,14,6,13)(7,15,8,16)(11,12),(1,2)(3,12,4,11)(7,16)(8,15)(9,10)(13,14),
(1,6)(2,5)(3,16)(4,15)(7,12)(8,11)(9,14)(10,13),
(1,7,10,16)(2,8,9,15)(3,6)(4,5)(11,13,12,14),(1,10)(2,9)(3,12,4,11)(5,6)
,"t16n1550"],
[(3,4)(5,14,6,13)(7,15,8,16)(11,12),(1,6)(2,5)(3,16)(4,15)(7,12)(8,11)(9,14)
(10,13),(1,7,9,16)(2,8,10,15)(3,6)(4,5)(11,14)(12,13),
(1,10)(2,9)(3,12,4,11)(5,6),"t16n1551"],
[(1,16,4,10)(2,15,3,9)(5,12,8,14)(6,11,7,13),
(1,3,5,7,2,4,6,8)(9,16,14,12,10,15,13,11),
(1,2)(3,7,4,8)(5,6)(9,13,10,14)(11,16,12,15),"t16n1552"],
[(9,10)(11,12)(13,14)(15,16),(1,3)(2,4)(5,12)(6,11)(7,9)(8,10),(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),"t16n1553"],
[(1,7)(2,8)(3,5,4,6)(9,13)(10,14)(11,16)(12,15),
(1,11,8,9,6,15,3,14,2,12,7,10,5,16,4,13),"t16n1554"],
[(9,10)(13,14),(1,5,2,6)(3,4),(1,6)(2,5)(3,7)(4,8)(9,10)(11,12),
(1,7,2,8)(3,5,4,6)(9,15,10,16)(11,14,12,13),
(1,9,5,13,2,10,6,14)(3,12,7,15,4,11,8,16),"t16n1555"],
[(9,10)(13,14),(1,6)(2,5)(3,7)(4,8)(9,10)(11,12),
(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,13,10,14)(11,12),
(1,9,5,13,2,10,6,14)(3,12,7,15,4,11,8,16),"t16n1556"],
[(7,9,8,10)(11,14)(12,13),(3,5)(4,6)(7,8)(9,10)(11,13,12,14)(15,16),
(1,6)(2,5)(3,16)(4,15)(7,12)(8,11)(9,14)(10,13),
(1,10)(2,9)(3,12)(4,11)(5,13,6,14)(7,16)(8,15),
(1,15)(2,16)(3,5,4,6)(11,12)(13,14),"t16n1557"],
[(9,10)(13,14),(1,3,5,7,2,4,6,8)(9,10)(11,12),
(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,13)
(10,14)(11,12),(1,9,5,13,2,10,6,14)(3,12,7,15,4,11,8,16),"t16n1558"],
[(1,13,3,15)(2,14,4,16)(5,8)(6,7)(9,12)(10,11),
(1,12,16,7,4,10,14,5)(2,11,15,8,3,9,13,6),
(1,7,4,6,2,8,3,5)(9,15,10,16)(11,13)(12,14),"t16n1559"],
[(9,10)(13,14),(1,2)(3,4),(1,3)(2,4)(5,7,6,8)(9,12)(10,11)(13,15,14,16),
(1,5,2,6)(3,4)(9,10),(1,9,5,13,2,10,6,14)(3,12,7,15,4,11,8,16),
"t16n1560"],
[(1,6,4,8)(2,5,3,7)(9,16,11,13)(10,15,12,14),(1,5,15,9,4,7,14,12,2,6,16,10,
3,8,13,11),(1,3)(2,4)(7,8)(9,12)(10,11)(13,15)(14,16),"t16n1561"],
[(9,10)(13,14),(1,3)(2,4)(5,7,6,8)(9,12)(10,11)(13,15,14,16),
(1,5)(2,6)(3,4)(9,10),(1,6)(2,5)(3,7)(4,8)(9,10)(11,12),
(1,9,5,13,2,10,6,14)(3,12,7,15,4,11,8,16),"t16n1562"],
[(9,10)(13,14),(1,2)(3,4),(1,3,5,7,2,4,6,8)(11,12),
(1,7,2,8)(3,6,4,5)(9,13,10,14)(11,12),
(1,9,5,13,2,10,6,14)(3,12,7,15,4,11,8,16),"t16n1563"],
[(9,10)(13,14),(1,2)(3,4),(1,3)(2,4)(5,7,6,8)(9,12)(10,11)(13,15,14,16),
(1,5)(2,6)(3,4),(1,9,5,13,2,10,6,14)(3,12,7,15,4,11,8,16),"t16n1564"],
[(1,5,2,6)(3,7,4,8)(9,11)(10,12)(13,15)(14,16),
(1,6)(2,5)(3,4)(7,8)(9,15,14,12)(10,16,13,11),
(1,13,6,10,2,14,5,9)(3,16,4,15)(7,11)(8,12),"t16n1565"],
[(9,10)(13,14),(1,3)(2,4)(5,7,6,8)(9,12)(10,11)(13,15,14,16),(1,5,2,6)(3,4),
(1,6)(2,5)(3,7)(4,8)(9,10)(11,12),
(1,9,5,13,2,10,6,14)(3,12,7,15,4,11,8,16),"t16n1566"],
[(9,10)(11,12)(13,14)(15,16),(1,3,2,4),(1,4,2,3)(5,12)(6,11)(7,9)(8,10),
(1,4)(2,3)(5,8)(6,7)(9,11)(10,12)(13,15)(14,16),
(1,12)(2,11)(3,10)(4,9)(5,13)(6,14)(7,15)(8,16),"t16n1567"],
[(1,8,15,14,2,7,16,13)(3,9,6,11)(4,10,5,12),(1,2)(3,15)(4,16)(7,14,11,10)
(8,13,12,9),(1,15,2,16)(3,5,4,6)(7,9)(8,10)(11,13)(12,14),"t16n1568"],
[(9,10)(11,12)(13,14)(15,16),(1,3,2,4)(5,6)(9,10),
(1,4,2,3)(5,12)(6,11)(7,9)(8,10),(1,4)(2,3)(5,8)(6,7)(9,11)(10,12)
(13,15)(14,16),(1,12)(2,11)(3,10)(4,9)(5,13)(6,14)(7,15)(8,16),"t16n1569"],
[(1,12,6,15,2,11,5,16)(3,13,4,14)(7,10,8,9),(1,2)(5,6)(7,8)(9,12)(10,11)
(13,15,14,16),"t16n1570"],
[(9,10)(13,14),(1,5)(2,6)(3,4)(9,13,10,14),(1,7,2,8)(3,6,4,5)(9,10)
(11,12),(1,14,8,16,5,10,4,12,2,13,7,15,6,9,3,11),"t16n1571"],
[(1,10,6,14,2,9,5,13)(3,12)(4,11)(7,16,8,15),
(3,8,4,7)(9,16,13,11)(10,15,14,12),
(1,3,5,7,2,4,6,8)(9,11,14,15,10,12,13,16),"t16n1572"],
[(1,15,5,3,2,16,6,4)(7,13,12,9)(8,14,11,10),(5,6)(11,12),
(1,8,13,11,2,7,14,12)(3,10,15,5)(4,9,16,6),"t16n1573"],
[(1,10,16,5,2,9,15,6)(3,11,13,8,4,12,14,7),
(1,8,16,12,4,5,13,10,2,7,15,11,3,6,14,9),
(1,5,4,7)(2,6,3,8)(9,15,12,13)(10,16,11,14),"t16n1574"],
[(1,14,4,16,5,10,7,12,2,13,3,15,6,9,8,11),(1,11,6,16)(2,12,5,15)(3,13,8,10)
(4,14,7,9),(1,10)(2,9)(3,16)(4,15)(5,13)(6,14)(7,12)(8,11),"t16n1575"],
[(1,14,15,12)(2,13,16,11)(3,7,5,10,4,8,6,9),
(1,9)(2,10)(3,11)(4,12)(5,14,6,13)(7,16)(8,15),
(1,2)(3,4)(5,6)(7,11)(8,12)(9,13,10,14),"t16n1576"],
[(15,16),(1,5,10,14,2,6,9,13)(3,7,11,15)(4,8,12,16),
(1,7,9,15)(2,8,10,16)(3,6,12,14,4,5,11,13),(1,9)(2,10)(3,4)(5,14,6,13)
(15,16),"t16n1577"],
[(1,8,5,4,2,7,6,3)(13,14),(1,16,8,13,5,11,4,10)(2,15,7,14,6,12,3,9),
(1,7,2,8)(3,6)(4,5)(11,15)(12,16)(13,14),"t16n1578"],
[(1,12,5,16,2,11,6,15)(3,14,7,10,4,13,8,9),(1,4,6,7,2,3,5,8)(9,10)(11,15)
(12,16),(1,6)(2,5)(9,13)(10,14),"t16n1579"],
[(9,10)(13,14),(1,2)(3,4),(1,5,2,6)(3,4)(9,10),
(1,7,2,8)(3,5,4,6)(9,15,10,16)(11,14,12,13),
(1,9,5,13,2,10,6,14)(3,12,7,15,4,11,8,16),"t16n1580"],
[(7,9,8,10)(11,14)(12,13),(1,2)(7,8),(1,10)(2,9)(3,12,4,11)(5,13,6,14)(7,15)
(8,16),(1,15)(2,16)(3,5,4,6)(7,12)(8,11)(9,14)(10,13),"t16n1581"],
[(1,2)(3,7)(4,8)(11,12)(15,16),(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),
(1,9,7,16)(2,10,8,15)(3,12,6,14,4,11,5,13),"t16n1582"],
[(1,7,2,8)(3,6,4,5)(9,12)(10,11)(13,16)(14,15),
(1,9,7,15,2,10,8,16)(3,11,5,14,4,12,6,13),(1,2)(3,7)(4,8)(9,14,10,13)
(11,16)(12,15),"t16n1583"],
[(1,9,4,11,6,14,7,16,2,10,3,12,5,13,8,15),(1,13,3,12)(2,14,4,11)
(5,10,7,15,6,9,8,16),(1,11,7,14,2,12,8,13)(3,10,5,16)(4,9,6,15),
"t16n1584"],
[(1,14,8,12,2,13,7,11)(3,15,6,9)(4,16,5,10),(1,6,2,5)(3,8)(4,7)(9,14)
(10,13),(1,2)(3,4)(5,6)(9,13,10,14)(15,16),"t16n1585"],
[(9,10)(13,14),(1,2)(3,4),(1,5)(2,6)(3,4),(1,7,2,8)(3,5,4,6)(9,15,10,16)
(11,14,12,13),(1,9,5,13,2,10,6,14)(3,12,7,15,4,11,8,16),"t16n1586"],
[(3,16)(4,15)(7,13,11,10)(8,14,12,9),(1,10)(2,9)(3,11,4,12)(5,14,6,13)(7,16)
(8,15),(1,6,2,5)(7,9,11,13,8,10,12,14),"t16n1587"],
[(9,10)(13,14),(1,5)(2,6)(3,4)(9,10),(1,6)(2,5)(3,7)(4,8)(9,10)(11,12),
(1,7,2,8)(3,5,4,6)(9,15,10,16)(11,14,12,13),
(1,9,5,13,2,10,6,14)(3,12,7,15,4,11,8,16),"t16n1588"],
[(1,16,2,15)(3,13,4,14)(7,8)(9,12,10,11),(1,9)(2,10)(3,12,4,11)(5,15,6,16)
(7,14)(8,13),(1,9,2,10)(3,11,4,12)(5,16,7,13)(6,15,8,14),"t16n1589"],
[(15,16),(3,4)(7,9)(8,10)(11,13)(12,14)(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),"t16n1590"],
[(3,4)(5,6)(7,10)(8,9)(11,14,12,13)(15,16),(1,10)(2,9)(3,12,4,11)(5,13,6,14)
(7,15)(8,16),(1,15)(2,16)(3,6,4,5)(7,12)(8,11)(9,14,10,13),
(1,16,2,15)(3,5,4,6)(9,10)(13,14),"t16n1591"],
[(1,15,3,9)(2,16,4,10)(5,11,8,14)(6,12,7,13),
(1,6)(2,5)(3,7,4,8)(9,12,10,11)(13,16)(14,15),
(3,7)(4,8)(5,6)(9,14,10,13)(11,12)(15,16),"t16n1592"],
[(9,10)(13,14),(1,5,2,6)(3,4)(9,13)(10,14),(1,6)(2,5)(3,7)(4,8)(9,10)
(11,12),(1,7,2,8)(3,6,4,5)(9,10)(11,12),
(1,10,3,11,2,9,4,12)(5,13,7,15,6,14,8,16),"t16n1593"],
[(1,4,2,3)(5,7)(6,8)(9,16,13,11)(10,15,14,12),
(1,7)(2,8)(3,6,4,5)(9,16,14,11)(10,15,13,12),
(1,13,3,11,6,10,8,15,2,14,4,12,5,9,7,16),"t16n1594"],
[(1,12,14,16)(2,11,13,15)(3,6,8,10)(4,5,7,9),
(1,16,5,3,2,15,6,4)(7,13,11,10,8,14,12,9),
(1,13,10,6)(2,14,9,5)(3,15,12,7)(4,16,11,8),"t16n1595"],
[(1,2)(3,7)(4,8)(5,6)(9,14)(10,13)(11,12)(15,16),
(1,10,7,12,2,9,8,11)(3,15,6,14)(4,16,5,13),(1,7,5,4)(2,8,6,3)(9,12)
(10,11)(13,16)(14,15),"t16n1596"],
[(9,10)(13,14),(1,3,5,7,2,4,6,8)(9,10)(11,12),(1,7,2,8)(3,6,4,5)(9,13)
(10,14)(11,12),(1,10,3,11,2,9,4,12)(5,13,7,15,6,14,8,16),"t16n1597"],
[(1,4,5,16)(2,3,6,15)(9,14,10,13),(1,11,15,9)(2,12,16,10)(3,13,6,8)
(4,14,5,7),"t16n1598"],
[(1,12)(2,11)(3,9)(4,10)(5,8,6,7)(13,16)(14,15),
(1,9,4,7,2,10,3,8)(5,13,15,12)(6,14,16,11),"t16n1599"],
[(3,8,4,7)(5,13,6,14)(11,16,12,15),(1,3,14,15,9,11,5,8)(2,4,13,16,10,12,6,7)
,(1,2)(3,15)(4,16)(5,14,6,13)(7,12,8,11),"t16n1600"],
[(1,13,3,11)(2,14,4,12)(5,9,7,15,6,10,8,16),(1,8)(2,7)(3,6,4,5)(9,10)
(11,15)(12,16)(13,14),"t16n1601"],
[(1,10)(2,9)(3,12,4,11)(5,13,6,14)(7,16,8,15),
(1,9,5,14)(2,10,6,13)(3,11,16,8,4,12,15,7),
(1,6)(2,5)(3,16,4,15)(7,9,8,10)(11,13,12,14),"t16n1602"],
[(1,14,7,16,2,13,8,15)(3,12,5,10)(4,11,6,9),(1,2)(9,11,13,15)(10,12,14,16),
(1,3,2,4)(5,8)(6,7)(9,15)(10,16)(11,14,12,13),"t16n1603"],
[(1,5,10,13,2,6,9,14)(3,15,12,7)(4,16,11,8),(1,9)(2,10)(3,4)(5,13)(6,14)
(15,16),(1,4,5,8,10,11,14,15,2,3,6,7,9,12,13,16),"t16n1604"],
[(9,10)(13,14),(1,2)(3,4),(1,5)(2,6)(3,4)(9,13,10,14),
(1,7,2,8)(3,6,4,5)(9,10)(11,12),
(1,10,3,11,2,9,4,12)(5,13,7,15,6,14,8,16),"t16n1605"],
[(1,5)(2,6)(3,15,4,16)(7,8)(11,12)(13,14),
(1,14,5,10,2,13,6,9)(3,8,15,11,4,7,16,12),
(1,5)(2,6)(3,15)(4,16)(7,14,12,10,8,13,11,9),"t16n1606"],
[(1,7,2,8)(3,6)(4,5)(9,10)(13,14),
(1,9,7,12,6,13,3,15)(2,10,8,11,5,14,4,16),"t16n1607"],
[(1,3,14,16,2,4,13,15)(5,8,9,12)(6,7,10,11),(1,13,9,5,2,14,10,6)(3,7,11,16)
(4,8,12,15),(1,16,13,3)(2,15,14,4)(5,11,9,8,6,12,10,7),"t16n1608"],
[(9,10)(13,14),(1,5,2,6)(3,4),(1,6)(2,5)(3,7)(4,8)(9,10)(11,12),
(1,10,3,11,2,9,4,12)(5,13,7,15,6,14,8,16),"t16n1609"],
[(1,16,14,3,9,8,6,11,2,15,13,4,10,7,5,12),(1,13,2,14)(3,8,4,7)(5,10)(6,9)
(11,16,12,15),(1,13,2,14)(3,7)(4,8)(5,9,6,10)(11,15,12,16),"t16n1610"],
[(1,9,8,15)(2,10,7,16)(3,12,6,13,4,11,5,14),
(1,11,6,16)(2,12,5,15)(3,14,8,9)(4,13,7,10),
(1,4,5,8,2,3,6,7)(9,11,13,15,10,12,14,16),"t16n1611"],
[(3,8,4,7)(9,11,10,12)(13,15)(14,16),(1,9,8,11)(2,10,7,12)(3,15,6,14)
(4,16,5,13),"t16n1612"],
[(1,11,8,9,2,12,7,10)(3,14,5,16,4,13,6,15),(1,15,2,16)(3,10,7,13)(4,9,8,14)
(5,11,6,12),(1,12)(2,11)(3,13,7,10,4,14,8,9)(5,16,6,15),"t16n1613"],
[(1,4,6,15,2,3,5,16)(7,12,8,11)(9,13)(10,14),
(1,13,2,14)(3,7)(4,8)(5,10,6,9)(11,16)(12,15),
(1,2)(3,4)(5,6)(7,9,12,13)(8,10,11,14)(15,16),"t16n1614"],
[(1,15)(2,16)(3,13,8,9)(4,14,7,10)(5,11,6,12),
(1,9,8,16,2,10,7,15)(3,11,6,14)(4,12,5,13),"t16n1615"],
[(15,16),(1,4,6,15,2,3,5,16)(7,9,11,13)(8,10,12,14),
(1,9)(2,10)(3,4)(5,14,6,13)(15,16),"t16n1616"],
[(9,10)(13,14),(1,3)(2,4)(5,7,6,8)(9,12)(10,11)(13,15,14,16),
(1,5)(2,6)(3,4)(9,13,10,14),(1,7,2,8)(3,6,4,5)(11,12),
(1,9,4,12)(2,10,3,11)(5,13,7,15,6,14,8,16),"t16n1617"],
[(1,6,2,5)(3,4)(9,15,10,16)(11,14)(12,13),(1,14,4,16)(2,13,3,15)(5,9,7,11)
(6,10,8,12),"t16n1618"],
[(3,7)(4,8)(5,14)(6,13)(9,10)(11,16,12,15),(3,15)(4,16)(5,13,6,14)(7,11,8,12),
(1,4,6,8,10,11,13,16)(2,3,5,7,9,12,14,15),
(1,10)(2,9)(3,12,4,11)(5,13,6,14)(7,15)(8,16),"t16n1619"],
[(1,10,2,9)(3,15,4,16)(7,11,8,12)(13,14),(3,15,4,16)(5,13,6,14)(7,11,8,12)
(9,10),(1,16,13,12,10,7,6,4,2,15,14,11,9,8,5,3),"t16n1620"],
[(1,11,5,15,9,3,14,7)(2,12,6,16,10,4,13,8),
(1,8,5,4,10,16,14,12)(2,7,6,3,9,15,13,11),
(1,14,10,5,2,13,9,6)(3,8,11,16,4,7,12,15),"t16n1621"],
[(1,9,8,12,6,14,3,16)(2,10,7,11,5,13,4,15),(1,13,2,14)(3,16,7,11,4,15,8,12)
(5,9,6,10),(1,9,6,13)(2,10,5,14)(3,12)(4,11)(7,16,8,15),"t16n1622"],
[(9,10)(13,14),(1,5,2,6)(3,4)(9,13)(10,14),(1,6)(2,5)(3,7)(4,8)(9,10)
(11,12),(1,7,2,8)(3,6,4,5)(11,12),
(1,9,4,12)(2,10,3,11)(5,13,7,15,6,14,8,16),"t16n1623"],
[(9,10)(11,12)(13,14)(15,16),(1,3)(2,4)(5,12)(6,11)(7,9)(8,10),
(1,4)(2,3)(5,6)(9,10),(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),"t16n1624"],
[(3,8,4,7)(5,13,6,14)(11,16,12,15),(1,2)(3,15,4,16)(5,14,6,13)(7,12)(8,11),
(1,3,5,8,10,11,14,16,2,4,6,7,9,12,13,15),
(1,10)(2,9)(3,12,4,11)(5,13,6,14)(7,15)(8,16),"t16n1625"],
[(3,4)(5,6)(7,10)(8,9)(11,14,12,13)(15,16),(1,2)(3,5)(4,6)(11,14,12,13)(15,16)
,(1,6)(2,5)(3,16)(4,15)(7,12)(8,11)(9,14)(10,13),
(1,10)(2,9)(3,12)(4,11)(5,13,6,14)(7,16)(8,15),
(1,16,2,15)(3,5,4,6)(9,10)(13,14),"t16n1626"],
[(1,5)(2,6)(3,7,4,8)(9,12)(10,11)(13,16,14,15),
(1,12,4,14,6,16,8,10)(2,11,3,13,5,15,7,9),"t16n1627"],
[(1,16,4,10,2,15,3,9)(5,11,7,14)(6,12,8,13),
(1,8,2,7)(3,5)(4,6)(9,11,10,12)(13,16)(14,15),
(1,6)(2,5)(3,8,4,7)(9,16,13,11,10,15,14,12),"t16n1628"],
[(9,10)(13,14),(1,3,5,8)(2,4,6,7)(11,12),(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,9,5,13,2,10,6,14)(3,12,7,15,4,11,8,16),"t16n1629"],
[(1,2)(7,13,12,9)(8,14,11,10)(15,16),(1,9)(2,10)(3,12)(4,11)(5,14,6,13)(7,15)
(8,16),"t16n1630"],
[(1,5)(2,6)(9,12,10,11)(13,15)(14,16),(1,12,8,13,5,15,3,9,2,11,7,14,6,16,4,10
),(1,13,8,11,6,10,3,16,2,14,7,12,5,9,4,15),"t16n1631"],
[(1,10,2,9)(3,4)(5,6)(7,15)(8,16)(11,12),(1,10,2,9)(3,4)(7,16)(8,15),
(1,4,6,15,10,11,14,8,2,3,5,16,9,12,13,7),"t16n1632"],
[(1,11,4,13,6,16,7,9)(2,12,3,14,5,15,8,10),
(1,11,3,9,5,15,7,13)(2,12,4,10,6,16,8,14),(1,6,2,5)(9,16,10,15)(11,13)
(12,14),"t16n1633"],
[(1,13,8,12,2,14,7,11)(3,15,5,10)(4,16,6,9),(1,9,3,16)(2,10,4,15)
(5,13,7,12,6,14,8,11),(3,7)(4,8)(5,6)(9,16,14,11)(10,15,13,12),"t16n1634"
],
[(1,13,5,9,2,14,6,10)(3,8,15,12)(4,7,16,11),(1,10,16,8,6,13,3,11)(2,9,15,7,
5,14,4,12),"t16n1635"],
[(1,9,14,6,2,10,13,5)(3,11,16,7)(4,12,15,8),(1,8,4,6,2,7,3,5)
(9,15,12,14,10,16,11,13),(1,14,4,16)(2,13,3,15)(5,11)(6,12)(7,10,8,9),
"t16n1636"],
[(1,5,14,11,4,8,15,10,2,6,13,12,3,7,16,9),(1,14)(2,13)(3,15,4,16)
(5,9,7,12,6,10,8,11),(1,11)(2,12)(3,9,4,10)(5,13,8,15,6,14,7,16),
"t16n1637"],
[(1,13)(2,14)(3,11)(4,12)(5,10,6,9),(1,3,6,8,9,11,14,16,2,4,5,7,10,12,13,15
),(9,10)(13,14)(15,16),"t16n1638"],
[(1,4,6,8,9,12,13,15)(2,3,5,7,10,11,14,16),(1,2)(3,11,4,12)(7,15)(8,16)
(13,14),(1,13)(2,14)(5,10)(6,9)(7,16,8,15),"t16n1639"],
[(1,11)(2,12)(3,9,4,10)(5,14,6,13)(7,15)(8,16),
(1,10,13,7)(2,9,14,8)(3,11,15,5,4,12,16,6),
(1,14,2,13)(3,15)(4,16)(5,11,7,9)(6,12,8,10),"t16n1640"],
[(3,4)(5,11)(6,12)(7,9)(8,10),(1,9,15,7,4,11,13,6,2,10,16,8,3,12,14,5),
(1,8,4,5)(2,7,3,6)(9,16,11,14)(10,15,12,13),"t16n1641"],
[(1,10,2,9)(3,12,4,11)(5,15)(6,16)(7,14)(8,13),(1,16)(2,15)(3,14)(4,13)(5,6)
(9,12,10,11),(1,3,2,4)(5,7,6,8)(9,12,10,11),"t16n1642"],
[(1,3,10,11)(2,4,9,12)(5,15,13,7)(6,16,14,8),
(1,4,6,8,9,11,14,16)(2,3,5,7,10,12,13,15),
(1,4,9,12)(2,3,10,11)(5,16,13,7,6,15,14,8),"t16n1643"],
[(1,3,2,4)(5,9,7,11)(6,10,8,12),(1,15,3,13)(2,16,4,14)(5,8,6,7)(9,11)
(10,12),(1,12,4,9)(2,11,3,10)(5,14,6,13)(7,16,8,15),"t16n1644"],
[(1,15,2,16)(3,13,4,14)(5,11)(6,12)(7,10,8,9),(1,9,2,10)(3,8)(4,7)(5,6)
(11,15,12,16),(1,5)(2,6)(3,12,4,11)(7,8)(9,13,10,14)(15,16),"t16n1645"],
[(1,14)(2,13)(3,16,4,15)(5,9,7,12,6,10,8,11),
(1,10)(2,9)(3,12)(4,11)(5,16,7,13)(6,15,8,14),
(1,3)(2,4)(5,10,6,9)(7,12,8,11)(15,16),"t16n1646"],
[(1,2)(3,4)(5,11)(6,12)(7,9)(8,10)(13,15)(14,16),
(1,7,4,6)(2,8,3,5)(9,14,11,16)(10,13,12,15),
(1,5,16,10)(2,6,15,9)(3,8,13,12,4,7,14,11),"t16n1647"],
[(1,10,8,14)(2,9,7,13)(3,12,6,16)(4,11,5,15),(1,6)(2,5)(3,4)(7,8)(9,15)
(10,16)(11,13)(12,14),(1,11,7,9,4,14,6,16)(2,12,8,10,3,13,5,15),"t16n1648"]
,
[(1,3,2)(5,14,10,7,15,9)(6,16,11,8,13,12),(1,10)(2,11,3,9,4,12)(5,6,7)(13,
16,14),"t16n1649"],
[(1,6,12,2,7,10)(3,5,9,4,8,11)(13,15,16),(1,5,15,2,6,16)(3,8,13)(4,7,14)
(11,12),"t16n1650"],
[(1,5,3,7,2,6,4,8)(9,11,10,12)(13,16,14,15),(1,15,7,13)(2,16,8,14)(3,11)
(4,12)(5,10,6,9),"t16n1651"],
[(1,11,6)(2,10,8)(3,12,7)(4,9,5)(13,14,15),(1,6,2,5)(3,7,4,8)(11,12)
(13,14),(1,3)(5,8,7,6)(9,14,12,13)(10,15,11,16),"t16n1652"],
[(2,3)(4,13,6,14)(5,12,7,15)(8,10,9,11),(1,2,15,6,4,14)(3,8,16,5,9,7)
(11,13,12),"t16n1653"],
[(1,14,13,16,9,6,5,8)(2,3,4,15,10,11,12,7),(1,10,2,13,6,14)(3,12,7,15,16,11)
(4,8)(5,9),"t16n1654"],
[(1,6,11,15,4,5,10,16,3,7,9,14)(2,8,12,13),(1,4,2)(5,15,6,16,8,14)(7,13)
(9,10,11),"t16n1655"],
[(1,16,8,2,15,7)(3,13,5)(4,14,6)(11,12),(1,4,2,3)(5,12,16)(6,11,15)
(7,9,13,8,10,14),"t16n1656"],
[(1,13,7,3,16,6)(2,14,8,4,15,5)(9,10),(1,8)(2,7)(3,5)(4,6)(9,16,11,13,10,
15,12,14),"t16n1657"],
[(1,2)(3,16,5)(4,15,6)(7,9,13,8,10,14)(11,12),(1,13,6,12,16,8,2,14,5,11,15,7
)(3,9,4,10),"t16n1658"],
[(1,14,7,2,13,8)(3,16,6)(4,15,5)(11,12),(1,6,10,16)(2,5,9,15)(3,7,11,13)
(4,8,12,14),(1,10,16,4,12,14)(2,9,15,3,11,13)(5,8)(6,7),"t16n1659"],
[(1,7,15,10,4,5,13,11,2,8,16,9,3,6,14,12),(1,16,8,9)(2,15,7,10)(3,13,5,11)
(4,14,6,12),"t16n1660"],
[(1,10,5,14,2,9,6,13)(3,11,7,16,4,12,8,15),(1,12,13,6,4,9,16,8)
(2,11,14,5,3,10,15,7),"t16n1661"],
[(5,7)(6,8)(9,12)(10,11)(13,15)(14,16),(1,11,2,12)(3,10,4,9)(5,14,8,16)
(6,13,7,15),(1,8,9,13,3,6,11,15)(2,5,10,16,4,7,12,14),"t16n1662"],
[(1,11,8,14)(2,12,7,13)(3,9,5,15)(4,10,6,16),
(1,15,4,14,2,16,3,13)(5,11,7,9,6,12,8,10),
(1,14,12,8,2,13,11,7)(3,15,9,6,4,16,10,5),"t16n1663"],
[(1,15,8,10,3,13,6,11)(2,16,7,9,4,14,5,12),(1,9,3,12)(2,10,4,11)(13,16)
(14,15),(1,15,8,12)(2,16,7,11)(3,13,6,9)(4,14,5,10),"t16n1664"],
[(1,11,2,12)(3,7)(4,8)(5,9,6,10)(13,16)(14,15),
(1,3,15,2,4,16)(7,8)(9,14,12)(10,13,11),(1,8,4,11,6,9,2,7,3,12,5,10)
(13,15,14,16),"t16n1665"],
[(1,7,13,4,6,16)(2,8,14,3,5,15)(9,10),(1,8,15,10,2,7,16,9)(3,5,14,12,4,6,
13,11),(1,15,9,5,3,13,11,8,2,16,10,6,4,14,12,7),"t16n1666"],
[(1,12)(2,11)(3,8)(4,7)(5,10)(6,9)(13,16,14,15),
(1,13,6,12,16,8)(2,14,5,11,15,7)(3,9,4,10),"t16n1667"],
[(1,10)(2,12)(3,9)(4,11)(5,13)(6,15)(7,14)(8,16),(1,4)(5,6,8,7)(9,11,12,10)
(13,16),(1,16,4,15)(2,13,3,14)(5,10,7,12)(6,11,8,9),"t16n1668"],
[(1,15,12,2,16,11)(3,13,10)(4,14,9)(5,7,6,8),(1,2)(3,4)(5,15,12,7,14,9)
(6,16,11,8,13,10),"t16n1669"],
[(1,14,10,5)(2,13,9,6)(3,16,11,7,4,15,12,8),
(1,6,16)(2,5,15)(7,10,14)(8,9,13),"t16n1670"],
[(1,12,6,14,3,10,2,11,5,13,4,9)(7,16,8,15),(1,13,8,12,4,9,2,14,7,11,3,10)
(5,15,6,16),(1,6,2,5)(3,7,4,8)(9,14,10,13)(11,16,12,15),"t16n1671"],
[(1,15,8,4,13,5,2,16,7,3,14,6)(9,11,10,12),(1,3)(2,4)(5,16,12,6,15,11)
(7,14,10)(8,13,9),"t16n1672"],
[(1,2,4,3)(5,16,6,13)(7,14,8,15)(9,11,10,12),(1,15,12,7,4,13,10,8,2,14,9,5)
(3,16,11,6),"t16n1673"],
[(1,5,15,10,4,7,14,11,2,6,16,9,3,8,13,12),(1,14,9,3,16,11)(2,13,10,4,15,12)
(7,8),"t16n1674"],
[(1,10,2,9)(3,11,4,12)(5,14)(6,13)(7,15,8,16),(3,5,15,4,6,16)(7,14,9)
(8,13,10)(11,12),(1,15,3,5)(2,16,4,6)(7,11,14,10,8,12,13,9),"t16n1675"],
[(1,8,5,11)(2,7,6,12)(3,9,15,13)(4,10,16,14),(1,7,2,8)(3,11,4,12)(5,13)
(6,14)(9,15,10,16),"t16n1676"],
[(1,7,3,5)(2,8,4,6)(11,12)(15,16),(1,10,14,6,3,11,15,7)(2,9,13,5,4,12,16,8
),"t16n1677"],
[(1,6,15,4,7,13)(2,5,16,3,8,14)(9,12)(10,11),(1,2)(3,4)(5,8,6,7)(9,10)
(11,12)(13,15,14,16),(1,4)(2,3)(5,6)(9,16)(10,15)(11,13)(12,14),"t16n1678"],
[(1,8,13,3,6,16,2,7,14,4,5,15),(1,12,8,14,2,11,7,13)(3,10,6,16,4,9,5,15),
"t16n1679"],
[(1,4)(2,3)(5,6)(7,8)(9,11)(10,12)(15,16),(1,9,16,7,2,10,15,8)(3,13,5,11)
(4,14,6,12),(1,9,2,10)(3,12)(4,11)(5,7)(6,8)(13,16)(14,15),"t16n1680"],
[(1,15,9,6,3,13,12,7)(2,14,11,5,4,16,10,8),(1,8,3,7)(2,6,4,5)(9,14,12,15)
(10,16,11,13),(1,14,11,6)(2,16,9,7)(3,13,10,8)(4,15,12,5),"t16n1681"],
[(1,7,12,15)(2,8,11,16)(3,5,9,13)(4,6,10,14),
(1,3)(2,4)(9,16,10,15)(11,14,12,13),"t16n1682"],
[(1,7,9,2,8,10)(3,6,12,4,5,11)(13,15)(14,16),
(1,10,13,8,2,9,14,7)(3,12,16,6,4,11,15,5),"t16n1683"],
[(1,14,9,8,3,13,12,5)(2,16,11,7,4,15,10,6),(1,14)(2,13,3,16,4,15)(5,12)
(6,11,7,10,8,9),"t16n1684"],
[(1,7,6,9,15,13,2,8,5,10,16,14)(3,12,4,11),
(1,12,5,16,10,3,14,7)(2,11,6,15,9,4,13,8),"t16n1685"],
[(9,10)(13,14),(1,6,4)(2,5,3)(9,11,13)(10,12,14),
(1,14,8,16,2,13,7,15)(3,10,5,11,4,9,6,12),"t16n1686"],
[(1,14,9)(2,13,10)(3,16,12,4,15,11)(7,8),(1,8,3,6)(2,7,4,5)(9,10)(11,12)
(13,16,14,15),"t16n1687"],
[(1,11,3,9,2,12,4,10)(5,7,6,8)(13,14),(1,16,5,2,15,6)(3,13,7,4,14,8)
(9,10)(11,12),"t16n1688"],
[(1,6,13,11,4,7,15,9)(2,5,14,12,3,8,16,10),(1,14,6,12,4,16,7,9)
(2,13,5,11,3,15,8,10),"t16n1689"],
[(1,14,5,12,4,16,7,9)(2,15,8,10,3,13,6,11),(1,4)(5,15,7,14)(6,13,8,16)
(9,10,11,12),"t16n1690"],
[(1,16,11,8,3,14,9,5,2,15,12,7,4,13,10,6),(1,16,3,13)(2,15,4,14)(5,8,6,7)
(9,11)(10,12),"t16n1691"],
[(1,5,12,10,14,4)(2,6,11,9,13,3)(7,15)(8,16),(1,9)(2,10)(3,11,4,12)(5,14)
(6,13)(7,15,8,16),(1,13,7,12,9,6,16,4,2,14,8,11,10,5,15,3),"t16n1692"],
[(2,3,6,5,7,8,4)(9,14,12,15,10,11,13),(1,12,5,15)(2,14,6,13)(3,16,7,11)
(4,9,8,10),"t16n1693"],
[(3,6,11,9,13,15,7)(4,5,12,10,14,16,8),(1,6)(2,5)(3,15,4,16)(7,12)(8,11)
(9,14,10,13),(1,13,9,7,6,11,3)(2,14,10,8,5,12,4),"t16n1694"],
[(1,2)(15,16),(1,2)(3,4),(1,6)(2,5)(3,16)(4,15)(7,12)(8,11)(9,14)(10,13),
(1,9)(2,10)(5,6)(11,12)(13,14),(1,15)(2,16)(3,5,4,6)(7,9,8,10)(11,13)
(12,14),"t16n1695"],
[(15,16),(1,2)(3,5)(4,6)(7,9)(8,10)(15,16),(1,2)(3,6,4,5)(11,13)(12,14),
(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),"t16n1696"],
[(3,11)(4,12)(9,10)(15,16),(1,2)(3,4),(1,2)(3,4)(5,14,6,13)(15,16),
(1,6)(2,5)(3,16)(4,15)(7,12)(8,11)(9,14)(10,13),
(1,15)(2,16)(3,5,4,6)(7,9,8,10)(11,13)(12,14),"t16n1697"],
[(1,4,9,11,2,3,10,12)(5,16)(6,15)(7,13)(8,14),
(1,7,13,3,9,15,5,11)(2,8,14,4,10,16,6,12),
(1,13,10,6)(2,14,9,5)(7,16,8,15),"t16n1698"],
[(1,8,5,4)(2,7,6,3)(9,12,10,11)(13,16,14,15),
(1,9,8,15)(2,10,7,16)(3,12,5,14)(4,11,6,13),
(1,11)(2,12)(3,10,8,13,4,9,7,14)(5,15,6,16),"t16n1699"],
[(9,10)(13,14),(1,5,2,6)(3,4),(1,6)(2,5)(3,7)(4,8)(9,10)(11,12),
(1,7,2,8)(3,6,4,5)(11,12),(1,9,4,12)(2,10,3,11)(5,13,7,15,6,14,8,16),
"t16n1700"],
[(7,12,8,11)(9,14,10,13),(1,2)(7,8),(1,2)(3,16)(4,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),
(1,15)(2,16)(3,6,4,5)(7,12)(8,11)(9,14,10,13),"t16n1701"],
[(1,9,7,15,5,13,3,11,2,10,8,16,6,14,4,12),(1,4,6,8,2,3,5,7)(9,14,10,13)
(15,16),(1,15,2,16)(3,13)(4,14)(5,12)(6,11)(7,9,8,10),"t16n1702"],
[(1,6,10,13,2,5,9,14)(3,16,11,8,4,15,12,7),(1,7,10,16)(2,8,9,15)(3,6)
(4,5)(11,14,12,13),(1,4)(2,3)(5,8,13,16,6,7,14,15)(9,12,10,11),"t16n1703"
],
[(1,11,10,3,2,12,9,4)(5,15)(6,16)(7,14,8,13),(1,10)(2,9)(3,11,4,12)(13,14),
(1,15,14,4,10,8,6,11,2,16,13,3,9,7,5,12),"t16n1704"],
[(1,2)(3,11,4,12)(5,13,6,14)(7,15,8,16),(1,14)(2,13)(3,15)(4,16)(5,9)(6,10)
(7,11)(8,12),(1,7,10,16,2,8,9,15)(3,13,11,5)(4,14,12,6),"t16n1705"],
[(1,8,5,11)(2,7,6,12)(3,14,16,9,4,13,15,10),
(1,11,2,12)(3,13,4,14)(5,8,6,7)(9,16)(10,15),
(1,12,15,10,2,11,16,9)(3,14,5,7,4,13,6,8),"t16n1706"],
[(15,16),(1,3,6,7,9,11,13,15,2,4,5,8,10,12,14,16),
(1,9)(2,10)(3,4)(5,14,6,13)(15,16),(1,12,2,11)(3,9)(4,10)(5,8)(6,7)
(13,15,14,16),"t16n1707"],
[(9,10)(13,14),(1,2)(3,4),(1,5)(2,6)(3,4),(1,7,2,8)(3,6,4,5)(9,10)(11,12),
(1,10,3,11,2,9,4,12)(5,13,7,15,6,14,8,16),"t16n1708"],
[(1,14,7,11,6,10,4,16,2,13,8,12,5,9,3,15),(1,10,4,16)(2,9,3,15)(5,13,8,11)
(6,14,7,12),(1,5)(2,6)(3,7,4,8)(9,12,10,11)(13,15)(14,16),"t16n1709"],
[(3,4)(5,14,6,13)(7,15,8,16)(11,12),(1,4,6,8,10,11,13,16)(2,3,5,7,9,12,14,15
),(1,6)(2,5)(3,12)(4,11)(9,13,10,14)(15,16),
(1,9,2,10)(7,15)(8,16)(13,14),(1,10)(2,9)(3,12,4,11)(5,6),"t16n1710"],
[(9,10)(13,14),(1,3)(2,4)(5,7,6,8)(9,12)(10,11)(13,15,14,16),(1,5)(2,6)(3,4),
(1,7,2,8)(3,6,4,5)(11,12),(1,9,4,12)(2,10,3,11)(5,13,7,15,6,14,8,16),
"t16n1711"],
[(1,9,4,12,6,13,8,15)(2,10,3,11,5,14,7,16),(1,4,2,3)(5,7)(6,8)(9,10)
(11,15,12,16)(13,14),(1,4,5,8)(2,3,6,7)(9,10)(11,16,12,15)(13,14),
"t16n1712"],
[(3,4)(5,14,6,13)(7,15,8,16)(11,12),(1,4,6,8,10,11,13,16)(2,3,5,7,9,12,14,15
),(1,5,2,6)(3,12,4,11)(7,8)(9,13,10,14)(15,16),
(1,10)(2,9)(3,12,4,11)(5,6),"t16n1713"],
[(7,12,8,11)(9,14,10,13),(3,16)(4,15)(5,6)(7,9,11,14)(8,10,12,13),(1,2)(7,8),
(1,10)(2,9)(3,12,4,11)(5,13,6,14)(7,15)(8,16),
(1,15)(2,16)(3,5,4,6)(7,12)(8,11)(9,14)(10,13),"t16n1714"],
[(1,8,5,4)(2,7,6,3)(9,15,13,12)(10,16,14,11),
(1,11,9,4,2,12,10,3)(5,16,6,15)(7,14,8,13),
(1,14,2,13)(3,11)(4,12)(5,10,6,9)(15,16),"t16n1715"],
[(1,15,10,8,2,16,9,7)(3,13)(4,14)(5,11,6,12),
(1,5,2,6)(3,7,4,8)(9,14,10,13)(11,15,12,16),(1,16,2,15)(3,14,4,13)(5,12)
(6,11)(7,9,8,10),"t16n1716"],
[(1,16,5,3,2,15,6,4)(7,8)(9,13,10,14)(11,12),
(1,15,2,16)(3,6,4,5)(7,14,8,13)(9,11)(10,12),
(1,9,3,7,2,10,4,8)(5,13,15,12)(6,14,16,11),"t16n1717"],
[(1,7)(2,8)(3,13,11,5)(4,14,12,6)(9,16,10,15),
(1,14)(2,13)(3,15,4,16)(5,9,6,10)(7,12)(8,11),
(1,3,5,16,9,12,13,7,2,4,6,15,10,11,14,8),"t16n1718"],
[(15,16),(3,4)(7,9)(8,10)(11,13)(12,14)(15,16),(1,2)(3,4)(5,6)(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),"t16n1719"],
[(1,8,14,3,9,15,6,12)(2,7,13,4,10,16,5,11),(1,10,2,9)(3,4)(5,13,6,14)
(7,16)(8,15)(11,12),(1,7,13,4,2,8,14,3)(5,12,9,16,6,11,10,15),"t16n1720"]
,[(1,2)(15,16),(1,3,5,16)(2,4,6,15)(7,9,11,14)(8,10,12,13),
(1,9)(2,10)(5,6)(11,12)(13,14),"t16n1721"],
[(1,9,16,8,5,14,4,12)(2,10,15,7,6,13,3,11),(1,11,2,12)(3,13,4,14)(5,8)
(6,7)(9,15)(10,16),(1,5,2,6)(3,16,4,15)(7,14,12,10,8,13,11,9),"t16n1722"
],
[(1,15,14,4,9,8,6,11,2,16,13,3,10,7,5,12),(1,12,13,7,10,4,5,16,2,11,14,8,9,
3,6,15),(1,10)(2,9)(3,4)(5,14,6,13)(11,12),"t16n1723"],
[(3,4)(5,14,6,13)(7,15,8,16)(11,12),(1,3,5,8,10,11,14,16,2,4,6,7,9,12,13,15)
,(1,5,2,6)(3,12,4,11)(7,8)(9,13,10,14)(15,16),
(1,9,2,10)(7,15)(8,16)(13,14),(1,10)(2,9)(3,12,4,11)(5,6),"t16n1724"],
[(1,12,2,11)(3,10,4,9)(5,16,13,7,6,15,14,8),(1,10,2,9)(3,15,11,7,4,16,12,8)
(5,13)(6,14),(1,16,10,8)(2,15,9,7)(3,13)(4,14)(5,12,6,11),"t16n1725"],
[(1,13,9,5)(2,14,10,6)(3,16,12,8)(4,15,11,7),
(1,4,5,16)(2,3,6,15)(7,10,12,13,8,9,11,14),
(1,7,5,3)(2,8,6,4)(9,16,13,11)(10,15,14,12),"t16n1726"],
[(1,16,10,8)(2,15,9,7)(3,14)(4,13)(5,11)(6,12),
(1,15,13,4,9,8,5,12)(2,16,14,3,10,7,6,11),
(1,14,10,6,2,13,9,5)(3,15,11,8,4,16,12,7),"t16n1727"],
[(9,10)(13,14),(1,5,2,6)(3,4),(1,6)(2,5)(3,7)(4,8)(9,10)(11,12),
(1,7,2,8)(3,6,4,5)(9,10)(11,12),
(1,10,3,11,2,9,4,12)(5,13,7,15,6,14,8,16),"t16n1728"],
[(1,8,14,11)(2,7,13,12)(3,9,15,5,4,10,16,6),(1,2)(3,11)(4,12)(5,13,6,14),
(1,10,2,9)(3,11)(4,12)(5,14,6,13)(7,8),"t16n1729"],
[(1,14,2,13)(3,11,4,12)(5,9)(6,10)(7,8)(15,16),
(1,14,10,5,2,13,9,6)(3,7,11,16,4,8,12,15),
(1,3,6,7)(2,4,5,8)(9,12,14,15)(10,11,13,16),"t16n1730"],
[(1,16,2,15)(3,6)(4,5)(7,8)(11,12)(13,14),
(1,13,15,11)(2,14,16,12)(3,7,6,9,4,8,5,10),
(1,2)(3,15,4,16)(5,6)(7,10,12,14,8,9,11,13),"t16n1731"],
[(1,2)(3,12,4,11)(7,8)(13,14),(1,15,14,11,2,16,13,12)(3,9,7,5)(4,10,8,6),
(1,8,6,11,9,16,13,4,2,7,5,12,10,15,14,3),"t16n1732"],
[(1,2)(3,7,11,15,4,8,12,16)(9,10)(13,14),(1,14)(2,13)(3,11,4,12)(5,9)(6,10)
(15,16),(1,3,10,11)(2,4,9,12)(5,8,14,16,6,7,13,15),"t16n1733"],
[(1,8,10,15,2,7,9,16)(3,6,4,5)(11,13)(12,14),(1,5)(2,6)(3,4)(7,15,8,16)
(9,13)(10,14)(11,12),(5,14)(6,13)(7,16,8,15)(9,10),"t16n1734"],
[(1,4,6,8)(2,3,5,7)(9,10),(1,5)(2,6)(7,8)(9,14,10,13)(11,15)(12,16),
(1,10,4,16,2,9,3,15)(5,14,7,11)(6,13,8,12),"t16n1735"],
[(1,15,13,3,9,8,5,11,2,16,14,4,10,7,6,12),(1,10,2,9)(3,8,11,15)(4,7,12,16)
(5,14,6,13),(1,16,14,12,9,7,5,3)(2,15,13,11,10,8,6,4),"t16n1736"],
[(1,11,7,9,6,16,3,14)(2,12,8,10,5,15,4,13),(1,6,2,5)(3,4)(9,11)(10,12)
(13,15)(14,16),(1,4)(2,3)(5,7,6,8)(9,14,10,13)(11,16,12,15),"t16n1737"],
[(1,13,4,16,2,14,3,15)(5,9,7,11)(6,10,8,12),
(1,11)(2,12)(3,14,4,13)(5,15,6,16)(7,10)(8,9),
(1,16,5,11,2,15,6,12)(3,10,4,9)(7,14)(8,13),"t16n1738"],
[(1,7,15,14)(2,8,16,13)(3,9,6,11)(4,10,5,12),
(1,12,15,14)(2,11,16,13)(3,10,6,7,4,9,5,8),(1,12,2,11)(3,13,4,14)(5,8)
(6,7)(9,16)(10,15),"t16n1739"],
[(1,9)(2,10)(3,8,12,16)(4,7,11,15)(5,14,6,13),
(1,11,2,12)(3,9,4,10)(5,8,6,7)(13,15,14,16),
(1,14,2,13)(5,9,6,10)(7,15,8,16)(11,12),"t16n1740"],
[(1,11)(2,12)(3,13,8,10)(4,14,7,9)(5,16,6,15),
(1,3,2,4)(5,7)(6,8)(9,11,14,16)(10,12,13,15),
(1,9,4,12,6,13,8,15,2,10,3,11,5,14,7,16),"t16n1741"],
[(1,12,8,13,5,16,4,9,2,11,7,14,6,15,3,10),(1,9)(2,10)(3,11)(4,12)(5,13)
(6,14)(7,15)(8,16),(1,2)(3,4)(5,6)(9,12,10,11)(13,16)(14,15),"t16n1742"],
[(1,3,6,7,2,4,5,8)(9,10)(11,16,12,15),
(1,4,2,3)(5,8,6,7)(9,11,14,15,10,12,13,16),(1,12,6,16,2,11,5,15)(3,13)
(4,14)(7,10)(8,9),"t16n1743"],
[(1,7,2,8)(3,6)(4,5)(9,11,13,15,10,12,14,16),(1,7,5,3)(2,8,6,4)(9,10)
(11,16)(12,15)(13,14),(1,13,5,10)(2,14,6,9)(3,16,7,12)(4,15,8,11),
"t16n1744"],
[(1,9,3,7,2,10,4,8)(5,13,15,11)(6,14,16,12),(1,2)(3,16)(4,15)(7,10,12,13,8,
9,11,14),(1,7,2,8)(3,9)(4,10)(5,12)(6,11)(13,15,14,16),"t16n1745"],
[(1,16,6,12)(2,15,5,11)(3,14)(4,13)(7,10)(8,9),
(1,6)(2,5)(7,8)(9,16,13,11,10,15,14,12),(1,12)(2,11)(3,9)(4,10)(5,15)
(6,16)(7,14)(8,13),"t16n1746"],
[(1,15,2,14,3,13)(4,16)(5,10,8,12,6,9)(7,11),(1,10,4,12)(2,9,3,11)(5,13)
(6,16)(7,15)(8,14),(1,15)(2,13,4,14,3,16)(5,10,7,12,8,9)(6,11),
"t16n1747"],
[(1,16,5,11,2,13,7,10,3,14,8,9)(4,15,6,12),(1,7)(2,5,4,8,3,6)(9,16)
(10,15,12,13,11,14),"t16n1748"],
[(1,9,3,11,2,10)(4,12)(5,13,8,16,7,15)(6,14),
(1,4,3)(5,16,12)(6,13,11)(7,15,10)(8,14,9),"t16n1749"],
[(1,10,3,11)(2,9,4,12)(5,6)(13,16,14,15),
(1,3,4,2)(5,12,16,7,11,14,8,9,13,6,10,15),"t16n1750"],
[(1,16,5,11,2,15,6,9)(3,14,8,12,4,13,7,10),
(1,6)(2,7)(3,8)(4,5)(9,13,12,16)(10,15,11,14),"t16n1751"],
[(1,7,2,8)(3,6,4,5)(9,15,11,13)(10,14,12,16),(1,15)(2,14,3,16,4,13)(5,10)
(6,9,7,12,8,11),"t16n1752"],
[(1,2,4,14,5,6,16,10)(3,12,11,9,7,8,15,13),(1,11,14,15,8,3)(2,6,16,12,5,13)
(4,10,9),"t16n1753"],
[(1,15)(2,16)(3,6,4,5)(7,8)(11,12)(13,14),(1,8,5,10,15,14)(2,7,6,9,16,13)
(3,12,4,11),"t16n1754"],
[(1,15)(2,16)(3,5,4,6)(7,8)(11,12)(13,14),(1,11,4,7,5,13,2,12,3,8,6,14)
(9,15,10,16),"t16n1755"],
[(1,3)(5,16,6,13)(7,14,8,15)(9,10,11,12),(1,7,2,5,3,6)(4,8)(9,14,10,16,11,
15)(12,13),(1,10,3,11,4,9)(2,12)(5,6,8)(13,16,15),"t16n1756"],
[(1,13)(2,14)(3,16)(4,15)(5,6)(11,12),
(1,12,8,15,4,10,6,14)(2,11,7,16,3,9,5,13),(1,2)(3,4)(5,9,15,8,12,13)
(6,10,16,7,11,14),"t16n1757"],
[(1,6,9,15,4,7,12,14,2,5,10,16,3,8,11,13),(1,13,12,4,15,10)(2,14,11,3,16,9)
(7,8),(5,14,11,8,16,10,6,13,12,7,15,9),"t16n1758"],
[(1,9,16,12,4,14,2,10,15,11,3,13)(5,7,6,8),
(1,5,3,15)(2,6,4,16)(7,9,13,12,8,10,14,11),(3,6,4,5)(7,10,8,9)(11,12)
(13,14),"t16n1759"],
[(1,16,12,7,3,14,9,6)(2,15,11,8,4,13,10,5),(1,14,2,13)(3,15,4,16)(9,10),
"t16n1760"],
[(1,4,13,10,11,6,2,3,14,9,12,5)(7,15)(8,16),(1,7,2,8)(3,4)(5,13,6,14)
(9,16)(10,15)(11,12),"t16n1761"],
[(1,11,3,10,2,12,4,9)(5,13,15,8,6,14,16,7),
(1,10,4,13,2,9,3,14)(5,11,16,7,6,12,15,8),"t16n1762"],
[(1,3,2,4)(5,6)(7,8)(9,14,15,12,10,13,16,11),(1,16,2,15)(3,13,4,14)(5,12)
(6,11)(7,10)(8,9),"t16n1763"],
[(1,12,14,3,10,16)(2,11,13,4,9,15),(1,4,2,3)(5,16,7,14)(6,15,8,13)(9,11)
(10,12),"t16n1764"],
[(1,8,4)(2,7,3)(9,16,14,10,15,13)(11,12),(1,11,6,14)(2,12,5,13)(3,15,8,9)
(4,16,7,10),(1,6,8,4)(2,5,7,3)(9,12)(10,11)(13,14)(15,16),"t16n1765"],
[(3,16,6,4,15,5)(9,12,13,10,11,14),(1,10,15,7)(2,9,16,8)(3,14,5,12,4,13,6,11)
,"t16n1766"],
[(5,7)(6,8)(9,10)(11,12)(13,15)(14,16),(3,7,13,4,8,14)(5,15,9)(6,16,10)(11,12),
(1,11)(2,12)(5,6)(7,8)(13,16)(14,15),(1,15)(2,16)(3,5,4,6)(7,9,8,10)
(11,13)(12,14),"t16n1767"],
[(1,6,3,9,15,8,13)(2,5,4,10,16,7,14)(11,12),(1,13,15,5,4,11,7)(2,14,16,6,3,
12,8)(9,10),"t16n1768"],
[(15,16),(1,2)(3,4)(5,14,6,13),(1,5)(2,6)(3,16,4,15)(7,11)(8,12)(9,13)
(10,14),(1,15,2,16)(3,5,4,6)(7,9)(8,10)(11,13)(12,14),"t16n1769"],
[(1,12,6,16,10,3,14,7)(2,11,5,15,9,4,13,8),
(1,8)(2,7)(3,5,11,13)(4,6,12,14)(9,16)(10,15),(1,13,10,5)(2,14,9,6)(3,8)
(4,7)(11,15,12,16),"t16n1770"],
[(1,6,10,14,2,5,9,13)(3,15)(4,16)(7,11,8,12),
(1,4,14,7,2,3,13,8)(5,16,10,12,6,15,9,11),
(1,8,14,3,9,16,5,12,2,7,13,4,10,15,6,11),"t16n1771"],
[(3,11)(4,12)(9,10)(15,16),(1,2)(3,4)(5,14,6,13)(15,16),
(1,3,5,16)(2,4,6,15)(7,9,11,14)(8,10,12,13),
(1,6)(2,5)(3,12)(4,11)(9,13,10,14)(15,16),(1,10)(2,9)(5,6)(11,12),
"t16n1772"],
[(1,7,2,8)(3,14,4,13)(5,11)(6,12)(9,15,10,16),(1,8,14,11,2,7,13,12)
(3,10,16,6)(4,9,15,5),(1,15,14,3,9,8,6,11,2,16,13,4,10,7,5,12),
"t16n1773"],
[(3,16,12,8)(4,15,11,7)(5,6),(1,2)(3,8,12,15)(4,7,11,16)(5,6),
(1,15,9,7)(2,16,10,8)(3,6)(4,5)(11,13)(12,14),"t16n1774"],
[(15,16),(1,3,6,7,9,11,13,15,2,4,5,8,10,12,14,16),(1,10,2,9)(7,16,8,15),
(1,14,2,13)(3,4)(5,9)(6,10)(7,15,8,16),"t16n1775"],
[(1,9)(2,10)(3,11)(4,12)(5,6)(7,8)(13,14),(1,11)(2,12)(3,10,4,9)(5,15,14,7)
(6,16,13,8),(1,3,14,8,10,12,6,15)(2,4,13,7,9,11,5,16),"t16n1776"],
[(1,16,9,8)(2,15,10,7)(3,13,12,5,4,14,11,6),(1,2)(3,8,4,7)(5,6)(9,10)
(11,15)(12,16)(13,14),(1,3,13,8,9,12,5,15,2,4,14,7,10,11,6,16),"t16n1777"],
[(15,16),(1,5)(2,6)(7,9,11,13)(8,10,12,14)(15,16),(1,5,2,6)(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),"t16n1778"],
[(3,11)(4,12)(9,10)(15,16),(1,2)(3,4)(5,14,6,13)(15,16),
(1,3,6,16)(2,4,5,15)(7,10,11,14,8,9,12,13),(1,5,2,6)(3,12,4,11)(7,8)
(9,13,10,14)(15,16),(1,10)(2,9)(5,6)(11,12),"t16n1779"],
[(1,2)(15,16),(1,3,6,16)(2,4,5,15)(7,10,11,14,8,9,12,13),
(1,6)(2,5)(3,12)(4,11)(9,13,10,14)(15,16),(1,9)(2,10)(5,6)(11,12)(13,14),
"t16n1780"],[(3,15)(4,16)(7,12,8,11)(13,14),(1,2)(3,12,4,11)(13,14),
(1,3,5,16)(2,4,6,15)(7,9,11,14)(8,10,12,13),(1,9)(2,10)(5,6)(11,12)(13,14)
,"t16n1781"],
[(1,3,2,4)(5,16,13,7,6,15,14,8)(9,11,10,12),(1,12,2,11)(3,9)(4,10)
(5,8,6,7)(13,16,14,15),(1,15,13,4,2,16,14,3)(5,11,10,7,6,12,9,8),
"t16n1782"],
[(1,16,8,9,4,14,7,11,2,15,6,10)(3,13,5,12),(1,6,2,7,4,8)(3,5)(13,16)
(14,15),"t16n1783"],
[(1,7,4,5)(2,8,3,6)(9,13,11,15)(10,16,12,14),(1,10,8,14)(2,9,6,15)
(3,11,7,13)(4,12,5,16),(1,4,3,2)(6,8)(9,12)(13,16),"t16n1784"],
[(1,5,3,7)(2,6,4,8)(9,16,12,15,10,14)(11,13),
(1,16,2,13)(3,14)(4,15)(5,11,8,12,6,10,7,9),"t16n1785"],
[(1,16,4,13,3,15)(2,14)(5,12,6,10,8,9)(7,11),
(1,15,4,16,2,13)(3,14)(5,10,8,9,6,12)(7,11),
(1,11,2,12,3,10)(4,9)(5,14,7,15,8,16)(6,13),"t16n1786"],
[(1,4,2,3)(7,8)(9,10,12,11)(13,16),(1,14,5,9,4,15,6,11,2,16,7,10)
(3,13,8,12),"t16n1787"],
[(1,12,4,10,3,11,2,9)(5,16)(6,14,8,15)(7,13),(1,13,10,6,4,16,11,8,2,14,9,5,
3,15,12,7),"t16n1788"],
[(5,12,16,8,11,13)(6,10,15,7,9,14),(1,15,6,9,2,14,5,12,4,13,7,11)(3,16,8,10),
(5,9,14)(6,11,13)(7,12,16)(8,10,15),"t16n1789"],
[(1,10,7,4,11,6)(2,12,8)(3,9,5)(13,16),(1,5,14,4,6,16)(2,7,15,3,8,13)
(9,12,11),"t16n1790"],
[(1,2)(3,8,5,4,7,6)(9,13,15)(10,14,16),(1,13,2,14)(3,12,8,15,6,9,4,11,7,
16,5,10),"t16n1791"],
[(1,5,3,7)(2,6,4,8)(9,13,11,14)(10,15,12,16),(1,9,2,10)(3,12)(4,11)
(5,15,8,13,6,16,7,14),"t16n1792"],
[(1,10,2,11,3,12)(4,9)(5,16,8,13,6,14)(7,15),(1,7,4,5)(2,8,3,6)(10,12,11)
(13,15,16),"t16n1793"],
[(1,13,4,16)(2,14)(3,15)(5,12,6,10)(7,11)(8,9),(1,7,3,8,4,5,2,6)(9,14)
(10,15,11,16)(12,13),"t16n1794"],
[(1,15,8,10,4,13,6,9,3,16,7,11)(2,14,5,12),(1,15,3,14)(2,16,4,13)(5,9,6,10)
(7,12,8,11),(1,15,5,12,4,16,6,10,2,13,7,9)(3,14,8,11),"t16n1795"],
[(1,11,6,15,4,12,8,13)(2,9,5,16,3,10,7,14),
(1,2,4,3)(6,7)(9,14)(10,13,12,15,11,16),"t16n1796"],
[(1,6,10,16)(2,7,11,13)(3,8,9,14)(4,5,12,15),
(1,5,10,4,8,11)(2,6,9,3,7,12)(13,15,16),
(1,2,3)(5,12,14,7,10,15)(6,11,16,8,9,13),"t16n1797"],
[(1,7,3,6,8,4)(2,5)(9,12,14)(10,13,16),(1,11,4,16,3,12,8,14,5,13,2,9)
(6,15,7,10),"t16n1798"],
[(1,11,7,14,3,15,4,9,6,13,5,10,8,16)(2,12),(1,16,7,11,3,15,4,10,6,13,5,12,
8,14)(2,9),"t16n1799"],
[(1,15,5,10,8,13)(2,16,6,9,7,14)(3,12)(4,11),(1,16,12,2,15,11)(5,7,10)
(6,8,9)(13,14),"t16n1800"]];
TRANSPROPERTIES[16]{[1501..1800]}:=
[
[2688,0,1,1,
"11s0240s0302s0501s0208s0340s060210"
,[56,64],[112,128],[112,448],[4,[28,672,896,1112]],[6,[[1,14,64,84,224,448,672,1112,1336,1344,2688]]]],
[2688,0,1,1,
"11s0240s0302s0501s0208s0340s0602"
,[56,64],[112,128],[112,448],[4,[28,896,1112,1336]]],
[2688,0,1,1,
"11s0240s0302s0501s0208s0340s060210"
,[8,112],[16,224],[112,448],[4,[28,672,896,1112]],[208,[36]]],
[2688,0,1,1,
"11s0240s022802s0808s0340s0710"
,[8,1056],[16,1112],[336,1112],[4,[84,448,1028,1112,2336]]],
[2688,0,1,1,
"05s0240s0312s0808s0340s0280s0410"
,[56,64],[112,128],[112,448],[4,[28,672,896,1112]],[10163,[[[7,21,28,56],[56,168,1028,1084]]]]],
[2688,0,1,1,
"11s0240s020802s0501s0208s0340s0280s0410"
,[8,112],[16,224],[112,448],[4,[28,224,1112,1672]]],
[2688,0,1,1,
"05s0240s0312s0808s0340s0280s0410"
,[8,112],[16,224],[112,448],[4,[28,672,896,1112]],[608,[37]]],
[2880,1,2,1,
"05s0248s0302s0410s030Cs0B08"
,[120],[240],[80,480],[4,[20,120,720,960]]],
[3072,0,1,1,
"55s0250s020802s0501s0228s0A02"
,[8,16,1048],[16,32,1096],[16,64,1048,1192],[4,[4,32,128,1012,1384,8096]],[6,[[1,4,16,256,1003,1012,1064,1768,6384,8048,13096]]]],
[3072,0,1,1,
"55s0250s02A802s0501s0228s0680s0302"
,[8,16,96],[16,32,192],[16,96,192,256],[4,[4,24,192,384,768,1096,1128]],[6,[[3,24,256,1004,1192,1536,2064,2384,2768,5096]]]],
[3072,0,1,1,
"55s025080000812s078028s0A10"
,[-16,-8,96],[16,32,192],[16,96,192,256],[4,[4,24,96,192,256,384,768,1048]],[6169,[[48,2064]]]],
[3072,0,1,-1,
"55s02501000080As0501s022As0A08"
,[8,16,1048],[-16,32,1096],[-1048,-16,64,1192],[4,[4,32,128,1012,1384,8096]],[21,[-1008]]],
[3072,0,1,1,
"55s0250s022802s0501s0228s0A02"
,[8,16,96],[16,32,192],[16,96,192,256],[4,[4,24,96,192,384,768,1048,1128]]],
[3072,0,1,1,
"55s0240s020802s0808s0680s0302"
,[24,32,64],[48,2064],[16,256,2096],[4,[-24,-4,256,2064,2384,3048]],[6,[[-24,-2,1,24,256,512,1032,1064,3384,3768,4048,5096]]]],
[3072,0,1,1,
"55s0250s020802s0828"
,[-2008,96],[192,2016],[16,256,2096],[4,[4,192,256,2024,2048,2384]]],
[3072,0,1,1,
"55s0240s020802s0808"
,[24,2032],[48,2064],[16,256,2096],[4,[4,256,2024,2048,2064,2384]],[6,[[2001,2256,2768,3024,4096,5032,5048,5384]]]],
[3072,0,1,-1,
"55s02555001A82As082As0301004080s032A"
,[-16,-8,96],[-2016,192],[-16,96,192,256],[4,[4,24,192,256,384,768,1096]]],
[3072,0,1,-1,
"5Fs0250s02A802s06800038s0301004080s0302"
,[-16,-8,96],[-16,32,192],[-16,96,192,256],[4,[4,24,192,256,384,768,1096]],[22,[8],[16],[96]],[29,[16],[192],[1016]]],
[3072,0,1,1,
"15s0240s022812s0501s0208s0680s0302"
,[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,2096,3064,3384,4192]]
],[2249,[[24,48,192,2096]]]],
[3072,0,1,1,
"55s0250s02A802s0828s04050080s0302"
,[8,16,96],[192,2016],[16,96,192,256],[4,[-24,-4,192,384,768,1096,1128]],
[60244,[[[-3002,1008],[-1002],[1016,10032],[1032,3008],[10\
32,10064],[1064],[1064],[3008,3016],[3016,3032]]]]],
[3072,0,1,1,
"55s0240A0002802s0501s0208s0680s0302"
,[8,16,1048],[16,32,1096],[16,64,1048,1192],[4,[-12,-4,12,128,192,1016,1384,6096]]],
[3072,0,1,-1,
"55s02501000080As0501s0228s0540"
,[8,16,1048],[-16,32,1096],[-1048,-16,64,1192],[4,[-12,-4,12,32,128,384,1192,8096]],[21,[-1008]],
[6,[[-1003,-12,-4,1,16,128,256,1006,1768,3384,6192,10048,10096
]]]],
[3072,0,1,1,
"55s0240A000A802s0501s0208s0680s0302"
,[8,16,1048],[16,32,1096],[16,64,1048,1192],[4,[-12,-4,12,32,128,192,1384,6096]],[40321,[[[8,1004]]]]],
[3072,0,1,-1,
"1Bs0240s02B802s06800018s0305054080s030204"
,[-16,-8,96],[-16,32,192],[-16,96,192,256],[4,[-24,-4,192,384,768,1096,1128]],[24,[-24],[-4],[96],[96],[192],[384],[768],[1064],
[1064]]],
[3072,0,1,1,
"55s0250s020802s0501s0228s0680"
,[8,16,1048],[16,32,1096],[16,64,1048,1192],[4,[-12,-4,12,32,128,384,1192,8096]]],
[3072,0,1,1,
"55s0240s020802s0808"
,[24,2032],[48,2064],[16,256,2096],[4,[4,48,256,2064,2384,6024]]],
[3072,0,1,-1,
"57s0250s02B802s0828s0305s0280s030204"
,[-16,-8,96],[-16,32,192],[-16,96,192,256],[4,[-24,-4,192,256,384,768,1096]],[22,[8],[16],[96]],[24,[4],[24],[96],[96],[192],[384],[768],[1128]],[29,[16],[192],[1016]]],
[3072,0,1,1,
"55s025020002812s0828s0680"
,[-16,-8,96],[16,32,192],[16,96,192,256],[4,[-24,-4,96,192,256,384,768,1048]],[208,[40]],
[10163,[[[-3012,1024,1048],[-1012,-1006,12,48],[-12,-2,1001
],[64,96,1048]]]]],
[3072,0,1,1,
"55s0240s020802s0808s0680"
,[24,32,64],[48,2064],[16,256,2096],[4,[-24,-4,256,2064,2384,3048]],[6,[[-24,-2,1,256,512,1032,1064,2024,3048,3384,3768,5096]]]],
[3072,0,1,1,
"55s0250s022812s0828s0680"
,[8,16,96],[16,32,192],[16,96,192,256],[4,[-24,-4,96,192,384,768,1048,1128]],
[10163,[[[-1012,12,48,1006],[-12,-2,1001],[96,1032,1048],[\
1024,1048,3012]]]]],
[3072,0,1,1,
"15s0240s02A802s0501s0208s0302050080s0302"
,[8,48,64],[16,96,128],[48,384,1064],[4,[12,16,32,96,512,1192,1384]],[6,[[1,6,12,16,256,1096,1384,1536,2064,2768,5192]]]],
[3072,0,1,1,
"15s0240s02A812s0501s0208s0680s0302"
,[8,16,96],[16,32,192],[16,96,192,256],[4,[-24,-4,96,192,384,768,1048,1128]],
[60164,[[[4],[16,48,64],[16,48,64],[24],[24,1012],[48
],[1048],[1096],[1192],[1192,3096]]]]],
[3072,0,1,1,
"15s0240s022812s0501s0208s0680s0302"
,[8,16,96],[16,32,192],[16,96,192,256],[4,[-24,-4,96,128,192,384,768,1048,1064]],[608,[41,41]]],
[3072,0,1,1,
"15s0240s022812s0501s0208s0680s0302"
,[8,48,64],[16,96,128],[48,384,1064],[4,[12,192,512,1384,2016,2096]],[208,[41]]],
[3072,0,1,1,
"15s0240s02A802s0501s0208s0302050080s0302"
,[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,1536,1768,3096,3384,4192]]]],
[3072,0,1,-1,
"55s02505000A82As0828s0315004080s030204"
,[-16,-8,96],[-2016,192],[-16,96,192,256],[24,[4],[24],[96],[96],[192],[384],[768],[1128]]],
[3072,0,1,1,
"55s0250s02A802s0828s0680"
,[-2008,96],[192,2016],[16,256,2096],[4,[-2024,-4,192,256,2048,2384]],[208,[40,44,44]]],
[3072,0,1,1,
"55s0250s02A802s0828s0680"
,[-1008,8,96],[192,2016],[16,256,2096],[4,[-2024,-4,192,1128,2048,2384]],[208,[39,44,44]]],
[3072,0,1,1,
"15s0240s02A802s0501s0208s0302050080s0302"
,[8,16,96],[16,32,192],[16,96,192,256],[4,[-24,-4,192,384,768,1096,1128]],[6,[[-1004,-24,-3,256,1536,2064,2192,2384,2768,3096]]],
[60244,[[[-3002,1008],[-1002],[32,3016],[64,1032],[64,300\
8],[1016,10032],[1032,2064,3128],[1064],[3016,3032]]]]],
[3072,0,1,-1,
"1Fs0240s02B802s06800018s0305054080s030204"
,[-16,-8,96],[-16,32,192],[-16,96,192,256],[4,[-24,-4,192,256,384,768,1096]],[22,[8],[16],[96]],[29,[16],[192],[1016]],
[60244,[[[-1008,32,2016],[-1002],[-1002,-4,1008],[16,64,10\
08],[128,1064],[1016,2064,4032],[1016,4032],
[1032,2128,4064]]]]],
[3072,0,1,1,
"55s0250s02A802s0828s0302s0280s0302"
,[8,16,96],[16,32,192],[16,96,192,256],[4,[-24,-4,192,384,768,1096,1128]],[6,[[-1004,-24,-3,256,2064,2192,2384,3096,4768]]]],
[3072,0,1,1,
"55s0250s020802s0501s0228s0680s0302"
,[8,16,96],[16,32,1096],[16,64,1048,1192],[4,[4,24,1128,1384,7096]],[6,[[3,16,24,48,192,256,1004,1064,1536,7384,11096]]]],
[3072,0,1,1,
"55s0250s02A802s0501s0228s0A02"
,[8,16,96],[16,32,192],[16,96,192,256],[4,[4,24,192,384,768,1096,1128]],[6,[[3,24,256,768,1004,2064,2192,2384,2536,3096]]],
[20164,[[[-1012,24,48],[-1006,12,2024],[1,3],[1012],[104\
8,3024],[1048,6096],[1064],[1064],[1096,3048]]]]],
[3072,0,1,1,
"55s0250A0000802s0501s0228s0680s0302"
,[8,16,96],[16,32,192],[16,96,192,256],[4,[4,24,192,384,768,1096,1128]],
[10164,[[[-3012,1024,1048],[1,3],[12,1006],[48,1024],[64
,1032],[64,1032],[192,2096,5048],[1024,3012],
[3024,5048]]]]],
[3072,0,1,1,
"55s0208s020802s0804"
,[24,96],[48,192],[16,256,2096],[4,[4,192,256,2024,2048,2384]],[6,[[3,3024,3768,5048,5384,6096]]]],
[3072,0,1,1,
"55s0250s022802s0501s0228s0680s0302"
,[8,16,96],[16,32,192],[16,96,192,256],[4,[4,24,192,384,768,1096,1128]],[6,[[3,24,768,1004,2384,2536,3064,3096,3192]]]],
[4096,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,[[[-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]],
[[-3008,1016],[-3008,1016],[-3004,-3002,8,1016],
[-3004,16],[-1002,-8,-4]]]]],
[4096,0,1,-1,
"55s03B000A80As0E4080"
,[8,16,2032],[-16,32,2064],[-16,256,2032,2064],[21,[-1008]]],
[4096,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,3016,3032],
[64,3016,3032],[64,3016,3032],[1064,3032],[3001],
[3008,5016],[3008,5016],[3008,5016]]]]],
[4096,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,32,256,2064]
]],
[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]],
[[-3008,1016],[-3008,1016],[-3004,-3002,8,1016],
[-3004,16],[-1002,-8,-4]]]]],
[4096,0,1,1,
"55s03A000A802s0D010080"
,[-16,-8,2032],[16,32,2064],[16,256,2032,2064],[4,[4,2008,2064,2128,3256,5032]],[6,[[2001,3008,4128,5512,6256,7064,11032]]],[208,[21]]],
[4096,0,1,-1,
"7Fs0205F000B82As0C01004080s0404"
,[-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,1024,4064,4512,5032,5128,5256]]],[2322,[[16,256,1064,2032]]],[9322,[[-3016,16,32,256,1064]]]],
[4096,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,64,128],[16,
32,2064],[16,32,2064]]],
[6163,[[16,32,128,256,1064],[16,32,128,256,1064],[16,32,12\
8,256,1064],[16,128,2032,4064],[16,256,2032,2064]]]],
[4096,0,1,-1,
"55s0201F000A80As0C05030080s0404"
,[-16,-8,32,64],[-16,32,64,128],[-16,32,128,256,1064],[22,[-16],[-8],[32],[1032]],[208,[28]],[2169,[[-16,128,2032]]]],
[4096,0,1,1,
"55s0202A000A812s0D010080"
,[-16,-8,2032],[16,32,2064],[16,256,2032,2064],[4,[4,1016,2008,2064,2128,3256,4032]],[6,[[1016,2001,3008,3064,4512,7128,7256,14032]]],[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],[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]]]],
[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]]],
[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],[128,1064],[3016],[3016],[3016,5032],
[3016,5032],[3032],[3032]],
[[-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],[128,1064],[3016],[3016],[3016,5032],
[3016,5032],[3032],[3032]],
[[-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]]]]],
[4096,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],[128,1064],[128,2064,5032],
[1016,1032,3008],[1032,3016],[1064,3032],
[3016,5032]]]]],
[4096,0,1,-1,
"5Fs0201F000F80As0E4080"
,[8,16,2032],[-16,32,2064],[-16,256,2032,2064],[21,[16]],[22,[8],[16],[32],[32],[32]],[23,[16],[32],[32],[64],[64],[64],[1016],[1128]]],
[4096,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,3032,3064],
[1032,3016],[1064,3032],[3016,5032]]]],[2169,[[-16,32,64,128]]],
[20164,[[[-1008,16,32],[-1004,8,16],[-1004,8,2016],[-1002,
4,8,16],[-4,4],[-2,1001],[32,1016,2064],
[32,3008],[128,1032,4064],[1008],[1032,3016],
[1064,3032],[1128],[3032]]]],[2322,[[16,256,1064,2032]]]],
[4096,0,1,1,
"55s03A000A812s0D010080"
,[-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,[35]]],
[4096,0,1,-1,
"7Fs0201F000B80As0C01004080"
,[-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,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],[64,1016,4032],[1004],[1004],
[1004],[1016,3008],[1016,3008],[1016,3008],
[1016,6032],[1032,3016],[1032,3016],[1032,3016],
[1128],[3001]]]],
[2322,[[16,32,256,2064],[16,32,256,2064],[16,32,256,2064]
]],
[20329,[[[-3008,1016],[-3008,1016],[-3004,-3002,8,32],[-300\
4,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]]]]],
[4096,0,1,-1,
"5Fs02055000B82As0C17054080s0404"
,[-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]],[24,[-8],[-4],[16],[32],[32],[64],[64],[64],
[128],[128],[256],[256],[512],[1128]],[29,[16],[32],[64],[128]],[6,[[-8,-2,1,8,16,1032,2024,3128,3512,4256,6064]]],[2322,[[16,256,1064,2032]]],[9322,[[-3016,16,32,256,1064]]],
[90329,[[[-7008,1032],[-7004,32],[-1008,-1004,7001],[-8,-4,
3001]]]]],
[4096,0,1,1,
"55s0202A000A802s0D010080"
,[-16,-8,2032],[16,32,2064],[16,256,2032,2064],[4,[4,2008,2064,2128,3256,5032]],[6,[[2001,3008,5064,5128,5512,6256,11032]]],[208,[31]],
[20324,[[[-3008,32,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],[-1004],[-1004],[-1004,8,16],[-1002],
[-4,-2,1001],[32,1016,2064],[64,3016,3032],
[64,3016,3032],[1016],[1016]],
[[-3008,32,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],[-1004],[-1004],[-1004,8,16],[-1002],
[-4,-2,1001],[32,1016,2064],[64,3016,3032],
[64,3016,3032],[1016],[1016]],
[[-3008,32,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],[-1004],[-1004],[-1004,8,16],[-1002],
[-4,-2,1001],[32,1016,2064],[64,3016,3032],
[64,3016,3032],[1016],[1016]]]],
[40324,[[[-2004,-2,1001,1008],[-1008,16],[-1008,16],[-1004
],[-1004,8,16],[-1004,8,16],[-1004,8,16],
[-1002],[8],[8],[32,3008],[64,3016],[64,5032],
[128,1064],[1032,1064,3016],[1032,1064,3016],
[3016],[3016],[3032],[3032]],
[[-2004,-2,1001,1008],[-1008,16],[-1008,16],[-1004],
[-1004,8,16],[-1004,8,16],[-1004,8,16],[-1002],
[8],[8],[32,3008],[64,3016],[64,5032],
[128,1064],[1032,1064,3016],[1032,1064,3016],
[3016],[3016],[3032],[3032]],
[[-2004,-2,1001,1008],[-1008,16],[-1008,16],[-1004],
[-1004,8,16],[-1004,8,16],[-1004,8,16],[-1002],
[8],[8],[32,3008],[64,3016],[64,5032],
[1032,1064,3016],[1032,1064,3016],[3016],[3016],
[3032],[3032],[3064]],
[[-1004,-1002,4,1008],[-1004,-1002,4,1008],
[-1004,8,16],[-1004,8,16],[-1002,4],[-1002,4],
[-1002,4],[-1002,2008,3001],[8,16,1004],
[32,64,9016],[32,1016,7008],[1016,3008,5032],
[1016,3008,5032],[1016,7004],[3001],[3008,5016],
[3008,5016],[3064],[7008],[7008]],
[[-1004,-1002,4,1008],[-1004,-1002,4,1008],
[-1004,8,16],[-1004,8,16],[-1002,4],[-1002,4],
[-1002,4],[-1002,2008,3001],[8,16,1004],
[32,64,9016],[32,1016,7008],[1016,3008,5032],
[1016,3008,5032],[1016,7004],[3001],[3008,5016],
[3008,5016],[3064],[7008],[7008]],
[[-1004,-1002,4,1008],[-1004,-1002,4,1008],
[-1004,8,16],[-1004,8,16],[-1002,4],[-1002,4],
[-1002,4],[-1002,2008,3001],[8,16,1004],
[32,64,9016],[32,1016,7008],[1016,3008,5032],
[1016,3008,5032],[1016,7004],[3001],[3008,5016],
[3008,5016],[3064],[7008],[7008]]]]],
[4096,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,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],
[128,1032,4064],[1008],[1016,1064,2032],
[1032,3016],[1064,3032],[1128],[3032]]]],
[20323,[[[-3004,32,1008],[-3002,-1004,16],[-1008,64,2016,303\
2],[-1002,-8,-4],[1008,2016],[1016,2032]]]],
[20329,[[[-3004,-3002,8,32],[-3004,16],[-1002,-8,-4],[1032
,3016]]]]],
[4096,0,1,-1,
"7Fs0205F000B82As0C01004080"
,[-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,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],[64,1016,4032],[64,1016,4032],
[1004],[1004],[1004],[1016,3008],[1016,3008],
[1016,3008],[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]]]]],
[4096,0,1,1,
"55s03A000A812s0D010080"
,[-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,[28]]],
[4096,0,1,1,
"55s0202A000A812s0D010080"
,[-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],
[128,1064],[3016],[3016],[3016,5032],[3016,5032],
[3032],[3032]],
[[-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],
[128,1064],[3016],[3016],[3016,5032],[3016,5032],
[3032],[3032]],
[[-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]]]]],
[4096,0,1,-1,
"5Fs02055000B82As0C17054080s0404"
,[-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]],[24,[-8],[-4],[16],[32],[32],[64],[64],[64],
[128],[128],[256],[256],[512],[1128]],[29,[16],[32],[64],[128]],[6,[[-8,-2,1,8,16,1032,2024,3128,3512,4256,6064]]],[2322,[[16,256,1064,2032]]],[9322,[[-3016,16,32,1064,1128]]]],
[4096,0,1,-1,
"55s03A000B82As0C05024080"
,[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]]],[2169,[[16,32,64,128]]]],
[4096,0,1,-1,
"7Fs02015000B82As0C17054080s0404"
,[-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]],[24,[-8],[-4],[16],[32],[32],[64],[64],[64],
[128],[128],[256],[256],[512],[1128]],[29,[16],[32],[64],[128]],[6,[[-8,-2,1,8,16,1024,1032,2128,4256,5512,8064]]]],
[4096,0,1,-1,
"55s03A000A81As0C01004080s0404"
,[-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]],
[20324,[[[-3004,-3002,8,1016],[-3004,16],[-2002,1001],[-100\
4,8,16],[-1002],[8,1004,6016],[16,1008,6032],
[128,1064,7032],[1008],[1016,3008,5032],[1032],
[1032,3016],[3016],[3032,7016]]]]],
[4096,0,1,-1,
"55s03A000A80As0C03054080s0404"
,[-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,2024,2128,2512,3032,6256,7064]]],[9322,[[-3016,16,32,256,1064]]]],
[4096,0,1,-1,
"5Fs03B000F82As0D010080s0404"
,[-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,[28]]],
[4096,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,5032,5256,6064,8128]]],
[4322,[[16,32,256,2064],[128,256,1032,2016],[128,256,1032,2\
016],[128,256,1032,2016]]],
[20329,[[[-3008,1016],[-3008,1016],[-3004,-3002,8,1016],[-3\
004,16],[-1002,-8,-4]]]]],
[4096,0,1,-1,
"7Fs02015000B82As0C17054080s0404"
,[-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]],[24,[-8],[-4],[16],[32],[32],[64],[64],[64],
[128],[128],[256],[256],[512],[1128]],[29,[16],[32],[64],[128]],[6,[[-8,-2,1,8,16,1032,2024,3128,3512,4256,6064]]],
[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]]]],[2322,[[16,256,1064,2032]]]],
[4096,0,1,-1,
"55s03F000B802s0C15004080s0404"
,[-16,-8,32,64],[-16,32,64,128],[-16,32,128,256,1064],[22,[8],[16],[32],[1032]],[2169,[[-16,128,2032]]]],
[4096,0,1,-1,
"55s03B000A80As0E40"
,[8,64,2016],[-16,128,2032],[-2016,1064,2128],[21,[-1008]]],
[4096,0,1,-1,
"FFs0201F000F80As0E4080"
,[8,16,2032],[-16,1064,2032],[-2016,1032,1128,2064],[21,[16]],[22,[8],[16],[32],[32],[32]],[23,[16],[16],[16],[32],[32],[64],[64],[64],
[128],[128]]],
[4096,0,1,1,
"55s03A000A802s0C0A010080"
,[-16,-8,32,64],[16,32,64,128],[16,32,128,256,1064],[4,[-8,-4,16,512,1032,1128,2064,2256]],[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,32,4016],[-1004,32,2008],[-1002,-8,-4],[8,
16,1004],[1008,2016],[1032,2064]]]]],
[4096,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,1032,2024,2512,4256,5128,10064]]],
[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]]
]]],
[4096,0,1,-1,
"7Fs0201F000B80As0C01004080"
,[-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,[[[-3008,1016],[-3008,1016],[-3004,-3002,8,32],[-300\
4,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]]]]],
[4096,0,1,-1,
"5Fs0201F000F80As0E4080"
,[8,64,2016],[-16,128,2032],[-2016,1064,2128],[4,[-2004,16,512,3032,5064,5128]],[21,[16]],[22,[8],[16],[16],[16],[1032]],[6,[[-2004,-2002,1,16,1024,2512,5256,9064,9128,11032]]],[2169,[[16,32,64,128],[16,32,64,128],[16,32,64,128]]],
[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]]]],
[4096,0,1,-1,
"7Fs0205F000B82As0E4080"
,[-16,-8,32,64],[-16,32,2064],[-16,256,2032,2064],[22,[-16],[-8],[32],[64]],[6,[[-8,-2,1,8,16,1024,4064,4512,5032,5128,5256]]],
[20329,[[[-5004,-3002,32],[-3008,1016],[-3008,1016],[-3004,
16],[-1002,-8,-4]]]],[9322,[[-3016,16,32,128,256]]]],
[4096,0,1,1,
"55s0202A000A802s0D010080"
,[-16,-8,32,64],[16,32,2064],[16,256,2032,2064],[4,[-8,-4,16,2128,3032,3064,3256]],[208,[27]],[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,3016,3032],[64,3016,3032],[64,3016,3032],
[128,1064],[1016,3008],[3001]]]],
[20324,[[[-3008,32,1064,3016],[-3008,32,3016],[-3008,32,3016
],[-3008,1016],[-3008,1016],[-3004],
[-3004,-3002,8,32],[-3004,16],[-3004,16,1032,3008],
[-1008,1008],[-1008,1008],[-1004,8,16],[-1002],
[-4,-2,1001],[64,3016,3032],[64,3016,3032],
[1016,1064,2032],[3016]]]]],
[4096,0,1,-1,
"55s0202A000A812s0D014080s0404"
,[-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],
[64,128,1032],[1008],[1032],[1032],[1032],
[1128],[1128],[1128],[3032],[3032],[3032]]]]],
[4096,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,128,256,1032],[16,32,256,2064]]],
[20164,[[[-3004,1008,1016],[-1004,8,16],[-1002,4,2008],[-1\
002,4,2008],[-1002,4,2008],[64,1016,4032],[64,1016,4032],
[1004],[1016,3008],[1016,3008],[1016,3008],
[1016,6032],[1032,3016],[1032,3016],[1032,3016],
[1128],[3001],[3004]]]]],
[4096,0,1,-1,
"7Fs0205F000B82As0C01004080"
,[-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,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],[64,1016,4032],[64,1016,4032],
[1004],[1004],[1004],[1016,3008],[1016,3008],
[1016,3008],[1032,3016],[1032,3016],[1032,3016],
[1128],[3001]]]],
[2322,[[16,32,256,2064],[16,32,256,2064],[16,256,1064,2032
]]],
[20329,[[[-3008,1016],[-3008,1016],[-3004,-3002,8,32],[-300\
4,16],[-1002,-8,-4]],
[[-3008,1016],[-3008,1016],[-3004,-3002,8,32],
[-3004,16],[-1002,-8,-4]],
[[-3008,1016],[-3008,1016],[-3002,32,5004],
[-1002,-8,4],[16,3004]]]]],
[4096,0,1,1,
"55s03A000A812s0C02050080"
,[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,2256,3032,4512,8128,11064]]]],
[4096,0,1,1,
"55s0202A000A802s0D010080"
,[-16,-8,2032],[16,32,2064],[16,256,2032,2064],[4,[4,2008,2064,2128,3256,5032]],[6,[[2001,3008,5064,5128,5512,6256,11032]]],[208,[31]],
[20324,[[[-3008,32,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],[-1004],[-1004],[-1004,8,16],[-1002],
[-4,-2,1001],[32,1016,2064],[64,3016,3032],
[64,3016,3032],[1016],[1016]],
[[-3008,32,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],[-1004],[-1004],[-1004,8,16],[-1002],
[-4,-2,1001],[32,1016,2064],[64,3016,3032],
[64,3016,3032],[1016],[1016]],
[[-3008,32,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],[-1004],[-1004],[-1004,8,16],[-1002],
[-4,-2,1001],[64,3016,3032],[64,3016,3032],[1016],
[1016],[1016,1064,2032]]]]],
[4096,0,1,1,
"55s0202A000A812s0F80"
,[-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]]],
[6322,[[-1016,16,256,1032,1064],[16,32,64,2128],[16,32,64,
2128],[16,256,1064,2032],[16,256,1064,2032]]],
[60324,[[[-1008,-1004,16,2008],[-1008,2016],[-1004,8],[-100\
2,16,2004],[-4,4],[-2,1001],[8,1004],[8,1004],
[32,3008],[1032,3016],[1128],[3016,3064,5032],
[3016,5032],[7016],[7032]],
[[-1002],[-1002,-4],[-1002,-4,8],[16],[16,32,1008],
[16,1008],[1008],[1016,1064,2032],[1016,2032],
[1032],[1032,2064],[1064,1128,3032],[1064,3032],
[3016],[3032]],
[[-1002],[-1002,-4],[-1002,-4,8],[16],[16,32,1008],
[16,1008],[1008],[1016,2032],[1016,6032],[1032],
[1032,2064],[1064,1128,3032],[1064,3032],[3016],
[3032]],
[[-8],[-8,-4,4],[-4],[16],[16],[16,32,1008],
[64,128,1032],[1016],[1032],[1032],[1032,2064],
[1064],[1064],[1128],[1128,3064]],
[[-8],[-8,-4,4],[-4],[16],[16],[16,32,1008],
[1016],[1032],[1032],[1032,2064],[1032,2064],
[1064],[1064],[1128],[1128,3064]]]]],
[4096,0,1,-1,
"FFs0201F000F80As0E4080"
,[8,1032,2016],[-16,1064,2032],[-2016,1032,1128,2064],[4,[-1004,4,1008,1256,2128,7032,9064]],[21,[16]],[22,[8],[16],[16],[16],[32],[32]],[23,[16],[16],[16],[32],[32],[64],[64],[64],
[128],[128]]],
[4096,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],[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]]]],
[4096,0,1,1,
"55s03A000A812s0F80"
,[8,16,32,64],[16,32,64,128],[16,32,128,256,1064],[4,[-8,-4,16,512,1032,1256,2064,3128]],
[20324,[[[-3004,-3002,8,1016],[-3004,16],[-2002,1001],[-100\
4,8,16],[-1002],[8,1004,6016],[16,1008,2032],
[16,1008,2032],[16,1008,6032],[128,1064,7032],
[1008],[1032],[1032,3016],[3016],[3032,7016]]]]],
[4096,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,32,1128,2064],[16,64,1128,4032
],[16,64,1128,4032],[256,1032,1064,2016]]]],
[4096,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,256,1032,1064],[16,32,256,2064]]]],
[4096,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,3512,5032,5256,7128,8064]]]],
[4096,0,1,-1,
"55s0202A000A802s0E4080s0404"
,[-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,3016,3032],[64,3016,3032],[64,3016,3032],
[128,1064],[1016,3008],[3001]]]],
[40324,[[[-3008,1016],[-2004,-2,1001,1008],[-1004],[-1004,8
,16],[-1004,8,16],[-1004,8,16],[-1002],
[32,3008],[64,3016],[64,5032],[1008],
[1032,1064,3016],[1032,1064,3016],[3016],[3016],
[3032],[3032],[3064]],
[[-3004,1008,1016],[-3002,1004],[-1004,-1002,4,1008],
[-1004,-1002,4,1008],[-1002,4],[-1002,2008,3001],
[8,16,1004],[32,64,9016],[32,1016,7008],
[1016,3008,5032],[1016,3008,5032],[1016,7004],
[3001],[3008,5016],[3008,5016],[3064],[7008],
[7008]],
[[-3002,1004],[-1004,-1002,4,1008],[-1004,-1002,4,1008],
[-1004,8,16],[-1004,1004,1008,1016],[-1002,4],
[-1002,2008,3001],[16,3004,3008],[16,3004,3008],
[32,1016,7008],[64,1032,3008,5016],[1016,3008,5032],
[3001],[3008,5016],[3008,5016],[3064],[4032,5016],
[7008]],
[[-3002,1004],[-1004,-1002,4,1008],[-1004,-1002,4,1008],
[-1004,8,16],[-1004,1004,1008,1016],[-1002,4],
[-1002,2008,3001],[16,3004,3008],[16,3004,3008],
[32,1016,7008],[64,1032,3008,5016],[1016,3008,5032],
[3001],[3008,5016],[3008,5016],[3064],[4032,5016],
[7008]]]]],
[4096,0,1,-1,
"57s03F000B82As0C15004080"
,[-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],[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,256,1064]]]],
[4096,0,1,-1,
"55s03B000B82As0C05024080"
,[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],[64],[1016]]],
[4096,0,1,-1,
"55s03B000A81As0C020540"
,[8,16,32,64],[-16,32,64,128],[-16,32,128,256,1064],[4,[-8,-4,16,256,512,1032,2064,5128]],[21,[-1008]]],
[4096,0,1,-1,
"57s03F000B82As0E4080"
,[-16,-8,32,64],[-16,32,64,128],[-16,32,1064,2128],[23,[16],[64],[128],[128],[1016],[1032],[1064]]],
[4096,0,1,-1,
"55s03F000B802s0C15014080"
,[-16,-8,32,64],[-16,32,64,128],[-16,32,128,256,1064],[22,[-16],[-8],[32],[1032]],[208,[30]],[2169,[[-16,128,2032]]]],
[4096,0,1,-1,
"5Fs0201F000F80As0E4080"
,[8,64,2016],[-16,128,2032],[-2016,1064,2128],[4,[-2004,16,512,3032,5064,5128]],[21,[16]],[22,[8],[16],[16],[16],[64]],[23,[16],[16],[16],[64],[128],[128],[1032],[1064]]],
[4096,0,1,-1,
"57s03F000F82As0D014080"
,[-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,5128,6064]]],[208,[30]]],
[4096,0,1,-1,
"FFs0201F000F80As0E4080s0404"
,[-16,-8,32,64],[-16,1064,2032],[-2016,1032,1128,2064],[4,[-8,-4,16,1128,2256,5032,8064]],[21,[16]],[22,[-16],[-8],[32],[64]]],
[4096,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,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],
[128,1032,4064],[1008],[1016,1064,2032],
[1032,3016],[1064],[1064],[1064,3032],[3032]]]]],
[4096,0,1,-1,
"55s03A000F80As0C15004080s0404"
,[-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]]],[2169,[[-16,32,64,128]]]],
[4096,0,1,-1,
"55s0201F000B82As0C01004080"
,[-16,-8,32,64],[-16,32,64,128],[-16,32,128,256,1064],[21,[16]],[22,[-16],[-8],[32],[64]],[23,[16],[32],[64],[256],[1032],[1064]],[208,[28]],
[20329,[[[-5004,-3002,1016],[-3004,16],[-1002,-8,-4],[1032,
3016]]]]],
[4096,0,1,-1,
"5Fs0201F000F802s0E4080"
,[8,16,32,64],[-16,32,2064],[-16,256,2032,2064],[4,[-8,-4,16,2256,3032,3064,4128]],[21,[16]],[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,3016,3032],[64,3016,3032],
[64,3016,3032],[1016,3008],[3001],[3008,5016],
[3008,5016],[3008,5016]]]]],
[4096,0,1,1,
"55s0202A000A812s0F80"
,[-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,64,2128],
[16,256,1064,2032],[16,256,1064,2032],
[256,1032,1064,2016],[256,1032,1064,2016]]]],
[4096,0,1,-1,
"5Fs0201F000F80As0F80s0404"
,[-16,-8,32,64],[-16,32,2064],[-16,256,2032,2064],[4,[-8,-4,16,2128,3032,3064,3256]],[21,[16]],[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,3016,3032],[64,3016,3032],[64,3016,3032],
[1016,3008],[1064,3032],[3001],[3008,5016],
[3008,5016],[3008,5016]]]]],
[4096,0,1,-1,
"55s0201F000A80As0C05024080"
,[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]],[2169,[[16,128,2032]]]],
[4096,0,1,1,
"55s03A000A802s0C0A010080"
,[-16,-8,32,64],[16,32,64,128],[16,32,128,256,1064],[4,[-8,-4,16,512,1032,1128,2064,2256]],[208,[30]],
[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]]]]],
[4096,0,1,1,
"55s03A000A812s0D010080"
,[-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,[30]]],
[4096,0,1,1,
"55s03A000A802s0C0A010080"
,[-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],[3008,5016],
[3064,7032]]]]],
[4096,0,1,-1,
"55s03A000A80As0C010040"
,[-16,-8,32,64],[-16,32,64,128],[-16,32,128,256,1064],[21,[-1008]],[24,[-1004],[-1002],[16],[64],[256],[1016],[1016],
[1032],[1032],[1064],[1064],[1128],[1128],[1256]],[208,[30]],
[20329,[[[-5004,-3002,32],[-3004,16],[-1002,-8,-4],[1032,3\
016]]]]],
[4096,0,1,-1,
"FFs0201F000F80As0E4080"
,[8,64,2016],[-16,1064,2032],[-2016,1032,1128,2064],[4,[-2004,16,1256,2128,5032,10064]],[21,[16]],[22,[8],[16],[16],[16],[64]]],
[4096,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,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],[128,1032,4064],[1008],[1032,3016],
[1064],[1064],[1064,3032],[3032]]]],
[20323,[[[-3004,32,1008],[-3002,-1008,-1004],[-1008,3032,6016
],[-1002,-8,-4],[1008,2016],[1016,2032]]]]],
[4096,0,1,-1,
"55s03F000F80As0C01004080"
,[-16,-8,32,64],[-16,32,64,128],[-16,32,128,256,1064],[21,[16]],[22,[8],[16],[32],[64]],[23,[16],[32],[64],[256],[1032],[1064]],[6,[[-8,-2,1,8,16,2024,2512,3032,3128,5064,6256]]]],
[4096,0,1,1,
"55s03A000A812s0F80"
,[-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],
[3004],[3064,7032]]]],
[6322,[[-1016,16,1032,1064,1128],[-1016,16,1032,1064,1128],[
-1016,32,128,256,2016],[16,32,1128,2064]]]],
[4096,0,1,-1,
"55s03B000A81As0E4080s0404"
,[-16,-8,32,64],[-16,32,64,128],[-16,32,1064,2128],[21,[-1008]]],
[4096,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,[[[-3008,1016],[-3008,1016],[-3004,-3002,8,1016],[-3\
004,16],[-1002,-8,-4]]]]],
[4096,0,1,-1,
"5Fs03B000F80As0C05024080"
,[-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,[-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]],
[20323,[[[-3004,32,1008],[-3002,-1008,-1004],[-1008,3032,6016
],[-1002,-8,-4],[1008,2016],[1016,2032]]]],[9322,[[-3016,16,32,128,256]]]],
[4096,0,1,-1,
"5Fs03B000F82As0E4080"
,[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],[128,2064,5032],
[1016,1032,3008],[1064,3032],[3008],[3016,5032]]]]],
[4096,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,[[16,256,1064,2032]]],
[10163,[[[-3004,32,1008],[-1008,1032,2016],[-1004,-1002,4,16
],[-1004,1016,2008],[-4,-2,8,1001],
[1016,1064,2032]]]],
[6322,[[-1016,16,256,1032,1064],[16,32,64,2128],[16,32,1128
,2064],[16,256,1064,2032],[16,1064,1128,2032]]]],
[4096,0,1,-1,
"57s03F000B82As0F80s0404"
,[-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,5256,7128,9064]]],
[6322,[[-3016,16,32,128,256],[-1016,16,1032,1064,1128],[-101\
6,16,1032,1064,1128],[16,32,256,2064]]]],
[4096,0,1,-1,
"5Fs0201F000F80As0E4080"
,[8,16,2032],[-16,32,2064],[-16,256,2032,2064],[21,[16]],[22,[8],[16],[32],[32],[1016]]],
[4096,0,1,1,
"55s03A000A802s0C02050080"
,[-16,-8,32,64],[16,32,64,128],[16,32,128,256,1064],[4,[-8,-4,16,512,1032,1128,2064,2256]],[208,[28]],
[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],[128,2064,5032],
[1064,3032],[1064,3032],[3016,5032]]]]],
[4096,0,1,-1,
"55s03A000A81As0C0B0140"
,[-16,-8,32,64],[-16,32,64,128],[-16,32,128,256,1064],[21,[-1008]],[6,[[-8,-2,1,8,16,1032,2024,3128,3512,4256,6064]]],[208,[30]],
[20323,[[[-3004,32,1008],[-3002,-1004,16],[-1008,64,2016,303\
2],[-1002,-8,-4],[1008,2016],[1016,2032]]]],
[20329,[[[-3004,-3002,8,32],[-3004,16],[-1002,-8,-4],[1032
,3016]]]],[9322,[[-3016,16,32,128,256]]]],
[4096,0,1,-1,
"57s03F000F82As0F80s0404"
,[-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],
[128,1064],[128,2064,5032],[1016,1032,3008],
[1032,3016],[1064,3032],[3008],[3016,5032]]]]],
[4096,0,1,-1,
"55s03B000A80As0C0A014080s0404"
,[-16,-8,32,64],[-16,128,2032],[-2016,128,256,1064],[21,[-1008]]],
[4096,0,1,-1,
"55s03F000F80As0F80s0404"
,[-16,-8,32,64],[-16,32,64,128],[-16,32,128,256,1064],[22,[8],[16],[32],[1032]],[6,[[-8,-2,1,8,16,1512,2024,3032,5064,5128,7256]]]],
[4096,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,6064,6128,6256]]]],
[4096,0,1,1,
"55s03A000A802s0F80"
,[-16,-8,32,64],[16,32,64,128],[16,32,128,256,1064],[4,[-8,-4,16,512,1032,1128,2064,2256]],[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]]]],
[20329,[[[-5004,-3002,32],[-3004,16],[-1002,-8,-4],[1032,3\
016]]]]],
[4096,0,1,-1,
"55s0201F000B82As0E4080"
,[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]],
[20329,[[[-5004,-3002,1016],[-3004,16],[-1002,-8,-4],[1032,
3016]]]]],
[4096,0,1,-1,
"55s03B000F80As0C15004080"
,[-16,-8,32,64],[-16,128,2032],[-2016,128,256,1064],[23,[16],[16],[16],[64],[1032],[1064],[1128]]],
[4096,0,1,-1,
"7Fs02017000F81As0C0F034080"
,[-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,[-16],[-8],[32],[64]],[23,[16],[32],[64],[64],[128],[256]],[6,[[-8,-2,1,8,16,1024,1032,2128,4256,5512,8064]]]],
[4096,0,1,-1,
"5Fs03D000783As0D014080s0404"
,[-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,[35]]],
[4096,0,1,-1,
"FFs037000383As0E4080s0404"
,[-16,-8,2032],[-16,32,2064],[-16,1128,2032,2064],[4,[-2008,-4,1256,3032,3128,9064]],[21,[16]],[22,[-16],[-8],[32],[32],[32]],[23,[16],[32],[32],[32],[64],[64],[64],[128],
[128]]],
[4096,0,1,-1,
"5Fs02017000783As0E4080s0404"
,[-16,-8,32,64],[-16,32,64,128],[-16,32,1064,2128],[4,[-8,-4,16,256,512,1032,4064,4128]],[22,[-16],[-8],[32],[1032]]],
[4096,0,1,-1,
"7Fs02017000F81As0C0F034080"
,[-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,[-16],[-8],[32],[64]],[23,[16],[32],[64],[64],[128],[256]],[6,[[-8,-2,1,8,16,1032,2024,3128,3512,4256,6064]]],
[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]]]],
[20323,[[[-3004,32,1008],[-3002,-1004,16],[-1008,64,2016,303\
2],[-1002,-8,-4],[1008,2016],[1016,2032]]]]],
[4096,0,1,-1,
"5Fs0202F000782As0D014080s0404"
,[-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,5128,6064]]],[208,[35]],
[60084,[[[-1002],[-1002,-4],[32,64,1016],[32,1016],[32,1\
016],[64],[64,128,1032],[1008],[1016],[1016],
[1064,3032],[1128],[3032],[3128]],
[[-4],[-4,4],[32],[32],[64],[64,128,1032],
[64,1032],[1008],[1032],[1032],[1064],[1128],
[1256],[3064]]]]],
[4096,0,1,-1,
"5Fs02057000F83As0C0F034080"
,[-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,[-16],[-8],[32],[64]],[23,[16],[32],[64],[64],[128],[256]],[9322,[[-3016,16,32,2128]]]],
[4096,0,1,-1,
"FFs037000383As0E4080s0404"
,[-16,-8,32,64],[-16,32,2064],[-16,1128,2032,2064],[4,[-8,-4,16,1128,2256,3032,9064]],[21,[16]],[22,[-16],[-8],[32],[64]]],
[4096,0,1,-1,
"5Fs0202F000782As0D014080s0404"
,[-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,5128,6064]]],[208,[35]],
[60084,[[[-1002],[-1002,-4],[32,64,1016],[32,1016],[32,1\
016],[64],[64,128,1032],[1008],[1016],[1016],
[1064,3032],[1128],[3032],[3128]],
[[-4],[-4,4],[32],[32],[64],[64],[64,128,1032],
[64,1032],[1008],[1032],[1064],[1128],[1256],
[3064]]]]],
[4096,0,1,-1,
"5Fs02017000783As0E4080s0404"
,[-16,-8,32,64],[-16,32,64,128],[-16,32,1064,2128],[4,[-8,-4,16,256,512,1032,4064,4128]],[22,[-16],[-8],[32],[64]],[23,[16],[32],[64],[128],[128],[1032],[1064]]],
[4096,0,1,-1,
"5Fs03D000783As0D014080s0404"
,[-16,-8,32,64],[-16,32,64,128],[-16,32,128,256,1064],[4,[-8,-4,16,512,1064,1128,2256,3032]],[22,[-16],[-8],[32],[1032]],[208,[35]]],
[4096,0,1,-1,
"5Fs02057000F83As0C0F034080"
,[-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,[-16],[-8],[32],[64]],[23,[16],[32],[64],[64],[128],[256]],
[20323,[[[-3004,32,1008],[-3002,-1004,16],[-1008,64,2016,303\
2],[-1002,-8,-4],[1008,2016],[1016,2032]]]],[9322,[[-3016,16,32,128,256]]],
[90329,[[[-7008,1032],[-7004,32],[-1008,8,7001],[-8,-4,300\
1]]]]],
[4608,0,1,1,
"55015040s02A882s040541002008s0680s0302"
,[-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]]],[208,[47]],[412,[203,260]]],
[4608,0,1,1,
"15s0248s022802s0501s020Cs0A02"
,[24,96],[48,192],[16,256,288],[4,[-72,-4,64,144,1152,1192]],[6,[[-1012,-72,-3,288,1096,1144,1152,1192,2304,2576]]]],
[4608,0,1,1,
"15s0248s022802s0501s020Cs0A02"
,[24,96],[48,192],[16,256,288],[4,[4,64,72,144,1152,1192]],[6,[[3,72,288,1012,1096,1144,1152,1192,2304,2576]]]],
[4608,0,1,-1,
"37013040s02988As0404C1002008s0313104280s030204"
,[-48,-8,64],[-16,96,128],[-1048,-16,64,384],[21,[16]]],
[4608,0,1,1,
"15s0248s022812s080Cs0680"
,[24,96],[48,192],[16,256,288],[4,[-72,-4,64,144,1152,1192]],[612,[127,204]]],
[5760,1,2,1,
"05s0248s0312s0410s030Cs0680s0408"
,[120],[240],[80,480],[4,[-120,-20,720,960]]],
[5760,1,2,1,
"05s0248s0312s0410s0308s0680"
,[120],[240],[240,320],[10164,[[[15,45],[20,60],[30,90,1060],[360,5180]]]]],
[6144,0,1,1,
"55s0240s02A802s0501s0208s0680s0302"
,[24,32,64],[48,64,128],[16,96,192,256],[4,[-24,-4,64,96,128,256,384,768,1048]],
[6,[[-24,-2,1,24,192,256,512,1384,1536,2048,2064,2768,4096]]\
]],
[6144,0,1,1,
"55s025080002812s0501008028s0A12"
,[-16,-8,96],[16,32,192],[16,96,192,256],[4,[4,24,96,192,256,384,768,1048]],[6169,[[48,64,128]]]],
[6144,0,1,-1,
"5Fs02555001A82As050180003As0301004080s032A"
,[-16,-8,96],[-16,32,192],[-16,96,192,256],[4,[4,24,192,256,384,768,1096]],[22,[8],[16],[96]],[29,[16],[32],[192]],[9322,[[-3016,16,32,1192]]]],
[6144,0,1,-1,
"FFs02701000080As050380003As0A0A"
,[8,16,1048],[-16,32,1096],[-1048,-16,64,1192],[4,[4,32,128,1012,1384,8096]],[21,[16]]],
[6144,0,1,1,
"55s0250s02A812s0501s0228s0680s0302"
,[8,16,96],[16,32,192],[16,96,192,256],[4,[-24,-4,96,192,384,768,1048,1128]],
[10163,[[[-1012,12,48,1006],[-12,-2,1001],[96,1024,3012],[\
96,1032,1048]]]],
[60164,[[[-24],[-24,-12,12],[-4],[16,48,64],[16,48,64]
,[48],[1048],[1096],[1096,2192],[1192]]]]],
[6144,0,1,-1,
"55s02555001A82As082As0315054080s032A04"
,[-16,-8,96],[-2016,192],[-16,96,192,256],[4,[-24,-4,192,256,384,768,1096]],[24,[-24],[-4],[96],[96],[192],[384],[768],[1128]]],
[6144,0,1,1,
"55s0250A000A812s078028s0680s0310"
,[-16,-8,96],[16,32,192],[16,96,192,256],[4,[-24,-4,96,192,256,384,768,1048]],[208,[44]],
[10163,[[[-3012,96,1024],[-1012,-1006,12,48],[-12,-2,1001],
[64,96,1048]]]],[6169,[[48,2064]]]],
[6144,0,1,1,
"55s024080002812s0808s0680s0302"
,[24,32,64],[48,2064],[16,256,2096],[4,[-24,-4,96,256,1048,2064,2384]]],
[6144,0,1,1,
"55s0250s02A802s0501s0228s0302050080s0302"
,[8,16,96],[16,32,192],[16,96,192,256],[4,[-24,-4,192,384,768,1096,1128]],[6,[[-1004,-24,-3,256,1536,2064,2192,2384,2768,3096]]],
[60244,[[[-3002,1008],[-1002],[32,3016],[64,3008],[1016,1\
0032],[1032,2064,3128],[1064],[1064],[3016,3032]]]]],
[6144,0,1,1,
"55s0250s02A802s0828s0680"
,[-2008,96],[192,2016],[16,256,2096],[4,[-2024,-4,192,256,2048,2384]],[208,[44,44,44]]],
[6144,0,1,1,
"55s0250A000A802s0501s0228s0680s0302"
,[8,16,1048],[16,32,1096],[16,64,1048,1192],[4,[-12,-4,12,32,128,192,1384,6096]],[40321,[[[-1004,8]]]]],
[6144,0,1,-1,
"5Fs0250s02B802s06800038s0305054080s030204"
,[-16,-8,96],[-16,32,192],[-16,96,192,256],[4,[-24,-4,192,256,384,768,1096]],[22,[8],[16],[96]],[24,[-24],[-4],[96],[96],[192],[384],[768],[1128]],[29,[16],[192],[1016]],
[60244,[[[-1008,32,2016],[-1002],[-1002,-4,1008],[16,64,10\
08],[1016,2064,4032],[1016,4032],[1032,2128,4064],[1128]]
]]],
[6144,0,1,-1,
"55s0250B000A80As0501s022As054080s0308"
,[8,16,1048],[-16,32,1096],[-1048,-16,64,1192],[4,[-12,-4,12,32,128,192,1384,6096]],[21,[-1008]]],
[6144,0,1,1,
"55s024080002812s0808"
,[24,2032],[48,2064],[16,256,2096],[4,[4,256,2024,2048,2064,2384]],[6,[[192,2001,2096,2256,2768,3024,5032,5048,5384]]]],
[6144,0,1,1,
"55s025080002812s0501008028s04010080s0312"
,[-16,-8,96],[16,32,192],[16,96,192,256],[4,[4,24,192,256,384,768,1096]],[6,[[3,8,24,1192,1384,1768,2536,3064,3096]]]],
[6144,0,1,-1,
"FFs02701000080As050380003As054080s030A"
,[8,16,96],[-16,32,1096],[-1048,-16,64,1192]],
[6144,0,1,1,
"55s0240s02A802s0501s0208s0680s0302"
,[8,48,64],[16,96,128],[48,384,1064],[4,[12,96,512,1192,1384,2016]],
[6,[[1,6,12,16,768,1024,1032,1048,1064,1536,2096,2192,4384]]\
],[208,[33]]],
[6144,0,1,-1,
"5Fs02555001A82As050180003As0A2A"
,[-16,-8,96],[-16,32,192],[-16,96,192,256],[4,[4,24,192,256,384,768,1096]],[22,[8],[16],[96]],[9322,[[-3016,16,32,384]]],[90329,[[[-7012,1048],[-1012,7001],[-12,3001]]]]],
[6144,0,1,1,
"55s024020002812s0808s0680s0302"
,[24,32,64],[48,64,128],[16,96,192,256],[4,[-24,-4,64,128,256,384,768,3048]]],
[6144,0,1,-1,
"5Fs02505000A82As06800038s0317004080s030204"
,[-16,-8,96],[-16,32,192],[-16,96,192,256],[4,[-24,-4,192,256,384,768,1096]],[22,[8],[16],[96]],[6,[[-24,-3,8,64,128,256,1096,1192,1384,1536,3768]]]],
[6144,0,1,-1,
"5Fs02515000580As0501s022As054080s0308"
,[8,16,1048],[-16,32,1096],[-1048,-16,64,1192],[4,[-12,-4,12,32,128,192,1384,6096]],[24,[-12],[-4],[12],[32],[96],[96],[96],[96],
[96],[96],[96],[128],[384],[1096],[1192]]],
[6144,0,1,-1,
"FFs02701000080As0503800038s054080"
,[8,16,1048],[-16,32,1096],[-1048,-16,64,1192],[4,[-12,-4,12,32,128,384,1192,8096]],[21,[16]]],
[6144,0,1,1,
"55s02502000A812s0501s0228s0680s0302"
,[-16,-8,96],[16,32,192],[16,96,192,256],[4,[-24,-4,96,192,256,384,768,1048]],[208,[40]],
[10163,[[[-3012,96,1024],[-1012,-1006,12,48],[-12,-2,1001],
[64,96,1048]]]]],
[6144,0,1,-1,
"57s02505000B82As0501s0228s0315004080s030204"
,[-16,-8,96],[-16,32,192],[-16,96,192,256],[4,[-24,-4,192,256,384,768,1096]],[22,[8],[16],[96]],[24,[4],[24],[96],[96],[192],[384],[768],[1128]],[29,[16],[32],[192]],[9322,[[-3016,16,32,1192]]]],
[6144,0,1,-1,
"57s02555001B82As082As0307004080s032A04"
,[-16,-8,96],[-16,32,192],[-16,96,192,256],[4,[-24,-4,192,256,384,768,1096]],[22,[8],[16],[96]],[24,[-24],[-4],[96],[96],[192],[384],[768],[1128]],
[10164,[[[-3012,96,1024],[-1012,48,1012],[-1006,-12],[-3,1
],[48,1024],[96,5048],[128,1064],[192,5096]]]],[9322,[[-3016,16,32,1192]]]],
[6144,0,1,-1,
"5Fs02515000580As0501s0228s0540s0402"
,[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,128,256,1192,2048,2768,4384,12096]
]]],
[6144,0,1,1,
"55s0240s02A802s0501s0208s0680"
,[24,32,64],[48,64,128],[16,96,192,256],[4,[-24,-4,64,128,256,384,768,3048]]],
[6144,0,1,1,
"55s02508000A812s078028s0680s0310"
,[-16,-8,96],[16,32,192],[16,96,192,256],[4,[-24,-4,96,192,256,384,768,1048]],[6169,[[48,64,128]]]],
[6144,0,1,1,
"55s025020002812s0828s0680"
,[-16,-8,96],[16,32,192],[16,96,192,256],[4,[-24,-4,96,192,256,384,768,1048]],[208,[44]],
[10163,[[[-3012,1024,1048],[-1012,-1006,12,48],[-12,-2,1001
],[64,96,1048]]]]],
[6144,0,1,1,
"55s024020002812s0808s0680"
,[24,32,64],[48,64,128],[16,96,192,256],[4,[-24,-4,64,96,128,256,384,768,1048]],[2249,[[24,48,4096]]]],
[6144,0,1,1,
"55s025020002812s0501s0228s0680s0302"
,[-16,-8,96],[16,32,192],[16,64,96,1192],[4,[-24,-4,256,1192,1384,3096]]],
[6144,0,1,1,
"55s0240s02A802s0501s0208s0680"
,[8,48,64],[16,96,128],[48,384,1064],[4,[12,96,384,512,2016,3192]],[6,[[1,16,1024,1032,1048,1064,1536,2006,2096,4384,6192]]]],
[6144,0,1,-1,
"5Fs02501000782As0501s0228s054080s0302"
,[8,16,96],[-16,32,192],[-16,96,192,256],[24,[4],[24],[96],[96],[128],[128],[192],[384],
[768]],[6,[[-1004,-24,-3,128,768,1064,1096,2384,2536,4192]]]],
[6144,0,1,-1,
"5Fs02501000F80As0501s0228s03050240s0402"
,[8,16,96],[-16,32,192],[-16,96,192,256],[24,[4],[24],[96],[96],[128],[128],[192],[384],
[768]]],
[6144,0,1,1,
"55s02502000A812s0501s0228s030A010080s0302"
,[-16,-8,96],[16,32,192],[16,96,192,256],[4,[-24,-4,192,256,384,768,1096]],[208,[40]],
[20164,[[[-1012,24,48],[-1006,12,24,48],[-12,12],[-3,1],
[96,3024],[1048,1192,2096],[1128],[3096]]]]],
[6144,0,1,1,
"55s020820002812s0804s0680"
,[24,96],[48,192],[16,96,192,256],[4,[-24,-4,96,192,256,384,768,1048]],[6,[[-24,-3,24,1384,1536,2048,2096,2192,3768]]]],
[6144,0,1,-1,
"57s02505000782As0501s0228s0680s030204"
,[-16,-8,96],[-16,32,192],[-16,96,192,256],[22,[8],[16],[96]],[24,[4],[24],[96],[96],[192],[384],[768],[1128]],[6,[[-24,-3,8,128,1064,1096,1384,1768,2192,2536]]]],
[6144,0,1,-1,
"57s02505000182As0501s0228s0680s030204"
,[-16,-8,96],[-16,32,192],[-16,64,96,1192],[22,[8],[16],[96]],[6,[[-48,-24,-16,-3,8,128,256,1536,1768,3096,3384,4192]]]],
[6272,0,1,1,
"11s0602s080110s0240s0710"
,[56,64],[112,128],[112,448],[4,[28,112,784,896]],[10162,[[[8,56],[28,3007]]]]],
[7168,0,1,1,
"55s050802s0C40s0710"
,[8,112],[16,224],[112,448],[4,[28,896,3224]],[6,[[7,28,1064,1792,2896,3112,5224]]]],
[8192,0,1,-1,
"7Fs0205F000B82As0C01004080"
,[-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,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],[64,1016,4032],[64,1016,4032],
[1004],[1004],[1004],[1016,3008],[1016,3008],
[1016,3008],[1032,3016],[1032,3016],[1032,3016],
[1128],[3001]]]],
[2322,[[16,32,256,2064],[16,32,256,2064],[16,32,256,2064]
]],
[20329,[[[-3008,1016],[-3008,1016],[-3004,-3002,8,32],[-300\
4,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]]]]],
[8192,0,1,-1,
"FFs0201F000F80As0E4080"
,[8,16,2032],[-16,32,2064],[-16,256,2032,2064],[21,[16]],[22,[8],[16],[32],[32],[32]],[23,[16],[32],[32],[32],[64],[64],[64],[256]]],
[8192,0,1,1,
"55s0202A000A812s0D010080"
,[-16,-8,2032],[16,32,2064],[16,256,2032,2064],[4,[4,2008,2064,2128,3256,5032]],[6,[[2001,3008,5064,5128,5512,6256,11032]]],[208,[31]],
[20324,[[[-3008,32,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],[-1004],[-1004],[-1004,8,16],[-1002],
[-4,-2,1001],[32,1016,2064],[64,3016,3032],
[64,3016,3032],[1016],[1016]],
[[-3008,32,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],[-1004],[-1004],[-1004,8,16],[-1002],
[-4,-2,1001],[32,1016,2064],[64,3016,3032],
[64,3016,3032],[1016],[1016]],
[[-3008,32,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],[-1004],[-1004],[-1004,8,16],[-1002],
[-4,-2,1001],[32,1016,2064],[64,3016,3032],
[64,3016,3032],[1016],[1016]]]],
[40324,[[[-2004,-2,1001,1008],[-1008,16],[-1008,16],[-1004
],[-1004,8,16],[-1004,8,16],[-1004,8,16],
[-1002],[8],[8],[32,3008],[64,3016],[64,5032],
[128,1064],[1032,1064,3016],[1032,1064,3016],
[3016],[3016],[3032],[3032]],
[[-2004,-2,1001,1008],[-1008,16],[-1008,16],[-1004],
[-1004,8,16],[-1004,8,16],[-1004,8,16],[-1002],
[8],[8],[32,3008],[64,3016],[64,5032],
[128,1064],[1032,1064,3016],[1032,1064,3016],
[3016],[3016],[3032],[3032]],
[[-2004,-2,1001,1008],[-1008,16],[-1008,16],[-1004],
[-1004,8,16],[-1004,8,16],[-1004,8,16],[-1002],
[8],[8],[32,3008],[64,3016],[64,5032],
[128,1064],[1032,1064,3016],[1032,1064,3016],
[3016],[3016],[3032],[3032]],
[[-1004,-1002,4,1008],[-1004,-1002,4,1008],
[-1004,8,16],[-1004,8,16],[-1002,4],[-1002,4],
[-1002,4],[-1002,2008,3001],[8,16,1004],
[32,64,9016],[32,1016,7008],[1016,3008,5032],
[1016,3008,5032],[1016,7004],[3001],[3008,5016],
[3008,5016],[3064],[7008],[7008]],
[[-1004,-1002,4,1008],[-1004,-1002,4,1008],
[-1004,8,16],[-1004,8,16],[-1002,4],[-1002,4],
[-1002,4],[-1002,2008,3001],[8,16,1004],
[32,64,9016],[32,1016,7008],[1016,3008,5032],
[1016,3008,5032],[1016,7004],[3001],[3008,5016],
[3008,5016],[3064],[7008],[7008]],
[[-1004,-1002,4,1008],[-1004,-1002,4,1008],
[-1004,8,16],[-1004,8,16],[-1002,4],[-1002,4],
[-1002,4],[-1002,2008,3001],[8,16,1004],
[32,64,9016],[32,1016,7008],[1016,3008,5032],
[1016,3008,5032],[1016,7004],[3001],[3008,5016],
[3008,5016],[3064],[7008],[7008]]]]],
[8192,0,1,-1,
"5Fs0201F000F82As0C05024080"
,[-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,[-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]],
[20323,[[[-3004,32,1008],[-3002,-1008,-1004],[-1008,4016,4032
],[-1002,-8,-4],[1008,2016],[1016,2032]]]],
[20329,[[[-3004,-3002,8,1016],[-3004,16],[-1002,-8,-4],[10\
32,3016]]]],[9322,[[-3016,16,32,128,256]]]],
[8192,0,1,1,
"55s0202A000A812s0C0A050080"
,[-16,-8,32,64],[16,32,64,128],[16,32,128,256,1064],[4,[-8,-4,16,512,1032,1128,2064,2256]],[208,[35]],
[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],[128,1064],
[128,2064,5032],[1032,3016],[1064,3032]]]]],
[8192,0,1,-1,
"5Fs0202F000F83As0D014080s0404"
,[-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,5128,6064]]],[208,[35]],
[60084,[[[-1002],[-1002,-4],[32,64,1016],[32,1016],[32,1\
016],[64],[64,128,1032],[1008],[1016],[1016],
[1064,3032],[1128],[3032],[3128]],
[[-4],[-4,4],[32],[32],[64],[64],[64,128,1032],
[64,1032],[1008],[1032],[1064],[1128],[1256],
[3064]]]]],
[8192,0,1,1,
"55s03A000A812s0C02050080"
,[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,1032,2024,2512,4256,5128,10064]]],
[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]]
]],
[20324,[[[-3004,-3002,8,1016],[-3004,16],[-2002,1001],[-100\
4,8,16],[-1002],[8,1004,6016],[16,1008,2032],
[16,1008,2032],[16,1008,6032],[128,3032,3064],
[1008],[1032],[1032,3016],[3016],[3032,7016]]]]],
[8192,0,1,-1,
"55s0203F000B81As0C15034080s0404"
,[-16,-8,32,64],[-16,32,64,128],[-16,32,128,256,1064],[21,[16]],[22,[-16],[-8],[32],[1032]],[208,[35]],[2169,[[-16,128,2032]]]],
[8192,0,1,-1,
"FFs0201F000F80As0C01014080"
,[-16,-8,2032],[-16,32,2064],[-16,256,2032,2064],[4,[4,2008,2064,2128,3256,5032]],[21,[16]],[22,[-16],[-8],[32],[32],[32]],[208,[21]]],
[8192,0,1,-1,
"5Fs0201F000F82As0C05030080s0404"
,[-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,2128,3512,4256,8064]]],[208,[28]],[2169,[[-16,32,64,128]]]],
[8192,0,1,-1,
"55s0202B000A81As0C01014080"
,[-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,[31]]],
[8192,0,1,-1,
"5Fs0201F000F82As0C05024080"
,[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],[64]],[23,[16],[32],[64],[256],[1032],[1064]]],
[8192,0,1,-1,
"FFs0201F000F83As0E4080s0404"
,[-16,-8,32,64],[-16,32,64,128],[-16,32,1064,2128],[4,[-8,-4,16,256,512,1032,4064,4128]],[21,[16]],[22,[-16],[-8],[32],[64]],[23,[16],[32],[64],[64],[128],[128],[128]]],
[8192,0,1,-1,
"7Fs0205F000B82As0C17054080s0404"
,[-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]],[24,[-8],[-4],[16],[32],[32],[64],[64],[64],
[128],[128],[256],[256],[512],[1128]],[29,[16],[32],[64],[128]],[6,[[-8,-2,1,8,16,1032,2024,3128,3512,4256,6064]]],[2322,[[16,256,1064,2032]]],[9322,[[-3016,16,32,256,1064]]],
[20164,[[[-1008,16,32],[-1004,8,16],[-1004,8,2016],[-1002,
4,8,16],[-4,4],[-2,1001],[32,1016,2064],
[32,3008],[128,1032,4064],[1008],[1032,3016],
[1064,3032],[1128],[3032]]]],
[90329,[[[-7008,1032],[-7004,32],[-1004,16,7001],[-8,-4,30\
01]]]]],
[8192,0,1,-1,
"7Fs0205F000F83As0C01004080s0404"
,[-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]],
[20324,[[[-3004,-3002,8,32],[-3004,16],[-1008,16,1064,2032]
,[-1004,8,16],[-1004,8,1032,2016],[-1002],
[-4,-2,1001],[32,1016,2064],[64,3016,3032],
[128,1064,7032],[1008],[1032],[1032,3016],[3016]]
]]],
[8192,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,3032,3064],
[1032,3016],[1064,3032],[3016,5032]]]],
[20323,[[[-3004,32,1008],[-3002,-1004,16],[-1008,16,64,4032
],[-1002,-8,-4],[1008,2016],[1016,2032]]]],
[20329,[[[-3004,-3002,8,32],[-3004,16],[-1002,-8,-4],[1032
,3016]]]]],
[8192,0,1,-1,
"7Fs0205F000F83As0C0F034080"
,[-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,[-16],[-8],[32],[64]],[23,[16],[32],[64],[64],[128],[256]],[6,[[-8,-2,1,8,16,1032,2024,3128,3512,4256,6064]]],
[20164,[[[-1008,16,32],[-1004,8,16],[-1004,8,2016],[-1002,
4,8,16],[-4,4],[-2,1001],[32,1016,2064],
[32,3008],[128,1032,4064],[1008],[1032,3016],
[1064,3032],[1128],[3032]]]],
[20323,[[[-3004,32,1008],[-3002,-1004,16],[-1008,64,2016,303\
2],[-1002,-8,-4],[1008,2016],[1016,2032]]]],
[20329,[[[-3004,-3002,8,32],[-3004,16],[-1002,-8,-4],[1032
,3016]]]],[9322,[[-3016,16,32,128,256]]],
[90329,[[[-7008,1032],[-7004,32],[-8,-4,3001],[8,16,7001]\
]]]],
[8192,0,1,-1,
"7Fs0205F000B82As0C01004080"
,[-16,-8,32,64],[-16,32,64,128],[-16,32,128,256,1064],[21,[16]],[22,[-16],[-8],[32],[64]],[23,[16],[32],[64],[64],[128],[256]],
[20329,[[[-5004,-3002,32],[-3004,16],[-1002,-8,-4],[1032,3\
016]]]]],
[8192,0,1,-1,
"57s03F000F82As0C15004080"
,[-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,[-16],[-8],[32],[64]],[23,[16],[32],[64],[256],[1032],[1064]],[208,[26]]],
[8192,0,1,-1,
"5Fs0201F000F82As0C05024080"
,[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]]
]],[2169,[[16,32,64,128]]],
[20323,[[[-3004,32,1008],[-3002,-1008,-1004],[-1008,4016,4032
],[-1002,-8,-4],[1008,2016],[1016,2032]]]],
[20329,[[[-3004,-3002,8,1016],[-3004,16],[-1002,-8,-4],[10\
32,3016]]]]],
[8192,0,1,-1,
"57s03F000F82As0C15004080"
,[-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],[256],[1032],[1064]],[29,[16],[32],[64],[1064]],[6,[[-8,-2,1,8,16,1032,2024,3128,3512,4256,6064]]],[2322,[[16,32,256,2064]]]],
[8192,0,1,-1,
"7Fs0205F000B82As0C01014080"
,[-16,-8,2032],[-16,32,2064],[-16,256,2032,2064],[4,[4,2008,2064,2128,3256,5032]],[21,[16]],[22,[-16],[-8],[32],[32],[32]]],
[8192,0,1,-1,
"FFs0201F000F83As0C07074080"
,[8,16,32,64],[-16,32,64,128],[-16,32,128,256,1064],[4,[-8,-4,16,256,512,1032,2064,5128]],[21,[16]],[22,[8],[16],[32],[64]]],
[8192,0,1,-1,
"55s03A000A81As0C03054080s0404"
,[-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,1032,2024,2128,3512,4256,8064]]],
[20324,[[[-3004,-3002,8,1016],[-3004,16],[-2002,1001],[-100\
4,8,16],[-1002],[8,1004,6016],[16,1008,6032],
[128,3032,3064],[1008],[1016,3008,5032],[1032],
[1032,3016],[3016],[3032,7016]]]]],
[8192,0,1,-1,
"FFs0201F000F80As0E4080"
,[8,64,2016],[-16,128,2032],[-2016,1064,2128],[4,[-2004,16,512,3032,5064,5128]],[21,[16]],[22,[8],[16],[16],[16],[64]],[23,[16],[16],[16],[64],[64],[128],[128],[128]]],
[8192,0,1,1,
"55s0202A000A812s0D010080"
,[-16,-8,32,64],[16,32,2064],[16,256,2032,2064],[4,[-8,-4,16,2128,3032,3064,3256]],[208,[27]],[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,3016,3032],[64,3016,3032],[64,3016,3032],
[128,1064],[1016,3008],[3001]]]],
[20324,[[[-3008,32,1064,3016],[-3008,32,3016],[-3008,32,3016
],[-3008,1016],[-3008,1016],[-3004],
[-3004,-3002,8,32],[-3004,16],[-3004,16,1032,3008],
[-1008,1008],[-1008,1008],[-1004,8,16],[-1002],
[-4,-2,1001],[32,1016,2064],[64,3016,3032],
[64,3016,3032],[3016]]]]],
[8192,0,1,-1,
"7Fs0205F000B82As0C01004080s0404"
,[-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,1024,4064,4512,5032,5128,5256]]],[2322,[[16,32,256,2064]]]],
[8192,0,1,-1,
"FFs0201F000F80As0C1F014080s0404"
,[-16,-8,32,64],[-16,128,2032],[-2016,128,256,1064],[4,[-8,-4,16,512,1064,1256,3032,3128]],[21,[16]],[22,[-16],[-8],[32],[64]],[23,[16],[16],[16],[64],[64],[128],[256]]],
[8192,0,1,-1,
"FFs0201F000F80As0E4080s0404"
,[-16,-8,32,64],[-16,32,2064],[-16,256,2032,2064],[4,[-8,-4,16,2128,3032,3064,3256]],[21,[16]],[22,[-16],[-8],[32],[64]],[23,[16],[32],[32],[32],[64],[64],[64],[256]],[208,[16]]],
[8192,0,1,-1,
"57s03F000F82As0C15004080s0404"
,[-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]]],[2169,[[-16,32,64,128]]],[2322,[[16,32,256,2064]]]],
[8192,0,1,-1,
"55s03A000A81As0C0B014080"
,[-16,-8,32,64],[-16,32,64,128],[-16,32,128,256,1064],[21,[-1008]],[6,[[-8,-2,1,8,16,1032,2024,3128,3512,4256,6064]]],[208,[30]],
[20323,[[[-3004,32,1008],[-3002,-1004,16],[-1008,16,64,4032
],[-1002,-8,-4],[1008,2016],[1016,2032]]]],
[20329,[[[-3004,-3002,8,32],[-3004,16],[-1002,-8,-4],[1032
,3016]]]],[9322,[[-3016,16,32,128,256]]]],
[8192,0,1,-1,
"FFs0201F000F80As0E4080"
,[8,16,32,64],[-16,32,2064],[-16,256,2032,2064],[4,[-8,-4,16,2256,3032,3064,4128]],[21,[16]],[22,[8],[16],[32],[64]]],
[8192,0,1,1,
"55s03A000A812s0C02050080"
,[-16,-8,32,64],[16,32,64,128],[16,32,128,256,1064],[4,[-8,-4,16,512,1032,1128,2064,2256]],[208,[28]],
[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],[128,3032,3064],
[1064,3032],[1064,3032],[3016,5032]]]]],
[8192,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,[[16,256,1064,2032]]],
[10163,[[[-3004,32,1008],[-1008,1032,2016],[-1004,-1002,4,16
],[-1004,1016,2008],[-4,-2,8,1001],
[1016,1064,2032]]]],
[6322,[[-1016,16,256,1032,1064],[16,32,64,2128],[16,32,64,
2128],[16,256,1064,2032],[16,256,1064,2032]]],
[60324,[[[-1008,-1004,16,2008],[-1008,2016],[-1004,8],[-100\
2,16,2004],[-4,4],[-2,1001],[8,1004],[8,1004],
[32,3008],[1032,3016],[1128],[3016,3064,5032],
[3016,5032],[7016],[7032]],
[[-1002],[-1002,-4],[-1002,-4,8],[16],[16,32,1008],
[16,1008],[1008],[1016,1064,2032],[1016,2032],
[1032],[1032,2064],[1064,1128,3032],[1064,3032],
[3016],[3032]],
[[-1002],[-1002,-4],[-1002,-4,8],[16],[16,32,1008],
[16,1008],[1008],[1016,1064,2032],[1016,2032],
[1032],[1032,2064],[1064,1128,3032],[1064,3032],
[3016],[3032]],
[[-8],[-8,-4,4],[-4],[16],[16],[16,32,1008],
[64,128,1032],[1016],[1032],[1032],[1032,2064],
[1064],[1064],[1128],[1128,3064]],
[[-8],[-8,-4,4],[-4],[16],[16],[16,32,1008],
[64,128,1032],[1016],[1032],[1032],[1032,2064],
[1064],[1064],[1128],[1128,3064]]]]],
[8192,0,1,-1,
"7Fs0205F000B82As0C01004080"
,[-16,-8,32,64],[-16,32,2064],[-16,256,2032,2064],[22,[-16],[-8],[32],[64]],[6,[[-8,-2,1,8,16,1024,4064,4512,5032,5128,5256]]],
[4322,[[-1016,16,128,256,1032],[-1016,16,128,256,1032],[-101\
6,16,128,256,1032],[16,32,256,2064]]],[9322,[[-3016,16,32,128,256]]],
[20164,[[[-3004,1008,1016],[-1004,8,16],[-1002,4,2008],[-1\
002,4,2008],[-1002,4,2008],[64,1016,4032],[64,1016,4032],
[64,1016,4032],[1004],[1016,3008],[1016,3008],
[1016,3008],[1032,3016],[1032,3016],[1032,3016],
[1128],[3001],[3004]]]],
[20329,[[[-3008,1016],[-3008,1016],[-3004,-3002,8,32],[-300\
4,16],[-1002,-8,-4]]]]],
[8192,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]],[208,[30]],
[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]]]]],
[8192,0,1,-1,
"55s03B000A81As0C02054080"
,[8,16,32,64],[-16,32,64,128],[-16,32,128,256,1064],[4,[-8,-4,16,512,1032,1256,2064,3128]],[21,[-1008]]],
[8192,0,1,-1,
"55s0202A000A812s0D014080s0404"
,[-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,3016,3032],[64,3016,3032],[64,3016,3032],
[128,1064],[1016,3008],[3001]]]],
[40324,[[[-3008,1016],[-2004,-2,1001,1008],[-1004],[-1004,8
,16],[-1004,8,16],[-1004,8,16],[-1002],
[32,3008],[64,3016],[64,5032],[128,1064],[1008],
[1032,1064,3016],[1032,1064,3016],[3016],[3016],
[3032],[3032]],
[[-3004,1008,1016],[-3002,1004],[-1004,-1002,4,1008],
[-1004,-1002,4,1008],[-1002,4],[-1002,2008,3001],
[8,16,1004],[32,64,9016],[32,1016,7008],
[1016,3008,5032],[1016,3008,5032],[1016,7004],
[3001],[3008,5016],[3008,5016],[3064],[7008],
[7008]],
[[-3002,1004],[-1004,-1002,4,1008],[-1004,-1002,4,1008],
[-1004,8,16],[-1004,1004,1008,1016],[-1002,4],
[-1002,2008,3001],[16,3004,3008],[16,3004,3008],
[32,1016,7008],[64,1032,3008,5016],[1016,3008,5032],
[3001],[3008,5016],[3008,5016],[3064],[4032,5016],
[7008]],
[[-3002,1004],[-1004,-1002,4,1008],[-1004,-1002,4,1008],
[-1004,8,16],[-1004,1004,1008,1016],[-1002,4],
[-1002,2008,3001],[16,3004,3008],[16,3004,3008],
[32,1016,7008],[64,1032,3008,5016],[1016,3008,5032],
[3001],[3008,5016],[3008,5016],[3064],[4032,5016],
[7008]]]]],
[8192,0,1,-1,
"55s03B000A81As0C0A014080s0404"
,[-16,-8,32,64],[-16,32,64,128],[-16,32,128,256,1064],[21,[-1008]],[208,[26]]],
[8192,0,1,-1,
"57s03F000F82As0C15014080"
,[-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,[-16],[-8],[32],[1032]],[6,[[-8,-2,1,8,16,1032,2024,3128,3512,4256,6064]]],[208,[30]],[2169,[[-16,32,64,128]]]],
[8192,0,1,-1,
"57s0203F000F82As0C05034080s0404"
,[-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,[-16],[-8],[32],[1032]],[208,[35]],
[40324,[[[-2004,-2,16,1001],[-1004],[-1004,8,16],[-1002],
[16],[16,32,1008],[32,64,1016],[32,1016],
[32,3008],[1064,1128,3032],[1064,3032],[3032],
[3064],[3064]],
[[-1008,-1004,8,1016],[-1008,16,32],[-1004,8],
[-1002,-4],[-1002,8,16,3001],[-2,1001],
[8,16,1004],[32,5016],[32,7004],[64,1016,4032],
[1032,3016,5064],[3016,5032],[3064],[7016]]]]],
[8192,0,1,-1,
"5Fs0201F000F82As0C0A014080s0404"
,[-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],[64],[64],[128],[256],[1016]]],
[8192,0,1,-1,
"7Fs0201F000B83As0C0B014080"
,[-16,-8,32,64],[-16,32,64,128],[-16,32,128,256,1064],[21,[16]],[23,[16],[32],[64],[64],[128],[256]],[208,[35]],
[20164,[[[-1008,16,32],[-1004,8,16],[-1004,8,2016],[-1002,
4,8,16],[-4,4],[-2,1001],[32,3008],
[128,1032,4064],[1008],[1016,1064,2032],
[1032,3016],[1064,3032],[1128],[3032]]]],
[20323,[[[-3004,32,1008],[-3002,-1004,16],[-1008,16,64,4032
],[-1002,-8,-4],[1008,2016],[1016,2032]]]]],
[8192,0,1,-1,
"5Fs0202F000F82As0C15014080s0404"
,[-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,[-16],[-8],[32],[1032]],[6,[[-8,-2,1,8,16,1032,2024,3128,3512,4256,6064]]],[208,[35]],
[60324,[[[-1008,-1004,8,1016],[-1008,16,32],[-1004,8],[-10\
02,4,8,16],[-4,4],[-2,1001],[16,1008],[32,3008],
[64,5032],[1032,3016],[1032,3016,5064],[1128],
[3016,5032],[7016]],
[[-1004],[-1002],[-1002,-4,8,16],[16],[16,32,1008],
[16,1008],[32,64,1016],[32,1016],[32,1016],
[128,1064],[1032,2064],[1064,1128,3032],[3032],
[3064]]]]],
[8192,0,1,-1,
"5Fs0201F000F82As0C05024080"
,[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],[64],[1016]]],
[8192,0,1,-1,
"5Fs0201F000F81As0C15004080s0404"
,[-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,[-16],[-8],[32],[64]],[23,[16],[32],[64],[64],[128],[1128]]],
[8192,0,1,-1,
"7Fs0201F000F80As0C03054080s0404"
,[-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]],[6,[[-8,-2,1,8,16,2024,2512,3032,3128,5064,6256]]]],
[8192,0,1,-1,
"7Fs0201F000B83As0C15004080s0404"
,[-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]],
[40324,[[[-2004,-2,16,1001],[-1004],[-1004,8,16],[-1002],
[16],[16,32,1008],[32,64,1016],[32,1016],
[32,3008],[128,1064],[1064,1128,3032],[1064,3032],
[1064,3032],[3032]],
[[-1008,-1004,8,1016],[-1008,16,32],[-1004,8],
[-1002,-4],[-1002,8,16,3001],[-2,1001],
[8,16,1004],[32,5016],[32,7004],[64,1016,4032],
[1032,3016,5064],[3016,5032],[3064],[7016]]]]],
[8192,0,1,-1,
"7Fs0201F000F80As0C05024080"
,[-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,[-16],[-8],[32],[64]],[23,[16],[32],[64],[64],[128],[256]],[208,[35]],
[20323,[[[-3004,32,1008],[-3002,-1004,16],[-1008,16,64,4032
],[-1002,-8,-4],[1008,2016],[1016,2032]]]],[30321,[[[-2002,8,1001]]]]],
[8192,0,1,1,
"55s0202A000A812s0C0A010080"
,[-16,-8,32,64],[16,32,64,128],[16,32,128,256,1064],[4,[-8,-4,16,512,1032,1128,2064,2256]],[208,[35]],
[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],[128,1064],
[128,3032,3064],[1032,3016],[1064,3032]]]],
[20324,[[[-3004,-3002,8,32],[-3004,16],[-1008,16,1064,2032]
,[-1004,8,16],[-1004,8,1032,2016],[-1002],
[-4,-2,1001],[64,3016,3032],[128,3032,3064],
[1008],[1016,1064,2032],[1032],[1032,3016],[3016]
]]]],
[8192,0,1,-1,
"5Fs0201F000F81As0C02054080"
,[8,16,32,64],[-16,32,64,128],[-16,32,128,256,1064],[4,[-8,-4,16,512,1032,1256,2064,3128]],[21,[16]],[24,[-8],[-4],[16],[32],[32],[64],[64],[64],
[128],[128],[128],[128],[256],[512],[1128]]],
[8192,0,1,1,
"55s0202A000A812s0C02050080"
,[-16,-8,32,64],[16,32,64,128],[16,32,128,256,1064],[4,[-8,-4,16,512,1032,1128,2064,2256]],[208,[35]],
[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],[128,1064],
[128,3032,3064],[1032,3016],[1064,3032]]]],
[60324,[[[-1008,-1004,8,1016],[-1008,16,32],[-1004,8],[-10\
02,4,8,16],[-4,4],[-2,1001],[16,1008],[32,3008],
[64,5032],[1032,3016],[1032,3016,5064],[1128],
[3016,5032],[7016]],
[[-1004],[-1002],[-1002,-4,2008],[16],[16,32,1008],
[16,1008],[32,64,1016],[32,1016],[32,1016],
[128,1064],[1032,2064],[1064,1128,3032],[3032],
[3064]]]]],
[9216,0,1,1,
"55015040s020802s0540002008"
,[24,2032],[48,2064],[16,256,2096],[4,[4,24,48,256,1072,2064,2384]],[6,[[24,48,288,768,1144,2001,2072,2152,2256,3384,5032]]],[10161,[[[1,3,2004]]]]],
[9216,0,1,1,
"55015040s020802s0540002008s0680s0302"
,[24,32,64],[48,2064],[16,256,2096],[4,[-24,-4,48,144,256,2064,2384]],[10161,[[[1,3,2004]]]]],
[9216,0,1,1,
"55s0258s020802s082C"
,[24,96],[48,192],[16,256,288],[4,[4,72,144,192,256,1152]],[6,[[3,24,72,288,768,1144,2152,2304,3096]]]],
[9216,0,1,1,
"15s0248s022812s0501s020Cs0680s0302"
,[24,96],[48,192],[16,256,288],[4,[-72,-4,64,144,1152,1192]],[6,[[-1012,-72,-3,288,1144,1152,2192,2304,2576]]],[612,[165,239]]],
[9216,0,1,1,
"55015040s020802s0F80"
,[24,32,64],[48,2064],[16,256,2096],[4,[-2024,-4,144,256,2064,2384]]],
[9216,0,1,1,
"55015040s020802s0808"
,[24,2032],[48,2064],[16,256,2096],[4,[4,256,1072,2024,2064,2384]]],
[11520,1,2,1,
"15s0248s0312s041001s020Cs0680s0302"
,[120],[240],[240,320],[10164,[[[-90,-30,1060],[15,45],[20,60],[1360,3180]]]]],
[12288,0,1,-1,
"55s0250B000A80As0501s022As0540s0408"
,[8,48,64],[-16,96,128],[-48,384,1064],[4,[12,16,32,96,512,1192,1384]],[21,[-1008]],[22,[64],[1004],[1024]]],
[12288,0,1,1,
"55s0250A000A802s0501s0228s0680s0302"
,[8,48,64],[16,96,128],[48,384,1064],[4,[12,16,32,96,512,1192,1384]],[208,[33]]],
[12288,0,1,1,
"55s0240A000A812s0501s0208s0680s0302"
,[24,32,64],[48,64,128],[16,96,192,256],[4,[-24,-4,64,96,128,256,384,768,1048]],
[6,[[-24,-2,1,24,256,512,1192,1384,1536,2048,2064,2096,2768]
]],[2249,[[24,48,192,2096]]]],
[12288,0,1,1,
"55s0250A000A812s0501008028s0680s0312"
,[-16,-8,96],[16,32,192],[16,96,192,256],[4,[-24,-4,96,192,256,384,768,1048]],[208,[44]],
[10163,[[[-3012,96,1024],[-1012,-1006,12,48],[-12,-2,1001],
[64,96,1048]]]],[6169,[[48,64,128]]]],
[12288,0,1,-1,
"5Fs02555001B82As050180003As0317054080s032A04"
,[-16,-8,96],[-16,32,192],[-16,96,192,256],[4,[-24,-4,192,256,384,768,1096]],[22,[8],[16],[96]],[24,[-24],[-4],[96],[96],[192],[384],[768],[1128]],[29,[16],[32],[192]],[6,[[-24,-3,8,64,128,256,1096,1192,1384,1768,2536]]],
[10164,[[[-3012,96,1024],[-1012,48,1012],[-1006,-12],[-3,1
],[48,1024],[128,1064],[1096,3048],[1192,3096]]
]],[9322,[[-3016,16,32,1192]]]],
[12288,0,1,-1,
"FFs0271F000F80As050380003As054080s030A"
,[8,16,1048],[-16,32,1096],[-1048,-16,64,1192],[4,[-12,-4,12,32,128,192,1384,6096]],[21,[16]],[24,[-12],[-4],[12],[32],[96],[96],[96],[96],
[96],[96],[96],[128],[192],[384],[384]]],
[12288,0,1,-1,
"5Fs02557001F83As050180003As030F034080s032A"
,[-16,-8,96],[-16,32,192],[-16,96,192,256],[4,[-24,-4,192,256,384,768,1096]]],
[12288,0,1,-1,
"FFs02707000383As050380003As054080s030A04"
,[-16,-8,96],[-16,32,192],[-16,64,96,1192],[22,[-16],[-8],[96]]],
[12288,0,1,1,
"55s0250A000A802s0501s0228s0680"
,[8,48,64],[16,96,128],[48,384,1064],[4,[12,16,32,96,384,512,3192]]],
[12288,0,1,1,
"55s0240A000A802s0501s0208s0302050080s0302"
,[8,48,64],[16,96,128],[48,384,1064],[4,[12,16,32,96,512,1192,1384]],[6,[[1,6,12,16,1024,1096,1536,1768,2064,2384,3192]]],[40321,[[[8,1004]]]]],
[12288,0,1,-1,
"5Fs0250D000783As0501008028s04014080s031204"
,[-16,-8,96],[-16,32,192],[-16,96,192,256],[22,[-16],[-8],[96]],[24,[4],[24],[96],[96],[192],[256],[384],[768]],[6,[[-24,-3,8,128,1064,1096,1384,1768,2192,2536]]]],
[12288,0,1,1,
"55s0240A000A812s0501s0208s0680s0302"
,[8,48,64],[16,96,128],[48,384,1064],[4,[12,96,512,1192,1384,2016]],[208,[41]]],
[12288,0,1,-1,
"55s0250B000A80As0501s0228s0540"
,[8,48,64],[-16,96,128],[-48,384,1064],[4,[12,16,32,96,384,512,3192]],[21,[-1008]]],
[12288,0,1,1,
"55s0250A000A802s0501s0228s0680s0302"
,[8,16,96],[16,32,192],[16,96,192,256],[4,[4,24,192,384,768,1096,1128]],[6,[[3,24,256,768,1004,2064,2192,2384,2536,3096]]],
[10164,[[[-3012,1024,1048],[1,3],[12,1006],[48,1024],[64
,1032],[64,1032],[192,3048,3096],[1024,3012],
[3024,5048]]]],
[20164,[[[-1012,24,48],[-1006,12,2024],[1,3],[192,1048,40\
96],[1012],[1048,3024],[1064],[1064],[1096,3048]]]]],
[14336,0,1,-1,
"FFs031000080As0C60s0730"
,[8,112],[-16,224],[-112,448],[4,[28,896,3224]]],
[16384,0,1,-1,
"FFs0207F000F83As0C01014080"
,[-16,-8,2032],[-16,32,2064],[-16,256,2032,2064],[4,[4,2008,2064,2128,3256,5032]],[21,[16]],[22,[-16],[-8],[32],[32],[32]],[208,[31]]],
[16384,0,1,-1,
"7Fs0205F000F83As0C17054080"
,[-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,[-16],[-8],[32],[64]],[23,[16],[32],[64],[64],[128],[256]],
[20329,[[[-3004,-3002,8,32],[-3004,16],[-1002,-8,-4],[1032
,3016]]]]],
[16384,0,1,-1,
"FFs0207F000F83As0C01014080s0404"
,[-16,-8,32,64],[-16,32,2064],[-16,256,2032,2064],[4,[-8,-4,16,2128,3032,3064,3256]],[21,[16]],[22,[-16],[-8],[32],[64]],[23,[16],[32],[32],[32],[64],[64],[64],[256]],[6,[[-8,-2,1,8,16,1024,4064,4512,5032,5128,5256]]],[208,[27]],
[4322,[[-1016,16,128,256,1032],[-1016,16,128,256,1032],[-101\
6,16,128,256,1032],[16,32,256,2064]]],[9322,[[-3016,16,32,128,256]]],
[20164,[[[-3004,1008,1016],[-1004,8,16],[-1002,4,2008],[-1\
002,4,2008],[-1002,4,2008],[64,1016,4032],[64,1016,4032],
[64,1016,4032],[1004],[1016,3008],[1016,3008],
[1016,3008],[1032,3016],[1032,3016],[1032,3016],
[1128],[3001],[3004]]]],
[20329,[[[-3008,1016],[-3008,1016],[-3004,-3002,8,32],[-300\
4,16],[-1002,-8,-4]]]]],
[16384,0,1,1,
"55s0202A000A812s0C0A050080"
,[-16,-8,32,64],[16,32,64,128],[16,32,128,256,1064],[4,[-8,-4,16,512,1032,1128,2064,2256]],[208,[35]],
[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],[128,1064],
[128,3032,3064],[1032,3016],[1064,3032]]]],
[20324,[[[-3004,-3002,8,32],[-3004,16],[-1008,16,1064,2032]
,[-1004,8,16],[-1004,8,1032,2016],[-1002],
[-4,-2,1001],[32,1016,2064],[64,3016,3032],
[128,3032,3064],[1008],[1032],[1032,3016],[3016]]
]],
[60324,[[[-1008,-1004,8,1016],[-1008,16,32],[-1004,8],[-10\
02,4,8,16],[-4,4],[-2,1001],[16,1008],[32,3008],
[64,5032],[1032,3016],[1032,3016,5064],[1128],
[3016,5032],[7016]],
[[-1004],[-1002],[-1002,-4,2008],[16],[16,32,1008],
[16,1008],[32,64,1016],[32,1016],[32,1016],
[1032,2064],[1064,1128,3032],[1128],[3032],[3064]
]]]],
[16384,0,1,-1,
"55s0202B000A81As0C0B054080s0404"
,[-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],[256],[1016],[1016],
[1032],[1032],[1064],[1064],[1128],[1128],[1256]],[208,[35]]],
[16384,0,1,-1,
"FFs0201F000F83As0C1F014080"
,[-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,[-16],[-8],[32],[64]],[23,[16],[32],[64],[64],[128],[256]],[208,[30]]],
[16384,0,1,-1,
"FFs0201F000F83As0C1F014080s0404"
,[-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,[-16],[-8],[32],[64]],[23,[16],[32],[64],[64],[128],[256]],[208,[26]]],
[16384,0,1,-1,
"FFs0201F000F83As0C07074080s0404"
,[-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,[-16],[-8],[32],[64]],[23,[16],[32],[64],[64],[128],[256]],[208,[28]]],
[16384,0,1,-1,
"7Fs0205F000F83As0C0F034080s0404"
,[-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,[-16],[-8],[32],[64]],[23,[16],[32],[64],[64],[128],[256]],[6,[[-8,-2,1,8,16,1032,2024,3128,3512,4256,6064]]],
[20164,[[[-1008,16,32],[-1004,8,16],[-1004,8,2016],[-1002,
4,8,16],[-4,4],[-2,1001],[32,1016,2064],
[32,3008],[128,1032,4064],[1008],[1032,3016],
[1064,3032],[1128],[3032]]]],
[20323,[[[-3004,32,1008],[-3002,-1004,16],[-1008,16,64,4032
],[-1002,-8,-4],[1008,2016],[1016,2032]]]],
[20329,[[[-3004,-3002,8,32],[-3004,16],[-1002,-8,-4],[1032
,3016]]]],[9322,[[-3016,16,32,128,256]]],[30321,[[[-2002,-8,1001]]]]],
[16384,0,1,-1,
"FFs0201F000F83As0C07074080"
,[8,16,32,64],[-16,32,64,128],[-16,32,128,256,1064],[4,[-8,-4,16,512,1032,1256,2064,3128]],[21,[16]],[22,[8],[16],[32],[64]],[23,[16],[32],[64],[64],[128],[256]],[24,[-8],[-4],[16],[32],[32],[64],[64],[64],
[128],[128],[128],[128],[256],[256],[512]]],
[16384,0,1,-1,
"5Fs0203F000F83As0C15034080s0404"
,[-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,[-16],[-8],[32],[1032]],[6,[[-8,-2,1,8,16,1032,2024,3128,3512,4256,6064]]],[208,[35]],[2169,[[-16,32,64,128]]],
[40324,[[[-2004,-2,16,1001],[-1004],[-1004,8,16],[-1002],
[16],[16,32,1008],[32,64,1016],[32,1016],
[32,3008],[128,1064],[1064,1128,3032],[1064,3032],
[3032],[3064]],
[[-1008,-1004,8,1016],[-1008,16,32],[-1004,8],
[-1002,-4],[-1002,8,16,3001],[-2,1001],
[8,16,1004],[32,5016],[32,7004],[64,1016,4032],
[1032,3016,5064],[3016,5032],[3064],[7016]]]],
[60324,[[[-1008,-1004,8,1016],[-1008,16,32],[-1004,8],[-10\
02,4,8,16],[-4,4],[-2,1001],[16,1008],[32,3008],
[64,5032],[1032,3016],[1032,3016,5064],[1128],
[3016,5032],[7016]],
[[-1004],[-1002],[-1002,-4,8,16],[16],[16,32,1008],
[16,1008],[32,64,1016],[32,1016],[32,1016],
[1032,2064],[1064,1128,3032],[1128],[3032],[3064]
]]]],
[16384,0,1,-1,
"7Fs0205F000F83As0C0F034080"
,[-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,[-16],[-8],[32],[64]],[23,[16],[32],[64],[64],[128],[256]],[6,[[-8,-2,1,8,16,1032,2024,3128,3512,4256,6064]]],
[20164,[[[-1008,16,32],[-1004,8,16],[-1004,8,2016],[-1002,
4,8,16],[-4,4],[-2,1001],[32,1016,2064],
[32,3008],[128,1032,4064],[1008],[1032,3016],
[1064,3032],[1128],[3032]]]],
[20323,[[[-3004,32,1008],[-3002,-1004,16],[-1008,16,64,4032
],[-1002,-8,-4],[1008,2016],[1016,2032]]]],
[20329,[[[-3004,-3002,8,32],[-3004,16],[-1002,-8,-4],[1032
,3016]]]],[9322,[[-3016,16,32,128,256]]],[30321,[[[-2002,-8,1001]]]]],
[16384,0,1,-1,
"7Fs0205F000F83As0C17054080s0404"
,[-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]],[24,[-8],[-4],[16],[32],[32],[64],[64],[64],
[128],[128],[256],[256],[512],[1128]],[29,[16],[32],[64],[128]],[6,[[-8,-2,1,8,16,1032,2024,3128,3512,4256,6064]]],[2322,[[16,32,256,2064]]],
[20324,[[[-3004,-3002,8,32],[-3004,16],[-1008,16,1064,2032]
,[-1004,8,16],[-1004,8,1032,2016],[-1002],
[-4,-2,1001],[32,1016,2064],[64,3016,3032],
[128,3032,3064],[1008],[1032],[1032,3016],[3016]]
]],
[40324,[[[-2004,-2,16,1001],[-1004],[-1004,8,16],[-1002],
[16],[16,32,1008],[32,64,1016],[32,1016],
[32,3008],[128,1064],[1064,1128,3032],[1064,3032],
[3032],[3064]],
[[-1008,-1004,8,1016],[-1008,16,32],[-1004,8],
[-1002,-4],[-1002,8,16,3001],[-2,1001],
[8,16,1004],[32,5016],[32,7004],[64,1016,4032],
[1032,3016,5064],[3016,5032],[3064],[7016]]]]],
[16384,0,1,-1,
"5Fs0203F000F83As0C15034080"
,[-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,[-16],[-8],[32],[64]],[23,[16],[32],[64],[256],[1032],[1064]],[208,[35]]],
[18432,0,1,1,
"55015040s02A882s040541002008s0680s0302"
,[24,32,64],[48,64,128],[16,96,192,256],[4,[-24,-4,48,64,128,144,256,384,768]],[10161,[[[1,3,4,8]]]]],
[18432,0,1,1,
"5501504080002812s0540002008s0680"
,[24,32,64],[48,2064],[16,256,2096],[4,[-24,-4,48,144,256,2064,2384]],
[6,[[-24,-2,1,48,72,256,288,512,768,1032,1064,2144,2304,3384
]]]],
[18432,0,1,1,
"5501504080002812s0540002008s04010080"
,[24,2032],[48,2064],[16,256,2096],[4,[4,24,48,256,1072,2064,2384]],[6,[[24,48,768,1288,2001,2072,2152,2256,3384,5032]]],[20321,[[[-8,-2,6]],[[-8,-2,6]],[[-6,-2,8]]]]],
[18432,0,1,1,
"5501504080002812s0540002008"
,[24,2032],[48,2064],[16,256,2096],[4,[4,24,48,256,1072,2064,2384]],[6,[[24,48,288,768,1144,2001,2072,2152,2256,3384,5032]]],[10161,[[[-2004,-3,1]]]]],
[18432,0,1,1,
"5501504080002812s0540002008s0680s0302"
,[24,32,64],[48,2064],[16,256,2096],[4,[-24,-4,48,144,256,2064,2384]],
[6,[[-24,-2,1,48,72,144,256,512,768,1032,1064,1288,2304,3384
]]],[10161,[[[-2004,-3,1]]]]],
[18432,0,1,-1,
"5500050080002812s0D014080s0404"
,[24,32,64],[-48,2064],[-16,256,2096],[21,[-1008]],
[6,[[-72,-2,1,72,144,256,512,576,1032,1064,1152,2304,2384]]
]],
[18432,0,1,1,
"55s0258s02A802s0501s022Cs0680s0302"
,[24,96],[48,192],[16,256,288],[4,[-72,-4,144,192,256,1152]],[6,[[-72,-3,24,192,288,768,1096,1144,2152,2304]]]],
[18432,0,1,1,
"55s025880002812s050100802Cs0A12"
,[24,96],[48,192],[16,256,288],[4,[4,72,144,192,256,1152]],[6,[[3,24,72,192,288,768,1096,1144,2152,2304]]]],
[18432,0,1,1,
"55015040s02A882s040541002008s0680s0302"
,[8,48,64],[16,96,128],[48,384,1064],[4,[12,96,192,384,512,576,2016]],[208,[42]]],
[18432,0,1,1,
"5501504080002812s0540002008s04010080"
,[24,2032],[48,2064],[16,256,2096],[4,[4,24,48,256,1072,2064,2384]],[6,[[24,48,768,1288,2001,2072,2152,2256,3384,5032]]],[20321,[[[-8,-2,6]],[[-6,-2,8]],[[-6,-2,8]]]]],
[18432,0,1,1,
"55015040s02A882s0808s0680"
,[24,32,64],[48,64,128],[16,96,192,256],[4,[-2024,-4,64,128,144,256,384,768]]],
[18432,0,1,1,
"5500050080002812s0D010080"
,[24,2032],[48,2064],[16,256,2096],[6,[[576,2001,2256,2384,3072,3152,5032]]]],
[18432,0,1,1,
"5501504020002812s0540002008s0680s0302"
,[24,32,64],[48,64,128],[16,96,192,256],[4,[-24,-4,48,64,128,144,256,384,768]],
[10164,[[[-1012,-1004,32],[-1012,1012],[-12,1006],[-2,1001
],[64,192],[72,1036],[96,144,2048],
[144,192,1096,4048],[1008,1024,1032]]]]],
[18432,0,1,1,
"5501504020002812s040100082008s0680"
,[24,32,64],[48,64,128],[16,96,192,256],[4,[-24,-4,48,64,128,144,256,384,768]],[6,[[-24,-2,1,48,72,256,288,512,1384,1768,2064,2144,2304]]
],
[10164,[[[-1012,-1004,32],[-12,1006],[-2,1001],[24,1012],
[64,192],[72,1036],[96,144,2048],
[144,192,1096,4048],[1008,1024,1032]]]]],
[18432,0,1,1,
"55s025820002812s082Cs0680"
,[24,96],[48,192],[16,256,288],[4,[-72,-4,144,192,256,1152]],
[10164,[[[-1036,-1012,96],[-1036,1036],[-36,1018],[-3,1],
[64,192],[288,5144]]]]],
[18816,0,1,1,
"11s0240s0302s0501s020910s0240s060210"
,[56,64],[112,128],[112,448],[4,[28,112,784,896]],[10162,[[[7,21,28],[8,56]]]],[10169,[[[56,1007,1021],[1008,1056]]]]],
[18816,0,1,1,
"11s0240s0302s0501s020910s0240s0710"
,[56,64],[112,128],[112,448],[4,[28,112,784,896]],[10162,[[[7,21,28],[8,56]]]],[10169,[[[56,1007,1021],[1008,1056]]]]],
[21504,0,1,1,
"55s0250s020802s0501s0228s0340s060210"
,[8,112],[16,224],[112,448],[4,[28,224,672,896]],[208,[36]]]];
Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.

Product

Resources

Company

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.
