Description
The data in each file is presented as a table where
-
\(n\): is the degree of the transitive group
-
\(k\): is the number in the library of transitive groups in
Sagemath -
Description: the structure description of the group
-
Density: the intersection density of \(\operatorname{TransitiveGroup}(n,k)\)
-
Information: this entry either is either Abelian (in which case the intersection density is \(1\) and the group is regular) or a link to a file containing further information on the derangement graph of \(\operatorname{TransitiveGroup}(n,k)\).
Data
| n | k | Description | Density | Information |
|---|---|---|---|---|
| 18 | 1 | C18 | 1 | Abelian |
| 18 | 2 | C6 x C3 | 1 | Abelian |
| 18 | 3 | C3 x S3 | 1 | details |
| 18 | 4 | (C3 x C3) : C2 | 1 | details |
| 18 | 5 | D9 | 1 | details |
| 18 | 6 | C6 x S3 | 1 | details |
| 18 | 7 | (C2 x C2) : C9 | 2 | details |
| 18 | 8 | C3 x A4 | 2 | details |
| 18 | 9 | S3 x S3 | 1 | details |
| 18 | 10 | (C3 x C3) : C4 | 1 | details |
| 18 | 11 | S3 x S3 | 1 | details |
| 18 | 12 | C2 x ((C3 x C3) : C2) | 1 | details |
| 18 | 13 | D18 | 1 | details |
| 18 | 14 | C2 x (C9 : C3) | 1 | details |
| 18 | 15 | C2 x ((C3 x C3) : C3) | 1 | details |
| 18 | 16 | C9 x S3 | 1 | details |
| 18 | 17 | C3 x C3 x S3 | 1 | details |
| 18 | 18 | C9 : C6 | 1 | details |
| 18 | 19 | C3 x D9 | 1 | details |
| 18 | 20 | (C3 x C3) : C6 | 1 | details |
| 18 | 21 | (C3 x C3) : C6 | 1 | details |
| 18 | 22 | (C3 x C3) : C6 | 1 | details |
| 18 | 23 | C3 x ((C3 x C3) : C2) | 1 | details |
| 18 | 24 | ((C3 x C3) : C3) : C2 | 1 | details |
| 18 | 25 | C6 x A4 | 1 | details |
| 18 | 26 | C2 x ((C2 x C2) : C9) | 1 | details |
| 18 | 27 | C2 x ((C3 x C3) : C4) | 1 | details |
| 18 | 28 | (C3 x C3) : C8 | 1 | details |
| 18 | 29 | C2 x S3 x S3 | 1 | details |
| 18 | 30 | C3 x S4 | 1 | details |
| 18 | 31 | A4 x S3 | 2 | details |
| 18 | 32 | A4 x S3 | 1 | details |
| 18 | 33 | C3 x S4 | 1 | details |
| 18 | 34 | (S3 x S3) : C2 | 1 | details |
| 18 | 35 | (C3 x C3) : Q8 | 1 | details |
| 18 | 36 | (S3 x S3) : C2 | 1 | details |
| 18 | 37 | (C3 x A4) : C2 | 1 | details |
| 18 | 38 | ((C2 x C2) : C9) : C2 | 1 | details |
| 18 | 39 | ((C2 x C2) : C9) : C2 | 1 | details |
| 18 | 40 | (C3 x A4) : C2 | 1 | details |
| 18 | 41 | C2 x ((C3 x C3) : C6) | 1 | details |
| 18 | 42 | C2 x ((C3 x C3) : C6) | 1 | details |
| 18 | 43 | C3 x S3 x S3 | 1 | details |
| 18 | 44 | C3 x ((C3 x C3) : C4) | 1 | details |
| 18 | 45 | C2 x (C9 : C6) | 1 | details |
| 18 | 46 | C3 x S3 x S3 | 1 | details |
| 18 | 47 | (C2 x C2) : (C9 : C3) | 1 | details |
| 18 | 48 | (C2 x C2) : ((C3 x C3) : C3) | 1 | details |
| 18 | 49 | ((C3 x C3) : C3) : C4 | 1 | details |
| 18 | 50 | D9 x S3 | 1 | details |
| 18 | 51 | ((C3 x C3) : C3) : (C2 x C2) | 1 | details |
| 18 | 52 | C2 x (((C3 x C3) : C3) : C2) | 1 | details |
| 18 | 53 | (C3 x C3 x C3) : (C2 x C2) | 1 | details |
| 18 | 54 | (C3 x C3 x C3) : C4 | 1 | details |
| 18 | 55 | ((C3 x C3) : C3) : (C2 x C2) | 1 | details |
| 18 | 56 | ((C3 x C3) : C3) : (C2 x C2) | 1 | details |
| 18 | 57 | ((C3 x C3) : C3) : (C2 x C2) | 1 | details |
| 18 | 58 | ((C3 x C3) : C2) x S3 | 1 | details |
| 18 | 59 | C2 x ((C3 x C3) : C8) | 1 | details |
| 18 | 60 | C2 x A4 x S3 | 1 | details |
| 18 | 61 | C6 x S4 | 1 | details |
| 18 | 62 | A4 x A4 | 2 | details |
| 18 | 63 | C2 x ((S3 x S3) : C2) | 1 | details |
| 18 | 64 | C2 x ((C3 x C3) : Q8) | 1 | details |
| 18 | 65 | S4 x S3 | 1 | details |
| 18 | 66 | C2 x ((C3 x A4) : C2) | 1 | details |
| 18 | 67 | C2 x (((C2 x C2) : C9) : C2) | 1 | details |
| 18 | 68 | (C3 x C3) : QD16 | 1 | details |
| 18 | 69 | S4 x S3 | 1 | details |
| 18 | 70 | S4 x S3 | 1 | details |
| 18 | 71 | (C3 x C3) : QD16 | 1 | details |
| 18 | 72 | S4 x S3 | 1 | details |
| 18 | 73 | (C3 x C3) : QD16 | 1 | details |
| 18 | 74 | C9 x D9 | 1 | details |
| 18 | 75 | C2 x ((C3 x C3 x C3) : C3) | 1 | details |
| 18 | 76 | C3 x ((C3 x C3) : C6) | 1 | details |
| 18 | 77 | ((C3 x C3) : C3) x S3 | 1 | details |
| 18 | 78 | C3 x ((C3 x C3) : C6) | 1 | details |
| 18 | 79 | C3 x C3 x ((C3 x C3) : C2) | 1 | details |
| 18 | 80 | (C9 : C9) : C2 | 1 | details |
| 18 | 81 | C3 x ((C3 x C3) : C6) | 1 | details |
| 18 | 82 | ((C9 x C3) : C3) : C2 | 1 | details |
| 18 | 83 | C3 x (C9 : C6) | 1 | details |
| 18 | 84 | (C9 : C3) x S3 | 1 | details |
| 18 | 85 | ((C3 x C3 x C3) : C3) : C2 | 1 | details |
| 18 | 86 | ((C3 x C3 x C3) : C3) : C2 | 1 | details |
| 18 | 87 | ((C9 x C3) : C3) : C2 | 1 | details |
| 18 | 88 | ((C3 x C3 x C3) : C3) : C2 | 1 | details |
| 18 | 89 | (C3 x ((C3 x C3) : C3)) : C2 | 1 | details |
| 18 | 90 | GL(2,4) | 1 | details |
| 18 | 91 | C2 x ((C2 x C2) : ((C3 x C3) : C3)) | 1 | details |
| 18 | 92 | C2 x ((C2 x C2) : (C9 : C3)) | 1 | details |
| 18 | 93 | C3 x ((S3 x S3) : C2) | 1 | details |
| 18 | 94 | C2 x (((C3 x C3) : C3) : (C2 x C2)) | 1 | details |
| 18 | 95 | ((C3 x C3) : C4) x S3 | 1 | details |
| 18 | 96 | S3 x S3 x S3 | 1 | details |
| 18 | 97 | ((C3 x A4) : C2) : C3 | 1 | details |
| 18 | 98 | ((C2 x C2) : (C9 : C3)) : C2 | 1 | details |
| 18 | 99 | ((C2 x C2) : ((C3 x C3) : C3)) : C2 | 1 | details |
| 18 | 100 | (C2 x C2 x ((C3 x C3) : C2)) : C3 | 1 | details |
| 18 | 101 | (((C2 x C2) : C9) : C2) : C3 | 1 | details |
| 18 | 102 | (C2 x C2 x ((C3 x C3) : C2)) : C3 | 1 | details |
| 18 | 103 | (C3 x C3 x C3) : D4 | 1 | details |
| 18 | 104 | (C3 x C3 x C3) : D4 | 1 | details |
| 18 | 105 | ((C3 x C3) : C3) : D4 | 1 | details |
| 18 | 106 | (C3 x C3 x C3) : D4 | 1 | details |
| 18 | 107 | ((C2 x C2) : ((C3 x C3) : C3)) : C2 | 1 | details |
| 18 | 108 | ((C2 x C2) : ((C3 x C3) : C3)) : C2 | 1 | details |
| 18 | 109 | C2 x A4 x A4 | 1 | details |
| 18 | 110 | C2 x ((C3 x C3) : QD16) | 1 | details |
| 18 | 111 | C2 x S4 x S3 | 1 | details |
| 18 | 112 | (A4 x A4) : C2 | 1 | details |
| 18 | 113 | (((C2 x C2 x C2 x C2) : C3) : C2) : C3 | 2 | details |
| 18 | 114 | A4 x S4 | 1 | details |
| 18 | 115 | A4 x S4 | 1 | details |
| 18 | 116 | (A4 x A4) : C2 | 1 | details |
| 18 | 117 | (A4 x A4) : C2 | 1 | details |
| 18 | 118 | C3 x (((C3 x C3) : C3) : (C2 x C2)) | 1 | details |
| 18 | 119 | C2 x (((C3 x C3 x C3) : C3) : C2) | 1 | details |
| 18 | 120 | C3 x ((C3 x C3 x C3) : (C2 x C2)) | 1 | details |
| 18 | 121 | ((C3 x C3) : C6) x S3 | 1 | details |
| 18 | 122 | (C9 : C6) x S3 | 1 | details |
| 18 | 123 | C3 x ((C3 x C3 x C3) : C4) | 1 | details |
| 18 | 124 | ((C3 x C3) : C6) x S3 | 1 | details |
| 18 | 125 | C2 x (((C3 x C3 x C3) : C3) : C2) | 1 | details |
| 18 | 126 | C3 x (((C3 x C3) : C3) : (C2 x C2)) | 1 | details |
| 18 | 127 | (C2 x C2) : ((C3 x C3 x C3) : C3) | 1 | details |
| 18 | 128 | (C3 x C3 x C3 x C3) : C4 | 1 | details |
| 18 | 129 | ((C3 x C3 x C3) : C3) : (C2 x C2) | 1 | details |
| 18 | 130 | (C9 x C9) : C4 | 1 | details |
| 18 | 131 | (C3 x ((C3 x C3) : C3)) : C4 | 1 | details |
| 18 | 132 | ((C9 x C3) : C3) : (C2 x C2) | 1 | details |
| 18 | 133 | (C3 x ((C3 x C3) : C3)) : (C2 x C2) | 1 | details |
| 18 | 134 | C2 x (((C3 x C3 x C3) : C3) : C2) | 1 | details |
| 18 | 135 | (((C3 x C3) : C3) : C2) x S3 | 1 | details |
| 18 | 136 | ((C3 x C3 x C3) : C3) : (C2 x C2) | 1 | details |
| 18 | 137 | ((C3 x C3 x C3) : C3) : (C2 x C2) | 1 | details |
| 18 | 138 | ((C3 x C3) : C2) x ((C3 x C3) : C2) | 1 | details |
| 18 | 139 | (C3 x ((C3 x C3) : C3)) : (C2 x C2) | 1 | details |
| 18 | 140 | D9 x D9 | 1 | details |
| 18 | 141 | ((C3 x C3 x C3) : (C2 x C2)) : C3 | 2 | details |
| 18 | 142 | ((C3 x C3 x C3) : (C2 x C2)) : C3 | 6 | details |
| 18 | 143 | ((C3 x C3 x C3) : (C2 x C2)) : C3 | 1 | details |
| 18 | 144 | C3 x S5 | 1 | details |
| 18 | 145 | A5 x S3 | 1 | details |
| 18 | 146 | A5 : S3 | 1 | details |
| 18 | 147 | C2 x (((C2 x C2) : (C9 : C3)) : C2) | 1 | details |
| 18 | 148 | C2 x (((C2 x C2) : ((C3 x C3) : C3)) : C2) | 1 | details |
| 18 | 149 | C2 x (((C2 x C2) : ((C3 x C3) : C3)) : C2) | 1 | details |
| 18 | 150 | ((S3 x S3) : C2) x S3 | 1 | details |
| 18 | 151 | C2 x (((C3 x C3) : Q8) : C3) | 1 | details |
| 18 | 152 | (((C3 x A4) : C2) : C3) : C2 | 1 | details |
| 18 | 153 | (((C3 x A4) : C2) : C3) : C2 | 1 | details |
| 18 | 154 | (((C3 x A4) : C2) : C3) : C2 | 1 | details |
| 18 | 155 | (((C2 x C2) : ((C3 x C3) : C3)) : C2) : C2 | 1 | details |
| 18 | 156 | C2 x (((C2 x C2) : ((C3 x C3) : C3)) : C2) | 1 | details |
| 18 | 157 | (((C3 x C3) : Q8) : C3) : C2 | 1 | details |
| 18 | 158 | ((C9 : C9) : C3) : C2 | 1 | details |
| 18 | 159 | (((C9 x C3) : C3) : C3) : C2 | 1 | details |
| 18 | 160 | (((C9 x C3) : C3) : C3) : C2 | 1 | details |
| 18 | 161 | ((C3 x ((C3 x C3) : C3)) : C3) : C2 | 1 | details |
| 18 | 162 | C3 x (((C3 x C3 x C3) : C3) : C2) | 1 | details |
| 18 | 163 | ((C3 x C3 x C3) : C3) x S3 | 1 | details |
| 18 | 164 | ((C3 x C3 x C3 x C3) : C3) : C2 | 1 | details |
| 18 | 165 | ((C3 x C3 x C3 x C3) : C3) : C2 | 1 | details |
| 18 | 166 | ((C9 x C9) : C3) : C2 | 1 | details |
| 18 | 167 | (C3 x ((C3 x C3 x C3) : C3)) : C2 | 1 | details |
| 18 | 168 | ((C3 x ((C3 x C3) : C3)) : C3) : C2 | 1 | details |
| 18 | 169 | C3 x (((C3 x C3 x C3) : C3) : C2) | 1 | details |
| 18 | 170 | (((C9 x C3) : C3) : C3) : C2 | 1 | details |
| 18 | 171 | (((C9 x C3) : C3) : C3) : C2 | 1 | details |
| 18 | 172 | (((C9 x C3) : C3) : C3) : C2 | 1 | details |
| 18 | 173 | ((C3 x (C9 : C3)) : C3) : C2 | 1 | details |
| 18 | 174 | ((C3 x (C9 : C3)) : C3) : C2 | 1 | details |
| 18 | 175 | C2 x ((A4 x A4) : C2) | 1 | details |
| 18 | 176 | C2 x A4 x S4 | 1 | details |
| 18 | 177 | (C2 x C2 x C2 x C2 x C2 x C2) : C9 | 2 | details |
| 18 | 178 | (C2 x C2 x C2 x C2 x C2 x C2) : (C3 x C3) | 2 | details |
| 18 | 179 | ((A4 x A4) : C2) : C2 | 1 | details |
| 18 | 180 | ((((C2 x C2 x C2 x C2) : C3) : C2) : C3) : C2 | 1 | details |
| 18 | 181 | S4 x S4 | 1 | details |
| 18 | 182 | (A4 x A4) : C4 | 1 | details |
| 18 | 183 | C2 x ((A4 x A4) : C2) | 1 | details |
| 18 | 184 | (A4 x A4) : C4 | 1 | details |
| 18 | 185 | ((((C2 x C2 x C2 x C2) : C3) : C2) : C3) : C2 | 1 | details |
| 18 | 186 | S4 x S4 | 1 | details |
| 18 | 187 | S4 x S4 | 1 | details |
| 18 | 188 | C2 x ((C2 x C2) : ((C3 x C3 x C3) : C3)) | 1 | details |
| 18 | 189 | C3 x ((C3 x C3 x C3) : D4) | 1 | details |
| 18 | 190 | (C3 x C3 x C3 x C3) : (C4 x C2) | 1 | details |
| 18 | 191 | (((C3 x C3) : C3) : (C2 x C2)) x S3 | 1 | details |
| 18 | 192 | (C3 x C3 x C3 x C3) : (C4 x C2) | 1 | details |
| 18 | 193 | (C3 x C3 x C3 x C3) : (C2 x C2 x C2) | 1 | details |
| 18 | 194 | C2 x (((C3 x C3 x C3) : C3) : (C2 x C2)) | 1 | details |
| 18 | 195 | (C3 x C3 x C3 x C3) : (C4 x C2) | 1 | details |
| 18 | 196 | (C3 x C3 x C3 x C3) : C8 | 1 | details |
| 18 | 197 | (S3 x S3 x S3) : C3 | 1 | details |
| 18 | 198 | (S3 x S3 x S3) : C3 | 37/36 | details |
| 18 | 199 | C2 x (((C3 x C3 x C3) : (C2 x C2)) : C3) | 1 | details |
| 18 | 200 | ((C2 x C2) : ((C3 x C3 x C3) : C3)) : C2 | 1 | details |
| 18 | 201 | C2 x (((C3 x C3 x C3) : (C2 x C2)) : C3) | 1 | details |
| 18 | 202 | (S3 x S3 x S3) : C3 | 1 | details |
| 18 | 203 | (((C2 x C2) : ((C3 x C3) : C3)) : C2) : C3 | 1 | details |
| 18 | 204 | (((C3 x C3 x C3) : (C2 x C2)) : C3) : C2 | 1 | details |
| 18 | 205 | C2 x (((C3 x C3 x C3) : (C2 x C2)) : C3) | 1 | details |
| 18 | 206 | (S3 x S3 x S3) : C3 | 3 | details |
| 18 | 207 | (S3 x S3 x S3) : C3 | 1 | details |
| 18 | 208 | (((C2 x C2) : ((C3 x C3) : C3)) : C2) : C3 | 1 | details |
| 18 | 209 | (C2 x C2 x ((C3 x C3 x C3) : C2)) : C3 | 1 | details |
| 18 | 210 | (C3 x C3 x C3 x C3) : D4 | 1 | details |
| 18 | 211 | (C9 x C9) : D4 | 1 | details |
| 18 | 212 | (C3 x C3 x C3 x C3) : Q8 | 1 | details |
| 18 | 213 | (C3 x C3 x C3 x C3) : D4 | 1 | details |
| 18 | 214 | (C3 x C3 x C3 x C3) : D4 | 1 | details |
| 18 | 215 | (C3 x ((C3 x C3) : C3)) : D4 | 1 | details |
| 18 | 216 | (C3 x C3 x C3 x C3) : D4 | 1 | details |
| 18 | 217 | (((C3 x C3 x C3) : (C2 x C2)) : C3) : C2 | 1 | details |
| 18 | 218 | (((C3 x C3 x C3) : (C2 x C2)) : C3) : C2 | 3 | details |
| 18 | 219 | (((C3 x C3 x C3) : (C2 x C2)) : C3) : C2 | 3 | details |
| 18 | 220 | (((C3 x C3 x C3) : (C2 x C2)) : C3) : C2 | 1 | details |
| 18 | 221 | (((C3 x C3 x C3) : (C2 x C2)) : C3) : C2 | 1 | details |
| 18 | 222 | (((C3 x C3 x C3) : (C2 x C2)) : C3) : C2 | 1 | details |
| 18 | 223 | (((C3 x C3 x C3) : (C2 x C2)) : C3) : C2 | 1 | details |
| 18 | 224 | (((C3 x C3 x C3) : (C2 x C2)) : C3) : C2 | 1 | details |
| 18 | 225 | ((C2 x C2) : ((C3 x C3 x C3) : C3)) : C2 | 1 | details |
| 18 | 226 | ((C2 x C2) : ((C3 x C3 x C3) : C3)) : C2 | 1 | details |
| 18 | 227 | S5 x S3 | 1 | details |
| 18 | 228 | C2 x (((C2 x C2 x ((C3 x C3) : C2)) : C3) : C2) | 1 | details |
| 18 | 229 | C2 x ((((C3 x C3) : Q8) : C3) : C2) | 1 | details |
| 18 | 230 | ((C3 x ((C3 x C3) : C3)) : C3) : (C2 x C2) | 1 | details |
| 18 | 231 | ((C3 x ((C3 x C3) : C3)) : C3) : C4 | 1 | details |
| 18 | 232 | (((C9 x C3) : C3) : C3) : (C2 x C2) | 1 | details |
| 18 | 233 | ((C9 : C9) : C3) : (C2 x C2) | 1 | details |
| 18 | 234 | ((C3 x ((C3 x C3) : C3)) : C3) : (C2 x C2) | 1 | details |
| 18 | 235 | ((C9 : C9) : C3) : C4 | 1 | details |
| 18 | 236 | ((C3 x ((C3 x C3) : C3)) : C3) : (C2 x C2) | 1 | details |
| 18 | 237 | C3 x (((C3 x C3 x C3) : C3) : (C2 x C2)) | 1 | details |
| 18 | 238 | (((C3 x C3 x C3) : C3) : C2) x S3 | 1 | details |
| 18 | 239 | ((C3 x C3 x C3 x C3) : C3) : (C2 x C2) | 1 | details |
| 18 | 240 | ((C3 x ((C3 x C3) : C3)) : C3) : C4 | 1 | details |
| 18 | 241 | (((C3 x C3 x C3) : C3) : C2) x S3 | 1 | details |
| 18 | 242 | C3 x (((C3 x C3 x C3) : (C2 x C2)) : C3) | 1 | details |
| 18 | 243 | ((C3 x C3 x C3) : (C2 x C2)) : C9 | 1 | details |
| 18 | 244 | ((C3 x ((C3 x C3) : C3)) : C3) : (C2 x C2) | 1 | details |
| 18 | 245 | (((C9 x C3) : C3) : C3) : (C2 x C2) | 1 | details |
| 18 | 246 | ((C3 x C3) . ((C3 x C3) : C3) = (C3 x C3 x C3) . (C3 x C3)) : C4 | 1 | details |
| 18 | 247 | ((C9 : C9) : C3) : C4 | 1 | details |
| 18 | 248 | ((C3 x ((C3 x C3) : C3)) : C3) : (C2 x C2) | 1 | details |
| 18 | 249 | ((C3 x (C9 : C3)) : C3) : (C2 x C2) | 1 | details |
| 18 | 250 | ((C3 x ((C3 x C3) : C3)) : C3) : (C2 x C2) | 1 | details |
| 18 | 251 | ((C3 x ((C3 x C3) : C3)) : C3) : C4 | 1 | details |
| 18 | 252 | (((C9 x C3) : C3) : C3) : (C2 x C2) | 1 | details |
| 18 | 253 | ((C9 : C9) : C3) : (C2 x C2) | 1 | details |
| 18 | 254 | ((C3 x ((C3 x C3) : C3)) : C3) : (C2 x C2) | 1 | details |
| 18 | 255 | (C3 x ((C3 x C3 x C3) : C3)) : (C2 x C2) | 1 | details |
| 18 | 256 | (C3 x ((C3 x C3 x C3) : C3)) : (C2 x C2) | 1 | details |
| 18 | 257 | (((C3 x C3 x C3) : C3) : C2) x S3 | 1 | details |
| 18 | 258 | ((C3 x ((C3 x C3) : C3)) : C3) : C4 | 1 | details |
| 18 | 259 | (((C9 x C3) : C3) : C3) : C4 | 1 | details |
| 18 | 260 | C2 x PSL(2,8) | 1 | details |
| 18 | 261 | C3 x A6 | 1 | details |
| 18 | 262 | C3 . A6 | 1.0 | details |
| 18 | 263 | C2 x ((C2 x C2 x C2 x C2 x C2 x C2) : (C3 x C3)) | 1.0 | details |
| 18 | 264 | C2 x ((C2 x C2 x C2 x C2 x C2 x C2) : C9) | 1.0 | details |
| 18 | 265 | C2 x ((A4 x A4) : C4) | 1.0 | details |
| 18 | 266 | C2 x S4 x S4 | 1.0 | details |
| 18 | 267 | C2 x (((A4 x A4) : C2) : C2) | 1.0 | details |
| 18 | 268 | (C2 x C2 x (((C2 x C2 x C2 x C2) : C3) : C2)) : C3 | 2.0 | details |
| 18 | 269 | ((C2 x C2 x C2 x C2 x C2 x C2) : (C3 x C3)) : C2 | 1 | details |
| 18 | 270 | ((C2 x C2 x C2 x C2 x C2 x C2) : (C3 x C3)) : C2 | 1 | details |
| 18 | 271 | ((C2 x C2 x C2 x C2 x C2 x C2) : (C3 x C3)) : C2 | 1 | details |
| 18 | 272 | (((A4 x A4) : C2) : C2) : C2 | 1 | details |
| 18 | 273 | (((((C2 x C2 x C2 x C2) : C3) : C2) : C3) : C2) : C2 | 1 | details |
| 18 | 274 | (((((C2 x C2 x C2 x C2) : C3) : C2) : C3) : C2) : C2 | 1 | details |
| 18 | 275 | (((((C2 x C2 x C2 x C2) : C3) : C2) : C3) : C2) : C2 | 1 | details |
| 18 | 276 | ((C2 x C2 x C2 x C2 x C2 x C2) : (C3 x C3)) : C2 | 1 | details |
| 18 | 277 | ((C2 x C2 x C2 x C2 x C2 x C2) : C9) : C2 | 1 | details |
| 18 | 278 | ((C2 x C2 x C2 x C2 x C2 x C2) : C9) : C2 | 1 | details |
| 18 | 279 | ((C2 x C2 x C2 x C2 x C2 x C2) : (C3 x C3)) : C2 | 1 | details |
| 18 | 280 | (C3 x C3 x C3 x C3) : C16 | 1 | details |
| 18 | 281 | (C3 x C3 x C3 x C3) : (C8 x C2) | 1 | details |
| 18 | 282 | C2 x (((C2 x C2) : ((C3 x C3 x C3) : C3)) : C2) | 1 | details |
| 18 | 283 | C2 x ((((C3 x C3 x C3) : (C2 x C2)) : C3) : C2) | 1 | details |
| 18 | 284 | C2 x (((C2 x C2) : ((C3 x C3 x C3) : C3)) : C2) | 1 | details |
| 18 | 285 | C2 x ((((C3 x C3 x C3) : (C2 x C2)) : C3) : C2) | 1 | details |
| 18 | 286 | C2 x ((((C3 x C3 x C3) : (C2 x C2)) : C3) : C2) | 1 | details |
| 18 | 287 | (C3 x C3 x C3 x C3) : (C2 x D4) | 1 | details |
| 18 | 288 | (C3 x C3 x C3 x C3) : (C8 : C2) | 1 | details |
| 18 | 289 | (C3 x C3 x C3 x C3) : (C2 x D4) | 1 | details |
| 18 | 290 | (C3 x C3 x C3 x C3) : ((C4 x C2) : C2) | 1 | details |
| 18 | 291 | (C3 x C3 x C3 x C3) : ((C4 x C2) : C2) | 1 | details |
| 18 | 292 | (C3 x C3 x C3 x C3) : (C2 x D4) | 1 | details |
| 18 | 293 | (C3 x C3 x C3 x C3) : (C2 x Q8) | 1 | details |
| 18 | 294 | (C3 x C3 x C3 x C3) : ((C4 x C2) : C2) | 1 | details |
| 18 | 295 | (C3 x C3 x C3 x C3) : ((C4 x C2) : C2) | 1 | details |
| 18 | 296 | (C3 x C3 x C3 x C3) : ((C4 x C2) : C2) | 1 | details |
| 18 | 297 | (C3 x C3 x C3 x C3) : (C8 : C2) | 1 | details |
| 18 | 298 | (C3 x C3 x C3 x C3) : D8 | 1 | details |
| 18 | 299 | ((((C2 x C2) : ((C3 x C3) : C3)) : C2) : C3) : C2 | 1 | details |
| 18 | 300 | ((((C3 x C3 x C3) : (C2 x C2)) : C3) : C2) : C2 | 1 | details |
| 18 | 301 | C2 x ((((C3 x C3 x C3) : (C2 x C2)) : C3) : C2) | 1 | details |
| 18 | 302 | (C3 x C3 x C3 x C3) : QD16 | 1 | details |
| 18 | 303 | ((((C3 x C3 x C3) : (C2 x C2)) : C3) : C2) : C2 | 1 | details |
| 18 | 304 | (C3 x C3 x C3 x C3) : D8 | 1 | details |
| 18 | 305 | C2 x ((((C3 x C3 x C3) : (C2 x C2)) : C3) : C2) | 1 | details |
| 18 | 306 | (C3 x C3 x C3 x C3) : Q16 | 1 | details |
| 18 | 307 | (C3 x C3 x C3 x C3) : QD16 | 1 | details |
| 18 | 308 | C2 x (((C2 x C2) : ((C3 x C3 x C3) : C3)) : C2) | 1 | details |
| 18 | 309 | (C3 x C3 x C3 x C3) : Q16 | 1 | details |
| 18 | 310 | (((C2 x C2) : ((C3 x C3 x C3) : C3)) : C2) : C2 | 1 | details |
| 18 | 311 | ((((C3 x C3 x C3) : (C2 x C2)) : C3) : C2) : C2 | 1 | details |
| 18 | 312 | ((((C3 x C3 x C3) : (C2 x C2)) : C3) : C2) : C2 | 1 | details |
| 18 | 313 | C2 x ((((C3 x C3 x C3) : (C2 x C2)) : C3) : C2) | 1 | details |
| 18 | 314 | ((S3 x S3 x S3) : C3) : C2 | 1 | details |
| 18 | 315 | ((S3 x S3 x S3) : C3) : C2 | ??? | details |
| 18 | 316 | ((((C2 x C2) : ((C3 x C3) : C3)) : C2) : C3) : C2 | 1 | details |
| 18 | 317 | ((C2 x C2 x ((C3 x C3 x C3) : C2)) : C3) : C2 | 1 | details |
| 18 | 318 | (C3 x C3 x C3 x C3) : QD16 | 1 | details |
| 18 | 319 | ((((C3 x C3 x C3) : (C2 x C2)) : C3) : C2) : C2 | 1 | details |
| 18 | 320 | ((((C3 x C3 x C3) : (C2 x C2)) : C3) : C2) : C2 | 1 | details |
| 18 | 321 | C2 x ((((C3 x C3 x C3) : (C2 x C2)) : C3) : C2) | 1 | details |
| 18 | 322 | (C2 x C2 x ((C3 x C3 x C3) : (C2 x C2))) : C3 | 1 | details |
| 18 | 323 | ((C3 x C3 x C3 x C3 x C3) : C3) : C2 | 1 | details |
| 18 | 324 | ((C9 : C3) x (C9 : C3)) : C2 | 1 | details |
| 18 | 325 | ((((C9 x C3) : C3) : C3) : C3) : C2 | 1 | details |
| 18 | 326 | ((((C9 x C3) : C3) : C3) : C3) : C2 | 1 | details |
| 18 | 327 | ((C3 x C3 x C3 x C3 x C3) : C3) : C2 | 1 | details |
| 18 | 328 | (((C3 x C3) : C3) x ((C3 x C3) : C3)) : C2 | 1 | details |
| 18 | 329 | ((C3 x ((C3 x C3 x C3) : C3)) : C3) : C2 | 1 | details |
| 18 | 330 | ((C3 x C3 x (C9 : C3)) : C3) : C2 | 1 | details |
| 18 | 331 | ((C3 x C3 x (C9 : C3)) : C3) : C2 | 1 | details |
| 18 | 332 | ((((C9 x C3) : C3) : C3) : C3) : C2 | 1 | details |
| 18 | 333 | ((C3 x ((C3 x C3 x C3) : C3)) : C3) : C2 | 1 | details |
| 18 | 334 | (C2 x C2 x C2 x C2 x C2 x C2) : ((C3 x C3) : C3) | 2.0 | details |
| 18 | 335 | (C2 x C2 x C2 x C2 x C2 x C2) : (C9 : C3) | 2.0 | details |
| 18 | 336 | C3 x ((((C3 x C3 x C3) : (C2 x C2)) : C3) : C2) | 1 | details |
| 18 | 337 | (((C3 x C3 x C3) : (C2 x C2)) : C9) : C2 | 1 | details |
| 18 | 338 | ((C9 : C9) : C3) : D4 | 1 | details |
| 18 | 339 | ((C3 x ((C3 x C3) : C3)) : C3) : D4 | 1 | details |
| 18 | 340 | ((C3 x ((C3 x C3) : C3)) : C3) : D4 | 1 | details |
| 18 | 341 | (((C3 x C3 x C3) : C3) : (C2 x C2)) x S3 | 1 | details |
| 18 | 342 | ((C3 x ((C3 x C3) : C3)) : C3) : (C2 x C2 x C2) | 1 | details |
| 18 | 343 | ((C3 x ((C3 x C3) : C3)) : C3) : (C2 x C2 x C2) | 1 | details |
| 18 | 344 | ((C3 x ((C3 x C3) : C3)) : C3) : (C4 x C2) | 1 | details |
| 18 | 345 | ((C3 x ((C3 x C3) : C3)) : C3) : (C4 x C2) | 1 | details |
| 18 | 346 | C3 x ((((C3 x C3 x C3) : (C2 x C2)) : C3) : C2) | 1 | details |
| 18 | 347 | (((C3 x C3 x C3) : (C2 x C2)) : C3) x S3 | 1 | details |
| 18 | 348 | (C3 x (((C3 x C3 x C3) : (C2 x C2)) : C3)) : C2 | 1 | details |
| 18 | 349 | C3 x ((((C3 x C3 x C3) : (C2 x C2)) : C3) : C2) | 1 | details |
| 18 | 350 | ((C3 x ((C3 x C3) : C3)) : C3) : D4 | 1 | details |
| 18 | 351 | ((C3 x ((C3 x C3) : C3)) : C3) : D4 | 1 | details |
| 18 | 352 | (((C9 x C3) : C3) : C3) : D4 | 1 | details |
| 18 | 353 | ((C9 x C9) : C3) : D4 | 1 | details |
| 18 | 354 | ((C3 x ((C3 x C3) : C3)) : C3) : D4 | 1 | details |
| 18 | 355 | ((C3 x ((C3 x C3) : C3)) : C3) : D4 | 1 | details |
| 18 | 356 | ((C3 x ((C3 x C3) : C3)) : C3) : D4 | 1 | details |
| 18 | 357 | ((C3 x ((C3 x C3) : C3)) : C3) : D4 | 1 | details |
| 18 | 358 | (((C3 x C3 x C3) : (C2 x C2)) : C9) : C2 | 1 | details |
| 18 | 359 | (C3 x (((C3 x C3 x C3) : (C2 x C2)) : C3)) : C2 | 1 | details |
| 18 | 360 | (C3 x (((C3 x C3 x C3) : (C2 x C2)) : C3)) : C2 | 1 | details |
| 18 | 361 | (((C3 x C3 x C3) : (C2 x C2)) : C9) : C2 | 1 | details |
| 18 | 362 | C3 x S6 | 1 | details |
| 18 | 363 | A6 x S3 | 1 | details |
| 18 | 364 | C3 : S6 | 1 | details |
| 18 | 365 | (C3 . A6) : C2 | 1 | details |
| 18 | 366 | C2 x (((C2 x C2 x C2 x C2 x C2 x C2) : (C3 x C3)) : C2) | 1 | details |
| 18 | 367 | C2 x (((C2 x C2 x C2 x C2 x C2 x C2) : (C3 x C3)) : C2) | 1 | details |
| 18 | 368 | (C2 x C2 x C2 x C2 x C2 x C2 x C2 x C2) : C9 | 2.0 | details |
| 18 | 369 | (C2 x C2 x C2 x C2 x C2 x C2 x C2 x C2) : (C3 x C3) | 2.0 | details |
| 18 | 370 | C2 x ((((A4 x A4) : C2) : C2) : C2) | 1 | details |
| 18 | 371 | (((C2 x C2 x C2 x C2 x C2 x C2) : (C3 x C3)) : C2) : C2 | 1 | details |
| 18 | 372 | C2 x (((C2 x C2 x C2 x C2 x C2 x C2) : (C3 x C3)) : C2) | 1 | details |
| 18 | 373 | (((C2 x C2 x C2 x C2 x C2 x C2) : (C3 x C3)) : C2) : C2 | 1 | details |
| 18 | 374 | (((C2 x C2 x C2 x C2 x C2 x C2) : (C3 x C3)) : C2) : C2 | 1 | details |
| 18 | 375 | C2 x (((C2 x C2 x C2 x C2 x C2 x C2) : C9) : C2) | 1 | details |
| 18 | 376 | (((C2 x C2 x C2 x C2 x C2 x C2) : (C3 x C3)) : C2) : C2 | 1 | details |
| 18 | 377 | PSL(2,17) | 1 | details |
| 18 | 378 | (C3 x C3 x C3 x C3) : (C16 : C2) | 1 | details |
| 18 | 379 | (C3 x C3 x C3 x C3) : ((C2 x C2 x C2) : (C2 x C2)) | 1 | details |
| 18 | 380 | (C3 x C3 x C3 x C3) : ((C2 x Q8) : C2) | 1 | details |
| 18 | 381 | (C3 x C3 x C3 x C3) : ((C8 x C2) : C2) | 1 | details |
| 18 | 382 | (C3 x C3 x C3 x C3) : ((C8 x C2) : C2) | 1 | details |
| 18 | 383 | (C3 x C3 x C3 x C3) : ((C8 x C2) : C2) | 1 | details |
| 18 | 384 | (C3 x C3 x C3 x C3) : ((C2 x C2 x C2) : C4) | 1 | details |
| 18 | 385 | (C3 x C3 x C3 x C3) : (C8 : (C2 x C2)) | 1 | details |
| 18 | 386 | (C3 x C3 x C3 x C3) : ((C2 x Q8) : C2) | 1 | details |
| 18 | 387 | (C3 x C3 x C3 x C3) : ((C8 : C2) : C2) | 1 | details |
| 18 | 388 | (C3 x C3 x C3 x C3) : ((C2 x C2 x C2 x C2) : C2) | 1 | details |
| 18 | 389 | (C3 x C3 x C3 x C3) : (C4 . D4 = C4 . (C4 x C2)) | 1 | details |
| 18 | 390 | (C3 x C3 x C3 x C3) : ((C2 x C2 x C2) : C4) | 1 | details |
| 18 | 391 | (C3 x C3 x C3 x C3) : (C8 : (C2 x C2)) | 1 | details |
| 18 | 392 | (C3 x C3 x C3 x C3) : (C2 . ((C4 x C2) : C2) = (C2 x C2) . (C4 x C2)) | 1 | details |
| 18 | 393 | (C3 x C3 x C3 x C3) : (C2 x QD16) | 1 | details |
| 18 | 394 | C2 x (((S3 x S3 x S3) : C3) : C2) | 1 | details |
| 18 | 395 | (C3 x C3 x C3 x C3) : ((C2 x Q8) : C2) | 1 | details |
| 18 | 396 | C2 x ((((C2 x C2) : ((C3 x C3 x C3) : C3)) : C2) : C2) | 1 | details |
| 18 | 397 | C2 x (((((C3 x C3 x C3) : (C2 x C2)) : C3) : C2) : C2) | 1 | details |
| 18 | 398 | (C3 x C3 x C3 x C3) : ((C4 x C4) : C2) | 1 | details |
| 18 | 399 | (C2 x C2 x S3 x S3 x S3) : C3 | 1 | details |
| 18 | 400 | C2 x ((C2 x C2 x ((C3 x C3 x C3) : (C2 x C2))) : C3) | 1 | details |
| 18 | 401 | (C2 x C2 x S3 x S3 x S3) : C3 | 1 | details |
| 18 | 402 | ((C2 x C2 x ((C3 x C3 x C3) : (C2 x C2))) : C3) : C2 | 1 | details |
| 18 | 403 | ((C2 x C2 x ((C3 x C3 x C3) : (C2 x C2))) : C3) : C2 | 1 | details |
| 18 | 404 | ((C2 x C2 x ((C3 x C3 x C3) : (C2 x C2))) : C3) : C2 | 1 | details |
| 18 | 405 | ((C2 x C2 x ((C3 x C3 x C3) : (C2 x C2))) : C3) : C2 | 1 | details |
| 18 | 406 | (((C3 x ((C3 x C3) : C3)) : C3) : C3) : (C2 x C2) | 1 | details |
| 18 | 407 | ((((C9 x C3) : C3) : C3) : C3) : (C2 x C2) | 1 | details |
| 18 | 408 | (((C3 x ((C3 x C3) : C3)) : C3) : C3) : (C2 x C2) | 1 | details |
| 18 | 409 | (((C3 x C3) : C3) x ((C3 x C3) : C3)) : (C2 x C2) | 1 | details |
| 18 | 410 | (((C3 x C3) : C3) x ((C3 x C3) : C3)) : C4 | 1 | details |
| 18 | 411 | ((C3 x ((C3 x C3 x C3) : C3)) : C3) : (C2 x C2) | 1 | details |
| 18 | 412 | (((C3 x C3) : C3) x ((C3 x C3) : C3)) : C4 | 1 | details |
| 18 | 413 | ((C9 : C3) x (C9 : C3)) : (C2 x C2) | 1 | details |
| 18 | 414 | (((C3 x C3) : C3) x ((C3 x C3) : C3)) : (C2 x C2) | 1 | details |
| 18 | 415 | ((C9 : C3) x (C9 : C3)) : C4 | 1 | details |
| 18 | 416 | ((C3 x C3 x (C9 : C3)) : C3) : (C2 x C2) | 1 | details |
| 18 | 417 | ((((C9 x C3) : C3) : C3) : C3) : (C2 x C2) | 1 | details |
| 18 | 418 | (((C3 x C3 x C3) : (C2 x C2)) : C9) : C3 | 1 | details |
| 18 | 419 | (C3 x C3 x ((C3 x C3 x C3) : (C2 x C2))) : C3 | 1 | details |
| 18 | 420 | (((C3 x C3) . ((C3 x C3) : C3) = (C3 x C3 x C3) . (C3 x C3)) : C3) : C4 | 1 | details |
| 18 | 421 | (((C3 x C3) : C3) x ((C3 x C3) : C3)) : C4 | 1 | details |
| 18 | 422 | ((C3 x ((C3 x C3 x C3) : C3)) : C3) : (C2 x C2) | 1 | details |
| 18 | 423 | ((C3 x C3 x ((C3 x C3) : C3)) : C3) : C4 | 1 | details |
| 18 | 424 | ((C3 x ((C3 x C3 x C3) : C3)) : C3) : (C2 x C2) | 1 | details |
| 18 | 425 | (((C3 x C3) : C3) x ((C3 x C3) : C3)) : (C2 x C2) | 1 | details |
| 18 | 426 | ((C3 x ((C3 x C3 x C3) : C3)) : C3) : (C2 x C2) | 1 | details |
| 18 | 427 | C2 x (PSL(2,8) : C3) | 1 | details |
| 18 | 428 | C2 x ((C2 x C2 x C2 x C2 x C2 x C2) : ((C3 x C3) : C3)) | 1 | details |
| 18 | 429 | C2 x ((C2 x C2 x C2 x C2 x C2 x C2) : (C9 : C3)) | 1 | details |
| 18 | 430 | ((C2 x C2 x C2 x C2 x C2 x C2) : ((C3 x C3) : C3)) : C2 | 1 | details |
| 18 | 431 | (((C2 x C2 x C2 x C2 x C2 x C2) : (C3 x C3)) : C2) : C3 | 1 | details |
| 18 | 432 | (((C2 x C2 x C2 x C2 x C2 x C2) : (C3 x C3)) : C2) : C3 | 1 | details |
| 18 | 433 | (((C2 x C2 x C2 x C2 x C2 x C2) : C9) : C2) : C3 | 1 | details |
| 18 | 434 | (((C2 x C2 x C2 x C2 x C2 x C2) : C9) : C2) : C3 | 1 | details |
| 18 | 435 | ((C2 x C2 x C2 x C2 x C2 x C2) : ((C3 x C3) : C3)) : C2 | 1 | details |
| 18 | 436 | ((C2 x C2 x C2 x C2 x C2 x C2) : ((C3 x C3) : C3)) : C2 | 1 | details |
| 18 | 437 | ((C2 x C2 x C2 x C2 x C2 x C2) : ((C3 x C3) : C3)) : C2 | 2.0 | details |
| 18 | 438 | C3 x (((((C3 x C3 x C3) : (C2 x C2)) : C3) : C2) : C2) | 1 | details |
| 18 | 439 | ((S3 x S3 x S3) : C3) x S3 | 1 | details |
| 18 | 440 | ((C3 x ((C3 x C3) : C3)) : C3) : (C2 x D4) | 1 | details |
| 18 | 441 | ((C3 x ((C3 x C3) : C3)) : C3) : (C2 x D4) | 1 | details |
| 18 | 442 | (((C3 x C3 x C3 x C3) : Q8) : C3) : C2 | 1 | details |
| 18 | 443 | ((C3 x C3 x C3 x C3) : ((C4 x C2) : C2)) : C3 | 1 | details |
| 18 | 444 | (C3 x ((((C3 x C3 x C3) : (C2 x C2)) : C3) : C2)) : C2 | 1 | details |
| 18 | 445 | (C3 x ((((C3 x C3 x C3) : (C2 x C2)) : C3) : C2)) : C2 | 1 | details |
| 18 | 446 | ((((C3 x C3 x C3) : (C2 x C2)) : C3) : C2) x S3 | 1 | details |
| 18 | 447 | ((((C3 x C3 x C3) : (C2 x C2)) : C9) : C2) : C2 | 1 | details |
| 18 | 448 | (C3 x ((((C3 x C3 x C3) : (C2 x C2)) : C3) : C2)) : C2 | 1 | details |
| 18 | 449 | ((((C3 x C3 x C3) : (C2 x C2)) : C3) : C2) x S3 | 1 | details |
| 18 | 450 | (C3 x C3 x C3 x C3) : (C2 . S4 = SL(2,3) . C2) | 1 | details |
| 18 | 451 | (((C3 x C3 x C3 x C3) : Q8) : C3) : C2 | 1 | details |
| 18 | 452 | S6 x S3 | 1 | details |
| 18 | 453 | ((C3 x C3 x C3 x C3 x C3 x C3) : C3) : C2 | 1 | details |
| 18 | 454 | ((C3 x C3 x ((C3 x C3 x C3) : C3)) : C3) : C2 | 1 | details |
| 18 | 455 | ((C3 x C3 x ((C3 x C3 x C3) : C3)) : C3) : C2 | 1 | details |
| 18 | 456 | ((((C3 x C3) : C3) x ((C3 x C3) : C3)) : C3) : C2 | 1 | details |
| 18 | 457 | ((((C3 x (C9 : C3)) : C3) : C3) : C3) : C2 | 1 | details |
| 18 | 458 | (((C3 x ((C3 x C3 x C3) : C3)) : C3) : C3) : C2 | 1 | details |
| 18 | 459 | C2 x ((C2 x C2 x C2 x C2 x C2 x C2 x C2 x C2) : (C3 x C3)) | 1 | details |
| 18 | 460 | C2 x ((C2 x C2 x C2 x C2 x C2 x C2 x C2 x C2) : C9) | 1 | details |
| 18 | 461 | C2 x (((C2 x C2 x (((C2 x C2 x C2 x C2) : C3) : C2)) : C3) : C2) | 1 | details |
| 18 | 462 | ((C2 x C2 x C2 x C2 x C2 x C2 x C2 x C2) : (C3 x C3)) : C2 | 1 | details |
| 18 | 463 | (C2 x C2 x (((C2 x C2 x C2 x C2 x C2 x C2) : C3) : C2)) : C3 | 1 | details |
| 18 | 464 | ((C2 x C2 x C2 x C2 x C2 x C2 x C2 x C2) : (C3 x C3)) : C2 | 1 | details |
| 18 | 465 | ((C2 x C2 x C2 x C2 x C2 x C2 x C2 x C2) : C9) : C2 | 1 | details |
| 18 | 466 | ((C2 x C2 x C2 x C2 x C2 x C2 x C2 x C2) : (C3 x C3)) : C2 | 1 | details |
| 18 | 467 | ((C2 x C2 x C2 x C2 x C2 x C2 x C2 x C2) : C9) : C2 | 1 | details |
| 18 | 468 | PSL(2,17) : C2 | 1 | details |
| 18 | 469 | (C3 x C3 x C3 x C3) : ((C8 x C4) : C2) | 1 | details |
| 18 | 470 | (C3 x C3 x C3 x C3) : (C8 . D4 = C4 . (C8 x C2)) | 1 | details |
| 18 | 471 | (C3 x C3 x C3 x C3) : (((C8 x C2) : C2) : C2) | 1 | details |
| 18 | 472 | C2 x (((C2 x C2 x ((C3 x C3 x C3) : (C2 x C2))) : C3) : C2) | 1 | details |
| 18 | 473 | (C2 x C2 x C2 x C2 x C2 x C2) : ((C3 x C3 x C3) : C3) | 2.0 | details |
| 18 | 474 | (C3 x C3 x C3 x C3) : ((C8 : (C2 x C2)) : C2) | 1 | details |
| 18 | 475 | (C3 x C3 x C3 x C3) : ((C8 : C4) : C2) | 1 | details |
| 18 | 476 | (C3 x C3 x C3 x C3) : (C16 : C4) | 1 | details |
| 18 | 477 | (C3 x C3 x C3 x C3) : (((C2 x C2 x C2) : C4) : C2) | 1 | details |
| 18 | 478 | (C3 x C3 x C3 x C3) : (((C8 : C2) : C2) : C2) | 1 | details |
| 18 | 479 | (C3 x C3 x C3 x C3) : (C2 . ((C2 x C2 x C2) : C4) = (C4 x C2) . (C4 x C2)) | 1 | details |
| 18 | 480 | (C3 x C3 x C3 x C3) : ((C4 : Q8) : C2) | 1 | details |
| 18 | 481 | (C3 x C3 x C3 x C3) : (((C2 x C2 x C2 x C2) : C2) : C2) | 1 | details |
| 18 | 482 | (C3 x C3 x C3 x C3) : (((C2 x C2 x C2) : C4) : C2) | 1 | details |
| 18 | 483 | (((C2 x C2 x ((C3 x C3 x C3) : (C2 x C2))) : C3) : C2) : C2 | 1 | details |
| 18 | 484 | ((C2 x C2 x S3 x S3 x S3) : C3) : C2 | 1 | details |
| 18 | 485 | C2 x (((C2 x C2 x ((C3 x C3 x C3) : (C2 x C2))) : C3) : C2) | 1 | details |
| 18 | 486 | (((C2 x C2 x ((C3 x C3 x C3) : (C2 x C2))) : C3) : C2) : C2 | 1 | details |
| 18 | 487 | C2 x (((C2 x C2 x ((C3 x C3 x C3) : (C2 x C2))) : C3) : C2) | 1 | details |
| 18 | 488 | (((C2 x C2 x ((C3 x C3 x C3) : (C2 x C2))) : C3) : C2) : C2 | 1 | details |
| 18 | 489 | ((((C3 x C3 x C3) : (C2 x C2)) : C9) : C3) : C2 | 1 | details |
| 18 | 490 | (C3 x C3 x S3 x S3 x S3) : C3 | 1 | details |
| 18 | 491 | ((C9 : C3) x (C9 : C3)) : D4 | 1 | details |
| 18 | 492 | (((C3 x C3) : C3) x ((C3 x C3) : C3)) : D4 | 1 | details |
| 18 | 493 | (((C3 x C3) : C3) x ((C3 x C3) : C3)) : D4 | 1 | details |
| 18 | 494 | ((C3 x ((C3 x C3 x C3) : C3)) : C3) : (C2 x C2 x C2) | 1 | details |
| 18 | 495 | (((C3 x C3) : C3) x ((C3 x C3) : C3)) : (C2 x C2 x C2) | 1 | details |
| 18 | 496 | (((C3 x C3) : C3) x ((C3 x C3) : C3)) : (C4 x C2) | 1 | details |
| 18 | 497 | (((C3 x C3) : C3) x ((C3 x C3) : C3)) : (C4 x C2) | 1 | details |
| 18 | 498 | (((C3 x C3) : C3) x ((C3 x C3) : C3)) : (C4 x C2) | 1 | details |
| 18 | 499 | ((((C3 x C3 x C3) : (C2 x C2)) : C9) : C2) : C3 | 1 | details |
| 18 | 500 | ((C3 x (((C3 x C3 x C3) : (C2 x C2)) : C3)) : C2) : C3 | 1 | details |
| 18 | 501 | ((C3 x (((C3 x C3 x C3) : (C2 x C2)) : C3)) : C3) : C2 | 1 | details |
| 18 | 502 | ((C3 x C3 x C3 x C3 x C3) : (C2 x C2 x C2)) : C3 | 1 | details |
| 18 | 503 | (((C3 x C3 x C3) : (C2 x C2)) x ((C3 x C3) : C2)) : C3 | 1 | details |
| 18 | 504 | ((((C3 x C3 x C3) : (C2 x C2)) : C9) : C2) : C3 | 1 | details |
| 18 | 505 | ((C3 x C3 x ((C3 x C3) : C3)) : C3) : D4 | 1 | details |
| 18 | 506 | (((C3 x C3) : C3) x ((C3 x C3) : C3)) : D4 | 1 | details |
| 18 | 507 | (((C3 x C3) : C3) x ((C3 x C3) : C3)) : D4 | 1 | details |
| 18 | 508 | (((C3 x C3) : C3) x ((C3 x C3) : C3)) : D4 | 1 | details |
| 18 | 509 | (((C3 x C3) : C3) x ((C3 x C3) : C3)) : D4 | 1 | details |
| 18 | 510 | ((C3 x (((C3 x C3 x C3) : (C2 x C2)) : C3)) : C3) : C2 | 1 | details |
| 18 | 511 | ((C3 x (((C3 x C3 x C3) : (C2 x C2)) : C3)) : C3) : C2 | 1 | details |
| 18 | 512 | C2 x (((C2 x C2 x C2 x C2 x C2 x C2) : (C9 : C3)) : C2) | 1 | details |
| 18 | 513 | C2 x (((C2 x C2 x C2 x C2 x C2 x C2) : ((C3 x C3) : C3)) : C2) | 1 | details |
| 18 | 514 | C2 x (((C2 x C2 x C2 x C2 x C2 x C2) : ((C3 x C3) : C3)) : C2) | 1 | details |
| 18 | 515 | (C2 x C2 x C2 x C2 x C2 x C2 x C2 x C2) : (C9 : C3) | 1 | details |
| 18 | 516 | (C2 x C2 x C2 x C2 x C2 x C2 x C2 x C2) : ((C3 x C3) : C3) | 1 | details |
| 18 | 517 | ((((C2 x C2 x C2 x C2 x C2 x C2) : (C3 x C3)) : C2) : C3) : C2 | 1 | details |
| 18 | 518 | (((C2 x C2 x C2 x C2 x C2 x C2) : ((C3 x C3) : C3)) : C2) : C2 | 1 | details |
| 18 | 519 | ((((C2 x C2 x C2 x C2 x C2 x C2) : (C3 x C3)) : C2) : C3) : C2 | 1 | details |
| 18 | 520 | ((((C2 x C2 x C2 x C2 x C2 x C2) : (C3 x C3)) : C2) : C3) : C2 | 1 | details |
| 18 | 521 | C2 x (((C2 x C2 x C2 x C2 x C2 x C2) : ((C3 x C3) : C3)) : C2) | 1 | details |
| 18 | 522 | (((C3 x C3 x C3 x C3) : ((C4 x C2) : C2)) : C3) : C2 | 1 | details |
| 18 | 523 | (((((C3 x C3 x C3) : (C2 x C2)) : C3) : C2) : C2) x S3 | 1 | details |
| 18 | 524 | ((((C3 x C3 x C3 x C3) : Q8) : C3) : C2) : C2 | 1 | details |
| 18 | 525 | (((C3 x C3 x C3 x C3) : (C2 x Q8)) : C3) : C2 | 1 | details |
| 18 | 526 | ((((C3 x C3 x C3 x C3) : Q8) : C3) : C2) : C2 | 1 | details |
| 18 | 527 | ((((C3 x C3 x C3 x C3) : Q8) : C3) : C2) : C2 | 1 | details |
| 18 | 528 | ((((C3 x C3 x C3 x C3) : Q8) : C3) : C2) : C2 | 1 | details |
| 18 | 529 | ((C3 x C3 x C3 x C3 x C3 x C3) : C3) : (C2 x C2) | 1 | details |
| 18 | 530 | (((C3 x ((C3 x C3 x C3) : C3)) : C3) : C3) : C4 | 1 | details |
| 18 | 531 | ((C3 x C3 x ((C3 x C3 x C3) : C3)) : C3) : (C2 x C2) | 1 | details |
| 18 | 532 | (((C3 x ((C3 x C3 x C3) : C3)) : C3) : C3) : (C2 x C2) | 1 | details |
| 18 | 533 | ((C3 x C3 x ((C3 x C3 x C3) : C3)) : C3) : C4 | 1 | details |
| 18 | 534 | ((((C3 x (C9 : C3)) : C3) : C3) : C3) : (C2 x C2) | 1 | details |
| 18 | 535 | (C3 x C3 x C3 x ((C3 x C3 x C3) : (C2 x C2))) : C3 | 1 | details |
| 18 | 536 | ((C3 x C3 x ((C3 x C3 x C3) : C3)) : C3) : (C2 x C2) | 1 | details |
| 18 | 537 | ((C3 x C3 x ((C3 x C3 x C3) : C3)) : C3) : C4 | 1 | details |
| 18 | 538 | (((((C9 x C3) : C3) : C3) : C3) : C3) : C4 | 1 | details |
| 18 | 539 | ((C3 x C3 x C3 x C3 x C3 x C3) : C3) : (C2 x C2) | 1 | details |
| 18 | 540 | (((C3 x ((C3 x C3 x C3) : C3)) : C3) : C3) : (C2 x C2) | 1 | details |
| 18 | 541 | (((C3 x ((C3 x C3 x C3) : C3)) : C3) : C3) : (C2 x C2) | 1 | details |
| 18 | 542 | (((((C9 x C3) : C3) : C3) : C3) : C3) : (C2 x C2) | 1 | details |
| 18 | 543 | ((C3 x C3 x C3 x C3 x C3 x C3) : (C2 x C2)) : C3 | ??? | details |
| 18 | 544 | C2 x (((C2 x C2 x C2 x C2 x C2 x C2 x C2 x C2) : (C3 x C3)) : C2) | 1 | details |
| 18 | 545 | ((C2 x C2 x (((C2 x C2 x C2 x C2 x C2 x C2) : C3) : C2)) : C3) : C2 | 1 | details |
| 18 | 546 | ((C2 x C2 x (((C2 x C2 x C2 x C2 x C2 x C2) : C3) : C2)) : C3) : C2 | 1 | details |
| 18 | 547 | ((C2 x C2 x C2 x C2 x C2 x C2 x C2 x C2) : (C3 x C3)) : C4 | 1 | details |
| 18 | 548 | C2 x (((C2 x C2 x C2 x C2 x C2 x C2 x C2 x C2) : C9) : C2) | 1 | details |
| 18 | 549 | ((C2 x C2 x C2 x C2 x C2 x C2 x C2 x C2) : (C3 x C3)) : C4 | 1 | details |
| 18 | 550 | (((C2 x C2 x C2 x C2 x C2 x C2 x C2 x C2) : (C3 x C3)) : C2) : C2 | 1 | details |
| 18 | 551 | C2 x (((C2 x C2 x C2 x C2 x C2 x C2 x C2 x C2) : (C3 x C3)) : C2) | 1 | details |
| 18 | 552 | C2 x ((C2 x C2 x C2 x C2 x C2 x C2) : ((C3 x C3 x C3) : C3)) | 1 | details |
| 18 | 553 | (C3 x C3 x C3 x C3) : ((C8 x C8) : C2) | 1 | details |
| 18 | 554 | (C3 x C3 x C3 x C3) : ((((C4 x C4) : C2) : C2) : C2) | 1 | details |
| 18 | 555 | (C3 x C3 x C3 x C3) : ((((C2 x C2 x C2) : C4) : C2) : C2) | 1 | details |
| 18 | 556 | C2 x ((((C2 x C2 x ((C3 x C3 x C3) : (C2 x C2))) : C3) : C2) : C2) | 1 | details |
| 18 | 557 | (C3 x C3 x C3 x C3) : ((C2 . ((C2 x C2 x C2) : C4) = (C4 x C2) . (C4 x C2)) : C2) | 1 | details |
| 18 | 558 | (C3 x C3 x C3 x C3) : (((C4 : C8) : C2) : C2) | 1 | details |
| 18 | 559 | (C3 x C3 x C3 x C3) : ((C8 . D4 = C4 . (C8 x C2)) : C2) | 1 | details |
| 18 | 560 | (C3 x C3 x C3 x C3) : ((C2 . ((C2 x C2 x C2) : C4) = (C4 x C2) . (C4 x C2)) : C2) | 1 | details |
| 18 | 561 | (C3 x C3 x C3 x C3) : ((C8 . D4 = C4 . (C8 x C2)) : C2) | 1 | details |
| 18 | 562 | (C3 x C3 x C3 x C3) : ((C8 x C4) : C4) | 1 | details |
| 18 | 563 | (C3 x C3 x C3 x C3) : (((C2 x C2) . ((C4 x C2) : C2) = (C4 x C2) . (C4 x C2)) : C2) | 1 | details |
| 18 | 564 | (((C2 x C2 x C2 x C2 x C2 x C2) : ((C3 x C3) : C3)) : C2) : C3 | 1 | details |
| 18 | 565 | ((A4 x A4 x A4) : C2) : C3 | 1 | details |
| 18 | 566 | ((C2 x C2 x C2 x C2 x C2 x C2) : ((C3 x C3 x C3) : C3)) : C2 | 2.0 | details |
| 18 | 567 | ((A4 x A4 x A4) : C2) : C3 | 1 | details |
| 18 | 568 | ((C2 x C2 x C2 x C2 x C2 x C2) : ((C3 x C3 x C3) : C3)) : C2 | 1 | details |
| 18 | 569 | ((C2 x C2 x C2 x C2 x C2 x C2) : ((C3 x C3 x C3) : C3)) : C2 | 1 | details |
| 18 | 570 | (((((C3 x C3 x C3) : (C2 x C2)) : C9) : C2) : C2) : C3 | 1 | details |
| 18 | 571 | (((C3 x C3 x ((C3 x C3 x C3) : (C2 x C2))) : C3) : C2) : C2 | 1 | details |
| 18 | 572 | (((C3 x (((C3 x C3 x C3) : (C2 x C2)) : C3)) : C2) : C3) : C2 | 1 | details |
| 18 | 573 | (((C3 x C3) : C3) x ((C3 x C3) : C3)) : (C2 x D4) | 1 | details |
| 18 | 574 | (((C3 x C3) : C3) x ((C3 x C3) : C3)) : (C2 x D4) | 1 | details |
| 18 | 575 | (((C3 x C3) : C3) x ((C3 x C3) : C3)) : ((C4 x C2) : C2) | 1 | details |
| 18 | 576 | (((C3 x C3) : C3) x ((C3 x C3) : C3)) : ((C4 x C2) : C2) | 1 | details |
| 18 | 577 | (((C3 x C3) : C3) x ((C3 x C3) : C3)) : (C2 x D4) | 1 | details |
| 18 | 578 | (((C3 x C3) : C3) x ((C3 x C3) : C3)) : ((C4 x C2) : C2) | 1 | details |
| 18 | 579 | (((C3 x (((C3 x C3 x C3) : (C2 x C2)) : C3)) : C2) : C3) : C2 | 1 | details |
| 18 | 580 | (((C3 x C3 x C3 x C3 x C3) : (C2 x C2 x C2)) : C3) : C2 | 1 | details |
| 18 | 581 | (((C3 x (((C3 x C3 x C3) : (C2 x C2)) : C3)) : C3) : C2) : C2 | 1 | details |
| 18 | 582 | (((C3 x (((C3 x C3 x C3) : (C2 x C2)) : C3)) : C2) : C3) : C2 | 1 | details |
| 18 | 583 | (((C3 x C3 x ((C3 x C3 x C3) : (C2 x C2))) : C3) : C2) : C2 | 1 | details |
| 18 | 584 | (((C3 x C3 x C3) : C3) x ((C3 x C3 x C3) : C3)) : C2 | 1 | details |
| 18 | 585 | C2 x ((C2 x C2 x C2 x C2 x C2 x C2 x C2 x C2) : ((C3 x C3) : C3)) | 1 | details |
| 18 | 586 | C2 x ((C2 x C2 x C2 x C2 x C2 x C2 x C2 x C2) : (C9 : C3)) | 1 | details |
| 18 | 587 | C2 x ((((C2 x C2 x C2 x C2 x C2 x C2) : ((C3 x C3) : C3)) : C2) : C2) | 1 | details |
| 18 | 588 | (((C2 x C2 x C2 x C2 x C2 x C2 x C2 x C2) : C9) : C2) : C3 | 1 | details |
| 18 | 589 | (C2 x C2 x (((C2 x C2 x C2 x C2 x C2 x C2) : (C3 x C3)) : C2)) : C3 | 1 | details |
| 18 | 590 | (((C2 x C2 x C2 x C2 x C2 x C2 x C2 x C2) : (C3 x C3)) : C2) : C3 | 1 | details |
| 18 | 591 | ((C2 x C2 x C2 x C2 x C2 x C2 x C2 x C2) : ((C3 x C3) : C3)) : C2 | 1 | details |
| 18 | 592 | (((C2 x C2 x C2 x C2 x C2 x C2 x C2 x C2) : C9) : C2) : C3 | 1 | details |
| 18 | 593 | (((C2 x C2 x C2 x C2 x C2 x C2 x C2 x C2) : (C3 x C3)) : C2) : C3 | 1 | details |
| 18 | 594 | ((C2 x C2 x C2 x C2 x C2 x C2 x C2 x C2) : ((C3 x C3) : C3)) : C2 | 1 | details |
| 18 | 595 | ((C2 x C2 x C2 x C2 x C2 x C2 x C2 x C2) : ((C3 x C3) : C3)) : C2 | 1 | details |
| 18 | 596 | (C3 x C3 x C3 x C3 x C3) : A5 | 1 | details |
| 18 | 597 | (((((C3 x C3 x C3 x C3) : Q8) : C3) : C2) : C2) : C2 | 1 | details |
| 18 | 598 | (C3 x C3 x C3 x S3 x S3 x S3) : C3 | 1 | details |
| 18 | 599 | (((C3 x ((C3 x C3 x C3) : C3)) : C3) : C3) : D4 | 1 | details |
| 18 | 600 | (((C3 x ((C3 x C3 x C3) : C3)) : C3) : C3) : D4 | 1 | details |
| 18 | 601 | (((C3 x ((C3 x C3 x C3) : C3)) : C3) : C3) : (C2 x C2 x C2) | 1 | details |
| 18 | 602 | (((((C9 x C3) : C3) : C3) : C3) : C3) : (C4 x C2) | 1 | details |
| 18 | 603 | ((((C3 x C3) : C3) x ((C3 x C3) : C3)) : C3) : (C2 x C2 x C2) | 1 | details |
| 18 | 604 | (((C3 x ((C3 x C3 x C3) : C3)) : C3) : C3) : (C4 x C2) | 1 | details |
| 18 | 605 | (((C3 x C3 x ((C3 x C3 x C3) : (C2 x C2))) : C3) : C2) : C3 | 1 | details |
| 18 | 606 | ((C3 x C3 x C3 x C3 x C3 x C3) : (C2 x C2 x C2)) : C3 | 1 | details |
| 18 | 607 | (((C3 x C3) : C2) x ((C3 x C3) : C2) x ((C3 x C3) : C2)) : C3 | ??? | details |
| 18 | 608 | (((C3 x C3 x C3) : (C2 x C2)) x ((C3 x C3 x C3) : C2)) : C3 | 1 | details |
| 18 | 609 | ((C3 x C3 x C3 x C3 x C3 x C3) : (C2 x C2 x C2)) : C3 | 1 | details |
| 18 | 610 | (((C3 x C3 x ((C3 x C3 x C3) : (C2 x C2))) : C3) : C2) : C3 | 1 | details |
| 18 | 611 | ((C3 x C3 x C3 x C3 x C3 x C3) : (C2 x C2 x C2)) : C3 | 1 | details |
| 18 | 612 | (((C3 x ((C3 x C3 x C3) : C3)) : C3) : C3) : D4 | 1 | details |
| 18 | 613 | ((C3 x C3 x ((C3 x C3 x C3) : C3)) : C3) : D4 | 1 | details |
| 18 | 614 | ((C3 x C3 x ((C3 x C3 x C3) : C3)) : C3) : D4 | 1 | details |
| 18 | 615 | (((C3 x ((C3 x C3 x C3) : C3)) : C3) : C3) : D4 | 1 | details |
| 18 | 616 | (((((C9 x C3) : C3) : C3) : C3) : C3) : D4 | 1 | details |
| 18 | 617 | (((C3 x ((C3 x C3 x C3) : C3)) : C3) : C3) : D4 | 1 | details |
| 18 | 618 | (((C3 x (((C3 x C3 x C3) : (C2 x C2)) : C3)) : C3) : C3) : C2 | 1 | details |
| 18 | 619 | (((C3 x C3 x C3 x C3 x C3 x C3) : (C2 x C2)) : C3) : C2 | 1 | details |
| 18 | 620 | ((C3 x C3 x C3 x ((C3 x C3 x C3) : (C2 x C2))) : C3) : C2 | 1 | details |
| 18 | 621 | (((C3 x C3 x C3 x C3 x C3 x C3) : (C2 x C2)) : C3) : C2 | 1 | details |
| 18 | 622 | ((C2 x C2 x C2 x C2 x C2 x C2 x C2 x C2) : (C3 x C3)) : C8 | 1 | details |
| 18 | 623 | C2 x (((C2 x C2 x (((C2 x C2 x C2 x C2 x C2 x C2) : C3) : C2)) : C3) : C2) | 1 | details |
| 18 | 624 | ((C2 x C2 x C2 x C2 x C2 x C2 x C2 x C2) : (C3 x C3)) : C8 | 1 | details |
| 18 | 625 | C2 x (((C2 x C2 x C2 x C2 x C2 x C2 x C2 x C2) : (C3 x C3)) : C4) | 1 | details |
| 18 | 626 | ((((C2 x C2 x C2 x C2 x C2 x C2 x C2 x C2) : (C3 x C3)) : C2) : C2) : C2 | 1 | details |
| 18 | 627 | ((((C2 x C2 x C2 x C2 x C2 x C2 x C2 x C2) : (C3 x C3)) : C2) : C2) : C2 | 1 | details |
| 18 | 628 | ((C2 x C2 x C2 x C2 x C2 x C2 x C2 x C2) : (C3 x C3)) : Q8 | 1 | details |
| 18 | 629 | ((C2 x C2 x C2 x C2 x C2 x C2 x C2 x C2) : (C3 x C3)) : Q8 | 1 | details |
| 18 | 630 | (((C2 x C2 x (((C2 x C2 x C2 x C2 x C2 x C2) : C3) : C2)) : C3) : C2) : C2 | 1 | details |
| 18 | 631 | C2 x (((C2 x C2 x C2 x C2 x C2 x C2) : ((C3 x C3 x C3) : C3)) : C2) | 1 | details |
| 18 | 632 | C2 x (((C2 x C2 x C2 x C2 x C2 x C2) : ((C3 x C3 x C3) : C3)) : C2) | 1 | details |
| 18 | 633 | (C2 x C2 x C2 x C2 x C2 x C2 x C2 x C2) : ((C3 x C3 x C3) : C3) | 1 | details |
| 18 | 634 | (C3 x C3 x C3 x C3) : ((C8 x C8) : C4) | 1 | details |
| 18 | 635 | (C3 x C3 x C3 x C3) : (((Q8 x Q8) : C2) : C2) | 1 | details |
| 18 | 636 | (C3 x C3 x C3 x C3) : (((C8 x C8) : C2) : C2) | 1 | details |
| 18 | 637 | (C3 x C3 x C3 x C3) : (((C2 x C2) . ((C4 x C2) : C2) = (C4 x C2) . (C4 x C2)) : C4) | 1 | details |
| 18 | 638 | (C3 x C3 x C3 x C3) : ((((C4 . D4 = C4 . (C4 x C2)) : C2) : C2) : C2) | 1 | details |
| 18 | 639 | (C3 x C3 x C3 x C3) : (((C2 . ((C2 x C2 x C2) : C4) = (C4 x C2) . (C4 x C2)) : C2) : C2) | 1 | details |
| 18 | 640 | ((((C2 x C2 x C2 x C2 x C2 x C2) : ((C3 x C3) : C3)) : C2) : C3) : C2 | 1 | details |
| 18 | 641 | (((A4 x A4 x A4) : C2) : C3) : C2 | 1 | details |
| 18 | 642 | (((A4 x A4 x A4) : C2) : C3) : C2 | 1 | details |
| 18 | 643 | (((C2 x C2 x C2 x C2 x C2 x C2) : ((C3 x C3 x C3) : C3)) : C2) : C2 | 1 | details |
| 18 | 644 | C2 x (((C2 x C2 x C2 x C2 x C2 x C2) : ((C3 x C3 x C3) : C3)) : C2) | 1 | details |
| 18 | 645 | ((A4 x ((A4 x A4) : C2)) : C2) : C3 | 1 | details |
| 18 | 646 | ((A4 x ((A4 x A4) : C2)) : C2) : C3 | 1 | details |
| 18 | 647 | ((A4 x ((A4 x A4) : C2)) : C2) : C3 | 1 | details |
| 18 | 648 | (((C3 x C3) : C3) x ((C3 x C3) : C3)) : ((C2 x C2 x C2 x C2) : C2) | 1 | details |
| 18 | 649 | ((S3 x S3 x ((C3 x C3) : C2) x S3) : C3) : C2 | 1 | details |
| 18 | 650 | (((C3 x C3 x C3) : C3) x ((C3 x C3 x C3) : C3)) : (C2 x C2) | 1 | details |
| 18 | 651 | (((C3 x C3 x C3) : C3) x ((C3 x C3 x C3) : C3)) : C4 | 1 | details |
| 18 | 652 | (((C3 x C3 x C3) : C3) x ((C3 x C3 x C3) : C3)) : C4 | 1 | details |
| 18 | 653 | (((C3 x C3 x C3) : C3) x ((C3 x C3 x C3) : C3)) : (C2 x C2) | 1 | details |
| 18 | 654 | (((C3 x C3 x C3) : C3) x ((C3 x C3 x C3) : C3)) : (C2 x C2) | 1 | details |
| 18 | 655 | (((C3 x C3 x C3) : C3) x ((C3 x C3 x C3) : C3)) : C4 | 1 | details |
| 18 | 656 | C2 x (((C2 x C2 x C2 x C2 x C2 x C2 x C2 x C2) : (C9 : C3)) : C2) | 1 | details |
| 18 | 657 | C2 x (((C2 x C2 x C2 x C2 x C2 x C2 x C2 x C2) : ((C3 x C3) : C3)) : C2) | 1 | details |
| 18 | 658 | C2 x (((C2 x C2 x C2 x C2 x C2 x C2 x C2 x C2) : ((C3 x C3) : C3)) : C2) | 1 | details |
| 18 | 659 | (((C2 x C2 x C2 x C2 x C2 x C2 x C2 x C2) : ((C3 x C3) : C3)) : C2) : C2 | 1 | details |
| 18 | 660 | (((C2 x C2 x C2 x C2 x C2 x C2 x C2 x C2) : ((C3 x C3) : C3)) : C2) : C2 | 1 | details |
| 18 | 661 | (((C2 x C2 x C2 x C2 x C2 x C2 x C2 x C2) : ((C3 x C3) : C3)) : C2) : C2 | 1 | details |
| 18 | 662 | C2 x (((C2 x C2 x C2 x C2 x C2 x C2 x C2 x C2) : ((C3 x C3) : C3)) : C2) | 1 | details |
| 18 | 663 | (((C2 x C2 x C2 x C2 x C2 x C2 x C2 x C2) : ((C3 x C3) : C3)) : C2) : C2 | 1 | details |
| 18 | 664 | (C3 x C3 x C3 x C3 x C3) : S5 | 1 | details |
| 18 | 665 | (C3 x C3 x C3 x C3 x C3) : (C2 x A5) | 1 | details |
| 18 | 666 | (C3 x C3 x C3 x C3 x C3) : S5 | 1 | details |
| 18 | 667 | ((C3 x C3 x C3 x C3) : ((C2 . ((C2 x C2 x C2) : C4) = (C4 x C2) . (C4 x C2)) : C2)) : C3 | 1 | details |
| 18 | 668 | ((((C3 x C3) : Q8) x ((C3 x C3) : Q8)) : C3) : C2 | 1 | details |
| 18 | 669 | (((C3 x C3 x C3 x C3 x C3 x C3) : (C2 x C2 x C2)) : C3) : C2 | 1 | details |
| 18 | 670 | ((C3 x C3 x C3 x C3 x C3 x C3) : (C2 x C2 x C2 x C2)) : C3 | 1 | details |
| 18 | 671 | ((C3 x C3 x C3 x C3 x C3 x C3) : (C4 x C2 x C2)) : C3 | 1 | details |
| 18 | 672 | ((C3 x C3 x C3 x S3 x S3 x S3) : C3) : C2 | 1 | details |
| 18 | 673 | ((((C3 x C3 x C3) : (C2 x C2)) x ((C3 x C3 x C3) : C2)) : C3) : C2 | 1 | details |
| 18 | 674 | (((C3 x ((C3 x C3 x C3) : C3)) : C3) : C3) : (C2 x D4) | 1 | details |
| 18 | 675 | (((C3 x ((C3 x C3 x C3) : C3)) : C3) : C3) : (C2 x D4) | 1 | details |
| 18 | 676 | ((((C3 x C3 x C3 x C3 x C3 x C3) : (C2 x C2)) : C3) : C2) : C2 | 1 | details |
| 18 | 677 | ((((((C3 x C3 x C3) : (C2 x C2)) : C9) : C3) : C3) : C2) : C2 | 1 | details |
| 18 | 678 | ((((C3 x C3) : C2) x ((C3 x C3) : C2) x ((C3 x C3) : C2)) : C3) : C2 | 1 | details |
| 18 | 679 | ((((C3 x C3 x ((C3 x C3 x C3) : (C2 x C2))) : C3) : C2) : C3) : C2 | 1 | details |
| 18 | 680 | (((C3 x C3 x C3 x ((C3 x C3 x C3) : (C2 x C2))) : C3) : C2) : C2 | 1 | details |
| 18 | 681 | (((C3 x C3 x C3 x C3 x C3 x C3) : (C2 x C2)) : C3) : C4 | 1 | details |
| 18 | 682 | (((C3 x C3 x C3 x C3 x C3 x C3) : (C2 x C2)) : C3) : C4 | 1 | details |
| 18 | 683 | ((((C3 x C3 x C3 x C3 x C3 x C3) : (C2 x C2)) : C3) : C2) : C2 | 1 | details |
| 18 | 684 | ((((((C3 x C3 x C3) : (C2 x C2)) : C9) : C3) : C3) : C2) : C2 | 1 | details |
| 18 | 685 | ((((C3 x C3 x ((C3 x C3 x C3) : (C2 x C2))) : C3) : C2) : C3) : C2 | 1 | details |
| 18 | 686 | ((((C3 x C3 x C3 x C3 x C3 x C3) : (C2 x C2)) : C3) : C2) : C2 | 1 | details |
| 18 | 687 | (((C3 x C3 x C3) : (C2 x C2)) x ((C3 x C3 x C3) : (C2 x C2))) : C3 | 1 | details |
| 18 | 688 | ((C3 x C3 x C3 x C3 x C3 x C3) : (C4 x C4)) : C3 | 1 | details |
| 18 | 689 | C2 x (((C2 x C2 x C2 x C2 x C2 x C2 x C2 x C2) : (C3 x C3)) : C8) | 1 | details |
| 18 | 690 | C2 x (((C2 x C2 x C2 x C2 x C2 x C2 x C2 x C2) : (C3 x C3)) : Q8) | 1 | details |
| 18 | 691 | C2 x (((((C2 x C2 x C2 x C2 x C2 x C2 x C2 x C2) : (C3 x C3)) : C2) : C2) : C2) | 1 | details |
| 18 | 692 | (((C2 x C2 x C2 x C2 x C2 x C2 x C2 x C2) : (C3 x C3)) : C8) : C2 | 1 | details |
| 18 | 693 | (((C2 x C2 x C2 x C2 x C2 x C2 x C2 x C2) : (C3 x C3)) : C8) : C2 | 1 | details |
| 18 | 694 | (((C2 x C2 x C2 x C2 x C2 x C2 x C2 x C2) : (C3 x C3)) : C8) : C2 | 1 | details |
| 18 | 695 | (((C2 x C2 x C2 x C2 x C2 x C2 x C2 x C2) : (C3 x C3)) : C8) : C2 | 1 | details |
| 18 | 696 | C2 x ((C2 x C2 x C2 x C2 x C2 x C2 x C2 x C2) : ((C3 x C3 x C3) : C3)) | 1 | details |
| 18 | 697 | (C3 x C3 x C3 x C3) : (((C8 x C8) : C4) : C2) | 1 | details |
| 18 | 698 | C2 x (((((C2 x C2 x C2 x C2 x C2 x C2) : ((C3 x C3) : C3)) : C2) : C3) : C2) | 1 | details |
| 18 | 699 | C2 x (((A4 x ((A4 x A4) : C2)) : C2) : C3) | 1 | details |
| 18 | 700 | C2 x (((((A4 x A4) : C2) x A4) : C2) : C3) | 1 | details |
| 18 | 701 | ((C2 x C2 x C2 x C2 x C2 x C2 x C2 x C2) : ((C3 x C3 x C3) : C3)) : C2 | 1 | details |
| 18 | 702 | (((((A4 x A4) : C2) x A4) : C2) : C3) : C2 | 1 | details |
| 18 | 703 | (S4 x S4 x S4) : C3 | 1 | details |
| 18 | 704 | (((C2 x C2 x C2 x C2 x C2 x C2 x C2 x C2) : ((C3 x C3) : C3)) : C2) : C3 | 1 | details |
| 18 | 705 | C2 x (((((A4 x A4) : C2) x A4) : C2) : C3) | 1 | details |
| 18 | 706 | (((((A4 x A4) : C2) x A4) : C2) : C3) : C2 | 1 | details |
| 18 | 707 | (((((A4 x A4) : C2) x A4) : C2) : C3) : C2 | 1 | details |
| 18 | 708 | (S4 x S4 x S4) : C3 | 1 | details |
| 18 | 709 | (S4 x S4 x S4) : C3 | 1 | details |
| 18 | 710 | (C2 x C2 x ((A4 x A4 x A4) : C2)) : C3 | 1 | details |
| 18 | 711 | (((C2 x C2 x C2 x C2 x C2 x C2 x C2 x C2) : ((C3 x C3) : C3)) : C2) : C3 | 1 | details |
| 18 | 712 | (((((A4 x A4) : C2) x A4) : C2) : C3) : C2 | 1 | details |
| 18 | 713 | (((((A4 x A4) : C2) x A4) : C2) : C3) : C2 | 1 | details |
| 18 | 714 | (((A4 x ((A4 x A4) : C2)) : C2) : C3) : C2 | 1 | details |
| 18 | 715 | (((A4 x ((A4 x A4) : C2)) : C2) : C3) : C2 | 1 | details |
| 18 | 716 | (((((A4 x A4) : C2) x A4) : C2) : C3) : C2 | 1 | details |
| 18 | 717 | ((C2 x C2 x C2 x C2 x C2 x C2 x C2 x C2) : ((C3 x C3 x C3) : C3)) : C2 | 1 | details |
| 18 | 718 | (((((A4 x A4) : C2) x A4) : C2) : C3) : C2 | 1 | details |
| 18 | 719 | ((C2 x C2 x C2 x C2 x C2 x C2 x C2 x C2) : ((C3 x C3 x C3) : C3)) : C2 | 1 | details |
| 18 | 720 | (((((A4 x A4) : C2) x A4) : C2) : C3) : C2 | 1 | details |
| 18 | 721 | (((A4 x ((A4 x A4) : C2)) : C2) : C3) : C2 | 1 | details |
| 18 | 722 | ((C3 x C3 x C3 x C3 x C3) : A5) : C3 | 1 | details |
| 18 | 723 | (C3 x C3 x C3 x C3 x C3 x C3) : A5 | 1 | details |
| 18 | 724 | (((C3 x C3 x C3) : C3) x ((C3 x C3 x C3) : C3)) : D4 | 1 | details |
| 18 | 725 | (((C3 x C3 x C3) : C3) x ((C3 x C3 x C3) : C3)) : D4 | 1 | details |
| 18 | 726 | (((C3 x C3 x C3) : C3) x ((C3 x C3 x C3) : C3)) : (C2 x C2 x C2) | 1 | details |
| 18 | 727 | (((C3 x C3 x C3) : C3) x ((C3 x C3 x C3) : C3)) : (C4 x C2) | 1 | details |
| 18 | 728 | (((C3 x C3 x C3) : C3) x ((C3 x C3 x C3) : C3)) : (C4 x C2) | 1 | details |
| 18 | 729 | (((C3 x C3 x C3) : C3) x ((C3 x C3 x C3) : C3)) : (C4 x C2) | 1 | details |
| 18 | 730 | (((C3 x C3 x C3) : C3) x ((C3 x C3 x C3) : C3)) : D4 | 1 | details |
| 18 | 731 | (((C3 x C3 x C3) : C3) x ((C3 x C3 x C3) : C3)) : D4 | 1 | details |
| 18 | 732 | (((C3 x C3 x C3) : C3) x ((C3 x C3 x C3) : C3)) : D4 | 1 | details |
| 18 | 733 | (((C3 x C3 x C3) : C3) x ((C3 x C3 x C3) : C3)) : D4 | 1 | details |
| 18 | 734 | C2 x ((((C2 x C2 x C2 x C2 x C2 x C2 x C2 x C2) : ((C3 x C3) : C3)) : C2) : C2) | 1 | details |
| 18 | 735 | (((C2 x C2 x C2 x C2 x C2 x C2 x C2 x C2) : (C3 x C3)) : Q8) : C3 | 1 | details |
| 18 | 736 | (C3 x C3 x C3 x C3 x C3) : (C2 x S5) | 1 | details |
| 18 | 737 | (((((C3 x C3) : Q8) x ((C3 x C3) : Q8)) : C3) : C2) : C2 | 1 | details |
| 18 | 738 | ((C3 x C3 x C3 x C3 x C3 x C3) : (C2 x C2 x D4)) : C3 | 1 | details |
| 18 | 739 | (((C3 x C3 x C3 x C3 x C3 x C3) : (C2 x C2 x C2 x C2)) : C3) : C2 | 1 | details |
| 18 | 740 | ((((C3 x C3 x C3 x ((C3 x C3 x C3) : (C2 x C2))) : C3) : C2) : C2) : C2 | 1 | details |
| 18 | 741 | (((C3 x C3 x C3 x C3 x C3 x C3) : (C4 x C2 x C2)) : C3) : C2 | 1 | details |
| 18 | 742 | (S3 x ((C3 x C3 x C3) : (C2 x C2)) x S3 x S3) : C3 | 1 | details |
| 18 | 743 | ((((C3 x C3 x C3) : (C2 x C2)) x ((C3 x C3 x C3) : (C2 x C2))) : C3) : C2 | 1 | details |
| 18 | 744 | ((C3 x C3 x C3 x C3 x C3 x C3) : ((C4 x C4) : C2)) : C3 | 1 | details |
| 18 | 745 | ((C3 x C3 x C3 x C3 x C3 x C3) : ((C2 x C2 x C2 x C2) : C2)) : C3 | 1 | details |
| 18 | 746 | (((C3 x C3 x C3 x C3 x C3 x C3) : (C4 x C4)) : C3) : C2 | 1 | details |
| 18 | 747 | ((C3 x C3 x C3 x C3 x C3 x C3) : ((C4 x C4) : C2)) : C3 | 1 | details |
| 18 | 748 | ((C3 x C3 x C3 x C3 x C3 x C3) : ((C2 x C2 x C2 x C2) : C2)) : C3 | 1 | details |
| 18 | 749 | (((((C3 x C3 x C3 x C3 x C3 x C3) : (C2 x C2)) : C3) : C2) : C2) : C2 | 1 | details |
| 18 | 750 | (((((C3 x C3 x C3 x C3 x C3 x C3) : (C2 x C2)) : C3) : C2) : C2) : C2 | 1 | details |
| 18 | 751 | (((((C3 x C3 x C3 x C3 x C3 x C3) : (C2 x C2)) : C3) : C2) : C2) : C2 | 1 | details |
| 18 | 752 | ((((C3 x C3 x C3 x C3 x C3 x C3) : (C2 x C2 x C2)) : C3) : C2) : C2 | 1 | details |
| 18 | 753 | ((C3 x C3 x C3 x C3 x C3 x C3) : ((C4 x C2) : C4)) : C3 | ??? | details |
| 18 | 754 | ((((C3 x C3 x C3) : (C2 x C2)) x ((C3 x C3 x C3) : (C2 x C2))) : C3) : C2 | 1 | details |
| 18 | 755 | ((((C3 x C3 x C3) : (C2 x C2)) x ((C3 x C3 x C3) : (C2 x C2))) : C3) : C2 | 1 | details |
| 18 | 756 | (((C3 x C3 x C3 x C3 x C3 x C3) : (C4 x C4)) : C3) : C2 | 1 | details |
| 18 | 757 | ((((C3 x C3 x C3) : (C2 x C2)) x ((C3 x C3 x C3) : (C2 x C2))) : C3) : C2 | 1 | details |
| 18 | 758 | (((C3 x C3 x C3 x C3 x C3 x C3) : (C4 x C4)) : C3) : C2 | 1 | details |
| 18 | 759 | ((((C3 x C3 x C3) : (C2 x C2)) x ((C3 x C3 x C3) : (C2 x C2))) : C3) : C2 | 1 | details |
| 18 | 760 | (((C3 x C3 x C3 x C3 x C3 x C3) : (C4 x C4)) : C3) : C2 | 1 | details |
| 18 | 761 | ((((C3 x C3 x C3) : (C2 x C2)) x ((C3 x C3 x C3) : (C2 x C2))) : C3) : C2 | 1 | details |
| 18 | 762 | (((C3 x C3 x C3 x C3 x C3 x C3) : (C4 x C4)) : C3) : C2 | 1 | details |
| 18 | 763 | C2 x ((((C2 x C2 x C2 x C2 x C2 x C2 x C2 x C2) : (C3 x C3)) : Q8) : C2) | 1 | details |
| 18 | 764 | C2 x (((C2 x C2 x C2 x C2 x C2 x C2 x C2 x C2) : ((C3 x C3 x C3) : C3)) : C2) | 1 | details |
| 18 | 765 | C2 x ((((A4 x ((A4 x A4) : C2)) : C2) : C3) : C2) | 1 | details |
| 18 | 766 | C2 x (((C2 x C2 x C2 x C2 x C2 x C2 x C2 x C2) : ((C3 x C3 x C3) : C3)) : C2) | 1 | details |
| 18 | 767 | C2 x ((((((A4 x A4) : C2) x A4) : C2) : C3) : C2) | 1 | details |