Spracherkennung für: .g vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
#A BOUNDS FOR q = 3
##
## 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][3] := [
#V n = 1
[ ],
#V n = 2
[ ],
#V n = 3
[ ],
#V n = 4
[ , [7, 11]],
#V n = 5
[ , 1, 20],
#V n = 6
[ , 1, 1, 20],
#V n = 7
[ , 1, 1, 1, 20],
#V n = 8
[ , 1, 1, 1, 1, 20],
#V n = 9
[ , 20, 1, 1, 1, 1, 20],
#V n = 10
[ , 1, 20, 1, 1, 2, 1, 20],
#V n = 11
[ , 1, 2, 20, 1, 2, 20, 1, 20],
#V n = 12
[ , 1, 2, 20, 20, [0, 6, "QR"], 1, 20, 1, 20],
#V n = 13
[ , 20, [7, 38], 1, 20, 1, 1, 1, 20, [4, 24], 20],
#V n = 14
[ , 2, 1, 1, 1, 20, [0, 6, "QR"], [0, 5, "NBC"], 1, 1, 20, 20],
#V n = 15
[ , 2, 20, 1, 2, [0, 7, "Li1"], 1, 1, 20, 1, 1, 20, 20],
#V n = 16
[ , [6, 4], 1, 20, [0, 9, "HN"], 1, 20, 1, 1, 20, 1, 1, 20, 20],
#V n = 17
[ , 1, 1, 1, 1, 1, 1, 20, 1, 1, 20, 1, 1, 20, 20],
#V n = 18
[ , 2, 1, 1, 2, 1, 1, 1, 20, 1, 1, 20, 1, 1, 20, 20],
#V n = 19
[ , 2, 20, 1, 2, 20, 1, 1, 1, 20, 1, 1, 20, 1, 1, 20, 20],
#V n = 20
[ , [6, 4], 2, 20, [7, 54], 1, 20, 1, 1, 1, 20, 1, 1, 20, [5, 9], 1, 20, 20],
#V n = 21
[ , 1, 2, 20, 1, 1, 2, 20, 1, 1, 1, 20, 1, 1, 1, 20, 1, 20, 20],
#V n = 22
[ , 2, [6, 9], 1, 20, 1, 2, 20, 20, 1, 1, 2, 20, 1, 1, 1, 20, 1, 20, 20],
#V n = 23
[ , 2, 1, 1, 1, 20, [0, 12, "Bou"], 1, 20, 20, 1, 2, 20, 20, 1, 1, 1, 20, 1, 20, 20],
#V n = 24
[ , [6, 4], 1, 1, 1, 1, 1, 2, 1, 20, 20, [0, 9, "QR"], 1, 20, 20, 1, 1, 1, 20, 1, 20, 20],
#V n = 25
[ , 1, 1, 2, 1, 1, 1, 2, 20, [0, 10, "BE3"], 20, 3, 20, 1, 20, 20, 1, 1, 1, 20, 1, 20, 20],
#V n = 26
[ , 2, 1, 2, 20, 1, 1, 2, 1, 1, 20, 1, 1, 20, 1, 20, 20, 1, 1, 1, 20, 1, 20, 20],
#V n = 27
[ , 2, 20, [22, 3, 1], 2, 20, 1, 2, 1, 1, 1, 20, 1, 1, 20, [0, 7, "EB3"], 20, 20, 1, 2, 1, 20, 1, 20, 20],
#V n = 28
[ , [6, 4], 20, 1, 2, 20, 20, [0, 15, "NBC"], 20, 1, 1, 1, 20, [0, 9, "KP"], 1, 1, 20, 20, 20, [0, 6, "KP"], 20, 1, 20, 1, 20, 20],
#V n = 29
[ , 2, 1, 20, [0, 18, "vE0"], 1, 20, 3, 1, 20, 1, 1, 1, 1, 20, [0, 8, "EB3"], 1, 20, 20, 3, 1, 20, 1, 20, 1, 20, 20],
#V n = 30
[ , 2, 1, 2, 1, 1, 2, 1, 2, [0, 13, "GuB"], 20, 1, 1, 1, 1, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20],
#V n = 31
[ , 2, 1, 2, 20, [7, 83], [0, 17, "XX"], 20, [0, 15, "DaH"], 2, 20, 20, 1, 1, 1, 1, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20],
#V n = 32
[ , [6, 4], 20, [0, 21, "Bel"], 2, 1, 1, 2, 1, 2, 20, 20, 20, 1, 1, 1, 1, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20],
#V n = 33
[ , 2, 1, 1, 2, 20, 1, 2, 20, [0, 15, "GB4"], 1, 20, 20, 20, 1, 1, 1, 2, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20],
#V n = 34
[ , 2, 1, 2, [0, 21, "vE0"], 1, 20, [0, 18, "DaH"], 2, 1, 1, 1, 20, 20, 20, 1, 1, 2, 20, 1, 20, [0, 7, "EB3"], 20, 1, 20, 1, 20, 1, 20, 1, 20, 20],
#V n = 35
[ , 2, 1, 2, 1, 2, [0, 19, "KP"], 1, 2, 20, 1, 1, 1, 20, 20, 20, 1, 2, 1, 20, [0, 8, "EB3"], 1, 20, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20],
#V n = 36
[ , [6, 4], 20, [22, 3, 1], 2, [0, 21, "BZ"], 2, 20, [0, 18, "KP"], 1, 20, 1, 1, 1, 20, 20, 20, [0, 12, "Ple"], 20, 1, 1, 20, 1, 20, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20],
#V n = 37
[ , 2, 1, 1, 2, 2, [0, 20, "Bo1"], 20, 1, 1, 1, 20, 1, 1, 1, 20, 20, 3, 1, 20, 1, 1, 20, 1, 20, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20],
#V n = 38
[ , 2, 1, 2, [0, 24, "BB"], 2, 1, 1, 20, 1, 1, 2, 20, 1, 1, 1, 20, 1, 1, 2, 20, 1, 1, 20, 1, 20, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20],
#V n = 39
[ , 2, 1, 2, 1, 2, 1, 1, 1, 20, 1, 2, 20, 20, 1, 1, 1, 20, 1, 2, 20, 20, 1, 1, 20, 1, 20, 20, [0, 6, "B"], 20, 1, 20, 1, 20, 1, 20, 20],
#V n = 40
[ , [6, 4], 20, [7, 119], 20, [7, 110], 1, 1, 2, [0, 19, "DaH"], 20, [0, 18, "KP"], 2, 20, 20, 1, 1, 1, 20, [0, 12, "Be"], 1, 20, 20, [0, 9, "KP"], 1, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, [4, 78], 20, 20],
#V n = 41
[ , 2, 20, 3, 1, 1, 2, [0, 22, "KP"], [0, 21, "DaH"], 1, 20, 1, 2, 20, 20, 20, 1, 1, 1, 1, 1, 1, 20, 3, 20, 1, 20, 1, 20, 1, 20, 20, [0, 5, "BCH"], 20, 1, 1, 20, 20, 20],
#V n = 42
[ , 2, 2, 1, 1, 2, [0, 24, "X"], 1, 1, 1, 2, 20, [0, 18, "B"], 1, 20, 20, 20, 1, 1, 1, 1, 1, 1, 1, 20, 20, 1, 20, [0, 7, "EB3"], 20, 1, 20, 1, 20, 20, 1, 1, 20, 20, 20],
#V n = 43
[ , 2, 2, 20, 1, 2, 1, 1, 2, 1, 2, 20, 1, 1, 1, 20, 20, 20, 1, 1, 1, 1, 1, 2, [0, 9, "Vx"], 20, 20, 1, 1, 20, 20, 1, 20, 1, 20, 20, 1, 1, 20, 20, 20],
#V n = 44
[ , [6, 4], [6, 9], 1, 20, [0, 27, "Bo1"], 20, 1, 2, 20, [0, 21, "DaH"], 2, 20, 1, 1, 1, 20, 20, 20, 1, 1, 1, 1, 2, 1, 20, 20, 20, [0, 8, "BE3"], 1, 20, 20, 1, 20, 1, 20, 20, 1, 1, 20, 20, 20],
#V n = 45
[ , 2, 1, 1, 2, 3, 2, 20, [0, 24, "KP"], 20, 1, 2, 20, 20, 1, 1, 1, 20, 20, 20, 1, 1, 1, 2, 1, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, 1, 1, 20, 20, 20],
#V n = 46
[ , 2, 2, 1, 2, 2, [0, 26, "BKW"], 20, 3, 2, 20, [0, 21, "DaH"], 20, 20, 20, 1, 1, 1, 20, 20, 20, 1, 1, 2, 20, 1, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, 1, 1, 20, 20, 20],
#V n = 47
[ , 2, 2, 20, [0, 30, "vE1"], 2, 1, 2, 1, 2, 20, 3, 1, 20, 20, 20, 1, 1, 1, 20, 20, 20, 1, 2, 1, 20, 1, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, 1, 1, 20, 20, 20],
#V n = 48
[ , [6, 4], [6, 9], 1, 1, 2, 1, 2, 20, [0, 24, "DaH"], [0, 22, "GB4"], 1, 1, 2, 20, 20, 20, 1, 1, 1, 20, 20, 20, [0, 15, "QR"], 1, 2, 20, 1, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, 1, 1, 20, 20, 20],
#V n = 49
[ , 2, 1, 2, [0, 31, "BB"], [0, 30, "Gu1"], [0, 28, "GuB"], [0, 27, "DaH"], 1, 2, 1, 20, [0, 21, "DaH"], [0, 20, "DaH"], 20, 20, 20, 20, 1, 1, 1, 20, 20, 3, 1, 2, 20, 20, 1, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, 1, 1, 20, 20, 20],
#V n = 50
[ , 2, 2, [6, 10], 1, 2, 2, 1, 1, 2, 1, 1, 1, 1, 1, 20, 20, 20, 20, 1, 1, 1, 20, 1, 1, 2, 1, 20, 20, 1, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, 1, 1, 20, 20, 20],
#V n = 51
[ , 2, 2, 1, 1, 2, 2, 20, 1, 2, 1, 1, 1, 1, 1, 1, 20, 20, 20, 20, 1, 1, 1, 20, 1, 2, 1, 1, 20, 20, 1, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, 1, 1, 20, 20, 20],
#V n = 52
[ , [6, 4], [4, 2], 1, 1, 2, [0, 30, "CG"], 2, 20, [0, 27, "DaH"], 20, 1, 1, 2, 1, 1, 2, 20, 20, 20, 20, 1, 1, 1, 20, [0, 15, "GaO"], 1, 1, 1, 20, 20, 1, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, 1, 1, 20, 20, 20],
#V n = 53
[ , 2, 1, 1, 1, 2, 1, 2, 20, 3, 1, 20, 1, 2, 20, [0, 21, "DaH"], [0, 20, "DaH"], 20, 20, 20, 20, 20, 1, 1, 1, 1, 1, 1, 1, 1, 20, 20, 1, 1, 20, 20, 1, 20, [0, 7, "EB3"], 20, 20, 1, 20, 1, 20, 20, 1, 1, 20, 20, 20],
#V n = 54
[ , 2, 20, 1, 1, 2, 2, [0, 30, "GB4"], [0, 28, "GB1"], 1, 1, 2, 20, [0, 24, "DaH"], 20, 1, 1, 1, 20, 20, 20, 20, 20, 1, 1, 1, 1, 1, 1, 2, 1, 20, 20, 1, 1, 20, 20, 1, 1, 20, 20, 20, 1, 20, 1, 20, 20, 1, 1, 20, 20, 20],
#V n = 55
[ , 2, 2, 20, 1, 2, 2, 2, 1, 20, 1, 2, 20, 3, 1, 20, 1, 1, 1, 20, 20, 20, 20, 20, 1, 1, 1, 1, 1, 2, 20, 1, 20, 20, 1, 1, 20, 20, 1, 1, 20, 20, 20, 1, 20, 1, 20, 20, 1, 1, 20, 20, 20],
#V n = 56
[ , [6, 4], 2, 20, 20, [0, 36, "Gu"], [0, 33, "GB4"], [0, 31, "Gu2"], 1, 2, 20, [0, 27, "ARS"], 20, 1, 1, 2, 20, [0, 21, "DaH"], 1, 2, 20, 20, 20, 20, 20, 1, 1, 1, 1, 2, 20, 20, 1, 20, 20, 1, 1, 20, 20, 1, 1, 20, 20, 20, 1, 20, 1, 20, 20, [0, 4, "Hi1"], 1, 20, 20, 20],
#V n = 57
[ , 2, [6, 9], 2, 20, 3, 2, 3, 1, 2, 20, 3, 1, 20, [0, 24, "DaH"], [0, 23, "DaH"], 20, 3, 20, [0, 20, "DaH"], 20, 20, 20, 20, 20, 20, 1, 1, 1, 2, 1, 20, 20, 1, 20, 20, 1, 1, 20, 20, 1, 1, 20, 20, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 20],
#V n = 58
[ , 2, 1, 2, 20, 3, 2, 1, 20, [0, 30, "XX"], 2, 1, 1, 2, 1, 2, 20, 1, 20, 3, 20, 20, 20, 20, 20, 20, 20, 1, 1, 2, 1, 1, 20, 20, 1, 20, 20, 1, 1, 20, 20, 1, 1, 20, 20, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 20],
#V n = 59
[ , 2, 2, [6, 19], 2, 1, 2, 1, 1, 1, 2, 20, 1, 2, 20, [0, 24, "GW2"], 2, 20, 1, 1, 2, 20, 20, 20, 20, 20, 20, 20, 1, 2, 1, 2, 1, 20, 20, 1, 20, 20, 1, 1, 20, 20, 1, 1, 20, 20, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 20],
#V n = 60
[ , [6, 4], 2, 1, 2, 20, [0, 36, "BKW"], 2, 1, 1, 2, 2, 20, [0, 27, "GW2"], 2, 1, 2, 20, 20, 1, 2, 20, 20, 20, 20, 20, 20, 20, 20, [0, 18, "QR"], 1, 2, 20, 1, 20, 20, 1, 20, 20, 1, 2, 20, 20, 1, 1, 20, 20, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 20],
#V n = 61
[ , 2, [4, 2], 2, [0, 39, "vE0"], 2, 3, 2, 20, 1, 2, 2, 20, 3, [0, 26, "DaH"], 20, [0, 24, "DaH"], 1, 20, 20, [0, 21, "DaH"], 20, 20, 20, 20, 20, 20, 20, 20, 3, 1, 2, 20, 20, 1, 20, 20, 1, 20, 20, [0, 10, "Glo"], 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 20],
#V n = 62
[ , 2, 1, 2, 1, 2, 1, 2, 2, 20, [0, 32, "DaH"], [0, 30, "DaH"], 20, 1, 1, 1, 1, 1, 1, 20, 3, 1, 20, 20, 20, 20, 20, 20, 20, 1, 1, 2, [0, 13, "Vx"], 20, 20, 1, 20, 20, 1, 20, 3, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 20],
#V n = 63
[ , 2, 2, [22, 3, 1], 2, [0, 39, "Gu1"], 1, 2, 2, 20, 3, 2, 1, 20, 1, 1, 2, 1, 1, 1, 1, 1, 1, 20, 20, 20, 20, 20, 20, 20, 1, 2, 1, 20, 20, 20, 1, 20, 20, 1, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 20],
#V n = 64
[ , [6, 4], 2, 1, 2, 1, 2, [0, 37, "BKW"], 2, 1, 1, 2, 1, 1, 20, 1, 2, 20, 1, 1, 2, 1, 1, 1, 20, 20, 20, 20, 20, 20, 20, [0, 18, "Be"], 1, 1, 20, 20, 20, [0, 12, "D1"], 20, 20, 1, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 20],
#V n = 65
[ , 2, [6, 13], 2, [0, 42, "HN"], 2, [0, 39, "GO"], 3, [0, 36, "Gu"], 20, 1, 2, 1, 1, 1, 20, [0, 27, "DaH"], 20, 20, 1, 2, 20, 1, 1, 1, 20, 20, 20, 20, 20, 20, 3, 20, 1, 1, 20, 20, 1, 20, 20, 20, 1, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 20],
#V n = 66
[ , 2, 1, 2, 1, 2, 3, 3, 3, 1, 20, [0, 33, "DaH"], 20, 1, 1, 2, 3, 2, 20, 20, [0, 24, "DaH"], 1, 20, 1, 1, 1, 20, 20, 20, 20, 20, 3, 1, 20, 1, 1, 20, 20, 1, 20, 20, 20, 1, 1, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 20],
#V n = 67
[ , 2, 20, [6, 27], 2, [0, 42, "Ha"], 2, 1, 1, 1, 2, 3, 20, 20, 1, 2, 1, 2, 20, 20, 3, 1, 2, 20, 1, 1, 1, 20, 20, 20, 20, 3, 1, 1, 20, 1, 1, 20, 20, 1, 20, 20, 20, 1, 2, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 20],
#V n = 68
[ , [6, 4], 2, 1, 2, 3, 2, 1, 2, 1, 2, 2, 1, 20, 20, [0, 30, "ARS"], 20, [0, 27, "DaH"], 20, 20, 1, 20, [0, 23, "DaH"], 20, 20, 1, 1, 1, 20, 20, 20, 1, 1, 1, 1, 20, 1, 1, 20, 20, 1, 20, 20, 20, [0, 11, "Glo"], 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 20],
#V n = 69
[ , 2, 2, 20, [0, 45, "vEH"], 1, 2, 1, 2, 20, [0, 36, "Bou"], 2, 1, 1, 20, 3, 2, 3, 20, 20, 20, 1, 2, 20, 20, 20, 1, 1, 1, 20, 20, 20, 1, 1, 1, 2, 20, 1, 1, 20, 20, 1, 20, 20, 3, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 20],
#V n = 70
[ , 2, [4, 2], 2, 3, 2, [0, 42, "Gu2"], 2, [0, 39, "GB4"], 20, 1, 2, 1, 1, 1, 1, 2, 3, 1, 20, 20, 20, [0, 24, "DaH"], 1, 20, 20, 20, 1, 1, 1, 20, 20, 20, 1, 1, 2, 20, 20, 1, 1, 20, 20, 1, 20, 1, 1, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 20],
#V n = 71
[ , 2, 1, 2, 1, 2, 1, 2, 2, 1, 20, [0, 36, "GW2"], 1, 1, 1, 2, [0, 30, "ASR"], 1, 1, 1, 20, 20, 1, 1, 1, 20, 20, 20, 1, 1, 1, 20, 20, 20, 1, 2, 2, 20, 20, 1, 1, 20, 20, 1, 20, 1, 1, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 20],
#V n = 72
[ , [6, 4], 2, [22, 3, 1], 2, [0, 45, "Gu1"], [0, 43, "GO"], [0, 42, "Gu2"], 2, 1, 1, 1, 1, 1, 1, 2, 3, 1, 1, 1, 1, 20, 20, 1, 1, 1, 20, 20, 20, 1, 1, 1, 20, 20, 20, [0, 18, "QR"], 2, 20, 20, 20, 1, 1, 20, 20, 1, 20, 1, 1, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 20],
#V n = 73
[ , 2, 2, 1, 2, 2, 2, 1, 2, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 1, 20, 20, 1, 1, 1, 20, 20, 20, 1, 1, 1, 20, 20, 1, 2, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 1, 1, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 20],
#V n = 74
[ , 2, [6, 9], 2, [0, 48, "BB"], 2, 2, 20, [0, 42, "B"], 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 1, 1, 20, 20, 1, 1, 1, 20, 20, 20, 1, 1, 1, 20, 20, [0, 18, "QR"], 2, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 1, 1, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 20],
#V n = 75
[ , 2, 1, 2, 1, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 2, 20, 20, 1, 1, 1, 20, 20, 20, 1, 1, 1, 20, 1, 2, 20, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 1, 1, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 20],
#V n = 76
[ , [6, 4], 2, [6, 36], 2, [0, 48, "Bo3"], 2, 1, 2, 1, 1, 1, 1, 1, 1, 2, 1, 2, 20, 1, 1, 1, 1, 2, 20, 20, 20, 1, 1, 1, 20, 20, 20, 1, 1, 1, 20, [0, 18, "GaO"], 1, 20, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 1, 1, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 20],
#V n = 77
[ , 2, 2, 1, 2, 1, 2, 1, 2, 20, 1, 1, 1, 1, 1, 2, 1, 2, 20, 20, 1, 1, 1, 2, 20, 20, 20, 20, 1, 1, 1, 20, 20, 20, 1, 1, 1, 1, 1, 1, 20, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 1, 1, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 20],
#V n = 78
[ , 2, [6, 13], 1, 2, 1, 2, 1, 2, 1, 20, 1, 1, 1, 1, 2, 1, 2, 20, 20, 20, 1, 1, 2, 20, 20, 20, 20, 20, 1, 1, 1, 20, 20, 20, 1, 1, 1, 1, 1, 1, 20, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 1, 1, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 20],
#V n = 79
[ , 2, 1, 1, 2, 1, 2, 1, 2, 1, 2, 20, 1, 1, 1, 2, 1, 2, 1, 20, 20, 20, 1, 2, 20, 20, 20, 20, 20, 20, 1, 1, 1, 20, 20, 20, 1, 1, 1, 1, 1, 2, 20, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 1, 1, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 20],
#V n = 80
[ , [6, 4], 20, 1, 2, 1, 2, 1, 2, 1, 2, 20, 20, 1, 1, 2, 20, [0, 36, "DaH"], 1, 2, 20, 20, 20, [0, 30, "DaH"], 2, 20, 20, 20, 20, 20, 20, 1, 1, 1, 20, 20, 20, 1, 1, 1, 1, 2, 20, 20, 1, 20, 20, 20, 1, 2, 20, 20, 1, 20, 1, 2, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 20],
#V n = 81
[ , 2, 2, 20, [22, 4, 1], 20, [0, 51, "XBC"], 20, [0, 48, "BE"], 20, [0, 45, "XBC"], 20, 20, 20, 1, 2, 20, 3, 2, [0, 32, "DaH"], 20, 20, 20, 3, [0, 26, "BZ"], 20, 20, 20, 20, 20, 20, 20, 1, 1, 1, 20, 20, 20, 1, 1, 1, 2, 20, 20, 20, 1, 20, 20, 20, [0, 14, "XBC"], 20, 20, 20, 1, 20, [0, 11, "XBC"], 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 20],
#V n = 82
[ , 2, 2, 20, 3, 1, 2, 20, 3, 20, 3, 1, 20, 20, 20, [0, 42, "NBC"], 20, 3, 2, 2, 20, 20, 20, 3, 1, 1, 20, 20, 20, 20, 20, 20, 20, 1, 1, 1, 20, 20, 20, 1, 1, 2, 1, 20, 20, 20, 1, 20, 20, 1, 1, 20, 20, 20, 1, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, [0, 8, "BE"], 1, 20, 20, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 20],
#V n = 83
[ , 2, [6, 9], 20, 1, 1, 2, 20, 3, 20, 1, 1, 1, 20, 20, 3, 20, 1, 2, 2, 1, 20, 20, 3, 2, 1, 2, 20, 20, 20, 20, 20, 20, 20, 1, 1, 1, 20, 20, 20, 1, 2, 1, 1, 20, 20, 20, 1, 20, 20, 1, 1, 20, 20, 20, [0, 12, "XX"], 1, 1, 20, 20, 20, 1, 20, 20, 20, 1, 20, 1, 20, 20, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 20],
#V n = 84
[ , [6, 4], 2, 1, 20, 1, 2, 1, 2, 1, 20, 1, 1, 1, 20, 3, 20, 20, [0, 36, "DaH"], [0, 34, "DaH"], 1, 1, 20, 3, [0, 28, "BZ"], 20, [0, 26, "BZ"], 20, 20, 20, 20, 20, 20, 20, 20, 1, 1, 1, 20, 20, 20, [0, 21, "GaO"], 1, 1, 1, 20, 20, 20, 1, 20, 20, 1, 1, 20, 20, 3, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 1, 20, 1, 20, 20, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 20],
#V n = 85
[ , 2, 2, 1, 2, 20, [0, 54, "XX"], 1, 2, 1, 2, 20, [0, 45, "BEx"], 1, 2, 3, 1, 20, 3, 2, 20, [0, 32, "DaH"], [0, 31, "DaH"], 3, 3, 20, 1, 1, 20, 20, 20, 20, 20, 20, 20, 20, 1, 1, 1, 20, 20, 3, 1, 2, 1, 1, 20, 20, 20, [0, 15, "XX"], 20, 20, 1, 1, 20, 1, 20, 20, 1, 1, 20, 20, 20, [0, 9, "XX"], 20, 20, 20, 1, 20, [0, 7, "BE"], 20, 20, 20, [0, 6, "BE"], 20, 1, 20, 1, 20, 1, 20, 20, 20],
#V n = 86
[ , 2, 2, 1, 2, 20, 3, 20, [0, 50, "BE"], 20, [0, 47, "XX"], 20, 1, 20, [0, 44, "XX"], 2, 1, 2, 1, 2, 1, 1, 2, 3, 1, 1, 20, 1, 1, 20, 20, 20, 20, 20, 20, 20, 20, 1, 1, 1, 20, 1, 1, 2, 20, [0, 17, "XX"], 1, 20, 20, 1, 20, 20, 20, [0, 14, "XX"], [0, 13, "XX"], 20, 1, 20, 20, [0, 11, "XX"], 1, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, [0, 5, "BE"], 20, 1, 20, 1, 20, 20, 20],
#V n = 87
[ , 2, [6, 9], 20, [0, 57, "HHY"], 20, 3, 1, 2, 1, 2, 20, 20, 1, 1, 2, 20, [0, 38, "DaH"], 20, [0, 36, "DaH"], 1, 2, [0, 32, "DaH"], 3, 20, 1, 2, 20, 1, 1, 20, 20, 20, 20, 20, 20, 20, 20, 1, 1, 1, 20, 1, 2, 1, 1, 20, 1, 20, 20, 1, 20, 20, 1, 1, 20, 20, [0, 12, "X6"], 20, 1, 20, 1, 20, 20, 1, 20, 20, 20, 20, [0, 8, "BE"], 1, 20, 20, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20],
#V n = 88
[ , [6, 4], 2, 1, 2, 2, 3, 1, 2, 1, 2, 1, 20, 20, [0, 45, "XX"], [0, 44, "X6a"], 1, 2, 20, 1, 1, 2, 2, 2, 20, 20, [0, 28, "BZ"], 20, 20, [0, 26, "BZ"], [0, 25, "XX"], 20, 20, 20, 20, 20, 20, 20, 20, 1, 1, 1, 20, [0, 21, "GaO"], 1, 1, 1, 20, [0, 16, "XX"], 20, 20, 1, 20, 20, 1, 2, 20, 1, 20, 20, 1, 20, [0, 10, "XX"], 20, 20, 1, 20, 20, 20, 3, 20, 1, 20, 20, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20],
#V n = 89
[ , 2, 2, 1, 2, 2, 1, 1, 2, 1, 2, [0, 47, "BE3"], 1, 20, 1, 2, 1, 2, 1, 20, 1, 2, [0, 33, "DaH"], 2, 1, 20, 1, 1, 20, 1, 1, 20, 20, 20, 20, 20, 20, 20, 20, 20, 1, 1, 1, 1, 1, 1, 1, 1, 1, 20, 20, 20, [0, 15, "XX"], 20, 20, [0, 14, "X6u"], 20, 20, 1, 20, 20, 1, 1, 20, 20, 20, [0, 9, "XX"], 20, 20, 1, 20, 20, 1, 20, 20, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20],
#V n = 90
[ , 2, 2, 1, 2, [0, 57, "X"], 2, 1, 2, 1, 2, 1, 20, [0, 46, "XX"], 20, [0, 45, "X6a"], 1, 2, 20, [0, 37, "DaH"], 20, [0, 36, "DaH"], 1, 2, 1, 1, 20, 1, 1, 20, 1, 1, 20, 20, 20, 20, 20, 20, 20, 20, 20, 1, 1, 1, 1, 1, 1, 2, [0, 17, "XX"], [0, 16, "X6"], 20, 20, 1, 20, 20, 1, 1, 20, 20, [0, 12, "X6"], 20, 20, [0, 11, "XX"], 1, 20, 20, 1, 20, 20, 20, [0, 8, "XX"], 20, 20, 1, 20, 20, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20],
#V n = 91
[ , 2, [6, 13], 20, [0, 60, "XX"], 1, 2, 20, [0, 54, "dB"], 20, [0, 51, "XX"], [0, 48, "BE3"], 1, 1, 20, 3, 1, 2, [0, 38, "DaH"], 3, 20, 3, 20, [0, 33, "DaH"], 1, 1, 1, 20, 1, 2, 20, 1, 2, 20, 20, 20, 20, 20, 20, 20, 20, 20, 1, 1, 1, 1, 1, 2, 1, 1, 20, 20, 20, 1, 20, 20, 1, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20],
#V n = 92
[ , [6, 4], 3, 2, 3, 2, [0, 57, "X3a"], 20, 3, 20, 3, 1, 20, [0, 47, "XX"], [0, 46, "X6a"], 3, 20, [0, 42, "DaH"], 1, 2, 20, 3, 1, 1, 1, 1, 1, 1, 20, [0, 28, "BZ"], 20, 20, [0, 26, "BZ"], 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 1, 1, 1, 1, 2, 20, 1, 1, 20, 20, 20, [0, 15, "X6u"], 20, 20, 1, 1, 20, 1, 20, 20, 1, 20, [0, 10, "Ed2"], 20, 20, [0, 9, "X6u"], 20, 20, 1, 20, 20, 20, [0, 7, "EB3"], 20, 20, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20],
#V n = 93
[ , 2, 1, 2, 1, 2, 2, 20, 3, 20, 3, 2, 1, 1, 2, 3, 20, 3, 1, 2, 20, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 20, 1, 1, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 1, 1, 1, 2, 20, 20, [0, 17, "X6u"], 1, 20, 20, 1, 20, 20, 20, 1, 1, 20, [0, 12, "X6"], 20, 20, [0, 11, "X6u"], 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 1, 20, 20, 20, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20],
#V n = 94
[ , 2, 2, [6, 27], 2, [0, 60, "XX"], 2, 2, 3, 2, 1, 2, 20, [0, 48, "X"], [0, 47, "X6a"], 2, 20, 3, 1, 2, 20, 20, [0, 36, "DaH"], 20, 1, 1, 1, 1, 1, 1, 1, 1, 20, 1, 1, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 1, 1, 2, 20, 20, 1, 20, [0, 16, "X6"], 20, 20, [0, 15, "X6u"], 20, 20, 20, 1, 1, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 1, 20, 20, 20, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20],
#V n = 95
[ , 2, 2, 1, 2, 1, 2, 2, 3, [7, 252], 20, [0, 51, "X6a"], 2, 1, 1, 2, 20, 3, 20, [0, 40, "DaH"], 1, 20, 3, 20, 20, 1, 1, 1, 1, 1, 1, 1, 1, 20, 1, 2, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 1, 2, 1, 20, 20, 1, 1, 20, 20, 3, 20, 20, 20, 20, 1, 1, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 1, 20, 20, 20, 20, [0, 6, "EB3"], 20, 1, 20, 20, 1, 20, 1, 20, 20, 20],
#V n = 96
[ , [6, 4], [6, 9], 20, [22, 4, 1], 2, [0, 60, "X6a"], [0, 57, "GB1"], 1, 1, 2, 1, 2, 20, [0, 48, "X"], [0, 47, "X"], 2, 3, [0, 41, "DaH"], 3, 1, 2, 3, 20, 20, 20, 1, 1, 1, 1, 1, 1, 1, 2, 20, [0, 26, "BZ"], 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, [0, 24, "ACG"], 20, 1, 20, 20, [0, 17, "X6u"], 1, 20, 1, 20, 20, 20, 20, 20, 1, 1, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20],
#V n = 97
[ , 2, 2, 1, 1, 2, 2, 2, 2, [7, 257], [0, 53, "X6a"], 20, [0, 51, "X6a"], 20, 1, 2, 2, 1, 2, 3, [0, 39, "DaH"], [0, 38, "GW2"], 2, 20, 20, 20, 20, 1, 1, 1, 1, 1, 1, 2, 20, 1, 1, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 3, 20, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 20, 20, 20, 1, 1, 1, 20, 20, [0, 11, "Ed2"], 20, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20],
#V n = 98
[ , 2, 2, 1, 2, [0, 63, "Gu1"], 2, 2, 2, 1, 2, 20, 3, 1, 20, [0, 48, "X"], [0, 45, "DaH"], 2, [0, 42, "DaH"], 3, 3, 3, [0, 37, "GW2"], 20, 20, 20, 20, 20, 1, 1, 1, 1, 1, 2, 1, 20, 1, 1, 20, 20, 20, 20, 20, 20, 20, 20, 20, 3, 1, 20, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 20, 20, 20, 1, 1, 1, 20, 1, 20, 20, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20],
#V n = 99
[ , 2, 2, 1, 2, 1, 2, 2, [0, 57, "GB1"], 20, [0, 54, "X6a"], 20, 1, 1, 2, 3, 1, 2, 3, 3, 3, 3, 3, 2, 20, 20, 20, 20, 20, 1, 1, 1, 1, 2, 1, 2, 20, 1, 1, 20, 20, 20, 20, 20, 20, 20, 20, 3, 20, [0, 19, "VE"], 20, 20, 1, 20, [0, 17, "X6u"], 20, 1, 20, [0, 15, "X6u"], 20, 20, 20, 20, 20, 1, 1, 1, 20, 1, 20, 20, 1, 20, 20, [0, 9, "XB"], 20, 20, 20, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20],
#V n = 100
[ , [6, 4], [6, 9], 20, [0, 66, "Bel"], 20, [0, 63, "EB1"], [0, 60, "GO2"], 3, [0, 55, "Gu"], 3, 2, 20, 1, 2, 2, 20, [0, 45, "DaH"], 2, 3, 3, 3, 3, [0, 36, "BZ"], 20, 20, 20, 20, 20, 20, 1, 1, 1, 2, 2, [0, 28, "BZ"], 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 20, 3, 1, 1, 20, 20, 20, [0, 18, "D1"], 1, 20, 20, [0, 16, "BZ"], 1, 20, 20, 20, 20, 20, 20, 1, 1, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, 20, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20],
#V n = 101
[ , 2, 2, 1, 2, 1, 2, 3, 2, 2, 3, [0, 53, "X6a"], 20, 20, [0, 51, "XX"], 2, 1, 2, [0, 43, "GW2"], 1, 1, 1, 2, 1, 1, 20, 20, 20, 20, 20, 20, 1, 1, 2, 2, 1, 1, 20, 20, 1, 1, 20, 20, 20, 20, 20, 20, 3, 20, [0, 20, "VE"], 1, 20, 20, 1, 20, [0, 17, "Vx"], 20, 1, 20, 1, 20, 20, 20, 20, 20, 20, 1, 1, 2, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, 20, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20],
#V n = 102
[ , 2, 2, 1, 2, 1, 2, 2, 2, 2, 1, 1, 2, 20, 1, 2, 1, 2, 3, 1, 1, 1, 2, 20, 1, 1, 20, 20, 20, 20, 20, 20, 1, 2, 2, 20, 1, 1, 20, 20, 1, 1, 20, 20, 20, 20, 20, 3, [0, 21, "VE"], 1, 20, 1, 20, 20, 1, 1, 20, 20, 1, 20, 1, 20, 20, 20, 20, 20, 20, 1, 2, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, 20, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20],
#V n = 103
[ , 2, 2, 1, 2, 1, 2, 2, 2, [0, 57, "MTS"], 2, 1, 2, 20, 20, [0, 51, "X6a"], 1, 2, 1, 1, 1, 1, 2, 2, 20, 1, 2, 20, 20, 20, 20, 20, 20, [0, 34, "Glo"], 2, 2, 20, 1, 2, 20, 20, 1, 2, 20, 20, 20, 20, 3, 1, 20, 1, 20, [0, 19, "VE"], 20, 20, 1, 1, 20, 20, 1, 20, 1, 20, 20, 20, 20, 20, 20, [0, 14, "Glo"], 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, 20, 1, 20, 20, 1, 20, 20, 20, [0, 6, "EB3"], 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20],
#V n = 104
[ , [6, 4], [6, 13], 20, [0, 69, "Bel"], 20, [0, 66, "GO"], 2, [0, 60, "DGM"], 2, [0, 56, "BET"], 20, [0, 54, "ARS"], 2, 20, 3, 20, [0, 48, "DaH"], 2, [0, 43, "DaH"], 1, 1, 2, [0, 38, "BZ"], 20, 20, [0, 36, "BZ"], 20, 20, 20, 20, 20, 20, 3, [0, 33, "Glo"], [0, 30, "BZ"], 20, 20, [0, 28, "BZ"], 20, 20, 20, [0, 26, "BZ"], 20, 20, 20, 20, 3, [0, 22, "BZ"], 1, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 1, 20, 20, 20, 20, 20, 3, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, 20, 1, 20, 20, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20],
#V n = 105
[ , 2, 3, 1, 2, 1, 2, [0, 63, "Gu"], 2, 2, 3, 20, 3, [0, 53, "XX"], 20, 3, 20, 3, [0, 45, "DaH"], 3, 20, [0, 42, "DaH"], [0, 41, "DaH"], 1, 1, 20, 1, 1, 20, 20, 20, 20, 20, 3, 3, 1, 1, 20, 1, 1, 20, 20, 1, 1, 20, 20, 20, 3, 1, 20, [0, 21, "VE"], 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 1, 20, 20, 20, 20, 3, 20, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, 20, 1, 20, 20, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20],
#V n = 106
[ , 2, 1, 1, 2, 1, 2, 3, 2, [0, 59, "MTS"], 1, 2, 1, 1, 2, 3, 20, 3, 3, 2, 20, 3, 3, 20, 1, 1, 20, 1, 1, 20, 20, 20, 20, 3, 3, 20, 1, 1, 20, 1, 1, 20, 20, 1, 1, 20, 20, 3, 20, 1, 1, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, 20, 1, 20, 20, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20],
#V n = 107
[ , 2, 2, 1, 2, 1, 2, 1, 2, 2, 1, 2, 20, [0, 54, "XX"], [0, 53, "X6a"], 2, [0, 49, "GW2"], 3, 1, 2, 20, 3, 3, 2, 20, 1, 2, 20, 1, 2, 20, 20, 20, 3, 3, 2, 20, 1, 2, 20, 1, 1, 20, 20, 1, 2, 20, 1, 2, 20, 1, 1, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 1, 20, 20, 20, 1, 2, 20, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, 20, 1, 20, 20, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20],
#V n = 108
[ , [6, 4], 2, 20, [22, 4, 1], 20, [0, 69, "EB1"], 2, [0, 63, "GB1"], 2, [0, 58, "GB4"], [0, 57, "BZ"], 20, 1, 2, [0, 52, "X6a"], 1, 2, 2, [0, 45, "BZ"], 2, 3, 1, 2, 20, 20, [0, 38, "BZ"], 20, 20, [0, 36, "BZ"], 20, 20, 20, 3, 3, [0, 32, "BZ"], 20, 20, [0, 30, "BZ"], 20, 20, 1, 1, 20, 20, [0, 26, "BZ"], 20, 20, [0, 24, "BZ"], 20, 20, [0, 22, "BZ"], 1, 20, 20, [0, 20, "BZ"], [0, 19, "VE"], 20, 20, 20, [0, 18, "BZ"], 1, 20, 20, [0, 16, "BZ"], 20, 1, 20, 20, 20, [0, 14, "BZ"], 20, 20, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, 20, 1, 20, 20, [0, 7, "EB3"], 20, 20, 1, 20, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20],
#V n = 109
[ , 2, [6, 9], 20, 3, 1, 2, 2, 3, 2, 1, 2, 1, 20, [0, 54, "X6a"], 2, 1, 2, 2, 1, 2, 1, 20, [0, 41, "XX"], 1, 20, 1, 1, 20, 1, 1, 20, 20, 3, 3, 1, 1, 20, 1, 1, 20, 20, 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 20, 1, 20, 1, 1, 20, 20, 20, 1, 20, 1, 20, 1, 20, 20, 1, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 1, 20, 20, [0, 10, "LX"], 20, 1, 20, 20, 20, 20, 1, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20],
#V n = 110
[ , 2, 2, 1, 1, 1, 2, [0, 66, "GO2"], 3, [0, 62, "MTS"], 1, 2, 1, 2, 1, 2, 1, 2, 2, 2, [0, 45, "DaH"], 2, [0, 42, "BZ"], 3, 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 1, 20, 20, 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 20, 1, 20, 1, 1, 20, 20, 20, 1, 20, 1, 20, 1, 20, 20, 1, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 20, 20, 1, 20, [0, 7, "Vx"], 20, 20, 20, 1, 20, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20],
#V n = 111
[ , 2, 2, 1, 2, 1, 2, 2, 1, 2, 1, 2, 1, 2, 20, [0, 54, "X6a"], 20, [0, 51, "DaH"], 2, 2, 1, 2, 1, 1, 20, 1, 2, 20, 1, 2, 20, 1, 2, 20, 1, 2, 20, 1, 2, 20, 1, 2, 20, 20, 1, 2, 20, 1, 2, 20, 1, 2, 20, 1, 20, 1, 20, 1, 1, 20, 20, 20, 1, 20, 1, 20, 1, 20, 20, 1, 20, 20, 1, 2, 20, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 20, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20],
#V n = 112
[ , [6, 4], 2, 1, 2, 20, [0, 72, "EB1"], 2, 1, 2, 20, [0, 60, "BZ"], [0, 58, "ARS"], [0, 57, "BZ"], 20, 3, 20, 3, [0, 50, "DaH"], 2, 2, [0, 45, "BZ"], 20, [0, 42, "BZ"], [0, 41, "Vx"], 20, [0, 40, "BZ"], 20, 20, [0, 38, "BZ"], 20, 20, [0, 36, "BZ"], 20, 20, [0, 34, "BZ"], 20, 20, [0, 32, "BZ"], 20, 20, [0, 30, "BZ"], 20, 20, 20, [0, 28, "BZ"], 20, 20, [0, 26, "BZ"], 20, 20, [0, 24, "BZ"], 20, 20, [0, 22, "BZ"], 20, 1, 20, [0, 20, "BZ"], 1, 20, 20, 20, 1, 20, 1, 20, 1, 20, 20, [0, 15, "BZ"], 20, 20, [0, 14, "BZ"], 20, 20, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 20, 20, 20, 1, 20, 20, [5, 55], 20, 1, 20, 20, 20],
#V n = 113
[ , 2, [6, 9], 20, [0, 75, "Bel"], 20, 3, [0, 68, "GW2"], 1, 2, 2, 3, 3, 3, 2, 3, 1, 1, 1, 2, 2, 3, [0, 43, "Vx"], 3, 3, 20, 3, 20, 20, 3, 20, 20, 3, 20, 20, 3, 20, 20, 3, 20, 20, 1, 2, 20, 20, 3, 20, 20, 3, 20, 20, 3, 1, 20, 1, 20, 20, 1, 1, 20, [0, 19, "VE"], 20, 20, 20, [0, 18, "BZ"], 20, 1, 20, 1, 20, 1, 20, 20, 1, 1, 20, 20, 20, 20, [0, 12, "BZ"], 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 20, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 20],
#V n = 114
[ , 2, 2, 1, 2, [0, 73, "Gu1"], 3, 2, 1, 2, 2, 2, 1, 1, 2, 1, 1, 1, 1, 2, 2, 3, 1, 1, 1, 20, 1, 2, 20, 1, 2, 20, 3, [0, 35, "Vx"], 20, 3, [0, 33, "Vx"], 20, 1, 2, 20, 20, [0, 30, "XBZ"], 20, 20, 3, [0, 27, "Vx"], 20, 1, 1, 20, 1, 20, 1, 20, [0, 22, "XBZ"], 20, 20, 1, 1, 1, 20, 20, 20, 1, 20, 20, 1, 20, 1, 20, [0, 15, "Vx"], 20, 20, [0, 14, "Vx"], 1, 20, 20, 20, 1, 20, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 20, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 20],
#V n = 115
[ , 2, 2, 1, 2, 2, 3, [0, 69, "GW2"], 1, 2, [0, 63, "Bou"], 2, 1, 1, 2, 1, 1, 1, 1, 2, 2, 1, 2, [0, 43, "Ed"], [0, 42, "Vx"], [0, 41, "Vx"], 20, [0, 40, "Vx"], 20, 20, [0, 38, "Vx"], 20, 1, 1, 20, 1, 1, 20, 20, [0, 32, "Vx"], 20, 20, 3, [0, 29, "Vx"], 20, 1, 1, 20, 20, [0, 26, "Vx"], [0, 25, "Ed"], 20, [0, 24, "Vx"], 20, 1, 1, 20, 20, 20, 1, 1, 1, 20, 20, 20, 1, 20, 20, 1, 20, 1, 1, 20, 20, 1, 20, 1, 20, 20, 20, [0, 12, "Vx"], 20, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 20, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 20],
#V n = 116
[ , [6, 4], 2, 1, 2, 2, 2, 1, 1, 2, 1, 2, 1, 1, 2, 1, 1, 1, 1, 2, 2, 2, [0, 45, "Vx"], 1, 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 1, 20, 20, [0, 28, "Vx"], 1, 20, 1, 1, 20, 1, 20, 20, 1, 1, 20, 20, 20, 1, 1, 1, 20, 20, 20, 1, 20, 20, 1, 20, [5, 42], 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 20, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 20],
#V n = 117
[ , 2, [6, 13], 20, [22, 4, 1], 2, 2, 1, 1, 2, 1, 2, 1, 1, 2, 1, 1, 1, 1, 2, 2, 2, 1, 2, [0, 43, "Ed"], 1, 1, 20, 1, 2, 20, 1, 2, 20, 1, 2, 20, 1, 2, 20, 1, 2, 20, [0, 30, "Vx"], 1, 20, 1, 20, [0, 27, "XB"], 20, 1, 1, 20, 1, 20, 20, 1, 1, 20, 20, 20, 1, 1, 1, 20, 20, 20, 1, 20, 20, 1, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 20, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 20],
#V n = 118
[ , 2, 3, 1, 2, 2, [7, 338], 1, 1, 2, 1, 2, 1, 1, 2, 2, 1, 1, 1, 2, 2, [0, 48, "XB"], 20, [0, 45, "XB"], 1, 20, [0, 42, "XB"], 1, 20, [0, 40, "XB"], 20, 20, [0, 38, "XB"], 20, 20, [0, 36, "XB"], 20, 20, [0, 34, "XB"], 20, 20, [0, 32, "XB"], 20, 1, 20, [0, 29, "XB"], 20, [0, 28, "Vx"], 1, 20, 20, [0, 26, "XB"], [0, 25, "Ed"], 20, 1, 20, 20, 1, 1, 20, 20, 20, 1, 1, 1, 20, 20, 20, 1, 20, 20, 1, 1, 20, [0, 15, "Ed"], 20, 20, 1, 20, [0, 13, "Ed"], 20, 20, 1, 20, 20, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 20, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 20],
#V n = 119
[ , 2, 1, 1, 2, 2, 2, 1, 1, 2, 1, 2, 1, 1, 2, 2, 20, 1, 1, 2, 2, 2, 2, 3, [0, 44, "Vx"], [0, 43, "Ed"], 1, 20, 1, 1, 1, 20, 3, [0, 37, "Vx"], 20, 1, 2, 20, 3, [0, 33, "Vx"], 20, 3, 1, 20, 1, 1, 20, 1, 20, 1, 20, 1, 1, 20, 20, 1, 20, 20, 1, 1, 20, 20, 20, 1, 1, 2, 20, 20, 20, 1, 20, 20, 1, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 20, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 20],
#V n = 120
[ , [6, 4], 2, 1, 2, [0, 78, "Gu1"], [0, 75, "GO"], 20, 1, 2, 20, [0, 66, "ARS"], 20, 1, 2, 2, 20, 20, 1, 2, 2, 2, 2, 1, 1, 1, 20, [0, 42, "Vx"], 20, 1, 1, 2, 1, 1, 20, 20, [5, 30], 20, 1, 1, 20, 1, 20, [0, 31, "Ed"], 20, [0, 30, "BZ"], 1, 20, 1, 20, [0, 27, "Ed"], 20, [0, 26, "Vx"], 1, 20, 20, [0, 24, "BZ"], 20, 20, 1, 2, 20, 20, 20, 1, 2, 20, 20, 20, 20, [5, 41], 20, 20, 1, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 20, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 20],
#V n = 121
[ , 2, 2, 20, [0, 81, "sim"], 2, 2, 20, 20, [0, 72, "dB"], 2, 3, 20, 20, [0, 63, "BCH"], 2, 20, 20, 20, [0, 57, "DaH"], 2, 2, [0, 48, "BZ"], [0, 46, "Vx"], [0, 45, "Vx"], [0, 44, "Vx"], [0, 43, "Var"], 1, 20, 20, 1, 2, 20, [0, 38, "Vx"], 1, 20, 3, 1, 20, [0, 34, "Vx"], 1, 20, [0, 32, "XB"], 1, 20, 1, 20, [0, 29, "Ed"], 20, [0, 28, "Ed"], 1, 20, 1, 20, 1, 20, 1, 20, 20, 20, [0, 23, "BCH"], 20, 20, 20, 20, [0, 21, "BCH"], 1, 20, 20, 20, 3, 20, 20, 20, 1, 2, 1, 20, 20, 20, [0, 14, "BCH"], 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 20, 20, 1, 2, 20, 20, 20, 20, 1, 20, 20, 20, 1, 20, 1, 20, 20, [0, 3, "Ham"], 20, 20, 20],
#V n = 122
[ , 2, [6, 9], 20, 3, 2, 2, 2, 20, 3, 2, 3, 20, 20, 1, 2, 20, 20, 20, 1, 2, [0, 51, "DaH"], 3, 1, 1, 1, 1, 20, [0, 42, "Vx"], 20, 20, [0, 41, "NBC"], [0, 39, "Vx"], 1, 20, [0, 37, "Ed"], 1, 20, [0, 35, "Ed"], 1, 20, [0, 33, "Ed"], 1, 20, 1, 20, 1, 1, 20, 1, 20, 1, 20, 1, 20, [0, 25, "Ed"], 20, 1, 20, 20, 1, 1, 20, 20, 20, 3, [0, 20, "Vx"], 1, 20, 20, 1, 20, 20, 20, 20, [0, 17, "XBC"], 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, 1, 20, 20, 20, 20, [0, 11, "NBC"], 20, 1, 20, 20, 1, 20, 20, 20, 20, [0, 8, "DaH"], 20, 20, 20, 20, 20, 1, 20, 20, 20, [0, 5, "NBC"], 20, 1, 20, 1, 20, 20, 20, 20],
#V n = 123
[ , 2, 2, 20, 1, 2, 2, 2, 20, 3, 2, 2, 20, 20, 20, [0, 63, "X"], 1, 20, 20, 20, [0, 57, "DaH"], 3, 1, 2, [0, 46, "Vx"], [0, 45, "Vx"], [0, 44, "Var"], 1, 1, 20, 20, 3, 1, 20, 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 20, [0, 31, "Ed"], 20, 1, 1, 20, 1, 20, 1, 20, 1, 1, 20, 20, 1, 20, 20, 1, 1, 20, 20, 1, 1, 20, 1, 20, 20, 1, 20, 20, 20, 3, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 20, 20, 1, 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, 20],
#V n = 124
[ , [6, 4], 2, 2, 20, [0, 81, "Bo1"], 2, [0, 75, "BZ"], 20, 3, 2, 2, 1, 20, 20, 3, 1, 1, 20, 20, 3, 3, 2, [0, 48, "Vx"], 1, 1, 1, 20, [0, 43, "Ed"], 1, 20, 1, 2, 1, 20, [0, 38, "BZ"], 1, 20, [0, 36, "BZ"], 1, 20, [0, 34, "BZ"], 1, 20, 1, 1, 20, 20, 1, 1, 20, 1, 20, [0, 27, "Ed"], 20, [0, 26, "Ed"], 1, 20, 20, 1, 20, 20, 1, 1, 20, 20, 1, 1, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 20, 20, 1, 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, 20],
#V n = 125
[ , 2, 2, 2, 20, 3, 2, 2, 20, 1, 2, [0, 68, "GW2"], 1, 1, 20, 3, 1, 1, 1, 20, 3, 1, 2, 1, 2, [0, 46, "Vx"], [0, 45, "Var"], 1, 1, 20, [0, 42, "Ed"], 20, [0, 41, "Vx"], 20, [0, 39, "Ed"], 1, 20, [0, 37, "Ed"], 1, 20, [0, 35, "Ed"], 1, 20, [0, 33, "Var"], 20, 1, 1, 20, 20, [0, 30, "BZ"], [0, 29, "Ed"], 20, [0, 28, "BZ"], 1, 20, 1, 20, 1, 20, 20, [0, 24, "BZ"], 20, 20, 1, 1, 20, 20, [0, 21, "X"], 1, 20, 1, 20, 20, 1, 20, 20, 1, 20, [0, 16, "Ed"], 20, [0, 15, "Ed"], 20, 20, 1, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 20, 20, [0, 10, "BZ"], 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, 20],
#V n = 126
[ , 2, [6, 9], [22, 3, 1], 2, 1, 2, 2, [0, 73, "GB1"], 20, [0, 72, "Br2"], 2, [0, 66, "BZ"], 1, 2, 3, 1, 1, 1, 2, 3, 1, 2, 20, [0, 48, "BZ"], 1, 1, 20, [0, 44, "Ed"], 1, 1, 20, 1, 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 1, 20, 20, 1, 1, 20, 1, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 20, 1, 2, 20, 1, 20, 1, 20, [0, 19, "Var"], 20, 20, 1, 20, 20, [0, 17, "BE3"], 1, 20, 1, 20, 20, 20, 1, 20, 1, 20, 20, 20, [0, 12, "X"], 20, 20, 20, 1, 20, 1, 20, 20, 20, [0, 9, "X"], 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, 20],
#V n = 127
[ , 2, 2, 1, 2, 20, [0, 81, "GW2"], 2, 2, 20, 3, [0, 69, "GW2"], 1, 20, [0, 65, "X"], 1, 1, 1, 1, 2, 3, 1, 2, 2, 3, [0, 47, "Vx"], [0, 46, "Var"], 1, 1, 20, [0, 43, "Ed"], 1, 20, [0, 41, "Vx"], 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 1, 20, 20, 1, 2, 20, 1, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 20, [0, 23, "X"], 20, 20, 1, 20, [0, 20, "X"], 1, 20, 20, 20, [0, 18, "X"], 20, 1, 20, 1, 20, 1, 20, 20, 20, 1, 20, [0, 13, "Ed"], 20, 20, 1, 20, 20, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, 20],
#V n = 128
[ , [6, 4], 2, 2, [6, 11], 2, 3, [0, 78, "GO2"], 2, 20, 3, 3, 1, 1, 1, 2, 1, 1, 1, 2, 3, 1, 2, [0, 50, "VE"], 1, 1, 1, 20, [0, 45, "Ed"], 1, 1, 20, [0, 42, "BZ"], 1, 20, [0, 40, "BZ"], [0, 39, "Var"], 20, [0, 38, "BZ"], [0, 37, "Ed"], 20, [0, 36, "BZ"], [0, 35, "Var"], 20, [0, 34, "BZ"], 1, 20, 20, [0, 32, "BZ"], 20, 20, 1, 1, 20, 1, 20, [0, 27, "Ed"], 20, 1, 20, [0, 25, "XB"], 20, 1, 20, 20, 1, 1, 20, 20, 1, 1, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 1, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, 20],
#V n = 129
[ , 2, 2, 2, 1, 2, 3, 3, 2, 2, 3, 1, 1, 1, 2, [0, 65, "XX"], 20, 1, 1, 2, 2, 1, 2, 1, 2, [0, 48, "Vx"], [0, 47, "Var"], 1, 1, 20, [0, 44, "Ed"], 1, 1, 20, [0, 41, "Vx"], 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 20, [0, 33, "Var"], 20, 1, 1, 20, 20, 1, 2, 20, 1, 1, 20, 20, 1, 1, 20, 20, 1, 20, 20, [0, 23, "Vx"], 1, 20, 20, [0, 21, "X"], 1, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 1, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, 20],
#V n = 130
[ , 2, [6, 13], [6, 10], 2, [0, 84, "Bo1"], 2, 2, [0, 76, "DGM"], [0, 74, "DG4"], 3, 20, 1, 1, 2, 2, 20, 20, 1, 2, 2, 1, 2, [0, 51, "VE"], [0, 50, "VE"], 1, 1, 20, [0, 46, "Ed"], 1, 1, 20, [0, 43, "Ed"], 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 1, 20, 20, 1, 1, 20, 20, [0, 30, "BZ"], 20, 20, [0, 28, "BZ"], 1, 20, 20, [0, 26, "BZ"], 1, 20, 20, [0, 24, "BZ"], 20, 1, 20, [0, 22, "Ed"], 20, 1, 20, 1, 20, 1, 20, 20, 1, 20, 20, [0, 17, "XX"], 20, 1, 20, 1, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, 20],
#V n = 131
[ , 2, 3, 1, 2, 2, 2, 2, 3, 2, 2, 20, 20, 1, 2, 2, 20, 20, 20, [0, 63, "DaH"], 2, 1, 2, 1, 1, 2, [0, 48, "Var"], 1, 1, 20, [0, 45, "VE"], 1, 1, 20, 1, 1, 20, 1, 2, 20, 1, 2, 20, 1, 1, 20, 1, 1, 20, 20, 1, 2, 20, 1, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 1, 1, 20, 20, 1, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, [0, 16, "Ed"], 20, 1, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, 20],
#V n = 132
[ , [6, 4], 2, 2, [6, 11], 2, 2, 2, 3, [0, 75, "X"], 2, 1, 20, 20, [0, 69, "X"], 2, 20, 20, 20, 3, [0, 60, "DaH"], 20, [0, 57, "DaH"], [0, 52, "Vx"], [0, 51, "VE"], [0, 50, "VE"], 1, 20, [0, 47, "Var"], 1, 1, 20, [0, 44, "BZ"], 1, 20, [0, 42, "BZ"], [0, 41, "VE"], 20, [0, 40, "BZ"], 20, 20, [0, 38, "BZ"], 20, 20, [0, 36, "BZ"], [0, 35, "Var"], 20, 1, 1, 20, 20, [0, 32, "BZ"], 20, 20, 1, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, [0, 23, "VE"], 1, 20, 20, 1, 20, 1, 20, 1, 20, 20, [0, 18, "Ed"], 20, 1, 20, 1, 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, 20],
#V n = 133
[ , 2, 2, 2, 1, 2, [0, 84, "GO"], [0, 81, "GW2"], 2, 1, 2, 1, 2, 20, 1, 2, 20, 20, 20, 3, 3, 2, 3, 1, 1, 1, 2, 1, 1, 20, [0, 46, "VE"], 1, 1, 20, [0, 43, "VE"], 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 1, 20, 20, 1, 1, 20, 1, 1, 20, 20, 1, 1, 20, 1, 20, [0, 27, "Var"], 20, 1, 20, [0, 25, "XB"], 20, 1, 20, 1, 20, 1, 20, 20, [0, 21, "VE"], 20, [0, 20, "XX"], 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, 20],
#V n = 134
[ , 2, 2, [6, 27], 2, [0, 87, "Bo3"], 2, 2, 2, 20, [0, 75, "XX"], 1, 2, 20, 20, [0, 69, "XX"], 20, 20, 20, 3, 1, 2, 3, 2, [0, 52, "VE"], [0, 51, "VE"], [0, 50, "VE"], 20, 1, 1, 1, 20, [0, 45, "VE"], 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 1, 20, 20, 1, 1, 20, 1, 1, 20, 20, 1, 2, 20, 1, 1, 20, 20, 1, 1, 20, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, [0, 19, "Var"], 20, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, 20],
#V n = 135
[ , 2, [6, 9], 1, 2, 2, 2, 2, [0, 78, "BZ"], 1, 2, 20, [0, 72, "BZ"], 20, 20, 3, 1, 20, 20, 3, [0, 61, "DaH"], [0, 60, "DaH"], 3, [0, 54, "BZ"], 1, 1, 2, 1, 20, [0, 48, "BZ"], [0, 47, "VE"], 1, 1, 20, 1, 1, 20, 1, 2, 20, 1, 2, 20, 1, 2, 20, 1, 1, 20, 20, 1, 2, 20, 1, 2, 20, 20, [0, 30, "BZ"], 20, 20, 1, 1, 20, 20, [0, 26, "BZ"], 1, 20, 20, [0, 24, "BZ"], 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, 20],
#V n = 136
[ , [6, 4], 2, 20, [6, 55], 2, [0, 86, "GO"], 2, 1, 1, 2, 20, 3, 1, 20, 3, 1, 2, 20, 3, 3, 3, 3, 3, [0, 53, "VE"], [0, 52, "VE"], [0, 51, "VE"], 20, [0, 49, "Var"], 1, 1, 20, [0, 46, "BZ"], [0, 45, "Var"], 20, [0, 44, "BZ"], [0, 43, "VE"], 20, [0, 42, "BZ"], 20, 20, [0, 40, "BZ"], 20, 20, [0, 38, "BZ"], 20, 20, [0, 36, "BZ"], [0, 35, "VE"], 20, 20, [0, 34, "BZ"], 20, 20, [0, 32, "BZ"], 20, 20, 1, 1, 20, 20, 1, 1, 20, 1, 20, 1, 20, 1, 20, 20, [0, 23, "VE"], 20, [0, 22, "VE"], 20, 1, 20, 1, 20, 1, 20, 20, 1, 20, 20, [0, 17, "VE"], 20, 1, 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, 20],
#V n = 137
[ , 2, 2, 2, 1, 2, 2, 2, 2, 1, 2, 2, 3, 1, 2, 3, 1, 2, 20, 3, 3, 3, 3, 1, 1, 1, 1, 1, 1, 20, [0, 48, "Vx"], [0, 47, "Var"], 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 1, 20, 20, 1, 1, 20, 1, 1, 20, 20, 1, 1, 20, 20, 1, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, 20],
#V n = 138
[ , 2, 2, 2, 20, [0, 90, "Bo3"], 2, 2, 2, 20, [0, 78, "Bou"], 2, 1, 20, [0, 71, "XX"], 3, 20, [0, 66, "DaH"], 20, 3, 1, 2, 2, [0, 55, "Vx"], [0, 54, "Vx"], [0, 53, "VE"], [0, 52, "VE"], [0, 51, "VE"], [0, 50, "Var"], 1, 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 1, 20, 20, 1, 1, 20, 1, 1, 20, 20, 1, 1, 20, 20, 1, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, [0, 21, "VE"], 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, 20],
#V n = 139
[ , 2, [6, 9], [6, 19], 2, 3, 2, 2, 2, 2, 3, 2, 2, 1, 2, 2, 1, 2, 1, 1, 1, 2, 2, 1, 1, 1, 1, 1, 1, 20, [0, 49, "VE"], 1, 1, 20, 1, 2, 20, 1, 2, 20, 1, 2, 20, 1, 2, 20, 1, 2, 20, 1, 1, 20, 20, 1, 2, 20, 1, 1, 20, 20, 1, 2, 20, 20, 1, 2, 20, 1, 20, [0, 25, "VE"], 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, [0, 18, "VE"], 20, 1, 20, 20, [0, 16, "VE"], 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, 20],
#V n = 140
[ , [6, 4], 2, 1, 2, 1, 2, [0, 87, "Koh"], [0, 82, "GB4"], 2, 3, 2, 2, 20, [0, 72, "XX"], 2, 1, 2, 1, 2, 1, 2, 2, 2, [0, 55, "Vx"], [0, 54, "BZ"], [0, 53, "VE"], [0, 52, "VE"], [0, 51, "Var"], 1, 1, 20, [0, 48, "BZ"], [0, 47, "Var"], 20, [0, 46, "BZ"], 20, 20, [0, 44, "BZ"], 20, 20, [0, 42, "BZ"], 20, 20, [0, 40, "BZ"], 20, 20, [0, 38, "BZ"], 20, 20, 1, 1, 20, 20, [0, 34, "BZ"], 20, 20, [0, 32, "BZ"], [0, 31, "Var"], 20, 20, [0, 30, "BZ"], 20, 20, 20, [0, 28, "BZ"], 20, 20, [0, 26, "BZ"], 1, 20, 20, [0, 24, "VE"], 20, 1, 20, 1, 20, 1, 20, 20, [0, 20, "VE"], 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, [0, 15, "BZ"], 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 20, [0, 10, "BZ"], 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, 20],
#V n = 141
[ , 2, 2, 2, [6, 20], 20, [0, 90, "GW2"], 2, 2, [0, 81, "X"], 1, 2, 2, 20, 3, [0, 71, "X6a"], 1, 2, [0, 66, "DaH"], [0, 65, "DaH"], 20, [0, 63, "DaH"], [0, 60, "DaH"], 2, 1, 1, 1, 1, 1, 20, [0, 50, "VE"], [0, 49, "Var"], 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 1, 20, 20, 1, 1, 20, 1, 1, 20, 1, 1, 20, 20, 1, 1, 20, 20, 1, 1, 20, 1, 20, 1, 20, 1, 20, 20, [0, 23, "VE"], 20, 1, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, 20],
#V n = 142
[ , 2, 2, 2, 3, 2, 3, 2, 2, 3, 1, 2, 2, [0, 73, "MTS"], 1, 2, 20, [0, 69, "DaH"], 3, 3, 20, 3, 3, 2, [0, 56, "Vx"], [0, 55, "Vx"], 1, 2, [0, 52, "Var"], 1, 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 1, 20, 20, 1, 1, 20, 1, 1, 20, 1, 1, 20, 20, [0, 30, "XBZ"], 1, 20, 20, [0, 28, "Vx"], 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, [0, 22, "Var"], 20, 1, 20, 1, 20, 20, [0, 19, "Var"], 20, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, 20],
#V n = 143
[ , 2, [6, 13], [6, 27], 1, 2, 1, 2, [0, 84, "DGM"], 1, 1, 2, 2, 1, 20, [0, 72, "X6a"], 20, 3, 1, 2, 20, 3, 1, 2, 1, 1, 20, [0, 54, "BZ"], 1, 20, [0, 51, "VE"], 1, 1, 20, 1, 2, 20, 1, 2, 20, 1, 2, 20, 1, 2, 20, 1, 2, 20, 1, 2, 20, 20, 1, 2, 20, 1, 2, 20, 1, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, 20],
#V n = 144
[ , [6, 4], 3, 2, 2, [0, 93, "Gu1"], 20, [0, 90, "GO2"], 3, 1, 1, 2, [0, 78, "BZ"], 2, [0, 73, "XX"], 3, 20, 3, 1, 2, 20, 3, 20, [0, 60, "BZ"], 2, [0, 56, "Vx"], [0, 55, "Vx"], 1, 2, 1, 1, 20, [0, 50, "BZ"], [0, 49, "Var"], 20, [0, 48, "BZ"], 20, 20, [0, 46, "BZ"], 20, 20, [0, 44, "BZ"], 20, 20, [0, 42, "BZ"], 20, 20, [0, 40, "BZ"], 20, 20, [0, 38, "BZ"], 20, 20, 20, [0, 36, "BZ"], 20, 20, [0, 34, "BZ"], 20, 20, [0, 32, "BZ"], 1, 20, 1, 20, [0, 29, "Var"], 20, 1, 20, [0, 27, "Var"], 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 20, [0, 6, "BZ"], 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, 20],
#V n = 145
[ , 2, 2, 2, 2, 2, 2, 3, 2, 20, 1, 2, 3, [0, 75, "MTS"], 2, 3, 1, 1, 1, 2, 20, 3, 20, 3, [0, 58, "Vx"], 1, 1, 20, [0, 54, "Vx"], 20, [0, 52, "VE"], [0, 51, "Var"], 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 1, 20, 20, 1, 1, 20, 1, 1, 20, 1, 20, [0, 31, "Var"], 20, 1, 1, 20, 20, 1, 1, 20, 20, [0, 26, "VE"], 20, [0, 25, "Var"], 20, 1, 20, 1, 20, 1, 20, 20, [0, 21, "VE"], 20, 1, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 20, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, 20],
#V n = 146
[ , 2, 2, 2, [6, 25], 2, 2, 3, [0, 85, "Zwa"], 2, 20, [0, 82, "ARS"], 3, 2, [0, 74, "XX"], 1, 1, 1, 1, 2, [0, 64, "DaH"], 3, 20, 3, 2, [0, 57, "Vx"], [0, 56, "Vx"], [0, 55, "Var"], 1, 1, 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 1, 20, 20, 1, 1, 20, 1, 1, 20, 1, 1, 20, 20, [0, 30, "VE"], 1, 20, 20, [0, 28, "VE"], 1, 20, 1, 20, 1, 20, 20, [0, 24, "Var"], 20, 1, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 20, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, 20],
#V n = 147
[ , 2, 2, [6, 27], 1, 2, [0, 93, "GO"], 2, 1, 2, 20, 3, 2, 2, 2, [0, 73, "X6a"], 1, 1, 1, 2, 1, 2, 1, 1, 2, 1, 1, 1, 20, [0, 54, "Vx"], [0, 53, "VE"], 1, 1, 20, 1, 2, 20, 1, 2, 20, 1, 2, 20, 1, 2, 20, 1, 2, 20, 1, 2, 20, 1, 1, 20, 20, 1, 2, 20, 1, 2, 20, 1, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, [0, 18, "VE"], 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 20, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, 20],
#V n = 148
[ , [6, 4], [6, 9], 3, 2, [0, 96, "Bo3"], 2, 2, 1, 2, 20, 3, 2, [0, 77, "MTS"], [0, 75, "XX"], 2, 20, [0, 72, "DaH"], 1, 2, 1, 2, 1, 1, 2, 2, [0, 57, "Vx"], [0, 56, "Var"], [0, 55, "Vx"], 1, 1, 20, [0, 52, "BZ"], [0, 51, "Var"], 20, [0, 50, "BZ"], 20, 20, [0, 48, "BZ"], 20, 20, [0, 46, "BZ"], 20, 20, [0, 44, "BZ"], 20, 20, [0, 42, "BZ"], 20, 20, [0, 40, "BZ"], 20, 20, 1, 1, 20, 20, [0, 36, "BZ"], 20, 20, [0, 34, "BZ"], 20, 20, [0, 32, "BZ"], 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, [0, 23, "VE"], 20, 1, 20, 1, 20, 20, [0, 20, "VE"], 20, 1, 20, 1, 20, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 20, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, 20],
#V n = 149
[ , 2, 2, 1, 2, 2, 2, 2, 1, 2, 2, 3, 2, 2, 1, 2, 20, 3, 20, [0, 71, "DaH"], 1, 2, 1, 1, 2, 2, 1, 1, 1, 20, [0, 54, "Var"], [0, 53, "Var"], 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 1, 20, 20, 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 20, 1, 20, 1, 20, [0, 29, "Var"], 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, [0, 22, "Var"], 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, 1, 20, [0, 16, "VE"], 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 20, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, 20],
#V n = 150
[ , 2, 2, 2, [22, 4, 1], 2, 2, [0, 93, "GO2"], [0, 88, "GB4"], [0, 87, "Gu"], [0, 84, "MTS"], 1, 2, [0, 78, "MTS"], 1, 2, 20, 3, 20, 3, 20, [0, 66, "GW2"], 1, 1, 2, [0, 60, "BZ"], 1, 2, [0, 56, "Vx"], 1, 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 1, 20, 20, 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 20, [0, 31, "Var"], 20, [0, 30, "VE"], 1, 20, 20, [0, 28, "VE"], 20, [0, 27, "Var"], 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 20, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, 20],
#V n = 151
[ , 2, 2, 2, 1, 2, 2, 3, 1, 2, 1, 1, 2, 1, 1, 2, 1, 1, 20, 3, 1, 1, 1, 1, 2, 1, 1, 2, 1, 20, [0, 55, "Var"], 1, 1, 20, 1, 2, 20, 1, 2, 20, 1, 2, 20, 1, 2, 20, 1, 2, 20, 1, 2, 20, 1, 2, 20, 20, 1, 2, 20, 1, 2, 20, 1, 2, 20, 1, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, [0, 26, "VE"], 20, [0, 25, "Var"], 20, 1, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, [0, 19, "Var"], 20, 1, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 20, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, 20],
#V n = 152
[ , [6, 4], [6, 9], [6, 32], 2, [0, 99, "Bo3"], 2, 3, 1, 2, 2, 1, 2, 2, 1, 2, 2, [0, 73, "Da0"], [0, 72, "Da0"], 3, 1, 1, 1, 1, 2, 2, 1, 2, 1, 1, 1, 20, [0, 54, "BZ"], [0, 53, "Var"], 20, [0, 52, "BZ"], 20, 20, [0, 50, "BZ"], 20, 20, [0, 48, "BZ"], 20, 20, [0, 46, "BZ"], 20, 20, [0, 44, "BZ"], 20, 20, [0, 42, "BZ"], 20, 20, [0, 40, "BZ"], 20, 20, 20, [0, 38, "BZ"], 20, 20, [0, 36, "BZ"], 20, 20, [0, 34, "BZ"], 20, 20, [0, 32, "BZ"], 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 1, 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 20, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, 20],
#V n = 153
[ , 2, 2, 1, 2, 1, 2, 2, 1, 2, [0, 86, "MTS"], 20, [0, 84, "BZ"], 2, 20, [0, 78, "BZ"], 2, 2, 3, 3, 1, 1, 1, 1, 2, 2, 20, [0, 60, "BZ"], 1, 1, 2, 1, 1, 1, 20, 1, 1, 20, 3, [0, 49, "Vx"], 20, 3, [0, 47, "Vx"], 20, 3, [0, 45, "Vx"], 20, 3, [0, 43, "Vx"], 20, 3, [0, 41, "Vx"], 20, 1, 1, 20, 20, 3, [0, 37, "Vx"], 20, 3, 1, 20, 1, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, [0, 24, "Var"], 20, 1, 20, 1, 20, 20, [0, 21, "VE"], 20, 1, 20, 1, 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 20, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, 20],
#V n = 154
[ , 2, 2, 2, [0, 102, "Bel"], 2, [0, 99, "GO"], 2, 1, 2, 1, 2, 3, 2, 1, 2, 2, 2, 1, 1, 1, 1, 1, 1, 2, 2, 1, 1, 1, 1, 2, 20, [0, 55, "VE"], [0, 54, "Var"], 1, 20, [0, 52, "Vx"], [0, 51, "VE"], 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 1, 20, 20, [0, 40, "XBZ"], [0, 39, "VE"], 20, 1, 1, 20, 1, 20, [0, 35, "VE"], 20, [0, 34, "Vx"], 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 20, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, 20],
#V n = 155
[ , 2, 2, 2, 1, 2, 3, 2, 1, 2, 1, 2, 3, 2, 1, 2, 2, 2, 2, 1, 1, 2, 1, 1, 2, 2, 1, 1, 1, 1, 2, 1, 1, 1, 20, [0, 53, "Var"], 1, 1, 20, [0, 50, "Vx"], 1, 20, [0, 48, "Vx"], 1, 20, [0, 46, "Vx"], 1, 20, [0, 44, "Vx"], 1, 20, [0, 42, "Vx"], 1, 20, 1, 1, 20, 20, [0, 38, "Vx"], 1, 20, 1, 1, 20, 1, 20, 1, 20, 1, 20, [0, 31, "Var"], 20, [0, 30, "Var"], 20, [0, 29, "Var"], 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, [0, 23, "Var"], 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 20, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, 20],
#V n = 156
[ , [6, 4], [6, 13], [6, 36], 2, [0, 102, "Bo3"], 3, [0, 96, "GO2"], 1, 2, 20, [0, 87, "DaH"], 1, 2, 1, 2, [0, 78, "DaH"], 2, 2, 20, 1, 2, 20, 1, 2, 2, 20, 1, 1, 1, 2, 20, [0, 56, "VE"], [0, 55, "Var"], 1, 1, 20, [0, 52, "Vx"], 1, 1, 20, [0, 49, "VE"], 1, 20, [0, 47, "VE"], 1, 20, [0, 45, "VE"], 1, 20, [0, 43, "VE"], 1, 20, [0, 41, "Var"], 20, [0, 40, "Vx"], 1, 20, 1, 20, [0, 37, "VE"], 20, [0, 36, "VE"], 1, 20, 1, 20, [0, 33, "Var"], 20, [0, 32, "VE"], 1, 20, 1, 20, 1, 20, 20, [0, 28, "VE"], 20, [0, 27, "Var"], 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, [0, 20, "Var"], 20, 1, 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 20, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, 20],
#V n = 157
[ , 2, 3, 1, 2, 2, 3, 2, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 2, 1, 20, [0, 72, "GW2"], 1, 20, [0, 69, "GW2"], 2, 20, 20, 1, 1, 2, 1, 1, 1, 20, [0, 54, "Var"], 1, 1, 20, [0, 51, "VE"], 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 20, 1, 20, 1, 1, 20, 1, 20, 1, 20, 1, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, [0, 26, "Var"], 20, 1, 20, 1, 20, 1, 20, 20, [0, 22, "Var"], 20, 1, 20, 1, 20, 20, 1, 20, 20, [0, 18, "VE"], 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 20, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, 20],
#V n = 158
[ , 2, 2, 2, [0, 105, "Bel"], 2, 2, 2, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 2, 1, 2, 1, 1, 1, 2, 2, 1, 20, 20, 1, 2, 20, [0, 57, "VE"], [0, 56, "Var"], 1, 1, 20, [0, 53, "VE"], 1, 1, 20, [0, 50, "XB"], 1, 20, [0, 48, "XB"], 1, 20, [0, 46, "XB"], 1, 20, [0, 44, "XB"], 1, 20, [0, 42, "XB"], 1, 20, 1, 20, [0, 39, "VE"], 20, [0, 38, "VE"], 1, 20, 1, 20, [0, 35, "VE"], 20, [0, 34, "VE"], 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, [0, 25, "Var"], 20, 1, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 20, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, 20],
#V n = 159
[ , 2, 2, 2, 1, 2, 2, 2, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 2, 1, 2, 20, 1, 1, 2, 2, 1, 2, 20, 20, [0, 62, "GW2"], 1, 1, 1, 20, [0, 55, "Var"], 1, 1, 20, [0, 52, "VE"], 1, 1, 20, [0, 49, "Var"], 1, 20, [0, 47, "VE"], 1, 20, [0, 45, "VE"], 1, 20, [0, 43, "Var"], 1, 20, 1, 20, [0, 40, "VE"], 1, 20, 1, 20, 1, 20, [0, 36, "VE"], 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 20, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, 20],
#V n = 160
[ , [6, 4], 2, [4, 2], 2, [0, 105, "Gu"], 2, [0, 99, "GO2"], 2, [0, 96, "DaH"], 2, [0, 90, "ARS"], 2, [0, 87, "DaH"], 20, [0, 84, "DaH"], 1, 2, [0, 78, "DaH"], 2, [0, 75, "DaH"], 1, 20, 1, 2, 2, 1, 2, 20, 20, 3, 20, [0, 58, "VE"], [0, 57, "Var"], 1, 1, 20, [0, 54, "VE"], 1, 1, 20, [0, 51, "VE"], 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 20, [0, 41, "VE"], 1, 20, 1, 20, 1, 20, [0, 37, "VE"], 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, [0, 31, "Var"], 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, [0, 24, "Var"], 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 20, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, 20],
#V n = 161
[ , 2, [6, 9], 1, 2, 2, [0, 102, "GO"], 1, 2, 3, 2, 1, 2, 3, 20, 3, 1, 2, 3, [0, 77, "DaH"], 3, 20, [0, 73, "GW2"], 20, [0, 72, "GW2"], 2, 1, 2, 2, 20, 3, 1, 1, 1, 20, [0, 56, "Var"], 1, 1, 20, [0, 53, "VE"], 1, 1, 20, [0, 50, "VE"], 1, 20, [0, 48, "VE"], 1, 20, [0, 46, "VE"], 1, 20, [0, 44, "VE"], 1, 20, [0, 42, "Var"], 1, 20, 1, 20, 1, 20, [0, 38, "VE"], 1, 20, 1, 20, 1, 20, 1, 20, [0, 33, "Var"], 20, [0, 32, "VE"], 1, 20, 20, [0, 30, "VE"], 20, [0, 29, "Var"], 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, [0, 21, "VE"], 20, 1, 20, 20, [0, 19, "VE"], 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 20, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, 20],
#V n = 162
[ , 2, 2, 20, [22, 4, 1], 2, 2, 2, [0, 99, "DaH"], 3, [0, 93, "DaH"], 20, [0, 90, "BZ"], 3, 20, 1, 1, 2, 2, 3, 3, 20, 1, 20, 3, [0, 71, "GW2"], 1, 2, 2, 20, 3, [0, 60, "Vx"], [0, 59, "VE"], [0, 58, "Var"], 1, 1, 20, [0, 55, "VE"], 1, 1, 20, [0, 52, "VE"], 1, 1, 20, [0, 49, "Var"], 1, 20, [0, 47, "Var"], 1, 20, [0, 45, "Var"], 1, 20, 1, 1, 20, 1, 20, 1, 20, [0, 39, "VE"], 1, 20, 1, 20, 1, 20, [0, 35, "Var"], 20, [0, 34, "VE"], 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, [0, 28, "VE"], 20, [0, 27, "Var"], 20, 1, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 20, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, 20],
#V n = 163
[ , 2, 2, 20, 1, 2, 2, 2, 3, 3, 3, 20, 3, 2, 1, 20, 1, 2, 2, 2, 3, 20, 20, [0, 73, "GW2"], 3, 3, 1, 2, 2, 20, 3, 1, 1, 1, 20, [0, 57, "Var"], 1, 1, 20, [0, 54, "VE"], 1, 1, 20, [0, 51, "VE"], 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 20, [0, 43, "VE"], 1, 20, 1, 20, [0, 40, "VE"], 1, 20, 1, 20, 1, 20, [0, 36, "VE"], 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 1, 20, 20, [0, 23, "VE"], 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 20, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, 20],
#V n = 164
[ , [6, 4], 2, 2, 20, [0, 108, "Bo3"], 2, [0, 102, "ARS"], 3, 3, 3, [0, 91, "MTS"], 3, 2, 1, 2, 20, [0, 84, "DaH"], 2, [0, 78, "GW2"], 1, 2, 20, 3, 3, 3, 1, 2, 2, 2, 3, 20, [0, 60, "Var"], [0, 59, "Var"], 1, 1, 20, [0, 56, "VE"], 1, 1, 20, [0, 53, "VE"], 1, 1, 20, [0, 50, "Var"], 1, 20, [0, 48, "VE"], 1, 20, [0, 46, "VE"], 1, 20, [0, 44, "Var"], 1, 20, 1, 20, [0, 41, "VE"], 1, 20, 1, 20, 1, 20, [0, 37, "VE"], 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, [0, 26, "VE"], 20, 1, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 20, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, 20],
#V n = 165
[ , 2, [6, 9], 2, 20, 3, 2, 3, 3, 3, 2, 2, 3, [0, 89, "GW2"], 20, [0, 86, "DaH"], 20, 3, [0, 81, "DaH"], 3, 20, [0, 75, "GW2"], 20, 3, 3, 3, 20, [0, 69, "GW2"], [0, 67, "GW2"], 2, 1, 1, 1, 1, 20, [0, 58, "Var"], 1, 1, 20, [0, 55, "VE"], 1, 1, 20, [0, 52, "VE"], 1, 1, 20, [0, 49, "Var"], 1, 20, [0, 47, "Var"], 1, 20, 1, 1, 20, 1, 20, [0, 42, "Var"], 1, 20, 1, 20, 1, 20, [0, 38, "VE"], 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, [0, 25, "Var"], 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 20, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, 20],
#V n = 166
[ , 2, 2, [6, 10], 2, 3, 2, 3, 2, 3, 2, 2, 1, 2, 20, 3, 20, 3, 3, 2, 1, 2, 20, 1, 1, 2, 1, 2, 2, 2, 1, 1, 1, 2, 1, 1, 20, [0, 57, "VE"], 1, 1, 20, [0, 54, "VE"], 1, 1, 20, [0, 51, "VE"], 1, 1, 20, 1, 1, 20, 1, 20, [0, 45, "VE"], 1, 20, 1, 1, 20, 1, 20, 1, 20, [0, 39, "VE"], 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, [0, 33, "Var"], 20, [0, 32, "Var"], 20, [0, 31, "Var"], 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, [0, 22, "VE"], 20, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 20, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, 20],
#V n = 167
[ , 2, 2, 1, 2, 1, 2, 2, 2, 1, 2, [0, 93, "MTS"], 2, [0, 90, "GW2"], 1, 2, 20, 3, 3, 2, 1, 2, 20, 20, 1, 2, 20, [0, 70, "GW2"], 2, 2, 1, 1, 1, 2, 20, [0, 59, "Var"], 1, 1, 20, [0, 56, "VE"], 1, 1, 20, [0, 53, "VE"], 1, 1, 20, [0, 50, "Var"], 1, 20, [0, 48, "Var"], 1, 20, [0, 46, "Var"], 1, 20, 1, 20, [0, 43, "VE"], 1, 20, 1, 20, [0, 40, "VE"], 1, 20, 1, 20, 1, 20, 1, 20, [0, 35, "Var"], 20, [0, 34, "VE"], 1, 20, 1, 20, 1, 20, 20, [0, 30, "VE"], 20, [0, 29, "Var"], 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, 1, 20, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, 20],
#V n = 168
[ , [6, 4], 2, 2, [6, 47], 2, [22, 6, 1], 2, 2, 2, [0, 96, "GW2"], 1, 2, 3, 1, 2, 2, 3, 1, 2, 1, 2, [0, 74, "GW2"], 20, 20, [0, 73, "GW2"], 1, 1, 2, [0, 67, "GW2"], 1, 1, 1, 2, 1, 1, 20, [0, 58, "VE"], 1, 1, 20, [0, 55, "VE"], 1, 1, 20, [0, 52, "VE"], 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 20, [0, 44, "Var"], 1, 20, 1, 20, [0, 41, "Var"], 1, 20, 1, 20, 1, 20, [0, 37, "Var"], 20, [0, 36, "VE"], 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, [0, 28, "Var"], 20, 1, 20, 1, 20, 1, 20, 20, [0, 24, "VE"], 20, 1, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 20, [0, 6, "BZ"], 20, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, 20],
#V n = 169
[ , 2, [6, 13], 2, 1, 2, 3, 2, 2, 2, 2, 1, 2, 1, 1, 2, 2, 2, 1, 2, 20, [0, 78, "GW2"], 2, 20, 20, 3, 1, 1, 2, 1, 2, 1, 1, 2, [0, 61, "VE"], [0, 60, "Var"], 1, 1, 20, [0, 57, "VE"], [0, 56, "Var"], 1, 20, [0, 54, "VE"], 1, 1, 20, [0, 51, "Var"], 1, 20, [0, 49, "VE"], 1, 20, [0, 47, "VE"], 1, 20, [0, 45, "Var"], 1, 20, 1, 20, [0, 42, "Var"], 1, 20, 1, 20, 1, 20, [0, 38, "Var"], 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, [0, 27, "Var"], 20, 1, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, 20],
#V n = 170
[ , 2, 3, [6, 10], 2, [0, 111, "Bo3"], 3, 2, [0, 103, "GW2"], [0, 99, "Gu"], [0, 97, "MTS"], 1, 2, 2, 1, 2, [0, 87, "DaH"], 2, 1, 2, [0, 79, "GW2"], 3, 2, 20, 20, 1, 20, [0, 72, "GW2"], [0, 71, "GW2"], 20, [0, 67, "GW2"], 20, 1, 2, 1, 1, 20, [0, 59, "VE"], 1, 1, 1, 20, 1, 1, 20, [0, 53, "VE"], 1, 1, 20, [0, 50, "Var"], 1, 20, [0, 48, "Var"], 1, 20, 1, 1, 20, 1, 20, 1, 1, 20, 1, 20, 1, 20, [0, 39, "Var"], 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, [0, 21, "VE"], 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, 20],
#V n = 171
[ , 2, 2, 1, 2, 2, 3, 2, 3, 2, 2, 1, 2, 2, 20, [0, 90, "BZ"], 1, 2, [0, 84, "BZ"], [0, 83, "DaH"], 3, 3, 2, 20, 20, 20, 1, 2, 3, 2, 3, 20, 20, [0, 65, "GW2"], [0, 62, "VE"], [0, 61, "Var"], 1, 1, 20, [0, 58, "VE"], [0, 57, "Var"], 1, 20, [0, 55, "VE"], 1, 1, 20, [0, 52, "VE"], 1, 1, 20, 1, 1, 20, 1, 20, [0, 46, "Var"], 1, 20, 1, 20, [0, 43, "VE"], 1, 20, 1, 20, [0, 40, "Var"], 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, [0, 26, "Var"], 20, 1, 20, 1, 20, 20, [0, 23, "VE"], 20, 1, 20, 1, 20, 20, 20, 1, 20, [0, 19, "Var"], 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, 20],
#V n = 172
[ , [6, 4], 2, 2, [6, 55], 2, 1, 2, 2, 2, 2, 20, [0, 96, "XBZ"], [0, 93, "GW2"], 20, 3, 20, [0, 87, "DaH"], 3, 3, 1, 1, 2, 20, 20, 20, 20, [0, 73, "GW2"], 3, [0, 69, "GW2"], 3, 20, 20, 3, 1, 1, 20, [0, 60, "VE"], 1, 1, 1, 20, [0, 56, "Var"], 1, 20, [0, 54, "VE"], 1, 1, 20, [0, 51, "Var"], 1, 20, [0, 49, "Var"], 1, 20, [0, 47, "Var"], 1, 20, 1, 20, [0, 44, "VE"], 1, 20, 1, 20, [0, 41, "Var"], 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, [0, 35, "Var"], 20, [0, 34, "VE"], 20, [0, 33, "VE"], 20, [0, 32, "VE"], 20, [0, 31, "Var"], 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, 20],
#V n = 173
[ , 2, 2, 2, 1, 2, 2, [0, 108, "Koh"], 2, 2, 2, 20, 3, 3, [0, 91, "GW2"], 3, 20, 3, 2, 3, 1, 1, 2, 2, 20, 20, 20, 3, 2, 3, 3, [0, 66, "Vx"], 20, 3, [0, 63, "VE"], [0, 62, "Var"], 1, 1, 20, [0, 59, "VE"], [0, 58, "Var"], 1, 1, 20, 1, 1, 20, [0, 53, "VE"], 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 20, [0, 45, "Var"], 1, 20, 1, 20, [0,
