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  trans20d.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 20
##

TRANSGRP[20]{[901..1117]}:=
[[(1,19,2,17)(3,20,5,16)(4,18)(6,12,10,14,9,11,8,13,7,15),
(7,8,10,9)(11,16)(12,19,13,17,15,18,14,20),(1,19)(2,17,4,18,5,16,3,20)
(6,12,7,14,9,13,8,11)(10,15),"t20n901"],
[(1,10,12,17,5,7,13,18,3,6,15,20,4,9,14,19)(2,8,11,16),
(1,13,5,11,3,12,4,14)(2,15)(6,16,9,18,8,19,10,17)(7,20),
(1,17,13,8,4,18,14,7,5,20,11,10,2,19,15,6)(3,16,12,9),"t20n902"],
[(6,18,10,17)(7,19,9,16)(8,20)(11,12)(13,15),(1,10)(2,6,4,8,5,9,3,7)
(11,19,15,16,13,20,14,18)(12,17),(1,18,3,17,4,19,2,20)(5,16)(6,12)
(7,13,8,14,10,11,9,15),"t20n903"],
[(1,13,5,12,2,14,3,15)(4,11)(6,9,10,7)(16,18,20,17,19),
(1,5,4,3,2)(6,10,8,9)(12,13,15,14)(17,20)(18,19),
(1,7,11,17)(2,10,14,16,5,9,13,18)(3,8,12,20,4,6,15,19),"t20n904"],
[(1,10,8,16,4,2,9,7,15,3)(5,14,12,20,18)(6,13,11,19,17),
(1,6,9,13,8,12,15,19,4,18,2,5,10,14,7,11,16,20,3,17),
(1,6,11,16)(2,5,12,15)(7,20,8,19)(9,17)(10,18),"t20n905"],
[(1,13,12,3)(2,14,11,4)(5,9)(6,10)(7,8)(15,20)(16,19),
(1,19,12,9,2,20,11,10)(3,8,4,7)(5,15)(6,16)(13,17)(14,18),
(1,19,3,15,2,20,4,16)(5,11,9,13,6,12,10,14),"t20n906"],
[(1,6,13,10,11,16,3,20)(2,5,14,9,12,15,4,19)(17,18),
(1,9,18,5,3,11,20,7,16,13)(2,10,17,6,4,12,19,8,15,14),
(1,5,10,4,8)(2,6,9,3,7)(11,16,20,14,18)(12,15,19,13,17),"t20n907"],
[(3,9,4,10)(5,7)(6,8)(11,12)(13,20,14,19)(15,17)(16,18),
(1,4)(2,3)(5,20)(6,19)(9,16)(10,15)(11,13,12,14),
(1,20,4,16)(2,19,3,15)(5,12,9,13)(6,11,10,14)(17,18),"t20n908"],
[(1,10,13,15,12,20,3,6,2,9,14,16,11,19,4,5)(17,18),
(1,8,6,10,11,17,15,20)(2,7,5,9,12,18,16,19)(3,13,4,14),"t20n909"],
[(1,19,12,10,2,20,11,9)(3,7,14,18,4,8,13,17)(5,6),(1,9,4,6,2,10,3,5)(7,18)
(8,17)(11,19,13,15,12,20,14,16),"t20n910"],
[(1,14,20,8,2,13,19,7)(3,10,17,11)(4,9,18,12)(5,16,6,15),
(1,13,7,5,12,4,17,15,2,14,8,6,11,3,18,16)(9,19,10,20),
(1,17,14,19,5)(2,18,13,20,6)(3,10,15,12,7)(4,9,16,11,8),"t20n911"],
[(1,8,12,17,14,4,5,9,19,15,3,6,10,18,16)(2,7,11,20,13),
(1,18,7,13,3,19,8,16,4,17,5,14)(2,20,6,15)(9,12,10),"t20n912"],
[(1,19,6,11,16,7,18,9)(2,20,5,12,15,8,17,10)(3,4),
(1,12,4,7,19,5,17,13)(2,11,3,8,20,6,18,14)(15,16),"t20n913"],
[(1,5,17,14,20)(2,6,18,13,19)(3,10,12,8,15)(4,9,11,7,16),
(1,12,14,7,15,18,2,11,13,8,16,17)(3,4)(5,10,19)(6,9,20),"t20n914"],
[(1,3,20,17,2,4,19,18)(5,14,12,7,6,13,11,8)(9,10),
(1,9,14,6)(2,10,13,5)(3,15,12,19,4,16,11,20)(17,18),"t20n915"],
[(1,17,20,2,18,19)(3,4)(5,9,8,11,15,14,6,10,7,12,16,13),
(1,17,7,9,20)(2,18,8,10,19)(3,13,5,11,16)(4,14,6,12,15),"t20n916"],
[(1,4,16,17)(2,3,15,18)(5,20,13,9,6,19,14,10)(7,8),
(1,6,20,9,18,2,5,19,10,17)(3,14,11,15,7,4,13,12,16,8),"t20n917"],
[(1,19,11,6,14)(2,18,9,5,15,3,20,10,8,13,4,17,12,7,16),
(1,3,2,4)(5,6)(9,16,20)(10,15,19)(11,13,18,12,14,17),"t20n918"],
[(1,12,6,16,14,4,10,20)(2,11,5,15,13,3,9,19),
(1,5,19,14,9,4,8,16,17,11)(2,6,20,13,10,3,7,15,18,12),"t20n919"],
[(1,7,13)(2,8,14)(3,9,15)(4,10,16)(5,11,19)(6,12,20),
(1,7,12,14,17,3,9,20,2,8,11,13,18,4,10,19)(5,15)(6,16),"t20n920"],
[(1,5,4,7)(2,6,3,8)(9,16,20)(10,15,18,11,13,17)(12,14,19),
(1,18,2,19,4,20)(3,17)(5,14,7,16,6,13)(8,15)(9,10,11),"t20n921"],
[(1,6,11,3,7,10)(2,5,9)(4,8,12)(13,17)(14,18,16,19,15,20),
(1,18,14,3,20,13)(2,17,15,4,19,16)(5,8,7),"t20n922"],
[(7,15,20,11,8,16,19,12)(9,10)(13,14),(1,6,2,5)(3,4)(7,8)(9,17)(10,18)(11,12)
(15,16)(19,20),(1,12)(2,11)(3,14)(4,13)(5,16,6,15)(7,17)(8,18)(9,19,10,20),
(1,17,14,9,5)(2,18,13,10,6)(7,8)(11,12),(1,17,6,10)(2,18,5,9)(3,4)(7,8)
(13,14),"t20n923"],
[(1,18,2,17)(3,11,7,20,4,12,8,19)(5,14,6,13)(9,10)(15,16),
(1,7,9,4,6,16,17,19)(2,8,10,3,5,15,18,20)(11,13)(12,14),"t20n924"],
[(19,20),(1,2)(5,6)(7,19,8,20)(11,15)(12,16),(1,12,2,11)(3,13)(4,14)(5,15)
(6,16)(7,17)(8,18)(9,20,10,19),(1,14,18,6)(2,13,17,5)(3,7,15,11)
(4,8,16,12)(9,10)(19,20),"t20n925"],
[(7,15,19,12)(8,16,20,11)(9,10)(13,14),(1,12)(2,11)(3,14)(4,13)(5,16,6,15)(7,17)
(8,18)(9,19,10,20),(1,17,14,9,5)(2,18,13,10,6)(7,8)(11,12),
(1,18,5,9,2,17,6,10)(7,8)(11,12)(15,16),"t20n926"],
[(1,5,14,9)(2,6,13,10)(3,19,15,12,8,4,20,16,11,7)(17,18),
(1,8,18,12,9,20,13,15)(2,7,17,11,10,19,14,16)(3,5,4,6),"t20n927"],
[(1,4,5,19,13,11,10,16)(2,3,6,20,14,12,9,15)(7,18)(8,17),
(1,6,9,14,17)(2,5,10,13,18)(3,15,4,16)(7,11)(8,12),
(1,3,17,7,6,20,9,15,2,4,18,8,5,19,10,16)(11,14,12,13),"t20n928"],
[(1,13,6,20,10)(2,14,7,17,12)(3,15,5,18,11)(4,16,8,19,9),
(1,17,15,10,5,3,19,13,9,8)(2,20,16,11,7,4,18,14,12,6),"t20n929"],
[(1,17,4,20,3,19,5,16)(2,18)(6,13,9,11,10,12,7,14)(8,15),
(1,2,3,4,5)(6,19,15,7,20,14,8,16,13,9,17,12,10,18,11),
(1,19,3,20,4,18,2,17)(5,16)(6,12)(7,11,8,15,10,13,9,14),"t20n930"],
[(1,7,4,9,5,8,2,6)(3,10)(11,19,14,16,15,20,12,18)(13,17),
(1,14,17,2,15,16,4,12,19,3,11,20)(5,13,18)(6,9,8,10),
(1,18,7,15,5,16,6,14,3,17,9,12,4,19,10,13)(2,20,8,11),"t20n931"],
[(1,8,13,16,2,6,12,19)(3,9,11,17,5,10,14,18)(4,7,15,20),
(1,20,2,16)(3,17,5,19)(4,18)(6,14)(7,15)(8,11)(9,12)(10,13),
(1,12,18,2,15,19,5,14,17,4,11,16)(3,13,20)(6,9,8,10),"t20n932"],
[(1,7,16,19,14,2,8,15,20,13)(3,12,17,5,9,4,11,18,6,10),
(1,9,14,17,6,2,10,13,18,5)(3,7,16,11,19,4,8,15,12,20),"t20n933"],
[(1,12,6,18)(2,20,8,11)(3,16,4,17)(5,14)(7,19,10,15)(9,13),
(1,11)(2,16,9,19,7,18,3,17)(4,13,5,12,6,20,10,15)(8,14),"t20n934"],
[(2,6,9,7)(3,5,4,8)(11,19,17,13)(12,15,18,14),
(1,18,2,14,3,20,8,11,10,17)(4,13,7,16,5,12,9,15,6,19),"t20n935"],
[(1,17,6,14,9,15)(2,11,3,19,10,13)(4,12,8,20,7,16)(5,18),
(1,19,6,13,3,18,9,15,4,17)(2,11,10,16,5,14,7,20,8,12),"t20n936"],
[(1,13,6,16)(2,11)(3,12)(4,20)(5,14,9,17)(7,18,10,15)(8,19),
(1,13,9,11,8,19,4,15,7,17,6,14)(2,12)(3,18,10,16,5,20),"t20n937"],
[(1,16,7,13,9,15,5,17,2,19,4,18,10,11,8,20)(3,14)(6,12),
(1,13,5,17,6,16,7,15,3,11,8,20,9,14,2,12,4,19,10,18),"t20n938"],
[(1,20,10,19,5,11,9,16,2,13,3,18,4,14,6,17)(7,15,8,12),
(1,18,8,15,6,13,2,19)(3,11,7,12,4,16,10,14)(5,17)(9,20),"t20n939"],
[(1,13,2,11,3,14,4,12,5,15)(6,7,8,9,10)(16,19,17,20,18),
(1,14,2,15,5,13,4,12)(3,11)(7,10)(8,9)(17,19,20,18),
(1,9,2,7,3,10,4,8,5,6)(11,16,14,20,13,17,15,18)(12,19),"t20n940"],
[(2,3,5,4)(6,18,8,19,7,16,10,20)(9,17)(11,14,13,15),
(1,4,2,5,3)(6,8)(9,10)(11,13,14,12)(16,20,18,19),
(1,10,11,17,3,7,14,20,4,8,13,19,2,6,15,16)(5,9,12,18),"t20n941"],
[(11,13,15,12,14),(1,4)(2,3),(1,7)(2,6,4,9,5,8,3,10)(11,19,12,20,14,17,13,16)
(15,18),(1,11,4,12,3,15,5,14)(2,13)(6,18,8,19,7,16,10,20)(9,17),
(1,11,3,14,2,15,5,12)(4,13)(7,8,10,9),"t20n942"],
[(1,18,2,17,4,20,3,16)(5,19)(6,13,10,14)(7,12,9,15)(8,11),
(1,5,4,3,2)(6,17,10,20,9,18,8,16,7,19)(11,13,14,12),"t20n943"],
[(1,18,15,7,3,19,11,9,4,17,14,10,2,16,13,8)(5,20,12,6),
(1,17,13,9,3,18,12,10,5,19,11,6,2,20,15,7,4,16,14,8),"t20n944"],
[(1,7,5,9,2,10,3,8)(4,6)(11,18,13,16,12,17,15,19)(14,20),
(1,4,2,5,3)(6,8)(9,10)(11,12,14,13)(16,19)(17,18),
(1,19,5,16,3,20,4,18)(2,17)(6,15,8,12)(7,11)(9,13,10,14),"t20n945"],
[(1,18,16,10,2,17,15,9)(3,4)(5,19,12,7,6,20,11,8),
(1,19,8,15,14,12,10,17,6,4)(2,20,7,16,13,11,9,18,5,3),
(1,7,16,9,2,8,15,10)(3,4)(5,19,11,17)(6,20,12,18),"t20n946"],
[(1,5,10,16,18,7,14,11,4,20,2,6,9,15,17,8,13,12,3,19),
(1,10,14,16,17,6,7,12,2,9,13,15,18,5,8,11)(19,20),"t20n947"],
[(1,7,16,11,2,8,15,12)(3,14,6,17,4,13,5,18)(9,10),
(1,8,14,6)(2,7,13,5)(3,4)(9,19,17,12,10,20,18,11),"t20n948"],
[(1,10,3,18,12,14,6,20,2,9,4,17,11,13,5,19)(7,15)(8,16),
(1,13,2,14)(3,5,4,6)(7,19,8,20)(9,16,10,15)(11,17)(12,18),"t20n949"],
[(17,18)(19,20),(13,17,15,19)(14,18,16,20),(1,2)(7,8)(9,13)(10,14)(11,16)(12,15)
(17,18),(1,2,3,4)(5,9)(6,12)(7,11)(8,10)(14,16)(18,20),
(1,5,2,7)(3,6,4,8)(10,11)(14,15)(18,19),"t20n950"],
[(1,7,10,17,14,16,4,6,20,12,2,8,9,18,13,15,3,5,19,11),
(3,5,16,10)(4,6,15,9)(7,12,17,19)(8,11,18,20)(13,14),"t20n951"],
[(1,18,8,11,9,6,14,3,20,16)(2,17,7,12,10,5,13,4,19,15),
(1,16,3)(2,15,4)(5,19,7,18,11,10)(6,20,8,17,12,9),"t20n952"],
[(1,11,13,5,3,9)(2,12,14,6,4,10)(7,17,19,8,18,20),
(1,16,11)(2,15,12)(3,9,14,5,19,18,4,10,13,6,20,17)(7,8),"t20n953"],
[(1,6,13,17,15,20,10,4,12,7,2,5,14,18,16,19,9,3,11,8),
(1,15,18)(2,16,17)(3,8,9,14,19,11,4,7,10,13,20,12),"t20n954"],
[(1,2)(3,19,7,11)(4,20,8,12)(9,10)(13,14)(15,16)(17,18),
(1,3,18,7,2,4,17,8)(5,19,13,12,6,20,14,11)(9,15)(10,16),
(1,16,18,12,5,20,9,4)(2,15,17,11,6,19,10,3)(7,13)(8,14),"t20n955"],
[(1,13,3,16,4,15)(2,14)(5,11,6,10,8,12)(7,9)(18,19),
(1,7,2,5)(3,8,4,6)(9,20,10,19)(11,18,12,17)(14,15),"t20n956"],
[(1,9,17,6,14,4,11,18,5,16)(2,12,20,8,15,3,10,19,7,13),
(1,6)(2,5,4,7,3,8)(9,19,12,20)(10,18,11,17)(13,14,16),"t20n957"],
[(1,5,11,15,18)(2,8,10,13,17,4,6,9,14,20)(3,7,12,16,19),
(1,11,18,6,15,3,9,20,5,16)(2,12,19,7,14,4,10,17,8,13),"t20n958"],
[(1,12,18,8)(2,15,20,6,5,14,16,10)(3,13,17,9,4,11,19,7),
(1,6,11,2,7,14)(3,8,12,5,10,13)(4,9,15)(16,18)(19,20),"t20n959"],
[(1,3,5,2,4)(6,14,16,8,15,18)(7,12,17)(9,13,19,10,11,20),
(1,13,10)(2,11,6)(3,14,7)(4,12,8)(5,15,9)(16,19,17,20,18),
(1,6,14,4,10,11,3,7,12,5,8,15)(2,9,13)(16,20,17,18),"t20n960"],
[(1,3,5,2,4)(6,16,11)(7,20,13)(8,19,15)(9,18,12)(10,17,14),
(1,13,3,11,2,12,5,14)(4,15)(6,8,7,10)(16,19)(17,18),"t20n961"],
[(1,20,17,12,9,7)(2,19,18,11,10,8)(3,6)(4,5)(13,15)(14,16),
(1,15,17,13)(2,16,18,14)(3,12,6,8)(4,11,5,7)(9,20)(10,19),"t20n962"],
[(1,20,16,18,14,2,19,15,17,13)(3,11,9,6,7,4,12,10,5,8),
(1,12,2,11)(3,9,5,4,10,6)(13,19,16)(14,20,15),"t20n963"],
[(1,9,4,12,20,14,2,10,3,11,19,13)(5,17,16,8,6,18,15,7),
(3,15,13,6,4,16,14,5)(7,19,18,10)(8,20,17,9)(11,12),"t20n964"],
[(1,17,15)(2,18,16)(3,20)(4,19)(5,11,8)(6,12,7)(9,13,10,14),
(1,3,12,14)(2,4,11,13)(5,9,7,15,20,18,6,10,8,16,19,17),"t20n965"],
[(1,6,9,4,7,2,5,10,3,8)(11,15,20,13,17,12,16,19,14,18),
(1,5,19,4,12,16,10,14,2,6,20,3,11,15,9,13)(7,8)(17,18),"t20n966"],
[(1,16,8,19,13)(2,15,7,20,14)(3,11,5,17,9)(4,12,6,18,10),
(1,15,4,9,18,12,5,14,20,8,2,16,3,10,17,11,6,13,19,7),"t20n967"],
[(1,5,14,2,6,13)(3,11,15,4,12,16)(7,8)(9,10)(19,20),
(1,9,6,4,8)(2,10,5,3,7)(11,19,15,13,18,12,20,16,14,17),"t20n968"],
[(1,17,2,18,6,13)(3,20)(4,11,10,16,5,12,8,15,9,19,7,14),
(1,19)(2,18,5,16,6,13,7,15)(3,11)(4,17,9,20,10,14,8,12),"t20n969"],
[(1,15,6,13,10,20,4,17,8,11,2,14,7,12,5,18,9,16,3,19),
(1,17)(2,16,4,11,7,14,8,13,6,15,10,18,5,20,9,19)(3,12),"t20n970"],
[(2,4,8,7,9,3,5,6)(11,14,17,20,18)(12,13,15,16,19),
(1,11,7,14,4,13,5,15,6,18,9,20,8,19,10,16)(2,17)(3,12),"t20n971"],
[(1,5,9,6)(2,10,4,7)(3,8)(11,14,16,13,20,15,18,17,19,12),
(1,15)(2,19,8,17,5,16,6,13)(3,14,7,20,10,12,9,18)(4,11),"t20n972"],
[(1,4,8,6)(2,7,3,9)(11,12,15,20,19,18)(13,17,14),
(1,15,5,20,2,11,4,18)(3,19,6,16,10,12,9,14)(7,17)(8,13),"t20n973"],
[(1,7,4,8)(2,9,5,6)(11,18,14,16)(12,20,13,15)(17,19),
(1,17,2,19,4,18,8,11,10,20,5,16,3,13,9,15)(6,12)(7,14),"t20n974"],
[(1,17,9,15,7,16,8,14,10,11)(2,13,4,12,6,20,3,18,5,19),
(1,14,4,17,7,16,5,19)(2,11,9,13,8,18,3,12)(6,15)(10,20),"t20n975"],
[(1,20)(2,12,3,15,5,17,8,11,4,14,9,18)(6,13,7,19,10,16),
(1,20,6,16,7,12,10,18)(2,15,8,13)(3,14,9,11,4,19,5,17),"t20n976"],
[(1,16,10,17,5,13,8,14)(2,20,6,12,9,11,4,19)(3,18)(7,15),
(1,16,4,19,9,13)(2,12,6,17,5,14)(3,15,10,11,8,18)(7,20),
(2,8,6,9)(4,5,10,7)(11,16)(12,17,18,19,13,20,14,15),"t20n977"],
[(1,20,2,16,5,11,8,18,7,12,6,13,3,19,10,15)(4,17,9,14),
(1,5,8,7,6,10,4,9)(11,16,14,19,15,20,18,12,13,17),"t20n978"],
[(1,20,16,12,7,2,17,14,9,8,4,19,15,10,5)(3,18,13,11,6),
(1,9,19,8,14,4,10,18,5,16)(2,11,17,6,15,3,12,20,7,13),"t20n979"],
[(1,7,12,16,5,9,11,20)(2,10,13,17,4,6,15,19)(3,8,14,18),
(1,6,3,10)(2,8)(4,7,5,9)(11,18,15,20,13,19,14,17)(12,16),
(1,6,4,8)(2,10,3,9)(5,7)(11,17,14,18,12,19,15,20,13,16),"t20n980"],
[(19,20),(1,2)(3,12,10,16,4,11,9,15)(5,18,20,14,6,17,19,13),
(1,13,5,7,3,9,11,15)(2,14,6,8,4,10,12,16)(19,20),"t20n981"],
[(1,10,18,8,15,2,9,17,5,14,4,12,20,7,13,3,11,19,6,16),
(1,13,3,14,2,16)(4,15)(5,11)(6,9,7,10,8,12)(17,19,20),"t20n982"],
[(1,17,10,13,4,19,11,14)(2,18,9,15,3,20,12,16)(5,6)(7,8),
(1,6,16,11,3,7,13,9,4,5,15,10)(2,8,14,12)(17,20,18),"t20n983"],
[(1,2)(5,9,19,15,7,10,20,13,6,11,17,14)(8,12,18,16),
(1,18)(2,17,3,19,4,20)(5,14)(6,13,7,16,8,15)(9,10,12),"t20n984"],
[(1,17,8,19,4,15,10,14,6,11)(2,18,7,20,3,16,9,13,5,12),
(1,16,9,13,3,17,2,15,10,14,4,18)(5,20)(6,19)(7,12,8,11),"t20n985"],
[(11,13,15,12,14),(1,4)(2,3),(1,6)(2,8)(3,10)(4,7)(5,9)(11,14)(12,13)(16,19)
(17,18),(1,11,4,12,3,15,5,14)(2,13)(6,18,8,19,7,16,10,20)(9,17),
(1,13,9)(2,12,6,4,15,10,5,14,7,3,11,8)(16,17,19,18),"t20n986"],
[(1,12,17,10,3,14,18,6,2,13,20,8,5,11,19,7)(4,15,16,9),
(1,7,12,19,2,6,11,17,5,8,13,16,4,9,14,18)(3,10,15,20),"t20n987"],
[(1,9,17,3,10,19)(2,7,18)(4,8,20,5,6,16)(11,12,15,14),
(1,4,3,5)(6,14,16,9,11,17)(7,13,18,8,12,20)(10,15,19),"t20n988"],
[(1,3,6)(2,4,5)(7,20,17,9)(8,19,18,10)(11,14,16,12,13,15),
(1,11)(2,12)(3,19,6,18,14,9,15,8,4,20,5,17,13,10,16,7),"t20n989"],
[(1,8,13,16)(2,7,14,15)(3,6,11,18,4,5,12,17)(9,10),
(1,8)(2,7)(3,10,13,20,4,9,14,19)(5,15,6,16)(11,18)(12,17),
(1,5,11,15,2,6,12,16)(3,4)(7,8)(13,14)(17,18),"t20n990"],
[(1,19,18,2,20,17)(3,4)(7,12,9,8,11,10)(15,16),
(1,11)(2,12)(3,20,7,15)(4,19,8,16)(5,14,9,17)(6,13,10,18),
(1,20,8,15)(2,19,7,16)(3,14)(4,13)(5,11,10,17,6,12,9,18),"t20n991"],
[(1,17,16,11,8,6)(2,18,15,12,7,5)(3,10,13,19)(4,9,14,20),
(1,3,17,2,4,18)(7,11,13)(8,12,14)(15,16)(19,20),"t20n992"],
[(1,20,12,9)(2,19,11,10)(3,15,18,14,5,7,4,16,17,13,6,8),
(1,2)(3,9,15,13,19,5)(4,10,16,14,20,6)(7,8)(17,18),"t20n993"],
[(1,3,8,12,13,17)(2,4,7,11,14,18)(5,16,6,15)(9,19,10,20),
(1,18,11,7)(2,17,12,8)(3,5,19,14,16,10)(4,6,20,13,15,9),"t20n994"],
[(1,7,15,10,14,12,17,5,20,3,2,8,16,9,13,11,18,6,19,4),
(1,6,7,19,14)(2,5,8,20,13)(3,12,16,17,10,4,11,15,18,9),"t20n995"],
[(1,20)(2,18)(3,19,9,12)(4,13,5,17)(6,14,10,16)(7,15)(8,11),
(1,10,4,8,5,6)(3,9,7)(11,16,15,13,20)(12,14,17,19,18),
(1,13,7,11,3,15,5,17)(2,14,6,19)(4,16,10,18,9,12,8,20),"t20n996"],
[(1,9)(2,8,7,6,10,3,4,5)(11,19,18,13)(14,16,20,15),
(1,12,10,16,4,17,6,13,7,11,2,20,9,18,8,19)(3,15,5,14),
(1,16,6,19,5,13,7,17,10,18,4,11,8,15,3,14)(2,12,9,20),"t20n997"],
[(11,14,16,15,17)(12,13,19,18,20),(3,6)(4,7)(5,8)(13,16)(14,17)(15,18),
(1,7,3,4,2,5,6,8),(1,11)(2,20)(3,18)(4,17)(5,16)(6,15)(7,14)(8,13)(9,19)(10,12)
,"t20n998"],[(1,12)(2,17,4,11,9,20,3,15)(5,18,7,19,8,13,6,16)(10,14),
(1,10,8,6,7,3,5,2,9,4)(11,13,12,16)(14,15,18,17),"t20n999"],
[(1,16,8,11,10,12,4,18,2,15,5,13,9,17,7,19)(3,20)(6,14),
(1,10,4,3)(2,5)(6,8,7,9)(11,14,13,17,12)(15,20,16,19,18),"t20n1000"],
[(1,10,2,7,6,8)(4,5,9)(11,19,16,13,17,15,20,14),
(1,16,8,12,4,18)(2,11,9,15,5,14,3,17,7,13,10,19)(6,20),"t20n1001"],
[(1,6,3,5,4,8)(2,7)(9,19,10,17)(11,18,12,20)(13,15),
(1,12,18,5,13,2,10,20,7,16,4,9,17,8,14)(3,11,19,6,15),"t20n1002"],
[(1,3)(2,4)(5,18,7,20,8,17)(6,19)(9,15)(10,14,12,13,11,16),
(1,9,19,6,16,3,11,17,8,13,4,12,18,5,15)(2,10,20,7,14),"t20n1003"],
[(1,3,4,2)(7,8)(9,10)(13,16,14,15)(17,18),
(1,17,14,12,7)(2,20,16,10,5,3,18,15,9,6,4,19,13,11,8),"t20n1004"],
[(1,8,19,16,3,5,18,14)(2,6,20,15,4,7,17,13)(9,12)(10,11),
(1,7,4,8,2,6)(3,5)(9,20)(10,18,11,17,12,19)(13,14,16,15),"t20n1005"],
[(1,13,8,16,3,19,12,2,14,7,15,4,20,11)(5,10,17,6,9,18),
(1,15,18,8,20)(2,16,17,7,19)(5,13,9)(6,14,10),"t20n1006"],
[(1,11,13,3,17,2,12,14,4,18)(5,15,9,7)(6,16,10,8)(19,20),
(1,20,5,8)(2,19,6,7)(9,12,13,17)(10,11,14,18),"t20n1007"],
[(1,3,18,11,14,15)(2,4,17,12,13,16)(5,19)(6,20)(7,10)(8,9),
(1,19,9,8,13,12,2,20,10,7,14,11)(3,6,4,5)(15,17)(16,18),"t20n1008"],
[(1,7)(2,8)(3,10,5,4,9,6)(11,19,17,13)(12,20,18,14)(15,16),
(1,14,8,18,5,20,10,16,3,11)(2,13,7,17,6,19,9,15,4,12),"t20n1009"],
[(1,16,9,19,6,4)(2,15,10,20,5,3)(7,18)(8,17)(11,14,12,13),
(1,9,6,2,10,5)(7,15)(8,16)(11,19,12,20)(13,14)(17,18),"t20n1010"],
[(1,19,2,20)(3,16,6,13)(4,15,5,14)(7,11)(8,12)(9,18)(10,17),
(1,2)(3,8,9,4,7,10)(13,18,14,17)(15,20,16,19),"t20n1011"],
[(1,14,5,17,10,11,2,13,6,18,9,12)(3,16,8,20,4,15,7,19),
(1,11,5,18,3,19,9,14,2,12,6,17,4,20,10,13)(7,16,8,15),"t20n1012"],
[(1,4,7,2,3,8)(5,10,6,9)(11,12)(13,17,19,15,14,18,20,16),
(1,17,10,11,8,15,5,14,3,19)(2,18,9,12,7,16,6,13,4,20),"t20n1013"],
[(1,5,2,3)(6,11,18,7,15,16,8,14,19,9,13,17,10,12,20),
(1,18,13,10,5,17,14,7)(2,19,12,8,4,16,15,9)(3,20,11,6),"t20n1014"],
[(1,4,15)(2,3,16)(5,12,13)(6,11,14)(7,20,17,10)(8,19,18,9),
(1,12)(2,11)(3,14)(4,13)(5,16)(6,15)(7,19,8,20)(9,18)(10,17),
(1,8,4,12,18,13,2,7,3,11,17,14)(5,15)(6,16)(9,19)(10,20),"t20n1015"],
[(1,2,4,9,10,7)(5,6,8)(11,18,17,20)(12,13,16,15),
(1,12,6,11,4,14,9,16,5,13,10,20,8,15,2,18,3,17,7,19),
(1,13)(2,15,5,17,8,14,3,12)(4,11,10,16,9,18,6,20)(7,19),"t20n1016"],
[(1,17,15,12,7)(2,18,16,11,8,4,20,14,9,6,3,19,13,10,5),
(1,18,6,9,2,17,7,11,3,19,5,10)(4,20,8,12)(13,15,16,14),"t20n1017"],
[(1,19,12,15,2,17,9,13)(3,20,11,16,4,18,10,14)(5,8,7),
(1,9,16,7,2,11,13,8,4,10,15,6)(3,12,14,5)(17,20)(18,19),"t20n1018"],
[(1,14,9)(2,15,10,3,13,11,4,16,12)(5,7,6)(17,20,18),
(1,3,4)(5,13,19,6,14,20,7,15,18)(8,16,17)(10,12,11),"t20n1019"],
[(1,12,3,10)(2,11,4,9)(5,8,7)(13,20,16,17,14,18)(15,19),
(1,10,17,7,16)(2,9,18,5,15,4,12,19,8,13)(3,11,20,6,14),"t20n1020"],
[(1,17,3,2,18,4)(5,16,14,20,7,12)(6,15,13,19,8,11)(9,10),
(1,4,5,13,7,17,15,9,11,2,3,6,14,8,18,16,10,12)(19,20),"t20n1021"],
[(1,12,3,13,10,16,7,20)(2,11,4,14,9,15,8,19)(5,17,6,18),
(1,17,6,11,10,16,3,14,7,20)(2,18,5,12,9,15,4,13,8,19),"t20n1022"],
[(1,4,2,3)(5,20,14,7,6,19,13,8)(9,11,17,15,10,12,18,16),
(1,7,17,3,14,19)(2,8,18,4,13,20)(5,11)(6,12)(9,16)(10,15),"t20n1023"],
[(1,7,6,4,10,15,17,12,13,19,2,8,5,3,9,16,18,11,14,20),
(1,16,5,3,2,15,6,4)(7,13)(8,14)(9,12,17,20,10,11,18,19),"t20n1024"],
[(1,9,14,5,17,2,10,13,6,18)(3,19,16,11,7,4,20,15,12,8),
(1,11,13,16,18,19,10,4)(2,12,14,15,17,20,9,3)(5,8)(6,7),"t20n1025"],
[(1,5,9,2,6,10)(11,16)(12,15),(1,19,3,13,8,18,9,16,2,20,4,14,7,17,10,15)(5,11)
(6,12),"t20n1026"],
[(1,15,5,4,13,20)(2,16,6,3,14,19)(7,10,12,18,8,9,11,17),
(1,4,14,11)(2,3,13,12)(5,7,6,8)(9,16,10,15)(17,19,18,20),"t20n1027"],
[(1,9,2,10)(3,7,19,16)(4,8,20,15)(13,14),
(1,9,6,13,18,2,10,5,14,17)(3,19,11,8,15,4,20,12,7,16),
(1,15,17,20,13,3,9,12,5,7)(2,16,18,19,14,4,10,11,6,8),"t20n1028"],
[(1,5,10,13,2,6,9,14)(3,12,8,4,11,7)(15,19,16,20)(17,18),
(1,8)(2,7)(3,10,4,9)(5,19,18,16,14,12)(6,20,17,15,13,11),
(1,13,17,2,14,18)(3,20,11,4,19,12)(5,10,6,9)(7,16,8,15),"t20n1029"],
[(1,16,9,19)(2,15,10,20)(3,18)(4,17)(5,12,8,13)(6,11,7,14),
(1,19)(2,20)(3,17,10,14,8,16,5,11)(4,18,9,13,7,15,6,12),"t20n1030"],
[(1,3,9,7,6,2,4,10,8,5)(11,13,16,20,12,14,15,19),
(1,19,8,16,5,12,10,14,2,20,7,15,6,11,9,13)(3,17,4,18),"t20n1031"],
[(1,2,3,4)(5,17,7,20,8,18)(6,19)(9,14,10,13,12,15)(11,16),
(1,15,19,8,4,13,18,5,3,16,20,7)(2,14,17,6)(9,11,12,10),"t20n1032"],
[(1,20,15,12,3,17,13,11,2,18,16,10)(4,19,14,9)(5,6,8,7),
(1,4)(2,3)(5,18,15,8,20,14)(6,17,16,7,19,13),"t20n1033"],
[(1,2,3,4)(5,15,18,6,14,17,7,13,19,8,16,20)(9,11,12,10),
(1,10,5,14,17,3,9,7,13,18)(2,11,6,15,19,4,12,8,16,20),"t20n1034"],
[(1,11,7,14,17,2,10,8,13,18)(3,12,5,16,20,4,9,6,15,19),
(1,11,19)(2,9,17,3,10,20,4,12,18)(5,13,6,15,7,16)(8,14),"t20n1035"],
[(1,3,5,20,17,15,13,8,10,12,2,4,6,19,18,16,14,7,9,11),
(1,18,14,9,2,17,13,10)(3,11,8,19)(4,12,7,20)(5,6),
(1,17,13,9)(2,18,14,10)(3,11,19,16,4,12,20,15),"t20n1036"],
[(1,8,2,7)(3,10,4,9)(5,12,13,20)(6,11,14,19)(15,17)(16,18),
(5,18,9,14,6,17,10,13)(7,15,12,19)(8,16,11,20),"t20n1037"],
[(1,2)(3,8,16,20,12,4,7,15,19,11)(5,18)(6,17)(9,13)(10,14),
(1,13,9)(2,14,10)(3,7,19,12,16)(4,8,20,11,15)(5,18,6,17),
(1,15,17,4,6,12,13,8,2,16,18,3,5,11,14,7)(9,19)(10,20),"t20n1038"],
[(1,16,5,4,14,12)(2,15,6,3,13,11)(7,10,20,18,8,9,19,17),
(3,20,7,16,4,19,8,15)(5,18,13,6,17,14)(9,10)(11,12),"t20n1039"],
[(1,11,2,12)(3,14)(4,13)(5,8,6,7)(9,19,17,16)(10,20,18,15),
(1,14,17,10,5)(2,13,18,9,6)(3,4)(7,20,15,12,8,19,16,11),
(1,14,10,5)(2,13,9,6)(3,12,8,15,4,11,7,16)(17,18),"t20n1040"],
[(1,20)(2,19)(3,13,4,14)(5,11,18,15)(6,12,17,16)(7,9,8,10),
(1,16,17,11,5,8)(2,15,18,12,6,7)(3,10)(4,9)(13,19,14,20),"t20n1041"],
[(1,7,15,4,8,16,2,5,13)(3,6,14)(9,10)(11,12)(17,19,20),
(1,19,11,4,18,12)(2,20,9,3,17,10)(6,7,8)(13,15)(14,16),"t20n1042"],
[(1,20,16,12,6)(2,17,13,10,8)(3,18,15,9,7)(4,19,14,11,5),
(1,18,14,10,5,3,19,16,9,6,4,17,13,12,7)(2,20,15,11,8),"t20n1043"],
[(1,16,20,10,5,4,13,18,9,8)(2,15,19,12,6,3,14,17,11,7),
(1,17,14)(2,18,15)(3,19,13,4,20,16)(5,12,6,10)(7,11,8,9),
(1,18,7,13,2,19,5,14,4,17,8,16)(3,20,6,15)(10,12,11),"t20n1044"],
[(1,4,9,19,17,12,5,15,2,3,10,20,18,11,6,16)(7,14,8,13),
(1,2)(3,11,8,15,20,4,12,7,16,19)(5,9,13,18,6,10,14,17),
(1,6,13,2,5,14)(9,10)(11,20,12,19)(17,18),"t20n1045"],
[(1,12,20,5,4,9,19,7,2,10,18,6)(3,11,17,8)(13,15),
(1,14,18,2,13,19)(3,15,17)(4,16,20)(5,12,6,10)(7,11,8,9),"t20n1046"],
[(1,20,9,14,5,3,18,11,16,7)(2,19,12,13,6)(4,17,10,15,8),
(1,6,10,13,18,2,8,12,14,19,4,7,11,16,17,3,5,9,15,20),"t20n1047"],
[(1,9,17,3,10,20,4,11,19)(2,12,18)(5,8)(6,7)(13,16,15),
(1,12,13,8,4,9,14,6,2,11,16,7)(3,10,15,5)(17,20,18),"t20n1048"],
[(1,3,4)(5,19,6,20,8,18,7,17)(9,15,12,16,10,13,11,14),
(1,9,3,11)(2,12)(4,10)(7,8)(13,18,14,17,15,20)(16,19),"t20n1049"],
[(1,7,9,14,18,2,6,11,13,17,3,8,12,15,20)(4,5,10,16,19),
(1,10,20,8,14)(2,11,17,7,13,4,9,18,5,15)(3,12,19,6,16),"t20n1050"],
[(1,8,4,7,2,6)(3,5)(9,17,11,20,12,18,10,19)(14,15,16),
(1,14,3,13)(2,15,4,16)(5,10,8,11)(6,9,7,12)(18,20),"t20n1051"],
[(1,12,5,13,4,11,3,14,2,15)(6,17,9,20,7,16)(8,18)(10,19),
(1,7,14,16,5,8,13,17,3,9,11,19,2,6,15,18,4,10,12,20),"t20n1052"],
[(1,18)(2,20,4,16,3,17)(5,19)(6,12,7,14,9,13,10,15,8,11),
(1,9,5,8,2,10)(3,6)(4,7)(11,20,12,18,14,19,13,16,15,17),"t20n1053"],
[(1,8,12,19,13,3,6,9,18,16,2,5,11,17,15,4,7,10,20,14),
(1,12,5,4,10,6)(2,11,7,3,9,8)(13,18)(14,19,16,17,15,20),"t20n1054"],
[(1,7,11,13,19)(2,5,10,15,20,4,6,9,16,17)(3,8,12,14,18),
(1,19,3,18,4,17,2,20)(5,15,6,13)(7,16)(8,14)(11,12),"t20n1055"],
[(1,11,7,17,4,10,6,20,3,9,5,19)(2,12,8,18)(15,16),
(2,3,4)(5,17,8,18)(6,19,7,20)(9,13,10,15,12,16)(11,14),"t20n1056"],
[(1,5,15,11,4,8,13,12)(2,7,14,10,3,6,16,9)(17,20,19),
(1,7,9,15,20,4,8,12,14,17,2,5,10,16,18)(3,6,11,13,19),"t20n1057"],
[(1,12,4,14,5,11)(2,15)(3,13)(7,8)(16,17,19,18),
(1,9,13,19,4,8,14,17,3,6,12,16,2,10,15,18,5,7,11,20),"t20n1058"],
[(1,19,4,17,3,18)(2,16,5,20)(6,12)(7,11)(8,14,9,15)(10,13),
(1,13)(2,14,4,11,3,15,5,12)(6,20)(7,18,9,19,8,16,10,17),"t20n1059"],
[(1,6,4,7,2,9,5,8,3,10)(11,16,12,20)(13,18)(14,19,15,17),
(1,16,13,7,2,18,15,10,5,19,14,8,4,20,12,6,3,17,11,9),"t20n1060"],
[(1,11,4,14,3,13,5,15,2,12)(6,17,8,18,7,19,10,16,9,20),
(1,6,12,17,2,10,15,19)(3,8,11,16)(4,7,14,20,5,9,13,18),"t20n1061"],
[(1,13)(2,15,5,11,4,12)(3,14)(6,18,10,17,7,16)(8,19)(9,20),
(1,7,3,6,2,10)(4,8)(5,9)(11,17,13,19,14,16)(12,20)(15,18),
(1,16,4,20,2,18)(3,19)(5,17)(6,13,9,15)(7,11,10,14)(8,12),"t20n1062"],
[(1,2,5,3)(7,9,8,10)(11,14,12,15)(16,17,18)(19,20),
(1,16,11,9)(2,17,12,8)(3,19,13,10,5,18,15,7)(4,20,14,6),"t20n1063"],
[(1,10,4,8,3,9,5,6)(2,7)(11,17,12,19)(13,18)(14,16)(15,20),
(1,20)(2,19,3,18,4,17,5,16)(6,11,8,14,9,15,7,12)(10,13),"t20n1064"],
[(1,17,2,18,3,19,5,20)(4,16)(6,14,7,11)(8,12)(9,13)(10,15),
(1,10,4,9,2,7)(3,8)(5,6)(11,18,14,16,15,19)(12,20)(13,17),"t20n1065"],
[(1,2,3,5,4)(6,20,15,9,18,13)(7,19,14,8,17,12)(10,16,11),
(1,14,6,4,13,9,5,11,7,3,12,8,2,15,10)(16,18)(17,19),"t20n1066"],
[(1,2)(3,4)(5,9,19,15,8,10,18,14,7,12,17,13)(6,11,20,16),
(1,3,4,2)(5,16,19,9,8,15,18,12,6,13,20,10)(7,14,17,11),
(1,14,18,8,2,16,17,7,4,15,20,5)(3,13,19,6)(9,12,11),"t20n1067"],
[(1,6)(2,7,4,8)(3,10)(5,9)(11,20,15,17,14,18,13,19)(12,16),
(1,7,13,19,4,10,14,16,5,6,12,20)(2,8,15,17)(3,9,11,18),"t20n1068"],
[(1,6,4,10,5,7)(2,8,3,9)(11,18)(12,16,14,17,15,20,13,19),
(1,5,4)(7,8,10)(11,14)(12,15,13)(16,19,17)(18,20),(1,15,4,12,3,14,5,11)(2,13)
(6,17,10,20,8,18)(7,16,9,19),"t20n1069"],
[(1,5)(2,3)(6,9,7,8,10)(11,13,12,15)(17,20,19,18),
(1,16,6,14,5,20,8,12,4,19,7,11,2,17,9,15,3,18,10,13),"t20n1070"],
[(1,11,7,19,2,12,6,16,3,15,8,20)(4,14,9,17,5,13,10,18),
(1,4,2,5,3)(6,8,10,9,7)(11,15)(12,14,13)(16,20,19)(17,18),"t20n1071"],
[(1,16,11,8,2,17,13,7,5,20,12,9,4,19,14,10)(3,18,15,6),
(1,10,2,7,4,9,5,8)(3,6)(11,18)(12,17,13,19,14,16,15,20),"t20n1072"],
[(1,20,14,9)(2,16,12,6,5,19,15,7,3,17,13,8,4,18,11,10),
(1,13)(2,11,4,15,3,12)(5,14)(6,8)(7,9,10)(16,19,20),"t20n1073"],
[(1,11,2,13,5,12)(3,15)(4,14)(6,17,8,19,9,20,7,18,10,16),
(1,17,5,20,4,19,2,18)(3,16)(6,14,10,13)(7,12,8,15,9,11),
(1,7,3,9,5,10,2,6,4,8)(11,19,14,16,15,20,12,18,13,17),"t20n1074"],
[(1,19,12,6)(2,16,13,7,4,17,14,8)(3,18,15,10,5,20,11,9),
(1,3,5,2)(6,10,8,9)(11,14,15,13)(16,18,20,17),(1,13,4,12)(2,15)(3,14,5,11)
(7,9,8,10)(17,19,18,20),"t20n1075"],
[(1,14)(2,16)(3,13,4,15)(5,11)(6,9)(7,12,8,10)(17,19,18),
(1,12,19,14,7)(2,11,20,13,8,4,10,18,16,6,3,9,17,15,5),"t20n1076"],
[(1,11,5,14,2,15)(3,12)(4,13)(6,19,7,16,8,18,10,17,9,20),
(1,2)(4,5)(6,18,13,7,16,12)(8,19,14)(9,20,15,10,17,11),"t20n1077"],
[(3,5,4)(6,13,16,10,11,18,8,15,17)(7,14,19)(9,12,20),
(1,14,8,20)(2,11,6,19)(3,13,9,18,4,12,7,17,5,15,10,16),"t20n1078"],
[(1,12,19,3,14,18,5,13,17,4,15,16,2,11,20)(6,9)(7,8),
(1,13,6,5,14,8,4,11,10)(2,15,7)(3,12,9)(16,18,17,20,19),"t20n1079"],
[(1,12,20,8,4,13,17,9,2,15,18,10,3,14,16,6,5,11,19,7),
(1,6,15,4,7,13,3,10,14,2,8,12,5,9,11)(17,18,19),"t20n1080"],
[(1,16,8,13)(2,17,6,11)(3,19,7,15,4,20,9,14,5,18,10,12),
(1,8,5,7,2,10,4,6)(3,9)(11,13)(12,14)(16,19,18,20),"t20n1081"],
[(2,4,5,3)(8,10)(11,13,14,15,12)(16,19,18,20,17),(1,17,3,20)(2,18)(4,19)(5,16)
(6,13,10,15)(7,11,9,12,8,14),(1,6,5,9,2,8,4,7,3,10)(11,13,14,15)
(16,17,18,20),"t20n1082"],
[(1,13,2,12)(3,15)(4,11)(5,14)(6,20,7,18,9,19)(8,16,10,17),
(1,2,3,5)(6,9,10)(7,8)(11,17,14,16)(12,18)(13,19)(15,20),"t20n1083"],
[(1,9,14,18,3,7,11,20,4,6,13,19,5,10,15,17)(2,8,12,16),
(1,11)(2,12,4,15)(3,13,5,14)(6,20,8,19,10,17,9,16,7,18),"t20n1084"],
[(1,18,2,16,4,19,5,17)(3,20)(6,15,8,11,10,12,9,14,7,13),
(1,7,4,8)(2,6,3,10,5,9)(11,16)(12,19,15,17,13,20,14,18),"t20n1085"],
[(1,20,15,9)(2,17,11,6)(3,18,13,8,5,16,12,10,4,19,14,7),
(3,5)(6,9)(7,8)(11,13,14)(16,18)(17,20,19),"t20n1086"],
[(16,17)(19,20),(6,8)(16,20),(1,5)(16,20),(1,8,4,7,5,9)(2,10)(3,6)
(11,16,13,20,14,18)(12,17)(15,19),(1,16,5,18,3,19)(2,20)(4,17)(6,14)
(7,13,9,12,8,15)(10,11),"t20n1087"],
[(1,6,2,7,3,10,5,9,4,8)(11,14)(16,18,19,17,20),
(1,15,10,18)(2,13,6,16,3,12,8,17,5,14,9,19,4,11,7,20),
(1,18,8,12,5,20,9,11,2,19,10,14,3,17,6,15)(4,16,7,13),"t20n1088"],
[(1,14,5)(2,13,6,4,15,7)(3,16,8)(9,11,12)(17,19),
(1,17,11,7,14,3,18,9,6,15,2,19,12,8,16,4,20,10,5,13),"t20n1089"],
[(1,13,19,2,14,20,3,15,17)(4,16,18)(5,11,7,10,8,12)(6,9),
(1,5,9,2,7,10,3,6,11)(4,8,12)(13,17,16,20)(14,19,15,18),"t20n1090"],
[(1,8,16,19,9,2,5,14,18,10,4,7,15,17,12)(3,6,13,20,11),
(1,13,18,3,14,20)(2,16,19,4,15,17)(5,11,7,12,8,10,6,9),"t20n1091"],
[(1,16,10,14,4,17,7,13,5,18,8,12,3,20,6,15,2,19,9,11),
(1,11,8,2,15,10,5,13,9,4,14,7)(3,12,6)(18,19),"t20n1092"],
[(1,16,13,2,18,15,5,19,12,3,17,14,4,20,11)(6,8,10,7,9),
(1,7,20,14,5,9,16,15,3,10,18,13,4,8,17,11)(2,6,19,12),"t20n1093"],
[(1,16,15,6,5,19,12,9,2,18,14,8)(3,17,13,10)(4,20,11,7),
(1,4)(6,18)(7,20,8,19)(9,17)(10,16)(11,14)(12,13,15),"t20n1094"],
[(1,16,11,8,2,17,13,9,4,19,15,10,3,18,12,6)(5,20,14,7),
(1,6,11,17)(2,8,14,18,5,10,13,16)(3,9,15,19,4,7,12,20),"t20n1095"],
[(1,10,5,6)(2,7,3,8,4,9)(11,18,15,19,14,17,12,16)(13,20),
(1,10,14,19,4,7,12,20,2,8,15,16)(3,9,13,18,5,6,11,17),
(1,2,5,3,4)(6,17)(7,18)(8,16,9,19,10,20)(11,15,14,13),"t20n1096"],
[(1,18,11,9,3,17,14,7,4,16,13,8,2,20,12,10)(5,19,15,6),
(1,18,4,19,3,17,2,16,5,20)(6,12,9,13)(7,15,10,11,8,14),"t20n1097"],
[(16,17)(19,20),(1,5)(16,20),(1,15,3,13,4,11,5,14)(2,12)(7,9,10,8)
(16,17,18,20,19),(1,16,5,18,3,19)(2,20)(4,17)(6,14)(7,13,9,12,8,15)(10,11),
"t20n1098"],
[(1,2,5,3)(6,7)(8,10)(12,14,13)(16,20)(17,19),(1,15)(2,13)(3,11,5,14)(4,12)
(6,18,8,19,7,20,9,17,10,16),(1,7,2,8,3,10)(4,9,5,6)(11,18,15,17,14,19)
(12,20,13,16),"t20n1099"],
[(1,16,12)(2,15,11)(3,19,14)(4,20,13)(5,17,7)(6,18,8),
(1,9,15,18,19,8)(2,10,16,17,20,7)(3,11,14,6)(4,12,13,5),"t20n1100"],
[(1,15,3,16,2,13,4,14)(5,20,9,7,19,12)(6,18,10,8,17,11),
(1,18,5,15)(2,20,6,13,3,17,8,14,4,19,7,16)(9,12,10),
(1,10,18,7,16,3,12,17,5,14)(2,11,20,8,13,4,9,19,6,15),"t20n1101"],
[(1,15,19,5,13,16,4,11,18,2,12,20)(3,14,17)(6,9,10,7),
(3,5)(6,17,15)(7,16,13,10,20,14,8,19,11,9,18,12),(1,10,5,6,2,7)(3,9)(4,8)
(11,19,14,17,12,20)(13,16)(15,18),"t20n1102"],
[(1,6,11,17,3,9,14,16,4,8,15,20)(2,10,13,19,5,7,12,18),
(1,20,4,18,3,17,2,16,5,19)(6,14,8,12)(7,13)(9,11,10,15),
(1,9,5,6)(2,7)(3,10,4,8)(11,19)(12,16,13,18,15,20,14,17),"t20n1103"],
[(1,19,13,16,11,8,2,20,14,15,12,7)(3,17)(4,18)(5,6),
(1,11,3,16,13,10,20,7,5,17,2,12,4,15,14,9,19,8,6,18),"t20n1104"],
[(1,2)(3,9,15)(4,10,16)(5,20,7,14)(6,19,8,13)(11,18,12,17),
(1,10,14,12,19,5,3,17)(2,9,13,11,20,6,4,18),"t20n1105"],
[(1,11,20,10,17,5,15,2,12,19,9,18,6,16)(7,8),
(1,14,18,8,19,4,10,15)(2,13,17,7,20,3,9,16)(5,11,6,12),"t20n1106"],
[(1,11,6)(2,12,9)(3,13,10,4,14,7,5,15,8)(16,19),
(1,4,3,2,5)(6,17,14,10,18,12,9,19,13)(7,20,11)(8,16,15),"t20n1107"],
[(1,6,13,19,5,7,15,16,4,10,14,20,2,9,11,18,3,8,12,17),
(1,14,7,4,11,10,2,13,9,3,12,6)(5,15,8)(16,18,17)(19,20),"t20n1108"],
[(1,12)(2,15,4,14,3,11,5,13)(6,9,7,8)(16,17,18)(19,20),
(1,2,4,5,3)(6,18,15)(7,16,11,9,19,13,10,20,14)(8,17,12),"t20n1109"],
[(1,17,3,2,18,4)(5,6)(7,12,19,9,13,16,8,11,20,10,14,15),
(1,9,8,16)(2,10,7,15)(3,19,17,14,5)(4,20,18,13,6),"t20n1110"],
[(1,9,12,2,10,11,4,7,15)(3,6,14)(5,8,13)(16,17,19)(18,20),
(1,10,20,15,3,7,19,14,2,9,16,12,5,8,18,11)(4,6,17,13),"t20n1111"],
[(1,18,6,13,8,20,9,14,3,11,7,17,4,12,10,16,5,19)(2,15),
(1,16,5,18,3,15,7,13,6,19,4,11,8,14)(2,12,9,17,10,20),"t20n1112"],
[(1,14,2,20,10,13,7,17,4,16,3,18,9,19,6,12)(5,11)(8,15),
(1,6,8,2,4,5,7,9)(11,14,15,18,13,19,16)(12,20),"t20n1113"],
[(1,19,3,14,6,12,2,17,4,18,10,20)(5,11)(7,13,9,16)(8,15),
(2,6,10,7,3,8,5,4)(12,20,15)(13,18,17,19,16,14),"t20n1114"],
[(1,3,7,2,4,9,8)(5,6,10)(11,12,18,19,15,14,13,20,16,17),
(1,13,6,15)(2,20,4,12,7,16,5,11,8,19,9,17,10,18,3,14),"t20n1115"],
[(1,2)(3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20),(1,2,3),"t20n1116"],
[(1,2),(1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20),"t20n1117"]];
TRANSPROPERTIES[20]{[901..1117]}:=
[
[320000,0,1,-1,
"5540s0755s0202B540s030280540002A2s1701400002s020280s06080004s0280s0B40"
,[-100,-50,40],[-100,80,200],[-500,40,200,400]],
[320000,0,1,1,
"5540s0755s02029540s030280540002A2s1D02s07080004s0280s0A20"
,[-100,-40,50],[-2100,-80],[-2200,-40,500]],
[320000,0,1,-1,
"19C0s075Es0203B180s0302C046000282s1701400002s0202s060118000A080080s0B40"
,[-100,-50,40],[-100,80,200],[-500,40,200,400]],
[320000,0,1,-1,
"19C0s075Fs02039180s0302C046000282s1701400002s020280s050118000E080080"
,[-100,-50,40],[-100,80,200],[-500,40,200,400]],
[327680,0,1,-1,
"FFC0s031FF0s027F000F83A0s0902s1501C000E0E8s030E80s09080080s0B40"
,[-20,-10,1080],[-20,40,1160],[-20,1080,1160,1320]],
[327680,0,1,-1,
"7FC0s0317F0s025F000B83A0s0902s1501400060E8s030E80s0B80s0902A040"
,[-20,-10,160],[-20,40,320],[-20,160,320,640]],
[327680,0,1,-1,
"5540s030AA0s0255000503A0s0902s168000A0E8s030E80s0B80s090280"
,[-20,-10,160],[-20,40,320],[-20,160,320,640]],
[327680,0,1,-1,
"FFC0s0307F0s027F000383A0s0902s16400020E8s030E80s09080080s0AA0"
,[10,20,160],[-20,40,320],[-20,160,320,640]],
[327680,0,1,-1,
"7FC0s0317F0s025F000B83A0s0902s1501400060E8s030E80s0B80s09018040"
,[-20,-10,160],[-20,40,320],[-20,160,320,640]],
[327680,0,1,-1,
"FFC0s0307F0s027F000383A0s0902s16400020E8s030E80s09080080s090380"
,[-20,-10,160],[-20,40,320],[-20,160,320,640]],
[327680,0,1,1,
"5540s030AA0s025500050280s0902s168000A048s030As0C80s090120"
,[-20,-10,160],[20,40,320],[20,160,320,640]],
[368640,0,1,1,
"5540s025640s035500100280s0902s0212s05054C1080s110As0C80s0408s0404"
,[30,160],[60,320],[20,480,640]],
[368640,0,1,-1,
"5540s034030s0205000182A0s0902s0202s06040080s0D40s030Es0C80s09028040"
,[-180,-10],[-20,360],[-180,960]],
[368640,0,1,1,
"5540s0340A0s021500050280s0902s0202s06040080s0D48s030As0C80s048040"
,[-180,-10],[20,360],[180,1480]],
[368640,0,1,-1,
"FFC0s036070s020700038380s0902s0206s06060180s0DE0s030Es0A080080"
,[10,180],[-20,360],[-180,1480]],
[368640,0,1,-1,
"57C0s034170s020F000B82A0s0902s0202s06060180s0D60s030A80s0B80s03010020"
,[-180,-10],[-20,360],[-180,1480]],
[368640,0,1,1,
"5540s034020s020500010280s0902s0202s06040080s0D40s030As0C80s0A20"
,[10,180],[20,360],[180,960]],
[368640,0,1,-1,
"5DC0s02564110s020F000283A0s09020001s022010s02054Cs1E080080s034024s04040040"
,[30,160],[-60,320],[-20,480,640]],
[368640,0,1,1,
"5540s034020s020500010280s0902s0202s06040080s0D40s030As0C80s0901"
,[-180,-10],[20,360],[180,960]],
[368640,0,1,-1,
"5540s034020s020500010380s0902s0202s06040080s0DE0s030E80s0B80s0A80"
,[10,180],[-20,360],[-180,960]],
[368640,0,1,-1,
"5740s02564040s020F000283A0s0902s0240s0210s02054Cs130480s0B80s031004s0404"
,[30,160],[-60,320],[-20,480,640]],
[368640,0,1,-1,
"5740s0202C040s020F000283A0s0902s092Es130480s0B80s0520s0304"
,[30,160],[-60,320],[-20,480,640]],
[409600,0,1,-1,
"5540s0302A0s027F00038380s0654002302s1515400040E80080000A80s06A8010C000280s0A8\
0"
,[-100,-80,-10],[-20,160,200],[-100,80,160,800]],
[409600,0,1,-1,
"5540s0302B0s027F000383A0s0654002302s1515400040E00080000A80s06A8010C000280s0A2\
040"
,[-100,-80,-10],[-20,160,200],[-100,80,160,800]],
[409600,0,1,-1,
"FFC0s0307F0s027F000383A0s067E006302s19E8s030E80s0501F8018C080080s0B40"
,[-100,-10,80],[-20,160,200],[-100,80,160,800]],
[409600,0,1,1,
"5540s0302A0s025500010280s0654002202s150A8000A0480040000As07A80104000480s0A20"
,[-100,-80,-10],[20,160,200],[80,100,160,800]],
[409600,0,1,-1,
"5540s0302B0s0255000182A0s0654002202s150A8000A0600040000A80s06A80104000480s0A8\
040"
,[-100,-80,-10],[-20,160,200],[-100,80,160,800]],
[409600,0,1,-1,
"FFC0s0307F0s027F00038380s067E006302s19E0s030E80s0501F8018C080080s0AA0"
,[-100,-80,10],[-20,160,200],[-100,80,160,800]],
[414720,0,1,1,
"5540155552s1202s2A80"
,[30,1080],[60,3080],[20,1320,3120]],
[480000,0,1,1,
"1140s0202s0454s020291s020400028044000282s0908s1302s0708s0480s0408s030104"
,[40,150],[80,300],[40,500,600]],
[480000,0,1,1,
"55s030280A0s0405021540000410000154s02A2s092802s1202s08050010s0608s03014420"
,[-150,-40],[-300,-80],[-600,-40,500]],
[480000,0,1,-1,
"5FC0s020280s032Bs0203B5E00004000140560001A2s092802s1380s050158000E880080s0408\
s0301440040"
,[40,150],[-300,80],[-500,40,600]],
[491520,0,1,1,
"5540s025402A0s025500110280s09020002800010s03054090s0D2048s030As0C80s032050"
,[10,20,160],[20,40,320],[20,160,320,640]],
[518400,0,1,1,
"154000110040s034400400280s06440202020020s0320s03040080s1102s0C80"
,[-100,-90],[180,200],[900,1120]],
[518400,0,1,1,
"114000110040s034400400280s0644020202s0B80s0D40s0302s0C80"
,[-100,-90],[180,200],[240,900]],
[518400,0,1,1,
"114000110040s034400400280s0644020202s0B80s0A80s060As0708s030480"
,[-100,-90],[180,200],[240,900]],
[518400,0,1,-1,
"15s02110040s034400408280s06440202020020s0320s0304s1480s1120"
,[-100,-90],[-180,200],[-900,1120]],
[518400,0,1,-1,
"114000110040s034400400220s0644020202s1680s0608s0708s030480s0A8040"
,[-100,-90],[-180,200],[-900,240]],
[518400,0,1,1,
"11s02110040s0344004002s0744020202s1940s0302s1720"
,[-100,-90],[180,200],[240,900]],
[640000,0,1,-1,
"5FC0s077Fs020395E0s0303C0560003A2s164001402002s0202s060158000E880280s0A20"
,[-100,-40,50],[-100,-80,200],[-500,-200,-40,400]],
[640000,0,1,1,
"5540s04A0s02550005029540s02100281540002A2s150A80s024280400002s07080504100080s\
0A20"
,[-100,-50,-40],[-100,-80,200],[-200,-40,400,500]],
[640000,0,1,-1,
"5FC0s077Fs0203B5E0s0303C0560003A2s1701400002s020280s050158000E880080s0B40"
,[-100,-50,40],[-100,80,200],[-500,40,200,400]],
[640000,0,1,-1,
"5540s04A0s0255000502B540s02100281540002A2s150AC0s02628040000280s0608050410028\
0s0B40"
,[-100,-50,-40],[-100,-80,200],[-500,-200,-40,400]],
[640000,0,1,-1,
"5540s031540s0255000A02B5400002A00282540142A6s1640s0220s030280s06080004000280s\
0A2040"
,[-100,-50,-40],[-2100,-80],[-2200,-500,-40]],
[640000,0,1,-1,
"5540s031540s0255000A0295400002A00282540142A6s1640s0220s0302s07080004000280"
,[-2050,-40],[-80,2100],[-2200,-500,-40]],
[655360,0,1,-1,
"FFC0s031FF0s027F000F83A0s0902s1501C000E0E8s030E80s09080080s0903A040"
,[-20,-10,160],[-20,40,320],[-20,160,320,640]],
[737280,0,1,-1,
"FFC0s036070s0207000383A0s0902s0206s06060180s0DE0s030Es0A080080s09038040"
,[-180,-10],[-20,360],[-180,960]],
[737280,0,1,-1,
"FFC0s036070s020700038380s0902s0206s06060180s0DE0s030E80s09080080s0AA0"
,[10,180],[-20,360],[-180,960]],
[737280,0,1,-1,
"57C0s034170s020F000B83A0s0902s0202s06060180s0DE0s030E80s0B80s03010020s030180"
,[-180,-10],[-20,360],[-180,960]],
[737280,0,1,-1,
"5FC0s02564150s025F001283A0s0902000152002010s02054C1080s110E80s09080080s03502C\
s04040040"
,[30,160],[-60,320],[-20,480,640]],
[737280,0,1,-1,
"5540s0340B0s0215000583A0s0902s0202s06040080s0DE8s030E80s0B80s048040s03028040"
,[-180,-10],[-20,360],[-180,960]],
[737280,0,1,1,
"5540s0340A0s021500050280s0902s0202s06040080s0D48s030As0C80s048040s030120"
,[-180,-10],[20,360],[180,960]],
[737280,0,1,-1,
"FFC0s0361F0s021F000F83A0s0902s0206s06060180s0DE8s030E80s09080080s03018060"
,[-180,-10],[-20,360],[-180,1480]],
[737280,0,1,-1,
"57C0s034170s020F000B82A0s0902s0202s06060180s0D60s030E80s0B80s03010020s0302A04\
0"
,[-180,-10],[-20,360],[-180,960]],
[819200,0,1,-1,
"FFC0s0307F0s027F000383A0s067E006302s151FC000E0E800C0000E80s0501F8018C080680s0\
AA040"
,[-100,-80,-10],[-20,160,200],[-100,80,160,800]],
[829440,0,1,-1,
"55C01555520010s0202s028120s090204s02080104s038040s1F80"
,[30,1080],[-60,1160],[-20,1240,1320]],
[829440,0,1,1,
"5540155552s0405s020280s09020008s0320s020148s2080"
,[30,1080],[60,1160],[20,1240,1320]],
[829440,0,1,-1,
"5D4015555201s030800020120s0902s28080080s0B40"
,[30,1080],[-60,3080],[-20,1320,3120]],
[960000,0,1,-1,
"1340s0202s0476s02039120000400038044000382s0908s0D01400002s020280s064800088000\
80s0408s030104"
,[40,150],[-300,80],[-500,40,600]],
[960000,0,1,1,
"5540s020280s0355s020295400004000280540002A2s092802s1202s07080004s0280s0408s03\
0144"
,[40,150],[80,300],[40,500,600]],
[960000,0,1,-1,
"19C0s0202s045Es0203B18000040002C046000282s0908s0D01400002s0202s060118000A0800\
80s0408s0301040040"
,[40,150],[-300,80],[-500,40,600]],
[983040,0,1,1,
"5540s025402A0s025500150280s09020002800010s03054090s0A0A8000A048s02800As0C80s0\
32050s0401"
,[-20,-10,160],[20,40,320],[20,160,320,640]],
[983040,0,1,1,
"5540s02540AA000025500150280s09020002800050s03054090s0B8000A048s030As0C80s03A0\
50"
,[-20,-10,160],[20,40,320],[20,160,320,640]],
[983040,0,1,1,
"5540s025402A0s025500150280s09020002800010s03054090s0A028002A048s030As0C80s032\
05008s0420"
,[10,20,160],[20,40,320],[20,160,320,640]],
[983040,0,1,-1,
"5FC0s025407F000017F001B83A0s09020002C0001010s020540D0s0A05400160E8s02080E80s0\
B80s032054s0580"
,[10,20,160],[-20,40,320],[-20,160,320,640]],
[983040,0,1,-1,
"57C0s025403F0s027F001B83A0s0902000280001010s020540D0s0A15400460E8s02080E80s0B\
80s033054s040280"
,[-20,-10,160],[-20,40,320],[-20,160,320,640]],
[983040,0,1,-1,
"7FC0s025C17F000055F001B83A0s09020003C00030s0307C1D0s0A01400060E8s030A80s0B80s\
02017054s0640"
,[-20,-10,160],[-20,40,320],[-20,160,320,640]],
[983040,0,1,-1,
"FFC0s027C07F000017F001383A0s09020007C0001010s0207C1D0s0B400020E8s030Es0A08008\
0s037070"
,[10,20,160],[-20,40,320],[-20,160,320,640]],
[1036800,0,1,-1,
"154000110040s034600408280s06440202020020s0320s03040080s0A40s0280s030680s08080\
00280s0520"
,[-100,-90],[-180,200],[-900,240]],
[1036800,0,1,-1,
"154000110040s0344004002A0s06440202020020s0320s0304s0C80s0240s030As0708s030480\
s0A8040"
,[-100,-90],[-180,200],[-900,240]],
[1036800,0,1,-1,
"19C000118040s0346004002A0s0646020202s0B80s0911801000800080000As06011808080804\
80s0A8040"
,[-100,-90],[-180,200],[-900,240]],
[1036800,0,1,1,
"114000110040s034500400280s06440202020008s0980s0902s034000020002s0720000400808\
0s0A20"
,[-100,-90],[180,200],[240,900]],
[1036800,0,1,-1,
"374000130040s036E00608380s064C020302013004s0260s0210040080s110280s0B80s0520"
,[-100,-90],[-180,200],[-900,1120]],
[1036800,0,1,-1,
"114000110040s034C004003A0s0644020202s0540s0580s090180s02200001000As0708s03048\
0s0A8040"
,[-100,-90],[-180,200],[-900,240]],
[1036800,0,1,1,
"114000110040s034400400280s0644020202s0B80s09088008004000400002s0C80s0A20"
,[-100,-90],[180,200],[240,900]],
[1036800,0,1,-1,
"154000110040s034400408280s06440202020020s0320s0304s0C80s0240s030A80s0608s0304\
80s0520"
,[-100,-90],[-180,200],[-900,240]],
[1036800,0,1,1,
"154000110040s034400400280s06440202020020s0320s03040080s0A80s0240s030As0708s03\
0480"
,[-100,-90],[180,200],[240,900]],
[1036800,0,1,1,
"154000110040s034400400280s06440202020020s0320s0304s0C80s0240s030As0708s030480\
s0A20"
,[-100,-90],[180,200],[240,900]],
[1244160,0,1,1,
"556AB55552s1202s2A80s0904"
,[30,1080],[60,3080],[20,1320,3120]],
[1280000,0,1,-1,
"5FC0s0315E0s027F000F03B5E00002B003C3560143A6s150AC00140628240000280s050158050\
E980280s0A2040"
,[-100,-50,-40],[-100,-80,200],[-500,-200,-40,400]],
[1474560,0,1,-1,
"FFC0s0361F0s021F000F83A0s0902s0206s06060180s0DE8s030E80s09080080s03018060s030\
3A040"
,[-180,-10],[-20,360],[-180,960]],
[1658880,0,1,-1,
"5DC01555520110s020F000283A0s0902040800080124s0201C840s1D080080s0B40"
,[30,1080],[-60,1160],[-20,1240,1320]],
[1658880,0,1,1,
"5540155552s0405s020280s09020008s0320s020148s130As0C80s0408"
,[30,160],[60,320],[20,480,640]],
[1658880,0,1,-1,
"5540155552s0405s0203A0s09020008s0320s020148s130480s0B80s0424"
,[30,160],[-60,320],[-20,480,640]],
[1843200,0,1,1,
"554015405402A002805505010280s0654142202A802801002s03414010s0E08s0302s0C80s041\
0"
,[-100,-10,80],[20,160,200],[80,100,160,800]],
[1920000,0,1,-1,
"5FC0s020280s037Fs0203B5E000040003C0560003A2s092802s0C01400002s020280s05015800\
0E880080s0408s0301440040"
,[40,150],[-300,80],[-500,40,600]],
[1920000,0,1,1,
"5540s020280A0s025500050295400004100281540002A2s092802s0A0A80s024280400002s070\
80504100080s0408s03014420"
,[-150,-40],[-300,-80],[-600,-40,500]],
[1920000,0,1,-1,
"5540s02029540s02D5000A0295400006A00282540142A6s092822s0B40s0220s0302s07080004\
000280s030A0880s02014C"
,[-150,-40],[-80,300],[-600,-500,-40]],
[1966080,0,1,-1,
"5FC0s02540FF000037F001F83A0s09020002C0005010s020540D0s0A15C005E0E8s02080E80s0\
B80s03B054s040280"
,[-20,-10,160],[-20,40,320],[-20,160,320,640]],
[1966080,0,1,-1,
"7FC0s025C17F000057F001F83A0s09020003C0003010s0207C1D0s0A17C006E0E8s02080E80s0\
B80s0201705408s0302A040"
,[-20,-10,160],[-20,40,320],[-20,160,320,640]],
[1966080,0,1,-1,
"FFC0s027C07F000017F001F83A0s09020007C0001010s0207C1D0s0A1FC004E0E8s02880E80s0\
9080080s037074s040380"
,[-20,-10,160],[-20,40,320],[-20,160,320,640]],
[1966080,0,1,-1,
"FFC0s027C07F000017F001F83A0s09020007C0001010s0207C1D0s0A07C003E0E8s02080E80s0\
9080080s03707408s04A0"
,[10,20,160],[-20,40,320],[-20,160,320,640]],
[1966080,0,1,-1,
"7FC0s025C17F000057F001F83A0s09020003C0003010s0207C1D0s0A0FC001E0E8s02880E80s0\
B80s02017054s04018040"
,[-20,-10,160],[-20,40,320],[-20,160,320,640]],
[1966080,0,1,1,
"5540s02540AA000025500150280s09020002800050s03054090s0A0A8002A048s02800As0C80s\
03A05008s030120"
,[-20,-10,160],[20,40,320],[20,160,320,640]],
[1966080,0,1,-1,
"FFC0s027C1FF000077F001F83A0s09020007C0007010s0207C1D0s0A01C000E0E8s030E80s090\
80080s0201F074s0640"
,[-20,-10,160],[-20,40,320],[-20,160,320,640]],
[2073600,0,1,-1,
"374000130040s036E00608380s064C020302013004s0260s0210040080s0AC0s02C0s030E80s0\
6080008000680s0520"
,[-100,-90],[-180,200],[-900,240]],
[2073600,0,1,1,
"154000110040s034500400280s06440202020028s0320s03040080s090A800800400042000As0\
7280004008480s0A20"
,[-100,-90],[180,200],[240,900]],
[2073600,0,1,-1,
"1DC000118040s034E004003A0s06460202020020s0360s03040080s0911801000E00081000As0\
601180808080480s0A8040"
,[-100,-90],[-180,200],[-900,240]],
[2073600,0,1,-1,
"1DC000118040s034E00408380s06460202020020s0360s0304s0B11801000E00081000A80s050\
1180808080480s0520s0420"
,[-100,-90],[-180,200],[-900,240]],
[2073600,0,1,-1,
"374000130040s036E006003A0s064C020302013004s0260s021004s0CC0s02C0s030Es0708000\
8000680s0AA040"
,[-100,-90],[-180,200],[-900,240]],
[2073600,0,1,-1,
"154000110040s0345004082A0s06440202020028s0320s0304s0B0A800800400042000A80s062\
80004008480s0520s048040"
,[-100,-90],[-180,200],[-900,240]],
[2488320,0,1,-1,
"55EAB555520010s0202s028120s090204s02080104s038040s1F80s0904"
,[30,1080],[-60,1160],[-20,1240,1320]],
[2488320,0,1,1,
"556AB55552s0405080002C0s09020A08s0202A0s020148s2080s0904"
,[30,1080],[60,1160],[20,1240,1320]],
[2488320,0,1,-1,
"5D6AB5555201s030800020120s0902s28080080s09040040"
,[30,1080],[-60,3080],[-20,1320,3120]],
[3317760,0,1,-1,
"5DC01555520110s020F000283A0s0902040800080124s0201C840s120E80s09080080s042Cs06\
40"
,[30,160],[-60,320],[-20,480,640]],
[3628800,0,1,1,
"114011004440s031101000280s064410000202s0480s0201401080s0882s0802s060408s02010\
080s0701020001"
,[-1090,10],[20,1180],[180,240,720]],
[3628800,0,1,1,
"114011004440s031101000280s064410000202s0480s0201401080s0882s0802s060408000401\
0080s0701"
,[-90,-10,90],[20,1180],[180,240,720]],
[3686400,0,1,1,
"554015405402A002805505010280s0654142202AA0280500280s02454010s0E08s0302s07A821\
04050080s0410"
,[-100,-10,80],[20,160,200],[80,100,160,800]],
[3686400,0,1,1,
"554015405402A002805505150680s0654142202AA0280501280s02414010s0A02800282480008\
000As0C80s0410"
,[-100,-10,80],[20,160,200],[80,100,160,800]],
[3686400,0,1,-1,
"554015405402B0028055050182A0s0654142202AA0280500280s02454040s0E20s0480s06A821\
04050080s031004s0640"
,[-100,-10,80],[-20,160,200],[-100,80,160,800]],
[3686400,0,1,-1,
"554015405402A0028055051586A0s0654142202AA0280501280s024140s0B02C0028260000808\
0880s1004s0580"
,[-100,-80,10],[-20,160,200],[-100,80,160,800]],
[3686400,0,1,1,
"550015405402A002805505050280s0654142202A80280501288s02410010s0A028020A048s022\
002s1208s0420"
,[-100,-80,10],[20,160,200],[80,100,160,800]],
[3686400,0,1,1,
"554015405402A002805505050280s0654142202A80280501288s02414010s0A028020A048s022\
002s0C80s0410"
,[-100,-10,80],[20,160,200],[80,100,160,800]],
[3840000,0,1,-1,
"5FC0s020295E0s02FF000F03B5E00006B003C3560143A6s092822s0A0AC00140628240000280s\
050158050E980280s030A0880s02014C2040"
,[-150,-40],[-300,-80],[-600,-500,-40]],
[3932160,0,1,-1,
"FFC0s027C1FF000077F001F83A0s09020007C0007010s0207C1D0s0A1FC007E0E8s02880E80s0\
9080080s0201F07408s0303A040"
,[-20,-10,160],[-20,40,320],[-20,160,320,640]],
[4147200,0,1,-1,
"3FC000138040s036F006083A0s064E020302013804s0260s0210040080s091BC01800E000C300\
0E80s050138080C088680s0520s04A040"
,[-100,-90],[-180,200],[-900,240]],
[4976640,0,1,-1,
"556AB55552s0405080003E0s09020A08s0202A0s020148s130480s0B80s0424s0404"
,[30,160],[-60,320],[-20,480,640]],
[4976640,0,1,1,
"556AB55552s0405080002C0s09020A08s0202A0s020148s130Bs0C80s0458s0404"
,[30,160],[60,320],[20,480,640]],
[4976640,0,1,1,
"554015555640s0305s020280s09020008s0320s02054Cs150Bs0A80"
,[30,160],[60,320],[20,480,640]],
[4976640,0,1,-1,
"5DEAB555520110s020F080283E0s09020E08000803A4s0201C840s1D080080s09040040"
,[30,1080],[-60,1160],[-20,1240,1320]],
[7257600,0,1,1,
"554015405440s035505100280s065414020202s0480s0205441080s08A2s080As060408000401\
0080s0701020001"
,[-1090,-10],[20,1180],[180,240,720]],
[7372800,0,1,-1,
"7FC017E05417F017857F079F8FA0s065E156702FE03C0F83380s0261C010s0A17C142C2E80098\
080A80s0B80s0414s0580"
,[-100,-80,-10],[-20,160,200],[-100,80,160,800]],
[7372800,0,1,-1,
"FFC01FE07C07F007807F078383A0s067E1C6303FE07C0780780s02E7C050s0E28s030280s0501\
F8718C0F0080s031014s0640"
,[-100,-10,80],[-20,160,200],[-100,80,160,800]],
[7372800,0,1,-1,
"5FC015E05407F007817F078B8BA0s0654142202BE02C0780794s02454050s0A05404141A80004\
400680s06A82104050080s031014s0640"
,[-100,-10,80],[-20,160,200],[-100,80,160,800]],
[7372800,0,1,1,
"554015405402A002805505150680s0654142202AA0280501288s02454010s0A028022A2480008\
200As07A82104050080s0508s0420"
,[-100,-80,10],[20,160,200],[80,100,160,800]],
[7372800,0,1,-1,
"7FC017E05C07F007807F079787A0s0654142202FE03C0F83784s02414150s0A07C042C268001C\
080A80s06501288004280s0414s0580"
,[-100,-80,-10],[-20,160,200],[-100,80,160,800]],
[7372800,0,1,-1,
"554015405402A0028055051586A0s0654142202AA0280501288s02454010s0A02C022A2600008\
280A80s06A82104050080s0404s0580"
,[-100,-80,10],[-20,160,200],[-100,80,160,800]],
[7372800,0,1,1,
"554015405402A002805505150680s0654142202AA0280501288s02454010s0A028022A2480008\
200As07A82104050080s0410"
,[-100,-10,80],[20,160,200],[80,100,160,800]],
[7372800,0,1,-1,
"554015405402B0028055051586A0s0654142202AA0280501288s02454050s0A028022A2600008\
200A80s06A82104050080s031004s0640"
,[-100,-10,80],[-20,160,200],[-100,80,160,800]],
[7372800,0,1,1,
"55401540540AA00A805505050280s065414A202A80281505288s02494090s0A0A80A0A0480048\
2002s0C80s041008s0420"
,[-100,-80,-10],[20,160,200],[80,100,160,800]],
[7372800,0,1,1,
"55401540540AA00A825505050680s0654142202AA0281505288s02414010s0A0A80A0A0480028\
2002s07280514010480s041008s0420"
,[-100,-80,-10],[20,160,200],[80,100,160,800]],
[9953280,0,1,-1,
"5DEAB555520110s020F080283E0s09020E08000803A4s0201C840s120F80s09080080s047Cs04\
040040"
,[30,160],[-60,320],[-20,480,640]],
[9953280,0,1,-1,
"57401555564040s020F000283A0s0902100840200134s02054Es1304800Bs0A80s03102420"
,[30,160],[-60,320],[-20,480,640]],
[9953280,0,1,-1,
"5DC01555564110s020F000283A0s0902040900082134s0205CC40s140Bs08080080s034024s06\
40"
,[30,160],[-60,320],[-20,480,640]],
[9953280,0,1,1,
"554015555640s035505500280s090200AA90s0220s02054C10s120A000Bs0320s0680s0408"
,[30,160],[60,320],[20,480,640]],
[14745600,0,1,-1,
"FFC01FE07C07F007817F079F8FA0s067E1C6303FE07C078179Cs02E7C050s0A07C063E3E8000C\
600E80s0501F8718C0F0080s031014s0640"
,[-100,-10,80],[-20,160,200],[-100,80,160,800]],
[14745600,0,1,-1,
"FFC01FE07C07F007817F079F8FA0s067E1C6303FE07C078179Cs02E7C050s0A07C063E3E8000C\
680E80s0501F8718C0F0080s040408s04A0"
,[-100,-80,10],[-20,160,200],[-100,80,160,800]],
[14745600,0,1,-1,
"7FC017E05C17F017857F079F8FA0s065E156702FE03C0F8378Cs0265C150s0A17C162E2E8009C\
280A80s06F8338C054280s0414s0580"
,[-100,-80,-10],[-20,160,200],[-100,80,160,800]],
[14745600,0,1,-1,
"55401540540AB00A8255051586A0s065414A202AA0281505288s024D40D0s0A0AC0A2A2600068\
280A80s06A82514050480s031004s058040"
,[-100,-80,-10],[-20,160,200],[-100,80,160,800]],
[14745600,0,1,1,
"55401540540AA00A825505150680s065414A202AA0281505288s024D4090s0A0A80A2A2480068\
200As07A82514050480s041008s0420"
,[-100,-80,-10],[20,160,200],[80,100,160,800]],
[14745600,0,1,-1,
"7FC017E05C17F017857F079F8FA0s065E156702FE03C0F8378Cs0265C150s0A17C162E2E8009C\
200A80s06F8338C054280s03100408s042040"
,[-100,-80,-10],[-20,160,200],[-100,80,160,800]],
[14929920,0,1,1,
"556AB55556C0s0305080002C0s09020A08s0202A0s02056Cs14015Bs0A80s0904"
,[30,160],[60,320],[20,480,640]],
[19906560,0,1,1,
"556AB555520AA54A2055AD4522C0s0902s2A80s0904"
,[30,1080],[60,3080],[20,1320,3120]],
[19906560,0,1,-1,
"5FC01555564150s025F055283A0s090214ABD0282134s0205CE50s120E800Bs0320s04080080s\
03502C20s0540"
,[30,160],[-60,320],[-20,480,640]],
[29491200,0,1,-1,
"FFC01FE07C1FF01F877F079F8FA0s067E1DE703FE07C1F8779Cs02EFC1D0s0A1FC1E3E3E800FC\
680E80s0501F8779C0F4680s03101408s04A040"
,[-100,-80,-10],[-20,160,200],[-100,80,160,800]],
[29859840,0,1,-1,
"576AB55556C040s020F080283E0s09021A08402003B4s02056Es1304815Bs0A80s03102420s03\
04"
,[30,160],[-60,320],[-20,480,640]],
[29859840,0,1,-1,
"5DEAB55556C110s020F080283E0s09020E09000823B4s0205EC40s13015Bs08080080s034024s\
04040040"
,[30,160],[-60,320],[-20,480,640]],
[29859840,0,1,1,
"556AB55556C0s0355AD5002C0s0902AAAA920002A0s02056C1080s110B015B00100020s0680s0\
458s0404"
,[30,160],[60,320],[20,480,640]],
[39813120,0,1,1,
"556AB555520AA54A2055AD4522C0s09020A08001002A0s020148s0C8000A4480008200Bs0C80s\
0904"
,[30,1080],[60,1160],[20,1240,1320]],
[39813120,0,1,-1,
"FFFFFFDF721FFFFF747FFF4FFBE0s0902s28080080s09040040"
,[30,1080],[-60,3080],[-20,1320,3120]],
[39813120,0,1,-1,
"55EAB555520AF56A2057AD47B3E0s090204s02288104s038040s0A01420040B00015000480s0B\
80s0904"
,[30,1080],[-60,1160],[-20,1240,1320]],
[51840000,0,1,-1,
"556A951440s0401s03B55529s04555000B202s0480s0340s1480s06080004010080s0404s0640"
,[-100,-50,40],[-2100,80],[-500,40,2200]],
[51840000,0,1,1,
"556A951440s0401s03955529s04555000B202s0480s0340s1B080004010080"
,[-2050,40],[80,2100],[40,500,2200]],
[59719680,0,1,-1,
"5FEAB55556C150s025FAD5283E0s0902BEABD22823B4s0205EE5080s110F815B00100020s0408\
0080s03507C20s03040040"
,[30,160],[-60,320],[-20,480,640]],
[79626240,0,1,-1,
"FFFFFFDF721FFFFF747FFF4FFBE0s09020E08003883A4s0201C840s0A01C200E4F8001D200F80\
s09080080s09040040"
,[30,1080],[-60,1160],[-20,1240,1320]],
[79626240,0,1,-1,
"556AB555520AA54A2055AD4523E0s09020A08001002A0s020148s0C8000A4F80008200F80s0B8\
0s0424s0406C0"
,[30,160],[-60,320],[-20,480,640]],
[79626240,0,1,1,
"556AB555520AA54A2055AD4522C0s09020A08001002A0s020148s0C8000A4480008200Bs0C80s\
0458s040520"
,[30,160],[60,320],[20,480,640]],
[103680000,0,1,-1,
"576AD53440004020000B108211B55529s04555000B2121040208180s0340s1480s0649122C010\
080s0404s0640"
,[-100,-50,40],[-100,80,200],[-500,40,200,400]],
[103680000,0,1,1,
"556A9515440201020811210422955529s04555000B202s0480s034010s0D20s032002s0708000\
4010080"
,[-2050,40],[80,2100],[40,500,2200]],
[103680000,0,1,-1,
"5FEBD59440s042B52s02B5F5A9s020150575001B25651s0380A4002040s1480s05015D4006C90\
080s0404s0640"
,[-100,-50,40],[-100,80,200],[-500,40,200,400]],
[103680000,0,1,-1,
"556A9515440201020811210422B55529s04555000B202s0480s0340s1480s06080004010080s0\
404s0640"
,[-100,-50,40],[-2100,80],[-500,40,2200]],
[103680000,0,1,1,
"556A9515440201020811210422955529s04555000B202s0480s0340s1B080004010080"
,[-2050,40],[80,2100],[40,500,2200]],
[103680000,0,1,1,
"552A9515440201020811210422155529s04555000B2s0580s0410s0D2008s022002s1208s0420"
,[-100,-40,50],[-2100,-80],[-2200,-40,500]],
[103680000,0,1,1,
"552A9515440201020811210422155529s04555000B2s0580s0410s0D20s032002"
,[-2050,40],[80,2100],[40,500,2200]],
[103680000,0,1,1,
"556A9515440201020811210422955529s04555000B202s0480s034010s0D20s032002s0708000\
4010080"
,[-2050,40],[80,2100],[40,500,2200]],
[155520000,0,1,1,
"556A951442C0s0301s0395552904s03555000B202s0480s036C02s140Bs0220s0208000401008\
0s080164"
,[40,150],[80,300],[40,500,600]],
[159252480,0,1,-1,
"FFFFFFDF721FFFFF747FFF4FFBE0s09020E08003883A4s0201C840s0A01C200E4F8001D200F80\
s09080080s047Cs0407E040"
,[30,160],[-60,320],[-20,480,640]],
[207360000,0,1,-1,
"5FEBD5B544024122083B738633B5F5A9s020150575001B2565140208180A400204010s0D20s03\
200280s05015D522EC90080s0404s0640"
,[-100,-50,40],[-100,80,200],[-500,40,200,400]],
[207360000,0,1,1,
"556A9555540A854A2855A5042295552B414522A055548AB202s0480s034010s0D20s032002s07\
080004010080"
,[-2050,40],[80,2100],[40,500,2200]],
[207360000,0,1,-1,
"556A9555540A854A2855A50422B5552B414522A055548AB202s0480s0340s1480s06080004010\
080s0404s0640"
,[-100,-50,40],[-2100,80],[-500,40,2200]],
[207360000,0,1,1,
"552A9555540A854A2855A5042215552B414522A055548AB2s0580s0410s0D2008s022002s1208\
s0420"
,[-100,-40,50],[-2100,-80],[-2200,-40,500]],
[207360000,0,1,1,
"552AB5554402A142081529052215556900100089555000B22828805100804208s0210s0D2008s\
022002s07A2A54130s0708s0420"
,[-100,-50,-40],[-100,-80,200],[-200,-40,400,500]],
[207360000,0,1,1,
"556AB5554402A142081529052295556900100089555000B22A28805100804208004010s0D2008\
s022002s07AAA545310080s0508s0420"
,[-100,-50,-40],[-100,-80,200],[-200,-40,400,500]],
[207360000,0,1,1,
"556A9555540A854A2855A5042295552B414522A055548AB202s0480s034010s0D20s032002s07\
080004010080"
,[-2050,40],[80,2100],[40,500,2200]],
[207360000,0,1,-1,
"5FEBD5B544024122083B738633B5F5A9s020150575001B2565140208180A4002040s1480s0501\
5D522EC90080s0404s0640"
,[-100,-50,40],[-100,80,200],[-500,40,200,400]],
[238878720,0,1,1,
"556AB55556CAA54A2255AD5522C0s09020A0A90105AA0s02056C90s0B8000A4480008200B015B\
0210s0880s03A458s0404"
,[30,160],[60,320],[20,480,640]],
[311040000,0,1,1,
"556A951546C20102081121042295552904s03555000B2020012000880s036C02s140Bs0221300\
0080004010080s030488s030164"
,[40,150],[80,300],[40,500,600]],
[311040000,0,1,-1,
"5FEBD59442C0s032B52s02B5F5A904000150575001B25651s0380A400206C02s13800Bs022000\
015D4006C90080s0404s0301640040"
,[40,150],[-300,80],[-500,40,600]],
[311040000,0,1,1,
"552A951546C20102081121042215552904s03555000B2s0212000880s032C12s0D20s03200200\
0Bs022130s0A0488s030164"
,[40,150],[80,300],[40,500,600]],
[311040000,0,1,-1,
"576AD53442C04020000B108211B5552904s03555000B2121040208180s036C02s13800Bs0220s\
0249122C010080s0404s0301640040"
,[40,150],[-300,80],[-500,40,600]],
[414720000,0,1,-1,
"556A9555540BC5EB285FB50422B5552B4165A2E055548AB202s02A2A5C00013004010s0A050A4\
168011200200280s06080004010080s0404s0640"
,[-100,-50,40],[-100,80,200],[-500,40,200,400]],
[414720000,0,1,-1,
"5FEBD5F5540AC56A287FF78633B5F5AB414523F057548BB2565140208180A400204010s0D20s0\
3200280s05015D522EC90080s0404s0640"
,[-100,-50,40],[-100,80,200],[-500,40,200,400]],
[414720000,0,1,1,
"556A9555540AA54AA855AD052295552B415522A05554AAB20200015552A8002C084010s0A0A94\
A0A44AA0402002s07080004010080s0508s0420"
,[-100,-50,-40],[-100,-80,200],[-200,-40,400,500]],
[414720000,0,1,1,
"556A9555540A854A2855A5042295552B414522A055548AB202s0480s034010s0D2008s022002s\
07080004010080s0508s0420"
,[-100,-40,50],[-2100,-80],[-2200,-40,500]],
[414720000,0,1,-1,
"556A9555540A954A2855A504A295552B414522A055548AB202s02080084s034050s0B40002020\
00042002s07080084014280"
,[-1050,-40,50],[-80,2100],[-2200,-500,-40]],
[414720000,0,1,-1,
"556A9555540A854A2855A50422B5552B414522A055548AB202s0480s034010s0D20s03200280s\
06080004010080s0404s0640"
,[-100,-50,40],[-2100,80],[-500,40,2200]],
[414720000,0,1,1,
"556A9555540A854A2855A5042295552B414522A055548AB202s0480s034010s0D20s032002s07\
080004010080"
,[-2050,40],[80,2100],[40,500,2200]],
[414720000,0,1,1,
"556AB555540AA54A2855AD052295556B415522A955548AB22A28805100804208004010s0D2008\
s022002s07AAA545310080s0508s0420"
,[-100,-50,-40],[-100,-80,200],[-200,-40,400,500]],
[477757440,0,1,-1,
"FFFFFFDF7FDFFFFF77FFFF5FFBE0s09020E0FFC38FBB4s0207FDF0s0A01C200E4F8001D200F81\
FF0790s06080080s0201FF7Cs04040040"
,[30,160],[-60,320],[-20,480,640]],
[477757440,0,1,1,
"556AB55556CAA54A2255AD5522C0s0902AAAA92515AA0s02056C9080s090A9482B6480008A00B\
015B02100020s0680s03A45808s030520"
,[30,160],[60,320],[20,480,640]],
[477757440,0,1,-1,
"5FEBF5D556CFF7EF337FFF5FFBE0s09025E5BD0BAFBB4s02056ED0s0A15EB55ECF80008280F81\
5B0310s0208s0580s03B47C20s0306C0"
,[30,160],[-60,320],[-20,480,640]],
[622080000,0,1,-1,
"5FEBD5B546C24122083B738633B5F5A904000150575001B2565152208980A400206C02s13800B\
s022130015D522EC90080s03048Cs0301640040"
,[40,150],[-300,80],[-500,40,600]],
[622080000,0,1,1,
"552AB55546C2A142081529052215556904100089555000B22828925108804208002C12s0D2008\
s022002000Bs02213000A2A54130s05048808s02016420"
,[-150,-40],[-300,-80],[-600,-40,500]],
[829440000,0,1,-1,
"556AB555540AB54AA855AD05A2B5556B415522A95554AAB22A28815D52AC422C084050s0A0AD4\
A0A462A044200280s06AAA5C5314280s0404s0640"
,[-100,-50,-40],[-100,-80,200],[-500,-200,-40,400]],
[829440000,0,1,-1,
"FF7FDFDFFC1FDFDF787DF70EE2BFDFBFE3EF73B27DFDDAFE02s02080084s034050s0B40002028\
0004200280s06080084014280s040408s042040"
,[-100,-50,-40],[-2100,-80],[-2200,-500,-40]],
[829440000,0,1,1,
"556AB555540AA54AA855AD052295556B415522A95554AAB22A28815552A8422C084010s0A0A94\
A0A44AA0402002s07AAA545310080s0508s0420"
,[-100,-50,-40],[-100,-80,200],[-200,-40,400,500]],
[829440000,0,1,-1,
"5FEBD5F5540BD5EB287FF786B395F5AB4165A3F057548BB2565140AAA5C4A413204050s0A054A\
41682912042002s06015D52AEC94280s0508s0420"
,[-100,-40,50],[-100,-80,200],[-500,-200,-40,400]],
[829440000,0,1,-1,
"5FEBD5F5540BC5EB287FF78633B5F5AB4165A3F057548BB2565140A2A5C0A413204010s0A050A\
4168011200200280s05015D522EC90080s0404s0640"
,[-100,-50,40],[-100,80,200],[-500,40,200,400]],
[829440000,0,1,-1,
"FF7FDFDFFC1FDFDF787DF70EE29FDFBFE3EF73B27DFDDAFE02s02080084s034050s0B40002020\
00042002s07080084014280"
,[-2050,-40],[-80,2100],[-2200,-500,-40]],
[928972800,0,1,1,
"554015405442A002805505150680s0654142202AA0282501288s0245449080s08A2028022A248\
0008200As0604A82104050080s032050080005020021"
,[10,180],[20,360],[180,960]],
[955514880,0,1,-1,
"FFFFFFDF7FDFFFFF77FFFF5FFBE0s0902FEFFFEFBFBB4s0207FFF080s091FFFD7FEF8001DA80F\
81FF0790002008s03080080s0201FF7C28s0307E040"
,[30,160],[-60,320],[-20,480,640]],
[1244160000,0,1,1,
"556A955556CA854A2855A5042295552B454522A055548AB2020012000880s036C12s0D20s0320\
02000Bs02213000080004010080s030488s030164"
,[40,150],[80,300],[40,500,600]],
[1658880000,0,1,-1,
"FFFFFFFFFC1FFFFFF87FFF8FF3BFFFFFE3FFF3FB7FFDFBFE7E79C1FFF7ECE63F284050s0A0FDE\
E1EC6BB244200280s0501FFF7EFF94280s040408s042040"
,[-100,-50,-40],[-100,-80,200],[-500,-200,-40,400]],
[1857945600,0,1,-1,
"7FC017E05C57F017857F079F8FA0s065E156702FE03C2F8379Cs0267C7D180s08B317C166E2E8\
009C280E80s0504F8338C054280s020171542800070A02A140"
,[-180,-10],[-20,360],[-180,960]],
[1857945600,0,1,1,
"55401540544AA00A825505150680s065414A202AA0283505288s024D449080s08A28A80A2A248\
0068A00As0604A82514050480s03A0D0480005120121"
,[-180,-10],[20,360],[180,960]],
[1857945600,0,1,-1,
"FFC01FE07C67F007817F079F8FA0s067E1C6303FE07C678179Cs02E7C7D180s08F227C063E3E8\
000C680E80s0507F8718C0F0080s03707408000F2200A3"
,[10,180],[-20,360],[-180,960]],
[2488320000,0,1,-1,
"FF7FDFDFFFFFDFDF78FDF70EE29FDFBFE7EF73B27DFDDAFE02003E0808840040007E72s0B4000\
202000042002000F808023F800080084014280s030F8880s0201FC"
,[-150,-40],[-80,300],[-600,-500,-40]],
[2488320000,0,1,-1,
"5FEBD5F556CBC5EB287FF78633B5F5AB4565A3F057548BB2565152A2ADC0A413206C12s0A050A\
41680112002002800Bs022130015D522EC90080s03048Cs0301640040"
,[40,150],[-300,80],[-500,40,600]],
[2488320000,0,1,1,
"556AB55556CAA54AA855AD052295556B455522A95554AAB22A2893555AA8422C086C12s0A0A94\
A0A44AA0402002000Bs02213000AAA545310080s03048808s02016420"
,[-150,-40],[-300,-80],[-600,-40,500]],
[3715891200,0,1,-1,
"FFC01FE07C7FF01F877F079F8FA0s067E1DE703FE07C7F8779Cs02EFC7D180s08F3BFC1E7E3E8\
00FCE80E80s0507F8779C0F4680s0201F1F468000F3A03A340"
,[-180,-10],[-20,360],[-180,960]],
[4976640000,0,1,-1,
"FFFFFFFFFFFFFFFFF8FFFF8FF3BFFFFFE7FFF3FB7FFDFBFE7E79FFFFFFECE67F287E72s0A0FDE\
E1EC6BB2442002800F808023F801FFF7EFF94280s030F8C88s0201FC2040"
,[-150,-40],[-300,-80],[-600,-500,-40]],
[6584094720000,0,1,1,
"556A955556CAA54AAA55AD452295552B515522A05556AAB2AAA291555AA9482C494090D4AAAD4\
AA4A58151288A0A94A8A44AA0482242554B2A4A851494080004010080s0410080001020021"
,[-100,-90],[180,200],[240,900]],
[13168189440000,0,1,-1,
"556AB55556CAB54AAA55AD55A6B5556B515526AD5556AAB2AAAA915D5AAD4AAC4D6CD055AAAD4\
AACA5915528AA0AD4AAB662A46E2A4AD54B2A4A851494AAA5D535D680s03100420s0208008040"
,[-100,-90],[-180,200],[-900,240]],
[13168189440000,0,1,1,
"556AB55556CAA54AAA55AD552695556B515526AD5556AAB2AAAA91555AA94AAC4D6C90D5AAAD4\
AACA5915528AA0A94AAB64AA46A224A554B2A4A851494AAA555359480s0410080001020021"
,[-100,-90],[180,200],[240,900]],
[26336378880000,0,1,-1,
"FFFFFFFFFFDFFFFFFFFFFFFFFFBFFFFFFBFFFFFF7FFFFFFFFFFFFDFFFFFFFFBFFFFDF0FFFFFFF\
FFEF7F5FFF8EE1FFFFBFFEFF6FF6FCEFFEF7EEED7D6B5FFFFFFFFFF80s0310142800010A00A140"
,[-100,-90],[-180,200],[-900,240]],
[1216451004088320000,1,18,1,
"556AB55556CAA54AAA55AD5526D5556B555526AD5556AAB2AAAA93555AA94AAC4D6C9AD5AAAD4\
AACAD93552BAACA94AAB64AA56AB26B555B2A5AAD3594AAA5553594D6AA7652A4D94D5A9553653\
580"
,[190],[380],[1140]],
[2432902008176640000,1,20,-1,
"FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF\
FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF\
FC0"
,[190],[-380],[-1140]]];