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  trans20c.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]{[601..900]}:=
[[(1,7,5,8,4,9,3,10,2,6)(11,17,15,20,14,18,13,16,12,19),
(1,16,8,11,4,20,10,12)(2,19,7,13,3,17,6,15)(5,18,9,14),"t20n601"],
[(1,14,3,11)(2,15)(4,12,5,13)(6,18,8,16)(7,17)(9,20,10,19),
(1,11)(2,14,5,13)(3,12,4,15)(6,20,9,19)(7,18,8,16)(10,17),
(1,16,10,13,2,19,9,15,3,17,8,12,4,20,7,14,5,18,6,11),"t20n602"],
[(1,10,2,9,3,8,4,7,5,6)(11,19)(12,16)(13,18)(14,20)(15,17),
(1,18,3,16,2,17,5,19)(4,20)(6,12,10,15,7,14,8,11)(9,13),
(1,3,4,2)(6,9,10,7)(11,13)(14,15)(16,20)(17,19),"t20n603"],
[(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,6)(2,9,4,10,5,8,3,7)(11,17,13,20,12,16,15,18)(14,19),
(1,13,5,11,4,14,3,12,2,15)(6,17,9,16,7,20,10,19,8,18),"t20n604"],
[(1,3,5,2,4)(6,8)(9,10)(11,13,14,12)(16,17,19,18),
(1,14,9,18)(2,11,6,17,4,15,10,20,5,12,7,19,3,13,8,16),"t20n605"],
[(6,17)(7,20,10,19)(8,18,9,16),(1,18,13,10,4,20,12,9)(2,17,11,8,3,16,14,6)
(5,19,15,7),(1,12,4,11,2,15,5,14,3,13)(6,19)(7,16)(8,18)(9,20)(10,17),
"t20n606"],[(6,7,8,9,10)(11,15,14,13,12),(6,9)(7,8)(11,14)(12,13),
(1,10,5,6)(2,9,4,7)(3,8)(11,17,14,19,12,16,15,18,13,20),
(1,12,2,15)(3,13,5,14)(4,11)(6,16)(7,20,10,17)(8,19,9,18),"t20n607"],
[(1,9,14,19,2,8,12,17)(3,7,15,20,5,10,11,16)(4,6,13,18),
(1,13,4,12,2,11,5,15,3,14)(6,19)(7,17)(8,20)(9,18)(10,16),
(2,4,5,3)(6,19,10,18)(7,20,9,17)(8,16)(11,14,15,12),"t20n608"],
[(1,17,13,9)(2,18,15,7,5,16,11,6)(3,19,12,10,4,20,14,8),
(1,10,5,8,4,6,3,9,2,7)(11,20,13,19)(12,17)(14,16,15,18),"t20n609"],
[(1,8,11,16,5,9,12,19,3,6,14,20,4,10,13,17)(2,7,15,18),
(1,20,12,7)(2,19,15,10,4,17,11,6,5,16,14,9,3,18,13,8),"t20n610"],
[(1,13,5,11)(2,15,4,14)(3,12)(6,19,9,16)(7,18,8,17)(10,20),
(1,4,3,5)(6,8,7,10)(12,13,15,14)(16,20,18,19),(1,7,4,6)(2,10,3,8)(5,9)
(11,19,15,18,14,17,13,16,12,20),"t20n611"],
[(1,3,4,2)(6,17,9,19,7,16,10,18,8,20)(11,15,12,13),
(1,9,12,16,3,7,13,17,5,10,14,18,2,8,15,19,4,6,11,20),"t20n612"],
[(6,7,8,9,10)(11,13,15,12,14)(16,20,19,18,17),(1,4)(2,3),
(1,8,4,10,2,7,5,9,3,6)(11,19,12,18,13,17,14,16,15,20),
(1,14,3,13,5,12,2,11,4,15)(6,16,9,20,7,19,10,18,8,17),"t20n613"],
[(1,4,2,5,3)(6,8,10,7,9)(11,13,15,12,14)(16,19)(17,18),
(1,16,13,10,4,18,15,8,2,20,12,6,5,17,14,9,3,19,11,7),"t20n614"],
[(6,9,7,10,8)(11,14,12,15,13)(16,17,18,19,20),
(1,10,2,7,3,9,4,6,5,8)(11,20,15,18,14,16,13,19,12,17),
(1,12,2,15)(3,13,5,14)(4,11)(7,10)(8,9),
(1,17,2,18,3,19,4,20,5,16)(6,12,8,14,10,11,7,13,9,15),"t20n615"],
[(1,17,5,16,3,19,4,20)(2,18)(6,11,9,15,8,12,10,13)(7,14),
(1,17,3,19,4,20,2,18)(5,16)(6,15,7,13,9,14,8,11)(10,12),
(1,14,2,13,3,12,4,11,5,15)(6,17)(7,18)(8,19)(9,20)(10,16),"t20n616"],
[(1,11,4,15,3,12,5,13)(2,14)(6,17)(7,20,8,18,10,19,9,16),
(1,16,6,12,4,17,10,15,2,18,9,13,5,19,8,11,3,20,7,14),"t20n617"],
[(1,12,5,15)(2,14,4,13)(3,11)(6,19,7,17)(8,20,10,16)(9,18),
(1,3,2,5)(6,7,10,9)(11,20,15,18,14,16,13,19,12,17),
(1,11,5,12,4,13,3,14,2,15)(6,16,9,19,7,17,10,20,8,18),"t20n618"],
[(1,4)(2,3)(6,7)(8,10)(11,13,14,12)(16,20,17,18),
(1,15,4,13,2,11,5,14,3,12)(6,20)(7,16)(8,17)(9,18)(10,19),
(1,17,2,19,5,20,4,18)(3,16)(6,11,9,13,8,14,10,12)(7,15),"t20n619"],
[(1,10,4,6,2,7,5,8,3,9)(11,17,13,20)(12,16)(14,19,15,18),
(1,16,6,12,3,18,8,15)(2,17,7,11)(4,19,9,14,5,20,10,13),
(1,3,5,2,4)(6,8,10,7,9)(11,13,15,12,14),"t20n620"],
[(1,18,5,20,3,19,4,17)(2,16)(6,14,8,13,7,11,10,12)(9,15),
(1,8,4,7)(2,6,3,9)(5,10)(11,17,12,19,13,16,14,18,15,20),"t20n621"],
[(1,5,4,3,2)(6,7)(8,10)(11,14,15,12)(17,19,20,18),
(1,18,8,13,2,16,10,12,3,19,7,11,4,17,9,15,5,20,6,14),"t20n622"],
[(1,10,15,20,2,7,11,19,3,9,12,18,4,6,13,17,5,8,14,16),
(1,7,13,18,3,9,11,17,5,6,14,16,2,8,12,20,4,10,15,19),
(1,4,3,5)(6,7,10,9)(12,14,15,13)(16,20,17,18),"t20n623"],
[(1,13,4,15,5,14,2,12)(3,11)(6,17,9,19,10,18,7,16)(8,20),
(1,16,7,13,3,18,8,12)(2,17,10,15)(4,19,6,14,5,20,9,11),"t20n624"],
[(1,6,3,10)(2,8)(4,7,5,9)(11,17,13,18,15,19,12,20,14,16),
(1,20,15,8,2,16,12,6,3,17,14,9,4,18,11,7,5,19,13,10),"t20n625"],
[(1,10,3,9)(2,7)(4,6,5,8)(11,16,12,17,13,18,14,19,15,20),
(1,9,4,10)(2,6,3,8)(5,7)(11,18,13,17)(12,20)(14,19,15,16),
(1,18,3,16,4,20,2,17)(5,19)(6,15,9,12,8,13,10,11)(7,14),"t20n626"],
[(1,14)(2,12)(3,15)(4,13)(5,11)(6,16,9,18,7,20,10,17,8,19),
(1,15,4,14)(2,13,3,11)(5,12)(6,17,7,18)(8,19,10,16)(9,20),
(1,8,12,17,4,9,14,20)(2,10,11,18,3,7,15,19)(5,6,13,16),"t20n627"],
[(1,17,4,19)(2,16,3,20)(5,18)(6,12,7,14,8,11,9,13,10,15),
(1,8,3,7)(2,10)(4,9,5,6)(11,18,13,19,15,20,12,16,14,17),"t20n628"],
[(1,12,5,15,4,13,3,11,2,14)(6,19,8,20,10,16,7,17,9,18),
(1,9)(2,7)(3,10)(4,8)(5,6)(11,18,13,17)(12,20)(14,19,15,16),
(1,4,3,5)(6,7,9,8)(12,14,15,13)(16,18,17,20),"t20n629"],
[(1,6,3,10,5,9,2,8,4,7)(11,19,13,17,15,20,12,18,14,16),
(1,9,4,6)(2,8,3,7)(5,10)(11,19,15,20)(12,18,14,16)(13,17),
(1,12,4,14,3,15,5,13)(2,11)(6,20,7,19,9,17,8,18)(10,16),"t20n630"],
[(1,8,14,9,5)(2,7,13,10,6)(3,19,16,12,18)(4,20,15,11,17),
(1,5,10,13,17)(2,6,9,14,18)(3,8,11,15,20)(4,7,12,16,19),
(1,7,3,20,15)(2,8,4,19,16)(5,12,17,13,10)(6,11,18,14,9),"t20n631"],
[(1,17,7,15,3,20,5,13)(2,18,8,16,4,19,6,14)(9,12)(10,11),
(1,10,20,14,2,9,19,13)(3,12,17,15,4,11,18,16)(5,7,6,8),
(1,9,16,6)(2,10,15,5)(3,11,14,7)(4,12,13,8)(17,18),"t20n632"],
[(1,19,2,20)(3,17,4,18)(5,16)(6,15)(7,13)(8,14)(9,12)(10,11),
(1,18,10,14)(2,17,9,13)(3,12,7,19,4,11,8,20)(5,6),
(1,12,2,11)(3,18,19,5)(4,17,20,6)(7,10,16,14)(8,9,15,13),"t20n633"],
[(1,16,7,19,3,14,5,17,2,15,8,20,4,13,6,18)(9,12)(10,11),
(1,17,10,6,4,20,12,8,2,18,9,5,3,19,11,7)(13,16,14,15),
(1,4,2,3)(5,18,16,10,6,17,15,9)(7,19,14,12,8,20,13,11),"t20n634"],
[(1,7,17,15,10)(2,8,18,16,9)(3,5,19,13,12)(4,6,20,14,11),
(1,3,4)(5,17,16,7,18,13)(6,20,14,8,19,15)(9,10,11),"t20n635"],
[(1,19,6,15,2,20,5,16)(3,10,12,18)(4,9,11,17)(7,14,8,13),
(1,12,9,19)(2,11,10,20)(3,17,7,13,4,18,8,14)(5,16,6,15),"t20n636"],
[(1,11,4,19,5,18,7,15,9,14)(2,12,3,20,6,17,8,16,10,13),
(1,19,2,20)(3,12,9,17)(4,11,10,18)(5,14,8,15)(6,13,7,16),"t20n637"],
[(1,20,3,17,5,16,8,13,9,12)(2,19,4,18,6,15,7,14,10,11),
(1,14,7,17)(2,13,8,18)(3,11,6,19,4,12,5,20)(9,15,10,16),"t20n638"],
[(1,20,2,19)(3,6,16,18)(4,5,15,17)(7,10,12,13)(8,9,11,14),
(1,18,14,10,6,2,17,13,9,5)(3,19,16,12,7,4,20,15,11,8),"t20n639"],
[(1,18)(2,17)(3,11,4,12)(5,14)(6,13)(7,8)(15,19)(16,20),
(1,16,17,11,14,7,10,4,5,20,2,15,18,12,13,8,9,3,6,19),
(1,13)(2,14)(3,8,4,7)(5,10)(6,9)(11,20,12,19),"t20n640"],
[(1,18,4,16,2,17,3,15)(5,14,10,19,6,13,9,20)(7,11,8,12),
(1,8,4,10,5)(2,7,3,9,6)(11,18)(12,17)(13,15,14,16),"t20n641"],
[(1,3,6,8,10,12,14,16,18,20)(2,4,5,7,9,11,13,15,17,19),
(1,15,5,20,9,3,14,7,17,12)(2,16,6,19,10,4,13,8,18,11),
(1,8,6,3,10,20,13,16,18,12)(2,7,5,4,9,19,14,15,17,11),"t20n642"],
[(1,15,6,20,8,11,3,18,2,16,5,19,7,12,4,17)(9,14)(10,13),
(1,15,7,20,5,11,10,17)(2,16,8,19,6,12,9,18)(3,14,4,13),"t20n643"],
[(1,10,4,6,2,9,3,5)(7,8)(11,14,18,16,12,13,17,15)(19,20),
(1,16,2,15)(3,14,9,18,4,13,10,17)(5,12,7,20)(6,11,8,19),"t20n644"],
[(1,20,9,15,2,19,10,16)(3,14,8,12)(4,13,7,11)(5,18,6,17),
(1,14,9,15,8,17,5,20,3,12)(2,13,10,16,7,18,6,19,4,11),"t20n645"],
[(1,4,10,8)(2,3,9,7)(5,6)(11,14,17,16,12,13,18,15),
(1,20,3,11,6,14,8,16,10,17)(2,19,4,12,5,13,7,15,9,18),"t20n646"],
[(1,6,9,13,18)(2,5,10,14,17)(3,15,7,19,11,4,16,8,20,12),
(1,15,18,12,13,8,9,3,6,20)(2,16,17,11,14,7,10,4,5,19),"t20n647"],
[(1,19,3,14)(2,20,4,13)(5,18,9,16)(6,17,10,15)(7,12)(8,11),
(1,11,7,17,3,13,10,19,6,15)(2,12,8,18,4,14,9,20,5,16),"t20n648"],
[(1,8,4,9,6)(2,7,3,10,5)(13,14)(19,20),(1,12)(2,11)(3,19,9,13,4,20,10,14)
(5,17,8,16,6,18,7,15),(1,17)(2,18)(3,19)(4,20)(5,12)(6,11)(7,14)(8,13)
(9,15)(10,16),"t20n649"],
[(1,17,10,13,7,20,5,16,3,12)(2,18,9,14,8,19,6,15,4,11),
(1,10,5,7,2,9,6,8)(3,4)(11,20,13,15,12,19,14,16)(17,18),"t20n650"],
[(1,7,10,3,2,8,9,4)(5,6)(11,13,17,16)(12,14,18,15),
(1,18,7,13,5,12,10,16)(2,17,8,14,6,11,9,15)(3,19)(4,20),"t20n651"],
[(1,11,2,12)(3,14,10,20,4,13,9,19)(5,15,7,17)(6,16,8,18),
(1,16,6,17)(2,15,5,18)(3,12,4,11)(7,13,9,20,8,14,10,19),"t20n652"],
[(1,15,5,19,10,4,14,8,18,11)(2,16,6,20,9,3,13,7,17,12),
(1,18,2,17)(5,13,6,14)(7,20)(8,19)(11,16,12,15),"t20n653"],
[(1,13,10,17)(2,14,9,18)(3,8,15,20,12)(4,7,16,19,11),
(1,15,9,4)(2,16,10,3)(5,7,6,8)(11,13,12,14)(17,20,18,19),"t20n654"],
[(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16)(17,18)(19,20),
(1,11,2,12)(3,13,16,9,8,17,19,5)(4,14,15,10,7,18,20,6),
(1,16,9,4,14,19,5,7,18,12)(2,15,10,3,13,20,6,8,17,11),"t20n655"],
[(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16)(17,18)(19,20),
(1,11)(2,12)(3,13,16,9,8,17,19,5)(4,14,15,10,7,18,20,6),
(1,15,9,4,13,20,5,7,17,12)(2,16,10,3,14,19,6,8,18,11),"t20n656"],
[(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16)(17,18)(19,20),
(1,11)(2,12)(3,13,16,9,8,17,19,5)(4,14,15,10,7,18,20,6),
(1,15,9,3,14,20,5,8,18,11,2,16,10,4,13,19,6,7,17,12),"t20n657"],
[(1,19,4,17,9,12,6,14,8,16)(2,20,3,18,10,11,5,13,7,15),
(1,16,5,13,4,17,7,20,9,12,2,15,6,14,3,18,8,19,10,11),
(1,14,8,19)(2,13,7,20)(3,11,10,18)(4,12,9,17)(5,15)(6,16),"t20n658"],
[(1,20,9,18,7,13,4,11)(2,19,10,17,8,14,3,12)(5,16)(6,15),
(1,19,5,13,4,16,10,11)(2,20,6,14,3,15,9,12)(7,17,8,18),"t20n659"],
[(1,9,15,2,7,13)(3,10,11,5,6,12)(4,8,14)(16,18)(19,20),
(1,5,2,3)(6,7,10,9)(11,19,14,17)(12,20,13,16)(15,18),
(1,4)(2,3)(6,16,10,19,9,17,8,20,7,18)(11,13)(14,15),"t20n660"],
[(1,4,2,5,3)(6,11,16)(7,12,19)(8,13,17)(9,14,20)(10,15,18),
(1,7,4,6)(2,10,3,8)(5,9)(11,19,15,16)(12,17,14,18)(13,20),
(1,12,2,15,3,13,4,11,5,14)(6,20,10,18,9,16,8,19,7,17),"t20n661"],
[(1,6,13,16,4,9,12,20)(2,7,11,19,3,8,14,17)(5,10,15,18),
(1,2,4,3)(6,13,19,10,11,17,7,15,16,8,12,18)(9,14,20),
(1,3)(4,5)(6,18,11,7,20,12)(8,17,13,10,16,15)(9,19,14),"t20n662"],
[(1,13,18,5,10,2,14,17,6,9)(3,7,15,20,12,4,8,16,19,11),
(1,8,9,11,17,20)(2,7,10,12,18,19)(3,6,4,5)(13,15,14,16),"t20n663"],
[(1,9,13,19,3,12,15,17)(2,10,14,20,4,11,16,18)(5,6)(7,8),
(1,14,5)(2,13,6)(3,16,8)(4,15,7)(17,19)(18,20),"t20n664"],
[(1,12,16,8)(2,11,15,7)(3,9,13,5)(4,10,14,6)(19,20),
(1,9,6,19,16,2,10,5,20,15)(3,12,7,18,13,4,11,8,17,14),
(1,13,4,15,2,14,3,16)(5,17,11,8,20,9)(6,18,12,7,19,10),"t20n665"],
[(1,5,9)(2,6,10)(3,4)(11,15,20,12,16,19)(13,14)(17,18),
(1,4,18,12,13,7,2,3,17,11,14,8)(5,15,6,16)(9,19)(10,20),
(1,10,14)(2,9,13)(3,11,20)(4,12,19)(5,6)(15,16),"t20n666"],
[(1,18,7,13,6,15,3,11,10,19)(2,17,8,14,5,16,4,12,9,20),
(1,2)(3,6,7,9,4,5,8,10)(11,13,17,19)(12,14,18,20),"t20n667"],
[(1,15,11,3,14,9)(2,16,12,4,13,10)(5,8)(6,7)(17,18)(19,20),
(1,4,2,3)(5,15,12,17,8,13,10,19)(6,16,11,18,7,14,9,20),"t20n668"],
[(1,19,8,14,2,20,7,13)(3,17,5,16,4,18,6,15)(9,10)(11,12),
(1,12,15,18,5,4,10,14,19,7)(2,11,16,17,6,3,9,13,20,8),"t20n669"],
[(1,7,12,14,17,3,6,10,15,19,2,8,11,13,18,4,5,9,16,20),
(1,9,2,12)(3,11,4,10)(5,8,7,6)(13,17,14,20)(15,19,16,18),"t20n670"],
[(1,18,3,20,2,17,4,19)(5,15,12,6,16,11)(7,13,9,8,14,10),
(1,14,12,6,4,15,9,8,2,13,11,5,3,16,10,7),"t20n671"],
[(1,8,10,4,5,11,18,19,14,15,2,7,9,3,6,12,17,20,13,16),
(1,17,6,14,9,2,18,5,13,10)(3,19,11,7,16,4,20,12,8,15),"t20n672"],
[(1,9,3,11,2,10,4,12)(5,6)(7,8)(17,19,18,20),
(1,4,2,3)(5,7,6,8)(9,13,17,10,14,18)(11,16,19,12,15,20),
(1,7,9,3,5,11,2,8,10,4,6,12)(13,14)(15,16)(17,20,18,19),"t20n673"],
[(1,14,8,2,13,7)(3,19,6)(4,20,5)(9,16,12)(10,15,11)(17,18),
(1,2)(3,15,7,19,10,14,4,16,8,20,9,13)(5,18,12,6,17,11),"t20n674"],
[(1,2)(5,8,6,7)(9,15,20,12,13,17,10,16,19,11,14,18),
(1,12,5,2,11,6)(3,10,7)(4,9,8)(13,19)(14,20)(15,18)(16,17),"t20n675"],
[(1,8,13,2,7,14)(3,12,20,9,5,16)(4,11,19,10,6,15)(17,18),
(1,14,5,17,10,2,13,6,18,9)(3,15,7,19,12,4,16,8,20,11),"t20n676"],
[(1,8,16,18,9,3,6,14,19,12,2,7,15,17,10,4,5,13,20,11),
(1,14,8,18,9,3,15,6,19,12,2,13,7,17,10,4,16,5,20,11),"t20n677"],
[(1,8,18,15,2,6,20,14)(3,5,19,16,4,7,17,13)(9,12)(10,11),
(1,10,19,7,14)(2,11,20,5,13,4,12,18,8,15,3,9,17,6,16),"t20n678"],
[(1,4,2,3)(5,15,12,7,13,9,6,16,11,8,14,10)(17,18)(19,20),
(1,16,20,11,4,14,18,10,2,15,19,12,3,13,17,9)(7,8),"t20n679"],
[(1,17,3,20,2,18,4,19)(5,12,7,10,6,11,8,9)(13,14),
(3,4)(5,6)(9,17,13)(10,18,14)(11,19,16,12,20,15),"t20n680"],
[(1,17,9,20)(2,18,10,19)(3,13,6,16,4,14,5,15)(7,11,8,12),
(1,13,7,20,4,15,10,11,6,17)(2,14,8,19,3,16,9,12,5,18),"t20n681"],
[(1,13,9,18,7,4,16,12,19,6)(2,14,10,17,8,3,15,11,20,5),
(1,15,6,3,14,7)(2,16,5,4,13,8)(9,19,10,20)(11,18,12,17),"t20n682"],
[(1,18,8,9,4,20,7,11)(2,17,6,10,3,19,5,12)(13,14),
(1,16)(2,14,3,13,4,15)(5,9,7,10,6,12)(8,11)(17,20,18),"t20n683"],
[(1,2)(5,18,11,15)(6,17,12,16)(7,20,10,14)(8,19,9,13),
(1,16,19,4,13,17)(2,15,20,3,14,18)(5,6)(9,11)(10,12),
(1,18,12,16)(2,17,11,15)(3,19,10,14)(4,20,9,13)(5,6),"t20n684"],
[(1,14,8,19,12,3,16,5,18,9)(2,13,7,20,11,4,15,6,17,10),
(1,9,8,2,10,7)(3,11,5,4,12,6)(13,16,14,15)(17,19,18,20),"t20n685"],
[(1,18,8)(2,17,7)(3,19,6,4,20,5)(9,12,10,11)(15,16),
(1,10,6,18,13)(2,9,5,17,14)(3,11,8,20,16)(4,12,7,19,15),"t20n686"],
[(1,18,8,9)(2,17,7,10)(3,20,6,12)(4,19,5,11)(13,16)(14,15),
(1,9,13)(2,10,14)(3,12,16,4,11,15)(5,7)(6,8)(19,20),"t20n687"],
[(1,14,18,12,4,15,20,9)(2,13,17,11,3,16,19,10)(5,6),(1,9,19,7,14)(2,10,20,8,13)
(3,12,18,6,15)(4,11,17,5,16),"t20n688"],
[(5,9,7,12)(6,10,8,11)(13,17,16,19)(14,18,15,20),
(1,16,11,20,8,3,13,9,18,5)(2,15,12,19,7,4,14,10,17,6),"t20n689"],
[(1,5,13,12,20)(2,6,14,11,19)(3,7,16,9,18,4,8,15,10,17),
(1,19,14,10,7,2,20,13,9,8)(3,17,15,12,6,4,18,16,11,5),"t20n690"],
[(1,3,2,4)(5,9,16,19,7,11,14,17,6,10,15,20,8,12,13,18),
(1,9,4,12,2,10,3,11)(5,19,14,7,18,15)(6,20,13,8,17,16),"t20n691"],
[(1,16,5)(2,15,6)(3,13,7)(4,14,8)(9,19)(10,20)(11,17)(12,18),
(1,19,15,11,2,20,16,12)(3,17,14,9,4,18,13,10)(7,8),"t20n692"],
[(3,15)(4,16)(5,12)(6,11)(7,14)(8,13)(9,19)(10,20)(17,18),
(1,18,8,20,12)(2,17,7,19,11)(3,6,14,16,10,4,5,13,15,9),"t20n693"],
[(3,20,4,19)(5,17,6,18)(7,15)(8,16)(9,13)(10,14),(1,15,2,16)(3,10,7,14,19,18)
(4,9,8,13,20,17)(5,12)(6,11),"t20n694"],
[(1,10,3,12)(2,9,4,11)(5,18,6,17)(7,19,8,20)(13,16)(14,15),
(1,19,6,13,9)(2,18,7,15,11)(3,17,5,16,12)(4,20,8,14,10),"t20n695"],
[(1,10)(2,9,3,8,5,6,4,7)(11,16,14,18,15,17,12,20)(13,19),
(1,19,2,20,4,17,3,16)(5,18)(6,12,8,11,7,14,10,15)(9,13),
(1,17,15,9,4,18,13,10)(2,19,11,6,3,16,12,8)(5,20,14,7),"t20n696"],
[(6,7,8,9,10)(11,15,14,13,12),(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,12,4,14)(2,11,3,15)(5,13)(6,8,7,10)(16,17,19,18),
(1,13,5,11,4,14,3,12,2,15)(6,17,9,16,7,20,10,19,8,18),"t20n697"],
[(1,9)(2,10,3,6,5,8,4,7)(11,14)(12,13)(17,18,20,19),
(1,17,8,14)(2,20,10,13)(3,18,7,12)(4,16,9,11)(5,19,6,15),"t20n698"],
[(1,9,4,10,3,8,5,7)(2,6)(11,19,15,16,13,20,14,18)(12,17),
(1,17,10,13,4,20,9,14,5,16,7,11,2,18,8,15)(3,19,6,12),
(1,9)(2,7,4,8,5,6,3,10)(11,20,15,16,12,19,13,18)(14,17),"t20n699"],
[(1,17,3,18)(2,20)(4,16,5,19)(6,15,9,11,7,12,10,13,8,14),
(1,11,4,15)(2,14,3,12)(5,13)(6,7)(8,10)(16,20,19,18,17),
(1,13,2,12,3,11,4,15,5,14)(6,7,10,9)(16,19,20,17),"t20n700"],
[(1,18,5,17,2,19,3,20)(4,16)(6,11)(7,13,8,15,10,14,9,12),
(1,16,2,18,5,19,4,17)(3,20)(6,14,8,11,7,15,10,13)(9,12),
(2,3,5,4)(6,19,8,17)(7,18)(9,16,10,20)(11,14,15,12),"t20n701"],
[(1,13)(2,12)(3,11)(4,15)(5,14)(6,18,8,16)(7,17)(9,20,10,19),
(1,10,4,8,2,6,5,9,3,7)(11,20,14,16)(12,17,13,19)(15,18),
(1,11)(2,15,3,14,5,12,4,13)(6,18,8,16,9,20,7,17)(10,19),"t20n702"],
[(1,16,8,12,4,17,7,14,2,18,6,11,5,19,10,13,3,20,9,15),
(1,8,5,7)(2,9,4,6)(3,10)(11,13,14,12)(17,19,20,18),
(1,15,4,12,5,11,2,14)(3,13)(6,16,9,19,8,18,10,20)(7,17),"t20n703"],
[(11,12,13,14,15),(1,4)(2,3),(1,9,5,6,4,8,3,10,2,7)(11,17,12,19,13,16,14,18,15,20
),(1,14,2,12,3,15,4,13,5,11)(6,19,7,18,8,17,9,16,10,20),"t20n704"],
[(1,3)(4,5)(6,7)(8,10)(11,12,14,13)(16,18,19,17),(1,13,3,12,2,15,5,11)(4,14)
(6,18,10,16,7,20,8,17)(9,19),(1,19,10,12,5,20,8,15,4,16,6,13,3,17,9,11,2,
18,7,14),"t20n705"],
[(1,16,7,11,5,19,6,15)(2,18,8,12,4,17,10,14)(3,20,9,13),
(1,3)(4,5)(6,10,9,8,7)(11,12,15,14)(17,18,20,19),
(1,9,2,7)(3,10,5,6)(4,8)(11,19,15,20)(12,18,14,16)(13,17),"t20n706"],
[(1,12,10,19,2,13,9,20)(3,14,8,16,5,11,6,18)(4,15,7,17),
(1,11,9,18,2,13,7,17)(3,15,10,16,5,14,6,19)(4,12,8,20),
(1,4,2,5,3)(11,14,15,12)(16,18,19,17),"t20n707"],
[(1,10,5,6,3,8,4,7)(2,9)(11,19,14,17,13,16,15,18)(12,20),
(1,2)(3,5)(6,9)(7,8)(11,15,13,14)(16,18,19,17),(1,18,4,19,3,17,5,16)(2,20)
(6,13,7,11,10,15,9,12)(8,14),"t20n708"],
[(1,16,2,17)(3,18,5,20)(4,19)(6,15,7,12,8,14,9,11,10,13),
(1,10,2,9,3,8,4,7,5,6)(11,19)(12,16)(13,18)(14,20)(15,17),
(1,14,3,12,2,13,5,15)(4,11)(6,19)(7,16,8,18,10,17,9,20),"t20n709"],
[(1,3,5,2,4)(6,10)(7,9)(11,13)(14,15)(16,17,18,19,20),
(1,8,5,10)(2,6,4,7)(3,9)(11,17,13,18)(12,20)(14,16,15,19),
(1,14,10,18,4,12,9,20,2,15,8,17,5,13,7,19,3,11,6,16),"t20n710"],
[(1,19,3,20,2,17,5,16)(4,18)(6,14,9,15,8,13,10,12)(7,11),
(1,6,5,10,4,9,3,8,2,7)(12,15)(13,14)(16,20)(17,19),
(1,7)(2,6,5,8)(3,10,4,9)(11,16,12,18)(13,20,15,19)(14,17),"t20n711"],
[(11,13,14,12)(16,18,19,17),(1,4)(2,3)(11,14)(12,13),
(1,7)(2,6)(3,10)(4,9)(5,8)(11,16,15,17,14,18,13,19,12,20),
(1,20)(2,16,3,17,5,19,4,18)(6,15)(7,14,8,13,10,11,9,12),"t20n712"],
[(1,5)(2,4)(6,9)(7,8)(11,14,12,15,13)(17,20)(18,19),
(1,10,11,16)(2,8,15,19,5,7,12,18)(3,6,14,17,4,9,13,20),
(1,10,3,7,5,9,2,6,4,8)(11,20,14,18)(12,16,13,17)(15,19),"t20n713"],
[(1,20,4,17,5,16,2,19)(3,18)(6,11,8,12,9,15,7,14)(10,13),
(1,13,6,17,5,15,10,19)(2,11,7,20,4,12,9,16)(3,14,8,18),"t20n714"],
[(6,9)(7,8)(11,14)(12,13),(1,3,4,2)(6,8,9,7)(11,12,14,13)(16,18,19,17),
(1,15,2,13,3,11,4,14,5,12)(6,7,8,9,10),(1,18)(2,19)(3,20)(4,16)(5,17)
(6,13)(7,11)(8,14)(9,12)(10,15),"t20n715"],
[(1,18,8,12)(2,19,6,15,5,17,10,14)(3,20,9,13,4,16,7,11),
(1,10,4,9)(2,8,3,6)(5,7)(11,12,15,14)(16,18,17,20),
(1,4,3,5)(6,7,9,8)(16,17,18,19,20),"t20n716"],
[(1,4,5,2)(7,8,10,9)(11,19,14,16,12,18,15,20,13,17),
(1,17,6,11)(2,19,10,13,5,20,7,14)(3,16,9,15,4,18,8,12),
(1,4,2,5,3)(6,8)(9,10)(11,13,14,12)(16,17,20,19),"t20n717"],
[(1,12,4,15)(2,13,3,14)(5,11)(6,16,8,17)(7,19)(9,20,10,18),
(1,5,4,3,2)(6,7,8,9,10)(11,15,12,13)(17,19,20,18),
(1,2)(3,5)(6,7,8,9,10)(11,16,12,18,13,20,14,17,15,19),"t20n718"],
[(1,9,3,6,2,10,5,8)(4,7)(11,16,15,20,13,18,14,19)(12,17),
(1,6,12,16,5,7,11,17,4,8,15,18,3,9,14,19,2,10,13,20),
(1,17,14,8,4,20,12,10,2,18,15,7,5,16,13,9,3,19,11,6),"t20n719"],
[(1,8,5,10,3,9,4,7)(2,6)(11,19,12,18,14,16,13,17)(15,20),
(1,15,9,19,4,12,8,20,3,13,10,18,5,11,6,17)(2,14,7,16),"t20n720"],
[(11,12,14,13)(16,18,19,17),(1,4)(2,3)(11,14)(12,13),
(1,10)(2,6)(3,7)(4,8)(5,9)(11,18)(12,19)(13,20)(14,16)(15,17),
(1,12)(2,14)(3,11)(4,13)(5,15)(6,18,9,19,7,20,10,16,8,17),"t20n721"],
[(1,10,13,20,4,8,15,18,2,6,12,16,5,9,14,19,3,7,11,17),
(1,4)(2,3)(6,17)(7,18,10,16)(8,19,9,20)(11,13,15,12,14),
(1,6,13,17,3,8,11,19)(2,7,12,18)(4,9,15,20,5,10,14,16),"t20n722"],
[(11,14)(12,13)(16,19)(17,18),(1,4)(2,3)(11,13,14,12)(16,17,19,18),
(1,6)(2,8)(3,10)(4,7)(5,9),(1,13,5,15,2,11,3,14)(4,12)(6,20,9,16,8,19,
10,18)(7,17),"t20n723"],
[(6,7,8,9,10)(11,15,14,13,12),(1,3,4,2)(6,8,9,7)(11,13,14,12)(16,18,19,17),
(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),
(1,14)(2,15)(3,11)(4,12)(5,13)(6,8,7,10)(16,17,19,18),"t20n724"],
[(1,5,2,3)(6,9,10,7)(11,12,15,14)(17,19,20,18),
(1,17,15,7,2,19,12,9,3,16,14,6,4,18,11,8,5,20,13,10),
(1,20,5,16,4,17,3,18,2,19)(6,11,10,14,9,12,8,15,7,13),"t20n725"],
[(1,13,9,18,3,14,7,20,5,15,10,17,2,11,8,19,4,12,6,16),
(1,20,4,16,3,19,5,18)(2,17)(6,14,8,12,9,11,7,13)(10,15),
(1,4,2,5,3)(6,8,10,7,9)(12,13,15,14)(16,18,17,20),"t20n726"],
[(1,19,12,10)(2,20,15,8,5,18,14,7)(3,16,13,6,4,17,11,9),
(1,19,14,6,3,18,13,8,5,17,12,10,2,16,11,7,4,20,15,9),
(1,19,15,7,3,20,11,10)(2,17,13,6)(4,18,14,9,5,16,12,8),"t20n727"],
[(1,15,3,12,2,11,5,14)(4,13)(6,17,7,19,10,20,9,18)(8,16),
(1,9,2,7,5,6,4,8)(3,10)(11,19,14,20,15,17,12,16)(13,18),
(1,9,3,8,4,10,2,6)(5,7)(11,18,14,19,13,17,15,16)(12,20),"t20n728"],
[(1,13,3,12)(2,15)(4,14,5,11)(6,20)(7,18)(8,16)(9,19)(10,17),
(1,16)(2,19,5,18)(3,17,4,20)(6,11)(7,13,10,14)(8,15,9,12),
(1,2)(3,5)(6,7,8,9,10)(11,14,15,12)(16,20,18,19),"t20n729"],
[(1,12,2,11)(3,15,5,13)(4,14)(6,19)(7,16,10,17)(8,18,9,20),
(1,19,5,20,3,17,4,16)(2,18)(6,15,9,13,8,12,10,14)(7,11),
(1,3,5,2,4)(6,9,7,10,8)(12,14,15,13)(16,19,20,17),"t20n730"],
[(1,12,4,13,5,15,2,14)(3,11)(6,16,7,18,10,19,9,17)(8,20),
(1,7,12,18,5,10,11,20,3,6,14,19,4,8,15,17)(2,9,13,16),"t20n731"],
[(1,18,6,12,2,19,9,15,5,17,8,14,4,16,10,11)(3,20,7,13),
(1,8,4,7,5,10,2,6)(3,9)(11,15,14,13,12)(16,18)(19,20),"t20n732"],
[(1,6,15,20)(2,10,12,18)(3,9,14,16)(4,8,11,19)(5,7,13,17),
(1,11)(2,14)(3,12)(4,15)(5,13)(6,8)(9,10)(16,17,18,19,20),
(1,16,2,20)(3,19,5,17)(4,18)(6,14,8,12,10,15,7,13,9,11),"t20n733"],
[(11,13,14,12)(16,18,19,17),(1,7)(2,6)(3,10)(4,9)(5,8)(11,18,13,20)(12,19)
(14,16,15,17),(1,20)(2,16,3,17,5,19,4,18)(6,15)(7,14,8,13,10,11,9,12),
"t20n734"],[(1,19)(2,16,4,20,5,17,3,18)(6,14,9,11,8,12,10,15)(7,13),
(1,10,2,8,4,9,3,6)(5,7)(11,19,14,20,13,18,15,17)(12,16),
(1,13,3,14,5,15,2,11,4,12)(6,17)(7,20)(8,18)(9,16)(10,19),"t20n735"],
[(1,20)(2,19,4,17,5,16,3,18)(6,15,7,11,9,13,8,12)(10,14),
(1,7,3,6,4,8,2,9)(5,10)(11,18,14,20,13,16,15,19)(12,17),
(1,16,4,19,2,17,5,20,3,18)(6,15,8,13,10,11,7,14,9,12),"t20n736"],
[(1,8,4,7,2,6,5,10,3,9)(11,14,15,12)(16,18,17,20),
(1,5,4,3,2)(6,9)(7,8)(11,17)(12,20)(13,18)(14,16)(15,19),
(1,14,9,18,3,12,6,16)(2,13,10,17)(4,11,7,20,5,15,8,19),"t20n737"],
[(1,18,8,13,5,20,6,12,4,17,9,11,3,19,7,15,2,16,10,14),
(1,19,2,18)(3,17,5,20)(4,16)(6,11)(7,12,10,15)(8,13,9,14),
(1,10,3,6)(2,8)(4,9,5,7)(11,16,15,17,14,18,13,19,12,20),"t20n738"],
[(1,15,4,13,3,12,5,14)(2,11)(6,16,8,17,9,20,7,19)(10,18),
(1,13,7,16,2,14,8,19,5,12,6,18,4,11,10,20)(3,15,9,17),"t20n739"],
[(1,7,2,6,5,8,4,9)(3,10)(11,18)(12,19,13,20,15,17,14,16),
(1,5,3,4)(6,7,10,9)(11,14,15,12)(16,20,17,18),(2,3,5,4)(6,20)(7,19,10,16)
(8,18,9,17)(12,14,15,13),"t20n740"],
[(11,13,14,12)(16,18,19,17),(1,4)(2,3)(11,14)(12,13),(1,10,3,9,4,6,2,7)(5,8)
(11,20)(12,18,13,16,15,17,14,19),(1,20)(2,16,3,17,5,19,4,18)(6,15)
(7,14,8,13,10,11,9,12),"t20n741"],
[(1,15,5,13)(2,12,4,11)(3,14)(6,17,9,19,7,16,10,18,8,20),
(1,9)(2,7,3,10,5,6,4,8)(11,16,12,17,15,20,14,19)(13,18),
(1,19,3,20,5,16,2,17,4,18)(6,11)(7,14)(8,12)(9,15)(10,13),"t20n742"],
[(11,12,13,14,15),(1,3,4,2)(6,7,9,8)(11,13,14,12)(16,17,19,18),(1,4)(2,3),
(1,9,5,6,4,8,3,10,2,7)(11,17,12,19,13,16,14,18,15,20),
(1,15,4,12)(2,14,3,13)(5,11)(6,16,10,20)(7,17,9,19)(8,18),"t20n743"],
[(1,14,2,13,3,12,4,11,5,15)(6,18,7,20)(8,17,10,16)(9,19),
(1,18,2,20,4,19,3,17)(5,16)(6,13,9,12,8,14,10,15)(7,11),
(1,3)(4,5)(6,7,8,9,10)(11,15,13,14)(16,19,18,20),"t20n744"],
[(1,7,2,8)(3,5,4,6)(9,20)(10,19)(11,18)(12,17)(13,16,14,15),
(1,16,11,6)(2,15,12,5)(3,13)(4,14)(7,19,17,9,8,20,18,10),"t20n745"],
[(1,3,15,8,10)(2,4,16,7,9)(5,17,20,12,13)(6,18,19,11,14),
(1,3,12,14)(2,4,11,13)(5,20,15,9)(6,19,16,10)(7,8)(17,18),"t20n746"],
[(1,13,6,7,10)(2,14,5,8,9)(3,16,17,19,11)(4,15,18,20,12),
(1,10,7,6,4)(2,9,8,5,3)(11,20,17,16,13)(12,19,18,15,14),
(1,12)(2,11)(3,14,4,13)(7,8)(9,20,10,19)(15,16)(17,18),"t20n747"],
[(1,17,12,7)(2,18,11,8)(3,15,4,16)(5,13)(6,14)(19,20),
(1,6,11,16,2,5,12,15)(3,14)(4,13)(7,19,18,10,8,20,17,9),"t20n748"],
[(1,4,16,7,9)(2,3,15,8,10)(5,18,20,11,13)(6,17,19,12,14),
(1,14,6,18,9)(2,13,5,17,10)(3,15,7,19,12,4,16,8,20,11),
(1,20,17,16,13)(2,19,18,15,14)(3,12,10,8,5,4,11,9,7,6),"t20n749"],
[(3,9,4,10)(5,17,6,18)(7,15)(8,16)(11,12)(13,19)(14,20),
(1,6,19,3,8,2,5,20,4,7)(9,13,17,12,16,10,14,18,11,15),"t20n750"],
[(1,14,16,7,19,12,4,5,18,9)(2,13,15,8,20,11,3,6,17,10),
(1,14,16,17,9,11,3,5,7,20)(2,13,15,18,10,12,4,6,8,19),
(1,9,17,16,4,12,20,7,5,13)(2,10,18,15,3,11,19,8,6,14),"t20n751"],
[(1,19,16,6,12,2,18,14,5,9,4,17,15,7,10)(3,20,13,8,11),
(1,13,20,4,14,17,3,15,18,2,16,19)(5,12,8,11)(6,9,7,10),"t20n752"],
[(1,7)(2,6,3,8,4,5)(9,13,18,10,16,20)(11,14,19,12,15,17),
(1,7,11,14,2,6,9,13,3,8,10,16)(4,5,12,15)(17,20,18),"t20n753"],
[(1,13,8,20,9)(2,15,5,19,11,4,14,6,17,10,3,16,7,18,12),
(1,12,6,13,17,2,11,5,14,18)(3,9,8,16,19)(4,10,7,15,20),"t20n754"],
[(1,8,14,19,2,7,13,20)(3,17,4,18)(5,11,9,16,6,12,10,15),
(1,16,6,11,10,8,14,4,18,19,2,15,5,12,9,7,13,3,17,20),"t20n755"],
[(1,12,14,20,2,11,13,19)(3,5,8,10,4,6,7,9)(15,18,16,17),
(1,5,9,13,18)(2,6,10,14,17)(3,8,4,7)(11,20,12,19)(15,16),
(1,9)(2,10)(3,19,4,20)(7,15)(8,16)(11,12)(13,18)(14,17),"t20n756"],
[(1,19,6,15,17,4,13,8,2,20,5,16,18,3,14,7)(9,12,10,11),
(1,4,17,8,5,20,9,16)(2,3,18,7,6,19,10,15)(11,14)(12,13),"t20n757"],
[(1,3,9,19,5,12,18,16)(2,4,10,20,6,11,17,15)(7,14,8,13),
(1,8,17,12,5,3,10,19,2,7,18,11,6,4,9,20)(13,15)(14,16),"t20n758"],
[(1,16,14,7,6,20,17,11,10,3)(2,15,13,8,5,19,18,12,9,4),
(1,14,18,6)(2,13,17,5)(3,16,19,7)(4,15,20,8)(11,12),"t20n759"],
[(7,20)(8,19)(9,10)(11,15)(12,16)(17,18),(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),"t20n760"],
[(1,12,6,7,9,4,13,20,18,16)(2,11,5,8,10,3,14,19,17,15),
(1,5,13,9)(2,6,14,10)(3,4)(7,12,19,15,8,11,20,16),
(1,15,18,19,14,4,10,8,6,12)(2,16,17,20,13,3,9,7,5,11),"t20n761"],
[(1,7)(2,8)(3,13,4,14)(5,19,6,20)(9,11)(10,12)(15,17,16,18),
(1,11,17,15,13,20,9,4,6,8,2,12,18,16,14,19,10,3,5,7),"t20n762"],
[(1,13,4,17,6,12,8,15,9,19)(2,14,3,18,5,11,7,16,10,20),
(1,13,10,16,8,17,6,19,4,12)(2,14,9,15,7,18,5,20,3,11),
(1,6,2,5)(3,4)(7,10,8,9)(11,20,17,15,14,12,19,18,16,13),"t20n763"],
[(1,15,5,20)(2,16,6,19)(3,18)(4,17)(7,11,10,14)(8,12,9,13),
(1,20,4,15,6,12,8,17,9,14)(2,19,3,16,5,11,7,18,10,13),
(1,14,3,15,6,17,7,20,10,11)(2,13,4,16,5,18,8,19,9,12),"t20n764"],
[(1,7)(2,8)(3,18)(4,17)(5,12,6,11)(9,15)(10,16)(13,20,14,19),
(1,15,14,12,6,8,18,4,9,19,2,16,13,11,5,7,17,3,10,20),"t20n765"],
[(1,4,14,19,6,16,17,12,9,8)(2,3,13,20,5,15,18,11,10,7),
(1,16,5,12,10,8,14,4,17,19)(2,15,6,11,9,7,13,3,18,20),
(1,12,6,3,9,16,13,7,18,20)(2,11,5,4,10,15,14,8,17,19),"t20n766"],
[(1,5,8,3,2,6,7,4)(11,15,17,13)(12,16,18,14)(19,20),
(1,16,4,17,2,15,3,18)(5,20,9,14)(6,19,10,13)(7,11,8,12),
(1,10,5,7)(2,9,6,8)(3,4)(11,15,17,14,12,16,18,13),"t20n767"],
[(1,19,2,20)(3,5,15,18,4,6,16,17)(7,10,11,14)(8,9,12,13),
(1,19,17,12,2,20,18,11)(3,6,7,13,4,5,8,14)(9,15)(10,16),
(3,19,16,11,8,4,20,15,12,7)(17,18),"t20n768"],
[(1,16,5,20,10,14,4,18,8,12)(2,15,6,19,9,13,3,17,7,11),
(1,14,4,17,2,13,3,18)(5,11,9,19,6,12,10,20)(7,15)(8,16),
(1,9,3,6)(2,10,4,5)(7,8)(11,15,13,19)(12,16,14,20)(17,18),"t20n769"],
[(1,13,2,14)(3,19,8,12,10,17,6,15)(4,20,7,11,9,18,5,16),
(1,6,3,10,2,5,4,9)(11,16,17,13)(12,15,18,14)(19,20),"t20n770"],
[(1,11)(2,12)(3,9,20,14,4,10,19,13)(5,15,18,7,6,16,17,8),
(1,17,14,10,5,2,18,13,9,6)(3,19)(4,20)(7,16,8,15)(11,12),"t20n771"],
[(1,16,6,12,4,14,10,18,2,15,5,11,3,13,9,17)(7,19)(8,20),
(1,3)(2,4)(5,9)(6,10)(7,8)(11,13,16,17,20,12,14,15,18,19),"t20n772"],
[(1,4,6,7,9,2,3,5,8,10)(11,18)(12,17)(13,16)(14,15)(19,20),
(1,12,5,15,3,14,10,20)(2,11,6,16,4,13,9,19)(7,17)(8,18),"t20n773"],
[(1,12,10,15)(2,11,9,16)(3,5,4,6)(7,18,19,14,8,17,20,13),
(1,8)(2,7)(3,6,11,17)(4,5,12,18)(9,15,13,19,10,16,14,20),"t20n774"],
[(1,20,17,15)(2,19,18,16)(3,13,12,5,4,14,11,6)(7,9)(8,10),
(1,2)(3,15,19,7,4,16,20,8)(5,13,18,9)(6,14,17,10),"t20n775"],
[(1,15)(2,16)(3,13,7,10)(4,14,8,9)(5,19,17,11,6,20,18,12),
(1,8,2,7)(3,5,12,17,4,6,11,18)(9,16,13,20)(10,15,14,19),"t20n776"],
[(1,12,7,13,5,20,9,17)(2,11,8,14,6,19,10,18)(3,15)(4,16),
(1,9,3,6,2,10,4,5)(7,8)(11,18,19,14)(12,17,20,13),"t20n777"],
[(1,6,18,13)(2,5,17,14)(3,4)(7,16,20,12)(8,15,19,11)(9,10),
(1,19,6,12,2,20,5,11)(3,18,7,10,4,17,8,9)(13,15,14,16),"t20n778"],
[(1,14,17,5,2,13,18,6)(7,11,20,15,8,12,19,16)(9,10),
(1,3)(2,4)(5,15,17,11)(6,16,18,12)(7,14,19,9)(8,13,20,10),"t20n779"],
[(19,20),(3,7,11,15,19)(4,8,12,16,20),(1,12,2,11)(3,13)(4,14)(5,15)(6,16)(7,17)
(8,18)(9,20,10,19),(1,17)(2,18)(3,16,4,15)(5,14,6,13)(7,11)(8,12)(9,10)
(19,20),"t20n780"],
[(1,18,3,12,7,20,5,14)(2,17,4,11,8,19,6,13)(9,16)(10,15),
(1,13,2,14)(3,11,4,12)(5,19,6,20)(7,17,10,16)(8,18,9,15),
(1,16,7,12)(2,15,8,11)(3,20)(4,19)(5,18,9,14)(6,17,10,13),"t20n781"],
[(1,7,3,9,5,6,2,8,4,10)(11,12,14,13)(16,18,19,17),
(1,2,3,4,5)(6,16,15,10,18,14,9,20,13,8,17,12,7,19,11),"t20n782"],
[(1,13,2,14,3,15,4,11,5,12)(6,17)(7,18)(8,19)(9,20)(10,16),
(1,18,3,19,5,20,2,16,4,17)(6,11,9,15,7,14,10,13,8,12),
(1,16,12,2,18,15,3,20,13,4,17,11,5,19,14)(6,9,7,10,8),"t20n783"],
[(1,2)(3,5)(6,20,12,9,19,14)(7,18,11,8,16,15)(10,17,13),
(1,16,3,19)(2,20)(4,18,5,17)(7,10)(8,9)(11,14)(12,13),"t20n784"],
[(1,17,13,3,20,14,5,18,15,2,16,11,4,19,12)(6,7,8,9,10),
(1,14,17,8,2,15,18,7)(3,11,19,6,5,13,16,9)(4,12,20,10),
(1,14,3,12)(2,13)(4,11,5,15)(6,10,7,8)(16,17,19,18),"t20n785"],
[(1,10,11,16,3,6,12,18,5,7,13,20,2,8,14,17,4,9,15,19),
(1,18,14,2,17,11)(3,16,13,5,19,12)(4,20,15)(6,10)(7,9),"t20n786"],
[(1,12,7,5,15,8)(2,14,6,4,13,9)(3,11,10)(16,20)(17,19),
(1,14,18)(2,11,16,3,13,19,5,12,20,4,15,17)(6,9,8,10),"t20n787"],
[(1,15,5,14,4,13,3,12,2,11)(6,18,7,17,8,16,9,20,10,19),
(1,19,8)(2,20,9,5,18,7)(3,16,10,4,17,6)(11,13,15,12,14),"t20n788"],
[(1,9,18,5,6,19,2,7,17,3,10,16)(4,8,20)(11,13,14,12),
(1,11,17,4,12,19)(2,13,16,3,15,20)(5,14,18)(6,8)(9,10),"t20n789"],
[(1,5,16,20)(2,6,15,19)(3,7,14,17)(4,8,13,18)(9,12,10,11),
(1,9,18)(2,10,17)(3,12,20,4,11,19)(7,8)(13,16,14,15),"t20n790"],
[(1,4,2,3)(5,9,16,17,8,12,13,19,6,10,15,18,7,11,14,20),
(1,10,5,3,12,7,2,9,6,4,11,8)(13,19)(14,20)(15,18)(16,17),"t20n791"],
[(1,9,7,20,3,12,6,17)(2,10,8,19,4,11,5,18)(15,16),
(1,6,19,14,9,2,5,20,13,10)(3,8,17,16,11)(4,7,18,15,12),
(1,15,2,16)(3,13,4,14)(5,12)(6,11)(7,10)(8,9)(19,20),"t20n792"],
[(1,10,18,4,11,19)(2,9,17,3,12,20)(5,6)(13,14),
(1,2)(3,4)(5,18,14,12,8,20,16,10,6,17,13,11,7,19,15,9),"t20n793"],
[(1,8,13,20,2,7,14,19)(3,10,12,18,4,9,11,17)(5,15)(6,16),
(1,3,5,7,10,11,13,16,18,19)(2,4,6,8,9,12,14,15,17,20),
(1,11,2,12)(3,18,20,6)(4,17,19,5)(7,10,16,14,8,9,15,13),"t20n794"],
[(1,8,18,9,16,3,6,19,12,13)(2,7,17,10,15,4,5,20,11,14),
(1,11,19,5,4,10,17,7)(2,12,20,6,3,9,18,8)(13,14),"t20n795"],
[(1,17,6,2,18,5)(3,19)(4,20)(7,15,12)(8,16,11)(9,13)(10,14),
(1,4,2,3)(5,7,10,16,17,19)(6,8,9,15,18,20)(11,14,12,13),"t20n796"],
[(1,7,14,19)(2,8,13,20)(3,9,12,17,4,10,11,18)(5,15)(6,16),
(1,19,5,4,18,11,9,15,14,7)(2,20,6,3,17,12,10,16,13,8),"t20n797"],
[(1,5,18,9,13,2,6,17,10,14)(3,12,16,7,20)(4,11,15,8,19),
(1,19,17,11,9,8)(2,20,18,12,10,7)(3,14)(4,13)(5,15,6,16),"t20n798"],
[(1,2)(3,4)(5,16,6,15)(7,14,8,13)(9,18,12,20)(10,17,11,19),
(1,3)(2,4)(5,10)(6,9)(7,11)(8,12)(13,17,14,18)(15,19,16,20),
(1,12,8,2,11,7)(3,9,6,4,10,5)(13,18,15,20)(14,17,16,19),"t20n799"],
[(1,20,2,19)(3,18,4,17)(5,13)(6,14)(7,16)(8,15)(9,12,10,11),
(1,15,20,4,13,18)(2,16,19,3,14,17)(5,11)(6,12)(7,10)(8,9),"t20n800"],
[(1,5,20,4,8,17,2,6,19,3,7,18)(9,13)(10,14)(11,16)(12,15),
(1,4)(2,3)(5,9)(6,10)(7,12)(8,11)(15,16)(17,18),"t20n801"],
[(1,17,6,10,2,18,5,9)(7,15,19,11)(8,16,20,12)(13,14),
(1,15,9,11,6,20,2,16,10,12,5,19)(3,18)(4,17)(7,14)(8,13),"t20n802"],
[(1,2)(3,19)(4,20)(5,17)(6,18)(7,16,8,15)(9,14,10,13),
(1,7,14,16,2,8,13,15)(3,5,12,18,4,6,11,17)(9,20,10,19),"t20n803"],
[(1,12,2,11)(3,9,4,10)(5,6)(13,14)(17,18),(1,13,8)(2,14,7)(3,16,6)(4,15,5)
(9,10)(11,12),(1,9,5,2,10,6)(3,11,7,4,12,8)(13,19,14,20)(15,18,16,17),
"t20n804"],[(1,14,12,18,8,4,16,9,19,5)(2,13,11,17,7,3,15,10,20,6),
(1,13,7,11,19,4,16,6,9,18,2,14,8,12,20,3,15,5,10,17),"t20n805"],
[(1,11,17,3,9,19)(2,12,18,4,10,20)(5,16,8,13,6,15,7,14),
(5,9)(6,10)(7,11)(8,12)(13,18,16,19,14,17,15,20),"t20n806"],
[(1,14,19)(2,13,20)(3,16,17,4,15,18)(5,8)(6,7)(9,12)(10,11),
(1,8,16,4,6,13)(2,7,15,3,5,14)(9,11)(10,12)(19,20),
(1,14,10,17,2,13,9,18)(3,16,12,19,4,15,11,20)(5,6),"t20n807"],
[(1,8,9,4,2,7,10,3)(5,16,6,15)(11,18,20,14,12,17,19,13),
(1,15,9,2,16,10)(3,13,18,7,19,11,4,14,17,8,20,12),"t20n808"],
[(3,4)(5,17,8,18)(6,20,7,19)(9,10)(13,14),
(1,12,18,15,7,3,10,17,16,5)(2,11,20,13,6,4,9,19,14,8),"t20n809"],
[(1,9,16,17,3,11,14,19,2,10,15,18,4,12,13,20)(7,8),
(1,5,12,2,6,11)(3,7,10)(4,8,9)(13,15)(14,16)(19,20),
(1,18,5,11,2,17,6,12)(3,20,8,10,4,19,7,9)(13,16)(14,15),"t20n810"],
[(1,7,15,10,3,8,14,12,4,5,16,11)(2,6,13,9)(17,19,20),
(1,13,18,7,2,16,17,6)(3,15,20,5,4,14,19,8)(10,12),"t20n811"],
[(1,10,18,6,14)(2,9,17,5,13)(3,11,19,8,15,4,12,20,7,16),
(1,11,13,17,6,4,10,15,20,8)(2,12,14,18,5,3,9,16,19,7),"t20n812"],
[(1,20,3,18,2,19,5,16)(4,17)(6,14,7,12,10,11,9,13)(8,15),
(1,19,10,11,5,16,9,14,4,18,8,12,3,20,7,15,2,17,6,13),
(1,14,2,11,4,15,3,13)(5,12)(6,20,9,18,8,17,10,19)(7,16),"t20n813"],
[(1,19,8,15,4,17,10,14,3,16,6,11,5,18,9,12)(2,20,7,13),
(1,16,6,11)(2,18,8,14,3,20,10,12,5,19,9,13,4,17,7,15),
(1,10,5,8,3,9,4,6)(2,7)(11,20,12,16,14,18,13,17)(15,19),"t20n814"],
[(11,14)(12,13)(16,19)(17,18),(1,2,4,3)(11,12,14,13),
(1,4)(2,3)(11,13,14,12)(16,18,19,17),(1,8)(2,9)(3,10)(4,6)(5,7)(11,19)
(12,17)(13,20)(14,18)(15,16),(1,16,5,17,2,20,3,19)(4,18)(6,12)(7,13,8,14,10,
11,9,15),"t20n815"],
[(1,15,6,17,3,12,9,20,5,14,7,18,2,11,10,16,4,13,8,19),
(1,7,4,9,2,6,5,8,3,10)(11,17,14,20)(12,18,13,19)(15,16),
(2,5)(3,4)(6,8,10,7,9)(11,13,12,15)(16,19,18,20),"t20n816"],
[(1,2,4,3)(6,9,8,10)(12,15)(13,14)(16,20,19,18,17),(1,9)(2,7,4,8,5,6,3,10)
(11,15,12,13)(16,18,17,20),(1,15,4,11,3,14,5,13)(2,12)(6,16,10,20,7,17,8,18)
(9,19),"t20n817"],
[(1,13,2,15)(3,12,5,11)(4,14)(6,17,9,20,10,16,7,18)(8,19),
(1,16,2,18,4,17,3,20)(5,19)(6,13,7,14,8,15,9,11,10,12),"t20n818"],
[(11,13,14,12)(16,18,19,17),(1,4)(2,3)(11,14)(12,13),(1,9,3,7)(2,8)(4,6,5,10)
(11,14)(12,13)(16,19)(17,18),(1,20)(2,16,3,17,5,19,4,18)(6,15)(7,14,8,13,10,
11,9,12),"t20n819"],
[(1,16,4,17,2,18,5,19,3,20)(6,15,8,11,9,14,7,13)(10,12),
(1,11)(2,12,4,14,5,15,3,13)(6,17,8,18)(7,20)(9,16,10,19),"t20n820"],
[(1,16)(2,18,3,20,5,19,4,17)(6,13)(7,11,8,14,10,15,9,12),
(1,18,6,12)(2,16,9,11)(3,19,7,15)(4,17,10,14)(5,20,8,13),
(1,12,9,17)(2,15,8,19)(3,13,7,16)(4,11,6,18)(5,14,10,20),"t20n821"],
[(1,10,5,9)(2,6,4,8)(3,7)(11,12,13,14,15)(16,20)(17,19),
(1,12,10,17,5,15,6,20)(2,14,9,19,4,13,7,18)(3,11,8,16),
(1,7,4,6,2,10,5,9,3,8)(11,13)(14,15)(16,19)(17,18),"t20n822"],
[(1,11,5,15,4,14,3,13,2,12)(6,16,7,17)(8,18,10,20)(9,19),
(1,18,13,6)(2,16,15,8,3,19,12,10,5,20,11,9,4,17,14,7),"t20n823"],
[(11,13,14,12)(16,18,19,17),(1,9,3,7)(2,8)(4,6,5,10)(11,14)(12,13)(16,19)(17,18),
(1,20)(2,16,3,17,5,19,4,18)(6,15)(7,11,9,13,10,14,8,12),"t20n824"],
[(1,19,15,6,4,18,12,7,2,17,14,8,5,16,11,9,3,20,13,10),
(1,12)(2,13,3,14,5,11,4,15)(6,19,8,16,9,17,7,20)(10,18),"t20n825"],
[(1,12)(2,14,3,11,5,15,4,13)(6,19)(7,20,8,16,10,18,9,17),
(1,14,8,17,3,12,9,16)(2,13,6,19)(4,11,7,18,5,15,10,20),"t20n826"],
[(1,16,8,12)(2,19,6,15,3,17,9,13,5,18,10,14,4,20,7,11),
(1,4,2,5,3)(7,9,10,8)(11,15,14,13,12)(16,17,20,19),"t20n827"],
[(1,11,2,12,5,15,4,14)(3,13)(6,20,9,19,10,17,7,18)(8,16),
(1,10,11,18,2,6,15,20)(3,7,14,17,5,9,12,16)(4,8,13,19),"t20n828"],
[(11,12,14,13)(16,18,19,17),(1,4)(2,3)(11,14)(12,13),
(1,8,5,9,4,10,3,6,2,7)(11,14)(12,13)(16,19)(17,18),
(1,14,10,16)(2,13,6,20)(3,12,7,19)(4,11,8,18)(5,15,9,17),"t20n829"],
[(1,8,11,20)(2,7,14,19,4,10,15,17,5,9,13,16,3,6,12,18),
(1,13)(2,11,5,15)(3,14,4,12)(6,8,9,7)(16,17)(18,20),"t20n830"],
[(1,9,3,6)(2,10)(4,7,5,8)(11,18,13,16,15,19,12,17,14,20),
(1,10,12,19)(2,7,11,18,4,6,14,16,5,8,13,20,3,9,15,17),"t20n831"],
[(1,13,6,19,5,12,10,17,3,15,8,18,4,11,9,20)(2,14,7,16),
(1,14,5,13,4,12,3,11,2,15)(6,18,9,17)(7,16,8,19)(10,20),"t20n832"],
[(1,17,10,14)(2,18,7,11,5,16,8,12)(3,19,9,13,4,20,6,15),
(1,7,2,9,4,8,3,6)(5,10)(11,12,13,14,15)(16,20,18,19),
(1,12,4,13,2,14,5,15,3,11)(6,17,10,18,9,19,8,20,7,16),"t20n833"],
[(16,17,18,19,20),(1,2,4,3)(6,7,9,8),(1,4)(2,3),(1,7,2,9,4,8,3,6)(5,10)
(11,17,12,19,14,18,13,16)(15,20),(1,11)(2,12)(3,13)(4,14)(5,15)(6,16)(7,17)
(8,18)(9,19)(10,20),"t20n834"],
[(11,12,14,13)(16,18,19,17),(1,8,5,9)(2,7,4,10)(3,6)(11,14)(12,13)(16,19)(17,18),
(1,10)(2,6)(3,7)(4,8)(5,9)(11,18)(12,19)(13,20)(14,16)(15,17),
(1,11,8,18,4,14,10,16)(2,12,7,19,3,13,6,20)(5,15,9,17),"t20n835"],
[(6,7,8,9,10),(1,2,4,3)(6,9)(7,8)(11,12,14,13),(1,3,4,2)(6,7,9,8),
(1,10,5,9)(2,6,4,8)(3,7)(11,20,14,16)(12,17,13,19)(15,18),
(1,11,3,15)(2,13)(4,12,5,14)(6,17,7,20)(8,18,10,19)(9,16),"t20n836"],
[(11,14)(12,13)(16,19)(17,18),(1,2,4,3)(11,12,14,13),
(1,4)(2,3)(11,13,14,12)(16,18,19,17),(1,10,3,6,4,9,2,8)(5,7)
(11,17,12,18,14,20,13,19)(15,16),(1,15,5,12,3,11,4,14)(2,13)(6,19,8,17,9,16,
7,18)(10,20),"t20n837"],
[(1,12,5,13,4,14,3,15,2,11)(6,18)(7,17,10,19)(8,16,9,20),
(1,8,5,10,2,6,3,9)(4,7)(11,18)(12,16,14,17,15,20,13,19),
(1,13,5,11,4,14,3,12,2,15)(6,7,8,9,10)(16,18)(19,20),"t20n838"],
[(1,13,3,14,4,12,2,11)(5,15)(6,16,10,17,7,20,8,19)(9,18),
(1,2,4,3)(6,9)(7,8)(11,17,13,18,14,16,12,20)(15,19),"t20n839"],
[(1,12,8,17,4,15,10,20)(2,13,7,18,3,14,6,19)(5,11,9,16),
(1,2,5,4)(6,8,10,7,9)(11,15,12,13)(16,17,18,19,20),"t20n840"],
[(6,7,8,9,10),(1,2,4,3)(6,9)(7,8)(11,12,14,13),(1,3,4,2)(6,7,9,8),
(1,8,2,7,3,6,4,10,5,9)(11,20,14,16)(12,17,13,19)(15,18),
(1,11,3,15)(2,13)(4,12,5,14)(6,17,7,20)(8,18,10,19)(9,16),"t20n841"],
[(11,12,13,14,15),(1,4)(2,3),(1,9,5,6,4,8,3,10,2,7)(11,17,12,19,13,16,14,18,15,20
),(1,11,4,12,2,13,5,14,3,15)(6,10)(7,9),(1,15,4,12)(2,14,3,13)(5,11)
(6,16,10,20)(7,17,9,19)(8,18),"t20n842"],
[(16,17,18,19,20),(1,2,4,3)(6,7,9,8),(1,4)(2,3),(1,6)(2,7)(3,8)(4,9)(5,10)
(11,16)(12,17)(13,18)(14,19)(15,20),(1,11)(2,12)(3,13)(4,14)(5,15)(6,16)(7,17)
(8,18)(9,19)(10,20),"t20n843"],
[(1,10,2,9)(3,17)(4,18)(5,15,6,16)(7,14,8,13)(11,19,12,20),
(1,4,15,8,9,11,13,5,18,19,2,3,16,7,10,12,14,6,17,20),"t20n844"],
[(1,17)(2,18)(3,15,14,6,4,16,13,5)(7,11,8,12)(19,20),
(3,9,14,20)(4,10,13,19)(5,18,15,7,6,17,16,8)(11,12),"t20n845"],
[(1,16,19,14,18,11,6,9,3,7)(2,15,20,13,17,12,5,10,4,8),
(1,16,10,3,18)(2,15,9,4,17)(5,20,14,7,12)(6,19,13,8,11),
(1,7,3,9,15,11,17,14,20,6,2,8,4,10,16,12,18,13,19,5),"t20n846"],
[(1,5,13,9,12,15,3,19,2,6,14,10,11,16,4,20)(7,8)(17,18),
(1,19,8,16,3,2,20,7,15,4)(5,13,11,9,17,6,14,12,10,18),"t20n847"],
[(1,4,16,8,19,12,14,6,18,10)(2,3,15,7,20,11,13,5,17,9),
(1,14,12,3,2,13,11,4)(5,20,16,10)(6,19,15,9)(7,8)(17,18),"t20n848"],
[(3,19)(4,20)(5,8,6,7)(9,13,10,14)(15,17,16,18),
(1,19,7,5,3,2,20,8,6,4)(9,17,15,13,11,10,18,16,14,12),
(1,17,2,18)(3,16,4,15)(5,14)(6,13)(7,11,8,12)(19,20),"t20n849"],
[(1,14,15,17,19)(2,13,16,18,20)(3,5,8,10,11)(4,6,7,9,12),
(3,7,20,6)(4,8,19,5)(9,15,14,18,10,16,13,17)(11,12),"t20n850"],
[(1,2)(3,17,20,15,4,18,19,16)(5,14,7,10)(6,13,8,9)(11,12),
(1,5,17,14,2,6,18,13)(3,12,16,7,4,11,15,8)(9,10),"t20n851"],
[(1,4,6,7,19)(2,3,5,8,20)(9,11,14,16,17,10,12,13,15,18),
(1,17)(2,18)(3,15,13,5)(4,16,14,6)(7,11,8,12)(19,20),"t20n852"],
[(1,7,13,20,16,12,18,4,10,5)(2,8,14,19,15,11,17,3,9,6),
(1,13)(2,14)(3,12,4,11)(5,10,16,19,6,9,15,20)(7,18)(8,17),"t20n853"],
[(1,19,14,6)(2,20,13,5)(3,15,12,10,4,16,11,9)(7,18,8,17),
(1,3,8,6,12,13,17,15)(2,4,7,5,11,14,18,16)(9,10)(19,20),"t20n854"],
[(1,10,17,16)(2,9,18,15)(3,11,19,13)(4,12,20,14)(5,6),
(1,18,9,14,6,3,20,11,16,8)(2,19,10,15,5)(4,17,12,13,7),"t20n855"],
[(1,8,11,19,13,2,7,12,20,14,4,5,10,18,16)(3,6,9,17,15),
(1,12,13)(2,10,14)(3,9,15)(4,11,16)(5,8)(6,7)(18,20,19),"t20n856"],
[(1,17,16,6,2,18,15,5)(7,12,19,9,8,11,20,10),(1,7,3,18,6)(2,8,4,17,5)
(9,11,14,16,20)(10,12,13,15,19),"t20n857"],
[(1,20,13,8,12,3,18,16,7,10)(2,19,15,5,11,4,17,14,6,9),
(1,13,8,20,11,2,16,6,19,9,3,14,5,18,10)(4,15,7,17,12),"t20n858"],
[(1,17,2,18)(3,15,4,16)(5,14,6,13)(7,11)(8,12),(1,13,17,6)(2,14,18,5)(3,4)
(7,12,19,15,8,11,20,16)(9,10),(1,16,6,7)(2,15,5,8)(3,10,19,18,4,9,20,17)
(11,14)(12,13),"t20n859"],
[(1,19,10,15,8,11,5,17,4,14)(2,20,9,16,7,12,6,18,3,13),
(1,17,7,15,9,11,4,13,2,18,8,16,10,12,3,14)(5,20,6,19),"t20n860"],
[(1,13,10,17)(2,14,9,18)(3,20,8,12)(4,19,7,11)(5,6),
(1,11,9,8,6,20,17,4)(2,12,10,7,5,19,18,3)(13,16,14,15),"t20n861"],
[(19,20),(1,2)(3,4)(5,9,17,13)(6,10,18,14)(7,15,19,12,8,16,20,11),
(1,12,2,11)(3,13)(4,14)(5,15)(6,16)(7,17)(8,18)(9,20,10,19),"t20n862"],
[(1,3,10,8,14,19,6,15,2,4,9,7,13,20,5,16)(11,18)(12,17),
(1,16,10,11,6,4,17,8,2,15,9,12,5,3,18,7)(13,20,14,19),"t20n863"],
[(1,18,5,11,8,13,4,19)(2,17,6,12,7,14,3,20)(9,15)(10,16),
(1,9,6,7,2,10,5,8)(15,16),"t20n864"],
[(1,3,14,19,9,7,17,11,2,4,13,20,10,8,18,12)(5,15,6,16),
(1,6,2,5)(3,20)(4,19)(7,16)(8,15)(9,18)(10,17)(11,12),
(1,19,13,3,17,11,6,7)(2,20,14,4,18,12,5,8)(9,16)(10,15),"t20n865"],
[(1,4)(2,3)(5,15,10,8,17,11,14,20,6,16,9,7,18,12,13,19),
(1,9,5,17,2,10,6,18)(3,19,8,12)(4,20,7,11)(15,16),
(1,17,6,10,2,18,5,9)(3,12,8,19)(4,11,7,20)(13,14),"t20n866"],
[(1,16,9,12,18,7,5,3,13,19,2,15,10,11,17,8,6,4,14,20),
(1,14,18,6,2,13,17,5)(3,4)(7,15,19,11,8,16,20,12)(9,10),
(1,11,17,19)(2,12,18,20)(3,13,7,5)(4,14,8,6)(9,16)(10,15),"t20n867"],
[(1,20,17,8,2,19,18,7)(3,10)(4,9)(5,11,14,16)(6,12,13,15),
(1,9,6,17)(2,10,5,18)(3,8,16,12)(4,7,15,11)(19,20),
(1,2)(3,4)(5,17,6,18)(9,14,10,13)(11,12),"t20n868"],
[(1,8,9,4)(2,7,10,3)(5,6)(11,13,12,14)(15,20)(16,19)(17,18),
(1,15)(2,16)(3,14,8,20,10,17,5,11,4,13,7,19,9,18,6,12),"t20n869"],
[(1,8,5,15,10,4,14,11,17,20,2,7,6,16,9,3,13,12,18,19),
(3,4)(5,13,18,9,6,14,17,10)(7,16,19,11)(8,15,20,12),
(1,7,10,19,17,11,5,3,14,15)(2,8,9,20,18,12,6,4,13,16),"t20n870"],
[(1,17,6,10,2,18,5,9)(3,8,20,16)(4,7,19,15)(11,12)(13,14),
(1,8,18,3)(2,7,17,4)(5,11,13,19,6,12,14,20)(9,16,10,15),
(1,9,2,10)(3,15,8,20,11,4,16,7,19,12)(5,6)(13,17,14,18),"t20n871"],
[(7,20)(8,19)(9,10)(11,15)(12,16)(17,18),(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)(7,16,20,12)(8,15,19,11)(13,14),"t20n872"],
[(1,5,10,4,8)(2,6,9,3,7)(11,14,12,13)(15,20,16,19),
(1,7)(2,8)(3,6,4,5)(11,15,14,19)(12,16,13,20),
(1,12,10,15,4,17,6,14)(2,11,9,16,3,18,5,13)(7,20,8,19),"t20n873"],
[(1,2)(3,11)(4,12)(5,18,6,17)(7,8)(9,14,10,13)(15,20,16,19),
(1,10,5,18,2,9,6,17)(3,7,19,15)(4,8,20,16)(11,12)(13,14),
(1,8,14,11)(2,7,13,12)(3,6,15,9)(4,5,16,10)(17,19)(18,20),"t20n874"],
[(7,20)(8,19)(9,10)(11,15)(12,16)(17,18),(1,12)(2,11)(3,13,4,14)(5,15)(6,16)
(7,18,8,17)(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)(7,16,20,12)(8,15,19,11)(13,14),"t20n875"],
[(1,12)(2,11)(3,13,20,10)(4,14,19,9)(5,8,18,15)(6,7,17,16),
(1,11,6,8,9,3,13,20,17,15)(2,12,5,7,10,4,14,19,18,16),
(1,11)(2,12)(3,10)(4,9)(5,8)(6,7)(13,20)(14,19)(15,18,16,17),"t20n876"],
[(1,14,7,20,4,13,9,16)(2,12,6,17,3,15,10,19)(5,11,8,18),
(1,7,12,18,5,9,14,17)(2,10,15,19,4,6,11,16)(3,8,13,20),
(1,11,4,14)(2,12,3,13)(5,15)(7,9,10,8)(16,20,18,19),"t20n877"],
[(2,3,5,4)(6,15,16,7,14,18,9,12,17,8,13,20)(10,11,19),
(1,13)(2,11,3,14,5,15,4,12)(6,19)(7,18,8,17,10,20,9,16),"t20n878"],
[(1,20,13,4,17,14,3,18,12,5,16,11)(2,19,15)(6,8,9,7),
(1,13,9,19,3,11,10,17)(2,12,7,18)(4,15,8,16,5,14,6,20),"t20n879"],
[(1,13,18,2,12,16,5,14,20,4,15,17)(3,11,19)(6,9,10,7),
(1,10,4,8)(2,6,3,7)(5,9)(12,15)(13,14)(16,17,18,19,20),
(1,6)(2,9,5,8)(3,7,4,10)(11,14,13,15)(16,19,18,20),"t20n880"],
[(1,18)(2,20)(3,17)(4,19)(5,16)(6,10,7,8)(11,12,14,13),
(1,16)(2,17)(3,18)(4,19)(5,20)(6,15)(7,11,10,14)(8,12,9,13),
(1,19,13,3,17,11,5,20,14,2,18,12,4,16,15)(6,10)(7,9),"t20n881"],
[(1,16,5,20,4,19,3,18,2,17)(7,10)(8,9)(11,15)(12,14),
(1,16,2,20,3,19,4,18,5,17)(6,12,10,11)(7,13,9,15)(8,14),
(1,11,4,13,2,15,5,12,3,14)(7,10)(8,9)(16,18)(19,20),"t20n882"],
[(1,10,4,9)(2,8,3,6)(5,7)(11,16,15,19)(12,18,14,17)(13,20),
(1,9,13,5,8,12,4,7,11,3,6,15,2,10,14)(17,20)(18,19),"t20n883"],
[(1,10,12,18,5,6,14,17,4,7,11,16,3,8,13,20,2,9,15,19),
(1,4,5,2)(6,15,16,7,12,20,9,11,18,8,14,19)(10,13,17),
(1,5,4,3,2)(6,17,11,10,16,15,9,20,14,8,19,13,7,18,12),"t20n884"],
[(1,8,19,9,2,7,20,10)(3,5,18,11,4,6,17,12)(13,16)(14,15),
(1,5,19,15,2,6,20,16)(3,7,18,13,4,8,17,14)(11,12),
(1,8,10,17,15,3,5,11,20,14)(2,7,9,18,16,4,6,12,19,13),"t20n885"],
[(1,7,20,15,12,3,6,18,13,10)(2,8,19,16,11,4,5,17,14,9),
(1,12,5,4,10,7,2,11,6,3,9,8)(13,20,15,17)(14,19,16,18),
(1,6)(2,5)(3,8)(4,7)(9,18,10,17)(11,19,12,20)(15,16),"t20n886"],
[(1,16,13,7,2,15,14,8)(3,18,11,6)(4,17,12,5)(9,20)(10,19),
(1,9,17,13,2,10,18,14)(3,12,20,8)(4,11,19,7)(5,6),
(1,18,5,14,10,2,17,6,13,9)(3,19,12,8,16)(4,20,11,7,15),"t20n887"],
[(1,17,6,15,10,18,2,13,5,19)(3,11,4,12,9,20,7,14,8,16),
(1,14,5,16,2,19)(3,11,7,18,6,17)(4,12)(8,20,9,13,10,15),"t20n888"],
[(1,9,5,8,4,7,3,6,2,10)(11,15,14,13,12)(16,18,19,17),
(1,13)(2,15,3,12,5,11,4,14)(6,20)(7,18,9,19,10,17,8,16),
(1,16,3,18,5,20,2,17,4,19)(6,14,7,12)(8,15,10,11)(9,13),"t20n889"],
[(1,19,7,13,3,17,6,15,5,20,10,12,2,18,9,14,4,16,8,11),
(1,19,8,12)(2,16,6,11,5,17,10,13)(3,18,9,15,4,20,7,14),
(1,20,4,17,3,18,5,16)(2,19)(6,13,9,15,8,11,10,14)(7,12),"t20n890"],
[(16,17,18,19,20),(1,2,4,3)(6,7,9,8),(1,4)(2,3),(1,6)(2,7)(3,8)(4,9)(5,10),
(1,11)(2,12)(3,13)(4,14)(5,15)(6,16)(7,17)(8,18)(9,19)(10,20),"t20n891"],
[(1,17,8,14,3,19,9,11,4,20,7,12,2,18,6,15)(5,16,10,13),
(2,5)(3,4)(6,9)(7,8)(11,15)(12,14)(16,17,18,19,20),
(1,8)(2,7,3,6,5,9,4,10)(11,14,13,15)(16,18,17,20),"t20n892"],
[(11,13,15,12,14),(1,2,4,3)(6,8,9,7),(1,3,4,2)(6,9)(7,8)(11,13,14,12),
(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),"t20n893"],
[(1,8,12,20,5,7,15,17)(2,9,14,18,4,6,13,19)(3,10,11,16),
(1,12,4,11)(2,15,3,13)(5,14)(6,10)(7,9)(17,20)(18,19),
(1,17,14,7,3,16,11,10)(2,19,15,6)(4,18,12,9,5,20,13,8),"t20n894"],
[(1,15)(2,11,5,14)(3,12,4,13)(6,10,7,8)(16,19,20,17),
(1,13,3,11,2,12,5,14)(4,15)(6,18,10,19,7,17,8,16)(9,20),
(1,9,12,19,4,8,11,18,2,7,15,17,5,6,14,16,3,10,13,20),"t20n895"],
[(1,19,7,11)(2,20,9,12)(3,16,6,13)(4,17,8,14)(5,18,10,15),
(1,6,3,10,4,7,2,8)(5,9)(11,12,13,14,15)(16,18,17,20),
(1,17,3,20)(2,16)(4,19,5,18)(6,11,10,13,9,15,8,12,7,14),"t20n896"],
[(1,8,12,18)(2,9,14,17)(3,10,11,16)(4,6,13,20)(5,7,15,19),
(1,13,2,11,3,14,4,12,5,15)(6,16,8,19)(7,20)(9,18,10,17),
(1,5,3,4)(6,8,9,7)(16,18)(19,20),"t20n897"],
[(1,18,2,17,3,16,4,20,5,19)(6,13,7,11,9,12,8,14)(10,15),
(1,10,4,8)(2,6,3,7)(5,9)(11,15,13,14)(16,20,17,18),"t20n898"],
[(11,13,15,12,14),(1,4)(2,3),(1,10,2,7)(3,9,5,8)(4,6)(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),"t20n899"],
[(1,12,9,17,5,15,10,18,2,14,8,16,3,11,7,20)(4,13,6,19),
(1,17,5,20,3,16,4,18)(2,19)(6,15,10,14)(7,11,9,13)(8,12),"t20n900"]];
TRANSPROPERTIES[20]{[601..900]}:=
[
[40000,0,1,-1,
"1140s0710s020291s058044s0282s1E80s0608s0480"
,[-100,-50,40],[-2100,80],[-500,40,2200],[4,[-1100,-20,400,625,2200,3000]]],
[40000,0,1,-1,
"19C0s0702s0202B180s0546s0282s240118000A080080s0B40"
,[-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,
"1140s0A0291s0644s0282s1D02s0708s0480"
,[-2050,40],[80,2100],[40,500,2200],[4,[-3100,20,625,3000,3200]]],
[40000,0,1,1,
"11s0810s020211s058044s0282s1D02s1720"
,[-100,-40,50],[-2100,-80],[-2200,-40,500],[4,[-3200,-3000,-625,20,400]]],
[40000,0,1,-1,
"1340s0722s039120s03010044000182s1E80s0648s02800080"
,[-1020,-100,-50],[-1040,-100,200],[-1100,-1020,-500,1200]],
[40000,0,1,1,
"1140s0701s020291s0644s0282s1D02s07080004s0280"
,[-2050,40],[80,2100],[40,500,2200],[4,[-3100,20,625,3000,3200]]],
[40000,0,1,-1,
"1140s0702s020191s0644s0282s1E80s06080008s0280"
,[-100,-50,40],[-100,80,200],[-500,40,2200],[29,[100],[1040],[1100]]],
[40000,0,1,-1,
"19C0s0709s039180s044046s0282s1E80s0501180006080080"
,[-1020,-100,-50],[-1040,-100,200],[-1100,-1020,-500,1200]],
[40000,0,1,1,
"11s0B0211s0644s0282s1D02s1720"
,[-100,-40,50],[-2100,-80],[-2200,-40,500],[4,[-5200,-3000,-625,20]]],
[40000,0,1,1,
"1140s0701s020291s0644s0282s25080004s0280"
,[-2050,40],[80,2100],[40,500,2200],[4,[20,625,2200,3000,5100]]],
[40000,0,1,-1,
"1140s0703s0201B1s0644s0282s2508000Cs0280s0B40"
,[-100,-50,40],[-100,80,200],[-500,40,2200],[29,[-1040],[100],[1100]]],
[40000,0,1,1,
"5540s0701s039540s0554s02A2s25080004s0280"
,[-2050,1020],[-1040,2100],[500,1020,5100]],
[40000,0,1,-1,
"5540s0701s03B540s0554s02A2s1E80s06080004s0280s0B40"
,[-1020,-100,-50],[-2100,-1040],[-5100,-1020,-500]],
[40000,0,1,-1,
"19C0s0708s03B180s044046s0282s2401180002080080s0B40"
,[-1020,-100,-50],[-100,200,1040],[-1100,-1020,-500,1200]],
[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,
"19C0s0702s02023180s0546s0282s1D02s060118000A080080s0B40"
,[-100,-50,40],[-100,80,200],[-500,40,200,400]],
[40000,0,1,-1,
"1140s070As0202B1s054044s0282s25080008s0280s0B40"
,[-100,-50,40],[-100,80,200],[-500,40,200,400]],
[40000,0,1,1,
"1140s0744s020291s04020044000282s1D02s0708s0480"
,[-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,
"1140s0745s0202B1s04020044000282s1E80s06080004s0280s0B40"
,[-100,-50,40],[-2100,80],[-500,40,2200],[4,[-1100,-20,400,625,2200,3000]]],
[40000,0,1,1,
"11s0801s020211s0644s0282s1D02s0904"
,[-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,
"1140s0711s0202B1s058044s0282s1E80s06080004s0280s0B40"
,[-100,-50,40],[-2100,80],[-500,40,2200],[4,[-1100,-20,400,625,2200,3000]]],
[40000,0,1,-1,
"1140s0A02B1s0644s0282s2508s0480s0B40"
,[-100,-50,40],[-2100,80],[-500,40,2200],[4,[-100,-20,100,625,3000,4200]]],
[40000,0,1,-1,
"1140s070As020291s054044s0282s1D0280s06080008s0280"
,[-100,-50,40],[-100,80,200],[-500,40,200,400]],
[40000,0,1,-1,
"1340s0723s03B120s03010044000182s25480004800080s0B40"
,[-1020,-100,-50],[-1040,-100,200],[-1100,-1020,-500,1200]],
[40000,0,1,1,
"1140s0745s020291s04020044000282s1D02s07080004s0280"
,[-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,
"1140s0A0291s0644s0282s1E80s0608s0480"
,[-100,-50,40],[-2100,80],[-500,40,2200],[4,[-100,-20,100,625,3000,4200]]],
[40000,0,1,1,
"11s0801s020211s0644s0282s1D02s0904"
,[-2050,40],[80,2100],[40,500,2200],[4,[-3100,20,625,3000,3200]]],
[40000,0,1,1,
"1140s0701s020291s0644s0282s25080004s0280"
,[-2050,40],[80,2100],[40,500,2200],[4,[20,625,2200,3000,5100]]],
[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]]]]],
[40960,0,1,1,
"5540s0302A0s025500010280s0902s2A80"
,[10,20,1080],[20,40,3080],[20,1320,3040,3080]],
[40960,0,1,-1,
"5DC0s030110s020F000283A0s0902s1D0E80s09080080s0B40"
,[-20,-10,160],[-20,40,320],[-20,160,320,640]],
[40960,0,1,-1,
"FFC0s0470s0207000383A0s0902s19E8s030E80s09080080s0B40"
,[-20,-10,1080],[-20,40,1160],[-20,1080,1160,1320]],
[40960,0,1,-1,
"5FC0s031550s0257000A83A0s0902s1501C00020E8s030E80s09080080s0903A040"
,[-20,-10,160],[-20,40,320],[-20,160,320,640]],
[46080,0,1,1,
"1540s024640s0301s020280s0902s08014Cs2A04"
,[30,160],[60,320],[20,480,640]],
[51200,0,1,1,
"5540s0420s020500010280s0654s0202s1908s0302s07A8s0480"
,[-1040,-100,-10],[20,200,1080],[100,1040,1080,1400]],
[51200,0,1,-1,
"5FC0s030170s022F000100A0s0654s0202s1920s0480s06100088s0280"
,[-1040,-100,-10],[-20,200,1080],[-100,1040,1080,1400]],
[51200,0,1,1,
"5540s0302A0s025500010280s0654002202s1908s0302s0C80"
,[-1040,-100,-10],[20,200,1080],[100,1040,1080,1400]],
[51200,0,1,-1,
"5540s0420s0205000102A0s0654s0202s1920s0480s06A8s0480"
,[-1040,-100,-10],[-20,200,1080],[-100,1040,1080,1400]],
[51200,0,1,-1,
"5540s0430s0205000182A0s0654s0202s25A8s0480s0B40"
,[-100,-10,1040],[-20,200,1080],[-100,1040,1080,1400]],
[51200,0,1,-1,
"5FC0s030560s022F000100A0s0656004102s1920s0480s0B80"
,[-1040,-100,-10],[-20,200,1080],[-100,1040,1080,1400]],
[51200,0,1,1,
"5540s0420s020500010280s0654s0202s25A8s0480"
,[-100,-10,1040],[20,200,1080],[100,1040,1080,1400]],
[51200,0,1,-1,
"55s0520s020500010280s0654s0202s1940s030880s1680"
,[-100,-80,10],[-20,160,200],[-100,80,160,800]],
[51200,0,1,1,
"55s0520s020500010280s0654s0202s1948s0302"
,[-100,-10,80],[20,160,200],[80,100,160,800],[210,[20]],[10201,[[[8,10,1001]]]]],
[51200,0,1,1,
"5540s0420s020500010280s0654s0202s1948s030As0C80"
,[-100,-10,80],[20,160,200],[80,100,160,800],[210,[17]],[10201,[[[-10,-8,1001]]]]],
[51200,0,1,1,
"5540s0420s020500010280s0654s0202s1940s0308s0C80"
,[-100,-10,80],[20,160,200],[80,100,160,800],[210,[19]]],
[51200,0,1,-1,
"FFC0s0410s0201s0280A0s067Es0202s2401F8s02080080s0B40"
,[-100,-10,1040],[-20,200,3040],[-3020,-100,1080,1400]],
[51200,0,1,1,
"5540s0420s020500010280s0654s0202s1948s0302s0C80"
,[-100,-10,80],[20,160,200],[80,100,160,800],[210,[17]],[10201,[[[8,10,1001]]]]],
[51200,0,1,1,
"5540s0302A0s021500010280s0654s0202s1908s0302s07080104s0280"
,[-1040,-100,-10],[20,200,1080],[100,1040,1080,1400]],
[51200,0,1,1,
"5540s0420s020500010280s0654s0202s1940s0302s0C80"
,[-100,-10,80],[20,160,200],[80,100,160,800],[210,[19]]],
[51200,0,1,1,
"55s0520s0205000102s0754s0202s1940s0302s1720"
,[-100,-80,10],[20,160,200],[80,100,160,800]],
[51200,0,1,1,
"55s0520s020500010280s0654s0202s1948s030A"
,[-100,-10,80],[20,160,200],[80,100,160,800],[210,[20]],[10201,[[[-10,-8,1001]]]]],
[51200,0,1,-1,
"55C0s0450s0203000281A0s0654s0202s25A8s0480s0B40"
,[-100,-10,1040],[-20,200,1080],[-100,1040,1080,1400]],
[57600,0,1,-1,
"5540154054s0455050002A0s065414020202s0480s0340s1480s06080004010080s0404s0640"
,[-100,-40,-10,40],[-1100,-20,1080],[-100,40,80,120,400,1200]],
[57600,0,1,-1,
"1BC011A044s0433030002A0s0646100102560140000180s022040s1480s06481008010080s040\
4"
,[-100,-40,-10,40],[-20,200,1080],[-100,40,80,120,1400]],
[57600,0,1,1,
"5540154054s045505000280s065414020202s0480s034010s1202s07080004010080"
,[-1050,-40,-10,40],[20,1080,1100],[40,80,100,120,400,1200]],
[57600,0,1,-1,
"1BC011A044s0433030002A0s0646100102560140000180s02204010s1202s07481008010080s0\
404s0640"
,[-100,-40,-10,40],[-20,200,1080],[-100,40,80,120,1400]],
[57600,0,1,-1,
"1BC011A044s041B018003A0s0646100002560140000180s022040s1A01184000090080s0404s0\
640"
,[-100,-10,1040],[-20,200,1080],[-100,40,80,120,1400]],
[57600,0,1,-1,
"1BC011A044s041B018003A0s0646100002560140000180s02204010s120280s05011840000900\
80s0404"
,[-100,-40,10,40],[-20,200,1080],[-100,40,80,120,1400]],
[60000,0,1,-1,
"09C0s0202s0703B0800004s0342s0282s0908s1A01180002080080s0408s0301040040"
,[40,150],[-300,80],[-500,40,600]],
[60000,0,1,1,
"1140s0202s0891s0204s0344s0282s0908s1B08s0480s080104"
,[150,1020],[300,1040],[500,1020,1300]],
[60000,0,1,-1,
"0340s0202s070390200004s0340s0282s0908s1480s0648s02800080s0408s030104"
,[40,150],[-300,80],[-500,40,600]],
[61440,0,1,1,
"5540s02540020s020500010280s0902000280s05054010s0E08s0302s0C80s0410"
,[-20,-10,1080],[20,40,1160],[20,160,320,480,1080],[4,[-20,-5,20,640,1240,1480,1960,4160]]],
[61440,0,1,1,
"5540s0254s045500100280s0902s08054010s120As0C80"
,[-2010,160],[320,2020],[20,640,2160],[4,[-2040,-5,320,1280,2080,2960]]],
[61440,0,1,-1,
"57C0s0254s045F00100380s0902s0240s0210s02054010s0A0140002008s02080Es0C80s0450s\
0580"
,[10,20,160],[-20,40,320],[-20,160,320,640]],
[61440,0,1,1,
"5540s02540020s020500010280s0902000280s05054010s1F80s0410"
,[-20,-10,1080],[20,40,1160],[20,160,320,480,1080],[4,[5,640,1020,1240,1480,1960,4160]]],
[61440,0,1,1,
"5540s025402A0s021500010280s09020002800010s03014010s0E48s0302s0C80s0410"
,[-20,-10,1080],[20,40,1160],[20,160,320,480,1080],[10201,[[[-8,-2,8,1001]]]]],
[61440,0,1,-1,
"5740s0254s040F000203A0s0902s0240s0210s020540s130480s0B80s0404"
,[10,20,160],[-20,40,320],[-20,160,320,640]],
[61440,0,1,1,
"5540s0254s045500100280s0902s08054010s120As0C80"
,[-1010,10,160],[320,2020],[20,640,2160]],
[61440,0,1,-1,
"5DC0s02020110s020F000283A0s0902s0908s1E080080s09040040"
,[30,1080],[-60,1160],[-20,1240,1320]],
[61440,0,1,-1,
"5540s02540150s0255001A82A0s0902s08054010s0A15400420A8s02080A80s0B80s031054s04\
0280"
,[-20,-10,160],[-2020,320],[-20,160,320,640]],
[61440,0,1,-1,
"5540s02540030s0205000182A0s0902000280s05054040s1F80s031004s0640"
,[-20,-10,1080],[-20,40,1160],[-20,160,320,480,1080]],
[61440,0,1,1,
"5540s0254s045500100280s0902s08054010s0C02A008s030As0C80s045008s0420"
,[10,20,160],[320,2020],[20,160,320,640]],
[61440,0,1,-1,
"57C0s034170s020F000B82A0s0902s0202s06060180s0D20s0480s0B80s03010020"
,[-120,-10,60],[-20,120,240],[-60,80,120,160,240,480]],
[61440,0,1,-1,
"1FC0s0244s045F001283A0s0902000140s0210s02014010s120E80s0908s0624"
,[10,20,160],[-20,40,320],[-20,160,320,640],[22,[-1010],[10],[160]]],
[61440,0,1,1,
"5540s0340A0s021500050280s0902s0202s06040080s0D08s0302s0C80s048040"
,[-120,-10,60],[20,120,240],[60,80,120,160,240,480]],
[61440,0,1,-1,
"5540s02541550000555001A82A0s0902s08054150s0A01400020A8s030A80s0B80s02015054s0\
640"
,[-20,-10,160],[-2020,320],[-20,160,320,640]],
[61440,0,1,1,
"5540s0202s0405s020280s0902s0908s130As0C80s0408s0404"
,[30,160],[60,320],[20,480,640]],
[61440,0,1,1,
"5540s0254s045500100280s0902s08054010s0A0280002008s02800As0C80s0450s0401"
,[-20,-10,160],[20,40,320],[20,160,320,640]],
[61440,0,1,-1,
"5FC0s0254s045700100380s0902000140s0505C010s0B40002028s030Es0A080080s0450"
,[10,20,160],[-20,40,320],[-20,160,320,640]],
[61440,0,1,1,
"5540s025402A0s025500110280s09020002800010s03014010s0E48s030As0C80s0410"
,[-20,-10,1080],[20,40,1160],[20,160,320,480,1080],[10201,[[[-1008,-2,1001]]]]],
[61440,0,1,1,
"1540s0244s045500100280s0902s0280s05014010s0A028002A048s02800As0C80s045008s030\
120"
,[-20,-10,160],[20,40,320],[20,160,320,640],
[10204,[[[-3016,192,1032],[-1016,96,1016],[-1008,-24],[-4,
1],[96,1032],[192,384,3096],[384,768,3192],
[512,2256]]]]],
[61440,0,1,-1,
"5540s0202s0405s0203A0s0902s0908s130480s0B80s0904"
,[30,160],[-60,320],[-20,480,640]],
[61440,0,1,-1,
"1FC0s0244s045F00100380s0902000140s0210s0201C010s0A014002A028s02080Es0A08s0650\
08s04A0"
,[10,20,160],[-20,40,320],[-20,160,320,640],
[10204,[[[-24,1008],[-4,1],[96,1032],[96,3016],[192,384,
3096],[192,1032,3016],[384,768,3192],
[512,1128,1256]]]]],
[61440,0,1,1,
"5540s0254s045500100280s0902s0280s05054010s0B80002048s030As0C80s0450"
,[-20,-10,160],[20,40,320],[20,160,320,640]],
[61440,0,1,-1,
"5540s02540110s0207000283A0s0902s0420s030540s2080s034004s0640"
,[-20,-10,160],[-20,40,320],[-20,160,320,640]],
[61440,0,1,1,
"1540s0244s045500100280s0902s0280s05014010s0A028002A048s02800As0C80s045008s030\
120"
,[-20,-10,160],[20,40,320],[20,160,320,640],
[10204,[[[-3016,192,1032],[-1016,96,1016],[-1008,-24],[-4,
1],[96,1032],[192,384,3096],[384,768,3192],
[512,1128,1256]]]]],
[61440,0,1,-1,
"5540s02540040s020D000283A0s0902s0510s020540s130480s0B80s031004"
,[-20,-10,160],[-20,40,320],[-20,160,320,640]],
[61440,0,1,1,
"5540s0254s0405s020280s0902s080540s2080"
,[-2010,160],[320,2020],[20,640,2160],[4,[5,320,1280,2040,2080,2960]]],
[61440,0,1,-1,
"5DC0s0254s040Fs0283A0s09020001s0310s020540s1E080080s0420"
,[10,20,160],[-20,40,320],[-20,160,320,640]],
[61440,0,1,-1,
"1B80s0244s045F00100380s0902000140s0210s02018010s0A014002A028s02080Es0A08s0650\
08s04A0"
,[10,20,160],[-20,40,320],[-20,160,320,640],
[10204,[[[-24,1008],[-4,1],[96,1032],[96,3016],[128,512,
1064,1256],[192,384,3096],[192,1032,3016],
[384,768,3192]]]]],
[61440,0,1,-1,
"1FC0s0244s041F000283A0s0902000140s0210s02014010s120680s0908s0624"
,[10,20,160],[-20,40,320],[-20,160,320,640],[22,[10],[160],[1010]]],
[61440,0,1,-1,
"FFC0s036070s020700038380s0902s0206s06060180s1C080080"
,[10,60,120],[-20,120,240],[-60,80,120,160,2240]],
[61440,0,1,-1,
"5540s02540030s0205000182A0s0902000280s05054040s0E20s0480s0B80s031004"
,[-20,-10,1080],[-20,40,1160],[-20,160,320,480,1080]],
[61440,0,1,1,
"5540s0340s0305s020280s0902s0904s2080"
,[30,160],[60,320],[20,480,640]],
[80000,0,1,-1,
"19C0s070As02039180s044046s0282s1D0280s050118000A080080"
,[-100,-50,40],[-100,80,200],[-500,40,200,400]],
[80000,0,1,-1,
"19C0s070As0203B180s044046s0282s240118000A080080s0B40"
,[-100,-50,40],[-100,80,200],[-500,40,200,400],[4,[-100,-20,100,400,625,1000,2000,2200]]],
[80000,0,1,-1,
"1140s0710s0202B1s058044s0282s1701400002s0202s0708s0480s0B40"
,[-100,-50,40],[-100,80,200],[-500,40,200,400]],
[80000,0,1,1,
"11s0854s020211s04028044000282s1D02s1720"
,[-100,-40,50],[-2100,-80],[-2200,-40,500]],
[80000,0,1,-1,
"19C0s070Bs02039180s044046s0282s1E80s050118000E080080"
,[-100,-50,40],[-100,80,200],[-500,40,200,400]],
[80000,0,1,-1,
"19C0s070As0203B180s044046s0282s1D02s060118000A080080s0B40"
,[-100,-50,40],[-100,80,200],[-500,40,200,400],[4,[-1100,-20,200,625,1000,1400,2000]],
[10203,[[[-3020,-1010,100],[-1004,-10,-2,20],[-125,-100,-50,
25,200],[1020,1100,3040]]]]],
[80000,0,1,1,
"1140s0755s020291s04028044000282s1D02s07080004s0280"
,[-2050,40],[80,2100],[40,500,2200],[4,[-1100,20,625,3000,4200]]],
[80000,0,1,-1,
"1140s074Cs0203B1s04024044000282s1D02s0708s0480s0B40"
,[-100,-50,40],[-100,80,200],[-500,40,200,400]],
[80000,0,1,1,
"5540s0701s02029540s0554s02A2s1D02s07080004s0280"
,[-2050,40],[80,2100],[40,500,2200],[4,[-3100,20,625,3000,3200]]],
[80000,0,1,-1,
"19C0s0746s0202B180s03020046000282s1D02s060118000A080080s0B40"
,[-100,-50,40],[-100,80,200],[-500,40,200,400]],
[80000,0,1,-1,
"1140s0755s0202B1s04028044000282s1E80s06080004s0280s0B40"
,[-100,-50,40],[-2100,80],[-500,40,2200]],
[80000,0,1,-1,
"1140s0754s020291s04028044000282s1E80s0608s0480"
,[-100,-50,40],[-2100,80],[-500,40,2200]],
[80000,0,1,1,
"11s0855s020211s04028044000282s1D02s0904"
,[-2050,40],[80,2100],[40,500,2200],[4,[20,625,3000,5200]]],
[80000,0,1,1,
"1140s0755s020291s04028044000282s1D02s07080004s0280"
,[-2050,40],[80,2100],[40,500,2200],[4,[-1100,20,625,3000,4200]]],
[80000,0,1,-1,
"1140s0754s0202B1s04028044000282s2508s0480s0B40"
,[-100,-50,40],[-2100,80],[-500,40,2200]],
[80000,0,1,-1,
"19C0s071As0203B180s04C046s0282s1D02s060118000A080080s0B40"
,[-100,-50,40],[-100,80,200],[-500,40,200,400],[4,[-1100,-20,200,625,1000,1400,2000]],
[10203,[[[-3020,-1010,100],[-1004,-10,-2,20],[-125,-100,-50,
25,200],[80,1020,1040,1100]]]]],
[80000,0,1,1,
"1140s0755s020291s04028044000282s1D02s07080004s0280"
,[-2050,40],[80,2100],[40,500,2200],[4,[-1100,20,625,3000,4200]]],
[80000,0,1,-1,
"5540s0703s0201B540s0554s02A2s1E80s0608000Cs0280s0B40"
,[-100,-50,40],[-100,80,200],[-500,40,2200]],
[80000,0,1,-1,
"1140s0710s020291s058044s0282s1701400002s020280s0608s0480"
,[-100,-50,40],[-100,80,200],[-500,40,200,400]],
[80000,0,1,-1,
"19C0s070Bs0203B180s044046s0282s1E80s050118000E080080s0B40"
,[-100,-50,40],[-100,80,200],[-500,40,200,400]],
[80000,0,1,-1,
"1140s0766s020391s04030044000382s1D0280s0608s0480"
,[-100,-50,40],[-100,80,200],[-500,40,200,400]],
[80000,0,1,-1,
"1340s0732s02039120s03018044000182s1D0280s06480008800080"
,[-100,-50,40],[-100,80,200],[-500,40,200,400],[4,[-1100,-20,200,625,1000,1400,2000]],
[10203,[[[-3020,-1010,100],[-1004,-10,-2,20],[-125,-100,-50,
25,200],[80,1020,1040,1100]]]]],
[80000,0,1,-1,
"1340s074Fs0203B120s03024044000282s1D0280s0648000C800080s0B40"
,[-100,-50,40],[-100,80,200],[-500,40,200,400]],
[80000,0,1,-1,
"1340s0722s0203B120s03010044000182s1D02s07480008800080s0B40"
,[-100,-50,40],[-100,80,200],[-500,40,200,400]],
[80000,0,1,1,
"11s0854s020211s04028044000282s1D02s1720"
,[-100,-40,50],[-2100,-80],[-2200,-40,500]],
[80000,0,1,1,
"1140s0754s020291s04028044000282s1D02s0708s0480"
,[-2050,40],[80,2100],[40,500,2200],[4,[-1100,20,625,3000,4200]]],
[80000,0,1,-1,
"5FC0s072Bs03B5E0s030140560001A2s1E80s0501580006880080s0B40"
,[-1020,-100,-50],[-1040,-100,200],[-1100,-1020,-500,1200]],
[80000,0,1,-1,
"1BC0s0711s0203B1A0s048046s0282s1D0280s0501580006880080s0B40"
,[-100,-50,40],[-100,80,200],[-500,40,200,400]],
[80000,0,1,-1,
"1340s0722s02039120s03010044000182s1E80s06480008800080"
,[-100,-50,40],[-100,80,200],[-500,40,200,400],[4,[-100,-20,100,400,625,1000,2000,2200]]],
[80000,0,1,-1,
"1340s0723s0203B120s03010044000182s1E80s0648000C800080s0B40"
,[-100,-50,40],[-100,80,200],[-500,40,200,400]],
[80000,0,1,-1,
"19C0s0767s0203B180s03030046000382s1D0280s050118000E080080s0B40"
,[-100,-50,40],[-100,80,200],[-500,40,200,400]],
[80000,0,1,-1,
"5540s0701s0202B540s0554s02A2s1E80s06080004s0280s0B40"
,[-100,-50,40],[-2100,80],[-500,40,2200]],
[80000,0,1,1,
"55s0B021540s0554s02A2s1D02"
,[-2050,40],[80,2100],[40,500,2200],[4,[20,625,3000,5200]]],
[80000,0,1,1,
"1140s0755s020291s04028044000282s1D02s07080004s0280"
,[-2050,40],[80,2100],[40,500,2200],[4,[-1100,20,625,3000,4200]]],
[80000,0,1,1,
"1140s0754s020291s04028044000282s1D02s0708s0480"
,[-2050,40],[80,2100],[40,500,2200],[4,[20,625,3000,5200]]],
[80000,0,1,1,
"55s0B021540s0554s02A2s1D02s1720"
,[-100,-40,50],[-2100,-80],[-2200,-40,500]],
[80000,0,1,1,
"1140s0744s020291s04020044000282s1502s034080s0202s0708s0480s0A20"
,[-100,-50,-40],[-100,-80,200],[-200,-40,400,500]],
[80000,0,1,-1,
"1340s0723s0203B120s03010044000182s2548000C800080s0B40"
,[-100,-50,40],[-100,80,200],[-500,40,200,400]],
[80000,0,1,1,
"1140s0755s020291s04028044000282s1D02s07080004s0280"
,[-2050,40],[80,2100],[40,500,2200],[4,[-1100,20,625,3000,4200]]],
[80000,0,1,1,
"5540s0701s02029540s0554s02A2s1D02s07080004s0280"
,[-2050,40],[80,2100],[40,500,2200],[4,[-1100,20,625,3000,4200]]],
[80000,0,1,1,
"1140s0755s020291s04028044000282s1D02s07080004s0280"
,[-2050,40],[80,2100],[40,500,2200],[4,[20,625,3000,5200]]],
[80000,0,1,-1,
"1340s0746s02029120s03020044000282s1D0280s06480008800080"
,[-100,-50,40],[-100,80,200],[-500,40,200,400]],
[80000,0,1,-1,
"1140s073Bs0202B1s0401C044000182s1D0280s0608000Cs0280s0B40"
,[-100,-50,40],[-100,80,200],[-500,40,200,400]],
[80000,0,1,1,
"1140s0744s020291s04020044000282s150880s024200400002s0708s0480s0A20"
,[-100,-50,-40],[-100,-80,200],[-200,-40,400,500]],
[80000,0,1,-1,
"1340s0722s02039120s03010044000182s1D0280s06480008800080"
,[-100,-50,40],[-100,80,200],[-500,40,200,400],[4,[-1100,-20,200,625,1000,1400,2000]],
[10203,[[[-3020,-1010,100],[-1004,-10,-2,20],[-125,-100,-50,
25,200],[1020,1100,3040]]]]],
[80000,0,1,1,
"1140s0754s020291s04028044000282s1D02s0708s0480"
,[-2050,40],[80,2100],[40,500,2200],[4,[20,625,3000,5200]]],
[80000,0,1,1,
"1140s0755s020291s04028044000282s1D02s07080004s0280"
,[-2050,40],[80,2100],[40,500,2200],[4,[20,625,3000,5200]]],
[80000,0,1,1,
"5540s0701s02029540s0554s02A2s25080004s0280"
,[-2050,40],[80,2100],[40,500,2200],[4,[20,625,2200,3000,5100]]],
[80000,0,1,1,
"11s0855s020211s04028044000282s1D02s0904"
,[-2050,40],[80,2100],[40,500,2200],[4,[20,625,3000,5200]]],
[81920,0,1,-1,
"5540s0302B0s0257000383A0s0902s1501400040A0s0480s0B80"
,[-20,-10,1080],[-20,40,1160],[-20,1080,1160,1320]],
[81920,0,1,1,
"5540s0302A0s025500010280s0902s182048s030As0C80"
,[10,20,1080],[20,40,1160],[20,1080,1160,1320]],
[81920,0,1,-1,
"7FC0s0317F0s025F000B82A0s0902s2A80s0B40"
,[-20,-10,1080],[-20,40,3080],[-20,1320,3040,3080]],
[81920,0,1,1,
"5540s0302A0s025500010280s0902s168000A048s0302s0C80"
,[-20,-10,1080],[20,40,1160],[20,1080,1160,1320]],
[81920,0,1,-1,
"FFC0s0307F0s027F00038380s0902s28080080"
,[10,20,1080],[-20,40,3080],[-20,1320,3040,3080]],
[81920,0,1,-1,
"55C0s0302F0s0257000383A0s0902s1640s02A0s0304s0C80"
,[10,20,1080],[-20,40,1160],[-20,1080,1160,1320]],
[81920,0,1,1,
"5540s030AA0s025500050280s0902s2A80"
,[-20,-10,1080],[20,40,3080],[20,1320,3040,3080]],
[92160,0,1,-1,
"1740s024640s030B000203A0s0902s0240s0210s02014Cs130480s1004s0404"
,[30,160],[-60,320],[-20,480,640]],
[92160,0,1,1,
"1540s024640s0315s020280s0902s0212s05014C1080s1102s1108s0404"
,[30,160],[60,320],[20,480,640]],
[92160,0,1,-1,
"1DC0s024640s030Bs0283A0s09020001s0310s02014Cs1E08s0620s0404"
,[30,160],[-60,320],[-20,480,640]],
[102400,0,1,-1,
"5540s0302B0s0255000182A0s0654002202s1920s0480s06A80104s0280s0B40"
,[-1040,-100,-10],[-20,200,1080],[-100,1040,1080,1400]],
[102400,0,1,-1,
"5FC0s030570s022F000102A0s0656004102s1920s0480s06B80088s0280"
,[-1040,-100,-10],[-20,200,1080],[-100,1040,1080,1400]],
[102400,0,1,1,
"5540s0420s020500010280s0654s0202s1940s030As07A8s0480s0A20"
,[-100,-80,10],[20,160,200],[80,100,160,800]],
[102400,0,1,-1,
"5540s0420s020500010280s0654s0202s1940s030A80s06A8s0480s0A80"
,[-100,-80,10],[-20,160,200],[-100,80,160,800]],
[102400,0,1,-1,
"5540s0420s0205000103A0s0654s0202s19A0s030480s06A8s0480"
,[-100,-10,80],[-20,160,200],[-100,80,160,800],[22,[-100],[-10],[1040]]],
[102400,0,1,1,
"5540s0302A0s025500010280s0654002202s1908s0302s07A80104s0280"
,[-1040,-100,-10],[20,200,1080],[100,1040,1080,1400]],
[102400,0,1,1,
"5540s0420s020500010280s0654s0202s1948s030As07A8s0480"
,[-100,-10,80],[20,160,200],[80,100,160,800],[210,[17]]],
[102400,0,1,-1,
"5540s0430s0205000182A0s0654s0202s1940s030As07A8s0480s0B40"
,[-100,-10,80],[-20,160,200],[-100,80,160,800],[210,[19]]],
[102400,0,1,1,
"5540s0302A0s021500010280s0654s0202s1948s030As07080104s0280"
,[-100,-10,80],[20,160,200],[80,100,160,800]],
[102400,0,1,1,
"5540s0302A0s025500010280s0654002202s1948s0302s0C80"
,[-100,-10,80],[20,160,200],[80,100,160,800],[10201,[[[8,10,1001]]]]],
[102400,0,1,-1,
"5540s0430s0205000183A0s0654s0202s19A0s0304s07A8s0480s0B40"
,[-100,-10,80],[-20,160,200],[-100,80,160,800],[22,[-100],[-10],[1040]]],
[102400,0,1,1,
"5540s0420s020500010280s0654s0202s1940s030As07A8s0480"
,[-100,-10,80],[20,160,200],[80,100,160,800],[210,[19]]],
[102400,0,1,1,
"5540s0302A0s025500010280s0654002202s1948s030As0C80"
,[-100,-10,80],[20,160,200],[80,100,160,800],[10201,[[[-10,-8,1001]]]]],
[102400,0,1,1,
"5540s0420s020500010280s0654s0202s1948s030As07A8s0480"
,[-100,-10,80],[20,160,200],[80,100,160,800],[210,[20]]],
[102400,0,1,1,
"5540s0302A0s021500010280s0654s0202s1948s030As07080104s0280"
,[-100,-10,80],[20,160,200],[80,100,160,800]],
[102400,0,1,-1,
"55s0402A0s025500010280s0654002202s1940s030880s1680"
,[-100,-80,10],[-20,160,200],[-100,80,160,800]],
[102400,0,1,-1,
"5FC0s030570s022F000182A0s0656004102s1908s0302s07B80088s0280s0B40"
,[-1040,-100,-10],[-20,200,1080],[-100,1040,1080,1400]],
[102400,0,1,-1,
"5540s0302A0s021500010280s0654s0202s1940s030A80s06080104s0D80"
,[-100,-80,10],[-20,160,200],[-100,80,160,800]],
[102400,0,1,1,
"5540s0302A0s021500010280s0654s0202s1940s030As07080104s0D20"
,[-100,-80,10],[20,160,200],[80,100,160,800]],
[102400,0,1,-1,
"5540s0420s0205000103A0s0654s0202s19A8s030680s06A8s0480"
,[-100,-10,80],[-20,160,200],[-100,80,160,800],[22,[-1040],[-100],[-10]]],
[102400,0,1,-1,
"5540s0420s0205000102A0s0654s0202s1960s030A80s06A8s0480"
,[-100,-10,80],[-20,160,200],[-100,80,160,800],[210,[20]]],
[102400,0,1,-1,
"FFC0s0470s0207000383A0s067Es0202s1928s030280s0501F8s02080080"
,[-1040,-100,-10],[-20,200,1080],[-100,1040,1080,1400]],
[102400,0,1,1,
"55s0402A0s0255000102s0754002202s1940s0302s1720"
,[-100,-80,10],[20,160,200],[80,100,160,800]],
[102400,0,1,-1,
"5540s0430s0205000182A0s0654s0202s1960s030A80s06A8s0480s0B40"
,[-100,-10,80],[-20,160,200],[-100,80,160,800],[210,[17]]],
[102400,0,1,-1,
"5540s0430s0205000183A0s0654s0202s19A8s0306s07A8s0480s0B40"
,[-100,-10,80],[-20,160,200],[-100,80,160,800],[22,[-1040],[-100],[-10]]],
[102400,0,1,-1,
"FFC0s0470s0207000383A0s067Es0202s2401F8s02080080s0B40"
,[-100,-10,1040],[-20,200,1080],[-100,1040,1080,1400]],
[115200,0,1,-1,
"5FC015E054s047F078003A0s0656140302560140000180s02204010s120280s050158500C0900\
80s0404s0640"
,[-100,-40,-10,40],[-20,200,1080],[-100,40,80,120,1400]],
[120000,0,1,-1,
"1140s0202s0402s0201B1s0204s0344s0282s0908s1B080008s0280s0801040040"
,[40,150],[-300,80],[-500,40,600]],
[120000,0,1,1,
"1140s0202s070291s0204s0344s0282s0908s1B08s0480s0408s030104"
,[40,150],[80,300],[40,500,600]],
[120000,0,1,-1,
"1340s0202s0422s039120000400010044000182s0908s1480s0648s02800080s080104"
,[-1020,150],[-1040,-300],[-1300,-1020,-500]],
[120000,0,1,-1,
"1140s0202s0402s020191s0204s0344s0282s0908s1480s06080008s0280s080104"
,[40,150],[-300,80],[-500,40,600]],
[120000,0,1,-1,
"19C0s0202s0408s03B1800004s024046s0282s0908s1A01180002080080s0801040040"
,[-1020,150],[-300,1040],[-1300,-1020,-500]],
[120000,0,1,1,
"11s0302s070211s0204s0344s0282s0908s1302s1108s030104"
,[40,150],[80,300],[40,500,600]],
[120000,0,1,1,
"5540s020280s0301s0395400004s0354s02A2s092802s1A080004s0280s080144"
,[150,1020],[-1040,300],[500,1020,1300]],
[120000,0,1,1,
"1140s0202s0401s020291s0204s0344s0282s0908s1B080004s0280s0408s030104"
,[40,150],[80,300],[40,500,600]],
[122880,0,1,-1,
"5540s02540150s025F001283A0s0902s042010s02054010s120E80s0B80s035004s0640"
,[-20,-10,160],[-20,40,320],[-20,160,320,640]],
[122880,0,1,-1,
"5540s02541550000555001A82A0s0902s08054150s0A154006A0A8s02080A80s0B80s02015054\
08s0302A040"
,[-20,-10,160],[-2020,320],[-20,160,320,640]],
[122880,0,1,-1,
"5DC0s02540040s025F001283A0s09020001s0310s02054010s120E80s09080080s031024"
,[-20,-10,160],[-20,40,320],[-20,160,320,640]],
[122880,0,1,-1,
"57C0s02540150s025F001A83A0s0902s02C0s0210s02054010s0A15C00420E8s02080E80s0B80\
s031054s040280"
,[-20,-10,160],[-20,40,320],[-20,160,320,640],[4,[-40,-5,320,960,1160,1280,1920]]],
[122880,0,1,1,
"5540s025402A0s025500110280s09020002800010s03054010s0E48s030As0C80s0410"
,[-20,-10,1080],[20,40,1160],[20,160,320,480,1080]],
[122880,0,1,-1,
"5740s02540040s020F000283A0s0902s0240s0210s020540s130480s0B80s031004"
,[-20,-10,160],[-20,40,320],[-20,160,320,640],[4,[-40,-5,160,320,960,1080,1280,1920]]],
[122880,0,1,-1,
"5FC0s0254057000012F000183A0s09020002C0s0210s02054050s0EA8s0306s0C80s031014s06\
40"
,[-20,-10,1080],[-20,40,1160],[-20,160,320,480,1080]],
[122880,0,1,-1,
"5FC0s0254057000012F000183A0s09020002C0s0210s02054050s0EA0s030480s0B80s031014"
,[-20,-10,1080],[-20,40,1160],[-20,160,320,480,1080]],
[122880,0,1,-1,
"FFC0s027C0070s0207000383A0s09020007C0s0507C050s1D080080s031014s0640"
,[-20,-10,1080],[-20,40,1160],[-20,160,320,480,1080]],
[122880,0,1,1,
"5540s0254s045500100280s0902s08054010s120As0C80"
,[-2010,160],[320,2020],[20,640,2160]],
[122880,0,1,-1,
"5740s02540110s025F001283A0s0902s0240002010s02054010s120E80s0B80s034004s0640"
,[-20,-10,160],[-20,40,320],[-20,160,320,640]],
[122880,0,1,-1,
"5FC0s02540150s0257001A83A0s0902000140s0505C010s0A17C00420A8s02880E80s09080080\
s031054s040380"
,[-20,-10,160],[-20,40,320],[-20,160,320,640]],
[122880,0,1,-1,
"5540s025402B0s0255001182A0s09020002800010s03054050s0E60s030A80s0B80s031004s06\
40"
,[-20,-10,1080],[-20,40,1160],[-20,160,320,480,1080]],
[122880,0,1,-1,
"FFC0s027C0070s0207000383A0s09020007C0s0507C050s0E28s030280s09080080s031014"
,[-20,-10,1080],[-20,40,1160],[-20,160,320,480,1080]],
[122880,0,1,-1,
"5FC0s0254s045F001283A0s0902000140s0210s02054010s120E80s09080080s0424"
,[10,20,160],[-20,40,320],[-20,160,320,640]],
[122880,0,1,-1,
"5DC0s02540110s020F000283A0s09020001s022010s020540s1E080080s034024s0640"
,[-20,-10,160],[-20,40,320],[-20,160,320,640]],
[122880,0,1,-1,
"57C0s0254155000055F001A83A0s0902s0240s0210s02054150s0A03C00020A8s02880E80s0B8\
0s02015054s04018040"
,[-20,-10,160],[-20,40,320],[-20,160,320,640],[4,[-40,-5,320,960,1160,1280,1920]]],
[122880,0,1,-1,
"5FC0s0254s045F00100380s0902000140s0210s0205C010s0A014002A028s02080Es0A080080s\
045008s04A0"
,[10,20,160],[-20,40,320],[-20,160,320,640]],
[122880,0,1,-1,
"FFC0s0361F0s021F000F83A0s0902s0206s06060180s0D28s030280s09080080s03018060"
,[-120,-10,60],[-20,120,240],[-60,80,120,160,240,480]],
[122880,0,1,-1,
"5740s034040s020F000283A0s0902s0906s130480s0B80s0520"
,[30,160],[-60,320],[-20,480,640]],
[122880,0,1,1,
"5540s0254s045500100280s0902s0280s05054010s0A028002A048s02800As0C80s045008s030\
120"
,[-20,-10,160],[20,40,320],[20,160,320,640]],
[122880,0,1,-1,
"5DC0s02020110s020F000283A0s0902s0908s130E80s09080080s0408s04040040"
,[30,160],[-60,320],[-20,480,640]],
[122880,0,1,-1,
"5FC0s02541550000557001A83A0s09020001C0s0505C150s0A01C00020E8s030E80s09080080s\
02015054s0640"
,[-20,-10,160],[-20,40,320],[-20,160,320,640]],
[160000,0,1,-1,
"1140s0754s0202B1s04028044000282s1701400002s0202s0708s0480s0B40"
,[-100,-50,40],[-100,80,200],[-500,40,200,400]],
[160000,0,1,1,
"55s0854s02021540s030280540002A2s1D02s1720"
,[-100,-40,50],[-2100,-80],[-2200,-40,500]],
[160000,0,1,1,
"1140s0755s020291s04028044000282s1D02s07080004s0280"
,[-2050,40],[80,2100],[40,500,2200],[4,[20,625,3000,5200]],
[10202,[[[-2010,-1004,-2],[-25,-20,-5],[-25,-20,-5],[-25,
-20,-5]]]]],
[160000,0,1,-1,
"5540s0755s0202B540s030280540002A2s1E80s06080004s0280s0B40"
,[-100,-50,40],[-2100,80],[-500,40,2200]],
[160000,0,1,1,
"1140s0754s020291s04028044000282s150A80s024280400002s0708s0480s0A20"
,[-100,-50,-40],[-100,-80,200],[-200,-40,400,500]],
[160000,0,1,-1,
"11s0855s020211s04028044000282s1640s0220s0302s09040002"
,[-1050,-40,50],[-80,2100],[-2200,-500,-40]],
[160000,0,1,-1,
"1BC0s077Fs0203B1A0s0303C046000382s1D0280s050158000E880080s0B40"
,[-100,-50,40],[-100,80,200],[-500,40,200,400]],
[160000,0,1,-1,
"1140s0754s020291s04028044000282s1640s0220s0302s0708s030280"
,[-1050,-40,50],[-80,2100],[-2200,-500,-40]],
[160000,0,1,-1,
"1340s0777s0203B120s03038044000382s1D02s0748000C800080s0B40"
,[-100,-50,40],[-100,80,200],[-500,40,200,400]],
[160000,0,1,-1,
"19C0s075Fs02039180s0302C046000282s1D0280s050118000E080080"
,[-100,-50,40],[-100,80,200],[-500,40,200,400]],
[160000,0,1,1,
"11s0855s020211s04028044000282s1D02s0904s0D20"
,[-100,-40,50],[-2100,-80],[-2200,-40,500]],
[160000,0,1,-1,
"1BC0s077Fs0203B1A0s0303C046000382s1D0280s050158000E880080s0B40"
,[-100,-50,40],[-100,80,200],[-500,40,200,400]],
[160000,0,1,-1,
"1140s0754s0202B1s04028044000282s1D02s0708s0480s0B40"
,[-100,-50,40],[-2100,80],[-500,40,2200]],
[160000,0,1,-1,
"1140s0755s020291s04028044000282s1701400002s020280s06080004s0280"
,[-100,-50,40],[-100,80,200],[-500,40,200,400]],
[160000,0,1,1,
"1140s0754s020291s04028044000282s1D02s0708s0480s0A20"
,[-100,-40,50],[-2100,-80],[-2200,-40,500]],
[160000,0,1,-1,
"1140s0754s020291s04028044000282s1D0280s0608s0480"
,[-100,-50,40],[-2100,80],[-500,40,2200]],
[160000,0,1,-1,
"19C0s075Es0203B180s0302C046000282s1D02s060118000A080080s0B40"
,[-100,-50,40],[-100,80,200],[-500,40,200,400]],
[160000,0,1,1,
"55s05A0s0405021540s0210000154s02A2s1D02s08050010s0C20"
,[-100,-50,-40],[-100,-80,200],[-200,-40,400,500],[4,[-1200,-1000,-625,20,1400,2000]]],
[160000,0,1,1,
"5540s04A0s02010005029540s0210000154s02A2s1D02s07080504100080s0A20"
,[-100,-50,-40],[-100,-80,200],[-200,-40,400,500],[4,[-3200,-1000,-625,20,400,2000]]],
[160000,0,1,1,
"11s0855s020211s04028044000282s150A80s024280400002s0904s0D20"
,[-100,-50,-40],[-100,-80,200],[-200,-40,400,500]],
[160000,0,1,-1,
"1140s0754s020291s04028044000282s1701400002s020280s0608s0480"
,[-100,-50,40],[-100,80,200],[-500,40,200,400]],
[160000,0,1,1,
"5540s0755s02029540s030280540002A2s1D02s07080004s0280"
,[-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]]]]],
[160000,0,1,-1,
"1340s0776s02039120s03038044000382s1D0280s06480008800080"
,[-100,-50,40],[-100,80,200],[-500,40,200,400]],
[160000,0,1,1,
"1140s0754s020291s04028044000282s1D02s0708s0480"
,[-2050,40],[80,2100],[40,500,2200],[4,[20,625,3000,5200]],
[10202,[[[-2010,-1004,-2],[-25,-20,-5],[-25,-20,-5],[-25,
-20,-5]]]]],
[160000,0,1,1,
"1140s0755s020291s04028044000282s1D02s07080004s0280"
,[-2050,40],[80,2100],[40,500,2200],[4,[20,625,3000,5200]],
[10202,[[[-2010,-1004,-2],[-25,-20,-5],[-25,-20,-5],[-25,
-20,-5]]]]],
[160000,0,1,-1,
"5FC0s072Bs0203B5E0s030140560001A2s1D0280s050158000E880080s0B40"
,[-100,-50,40],[-100,80,200],[-500,40,200,400],[4,[-1100,-20,200,625,1000,1400,2000]]],
[160000,0,1,-1,
"1140s0755s0202B1s04028044000282s1701400002s0202s07080004s0280s0B40"
,[-100,-50,40],[-100,80,200],[-500,40,200,400]],
[160000,0,1,-1,
"1140s0754s0202B1s04028044000282s1D0280s0608s0480s0B40"
,[-100,-50,40],[-2100,80],[-500,40,2200]],
[160000,0,1,1,
"1140s0755s020291s04028044000282s1D02s07080004s0280"
,[-2050,40],[80,2100],[40,500,2200],[4,[20,625,3000,5200]],
[10202,[[[-2010,-1004,-2],[-25,-20,-5],[-25,-20,-5],[-25,
-20,-5]]]]],
[160000,0,1,-1,
"5FC0s072Bs0203B5E0s030140560001A2s1E80s050158000E880080s0B40"
,[-100,-50,40],[-100,80,200],[-500,40,200,400],[4,[-100,-20,100,400,625,1000,2000,2200]]],
[160000,0,1,1,
"5540s0755s02029540s030280540002A2s1D02s07080004s0280"
,[-2050,40],[80,2100],[40,500,2200],[4,[-1100,20,625,3000,4200]]],
[163840,0,1,-1,
"7FC0s0317F0s025F000B83A0s0902s16C000A0E8s0306s0C80s0B40"
,[-20,-10,1080],[-20,40,1160],[-20,1080,1160,1320]],
[163840,0,1,-1,
"7FC0s0317F0s025F000B83A0s0902s1501400060E8s030A80s0B80s0B40"
,[-20,-10,1080],[-20,40,1160],[-20,1080,1160,1320]],
[163840,0,1,-1,
"FFC0s031FF0s027F000F83A0s0902s28080080s0B40"
,[-20,-10,1080],[-20,40,3080],[-20,1320,3040,3080]],
[163840,0,1,-1,
"5540s0302A0s0255000102A0s0902s182068s030E80s0B80s090280"
,[-20,-10,160],[-20,40,320],[-20,160,320,640]],
[163840,0,1,-1,
"55C0s030AF0s0257000783A0s0902s1501400040A0s030480s0B80"
,[-20,-10,1080],[-20,40,1160],[-20,1080,1160,1320]],
[163840,0,1,-1,
"FFC0s0307F0s027F000383A0s0902s16400020E8s030Es0A080080"
,[10,20,1080],[-20,40,1160],[-20,1080,1160,1320]],
[163840,0,1,1,
"5540s0302A0s025500010280s0902s182048s030As0C80s0A20"
,[10,20,160],[20,40,320],[20,160,320,640]],
[163840,0,1,-1,
"5540s0302A0s025500010380s0902s1820E8s030E80s0B80s0A80"
,[10,20,160],[-20,40,320],[-20,160,320,640]],
[163840,0,1,-1,
"FFC0s0307F0s027F000383A0s0902s1501C000E0E8s030280s09080080"
,[-20,-10,1080],[-20,40,1160],[-20,1080,1160,1320]],
[163840,0,1,1,
"5540s030AA0s025500050280s0902s168000A048s030As0C80"
,[-20,-10,1080],[20,40,1160],[20,1080,1160,1320]],
[163840,0,1,1,
"5540s0302A0s025500010280s0902s182048s030As0C80s0901"
,[-20,-10,160],[20,40,320],[20,160,320,640]],
[184320,0,1,-1,
"1FC0s024640s031F000283A0s0902000152s0210s02014C1080s110680s0908s062Cs0404"
,[30,160],[-60,320],[-20,480,640]],
[184320,0,1,1,
"5540s0202C0s0305s020280s0902s092Cs2080s0904"
,[30,160],[60,320],[20,480,640]],
[184320,0,1,1,
"5540s034020s020500010280s0902s0202s06040080s0D40s030As0C80"
,[10,180],[20,360],[180,1480]],
[184320,0,1,1,
"5540s025640s0305s020280s0902s08054Cs2080s0904"
,[30,160],[60,320],[20,480,640]],
[204800,0,1,-1,
"FFC0s0470s0207000383A0s067Es0202s19E8s030E80s0501F8s02080080s0B40"
,[-100,-10,80],[-20,160,200],[-100,80,160,800],[210,[17]]],
[204800,0,1,1,
"5540s0302A0s025500010280s0654002202s150A8000204800400002s0C80s0A20"
,[-100,-80,-10],[20,160,200],[80,100,160,800]],
[204800,0,1,-1,
"FFC0s0470s020700038380s067Es0202s19E0s030E80s0501F8s02080080s0AA0"
,[-100,-80,10],[-20,160,200],[-100,80,160,800]],
[204800,0,1,-1,
"FFC0s0470s0207000383A0s067Es0202s19E0s030Es0601F8s02080080s0B40"
,[-100,-10,80],[-20,160,200],[-100,80,160,800],[210,[19]]],
[204800,0,1,-1,
"5FC0s030570s022F00010380s0656004102s19E0s030E80s06B80088s0280s0AA0"
,[-100,-80,10],[-20,160,200],[-100,80,160,800]],
[204800,0,1,1,
"5540s0302A0s025500010280s0654002202s150A80008048s0302s0904000480s0A20"
,[-100,-80,-10],[20,160,200],[80,100,160,800]],
[204800,0,1,1,
"5540s0302A0s025500010280s0654002202s1940s030As07A80104s0280s0A20"
,[-100,-80,10],[20,160,200],[80,100,160,800]],
[204800,0,1,-1,
"5540s0302A0s025500010280s0654002202s1940s030A80s06A80104s0280s0A80"
,[-100,-80,10],[-20,160,200],[-100,80,160,800]],
[204800,0,1,-1,
"5FC0s030570s022F000183A0s0656004102s19E8s030Es07B80088s0280s0B40"
,[-100,-10,80],[-20,160,200],[-100,80,160,800]],
[204800,0,1,-1,
"5FC0s030570s022F000103A0s0656004102s19E0s030E80s06B80088s0280"
,[-100,-10,80],[-20,160,200],[-100,80,160,800]],
[204800,0,1,-1,
"5540s0302A0s027F00018380s0654002302s1515s0240C80080000A80s0B80s0A80"
,[-100,-80,-10],[-20,160,200],[-100,80,160,800]],
[204800,0,1,-1,
"5FC0s030570s022F000183A0s0656004102s19E8s030E80s06B80088s0280s0B40"
,[-100,-10,80],[-20,160,200],[-100,80,160,800]],
[204800,0,1,-1,
"5540s0302B0s0255000183A0s0654002202s19A8s030680s06A80104s0280s0B40"
,[-100,-10,80],[-20,160,200],[-100,80,160,800]],
[204800,0,1,1,
"5540s0302A0s025500010280s0654002202s1948s030As07A80104s0280"
,[-100,-10,80],[20,160,200],[80,100,160,800]],
[204800,0,1,-1,
"5540s0302A0s027F00030380s0654002202s150540004068s030A80s0808000280s0A80"
,[-100,-80,-10],[-20,160,200],[-100,80,160,800]],
[204800,0,1,-1,
"FFC0s0470s0207000383A0s067Es0202s19E8s030E80s0501F8s02080080"
,[-100,-10,80],[-20,160,200],[-100,80,160,800],[210,[20]]],
[204800,0,1,-1,
"5540s0302B0s0255000182A0s0654002202s1960s030A80s06A80104s0280s0B40"
,[-100,-10,80],[-20,160,200],[-100,80,160,800]],
[204800,0,1,-1,
"FFC0s0307F0s027F000383A0s067E006302s1928s030280s0501F8018C080080s0B40"
,[-1040,-100,-10],[-20,200,1080],[-100,1040,1080,1400]],
[240000,0,1,-1,
"1340s0202s0422s02039120000400010044000182s0908s1480s06480008800080s0408s03010\
4"
,[40,150],[-300,80],[-500,40,600]],
[240000,0,1,1,
"55s030280s060215400004s0354s02A2s092802s1202s1108s030144"
,[40,150],[80,300],[40,500,600]],
[240000,0,1,-1,
"19C0s0202s040Bs0203B1800004s024046s0282s0908s1480s050118000E080080s0408s03010\
40040"
,[40,150],[-300,80],[-500,40,600]],
[240000,0,1,-1,
"19C0s0202s040As0203B1800004s024046s0282s0908s1A0118000A080080s0408s0301040040"
,[40,150],[-300,80],[-500,40,600]],
[240000,0,1,-1,
"5540s020280s0303s0201B5400004s0354s02A2s092802s1380s0608000Cs0280s0801440040"
,[40,150],[-300,80],[-500,40,600]],
[240000,0,1,-1,
"5FC0s020280s032Bs03B5E00004000140560001A2s092802s1380s0501580006880080s080144\
0040"
,[-1020,150],[-1040,-300],[-1300,-1020,-500]],
[240000,0,1,1,
"5540s020280s0301s020295400004s0354s02A2s092802s1A080004s0280s0408s030144"
,[40,150],[80,300],[40,500,600]],
[240000,0,1,-1,
"1340s0202s0423s0203B120000400010044000182s0908s1480s0648000C800080s0408s03010\
40040"
,[40,150],[-300,80],[-500,40,600]],
[245760,0,1,-1,
"5FC0s0254155000055F001A83A0s09020001C0s0210s0205C150s0A17C006A0E8s02880E80s09\
080080s0201505408s0303A040"
,[-20,-10,160],[-20,40,320],[-20,160,320,640]],
[245760,0,1,-1,
"5FC0s02540150s025F001283A0s0902000140002010s02054010s120E80s09080080s035024s0\
640"
,[-20,-10,160],[-20,40,320],[-20,160,320,640]],
[245760,0,1,-1,
"FFC0s027C07F000017F001383A0s09020007C0001010s0207C050s0EE8s030E80s09080080s03\
1014s0640"
,[-20,-10,1080],[-20,40,1160],[-20,160,320,480,1080]],
[259200,0,1,1,
"114000110040s034400400280s0644020202s0B80s1102s0C80"
,[-100,-90],[180,200],[900,1120]],
[320000,0,1,1,
"5540s04A0s02550005029540s02100281540002A2s1D02s07080504100080s0A20"
,[-100,-50,-40],[-100,-80,200],[-200,-40,400,500]],
[320000,0,1,-1,
"19C0s075Fs0203B180s0302C046000282s1701400002s020280s050118000E080080s0B40"
,[-100,-50,40],[-100,80,200],[-500,40,200,400]],
[320000,0,1,-1,
"5FC0s077Fs0203B5E0s0303C0560003A2s1D0280s050158000E880080s0B40"
,[-100,-50,40],[-100,80,200],[-500,40,200,400]],
[320000,0,1,1,
"5540s0755s02029540s030280540002A2s150A80s024280400002s07080004s0280s0A20"
,[-100,-50,-40],[-100,-80,200],[-200,-40,400,500]],
[320000,0,1,1,
"5540s0755s02029540s030280540002A2s1D02s07080004s0280"
,[-2050,40],[80,2100],[40,500,2200]],
[320000,0,1,-1,
"1340s0776s02039120s03038044000382s1701400002s020280s06480008800080"
,[-100,-50,40],[-100,80,200],[-500,40,200,400]],
[320000,0,1,-1,
"1340s0777s0203B120s03038044000382s1701400002s0202s0748000C800080s0B40"
,[-100,-50,40],[-100,80,200],[-500,40,200,400]],
[320000,0,1,-1,
"1340s0777s0203B120s03038044000382s1701400002s020280s0648000C800080s0B40"
,[-100,-50,40],[-100,80,200],[-500,40,200,400]],
[320000,0,1,-1,
"5540s0755s0202B540s030280540002A2s1D0280s06080004s0280s0B40"
,[-100,-50,40],[-2100,80],[-500,40,2200]],
[320000,0,1,-1,
"1340s0776s02039120s03038044000382s164001402002s0202s07480008800280s0A20"
,[-100,-40,50],[-100,-80,200],[-500,-200,-40,400]],
[320000,0,1,-1,
"5540s0755s02029540s030280540002A2s1640s0220s0302s07080004000280"
,[-1050,-40,50],[-80,2100],[-2200,-500,-40]],
[320000,0,1,-1,
"19C0s075Es02039180s0302C046000282s164001402002s0202s060118000A080280s0A20"
,[-100,-40,50],[-100,-80,200],[-500,-200,-40,400]]];