Ziele Untersuchung
mit Columbo Integrität von
Datenbanken Interaktion und
Portierbarkeit Ergonomie der
Schnittstellen

Angebot Produkte Projekt Beratung

Mittel Analytik Modellierung Sprachen Algebra Logik Hardware Denken Kreativität

Zusammenhänge Gesellschaft Wirtschaft Branche Firma

Benutzer


products/Sources/formale Sprachen/GAP/pkg/difsets/data/groups/64/ (GAP Algebra Version 4.15.1^©) Datei vom 14.8.2019 mit Größe 45 kB

Quelle 64-92.txt Sprache: Text

## Group: [64, 92]
## Difference Sets: 422
## Time:  0:07:23.512

return [
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 18, 30, 35, 37, 39, 41,
  48, 49,50,52,54,,63,
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 20, 28, 35, 37, 39, 42,
  48, 49, 51, 54, 58, 59, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 21, 28, 35, 36, 40, 42,
  48, 49, 51, 53, 58, 59, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 15, 16, 17, 28, 36, 37, 39, 40,
  46, 49, 51, 56, 59, 60, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 15, 16, 17, 30, 34, 37, 39, 40,
  46, 49, 52, 55, 59, 60, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 15, 16, 18, 27, 36, 37, 39, 41,
  46, 49, 50, 56, 59, 60, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 15, 16, 18, 30, 33, 37, 39, 41,
  46, 49, 52, 54, 59, 60, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 15, 16, 20, 27, 34, 37, 39, 42,
  46, 49, 50, 55, 59, 60, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 15, 16, 20, 28, 33, 37, 39, 42,
  46, 49, 51, 54, 59, 60, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 15, 16, 21, 28, 33, 36, 40, 42,
  46, 49, 51, 53, 59, 60, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 15, 17, 28, 30, 32, 35, 36, 39,
  40, 46, 54, 56, 59, 60, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 15, 22, 27, 35, 36, 41, 42, 44,
  49, 50, 54, 56, 59, 61, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 16, 17, 20, 21, 28, 34, 36, 48,
  49, 51, 54, 56, 58, 59, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 14, 15, 16, 17, 28, 35, 36, 39, 40,
  44, 49, 51, 56, 59, 61, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 14, 16, 18, 19, 30, 33, 34, 38, 40,
  52, 53, 59, 60, 61, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 15, 16, 21, 28, 35, 36, 40, 42, 44,
  49, 51, 53, 54, 59, 61, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 16, 17, 19, 30, 34, 37, 38, 41, 43,
  46, 52, 53, 54, 60, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, 15, 19, 21, 22, 26, 28, 30, 36,
  50, 53, 54, 55, 58, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, 15, 19, 21, 22, 26, 28, 36, 49,
  50, 52, 53, 54, 55, 58, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, 15, 19, 26, 28, 30, 36, 37, 38,
  40, 41, 50, 53, 58, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, 15, 20, 28, 29, 30, 35, 37, 39,
  42, 47, 51, 54, 58, 60, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, 15, 21, 28, 29, 30, 35, 36, 40,
  42, 47, 51, 53, 58, 60, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, 15, 21, 29, 30, 34, 35, 36, 40,
  42, 47, 49, 55, 58, 60, 62 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, 18, 20, 22, 29, 30, 34, 35, 37,
  47, 49, 54, 56, 58, 60, 62 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, 18, 29, 30, 34, 35, 37, 39, 41,
  46, 47, 48, 49, 54, 56, 62 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, 18, 31, 32, 35, 37, 41, 45, 46,
  49, 52, 54, 55, 56, 57, 58 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, 19, 26, 28, 30, 34, 36, 37, 40,
  41, 46, 50, 53, 55, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, 20, 28, 29, 32, 34, 35, 37, 39,
  42, 47, 49, 54, 56, 58, 60 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, 21, 28, 29, 32, 34, 35, 36, 40,
  42, 47, 49, 53, 56, 58, 60 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, 22, 29, 30, 34, 35, 37, 41, 42,
  44, 47, 49, 54, 56, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 15, 16, 17, 20, 21, 29, 30, 34, 38,
  47, 49, 54, 58, 60, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 15, 16, 17, 21, 31, 38, 42, 45, 46,
  49, 51, 54, 55, 58, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 15, 16, 18, 27, 29, 31, 36, 37, 39,
  41, 48, 49, 56, 58, 59, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 15, 16, 20, 27, 29, 31, 34, 37, 39,
  42, 48, 49, 55, 58, 59, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 15, 17, 29, 30, 34, 35, 38, 39, 40,
46, , 54, 56,62 ,
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 15, 17, 29, 30, 34, 35, 39, 40, 47,
  49, 54, 55, 58, 60, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 15, 17, 31, 32, 35, 38, 40, 45, 46,
  49, 52, 54, 55, 56, 57, 58 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 15, 20, 25, 29, 31, 35, 36
  42, 43, 50, 54, 55, 58, 62 ],
1 ,,4, 5 ,7, 10,,13,16,,, 21,28,29  ,36,
  47, 51, 54, 56, 58, 60, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 16, 17, 28, 29, 32, 34, 37, 39, 40,
  46, 47, 48, 49, 53, 56, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 16, 17, 30, 31, 32, 34, 37, 38, 40,
  45, 46, 55, 57, 58, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 16, 18, 20, 22, 27, 29, 31, 34, 37,
  48, 49, 53, 56, 58, 59, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 16, 18, 30, 31, 32, 33, 37, 38, 41,
  45, 46, 54, 57, 58, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 17, 20, 21, 28, 29, 32, 34, 35, 36,
  37, 47, 49, 56, 58, 60, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 17, 28, 29, 32, 34, 35, 39, 40, 47,
  49, 53, 54, 56, 58, 60, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 19, 24, 25, 26, 28, 30, 36, 40, 41,
474850,,58 ,64]java.lang.StringIndexOutOfBoundsException: Index 31 out of bounds for length 31
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 19, 24, 25, 28, 30, 31, 36, 40, 41,
  ,,52 53,58,60, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 19, 24, 25, 28, 31, 36, 40, 41, 45,
  46, 47, 49, 53, 60, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 19, 24, 26, 28, 30, 36, 40, 41, 44,
  46, 47, 50, 53, 60, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 19, 24, 28, 30, 31, 36, 40, 41, 44,
  45, 47, 48, 52, 53, 58, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 19, 24, 28, 31, 36, 40, 41, 44, 45,
  46, 47, 48, 49, 53, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 14, 15, 16, 17, 19, 29, 38, 41, 44, 47,
  49, 52, 54, 56, 58, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 14, 15, 16, 17, 29, 32, 35, 36, 39, 40,
  47, 51, 56, 58, 60, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 14, 15, 16, 20, 29, 32, 33, 35, 39, 42,
  47, 51, 54, 58, 60, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 14, 15, 19, 21, 22, 26, 27, 28, 35, 52,
  53, 54, 55, 56, 58, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 14, 15, 19, 21, 22, 26, 30, 33, 35, 36,
  49, 50, 51, 53, 55, 58, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 14, 15, 19, 21, 22, 26, 30, 33, 35, 49,
  ,,64 ]
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 14, 15, 21, 28, 29, 30, 33, 34, 36, 40,
  42, 47, 51, 54, 55, 58, 60 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 14, 15, 21, 29, 30, 33, 36, 40, 42, 47,
  49, 53, 54, 58, 60, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 14, 16, 17, 25, 28, 29, 32, 34, 35, 39,
  40, 47, 49, 53, 56, 61, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 14, 17, 21, 25, 28, 32, 34, 42, 45, 47,
  48, 50, 51, 58, 59, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 14, 17, 21, 25, 32, 34, 42, 44, 45, 47,
  48, 49, 50, 59, 60, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 14, 17, 29, 30, 34, 37, 39, 40, 46, 47,
  48, 49, 53, 54, 56, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 14, 19, 21, 22, 26, 27, 28, 34, 35, 36,
  38, 52, 54, 58, 62, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 14, 19, 21, 22, 26, 30, 33, 34, 35, 36,
  38, 49, 50, 51, 53, 58, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 14, 21, 23, 28, 29, 30, 34, 40, 42, 45,
  46, 47, 48, 51, 53, 58, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 14, 21, 23, 28, 29, 32, 34, 40, 42, 45,
  46, 47, 49, 53, 58, 60, 61 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 14, 21, 23, 29, 30, 34, 40, 42, 44, 45,
  46, 47, 48, 49, 53, 60, 62 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 14, 21, 23, 29, 32, 40, 42, 45, 46, 47,
  51, 55, 58, 60, 61, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 14, 21, 26, 28, 29, 30, 40, 42, 43, 45,
  46, 51, 55, 58, 60, 61, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 14, 21, 29, 30, 34, 40, 42, 43, 46, 47,
  48, 49, 53, 58, 59, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 15, 16, 17, 19, 24, 29, 36, 37, 38, 41,
  49, 52, 54, 58, 60, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 15, 16, 20, 21, 23, 31, 33, 34, 35, 38,
  40, 46, 49, 51, 53, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 15, 18, 20, 22, 23, 24, 26, 29, 30, 47,
  49, 54, 58, 59, 60, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 15, 18, 20, 22, 23, 26, 27, 29, 30, 46,
  50, 54, 58, 59, 60, 61, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 15, 18, 20, 22, 23, 26, 27, 29, 31, 46,
  47, 49, 54, 58, 60, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 15, 18, 22, 26, 27, 31, 33, 42, 44, 46,
  4750 51,59 60,63  ]
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 15, 18, 23, 26, 27, 29, 31, 39, 41, 46,
  47, 48, 49, 54, 58, 61, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 15, 18, 23, 29, 30, 39, 41, 43, 45, 47,
  49, 54, 58, 59, 60, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 15, 18, 25, 26, 29, 31, 39, 41, 45, 46,
  47, 50, 54, 58, 61, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 15, 20, 22, 26, 27, 31, 41, 43, 44, 47,
  50, 51, 53, 54, 60, 61, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 15, 20, 23, 24, 26, 28, 29, 32, 39, 42,
  47, 49, 54, 58, 59, 60, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 15, 20, 23, 25, 27, 29, 30, 39, 42, 45,
  47, 48, 50, 54, 58, 60, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 15, 20, 23, 26, 27, 29, 31, 39, 42, 44,
  47, 48, 49, 54, 58, 60, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 15, 20, 24, 26, 29, 32, 39, 42, 43, 45,
  47, 51, 54, 58, 60,[1, 2, 3 , 6 ,9,,,16,18,  ,26, ,,,37 ,46,
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 15, 20, 25, 26, 29, 31, 39, 42, 44, 45,
  47, 50, 54, 58, 60, 62, 63 ],
[ 1, 2, 3, 4, 5, [1,2,, ,6,8 ,10 ,16, 18  ,26,,37 ,,45, ,
  50, 54, 58, 59, 60, 61, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 15, 22, 23, 25, 27, 29, 30, 41, 42, 45,
  47, 50, 54, 58, 61, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 15, 22, 23, 25, 29, 30, 41, 42, 43, 45,
  47, 49, 54, 59, 61, 62, 63 ],
[1, 2, 3, 4, 5, 6,7,8,9,10 11,16,19 ,22 ,25,27 ,4751
  53, 58, 59, 60, 61, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 16, 19, 21, 22, 23, 25, 27, 46, 47, 49,
    ,48 ,52,57,58, 64 ,
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 16, 19, 21, 22, 23, 27, 30, 44, 46, 47,
  8 51, 53, 59,,63  java.lang.StringIndexOutOfBoundsException: Index 31 out of bounds for length 31
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 16, 19, 21, 22, 23, 27, 44, 47, 48, 49,
  51, 52, 53, 58, 59, 61, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 16, 19, 21, 22, 24, 25, 27, 28, 45, 52,
  53, 58, 59, 60, 61, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 16, 19, 21, 22, 24, 25, 27, 44, 45, 49,
  51, 52, 53, 59, 61, 63, 64 ],
[ 1,2 3, 4,56,7, 8, 910, 11, ,19  ,24,27,28 ,,46
  48, 52, 53, 59, 62, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 16, 19, 21, 22, 24, 27, 45, 46, 48, 49,
  51, 52, 53, 58, 59, 60, 63 ],
[ 1, 2,3,4,56,7,8,9,10 ,16,19, ,22, 25 ,,,,46,
  47, 52, 53, 60, 62, 63, 64 ],
,2 3 ,5, 6 ,8,9,10,11,16  ,22 27,,,44 ,47,
  48, 52, 53, 58, 61, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 18, 23, 26, 30, 31, 33, 34, 41, 45, 46,
  47, 51, 52, 56, 57, 59, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 18, 23, 29, 31, 38, 39, 41, 43, 44, 45,
  46, 50, 53, 54, 58, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 18, 25, 26, 27, 31, 33, 34, 41, 46, 47,
  48, 50, 51, 56, 57, 59, 64 ]  49,50, 51,5257,,61 ]
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 20, 24, 29, 31, 38, 39, 42, 43, 44, 46,
  47, 50, 53, 54, 58, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 14, 15, 18, 20, 22, 28, 30, 35, 37,
  48, 49, 54, 58, 59, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 14, 15, 21, 28, 30, 34, 35, 38, 40,
  42, 48, 49, 53, 58, 59, 62 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 14, 15, 21, 34, 35, 36, 40, 42, 44,
  49, 51, 52, 55, 59, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 14, 15, 21, 35, 38, 40, 42, 48, 49,
  51 52,,58, 59, 62,  ]
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 14, 15, 22, 25, 28, 30, 35, 37, 41,
  42, 49, 54, 59, 62, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 15, 17, 28, 30, 34, 35, 39, 40, 46,
  49, 54, 55, 59, 60, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 14, 15, 16, 17, 30, 32, 34, 35, 39, 40,
  46, 52, 55, 59, 60, 62, 64 ]
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 15, 18, 20, 22, 23, 24, 28, 30, 45, 47,
  48, 49, 54, 58, 59, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 15, 18, 24, 25, 27, 28, 30, 39, 41, 46,
  47, 48, 50, 54, 59, 60, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 15, 20, 24, 27, 28, 30, 39, 42, 46, 47,
  50 2 3,4 5, 6  9,,14, 16  23,25 ,32  39 ,41,44
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 15, 22, 23, 24, 25, 28, 30, 41, 42, 45,
  47, 49, 54, 59, 62, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 16, 17, 19, 25, 30, 34, 36, 37, 38, 41,
  43, 49, 51, 54, 56, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 18, 24, 25, 27, 29, 41, 44, 45, 46, 47,
  49, 52, 54, 55, 56, 57, 61 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 14, 15, 19, 21, 22, 26, 30, 32, 36, 50,
  51, 53, 54, 55, 58, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 14, 15, 19, 21, 22, 28, 31, 34, 45, 46,
  51, 52, 53, 54, 56, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 14, 15, 19, 21, 22, 28, 31, 34, 45, 51,
  52, 53, 54, 56, 58, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 14, 15, 19, 26, 30, 32, 36, 37, 38, 40,
  41, 50, 51, 53, 58, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 14, 15, 20, 21, 28, 31, 35, 40, 45, 48,
  49, 51, 52, 53, 56, 60, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 14, 15, 20, 22, 28, 31, 35, 37, 41, 45,
  49, 51, 52, 53, 54, 61, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 14, 15, 21, 28, 29, 30, 34, 35, 38, 40,
  42, 47, 49, 52, 53, 58, 60 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 14, 18, 22, 28, 30, 31, 35, 37, 38, 42,
  45, 46, 51, 54, 58, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 14, 19, 21, 22, 28, 31, 38, 45, 46, 51,
  52, 53, 54, 55, 56, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 14, 19, 21, 22, 28, 31, 38, 45, 51, 52,
  53, 54, 55, 56, 58, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 14, 19, 26, 30, 32, 34, 36, 37, 40, 41,
  46, 50, 51, 53, 55, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 15,17, 0, 21 , 29,30, 34 35, 37
  38, 47, 49, 52, 58, 60, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 16, 20, 21, 28, 30, 31, 33, 34, 36, 40,
  45, 48, 51, 56, 60, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 16, 20, 28, 29, 31, 34, 37, 38, 39, 42,
  43, 44, 46, 50, 52, 53, 55 ],
[ 1, 2, 3, 4, 5, 6, 7, 8java.lang.StringIndexOutOfBoundsException: Index 31 out of bounds for length 31
  48, 50, 51, 53, 58, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 19, 24, 25, 30, 31, 32, 36, 40, 41, 45,
  47, 51, 52, 53, 58, 60, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 19, 24, 25, 31, 32, 36, 40, 41, 45, 46,
  47, 49, 51, 53, 60, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 19, 24, 26, 30, 32, 36, 40, 41, 44, 46,
  47, 50, 51, 53, 60, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 19, 24, 30, 31, 32, 36, 40, 41, 44, 45,
  47, 48, 51, 52, 53, 58, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 19, 24, 31, 32, 36, 40, 41, 44, 45, 46,
  47, 48, 49, 51, 53, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 14, 15, 16, 17, 18, 19, 31, 32, 38, 45, 46,
  49, 51, 53, 54, 56, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 14, 15, 16, 17, 18, 19, 31, 32, 38, 45, 49,
  51, 53, 54, 56, 58, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 14, 15, 17, 18, 19, 30, 31, 32, 35, 37, 45,
  46, 51, 52, 53, 55, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 14, 15, 17, 18, 19, 30, 31, 32, 35, 37, 45,
  51, 52, 53, 55, 58, 61, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 14, 15, 17, 18, 19, 31, 32, 35, 36, 37, 45,
  46, 49, 51, 55, 56, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 14, 15, 17, 18, 19, 31, 32, 35, 36, 37, 45,
  9 51,55 56 58, 61,62]
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 14, 15, 19, 21, 22, 26, 27, 30, 32, 35, 49,
  51, 53, 54, 55, 56, 58, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 14, 16, 17, 18, 19, 30, 31, 32, 34, 45, 46,
  51, 52, 53, 54, 55, 56, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 14, 16, 17, 18, 19, 30, 31, 32, 34, 45, 51,
  52, 53, 54, 55, 56, 58, 61 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 14, 16, 17, 19, 29, 30, 34,40,43, 45,46,
  49, 51, 52, 53, 54, 55, 61 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 14, 19, 21, 22, 26, 27, 30, 32, 34, 35, 36,
  38, 49, 51, 54, 58, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 14, 21, 23, 25, 28, 29, 30, 34, 40, 42, 45,
  47, 48, 49, 52, 53, 58, 60 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 14, 21, 28, 29, 30, 34, 40, 42, 43, 46, 47,
  49, 52, 53, 58, 59, 60, 61 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 15, 16, 17, 19, 24, 29, 30, 32, 36, 37, 38,
  41, 44, 49, 54, 62, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 15, 16, 17, 19, 29, 30, 32, 33, 36, 37, 38,
  ,,49,53,60, 62 64],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 15, 16, 17, 20, 21, 29, 32, 33, 34, 35, 38,
  47, 49, 52, 58, 60, 9,10,15,16 20,26, 32
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 16, 17, 19, 24, 25, 29, 30, 34, 36, 37, 41,
  49, 51, 52, 54, 55, 61, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 16, 17, 19, 24, 28, 29, 30, 34, 36, 37, 41,
  46, 48, 52, 54, 55, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 16, 17, 19, 25, 28, 29, 30, 33, 34, 37, 41,
  46, 47, 52, 55, 56, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 16, 17, 20, 21, 28, 29, 32, 33, 34, 35, 36,
  47, 51, 52, 56, 58, 60, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 16, 19, 21, 22, 24, 25, 27, 30, 32, 45, 49,
  51, 53, 58, 59, 60, 61, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 16, 19, 21, 22, 24, 27, 30, 32, 44, 45, 46,
  48, 49, 51, 53, 59, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 16, 19, 21, 22, 25, 27, 30, 32, 43, 45, 46,
  47, 49, 51, 53, 60, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 16, 19, 21, 22, 27, 30, 32, 43, 44, 45, 47,
  48, 49, 51, 53, 58, 61, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 17, 18, 19, 24, 25, 26, 31, 32, 35, 36, 46,
  48, 49, 51, 59, 62, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 17, 18, 19, 24, 25, 26, 31, 32, 35, 46, 48,
  49, 51, 53, 56, 59, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 17, 18, 19, 24, 26, 30, 31, 32, 35, 36, 44,
  46, 51, 52, 59, 60, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 17, 18, 19, 24, 26, 30, 31, 32, 35, 44, 46,
  ,,53,56,59,60,64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 17, 18, 19, 24, 30, 31, 32, 35, 36, 44, 45,
  47, 48, 51, 52, 58, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 17, 18, 19, 24, 30, 31, 32, 35, 44, 45, 47,
  , ,53, ,58,64 ]
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 17, 18, 19, 24, 31, 32, 35, 36, 44, 45, 46,
  47, 48, 49, 51, 61, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 17, 18, 19, 24, 31, 32, 35, 44, 45, 46, 47,
  4849, 51,53,56,,62 ,
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, 20, 28, 31, 35, 36, 37, 39, 42,
  43, 44, 46, 51, 54, 55, 62 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 14, 17, 21, 25, 26, 28, 29, 30, 42, 43,
  44 53 55,58,59 61 62]
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 14, 17, 21, 25, 26, 28, 29, 42, 43, 44,
  46, 49, 52, 53, 55, 59, 64 ],
[ 1, 2, 3, 4, 5,  5 47,50 52, 58,61, ,
  56, 57, 58, 59, 60, 61, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 13, 16, 18, 24, 25, 29, 31, 33, 37, 38, 39,
  41, 46, 49, 52, 53, 54, 62 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 13, 14, 15, 19, 21, 22, 24, 25, 26, 34, 36, 52,
  54, 58, 59, 60, 62, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 13, 14, 15, 19, 21, 22, 24, 26, 34, 36, 44, 48,
  52, 54, 58, 59, 62, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 13, 14, 15, 19, 21, 22, 24, 34, 44, 45, 46, 47,
  52, 53, 54, 56, 60, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 13, 14, 15, 19, 21, 22, 24, 34, 44, 45, 47, 52,
  53, 54, 56, 58, 60, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 13, 14, 15, 19, 24, 25, 34, 36, 37, 40, 41, 45,
  47, 52, 56, 58, 60, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 13, 14, 15, 19, 24, 25, 34, 37, 40, 41, 45, 46,
  47, 52, 53, 60, 61, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 13, 14, 15, 19, 24, 34, 36, 37, 40, 41, 44, 45,
  47, 48, 52, 56, 58, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 13, 14, 15, 19, 24, 34, 37, 40, 41, 44, 45, 46,
  47, 48, 52, 53, 61, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8,9, 13,14, , 0 22, 24,35 , 41, ,,47
  49, 52, 53, 54, 60, 61, 64 ],
[ 1, 2, 3, 4,49,50,,52, 5658,64]java.lang.StringIndexOutOfBoundsException: Index 31 out of bounds for length 31
  45, 46, 49, 53, 58, 60, 62 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 19, 24, 25, 31, 32, 40, 41, 43, 45,
  46, 49, 56, 58, 60, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 19, 24, 31, 32, 36, 40, 41, 43, 44,
  45, 46, 48, 49, 53, 58, 62 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 19, 24, 31, 32, 40, 41, 43, 44, 45,
  46, 48, 49, 56, 58, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 10, 11, 13, 14, 15, 18, 23, 30, 35, 37, 39, 41, 45,
  46, 47, 54, 58, 60, 61, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 10, 11, 13, 14, 15, 18, 25, 30, 35, 37, 39, 41, 43,
  47,  3,4 ,6,8,,10, 15,17, ,23, 29 ,,,44, 45,46,
[ 1, 2, 3, 4, 5, 6, 7, 8, 10, 11, 13, 15, 20, 21, 28, 29, 31, 34, 35, 36, 37,
  40, 45, 49, 55, 61, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 10, 11, 14, 16, 17, 19, 23, 34, 41, 44, 45, 46, 47,
  52, 54, 55, 56, 58, 61, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 10, 11, 14, 16, 17, 19, 25, 34, 41, 43, 44, 47, 48,
  52, 54, 55, 56, 58, 59, 63 ],
,2 3, , , ,7,10, ,15,16,17 28, 29, 31, 28, 29, 31 33 35,38,
  42, 46, 49, 55, 62, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 10, 14, 15, 16, 17, 19, 23, 26, 28, 38, java.lang.StringIndexOutOfBoundsException: Index 66 out of bounds for length 31
  54, 56, 58, 59, 61, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 10, 14, 15, 16, 17, 19, 23, 36, 38, 41, 45, 47, 48,
  49, 51, 53, 54, 58, 61, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 10, 14, 15, 16, 17, 19, 26, 28, 33, 36, 38, 41, 44,
  45, 46, 59, 61, 62, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 10, 14, 15, 16, 17, 19, 26, 38, 41, 43, 44, 45, 46,
  49, 51, 54, 56, 58, 61, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 10, 14, 16, 17, 19, 23, 26, 30, 32, 34, 36, 41, 48,
  53, 54, 55, 58, 59, 61, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 10, 14java.lang.StringIndexOutOfBoundsException: Index 32 out of bounds for length 31
  46, 48, 55, 58, 59, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 12, 13, 14, 15, 19, 21, 22, 23, 24, 25, 34, 36, 46,
  49, 54, 58, 59, 60, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 12, 13, 14, 15, 19, 21, 22, 23, 24, 25, 34, 36, 49,
  54, 59, 60, 61, 62, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 12, 13, 14, 15, 19, 21, 22, 23, 24, 34, 36, 44, 46,
  4849,54, ,59, 62  java.lang.StringIndexOutOfBoundsException: Index 31 out of bounds for length 31
[ 1, 2, 3, 4, 5, 6, 7, 8, 12, 13, 14, 15, 19, 21, 22, 23, 24, 36, 48, 49, 53,
  54, 55, 58, 59, 60, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 12, 13, 14, 15, 19, 21, 22, 23, 24, 48, 49, 54, 55,
  56, 58, 59, 60, 61, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 12, 13, 14, 15, 19, 21, 22, 23, 25, 34, 36, 43, 46,
  47, 49, 54, 58, 60, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 12, 13, 14, 15, 19, 21, 22, 23, 34, 36, 43, 44, 47,
  48, 49, 54, 61, 62, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 12, 13, 14, 15, 19, 21, 22, 23, 43, 46, 47, 48, 49,
  54, 55, 56, 60, 62, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 12, 13, 14, 15, 19, 21, 22, 24, 25, 33, 34, 45, 49,
  56, 58, 59, 60, 61, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 12, 13, 14, 15, 19, 21, 22, 24, 33, 34, 44, 45, 46,
  48,1 2 3 ,5, 6 ,9,10,15,,20, 23,28, 29 , 43,45,46,
[ 1, 2, 3, 4, 5, 6, 7, 8, 12, 13, 14, 15, 19, 21, 22, 25, 33, 34, 43, 45, 46,
  47, 49, 56, 60, 62, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 12, 13, 14, 15, 19, 21, 22, 33, 34, 43, 44, 45, 47,
  48, 49, 56, 58, 61, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 12, 13, 14, 15, 19, 24, 25, 36, 37, 38, 40, 41, 43,
  45 46, ,53,58,60,62 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 12, 13, 14, 15, 19, 24, 36, 37, 38, 40, 41, 43, 44,
  45,  53, 58, 62 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 12, 13, 14, 19, 24, 25, 30, 34, 36, 37, 40, 41, 43,
  45, 46, 52, 53, 55, 58, 60 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 12, 13, 14, 19, 24, 30, 34, 36, 37, 40, 41, 43, 44,
  45, 46, 48, 52, 53, 55, 58 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 13, 14, 16, 19, 22, 30, 31, 34, 37, 39, 41,
  45, 51, 52, 53, 54, 61, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 13, 14, 16, 20, 25, 26, 28, 30, 35, 37, 39,
  40, 41, 48, 50, 53, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 13, 14, 16, 20, 25,
  40,41, ,, 53 ,63],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 13, 14, 16, 20, 26, 28, 30, 34, 35, 37, 39,
  40, 41, 46, 50, 55, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 13, 14, 16, 20, 28, 30, 31, 35, 37, 39, 40,
  41, 44, 45, 48, 52, 53, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 13, 14, 16, 25, 26, 28, 30, 35, 37, 40, 41,
  42, 48, 50, 53, 57, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 13, 14, 16, 25, 28, 30, 31, 35, 37, 40, 41,
  42, 45, 52, 53, 57, 60, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 13, 14, 16, 26, 28, 30, 34, 35, 37, 40, 41,
  42, 46, 50, 55, 57, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 13, 14, 16, 28, 30, 31, 35, 37, 40, 41, 42,
  44, 45, 48, 52, 53, 57, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 13, 15, 16, 17, 19, 20, 28, 29, 32, 40, 46,
  47, 48, 49, 53, 54, 56, 63 ],
[ 1, 2 3 4, , 6, 8 ,10, 13,15 16 ,19,22,,32 ,45,47
  50, 52, 53, 56, 57, 59, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 13, 15, 16, 19, 22, 25, 27, 29, 30, 41, 47,
  50, 53, 54, 56, 57, 61, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 13, 15, 16, 19, 30, 32, 33, 34, 38, 39, 42,
  45, 47, 50, 52, 57, 59, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 13, 15, 16, 20, 24, 26, 28, 30, 35, 38, 39,
  40, 41, 47, 50, 53, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 13, 15, 16, 20, 26, 28, 30, 33, 35, 38, 39,
  40, 41, 46, 50, 54, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 13, 15, 16, 20, 26, 28, 30, 35, 36, 38, 39,
  40, 41, 43, 50, 56, 59, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 13, 15, 16, 24, 26, 28, 30, 35, 38, 40, 41,
  42, 47, 50, 53, 57, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 13, 15, 16, 26, 28, 30, 33, 35, 38, 40, 41,
  42, 46, 50, 54, 57, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 13, 15, 16, 26, 28, 30, 35, 36, 38, 40, 41,
  42, 43, 50, 56, 57, 59, 62 ],
[ , 2 3 4 ,6,9, 10, 11,,,17,19,20,28,29 , 35,37 ,java.lang.StringIndexOutOfBoundsException: Index 78 out of bounds for length 78
  46, 47, 48, 51, 53, 56, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 13, 15, 17, 19, 20, 29, 30, 34, 35, 37, 40,
  46, 47, 48, 49, 55, 56, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 13, 15, 18, 19, 20, 27, 29, 30, 35, 37, 41,
  46, 47, 48, 50, 53, 56, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 13, 15, 18, 19, 20, 29, 30, 33, 35, 37, 41,
  46, 47, 48, 49, 54, 56, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 13, 15, 19, 20, 27, 29, 30, 34, 35, 37, 39,
  46, 47, 48, 50, 55, 56, 57 ],
[1, 2, 3, 4,,6, 8,9, ,,13,15 ,20 ,29,30,33,35,37,39,
  46, 47, 48, 51, 54, 56, 57 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 13, 16, 17, 19, 30, 31, 34, 38, 40, 42, 45,
  46, 51, 52, 54, 55, 56, 58 ],
[1,2,3 4 5,68,9 10,11 13 ,18,19,30, 32, 33, 34, 36,41,42
  45, 47, 50, 52, 56, 59, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 13, 16, 19, 22, 30, 32, 33, 36, 38, 39, 41,
  45, 47, 50, 52, 53, 59, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 13, 16, 20, 24, 25, 26, 28, 30, 35, 39, 40,
  41, 47, 48, 50, 58, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 13, 16, 20, 24, 25, 28, 30, 31, 35, 39, 40,
  41, 45, 47, 52, 58, 60, 64 ],
[   51, 52, 56 57 ,59 60],
  45, 46, 47, 49, 60, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 13, 16, 20, 24, 26, 28, 30, 34, 35, 36, 39,
  40, 41, 47, 50, 55, 56, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 13, 16, 20, 24, 28, 30, 31, 35, 39, 40, 41,
  44, 45, 47, 48, 52, 58, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 13, 16, 20, 24, 28, 31, 35, 39, 40, 41, 44,
  45, 46, 47, 48, 49, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 13, 16, 20, 25, 26, 28, 30, 33, 35, 36, 39,
  40, 41, 48, 50, 54, 56, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 13, 16, 22, 25, 27, 29, 35, 38, 39, 40, 46,
  47, 50, 52, 53, 55, 56, 57 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 13, 16, 24, 25, 26, 28, 30, 35, 40, 41, 42,
  47, 48, 50, 57, 58, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 13, 16, 24, 25, 28, 30, 31, 35, 40, 41, 42,
  45, 47, 52, 57, 58, 60, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 13, 16, 24, 25, 28, 31, 35, 40, 41, 42, 45,
  46, 47, 49, 57, 60, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 13, 16, 24, 26, 28, 30, 34, 35, 36, 40, 41,
  42, 47, 50, 55, 56, 57, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 13, 16, 24, 26, 28, 30, 35, 40, 41, 42, 44,
  46, 47, 50, 57, 60, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 13, 16, 24, 28, 30, 31, 35, 40, 41, 42, 44,
  45, 47, 48, 52, 57, 58, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 13, 16, 24, 28, 31, 35, 40, 41, 42, 44, 45,
  46, 47, 48, 49, 57, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 13, 16, 25, 26, 28, 30, 33, 35, 36, 40, 41,
  42, 48, 50, 54, 56, 57, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 13, 16, 26, 28, 30, 34, 35, 40, 41, 42, 43,
  50, 53, 55, 57, 59, 62, 63 ],
[[1,,3 4, 5 68,,10,16,20 ,39,40,41,
  39, 46, 47, 48, 50, 56, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 13, 18, 19, 22, 30, 31, 33, 35, 37, 38, 45,
  46, 51, 52, 54, 56, 57, 58 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 13, 20, 21, 25, 26, 27, 29, 36, 41[1,2 ,4,,6 ,9 ,23,25 26 28,,36, 39 40, 41 43
  45, 50, 52, 59, 60, 61, 63 ],
1 2,,4,5 6,8 , ,11,13,20,22, 25 ,28,29 32,33, 37, ,
  42, 45, 58, 59, 61, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 13, 20, 22, 25, 26, 29, 33, 37, 40, 42, 44,
  45, 48, 49, 52, 59, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 13, 20, 22, 26, 28, 29, 33, 37, 40, 42, 44,
  45, 46, 51, 52, 59, 61, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 11  45, 47 ,52 56 ,61]
  46, 48, 49, 51, 58, 59, 64 ],
[ 1, 2, 3, 4 5,6 8 9, 10 16, 20,25,26 ,32 ,39 ,41, ,,
  45, 50, 52, 58, 59, 61, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 14, 15, 16, 20, 23, 26, 28, 30, 37, 38, 39,
  40, 41, 45, 50, 53, 62, 63 ],
[ 1, 2, 3[ 1 ,3,4,,6,89 10 17 19 20,23,25 26 ,,36 37 ,40
  42, 45, 50, 53, 57, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 14, 16, 20, 23, 25, 26, 28, 30, 37, 39, 40,
  41, 45, 48, 50, 58, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 14, 16, 20, 23, 26, 28, 30, 37, 39, 40, 41,
  44, 45, 46, 50, 60, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 14, 16, 23, 25, 26, 28, 30, 37, 40, 41, 42,
  45, 48, 50, 57, 58, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 14, 16, 26, 28, 30, 37, 40, 41, 42, 43, 46,
  50, 57, 58, 59, 61, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 15, 16, 20, 23, 24, 26, 28, 30, 38, 39, 40,
  41, 45, 47, 50, 58, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 15, 16, 20, 23, 26, 28, 30, 38, 39, 40, 41,
  43, 45, 46, 50, 59, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 15, 16, 23, 24, 26, 28, 30, 38, 40, 41, 42,
  45, 47, 50, 57, 58, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 15, 16, 23, 26, 28,[1,2,,4,,6,8,,10, 17,19 20 ,, ,29,,,37,38 ,
  45, 46, 50, 57, 59, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 15, 16, 24, 26, 28, 30, 38, 40, 41, 42, 43,
  44,47,50, 57, 59, , 62 ,
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 15, 16, 26, 28, 30, 38, 40, 41, 42, 44, 46,
  50, 57, 58, 60, 61, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 15, 17, 19, 20, 23, 29,   45, 46 , 52,60 61, 62 ],
  46, 47, 48, 49, 56, 60, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 15, 17, 19, 20, 28, 29, 30, 33, 34, 37, 40,
  46, 47, 45 47,50,52,,62,64 ]
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 15, 17, 19, 20, 28, 29, 30, 37, 40, 43, 44,
  46,48,51,56,59,60 ]
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 15, 17, 19, 20, 29, 30, 33, 37, 40, 46, 47,
  48, 49, 53, 54, 56, 62, 63 ],
2, ,4 ,6,8,10 11,,18,19 ,23, ,30,37 41, ,45
  46, 47, 48, 49, 56, 59, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 15, 19, 20, 23, 28, 29, 30, 37, 39, 43, 45,
  46, 47, 48, 51, 56, 57, 59 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 16, 18, 22, 25, 27, 29, 33, 38, 40, 41, 46,
  47, 50, 52, 53, 54, 55, 56 ],
[ 1 2,3, 4, 5, 6,8,9,10 ,16,2023,24,26,28 ,36,39,, ,
  44, 45, 47, 50, 56, 60, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 16, 20, 23, 25, 26, 28, 30, 33, 39, 40, 41,
  45, 46, 48, 50, 54, 61, 62 ],
[1 ,3, ,5, ,8 , 10, 11,  ,23,25, 26 , 30, ,,40,41,
  43, 45, 48, 50, 56, 59, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 16, 23, 24, 26, 28, 30, 36, 40, 41, 42, 44,
  45, 47, 50, 56, 57, 60, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 16, 23, 25, 26,[1, ,3,4,5 6,8 9 10,18,19,20,23 ,28,,36,37 ,41, java.lang.StringIndexOutOfBoundsException: Index 78 out of bounds for length 78
  46, 48, 50, 54, 57, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 16, 23, 26, 28, 30, 33, 40, 41, 42, 44, 45,
  50, 54, 57, 58, 60, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 16, 24, 26, 28, 30, 33, 40, 41, 42, 46, 47,
  50, 54, 57, 58, 61, 62, 64 ],
26, 28 30 36,40,41,,47
  50, 56, 57, 58, 59, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 17, 19, 23, 25, 26, 32, 37, 38, 40, 42, 45,
  46, 49, 50, 56, 58, 60, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 18,19, 22 30 ,,37,38 45 , 51,
  52, 53, 55, 56, 57, 58, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 20, 21, 22, 23, 24, 26, 28, 30, 35, 39, 44,
  45, 47, 50, 53, 56, 60, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 20, 21, 22, 23, 24, 26, 28, 35, 39, 44, 45,
  47, 49, 50, 52, 53, 56, 60 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 20, 21, 22, 24, 26, 28, 30, 35, 39, 43, 47,
  50, 53, 56, 58, 59, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 20, 21, 22, 24, 26, 28, 35, 39, 43, 47, 49,
  50, 52, 53, 56, 58, 59, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 13, 15, 17, 20, 25, 26, 29, 31, 37, 41, 48,
  49, 53, 54, 55, 56, 57, 62 ],
[1,2 3, 4 5 ,8,9,10 ,13, ,17,20,26 ,29, ,37, ,46,
  51, 53, 54, 55, 56, 57, 61 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 13, 15, 17, 25, 26, 29, 31, 36, 37, 39, 41,
  42, 48, 49, 54, 55, 62, 63 ],
[ 1, 2, 3,4, 5,6, 8 9 10, 12,13,15, 17 26 , 29,31 37, ,41
  42, 46, 51, 54, 55, 61, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 13, 17, 25, 26, 29, 31, 34, 37, 38, 39, 41,
  42, 48, 49, 53, 54, 56, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 13, 17, 26, 28, 29, 31, 34, 37, 38, 39, 41,
  42, 46, 51, 53, 54, 56, 61 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 14, 15, 17, 18, 25, 26, 29, 31, 35, 42, 48,
  49, 53, 54, 55, 56, 57, 62 ],
[,2 java.lang.StringIndexOutOfBoundsException: Index 78 out of bounds for length 78
  42, 48, 49, 54, 57, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 14, 17, 18, 26, 28, 29, 31, 34, 35, 36, 38,
  42, 46, 51, 54, 57, 61, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 15, 16, 17, 18, 24, 25, 29, 31, 38, 42, 45,
  49, 57, 58, 59, 60, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 15, 16, 17, 18, 24, 29, 31, 38, 42, 44, 45,
  46, 48, 49, 57, 59, 62, 64 ],
[1,2 ,4,,6, ,10,12,15,16 18 ,24, 28,31 33 40 ,,
  48, 49, 50, 54, 55, 56, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 15, 17, 18, 26, 28, 29, 31, 33, 35, 36, 37,
  42, 46, 51, 55, 57, 61, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 15, 18, 19, 22, 26, 31, 37, 39, 45, 48, 49,
  50, 51, 56, 58, 59, 61, 64 ],
[   45 47 , 52 ,60,,
  51, 56, 57, 58, 59, 60, 61 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 16, 17, 18, 24, 28, 29, 31, 36, 42, 44, 45,
  46, 48, 51, 56, 57, 59, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 16, 20, 24, 25, 28, 29, 31, 36, 39, 40, 41,
  43, 45, 51, 56, 60, 61, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 16, 20, 25, 28, 29, 31, 36, 39, 40, 41, 45,
  46, 47, 51, 56, 58, 59, 60 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 17, 18, 26, 28, 29, 31, 33, 34, 35, 37, 38,
  42, 46, 51, 53, 56, 57, 61 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 13, 15, 16, 17, 19, 20, 28, 29, 30, 34, 40, 46,
  47, 48, 49, 52, 54, 55, 56 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 13, 15, 16, 18, 19, 22, 25, 33, 45, 46, 47, 48,
  50, 53, 56, 57, 59, 61, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 13, 15, 16, 18, 19, 22, 33, 44, 45, 47, 50, 53,
  56, 57, 58, 59, 60, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 13, 15, 16, 19, 22, 24, 26, 36, 39, 41, 44, 47,
  48, 50, 53, 54, 61, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 13, 16, 19, 22, 33, 36, 38, 39, 41, 44, 45, 47,
  50, 53, 58, 59, 60, 63, 64 ],
[1, 2 ,4 5 , ,10 ,17 19,,,26,28 , ,37 40,44
  46, 48, 49, 52, 56, 59, 60 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 15, 18, 19, 22, 23, 28, 29, 30, 37, 39, 43, 45,
  46, 47, 48, 49, 52, 56, 59 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 13, 15, 17, 20, 22, 24, 29, 37, 38, 42, 45,
  49, 51, 52, 53, 54, 59, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 13, 15, 17, 20, 22, 29, 30, 37, 38, 42, 43,
  45, 47, 51, 53, 54, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 13, 15, 17, 20, 24, 26, 29[1 ,3, 46 8,,,12 13 14 ,18,,27,,5 ,39 46
  49, 53, 54, 55, 56, 57, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 13, 15, 17, 20, 26, 29, 30, 32, 37, 41, 43, 47,48,51,54 57,62  ,
  52, 53, 54, 55, 56, 57, 59 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 13, 15, 17, 24, 26, 29, 32, 36, 37, 39, 41,
  42,47,49, 54,55,62 63]java.lang.StringIndexOutOfBoundsException: Index 31 out of bounds for length 31
[1,2,,4,,6, , ,11 12,13 15 ,26 30, ,36 37 39 ,java.lang.StringIndexOutOfBoundsException: Index 78 out of bounds for length 78
  42, 43, 52, 54, 55, 59, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 13, 17, 20, 22, 24, 25, 29, 32, 37, 42, 45,
  49, 54, 58, 59, 60, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 13, 17, 20, 22, 24, 25, 29, 37, 42, 45, 48,
  49, 51, 52, 54, 58, 59, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 13, 17, 20, 22, 25, 26, 29, 30, 47,48,,,57,62 63 java.lang.StringIndexOutOfBoundsException: Index 31 out of bounds for length 31
  51, 54, 58, 59, 60, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 13, 17, 20, 22, 25, 26, 29, 37, 42, 43, 46,
  49, 51, 52, 54, 59, 60, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 13, 17, 20, 22, 25, 29, 30, 37, 42, 43, 45,
  47, 48, 51, 54, 58, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 13, 17, 20, 22, 25, 29, 32, 37, 42, 43, 45,
  46, 47, 49, 54, 60, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 13, 17, 20, 24, 26, 29, 32, 34, 36, 37, 38,
  41, 47, 49, 54, 57, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 13, 17, 22, 24, 25, 26, 29, 30, 37, 39, 47[1 2 3 ,5,,8,9,26, ,32 ,37 39 ,
  51, 54, 57, 58, 60, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 13, 17, 22, 24, 25, 26, 29, 37, 39, 46, 47,
  49, 51, 52, 54, 57, 60, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 13, 17, 22, 24, 25, 29, 30, 32, 37, 39, 45,
  52, 54, 57, 58, 59, 60, 61 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 13, 17, 22, 24, 25, 29, 37, 39, 45, 46, 48,
  49, 51, 52, 54, 57, 59, 61 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 13, 17, 22, 25, 29, 30, 32, 37, 39, 43, 45,
  46, 47, 52, 54, 57, 60, 64 ],
[  ,3,4 5, 6, 8, , 11 12,13, 17, 22 25,,30,3739, ,45,,
  47, 48, 51, 54, 57, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 14, 15, 16, 17, 18, 24, 29, 37, 38, 42, 45,
  49, 51, 52, 53, 57, 59, 63 ],
[ ,2,3 4,5, 8 ,11,  , 1516, , 18, 29, 30,37 38 42 ,
  45, 47, 51, 53, 57, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 14, 15, 16, 17, 22, 24, 29, 34, 37, 39, 45,
  49, 51, 52, 56, 57, 59, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 14, 15, 16, 17, 22, 29, 30, 34, 37, 39, 43,
  45, 47, 51, 56, 57, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 14, 15, 17, 18, 24, 26, 29, 32, 35, 42, 47,
  49, 53, 54, 55, 56, 57, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 14, 15, 17, 18, 26, 29, 30, 32, 35, 42, 43,
  52, 53, 54, 55, 56, 57, 59 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 14, 15, 17, 24, 26, 29, 32, 34, 35, 39, 41,
  42, 47, 49, 54, 56, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 14, 15, 17, 26, 29, 30, 32, 34, 35, 39, 41,
  42, 43, 52, 54, 56, 59, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 14, 16, 17, 18, 24, 25, 29, 32, 37, 42, 45,
  49, 57, 58, 59, 60, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 14, 16, 17, 18, 24,[1 ,3 ,, 6, 8, 9, 11, 12,13, 14,19 20,25, , ,32 , 39 ,
  49, 51, 52, 57, 58, 59, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 14, 16, 17, 18, 25, 26, 29, 37, 42, 43, 46,
  49, 51, 52, 57, 59, 60, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 14, 16, 17, 18, 25, 29, 32, 37, 42, 43, 45,
  46, 47, 49, 57, 60, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 14, 16, 17, 22, 24, 29, 36, 37, 38, 39, 45,
  49, 51, 52, 53, 55, 57, 59 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 14, 16, 17, 22, 29, 30, 36, 37, 38, 39, 43,
  45, 47, 51, 53, 55, 57, 62 ],
[, , ,4,5, 6, ,12,14, ,18, , 26 ,32,  35 36, 38,
  42, 47, 49, 54, 57, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 14, 17, 18, 26, 29, 30, 32, 34, 35, 36, 38,
  42, 43, 52, 54, 57, 59, 63 ],
[ 1,  ,2, 3,,4 5, ,8, ,11 , ,14,2025 27, 29 ,35, ,3940
  42, 43, 52, 53, 54, 55, 59 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 15, 17, 18, 24, 26, 29, 32, 33, 35, 36, 37,
  42, 47, 49, 55, 57, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 15, 17, 18, 26, 29, 30, 32, 33, 35, 36, 37,
  42, 43, 52, 55, 57, 59, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 15, 17, 19, 20, 27, 30, 37, 40, 43, 46, 47,
  49, 56, 58, 59, 60, 61, 62 ],
[1 2 3, 4, 5,8 ,11, ,15, ,26, 29 ,,34 35,,
  41, 47, 49, 56, 57, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 15, 17, 20, 26, 29, 30, 32, 33, 34, 35, 37,
  41, 43, 52, 56, 57, 59, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 16, 17, 18, 24, 25, 26, 29, 30, 33, 42, 47,
  51 54 ,58,60,61,62 ,
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 16, 17, 18, 24, 25, 26, 29, 33, 42, 46, 47,
  49, 51, 52, 54, 57, 60, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 16, 17, 18, 24, 25, 29, 30, 32, 33, 42, 45,
  52, 54, 57, 58, 59, 60, 61 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 16, 17, 18, 25, 29, 30, 32, 33, 42, 43, 45,
  46, 47, 52, 54, 57, 60, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 16, 18, 23, 24, 25, 29, 30, 32, 33, 39, 40,
  42, 46, 52, 54, 58, 59, 60 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 17, 18, 24, 26, 29, 32, 33, 34, 35, 37, 38,
  42, 47, 49, 53, 56, 57, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 17,[ 1 2,, 4 6, 8 ,11,12,13, , 17 ,26,27,29,32 37,,46,
  42, 43, 52, 53, 56, 57, 59 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 17, 20, 24, 26, 29, 32, 33, 35, 36, 37, 38,
  41, 47, 49, 53, 55, 57, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 13, 15, 17, 20, 22, 24, 25, 29, 37, 38, 42, 45,
  53, 54, 58, 59, 60, 61, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 13, 15, 17, 20, 22, 25, 29, 37, 38, 42, 43, 45,
  46, 47, 53, 54, 60, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 13, 15, 17, 20, 24, 25, 26, 29, 37, 41, 47, 48,
  53, 54, 55, 56, 57, 58, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 13, 15, 17, 20, 25, 26, 29, 37, 41, 43, 46, 48,
  53, 54, 55, 56, 57, 59, 61 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 13, 15, 17, 24, 25, 26, 29, 36, 37, 39, 41, 42,
  47, 48, 54, 55, 58, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 13, 15, 17, 24, 26, 29, 36, 37, 39, 41, 42, 44,
  1,2, 3 4 ,6,8, 9, 11, 12, 13, 15 19, 20, 29, ,33 37 39,,
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 13, 15, 17, 25, 26, 29, 36, 37, 39, 41, 42, 43,
  46, 48, 54, 55, 59, 61, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 14, 15, 16, 17, 18, 24, 25, 29, 37, 38, 42, 45,
  53, 57, 58, 59, 60, 61, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 14, 15, 16, 17,  47, 48,51,54,56,57 ]
  46, 48, 53, 57, 59, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 14, 15, 16, 17, 18, 25, 29, 37, 38, 42, 43, 45,
  46, 47, 53, 57, 60, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 14, 15, 16, 17, 18, 29, 37, 38, 42, 43, 44, 45,
  47, 48, 53, 57, 58, 61, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 14, 15, 16, 18, 23, 24, 25, 29, 37, 38, 39, 40,
  42 ,53,58,59,60,63]
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 14, 15, 17, 18, 24, 25, 26, 29, 35, 42, 47, 48,
  53, 54, 55, 56, 57, 58, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 14, 15, 17, 18, 25, 26, 29, 35, 42, 43, 46, 48,
  53, 54, 55, 56, 57, 59, 61 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 14, 15, 17, 18, 26, 29, 35, 42, 43, 44, 53, 54,
  55, 56, 57, 58, 59, 60, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 14, 17, 18, 24, 25, 26, 29, 34, 35, 36, 38, 42,
  47, 48, 54, 57, 58, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 14, 17, 18, 24, 26, 29, 34, 35, 36, 38, 42, 44,
  46, 47, 54, 57, 60, 61, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 14, 17, 18, 25, 26, 29, 34, 35, 36, 38, 42, 43,
  46, 48, 54, 57, 59, 61, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 14, 17, 18, 26, 29, 34, 35, 36, 38, 42, 43, 44,
  54,  1,53 , 55 56   ,
[ 1, 2, 3, 4, 5, 6, 8, 10, 11, 12, 13, 16, 17, 18, 24, 31, 32, 35, 42, 44,
  45, 46, 48, 49, 57, 59, 62, 64 ],
[1 ,3,4, 58, 10,11,12,,16 ,18,31 ,35, 42,43, 44,
  45, 47, 48, 49, 57, 58, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 10, 11, 12, 13, 17, 18, 22, 24, 31, 32, 37, 41, 44,
  45, 46, 48, 49, 54, 59, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 10, 11, 12, 13, 17, 18, 22, 25, 31, 32, 37, 41, 43,
  45, 46, 47, 49, 54, 60, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 10, 11, 12, 14, 15, 17, 18, 23, 26, 31, 32, 35, 42,
  45, 49, 53, 54, 55, 56, 57, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 10, 11, 12, 14, 17, 18, 26, 28, 31, 32, 34, 35, 36,
  38, 42, 43, 51, 54, 57, 59, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 10, 11, 12, 15, 17, 18, 23, 26, 31, 32, 33, 35, 36,
  37, 42, 45, 49, 55, 57, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 10, 11, 12, 15, 17, 18, 26, 28, 31, 32, 33, 35, 36,
  37, 42, 43, 51, 55, 57, 59, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 10, 11, 12, 16, 17, 18, 23, 25, 26, 30, 31, 33, 42,
  45  ,57 ,60 61  ,
[ 1, 2, 3, 4, 5, 6, 8, 10, 11, 12, 16, 17, 18, 23, 25, 26, 31, 33, 42, 45,
  46, 49, 51, 52, 54, 57, 60, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 10, 11, 12, 16, 17, 18, 24, 25, 28, 31, 32, 33, 42,
  45, 51, 54, 57, 58, 59, 60, 61 ],
[ 1, 2,3, 4 5, 6 8, ,11,12 16 ,,25,28,,32 ,42,43
  45, 46, 47, 51, 54, 57, 60, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 10, 11, 13, 14, 16, 17, 18, 25, 26, 29, 35, 37, 42,
  48, 49, 50, 51, 52, 53, 57, 63 ],
[,,3, 4 5 6,, 13,,16,17,18 26 29 ,35,,42,
  46, 49, 50, 51, 52, 55, 57, 61 ],
[ 1, 2, 3, 4, 5, 6, 8, 10, 11, 13, 15, 16, 17, 18, 24, 26, 29, 35, 38, 42,
  47, 49, 50, 51, 52, 53, 57, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 10, 11, 13, 15, 16, 17, 22, 24, 26, 29, 34, 35, 39,
  47, 49, 50, 51, 52, 56, 57, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 10, 11, 13, 15, 17, 22, 24, 26, 29, 34, 37, 38, 39,
  47, 49, 50, 51, 52, 54, 55, 57 ],
[1,2,3,4,5 6, 8, 10,11, 13, 16,,18 24 ,29, 35 ,44,46,
  47, 49, 50, 51, 52, 57, 60, 61 ],
[ 1, 2, 3, 4, 5, 6, 8, 10, 11, 13, 16, 17, 18, 26, 29, 35, 42, 43, 44, 49,
  50, 51, 52, 57, 58, 59, 60, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 10, 11, 14, 16, 17, 18, 25, 26, 29, 37, 42, 43, 44,
  48, 49, 50, 5, 6,8,9,11,2 ,16,18,0,27 32  ,36, 40,46
[ 1, 2, 3, 4, 5, 6, 8, 10, 11, 15, 16, 17, 18, 26, 29, 34, 38, 42, 46, 49,
  50, 51, 52, 53, 55, 57, 61, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 10, 12, 14, 15, 17, 18, 23, 25, 26, 31, 35, 42, 45,
  48, 53, 54, 55, 56, 57, 58, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 10, 12, 14, 15, 17, 18, 25, 26, 27, 28, 31, 35, 42,
  48, 50, 51, 53, 54, 55, 56, 57 ],
[ 1, 2, 3, 4, 5, 6, 8, 10, 12, 14, 17, 18, 25, 26, 31, 34, 35, 36, 38, 42,
  43, 44, 48, 54, 57, 59, 60, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 10, 12, 14, 17, 18, 26, 27, 31, 34, 35, 36, 38, 42,
  46,  41,47,50,55, ,
[ 1, 2, 3, 4, 5, 6, 8, 10, 12, 15, 17, 18, 23, 26, 28, 30, 31, 33, 35, 36,
  37, 42, 45, 51, 52, 55, 57, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 10, 12, 16, 17, 18, 24, 25, 27, 31, 36, 42, 45, 49,
  50, 56, 57, 58, 59, 60, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 10, 12, 17, 18, 26, 27, 31, 33, 34, 35, 37, 38, 42,
  46, 49, 50, 53, 56, 57, 61, 62 ]
];

Messung
C	H	Z	G
80	100	100	93

¤ Dauer der Verarbeitung: 0.23 Sekunden (vorverarbeitet am 2026-11-04) ¤

Wurzel

Suchen

PVS Prover

Isabelle Prover

Cephes Mathematical Library

Vienna Development Method

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.