Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/grp/   (Beweissystem Isabelle Version 2025-1©)  Datei vom 18.9.2025 mit Größe 23 kB image not shown  

Quelle  imf21.grp

  Sprache: Shell
 

#############################################################################
##
##  This file is part of GAP, a system for computational discrete algebra.
##  This file's authors include Volkmar Felsch.
##
##  Copyright of GAP belongs to its developers, whose names are too numerous
##  to list here. Please refer to the COPYRIGHT file for details.
##
##  SPDX-License-Identifier: GPL-2.0-or-later
##
##  This file contains,  for each  Q-class representative  of the irreducible
##  maximal finite integral matrix groups of dimension 21,
##
##  [1]  a quadratic form (as lower triangle of the Gram matrix),
##  [2]  a list of matrix generators.
##


#############################################################################
##
##  Quadratic form and matrix generators  for the  Q-class representatives of
##  the irreducible maximal finite integral matrix groups of dimension 2.-i1
##
[21].matrices:= 

# Q-class [21][01]
 [[  0,,]
  [0,1],
  [0,0,1],
  [0,0,0,1],
  [0,0,0,0,1],
  [0,0,0,0,0,1],
  [0,0,0,0,0,0,1],
  [0,0,0,0,0,0,0,1],
  [0,,0,,,,,01,
  [0,0,0,0,0,0,0,0,0,1],
  [0,0,0,0,0,0,[,,,,,,,,,01,
  [0,0,0,0,0,[,,,,,0,0,0,0,0,0,1],
  [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,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,1],
  [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,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,1],
  [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,0,0,0,  ,,000000000,]
   [1,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,0,0],
   [0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,  0,000000,00,,,00,,,,,],
   [0001,0,,0000,,,,,,,,,,],
   [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,1,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   0001000000,,,,,,,,,00,]java.lang.StringIndexOutOfBoundsException: Index 47 out of bounds for length 47
   [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,1,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,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0],
   ,0,,,0000,,,,000000,
   [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,0,0,0,0,1,0,0,0,0,0   ,00,,,,,0,0,,0,
   [0,0,0,0,000000,000,,,,,,,,100,]
   [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,0,0,0,0,1,0,0,0,0],
   [0,0,0,0,0,0,0,0,0,100000,,,,,,,,,,,]
   [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,0,0,0,0,1,0]],
  [[0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,   00,00,,0,,100,0,00,0,0,,,0,00,]java.lang.StringIndexOutOfBoundsException: Index 47 out of bounds for length 47
   [1,0,0,0,0,0,0,0,0,0,0,0,   000000,,,,,,,,,00000,
   [0,0,1,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],
[,,0100000,0,,,0,,,0,0,,]java.lang.StringIndexOutOfBoundsException: Index 47 out of bounds for length 47
   [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,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
,,00000,00000,01,00
   [0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0],
    Q [21[]
   [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,00
   [0,0,0,0,0,0,0,0,0,0,0,0,0,1[,,0000,0-2,
   [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,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,1,0,0,0,000000,0,0,0-,,
   [0,0,0,0,0,0,0,0,0  ,,,,,,,,,,00,,000-,,,,],
   0,,,,,,,,,,00000,00100,
   [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,0,0,0,0,1]]]],

# Q-class [21][02]
 [[2],
  [-1,2],
  0,1,2]
  [0,0,-1,2],
  [0,0,0,-1,2],
-,]java.lang.StringIndexOutOfBoundsException: Index 17 out of bounds for length 17
  [,,1000,,
  [0,0,0,0,0,0,0,2],
  [,,,,,,,12]
  [0,0,0,0,0,0,0,0,-1,2],
  [0,0,0,0,0,0,0,0,0,-1,2],
  [0,0,0,0,0,0,0,0,0,0,-1,2],
  [0,0,0,0,0,0,0,0,0,0,0,-1,2],
  [0,0,0,0,0,0,0,0,0,-1,0,0,0,2],
  [0,,0,0,000,00002,
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,2],
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,2],
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,2],
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,2],
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,2],
  [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,2]],
 [[[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,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0],
   [,,0,,0,,00,,0,,,,0,0,00,,,0]java.lang.StringIndexOutOfBoundsException: Index 47 out of bounds for length 47
   [0,0,0,0,0,0,0,-1,-1,-2,-2,-2,-1,-1,0,0,0,0,0,0,0],
   [0,0,0,0,0,0,0,2,3   0,,,0,,0,0,0,,,,0,,000,0,0,,,0]
   [0,0,0,0,0,0,0,0,-1,-2,-2,-1,0,-1,0,0,0,0,0,0,0],
   [0,0,0,0,0,0,0,0,0,0,0,0,0,0,[,000,00,,0,,1000,,,000,
   [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,000,,0,0,,0,,,0]
   [0,0,0,[,,1,,,0,,000000,00,000,],
   [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,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,1],
   [-1,-2,-3,-3,-2,-1,-1,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,-1,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,0,0],
   [1,2,2,1,1,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
   [
   [# Q-class [21][03]
   [3,
   [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,1,0,0,0,0,0,0,0,0,0,0],
   [0,0,0,0,0,0,0,0,0,0,0,1,0,  [1,-1-,113]
-,00111-,,,]java.lang.StringIndexOutOfBoundsException: Index 26 out of bounds for length 26
   [0,0,0,0,0,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,0],
   01000,,,,0,,00,00,0,,00,,
   [0,0,1,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],
   [0,0,0,0,1,0,0,0,0,0,[,-,,-,0,-,,0,,0,0,-1,101101,1,3,
   [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,,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,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,1,0,0,0,0],
   [0,0,0,0,,,,0,,,,,,,,,,,,,,]java.lang.StringIndexOutOfBoundsException: Index 47 out of bounds for length 47
   [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,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,1]]]],

# Q-class [21][03]
 [[3],
  [-1,]java.lang.StringIndexOutOfBoundsException: Index 9 out of bounds for length 9
  [1,1,3],
  [-,,3,
  [1,-1,1,1,3],
  [-1,-1,-1,1,1,3],
  1,1,,00,-1,]
  [-1,1,1,1,0,0,1,3],
  [,,11,,0,,,3]
  [-1,0,0,1,1,1,-1,1,1,3],
  [1,-1,0,0,1,1,-1,-1,1,1,3],
  [-1,1,-1,0,-1,0,-1,-1,-1,0,0,3],
  [0,1,0,-1,-1,-1,1,0,-1,-1,-1,1,3],
  [,1,1-1,-,-,1-,10113,
  [1,-1,0,-1,0,-1,1,0,0,-1,-1,-1,1,   ,,,,,,,,10,,,1-,,11,]
  [1,0,1,-1,0,-1,1,1,1,0,0,-1,1,0,1,3],
  [0,1,1,0,-1,-1,0,0,0,0,0,1,1,1,0,1,3],
  [,,1,-,1-1,00,0,,,,1,1,,,,]java.lang.StringIndexOutOfBoundsException: Index 44 out of bounds for length 44
[,,,1,1,-,,0,1,1,0,0,,1,,1,13,
  [1,-1,0,-1,0,-1,0,0,1,0,0,-1,-1,0,1,1,0,1,1,3],
  [-1,0,-1,0,-1,1,-1,0,0,1,1,1,0,1,-1,0,1,1,0,0,3]],
 [[[0,0,0,0,0,0,0,0,0,0,0,0,0,00,1,,,,,,,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,0,0,0,0,0,0,0,0,1,0,0,-1,0,0,1],
   [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,-1,0,0,0,0,0,0,-1,0,1,0,0,0,0,-1,1],
   [1,00,0,0,,0,,0,0,0,-10,-,0,0,0,0,,,-1,,0],
   [0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,-1,0,0,0],
   [0,0,-1,0,0,0,0,0,0,0,0,0,0,-1,1,0,1,-1,0,0,0],
   [0,0,0,0,0,0,0,0,-1,0,0,0,-1,-1,1,0,0,0,1,-1,1],
   [0,0,0,0,1,-1,0,0,-1,0,0,0,-1,-1,1,0,0,0,1,-1,1],
   [1,0,1,0,0,0,0,0,-1,1,-1,0,-1,0,0,0,-1,1,1,-1,1],
   [0,0,1,0,0,0,0,0,0,0,0,1,0,0,0,0,-1,0,0,0,0],
java.lang.StringIndexOutOfBoundsException: Range [50, 48) out of bounds for length 48
   [0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,1,-1,0,0,0,0],
   [-1,0,0,0,0,0,0,-1,0,0,0,0   ,,20,,-,-1,,-,,0,,-11,01,1,,,],
   [0,0,0,0,0,0,0,0,-1,0,0,1,-1,-1,1,1,0,-1,1,0,1],
   [0,1,0,0,1,0,0,0,-1,0,0,1,-1,0,1,1,-1,-1,1,0,1],
   [-1,0,1,0,0,0,1,-1,-1,1,0,1,-1,0,0,1,-1,0,1,0,0],
   [0,1,,0,-,0,1,0,00,0,0,0,,,0,,0,,0,,0]],
   [-1,0,0,0,0,0,1,0,-1,0,1,0,0,0,0,0,0,0,0,1,0],
   [1,0,0,1,0,0,1,0,-2,1,0,1,-1,0,0,1,-1,0,1,0,0]],
  [-,1,,1,0,,002,1001-,0-,,,100],
   [1,1,0,0,0,1,0,-1,0,1,-1,-1,0,1,-1,0,[1,10000,,,,13,
   [,-,1,0-11,1-1,,,1,0,,,-,,0,,,,-],
   [1,0,1,0,-1,1,0,0,0,1  [00,,0,,00,-,,,-1-,3,
   [0,-1,1,0,-1,0,1,0,0,1,0,1,0,0,0,0,-1,0,0,0,0],
   [0,0,1,0,-1,0,0,0,0,1,0,0,0,1,0,0,-1,0,0,0,0],
   [0,0,0,-1,0,1,0,0,1,0,0,0,1,0,0,-1,1,0,-1,1,-1],
   [1,0,0,1,-1,1,0,0,-1,1,0,0,1,0,0,0,0,0,0,1,-1],
   [0,0,0,,0,1,10,01,0,0,0,1,0,0,0,0,,-,1,-1],
[01-1,0,,1,10,000,0,,-000,0],
   [0,0,0,0,-1,0,0,0,1,0,0,0,0,0,0,0,0,0,-1,0,0],
   [0,1,-1,0,1,-1,0,0,0,0,0,-1,0,1,-1,0,0,0,0,0,0],
   [0,0,-1,0,1,-1,0,0,0,0,0,0,0,0,0,0,1,-1,0,0,0],
   [-1,0,-1,0,1,-1,0,1,0,-1,1,0,0,0,0,0,1,-1,0,0,0],
   [-,-,1,1-1,1,,-,1,1,-,1,0,,10,00]
   [0,0,-1,0,0,0,0,0,0,0,0,0,0,-1,1,0,1,-1,0,0,0],
  [,,1000000,010,-,0,100,-]java.lang.StringIndexOutOfBoundsException: Index 51 out of bounds for length 51
   [0,1,-2,0,1,-1,-1,1,0,-1,1,0,0,-1,1,0   0,-,0,,0,1,,,110-2,-,,220-,-]
   [-1,0,-1,0,0,0,0,0,1,-1,1,0,1,0,0,0,1,-1,-1,1,-1],
   [-1,0,0,0,0,0,0,0,0,-1,1,0,0,-1,1,0,0,0,0,0,0],
   [0,1,0,0,0,0,-1,0,0,0,0,-1,0,0,0,0,0,0,0,0,0]]]],

[,-,,,,,,,,,,,1,11,-,1001-],
 [[3],
  1,],
  [0,0,3],
  [0,0,0,3],
  [-,10,0,]
  [-1,-1,0,1,1,3],
  [-1,-1,0,1,1,1,3],
  [-1,0,-1,0,0,0,0,3],
  [0,0,-1,0,-1,0,1,0,3],
  [,,0,0,,0-,,13,
  [0,1,-1,0,0,0,-1,1,0,1,3],
  [-1,-1,0,0,0,0,1,0,0,0,-1,3],
  0-,,,,,1,-,,1,,1,3],
  [0,0,0,1,-1,0,-1,1,-1,1,0,0,-1,3],
[111,,1-,1-,11000,,3]
  [0,0,1,0,1,0,0,0,-1,1,1,-1,1,-1,0,3],
  [-1,0,1,1,0,1,1,0,0,-1,-1,1,0,0,0,0,3],
  [1,0,0,0,0,0,-1,-1,-1,1,-1,0,0,1,1,-1,-1,3],
  [-1,-1,1,-1,0,0,1,0,1,-1,-1,1,1,-1,-1,0,1,-1,3],
  [0,0,1,0,-1,-1,0,0,0,0,-1,1,0,1,1,-1,0,1,1,3],
  [-1,-1,,1,1,1,1,0,-,1,-,1,1,11,1,0,,],
 [[[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1],
   [1,1,1,0,1,1,0,0,1,0,0,2,-2,1,0,1,-2,0,1,-1,1],
   [1,1,0,0,0,1,0,-1,0,0,0,1,-2,0,0,0,-2,-1,2,-1,2],
   [0,1,-1   11,,,,1-1-,,102-,,,,2-,,1,2]
   [,,,,,,,,0000000,,,1000]java.lang.StringIndexOutOfBoundsException: Index 48 out of bounds for length 48
   [-1,   [1,1,,1-,2100,,,-,,,1,,,-00,
   [-1,0,0,0,-1,-1,0,0,-1,0,0,-1,1,-1,-1,-1,1,0,-1,0,0],
   [0,0,0,1,0,0,0,1,0,0,0,0,0,0,1,0,0,1,1,-1,-1],
   [-1,0,0,0,0,-1,0,0,0,0,0,0,1,0,0,0,1,1,-1,0,-1],
   [1,0,0,0,0,1,[,,,,,,1,-,,,,2,,1,01-,-101,
   [0,0,0,0,0,0,-1,0,1,-1,0,1,0,1,0,1,-1,0,0,-1,1]   0,-,1-,,-,,1,0,0,1,1,-1,1,,,101,
   [0,-1,0,0,0,-1,0,1,-1,1,0,-2,1,-2,0,-2,2,0,-1,1,-1],
   [0,0,0,0,0,0,-1,0,0,0,0,0,0,-1,0,-1,0,-1,0,0,1],
   [1,0,0,0,0,1,0,0,0,1,0,0,-1,0,0,0,0,0,1,0,0],
   [1,0,0,0,0,1,0,0,-1,1,0,0,-1,-1,0,-1,-1,-1,1,0,1],
   [,1-1,0,-,0,1,1,,-,0,,0,,1,,-,-,,-,3],
   [0,1,-1,-1   0,1,,1,,0,,1,0,,1,0,1,1,,1,01,,-,-1]
   [1,-1,1,0,1,1,1,1,0,2,0,0,-1,-1,1,-1,1,0,0,1,-2],
   [0,0,0,1,1,0,0,0,0,1,0,0,-1,-1,1,-1,0,0,1,0,-1],
   [1,-1,1,1,1,0,1,1,-1,3,0,-1,-1,-2,1,-3,1,0,1,0,-2],
   [,0,0,0,0,1,00,-,1,,0-1,1,,1,,-,10,0],
  [-1,1-,1-,200-,-,,230-1-1,20,2,1,],
   [-1,-3,1,0,0,-2,2,2,-1,2,1,-3,2,-2,1,-3,4,2,-2,1,-4],
   [0,0,0,0,0,0,0,-1,1,-1,1,1,-1,1,0,1,-1,1,1,-1,1],
   [0,0,0,0,0,0,1,0,0,0,0,0,0,0,1,0,0,0,0,0,-1],
   [1,1,1,1,1,2,-1,0,1,0,-1,2,-3,0,1,1,-3,-1,2,-1,1],
   [1,1,0,0,1,1,0,-1,1,0,0,1,-2,1,0,1,-1,-1,1,0,1],
   [1,1,0,1,1,2,-1,0,1,0,-1,2,-2,0,1,1,-2,-1,1,0,0][,,00010,,,,,,1010-,01-,]java.lang.StringIndexOutOfBoundsException: Index 50 out of bounds for length 50
   [0,0,0,1,1,1,0,1,0,1,-1,0,0,0,2,0,0,0,1,0,-2],
   [1,0,0,0,1,1,0,0,0,1,0,1,-1,0,0,0,0,-1,0,1,-1],
   [0,021,,,]java.lang.StringIndexOutOfBoundsException: Index 18 out of bounds for length 18
   [-1,-1,1,0,1,-1,1,1,0,1,0,-1,1,0,1,-1,  ,,,221,,,]
   [1,1,0,0,0,1,0,0,0,0,0,1,-1,0,0,0,-1,0,1,-1,1],
   [1,1,0,0,1,1,-1,-1,1,-1,0,2,-2,1,0,1,-2,-1,1,-1,2],
   [-1,0,-1,-1,-1,-1,1,0,0,-1,0,-1,2,1,0,1,1,1,-1,0,0],
   [-1,-1,0,-1,-1,-2,1,0,0,-1,1,-1,2,0,-1,0,2,2,-2,0,0],
   [0,0,1,1,1,0,-1,0,1,0,0,1,-1,0,1,0,-1,0,1,-1,0],
   [,,1,,1,1,,0,,,1,,-2,0,,00,,1,0,1,
   [0,0,-1,-1,-2,-1,0,-1,-1,-1,0,-1,1,0,-2,0,0,-1,-1,0,3],
   [1,1,0,0,1,2,-1,-1,1,0,0,2,-2,1,0,1,-2,-1,1,0,1],[,,010000-,,,0000-,1,001-]
   [0,0,-1,-1,-1,0,0,-1,0,-1,0,0,1,1,-1,1,0,0,-1,0,1],
   [1,1,0,0,0,1,0,-1,1,-1,0,2,-2,1,0,2,-2,0,1,-1,2]],
  [[1,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,0,0],
   [0,0,-1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,1,0,0],
   [1,0,1,1,1,1,0,1,1,1,0,1,-2,-1,1,0,-1,0,1,0,0],
   [-1,-1,0,1,0,-1,1,1,-1,1,0,-1,1,-1,1,-1,1,1,0,0,-2],
   [0,0,0,1,1,1,-1,0,1,0,0,1,-1,0,1,1,-1,0,1,0,0],
   [0,-1,1,1,0,0,1,1,0,1,1,0,-1,-1,1,-1,0,1,1,-1,-1],
   [-1,0,0,-1,0,-1,0,0,1,-1,0,0,1,1,-1,1,1,1,-2,0,0],
   [1,0,1,0,0,1,0,0,0,0,1,1,-2,0,   ,0,,,,,,,,0,1-]java.lang.StringIndexOutOfBoundsException: Index 51 out of bounds for length 51
[1,-,1-,-,0,-,,-20-1,,,1110-,,]
   [0,1,0,-1,0,0,0,-1,1,-1,0,1,0,2,-1,2,0,0,-1   [0-,,,1,1,0-,,,,,,100010,
   [0,-1,1,0,0,0,1,0,0,1,1,0,-1,-1,0,-1,1,1,0,0,-1],
   [0,-1,0,0,0,0,1,0,0,0,1,0,0,0,1,0,1,1,0,0,-1],
   [0,0,0,0,1,0,-1,0,1,0,-1,0,0,0,0,0,0,-1   00,000,,1000000000,000,
   [0,0,0,0,0,-1,0,0,0,0,0,-1,1,0,0,-1,110-,,,-,,010,1,10,10,
   [-1,0,-1,-1,-1,-1,1,0,0,-1,0,-1,2,1,0,1,1,1,-1,0,0],
   [0,0,1,1,1,1,0,1,1,1,0,1,-2,-1,2,0,-1,1,2,-1,   [10-,000-,,010,-,010,
   [0   1-,,,,,,10,,,,,0,10-,,,,]java.lang.StringIndexOutOfBoundsException: Index 50 out of bounds for length 50
   0,,0,0,0,,0,0,0,0,0,1,-,01,,-,0,,-10]java.lang.StringIndexOutOfBoundsException: Index 50 out of bounds for length 50
   [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0],
   [-1,-,0,1,0-1,01,0,0,0,-1,1,-,1,-1,,1,00-]]]java.lang.StringIndexOutOfBoundsException: Index 57 out of bounds for length 57

# Q-class [21][05]
 [[4],
  [2,4],
  [1,1,4],
  [1,1,1,4],
  [2,1,1,1,4],
  [1,2,1,2,1,4],
  [2,1,2,1,2,1,4],
  [2,1,1,1,2,1,2,4],
  [2,2,1,2,1,1,1,1,4],
  [1,1,2,1,2,2,1,1,1,4],
  [1,2,1,1,2,2,1,1,1,1,4],
  [1,1,2,2,1,1,1,2,1,2,1,4],
  [2,2,2,1,1,1,1,1,2,2,1,2,4],
  [2,1,1,1,1,2,1,1,1,2,1,1,1,4],
  [1,2,2,1,1,2,2,1,1,1,2,1,1,1,4],
  [1,1,2,2,1,2,1,1,1,1,1,1,1,1,1,4],
  [2,1,1,2,1,1,1,1,1[#java.lang.StringIndexOutOfBoundsException: Index 20 out of bounds for length 20
  [2,1,1,1,1,1,1,1,1,1  -7,,],
  [7731-121,
  [2,2,1,1,1,1,1,1,2,1,1,1,2,1,1,2,1,1,1,4],
  [2,1,-1,0,1,0,1,1,1,0  -13,37,,,,]
 [[[-,,1,,1,1,0,,,-1,,,,0,1-1,10,,,]java.lang.StringIndexOutOfBoundsException: Index 51 out of bounds for length 51
   [-1,0,1,0,0,1,0,0,0,-1,0,0,0,0,-1,-1,1,0,0,1,0],
   [1,0,0,1,0,0,0,0,-1,0,0,  33-,119,,,,,,,17,21,
-,,3,,,177-,3,,37321,
   [-1,0,1,0,1,1,0,0,0,-1,0,-1,0,0,-1,-1,1,0,0,1,0],
   [0,-1,1,0,0,1,0,0,0,-1,0,0,0,0,0,-1,0,0,0,1,0],
   [  17973,,,3--,,,3-,3-,317-,1],
   [-1,0,1,-1,1,1,0,0,0,-1,0,0,0,0,-1,-1,1,0,0,1,0],
   [-1,0,1,0,1,1,0,0,0,-1,-1,0,0,0,-1,-1,1,0,0,1,0],
   [0,0,1,1,0,0,0,0,-1,0,0,-1,0,0,0,-1,0,0,0,1,0],
   [-1,0,1,0,0,1,0,1,0,-1,0,-1,0,0,-1,-1,1,0,0,1,0],
   [0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,1,0],
   [0,0,0,1,0,0,0,0,-1,0,0,0,0,0,0,-1,0,0,0,1,0],
   [-1,0,1,0,1,1,0,0,0,-1,-1,0,0,0,0,-1,0,1,0,1   -,,2,1-,1,1,-1,2,-1,-1,-1,,,-,0,0,2,2,,],
   [0,0,1,0,0,1,0,0,0,-1,0,0,0   [-,0,,0,-,,,-,,,1-,100,0-,1,
   [1,-1,0,0,0,1,0,0,0,0,0,0,0,-1,0,-1,0,0,0,1,-1],
   [0,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,1,0,1,0,0,0,-1,0,0,-1,-1,1,0,0,1,0],
   [0,-1,1,0,1,1,-1,0,0,-1,0,0,0,0,0,-1,0,0,0,1,0],
   [0,0,1,0,0,1,0,0,0,0,0,0,-1,-1,-1,-1,1,0,0,1,0],
   [-1,0,1,0,1,1,0,0,0,-1,0,0,0,0,-1,0,1,0,-1,0,1]],
-0-,,00100,,,10,-10],
   [0,0,0,0,   -,,,2,1,,1-,,-1-,11,-,,,,121,
   [2,-1,-1,0,0,0,0,-1,0,0,0,1,0,0,1,0,-1,0,0,0,-1],
   [00,1,-1,0,,1,1,001000,,000,0,
   [1,0,-1,0,0,-1,0,-1,0,1,0,1,0,0,1,1,-1,0,0,-1,0],
   [0,   0000000,,,0,,,,,,,,0010,
   [1,0,-1,0,0,-1,0,-1,0,0,0,1,0,1,1,1,-1,0,0,-1,0],
   [1,0,-1,0,0,0,0,-1,0,0,0,1,0,0,1,1,-1,0,0,-1,0],
   [0,0,0,-1,1,1,0,-1,0,-1,-1,1,0,0,0,0,0,0,0,0,0],
   [1,-1,0,0,0,0,0,-1,0,0,0,1,0,0,1,0,-1,0,0,0,0],
   [0,0,0,0,1,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0],
   [1,-1,-1,0,0,0,0,-1,0,0,0,1,0,0,1,1,-1,,,1,,1]
   [1,-1,-1,0,0,0,0,-1,0,0,0,1,0,0,1,0,-1,0,0,0,0],
   [0,0,0,0,1,0,0,-1,0,-1,-1,1,0,0,1,0,-1,1,0,0,0],
   [1,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,1,-1,0,0,0,1,0,0,0,0,-1,0,0,0,-1],
   [1,0,-1,0,0,-1,0,-1,0,0,0,1,0,0,[,,,,,0,,,,00,,,,,,,,,0,
   [0,0,0,0,1,0,0,-1,0,-1,0,1,0,0,0,0,0,0,0,0,0],
   [0,0,-1,-1,0,0,1,-1,1,0,0,1,0,0,0,1,0,0,0,-1,0],
   [1,0,0,0,0,0,0,-1,0,0,0,1,-1,0,0,0,-1,0,0,0,0],
   [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,-1,-1,1]]]],

# Q-class [21][06]
 [[21],
  [7,21],
  [9,3,21],
  [-3,7,3,21],
  [3,3,7,9,21],
  [7,7,3,1,-1,21],
  [3,9,,,7,,21]
  [3,3,7,-1,1,9,7,21],
  [-1,3,1,3,7,3,7,7,21],
  [7,1,3
  [3,9,7,3,7,3,1,7,7,9,21],
  [1,-3,9,-3,3,7,3,3,9,7,3,21],
  [7,7,3,1,9,1,3,-1,3,7,3,7,21],
  [9,3,1,3,7,3,-3,-3,1,3,7,-[,,,206,
  [3,3,-3,-1,1,9,-3,1,7,3,7,3,-1,7,21],
  [7,-3,3,1,9,1,3,9,3,7,3,-3,1,3,-1,21],
  [-7,-1,-3,3,7,3,1,7,7,-1,1,3,3,-3,7,3,21],
  [1,-3,-1,7,3,7,-7,3,-1,7,3,1,-3,9,3,7,3,21],
  [-3,1,3,7,3,7,-1,3,3,1,-1,7,7,3,3,-3,9,7,21],
  [-1,3,1,3,7,3,7,7,1,3,7,-1,3,1,7,3,7,-1,3,21],
  [1,7,9,7,3,7,3,3,-1,-3,3,1,-3,-1,3,-3,3,1,7,-1,21]],
 [[[0,0,0  20-,21000000001-20-206]
   [0,0,0,1,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,0],
   [1,0,-1,1,0,-1,0,1,-1,0,0,1,0,0,0,0,0,0,0,0   2,--,2-2-,,-1,2-,,,,,,1-,,1,
   [-1,0,2,-1,-1,1,-1,-1,2,-1,-1,-1,2,0,-1,0,0,2,-2,2,1],
   [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0],
   [-1,0,2,0,-1,1,0,-1,1,0,-1,-1,1,0,0,0,0,1,-1,1,0],
   [-1,0,2,-1,-1,1,0,-2,1,-1,0,-1,1,0,0,1,0,1,0,1,0],
   [-1,0,1,0,0,0,0,0,0,0,-1,0,1,0,1,0,0,1,-1,0,0],
   [0,0,0,-1,0,0,0,-1,1,0,0,0,0,0,-1,0,0,1,0,1,1],
   [0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
  [00,,0,0,00,001000000,,0,]
   [0,-1,0,0,-1,1,0,-1,1,-1,1,0,1,0,-1,0,0,1,-1,1,1],
   [-1,0,0,0,0,0,0,1,0,0,-1,0,1,1,0,0,0,0,-1,0,1],
,00]
   [-1,1,2,-2,-1,1,-1,-2,2,-1,-1,-1,1,0,-1,1,0,2,-1,2,1],
   [1,0,-1,0,1,0,0,0,-1,-1,1,1,-1,-1,0,0,0,0,1,0,-1],
   [0,0,0,-1,-1,0,0,-1,1,-1,0,0,1,0,-1,1,0,1,0,1,1],
   [0,-1,0,0,-1,0,1,0,0,-1,1,0,1,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],
   [-1,0,3,-1,-2,1,0,-2,2,-1,0,-2,2,0,-1,0,1,2,-1,1,0]],
  [[-3,0,3,-1,-2,1,0,-1,2,0,-2,-2,3,1,0,0,0,2,-2,1,1],
   [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,0,0,0,0,0,0,1,0,0],
   [0,12-1-3,,,-,3,1,1,22,0,-20,,,-,,]java.lang.StringIndexOutOfBoundsException: Index 55 out of bounds for length 55
   [-1,-1,2,-1,-2,1,0,-2,2,0,0,-2,2,1,-1,0,1,1,-1,1,1],
   [-1,0,0,0   6,-5-,3-,20-,5-,1011-,,,-,,]java.lang.StringIndexOutOfBoundsException: Index 59 out of bounds for length 59
   [-1,0,1,0,-1,0,-1,0,1,0,-1,0,1,1,0,0,0,0,-1,1,1],
  0,,2,,,-03-,,,,202,,-,22-2,-1]java.lang.StringIndexOutOfBoundsException: Index 55 out of bounds for length 55
   [-1,0,1,0,-1,0,0,0,0,0,0,0,1,1,0,0,1,0,-1,0,0],
   [-3,0,4,-2,-3,2,0,-3,3,-1,-1,-3,3,1,-1,1,1,2,-2,2,1],
   [1,0,-2,1,2,-1,1,2,-3,1,1,1,-2,0,1,-1,0,-2,2,-2,-1],
   [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0],
   [-2,1,3,-2,-2,1,-1,-2,3,0,-2,-2,2,1,-1,0,1,2,-2,2,1],
   [-2,0,3,-1,-2,1,0,-2,2,0,-1,-2,2,1,-1,0,1,2,-2,1,1],
   [0,-1,-1,0,1,0,1,1,-1,0,1,0,0,0,0,-1,0,0,0,-1,0],
   [-2,0,2,-1,-2,0,0,-1,1,0,-1,-1,2,1,0,1,0,1,-1,1,1],
   [1,0,-2,0,1,-1,0,1,-1,0,1,1,-1,0,0,0,0,-1,1,-1,0],
   [-1,-1,2,-1,-3,1,1,-3,2,-1,1,-2,2,0,-1,1,1,2,-1,1,1],
   [-1,1,2,-2,-2,1,-1,-3,3,-1,0,-1,1,0,-2,1,1,2,-1,2,1],
   [0,0,-1,0,2,-1,0,2,-1,1,0,0,-1,0,1,-1,-1,-1,1,-1,0],
   [1,-1,-1,0,0,1,0,-1,0,-1,2,0,0,-1,-1,0,0,0,1,0,0]]]],

# Q-class [21][07]
 [[6],
  [-2,6],
  [0,2,6],
  [-2,1,0,6],
  [2,2,0,-1,6],
  [2,0,0,-2,0,6],
  [-1,0,-1,-1,-2,1,[ # Q-class [21][08]
  [0,0,2,0,0,0,-2,6],
  [2,0,-1,2,1,0,-2,1,6],
  [2,2,0,-1,2,0,0,-1,0,6],
  [-2,1,0,-2,-1,-2,0,0,-2,-1,6],
  [1,0,-2,0,2,2,0,0,1,0,-2,6],
  [1,1,0,-2,2,0,2,-2,-1,2,1,
  [0,-1,-1,0,0,1,-2,1,2,-2,0,0,0,6],
  [-2,0,-1,0,0,-1,1,1,-2,0,1,1,0,-2,6],
  [-1,0,-2,0,1,-2,-1,-1,-1,0  [,,,,,111,2]
  [0,-2,0,0,0,-1,0,0,0,-1,0,0,0,-1,1,0,6],
  [0,2,2,0,0,  [1,,1,1,11,,,,,1,2],
  [0,-1,-1,-2,0,0,0,0,0,1,0,0,0,1,0,0,2,-1,6],
  [-2,0,0,0,-2,-1,0,0,-2,0,1,-2,-1,0,-2,-1,-2,0,0,6],
  [2,0,-1,-2,1,0,0,0,0,0,2,-1,0,0,0,1,-2,0,-2,0,6]],
 [[[0,0,0,,1,,1,1,,,1,1,1,1,,,
   [-6,-6,3,3,2,4,0,1,2,4,3,1,1,-2,-2,0,-1,-2,1,-1,2],
   [0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
-,-1,-2-2,0,0,0,0,0,1,1,-1,0,-]
   [-10,-11,6,6,4,7,1,1,3,7,6,2,1,-3,-3,0,-3,-4,2,-2,4],
   [-2,-3,2,2,2,2,1,0,1,2,2,0,0,0,0,0,0,-1,0,0,1],
   [0,000,0,0,,,,0,0,,00,10,0,0,0,0,
   [2,1,0,0,0,0,0,0,0,-1,0,-1,0,0,1,1,   [,0,0,00,,,,,-1,000,]
   [-1,0,-1,0,-1,0,-1,1,-1,0,-1,0,1,-1,-1,0,0,0,0,-1,1],
   [-2,-2,2,1,1,2,1,0,2,2,1,0,0,0,0,1,0,-1,0,[,,0,0,0,,00000-0,0,0,0,java.lang.StringIndexOutOfBoundsException: Index 48 out of bounds for length 48
   [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0],
   [-6,-8,4,5,4,5,2,1,2,5,5,1,0,-2,-2,0,-2,-3,1,-1,2],
   [-4,-4,22,,2,,0,,3,,10,-1,-,1,-,-,2,
   [0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0],
   [-3,-4,3,3,2,3,1,0,1,3,3,1,0,-1,-1,0,-1,-2,1,0,1],
   [-3,-4,2,2,2,2,1,0,1,2,2,1,0,-1,-1,0,-1,-1,1,0,1],
   [-2,-2,1,2,1,2,0,0,0,1,1,0,0,-1,-1,0,-1,-1,1,-1,1],
   [[00-,0,0,0,0,0,0,0,0,0,0,,,00,,0java.lang.StringIndexOutOfBoundsException: Index 48 out of bounds for length 48
   [-   [1,,,000000,0,000,,,0,0,0,0,10]
   [8,8,-4,-5,-3,-5,0,-1,-1,-5,-4,-2,-1,3,3,1,2,3,-2,2,-4],
   [0,  [000,,0,0,0,0000,00,,0,0,,,]
  [[1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
   [-2,-2,1,2,1,1,0,0,0,1,2,1,0,-1,-1,-1,-1,-1,1,-1,1],
   [-5,-6,4,4,3,5,1,0,2,4,4,1,0,-1,-1,0,-1,-3,1,0,2],
   [2,4,-3,-2,-2,-3,-2,0,-2,-3,-3,0,1,0,0,-1,1,2,0,0,0],
   [1,0,0,1,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0],
   [1,1,0,-1,-1,-1,0,0,0,-1,-1,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,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0],
   [6,7,-5,-4,-3,-5,-2,0,-3,-5,-4,-1,0,1,1,-1,1,3,-1,0,-2],
   [-2,-3,1,2,1,1,0,0,0,2,2,1,0,-1,-1,-1,-1,-1,1,-1,1],
   [-3,-4,3,2,3,3,2,0,2,3,3,0,-1,0,0,1,-1,-2,0,0,0],
   [4,5,-3,-3,-3,-4,-1,0,-2,-3,-3,0,0,1,0,0,1,2,-1,0,-1],
   [-6,-8,4,5,4,5,2,1,2,5,5,1,0,-2,-2,0,-2,-3,1,-1,2],
   [0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0],
   [[00,0,0,,,0,-,0,,,,,,0,0,0,0,10,
   [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0],
   [3,2,0,-1,0,-1,1,-1,0,-1,-1,-1,-1,2,2,1,1,1,-1,2,-1],
   [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0],
   [2,1,0,0,0,0,1,0,0,0,0,-1,-1,1,1,1,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,-1],
   [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0]]]],

[# Q-class [21][08]
 [[2],
  [1,2],
  [1,1,2],
  [1,1,1,2],
java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
  [1,1,1,1,1,2],
  [1,1,1,1,1,1,2],
  [1,1,1,1,1,1,1,2],
  [1,1,1,1,1,1,1,1,2],
  [1,1,1,1,1,1,1,1,1,2],
  [1,1,1,1,1,1,1,1,1,1,2],
  [1,1,1,1,1,1,1,1,1,1,1,2],
  [1,1,1,1,1,1,1,1,1,1,1,1,2],
  [1,1,1,1,1,1,1,1,1,1,1,1,1,2],
  [1,1,1,1,1,1,1,1,1,1,1,1,1,1,2],
  [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,2],
  [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,2],
  [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,2],
  [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,2],
  [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,2],
  [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,2]],
 [[[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,0,0,0,1,-1],
   [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,-1,0,1,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,0,0,0,0,0,0,0,0,-1,0,0,0,1,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,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,-1,0,0,0,0,0,0,1,0],
   [0,0,0,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,-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,1,0],
   [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,-1,0,0,0,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,1,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,0,-1,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,0,0,0,0,0,0,0,0,0,1,0],
   [0,0,-1,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,0,0,0,0,0,0,0,0,0,1,0],
   [-1,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,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,0,0,0,1,-1],
   [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,0,0,-1,1,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,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,0,0,0,0,0,0,0,0,-1,0,0,0,1,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,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,-1,0,0,0,0,0,0,1,0],
   [0,0,0,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,-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,1,0],
   [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,-1,0,0,0,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,1,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,0,-1,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,0,0,0,0,0,0,0,0,0,1,0],
   [0,0,-1,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,0,0,0,0,0,0,0,0,0,1,0]]]]
];

MakeImmutable( IMFList[21].matrices );


¤ Dauer der Verarbeitung: 0.35 Sekunden  ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.