#################################################################################### #################################################################################### #################################################################################### ### ### ### ### ### LIBRARY OF TRIANGULATIONS ### ### by Bruno Benedetti and Frank H. Lutz ### ### http://page.math.tu-berlin.de/~lutz/stellar/library_of_triangulations.html ### ### ### ### ### ### name of example: ### ### ### ### contractible_vertex-homogeneous ### ### ### ### ### ### description: ### ### ### ### contractible, vertex-homogeneous 11-dimensional simplicial complex ### ### ### ### ### ### properties: ### ### ### ### f=(60,1290,12380,58935,148092,220840,211740,136155,59160,16866,2880,225) ### ### H_*=(Z,0,0,0,0,0,0,0,0,0,0,0), ### ### contractible, vertex-homogeneous, ### ### admits discrete Morse vector: (1,0,0,4,8,4,0,0,0,0,0,0), ### ### best known lower bound: (1,0,0,0,0,0,0,0,0,0,0,0) ### ### ### ### ### ### references: ### ### ### ### F. H. Lutz. ### ### Examples of Z-acyclic and contractible vertex-homogeneous ### ### simplicial complexes. ### ### Discrete Comput. Geom. 27, 137-154 (2002). ### ### ### ### B. Benedetti and F. H. Lutz. ### ### Random discrete Morse theory and a new library of triangulations. ### ### Exp. Math. 23, 66-94 (2014). ### ### ### ### ### #################################################################################### #################################################################################### #################################################################################### facets:=[ [ 1, 2, 3, 4, 5, 6, 31, 32, 33, 34, 35, 36 ], [ 1, 2, 3, 4, 5, 6, 31, 32, 34, 37, 38, 40 ], [ 1, 2, 3, 4, 5, 6, 31, 33, 36, 55, 57, 60 ], [ 1, 2, 3, 4, 5, 6, 31, 37, 43, 49, 55 ], [ 1, 2, 3, 4, 5, 6, 32, 35, 36, 44, 47, 48 ], [ 1, 2, 3, 4, 5, 6, 32, 38, 44, 50, 56 ], [ 1, 2, 3, 4, 5, 6, 33, 34, 35, 51, 52, 53 ], [ 1, 2, 3, 4, 5, 6, 33, 39, 45, 51, 57 ], [ 1, 2, 3, 4, 5, 6, 34, 40, 46, 52, 58 ], [ 1, 2, 3, 4, 5, 6, 35, 41, 47, 53, 59 ], [ 1, 2, 3, 4, 5, 6, 36, 42, 48, 54, 60 ], [ 1, 2, 3, 4, 5, 6, 37, 38, 39, 40, 41, 42 ], [ 1, 2, 3, 4, 5, 6, 37, 39, 41, 43, 45, 47 ], [ 1, 2, 3, 4, 5, 6, 38, 39, 42, 50, 51, 54 ], [ 1, 2, 3, 4, 5, 6, 40, 41, 42, 58, 59, 60 ], [ 1, 2, 3, 4, 5, 6, 43, 44, 45, 46, 47, 48 ], [ 1, 2, 3, 4, 5, 6, 43, 46, 48, 49, 52, 54 ], [ 1, 2, 3, 4, 5, 6, 44, 45, 46, 56, 57, 58 ], [ 1, 2, 3, 4, 5, 6, 49, 50, 51, 52, 53, 54 ], [ 1, 2, 3, 4, 5, 6, 49, 50, 53, 55, 56, 59 ], [ 1, 2, 3, 4, 5, 6, 55, 56, 57, 58, 59, 60 ], [ 1, 2, 4, 7, 8, 10, 31, 32, 33, 34, 35, 36 ], [ 1, 2, 4, 7, 8, 10, 31, 32, 34, 37, 38, 40 ], [ 1, 2, 4, 7, 8, 10, 31, 33, 36, 55, 57, 60 ], [ 1, 2, 4, 7, 8, 10, 31, 37, 43, 49, 55 ], [ 1, 2, 4, 7, 8, 10, 32, 35, 36, 44, 47, 48 ], [ 1, 2, 4, 7, 8, 10, 32, 38, 44, 50, 56 ], [ 1, 2, 4, 7, 8, 10, 33, 34, 35, 51, 52, 53 ], [ 1, 2, 4, 7, 8, 10, 33, 39, 45, 51, 57 ], [ 1, 2, 4, 7, 8, 10, 34, 40, 46, 52, 58 ], [ 1, 2, 4, 7, 8, 10, 35, 41, 47, 53, 59 ], [ 1, 2, 4, 7, 8, 10, 36, 42, 48, 54, 60 ], [ 1, 2, 4, 7, 8, 10, 37, 38, 39, 40, 41, 42 ], [ 1, 2, 4, 7, 8, 10, 37, 39, 41, 43, 45, 47 ], [ 1, 2, 4, 7, 8, 10, 38, 39, 42, 50, 51, 54 ], [ 1, 2, 4, 7, 8, 10, 40, 41, 42, 58, 59, 60 ], [ 1, 2, 4, 7, 8, 10, 43, 44, 45, 46, 47, 48 ], [ 1, 2, 4, 7, 8, 10, 43, 46, 48, 49, 52, 54 ], [ 1, 2, 4, 7, 8, 10, 44, 45, 46, 56, 57, 58 ], [ 1, 2, 4, 7, 8, 10, 49, 50, 51, 52, 53, 54 ], [ 1, 2, 4, 7, 8, 10, 49, 50, 53, 55, 56, 59 ], [ 1, 2, 4, 7, 8, 10, 55, 56, 57, 58, 59, 60 ], [ 1, 3, 6, 25, 27, 30, 31, 32, 33, 34, 35, 36 ], [ 1, 3, 6, 25, 27, 30, 31, 32, 34, 37, 38, 40 ], [ 1, 3, 6, 25, 27, 30, 31, 33, 36, 55, 57, 60 ], [ 1, 3, 6, 25, 27, 30, 31, 37, 43, 49, 55 ], [ 1, 3, 6, 25, 27, 30, 32, 35, 36, 44, 47, 48 ], [ 1, 3, 6, 25, 27, 30, 32, 38, 44, 50, 56 ], [ 1, 3, 6, 25, 27, 30, 33, 34, 35, 51, 52, 53 ], [ 1, 3, 6, 25, 27, 30, 33, 39, 45, 51, 57 ], [ 1, 3, 6, 25, 27, 30, 34, 40, 46, 52, 58 ], [ 1, 3, 6, 25, 27, 30, 35, 41, 47, 53, 59 ], [ 1, 3, 6, 25, 27, 30, 36, 42, 48, 54, 60 ], [ 1, 3, 6, 25, 27, 30, 37, 38, 39, 40, 41, 42 ], [ 1, 3, 6, 25, 27, 30, 37, 39, 41, 43, 45, 47 ], [ 1, 3, 6, 25, 27, 30, 38, 39, 42, 50, 51, 54 ], [ 1, 3, 6, 25, 27, 30, 40, 41, 42, 58, 59, 60 ], [ 1, 3, 6, 25, 27, 30, 43, 44, 45, 46, 47, 48 ], [ 1, 3, 6, 25, 27, 30, 43, 46, 48, 49, 52, 54 ], [ 1, 3, 6, 25, 27, 30, 44, 45, 46, 56, 57, 58 ], [ 1, 3, 6, 25, 27, 30, 49, 50, 51, 52, 53, 54 ], [ 1, 3, 6, 25, 27, 30, 49, 50, 53, 55, 56, 59 ], [ 1, 3, 6, 25, 27, 30, 55, 56, 57, 58, 59, 60 ], [ 1, 7, 13, 19, 25, 31, 32, 33, 34, 35, 36 ], [ 1, 7, 13, 19, 25, 31, 32, 34, 37, 38, 40 ], [ 1, 7, 13, 19, 25, 31, 33, 36, 55, 57, 60 ], [ 1, 7, 13, 19, 25, 31, 37, 43, 49, 55 ], [ 1, 7, 13, 19, 25, 32, 35, 36, 44, 47, 48 ], [ 1, 7, 13, 19, 25, 32, 38, 44, 50, 56 ], [ 1, 7, 13, 19, 25, 33, 34, 35, 51, 52, 53 ], [ 1, 7, 13, 19, 25, 33, 39, 45, 51, 57 ], [ 1, 7, 13, 19, 25, 34, 40, 46, 52, 58 ], [ 1, 7, 13, 19, 25, 35, 41, 47, 53, 59 ], [ 1, 7, 13, 19, 25, 36, 42, 48, 54, 60 ], [ 1, 7, 13, 19, 25, 37, 38, 39, 40, 41, 42 ], [ 1, 7, 13, 19, 25, 37, 39, 41, 43, 45, 47 ], [ 1, 7, 13, 19, 25, 38, 39, 42, 50, 51, 54 ], [ 1, 7, 13, 19, 25, 40, 41, 42, 58, 59, 60 ], [ 1, 7, 13, 19, 25, 43, 44, 45, 46, 47, 48 ], [ 1, 7, 13, 19, 25, 43, 46, 48, 49, 52, 54 ], [ 1, 7, 13, 19, 25, 44, 45, 46, 56, 57, 58 ], [ 1, 7, 13, 19, 25, 49, 50, 51, 52, 53, 54 ], [ 1, 7, 13, 19, 25, 49, 50, 53, 55, 56, 59 ], [ 1, 7, 13, 19, 25, 55, 56, 57, 58, 59, 60 ], [ 2, 5, 6, 14, 17, 18, 31, 32, 33, 34, 35, 36 ], [ 2, 5, 6, 14, 17, 18, 31, 32, 34, 37, 38, 40 ], [ 2, 5, 6, 14, 17, 18, 31, 33, 36, 55, 57, 60 ], [ 2, 5, 6, 14, 17, 18, 31, 37, 43, 49, 55 ], [ 2, 5, 6, 14, 17, 18, 32, 35, 36, 44, 47, 48 ], [ 2, 5, 6, 14, 17, 18, 32, 38, 44, 50, 56 ], [ 2, 5, 6, 14, 17, 18, 33, 34, 35, 51, 52, 53 ], [ 2, 5, 6, 14, 17, 18, 33, 39, 45, 51, 57 ], [ 2, 5, 6, 14, 17, 18, 34, 40, 46, 52, 58 ], [ 2, 5, 6, 14, 17, 18, 35, 41, 47, 53, 59 ], [ 2, 5, 6, 14, 17, 18, 36, 42, 48, 54, 60 ], [ 2, 5, 6, 14, 17, 18, 37, 38, 39, 40, 41, 42 ], [ 2, 5, 6, 14, 17, 18, 37, 39, 41, 43, 45, 47 ], [ 2, 5, 6, 14, 17, 18, 38, 39, 42, 50, 51, 54 ], [ 2, 5, 6, 14, 17, 18, 40, 41, 42, 58, 59, 60 ], [ 2, 5, 6, 14, 17, 18, 43, 44, 45, 46, 47, 48 ], [ 2, 5, 6, 14, 17, 18, 43, 46, 48, 49, 52, 54 ], [ 2, 5, 6, 14, 17, 18, 44, 45, 46, 56, 57, 58 ], [ 2, 5, 6, 14, 17, 18, 49, 50, 51, 52, 53, 54 ], [ 2, 5, 6, 14, 17, 18, 49, 50, 53, 55, 56, 59 ], [ 2, 5, 6, 14, 17, 18, 55, 56, 57, 58, 59, 60 ], [ 2, 8, 14, 20, 26, 31, 32, 33, 34, 35, 36 ], [ 2, 8, 14, 20, 26, 31, 32, 34, 37, 38, 40 ], [ 2, 8, 14, 20, 26, 31, 33, 36, 55, 57, 60 ], [ 2, 8, 14, 20, 26, 31, 37, 43, 49, 55 ], [ 2, 8, 14, 20, 26, 32, 35, 36, 44, 47, 48 ], [ 2, 8, 14, 20, 26, 32, 38, 44, 50, 56 ], [ 2, 8, 14, 20, 26, 33, 34, 35, 51, 52, 53 ], [ 2, 8, 14, 20, 26, 33, 39, 45, 51, 57 ], [ 2, 8, 14, 20, 26, 34, 40, 46, 52, 58 ], [ 2, 8, 14, 20, 26, 35, 41, 47, 53, 59 ], [ 2, 8, 14, 20, 26, 36, 42, 48, 54, 60 ], [ 2, 8, 14, 20, 26, 37, 38, 39, 40, 41, 42 ], [ 2, 8, 14, 20, 26, 37, 39, 41, 43, 45, 47 ], [ 2, 8, 14, 20, 26, 38, 39, 42, 50, 51, 54 ], [ 2, 8, 14, 20, 26, 40, 41, 42, 58, 59, 60 ], [ 2, 8, 14, 20, 26, 43, 44, 45, 46, 47, 48 ], [ 2, 8, 14, 20, 26, 43, 46, 48, 49, 52, 54 ], [ 2, 8, 14, 20, 26, 44, 45, 46, 56, 57, 58 ], [ 2, 8, 14, 20, 26, 49, 50, 51, 52, 53, 54 ], [ 2, 8, 14, 20, 26, 49, 50, 53, 55, 56, 59 ], [ 2, 8, 14, 20, 26, 55, 56, 57, 58, 59, 60 ], [ 3, 4, 5, 21, 22, 23, 31, 32, 33, 34, 35, 36 ], [ 3, 4, 5, 21, 22, 23, 31, 32, 34, 37, 38, 40 ], [ 3, 4, 5, 21, 22, 23, 31, 33, 36, 55, 57, 60 ], [ 3, 4, 5, 21, 22, 23, 31, 37, 43, 49, 55 ], [ 3, 4, 5, 21, 22, 23, 32, 35, 36, 44, 47, 48 ], [ 3, 4, 5, 21, 22, 23, 32, 38, 44, 50, 56 ], [ 3, 4, 5, 21, 22, 23, 33, 34, 35, 51, 52, 53 ], [ 3, 4, 5, 21, 22, 23, 33, 39, 45, 51, 57 ], [ 3, 4, 5, 21, 22, 23, 34, 40, 46, 52, 58 ], [ 3, 4, 5, 21, 22, 23, 35, 41, 47, 53, 59 ], [ 3, 4, 5, 21, 22, 23, 36, 42, 48, 54, 60 ], [ 3, 4, 5, 21, 22, 23, 37, 38, 39, 40, 41, 42 ], [ 3, 4, 5, 21, 22, 23, 37, 39, 41, 43, 45, 47 ], [ 3, 4, 5, 21, 22, 23, 38, 39, 42, 50, 51, 54 ], [ 3, 4, 5, 21, 22, 23, 40, 41, 42, 58, 59, 60 ], [ 3, 4, 5, 21, 22, 23, 43, 44, 45, 46, 47, 48 ], [ 3, 4, 5, 21, 22, 23, 43, 46, 48, 49, 52, 54 ], [ 3, 4, 5, 21, 22, 23, 44, 45, 46, 56, 57, 58 ], [ 3, 4, 5, 21, 22, 23, 49, 50, 51, 52, 53, 54 ], [ 3, 4, 5, 21, 22, 23, 49, 50, 53, 55, 56, 59 ], [ 3, 4, 5, 21, 22, 23, 55, 56, 57, 58, 59, 60 ], [ 3, 9, 15, 21, 27, 31, 32, 33, 34, 35, 36 ], [ 3, 9, 15, 21, 27, 31, 32, 34, 37, 38, 40 ], [ 3, 9, 15, 21, 27, 31, 33, 36, 55, 57, 60 ], [ 3, 9, 15, 21, 27, 31, 37, 43, 49, 55 ], [ 3, 9, 15, 21, 27, 32, 35, 36, 44, 47, 48 ], [ 3, 9, 15, 21, 27, 32, 38, 44, 50, 56 ], [ 3, 9, 15, 21, 27, 33, 34, 35, 51, 52, 53 ], [ 3, 9, 15, 21, 27, 33, 39, 45, 51, 57 ], [ 3, 9, 15, 21, 27, 34, 40, 46, 52, 58 ], [ 3, 9, 15, 21, 27, 35, 41, 47, 53, 59 ], [ 3, 9, 15, 21, 27, 36, 42, 48, 54, 60 ], [ 3, 9, 15, 21, 27, 37, 38, 39, 40, 41, 42 ], [ 3, 9, 15, 21, 27, 37, 39, 41, 43, 45, 47 ], [ 3, 9, 15, 21, 27, 38, 39, 42, 50, 51, 54 ], [ 3, 9, 15, 21, 27, 40, 41, 42, 58, 59, 60 ], [ 3, 9, 15, 21, 27, 43, 44, 45, 46, 47, 48 ], [ 3, 9, 15, 21, 27, 43, 46, 48, 49, 52, 54 ], [ 3, 9, 15, 21, 27, 44, 45, 46, 56, 57, 58 ], [ 3, 9, 15, 21, 27, 49, 50, 51, 52, 53, 54 ], [ 3, 9, 15, 21, 27, 49, 50, 53, 55, 56, 59 ], [ 3, 9, 15, 21, 27, 55, 56, 57, 58, 59, 60 ], [ 4, 10, 16, 22, 28, 31, 32, 33, 34, 35, 36 ], [ 4, 10, 16, 22, 28, 31, 32, 34, 37, 38, 40 ], [ 4, 10, 16, 22, 28, 31, 33, 36, 55, 57, 60 ], [ 4, 10, 16, 22, 28, 31, 37, 43, 49, 55 ], [ 4, 10, 16, 22, 28, 32, 35, 36, 44, 47, 48 ], [ 4, 10, 16, 22, 28, 32, 38, 44, 50, 56 ], [ 4, 10, 16, 22, 28, 33, 34, 35, 51, 52, 53 ], [ 4, 10, 16, 22, 28, 33, 39, 45, 51, 57 ], [ 4, 10, 16, 22, 28, 34, 40, 46, 52, 58 ], [ 4, 10, 16, 22, 28, 35, 41, 47, 53, 59 ], [ 4, 10, 16, 22, 28, 36, 42, 48, 54, 60 ], [ 4, 10, 16, 22, 28, 37, 38, 39, 40, 41, 42 ], [ 4, 10, 16, 22, 28, 37, 39, 41, 43, 45, 47 ], [ 4, 10, 16, 22, 28, 38, 39, 42, 50, 51, 54 ], [ 4, 10, 16, 22, 28, 40, 41, 42, 58, 59, 60 ], [ 4, 10, 16, 22, 28, 43, 44, 45, 46, 47, 48 ], [ 4, 10, 16, 22, 28, 43, 46, 48, 49, 52, 54 ], [ 4, 10, 16, 22, 28, 44, 45, 46, 56, 57, 58 ], [ 4, 10, 16, 22, 28, 49, 50, 51, 52, 53, 54 ], [ 4, 10, 16, 22, 28, 49, 50, 53, 55, 56, 59 ], [ 4, 10, 16, 22, 28, 55, 56, 57, 58, 59, 60 ], [ 5, 11, 17, 23, 29, 31, 32, 33, 34, 35, 36 ], [ 5, 11, 17, 23, 29, 31, 32, 34, 37, 38, 40 ], [ 5, 11, 17, 23, 29, 31, 33, 36, 55, 57, 60 ], [ 5, 11, 17, 23, 29, 31, 37, 43, 49, 55 ], [ 5, 11, 17, 23, 29, 32, 35, 36, 44, 47, 48 ], [ 5, 11, 17, 23, 29, 32, 38, 44, 50, 56 ], [ 5, 11, 17, 23, 29, 33, 34, 35, 51, 52, 53 ], [ 5, 11, 17, 23, 29, 33, 39, 45, 51, 57 ], [ 5, 11, 17, 23, 29, 34, 40, 46, 52, 58 ], [ 5, 11, 17, 23, 29, 35, 41, 47, 53, 59 ], [ 5, 11, 17, 23, 29, 36, 42, 48, 54, 60 ], [ 5, 11, 17, 23, 29, 37, 38, 39, 40, 41, 42 ], [ 5, 11, 17, 23, 29, 37, 39, 41, 43, 45, 47 ], [ 5, 11, 17, 23, 29, 38, 39, 42, 50, 51, 54 ], [ 5, 11, 17, 23, 29, 40, 41, 42, 58, 59, 60 ], [ 5, 11, 17, 23, 29, 43, 44, 45, 46, 47, 48 ], [ 5, 11, 17, 23, 29, 43, 46, 48, 49, 52, 54 ], [ 5, 11, 17, 23, 29, 44, 45, 46, 56, 57, 58 ], [ 5, 11, 17, 23, 29, 49, 50, 51, 52, 53, 54 ], [ 5, 11, 17, 23, 29, 49, 50, 53, 55, 56, 59 ], [ 5, 11, 17, 23, 29, 55, 56, 57, 58, 59, 60 ], [ 6, 12, 18, 24, 30, 31, 32, 33, 34, 35, 36 ], [ 6, 12, 18, 24, 30, 31, 32, 34, 37, 38, 40 ], [ 6, 12, 18, 24, 30, 31, 33, 36, 55, 57, 60 ], [ 6, 12, 18, 24, 30, 31, 37, 43, 49, 55 ], [ 6, 12, 18, 24, 30, 32, 35, 36, 44, 47, 48 ], [ 6, 12, 18, 24, 30, 32, 38, 44, 50, 56 ], [ 6, 12, 18, 24, 30, 33, 34, 35, 51, 52, 53 ], [ 6, 12, 18, 24, 30, 33, 39, 45, 51, 57 ], [ 6, 12, 18, 24, 30, 34, 40, 46, 52, 58 ], [ 6, 12, 18, 24, 30, 35, 41, 47, 53, 59 ], [ 6, 12, 18, 24, 30, 36, 42, 48, 54, 60 ], [ 6, 12, 18, 24, 30, 37, 38, 39, 40, 41, 42 ], [ 6, 12, 18, 24, 30, 37, 39, 41, 43, 45, 47 ], [ 6, 12, 18, 24, 30, 38, 39, 42, 50, 51, 54 ], [ 6, 12, 18, 24, 30, 40, 41, 42, 58, 59, 60 ], [ 6, 12, 18, 24, 30, 43, 44, 45, 46, 47, 48 ], [ 6, 12, 18, 24, 30, 43, 46, 48, 49, 52, 54 ], [ 6, 12, 18, 24, 30, 44, 45, 46, 56, 57, 58 ], [ 6, 12, 18, 24, 30, 49, 50, 51, 52, 53, 54 ], [ 6, 12, 18, 24, 30, 49, 50, 53, 55, 56, 59 ], [ 6, 12, 18, 24, 30, 55, 56, 57, 58, 59, 60 ], [ 7, 8, 9, 10, 11, 12, 31, 32, 33, 34, 35, 36 ], [ 7, 8, 9, 10, 11, 12, 31, 32, 34, 37, 38, 40 ], [ 7, 8, 9, 10, 11, 12, 31, 33, 36, 55, 57, 60 ], [ 7, 8, 9, 10, 11, 12, 31, 37, 43, 49, 55 ], [ 7, 8, 9, 10, 11, 12, 32, 35, 36, 44, 47, 48 ], [ 7, 8, 9, 10, 11, 12, 32, 38, 44, 50, 56 ], [ 7, 8, 9, 10, 11, 12, 33, 34, 35, 51, 52, 53 ], [ 7, 8, 9, 10, 11, 12, 33, 39, 45, 51, 57 ], [ 7, 8, 9, 10, 11, 12, 34, 40, 46, 52, 58 ], [ 7, 8, 9, 10, 11, 12, 35, 41, 47, 53, 59 ], [ 7, 8, 9, 10, 11, 12, 36, 42, 48, 54, 60 ], [ 7, 8, 9, 10, 11, 12, 37, 38, 39, 40, 41, 42 ], [ 7, 8, 9, 10, 11, 12, 37, 39, 41, 43, 45, 47 ], [ 7, 8, 9, 10, 11, 12, 38, 39, 42, 50, 51, 54 ], [ 7, 8, 9, 10, 11, 12, 40, 41, 42, 58, 59, 60 ], [ 7, 8, 9, 10, 11, 12, 43, 44, 45, 46, 47, 48 ], [ 7, 8, 9, 10, 11, 12, 43, 46, 48, 49, 52, 54 ], [ 7, 8, 9, 10, 11, 12, 44, 45, 46, 56, 57, 58 ], [ 7, 8, 9, 10, 11, 12, 49, 50, 51, 52, 53, 54 ], [ 7, 8, 9, 10, 11, 12, 49, 50, 53, 55, 56, 59 ], [ 7, 8, 9, 10, 11, 12, 55, 56, 57, 58, 59, 60 ], [ 7, 9, 11, 13, 15, 17, 31, 32, 33, 34, 35, 36 ], [ 7, 9, 11, 13, 15, 17, 31, 32, 34, 37, 38, 40 ], [ 7, 9, 11, 13, 15, 17, 31, 33, 36, 55, 57, 60 ], [ 7, 9, 11, 13, 15, 17, 31, 37, 43, 49, 55 ], [ 7, 9, 11, 13, 15, 17, 32, 35, 36, 44, 47, 48 ], [ 7, 9, 11, 13, 15, 17, 32, 38, 44, 50, 56 ], [ 7, 9, 11, 13, 15, 17, 33, 34, 35, 51, 52, 53 ], [ 7, 9, 11, 13, 15, 17, 33, 39, 45, 51, 57 ], [ 7, 9, 11, 13, 15, 17, 34, 40, 46, 52, 58 ], [ 7, 9, 11, 13, 15, 17, 35, 41, 47, 53, 59 ], [ 7, 9, 11, 13, 15, 17, 36, 42, 48, 54, 60 ], [ 7, 9, 11, 13, 15, 17, 37, 38, 39, 40, 41, 42 ], [ 7, 9, 11, 13, 15, 17, 37, 39, 41, 43, 45, 47 ], [ 7, 9, 11, 13, 15, 17, 38, 39, 42, 50, 51, 54 ], [ 7, 9, 11, 13, 15, 17, 40, 41, 42, 58, 59, 60 ], [ 7, 9, 11, 13, 15, 17, 43, 44, 45, 46, 47, 48 ], [ 7, 9, 11, 13, 15, 17, 43, 46, 48, 49, 52, 54 ], [ 7, 9, 11, 13, 15, 17, 44, 45, 46, 56, 57, 58 ], [ 7, 9, 11, 13, 15, 17, 49, 50, 51, 52, 53, 54 ], [ 7, 9, 11, 13, 15, 17, 49, 50, 53, 55, 56, 59 ], [ 7, 9, 11, 13, 15, 17, 55, 56, 57, 58, 59, 60 ], [ 8, 9, 12, 20, 21, 24, 31, 32, 33, 34, 35, 36 ], [ 8, 9, 12, 20, 21, 24, 31, 32, 34, 37, 38, 40 ], [ 8, 9, 12, 20, 21, 24, 31, 33, 36, 55, 57, 60 ], [ 8, 9, 12, 20, 21, 24, 31, 37, 43, 49, 55 ], [ 8, 9, 12, 20, 21, 24, 32, 35, 36, 44, 47, 48 ], [ 8, 9, 12, 20, 21, 24, 32, 38, 44, 50, 56 ], [ 8, 9, 12, 20, 21, 24, 33, 34, 35, 51, 52, 53 ], [ 8, 9, 12, 20, 21, 24, 33, 39, 45, 51, 57 ], [ 8, 9, 12, 20, 21, 24, 34, 40, 46, 52, 58 ], [ 8, 9, 12, 20, 21, 24, 35, 41, 47, 53, 59 ], [ 8, 9, 12, 20, 21, 24, 36, 42, 48, 54, 60 ], [ 8, 9, 12, 20, 21, 24, 37, 38, 39, 40, 41, 42 ], [ 8, 9, 12, 20, 21, 24, 37, 39, 41, 43, 45, 47 ], [ 8, 9, 12, 20, 21, 24, 38, 39, 42, 50, 51, 54 ], [ 8, 9, 12, 20, 21, 24, 40, 41, 42, 58, 59, 60 ], [ 8, 9, 12, 20, 21, 24, 43, 44, 45, 46, 47, 48 ], [ 8, 9, 12, 20, 21, 24, 43, 46, 48, 49, 52, 54 ], [ 8, 9, 12, 20, 21, 24, 44, 45, 46, 56, 57, 58 ], [ 8, 9, 12, 20, 21, 24, 49, 50, 51, 52, 53, 54 ], [ 8, 9, 12, 20, 21, 24, 49, 50, 53, 55, 56, 59 ], [ 8, 9, 12, 20, 21, 24, 55, 56, 57, 58, 59, 60 ], [ 10, 11, 12, 28, 29, 30, 31, 32, 33, 34, 35, 36 ], [ 10, 11, 12, 28, 29, 30, 31, 32, 34, 37, 38, 40 ], [ 10, 11, 12, 28, 29, 30, 31, 33, 36, 55, 57, 60 ], [ 10, 11, 12, 28, 29, 30, 31, 37, 43, 49, 55 ], [ 10, 11, 12, 28, 29, 30, 32, 35, 36, 44, 47, 48 ], [ 10, 11, 12, 28, 29, 30, 32, 38, 44, 50, 56 ], [ 10, 11, 12, 28, 29, 30, 33, 34, 35, 51, 52, 53 ], [ 10, 11, 12, 28, 29, 30, 33, 39, 45, 51, 57 ], [ 10, 11, 12, 28, 29, 30, 34, 40, 46, 52, 58 ], [ 10, 11, 12, 28, 29, 30, 35, 41, 47, 53, 59 ], [ 10, 11, 12, 28, 29, 30, 36, 42, 48, 54, 60 ], [ 10, 11, 12, 28, 29, 30, 37, 38, 39, 40, 41, 42 ], [ 10, 11, 12, 28, 29, 30, 37, 39, 41, 43, 45, 47 ], [ 10, 11, 12, 28, 29, 30, 38, 39, 42, 50, 51, 54 ], [ 10, 11, 12, 28, 29, 30, 40, 41, 42, 58, 59, 60 ], [ 10, 11, 12, 28, 29, 30, 43, 44, 45, 46, 47, 48 ], [ 10, 11, 12, 28, 29, 30, 43, 46, 48, 49, 52, 54 ], [ 10, 11, 12, 28, 29, 30, 44, 45, 46, 56, 57, 58 ], [ 10, 11, 12, 28, 29, 30, 49, 50, 51, 52, 53, 54 ], [ 10, 11, 12, 28, 29, 30, 49, 50, 53, 55, 56, 59 ], [ 10, 11, 12, 28, 29, 30, 55, 56, 57, 58, 59, 60 ], [ 13, 14, 15, 16, 17, 18, 31, 32, 33, 34, 35, 36 ], [ 13, 14, 15, 16, 17, 18, 31, 32, 34, 37, 38, 40 ], [ 13, 14, 15, 16, 17, 18, 31, 33, 36, 55, 57, 60 ], [ 13, 14, 15, 16, 17, 18, 31, 37, 43, 49, 55 ], [ 13, 14, 15, 16, 17, 18, 32, 35, 36, 44, 47, 48 ], [ 13, 14, 15, 16, 17, 18, 32, 38, 44, 50, 56 ], [ 13, 14, 15, 16, 17, 18, 33, 34, 35, 51, 52, 53 ], [ 13, 14, 15, 16, 17, 18, 33, 39, 45, 51, 57 ], [ 13, 14, 15, 16, 17, 18, 34, 40, 46, 52, 58 ], [ 13, 14, 15, 16, 17, 18, 35, 41, 47, 53, 59 ], [ 13, 14, 15, 16, 17, 18, 36, 42, 48, 54, 60 ], [ 13, 14, 15, 16, 17, 18, 37, 38, 39, 40, 41, 42 ], [ 13, 14, 15, 16, 17, 18, 37, 39, 41, 43, 45, 47 ], [ 13, 14, 15, 16, 17, 18, 38, 39, 42, 50, 51, 54 ], [ 13, 14, 15, 16, 17, 18, 40, 41, 42, 58, 59, 60 ], [ 13, 14, 15, 16, 17, 18, 43, 44, 45, 46, 47, 48 ], [ 13, 14, 15, 16, 17, 18, 43, 46, 48, 49, 52, 54 ], [ 13, 14, 15, 16, 17, 18, 44, 45, 46, 56, 57, 58 ], [ 13, 14, 15, 16, 17, 18, 49, 50, 51, 52, 53, 54 ], [ 13, 14, 15, 16, 17, 18, 49, 50, 53, 55, 56, 59 ], [ 13, 14, 15, 16, 17, 18, 55, 56, 57, 58, 59, 60 ], [ 13, 16, 18, 19, 22, 24, 31, 32, 33, 34, 35, 36 ], [ 13, 16, 18, 19, 22, 24, 31, 32, 34, 37, 38, 40 ], [ 13, 16, 18, 19, 22, 24, 31, 33, 36, 55, 57, 60 ], [ 13, 16, 18, 19, 22, 24, 31, 37, 43, 49, 55 ], [ 13, 16, 18, 19, 22, 24, 32, 35, 36, 44, 47, 48 ], [ 13, 16, 18, 19, 22, 24, 32, 38, 44, 50, 56 ], [ 13, 16, 18, 19, 22, 24, 33, 34, 35, 51, 52, 53 ], [ 13, 16, 18, 19, 22, 24, 33, 39, 45, 51, 57 ], [ 13, 16, 18, 19, 22, 24, 34, 40, 46, 52, 58 ], [ 13, 16, 18, 19, 22, 24, 35, 41, 47, 53, 59 ], [ 13, 16, 18, 19, 22, 24, 36, 42, 48, 54, 60 ], [ 13, 16, 18, 19, 22, 24, 37, 38, 39, 40, 41, 42 ], [ 13, 16, 18, 19, 22, 24, 37, 39, 41, 43, 45, 47 ], [ 13, 16, 18, 19, 22, 24, 38, 39, 42, 50, 51, 54 ], [ 13, 16, 18, 19, 22, 24, 40, 41, 42, 58, 59, 60 ], [ 13, 16, 18, 19, 22, 24, 43, 44, 45, 46, 47, 48 ], [ 13, 16, 18, 19, 22, 24, 43, 46, 48, 49, 52, 54 ], [ 13, 16, 18, 19, 22, 24, 44, 45, 46, 56, 57, 58 ], [ 13, 16, 18, 19, 22, 24, 49, 50, 51, 52, 53, 54 ], [ 13, 16, 18, 19, 22, 24, 49, 50, 53, 55, 56, 59 ], [ 13, 16, 18, 19, 22, 24, 55, 56, 57, 58, 59, 60 ], [ 14, 15, 16, 26, 27, 28, 31, 32, 33, 34, 35, 36 ], [ 14, 15, 16, 26, 27, 28, 31, 32, 34, 37, 38, 40 ], [ 14, 15, 16, 26, 27, 28, 31, 33, 36, 55, 57, 60 ], [ 14, 15, 16, 26, 27, 28, 31, 37, 43, 49, 55 ], [ 14, 15, 16, 26, 27, 28, 32, 35, 36, 44, 47, 48 ], [ 14, 15, 16, 26, 27, 28, 32, 38, 44, 50, 56 ], [ 14, 15, 16, 26, 27, 28, 33, 34, 35, 51, 52, 53 ], [ 14, 15, 16, 26, 27, 28, 33, 39, 45, 51, 57 ], [ 14, 15, 16, 26, 27, 28, 34, 40, 46, 52, 58 ], [ 14, 15, 16, 26, 27, 28, 35, 41, 47, 53, 59 ], [ 14, 15, 16, 26, 27, 28, 36, 42, 48, 54, 60 ], [ 14, 15, 16, 26, 27, 28, 37, 38, 39, 40, 41, 42 ], [ 14, 15, 16, 26, 27, 28, 37, 39, 41, 43, 45, 47 ], [ 14, 15, 16, 26, 27, 28, 38, 39, 42, 50, 51, 54 ], [ 14, 15, 16, 26, 27, 28, 40, 41, 42, 58, 59, 60 ], [ 14, 15, 16, 26, 27, 28, 43, 44, 45, 46, 47, 48 ], [ 14, 15, 16, 26, 27, 28, 43, 46, 48, 49, 52, 54 ], [ 14, 15, 16, 26, 27, 28, 44, 45, 46, 56, 57, 58 ], [ 14, 15, 16, 26, 27, 28, 49, 50, 51, 52, 53, 54 ], [ 14, 15, 16, 26, 27, 28, 49, 50, 53, 55, 56, 59 ], [ 14, 15, 16, 26, 27, 28, 55, 56, 57, 58, 59, 60 ], [ 19, 20, 21, 22, 23, 24, 31, 32, 33, 34, 35, 36 ], [ 19, 20, 21, 22, 23, 24, 31, 32, 34, 37, 38, 40 ], [ 19, 20, 21, 22, 23, 24, 31, 33, 36, 55, 57, 60 ], [ 19, 20, 21, 22, 23, 24, 31, 37, 43, 49, 55 ], [ 19, 20, 21, 22, 23, 24, 32, 35, 36, 44, 47, 48 ], [ 19, 20, 21, 22, 23, 24, 32, 38, 44, 50, 56 ], [ 19, 20, 21, 22, 23, 24, 33, 34, 35, 51, 52, 53 ], [ 19, 20, 21, 22, 23, 24, 33, 39, 45, 51, 57 ], [ 19, 20, 21, 22, 23, 24, 34, 40, 46, 52, 58 ], [ 19, 20, 21, 22, 23, 24, 35, 41, 47, 53, 59 ], [ 19, 20, 21, 22, 23, 24, 36, 42, 48, 54, 60 ], [ 19, 20, 21, 22, 23, 24, 37, 38, 39, 40, 41, 42 ], [ 19, 20, 21, 22, 23, 24, 37, 39, 41, 43, 45, 47 ], [ 19, 20, 21, 22, 23, 24, 38, 39, 42, 50, 51, 54 ], [ 19, 20, 21, 22, 23, 24, 40, 41, 42, 58, 59, 60 ], [ 19, 20, 21, 22, 23, 24, 43, 44, 45, 46, 47, 48 ], [ 19, 20, 21, 22, 23, 24, 43, 46, 48, 49, 52, 54 ], [ 19, 20, 21, 22, 23, 24, 44, 45, 46, 56, 57, 58 ], [ 19, 20, 21, 22, 23, 24, 49, 50, 51, 52, 53, 54 ], [ 19, 20, 21, 22, 23, 24, 49, 50, 53, 55, 56, 59 ], [ 19, 20, 21, 22, 23, 24, 55, 56, 57, 58, 59, 60 ], [ 19, 20, 23, 25, 26, 29, 31, 32, 33, 34, 35, 36 ], [ 19, 20, 23, 25, 26, 29, 31, 32, 34, 37, 38, 40 ], [ 19, 20, 23, 25, 26, 29, 31, 33, 36, 55, 57, 60 ], [ 19, 20, 23, 25, 26, 29, 31, 37, 43, 49, 55 ], [ 19, 20, 23, 25, 26, 29, 32, 35, 36, 44, 47, 48 ], [ 19, 20, 23, 25, 26, 29, 32, 38, 44, 50, 56 ], [ 19, 20, 23, 25, 26, 29, 33, 34, 35, 51, 52, 53 ], [ 19, 20, 23, 25, 26, 29, 33, 39, 45, 51, 57 ], [ 19, 20, 23, 25, 26, 29, 34, 40, 46, 52, 58 ], [ 19, 20, 23, 25, 26, 29, 35, 41, 47, 53, 59 ], [ 19, 20, 23, 25, 26, 29, 36, 42, 48, 54, 60 ], [ 19, 20, 23, 25, 26, 29, 37, 38, 39, 40, 41, 42 ], [ 19, 20, 23, 25, 26, 29, 37, 39, 41, 43, 45, 47 ], [ 19, 20, 23, 25, 26, 29, 38, 39, 42, 50, 51, 54 ], [ 19, 20, 23, 25, 26, 29, 40, 41, 42, 58, 59, 60 ], [ 19, 20, 23, 25, 26, 29, 43, 44, 45, 46, 47, 48 ], [ 19, 20, 23, 25, 26, 29, 43, 46, 48, 49, 52, 54 ], [ 19, 20, 23, 25, 26, 29, 44, 45, 46, 56, 57, 58 ], [ 19, 20, 23, 25, 26, 29, 49, 50, 51, 52, 53, 54 ], [ 19, 20, 23, 25, 26, 29, 49, 50, 53, 55, 56, 59 ], [ 19, 20, 23, 25, 26, 29, 55, 56, 57, 58, 59, 60 ], [ 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36 ], [ 25, 26, 27, 28, 29, 30, 31, 32, 34, 37, 38, 40 ], [ 25, 26, 27, 28, 29, 30, 31, 33, 36, 55, 57, 60 ], [ 25, 26, 27, 28, 29, 30, 31, 37, 43, 49, 55 ], [ 25, 26, 27, 28, 29, 30, 32, 35, 36, 44, 47, 48 ], [ 25, 26, 27, 28, 29, 30, 32, 38, 44, 50, 56 ], [ 25, 26, 27, 28, 29, 30, 33, 34, 35, 51, 52, 53 ], [ 25, 26, 27, 28, 29, 30, 33, 39, 45, 51, 57 ], [ 25, 26, 27, 28, 29, 30, 34, 40, 46, 52, 58 ], [ 25, 26, 27, 28, 29, 30, 35, 41, 47, 53, 59 ], [ 25, 26, 27, 28, 29, 30, 36, 42, 48, 54, 60 ], [ 25, 26, 27, 28, 29, 30, 37, 38, 39, 40, 41, 42 ], [ 25, 26, 27, 28, 29, 30, 37, 39, 41, 43, 45, 47 ], [ 25, 26, 27, 28, 29, 30, 38, 39, 42, 50, 51, 54 ], [ 25, 26, 27, 28, 29, 30, 40, 41, 42, 58, 59, 60 ], [ 25, 26, 27, 28, 29, 30, 43, 44, 45, 46, 47, 48 ], [ 25, 26, 27, 28, 29, 30, 43, 46, 48, 49, 52, 54 ], [ 25, 26, 27, 28, 29, 30, 44, 45, 46, 56, 57, 58 ], [ 25, 26, 27, 28, 29, 30, 49, 50, 51, 52, 53, 54 ], [ 25, 26, 27, 28, 29, 30, 49, 50, 53, 55, 56, 59 ], [ 25, 26, 27, 28, 29, 30, 55, 56, 57, 58, 59, 60 ] ];