config.py

NUM_TIMESTEPS = 24

radial_switch_combinations = {
    0: [12, 13, 14],
    1: [11, 12, 13],
    2: [10, 12, 14],
    3: [10, 12, 13],
    4: [10, 11, 12],
    5: [9, 12, 14], 
    6: [9, 12, 13],
    7: [9, 11, 12],
    8: [8, 12, 14],
    9: [8, 12, 13],
    10: [8, 11, 12],
    11: [7, 13, 14],
    12: [7, 11, 13],
    13: [7, 10, 14],
    14: [7, 10, 13],
    15: [7, 10, 11],
    16: [7, 9, 14],
    17: [7, 9, 13],
    18: [7, 9, 11],
    19: [7, 8, 14],
    20: [7, 8, 13],
    21: [7, 8, 11],
    22: [6, 13, 14],
    23: [6, 12, 14],
    24: [6, 11, 13],
    25: [6, 11, 12],
    26: [6, 10, 14],
    27: [6, 10, 13],
    28: [6, 10, 12],
    29: [6, 10, 11],
    30: [6, 9, 14],
    31: [6, 9, 13],
    32: [6, 9, 12], 
    33: [6, 9, 11],
    34: [6, 8, 14],
    35: [6, 8, 13],
    36: [6, 8, 12],
    37: [6, 8, 11], 
    38: [6, 7, 14],
    39: [6, 7, 11],
    40: [6, 7, 10],
    41: [6, 7, 9], 
    42: [6, 7, 8],
    43: [5, 13, 14],
    44: [5, 12, 14],
    45: [5, 11, 13],
    46: [5, 11, 12],
    47: [5, 10, 14],
    48: [5, 10, 13],
    49: [5, 10, 12],
    50: [5, 10, 11],
    51: [5, 9, 14], 
    52: [5, 9, 13],
    53: [5, 9, 12],
    54: [5, 9, 11],
    55: [5, 8, 14],
    56: [5, 8, 13],
    57: [5, 8, 12],
    58: [5, 8, 11],
    59: [5, 7, 14],
    60: [5, 7, 11],
    61: [5, 7, 10],
    62: [5, 7, 9],
    63: [5, 7, 8],
    64: [4, 12, 13],
    65: [4, 10, 12],
    66: [4, 9, 12],
    67: [4, 8, 12],
    68: [4, 7, 13],
    69: [4, 7, 10],
    70: [4, 7, 9],
    71: [4, 7, 8],
    72: [4, 6, 13],
    73: [4, 6, 12],
    74: [4, 6, 10],
    75: [4, 6, 9],
    76: [4, 6, 8],
    77: [4, 6, 7],
    78: [4, 5, 13],
    79: [4, 5, 12],
    80: [4, 5, 10],
    81: [4, 5, 9],
    82: [4, 5, 8],
    83: [4, 5, 7],
    84: [3, 12, 13],
    85: [3, 10, 12],
    86: [3, 9, 12],
    87: [3, 8, 12],
    88: [3, 7, 13],
    89: [3, 7, 10],
    90: [3, 7, 9],
    91: [3, 7, 8],
    92: [3, 6, 13],
    93: [3, 6, 12],
    94: [3, 6, 10],
    95: [3, 6, 9],
    96: [3, 6, 8],
    97: [3, 6, 7],
    98: [3, 5, 13],
    99: [3, 5, 12],
    100: [3, 5, 10], 
    101: [3, 5, 9], 
    102: [3, 5, 8], 
    103: [3, 5, 7], 
    104: [2, 13, 14], 
    105: [2, 12, 13], 
    106: [2, 11, 13], 
    107: [2, 10, 14], 
    108: [2, 10, 13], 
    109: [2, 10, 12], 
    110: [2, 10, 11], 
    111: [2, 9, 14], 
    112: [2, 9, 13], 
    113: [2, 9, 12], 
    114: [2, 9, 11], 
    115: [2, 8, 14], 
    116: [2, 8, 13], 
    117: [2, 8, 12], 
    118: [2, 8, 11], 
    119: [2, 7, 13], 
    120: [2, 7, 10], 
    121: [2, 7, 9], 
    122: [2, 7, 8], 
    123: [2, 6, 14], 
    124: [2, 6, 13], 
    125: [2, 6, 12], 
    126: [2, 6, 11], 
    127: [2, 6, 7], 
    128: [2, 5, 14], 
    129: [2, 5, 13], 
    130: [2, 5, 12], 
    131: [2, 5, 11], 
    132: [2, 5, 7], 
    133: [2, 4, 13], 
    134: [2, 4, 10], 
    135: [2, 4, 9], 
    136: [2, 4, 8], 
    137: [2, 4, 6], 
    138: [2, 4, 5], 
    139: [2, 3, 13], 
    140: [2, 3, 10], 
    141: [2, 3, 9], 
    142: [2, 3, 8], 
    143: [2, 3, 6], 
    144: [2, 3, 5], 
    145: [1, 13, 14], 
    146: [1, 12, 13], 
    147: [1, 11, 13], 
    148: [1, 10, 14], 
    149: [1, 10, 13], 
    150: [1, 10, 12], 
    151: [1, 10, 11], 
    152: [1, 9, 14], 
    153: [1, 9, 13], 
    154: [1, 9, 12], 
    155: [1, 9, 11], 
    156: [1, 8, 14], 
    157: [1, 8, 13], 
    158: [1, 8, 12], 
    159: [1, 8, 11], 
    160: [1, 7, 13], 
    161: [1, 7, 10], 
    162: [1, 7, 9], 
    163: [1, 7, 8], 
    164: [1, 6, 14], 
    165: [1, 6, 13], 
    166: [1, 6, 12], 
    167: [1, 6, 11], 
    168: [1, 6, 7], 
    169: [1, 5, 14], 
    170: [1, 5, 13], 
    171: [1, 5, 12], 
    172: [1, 5, 11], 
    173: [1, 5, 7], 
    174: [1, 4, 13], 
    175: [1, 4, 10], 
    176: [1, 4, 9], 
    177: [1, 4, 8], 
    178: [1, 4, 6], 
    179: [1, 4, 5], 
    180: [1, 3, 13], 
    181: [1, 3, 10], 
    182: [1, 3, 9], 
    183: [1, 3, 8], 
    184: [1, 3, 6], 
    185: [1, 3, 5]
}

radial_switch_combinations_reduced = {
    0: [12, 13, 14],
    1: [11, 12, 13],
    2: [10, 12, 14],
    3: [10, 11, 12],
    4: [9, 12, 14], 
    5: [9, 11, 12],
    6: [8, 12, 14],
    7: [8, 11, 12],
    8: [7, 13, 14],
    9: [7, 11, 13],
    10: [7, 10, 14],
    11: [7, 10, 11],
    12: [7, 9, 14],
    13: [7, 9, 11],
    14: [7, 8, 14],
    15: [7, 8, 11],
    16: [6, 13, 14],
    17: [6, 12, 14],
    18: [6, 11, 13],
    19: [6, 11, 12],
    20: [6, 10, 11],
    21: [6, 7, 14],
    22: [6, 7, 11],
    23: [5, 13, 14],
    24: [5, 12, 14],
    25: [5, 11, 13],
    26: [5, 11, 12],
    27: [5, 7, 14],
    28: [5, 7, 11],
    29: [4, 12, 13],
    30: [4, 10, 12],
    31: [4, 9, 12],
    32: [4, 8, 12],
    33: [4, 7, 13],
    34: [4, 7, 10],
    35: [4, 7, 9],
    36: [4, 7, 8],
    37: [4, 6, 13],
    38: [4, 6, 12],
    39: [4, 6, 7],
    40: [4, 5, 13],
    41: [4, 5, 12],
    42: [4, 5, 7],
    43: [3, 7, 10],
    44: [2, 13, 14], 
    45: [2, 4, 13],
    46: [1, 4, 13]
}

radial_switch_combinations_reduced_big_scheme = {
    0: [1009, 1010, 1011, 1012, 1013, 1014, 1015],
    1: [994, 1009, 1010, 1011, 1012, 1013, 1015],
    2: [947, 1009, 1010, 1011, 1012, 1014, 1015],
    3: [947, 1009, 1010, 1011, 1012, 1013, 1015],
    4: [947, 994, 1009, 1010, 1011, 1012, 1015],
    5: [900, 1009, 1010, 1011, 1012, 1014, 1015],
    6: [900, 1009, 1010, 1011, 1012, 1013, 1015],
    7: [900, 994, 1009, 1010, 1011, 1012, 1015],
    8: [853, 1009, 1010, 1011, 1013, 1014, 1015],
    9: [853, 1009, 1010, 1011, 1012, 1014, 1015],
    10: [853, 1009, 1010, 1011, 1012, 1013, 1015],
    11: [853, 994, 1009, 1010, 1011, 1013, 1015],
    12: [853, 994, 1009, 1010, 1011, 1012, 1015],
    13: [853, 947, 1009, 1010, 1011, 1014, 1015],
    14: [853, 947, 1009, 1010, 1011, 1013, 1015],
    15: [853, 947, 994, 1009, 1010, 1011, 1015],
    16: [853, 900, 1009, 1010, 1011, 1014, 1015],
    17: [853, 900, 1009, 1010, 1011, 1013, 1015],
    18: [853, 900, 994, 1009, 1010, 1011, 1015],
    19: [742, 1009, 1010, 1011, 1012, 1013, 1015],
    20: [742, 1009, 1010, 1011, 1012, 1013, 1014],
    21: [742, 994, 1009, 1010, 1011, 1012, 1013],
    22: [742, 947, 1009, 1010, 1011, 1012, 1015],
    23: [742, 947, 1009, 1010, 1011, 1012, 1014],
    24: [742, 947, 1009, 1010, 1011, 1012, 1013],
    25: [742, 947, 994, 1009, 1010, 1011, 1012],
    26: [742, 900, 1009, 1010, 1011, 1012, 1015],
    27: [742, 900, 1009, 1010, 1011, 1012, 1014],
    28: [742, 900, 1009, 1010, 1011, 1012, 1013],
    29: [742, 900, 994, 1009, 1010, 1011, 1012],
    30: [742, 853, 1009, 1010, 1011, 1013, 1015],
    31: [742, 853, 1009, 1010, 1011, 1013, 1014],
    32: [742, 853, 1009, 1010, 1011, 1012, 1015],
    33: [742, 853, 1009, 1010, 1011, 1012, 1014],
    34: [742, 853, 1009, 1010, 1011, 1012, 1013],
    35: [742, 853, 994, 1009, 1010, 1011, 1013],
    36: [742, 853, 994, 1009, 1010, 1011, 1012],
    37: [742, 853, 947, 1009, 1010, 1011, 1015],
    38: [742, 853, 947, 1009, 1010, 1011, 1014],
    39: [742, 853, 947, 1009, 1010, 1011, 1013],
    40: [742, 853, 947, 994, 1009, 1010, 1011],
    41: [742, 853, 900, 1009, 1010, 1011, 1015],
    42: [742, 853, 900, 1009, 1010, 1011, 1014],
    43: [742, 853, 900, 1009, 1010, 1011, 1013],
    44: [742, 853, 900, 994, 1009, 1010, 1011],
    45: [695, 1009, 1010, 1011, 1012, 1014, 1015],
    46: [695, 1009, 1010, 1011, 1012, 1013, 1015],
    47: [695, 1009, 1010, 1011, 1012, 1013, 1014],
    48: [695, 994, 1009, 1010, 1011, 1012, 1015],
    49: [695, 994, 1009, 1010, 1011, 1012, 1013],
    50: [695, 947, 1009, 1010, 1011, 1012, 1014],
    51: [695, 947, 1009, 1010, 1011, 1012, 1013],
    52: [695, 947, 994, 1009, 1010, 1011, 1012],
    53: [695, 900, 1009, 1010, 1011, 1012, 1014],
    54: [695, 900, 1009, 1010, 1011, 1012, 1013],
    55: [695, 900, 994, 1009, 1010, 1011, 1012],
    56: [695, 853, 1009, 1010, 1011, 1014, 1015],
    57: [695, 853, 1009, 1010, 1011, 1013, 1015],
    58: [695, 853, 1009, 1010, 1011, 1013, 1014],
    59: [695, 853, 1009, 1010, 1011, 1012, 1014],
    60: [695, 853, 1009, 1010, 1011, 1012, 1013],
    61: [695, 853, 994, 1009, 1010, 1011, 1015],
    62: [695, 853, 994, 1009, 1010, 1011, 1013],
    63: [695, 853, 994, 1009, 1010, 1011, 1012],
    64: [695, 853, 947, 1009, 1010, 1011, 1014],
    65: [695, 853, 947, 1009, 1010, 1011, 1013],
    66: [695, 853, 947, 994, 1009, 1010, 1011],
    67: [695, 853, 900, 1009, 1010, 1011, 1014],
    68: [695, 853, 900, 1009, 1010, 1011, 1013],
    69: [695, 853, 900, 994, 1009, 1010, 1011],
    70: [695, 742, 1009, 1010, 1011, 1012, 1015],
    71: [695, 742, 1009, 1010, 1011, 1012, 1014],
    72: [695, 742, 994, 1009, 1010, 1011, 1012],
    73: [695, 742, 947, 1009, 1010, 1011, 1012],
    74: [695, 742, 900, 1009, 1010, 1011, 1012],
    75: [695, 742, 853, 1009, 1010, 1011, 1015],
    76: [695, 742, 853, 1009, 1010, 1011, 1014],
    77: [695, 742, 853, 1009, 1010, 1011, 1012],
    78: [695, 742, 853, 994, 1009, 1010, 1011],
    79: [695, 742, 853, 947, 1009, 1010, 1011],
    80: [695, 742, 853, 900, 1009, 1010, 1011],
    81: [648, 1009, 1010, 1011, 1012, 1014, 1015],
    82: [648, 1009, 1010, 1011, 1012, 1013, 1015],
    83: [648, 1009, 1010, 1011, 1012, 1013, 1014],
    84: [648, 994, 1009, 1010, 1011, 1012, 1015],
    85: [648, 994, 1009, 1010, 1011, 1012, 1013],
    86: [648, 947, 1009, 1010, 1011, 1012, 1014],
    87: [648, 947, 1009, 1010, 1011, 1012, 1013],
    88: [648, 947, 994, 1009, 1010, 1011, 1012],
    89: [648, 900, 1009, 1010, 1011, 1012, 1014],
    90: [648, 900, 1009, 1010, 1011, 1012, 1013],
    91: [648, 900, 994, 1009, 1010, 1011, 1012],
    92: [648, 853, 1009, 1010, 1011, 1014, 1015],
    93: [648, 853, 1009, 1010, 1011, 1013, 1015],
    94: [648, 853, 1009, 1010, 1011, 1013, 1014],
    95: [648, 853, 1009, 1010, 1011, 1012, 1013],
    96: [648, 853, 994, 1009, 1010, 1011, 1015],
    97: [648, 853, 994, 1009, 1010, 1011, 1013],
    98: [648, 853, 947, 1009, 1010, 1011, 1014],
    99: [648, 853, 947, 1009, 1010, 1011, 1013],
    100: [648, 853, 947, 994, 1009, 1010, 1011],
    101: [648, 853, 900, 1009, 1010, 1011, 1014],
    102: [648, 853, 900, 1009, 1010, 1011, 1013],
    103: [648, 853, 900, 994, 1009, 1010, 1011],
    104: [648, 742, 1009, 1010, 1011, 1012, 1015],
    105: [648, 742, 1009, 1010, 1011, 1012, 1014],
    106: [648, 742, 994, 1009, 1010, 1011, 1012],
    107: [648, 742, 947, 1009, 1010, 1011, 1012],
    108: [648, 742, 900, 1009, 1010, 1011, 1012],
    109: [648, 742, 853, 1009, 1010, 1011, 1015],
    110: [648, 742, 853, 1009, 1010, 1011, 1014],
    111: [648, 742, 853, 994, 1009, 1010, 1011],
    112: [648, 742, 853, 947, 1009, 1010, 1011],
    113: [648, 742, 853, 900, 1009, 1010, 1011],
    114: [490, 1009, 1010, 1012, 1013, 1014, 1015],
    115: [490, 1009, 1010, 1011, 1012, 1013, 1014],
    116: [490, 994, 1009, 1010, 1012, 1013, 1015],
    117: [490, 994, 1009, 1010, 1011, 1012, 1013],
    118: [490, 947, 1009, 1010, 1012, 1014, 1015],
    119: [490, 947, 1009, 1010, 1012, 1013, 1015],
    120: [490, 947, 1009, 1010, 1011, 1012, 1014],
    121: [490, 947, 1009, 1010, 1011, 1012, 1013],
    122: [490, 947, 994, 1009, 1010, 1012, 1015],
    123: [490, 947, 994, 1009, 1010, 1011, 1012],
    124: [490, 900, 1009, 1010, 1012, 1014, 1015],
    125: [490, 900, 1009, 1010, 1012, 1013, 1015],
    126: [490, 900, 1009, 1010, 1011, 1012, 1014],
    127: [490, 900, 1009, 1010, 1011, 1012, 1013],
    128: [490, 900, 994, 1009, 1010, 1012, 1015],
    129: [490, 900, 994, 1009, 1010, 1011, 1012],
    130: [490, 853, 1009, 1010, 1013, 1014, 1015],
    131: [490, 853, 1009, 1010, 1012, 1014, 1015],
    132: [490, 853, 1009, 1010, 1012, 1013, 1015],
    133: [490, 853, 1009, 1010, 1011, 1013, 1014],
    134: [490, 853, 1009, 1010, 1011, 1012, 1014],
    135: [490, 853, 1009, 1010, 1011, 1012, 1013],
    136: [490, 853, 994, 1009, 1010, 1013, 1015],
    137: [490, 853, 994, 1009, 1010, 1012, 1015],
    138: [490, 853, 994, 1009, 1010, 1011, 1013],
    139: [490, 853, 994, 1009, 1010, 1011, 1012],
    140: [490, 853, 947, 1009, 1010, 1014, 1015],
    141: [490, 853, 947, 1009, 1010, 1013, 1015],
    142: [490, 853, 947, 1009, 1010, 1011, 1014],
    143: [490, 853, 947, 1009, 1010, 1011, 1013],
    144: [490, 853, 947, 994, 1009, 1010, 1015],
    145: [490, 853, 947, 994, 1009, 1010, 1011],
    146: [490, 853, 900, 1009, 1010, 1014, 1015],
    147: [490, 853, 900, 1009, 1010, 1013, 1015],
    148: [490, 853, 900, 1009, 1010, 1011, 1014],
    149: [490, 853, 900, 1009, 1010, 1011, 1013],
    150: [490, 853, 900, 994, 1009, 1010, 1015],
    151: [490, 853, 900, 994, 1009, 1010, 1011],
    152: [490, 742, 1009, 1010, 1012, 1013, 1015],
    153: [490, 742, 1009, 1010, 1012, 1013, 1014],
    154: [490, 742, 1009, 1010, 1011, 1012, 1013],
    155: [490, 742, 947, 1009, 1010, 1012, 1015],
    156: [490, 742, 947, 1009, 1010, 1012, 1014],
    157: [490, 742, 947, 1009, 1010, 1011, 1012],
    158: [490, 742, 900, 1009, 1010, 1012, 1015],
    159: [490, 742, 900, 1009, 1010, 1012, 1014],
    160: [490, 742, 900, 1009, 1010, 1011, 1012],
    161: [490, 742, 853, 1009, 1010, 1013, 1015],
    162: [490, 742, 853, 1009, 1010, 1013, 1014],
    163: [490, 742, 853, 1009, 1010, 1012, 1015],
    164: [490, 742, 853, 1009, 1010, 1012, 1014],
    165: [490, 742, 853, 1009, 1010, 1011, 1013],
    166: [490, 742, 853, 1009, 1010, 1011, 1012],
    167: [490, 742, 853, 947, 1009, 1010, 1015],
    168: [490, 742, 853, 947, 1009, 1010, 1014],
    169: [490, 742, 853, 947, 1009, 1010, 1011],
    170: [490, 742, 853, 900, 1009, 1010, 1015],
    171: [490, 742, 853, 900, 1009, 1010, 1014],
    172: [490, 742, 853, 900, 1009, 1010, 1011],
    173: [490, 695, 1009, 1010, 1012, 1014, 1015],
    174: [490, 695, 1009, 1010, 1012, 1013, 1015],
    175: [490, 695, 1009, 1010, 1011, 1012, 1014],
    176: [490, 695, 1009, 1010, 1011, 1012, 1013],
    177: [490, 695, 994, 1009, 1010, 1012, 1015],
    178: [490, 695, 994, 1009, 1010, 1011, 1012],
    179: [490, 695, 853, 1009, 1010, 1014, 1015],
    180: [490, 695, 853, 1009, 1010, 1013, 1015],
    181: [490, 695, 853, 1009, 1010, 1011, 1014],
    182: [490, 695, 853, 1009, 1010, 1011, 1013],
    183: [490, 695, 853, 994, 1009, 1010, 1015],
    184: [490, 695, 853, 994, 1009, 1010, 1011],
    185: [490, 695, 742, 1009, 1010, 1012, 1015],
    186: [490, 695, 742, 1009, 1010, 1012, 1014],
    187: [490, 695, 742, 1009, 1010, 1011, 1012],
    188: [490, 695, 742, 853, 1009, 1010, 1015],
    189: [490, 695, 742, 853, 1009, 1010, 1014],
    190: [490, 695, 742, 853, 1009, 1010, 1011],
    191: [490, 648, 1009, 1010, 1012, 1014, 1015],
    192: [490, 648, 1009, 1010, 1012, 1013, 1015],
    193: [490, 648, 1009, 1010, 1011, 1012, 1014],
    194: [490, 648, 1009, 1010, 1011, 1012, 1013],
    195: [490, 648, 994, 1009, 1010, 1012, 1015],
    196: [490, 648, 994, 1009, 1010, 1011, 1012],
    197: [490, 648, 853, 1009, 1010, 1014, 1015],
    198: [490, 648, 853, 1009, 1010, 1013, 1015],
    199: [490, 648, 853, 1009, 1010, 1011, 1014],
    200: [490, 648, 853, 1009, 1010, 1011, 1013],
    201: [490, 648, 853, 994, 1009, 1010, 1015],
    202: [490, 648, 853, 994, 1009, 1010, 1011],
    203: [490, 648, 742, 1009, 1010, 1012, 1015],
    204: [490, 648, 742, 1009, 1010, 1012, 1014],
    205: [490, 648, 742, 1009, 1010, 1011, 1012],
    206: [490, 648, 742, 853, 1009, 1010, 1015],
    207: [490, 648, 742, 853, 1009, 1010, 1014],
    208: [490, 648, 742, 853, 1009, 1010, 1011],
    209: [443, 1009, 1010, 1011, 1012, 1013, 1014],
    210: [443, 994, 1009, 1010, 1011, 1012, 1013],
    211: [443, 947, 1009, 1010, 1011, 1012, 1014],
    212: [443, 947, 1009, 1010, 1011, 1012, 1013],
    213: [443, 947, 994, 1009, 1010, 1011, 1012],
    214: [443, 900, 1009, 1010, 1011, 1012, 1014],
    215: [443, 900, 1009, 1010, 1011, 1012, 1013],
    216: [443, 900, 994, 1009, 1010, 1011, 1012],
    217: [443, 853, 1009, 1010, 1011, 1013, 1014],
    218: [443, 853, 1009, 1010, 1011, 1012, 1014],
    219: [443, 853, 1009, 1010, 1011, 1012, 1013],
    220: [443, 853, 994, 1009, 1010, 1011, 1013],
    221: [443, 853, 994, 1009, 1010, 1011, 1012],
    222: [443, 853, 947, 1009, 1010, 1011, 1014],
    223: [443, 853, 947, 1009, 1010, 1011, 1013],
    224: [443, 853, 947, 994, 1009, 1010, 1011],
    225: [443, 853, 900, 1009, 1010, 1011, 1014],
    226: [443, 853, 900, 1009, 1010, 1011, 1013],
    227: [443, 853, 900, 994, 1009, 1010, 1011],
    228: [443, 742, 1009, 1010, 1011, 1012, 1013],
    229: [443, 742, 947, 1009, 1010, 1011, 1012],
    230: [443, 742, 900, 1009, 1010, 1011, 1012],
    231: [443, 742, 853, 1009, 1010, 1011, 1013],
    232: [443, 742, 853, 1009, 1010, 1011, 1012],
    233: [443, 742, 853, 947, 1009, 1010, 1011],
    234: [443, 742, 853, 900, 1009, 1010, 1011],
    235: [443, 695, 1009, 1010, 1011, 1012, 1014],
    236: [443, 695, 1009, 1010, 1011, 1012, 1013],
    237: [443, 695, 994, 1009, 1010, 1011, 1012],
    238: [443, 695, 853, 1009, 1010, 1011, 1014],
    239: [443, 695, 853, 1009, 1010, 1011, 1013],
    240: [443, 695, 853, 994, 1009, 1010, 1011],
    241: [443, 695, 742, 1009, 1010, 1011, 1012],
    242: [443, 695, 742, 853, 1009, 1010, 1011],
    243: [443, 648, 1009, 1010, 1011, 1012, 1014],
    244: [443, 648, 1009, 1010, 1011, 1012, 1013],
    245: [443, 648, 994, 1009, 1010, 1011, 1012],
    246: [443, 648, 853, 1009, 1010, 1011, 1014],
    247: [443, 648, 853, 1009, 1010, 1011, 1013],
    248: [443, 648, 853, 994, 1009, 1010, 1011],
    249: [443, 648, 742, 1009, 1010, 1011, 1012],
    250: [443, 648, 742, 853, 1009, 1010, 1011],
    251: [396, 1009, 1010, 1011, 1012, 1013, 1014],
    252: [396, 994, 1009, 1010, 1011, 1012, 1013],
    253: [396, 947, 1009, 1010, 1011, 1012, 1014],
    254: [396, 947, 1009, 1010, 1011, 1012, 1013],
    255: [396, 947, 994, 1009, 1010, 1011, 1012],
    256: [396, 900, 1009, 1010, 1011, 1012, 1014],
    257: [396, 900, 1009, 1010, 1011, 1012, 1013],
    258: [396, 900, 994, 1009, 1010, 1011, 1012],
    259: [396, 853, 1009, 1010, 1011, 1013, 1014],
    260: [396, 853, 1009, 1010, 1011, 1012, 1014],
    261: [396, 853, 1009, 1010, 1011, 1012, 1013],
    262: [396, 853, 994, 1009, 1010, 1011, 1013],
    263: [396, 853, 994, 1009, 1010, 1011, 1012],
    264: [396, 853, 947, 1009, 1010, 1011, 1014],
    265: [396, 853, 947, 1009, 1010, 1011, 1013],
    266: [396, 853, 947, 994, 1009, 1010, 1011],
    267: [396, 853, 900, 1009, 1010, 1011, 1014],
    268: [396, 853, 900, 1009, 1010, 1011, 1013],
    269: [396, 853, 900, 994, 1009, 1010, 1011],
    270: [396, 742, 1009, 1010, 1011, 1012, 1013],
    271: [396, 742, 947, 1009, 1010, 1011, 1012],
    272: [396, 742, 900, 1009, 1010, 1011, 1012],
    273: [396, 742, 853, 1009, 1010, 1011, 1013],
    274: [396, 742, 853, 1009, 1010, 1011, 1012],
    275: [396, 742, 853, 947, 1009, 1010, 1011],
    276: [396, 742, 853, 900, 1009, 1010, 1011],
    277: [396, 695, 1009, 1010, 1011, 1012, 1014],
    278: [396, 695, 1009, 1010, 1011, 1012, 1013],
    279: [396, 695, 994, 1009, 1010, 1011, 1012],
    280: [396, 695, 853, 1009, 1010, 1011, 1014],
    281: [396, 695, 853, 1009, 1010, 1011, 1013],
    282: [396, 695, 853, 994, 1009, 1010, 1011],
    283: [396, 695, 742, 1009, 1010, 1011, 1012],
    284: [396, 695, 742, 853, 1009, 1010, 1011],
    285: [396, 648, 1009, 1010, 1011, 1012, 1014],
    286: [396, 648, 1009, 1010, 1011, 1012, 1013],
    287: [396, 648, 994, 1009, 1010, 1011, 1012],
    288: [396, 648, 853, 1009, 1010, 1011, 1014],
    289: [396, 648, 853, 1009, 1010, 1011, 1013],
    290: [396, 648, 853, 994, 1009, 1010, 1011],
    291: [396, 648, 742, 1009, 1010, 1011, 1012],
    292: [396, 648, 742, 853, 1009, 1010, 1011],
    293: [238, 1009, 1010, 1012, 1013, 1014, 1015],
    294: [238, 994, 1009, 1010, 1012, 1013, 1015],
    295: [238, 947, 1009, 1010, 1012, 1014, 1015],
    296: [238, 947, 1009, 1010, 1012, 1013, 1015],
    297: [238, 947, 994, 1009, 1010, 1012, 1015],
    298: [238, 900, 1009, 1010, 1012, 1014, 1015],
    299: [238, 900, 1009, 1010, 1012, 1013, 1015],
    300: [238, 900, 994, 1009, 1010, 1012, 1015],
    301: [238, 853, 1009, 1010, 1013, 1014, 1015],
    302: [238, 853, 1009, 1010, 1012, 1014, 1015],
    303: [238, 853, 1009, 1010, 1012, 1013, 1015],
    304: [238, 853, 994, 1009, 1010, 1013, 1015],
    305: [238, 853, 994, 1009, 1010, 1012, 1015],
    306: [238, 853, 947, 1009, 1010, 1014, 1015],
    307: [238, 853, 947, 1009, 1010, 1013, 1015],
    308: [238, 853, 947, 994, 1009, 1010, 1015],
    309: [238, 853, 900, 1009, 1010, 1014, 1015],
    310: [238, 853, 900, 1009, 1010, 1013, 1015],
    311: [238, 853, 900, 994, 1009, 1010, 1015],
    312: [238, 742, 1009, 1010, 1012, 1013, 1015],
    313: [238, 742, 1009, 1010, 1012, 1013, 1014],
    314: [238, 742, 994, 1009, 1010, 1012, 1013],
    315: [238, 742, 947, 1009, 1010, 1012, 1015],
    316: [238, 742, 947, 1009, 1010, 1012, 1014],
    317: [238, 742, 947, 1009, 1010, 1012, 1013],
    318: [238, 742, 947, 994, 1009, 1010, 1012],
    319: [238, 742, 900, 1009, 1010, 1012, 1015],
    320: [238, 742, 900, 1009, 1010, 1012, 1014],
    321: [238, 742, 900, 1009, 1010, 1012, 1013],
    322: [238, 742, 900, 994, 1009, 1010, 1012],
    323: [238, 742, 853, 1009, 1010, 1013, 1015],
    324: [238, 742, 853, 1009, 1010, 1013, 1014],
    325: [238, 742, 853, 1009, 1010, 1012, 1015],
    326: [238, 742, 853, 1009, 1010, 1012, 1014],
    327: [238, 742, 853, 1009, 1010, 1012, 1013],
    328: [238, 742, 853, 994, 1009, 1010, 1013],
    329: [238, 742, 853, 994, 1009, 1010, 1012],
    330: [238, 742, 853, 947, 1009, 1010, 1015],
    331: [238, 742, 853, 947, 1009, 1010, 1014],
    332: [238, 742, 853, 947, 1009, 1010, 1013],
    333: [238, 742, 853, 947, 994, 1009, 1010],
    334: [238, 742, 853, 900, 1009, 1010, 1015],
    335: [238, 742, 853, 900, 1009, 1010, 1014],
    336: [238, 742, 853, 900, 1009, 1010, 1013],
    337: [238, 742, 853, 900, 994, 1009, 1010],
    338: [238, 695, 1009, 1010, 1012, 1014, 1015],
    339: [238, 695, 1009, 1010, 1012, 1013, 1015],
    340: [238, 695, 1009, 1010, 1012, 1013, 1014],
    341: [238, 695, 994, 1009, 1010, 1012, 1015],
    342: [238, 695, 994, 1009, 1010, 1012, 1013],
    343: [238, 695, 947, 1009, 1010, 1012, 1014],
    344: [238, 695, 947, 1009, 1010, 1012, 1013],
    345: [238, 695, 947, 994, 1009, 1010, 1012],
    346: [238, 695, 900, 1009, 1010, 1012, 1014],
    347: [238, 695, 900, 1009, 1010, 1012, 1013],
    348: [238, 695, 900, 994, 1009, 1010, 1012],
    349: [238, 695, 853, 1009, 1010, 1014, 1015],
    350: [238, 695, 853, 1009, 1010, 1013, 1015],
    351: [238, 695, 853, 1009, 1010, 1013, 1014],
    352: [238, 695, 853, 1009, 1010, 1012, 1014],
    353: [238, 695, 853, 1009, 1010, 1012, 1013],
    354: [238, 695, 853, 994, 1009, 1010, 1015],
    355: [238, 695, 853, 994, 1009, 1010, 1013],
    356: [238, 695, 853, 994, 1009, 1010, 1012],
    357: [238, 695, 853, 947, 1009, 1010, 1014],
    358: [238, 695, 853, 947, 1009, 1010, 1013],
    359: [238, 695, 853, 947, 994, 1009, 1010],
    360: [238, 695, 853, 900, 1009, 1010, 1014],
    361: [238, 695, 853, 900, 1009, 1010, 1013],
    362: [238, 695, 853, 900, 994, 1009, 1010],
    363: [238, 695, 742, 1009, 1010, 1012, 1015],
    364: [238, 695, 742, 1009, 1010, 1012, 1014],
    365: [238, 695, 742, 994, 1009, 1010, 1012],
    366: [238, 695, 742, 947, 1009, 1010, 1012],
    367: [238, 695, 742, 900, 1009, 1010, 1012],
    368: [238, 695, 742, 853, 1009, 1010, 1015],
    369: [238, 695, 742, 853, 1009, 1010, 1014],
    370: [238, 695, 742, 853, 1009, 1010, 1012],
    371: [238, 695, 742, 853, 994, 1009, 1010],
    372: [238, 695, 742, 853, 947, 1009, 1010],
    373: [238, 695, 742, 853, 900, 1009, 1010],
    374: [238, 648, 1009, 1010, 1012, 1014, 1015],
    375: [238, 648, 1009, 1010, 1012, 1013, 1015],
    376: [238, 648, 1009, 1010, 1012, 1013, 1014],
    377: [238, 648, 994, 1009, 1010, 1012, 1015],
    378: [238, 648, 994, 1009, 1010, 1012, 1013],
    379: [238, 648, 947, 1009, 1010, 1012, 1014],
    380: [238, 648, 947, 1009, 1010, 1012, 1013],
    381: [238, 648, 947, 994, 1009, 1010, 1012],
    382: [238, 648, 853, 1009, 1010, 1014, 1015],
    383: [238, 648, 853, 1009, 1010, 1013, 1015],
    384: [238, 648, 853, 1009, 1010, 1013, 1014],
    385: [238, 648, 853, 994, 1009, 1010, 1015],
    386: [238, 648, 853, 994, 1009, 1010, 1013],
    387: [238, 648, 853, 947, 1009, 1010, 1014],
    388: [238, 648, 853, 947, 1009, 1010, 1013],
    389: [238, 648, 853, 947, 994, 1009, 1010],
    390: [238, 648, 742, 1009, 1010, 1012, 1015],
    391: [238, 648, 742, 1009, 1010, 1012, 1014],
    392: [238, 648, 742, 994, 1009, 1010, 1012],
    393: [238, 648, 742, 947, 1009, 1010, 1012],
    394: [238, 648, 742, 853, 1009, 1010, 1015],
    395: [238, 648, 742, 853, 1009, 1010, 1014],
    396: [238, 648, 742, 853, 994, 1009, 1010],
    397: [238, 648, 742, 853, 947, 1009, 1010],
    398: [238, 490, 1009, 1010, 1012, 1013, 1014],
    399: [238, 490, 994, 1009, 1010, 1012, 1013],
    400: [238, 490, 947, 1009, 1010, 1012, 1014],
    401: [238, 490, 947, 1009, 1010, 1012, 1013],
    402: [238, 490, 947, 994, 1009, 1010, 1012],
    403: [238, 490, 900, 1009, 1010, 1012, 1014],
    404: [238, 490, 900, 1009, 1010, 1012, 1013],
    405: [238, 490, 900, 994, 1009, 1010, 1012],
    406: [238, 490, 853, 1009, 1010, 1013, 1014],
    407: [238, 490, 853, 1009, 1010, 1012, 1014],
    408: [238, 490, 853, 1009, 1010, 1012, 1013],
    409: [238, 490, 853, 994, 1009, 1010, 1013],
    410: [238, 490, 853, 994, 1009, 1010, 1012],
    411: [238, 490, 853, 947, 1009, 1010, 1014],
    412: [238, 490, 853, 947, 1009, 1010, 1013],
    413: [238, 490, 853, 947, 994, 1009, 1010],
    414: [238, 490, 853, 900, 1009, 1010, 1014],
    415: [238, 490, 853, 900, 1009, 1010, 1013],
    416: [238, 490, 853, 900, 994, 1009, 1010],
    417: [238, 490, 742, 1009, 1010, 1012, 1013],
    418: [238, 490, 742, 947, 1009, 1010, 1012],
    419: [238, 490, 742, 900, 1009, 1010, 1012],
    420: [238, 490, 742, 853, 1009, 1010, 1013],
    421: [238, 490, 742, 853, 1009, 1010, 1012],
    422: [238, 490, 742, 853, 947, 1009, 1010],
    423: [238, 490, 742, 853, 900, 1009, 1010],
    424: [238, 490, 695, 1009, 1010, 1012, 1014],
    425: [238, 490, 695, 1009, 1010, 1012, 1013],
    426: [238, 490, 695, 994, 1009, 1010, 1012],
    427: [238, 490, 695, 853, 1009, 1010, 1014],
    428: [238, 490, 695, 853, 1009, 1010, 1013],
    429: [238, 490, 695, 853, 994, 1009, 1010],
    430: [238, 490, 695, 742, 1009, 1010, 1012],
    431: [238, 490, 695, 742, 853, 1009, 1010],
    432: [238, 490, 648, 1009, 1010, 1012, 1014],
    433: [238, 490, 648, 1009, 1010, 1012, 1013],
    434: [238, 490, 648, 994, 1009, 1010, 1012],
    435: [238, 490, 648, 853, 1009, 1010, 1014],
    436: [238, 490, 648, 853, 1009, 1010, 1013],
    437: [238, 490, 648, 853, 994, 1009, 1010],
    438: [238, 490, 648, 742, 1009, 1010, 1012],
    439: [238, 490, 648, 742, 853, 1009, 1010],
    440: [238, 443, 1009, 1010, 1012, 1013, 1014],
    441: [238, 443, 994, 1009, 1010, 1012, 1013],
    442: [238, 443, 947, 1009, 1010, 1012, 1014],
    443: [238, 443, 947, 1009, 1010, 1012, 1013],
    444: [238, 443, 947, 994, 1009, 1010, 1012],
    445: [238, 443, 900, 1009, 1010, 1012, 1014],
    446: [238, 443, 900, 1009, 1010, 1012, 1013],
    447: [238, 443, 900, 994, 1009, 1010, 1012],
    448: [238, 443, 853, 1009, 1010, 1013, 1014],
    449: [238, 443, 853, 1009, 1010, 1012, 1014],
    450: [238, 443, 853, 1009, 1010, 1012, 1013],
    451: [238, 443, 853, 994, 1009, 1010, 1013],
    452: [238, 443, 853, 994, 1009, 1010, 1012],
    453: [238, 443, 853, 947, 1009, 1010, 1014],
    454: [238, 443, 853, 947, 1009, 1010, 1013],
    455: [238, 443, 853, 947, 994, 1009, 1010],
    456: [238, 443, 853, 900, 1009, 1010, 1014],
    457: [238, 443, 853, 900, 1009, 1010, 1013],
    458: [238, 443, 853, 900, 994, 1009, 1010],
    459: [238, 443, 742, 1009, 1010, 1012, 1013],
    460: [238, 443, 742, 947, 1009, 1010, 1012],
    461: [238, 443, 742, 900, 1009, 1010, 1012],
    462: [238, 443, 742, 853, 1009, 1010, 1013],
    463: [238, 443, 742, 853, 1009, 1010, 1012],
    464: [238, 443, 742, 853, 947, 1009, 1010],
    465: [238, 443, 742, 853, 900, 1009, 1010],
    466: [238, 443, 695, 1009, 1010, 1012, 1014],
    467: [238, 443, 695, 1009, 1010, 1012, 1013],
    468: [238, 443, 695, 994, 1009, 1010, 1012],
    469: [238, 443, 695, 853, 1009, 1010, 1014],
    470: [238, 443, 695, 853, 1009, 1010, 1013],
    471: [238, 443, 695, 853, 994, 1009, 1010],
    472: [238, 443, 695, 742, 1009, 1010, 1012],
    473: [238, 443, 695, 742, 853, 1009, 1010],
    474: [238, 443, 648, 1009, 1010, 1012, 1014],
    475: [238, 443, 648, 1009, 1010, 1012, 1013],
    476: [238, 443, 648, 994, 1009, 1010, 1012],
    477: [238, 443, 648, 853, 1009, 1010, 1014],
    478: [238, 443, 648, 853, 1009, 1010, 1013],
    479: [238, 443, 648, 853, 994, 1009, 1010],
    480: [238, 443, 648, 742, 1009, 1010, 1012],
    481: [238, 443, 648, 742, 853, 1009, 1010],
    482: [238, 443, 490, 1009, 1012, 1013, 1014],
    483: [238, 443, 490, 994, 1009, 1012, 1013],
    484: [238, 443, 490, 947, 1009, 1012, 1014],
    485: [238, 443, 490, 947, 1009, 1012, 1013],
    486: [238, 443, 490, 947, 994, 1009, 1012],
    487: [238, 443, 490, 900, 1009, 1012, 1014],
    488: [238, 443, 490, 900, 1009, 1012, 1013],
    489: [238, 443, 490, 900, 994, 1009, 1012],
    490: [238, 443, 490, 853, 1009, 1013, 1014],
    491: [238, 443, 490, 853, 1009, 1012, 1014],
    492: [238, 443, 490, 853, 1009, 1012, 1013],
    493: [238, 443, 490, 853, 994, 1009, 1013],
    494: [238, 443, 490, 853, 994, 1009, 1012],
    495: [238, 443, 490, 853, 947, 1009, 1014],
    496: [238, 443, 490, 853, 947, 1009, 1013],
    497: [238, 443, 490, 853, 947, 994, 1009],
    498: [238, 443, 490, 853, 900, 1009, 1014],
    499: [238, 443, 490, 853, 900, 1009, 1013],
    500: [238, 443, 490, 853, 900, 994, 1009],
    501: [238, 443, 490, 742, 1009, 1012, 1013],
    502: [238, 443, 490, 742, 947, 1009, 1012],
    503: [238, 443, 490, 742, 900, 1009, 1012],
    504: [238, 443, 490, 742, 853, 1009, 1013],
    505: [238, 443, 490, 742, 853, 1009, 1012],
    506: [238, 443, 490, 742, 853, 947, 1009],
    507: [238, 443, 490, 742, 853, 900, 1009],
    508: [238, 443, 490, 695, 1009, 1012, 1014],
    509: [238, 443, 490, 695, 1009, 1012, 1013],
    510: [238, 443, 490, 695, 994, 1009, 1012],
    511: [238, 443, 490, 695, 853, 1009, 1014],
    512: [238, 443, 490, 695, 853, 1009, 1013],
    513: [238, 443, 490, 695, 853, 994, 1009],
    514: [238, 443, 490, 695, 742, 1009, 1012],
    515: [238, 443, 490, 695, 742, 853, 1009],
    516: [238, 443, 490, 648, 1009, 1012, 1014],
    517: [238, 443, 490, 648, 1009, 1012, 1013],
    518: [238, 443, 490, 648, 994, 1009, 1012],
    519: [238, 443, 490, 648, 853, 1009, 1014],
    520: [238, 443, 490, 648, 853, 1009, 1013],
    521: [238, 443, 490, 648, 853, 994, 1009],
    522: [238, 443, 490, 648, 742, 1009, 1012],
    523: [238, 443, 490, 648, 742, 853, 1009],
    524: [238, 396, 1009, 1010, 1012, 1013, 1014],
    525: [238, 396, 994, 1009, 1010, 1012, 1013],
    526: [238, 396, 947, 1009, 1010, 1012, 1014],
    527: [238, 396, 947, 1009, 1010, 1012, 1013],
    528: [238, 396, 947, 994, 1009, 1010, 1012],
    529: [238, 396, 900, 1009, 1010, 1012, 1014],
    530: [238, 396, 900, 994, 1009, 1010, 1012],
    531: [238, 396, 853, 1009, 1010, 1013, 1014],
    532: [238, 396, 853, 994, 1009, 1010, 1013],
    533: [238, 396, 853, 947, 1009, 1010, 1014],
    534: [238, 396, 853, 947, 994, 1009, 1010],
    535: [238, 396, 742, 1009, 1010, 1012, 1013],
    536: [238, 396, 742, 947, 1009, 1010, 1012],
    537: [238, 396, 742, 900, 1009, 1010, 1012],
    538: [238, 396, 742, 853, 1009, 1010, 1013],
    539: [238, 396, 695, 1009, 1010, 1012, 1014],
    540: [238, 396, 695, 1009, 1010, 1012, 1013],
    541: [238, 396, 695, 994, 1009, 1010, 1012],
    542: [238, 396, 695, 853, 1009, 1010, 1014],
    543: [238, 396, 695, 853, 994, 1009, 1010],
    544: [238, 396, 695, 742, 1009, 1010, 1012],
    545: [238, 396, 695, 742, 853, 1009, 1010],
    546: [238, 396, 648, 1009, 1010, 1012, 1014],
    547: [238, 396, 648, 994, 1009, 1010, 1012],
    548: [238, 396, 648, 742, 1009, 1010, 1012],
    549: [191, 1009, 1011, 1012, 1013, 1014, 1015],
    550: [191, 1009, 1010, 1012, 1013, 1014, 1015],
    551: [191, 994, 1009, 1011, 1012, 1013, 1015],
    552: [191, 994, 1009, 1010, 1012, 1013, 1015],
    553: [191, 947, 1009, 1011, 1012, 1014, 1015],
    554: [191, 947, 1009, 1011, 1012, 1013, 1015],
    555: [191, 947, 1009, 1010, 1012, 1014, 1015],
    556: [191, 947, 1009, 1010, 1012, 1013, 1015],
    557: [191, 947, 994, 1009, 1011, 1012, 1015],
    558: [191, 947, 994, 1009, 1010, 1012, 1015],
    559: [191, 900, 1009, 1011, 1012, 1014, 1015],
    560: [191, 900, 1009, 1011, 1012, 1013, 1015],
    561: [191, 900, 1009, 1010, 1012, 1014, 1015],
    562: [191, 900, 1009, 1010, 1012, 1013, 1015],
    563: [191, 900, 994, 1009, 1011, 1012, 1015],
    564: [191, 900, 994, 1009, 1010, 1012, 1015],
    565: [191, 853, 1009, 1011, 1013, 1014, 1015],
    566: [191, 853, 1009, 1011, 1012, 1014, 1015],
    567: [191, 853, 1009, 1011, 1012, 1013, 1015],
    568: [191, 853, 1009, 1010, 1013, 1014, 1015],
    569: [191, 853, 1009, 1010, 1012, 1014, 1015],
    570: [191, 853, 1009, 1010, 1012, 1013, 1015],
    571: [191, 853, 994, 1009, 1011, 1013, 1015],
    572: [191, 853, 994, 1009, 1011, 1012, 1015],
    573: [191, 853, 994, 1009, 1010, 1013, 1015],
    574: [191, 853, 994, 1009, 1010, 1012, 1015],
    575: [191, 853, 947, 1009, 1011, 1014, 1015],
    576: [191, 853, 947, 1009, 1011, 1013, 1015],
    577: [191, 853, 947, 1009, 1010, 1014, 1015],
    578: [191, 853, 947, 1009, 1010, 1013, 1015],
    579: [191, 853, 947, 994, 1009, 1011, 1015],
    580: [191, 853, 947, 994, 1009, 1010, 1015],
    581: [191, 853, 900, 1009, 1011, 1014, 1015],
    582: [191, 853, 900, 1009, 1011, 1013, 1015],
    583: [191, 853, 900, 1009, 1010, 1014, 1015],
    584: [191, 853, 900, 1009, 1010, 1013, 1015],
    585: [191, 853, 900, 994, 1009, 1011, 1015],
    586: [191, 853, 900, 994, 1009, 1010, 1015],
    587: [191, 742, 1009, 1011, 1012, 1013, 1015],
    588: [191, 742, 1009, 1011, 1012, 1013, 1014],
    589: [191, 742, 1009, 1010, 1012, 1013, 1015],
    590: [191, 742, 1009, 1010, 1012, 1013, 1014],
    591: [191, 742, 994, 1009, 1011, 1012, 1013],
    592: [191, 742, 947, 1009, 1011, 1012, 1015],
    593: [191, 742, 947, 1009, 1011, 1012, 1014],
    594: [191, 742, 947, 1009, 1011, 1012, 1013],
    595: [191, 742, 947, 1009, 1010, 1012, 1015],
    596: [191, 742, 947, 1009, 1010, 1012, 1014],
    597: [191, 742, 947, 994, 1009, 1011, 1012],
    598: [191, 742, 900, 1009, 1011, 1012, 1015],
    599: [191, 742, 900, 1009, 1011, 1012, 1014],
    600: [191, 742, 900, 1009, 1010, 1012, 1015],
    601: [191, 742, 900, 1009, 1010, 1012, 1014],
    602: [191, 742, 900, 994, 1009, 1011, 1012],
    603: [191, 742, 853, 1009, 1011, 1013, 1015],
    604: [191, 742, 853, 1009, 1011, 1013, 1014],
    605: [191, 742, 853, 1009, 1011, 1012, 1015],
    606: [191, 742, 853, 1009, 1011, 1012, 1014],
    607: [191, 742, 853, 1009, 1010, 1013, 1015],
    608: [191, 742, 853, 1009, 1010, 1013, 1014],
    609: [191, 742, 853, 1009, 1010, 1012, 1015],
    610: [191, 742, 853, 1009, 1010, 1012, 1014],
    611: [191, 742, 853, 994, 1009, 1011, 1013],
    612: [191, 742, 853, 994, 1009, 1011, 1012],
    613: [191, 742, 853, 947, 1009, 1011, 1015],
    614: [191, 742, 853, 947, 1009, 1011, 1014],
    615: [191, 742, 853, 947, 1009, 1011, 1013],
    616: [191, 742, 853, 947, 1009, 1010, 1015],
    617: [191, 742, 853, 947, 1009, 1010, 1014],
    618: [191, 742, 853, 947, 994, 1009, 1011],
    619: [191, 742, 853, 900, 1009, 1011, 1015],
    620: [191, 742, 853, 900, 1009, 1011, 1014],
    621: [191, 742, 853, 900, 1009, 1010, 1015],
    622: [191, 742, 853, 900, 1009, 1010, 1014],
    623: [191, 742, 853, 900, 994, 1009, 1011],
    624: [191, 695, 1009, 1011, 1012, 1014, 1015],
    625: [191, 695, 1009, 1011, 1012, 1013, 1015],
    626: [191, 695, 1009, 1011, 1012, 1013, 1014],
    627: [191, 695, 1009, 1010, 1012, 1014, 1015],
    628: [191, 695, 1009, 1010, 1012, 1013, 1015],
    629: [191, 695, 994, 1009, 1011, 1012, 1015],
    630: [191, 695, 994, 1009, 1011, 1012, 1013],
    631: [191, 695, 994, 1009, 1010, 1012, 1015],
    632: [191, 695, 853, 1009, 1011, 1014, 1015],
    633: [191, 695, 853, 1009, 1011, 1013, 1015],
    634: [191, 695, 853, 1009, 1011, 1013, 1014],
    635: [191, 695, 853, 1009, 1010, 1014, 1015],
    636: [191, 695, 853, 1009, 1010, 1013, 1015],
    637: [191, 695, 853, 994, 1009, 1011, 1015],
    638: [191, 695, 853, 994, 1009, 1011, 1013],
    639: [191, 695, 853, 994, 1009, 1010, 1015],
    640: [191, 695, 742, 1009, 1011, 1012, 1015],
    641: [191, 695, 742, 1009, 1011, 1012, 1014],
    642: [191, 695, 742, 1009, 1010, 1012, 1015],
    643: [191, 695, 742, 1009, 1010, 1012, 1014],
    644: [191, 695, 742, 994, 1009, 1011, 1012],
    645: [191, 695, 742, 853, 1009, 1011, 1015],
    646: [191, 695, 742, 853, 1009, 1011, 1014],
    647: [191, 695, 742, 853, 1009, 1010, 1015],
    648: [191, 695, 742, 853, 1009, 1010, 1014],
    649: [191, 695, 742, 853, 994, 1009, 1011],
    650: [191, 648, 1009, 1011, 1012, 1014, 1015],
    651: [191, 648, 1009, 1011, 1012, 1013, 1015],
    652: [191, 648, 1009, 1010, 1012, 1014, 1015],
    653: [191, 648, 1009, 1010, 1012, 1013, 1015],
    654: [191, 648, 994, 1009, 1011, 1012, 1015],
    655: [191, 648, 994, 1009, 1010, 1012, 1015],
    656: [191, 648, 853, 1009, 1011, 1014, 1015],
    657: [191, 648, 853, 1009, 1011, 1013, 1015],
    658: [191, 648, 853, 1009, 1010, 1014, 1015],
    659: [191, 648, 853, 1009, 1010, 1013, 1015],
    660: [191, 648, 853, 994, 1009, 1011, 1015],
    661: [191, 648, 853, 994, 1009, 1010, 1015],
    662: [191, 648, 742, 1009, 1011, 1012, 1015],
    663: [191, 648, 742, 1009, 1011, 1012, 1014],
    664: [191, 648, 742, 1009, 1010, 1012, 1015],
    665: [191, 648, 742, 1009, 1010, 1012, 1014],
    666: [191, 648, 742, 994, 1009, 1011, 1012],
    667: [191, 648, 742, 853, 1009, 1011, 1015],
    668: [191, 648, 742, 853, 1009, 1011, 1014],
    669: [191, 648, 742, 853, 1009, 1010, 1015],
    670: [191, 648, 742, 853, 1009, 1010, 1014],
    671: [191, 648, 742, 853, 994, 1009, 1011],
    672: [191, 490, 1009, 1012, 1013, 1014, 1015],
    673: [191, 490, 1009, 1011, 1012, 1013, 1014],
    674: [191, 490, 1009, 1010, 1012, 1013, 1014],
    675: [191, 490, 994, 1009, 1012, 1013, 1015],
    676: [191, 490, 994, 1009, 1011, 1012, 1013],
    677: [191, 490, 994, 1009, 1010, 1012, 1013],
    678: [191, 490, 947, 1009, 1012, 1014, 1015],
    679: [191, 490, 947, 1009, 1012, 1013, 1015],
    680: [191, 490, 947, 1009, 1011, 1012, 1014],
    681: [191, 490, 947, 1009, 1011, 1012, 1013],
    682: [191, 490, 947, 1009, 1010, 1012, 1014],
    683: [191, 490, 947, 1009, 1010, 1012, 1013],
    684: [191, 490, 947, 994, 1009, 1012, 1015],
    685: [191, 490, 947, 994, 1009, 1011, 1012],
    686: [191, 490, 947, 994, 1009, 1010, 1012],
    687: [191, 490, 900, 1009, 1012, 1014, 1015],
    688: [191, 490, 900, 1009, 1012, 1013, 1015],
    689: [191, 490, 900, 1009, 1011, 1012, 1014],
    690: [191, 490, 900, 1009, 1011, 1012, 1013],
    691: [191, 490, 900, 1009, 1010, 1012, 1014],
    692: [191, 490, 900, 1009, 1010, 1012, 1013],
    693: [191, 490, 900, 994, 1009, 1012, 1015],
    694: [191, 490, 900, 994, 1009, 1011, 1012],
    695: [191, 490, 900, 994, 1009, 1010, 1012],
    696: [191, 490, 853, 1009, 1013, 1014, 1015],
    697: [191, 490, 853, 1009, 1012, 1014, 1015],
    698: [191, 490, 853, 1009, 1012, 1013, 1015],
    699: [191, 490, 853, 1009, 1011, 1013, 1014],
    700: [191, 490, 853, 1009, 1011, 1012, 1014],
    701: [191, 490, 853, 1009, 1011, 1012, 1013],
    702: [191, 490, 853, 1009, 1010, 1013, 1014],
    703: [191, 490, 853, 994, 1009, 1013, 1015],
    704: [191, 490, 853, 994, 1009, 1012, 1015],
    705: [191, 490, 853, 994, 1009, 1011, 1013],
    706: [191, 490, 853, 994, 1009, 1011, 1012],
    707: [191, 490, 853, 994, 1009, 1010, 1013],
    708: [191, 490, 853, 947, 1009, 1014, 1015],
    709: [191, 490, 853, 947, 1009, 1013, 1015],
    710: [191, 490, 853, 947, 1009, 1011, 1014],
    711: [191, 490, 853, 947, 1009, 1011, 1013],
    712: [191, 490, 853, 947, 1009, 1010, 1014],
    713: [191, 490, 853, 947, 1009, 1010, 1013],
    714: [191, 490, 853, 947, 994, 1009, 1015],
    715: [191, 490, 853, 947, 994, 1009, 1011],
    716: [191, 490, 853, 947, 994, 1009, 1010],
    717: [191, 490, 853, 900, 1009, 1014, 1015],
    718: [191, 490, 853, 900, 1009, 1013, 1015],
    719: [191, 490, 853, 900, 1009, 1011, 1014],
    720: [191, 490, 853, 900, 1009, 1011, 1013],
    721: [191, 490, 853, 900, 1009, 1010, 1014],
    722: [191, 490, 853, 900, 994, 1009, 1015],
    723: [191, 490, 853, 900, 994, 1009, 1011],
    724: [191, 490, 853, 900, 994, 1009, 1010],
    725: [191, 490, 742, 1009, 1012, 1013, 1015],
    726: [191, 490, 742, 1009, 1012, 1013, 1014],
    727: [191, 490, 742, 1009, 1011, 1012, 1013],
    728: [191, 490, 742, 1009, 1010, 1012, 1013],
    729: [191, 490, 742, 994, 1009, 1012, 1013],
    730: [191, 490, 742, 947, 1009, 1012, 1015],
    731: [191, 490, 742, 947, 1009, 1012, 1014],
    732: [191, 490, 742, 947, 1009, 1012, 1013],
    733: [191, 490, 742, 947, 1009, 1011, 1012],
    734: [191, 490, 742, 947, 1009, 1010, 1012],
    735: [191, 490, 742, 947, 994, 1009, 1012],
    736: [191, 490, 742, 900, 1009, 1012, 1015],
    737: [191, 490, 742, 900, 1009, 1012, 1014],
    738: [191, 490, 742, 900, 1009, 1011, 1012],
    739: [191, 490, 742, 900, 1009, 1010, 1012],
    740: [191, 490, 742, 900, 994, 1009, 1012],
    741: [191, 490, 742, 853, 1009, 1013, 1015],
    742: [191, 490, 742, 853, 1009, 1013, 1014],
    743: [191, 490, 742, 853, 1009, 1012, 1015],
    744: [191, 490, 742, 853, 1009, 1012, 1014],
    745: [191, 490, 742, 853, 1009, 1011, 1013],
    746: [191, 490, 742, 853, 1009, 1011, 1012],
    747: [191, 490, 742, 853, 1009, 1010, 1013],
    748: [191, 490, 742, 853, 994, 1009, 1013],
    749: [191, 490, 742, 853, 994, 1009, 1012],
    750: [191, 490, 742, 853, 947, 1009, 1015],
    751: [191, 490, 742, 853, 947, 1009, 1014],
    752: [191, 490, 742, 853, 947, 1009, 1013],
    753: [191, 490, 742, 853, 947, 1009, 1011],
    754: [191, 490, 742, 853, 947, 1009, 1010],
    755: [191, 490, 742, 853, 947, 994, 1009],
    756: [191, 490, 742, 853, 900, 1009, 1015],
    757: [191, 490, 742, 853, 900, 1009, 1014],
    758: [191, 490, 742, 853, 900, 1009, 1011],
    759: [191, 490, 742, 853, 900, 1009, 1010],
    760: [191, 490, 742, 853, 900, 994, 1009],
    761: [191, 490, 695, 1009, 1012, 1014, 1015],
    762: [191, 490, 695, 1009, 1012, 1013, 1015],
    763: [191, 490, 695, 1009, 1011, 1012, 1014],
    764: [191, 490, 695, 1009, 1011, 1012, 1013],
    765: [191, 490, 695, 1009, 1010, 1012, 1014],
    766: [191, 490, 695, 1009, 1010, 1012, 1013],
    767: [191, 490, 695, 994, 1009, 1012, 1015],
    768: [191, 490, 695, 994, 1009, 1011, 1012],
    769: [191, 490, 695, 994, 1009, 1010, 1012],
    770: [191, 490, 695, 853, 1009, 1014, 1015],
    771: [191, 490, 695, 853, 1009, 1013, 1015],
    772: [191, 490, 695, 853, 1009, 1011, 1014],
    773: [191, 490, 695, 853, 1009, 1011, 1013],
    774: [191, 490, 695, 853, 1009, 1010, 1014],
    775: [191, 490, 695, 853, 1009, 1010, 1013],
    776: [191, 490, 695, 853, 994, 1009, 1015],
    777: [191, 490, 695, 853, 994, 1009, 1011],
    778: [191, 490, 695, 853, 994, 1009, 1010],
    779: [191, 490, 695, 742, 1009, 1012, 1015],
    780: [191, 490, 695, 742, 1009, 1012, 1014],
    781: [191, 490, 695, 742, 1009, 1011, 1012],
    782: [191, 490, 695, 742, 1009, 1010, 1012],
    783: [191, 490, 695, 742, 994, 1009, 1012],
    784: [191, 490, 695, 742, 853, 1009, 1015],
    785: [191, 490, 695, 742, 853, 1009, 1014],
    786: [191, 490, 695, 742, 853, 1009, 1011],
    787: [191, 490, 695, 742, 853, 1009, 1010],
    788: [191, 490, 695, 742, 853, 994, 1009],
    789: [191, 490, 648, 1009, 1012, 1014, 1015],
    790: [191, 490, 648, 1009, 1012, 1013, 1015],
    791: [191, 490, 648, 1009, 1011, 1012, 1014],
    792: [191, 490, 648, 1009, 1011, 1012, 1013],
    793: [191, 490, 648, 1009, 1010, 1012, 1014],
    794: [191, 490, 648, 1009, 1010, 1012, 1013],
    795: [191, 490, 648, 994, 1009, 1012, 1015],
    796: [191, 490, 648, 994, 1009, 1011, 1012],
    797: [191, 490, 648, 994, 1009, 1010, 1012],
    798: [191, 490, 648, 853, 1009, 1014, 1015],
    799: [191, 490, 648, 853, 1009, 1013, 1015],
    800: [191, 490, 648, 853, 1009, 1011, 1014],
    801: [191, 490, 648, 853, 1009, 1011, 1013],
    802: [191, 490, 648, 853, 1009, 1010, 1014],
    803: [191, 490, 648, 853, 994, 1009, 1015],
    804: [191, 490, 648, 853, 994, 1009, 1011],
    805: [191, 490, 648, 742, 1009, 1012, 1015],
    806: [191, 490, 648, 742, 1009, 1012, 1014],
    807: [191, 490, 648, 742, 1009, 1011, 1012],
    808: [191, 490, 648, 742, 1009, 1010, 1012],
    809: [191, 490, 648, 742, 994, 1009, 1012],
    810: [191, 490, 648, 742, 853, 1009, 1015],
    811: [191, 490, 648, 742, 853, 1009, 1014],
    812: [191, 490, 648, 742, 853, 1009, 1011],
    813: [191, 490, 648, 742, 853, 1009, 1010],
    814: [191, 490, 648, 742, 853, 994, 1009],
    815: [191, 443, 742, 1009, 1010, 1012, 1013],
    816: [191, 443, 490, 742, 1009, 1012, 1013],
    817: [191, 238, 1009, 1012, 1013, 1014, 1015],
    818: [191, 238, 994, 1009, 1012, 1013, 1015],
    819: [191, 238, 947, 1009, 1012, 1014, 1015],
    820: [191, 238, 947, 1009, 1012, 1013, 1015],
    821: [191, 238, 947, 994, 1009, 1012, 1015],
    822: [191, 238, 900, 1009, 1012, 1014, 1015],
    823: [191, 238, 900, 1009, 1012, 1013, 1015],
    824: [191, 238, 900, 994, 1009, 1012, 1015],
    825: [191, 238, 853, 1009, 1013, 1014, 1015],
    826: [191, 238, 853, 1009, 1012, 1014, 1015],
    827: [191, 238, 853, 1009, 1012, 1013, 1015],
    828: [191, 238, 853, 994, 1009, 1013, 1015],
    829: [191, 238, 853, 994, 1009, 1012, 1015],
    830: [191, 238, 853, 947, 1009, 1014, 1015],
    831: [191, 238, 853, 947, 1009, 1013, 1015],
    832: [191, 238, 853, 947, 994, 1009, 1015],
    833: [191, 238, 853, 900, 1009, 1014, 1015],
    834: [191, 238, 853, 900, 1009, 1013, 1015],
    835: [191, 238, 853, 900, 994, 1009, 1015],
    836: [191, 238, 742, 1009, 1012, 1013, 1015],
    837: [191, 238, 742, 1009, 1012, 1013, 1014],
    838: [191, 238, 742, 994, 1009, 1012, 1013],
    839: [191, 238, 742, 947, 1009, 1012, 1015],
    840: [191, 238, 742, 947, 1009, 1012, 1014],
    841: [191, 238, 742, 947, 1009, 1012, 1013],
    842: [191, 238, 742, 947, 994, 1009, 1012],
    843: [191, 238, 742, 900, 1009, 1012, 1015],
    844: [191, 238, 742, 900, 1009, 1012, 1014],
    845: [191, 238, 742, 900, 994, 1009, 1012],
    846: [191, 238, 742, 853, 1009, 1013, 1015],
    847: [191, 238, 742, 853, 1009, 1013, 1014],
    848: [191, 238, 742, 853, 1009, 1012, 1015],
    849: [191, 238, 742, 853, 1009, 1012, 1014],
    850: [191, 238, 742, 853, 994, 1009, 1013],
    851: [191, 238, 742, 853, 994, 1009, 1012],
    852: [191, 238, 742, 853, 947, 1009, 1015],
    853: [191, 238, 742, 853, 947, 1009, 1014],
    854: [191, 238, 742, 853, 947, 1009, 1013],
    855: [191, 238, 742, 853, 947, 994, 1009],
    856: [191, 238, 742, 853, 900, 1009, 1015],
    857: [191, 238, 742, 853, 900, 1009, 1014],
    858: [191, 238, 742, 853, 900, 994, 1009],
    859: [191, 238, 695, 1009, 1012, 1014, 1015],
    860: [191, 238, 695, 1009, 1012, 1013, 1015],
    861: [191, 238, 695, 1009, 1012, 1013, 1014],
    862: [191, 238, 695, 994, 1009, 1012, 1015],
    863: [191, 238, 695, 853, 1009, 1014, 1015],
    864: [191, 238, 695, 853, 1009, 1013, 1015],
    865: [191, 238, 695, 853, 1009, 1013, 1014],
    866: [191, 238, 695, 853, 994, 1009, 1015],
    867: [191, 238, 695, 742, 1009, 1012, 1015],
    868: [191, 238, 695, 742, 1009, 1012, 1014],
    869: [191, 238, 695, 742, 994, 1009, 1012],
    870: [191, 238, 695, 742, 853, 1009, 1015],
    871: [191, 238, 695, 742, 853, 1009, 1014],
    872: [191, 238, 695, 742, 853, 994, 1009],
    873: [191, 238, 648, 1009, 1012, 1014, 1015],
    874: [191, 238, 648, 1009, 1012, 1013, 1015],
    875: [191, 238, 648, 994, 1009, 1012, 1015],
    876: [191, 238, 648, 853, 1009, 1014, 1015],
    877: [191, 238, 648, 853, 1009, 1013, 1015],
    878: [191, 238, 648, 853, 994, 1009, 1015],
    879: [191, 238, 648, 742, 1009, 1012, 1015],
    880: [191, 238, 648, 742, 1009, 1012, 1014],
    881: [191, 238, 648, 742, 994, 1009, 1012],
    882: [191, 238, 648, 742, 853, 1009, 1015],
    883: [191, 238, 648, 742, 853, 1009, 1014],
    884: [191, 238, 648, 742, 853, 994, 1009],
    885: [191, 238, 490, 1009, 1012, 1013, 1014],
    886: [191, 238, 490, 994, 1009, 1012, 1013],
    887: [191, 238, 490, 947, 1009, 1012, 1014],
    888: [191, 238, 490, 947, 1009, 1012, 1013],
    889: [191, 238, 490, 947, 994, 1009, 1012],
    890: [191, 238, 490, 900, 1009, 1012, 1014],
    891: [191, 238, 490, 900, 1009, 1012, 1013],
    892: [191, 238, 490, 900, 994, 1009, 1012],
    893: [191, 238, 490, 853, 1009, 1013, 1014],
    894: [191, 238, 490, 853, 1009, 1012, 1014],
    895: [191, 238, 490, 853, 1009, 1012, 1013],
    896: [191, 238, 490, 853, 994, 1009, 1013],
    897: [191, 238, 490, 853, 994, 1009, 1012],
    898: [191, 238, 490, 853, 947, 1009, 1014],
    899: [191, 238, 490, 853, 947, 1009, 1013],
    900: [191, 238, 490, 853, 947, 994, 1009],
    901: [191, 238, 490, 853, 900, 1009, 1014],
    902: [191, 238, 490, 853, 900, 1009, 1013],
    903: [191, 238, 490, 853, 900, 994, 1009],
    904: [191, 238, 490, 742, 1009, 1012, 1013],
    905: [191, 238, 490, 742, 947, 1009, 1012],
    906: [191, 238, 490, 742, 900, 1009, 1012],
    907: [191, 238, 490, 742, 853, 1009, 1013],
    908: [191, 238, 490, 742, 853, 1009, 1012],
    909: [191, 238, 490, 742, 853, 947, 1009],
    910: [191, 238, 490, 742, 853, 900, 1009],
    911: [191, 238, 490, 695, 1009, 1012, 1014],
    912: [191, 238, 490, 695, 1009, 1012, 1013],
    913: [191, 238, 490, 695, 994, 1009, 1012],
    914: [191, 238, 490, 695, 853, 1009, 1014],
    915: [191, 238, 490, 695, 853, 1009, 1013],
    916: [191, 238, 490, 695, 853, 994, 1009],
    917: [191, 238, 490, 695, 742, 1009, 1012],
    918: [191, 238, 490, 695, 742, 853, 1009],
    919: [191, 238, 490, 648, 1009, 1012, 1014],
    920: [191, 238, 490, 648, 1009, 1012, 1013],
    921: [191, 238, 490, 648, 994, 1009, 1012],
    922: [191, 238, 490, 648, 853, 1009, 1014],
    923: [191, 238, 490, 648, 853, 1009, 1013],
    924: [191, 238, 490, 648, 853, 994, 1009],
    925: [191, 238, 490, 648, 742, 1009, 1012],
    926: [191, 238, 490, 648, 742, 853, 1009],
    927: [191, 238, 443, 742, 1009, 1012, 1013],
    928: [144, 238, 490, 1009, 1012, 1013, 1014],
    929: [144, 238, 490, 994, 1009, 1012, 1013],
    930: [144, 238, 490, 947, 1009, 1012, 1014],
    931: [144, 238, 490, 947, 1009, 1012, 1013],
    932: [144, 238, 490, 947, 994, 1009, 1012],
    933: [144, 238, 490, 900, 1009, 1012, 1014],
    934: [144, 238, 490, 900, 1009, 1012, 1013],
    935: [144, 238, 490, 900, 994, 1009, 1012],
    936: [144, 238, 490, 853, 1009, 1013, 1014],
    937: [144, 238, 490, 853, 1009, 1012, 1014],
    938: [144, 238, 490, 853, 1009, 1012, 1013],
    939: [144, 238, 490, 853, 994, 1009, 1013],
    940: [144, 238, 490, 853, 994, 1009, 1012],
    941: [144, 238, 490, 853, 947, 1009, 1014],
    942: [144, 238, 490, 853, 947, 1009, 1013],
    943: [144, 238, 490, 853, 947, 994, 1009],
    944: [144, 238, 490, 853, 900, 1009, 1014],
    945: [144, 238, 490, 853, 900, 1009, 1013],
    946: [144, 238, 490, 853, 900, 994, 1009],
    947: [144, 238, 490, 742, 1009, 1012, 1013],
    948: [144, 238, 490, 742, 947, 1009, 1012],
    949: [144, 238, 490, 742, 900, 1009, 1012],
    950: [144, 238, 490, 742, 853, 1009, 1013],
    951: [144, 238, 490, 742, 853, 1009, 1012],
    952: [144, 238, 490, 742, 853, 947, 1009],
    953: [144, 238, 490, 742, 853, 900, 1009],
    954: [144, 238, 490, 695, 1009, 1012, 1014],
    955: [144, 238, 490, 695, 1009, 1012, 1013],
    956: [144, 238, 490, 695, 994, 1009, 1012],
    957: [144, 238, 490, 695, 853, 1009, 1014],
    958: [144, 238, 490, 695, 853, 1009, 1013],
    959: [144, 238, 490, 695, 853, 994, 1009],
    960: [144, 238, 490, 695, 742, 1009, 1012],
    961: [144, 238, 490, 695, 742, 853, 1009],
    962: [144, 238, 490, 648, 1009, 1012, 1014],
    963: [144, 238, 490, 648, 1009, 1012, 1013],
    964: [144, 238, 490, 648, 994, 1009, 1012],
    965: [144, 238, 490, 648, 853, 1009, 1014],
    966: [144, 238, 490, 648, 853, 1009, 1013],
    967: [144, 238, 490, 648, 853, 994, 1009],
    968: [144, 238, 490, 648, 742, 1009, 1012],
    969: [144, 238, 490, 648, 742, 853, 1009]
}

radial_switch_combinations_ieee33 = {
    0: [16, 17, 18, 19, 20],
    1: [15, 16, 17, 18, 20],
    2: [13, 16, 17, 18, 19],
    3: [13, 15, 16, 17, 18],
    4: [12, 16, 17, 18, 19],
    5: [12, 15, 16, 17, 18],
    6: [11, 16, 17, 18, 19],
    7: [11, 15, 16, 17, 18],
    8: [10, 16, 17, 19, 20],
    9: [10, 15, 16, 17, 20],
    10: [10, 13, 16, 17, 19],
    11: [10, 13, 15, 16, 17],
    12: [10, 12, 16, 17, 19],
    13: [10, 12, 15, 16, 17],
    14: [10, 11, 16, 17, 19],
    15: [10, 11, 15, 16, 17],
    16: [9, 17, 18, 19, 20],
    17: [9, 16, 17, 19, 20],
    18: [9, 15, 17, 18, 20],
    19: [9, 15, 16, 17, 20],
    20: [9, 13, 17, 18, 19],
    21: [9, 13, 16, 17, 19],
    22: [9, 13, 15, 17, 18],
    23: [9, 13, 15, 16, 17],
    24: [9, 12, 17, 18, 19],
    25: [9, 12, 16, 17, 19],
    26: [9, 12, 15, 17, 18],
    27: [9, 12, 15, 16, 17],
    28: [9, 11, 17, 18, 19],
    29: [9, 11, 16, 17, 19],
    30: [9, 11, 15, 17, 18],
    31: [9, 11, 15, 16, 17],
    32: [9, 10, 17, 19, 20],
    33: [9, 10, 15, 17, 20],
    34: [9, 10, 13, 17, 19],
    35: [9, 10, 13, 15, 17],
    36: [9, 10, 12, 17, 19],
    37: [9, 10, 12, 15, 17],
    38: [9, 10, 11, 17, 19],
    39: [9, 10, 11, 15, 17],
    40: [8, 16, 17, 18, 20],
    41: [8, 13, 16, 17, 18],
    42: [8, 12, 16, 17, 18],
    43: [8, 11, 16, 17, 18],
    44: [8, 10, 16, 17, 20],
    45: [8, 10, 13, 16, 17],
    46: [8, 10, 12, 16, 17],
    47: [8, 10, 11, 16, 17],
    48: [8, 9, 17, 18, 20],
    49: [8, 9, 16, 17, 20],
    50: [8, 9, 13, 17, 18],
    51: [8, 9, 13, 16, 17],
    52: [8, 9, 12, 17, 18],
    53: [8, 9, 12, 16, 17],
    54: [8, 9, 11, 17, 18],
    55: [8, 9, 11, 16, 17],
    56: [8, 9, 10, 17, 20],
    57: [8, 9, 10, 13, 17],
    58: [8, 9, 10, 12, 17],
    59: [8, 9, 10, 11, 17],
    60: [7, 16, 18, 19, 20],
    61: [7, 16, 17, 18, 20],
    62: [7, 15, 16, 18, 20],
    63: [7, 13, 16, 18, 19],
    64: [7, 13, 16, 17, 18],
    65: [7, 13, 15, 16, 18],
    66: [7, 12, 16, 18, 19],
    67: [7, 12, 16, 17, 18],
    68: [7, 12, 15, 16, 18],
    69: [7, 11, 16, 18, 19],
    70: [7, 11, 16, 17, 18],
    71: [7, 11, 15, 16, 18],
    72: [7, 10, 16, 19, 20],
    73: [7, 10, 16, 17, 20],
    74: [7, 10, 15, 16, 20],
    75: [7, 10, 13, 16, 19],
    76: [7, 10, 13, 16, 17],
    77: [7, 10, 13, 15, 16],
    78: [7, 10, 12, 16, 19],
    79: [7, 10, 12, 16, 17],
    80: [7, 10, 12, 15, 16],
    81: [7, 10, 11, 16, 19],
    82: [7, 10, 11, 16, 17],
    83: [7, 10, 11, 15, 16],
    84: [7, 9, 18, 19, 20],
    85: [7, 9, 17, 18, 20],
    86: [7, 9, 16, 19, 20],
    87: [7, 9, 16, 17, 20],
    88: [7, 9, 15, 18, 20],
    89: [7, 9, 15, 16, 20],
    90: [7, 9, 13, 18, 19],
    91: [7, 9, 13, 17, 18],
    92: [7, 9, 13, 16, 19],
    93: [7, 9, 13, 16, 17],
    94: [7, 9, 13, 15, 18],
    95: [7, 9, 13, 15, 16],
    96: [7, 9, 12, 18, 19],
    97: [7, 9, 12, 17, 18],
    98: [7, 9, 12, 16, 19],
    99: [7, 9, 12, 16, 17],
    100: [7, 9, 12, 15, 18],
    101: [7, 9, 12, 15, 16],
    102: [7, 9, 11, 18, 19],
    103: [7, 9, 11, 17, 18],
    104: [7, 9, 11, 16, 19],
    105: [7, 9, 11, 16, 17],
    106: [7, 9, 11, 15, 18],
    107: [7, 9, 11, 15, 16],
    108: [7, 9, 10, 19, 20],
    109: [7, 9, 10, 17, 20],
    110: [7, 9, 10, 15, 20],
    111: [7, 9, 10, 13, 19],
    112: [7, 9, 10, 13, 17],
    113: [7, 9, 10, 13, 15],
    114: [7, 9, 10, 12, 19],
    115: [7, 9, 10, 12, 17],
    116: [7, 9, 10, 12, 15],
    117: [7, 9, 10, 11, 19],
    118: [7, 9, 10, 11, 17],
    119: [7, 9, 10, 11, 15],
    120: [7, 8, 16, 18, 20],
    121: [7, 8, 13, 16, 18],
    122: [7, 8, 12, 16, 18],
    123: [7, 8, 11, 16, 18],
    124: [7, 8, 10, 16, 20],
    125: [7, 8, 10, 13, 16],
    126: [7, 8, 10, 12, 16],
    127: [7, 8, 10, 11, 16],
    128: [7, 8, 9, 18, 20],
    129: [7, 8, 9, 16, 20],
    130: [7, 8, 9, 13, 18],
    131: [7, 8, 9, 13, 16],
    132: [7, 8, 9, 12, 18],
    133: [7, 8, 9, 12, 16],
    134: [7, 8, 9, 11, 18],
    135: [7, 8, 9, 11, 16],
    136: [7, 8, 9, 10, 20],
    137: [7, 8, 9, 10, 13],
    138: [7, 8, 9, 10, 12],
    139: [7, 8, 9, 10, 11],
    140: [6, 16, 18, 19, 20],
    141: [6, 16, 17, 18, 20],
    142: [6, 15, 16, 18, 20],
    143: [6, 13, 16, 18, 19],
    144: [6, 13, 16, 17, 18],
    145: [6, 13, 15, 16, 18],
    146: [6, 12, 16, 18, 19],
    147: [6, 12, 16, 17, 18],
    148: [6, 12, 15, 16, 18],
    149: [6, 11, 16, 18, 19],
    150: [6, 11, 16, 17, 18],
    151: [6, 11, 15, 16, 18],
    152: [6, 10, 16, 19, 20],
    153: [6, 10, 16, 17, 20],
    154: [6, 10, 15, 16, 20],
    155: [6, 10, 13, 16, 19],
    156: [6, 10, 13, 16, 17],
    157: [6, 10, 13, 15, 16],
    158: [6, 10, 12, 16, 19],
    159: [6, 10, 12, 16, 17],
    160: [6, 10, 12, 15, 16],
    161: [6, 10, 11, 16, 19],
    162: [6, 10, 11, 16, 17],
    163: [6, 10, 11, 15, 16],
    164: [6, 9, 18, 19, 20],
    165: [6, 9, 17, 18, 20],
    166: [6, 9, 16, 19, 20],
    167: [6, 9, 16, 17, 20],
    168: [6, 9, 15, 18, 20],
    169: [6, 9, 15, 16, 20],
    170: [6, 9, 13, 18, 19],
    171: [6, 9, 13, 17, 18],
    172: [6, 9, 13, 16, 19],
    173: [6, 9, 13, 16, 17],
    174: [6, 9, 13, 15, 18],
    175: [6, 9, 13, 15, 16],
    176: [6, 9, 12, 18, 19],
    177: [6, 9, 12, 17, 18],
    178: [6, 9, 12, 16, 19],
    179: [6, 9, 12, 16, 17],
    180: [6, 9, 12, 15, 18],
    181: [6, 9, 12, 15, 16],
    182: [6, 9, 11, 18, 19],
    183: [6, 9, 11, 17, 18],
    184: [6, 9, 11, 16, 19],
    185: [6, 9, 11, 16, 17],
    186: [6, 9, 11, 15, 18],
    187: [6, 9, 11, 15, 16],
    188: [6, 9, 10, 19, 20],
    189: [6, 9, 10, 17, 20],
    190: [6, 9, 10, 15, 20],
    191: [6, 9, 10, 13, 19],
    192: [6, 9, 10, 13, 17],
    193: [6, 9, 10, 13, 15],
    194: [6, 9, 10, 12, 19],
    195: [6, 9, 10, 12, 17],
    196: [6, 9, 10, 12, 15],
    197: [6, 9, 10, 11, 19],
    198: [6, 9, 10, 11, 17],
    199: [6, 9, 10, 11, 15],
    200: [6, 8, 16, 18, 20],
    201: [6, 8, 13, 16, 18],
    202: [6, 8, 12, 16, 18],
    203: [6, 8, 11, 16, 18],
    204: [6, 8, 10, 16, 20],
    205: [6, 8, 10, 13, 16],
    206: [6, 8, 10, 12, 16],
    207: [6, 8, 10, 11, 16],
    208: [6, 8, 9, 18, 20],
    209: [6, 8, 9, 16, 20],
    210: [6, 8, 9, 13, 18],
    211: [6, 8, 9, 13, 16],
    212: [6, 8, 9, 12, 18],
    213: [6, 8, 9, 12, 16],
    214: [6, 8, 9, 11, 18],
    215: [6, 8, 9, 11, 16],
    216: [6, 8, 9, 10, 20],
    217: [6, 8, 9, 10, 13],
    218: [6, 8, 9, 10, 12],
    219: [6, 8, 9, 10, 11],
    220: [5, 16, 18, 19, 20],
    221: [5, 16, 17, 19, 20],
    222: [5, 16, 17, 18, 20],
    223: [5, 15, 16, 18, 20],
    224: [5, 15, 16, 17, 20],
    225: [5, 13, 16, 18, 19],
    226: [5, 13, 16, 17, 19],
    227: [5, 13, 16, 17, 18],
    228: [5, 13, 15, 16, 18],
    229: [5, 13, 15, 16, 17],
    230: [5, 12, 16, 18, 19],
    231: [5, 12, 16, 17, 19],
    232: [5, 12, 16, 17, 18],
    233: [5, 12, 15, 16, 18],
    234: [5, 12, 15, 16, 17],
    235: [5, 11, 16, 18, 19],
    236: [5, 11, 16, 17, 19],
    237: [5, 11, 16, 17, 18],
    238: [5, 11, 15, 16, 18],
    239: [5, 11, 15, 16, 17],
    240: [5, 10, 16, 19, 20],
    241: [5, 10, 16, 17, 20],
    242: [5, 10, 15, 16, 20],
    243: [5, 10, 13, 16, 19],
    244: [5, 10, 13, 16, 17],
    245: [5, 10, 13, 15, 16],
    246: [5, 10, 12, 16, 19],
    247: [5, 10, 12, 16, 17],
    248: [5, 10, 12, 15, 16],
    249: [5, 10, 11, 16, 19],
    250: [5, 10, 11, 16, 17],
    251: [5, 10, 11, 15, 16],
    252: [5, 9, 18, 19, 20],
    253: [5, 9, 17, 19, 20],
    254: [5, 9, 17, 18, 20],
    255: [5, 9, 16, 19, 20],
    256: [5, 9, 16, 17, 20],
    257: [5, 9, 15, 18, 20],
    258: [5, 9, 15, 17, 20],
    259: [5, 9, 15, 16, 20],
    260: [5, 9, 13, 18, 19],
    261: [5, 9, 13, 17, 19],
    262: [5, 9, 13, 17, 18],
    263: [5, 9, 13, 16, 19],
    264: [5, 9, 13, 16, 17],
    265: [5, 9, 13, 15, 18],
    266: [5, 9, 13, 15, 17],
    267: [5, 9, 13, 15, 16],
    268: [5, 9, 12, 18, 19],
    269: [5, 9, 12, 17, 19],
    270: [5, 9, 12, 17, 18],
    271: [5, 9, 12, 16, 19],
    272: [5, 9, 12, 16, 17],
    273: [5, 9, 12, 15, 18],
    274: [5, 9, 12, 15, 17],
    275: [5, 9, 12, 15, 16],
    276: [5, 9, 11, 18, 19],
    277: [5, 9, 11, 17, 19],
    278: [5, 9, 11, 17, 18],
    279: [5, 9, 11, 16, 19],
    280: [5, 9, 11, 15, 18],
    281: [5, 9, 11, 15, 17],
    282: [5, 9, 11, 15, 16],
    283: [5, 9, 10, 19, 20],
    284: [5, 9, 10, 17, 20],
    285: [5, 9, 10, 15, 20],
    286: [5, 9, 10, 13, 19],
    287: [5, 9, 10, 13, 17],
    288: [5, 9, 10, 13, 15],
    289: [5, 9, 10, 12, 19],
    290: [5, 9, 10, 12, 17],
    291: [5, 9, 10, 12, 15],
    292: [5, 9, 10, 11, 19],
    293: [5, 9, 10, 11, 17],
    294: [5, 9, 10, 11, 15],
    295: [5, 8, 16, 18, 20],
    296: [5, 8, 16, 17, 20],
    297: [5, 8, 13, 16, 18],
    298: [5, 8, 13, 16, 17],
    299: [5, 8, 12, 16, 18],
    300: [5, 8, 12, 16, 17],
    301: [5, 8, 11, 16, 18],
    302: [5, 8, 11, 16, 17],
    303: [5, 8, 10, 16, 20],
    304: [5, 8, 10, 13, 16],
    305: [5, 8, 10, 12, 16],
    306: [5, 8, 10, 11, 16],
    307: [5, 8, 9, 18, 20],
    308: [5, 8, 9, 17, 20],
    309: [5, 8, 9, 16, 20],
    310: [5, 8, 9, 13, 18],
    311: [5, 8, 9, 13, 17],
    312: [5, 8, 9, 13, 16],
    313: [5, 8, 9, 12, 18],
    314: [5, 8, 9, 12, 17],
    315: [5, 8, 9, 12, 16],
    316: [5, 8, 9, 11, 18],
    317: [5, 8, 9, 11, 17],
    318: [5, 8, 9, 11, 16],
    319: [5, 8, 9, 10, 20],
    320: [5, 8, 9, 10, 13],
    321: [5, 8, 9, 10, 12],
    322: [5, 8, 9, 10, 11],
    323: [5, 7, 16, 19, 20],
    324: [5, 7, 16, 17, 20],
    325: [5, 7, 15, 16, 20],
    326: [5, 7, 13, 16, 19],
    327: [5, 7, 13, 16, 17],
    328: [5, 7, 13, 15, 16],
    329: [5, 7, 12, 16, 19],
    330: [5, 7, 12, 16, 17],
    331: [5, 7, 12, 15, 16],
    332: [5, 7, 11, 16, 19],
    333: [5, 7, 11, 16, 17],
    334: [5, 7, 11, 15, 16],
    335: [5, 7, 9, 19, 20],
    336: [5, 7, 9, 17, 20],
    337: [5, 7, 9, 15, 20],
    338: [5, 7, 9, 13, 19],
    339: [5, 7, 9, 13, 17],
    340: [5, 7, 9, 13, 15],
    341: [5, 7, 9, 12, 19],
    342: [5, 7, 9, 12, 17],
    343: [5, 7, 9, 12, 15],
    344: [5, 7, 9, 11, 19],
    345: [5, 7, 9, 11, 17],
    346: [5, 7, 9, 11, 15],
    347: [5, 7, 8, 16, 20],
    348: [5, 7, 8, 13, 16],
    349: [5, 7, 8, 12, 16],
    350: [5, 7, 8, 11, 16],
    351: [5, 7, 8, 9, 20],
    352: [5, 7, 8, 9, 13],
    353: [5, 7, 8, 9, 12],
    354: [5, 7, 8, 9, 11],
    355: [5, 6, 16, 19, 20],
    356: [5, 6, 16, 17, 20],
    357: [5, 6, 15, 16, 20],
    358: [5, 6, 13, 16, 19],
    359: [5, 6, 13, 16, 17],
    360: [5, 6, 13, 15, 16],
    361: [5, 6, 12, 16, 19],
    362: [5, 6, 12, 16, 17],
    363: [5, 6, 12, 15, 16],
    364: [5, 6, 11, 16, 19],
    365: [5, 6, 11, 16, 17],
    366: [5, 6, 11, 15, 16],
    367: [5, 6, 9, 19, 20],
    368: [5, 6, 9, 17, 20],
    369: [5, 6, 9, 15, 20],
    370: [5, 6, 9, 13, 19],
    371: [5, 6, 9, 13, 17],
    372: [5, 6, 9, 13, 15],
    373: [5, 6, 9, 12, 19],
    374: [5, 6, 9, 12, 17],
    375: [5, 6, 9, 12, 15],
    376: [5, 6, 9, 11, 19],
    377: [5, 6, 9, 11, 17],
    378: [5, 6, 9, 11, 15],
    379: [5, 6, 8, 16, 20],
    380: [5, 6, 8, 13, 16],
    381: [5, 6, 8, 12, 16],
    382: [5, 6, 8, 11, 16],
    383: [5, 6, 8, 9, 20],
    384: [5, 6, 8, 9, 13],
    385: [5, 6, 8, 9, 12],
    386: [5, 6, 8, 9, 11],
    387: [4, 16, 17, 19, 20],
    388: [4, 16, 17, 18, 20],
    389: [4, 15, 16, 17, 20],
    390: [4, 13, 16, 17, 19],
    391: [4, 13, 16, 17, 18],
    392: [4, 13, 15, 16, 17],
    393: [4, 12, 16, 17, 19],
    394: [4, 12, 16, 17, 18],
    395: [4, 12, 15, 16, 17],
    396: [4, 11, 16, 17, 19],
    397: [4, 11, 16, 17, 18],
    398: [4, 11, 15, 16, 17],
    399: [4, 10, 16, 17, 20],
    400: [4, 10, 13, 16, 17],
    401: [4, 10, 12, 16, 17],
    402: [4, 10, 11, 16, 17],
    403: [4, 9, 17, 19, 20],
    404: [4, 9, 17, 18, 20],
    405: [4, 9, 16, 17, 20],
    406: [4, 9, 15, 17, 20],
    407: [4, 9, 13, 17, 19],
    408: [4, 9, 13, 17, 18],
    409: [4, 9, 13, 16, 17],
    410: [4, 9, 13, 15, 17],
    411: [4, 9, 12, 17, 19],
    412: [4, 9, 12, 17, 18],
    413: [4, 9, 12, 16, 17],
    414: [4, 9, 12, 15, 17],
    415: [4, 9, 11, 17, 19],
    416: [4, 9, 11, 17, 18],
    417: [4, 9, 11, 15, 17],
    418: [4, 9, 10, 17, 20],
    419: [4, 9, 10, 13, 17],
    420: [4, 9, 10, 12, 17],
    421: [4, 9, 10, 11, 17],
    422: [4, 8, 16, 17, 20],
    423: [4, 8, 13, 16, 17],
    424: [4, 8, 12, 16, 17],
    425: [4, 8, 11, 16, 17],
    426: [4, 8, 9, 17, 20],
    427: [4, 8, 9, 13, 17],
    428: [4, 8, 9, 12, 17],
    429: [4, 8, 9, 11, 17],
    430: [4, 7, 16, 19, 20],
    431: [4, 7, 16, 18, 20],
    432: [4, 7, 16, 17, 20],
    433: [4, 7, 15, 16, 20],
    434: [4, 7, 13, 16, 19],
    435: [4, 7, 13, 16, 18],
    436: [4, 7, 13, 16, 17],
    437: [4, 7, 13, 15, 16],
    438: [4, 7, 12, 16, 19],
    439: [4, 7, 12, 16, 18],
    440: [4, 7, 12, 16, 17],
    441: [4, 7, 12, 15, 16],
    442: [4, 7, 11, 16, 19],
    443: [4, 7, 11, 16, 18],
    444: [4, 7, 11, 16, 17],
    445: [4, 7, 11, 15, 16],
    446: [4, 7, 10, 16, 20],
    447: [4, 7, 10, 13, 16],
    448: [4, 7, 10, 12, 16],
    449: [4, 7, 10, 11, 16],
    450: [4, 7, 9, 19, 20],
    451: [4, 7, 9, 18, 20],
    452: [4, 7, 9, 17, 20],
    453: [4, 7, 9, 16, 20],
    454: [4, 7, 9, 15, 20],
    455: [4, 7, 9, 13, 19],
    456: [4, 7, 9, 13, 18],
    457: [4, 7, 9, 13, 17],
    458: [4, 7, 9, 13, 16],
    459: [4, 7, 9, 13, 15],
    460: [4, 7, 9, 12, 19],
    461: [4, 7, 9, 12, 18],
    462: [4, 7, 9, 12, 17],
    463: [4, 7, 9, 12, 16],
    464: [4, 7, 9, 12, 15],
    465: [4, 7, 9, 11, 19],
    466: [4, 7, 9, 11, 18],
    467: [4, 7, 9, 11, 17],
    468: [4, 7, 9, 11, 15],
    469: [4, 7, 9, 10, 20],
    470: [4, 7, 9, 10, 13],
    471: [4, 7, 9, 10, 12],
    472: [4, 7, 8, 16, 20],
    473: [4, 7, 8, 13, 16],
    474: [4, 7, 8, 12, 16],
    475: [4, 7, 8, 11, 16],
    476: [4, 7, 8, 9, 20],
    477: [4, 7, 8, 9, 13],
    478: [4, 7, 8, 9, 12],
    479: [4, 7, 8, 9, 11],
    480: [4, 6, 16, 19, 20],
    481: [4, 6, 16, 18, 20],
    482: [4, 6, 16, 17, 20],
    483: [4, 6, 15, 16, 20],
    484: [4, 6, 13, 16, 19],
    485: [4, 6, 13, 16, 18],
    486: [4, 6, 13, 16, 17],
    487: [4, 6, 13, 15, 16],
    488: [4, 6, 12, 16, 19],
    489: [4, 6, 12, 16, 18],
    490: [4, 6, 12, 16, 17],
    491: [4, 6, 12, 15, 16],
    492: [4, 6, 11, 16, 19],
    493: [4, 6, 11, 16, 18],
    494: [4, 6, 11, 16, 17],
    495: [4, 6, 11, 15, 16],
    496: [4, 6, 10, 16, 20],
    497: [4, 6, 10, 13, 16],
    498: [4, 6, 10, 12, 16],
    499: [4, 6, 10, 11, 16],
    500: [4, 6, 9, 19, 20],
    501: [4, 6, 9, 18, 20],
    502: [4, 6, 9, 17, 20],
    503: [4, 6, 9, 16, 20],
    504: [4, 6, 9, 15, 20],
    505: [4, 6, 9, 13, 19],
    506: [4, 6, 9, 13, 18],
    507: [4, 6, 9, 13, 17],
    508: [4, 6, 9, 13, 16],
    509: [4, 6, 9, 13, 15],
    510: [4, 6, 9, 12, 19],
    511: [4, 6, 9, 12, 18],
    512: [4, 6, 9, 12, 17],
    513: [4, 6, 9, 12, 16],
    514: [4, 6, 9, 12, 15],
    515: [4, 6, 9, 11, 19],
    516: [4, 6, 9, 11, 18],
    517: [4, 6, 9, 11, 17],
    518: [4, 6, 9, 11, 15],
    519: [4, 6, 9, 10, 20],
    520: [4, 6, 9, 10, 13],
    521: [4, 6, 9, 10, 12],
    522: [4, 6, 9, 10, 11],
    523: [4, 6, 8, 16, 20],
    524: [4, 6, 8, 13, 16],
    525: [4, 6, 8, 12, 16],
    526: [4, 6, 8, 11, 16],
    527: [4, 6, 8, 9, 20],
    528: [4, 6, 8, 9, 13],
    529: [4, 6, 8, 9, 12],
    530: [4, 6, 8, 9, 11],
    531: [4, 5, 16, 19, 20],
    532: [4, 5, 16, 18, 20],
    533: [4, 5, 15, 16, 20],
    534: [4, 5, 13, 16, 19],
    535: [4, 5, 13, 16, 18],
    536: [4, 5, 13, 15, 16],
    537: [4, 5, 12, 16, 19],
    538: [4, 5, 12, 16, 18],
    539: [4, 5, 12, 15, 16],
    540: [4, 5, 11, 16, 19],
    541: [4, 5, 11, 16, 18],
    542: [4, 5, 11, 15, 16],
    543: [4, 5, 10, 16, 20],
    544: [4, 5, 10, 13, 16],
    545: [4, 5, 10, 12, 16],
    546: [4, 5, 10, 11, 16],
    547: [4, 5, 9, 19, 20],
    548: [4, 5, 9, 18, 20],
    549: [4, 5, 9, 16, 20],
    550: [4, 5, 9, 15, 20],
    551: [4, 5, 9, 13, 19],
    552: [4, 5, 9, 13, 18],
    553: [4, 5, 9, 13, 16],
    554: [4, 5, 9, 13, 15],
    555: [4, 5, 9, 12, 19],
    556: [4, 5, 9, 12, 18],
    557: [4, 5, 9, 12, 16],
    558: [4, 5, 9, 12, 15],
    559: [4, 5, 9, 11, 19],
    560: [4, 5, 9, 11, 18],
    561: [4, 5, 9, 11, 15],
    562: [4, 5, 9, 10, 20],
    563: [4, 5, 9, 10, 13],
    564: [4, 5, 9, 10, 12],
    565: [4, 5, 9, 10, 11],
    566: [4, 5, 8, 16, 20],
    567: [4, 5, 8, 13, 16],
    568: [4, 5, 8, 12, 16],
    569: [4, 5, 8, 11, 16],
    570: [4, 5, 8, 9, 20],
    571: [4, 5, 8, 9, 13],
    572: [4, 5, 8, 9, 12],
    573: [4, 5, 8, 9, 11],
    574: [4, 5, 7, 16, 20],
    575: [4, 5, 7, 13, 16],
    576: [4, 5, 7, 12, 16],
    577: [4, 5, 7, 11, 16],
    578: [4, 5, 7, 9, 20],
    579: [4, 5, 7, 9, 13],
    580: [4, 5, 7, 9, 12],
    581: [4, 5, 7, 9, 11],
    582: [4, 5, 6, 16, 20],
    583: [4, 5, 6, 13, 16],
    584: [4, 5, 6, 12, 16],
    585: [4, 5, 6, 11, 16],
    586: [4, 5, 6, 9, 20],
    587: [4, 5, 6, 9, 13],
    588: [4, 5, 6, 9, 12],
    589: [4, 5, 6, 9, 11],
    590: [3, 17, 18, 19, 20],
    591: [3, 16, 17, 19, 20],
    592: [3, 15, 17, 18, 20],
    593: [3, 15, 16, 17, 20],
    594: [3, 13, 17, 18, 19],
    595: [3, 13, 16, 17, 19],
    596: [3, 13, 16, 17, 18],
    597: [3, 13, 15, 17, 18],
    598: [3, 13, 15, 16, 17],
    599: [3, 12, 17, 18, 19],
    600: [3, 12, 16, 17, 19],
    601: [3, 12, 16, 17, 18],
    602: [3, 12, 15, 17, 18],
    603: [3, 12, 15, 16, 17],
    604: [3, 11, 17, 18, 19],
    605: [3, 11, 16, 17, 19],
    606: [3, 11, 15, 17, 18],
    607: [3, 11, 15, 16, 17],
    608: [3, 10, 17, 19, 20],
    609: [3, 10, 15, 17, 20],
    610: [3, 10, 13, 17, 19],
    611: [3, 10, 13, 16, 17],
    612: [3, 10, 13, 15, 17],
    613: [3, 10, 12, 17, 19],
    614: [3, 10, 12, 16, 17],
    615: [3, 10, 12, 15, 17],
    616: [3, 10, 11, 17, 19],
    617: [3, 10, 11, 15, 17],
    618: [3, 8, 17, 18, 20],
    619: [3, 8, 16, 17, 20],
    620: [3, 8, 13, 17, 18],
    621: [3, 8, 13, 16, 17],
    622: [3, 8, 12, 17, 18],
    623: [3, 8, 12, 16, 17],
    624: [3, 8, 11, 17, 18],
    625: [3, 8, 11, 16, 17],
    626: [3, 8, 10, 17, 20],
    627: [3, 8, 10, 13, 17],
    628: [3, 8, 10, 12, 17],
    629: [3, 8, 10, 11, 17],
    630: [3, 7, 18, 19, 20],
    631: [3, 7, 17, 18, 20],
    632: [3, 7, 16, 19, 20],
    633: [3, 7, 16, 18, 20],
    634: [3, 7, 16, 17, 20],
    635: [3, 7, 15, 18, 20],
    636: [3, 7, 15, 16, 20],
    637: [3, 7, 13, 18, 19],
    638: [3, 7, 13, 17, 18],
    639: [3, 7, 13, 16, 19],
    640: [3, 7, 13, 16, 18],
    641: [3, 7, 13, 16, 17],
    642: [3, 7, 13, 15, 18],
    643: [3, 7, 13, 15, 16],
    644: [3, 7, 12, 18, 19],
    645: [3, 7, 12, 17, 18],
    646: [3, 7, 12, 16, 19],
    647: [3, 7, 12, 16, 18],
    648: [3, 7, 12, 16, 17],
    649: [3, 7, 12, 15, 18],
    650: [3, 7, 12, 15, 16],
    651: [3, 7, 11, 18, 19],
    652: [3, 7, 11, 17, 18],
    653: [3, 7, 11, 16, 19],
    654: [3, 7, 11, 16, 17],
    655: [3, 7, 11, 15, 18],
    656: [3, 7, 11, 15, 16],
    657: [3, 7, 10, 19, 20],
    658: [3, 7, 10, 17, 20],
    659: [3, 7, 10, 15, 20],
    660: [3, 7, 10, 13, 19],
    661: [3, 7, 10, 13, 17],
    662: [3, 7, 10, 13, 16],
    663: [3, 7, 10, 13, 15],
    664: [3, 7, 10, 12, 19],
    665: [3, 7, 10, 12, 17],
    666: [3, 7, 10, 12, 16],
    667: [3, 7, 10, 12, 15],
    668: [3, 7, 10, 11, 19],
    669: [3, 7, 10, 11, 17],
    670: [3, 7, 10, 11, 15],
    671: [3, 7, 8, 18, 20],
    672: [3, 7, 8, 16, 20],
    673: [3, 7, 8, 13, 18],
    674: [3, 7, 8, 13, 16],
    675: [3, 7, 8, 12, 18],
    676: [3, 7, 8, 12, 16],
    677: [3, 7, 8, 11, 18],
    678: [3, 7, 8, 11, 16],
    679: [3, 7, 8, 10, 20],
    680: [3, 7, 8, 10, 13],
    681: [3, 7, 8, 10, 12],
    682: [3, 7, 8, 10, 11],
    683: [3, 6, 18, 19, 20],
    684: [3, 6, 17, 18, 20],
    685: [3, 6, 16, 19, 20],
    686: [3, 6, 16, 18, 20],
    687: [3, 6, 16, 17, 20],
    688: [3, 6, 15, 18, 20],
    689: [3, 6, 15, 16, 20],
    690: [3, 6, 13, 18, 19],
    691: [3, 6, 13, 17, 18],
    692: [3, 6, 13, 16, 19],
    693: [3, 6, 13, 16, 18],
    694: [3, 6, 13, 16, 17],
    695: [3, 6, 13, 15, 18],
    696: [3, 6, 13, 15, 16],
    697: [3, 6, 12, 18, 19],
    698: [3, 6, 12, 17, 18],
    699: [3, 6, 12, 16, 19],
    700: [3, 6, 12, 16, 18],
    701: [3, 6, 12, 16, 17],
    702: [3, 6, 12, 15, 18],
    703: [3, 6, 12, 15, 16],
    704: [3, 6, 11, 18, 19],
    705: [3, 6, 11, 17, 18],
    706: [3, 6, 11, 16, 19],
    707: [3, 6, 11, 16, 17],
    708: [3, 6, 11, 15, 18],
    709: [3, 6, 11, 15, 16],
    710: [3, 6, 10, 19, 20],
    711: [3, 6, 10, 17, 20],
    712: [3, 6, 10, 16, 20],
    713: [3, 6, 10, 15, 20],
    714: [3, 6, 10, 13, 19],
    715: [3, 6, 10, 13, 17],
    716: [3, 6, 10, 13, 16],
    717: [3, 6, 10, 13, 15],
    718: [3, 6, 10, 12, 19],
    719: [3, 6, 10, 12, 17],
    720: [3, 6, 10, 12, 16],
    721: [3, 6, 10, 12, 15],
    722: [3, 6, 10, 11, 19],
    723: [3, 6, 10, 11, 17],
    724: [3, 6, 10, 11, 15],
    725: [3, 6, 9, 10, 13],
    726: [3, 6, 8, 18, 20],
    727: [3, 6, 8, 16, 20],
    728: [3, 6, 8, 13, 18],
    729: [3, 6, 8, 13, 16],
    730: [3, 6, 8, 12, 18],
    731: [3, 6, 8, 12, 16],
    732: [3, 6, 8, 11, 18],
    733: [3, 6, 8, 11, 16],
    734: [3, 6, 8, 10, 20],
    735: [3, 6, 8, 10, 13],
    736: [3, 6, 8, 10, 12],
    737: [3, 6, 8, 10, 11],
    738: [3, 5, 18, 19, 20],
    739: [3, 5, 17, 19, 20],
    740: [3, 5, 17, 18, 20],
    741: [3, 5, 16, 19, 20],
    742: [3, 5, 16, 18, 20],
    743: [3, 5, 15, 18, 20],
    744: [3, 5, 15, 17, 20],
    745: [3, 5, 15, 16, 20],
    746: [3, 5, 13, 18, 19],
    747: [3, 5, 13, 17, 19],
    748: [3, 5, 13, 17, 18],
    749: [3, 5, 13, 16, 19],
    750: [3, 5, 13, 16, 18],
    751: [3, 5, 13, 15, 18],
    752: [3, 5, 13, 15, 17],
    753: [3, 5, 13, 15, 16],
    754: [3, 5, 12, 18, 19],
    755: [3, 5, 12, 17, 19],
    756: [3, 5, 12, 17, 18],
    757: [3, 5, 12, 16, 19],
    758: [3, 5, 12, 16, 18],
    759: [3, 5, 12, 15, 18],
    760: [3, 5, 12, 15, 17],
    761: [3, 5, 12, 15, 16],
    762: [3, 5, 11, 18, 19],
    763: [3, 5, 11, 17, 19],
    764: [3, 5, 11, 17, 18],
    765: [3, 5, 11, 16, 19],
    766: [3, 5, 11, 15, 18],
    767: [3, 5, 11, 15, 17],
    768: [3, 5, 11, 15, 16],
    769: [3, 5, 10, 19, 20],
    770: [3, 5, 10, 17, 20],
    771: [3, 5, 10, 16, 20],
    772: [3, 5, 10, 15, 20],
    773: [3, 5, 10, 13, 19],
    774: [3, 5, 10, 13, 17],
    775: [3, 5, 10, 13, 16],
    776: [3, 5, 10, 13, 15],
    777: [3, 5, 10, 12, 19],
    778: [3, 5, 10, 12, 17],
    779: [3, 5, 10, 12, 16],
    780: [3, 5, 10, 12, 15],
    781: [3, 5, 10, 11, 19],
    782: [3, 5, 10, 11, 17],
    783: [3, 5, 10, 11, 15],
    784: [3, 5, 9, 13, 18],
    785: [3, 5, 9, 13, 16],
    786: [3, 5, 9, 12, 16],
    787: [3, 5, 9, 10, 13],
    788: [3, 5, 9, 10, 12],
    789: [3, 5, 8, 18, 20],
    790: [3, 5, 8, 17, 20],
    791: [3, 5, 8, 16, 20],
    792: [3, 5, 8, 13, 18],
    793: [3, 5, 8, 13, 17],
    794: [3, 5, 8, 13, 16],
    795: [3, 5, 8, 12, 18],
    796: [3, 5, 8, 12, 17],
    797: [3, 5, 8, 12, 16],
    798: [3, 5, 8, 11, 18],
    799: [3, 5, 8, 11, 17],
    800: [3, 5, 8, 11, 16],
    801: [3, 5, 8, 10, 20],
    802: [3, 5, 8, 10, 13],
    803: [3, 5, 8, 10, 12],
    804: [3, 5, 8, 10, 11],
    805: [3, 5, 7, 19, 20],
    806: [3, 5, 7, 17, 20],
    807: [3, 5, 7, 16, 20],
    808: [3, 5, 7, 15, 20],
    809: [3, 5, 7, 13, 19],
    810: [3, 5, 7, 13, 17],
    811: [3, 5, 7, 13, 16],
    812: [3, 5, 7, 13, 15],
    813: [3, 5, 7, 12, 19],
    814: [3, 5, 7, 12, 17],
    815: [3, 5, 7, 12, 16],
    816: [3, 5, 7, 12, 15],
    817: [3, 5, 7, 11, 19],
    818: [3, 5, 7, 11, 17],
    819: [3, 5, 7, 11, 16],
    820: [3, 5, 7, 11, 15],
    821: [3, 5, 7, 8, 20],
    822: [3, 5, 7, 8, 13],
    823: [3, 5, 7, 8, 12],
    824: [3, 5, 7, 8, 11],
    825: [3, 5, 6, 19, 20],
    826: [3, 5, 6, 17, 20],
    827: [3, 5, 6, 16, 20],
    828: [3, 5, 6, 15, 20],
    829: [3, 5, 6, 13, 19],
    830: [3, 5, 6, 13, 17],
    831: [3, 5, 6, 13, 16],
    832: [3, 5, 6, 13, 15],
    833: [3, 5, 6, 12, 19],
    834: [3, 5, 6, 12, 17],
    835: [3, 5, 6, 12, 16],
    836: [3, 5, 6, 12, 15],
    837: [3, 5, 6, 11, 19],
    838: [3, 5, 6, 11, 17],
    839: [3, 5, 6, 11, 15],
    840: [3, 5, 6, 8, 20],
    841: [3, 5, 6, 8, 13],
    842: [3, 5, 6, 8, 12],
    843: [3, 5, 6, 8, 11],
    844: [3, 4, 17, 19, 20],
    845: [3, 4, 17, 18, 20],
    846: [3, 4, 15, 17, 20],
    847: [3, 4, 13, 17, 19],
    848: [3, 4, 13, 17, 18],
    849: [3, 4, 13, 15, 17],
    850: [3, 4, 12, 17, 19],
    851: [3, 4, 12, 17, 18],
    852: [3, 4, 12, 15, 17],
    853: [3, 4, 11, 17, 19],
    854: [3, 4, 11, 17, 18],
    855: [3, 4, 11, 15, 17],
    856: [3, 4, 10, 17, 20],
    857: [3, 4, 10, 13, 17],
    858: [3, 4, 10, 12, 17],
    859: [3, 4, 10, 11, 17],
    860: [3, 4, 8, 17, 20],
    861: [3, 4, 8, 13, 17],
    862: [3, 4, 8, 12, 17],
    863: [3, 4, 8, 11, 17],
    864: [3, 4, 7, 19, 20],
    865: [3, 4, 7, 18, 20],
    866: [3, 4, 7, 17, 20],
    867: [3, 4, 7, 15, 20],
    868: [3, 4, 7, 13, 19],
    869: [3, 4, 7, 13, 18],
    870: [3, 4, 7, 13, 17],
    871: [3, 4, 7, 13, 15],
    872: [3, 4, 7, 12, 19],
    873: [3, 4, 7, 12, 18],
    874: [3, 4, 7, 12, 17],
    875: [3, 4, 7, 12, 15],
    876: [3, 4, 7, 11, 19],
    877: [3, 4, 7, 11, 18],
    878: [3, 4, 7, 11, 17],
    879: [3, 4, 7, 11, 15],
    880: [3, 4, 7, 10, 20],
    881: [3, 4, 7, 10, 13],
    882: [3, 4, 7, 10, 12],
    883: [3, 4, 7, 10, 11],
    884: [3, 4, 7, 8, 20],
    885: [3, 4, 7, 8, 13],
    886: [3, 4, 7, 8, 12],
    887: [3, 4, 7, 8, 11],
    888: [3, 4, 6, 19, 20],
    889: [3, 4, 6, 18, 20],
    890: [3, 4, 6, 17, 20],
    891: [3, 4, 6, 15, 20],
    892: [3, 4, 6, 13, 19],
    893: [3, 4, 6, 13, 18],
    894: [3, 4, 6, 13, 17],
    895: [3, 4, 6, 13, 15],
    896: [3, 4, 6, 12, 19],
    897: [3, 4, 6, 12, 18],
    898: [3, 4, 6, 12, 17],
    899: [3, 4, 6, 12, 15],
    900: [3, 4, 6, 11, 19],
    901: [3, 4, 6, 11, 18],
    902: [3, 4, 6, 11, 17],
    903: [3, 4, 6, 11, 15],
    904: [3, 4, 6, 10, 20],
    905: [3, 4, 6, 10, 13],
    906: [3, 4, 6, 10, 12],
    907: [3, 4, 6, 10, 11],
    908: [3, 4, 6, 8, 20],
    909: [3, 4, 6, 8, 13],
    910: [3, 4, 6, 8, 12],
    911: [3, 4, 6, 8, 11],
    912: [3, 4, 5, 19, 20],
    913: [3, 4, 5, 18, 20],
    914: [3, 4, 5, 15, 20],
    915: [3, 4, 5, 13, 19],
    916: [3, 4, 5, 13, 18],
    917: [3, 4, 5, 13, 15],
    918: [3, 4, 5, 12, 19],
    919: [3, 4, 5, 12, 18],
    920: [3, 4, 5, 12, 15],
    921: [3, 4, 5, 11, 19],
    922: [3, 4, 5, 11, 18],
    923: [3, 4, 5, 11, 15],
    924: [3, 4, 5, 10, 20],
    925: [3, 4, 5, 10, 13],
    926: [3, 4, 5, 10, 12],
    927: [3, 4, 5, 10, 11],
    928: [3, 4, 5, 8, 20],
    929: [3, 4, 5, 8, 13],
    930: [3, 4, 5, 8, 12],
    931: [3, 4, 5, 8, 11],
    932: [3, 4, 5, 7, 20],
    933: [3, 4, 5, 7, 13],
    934: [3, 4, 5, 7, 12],
    935: [3, 4, 5, 7, 11],
    936: [3, 4, 5, 6, 20],
    937: [3, 4, 5, 6, 13],
    938: [3, 4, 5, 6, 12],
    939: [3, 4, 5, 6, 11],
    940: [2, 16, 17, 18, 19],
    941: [2, 13, 17, 18, 19],
    942: [2, 13, 16, 17, 19],
    943: [2, 13, 15, 17, 18],
    944: [2, 13, 15, 16, 17],
    945: [2, 12, 17, 18, 19],
    946: [2, 12, 16, 17, 19],
    947: [2, 12, 15, 17, 18],
    948: [2, 12, 15, 16, 17],
    949: [2, 10, 16, 17, 19],
    950: [2, 10, 13, 17, 19],
    951: [2, 10, 13, 15, 17],
    952: [2, 10, 12, 17, 19],
    953: [2, 10, 12, 15, 17],
    954: [2, 9, 17, 18, 19],
    955: [2, 9, 16, 17, 19],
    956: [2, 9, 10, 17, 19],
    957: [2, 8, 16, 17, 18],
    958: [2, 8, 13, 17, 18],
    959: [2, 8, 13, 16, 17],
    960: [2, 8, 12, 17, 18],
    961: [2, 8, 12, 16, 17],
    962: [2, 8, 10, 16, 17],
    963: [2, 8, 10, 13, 17],
    964: [2, 8, 10, 12, 17],
    965: [2, 8, 9, 17, 18],
    966: [2, 8, 9, 16, 17],
    967: [2, 8, 9, 10, 17],
    968: [2, 7, 16, 18, 19],
    969: [2, 7, 16, 17, 18],
    970: [2, 7, 13, 18, 19],
    971: [2, 7, 13, 17, 18],
    972: [2, 7, 13, 16, 19],
    973: [2, 7, 13, 16, 17],
    974: [2, 7, 13, 15, 18],
    975: [2, 7, 13, 15, 16],
    976: [2, 7, 12, 18, 19],
    977: [2, 7, 12, 17, 18],
    978: [2, 7, 12, 16, 19],
    979: [2, 7, 12, 16, 18],
    980: [2, 7, 12, 16, 17],
    981: [2, 7, 12, 15, 18],
    982: [2, 7, 12, 15, 16],
    983: [2, 7, 10, 16, 19],
    984: [2, 7, 10, 16, 17],
    985: [2, 7, 10, 13, 19],
    986: [2, 7, 10, 13, 17],
    987: [2, 7, 10, 13, 15],
    988: [2, 7, 10, 12, 19],
    989: [2, 7, 10, 12, 17],
    990: [2, 7, 10, 12, 15],
    991: [2, 7, 9, 18, 19],
    992: [2, 7, 9, 17, 18],
    993: [2, 7, 9, 16, 19],
    994: [2, 7, 9, 16, 17],
    995: [2, 7, 9, 10, 19],
    996: [2, 7, 9, 10, 17],
    997: [2, 7, 8, 16, 18],
    998: [2, 7, 8, 13, 18],
    999: [2, 7, 8, 13, 16],
    1000: [2, 7, 8, 12, 18],
    1001: [2, 7, 8, 12, 16],
    1002: [2, 7, 8, 10, 16],
    1003: [2, 7, 8, 10, 13],
    1004: [2, 7, 8, 10, 12],
    1005: [2, 7, 8, 9, 18],
    1006: [2, 7, 8, 9, 16],
    1007: [2, 7, 8, 9, 10],
    1008: [2, 6, 16, 18, 19],
    1009: [2, 6, 16, 17, 18],
    1010: [2, 6, 13, 18, 19],
    1011: [2, 6, 13, 17, 18],
    1012: [2, 6, 13, 16, 19],
    1013: [2, 6, 13, 16, 17],
    1014: [2, 6, 13, 15, 18],
    1015: [2, 6, 13, 15, 16],
    1016: [2, 6, 12, 18, 19],
    1017: [2, 6, 12, 17, 18],
    1018: [2, 6, 12, 16, 19],
    1019: [2, 6, 12, 16, 18],
    1020: [2, 6, 12, 16, 17],
    1021: [2, 6, 12, 15, 18],
    1022: [2, 6, 12, 15, 16],
    1023: [2, 6, 10, 16, 19],
    1024: [2, 6, 10, 16, 17],
    1025: [2, 6, 10, 13, 19],
    1026: [2, 6, 10, 13, 17],
    1027: [2, 6, 10, 13, 15],
    1028: [2, 6, 10, 12, 19],
    1029: [2, 6, 10, 12, 17],
    1030: [2, 6, 10, 12, 16],
    1031: [2, 6, 10, 12, 15],
    1032: [2, 6, 9, 18, 19],
    1033: [2, 6, 9, 17, 18],
    1034: [2, 6, 9, 16, 19],
    1035: [2, 6, 9, 16, 17],
    1036: [2, 6, 9, 10, 19],
    1037: [2, 6, 9, 10, 17],
    1038: [2, 6, 8, 16, 18],
    1039: [2, 6, 8, 13, 18],
    1040: [2, 6, 8, 13, 16],
    1041: [2, 6, 8, 12, 18],
    1042: [2, 6, 8, 12, 16],
    1043: [2, 6, 8, 10, 16],
    1044: [2, 6, 8, 10, 13],
    1045: [2, 6, 8, 10, 12],
    1046: [2, 6, 8, 9, 18],
    1047: [2, 6, 8, 9, 16],
    1048: [2, 6, 8, 9, 10],
    1049: [2, 5, 16, 18, 19],
    1050: [2, 5, 16, 17, 19],
    1051: [2, 5, 16, 17, 18],
    1052: [2, 5, 15, 17, 20],
    1053: [2, 5, 15, 16, 17],
    1054: [2, 5, 13, 18, 19],
    1055: [2, 5, 13, 17, 19],
    1056: [2, 5, 13, 17, 18],
    1057: [2, 5, 13, 16, 19],
    1058: [2, 5, 13, 15, 18],
    1059: [2, 5, 13, 15, 17],
    1060: [2, 5, 13, 15, 16],
    1061: [2, 5, 12, 18, 19],
    1062: [2, 5, 12, 17, 19],
    1063: [2, 5, 12, 17, 18],
    1064: [2, 5, 12, 16, 19],
    1065: [2, 5, 12, 16, 18],
    1066: [2, 5, 12, 15, 18],
    1067: [2, 5, 12, 15, 17],
    1068: [2, 5, 12, 15, 16],
    1069: [2, 5, 10, 16, 19],
    1070: [2, 5, 10, 16, 17],
    1071: [2, 5, 10, 13, 19],
    1072: [2, 5, 10, 13, 17],
    1073: [2, 5, 10, 13, 15],
    1074: [2, 5, 10, 12, 19],
    1075: [2, 5, 10, 12, 17],
    1076: [2, 5, 10, 12, 16],
    1077: [2, 5, 10, 12, 15],
    1078: [2, 5, 9, 18, 19],
    1079: [2, 5, 9, 17, 19],
    1080: [2, 5, 9, 17, 18],
    1081: [2, 5, 9, 16, 19],
    1082: [2, 5, 9, 16, 17],
    1083: [2, 5, 9, 10, 19],
    1084: [2, 5, 9, 10, 17],
    1085: [2, 5, 8, 16, 18],
    1086: [2, 5, 8, 16, 17],
    1087: [2, 5, 8, 13, 18],
    1088: [2, 5, 8, 13, 17],
    1089: [2, 5, 8, 13, 16],
    1090: [2, 5, 8, 12, 18],
    1091: [2, 5, 8, 12, 17],
    1092: [2, 5, 8, 12, 16],
    1093: [2, 5, 8, 10, 16],
    1094: [2, 5, 8, 10, 13],
    1095: [2, 5, 8, 10, 12],
    1096: [2, 5, 8, 9, 18],
    1097: [2, 5, 8, 9, 17],
    1098: [2, 5, 8, 9, 16],
    1099: [2, 5, 8, 9, 10],
    1100: [2, 5, 7, 16, 19],
    1101: [2, 5, 7, 16, 17],
    1102: [2, 5, 7, 15, 20],
    1103: [2, 5, 7, 15, 16],
    1104: [2, 5, 7, 13, 19],
    1105: [2, 5, 7, 13, 17],
    1106: [2, 5, 7, 13, 16],
    1107: [2, 5, 7, 13, 15],
    1108: [2, 5, 7, 12, 19],
    1109: [2, 5, 7, 12, 17],
    1110: [2, 5, 7, 12, 16],
    1111: [2, 5, 7, 12, 15],
    1112: [2, 5, 7, 9, 19],
    1113: [2, 5, 7, 9, 17],
    1114: [2, 5, 7, 8, 16],
    1115: [2, 5, 7, 8, 13],
    1116: [2, 5, 7, 8, 12],
    1117: [2, 5, 7, 8, 9],
    1118: [2, 5, 6, 16, 19],
    1119: [2, 5, 6, 16, 17],
    1120: [2, 5, 6, 15, 20],
    1121: [2, 5, 6, 13, 19],
    1122: [2, 5, 6, 13, 17],
    1123: [2, 5, 6, 13, 16],
    1124: [2, 5, 6, 13, 15],
    1125: [2, 5, 6, 12, 19],
    1126: [2, 5, 6, 12, 17],
    1127: [2, 5, 6, 12, 16],
    1128: [2, 5, 6, 12, 15],
    1129: [2, 5, 6, 9, 19],
    1130: [2, 5, 6, 9, 17],
    1131: [2, 5, 6, 8, 16],
    1132: [2, 5, 6, 8, 13],
    1133: [2, 5, 6, 8, 12],
    1134: [2, 5, 6, 8, 9],
    1135: [2, 4, 16, 17, 19],
    1136: [2, 4, 16, 17, 18],
    1137: [2, 4, 15, 17, 20],
    1138: [2, 4, 15, 16, 17],
    1139: [2, 4, 13, 17, 19],
    1140: [2, 4, 13, 17, 18],
    1141: [2, 4, 13, 15, 17],
    1142: [2, 4, 12, 17, 19],
    1143: [2, 4, 12, 17, 18],
    1144: [2, 4, 12, 15, 17],
    1145: [2, 4, 10, 16, 17],
    1146: [2, 4, 10, 13, 17],
    1147: [2, 4, 10, 12, 17],
    1148: [2, 4, 9, 17, 18],
    1149: [2, 4, 9, 16, 17],
    1150: [2, 4, 9, 10, 17],
    1151: [2, 4, 8, 16, 17],
    1152: [2, 4, 8, 13, 17],
    1153: [2, 4, 8, 12, 17],
    1154: [2, 4, 8, 9, 17],
    1155: [2, 4, 7, 16, 19],
    1156: [2, 4, 7, 16, 18],
    1157: [2, 4, 7, 16, 17],
    1158: [2, 4, 7, 15, 20],
    1159: [2, 4, 7, 15, 16],
    1160: [2, 4, 7, 13, 19],
    1161: [2, 4, 7, 13, 18],
    1162: [2, 4, 7, 13, 17],
    1163: [2, 4, 7, 13, 15],
    1164: [2, 4, 7, 12, 19],
    1165: [2, 4, 7, 12, 18],
    1166: [2, 4, 7, 12, 17],
    1167: [2, 4, 7, 12, 15],
    1168: [2, 4, 7, 10, 16],
    1169: [2, 4, 7, 10, 13],
    1170: [2, 4, 7, 10, 12],
    1171: [2, 4, 7, 9, 18],
    1172: [2, 4, 7, 9, 17],
    1173: [2, 4, 7, 9, 16],
    1174: [2, 4, 7, 9, 10],
    1175: [2, 4, 7, 8, 16],
    1176: [2, 4, 7, 8, 13],
    1177: [2, 4, 7, 8, 12],
    1178: [2, 4, 7, 8, 9],
    1179: [2, 4, 6, 16, 19],
    1180: [2, 4, 6, 16, 18],
    1181: [2, 4, 6, 16, 17],
    1182: [2, 4, 6, 15, 20],
    1183: [2, 4, 6, 15, 16],
    1184: [2, 4, 6, 13, 19],
    1185: [2, 4, 6, 13, 18],
    1186: [2, 4, 6, 13, 17],
    1187: [2, 4, 6, 13, 15],
    1188: [2, 4, 6, 12, 19],
    1189: [2, 4, 6, 12, 18],
    1190: [2, 4, 6, 12, 17],
    1191: [2, 4, 6, 12, 15],
    1192: [2, 4, 6, 10, 16],
    1193: [2, 4, 6, 10, 13],
    1194: [2, 4, 6, 10, 12],
    1195: [2, 4, 6, 9, 18],
    1196: [2, 4, 6, 9, 17],
    1197: [2, 4, 6, 9, 16],
    1198: [2, 4, 6, 9, 10],
    1199: [2, 4, 6, 8, 16],
    1200: [2, 4, 6, 8, 13],
    1201: [2, 4, 6, 8, 12],
    1202: [2, 4, 6, 8, 9],
    1203: [2, 4, 5, 16, 19],
    1204: [2, 4, 5, 16, 18],
    1205: [2, 4, 5, 15, 20],
    1206: [2, 4, 5, 15, 16],
    1207: [2, 4, 5, 13, 19],
    1208: [2, 4, 5, 13, 18],
    1209: [2, 4, 5, 13, 15],
    1210: [2, 4, 5, 12, 19],
    1211: [2, 4, 5, 12, 18],
    1212: [2, 4, 5, 12, 15],
    1213: [2, 4, 5, 10, 16],
    1214: [2, 4, 5, 10, 13],
    1215: [2, 4, 5, 10, 12],
    1216: [2, 4, 5, 9, 18],
    1217: [2, 4, 5, 9, 16],
    1218: [2, 4, 5, 9, 10],
    1219: [2, 4, 5, 8, 16],
    1220: [2, 4, 5, 8, 13],
    1221: [2, 4, 5, 8, 12],
    1222: [2, 4, 5, 8, 9],
    1223: [2, 4, 5, 7, 16],
    1224: [2, 4, 5, 7, 13],
    1225: [2, 4, 5, 7, 12],
    1226: [2, 4, 5, 7, 9],
    1227: [2, 4, 5, 6, 16],
    1228: [2, 4, 5, 6, 13],
    1229: [2, 4, 5, 6, 12],
    1230: [2, 4, 5, 6, 9],
    1231: [2, 3, 17, 18, 19],
    1232: [2, 3, 16, 17, 19],
    1233: [2, 3, 16, 17, 18],
    1234: [2, 3, 15, 17, 18],
    1235: [2, 3, 15, 16, 17],
    1236: [2, 3, 10, 17, 19],
    1237: [2, 3, 10, 16, 17],
    1238: [2, 3, 10, 15, 17],
    1239: [2, 3, 8, 17, 18],
    1240: [2, 3, 8, 16, 17],
    1241: [2, 3, 8, 10, 17],
    1242: [2, 3, 7, 18, 19],
    1243: [2, 3, 7, 17, 18],
    1244: [2, 3, 7, 16, 19],
    1245: [2, 3, 7, 16, 18],
    1246: [2, 3, 7, 16, 17],
    1247: [2, 3, 7, 15, 18],
    1248: [2, 3, 7, 15, 16],
    1249: [2, 3, 7, 10, 19],
    1250: [2, 3, 7, 10, 17],
    1251: [2, 3, 7, 10, 16],
    1252: [2, 3, 7, 10, 15],
    1253: [2, 3, 7, 8, 18],
    1254: [2, 3, 7, 8, 16],
    1255: [2, 3, 7, 8, 10],
    1256: [2, 3, 6, 18, 19],
    1257: [2, 3, 6, 17, 18],
    1258: [2, 3, 6, 16, 19],
    1259: [2, 3, 6, 16, 18],
    1260: [2, 3, 6, 16, 17],
    1261: [2, 3, 6, 15, 18],
    1262: [2, 3, 6, 15, 16],
    1263: [2, 3, 6, 10, 19],
    1264: [2, 3, 6, 10, 17],
    1265: [2, 3, 6, 10, 16],
    1266: [2, 3, 6, 10, 15],
    1267: [2, 3, 6, 8, 18],
    1268: [2, 3, 6, 8, 16],
    1269: [2, 3, 6, 8, 10],
    1270: [2, 3, 5, 18, 19],
    1271: [2, 3, 5, 17, 19],
    1272: [2, 3, 5, 17, 18],
    1273: [2, 3, 5, 16, 19],
    1274: [2, 3, 5, 16, 18],
    1275: [2, 3, 5, 15, 18],
    1276: [2, 3, 5, 15, 17],
    1277: [2, 3, 5, 15, 16],
    1278: [2, 3, 5, 10, 19],
    1279: [2, 3, 5, 10, 17],
    1280: [2, 3, 5, 10, 16],
    1281: [2, 3, 5, 10, 15],
    1282: [2, 3, 5, 9, 16],
    1283: [2, 3, 5, 8, 18],
    1284: [2, 3, 5, 8, 17],
    1285: [2, 3, 5, 8, 16],
    1286: [2, 3, 5, 8, 10],
    1287: [2, 3, 5, 7, 19],
    1288: [2, 3, 5, 7, 17],
    1289: [2, 3, 5, 7, 16],
    1290: [2, 3, 5, 7, 15],
    1291: [2, 3, 5, 7, 8],
    1292: [2, 3, 5, 6, 19],
    1293: [2, 3, 5, 6, 17],
    1294: [2, 3, 5, 6, 16],
    1295: [2, 3, 5, 6, 15],
    1296: [2, 3, 5, 6, 8],
    1297: [2, 3, 4, 17, 19],
    1298: [2, 3, 4, 17, 18],
    1299: [2, 3, 4, 15, 17],
    1300: [2, 3, 4, 10, 17],
    1301: [2, 3, 4, 8, 17],
    1302: [2, 3, 4, 7, 19],
    1303: [2, 3, 4, 7, 18],
    1304: [2, 3, 4, 7, 17],
    1305: [2, 3, 4, 7, 15],
    1306: [2, 3, 4, 7, 10],
    1307: [2, 3, 4, 7, 8],
    1308: [2, 3, 4, 6, 19],
    1309: [2, 3, 4, 6, 18],
    1310: [2, 3, 4, 6, 17],
    1311: [2, 3, 4, 6, 15],
    1312: [2, 3, 4, 6, 10],
    1313: [2, 3, 4, 6, 8],
    1314: [2, 3, 4, 5, 19],
    1315: [2, 3, 4, 5, 18],
    1316: [2, 3, 4, 5, 15],
    1317: [2, 3, 4, 5, 10],
    1318: [2, 3, 4, 5, 8],
    1319: [2, 3, 4, 5, 7],
    1320: [2, 3, 4, 5, 6]
}