Gedichte Musik Bilder Quellcodebibliothek Diashow Normaldarstellung
Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/guava/tbl/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 1.1.2025 mit Größe 330 kB image not shown  

Quelle  bdtable2.g   Sprache: unbekannt

 
#A  BOUNDS FOR q = 2
##
##  Each entry [n][k] of one of the tables below contains
##  a bound (the first table contains lowerbounds, the
##  second upperbounds) for a code with wordlength n and
##  dimension k. Each entry contains one of the following
##  items:
##
##  FOR LOWER- AND UPPERBOUNDSTABLE
##  [ 0, <d>, <ref> ]  from Brouwers table
##
##  FOR LOWERBOUNDSTABLE
##  empty           k= 0, 1, n or d= 2 or (k= 2 and q= 2)
##  1               shortening a [ n + 1, k + 1 ] code
##  2               puncturing a [ n + 1, k ] code
##  3               extending a [ n - 1, k ] code
##  [ 4, <dd> ]     constr. B, of a [ n+dd, k+dd-1, d ] code
##  [ 5, <k1> ]     an UUV-construction with a [ n / 2, k1 ]
##                  and a [ n / 2, k - k1 ] code
##  [ 6, <n1> ]     concatenation of a [ n1, k ] and a
##                  [ n - n1, k ] code
##  [ 7, <n1> ]     taking the residue of a [ n1, k + 1 ] code
##  20              taking the subcode of a [ n, k + 1 ] code
##  [21,<s>,<j>]    constr. B2 of a [ n+s, k+s-2j-1, d+2j] code
##  [22,<k1>,<k2>]  an UUAVUVW-construction with a [ n/3, k1 ],
##                  a [ n/3, k2 ] and a [ n/3, k-(k1+k2) ] code
##
##  FOR UPPERBOUNDSTABLE
##  empty        trivial and Singleton bound
##  11           shortening a [ n + 1, k + 1 ] code
##  12           puncturing a [ n + 1, k ] code
##  13           extending a [ n - 1, k ] code
##  [ 14, <dd> ] constr. B, with dd = dual distance
##  [ 15, <d> ]  Griesmer bound
##  [ 16, <d> ]  One-step Griesmer bound


GUAVA_BOUNDS_TABLE[1][2] := [
#V   n = 1
[ ],
#V   n = 2
[ ],
#V   n = 3
[ ],
#V   n = 4
[ ,],
#V   n = 5
[ ,, 20],
#V   n = 6
[ ,, 1, 20],
#V   n = 7
[ ,, 1, 2, 20],
#V   n = 8
[ ,, 20, [5, 3], 20, 20],
#V   n = 9
[ ,, 20, 1, 1, 20, 20],
#V   n = 10
[ ,, 1, 20, 1, 1, 20, 20],
#V   n = 11
[ ,, 1, 2, 20, 1, 1, 20, 20],
#V   n = 12
[ ,, 20, [5, 3], 20, 20, 1, 1, 20, 20],
#V   n = 13
[ ,, 1, 1, 1, 20, 20, 1, 1, 20, 20],
#V   n = 14
[ ,, 1, 1, 1, 1, 20, 20, 1, 1, 20, 20],
#V   n = 15
[ ,, 20, 1, 2, 1, 1, 20, 20, 1, 2, 20, 20],
#V   n = 16
[ ,, 20, 20, [5, 4], 20, 1, 1, 20, 20, [5, 7], 20, 20, 20],
#V   n = 17
[ ,, [6, 3], 20, 1, 1, 20, 1, 2, 20, 1, 1, 20, 20, 20],
#V   n = 18
[ ,, 3, 20, 20, 1, 1, 20, [0, 6, "QR"], 20, 20, 1, 1, 20, 20, 20],
#V   n = 19
[ ,, 1, 1, 20, 20, 1, 1, 1, 1, 20, 20, 1, 1, 20, 20, 20],
#V   n = 20
[ ,, [6, 6], 1, [7, 37], 20, 20, 1, 1, 1, 1, 20, 20, 1, 1, 20, 20, 20],
#V   n = 21
[ ,, 3, 20, 3, 20, 20, 20, 1, 1, 1, 1, 20, 20, 1, 1, 20, 20, 20],
#V   n = 22
[ ,, 1, 1, 1, 1, 20, 20, 20, 1, 1, 1, 1, 20, 20, 1, 1, 20, 20, 20],
#V   n = 23
[ ,, 20, 1, 2, 1, [0, 9, "HP"], 20, 20, 20, 1, 2, 1, [0, 5, "Wa"], 20, 20, 1, 1, 20, 20, 20],
#V   n = 24
[ ,, [6, 3], 20, [5, 4], 20, 3, 20, 20, 20, 20, [0, 8, "QR"], 20, 3, 20, 20, 20, 1, 1, 20, 20, 20],
#V   n = 25
[ ,, 3, 20, 1, 1, 1, 1, 20, 20, 20, 3, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20],
#V   n = 26
[ ,, 1, 1, 20, 1, 2, 1, 1, 20, 20, 1, 1, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20],
#V   n = 27
[ ,, [6, 6], 1, 2, 20, [7, 50], 20, 1, [0, 9, "Pi2"], 20, 20, 1, [0, 7, "Ka"], 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20],
#V   n = 28
[ ,, 3, 20, [5, 4], 20, 1, 1, 20, 3, 20, 20, 20, 3, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20],
#V   n = 29
[ ,, 1, 1, 1, 2, 20, 1, 1, 1, 1, 20, 20, 1, 1, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20],
#V   n = 30
[ ,, 20, 1, 1, 2, 20, 20, 1, 1, 1, 1, 20, 20, 1, 1, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20],
#V   n = 31
[ ,, [6, 3], 20, 1, 2, 1, 20, 20, 1, 2, 1, 2, 20, 20, 1, 2, 20, 20, 1, 1, 20, 20, 20, 1, 2, 20, 20, 20],
#V   n = 32
[ ,, 3, 20, 20, [5, 5], 1, 2, 20, 20, [0, 12, "XBC"], 20, [0, 10, "Sh1"], 20, 20, 20, [0, 8, "CS"], 20, 20, 20, 1, 1, 20, 20, 20, [5, 15], 20, 20, 20, 20],
#V   n = 33
[ ,, 2, 20, 20, 3, 20, [0, 14, "HY2"], 20, 20, 1, 2, 1, 1, 20, 20, 1, 1, 20, 20, 20, 1, [0, 5, "Ch0"], 20, 20, 1, 1, 20, 20, 20, 20],
#V   n = 34
[ ,, [6, 6], [6, 4], 20, 1, 1, 1, 2, 20, 20, [0, 12, "Sh1"], 20, 1, 1, 20, 20, 1, 1, 20, 20, 20, 3, 20, 20, 20, 1, 1, 20, 20, 20, 20],
#V   n = 35
[ ,, 3, 3, 20, 20, 1, 2, [0, 14, "Pi"], 20, 20, 1, 1, 20, 1, 2, 20, 20, 1, 1, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 20],
#V   n = 36
[ ,, 3, 1, 1, 20, 20, [0, 16, "DHM"], 1, 1, 20, 20, 1, [0, 11, "Mo"], 20, [0, 10, "Sh1"], 20, 20, 20, 1, 1, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 20],
#V   n = 37
[ ,, 1, [6, 7], 1, [7, 70], 20, 1, [0, 15, "FB"], 1, 1, 20, 20, 3, 20, 1, 1, 20, 20, 20, 1, 2, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 20],
#V   n = 38
[ ,, [6, 3], 3, 20, 3, 20, 20, 3, 20, 1, 2, 20, 1, 1, 20, 1, 1, 20, 20, 20, [0, 8, "Sh1"], 20, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 20],
#V   n = 39
[ ,, 3, 1, [6, 15], 1, [0, 17, "vT3"], 20, 1, [0, 15, "X"], 20, [0, 14, "BE"], 20, 20, 1, 1, 20, 1, 1, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 20],
#V   n = 40
[ ,, 2, 20, 3, 20, 3, 20, 20, 3, 20, 3, 20, 20, 20, 1, 1, 20, 1, 1, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 20],
#V   n = 41
[ ,, [6, 6], [6, 11], 1, 1, 1, 2, 20, 1, 1, 1, 1, 20, 20, 20, 1, 1, 20, 1, 2, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 20],
#V   n = 42
[ ,, 3, 3, 20, 1, [0, 19, "vT1"], [0, 18, "BZ"], 20, 20, 1, 1, 1, 1, 20, 20, 20, 1, 1, 20, [0, 10, "QR"], 20, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 20],
#V   n = 43
[ ,, 3, 1, 1, 20, 3, 1, 1, 20, 20, 1, 1, 1, [0, 13, "cy"], 20, 20, 20, 1, 1, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 20],
#V   n = 44
[ ,, 1, [6, 14], 1, [0, 21, "Bel"], 1, 2, 1, 2, 20, 20, 1, 2, 3, 20, 20, 20, 20, 1, 1, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 20],
#V   n = 45
[ ,, [6, 3], 3, 20, 3, 20, [0, 20, "BZ"], 20, [0, 18, "Gu9"], 20, 20, 20, [0, 16, "Bo0"], 1, [0, 13, "DJ"], 20, 20, 20, 20, 1, 1, 1, 2, 20, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 20],
#V   n = 46
[ ,, 3, 1, 1, 1, 1, 1, 1, 1, [0, 17, "GG"], 20, 20, 3, 20, 3, 20, 20, 20, 20, 20, 1, 1, 2, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 20],
#V   n = 47
[ ,, 2, 20, 1, 2, 1, 2, 1, 2, 3, 20, 20, 1, 1, 1, 2, 20, 20, 20, 20, 20, 1, 2, 1, 20, 20, 20, 20, 1, 2, 20, 20, 20, 1, [0, 5, "Ch0"], 20, 20, 20, 1, 1, 20, 20, 20, 20],
#V   n = 48
[ ,, [6, 6], 20, 20, [5, 5], 20, [0, 22, "BZ"], 20, [0, 20, "GB5"], 1, 1, 20, 20, 1, [0, 15, "FB"], [0, 14, "BZ"], 20, 20, 20, 20, 20, 20, [0, 12, "QR"], 1, 1, 20, 20, 20, 20, [0, 8, "RR"], 20, 20, 20, 20, 3, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20],
#V   n = 49
[ ,, 3, [6, 4], 20, 1, 1, 2, 20, 1, [0, 19, "B2x"], 1, [0, 17, "B2x"], 20, 20, 3, 1, 1, 20, 20, 20, 20, 20, 3, 20, 1, [0, 9, "EB3"], 20, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20],
#V   n = 50
[ ,, 3, 3, 20, 20, 1, 2, 20, 20, 3, 20, 3, 20, 20, 1, 2, 1, 2, 20, 20, 20, 20, 3, 20, 20, 3, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20],
#V   n = 51
[ ,, 2, 1, 1, 20, 20, [0, 24, "cy"], 1, 20, 1, 1, 1, 1, 20, 20, [0, 16, "cy"], 20, [0, 14, "cy"], 20, 20, 20, 20, 1, [0, 11, "DJ"], 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20],
#V   n = 52
[ ,, [6, 3], [6, 7], 1, [7, 101], 20, 3, 1, [0, 21, "Pu"], 20, 1, 1, 1, 1, 20, 1, 1, 1, 1, 20, 20, 20, 20, 3, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20],
#V   n = 53
[ ,, 3, 3, 20, 3, 20, 3, 20, 3, 20, 20, 1, 1, 1, 2, 20, 1, 1, 1, 1, 20, 20, 20, 1, 1, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20],
#V   n = 54
[ ,, 2, 1, 1, 2, 20, 1, 1, 1, [0, 21, "GG"], 20, 20, 1, 1, 2, 20, 20, 1, 1, 1, 1, 20, 20, 20, 1, 1, 20, 20, 1, 2, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20],
#V   n = 55
[ ,, [6, 6], 20, 1, 2, 2, 20, 1, 2, 3, 20, 20, 20, 1, [0, 19, "LC"], 20, 20, 20, 1, [0, 15, "cy"], 1, [0, 13, "GG"], 20, 20, 20, 1, 1, 20, 20, [0, 10, "Sh1"], 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20],
#V   n = 56
[ ,, 3, [6, 11], 20, [5, 5], [7, 107], 20, 20, [0, 24, "BZ"], 1, 1, 20, 20, 20, 3, [0, 17, "MoY"], 20, 20, 20, 3, 20, 3, 20, 20, 20, 20, 1, 1, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20],
#V   n = 57
[ ,, 3, 3, 20, 3, 1, 2, 20, 1, [0, 23, "SRC"], 1, 2, 20, 20, 3, 3, 20, 20, 20, 1, 1, 1, 1, 20, 20, 20, 20, 1, 1, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20],
#V   n = 58
[ ,, 2, 1, 1, 1, 2, [0, 26, "?"], 20, 20, 3, 20, [0, 22, "GG"], 20, 20, 3, 1, 1, 20, 20, 20, 1, 1, 1, 1, 20, 20, 20, 20, 1, 1, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20],
#V   n = 59
[ ,, [6, 3], [6, 14], 1, 2, [0, 28, "?"], 1, 1, 20, 1, 1, 1, 1, 20, 1, 2, 1, 1, 20, 20, 20, 1, 1, 1, 1, 20, 20, 20, 20, 1, 1, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20],
#V   n = 60
[ ,, 3, 3, 20, [5, 5], 1, [0, 27, "Sa"], 1, [0, 25, "Ch"], 20, 1, 1, 1, 1, 20, [0, 20, "CDJ"], 20, 1, [0, 17, "We"], 20, 20, 20, 1, 1, 1, 1, 20, 20, 20, 20, 1, 1, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20],
#V   n = 61
[ ,, 2, 1, 1, 1, 2, 3, 20, 3, 20, 20, 1, 1, 1, 1, 1, 1, 20, 3, 20, 20, 20, 20, 1, 1, 1, 1, 20, 20, 20, 20, 1, 1, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20],
#V   n = 62
[ ,, [6, 6], 20, 1, 1, 2, 1, 1, 1, 2, 20, 20, 1, 1, 1, 1, 1, 2, 1, 1, 20, 20, 20, 20, 1, 1, 1, 1, 20, 20, 20, 20, 1, 1, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20],
#V   n = 63
[ ,, 3, 20, 20, 1, 2, 20, 1, 2, [0, 26, "BCH"], 20, 20, 20, 1, 2, 1, 2, [0, 20, "GW2"], 20, 1, 1, 20, 20, 20, 20, 1, [0, 15, "B2x"], 1, 2, 20, 20, 20, 20, 1, 2, 20, 1, 1, 20, 20, 20, 20, 20, 1, [0, 7, "cy"], 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 2, 20, 20, 20, 20],
#V   n = 64
[ ,, 3, [6, 4], 20, 20, [5, 6], 2, 20, [0, 28, "XBC"], 1, 1, 20, 20, 20, [0, 24, "XBC"], 20, [0, 22, "XBC"], 1, 1, 20, 1, 1, 20, 20, 20, 20, 3, 20, [0, 14, "B2x"], 20, 20, 20, 20, 20, [0, 12, "XBC"], 20, 20, 1, 2, 20, 20, 20, 20, 20, 3, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, [5, 31], 20, 20, 20, 20, 20],
#V   n = 65
[ ,, 2, 3, 20, 20, 3, [0, 30, "DHM"], 20, 1, [0, 27, "X"], 1, [0, 25, "cy"], 20, 20, 1, 1, 2, 20, 1, 2, 20, 1, [0, 17, "GG1"], 20, 20, 20, 1, 1, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, [0, 10, "BCH"], 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, [0, 5, "cy"], 20, 20, 20, 1, 1, 20, 20, 20, 20, 20],
#V   n = 66
[ ,, [6, 3], 2, 20, 20, 3, 1, 1, 20, 3, 20, 3, 20, 20, 20, 1, [0, 23, "X"], 20, 20, [0, 20, "CZ"], 20, 20, 3, 20, 20, 20, 20, 1, 1, 1, 1, 20, 20, 20, 20, 1, 1, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 3, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20],
#V   n = 67
[ ,, 3, [6, 7], [6, 5], 20, 1, [0, 31, "X"], 1, [0, 29, "X"], 3, 20, 3, 20, 20, 20, 20, 3, 20, 20, 1, 1, 20, 3, 20, 20, 20, 20, 20, 1, 1, 1, 1, 20, 20, 20, 20, 1, [0, 11, "X"], 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20],
#V   n = 68
[ ,, 2, 3, 3, 20, 20, 3, 20, 3, 1, 1, 1, 1, 20, 20, 20, 3, 2, 20, 20, 1, 1, 1, 1, 20, 20, 20, 20, 20, 1, 1, 1, 1, 20, 20, 20, 20, 3, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 2, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20],
#V   n = 69
[ ,, [6, 6], 3, 1, 1, 20, 1, 1, 2, 20, 1, 2, 1, 1, 20, 20, 3, [0, 22, "BZ"], 20, 20, 20, 1, 1, 1, 1, 20, 20, 20, 20, 20, 1, 1, 1, 1, 20, 20, 20, 3, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, [0, 8, "Sh1"], 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20],
#V   n = 70
[ ,, 3, 1, [6, 15], 1, [7, 135], 20, 1, [0, 31, "X"], [0, 29, "GG1"], 20, [0, 28, "GB0"], 20, 1, [0, 25, "X"], 20, 3, 1, 1, 20, 20, 20, 1, 1, 1, 1, 20, 20, 20, 20, 20, 1, 1, 1, 2, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20],
#V   n = 71
[ ,, 3, [6, 11], 3, 20, 3, 20, 20, 3, 3, 20, 1, 2, 20, 3, 20, 1, 2, 1, 2, 20, 20, 20, 1, 1, 1, [0, 17, "SRC"], 20, 20, 20, 20, 20, 1, 1, 2, 20, 20, 20, 1, 2, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20],
#V   n = 72
[ ,, 2, 3, 1, [7, 141], 3, 20, 20, 3, 1, [0, 29, "GG1"], 20, [7, 127], 20, 1, [0, 25, "XX"], 20, [0, 24, "BZ"], 20, [0, 22, "BZ"], 20, 20, 20, 20, 1, 2, 3, 20, 20, 20, 20, 20, 20, 1, 2, 1, 20, 20, 20, [0, 12, "To"], 20, 20, 20, 20, 1, [0, 9, "EB3"], 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20],
#V   n = 73
[ ,, [6, 3], 2, 20, 3, 1, 2, 20, 1, [0, 31, "GG1"], 3, 20, 1, 1, 20, 3, 20, 1, 1, 1, 1, 20, 20, 20, 20, [0, 20, "cy"], 1, 1, 20, 20, 20, 20, 20, 20, [0, 16, "cy"], 1, [0, 13, "XX"], 20, 20, 1, 1, 20, 20, 20, 20, 3, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20],
#V   n = 74
[ ,, 3, [6, 14], [6, 15], 1, 2, [0, 34, "?"], 20, 20, 3, 1, 2, 20, 1, [0, 27, "X"], 1, [0, 25, "XX"], 20, 1, 2, 1, 2, 20, 20, 20, 3, 20, 1, 1, 20, 20, 20, 20, 20, 3, 20, 3, 20, 20, 20, 1, [0, 11, "To"], 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20],
#V   n = 75
[ ,, 2, 3, 3, 20, [0, 36, "?"], 1, 2, 20, 1, [0, 31, "GG1"], [0, 30, "To2"], 20, 20, 3, 20, 3, 20, 20, [0, 24, "BZ"], 20, [0, 22, "BZ"], 20, 20, 20, 1, 2, 20, 1, 1, 20, 20, 20, 20, 3, 20, 1, [0, 13, "XX"], 20, 20, 20, 3, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20],
#V   n = 76
[ ,, [6, 6], 3, 1, [6, 31], 1, [0, 35, "Sa"], [0, 34, "Bo0"], 20, 20, 3, 1, 1, 20, 1, [0, 27, "XX"], 3, 20, 20, 1, 1, 1, 1, 20, 20, 20, [0, 20, "cyx"], 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 3, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20],
#V   n = 77
[ ,, 3, 1, [6, 15], 3, 20, 3, 1, 2, 20, 1, 2, 1, 1, 20, 3, 2, 20, 20, 20, 1, 2, 1, 2, 20, 20, 3, 20, 20, 20, 1, 1, 20, 20, 20, 1, 1, 1, 2, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, [0, 9, "EB3"], 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20],
#V   n = 78
[ ,, 3, 20, 3, 1, [7, 151], 1, 2, [0, 34, "EB2"], 20, 20, [0, 32, "To"], 20, 1, [0, 29, "GG1"], 1, [0, 27, "XX"], 20, 20, 20, 20, [0, 24, "BZ"], 20, [0, 22, "BZ"], 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 1, 1, 2, 20, 20, 20, 20, 1, [0, 11, "ZL"], 20, 20, 20, 20, 3, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20],
#V   n = 79
[ ,, 2, [6, 4], 1, [6, 31], 3, 20, [0, 36, "JS"], 2, 20, 20, 1, 2, 20, 3, 20, 3, 1, 20, 20, 20, 1, 1, 1, 1, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 1, 2, 1, 20, 20, 20, 20, 3, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20],
#V   n = 80
[ ,, [6, 3], 3, 20, 3, 1, 2, 1, [0, 35, "GB1"], 20, 20, 20, [0, 32, "Pi"], 20, 3, 20, 3, 1, 2, 20, 20, 20, 1, 2, 1, 2, 20, 20, 1, 2, 20, 20, 20, 1, 1, 20, 20, 20, [0, 16, "QR"], 1, 2, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20],
#V   n = 81
[ ,, 3, 2, 20, 1, [7, 158], [0, 38, "BZ"], 20, 3, 2, 20, 20, 3, 20, 3, 20, 3, 20, [0, 26, "CZ"], 20, 20, 20, 20, [0, 24, "BZ"], 20, [0, 22, "BZ"], 20, 20, 20, [0, 20, "GG"], 20, 20, 20, 20, 1, 1, 20, 20, 3, 20, [0, 14, "BET"], 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 2, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20],
#V   n = 82
[ ,, 2, [6, 7], [6, 20], 20, 3, 1, 1, 2, 2, 20, 20, 1, 1, 2, 20, 1, 1, 1, 2, 20, 20, 20, 1, 1, 1, 1, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 3, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, [0, 6, "Sh1"], 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20],
#V   n = 83
[ ,, [6, 6], 3, 3, 20, 1, 2, 1, 2, 2, 1, 20, 20, 1, [0, 31, "GG1"], [0, 29, "GG1"], 20, 1, 1, 2, 20, 20, 20, 20, 1, 2, 1, 2, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 1, 1, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20],
#V   n = 84
[ ,, 3, 3, 1, [6, 31], 20, [0, 40, "BZ"], 20, [0, 38, "EB2"], [0, 36, "GB0"], 1, 2, 20, 20, 3, 3, 20, 20, 1, [0, 27, "We"], 2, 20, 20, 20, 20, [0, 24, "BZ"], 20, [0, 22, "BZ"], 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 1, 1, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20],
#V   n = 85
[ ,, 3, 1, [6, 23], 3, 20, 1, 1, 2, 1, 2, [0, 34, "GG"], 20, 20, 3, 3, 20, 20, 20, 3, [0, 26, "GG1"], 20, 20, 20, 20, 1, 1, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 1, 1, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20],
#V   n = 86
[ ,, 2, [6, 11], 3, 1, [7, 167], 20, 1, 2, 2, [0, 36, "GW2"], 1, 1, 20, 3, 1, [0, 29, "X"], 20, 20, 3, 1, 2, 20, 20, 20, 20, 1, 2, 1, 2, 20, 20, 20, 1, 2, 20, 20, 20, 20, 1, 1, 1, 1, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20],
#V   n = 87
[ ,, [6, 3], 3, 1, [6, 31], 3, 20, 20, [0, 40, "EB2"], 2, 1, [0, 35, "GG"], 1, 2, 1, 2, 3, 20, 20, 1, 1, 2, 20, 20, 20, 20, 20, [0, 24, "BZ"], 20, [0, 22, "cy"], 20, 20, 20, 20, [0, 20, "GG1"], 20, 20, 20, 20, 20, 1, 1, 1, 2, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20],
#V   n = 88
[ ,, 3, 2, 20, 3, 1, [0, 41, "GG1"], 20, 1, 2, 2, 3, 20, [0, 34, "GG"], 20, [0, 32, "cyx"], 2, 20, 20, 20, 1, 2, 20, 20, 20, 20, 20, 1, 1, 2, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 2, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 2, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20],
#V   n = 89
[ ,, 2, [6, 14], [6, 27], 1, 2, 3, 20, 20, [0, 40, "cy"], 2, 1, 1, 2, 20, 1, [0, 31, "BEx"], 1, 20, 20, 20, [0, 28, "HS"], [0, 25, "MoY"], 20, 20, 20, 20, 20, 1, 2, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 2, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, [0, 11, "cy"], 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, [0, 8, "Sh1"], 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20],
#V   n = 90
[ ,, [6, 6], 3, 3, 20, [5, 6], 2, 20, 20, 1, 2, 20, 1, [0, 35, "GG"], 20, 20, 3, 1, 1, 20, 20, 3, 3, 20, 20, 20, 20, 20, 20, [0, 24, "BZ"], [0, 21, "XBZ"], 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, [0, 18, "QR"], 20, 20, 20, 20, 1, 2, 20, 20, 20, 20, 3, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20],
#V   n = 91
[ ,, 3, 3, 1, 1, 1, 2, 1, 20, 20, [0, 40, "Gu9"], 20, 20, 3, [0, 33, "GG1"], 20, 1, 1, 1, 1, 20, 3, 1, 1, 20, 20, 20, 20, 20, 3, 3, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 3, 2, 20, 20, 20, 20, [0, 14, "cy"], 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, [0, 9, "Hg"], 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20],
#V   n = 92
[ ,, 3, 1, [6, 30], 1, [0, 45, "Bel"], [0, 44, "Ja2"], 1, 2, 20, 3, 2, 20, 3, 3, 20, 20, 1, 1, 1, 1, 2, 20, 1, 2, 20, 20, 20, 20, 3, 1, 2, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 3, [0, 16, "AGP"], 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 3, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20],
#V   n = 93
[ ,, 2, 20, 3, 20, 3, 3, 20, [0, 42, "EB2"], 20, 3, 2, 20, 3, 3, 20, 20, 20, 1, 1, 1, 2, 2, 20, [0, 26, "DaH"], 20, 20, 20, 20, 3, 20, [0, 22, "cy"], 20, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 3, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20],
#V   n = 94
[ ,, [6, 3], [6, 4], 1, 1, 2, 1, 1, 2, 20, 1, 2, 1, 2, 2, 20, 20, 20, 20, 1, 1, 2, [0, 28, "GG1"], 20, 3, 20, 20, 20, 20, 1, 1, 1, 1, 20, 20, 20, 20, 20, 20, 20, 1, 1, 20, 3, 20, 1, [0, 15, "Ch"], 20, 20, 20, 20, 1, 2, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20],
#V   n = 95
[ ,, 3, 3, 20, 1, 2, 2, 1, 2, 20, 20, [0, 40, "CZ"], 1, 2, 2, 1, 20, 20, 20, 20, 1, [0, 31, "GG1"], 1, [0, 27, "GG1"], 1, 1, 20, 20, 20, 20, 1, [0, 23, "Ch"], 1, 2, 20, 20, 20, 20, 20, 20, 20, 1, 1, 1, 1, 20, 3, 20, 20, 20, 20, 20, [0, 14, "cyx"], 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 2, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20],
#V   n = 96
[ ,, 2, 2, 20, 20, [5, 6], [0, 46, "vT1"], 20, [0, 44, "GB5"], 2, 20, 3, 20, [0, 38, "GG"], [0, 36, "BZ"], 1, 1, 20, 20, 20, 20, 3, 20, 3, 20, 1, 1, 20, 20, 20, 20, 3, 20, [0, 22, "BZ"], 20, 20, 20, 20, 20, 20, 20, 20, 1, 1, 1, 1, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, [0, 8, "Sh1"], 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20],
#V   n = 97
[ ,, [6, 6], [6, 7], 20, 20, 3, 2, 20, 3, [0, 42, "GG1"], 20, 1, 1, 2, 3, 20, 1, 1, 20, 20, 20, 3, 1, 1, 2, 20, 1, 1, 20, 20, 20, 1, 1, 1, 1, 20, 20, 20, 20, 20, 20, 20, 20, 1, 1, 1, 1, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20],
#V   n = 98
[ ,, 3, 3, [6, 5], 20, 1, 2, 1, 2, 2, 20, 20, 1, [0, 39, "GG"], 1, 1, 20, 1, 2, 20, 20, 3, 1, 1, 2, 20, 20, 1, 1, 20, 20, 20, 1, 2, 1, 1, 20, 20, 20, 20, 20, 20, 20, 20, 1, 1, 1, 1, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20],
#V   n = 99
[ ,, 3, 3, 3, 20, 20, [0, 48, "DHM"], 1, 2, [0, 43, "GB"], 1, 20, 20, 3, 1, 1, 2, 20, [0, 34, "CZ"], 20, 20, 1, 1, 1, 2, 2, 20, 20, 1, [0, 25, "DaH"], 20, 20, 20, [0, 24, "To"], 20, 1, 1, 20, 20, 20, 20, 20, 20, 20, 20, 1, 1, 1, 1, 1, 2, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, [0, 11, "Roe"], 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20],
#V   n = 100
[ ,, 2, 2, 1, 1, 20, 3, 20, [7, 191], 3, 1, [0, 41, "GG"], 20, 3, 1, 1, 2, 20, 3, 20, 20, 20, 1, 1, 2, 2, 20, 20, 20, 3, 20, 20, 20, 1, 1, 20, 1, [0, 21, "Ch"], 20, 20, 20, 20, 20, 20, 20, 20, 1, 1, 1, 1, 2, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 3, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20],
#V   n = 101
[ ,, [6, 3], [6, 11], [6, 15], 1, [7, 198], 1, 1, 2, 2, 20, 3, 20, 3, 20, 1, [0, 37, "Gra"], 20, 3, 20, 20, 20, 20, 1, 2, 2, 20, 20, 20, 1, 1, 20, 20, 20, 1, 2, 20, 3, 20, 20, 20, 20, 20, 20, 20, 20, 20, 1, 1, 1, 2, 1, 20, 20, 20, 20, 20, 1, [0, 13, "Roe"], 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20],
#V   n = 102
[ ,, 3, 3, 3, 20, 3, 20, 1, [7, 195], 2, 1, 1, 1, 1, 1, 20, 3, 1, 1, 2, 20, 20, 20, 20, [0, 32, "DaH"], [0, 30, "DaH"], 20, 20, 20, 20, 1, 1, 20, 20, 20, [0, 24, "QC"], 20, 1, 1, 20, 20, 20, 20, 20, 20, 20, 20, 20, 1, 1, 2, 1, 1, 20, 20, 20, 20, 20, 3, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20],
#V   n = 103
[ ,, 2, 2, 1, 1, 2, 20, 20, 3, [0, 46, "GG1"], 1, [7, 188], 1, [0, 41, "GG"], 1, 2, 3, 1, 1, 2, 20, 20, 20, 20, 3, 3, 1, 20, 20, 20, 20, 1, 1, 20, 20, 1, 1, 20, 1, 1, 20, 20, 20, 20, 20, 20, 20, 20, 20, 1, 2, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20],
#V   n = 104
[ ,, [6, 6], [6, 14], 20, 1, [0, 51, "Bel"], 2, 20, 3, 2, 20, 3, 20, 3, 20, [0, 40, "GW2"], 1, 2, 1, 2, 1, 20, 20, 20, 3, 3, 1, 1, 20, 20, 20, 20, 1, 2, 20, 20, 1, 2, 20, 1, 1, 20, 20, 20, 20, 20, 20, 20, 20, 20, [0, 20, "QR"], 1, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20],
#V   n = 105
[ ,, 3, 3, [6, 15], 20, 3, [0, 50, "JS"], 20, 1, 2, 20, 1, 1, 2, 20, 3, 20, [0, 38, "GW2"], 20, [0, 36, "We"], 1, [0, 33, "GG1"], 20, 20, 3, 1, 1, 1, 1, 20, 20, 20, 20, [0, 26, "GW2"], 20, 20, 20, [0, 24, "QC"], 20, 20, 1, [0, 21, "HS"], 20, 20, 20, 20, 20, 20, 20, 20, 3, 1, 2, 20, 1, [0, 15, "Roe"], 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20],
#V   n = 106
[ ,, 3, 3, 3, 20, 3, 2, 20, 20, [0, 48, "GG1"], 20, 20, 1, [7, 191], 20, 3, 20, 3, 20, 3, 20, 3, 20, 20, 1, 1, 1, 1, 1, 1, 20, 20, 20, 3, 20, 20, 20, 1, 1, 20, 20, 3, 20, 20, 20, 20, 20, 20, 20, 20, 1, 1, 2, 20, 20, 3, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20],
#V   n = 107
[ ,, 2, 3, 1, 1, 1, 2, 1, 20, 3, 2, 20, 20, 3, 20, 1, 1, 1, 2, 3, 20, 1, 2, 20, 20, 1, 2, 1, 2, 1, 2, 20, 20, 1, 2, 20, 20, 20, 1, 1, 20, 1, 1, 20, 20, 20, 20, 20, 20, 20, 20, 1, [0, 19, "Ka"], 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20],
#V   n = 108
[ ,, [6, 3], 1, [6, 15], 1, [7, 213], [0, 52, "Ja2"], 1, 2, 3, [0, 46, "GB"], 20, 20, 3, [0, 41, "Ch"], 20, 1, 1, 2, 1, 1, 20, [0, 34, "DaH"], 20, 20, 20, [0, 32, "B2x"], 20, [0, 30, "B2x"], 20, [0, 28, "B2x"], 20, 20, 20, [0, 26, "BJK"], 20, 20, 20, 20, 1, 1, 20, 1, 1, 20, 20, 20, 20, 20, 20, 20, 20, 3, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20],
#V   n = 109
[ ,, 3, [6, 4], 3, 20, 3, 3, 20, [0, 50, "EB1"], 3, 1, 2, 20, 3, 3, 20, 20, 1, 2, 20, 1, [0, 35, "GG1"], 1, 1, 20, 20, 1, 1, 1, 1, 1, 1, 20, 20, 3, 20, 20, 20, 20, 20, 1, 1, 20, 1, 1, 20, 20, 20, 20, 20, 20, 20, 3, 1, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20],
#V   n = 110
[ ,, 2, 3, 1, 1, 2, 1, 1, 2, 1, 1, 2, 20, 3, 2, 20, 20, 20, [0, 40, "Pi"], 20, 20, 3, 20, 1, 2, 20, 20, 1, 1, 1, 1, 1, 1, 20, 1, 2, 20, 20, 20, 20, 20, 1, 1, 20, 1, 1, 20, 20, 20, 20, 20, 20, 3, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20],
#V   n = 111
[ ,, [6, 6], 2, 20, 1, 2, 2, 1, 2, 20, 1, 2, 20, 1, 2, 1, 20, 20, 3, 1, 20, 1, 2, 20, [0, 34, "GW2"], 20, 20, 20, 1, 1, 1, 1, 1, 1, 20, [0, 26, "BJK"], 20, 20, 20, 20, 20, 20, 1, 2, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20],
#V   n = 112
[ ,, 3, [6, 7], 20, 20, [5, 6], [0, 54, "vT1"], 20, [0, 52, "EB1"], 2, 20, [0, 48, "CZ"], [7, 201], 20, [0, 44, "BZ"], 1, 2, 20, 3, 1, 2, 20, [0, 36, "BZ"], 20, 3, 20, 20, 20, 20, 1, 1, 1, 1, 1, 1, 1, 1, 20, 20, 20, 20, 20, 20, [0, 24, "B2x"], 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20],
#V   n = 113
[ ,, 3, 3, [6, 20], 20, 3, 2, 20, 3, [0, 50, "GG1"], 20, 3, 3, 20, 3, 20, [0, 42, "GG"], 20, 3, 20, [0, 38, "GG"], 20, 1, 1, 2, 20, 20, 20, 20, 20, 1, 1, 1, 1, 1, 1, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20],
#V   n = 114
[ ,, 2, 3, 3, 20, 1, 2, 1, 2, 2, 20, 3, 1, [7, 203], 1, 1, 1, 1, 1, 1, 1, 1, 20, 1, 2, 1, 20, 20, 20, 20, 20, 1, 1, 1, 2, 1, [0, 27, "BHJ"], 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20],
#V   n = 115
[ ,, [6, 3], 2, 1, 1, 20, [0, 56, "DHM"], 1, 2, 2, 2, 1, 2, 3, 20, 1, 1, 1, 1, 1, 1, 1, 1, 20, [0, 36, "GW2"], 1, 2, 20, 20, 20, 20, 20, 1, 1, 2, 20, 3, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20],
#V   n = 116
[ ,, 3, [6, 11], [6, 23], 1, [7, 229], 3, 20, [7, 223], [0, 52, "GG1"], [0, 50, "GG"], 20, [0, 48, "GW2"], 1, [0, 45, "Ch"], 20, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 20, 20, 20, 20, 20, 20, 1, 2, 20, 1, 1, 20, 1, 2, 20, 20, 20, 20, 20, 1, 1, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20],
#V   n = 117
[ ,, 2, 3, 3, 20, 3, 1, 1, 2, 2, 2, 20, 3, 20, 3, 20, 20, 1, [0, 43, "HS"], 1, 2, 1, 2, 1, 2, 1, 2, 2, 20, 20, 20, 20, 20, 20, [0, 32, "cy"], 2, 20, 1, 1, 20, [0, 26, "cy"], 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20],
#V   n = 118
[ ,, [6, 6], 2, 1, 1, 2, 20, 1, [7, 227], 2, 2, 1, 1, 1, 2, 20, 20, 20, 3, 20, [0, 42, "GG"], 20, [0, 40, "GG"], 20, [0, 38, "GG"], 20, [0, 36, "GG"], 2, 20, 20, 20, 20, 20, 20, 3, 2, 20, 20, 1, 1, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20],
#V   n = 119
[ ,, 3, [6, 14], 20, 1, 2, 2, 20, 3, [0, 54, "GG1"], [0, 52, "GG"], 1, 2, 1, 2, [21, 8, 1], 20, 20, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 20, 20, 20, 20, 20, 1, 2, 20, 20, 20, 1, 1, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20],
#V   n = 120
[ ,, 3, 3, [6, 27], 20, [5, 6], [0, 58, "Bo0"], 20, 3, 2, 1, 1, 2, 20, [0, 48, "BZ"], 3, 20, 20, 20, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 20, 20, 20, 20, 20, [0, 32, "cyx"], 1, 20, 20, 20, 1, 1, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20],
#V   n = 121
[ ,, 2, 3, 3, 20, 3, 3, 20, 1, [7, 230], [21, 4, 1], 1, [21, 5, 2], 2, 3, 1, 1, 20, 20, 20, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 20, 20, 20, 20, 3, 1, 1, 20, 20, 20, 1, 1, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20],
#V   n = 122
[ ,, [6, 3], 3, 1, 1, 2, 1, 2, 20, 3, 3, 20, 3, 2, 1, 1, 1, 1, 20, 20, 20, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 20, 20, 20, 1, 1, 1, 1, 20, 20, 20, 1, 1, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20],
#V   n = 123
[ ,, 3, 1, [6, 30], 1, 2, 2, [0, 58, "JS"], 20, 3, 1, 1, 1, 2, 20, 1, 1, 1, 1, 20, 20, 20, 1, 1, 1, 1, 1, 2, 20, 1, 1, 1, 1, 20, 20, 20, 1, 1, 1, 1, 20, 20, 20, 1, 1, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20],
#V   n = 124
[ ,, 2, [6, 4], 3, 20, [5, 6], 2, 1, [0, 57, "GG1"], 1, 1, 1, 1, 2, [0, 49, "Ch"], 20, 1, 1, 1, 1, 20, 20, 20, 1, 1, 1, 1, 2, 20, 20, 1, 1, 1, 1, 20, 20, 20, 1, 1, 1, 1, 20, 20, 20, 1, 1, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20],
#V   n = 125
[ ,, [6, 6], 3, 1, 1, 1, 2, 2, 3, 20, 1, 1, 1, 2, 3, 20, 20, 1, 1, 1, 2, 20, 20, 20, 1, 1, 1, 2, 20, 20, 20, 1, 1, 1, 2, 20, 20, 20, 1, 1, 1, 2, 20, 20, 20, 1, 1, 1, 2, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 1, 2, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20],
#V   n = 126
[ ,, 3, 2, 20, 1, 1, 2, [0, 60, "Ja2"], 2, 20, 20, 1, 1, 2, 2, 20, 20, 20, 1, 1, 2, 20, 20, 20, 20, 1, 1, 2, 20, 20, 20, 20, 1, 1, 2, 20, 20, 20, 20, 1, 1, 2, 20, 20, 20, 20, 1, 1, 2, 20, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 2, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20],
#V   n = 127
[ ,, 3, [6, 7], 20, 20, 1, 2, 1, [0, 59, "GG1"], 20, 20, 20, 1, 2, 2, 20, 20, 20, 20, 1, 2, 20, 20, 20, 20, 20, 1, 2, [0, 37, "MoY"], 20, 20, 20, 20, 1, [0, 35, "cy"], 20, 20, 20, 20, 20, 1, [0, 31, "BCH"], 20, 20, 20, 20, 20, 1, 2, 20, 20, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 1, 2, 20, 20, 20, 20, 20, 1, 2, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 2, 20, 20, 20, 20, 20],
#V   n = 128
[ ,, 2, 3, 20, 20, 20, [5, 7], 20, 3, 2, 20, 20, 20, [0, 56, "XBC"], [0, 52, "BZ"], 20, 20, 20, 20, 20, [0, 48, "XBC"], 20, 20, 20, 20, 20, 20, [0, 44, "XBC"], 3, 20, 20, 20, 20, 20, 3, 20, 20, 20, 20, 20, 20, 3, 1, 20, 20, 20, 20, 20, [0, 28, "XBC"], 20, 20, 20, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, [0, 22, "XBC"], 20, 20, 20, 20, 20, 20, [0, 20, "XBC"], 2, 20, 20, 20, 20, 20, 1, [0, 15, "Gp"], 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, [0, 11, "Gp"], 20, 20, 20, 20, 20, 1, 2, 20, 20, 20, 20, 20, 1, [0, 7, "Gp"], 20, 20, 20, 20, 20, 1, 2, 20, 20, 20, 20, 20, [5, 63], 20, 20, 20, 20, 20, 20],
#V   n = 129
[ ,, [6, 3], 3, [6, 5], 20, 20, 3, 2, 3, [0, 58, "JS"], 20, 20, 20, 3, 3, 1, 20, 20, 20, 20, 3, 1, 20, 20, 20, 20, 20, 3, 3, 20, 20, 20, 20, 20, 3, 20, 20, 20, 20, 20, 20, 3, 1, [0, 29, "Dup"], 20, 20, 20, 20, 3, 1, 20, 20, 20, 20, 20, 20, 20, 20, 20, 1, 1, 20, 1, 1, 20, 20, 20, 20, 20, 3, [0, 18, "BCH"], 20, 20, 20, 20, 20, 20, 3, 20, 20, 20, 20, 20, 20, 1, [0, 13, "MMT"], 20, 20, 20, 20, 20, 3, 20, 20, 20, 20, 20, 20, [0, 10, "BCH"], 20, 20, 20, 20, 20, 20, 3, 20, 20, 20, 20, 20, 20, [0, 6, "BCH"], 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20],
#V   n = 130
[ ,, 3, 2, 3, 20, 20, 3, [0, 62, "JS"], 3, 2, 20, 20, 20, 3, 3, 1, 1, 20, 20, 20, 3, 1, 1, 20, 20, 20, 20, 3, 3, 20, 20, 20, 20, 20, 3, 20, 20, 20, 20, 20, 20, 3, 20, 3, 20, 20, 20, 20, 3, 1, 1, 20, 20, 20, 20, 20, 20, 20, 20, 20, 1, 1, 20, 1, 1, 20, 20, 20, 20, 3, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 3, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20],
#V   n = 131
[ ,, 2, [6, 11], 2, 20, 20, 3, 2, 1, 2, 20, 20, 20, 3, 1, 2, 1, 1, 20, 20, 1, [0, 47, "BEx"], 1, 1, 20, 20, 20, 3, 1, 1, 20, 20, 20, 20, 3, 20, 20, 20, 20, 20, 20, 1, 2, 1, 1, 20, 20, 20, 1, [0, 27, "Su"], 1, 1, 20, 20, 20, 20, 20, 20, 20, 20, 20, 1, 1, 20, 1, 1, 20, 20, 20, 1, [0, 19, "Su"], 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20],
#V   n = 132
[ ,, [6, 6], 3, [6, 15], [6, 6], 20, 1, 2, [0, 61, "GG"], [0, 60, "Gu9"], 1, 20, 20, 3, [0, 53, "XB"], [0, 52, "BY"], 20, 1, [0, 49, "XB"], 20, 20, 3, 20, 1, 1, 20, 20, 3, [0, 39, "Vx"], 1, [0, 37, "XB"], 20, 20, 20, 3, [0, 33, "Vx"], 20, 20, 20, 20, 20, 20, [0, 32, "BE3"], 20, 1, 1, 20, 20, 20, 3, 20, 1, 1, 20, 20, 20, 20, 20, 20, 20, 20, 20, 1, 1, 20, 1, 1, 20, 20, 20, 3, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20],
#V   n = 133
[ ,, 3, 2, 3, 3, 20, 20, [0, 64, "Ja2"], 3, 3, 1, 1, 20, 3, 3, 1, 1, 20, 3, 20, 20, 1, 1, 20, 1, 1, 20, 3, 3, 20, 3, 20, 20, 20, 3, 3, 20, 20, 20, 20, 20, 20, 1, 1, 20, 1, 1, 20, 20, 1, 1, 20, 1, 1, 20, 20, 20, 20, 20, 20, 20, 20, 20, 1, 1, 20, 1, 1, 20, 20, 1, 1, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20],
#V   n = 134
[ ,, 3, [6, 14], 3, 1, 1, 20, 3, 2, 3, 20, 1, 1, 2, 2, 20, 1, 1, 1, 1, 20, 20, 1, 1, 20, 1, 1, 2, 1, 1, 2, 20, 20, 20, 3, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 1, 1, 20, 20, 1, 1, 20, 1, 1, 20, 20, 20, 20, 20, 20, 20, 20, 20, 1, 1, 20, 1, 1, 20, 20, 1, 1, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20],
#V   n = 135
[ ,, 2, 3, 1, [6, 31], 1, [0, 65, "X"], 1, [0, 63, "GG"], 1, 2, 20, 1, [0, 57, "X"], 2, 20, 20, 1, 2, 1, [0, 49, "X"], 20, 20, 1, [0, 47, "X"], 20, 1, [0, 45, "X"], 20, 1, 2, 20, 20, 20, 1, [0, 35, "Vx"], 1, 2, 20, 20, 20, 20, 20, 20, 1, 2, 20, 1, [0, 29, "X"], 20, 20, 1, [0, 27, "X"], 20, 1, [0, 25, "X"], 20, 20, 20, 20, 20, 20, 20, 20, 20, 1, 2, 20, 1, [0, 21, "X"], 20, 20, 1, [0, 19, "X"], 20, 1, [0, 17, "X"], 20, 20, 20, 20, 20, 1, [0, 15, "X"], 20, 20, 20, 20, 20, 1, [0, 13, "X"], 20, 20, 20, 20, 20, 1, [0, 11, "X"], 20, 20, 20, 20, 20, 1, [0, 9, "X"], 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20],
#V   n = 136
[ ,, [6, 3], 3, [6, 15], 3, 20, 3, 20, 3, 20, [7, 255], 20, 20, 3, [0, 56, "BZ"], [0, 53, "BEx"], 20, 20, [0, 52, "BZ"], 20, 3, 20, 20, 20, 3, 20, 20, 3, [0, 41, "Vx"], 20, [0, 40, "BZ"], 20, 20, 20, 20, 3, 20, [0, 34, "BZ"], 20, 20, 20, 20, 20, 20, 20, [0, 32, "BE3"], 20, 20, 3, 20, 20, 20, 3, 20, 20, 3, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, [0, 24, "RS"], 20, 20, 3, 20, 20, 20, 3, 20, 20, 3, 20, 20, 20, 20, 20, 20, 3, 20, 20, 20, 20, 20, 20, 3, 20, 20, 20, 20, 20, 20, 3, 20, 20, 20, 20, 20, 20, 3, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20],
#V   n = 137
[ ,, 3, 3, 3, 1, 2, 3, 20, 3, [0, 61, "GG1"], 1, 1, 20, 3, 3, 3, 20, 20, 3, 20, 3, 20, 20, 20, 1, 1, 20, 3, 3, 20, 3, 1, 20, 20, 20, 3, 20, 3, 20, 20, 20, 20, 20, 20, 20, 1, 1, 20, 3, 20, 20, 20, 1, 1, 20, 1, 1, 20, 20, 20, 20, 20, 20, 20, 20, 20, 3, 20, 20, 3, 20, 20, 20, 1, 1, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20],
#V   n = 138
[ ,, 2, 2, 2, 20, [0, 68, "vT3"], 2, 20, 3, 3, 20, 1, 1, 2, 3, 1, 1, 20, 1, 1, 2, 20, 20, 20, 20, 1, 1, 2, 2, 20, 3, 1, 1, 20, 20, 1, 1, 2, 20, 20, 20, 20, 20, 20, 20, 20, 1, 1, 2, 20, 20, 20, 20, 1, 1, 20, 1, 1, 20, 20, 20, 20, 20, 20, 20, 20, 3, 20, 20, 3, 20, 20, 20, 20, 1, 1, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20],
#V   n = 139
[ ,, [6, 6], [6, 4], [6, 15], [6, 31], 1, [0, 67, "X"], 2, 3, 1, [21, 4, 1], 20, 1, [0, 59, "X"], 1, [0, 55, "BEx"], 1, [0, 53, "X"], 20, 1, [0, 51, "X"], 20, 20, 20, 20, 20, 1, [0, 47, "X"], [0, 43, "Vx"], 20, 1, 1, 1, 2, 20, 20, 1, [0, 35, "XBZ"], 1, 20, 20, 20, 20, 20, 20, 20, 20, 1, 2, 1, 20, 20, 20, 20, 1, [0, 27, "X"], 20, 1, 1, 20, 20, 20, 20, 20, 20, 20, 3, 20, 20, 3, 20, 20, 20, 20, 20, 1, [0, 19, "X"], 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20],
#V   n = 140
[ ,, 3, 3, 3, 3, 20, 3, [0, 66, "GB5"], 1, [0, 63, "GB6"], 3, 20, 20, 3, 20, 3, 20, 3, 20, 20, 3, 1, 20, 20, 20, 20, 20, 3, 3, 20, 20, 1, 1, 2, 20, 20, 20, 3, 1, 1, 20, 20, 20, 20, 20, 20, 20, 20, [0, 32, "BE3"], 1, 1, 20, 20, 20, 20, 3, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 2, 20, 1, 1, 20, 20, 20, 20, 20, 3, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20],
#V   n = 141
[ ,, 3, 2, 3, 1, 2, 3, 3, 20, 3, 1, 1, 20, 3, 20, 1, 1, 1, 1, 20, 3, 1, 1, 20, 20, 20, 20, 3, 3, 1, 20, 20, 1, 2, 2, 20, 20, 3, 20, 1, 1, 20, 20, 20, 20, 20, 20, 20, 1, 1, 1, 1, 20, 20, 20, 3, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, [0, 24, "Kol"], 20, 20, 1, 1, 20, 20, 20, 20, 3, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20],
#V   n = 142
[ ,, 2, [6, 7], 1, [6, 31], [0, 70, "vT3"], 2, 1, [0, 65, "GG"], 1, 1, 1, 1, 2, 20, 20, 1, 1, 1, 1, 2, 20, 1, 2, 20, 20, 20, 3, 3, 1, 2, 20, 20, [0, 40, "DaH"], [0, 38, "DaH"], 20, 20, 3, 20, 20, 1, 2, 20, 20, 20, 20, 20, 20, 20, 1, 1, 1, 1, 20, 20, 1, [0, 27, "BEx"], 20, 20, 20, 1, [0, 25, "XX"], 20, 20, 20, 20, 20, 1, [0, 23, "XX"], 20, 20, 1, [0, 21, "Su"], 20, 20, 20, 1, [0, 19, "BEx"], 20, 20, 20, 1, [0, 17, "XX"], 20, 20, 20, 20, 20, 1, [0, 15, "XX"], 20, 20, 20, 20, 20, 1, [0, 13, "XX"], 20, 20, 20, 20, 20, 1, [0, 11, "XX"], 20, 20, 20, 20, 20, 1, [0, 9, "XX"], 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20],
#V   n = 143
[ ,, [6, 3], 3, 20, 3, 1, [0, 69, "X"], 2, 3, 20, 1, [0, 63, "X"], 1, [0, 61, "X"], 20, 20, 20, 1, 2, 1, [0, 53, "X"], 2, 20, [0, 50, "BE3"], 20, 20, 20, 3, 1, 1, 2, 20, 20, 3, 3, 20, 20, 1, 2, 20, 20, [0, 34, "BE3"], 20, 20, 20, 20, 20, 20, 20, 20, 1, 1, 1, 1, 20, 20, 3, 20, 20, 20, 20, 3, 20, 20, 20, 20, 20, 20, 3, 20, 20, 20, 3, 20, 20, 20, 20, 3, 20, 20, 20, 20, 3, 20, 20, 20, 20, 20, 20, 3, 20, 20, 20, 20, 20, 20, 3, 20, 20, 20, 20, 20, 20, 3, 20, 20, 20, 20, 20, 20, 3, 20, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20],
#V   n = 144
[ ,, 3, 3, [6, 20], 1, 2, 3, [0, 68, "Gu"], 2, 20, 20, 3, 20, 3, [0, 57, "XB"], 20, 20, 20, [7, 255], 20, 3, [0, 52, "BET"], 20, 1, 1, 20, 20, 3, [0, 45, "Gra"], 1, 2, 20, 20, 3, 1, 1, 20, 20, [0, 36, "BE3"], 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 20, 20, 1, 1, 1, 1, 20, 1, [0, 27, "BEx"], 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, [0, 23, "XX"], 20, 20, 1, 1, 20, 20, 20, 1, [0, 19, "BEx"], 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20],
#V   n = 145
[ ,, 2, 2, 3, 20, [0, 72, "HvT"], 2, 1, 2, 20, 20, 1, 1, 2, 3, 20, 20, 20, 1, 1, 2, 1, 1, 20, 1, 1, 20, 3, 3, 20, [0, 44, "CLC"], 20, 20, 1, 2, 1, 2, 20, 1, 1, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 20, 20, 1, 1, 1, 1, 20, 3, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 3, 20, 20, 20, 1, 1, 20, 20, 20, 3, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20],
#V   n = 146
[ ,, [6, 6], [6, 11], 2, 20, 1, [0, 71, "X"], 2, [0, 68, "Ja"], 2, 20, 20, 1, [0, 63, "X"], 1, [21, 6, 2], 20, 20, 20, 1, [0, 55, "X"], 20, 1, 2, 20, 1, [0, 49, "XX"], 3, 3, 20, 3, 20, 20, 20, [0, 40, "DaH"], 20, [0, 38, "BE3"], 20, 20, 1, 1, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 20, 20, 1, 1, 1, 1, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 3, 20, 20, 20, 20, 1, [0, 21, "XX"], 20, 20, 1, [0, 19, "BEx"], 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20],
#V   n = 147
[ ,, 3, 3, [6, 23], [6, 31], 20, 3, [0, 70, "Ja2"], 3, [0, 66, "GB6"], 20, 20, 20, 3, 2, 3, 20, 20, 20, 20, 3, 20, 20, [0, 52, "BE3"], 20, 20, 3, 2, 3, 20, 3, 1, 20, 20, 1, 1, 1, 1, 20, 20, 1, 2, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 20, 20, 1, 1, 1, 1, 1, 2, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 20, 3, 20, 20, 20, 3, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20],
#V   n = 148
[ ,, 3, 2, 3, 3, 20, 3, 2, 2, 2, 20, 20, 20, 3, 2, 1, 2, 20, 20, 20, 3, [0, 53, "BE3"], 20, 1, 1, 20, 1, [0, 49, "XX"], 3, 20, 3, 1, [0, 41, "X"], 20, 20, 1, 1, 1, 1, 20, 20, [0, 36, "BE3"], 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 20, 20, 1, 1, 1, 1, 2, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 1, [0, 21, "XX"], 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20],
#V   n = 149
[ ,, 2, [6, 14], 3, 1, [0, 73, "Bel"], 1, 2, 2, 2, 2, 20, 20, 3, 2, 1, 2, 20, 20, 20, 3, 3, 20, 20, 1, 1, 20, 3, 1, 2, 3, 20, 3, 20, 20, 20, 1, 1, 1, 1, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 20, 20, 1, 1, 1, 2, 1, 20, 20, 20, 20, 20, 1, [0, 25, "Su"], 20, 20, 20, 1, 1, 20, 20, 20, 3, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, [0, 17, "Su"], 20, 20, 20, 20, 20, 1, [0, 15, "Su"], 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, [0, 11, "Su"], 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20],
#V   n = 150
[ ,, [6, 3], 3, 1, [6, 31], 3, 20, [0, 72, "GB5"], [0, 70, "BZ"], [0, 68, "GB6"], [0, 66, "BZ"], 20, 20, 3, [0, 62, "CZ2"], 1, 2, 1, 20, 20, 3, 2, 20, 20, 20, 1, [0, 51, "XX"], 3, 1, 2, 1, 1, 1, 1, 20, 20, 20, 1, 1, 1, 1, 20, 1, 2, 20, 20, 20, 1, [0, 33, "BHJ"], 20, 20, 20, 20, 20, 20, 20, 20, 1, 1, 2, 1, 1, 20, 20, 20, 20, 20, 3, 20, 20, 20, 20, 1, 1, 20, 20, 3, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 3, 20, 20, 20, 20, 20, 20, 3, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 3, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20],
#V   n = 151
[ ,, 3, 3, [6, 27], 3, 1, [0, 73, "BEx"], 3, 2, 3, 1, [0, 65, "GG"], 20, 3, 1, 1, 2, 1, [7, 264], 20, 1, [0, 55, "BE3"], [0, 53, "BEx"], 20, 20, 20, 3, 2, 1, 2, 20, 1, [0, 43, "X"], 1, [0, 41, "BEx"], 20, 20, 20, 1, 2, 1, 2, 20, [0, 36, "Dup"], 20, 20, 20, 20, 3, 20, 20, 20, 20, 20, 20, 20, 20, 20, 1, [0, 31, "MMT"], 20, 1, [0, 27, "Su"], 20, 20, 20, 20, 3, 20, 20, 20, 20, 20, 1, [0, 23, "MMT"], 20, 1, 2, 20, 20, 20, 20, 1, [0, 19, "Su"], 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, [0, 13, "MMT"], 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, [0, 5, "GB"], 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20],
#V   n = 152
[ ,, 2, 3, 3, 1, [0, 75, "Bel"], 3, 1, 2, 1, 2, 3, 20, 1, 2, 1, 2, 2, 3, 20, 20, 3, 3, 20, 20, 20, 1, [0, 51, "XX"], 20, [0, 48, "Dup"], 2, 20, 3, 20, 3, 20, 20, 20, 20, [0, 40, "BE3"], 20, [0, 38, "BE3"], 20, 1, 1, 20, 20, 20, 3, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 3, 20, 20, 3, 20, 20, 20, 20, 3, 20, 20, 20, 20, 20, 20, 3, 20, 20, [0, 22, "BE3"], 20, 20, 20, 20, 20, 3, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 3, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 3, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20],
#V   n = 153
[ ,, [6, 6], 2, 2, 20, 3, 2, 20, [0, 72, "BZ"], 2, [0, 68, "BZ"], 1, [0, 65, "XX"], 20, [0, 64, "CZ"], 20, [0, 62, "CZ"], 2, 1, [0, 57, "XX"], 20, 3, 1, [0, 53, "BEx"], 20, 20, 20, 3, 20, 3, [0, 46, "LLX"], 20, 1, 1, 1, 1, 20, 20, 20, 3, 20, 3, 20, 20, 1, 1, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 20, 20, 20, 3, 20, 20, 1, 1, 20, 20, 20, 1, 2, 20, 20, 20, 20, 20, 3, 20, 20, 1, 2, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20],
#V   n = 154
[ ,, 3, [6, 4], [6, 30], [6, 31], 1, [0, 75, "X"], 20, 3, 2, 2, 20, 3, 20, 1, 1, 1, 2, 20, 3, 20, 1, [0, 55, "BE3"], 3, 20, 20, 20, 3, 20, 3, 2, 20, 20, 1, [0, 43, "X"], 1, 1, 20, 20, 1, 1, 1, 1, 20, 20, 1, 2, 20, 20, 1, 2, 20, 20, 20, 20, 20, 20, 20, 20, 3, 20, 20, 20, 1, 1, 20, 20, 20, [0, 26, "BET"], 20, 20, 20, 20, 20, 3, 20, 20, 20, [0, 22, "BE3"], 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20],
#V   n = 155
[ ,, 3, 3, 3, 3, 20, 3, 2, 1, 2, 2, [0, 67, "GG"], 1, [0, 65, "XX"], 20, 1, [0, 63, "Gra"], [0, 62, "GW2"], [7, 272], 1, [0, 57, "XX"], 20, 3, 1, [0, 53, "BEx"], 20, 20, 3, 20, 1, 2, 20, 20, 20, 3, 20, 1, 2, 20, 20, 1, 2, 1, 2, 20, 20, [0, 36, "BZ"], 20, 20, 20, [0, 34, "BZ"], 20, 20, 20, 20, 20, 20, 20, 20, 3, 2, 20, 20, 20, 1, 1, 20, 20, 1, 1, 20, 20, 20, 20, 1, [0, 23, "TTH"], 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 20, 1, [0, 7, "EB3"], 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20],
#V   n = 156
[ ,, 2, 2, 3, 1, [6, 63], 3, [0, 74, "GB5"], 20, [0, 72, "JS"], [0, 70, "BZ"], 3, 20, 3, 20, 20, 3, 3, 3, 20, 3, 20, 1, [0, 55, "BE3"], 3, 20, 20, 3, [0, 49, "Gra"], 20, [0, 48, "LLX"], 20, 20, 20, 1, 1, 20, [0, 42, "BE3"], 20, 20, 20, [0, 40, "BE3"], 20, [0, 38, "GW2"], 20, 20, 1, 1, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 20, 3, 2, 20, 20, 20, 20, 1, [0, 27, "Su"], 20, 20, 1, [0, 25, "Su"], 20, 20, 20, 20, 3, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, [0, 17, "Su"], 20, 20, 20, 20, 20, 1, [0, 15, "Su"], 20, 20, 20, 20, 20, 1, [0, 13, "Su"], 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 20, 3, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20],
#V   n = 157
[ ,, [6, 3], [6, 7], 1, [6, 31], 3, 2, 2, 20, 3, 2, 1, [0, 67, "XX"], 3, 20, 20, 3, 3, 1, [0, 59, "XX"], 3, 20, 20, 3, 1, [0, 53, "BEx"], 20, 3, 3, 20, 3, 20, 20, 20, 20, 1, 1, 1, 1, 20, 20, 3, 20, 1, 1, 20, 20, 1, 1, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, [0, 31, "TTH"], 1, 20, 20, 20, 20, 3, 20, 20, 20, 3, 20, 20, 20, 20, 3, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 3, 20, 20, 20, 20, 20, 20, 3, 20, 20, 20, 20, 20, 20, 3, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20],
#V   n = 158
[ ,, 3, 3, 20, 3, 1, 2, 2, 20, 1, 2, 20, 3, 2, 20, 20, 3, 2, 20, 3, 2, 20, 20, 1, [0, 55, "BE3"], 3, 20, 3, 3, 20, 3, 2, 20, 20, 20, 20, 1, 1, 1, 1, 20, 1, 1, 20, 1, 1, 20, 20, 1, 1, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 3, 1, 1, 20, 20, 20, 3, 20, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, [0, 21, "KSH"], 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20],
#V   n = 159
[ ,, 2, 3, 20, 1, [6, 63], [0, 78, "BDH"], [0, 76, "Ja2"], 2, 20, [0, 72, "BZ"], [0, 69, "GG"], 1, [0, 67, "XX"], 20, 20, 1, 2, 20, 1, [0, 59, "XX"], 20, 20, 20, 3, 1, [0, 53, "BE3"], 3, 3, 20, 3, [0, 46, "BE3"], 20, 20, 20, 20, 20, 1, 2, 1, 2, 20, 1, 2, 20, 1, 2, 20, 20, 1, 2, 20, 20, 1, 2, 20, 20, 20, 20, 20, 3, 20, 1, 2, 20, 20, 1, 2, 20, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 20, 3, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20],
#V   n = 160
[ ,, [6, 6], 2, [6, 5], 20, 3, 2, 2, 2, 20, 3, 3, 20, 3, 20, 20, 20, [0, 64, "GW2"], 20, 20, 3, [0, 57, "BE3"], 20, 20, 3, 20, 3, 2, 2, 20, 3, 1, 1, 20, 20, 20, 20, 20, [0, 44, "BE3"], 20, [0, 42, "BE3"], 20, 20, [0, 40, "GW2"], 20, 20, [0, 38, "BZ"], 20, 20, 20, [0, 36, "BZ"], 20, 20, 20, [0, 34, "BZ"], 20, 20, 20, 20, 20, 1, [0, 31, "TTH"], 20, [0, 30, "BZ"], 20, 20, 20, [0, 28, "BZ"], 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20],
#V   n = 161
[ ,, 3, [6, 11], 3, 20, 1, 2, 2, 2, 2, 3, 1, [0, 69, "XX"], 3, 2, 20, 20, 3, 20, 20, 3, 3, 20, 20, 1, [0, 55, "BE3"], 1, [0, 53, "BEx"], [0, 51, "Gra"], 20, 3, 20, 1, [0, 45, "XX"], 20, 20, 20, 20, 1, 2, 1, 2, 20, 3, 20, 20, 1, 1, 20, 20, 1, 1, 20, 20, 1, 1, 20, 20, 20, 20, 20, 3, 20, 1, 1, 20, 20, 1, 1, 20, 20, 20, 20, 1, 2, 20, 20, 20, 1, 2, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20],
#V   n = 162
[ ,, 3, 3, 2, 20, 20, [0, 80, "BDH"], [0, 78, "Ja2"], [0, 76, "Ja2"], [0, 74, "JS"], 1, [0, 71, "GG"], 3, 2, [0, 66, "BZ"], 20, 20, 3, 2, 20, 3, 3, 20, 20, 20, 3, 20, 3, 3, 20, 1, [0, 47, "Vx"], 20, 3, 20, 20, 20, 20, 20, [0, 44, "BE3"], 20, [0, 42, "BE3"], 20, 1, 1, 20, 20, 1, 1, 20, 20, 1, 1, 20, 20, 1, 1, 20, 20, 20, 20, 3, 20, 20, 1, 1, 20, 20, 1, 1, 20, 20, 20, 20, [0, 26, "BZ"], 20, 20, 20, 20, [0, 24, "BZ"], 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, [0, 7, "EB3"], 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20],
#V   n = 163
[ ,, 2, 2, [6, 15], [6, 37], 20, 3, 2, 2, 2, 20, 3, 1, [0, 69, "XX"], 2, 20, 20, 3, 2, 20, 3, 1, 2, 20, 20, 1, 1, 2, 3, 1, 20, 3, 20, 1, 2, 20, 20, 20, 20, 1, 1, 2, 20, 20, 1, 1, 20, 20, 1, 1, 20, 20, 1, 1, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 1, 1, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, [0, 17, "Su"], 20, 20, 20, 20, 20, 1, [0, 15, "Su"], 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 3, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20],
#V   n = 164
[ ,, [6, 3], [6, 14], 3, 3, 20, 1, 2, 2, 2, 2, 1, [0, 71, "XX"], 3, 2, 1, 20, 1, 2, 2, 1, [0, 59, "BE3"], [0, 58, "BE3"], 20, 20, 20, 1, [0, 55, "BE3"], 3, 1, [0, 49, "XB"], 3, 20, 20, [7, 255], 20, 20, 20, 20, 20, 1, 2, 2, 20, 20, 1, 2, 20, 20, 1, 2, 20, 20, 1, 2, 20, 20, 1, 1, 20, 20, 20, 1, 2, 20, 20, 1, 2, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 3, 20, 20, 20, 20, 20, 20, 3, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20],
#V   n = 165
[ ,, 3, 3, 3, 1, [6, 63], 20, [0, 80, "Ja2"], [0, 78, "GB5"], [0, 76, "Gu9"], [0, 74, "Ja2"], 20, 3, 2, [0, 68, "BZ"], 1, 2, 20, [0, 64, "CZ"], 2, 20, 3, 1, 2, 20, 20, 20, 3, 3, 20, 3, 1, 1, 20, 1, [7, 254], 20, 20, 20, 20, 20, [0, 44, "BE3"], [0, 42, "BZ"], 20, 20, 20, [0, 40, "BZ"], 20, 20, 20, [0, 38, "BZ"], 20, 20, 20, [0, 36, "BZ"], 20, 20, 20, 1, 2, 20, 20, 20, [0, 32, "BZ"], 20, 20, 20, [0, 30, "BZ"], 20, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20],
#V   n = 166
[ ,, 2, 3, 1, [6, 47], 3, 20, 3, 2, 3, 2, 20, 1, [0, 71, "XX"], 2, 20, [0, 66, "GW2"], 20, 1, 2, 20, 3, 20, [0, 58, "BE3"], 20, 20, 20, 3, 1, 1, 1, 1, 1, 1, 20, 3, 20, 20, 20, 20, 20, 3, 2, 20, 20, 20, 3, 20, 20, 20, 3, 20, 20, 20, 3, 20, 20, 20, 20, [0, 34, "XBZ"], 20, 20, 20, 3, 20, 20, 20, 3, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20],
#V   n = 167
[ ,, [6, 6], 3, [6, 15], 3, 1, [0, 81, "BEx"], 1, 2, 1, 2, 20, 20, 3, 2, 2, 1, 2, 20, [0, 64, "GW2"], 2, 1, 2, 1, [0, 57, "BE3"], 20, 20, 3, 20, 1, 2, 1, 1, 1, 2, 1, 1, 20, 20, 20, 20, 1, 2, 1, 20, 20, 3, 20, 20, 20, 3, 20, 20, 20, 1, 2, 20, 20, 20, 3, 20, 20, 20, 3, 20, 20, 20, 1, 2, 20, 20, 20, 20, 1, 2, 20, 20, 20, 1, 2, 20, 20, 20, 1, 2, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, [0, 9, "Hg"], 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20],
#V   n = 168
[ ,, 3, 2, 3, 1, [6, 63], 3, 20, [0, 80, "Ja2"], [0, 77, "Gu9"], [0, 76, "GB6"], 20, 20, 3, 2, [0, 68, "GG1"], 20, [0, 66, "GG1"], 20, 3, [0, 62, "BE3"], 20, [0, 60, "BZ"], 20, 3, 20, 20, 3, 20, 20, [0, 52, "BZ"], 20, 1, 1, 2, 20, 1, 1, 20, 20, 20, 20, [7, 255], 1, 2, 20, 3, 20, 20, 20, 3, 20, 20, 20, 20, [0, 36, "XBZ"], 20, 20, 20, 3, 20, 20, 20, 1, 1, 20, 20, 20, [0, 30, "BZ"], 20, 20, 20, 20, 20, [0, 28, "BZ"], 20, 20, 20, 20, [0, 26, "BZ"], 20, 20, 20, 20, [0, 24, "BZ"], 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 3, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20],
#V   n = 169
[ ,, 3, [6, 4], 2, 20, 3, 2, 20, 3, 3, 3, 1, 20, 1, 2, 1, 1, 1, 2, 3, 2, 20, 1, 2, 3, 20, 20, 3, 20, 20, 1, 2, 20, 1, 2, 1, 20, 1, 1, 20, 20, 20, 1, 1, 2, 20, 1, 1, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 3, 20, 20, 20, 20, 1, 1, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20],
#V   n = 170
[ ,, 2, 3, [6, 15], [6, 44], 1, [0, 83, "BEx"], 20, 3, 2, 2, 1, 2, 20, [0, 72, "DaH"], 20, 1, 2, [0, 66, "DaH"], 1, [0, 63, "GG"], 20, 20, [0, 60, "BE3"], 1, 1, 20, 3, 1, 20, 20, [0, 52, "DaH"], 20, 20, [0, 50, "DaH"], 1, 2, 20, 1, 1, 20, 20, 20, 1, [7, 255], 20, 20, 1, 1, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, [0, 17, "Su"], 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20],
#V   n = 171
[ ,, [6, 3], 2, 3, 3, 20, 3, [0, 81, "Gu9"], 1, 2, 2, 20, [0, 74, "BZ"], 20, 3, 1, 20, [0, 68, "GG1"], 3, 20, 3, 1, 20, 1, [0, 59, "BE3"], 1, 2, 3, 1, 1, 20, 3, 20, 20, 3, 20, [0, 48, "Dup"], 20, 20, 1, 1, 20, 20, 20, 3, 1, 20, 20, 1, 1, 20, 20, 1, 1, 20, 20, 20, 1, [0, 35, "TTH"], 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 3, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20],
#V   n = 172
[ ,, 3, [6, 7], 3, 1, [6, 63], 3, 3, 20, [0, 80, "Ja"], [0, 78, "GW2"], 1, 1, 1, 2, 1, 2, 3, 3, 20, 3, 1, [0, 61, "XB"], 20, 3, 20, [0, 58, "BE3"], 2, 20, 1, [0, 53, "XB"], 3, 20, 20, 1, 2, 3, 20, 20, 20, 1, [0, 45, "Gra"], 20, 20, 3, 1, [0, 41, "XB"], 20, 20, 1, [0, 39, "XB"], 20, 20, 1, [0, 37, "XB"], 20, 20, 20, 3, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20],
#V   n = 173
[ ,, 2, 3, 1, [6, 47], 3, 2, 1, 2, 3, 2, 1, 2, 1, 2, 20, [0, 70, "GW2"], 3, 2, 20, 3, 20, 3, 20, 3, 20, 1, 2, 1, 20, 3, 1, 1, 20, 20, [0, 50, "GW2"], 3, 20, 20, 20, 20, 3, 20, 20, 3, 20, 3, 20, 20, 20, 3, 20, 20, 20, 3, 20, 20, 20, 1, [0, 35, "XB"], 20, 20, 1, 2, 20, 20, 20, 20, 1, 1, 20, 20, 1, 1, 20, 20, 20, 20, 1, 2, 20, 20, 20, 1, 2, 20, 20, 20, 1, 2, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20],
#V   n = 174
[ ,, [6, 6], 3, 20, 3, 1, [0, 85, "X"], 2, [0, 82, "BKW"], 1, 2, 20, [0, 76, "BZ"], 20, [0, 74, "BZ"], 20, 3, 1, 2, 20, 1, 1, 2, 20, 1, 1, 20, [0, 58, "BE3"], 1, 1, 2, 20, 1, 1, 20, 3, 1, 1, 20, 20, 20, 3, 20, 20, 3, 20, 3, 20, 20, 20, 3, 20, 20, 20, 3, 20, 20, 20, 20, 3, 20, 20, 20, [0, 34, "BZ"], 20, 20, 20, 20, 20, 1, [0, 31, "TTH"], 20, 20, 1, 1, 20, 20, 20, 20, [0, 28, "BZ"], 20, 20, 20, 20, [0, 26, "BZ"], 20, 20, 20, 20, [0, 24, "BZ"], 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20],
#V   n = 175
--> --------------------

--> maximum size reached

--> --------------------

[ Dauer der Verarbeitung: 0.25 Sekunden  (vorverarbeitet)  ]