CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutSign UpSign In

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

| Download

GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it

Views: 418346
#############################################################################
##
#A  trans24ak.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 24
##

TRANSGRP[24]{[10801..11100]}:=
[[(1,12,24)(2,11,23)(3,9,21)(4,10,22)(5,14,18,6,13,17)(7,15,20,8,16,19),
(1,23,4,22)(2,24,3,21)(5,18,8,20)(6,17,7,19)(9,14,11,15)(10,13,12,16),
"t24n10801"],[(1,7,3,6,2,8,4,5)(11,12)(13,16)(14,15)(17,19)(18,20)(23,24),
(1,9,19,7,16,24,4,11,17,5,13,22,2,10,20,8,15,23,3,12,18,6,14,21),
(1,15,18,2,16,17)(3,13,20,4,14,19)(5,9,23)(6,10,24)(7,12,22)(8,11,21),
"t24n10802"],
[(1,9,22)(2,10,21)(3,12,24)(4,11,23)(5,15,19)(6,16,20)(7,13,18)(8,14,17),
(1,17,14,8,23,10,4,20,15,6,22,11)(2,18,13,7,24,9,3,19,16,5,21,12),
(1,18,16,4,20,13)(2,17,15,3,19,14)(5,23,9,8,22,11)(6,24,10,7,21,12),
"t24n10803"],
[(1,4)(2,3)(7,8)(9,10)(11,12)(13,16,14,15)(17,21,19,23,18,22,20,24),
(1,8)(2,7)(3,6)(4,5)(9,10)(13,14)(17,21)(18,22)(19,23)(20,24),
(1,18,11,3,20,10,2,17,12,4,19,9)(5,24,14,7,21,16,6,23,13,8,22,15),"t24n10804"]
,[(1,2)(5,6)(9,13)(10,14)(11,15)(12,16)(17,24)(18,23)(19,21)(20,22),
(1,3,2,4)(5,6)(9,11)(10,12)(17,24,20,21)(18,23,19,22),
(1,24,14,8,18,9,4,22,16,5,19,12)(2,23,13,7,17,10,3,21,15,6,20,11),"t24n10805"]
,[(1,3,2,4)(5,7,6,8)(9,16)(10,15)(11,13)(12,14)(17,24,18,23)(19,21,20,22),
(1,5,3,7,2,6,4,8)(9,12,10,11)(21,24,22,23),
(1,18,14,2,17,13)(3,20,16,4,19,15)(5,24,12,6,23,11)(7,21,9,8,22,10),
"t24n10806"],[(1,3)(2,4)(5,8)(6,7)(9,12)(10,11)(13,16)(14,15)(21,22)(23,24),
(1,11,20,4,9,18,2,12,19,3,10,17)(5,13,21,7,16,23,6,14,22,8,15,24),
(1,18,6,21)(2,17,5,22)(3,20,7,23)(4,19,8,24)(9,15,12,14)(10,16,11,13),
"t24n10807"],
[(1,8,4,5)(2,7,3,6)(9,21,14,19)(10,22,13,20)(11,24,15,18)(12,23,16,17),
(1,9,17,3,12,19)(2,10,18,4,11,20)(5,15,23,8,14,22)(6,16,24,7,13,21),
(1,10,2,9)(3,12,4,11)(5,14)(6,13)(7,15)(8,16)(17,18)(19,20)(21,23)(22,24),
"t24n10808"],[(5,7)(6,8)(9,22,11,24,10,21,12,23)(13,19,16,17,14,20,15,18),
(1,19,2,20)(3,17,4,18)(5,23,6,24)(7,21,8,22)(11,12)(13,16,14,15),
(1,21,14,4,24,15,2,22,13,3,23,16)(5,20,11,8,17,9,6,19,12,7,18,10),"t24n10809"]
,[(1,12,3,9)(2,11,4,10)(5,15,7,13)(6,16,8,14)(17,18)(21,23)(22,24),
(1,16,4,14)(2,15,3,13)(5,12,7,10)(6,11,8,9)(19,20)(21,23)(22,24),
(1,24,15,2,23,16)(3,21,14,4,22,13)(5,17,10)(6,18,9)(7,20,11)(8,19,12),
"t24n10810"],
[(1,4,2,3)(5,7,6,8)(9,14,10,13)(11,16,12,15)(17,22,18,21)(19,23,20,24),
(1,13,2,14)(3,15,4,16)(5,9)(6,10)(7,12)(8,11)(17,20)(18,19)(23,24),
(1,19,14,2,20,13)(3,17,16,4,18,15)(5,22,11,6,21,12)(7,24,9,8,23,10),
"t24n10811"],
[(1,11,5,16)(2,12,6,15)(3,10,7,13)(4,9,8,14)(17,22,19,24,18,21,20,23),
(1,16,2,15)(3,14,4,13)(5,11)(6,12)(7,9)(8,10)(17,19)(18,20)(23,24),
(1,21,6,18,2,22,5,17)(3,24,8,19,4,23,7,20)(9,13,11,16,10,14,12,15),"t24n10812"
],[(1,2)(3,4)(5,7,6,8)(9,21,12,24,10,22,11,23)(13,20,16,18,14,19,15,17),
(1,10,22,4,11,23,2,9,21,3,12,24)(5,16,19,8,14,17,6,15,20,7,13,18),
(1,16,19,4,14,17,2,15,20,3,13,18)(5,10,21,8,11,24,6,9,22,7,12,23),"t24n10813"]
,[(1,6,3,7,2,5,4,8)(9,23,14,17,10,24,13,18)(11,21,15,19,12,22,16,20),
(1,10,5,14)(2,9,6,13)(3,12,7,15)(4,11,8,16)(17,22,19,24,18,21,20,23),
(1,12,19,3,10,18,2,11,20,4,9,17)(5,13,22,7,15,23,6,14,21,8,16,24),"t24n10814"]
,
[(21,22)(23,24),(1,3)(2,4)(5,6)(9,18,10,17)(11,20,12,19)(13,23)(14,24)(15,22)(16,21)
,(1,3,2,4)(5,8,6,7)(9,10)(13,14)(17,18)(23,24),
(1,8,2,7)(3,5,4,6)(11,12)(13,14)(17,22)(18,21)(19,23)(20,24),
(1,11,20,2,12,19)(3,10,17,4,9,18)(5,14,22,6,13,21)(7,16,24,8,15,23),
"t24n10815"],
[(1,4,2,3)(7,8)(9,21,10,22)(11,23,12,24)(13,20,14,19)(15,17,16,18),
(1,10,19)(2,9,20)(3,11,18)(4,12,17)(5,15,21)(6,16,22)(7,14,23)(8,13,24),
(1,14,4,15,2,13,3,16)(5,10,8,11,6,9,7,12)(17,19)(18,20)(21,22)(23,24),
"t24n10816"],
[(1,11,4,10)(2,12,3,9)(5,16,8,14)(6,15,7,13)(17,19,18,20)(23,24),
(1,13,21,3,16,23)(2,14,22,4,15,24)(5,11,20,7,9,18)(6,12,19,8,10,17),
(1,13,22,4,15,23)(2,14,21,3,16,24)(5,11,20,8,10,17)(6,12,19,7,9,18),
"t24n10817"],
[(1,6,2,5)(3,8,4,7)(9,12,10,11)(13,16,14,15)(17,20,18,19)(21,24,22,23),
(1,8,2,7)(3,5,4,6)(9,17,12,19,10,18,11,20)(13,24,15,21,14,23,16,22),
(1,12,3,9,2,11,4,10)(5,13,7,15,6,14,8,16)(17,19,18,20)(21,24,22,23),
"t24n10818"],
[(1,4)(2,3)(5,8)(6,7)(9,22,11,23)(10,21,12,24)(13,20,15,17)(14,19,16,18),
(1,11,23,6,14,19)(2,12,24,5,13,20)(3,10,22,8,16,17)(4,9,21,7,15,18),
(1,18,12)(2,17,11)(3,19,10)(4,20,9)(5,22,13,6,21,14)(7,24,16,8,23,15),
"t24n10819"],
[(1,2)(3,4)(5,6)(7,8)(9,15,10,16)(11,14,12,13)(17,21)(18,22)(19,24)(20,23),
(1,15,3,13,2,16,4,14)(5,9,8,11,6,10,7,12)(17,24,18,23)(19,21,20,22),
(1,20,4,17,2,19,3,18)(5,23,7,22,6,24,8,21)(9,12,10,11)(13,16,14,15),
"t24n10820"],
[(1,7,2,8)(3,5,4,6)(9,22,12,23,10,21,11,24)(13,19,15,17,14,20,16,18),
(1,12,4,9,2,11,3,10)(5,14,7,15,6,13,8,16)(17,23)(18,24)(19,22)(20,21),
(1,14,7,10)(2,13,8,9)(3,15,6,11)(4,16,5,12)(17,23,18,24)(19,22,20,21),
"t24n10821"],
[(9,21,16,17)(10,22,15,18)(11,23,14,19)(12,24,13,20),(1,18,13,6,21,12,2,17,14,5,22,11)
(3,19,15,8,23,9,4,20,16,7,24,10),(1,19,7,21)(2,20,8,22)(3,17,6,23)
(4,18,5,24)(9,11)(10,12)(13,16)(14,15),"t24n10822"],
[(1,17,12,5,21,14)(2,18,11,6,22,13)(3,19,10,8,23,16)(4,20,9,7,24,15),
(1,23,6,19)(2,24,5,20)(3,22,7,18)(4,21,8,17)(11,12)(15,16),
(1,23,5,20,2,24,6,19)(3,22,8,17,4,21,7,18)(9,15,10,16)(11,14,12,13),
"t24n10823"],[(1,3)(2,4)(5,7)(6,8)(9,13)(10,14)(11,16)(12,15)(17,18)(23,24),
(1,15,18)(2,16,17)(3,14,20)(4,13,19)(5,9,21,6,10,22)(7,11,24,8,12,23),
(1,22,4,24,2,21,3,23)(5,17,8,20,6,18,7,19)(9,14)(10,13)(11,16)(12,15),
"t24n10824"],
[(1,7,2,8)(3,6,4,5)(9,11,10,12)(13,16,14,15)(17,21)(18,22)(19,24)(20,23),
(1,11,6,13,2,12,5,14)(3,10,8,15,4,9,7,16)(17,22)(18,21)(19,23)(20,24),
(1,18,6,22)(2,17,5,21)(3,19,8,24)(4,20,7,23)(9,13)(10,14)(11,15)(12,16),
"t24n10825"],
[(1,16,20,4,14,17,2,15,19,3,13,18)(5,10,24,7,12,21,6,9,23,8,11,22),
(1,20,2,19)(3,17,4,18)(5,24)(6,23)(7,22)(8,21)(9,12,10,11)(13,15,14,16),
(1,22,2,21)(3,24,4,23)(5,17)(6,18)(7,20)(8,19)(13,14)(15,16),"t24n10826"],
[(21,22)(23,24),(9,20,10,19)(11,18,12,17)(13,22)(14,21)(15,24)(16,23),
(1,4)(2,3)(5,8)(6,7)(9,10)(15,16)(19,20)(23,24),
(1,8,2,7)(3,5,4,6)(17,23)(18,24)(19,21)(20,22),
(1,9,19)(2,10,20)(3,11,17)(4,12,18)(5,16,23)(6,15,24)(7,13,22)(8,14,21),
"t24n10827"],
[(1,4,2,3)(5,7)(6,8)(9,21)(10,22)(11,24)(12,23)(13,19)(14,20)(15,18)(16,17),
(1,15,21,3,13,24,2,16,22,4,14,23)(5,9,18,7,12,19,6,10,17,8,11,20),
(1,16,4,14,2,15,3,13)(5,10,8,12,6,9,7,11)(17,19,18,20)(21,24)(22,23),
"t24n10828"],
[(1,13,18,4,15,20,2,14,17,3,16,19)(5,11,22,7,9,23,6,12,21,8,10,24),
(1,13,8,9,2,14,7,10)(3,16,5,11,4,15,6,12)(17,23)(18,24)(19,22,20,21),
(1,19,12)(2,20,11)(3,17,10)(4,18,9)(5,24,13,6,23,14)(7,22,16,8,21,15),
"t24n10829"],
[(1,14,6,12,2,13,5,11)(3,15,7,10,4,16,8,9)(17,22,18,21)(19,23)(20,24),
(1,19,16,3,18,14)(2,20,15,4,17,13)(5,23,9,8,21,11)(6,24,10,7,22,12),
(1,20,9,2,19,10)(3,18,11,4,17,12)(5,24,15,6,23,16)(7,22,14,8,21,13),
"t24n10830"],
[(1,5)(2,6)(3,7,4,8)(9,20,14,22,10,19,13,21)(11,17,16,23,12,18,15,24),
(1,7,2,8)(3,6)(4,5)(9,23,13,18,10,24,14,17)(11,22,15,19,12,21,16,20),
(1,19,4,18,2,20,3,17)(5,23,7,22,6,24,8,21)(9,10)(11,12)(13,14),"t24n10831"],
[(1,12,3,10,2,11,4,9)(5,13,8,15,6,14,7,16)(17,19)(18,20)(21,23)(22,24),
(1,13,19,4,16,17,2,14,20,3,15,18)(5,12,24,8,10,21,6,11,23,7,9,22),
(1,21,4,24,2,22,3,23)(5,17,8,19,6,18,7,20)(9,12)(10,11)(13,16)(14,15),
"t24n10832"],
[(1,9,17,3,12,20,2,10,18,4,11,19)(5,16,21,7,14,23,6,15,22,8,13,24),
(1,18,7,23)(2,17,8,24)(3,20,6,21)(4,19,5,22)(9,13)(10,14)(11,16)(12,15),
(1,21,7,20)(2,22,8,19)(3,23,6,18)(4,24,5,17)(9,13,10,14)(11,16,12,15),
"t24n10833"],
[(1,11,20,3,9,17)(2,12,19,4,10,18)(5,14,24,8,16,21)(6,13,23,7,15,22),
(1,19,10,4,17,11)(2,20,9,3,18,12)(5,24,15,8,21,13)(6,23,16,7,22,14),
(1,24,6,20,2,23,5,19)(3,22,7,18,4,21,8,17)(9,16)(10,15)(11,13)(12,14),
"t24n10834"],
[(21,22)(23,24),(3,4)(7,8)(9,20,10,19)(11,18,12,17)(13,22,14,21)(15,24,16,23),
(1,4)(2,3)(5,8)(6,7)(9,10)(15,16)(19,20)(23,24),
(1,8,2,7)(3,5,4,6)(17,23)(18,24)(19,21)(20,22),
(1,9,19)(2,10,20)(3,11,18)(4,12,17)(5,16,23,6,15,24)(7,13,21,8,14,22),
"t24n10835"],[(1,14,5,9)(2,13,6,10)(3,16,8,12)(4,15,7,11)(17,19,18,20),
(1,16,2,15)(3,13)(4,14)(5,12)(6,11)(7,9,8,10)(17,21,20,24,18,22,19,23),
(1,19)(2,20)(3,18,4,17)(5,23,6,24)(7,22)(8,21)(9,14,11,16,10,13,12,15),
"t24n10836"],
[(21,22)(23,24),(1,3)(2,4)(7,8)(9,21,14,20,10,22,13,19)(11,23,16,17,12,24,15,18),
(1,12,20,2,11,19)(3,10,17,4,9,18)(5,14,22)(6,13,21)(7,16,23)(8,15,24),
"t24n10837"],
[(21,22)(23,24),(1,3,2,4)(7,8)(9,22,13,20,10,21,14,19)(11,23,15,18,12,24,16,17),
(1,12,20)(2,11,19)(3,9,17)(4,10,18)(5,13,22)(6,14,21)(7,15,23)(8,16,24),
"t24n10838"],
[(21,22)(23,24),(1,3,2,4)(7,8)(9,22,13,20,10,21,14,19)(11,23,15,18,12,24,16,17),
(1,12,20)(2,11,19)(3,10,17)(4,9,18)(5,13,21,6,14,22)(7,15,23,8,16,24),
"t24n10839"],
[(1,6,3,8,2,5,4,7)(9,18,11,20,10,17,12,19)(13,23,16,21,14,24,15,22),
(1,15,5,12)(2,16,6,11)(3,14,7,9)(4,13,8,10)(17,19,18,20),
(1,16)(2,15)(3,13)(4,14)(5,11,6,12)(7,10,8,9)(17,23,20,21,18,24,19,22),
"t24n10840"],[(21,22)(23,24),(9,18,15,22,10,17,16,21)(11,19,14,24,12,20,13,23),
(1,8,2,7)(3,5,4,6),(1,9,17,2,10,18)(3,11,20,4,12,19)(5,16,22)(6,15,21)(7,13,24)
(8,14,23),"t24n10841"],
[(21,22)(23,24),(9,18,15,22,10,17,16,21)(11,19,14,24,12,20,13,23),
(1,8,2,7)(3,5,4,6)(11,12)(15,16)(17,18)(23,24),
(1,9,17,2,10,18)(3,11,20,4,12,19)(5,16,22)(6,15,21)(7,13,24)(8,14,23),
"t24n10842"],
[(1,14,8,10,2,13,7,9)(3,15,5,11,4,16,6,12)(17,21,18,22)(19,23,20,24),
(1,16,21)(2,15,22)(3,13,23)(4,14,24)(5,9,18,6,10,17)(7,11,19,8,12,20),
(1,22,5,17,2,21,6,18)(3,24,7,20,4,23,8,19)(9,10)(11,12),"t24n10843"],
[(1,9,19,2,10,20)(3,12,17,4,11,18)(5,15,23)(6,16,24)(7,14,21)(8,13,22),
(1,16,24,7,12,17,2,15,23,8,11,18)(3,14,21,5,10,20,4,13,22,6,9,19),
(1,19,4,17,2,20,3,18)(5,24,7,21,6,23,8,22)(11,12)(13,14),"t24n10844"],
[(1,5,2,6)(3,7,4,8)(9,23,14,18,10,24,13,17)(11,21,15,19,12,22,16,20),
(1,9,8,14,2,10,7,13)(3,11,5,15,4,12,6,16)(17,19,18,20)(21,24,22,23),
(1,9,18)(2,10,17)(3,12,19)(4,11,20)(5,15,21,6,16,22)(7,14,24,8,13,23),
"t24n10845"],
[(1,5)(2,6)(3,8)(4,7)(9,11)(10,12)(13,16)(14,15)(17,24,18,23)(19,21,20,22),
(1,16,4,13)(2,15,3,14)(5,9,7,11)(6,10,8,12)(17,18)(19,20),
(1,19,3,17)(2,20,4,18)(5,24,8,21)(6,23,7,22)(9,14,10,13)(11,16,12,15),
"t24n10846"],
[(21,22)(23,24),(3,4)(7,8)(9,18,15,21)(10,17,16,22)(11,19,14,23)(12,20,13,24),
(1,8,2,7)(3,5,4,6)(11,12)(15,16)(17,18)(23,24),
(1,9,18,2,10,17)(3,12,19,4,11,20)(5,16,21,6,15,22)(7,13,24,8,14,23),
"t24n10847"],[(1,2)(3,4)(9,12,10,11)(13,16,14,15)(17,19,18,20)(21,23,22,24),
(1,13,20,4,16,17,2,14,19,3,15,18)(5,12,23,7,10,22,6,11,24,8,9,21),
(1,14)(2,13)(3,16)(4,15)(5,11,6,12)(7,9,8,10)(17,23)(18,24)(19,21)(20,22),
"t24n10848"],
[(1,6,2,5)(3,8,4,7)(9,12,10,11)(13,15,14,16)(17,22)(18,21)(19,23)(20,24),
(1,16,5,10)(2,15,6,9)(3,13,8,12)(4,14,7,11)(17,20)(18,19)(21,23)(22,24),
(1,22,6,17)(2,21,5,18)(3,24,7,19)(4,23,8,20)(9,11)(10,12)(13,16)(14,15),
"t24n10849"],
[(1,7,2,8)(3,5,4,6)(9,13)(10,14)(11,15)(12,16)(17,19)(18,20)(21,24)(22,23),
(1,9,22,2,10,21)(3,12,24,4,11,23)(5,15,18)(6,16,17)(7,14,19)(8,13,20),
(1,23,6,19,2,24,5,20)(3,21,8,18,4,22,7,17)(9,10)(13,14),"t24n10850"],
[(1,16,19,2,15,20)(3,14,17,4,13,18)(5,9,23)(6,10,24)(7,12,21)(8,11,22),
(1,19,3,18,2,20,4,17)(5,24,7,21,6,23,8,22)(9,13)(10,14)(11,15)(12,16),
(1,24,6,20,2,23,5,19)(3,22,7,17,4,21,8,18)(9,11)(10,12)(13,16)(14,15),
"t24n10851"],
[(1,10,23,2,9,24)(3,11,21,4,12,22)(5,15,19)(6,16,20)(7,13,17)(8,14,18),
(1,14)(2,13)(3,15)(4,16)(5,11,6,12)(7,9,8,10)(17,22)(18,21)(19,23)(20,24),
(1,15,7,12,2,16,8,11)(3,14,5,10,4,13,6,9)(19,20)(21,22),"t24n10852"],
[(1,8,2,7)(3,5)(4,6)(11,12)(13,16,14,15)(17,24,20,21,18,23,19,22),
(1,23,12,5,19,13,4,21,9,8,18,15)(2,24,11,6,20,14,3,22,10,7,17,16),"t24n10853"]
,[(1,10,24,7,15,18,3,11,21,6,13,20,2,9,23,8,16,17,4,12,22,5,14,19),
(1,14,17,5,10,24,3,16,19,7,12,21,2,13,18,6,9,23,4,15,20,8,11,22),
(1,24,12,3,22,10,2,23,11,4,21,9)(5,18,15,8,20,14,6,17,16,7,19,13),"t24n10854"]
,[(1,19,16,8,24,11,4,17,13,5,22,10,2,20,15,7,23,12,3,18,14,6,21,9),
(1,21,10,6,18,15,4,23,12,8,19,13,2,22,9,5,17,16,3,24,11,7,20,14),"t24n10855"],
[(1,15,18,7,9,21,3,14,19,6,12,24)(2,16,17,8,10,22,4,13,20,5,11,23),
(1,17,12,8,24,14,3,19,9,5,22,15)(2,18,11,7,23,13,4,20,10,6,21,16),"t24n10856"]
,
[(5,6)(7,8)(9,10)(11,12)(13,14)(15,16)(21,22)(23,24),(1,17,14,5,24,11,4,19,15,7,
22,10,2,18,13,6,23,12,3,20,16,8,21,9),
(1,24,9,5,19,16,4,21,12,7,17,13,2,23,10,6,20,15,3,22,11,8,18,14),"t24n10857"],
[(1,8)(2,7)(3,5)(4,6)(11,12)(13,15,14,16)(17,21,20,23)(18,22,19,24),
(1,15,20,5,12,22,4,14,18,8,10,23)(2,16,19,6,11,21,3,13,17,7,9,24),"t24n10858"]
,[(1,9,24)(2,10,23)(3,11,22)(4,12,21)(5,14,18,6,13,17)(7,16,20,8,15,19),
(1,23,16,8,19,10,3,21,13,6,18,12,2,24,15,7,20,9,4,22,14,5,17,11),"t24n10859"],
[(1,2)(3,4)(9,12)(10,11)(13,16)(14,15)(17,20)(18,19)(21,23)(22,24),
(1,15,19,5,11,22,3,13,18,7,10,24)(2,16,20,6,12,21,4,14,17,8,9,23),
(1,21,16,7,17,10,4,23,14,6,20,11)(2,22,15,8,18,9,3,24,13,5,19,12),"t24n10860"]
,[(1,14,21,6,12,19,4,15,23,7,10,17)(2,13,22,5,11,20,3,16,24,8,9,18),
(1,22,14,8,18,12,4,23,15,5,20,9)(2,21,13,7,17,11,3,24,16,6,19,10),"t24n10861"]
,[(1,9,20,5,16,24,4,12,18,7,13,21,2,10,19,6,15,23,3,11,17,8,14,22),
(1,10,20,3,12,17,2,9,19,4,11,18)(5,15,21,7,14,23,6,16,22,8,13,24),"t24n10862"]
,[(1,20,13,7,24,10,4,17,16,5,21,11,2,19,14,8,23,9,3,18,15,6,22,12),
(1,24,12,2,23,11)(3,21,10,4,22,9)(5,18,16,6,17,15)(7,20,14,8,19,13),
"t24n10863"],
[(1,21,9,19,8,14,3,24,11,17,5,16)(2,22,10,20,7,13,4,23,12,18,6,15),
(1,22,10,18,5,13,4,24,12,20,8,15)(2,21,9,17,6,14,3,23,11,19,7,16),"t24n10864"]
,[(1,13,7,18,9,21,4,16,5,20,12,24)(2,14,8,17,10,22,3,15,6,19,11,23),
(1,15,7,20,11,21,4,14,6,17,10,24)(2,16,8,19,12,22,3,13,5,18,9,23),"t24n10865"]
,[(1,14,6,19,12,23,4,16,8,17,9,21)(2,13,5,20,11,24,3,15,7,18,10,22),
(1,20,4,17,2,19,3,18)(5,22,6,21)(7,24,8,23)(9,13,10,14)(11,15)(12,16),
"t24n10866"],
[(1,21,9,17,8,13,3,23,12,19,6,16)(2,22,10,18,7,14,4,24,11,20,5,15),
(1,23,11,17,6,13,3,22,9,20,7,16)(2,24,12,18,5,14,4,21,10,19,8,15),"t24n10867"]
,[(3,4)(7,8)(9,10)(11,12)(13,16)(14,15)(19,20)(21,24,22,23),
(1,14,6,20,9,21,4,16,7,18,12,24)(2,13,5,19,10,22,3,15,8,17,11,23),"t24n10868"]
,[(1,12,6,2,11,5)(3,10,8,4,9,7)(13,22,20)(14,21,19)(15,23,17)(16,24,18),
(1,23,9,20,8,14,4,22,12,18,5,16)(2,24,10,19,7,13,3,21,11,17,6,15),"t24n10869"]
,[(1,6,9,2,5,10)(3,7,12,4,8,11)(13,18,21)(14,17,22)(15,20,23)(16,19,24),
(1,21,9,20,7,14,3,23,11,18,5,16)(2,22,10,19,8,13,4,24,12,17,6,15),"t24n10870"]
,[(1,10,8,2,9,7)(3,11,6,4,12,5)(13,22,19)(14,21,20)(15,24,18)(16,23,17),
(1,23,12,20,7,14,4,22,9,18,6,16)(2,24,11,19,8,13,3,21,10,17,5,15),"t24n10871"]
,[(1,3)(2,4)(5,7,6,8)(9,12,10,11)(13,14)(17,18)(21,23)(22,24),
(1,24,11,19,5,14,4,21,9,18,8,16)(2,23,12,20,6,13,3,22,10,17,7,15),"t24n10872"]
,[(1,13,5,19,10,24,4,15,7,17,11,21,2,14,6,20,9,23,3,16,8,18,12,22),
(1,23,10,18,6,16,3,21,11,19,8,13,2,24,9,17,5,15,4,22,12,20,7,14),"t24n10873"],
[(1,4)(2,3)(5,6)(9,11,10,12)(13,16,14,15)(17,18)(21,24)(22,23),
(1,23,12,17,8,13,3,21,9,20,5,16,2,24,11,18,7,14,4,22,10,19,6,15),
(1,24,9,18,7,16,4,21,12,20,5,13,2,23,10,17,8,15,3,22,11,19,6,14),"t24n10874"],
[(1,10,5)(2,9,6)(3,11,8)(4,12,7)(13,23,20)(14,24,19)(15,22,18)(16,21,17),
(1,22,10,18,8,13,4,23,12,20,6,15,2,21,9,17,7,14,3,24,11,19,5,16),"t24n10875"],
[(1,22,10,18,6,13,4,23,11,19,7,15,2,21,9,17,5,14,3,24,12,20,8,16),
(1,24,12,18,8,13,4,22,10,20,6,16,2,23,11,17,7,14,3,21,9,19,5,15),"t24n10876"],
[(1,7,10,2,8,9)(3,6,11,4,5,12)(13,19,24)(14,20,23)(15,18,21)(16,17,22),
(1,21,12,19,5,16,4,24,9,18,7,14,2,22,11,20,6,15,3,23,10,17,8,13),"t24n10877"],
[(1,8,11,3,6,9,2,7,12,4,5,10)(13,18,23,15,20,21,14,17,24,16,19,22),
(1,24,10,19,7,14,4,22,12,18,6,15,2,23,9,20,8,13,3,21,11,17,5,16),"t24n10878"],
[(1,10,7,4,11,6,2,9,8,3,12,5)(13,21,18,15,24,20,14,22,17,16,23,19),
(1,18,3,20,2,17,4,19)(5,21)(6,22)(7,24)(8,23)(9,14,10,13)(11,16,12,15),
"t24n10879"],
[(1,6,12,2,5,11)(3,7,9,4,8,10)(13,18,24)(14,17,23)(15,20,22)(16,19,21),
(1,19,2,20)(3,17,4,18)(5,21,8,23,6,22,7,24)(9,15)(10,16)(11,13)(12,14),
"t24n10880"],
[(1,21,12,18,7,15,3,24,10,20,5,14,2,22,11,17,8,16,4,23,9,19,6,13),
(1,24,11,17,7,15,4,22,10,19,5,14,2,23,12,18,8,16,3,21,9,20,6,13),"t24n10881"],
[(1,10,7,2,9,8)(3,12,6,4,11,5)(13,24,17)(14,23,18)(15,22,19)(16,21,20),
(1,14,8,20,10,23,4,16,6,18,11,21,2,13,7,19,9,24,3,15,5,17,12,22),"t24n10882"],
[(1,10,5,4,12,7,2,9,6,3,11,8)(13,19,22,15,18,23,14,20,21,16,17,24),
(1,24,4,22)(2,23,3,21)(5,16)(6,15)(7,14,8,13)(9,17,12,20,10,18,11,19),
"t24n10883"],
[(1,11,7,4,10,6)(2,12,8,3,9,5)(13,19,22,16,17,24)(14,20,21,15,18,23),
(1,16,4,14,2,15,3,13)(5,18,7,20)(6,17,8,19)(9,23,10,24)(11,22)(12,21),
"t24n10884"],
[(1,7,11,4,6,10,2,8,12,3,5,9)(13,23,19,16,22,17,14,24,20,15,21,18),
(1,14,3,15)(2,13,4,16)(5,20,8,17,6,19,7,18)(9,21,10,22)(11,24)(12,23),
"t24n10885"],
[(1,19,4,18)(2,20,3,17)(5,22,7,23,6,21,8,24)(9,15)(10,16)(11,14,12,13),
(1,23,4,21,2,24,3,22)(5,13)(6,14)(7,15,8,16)(9,17,12,19)(10,18,11,20),
"t24n10886"],
[(1,5,11,2,6,12)(3,7,10,4,8,9)(13,21,18)(14,22,17)(15,24,20)(16,23,19),
(1,15,4,14,2,16,3,13)(5,20,6,19)(7,17)(8,18)(9,22,12,24)(10,21,11,23),
(1,21)(2,22)(3,24)(4,23)(5,13)(6,14)(7,15)(8,16)(9,19,10,20)(11,18,12,17),
"t24n10887"],
[(1,11,6,3,9,7,2,12,5,4,10,8)(13,17,22,15,19,24,14,18,21,16,20,23),
(1,11,8,2,12,7)(3,10,6,4,9,5)(13,20,23)(14,19,24)(15,18,22)(16,17,21),
(1,16,4,13)(2,15,3,14)(5,17,7,19)(6,18,8,20)(9,21,10,22)(11,23,12,24),
"t24n10888"],
[(1,6,9,2,5,10)(3,8,11,4,7,12)(13,22,18)(14,21,17)(15,24,19)(16,23,20),
(1,18,4,20,2,17,3,19)(5,21,8,24,6,22,7,23)(9,15,10,16)(11,14,12,13),
(1,18,4,19,2,17,3,20)(5,23,6,24)(7,21,8,22)(9,16,11,14,10,15,12,13),
"t24n10889"],[(1,4,2,3)(5,6)(7,8)(13,16,14,15)(17,18)(19,20)(21,22)(23,24),
(1,12,6,3,9,8,2,11,5,4,10,7)(13,18,24,15,19,21,14,17,23,16,20,22),
(1,24,3,21,2,23,4,22)(5,15)(6,16)(7,14)(8,13)(9,20,12,17,10,19,11,18),
"t24n10890"],
[(1,6,10,3,7,11)(2,5,9,4,8,12)(13,23,17,15,22,20)(14,24,18,16,21,19),
(1,7,9,2,8,10)(3,5,11,4,6,12)(13,22,19)(14,21,20)(15,23,18)(16,24,17),
(1,24,4,22,2,23,3,21)(5,16,6,15)(7,14,8,13)(9,18,12,20,10,17,11,19),
"t24n10891"],
[(21,22)(23,24),(1,4)(2,3)(9,10)(19,20)(21,23)(22,24),(1,4)(2,3)(9,12)(10,11)
(13,14)(15,16)(19,20)(21,22),(1,7,11)(2,8,12)(3,6,10)(4,5,9)(13,21,18,14,22,
17)(15,23,19,16,24,20),(1,15,2,16)(3,14,4,13)(5,17,6,18)(7,20,8,19)(9,22)
(10,21)(11,24)(12,23),"t24n10892"],
[(1,14,2,13)(3,15,4,16)(5,19,8,17)(6,20,7,18)(9,22,11,24)(10,21,12,23),
(1,17)(2,18)(3,20)(4,19)(5,22)(6,21)(7,23)(8,24)(9,13,10,14)(11,16,12,15),
(1,24,4,21)(2,23,3,22)(5,14)(6,13)(7,15)(8,16)(9,19,11,17)(10,20,12,18),
"t24n10893"],
[(1,18,2,17)(3,20,4,19)(5,21,6,22)(7,24,8,23)(9,16,12,13,10,15,11,14),
(1,23)(2,24)(3,21,4,22)(5,16,8,14)(6,15,7,13)(9,18,10,17)(11,19,12,20),
"t24n10894"],
[(1,12,5,3,10,8,2,11,6,4,9,7)(13,18,22,15,19,24,14,17,21,16,20,23),
(1,13)(2,14)(3,16,4,15)(5,20,6,19)(7,18)(8,17)(9,21,12,24,10,22,11,23),
"t24n10895"],
[(1,12,5,4,10,8,2,11,6,3,9,7)(13,19,21,16,17,24,14,20,22,15,18,23),
(1,13,3,15,2,14,4,16)(5,20,6,19)(7,17)(8,18)(9,23)(10,24)(11,22,12,21),
(1,18,3,19,2,17,4,20)(5,23,7,21,6,24,8,22)(9,15,12,13,10,16,11,14),"t24n10896"
],
[(1,2)(3,4)(5,6)(9,10)(13,15)(14,16)(21,24)(22,23),(1,10,8,4,11,6)(2,9,7,3,
12,5)(13,19,23,15,17,21)(14,20,24,16,18,22),(1,14,4,15)(2,13,3,16)(5,18,8,19)
(6,17,7,20)(9,21,11,24)(10,22,12,23),"t24n10897"],
[(1,8,9,2,7,10)(3,6,11,4,5,12)(13,21,19)(14,22,20)(15,24,18)(16,23,17),
(1,20,3,18,2,19,4,17)(5,23,6,24)(7,21,8,22)(9,14,10,13)(11,15)(12,16),
"t24n10898"],
[(1,7,12,3,5,10)(2,8,11,4,6,9)(13,23,17,16,22,20)(14,24,18,15,21,19),
(1,16,2,15)(3,14,4,13)(5,19)(6,20)(7,18)(8,17)(9,22,11,24)(10,21,12,23),
"t24n10899"],
[(1,11,6,2,12,5)(3,10,7,4,9,8)(13,20,21)(14,19,22)(15,17,24)(16,18,23),
(1,21,3,23)(2,22,4,24)(5,14,8,16)(6,13,7,15)(9,20,12,17)(10,19,11,18),
(1,24,3,22)(2,23,4,21)(5,14,8,15)(6,13,7,16)(9,18,12,20)(10,17,11,19),
"t24n10900"],
[(1,16)(2,15)(3,13,4,14)(5,18)(6,17)(7,20,8,19)(9,24,11,21)(10,23,12,22),
(1,23,4,22)(2,24,3,21)(5,13)(6,14)(7,16,8,15)(9,18)(10,17)(11,19,12,20),
"t24n10901"],
[(1,6,12,4,7,10,2,5,11,3,8,9)(13,23,18,15,21,19,14,24,17,16,22,20),
(1,16,4,14)(2,15,3,13)(5,17,6,18)(7,20,8,19)(9,22,10,21)(11,24)(12,23),
(1,16,4,14)(2,15,3,13)(5,20,6,19)(7,18,8,17)(9,21)(10,22)(11,23,12,24),
"t24n10902"],
[(1,5,9)(2,6,10)(3,8,11)(4,7,12)(13,22,18)(14,21,17)(15,24,19)(16,23,20),
(1,24,2,23)(3,22,4,21)(5,15)(6,16)(7,14,8,13)(9,20,12,18)(10,19,11,17),
"t24n10903"],
[(1,16,2,15)(3,13,4,14)(5,18,7,19,6,17,8,20)(9,24,10,23)(11,21,12,22),
(1,24,2,23)(3,21,4,22)(5,13)(6,14)(7,15)(8,16)(9,19,11,17,10,20,12,18),
"t24n10904"],[(21,22)(23,24),(1,9,3,11)(2,10,4,12)(13,20,16,17)(14,19,15,18),
(1,15,8,19,11,23,2,16,7,20,12,24)(3,14,5,17,10,21,4,13,6,18,9,22),"t24n10905"]
,[(1,4,2,3)(5,9)(6,10)(7,11)(8,12)(13,23,15,21,14,24,16,22),
(1,9,6)(2,10,5)(3,12,7)(4,11,8)(13,22,19,14,21,20)(15,23,18,16,24,17),
(1,23,11,18,8,14,2,24,12,17,7,13)(3,21,9,20,6,16,4,22,10,19,5,15),"t24n10906"]
,
[(1,5,3,8,2,6,4,7)(17,22,20,24,18,21,19,23),(1,6,10,2,5,9)(3,7,12,4,8,11)
(13,20,23)(14,19,24)(15,18,22)(16,17,21),
(1,18,2,17)(3,19,4,20)(5,24,8,22,6,23,7,21)(9,14,11,15,10,13,12,16),
"t24n10907"],
[(1,3,2,4)(5,9,6,10)(7,12,8,11)(13,23,14,24)(15,21,16,22)(17,19,18,20),
(1,5,12,2,6,11)(3,8,9,4,7,10)(13,19,24)(14,20,23)(15,18,21)(16,17,22),
(1,15,4,14)(2,16,3,13)(5,22,8,23)(6,21,7,24)(9,20)(10,19)(11,18)(12,17),
"t24n10908"],
[(21,22)(23,24),(1,9,3,11)(2,10,4,12)(7,8)(13,20,16,17)(14,19,15,18)(23,24),
(1,15,7,20,12,23,2,16,8,19,11,24)(3,14,5,17,10,21,4,13,6,18,9,22),"t24n10909"]
,[(1,7,3,5)(2,8,4,6)(9,10)(11,12)(13,16,14,15)(17,23,18,24)(19,21)(20,22),
(1,10)(2,9)(3,12,4,11)(5,7,6,8)(13,17,16,20)(14,18,15,19)(21,22)(23,24),
(1,14,3,15)(2,13,4,16)(5,23,7,22,6,24,8,21)(9,20)(10,19)(11,18,12,17),
"t24n10910"],
[(1,6,3,7,2,5,4,8)(11,12)(13,16)(14,15)(17,22,18,21)(19,23,20,24),
(1,13,8,18,10,22,2,14,7,17,9,21)(3,15,5,19,12,23,4,16,6,20,11,24),
(1,23,11,20,6,14)(2,24,12,19,5,13)(3,21,10,18,8,16)(4,22,9,17,7,15),
"t24n10911"],
[(1,13,2,14)(3,15,4,16)(5,24,6,23)(7,21,8,22)(9,18)(10,17)(11,20)(12,19),
(1,13,8,17,12,24)(2,14,7,18,11,23)(3,16,6,19,9,21)(4,15,5,20,10,22),
(1,23,10,19,6,15,2,24,9,20,5,16)(3,22,12,17,8,13,4,21,11,18,7,14),"t24n10912"]
,[(1,9,5,2,10,6)(3,11,7,4,12,8)(13,22,18)(14,21,17)(15,23,19)(16,24,20),
(1,9)(2,10)(3,11)(4,12)(13,20,14,19)(15,18,16,17)(21,22)(23,24),
(1,21)(2,22)(3,24)(4,23)(5,18,7,19,6,17,8,20)(9,15,12,13,10,16,11,14),
"t24n10913"],
[(1,2)(5,12)(6,11)(7,10,8,9)(13,23,15,21)(14,24,16,22)(17,20)(18,19),
(1,10,5)(2,9,6)(3,12,7)(4,11,8)(13,21,20,14,22,19)(15,24,18,16,23,17),
(1,15,3,13,2,16,4,14)(5,22,6,21)(7,23,8,24)(9,17,11,19,10,18,12,20),
"t24n10914"],
[(1,12,5)(2,11,6)(3,9,7)(4,10,8)(13,21,20,14,22,19)(15,23,17,16,24,18),
(1,13,8,20,11,22)(2,14,7,19,12,21)(3,15,5,17,10,23)(4,16,6,18,9,24),
(1,16,2,15)(3,13,4,14)(5,23,6,24)(7,22,8,21)(9,20)(10,19)(11,17)(12,18),
"t24n10915"],
[(1,3)(2,4)(5,10,7,11,6,9,8,12)(13,21,15,23,14,22,16,24)(17,19)(18,20),
(1,5,2,6)(3,7,4,8)(11,12)(13,15)(14,16)(17,22,19,24,18,21,20,23),
(1,16,8,20,10,21,2,15,7,19,9,22)(3,13,6,17,11,24,4,14,5,18,12,23),"t24n10916"]
,
[(3,4)(11,12)(13,15)(14,16)(17,20)(18,19)(21,22)(23,24),(1,6,3,8)(2,5,4,7)(9,12,
10,11)(13,14)(15,16)(17,24,18,23)(19,21)(20,22),
(1,18,4,19,2,17,3,20)(5,16,7,14)(6,15,8,13)(9,21)(10,22)(11,24,12,23),
"t24n10917"],
[(1,11,3,10)(2,12,4,9)(5,8,6,7)(13,17,14,18)(15,20,16,19)(21,22),
(1,15)(2,16)(3,13)(4,14)(5,22)(6,21)(7,23)(8,24)(9,18)(10,17)(11,20)(12,19),
(1,21,2,22)(3,24,4,23)(5,17,7,19)(6,18,8,20)(9,15,11,13)(10,16,12,14),
"t24n10918"],
[(1,17,2,18)(3,20,4,19)(5,22,6,21)(7,23,8,24)(9,10)(13,16)(14,15),
(1,22,11,3,24,9)(2,21,12,4,23,10)(5,18,13)(6,17,14)(7,20,15,8,19,16),
(1,23,8,17,2,24,7,18)(3,22,6,20,4,21,5,19)(9,16,12,13,10,15,11,14),"t24n10919"
],[(1,12,5,15,2,11,6,16)(3,9,7,14,4,10,8,13)(17,23,20,22)(18,24,19,21),
(1,16,18,2,15,17)(3,14,19,4,13,20)(5,9,23,6,10,24)(7,11,21,8,12,22),
(1,19,15,3,17,13,2,20,16,4,18,14)(5,23,9)(6,24,10)(7,22,11,8,21,12),
"t24n10920"],
[(1,6,2,5)(3,7,4,8)(9,22,15,20)(10,21,16,19)(11,24,14,18)(12,23,13,17),
(1,10,24,4,12,21,2,9,23,3,11,22)(5,14,17)(6,13,18)(7,16,20)(8,15,19),
(1,12,18)(2,11,17)(3,10,20)(4,9,19)(5,16,24,7,13,21,6,15,23,8,14,22),
"t24n10921"],
[(1,12,2,11)(3,10,4,9)(5,15,6,16)(7,13,8,14)(17,18)(19,20)(21,23)(22,24),
(1,15,20,3,13,18)(2,16,19,4,14,17)(5,11,22)(6,12,21)(7,10,24,8,9,23),
(1,23)(2,24)(3,21)(4,22)(5,19,6,20)(7,17,8,18)(9,12)(10,11),"t24n10922"],
[(1,12,20)(2,11,19)(3,10,17)(4,9,18)(5,13,21)(6,14,22)(7,15,24)(8,16,23),
(1,13,4,16)(2,14,3,15)(5,10,8,12)(6,9,7,11)(19,20)(21,24)(22,23),
(1,24,11,4,21,9,2,23,12,3,22,10)(5,19,13)(6,20,14)(7,17,16,8,18,15),
"t24n10923"],
[(3,4)(5,7,6,8)(9,14,11,15)(10,13,12,16)(17,21,19,23)(18,22,20,24),
(1,8,2,7)(3,6)(4,5)(9,18,13,22)(10,17,14,21)(11,19,16,23)(12,20,15,24),
(1,21,16)(2,22,15)(3,23,14)(4,24,13)(5,20,10,6,19,9)(7,18,12,8,17,11),
"t24n10924"],
[(1,9,6,16)(2,10,5,15)(3,12,8,14)(4,11,7,13)(17,24)(18,23)(19,21,20,22),
(1,11,17,2,12,18)(3,9,19,4,10,20)(5,15,24,7,14,22,6,16,23,8,13,21),"t24n10925"
],[(1,17,13,4,20,16)(2,18,14,3,19,15)(5,21,11)(6,22,12)(7,23,10,8,24,9),
(1,21,8,19,2,22,7,20)(3,23,6,18,4,24,5,17)(9,15,12,14)(10,16,11,13),
"t24n10926"],
[(1,9,22,4,11,23,2,10,21,3,12,24)(5,13,19,6,14,20)(7,15,18)(8,16,17),
(1,14,6,9)(2,13,5,10)(3,16,7,12)(4,15,8,11)(17,21,19,23,18,22,20,24),
"t24n10927"],
[(1,12,7,13,2,11,8,14)(3,10,6,16,4,9,5,15)(17,21,20,24,18,22,19,23),
(1,13,24)(2,14,23)(3,15,21)(4,16,22)(5,10,18,7,11,20)(6,9,17,8,12,19),
"t24n10928"],
[(1,17,8,23)(2,18,7,24)(3,20,6,21)(4,19,5,22)(9,13,11,16)(10,14,12,15),
(1,20,12,2,19,11)(3,17,9,4,18,10)(5,24,13,7,21,15,6,23,14,8,22,16),"t24n10929"
],[(1,6)(2,5)(3,8)(4,7)(9,23,15,17,10,24,16,18)(11,21,13,20,12,22,14,19),
(1,24,2,23)(3,22,4,21)(5,18)(6,17)(7,20)(8,19)(9,10)(13,14),
(1,24,13,2,23,14)(3,22,16)(4,21,15)(5,20,11,8,18,10)(6,19,12,7,17,9),
"t24n10930"],
[(1,5)(2,6)(3,8)(4,7)(9,22,16,20)(10,21,15,19)(11,23,13,17)(12,24,14,18),
(1,17,11,2,18,12)(3,19,10)(4,20,9)(5,22,14,8,23,15,6,21,13,7,24,16),
"t24n10931"],
[(1,5,2,6)(3,8,4,7)(9,18,16,24,10,17,15,23)(11,19,13,21,12,20,14,22),
(1,9,20)(2,10,19)(3,12,17)(4,11,18)(5,14,21,7,16,24)(6,13,22,8,15,23),
"t24n10932"],
[(1,6,2,5)(3,8,4,7)(9,21,16,20,10,22,15,19)(11,24,14,18,12,23,13,17),
(1,11,19)(2,12,20)(3,10,18)(4,9,17)(5,15,22,7,14,23,6,16,21,8,13,24),
"t24n10933"],
[(1,11,21)(2,12,22)(3,9,24)(4,10,23)(5,14,20,6,13,19)(7,16,18,8,15,17),
(1,19,2,20)(3,17,4,18)(5,23,6,24)(7,21,8,22)(9,12)(10,11)(13,14),
(1,23,9,4,21,11)(2,24,10,3,22,12)(5,20,16,6,19,15)(7,17,13)(8,18,14),
"t24n10934"],
[(1,4)(2,3)(7,8)(9,21,11,24,10,22,12,23)(13,19,16,17,14,20,15,18),
(1,16,6,11,2,15,5,12)(3,13,7,10,4,14,8,9)(17,24,19,21,18,23,20,22),
(1,18,16,4,19,13,2,17,15,3,20,14)(5,21,10,6,22,9)(7,23,12,8,24,11),"t24n10935"
],[(1,3,2,4)(5,7)(6,8)(9,19,10,20)(11,17,12,18)(13,23,14,24)(15,22,16,21),
(1,19,3,17,2,20,4,18)(5,24,7,22,6,23,8,21)(9,10)(13,15,14,16),
(1,24,6,18)(2,23,5,17)(3,21,7,19)(4,22,8,20)(9,13,10,14)(11,16)(12,15),
"t24n10936"],
[(1,9,24,3,11,21,2,10,23,4,12,22)(5,13,17)(6,14,18)(7,16,20)(8,15,19),
(1,23,5,19)(2,24,6,20)(3,21,8,18)(4,22,7,17)(9,16,11,13)(10,15,12,14),
"t24n10937"],
[(1,5,3,8,2,6,4,7)(9,19,13,22,10,20,14,21)(11,18,15,24,12,17,16,23),
(1,20,9)(2,19,10)(3,18,11,4,17,12)(5,24,15,8,21,14,6,23,16,7,22,13),
"t24n10938"],
[(1,12,2,11)(3,9,4,10)(5,14,6,13)(7,16,8,15)(17,20,18,19)(21,23)(22,24),
(1,21,7,20,2,22,8,19)(3,24,6,17,4,23,5,18)(9,13,11,16,10,14,12,15),"t24n10939"
],[(1,15,18,4,14,20,2,16,17,3,13,19)(5,12,23,6,11,24)(7,10,21)(8,9,22),
(1,23,6,18)(2,24,5,17)(3,22,7,19)(4,21,8,20)(9,14,10,13)(11,15,12,16),
"t24n10940"],
[(1,6,3,8)(2,5,4,7)(9,21,15,17,10,22,16,18)(11,23,14,19,12,24,13,20),
(1,10,4,12)(2,9,3,11)(5,15,8,13)(6,16,7,14)(19,20)(21,22),
(1,18,12,2,17,11)(3,19,10,4,20,9)(5,23,14)(6,24,13)(7,21,16)(8,22,15),
"t24n10941"],
[(1,4,2,3)(7,8)(9,17,10,18)(11,20,12,19)(13,24,14,23)(15,21,16,22),
(1,20,7,24)(2,19,8,23)(3,17,6,21)(4,18,5,22)(9,15)(10,16)(11,14,12,13),
"t24n10942"],
[(1,14,6,10)(2,13,5,9)(3,15,7,12)(4,16,8,11)(17,23,19,21)(18,24,20,22),
(1,21,4,24,2,22,3,23)(5,19,8,17,6,20,7,18)(9,10)(13,14)(15,16),
(1,21,11,3,24,10,2,22,12,4,23,9)(5,18,13)(6,17,14)(7,20,16)(8,19,15),
"t24n10943"],
[(1,2)(3,4)(5,8,6,7)(9,20,11,18,10,19,12,17)(13,21,16,24,14,22,15,23),
(1,18,3,19,2,17,4,20)(5,24,7,22,6,23,8,21)(9,10)(15,16),
(1,18,6,22,2,17,5,21)(3,20,8,24,4,19,7,23)(9,13,12,15,10,14,11,16),"t24n10944"
],[(1,10,8,14,2,9,7,13)(3,11,5,16,4,12,6,15)(17,24)(18,23)(19,21)(20,22),
(1,20,10,2,19,9)(3,17,11,4,18,12)(5,24,15,8,22,13,6,23,16,7,21,14),"t24n10945"
],[(1,11,6,13,2,12,5,14)(3,10,8,16,4,9,7,15)(17,22)(18,21)(19,24)(20,23),
(1,12,22,4,10,23,2,11,21,3,9,24)(5,16,19)(6,15,20)(7,13,18,8,14,17),
"t24n10946"],
[(1,5,4,7,2,6,3,8)(9,19,13,22,10,20,14,21)(11,17,16,24,12,18,15,23),
(1,15,23,2,16,24)(3,14,21)(4,13,22)(5,11,17,7,10,19,6,12,18,8,9,20),
"t24n10947"],[(1,5)(2,6)(3,8)(4,7)(9,15,10,16)(11,13,12,14)(19,20)(23,24),
(1,9,22,4,11,24)(2,10,21,3,12,23)(5,13,20)(6,14,19)(7,16,17)(8,15,18),
(1,13,5,10)(2,14,6,9)(3,16,8,11)(4,15,7,12)(17,24,20,21,18,23,19,22),
"t24n10948"],[(1,2)(3,4)(9,19,12,17,10,20,11,18)(13,23,15,22,14,24,16,21),
(1,12,17,8,14,21,2,11,18,7,13,22)(3,10,20,6,15,24,4,9,19,5,16,23),
(1,14,24)(2,13,23)(3,15,22)(4,16,21)(5,9,19,6,10,20)(7,11,18,8,12,17),
"t24n10949"],[(3,4)(7,8)(9,22,12,23,10,21,11,24)(13,20,15,17,14,19,16,18),
(1,16,3,14,2,15,4,13)(5,11,8,10,6,12,7,9)(17,18)(21,22),
(1,23,9,5,17,16,2,24,10,6,18,15)(3,21,11,7,20,13,4,22,12,8,19,14),"t24n10950"]
,[(1,7,4,5)(2,8,3,6)(9,16,12,13)(10,15,11,14)(17,18)(19,20)(21,22)(23,24),
(1,12,5,13,4,10,7,15)(2,11,6,14,3,9,8,16)(17,23,19,22)(18,24,20,21),
(1,18,6,21,3,19,7,23)(2,17,5,22,4,20,8,24)(9,10)(13,16,14,15),"t24n10951"],
[(1,13,6,10,3,16,8,11)(2,14,5,9,4,15,7,12)(17,24,19,22)(18,23,20,21),
(1,15,5,9,4,14,8,12)(2,16,6,10,3,13,7,11)(17,19)(18,20),
(1,17,5,21,4,20,8,23)(2,18,6,22,3,19,7,24)(9,10)(11,12)(13,15)(14,16),
"t24n10952"],[(1,11,4,10)(2,12,3,9)(5,14,7,15)(6,13,8,16)(19,20)(21,22),
(1,12,3,10)(2,11,4,9)(5,16,7,13)(6,15,8,14)(17,22,18,21)(19,23,20,24),
(1,24,8,17,3,21,5,20)(2,23,7,18,4,22,6,19)(9,13,11,16)(10,14,12,15),
"t24n10953"],
[(1,10,7,13,3,12,5,15,2,9,8,14,4,11,6,16)(17,22,19,24,18,21,20,23),
(1,16,4,13,2,15,3,14)(5,10,7,12,6,9,8,11)(17,23,18,24)(19,21,20,22),
(1,24,10)(2,23,9)(3,21,11)(4,22,12)(5,20,16,6,19,15)(7,17,13,8,18,14),
"t24n10954"],[(1,2)(5,7)(6,8)(9,13,10,14)(11,16,12,15)(17,18)(21,23)(22,24),
(1,4)(2,3)(5,6)(9,18,14,24,11,20,16,22,10,17,13,23,12,19,15,21),
(1,12,6,16,4,9,7,13,2,11,5,15,3,10,8,14)(17,18)(21,23)(22,24),"t24n10955"],
[(1,4,2,3)(5,8,6,7)(9,24,11,21,10,23,12,22)(13,20,15,18,14,19,16,17),
(1,11,22,2,12,21)(3,9,23,4,10,24)(5,16,17)(6,15,18)(7,13,20)(8,14,19),
(1,12,24,5,14,20,2,11,23,6,13,19)(3,10,22,8,15,17,4,9,21,7,16,18),"t24n10956"]
,[(1,10,22,6,16,17,2,9,21,5,15,18)(3,11,24,8,13,19,4,12,23,7,14,20),
(1,18,5,24,4,19,7,21,2,17,6,23,3,20,8,22)(9,16,12,13,10,15,11,14),
(1,24,6,20,3,22,7,17,2,23,5,19,4,21,8,18)(9,16,11,14,10,15,12,13),"t24n10957"]
,[(1,11,23)(2,12,24)(3,10,21)(4,9,22)(5,16,19,6,15,20)(7,13,17,8,14,18),
(1,19,3,18)(2,20,4,17)(5,24,8,22)(6,23,7,21)(9,14)(10,13)(11,15)(12,16),
(1,22,12,5,19,15,2,21,11,6,20,16)(3,23,9,8,17,13,4,24,10,7,18,14),"t24n10958"]
,[(1,2)(3,4)(5,7)(6,8)(9,10)(11,12)(13,16)(14,15)(17,21)(18,22)(19,23)(20,24),
(1,17,5,21,3,19,7,23)(2,18,6,22,4,20,8,24)(9,11,10,12)(13,14),
(1,18,13,6,21,12)(2,17,14,5,22,11)(3,19,15,8,24,10)(4,20,16,7,23,9),
"t24n10959"],[(1,6,2,5)(3,8,4,7)(9,10)(13,16)(14,15)(17,19)(18,20)(21,22),
(1,13,18)(2,14,17)(3,15,20)(4,16,19)(5,12,24,6,11,23)(7,10,21,8,9,22),
(1,19,8,24,3,18,6,22,2,20,7,23,4,17,5,21)(9,13,12,16,10,14,11,15),"t24n10960"]
,[(1,11,21,5,13,18,2,12,22,6,14,17)(3,9,23,8,16,19,4,10,24,7,15,20),
(1,17)(2,18)(3,19)(4,20)(5,23)(6,24)(7,22)(8,21)(11,12)(15,16),
(1,21,14,8,17,9)(2,22,13,7,18,10)(3,23,15,6,20,12)(4,24,16,5,19,11),
"t24n10961"],
[(1,5,4,7)(2,6,3,8)(9,19,15,23,11,18,13,22)(10,20,16,24,12,17,14,21),
(1,20,15,5,23,9)(2,19,16,6,24,10)(3,18,14,8,22,11)(4,17,13,7,21,12),
(1,22,2,21)(3,23,4,24)(5,20,6,19)(7,17,8,18)(9,14,10,13)(11,16,12,15),
"t24n10962"],
[(1,8,4,5,2,7,3,6)(9,14,11,15,10,13,12,16)(17,20,18,19)(21,24,22,23),
(1,21,3,23,2,22,4,24)(5,19,7,17,6,20,8,18)(9,10)(13,15)(14,16),
(1,23,11,3,22,10)(2,24,12,4,21,9)(5,18,14)(6,17,13)(7,19,16,8,20,15),
"t24n10963"],
[(1,7)(2,8)(3,5)(4,6)(9,21,13,17,11,24,16,20,10,22,14,18,12,23,15,19),
(1,22,2,21)(3,23,4,24)(5,18)(6,17)(7,20)(8,19)(9,10)(11,12)(13,14)(15,16),
"t24n10964"],
[(1,11,2,12)(3,9,4,10)(5,15)(6,16)(7,14)(8,13)(19,20)(21,23,22,24),
(1,22,15)(2,21,16)(3,24,14,4,23,13)(5,19,12,7,17,10,6,20,11,8,18,9),
"t24n10965"],
[(1,15,22)(2,16,21)(3,14,23,4,13,24)(5,9,18,7,11,19)(6,10,17,8,12,20),
(1,17,7,22,4,19,6,24,2,18,8,21,3,20,5,23)(9,16,11,13)(10,15,12,14),"t24n10966"
],[(1,13,6,12,3,16,8,9,2,14,5,11,4,15,7,10)(17,23,18,24)(19,22)(20,21),
(1,21,3,23,2,22,4,24)(5,17,8,19,6,18,7,20)(9,11,10,12)(13,15)(14,16),
"t24n10967"],[(1,3)(2,4)(9,16)(10,15)(11,14)(12,13)(17,23,18,24)(19,22,20,21),
(1,5)(2,6)(3,8,4,7)(9,24,16,18,12,21,14,19)(10,23,15,17,11,22,13,20),
(1,15,6,12,4,13,7,10)(2,16,5,11,3,14,8,9)(17,21,20,23,18,22,19,24),"t24n10968"
],[(1,15,20,3,13,17)(2,16,19,4,14,18)(5,9,22)(6,10,21)(7,12,24)(8,11,23),
(1,19,8,22,4,18,6,24)(2,20,7,21,3,17,5,23)(9,16)(10,15)(11,13,12,14),
"t24n10969"],
[(1,21,5,20,3,23,8,18)(2,22,6,19,4,24,7,17)(9,15,10,16)(11,14)(12,13),
(1,24,13)(2,23,14)(3,21,16,4,22,15)(5,17,10,8,19,12,6,18,9,7,20,11),
"t24n10970"],
[(1,18,14,3,19,16)(2,17,13,4,20,15)(5,21,9,6,22,10)(7,24,11,8,23,12),
(1,24,4,21)(2,23,3,22)(5,17,8,19)(6,18,7,20)(11,12)(13,16)(14,15),"t24n10971"],
[(1,3,2,4)(7,8)(9,24)(10,23)(11,22)(12,21)(13,19)(14,20)(15,18)(16,17),
(1,13,21)(2,14,22)(3,15,23,4,16,24)(5,12,18,7,10,19)(6,11,17,8,9,20),
"t24n10972"],
[(1,3)(2,4)(5,6)(9,14)(10,13)(11,15)(12,16)(17,22,18,21)(19,24,20,23),
(1,11,24,4,9,21,2,12,23,3,10,22)(5,15,19)(6,16,20)(7,13,18)(8,14,17),
(1,22,7,19,4,24,6,17,2,21,8,20,3,23,5,18)(9,16,12,13)(10,15,11,14),"t24n10973"
],[(1,8,3,6)(2,7,4,5)(9,20,16,22,11,17,13,23)(10,19,15,21,12,18,14,24),
(1,20,9)(2,19,10)(3,17,11,4,18,12)(5,23,15,8,22,14,6,24,16,7,21,13),
"t24n10974"],
[(1,3,2,4)(5,6)(9,19,11,18)(10,20,12,17)(13,22,16,23)(14,21,15,24),
(1,16,6,11,3,14,7,10)(2,15,5,12,4,13,8,9)(17,22,19,23)(18,21,20,24),
"t24n10975"],
[(1,15,20,3,14,18)(2,16,19,4,13,17)(5,10,22,6,9,21)(7,11,23)(8,12,24),
(1,24,6,18,3,21,7,19,2,23,5,17,4,22,8,20)(9,15)(10,16)(11,14)(12,13),
"t24n10976"],
[(1,12,4,10,2,11,3,9)(5,16,7,14,6,15,8,13)(17,19)(18,20)(21,22),
(1,21,13)(2,22,14)(3,23,16)(4,24,15)(5,19,10,7,18,12,6,20,9,8,17,11),
"t24n10977"],
[(9,14,12,15,10,13,11,16)(17,23,19,21,18,24,20,22),(1,7)(2,8)(3,6)(4,5)
(9,22,16,20,11,23,13,17,10,21,15,19,12,24,14,18),(1,23,2,24)(3,21,4,22)(5,19)
(6,20)(7,17)(8,18)(9,12,10,11)(13,16,14,15),"t24n10978"],
[(3,4)(5,6)(9,23,12,22,10,24,11,21)(13,17,15,19,14,18,16,20),
(1,10,5,14,4,11,7,15,2,9,6,13,3,12,8,16)(17,24,18,23)(19,21,20,22),"t24n10979"
],[(1,13,3,16,2,14,4,15)(5,10,7,11,6,9,8,12)(19,20)(21,22)(23,24),
(1,24,10,3,22,12)(2,23,9,4,21,11)(5,18,16,6,17,15)(7,20,14)(8,19,13),
"t24n10980"],[(1,4,2,3)(5,6)(9,23,12,21,10,24,11,22)(13,19,15,17,14,20,16,18),
(1,16,6,12,3,14,8,10,2,15,5,11,4,13,7,9)(17,24,20,21)(18,23,19,22),"t24n10981"
],[(1,14,7,9,3,16,6,11)(2,13,8,10,4,15,5,12)(17,23)(18,24)(19,21,20,22),
(1,18,15,4,20,13,2,17,16,3,19,14)(5,21,11,6,22,12)(7,23,10)(8,24,9),
"t24n10982"],
[(1,4)(2,3)(5,7,6,8)(9,22)(10,21)(11,23)(12,24)(13,20,14,19)(15,17,16,18),
(1,12,7,13,4,9,5,16)(2,11,8,14,3,10,6,15)(17,21)(18,22)(19,24,20,23),
"t24n10983"],
[(1,11,2,12)(3,10,4,9)(5,16)(6,15)(7,13)(8,14)(17,19,18,20)(21,22),
(1,21,8,20,4,23,5,18)(2,22,7,19,3,24,6,17)(9,13,12,16)(10,14,11,15),
"t24n10984"],
[(1,10,18,2,9,17)(3,12,19,4,11,20)(5,14,24,7,16,21)(6,13,23,8,15,22),
(1,23,6,19,4,22,7,18)(2,24,5,20,3,21,8,17)(9,15,11,14)(10,16,12,13),
"t24n10985"],
[(1,6,3,8)(2,5,4,7)(9,18,15,23,12,20,13,21,10,17,16,24,11,19,14,22),
(1,16,20,4,14,17)(2,15,19,3,13,18)(5,10,21)(6,9,22)(7,11,23,8,12,24),
"t24n10986"],
[(1,9,4,11,2,10,3,12)(5,15,8,14,6,16,7,13)(17,18)(19,20)(21,22),
(1,18,3,20,2,17,4,19)(5,23,8,21,6,24,7,22)(15,16),
(1,23)(2,24)(3,22)(4,21)(5,17,6,18)(7,19,8,20)(11,12)(13,16,14,15),"t24n10987"]
,[(1,7,3,5,2,8,4,6)(9,17,13,22,12,20,15,23,10,18,14,21,11,19,16,24),
(1,18)(2,17)(3,20)(4,19)(5,22)(6,21)(7,24)(8,23)(9,12,10,11),"t24n10988"],
[(1,8,3,5,2,7,4,6)(9,21,14,19,12,23,16,18,10,22,13,20,11,24,15,17),
(1,15,4,13,2,16,3,14)(5,9,7,12,6,10,8,11)(17,19,18,20),"t24n10989"],
[(5,8)(6,7)(9,21)(10,22)(11,23)(12,24)(13,18)(14,17)(15,20)(16,19),
(1,24,13)(2,23,14)(3,21,16,4,22,15)(5,18,9,7,19,12,6,17,10,8,20,11),
"t24n10990"],
[(1,5,4,8,2,6,3,7)(9,22,16,18,11,23,14,19)(10,21,15,17,12,24,13,20),
(1,20,7,21,3,18,6,24)(2,19,8,22,4,17,5,23)(9,14,10,13)(11,15)(12,16),
"t24n10991"],
[(1,12,6,14,3,9,8,16)(2,11,5,13,4,10,7,15)(17,24,19,21,18,23,20,22),
(1,23,2,24)(3,21,4,22)(5,18)(6,17)(7,20)(8,19)(11,12)(13,15)(14,16),"t24n10992"
],[(1,5,10,2,6,9)(3,7,12,4,8,11)(13,24,17,14,23,18)(15,21,19,16,22,20),
(1,15,11,19,6,23)(2,16,12,20,5,24)(3,14,9,17,8,22,4,13,10,18,7,21),
(1,21,5,19,12,14,2,22,6,20,11,13)(3,23,8,17,10,16,4,24,7,18,9,15),"t24n10993"]
,
[(1,4,2,3)(5,6)(9,12,10,11)(19,20)(23,24),(1,14,12,17,8,21)(2,13,11,18,7,22)(3,
15,9,19,6,23)(4,16,10,20,5,24),"t24n10994"],
[(1,16,9,17,7,22,2,15,10,18,8,21)(3,13,12,19,5,23)(4,14,11,20,6,24),
(1,16,12,20,7,22)(2,15,11,19,8,21)(3,13,9,18,5,23)(4,14,10,17,6,24),
(1,24,8,19,9,15)(2,23,7,20,10,16)(3,21,6,18,11,13)(4,22,5,17,12,14),
"t24n10995"],[(1,4,2,3)(7,8)(9,12,10,11)(13,15)(14,16)(21,23)(22,24),
(1,21,8,19,9,13)(2,22,7,20,10,14)(3,23,5,18,12,16,4,24,6,17,11,15),"t24n10996"
],
[(5,8,6,7)(9,11,10,12)(15,16)(21,22),(1,10,6,2,9,5)(3,11,8)(4,12,7)(13,20,24,
14,19,23)(15,17,22,16,18,21),(1,23,6,19,9,13)(2,24,5,20,10,14)(3,22,7,18,11,
16,4,21,8,17,12,15),"t24n10997"],
[(1,10,6,2,9,5)(3,11,7)(4,12,8)(13,20,23,14,19,24)(15,18,21,16,17,22),
(1,14,9,19,7,21,2,13,10,20,8,22)(3,16,11,17,5,24,4,15,12,18,6,23),"t24n10998"]
,[(3,4)(5,8)(6,7)(9,11,10,12)(13,16)(14,15)(17,18)(21,24,22,23),
(1,16)(2,15)(3,14)(4,13)(5,23,7,21,6,24,8,22)(9,17,12,20,10,18,11,19),
(1,22,3,23)(2,21,4,24)(5,18)(6,17)(7,20,8,19)(9,14,11,16)(10,13,12,15),
"t24n10999"],
[(1,10,6,2,9,5)(3,12,7)(4,11,8)(13,22,20,14,21,19)(15,24,18,16,23,17),
(1,23,2,24)(3,21,4,22)(5,17,7,20)(6,18,8,19)(9,16,12,13,10,15,11,14),
"t24n11000"],
[(1,14,3,16)(2,13,4,15)(5,22,7,24)(6,21,8,23)(9,17,10,18)(11,19)(12,20),
(1,20,3,17,2,19,4,18)(5,16,7,14,6,15,8,13)(9,22,10,21)(11,23,12,24),
"t24n11001"],[(1,4)(2,3)(5,6)(9,12)(10,11)(13,16,14,15)(21,24,22,23),
(1,20,4,18)(2,19,3,17)(5,14)(6,13)(7,15,8,16)(9,24,11,22)(10,23,12,21),
(1,24,2,23)(3,22)(4,21)(5,18,6,17)(7,19)(8,20)(9,15)(10,16)(11,14,12,13),
"t24n11002"],
[(17,18)(19,20)(21,22)(23,24),(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16)
(17,18)(19,20)(21,22)(23,24),(1,12,7)(2,11,8)(3,9,5)(4,10,6)(13,17,24,14,18,
23)(15,19,21)(16,20,22),(1,20,2,19)(3,17,4,18)(5,13,7,15)(6,14,8,16)
(9,23,11,21)(10,24,12,22),"t24n11003"],
[(1,10,8)(2,9,7)(3,11,6,4,12,5)(13,18,21,14,17,22)(15,19,23,16,20,24),
(1,17,3,20,2,18,4,19)(5,13)(6,14)(7,16,8,15)(9,21,11,23,10,22,12,24),
"t24n11004"],
[(1,9,5,2,10,6)(3,12,7,4,11,8)(13,22,18,14,21,17)(15,23,20)(16,24,19),
(1,22,2,21)(3,24)(4,23)(5,17,8,19,6,18,7,20)(9,13,12,16,10,14,11,15),
"t24n11005"],
[(1,15,4,13,2,16,3,14)(5,24,7,21,6,23,8,22)(9,18)(10,17)(11,19,12,20),
(1,17,3,19)(2,18,4,20)(5,13,8,16)(6,14,7,15)(9,22)(10,21)(11,24)(12,23),
"t24n11006"],
[(1,13,2,14)(3,15)(4,16)(5,24,8,22,6,23,7,21)(9,19,12,18)(10,20,11,17),
(1,19,3,18,2,20,4,17)(5,15)(6,16)(7,14,8,13)(9,22,12,23,10,21,11,24),
"t24n11007"],
[(1,6,11,2,5,12)(3,7,9)(4,8,10)(13,17,24)(14,18,23)(15,19,22)(16,20,21),
(1,19,3,18,2,20,4,17)(5,16,8,14,6,15,7,13)(9,22,10,21)(11,23)(12,24),
(1,20,4,17,2,19,3,18)(5,13,7,15,6,14,8,16)(9,23,10,24)(11,21)(12,22),
"t24n11008"],
[(1,15,6,22,10,19)(2,16,5,21,9,20)(3,13,7,23,11,17,4,14,8,24,12,18),
(1,17,4,19)(2,18,3,20)(5,23,8,21)(6,24,7,22)(9,16)(10,15)(11,14)(12,13),
(1,19,9,24,8,15)(2,20,10,23,7,16)(3,18,12,21,6,14)(4,17,11,22,5,13),
"t24n11009"],
[(1,3)(2,4)(5,11,8,9)(6,12,7,10)(13,20,16,17)(14,19,15,18)(21,23)(22,24),
(1,9,7)(2,10,8)(3,12,5)(4,11,6)(13,20,23)(14,19,24)(15,17,21,16,18,22),
(1,16,3,13)(2,15,4,14)(5,19,7,18)(6,20,8,17)(9,21)(10,22)(11,23)(12,24),
"t24n11010"],
[(1,7,2,8)(3,5,4,6)(13,14)(17,24,18,23)(19,21,20,22),(1,20,10,23,8,15,2,19,9,
24,7,16)(3,17,12,22,6,13)(4,18,11,21,5,14),
(1,23,3,22,2,24,4,21)(5,17,8,20,6,18,7,19)(9,15,10,16)(11,13,12,14),
"t24n11011"],
[(1,11,4,10,2,12,3,9)(5,8,6,7)(13,23,14,24)(15,21,16,22)(19,20),
(1,12,3,9,2,11,4,10)(5,8)(6,7)(13,23,15,21,14,24,16,22)(17,20)(18,19),
(1,22,3,24)(2,21,4,23)(5,14,6,13)(7,15)(8,16)(9,17,12,20)(10,18,11,19),
"t24n11012"],
[(1,6)(2,5)(3,7,4,8)(9,16,10,15)(11,14)(12,13)(17,19,18,20)(21,23)(22,24),
(1,14,24,4,10,17,2,13,23,3,9,18)(5,12,21,7,15,19,6,11,22,8,16,20),
(1,21,15,8,17,13,2,22,16,7,18,14)(3,19,12,5,24,9,4,20,11,6,23,10),"t24n11013"]
,
[(17,18)(19,20)(21,22)(23,24),(1,5,2,6)(9,17)(10,18)(11,23,12,24)(13,22,14,21)(15,19)
(16,20),(1,5)(2,6)(3,7,4,8)(9,12)(10,11)(13,15,14,16)(17,23,18,24)(19,22)
(20,21),(1,10,24)(2,9,23)(3,13,18)(4,14,17)(5,15,21,6,16,22)(7,11,20,8,12,19)
,(1,22,10,6,23,16)(2,21,9,5,24,15)(3,20,13,8,18,12)(4,19,14,7,17,11),
"t24n11014"],
[(1,11,17,3,15,24)(2,12,18,4,16,23)(5,14,20,7,9,21,6,13,19,8,10,22),
(1,13,17,8,15,21,2,14,18,7,16,22)(3,10,24,5,11,19,4,9,23,6,12,20),
(1,17,11,7,22,10)(2,18,12,8,21,9)(3,23,15,5,19,14,4,24,16,6,20,13),"t24n11015"
],[(1,7)(2,8)(3,6,4,5)(11,12)(13,14)(15,16)(17,24)(18,23)(19,22,20,21),
(1,15,23)(2,16,24)(3,13,21)(4,14,22)(5,11,19)(6,12,20)(7,10,17,8,9,18),
(1,21,15,2,22,16)(3,24,13,4,23,14)(5,18,11)(6,17,12)(7,20,9,8,19,10),
"t24n11016"],
[(17,18)(19,20)(21,22)(23,24),(7,8)(11,12)(19,20),(1,5,2,6)(9,17)(10,18)(11,24)
(12,23)(13,22,14,21)(15,20,16,19),(1,5)(2,6)(3,7,4,8)(9,16)(10,15)
(11,13,12,14)(17,19)(18,20)(21,23,22,24),(1,22,10,6,23,16)(2,21,9,5,24,15)
(3,20,13,8,18,12)(4,19,14,7,17,11),"t24n11017"],
[(1,11,21,2,12,22)(3,16,20)(4,15,19)(5,13,23)(6,14,24)(7,10,18)(8,9,17),
(1,12,6,14,2,11,5,13)(3,10,7,16,4,9,8,15)(17,23,20,21)(18,24,19,22),
"t24n11018"],
[(1,6,2,5)(3,4)(9,24,14,20)(10,23,13,19)(11,17,15,21)(12,18,16,22),
(1,24,11,5,22,14)(2,23,12,6,21,13)(3,17,16,8,19,9,4,18,15,7,20,10),"t24n11019"
],[(1,3,2,4)(5,8,6,7)(9,12)(10,11)(13,16)(14,15)(17,18)(23,24),
(1,5,4,8)(2,6,3,7)(9,14,11,16)(10,13,12,15)(17,21,19,24)(18,22,20,23),
(1,16,20)(2,15,19)(3,13,17)(4,14,18)(5,10,24,7,11,22)(6,9,23,8,12,21),
"t24n11020"],
[(1,3,2,4)(5,7,6,8)(9,22,13,17)(10,21,14,18)(11,24,15,20)(12,23,16,19),
(1,5,2,6)(3,7,4,8)(9,19,14,23)(10,20,13,24)(11,17,15,21)(12,18,16,22),
(1,9,5,14,2,10,6,13)(3,11,8,15,4,12,7,16)(17,18)(21,22),"t24n11021"],
[(1,2)(7,8)(9,19,15,22)(10,20,16,21)(11,17,14,24)(12,18,13,23),
(1,12,24)(2,11,23)(3,10,22)(4,9,21)(5,15,20)(6,16,19)(7,14,18)(8,13,17),
(1,19,7,21,2,20,8,22)(3,17,6,24,4,18,5,23)(13,14)(15,16),"t24n11022"],
[(1,10,21,3,14,19)(2,9,22,4,13,20)(5,16,24,8,11,18,6,15,23,7,12,17),
(1,15,6,12)(2,16,5,11)(3,9,7,13)(4,10,8,14)(17,18)(19,23,20,24)(21,22),
"t24n11023"],
[(17,18)(19,20)(21,22)(23,24),(3,6)(4,5)(9,24,10,23)(11,19)(12,20)(13,22)(14,21)
(15,17,16,18),(1,3)(2,4)(5,8)(6,7)(9,11)(10,12)(13,16)(14,15)(21,22)(23,24),
(1,13,17,3,10,23)(2,14,18,4,9,24)(5,12,20,8,15,22)(6,11,19,7,16,21),
"t24n11024"],[(3,5)(4,6)(9,18,16,23,10,17,15,24)(11,22,13,19)(12,21,14,20),
(1,24,14,6,19,10,2,23,13,5,20,9)(3,22,15,7,18,11,4,21,16,8,17,12),"t24n11025"]
,[(1,7)(2,8)(3,6,4,5)(9,23,16,17,10,24,15,18)(11,22,14,20,12,21,13,19),
(1,17,11,2,18,12)(3,19,10,4,20,9)(5,22,15,6,21,16)(7,23,14,8,24,13),
(1,22,15,2,21,16)(3,23,13,4,24,14)(5,17,12,6,18,11)(7,19,10,8,20,9),
"t24n11026"],[(1,2)(3,4)(5,6)(7,8)(9,14,10,13)(11,16,12,15)(17,18)(23,24),
(1,9,2,10)(3,12)(4,11)(5,14,6,13)(7,15)(8,16)(17,22)(18,21)(19,24)(20,23),
(1,21,2,22)(3,23)(4,24)(5,17)(6,18)(7,20,8,19)(9,11)(10,12)(13,15)(14,16),
"t24n11027"],
[(1,7,4,5,2,8,3,6)(9,16,11,14,10,15,12,13)(17,23,19,21,18,24,20,22),
(1,10,19,6,16,23,3,12,17,7,14,21,2,9,20,5,15,24,4,11,18,8,13,22),
(1,12,20,8,13,22,2,11,19,7,14,21)(3,9,18,5,15,24,4,10,17,6,16,23),"t24n11028"]
,[(1,8,3,6)(2,7,4,5)(9,15,12,13)(10,16,11,14)(17,22,19,24)(18,21,20,23),
(1,18,13,3,20,16)(2,17,14,4,19,15)(5,23,10,6,24,9)(7,22,11,8,21,12),
(1,19,14,4,18,16)(2,20,13,3,17,15)(5,24,10,8,22,12)(6,23,9,7,21,11),
"t24n11029"],
[(1,11,6,16,2,12,5,15)(3,9,7,13,4,10,8,14)(17,23)(18,24)(19,22)(20,21),
(1,14,23,5,10,19)(2,13,24,6,9,20)(3,15,21,7,11,18)(4,16,22,8,12,17),
(1,21,13,7,19,11)(2,22,14,8,20,12)(3,23,16,6,17,9)(4,24,15,5,18,10),
"t24n11030"],
[(1,4,2,3)(5,8,6,7)(9,15,10,16)(11,14,12,13)(17,20)(18,19)(21,23)(22,24),
(1,15,5,11,2,16,6,12)(3,13,7,9,4,14,8,10)(17,19)(18,20)(21,24)(22,23),
(1,21,2,22)(3,23,4,24)(5,18)(6,17)(7,19)(8,20)(9,11,10,12)(13,16,14,15),
"t24n11031"],
[(1,5,8,4,2,6,7,3)(9,21,15,20)(10,22,16,19)(11,17,14,23)(12,18,13,24),
(1,10,22,6,13,17)(2,9,21,5,14,18)(3,12,23,7,15,20)(4,11,24,8,16,19),
"t24n11032"],[(1,2)(5,6)(9,20,15,21)(10,19,16,22)(11,18,13,24)(12,17,14,23),
(1,3)(2,4)(5,7)(6,8)(13,14)(15,16)(17,19)(18,20)(21,24)(22,23),
(1,20,7,22)(2,19,8,21)(3,17,5,23)(4,18,6,24)(9,10)(11,12),"t24n11033"],
[(1,7)(2,8)(3,5)(4,6)(9,11)(10,12)(13,15)(14,16)(17,24)(18,23)(19,22)(20,21),
(1,7)(2,8)(3,6)(4,5)(9,21,13,18,10,22,14,17)(11,24,15,20,12,23,16,19),
(1,21,9,7,20,15)(2,22,10,8,19,16)(3,23,11,6,18,14)(4,24,12,5,17,13),
"t24n11034"],
[(17,18)(19,20)(21,22)(23,24),(17,22)(18,21)(19,24)(20,23),(1,7)(2,8)(3,5)(4,6)
(9,16,10,15)(11,14,12,13)(17,19)(18,20)(21,24)(22,23),
(1,8)(2,7)(3,5)(4,6)(9,21,10,22)(11,24,12,23)(13,17)(14,18)(15,19)(16,20),
(1,14,24,2,13,23)(3,16,21,4,15,22)(5,9,20,6,10,19)(7,11,18,8,12,17),
"t24n11035"],
[(5,8,6,7)(9,12,10,11)(17,18)(21,24)(22,23),(1,8,4,6,2,7,3,5)(9,15,12,14,10,
16,11,13)(17,24,19,22,18,23,20,21),(1,21,15,8,20,10)(2,22,16,7,19,9)
(3,24,14,5,17,12)(4,23,13,6,18,11),"t24n11036"],
[(9,20,10,19)(11,18)(12,17)(13,23,14,24)(15,22)(16,21),(1,6)(2,5)(3,7)(4,8)(9,23)
(10,24)(11,22,12,21)(13,20)(14,19)(15,18,16,17),
(1,21,5,17)(2,22,6,18)(3,24,8,19,4,23,7,20)(9,15,10,16)(11,14)(12,13),
"t24n11037"],
[(1,5,2,6)(3,7,4,8)(9,24)(10,23)(11,22,12,21)(13,20,14,19)(15,17)(16,18),
(1,19,5,24)(2,20,6,23)(3,17,8,22)(4,18,7,21)(9,13,10,14)(11,15,12,16),
(1,21)(2,22)(3,23)(4,24)(5,17)(6,18)(7,20)(8,19)(9,16)(10,15)(11,13)(12,14),
"t24n11038"],
[(1,6)(2,5)(3,8,4,7)(9,19,14,23)(10,20,13,24)(11,18,15,22,12,17,16,21),
(1,18,9,4,19,11)(2,17,10,3,20,12)(5,22,13,7,23,16)(6,21,14,8,24,15),
(1,24,5,19)(2,23,6,20)(3,21,8,18,4,22,7,17)(15,16),"t24n11039"],
[(1,7)(2,8)(3,6,4,5)(9,11,10,12)(13,16,14,15)(17,24,18,23)(19,22)(20,21),
(1,8,2,7)(3,6)(4,5)(9,18,13,21)(10,17,14,22)(11,19,16,24,12,20,15,23),
(1,14,20,6,10,24,2,13,19,5,9,23)(3,16,17,8,12,22,4,15,18,7,11,21),"t24n11040"]
,[(1,8)(2,7)(3,4)(9,17)(10,18)(11,22,12,21)(13,19,14,20)(15,23)(16,24),
(1,16,21,3,13,23,2,15,22,4,14,24)(5,11,18,8,10,20,6,12,17,7,9,19),
(1,22,8,19,2,21,7,20)(3,17,6,24,4,18,5,23)(11,14)(12,13)(15,16),"t24n11041"],
[(1,4)(2,3)(5,7)(6,8)(9,12)(10,11)(13,15)(14,16)(17,20,18,19)(21,24,22,23),
(1,9,5,14,2,10,6,13)(3,11,7,16,4,12,8,15)(19,20)(21,22),
(1,18,5,22)(2,17,6,21)(3,20,7,23)(4,19,8,24)(9,15)(10,16)(11,14)(12,13),
"t24n11042"],
[(1,15,19,2,16,20)(3,13,18)(4,14,17)(5,10,24,8,11,22)(6,9,23,7,12,21),
(1,18,14,2,17,13)(3,20,16,4,19,15)(5,21,9,6,22,10)(7,24,11,8,23,12),
(1,21,16,7,20,9)(2,22,15,8,19,10)(3,23,14,6,17,11)(4,24,13,5,18,12),
"t24n11043"],
[(1,5)(2,6)(3,7)(4,8)(9,24,13,20)(10,23,14,19)(11,22,16,18)(12,21,15,17),
(1,18,10,4,19,11,2,17,9,3,20,12)(5,22,13,7,23,15,6,21,14,8,24,16),
(1,24,2,23)(3,22)(4,21)(5,20,6,19)(7,17)(8,18)(9,14)(10,13)(11,16)(12,15),
"t24n11044"],
[(1,4)(2,3)(5,8)(6,7)(9,12)(10,11)(13,15)(14,16)(17,23,18,24)(19,21,20,22),
(1,7,2,8)(3,6,4,5)(9,18,14,22)(10,17,13,21)(11,19,15,23)(12,20,16,24),
(1,13,19,6,9,24)(2,14,20,5,10,23)(3,16,18,8,12,22)(4,15,17,7,11,21),
"t24n11045"],
[(1,11)(2,12)(3,9,4,10)(5,15)(6,16)(7,13,8,14)(17,24,18,23)(19,21,20,22),
(1,11,6,16)(2,12,5,15)(3,9,7,13)(4,10,8,14)(17,24)(18,23)(19,22)(20,21),
(1,21,9,3,24,11,2,22,10,4,23,12)(5,17,13,8,20,16,6,18,14,7,19,15),"t24n11046"]
,[(1,2)(3,5,4,6)(9,23,10,24)(11,20,12,19)(13,22)(14,21)(15,17)(16,18),
(1,16,2,15)(3,12,4,11)(5,14)(6,13)(7,10,8,9)(17,22,23,20,18,21,24,19),
"t24n11047"],
[(1,14,2,13)(3,9)(4,10)(5,15)(6,16)(7,11,8,12)(17,23)(18,24)(19,20)(21,22),
(1,18,12,5,22,16,2,17,11,6,21,15)(3,19,9,7,24,13,4,20,10,8,23,14),"t24n11048"]
,[(1,3,7,5,2,4,8,6)(9,19,16,22)(10,20,15,21)(11,24,13,17)(12,23,14,18),
(1,8,2,7)(9,18)(10,17)(11,22)(12,21)(13,20,14,19)(15,23,16,24),
(1,23,11,5,19,15)(2,24,12,6,20,16)(3,22,9,8,18,13)(4,21,10,7,17,14),
"t24n11049"],
[(1,4,2,3)(5,8,6,7)(9,18)(10,17)(11,20,12,19)(13,22)(14,21)(15,23,16,24),
(1,10,5,13)(2,9,6,14)(3,11,8,15)(4,12,7,16)(17,21,18,22)(19,24,20,23),
(1,22,13,8,19,11)(2,21,14,7,20,12)(3,24,16,6,18,10)(4,23,15,5,17,9),
"t24n11050"],
[(1,7,2,8)(3,5)(4,6)(9,17,13,21,10,18,14,22)(11,20,16,24)(12,19,15,23),
(1,12,23,4,9,21)(2,11,24,3,10,22)(5,15,20,8,14,18)(6,16,19,7,13,17),
(1,15)(2,16)(3,14,4,13)(5,11)(6,12)(7,10,8,9)(17,24,18,23)(19,22,20,21),
"t24n11051"],
[(1,10,22,4,14,19,2,9,21,3,13,20)(5,16,24,7,11,17)(6,15,23,8,12,18),
(1,13,6,10)(2,14,5,9)(3,12,8,15)(4,11,7,16)(17,22)(18,21)(23,24),"t24n11052"],
[(1,5)(2,6)(3,7)(4,8)(9,10)(11,12)(13,14)(15,16)(17,22,18,21)(19,24,20,23),
(1,23,2,24)(3,21,4,22)(5,17,6,18)(7,20,8,19)(9,11)(10,12)(13,14)(15,16),
(1,24,14,5,22,12,2,23,13,6,21,11)(3,17,9,8,19,15,4,18,10,7,20,16),"t24n11053"]
,[(1,2)(3,4)(9,21)(10,22)(11,24,12,23)(13,17)(14,18)(15,19,16,20),
(1,12,17)(2,11,18)(3,10,20)(4,9,19)(5,16,21)(6,15,22)(7,14,23)(8,13,24),
(1,21,5,17)(2,22,6,18)(3,24,8,20)(4,23,7,19)(9,14,10,13)(11,16,12,15),
"t24n11054"],[(3,4)(5,6)(9,20)(10,19)(11,17,12,18)(13,23,14,24)(15,21)(16,22),
(1,4)(2,3)(5,7)(6,8)(9,18,12,20)(10,17,11,19)(13,22,15,24)(14,21,16,23),
(1,12,22,2,11,21)(3,9,24,4,10,23)(5,15,17,6,16,18)(7,14,20,8,13,19),
"t24n11055"],
[(17,18)(19,20)(21,22)(23,24),(17,21,18,22)(19,23,20,24),(1,3)(2,4)(5,7)(6,8)
(9,22)(10,21)(11,24,12,23)(13,17,14,18)(15,20)(16,19),
(1,3)(2,4)(5,8)(6,7)(9,11)(10,12)(13,16)(14,15)(17,23)(18,24)(19,22)(20,21),
(1,9,24,2,10,23)(3,11,21,4,12,22)(5,14,20,6,13,19)(7,16,18,8,15,17),
"t24n11056"],
[(1,5,2,6)(3,8)(4,7)(9,16)(10,15)(11,13)(12,14)(17,22,18,21)(19,24)(20,23),
(1,23,14,8,19,12,4,22,16,5,17,9,2,24,13,7,20,11,3,21,15,6,18,10),"t24n11057"],
[(1,12,8,14)(2,11,7,13)(3,15,5,9)(4,16,6,10)(17,21,24,20)(18,22,23,19),
(1,19,3,23)(2,20,4,24)(5,18,8,22)(6,17,7,21)(9,12,16,13)(10,11,15,14),
(1,22,10)(2,21,9)(3,24,11)(4,23,12)(5,18,14)(6,17,13)(7,19,16)(8,20,15),
"t24n11058"],
[(1,6,4,8)(2,5,3,7)(9,20)(10,19)(11,17)(12,18)(13,22,14,21)(15,23,16,24),
(1,13,20,2,14,19)(3,15,18,4,16,17)(5,12,24,8,10,22)(6,11,23,7,9,21),
"t24n11059"],
[(1,8,4,5)(2,7,3,6)(9,18,11,19,10,17,12,20)(13,23,15,22,14,24,16,21),
(1,23,4,22)(2,24,3,21)(5,19,8,17,6,20,7,18)(9,15)(10,16)(11,13,12,14),
"t24n11060"],
[(1,9,2,10)(3,11,4,12)(5,13,6,14)(7,16,8,15)(17,24)(18,23)(19,21)(20,22),
(1,22,3,23)(2,21,4,24)(5,19,8,17)(6,20,7,18)(9,14,12,15,10,13,11,16),
(1,24,4,21)(2,23,3,22)(5,17,8,19)(6,18,7,20)(9,14,11,15,10,13,12,16),
"t24n11061"],[(5,7)(6,8)(9,21,12,24)(10,22,11,23)(13,20,16,18)(14,19,15,17),
(1,11,4,9,2,12,3,10)(5,16,8,14,6,15,7,13)(17,21)(18,22)(19,24)(20,23),
"t24n11062"],
[(1,3)(2,4)(5,6)(9,22)(10,21)(11,23)(12,24)(13,20,14,19)(15,17,16,18),
(1,9,17,8,13,24,4,12,19,5,15,21,2,10,18,7,14,23,3,11,20,6,16,22),
(1,13,3,16,2,14,4,15)(5,11,7,9,6,12,8,10)(17,18)(21,23)(22,24),"t24n11063"],
[(1,6)(2,5)(3,8,4,7)(9,18,12,19)(10,17,11,20)(13,21,16,24,14,22,15,23),
(1,17,4,20)(2,18,3,19)(5,23,8,22,6,24,7,21)(9,12)(10,11)(13,14)(15,16),
"t24n11064"],
[(1,5,2,6)(3,7)(4,8)(9,19,13,24,10,20,14,23)(11,17,15,21)(12,18,16,22),
(1,11,23,8,14,17,2,12,24,7,13,18)(3,9,22,6,15,20,4,10,21,5,16,19),
(1,16,2,15)(3,14,4,13)(5,12,6,11)(7,9,8,10)(17,19)(18,20)(21,24)(22,23),
"t24n11065"],[(1,6,2,5)(3,7,4,8)(11,12)(15,16)(17,22,18,21)(19,24,20,23),
(1,7,2,8)(5,6)(9,18,10,17)(11,21,12,22)(13,19)(14,20)(15,24)(16,23),
(1,20,16)(2,19,15)(3,18,14)(4,17,13)(5,23,12)(6,24,11)(7,21,10)(8,22,9),
"t24n11066"],
[(1,13,19,2,14,20)(3,16,18,4,15,17)(5,9,24,6,10,23)(7,12,21,8,11,22),
(1,15,8,10,2,16,7,9)(3,11,6,13,4,12,5,14)(17,18)(19,21)(20,22),
(1,19)(2,20)(3,23,4,24)(5,17)(6,18)(7,22,8,21)(9,10)(11,14,12,13)(15,16),
"t24n11067"],
[(1,13,18,2,14,17)(3,15,20,4,16,19)(5,11,22,7,9,23)(6,12,21,8,10,24),
(1,24,13,5,20,9,2,23,14,6,19,10)(3,21,16,8,18,11,4,22,15,7,17,12),"t24n11068"]
,[(1,9,18,8,13,24,4,11,19,6,16,22)(2,10,17,7,14,23,3,12,20,5,15,21),
(1,10,19,8,16,21)(2,9,20,7,15,22)(3,12,17,6,13,23)(4,11,18,5,14,24),
"t24n11069"],
[(1,12,6,10,2,11,5,9)(3,15,7,14,4,16,8,13)(17,20,24,21)(18,19,23,22),
(1,23,2,24)(3,20,4,19)(5,22,6,21)(7,17,8,18)(9,10)(11,14)(12,13)(15,16),
(1,24,10,3,22,11)(2,23,9,4,21,12)(5,20,14,7,18,15)(6,19,13,8,17,16),
"t24n11070"],
[(1,16,20,7,9,22,2,15,19,8,10,21)(3,14,17,5,11,24,4,13,18,6,12,23),
(1,20,14,6,24,10)(2,19,13,5,23,9)(3,18,15,8,22,12)(4,17,16,7,21,11),
(1,21,5,17,2,22,6,18)(3,24,8,20)(4,23,7,19)(9,11,10,12)(13,16)(14,15),
"t24n11071"],
[(1,8)(2,7)(3,5,4,6)(9,16,10,15)(11,13)(12,14)(17,19)(18,20)(21,24)(22,23),
(1,12)(2,11)(3,9,4,10)(5,15)(6,16)(7,14,8,13)(17,19)(18,20)(21,23)(22,24),
(1,23,14,5,19,9)(2,24,13,6,20,10)(3,22,16,7,17,12)(4,21,15,8,18,11),
"t24n11072"],
[(1,7,2,8)(3,5,4,6)(9,11,10,12)(13,16,14,15)(17,22)(18,21)(19,24)(20,23),
(1,11,7,9,2,12,8,10)(3,14,5,15,4,13,6,16)(17,22)(18,21)(23,24),
(1,20,8,24)(2,19,7,23)(3,18,6,22)(4,17,5,21)(9,15,11,14,10,16,12,13),
"t24n11073"],
[(1,5,8,4)(2,6,7,3)(9,24,10,23)(11,20)(12,19)(13,22)(14,21)(15,17,16,18),
(1,13,2,14)(3,12,4,11)(5,9,6,10)(7,16,8,15)(17,24,22,20)(18,23,21,19),
(1,24,9,5,21,15,2,23,10,6,22,16)(3,17,13,7,19,11,4,18,14,8,20,12),"t24n11074"]
,[(1,13,4,11,2,14,3,12)(5,9,7,15,6,10,8,16)(17,20,22,23)(18,19,21,24),
(1,20)(2,19)(3,17,4,18)(5,22,6,21)(7,23)(8,24)(9,11,10,12)(15,16),
(1,22,11)(2,21,12)(3,20,16)(4,19,15)(5,24,14,6,23,13)(7,18,10,8,17,9),
"t24n11075"],
[(1,6,8,3)(2,5,7,4)(9,24,14,21,10,23,13,22)(11,20,16,18,12,19,15,17),
(1,6)(2,5)(3,8)(4,7)(9,10)(11,12)(13,14)(15,16)(17,20,18,19)(21,23,22,24),
(1,11)(2,12)(3,13,4,14)(5,15)(6,16)(7,10,8,9)(19,24)(20,23),"t24n11076"],
[(1,5,7,4,2,6,8,3)(9,20,14,18)(10,19,13,17)(11,23,16,21)(12,24,15,22),
(1,5,8,3,2,6,7,4)(9,22,15,20,10,21,16,19)(11,18,13,24,12,17,14,23),
(1,22,10)(2,21,9)(3,20,14,4,19,13)(5,23,15)(6,24,16)(7,17,12,8,18,11),
"t24n11077"],[(3,5)(4,6)(9,24,15,18)(10,23,16,17)(11,19,13,21)(12,20,14,22),
(1,9,2,10)(3,13,4,14)(5,12)(6,11)(7,15)(8,16)(17,21,24,20)(18,22,23,19),
(1,22,13,2,21,14)(3,23,16,4,24,15)(5,17,9,6,18,10)(7,19,11,8,20,12),
"t24n11078"],
[(1,18,9,7,23,15,2,17,10,8,24,16)(3,20,11,6,21,14,4,19,12,5,22,13),
(1,18)(2,17)(3,20,4,19)(5,22)(6,21)(7,23,8,24)(9,11)(10,12)(13,15)(14,16),
(1,24,10,5,19,14,2,23,9,6,20,13)(3,22,11,7,18,15,4,21,12,8,17,16),"t24n11079"]
,[(1,20,2,19)(3,18)(4,17)(5,24,6,23)(7,21)(8,22)(9,10)(11,12)(13,14)(15,16),
(1,21,14,4,24,15,2,22,13,3,23,16)(5,18,10,7,19,12,6,17,9,8,20,11),
(1,22,9,7,20,16)(2,21,10,8,19,15)(3,23,12,5,18,13)(4,24,11,6,17,14),
"t24n11080"],
[(17,18)(19,20)(21,22)(23,24),(17,21,18,22)(19,24,20,23),(1,7)(2,8)(3,5)(4,6)
(9,16,10,15)(11,14,12,13)(17,19)(18,20)(21,24)(22,23),
(1,8)(2,7)(3,5)(4,6)(9,21,10,22)(11,24,12,23)(13,17)(14,18)(15,19)(16,20),
(1,14,24,2,13,23)(3,16,21,4,15,22)(5,9,20,6,10,19)(7,11,18,8,12,17),
"t24n11081"],
[(1,6,2,5)(3,8,4,7)(13,14)(15,16)(21,22)(23,24),(1,11,6,16,2,12,5,15)
(3,10,8,13,4,9,7,14)(17,24,18,23)(19,22,20,21),
(1,18,9,8,24,15,2,17,10,7,23,16)(3,19,12,5,21,13,4,20,11,6,22,14),"t24n11082"]
,[(1,4,2,3)(5,8,6,7)(13,14)(15,16)(17,19,18,20)(21,23,22,24),
(1,7)(2,8)(3,4)(9,23,15,17,10,24,16,18)(11,20,14,22,12,19,13,21),
(1,22,16,6,23,10)(2,21,15,5,24,9)(3,19,12,8,17,13)(4,20,11,7,18,14),
"t24n11083"],
[(17,18)(19,20)(21,22)(23,24),(1,5)(2,6)(3,8)(4,7)(9,12,10,11)(13,16,14,15)
(17,23,18,24)(19,21,20,22),(1,5)(2,6)(3,8)(4,7)(9,14,10,13)(11,15,12,16)
(17,22)(18,21)(19,23)(20,24),(1,7)(2,8)(3,5)(4,6)(9,14)(10,13)(11,15)(12,16)
(17,24)(18,23)(19,22)(20,21),(1,24,14)(2,23,13)(3,17,10)(4,18,9)(5,21,11)
(6,22,12)(7,20,15)(8,19,16),"t24n11084"],
[(1,14,3,16)(2,13,4,15)(5,10,8,12)(6,9,7,11)(17,20)(18,19)(21,23)(22,24),
(1,21,14,6,19,9,3,23,15,8,18,11)(2,22,13,5,20,10,4,24,16,7,17,12),"t24n11085"]
,[(1,9,3,12,2,10,4,11)(5,16,8,14,6,15,7,13)(17,24,19,22,18,23,20,21),
(1,15,20,3,14,18,2,16,19,4,13,17)(5,12,23,7,10,22,6,11,24,8,9,21),
(1,18,2,17)(3,20)(4,19)(5,22,6,21)(7,23)(8,24)(9,10)(15,16),"t24n11086"],
[(1,9,4,12,2,10,3,11)(5,15,7,13,6,16,8,14)(17,22,20,24,18,21,19,23),
(1,17,4,19)(2,18,3,20)(5,21,8,23,6,22,7,24)(9,12,10,11)(13,15)(14,16),
"t24n11087"],
[(1,9)(2,10)(3,12,4,11)(5,15)(6,16)(7,13)(8,14)(17,23,20,21,18,24,19,22),
(1,24,14,6,17,9,3,22,15,8,19,12)(2,23,13,5,18,10,4,21,16,7,20,11),"t24n11088"]
,[(1,10,22,4,12,23)(2,9,21,3,11,24)(5,16,17)(6,15,18)(7,13,20,8,14,19),
(1,20,12)(2,19,11)(3,18,10,4,17,9)(5,21,15,8,24,13)(6,22,16,7,23,14),
(1,22,14)(2,21,13)(3,24,15)(4,23,16)(5,17,9)(6,18,10)(7,20,11)(8,19,12),
"t24n11089"],
[(1,15,24,2,16,23)(3,13,21,4,14,22)(5,10,19,8,12,18)(6,9,20,7,11,17),
(1,19,16,2,20,15)(3,17,14,4,18,13)(5,23,12,6,24,11)(7,22,9,8,21,10),
(1,23,11,2,24,12)(3,21,9,4,22,10)(5,19,15,6,20,16)(7,18,14,8,17,13),
"t24n11090"],
[(1,17,4,19)(2,18,3,20)(5,21,8,24)(6,22,7,23)(9,11)(10,12)(13,16)(14,15),
(1,24,15,7,20,10,3,21,13,6,18,12,2,23,16,8,19,9,4,22,14,5,17,11),"t24n11091"],
[(1,5,3,7)(2,6,4,8)(9,20,10,19)(11,17,12,18)(13,22)(14,21)(15,24,16,23),
(1,13,2,14)(3,15)(4,16)(5,10,6,9)(7,12)(8,11)(17,19)(18,20)(21,23)(22,24),
"t24n11092"],
[(1,13,4,16,2,14,3,15)(5,9,7,12)(6,10,8,11)(17,19,18,20)(21,23)(22,24),
(1,23)(2,24)(3,21,4,22)(5,17)(6,18)(7,19)(8,20)(9,15,11,14,10,16,12,13),
"t24n11093"],
[(1,6,3,7,2,5,4,8)(9,20)(10,19)(11,17,12,18)(13,21,14,22)(15,23)(16,24),
(1,24,3,22,2,23,4,21)(5,20,8,18,6,19,7,17)(9,15)(10,16)(11,14)(12,13),
"t24n11094"],[(3,6,4,5)(9,22,10,21)(11,18)(12,17)(13,24,14,23)(15,19)(16,20),
(1,15,7,10,2,16,8,9)(3,12,6,13,4,11,5,14)(17,21,24,19,18,22,23,20),
(1,20,15,6,24,11)(2,19,16,5,23,12)(3,18,13,8,22,9)(4,17,14,7,21,10),
"t24n11095"],
[(1,13,7,12)(2,14,8,11)(3,9,5,16)(4,10,6,15)(17,20,23,21,18,19,24,22),
(1,19,3,24,2,20,4,23)(5,18,8,22,6,17,7,21)(9,11,15,13,10,12,16,14),
(1,24,8,18)(2,23,7,17)(3,19,6,21)(4,20,5,22)(9,12,16,14,10,11,15,13),
"t24n11096"],
[(1,6,2,5)(3,8)(4,7)(9,24,13,19)(10,23,14,20)(11,22,16,18,12,21,15,17),
(1,7,2,8)(3,5)(4,6)(9,12,10,11)(13,15,14,16)(17,24)(18,23)(19,21,20,22),
(1,9,2,10)(3,12)(4,11)(5,14)(6,13)(7,16,8,15)(17,21,18,22)(19,23,20,24),
"t24n11097"],
[(1,11,4,10)(2,12,3,9)(5,13,7,15)(6,14,8,16)(17,24,19,21,18,23,20,22),
(1,12,3,10,2,11,4,9)(5,15,7,14,6,16,8,13)(17,23)(18,24)(19,22)(20,21),
(1,16,18,4,13,19)(2,15,17,3,14,20)(5,10,22,6,9,21)(7,12,23)(8,11,24),
"t24n11098"],
[(1,9,8,12,2,10,7,11)(3,16,5,13,4,15,6,14)(17,23,22,19)(18,24,21,20),
(1,16,19,3,12,22,2,15,20,4,11,21)(5,10,18,7,14,24)(6,9,17,8,13,23),"t24n11099"
],[(1,5,8,3,2,6,7,4)(9,24,14,22)(10,23,13,21)(11,19,16,18)(12,20,15,17),
(1,10,20,8,12,23)(2,9,19,7,11,24)(3,13,22,5,15,17)(4,14,21,6,16,18),
(1,12,22,5,14,23,2,11,21,6,13,24)(3,15,20,7,10,18,4,16,19,8,9,17),"t24n11100"
]];
TRANSPROPERTIES[24]{[10801..11100]}:=
[
[12288,0,1,1,
"5550s0510s0680s045401s2810s0420s2D2002"
,[-24,-12,48,192],[24,384,2048],[96,512,768,2024,2192]],
[12288,0,1,-1,
"5550s0510s05AA80s045401s2810s0420s1920s1504s3920s1704"
,[-24,-12,48,192],[-24,48,96,1192],[-24,512,1096,1192,1384,2048]],
[12288,0,1,1,
"5550s0510s050A80s045401s2810s0420s6920"
,[-24,-12,48,192],[24,48,96,1192],[24,48,512,1192,1384,2096]],
[12288,0,1,-1,
"5550s0510s05AA80s045401s2810s0420s1C05s1204s3920s1704"
,[-24,-12,48,192],[-24,48,96,1192],[-24,48,512,1192,1384,2096]],
[12288,0,1,1,
"5550s0510s050280s0250001401s2810s0420s6920"
,[-24,-12,48,192],[24,48,96,1192],[24,48,192,512,1384,4096]],
[12288,0,1,-1,
"5550s0510s05AA80s045401s2810s0420s1E0540s0F04s3920s1704"
,[-24,-12,48,192],[-2024,96,1192],[-24,48,512,1192,1384,2096]],
[12288,0,1,1,
"5550s051004s040A80s0210005409s2810s0420s2E02s3A20"
,[-24,-12,48,192],[24,48,96,384],[24,48,96,192,1256,2384]],
[12288,0,1,1,
"5550s0510s050A80s045401s2810s0420s2E12"
,[-24,-12,48,192],[24,48,96,384],[24,48,96,192,1256,2384]],
[12288,0,1,1,
"5550s051004s04AA80s0210005409s2810s0420s2D2812s3A20"
,[-24,-12,48,192],[24,48,96,384],[24,48,96,192,1256,2384]],
[12288,0,1,-1,
"5550s05100As040A80s0228005C15s2810s0420s2010s0E04s3920"
,[-24,-12,48,192],[-24,48,96,384],[-24,48,96,192,1256,2384]],
[12288,0,1,-1,
"5570s05100As040380s0228001C15s2810s0420s2010s0E04"
,[-24,-12,48,192],[-24,48,96,384],[-24,48,96,1256,1384,2192]],
[12288,0,1,-1,
"5570s05100As040B80s0228005C15s2810s0420s2010s0C102804"
,[-24,-12,48,192],[-24,48,96,384],[-24,48,96,192,1256,2384]],
[12288,0,1,-1,
"5550s05100As04AA80s0228005415s2810s0420s2010s0D2804s3920"
,[-24,-12,48,192],[-2024,96,384],[-24,48,96,192,1256,2384]],
[12288,0,1,-1,
"5570s0510s05AB80s045C01s2810s0420s2010s0C100004s3920"
,[-24,-12,48,192],[-24,48,96,384],[-24,192,1256,2048,2384]],
[12288,0,1,-1,
"5570s0510s050B80s045C15s2810s0420s2010s0E04s3920"
,[-24,-12,48,192],[-24,48,96,384],[-24,48,96,192,1256,2384]],
[12288,0,1,1,
"5550s051004s040A80s0210005409s2810s0420s2D2802"
,[-24,-12,48,192],[24,48,96,384],[24,48,96,192,1256,2384]],
[12288,0,1,1,
"5550s051004s040A80s0210005409s2810s0420s2E02"
,[-24,-12,48,192],[24,48,96,384],[24,48,96,1256,1384,2192]],
[12288,0,1,1,
"5550s0510s05AA80s045401s2810s0420s2DA802s3A20"
,[12,192,2024],[384,1048,2024],[192,1048,1256,2024,2384],[4,[-1006,6,1536,2048,3024,5192,5768,7384]]],
[12288,0,1,1,
"5550s0510s050A80s045401s2810s0420s2D2802s3A20"
,[12,192,2024],[24,384,2048],[96,192,1256,2024,2384],[4,[-1006,6,1024,1096,2536,3048,3768,4192,7384]]],
[12288,0,1,1,
"5550s0510s050A80s045401s2810s0420s2D2802s3A20"
,[12,192,2024],[24,384,2048],[96,192,1256,2024,2384],[4,[-1006,6,1024,2536,3048,3768,5192,7384]]],
[12288,0,1,1,
"5550s0510s05AA80s045401s2810s0420s2D2802s3A20"
,[12,192,2024],[24,384,2048],[96,192,1256,2024,2384],
[10243,[[[-2002,16,1001],[-2002,16,1001],[-2002,16,1001],[
128,3016,5032],[1032,2064],[1032,2064],
[1032,3008,5016],[1032,7004],[1064,3016,5032],
[1064,3032,7016]]]]],
[12288,0,1,1,
"5550s0510s050A80s045401s2810s0420s2DA802s3A20"
,[12,192,2024],[24,384,2048],[96,192,1256,2024,2384],[4,[-1006,6,1024,1096,1768,3048,3536,4192,7384]]],
[12288,0,1,1,
"5550s0510s05AA80s045401s2810s0420s2D2802s3A20"
,[12,192,2024],[24,384,2048],[96,1256,1384,2024,2192]],
[12288,0,1,1,
"5550s0510s050A80s045401s2810s0420s2DA802s3A20"
,[12,192,2024],[24,384,2048],[96,192,1256,2024,2384],[4,[-1006,6,1024,1768,3048,3536,5192,7384]]],
[12288,0,1,1,
"5550s0510s05AA80s045401s2810s0420s2DA802s3A20"
,[12,192,2024],[384,1048,2024],[192,1048,1256,2024,2384],[4,[-1006,6,2048,2536,3024,3768,5192,7384]]],
[12288,0,1,1,
"5550s0510s050A80s045401s2810s0420s2D0802s3A20"
,[12,192,2024],[24,384,2048],[96,192,1256,2024,2384],
[10243,[[[-2002,16,1001],[-2002,16,1001],[-2002,16,1001],[
64,128,1016,4032],[64,128,1016,4032],[64,7004],
[1008,1032,6016],[1064,3032],[1064,3032],
[2064,3016,3032]]]]],
[12288,0,1,1,
"5550s0510s050A80s045401s2810s0420s2D2802"
,[12,192,2024],[24,384,2048],[96,192,1256,2024,2384]],
[12288,0,1,-1,
"55F0s051002s04AF80s0208007C05s2810s0420s2D5008s3A20"
,[12,192,2024],[-24,384,2048],[-2024,96,192,1256,2384]],
[12288,0,1,-1,
"55F0s051002s040F80s0208007C05s2810s0420s2E08s3A20"
,[12,192,2024],[-24,384,2048],[-2024,96,192,1256,2384]],
[12288,0,1,-1,
"55F0s051002s040780s0208003C05s2810s0420s2E08"
,[12,192,2024],[-24,384,2048],[-2024,96,1256,1384,2192]],
[12288,0,1,-1,
"55F0s051002s040F80s0208007C05s2810s0420s2D5008"
,[12,192,2024],[-24,384,2048],[-2024,96,192,1256,2384]],
[12288,0,1,1,
"5550s0510s05AA80s045401s2810s0420s2D2802s3A20"
,[12,192,2024],[24,384,2048],[96,192,1256,2024,2384],
[10243,[[[-2002,16,1001],[-2002,16,1001],[-2002,16,1001],[
128,3016,5032],[128,3016,5032],[1032,2064],
[1032,2064],[1032,3008,5016],[1032,7004],
[1064,3032,7016]]]]],
[12288,0,1,1,
"5550s0510s050A80s045401s2810s0420s2D0802s3A20"
,[12,192,2024],[24,384,2048],[96,192,1256,2024,2384],
[10243,[[[-2002,16,1001],[-2002,16,1001],[-2002,16,1001],[
64,128,1016,4032],[64,128,1016,4032],[64,7004],
[1008,1032,6016],[1032,2064],[1032,2064],
[2064,3016,3032]]]]],
[12288,0,1,1,
"5550s0510s050A80s045401s2810s0420s2D0802"
,[12,192,2024],[24,384,2048],[96,1256,1384,2024,2192]],
[12288,0,1,1,
"5550s0510s050A80s045401s2810s0420s2DA802"
,[12,192,2024],[24,384,2048],[96,192,1256,2024,2384],[4,[-1006,6,1024,1768,3048,3536,5192,7384]],[212,[101]]],
[12288,0,1,-1,
"5550s0510s050A80s045C15s2810s0420s1F40s0D102804s3920"
,[-24,-12,48,192],[-24,48,96,384],[-24,48,96,192,512,2384]],
[12288,0,1,-1,
"5550s0510s05AA80s045C01s2810s0420s1908s054010s0C100004s3920"
,[-24,-12,48,192],[-24,48,96,384],[-24,192,512,2048,2384]],
[12288,0,1,1,
"5550s0510s050A80s045409s2810s0420s2D2810"
,[-24,-12,48,192],[24,48,96,384],[24,48,96,192,512,2384]],
[12288,0,1,1,
"5550s0510s050A80s045409s2810s0420s2E10"
,[-24,-12,48,192],[24,48,96,384],[24,48,96,512,1384,2192]],
[12288,0,1,-1,
"5550s0510s05AA80s045415s2810s0420s1908s054010s0D2804s3920"
,[-24,-12,48,192],[-2024,96,384],[-24,48,96,192,512,2384]],
[12288,0,1,1,
"5550s0510s05AA80s045401s2810s0420s2DA802s3A20"
,[12,192,2024],[384,1048,2024],[192,512,1048,2024,2384],
[10243,[[[-7002,32],[-7002,32],[-1002,16,3001],[-1002,16,3\
001],[-1002,16,3001],[128,3016,5032],[1032,3008,5016],
[1064,3016,5032],[1064,3032,7016],[1128,3064]]]]],
[12288,0,1,1,
"5550s0510s050A80s045401s2810s0420s2DA802s3A20"
,[12,192,2024],[24,384,2048],[96,192,512,2024,2384],[4,[-2006,768,1024,1096,3048,4192,4536,5384]],
[10243,[[[-2002,16,1001],[-2002,16,1001],[-2002,16,1001],[
64,128,1016,4032],[64,7004],[1008,1032,6016],
[1016,2064,4032],[1128,3064],[2064,3016,3032]]]]],
[12288,0,1,1,
"5550s0510s050A80s045401s2810s0420s2DA802s3A20"
,[12,192,2024],[24,384,2048],[96,192,512,2024,2384],[4,[-2006,1024,2768,3048,3536,5192,5384]]],
[12288,0,1,1,
"5550s0510s05AA80s045401s2810s0420s2D2802s3A20"
,[12,192,2024],[24,384,2048],[96,192,512,2024,2384],[4,[-2006,1024,2536,3048,4768,5192,5384]]],
[12288,0,1,1,
"5550s0510s05AA80s045401s2810s0420s2D2802s3A20"
,[12,192,2024],[24,384,2048],[96,512,1384,2024,2192]],
[12288,0,1,1,
"5550s0510s050A80s045401s2810s0420s2D2802s3A20"
,[12,192,2024],[24,384,2048],[96,192,512,2024,2384]],
[12288,0,1,1,
"5550s0510s050A80s045401s2810s0420s2DA802s3A20"
,[12,192,2024],[24,384,2048],[96,192,512,2024,2384],[4,[-2006,768,1024,3048,4536,5192,5384]]],
[12288,0,1,1,
"5550s0510s05AA80s045401s2810s0420s2DA802s3A20"
,[12,192,2024],[384,1048,2024],[192,512,1048,2024,2384],
[10243,[[[-7002,32],[-7002,32],[-1002,16,3001],[-1002,16,3\
001],[-1002,16,3001],[128,3016,5032],[128,3016,5032],
[1032,3008,5016],[1064,3032,7016],[1128,3064]]]]],
[12288,0,1,1,
"5550s0510s050A80s045401s2810s0420s2DA802s3A20"
,[12,192,2024],[24,384,2048],[96,192,512,2024,2384],[4,[-2006,768,1024,1096,3048,4192,4536,5384]],
[10243,[[[-2002,16,1001],[-2002,16,1001],[-2002,16,1001],[
64,128,1016,4032],[64,128,1016,4032],[64,7004],
[1008,1032,6016],[1128,3064],[2064,3016,3032]]]]],
[12288,0,1,1,
"5550s0510s050A80s045401s2810s0420s2DA802"
,[12,192,2024],[24,384,2048],[96,192,512,2024,2384]],
[12288,0,1,1,
"5550s0510s05AA80s045401s2810s0420s2D2802s3A20"
,[12,192,2024],[24,384,2048],[96,192,512,2024,2384],[4,[-2006,1024,2768,3048,3536,5192,5384]]],
[12288,0,1,1,
"5550s0510s050A80s045401s2810s0420s2D2002"
,[12,192,2024],[24,384,2048],[96,512,1384,2024,2192]],
[12288,0,1,1,
"5550s051054s042As020150s0201s2810s0420s1C02800080s4920"
,[-24,-12,48,192],[24,48,96,1192],[24,48,384,512,2096,3192]],
[12288,0,1,-1,
"57F0s0510s05BF80s045C01s2810s0420s1910s0580s0F04s3920s1704"
,[-24,-12,48,192],[-24,48,96,1192],[-24,384,512,1096,2048,3192]],
[12288,0,1,-1,
"57F0s0510s0517s0310001C01s2810s0420s2F04s3920s1704"
,[-24,-12,48,192],[-24,48,96,1192],[-24,48,384,512,2192,4096]],
[12288,0,1,1,
"5550s051010s040280s0250001409s2810s0420s6920"
,[-24,-12,48,192],[24,48,96,1192],[24,48,384,512,2096,3192]],
[12288,0,1,-1,
"55F0s0510s05AF80s045401s2810s0420s1C0280000140s0E04s3920s1704"
,[-24,-12,48,192],[-24,48,96,1192],[-24,48,384,512,2096,3192]],
[12288,0,1,1,
"5550s051054s070150s0209s2810s0420s6920"
,[-24,-12,48,192],[24,48,96,1192],[24,48,384,512,2192,4096]],
[12288,0,1,-1,
"5550s05102As0402s03B8001401s2810s0420s2F04s3920s1704"
,[-24,-12,48,192],[-24,48,96,1192],[-24,48,384,512,2096,3192]],
[12288,0,1,1,
"5550s0510s050A80s0210001409s2810s0420s6920"
,[-24,-12,48,192],[24,48,96,1192],[24,48,384,512,2192,4096]],
[12288,0,1,1,
"5550s0510s052A80s041401s2810s0420s1C02800080s4920"
,[-24,-12,48,192],[24,48,96,1192],[24,48,384,512,2096,3192]],
[12288,0,1,-1,
"5550s0510AAs04AA800002A8005415s2810s0420s1C0280000140s0E04s3920s1704"
,[-24,-12,48,192],[-2024,96,1192],[-24,48,384,512,2096,3192]],
[12288,0,1,-1,
"5550s05102As04AA80s02A8005401s2810s0420s1910s0580s0F04s3920s1704"
,[-24,-12,48,192],[-24,48,96,1192],[-24,48,384,512,2096,3192]],
[12288,0,1,1,
"5550s0510s052A80s045401s2810s0420s6920"
,[-24,-12,48,1096],[24,48,4096],[24,128,2384,4048,4096]],
[12288,0,1,1,
"5550s051154s042As0601s2810s0420s1D80s0240s4820"
,[-24,-12,48,1096],[24,48,4096],[24,128,2384,4048,4096],
[10243,[[[-5004,8,3016],[-4004,-2,1001],[-3002,-1004,3008],
[-1004,-1002,4,3008],[-1004,-1002,4,3008],
[-1004,-1002,4,3008],[-1004,-1002,4,3008],
[-1004,2008,3016],[-1004,2008,3016],[-1004,2008,3016],
[-1004,2008,3016],[64,3016],[1032,2064,7016],
[1032,2064,7016],[1032,2064,7016]]]]],
[12288,0,1,1,
"5550s051050s042A80s0250s0201s2810s0420s1D80s0240s4820"
,[-24,-12,48,1096],[24,48,4096],[24,128,2384,4048,4096],
[20243,[[[-4004,-1002],[-1004,1004,3008],[-1004,1004,3008],[\
-1004,2008,3016],[-1004,2008,3016],[-1004,2008,3016],
[-1004,2008,3016],[-1004,2008,3016],[64,1032],
[64,9032],[1004,4008],[1004,4008],[1004,4008],
[1064,7032],[2064,3016,3032]]]]],
[12288,0,1,1,
"5550s051050s042A80s0250s0201s2810s0420s1D80s0240s4820"
,[-24,-12,48,1096],[24,48,4096],[24,128,2384,4048,4096],
[20243,[[[-4004,-1002],[-1004,1004,3008],[-1004,1004,3008],[\
-1004,2008,3016],[-1004,2008,3016],[-1004,2008,3016],
[-1004,2008,3016],[-1004,2008,3016],[1004,4008],
[1004,4008],[1004,4008],[1064,7032],[1064,7032],
[2064,3016,3032],[3032]]]]],
[12288,0,1,1,
"5550s051050s0580s0250000401s2810s0420s6920"
,[-24,-12,48,1096],[24,48,4096],[24,128,2384,4048,4096]],
[12288,0,1,1,
"5550s051154s0850005401s2810s0420s6920"
,[-24,-12,48,1096],[24,48,4096],[24,128,2384,4048,4096]],
[12288,0,1,1,
"5550s0510s05AA80s045401s2810s0420s6920"
,[-24,-12,48,1096],[24,48,4096],[24,128,2384,4048,4096]],
[12288,0,1,1,
"5550s0510s052A80s040401s2810s0420s6920"
,[-24,-12,48,1096],[24,48,4096],[24,128,2384,4048,4096]],
[12288,0,1,1,
"5550s051154s042As0601s2810s0420s1D80s0240s4820"
,[-24,-12,48,1096],[24,48,4096],[24,128,2384,4048,4096],
[10243,[[[-5004,8,3016],[-4004,-2,1001],[-3002,-1004,3008],
[-1004,-1002,4,3008],[-1004,-1002,4,3008],
[-1004,-1002,4,3008],[-1004,-1002,4,3008],
[-1004,2008,3016],[-1004,2008,3016],[-1004,2008,3016],
[-1004,2008,3016],[32,64,1016],[32,2064,9016],
[1032,2064,7016],[1032,2064,7016]]]]],
[12288,0,1,-1,
"5550s0510s0508s051001s2810s0420s1F40s0F04s3920s1704"
,[-24,-12,48,1096],[-24,48,4096],[-24,128,2384,4048,4096]],
[12288,0,1,-1,
"5550s0510s05AA80s045401s2810s0420s1908s054010s0E04s3920s1704"
,[-24,-12,48,1096],[-24,48,4096],[-24,128,2384,3096,6048]],
[12288,0,1,-1,
"5550s051154s0402s0358s0205s2810s0420s2F04s3920s1704"
,[-24,-12,48,1096],[-24,48,4096],[-24,128,2384,3096,6048],
[10243,[[[-3004,-2,4,1001],[-3002,1004,3008],[-1004,-1002,4,
3008],[-1004,-1002,4,3008],[-1004,-1002,4,3008],
[-1004,-1002,4,3008],[-1004,-1002,4,3008],
[-1004,-1002,4,3008],[-1004,2016,4008],
[-1004,2016,4008],[-1004,2016,4008],[-1004,2016,4008],
[64,3016],[1032,2064,7016],[1032,2064,7016],
[1032,2064,7016]]]]],
[12288,0,1,-1,
"5550s051054s042A80s0208s0205s2810s0420s2F04s3920s1704"
,[-24,-12,48,1096],[-24,48,4096],[-24,128,2384,4048,4096],
[40243,[[[-3004,-3002],[-3004,1008,3004],[-3004,1008,3004],[\
-3004,1008,3004],[-3002,-1004,1004,2008],
[-3002,-1004,1004,2008],[64,3016],[64,3016,7032],
[64,3016,7032],[64,3016,7032],[2016,5008],
[2016,5008],[3008,3016],[3008,3016],[3008,3016]],
[[-3004,-3002],[-3004,1008,3004],[-3004,1008,3004],
[-3004,1008,3004],[-3002,-1004,1004,2008],
[-3002,-1004,1004,2008],[64,3016,7032],
[64,3016,7032],[1064,3032,7016],[2016,5008],
[3008,3016],[3008,3016],[3008,3016],[3008,3016],
[3032]]]]],
[12288,0,1,-1,
"5550s051154s0402s0358s0205s2810s0420s2F04s3920s1704"
,[-24,-12,48,1096],[-24,48,4096],[-24,128,2384,3096,6048],
[10243,[[[-3004,-2,4,1001],[-3002,1004,3008],[-1004,-1002,4,
3008],[-1004,-1002,4,3008],[-1004,-1002,4,3008],
[-1004,-1002,4,3008],[-1004,-1002,4,3008],
[-1004,-1002,4,3008],[-1004,2016,4008],
[-1004,2016,4008],[-1004,2016,4008],[-1004,2016,4008],
[32,64,1016],[32,2064,9016],[1032,2064,7016],
[1032,2064,7016]]]]],
[12288,0,1,-1,
"5550s051154s0408s0350s0201s2810s0420s1F40s0F04s3920s1704"
,[-24,-12,48,1096],[-24,48,4096],[-24,128,2384,4048,4096]],
[12288,0,1,-1,
"5550s051054s04AA80s045401s2810s0420s1908s054010s0E04s3920s1704"
,[-24,-12,48,1096],[-24,48,4096],[-24,128,2384,4048,4096]],
[12288,0,1,-1,
"5550s0510s05AA80s045401s2810s0420s1908s054010s0E04s3920s1704"
,[-24,-12,48,1096],[-2024,4096],[-24,128,2384,4048,4096]],
[12288,0,1,-1,
"5550s0510s052A80s0501s2810s0420s1F40s0F04s3920s1704"
,[-24,-12,48,1096],[-24,48,4096],[-24,128,2384,4048,4096]],
[12288,0,1,-1,
"5550s051054s042A80s0208s0205s2810s0420s2F04s3920s1704"
,[-24,-12,48,1096],[-24,48,4096],[-24,128,2384,4048,4096],
[40243,[[[-3004,-3002],[-3004,1008,3004],[-3004,1008,3004],[\
-3004,1008,3004],[-3002,-1004,1004,2008],
[-3002,-1004,1004,2008],[64,3016],[64,3016,7032],
[64,3016,7032],[64,3016,7032],[2016,5008],
[3008,3016],[3008,3016],[3008,3016],[3008,3016]],
[[-3004,-3002],[-3004,1008,3004],[-3004,1008,3004],
[-3004,1008,3004],[-3002,-1004,1004,2008],
[-3002,-1004,1004,2008],[64,3016,7032],
[64,3016,7032],[1064,3032,7016],[2016,5008],
[2016,5008],[3008,3016],[3008,3016],[3008,3016],
[3032]]]]],
[12288,0,1,1,
"5550s051054s04AA80s045401s2810s0420s2040s0C0802s3A20"
,[12,24,96,2048],[24,48,4096],[24,128,2384,4048,4096]],
[12288,0,1,1,
"5550s051050s042A80s0250005401s2810s0420s2040s0C0802"
,[12,24,96,2048],[24,48,4096],[24,128,2384,4048,4096]],
[12288,0,1,1,
"5550s051154s040280s0250000401s2810s0420s2040s4820"
,[12,24,96,2048],[24,48,4096],[24,128,2384,3096,6048]],
[12288,0,1,1,
"5550s051154s042A80s040401s2810s0420s2040"
,[12,24,96,2048],[24,48,4096],[24,128,2384,4048,4096]],
[12288,0,1,1,
"5550s0510s052A80s040401s2810s0420s2040"
,[12,24,96,2048],[24,48,4096],[24,128,2384,4048,4096]],
[12288,0,1,1,
"5550s0510s052A80s040401s2810s0420s2040s4820"
,[12,24,96,2048],[24,48,4096],[24,128,2384,4048,4096]],
[12288,0,1,1,
"5550s0510s05AA80s045401s2810s0420s2D0802"
,[12,24,96,2048],[24,48,4096],[24,128,2384,4048,4096]],
[12288,0,1,1,
"5550s0510s05AA80s045401s2810s0420s2D0802s3A20"
,[12,24,96,2048],[2024,4096],[24,128,2384,4048,4096]],
[12288,0,1,1,
"5550s0510s052A80s045401s2810s0420s2040s0C0802"
,[12,24,96,2048],[24,48,4096],[24,128,2384,4048,4096]],
[12288,0,1,1,
"5550s0510s05AA80s045401s2810s0420s2040s0C0802s3A20"
,[12,24,96,2048],[24,48,4096],[24,128,2384,3096,6048]],
[12288,0,1,1,
"5550s0510s050880s041401s2810s0420s6920"
,[12,24,96,2048],[24,48,4096],[24,128,2384,4048,4096]],
[12288,0,1,-1,
"5550s051054s04AA80s0208005405s2810s0420s1908s054010s0E04s3920"
,[-24,-12,96,2048],[-24,48,4096],[-24,128,2384,4048,4096]],
[12288,0,1,-1,
"5550s0510s0508s051001s2810s0420s1F40s0F04s3920"
,[-24,-12,96,2048],[-24,48,4096],[-24,128,2384,4048,4096]],
[12288,0,1,-1,
"5550s0510s052A80s0208s0205s2810s0420s1F40s0F04s3920"
,[-24,-12,96,2048],[-24,48,4096],[-24,128,2384,4048,4096]],
[12288,0,1,1,
"5550s0510s052A80s045401s2810s0420s1D80s0240"
,[-24,-12,96,2048],[24,48,4096],[24,128,2384,4048,4096]],
[12288,0,1,1,
"5550s051154s042As0601s2810s0420s1D80s0240"
,[-24,-12,96,2048],[24,48,4096],[24,128,2384,4048,4096]],
[12288,0,1,1,
"5550s051050s042A80s0250005401s2810s0420s1D80s0240"
,[-24,-12,96,2048],[24,48,4096],[24,128,2384,4048,4096]],
[12288,0,1,1,
"5550s0510s052A80s040401s2810s0420s1D80s0240"
,[-24,-12,96,2048],[24,48,4096],[24,128,2384,4048,4096]],
[12288,0,1,1,
"5550s0510s05AA80s045401s2810s0420"
,[-24,-12,96,2048],[24,48,4096],[24,128,2384,4048,4096]],
[12288,0,1,-1,
"5550s0510s05AA80s0208005405s2810s0420s1908s054010s0E04s3920"
,[-24,-12,96,2048],[-24,48,4096],[-24,128,2384,3096,6048]],
[12288,0,1,-1,
"5550s051154s0402s0358s0205s2810s0420s2F04s3920"
,[-24,-12,96,2048],[-24,48,4096],[-24,128,2384,3096,6048]],
[12288,0,1,-1,
"5550s0510s05AA80s045401s2810s0420s1908s054010s0E04s3920"
,[-24,-12,96,2048],[-2024,4096],[-24,128,2384,4048,4096]],
[12288,0,1,1,
"5550s0510s052A80s045401s2810s0420s1F8040s4820"
,[12,24,48,1096],[24,48,96,1192],[24,48,128,384,768,1192,2096]],
[12288,0,1,1,
"5550s0510s05AA80s045401s2810s0420s1C0280000140s0CA802s3A20"
,[12,24,48,1096],[96,1192,2024],[24,48,128,384,768,1192,2096]],
[12288,0,1,1,
"5550s0510s050280s0210005401s2810s0420s2040s0CA802s3A20"
,[12,24,48,1096],[24,48,96,1192],[24,128,384,768,1096,1192,2048]],
[12288,0,1,1,
"5550s0510s0680s0210001409s2810s0420s6920"
,[12,24,48,1096],[24,48,96,1192],[24,48,128,384,768,6096]],
[12288,0,1,1,
"5550s0510s052A80s041401s2810s0420s1C0280s0240s4820"
,[12,24,48,1096],[24,48,96,1192],[24,48,128,384,768,1192,2096]],
[12288,0,1,1,
"5550s0510s050280s045401s2810s0420s2040s0C2802s3A20"
,[12,24,48,1096],[24,48,96,1192],[24,48,128,384,768,1192,2096]],
[12288,0,1,1,
"5550s0510s05AA80s045401s2810s0420s1910s0580s0D2802s3A20"
,[12,24,48,1096],[24,48,96,1192],[24,48,128,384,768,1192,2096]],
[12288,0,1,1,
"5550s0510s052A80s045401s2810s0420s1F8040s4820"
,[12,24,48,1096],[24,48,96,1192],[24,48,384,768,1064,1192,2096]],
[12288,0,1,1,
"5550s0510s05AA80s045401s2810s0420s1C0280000140s0C0802s3A20"
,[12,24,48,1096],[96,1192,2024],[24,48,384,768,1064,1192,2096]],
[12288,0,1,1,
"5550s0510s050A80s0210005401s2810s0420s2040s0C0802s3A20"
,[12,24,48,1096],[24,48,96,1192],[24,384,768,1064,1096,1192,2048]],
[12288,0,1,1,
"5550s0510s052A80s041401s2810s0420s1C0280s0240s4820"
,[12,24,48,1096],[24,48,96,1192],[24,48,384,768,1064,1192,2096]],
[12288,0,1,1,
"5550s0510s05AA80s045401s2810s0420s1910s0580s0D0802s3A20"
,[12,24,48,1096],[24,48,96,1192],[24,48,384,768,1064,1192,2096]],
[12288,0,1,1,
"5550s0510s050280s045401s2810s0420s2040s0C0802s3A20"
,[12,24,48,1096],[24,48,96,1192],[24,48,384,768,1064,1192,2096]],
[12288,0,1,1,
"5550s0510s050280s0210001409s2810s0420s6920"
,[12,24,48,1096],[24,48,96,1192],[24,48,384,768,1064,6096]],
[12288,0,1,-1,
"55F0s0510s050B80s045C01s2810s030220s2010s0C180204"
,[-24,-12,48,192],[-24,48,96,384],[-24,192,256,384,768,1128,2048]],
[12288,0,1,1,
"5550s051004s040A80s0250005409s2810s0420s2D0802s3710"
,[-24,-12,48,192],[24,48,96,384],[24,48,96,192,256,384,768,1128]],
[12288,0,1,-1,
"5550s05100As040A800002A8005415s2810s0420s2010s0C082A04s3280s0301"
,[-24,-12,48,192],[-2024,96,384],[-24,48,96,192,256,384,768,1128]],
[12288,0,1,-1,
"55F0s0510s050780s047C05s2810s030220s2E3A"
,[-24,-12,48,192],[-24,48,96,384],[-24,48,96,192,256,384,768,1128]],
[12288,0,1,-1,
"55F0s05100As040780s0268003C15s2810s0420s2010s0D0804s3610"
,[-24,-12,48,192],[-24,48,96,384],[-24,48,96,192,256,384,768,1128]],
[12288,0,1,-1,
"55F0s0510s050780s043C1Ds2810s0420s2010s0D0804"
,[-24,-12,48,192],[-24,48,96,384],[-24,48,96,256,768,1128,2192]],
[12288,0,1,-1,
"55F0s051004s0407800002B8007C0Ds2810s0420s2D380As3380s0301"
,[-24,-12,48,192],[-24,48,96,384],[-24,48,96,192,256,384,768,1128]],
[12288,0,1,-1,
"55F0s051004s040780s0210007C0Ds2810s030220s2D282A"
,[-24,-12,48,192],[-24,48,96,384],[-24,48,96,192,256,384,768,1128]],
[12288,0,1,-1,
"55F0s0510s050780s0240003C15s2810s0420s2010s0D0804s3610"
,[-24,-12,48,192],[-24,48,96,384],[-24,48,96,192,256,384,768,1128]],
[12288,0,1,-1,
"55F0s05100As040780s0228003C1Ds2810s0420s2010s0D0804"
,[-24,-12,48,192],[-24,48,96,384],[-24,48,96,256,768,1128,2192]],
[12288,0,1,-1,
"55F0s0510s0507800002A8007C05s2810s0420s2D101As3380s0301"
,[-24,-12,48,192],[-24,48,96,384],[-24,48,96,192,256,384,768,1128]],
[12288,0,1,-1,
"55D0s05100As040A80s0228005415s2810s030220s2010s0C182A04"
,[-24,-12,48,192],[-24,48,96,384],[-24,48,96,192,256,384,768,1128]],
[12288,0,1,1,
"5550s0510s050A80s0240005409s2810s0420s2D0802s3710"
,[-24,-12,48,192],[24,48,96,384],[24,48,96,192,256,384,768,1128]],
[12288,0,1,1,
"5550s051004s040A80s0210005409s2810s0420s2D0802"
,[-24,-12,48,192],[24,48,96,384],[24,48,96,256,768,1128,2192]],
[12288,0,1,-1,
"5570s0510s050B800002A8005C01s2810s0420s2010s0C182A04s3280s0301"
,[-24,-12,48,192],[-24,48,96,384],[-24,48,96,192,256,384,768,1128]],
[12288,0,1,-1,
"55F0s0510s050B80s045C01s2810s030220s2010s0CB80204"
,[-24,-12,48,192],[-24,48,96,384],[-24,192,384,768,1256,2048]],
[12288,0,1,-1,
"5570s0510s050B800002A8005C01s2810s0420s2010s0C382A04s3280s0301"
,[-24,-12,48,192],[-24,48,96,384],[-24,48,96,192,384,768,1256]],
[12288,0,1,-1,
"55D0s051002s040280s0208005405s2810s030220s2D503A"
,[-24,-12,48,192],[-24,48,96,384],[-24,48,96,192,384,768,1256]],
[12288,0,1,-1,
"5550s051002s0402800002A8005405s2810s0420s2D501As3380s0301"
,[-24,-12,48,192],[-24,48,96,384],[-24,48,96,192,384,768,1256]],
[12288,0,1,-1,
"5550s05100As040280s0268003C15s2810s0420s2010s0D0804s3610"
,[-24,-12,48,192],[-24,48,96,384],[-24,48,96,192,384,768,1256]],
[12288,0,1,-1,
"5550s05100As040280s0228003C1Ds2810s0420s2010s0D0804"
,[-24,-12,48,192],[-24,48,96,384],[-24,48,96,768,1256,2192]],
[12288,0,1,1,
"5550s051004s040A80s0250005409s2810s0420s2D0802s3710"
,[-24,-12,48,192],[24,48,96,384],[24,48,96,192,384,768,1256]],
[12288,0,1,1,
"5550s051004s040A80s0210005409s2810s0420s2D0802"
,[-24,-12,48,192],[24,48,96,384],[24,48,96,768,1256,2192]],
[12288,0,1,-1,
"55D0s051006s040280s021800540Ds2810s030220s2D782A"
,[-24,-12,48,192],[-24,48,96,384],[-24,48,96,192,384,768,1256]],
[12288,0,1,-1,
"5550s051006s0402800002B800540Ds2810s0420s2D780As3380s0301"
,[-24,-12,48,192],[-24,48,96,384],[-24,48,96,192,384,768,1256]],
[12288,0,1,-1,
"55D0s05100As040A80s0228005415s2810s030220s2010s0C382A04"
,[-24,-12,48,192],[-24,48,96,384],[-24,48,96,192,384,768,1256]],
[12288,0,1,-1,
"5550s05100As040A800002A8005415s2810s0420s2010s0CA82A04s3280s0301"
,[-24,-12,48,192],[-2024,96,384],[-24,48,96,192,384,768,1256]],
[12288,0,1,1,
"5550s0510s050A80s0240005409s2810s0420s2D0802s3710"
,[-24,-12,48,192],[24,48,96,384],[24,48,96,192,384,768,1256]],
[12288,0,1,-1,
"5570s051002s040380s0248003C15s2810s0420s2010s0D0804s3610"
,[-24,-12,48,192],[-24,48,96,384],[-24,48,96,192,384,768,1256]],
[12288,0,1,-1,
"5570s051002s040380s0208003C1Ds2810s0420s2010s0D0804"
,[-24,-12,48,192],[-24,48,96,384],[-24,48,96,768,1256,2192]],
[12288,0,1,1,
"5550s0510s050A80s045401s2810s0420s2DA802s3A20s10050080"
,[12,24,48,192],[96,384,2024],[24,48,96,192,384,512,768]],
[12288,0,1,1,
"5550s0510s050A80s045401s2810s0420s2DA802s3A20s0F02s0280"
,[12,24,48,192],[24,48,96,384],[24,48,96,192,384,512,768]],
[12288,0,1,1,
"5550s0510s050280s045401s2810s0420s2E12s3A20"
,[12,24,48,192],[24,48,96,384],[24,48,96,192,384,512,768]],
[12288,0,1,1,
"5550s0510s050280s045401s2810s0420s2D2802s3A20"
,[12,24,48,192],[24,48,96,384],[24,48,96,192,384,512,768]],
[12288,0,1,1,
"5550s0510s050A80s045401s2810s0420s2E12s3A20"
,[12,24,48,192],[24,48,96,384],[24,48,96,512,768,2192]],
[12288,0,1,1,
"5550s0510s050280s045401s2810s0420s2DA802s3A20s10050080"
,[12,24,48,192],[24,48,96,384],[24,48,96,192,384,512,768]],
[12288,0,1,1,
"5550s0510s050280s045401s2810s0420s2DA802s3A20s0F02s0280"
,[12,24,48,192],[24,48,96,384],[24,192,384,512,768,2048]],
[12288,0,1,1,
"5550s0510s050A80s045401s2810s0420s2DA802s3A20s10050080"
,[12,24,48,192],[96,384,2024],[24,48,96,192,384,768,1256]],
[12288,0,1,1,
"5550s0510s050280s045401s2810s0420s2DA802s3A20s10050080"
,[12,24,48,192],[24,48,96,384],[24,48,96,192,384,768,1256]],
[12288,0,1,1,
"5550s0510s050A80s045401s2810s0420s2E12s3A20"
,[12,24,48,192],[24,48,96,384],[24,48,96,192,384,768,1256]],
[12288,0,1,1,
"5550s0510s050A80s045401s2810s0420s2E12s3A20"
,[12,24,48,192],[24,48,96,384],[24,48,96,768,1256,2192]],
[12288,0,1,1,
"5550s0510s050A80s045401s2810s0420s2DA802s3A20s0F02s0280"
,[12,24,48,192],[24,48,96,384],[24,192,384,768,1256,2048]],
[12288,0,1,1,
"5550s0510s050A80s045401s2810s0420s2DA802s3A20s0F02s0280"
,[12,24,48,192],[24,48,96,384],[24,48,96,192,384,768,1256]],
[12288,0,1,1,
"5550s0510s050280s045401s2810s0420s2D2802s3A20"
,[12,24,48,192],[24,48,96,384],[24,48,96,192,384,768,1256]],
[12288,0,1,-1,
"55F0s0510s050B80s045Cs2910s030220s2DB802s4A01004080"
,[-24,-12,48,192],[-24,48,96,384],[-24,192,256,384,768,1128,2048]],
[12288,0,1,-1,
"5550s05100As040A800002A8005414s2810s0420s2DA82As3380s0301s1201004080"
,[-24,-12,48,192],[-2024,96,384],[-24,48,96,192,256,384,768,1128]],
[12288,0,1,1,
"5550s051004s040A80s0250005408s2810s0420s2D0802s3710"
,[-24,-12,48,192],[24,48,96,384],[24,48,96,192,256,384,768,1128]],
[12288,0,1,-1,
"55F0s05100As040780s0228007C14s2810s030220s2D2818s4B0140"
,[-24,-12,48,192],[-24,48,96,384],[-24,48,96,192,256,384,768,1128]],
[12288,0,1,-1,
"55F0s051004s0405s0202B8007C08s2810s0420s2D2808s3380s0301s130140"
,[-24,-12,48,192],[-24,48,96,384],[-24,48,96,192,256,384,768,1128]],
[12288,0,1,-1,
"55F0s05100As040780s0268003C15s2810s0420s2E0804s3610"
,[-24,-12,48,192],[-24,48,96,384],[-24,48,96,192,256,384,768,1128]],
[12288,0,1,-1,
"55F0s051004s0405s031000381Ds2810s0420s2E0804"
,[-24,-12,48,192],[-24,48,96,384],[-24,48,96,256,768,1128,2192]],
[12288,0,1,-1,
"55F0s0510s050780s0240003C15s2810s0420s2E0804s3610"
,[-24,-12,48,192],[-24,48,96,384],[-24,48,96,192,256,384,768,1128]],
[12288,0,1,-1,
"55F0s05100Es0405s033800381Ds2810s0420s2E0804"
,[-24,-12,48,192],[-24,48,96,384],[-24,48,96,256,768,1128,2192]],
[12288,0,1,-1,
"55F0s05100Es0405s0338007C1Cs2810s030220s2D2808s4B0140"
,[-24,-12,48,192],[-24,48,96,384],[-24,48,96,192,256,384,768,1128]],
[12288,0,1,-1,
"55F0s0510s0507800002A8007Cs2910s0420s2D2818s3380s0301s130140"
,[-24,-12,48,192],[-24,48,96,384],[-24,48,96,192,256,384,768,1128]],
[12288,0,1,1,
"5550s051004s040280s0250005409s2810s0420s2D0802s3710"
,[-24,-12,48,192],[24,48,96,384],[24,48,96,192,256,384,768,1128]],
[12288,0,1,1,
"5550s051004s040280s0210005409s2810s0420s2D0802"
,[-24,-12,48,192],[24,48,96,384],[24,48,96,256,768,1128,2192]],
[12288,0,1,-1,
"55F0s05100As0403s0328005C14s2810s030220s2DA82As4A01004080"
,[-24,-12,48,192],[-24,48,96,384],[-24,48,96,192,256,384,768,1128]],
[12288,0,1,-1,
"5570s05100As0403s0202A8005C14s2810s0420s2DB802s3380s0301s1201004080"
,[-24,-12,48,192],[-24,48,96,384],[-24,48,96,192,256,384,768,1128]],
[12288,0,1,-1,
"55F0s0510s050180s045C01s2810s030220s2DB802s4A01004080"
,[-24,-12,48,192],[-24,48,96,384],[-24,192,384,768,1256,2048]],
[12288,0,1,-1,
"5570s05100As0401800002A8005C14s2810s0420s2DB802s3380s0301s1201004080"
,[-24,-12,48,192],[-24,48,96,384],[-24,48,96,192,384,768,1256]],
[12288,0,1,-1,
"55D0s05100As040280s0228005414s2810s030220s2D7810s4B0140"
,[-24,-12,48,192],[-24,48,96,384],[-24,48,96,192,384,768,1256]],
[12288,0,1,-1,
"5570s051002s0403800002A8005C04s2810s0420s2D7810s3380s0301s130140"
,[-24,-12,48,192],[-24,48,96,384],[-24,48,96,192,384,768,1256]],
[12288,0,1,-1,
"5550s05100As040280s0268003C15s2810s0420s2E0804s3610"
,[-24,-12,48,192],[-24,48,96,384],[-24,48,96,192,384,768,1256]],
[12288,0,1,-1,
"5550s05100Es083800381Ds2810s0420s2E0804"
,[-24,-12,48,192],[-24,48,96,384],[-24,48,96,768,1256,2192]],
[12288,0,1,1,
"5550s051004s0580s0250005408s2810s0420s2D0802s3710"
,[-24,-12,48,192],[24,48,96,384],[24,48,96,192,384,768,1256]],
[12288,0,1,1,
"5550s051004s040280s0210005409s2810s0420s2D0802"
,[-24,-12,48,192],[24,48,96,384],[24,48,96,768,1256,2192]],
[12288,0,1,-1,
"55D0s05100Es083800541Cs2810s030220s2D78s4C0140"
,[-24,-12,48,192],[-24,48,96,384],[-24,48,96,192,384,768,1256]],
[12288,0,1,-1,
"5570s051006s0401s0202B8005C0Cs2810s0420s2D78s3480s0301s130140"
,[-24,-12,48,192],[-24,48,96,384],[-24,48,96,192,384,768,1256]],
[12288,0,1,-1,
"55F0s05100As040180s0228005C14s2810s030220s2DA82As4A01004080"
,[-24,-12,48,192],[-24,48,96,384],[-24,48,96,192,384,768,1256]],
[12288,0,1,-1,
"5550s05100As05800002A8005415s2810s0420s2DA82As3380s0301s1201004080"
,[-24,-12,48,192],[-2024,96,384],[-24,48,96,192,384,768,1256]],
[12288,0,1,1,
"5550s051004s040280s0250005409s2810s0420s2D0802s3710"
,[-24,-12,48,192],[24,48,96,384],[24,48,96,192,384,768,1256]],
[12288,0,1,-1,
"5570s051002s040380s0248003C15s2810s0420s2E0804s3610"
,[-24,-12,48,192],[-24,48,96,384],[-24,48,96,192,384,768,1256]],
[12288,0,1,-1,
"5570s051006s0401s031800381Ds2810s0420s2E0804"
,[-24,-12,48,192],[-24,48,96,384],[-24,48,96,768,1256,2192]],
[12288,0,1,-1,
"3FF0s0510s053F80s0208005405s1980s0E10s030220s2D0802s3701s0220"
,[12,24,48,1096],[-24,48,4096],[-24,1064,2384,4048,4096]],
[12288,0,1,-1,
"3FF0s0510s053F80s0208005404s1980s0E10s030220s2D0802s3701"
,[12,24,48,1096],[-24,48,4096],[-24,1064,2384,4048,4096]],
[12288,0,1,-1,
"3FF0s0510s05BF80s0208005404s1980s0E10s030220s2D0802s3701"
,[12,24,48,1096],[-24,48,4096],[-24,1064,2384,4048,4096]],
[12288,0,1,-1,
"3FD0s0510s055D80s0208001401s1980s0E10s030220s2E08s3701s0220"
,[12,24,48,1096],[-24,48,4096],[-24,1064,2384,4048,4096]],
[12288,0,1,-1,
"3FD0s0510s057F80s0208001401s1980s0E10s030220s2E08s3701"
,[12,24,48,1096],[-24,48,4096],[-24,1064,2384,4048,4096]],
[12288,0,1,-1,
"3FF0s0510s05BF80s0208005405s1980s0E10s030220s2D0802s3701s0220"
,[12,24,48,1096],[-24,48,4096],[-24,1064,2384,4048,4096]],
[12288,0,1,-1,
"3FF0s0510s053F80s0208005405s1980s0E10s030220s1F4050s0C0802"
,[12,24,96,2048],[-24,48,4096],[-24,1064,2384,4048,4096]],
[12288,0,1,-1,
"3FF0s0510s053F80s0208005404s1980s0E10s030220s1F4050s0C0802"
,[12,24,96,2048],[-24,48,4096],[-24,1064,2384,4048,4096]],
[12288,0,1,-1,
"3FF0s0510s05BF80s0208005405s1980s0E10s030220s2D0802"
,[12,24,96,2048],[-24,48,4096],[-24,1064,2384,4048,4096]],
[12288,0,1,-1,
"3FF0s0510s05BF80s0208005404s1980s0E10s030220s2D0802"
,[12,24,96,2048],[-24,48,4096],[-24,1064,2384,4048,4096]],
[12288,0,1,-1,
"3FD0s0510s055Ds0308001401s1980s0E10s030220s2E08s3701"
,[12,24,48,1096],[-24,48,4096],[-24,1064,2384,4048,4096]],
[12288,0,1,-1,
"3FD0s0510s057F80s0208001401s1980s0E10s030220s2E08s3701s0220"
,[12,24,48,1096],[-24,48,4096],[-24,1064,2384,4048,4096]],
[12288,0,1,-1,
"3FD0s0510s057F80s0208001401s1980s0E10s030220s1F4050s0D08"
,[12,24,96,2048],[-24,48,4096],[-24,1064,2384,4048,4096]],
[12288,0,1,-1,
"3FD0s0510s055D80s0208001401s1980s0E10s030220s2E08"
,[12,24,96,2048],[-24,48,4096],[-24,1064,2384,4048,4096]],
[12288,0,1,-1,
"3FD0s0510s057F80s0208001401s1980s0E10s030220s1F4050s0D08"
,[12,24,96,2048],[-24,48,4096],[-24,1064,2384,4048,4096]],
[12288,0,1,-1,
"3FD0s0510s055Ds0308001401s1980s0E10s030220s2E08"
,[12,24,96,2048],[-24,48,4096],[-24,1064,2384,4048,4096]],
[12288,0,1,-1,
"37D0s0510s054Fs0338001C0Ds1980s0E10s0420s2E08s3701"
,[12,24,48,1096],[-24,48,96,1192],[-24,48,64,384,768,1032,1192,2096]],
[12288,0,1,-1,
"37F0s0510s054F80s0218007C1Ds1980s0E10s0420s2E08s3701"
,[12,24,48,1096],[-24,48,96,1192],[-24,48,384,768,1064,1192,2096]],
[12288,0,1,-1,
"3FF0s0510s05BFs0308007404s1980s0E10s0420s1918s020180018180s0C080As3701"
,[12,24,48,1096],[-24,48,96,1192],[-24,48,384,768,1064,1192,2096]],
[12288,0,1,-1,
"3FD0s0510s05BFs0308005C04s1980s0E10s0420s1930s0203s02C0C0s0C080As3701"
,[12,24,48,1096],[-24,48,96,1192],[-24,48,64,384,768,1032,1192,2096]],
[12288,0,1,-1,
"3FD0s0510s050780s0208005401s1980s0E10s030220s6601s0220"
,[12,192,2024],[-24,1192,2048],[-2024,128,384,2096,5192]],
[12288,0,1,-1,
"3FF0s0510s050780s0238005C01s1980s0E10s030220s2010s0D0204s3601s0220"
,[-24,-12,48,1096],[-24,48,96,1192],[-24,48,1064,1384,2096,3192]],
[12288,0,1,-1,
"3FD0s0510s050F80s0208005401s1980s0E10s030220s6601s0220"
,[12,192,2024],[-24,1192,2048],[-2024,128,384,2096,5192]],
[12288,0,1,-1,
"3FD0s0510s050780s0208005401s1980s120220"
,[12,192,2024],[-24,1192,2048],[-2024,2096,3128,5192]],
[12288,0,1,-1,
"3FF0s0510s050780s0238005C01s1980s0E10s030220s2010s0D0204s3601s0220"
,[-24,-12,48,1096],[-24,48,96,1192],[-24,48,1064,1384,2096,3192]],
[12288,0,1,-1,
"3FD0s0510s050780s0208005415s1980s0E10s030220s2010s0C101204s3601s0220"
,[-24,-12,48,192],[-24,48,96,1192],[-24,48,128,1192,2096,2384]],
[12288,0,1,-1,
"3FD0s0510s050780s0208005C09s1980s0E10s030220s2010s0C282A04s3601s0220"
,[-24,-12,48,192],[-24,48,96,1192],[-24,48,128,1192,2096,2384]],
[12288,0,1,1,
"1550s0510s052A80s045401s2810s0420s6920"
,[-24,-12,48,1096],[24,48,4096],[24,128,2384,4048,4096],
[40244,[[[-7002,1004],[-5002,1004,3001],[-3004,3008],[-3004,
3008],[-3004,3008],[-3002,4],[-1004,1004,3008],
[-1004,1004,3008],[1016,3004,5008],[1016,3004,5008],
[1016,7008],[1016,7008],[1016,7008],
[1064,3016,5032],[1064,3016,5032],[1064,3016,5032],
[1064,3016,5032],[1064,7032],[1064,7032],
[1064,7032],[1064,7032],[1064,7032],[1064,7032],
[2008],[2008],[3008,9016],[3008,9016],[3008,9016],
[3032,3064],[3032,3064],[5001],[5016],[5016],
[5016,11008],[7008,7016],[7008,7016],[7008,7016],
[7008,7016],[7008,7016],[7008,7016],[23064],
[23064]],
[[-7002,1004],[-5002,1004,3001],[-3004,3008],
[-3004,3008],[-3004,3008],[-3002,4],
[-1004,1004,3008],[-1004,1004,3008],[1016,3004,5008],
[1016,3004,5008],[1016,7008],[1016,7008],
[1016,7008],[1064,3016,5032],[1064,3016,5032],
[1064,3016,5032],[1064,3016,5032],[1064,7032],
[1064,7032],[1064,7032],[1064,7032],[1064,7032],
[1064,7032],[2008],[2008],[3032,3064],[3032,3064],
[5001],[5016],[5016],[7008,7016],[7008,7016],
[7008,7016],[7008,7016],[7008,7016],[7008,7016],
[7008,7016],[7008,7016],[7008,7016],[11016],
[23064],[23064]],
[[-3008,3016],[-3008,3016],[-2004],[-2002],
[-1004,8,1016],[-1004,8,1016],[-1004,8,1016],
[-1004,8,1016],[-1004,8,1016],[-1004,1008],
[-4,-2,1001,1008],[32,3016],[32,3016],[32,3016],
[32,3016],[64,128,5032],[64,128,5032],[64,3032],
[64,3032],[64,3032],[64,3032],[64,3032],
[64,3032],[64,3032],[64,3032],[128,1032,1064,3016],
[128,1032,1064,3016],[128,1032,1064,3016],
[128,1032,1064,3016],[128,1064,3032],[128,1064,3032],
[1032,3008],[1032,4064],[1032,4064],[1032,4064],
[1032,4064],[1064,3016],[1064,3016],[2008],[2008],
[3128,3256],[3128,3256]],
[[-3008,3016],[-3008,3016],[-2004],[-2002],
[-1004,8,1016],[-1004,8,1016],[-1004,8,1016],
[-1004,8,1016],[-1004,8,1016],[-1004,1008],
[-4,-2,1001,1008],[32,3016],[32,3016],[32,3016],
[32,3016],[64,128,5032],[64,128,5032],[64,3032],
[64,3032],[64,3032],[64,3032],[64,3032],
[64,3032],[64,3032],[64,3032],[128,1032,1064,3016],
[128,1032,1064,3016],[128,1032,1064,3016],
[128,1032,1064,3016],[128,1064,3032],[128,1064,3032],
[1032,3008],[1032,4064],[1032,4064],[1032,4064],
[1032,4064],[1064,3016],[1064,3016],[2008],[2008],
[3128,3256],[3128,3256]]]]],
[12288,0,1,1,
"1550s0510s052A80s045401s2D20s2DA802s3A20"
,[12,1096,2024],[24,1192,2048],[128,1192,2024,2096,2384],
[20244,[[[-3002,32,1004],[-1002,4,16],[-1002,4,16],[-4,-2
],[-4,1001],[-2,4],[32,3004],[32,3004],
[32,3016],[32,3016],[64,1016,1032,3008],
[64,1016,2032],[64,1032,3016],[64,1032,3016],
[64,1032,3016],[64,1032,3016],[64,1032,3016],
[64,1032,3016],[64,1032,3016],[64,3032],[64,3032],
[128,256,1064,7032],[128,256,1064,7032],
[128,1016,1064,2032],[128,1032,1064,3016],
[128,1064,3032],[128,3064],[128,3064],
[256,1032,1128,2064],[256,1064,1128,3032],
[256,1128,3064],[256,3128],[2008],[2008],[2032],
[2032],[2064],[3032,3064],[3064,3128]],
[[-3002,32,1004],[-1002,4,16],[-1002,4,16],[-4,-2],
[-4,1001],[-2,4],[32,3004],[32,3004],[32,3016],
[32,3016],[64,1016,1032,3008],[64,1016,2032],
[64,1032,3016],[64,1032,3016],[64,1032,3016],
[64,1032,3016],[64,1032,3016],[64,1032,3016],
[64,1032,3016],[64,3032],[64,3032],
[128,256,1064,7032],[128,256,1064,7032],
[128,1016,1064,2032],[128,1032,1064,3016],
[128,1064,3032],[128,3064],[128,3064],
[256,1032,1128,2064],[256,1064,1128,3032],
[256,1128,3064],[256,3128],[2008],[2008],[2032],
[2032],[2064],[3032,3064],[3064,3128]],
[[-3002,1004,1016],[-1008,4016],[-1008,4016],
[-1004,1008],[-1004,2008,3016],[-1004,2008,3016],
[-1002,4,16],[-1002,4,16],[-1002,1001],[-4,-2],
[-4,-2],[64,3032],[64,3032],[128,1016,1064,2032],
[128,1016,1064,2032],[128,3064],[256,1128,3064],
[256,1128,3064],[256,3128],[256,3128],
[1016,1064,6032],[1016,1064,6032],[1016,3004],
[1016,3004],[1032,1128,6064],[1064,2128,7032],
[1064,2128,7032],[2008],[2064],[2064],[3016,3032],
[3016,3032],[3016,3032],[3016,3032],[3016,3032],
[3016,3032],[3016,3032],[3016,3032],[3032,3064]]]]],
[12288,0,1,1,
"1550s0510s050280s045401s2D20s2D2802"
,[12,192,2024],[24,384,2048],[96,192,1256,2024,2384]],
[12288,0,1,-1,
"1550s0510s050780s0218005415s2810s0420s2010s0C100204s3601s0220"
,[-24,-12,48,192],[-24,48,96,384],[-24,48,96,128,192,3384]],
[12288,0,1,1,
"1550s0510s050280s0210005401s2810s0420s2E12s3A20"
,[-24,-12,48,192],[24,48,96,384],[24,48,96,128,192,3384]],
[12288,0,1,-1,
"1570s0510s052B80s0228000C05s2D20s1E014090s0E04s3920"
,[-24,-12,48,1096],[-24,48,96,1192],[-24,48,128,1192,2096,2384]],
[12288,0,1,-1,
"15F0s0510s050780s047C05s2D20s2E08"
,[12,192,2024],[-24,384,2048],[-2024,96,192,2384,3128]],
[12288,0,1,1,
"1550s0510s052A80s045401s2D20s2D2802"
,[12,1096,2024],[24,1192,2048],[128,1192,2024,2096,2384],
[20244,[[[-3002,32,1004],[-1002,4,16],[-1002,4,16],[-4,-2
],[-4,1001],[-2,4],[32,3004],[32,3004],
[32,3016],[32,3016],[64,1016,1032,3008],
[64,1016,2032],[64,1032,3016],[64,1032,3016],
[64,1032,3016],[64,1032,3016],[64,1032,3016],
[64,1032,3016],[64,1032,3016],[64,3032],[64,3032],
[128,256,1064,7032],[128,256,1064,7032],
[128,1016,1064,2032],[128,1032,1064,3016],
[128,1064,3032],[128,3064],[128,3064],
[256,1032,1128,2064],[256,1064,1128,3032],
[256,1128,3064],[256,3128],[2008],[2008],[2032],
[2032],[2064],[3032,3064],[3064,3128]],
[[-3002,32,1004],[-1002,4,16],[-1002,4,16],[-4,-2],
[-4,1001],[-2,4],[32,3004],[32,3004],[32,3016],
[32,3016],[64,1016,1032,3008],[64,1016,2032],
[64,1032,3016],[64,1032,3016],[64,1032,3016],
[64,1032,3016],[64,1032,3016],[64,1032,3016],
[64,1032,3016],[64,3032],[64,3032],
[128,256,1064,7032],[128,256,1064,7032],
[128,1016,1064,2032],[128,1032,1064,3016],
[128,1064,3032],[128,3064],[128,3064],
[256,1032,1128,2064],[256,1064,1128,3032],
[256,1128,3064],[256,3128],[2008],[2008],[2032],
[2032],[2064],[3032,3064],[3064,3128]],
[[-3002,1004,1016],[-1008,2016,3008],[-1008,4016],
[-1004,1008],[-1004,2008,3016],[-1004,2008,3016],
[-1002,4,16],[-1002,4,16],[-1002,1001],[-4,-2],
[-4,-2],[64,3032],[64,3032],[128,1016,1064,2032],
[128,1016,1064,2032],[128,3064],[256,1128,3064],
[256,1128,3064],[256,3128],[256,3128],
[1016,1064,6032],[1016,1064,6032],[1016,3004],
[1016,3004],[1032,1128,6064],[1064,2128,7032],
[1064,2128,7032],[2008],[2064],[2064],[3016,3032],
[3016,3032],[3016,3032],[3016,3032],[3016,3032],
[3016,3032],[3016,3032],[3016,3032],[3032,3064]]]]],
[12288,0,1,-1,
"15D0s0510s05BF80s045401s2C0220s2F04s3920s1704"
,[-24,-12,48,1096],[-24,48,4096],[-24,128,2384,4048,4096]],
[12288,0,1,1,
"1550s0510s052A80s045401s2810s0420s6920"
,[-24,-12,48,1096],[24,48,4096],[24,128,2384,4048,4096],
[40244,[[[-7002,1004],[-5002,1004,3001],[-3004,3008],[-3004,
3008],[-3004,3008],[-3002,4],[-1004,1004,3008],
[-1004,1004,3008],[1016,3004,5008],[1016,3004,5008],
[1016,7008],[1016,7008],[1016,7008],
[1064,3016,5032],[1064,3016,5032],[1064,3016,5032],
[1064,3016,5032],[1064,7032],[1064,7032],
[1064,7032],[1064,7032],[1064,7032],[1064,7032],
[2008],[2008],[3008,9016],[3008,9016],[3008,9016],
[3032,3064],[3032,3064],[5001],[5016],[5016],
[5016,11008],[7008,7016],[7008,7016],[7008,7016],
[7008,7016],[7008,7016],[7008,7016],[23064],
[23064]],
[[-7002,1004],[-5002,1004,3001],[-3004,3008],
[-3004,3008],[-3004,3008],[-3002,4],
[-1004,1004,3008],[-1004,1004,3008],[1016,3004,5008],
[1016,3004,5008],[1016,7008],[1016,7008],
[1016,7008],[1064,3016,5032],[1064,3016,5032],
[1064,3016,5032],[1064,3016,5032],[1064,7032],
[1064,7032],[1064,7032],[1064,7032],[1064,7032],
[1064,7032],[2008],[2008],[3032,3064],[3032,3064],
[5001],[5016],[5016],[7008,7016],[7008,7016],
[7008,7016],[7008,7016],[7008,7016],[7008,7016],
[7008,7016],[7008,7016],[7008,7016],[11016],
[23064],[23064]],
[[-3008,3016],[-3008,3016],[-2004],[-2002],
[-1004,8,1016],[-1004,8,1016],[-1004,8,1016],
[-1004,8,1016],[-1004,8,1016],[-1004,1008],
[-4,-2,1001,1008],[32,3016],[32,3016],[32,3016],
[32,3016],[64,128,5032],[64,128,5032],[64,3032],
[64,3032],[64,3032],[64,3032],[64,3032],
[64,3032],[64,3032],[64,3032],[128,1032,1064,3016],
[128,1032,1064,3016],[128,1032,1064,3016],
[128,1032,1064,3016],[128,1064,3032],[128,1064,3032],
[1032,3008],[1032,4064],[1032,4064],[1032,4064],
[1032,4064],[1064,3016],[1064,3016],[2008],[2008],
[3128,3256],[3128,3256]],
[[-3008,3016],[-3008,3016],[-2004],[-2002],
[-1004,8,1016],[-1004,8,1016],[-1004,8,1016],
[-1004,8,1016],[-1004,8,1016],[-1004,1008],
[-4,-2,1001,1008],[32,3016],[32,3016],[32,3016],
[32,3016],[64,128,5032],[64,128,5032],[64,3032],
[64,3032],[64,3032],[64,3032],[64,3032],
[64,3032],[64,3032],[64,3032],[128,1032,1064,3016],
[128,1032,1064,3016],[128,1032,1064,3016],
[128,1032,1064,3016],[128,1064,3032],[1032,3008],
[1032,4064],[1032,4064],[1032,4064],[1032,4064],
[1064,3016],[1064,3016],[2008],[2008],[3032,3064],
[3128,3256],[3128,3256]]]]],
[12288,0,1,1,
"1550s0510s052A80s045401s2D20s2D2802s3A20"
,[12,1096,2024],[24,1192,2048],[128,1192,2024,2096,2384],
[20244,[[[-3002,32,1004],[-1002,4,16],[-1002,4,16],[-4,-2
],[-4,1001],[-2,4],[32,3004],[32,3004],
[32,3016],[32,3016],[64,1016,1032,3008],
[64,1016,2032],[64,1032,3016],[64,1032,3016],
[64,1032,3016],[64,1032,3016],[64,1032,3016],
[64,1032,3016],[64,1032,3016],[64,3032],[64,3032],
[128,256,1064,7032],[128,256,1064,7032],
[128,1016,1064,2032],[128,1032,1064,3016],
[128,1064,3032],[128,3064],[128,3064],
[256,1032,1128,2064],[256,1064,1128,3032],
[256,1128,3064],[256,3128],[2008],[2008],[2032],
[2032],[2064],[3032,3064],[3064,3128]],
[[-3002,32,1004],[-1002,4,16],[-1002,4,16],[-4,-2],
[-4,1001],[-2,4],[32,3004],[32,3004],[32,3016],
[32,3016],[64,1016,1032,3008],[64,1032,3016],
[64,1032,3016],[64,1032,3016],[64,1032,3016],
[64,1032,3016],[64,1032,3016],[64,1032,3016],
[64,3032],[64,3032],[128,256,1064,7032],
[128,256,1064,7032],[128,1016,1064,2032],
[128,1032,1064,3016],[128,1064,3032],[128,3064],
[128,3064],[256,1032,1128,2064],[256,1064,1128,3032],
[256,1128,3064],[256,3128],[1016,4032],[2008],
[2008],[2032],[2032],[2064],[3032,3064],
[3064,3128]],
[[-3002,1004,1016],[-1008,2016,3008],[-1008,4016],
[-1004,1008],[-1004,2008,3016],[-1004,2008,3016],
[-1002,4,16],[-1002,4,16],[-1002,1001],[-4,-2],
[-4,-2],[64,3032],[64,3032],[128,1016,1064,2032],
[128,1016,1064,2032],[128,3064],[256,1128,3064],
[256,1128,3064],[256,3128],[256,3128],
[1016,1064,6032],[1016,1064,6032],[1016,3004],
[1016,3004],[1032,1128,6064],[1064,2128,7032],
[1064,2128,7032],[2008],[2064],[2064],[3016,3032],
[3016,3032],[3016,3032],[3016,3032],[3016,3032],
[3016,3032],[3016,3032],[3016,3032],[3032,3064]]]]],
[12288,0,1,1,
"1550s0510s05AA80s045401s2D20s2D2802s3A20"
,[12,1096,2024],[24,1192,2048],[128,1192,2024,2096,2384],
[20244,[[[-3002,32,1004],[-1002,4,16],[-1002,4,16],[-4,-2
],[-4,1001],[-2,4],[32,3004],[32,3004],
[32,3016],[32,3016],[64,1016,1032,3008],
[64,1016,2032],[64,1032,3016],[64,1032,3016],
[64,1032,3016],[64,1032,3016],[64,1032,3016],
[64,1032,3016],[64,1032,3016],[64,3032],[64,3032],
[128,256,1064,7032],[128,256,1064,7032],
[128,1016,1064,2032],[128,1032,1064,3016],
[128,1064,3032],[128,3064],[128,3064],
[256,1032,1128,2064],[256,1064,1128,3032],
[256,1128,3064],[256,3128],[2008],[2008],[2032],
[2032],[2064],[3032,3064],[3064,3128]],
[[-3002,32,1004],[-1002,4,16],[-1002,4,16],[-4,-2],
[-4,1001],[-2,4],[32,3004],[32,3004],[32,3016],
[32,3016],[64,1016,1032,3008],[64,1016,2032],
[64,1032,3016],[64,1032,3016],[64,1032,3016],
[64,1032,3016],[64,1032,3016],[64,1032,3016],
[64,1032,3016],[64,3032],[64,3032],
[128,256,1064,7032],[128,256,1064,7032],
[128,1016,1064,2032],[128,1032,1064,3016],
[128,1064,3032],[128,3064],[128,3064],
[256,1032,1128,2064],[256,1064,1128,3032],
[256,1128,3064],[256,3128],[2008],[2008],[2032],
[2032],[2064],[3032,3064],[3064,3128]],
[[-3002,1004,1016],[-1008,32,2016],[-1008,4016],
[-1004,1008],[-1004,2008,3016],[-1004,2008,3016],
[-1002,4,16],[-1002,4,16],[-1002,1001],[-4,-2],
[-4,-2],[64,3032],[64,3032],[128,1016,1064,2032],
[128,1016,1064,2032],[128,3064],[256,1128,3064],
[256,1128,3064],[256,3128],[256,3128],
[1016,1064,6032],[1016,1064,6032],[1016,3004],
[1016,3004],[1032,1128,6064],[1064,2128,7032],
[1064,2128,7032],[2008],[2064],[2064],[3016,3032],
[3016,3032],[3016,3032],[3016,3032],[3016,3032],
[3016,3032],[3016,3032],[3016,3032],[3032,3064]]]]],
[12288,0,1,-1,
"1570s0510s052B80s0228000C05s2D20s1E014090s0E04s3920"
,[-24,-12,48,1096],[-24,48,96,1192],[-24,48,128,1192,2096,2384]],
[12288,0,1,1,
"1550s0510s050280s045401s2D20s2DA802"
,[12,192,2024],[24,384,2048],[96,192,1256,2024,2384]],
[12288,0,1,1,
"1550s0510s052A80s045401s2D20s2DA802s3A20"
,[12,1096,2024],[24,1192,2048],[128,1192,2024,2096,2384],
[20244,[[[-3002,32,1004],[-1002,4,16],[-1002,4,16],[-4,-2
],[-4,1001],[-2,4],[32,3004],[32,3004],
[32,3016],[32,3016],[64,1016,1032,3008],
[64,1016,2032],[64,1032,3016],[64,1032,3016],
[64,1032,3016],[64,1032,3016],[64,1032,3016],
[64,1032,3016],[64,1032,3016],[64,3032],[64,3032],
[128,256,1064,7032],[128,256,1064,7032],
[128,1016,1064,2032],[128,1032,1064,3016],
[128,1064,3032],[128,3064],[128,3064],
[256,1032,1128,2064],[256,1064,1128,3032],
[256,1128,3064],[256,3128],[2008],[2008],[2032],
[2032],[2064],[3032,3064],[3064,3128]],
[[-3002,32,1004],[-1002,4,16],[-1002,4,16],[-4,-2],
[-4,1001],[-2,4],[32,3004],[32,3004],[32,3016],
[32,3016],[64,1016,1032,3008],[64,1016,2032],
[64,1032,3016],[64,1032,3016],[64,1032,3016],
[64,1032,3016],[64,1032,3016],[64,1032,3016],
[64,1032,3016],[64,3032],[64,3032],
[128,256,1064,7032],[128,256,1064,7032],
[128,1016,1064,2032],[128,1032,1064,3016],
[128,1064,3032],[128,3064],[128,3064],
[256,1032,1128,2064],[256,1064,1128,3032],
[256,1128,3064],[256,3128],[2008],[2008],[2032],
[2032],[2064],[3032,3064],[3064,3128]],
[[-3002,1004,1016],[-1008,4016],[-1008,4016],
[-1004,1008],[-1004,2008,3016],[-1004,2008,3016],
[-1002,4,16],[-1002,4,16],[-1002,1001],[-4,-2],
[-4,-2],[64,3032],[64,3032],[128,1016,1064,2032],
[128,1016,1064,2032],[128,3064],[256,1128,3064],
[256,1128,3064],[256,3128],[256,3128],
[1016,1064,6032],[1016,1064,6032],[1016,3004],
[1016,3004],[1032,1128,6064],[1064,2128,7032],
[1064,2128,7032],[2008],[2064],[2064],[3016,3032],
[3016,3032],[3016,3032],[3016,3032],[3016,3032],
[3016,3032],[3016,3032],[3016,3032],[3032,3064]]]]],
[12288,0,1,1,
"1550s0510s052A80s045401s2D20s2DA802"
,[12,1096,2024],[24,1192,2048],[128,1192,2024,2096,2384]],
[12288,0,1,-1,
"15D0s0510s05BF80s045401s2C0220s2F04s3920s1704"
,[-24,-12,48,1096],[-24,48,4096],[-24,128,2384,4048,4096]],
[12288,0,1,1,
"1550s0510s052A80s041401s2D20s1E028040"
,[12,1096,2024],[24,1192,2048],[128,1192,2024,2096,2384],
[20241,[[[-1002,-16,-4]],[[-1002,-16,-4]],[[-1002,-8,-4,
8]]]]],
[12288,0,1,1,
"1550s0510s05AA80s045401s2D20s2D2802s3A20"
,[12,1096,2024],[24,1192,2048],[128,1192,2024,2096,2384],
[20244,[[[-3002,32,1004],[-1002,4,16],[-1002,4,16],[-4,-2
],[-4,1001],[-2,4],[32,3004],[32,3004],
[32,3016],[32,3016],[64,1016,1032,3008],
[64,1016,2032],[64,1032,3016],[64,1032,3016],
[64,1032,3016],[64,1032,3016],[64,1032,3016],
[64,1032,3016],[64,1032,3016],[64,3032],[64,3032],
[128,256,1064,7032],[128,256,1064,7032],
[128,1016,1064,2032],[128,1032,1064,3016],
[128,1064,3032],[128,3064],[128,3064],
[256,1032,1128,2064],[256,1064,1128,3032],
[256,1128,3064],[256,3128],[2008],[2008],[2032],
[2032],[2064],[3032,3064],[3064,3128]],
[[-3002,32,1004],[-1002,4,16],[-1002,4,16],[-4,-2],
[-4,1001],[-2,4],[32,3004],[32,3004],[32,3016],
[32,3016],[64,1016,1032,3008],[64,1032,3016],
[64,1032,3016],[64,1032,3016],[64,1032,3016],
[64,1032,3016],[64,1032,3016],[64,1032,3016],
[64,3032],[64,3032],[128,256,1064,7032],
[128,256,1064,7032],[128,1016,1064,2032],
[128,1032,1064,3016],[128,1064,3032],[128,3064],
[128,3064],[256,1032,1128,2064],[256,1064,1128,3032],
[256,1128,3064],[256,3128],[1016,4032],[2008],
[2008],[2032],[2032],[2064],[3032,3064],
[3064,3128]],
[[-3002,1004,1016],[-1008,32,2016],[-1008,4016],
[-1004,1008],[-1004,2008,3016],[-1004,2008,3016],
[-1002,4,16],[-1002,4,16],[-1002,1001],[-4,-2],
[-4,-2],[64,3032],[64,3032],[128,1016,1064,2032],
[128,1016,1064,2032],[128,3064],[256,1128,3064],
[256,1128,3064],[256,3128],[256,3128],
[1016,1064,6032],[1016,1064,6032],[1016,3004],
[1016,3004],[1032,1128,6064],[1064,2128,7032],
[1064,2128,7032],[2008],[2064],[2064],[3016,3032],
[3016,3032],[3016,3032],[3016,3032],[3016,3032],
[3016,3032],[3016,3032],[3016,3032],[3032,3064]]]]],
[12288,0,1,1,
"1550s0510s052A80s0444s2E20s1E028040"
,[12,1096,2024],[24,1192,2048],[128,1192,2024,2096,2384]],
[12288,0,1,1,
"1550s0510s052A80s044401s2D20s1E028040s4820"
,[12,1096,2024],[24,1192,2048],[128,1192,2024,2096,2384],
[20241,[[[-1008,-1002,-4]],[[-1002,-16,-4]],[[-1002,-16,-\
4]]]],
[20244,[[[-3016,64,1032],[-3016,64,1032],[-3016,64,1032],[
-3016,64,1032],[-3016,64,1032],[-3016,64,1032],
[-3004,32],[-3004,32],[-3002,8,32],[-1004,8,32],
[-4,-2],[-4,1001],[-2,4],[32,128,1016,2064],
[32,3016],[32,3016],[64,1016,2032],[64,1032,3016],
[64,2032,3008],[64,3032],[64,3032],
[128,256,3032,3064],[128,256,3032,3064],
[128,1064,3032],[128,2064,3016],[128,3064],
[128,3064],[256,1032,1128,2064],[256,1064,1128,3032],
[256,1128,3064],[256,3128],[2008],[2008],[2032],
[2032],[2064],[3032,3064],[3064,3128]],
[[-3016,64,1032],[-3016,64,1032],[-3016,64,1032],
[-3016,64,1032],[-3016,64,1032],[-3016,64,1032],
[-3004,32],[-3004,32],[-3002,8,32],[-1004,8,32],
[-4,-2],[-4,1001],[-2,4],[32,128,1016,2064],
[32,3016],[32,3016],[64,1016,2032],[64,1032,3016],
[64,2032,3008],[64,3032],[64,3032],
[128,256,3032,3064],[128,256,3032,3064],
[128,1064,3032],[128,2064,3016],[128,3064],
[128,3064],[256,1032,1128,2064],[256,1064,1128,3032],
[256,1128,3064],[256,3128],[2008],[2008],[2032],
[2032],[2064],[3032,3064],[3064,3128]],
[[-3004,1016],[-3004,1016],[-3002,8,1016],
[-1008,16,1032],[-1008,32,2016],[-1004,8,32],
[-1004,8,4016],[-1004,8,4016],[-1004,1008],
[-1002,1001],[-4,-2],[-4,-2],[64,3032],
[64,3032],[128,1016,1064,2032],[128,1016,1064,2032],
[128,3064],[256,1128,3064],[256,1128,3064],
[256,3128],[256,3128],[1016,2064,4032],
[1016,2064,4032],[1032,1128,6064],[2008],[2064],
[2064],[2128,3032,3064],[2128,3032,3064],
[3016,3032],[3016,3032],[3016,3032],[3016,3032],
[3016,3032],[3016,3032],[3016,3032],[3016,3032],
[3032,3064]]]]],
[12288,0,1,-1,
"1570s0510s05AB80s0228005C15s2D20s1908s054010s0C100004s3920"
,[-24,-12,48,1096],[-24,48,96,1192],[-24,48,128,1192,2096,2384]],
[12288,0,1,1,
"1550s0510s052A80s045401s2D20s2D2802s3A20"
,[12,1096,2024],[24,1192,2048],[128,1192,2024,2096,2384],
[20244,[[[-3002,32,1004],[-1002,4,16],[-1002,4,16],[-4,-2
],[-4,1001],[-2,4],[32,3004],[32,3004],
[32,3016],[32,3016],[64,1016,1032,3008],
[64,1016,2032],[64,1032,3016],[64,1032,3016],
[64,1032,3016],[64,1032,3016],[64,1032,3016],
[64,1032,3016],[64,1032,3016],[64,3032],[64,3032],
[128,256,1064,7032],[128,256,1064,7032],
[128,1016,1064,2032],[128,1032,1064,3016],
[128,1064,3032],[128,3064],[128,3064],
[256,1032,1128,2064],[256,1064,1128,3032],
[256,1128,3064],[256,3128],[2008],[2008],[2032],
[2032],[2064],[3032,3064],[3064,3128]],
[[-3002,32,1004],[-1002,4,16],[-1002,4,16],[-4,-2],
[-4,1001],[-2,4],[32,3004],[32,3004],[32,3016],
[32,3016],[64,1016,1032,3008],[64,1016,2032],
[64,1032,3016],[64,1032,3016],[64,1032,3016],
[64,1032,3016],[64,1032,3016],[64,1032,3016],
[64,1032,3016],[64,3032],[64,3032],
[128,256,1064,7032],[128,256,1064,7032],
[128,1016,1064,2032],[128,1032,1064,3016],
[128,1064,3032],[128,3064],[128,3064],
[256,1032,1128,2064],[256,1064,1128,3032],
[256,1128,3064],[256,3128],[2008],[2008],[2032],
[2032],[2064],[3032,3064],[3064,3128]],
[[-3002,1004,1016],[-1008,2016,3008],[-1008,4016],
[-1004,1008],[-1004,2008,3016],[-1004,2008,3016],
[-1002,4,16],[-1002,4,16],[-1002,1001],[-4,-2],
[-4,-2],[64,3032],[64,3032],[128,1016,1064,2032],
[128,1016,1064,2032],[128,3064],[256,1128,3064],
[256,1128,3064],[256,3128],[256,3128],
[1016,1064,6032],[1016,1064,6032],[1016,3004],
[1016,3004],[1032,1128,6064],[1064,2128,7032],
[1064,2128,7032],[2008],[2064],[2064],[3016,3032],
[3016,3032],[3016,3032],[3016,3032],[3016,3032],
[3016,3032],[3016,3032],[3016,3032],[3032,3064]]]]],
[12288,0,1,-1,
"17F0s0510s053F80s040401s2C0220s2010s0E04s3920s1704"
,[-24,-12,48,1096],[-24,48,4096],[-24,128,2384,4048,4096]],
[12288,0,1,1,
"1550s0510s052A80s045401s2D20s2D2802s3A20"
,[12,1096,2024],[24,1192,2048],[128,1192,2024,2096,2384],
[20244,[[[-3002,32,1004],[-1002,4,16],[-1002,4,16],[-4,-2
],[-4,1001],[-2,4],[32,3004],[32,3004],
[32,3016],[32,3016],[64,1016,1032,3008],
[64,1016,2032],[64,1032,3016],[64,1032,3016],
[64,1032,3016],[64,1032,3016],[64,1032,3016],
[64,1032,3016],[64,1032,3016],[64,3032],[64,3032],
[128,256,1064,7032],[128,256,1064,7032],
[128,1016,1064,2032],[128,1032,1064,3016],
[128,1064,3032],[128,3064],[128,3064],
[256,1032,1128,2064],[256,1064,1128,3032],
[256,1128,3064],[256,3128],[2008],[2008],[2032],
[2032],[2064],[3032,3064],[3064,3128]],
[[-3002,32,1004],[-1002,4,16],[-1002,4,16],[-4,-2],
[-4,1001],[-2,4],[32,3004],[32,3004],[32,3016],
[32,3016],[64,1016,1032,3008],[64,1016,2032],
[64,1032,3016],[64,1032,3016],[64,1032,3016],
[64,1032,3016],[64,1032,3016],[64,1032,3016],
[64,1032,3016],[64,3032],[64,3032],
[128,256,1064,7032],[128,256,1064,7032],
[128,1016,1064,2032],[128,1032,1064,3016],
[128,1064,3032],[128,3064],[128,3064],
[256,1032,1128,2064],[256,1064,1128,3032],
[256,1128,3064],[256,3128],[2008],[2008],[2032],
[2032],[2064],[3032,3064],[3064,3128]],
[[-3002,1004,1016],[-1008,2016,3008],[-1008,4016],
[-1004,1008],[-1004,2008,3016],[-1004,2008,3016],
[-1002,4,16],[-1002,4,16],[-1002,1001],[-4,-2],
[-4,-2],[64,3032],[64,3032],[128,1016,1064,2032],
[128,1016,1064,2032],[128,3064],[256,1128,3064],
[256,1128,3064],[256,3128],[256,3128],
[1016,1064,6032],[1016,1064,6032],[1016,3004],
[1016,3004],[1032,1128,6064],[1064,2128,7032],
[1064,2128,7032],[2008],[2064],[2064],[3016,3032],
[3016,3032],[3016,3032],[3016,3032],[3016,3032],
[3016,3032],[3016,3032],[3016,3032],[3032,3064]]]]],
[12288,0,1,1,
"1550s0510s052A80s045401s2D20s2DA802s3A20"
,[12,1096,2024],[24,1192,2048],[128,1192,2024,2096,2384],
[20244,[[[-3002,32,1004],[-1002,4,16],[-1002,4,16],[-4,-2
],[-4,1001],[-2,4],[32,3004],[32,3004],
[32,3016],[32,3016],[64,1016,1032,3008],
[64,1016,2032],[64,1032,3016],[64,1032,3016],
[64,1032,3016],[64,1032,3016],[64,1032,3016],
[64,1032,3016],[64,1032,3016],[64,3032],[64,3032],
[128,256,1064,7032],[128,256,1064,7032],
[128,1016,1064,2032],[128,1032,1064,3016],
[128,1064,3032],[128,3064],[128,3064],
[256,1032,1128,2064],[256,1064,1128,3032],
[256,1128,3064],[256,3128],[2008],[2008],[2032],
[2032],[2064],[3032,3064],[3064,3128]],
[[-3002,32,1004],[-1002,4,16],[-1002,4,16],[-4,-2],
[-4,1001],[-2,4],[32,3004],[32,3004],[32,3016],
[32,3016],[64,1016,1032,3008],[64,1032,3016],
[64,1032,3016],[64,1032,3016],[64,1032,3016],
[64,1032,3016],[64,1032,3016],[64,1032,3016],
[64,3032],[64,3032],[128,256,1064,7032],
[128,256,1064,7032],[128,1016,1064,2032],
[128,1032,1064,3016],[128,1064,3032],[128,3064],
[128,3064],[256,1032,1128,2064],[256,1064,1128,3032],
[256,1128,3064],[256,3128],[1016,4032],[2008],
[2008],[2032],[2032],[2064],[3032,3064],
[3064,3128]],
[[-3002,1004,1016],[-1008,4016],[-1008,4016],
[-1004,1008],[-1004,2008,3016],[-1004,2008,3016],
[-1002,4,16],[-1002,4,16],[-1002,1001],[-4,-2],
[-4,-2],[64,3032],[64,3032],[128,1016,1064,2032],
[128,1016,1064,2032],[128,3064],[256,1128,3064],
[256,1128,3064],[256,3128],[256,3128],
[1016,1064,6032],[1016,1064,6032],[1016,3004],
[1016,3004],[1032,1128,6064],[1064,2128,7032],
[1064,2128,7032],[2008],[2064],[2064],[3016,3032],
[3016,3032],[3016,3032],[3016,3032],[3016,3032],
[3016,3032],[3016,3032],[3016,3032],[3032,3064]]]]],
[12288,0,1,1,
"1550s0510s052A80s045401s2D20s2D2802s3A20"
,[12,1096,2024],[24,1192,2048],[128,1192,2024,2096,2384],
[20244,[[[-3002,32,1004],[-1002,4,16],[-1002,4,16],[-4,-2
],[-4,1001],[-2,4],[32,3004],[32,3004],
[32,3016],[32,3016],[64,1016,1032,3008],
[64,1016,2032],[64,1032,3016],[64,1032,3016],
[64,1032,3016],[64,1032,3016],[64,1032,3016],
[64,1032,3016],[64,1032,3016],[64,3032],[64,3032],
[128,256,1064,7032],[128,256,1064,7032],
[128,1016,1064,2032],[128,1032,1064,3016],
[128,1064,3032],[128,3064],[128,3064],
[256,1032,1128,2064],[256,1064,1128,3032],
[256,1128,3064],[256,3128],[2008],[2008],[2032],
[2032],[2064],[3032,3064],[3064,3128]],
[[-3002,32,1004],[-1002,4,16],[-1002,4,16],[-4,-2],
[-4,1001],[-2,4],[32,3004],[32,3004],[32,3016],
[32,3016],[64,1016,1032,3008],[64,1016,2032],
[64,1032,3016],[64,1032,3016],[64,1032,3016],
[64,1032,3016],[64,1032,3016],[64,1032,3016],
[64,1032,3016],[64,3032],[64,3032],
[128,256,1064,7032],[128,256,1064,7032],
[128,1016,1064,2032],[128,1032,1064,3016],
[128,1064,3032],[128,3064],[128,3064],
[256,1032,1128,2064],[256,1064,1128,3032],
[256,1128,3064],[256,3128],[2008],[2008],[2032],
[2032],[2064],[3032,3064],[3064,3128]],
[[-3002,1004,1016],[-1008,2016,3008],[-1008,4016],
[-1004,1008],[-1004,2008,3016],[-1004,2008,3016],
[-1002,4,16],[-1002,4,16],[-1002,1001],[-4,-2],
[-4,-2],[64,3032],[64,3032],[128,1016,1064,2032],
[128,1016,1064,2032],[128,3064],[256,1128,3064],
[256,1128,3064],[256,3128],[256,3128],
[1016,1064,6032],[1016,1064,6032],[1016,3004],
[1016,3004],[1032,1128,6064],[1064,2128,7032],
[1064,2128,7032],[2008],[2064],[2064],[3016,3032],
[3016,3032],[3016,3032],[3016,3032],[3016,3032],
[3016,3032],[3016,3032],[3016,3032],[3032,3064]]]]],
[12288,0,1,1,
"1550s0510s052A80s0210001401s2D20s1D80008140s0D02"
,[-24,-12,48,1096],[24,48,96,1192],[24,48,128,1192,2096,2384]],
[12288,0,1,1,
"1550s0510s052A80s0210001401s2D20s1D80008140s0D02s3A20"
,[-24,-12,48,1096],[24,48,96,1192],[24,48,128,1192,2096,2384]],
[12288,0,1,-1,
"1570s0510s05AB80s0228005C15s2D20s1908s054010s0C100004s3920"
,[-24,-12,48,1096],[-24,48,96,1192],[-24,48,128,1192,2096,2384]],
[12288,0,1,1,
"1550s0510s05AA80s045401s2D20s2D2802s3A20"
,[12,1096,2024],[24,1192,2048],[128,1192,2024,2096,2384],
[20244,[[[-3002,32,1004],[-1002,4,16],[-1002,4,16],[-4,-2
],[-4,1001],[-2,4],[32,3004],[32,3004],
[32,3016],[32,3016],[64,1016,1032,3008],
[64,1016,2032],[64,1032,3016],[64,1032,3016],
[64,1032,3016],[64,1032,3016],[64,1032,3016],
[64,1032,3016],[64,1032,3016],[64,3032],[64,3032],
[128,256,1064,7032],[128,256,1064,7032],
[128,1016,1064,2032],[128,1032,1064,3016],
[128,1064,3032],[128,3064],[128,3064],
[256,1032,1128,2064],[256,1064,1128,3032],
[256,1128,3064],[256,3128],[2008],[2008],[2032],
[2032],[2064],[3032,3064],[3064,3128]],
[[-3002,32,1004],[-1002,4,16],[-1002,4,16],[-4,-2],
[-4,1001],[-2,4],[32,3004],[32,3004],[32,3016],
[32,3016],[64,1016,1032,3008],[64,1032,3016],
[64,1032,3016],[64,1032,3016],[64,1032,3016],
[64,1032,3016],[64,1032,3016],[64,1032,3016],
[64,3032],[64,3032],[128,256,1064,7032],
[128,256,1064,7032],[128,1016,1064,2032],
[128,1032,1064,3016],[128,1064,3032],[128,3064],
[128,3064],[256,1032,1128,2064],[256,1064,1128,3032],
[256,1128,3064],[256,3128],[1016,4032],[2008],
[2008],[2032],[2032],[2064],[3032,3064],
[3064,3128]],
[[-3002,1004,1016],[-1008,32,2016],[-1008,4016],
[-1004,1008],[-1004,2008,3016],[-1004,2008,3016],
[-1002,4,16],[-1002,4,16],[-1002,1001],[-4,-2],
[-4,-2],[64,3032],[64,3032],[128,1016,1064,2032],
[128,1016,1064,2032],[128,3064],[256,1128,3064],
[256,1128,3064],[256,3128],[256,3128],
[1016,1064,6032],[1016,1064,6032],[1016,3004],
[1016,3004],[1032,1128,6064],[1064,2128,7032],
[1064,2128,7032],[2008],[2064],[2064],[3016,3032],
[3016,3032],[3016,3032],[3016,3032],[3016,3032],
[3016,3032],[3016,3032],[3016,3032],[3032,3064]]]]],
[12288,0,1,1,
"1550s0510s052A80s041401s2D20s1E028040s4820"
,[12,1096,2024],[24,1192,2048],[128,1192,2024,2096,2384],
[20241,[[[-1008,-1002,-4]],[[-1002,-16,-4]],[[-1002,-16,-\
4]]]],
[20244,[[[-3016,64,1032],[-3016,64,1032],[-3016,64,1032],[
-3016,64,1032],[-3016,64,1032],[-3016,64,1032],
[-3004,32],[-3004,32],[-3002,8,32],[-1004,8,32],
[-4,-2],[-4,1001],[-2,4],[32,128,1016,2064],
[32,1016,1064],[32,3016],[32,3016],[64,1032,3016],
[64,2032,3008],[64,3032],[64,3032],
[128,256,3032,3064],[128,256,3032,3064],
[128,1064,3032],[128,2064,3016],[128,3064],
[128,3064],[256,1032,1128,2064],[256,1064,1128,3032],
[256,1128,3064],[256,3128],[2008],[2008],[2032],
[2032],[2064],[3032,3064],[3064,3128]],
[[-3016,64,1032],[-3016,64,1032],[-3016,64,1032],
[-3016,64,1032],[-3016,64,1032],[-3016,64,1032],
[-3004,32],[-3004,32],[-3002,8,32],[-1004,8,32],
[-4,-2],[-4,1001],[-2,4],[32,128,1016,2064],
[32,3016],[32,3016],[64,1016,2032],[64,1032,3016],
[64,2032,3008],[64,3032],[64,3032],
[128,256,3032,3064],[128,256,3032,3064],
[128,1064,3032],[128,2064,3016],[128,3064],
[128,3064],[256,1032,1128,2064],[256,1064,1128,3032],
[256,1128,3064],[256,3128],[2008],[2008],[2032],
[2032],[2064],[3032,3064],[3064,3128]],
[[-3004,1016],[-3004,1016],[-3002,8,1016],
[-1008,16,1032],[-1008,32,2016],[-1004,8,32],
[-1004,8,4016],[-1004,8,4016],[-1004,1008],
[-1002,1001],[-4,-2],[-4,-2],[64,3032],
[64,3032],[128,1016,1064,2032],[128,1016,1064,2032],
[128,3064],[256,1128,3064],[256,1128,3064],
[256,3128],[256,3128],[1016,2064,4032],
[1016,2064,4032],[1032,1128,6064],[2008],[2064],
[2064],[2128,3032,3064],[2128,3032,3064],
[3016,3032],[3016,3032],[3016,3032],[3016,3032],
[3016,3032],[3016,3032],[3016,3032],[3016,3032],
[3032,3064]]]]],
[12288,0,1,-1,
"1550s0510s050780s0218005C01s2810s0420s2010s0D2A04s3601s0220"
,[-24,-12,48,192],[-24,48,96,384],[-24,48,96,128,192,3384]],
[12288,0,1,1,
"1550s0510s050A80s0210005409s2810s0420s2D2802s3A20"
,[-24,-12,48,192],[24,48,96,384],[24,48,96,128,192,3384]],
[12288,0,1,1,
"1550s0510s050A80s045401s2D20s2D0802"
,[12,192,2024],[24,384,2048],[96,192,2024,2384,3128]],
[12288,0,1,1,
"1550s0510s050280s045401s2D20s2E02"
,[12,192,2024],[24,384,2048],[96,192,2024,2384,3128]],
[12288,0,1,1,
"1550s0510s05AA80s045401s2D20s2DA802s3A20"
,[12,1096,2024],[24,1192,2048],[128,1192,2024,2096,2384],
[20244,[[[-3002,32,1004],[-1002,4,16],[-1002,4,16],[-4,-2
],[-4,1001],[-2,4],[32,3004],[32,3004],
[32,3016],[32,3016],[64,1016,1032,3008],
[64,1016,2032],[64,1032,3016],[64,1032,3016],
[64,1032,3016],[64,1032,3016],[64,1032,3016],
[64,1032,3016],[64,1032,3016],[64,3032],[64,3032],
[128,256,1064,7032],[128,256,1064,7032],
[128,1016,1064,2032],[128,1032,1064,3016],
[128,1064,3032],[128,3064],[128,3064],
[256,1032,1128,2064],[256,1064,1128,3032],
[256,1128,3064],[256,3128],[2008],[2008],[2032],
[2032],[2064],[3032,3064],[3064,3128]],
[[-3002,32,1004],[-1002,4,16],[-1002,4,16],[-4,-2],
[-4,1001],[-2,4],[32,3004],[32,3004],[32,3016],
[32,3016],[64,1016,1032,3008],[64,1032,3016],
[64,1032,3016],[64,1032,3016],[64,1032,3016],
[64,1032,3016],[64,1032,3016],[64,1032,3016],
[64,3032],[64,3032],[128,256,1064,7032],
[128,256,1064,7032],[128,1016,1064,2032],
[128,1032,1064,3016],[128,1064,3032],[128,3064],
[128,3064],[256,1032,1128,2064],[256,1064,1128,3032],
[256,1128,3064],[256,3128],[1016,4032],[2008],
[2008],[2032],[2032],[2064],[3032,3064],
[3064,3128]],
[[-3002,1004,1016],[-1008,32,2016],[-1008,4016],
[-1004,1008],[-1004,2008,3016],[-1004,2008,3016],
[-1002,4,16],[-1002,4,16],[-1002,1001],[-4,-2],
[-4,-2],[64,3032],[64,3032],[128,1016,1064,2032],
[128,1016,1064,2032],[128,3064],[256,1128,3064],
[256,1128,3064],[256,3128],[256,3128],
[1016,1064,6032],[1016,1064,6032],[1016,3004],
[1016,3004],[1032,1128,6064],[1064,2128,7032],
[1064,2128,7032],[2008],[2064],[2064],[3016,3032],
[3016,3032],[3016,3032],[3016,3032],[3016,3032],
[3016,3032],[3016,3032],[3016,3032],[3032,3064]]]]],
[12288,0,1,-1,
"17F0s0510s053F80s040401s2C0220s2010s0E04s3920s1704"
,[-24,-12,48,1096],[-24,48,4096],[-24,128,2384,4048,4096]],
[12288,0,1,1,
"1550s0510s050A80s0210005409s2D20s2D2812s3A20"
,[-24,-12,48,192],[24,48,96,384],[24,48,96,128,192,3384]],
[12288,0,1,1,
"1550s0510s052A80s045401s2810s0420s2D0802"
,[-24,-12,96,2048],[24,48,4096],[24,128,2384,4048,4096],
[40244,[[[-5002,1004,3001],[-3004,3008],[-3004,3008],[-3004,
3008],[-3002,4],[-3002,4],[-3002,4],
[-1004,1004,3008],[-1004,1004,3008],[1016,3004,5008],
[1016,3004,5008],[1016,7008],[1016,7008],
[1016,7008],[1064,3016,5032],[1064,3016,5032],
[1064,3016,5032],[1064,3016,5032],[1064,7032],
[1064,7032],[1064,7032],[1064,7032],[1064,7032],
[1064,7032],[2008],[2008],[2016],[2016],
[3008,9016],[3008,9016],[3008,9016],[3032,3064],
[3032,3064],[5001],[5016],[5016,11008],
[7008,7016],[7008,7016],[7008,7016],[7008,7016],
[7008,7016],[7008,7016],[11064],[11064],[23064]],
[[-3008,3016],[-2002],[-1008,16,1008],[-1008,16,1008],
[-1004,8,1016],[-1004,8,1016],[-1004,8,1016],
[-1004,8,1016],[-1004,8,1016],[-1004,16],
[-4,-2,16,1001],[-4,8],[-4,8],[-4,8],
[32,3016],[32,3016],[32,3016],[32,3016],
[64,128,5032],[64,128,5032],[64,3032],[64,3032],
[64,3032],[64,3032],[64,3032],[64,3032],
[64,3032],[64,3032],[128,1032,1064,3016],
[128,1032,1064,3016],[128,1032,1064,3016],
[128,1032,1064,3016],[128,1064,1256],[128,1064,1256],
[128,3064],[1032,3008],[1032,4064],[1032,4064],
[1032,4064],[1032,4064],[1064,3016],[1064,3016],
[2008],[3128,3256],[5064]],
[[-3008,3016],[-2002],[-1008,1016],[-1008,1016],
[-1004,8,1016],[-1004,8,1016],[-1004,8,1016],
[-1004,8,1016],[-1004,8,1016],[-1004,16],
[-4,-2,16,1001],[-4,8],[-4,8],[-4,8],
[32,3016],[32,3016],[32,3016],[32,3016],
[64,128,5032],[64,128,5032],[64,3032],[64,3032],
[64,3032],[64,3032],[64,3032],[64,3032],
[64,3032],[64,3032],[128,1032,1064,3016],
[128,1032,1064,3016],[128,1032,1064,3016],
[128,1032,1064,3016],[128,1064,1256],[128,1064,1256],
[128,3064],[128,3064],[1032,3008],[1032,4064],
[1032,4064],[1032,4064],[1032,4064],[1064,3016],
[1064,3016],[2008],[3128,3256]]]]],
[12288,0,1,1,
"1550s0510s052A80s040401s2810s0420s1D80s0240s0D02"
,[-24,-12,96,2048],[24,48,4096],[24,128,2384,4048,4096]],
[12288,0,1,-1,
"17F0s0510s053F80s0208000405s2C0220s2050s0E04s3920"
,[-24,-12,96,2048],[-24,48,4096],[-24,128,2384,4048,4096]],
[12288,0,1,1,
"1550s0510s052A80s0210005401s2D20s2D0812s3A20"
,[-24,-12,48,1096],[24,48,96,1192],[24,48,128,1192,2096,2384],
[40244,[[[-5002],[-3002,3004],[-2002],[-1002,3001,3004],[8
,16],[8,16],[16,3008],[1016,1032],
[1016,7008],[1016,7008],[1016,7008],
[1032,3016,3064],[1064,7032],[1064,7032],[2032],
[3032,3064],[3032,3064],[3032,3064],[3032,9064],
[3032,9064],[7008,7016],[7008,7016],[7008,7016],
[7008,7016],[7008,7016],[7008,7016],[7008,7016],
[7008,7016],[7032,7064],[7032,7064],[7032,7064],
[11016],[11016],[23016],[23064]],
[[-3002,4],[-3002,3004],[-1002,1001],[-1002,3001,3004],
[8,16],[8,16],[1016,1032],[1016,7008],
[1016,7008],[1016,7008],[1032,3016,3064],
[1032,3016,3064],[1032,3016,3064],[1064,7032],
[1064,7032],[2032],[3008,9016],[3008,9016],
[3032,3064],[5008],[7008,7016],[7008,7016],
[7008,7016],[7008,7016],[7008,7016],[7008,7016],
[7008,7016],[7008,7016],[7032,7064],[7032,7064],
[7032,7064],[11064],[11064],[23016],[23064]],
[[-1004,8,32],[-1004,16],[-4,-2,16,1001],[-4,8],
[-2,4],[8,16],[8,16],[16,1008,1032],
[16,1008,1032],[32,3016],[32,3016],[64,128,5032],
[64,128,5032],[64,1032,1128],[64,1032,1128],
[64,3032],[64,3032],[64,3032],[64,3032],
[64,3032],[64,3032],[128,1064,1256],
[128,1064,1256],[128,3064],[128,3064],[128,3064],
[256,1128,7032],[256,1128,7032],[1032,3008],
[1064,3016],[1064,3016],[1064,4128],[2064],[2064],
[3128,3256]],
[[-1004,8,32],[-1004,16],[-4,-2,16,1001],[-4,8],
[-2,4],[8,16],[8,16],[16,1008,1032],
[16,1008,1032],[32,3016],[64,128,5032],
[64,128,5032],[64,1032,1128],[64,1032,1128],
[64,3032],[64,3032],[64,3032],[64,3032],
[64,3032],[64,3032],[128,1064,1256],
[128,1064,1256],[128,3064],[128,3064],[128,3064],
[256,1128,7032],[256,1128,7032],[1016,1032],
[1032,3008],[1064,3016],[1064,3016],[1064,4128],
[2064],[2064],[3128,3256]]]]],
[12288,0,1,-1,
"1570s0510s05AB80s0228005C15s2D20s2D180204s3920s1704"
,[-24,-12,48,1096],[-24,48,96,1192],[-24,48,128,1192,2096,2384]],
[12288,0,1,-1,
"1570s0510s052B80s0228000C01s2D20s1E0140D0s0E04s3920s1704"
,[-24,-12,48,1096],[-24,48,96,1192],[-24,48,128,1192,2096,2384]],
[12288,0,1,1,
"1550s0510s052A80s041401s2D20s1E028040s4820"
,[12,1096,2024],[24,1192,2048],[128,1192,2024,2096,2384],
[20241,[[[-1002,-16,-4]],[[-1002,-16,-4]],[[-1002,-8,-4,
8]]]]],
[12288,0,1,1,
"1550s0510s050280s0210005401s2D20s2E12"
,[-24,-12,48,192],[24,48,96,384],[24,48,96,192,256,1128,2384]],
[12288,0,1,-1,
"1570s0510s050380s0228005C15s2D20s2010s0C100004"
,[-24,-12,48,192],[-24,48,96,384],[-24,48,96,192,256,1128,2384]],
[12288,0,1,1,
"1550s0510s052A80s040401s2810s0420s2E02s3A20"
,[-24,-12,48,1096],[24,48,4096],[24,128,2384,4048,4096]],
[12288,0,1,1,
"1550s0510s052A80s040401s2810s0420s2E02s3A20"
,[-24,-12,48,1096],[24,48,4096],[24,128,2384,4048,4096]],
[12288,0,1,1,
"1550s0510s050A80s0210005409s2D20s2D2812"
,[-24,-12,48,192],[24,48,96,384],[24,48,96,128,192,3384]],
[12288,0,1,1,
"1550s0510s052A80s044401s2D20s1E028040s4820"
,[12,1096,2024],[24,1192,2048],[128,1192,2024,2096,2384],
[20241,[[[-1002,-16,-4]],[[-1002,-16,-4]],[[-1002,-8,-4,
8]]]],
[20244,[[[-3016,64,1032],[-3016,64,1032],[-3016,64,1032],[
-3016,64,1032],[-3016,64,1032],[-3016,64,1032],
[-3004,32],[-3004,32],[-3002,8,32],[-1004,8,32],
[-4,-2],[-4,1001],[-2,4],[32,128,1016,2064],
[32,1016,1064],[32,3016],[32,3016],[64,1032,3016],
[64,2032,3008],[64,3032],[64,3032],
[128,256,3032,3064],[128,256,3032,3064],
[128,1064,3032],[128,2064,3016],[128,3064],
[128,3064],[256,1032,1128,2064],[256,1064,1128,3032],
[256,1128,3064],[256,3128],[2008],[2008],[2032],
[2032],[2064],[3032,3064],[3064,3128]],
[[-3016,64,1032],[-3016,64,1032],[-3016,64,1032],
[-3016,64,1032],[-3016,64,1032],[-3016,64,1032],
[-3004,32],[-3004,32],[-3002,8,32],[-1004,8,32],
[-4,-2],[-4,1001],[-2,4],[32,128,1016,2064],
[32,3016],[32,3016],[64,1016,2032],[64,1032,3016],
[64,2032,3008],[64,3032],[64,3032],
[128,256,3032,3064],[128,256,3032,3064],
[128,1064,3032],[128,2064,3016],[128,3064],
[128,3064],[256,1032,1128,2064],[256,1064,1128,3032],
[256,1128,3064],[256,3128],[2008],[2008],[2032],
[2032],[2064],[3032,3064],[3064,3128]],
[[-3004,1016],[-3004,1016],[-3002,8,1016],
[-1008,16,1032],[-1008,32,1008,1016],[-1004,8,32],
[-1004,8,4016],[-1004,8,4016],[-1004,1008],
[-1002,1001],[-4,-2],[-4,-2],[64,3032],
[64,3032],[128,1016,1064,2032],[128,1016,1064,2032],
[128,3064],[256,1128,3064],[256,1128,3064],
[256,3128],[256,3128],[1016,2064,4032],
[1016,2064,4032],[1032,1128,6064],[2008],[2064],
[2064],[2128,3032,3064],[2128,3032,3064],
[3016,3032],[3016,3032],[3016,3032],[3016,3032],
[3016,3032],[3016,3032],[3016,3032],[3016,3032],
[3032,3064]]]]],
[12288,0,1,1,
"1550s0510s052A80s044401s2D20s1E028040s4820"
,[12,1096,2024],[24,1192,2048],[128,1192,2024,2096,2384],
[20241,[[[-1002,-16,-4]],[[-1002,-16,-4]],[[-1002,-8,-4,
8]]]],
[20244,[[[-3016,64,1032],[-3016,64,1032],[-3016,64,1032],[
-3016,64,1032],[-3016,64,1032],[-3016,64,1032],
[-3004,32],[-3004,32],[-3002,8,32],[-1004,8,32],
[-4,-2],[-4,1001],[-2,4],[32,128,1016,2064],
[32,1016,1064],[32,3016],[32,3016],[64,1032,3016],
[64,2032,3008],[64,3032],[64,3032],
[128,256,3032,3064],[128,256,3032,3064],
[128,1064,3032],[128,2064,3016],[128,3064],
[128,3064],[256,1032,1128,2064],[256,1064,1128,3032],
[256,1128,3064],[256,3128],[2008],[2008],[2032],
[2032],[2064],[3032,3064],[3064,3128]],
[[-3016,64,1032],[-3016,64,1032],[-3016,64,1032],
[-3016,64,1032],[-3016,64,1032],[-3016,64,1032],
[-3004,32],[-3004,32],[-3002,8,32],[-1004,8,32],
[-4,-2],[-4,1001],[-2,4],[32,128,1016,2064],
[32,1016,1064],[32,3016],[32,3016],[64,1032,3016],
[64,2032,3008],[64,3032],[64,3032],
[128,256,3032,3064],[128,256,3032,3064],
[128,1064,3032],[128,2064,3016],[128,3064],
[128,3064],[256,1032,1128,2064],[256,1064,1128,3032],
[256,1128,3064],[256,3128],[2008],[2008],[2032],
[2032],[2064],[3032,3064],[3064,3128]],
[[-3004,1016],[-3004,1016],[-3002,8,1016],
[-1008,16,1032],[-1008,32,1008,1016],[-1004,8,32],
[-1004,8,4016],[-1004,8,4016],[-1004,1008],
[-1002,1001],[-4,-2],[-4,-2],[64,3032],
[64,3032],[128,1016,1064,2032],[128,1016,1064,2032],
[128,3064],[256,1128,3064],[256,1128,3064],
[256,3128],[256,3128],[1016,2064,4032],
[1016,2064,4032],[1032,1128,6064],[2008],[2064],
[2064],[2128,3032,3064],[2128,3032,3064],
[3016,3032],[3016,3032],[3016,3032],[3016,3032],
[3016,3032],[3016,3032],[3016,3032],[3016,3032],
[3032,3064]]]]],
[12288,0,1,-1,
"1570s0510s05AB80s0228005C15s2810s0420s1908s054010s0C102804s3920"
,[-24,-12,48,1096],[-24,48,96,1192],[-24,48,128,1192,2096,2384]],
[12288,0,1,1,
"1550s0510s052A80s0210005409s2810s0420s2D2812s3A20"
,[-24,-12,48,1096],[24,48,96,1192],[24,48,128,1192,2096,2384]],
[12288,0,1,1,
"1550s0510s050A80s0210005409s2810s0420s2D2812"
,[-24,-12,48,192],[24,48,96,384],[24,48,96,192,256,1128,2384],
[40244,[[[-2004],[-1004,8,32],[-1004,16],[-4,-2],[-4,-2,
16,1001],[16,32],[32,1016,1064],[32,1016,1064],
[32,1016,1064],[64,3032],[128,1064,1256],
[128,1064,3032],[128,1064,3032],[128,1064,3032],
[128,3064],[128,3064],[128,3064],[128,3064],
[512,1256,7064],[1032,1064],[1032,1064],
[1032,3008],[1256,3064],[2064],[2064],[3128,3256],
[3128,3256]],
[[-2004],[-1004,8,32],[-1004,16],[-4,-2],
[-4,-2,16,1001],[16,32],[32,1016,1064],
[32,1016,1064],[32,1016,1064],[128,1064,1256],
[128,1064,3032],[128,1064,3032],[128,3064],
[128,3064],[128,3064],[128,3064],[512,1256,7064],
[1032,1064],[1032,1064],[1032,1064],[1032,3008],
[1256,3064],[2064],[2064],[3032,3064],[3128,3256],
[3128,3256]]]]],
[12288,0,1,1,
"1550s0510s050A80s0210005409s2810s0420s2D2812"
,[-24,-12,48,192],[24,48,96,384],[24,48,96,192,256,1128,2384],
[40244,[[[-2004],[-1004,8,32],[-1004,16],[-4,-2],[-4,-2,
16,1001],[16,32],[32,1016,1064],[32,1016,1064],
[32,1016,1064],[64,3032],[128,1064,1256],
[128,1064,3032],[128,1064,3032],[128,3064],
[128,3064],[128,3064],[128,3064],[512,1256,7064],
[1032,1064],[1032,1064],[1032,3008],[1256,3064],
[2064],[2064],[3032,3064],[3128,3256],[3128,3256]]
,
[[-2004],[-1004,8,32],[-1004,16],[-4,-2],[-4,-2,16,
1001],[16,32],[32,1016,1064],[32,1016,1064],
[32,1016,1064],[128,1064,1256],[128,1064,3032],
[128,1064,3032],[128,1064,3032],[128,3064],
[128,3064],[128,3064],[128,3064],[512,1256,7064],
[1032,1064],[1032,1064],[1032,1064],[1032,3008],
[1256,3064],[2064],[2064],[3128,3256],[3128,3256]
]]]],
[12288,0,1,-1,
"1570s0510s050B80s0228005C15s2810s0420s2010s0C102804"
,[-24,-12,48,192],[-24,48,96,384],[-24,48,96,192,256,1128,2384]],
[12288,0,1,1,
"1550s0510s052A80s0210005401s2D20s2E12"
,[-24,-12,48,1096],[24,48,96,1192],[24,48,128,1192,2096,2384]],
[12288,0,1,1,
"1550s0510s05AA80s045401s2D20s2D2802s3A20"
,[12,1096,2024],[24,1192,2048],[128,1192,2024,2096,2384],
[20244,[[[-3002,32,1004],[-1002,4,16],[-1002,4,16],[-4,-2
],[-4,1001],[-2,4],[32,3004],[32,3004],
[32,3016],[32,3016],[64,1016,1032,3008],
[64,1016,2032],[64,1032,3016],[64,1032,3016],
[64,1032,3016],[64,1032,3016],[64,1032,3016],
[64,1032,3016],[64,1032,3016],[64,3032],[64,3032],
[128,256,1064,7032],[128,256,1064,7032],
[128,1016,1064,2032],[128,1032,1064,3016],
[128,1064,3032],[128,3064],[128,3064],
[256,1032,1128,2064],[256,1064,1128,3032],
[256,1128,3064],[256,3128],[2008],[2008],[2032],
[2032],[2064],[3032,3064],[3064,3128]],
[[-3002,32,1004],[-1002,4,16],[-1002,4,16],[-4,-2],
[-4,1001],[-2,4],[32,3004],[32,3004],[32,3016],
[32,3016],[64,1016,1032,3008],[64,1016,2032],
[64,1032,3016],[64,1032,3016],[64,1032,3016],
[64,1032,3016],[64,1032,3016],[64,1032,3016],
[64,1032,3016],[64,3032],[64,3032],
[128,256,1064,7032],[128,256,1064,7032],
[128,1016,1064,2032],[128,1032,1064,3016],
[128,1064,3032],[128,3064],[128,3064],
[256,1032,1128,2064],[256,1064,1128,3032],
[256,1128,3064],[256,3128],[2008],[2008],[2032],
[2032],[2064],[3032,3064],[3064,3128]],
[[-3002,1004,1016],[-1008,32,2016],[-1008,4016],
[-1004,1008],[-1004,2008,3016],[-1004,2008,3016],
[-1002,4,16],[-1002,4,16],[-1002,1001],[-4,-2],
[-4,-2],[64,3032],[64,3032],[128,1016,1064,2032],
[128,1016,1064,2032],[128,3064],[256,1128,3064],
[256,1128,3064],[256,3128],[256,3128],
[1016,1064,6032],[1016,1064,6032],[1016,3004],
[1016,3004],[1032,1128,6064],[1064,2128,7032],
[1064,2128,7032],[2008],[2064],[2064],[3016,3032],
[3016,3032],[3016,3032],[3016,3032],[3016,3032],
[3016,3032],[3016,3032],[3016,3032],[3032,3064]]]]],
[12288,0,1,1,
"1550s0510s05AA80s045401s2D20s2DA802s3A20"
,[12,1096,2024],[24,1192,2048],[128,1192,2024,2096,2384],
[20244,[[[-3002,32,1004],[-1002,4,16],[-1002,4,16],[-4,-2
],[-4,1001],[-2,4],[32,3004],[32,3004],
[32,3016],[32,3016],[64,1016,1032,3008],
[64,1016,2032],[64,1032,3016],[64,1032,3016],
[64,1032,3016],[64,1032,3016],[64,1032,3016],
[64,1032,3016],[64,1032,3016],[64,3032],[64,3032],
[128,256,1064,7032],[128,256,1064,7032],
[128,1016,1064,2032],[128,1032,1064,3016],
[128,1064,3032],[128,3064],[128,3064],
[256,1032,1128,2064],[256,1064,1128,3032],
[256,1128,3064],[256,3128],[2008],[2008],[2032],
[2032],[2064],[3032,3064],[3064,3128]],
[[-3002,32,1004],[-1002,4,16],[-1002,4,16],[-4,-2],
[-4,1001],[-2,4],[32,3004],[32,3004],[32,3016],
[32,3016],[64,1016,1032,3008],[64,1016,2032],
[64,1032,3016],[64,1032,3016],[64,1032,3016],
[64,1032,3016],[64,1032,3016],[64,1032,3016],
[64,1032,3016],[64,3032],[64,3032],
[128,256,1064,7032],[128,256,1064,7032],
[128,1016,1064,2032],[128,1032,1064,3016],
[128,1064,3032],[128,3064],[128,3064],
[256,1032,1128,2064],[256,1064,1128,3032],
[256,1128,3064],[256,3128],[2008],[2008],[2032],
[2032],[2064],[3032,3064],[3064,3128]],
[[-3002,1004,1016],[-1008,32,2016],[-1008,4016],
[-1004,1008],[-1004,2008,3016],[-1004,2008,3016],
[-1002,4,16],[-1002,4,16],[-1002,1001],[-4,-2],
[-4,-2],[64,3032],[64,3032],[128,1016,1064,2032],
[128,1016,1064,2032],[128,3064],[256,1128,3064],
[256,1128,3064],[256,3128],[256,3128],
[1016,1064,6032],[1016,1064,6032],[1016,3004],
[1016,3004],[1032,1128,6064],[1064,2128,7032],
[1064,2128,7032],[2008],[2064],[2064],[3016,3032],
[3016,3032],[3016,3032],[3016,3032],[3016,3032],
[3016,3032],[3016,3032],[3016,3032],[3032,3064]]]]],
[12288,0,1,1,
"1550s0510s05AA80s045401s2D20s2DA802s3A20"
,[12,1096,2024],[24,1192,2048],[128,1192,2024,2096,2384],
[20244,[[[-3002,32,1004],[-1002,4,16],[-1002,4,16],[-4,-2
],[-4,1001],[-2,4],[32,3004],[32,3004],
[32,3016],[32,3016],[64,1016,1032,3008],
[64,1016,2032],[64,1032,3016],[64,1032,3016],
[64,1032,3016],[64,1032,3016],[64,1032,3016],
[64,1032,3016],[64,1032,3016],[64,3032],[64,3032],
[128,256,1064,7032],[128,256,1064,7032],
[128,1016,1064,2032],[128,1032,1064,3016],
[128,1064,3032],[128,3064],[128,3064],
[256,1032,1128,2064],[256,1064,1128,3032],
[256,1128,3064],[256,3128],[2008],[2008],[2032],
[2032],[2064],[3032,3064],[3064,3128]],
[[-3002,32,1004],[-1002,4,16],[-1002,4,16],[-4,-2],
[-4,1001],[-2,4],[32,3004],[32,3004],[32,3016],
[32,3016],[64,1016,1032,3008],[64,1016,2032],
[64,1032,3016],[64,1032,3016],[64,1032,3016],
[64,1032,3016],[64,1032,3016],[64,1032,3016],
[64,1032,3016],[64,3032],[64,3032],
[128,256,1064,7032],[128,256,1064,7032],
[128,1016,1064,2032],[128,1032,1064,3016],
[128,1064,3032],[128,3064],[128,3064],
[256,1032,1128,2064],[256,1064,1128,3032],
[256,1128,3064],[256,3128],[2008],[2008],[2032],
[2032],[2064],[3032,3064],[3064,3128]],
[[-3002,1004,1016],[-1008,32,2016],[-1008,4016],
[-1004,1008],[-1004,2008,3016],[-1004,2008,3016],
[-1002,4,16],[-1002,4,16],[-1002,1001],[-4,-2],
[-4,-2],[64,3032],[64,3032],[128,1016,1064,2032],
[128,1016,1064,2032],[128,3064],[256,1128,3064],
[256,1128,3064],[256,3128],[256,3128],
[1016,1064,6032],[1016,1064,6032],[1016,3004],
[1016,3004],[1032,1128,6064],[1064,2128,7032],
[1064,2128,7032],[2008],[2064],[2064],[3016,3032],
[3016,3032],[3016,3032],[3016,3032],[3016,3032],
[3016,3032],[3016,3032],[3016,3032],[3032,3064]]]]],
[12288,0,1,1,
"1550s0510s05AA80s045401s2D20s2DA802s3A20"
,[12,1096,2024],[24,1192,2048],[128,1192,2024,2096,2384],
[20244,[[[-3002,32,1004],[-1002,4,16],[-1002,4,16],[-4,-2
],[-4,1001],[-2,4],[32,3004],[32,3004],
[32,3016],[32,3016],[64,1016,1032,3008],
[64,1016,2032],[64,1032,3016],[64,1032,3016],
[64,1032,3016],[64,1032,3016],[64,1032,3016],
[64,1032,3016],[64,1032,3016],[64,3032],[64,3032],
[128,256,1064,7032],[128,256,1064,7032],
[128,1016,1064,2032],[128,1032,1064,3016],
[128,1064,3032],[128,3064],[128,3064],
[256,1032,1128,2064],[256,1064,1128,3032],
[256,1128,3064],[256,3128],[2008],[2008],[2032],
[2032],[2064],[3032,3064],[3064,3128]],
[[-3002,32,1004],[-1002,4,16],[-1002,4,16],[-4,-2],
[-4,1001],[-2,4],[32,3004],[32,3004],[32,3016],
[32,3016],[64,1016,1032,3008],[64,1016,2032],
[64,1032,3016],[64,1032,3016],[64,1032,3016],
[64,1032,3016],[64,1032,3016],[64,1032,3016],
[64,1032,3016],[64,3032],[64,3032],
[128,256,1064,7032],[128,256,1064,7032],
[128,1016,1064,2032],[128,1032,1064,3016],
[128,1064,3032],[128,3064],[128,3064],
[256,1032,1128,2064],[256,1064,1128,3032],
[256,1128,3064],[256,3128],[2008],[2008],[2032],
[2032],[2064],[3032,3064],[3064,3128]],
[[-3002,1004,1016],[-1008,32,2016],[-1008,4016],
[-1004,1008],[-1004,2008,3016],[-1004,2008,3016],
[-1002,4,16],[-1002,4,16],[-1002,1001],[-4,-2],
[-4,-2],[64,3032],[64,3032],[128,1016,1064,2032],
[128,1016,1064,2032],[128,3064],[256,1128,3064],
[256,1128,3064],[256,3128],[256,3128],
[1016,1064,6032],[1016,1064,6032],[1016,3004],
[1016,3004],[1032,1128,6064],[1064,2128,7032],
[1064,2128,7032],[2008],[2064],[2064],[3016,3032],
[3016,3032],[3016,3032],[3016,3032],[3016,3032],
[3016,3032],[3016,3032],[3016,3032],[3032,3064]]]]],
[12288,0,1,-1,
"1570s0510s050380s0228005C15s2810s0420s2010s0C100004s3920"
,[-24,-12,48,192],[-24,48,96,384],[-24,48,96,128,192,3384]],
[12288,0,1,1,
"1550s0510s05AA80s045401s2810s0420s6920"
,[12,192,2024],[24,1192,2048],[1256,2024,2096,5192]],
[12288,0,1,1,
"1550s0510s052A80s045401s2D20s2D2002s3A20"
,[-24,-12,48,1096],[24,1192,2048],[128,1192,2024,2096,2384],
[40244,[[[-5002],[-3002,3004],[-1002,1001],[-1002,3001,3004
],[8,16],[8,16],[1016,1032],[1016,7008],
[1016,7008],[1032,3016,3064],[1032,3016,3064],
[1032,3016,3064],[1064,7032],[1064,7032],[2032],
[3008,9016],[3008,9016],[3032,3064],[3032,9064],
[3032,9064],[5008],[5008],[5008],[7008,7016],
[7008,7016],[7008,7016],[7008,7016],[7008,7016],
[7008,7016],[7008,7016],[7008,7016],[7032,7064],
[7032,7064],[7032,7064],[23016],[23064]],
[[-3008,1016,3008],[-3008,1016,3008],[-3004,-3002],
[-3004,-1002,3001],[-3002,-4],[-2002],[8,16],
[8,16],[16,3008],[16,3008],[16,3008],
[1016,1032],[1032,3016,3064],[1064,7032],
[1064,7032],[2032],[3032,3064],[3032,3064],
[3032,3064],[7008,7016],[7008,7016],[7008,7016],
[7008,7016],[7008,7016],[7008,7016],[7008,7016],
[7008,7016],[7032,7064],[7032,7064],[7032,7064],
[11016],[11016],[11064],[11064],[23016],[23064]],
[[-3004,32],[-3004,32],[-3004,32],[-1004,16],
[-4,-2,16,1001],[-4,8],[-2,4],[8,16],[8,16],
[16,1008,1032],[16,1008,1032],[32,3016],[32,3016],
[64,128,5032],[64,128,5032],[64,1032,1128],
[64,1032,1128],[64,3032],[64,3032],[64,3032],
[64,3032],[64,3032],[64,3032],[128,3064],
[128,3064],[128,3064],[256,1128,7032],
[256,1128,7032],[1064,3016],[1064,3016],
[1064,4128],[1256,3064],[1256,3064],[2064],[2064],
[3128,3256]],
[[-3004,32],[-3004,32],[-3004,32],[-1004,16],
[-4,-2,16,1001],[-4,8],[-2,4],[8,16],[8,16],
[16,1008,1032],[16,1008,1032],[32,3016],
[64,128,5032],[64,128,5032],[64,1032,1128],
[64,1032,1128],[64,3032],[64,3032],[64,3032],
[64,3032],[64,3032],[64,3032],[128,3064],
[128,3064],[128,3064],[256,1128,7032],
[256,1128,7032],[1016,1032],[1064,3016],
[1064,3016],[1064,4128],[1256,3064],[1256,3064],
[2064],[2064],[3128,3256]]]]],
[12288,0,1,-1,
"1550s0510s05AA80s045401s2D20s1908s054010s0CA80204s3920s1704"
,[-24,-12,48,1096],[-24,1192,2048],[-2024,128,1192,2096,2384]],
[12288,0,1,-1,
"1550s0510s052A80s0208001405s2D20s1E028050s0E04s3920s1704"
,[-24,-12,48,1096],[-24,1192,2048],[-2024,128,1192,2096,2384]],
[12288,0,1,1,
"1550s0510s052A80s041401s2D20s1D80028040s0D02s3A20"
,[-24,-12,48,1096],[24,1192,2048],[128,1192,2024,2096,2384]],
[12288,0,1,-1,
"15D0s0510s051780s045401s2C0220s2D1028"
,[-24,-12,48,192],[-24,48,96,1192],[-24,48,256,1128,1192,1384,2096]],
[12288,0,1,1,
"1550s0510s050A80s045409s2810s0420"
,[-24,-12,48,192],[24,48,96,1192],[24,48,256,1128,1192,1384,2096]],
[12288,0,1,-1,
"1550s0510s05AA80s045401s2D20s1908s054010s0CA80204s3920s1704"
,[-24,-12,48,1096],[-24,1192,2048],[-2024,128,1192,2096,2384]],
[12288,0,1,-1,
"1550s0510s052A80s0208004405s2D20s1E028050s0E04s3920s1704"
,[-24,-12,48,1096],[-24,1192,2048],[-2024,128,1192,2096,2384]],
[12288,0,1,1,
"1550s0510s052A80s044401s2D20s1D80028040s0D02s3A20"
,[-24,-12,48,1096],[24,1192,2048],[128,1192,2024,2096,2384]],
[12288,0,1,-1,
"15D0s0510s05BF80s045401s2C0220s1908s054010s0C080204s3920"
,[-24,-12,96,2048],[-24,48,4096],[-24,128,2384,4048,4096]],
[12288,0,1,-1,
"1570s0510s050B80s0228005C15s2D20s2010s0C102804s3920"
,[-24,-12,48,192],[-24,48,96,384],[-24,48,96,128,192,3384]],
[12288,0,1,-1,
"1570s0510s050B80s0228005C15s2D20s2010s0C102804s3920"
,[-24,-12,48,192],[-24,48,96,384],[-24,48,96,128,192,3384]],
[12288,0,1,1,
"1550s0510s052A80s041401s2D20s1E028040s4820"
,[12,1096,2024],[24,1192,2048],[128,1192,2024,2096,2384],
[20241,[[[-1008,-1002,-4]],[[-1002,-16,-4]],[[-1002,-16,-\
4]]]],
[20244,[[[-3016,64,1032],[-3016,64,1032],[-3016,64,1032],[
-3016,64,1032],[-3016,64,1032],[-3016,64,1032],
[-3004,32],[-3004,32],[-3002,8,32],[-1004,8,32],
[-4,-2],[-4,1001],[-2,4],[32,128,1016,2064],
[32,1016,1064],[32,3016],[32,3016],[64,1032,3016],
[64,2032,3008],[64,3032],[64,3032],
[128,256,3032,3064],[128,256,3032,3064],
[128,1064,3032],[128,2064,3016],[128,3064],
[128,3064],[256,1032,1128,2064],[256,1064,1128,3032],
[256,1128,3064],[256,3128],[2008],[2008],[2032],
[2032],[2064],[3032,3064],[3064,3128]],
[[-3016,64,1032],[-3016,64,1032],[-3016,64,1032],
[-3016,64,1032],[-3016,64,1032],[-3016,64,1032],
[-3004,32],[-3004,32],[-3002,8,32],[-1004,8,32],
[-4,-2],[-4,1001],[-2,4],[32,128,1016,2064],
[32,3016],[32,3016],[64,1016,2032],[64,1032,3016],
[64,2032,3008],[64,3032],[64,3032],
[128,256,3032,3064],[128,256,3032,3064],
[128,1064,3032],[128,2064,3016],[128,3064],
[128,3064],[256,1032,1128,2064],[256,1064,1128,3032],
[256,1128,3064],[256,3128],[2008],[2008],[2032],
[2032],[2064],[3032,3064],[3064,3128]],
[[-3004,1016],[-3004,1016],[-3002,8,1016],
[-1008,16,1032],[-1008,32,2016],[-1004,8,32],
[-1004,8,4016],[-1004,8,4016],[-1004,1008],
[-1002,1001],[-4,-2],[-4,-2],[64,3032],
[64,3032],[128,1016,1064,2032],[128,1016,1064,2032],
[128,3064],[256,1128,3064],[256,1128,3064],
[256,3128],[256,3128],[1016,2064,4032],
[1016,2064,4032],[1032,1128,6064],[2008],[2064],
[2064],[2128,3032,3064],[2128,3032,3064],
[3016,3032],[3016,3032],[3016,3032],[3016,3032],
[3016,3032],[3016,3032],[3016,3032],[3016,3032],
[3032,3064]]]]],
[12288,0,1,-1,
"15D0s0510s05BF80s045401s2C0220s1908s054010s0C080204s3920"
,[-24,-12,96,2048],[-24,48,4096],[-24,128,2384,4048,4096]],
[12288,0,1,-1,
"1570s0510s050780s0228005C09s2810s0420s2010s0C280204s3601s0220"
,[-24,-12,48,192],[-24,48,96,384],[-24,48,96,128,192,3384]],
[12288,0,1,-1,
"1570s0510s050B80s0228005C01s2810s0420s2010s0D2804s3920"
,[-24,-12,48,192],[-24,48,96,384],[-24,48,96,128,192,3384]]];