## o_g2xS1 f = (20,168,296,148), g_2 = 98. ## deg = 12,12,12,12,17,17,17,17,17,17,17,17,19,19,19,19,19,19,19,19 ## n_4,... = 0,0,0,0,0,0,0,0,4,0,0,0,0,8,0,8 facets:=[[1,2,3,4],[1,2,3,5],[1,2,4,6],[1,2,5,6],[1,3,4,7],[1,3,5,8], [1,3,7,8],[1,4,6,9],[1,4,7,9],[1,5,6,10],[1,5,8,10],[1,6,9,11], [1,6,10,11],[1,7,8,12],[1,7,9,12],[1,8,10,13],[1,8,12,13],[1,9,11,12], [1,10,11,13],[1,11,12,13],[2,3,4,10],[2,3,5,12],[2,3,10,12],[2,4,6,8], [2,4,8,14],[2,4,10,15],[2,4,14,15],[2,5,6,16],[2,5,11,12],[2,5,11,16], [2,6,8,16],[2,7,11,17],[2,7,11,18],[2,7,13,17],[2,7,13,19],[2,7,18,19], [2,8,9,14],[2,8,9,20],[2,8,16,20],[2,9,13,14],[2,9,13,20],[2,10,12,18], [2,10,15,19],[2,10,18,19],[2,11,12,18],[2,11,16,20],[2,11,17,20], [2,13,14,15],[2,13,15,19],[2,13,17,20],[3,4,7,18],[3,4,10,13], [3,4,13,18],[3,5,8,19],[3,5,12,15],[3,5,14,15],[3,5,14,19],[3,6,9,11], [3,6,9,20],[3,6,11,14],[3,6,14,20],[3,7,8,11],[3,7,11,18],[3,8,11,19], [3,9,11,18],[3,9,13,18],[3,9,13,20],[3,10,12,16],[3,10,13,16], [3,11,14,19],[3,12,15,17],[3,12,16,17],[3,13,16,17],[3,13,17,20], [3,14,15,20],[3,15,17,20],[4,5,7,9],[4,5,7,18],[4,5,9,17],[4,5,11,13], [4,5,11,16],[4,5,13,18],[4,5,16,17],[4,6,8,12],[4,6,9,19],[4,6,12,19], [4,8,12,14],[4,9,17,19],[4,10,11,13],[4,10,11,15],[4,11,15,20], [4,11,16,20],[4,12,14,20],[4,12,16,17],[4,12,16,20],[4,12,17,19], [4,14,15,20],[5,6,10,17],[5,6,16,17],[5,7,9,10],[5,7,10,20], [5,7,18,19],[5,7,19,20],[5,8,10,20],[5,8,19,20],[5,9,10,17], [5,11,12,13],[5,12,13,15],[5,13,14,15],[5,13,14,18],[5,14,18,19], [6,7,13,17],[6,7,13,19],[6,7,14,17],[6,7,14,20],[6,7,19,20], [6,8,12,13],[6,8,13,16],[6,9,19,20],[6,10,11,14],[6,10,14,17], [6,12,13,19],[6,13,16,17],[7,8,11,17],[7,8,12,14],[7,8,14,17], [7,9,10,12],[7,10,12,20],[7,12,14,20],[8,9,14,17],[8,9,17,19], [8,9,19,20],[8,10,13,16],[8,10,16,20],[8,11,17,19],[9,10,12,18], [9,10,14,17],[9,10,14,18],[9,11,12,18],[9,13,14,18],[10,11,14,19], [10,11,15,19],[10,12,16,20],[10,14,18,19],[11,15,17,19],[11,15,17,20], [12,13,15,19],[12,15,17,19]]; ## o_g3xS1 f = (22,210,376,188), g_2 = 132. ## deg = 10,17,18,18,18,19,19,19,19,19,20,20,20,20,20,20,20,20,21,21,21,21 ## n_4,... = 0,0,0,0,0,0,1,0,0,0,0,0,0,1,3,5,8,4 facets:=[[1,2,3,4],[1,2,3,5],[1,2,4,6],[1,2,5,6],[1,3,4,7],[1,3,5,7], [1,4,6,8],[1,4,7,9],[1,4,8,9],[1,5,6,10],[1,5,7,11],[1,5,10,11], [1,6,8,10],[1,7,9,11],[1,8,9,10],[1,9,10,11],[2,3,4,12],[2,3,5,13], [2,3,12,14],[2,3,13,14],[2,4,6,15],[2,4,10,12],[2,4,10,15],[2,5,6,16], [2,5,13,17],[2,5,16,17],[2,6,15,18],[2,6,16,18],[2,7,8,19],[2,7,8,20], [2,7,10,15],[2,7,10,19],[2,7,15,20],[2,8,16,17],[2,8,16,20], [2,8,17,19],[2,9,11,14],[2,9,11,21],[2,9,12,14],[2,9,12,22], [2,9,21,22],[2,10,12,22],[2,10,19,22],[2,11,13,14],[2,11,13,17], [2,11,17,21],[2,15,18,20],[2,16,18,20],[2,17,19,21],[2,19,21,22], [3,4,7,21],[3,4,12,20],[3,4,20,21],[3,5,7,22],[3,5,9,15],[3,5,9,22], [3,5,13,15],[3,6,9,19],[3,6,9,22],[3,6,11,17],[3,6,11,19],[3,6,17,22], [3,7,17,21],[3,7,17,22],[3,8,10,16],[3,8,10,18],[3,8,12,18], [3,8,12,20],[3,8,16,20],[3,9,15,19],[3,10,13,15],[3,10,13,18], [3,10,15,16],[3,11,17,21],[3,11,19,20],[3,11,20,21],[3,12,14,18], [3,13,14,18],[3,15,16,19],[3,16,19,20],[4,5,12,17],[4,5,12,20], [4,5,14,16],[4,5,14,19],[4,5,16,17],[4,5,18,19],[4,5,18,21], [4,5,20,21],[4,6,8,13],[4,6,11,13],[4,6,11,15],[4,7,9,18],[4,7,18,21], [4,8,9,19],[4,8,13,14],[4,8,14,19],[4,9,18,19],[4,10,12,17], [4,10,15,16],[4,10,16,17],[4,11,13,14],[4,11,14,16],[4,11,15,16], [5,6,10,14],[5,6,14,16],[5,7,8,11],[5,7,8,22],[5,8,11,18],[5,8,18,21], [5,8,21,22],[5,9,15,20],[5,9,20,21],[5,9,21,22],[5,10,11,19], [5,10,14,19],[5,11,18,19],[5,12,13,17],[5,12,13,20],[5,13,15,20], [6,8,10,21],[6,8,13,21],[6,9,12,14],[6,9,12,22],[6,9,14,16], [6,9,16,18],[6,9,18,19],[6,10,14,21],[6,11,13,17],[6,11,15,18], [6,11,18,19],[6,12,13,17],[6,12,13,21],[6,12,14,21],[6,12,17,22], [7,8,11,12],[7,8,12,20],[7,8,14,19],[7,8,14,22],[7,9,11,16], [7,9,16,18],[7,10,13,15],[7,10,13,18],[7,10,14,19],[7,10,14,21], [7,10,18,21],[7,11,12,16],[7,12,13,16],[7,12,13,20],[7,13,15,20], [7,13,16,18],[7,14,17,21],[7,14,17,22],[8,9,10,17],[8,9,17,19], [8,10,16,17],[8,10,18,21],[8,11,12,18],[8,13,14,22],[8,13,21,22], [9,10,11,20],[9,10,17,20],[9,11,14,16],[9,11,20,21],[9,15,17,19], [9,15,17,20],[10,11,19,20],[10,12,17,22],[10,17,20,22],[10,19,20,22], [11,12,15,16],[11,12,15,18],[12,13,16,21],[12,14,15,18],[12,14,15,21], [12,15,16,21],[13,14,18,22],[13,16,18,22],[13,16,21,22],[14,15,17,20], [14,15,17,21],[14,15,18,20],[14,17,20,22],[14,18,20,22],[15,16,19,21], [15,17,19,21],[16,18,20,22],[16,19,20,22],[16,19,21,22]]; ## o_g4xS1 f = (24,256,464,232), g_2 = 170. ## deg = 19,20,20,20,20,20,20,21,21,21,21,21,21,22,22,22,22,22,22,23,23,23,23,23 ## n_4,... = 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,6,6,6,5 facets:=[[1,2,3,4],[1,2,3,5],[1,2,4,6],[1,2,5,6],[1,3,4,7],[1,3,5,7], [1,4,6,8],[1,4,7,9],[1,4,8,9],[1,5,6,10],[1,5,7,11],[1,5,10,12], [1,5,11,12],[1,6,8,10],[1,7,9,13],[1,7,11,13],[1,8,9,14],[1,8,10,14], [1,9,13,15],[1,9,14,16],[1,9,15,16],[1,10,12,17],[1,10,14,17], [1,11,12,18],[1,11,13,18],[1,12,17,19],[1,12,18,20],[1,12,19,20], [1,13,15,21],[1,13,18,21],[1,14,16,17],[1,15,16,22],[1,15,21,23], [1,15,22,23],[1,16,17,19],[1,16,19,22],[1,18,20,21],[1,19,20,22], [1,20,21,23],[1,20,22,23],[2,3,4,14],[2,3,5,9],[2,3,9,10],[2,3,10,14], [2,4,6,23],[2,4,14,18],[2,4,18,23],[2,5,6,24],[2,5,9,24],[2,6,11,23], [2,6,11,24],[2,7,11,17],[2,7,11,23],[2,7,17,20],[2,7,18,20], [2,7,18,23],[2,8,15,20],[2,8,15,21],[2,8,17,20],[2,8,17,21], [2,9,10,19],[2,9,19,24],[2,10,14,18],[2,10,18,22],[2,10,19,22], [2,11,17,21],[2,11,21,24],[2,12,13,15],[2,12,13,16],[2,12,15,20], [2,12,16,18],[2,12,18,20],[2,13,15,21],[2,13,16,19],[2,13,19,21], [2,16,18,22],[2,16,19,22],[2,19,21,24],[3,4,7,22],[3,4,13,14], [3,4,13,22],[3,5,7,19],[3,5,8,16],[3,5,8,19],[3,5,9,23],[3,5,16,23], [3,6,13,14],[3,6,13,18],[3,6,14,20],[3,6,16,18],[3,6,16,24], [3,6,20,24],[3,7,19,22],[3,8,11,16],[3,8,11,19],[3,9,10,17], [3,9,17,23],[3,10,14,17],[3,11,13,18],[3,11,13,22],[3,11,16,18], [3,11,19,22],[3,14,15,17],[3,14,15,20],[3,15,17,23],[3,15,20,24], [3,15,23,24],[3,16,23,24],[4,5,10,12],[4,5,10,24],[4,5,12,22], [4,5,13,14],[4,5,13,22],[4,5,14,24],[4,6,8,17],[4,6,17,19],[4,6,19,23], [4,7,9,12],[4,7,12,22],[4,8,9,20],[4,8,17,20],[4,9,10,12],[4,9,10,20], [4,10,16,20],[4,10,16,24],[4,14,18,24],[4,16,17,19],[4,16,17,20], [4,16,19,23],[4,16,23,24],[4,18,23,24],[5,6,10,24],[5,7,11,17], [5,7,15,17],[5,7,15,19],[5,8,13,16],[5,8,13,22],[5,8,18,19], [5,8,18,22],[5,9,14,23],[5,9,14,24],[5,11,12,21],[5,11,17,21], [5,12,21,22],[5,13,14,23],[5,13,16,23],[5,15,17,22],[5,15,18,19], [5,15,18,22],[5,17,21,22],[6,8,10,21],[6,8,17,21],[6,9,12,15], [6,9,12,17],[6,9,15,16],[6,9,16,21],[6,9,17,21],[6,10,16,21], [6,10,16,24],[6,11,20,23],[6,11,20,24],[6,12,15,19],[6,12,17,19], [6,13,14,23],[6,13,18,19],[6,13,19,23],[6,14,20,23],[6,15,16,18], [6,15,18,19],[7,8,10,13],[7,8,10,23],[7,8,12,13],[7,8,12,24], [7,8,23,24],[7,9,12,13],[7,10,11,13],[7,10,11,23],[7,12,21,22], [7,12,21,24],[7,14,15,17],[7,14,15,19],[7,14,16,17],[7,14,16,21], [7,14,19,22],[7,14,21,22],[7,16,17,20],[7,16,20,21],[7,18,20,21], [7,18,21,24],[7,18,23,24],[8,9,11,19],[8,9,11,20],[8,9,14,18], [8,9,18,19],[8,10,13,22],[8,10,14,18],[8,10,18,22],[8,10,21,23], [8,11,12,16],[8,11,12,24],[8,11,20,24],[8,12,13,16],[8,15,20,24], [8,15,21,23],[8,15,23,24],[9,10,11,19],[9,10,11,20],[9,10,12,17], [9,12,13,15],[9,14,16,21],[9,14,18,24],[9,14,21,22],[9,14,22,23], [9,17,21,22],[9,17,22,23],[9,18,19,24],[10,11,13,22],[10,11,19,22], [10,11,20,23],[10,16,20,21],[10,20,21,23],[11,12,16,18],[11,12,21,24], [12,15,19,20],[13,16,19,23],[13,18,19,21],[14,15,19,20],[14,19,20,22], [14,20,22,23],[15,16,18,22],[15,17,22,23],[18,19,21,24]]; ## o_g5xS1 f = (26,299,546,273), g_2 = 205. ## deg = 20,21,21,21,22,22,22,22,23,23,23,23,23,23,23,23,23,24,24,24,24,24,25,25,25,25 ## n_4,... = 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,3,4,9,5,4 facets:=[[1,2,3,4],[1,2,3,5],[1,2,4,6],[1,2,5,6],[1,3,4,7],[1,3,5,7], [1,4,6,8],[1,4,7,9],[1,4,8,9],[1,5,6,10],[1,5,7,11],[1,5,10,12], [1,5,11,12],[1,6,8,10],[1,7,9,13],[1,7,11,13],[1,8,9,14],[1,8,10,15], [1,8,14,16],[1,8,15,17],[1,8,16,18],[1,8,17,18],[1,9,13,14], [1,10,12,15],[1,11,12,19],[1,11,13,20],[1,11,19,21],[1,11,20,22], [1,11,21,22],[1,12,15,17],[1,12,17,19],[1,13,14,20],[1,14,16,20], [1,16,18,21],[1,16,20,22],[1,16,21,22],[1,17,18,19],[1,18,19,21], [2,3,4,16],[2,3,5,22],[2,3,13,16],[2,3,13,22],[2,4,6,20],[2,4,16,23], [2,4,20,24],[2,4,23,24],[2,5,6,25],[2,5,14,22],[2,5,14,25],[2,6,20,25], [2,7,8,12],[2,7,8,22],[2,7,9,12],[2,7,9,18],[2,7,14,18],[2,7,14,22], [2,8,12,19],[2,8,19,22],[2,9,12,24],[2,9,18,24],[2,10,13,22], [2,10,13,23],[2,10,17,19],[2,10,17,23],[2,10,19,22],[2,11,14,18], [2,11,14,25],[2,11,18,24],[2,11,20,24],[2,11,20,25],[2,12,17,19], [2,12,17,24],[2,13,16,23],[2,17,23,24],[3,4,7,12],[3,4,12,25], [3,4,16,25],[3,5,7,15],[3,5,15,22],[3,6,13,21],[3,6,13,22],[3,6,21,26], [3,6,22,26],[3,7,12,23],[3,7,15,23],[3,9,10,20],[3,9,10,24], [3,9,16,21],[3,9,16,24],[3,9,20,26],[3,9,21,26],[3,10,14,20], [3,10,14,25],[3,10,24,25],[3,12,18,23],[3,12,18,25],[3,13,16,21], [3,14,17,20],[3,14,17,25],[3,15,19,20],[3,15,19,23],[3,15,20,26], [3,15,22,26],[3,16,24,25],[3,17,18,19],[3,17,18,25],[3,17,19,20], [3,18,19,23],[4,5,8,11],[4,5,8,21],[4,5,11,15],[4,5,13,17],[4,5,13,21], [4,5,14,17],[4,5,14,22],[4,5,15,22],[4,6,8,21],[4,6,13,17],[4,6,13,21], [4,6,17,20],[4,7,9,12],[4,8,9,11],[4,9,11,15],[4,9,12,15],[4,12,15,25], [4,14,17,20],[4,14,20,24],[4,14,22,24],[4,15,22,26],[4,15,25,26], [4,16,23,26],[4,16,25,26],[4,22,23,24],[4,22,23,26],[5,6,9,23], [5,6,9,25],[5,6,10,26],[5,6,23,26],[5,7,11,15],[5,8,11,12],[5,8,12,21], [5,9,13,17],[5,9,13,23],[5,9,17,25],[5,10,12,20],[5,10,18,20], [5,10,18,26],[5,12,20,21],[5,13,16,21],[5,13,16,23],[5,14,17,25], [5,16,18,21],[5,16,18,26],[5,16,23,26],[5,18,20,21],[6,7,11,13], [6,7,11,15],[6,7,13,17],[6,7,15,24],[6,7,16,17],[6,7,16,24], [6,8,10,21],[6,9,11,14],[6,9,11,15],[6,9,14,23],[6,9,15,24], [6,9,16,19],[6,9,16,24],[6,9,19,25],[6,10,21,26],[6,11,13,18], [6,11,14,18],[6,13,18,22],[6,14,18,23],[6,16,17,19],[6,17,19,20], [6,18,22,23],[6,19,20,25],[6,22,23,26],[7,8,12,23],[7,8,15,23], [7,8,15,24],[7,8,22,24],[7,9,13,17],[7,9,17,26],[7,9,18,20], [7,9,20,26],[7,14,18,21],[7,14,21,24],[7,14,22,24],[7,16,17,26], [7,16,24,25],[7,16,25,26],[7,18,20,21],[7,20,21,25],[7,20,25,26], [7,21,24,25],[8,9,11,14],[8,10,15,23],[8,10,21,23],[8,11,12,19], [8,11,14,16],[8,11,16,26],[8,11,19,26],[8,12,21,23],[8,13,18,25], [8,13,18,26],[8,13,19,25],[8,13,19,26],[8,15,17,24],[8,16,18,26], [8,17,18,25],[8,17,22,24],[8,17,22,25],[8,19,22,25],[9,10,18,20], [9,10,18,24],[9,12,15,24],[9,13,14,23],[9,16,19,22],[9,16,21,22], [9,17,21,22],[9,17,21,26],[9,17,22,25],[9,19,22,25],[10,11,14,16], [10,11,14,25],[10,11,16,17],[10,11,17,23],[10,11,23,25],[10,12,13,15], [10,12,13,22],[10,12,20,22],[10,13,15,23],[10,14,16,20],[10,16,17,19], [10,16,19,22],[10,16,20,22],[10,18,24,26],[10,21,23,25],[10,21,24,25], [10,21,24,26],[11,13,18,24],[11,13,20,24],[11,16,17,26],[11,17,21,22], [11,17,21,26],[11,17,22,23],[11,19,21,26],[11,20,22,23],[11,20,23,25], [12,13,15,25],[12,13,18,22],[12,13,18,25],[12,15,17,24],[12,18,22,23], [12,20,21,23],[12,20,22,23],[13,14,19,23],[13,14,19,24],[13,14,20,24], [13,15,19,23],[13,15,19,25],[13,18,24,26],[13,19,24,26],[14,18,19,21], [14,18,19,23],[14,19,21,24],[15,19,20,25],[15,20,25,26],[17,22,23,24], [19,21,24,26],[20,21,23,25]]; ## n_g3xS1 f = (18,141,246,123), g_2 = 79. ## deg = 13,14,14,15,15,15,16,16,16,16,16,16,16,16,17,17,17,17 ## n_4,... = 0,0,0,0,0,0,0,0,0,1,2,3,8,4 facets:=[[1,2,3,4],[1,2,3,5],[1,2,4,6],[1,2,5,6],[1,3,4,7],[1,3,5,8], [1,3,7,8],[1,4,6,9],[1,4,7,9],[1,5,6,10],[1,5,8,11],[1,5,10,11], [1,6,9,12],[1,6,10,12],[1,7,8,13],[1,7,9,14],[1,7,13,14],[1,8,11,13], [1,9,12,15],[1,9,14,15],[1,10,11,16],[1,10,12,16],[1,11,13,16], [1,12,15,16],[1,13,14,16],[1,14,15,16],[2,3,4,11],[2,3,5,16], [2,3,9,16],[2,3,9,17],[2,3,11,17],[2,4,6,14],[2,4,11,14],[2,5,6,13], [2,5,13,18],[2,5,16,18],[2,6,13,14],[2,7,8,10],[2,7,8,13],[2,7,10,17], [2,7,11,14],[2,7,11,17],[2,7,13,14],[2,8,10,12],[2,8,12,18], [2,8,13,18],[2,9,10,16],[2,9,10,17],[2,10,12,16],[2,12,16,18], [3,4,7,12],[3,4,11,12],[3,5,8,16],[3,6,8,10],[3,6,8,16],[3,6,10,13], [3,6,13,16],[3,7,8,10],[3,7,10,18],[3,7,12,18],[3,9,13,15],[3,9,13,16], [3,9,14,15],[3,9,14,17],[3,10,13,15],[3,10,15,18],[3,11,12,17], [3,12,14,17],[3,12,14,18],[3,14,15,18],[4,5,7,9],[4,5,7,12],[4,5,9,18], [4,5,12,13],[4,5,13,18],[4,6,9,18],[4,6,14,18],[4,8,11,13],[4,8,11,14], [4,8,13,18],[4,8,14,18],[4,11,12,13],[5,6,10,13],[5,7,9,14], [5,7,11,14],[5,7,11,15],[5,7,12,15],[5,8,11,14],[5,8,14,17], [5,8,16,17],[5,9,14,17],[5,9,17,18],[5,10,11,15],[5,10,13,15], [5,12,13,15],[5,16,17,18],[6,8,10,12],[6,8,12,17],[6,8,16,17], [6,9,11,12],[6,9,11,18],[6,11,12,17],[6,11,15,17],[6,11,15,18], [6,13,14,16],[6,14,15,16],[6,14,15,18],[6,15,16,17],[7,10,17,18], [7,11,15,17],[7,12,15,16],[7,12,16,18],[7,15,16,17],[7,16,17,18], [8,12,14,17],[8,12,14,18],[9,10,11,16],[9,10,11,18],[9,10,17,18], [9,11,12,13],[9,11,13,16],[9,12,13,15],[10,11,15,18]]; ## n_g4xS1 f = (19,163,288,144), g_2 = 97. ## deg = 15,15,16,16,17,17,17,17,17,17,18,18,18,18,18,18,18,18,18 ## n_4,... = 0,0,0,0,0,0,0,0,0,0,0,2,2,6,9 facets:=[[1,2,3,4],[1,2,3,5],[1,2,4,6],[1,2,5,6],[1,3,4,7],[1,3,5,7], [1,4,6,8],[1,4,7,9],[1,4,8,9],[1,5,6,10],[1,5,7,11],[1,5,10,12], [1,5,11,12],[1,6,8,13],[1,6,10,13],[1,7,9,14],[1,7,11,14],[1,8,9,15], [1,8,13,16],[1,8,15,16],[1,9,14,17],[1,9,15,17],[1,10,12,13], [1,11,12,18],[1,11,14,18],[1,12,13,16],[1,12,16,18],[1,14,17,18], [1,15,16,18],[1,15,17,18],[2,3,4,17],[2,3,5,19],[2,3,17,18], [2,3,18,19],[2,4,6,14],[2,4,13,14],[2,4,13,17],[2,5,6,16],[2,5,16,19], [2,6,14,15],[2,6,15,16],[2,7,8,10],[2,7,8,19],[2,7,9,10],[2,7,9,18], [2,7,18,19],[2,8,10,12],[2,8,12,15],[2,8,15,16],[2,8,16,19], [2,9,10,13],[2,9,13,18],[2,10,12,13],[2,12,13,14],[2,12,14,15], [2,13,17,18],[3,4,7,16],[3,4,11,16],[3,4,11,17],[3,5,7,15],[3,5,15,19], [3,6,8,13],[3,6,8,18],[3,6,10,13],[3,6,10,19],[3,6,18,19],[3,7,12,15], [3,7,12,16],[3,8,11,13],[3,8,11,17],[3,8,17,18],[3,9,10,13], [3,9,10,14],[3,9,11,13],[3,9,11,16],[3,9,14,16],[3,10,14,15], [3,10,15,19],[3,12,14,15],[3,12,14,16],[4,5,8,9],[4,5,8,14],[4,5,9,18], [4,5,14,19],[4,5,15,18],[4,5,15,19],[4,6,8,14],[4,7,9,18],[4,7,16,18], [4,11,15,16],[4,11,15,19],[4,11,17,19],[4,13,14,19],[4,13,17,19], [4,15,16,18],[5,6,10,17],[5,6,16,17],[5,7,11,13],[5,7,13,15], [5,8,9,12],[5,8,10,12],[5,8,10,17],[5,8,14,17],[5,9,11,12],[5,9,11,13], [5,9,13,18],[5,13,15,18],[5,14,16,17],[5,14,16,19],[6,7,12,17], [6,7,12,18],[6,7,17,19],[6,7,18,19],[6,8,14,18],[6,9,11,12], [6,9,11,16],[6,9,12,17],[6,9,16,17],[6,10,17,19],[6,11,12,18], [6,11,14,15],[6,11,14,18],[6,11,15,16],[7,8,10,11],[7,8,11,13], [7,8,13,19],[7,9,10,14],[7,10,11,14],[7,12,15,17],[7,12,16,18], [7,13,15,17],[7,13,17,19],[8,9,12,15],[8,10,11,17],[8,13,16,19], [8,14,17,18],[9,12,15,17],[9,14,16,17],[10,11,14,15],[10,11,15,19], [10,11,17,19],[12,13,14,16],[13,14,16,19],[13,15,17,18]]; ## n_g5xS1 f = (21,190,338,169), g_2 = 116. ## deg = 15,16,17,17,17,18,18,18,18,18,18,19,19,19,19,19,19,19,19,19,19 ## n_4,... = 0,0,0,0,0,0,0,0,0,0,0,1,1,3,6,10 facets:=[[1,2,3,4],[1,2,3,5],[1,2,4,6],[1,2,5,6],[1,3,4,7],[1,3,5,7], [1,4,6,8],[1,4,7,9],[1,4,8,10],[1,4,9,10],[1,5,6,11],[1,5,7,12], [1,5,11,13],[1,5,12,13],[1,6,8,11],[1,7,9,14],[1,7,12,14],[1,8,10,15], [1,8,11,15],[1,9,10,16],[1,9,14,17],[1,9,16,17],[1,10,15,16], [1,11,13,18],[1,11,15,16],[1,11,16,18],[1,12,13,19],[1,12,14,19], [1,13,18,20],[1,13,19,20],[1,14,17,19],[1,16,17,18],[1,17,18,20], [1,17,19,20],[2,3,4,11],[2,3,5,21],[2,3,11,18],[2,3,18,21],[2,4,6,12], [2,4,11,12],[2,5,6,14],[2,5,14,15],[2,5,15,16],[2,5,16,21],[2,6,9,12], [2,6,9,14],[2,8,9,12],[2,8,9,20],[2,8,12,17],[2,8,17,20],[2,9,14,20], [2,10,11,13],[2,10,11,19],[2,10,13,16],[2,10,15,16],[2,10,15,19], [2,11,12,17],[2,11,13,18],[2,11,17,19],[2,13,16,21],[2,13,18,21], [2,14,15,20],[2,15,19,20],[2,17,19,20],[3,4,7,13],[3,4,11,16], [3,4,13,20],[3,4,16,20],[3,5,7,17],[3,5,8,17],[3,5,8,21],[3,6,10,20], [3,6,10,21],[3,6,16,18],[3,6,16,20],[3,6,18,21],[3,7,13,17], [3,8,10,12],[3,8,10,21],[3,8,12,17],[3,10,12,20],[3,11,16,18], [3,12,15,17],[3,12,15,20],[3,13,15,17],[3,13,15,20],[4,5,9,10], [4,5,9,18],[4,5,10,14],[4,5,14,15],[4,5,15,16],[4,5,16,20],[4,5,18,20], [4,6,8,19],[4,6,12,19],[4,7,9,21],[4,7,13,21],[4,8,10,14],[4,8,14,19], [4,9,18,21],[4,11,12,15],[4,11,15,16],[4,12,14,15],[4,12,14,19], [4,13,18,20],[4,13,18,21],[5,6,10,11],[5,6,10,14],[5,7,12,18], [5,7,17,18],[5,8,16,20],[5,8,16,21],[5,8,17,20],[5,9,10,13], [5,9,12,13],[5,9,12,18],[5,10,11,13],[5,17,18,20],[6,8,11,20], [6,8,16,19],[6,8,16,20],[6,9,12,13],[6,9,13,17],[6,9,14,17], [6,10,11,20],[6,10,14,21],[6,12,13,19],[6,13,15,17],[6,13,15,19], [6,14,17,21],[6,15,17,21],[6,15,18,19],[6,15,18,21],[6,16,18,19], [7,9,11,20],[7,9,11,21],[7,9,14,20],[7,10,11,19],[7,10,11,20], [7,10,12,18],[7,10,12,20],[7,10,18,19],[7,11,19,21],[7,12,14,20], [7,13,16,17],[7,13,16,21],[7,16,17,18],[7,16,18,19],[7,16,19,21], [8,9,11,15],[8,9,11,20],[8,9,12,18],[8,9,15,18],[8,10,12,18], [8,10,14,21],[8,10,15,18],[8,14,19,21],[8,16,19,21],[9,10,13,16], [9,11,15,21],[9,13,16,17],[9,15,18,21],[10,15,18,19],[11,12,15,17], [11,15,17,21],[11,17,19,21],[12,14,15,20],[13,15,19,20],[14,17,19,21]]; ## n_g6xS1 f = (22,212,380,190), g_2 = 134. ## deg = 18,18,18,18,18,19,19,19,19,19,19,19,20,20,20,20,20,20,20,20,20,21 ## n_4,... = 0,0,0,0,0,0,0,0,0,0,0,0,0,0,5,7,9,1 facets:=[[1,2,3,4],[1,2,3,5],[1,2,4,6],[1,2,5,6],[1,3,4,7],[1,3,5,7], [1,4,6,8],[1,4,7,9],[1,4,8,9],[1,5,6,10],[1,5,7,11],[1,5,10,12], [1,5,11,12],[1,6,8,13],[1,6,10,13],[1,7,9,14],[1,7,11,14],[1,8,9,15], [1,8,13,16],[1,8,15,16],[1,9,14,17],[1,9,15,18],[1,9,17,18], [1,10,12,19],[1,10,13,16],[1,10,16,20],[1,10,19,20],[1,11,12,14], [1,12,14,19],[1,14,17,19],[1,15,16,21],[1,15,18,21],[1,16,20,21], [1,17,18,20],[1,17,19,20],[1,18,20,21],[2,3,4,22],[2,3,5,9],[2,3,9,21], [2,3,21,22],[2,4,6,20],[2,4,16,17],[2,4,16,20],[2,4,17,22],[2,5,6,15], [2,5,9,13],[2,5,13,15],[2,6,15,20],[2,7,11,14],[2,7,11,19],[2,7,14,16], [2,7,16,17],[2,7,17,19],[2,8,13,19],[2,8,13,21],[2,8,17,19], [2,8,17,22],[2,8,21,22],[2,9,13,21],[2,10,14,15],[2,10,14,16], [2,10,15,20],[2,10,16,20],[2,11,13,15],[2,11,13,19],[2,11,14,15], [3,4,7,18],[3,4,14,18],[3,4,14,22],[3,5,7,20],[3,5,9,16],[3,5,16,19], [3,5,19,20],[3,7,18,20],[3,8,10,15],[3,8,10,17],[3,8,15,16], [3,8,16,19],[3,8,17,19],[3,9,12,16],[3,9,12,21],[3,10,14,15], [3,10,14,18],[3,10,17,18],[3,12,14,15],[3,12,14,21],[3,12,15,16], [3,14,21,22],[3,17,18,20],[3,17,19,20],[4,5,10,12],[4,5,10,21], [4,5,12,18],[4,5,13,14],[4,5,13,15],[4,5,14,18],[4,5,15,21],[4,6,8,11], [4,6,11,20],[4,7,9,12],[4,7,12,18],[4,8,9,10],[4,8,10,11],[4,9,10,12], [4,10,11,21],[4,11,20,21],[4,13,14,22],[4,13,15,17],[4,13,17,22], [4,15,16,17],[4,15,16,21],[4,16,20,21],[5,6,10,21],[5,6,15,21], [5,7,11,22],[5,7,20,22],[5,9,13,14],[5,9,14,16],[5,11,12,22], [5,12,18,22],[5,14,16,18],[5,16,18,19],[5,18,19,22],[5,19,20,22], [6,7,8,12],[6,7,8,13],[6,7,10,13],[6,7,10,21],[6,7,12,17],[6,7,17,19], [6,7,19,21],[6,8,11,12],[6,9,11,17],[6,9,11,20],[6,9,14,17], [6,9,14,20],[6,11,12,17],[6,14,17,19],[6,14,19,21],[6,14,20,22], [6,14,21,22],[6,15,20,22],[6,15,21,22],[7,8,12,18],[7,8,13,20], [7,8,18,20],[7,9,12,16],[7,9,14,16],[7,10,11,21],[7,10,11,22], [7,10,13,22],[7,11,19,21],[7,12,16,17],[7,13,20,22],[8,9,10,15], [8,10,11,22],[8,10,17,22],[8,11,12,22],[8,12,18,22],[8,13,16,19], [8,13,20,21],[8,18,20,21],[8,18,21,22],[9,10,12,19],[9,10,15,19], [9,11,17,18],[9,11,18,19],[9,11,19,21],[9,11,20,21],[9,12,19,21], [9,13,14,20],[9,13,20,21],[9,15,18,19],[10,13,16,18],[10,13,17,18], [10,13,17,22],[10,14,16,18],[10,15,19,20],[11,12,14,15],[11,12,15,17], [11,13,15,17],[11,13,17,18],[11,13,18,19],[12,14,19,21],[12,15,16,17], [13,14,20,22],[13,16,18,19],[15,18,19,22],[15,18,21,22],[15,19,20,22]]; ## n_g7xS1 f = (23,234,422,211), g_2 = 152. ## deg = 17,17,19,19,19,19,20,20,20,20,21,21,21,21,21,21,21,21,22,22,22,22,22 ## n_4,... = 0,0,0,0,0,0,0,0,0,0,0,0,0,2,0,4,4,8,5 facets:=[[1,2,3,4],[1,2,3,5],[1,2,4,6],[1,2,5,6],[1,3,4,7],[1,3,5,7], [1,4,6,8],[1,4,7,9],[1,4,8,9],[1,5,6,10],[1,5,7,11],[1,5,10,12], [1,5,11,13],[1,5,12,14],[1,5,13,14],[1,6,8,10],[1,7,9,15],[1,7,11,15], [1,8,9,16],[1,8,10,12],[1,8,12,17],[1,8,16,17],[1,9,15,16], [1,11,13,18],[1,11,15,18],[1,12,14,17],[1,13,14,19],[1,13,18,20], [1,13,19,20],[1,14,17,19],[1,15,16,18],[1,16,17,19],[1,16,18,20], [1,16,19,20],[2,3,4,21],[2,3,5,18],[2,3,12,18],[2,3,12,21],[2,4,6,19], [2,4,11,13],[2,4,11,19],[2,4,13,21],[2,5,6,22],[2,5,18,22],[2,6,14,19], [2,6,14,22],[2,7,10,19],[2,7,10,20],[2,7,17,20],[2,7,17,23], [2,7,19,23],[2,9,11,16],[2,9,11,23],[2,9,15,16],[2,9,15,23], [2,10,14,19],[2,10,14,20],[2,11,13,16],[2,11,19,23],[2,12,13,16], [2,12,13,21],[2,12,16,18],[2,14,20,22],[2,15,16,18],[2,15,17,22], [2,15,17,23],[2,15,18,22],[2,17,20,22],[3,4,7,23],[3,4,14,21], [3,4,14,23],[3,5,7,17],[3,5,17,18],[3,7,17,23],[3,8,10,11],[3,8,10,22], [3,8,11,14],[3,8,14,22],[3,9,10,11],[3,9,10,18],[3,9,11,21], [3,9,12,18],[3,9,12,21],[3,10,16,17],[3,10,16,22],[3,10,17,18], [3,11,14,21],[3,14,16,22],[3,14,16,23],[3,16,17,23],[4,5,8,9], [4,5,8,15],[4,5,9,17],[4,5,15,19],[4,5,17,18],[4,5,18,19],[4,6,8,15], [4,6,15,19],[4,7,9,22],[4,7,22,23],[4,9,17,22],[4,11,13,18], [4,11,18,19],[4,12,14,17],[4,12,14,23],[4,12,17,22],[4,12,22,23], [4,13,18,21],[4,14,17,18],[4,14,18,21],[5,6,10,21],[5,6,21,22], [5,7,11,17],[5,8,9,16],[5,8,15,20],[5,8,16,23],[5,8,20,23],[5,9,11,16], [5,9,11,17],[5,10,12,20],[5,10,15,20],[5,10,15,21],[5,11,13,16], [5,12,14,23],[5,12,20,23],[5,13,14,16],[5,14,16,23],[5,15,19,21], [5,18,19,22],[5,19,21,22],[6,7,9,13],[6,7,9,18],[6,7,13,16], [6,7,16,21],[6,7,18,21],[6,8,10,11],[6,8,11,15],[6,9,12,18], [6,9,12,19],[6,9,13,19],[6,10,11,23],[6,10,21,23],[6,11,12,15], [6,11,12,23],[6,12,15,19],[6,12,18,23],[6,13,14,16],[6,13,14,19], [6,14,16,22],[6,16,21,22],[6,18,21,23],[7,9,13,22],[7,9,14,15], [7,9,14,18],[7,10,12,13],[7,10,12,20],[7,10,13,22],[7,10,19,22], [7,11,14,15],[7,11,14,21],[7,11,17,20],[7,11,20,21],[7,12,13,16], [7,12,16,20],[7,14,18,21],[7,16,20,21],[7,19,22,23],[8,10,12,13], [8,10,13,22],[8,11,14,15],[8,12,13,17],[8,13,17,23],[8,13,20,22], [8,13,20,23],[8,14,15,20],[8,14,20,22],[8,16,17,23],[9,10,11,23], [9,10,14,15],[9,10,14,18],[9,10,15,23],[9,11,17,20],[9,11,20,21], [9,12,19,21],[9,13,19,20],[9,13,20,22],[9,17,20,22],[9,19,20,21], [10,14,15,20],[10,14,17,18],[10,14,17,19],[10,15,21,23],[10,16,17,19], [10,16,19,22],[11,12,15,22],[11,12,22,23],[11,15,18,22],[11,18,19,22], [11,19,22,23],[12,13,17,21],[12,15,17,21],[12,15,17,22],[12,15,19,21], [12,16,18,20],[12,18,20,23],[13,17,21,23],[13,18,20,23],[13,18,21,23], [15,17,21,23],[16,19,20,21],[16,19,21,22]]; ## n_g8xS1 f = (24,256,464,232), g_2 = 170. ## deg = 19,19,19,20,20,21,21,21,21,21,21,21,21,22,22,22,22,22,22,23,23,23,23,23 ## n_4,... = 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,3,2,8,6,5 facets:=[[1,2,3,4],[1,2,3,5],[1,2,4,6],[1,2,5,6],[1,3,4,7],[1,3,5,7], [1,4,6,8],[1,4,7,9],[1,4,8,9],[1,5,6,10],[1,5,7,11],[1,5,10,12], [1,5,11,12],[1,6,8,13],[1,6,10,13],[1,7,9,14],[1,7,11,14],[1,8,9,15], [1,8,13,16],[1,8,15,17],[1,8,16,17],[1,9,14,18],[1,9,15,19], [1,9,18,19],[1,10,12,13],[1,11,12,20],[1,11,14,18],[1,11,18,19], [1,11,19,20],[1,12,13,16],[1,12,16,17],[1,12,17,20],[1,15,17,20], [1,15,19,20],[2,3,4,21],[2,3,5,8],[2,3,8,21],[2,4,6,14],[2,4,14,16], [2,4,16,21],[2,5,6,17],[2,5,8,18],[2,5,13,15],[2,5,13,17],[2,5,15,18], [2,6,14,17],[2,7,10,16],[2,7,10,22],[2,7,12,16],[2,7,12,22], [2,8,12,21],[2,8,12,22],[2,8,18,22],[2,10,16,20],[2,10,18,22], [2,10,18,23],[2,10,20,23],[2,11,13,15],[2,11,13,19],[2,11,15,24], [2,11,19,20],[2,11,20,24],[2,12,16,21],[2,13,14,17],[2,13,14,19], [2,14,16,20],[2,14,19,20],[2,15,18,24],[2,18,23,24],[2,20,23,24], [3,4,7,20],[3,4,10,17],[3,4,10,21],[3,4,17,20],[3,5,7,20],[3,5,8,19], [3,5,19,24],[3,5,20,24],[3,6,12,15],[3,6,12,18],[3,6,15,19], [3,6,16,18],[3,6,16,24],[3,6,19,24],[3,8,19,23],[3,8,21,23], [3,9,16,22],[3,9,16,24],[3,9,17,20],[3,9,17,22],[3,9,20,24], [3,10,11,13],[3,10,11,21],[3,10,12,13],[3,10,12,18],[3,10,17,22], [3,10,18,22],[3,11,13,15],[3,11,15,23],[3,11,21,23],[3,12,13,15], [3,15,19,23],[3,16,18,22],[4,5,11,12],[4,5,11,22],[4,5,12,14], [4,5,14,16],[4,5,16,19],[4,5,19,24],[4,5,22,23],[4,5,23,24],[4,6,8,12], [4,6,12,14],[4,7,9,13],[4,7,13,18],[4,7,18,20],[4,8,9,11],[4,8,11,12], [4,9,11,22],[4,9,13,22],[4,10,17,24],[4,10,19,21],[4,10,19,24], [4,13,18,23],[4,13,22,23],[4,15,17,20],[4,15,17,24],[4,15,18,20], [4,15,18,24],[4,16,19,21],[4,18,23,24],[5,6,9,10],[5,6,9,17], [5,7,11,22],[5,7,20,23],[5,7,22,23],[5,8,16,18],[5,8,16,19], [5,9,10,14],[5,9,14,21],[5,9,17,21],[5,10,12,14],[5,13,15,21], [5,13,17,21],[5,14,15,16],[5,14,15,21],[5,15,16,18],[5,20,23,24], [6,7,18,20],[6,7,18,21],[6,7,20,23],[6,7,21,23],[6,8,12,22], [6,8,13,22],[6,9,10,23],[6,9,11,17],[6,9,11,23],[6,10,13,19], [6,10,16,20],[6,10,16,24],[6,10,19,24],[6,10,20,23],[6,11,14,17], [6,11,14,18],[6,11,18,21],[6,11,21,23],[6,12,14,18],[6,12,15,22], [6,13,19,22],[6,15,19,22],[6,16,18,20],[7,9,13,16],[7,9,14,24], [7,9,16,24],[7,10,16,24],[7,10,17,22],[7,10,17,24],[7,11,14,17], [7,11,17,22],[7,12,13,15],[7,12,13,16],[7,12,15,22],[7,13,15,21], [7,13,18,21],[7,14,17,24],[7,15,21,22],[7,21,22,23],[8,9,11,15], [8,11,12,20],[8,11,15,24],[8,11,20,24],[8,12,20,21],[8,13,16,22], [8,14,17,23],[8,14,17,24],[8,14,21,23],[8,14,21,24],[8,15,17,24], [8,16,17,19],[8,16,18,22],[8,17,19,23],[8,20,21,24],[9,10,14,18], [9,10,18,23],[9,11,15,23],[9,11,17,22],[9,13,16,22],[9,14,21,24], [9,15,19,23],[9,17,20,21],[9,18,19,23],[9,20,21,24],[10,11,13,19], [10,11,19,21],[10,12,14,18],[11,18,19,21],[12,16,17,21],[12,17,20,21], [13,14,17,23],[13,14,19,22],[13,14,22,23],[13,17,18,21],[13,17,18,23], [14,15,16,20],[14,15,19,20],[14,15,19,22],[14,15,21,22],[14,21,22,23], [15,16,18,20],[16,17,19,21],[17,18,19,21],[17,18,19,23]]; ## n_g9xS1 f = (25,277,504,252), g_2 = 187. ## deg = 19,20,20,21,21,21,22,22,22,22,22,22,22,23,23,23,23,23,23,23,23,23,23,24,24 ## n_4,... = 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,2,3,7,10,2 facets:=[[1,2,3,4],[1,2,3,5],[1,2,4,6],[1,2,5,6],[1,3,4,7],[1,3,5,7], [1,4,6,8],[1,4,7,9],[1,4,8,9],[1,5,6,10],[1,5,7,11],[1,5,10,12], [1,5,11,13],[1,5,12,14],[1,5,13,15],[1,5,14,15],[1,6,8,10],[1,7,9,16], [1,7,11,16],[1,8,9,17],[1,8,10,12],[1,8,12,14],[1,8,14,17],[1,9,16,18], [1,9,17,19],[1,9,18,19],[1,11,13,20],[1,11,16,18],[1,11,18,20], [1,13,15,21],[1,13,20,22],[1,13,21,22],[1,14,15,23],[1,14,17,23], [1,15,21,23],[1,17,19,20],[1,17,20,22],[1,17,21,22],[1,17,21,23], [1,18,19,20],[2,3,4,17],[2,3,5,21],[2,3,17,21],[2,4,6,24],[2,4,17,18], [2,4,18,24],[2,5,6,16],[2,5,16,20],[2,5,20,21],[2,6,13,19],[2,6,13,24], [2,6,16,19],[2,7,8,21],[2,7,8,22],[2,7,9,14],[2,7,9,22],[2,7,14,15], [2,7,15,20],[2,7,20,21],[2,8,11,18],[2,8,11,21],[2,8,18,22], [2,9,14,24],[2,9,22,24],[2,11,17,18],[2,11,17,21],[2,13,19,25], [2,13,23,24],[2,13,23,25],[2,14,15,23],[2,14,23,24],[2,15,20,25], [2,15,23,25],[2,16,19,20],[2,18,22,24],[2,19,20,25],[3,4,7,10], [3,4,10,19],[3,4,12,15],[3,4,12,17],[3,4,15,19],[3,5,7,25],[3,5,21,25], [3,6,9,11],[3,6,9,16],[3,6,11,12],[3,6,12,22],[3,6,16,22],[3,7,10,23], [3,7,23,25],[3,8,14,20],[3,8,14,24],[3,8,15,19],[3,8,15,24], [3,8,19,20],[3,9,11,24],[3,9,14,16],[3,9,14,24],[3,10,18,19], [3,10,18,23],[3,11,12,15],[3,11,15,24],[3,12,17,22],[3,14,16,25], [3,14,18,20],[3,14,18,25],[3,16,21,22],[3,16,21,25],[3,17,21,22], [3,18,19,20],[3,18,23,25],[4,5,8,9],[4,5,8,23],[4,5,9,25],[4,5,20,21], [4,5,20,23],[4,5,21,25],[4,6,8,23],[4,6,20,23],[4,6,20,24],[4,7,9,22], [4,7,10,22],[4,9,22,25],[4,10,14,19],[4,10,14,25],[4,10,22,25], [4,12,13,16],[4,12,13,17],[4,12,15,16],[4,13,16,21],[4,13,17,18], [4,13,18,21],[4,14,15,16],[4,14,15,19],[4,14,16,25],[4,16,21,25], [4,18,21,24],[4,20,21,24],[5,6,10,16],[5,7,11,24],[5,7,24,25], [5,8,9,17],[5,8,15,17],[5,8,15,19],[5,8,18,22],[5,8,18,23],[5,8,19,22], [5,9,11,13],[5,9,11,24],[5,9,13,17],[5,9,24,25],[5,10,12,18], [5,10,16,23],[5,10,18,23],[5,12,14,19],[5,12,18,22],[5,12,19,22], [5,13,15,17],[5,14,15,19],[5,16,20,23],[6,8,10,25],[6,8,23,25], [6,9,11,21],[6,9,16,18],[6,9,18,21],[6,10,15,17],[6,10,15,25], [6,10,16,17],[6,11,12,23],[6,11,21,23],[6,12,14,19],[6,12,14,20], [6,12,19,22],[6,12,20,23],[6,13,14,19],[6,13,14,20],[6,13,20,24], [6,15,17,18],[6,15,18,21],[6,15,21,23],[6,15,23,25],[6,16,17,18], [6,16,19,22],[7,8,12,13],[7,8,12,21],[7,8,13,22],[7,9,14,16], [7,10,13,22],[7,10,13,23],[7,11,15,16],[7,11,15,24],[7,12,13,25], [7,12,21,24],[7,12,24,25],[7,13,23,25],[7,14,15,16],[7,15,20,24], [7,20,21,24],[8,10,11,21],[8,10,11,25],[8,10,12,21],[8,11,18,25], [8,12,13,16],[8,12,14,20],[8,12,16,20],[8,13,16,22],[8,14,17,24], [8,15,17,24],[8,16,19,20],[8,16,19,22],[8,18,23,25],[9,11,13,19], [9,11,19,21],[9,13,17,19],[9,18,19,21],[9,22,24,25],[10,11,14,19], [10,11,14,25],[10,11,19,21],[10,12,18,21],[10,13,20,22],[10,13,20,24], [10,13,23,24],[10,15,17,24],[10,15,20,24],[10,15,20,25],[10,16,17,23], [10,17,23,24],[10,18,19,21],[10,20,22,25],[11,12,15,16],[11,12,16,23], [11,13,14,19],[11,13,14,20],[11,14,18,20],[11,14,18,25],[11,16,17,18], [11,16,17,23],[11,17,21,23],[12,13,17,25],[12,16,20,23],[12,17,22,25], [12,18,21,24],[12,18,22,24],[12,22,24,25],[13,15,17,18],[13,15,18,21], [13,16,21,22],[13,17,19,25],[14,17,23,24],[17,19,20,25],[17,20,22,25]]; ## n_g10xS1 f = (26,296,540,270), g_2 = 202. ## deg = 19,20,20,21,22,22,22,22,22,23,23,23,23,23,23,23,23,23,24,24,24,24,24,25,25,25 ## n_4,... = 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,2,1,5,9,5,3 facets:=[[1,2,3,4],[1,2,3,5],[1,2,4,6],[1,2,5,6],[1,3,4,7],[1,3,5,7], [1,4,6,8],[1,4,7,9],[1,4,8,10],[1,4,9,10],[1,5,6,11],[1,5,7,12], [1,5,11,13],[1,5,12,14],[1,5,13,15],[1,5,14,15],[1,6,8,11],[1,7,9,12], [1,8,10,16],[1,8,11,16],[1,9,10,17],[1,9,12,18],[1,9,17,18], [1,10,16,19],[1,10,17,20],[1,10,19,20],[1,11,13,21],[1,11,16,19], [1,11,19,21],[1,12,14,18],[1,13,15,22],[1,13,20,21],[1,13,20,23], [1,13,22,23],[1,14,15,18],[1,15,18,24],[1,15,22,24],[1,17,18,24], [1,17,20,23],[1,17,22,23],[1,17,22,24],[1,19,20,21],[2,3,4,25], [2,3,5,16],[2,3,16,25],[2,4,6,13],[2,4,13,19],[2,4,19,22],[2,4,22,25], [2,5,6,23],[2,5,16,23],[2,6,13,14],[2,6,14,23],[2,8,9,11],[2,8,9,19], [2,8,11,18],[2,8,13,18],[2,8,13,19],[2,9,11,12],[2,9,12,26], [2,9,19,26],[2,10,13,17],[2,10,13,18],[2,10,17,20],[2,10,18,20], [2,11,12,20],[2,11,18,20],[2,12,16,21],[2,12,16,23],[2,12,20,23], [2,12,21,26],[2,13,14,17],[2,14,17,23],[2,16,21,22],[2,16,22,25], [2,17,20,23],[2,19,21,22],[2,19,21,26],[3,4,7,21],[3,4,14,21], [3,4,14,25],[3,5,7,20],[3,5,16,20],[3,6,8,11],[3,6,8,17],[3,6,11,24], [3,6,17,24],[3,7,10,20],[3,7,10,21],[3,8,9,11],[3,8,9,22],[3,8,14,21], [3,8,14,22],[3,8,17,21],[3,9,11,24],[3,9,13,22],[3,9,13,24], [3,10,12,19],[3,10,12,21],[3,10,19,20],[3,12,17,19],[3,12,17,21], [3,13,22,23],[3,13,23,26],[3,13,24,26],[3,14,22,23],[3,14,23,25], [3,16,20,24],[3,16,24,26],[3,16,25,26],[3,17,19,24],[3,19,20,24], [3,23,25,26],[4,5,9,10],[4,5,9,20],[4,5,10,24],[4,5,16,20],[4,5,16,23], [4,5,23,24],[4,6,8,15],[4,6,13,26],[4,6,15,26],[4,7,9,21],[4,8,10,24], [4,8,15,24],[4,9,20,21],[4,11,14,16],[4,11,14,25],[4,11,16,17], [4,11,17,22],[4,11,22,25],[4,12,13,19],[4,12,13,23],[4,12,16,17], [4,12,16,23],[4,12,17,19],[4,13,23,26],[4,14,16,20],[4,14,20,21], [4,15,23,24],[4,15,23,26],[4,17,19,22],[5,6,11,24],[5,6,23,24], [5,7,8,12],[5,7,8,22],[5,7,20,22],[5,8,9,19],[5,8,9,22],[5,8,12,19], [5,9,10,17],[5,9,17,25],[5,9,19,25],[5,9,20,22],[5,10,11,13], [5,10,11,24],[5,10,13,17],[5,12,14,19],[5,13,15,17],[5,14,15,25], [5,14,19,25],[5,15,17,25],[6,7,9,16],[6,7,9,21],[6,7,16,19], [6,7,18,21],[6,7,18,23],[6,7,19,23],[6,8,15,17],[6,9,16,22], [6,9,20,21],[6,9,20,22],[6,10,12,19],[6,10,12,26],[6,10,16,19], [6,10,16,22],[6,10,22,26],[6,12,14,19],[6,12,14,26],[6,13,14,26], [6,14,19,23],[6,15,17,25],[6,15,20,25],[6,15,20,26],[6,17,18,24], [6,17,18,25],[6,18,21,25],[6,18,23,24],[6,20,21,25],[6,20,22,26], [7,8,12,24],[7,8,14,22],[7,8,14,24],[7,9,12,24],[7,9,13,16], [7,9,13,24],[7,10,18,20],[7,10,18,21],[7,11,16,17],[7,11,16,19], [7,11,17,22],[7,11,19,26],[7,11,22,26],[7,13,14,17],[7,13,14,24], [7,13,16,17],[7,14,17,22],[7,15,18,20],[7,15,18,23],[7,15,20,26], [7,15,23,26],[7,19,23,26],[7,20,22,26],[8,10,16,25],[8,10,24,25], [8,11,16,18],[8,12,13,19],[8,12,13,25],[8,12,24,25],[8,13,18,25], [8,14,21,24],[8,15,17,21],[8,15,21,24],[8,16,18,25],[9,11,12,24], [9,12,18,26],[9,13,16,22],[9,17,18,25],[9,18,25,26],[9,19,25,26], [10,11,13,21],[10,11,21,26],[10,11,22,25],[10,11,22,26],[10,11,24,25], [10,12,21,26],[10,13,18,21],[10,16,22,25],[11,12,20,25],[11,12,24,25], [11,14,15,18],[11,14,15,25],[11,14,16,18],[11,15,18,20],[11,15,20,25], [11,19,21,26],[12,13,20,23],[12,13,20,25],[12,14,18,26],[12,16,17,21], [13,14,24,26],[13,15,16,17],[13,15,16,22],[13,18,21,25],[13,20,21,25], [14,16,18,26],[14,16,20,24],[14,16,24,26],[14,17,22,23],[14,19,23,25], [14,20,21,24],[15,16,17,21],[15,16,21,22],[15,18,23,24],[15,21,22,24], [16,18,25,26],[17,19,22,24],[19,20,21,24],[19,21,22,24],[19,23,25,26]];