1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307 308 309 310 311 312 313 314 315 316 317 318 319 320 321 322 323 324 325 326 327 328 329 330 331 332 333 334 335 336 337 338 339 340 341 342 343 344 345 346 347 348 349 350 351 352 353 354 355 356 357 358 359 360 361 362 363 364 365 366 367 368 369 370 371 372 373 374 375 376 377 378 379 380 381 382 383 384 385 386 387 388 389 390 391 392 393 394 395 396 397 398 399 400 401 402 403 404 405 406 407 408 409 410 411 412 413 414 415 416 417 418 419 420 421 422 423 424 425 426 427 428 429 430 431 432 433 434 435 436 437 438 439 440 441 442 443 444 445 446 447 448 449 450 451 452 453 454 455 456 457 458 459 460 461 462 463 464 465 466 467 468 469 470 471 472 473 474 475 476 477 478 479 480 481 482 483 484 485 486 487 488 489 490 491 492 493 494 495
|
#############################################################################
##
#W ctbline6.tbl GAP table library Thomas Breuer
##
#Y Copyright (C) 2000, Lehrstuhl D fuer Mathematik, RWTH Aachen, Germany
##
## This file contains the Brauer character tables related to the
## linear group $L_4(4)$
## (see file 'ctoline6.tbl') modulo all prime divisors of the group order.
##
#H ctbllib history
#H ---------------
#H $Log: ctbline6.tbl,v $
#H Revision 4.4 2011/09/28 12:12:37 gap
#H removed Revision entries and SET_TABLEFILENAME calls
#H TB
#H
#H Revision 4.3 2009/01/23 09:23:25 gap
#H added the 2-modular table of L4(4) (contributed by Frank L"ubeck)
#H and of its automorphic extensions
#H TB
#H
#H Revision 4.2 2004/08/31 11:51:19 gap
#H added 3.A6.2^2 mod 2, 5,
#H A6.2^2 mod 2, 5,
#H L2(25).2^2 mod 2, 3, 5, 13,
#H L2(49).2^2 mod 2, 3, 5,
#H L2(81).2^2 mod 2, 5, 41,
#H L2(81).(2x4) mod 2,
#H 3.L3(4).2^2 mod 2, 5, 7,
#H 3.L3(4).3.2_2 mod 2, 5, 7,
#H L3(4).2^2 mod 2, 3, 5, 7,
#H L3(4).3.2_2 mod 3, 5, 7,
#H L3(4).3.2_3 mod 3, 5, 7,
#H L3(4).D12 mod 2, 3, 5, 7,
#H L3(9).2^2 mod 2, 3, 5, 7, 13,
#H O8+(2).3.2 mod 3, 5, 7,
#H O8+(3).3.2 mod 5, 7, 13,
#H O8+(3).(2^2)_{111} mod 2, 5, 7, 13,
#H O8+(3).(2^2)_{122} mod 2, 5, 7, 13,
#H O8+(3).D8 mod 2, 5, 7, 13,
#H O8+(3).A4 mod 2, 5, 7, 13,
#H O8+(3).S4 mod 13,
#H 3_1.U4(3).2_2' mod 2, 5, 7,
#H 3_2.U4(3).2_3' mod 2, 5, 7,
#H 3_2.U4(3).(2^2)_{133} mod 2, 5, 7,
#H 6_2.U4(3).2_3' mod 5, 7,
#H U4(3).(2^2)_{122} mod 2, 3, 5, 7,
#H U4(3).(2^2)_{133} mod 2, 3, 5, 7,
#H U4(3).D8 mod 2, 3, 5, 7,
#H U6(2).3.2 mod 3, 5, 7, 11,
#H extended `InfoText' values, added missing table automorphisms
#H TB
#H
#H Revision 4.1 2001/05/04 16:57:35 gap
#H first revision for ctbllib
#H
#H
#H tbl history (GAP 4)
#H -------------------
#H (Rev. 4.1 of ctbllib coincides with Rev. 1.1 of tbl in GAP 4)
#H
#H RCS file: /gap/CVS/GAP/4.0/tbl/ctbline6.tbl,v
#H Working file: ctbline6.tbl
#H head: 1.1
#H branch:
#H locks: strict
#H access list:
#H symbolic names:
#H keyword substitution: kv
#H total revisions: 1; selected revisions: 1
#H description:
#H ----------------------------
#H revision 1.1
#H date: 2000/03/07 16:22:22; author: gap; state: Exp;
#H added tables of L4(4) mod 17, 3, 5, 7 (computed by Gerhard Hiss)
#H
#H TB
#H ==========================================================================
##
TEXT1:= "origin: modular ATLAS of finite groups, tests: DEC, TENS";
MBT("L4(4)",2,
"contributed by Frank L\"ubeck, January 2009; tests: DEC, TENS",
[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1
,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,2],
[12,0],
[[2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,
30,31,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,
57,58,60,61,62,63,64,66,74]],
[],
[[[-1,-1,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,1,0,0,0,0],[0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0
,0,0,0,-1,0,0,0,0,0,0,0,0,0],[-1,0,1,0,0,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,1,0,1,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,1,1,0,0,1,1,0,1,
0,0,0,0],[2,1,-3,1,2,1,1,1,1,1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,1,0,0,0,
-1,2,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,-1,0,1,-1,-1,1,1,-1,0,0,-1,0,0,0,0],[0,0
,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,
0,0,0,0,0,0,0,0,1,0,0,0,0,0,-1,0,0,0,0,0,0,0,0],[0,0,1,-1,-1,1,0,1,1,0,0,0,0,0
,0,0,-1,-1,-1,-1,-1,-1,0,-1,0,-1,-1,-1,-1,-1,0,-1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,
1,1,0,0,0,0,-1,0,0,0,0,1,0,0,0,0,0],[0,0,1,0,0,-1,0,0,0,-1,0,0,0,0,0,0,0,1,0,0
,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,-1,
0,0,0,0,0],[0,-1,-2,1,0,1,1,0,1,1,-1,-1,0,-1,0,-1,0,0,1,0,0,0,0,0,0,0,0,1,0,0,
-1,1,0,0,0,0,0,0,0,0,0,0,0,-1,-1,0,0,0,-1,0,1,0,1,1,0,-1,-1,0,0,0,0,0,0],[-2,
-2,1,0,-2,0,0,0,-1,0,0,1,0,0,0,1,0,0,0,0,0,1,0,0,0,1,0,0,0,0,0,-1,0,0,0,0,0,0,
0,-1,0,0,0,0,0,-1,0,0,0,0,-1,0,1,-1,0,1,0,0,2,0,0,0,0],[0,-1,0,0,0,0,0,0,0,0,1
,0,0,0,1,1,0,0,1,0,0,0,0,0,0,1,0,0,0,0,0,0,0,-1,0,0,0,0,0,-1,0,-1,0,0,-1,0,0,0
,0,0,0,-1,0,0,1,-1,0,0,0,0,0,0,0],[-1,-1,2,0,-1,-1,-1,-1,-1,-1,0,1,1,1,0,0,0,0
,0,0,0,1,0,0,0,0,0,1,0,0,1,-1,0,0,0,-1,-1,0,0,0,0,0,0,-1,0,-1,0,0,0,0,0,1,1,0,
-1,1,0,0,1,0,0,0,0],[1,1,-1,0,1,1,1,1,1,0,-1,-1,-1,-1,-1,-1,-1,0,-1,-1,-1,-1,0
,0,-1,-1,0,-1,0,-1,0,1,0,1,1,1,1,0,1,1,0,1,1,1,1,1,0,1,-1,-1,0,0,0,1,1,0,0,0,0
,-1,0,1,0],[0,0,0,0,-1,0,0,0,0,1,0,0,0,0,0,0,1,0,0,1,1,0,0,0,1,0,0,0,0,1,-1,0,
0,0,-1,0,0,0,-1,0,0,0,-1,0,0,0,0,-1,1,0,0,0,0,-1,-1,0,0,0,0,0,0,-1,0],[-1,0,2,
0,0,-1,-1,-1,-1,-1,0,1,0,1,0,0,0,0,0,2,0,1,0,0,0,0,0,1,0,0,1,-1,0,0,-2,-1,-1,0
,0,0,0,0,0,0,0,-1,0,0,2,0,0,1,0,-2,-1,1,0,0,1,0,0,0,0],[0,0,0,0,1,0,0,0,0,0,1,
0,0,0,1,0,0,0,1,0,2,0,0,0,0,1,0,0,0,0,0,0,0,-1,0,0,0,0,-2,0,0,-1,0,0,-1,0,0,0,
2,0,0,-1,0,0,-1,-1,0,0,-1,0,0,0,0],[3,2,-4,2,4,1,1,1,1,1,-2,-2,-1,-1,-2,-2,0,0
,0,0,0,1,0,0,0,0,2,1,0,0,-1,3,0,0,0,-1,-1,-2,0,0,0,0,0,-1,0,0,0,0,-2,0,2,-1,-1
,2,1,-1,0,0,-2,0,0,0,0],[-2,0,2,0,1,-2,-2,-2,-2,-2,1,0,0,0,0,1,0,0,1,0,0,0,0,0
,0,1,0,0,2,0,2,0,-2,-1,0,0,0,0,0,-1,0,-1,0,0,0,0,0,0,0,0,-2,1,1,0,1,1,2,0,2,0,
0,0,0],[0,0,-1,1,1,-1,-1,-1,-2,1,1,1,0,0,0,1,1,0,1,0,1,1,0,1,1,2,1,1,1,1,0,1,
-1,-2,-1,-1,-1,-1,-1,-2,-1,-2,-1,-1,-1,-2,-1,-2,0,1,0,0,-1,0,1,0,0,0,0,1,0,-1,
1],[0,0,0,0,0,0,0,-1,0,0,0,0,1,1,1,0,1,0,1,1,0,1,0,0,0,0,0,1,0,0,0,-1,0,0,0,-1
,-1,0,0,0,0,0,-1,-1,-1,0,0,0,0,0,0,0,0,0,-1,0,0,0,-1,0,0,0,-1],[0,0,0,1,1,-1,
-1,-2,-1,0,1,0,1,0,1,0,0,0,1,0,0,0,0,1,0,1,0,1,1,0,1,1,-1,-1,-1,-1,0,0,0,-1,-1
,-2,0,-1,-1,-1,-1,-1,0,0,0,1,0,0,1,0,0,0,0,1,-1,0,1],[0,0,0,-1,0,1,1,1,0,0,0,1
,0,1,0,1,0,0,0,0,0,1,0,0,-1,0,0,0,-1,-1,0,-2,1,0,1,0,-1,0,0,0,0,1,0,0,0,0,0,1,
0,0,0,-1,-1,0,-1,0,0,0,-1,-1,1,1,-1],[1,1,0,-1,-1,1,1,1,1,1,0,0,0,0,0,0,0,0,-1
,-1,-1,-1,0,0,0,-1,-1,-1,-1,0,-1,-1,1,1,1,1,1,1,1,1,0,1,0,1,1,1,0,0,-1,0,0,0,
-1,0,0,0,-1,0,-1,0,0,0,0],[-1,0,3,-2,-2,-1,0,1,0,-1,1,2,0,1,0,1,0,1,-1,1,1,0,0
,0,0,-1,-1,-1,-1,1,0,-3,1,1,0,1,0,1,-1,1,0,1,0,1,1,0,0,0,2,0,-1,0,0,-2,-2,1,0,
-1,0,-1,1,0,-1],[3,2,-2,-1,1,3,2,3,4,1,-1,-2,0,-1,-1,-2,-1,-1,-2,-2,-2,-2,0,-2
,-1,-3,-1,-2,-1,-2,-1,0,1,2,3,2,2,1,2,3,1,3,1,1,2,3,2,2,-2,-1,1,-1,-2,2,0,-1,0
,1,-3,-1,0,1,-1],[2,1,-1,0,0,1,0,1,2,2,0,-1,0,0,1,-1,-1,-1,-1,0,0,-2,0,0,1,-1,
-1,-1,-1,0,-1,1,1,1,-1,1,1,1,0,1,0,0,0,1,0,1,0,0,1,0,1,0,-2,0,0,-1,-1,1,-2,1,
-1,-1,1],[0,1,1,0,1,-2,-1,0,-1,-1,0,0,-1,0,-1,1,0,1,-1,-1,-1,-1,0,0,0,0,1,-1,1
,1,1,1,-1,0,0,0,1,-1,1,-1,0,0,0,1,1,0,-1,-1,-1,0,-1,1,0,0,2,1,1,-1,1,0,0,0,1],
[0,1,5,-3,-3,2,-1,2,3,-1,0,-1,0,0,0,-1,-3,-3,-4,-2,-4,-4,0,-3,0,-4,-4,-4,-2,-3
,1,-3,2,4,2,4,4,4,4,4,3,4,3,4,4,4,3,3,1,-1,-2,2,-2,-2,0,2,1,3,0,0,-1,0,0],[5,3
,-3,1,4,0,3,4,3,0,-2,-2,-3,-2,-3,-2,0,3,-1,-1,1,-1,0,0,0,-1,1,-1,-1,3,-3,3,1,1
,1,1,1,-1,-1,1,0,1,0,1,1,1,0,0,-1,0,2,-2,-1,2,0,-2,-1,-3,-3,-1,1,0,0],[-1,0,2,
-1,-2,0,-1,-1,0,1,2,0,1,0,2,0,0,-2,0,0,0,-2,0,-1,1,0,-2,-1,0,0,0,-1,0,0,-1,1,2
,2,0,1,1,-1,0,1,0,1,1,-1,2,0,-1,1,-1,-2,0,0,0,2,0,1,-1,-1,1],[2,2,-3,2,4,-1,0,
0,-1,0,0,-1,-2,-2,-2,0,0,2,1,-1,1,0,1,2,0,2,2,0,2,2,-1,4,-2,-2,0,0,0,-2,-1,-2,
-2,-2,0,0,0,-1,-2,-1,-2,0,0,-1,0,2,3,-1,0,-2,0,0,0,0,1],[0,0,1,0,1,0,-1,-1,0,
-2,0,-2,0,-1,1,0,-1,-1,0,-2,-2,-2,0,-1,-1,0,-1,-1,1,-2,2,1,-1,0,2,1,2,1,2,0,1,
0,1,1,0,2,1,2,-2,-1,-1,1,1,2,2,0,1,1,1,0,-1,1,0],[2,1,-2,1,3,0,1,1,0,-1,-2,0,
-1,-1,-3,-1,0,1,-1,-1,-1,1,0,0,-1,0,2,1,0,0,0,2,0,0,1,-1,-1,-2,1,0,0,1,1,-1,1,
-1,0,0,-3,0,1,-1,0,2,2,0,0,-1,0,-1,1,1,0],[1,2,0,-1,0,2,1,1,2,0,-2,-2,0,0,-1,
-2,-2,-1,-2,-1,-3,-1,0,-1,-1,-3,-1,-1,-1,-3,0,-1,1,3,2,1,1,1,3,3,1,3,2,1,2,3,1
,3,-2,-1,0,1,-1,1,0,1,0,2,-1,-1,0,1,-1],[0,-1,2,0,-2,0,-1,-1,0,0,0,1,2,1,1,-1,
0,-1,0,2,0,1,0,0,1,-1,-1,1,-1,0,0,-1,1,1,-2,-1,-1,1,0,1,0,0,0,-1,0,-1,1,0,2,0,
1,1,0,-2,-2,0,-1,1,0,1,-1,-1,0],[1,1,0,0,0,0,1,1,0,0,-1,1,-1,1,-1,0,2,2,0,2,2,
2,0,0,1,0,1,1,-1,2,-2,-1,1,0,-1,-1,-2,-1,-2,0,0,1,-2,0,0,-1,0,-1,1,0,1,-1,0,-1
,-3,0,-1,-2,-1,-1,1,0,-1],[-2,-2,3,-1,-2,-2,-1,-1,-2,-1,2,2,0,1,2,3,1,1,2,1,3,
1,0,1,1,2,0,0,0,2,0,-2,0,-2,-1,0,-1,0,-3,-2,0,-2,-1,0,-2,-1,-1,-1,3,1,-1,-1,1,
-2,-2,0,0,-1,1,0,1,-1,0],[-2,-1,4,-1,-2,-3,-2,-2,-3,-2,2,3,1,2,1,3,1,1,0,1,0,1
,0,1,0,1,0,0,1,1,2,-2,-1,-1,-1,-1,-1,0,0,-2,-1,-1,-1,0,0,-2,-1,-1,1,1,-2,1,0,
-2,0,2,1,-1,2,0,0,0,0],[3,1,-3,0,1,2,1,1,2,2,0,-1,1,0,1,-1,0,-1,0,-1,0,-1,0,0,
0,-1,0,0,-1,-1,-1,1,1,0,1,0,0,0,0,1,0,0,0,-1,-1,1,0,0,-1,0,2,-1,-2,2,0,-2,-1,1
,-4,1,0,0,0],[-3,-1,4,-3,-4,0,-1,-1,-2,0,3,3,2,3,3,3,1,-1,0,2,1,1,0,0,0,0,-1,
-1,-1,-1,1,-5,1,0,-1,0,-1,1,-1,0,0,0,-1,1,0,0,0,0,4,0,-2,0,-1,-4,-3,1,1,1,0,0,
0,0,-1],[1,1,-2,1,1,-1,0,-2,-1,2,1,1,1,1,1,0,2,1,2,2,3,1,0,2,1,1,1,2,1,2,-1,1,
-1,-2,-3,-2,-2,-1,-3,-1,-2,-3,-2,-2,-2,-2,-2,-3,2,1,2,0,-1,-1,-2,-1,-1,-1,-2,1
,0,-1,1],[0,2,-1,1,2,-1,-2,-2,-3,0,0,0,0,0,-1,0,0,-1,-1,-1,-1,0,0,1,0,1,1,0,2,
-1,2,2,-2,-1,0,-1,0,-1,1,-1,-1,-1,0,0,1,-1,-1,-1,-2,0,-1,2,-1,1,3,2,1,1,1,1,-1
,0,1],[3,3,-6,1,5,1,2,0,1,1,-1,-2,-1,-1,-1,-1,1,1,1,0,0,0,0,1,-1,0,2,1,1,0,-1,
3,-1,-1,1,-1,-1,-2,0,0,-1,0,-1,-1,-1,1,-1,0,-3,0,1,-2,-1,4,2,-2,0,-1,-3,-1,1,1
,-1],[-2,-1,-2,2,1,-1,-1,-3,-3,1,1,1,1,1,1,1,2,0,3,2,2,3,0,2,0,3,2,3,2,0,1,1,
-2,-3,-2,-3,-3,-2,-2,-3,-2,-3,-2,-3,-3,-3,-2,-2,0,0,0,0,1,0,0,0,0,0,1,0,0,0,0]
,[-1,-3,-5,4,2,-1,2,0,-3,0,-3,1,-1,0,-3,1,2,4,3,1,1,6,0,3,-1,4,5,4,1,2,-1,3,-1
,-3,0,-4,-5,-5,-1,-5,-3,-1,-2,-4,-3,-5,-3,-1,-5,1,2,-2,4,3,1,0,0,-4,2,-1,1,1,
-1],[-6,-6,3,-2,-8,3,0,-2,1,2,0,2,4,3,4,0,0,-4,1,2,-2,1,-1,-2,0,-1,-3,2,-3,-4,
1,-6,3,2,-1,-1,-1,3,2,1,2,1,0,-2,-2,0,2,1,3,0,1,2,1,-3,-4,1,-2,4,2,1,0,0,-1],[
-6,-5,0,0,-3,1,-2,-4,-1,1,2,-1,3,-1,3,1,-2,-4,2,-3,-3,-1,0,0,-1,1,-2,1,2,-4,3,
0,-2,-1,2,0,2,2,3,-1,0,-2,2,-2,-2,0,0,1,-3,0,-2,2,2,2,4,0,2,4,4,2,-1,0,1],[-6,
-7,1,2,-3,-4,-1,-3,-6,0,4,5,1,1,3,5,4,3,5,2,6,5,0,3,1,7,2,4,2,5,0,0,-2,-6,-3,
-3,-4,-2,-6,-7,-3,-6,-4,-4,-5,-7,-3,-5,4,2,-1,-2,5,-2,-1,-1,-1,-4,4,1,0,-1,1],
[4,0,-4,1,0,3,3,3,4,2,-3,-1,0,0,-1,-2,0,1,-1,0,-1,1,0,0,0,-2,1,1,-3,0,-3,1,3,2
,0,-1,-1,-1,1,1,0,2,0,-1,0,0,0,1,-2,0,4,-2,-1,1,-1,-2,-3,-1,-3,0,0,0,0],[1,-1,
-2,0,0,1,1,1,2,0,1,-1,0,-2,1,0,0,0,1,-3,1,-2,0,0,0,1,-1,-1,0,1,-1,1,0,-1,3,2,2
,1,-1,0,0,-1,0,0,-1,1,1,0,-2,0,0,-2,1,3,1,-2,-1,-1,-1,0,0,0,0],[-6,-4,8,-4,-7,
-2,-2,-1,-2,-3,4,3,2,1,3,4,-1,-1,0,-2,-1,-2,0,-1,-1,0,-4,-3,0,-1,3,-6,0,0,2,3,
3,4,1,0,1,0,2,2,1,1,1,1,2,0,-4,2,2,-3,-1,2,1,1,4,0,0,0,0],[-1,-1,2,-1,-3,0,0,1
,0,-1,-2,1,0,1,-1,0,-1,-1,-3,0,-4,0,-1,-1,0,-2,-1,0,-2,-1,1,-2,2,3,0,0,0,1,4,1
,2,3,1,1,2,0,1,1,-2,0,0,2,0,-1,1,2,-1,1,2,0,0,0,0],[-1,0,4,-4,-5,1,-1,1,2,0,1,
1,1,1,1,1,-2,-2,-3,-1,-4,-4,0,-2,0,-4,-4,-3,-1,-2,1,-4,1,3,1,3,3,4,4,3,1,3,1,3
,3,3,2,2,0,0,-2,2,-2,-2,0,2,0,2,1,1,0,0,0],[5,2,-4,0,1,1,3,4,3,2,-1,-1,-1,-1,
-1,-1,0,2,-2,-2,1,-1,0,0,0,-1,1,-2,-2,2,-3,2,2,1,2,1,1,-1,-1,1,0,1,0,1,1,1,-1,
-1,-2,1,2,-2,-1,2,0,-2,-2,-2,-4,0,0,0,0],[3,4,1,0,3,-2,-2,0,0,-1,1,-1,-1,-1,-1
,-1,-1,0,-3,-1,0,-3,0,0,1,-2,0,-2,1,1,1,3,-1,1,-1,1,2,0,0,2,0,0,1,2,3,1,0,-1,1
,0,-1,1,-2,0,2,0,1,0,-1,1,-1,-1,2],[-5,-5,1,0,-5,1,1,-2,-2,1,1,2,2,1,2,2,2,0,3
,0,0,3,0,0,-1,2,0,2,0,-1,0,-3,0,-2,0,-2,-1,0,0,-2,0,-1,-1,-2,-2,-2,0,-1,0,0,0,
0,3,-2,-2,0,-1,0,3,0,0,1,0],[5,5,0,-2,2,2,2,4,4,-1,-2,-2,-2,0,-2,-2,-1,0,-3,0,
-1,-3,0,-2,-1,-4,-1,-4,-2,-1,-1,-1,2,3,2,3,2,1,1,4,2,4,1,4,3,5,2,3,0,-1,1,-1,
-3,0,-2,0,0,0,-4,-2,1,1,-2],[-3,-3,-4,3,-1,0,0,-3,-3,2,-1,0,0,-1,0,0,1,0,3,1,1
,3,0,3,1,4,1,4,1,1,-1,2,-1,-2,-1,-2,-3,-1,-1,-3,-2,-3,-1,-3,-3,-3,-2,-1,-3,1,0
,0,3,2,2,0,-2,0,3,1,0,-1,0],[3,7,4,-1,6,-5,-2,0,-4,-4,1,2,-3,1,-3,2,1,2,-2,2,2
,1,0,1,0,1,2,-2,2,2,3,0,-2,-1,-2,0,-1,-2,-2,-1,-1,0,-1,3,3,-1,-1,-1,3,0,-3,0,
-3,-3,0,3,3,-2,-1,-2,1,0,0],[10,10,-5,1,10,3,0,1,5,1,-2,-6,-1,-2,-1,-6,-1,-2,
-1,0,0,-4,0,-1,0,-4,0,-1,0,-2,0,5,0,2,0,1,2,0,0,5,1,1,1,1,1,5,1,1,0,-2,3,0,-6,
3,0,-3,0,2,-8,0,-1,0,0],[0,2,-2,1,4,-1,-1,-1,-1,-2,1,-3,-2,-3,-1,1,-1,1,0,-5,
-1,-3,0,0,-1,2,1,-2,4,-1,2,4,-4,-2,4,2,3,-1,2,-2,0,-2,1,1,0,2,-1,0,-5,-1,-3,0,
1,5,6,1,3,-1,1,0,0,1,1],[-5,-3,7,-3,-7,-2,-2,-2,-2,0,6,3,2,2,6,4,0,-1,2,1,4,-2
,-1,0,2,1,-4,-2,0,1,1,-5,1,-2,-2,2,2,4,-4,-1,0,-3,-1,2,-2,0,0,-1,8,1,-2,2,0,-5
,-5,0,0,1,1,1,-1,-2,1],[0,-1,2,-2,-5,2,2,2,2,2,0,4,2,4,1,0,1,0,-1,5,2,3,0,0,1,
-2,0,1,-4,2,-3,-5,4,2,-4,-2,-3,1,-2,2,0,2,-1,-1,0,-2,0,-1,6,0,2,-2,-2,-6,-6,0,
-2,-1,-3,0,1,-1,-1],[6,5,-8,2,6,4,4,4,4,1,-6,-4,-2,-2,-6,-5,-2,-1,-4,-2,-6,-1,
0,-2,-3,-4,2,0,-1,-3,-1,5,1,4,4,0,0,-2,6,3,1,5,2,0,4,2,2,3,-8,-1,3,0,-3,6,5,-1
,0,1,-3,-2,0,2,-1]]],
0,
[
( 2, 3)(11,12)(13,14)(15,17)(16,18)(19,20)(25,27)(26,28)(33,36)(34,35)(37,47)
(38,48)(39,40)(41,43)(42,44)(45,46)(49,63)(50,58)(51,53)(52,62)(54,59)(55,64)
(56,61)(57,60)
,
( 6, 7)( 8, 9)(11,12)(15,18)(16,17)(19,20)(21,22)(23,24)(25,26)(27,28)(29,30)
(31,32)(33,34)(35,36)(37,41)(38,44)(39,45)(40,46)(42,48)(43,47)(49,54)(50,52)
(51,61)(53,56)(55,57)(58,62)(59,63)(60,64)
],
0);
MBT("L4(4).2_1",2,
"computed from the table of L4(4) mod 2, January 2009; tests: DEC, TENS",
[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,2],
[13,1],
[[1,3,5,6,7,8,9,10,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31
,32,33,43,44,48,51,52]],
[,[[1,2]]],
[[[1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0
,1,0,0,-1,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0],[0,0,1,0
,-1,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0],[0,2,0,0,0,0
,-1,0,0,0,0,0,0,0,0,0,1,2,-1,-2,0,1,0,0,0,0,1,0,0,0,0,0,0,0,-2],[2,0,0,0,-1,-1
,1,0,-3,-2,-2,-3,-2,-2,-2,-2,0,-1,-2,-1,2,2,3,2,2,3,2,1,1,0,-2,0,2,0,-2],[0,0,
-1,0,1,0,0,0,0,1,1,1,0,1,1,1,0,0,1,1,-1,-1,0,-1,-1,-1,-1,-1,0,0,0,-1,0,1,1],[0
,0,0,0,0,1,0,0,0,0,0,-1,0,0,0,-1,0,0,0,-1,0,0,0,0,0,1,0,1,0,0,-1,1,0,-1,0],[0,
2,1,-2,-1,-1,0,1,0,-1,-1,0,0,-1,-1,0,2,2,-2,-2,1,1,0,1,1,0,1,0,0,0,0,0,0,0,-2]
,[-2,-2,2,0,0,0,1,0,0,0,0,-1,0,0,-2,-2,0,0,0,-2,0,0,0,2,0,2,0,1,0,0,-2,2,0,-2,
0],[-2,-2,0,0,0,0,1,0,1,2,2,2,0,0,2,2,0,0,2,2,-2,-2,0,-2,0,-2,-2,-2,-1,0,0,-2,
0,2,2],[0,-4,-2,2,2,1,1,-2,1,2,1,1,0,2,2,2,-4,-5,4,6,-1,-2,0,-2,-1,-1,-2,-1,-1
,-1,2,-2,0,0,4],[-2,-2,0,0,0,1,1,1,-1,-1,0,-1,0,0,0,-2,0,-1,0,0,0,-1,0,0,-1,1,
-1,1,1,1,-2,2,0,0,2],[0,1,-1,0,0,0,0,0,0,-1,-1,0,0,0,0,0,0,0,-1,0,1,1,0,0,0,0,
1,0,0,0,1,0,0,0,-1],[-2,2,0,-2,0,1,-1,2,3,1,1,2,3,1,2,2,3,5,-1,-2,-2,-1,-4,-2,
-2,-3,-1,0,-1,1,0,0,-2,0,0],[0,2,0,0,0,-1,-1,-1,0,-1,-1,1,0,0,-1,1,-1,1,-1,0,1
,2,0,1,1,-1,2,-1,0,-1,2,0,0,0,-2],[-2,8,2,-2,-2,-2,-3,1,1,-1,-1,1,1,-1,-1,1,5,
9,-5,-7,1,4,-1,1,1,-1,4,-1,-1,0,0,0,0,0,-8],[0,0,-2,0,1,-1,0,-1,2,2,1,3,0,1,2,
4,-1,-1,2,4,-1,-1,0,-2,0,-3,0,-3,-2,-1,4,-4,0,2,0],[0,2,-1,0,0,0,-1,0,-1,1,2,2
,-1,0,2,2,1,1,1,0,-1,-1,1,-2,0,-2,-1,-2,1,0,0,-2,0,2,0],[0,2,1,0,0,0,-1,0,0,0,
-1,-3,0,0,-2,-3,1,1,-1,-4,1,1,0,2,0,3,1,3,0,0,-2,2,0,-2,-2],[-2,2,2,-2,-2,0,0,
2,-1,-3,-2,-2,0,-2,-3,-4,3,3,-4,-6,2,3,0,3,1,3,2,2,1,1,-2,4,0,-2,-4],[0,0,-2,1
,2,2,-2,0,2,2,2,2,2,3,3,2,-1,-1,3,3,-2,-3,-3,-3,-3,-3,-3,0,0,0,2,0,-2,0,4],[-2
,-4,-1,0,1,1,1,1,2,1,2,3,2,2,2,1,-1,-3,3,5,-2,-4,-3,-2,-3,-3,-4,-1,0,1,2,0,-2,
2,6],[0,-6,-1,2,2,2,1,-2,3,2,1,2,1,2,2,2,-5,-7,5,7,-1,-3,-2,-2,-1,-2,-3,0,-1,
-1,4,0,-2,-2,6],[0,-5,-1,0,1,1,2,0,0,1,1,0,0,1,1,0,-2,-4,3,4,-1,-3,0,-1,-1,0,
-3,0,0,0,0,0,0,0,5],[4,-6,1,1,0,2,3,1,-7,-4,-3,-8,-3,-1,-4,-8,-1,-5,-2,-3,3,1,
5,4,0,8,0,6,4,1,-8,6,2,-4,2],[6,-8,-5,3,3,1,3,-2,-2,3,2,-1,-2,2,5,3,-5,-9,6,11
,-2,-5,3,-5,-1,0,-4,-2,0,-1,0,-6,2,4,8],[4,4,1,2,-1,-1,-2,-2,-5,-6,-5,-7,-2,-2
,-7,-8,-2,-1,-5,-6,6,7,3,7,2,8,6,5,3,0,-2,6,2,-4,-6],[4,2,-5,2,1,1,-2,-2,1,3,2
,3,0,1,6,6,-2,-1,3,6,-2,-2,0,-6,-1,-5,-1,-3,-1,0,4,-6,0,4,2],[2,6,-2,1,0,0,-3,
0,2,-1,-1,2,2,1,1,2,0,3,-2,0,0,2,-3,-1,-1,-3,2,0,0,0,4,0,-2,0,-2],[-1,3,0,0,0,
-1,-2,-1,4,2,1,3,2,1,1,3,0,2,1,1,-1,0,-3,-1,0,-3,0,-2,-2,-1,4,-2,-1,1,-1],[6,
-6,-3,2,0,0,4,-1,-6,-3,-3,-6,-5,-2,-2,-5,-4,-10,0,4,4,1,7,2,2,7,1,2,2,0,-2,0,4
,0,2],[-3,4,2,-2,-1,0,-2,2,2,0,1,3,2,0,0,1,4,6,-2,-5,-1,0,-3,0,-1,-3,0,0,0,1,0
,2,-2,-1,-2],[-12,2,4,-3,-1,-1,-1,1,7,3,3,7,4,1,1,4,3,6,2,-2,-3,-3,-6,-1,-1,-6
,-3,-3,-3,0,4,0,-4,0,2],[2,-2,-4,1,2,2,-2,-2,4,6,6,9,2,4,9,11,-2,-2,7,11,-6,-5
,-3,-9,-2,-10,-6,-7,-2,-1,8,-8,-2,4,6],[0,2,4,-1,-1,-1,-2,1,-1,-4,-4,-6,1,-1,
-6,-8,2,2,-5,-7,3,3,-1,7,0,6,4,6,1,1,-2,8,0,-4,-4]]],
0,
[
( 8, 9)(11,12)(13,14)(16,17)(21,22)(23,24)(25,26)(27,28)(29,31)(30,36)(32,35)
(33,34)
],
0);
MBT("L4(4).2_2",2,
"computed from the table of L4(4) mod 2, January 2009; tests: DEC, TENS",
[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1
,2],
[13,1],
[[1,3,4,5,6,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,34,36,38
,39,40,43,44,45,54,68,70,73,75,77]],
[,[[1,2]]],
[[[1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
,0],[0,1,0,-1,0,0,0,0,-1,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
,0,0,0],[0,1,-1,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0
,0,0,0,0,0],[-3,-3,-2,-3,2,1,1,1,1,2,2,2,2,6,-2,-2,-2,-1,-2,-2,-2,-3,-3,-3,1,2
,3,-1,-2,4,2,-2,-1,4,4,3,-1,3,4],[0,0,1,1,0,1,1,1,1,1,1,1,1,-1,0,-1,-1,-1,-1,
-1,-1,0,0,0,0,-1,0,0,0,1,-1,0,1,1,0,1,0,-1,-1],[2,0,0,1,0,0,0,0,0,-1,0,0,0,-1,
0,1,0,0,0,0,0,1,0,0,0,0,0,0,0,-1,-1,1,0,0,0,0,0,-1,0],[1,-1,0,-1,0,0,-1,0,0,0,
0,0,0,1,0,0,0,0,1,0,0,-1,0,-1,0,1,0,0,0,0,1,0,0,-1,0,0,0,2,1],[0,-2,-1,-1,0,0,
-1,-1,0,-1,0,0,-1,3,0,1,0,0,1,0,0,-1,-1,-1,0,2,2,0,0,0,0,0,0,0,0,0,0,2,2],[0,1
,1,1,1,1,2,2,1,2,1,1,2,-2,-1,-2,-1,-1,-2,-1,-1,0,0,0,0,-2,0,-2,-2,2,0,0,0,2,2,
2,0,-2,-2],[-2,0,-1,-3,0,0,-1,-1,-2,0,0,0,-1,3,0,1,2,0,1,0,0,-2,-1,-1,0,2,0,0,
0,0,2,0,0,0,0,0,0,2,2],[0,2,-1,1,0,0,0,-1,0,-1,0,-2,-1,-1,0,1,0,0,1,2,0,1,0,1,
0,0,0,0,0,0,-2,2,0,0,0,0,0,-2,-2],[2,2,1,2,-3,-3,-4,-3,-2,-4,-4,-4,-5,-4,3,4,3
,3,5,4,4,2,4,3,-1,0,-4,2,4,-6,0,2,0,-8,-6,-6,2,0,-2],[2,2,1,2,-2,-2,-2,-3,-2,
-4,-3,-2,-3,-4,2,4,3,2,3,2,3,4,2,3,-1,0,-2,2,2,-6,-2,2,0,-4,-4,-4,0,-2,-2],[0,
0,2,2,0,0,1,1,1,1,0,1,1,-3,0,-1,-1,0,-1,-1,0,1,1,1,0,-2,-1,0,0,0,0,0,0,0,0,0,0
,-2,-2],[0,2,4,3,-2,0,1,2,1,2,0,0,1,-6,2,-2,0,0,-1,0,0,0,3,2,-1,-4,-4,0,2,0,0,
0,2,-2,-4,-2,2,-2,-4],[-4,-2,-2,-1,3,2,4,3,2,3,2,3,4,4,-3,-4,-3,-1,-5,-3,-3,-1
,-4,-2,1,0,4,-2,-4,6,0,-2,-2,8,6,4,-2,0,2],[-10,-8,-5,-10,7,4,5,5,3,8,7,8,8,17
,-7,-8,-6,-4,-8,-8,-7,-9,-10,-9,3,5,10,-4,-8,14,5,-6,-3,15,14,11,-4,8,11],[-1,
1,2,4,0,3,4,4,4,4,3,2,4,-4,0,-4,-4,-3,-4,-2,-3,-1,0,0,0,-4,-1,-1,0,4,-2,0,3,3,
0,3,1,-3,-3],[-8,-6,-4,-8,7,2,4,2,1,5,5,6,6,13,-6,-5,-4,-3,-6,-6,-5,-5,-8,-6,3
,4,8,-4,-8,10,4,-4,-4,12,12,10,-4,4,8],[2,4,5,7,-2,1,1,2,2,2,0,-1,0,-11,2,-1,
-1,-1,0,1,0,2,5,4,-1,-6,-6,0,2,-2,-2,2,4,-4,-4,-2,2,-6,-8],[-6,-7,-6,-8,5,3,2,
1,1,3,4,5,4,15,-5,-3,-3,-3,-4,-5,-4,-5,-8,-7,2,6,10,-2,-6,8,2,-4,-2,10,10,8,-4
,6,10],[0,-1,0,0,-1,0,-1,0,1,0,1,-1,-1,1,1,0,-1,-1,1,1,0,-2,1,-1,0,0,0,0,2,0,0
,0,2,-2,-2,0,2,2,0],[0,0,1,0,-2,-1,-2,-1,-1,-1,-2,-1,-2,-1,2,1,2,1,2,1,2,0,2,1
,-1,0,-2,1,3,-3,1,-1,1,-4,-4,-3,1,2,0],[0,0,-1,1,0,-1,0,-1,0,-2,-1,-1,-1,0,0,1
,0,1,0,1,1,2,0,1,0,0,1,1,0,-1,-2,0,-1,0,0,-1,0,-1,0],[0,3,1,-1,-2,-4,-4,-4,-4,
-3,-5,-4,-5,-3,2,3,5,4,5,4,5,3,4,4,-1,0,-4,2,2,-6,2,0,-2,-8,-4,-6,0,0,-2],[8,
11,6,12,-7,-5,-3,-5,-4,-8,-8,-8,-8,-21,7,8,7,5,6,8,8,12,11,12,-3,-8,-12,4,8,
-16,-6,6,2,-14,-14,-12,4,-12,-14],[6,5,2,4,-4,-4,-5,-5,-4,-7,-6,-6,-7,-9,4,7,6
,4,7,6,6,6,6,6,-2,-1,-6,2,4,-10,-2,4,0,-10,-8,-8,2,-4,-6],[24,13,11,19,-15,-6,
-12,-7,-3,-15,-13,-14,-16,-32,14,15,10,7,18,14,13,14,20,15,-7,-8,-20,8,18,-26,
-10,12,8,-32,-28,-22,8,-10,-20],[4,-7,-8,-10,2,-5,-7,-8,-6,-10,-4,-1,-5,16,-2,
9,5,5,6,1,4,0,-6,-5,1,12,6,2,-2,-6,4,0,-8,0,4,-2,-2,10,14],[4,-1,1,5,-2,1,1,1,
3,-1,0,0,1,-4,1,0,-3,0,-1,0,0,3,1,1,0,-2,0,2,2,-2,-4,0,2,0,-2,-2,0,-2,-2],[-4,
-9,-3,-9,2,0,-1,1,0,3,3,5,3,14,-2,-3,-2,-1,-2,-5,-2,-7,-5,-7,2,6,6,0,-2,6,6,-6
,-2,4,4,4,-2,10,12],[-4,-4,-1,-4,2,1,2,2,0,3,1,4,3,6,-2,-3,-1,0,-4,-4,-2,-3,-3
,-3,1,1,3,0,-2,4,4,-4,-2,5,4,2,-1,4,5],[3,3,4,7,-2,0,2,2,3,1,0,-1,1,-10,2,-2,
-2,0,-1,1,0,4,4,4,-1,-6,-3,1,3,-1,-4,1,2,-2,-4,-2,1,-6,-7],[-12,-2,-2,-4,5,5,9
,7,4,11,7,6,9,7,-5,-11,-6,-5,-11,-6,-7,-6,-6,-4,2,-2,6,-4,-6,14,2,-6,0,14,10,
10,-2,0,2],[14,3,4,6,-5,-5,-8,-7,-4,-10,-7,-6,-9,-12,5,11,6,5,11,6,8,8,8,6,-2,
0,-8,4,6,-16,-2,6,0,-16,-10,-10,2,-4,-6],[-5,5,3,1,-2,0,0,1,-1,3,-1,-2,-1,-6,2
,-2,2,0,1,2,1,-1,4,3,-1,-4,-4,-1,2,1,1,0,2,-3,-4,-1,2,-3,-7],[-8,2,-3,-1,3,1,5
,1,0,2,2,1,3,2,-3,-2,-1,-1,-5,-1,-2,1,-4,0,1,-1,4,-2,-5,5,-1,-1,-2,9,7,4,-2,-5
,-1],[2,4,4,4,-3,-1,0,0,0,-1,-1,-1,-1,-8,2,0,1,1,1,2,1,3,4,4,-1,-4,-6,2,2,-4,
-2,0,2,-4,-4,-4,2,-2,-6],[-4,-2,-3,-3,2,1,1,1,1,2,1,2,2,6,-2,-2,-1,-1,-3,-2,-2
,-2,-3,-2,1,2,2,-2,-2,4,2,-4,-2,4,4,4,-2,2,6]]],
0,
[
( 3, 4)( 6, 7)( 9,10)(11,14)(12,13)(16,17)(18,19)(20,26)(21,23)(22,25)(24,27)
(31,32)(33,34)(35,38)(36,37)(39,40)
],
0);
MBT("L4(4).2_3",2,
"computed from the table of L4(4) mod 2, January 2009; tests: DEC, TENS",
[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,2],
[13,1],
[[1,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30
,31,35,36,37,38,41,42]],
[,[[1,2]]],
[[[1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0
,-1,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,2,0,0,0,0],[0,0,0,
-1,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,2,0,0,0],[-4,3,-2,-2
,-2,-2,-2,-2,-2,-2,-2,-2,1,2,-3,6,2,-2,-2,-2,0,0,1,1,0,0,4,2,2,-2,-2,-2,-2,2,2
],[2,1,1,1,0,0,-1,-1,0,0,0,0,0,-1,0,-2,-1,0,1,1,0,1,0,0,1,0,0,0,0,-2,0,0,-2,0,
0],[0,0,1,1,0,0,-1,-1,0,0,-1,-1,0,0,0,-1,-2,1,1,1,0,1,0,0,1,0,0,0,0,0,0,0,-2,0
,0],[1,0,0,0,0,1,1,1,1,0,1,1,-1,-1,1,0,2,-1,-1,-1,0,0,1,-1,-1,0,0,-1,0,0,-1,0,
2,-2,0],[1,0,0,0,1,0,1,1,0,1,1,1,-1,-1,1,0,2,-1,-1,-1,0,-1,-1,1,0,0,0,0,-1,0,0
,-1,2,0,-2],[-2,1,-1,1,0,0,-1,0,-2,0,-1,-1,0,0,0,-1,-2,1,0,1,2,1,0,0,1,0,0,0,0
,-2,4,0,-2,0,0],[-2,1,1,-1,0,0,0,-1,0,-2,-1,-1,0,0,0,-1,-2,1,1,0,0,1,0,0,1,2,0
,0,0,-2,0,4,-2,0,0],[2,-3,3,2,2,1,1,1,2,2,1,1,0,-1,2,-6,-4,3,3,3,-1,0,-2,0,1,0
,-4,-1,-2,2,2,2,0,0,-2],[2,-3,2,3,1,2,1,1,2,2,1,1,0,-1,2,-6,-4,3,3,3,0,1,0,-2,
0,-1,-4,-2,-1,2,2,2,0,-2,0],[0,0,0,0,0,0,1,1,1,1,1,1,0,0,0,1,2,-1,-1,-1,-1,-1,
0,0,-1,-1,0,0,0,1,-2,-2,2,0,0],[-2,1,-3,0,-1,-1,0,1,-2,1,0,1,-1,1,-1,4,4,-2,-3
,-2,2,-1,1,1,-2,-2,2,0,1,0,0,-4,2,0,0],[-2,1,0,-3,-1,-1,1,0,1,-2,1,0,-1,1,-1,4
,4,-2,-2,-3,-2,-2,1,1,-1,2,2,1,0,0,-4,0,2,0,0],[-12,9,-7,-7,-5,-5,-3,-3,-5,-5,
-3,-3,1,5,-7,18,11,-8,-9,-9,0,-2,3,3,-2,0,12,5,5,-6,-6,-6,-2,4,4],[-2,2,-1,-1,
1,-2,0,1,-2,1,0,0,-1,-1,0,3,4,-2,-3,-2,0,-2,-2,3,1,0,2,2,-1,-2,0,-4,2,2,-2],[
-2,2,-1,-1,-2,1,1,0,1,-2,0,0,-1,-1,0,3,4,-2,-2,-3,0,1,3,-2,-2,0,2,-1,2,-2,-4,0
,2,-2,2],[-2,1,1,-3,-1,0,-1,-2,1,-3,-1,-2,1,1,-1,3,0,-1,0,-1,-2,0,1,-1,1,2,2,1
,1,0,-4,2,-2,0,2],[-2,1,-3,1,0,-1,-2,-1,-3,1,-2,-1,1,1,-1,3,0,-1,-1,0,2,1,-1,1
,0,-2,2,1,1,0,2,-4,-2,2,0],[2,-5,1,1,1,1,1,1,2,2,1,1,1,1,1,-2,-2,2,2,2,-1,-1,
-1,-1,-1,-1,-3,-1,-1,6,0,0,2,0,0],[6,-7,1,5,4,3,4,5,2,6,3,4,-1,-3,5,-9,-3,4,3,
4,1,-1,-3,-1,-1,-2,-8,-3,-4,6,6,0,6,-2,-4],[6,-7,5,1,3,4,5,4,6,2,4,3,-1,-3,5,
-9,-3,4,4,3,-2,-1,-1,-3,-1,1,-8,-4,-3,6,0,6,6,-4,-2],[8,-6,5,5,4,4,3,3,4,4,3,3
,-2,-4,6,-13,-6,5,5,5,0,1,-2,-2,1,0,-8,-4,-4,3,4,4,3,-4,-4],[12,-6,8,6,2,5,0,
-1,7,2,2,1,1,-3,4,-16,-12,7,10,8,-2,5,0,-5,2,0,-9,-5,-2,2,0,10,-4,-4,0],[12,-6
,6,8,5,2,-1,0,2,7,1,2,1,-3,4,-16,-12,7,8,10,0,2,-5,0,5,-2,-9,-2,-5,2,10,0,-4,0
,-4],[0,0,-2,0,-2,-1,-2,-2,-1,0,-1,-1,2,3,-3,4,0,-1,0,0,-1,0,1,0,-1,-2,2,2,2,2
,-2,-4,-2,2,2],[0,0,0,-2,-1,-2,-2,-2,0,-1,-1,-1,2,3,-3,4,0,-1,0,0,-2,-1,0,1,0,
-1,2,2,2,2,-4,-2,-2,2,2],[-4,2,-5,-5,-4,-4,-1,-1,-2,-2,-1,-1,2,5,-6,12,7,-4,-4
,-4,-1,-3,2,2,-3,-1,5,3,3,4,-6,-6,2,4,4],[-10,4,-7,-7,-3,-3,1,1,-4,-4,-1,-1,0,
4,-4,15,10,-6,-8,-8,1,-4,2,2,-4,1,8,3,3,0,-4,-4,4,2,2],[7,-3,4,4,3,2,1,1,3,3,2
,1,0,-3,3,-9,-5,3,4,4,-2,1,-2,-1,2,0,-5,-1,-3,1,2,1,0,-1,-2],[7,-3,4,4,2,3,1,1
,3,3,1,2,0,-3,3,-9,-5,3,4,4,0,2,-1,-2,1,-2,-5,-3,-1,1,1,2,0,-2,-1],[-8,-2,-3,
-3,2,2,6,6,0,0,3,3,-3,0,4,2,5,-2,-5,-5,2,-3,0,0,-3,2,-1,-2,-2,4,2,2,10,-4,-4],
[0,-1,4,-6,-2,0,1,-2,5,-6,0,-1,0,0,-1,2,2,0,1,-2,-4,-1,3,-2,0,5,1,0,1,0,-8,8,2
,-2,2],[0,-1,-6,4,0,-2,-2,1,-6,5,-1,0,0,0,-1,2,2,0,-2,1,5,0,-2,3,-1,-4,1,1,0,0
,8,-8,2,2,-2]]],
0,
[
( 2, 3)(10,11)(12,13)(17,18)(21,22)(23,27)(24,26)(25,28)(29,35)(30,36)(31,33)
(32,34)
],
0);
MBT("L4(4).2^2",2,
"computed from the table of L4(4) mod 2, January 2009; tests: DEC, TENS",
[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,2],
[14,2],
[[1,5,9,13,17,21,25,27,29,33,35,36,38,39,40,45,49,53,54,55,56,57,59],[41]],
[],
[[[1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,1,1,-2,1,2,0,0,0,-1,-1,0,
0,0,1,0,2,-1,0,0,0,1,0],[0,0,0,2,-1,-1,0,1,-1,0,0,-1,0,-1,-1,0,-1,1,1,1,1,0,0]
,[2,0,-1,-1,1,0,1,0,1,-1,0,0,0,1,0,-1,0,0,0,-1,0,-1,0],[1,0,-1,2,0,0,-1,-1,-1,
1,1,0,0,1,0,1,-1,0,-1,-1,0,0,0],[0,1,1,-1,0,0,1,1,1,-1,-1,0,0,-1,0,-1,1,0,1,1,
0,0,-1],[0,0,2,0,2,6,-2,-2,-2,0,-1,0,0,2,2,2,2,-2,-2,-1,0,2,0],[-2,-2,-2,-1,1,
0,-1,-3,1,2,2,2,0,3,1,1,-1,-1,-3,-3,-2,0,1],[-1,0,0,0,-1,-2,1,1,1,0,0,0,0,-1,
-1,-1,-1,1,1,1,0,-1,0],[-4,0,0,1,-3,-4,1,5,1,0,-1,-2,0,-5,-2,-1,-1,2,4,4,1,0,
-1],[-3,2,1,2,-2,-2,2,6,-1,-2,-3,-3,0,-5,-3,-2,0,3,5,5,3,0,-1],[-2,1,3,-1,0,0,
1,1,1,-1,-2,0,1,-1,0,-3,1,0,1,2,0,-1,-1],[2,2,0,4,0,2,-2,-2,-4,0,1,0,0,1,0,2,0
,0,-1,-1,1,0,0],[-2,-1,-2,1,-1,-3,-1,-1,0,2,2,1,0,0,0,1,-1,0,-1,-1,-1,0,1],[-4
,-3,1,-5,0,0,-1,-5,3,3,2,4,0,2,3,1,1,-3,-4,-2,-4,1,1],[1,-1,0,-2,2,2,-1,-3,1,1
,1,2,0,3,2,1,1,-2,-3,-3,-2,0,0],[12,-7,-9,-1,4,0,-1,-9,3,3,7,4,-1,11,2,3,-3,-2
,-8,-12,-4,-1,3],[2,0,-4,4,-4,-8,2,4,-2,0,2,-2,-1,-3,-5,0,-6,5,4,2,3,-4,0],[-3
,1,-1,0,-4,-7,2,5,2,0,0,-2,0,-5,-3,-2,-2,3,4,4,1,-2,1],[-5,3,4,1,-2,0,0,4,-2,
-1,-3,-2,0,-6,-1,0,2,1,4,6,2,1,-1],[6,-2,-2,-3,3,0,1,-5,3,0,2,3,0,6,1,-1,-1,-1
,-4,-5,-2,-3,1],[-9,4,8,-1,0,7,-2,1,-3,-1,-4,0,0,-3,2,3,5,-2,1,4,0,3,-2],[-4,
-3,-1,-1,-2,-6,3,3,1,1,0,-2,-1,-3,-1,-1,-1,2,2,2,1,1,-1]],[[1]]],
0,
[],
0);
MBT("L4(4)",3,
"computed by G. Hiss, February 2000; tests: DEC, TENS",
[1,1,25,26,1,27,28,1,2,3,4,5,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,26
,25,6,7,8,1,27,28],
[4,0,0,0,0,1,2,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,2,2],
[[1,2,3,5,18],,,,,,[12],[15],,,,,,,,,,,,,,,,,,,[55,58],[57,59]],
[,,,,,[[1,2,3]],,,,,,,,,,,,,,,,,,,[[1,3],[2,3]],[[1,2],[1,3]]],
[[[1,0,0,0,0],[0,1,0,0,0],[-1,0,1,0,0],[0,0,0,1,0],[0,0,0,0,1]],,,,,,[[1]],7,,
,,,,,,,,,,,,,,,,,[[1,0],[-1,1]],27],
0,
[(17,20,18,19)(21,24,25,27,35,34,23,36)(22,28,29,31,30,33,32,26),(11,12),(6,7)
(8,9)(13,14)(15,16)(21,33,35,28)(22,36,30,27)(23,31,25,26)(24,32,34,29),(21,
35)(22,30)(23,25)(24,34)(26,31)(27,36)(28,33)(29,32)],
0);
MBT("L4(4)",5,
"computed by G. Hiss, February 2000; tests: DEC, TENS",
[1,1,28,29,1,2,1,2,2,30,31,3,4,5,6,7,1,2,8,9,10,11,12,13,14,15,16,17,18,19,20,
21,22,23,24,25,26,27,3,28,29],
[2,2,1,1,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,0,0],
[[1,2,3,5,11],[4,33,53,56]],
[,,[[1,2],[2,3,4]],[[1,2,3,4,5]],4,4,4,,,,,,,,,,,,,,,,,,,,,[[1,4],[2,3,4]],28]
,
[[[1,0,0,0,0],[-1,1,0,0,0],[1,-1,1,0,0],[-1,0,-1,1,0],[-1,1,-1,0,1]],[[1,0,0,0
],[0,0,0,1],[-1,1,-1,-1],[0,0,1,0]]],
0,
[(22,25,23,24),(16,17)(26,27)(28,29)(30,32,37,34,38,31)(33,35,36,39,41,40),(4,
5)(10,11)(12,13)(18,19)(20,21)(26,28)(27,29)(30,33,37,36,38,41)(31,40,32,35,
34,39),(30,38,37)(31,34,32)(33,41,36)(35,40,39)],
0);
MBT("L4(4)",7,
"computed by G. Hiss, February 2000; tests: DEC, TENS",
[1,2,12,11,33,43,1,3,36,37,38,42,53,57,4,45,46,11,12,5,6,7,8,9,17,18,19,20,21,
22,23,24,25,26,27,28,29,30,31,32,41,47,10,34,35,55,59,1,11,12,13,14,44,50,51,
56,58,60,39,40,48,49,52,54,15,16],
[1,0,0,0,0,0,0,0,0,0,1,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[],
[[[1,2],[2,5],[3,4,5]],,,,,,,,,,[[3,4],[4,5],[1,2,5]],11,[[1,2,3,4,5,6,7]],13]
,
[],
0,
[(43,46,44,45)(51,54,55,57,65,64,53,66)(52,58,59,61,60,63,62,56),(10,11)(12,
13)(23,24)(25,26)(29,32)(30,31)(33,34)(35,36)(37,38)(39,40)(41,42)(47,48)(49,
50)(51,63,65,58)(52,66,60,57)(53,61,55,56)(54,62,64,59),(4,5)(15,16)(17,18)
(21,22)(27,28)(29,31)(30,32)(33,34)(39,41)(40,42)(47,49)(48,50),(51,65)(52,60)
(53,55)(54,64)(56,61)(57,66)(58,63)(59,62)],
0);
MBT("L4(4)",17,
"computed by G. Hiss, February 2000; tests: DEC, TENS",
[1,1,30,38,29,28,2,3,33,34,35,39,51,55,1,42,44,41,43,4,1,28,29,5,31,32,53,57,6
,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,40,48,49,54,56,59,36,37
,46,47,50,52,45,58,26,27],
[1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,0,0,0,0,0,0,0,0,0,0
,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[],
[[[1,2],[2,3],[3,8],[4,5,6,7,8]],,,,,,,,,,,,,,,,,,,,,,,,,,,[[9,10],[1,2,3,4,5,
6,7,8,10]],28],
[],
0,
[(21,22)(45,46)(47,48)(53,55,60,57,61,54)(56,58,59,62,64,63),(10,11)(12,13)
(25,26)(27,28)(31,34)(32,33)(35,36)(37,38)(39,40)(41,42)(43,44)(49,50)(51,52),
(4,5)(15,16)(17,18)(23,24)(29,30)(31,33)(32,34)(35,36)(41,43)(42,44)(45,47)
(46,48)(49,51)(50,52)(53,56,60,59,61,64)(54,63,55,58,57,62),(53,61,60)(54,57,
55)(56,64,59)(58,63,62)],
0);
LIBTABLE.LOADSTATUS.ctbline6:="userloaded";
#############################################################################
##
#E
|