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