Ziele Untersuchung
mit Columbo Integrität von
Datenbanken Interaktion und
Portierbarkeit Ergonomie der
Schnittstellen

Angebot Produkte Projekt Beratung

Mittel Analytik Modellierung Sprachen Algebra Logik Hardware Denken Kreativität

Zusammenhänge Gesellschaft Wirtschaft Branche Firma


products/Sources/formale Sprachen/GAP/pkg/loops/data/rcc/ (Algebra von RWTH Aachen Version 4.15.1^©) Datei vom 29.7.2024 mit Größe 383 kB

Quelle rcc_transitive_groups.tbl Sprache: unbekannt

#############################################################################
##
#W  rcc_transitive_groups.tbl       Transitive groups for small RCC loops
##                                  K. Artic / G. P. Nagy / P. Vojtechovsky
##
##
#Y  Copyright (C)  2015,  K. Artic (RWTH Aachen, Germany)
#Y                        G. P. Nagy (University of Szeged, Hungary),
#Y                        P. Vojtechovsky (University of Denver, USA)
##

LOOPS_rcc_transitive_groups :=
[
# degree 6
[
[ 5, [(1,2)(3,4)(5,6),(1,2,3,4,5,6),(1,3,5)(2,4,6),(1,3,5)(2,6,4),(1,5,3)(2,6,4)] ]
],
# degree 8
[
[ 7, [(1,2,3,4,5,6,7,8),(1,3,5,7)(2,4,6,8),(1,3,5,7)(2,8,6,4),(1,4,3,6,5,8,7,2),(1,4,7,2,5,8,3,6),(1,5)(2,6)(3,7)(4,8),(1,7,5,3)(2,8,6,4)] ],
[ 9, [(1,2)(3,8)(4,6)(5,7),(1,2)(3,8)(4,7)(5,6),(1,3)(2,8)(4,6)(5,7),(1,4)(2,7)(3,6)(5,8),(1,4,8,5)(2,7,3,6),(1,6,8,7)(2,5,3,4),(1,6)(2,5)(3,4)(7,8),(1,8)(2,3)(4,5)(6,7)] ],
[ 10, [(1,2,3,8)(4,5,6,7),(1,3)(2,4)(5,7)(6,8),(1,3)(2,8)(4,6)(5,7),(1,4,7,2)(3,6,5,8),(1,4,3,6)(2,5,8,7),(1,5)(2,6)(3,7)(4,8),(1,7)(2,4)(3,5)(6,8)] ],
[ 11, [(1,2)(3,4)(5,6)(7,8),(1,2,5,6)(3,4,7,8),(1,3,5,7)(2,4,6,8),(1,3,5,7)(2,8,6,4),(1,4,5,8)(2,3,6,7),(1,4)(2,7)(3,6)(5,8),(1,5)(2,6)(3,7)(4,8),(1,7,5,3)(2,8,6,4)] ],
[ 13, [(1,2)(3,8)(4,7)(5,6),(1,4,8,6,3,7)(2,5)] ],
[ 17, [(1,2,3,8)(4,5,6,7),(1,3)(2,8)(4,7,6,5),(1,4)(2,5)(3,6)(7,8),(1,4,2,5,3,6,8,7),(1,4,3,6)(2,5,8,7),(1,4,8,7,3,6,2,5)] ],
[ 23, [(1,2,3,4,5,6,7,8),(1,2,8,3,5,6,4,7),(1,5)(2,6)(3,7)(4,8)] ]
],
# degree 9
[
[ 4, [(1,2,9)(3,4,5)(6,7,8),(1,3,8)(2,4,6)(5,7,9),(1,3,7,9,4,6)(2,5,8),(1,4,7)(2,5,8)(3,6,9),(1,6,4,9,7,3)(2,8,5)] ],
[ 6, [(1,2,3,4,5,6,7,8,9),(1,3,8,7,9,5,4,6,2),(1,3,2,7,9,8,4,6,5),(1,4,7)(2,5,8)(3,6,9),(1,7,4)(2,8,5)(3,9,6)] ],
[ 7, [(1,2,9)(3,4,5)(6,7,8),(1,3,6)(2,4,7)(5,8,9),(1,6,5)(2,7,3)(4,9,8),(1,9,2)(3,5,4)(6,8,7)] ]
],
# degree 10
[
[ 4, [(1,2,5,4)(3,8)(6,7,10,9),(1,2,9,8)(3,6,7,4)(5,10),(1,3,5,7,9)(2,4,6,8,10)] ],
[ 6, [(1,2)(3,4)(5,6)(7,8)(9,10),(1,2,3,4,5,6,7,8,9,10),(1,3,5,7,9)(2,4,6,8,10),(1,3,5,7,9)(2,6,10,4,8),(1,3,5,7,9)(2,8,4,10,6),(1,3,5,7,9)(2,10,8,6,4),(1,5,9,3,7)(2,6,10,4,8),(1,5,9,3,7)(2,8,4,10,6),(1,5,9,3,7)(2,10,8,6,4),(1,7,3,9,5)(2,8,4,10,6),(1,7,3,9,5)(2,10,8,6,4),(1,9,7,5,3)(2,10,8,6,4)] ]
],
# degree 12
[
[ 6, [(1,2,6,7,11,9)(3,4,5,12,10,8),(1,3,2,7,12,11)(4,9,5,10,6,8),(1,3,8)(2,10,6)(4,9,11)(5,7,12),(1,4)(2,11)(3,6)(5,8)(7,10)(9,12)] ],
[ 10, [(1,2)(3,12)(4,11)(5,10)(6,9)(7,8),(1,3,5,7,9,11)(2,4,6,8,10,12),(1,3)(2,8)(4,6)(5,11)(7,9)(10,12),(1,4)(2,3)(5,12)(6,11)(7,10)(8,9),(1,4)(2,11)(3,6)(5,8)(7,10)(9,12),(1,5,9)(2,6,10)(3,7,11)(4,8,12),(1,7)(2,8)(3,9)(4,10)(5,11)(6,12),(1,8,9,4,5,12)(2,3,10,11,6,7)] ],
[ 11, [(1,2,3,4,5,6,7,8,9,10,11,12),(1,2,7,8)(3,12,9,6)(4,5,10,11),(1,3,5,7,9,11)(2,4,6,8,10,12),(1,3)(2,8)(4,6)(5,11)(7,9)(10,12),(1,4,7,10)(2,5,8,11)(3,6,9,12),(1,4,7,10)(2,9,8,3)(5,12,11,6),(1,5,9)(2,6,10)(3,7,11)(4,8,12),(1,7)(2,8)(3,9)(4,10)(5,11)(6,12),(1,8,3,10,5,12,7,2,9,4,11,6),(1,10,7,4)(2,11,8,5)(3,12,9,6)] ],
[ 14, [(1,2,3,4,5,6,7,8,9,10,11,12),(1,2,9,10,5,6)(3,4,11,12,7,8),(1,3,5,7,9,11)(2,4,6,8,10,12),(1,3,5,7,9,11)(2,10,6)(4,12,8),(1,4,7,10)(2,5,8,11)(3,6,9,12),(1,4)(2,11)(3,6)(5,8)(7,10)(9,12),(1,5,9)(2,6,10)(3,7,11)(4,8,12),(1,5,9)(2,12,10,8,6,4)(3,7,11),(1,6,5,10,9,2)(3,8,7,12,11,4),(1,6,11,4,9,2,7,12,5,10,3,8),(1,7)(2,8)(3,9)(4,10)(5,11)(6,12),(1,9,5)(2,10,6)(3,11,7)(4,12,8),(1,11,9,7,5,3)(2,12,10,8,6,4)] ],
[ 15, [(1,2)(3,12)(4,11)(5,10)(6,9)(7,8),(1,2,7,8)(3,12,9,6)(4,5,10,11),(1,3,5,7,9,11)(2,10,6)(4,12,8),(1,7)(2,8)(3,9)(4,10)(5,11)(6,12),(1,9,5)(2,4,6,8,10,12)(3,11,7)] ],
[ 18, [(1,2)(3,4)(5,6)(7,8)(9,10)(11,12),(1,2,5,6,9,10)(3,4,7,8,11,12),(1,3,5,7,9,11)(2,4,6,8,10,12),(1,3,5,7,9,11)(2,8)(4,10)(6,12),(1,3,5,7,9,11)(2,12,10,8,6,4),(1,4,5,8,9,12)(2,3,6,7,10,11),(1,4,9,12,5,8)(2,7,10,3,6,11),(1,4)(2,11)(3,6)(5,8)(7,10)(9,12),(1,5,9)(2,6,10)(3,7,11)(4,8,12),(1,5,9)(2,10,6)(3,7,11)(4,12,8),(1,7)(2,8)(3,9)(4,10)(5,11)(6,12),(1,7)(2,12,10,8,6,4)(3,9)(5,11),(1,9,5)(2,10,6)(3,11,7)(4,12,8),(1,11,9,7,5,3)(2,12,10,8,6,4)] ],
[ 19, [(1,2,3,4,5,6,7,8,9,10,11,12),(1,2,7,8)(3,4,9,10)(5,6,11,12),(1,3,5,7,9,11)(2,4,6,8,10,12),(1,3,5,7,9,11)(2,8)(4,10)(6,12),(1,3,5,7,9,11)(2,12,10,8,6,4),(1,4,3,6,5,8,7,10,9,12,11,2),(1,4,7,10)(2,5,8,11)(3,6,9,12),(1,4,11,2,9,12,7,10,5,8,3,6),(1,5,9)(2,6,10)(3,7,11)(4,8,12),(1,5,9)(2,10,6)(3,7,11)(4,12,8),(1,7)(2,8)(3,9)(4,10)(5,11)(6,12),(1,7)(2,12,10,8,6,4)(3,9)(5,11),(1,9,5)(2,10,6)(3,11,7)(4,12,8),(1,11,9,7,5,3)(2,12,10,8,6,4)] ],
[ 20, [(1,2,3)(4,8,12)(5,6,7)(9,10,11),(1,3,5,7,9,11)(2,4,6,8,10,12),(1,3,8)(2,10,6)(4,9,11)(5,7,12),(1,4)(2,11)(3,6)(5,8)(7,10)(9,12),(1,9,5)(2,10,6)(3,11,7)(4,12,8)] ],
[ 26, [(1,2,3,10,8,6)(4,5,9,7,11,12),(1,2,12)(3,7,11)(4,5,6)(8,9,10),(1,3,5,4,9,2)(6,11,7,12,8,10),(1,3,11,10,6,5)(2,4,9,8,7,12),(1,3,2,7,12,11)(4,9,5,10,6,8),(1,3,8)(2,10,6)(4,9,11)(5,7,12),(1,4)(2,5)(3,9)(6,12)(7,10)(8,11),(1,4)(2,11)(3,6)(5,8)(7,10)(9,12),(1,7)(2,11)(3,12)(4,10)(5,8)(6,9),(1,10)(2,8)(3,6)(4,7)(5,11)(9,12)] ],
[ 28, [(1,2,3,4,5,6,7,8,9,10,11,12),(1,2,9,10,5,6)(3,4,11,12,7,8),(1,3)(2,8)(4,6)(5,11)(7,9)(10,12),(1,4,7,10)(2,5,8,11)(3,6,9,12),(1,4)(2,11)(3,6)(5,8)(7,10)(9,12),(1,5,9)(2,6,10)(3,7,11)(4,8,12)] ],
[ 37, [(1,2)(3,4)(5,6)(7,8)(9,10)(11,12),(1,3,5,7,9,11)(2,4,6,8,10,12),(1,4)(2,3)(5,12)(6,11)(7,10)(8,9),(1,5,9)(2,6,10)(3,7,11)(4,8,12),(1,5,9)(2,10,6)(3,7,11)(4,12,8),(1,7)(2,8)(3,9)(4,10)(5,11)(6,12)] ],
[ 39, [(1,2,7,8)(3,4,9,10)(5,6,11,12),(1,3,5,7,9,11)(2,4,6,8,10,12),(1,4,7,10)(2,9,8,3)(5,12,11,6),(1,5,9)(2,6,10)(3,7,11)(4,8,12),(1,5,9)(2,10,6)(3,7,11)(4,12,8),(1,7)(2,8)(3,9)(4,10)(5,11)(6,12)] ],
[ 42, [(1,2)(3,4)(5,6)(7,8)(9,10)(11,12),(1,2,3,4,5,6,7,8,9,10,11,12),(1,2,5,6,9,10)(3,4,7,8,11,12),(1,2,7,8)(3,4,9,10)(5,6,11,12),(1,3,5,7,9,11)(2,4,6,8,10,12),(1,3,5,7,9,11)(2,6,10)(4,8,12),(1,3,5,7,9,11)(2,8)(4,10)(6,12),(1,3,5,7,9,11)(2,10,6)(4,12,8),(1,3,5,7,9,11)(2,12,10,8,6,4),(1,5,9)(2,6,10)(3,7,11)(4,8,12),(1,5,9)(2,8)(3,7,11)(4,10)(6,12),(1,5,9)(2,12,10,8,6,4)(3,7,11),(1,7)(2,8)(3,9)(4,10)(5,11)(6,12),(1,7)(2,10,6)(3,9)(4,12,8)(5,11),(1,7)(2,12,10,8,6,4)(3,9)(5,11),(1,9,5)(2,10,6)(3,11,7)(4,12,8),(1,9,5)(2,12,10,8,6,4)(3,11,7),(1,11,9,7,5,3)(2,12,10,8,6,4)] ],
[ 85, [(1,2,3)(4,5,9)(6,10,8)(7,11,12),(1,3,2)(4,12,8)(5,7,6)(9,11,10),(1,4)(2,5)(3,9)(6,12)(7,10)(8,11)] ],
[ 117, [(1,2)(3,12)(4,11)(5,10)(6,9)(7,8),(1,3)(2,12)(4,10)(5,11)(6,8)(7,9),(1,4)(2,11)(3,10)(5,12)(6,7)(8,9),(1,5,9)(2,6,10)(3,11,7)(4,12,8)] ],
[ 124, [(1,2,12,3)(4,7,5,6)(8,10,9,11),(1,2,12,3)(4,9,5,8)(6,10,7,11),(1,12)(2,3)(4,5)(6,7)(8,9)(10,11)] ]
],
# degree 14
[
[ 4, [(1,2,5,14,13,10)(3,8,9,12,7,6)(4,11),(1,2,7,4,3,12)(5,8,9,14,11,10)(6,13),(1,3,5,7,9,11,13)(2,4,6,8,10,12,14)] ],
[ 5, [(1,2,11,8,9,4)(3,6,5,10,13,12)(7,14),(1,2,13,8,9,6)(3,10)(4,7,12,11,14,5),(1,3,5,7,9,11,13)(2,4,6,8,10,12,14),(1,7,13,5,11,3,9)(2,8,14,6,12,4,10)] ],
[ 8, [(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14),(1,2,3,4,5,6,7,8,9,10,11,12,13,14),(1,3,5,7,9,11,13)(2,4,6,8,10,12,14),(1,3,5,7,9,11,13)(2,6,10,14,4,8,12),(1,3,5,7,9,11,13)(2,8,14,6,12,4,10),(1,3,5,7,9,11,13)(2,10,4,12,6,14,8),(1,3,5,7,9,11,13)(2,12,8,4,14,10,6),(1,3,5,7,9,11,13)(2,14,12,10,8,6,4),(1,5,9,13,3,7,11)(2,6,10,14,4,8,12),(1,5,9,13,3,7,11)(2,8,14,6,12,4,10),(1,5,9,13,3,7,11)(2,10,4,12,6,14,8),(1,5,9,13,3,7,11)(2,12,8,4,14,10,6),(1,5,9,13,3,7,11)(2,14,12,10,8,6,4),(1,7,13,5,11,3,9)(2,8,14,6,12,4,10),(1,7,13,5,11,3,9)(2,10,4,12,6,14,8),(1,7,13,5,11,3,9)(2,12,8,4,14,10,6),(1,7,13,5,11,3,9)(2,14,12,10,8,6,4),(1,9,3,11,5,13,7)(2,10,4,12,6,14,8),(1,9,3,11,5,13,7)(2,12,8,4,14,10,6),(1,9,3,11,5,13,7)(2,14,12,10,8,6,4),(1,11,7,3,13,9,5)(2,12,8,4,14,10,6),(1,11,7,3,13,9,5)(2,14,12,10,8,6,4),(1,13,11,9,7,5,3)(2,14,12,10,8,6,4)] ]
],
# degree 15
[
[ 3, [(1,2,3,4,5,6,7,8,9,10,11,12,13,14,15),(1,2,6,7,11,12)(3,10,8,15,13,5)(4,14,9),(1,3,11,13,6,8)(2,7,12)(4,15,14,10,9,5),(1,4,7,10,13)(2,5,8,11,14)(3,6,9,12,15),(1,7,13,4,10)(2,8,14,5,11)(3,9,15,6,12),(1,8,15,7,14,6,13,5,12,4,11,3,10,2,9),(1,11,6)(2,12,7)(3,13,8)(4,14,9)(5,15,10)] ],
[ 4, [(1,2,3,4,5,6,7,8,9,10,11,12,13,14,15),(1,2,13,14,10,11,7,8,4,5)(3,9,15,6,12),(1,3,5,7,9,11,13,15,2,4,6,8,10,12,14),(1,3,10,12,4,6,13,15,7,9)(2,14,11,8,5),(1,4,7,10,13)(2,5,8,11,14)(3,6,9,12,15),(1,4,7,10,13)(2,15,8,6,14,12,5,3,11,9),(1,5,4,8,7,11,10,14,13,2)(3,12,6,15,9),(1,5,9,13,2,6,10,14,3,7,11,15,4,8,12),(1,6,11)(2,7,12)(3,8,13)(4,9,14)(5,10,15),(1,7,13,4,10)(2,8,14,5,11)(3,9,15,6,12),(1,9,2,10,3,11,4,12,5,13,6,14,7,15,8),(1,10,4,13,7)(2,11,5,14,8)(3,12,6,15,9),(1,13,10,7,4)(2,14,11,8,5)(3,15,12,9,6)] ],
[ 8, [(1,2,3,4,5,6,7,8,9,10,11,12,13,14,15),(1,2,6,7,11,12)(3,10,8,15,13,5)(4,14,9),(1,2,9,13,11,12,4,8,6,7,14,3)(5,15,10),(1,2,15,4,11,12,10,14,6,7,5,9)(3,13,8),(1,3,14,7,6,8,4,12,11,13,9,2)(5,10,15),(1,3,2,10,6,8,7,15,11,13,12,5)(4,9,14),(1,4,7,10,13)(2,5,8,11,14)(3,6,9,12,15),(1,11,6)(2,12,7)(3,13,8)(4,14,9)(5,15,10)] ],
[ 15, [(1,2,5,3,12,8,9,15,11,14,6,4,10,7,13),(1,2,7,14,5)(3,13,15,8,9)(4,11,12,10,6),(1,2,13,5,11,6,4,14,10,3,8,9,12,15,7),(1,6,8)(2,4,9)(3,7,11)(5,10,15)(12,13,14),(1,8,6)(2,9,4)(3,11,7)(5,15,10)(12,14,13)] ]
],
# degree 16
[
[ 15, [(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),(1,2)(3,12)(4,11)(5,6)(7,16)(8,15)(9,10)(13,14),(1,3,5,7,10,11,14,15)(2,4,6,8,9,12,13,16),(1,4,5,8,10,12,14,16)(2,3,6,7,9,11,13,15),(1,4,14,16,10,12,5,8)(2,3,13,15,9,11,6,7),(1,5,10,14)(2,6,9,13)(3,7,11,15)(4,8,12,16),(1,5,10,14)(2,6,9,13)(3,15,11,7)(4,16,12,8),(1,6,10,13)(2,5,9,14)(3,8,11,16)(4,7,12,15),(1,6,10,13)(2,5,9,14)(3,16,11,8)(4,15,12,7),(1,7,5,11,10,15,14,3)(2,8,6,12,9,16,13,4),(1,7,14,3,10,15,5,11)(2,8,13,4,9,16,6,12),(1,8,5,12,10,16,14,4)(2,7,6,11,9,15,13,3),(1,8,14,4,10,16,5,12)(2,7,13,3,9,15,6,11),(1,9)(2,10)(3,12)(4,11)(5,13)(6,14)(7,16)(8,15),(1,10)(2,9)(3,11)(4,12)(5,14)(6,13)(7,15)(8,16),(1,13,10,6)(2,14,9,5)(3,16,11,8)(4,15,12,7),(1,14,10,5)(2,13,9,6)(3,15,11,7)(4,16,12,8)] ],
[ 16, [(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),(1,3,6,8,2,4,5,7)(9,11,13,15,10,12,14,16),(1,3,6,8,2,4,5,7)(9,12,13,16,10,11,14,15),(1,4,6,7,2,3,5,8)(9,11,13,15,10,12,14,16),(1,5,2,6)(3,7,4,8)(9,13,10,14)(11,15,12,16),(1,5,2,6)(3,7,4,8)(9,14,10,13)(11,16,12,15),(1,6,2,5)(3,8,4,7)(9,13,10,14)(11,15,12,16),(1,7,5,4,2,8,6,3)(9,15,14,11,10,16,13,12),(1,7,5,4,2,8,6,3)(9,16,14,12,10,15,13,11),(1,8,5,3,2,7,6,4)(9,16,14,12,10,15,13,11),(1,9,5,14,2,10,6,13)(3,12,7,15,4,11,8,16),(1,9,6,13,2,10,5,14)(3,12,8,16,4,11,7,15),(1,11,2,12)(3,14,4,13)(5,16,6,15)(7,10,8,9),(1,11)(2,12)(3,14)(4,13)(5,16)(6,15)(7,10)(8,9),(1,13,6,10,2,14,5,9)(3,16,8,11,4,15,7,12),(1,13,5,9,2,14,6,10)(3,16,7,12,4,15,8,11),(1,15)(2,16)(3,9)(4,10)(5,11)(6,12)(7,14)(8,13),(1,15,2,16)(3,9,4,10)(5,11,6,12)(7,14,8,13)] ],
[ 17, [(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),(1,2)(3,12)(4,11)(5,6)(7,16)(8,15)(9,10)(13,14),(1,3,2,4)(5,8,6,7)(9,12,10,11)(13,16,14,15),(1,4,2,3)(5,7,6,8)(9,11,10,12)(13,15,14,16),(1,4,9,11)(2,3,10,12)(5,7,14,16)(6,8,13,15),(1,5,10,13)(2,6,9,14)(3,8,11,16)(4,7,12,15),(1,5,10,13)(2,6,9,14)(3,16,11,8)(4,15,12,7),(1,6,10,14)(2,5,9,13)(3,7,11,15)(4,8,12,16),(1,6,10,14)(2,5,9,13)(3,15,11,7)(4,16,12,8),(1,7,9,16)(2,8,10,15)(3,5,12,14)(4,6,11,13),(1,7,2,8)(3,13,4,14)(5,12,6,11)(9,16,10,15),(1,8,9,15)(2,7,10,16)(3,6,12,13)(4,5,11,14),(1,8,2,7)(3,14,4,13)(5,11,6,12)(9,15,10,16),(1,9)(2,10)(3,12)(4,11)(5,14)(6,13)(7,16)(8,15),(1,10)(2,9)(3,11)(4,12)(5,13)(6,14)(7,15)(8,16),(1,13,10,5)(2,14,9,6)(3,16,11,8)(4,15,12,7),(1,14,10,6)(2,13,9,5)(3,15,11,7)(4,16,12,8)] ],
[ 18, [(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),(1,2)(3,12)(4,11)(5,6)(7,15)(8,16)(9,10)(13,14),(1,3)(2,4)(5,8)(6,7)(9,12)(10,11)(13,15)(14,16),(1,3,10,11)(2,4,9,12)(5,8,13,15)(6,7,14,16),(1,4)(2,3)(5,7)(6,8)(9,11)(10,12)(13,16)(14,15),(1,4,10,12)(2,3,9,11)(5,7,13,16)(6,8,14,15),(1,5,10,13)(2,6,9,14)(3,8,11,15)(4,7,12,16),(1,5,10,13)(2,6,9,14)(3,15,11,8)(4,16,12,7),(1,6,10,14)(2,5,9,13)(3,7,11,16)(4,8,12,15),(1,6,10,14)(2,5,9,13)(3,16,11,7)(4,15,12,8),(1,7,10,16)(2,8,9,15)(3,6,11,14)(4,5,12,13),(1,7)(2,8)(3,14)(4,13)(5,12)(6,11)(9,15)(10,16),(1,8,10,15)(2,7,9,16)(3,5,11,13)(4,6,12,14),(1,8)(2,7)(3,13)(4,14)(5,11)(6,12)(9,16)(10,15),(1,9)(2,10)(3,12)(4,11)(5,14)(6,13)(7,15)(8,16),(1,10)(2,9)(3,11)(4,12)(5,13)(6,14)(7,16)(8,15),(1,13,10,5)(2,14,9,6)(3,15,11,8)(4,16,12,7),(1,14,10,6)(2,13,9,5)(3,16,11,7)(4,15,12,8)] ],
[ 19, [(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),(1,2)(3,4)(5,6)(7,9)(8,10)(11,13)(12,14)(15,16),(1,3,2,4)(5,15,6,16)(7,11,8,12)(9,13,10,14),(1,3,2,4)(5,15,6,16)(7,14,8,13)(9,12,10,11),(1,4,2,3)(5,16,6,15)(7,12,8,11)(9,14,10,13),(1,4,2,3)(5,16,6,15)(7,13,8,14)(9,11,10,12),(1,5,2,6)(3,15,4,16)(7,12,8,11)(9,14,10,13),(1,6,2,5)(3,16,4,15)(7,11,8,12)(9,13,10,14),(1,7)(2,8)(3,14)(4,13)(5,12)(6,11)(9,16)(10,15),(1,7,15,10)(2,8,16,9)(3,14,6,11)(4,13,5,12),(1,8)(2,7)(3,13)(4,14)(5,11)(6,12)(9,15)(10,16),(1,8,15,9)(2,7,16,10)(3,13,6,12)(4,14,5,11),(1,11,16,13)(2,12,15,14)(3,9,5,7)(4,10,6,8),(1,11,2,12)(3,9,4,10)(5,7,6,8)(13,15,14,16),(1,12,16,14)(2,11,15,13)(3,10,5,8)(4,9,6,7),(1,12,2,11)(3,10,4,9)(5,8,6,7)(13,16,14,15),(1,15)(2,16)(3,6)(4,5)(7,10)(8,9)(11,14)(12,13),(1,16)(2,15)(3,5)(4,6)(7,9)(8,10)(11,13)(12,14)] ],
[ 20, [(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),(1,3,2,4)(5,8,6,7)(9,15,10,16)(11,14,12,13),(1,5,2,6)(3,7,4,8)(9,13,10,14)(11,15,12,16),(1,7,2,8)(3,6,4,5)(9,11,10,12)(13,16,14,15),(1,7,2,8)(3,6,4,5)(9,12,10,11)(13,15,14,16),(1,9)(2,10)(3,15)(4,16)(5,14)(6,13)(7,11)(8,12),(1,9,2,10)(3,15,4,16)(5,14,6,13)(7,11,8,12),(1,11,2,12)(3,13,4,14)(5,15,6,16)(7,10,8,9),(1,11)(2,12)(3,13)(4,14)(5,15)(6,16)(7,10)(8,9),(1,13)(2,14)(3,12)(4,11)(5,9)(6,10)(7,15)(8,16),(1,13,2,14)(3,12,4,11)(5,9,6,10)(7,15,8,16),(1,15,2,16)(3,10,4,9)(5,12,6,11)(7,14,8,13),(1,15)(2,16)(3,10)(4,9)(5,12)(6,11)(7,14)(8,13)] ],
[ 21, [(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),(1,2)(3,4)(5,6)(7,9)(8,10)(11,13)(12,14)(15,16),(1,3)(2,4)(5,16)(6,15)(7,12)(8,11)(9,14)(10,13),(1,3)(2,4)(5,16)(6,15)(7,13)(8,14)(9,11)(10,12),(1,4)(2,3)(5,15)(6,16)(7,11)(8,12)(9,13)(10,14),(1,4)(2,3)(5,15)(6,16)(7,14)(8,13)(9,12)(10,11),(1,5)(2,6)(3,16)(4,15)(7,11)(8,12)(9,13)(10,14),(1,6)(2,5)(3,15)(4,16)(7,12)(8,11)(9,14)(10,13),(1,7,2,8)(3,13,4,14)(5,11,6,12)(9,15,10,16),(1,8,2,7)(3,14,4,13)(5,12,6,11)(9,16,10,15),(1,8,16,10)(2,7,15,9)(3,14,5,12)(4,13,6,11),(1,11,16,13)(2,12,15,14)(3,9,5,7)(4,10,6,8),(1,11,2,12)(3,9,4,10)(5,7,6,8)(13,15,14,16),(1,12,16,14)(2,11,15,13)(3,10,5,8)(4,9,6,7),(1,12,2,11)(3,10,4,9)(5,8,6,7)(13,16,14,15),(1,15)(2,16)(3,6)(4,5)(7,10)(8,9)(11,14)(12,13),(1,16)(2,15)(3,5)(4,6)(7,9)(8,10)(11,13)(12,14)] ],
[ 22, [(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),(1,3,6,7,2,4,5,8)(9,11,14,16,10,12,13,15),(1,3,6,7,2,4,5,8)(9,12,14,15,10,11,13,16),(1,4,6,8,2,3,5,7)(9,11,14,16,10,12,13,15),(1,5,2,6)(3,8,4,7)(9,13,10,14)(11,15,12,16),(1,5,2,6)(3,8,4,7)(9,14,10,13)(11,16,12,15),(1,6,2,5)(3,7,4,8)(9,14,10,13)(11,16,12,15),(1,7,5,3,2,8,6,4)(9,15,13,12,10,16,14,11),(1,7,5,3,2,8,6,4)(9,16,13,11,10,15,14,12),(1,8,5,4,2,7,6,3)(9,16,13,11,10,15,14,12),(1,9,3,12,6,14,7,15,2,10,4,11,5,13,8,16),(1,11,7,9,5,15,3,13,2,12,8,10,6,16,4,14),(1,11,8,10,5,15,4,14,2,12,7,9,6,16,3,13),(1,13,3,16,6,9,7,12,2,14,4,15,5,10,8,11),(1,13,4,15,6,9,8,11,2,14,3,16,5,10,7,12),(1,15,7,13,5,12,3,10,2,16,8,14,6,11,4,9),(1,15,8,14,5,12,4,9,2,16,7,13,6,11,3,10)] ],
[ 23, [(1,2)(3,4)(5,6)(7,9)(8,10)(11,13)(12,14)(15,16),(1,3)(2,4)(5,15)(6,16)(7,11)(8,12)(9,13)(10,14),(1,3,16,6)(2,4,15,5)(7,11,10,14)(8,12,9,13),(1,4)(2,3)(5,16)(6,15)(7,13)(8,14)(9,11)(10,12),(1,4,16,5)(2,3,15,6)(7,13,10,12)(8,14,9,11),(1,7)(2,8)(3,11)(4,12)(5,13)(6,14)(9,15)(10,16),(1,7)(2,8)(3,14)(4,13)(5,12)(6,11)(9,15)(10,16),(1,8,16,9)(2,7,15,10)(3,12,6,13)(4,11,5,14),(1,8,16,9)(2,7,15,10)(3,13,6,12)(4,14,5,11),(1,11)(2,12)(3,7)(4,8)(5,9)(6,10)(13,15)(14,16),(1,11,16,14)(2,12,15,13)(3,10,6,7)(4,9,5,8),(1,12,16,13)(2,11,15,14)(3,8,6,9)(4,7,5,10),(1,12)(2,11)(3,9)(4,10)(5,7)(6,8)(13,16)(14,15),(1,16)(2,15)(3,6)(4,5)(7,10)(8,9)(11,14)(12,13)] ],
[ 24, [(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),(1,2)(3,11)(4,12)(5,6)(7,15)(8,16)(9,10)(13,14),(1,3,5,7,10,11,14,15)(2,4,6,8,9,12,13,16),(1,4,5,8,10,12,14,16)(2,3,6,7,9,11,13,15),(1,4,13,15,10,12,6,7)(2,3,14,16,9,11,5,8),(1,5,10,14)(2,6,9,13)(3,7,11,15)(4,8,12,16),(1,5,10,14)(2,6,9,13)(3,16,11,8)(4,15,12,7),(1,6,10,13)(2,5,9,14)(3,8,11,16)(4,7,12,15),(1,6,10,13)(2,5,9,14)(3,15,11,7)(4,16,12,8),(1,7,6,12,10,15,13,4)(2,8,5,11,9,16,14,3),(1,7,14,3,10,15,5,11)(2,8,13,4,9,16,6,12),(1,8,6,11,10,16,13,3)(2,7,5,12,9,15,14,4),(1,8,14,4,10,16,5,12)(2,7,13,3,9,15,6,11),(1,9)(2,10)(3,12)(4,11)(5,13)(6,14)(7,16)(8,15),(1,10)(2,9)(3,11)(4,12)(5,14)(6,13)(7,15)(8,16),(1,13,10,6)(2,14,9,5)(3,16,11,8)(4,15,12,7),(1,14,10,5)(2,13,9,6)(3,15,11,7)(4,16,12,8)] ],
[ 25, [(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),(1,2)(3,4)(5,6)(7,9)(8,10)(11,13)(12,14)(15,16),(1,3)(2,4)(5,16)(6,15)(7,11)(8,12)(9,13)(10,14),(1,3)(2,4)(5,16)(6,15)(7,14)(8,13)(9,12)(10,11),(1,4)(2,3)(5,15)(6,16)(7,12)(8,11)(9,14)(10,13),(1,4)(2,3)(5,15)(6,16)(7,13)(8,14)(9,11)(10,12),(1,5)(2,6)(3,16)(4,15)(7,12)(8,11)(9,14)(10,13),(1,6)(2,5)(3,15)(4,16)(7,11)(8,12)(9,13)(10,14),(1,7)(2,8)(3,14)(4,13)(5,12)(6,11)(9,16)(10,15),(1,7,15,10)(2,8,16,9)(3,14,6,11)(4,13,5,12),(1,8)(2,7)(3,13)(4,14)(5,11)(6,12)(9,15)(10,16),(1,8,15,9)(2,7,16,10)(3,13,6,12)(4,14,5,11),(1,11,15,14)(2,12,16,13)(3,10,6,7)(4,9,5,8),(1,11)(2,12)(3,10)(4,9)(5,8)(6,7)(13,16)(14,15),(1,12,15,13)(2,11,16,14)(3,9,6,8)(4,10,5,7),(1,12)(2,11)(3,9)(4,10)(5,7)(6,8)(13,15)(14,16),(1,15)(2,16)(3,6)(4,5)(7,10)(8,9)(11,14)(12,13),(1,16)(2,15)(3,5)(4,6)(7,9)(8,10)(11,13)(12,14)] ],
[ 26, [(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),(1,2)(3,16)(4,15)(5,13)(6,14)(7,11)(8,12)(9,10),(1,3,2,4)(5,16,6,15)(7,13,8,14)(9,11,10,12),(1,3,5,7,9,11,14,16)(2,4,6,8,10,12,13,15),(1,4,2,3)(5,15,6,16)(7,14,8,13)(9,12,10,11),(1,4,5,8,9,12,14,15)(2,3,6,7,10,11,13,16),(1,5,9,14)(2,6,10,13)(3,7,11,16)(4,8,12,15),(1,6,9,13)(2,5,10,14)(3,8,11,15)(4,7,12,16),(1,7,14,3,9,16,5,11)(2,8,13,4,10,15,6,12),(1,8,14,4,9,15,5,12)(2,7,13,3,10,16,6,11),(1,9)(2,10)(3,11)(4,12)(5,14)(6,13)(7,16)(8,15),(1,10)(2,9)(3,12)(4,11)(5,13)(6,14)(7,15)(8,16)] ],
[ 27, [(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),(1,3,2,4)(5,7,6,8)(9,12,10,11)(13,15,14,16),(1,5,10,13)(2,6,9,14)(3,8,11,16)(4,7,12,15),(1,5,9,14)(2,6,10,13)(3,16,12,7)(4,15,11,8),(1,7,10,15)(2,8,9,16)(3,5,11,13)(4,6,12,14),(1,7,2,8)(3,13,4,14)(5,12,6,11)(9,16,10,15),(1,8,2,7)(3,14,4,13)(5,11,6,12)(9,15,10,16),(1,9)(2,10)(3,12)(4,11)(5,14)(6,13)(7,16)(8,15),(1,10)(2,9)(3,11)(4,12)(5,13)(6,14)(7,15)(8,16),(1,13,10,5)(2,14,9,6)(3,16,11,8)(4,15,12,7)] ],
[ 28, [(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),(1,3,5,16,2,4,6,15)(7,9,11,13,8,10,12,14),(1,3,14,8)(2,4,13,7)(5,16,9,12)(6,15,10,11),(1,4,14,7)(2,3,13,8)(5,15,9,11)(6,16,10,12),(1,5,2,6)(3,7,4,8)(9,14,10,13)(11,15,12,16),(1,5,2,6)(3,16,4,15)(7,11,8,12)(9,13,10,14),(1,6,2,5)(3,15,4,16)(7,12,8,11)(9,14,10,13),(1,7,14,4)(2,8,13,3)(5,11,9,15)(6,12,10,16),(1,7,6,12,2,8,5,11)(3,10,15,13,4,9,16,14),(1,8,14,3)(2,7,13,4)(5,12,9,16)(6,11,10,15),(1,9,2,10)(3,12,4,11)(5,13,6,14)(7,15,8,16),(1,13)(2,14)(3,7)(4,8)(5,10)(6,9)(11,16)(12,15)] ],
[ 29, [(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),(1,2)(3,16)(4,15)(5,13)(6,14)(7,11)(8,12)(9,10),(1,3)(2,4)(5,15)(6,16)(7,13)(8,14)(9,12)(10,11),(1,3,5,8,10,11,14,15)(2,4,6,7,9,12,13,16),(1,4)(2,3)(5,16)(6,15)(7,14)(8,13)(9,11)(10,12),(1,4,5,7,10,12,14,16)(2,3,6,8,9,11,13,15),(1,5,10,14)(2,6,9,13)(3,8,11,15)(4,7,12,16),(1,6,10,13)(2,5,9,14)(3,7,11,16)(4,8,12,15),(1,7,14,4,10,16,5,12)(2,8,13,3,9,15,6,11),(1,8,14,3,10,15,5,11)(2,7,13,4,9,16,6,12),(1,9)(2,10)(3,12)(4,11)(5,13)(6,14)(7,15)(8,16),(1,10)(2,9)(3,11)(4,12)(5,14)(6,13)(7,16)(8,15)] ],
[ 30, [(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),(1,3)(2,4)(5,16)(6,15)(7,12)(8,11)(9,14)(10,13),(1,3,2,4)(5,15,6,16)(7,14,8,13)(9,12,10,11),(1,5,2,6)(3,15,4,16)(7,12,8,11)(9,14,10,13),(1,7,2,8)(3,13,4,14)(5,11,6,12)(9,15,10,16),(1,7,15,10)(2,8,16,9)(3,14,6,11)(4,13,5,12),(1,8,15,9)(2,7,16,10)(3,13,6,12)(4,14,5,11),(1,11,16,13)(2,12,15,14)(3,9,5,7)(4,10,6,8),(1,11,2,12)(3,10,4,9)(5,8,6,7)(13,15,14,16),(1,12,16,14)(2,11,15,13)(3,10,5,8)(4,9,6,7),(1,15)(2,16)(3,6)(4,5)(7,10)(8,9)(11,14)(12,13),(1,16)(2,15)(3,5)(4,6)(7,9)(8,10)(11,13)(12,14)] ],
[ 31, [(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),(1,2)(3,4)(5,6)(7,9)(8,10)(11,13)(12,14)(15,16),(1,3,2,4)(5,15,6,16)(7,11,8,12)(9,13,10,14),(1,3,2,4)(5,15,6,16)(7,14,8,13)(9,12,10,11),(1,4,2,3)(5,16,6,15)(7,12,8,11)(9,14,10,13),(1,5,2,6)(3,15,4,16)(7,12,8,11)(9,14,10,13),(1,7,2,8)(3,13,4,14)(5,11,6,12)(9,15,10,16),(1,7,16,9)(2,8,15,10)(3,13,5,11)(4,14,6,12),(1,11,16,13)(2,12,15,14)(3,10,5,8)(4,9,6,7),(1,11,2,12)(3,10,4,9)(5,8,6,7)(13,15,14,16),(1,15)(2,16)(3,6)(4,5)(7,10)(8,9)(11,14)(12,13),(1,16)(2,15)(3,5)(4,6)(7,9)(8,10)(11,13)(12,14)] ],
[ 32, [(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),(1,3,2,4)(5,15,6,16)(7,11,8,12)(9,14,10,13),(1,3,2,4)(5,16,6,15)(7,13,8,14)(9,12,10,11),(1,5)(2,6)(3,16)(4,15)(7,11)(8,12)(9,13)(10,14),(1,7,2,8)(3,14,4,13)(5,11,6,12)(9,16,10,15),(1,7,15,10,2,8,16,9)(3,14,5,12,4,13,6,11),(1,11,2,12)(3,10,4,9)(5,7,6,8)(13,16,14,15),(1,11,16,13,2,12,15,14)(3,10,6,7,4,9,5,8),(1,15,2,16)(3,5,4,6)(7,10,8,9)(11,14,12,13)] ],
[ 33, [(1,2)(3,15)(4,16)(5,6)(7,10,12,13)(8,9,11,14),(1,3)(2,4)(5,15)(6,16)(7,9)(8,10)(11,13)(12,14),(1,3)(2,4)(5,15)(6,16)(7,14)(8,13)(9,12)(10,11),(1,6)(2,5)(3,16)(4,15)(7,12)(8,11)(9,14)(10,13),(1,7,3,9)(2,8,4,10)(5,11,15,13)(6,12,16,14),(1,7,16,14)(2,8,15,13)(3,9,6,12)(4,10,5,11),(1,8)(2,7)(3,13)(4,14)(5,12)(6,11)(9,15)(10,16),(1,8,6,11)(2,7,5,12)(3,13,16,10)(4,14,15,9)] ],
[ 34, [(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),(1,3)(2,4)(5,16)(6,15)(7,13)(8,14)(9,11)(10,12),(1,3,2,4)(5,15,6,16)(7,11,8,12)(9,13,10,14),(1,5)(2,6)(3,16)(4,15)(7,11)(8,12)(9,13)(10,14),(1,7,16,9)(2,8,15,10)(3,13,5,11)(4,14,6,12),(1,7)(2,8)(3,14)(4,13)(5,12)(6,11)(9,16)(10,15),(1,8,16,10)(2,7,15,9)(3,14,5,12)(4,13,6,11),(1,11,16,13)(2,12,15,14)(3,9,5,7)(4,10,6,8),(1,11,2,12)(3,10,4,9)(5,8,6,7)(13,15,14,16),(1,12,16,14)(2,11,15,13)(3,10,5,8)(4,9,6,7),(1,15)(2,16)(3,6)(4,5)(7,10)(8,9)(11,14)(12,13),(1,16)(2,15)(3,5)(4,6)(7,9)(8,10)(11,13)(12,14)] ],
[ 35, [(1,2)(3,7)(4,8)(5,14)(6,13)(9,10)(11,15)(12,16),(1,3)(2,4)(5,15)(6,16)(7,13)(8,14)(9,11)(10,12),(1,3,9,11)(2,4,10,12)(5,15,13,7)(6,16,14,8),(1,4,6,7,9,12,14,15)(2,3,5,8,10,11,13,16),(1,4,14,15,9,12,6,7)(2,3,13,16,10,11,5,8),(1,6,9,14)(2,5,10,13)(3,8,11,16)(4,7,12,15),(1,6,9,14)(2,5,10,13)(3,16,11,8)(4,15,12,7),(1,9)(2,10)(3,11)(4,12)(5,13)(6,14)(7,15)(8,16)] ],
[ 37, [(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),(1,3)(2,4)(5,16)(6,15)(7,13)(8,14)(9,11)(10,12),(1,3,2,4)(5,15,6,16)(7,11,8,12)(9,13,10,14),(1,5)(2,6)(3,16)(4,15)(7,11)(8,12)(9,13)(10,14),(1,7,2,8)(3,13,4,14)(5,11,6,12)(9,15,10,16),(1,7,15,10)(2,8,16,9)(3,14,6,11)(4,13,5,12),(1,8,2,7)(3,14,4,13)(5,12,6,11)(9,16,10,15),(1,11,2,12)(3,9,4,10)(5,7,6,8)(13,15,14,16),(1,11,16,13)(2,12,15,14)(3,10,5,8)(4,9,6,7),(1,12,2,11)(3,10,4,9)(5,8,6,7)(13,16,14,15),(1,15)(2,16)(3,6)(4,5)(7,10)(8,9)(11,14)(12,13),(1,16)(2,15)(3,5)(4,6)(7,9)(8,10)(11,13)(12,14)] ],
[ 38, [(1,2)(3,11)(4,12)(5,6)(7,15)(8,16)(9,10)(13,14),(1,2)(3,15)(4,16)(5,13)(6,14)(7,11)(8,12)(9,10),(1,3)(2,4)(5,15)(6,16)(7,13)(8,14)(9,11)(10,12),(1,3,13,16,10,12,6,7)(2,4,14,15,9,11,5,8),(1,4,6,8,10,11,13,15)(2,3,5,7,9,12,14,16),(1,4,10,11)(2,3,9,12)(5,16,14,7)(6,15,13,8),(1,5,10,14)(2,6,9,13)(3,15,12,8)(4,16,11,7),(1,6,10,13)(2,5,9,14)(3,7,12,16)(4,8,11,15),(1,10)(2,9)(3,12)(4,11)(5,14)(6,13)(7,16)(8,15)] ],
[ 39, [(1,2)(3,4)(5,6)(7,9)(8,10)(11,13)(12,14)(15,16),(1,3)(2,4)(5,15)(6,16)(7,12)(8,11)(9,14)(10,13),(1,4)(2,3)(5,16)(6,15)(7,10)(8,9)(11,14)(12,13),(1,4)(2,3)(5,16)(6,15)(7,14)(8,13)(9,12)(10,11),(1,5)(2,6)(3,15)(4,16)(7,11)(8,12)(9,13)(10,14),(1,7)(2,8)(3,13)(4,14)(5,11)(6,12)(9,15)(10,16),(1,7,5,11)(2,8,6,12)(3,13,15,9)(4,14,16,10),(1,8,4,13)(2,7,3,14)(5,12,16,9)(6,11,15,10),(1,8,16,9)(2,7,15,10)(3,14,6,11)(4,13,5,12),(1,16)(2,15)(3,6)(4,5)(7,10)(8,9)(11,14)(12,13)] ],
[ 41, [(1,2)(3,12)(4,11)(5,6)(7,16)(8,15)(9,10)(13,14),(1,3,6,7,9,11,14,15)(2,4,5,8,10,12,13,16),(1,5)(2,6)(3,7)(4,8)(9,13)(10,14)(11,15)(12,16),(1,5,9,13)(2,6,10,14)(3,16,11,8)(4,15,12,7),(1,6,9,14)(2,5,10,13)(3,7,11,15)(4,8,12,16),(1,7,13,12,9,15,5,4)(2,8,14,11,10,16,6,3),(1,7,14,3,9,15,6,11)(2,8,13,4,10,16,5,12),(1,9)(2,10)(3,11)(4,12)(5,13)(6,14)(7,15)(8,16)] ],
[ 42, [(1,2)(3,4)(5,6)(7,9,11,13)(8,10,12,14)(15,16),(1,4,5,16)(2,3,6,15)(7,10,11,14)(8,9,12,13),(1,4,5,16)(2,3,6,15)(7,14,11,10)(8,13,12,9),(1,5)(2,6)(3,15)(4,16)(7,11)(8,12)(9,13)(10,14),(1,6)(2,5)(3,16)(4,15)(7,13,11,9)(8,14,12,10),(1,7)(2,8)(3,9)(4,10)(5,11)(6,12)(13,15)(14,16),(1,7,5,11)(2,8,6,12)(3,9,15,13)(4,10,16,14),(1,8,4,9,5,12,16,13)(2,7,3,10,6,11,15,14),(1,8,16,13,5,12,4,9)(2,7,15,14,6,11,3,10),(1,16,5,4)(2,15,6,3)(7,14,11,10)(8,13,12,9)] ],
[ 43, [(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),(1,2)(3,4)(5,6)(7,9)(8,10)(11,13)(12,14)(15,16),(1,3,2,4)(5,15,6,16)(7,12,8,11)(9,14,10,13),(1,3,2,4)(5,15,6,16)(7,13,8,14)(9,11,10,12),(1,4,2,3)(5,16,6,15)(7,11,8,12)(9,13,10,14),(1,5,2,6)(3,15,4,16)(7,11,8,12)(9,13,10,14),(1,7)(2,8)(3,14)(4,13)(5,12)(6,11)(9,16)(10,15),(1,7,15,10)(2,8,16,9)(3,14,6,11)(4,13,5,12),(1,11,15,14)(2,12,16,13)(3,9,6,8)(4,10,5,7),(1,11)(2,12)(3,9)(4,10)(5,7)(6,8)(13,16)(14,15),(1,15)(2,16)(3,6)(4,5)(7,10)(8,9)(11,14)(12,13),(1,16)(2,15)(3,5)(4,6)(7,9)(8,10)(11,13)(12,14)] ],
[ 44, [(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),(1,3,2,4)(5,15,6,16)(7,11,8,12)(9,14,10,13),(1,3,2,4)(5,16,6,15)(7,13,8,14)(9,12,10,11),(1,4,2,3)(5,15,6,16)(7,14,8,13)(9,11,10,12),(1,5)(2,6)(3,16)(4,15)(7,11)(8,12)(9,13)(10,14),(1,7,16,9,2,8,15,10)(3,13,6,12,4,14,5,11),(1,7)(2,8)(3,13)(4,14)(5,12)(6,11)(9,15)(10,16),(1,8,16,10,2,7,15,9)(3,14,6,11,4,13,5,12),(1,11,16,13,2,12,15,14)(3,9,6,8,4,10,5,7),(1,11,2,12)(3,9,4,10)(5,8,6,7)(13,16,14,15),(1,12,16,14,2,11,15,13)(3,10,6,7,4,9,5,8),(1,15,2,16)(3,5,4,6)(7,10,8,9)(11,14,12,13)] ],
[ 45, [(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),(1,3,2,4)(5,15,6,16)(7,12,8,11)(9,13,10,14),(1,3,2,4)(5,16,6,15)(7,14,8,13)(9,11,10,12),(1,5)(2,6)(3,16)(4,15)(7,12)(8,11)(9,14)(10,13),(1,7,16,9,2,8,15,10)(3,13,6,12,4,14,5,11),(1,7)(2,8)(3,13)(4,14)(5,12)(6,11)(9,15)(10,16),(1,11,15,14,2,12,16,13)(3,9,5,7,4,10,6,8),(1,11)(2,12)(3,9)(4,10)(5,8)(6,7)(13,15)(14,16),(1,15,2,16)(3,5,4,6)(7,10,8,9)(11,14,12,13)] ],
[ 46, [(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),(1,3)(2,4)(5,16)(6,15)(7,14)(8,13)(9,12)(10,11),(1,3,2,4)(5,15,6,16)(7,12,8,11)(9,14,10,13),(1,5)(2,6)(3,16)(4,15)(7,12)(8,11)(9,14)(10,13),(1,7,16,9)(2,8,15,10)(3,13,5,11)(4,14,6,12),(1,11,15,14)(2,12,16,13)(3,9,6,8)(4,10,5,7),(1,11)(2,12)(3,10)(4,9)(5,8)(6,7)(13,16)(14,15),(1,12)(2,11)(3,9)(4,10)(5,7)(6,8)(13,15)(14,16),(1,15)(2,16)(3,6)(4,5)(7,10)(8,9)(11,14)(12,13),(1,16)(2,15)(3,5)(4,6)(7,9)(8,10)(11,13)(12,14)] ],
[ 47, [(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),(1,3,5,7,2,4,6,8)(9,11,13,15,10,12,14,16),(1,3,5,7,2,4,6,8)(9,12,13,16,10,11,14,15),(1,4,5,8,2,3,6,7)(9,11,13,15,10,12,14,16),(1,4,5,8,2,3,6,7)(9,12,13,16,10,11,14,15),(1,5,2,6)(3,7,4,8)(9,13,10,14)(11,15,12,16),(1,5,2,6)(3,7,4,8)(9,14,10,13)(11,16,12,15),(1,6,2,5)(3,8,4,7)(9,13,10,14)(11,15,12,16),(1,9)(2,10)(3,15)(4,16)(5,14)(6,13)(7,11)(8,12),(1,9,2,10)(3,15,4,16)(5,14,6,13)(7,11,8,12),(1,11,2,12)(3,10,4,9)(5,16,6,15)(7,13,8,14),(1,11)(2,12)(3,10)(4,9)(5,16)(6,15)(7,13)(8,14)] ],
[ 48, [(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),(1,2)(3,8)(4,7)(5,14)(6,13)(9,10)(11,16)(12,15),(1,3,6,7,9,12,14,16)(2,4,5,8,10,11,13,15),(1,3,9,12)(2,4,10,11)(5,15,13,8)(6,16,14,7),(1,4,6,8,9,11,14,15)(2,3,5,7,10,12,13,16),(1,4,9,11)(2,3,10,12)(5,16,13,7)(6,15,14,8),(1,5,9,13)(2,6,10,14)(3,8,12,15)(4,7,11,16),(1,6,9,14)(2,5,10,13)(3,7,12,16)(4,8,11,15),(1,9)(2,10)(3,12)(4,11)(5,13)(6,14)(7,16)(8,15),(1,10)(2,9)(3,11)(4,12)(5,14)(6,13)(7,15)(8,16),(1,11,6,15,9,4,14,8)(2,12,5,16,10,3,13,7),(1,12,6,16,9,3,14,7)(2,11,5,15,10,4,13,8)] ],
[ 49, [(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),(1,3,6,7,2,4,5,8)(9,11,14,15,10,12,13,16),(1,3,6,7,2,4,5,8)(9,12,14,16,10,11,13,15),(1,4,6,8,2,3,5,7)(9,11,14,15,10,12,13,16),(1,4,6,8,2,3,5,7)(9,12,14,16,10,11,13,15),(1,5,2,6)(3,8,4,7)(9,13,10,14)(11,16,12,15),(1,5,2,6)(3,8,4,7)(9,14,10,13)(11,15,12,16),(1,6,2,5)(3,7,4,8)(9,13,10,14)(11,16,12,15),(1,9,5,14,2,10,6,13)(3,16,8,11,4,15,7,12),(1,11,6,16,2,12,5,15)(3,9,7,13,4,10,8,14),(1,11,5,15,2,12,6,16)(3,9,8,14,4,10,7,13)] ],
[ 50, [(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),(1,3,2,4)(5,7,6,8)(9,15,10,16)(11,14,12,13),(1,3,2,4)(5,7,6,8)(9,16,10,15)(11,13,12,14),(1,5,2,6)(3,8,4,7)(9,13,10,14)(11,15,12,16),(1,9,3,16,2,10,4,15)(5,11,7,13,6,12,8,14),(1,9,4,15,2,10,3,16)(5,11,8,14,6,12,7,13),(1,11,2,12)(3,14,4,13)(5,10,6,9)(7,16,8,15),(1,11)(2,12)(3,14)(4,13)(5,10)(6,9)(7,16)(8,15)] ],
[ 51, [(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),(1,3)(2,4)(5,16)(6,15)(7,11)(8,12)(9,13)(10,14),(1,7,16,9)(2,8,15,10)(3,13,5,11)(4,14,6,12),(1,7)(2,8)(3,14)(4,13)(5,12)(6,11)(9,16)(10,15),(1,8,16,10)(2,7,15,9)(3,14,5,12)(4,13,6,11),(1,11)(2,12)(3,9)(4,10)(5,7)(6,8)(13,16)(14,15),(1,11,15,14)(2,12,16,13)(3,10,6,7)(4,9,5,8),(1,12,15,13)(2,11,16,14)(3,9,6,8)(4,10,5,7),(1,15)(2,16)(3,6)(4,5)(7,10)(8,9)(11,14)(12,13),(1,16)(2,15)(3,5)(4,6)(7,9)(8,10)(11,13)(12,14)] ],
[ 52, [(1,2)(3,12)(4,11)(5,6)(7,16)(8,15)(9,10)(13,14),(1,3,5,7)(2,4,6,8)(9,11,13,15)(10,12,14,16),(1,5)(2,6)(3,7)(4,8)(9,13)(10,14)(11,15)(12,16),(1,5,9,13)(2,6,10,14)(3,16,11,8)(4,15,12,7),(1,6)(2,5)(3,16)(4,15)(7,12)(8,11)(9,14)(10,13),(1,7,5,3)(2,8,6,4)(9,15,13,11)(10,16,14,12),(1,7,6,12)(2,8,5,11)(3,10,16,13)(4,9,15,14),(1,9)(2,10)(3,11)(4,12)(5,13)(6,14)(7,15)(8,16)] ],
[ 54, [(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),(1,2)(3,12)(4,11)(5,6)(7,15)(8,16)(9,10)(13,14),(1,3)(2,4)(5,7)(6,8)(9,11)(10,12)(13,16)(14,15),(1,3,9,11)(2,4,10,12)(5,7,13,16)(6,8,14,15),(1,5,9,13)(2,6,10,14)(3,8,11,15)(4,7,12,16),(1,7,10,15)(2,8,9,16)(3,6,12,13)(4,5,11,14),(1,7,2,8)(3,14,4,13)(5,11,6,12)(9,16,10,15),(1,9)(2,10)(3,11)(4,12)(5,13)(6,14)(7,16)(8,15),(1,10)(2,9)(3,12)(4,11)(5,14)(6,13)(7,15)(8,16),(1,13,9,5)(2,14,10,6)(3,15,11,8)(4,16,12,7)] ],
[ 57, [(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),(1,2)(3,5,15,4,6,16)(7,13,9,8,14,10)(11,12),(1,3)(2,4)(5,15)(6,16)(7,13)(8,14)(9,11)(10,12),(1,4)(2,3)(5,16)(6,15)(7,14)(8,13)(9,12)(10,11),(1,7,15,11,5,14,2,8,16,12,6,13)(3,10,4,9),(1,7,3,11,5,9,2,8,4,12,6,10)(13,16,14,15),(1,7,2,8)(3,13,4,14)(5,12,6,11)(9,15,10,16),(1,8,15,12,5,13,2,7,16,11,6,14)(3,9,4,10),(1,8,3,12,5,10,2,7,4,11,6,9)(13,15,14,16),(1,8,2,7)(3,14,4,13)(5,11,6,12)(9,16,10,15),(1,11,2,12)(3,9,4,10)(5,8,6,7)(13,15,14,16),(1,12,2,11)(3,10,4,9)(5,7,6,8)(13,16,14,15)] ],
[ 58, [(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),(1,2)(3,5,15,4,6,16)(7,14,9,8,13,10)(11,12),(1,3)(2,4)(5,15)(6,16)(7,14)(8,13)(9,12)(10,11),(1,4)(2,3)(5,16)(6,15)(7,13)(8,14)(9,11)(10,12),(1,7,16,11,5,13)(2,8,15,12,6,14)(3,10)(4,9),(1,7,4,11,5,9)(2,8,3,12,6,10)(13,16)(14,15),(1,8,16,12,5,14)(2,7,15,11,6,13)(3,9)(4,10),(1,8,4,12,5,10)(2,7,3,11,6,9)(13,15)(14,16),(1,8)(2,7)(3,13)(4,14)(5,12)(6,11)(9,15)(10,16),(1,12)(2,11)(3,9)(4,10)(5,8)(6,7)(13,15)(14,16)] ],
[ 59, [(1,2)(3,14,15,4,13,16)(5,8,12,6,7,11)(9,10),(1,3,9,12)(2,4,10,11)(5,15,13,7)(6,16,14,8),(1,6,12,10,13,4)(2,5,11,9,14,3)(7,16)(8,15),(1,9)(2,10)(3,12)(4,11)(5,13)(6,14)(7,15)(8,16)] ],
[ 60, [(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),(1,3,2,4)(5,16,6,15)(7,14,8,13)(9,12,10,11),(1,7,15,12,6,13,2,8,16,11,5,14)(3,9,4,10),(1,8,15,11,6,14,2,7,16,12,5,13)(3,10,4,9)] ],
[ 67, [(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),(1,3,2,4)(5,7,6,8)(9,11,10,12)(13,16,14,15),(1,3,2,4)(5,8,6,7)(9,12,10,11)(13,16,14,15),(1,4,2,3)(5,7,6,8)(9,11,10,12)(13,15,14,16),(1,5)(2,6)(3,8)(4,7)(9,15)(10,16)(11,14)(12,13),(1,5,2,6)(3,8,4,7)(9,15,10,16)(11,14,12,13),(1,7)(2,8)(3,5)(4,6)(9,13)(10,14)(11,15)(12,16),(1,7)(2,8)(3,5)(4,6)(9,14)(10,13)(11,16)(12,15),(1,7,2,8)(3,5,4,6)(9,13,10,14)(11,15,12,16),(1,7,2,8)(3,5,4,6)(9,14,10,13)(11,16,12,15),(1,9)(2,10)(3,12)(4,11)(5,15)(6,16)(7,14)(8,13),(1,9,2,10)(3,12,4,11)(5,15,6,16)(7,14,8,13),(1,9)(2,10)(3,12)(4,11)(5,16)(6,15)(7,13)(8,14),(1,9,2,10)(3,12,4,11)(5,16,6,15)(7,13,8,14),(1,11)(2,12)(3,9)(4,10)(5,13)(6,14)(7,15)(8,16),(1,11,2,12)(3,9,4,10)(5,13,6,14)(7,15,8,16),(1,11)(2,12)(3,9)(4,10)(5,14)(6,13)(7,16)(8,15),(1,11,2,12)(3,9,4,10)(5,14,6,13)(7,16,8,15),(1,13,2,14)(3,16,4,15)(5,11,6,12)(7,10,8,9),(1,13)(2,14)(3,16)(4,15)(5,11)(6,12)(7,10)(8,9),(1,13)(2,14)(3,16)(4,15)(5,12)(6,11)(7,9)(8,10),(1,13,2,14)(3,16,4,15)(5,12,6,11)(7,9,8,10),(1,15)(2,16)(3,13)(4,14)(5,9)(6,10)(7,11)(8,12),(1,15,2,16)(3,13,4,14)(5,9,6,10)(7,11,8,12),(1,15,2,16)(3,13,4,14)(5,10,6,9)(7,12,8,11),(1,15)(2,16)(3,13)(4,14)(5,10)(6,9)(7,12)(8,11)] ],
[ 68, [(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),(1,2)(3,4)(5,6)(7,9)(8,10)(11,13)(12,14)(15,16),(1,2)(3,6)(4,5)(7,9)(8,10)(11,12)(13,14)(15,16),(1,3,2,4)(5,15,6,16)(7,11,8,12)(9,13,10,14),(1,4,2,3)(5,16,6,15)(7,12,8,11)(9,14,10,13),(1,4,2,3)(5,16,6,15)(7,13,8,14)(9,11,10,12),(1,4,15,5)(2,3,16,6)(7,12,9,14)(8,11,10,13),(1,4,15,5)(2,3,16,6)(7,13,9,11)(8,14,10,12),(1,7,2,8)(3,11,4,12)(5,14,6,13)(9,16,10,15),(1,7,15,9)(2,8,16,10)(3,11,6,13)(4,12,5,14),(1,7,2,8)(3,14,4,13)(5,11,6,12)(9,16,10,15),(1,7,15,9)(2,8,16,10)(3,14,6,12)(4,13,5,11),(1,8,2,7)(3,12,4,11)(5,13,6,14)(9,15,10,16),(1,8,15,10)(2,7,16,9)(3,12,6,14)(4,11,5,13),(1,8,2,7)(3,13,4,14)(5,12,6,11)(9,15,10,16),(1,8,15,10)(2,7,16,9)(3,13,6,11)(4,14,5,12),(1,11)(2,12)(3,8)(4,7)(5,9)(6,10)(13,15)(14,16),(1,11,16,14)(2,12,15,13)(3,8,5,9)(4,7,6,10),(1,11,16,14)(2,12,15,13)(3,9,5,8)(4,10,6,7),(1,11)(2,12)(3,9)(4,10)(5,8)(6,7)(13,15)(14,16),(1,12)(2,11)(3,7)(4,8)(5,10)(6,9)(13,16)(14,15),(1,12,16,13)(2,11,15,14)(3,7,5,10)(4,8,6,9),(1,12,16,13)(2,11,15,14)(3,10,5,7)(4,9,6,8),(1,12)(2,11)(3,10)(4,9)(5,7)(6,8)(13,16)(14,15),(1,15)(2,16)(3,6)(4,5)(7,9)(8,10)(11,13)(12,14),(1,16)(2,15)(3,5)(4,6)(7,10)(8,9)(11,14)(12,13)] ],
[ 69, [(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),(1,2)(3,4)(5,6)(7,9)(8,10)(11,13)(12,14)(15,16),(1,3)(2,4)(5,16)(6,15)(7,12)(8,11)(9,14)(10,13),(1,3,16,5)(2,4,15,6)(7,12,10,13)(8,11,9,14),(1,4)(2,3)(5,15)(6,16)(7,11)(8,12)(9,13)(10,14),(1,4)(2,3)(5,15)(6,16)(7,14)(8,13)(9,12)(10,11),(1,4,16,6)(2,3,15,5)(7,11,10,14)(8,12,9,13),(1,4,16,6)(2,3,15,5)(7,14,10,11)(8,13,9,12),(1,7)(2,8)(3,12)(4,11)(5,13)(6,14)(9,15)(10,16),(1,7,16,10)(2,8,15,9)(3,12,5,13)(4,11,6,14),(1,7)(2,8)(3,13)(4,14)(5,12)(6,11)(9,15)(10,16),(1,7,16,10)(2,8,15,9)(3,13,5,12)(4,14,6,11),(1,8)(2,7)(3,11)(4,12)(5,14)(6,13)(9,16)(10,15),(1,8,16,9)(2,7,15,10)(3,11,5,14)(4,12,6,13),(1,8)(2,7)(3,14)(4,13)(5,11)(6,12)(9,16)(10,15),(1,8,16,9)(2,7,15,10)(3,14,5,11)(4,13,6,12),(1,11)(2,12)(3,8)(4,7)(5,9)(6,10)(13,15)(14,16),(1,11,16,14)(2,12,15,13)(3,8,5,9)(4,7,6,10),(1,11,16,14)(2,12,15,13)(3,9,5,8)(4,10,6,7),(1,11)(2,12)(3,9)(4,10)(5,8)(6,7)(13,15)(14,16),(1,12)(2,11)(3,7)(4,8)(5,10)(6,9)(13,16)(14,15),(1,12,16,13)(2,11,15,14)(3,7,5,10)(4,8,6,9),(1,12,16,13)(2,11,15,14)(3,10,5,7)(4,9,6,8),(1,12)(2,11)(3,10)(4,9)(5,7)(6,8)(13,16)(14,15),(1,15)(2,16)(3,6)(4,5)(7,9)(8,10)(11,13)(12,14),(1,16)(2,15)(3,5)(4,6)(7,10)(8,9)(11,14)(12,13)] ],
[ 70, [(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),(1,3,2,4)(5,7,6,8)(9,11,10,12)(13,16,14,15),(1,3,2,4)(5,7,6,8)(9,12,10,11)(13,15,14,16),(1,3,2,4)(5,8,6,7)(9,12,10,11)(13,16,14,15),(1,4,2,3)(5,7,6,8)(9,11,10,12)(13,15,14,16),(1,5,3,8,2,6,4,7)(9,15,12,13,10,16,11,14),(1,7,4,6,2,8,3,5)(9,13,11,15,10,14,12,16),(1,7,4,6,2,8,3,5)(9,14,11,16,10,13,12,15),(1,7,3,5,2,8,4,6)(9,13,12,16,10,14,11,15),(1,7,3,5,2,8,4,6)(9,14,12,15,10,13,11,16),(1,9)(2,10)(3,12)(4,11)(5,15)(6,16)(7,14)(8,13),(1,9,2,10)(3,12,4,11)(5,15,6,16)(7,14,8,13),(1,9)(2,10)(3,12)(4,11)(5,16)(6,15)(7,13)(8,14),(1,9,2,10)(3,12,4,11)(5,16,6,15)(7,13,8,14),(1,11)(2,12)(3,9)(4,10)(5,13)(6,14)(7,15)(8,16),(1,11,2,12)(3,9,4,10)(5,13,6,14)(7,15,8,16),(1,11)(2,12)(3,9)(4,10)(5,14)(6,13)(7,16)(8,15),(1,11,2,12)(3,9,4,10)(5,14,6,13)(7,16,8,15),(1,13,4,15,2,14,3,16)(5,9,7,11,6,10,8,12),(1,13,3,16,2,14,4,15)(5,9,8,12,6,10,7,11),(1,13,3,16,2,14,4,15)(5,10,8,11,6,9,7,12),(1,13,4,15,2,14,3,16)(5,10,7,12,6,9,8,11),(1,15,4,14,2,16,3,13)(5,11,7,10,6,12,8,9),(1,15,3,13,2,16,4,14)(5,11,8,9,6,12,7,10),(1,15,3,13,2,16,4,14)(5,12,8,10,6,11,7,9),(1,15,4,14,2,16,3,13)(5,12,7,9,6,11,8,10)] ],
[ 72, [(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),(1,2)(3,11)(4,12)(5,6)(7,16)(8,15)(9,10)(13,14),(1,3,5,7,10,12,13,15)(2,4,6,8,9,11,14,16),(1,5,10,13)(2,6,9,14)(3,7,12,15)(4,8,11,16),(1,5)(2,6)(3,8)(4,7)(9,14)(10,13)(11,15)(12,16),(1,5,10,13)(2,6,9,14)(3,15,12,7)(4,16,11,8),(1,6,10,14)(2,5,9,13)(3,8,12,16)(4,7,11,15),(1,6,10,14)(2,5,9,13)(3,16,12,8)(4,15,11,7),(1,7,5,12,10,15,13,3)(2,8,6,11,9,16,14,4),(1,7,14,11,10,15,6,4)(2,8,13,12,9,16,5,3),(1,7,6,4,10,15,14,11)(2,8,5,3,9,16,13,12),(1,7,13,3,10,15,5,12)(2,8,14,4,9,16,6,11),(1,9)(2,10)(3,11)(4,12)(5,14)(6,13)(7,16)(8,15),(1,10)(2,9)(3,12)(4,11)(5,13)(6,14)(7,15)(8,16)] ],
[ 73, [(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),(1,2)(3,6)(4,5)(7,9)(8,10)(11,12)(13,14)(15,16),(1,3)(2,4)(5,16)(6,15)(7,13)(8,14)(9,11)(10,12),(1,3,2,4)(5,15,6,16)(7,11,8,12)(9,13,10,14),(1,3,16,5)(2,4,15,6)(7,12,10,13)(8,11,9,14),(1,7,15,9)(2,8,16,10)(3,11,6,13)(4,12,5,14),(1,7)(2,8)(3,12)(4,11)(5,13)(6,14)(9,15)(10,16),(1,7,16,10)(2,8,15,9)(3,13,5,12)(4,14,6,11),(1,7,2,8)(3,14,4,13)(5,11,6,12)(9,16,10,15),(1,11)(2,12)(3,7)(4,8)(5,10)(6,9)(13,15)(14,16),(1,11,16,14)(2,12,15,13)(3,8,5,9)(4,7,6,10),(1,11,16,14)(2,12,15,13)(3,9,5,8)(4,10,6,7),(1,11)(2,12)(3,10)(4,9)(5,7)(6,8)(13,15)(14,16),(1,12,16,13)(2,11,15,14)(3,7,5,10)(4,8,6,9),(1,12,16,13)(2,11,15,14)(3,10,5,7)(4,9,6,8),(1,15)(2,16)(3,6)(4,5)(7,9)(8,10)(11,13)(12,14),(1,16)(2,15)(3,5)(4,6)(7,10)(8,9)(11,14)(12,13)] ],
[ 74, [(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),(1,3)(2,4)(5,7)(6,8)(9,11,10,12)(13,15,14,16),(1,3,2,4)(5,7,6,8)(9,15,10,16)(11,13,12,14),(1,3,2,4)(5,7,6,8)(9,16,10,15)(11,14,12,13),(1,5,2,6)(3,7,4,8)(9,13,10,14)(11,15,12,16),(1,5,2,6)(3,7,4,8)(9,14,10,13)(11,16,12,15),(1,6,2,5)(3,8,4,7)(9,13,10,14)(11,15,12,16),(1,7)(2,8)(3,6)(4,5)(9,11)(10,12)(13,15)(14,16),(1,7)(2,8)(3,6)(4,5)(9,12)(10,11)(13,16)(14,15),(1,9,7,11)(2,10,8,12)(3,15,6,13)(4,16,5,14),(1,9,3,16,2,10,4,15)(5,14,7,12,6,13,8,11),(1,11,7,9)(2,12,8,10)(3,13,6,15)(4,14,5,16),(1,11,8,10)(2,12,7,9)(3,13,5,16)(4,14,6,15),(1,11,3,14,2,12,4,13)(5,16,7,10,6,15,8,9),(1,11,4,13,2,12,3,14)(5,16,8,9,6,15,7,10)] ],
[ 75, [(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),(1,2)(3,8)(4,7)(5,14)(6,13)(9,10)(11,16)(12,15),(1,2)(3,11)(4,12)(5,6)(7,15)(8,16)(9,10)(13,14),(1,3,2,4)(5,15,6,16)(7,13,8,14)(9,12,10,11),(1,3,5,8,9,12,13,15)(2,4,6,7,10,11,14,16),(1,4,2,3)(5,16,6,15)(7,14,8,13)(9,11,10,12),(1,4,5,7,9,11,13,16)(2,3,6,8,10,12,14,15),(1,4,10,12)(2,3,9,11)(5,16,14,8)(6,15,13,7),(1,4,13,16,9,11,5,7)(2,3,14,15,10,12,6,8),(1,5,9,13)(2,6,10,14)(3,8,12,15)(4,7,11,16),(1,5,9,13)(2,6,10,14)(3,15,12,8)(4,16,11,7),(1,6,9,14)(2,5,10,13)(3,7,12,16)(4,8,11,15),(1,6,9,14)(2,5,10,13)(3,16,12,7)(4,15,11,8),(1,9)(2,10)(3,12)(4,11)(5,13)(6,14)(7,16)(8,15),(1,10)(2,9)(3,11)(4,12)(5,14)(6,13)(7,15)(8,16)] ],
[ 76, [(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),(1,2)(3,4)(5,6)(7,12)(8,11)(9,13)(10,14)(15,16),(1,2)(3,16)(4,15)(5,6)(7,10,11,13)(8,9,12,14),(1,3)(2,4)(5,16)(6,15)(7,10)(8,9)(11,13)(12,14),(1,3)(2,4)(5,16)(6,15)(7,13)(8,14)(9,12)(10,11),(1,4)(2,3)(5,15)(6,16)(7,9)(8,10)(11,14)(12,13),(1,4)(2,3)(5,15)(6,16)(7,14)(8,13)(9,11)(10,12),(1,5)(2,6)(3,16)(4,15)(7,12)(8,11)(9,13)(10,14),(1,6)(2,5)(3,15)(4,16)(7,11)(8,12)(9,14)(10,13),(1,7,4,9)(2,8,3,10)(5,12,15,13)(6,11,16,14),(1,7,16,14)(2,8,15,13)(3,10,5,12)(4,9,6,11),(1,7)(2,8)(3,13)(4,14)(5,12)(6,11)(9,16)(10,15),(1,7,6,11)(2,8,5,12)(3,13,15,10)(4,14,16,9),(1,8,4,10)(2,7,3,9)(5,11,15,14)(6,12,16,13),(1,8,16,13)(2,7,15,14)(3,9,5,11)(4,10,6,12),(1,8)(2,7)(3,14)(4,13)(5,11)(6,12)(9,15)(10,16),(1,8,6,12)(2,7,5,11)(3,14,15,9)(4,13,16,10)] ],
[ 77, [(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),(1,2)(3,4)(5,13)(6,14)(7,15)(8,16)(9,10)(11,12),(1,2)(3,11)(4,12)(5,6)(7,15)(8,16)(9,10)(13,14),(1,3,2,4)(5,7,13,15)(6,8,14,16)(9,11,10,12),(1,5,2,6)(3,8,4,7)(9,13,10,14)(11,16,12,15),(1,7,9,15)(2,8,10,16)(3,5,4,6)(11,13,12,14),(1,7,2,8)(3,5,11,13)(4,6,12,14)(9,15,10,16),(1,7,2,8)(3,14,11,6)(4,13,12,5)(9,15,10,16),(1,7,9,15)(2,8,10,16)(3,14,4,13)(5,11,6,12),(1,9)(2,10)(3,11)(4,12)(5,13)(6,14)(7,15)(8,16),(1,10)(2,9)(3,12)(4,11)(5,14)(6,13)(7,16)(8,15)] ],
[ 79, [(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),(1,2)(3,4)(5,6)(7,9)(8,10)(11,14)(12,13)(15,16),(1,3)(2,4)(5,15)(6,16)(7,10)(8,9)(11,13)(12,14),(1,3)(2,4)(5,15)(6,16)(7,11)(8,12)(9,14)(10,13),(1,3)(2,4)(5,15)(6,16)(7,13)(8,14)(9,12)(10,11),(1,4)(2,3)(5,16)(6,15)(7,9)(8,10)(11,14)(12,13),(1,4)(2,3)(5,16)(6,15)(7,12)(8,11)(9,13)(10,14),(1,4)(2,3)(5,16)(6,15)(7,14)(8,13)(9,11)(10,12),(1,5)(2,6)(3,15)(4,16)(7,11)(8,12)(9,14)(10,13),(1,6)(2,5)(3,16)(4,15)(7,12)(8,11)(9,13)(10,14),(1,7,2,8)(3,13,4,14)(5,11,6,12)(9,15,10,16),(1,7,4,14)(2,8,3,13)(5,11,16,9)(6,12,15,10),(1,8,2,7)(3,14,4,13)(5,12,6,11)(9,16,10,15),(1,8,4,13)(2,7,3,14)(5,12,16,10)(6,11,15,9),(1,8,6,11)(2,7,5,12)(3,14,16,10)(4,13,15,9),(1,8,16,10)(2,7,15,9)(3,14,6,11)(4,13,5,12),(1,15)(2,16)(3,5)(4,6)(7,10)(8,9)(11,13)(12,14),(1,16)(2,15)(3,6)(4,5)(7,9)(8,10)(11,14)(12,13)] ],
[ 80, [(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),(1,3)(2,4)(5,7)(6,8)(9,15)(10,16)(11,14)(12,13),(1,3,8,5,2,4,7,6)(9,15,12,14,10,16,11,13),(1,3,8,5,2,4,7,6)(9,16,12,13,10,15,11,14),(1,4,8,6,2,3,7,5)(9,16,12,13,10,15,11,14),(1,7,2,8)(3,6,4,5)(9,11,10,12)(13,16,14,15),(1,7,2,8)(3,6,4,5)(9,12,10,11)(13,15,14,16),(1,9)(2,10)(3,13)(4,14)(5,16)(6,15)(7,12)(8,11),(1,9,2,10)(3,13,4,14)(5,16,6,15)(7,12,8,11),(1,9)(2,10)(3,15)(4,16)(5,14)(6,13)(7,11)(8,12),(1,9,2,10)(3,15,4,16)(5,14,6,13)(7,11,8,12),(1,11,2,12)(3,13,4,14)(5,15,6,16)(7,10,8,9),(1,11)(2,12)(3,13)(4,14)(5,15)(6,16)(7,10)(8,9),(1,13,8,15,2,14,7,16)(3,9,5,12,4,10,6,11),(1,13,7,16,2,14,8,15)(3,9,6,11,4,10,5,12),(1,13,2,14)(3,11,4,12)(5,10,6,9)(7,15,8,16),(1,13)(2,14)(3,11)(4,12)(5,10)(6,9)(7,15)(8,16)] ],
[ 81, [(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),(1,2)(3,4)(5,6)(7,10)(8,9)(11,14)(12,13)(15,16),(1,3,2,4)(5,15,6,16)(7,12,8,11)(9,14,10,13),(1,3,2,4)(5,15,6,16)(7,14,8,13)(9,12,10,11),(1,3,15,6)(2,4,16,5)(7,12,9,14)(8,11,10,13),(1,3,15,6)(2,4,16,5)(7,14,9,12)(8,13,10,11),(1,4,2,3)(5,16,6,15)(7,13,8,14)(9,11,10,12),(1,4,15,5)(2,3,16,6)(7,13,9,11)(8,14,10,12),(1,7,2,8)(3,11,4,12)(5,14,6,13)(9,16,10,15),(1,7,16,10)(2,8,15,9)(3,11,5,14)(4,12,6,13),(1,7,2,8)(3,14,4,13)(5,11,6,12)(9,16,10,15),(1,7,16,10)(2,8,15,9)(3,14,5,11)(4,13,6,12),(1,8,2,7)(3,13,4,14)(5,12,6,11)(9,15,10,16),(1,8,16,9)(2,7,15,10)(3,13,5,12)(4,14,6,11),(1,11,2,12)(3,8,4,7)(5,9,6,10)(13,16,14,15),(1,11,16,14)(2,12,15,13)(3,8,5,9)(4,7,6,10),(1,11,15,13)(2,12,16,14)(3,9,6,7)(4,10,5,8),(1,11)(2,12)(3,9)(4,10)(5,8)(6,7)(13,15)(14,16),(1,15)(2,16)(3,6)(4,5)(7,9)(8,10)(11,13)(12,14),(1,16)(2,15)(3,5)(4,6)(7,10)(8,9)(11,14)(12,13)] ],
[ 82, [(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),(1,2)(3,6)(4,5)(7,8)(9,10)(11,13)(12,14)(15,16),(1,3)(2,4)(5,16)(6,15)(7,11)(8,12)(9,13)(10,14),(1,3,2,4)(5,15,6,16)(7,14,8,13)(9,12,10,11),(1,3,15,6)(2,4,16,5)(7,14,9,12)(8,13,10,11),(1,3,16,5)(2,4,15,6)(7,11,10,14)(8,12,9,13),(1,7,2,8)(3,11,4,12)(5,14,6,13)(9,16,10,15),(1,7,15,9)(2,8,16,10)(3,12,6,14)(4,11,5,13),(1,7,15,9)(2,8,16,10)(3,13,6,11)(4,14,5,12),(1,7,2,8)(3,14,4,13)(5,11,6,12)(9,16,10,15),(1,8,2,7)(3,12,4,11)(5,13,6,14)(9,15,10,16),(1,8,2,7)(3,13,4,14)(5,12,6,11)(9,15,10,16),(1,11,2,12)(3,7,4,8)(5,10,6,9)(13,16,14,15),(1,11,16,14)(2,12,15,13)(3,8,5,9)(4,7,6,10),(1,11)(2,12)(3,9)(4,10)(5,8)(6,7)(13,15)(14,16),(1,11,15,13)(2,12,16,14)(3,10,6,8)(4,9,5,7),(1,15)(2,16)(3,6)(4,5)(7,9)(8,10)(11,13)(12,14),(1,16)(2,15)(3,5)(4,6)(7,10)(8,9)(11,14)(12,13)] ],
[ 84, [(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),(1,2)(3,12)(4,11)(5,6)(7,15)(8,16)(9,10)(13,14),(1,3,5,7,10,12,13,15)(2,4,6,8,9,11,14,16),(1,5,10,13)(2,6,9,14)(3,7,12,15)(4,8,11,16),(1,5,2,6)(3,8,4,7)(9,14,10,13)(11,15,12,16),(1,5,2,6)(3,15,4,16)(7,11,8,12)(9,14,10,13),(1,6,10,14)(2,5,9,13)(3,8,12,16)(4,7,11,15),(1,6,10,14)(2,5,9,13)(3,15,12,7)(4,16,11,8),(1,7,14,12,10,15,6,3)(2,8,13,11,9,16,5,4),(1,7,6,11,10,15,14,4)(2,8,5,12,9,16,13,3),(1,7,5,4,10,15,13,11)(2,8,6,3,9,16,14,12),(1,7,13,3,10,15,5,12)(2,8,14,4,9,16,6,11),(1,9)(2,10)(3,11)(4,12)(5,14)(6,13)(7,16)(8,15),(1,10)(2,9)(3,12)(4,11)(5,13)(6,14)(7,15)(8,16)] ],
[ 87, [(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),(1,2)(3,6)(4,5)(7,9)(8,10)(11,12)(13,14)(15,16),(1,3)(2,4)(5,16)(6,15)(7,12)(8,11)(9,14)(10,13),(1,3,2,4)(5,15,6,16)(7,14,8,13)(9,12,10,11),(1,3,16,5)(2,4,15,6)(7,13,10,12)(8,14,9,11),(1,7,15,9)(2,8,16,10)(3,11,6,13)(4,12,5,14),(1,7)(2,8)(3,12)(4,11)(5,13)(6,14)(9,15)(10,16),(1,7,16,10)(2,8,15,9)(3,13,5,12)(4,14,6,11),(1,7,2,8)(3,14,4,13)(5,11,6,12)(9,16,10,15),(1,11,16,14)(2,12,15,13)(3,7,5,10)(4,8,6,9),(1,11)(2,12)(3,8)(4,7)(5,9)(6,10)(13,15)(14,16),(1,11)(2,12)(3,9)(4,10)(5,8)(6,7)(13,15)(14,16),(1,11,16,14)(2,12,15,13)(3,10,5,7)(4,9,6,8),(1,12)(2,11)(3,7)(4,8)(5,10)(6,9)(13,16)(14,15),(1,12)(2,11)(3,10)(4,9)(5,7)(6,8)(13,16)(14,15),(1,15)(2,16)(3,6)(4,5)(7,9)(8,10)(11,13)(12,14),(1,16)(2,15)(3,5)(4,6)(7,10)(8,9)(11,14)(12,13)] ],
[ 89, [(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),(1,2)(3,8)(4,7)(5,14)(6,13)(9,10)(11,16)(12,15),(1,2)(3,11)(4,12)(5,6)(7,15)(8,16)(9,10)(13,14),(1,3)(2,4)(5,16)(6,15)(7,13)(8,14)(9,11)(10,12),(1,3,5,7,10,12,13,16)(2,4,6,8,9,11,14,15),(1,3,10,12)(2,4,9,11)(5,16,13,7)(6,15,14,8),(1,3,13,16,10,12,5,7)(2,4,14,15,9,11,6,8),(1,4)(2,3)(5,15)(6,16)(7,14)(8,13)(9,12)(10,11),(1,4,5,8,10,11,13,15)(2,3,6,7,9,12,14,16),(1,4,10,11)(2,3,9,12)(5,15,13,8)(6,16,14,7),(1,4,13,15,10,11,5,8)(2,3,14,16,9,12,6,7),(1,5,10,13)(2,6,9,14)(3,7,12,16)(4,8,11,15),(1,5,10,13)(2,6,9,14)(3,16,12,7)(4,15,11,8),(1,6,10,14)(2,5,9,13)(3,8,12,15)(4,7,11,16),(1,6,10,14)(2,5,9,13)(3,15,12,8)(4,16,11,7),(1,9)(2,10)(3,11)(4,12)(5,14)(6,13)(7,15)(8,16),(1,10)(2,9)(3,12)(4,11)(5,13)(6,14)(7,16)(8,15)] ],
[ 91, [(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),(1,2)(3,4)(5,13)(6,14)(7,16)(8,15)(9,10)(11,12),(1,2)(3,11)(4,12)(5,6)(7,16)(8,15)(9,10)(13,14),(1,3)(2,4)(5,7,14,15)(6,8,13,16)(9,11)(10,12),(1,5,2,6)(3,8,4,7)(9,13,10,14)(11,15,12,16),(1,7,10,15)(2,8,9,16)(3,6)(4,5)(11,14)(12,13),(1,7)(2,8)(3,6,12,13)(4,5,11,14)(9,16)(10,15),(1,7)(2,8)(3,13,12,6)(4,14,11,5)(9,16)(10,15),(1,7,10,15)(2,8,9,16)(3,13)(4,14)(5,11)(6,12),(1,9)(2,10)(3,11)(4,12)(5,13)(6,14)(7,16)(8,15),(1,10)(2,9)(3,12)(4,11)(5,14)(6,13)(7,15)(8,16)] ],
[ 93, [(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),(1,2)(3,11)(4,12)(5,6)(7,16)(8,15)(9,10)(13,14),(1,3,5,8)(2,4,6,7)(9,12,14,16)(10,11,13,15),(1,5,9,14)(2,6,10,13)(3,7,12,15)(4,8,11,16),(1,5)(2,6)(3,8)(4,7)(9,14)(10,13)(11,15)(12,16),(1,5)(2,6)(3,16)(4,15)(7,11)(8,12)(9,14)(10,13),(1,6)(2,5)(3,7)(4,8)(9,13)(10,14)(11,16)(12,15),(1,6)(2,5)(3,15)(4,16)(7,12)(8,11)(9,13)(10,14),(1,7,13,3)(2,8,14,4)(5,11,10,16)(6,12,9,15),(1,7,5,4)(2,8,6,3)(9,15,14,11)(10,16,13,12),(1,7,6,12)(2,8,5,11)(3,9,15,13)(4,10,16,14),(1,7,14,11)(2,8,13,12)(3,10,16,6)(4,9,15,5),(1,9)(2,10)(3,12)(4,11)(5,14)(6,13)(7,15)(8,16),(1,10)(2,9)(3,11)(4,12)(5,13)(6,14)(7,16)(8,15)] ],
[ 95, [(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),(1,2)(3,4)(5,6)(7,8)(9,14)(10,13)(11,16)(12,15),(1,3,6,7)(2,4,5,8)(9,11,13,15)(10,12,14,16),(1,3,6,7)(2,4,5,8)(9,12,13,16)(10,11,14,15),(1,3,6,7)(2,4,5,8)(9,15,13,11)(10,16,14,12),(1,3,6,7)(2,4,5,8)(9,16,13,12)(10,15,14,11),(1,4,6,8)(2,3,5,7)(9,11,13,15)(10,12,14,16),(1,4,6,8)(2,3,5,7)(9,15,13,11)(10,16,14,12),(1,4,6,8)(2,3,5,7)(9,16,13,12)(10,15,14,11),(1,5)(2,6)(3,8)(4,7)(9,13)(10,14)(11,15)(12,16),(1,5)(2,6)(3,8)(4,7)(9,14)(10,13)(11,16)(12,15),(1,6)(2,5)(3,7)(4,8)(9,13)(10,14)(11,15)(12,16),(1,7,6,3)(2,8,5,4)(9,15,13,11)(10,16,14,12),(1,7,6,3)(2,8,5,4)(9,16,13,12)(10,15,14,11),(1,8,6,4)(2,7,5,3)(9,15,13,11)(10,16,14,12),(1,9,3,12,6,13,7,16)(2,10,4,11,5,14,8,15),(1,9,4,11,6,13,8,15)(2,10,3,12,5,14,7,16),(1,9,7,16,6,13,3,12)(2,10,8,15,5,14,4,11),(1,11,4,13,6,15,8,9)(2,12,3,14,5,16,7,10),(1,11,3,14,6,15,7,10)(2,12,4,13,5,16,8,9),(1,11,7,10,6,15,3,14)(2,12,8,9,5,16,4,13),(1,11,8,9,6,15,4,13)(2,12,7,10,5,16,3,14)] ],
[ 96, [(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),(1,2)(3,4)(5,6)(7,11)(8,12)(9,14)(10,13)(15,16),(1,2)(3,16)(4,15)(5,6)(7,9,12,13)(8,10,11,14),(1,3)(2,4)(5,16)(6,15)(7,10)(8,9)(11,13)(12,14),(1,3)(2,4)(5,16)(6,15)(7,14)(8,13)(9,11)(10,12),(1,4)(2,3)(5,15)(6,16)(7,9)(8,10)(11,14)(12,13),(1,4)(2,3)(5,15)(6,16)(7,13)(8,14)(9,12)(10,11),(1,5)(2,6)(3,16)(4,15)(7,11)(8,12)(9,14)(10,13),(1,6)(2,5)(3,15)(4,16)(7,12)(8,11)(9,13)(10,14),(1,7,4,9)(2,8,3,10)(5,11,15,14)(6,12,16,13),(1,7,2,8)(3,14,4,13)(5,11,6,12)(9,15,10,16),(1,8,4,10)(2,7,3,9)(5,12,15,13)(6,11,16,14),(1,8,16,14)(2,7,15,13)(3,9,5,12)(4,10,6,11),(1,8,2,7)(3,13,4,14)(5,12,6,11)(9,16,10,15),(1,8,5,12)(2,7,6,11)(3,13,16,10)(4,14,15,9)] ],
[ 97, [(1,2)(3,4)(5,6)(7,9)(8,10)(11,13)(12,14)(15,16),(1,3,2,4)(5,15,6,16)(7,12,8,11)(9,14,10,13),(1,7,2,8)(3,11,4,12)(5,14,6,13)(9,16,10,15),(1,7,15,9)(2,8,16,10)(3,11,6,13)(4,12,5,14),(1,11,15,13)(2,12,16,14)(3,9,6,7)(4,10,5,8),(1,11,2,12)(3,9,4,10)(5,8,6,7)(13,16,14,15),(1,16)(2,15)(3,5)(4,6)(7,10)(8,9)(11,14)(12,13)] ],
[ 100, [(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),(1,3,2,4)(5,7,6,8)(9,11,10,12)(13,16,14,15),(1,3,2,4)(5,7,6,8)(9,12,10,11)(13,15,14,16),(1,4,2,3)(5,8,6,7)(9,11,10,12)(13,16,14,15),(1,5)(2,6)(3,7)(4,8)(9,13)(10,14)(11,16)(12,15),(1,5,2,6)(3,7,4,8)(9,13,10,14)(11,16,12,15),(1,9)(2,10)(3,12)(4,11)(5,15)(6,16)(7,14)(8,13),(1,9,2,10)(3,12,4,11)(5,15,6,16)(7,14,8,13),(1,13,3,15,2,14,4,16)(5,11,8,10,6,12,7,9),(1,13,4,16,2,14,3,15)(5,11,7,9,6,12,8,10),(1,13,4,16,2,14,3,15)(5,12,7,10,6,11,8,9),(1,13,3,15,2,14,4,16)(5,12,8,9,6,11,7,10)] ],
[ 102, [(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),(1,2)(3,4)(5,13)(6,14)(7,16)(8,15)(9,10)(11,12),(1,2)(3,11)(4,12)(5,6)(7,16)(8,15)(9,10)(13,14),(1,2)(3,11)(4,12)(5,13)(6,14)(7,8)(9,10)(15,16),(1,3)(2,4)(5,7,14,15)(6,8,13,16)(9,12)(10,11),(1,5)(2,6)(3,8)(4,7)(9,14)(10,13)(11,15)(12,16),(1,5,9,14)(2,6,10,13)(3,8,12,16)(4,7,11,15),(1,7,10,16)(2,8,9,15)(3,6,4,5)(11,14,12,13),(1,7,2,8)(3,6,11,14)(4,5,12,13)(9,15,10,16),(1,7,2,8)(3,13,11,5)(4,14,12,6)(9,15,10,16),(1,7,10,16)(2,8,9,15)(3,13,4,14)(5,12,6,11),(1,9)(2,10)(3,12)(4,11)(5,14)(6,13)(7,15)(8,16),(1,10)(2,9)(3,11)(4,12)(5,13)(6,14)(7,16)(8,15)] ],
[ 103, [(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),(1,3,2,4)(5,7,6,8)(9,11,10,12)(13,16,14,15),(1,3,2,4)(5,7,6,8)(9,12,10,11)(13,15,14,16),(1,3,2,4)(5,8,6,7)(9,11,10,12)(13,15,14,16),(1,4,2,3)(5,8,6,7)(9,12,10,11)(13,15,14,16),(1,5,3,7,2,6,4,8)(9,13,12,15,10,14,11,16),(1,9,3,11,2,10,4,12)(5,15,7,13,6,16,8,14),(1,9,3,11,2,10,4,12)(5,16,7,14,6,15,8,13),(1,13,3,16,2,14,4,15)(5,9,7,11,6,10,8,12),(1,13,4,15,2,14,3,16)(5,9,8,12,6,10,7,11),(1,13,4,15,2,14,3,16)(5,10,8,11,6,9,7,12),(1,13,3,16,2,14,4,15)(5,10,7,12,6,9,8,11)] ],
[ 105, [(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),(1,2)(3,4)(5,6)(7,9)(8,10)(11,14)(12,13)(15,16),(1,3)(2,4)(5,15)(6,16)(7,10)(8,9)(11,13)(12,14),(1,3)(2,4)(5,15)(6,16)(7,12)(8,11)(9,13)(10,14),(1,3)(2,4)(5,15)(6,16)(7,14)(8,13)(9,11)(10,12),(1,4)(2,3)(5,16)(6,15)(7,9)(8,10)(11,14)(12,13),(1,4)(2,3)(5,16)(6,15)(7,11)(8,12)(9,14)(10,13),(1,4)(2,3)(5,16)(6,15)(7,13)(8,14)(9,12)(10,11),(1,5)(2,6)(3,15)(4,16)(7,12)(8,11)(9,13)(10,14),(1,6)(2,5)(3,16)(4,15)(7,11)(8,12)(9,14)(10,13),(1,7)(2,8)(3,14)(4,13)(5,12)(6,11)(9,16)(10,15),(1,7,3,14)(2,8,4,13)(5,12,15,10)(6,11,16,9),(1,7,5,12)(2,8,6,11)(3,14,15,10)(4,13,16,9),(1,7,15,10)(2,8,16,9)(3,14,5,12)(4,13,6,11),(1,8)(2,7)(3,13)(4,14)(5,11)(6,12)(9,15)(10,16),(1,8,3,13)(2,7,4,14)(5,11,15,9)(6,12,16,10),(1,8,5,11)(2,7,6,12)(3,13,15,9)(4,14,16,10),(1,8,15,9)(2,7,16,10)(3,13,5,11)(4,14,6,12),(1,15)(2,16)(3,5)(4,6)(7,10)(8,9)(11,13)(12,14),(1,16)(2,15)(3,6)(4,5)(7,9)(8,10)(11,14)(12,13)] ],
[ 106, [(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),(1,3,2,4)(5,7,6,8)(9,11,10,12)(13,16,14,15),(1,3,2,4)(5,7,6,8)(9,12,10,11)(13,15,14,16),(1,3,2,4)(5,8,6,7)(9,11,10,12)(13,15,14,16),(1,3,2,4)(5,8,6,7)(9,12,10,11)(13,16,14,15),(1,4,2,3)(5,8,6,7)(9,11,10,12)(13,16,14,15),(1,5)(2,6)(3,7)(4,8)(9,13,10,14)(11,16,12,15),(1,9)(2,10)(3,12)(4,11)(5,15)(6,16)(7,14)(8,13),(1,9,2,10)(3,12,4,11)(5,15,6,16)(7,14,8,13),(1,13,4,16,2,14,3,15)(5,11,8,10,6,12,7,9),(1,13,3,15,2,14,4,16)(5,11,7,9,6,12,8,10),(1,13,3,15,2,14,4,16)(5,12,7,10,6,11,8,9),(1,13,4,16,2,14,3,15)(5,12,8,9,6,11,7,10)] ],
[ 107, [(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),(1,3)(2,4)(5,8)(6,7)(9,15)(10,16)(11,13)(12,14),(1,3)(2,4)(5,8)(6,7)(9,16)(10,15)(11,14)(12,13),(1,3,2,4)(5,7,6,8)(9,13)(10,14)(11,16)(12,15),(1,5,2,6)(3,8,4,7)(9,13,10,14)(11,16,12,15),(1,5,2,6)(3,8,4,7)(9,14,10,13)(11,15,12,16),(1,7,2,8)(3,6,4,5)(9,11,10,12)(13,16,14,15),(1,7,2,8)(3,6,4,5)(9,12,10,11)(13,15,14,16),(1,8,2,7)(3,5,4,6)(9,12,10,11)(13,15,14,16),(1,9,7,11,2,10,8,12)(3,15,6,13,4,16,5,14),(1,9,8,12,2,10,7,11)(3,15,5,14,4,16,6,13),(1,9)(2,10)(3,16)(4,15)(5,13)(6,14)(7,11)(8,12),(1,9,2,10)(3,16,4,15)(5,13,6,14)(7,11,8,12),(1,13,7,16,2,14,8,15)(3,11,6,10,4,12,5,9),(1,13,8,15,2,14,7,16)(3,11,5,9,4,12,6,10),(1,13,2,14)(3,12,4,11)(5,10,6,9)(7,16,8,15),(1,13)(2,14)(3,12)(4,11)(5,10)(6,9)(7,16)(8,15)] ],
[ 108, [(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),(1,3,2,4)(5,7,6,8)(9,11,10,12)(13,16,14,15),(1,3,2,4)(5,7,6,8)(9,12,10,11)(13,15,14,16),(1,4,2,3)(5,8,6,7)(9,12,10,11)(13,15,14,16),(1,5,3,7,2,6,4,8)(9,13,12,15,10,14,11,16),(1,9,3,11,2,10,4,12)(5,15,8,14,6,16,7,13),(1,13,4,15,2,14,3,16)(5,9,7,11,6,10,8,12),(1,13,3,16,2,14,4,15)(5,9,8,12,6,10,7,11),(1,13,3,16,2,14,4,15)(5,10,8,11,6,9,7,12)] ],
[ 109, [(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),(1,2)(3,4)(5,6)(7,9)(8,10)(11,13)(12,14)(15,16),(1,3)(2,4)(5,16)(6,15)(7,12)(8,11)(9,14)(10,13),(1,3)(2,4)(5,16)(6,15)(7,13)(8,14)(9,11)(10,12),(1,3,15,6)(2,4,16,5)(7,11,9,13)(8,12,10,14),(1,3,15,6)(2,4,16,5)(7,14,9,12)(8,13,10,11),(1,4)(2,3)(5,15)(6,16)(7,11)(8,12)(9,13)(10,14),(1,4,15,5)(2,3,16,6)(7,13,9,11)(8,14,10,12),(1,7)(2,8)(3,12)(4,11)(5,13)(6,14)(9,15)(10,16),(1,7,16,10)(2,8,15,9)(3,12,5,13)(4,11,6,14),(1,7,2,8)(3,14,4,13)(5,11,6,12)(9,16,10,15),(1,7,15,9)(2,8,16,10)(3,14,6,12)(4,13,5,11),(1,11)(2,12)(3,8)(4,7)(5,9)(6,10)(13,15)(14,16),(1,11,16,14)(2,12,15,13)(3,8,5,9)(4,7,6,10),(1,11,16,14)(2,12,15,13)(3,10,5,7)(4,9,6,8),(1,11)(2,12)(3,10)(4,9)(5,7)(6,8)(13,15)(14,16),(1,12)(2,11)(3,7)(4,8)(5,10)(6,9)(13,16)(14,15),(1,12,16,13)(2,11,15,14)(3,7,5,10)(4,8,6,9),(1,15)(2,16)(3,6)(4,5)(7,9)(8,10)(11,13)(12,14),(1,16)(2,15)(3,5)(4,6)(7,10)(8,9)(11,14)(12,13)] ],
[ 110, [(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),(1,3)(2,4)(5,8)(6,7)(9,11,10,12)(13,15,14,16),(1,3,2,4)(5,7,6,8)(9,15,10,16)(11,13,12,14),(1,3,2,4)(5,7,6,8)(9,16,10,15)(11,14,12,13),(1,5)(2,6)(3,7)(4,8)(9,13)(10,14)(11,16)(12,15),(1,5)(2,6)(3,7)(4,8)(9,14)(10,13)(11,15)(12,16),(1,7,2,8)(3,6,4,5)(9,11,10,12)(13,16,14,15),(1,7,2,8)(3,6,4,5)(9,12,10,11)(13,15,14,16),(1,8,2,7)(3,5,4,6)(9,12,10,11)(13,15,14,16),(1,9,7,11,2,10,8,12)(3,15,6,13,4,16,5,14),(1,9,3,16,2,10,4,15)(5,13,7,11,6,14,8,12),(1,11,7,10,2,12,8,9)(3,13,6,16,4,14,5,15),(1,11,8,9,2,12,7,10)(3,13,5,15,4,14,6,16),(1,11,3,14,2,12,4,13)(5,16,7,10,6,15,8,9),(1,11,4,13,2,12,3,14)(5,16,8,9,6,15,7,10)] ],
[ 111, [(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),(1,2)(3,4)(5,6)(7,10,11,13)(8,9,12,14)(15,16),(1,2)(3,4)(5,6)(7,12)(8,11)(9,13)(10,14)(15,16),(1,3,6,15)(2,4,5,16)(7,10,11,13)(8,9,12,14),(1,3,6,15)(2,4,5,16)(7,13,11,10)(8,14,12,9),(1,4,6,16)(2,3,5,15)(7,9,11,14)(8,10,12,13),(1,4,6,16)(2,3,5,15)(7,11)(8,12)(9,14)(10,13),(1,4,6,16)(2,3,5,15)(7,14,11,9)(8,13,12,10),(1,5)(2,6)(3,16)(4,15)(7,12)(8,11)(9,13)(10,14),(1,5)(2,6)(3,16)(4,15)(7,13,11,10)(8,14,12,9),(1,6)(2,5)(3,15)(4,16)(7,11)(8,12)(9,14)(10,13),(1,6)(2,5)(3,15)(4,16)(7,14,11,9)(8,13,12,10),(1,7)(2,8)(3,10)(4,9)(5,12)(6,11)(13,15)(14,16),(1,7,4,9,6,11,16,14)(2,8,3,10,5,12,15,13),(1,7,6,11)(2,8,5,12)(3,10,15,13)(4,9,16,14),(1,7,16,14,6,11,4,9)(2,8,15,13,5,12,3,10),(1,8)(2,7)(3,9)(4,10)(5,11)(6,12)(13,16)(14,15),(1,8,4,10,6,12,16,13)(2,7,3,9,5,11,15,14),(1,8,6,12)(2,7,5,11)(3,9,15,14)(4,10,16,13),(1,8,16,13,6,12,4,10)(2,7,15,14,5,11,3,9),(1,15,6,3)(2,16,5,4)(7,13,11,10)(8,14,12,9),(1,16,6,4)(2,15,5,3)(7,14,11,9)(8,13,12,10)] ],
[ 113, [(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),(1,3,5,8,2,4,6,7)(9,15,14,12,10,16,13,11),(1,3,5,8,2,4,6,7)(9,16,14,11,10,15,13,12),(1,3,6,7,2,4,5,8)(9,11,14,15,10,12,13,16),(1,5,2,6)(3,8,4,7)(9,13,10,14)(11,16,12,15),(1,5,2,6)(3,8,4,7)(9,14,10,13)(11,15,12,16),(1,6,2,5)(3,7,4,8)(9,14,10,13)(11,15,12,16),(1,7,5,3,2,8,6,4)(9,15,13,11,10,16,14,12),(1,7,5,3,2,8,6,4)(9,16,13,12,10,15,14,11),(1,9,5,13,2,10,6,14)(3,11,8,16,4,12,7,15),(1,9,6,14,2,10,5,13)(3,11,7,15,4,12,8,16),(1,9)(2,10)(3,12)(4,11)(5,13)(6,14)(7,16)(8,15),(1,9,2,10)(3,12,4,11)(5,13,6,14)(7,16,8,15),(1,11,5,16,2,12,6,15)(3,13,8,10,4,14,7,9),(1,11,6,15,2,12,5,16)(3,13,7,9,4,14,8,10),(1,11,2,12)(3,14,4,13)(5,16,6,15)(7,10,8,9),(1,11)(2,12)(3,14)(4,13)(5,16)(6,15)(7,10)(8,9)] ],
[ 114, [(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),(1,2)(3,4)(5,6)(7,8)(9,13,10,14)(11,16,12,15),(1,3,5,8,2,4,6,7)(9,11,13,16,10,12,14,15),(1,3,5,8,2,4,6,7)(9,12,13,15,10,11,14,16),(1,3,5,8,2,4,6,7)(9,15,14,12,10,16,13,11),(1,3,5,8,2,4,6,7)(9,16,14,11,10,15,13,12),(1,4,5,7,2,3,6,8)(9,11,13,16,10,12,14,15),(1,4,5,7,2,3,6,8)(9,15,14,12,10,16,13,11),(1,4,5,7,2,3,6,8)(9,16,14,11,10,15,13,12),(1,5,2,6)(3,8,4,7)(9,13,10,14)(11,16,12,15),(1,5,2,6)(3,8,4,7)(9,14,10,13)(11,15,12,16),(1,6,2,5)(3,7,4,8)(9,14,10,13)(11,15,12,16),(1,7,6,4,2,8,5,3)(9,15,14,12,10,16,13,11),(1,7,6,4,2,8,5,3)(9,16,14,11,10,15,13,12),(1,8,6,3,2,7,5,4)(9,15,14,12,10,16,13,11),(1,9)(2,10)(3,12)(4,11)(5,13)(6,14)(7,16)(8,15),(1,9,2,10)(3,12,4,11)(5,13,6,14)(7,16,8,15),(1,9,5,13,2,10,6,14)(3,12,8,15,4,11,7,16),(1,9,6,14,2,10,5,13)(3,12,7,16,4,11,8,15),(1,11,6,15,2,12,5,16)(3,14,7,10,4,13,8,9),(1,11,5,16,2,12,6,15)(3,14,8,9,4,13,7,10),(1,11,2,12)(3,14,4,13)(5,16,6,15)(7,10,8,9),(1,11)(2,12)(3,14)(4,13)(5,16)(6,15)(7,10)(8,9)] ],
[ 115, [(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),(1,2)(3,5)(4,6)(7,10)(8,9)(11,12)(13,14)(15,16),(1,2)(3,6)(4,5)(7,8)(9,10)(11,13)(12,14)(15,16),(1,3)(2,4)(5,16)(6,15)(7,13)(8,14)(9,11)(10,12),(1,3,2,4)(5,15,6,16)(7,11,8,12)(9,13,10,14),(1,3,15,6)(2,4,16,5)(7,11,9,13)(8,12,10,14),(1,3,16,5)(2,4,15,6)(7,13,10,12)(8,14,9,11),(1,7,2,8)(3,11,4,12)(5,14,6,13)(9,16,10,15),(1,7,16,10)(2,8,15,9)(3,12,5,13)(4,11,6,14),(1,7,16,10)(2,8,15,9)(3,13,5,12)(4,14,6,11),(1,7,2,8)(3,14,4,13)(5,11,6,12)(9,16,10,15),(1,8,2,7)(3,12,4,11)(5,13,6,14)(9,15,10,16),(1,8,16,9)(2,7,15,10)(3,14,5,11)(4,13,6,12),(1,11,16,14)(2,12,15,13)(3,7,5,10)(4,8,6,9),(1,11)(2,12)(3,8)(4,7)(5,9)(6,10)(13,15)(14,16),(1,11,16,14)(2,12,15,13)(3,9,5,8)(4,10,6,7),(1,11)(2,12)(3,10)(4,9)(5,7)(6,8)(13,15)(14,16),(1,12)(2,11)(3,7)(4,8)(5,10)(6,9)(13,16)(14,15),(1,12,16,13)(2,11,15,14)(3,10,5,7)(4,9,6,8),(1,15)(2,16)(3,6)(4,5)(7,9)(8,10)(11,13)(12,14),(1,16)(2,15)(3,5)(4,6)(7,10)(8,9)(11,14)(12,13)] ],
[ 116, [(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),(1,3,2,4)(5,8,6,7)(9,15,10,16)(11,14,12,13),(1,3,8,5,2,4,7,6)(9,15,12,14,10,16,11,13),(1,3,8,5,2,4,7,6)(9,16,12,13,10,15,11,14),(1,4,8,6,2,3,7,5)(9,16,12,13,10,15,11,14),(1,7,2,8)(3,6,4,5)(9,11,10,12)(13,16,14,15),(1,7,2,8)(3,6,4,5)(9,12,10,11)(13,15,14,16),(1,9)(2,10)(3,14)(4,13)(5,15)(6,16)(7,12)(8,11),(1,9,2,10)(3,14,4,13)(5,15,6,16)(7,12,8,11),(1,9)(2,10)(3,15)(4,16)(5,14)(6,13)(7,11)(8,12),(1,9,2,10)(3,15,4,16)(5,14,6,13)(7,11,8,12),(1,11,2,12)(3,13,4,14)(5,15,6,16)(7,10,8,9),(1,11)(2,12)(3,13)(4,14)(5,15)(6,16)(7,10)(8,9),(1,13,8,15,2,14,7,16)(3,9,5,12,4,10,6,11),(1,13,7,16,2,14,8,15)(3,9,6,11,4,10,5,12),(1,13)(2,14)(3,12)(4,11)(5,9)(6,10)(7,15)(8,16),(1,13,2,14)(3,12,4,11)(5,9,6,10)(7,15,8,16)] ],
[ 117, [(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),(1,2)(3,4)(5,6)(7,8)(9,11)(10,12)(13,15)(14,16),(1,3,2,4)(5,7,6,8)(9,13,10,14)(11,15,12,16),(1,3,2,4)(5,7,6,8)(9,14,10,13)(11,16,12,15),(1,3,2,4)(5,7,6,8)(9,15,10,16)(11,13,12,14),(1,3,2,4)(5,7,6,8)(9,16,10,15)(11,14,12,13),(1,4,2,3)(5,8,6,7)(9,13,10,14)(11,15,12,16),(1,4,2,3)(5,8,6,7)(9,14,10,13)(11,16,12,15),(1,4,2,3)(5,8,6,7)(9,16,10,15)(11,14,12,13),(1,5,2,6)(3,7,4,8)(9,13,10,14)(11,15,12,16),(1,5,2,6)(3,7,4,8)(9,14,10,13)(11,16,12,15),(1,6,2,5)(3,8,4,7)(9,13,10,14)(11,15,12,16),(1,7)(2,8)(3,6)(4,5)(9,11)(10,12)(13,15)(14,16),(1,7)(2,8)(3,6)(4,5)(9,12)(10,11)(13,16)(14,15),(1,8)(2,7)(3,5)(4,6)(9,12)(10,11)(13,16)(14,15),(1,9)(2,10)(3,15)(4,16)(5,14)(6,13)(7,11)(8,12),(1,9,2,10)(3,15,4,16)(5,14,6,13)(7,11,8,12),(1,9,7,11)(2,10,8,12)(3,15,6,13)(4,16,5,14),(1,9,8,12)(2,10,7,11)(3,15,5,14)(4,16,6,13),(1,13,8,16)(2,14,7,15)(3,12,5,9)(4,11,6,10),(1,13,7,15)(2,14,8,16)(3,12,6,10)(4,11,5,9),(1,13)(2,14)(3,12)(4,11)(5,9)(6,10)(7,15)(8,16),(1,13,2,14)(3,12,4,11)(5,9,6,10)(7,15,8,16)] ],
[ 118, [(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),(1,3,2,4)(5,7,6,8)(9,15,10,16)(11,13,12,14),(1,3,2,4)(5,7,6,8)(9,16,10,15)(11,14,12,13),(1,3,2,4)(5,8,6,7)(9,13,10,14)(11,15,12,16),(1,4,2,3)(5,8,6,7)(9,16,10,15)(11,14,12,13),(1,5)(2,6)(3,7)(4,8)(9,13)(10,14)(11,16)(12,15),(1,5)(2,6)(3,7)(4,8)(9,14)(10,13)(11,15)(12,16),(1,7,2,8)(3,6,4,5)(9,11,10,12)(13,16,14,15),(1,7,2,8)(3,6,4,5)(9,12,10,11)(13,15,14,16),(1,9)(2,10)(3,15)(4,16)(5,13)(6,14)(7,12)(8,11),(1,9,2,10)(3,15,4,16)(5,13,6,14)(7,12,8,11),(1,9,7,11,2,10,8,12)(3,15,6,13,4,16,5,14),(1,9,8,12,2,10,7,11)(3,15,5,14,4,16,6,13),(1,13)(2,14)(3,12)(4,11)(5,9)(6,10)(7,15)(8,16),(1,13,2,14)(3,12,4,11)(5,9,6,10)(7,15,8,16),(1,13,8,15,2,14,7,16)(3,12,5,10,4,11,6,9),(1,13,7,16,2,14,8,15)(3,12,6,9,4,11,5,10)] ],
[ 119, [(1,2)(3,4)(5,6)(7,9)(8,10)(11,13)(12,14)(15,16),(1,2)(3,6)(4,5)(7,8)(9,10)(11,13)(12,14)(15,16),(1,3)(2,4)(5,16)(6,15)(7,12)(8,11)(9,14)(10,13),(1,3,16,5)(2,4,15,6)(7,12,10,13)(8,11,9,14),(1,7,2,8)(3,11,4,12)(5,14,6,13)(9,16,10,15),(1,7,15,9)(2,8,16,10)(3,11,6,13)(4,12,5,14),(1,11)(2,12)(3,7)(4,8)(5,10)(6,9)(13,15)(14,16),(1,11,16,14)(2,12,15,13)(3,7,5,10)(4,8,6,9),(1,11,16,14)(2,12,15,13)(3,10,5,7)(4,9,6,8),(1,11)(2,12)(3,10)(4,9)(5,7)(6,8)(13,15)(14,16),(1,16)(2,15)(3,5)(4,6)(7,10)(8,9)(11,14)(12,13)] ],
[ 120, [(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),(1,3,2,4)(5,7,6,8)(9,15,10,16)(11,13,12,14),(1,3,2,4)(5,7,6,8)(9,16,10,15)(11,14,12,13),(1,3,2,4)(5,8,6,7)(9,13)(10,14)(11,16)(12,15),(1,4,2,3)(5,8,6,7)(9,16,10,15)(11,14,12,13),(1,5,2,6)(3,7,4,8)(9,13,10,14)(11,15,12,16),(1,5,2,6)(3,7,4,8)(9,14,10,13)(11,16,12,15),(1,7)(2,8)(3,6)(4,5)(9,11)(10,12)(13,15)(14,16),(1,7)(2,8)(3,6)(4,5)(9,12)(10,11)(13,16)(14,15),(1,9)(2,10)(3,15)(4,16)(5,13)(6,14)(7,12)(8,11),(1,9,2,10)(3,15,4,16)(5,13,6,14)(7,12,8,11),(1,9,7,11)(2,10,8,12)(3,15,6,13)(4,16,5,14),(1,9,8,12)(2,10,7,11)(3,15,5,14)(4,16,6,13),(1,13,8,16)(2,14,7,15)(3,12,5,9)(4,11,6,10),(1,13,7,15)(2,14,8,16)(3,12,6,10)(4,11,5,9),(1,13,2,14)(3,12,4,11)(5,10,6,9)(7,16,8,15),(1,13)(2,14)(3,12)(4,11)(5,10)(6,9)(7,16)(8,15)] ],
[ 121, [(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),(1,2)(3,4)(5,6)(7,10,12,14)(8,9,11,13)(15,16),(1,2)(3,4)(5,6)(7,11)(8,12)(9,14)(10,13)(15,16),(1,3,6,15)(2,4,5,16)(7,10,12,14)(8,9,11,13),(1,3,6,15)(2,4,5,16)(7,14,12,10)(8,13,11,9),(1,4,6,16)(2,3,5,15)(7,9,12,13)(8,10,11,14),(1,4,6,16)(2,3,5,15)(7,12)(8,11)(9,13)(10,14),(1,4,6,16)(2,3,5,15)(7,13,12,9)(8,14,11,10),(1,5)(2,6)(3,16)(4,15)(7,11)(8,12)(9,14)(10,13),(1,5)(2,6)(3,16)(4,15)(7,14,12,10)(8,13,11,9),(1,6)(2,5)(3,15)(4,16)(7,12)(8,11)(9,13)(10,14),(1,6)(2,5)(3,15)(4,16)(7,13,12,9)(8,14,11,10),(1,7,2,8)(3,10,4,9)(5,11,6,12)(13,15,14,16),(1,7,3,10,6,12,15,14)(2,8,4,9,5,11,16,13),(1,7,5,11)(2,8,6,12)(3,10,16,13)(4,9,15,14),(1,7,15,14,6,12,3,10)(2,8,16,13,5,11,4,9),(1,8,2,7)(3,9,4,10)(5,12,6,11)(13,16,14,15),(1,8,3,9,6,11,15,13)(2,7,4,10,5,12,16,14),(1,8,5,12)(2,7,6,11)(3,9,16,14)(4,10,15,13),(1,8,15,13,6,11,3,9)(2,7,16,14,5,12,4,10),(1,15,6,3)(2,16,5,4)(7,14,12,10)(8,13,11,9),(1,16,6,4)(2,15,5,3)(7,13,12,9)(8,14,11,10)] ],
[ 122, [(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),(1,3,2,4)(5,7,6,8)(9,15,10,16)(11,13,12,14),(1,3,2,4)(5,7,6,8)(9,16,10,15)(11,14,12,13),(1,3,2,4)(5,8,6,7)(9,11,10,12)(13,16,14,15),(1,4,2,3)(5,8,6,7)(9,16,10,15)(11,14,12,13),(1,5,2,6)(3,7,4,8)(9,13,10,14)(11,15,12,16),(1,5,2,6)(3,7,4,8)(9,14,10,13)(11,16,12,15),(1,7)(2,8)(3,6)(4,5)(9,11)(10,12)(13,15)(14,16),(1,7)(2,8)(3,6)(4,5)(9,12)(10,11)(13,16)(14,15),(1,9,3,15,2,10,4,16)(5,13,7,12,6,14,8,11),(1,9,7,11)(2,10,8,12)(3,15,6,13)(4,16,5,14),(1,11,3,13,2,12,4,14)(5,15,7,10,6,16,8,9),(1,11,4,14,2,12,3,13)(5,15,8,9,6,16,7,10),(1,11,7,9)(2,12,8,10)(3,13,6,15)(4,14,5,16),(1,11,8,10)(2,12,7,9)(3,13,5,16)(4,14,6,15)] ],
[ 123, [(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16),(1,3,2,4)(5,7,6,8)(9,11,10,12)(13,16,14,15),(1,3,2,4)(5,7,6,8)(9,12,10,11)(13,15,14,16),(1,3,2,4)(5,8,6,7)(9,11,10,12)(13,15,14,16),(1,4,2,3)(5,8,6,7)(9,11,10,12)(13,16,14,15),(1,5)(2,6)(3,7)(4,8)(9,13,10,14)(11,16,12,15),(1,9)(2,10)(3,12)(4,11)(5,15,6,16)(7,14,8,13),(1,13,3,15,2,14,4,16)(5,11,8,10,6,12,7,9),(1,13,4,16,2,14,3,15)(5,11,7,9,6,12,8,10),(1,13,4,16,2,14,3,15)(5,12,7,10,6,11,8,9),(1,13,3,15,2,14,4,16)(5,12,8,9,6,11,7,10)] ],
--> --------------------

--> maximum size reached

--> --------------------