Quelle  bdtable4.g   Sprache: unbekannt

#A  BOUNDS FOR q = 4
##
##  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][4] := [
#V   n = 1
[ ],
#V   n = 2
[ ],
#V   n = 3
[ ],
#V   n = 4
[ , 1],
#V   n = 5
[ , 1, 2],
#V   n = 6
[ , 20, [0, 4, "QR"], 20],
#V   n = 7
[ , 1, 1, 1, 20],
#V   n = 8
[ , 1, 1, 1, 1, 20],
#V   n = 9
[ , 2, 1, 1, 1, 1, 20],
#V   n = 10
[ , [6, 5], 20, 1, 1, 1, 1, 20],
#V   n = 11
[ , 1, 1, 20, 1, 2, 1, 1, 20],
#V   n = 12
[ , 1, 1, 1, 20, [0, 6, "QR"], 20, 1, 1, 20],
#V   n = 13
[ , 1, 1, 1, 1, 1, 1, 20, 1, 1, 20],
#V   n = 14
[ , 1, 1, 2, 1, 1, 1, 1, 20, 1, 1, 20],
#V   n = 15
[ , 1, 1, 2, 20, 1, 1, 1, 1, 20, 1, 1, 20],
#V   n = 16
[ , 20, 1, 2, 1, 20, 1, 1, 1, 1, 20, 1, 1, 20],
#V   n = 17
[ , 1, 20, [0, 12, "BCH"], 1, 2, 20, 1, 2, 1, 1, 20, [0, 4, "ovo"], 1, 20],
#V   n = 18
[ , 1, 2, 3, 20, [0, 10, "Gu"], 20, 20, [0, 8, "MOS"], 20, 1, 1, 1, 20, 1, 20],
#V   n = 19
[ , 1, 2, 1, 1, 1, 1, 20, 1, 1, 20, 1, 1, 1, 20, 1, 20],
#V   n = 20
[ , 1, 2, 1, 1, 1, 1, 1, 20, [0, 8, "QR"], 1, 20, [0, 6, "EB3"], 1, 1, 20, 1, 20],
#V   n = 21
[ , 20, [7, 82], 1, 2, 1, 1, 1, 1, 1, 20, [0, 7, "KPm"], 1, 20, [0, 5, "KPm"], 1, 20, [4, 60], 20],
#V   n = 22
[ , 2, 1, 1, 2, 20, 1, 1, 1, 1, 1, 1, 20, 1, 1, 20, 1, 1, 20, 20],
#V   n = 23
[ , 2, 20, 1, 2, 1, 20, 1, 1, 1, 1, 1, 1, 20, 1, 1, 20, 1, 1, 20, 20],
#V   n = 24
[ , 2, 1, 20, [0, 16, "Li1"], 2, [0, 13, "GB4"], 20, 1, 1, 1, 1, 1, 1, 20, 1, 1, 20, 1, 1, 20, 20],
#V   n = 25
[ , [6, 5], 1, 2, 1, 2, 1, 20, 20, 1, 1, 1, 1, 1, 1, 20, 1, 1, 20, 1, 1, 20, 20],
#V   n = 26
[ , 1, 1, 2, 20, [0, 16, "Gu"], 1, 1, 20, 20, 1, 1, 1, 1, 2, [0, 7, "EB3"], 20, 1, 1, 20, 1, 1, 20, 20],
#V   n = 27
[ , 2, 1, 2, 1, 1, 2, [0, 14, "GB4"], [0, 13, "GuB"], 20, 20, 1, 1, 1, 2, 1, 20, 20, [0, 6, "EB3"], 1, 20, 1, 1, 20, 20],
#V   n = 28
[ , 2, 20, [0, 20, "GH"], 2, [0, 17, "GB4"], [0, 16, "GuB"], 1, 1, 20, 20, 20, 1, 1, 2, 1, 1, 20, 1, 20, 1, 20, 1, 1, 20, 20],
#V   n = 29
[ , 2, 1, 1, 2, 1, 1, 1, 1, 1, 20, 20, 20, 1, 2, 20, 1, 1, 20, 1, 20, 1, 20, 1, 1, 20, 20],
#V   n = 30
[ , [6, 5], 1, 2, [0, 20, "KPq"], 1, 2, [0, 16, "DaH"], [0, 15, "GB4"], [0, 14, "Da4"], [0, 13, "DG5"], 20, 20, 20, [0, 12, "QR"], 2, 20, 1, 1, 20, 1, 20, 1, 20, 1, 1, 20, 20],
#V   n = 31
[ , 1, 2, [0, 22, "GH"], 1, 1, 2, 1, 1, 1, 1, 20, 20, 20, 3, 2, 20, 20, 1, 1, 20, 1, 20, 1, 20, 1, 1, 20, 20],
#V   n = 32
[ , 2, [6, 16], 1, 2, [0, 20, "Gu"], [0, 19, "GB4"], 1, 1, 1, 1, 1, 20, 20, 3, [0, 11, "Du3"], 1, 20, 20, 1, 1, 20, 1, 20, 1, 20, 1, 1, 20, 20],
#V   n = 33
[ , 2, 1, 2, [0, 22, "Bo1"], 2, 3, 1, 2, [0, 16, "DaH"], [0, 15, "DG"], 1, 2, 20, 1, 1, 1, 1, 20, 20, 1, 1, 20, 1, 20, 1, 20, 1, 1, 20, 20],
#V   n = 34
[ , 2, 2, [6, 17], 1, 2, 1, 20, [0, 18, "DaH"], 1, 1, 20, [0, 14, "DaH"], 20, 20, 1, 1, 2, 1, 20, 20, 1, 1, 20, 1, 20, 1, 20, 1, 1, 20, 20],
#V   n = 35
[ , [6, 5], 2, 1, 2, [0, 22, "GB4"], 1, 1, 2, 20, 1, 2, 1, 1, 20, 20, 1, 2, 20, 1, 20, 20, 1, 1, 20, 1, 20, 1, 20, 1, 1, 20, 20],
#V   n = 36
[ , 1, 2, 1, 2, 1, 2, [0, 20, "GB4"], [0, 19, "Gu"], 1, 20, [0, 16, "DG"], 20, 1, 1, 20, 20, [0, 12, "GaO"], 1, 20, 1, 20, 20, [0, 8, "Zi"], 1, 20, 1, 20, 1, 20, 1, 1, 20, 20],
#V   n = 37
[ , 2, [6, 16], 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 20, 1, 1, 20, 1, 1, 1, 20, 1, 20, 3, 20, 1, 20, 1, 20, 1, 20, 1, 1, 20, 20],
#V   n = 38
[ , 2, 1, 1, 2, 1, 2, 2, [0, 20, "Bou"], [0, 19, "DaH"], 1, 1, 1, 1, 20, 1, 1, 20, [0, 12, "QR"], 1, 2, 20, 1, 1, 20, 20, 1, 20, 1, 20, 1, 20, 1, 1, 20, 20],
#V   n = 39
[ , 2, 2, 1, 2, 2, [0, 24, "Gu"], 2, 1, 1, 20, [0, 18, "KPm"], [0, 17, "BMP"], 1, 1, 20, 1, 1, 1, 20, [0, 11, "KPm"], 20, 20, [0, 9, "KPm"], 1, 20, 20, 1, 20, 1, 20, 1, 20, 1, 1, 20, 20],
#V   n = 40
[ , [6, 5], 2, 20, [0, 28, "KPq"], 2, 1, 2, 1, 1, 1, 1, 1, 20, 1, 1, 20, 1, 1, 1, 1, 2, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 1, 20, 1, 1, 20, 20],
#V   n = 41
[ , 1, 2, 1, 1, 2, 1, 2, 1, 2, 1, 2, 1, 1, 20, 1, 2, 20, 1, 1, 1, 2, 20, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 1, 20, [0, 4, "IN"], 1, 20, 20],
#V   n = 42
[ , 2, [6, 21], 1, 2, [0, 28, "GB4"], 1, 2, [0, 23, "Ayd"], [0, 22, "DaH"], 20, [0, 20, "DaH"], 20, [0, 18, "DaH"], [0, 17, "DaH"], 20, [0, 16, "DaH"], 20, 20, 1, 1, 2, 1, 20, 20, 1, 20, 1, 20, 20, [0, 7, "Zi"], 20, 1, 20, 1, 1, 20, 1, 20, 20],
#V   n = 43
[ , 2, 1, 2, [0, 30, "Liz"], 3, 1, 2, 1, 1, 2, 3, 20, 3, 3, 20, 3, 20, 20, 20, 1, 2, 2, 1, 20, 20, 1, 20, 1, 20, 3, 20, 20, 1, 20, [0, 5, "KPc"], 1, 20, 1, 20, 20],
#V   n = 44
[ , 2, 20, [7, 169], 2, 1, 20, [0, 27, "Zi"], 1, 1, 2, 1, 1, 1, 1, 20, 1, 1, 20, 20, 20, [0, 14, "QR"], 2, 20, 1, 20, 20, 1, 20, 1, 1, 20, 20, 20, 1, 1, 20, 1, 20, 1, 20, 20],
#V   n = 45
[ , [6, 5], 1, 1, 2, 2, [0, 28, "Gu"], 3, 2, 1, 2, 2, 1, 2, [0, 18, "DG5"], [0, 17, "GW1"], 20, 1, 1, 20, 20, 1, 2, 1, 20, 1, 20, 20, 1, 20, 1, 1, 20, 20, 20, 1, 1, 20, 1, 20, 1, 20, 20],
#V   n = 46
[ , 2, 1, 2, [0, 32, "Liz"], 2, 1, 1, 2, 20, [0, 24, "DaH"], [0, 22, "DaH"], 20, [0, 20, "GW2"], 1, 1, 20, 20, 1, 1, 20, 20, [0, 14, "GaO"], 1, 1, 20, 1, 20, 20, 1, 20, 1, 1, 20, 20, 20, 1, 1, 20, 1, 20, 1, 20, 20],
#V   n = 47
[ , 2, 1, 2, 1, 2, 1, 1, 2, 20, 3, 1, 1, 1, 1, 1, 1, 20, 20, 1, 1, 20, 1, 2, 1, 1, 20, 1, 20, 20, 1, 20, 1, 1, 20, 20, 20, 1, 1, 20, 1, 20, 1, 20, 20],
#V   n = 48
[ , 2, 1, 2, 2, [0, 32, "Gu"], 1, 1, 2, 2, 3, [0, 23, "DG"], 1, 1, 1, 1, 1, 1, 20, 20, 1, 1, 20, [0, 14, "GaO"], 20, 1, 1, 20, 1, 20, 20, 1, 20, 1, 1, 20, 20, 20, 1, 1, 20, 1, 20, 1, 20, 20],
#V   n = 49
[ , 2, 20, [0, 36, "GH"], 2, 1, 1, 1, 2, 2, 1, 1, 20, 1, 1, 1, 2, 1, 1, 20, 20, 1, 1, 1, 1, 20, 1, 2, 20, 1, 20, 20, 1, 20, 1, 1, 20, 20, 20, 1, 1, 20, 1, 20, 1, 20, 20],
#V   n = 50
[ , [6, 5], 2, 1, 2, 2, 1, 1, 2, [0, 27, "Da4"], 20, 1, 2, 20, 1, 1, 2, 20, 1, 1, 20, 20, 1, 1, 1, 1, 20, [0, 12, "D1"], 20, 20, 1, 20, 20, 1, 20, 1, 1, 20, 20, 20, 1, 1, 20, 1, 20, 1, 20, 20],
#V   n = 51
[ , 2, 2, 20, [0, 36, "Bou"], 2, 20, 1, 2, 2, 1, 20, [0, 24, "DaH"], 20, 20, 1, 2, [0, 19, "DaH"], 20, 1, 1, 20, 20, 1, 1, 1, 2, 1, 1, 20, 20, 1, 20, 20, [0, 9, "DaH"], 20, [0, 8, "LX"], 1, 20, 20, 20, [0, 6, "DaH"], 1, 20, 1, 20, 1, 20, 20],
#V   n = 52
[ , 2, 2, 1, 1, 2, [0, 33, "Gu"], 20, [0, 32, "DaH"], 2, 2, [0, 25, "DG5"], 1, 1, 20, 20, [0, 22, "DaH"], 1, 20, 20, 1, 1, 20, 20, 1, 1, 2, 20, 1, 1, 20, 20, 1, 20, 3, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20],
#V   n = 53
[ , 2, [6, 16], 1, 2, [0, 36, "XX"], 1, 20, 3, 2, 2, 1, 20, 1, 1, 20, 3, 1, 1, 20, 20, 1, 1, 20, 20, 1, 2, 20, 20, 1, 1, 20, 20, 1, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20],
#V   n = 54
[ , 2, 1, 1, 2, 3, 1, 2, 3, 2, 2, 1, 1, 20, 1, 1, 1, 1, 1, 1, 20, 20, 1, 1, 20, 20, [0, 16, "GaO"], 1, 20, 20, 1, 1, 20, 20, 1, 1, 20, 20, [0, 8, "BZ"], 20, 1, 20, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20],
#V   n = 55
[ , [6, 5], 2, 1, 2, 1, 1, 2, 2, [0, 31, "DaH"], [0, 29, "DG"], 1, 1, 1, 20, 1, 1, 1, 1, 1, 1, 20, 20, 1, 1, 20, 3, 1, 1, 20, 20, 1, 1, 20, 20, 1, 1, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20],
#V   n = 56
[ , 2, 2, 20, [0, 40, "BKW"], 1, 1, 2, 2, 3, 3, 1, 1, 1, 1, 20, 1, 1, 1, 1, 1, 1, 20, 20, 1, 1, 1, 1, 1, 1, 20, 20, 1, 1, 20, 20, 1, 1, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20],
#V   n = 57
[ , 2, 2, 2, 3, 1, 1, 2, [0, 34, "YC"], 2, 1, 20, 1, 1, 1, 2, 20, [0, 24, "DaH"], 1, 1, 1, 1, 1, 20, 20, 1, 1, 1, 1, 1, 2, 20, 20, [0, 12, "D1"], 1, 20, 20, 1, 1, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20],
#V   n = 58
[ , 2, [6, 16], 2, 1, 1, 1, 2, 2, [0, 32, "DaH"], 1, 1, 20, 1, 1, 2, 20, 3, 20, 1, 1, 1, 1, 1, 20, 20, 1, 1, 1, 1, 2, 20, 20, 1, 20, 1, 20, 20, 1, 1, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20],
#V   n = 59
[ , 2, 1, 2, 1, 1, 1, 2, 2, 1, 1, 1, 2, 20, 1, 2, 1, 1, 20, 20, 1, 1, 1, 1, 1, 20, 20, 1, 1, 1, 2, 1, 20, 20, 1, 20, 1, 20, 20, 1, 1, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20],
#V   n = 60
[ , [6, 5], 1, 2, 1, 1, 1, 2, [0, 36, "BZ"], 1, 1, 2, [0, 30, "BZ"], 20, 20, [0, 28, "GW2"], 1, 1, 1, 20, 20, 1, 1, 1, 1, 1, 20, 20, 1, 1, 2, 1, 1, 20, 20, [5, 21], 20, 1, 20, 20, 1, 1, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20],
#V   n = 61
[ , 2, 1, 2, 1, 1, 1, 2, 3, 1, 1, 2, 1, 1, 20, 1, 1, 1, 1, 1, 20, 20, 1, 1, 1, 1, 2, 20, 20, 1, 2, 20, 1, 1, 20, 1, 20, 20, 1, 20, 20, 1, 1, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20],
#V   n = 62
[ , 2, 1, 2, 1, 1, 1, 2, 1, 1, 1, 2, 1, 1, 1, 20, 1, 1, 1, 2, 1, 20, 20, 1, 1, 1, 2, 20, 20, 20, [0, 18, "GaO"], [0, 15, "Vx"], 20, 1, 1, 20, 1, 20, 20, 1, 20, 20, 1, 1, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20],
#V   n = 63
[ , 2, 1, 2, 20, 1, 1, 2, 2, 1, 1, 2, [0, 32, "DaH"], [0, 31, "DaH"], 1, 2, 20, [0, 28, "DaH"], 1, 2, 20, 1, 20, 20, 1, 1, 2, 20, 20, 20, 3, 1, 20, 20, 1, 2, 20, 1, 20, 20, 1, 20, 20, 1, 1, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20],
#V   n = 64
[ , 2, 20, [7, 253], 2, 20, 1, 2, 2, 20, 1, 2, 1, 1, 20, [0, 30, "DaH"], 20, 3, 20, [0, 27, "XBC"], 20, 20, 1, 20, 20, 1, 2, 20, 20, 20, 3, 1, 1, 20, 20, [0, 14, "XBC"], 20, 20, 1, 20, 20, 1, 20, 20, 1, 2, 20, 1, 20, 20, 1, 20, 20, [0, 6, "XBC"], 20, 1, 20, 1, 20, 1, 20, 20],
#V   n = 65
[ , [6, 5], 20, 3, 2, 20, 20, [0, 44, "BCH"], 2, 20, 20, [0, 36, "DaH"], 2, 1, 2, 1, 1, 1, 20, 3, 1, 20, 20, 1, 20, 20, [0, 23, "BCH"], [0, 19, "Vx"], 20, 20, 1, 1, 1, 1, 20, 1, 1, 20, 20, 1, 20, 20, 1, 20, 20, [0, 10, "BCH"], 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, [0, 5, "Ed"], 20, 1, 20, 1, 20, 20],
#V   n = 66
[ , 2, 1, 1, 2, 1, 20, 3, 2, 1, 20, 3, 2, 20, [0, 32, "DaH"], 20, 1, 2, 1, 1, 1, 1, 20, 20, 1, 20, 3, 1, 20, 20, 20, 1, 1, 2, 1, 20, 1, 1, 20, 20, 1, 20, 20, 1, 20, 1, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20],
#V   n = 67
[ , 2, 1, 2, [0, 48, "Bou"], 1, 2, 3, 2, 1, 2, 3, [0, 35, "MTS"], 1, 2, 20, 20, [0, 30, "DaH"], 20, [0, 28, "XX"], 1, 1, 1, 20, 20, [0, 24, "XX"], 3, 2, [0, 19, "Vx"], 20, 20, 20, 1, 2, 20, [0, 15, "XX"], 20, 1, 1, 20, 20, 1, 20, 20, [0, 11, "XX"], 20, 1, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20],
#V   n = 68
[ , 2, 1, 2, 1, 1, 2, 2, 2, 1, 2, 1, 2, 20, [0, 33, "BZ"], 1, 20, 3, 20, 3, 20, 1, 2, 1, 20, 1, 2, [0, 21, "Vx"], 1, 20, 20, 20, 20, [0, 18, "GaO"], 2, 1, 20, 20, [0, 14, "XX"], 1, 20, 20, 1, 20, 1, 20, 20, [0, 10, "XX"], 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20],
#V   n = 69
[ , 2, 1, 2, 2, 1, 2, 2, 2, 1, 2, 2, [0, 36, "DaH"], 1, 1, 2, 1, 2, [0, 29, "XX"], 1, 20, 20, [0, 27, "XX"], 20, [0, 25, "XX"], 20, [0, 24, "XX"], 1, 1, 1, 20, 20, 20, 1, 2, 20, 1, 20, 1, 20, [0, 13, "XX"], 20, 20, [0, 12, "XX"], 20, 1, 20, 1, 20, [0, 9, "XX"], 20, 20, 1, 20, 20, 1, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20],
#V   n = 70
[ , [6, 5], 20, [0, 52, "Bel"], [0, 50, "BKW"], 20, [0, 48, "XX"], 2, [0, 44, "DaH"], 20, [0, 40, "BZ"], [0, 38, "DaH"], 3, [0, 35, "DaH"], [0, 34, "DaH"], [0, 33, "DaH"], 20, [0, 31, "DaH"], 1, 20, 1, 20, 1, 1, 1, 20, 3, 2, [0, 21, "Vx"], [0, 20, "BZ"], [0, 19, "Ed"], 20, 20, 20, [0, 18, "GaO"], 2, 20, [0, 15, "XX"], 20, 1, 1, 20, 20, 1, 20, 20, [0, 11, "XX"], 20, 1, 1, 20, 20, 20, 1, 20, 20, [0, 7, "Ed"], 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20],
#V   n = 71
[ , 2, 1, 2, 1, 2, 1, 2, 3, 1, 2, 3, 1, 2, 3, 3, 20, 3, 1, 2, 20, [0, 28, "XX"], 20, [0, 27, "BET"], 1, 1, 2, [0, 23, "Vx"], 1, 1, 1, 20, 20, 20, 1, 2, 20, 1, 20, 20, 1, 1, 20, 20, 1, 20, 1, 20, 20, 1, 1, 20, 20, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20],
#V   n = 72
[ , 2, 1, 2, 1, 2, 20, [0, 48, "BET"], 3, 1, 2, 1, 2, [0, 36, "BZ"], 1, 2, 20, 1, 20, [0, 30, "Tol"], 20, 1, 20, 1, 20, [0, 26, "Tol"], [0, 25, "X"], 1, 1, 2, 1, 1, 20, 20, 20, [0, 18, "GaO"], 1, 20, 1, 20, 20, [0, 14, "Tol"], 1, 20, 20, [0, 12, "X"], 20, 1, 20, 20, [0, 10, "Tol"], 1, 20, 20, 20, [0, 8, "BZ"], 20, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20],
#V   n = 73
[ , 2, 1, 2, 1, 2, 20, 3, 1, 1, 2, 1, 2, 1, 1, 2, 1, 20, 1, 2, 20, 20, [0, 28, "XX"], 20, 1, 2, 3, 20, [0, 23, "Ed"], [0, 22, "XX"], 20, 1, 1, 20, 20, 3, 20, 1, 20, 1, 20, 1, 20, [0, 13, "XX"], 20, 1, 20, 20, 1, 20, 1, 20, [0, 9, "XX"], 20, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20],
#V   n = 74
[ , 2, 1, 2, 1, 2, 2, 3, 20, 1, 2, 1, 2, 2, 1, 2, 1, 1, 20, [0, 31, "XX"], 1, 20, 1, 20, 20, [0, 27, "XX"], 2, [0, 24, "Ed"], 3, 1, 1, 20, 1, 2, 20, 1, 1, 20, 1, 20, [0, 15, "BET"], 20, 1, 1, 20, 20, 1, 20, 20, [0, 11, "BET"], 20, 1, 1, 20, 20, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20],
#V   n = 75
[ , [6, 5], 20, [0, 56, "Bel"], 1, 2, 2, 2, 1, 20, [0, 44, "BZ"], 2, [0, 40, "BZ"], 2, 20, [0, 36, "BZ"], 1, 1, 2, 3, 1, 2, 20, 1, 20, 1, 2, 1, 1, 20, [0, 22, "Ed"], 1, 20, [0, 20, "BZ"], 20, 20, [0, 18, "Vx"], 1, 20, 1, 1, 20, 20, [0, 14, "BET"], 1, 20, 20, 1, 20, 1, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20],
#V   n = 76
[ , 2, 1, 1, 1, 2, 2, 2, 1, 1, 2, 2, 1, 2, 20, 1, 1, 1, 2, 1, 20, [0, 30, "BET"], 20, 20, [0, 28, "XX"], 20, [0, 27, "Ed"], 20, [0, 24, "Ed"], [0, 23, "XX"], 1, 20, [0, 21, "XX"], 1, 1, 20, 1, 20, [0, 17, "VE"], 20, 1, 1, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20],
#V   n = 77
[ , 2, 1, 2, 1, 2, [0, 52, "BET"], [0, 50, "X"], 1, 1, 2, 2, 1, 2, 1, 20, 1, 1, 2, 20, 1, 2, [0, 29, "Ed"], 20, 1, 20, 3, [0, 25, "Ed"], 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 1, 20, 20, 1, 1, 20, 1, 20, 1, 20, 20, 1, 20, [0, 11, "VE"], 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20],
#V   n = 78
[ , 2, 1, 2, 20, [0, 56, "Hi"], 3, 2, 1, 1, 2, [0, 44, "Ayd"], 1, 2, 1, 1, 20, 1, 2, 1, 20, [0, 31, "XX"], 1, 20, 20, [0, 28, "XX"], 3, 1, 20, 1, 1, 20, [0, 22, "XX"], [0, 21, "Ed"], 20, 1, 1, 20, [0, 18, "VE"], 1, 20, 20, 1, 1, 20, 1, 20, 1, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20],
#V   n = 79
[ , 2, 1, 2, 20, 3, 1, 2, 20, 1, 2, 1, 1, 2, 1, 1, 1, 20, [0, 36, "GW2"], 20, 1, 1, 1, 1, 20, 1, 1, 2, [0, 25, "Ed"], 20, 1, 1, 1, 1, 20, 20, 1, 2, 1, 20, 1, 20, 20, 1, 2, 20, [0, 14, "Ed"], 20, [0, 13, "Ed"], 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20],
#V   n = 80
[ , [6, 5], 20, [7, 317], 20, 3, 20, [0, 52, "BZ"], 20, 20, [0, 48, "BZ"], 1, 1, 2, 1, 1, 1, 2, 3, 1, 20, [0, 32, "BZ"], [0, 31, "Ed"], 1, 2, 20, [0, 28, "Ed"], [0, 27, "Ed"], 1, 20, 20, [0, 24, "BZ"], [0, 23, "Ed"], 1, 1, 20, 20, [0, 20, "BZ"], 20, 1, 20, 1, 20, 20, [0, 16, "BZ"], 20, 1, 20, 1, 20, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20],
#V   n = 81
[ , 2, 1, 2, 1, 2, 1, 2, 1, 20, 3, 1, 1, 2, 1, 1, 1, 2, 2, 1, 1, 2, 1, 20, [0, 30, "X6u"], 20, 3, 3, [0, 26, "Ed"], 1, 20, 1, 1, 20, 1, 2, 20, 1, 1, 20, 1, 20, [0, 17, "VE"], 20, 1, 1, 20, 1, 20, 1, 20, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 1, 20, 20, [0, 6, "Ed"], 20, 1, 20, 20, 1, 20, 1, 20, 20],
#V   n = 82
[ , 2, 1, 2, 1, 2, 1, 2, 1, 1, 1, 1, 1, 2, 1, 1, 1, 2, 2, 1, 1, 2, 20, 1, 2, [0, 29, "Ed"], 1, 1, 1, 20, [0, 25, "Ed"], 20, 1, 1, 20, [0, 22, "Ed"], 20, 20, 1, 1, 20, 1, 1, 20, 20, 1, 1, 20, 1, 20, 1, 20, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20],
#V   n = 83
[ , 2, 1, 2, 1, 2, 1, 2, 1, 1, 2, 1, 1, 2, 1, 1, 1, 2, 2, 1, 1, 2, [0, 32, "Ed"], 20, [0, 31, "XX"], 1, 20, 1, 1, 1, 1, 20, 20, 1, 1, 1, 1, 20, 20, 1, 1, 20, [0, 18, "VE"], 1, 20, 20, 1, 1, 20, 1, 20, 1, 20, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20],
#V   n = 84
[ , 2, 1, 2, 1, 2, 1, 2, 1, 1, 2, 20, 1, 2, 1, 1, 1, 2, 2, 20, 1, 2, 1, 20, 1, 2, [0, 29, "Ed"], 20, 1, 2, 1, 1, 20, 20, 1, 2, 1, 1, 20, 20, 1, 2, 1, 20, 1, 20, 20, 1, 1, 20, 1, 20, 1, 20, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20],
#V   n = 85
[ , [6, 5], 20, [7, 338], 2, [0, 60, "BCH"], 20, [0, 56, "BZ"], 2, 1, 2, 20, 20, [0, 48, "DaH"], [0, 45, "DaH"], [0, 44, "DaH"], [0, 43, "DaH"], [0, 42, "DaH"], [0, 40, "DaH"], 20, 20, [0, 36, "BZ"], [0, 33, "BZ"], [0, 32, "BZ"], 20, [0, 31, "BCH"], 1, 20, 20, [0, 28, "BZ"], 20, [0, 26, "BZ"], [0, 25, "Ed"], 20, 20, [0, 24, "BZ"], 20, [0, 22, "BZ"], 1, 20, 20, [0, 20, "BZ"], 20, 1, 20, 1, 20, 20, [0, 16, "BZ"], 1, 20, 1, 20, 1, 20, 20, 20, [0, 12, "BZ"], 1, 20, 20, 20, [0, 10, "BCH"], [0, 9, "BZ"], 20, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 1, 20, [0, 3, "Ham"], 20, 20],
#V   n = 86
[ , 2, 20, 3, 2, 2, 20, 3, [0, 54, "Da"], 20, [0, 52, "XBZ"], 20, 20, 3, 3, 3, 3, 3, 2, 20, 20, 3, 1, 1, 20, 1, 2, [0, 29, "Ed"], 20, 3, [0, 27, "Ed"], 1, 1, 20, 20, 3, [0, 23, "Ed"], 1, 20, [0, 21, "Ed"], 20, 1, 1, 20, 1, 20, 1, 20, 1, 20, [0, 15, "Ed"], 20, [0, 14, "XBC"], 20, 1, 20, 20, 1, 20, 1, 20, 20, 1, 1, 20, 20, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 1, 1, 20, 20, 20],
#V   n = 87
[ , 2, 2, 1, 2, 2, 2, 3, 3, 20, 3, 20, 20, 3, 3, 3, 3, 3, [0, 41, "DaH"], 2, 20, 3, 2, [0, 33, "Ed"], 1, 20, [0, 31, "X"], 1, 20, 1, 1, 20, [0, 26, "Ed"], 1, 20, 1, 1, 20, 1, 1, 20, 20, [0, 20, "Ed"], 1, 20, 1, 20, [0, 17, "VE"], 20, 1, 1, 20, 1, 20, 20, [0, 13, "Var"], 20, 20, 1, 20, 1, 20, 20, 1, 1, 20, 20, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 1, 1, 20, 20, 20],
#V   n = 88
[ , 2, 2, 20, [0, 64, "Bou"], 2, 2, 2, 2, 20, 3, 1, 20, 3, 1, 1, 1, 1, 2, [0, 38, "Vx"], 20, 3, [0, 35, "Ed"], 1, 20, [0, 32, "BZ"], 3, 1, 1, 20, [0, 28, "Ed"], 1, 1, 20, 1, 20, 1, 1, 20, [0, 22, "Ed"], 1, 20, 1, 20, 1, 20, [0, 18, "VE"], 1, 20, 20, 1, 1, 20, 1, 20, 1, 20, 20, 20, 1, 20, 1, 20, 20, 1, 1, 20, 20, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 1, 1, 20, 20, 20],
#V   n = 89
[ , 2, 2, 2, 1, 2, 2, 2, 2, 1, 2, 1, 2, 3, 1, 2, 1, 2, [0, 42, "DaH"], 2, [0, 37, "Vx"], 1, 1, 2, [0, 33, "Ed"], 1, 1, 20, [0, 30, "VE"], [0, 29, "Var"], 1, 20, [0, 27, "Ed"], 1, 20, [0, 25, "Ed"], 20, 1, 1, 1, 20, 1, 20, 1, 20, [0, 19, "Ed"], 1, 20, 1, 20, 20, [0, 16, "Ed"], 1, 20, 1, 20, 1, 20, 20, 20, 1, 20, [0, 11, "X"], 20, 20, 1, 1, 20, 20, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 1, 1, 20, 20, 20],
#V   n = 90
[ , [6, 5], [6, 6], 2, 20, [0, 64, "BZ"], 2, [0, 58, "XB"], [0, 56, "BZx"], 1, 2, 20, [0, 50, "DaH"], 1, 2, [0, 46, "DaH"], 20, [0, 44, "DaH"], 3, 2, 1, 20, [0, 36, "Ed"], [0, 35, "Ed"], 1, 20, [0, 32, "Ed"], 1, 1, 1, 20, 1, 1, 20, 1, 1, 20, 20, [0, 24, "Tol"], [0, 23, "Ed"], 1, 20, 1, 20, 1, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 20, 1, 1, 20, 20, 20, [0, 10, "X"], 1, 20, 20, 20, 20, [0, 8, "BZ"], 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 1, 1, 20, 20, 20],
#V   n = 91
[ , 2, 1, 2, 2, 3, [0, 61, "Gu"], 2, 3, 20, [0, 54, "XB"], 1, 2, 20, [0, 48, "DaH"], 1, 1, 2, 2, [0, 40, "Vx"], 2, [0, 37, "Vx"], 1, 1, 2, 1, 1, 20, [0, 31, "Ed"], 1, 1, 20, [0, 28, "Ed"], 1, 20, [0, 26, "Ed"], 1, 20, 1, 1, 20, 1, 20, [0, 21, "Var"], 20, [0, 20, "Ed"], 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 1, 1, 20, 20, 20],
#V   n = 92
[ , 2, 2, [6, 17], 2, 3, 3, 2, 1, 1, 2, 1, 2, 1, 1, 2, 1, 2, 2, 3, [0, 39, "BZ"], 1, 20, [0, 36, "BZ"], [0, 35, "Ed"], 20, [0, 33, "Ed"], 1, 1, 20, [0, 30, "BZ"], 1, 1, 20, 1, 1, 20, 1, 20, 1, 1, 20, 1, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 1, 1, 20, 20, 20],
#V   n = 93
[ , 2, 2, 1, 2, 2, 1, 2, 1, 1, 2, 1, 2, 1, 2, [0, 48, "DaH"], 20, [0, 46, "DaH"], [0, 44, "DaH"], 1, 2, [0, 38, "BZ"], [0, 37, "Vx"], 1, 1, 1, 1, 20, [0, 32, "Ed"], 1, 1, 20, [0, 29, "Var"], 1, 20, [0, 27, "Ed"], 1, 20, [0, 25, "Var"], 20, 1, 1, 20, [0, 22, "Ed"], 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 1, 1, 20, 20, 20],
#V   n = 94
[ , 2, 2, 2, [0, 68, "Bou"], 2, 1, 2, 1, 2, [0, 56, "XB"], 20, [0, 53, "DaH"], 1, 2, 3, 20, 3, 3, 1, 2, 1, 1, 20, [0, 36, "Ed"], [0, 35, "Ed"], [0, 34, "Var"], 1, 1, 20, [0, 31, "Var"], 1, 1, 20, 1, 1, 20, 1, 1, 20, 20, 1, 1, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, [0, 17, "Var"], 20, 1, 20, [0, 15, "Var"], 20, 1, 20, 1, 20, 20, 20, 1, 1, 20, 20, [0, 10, "Ed"], 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 1, 1, 20, 20, 20],
#V   n = 95
[ , [6, 5], [6, 16], 2, 2, 2, 2, [0, 62, "DaH"], [0, 59, "DaH"], [0, 58, "DaH"], 3, [0, 54, "DaH"], 3, [0, 52, "DaH"], [0, 51, "DaH"], 1, 2, 3, 2, 1, 2, 1, 1, 2, 1, 1, 1, 20, [0, 33, "Var"], 1, 1, 20, 1, 1, 20, [0, 28, "Var"], 1, 20, [0, 26, "Var"], 1, 20, 20, 1, 2, 1, 20, 1, 20, 1, 20, [0, 19, "Var"], 20, [0, 18, "VE"], 1, 20, 20, 1, 1, 20, 20, 1, 20, 1, 20, 20, 20, 1, 1, 20, 1, 20, 20, [0, 9, "Ed"], 20, 20, 20, 1, 20, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 1, 1, 20, 20, 20],
#V   n = 96
[ , 2, 1, 2, 2, 2, [0, 64, "GB4"], 2, 1, 2, 2, 2, 3, 3, 3, 20, [0, 48, "BZ"], 2, [0, 45, "BZ"], 20, [0, 42, "BZ"], [0, 40, "BZ"], [0, 39, "BZ"], [0, 38, "BZ"], 20, [0, 36, "BZ"], 1, 1, 1, 20, [0, 32, "Var"], 1, 20, [0, 30, "Ed"], 1, 1, 20, 1, 1, 20, 1, 20, 20, [0, 24, "Tol"], 20, 1, 20, 1, 20, [0, 20, "Var"], 1, 20, 1, 20, 1, 20, 20, [0, 16, "BZ"], 1, 20, 20, [0, 14, "Ed"], 20, 1, 20, 20, 20, 1, 1, 20, 1, 20, 1, 20, 20, 20, 20, 1, 20, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 1, 1, 20, 20, 20],
#V   n = 97
[ , 2, 2, [6, 17], 2, [0, 68, "Koh"], 1, 2, 1, 2, 2, 2, 1, 1, 2, 1, 1, 2, 2, 1, 2, 1, 1, 1, 1, 1, 20, [0, 35, "Ed"], [0, 34, "Var"], 1, 1, 20, 1, 1, 20, [0, 29, "Var"], 1, 20, [0, 27, "Var"], 1, 20, 1, 20, 1, 1, 20, 1, 20, [0, 21, "Var"], 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 1, 20, 20, 20, 1, 1, 20, 1, 20, 1, 20, 20, 20, 20, 1, 20, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 1, 1, 20, 20, 20],
#V   n = 98
[ , 2, 2, 1, 2, 2, 2, [0, 64, "DaH"], 1, 2, 2, 2, 1, 2, [0, 52, "DaH"], 1, 2, [0, 48, "DaH"], 2, 1, 2, 1, 1, 1, 1, 2, 1, 1, 1, 20, 1, 1, 20, [0, 31, "Ed"], 1, 1, 20, 1, 1, 20, 1, 20, [0, 25, "Var"], 20, 1, 1, 20, 1, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, [0, 13, "Var"], 20, 20, 20, 1, 1, 20, 1, 20, 1, 20, 20, 20, 20, 1, 20, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 1, 1, 20, 20, 20],
#V   n = 99
[ , 2, 2, 2, [0, 72, "BKW"], 2, 2, 3, 1, 2, 2, 2, 1, 2, 3, 20, [0, 50, "GW1"], 1, 2, 1, 2, 1, 2, [0, 40, "BZ"], 1, 2, 20, 1, 1, 1, 20, [0, 33, "Ed"], 1, 1, 20, 1, 1, 20, [0, 28, "Var"], 1, 20, 1, 1, 20, 20, 1, 1, 20, [0, 22, "Ed"], 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 20, 20, 1, 1, 20, 1, 20, 1, 20, 20, 20, 20, 1, 20, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 1, 1, 20, 20, 20],
#V   n = 100
[ , [6, 5], [6, 16], 2, 3, 2, 2, 1, 1, 2, [0, 60, "BZ"], 2, 1, 2, 1, 1, 2, 20, [0, 48, "BZ"], 2, [0, 45, "BZ"], 20, [0, 42, "BZ"], 1, 20, [0, 39, "BZ"], 1, 20, [0, 36, "BZ"], [0, 35, "Var"], 1, 1, 20, [0, 32, "Var"], 1, 20, [0, 30, "Ed"], 1, 1, 20, 1, 20, [0, 26, "Var"], 1, 20, 20, 1, 1, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 20, 20, 1, 1, 20, 1, 20, 1, 20, 20, 20, 20, 1, 20, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 1, 1, 20, 20, 20],
#V   n = 101
[ , 2, 1, 2, 1, 2, 2, 20, 1, 2, 1, 2, 1, 2, 1, 2, [0, 51, "XBZ"], 2, 1, 2, 3, 2, 3, 20, [0, 40, "Ed"], 3, [0, 38, "Ed"], [0, 37, "Var"], 1, 1, 20, [0, 34, "Var"], 1, 1, 20, 1, 1, 20, [0, 29, "Var"], 1, 20, 1, 1, 20, 1, 20, 20, 1, 2, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 20, 20, 1, 2, 20, 1, 20, 1, 20, 20, 20, 20, 1, 20, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 1, 1, 20, 20, 20],
#V   n = 102
[ , 2, 2, [6, 17], 2, [0, 72, "BKW"], 2, 2, 20, [0, 64, "DaH"], 20, [0, 60, "DaH"], 1, 2, [0, 54, "DaH"], [0, 53, "DaH"], 3, [0, 50, "DaH"], 20, [0, 48, "BZ"], 2, [0, 44, "BZ"], 1, 2, 1, 1, 1, 1, 20, 1, 1, 1, 20, [0, 33, "Var"], 1, 20, [0, 31, "Ed"], 1, 1, 20, 1, 20, [0, 27, "Var"], 1, 20, 1, 20, 20, [0, 24, "Tol"], 20, 1, 20, 1, 20, 1, 20, [0, 19, "Var"], 20, [0, 18, "Var"], 20, [0, 17, "Var"], 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 20, 20, [0, 12, "Tol"], 20, 20, 1, 20, 1, 20, 20, 20, 20, 1, 20, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 1, 1, 20, 20, 20],
#V   n = 103
[ , 2, 2, 3, 2, 3, 2, 2, 20, 3, 1, 1, 1, 2, 2, 3, 1, 2, 20, 3, 2, 1, 2, [0, 42, "XBZ"], 20, [0, 40, "Ed"], 1, 1, 1, 20, [0, 36, "Ed"], [0, 35, "Var"], 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 20, [0, 25, "Var"], 20, 1, 1, 20, 1, 20, 1, 20, [0, 20, "Var"], 1, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 1, 20, 20, 20, 20, 1, 20, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 1, 1, 20, 20, 20],
#V   n = 104
[ , 2, 2, 1, 2, 2, [0, 71, "Gu"], 2, 20, 3, 1, 1, 1, 2, 2, 3, 1, 2, 20, 1, 2, 1, 2, 1, 1, 1, 20, [0, 39, "Ed"], [0, 38, "Var"], 1, 1, 1, 20, 1, 1, 20, [0, 32, "Var"], 1, 20, [0, 30, "Ed"], 1, 20, [0, 28, "Var"], 1, 20, 1, 1, 20, 20, [0, 24, "Vx"], 1, 20, 1, 20, [0, 21, "Var"], 1, 20, 1, 20, 1, 20, 1, 20, 20, [0, 16, "Ed"], 20, [0, 15, "Var"], 20, 1, 20, 1, 20, 20, 20, [0, 12, "Vx"], 1, 20, 20, 1, 20, 1, 20, 20, 20, 20, 1, 20, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 1, 1, 20, 20, 20],
#V   n = 105
[ , [6, 5], [6, 21], 1, 2, 2, 3, [0, 68, "BZ"], 1, 1, 1, 1, 1, 2, [0, 56, "BZ"], 1, 20, [0, 52, "DaH"], 1, 20, [0, 48, "BZ"], 1, 2, [0, 43, "Ed"], [0, 42, "Ed"], [0, 41, "Var"], 1, 1, 1, 20, [0, 37, "Var"], 1, 1, 20, [0, 34, "Var"], 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 20, [0, 26, "Var"], 1, 20, 1, 20, 1, 20, [0, 22, "Var"], 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, 20, 1, 20, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 1, 1, 20, 20, 20],
#V   n = 106
[ , 2, 3, 1, 2, 2, 3, 2, 1, 1, 1, 1, 1, 2, 2, 1, 2, 3, 2, 1, 1, 1, 2, 1, 1, 1, 20, [0, 40, "Ed"], 1, 1, 1, 20, [0, 36, "Var"], 1, 1, 20, [0, 33, "Var"], 1, 20, [0, 31, "Var"], 1, 20, [0, 29, "Var"], 1, 20, 1, 1, 20, 1, 20, 1, 20, [0, 23, "Var"], 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, 20, 1, 20, 20, 20, 1, 20, [0, 6, "Ed"], 20, 20, 1, 20, 20, 1, 1, 20, 20, 20],
#V   n = 107
[ , 2, 1, 1, 2, 2, 2, 2, 1, 1, 1, 1, 1, 2, 2, 20, [0, 54, "XB"], 3, [0, 51, "XB"], 20, 1, 1, 2, 1, 1, 1, 1, 1, 20, [0, 39, "Ed"], [0, 38, "Var"], 1, 1, 20, [0, 35, "Var"], 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 20, [0, 27, "Var"], 1, 20, 1, 20, 1, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, [0, 14, "Ed"], 20, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 1, 1, 20, 20, 20],
#V   n = 108
[ , 2, 2, 1, 2, [0, 76, "BKW"], 2, 2, 1, 1, 1, 1, 1, 2, 2, 1, 2, 1, 2, 20, 20, 1, 2, [0, 45, "Ed"], [0, 44, "DNX"], [0, 43, "DNX"], [0, 42, "Ed"], [0, 41, "Var"], 1, 1, 1, 20, [0, 37, "Var"], 1, 1, 20, 1, 1, 20, [0, 32, "Var"], 1, 20, [0, 30, "Var"], 1, 20, 1, 1, 20, 1, 20, 1, 20, [0, 24, "Ed"], 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, 20, [0, 8, "BZ"], 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 1, 1, 20, 20, 20],
#V   n = 109
[ , 2, 2, 20, [7, 426], 2, 2, 2, 2, 1, 1, 1, 1, 2, 2, 1, 2, 1, 2, 2, 20, 20, [0, 49, "GW2"], 1, 1, 1, 1, 1, 20, [0, 40, "Var"], 1, 1, 1, 20, 1, 1, 20, [0, 34, "Ed"], 1, 1, 20, 1, 1, 20, 1, 20, [0, 28, "Var"], 1, 20, 1, 20, [0, 25, "Var"], 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, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 1, 1, 20, 20, 20],
#V   n = 110
[ , [6, 5], 2, 2, 3, 2, 2, [0, 72, "BZ"], 2, 20, 1, 1, 1, 2, [0, 60, "BZ"], 20, [0, 56, "BZ"], 1, 2, [0, 51, "BZ"], 20, 20, 3, [0, 46, "Ed"], [0, 45, "Ed"], [0, 44, "BZ"], [0, 43, "Var"], 1, 1, 1, 20, [0, 39, "Ed"], 1, 1, 20, [0, 36, "Ed"], 1, 1, 20, [0, 33, "Var"], 1, 20, [0, 31, "Var"], 1, 20, 1, 1, 20, 1, 20, 1, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, [0, 20, "Var"], 20, [0, 19, "Var"], 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, [0, 13, "Var"], 20, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, 1, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 1, 1, 20, 20, 20],
#V   n = 111
[ , 2, [6, 6], 2, 2, 2, 2, 1, 2, 20, 20, 1, 1, 2, 2, 1, 2, 1, 2, 1, 2, 20, 3, 1, 1, 1, 1, 20, [0, 42, "Ed"], [0, 41, "Var"], 1, 1, 20, [0, 38, "Ed"], 1, 1, 20, [0, 35, "Var"], 1, 1, 20, 1, 1, 20, 1, 20, [0, 29, "Var"], 1, 20, 1, 20, [0, 26, "Var"], 1, 20, 1, 20, 1, 20, 1, 20, [0, 21, "Var"], 1, 20, 1, 20, 20, [0, 18, "Ed"], 20, [0, 17, "Var"], 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 20, 1, 20, [0, 11, "VE"], 20, 20, 1, 20, 1, 20, 20, 20, [0, 8, "Ed"], 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 1, 1, 20, 20, 20],
#V   n = 112
[ , 2, 1, 2, 2, 2, [0, 76, "DG5"], 1, 2, 2, 20, 20, 1, 2, 2, 1, 2, 20, [0, 55, "GW2"], 2, [0, 51, "BZ"], 20, 3, 1, 1, 1, 1, 1, 1, 1, 20, [0, 40, "Var"], 1, 1, 20, [0, 37, "Var"], 1, 1, 20, 1, 1, 20, [0, 32, "Var"], 1, 20, 1, 1, 20, 1, 20, [0, 27, "Var"], 1, 20, 1, 20, 1, 20, 1, 20, [0, 22, "Var"], 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, [0, 9, "Ed"], 20, 20, 1, 20, 20, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 1, 1, 20, 20, 20],
#V   n = 113
[ , 2, 2, [6, 28], 2, 2, 2, 1, 2, 2, 20, 20, 20, [0, 68, "DaH"], 2, 1, 2, 1, 2, 2, 1, 2, 3, 1, 1, 2, [0, 45, "DNX"], [0, 44, "Ed"], [0, 43, "Var"], 1, 1, 1, 20, [0, 39, "Var"], 1, 1, 20, [0, 36, "Var"], 1, 20, [0, 34, "Ed"], 1, 1, 20, 1, 20, [0, 30, "Var"], 1, 20, 1, 1, 20, 1, 20, 1, 20, 1, 20, [0, 23, "Var"], 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, [0, 16, "Var"], 20, 1, 20, 1, 20, 1, 20, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 20, [0, 7, "DaH"], 1, 20, 20, 20, 1, 20, 20, 1, 1, 20, 20, 20],
#V   n = 114
[ , 2, 2, 1, 2, 2, 2, 2, [0, 74, "Bou"], 2, 20, 20, 20, 3, 2, 1, 2, 1, 2, 2, 1, 2, 1, 20, 1, 2, 1, 1, 1, 20, [0, 42, "Var"], [0, 41, "Var"], 1, 1, 20, [0, 38, "Var"], 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 20, [0, 28, "Var"], 1, 20, 1, 20, 1, 20, [0, 24, "Var"], 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 1, 20, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 20, 3, 20, 1, 20, 20, 20, [0, 5, "Bou"], 20, 20, 1, 1, 20, 20, 20],
#V   n = 115
[ , [6, 5], 2, 2, [0, 84, "Gu3"], 2, 2, [0, 76, "BZ"], 3, [0, 72, "BZ"], 1, 20, 20, 3, [0, 64, "BZ"], 20, [0, 60, "BZ"], 1, 2, 2, 2, [0, 52, "BZ"], 2, 1, 20, [0, 48, "BZ"], [0, 46, "Ed"], [0, 45, "Var"], 1, 1, 1, 1, 20, 1, 1, 1, 20, 1, 1, 20, [0, 35, "Var"], 1, 20, [0, 33, "Var"], 1, 20, [0, 31, "Var"], 1, 20, 1, 1, 20, 1, 20, 1, 20, [0, 25, "Var"], 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, [0, 15, "Var"], 20, 1, 20, 1, 20, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 1, 20, 20, 1, 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 20],
#V   n = 116
[ , 2, [6, 16], 2, 1, 2, 2, 2, 3, 2, 1, 1, 20, 3, 2, 1, 1, 1, 2, 2, [0, 54, "BZ"], 2, [0, 51, "BZ"], 20, [0, 49, "GW2"], 3, 1, 1, 20, [0, 44, "Ed"], [0, 43, "Var"], 1, 1, 20, [0, 40, "Ed"], 1, 1, 20, [0, 37, "Ed"], 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 20, [0, 29, "Var"], 1, 20, 1, 20, 1, 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, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 1, 20, 20, 1, 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 20],
#V   n = 117
[ , 2, 1, 2, 2, [0, 84, "Bou"], [0, 80, "Gu"], 2, 1, 2, 1, 1, 2, 3, 2, 1, 2, 1, 2, 2, 1, 2, 2, [0, 50, "Ed"], 3, 1, 1, 1, 1, 1, 1, 20, [0, 42, "Var"], 1, 1, 20, [0, 39, "Ed"], 1, 1, 20, [0, 36, "Var"], 1, 20, [0, 34, "Var"], 1, 20, [0, 32, "Var"], 1, 20, 1, 1, 20, 1, 20, 1, 20, [0, 26, "Ed"], 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, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, 1, 20, 20, 1, 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 20],
#V   n = 118
[ , 2, 2, [0, 88, "Bel"], 2, 2, 2, 2, 1, 2, 1, 1, 2, 3, 2, 1, 2, 20, [0, 60, "GW2"], 2, 1, 2, 2, 1, 1, 20, 1, 1, 2, [0, 45, "Var"], 1, 1, 1, 20, [0, 41, "Var"], 1, 1, 20, [0, 38, "Var"], 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 20, [0, 30, "Var"], 1, 20, 1, 20, [0, 27, "Var"], 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, [0, 20, "Var"], 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, 1, 20, 20, 20, [0, 7, "VE"], 20, 20, 1, 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 20],
#V   n = 119
[ , 2, 2, 1, 2, 2, 2, 2, 1, 2, 20, 1, 2, 1, 2, 1, 2, 20, 3, [0, 59, "GW2"], 1, 2, 2, 1, 2, [0, 49, "Var"], 20, 1, 2, 1, 20, [0, 44, "Var"], [0, 43, "Var"], 1, 1, 20, [0, 40, "Var"], 1, 1, 20, 1, 1, 20, [0, 35, "Var"], 1, 20, [0, 33, "Var"], 1, 20, 1, 1, 20, 1, 20, 1, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, [0, 22, "Var"], 20, [0, 21, "Ed"], 1, 20, 20, [0, 19, "Var"], 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, [0, 14, "Var"], 20, 1, 20, 20, 20, 1, 1, 20, 20, 20, 1, 1, 20, 20, 20, [0, 8, "Ed"], 20, 20, 1, 20, 20, 20, 1, 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 20],
#V   n = 120
[ , [6, 5], 2, 2, [0, 88, "GB4"], 2, 2, [0, 80, "BZ"], 20, [0, 76, "BZ"], 20, 20, [0, 72, "BZ"], 20, [0, 68, "BZ"], 20, [0, 64, "BZ"], 20, 3, 3, [0, 57, "BZ"], [0, 56, "BZ"], [0, 54, "BZ"], [0, 52, "BZ"], [0, 51, "BZ"], 1, 20, 20, [0, 48, "BZ"], 1, 1, 1, 1, 20, [0, 42, "Var"], 1, 1, 20, 1, 1, 20, [0, 37, "Ed"], 1, 1, 20, 1, 1, 20, 1, 20, [0, 31, "Var"], 1, 20, 1, 20, [0, 28, "Var"], 1, 20, 1, 20, 1, 20, 1, 20, [0, 23, "Ed"], 1, 20, 1, 20, 1, 20, 1, 20, 20, [0, 18, "Var"], 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 1, 20, 20, 20, [0, 12, "BZ"], 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 20],
#V   n = 121
[ , 2, [6, 16], 2, 1, 2, 2, 2, 1, 2, 1, 20, 3, 1, 2, 1, 2, 1, 2, 3, 1, 2, 2, 1, 1, 1, 1, 20, 3, [0, 47, "Ed"], [0, 46, "Ed"], [0, 45, "Var"], 1, 1, 1, 20, 1, 1, 20, [0, 39, "Ed"], 1, 1, 20, [0, 36, "Var"], 1, 20, [0, 34, "Var"], 1, 20, 1, 1, 20, 1, 20, [0, 29, "Var"], 1, 20, 1, 20, 1, 20, 1, 20, [0, 24, "Ed"], 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, [0, 17, "Var"], 20, 1, 20, 1, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 20],
#V   n = 122
[ , 2, 1, 2, 20, [0, 88, "GW2"], 2, 2, 1, 2, 1, 1, 2, 1, 2, 1, 2, 1, 2, 1, 1, 2, 2, 1, 2, [0, 51, "Ed"], [0, 50, "Var"], [0, 49, "Var"], 1, 1, 1, 1, 20, [0, 44, "Var"], 1, 1, 20, [0, 41, "Ed"], 1, 1, 20, [0, 38, "Var"], 1, 1, 20, 1, 1, 20, 1, 20, [0, 32, "Var"], 1, 20, 1, 1, 20, 1, 20, 1, 20, 1, 20, [0, 25, "Ed"], 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, 20, 1, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 20],
#V   n = 123
[ , 2, 2, [0, 92, "Bel"], 2, 3, 2, 2, 1, 2, 1, 1, 2, 1, 2, 1, 2, 1, 2, 1, 1, 2, 2, 1, 2, 1, 1, 1, 20, [0, 48, "Ed"], [0, 47, "Var"], 1, 1, 1, 20, [0, 43, "Var"], 1, 1, 20, [0, 40, "Var"], 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 20, [0, 30, "Var"], 1, 20, 1, 20, 1, 20, [0, 26, "Var"], 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, 20, 1, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 20],
#V   n = 124
[ , 2, 2, 2, 2, 3, 2, 2, 1, 2, 1, 1, 2, 1, 2, 1, 2, 1, 2, 20, 1, 2, [0, 57, "BZ"], 2, [0, 54, "BZ"], 1, 1, 1, 1, 1, 1, 20, [0, 46, "Ed"], [0, 45, "Var"], 1, 1, 20, [0, 42, "Var"], 1, 1, 20, [0, 39, "Var"], 1, 20, [0, 37, "Var"], 1, 20, [0, 35, "Ed"], 1, 20, [0, 33, "Var"], 1, 20, 1, 1, 20, 1, 20, 1, 20, [0, 27, "Var"], 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, [0, 16, "Var"], 20, 1, 20, 1, 20, 20, [0, 13, "Var"], 20, 20, 1, 20, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 20],
#V   n = 125
[ , [6, 5], 2, 2, 2, 1, 2, [0, 84, "BZ"], 2, [0, 80, "BZ"], 2, 1, 2, 20, [0, 72, "BZ"], 20, [0, 68, "BZ"], 2, [0, 64, "BZ"], 1, 20, [0, 60, "BZ"], 2, [0, 56, "BZ"], 2, [0, 53, "Ed"], [0, 52, "BZ"], [0, 51, "BZ"], [0, 50, "Ed"], [0, 49, "Var"], 1, 1, 1, 1, 20, [0, 44, "Var"], 1, 1, 20, [0, 41, "Var"], 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 20, [0, 31, "Var"], 1, 20, 1, 20, 1, 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, 20, [0, 12, "Ed"], 20, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 20],
#V   n = 126
[ , 2, [6, 21], 2, [0, 92, "GB4"], 20, [0, 88, "BKW"], 2, [0, 82, "DaH"], 3, [0, 78, "DaH"], 20, [0, 76, "XBZ"], 20, 3, [0, 69, "DaH"], 3, [0, 66, "DaH"], 2, 1, 2, 3, 2, 1, 2, 1, 1, 1, 1, 1, 20, [0, 48, "Ed"], [0, 47, "Var"], 1, 1, 1, 20, [0, 43, "Var"], 1, 1, 20, 1, 1, 20, [0, 38, "Var"], 1, 20, [0, 36, "Var"], 1, 20, [0, 34, "Var"], 1, 20, 1, 1, 20, 1, 20, 1, 20, [0, 28, "Ed"], 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, 20, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 20, 20, 1, 20, 20, 20, [0, 4, "Gl"], 1, 20, 20, 20],
#V   n = 127
[ , 2, 1, 2, 2, 2, 3, 2, 2, 3, 1, 2, 3, 2, 3, 2, 3, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, [0, 52, "Var"], [0, 51, "Var"], 1, 1, 1, 1, 20, [0, 46, "Var"], 1, 1, 1, 20, 1, 1, 20, [0, 40, "Ed"], 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 20, [0, 32, "Var"], 1, 20, 1, 20, [0, 29, "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, 15, "Var"], 20, 1, 20, 1, 20, 20, 1, 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20],
#V   n = 128
[ , 2, 20, [6, 64], 2, 2, 2, 2, 2, 1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 20, [0, 63, "BZ"], 20, [0, 60, "BZ"], 20, [0, 57, "BZ"], 20, [0, 54, "BZ"], 1, 1, 20, [0, 50, "Ed"], [0, 49, "Var"], 1, 1, 1, 20, [0, 45, "Var"], 1, 1, 20, [0, 42, "Ed"], 1, 1, 20, [0, 39, "Var"], 1, 20, [0, 37, "Var"], 1, 20, [0, 35, "Var"], 1, 20, 1, 1, 20, 1, 20, 1, 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, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20],
#V   n = 129
[ , 2, 2, 3, 2, 2, 2, 2, 2, 2, 1, 2, [0, 77, "GW1"], 2, 2, 2, 2, 1, 2, 1, 2, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 20, [0, 48, "Ed"], [0, 47, "Var"], 1, 1, 20, [0, 44, "Var"], 1, 1, 20, [0, 41, "Var"], 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 20, [0, 33, "Var"], 1, 20, 1, 20, [0, 30, "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, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20],
#V   n = 130
[ , [6, 5], 2, 1, 2, 2, 2, [6, 65], 2, 2, 20, [0, 80, "DaH"], 2, [0, 76, "DaH"], [0, 74, "DaH"], [0, 72, "GW2"], [0, 70, "XB"], 20, [0, 68, "DaH"], 1, 2, 1, 2, 1, 2, 1, 2, [0, 54, "Ed"], [0, 53, "DNX"], [0, 52, "Ed"], [0, 51, "Var"], 1, 1, 1, 1, 20, [0, 46, "Var"], 1, 1, 20, [0, 43, "Var"], 1, 1, 20, 1, 1, 20, [0, 38, "Var"], 1, 20, [0, 36, "Var"], 1, 20, 1, 1, 20, 1, 20, [0, 31, "Var"], 1, 20, 1, 20, 1, 20, [0, 27, "Var"], 20, [0, 26, "BZ"], 20, [0, 25, "BZ"], 20, [0, 24, "BZ"], 20, [0, 23, "BZ"], 20, [0, 22, "BZ"], 20, [0, 21, "BZ"], 20, [0, 20, "BZ"], 20, [0, 19, "BZ"], 20, [0, 18, "Var"], 20, 1, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20],
#V   n = 131
[ , 2, 2, 2, [0, 96, "BDK"], 2, 2, 3, 2, 2, 20, 3, 2, 3, 2, 3, 1, 2, 3, 1, 2, 1, 2, 1, 2, 1, 2, 1, 1, 1, 1, 20, [0, 50, "VE"], [0, 49, "Var"], 1, 1, 1, 20, [0, 45, "Var"], 1, 1, 20, [0, 42, "Var"], 1, 20, [0, 40, "VE"], 1, 1, 20, 1, 1, 20, 1, 20, [0, 34, "Var"], 1, 20, 1, 1, 20, 1, 20, 1, 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, 1, 20, 20, 1, 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20],
#V   n = 132
[ , 2, [6, 6], 2, 3, 2, [0, 92, "GW2"], 1, 2, 2, 20, 3, [0, 79, "GW1"], 1, 2, 3, [0, 71, "XB"], [0, 70, "GW2"], 3, 20, [0, 66, "BZ"], 20, [0, 63, "BZ"], 20, [0, 60, "BZ"], 20, [0, 57, "BZ"], [0, 55, "Vx"], [0, 54, "Var"], [0, 53, "Var"], 1, 1, 1, 1, 20, [0, 48, "Var"], 1, 1, 1, 20, [0, 44, "Var"], 1, 1, 20, 1, 1, 20, [0, 39, "Var"], 1, 20, [0, 37, "Var"], 1, 20, 1, 1, 20, 1, 20, [0, 32, "Var"], 1, 20, 1, 20, 1, 20, [0, 28, "Var"], 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, [0, 17, "Var"], 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20],
#V   n = 133
[ , 2, 1, 2, 1, 2, 2, 20, [0, 88, "DaH"], 2, 2, 3, 3, 1, 2, 3, 3, 3, 3, 20, 3, 20, 3, 20, 3, [0, 58, "Vx"], 3, 1, 1, 1, 20, [0, 52, "VE"], [0, 51, "Var"], 1, 1, 1, 20, [0, 47, "VE"], 1, 1, 1, 20, 1, 1, 20, [0, 41, "Var"], 1, 1, 20, 1, 1, 20, 1, 20, [0, 35, "Var"], 1, 20, 1, 1, 20, 1, 20, 1, 20, [0, 29, "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, 20, 1, 20, 1, 20, 20, 1, 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20],
#V   n = 134
[ , 2, 2, [6, 49], 2, [0, 96, "BKW"], 2, 2, 3, 2, 2, 1, 2, 20, [0, 77, "GW1"], 1, 2, 3, 3, 20, 3, 20, 3, [0, 61, "Vx"], 3, 1, 1, 1, 1, 1, 1, 1, 1, 20, [0, 50, "VE"], [0, 49, "Var"], 1, 1, 20, [0, 46, "VE"], 1, 1, 20, [0, 43, "Var"], 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 20, [0, 33, "Var"], 1, 20, 1, 20, 1, 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, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20],
#V   n = 135
[ , [6, 5], 2, 2, 2, 3, [0, 94, "GW2"], 2, 1, 2, 2, 20, [0, 80, "BZ"], 20, 3, 20, [0, 72, "BZ"], 3, 3, 20, 3, [0, 64, "Vx"], 3, 2, 1, 2, [0, 58, "Vx"], [0, 57, "Vx"], [0, 56, "DNX"], [0, 55, "DNX"], [0, 54, "VE"], [0, 53, "Var"], 1, 1, 1, 1, 20, [0, 48, "Var"], 1, 1, 20, [0, 45, "Var"], 1, 1, 20, [0, 42, "Var"], 1, 20, [0, 40, "Var"], 1, 20, [0, 38, "VE"], 1, 20, [0, 36, "Var"], 1, 20, 1, 1, 20, 1, 20, 1, 20, [0, 30, "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, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20],
#V   n = 136
[ , 2, 2, 2, 2, 2, 3, 2, 20, [0, 88, "DaH"], [0, 84, "GW2"], 1, 2, 20, 3, 1, 2, 2, 1, 1, 2, 1, 1, 2, 20, [0, 60, "Vx"], 1, 1, 1, 1, 1, 1, 20, [0, 52, "VE"], [0, 51, "Var"], 1, 1, 1, 20, [0, 47, "Var"], 1, 1, 20, [0, 44, "Var"], 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 20, [0, 34, "Var"], 1, 20, 1, 20, [0, 31, "Var"], 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, [0, 25, "VE"], 20, [0, 24, "VE"], 20, [0, 23, "VE"], 20, [0, 22, "VE"], 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, [0, 16, "Var"], 20, 1, 20, 20, 1, 20, 1, 20, 20, [0, 12, "VE"], 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20],
#V   n = 137
[ , 2, [6, 16], 2, [0, 100, "BKW"], 2, 2, [6, 65], 2, 3, 2, 1, 2, 1, 2, 1, 2, 2, 2, 1, 2, 2, 1, 2, 2, 1, 2, [0, 58, "Vx"], [0, 57, "Vx"], [0, 56, "Var"], [0, 55, "Var"], 1, 1, 1, 1, 20, [0, 50, "Var"], 1, 1, 1, 20, [0, 46, "Var"], 1, 1, 20, 1, 1, 20, [0, 41, "Var"], 1, 20, [0, 39, "Var"], 1, 20, [0, 37, "Var"], 1, 20, 1, 1, 20, 1, 20, 1, 1, 20, 1, 20, 1, 20, 1, 20, [0, 27, "Var"], 20, [0, 26, "VE"], 1, 20, 1, 20, 1, 20, 1, 20, 20, [0, 21, "VE"], 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20],
#V   n = 138
[ , 2, 1, 2, 2, 2, 2, 3, [0, 90, "MTS"], 3, 2, 1, 2, 1, 2, 1, 2, [0, 72, "BZ"], 2, 20, [0, 68, "BZ"], [0, 66, "Vx"], 20, [0, 64, "BZ"], 2, 20, [0, 60, "BZ"], 1, 1, 1, 1, 20, [0, 54, "VE"], [0, 53, "Var"], 1, 1, 1, 20, [0, 49, "VE"], [0, 48, "Var"], 1, 1, 20, 1, 1, 20, [0, 43, "VE"], 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 20, [0, 35, "Var"], 1, 20, 1, 20, [0, 32, "Var"], 1, 20, 1, 20, 1, 20, [0, 28, "Var"], 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, [0, 20, "VE"], 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20],
#V   n = 139
[ , 2, 2, [6, 64], 2, 2, [0, 96, "GW2"], 3, 2, 3, [0, 86, "GW2"], 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 3, [0, 63, "Vx"], 2, 1, 2, [0, 58, "Var"], 1, 1, 1, 1, 1, 20, [0, 52, "VE"], [0, 51, "Var"], 1, 1, 1, 20, 1, 1, 20, [0, 45, "VE"], 1, 1, 20, [0, 42, "Var"], 1, 20, [0, 40, "Var"], 1, 20, [0, 38, "Var"], 1, 20, 1, 1, 20, 1, 20, [0, 33, "Var"], 1, 20, 1, 20, 1, 20, [0, 29, "Var"], 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, [0, 19, "VE"], 20, 1, 20, 1, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20],
#V   n = 140
[ , [6, 5], 2, 2, 2, [0, 100, "BKW"], 2, 1, 2, 3, 3, 20, [0, 84, "BZ"], 20, [0, 80, "BZ"], 20, [0, 76, "BZ"], 20, [0, 72, "BZ"], 20, [0, 69, "BZ"], 20, [0, 66, "BZ"], 1, 2, [0, 62, "Vx"], 20, [0, 60, "BZ"], 1, 20, [0, 57, "VE"], [0, 56, "VE"], [0, 55, "Var"], 1, 1, 1, 1, 20, [0, 50, "Var"], 1, 1, 20, [0, 47, "VE"], 1, 1, 20, [0, 44, "Var"], 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 20, [0, 36, "Var"], 1, 20, 1, 1, 20, 1, 20, 1, 20, 1, 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, 20, 1, 20, [0, 13, "Var"], 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20],
#V   n = 141
[ , 2, 2, 2, 2, 2, 2, 2, [0, 92, "MTS"], 2, 2, 20, 3, 1, 2, 1, 2, 1, 2, 1, 2, 1, 1, 2, [0, 64, "Vx"], 1, 2, 1, 1, 1, 1, 1, 1, 20, [0, 54, "VE"], [0, 53, "Var"], 1, 1, 1, 20, [0, 49, "Var"], 1, 1, 20, [0, 46, "Var"], 1, 1, 20, 1, 1, 20, [0, 41, "Var"], 1, 20, [0, 39, "Var"], 1, 20, 1, 1, 20, 1, 20, [0, 34, "Var"], 1, 20, 1, 20, 1, 20, [0, 30, "Var"], 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, [0, 18, "Var"], 20, 1, 20, 1, 20, 20, [0, 15, "Var"], 20, 20, 1, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20],
#V   n = 142
[ , 2, [6, 16], 2, [0, 104, "Bo1"], 2, 2, 2, 2, 2, [0, 87, "MTS"], 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 1, 1, 2, 1, 1, 2, 20, [0, 60, "Vx"], [0, 59, "VE"], [0, 58, "Var"], [0, 57, "Var"], 1, 1, 1, 1, 20, [0, 52, "Var"], [0, 51, "Var"], 1, 1, 20, [0, 48, "Var"], 1, 1, 20, [0, 45, "Var"], 1, 20, [0, 43, "VE"], 1, 1, 20, 1, 1, 20, 1, 20, [0, 37, "Var"], 1, 20, 1, 1, 20, 1, 20, 1, 20, [0, 31, "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, 1, 20, 1, 20, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20],
#V   n = 143
[ , 2, 1, 2, 2, 2, 2, 2, 2, 2, 1, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 1, 1, 2, 2, 1, 2, 1, 1, 1, 1, 1, 20, [0, 56, "VE"], [0, 55, "Var"], 1, 1, 1, 1, 20, [0, 50, "Var"], 1, 1, 20, [0, 47, "Var"], 1, 1, 20, 1, 1, 20, [0, 42, "Var"], 1, 20, [0, 40, "Var"], 1, 20, 1, 1, 20, 1, 20, [0, 35, "Var"], 1, 20, 1, 20, 1, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, [0, 25, "Var"], 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20],
#V   n = 144
[ , 2, 2, [6, 64], 2, 2, [0, 100, "GW2"], [6, 72], 2, 2, 1, 1, 2, 1, 2, 1, 2, 1, 2, 20, [0, 72, "BZ"], 20, [0, 69, "BZ"], [0, 68, "BZ"], [0, 66, "BZ"], 20, [0, 64, "BZ"], 2, [0, 61, "Var"], [0, 60, "Var"], [0, 59, "Var"], 1, 1, 1, 1, 20, [0, 54, "VE"], [0, 53, "Var"], 1, 1, 1, 20, [0, 49, "Var"], 1, 1, 20, 1, 1, 20, [0, 44, "Var"], 1, 1, 20, 1, 1, 20, 1, 20, [0, 38, "Var"], 1, 20, 1, 1, 20, 1, 20, 1, 20, [0, 32, "VE"], 1, 20, 1, 20, 1, 20, 1, 20, [0, 27, "Var"], 20, [0, 26, "Var"], 1, 20, 20, [0, 24, "VE"], 20, [0, 23, "VE"], 20, [0, 22, "Var"], 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, [0, 17, "Var"], 20, 1, 20, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 20, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20],
#V   n = 145
[ , [6, 5], 2, 2, 2, [0, 104, "Koh"], 3, 1, 2, [0, 92, "BZ"], 1, 1, 2, 20, [0, 84, "BZ"], 20, [0, 80, "BZ"], 20, [0, 76, "BZ"], 2, 3, 1, 2, 3, 2, [0, 65, "Vx"], 3, [0, 63, "Vx"], 1, 1, 1, 20, [0, 58, "VE"], [0, 57, "Var"], 1, 1, 1, 1, 20, [0, 52, "Var"], 1, 1, 1, 20, 1, 1, 20, [0, 46, "VE"], 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 20, [0, 36, "Var"], 1, 20, 1, 20, [0, 33, "Var"], 1, 20, 1, 20, 1, 20, 1, 20, [0, 28, "Var"], 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 20, 20, [0, 5, "Ed"], 20, 20, 1, 20, 1, 20, 20, 20],
#V   n = 146
[ , 2, 2, 2, 2, 3, 2, 1, 2, 2, [0, 90, "MTS"], 1, 2, 1, 2, 1, 2, 1, 2, 2, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 20, [0, 56, "VE"], [0, 55, "Var"], 1, 1, 1, 20, [0, 51, "Var"], 1, 1, 20, [0, 48, "VE"], 1, 1, 20, [0, 45, "Var"], 1, 20, [0, 43, "Var"], 1, 20, [0, 41, "VE"], 1, 20, [0, 39, "Var"], 1, 20, 1, 1, 20, 1, 20, 1, 1, 20, 1, 20, 1, 20, 1, 20, [0, 29, "Var"], 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, [0, 21, "VE"], 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 20, 1, 20, 20, 20, 1, 20, 1, 20, 20, 20],
#V   n = 147
[ , 2, [6, 21], 2, [0, 108, "Bo1"], 3, 2, 1, 2, 2, 1, 20, [0, 89, "GW1"], 1, 2, 1, 2, 1, 2, 2, 2, 1, 2, 1, 2, 1, 2, [0, 64, "Vx"], [0, 63, "Vx"], [0, 62, "VE"], [0, 61, "VE"], [0, 60, "Var"], [0, 59, "Var"], 1, 1, 1, 1, 20, [0, 54, "VE"], [0, 53, "Var"], 1, 1, 20, [0, 50, "Var"], 1, 1, 20, [0, 47, "Var"], 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 20, [0, 37, "Var"], 1, 20, 1, 20, [0, 34, "Var"], 1, 20, 1, 20, 1, 20, [0, 30, "Var"], 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, [0, 20, "Var"], 20, 1, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 20, 1, 20, 20, 20, 1, 20, 1, 20, 20, 20],
#V   n = 148
[ , 2, 1, 2, 2, 2, 2, 20, [0, 98, "MTS"], 2, 1, 2, 3, 1, 2, 1, 2, 1, 2, [0, 76, "GW2"], 2, 20, [0, 72, "BZ"], 2, [0, 69, "BZ"], 1, 2, 1, 1, 1, 1, 1, 1, 20, [0, 58, "VE"], [0, 57, "Var"], 1, 1, 1, 1, 20, [0, 52, "Var"], 1, 1, 20, [0, 49, "Var"], 1, 1, 20, 1, 1, 20, [0, 44, "Var"], 1, 20, [0, 42, "Var"], 1, 20, [0, 40, "Var"], 1, 20, 1, 1, 20, 1, 20, [0, 35, "Var"], 1, 20, 1, 20, 1, 20, [0, 31, "Var"], 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, 20, 1, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 20, 1, 20, 20, 20, 1, 20, 1, 20, 20, 20],
#V   n = 149
[ , 2, 20, [6, 64], 2, 2, 2, 1, 2, 2, 1, 2, 2, 1, 2, 1, 2, 1, 2, 1, 2, 1, 1, 2, 2, 1, 2, 2, 1, 2, [0, 62, "Var"], [0, 61, "Var"], 1, 1, 1, 1, 20, [0, 56, "VE"], [0, 55, "Var"], 1, 1, 1, 20, [0, 51, "Var"], 1, 1, 20, [0, 48, "Var"], 1, 20, [0, 46, "VE"], 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 20, [0, 38, "Var"], 1, 20, 1, 1, 20, 1, 20, 1, 20, 1, 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, [0, 16, "Var"], 20, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 20, 1, 20, 20, 20, 1, 20, 1, 20, 20, 20],
#V   n = 150
[ , [6, 5], 2, 3, 2, 2, [0, 104, "DG5"], 1, 2, [0, 96, "BZ"], 20, [0, 92, "BZ"], 2, 20, [0, 88, "BZ"], 20, [0, 84, "BZ"], 20, [0, 80, "BZ"], [0, 77, "GW2"], [0, 76, "BZ"], 1, 2, [0, 72, "BZ"], 2, 20, [0, 68, "BZ"], [0, 66, "Vx"], 20, [0, 64, "BZ"], 1, 1, 20, [0, 60, "VE"], [0, 59, "Var"], 1, 1, 1, 1, 20, [0, 54, "Var"], 1, 1, 1, 20, [0, 50, "Var"], 1, 1, 20, 1, 1, 20, [0, 45, "Var"], 1, 20, [0, 43, "Var"], 1, 20, [0, 41, "Var"], 1, 20, 1, 1, 20, 1, 20, [0, 36, "Var"], 1, 20, 1, 20, 1, 20, [0, 32, "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, 19, "VE"], 20, 1, 20, 1, 20, 1, 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 20, 1, 20, 20, 20, 1, 20, 1, 20, 20, 20],
#V   n = 151
[ , 2, 2, 1, 2, 2, 3, 1, 2, 2, 1, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 20, [0, 58, "VE"], [0, 57, "Var"], 1, 1, 1, 20, [0, 53, "Var"], 1, 1, 1, 20, 1, 1, 20, [0, 47, "Var"], 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 20, [0, 39, "Var"], 1, 20, 1, 1, 20, 1, 20, 1, 20, [0, 33, "Var"], 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, [0, 25, "Var"], 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 1, 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 20, 1, 20, 20, 20, 1, 20, 1, 20, 20, 20],
#V   n = 152
[ , 2, 2, 2, [0, 112, "Bo1"], 2, 2, 20, [0, 101, "Ma"], 2, 1, 2, [0, 92, "XBZ"], 1, 2, 1, 2, 1, 2, 1, 2, 20, [0, 75, "BZ"], 20, [0, 72, "BZ"], 20, [0, 69, "BZ"], 2, [0, 66, "BZ"], 20, [0, 64, "Vx"], [0, 63, "VE"], [0, 62, "Var"], [0, 61, "Var"], 1, 1, 1, 1, 20, [0, 56, "VE"], [0, 55, "Var"], 1, 1, 20, [0, 52, "Var"], 1, 1, 20, [0, 49, "Var"], 1, 1, 20, 1, 1, 20, [0, 44, "Var"], 1, 20, [0, 42, "Var"], 1, 20, 1, 1, 20, 1, 20, [0, 37, "Var"], 1, 20, 1, 20, 1, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, [0, 28, "Var"], 20, [0, 27, "Var"], 20, [0, 26, "VE"], 1, 20, 20, [0, 24, "Var"], 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 1, 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 20, 1, 20, 20, 20, 1, 20, 1, 20, 20, 20],
#V   n = 153
[ , 2, [6, 6], 2, 3, 2, 2, 1, 2, 2, 1, 2, 1, 1, 2, 1, 2, 1, 2, 1, 2, 20, 3, 2, 3, 1, 2, [0, 68, "Vx"], 1, 1, 1, 1, 1, 1, 20, [0, 60, "VE"], [0, 59, "Var"], 1, 1, 1, 1, 20, [0, 54, "Var"], 1, 1, 20, [0, 51, "Var"], 1, 1, 20, [0, 48, "Var"], 1, 20, [0, 46, "VE"], 1, 1, 20, 1, 1, 20, 1, 20, [0, 40, "Var"], 1, 20, 1, 1, 20, 1, 20, 1, 20, [0, 34, "VE"], 1, 20, 1, 20, 1, 20, 1, 20, [0, 29, "Var"], 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, [0, 23, "VE"], 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, [0, 18, "Var"], 20, 1, 20, 1, 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 20, 1, 20, 20, 20, 1, 20, 1, 20, 20, 20],
#V   n = 154
[ , 2, 1, 2, 2, 2, 2, 1, 2, 2, 1, 2, 2, 1, 2, 1, 2, 1, 2, 1, 2, 1, 1, 2, 1, 1, 2, 1, 1, 2, [0, 65, "Var"], [0, 64, "Var"], [0, 63, "Var"], 1, 1, 1, 1, 20, [0, 58, "VE"], [0, 57, "Var"], 1, 1, 1, 20, [0, 53, "Var"], 1, 1, 20, [0, 50, "Var"], 1, 1, 20, 1, 1, 20, [0, 45, "Var"], 1, 20, [0, 43, "Var"], 1, 20, 1, 1, 20, 1, 20, [0, 38, "Var"], 1, 20, 1, 20, [0, 35, "Var"], 1, 20, 1, 20, 1, 20, 1, 20, [0, 30, "Var"], 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, [0, 22, "Var"], 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 20, 1, 20, 20, 20, 1, 20, 1, 20, 20, 20],
#V   n = 155
[ , [6, 5], 2, [6, 70], 2, 2, 2, [0, 104, "BZ"], [0, 103, "MTS"], [0, 100, "BZ"], 20, [0, 96, "BZ"], [0, 94, "GW1"], 20, [0, 92, "BZ"], 20, [0, 88, "BZ"], 20, [0, 84, "BZ"], 20, [0, 80, "BZ"], 20, 1, 2, 20, 1, 2, [0, 69, "Vx"], 1, 2, 1, 1, 1, 20, [0, 62, "VE"], [0, 61, "Var"], 1, 1, 1, 1, 20, [0, 56, "Var"], 1, 1, 1, 20, [0, 52, "Var"], 1, 1, 20, 1, 1, 20, [0, 47, "Var"], 1, 1, 20, 1, 1, 20, 1, 20, [0, 41, "Var"], 1, 20, 1, 1, 20, 1, 20, 1, 1, 20, 1, 20, 1, 20, 1, 20, [0, 31, "Var"], 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, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 20, 1, 20, 20, 20, 1, 20, 1, 20, 20, 20],
#V   n = 156
[ , 2, 2, 2, 2, [6, 78], 2, 1, 2, 2, 1, 2, 1, 1, 2, 1, 2, 1, 2, 1, 2, 1, 20, [0, 76, "BZ"], [0, 73, "Vx"], 20, [0, 72, "BZ"], 1, 20, [0, 68, "BZ"], 2, 1, 1, 1, 1, 1, 20, [0, 60, "VE"], [0, 59, "Var"], 1, 1, 1, 20, [0, 55, "VE"], 1, 1, 1, 20, 1, 1, 20, [0, 49, "VE"], 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 20, [0, 39, "Var"], 1, 20, 1, 20, [0, 36, "Var"], 1, 20, 1, 20, 1, 20, [0, 32, "Var"], 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, [0, 21, "VE"], 20, 1, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 20, 1, 20, 20, 20, 1, 20, 1, 20, 20, 20],
#V   n = 157
[ , 2, 2, 2, 2, 3, 2, 1, 2, 2, 1, 2, 1, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 3, 1, 20, 3, 1, 2, 3, [0, 67, "Vx"], 20, [0, 65, "VE"], [0, 64, "Var"], [0, 63, "Var"], 1, 1, 1, 1, 20, [0, 58, "VE"], [0, 57, "Var"], 1, 1, 20, [0, 54, "VE"], 1, 1, 20, [0, 51, "VE"], 1, 1, 20, [0, 48, "Var"], 1, 20, [0, 46, "VE"], 1, 20, [0, 44, "VE"], 1, 20, [0, 42, "Var"], 1, 20, 1, 1, 20, 1, 20, [0, 37, "Var"], 1, 20, 1, 20, 1, 20, [0, 33, "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, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 20, 1, 20, 20, 20, 1, 20, 1, 20, 20, 20],
#V   n = 158
[ , 2, [6, 16], 2, 2, 2, [0, 110, "BKW"], 1, 2, 2, 1, 2, 1, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 2, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 1, 20, [0, 62, "VE"], [0, 61, "Var"], 1, 1, 1, 1, 20, [0, 56, "Var"], 1, 1, 20, [0, 53, "VE"], 1, 1, 20, [0, 50, "Var"], 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 20, [0, 40, "Var"], 1, 20, 1, 1, 20, 1, 20, 1, 20, 1, 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, 20, "Var"], 20, 1, 20, 1, 20, 20, [0, 17, "Var"], 20, 1, 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 20, 1, 20, 20, 20, 1, 20, 1, 20, 20, 20],
#V   n = 159
[ , 2, 1, 2, 2, 2, 2, 1, 2, 2, 1, 2, 20, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 2, 1, 1, 2, 1, 2, 2, [0, 68, "Var"], [0, 67, "Var"], [0, 66, "Var"], [0, 65, "Var"], 1, 1, 1, 1, 20, [0, 60, "VE"], [0, 59, "Var"], 1, 1, 1, 20, [0, 55, "Var"], 1, 1, 20, [0, 52, "Var"], 1, 1, 20, 1, 1, 20, [0, 47, "Var"], 1, 20, [0, 45, "Var"], 1, 20, [0, 43, "Var"], 1, 20, 1, 1, 20, 1, 20, [0, 38, "Var"], 1, 20, 1, 20, 1, 20, [0, 34, "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, 1, 20, 1, 20, 20, 1, 20, 1, 20, 1, 20, 20, 1, 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 20, 1, 20, 20, 20, 1, 20, 1, 20, 20, 20],
#V   n = 160
[ , [6, 5], 2, [6, 75], 2, 2, 2, 1, 2, [0, 104, "BZ"], 20, [0, 100, "BZ"], 2, 20, [0, 96, "BZ"], 20, [0, 92, "BZ"], 20, [0, 88, "BZ"], 20, [0, 84, "BZ"], 20, [0, 80, "BZ"], 2, 1, 1, 2, 20, [0, 72, "BZ"], 2, 1, 1, 1, 1, 20, [0, 64, "VE"], [0, 63, "Var"], 1, 1, 1, 1, 20, [0, 58, "Var"], [0, 57, "Var"], 1, 1, 20, [0, 54, "Var"], 1, 1, 20, [0, 51, "Var"], 1, 20, [0, 49, "VE"], 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 20, [0, 41, "Var"], 1, 20, 1, 1, 20, 1, 20, 1, 20, [0, 35, "Var"], 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, [0, 29, "Var"], 20, [0, 28, "Var"], 20, [0, 27, "Var"], 20, [0, 26, "Var"], 20, [0, 25, "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, 20, 20, 1, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 20, 1, 20, 20, 20, 1, 20, 1, 20, 20, 20],
#V   n = 161
[ , 2, 2, 1, 2, 2, [0, 112, "BKW"], 20, [0, 108, "MTS"], 2, 1, 2, [0, 98, "GW1"], 20, 3, 1, 2, 1, 2, 1, 2, 1, 1, 2, 20, 1, 2, 20, 1, 2, 2, 1, 1, 1, 1, 1, 1, 20, [0, 62, "VE"], [0, 61, "Var"], 1, 1, 1, 1, 20, [0, 56, "Var"], 1, 1, 20, [0, 53, "Var"], 1, 1, 20, 1, 1, 20, [0, 48, "Var"], 1, 20, [0, 46, "Var"], 1, 20, [0, 44, "Var"], 1, 20, 1, 1, 20, 1, 20, [0, 39, "Var"], 1, 20, 1, 20, 1, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, [0, 30, "Var"], 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, [0, 24, "Var"], 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 1, 20, 20, 1, 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 20, 1, 20, 20, 20, 1, 20, 1, 20, 20, 20],
#V   n = 162
[ , 2, 2, 2, [0, 120, "BKW"], [0, 116, "BKW"], 3, 1, 2, 2, 1, 2, 1, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, [0, 80, "BZ"], 2, 20, [0, 76, "BZ"], 2, 20, [0, 72, "BZ"], [0, 70, "Vx"], 20, [0, 68, "BZ"], [0, 67, "VE"], [0, 66, "Var"], [0, 65, "Var"], 1, 1, 1, 1, 20, [0, 60, "VE"], [0, 59, "Var"], 1, 1, 1, 20, 1, 1, 1, 20, 1, 1, 20, [0, 50, "Var"], 1, 1, 20, 1, 1, 20, 1, 1, 20, 1, 20, [0, 42, "Var"], 1, 20, 1, 1, 20, 1, 20, 1, 20, [0, 36, "VE"], 1, 20, 1, 20, 1, 20, 1, 20, [0, 31, "Var"], 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, [0, 23, "Var"], 20, 1, 20, 1, 20, 1, 20, 20, 1, 20, 1, 20, 1, 20, 20, 1, 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 20, 1, 20, 20, 20, 1, 20, 1, 20, 20, 20],
#V   n = 163
[ , 2, [6, 16], 2, 3, 2, 2, 1, 2, 2, 1, 2, 1, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 3, 2, 20, 3, 2, 20, 3, 1, 1, 1, 1, 1, 1, 20, [0, 64, "VE"], [0, 63, "Var"], 1, 1, 1, 1, 20, [0, 58, "Var"], 1, 1, 20, [0, 55, "VE"], 1, 1, 20, [0, 52, "VE"], 1, 1, 20, 1, 1, 20, [0, 47, "Var"], 1, 20, [0, 45, "Var"], 1, 20, 1, 1, 20, 1, 20, [0, 40, "Var"], 1, 20, 1, 20, [0, 37, "Var"], 1, 20, 1, 20, 1, 20, 1, 20, [0, 32, "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, 1, 20, 1, 20, 1, 20, 20, 1, 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 20, 1, 20, 20, 20, 1, 20, 1, 20, 20, 20],
#V   n = 164
[ , 2, 1, 2, 2, 2, 2, 1, 2, 2, 1, 2, 1, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 1, 1, 2, 1, 1, 2, [0, 70, "Var"], [0, 69, "Var"], [0, 68, "Var"], [0, 67, "Var"], 1, 1, 1, 1, 20, [0, 62, "VE"], [0, 61, "Var"], 1, 1, 1, 20, [0, 57, "Var"], 1, 1, 20, [0, 54, "Var"], 1, 1, 20, [0, 51, "Var"], 1, 20, [0, 49, "VE"], 1, 1, 20, 1, 1, 20, 1, 20, [0, 43, "Var"], 1, 20, 1, 1, 20, 1, 20, 1, 1, 20, 1, 20, 1, 20, 1, 20, [0, 33, "Var"], 1, 20, 1, 20, 1, 20, 1, 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, 1, 20, 20, [0, 16, "Var"], 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 20, 1, 20, 20, 20, 1, 20, 1, 20, 20, 20],
#V   n = 165
[ , [6, 5], 2, [6, 80], 2, [0, 118, "BKW"], 2, 1, 2, [0, 108, "BZ"], 20, [0, 104, "BZ"], 20, 1, 2, 20, [0, 96, "BZ"], 20, [0, 92, "BZ"], 20, [0, 88, "BZ"], 20, [0, 84, "BZ"], 2, [0, 80, "BZ"], 1, 2, [0, 76, "BZ"], 1, 2, [0, 72, "BZ"], 1, 1, 1, 1, 20, [0, 66, "VE"], [0, 65, "Var"], 1, 1, 1, 1, 20, [0, 60, "Var"], [0, 59, "Var"], 1, 1, 20, [0, 56, "Var"], 1, 1, 20, [0, 53, "Var"], 1, 1, 20, 1, 1, 20, [0, 48, "Var"], 1, 20, [0, 46, "Var"], 1, 20, 1, 1, 20, 1, 20, [0, 41, "Var"], 1, 20, 1, 20, [0, 38, "Var"], 1, 20, 1, 20, 1, 20, [0, 34, "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, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 20, 1, 20, 20, 20, 1, 20, 1, 20, 20, 20],
#V   n = 166
[ , 2, 2, 2, 2, 2, 2, 1, 2, 2, 1, 2, 20, 20, [0, 100, "XBZ"], 20, 3, 20, 3, 20, 3, 20, 3, 2, 1, 1, 2, 1, 1, 2, 1, 1, 2, 1, 1, 1, 1, 1, 20, [0, 64, "VE"], [0, 63, "Var"], 1, 1, 1, 1, 20, [0, 58, "Var"], 1, 1, 20, [0, 55, "Var"], 1, 1, 20, 1, 1, 20, [0, 50, "Var"], 1, 1, 20, 1, 1, 20, 1, 20, [0, 44, "Var"], 1, 20, 1, 1, 20, 1, 20, [0, 39, "Var"], 1, 20, 1, 20, 1, 20, [0, 35, "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, 1, 20, 1, 20, 20, 1, 20, 1, 20, 1, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 1, 20, 20, 1, 20, 20, 20, 1, 20, 20, 20, 1, 20, 1, 20, 20, 20, 1, 20, 1, 20, 20, 20],
#V   n = 167
--> --------------------

--> maximum size reached

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