Quelle bdtable3.g
Sprache: unbekannt
|
|
rahmenlose Ansicht.g DruckansichtUnknown {[0] [0] [0]}diese Dinge liegen außhalb unserer Verantwortung #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, | |