CoCalc -- trans20b.grp

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

GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it
Project: cocalc-sagemath-dev-slelievre
Views: ⁴¹⁸³⁴⁶
#############################################################################
##
#A  trans20b.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]{[301..600]}:=
[[(1,20,12,6,13,4,18,9,7,15)(2,19,11,5,14,3,17,10,8,16),
(1,13,3,15,2,14,4,16)(5,20,6,19)(7,18)(8,17),"t20n301"],
[(1,5,2,6)(3,7,4,8)(9,20,10,19)(11,17,12,18)(13,16)(14,15),
(1,8,2,7)(3,6,4,5)(9,20)(10,19)(11,18)(12,17)(13,14)(15,16),
(1,20,9,6,13,3,17,11,8,16)(2,19,10,5,14,4,18,12,7,15),"t20n302"],
[(1,11,8,19,13,3,10,5,18,16,2,12,7,20,14,4,9,6,17,15),
(1,17,12,16,7,2,18,11,15,8)(3,19,10,14,5,4,20,9,13,6),"t20n303"],
[(1,20,9,16,5,4,17,11,14,8)(2,19,10,15,6,3,18,12,13,7),
(1,11,6,17,15,3,10,8,20,13)(2,12,5,18,16,4,9,7,19,14),"t20n304"],
[(1,2)(3,4)(5,10,16,19,6,9,15,20)(7,12,14,17,8,11,13,18),
(1,12,13,5,2,11,14,6)(3,10,15,8,4,9,16,7)(17,18)(19,20),"t20n305"],
[(1,12)(2,11)(3,9)(4,10)(5,20,8,18)(6,19,7,17)(13,16)(14,15),
(1,19,5,16,2,20,6,15)(3,18,7,14,4,17,8,13),"t20n306"],
[(1,19,4,18)(2,20,3,17)(5,9)(6,10)(7,11)(8,12)(13,16,14,15),
(1,19,8,13,10,2,20,7,14,9)(3,18,6,15,11,4,17,5,16,12),"t20n307"],
[(1,5,10,3,8)(2,6,9,4,7)(11,16,20,14,17)(12,15,19,13,18),
(1,20,4,14,2,19,3,13)(5,18,9,15,6,17,10,16)(7,12,8,11),"t20n308"],
[(1,7,19,12,14)(2,8,20,11,13)(3,5,18,10,16)(4,6,17,9,15),
(1,3)(2,4)(5,11,14,19,7,9,15,18,6,12,13,20,8,10,16,17),"t20n309"],
[(1,10,14,5,20,2,9,13,6,19)(3,11,16,7,18,4,12,15,8,17),
(5,8,6,7)(9,11,10,12)(13,15,14,16)(17,19)(18,20),"t20n310"],
[(1,9,6,18,16)(2,10,5,17,15)(3,11,8,20,13)(4,12,7,19,14),
(1,19,11,13,6,3,18,9,15,7)(2,20,12,14,5,4,17,10,16,8),"t20n311"],
[(3,4)(5,9,14,17,8,12,15,20,6,10,13,18,7,11,16,19),(1,6,17,9,14)(2,5,18,10,13)
(3,8,20,12,16)(4,7,19,11,15),"t20n312"],
[(1,4,2,3)(5,16,7,13,6,15,8,14)(9,17,10,18)(11,19,12,20),
(1,14,4,16,2,13,3,15)(5,18)(6,17)(7,19)(8,20)(9,12,10,11),"t20n313"],
[(1,14,19,8,9,4,15,18,6,12)(2,13,20,7,10,3,16,17,5,11),
(1,6,15,11,18,2,5,16,12,17)(3,8,13,9,19,4,7,14,10,20),"t20n314"],
[(1,7,16,12,17,4,6,14,10,20)(2,8,15,11,18,3,5,13,9,19),
(1,16,18,8,11)(2,15,17,7,12)(3,13,19,5,10)(4,14,20,6,9),"t20n315"],
[(1,12,6,13)(2,11,5,14)(3,17,4,18)(7,19,10,16,8,20,9,15),
(1,10,8,6,4)(2,9,7,5,3)(11,19,18,15,13)(12,20,17,16,14),"t20n316"],
[(1,5,13,10,2,6,14,9)(3,7,15,11,4,8,16,12)(17,18),
(1,11,2,12)(3,9,4,10)(5,20,6,19)(7,18,8,17),"t20n317"],
[(1,19,7,14,11,2,20,8,13,12)(3,18,6,15,10,4,17,5,16,9),
(1,7,2,8)(3,6,4,5)(9,16,11,14,10,15,12,13),"t20n318"],
[(1,3)(2,4)(5,14,8,16,6,13,7,15)(9,20)(10,19)(11,17)(12,18),
(1,7,12,17,13,2,8,11,18,14)(3,6,9,20,15,4,5,10,19,16),"t20n319"],
[(1,2)(3,4)(5,15,6,16)(7,14)(8,13)(9,20,11,17)(10,19,12,18),
(1,9)(2,10)(3,11)(4,12)(5,8,6,7)(13,17)(14,18)(15,20)(16,19),"t20n320"],
[(1,9,13,6,18,2,10,14,5,17)(3,12,16,8,19)(4,11,15,7,20),
(1,13,19,11,8)(2,14,20,12,7)(3,16,17,10,5,4,15,18,9,6),"t20n321"],
[(1,16,2,15)(3,13,4,14)(5,18)(6,17)(7,19)(8,20)(9,10)(11,12),
(1,20,3,18)(2,19,4,17)(9,14,10,13)(11,16,12,15),"t20n322"],
[(3,4)(5,7)(6,8)(11,12)(13,15)(14,16),
(1,17,12,14,5,4,20,10,16,7,2,18,11,13,6,3,19,9,15,8),"t20n323"],
[(1,13,19,9,7)(2,14,20,10,8)(3,15,18,11,5)(4,16,17,12,6),
(1,20,3,17)(2,19,4,18)(5,11,8,9,6,12,7,10)(15,16),
(1,6,9,19,16,2,5,10,20,15)(3,7,12,17,13,4,8,11,18,14),"t20n324"],
[(1,14,18,11,7)(2,13,17,12,8)(3,16,20,9,5)(4,15,19,10,6),
(1,6,4,8)(2,5,3,7)(9,14)(10,13)(11,15,12,16)(17,20)(18,19),
(1,9,16,8,19,2,10,15,7,20)(3,12,13,6,17,4,11,14,5,18),"t20n325"],
[(1,6,11,19,15,2,5,12,20,16)(3,7,10,17,14)(4,8,9,18,13),
(3,4)(7,8)(9,11)(10,12)(13,14)(17,20)(18,19),"t20n326"],
[(1,3)(2,4)(5,14,7,16,6,13,8,15)(9,20,11,17,10,19,12,18),
(1,8,10,17,15,2,7,9,18,16)(3,6,12,20,14,4,5,11,19,13),"t20n327"],
[(1,12,3,13,6,16,7,18,10,19)(2,11,4,14,5,15,8,17,9,20),
(1,20,2,19)(3,18,4,17)(5,15,6,16)(7,14)(8,13)(9,11,10,12),"t20n328"],
[(1,16,19,9,5,2,15,20,10,6)(3,13,17,11,8)(4,14,18,12,7),
(1,4)(2,3)(9,11)(10,12)(17,18)(19,20),"t20n329"],
[(1,9,17,15,2,10,18,16)(3,11,20,13,4,12,19,14)(5,6)(7,8),
(1,5,17,11,15)(2,6,18,12,16)(3,8,20,9,13)(4,7,19,10,14),"t20n330"],
[(1,14,18,5,9)(2,13,17,6,10)(3,15,19,8,11)(4,16,20,7,12),
(1,20,12,16,5,4,17,9,13,7)(2,19,11,15,6,3,18,10,14,8),
(1,9,5,17,13,4,12,8,19,15)(2,10,6,18,14,3,11,7,20,16),"t20n331"],
[(1,5,12,17,4,8,9,19,2,6,11,18,3,7,10,20),
(1,14,17,12,4,15,19,9,2,13,18,11,3,16,20,10),"t20n332"],
[(1,5,16,9,18)(2,6,15,10,17)(3,7,13,11,19)(4,8,14,12,20),
(3,4)(5,7,6,8)(11,12)(13,14)(17,18),"t20n333"],
[(1,6,10,20,13)(2,5,9,19,14)(3,8,11,17,15)(4,7,12,18,16),
(1,20,3,18)(2,19,4,17)(5,9)(6,10)(7,11)(8,12)(13,14),"t20n334"],
[(1,7,16,12,20)(2,8,15,11,19)(3,6,14,10,17)(4,5,13,9,18),
(1,12,6,18,14,3,10,8,20,15,2,11,5,17,13,4,9,7,19,16),"t20n335"],
[(1,8,11,19,16)(2,7,12,20,15)(3,5,10,18,14,4,6,9,17,13),
(1,20,5,13,9,2,19,6,14,10)(3,18,8,15,11,4,17,7,16,12),"t20n336"],
[(1,14,18,11,6,2,13,17,12,5)(3,15,20,9,8,4,16,19,10,7),
(1,20,6,15,12)(2,19,5,16,11)(3,17,8,14,10,4,18,7,13,9),"t20n337"],
[(1,11,14,5)(2,12,13,6)(3,9,15,8)(4,10,16,7)(17,19,18,20),
(1,12,20,14,4,9,17,15)(2,11,19,13,3,10,18,16)(5,6),"t20n338"],
[(1,6,10,13,18)(2,5,9,14,17)(3,8,12,15,19)(4,7,11,16,20),
(1,18,13,11,8)(2,17,14,12,7)(3,20,15,9,5,4,19,16,10,6),
(1,14,3,15,2,13,4,16)(5,11,8,10,6,12,7,9)(19,20),"t20n339"],
[(1,3,6,7,10,12,14,16,18,19)(2,4,5,8,9,11,13,15,17,20),
(1,10,18,6,14,2,9,17,5,13)(3,12,20,7,15,4,11,19,8,16),"t20n340"],
[(1,16,17,6,9,4,14,19,7,12)(2,15,18,5,10,3,13,20,8,11),
(1,9,8,19,14,2,10,7,20,13)(3,11,6,18,15,4,12,5,17,16),
(1,15,17,5,10,4,13,19,8,11)(2,16,18,6,9,3,14,20,7,12),"t20n341"],
[(1,17,9,5,16,4,20,12,7,14)(2,18,10,6,15,3,19,11,8,13),
(1,11,3,10,2,12,4,9)(5,15,7,13)(6,16,8,14)(17,19,18,20),"t20n342"],
[(1,14,8,20,4,15,10,11,5,17)(2,13,7,19,3,16,9,12,6,18),
(1,6)(2,5)(3,4)(7,9)(8,10)(11,13,12,14)(15,19)(16,20),"t20n343"],
[(1,16,9,4,17,12,5,19,14,7,2,15,10,3,18,11,6,20,13,8),
(1,2)(11,12)(13,14)(17,18),"t20n344"],
[(1,12,6,17,16,4,9,8,19,14,2,11,5,18,15,3,10,7,20,13),
(1,14,20,7,11,2,13,19,8,12)(3,16,17,6,10,4,15,18,5,9),"t20n345"],
[(1,15,2,16)(3,14,4,13)(5,17,8,20,6,18,7,19)(9,10),
(1,10,2,9)(3,11,4,12)(5,15,6,16)(7,13,8,14)(17,18)(19,20),"t20n346"],
[(1,6,9,14,18,2,5,10,13,17)(3,7,12,16,19,4,8,11,15,20),
(1,15)(2,16)(3,13)(4,14)(5,11,6,12)(7,10,8,9)(17,19)(18,20),
(3,4)(5,6)(9,10)(13,14)(15,16)(17,18),"t20n347"],
[(1,19,4,18)(2,20,3,17)(5,6)(7,8)(9,13,12,15)(10,14,11,16),
(1,15,3,14)(2,16,4,13)(5,18)(6,17)(7,20)(8,19),"t20n348"],
[(1,3)(2,4)(5,20,7,17)(6,19,8,18)(9,14)(10,13)(11,16,12,15),
(1,8,10,15,18)(2,7,9,16,17)(3,6,11,13,19,4,5,12,14,20),"t20n349"],
[(1,13,5,18,9)(2,14,6,17,10)(3,16,8,20,12)(4,15,7,19,11),
(1,16)(2,15)(3,13,4,14)(5,11,6,12)(7,9)(8,10)(17,19,18,20),"t20n350"],
[(1,16,19,12,3,13,18,9,2,15,20,11,4,14,17,10)(5,7,6,8),
(1,6,3,8,2,5,4,7)(9,11,10,12)(13,20,14,19)(15,17,16,18),"t20n351"],
[(1,11,2,12)(3,10)(4,9)(5,7)(6,8)(13,17,16,20,14,18,15,19),
(1,18,4,19,2,17,3,20)(5,14)(6,13)(7,16,8,15)(9,11,10,12),"t20n352"],
[(1,15,18,5,11,3,13,19,8,10,2,16,17,6,12,4,14,20,7,9),
(1,11,6,17,16)(2,12,5,18,15)(3,9,7,20,13)(4,10,8,19,14),"t20n353"],
[(1,13)(2,14)(3,16,4,15)(5,18,7,19)(6,17,8,20)(11,12),
(1,11)(2,12)(3,10,4,9)(5,6)(7,8)(13,20,15,18,14,19,16,17),
(1,2)(7,8)(9,12)(10,11)(13,16)(14,15)(17,18)(19,20),"t20n354"],
[(1,18,16,11,8,2,17,15,12,7)(3,19,14,9,6)(4,20,13,10,5),
(1,2)(3,4)(5,18,7,20)(6,17,8,19)(9,13,11,16)(10,14,12,15),"t20n355"],
[(1,20,13,10,7)(2,19,14,9,8)(3,18,15,12,6,4,17,16,11,5),
(1,18)(2,17)(3,20)(4,19)(5,15)(6,16)(7,14)(8,13),"t20n356"],
[(1,18,4,20)(2,17,3,19)(5,15)(6,16)(7,13)(8,14)(9,11)(10,12),
(1,14,4,16)(2,13,3,15)(5,11,8,9)(6,12,7,10)(19,20),"t20n357"],
[(1,12,8,20)(2,9,6,19)(3,10,5,17)(4,11,7,18)(13,15),
(1,3)(5,15)(6,13)(7,16)(8,14)(9,12)(18,19),"t20n358"],
[(1,7,18)(2,9,17,4,8,20,5,10,19,3,6,16)(11,13,12,15),
(1,16)(2,17)(3,18)(4,19)(5,20)(6,15)(7,14)(8,13)(9,12)(10,11),"t20n359"],
[(1,12,7,19,2,14,6,16,3,11,10,18,4,13,9,20,5,15,8,17),
(1,2,3,4,5)(6,20,14,10,19,15,9,18,11,8,17,12,7,16,13),"t20n360"],
[(1,17,3,20,5,18,2,16,4,19)(6,13)(7,14)(8,15)(9,11)(10,12),
(1,20,10,14)(2,19,6,15)(3,18,7,11)(4,17,8,12)(5,16,9,13),
(1,4,2,5,3)(6,14,7,13,8,12,9,11,10,15)(16,17,18,19,20),"t20n361"],
[(1,20,7,8,16,15,2,13,17,5,18,4,9,3,10,14,6,12,11,19),
(1,18,8,7,16,14,2,17,13)(4,10,5,11,15,9,20,6,19),"t20n362"],
[(1,20,5,18,6,16,3,14,10,12)(2,11,8,19,4,17,9,15,7,13),
(1,3)(2,7)(5,6)(8,9)(11,12,15)(13,16,17)(18,20,19),"t20n363"],
[(1,16,15,2,19,14,3,17,13,4,20,12,5,18,11)(6,7,8,9,10),
(1,7,16,3,9,17,5,6,18,2,8,19,4,10,20)(11,14,12,15,13),"t20n364"],
[(1,3,12,10)(2,4,11,9)(5,20,18,14,6,19,17,13)(7,15,8,16),
(1,12,15,2,11,16)(3,17,19,4,18,20)(5,10,13,6,9,14)(7,8),
(1,5,8,4)(2,6,7,3)(9,20,10,19)(11,15,14,18)(12,16,13,17),"t20n365"],
[(1,9,2,10)(3,12,4,11)(5,16,6,15)(7,13,8,14)(17,18),
(1,15)(2,16)(3,14)(4,13)(5,10,18,8,12,20)(6,9,17,7,11,19),"t20n366"],
[(1,12,13,17,6,3,11,16,20,5)(2,9,15,19,7,4,10,14,18,8),
(1,17,10,2,19,11,3,18,9,4,20,12)(5,14,8,15,7,13)(6,16),"t20n367"],
[(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16)(17,18)(19,20),
(1,3,9)(2,4,10)(5,7,15,17)(6,8,16,18)(11,13,19)(12,14,20),
(1,11)(2,12)(3,6)(4,5)(7,8)(9,19)(10,20)(13,15)(14,16)(17,18),"t20n368"],
[(1,9,19,3,11,18,2,10,20,4,12,17)(5,7,6,8)(13,15,14,16),
(1,2)(3,4)(5,11)(6,12)(7,10)(8,9)(13,14)(15,16)(17,18)(19,20),
(1,3,2,4)(5,15,19,7,13,18,6,16,20,8,14,17)(9,11,10,12),"t20n369"],
[(1,8,14,9,19,3,5,15,12,17)(2,7,13,10,20,4,6,16,11,18),
(1,12,19)(2,11,20)(3,10,17,4,9,18)(5,14,6,13)(7,15,8,16),"t20n370"],
[(1,14,8,20,10)(2,16,5,19,12,4,13,6,17,9,3,15,7,18,11),
(1,19,2,17)(3,20,4,18)(5,13)(6,15)(7,14)(8,16)(9,11,12,10),"t20n371"],
[(1,20)(2,19)(3,18)(4,17)(5,16,6,15)(7,14,8,13)(9,10)(11,12),
(1,5)(2,7,4,6,3,8)(9,17,10,19,11,20)(12,18)(13,14,16),"t20n372"],
[(1,3)(2,4)(5,13,20,7,16,17)(6,14,19,8,15,18)(9,11)(10,12),
(1,20,7,16,12,3,18,5,14,9,2,19,8,15,11,4,17,6,13,10),
(1,8,17,14,11,2,7,18,13,12)(3,6,20,15,10,4,5,19,16,9),"t20n373"],
[(1,12,18,7,15,2,11,17,8,16)(3,9,20,6,13)(4,10,19,5,14),
(1,7,9,14,20)(2,5,10,16,19,3,8,11,13,18)(4,6,12,15,17),"t20n374"],
[(1,12)(2,11)(3,9)(4,10)(7,8)(13,14)(17,18),
(1,18,5,15,12,4,19,7,14,9,2,17,6,16,11,3,20,8,13,10),
(1,12)(2,11)(3,9)(4,10)(5,20,14,6,19,13)(7,17,16)(8,18,15),"t20n375"],
[(1,10,4,11)(2,9,3,12)(5,7)(6,8)(13,19,15,20)(14,18,16,17),
(1,15,17,3,16,19,4,14,20,2,13,18)(5,9)(6,12,7,11,8,10),"t20n376"],
[(1,2,3,4,5)(6,7,8,9,10)(11,13,15,12,14)(16,18,20,17,19),
(1,2,4,3)(6,7,9,8)(11,13,14,12)(16,18,19,17),(1,9,2,10)(3,6,5,8)(4,7)
(11,18,13,16)(12,17)(14,20,15,19),(1,18,3,16)(2,17)(4,20,5,19)(6,12,10,13)
(7,11,9,14)(8,15),"t20n377"],
[(1,20,9,14,2,17,8,12,3,19,7,15,4,16,6,13,5,18,10,11),
(1,20,9,14,5,17,8,11,4,19,7,13,3,16,6,15,2,18,10,12),"t20n378"],
[(1,17,4,18,2,19,5,20,3,16)(6,15,10,13,9,11,8,14,7,12),
(1,14)(2,15)(3,11)(4,12)(5,13)(6,18,10,19,9,20,8,16,7,17),
(1,5,3,4)(6,7,9,8)(11,12,15,14)(16,17,20,19),"t20n379"],
[(1,20,14,10,4,19,12,6)(2,18,15,7,3,16,11,9)(5,17,13,8),
(1,10,5,8,4,6,3,9,2,7)(11,18,15,20,14,17,13,19,12,16),"t20n380"],
[(1,11,10,17,4,12,8,16)(2,13,6,20,3,15,7,18)(5,14,9,19),
(1,15,7,20,3,13,9,17)(2,14,8,16)(4,12,10,18,5,11,6,19),"t20n381"],
[(1,16)(2,17,5,20)(3,18,4,19)(6,11,7,14)(8,12,10,13)(9,15),
(1,11,2,15,5,12,4,13)(3,14)(6,19,8,16,9,17,7,20)(10,18),"t20n382"],
[(1,2,5,4)(6,10,7,8)(12,14,15,13)(16,20,17,18),(1,10,4,7)(2,9,3,8)(5,6)
(11,17,14,19)(12,16,13,20)(15,18),(1,14,2,11,3,13,4,15,5,12)(6,16)(7,19)(8,17)
(9,20)(10,18),"t20n383"],
[(1,9,15,20,5,7,11,19,4,10,12,18,3,8,13,17,2,6,14,16),
(1,4,5,2)(6,7,9,8)(11,13,12,15)(17,18,20,19),(1,5,4,3,2)(6,10,9,8,7)
(11,12,13,14,15)(16,17,18,19,20),"t20n384"],
[(1,16)(2,18)(3,20)(4,17)(5,19)(6,11)(7,13)(8,15)(9,12)(10,14),
(1,15,3,14,5,13,2,12,4,11)(6,19,7,18,8,17,9,16,10,20),"t20n385"],
[(1,10,4,8)(2,6,3,7)(5,9)(11,20,14,17)(12,19,13,18)(15,16),
(1,14,9,18,5,12,10,20)(2,11,8,16,4,15,6,17)(3,13,7,19),"t20n386"],
[(1,13,2,14)(3,15,5,12)(4,11)(6,20)(7,19,10,16)(8,18,9,17),
(1,7,4,6,2,10,5,9,3,8)(11,19,13,18,15,17,12,16,14,20),
(1,5,2,3)(7,9,10,8)(11,12,14,13)(16,19,20,17),"t20n387"],
[(1,6,15,16,2,7,14,17,3,8,13,18,4,9,12,19,5,10,11,20),
(1,14,3,15)(2,12)(4,13,5,11)(6,8,7,10)(16,17,19,18),"t20n388"],
[(1,14,4,15,2,11,5,12,3,13)(6,18,8,16,10,19,7,17,9,20),
(1,7,15,16,3,8,12,18)(2,10,11,17)(4,6,13,19,5,9,14,20),"t20n389"],
[(1,4,5,2)(6,8,7,10)(12,14,15,13)(16,18,19,17),
(1,17,8,14,2,18,7,13,3,19,6,12,4,20,10,11,5,16,9,15),"t20n390"],
[(1,9)(2,10,5,8)(3,6,4,7)(11,16,13,19)(12,20)(14,18,15,17),
(1,19,4,20)(2,16,3,18)(5,17)(6,11,9,15)(7,14,8,12)(10,13),
(1,4)(2,3)(6,8)(9,10)(11,13,15,12,14)(16,19,17,20,18),"t20n391"],
[(1,13,3,14,4,12,2,11)(5,15)(6,20)(7,16,9,18,10,19,8,17),
(1,20,12,10,4,18,13,6,3,17,11,9,5,19,15,8)(2,16,14,7),"t20n392"],
[(11,15,14,13,12)(16,20,19,18,17),(1,3,4,2)(6,8,9,7)(11,13,14,12)(16,18,19,17),
(1,8)(2,7)(3,6)(4,10)(5,9)(11,16)(12,17)(13,18)(14,19)(15,20),
(1,15,4,13)(2,11,3,12)(5,14)(6,18,10,19)(7,17,9,20)(8,16),"t20n393"],
[(1,3,2,5)(6,20,9,16)(7,17,8,19)(10,18)(11,14,13,15),
(1,20,14,6,4,18,11,9)(2,16,13,7,3,17,12,8)(5,19,15,10),"t20n394"],
[(1,15,2,13)(3,11,5,12)(4,14)(6,18,9,17)(7,16,8,19)(10,20),
(1,20)(2,18,5,17)(3,16,4,19)(6,12,7,15)(8,13,10,14)(9,11),
(1,17,4,16,2,20,5,19,3,18)(6,15,9,14,7,13,10,12,8,11),"t20n395"],
[(1,11,3,14,5,12,2,15,4,13)(6,9,7,10,8)(16,17)(18,20),
(1,10)(2,8,5,7)(3,6,4,9)(11,19,15,17)(12,16,14,20)(13,18),"t20n396"],
[(1,7,14,19,2,8,13,18)(3,9,12,17,5,6,15,20)(4,10,11,16),
(1,3,2,5)(6,20,7,17)(8,19,10,18)(9,16)(12,14,15,13),"t20n397"],
[(1,16,13,6,3,20,15,7,5,19,12,8,2,18,14,9,4,17,11,10),
(1,11,2,12,3,13,4,14,5,15)(7,10)(8,9)(17,20)(18,19),"t20n398"],
[(1,6,4,10,3,7,5,8)(2,9)(11,20,15,18,13,19,14,16)(12,17),
(1,16,2,17)(3,18,5,20)(4,19)(6,14,8,11)(7,15)(9,12,10,13),"t20n399"],
[(1,17,5,19,4,16,3,18,2,20)(6,14,10,13,9,12,8,11,7,15),
(1,7,5,9,2,10,3,8)(4,6)(11,18,12,16,15,20,14,17)(13,19),"t20n400"],
[(2,4,5,3)(6,16)(7,19,10,18)(8,17,9,20)(11,13,14,12),
(1,8,15,19,3,6,12,16,5,9,14,18,2,7,11,20,4,10,13,17),
(1,2,5,4)(6,16)(7,19,10,18)(8,17,9,20)(11,15,12,13),"t20n401"],
[(1,14,4,13,2,12,5,11,3,15)(6,17,9,20,7,18,10,16,8,19),
(1,19,3,20)(2,17)(4,18,5,16)(6,15)(7,13,10,12)(8,11,9,14),"t20n402"],
[(2,5)(3,4)(6,9)(7,8)(12,15)(13,14)(17,20)(18,19),
(1,6,13,18,4,7,15,19,2,8,12,20,5,9,14,16,3,10,11,17),
(1,8,5,6,4,9,3,7,2,10)(11,19,12,17,13,20,14,18,15,16),"t20n403"],
[(1,11,2,12)(3,10,4,9)(13,20,14,19)(15,18,16,17),(3,4)(5,14)(6,13)(7,16)(8,15)
(9,18,11,19)(10,17,12,20),"t20n404"],
[(1,20,2,19)(3,18,4,17)(5,11,7,9)(6,12,8,10)(13,14)(15,16),
(1,17,8,14,11,4,19,6,16,9,2,18,7,13,12,3,20,5,15,10),
(1,19,7,14,11)(2,20,8,13,12)(3,17,6,16,10)(4,18,5,15,9),"t20n405"],
[(1,10,15,5)(2,9,16,6)(3,11,14,8)(4,12,13,7)(17,18)(19,20),
(1,20,3,17)(2,19,4,18)(5,7)(6,8)(9,15,11,13)(10,16,12,14),"t20n406"],
[(1,5,10,20,15)(2,6,9,19,16)(3,8,11,17,13)(4,7,12,18,14),
(1,18,8,13,11,3,20,6,15,9)(2,17,7,14,12,4,19,5,16,10),
(1,5,9,17,14,4,8,12,20,16,2,6,10,18,13,3,7,11,19,15),"t20n407"],
[(1,6,9,19,15,4,7,11,17,13)(2,5,10,20,16,3,8,12,18,14),
(3,4)(5,15)(6,16)(7,13)(8,14)(9,18,12,20)(10,17,11,19),"t20n408"],
[(1,7,13,20,6,12,17,3,9,16,2,8,14,19,5,11,18,4,10,15),
(1,2)(11,12)(13,14)(15,16)(19,20),"t20n409"],
[(1,2)(3,4)(7,8)(13,16,14,15)(17,18),(1,11,14,5,18)(2,12,13,6,17)(3,10,15,7,20,
4,9,16,8,19),"t20n410"],
[(5,10,13,18,6,9,14,17)(7,11,15,19,8,12,16,20),(1,17,9,5,3,20,11,7,2,18,10,6,
4,19,12,8)(15,16),"t20n411"],
[(1,7)(2,8)(3,6)(4,5)(9,14,11,15)(10,13,12,16)(17,18)(19,20),
(1,6,4,8)(2,5,3,7)(9,14,11,15)(10,13,12,16)(17,18)(19,20),
(5,13,7,16)(6,14,8,15)(9,17,11,20)(10,18,12,19),"t20n412"],
[(1,19,6,15,9,4,17,8,14,12,2,20,5,16,10,3,18,7,13,11),
(1,5,3,8)(2,6,4,7)(9,14)(10,13)(11,15,12,16)(19,20),"t20n413"],
[(1,20,2,19)(3,18)(4,17)(5,10,7,12)(6,9,8,11)(13,14)(15,16),
(1,15,3,13,2,16,4,14)(5,17,8,19)(6,18,7,20),"t20n414"],
[(1,7,9,20,15)(2,8,10,19,16)(3,5,12,17,14,4,6,11,18,13),
(1,2)(3,4)(5,6)(7,8)(9,11,10,12)(13,14),"t20n415"],
[(1,3,9,7)(2,4,10,8)(11,15,18,14)(12,16,17,13),
(1,17,2,18)(3,16,4,15)(5,13,6,14)(7,11)(8,12)(9,19,10,20),"t20n416"],
[(1,6,14,10,4,7,15,12,2,5,13,9,3,8,16,11)(17,19,18,20),
(1,7,17,14,3,5,19,15,2,8,18,13,4,6,20,16)(9,12)(10,11),
(1,11,8,18)(2,12,7,17)(3,9,5,20)(4,10,6,19),"t20n417"],
[(1,6,11,18,13,4,8,9,20,16,2,5,12,17,14,3,7,10,19,15),
(1,14,3,16,2,13,4,15)(5,20,8,18,6,19,7,17),"t20n418"],
[(1,14,6,18,2,13,5,17)(3,15,8,20,4,16,7,19)(9,10)(11,12),
(1,5,13,9,2,6,14,10)(3,8,16,11,4,7,15,12)(17,19)(18,20),"t20n419"],
[(1,19,3,14,2,20,4,13)(5,18,9,15)(6,17,10,16)(7,11,8,12),
(1,9,5,8)(2,10,6,7)(3,4)(11,16,14,20,12,15,13,19),"t20n420"],
[(1,5)(2,6)(7,20,8,19)(9,18)(10,17)(11,16)(12,15),(1,11,2,12)(3,9)(4,10)(5,7)
(6,8)(13,19)(14,20)(15,18)(16,17),"t20n421"],
[(1,15,5,19,2,16,6,20)(3,14,7,18,4,13,8,17)(9,10)(11,12),
(1,10,5,16,19,3,12,7,13,18)(2,9,6,15,20,4,11,8,14,17),"t20n422"],
[(1,4,2,3)(5,19)(6,20)(7,18,8,17)(9,16)(10,15)(11,14,12,13),
(1,20)(2,19)(3,17,4,18)(5,15,6,16)(7,13)(8,14)(9,11)(10,12),"t20n423"],
[(1,2)(5,16,8,14,6,15,7,13)(9,19,12,18,10,20,11,17),
(1,10,14,6,20,4,11,16,7,18,2,9,13,5,19,3,12,15,8,17),"t20n424"],
[(1,5,14,19,11)(2,6,13,20,12)(3,7,15,17,10,4,8,16,18,9),
(1,4)(2,3)(5,6)(11,12)(13,14)(17,20)(18,19),(1,16,4,13,2,15,3,14)(5,6)
(7,8)(9,17,12,20,10,18,11,19),"t20n425"],
[(1,15,10,3,17,11,5,19,14,7,2,16,9,4,18,12,6,20,13,8),
(1,5)(2,6)(7,19,8,20)(9,18,10,17)(11,15,12,16)(13,14),"t20n426"],
[(1,3,2,4)(5,7,6,8)(9,10)(15,16)(17,19,18,20),
(1,14,20,11,5,4,15,17,9,7)(2,13,19,12,6,3,16,18,10,8),"t20n427"],
[(1,5)(2,6)(3,4)(7,19)(8,20)(9,17)(10,18)(11,15,12,16),
(1,11,2,12)(3,17,19,6)(4,18,20,5)(7,9,16,13)(8,10,15,14),"t20n428"],
[(1,16,13,20,2,15,14,19)(3,10,12,5)(4,9,11,6)(7,17,8,18),
(1,19,5,8,2,20,6,7)(3,13,4,14)(9,16,17,12)(10,15,18,11),"t20n429"],
[(1,20,17,16,14,12,10,8,6,4)(2,19,18,15,13,11,9,7,5,3),
(1,14,2,13)(3,11)(4,12)(5,10)(6,9)(7,8)(15,20,16,19)(17,18),
(1,2)(3,19)(4,20)(5,18,6,17)(7,16,8,15)(9,13,10,14),"t20n430"],
[(1,11,3,10,2,12,4,9)(5,7,6,8)(13,18,15,19,14,17,16,20),
(1,8,3,5,2,7,4,6)(9,16)(10,15)(11,14)(12,13)(17,19)(18,20),"t20n431"],
[(1,3)(2,4)(5,8)(6,7)(9,10)(13,16)(14,15)(17,20)(18,19),
(1,6,10,20,14,3,7,12,18,16)(2,5,9,19,13,4,8,11,17,15),
(1,20,8,16,10)(2,19,7,15,9)(3,18,5,14,12,4,17,6,13,11),"t20n432"],
[(1,5,12,18,14)(2,6,11,17,13)(3,7,9,20,15,4,8,10,19,16),
(1,15,17,12,6,4,14,20,10,7,2,16,18,11,5,3,13,19,9,8),"t20n433"],
[(1,13,10,17,4,15,12,19,2,14,9,18,3,16,11,20)(5,7,6,8),
(1,5,19,15)(2,6,20,16)(3,8,17,13)(4,7,18,14),"t20n434"],
[(1,2)(3,4)(5,18,7,20)(6,17,8,19)(9,15,11,14)(10,16,12,13),
(1,19,8,10)(2,20,7,9)(3,17,6,11)(4,18,5,12),(1,11,19,7,16)(2,12,20,8,15)
(3,9,17,6,14,4,10,18,5,13),"t20n435"],
[(1,6,4,8)(2,5,3,7)(9,13)(10,14)(11,16,12,15)(17,18)(19,20),
(1,18,5,16,9,3,19,7,14,12,2,17,6,15,10,4,20,8,13,11),"t20n436"],
[(1,17,10,13,4,20,12,16,2,18,9,14,3,19,11,15)(5,8,6,7),
(1,3)(2,4)(5,10,19,15,7,12,18,13,6,9,20,16,8,11,17,14),"t20n437"],
[(1,12,2,11)(3,10)(4,9)(7,8)(13,17,15,19)(14,18,16,20),
(1,6,9,17,16,2,5,10,18,15)(3,8,12,19,13,4,7,11,20,14),
(1,7,2,8)(3,6,4,5)(9,13)(10,14)(11,15)(12,16)(17,18)(19,20),"t20n438"],
[(1,5,16,18,12,2,6,15,17,11)(3,7,13,19,9)(4,8,14,20,10),
(1,12,3,10)(2,11,4,9)(5,18)(6,17)(7,20)(8,19)(13,15,14,16),
(1,4)(2,3)(5,12,8,9)(6,11,7,10)(13,17,14,18)(15,20,16,19),"t20n439"],
[(1,8,2,7)(3,6,4,5)(9,20)(10,19)(11,17,12,18)(13,16,14,15),
(1,3,5,7,9,11,14,16,18,20,2,4,6,8,10,12,13,15,17,19),"t20n440"],
[(1,10,8,17)(2,9,7,18)(3,12,6,20)(4,11,5,19)(15,16),
(1,10,19,6,16)(2,9,20,5,15)(3,12,17,7,14,4,11,18,8,13),"t20n441"],
[(1,5)(2,6)(3,8)(4,7)(9,14,10,13)(11,16,12,15)(19,20),
(1,20)(2,19)(3,17)(4,18)(5,15,6,16)(7,13,8,14)(9,10)(11,12),
(1,14,4,16)(2,13,3,15)(5,7)(6,8)(9,20,10,19)(11,17)(12,18),"t20n442"],
[(1,5,15,12,2,6,16,11)(3,7,13,10,4,8,14,9)(17,20,18,19),
(1,12,6,18,3,10,8,19,2,11,5,17,4,9,7,20),"t20n443"],
[(1,15,10,20,2,16,9,19)(3,13,12,17,4,14,11,18)(7,8),
(1,3,2,4)(5,10,17,16,7,12,20,13)(6,9,18,15,8,11,19,14),"t20n444"],
[(1,20,7,12,15,2,19,8,11,16)(3,18,6,9,13)(4,17,5,10,14),
(1,8,2,7)(3,6,4,5)(9,14,12,16)(10,13,11,15)(17,18),"t20n445"],
[(1,6,3,7,2,5,4,8)(9,14,11,15,10,13,12,16)(17,20,18,19),
(1,4)(2,3)(5,12,8,10,6,11,7,9)(13,19,16,18,14,20,15,17),"t20n446"],
[(1,14,11,19,2,13,12,20)(3,16,10,17,4,15,9,18)(7,8),
(1,11,19,6,15,2,12,20,5,16)(3,10,18,8,13,4,9,17,7,14),"t20n447"],
[(1,19,8,11,4,18,5,10,2,20,7,12,3,17,6,9)(15,16),
(1,16,8,19,12,2,15,7,20,11)(3,14,6,18,9,4,13,5,17,10),"t20n448"],
[(1,7,13,12,4,5,15,9)(2,8,14,11,3,6,16,10)(17,18),
(1,10,18,6,13,2,9,17,5,14)(3,11,19,8,16,4,12,20,7,15),"t20n449"],
[(1,16,9,8,18)(2,15,10,7,17)(3,14,11,5,20,4,13,12,6,19),
(1,18,4,20,2,17,3,19)(5,14)(6,13)(7,16,8,15),"t20n450"],
[(1,12,14,7,17,4,9,16,6,20)(2,11,13,8,18,3,10,15,5,19),
(1,9)(2,10)(3,11)(4,12)(5,7,6,8)(13,17,15,20,14,18,16,19),
(1,11,14,8,17,2,12,13,7,18)(3,10,15,5,19,4,9,16,6,20),"t20n451"],
[(1,15,14,8,20)(2,16,13,7,19)(3,10,18,12,6)(4,9,17,11,5),
(1,20,6,10)(2,19,5,9)(3,16,13,7)(4,15,14,8)(11,12)(17,18),"t20n452"],
[(1,13,5,11,17,4,15,6,9,19,2,16,7,10,20)(3,14,8,12,18),
(1,15,9,6,18,2,13,12,8,20,4,16,11,5,17)(3,14,10,7,19),"t20n453"],
[(1,8,15,3,7,12,4,9,13,2,10,11)(5,6,14)(16,17,19,18),
(1,7,16,11)(2,8,17,15)(3,9,18,14)(4,10,19,13)(5,6,20,12),"t20n454"],
[(1,12,7,17,3,13,9,20,5,15)(2,11,8,18,4,14,10,19,6,16),
(1,2)(5,6)(7,8)(9,10)(11,18,13,20,15)(12,17,14,19,16),"t20n455"],
[(3,8,11,16,19)(4,7,12,15,20),(1,2)(3,20)(4,19)(5,6)(7,8)(9,13)(10,14)(11,12)
(15,16)(17,18),(1,11)(2,12)(3,14)(4,13)(5,15)(6,16)(7,18)(8,17)(9,19)(10,20),
"t20n456"],
[(3,8,11,16,19)(4,7,12,15,20),(1,11,2,12)(3,10,20,14)(4,9,19,13)(5,15,6,16)
(7,17,8,18),"t20n457"],
[(1,10,14,5,17,2,9,13,6,18)(3,12,15,7,19,4,11,16,8,20),
(1,7,9,16,6,12,14,20,17,4)(2,8,10,15,5,11,13,19,18,3),"t20n458"],
[(1,13,9,18)(2,19,8,17)(3,15,7,14)(4,12,6,11)(5,20)(10,16),
(1,7,6,5)(2,10,3,9)(4,8)(11,17)(12,13)(15,16),"t20n459"],
[(1,14)(2,13)(3,8,15)(4,7,16)(5,18)(6,17),
(1,8,5,16,9,3,18,12,14,19,2,7,6,15,10,4,17,11,13,20),"t20n460"],
[(1,13,3,15)(2,12,4,19,7,16,10,14)(5,20,6,18,8,17,9,11),
(1,15,2,18,4,19,5,16)(3,20,6,13,8,14,10,11)(7,12,9,17),"t20n461"],
[(1,8,12,17)(2,9,11,16)(3,10,15,20)(4,6,14,19)(5,7,13,18),
(1,2,3,4,5)(11,18,14,16,12,19,15,17,13,20),"t20n462"],
[(1,7,13,16)(2,6,12,17)(3,10,11,18)(4,9,15,19)(5,8,14,20),
(1,2)(3,5)(6,15,9,13,7,11,10,14,8,12)(17,20)(18,19),"t20n463"],
[(1,14,9,2,15,7,3,11,10,4,12,8,5,13,6),
(1,14,20)(2,13,18,5,15,17)(3,12,16,4,11,19)(7,10)(8,9),"t20n464"],
[(1,20,4,19)(2,18,3,16)(5,17)(6,12,8,11)(7,14)(9,13,10,15),
(1,20,10,5,18,8,4,16,6,3,19,9,2,17,7)(11,14,12,15,13),"t20n465"],
[(1,16)(2,15)(3,13)(4,14)(5,18,10,8,19,12,6,17,9,7,20,11),
(1,8,17,2,7,18)(3,6,19)(4,5,20)(9,10)(15,16),
(1,20,7,10,14,4,17,5,11,15)(2,19,8,9,13,3,18,6,12,16),"t20n466"],
[(1,9,15,5,18)(2,10,16,6,17)(3,12,13,7,19)(4,11,14,8,20),
(1,20,2,19)(3,18,4,17)(5,8,6,7)(9,15,11,14,10,16,12,13),"t20n467"],
[(1,12,2,11)(3,10,4,9)(5,14,8,15)(6,13,7,16)(17,19)(18,20),
(1,17,5,9,14)(2,18,6,10,13)(3,19,7,11,16)(4,20,8,12,15),"t20n468"],
[(1,6,10,13,19,2,7,11,15,20,3,5,9,16,17)(4,8,12,14,18),
(1,10,17,6,13,4,11,19,5,14)(2,9,20,8,15,3,12,18,7,16),"t20n469"],
[(1,20,3,17,4,19)(2,18)(5,14,8,13,6,16)(7,15)(10,11,12),
(1,11,19,8,16)(2,12,20,7,15)(3,10,17,5,14,4,9,18,6,13),"t20n470"],
[(1,5,13,10)(2,7,16,9,3,8,14,12,4,6,15,11)(17,20,19),
(1,2,3)(5,18,6,19,8,20)(7,17)(9,16,12,14,11,15)(10,13),"t20n471"],
[(1,19,7,11,2,17,8,9)(3,20,5,12,4,18,6,10)(13,15,16,14),
(1,9,17,8,14,4,11,18,5,16,3,10,20,6,13)(2,12,19,7,15),"t20n472"],
[(1,15,4,12,2,14,5,11,3,13)(6,20,10,17)(7,18,9,19)(8,16),
(1,19,2,20,3,16,4,17,5,18)(6,11,8,12)(7,14)(9,15,10,13),"t20n473"],
[(1,10)(2,9,5,6)(3,8,4,7)(12,13,15,14)(16,20,18,19),
(1,20,2,19)(3,18,5,16)(4,17)(6,12,7,11)(8,15,10,13)(9,14),
(1,14,5,15)(2,13,4,11)(3,12)(6,19,8,16)(7,20)(9,17,10,18),"t20n474"],
[(1,10,2,9)(3,8,5,6)(4,7)(11,12)(13,15)(16,17)(18,20),
(1,14,9,16,4,13,6,17)(2,12,8,18,3,15,7,20)(5,11,10,19),"t20n475"],
[(1,12,3,13)(2,15)(4,11,5,14)(6,17,9,18)(7,19,8,16)(10,20),
(1,6,4,8,2,10,5,7,3,9)(11,12)(13,15)(16,17,18,19,20),
(1,6,5,7,4,8,3,9,2,10)(11,15,14,13,12)(16,19)(17,18),"t20n476"],
[(1,9,4,6,5,10,2,8)(3,7)(11,19,13,17,14,16,12,18)(15,20),
(1,6)(2,7,3,8,5,10,4,9)(11,19)(12,18,14,16,15,20,13,17),
(1,19,5,18,4,17,3,16,2,20)(6,12)(7,11)(8,15)(9,14)(10,13),"t20n477"],
[(1,13,2,12,5,14,4,15)(3,11)(6,19)(7,16,8,18,10,17,9,20),
(1,10,4,6,2,7,5,8,3,9)(11,18,13,16,15,19,12,17,14,20),"t20n478"],
[(2,5)(3,4)(6,9,7,10,8)(11,15,14,13,12)(16,19)(17,18),
(1,10,11,20)(2,8,15,17,5,7,12,18)(3,6,14,19,4,9,13,16),"t20n479"],
[(1,16,2,18)(3,20,5,19)(4,17)(6,12,9,13)(7,14,8,11)(10,15),
(1,19,15,10,2,16,14,7)(3,18,13,9,5,17,11,8)(4,20,12,6),
(1,2,4,3)(6,19,8,18)(7,16)(9,20,10,17)(11,13,14,12),"t20n480"],
[(1,2,3,4,5)(6,7,8,9,10)(11,12,13,14,15)(16,20,19,18,17),
(1,3,4,2)(6,7,9,8)(11,12,14,13)(16,18,19,17),(1,4)(2,3)(6,9)(7,8),
(1,6,5,10,4,9,3,8,2,7)(11,20,15,17,14,19,13,16,12,18),
(1,12,5,14,4,11,3,13,2,15)(6,17,10,16,9,20,8,19,7,18),"t20n481"],
[(1,6,5,7,3,9,4,8)(2,10)(11,20,13,17,12,16,15,19)(14,18),
(1,10,14,17,5,8,11,18)(2,7,12,16,4,6,13,19)(3,9,15,20),"t20n482"],
[(1,18,9,12,4,20,8,13,2,17,7,14,5,19,6,15,3,16,10,11),
(1,6,2,10)(3,9,5,7)(4,8)(11,15,13,14)(16,18,17,20),
(1,11,4,15,2,14,5,13,3,12)(6,18,8,17,10,16,7,20,9,19),"t20n483"],
[(1,20,10,12,2,19,8,14)(3,18,6,11,5,16,7,15)(4,17,9,13),
(1,17,2,19,3,16,4,18,5,20)(6,13,9,14,7,15,10,11,8,12),
(1,10,4,9)(2,8,3,6)(5,7)(11,16,15,18)(12,19,14,20)(13,17),"t20n484"],
[(1,9,2,6)(3,8,5,7)(4,10)(11,18,12,20)(13,17,15,16)(14,19),
(1,6,2,10,3,9,4,8,5,7)(11,20,15,19,14,18,13,17,12,16),
(1,18,2,19,5,17,4,16)(3,20)(6,12)(7,11,9,14,10,13,8,15),"t20n485"],
[(2,5)(3,4)(7,10)(8,9)(11,19)(12,20)(13,16)(14,17)(15,18),
(1,17,5,19,4,16,3,18,2,20)(6,14,8,15,10,11,7,12,9,13),
(1,18,3,19)(2,16)(4,17,5,20)(6,12,10,14)(7,15,9,11)(8,13),"t20n486"],
[(1,11,8,20,4,12,7,18,2,13,6,16,5,14,10,19,3,15,9,17),
(1,12,2,11,3,15,4,14,5,13)(6,19,8,16,10,18,7,20,9,17),"t20n487"],
[(1,19,3,16,5,18,2,20,4,17)(6,15,9,14,7,13,10,12,8,11),
(1,12,5,13,3,15,4,14)(2,11)(6,20,10,18,7,17,8,19)(9,16),
(1,13)(2,14,4,11,5,12,3,15)(6,20,9,19,10,17,7,18)(8,16),"t20n488"],
[(1,18,12,6,4,19,14,10,2,20,11,9,5,16,13,8,3,17,15,7),
(1,12,4,15)(2,13,3,14)(5,11)(6,18)(7,19,10,17)(8,20,9,16),"t20n489"],
[(1,13,2,12,3,11,4,15,5,14)(6,9,7,10,8)(16,17)(18,20),
(1,17,2,19,5,20,4,18)(3,16)(6,11)(7,15,9,13,10,12,8,14),"t20n490"],
[(11,14)(12,13)(16,19)(17,18),(1,3,4,2)(6,8,9,7)(11,12,14,13)(16,17,19,18),
(1,9,4,7)(2,10,3,6)(5,8)(11,16)(12,19,15,18)(13,17,14,20),
(1,11,2,14)(3,12,5,13)(4,15)(6,16,9,18)(7,20,8,19)(10,17),"t20n491"],
[(1,13)(2,12,5,14)(3,11,4,15)(6,18,8,20)(7,19)(9,16,10,17),
(1,19,2,20,5,18,4,17)(3,16)(6,13,8,11,9,15,7,12)(10,14),"t20n492"],
[(1,2,3,4,5)(6,7,8,9,10)(11,13,15,12,14)(16,18,20,17,19),
(1,2,4,3)(6,7,9,8)(11,13,14,12)(16,18,19,17),(1,10,3,7)(2,6)(4,8,5,9)
(11,12,14,13)(16,18,19,17),(1,12,9,16,4,13,8,19)(2,14,7,17,3,11,10,18)
(5,15,6,20),"t20n493"],
[(1,16,7,13)(2,20,10,15,5,17,9,11)(3,19,8,12,4,18,6,14),
(1,8,5,6)(2,10,4,9)(3,7)(11,19,15,16)(12,17,14,18)(13,20),
(1,7,3,9)(2,8)(4,10,5,6)(12,13,15,14)(16,17,20,19),"t20n494"],
[(1,17,8,15,3,19,6,14,5,16,9,13,2,18,7,12,4,20,10,11),
(1,8,3,7,5,6,2,10,4,9)(11,20,13,18,15,16,12,19,14,17),"t20n495"],
[(1,10,4,9)(2,8,3,6)(5,7)(11,16,15,20)(12,17,14,19)(13,18),
(1,16,2,20,5,17,4,18)(3,19)(6,15,10,12,8,11,9,14)(7,13),"t20n496"],
[(2,4,5,3)(6,9,10,7)(11,14,15,12)(16,20,17,18),(1,9,3,6)(2,10)(4,7,5,8)
(11,20,14,18)(12,16,13,17)(15,19),(1,14,2,15,5,13,4,12)(3,11)(6,18,10,20,8,19,
9,17)(7,16),"t20n497"],
[(1,19,7,14,4,20,10,11)(2,16,8,13,3,18,9,12)(5,17,6,15),
(1,2,5,4)(6,9,10,7)(11,15,12,13)(16,17,19,18),"t20n498"],
[(1,17,10,12,3,20,9,13)(2,16,7,15)(4,19,6,11,5,18,8,14),
(1,3)(4,5)(7,10)(8,9),(1,16,9,15,5,19,6,14)(2,18,7,11,4,17,8,13)
(3,20,10,12),"t20n499"],
[(6,9,7,10,8)(11,14,12,15,13)(16,17,18,19,20),(1,4)(2,3)(11,14)(12,13),
(1,4)(2,3)(6,9)(7,8),(1,11,5,13)(2,14,4,15)(3,12)(6,19,9,20)(7,16,8,18)(10,17),
(1,16,3,17)(2,19)(4,20,5,18)(6,11)(7,14,10,13)(8,12,9,15),"t20n500"],
[(1,14,4,12,5,13,2,15)(3,11)(6,16)(7,19,8,17,10,18,9,20),
(1,19)(2,20,4,17,5,18,3,16)(6,12,8,15,9,14,7,11)(10,13),"t20n501"],
[(1,7,5,6,3,9,4,10)(2,8)(11,16,14,20,15,18,12,19)(13,17),
(1,7,5,9,2,10,3,8)(4,6)(11,18)(12,19,14,16,15,17,13,20),
(1,19,5,17,2,16,3,18)(4,20)(6,13,8,14,9,12,7,11)(10,15),"t20n502"],
[(1,6)(2,10)(3,9)(4,8)(5,7)(11,17)(12,18)(13,19)(14,20)(15,16),
(1,2)(3,5)(6,16,7,17,8,18,9,19,10,20)(11,12)(13,15),
(1,20,11,6,5,17,12,8,4,19,13,10,3,16,14,7,2,18,15,9),"t20n503"],
[(1,19,10,14,4,20,8,12,3,18,7,11,5,17,9,13)(2,16,6,15),
(1,19,10,13,3,20,8,15,4,18,7,11,2,17,9,14)(5,16,6,12),
(1,20,9,14,5,18,8,13,2,17,10,15,3,19,6,11)(4,16,7,12),"t20n504"],
[(1,6,5,10)(2,7,4,9)(3,8)(12,13,15,14)(16,20,18,19),
(1,18,4,17,2,16,5,20,3,19)(6,12)(7,14)(8,11)(9,13)(10,15),
(1,18,5,20)(2,16,4,17)(3,19)(6,12)(7,14,10,15)(8,11,9,13),"t20n505"],
[(1,3,5,2,4)(6,8)(9,10)(11,18,13,16)(12,17)(14,20,15,19),
(1,19,6,14,2,16,10,12,3,18,9,15,4,20,8,13,5,17,7,11),"t20n506"],
[(1,2,3,4,5)(6,7,8,9,10)(11,12,13,14,15)(16,20,19,18,17),
(1,3,4,2)(6,7,9,8)(11,12,14,13)(16,18,19,17),(1,4)(2,3)(6,9)(7,8),
(1,9,3,7)(2,8)(4,6,5,10)(11,19,13,18)(12,16)(14,20,15,17),
(1,18,5,19)(2,17,4,20)(3,16)(6,11,7,14)(8,12,10,13)(9,15),"t20n507"],
[(1,6)(2,8,5,9)(3,10,4,7)(11,20,13,17)(12,16)(14,18,15,19),
(1,13,10,17)(2,14,6,19)(3,15,7,16)(4,11,8,18)(5,12,9,20),
(1,20,9,13,3,18,7,14,5,16,10,15,2,19,8,11,4,17,6,12),"t20n508"],
[(1,3,2,5)(6,9,8,10)(11,19,13,17)(12,18)(14,16,15,20),
(1,10,4,9,2,8,5,7,3,6)(11,12)(13,15)(16,17,18,19,20),
(1,14,6,16)(2,12,8,17,5,11,9,20)(3,15,10,18,4,13,7,19),"t20n509"],
[(1,11,19,8,13,3,9,18,5,16,2,12,20,7,14,4,10,17,6,15),
(1,18,8,12,3,19,6,9)(2,17,7,11,4,20,5,10)(13,14)(15,16),"t20n510"],
[(1,2)(19,20),(1,9,18,6,14)(2,10,17,5,13)(3,11,20,8,16)(4,12,19,7,15),
(1,12)(2,11)(3,14)(4,13)(5,16,6,15)(7,17)(8,18)(9,19,10,20),
(1,17,6,10,2,18,5,9)(7,16,20,12)(8,15,19,11)(13,14),"t20n511"],
[(17,18)(19,20),(1,5,19,16,2,6,20,15)(3,8,18,14,4,7,17,13)(11,12),
(1,19)(2,20)(3,17)(4,18)(5,15,6,16)(7,13,8,14)(9,11)(10,12),
(1,19,16,9,6)(2,20,15,10,5)(3,18,13,12,8)(4,17,14,11,7),"t20n512"],
[(1,14,6,17,9,2,13,5,18,10)(3,16,8,20,12)(4,15,7,19,11),
(1,7,5,20)(2,8,6,19)(3,13,4,14)(9,11,17,15)(10,12,18,16),"t20n513"],
[(1,19,13,16,2,20,14,15)(3,6,12,9)(4,5,11,10)(7,17)(8,18),
(1,16,9,3,17,11,6,19,14,7)(2,15,10,4,18,12,5,20,13,8),"t20n514"],
[(1,11)(2,12)(3,9)(4,10)(5,19,6,20)(7,17,8,18),
(1,3,2,4)(5,9,15,20,8,11,14,17,6,10,16,19,7,12,13,18),
(1,2)(5,17,16,10,6,18,15,9)(7,19,14,12,8,20,13,11),"t20n515"],
[(1,9,16,5,4,12,13,7)(2,10,15,6,3,11,14,8)(17,20)(18,19),
(1,13,5,18,2,14,6,17)(3,16,8,19,4,15,7,20)(11,12),
(1,16,17,10,3,13,19,11)(2,15,18,9,4,14,20,12)(5,7,6,8),"t20n516"],
[(1,6,17,13,2,5,18,14)(3,7,19,16,4,8,20,15)(9,10),
(1,19,11,14,4,18,10,16,2,20,12,13,3,17,9,15)(7,8),"t20n517"],
[(1,7,15,10)(2,8,16,9)(3,6,14,11)(4,5,13,12)(17,19)(18,20),
(1,20,15,11,5,2,19,16,12,6)(3,18,14,10,8,4,17,13,9,7),
(1,12)(2,11)(3,10)(4,9)(5,8)(6,7)(13,18,14,17)(15,20,16,19),"t20n518"],
[(1,6,17,13,2,5,18,14)(3,7,20,15,4,8,19,16)(9,11,10,12),
(1,15,4,13,2,16,3,14)(5,9,7,12,6,10,8,11)(17,19,18,20),"t20n519"],
[(1,11,19,16,3,10,18,13,2,12,20,15,4,9,17,14)(5,6),(1,9,5,13,18)(2,10,6,14,17)
(3,11,8,15,20,4,12,7,16,19),(1,5,19,11,15,2,6,20,12,16)(3,8,18,9,13,4,7,
17,10,14),"t20n520"],
[(1,17,8,11,13,3,20,6,9,16)(2,18,7,12,14,4,19,5,10,15),
(1,3)(2,4)(5,9,7,11,6,10,8,12)(13,20,16,18,14,19,15,17),
(1,2)(5,12,8,10,6,11,7,9)(13,19,16,17,14,20,15,18),"t20n521"],
[(1,14,2,13)(3,16,4,15)(5,8)(6,7)(9,18,10,17)(11,20,12,19),
(1,19,7,9,15,3,17,6,11,13)(2,20,8,10,16,4,18,5,12,14),
(1,9,2,10)(3,12,4,11)(5,20)(6,19)(7,18)(8,17)(13,14),"t20n522"],
[(1,15,10,17,2,16,9,18)(3,14,12,19,4,13,11,20)(5,6)(7,8),
(1,18,16,12,6,4,20,14,10,8,2,17,15,11,5,3,19,13,9,7),"t20n523"],
[(1,9,14,5,2,10,13,6)(3,15,11,19)(4,16,12,20)(7,8)(17,18),
(1,15,17,3)(2,16,18,4)(5,8,14,12,6,7,13,11)(9,20,10,19),"t20n524"],
[(19,20),(1,3,6,8,10,12,14,16,18,20)(2,4,5,7,9,11,13,15,17,19),
(1,16,2,15)(3,13)(4,14)(5,11)(6,12)(7,9)(8,10)(17,19,18,20),"t20n525"],
[(1,8,3,6)(2,7,4,5)(9,20,10,19)(11,18,12,17)(13,14)(15,16),
(1,2)(5,9,19,14)(6,10,20,13)(7,11,18,16)(8,12,17,15),"t20n526"],
[(1,2)(3,4)(5,10,8,11)(6,9,7,12)(13,17,16,19,14,18,15,20),
(1,15,12,6,17,2,16,11,5,18)(3,14,9,7,19)(4,13,10,8,20),
(1,15,4,14,2,16,3,13)(5,6)(9,20)(10,19)(11,17,12,18),"t20n527"],
[(1,15,19,6,4,13,18,8)(2,16,20,5,3,14,17,7)(9,11)(10,12),
(1,9,18,5,14,3,11,20,8,15)(2,10,17,6,13,4,12,19,7,16),
(1,19,15,9,5,4,18,13,12,7)(2,20,16,10,6,3,17,14,11,8),"t20n528"],
[(1,15,2,16)(3,13)(4,14)(5,12,6,11)(7,9,8,10)(17,19)(18,20),
(3,7,19,16)(4,8,20,15)(5,14,17,10)(6,13,18,9),"t20n529"],
[(1,15,11,18,7,2,16,12,17,8)(3,14,9,20,5)(4,13,10,19,6),
(1,10,18,13,4,12,20,15)(2,9,17,14,3,11,19,16)(5,6),"t20n530"],
[(1,16,19)(2,15,20)(3,18,13)(4,17,14)(5,9,8)(6,10,7),
(1,12,10,3)(2,11,9,4)(5,16,8,19,6,15,7,20)(13,18,14,17),"t20n531"],
[(1,7,13,12)(2,5,14,9)(3,8,15,10)(4,6,16,11)(19,20),
(1,14)(2,15,4,16,3,13)(5,18,8,19,6,17)(7,20)(10,11,12),"t20n532"],
[(1,15,3,18,6,19,7,11,9,13)(2,16,4,17,5,20,8,12,10,14),
(1,7,2,8)(3,6)(4,5)(9,10)(11,19,12,20)(13,18)(14,17)(15,16),"t20n533"],
[(1,16,9,3,17,12,5,20,13,7,2,15,10,4,18,11,6,19,14,8),
(1,9,17,6,13,2,10,18,5,14)(19,20),"t20n534"],
[(1,8,2,7)(3,5,4,6)(11,13)(12,14)(15,19)(16,20),
(1,12,7,15,2,11,8,16)(3,20,6,17)(4,19,5,18)(9,13,10,14),"t20n535"],
[(1,6)(2,5)(3,4)(7,9)(8,10)(13,19)(14,20)(15,18,16,17),
(1,15,9,18,2,16,10,17)(3,14,8,19)(4,13,7,20)(5,11)(6,12),"t20n536"],
[(1,10,2,9)(3,7)(4,8)(11,20,12,19)(13,17,14,18)(15,16),
(1,11,9,14,7,16,6,18,4,19)(2,12,10,13,8,15,5,17,3,20),"t20n537"],
[(1,19,17,15,14,11,9,7,6,4)(2,20,18,16,13,12,10,8,5,3),
(1,6,10,13,18,2,5,9,14,17)(3,11,19,8,16,4,12,20,7,15),"t20n538"],
[(1,7,6,20,14,12,9,15,17,4)(2,8,5,19,13,11,10,16,18,3),
(1,9)(2,10)(3,12,19,7)(4,11,20,8)(13,18)(14,17)(15,16),"t20n539"],
[(1,14,7,11,8,15,10,12)(2,13,4,17,6,18,9,19)(3,20,5,16),
(2,8,4,10,5,7)(3,9,6)(11,12,20)(13,17,14)(15,19,18),"t20n540"],
[(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16)(17,18)(19,20),
(1,10,6,13,17)(2,9,5,14,18)(3,16,7)(4,15,8),
(1,15,2,16)(3,13,8,18)(4,14,7,17)(5,12,6,11)(9,20,10,19),"t20n541"],
[(1,10)(2,9)(3,11,19)(4,12,20)(5,14)(6,13)(7,15)(8,16)(17,18),
(1,7,14,4,9,19,2,8,13,3,10,20)(5,15,18,12)(6,16,17,11),"t20n542"],
[(3,8,19,11)(4,7,20,12)(5,18,9,13)(6,17,10,14),
(1,8,9,20,17,15,5,4,14,11,2,7,10,19,18,16,6,3,13,12),"t20n543"],
[(1,4,6,7)(2,3,5,8)(9,20,14,15,17,12)(10,19,13,16,18,11),
(1,18,6,10,14,2,17,5,9,13)(3,12,16,4,11,15)(7,19)(8,20),"t20n544"],
[(1,12,18,19)(2,11,17,20)(3,5)(4,6)(7,10)(8,9)(13,15)(14,16),
(1,16,5,7)(2,15,6,8)(3,10,12,14,19,17)(4,9,11,13,20,18),"t20n545"],
[(1,12,4,13,6,19,2,11,3,14,5,20)(7,15,8,16)(9,17,10,18),
(1,5,3,2,6,4)(7,8)(9,10)(11,17,20,15,13)(12,18,19,16,14),"t20n546"],
[(1,19,10,3,6,15,13,8,17,12,2,20,9,4,5,16,14,7,18,11),
(1,18,6,13)(2,17,5,14)(3,20,8,16)(4,19,7,15)(9,10),"t20n547"],
[(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16)(17,18)(19,20),
(1,3,6,8)(2,4,5,7)(9,11,18,20)(10,12,17,19)(13,16)(14,15),
(1,10,17,14)(2,9,18,13)(15,19)(16,20),"t20n548"],
[(1,7,19,15)(2,10,16,11)(3,8,18,12)(4,6,20,13)(5,9,17,14),
(1,14,3,12,5,15,2,13,4,11)(6,8)(9,10)(16,19)(17,18),
(1,7,12,4,8,15)(2,9,13,3,6,14)(5,10,11)(16,17)(18,20),"t20n549"],
[(1,17,14,4,18,11)(2,19,13,3,16,12)(5,20,15)(6,10)(7,9),
(1,3,4,2)(6,17,7,20)(8,18,10,19)(9,16)(11,13,12,15),"t20n550"],
[(1,14,4,11)(2,13,3,12)(5,15)(6,17,7,18)(8,19,10,16)(9,20),
(1,5,2,3)(6,15,18)(7,12,16,8,14,19,10,13,20,9,11,17),"t20n551"],
[(1,2,3,4,5)(6,8)(9,10)(11,18,13,17,15,16,12,20,14,19),
(1,9,13,17,4,10,15,18)(2,6,12,19,3,8,11,16)(5,7,14,20),"t20n552"],
[(1,6,11,20,3,9,14,18,5,7,12,16,2,10,15,19,4,8,13,17),
(1,17,9,11,2,16,6,14,3,20,8,12,4,19,10,15,5,18,7,13),"t20n553"],
[(1,8,11,3,6,15,4,10,12,2,7,13)(5,9,14)(17,18,20,19),
(1,7,3,9,5,6,2,8,4,10)(11,19,13,17,15,20,12,18,14,16),"t20n554"],
[(1,10,20)(2,9,19)(3,12,18)(4,11,17)(5,15,6,16)(7,13,8,14),
(1,17)(2,18)(3,19)(4,20)(9,13)(10,14)(11,16)(12,15),"t20n555"],
[(1,3)(2,4)(5,9,14,8,12,15)(6,10,13,7,11,16)(17,20)(18,19),
(1,8,12,18,16)(2,7,11,17,15)(3,5,10,20,13)(4,6,9,19,14),"t20n556"],
[(1,4,2,3)(5,17)(6,18)(7,20)(8,19)(9,15,11,16)(10,13,12,14),
(1,9,2,10)(3,12,4,11)(5,7,6,8)(13,19)(14,20)(15,18)(16,17),"t20n557"],
[(1,19,7,14,10)(2,20,8,13,9)(3,17,6,16,11)(4,18,5,15,12),
(1,3,2,4)(5,17,6,18)(7,19,8,20)(9,15,12,14)(10,16,11,13),"t20n558"],
[(1,14,11,18)(2,15,9,17,4,16,12,19,3,13,10,20)(5,8,6),
(1,9,15,6,3,11,13,8)(2,12,16,7,4,10,14,5)(18,20),"t20n559"],
[(1,20,13,3,17,16,2,19,14,4,18,15)(9,12,10,11),
(1,15,3,14,2,16,4,13)(5,9,17,7,12,19)(6,10,18,8,11,20),"t20n560"],
[(1,16,17,8,9)(2,15,18,7,10)(3,14,20,6,12)(4,13,19,5,11),
(1,17,2,18)(3,20,4,19)(5,6)(7,8)(9,14,11,15)(10,13,12,16),
(1,17,2,18)(3,20,4,19)(5,15,6,16)(7,13,8,14),"t20n561"],
[(1,12,14,19,8,2,11,13,20,7)(3,9,16,18,5)(4,10,15,17,6),
(1,14,4,16,2,13,3,15)(5,12)(6,11)(7,9)(8,10)(17,19)(18,20),"t20n562"],
[(1,6,10,14,17,3,5,12,13,19,4,7,11,15,20,2,8,9,16,18),
(1,20,16,12,5,4,19,14,9,6,2,18,13,11,7)(3,17,15,10,8),"t20n563"],
[(1,12,14,20,7)(2,11,13,19,8)(3,9,16,18,6)(4,10,15,17,5),
(1,15)(2,16)(3,14)(4,13)(5,6)(9,10)(17,18),"t20n564"],
[(1,17,13,12,5)(2,18,14,11,6)(3,20,16,9,7)(4,19,15,10,8),
(1,8,16,12,18,2,7,15,11,17)(3,5,14,9,19,4,6,13,10,20),"t20n565"],
[(1,20,10,15,6,14)(2,19,9,16,5,13)(3,11,4,12)(7,17,8,18),
(1,4,6,10,8)(2,3,5,9,7)(11,15,17,19,13)(12,16,18,20,14),"t20n566"],
[(1,6,13,20,10)(2,5,14,19,9)(3,7,16,18,12)(4,8,15,17,11),
(1,4)(2,3)(5,14,20,10,7,16,17,11)(6,13,19,9,8,15,18,12),"t20n567"],
[(1,18,7,4,19,5,2,17,8,3,20,6)(9,12,10,11),(5,20,16,9)(6,19,15,10)(7,17,13,12)
(8,18,14,11),"t20n568"],
[(1,12,9,20,4,16,8,14,6,17)(2,11,10,19,3,15,7,13,5,18),
(1,9,4,5,8)(2,10,3,6,7)(11,16,14,18,20)(12,15,13,17,19),"t20n569"],
[(1,6,10,14,18,2,5,9,13,17)(3,8,12,16,19,4,7,11,15,20),
(1,5,15,8,17,2,6,16,7,18)(3,19,13,12,10,4,20,14,11,9),"t20n570"],
[(1,13,4,16,2,14,3,15)(5,17,12)(6,18,11)(7,19,9,8,20,10),
(1,16,8,20,3,13,5,17,2,15,7,19,4,14,6,18)(9,10),"t20n571"],
[(1,11,20,7,13,2,9,18,6,14)(3,10,17,8,15,4,12,19,5,16),
(1,19,2,20,4,18)(3,17)(5,15)(6,16,7,13,8,14)(9,12,10),"t20n572"],
[(1,14,6,18,11)(2,13,5,17,12)(3,16,8,20,9)(4,15,7,19,10),
(1,4,2,3)(5,15,8,13,6,16,7,14)(9,11,10,12)(17,19,18,20),"t20n573"],
[(1,4,2,5,3)(6,10)(7,9)(11,16,15,17,14,18,13,19,12,20),
(1,4,5,2)(7,8,10,9)(11,17)(12,20)(13,18)(14,16)(15,19),
(1,20,3,18,5,16,2,19,4,17)(6,11,8,14,10,12,7,15,9,13),"t20n574"],
[(1,8,2,10)(3,7,5,6)(4,9)(11,17,15,20)(12,19,14,18)(13,16),
(1,17,8,11,2,16,6,15)(3,20,9,14,5,18,10,12)(4,19,7,13),"t20n575"],
[(1,5,4,3,2)(6,10)(7,9)(11,18,14,20)(12,17,13,16)(15,19),
(1,16,3,20,4,17,2,18)(5,19)(6,15,8,14,7,12,10,13)(9,11),"t20n576"],
[(1,13,10,18)(2,12,7,16,5,14,8,20)(3,11,9,19,4,15,6,17),
(1,10,3,7,5,9,2,6,4,8)(11,13,15,12,14)(16,20)(17,19),"t20n577"],
[(11,14)(12,13)(16,19)(17,18),(1,3,4,2)(6,8,9,7)(11,12,14,13)(16,17,19,18),
(1,7,2,6)(3,10,5,8)(4,9)(11,13,14,12)(16,18,19,17),
(1,11,10,16)(2,14,7,17)(3,12,9,18)(4,15,6,19)(5,13,8,20),"t20n578"],
[(1,15)(2,13,4,14,5,12,3,11)(6,17,7,19,10,20,9,18)(8,16),
(1,13,3,12,5,11,2,15,4,14)(6,18,10,16,9,19,8,17,7,20),
(1,19,4,18)(2,17,3,20)(5,16)(6,13,7,15)(8,12,10,11)(9,14),"t20n579"],
[(2,3,5,4)(6,8,9,7)(11,19,13,18)(12,16)(14,20,15,17),
(1,3,4,2)(6,7,9,8)(11,12,14,13)(16,18,19,17),(1,11)(2,15)(3,14)(4,13)(5,12)
(6,17,10,16,9,20,8,19,7,18),"t20n580"],
[(6,7,8,9,10)(11,15,14,13,12),(6,9)(7,8)(11,14)(12,13),
(1,3,4,2)(6,8,9,7)(11,13,14,12)(16,18,19,17),(1,4)(2,3)(6,9)(7,8),
(1,7,2,8,3,9,4,10,5,6)(11,17,14,19,12,16,15,18,13,20),
(1,13,5,11,4,14,3,12,2,15)(6,17,9,16,7,20,10,19,8,18),"t20n581"],
[(1,14,9,16,3,15,10,17,5,11,6,18,2,12,7,19,4,13,8,20),
(1,12,7,17,3,15,10,18,5,13,8,19,2,11,6,20,4,14,9,16),"t20n582"],
[(1,20,5,19)(2,16,4,18)(3,17)(6,11)(7,12)(8,13)(9,14)(10,15),
(1,16,11,6,3,17,15,8)(2,19,13,7)(4,20,12,9,5,18,14,10),"t20n583"],
[(1,17,5,16,2,18,3,19)(4,20)(6,11,8,13,7,12,10,15)(9,14),
(1,10,3,7)(2,6)(4,8,5,9)(11,15,14,13,12)(16,18,20,17,19),"t20n584"],
[(1,9,5,6)(2,7,4,8)(3,10)(11,19,13,17)(12,18)(14,16,15,20),
(1,2,5,4)(6,9,10,7)(11,14,12,15,13)(16,19,17,20,18),
(1,16,4,18)(2,20,3,19)(5,17)(6,15,9,11)(7,12,8,14)(10,13),"t20n585"],
[(1,20,6,11,2,19,7,12,3,18,8,13,4,17,9,14,5,16,10,15),
(1,15,6,16,3,14,10,18,5,13,9,20,2,12,8,17,4,11,7,19),"t20n586"],
[(1,5,3,4)(6,10,7,8)(11,19,12,17)(13,20,15,16)(14,18),
(1,15,5,13,2,12,3,14)(4,11)(6,19)(7,17,9,18,10,16,8,20),
(1,16,6,15,3,19,10,14,5,17,9,13,2,20,8,12,4,18,7,11),"t20n587"],
[(2,4,5,3)(6,10,8,9)(11,14,15,12)(16,17,20,19),
(1,20,7,15,2,19,8,14,3,18,9,13,4,17,10,12,5,16,6,11),
(1,8)(2,9,5,7)(3,10,4,6)(12,15)(13,14)(16,19,17,20,18),"t20n588"],
[(11,14)(12,13)(16,19)(17,18),(1,8,5,6,4,9,3,7,2,10)(11,16,14,20,12,19,15,18,13,17
),(1,9,2,7)(3,10,5,6)(4,8)(11,12,14,13)(16,18,19,17),
(1,15,9,19,4,13,7,16)(2,11,10,18,3,12,6,17)(5,14,8,20),"t20n589"],
[(1,18,3,16,2,17,5,19)(4,20)(6,13,10,11,8,12,9,14)(7,15),
(1,15)(2,13,4,14,5,12,3,11)(6,18,8,17,9,19,7,20)(10,16),
(1,15)(2,11,5,14)(3,12,4,13)(6,20,7,16)(8,17,10,19)(9,18),"t20n590"],
[(1,8,4,7,2,6,5,10,3,9)(11,19,13,18,15,17,12,16,14,20),
(1,15,3,14)(2,12)(4,11,5,13)(6,18,7,16)(8,19,10,20)(9,17),
(1,17,11,10,2,20,14,9,3,18,12,8,4,16,15,7,5,19,13,6),"t20n591"],
[(1,10,2,7)(3,9,5,8)(4,6)(11,12)(13,15)(17,20)(18,19),
(1,17)(2,16,3,20,5,18,4,19)(6,14,8,12,7,13,10,15)(9,11),"t20n592"],
[(6,7,8,9,10)(11,15,14,13,12),(6,9)(7,8)(11,14)(12,13),(1,4)(2,3)(6,9)(7,8),
(1,10,5,8,3,9,4,6)(2,7)(11,16,15,19,13,20,14,17)(12,18),
(1,13,5,11,4,14,3,12,2,15)(6,17,9,16,7,20,10,19,8,18),"t20n593"],
[(1,9,4,8,5,6,2,7)(3,10)(11,16)(12,19,13,17,15,18,14,20),
(1,17)(2,20,3,18,5,19,4,16)(6,11,7,13,9,12,8,15)(10,14),
(1,8,4,10,5,9,2,7)(3,6)(11,19)(12,20,13,16,15,18,14,17),"t20n594"],
[(1,19,10,11)(2,16,7,12,5,17,8,15)(3,18,9,13,4,20,6,14),
(2,5)(3,4)(6,7)(8,10)(11,16,15,19)(12,18,14,17)(13,20),
(1,19,2,18,3,17,4,16,5,20)(6,11,7,12,8,13,9,14,10,15),"t20n595"],
[(1,13)(2,14,4,11,5,12,3,15)(6,19,10,16,8,20,9,18)(7,17),
(1,10,4,7,3,8,5,6)(2,9)(11,19,12,20,14,17,13,16)(15,18),"t20n596"],
[(1,8,3,7,4,9,2,10)(5,6)(11,16,13,17,12,19,15,18)(14,20),
(1,12,9,16,3,13,6,18,2,15,10,17,5,14,8,20)(4,11,7,19),"t20n597"],
[(1,4,3,5)(6,9,10,7)(11,15,13,14)(17,18,20,19),
(1,20,12,6,2,19,15,7,3,18,13,8,4,17,11,9,5,16,14,10),"t20n598"],
[(1,15)(2,13,4,14,5,12,3,11)(6,16,8,17,7,19,10,18)(9,20),
(6,8)(9,10)(12,13,15,14)(16,17,19,18),(1,7,5,10)(2,9,4,8)(3,6)(11,17)
(12,16,15,18)(13,20,14,19),"t20n599"],
[(2,5)(3,4)(7,10)(8,9)(11,19,12,17,13,20,14,18,15,16),
(1,14,7,17,3,15,10,18)(2,12,6,20)(4,13,9,16,5,11,8,19),
(1,6,3,8)(2,7)(4,9,5,10)(11,15,12,13)(16,17,20,19),"t20n600"]];
TRANSPROPERTIES[20]{[301..600]}:=
[
[5120,0,1,1,
"1540s071500010280s0902s18A048s1080"
,[-20,-10,1080],[20,40,1160],[20,1080,1160,1320],
[10204,[[[-3008,1008,1016],[-3008,1016,2032],[-3008,1016,2032
],[-2004,8],[-2004,8],[-1008,1008,2016],
[-1002,1],[32,64,3016],[32,64,3016],[32,64,3016],
[32,64,3016],[32,2016],[32,2016],[64,128,3032],
[128,3032,5064],[128,3032,5064],[256,7128],
[1064,2032,5016],[1064,3016,3032]]]]],
[5120,0,1,1,
"1540s0755s020280s0902s1680002048s030As0C80"
,[-20,-10,1080],[20,40,1160],[20,1080,1160,1320],
[10204,[[[-3008,1016,2032],[-3008,1016,2032],[-2004,8],[-20\
04,8],[-1008,1008,2016],[-1008,1008,2016],[-1002,1],
[32,64,3016],[32,64,3016],[32,2016],[32,2016],
[64,128,3032],[64,128,3032],[1064,3016,3032],
[1064,3016,3032],[1128,3032,3064],[1128,3032,3064],
[1256,5128]]]]],
[5120,0,1,-1,
"7FC0s0302E0s020A00010020s0902s2A80s0B40"
,[-20,-10,1080],[-20,40,3080],[-20,1320,2080,5040]],
[5120,0,1,1,
"5540s0755s020280s0902s2A80"
,[-20,-10,1080],[20,40,3080],[20,1320,3040,3080],[4,[5,1020,1280,3040,5080,5160,5320]]],
[5120,0,1,1,
"11s0855s020280s0902s182008s030As1720"
,[10,20,160],[320,2020],[20,160,320,640],
[10204,[[[-8,16,1008],[-4,1],[32,64,3016],[128,5032],[2\
56,3032,3064],[1016,2032,3008],[1064,1128,7032],[1256,11064],
[2064,7016],[3064,3256]]]]],
[5120,0,1,1,
"1540s0701s020280s0902s1D0A"
,[-1010,10,160],[320,2020],[20,640,2160]],
[5120,0,1,-1,
"55C0s0702s028120s0902s2A80"
,[10,20,1080],[-20,40,1160],[-20,1320,5080]],
[5120,0,1,-1,
"5540s0420s0205000100A0s0902s1920s0480"
,[-1040,-20,-10,80],[-20,40,3080],[-20,3040,3080,3160]],
[5120,0,1,-1,
"11s0855s020380s0902s182008s030Es1780"
,[10,20,160],[-20,40,320],[-20,160,320,640]],
[5120,0,1,-1,
"5FC0s0303E0s0214000280s0A02s28080080"
,[10,20,1080],[-20,40,3080],[-20,1320,3040,3080]],
[5120,0,1,1,
"5540s030AA0s0214s0D02s2A80"
,[-20,-10,1080],[20,40,3080],[20,1320,3040,3080]],
[5120,0,1,1,
"11s0855s020280s0902s182008s030As1601"
,[-20,-10,160],[20,40,320],[20,160,320,640]],
[5120,0,1,1,
"5540s0755s020280s0902s182008s030As0C80"
,[10,20,1080],[1160,2020],[20,1080,1160,1320]],
[5120,0,1,1,
"5540s0302A0s02050005s0B02s2A80"
,[-20,-10,1080],[20,40,3080],[20,1320,3040,3080]],
[5120,0,1,1,
"5540s0302A0s02150001s0B02s2A80"
,[-20,-10,1080],[20,40,3080],[20,1320,3040,3080],[4,[5,1020,1280,3040,5080,5160,5320]]],
[5120,0,1,1,
"55s0520s020500010280s0902s1908s0302"
,[-1040,-20,-10,80],[20,40,3080],[20,3040,3080,3160]],
[5120,0,1,-1,
"1540s0701s020380s0902s1D0480"
,[10,20,160],[-20,40,320],[-20,640,2160]],
[5120,0,1,-1,
"5540s0410s0255s0282A0s0902s150140s02A0s0480s0B80"
,[-20,-10,1080],[-2020,1160],[-20,1080,1160,1320]],
[5120,0,1,-1,
"55C0s0757s020380s0902s1640s0220s0304s0C80"
,[10,20,1080],[-20,40,1160],[-20,1080,1160,1320]],
[5120,0,1,-1,
"5540s0410s021500028020s0902s184020s1080"
,[-20,-10,1080],[-20,40,1160],[-20,1080,1160,1320]],
[5120,0,1,-1,
"5D40s0303F0s022A0001s0B02s28080080"
,[10,20,1080],[-20,40,3080],[-20,1320,3040,3080]],
[5120,0,1,1,
"5540s0705s020280s0902s2A80"
,[-1010,10,1080],[1160,2020],[20,1320,5080]],
[5120,0,1,-1,
"5540s030550s0215s0320s0902s2A80s0B40"
,[-20,-10,1080],[-20,40,3080],[-20,1320,3040,3080]],
[5120,0,1,1,
"5540s0715s020280s0902s182040s1080"
,[10,20,1080],[20,40,1160],[20,1080,1160,1320]],
[5120,0,1,-1,
"55C0s0717s0281s0A02s19A0s1080"
,[10,20,1080],[-20,40,1160],[-20,1080,1160,1320]],
[5120,0,1,-1,
"5FC0s0755s020280s0902s28080080"
,[10,20,1080],[-20,40,3080],[-20,1320,3040,3080]],
[5120,0,1,1,
"5540s0755s020280s0902s1680s0240s0302s0C80"
,[-20,-10,1080],[20,40,1160],[20,1080,1160,1320]],
[5120,0,1,1,
"5540s0420s020500010280s0902s2A80"
,[-20,-10,3040],[20,40,3080],[20,3040,3080,3160],
[10204,[[[-4002],[-4002],[-3004,2008],[-3004,2008],[-3004,
2008],[-3004,2008],[-3004,7008],[-3004,7008],
[-3004,7008],[-3004,7008],[-3004,7008],[-3004,7008],
[-3004,7008],[-3004,7008],[-3004,7008],[-3004,7008],
[-3004,7008],[-3004,7008],[-3004,7008],[-3004,7008],
[-3002,1001],[-3002,1001],[-1002,1],[32,2016],
[32,2016],[1008,1032,4016],[1016,2032,3008],
[1016,2032,3008],[1032,5016],[2032,3016],
[2032,3016],[2032,3016],[2032,3016],[3004,7008],
[3004,7008],[5032,7016],[5032,7016],[5032,7016],
[5032,7016],[5032,7016],[5032,7016]]]]],
[5120,0,1,-1,
"5D40s0708s0201s0A02s28080080"
,[10,20,1080],[-20,40,3080],[-20,1320,3040,3080]],
[5120,0,1,1,
"1540s0701s020280s0902s1D02"
,[160,2010],[320,2020],[20,640,2160]],
[5120,0,1,1,
"5540s0715s0D02s2A80"
,[-20,-10,1080],[20,40,3080],[20,1320,3040,3080],[4,[5,1020,1280,3040,4320,5080,7160]]],
[5120,0,1,-1,
"1140s0755s0202A0s0902s182008s030A80s150280"
,[-20,-10,160],[-2020,320],[-20,160,320,640]],
[5120,0,1,-1,
"5540s0301s05020020s0902s2A80s0B40"
,[-20,-10,1080],[-20,40,3080],[-20,1320,3040,3080]],
[5120,0,1,-1,
"5540s0410s0202s028120s0902s2A80"
,[-20,-10,1080],[-20,40,1160],[-20,1320,5080]],
[5120,0,1,-1,
"5540s031550s0255000A82A0s0902s2A80s0B40"
,[-20,-10,1080],[-2020,3080],[-20,1320,3040,3080]],
[5120,0,1,-1,
"5FC0s073Fs0D02s28080080"
,[10,20,1080],[-20,40,3080],[-20,1320,3040,3080]],
[5120,0,1,-1,
"5D40s0307F0s0207s0D02s28080080"
,[10,20,1080],[-20,40,3080],[-20,1320,3040,3080]],
[5120,0,1,-1,
"1540s0705s0202A0s0902s1D0480"
,[-20,-10,160],[-20,40,320],[-20,640,2160]],
[5120,0,1,-1,
"1BC0s0757s020380s0902s1640002028s030Es0A08"
,[10,20,1080],[-20,40,1160],[-20,1080,1160,1320],
[10204,[[[-3008,1016,2032],[-3008,1016,2032],[-2004,8],[-20\
04,8],[-1008,1008,2016],[-1008,1008,2016],[-1002,1],
[32,64,3016],[32,64,3016],[32,2016],[32,2016],
[64,128,3032],[64,128,3032],[1064,3016,3032],
[1064,3016,3032],[1128,3032,3064],[1128,3032,3064],
[1256,5128]]]]],
[5120,0,1,1,
"5540s0701s0380s0902s2A80"
,[-20,-10,3040],[20,8040],[8020,11080]],
[5120,0,1,1,
"5540s1502s2A80"
,[-2010,1080],[2020,3080],[20,1320,11040]],
[5120,0,1,1,
"1540s071500010080s0902s18A048s1080"
,[-20,-10,1080],[20,40,1160],[20,1080,1160,1320],
[10204,[[[-3008,1008,1016],[-3008,1016,2032],[-3008,1016,2032
],[-2004,8],[-2004,8],[-1008,1008,2016],
[-1002,1],[32,64,3016],[32,64,3016],[32,64,3016],
[32,64,3016],[32,2016],[32,2016],[64,128,3032],
[128,3032,5064],[128,3032,5064],[1064,2032,5016],
[1064,3016,3032],[1256,5128]]]]],
[5120,0,1,1,
"5540s0420s020500010080s0902s2A80"
,[-20,-10,3040],[20,40,3080],[20,3040,3080,3160],
[10204,[[[-4002],[-4002],[-3004,2008],[-3004,2008],[-3004,
2008],[-3004,2008],[-3004,7008],[-3004,7008],
[-3004,7008],[-3004,7008],[-3004,7008],[-3004,7008],
[-3004,7008],[-3004,7008],[-3004,7008],[-3004,7008],
[-3004,7008],[-3004,7008],[-3004,7008],[-3004,7008],
[-3002,1001],[-3002,1001],[-1002,1],[32,2016],
[32,2016],[1016,2032,3008],[1016,2032,3008],
[1032,5016],[1032,5016],[2032,3016],[2032,3016],
[2032,3016],[2032,3016],[3004,7008],[3004,7008],
[5032,7016],[5032,7016],[5032,7016],[5032,7016],
[5032,7016],[5032,7016]]]]],
[5120,0,1,-1,
"5540s0410s058020s0902s2A80s0B40"
,[-20,-10,3040],[-20,8040],[-8020,11080]],
[5120,0,1,-1,
"57C0s0307E0s020Fs0320s0902s2A80s0B40"
,[-20,-10,1080],[-20,40,3080],[-20,1320,3040,3080]],
[5120,0,1,1,
"1540s0755s020280s0902s1680002048s030As0C80"
,[-20,-10,1080],[20,40,1160],[20,1080,1160,1320],
[10204,[[[-3008,1016,2032],[-3008,1016,2032],[-2004,8],[-20\
04,8],[-1008,1008,2016],[-1008,1008,2016],[-1002,1],
[32,64,3016],[32,64,3016],[32,2016],[32,2016],
[64,128,3032],[64,128,3032],[1064,3016,3032],
[1064,3016,3032],[1128,3032,3064],[1128,3032,3064],
[2256,3128]]]]],
[5120,0,1,1,
"5540s0701s0380s0902s2A80"
,[-4020,-10,1040],[20,8040],[8020,11080]],
[5120,0,1,1,
"5540s0705s020280s0902s2A80"
,[-2010,1080],[1160,2020],[20,1320,5080]],
[5120,0,1,-1,
"1FC0s073Fs028180s0902s1820E0s0E08"
,[10,20,1080],[-20,40,1160],[-20,1080,1160,1320]],
[5120,0,1,-1,
"5540s0410s058020s0902s2A80"
,[-4020,-10,1040],[-20,8040],[-8020,11080]],
[5120,0,1,1,
"11s0855s020280s0902s182008s030As1720"
,[10,20,160],[320,2020],[20,160,320,640],
[10204,[[[-8,16,1008],[-4,1],[32,64,3016],[128,5032],[2\
56,3032,3064],[1016,2032,3008],[1064,1128,7032],[1128,3256],
[1256,11064],[2064,7016]]]]],
[5120,0,1,-1,
"1F80s073Fs028380s0902s1820E0s0E08"
,[10,20,1080],[-20,40,1160],[-20,1080,1160,1320]],
[5120,0,1,-1,
"5F40s0303F0s021Es0320s0902s2A80s0B40"
,[-20,-10,1080],[-20,40,3080],[-20,1320,3040,3080]],
[5120,0,1,1,
"5540s071500010080s0902s18A008s1080"
,[-20,-10,1080],[20,40,1160],[20,1080,1160,1320]],
[5120,0,1,-1,
"1DC0s070Bs0283A0s0902s2808"
,[10,20,1080],[-20,40,1160],[-20,1080,1160,1320],[22,[10],[80],[80],[1010]]],
[5120,0,1,-1,
"1B80s0757s020380s0902s1640002028s030Es0A08"
,[10,20,1080],[-20,40,1160],[-20,1080,1160,1320],
[10204,[[[-3008,1016,2032],[-3008,1016,2032],[-2004,8],[-20\
04,8],[-1008,1008,2016],[-1008,1008,2016],[-1002,1],
[32,64,3016],[32,64,3016],[32,2016],[32,2016],
[64,128,3032],[64,128,3032],[1064,1256,4128],
[1064,3016,3032],[1064,3016,3032],[1128,3032,3064],
[1128,3032,3064]]]]],
[5120,0,1,-1,
"1DC0s070Fs0283A0s0902s2808"
,[10,20,1080],[-20,40,1160],[-20,1080,1160,1320],[22,[-1010],[10],[80],[80]]],
[5760,0,1,-1,
"03s030240s060180s0902s090As1480s1504"
,[30,160],[-60,320],[-20,160,1480]],
[6000,0,1,1,
"0140s0202s070280s0640s0282s0908s1B08s0480s0408s0404"
,[40,150],[80,300],[40,500,600]],
[6000,0,1,-1,
"0140s0202s070120s0640s0282s0908s1B08s0480s09040040"
,[40,150],[-300,80],[-500,40,600]],
[6000,0,1,-1,
"09C0s0202s0820s0642s0282s0908s1B180002080080s09040040"
,[-1020,150],[-300,1040],[-1300,-1020,-500]],
[6840,1,3,-1,
"00C0s0340s0720s0902s0A01s1904s0580s0A02C0"
,[190],[-380],[-1140]],
[7200,0,1,1,
"114000110040s0780s0644020002s0B80s1E80"
,[-100,-30,60],[60,120,200],[20,40,300,600,2060]],
[7500,0,1,1,
"0040s0202s0810s0204s0340s0282s2508s0480s080104"
,[150,1020],[300,3020],[500,1020,1300]],
[7680,0,1,-1,
"3FC0s0340s030F000380A0s0902s0204s06060180s0D28s0E080080"
,[-120,-10,60],[-20,120,240],[-60,80,120,160,240,480]],
[7680,0,1,-1,
"5DC0s0254s0407s0283A0s09020001s06054010s120280s09080080s031004"
,[-20,-10,1080],[-20,40,1160],[-20,160,320,480,1080]],
[7680,0,1,-1,
"0740s0340s050283A0s0902s0906s130480s0B80s0520"
,[30,160],[-60,320],[-20,480,640],
[10204,[[[-24,48,1024],[-4,1],[16,48,64,192],[96,2048],
[192,1016,1048],[384,2192],[1384,5192],[2192,3096]
]]]],
[7680,0,1,1,
"5540s0254s045500100280s0902s08054010s120As0C80"
,[-2010,1080],[1160,2020],[20,480,1080,2160]],
[7680,0,1,-1,
"5540s02540010s0255001082A0s0902s08054010s120A80s0B80s031004s0640"
,[-20,-10,1080],[-2020,1160],[-20,480,1080,2160]],
[7680,0,1,-1,
"5740s0254s040Ds0283A0s0902s0240s0210s020540s130480s0B80s031004"
,[-20,-10,1080],[-20,40,1160],[-20,160,320,480,1080]],
[7680,0,1,-1,
"15C0s0202s0402s028120s0902s3404"
,[30,1080],[-60,1160],[-20,1240,1320]],
[7680,0,1,1,
"1540s0202s0401s020280s0902s0908s2A04"
,[30,1080],[60,1160],[20,1240,1320]],
[7680,0,1,-1,
"5DC0s02540010s0207s0283A0s09020001s060540s1E080080s0404s0640"
,[-20,-10,1080],[-20,40,1160],[-20,160,320,480,1080]],
[7680,0,1,-1,
"1D40s0202s0408s0201s0A02s2808s0B04"
,[30,1080],[-60,3080],[-20,1320,3120]],
[7680,0,1,-1,
"5740s02540010s020Ds0283A0s0902s0240s0210s02054010s1206s0C80s0404s0640"
,[-20,-10,1080],[-20,40,1160],[-20,160,320,480,1080]],
[7680,0,1,-1,
"0740s0340s050283A0s0902s0906s130480s0B80s0520"
,[30,160],[-60,320],[-20,480,640],
[10204,[[[-24,48,1024],[-4,1],[96,2048],[192,1016,1048],
[192,1064],[384,1096,1192],[1384,5192],[2192,3096]
]]]],
[10000,0,1,1,
"0140s0A0290s0640s0282s2508s0480"
,[-2050,40],[80,2100],[40,500,2200],[4,[20,625,2200,3000,5100]]],
[10000,0,1,-1,
"1140s0B31s0644s0282s2508s0480s0B40"
,[-1020,-100,-50],[-2100,1040],[-5100,-1020,-500]],
[10000,0,1,1,
"0140s0A0290s0640s0282s2508s0480"
,[-2050,40],[80,2100],[40,500,2200],[4,[20,625,2200,3000,5100]]],
[10000,0,1,-1,
"0340s0B9020s0540s0282s1E80s0648s02800080"
,[-1020,-100,-50],[-1040,-100,200],[-1100,-1020,-500,1200]],
[10000,0,1,-1,
"0140s0A0290s0640s0282s1E80s0608s0480"
,[-100,-50,40],[-2100,80],[-500,40,2200]],
[10000,0,1,1,
"0140s0A0290s0640s0282s1D02s0708s0480"
,[-2050,40],[80,2100],[40,500,2200],[4,[-1100,20,625,3000,4200]]],
[10000,0,1,1,
"0140s0A0290s0640s0282s2508s0480"
,[-2050,40],[80,2100],[40,500,2200],[4,[20,625,2200,3000,5100]]],
[10000,0,1,-1,
"0140s0A02B0s0640s0282s2508s0480s0B40"
,[-100,-50,40],[-2100,80],[-500,40,2200]],
[10000,0,1,1,
"0140s0A0210s0640s0282s1D02s0708s0480"
,[-2050,40],[80,2100],[40,500,2200],[4,[-3100,20,625,3000,3200]]],
[10000,0,1,-1,
"11s0C91s0644s0282s1E80"
,[-1020,-100,-50],[-2100,-1040],[-5100,-1020,-500]],
[10000,0,1,1,
"0140s0A0290s0640s0282s2508s0480"
,[-2050,40],[80,2100],[40,500,2200],[4,[20,625,2200,3000,5100]]],
[10000,0,1,-1,
"0140s0A01B0s0640s0282s2508s0480s0B40"
,[-100,-50,40],[-100,80,200],[-500,40,2200]],
[10000,0,1,-1,
"0140s0A0290s0640s0282s1E80s0608s0480"
,[-100,-50,40],[-2100,80],[-500,40,2200]],
[10000,0,1,-1,
"0140s0A02B0s0640s0282s2508s0480s0B40"
,[-100,-50,40],[-2100,80],[-500,40,2200]],
[10000,0,1,1,
"1140s0B91s0644s0282s2508s0480"
,[-2050,1020],[1040,2100],[500,1020,5100]],
[10000,0,1,1,
"01s0B0210s0640s0282s1D02s1720"
,[-100,-40,50],[-2100,-80],[-2200,-40,500]],
[10000,0,1,1,
"0140s0A0290s0640s0282s2508s0480"
,[-2050,40],[80,2100],[40,500,2200],[4,[20,625,2200,3000,5100]]],
[10000,0,1,-1,
"0140s0A0190s0640s0282s1E80s0608s0480"
,[-100,-50,40],[-100,80,200],[-500,40,2200]],
[10000,0,1,1,
"1140s0B91s0644s0282s2508s0480"
,[-2050,1020],[1040,2100],[500,1020,5100]],
[10000,0,1,-1,
"03s0C9020s0540s0282s1E80s0640s0280"
,[-1020,-100,-50],[-1040,-100,200],[-1100,-1020,-500,1200]],
[10000,0,1,-1,
"01s0B0190s0640s0282s1E80"
,[-100,-50,40],[-100,80,200],[-500,40,2200]],
[10000,0,1,-1,
"09C0s0BB080s0542s0282s2401180002080080s0B40"
,[-1020,-100,-50],[-100,200,1040],[-1100,-1020,-500,1200]],
[10000,0,1,1,
"01s0B0290s0640s0282s1D02"
,[-2050,40],[80,2100],[40,500,2200],[4,[-3100,20,625,3000,3200]]],
[10000,0,1,1,
"0140s0A0290s0640s0282s1D02s0708s0480"
,[-2050,40],[80,2100],[40,500,2200],[4,[-1100,20,625,3000,4200]]],
[10000,0,1,-1,
"0140s0A0130s0640s0282s2508s0480s0B40"
,[-100,-50,40],[-100,80,200],[-500,40,2200]],
[10000,0,1,1,
"0140s0A0290s0640s0282s1D02s0708s0480"
,[-2050,40],[80,2100],[40,500,2200],[4,[-3100,20,625,3000,3200]]],
[10000,0,1,-1,
"09C0s0B3080s0542s0282s2401180002080080s0B40"
,[-1020,-100,-50],[-100,200,1040],[-1100,-1020,-500,1200]],
[10240,0,1,-1,
"5540s030110s0207000283A0s0902s2A80s0B40"
,[-20,-10,1080],[-20,40,1160],[-20,1080,1160,1320],[4,[-1020,5,1080,1280,1640,3040,3160,3320]]],
[10240,0,1,-1,
"55C0s0301s0307000283A0s0902s2A80s0B40"
,[-20,-10,1080],[-20,40,1160],[-20,1080,1160,1320],[4,[-1020,5,1080,1280,1640,3040,3160,3320]]],
[10240,0,1,1,
"5540s0705s020280s0902s1D0As0C80"
,[-2010,160],[320,2020],[20,640,2160]],
[10240,0,1,-1,
"7FC0s0303F0s023F00010020s0902s28080080s0B40"
,[-20,-10,1080],[-20,40,3080],[-20,1320,3040,3080]],
[10240,0,1,-1,
"55C0s0410s0202s028120s0902s2A80"
,[-20,-10,1080],[-20,40,1160],[-20,1320,5080]],
[10240,0,1,-1,
"FFC0s0410s0201s0280A0s0902s28080080s0B40"
,[-20,-10,3040],[-20,8040],[-8020,11080]],
[10240,0,1,-1,
"5FC0s0307F0s020F00050020s0902s28080080s0B40"
,[-20,-10,1080],[-20,40,3080],[-20,1320,3040,3080]],
[10240,0,1,1,
"1540s0755s020280s0902s1680002048s030As0C80s090120"
,[-20,-10,160],[20,40,320],[20,160,320,640],
[10204,[[[-3016,1032,2064],[-2008,16],[-1016,1016,2032],[-4
,1],[64,128,3032],[64,2032],[128,256,3064],
[512,2256],[1128,3032,3064],[1256,3064,3128]]]]],
[10240,0,1,1,
"5540s0705s020280s0902s2A80"
,[-2010,1080],[1160,2020],[20,1320,5080]],
[10240,0,1,-1,
"55C0s030550s0217000181A0s0902s18A0A8s1080s0B40"
,[-20,-10,1080],[-20,40,1160],[-20,1080,1160,1320]],
[10240,0,1,-1,
"55C0s0410s021700028120s0902s1840A0s1080"
,[-20,-10,1080],[-20,40,1160],[-20,1080,1160,1320]],
[10240,0,1,-1,
"5FC0s030BF0s021E00028020s0902s28080080s0B40"
,[-20,-10,1080],[-20,40,3080],[-20,1320,3040,3080]],
[10240,0,1,1,
"5540s0420s020500010280s0902s1948s0302s0C80"
,[-20,-10,1080],[20,40,1160],[20,1080,1160,1320],[10201,[[[-8,-2,8,1001]]]]],
[10240,0,1,-1,
"1B80s0757s020380s0902s1640002028s030Es0A08s0CA0"
,[10,20,160],[-20,40,320],[-20,160,320,640],
[10204,[[[-8,16,1008],[-4,1],[64,128,3032],[64,2032],[1\
28,256,3064],[128,512,1064,1256],[1032,2064,3016],
[1128,3032,3064],[1256,3064,3128],[2032,3016]]]]],
[10240,0,1,-1,
"5540s031550s0255000A82A0s0902s1501400020A8s030A80s0B80s0B40"
,[-20,-10,1080],[-2020,1160],[-20,1080,1160,1320]],
[10240,0,1,1,
"1540s0755s020280s0902s1680002048s030As0C80s090120"
,[-20,-10,160],[20,40,320],[20,160,320,640],
[10204,[[[-3016,1032,2064],[-2008,16],[-1016,1016,2032],[-4
,1],[64,128,3032],[64,2032],[128,256,3064],
[512,1128,1256],[1128,3032,3064],[1256,3064,3128]]]
]],
[10240,0,1,1,
"5540s0420s020500010280s0902s1948s030As0C80"
,[-20,-10,1080],[20,40,1160],[20,1080,1160,1320],[10201,[[[-1008,-2,1001]]]]],
[10240,0,1,-1,
"55C0s0450s0203000281A0s0902s2A80"
,[-20,-10,3040],[-20,40,3080],[-20,3040,3080,3160],[22,[-20],[-10],[40],[40],[40],[40]]],
[10240,0,1,1,
"5540s0705s020280s0902s1D0As0C80"
,[-1010,10,160],[320,2020],[20,640,2160]],
[10240,0,1,-1,
"FFC0s0410s0201s0280A0s0902s28080080"
,[-4020,-10,1040],[-20,8040],[-8020,11080]],
[10240,0,1,-1,
"55C0s031550s0257000A83A0s0902s16C0s0260s0306s0C80s0B40"
,[-20,-10,1080],[-20,40,1160],[-20,1080,1160,1320],[4,[-1020,5,1280,1640,3080,3160,3320]]],
[10240,0,1,-1,
"5FC0s0757s020380s0902s1640002028s030Es0A080080"
,[10,20,1080],[-20,40,1160],[-20,1080,1160,1320]],
[10240,0,1,-1,
"5540s0430s0205000182A0s0902s2A80s0B40"
,[-20,-10,3040],[-20,40,3080],[-20,3040,3080,3160]],
[10240,0,1,-1,
"5D40s0301s030800020120s0902s28080080s0B40"
,[-20,-10,1080],[-20,40,3080],[-20,1320,3040,3080]],
[10240,0,1,-1,
"5540s0420s0205000102A0s0902s1920s0480s0B80"
,[-1040,-20,-10,80],[-20,40,3080],[-20,3040,3080,3160]],
[10240,0,1,1,
"5540s0420s020500010280s0902s1908s0302s0C80"
,[-1040,-20,-10,80],[20,40,3080],[20,3040,3080,3160]],
[10240,0,1,1,
"5540s0420s020500010280s0902s2A80"
,[-20,-10,3040],[20,40,3080],[20,3040,3080,3160]],
[10240,0,1,-1,
"55C0s0410s0257s0283A0s0902s150140s02A0s030480s0B80"
,[-20,-10,1080],[-20,40,1160],[-20,1080,1160,1320]],
[10240,0,1,-1,
"5FC0s031550s0255000A82A0s0902s28080080s0B40"
,[-20,-10,1080],[-20,40,3080],[-20,1320,3040,3080]],
[10240,0,1,-1,
"5FC0s030550s023Fs0320s0902s28080080s0B40"
,[-20,-10,1080],[-20,40,3080],[-20,1320,3040,3080]],
[10240,0,1,1,
"5540s0755s020280s0902s182008s030As0C80s0A20"
,[10,20,160],[320,2020],[20,160,320,640]],
[10240,0,1,-1,
"1DC0s070Bs0283A0s0902s1D0680s0908"
,[10,20,160],[-20,40,320],[-20,160,320,640],[22,[10],[160],[1010]]],
[10240,0,1,-1,
"5540s030550s0215000282A0s0902s186060s1080s0B40"
,[-20,-10,1080],[-20,40,1160],[-20,1080,1160,1320]],
[10240,0,1,-1,
"1B80s0757s020380s0902s1640002028s030Es0A08s0CA0"
,[10,20,160],[-20,40,320],[-20,160,320,640],
[10204,[[[-8,16,1008],[-4,1],[64,128,3032],[64,2032],[1\
28,256,3064],[512,1128,1256],[1032,2064,3016],
[1128,3032,3064],[1256,3064,3128],[2032,3016]]]]],
[10240,0,1,1,
"5540s071500010280s0902s18A048s1080"
,[-20,-10,1080],[20,40,1160],[20,1080,1160,1320]],
[10240,0,1,-1,
"5DC0s070Fs0283A0s0902s28080080"
,[10,20,1080],[-20,40,1160],[-20,1080,1160,1320]],
[10240,0,1,-1,
"55C0s0450s0203000281A0s0902s2A80s0B40"
,[-20,-10,3040],[-20,40,3080],[-20,3040,3080,3160],[22,[-1020],[-1020],[-20],[-10],[40],[40]]],
[10240,0,1,-1,
"1DC0s070Bs0283A0s0902s1D0E80s0908"
,[10,20,160],[-20,40,320],[-20,160,320,640],[22,[-1010],[10],[160]]],
[10240,0,1,-1,
"5FC0s073Fs028380s0902s1820E0s0E080080"
,[10,20,1080],[-20,40,1160],[-20,1080,1160,1320]],
[10240,0,1,-1,
"5540s0755s0202A0s0902s182008s030A80s0B80s090280"
,[-20,-10,160],[-2020,320],[-20,160,320,640]],
[10240,0,1,-1,
"5540s0705s020380s0902s1D0480s0B80"
,[10,20,160],[-20,40,320],[-20,640,2160]],
[10240,0,1,-1,
"5D40s0410s020Fs0283A0s0902s28080080"
,[-20,-10,1080],[-20,40,1160],[-20,1080,1160,1320]],
[10240,0,1,-1,
"5FC0s0410s0255s0282A0s0902s1501C0s02E0s030280s09080080"
,[-20,-10,1080],[-20,40,1160],[-20,1080,1160,1320]],
[10240,0,1,-1,
"5540s0755s020380s0902s182008s030Es0C80s0A80"
,[10,20,160],[-20,40,320],[-20,160,320,640]],
[10240,0,1,1,
"5540s0755s020280s0902s182008s030As0C80s0901"
,[-20,-10,160],[20,40,320],[20,160,320,640]],
[10240,0,1,-1,
"5540s0705s0202A0s0902s1D0480s0B80"
,[-20,-10,160],[-20,40,320],[-20,640,2160]],
[10240,0,1,-1,
"5FC0s0410s023F000380A0s0902s18E028s0E080080"
,[-20,-10,1080],[-20,40,1160],[-20,1080,1160,1320]],
[10240,0,1,1,
"5540s0755s020280s0902s1680002048s030As0C80"
,[-20,-10,1080],[20,40,1160],[20,1080,1160,1320]],
[11520,0,1,1,
"1540s0340s030500010280s0902s0202s06040080s0D40s1080"
,[10,180],[20,360],[180,1480]],
[11520,0,1,1,
"0540s020240s060280s0902s090Cs2080s0904"
,[30,160],[60,320],[20,480,640]],
[12000,0,1,-1,
"09C0s0202s0703A0s0642s0282s0908s1B180002080080s0408s04040040"
,[40,150],[-300,80],[-500,40,600]],
[12800,0,1,1,
"5540s0701s0380s0654s0202s2A80"
,[-100,-10,1040],[20,200,3040],[100,1080,1400,3020]],
[14400,0,1,1,
"1140110040s0401s0380s064410000202s0480s0340s2080"
,[-1050,-10,1040],[20,1080,1100],[40,80,100,120,400,1200]],
[14400,0,1,-1,
"1140110040s0401s03A0s064410000202s0480s0340s1480s1004"
,[-100,-40,10,40],[-1100,-20,1080],[-100,40,80,120,400,1200]],
[14400,0,1,1,
"1140110040s0880s064410000202s0840s1B08s02010080"
,[-1050,-10,1040],[20,1080,1100],[40,80,100,120,400,1200]],
[14400,0,1,1,
"154000110040s0304s0380s06440200020020s0320s03040080s1E80"
,[-100,-30,60],[60,120,200],[20,40,60,120,300,600]],
[14400,0,1,-1,
"1140110040s0820s064410000202s0840s1B08s02010080s0404s0640"
,[-100,-10,1040],[-1100,-20,1080],[-100,40,80,120,400,1200]],
[14400,0,1,-1,
"15s02110040s0304s028080s06440200020020s0320s0304s1480s1120"
,[-100,-30,60],[-120,60,200],[-300,-40,-20,60,120,600]],
[15000,0,1,-1,
"0840s0202s0830800004s0342s0282s2401080002080080s0801040040"
,[-1020,150],[-3020,-300],[-1300,-1020,-500]],
[15000,0,1,-1,
"00C0s0202s0830s0204s0340s0282s2518s0480s0801040040"
,[-1020,150],[-300,1040],[-1300,-1020,-500]],
[15000,0,1,1,
"0140s0202s0810s0204s0340s0282s0908s1B08s0480s080104"
,[150,1020],[300,1040],[500,1020,1300]],
[15000,0,1,1,
"01s0302s0890s0204s0340s0282s0908s290104"
,[150,1020],[300,1040],[500,1020,1300]],
[15360,0,1,-1,
"5FC0s02540010s025F001083A0s0902000140s0210s02054010s120E80s09080080s031004s06\
40"
,[-20,-10,1080],[-20,40,1160],[-20,160,320,480,1080]],
[15360,0,1,1,
"11s0344s045500100280s0902s08010010s0D2008s030As1150"
,[10,20,160],[320,2020],[20,160,320,640]],
[15360,0,1,1,
"1540s0244s0401s020280s0902s080140"
,[160,2010],[320,2020],[20,640,2160]],
[15360,0,1,1,
"5540s0202s1202s2A80s0904"
,[30,1080],[60,3080],[20,1320,3120]],
[15360,0,1,-1,
"1DC0s0202s040Bs0283A0s0902s0908s1E08s0B04"
,[30,1080],[-60,1160],[-20,1240,1320]],
[15360,0,1,1,
"1540s0202s0401s020280s0902s0908s1302s1108s0404"
,[30,160],[60,320],[20,480,640]],
[15360,0,1,-1,
"1540s0202s0401s020380s0902s0908s130480s1504"
,[30,160],[-60,320],[-20,480,640]],
[20000,0,1,1,
"1140s0701s0391s0644s0282s25080004s0280"
,[-2050,1020],[-1040,2100],[500,1020,5100]],
[20000,0,1,-1,
"09C0s0A03B080s0542s0282s2401180002080080s0B40"
,[-100,-50,40],[-100,80,200],[-500,40,200,400]],
[20000,0,1,-1,
"1140s0722s0391s04010044000182s1E80s0608s0480"
,[-1020,-100,-50],[-1040,-100,200],[-1100,-1020,-500,1200]],
[20000,0,1,-1,
"1340s0B9120s0544s0282s1E80s0648s02800080"
,[-1020,-100,-50],[-1040,-100,200],[-1100,-1020,-500,1200]],
[20000,0,1,1,
"1140s0A0291s0644s0282s1D02s0708s0480"
,[-2050,40],[80,2100],[40,500,2200],[4,[-3100,20,625,3000,3200]]],
[20000,0,1,1,
"1140s0A0211s0644s0282s1D02s0708s0480"
,[-2050,40],[80,2100],[40,500,2200],[4,[-1100,20,625,3000,4200]]],
[20000,0,1,-1,
"1140s0B91s0644s0282s1E80s0608s0480"
,[-1020,-100,-50],[-2100,-1040],[-5100,-1020,-500]],
[20000,0,1,-1,
"0340s0A039020s0540s0282s1E80s0648s02800080"
,[-100,-50,40],[-100,80,200],[-500,40,200,400]],
[20000,0,1,1,
"1140s0A0291s0644s0282s2508s0480"
,[-2050,40],[80,2100],[40,500,2200],[4,[20,625,2200,3000,5100]]],
[20000,0,1,-1,
"09C0s0A039080s0542s0282s1D0280s0501180002080080"
,[-100,-50,40],[-100,80,200],[-500,40,200,400]],
[20000,0,1,-1,
"09C0s0A03B080s0542s0282s2401180002080080s0B40"
,[-100,-50,40],[-100,80,200],[-500,40,200,400]],
[20000,0,1,-1,
"1140s0702s0391s0644s0282s1E80s06080008s0280"
,[-100,-50,40],[-100,80,200],[-500,40,2200]],
[20000,0,1,1,
"1140s0A0291s0644s0282s1D02s0708s0480"
,[-2050,40],[80,2100],[40,500,2200],[4,[-1100,20,625,3000,4200]]],
[20000,0,1,-1,
"19C0s0BB180s0546s0282s2401180002080080s0B40"
,[-1020,-100,-50],[-100,200,1040],[-1100,-1020,-500,1200]],
[20000,0,1,-1,
"1140s0702s03B1s0644s0282s25080008s0280s0B40"
,[-100,-50,40],[-100,80,200],[-500,40,2200]],
[20000,0,1,1,
"1140s0A0291s0644s0282s1D02s0708s0480"
,[-2050,40],[80,2100],[40,500,2200],[4,[-3100,20,625,3000,3200]]],
[20000,0,1,-1,
"1140s0BB1s0644s0282s2508s0480s0B40"
,[-1020,-100,-50],[-2100,1040],[-5100,-1020,-500]],
[20000,0,1,-1,
"0340s0A03B020s0540s0282s1D02s0748s02800080s0B40"
,[-100,-50,40],[-100,80,200],[-500,40,200,400]],
[20000,0,1,1,
"1140s0A0291s0644s0282s2508s0480"
,[-2050,40],[80,2100],[40,500,2200],[4,[20,625,2200,3000,5100]]],
[20000,0,1,1,
"1140s0701s020291s0644s0282s1D02s07080004s0280"
,[-2050,40],[80,2100],[40,500,2200],[4,[-3100,20,625,3000,3200]]],
[20000,0,1,-1,
"0340s0A039020s0540s0282s1E80s0648s02800080"
,[-100,-50,40],[-100,80,200],[-500,40,200,400]],
[20000,0,1,-1,
"1140s0A0191s0644s0282s1E80s0608s0480"
,[-100,-50,40],[-100,80,200],[-500,40,2200]],
[20000,0,1,-1,
"1140s0A0231s0644s0282s2508s0480s0B40"
,[-100,-50,40],[-2100,80],[-500,40,2200]],
[20000,0,1,1,
"11s0B0291s0644s0282s1D02"
,[-2050,40],[80,2100],[40,500,2200],[4,[-1100,20,625,3000,4200]]],
[20000,0,1,1,
"1140s0A0291s0644s0282s1D02s0708s0480"
,[-2050,40],[80,2100],[40,500,2200],[4,[-3100,20,625,3000,3200]]],
[20000,0,1,-1,
"11s0B0291s0644s0282s1E80"
,[-100,-50,40],[-2100,80],[-500,40,2200]],
[20000,0,1,-1,
"1140s0A0291s0644s0282s1E80s0608s0480"
,[-100,-50,40],[-2100,80],[-500,40,2200]],
[20000,0,1,1,
"1140s0B91s0644s0282s2508s0480"
,[-2050,1020],[1040,2100],[500,1020,5100]],
[20000,0,1,1,
"11s0B0211s0644s0282s1D02"
,[-2050,40],[80,2100],[40,500,2200],[4,[20,625,3000,5200]]],
[20000,0,1,1,
"1140s0A0291s0644s0282s1D02s0708s0480"
,[-2050,40],[80,2100],[40,500,2200],[4,[-1100,20,625,3000,4200]]],
[20000,0,1,-1,
"09C0s0A03B080s0542s0282s2401180002080080s0B40"
,[-100,-50,40],[-100,80,200],[-500,40,200,400]],
[20000,0,1,1,
"11s0B0211s0644s0282s1D02s1720"
,[-100,-40,50],[-2100,-80],[-2200,-40,500]],
[20000,0,1,-1,
"1140s0A01B1s0644s0282s2508s0480s0B40"
,[-100,-50,40],[-100,80,200],[-500,40,2200]],
[20000,0,1,-1,
"1140s0708s03B1s054044s0282s2508s0480s0B40"
,[-1020,-100,-50],[-100,200,1040],[-1100,-1020,-500,1200]],
[20000,0,1,1,
"1140s0A0291s0644s0282s2508s0480"
,[-2050,40],[80,2100],[40,500,2200],[4,[20,625,2200,3000,5100]]],
[20000,0,1,-1,
"1140s0A02B1s0644s0282s2508s0480s0B40"
,[-100,-50,40],[-2100,80],[-500,40,2200]],
[20000,0,1,-1,
"0340s0A039020s0540s0282s1E80s0648s02800080"
,[-100,-50,40],[-100,80,200],[-500,40,200,400]],
[20480,0,1,-1,
"5540s030110s0207000283A0s0902s1D0E80s0B80s0B40"
,[-20,-10,160],[-20,40,320],[-20,160,320,640],[22,[-1010],[-10],[160]]],
[20480,0,1,1,
"5540s0420s020500010280s0902s1948s030As0C80"
,[-20,-10,1080],[20,40,1160],[20,1080,1160,1320]],
[20480,0,1,-1,
"5540s0755s0203A0s0902s1680002048s030E80s0B80s090280"
,[-20,-10,160],[-20,40,320],[-20,160,320,640]],
[20480,0,1,-1,
"FFC0s0470s0207000383A0s0902s1928s030280s09080080"
,[-1040,-20,-10,80],[-20,40,3080],[-20,3040,3080,3160]],
[20480,0,1,-1,
"5540s0420s0205000103A0s0902s19A0s030480s0B80"
,[-20,-10,1080],[-20,40,1160],[-20,1080,1160,1320]],
[20480,0,1,-1,
"5FC0s0757s020380s0902s1640002028s030Es0A080080s0AA0"
,[10,20,160],[-20,40,320],[-20,160,320,640]],
[20480,0,1,-1,
"5DC0s070Fs0283A0s0902s1D0E80s09080080"
,[10,20,160],[-20,40,320],[-20,160,320,640]],
[20480,0,1,-1,
"5540s031550s0255000A83A0s0902s1501400020A8s030E80s0B80s09018040"
,[-20,-10,160],[-20,40,320],[-20,160,320,640]],
[20480,0,1,1,
"5540s0755s020280s0902s1680002048s030As0C80s090120"
,[-20,-10,160],[20,40,320],[20,160,320,640]],
[20480,0,1,-1,
"5540s031550s0255000A82A0s0902s1501400020A8s030A80s0B80s0902A040"
,[-20,-10,160],[-2020,320],[-20,160,320,640]],
[20480,0,1,-1,
"5FC0s0757s0203A0s0902s1640002028s030E80s09080080s090380"
,[-20,-10,160],[-20,40,320],[-20,160,320,640]],
[20480,0,1,-1,
"5FC0s031550s0257000A83A0s0902s1501C00020E8s030E80s09080080s0B40"
,[-20,-10,1080],[-20,40,1160],[-20,1080,1160,1320]],
[20480,0,1,-1,
"5DC0s030110s020F000283A0s0902s28080080s0B40"
,[-20,-10,1080],[-20,40,1160],[-20,1080,1160,1320],[4,[-1020,5,1080,1280,1640,3040,3160,3320]]],
[20480,0,1,-1,
"5540s030110s0207000283A0s0902s1D0E80s0B80s0B40"
,[-20,-10,160],[-20,40,320],[-20,160,320,640],[22,[-1010],[10],[160]]],
[20480,0,1,-1,
"5540s0430s0205000183A0s0902s19A8s0306s0C80s0B40"
,[-20,-10,1080],[-20,40,1160],[-20,1080,1160,1320]],
[20480,0,1,-1,
"FFC0s0470s0207000383A0s0902s28080080s0B40"
,[-20,-10,3040],[-20,40,3080],[-20,3040,3080,3160]],
[20480,0,1,-1,
"5540s0705s0203A0s0902s1D0480s0B80"
,[-20,-10,160],[-20,40,320],[-20,640,2160]],
[20480,0,1,-1,
"5FC0s030550s023F000383A0s0902s18E0E8s0E080080s0B40"
,[-20,-10,1080],[-20,40,1160],[-20,1080,1160,1320],[4,[-1020,5,1280,1640,3080,3160,3320]]],
[20480,0,1,1,
"5540s0705s020280s0902s1D0As0C80"
,[-2010,160],[320,2020],[20,640,2160]],
[20480,0,1,-1,
"5540s0430s0205000182A0s0902s1960s030A80s0B80s0B40"
,[-20,-10,1080],[-20,40,1160],[-20,1080,1160,1320]],
[20480,0,1,-1,
"5DC0s070Fs0283A0s0902s1D0E80s09080080"
,[-20,-10,160],[-20,40,320],[-20,160,320,640]],
[23040,0,1,1,
"1540s0340s030500050280s0902s0202s06040080s0D48s1080s048040"
,[-180,-10],[20,360],[180,1480]],
[23040,0,1,-1,
"0740s020240s050283A0s0902s090Es130480s0B80s0520s0304"
,[30,160],[-60,320],[-20,480,640]],
[25600,0,1,1,
"5540s0420s020500010280s0654s0202s2A80"
,[-100,-10,1040],[20,200,1080],[100,1040,1080,1400],[10201,[[[-1004,10,1001]]]]],
[25600,0,1,-1,
"5540s0410s058020s0654s0202s25A8s0480s0B40"
,[-100,-10,1040],[-20,200,3040],[-3020,-100,1080,1400]],
[25600,0,1,1,
"55s0520s020500010280s0654s0202s1908s0302"
,[-1040,-100,-10],[20,200,1080],[100,1040,1080,1400]],
[25600,0,1,-1,
"5540s0420s0205000100A0s0654s0202s1920s0480"
,[-1040,-100,-10],[-20,200,1080],[-100,1040,1080,1400]],
[25600,0,1,1,
"5540s0420s020500010080s0654s0202s2A80"
,[-100,-10,1040],[20,200,1080],[100,1040,1080,1400],[10201,[[[-1004,-10,1001]]]]],
[25600,0,1,1,
"5540s0701s0380s0654s0202s25A8s0480"
,[-100,-10,1040],[20,200,3040],[100,1080,1400,3020]],
[28800,0,1,-1,
"19C0118040s042302s02A0s06461001024601s0380s022040s1480s0B80s0404"
,[-100,-40,-10,40],[-20,200,1080],[-100,40,80,120,1400]],
[28800,0,1,-1,
"374000130040s032600208080s064C020102013004s0220s0210040080s1280s0B80s0520"
,[-100,-30,60],[-120,60,200],[-300,-40,-20,60,120,600]],
[28800,0,1,-1,
"1140110044s0411010002A0s064410000202s0480s0340s1480s0608s02010080s0404"
,[-100,-40,10,40],[-1100,-20,1080],[-100,40,80,120,400,1200]],
[28800,0,1,-1,
"1340112040s0403s03A0s0644100002120040000180s0340s1480s06401008s0280s0404"
,[-100,-40,-10,40],[-20,200,1080],[-100,40,80,120,1400]],
[28800,0,1,-1,
"1140110044s0411010002A0s064410000202s0480s0340s1B08s02010080s0404s0640"
,[-100,-10,1040],[-1100,-20,1080],[-100,40,80,120,400,1200]],
[28800,0,1,1,
"1140110044s041101000280s064410000202s0480s034010s1202s07080004010080"
,[-1050,-40,-10,40],[20,1080,1100],[40,80,100,120,400,1200]],
[28800,0,1,1,
"1140110044s041101000280s064410000202s0480s034010s1202s0708s02010080"
,[-1050,-40,10,40],[20,1080,1100],[40,80,100,120,400,1200]],
[28800,0,1,-1,
"19C0118040s08A0s06461000024601s062040s1A01184000090080s0404s0640"
,[-100,-10,1040],[-20,200,1080],[-100,40,80,120,1400]],
[28800,0,1,-1,
"1340112040s040A008001A0s06441000021200400001s0440s1B08s02010080s0404s0640"
,[-100,-10,1040],[-20,200,1080],[-100,40,80,120,1400]],
[28800,0,1,1,
"1140110044s041101000280s064410000202s0480s0340s1B08s02010080"
,[-1050,-10,1040],[20,1080,1100],[40,80,100,120,400,1200]],
[30000,0,1,-1,
"09C0s0202s0830800004s0342s0282s0908s1A01180002080080s0801040040"
,[-1020,150],[-300,1040],[-1300,-1020,-500]],
[30000,0,1,-1,
"01s0302s070190s0204s0340s0282s0908s1480s140104"
,[40,150],[-300,80],[-500,40,600]],
[30000,0,1,1,
"0140s0202s070290s0204s0340s0282s0908s1B08s0480s0408s030104"
,[40,150],[80,300],[40,500,600]],
[30000,0,1,-1,
"03s0302s0890200004s0340s0282s0908s1480s0640s0280s0A0104"
,[-1020,150],[-1040,-300],[-1300,-1020,-500]],
[30000,0,1,-1,
"0140s0202s070130s0204s0340s0282s0908s1B08s0480s0801040040"
,[40,150],[-300,80],[-500,40,600]],
[30000,0,1,1,
"0140s0202s070290s0204s0340s0282s0908s1B08s0480s0408s030104"
,[40,150],[80,300],[40,500,600]],
[30720,0,1,1,
"1540s0244s045500100280s0902s08014010s120A"
,[-1010,10,160],[320,2020],[20,640,2160]],
[30720,0,1,1,
"1540s0244s045500100280s0902s0280s05014010s0B80002048s030As0C80s0450"
,[-20,-10,160],[20,40,320],[20,160,320,640]],
[30720,0,1,-1,
"55C0s02020010s0202s028120s0902s2A80s0904"
,[30,1080],[-60,1160],[-20,1240,1320]],
[30720,0,1,-1,
"1DC0s0244s040Bs0283A0s09020001s0310s020140s1E08s0620"
,[10,20,160],[-20,40,320],[-20,160,320,640]],
[30720,0,1,-1,
"1DC0s0202s040Bs0283A0s0902s0908s130680s0908s0608s0404"
,[30,160],[-60,320],[-20,480,640]],
[30720,0,1,-1,
"1380s0244s045F00100380s0902s0240s0210s02010010s0A0140002008s02080Es1150s0580"
,[10,20,160],[-20,40,320],[-20,160,320,640]],
[30720,0,1,1,
"5540s0254s0405s020280s0902s080540s2080"
,[-1010,10,160],[320,2020],[20,640,2160]],
[30720,0,1,-1,
"1B80s0244s045700100380s0902000140s05018010s0B40002028s030Es0A08s0650"
,[10,20,160],[-20,40,320],[-20,160,320,640]],
[30720,0,1,-1,
"5D40s020201s030800020120s0902s28080080s09040040"
,[30,1080],[-60,3080],[-20,1320,3120]],
[30720,0,1,-1,
"1740s0244s040B000203A0s0902s0240s0210s020140s130480s1004"
,[10,20,160],[-20,40,320],[-20,160,320,640]],
[30720,0,1,1,
"5540s0254s045500100280s0902s08054010s0D2008s030As0C80s0450"
,[10,20,160],[320,2020],[20,160,320,640]],
[30720,0,1,1,
"5540s02540020s020500010280s0902000280s05014010s0E08s0302s1110"
,[-20,-10,1080],[20,40,1160],[20,160,320,480,1080]],
[30720,0,1,1,
"1540s0244s0415s020280s0902s08014010s1202"
,[160,2010],[320,2020],[20,640,2160]],
[30720,0,1,1,
"11s0344s045500100280s0902s08010010s0C02A008s030As115008s0420"
,[10,20,160],[320,2020],[20,160,320,640],
[10204,[[[-24,1008],[-4,1],[96,1016,3008],[96,3016],[192
,7016],[384,5096],[768,3096,3192],[3064,3256]
]]]],
[30720,0,1,1,
"5540s02540020s020500010280s0902000280s05014010s1F80s0410"
,[-20,-10,1080],[20,40,1160],[20,160,320,480,1080]],
[30720,0,1,1,
"5540s034020s020500010280s0902s0202s06040080s1E80"
,[10,60,120],[20,120,240],[60,80,120,160,2240]],
[30720,0,1,1,
"1140s0244s045500100280s0902s08014010s0A0280002008s02800As1150s0401"
,[-20,-10,160],[20,40,320],[20,160,320,640]],
[30720,0,1,1,
"5540s0202s0405s020280s0902s0908s2080s0904"
,[30,1080],[60,1160],[20,1240,1320]],
[30720,0,1,1,
"1540s0244s045500100280s0902s08014010s0C02A008s030As115008s0420"
,[10,20,160],[320,2020],[20,160,320,640],
[10204,[[[-24,1008],[-4,1],[96,1016,3008],[96,3016],[192
,7016],[384,5096],[768,3096,3192],[1128,3256]
]]]],
[40000,0,1,-1,
"1340s0702s02029120s0544s0282s1E80s06480008800080"
,[-100,-50,40],[-100,80,200],[-500,40,200,400]],
[40000,0,1,-1,
"11s0844s020291s04020044000282s1E80"
,[-100,-50,40],[-2100,80],[-500,40,2200]],
[40000,0,1,-1,
"1140s0708s020331s054044s0282s1D02s0708s0480s0B40"
,[-100,-50,40],[-100,80,200],[-500,40,200,400]],
[40000,0,1,-1,
"13s0802s02029120s0544s0282s1D0280s0640000880"
,[-100,-50,40],[-100,80,200],[-500,40,200,400]],
[40000,0,1,-1,
"19C0s0A03B180s0546s0282s2401180002080080s0B40"
,[-100,-50,40],[-100,80,200],[-500,40,200,400]],
[40000,0,1,1,
"1140s0711s020291s058044s0282s1D02s07080004s0280"
,[-2050,40],[80,2100],[40,500,2200],[4,[-1100,20,625,3000,4200]],
[10202,[[[-2010,-1004,-2],[-25,-20,-5],[-25,-20,-5],[-20,
-5,25]]]]],
[40000,0,1,-1,
"1140s0722s020391s04010044000182s1E80s0608s0480"
,[-100,-50,40],[-100,80,200],[-500,40,200,400]],
[40000,0,1,1,
"1140s0A0291s0644s0282s2508s0480"
,[-2050,40],[80,2100],[40,500,2200],[4,[20,625,2200,3000,5100]]],
[40000,0,1,-1,
"1140s0744s020231s04020044000282s2508s0480s0B40"
,[-100,-50,40],[-2100,80],[-500,40,2200]],
[40000,0,1,-1,
"1140s0703s020191s0644s0282s1E80s0608000Cs0280"
,[-100,-50,40],[-100,80,200],[-500,40,2200],[29,[-1040],[100],[1100]]],
[40000,0,1,-1,
"11s0822s020391s04010044000182s1D0280"
,[-100,-50,40],[-100,80,200],[-500,40,200,400]],
[40000,0,1,1,
"1140s0744s020291s04020044000282s1D02s0708s0480"
,[-2050,40],[80,2100],[40,500,2200],[4,[-1100,20,625,3000,4200]],
[10202,[[[-2010,-1004,-2],[-25,-20,-5],[-25,-20,-5],[-20,
-5,25]]]]],
[40000,0,1,-1,
"1140s0710s0202B1s058044s0282s2508s0480s0B40"
,[-100,-50,40],[-2100,80],[-500,40,2200],[4,[-1100,-20,400,625,2200,3000]]],
[40000,0,1,-1,
"1340s0A03B120s0544s0282s1D02s0748s02800080s0B40"
,[-100,-50,40],[-100,80,200],[-500,40,200,400]],
[40000,0,1,-1,
"1140s0708s0203B1s054044s0282s2508s0480s0B40"
,[-100,-50,40],[-100,80,200],[-500,40,200,400]],
[40000,0,1,-1,
"1340s0A039120s0544s0282s1E80s0648s02800080"
,[-100,-50,40],[-100,80,200],[-500,40,200,400]],
[40000,0,1,1,
"1140s0710s020291s058044s0282s1D02s0708s0480"
,[-2050,40],[80,2100],[40,500,2200],[4,[20,625,3000,5200]],
[10202,[[[-2010,-1004,-2],[-25,-20,-5],[-25,-20,-5],[-20,
-5,25]]]]],
[40000,0,1,-1,
"1140s0702s0201B1s0644s0282s25080008s0280s0B40"
,[-100,-50,40],[-100,80,200],[-500,40,2200],[29,[100],[1040],[1100]]],
[40000,0,1,-1,
"1140s0722s0202B1s04010044000182s1D02s07080008s0280s0B40"
,[-100,-50,40],[-100,80,200],[-500,40,200,400]],
[40000,0,1,1,
"1140s0A0291s0644s0282s1D02s0708s0480"
,[-2050,40],[80,2100],[40,500,2200],[4,[-1100,20,625,3000,4200]],
[10202,[[[-2010,-1004,-2],[-20,-5,25],[-20,-5,25],[-20,-5
,25]]]]],
[40000,0,1,1,
"11s0B0211s0644s0282s1D02"
,[-2050,40],[80,2100],[40,500,2200],[4,[20,625,3000,5200]],
[10202,[[[-2010,-1004,-2],[-20,-5,25],[-20,-5,25],[-20,-5
,25]]]]],
[40000,0,1,-1,
"1140s0722s020291s04010044000182s1E80s06080008s0280"
,[-100,-50,40],[-100,80,200],[-500,40,200,400]],
[40000,0,1,1,
"11s0B0211s0644s0282s1D02"
,[-2050,40],[80,2100],[40,500,2200],[4,[20,625,3000,5200]],
[10202,[[[-2010,-1004,-2],[-20,-5,25],[-20,-5,25],[-20,-5
,25]]]]],
[40000,0,1,1,
"11s0844s020211s04020044000282s1D02s1720"
,[-100,-40,50],[-2100,-80],[-2200,-40,500],[4,[-3200,-3000,-625,20,400]]],
[40000,0,1,-1,
"1140s0701s0202B1s0644s0282s1E80s06080004s0280s0B40"
,[-100,-50,40],[-2100,80],[-500,40,2200],[4,[-100,-20,100,625,3000,4200]]],
[40000,0,1,1,
"1140s0710s020291s058044s0282s1D02s0708s0480"
,[-2050,40],[80,2100],[40,500,2200],[4,[-1100,20,625,3000,4200]],
[10202,[[[-2010,-1004,-2],[-25,-20,-5],[-25,-20,-5],[-20,
-5,25]]]]],
[40000,0,1,-1,
"19C0s0A039180s0546s0282s1D0280s0501180002080080"
,[-100,-50,40],[-100,80,200],[-500,40,200,400]]];
Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.

Product

Resources

Company

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

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