defmodule Nock.Lib do
  @moduledoc """
  I am the Nock Library module.

  I contain the information relating to the Anoma standard library. In
  particular, I store the ammount of layers that the library has as well as
  the Nock strings corresponding to them.
  """

  @layers 13

  @doc """
  Gives the total numbers of layers in the standard library
  """
  @spec stdlib_layers() :: non_neg_integer()
  def stdlib_layers, do: @layers

  # compiled and evaluated output from hoon/anoma.hoon.
  # eventually, will be replaced with merely compiled output, with
  # evaluation to take place during nock vm bootstrapping.
  stdlib_string = """
  [ [ [ 7
      [ 8
        [1 0]
        [ 1
          8
          [1 41.308.974.921.280.831.258.769.940.758.188.829.926.771]
          8
          [1 0]
          [1 8 [6 [6 [3 0 6] [1 1] 1 0] [0 6] 0 0] 8 [5 [0 14] 0 2] 0 6]
          0
          1
        ]
        0
        1
      ]
      11
      [1.953.718.630 1 41.308.974.921.280.831.258.769.940.758.188.829.926.771 [0 7] 0]
      0
      1
    ]
    [ 7
      [ 8
        [1 0 0 0]
        [ 1
          8
          [1 161.368.340.485.965.135.747.777.752.676.069.238.131]
          8
          [1 0]
          [1 8 [6 [5 [1 0] 0 6] [1 0] 6 [5 [1 1] 0 6] [1 1] 0 0] 8 [5 [0 14] 0 2] 0 6]
          0
          1
        ]
        0
        1
      ]
      11
      [1.953.718.630 1 161.368.340.485.965.135.747.777.752.676.069.238.131 [0 7] 0]
      0
      1
    ]
    [7 [8 [1 0] [1 8 [1 999.957.424.279.184.958.827] 0 0] 0 1] 11 [1.953.718.630 1 999.957.424.279.184.958.827 [0 7] 0] 0 1]
    7
    [ 8
      [1 0 0]
      [ 1
        8
        [1 2.239.258.192.306.571.577.930.351.215.076.723]
        [8 [1 0] [1 8 [6 [6 [3 0 6] [1 1] 1 0] [0 6] 0 0] 8 [5 [0 14] 0 2] 0 6] 0 1]
        [8 [1 0] [1 8 [6 [6 [3 0 6] [1 1] 1 0] [0 6] 0 0] 8 [5 [0 14] 0 2] 0 6] 0 1]
        8
        [1 0]
        [1 8 [6 [6 [3 0 6] [1 1] 1 0] [0 6] 0 0] 8 [5 [0 14] 0 2] 0 6]
        0
        1
      ]
      0
      1
    ]
    11
    [1.953.718.630 1 2.239.258.192.306.571.577.930.351.215.076.723 [0 7] 0]
    0
    1
  ]
  [ [8 [1 0] [1 8 [9 10 0 7] 9 2 10 [6 0 14] 0 2] 0 1]
    [8 [1 0] [1 8 [8 [9 93 0 7] 9 378 10 [6 7 [0 3] 1 0] 0 2] 9 2 10 [6 0 14] 0 2] 0 1]
    [7 [8 [1 0] [1 6 [5 [1 0] 0 6] [11 [1.851.876.717 1 1.684.366.702] 0 0] 0 13] 0 1] 11 [1.953.718.630 1 1.684.366.702 [0 7] 0] 0 1]
    [ [8 [1 0] [1 [1 0] 0 6] 0 1]
      7
      [ 8
        [7 [8 [9 23 0 3] 9 2 10 [6 7 [0 3] 7 [9 20 0 127] 9 2 0 1] 0 2] 9 2 0 1]
        7
        [0 1]
        [ 1
          [ 8
            [0 6]
            [ 1
              8
              [ 7
                [ [[7 [7 [0 15] 6 [3 0 2] [0 4] 0 0] 0 2] [7 [7 [0 15] 6 [3 0 2] [0 4] 0 0] 0 3] 7 [7 [0 15] 6 [3 0 2] [0 4] 0 0] 0 3]
                  7
                  [7 [0 15] 6 [3 0 2] [0 4] 0 0]
                  0
                  3
                ]
                8
                [0 2]
                [1 0 15]
                0
                1
              ]
              [ 1
                8
                [ 1
                  6
                  [5 [1 0] 0 62]
                  [0 254]
                  6
                  [5 [1 0] 0 254]
                  [0 62]
                  6
                  [5 [0 248] 0 1.016]
                  [ [[0 1.016] 8 [0 14] 9 2 10 [6 [0 2.040] [0 2.041] 0 505] 0 2]
                    [9 2 10 [254 0 1.018] 10 [62 0 250] 0 1]
                    9
                    2
                    10
                    [254 0 1.019]
                    10
                    [62 0 251]
                    0
                    1
                  ]
                  6
                  [8 [9 10 0 1.023] 9 2 10 [6 [0 2.040] 0 504] 0 2]
                  [ 6
                    [8 [9 190 0 1.023] 9 2 10 [6 [0 504] 0 2.040] 0 2]
                    [9 2 10 [1.018 9 2 10 [254 0 1.018] 10 [251 1 0] 0 1] 10 [62 0 251] 0 1]
                    9
                    2
                    10
                    [1.019 9 2 10 [254 0 1.019] 10 [250 1 0] 0 1]
                    10
                    [62 0 250]
                    0
                    1
                  ]
                  6
                  [8 [9 190 0 1.023] 9 2 10 [6 [0 2.040] 0 504] 0 2]
                  [9 2 10 [254 0 1.019] 10 [250 9 2 10 [1.019 1 0] 10 [62 0 250] 0 1] 0 1]
                  9
                  2
                  10
                  [254 0 1.018]
                  10
                  [251 9 2 10 [1.018 1 0] 10 [62 0 251] 0 1]
                  0
                  1
                ]
                9
                2
                0
                1
              ]
              0
              1
            ]
            0
            1
          ]
          [ [ 7
              [ 8
                [1 [0 15] 0 0 0]
                [ 1
                  8
                  [ 1
                    6
                    [5 [1 0] 0 62]
                    [1 1]
                    6
                    [8 [0 14] 9 2 10 [6 0 505] 0 2]
                    [1 0]
                    6
                    [9 2 10 [62 0 250] 0 1]
                    [1 0]
                    6
                    [9 2 10 [62 0 251] 0 1]
                    [1 0]
                    1
                    1
                  ]
                  9
                  2
                  0
                  1
                ]
                0
                1
              ]
              11
              [1.953.718.630 1 7.958.113 [0 7] 0]
              0
              1
            ]
            [ [ 8
                [1 0]
                [ 1
                  8
                  [1 1]
                  8
                  [ 1
                    6
                    [5 [1 0] 0 126]
                    [1 0]
                    6
                    [5 [0 30] 0 504]
                    [[1 0] 8 [9 20 0 255] 9 2 10 [6 [0 14] 7 [0 3] 1 2] 0 2]
                    6
                    [8 [9 190 0 511] 9 2 10 [6 [0 62] 0 1.016] 0 2]
                    [9 2 10 [126 0 506] 10 [6 8 [9 20 0 255] 9 2 10 [6 [0 14] 7 [0 3] 1 6] 0 2] 0 1]
                    9
                    2
                    10
                    [126 0 507]
                    10
                    [6 8 [9 20 0 255] 9 2 10 [6 [0 14] 7 [0 3] 1 7] 0 2]
                    0
                    1
                  ]
                  9
                  2
                  0
                  1
                ]
                0
                1
              ]
              [ [ 7
                  [ 8
                    [1 0 0]
                    [ 1
                      8
                      [ 1
                        6
                        [5 [1 0] 0 62]
                        [[[0 28] 0 29] 1 0 0]
                        6
                        [5 [0 28] 0 248]
                        [6 [5 [0 29] 0 249] [0 62] 10 [2 [0 28] 0 29] 0 62]
                        6
                        [8 [9 190 0 255] 9 2 10 [6 [0 60] 0 504] 0 2]
                        [ 8
                          [9 2 10 [62 0 250] 0 1]
                          6
                          [3 0 2]
                          [6 [8 [9 10 0 511] 9 2 10 [6 [0 1.016] 0 24] 0 2] [10 [6 0 2] 0 126] 10 [7 10 [6 0 11] 0 126] 0 2]
                          0
                          0
                        ]
                        8
                        [9 2 10 [62 0 251] 0 1]
                        6
                        [3 0 2]
                        [6 [8 [9 10 0 511] 9 2 10 [6 [0 1.016] 0 24] 0 2] [10 [7 0 2] 0 126] 10 [6 10 [7 0 10] 0 126] 0 2]
                        0
                        0
                      ]
                      9
                      2
                      0
                      1
                    ]
                    0
                    1
                  ]
                  11
                  [1.953.718.630 1 7.632.240 [0 7] 0]
                  0
                  1
                ]
                7
                [ 8
                  [0 6]
                  [ 1
                    8
                    [ 1
                      6
                      [5 [1 0] 0 14]
                      [1 0]
                      6
                      [5 [1 0] 0 62]
                      [1 0]
                      6
                      [8 [9 10 0 255] 9 2 10 [6 [0 504] 0 120] 0 2]
                      [ 6
                        [5 [0 56] 0 248]
                        [10 [3 [9 2 10 [62 0 250] 10 [14 0 58] 0 1] 9 2 10 [62 0 251] 10 [14 0 59] 0 1] 0 14]
                        6
                        [8 [9 190 0 255] 9 2 10 [6 [0 120] 0 504] 0 2]
                        [8 [9 686 10 [6 9 2 10 [62 0 250] 10 [59 1 0] 0 1] 0 15] 9 2 10 [6 7 [0 3] 9 2 10 [14 0 59] 0 1] 0 2]
                        8
                        [9 686 10 [6 9 2 10 [62 0 251] 10 [58 1 0] 0 1] 0 15]
                        9
                        2
                        10
                        [6 7 [0 3] 9 2 10 [14 0 58] 0 1]
                        0
                        2
                      ]
                      6
                      [5 [0 248] 0 56]
                      [10 [3 [9 2 10 [62 0 250] 10 [14 0 58] 0 1] 9 2 10 [62 0 251] 10 [14 0 59] 0 1] 0 14]
                      6
                      [8 [9 190 0 255] 9 2 10 [6 [0 504] 0 120] 0 2]
                      [8 [9 686 10 [6 9 2 10 [251 1 0] 10 [14 0 58] 0 1] 0 15] 9 2 10 [6 7 [0 3] 9 2 10 [62 0 251] 0 1] 0 2]
                      8
                      [9 686 10 [6 9 2 10 [250 1 0] 10 [14 0 59] 0 1] 0 15]
                      9
                      2
                      10
                      [6 7 [0 3] 9 2 10 [62 0 250] 0 1]
                      0
                      2
                    ]
                    9
                    2
                    0
                    1
                  ]
                  0
                  1
                ]
                11
                [1.953.718.630 1 7.630.441 [0 7] 0]
                0
                1
              ]
              [ 7
                [ 8
                  [1 0 0]
                  [ 1
                    7
                    [ 8
                      [ 1
                        6
                        [5 [1 0] 0 62]
                        [[[0 28] 0 29] 1 0 0]
                        6
                        [5 [0 28] 0 248]
                        [6 [5 [0 29] 0 249] [0 62] 10 [2 [0 28] 0 29] 0 62]
                        6
                        [8 [9 190 0 255] 9 2 10 [6 [0 60] 0 504] 0 2]
                        [8 [9 2 10 [62 0 250] 0 1] 6 [3 0 2] [10 [7 10 [6 0 11] 0 126] 0 2] 0 0]
                        8
                        [9 2 10 [62 0 251] 0 1]
                        6
                        [3 0 2]
                        [10 [6 10 [7 0 10] 0 126] 0 2]
                        0
                        0
                      ]
                      9
                      2
                      0
                      1
                    ]
                    0
                    3
                  ]
                  0
                  1
                ]
                11
                [1.953.718.630 1 6.711.650 [0 7] 0]
                0
                1
              ]
              [ 7
                [ 8
                  [0 6]
                  [ 1
                    8
                    [ 1
                      6
                      [5 [1 0] 0 14]
                      [0 62]
                      6
                      [5 [1 0] 0 62]
                      [0 14]
                      6
                      [5 [0 56] 0 248]
                      [10 [3 [9 2 10 [62 0 250] 10 [14 0 58] 0 1] 9 2 10 [62 0 251] 10 [14 0 59] 0 1] 0 14]
                      6
                      [8 [9 10 0 255] 9 2 10 [6 [0 504] 0 120] 0 2]
                      [ 6
                        [8 [9 190 0 255] 9 2 10 [6 [0 120] 0 504] 0 2]
                        [9 2 10 [250 9 2 10 [62 0 250] 10 [59 1 0] 0 1] 10 [14 0 59] 0 1]
                        9
                        2
                        10
                        [251 9 2 10 [62 0 251] 10 [58 1 0] 0 1]
                        10
                        [14 0 58]
                        0
                        1
                      ]
                      6
                      [8 [9 190 0 255] 9 2 10 [6 [0 504] 0 120] 0 2]
                      [9 2 10 [62 0 251] 10 [58 9 2 10 [251 1 0] 10 [14 0 58] 0 1] 0 1]
                      9
                      2
                      10
                      [62 0 250]
                      10
                      [59 9 2 10 [250 1 0] 10 [14 0 59] 0 1]
                      0
                      1
                    ]
                    9
                    2
                    0
                    1
                  ]
                  0
                  1
                ]
                11
                [1.953.718.630 1 6.909.557 [0 7] 0]
                0
                1
              ]
              7
              [ 8
                [0 6]
                [ 1
                  8
                  [ 1
                    6
                    [5 [1 0] 0 14]
                    [0 62]
                    8
                    [8 [9 342 0 15] 9 2 10 [6 [0 120] 0 121] 0 2]
                    11
                    [1.936.945.012 3 0 2]
                    8
                    [9 2 10 [62 0 4] 10 [14 0 122] 0 3]
                    8
                    [9 2 10 [62 0 13] 10 [14 0 251] 0 7]
                    8
                    [ 1
                      6
                      [5 [1 0] 0 14]
                      [0 6]
                      6
                      [5 [1 0] 0 6]
                      [0 14]
                      6
                      [8 [9 10 0 4.095] 9 2 10 [6 [0 120] 0 56] 0 2]
                      [10 [7 9 2 10 [14 0 59] 0 1] 0 14]
                      10
                      [6 9 2 10 [6 0 26] 0 1]
                      0
                      6
                    ]
                    9
                    2
                    0
                    1
                  ]
                  9
                  2
                  0
                  1
                ]
                0
                1
              ]
              11
              [1.953.718.630 1 6.711.652 [0 7] 0]
              0
              1
            ]
            [ 7
              [ 8
                [1 6 [5 [1 0] 0 14] [1 0] 4 8 [9 20 0 16.383] 9 2 10 [6 [7 [0 3] 9 2 10 [14 0 58] 0 1] 7 [0 3] 9 2 10 [14 0 59] 0 1] 0 2]
                11
                [1.953.718.630 1 7.633.271 [0 3] 0]
                0
                1
              ]
              9
              2
              0
              1
            ]
            [ 7
              [ 7
                [8 [1 0] [1 6 [5 [1 0] 0 30] [0 6] 9 2 10 [30 0 123] 10 [6 [0 60] 9 2 10 [30 0 122] 0 1] 0 1] 0 1]
                11
                [1.953.718.630 1 7.364.980 [0 7] 0]
                0
                1
              ]
              9
              2
              0
              1
            ]
            [ [8 [1 0 0] [1 6 [5 [1 0] 0 13] [8 [9 190 0 7] 9 2 10 [6 0 28] 0 2] 8 [9 340 0 7] 9 2 10 [6 [0 28] 0 59] 0 2] 0 1]
              8
              [1 0]
              [1 8 [9 22 0 31] 9 2 10 [6 7 [0 3] 8 [9 764 0 7] 9 2 10 [6 0 14] 0 2] 0 2]
              0
              1
            ]
            [8 [1 0] 8 [1 6 [5 [1 0] 0 30] [0 6] 9 2 10 [30 0 123] 10 [6 [0 121] 9 2 10 [30 0 122] 0 1] 0 1] 9 2 0 1]
            8
            [1 0 [0 15] 0 0 0]
            [ 1
              8
              [ 1
                6
                [5 [1 0] 0 62]
                [[0 28] 1 0]
                8
                [8 [0 29] 9 2 10 [6 [0 252] 0 60] 0 2]
                7
                [10 [252 0 5] 0 1]
                8
                [9 2 10 [62 0 506] 10 [28 0 4] 0 3]
                8
                [9 2 10 [62 0 1.019] 10 [28 0 4] 0 7]
                [0 4]
                10
                [3 [0 13] 0 5]
                0
                510
              ]
              9
              2
              0
              1
            ]
            0
            1
          ]
          [ 7
            [ 8
              [1 [0 15] [0 0] [0 0] 0]
              [ 1
                8
                [ 1
                  6
                  [5 [1 0] 0 62]
                  [1 0]
                  10
                  [1 [10 [3 8 [0 14] 9 2 10 [6 [0 504] 0 505] 0 2] 0 124] [9 2 10 [62 0 250] 0 1] 9 2 10 [62 0 251] 0 1]
                  0
                  62
                ]
                9
                2
                0
                1
              ]
              0
              1
            ]
            11
            [1.953.718.630 1 7.238.261 [0 7] 0]
            0
            1
          ]
          [ 7
            [ 8
              [1 [0 15] 0 0 0]
              [ 1
                8
                [ 1
                  6
                  [5 [1 0] 0 62]
                  [1 0]
                  6
                  [8 [0 14] 9 2 10 [6 0 505] 0 2]
                  [6 [9 2 10 [62 0 250] 0 1] [6 [9 2 10 [62 0 251] 0 1] [1 0] 1 1] 1 1]
                  1
                  1
                ]
                9
                2
                0
                1
              ]
              0
              1
            ]
            11
            [1.953.718.630 1 7.105.633 [0 7] 0]
            0
            1
          ]
          [ [ 7
              [ 7
                [ 8
                  [1 0]
                  [ 1
                    6
                    [5 [1 0] 0 30]
                    [0 6]
                    9
                    2
                    10
                    [30 0 123]
                    10
                    [6 9 2 10 [30 0 122] 10 [6 8 [8 [9 21 0 63] 9 84 10 [6 0 14] 0 2] 9 2 10 [6 0 248] 0 2] 0 1]
                    0
                    1
                  ]
                  0
                  1
                ]
                11
                [1.953.718.630 1 7.955.819 [0 7] 0]
                0
                1
              ]
              9
              2
              0
              1
            ]
            [ 7
              [ 8
                [1 0]
                [ 1
                  7
                  [10 [6 0 6] 0 1]
                  8
                  [1 6 [5 [1 0] 0 14] [0 62] 9 2 10 [62 8 [9 340 0 15] 9 2 10 [6 [0 120] 0 121] 0 2] 10 [14 0 29] 0 1]
                  9
                  2
                  0
                  1
                ]
                0
                1
              ]
              11
              [1.953.718.630 1 7.561.575 [0 7] 0]
              0
              1
            ]
            7
            [ 8
              [[6 [3 0 6] [0 24] 0 0] 7 [[6 [3 0 6] [0 25] 0 0] 6 [3 0 6] [0 25] 0 0] 8 [0 2] [1 0 15] 0 1]
              [ 1
                6
                [5 [1 0] 0 30]
                [0 0]
                6
                [5 [0 12] 0 120]
                [10 [5 8 [0 13] 9 2 10 [6 0 249] 0 2] 0 30]
                6
                [8 [9 190 0 127] 9 2 10 [6 [0 28] 0 248] 0 2]
                [10 [6 9 2 10 [30 0 122] 0 1] 0 30]
                10
                [7 9 2 10 [30 0 123] 0 1]
                0
                30
              ]
              0
              1
            ]
            11
            [1.953.718.630 1 6.447.466 [0 7] 0]
            0
            1
          ]
          [ 7
            [ 8
              [1 0]
              [ 1
                8
                [ 1
                  6
                  [5 [1 0] 0 62]
                  [1 0]
                  6
                  [5 [0 14] 0 248]
                  [ 8
                    [ 1
                      6
                      [5 [1 0] 0 506]
                      [0 507]
                      6
                      [5 [1 0] 0 507]
                      [0 506]
                      6
                      [8 [9 10 0 511] 9 2 10 [6 [0 4.072] 0 4.076] 0 2]
                      [10 [7 9 2 10 [506 0 2.027] 0 1] 0 506]
                      10
                      [6 9 2 10 [507 0 2.030] 0 1]
                      0
                      507
                    ]
                    9
                    2
                    0
                    1
                  ]
                  6
                  [8 [9 190 0 255] 9 2 10 [6 [0 30] 0 504] 0 2]
                  [10 [6 9 2 10 [62 0 250] 0 1] 0 62]
                  10
                  [7 9 2 10 [62 0 251] 0 1]
                  0
                  62
                ]
                9
                2
                0
                1
              ]
              0
              1
            ]
            11
            [1.953.718.630 1 7.103.844 [0 7] 0]
            0
            1
          ]
          [ [ 7
              [ 8
                [1 0]
                [ 1
                  7
                  [10 [6 0 6] 0 1]
                  8
                  [ 1
                    6
                    [5 [1 0] 0 62]
                    [1 0]
                    6
                    [5 [0 14] 0 248]
                    [8 [9 92 0 63] 9 2 10 [6 0 505] 0 2]
                    6
                    [8 [9 190 0 255] 9 2 10 [6 [0 30] 0 504] 0 2]
                    [9 2 10 [62 0 250] 0 1]
                    9
                    2
                    10
                    [62 0 251]
                    0
                    1
                  ]
                  9
                  2
                  0
                  1
                ]
                0
                1
              ]
              11
              [1.953.718.630 1 7.628.135 [0 7] 0]
              0
              1
            ]
            [ [ 7
                [ 7
                  [ 8
                    [[7 [7 [9 42 0 4.095] 9 2 0 1] 9 2 0 1] 7 [7 [9 42 0 4.095] 9 2 0 1] 9 2 0 1]
                    [ 1
                      6
                      [5 [1 0] 0 30]
                      [1 0]
                      6
                      [6 [5 [1 0] 0 12] [1 0] 6 [8 [9 190 0 127] 9 2 10 [6 [0 248] 0 57] 0 2] [6 [6 [5 [0 120] 0 25] [1 1] 1 0] [1 0] 1 1] 1 1]
                      [ 6
                        [6 [5 [1 0] 0 13] [1 0] 6 [8 [9 190 0 127] 9 2 10 [6 [0 59] 0 248] 0 2] [6 [6 [5 [0 27] 0 120] [1 1] 1 0] [1 0] 1 1] 1 1]
                        [ 6
                          [ 6
                            [5 [1 0] 0 122]
                            [1 0]
                            6
                            [8 [9 10 0 127] 9 2 10 [6 [0 248] 0 1.000] 0 2]
                            [6 [6 [5 [0 120] 0 488] [1 1] 1 0] [6 [9 2 10 [30 0 122] 10 [12 [1 0] 0 120] 0 1] [1 0] 1 1] 1 1]
                            1
                            1
                          ]
                          [ 6
                            [ 6
                              [5 [1 0] 0 123]
                              [1 0]
                              6
                              [8 [9 10 0 127] 9 2 10 [6 [0 248] 0 1.004] 0 2]
                              [6 [6 [5 [0 120] 0 492] [1 1] 1 0] [6 [9 2 10 [30 0 123] 10 [13 [1 0] 0 120] 0 1] [1 0] 1 1] 1 1]
                              1
                              1
                            ]
                            [1 0]
                            1
                            1
                          ]
                          1
                          1
                        ]
                        1
                        1
                      ]
                      1
                      1
                    ]
                    0
                    1
                  ]
                  11
                  [1.953.718.630 1 7.630.945 [0 7] 0]
                  0
                  1
                ]
                9
                2
                0
                1
              ]
              7
              [8 [1 0] [1 6 [5 [1 0] 8 [9 764 0 7] 9 2 10 [6 0 14] 0 2] [1 1] 1 0] 0 1]
              11
              [1.953.718.630 1 7.561.576 [0 7] 0]
              0
              1
            ]
            8
            [1 0 0]
            [1 8 [9 47 0 31] 9 2 10 [6 [7 [0 3] 8 [9 764 0 7] 9 2 10 [6 0 28] 0 2] 0 29] 0 2]
            0
            1
          ]
          [ 7
            [ 8
              [1 [0 15] 0 0 0]
              [1 8 [1 6 [5 [1 0] 0 62] [0 62] [[0 248] 8 [0 14] 9 2 10 [6 0 505] 0 2] [9 2 10 [62 0 250] 0 1] 9 2 10 [62 0 251] 0 1] 9 2 0 1]
              0
              1
            ]
            11
            [1.953.718.630 1 7.239.026 [0 7] 0]
            0
            1
          ]
          7
          [ 8
            [1 [0 13] [0 0] 0]
            [ 1
              8
              [1 6 [5 [1 0] 0 62] [0 117] 9 2 10 [117 9 2 10 [117 8 [0 14] 9 2 10 [6 [0 252] 0 245] 0 2] 10 [62 0 250] 0 1] 10 [62 0 251] 0 1]
              9
              2
              0
              1
            ]
            0
            1
          ]
          11
          [1.953.718.630 1 7.366.002 [0 7] 0]
          0
          1
        ]
        0
        1
      ]
      11
      [1.953.718.630 1 31.074 [0 7] 0]
      0
      1
    ]
    8
    [1 0 0]
    [1 6 [5 [1 0] 0 12] [0 13] 0 25]
    0
    1
  ]
  [ [ 8
      [8 [1 0] [1 8 [0 6] 8 [5 [0 14] 0 2] 0 6] 0 1]
      [ 1
        8
        [1 0]
        [ 1
          8
          [ 8
            [8 [7 [0 7] 8 [9 23 0 7] 9 2 10 [6 0 14] 0 2] 9 2 10 [6 0 14] 0 2]
            6
            [8 [7 [0 3] 8 [1 0] [1 6 [5 [1 0] 0 6] [1 0] 8 [9 21 0 127] 9 380 10 [6 0 14] 0 2] 0 1] 9 2 10 [6 0 6] 0 2]
            [0 2]
            0
            0
          ]
          8
          [5 [0 14] 0 2]
          0
          6
        ]
        0
        1
      ]
      0
      1
    ]
    [ [ 7
        [ 8
          [1 0 0]
          [ 1
            6
            [5 [1 0] 0 12]
            [0 0]
            6
            [5 [1 1] 0 13]
            [0 12]
            6
            [5 [1 2] 0 13]
            [8 [9 4 0 4.095] 9 2 10 [6 [0 28] 7 [0 3] 1 2] 0 2]
            6
            [5 [1 3] 0 13]
            [4 8 [9 4 0 4.095] 9 2 10 [6 [0 28] 7 [0 3] 1 2] 0 2]
            11
            [1.936.945.012 1 0]
            8
            [9 20 0 4.095]
            9
            2
            10
            [ 6
              [7 [0 3] 8 [9 46 0 4.095] 9 2 10 [6 [0 29] 7 [0 3] 1 2] 0 2]
              7
              [0 3]
              8
              [9 4 0 4.095]
              9
              2
              10
              [6 [7 [0 3] 9 2 10 [13 8 [9 170 0 4.095] 9 2 10 [6 [0 29] 7 [0 3] 1 2] 0 2] 0 1] 7 [0 3] 1 2]
              0
              2
            ]
            0
            2
          ]
          0
          1
        ]
        11
        [1.953.718.630 1 6.776.176 [0 7] 0]
        0
        1
      ]
      8
      [7 [7 [9 23 0 1] 9 2 0 1] 9 2 0 1]
      [ 1
        [ 7
          [ 8
            [1 [0 15] 0 0 0]
            [ 1
              8
              [ 1
                6
                [5 [1 0] 0 62]
                [1 1]
                6
                [8 [0 14] 9 2 10 [6 0 252] 0 2]
                [1 0]
                6
                [9 2 10 [62 0 250] 0 1]
                [1 0]
                6
                [9 2 10 [62 0 251] 0 1]
                [1 0]
                1
                1
              ]
              9
              2
              0
              1
            ]
            0
            1
          ]
          11
          [1.953.718.630 1 7.958.113 [0 7] 0]
          0
          1
        ]
        [ [ 8
            [1 0]
            [ 1
              8
              [1 1]
              8
              [ 1
                6
                [5 [1 0] 0 126]
                [1 0]
                6
                [5 [0 30] 0 252]
                [[1 0] 8 [9 20 0 127] 9 2 10 [6 [0 14] 7 [0 3] 1 2] 0 2]
                6
                [8 [9 190 0 255] 9 2 10 [6 [0 62] 0 508] 0 2]
                [9 2 10 [126 0 506] 10 [6 8 [9 20 0 127] 9 2 10 [6 [0 14] 7 [0 3] 1 6] 0 2] 0 1]
                9
                2
                10
                [126 0 507]
                10
                [6 8 [9 20 0 127] 9 2 10 [6 [0 14] 7 [0 3] 1 7] 0 2]
                0
                1
              ]
              9
              2
              0
              1
            ]
            0
            1
          ]
          [ [ 7
              [ 8
                [1 0]
                [ 1
                  8
                  [ 1
                    6
                    [5 [1 0] 0 62]
                    [[0 14] 1 0 0]
                    6
                    [5 [0 14] 0 124]
                    [0 62]
                    6
                    [8 [9 190 0 127] 9 2 10 [6 [0 30] 0 252] 0 2]
                    [ 8
                      [9 2 10 [62 0 250] 0 1]
                      6
                      [3 0 2]
                      [6 [8 [9 10 0 255] 9 2 10 [6 [0 508] 0 12] 0 2] [10 [6 0 2] 0 126] 10 [7 10 [6 0 11] 0 126] 0 2]
                      0
                      0
                    ]
                    8
                    [9 2 10 [62 0 251] 0 1]
                    6
                    [3 0 2]
                    [6 [8 [9 10 0 255] 9 2 10 [6 [0 508] 0 12] 0 2] [10 [7 0 2] 0 126] 10 [6 10 [7 0 10] 0 126] 0 2]
                    0
                    0
                  ]
                  9
                  2
                  0
                  1
                ]
                0
                1
              ]
              11
              [1.953.718.630 1 7.632.240 [0 7] 0]
              0
              1
            ]
            7
            [ 8
              [0 6]
              [ 1
                8
                [ 1
                  6
                  [5 [1 0] 0 14]
                  [1 0]
                  6
                  [5 [1 0] 0 62]
                  [1 0]
                  6
                  [8 [9 10 0 127] 9 2 10 [6 [0 252] 0 60] 0 2]
                  [ 6
                    [5 [0 28] 0 124]
                    [10 [3 [9 2 10 [62 0 250] 10 [14 0 58] 0 1] 9 2 10 [62 0 251] 10 [14 0 59] 0 1] 0 62]
                    6
                    [8 [9 190 0 127] 9 2 10 [6 [0 60] 0 252] 0 2]
                    [8 [9 174 10 [6 9 2 10 [62 0 250] 10 [59 1 0] 0 1] 0 15] 9 2 10 [6 7 [0 3] 9 2 10 [14 0 59] 0 1] 0 2]
                    8
                    [9 174 10 [6 9 2 10 [62 0 251] 10 [58 1 0] 0 1] 0 15]
                    9
                    2
                    10
                    [6 7 [0 3] 9 2 10 [14 0 58] 0 1]
                    0
                    2
                  ]
                  9
                  2
                  10
                  [62 0 14]
                  10
                  [14 0 62]
                  0
                  1
                ]
                9
                2
                0
                1
              ]
              0
              1
            ]
            11
            [1.953.718.630 1 7.630.441 [0 7] 0]
            0
            1
          ]
          [ 7
            [ 8
              [1 0]
              [ 1
                7
                [ 8
                  [ 1
                    6
                    [5 [1 0] 0 62]
                    [[0 14] 1 0 0]
                    6
                    [5 [0 14] 0 124]
                    [0 62]
                    6
                    [8 [9 190 0 127] 9 2 10 [6 [0 30] 0 252] 0 2]
                    [8 [9 2 10 [62 0 250] 0 1] 6 [3 0 2] [10 [7 10 [6 0 11] 0 126] 0 2] 0 0]
                    8
                    [9 2 10 [62 0 251] 0 1]
                    6
                    [3 0 2]
                    [10 [6 10 [7 0 10] 0 126] 0 2]
                    0
                    0
                  ]
                  9
                  2
                  0
                  1
                ]
                0
                3
              ]
              0
              1
            ]
            11
            [1.953.718.630 1 6.711.650 [0 7] 0]
            0
            1
          ]
          [ 7
            [ 8
              [0 6]
              [ 1
                6
                [5 [0 30] 0 6]
                [0 30]
                8
                [ 1
                  6
                  [5 [1 0] 0 14]
                  [0 62]
                  6
                  [5 [1 0] 0 62]
                  [0 14]
                  6
                  [5 [0 28] 0 124]
                  [10 [3 [9 2 10 [62 0 250] 10 [14 0 58] 0 1] 9 2 10 [62 0 251] 10 [14 0 59] 0 1] 0 14]
                  6
                  [8 [9 10 0 127] 9 2 10 [6 [0 252] 0 60] 0 2]
                  [ 6
                    [8 [9 190 0 127] 9 2 10 [6 [0 60] 0 252] 0 2]
                    [9 2 10 [250 9 2 10 [62 0 250] 10 [59 1 0] 0 1] 10 [14 0 59] 0 1]
                    9
                    2
                    10
                    [251 9 2 10 [62 0 251] 10 [58 1 0] 0 1]
                    10
                    [14 0 58]
                    0
                    1
                  ]
                  6
                  [8 [9 190 0 127] 9 2 10 [6 [0 252] 0 60] 0 2]
                  [9 2 10 [62 0 251] 10 [58 9 2 10 [251 1 0] 10 [14 0 58] 0 1] 0 1]
                  9
                  2
                  10
                  [62 0 250]
                  10
                  [59 9 2 10 [250 1 0] 10 [14 0 59] 0 1]
                  0
                  1
                ]
                9
                2
                0
                1
              ]
              0
              1
            ]
            11
            [1.953.718.630 1 6.909.557 [0 7] 0]
            0
            1
          ]
          7
          [ 8
            [0 6]
            [ 1
              8
              [ 1
                6
                [5 [1 0] 0 14]
                [0 62]
                8
                [8 [9 86 0 15] 9 2 10 [6 0 60] 0 2]
                11
                [1.936.945.012 3 0 2]
                8
                [9 2 10 [62 0 4] 10 [14 0 122] 0 3]
                8
                [9 2 10 [62 0 13] 10 [14 0 251] 0 7]
                8
                [ 1
                  6
                  [5 [1 0] 0 14]
                  [0 6]
                  6
                  [5 [1 0] 0 6]
                  [0 14]
                  6
                  [8 [9 10 0 2.047] 9 2 10 [6 [0 60] 0 28] 0 2]
                  [10 [7 9 2 10 [14 0 59] 0 1] 0 14]
                  10
                  [6 9 2 10 [6 0 26] 0 1]
                  0
                  6
                ]
                9
                2
                0
                1
              ]
              9
              2
              0
              1
            ]
            0
            1
          ]
          11
          [1.953.718.630 1 6.711.652 [0 7] 0]
          0
          1
        ]
        [ 7
          [ 8
            [1 [0 15] 0 0 0]
            [ 1
              8
              [ 1
                6
                [5 [1 0] 0 62]
                [1 0]
                6
                [8 [0 14] 9 2 10 [6 0 252] 0 2]
                [6 [9 2 10 [62 0 250] 0 1] [6 [9 2 10 [62 0 251] 0 1] [1 0] 1 1] 1 1]
                1
                1
              ]
              9
              2
              0
              1
            ]
            0
            1
          ]
          11
          [1.953.718.630 1 7.105.633 [0 7] 0]
          0
          1
        ]
        [ [ 7
            [ 8
              [1 6 [5 [1 0] 0 14] [1 0] 4 8 [9 20 0 8.191] 9 2 10 [6 [7 [0 3] 9 2 10 [14 0 58] 0 1] 7 [0 3] 9 2 10 [14 0 59] 0 1] 0 2]
              11
              [1.953.718.630 1 7.633.271 [0 3] 0]
              0
              1
            ]
            9
            2
            0
            1
          ]
          [ 7
            [ 7
              [8 [1 0] [1 6 [5 [1 0] 0 30] [0 6] 9 2 10 [30 0 123] 10 [6 [0 60] 9 2 10 [30 0 122] 0 1] 0 1] 0 1]
              11
              [1.953.718.630 1 7.364.980 [0 7] 0]
              0
              1
            ]
            9
            2
            0
            1
          ]
          7
          [8 [1 0] [1 8 [1 6 [5 [1 0] 0 14] [0 62] 9 2 10 [62 8 [9 84 0 15] 9 2 10 [6 0 60] 0 2] 10 [14 0 29] 0 1] 9 2 0 1] 0 1]
          11
          [1.953.718.630 1 7.561.575 [0 7] 0]
          0
          1
        ]
        [ 7
          [ 8
            [1 0]
            [ 1
              8
              [ 1
                6
                [5 [1 0] 0 62]
                [1 0]
                6
                [5 [0 14] 0 124]
                [ 8
                  [ 1
                    6
                    [5 [1 0] 0 506]
                    [0 507]
                    6
                    [5 [1 0] 0 507]
                    [0 506]
                    6
                    [8 [9 10 0 255] 9 2 10 [6 [0 2.036] 0 2.038] 0 2]
                    [10 [7 9 2 10 [506 0 2.027] 0 1] 0 506]
                    10
                    [6 9 2 10 [507 0 2.030] 0 1]
                    0
                    507
                  ]
                  9
                  2
                  0
                  1
                ]
                6
                [8 [9 190 0 127] 9 2 10 [6 [0 30] 0 252] 0 2]
                [10 [6 9 2 10 [62 0 250] 0 1] 0 62]
                10
                [7 9 2 10 [62 0 251] 0 1]
                0
                62
              ]
              9
              2
              0
              1
            ]
            0
            1
          ]
          11
          [1.953.718.630 1 7.103.844 [0 7] 0]
          0
          1
        ]
        [ [ 7
            [ 7
              [ 8
                [[7 [7 [9 42 0 2.047] 9 2 0 1] 9 2 0 1] 7 [7 [9 42 0 2.047] 9 2 0 1] 9 2 0 1]
                [ 1
                  6
                  [5 [1 0] 0 30]
                  [1 0]
                  6
                  [6 [5 [1 0] 0 12] [1 0] 8 [9 190 0 63] 9 2 10 [6 [0 124] 0 57] 0 2]
                  [ 6
                    [6 [5 [1 0] 0 13] [1 0] 8 [9 190 0 63] 9 2 10 [6 [0 59] 0 124] 0 2]
                    [ 6
                      [ 6
                        [5 [1 0] 0 122]
                        [1 0]
                        6
                        [8 [9 10 0 63] 9 2 10 [6 [0 124] 0 500] 0 2]
                        [6 [9 2 10 [30 0 122] 10 [12 [1 0] 0 60] 0 1] [1 0] 1 1]
                        1
                        1
                      ]
                      [ 6
                        [ 6
                          [5 [1 0] 0 123]
                          [1 0]
                          6
                          [8 [9 10 0 63] 9 2 10 [6 [0 124] 0 502] 0 2]
                          [6 [9 2 10 [30 0 123] 10 [13 [1 0] 0 60] 0 1] [1 0] 1 1]
                          1
                          1
                        ]
                        [1 0]
                        1
                        1
                      ]
                      1
                      1
                    ]
                    1
                    1
                  ]
                  1
                  1
                ]
                0
                1
              ]
              11
              [1.953.718.630 1 7.630.945 [0 7] 0]
              0
              1
            ]
            9
            2
            0
            1
          ]
          [ 7
            [ 8
              [1 0]
              [ 1
                8
                [ 8
                  [1 0]
                  [ 1
                    7
                    [10 [6 6 [3 0 6] [0 13] 0 0] 0 1]
                    8
                    [ 1
                      6
                      [5 [1 0] 0 254]
                      [1 1]
                      6
                      [5 [0 14] 0 508]
                      [1 0]
                      6
                      [8 [9 190 0 511] 9 2 10 [6 [0 30] 0 1.020] 0 2]
                      [9 2 10 [254 0 1.018] 0 1]
                      9
                      2
                      10
                      [254 0 1.019]
                      0
                      1
                    ]
                    9
                    2
                    0
                    1
                  ]
                  0
                  1
                ]
                9
                2
                10
                [6 7 [0 3] [1 0] 0 6]
                0
                2
              ]
              0
              1
            ]
            11
            [1.953.718.630 1 7.561.576 [0 7] 0]
            0
            1
          ]
          7
          [ 8
            [0 6]
            [ 1
              8
              [8 [8 [9 21 0 31] 9 85 10 [6 0 62] 0 2] 9 2 10 [6 0 14] 0 2]
              6
              [5 [1 0] 0 2]
              [7 [0 3] 8 [8 [9 21 0 31] 9 174 10 [6 0 62] 0 2] 9 2 10 [6 0 14] 0 2]
              7
              [0 3]
              0
              0
            ]
            0
            1
          ]
          11
          [1.953.718.630 1 1.768.846.692 [0 7] 0]
          0
          1
        ]
        [ 7
          [ 8
            [1 [0 15] 0 0 0]
            [ 1
              8
              [1 0]
              8
              [ 1
                6
                [5 [1 0] 0 126]
                [0 6]
                7
                [10 [6 8 [8 [9 21 0 127] 9 84 10 [6 0 14] 0 2] 9 2 10 [6 7 [0 3] 8 [0 30] 9 2 10 [6 0 508] 0 2] 0 2] 0 1]
                7
                [10 [6 9 2 10 [126 0 506] 10 [6 0 6] 0 1] 0 1]
                9
                2
                10
                [126 0 507]
                10
                [6 0 6]
                0
                1
              ]
              9
              2
              0
              1
            ]
            0
            1
          ]
          11
          [1.953.718.630 1 7.239.026 [0 7] 0]
          0
          1
        ]
        7
        [ 8
          [1 [0 13] [0 0] 0]
          [ 1
            8
            [1 6 [5 [1 0] 0 62] [0 117] 9 2 10 [117 9 2 10 [117 8 [0 14] 9 2 10 [6 [0 252] 0 245] 0 2] 10 [62 0 250] 0 1] 10 [62 0 251] 0 1]
            9
            2
            0
            1
          ]
          0
          1
        ]
        11
        [1.953.718.630 1 7.366.002 [0 7] 0]
        0
        1
      ]
      0
      1
    ]
    [8 [1 0] [1 8 [1 0] 8 [8 [9 21 0 15] 9 187 10 [6 0 6] 0 2] 9 2 10 [6 0 30] 0 2] 0 1]
    8
    [8 [1 0] [1 8 [0 6] 8 [5 [0 14] 0 2] 0 6] 0 1]
    [ 1
      8
      [1 0]
      [ 1
        8
        [ 6
          [3 0 6]
          [ [8 [0 30] 9 2 10 [6 0 28] 0 2]
            [8 [7 [0 7] 8 [9 23 0 7] 9 2 10 [6 0 14] 0 2] 9 2 10 [6 0 58] 0 2]
            8
            [7 [0 7] 8 [9 23 0 7] 9 2 10 [6 0 14] 0 2]
            9
            2
            10
            [6 0 59]
            0
            2
          ]
          6
          [5 [1 0] 0 6]
          [1 0]
          0
          0
        ]
        8
        [5 [0 14] 0 2]
        0
        6
      ]
      0
      1
    ]
    0
    1
  ]
  [ [ 7
      [ 8
        [1 0 0]
        [ 1
          8
          [ 1
            6
            [5 [1 0] 0 29]
            [11 [1.851.876.717 [1 [1 1.717.658.988] 7 [0 1] 8 [1 1 115 110 97 103 45 102 97 105 108 0] 9 2 0 1] 0 1] 0 0]
            6
            [5 [1 0] 0 28]
            [0 58]
            9
            2
            10
            [14 [8 [9 342 0 4.095] 9 2 10 [6 0 60] 0 2] 0 59]
            0
            1
          ]
          9
          2
          0
          1
        ]
        0
        1
      ]
      11
      [1.953.718.630 1 1.734.438.515 [0 7] 0]
      0
      1
    ]
    [ 7
      [ 8
        [1 0 0]
        [ 1
          8
          [ [8 [9 189 0 7] 9 2 10 [6 7 [0 3] 8 [9 189 0 7] 9 2 10 [6 0 28] 0 2] 0 2]
            8
            [9 189 0 7]
            9
            2
            10
            [6 7 [0 3] 8 [9 189 0 7] 9 2 10 [6 0 29] 0 2]
            0
            2
          ]
          6
          [5 [0 4] 0 5]
          [8 [9 765 0 15] 9 2 10 [6 [0 60] 0 61] 0 2]
          8
          [9 343 0 4.095]
          9
          2
          10
          [6 [0 12] 0 13]
          0
          2
        ]
        0
        1
      ]
      11
      [1.953.718.630 1 7.499.629 [0 7] 0]
      0
      1
    ]
    [ 7
      [ 8
        [1 0 0]
        [1 8 [1 6 [5 [1 0] 0 28] [0 29] 6 [5 [1 0] 0 29] [1 0] 9 2 10 [14 [8 [9 342 0 4.095] 9 2 10 [6 0 60] 0 2] 0 59] 0 1] 9 2 0 1]
        0
        1
      ]
      11
      [1.953.718.630 1 1.734.438.003 [0 7] 0]
      0
      1
    ]
    [ 7
      [8 [1 0 0] [1 7 [10 [6 [0 12] 0 13] 0 1] 8 [1 6 [5 [1 0] 0 28] [0 29] [0 56] 9 2 10 [28 0 57] 0 1] 9 2 0 1] 0 1]
      11
      [1.953.718.630 1 1.684.825.463 [0 7] 0]
      0
      1
    ]
    [ [8 [1 0] [1 0 6] 0 1]
      7
      [ 8
        [1 0]
        [ 1
          8
          [ 1
            [ 6
              [6 [3 0 14] [1 1] 1 0]
              [8 [9 5 0 1] 9 2 10 [6 [7 [0 3] 1 3.405.691.582] [7 [0 3] 1 32.767] 0 30] 0 2]
              8
              [8 [8 [9 10 0 511] 9 4 10 [6 7 [0 3] 1 5] 0 2] 9 2 10 [6 [7 [0 3] 9 4 10 [14 0 28] 0 1] 7 [0 3] 9 4 10 [14 0 29] 0 1] 0 2]
              8
              [9 5 0 3]
              9
              2
              10
              [6 [7 [0 3] 1 3.735.928.559] [7 [0 3] 1 65.534] 0 6]
              0
              2
            ]
            8
            [1 0 0 0]
            [ 1
              8
              [8 [7 [7 [0 1] 9 4 0 255] 9 686 0 1] 9 2 10 [6 [7 [0 3] 1 3] 0 59] 0 2]
              8
              [1 0]
              8
              [ 1
                6
                [5 [1 8] 0 6]
                [0 250]
                8
                [8 [9 383 0 511] 9 2 10 [6 [0 252] [0 30] 0 507] 0 2]
                8
                [ 8
                  [7 [7 [0 31] 9 4 0 255] 9 4 0 15]
                  9
                  2
                  10
                  [ 6
                    [7 [0 3] 8 [7 [7 [0 31] 9 4 0 255] 9 87 0 1] 9 2 10 [6 [7 [0 3] 1 0 31] 0 6] 0 2]
                    7
                    [0 3]
                    8
                    [7 [7 [0 31] 9 4 0 255] 9 1.375 0 1]
                    9
                    2
                    10
                    [6 [7 [0 3] 1 0 31] 0 6]
                    0
                    2
                  ]
                  0
                  2
                ]
                6
                [5 [1 0] 0 2]
                [9 2 10 [124 4 0 508] 10 [6 4 0 30] 0 7]
                0
                2
              ]
              9
              2
              0
              1
            ]
            0
            1
          ]
          9
          4
          0
          1
        ]
        0
        1
      ]
      11
      [1.953.718.630 1 6.780.269 [0 7] 0]
      0
      1
    ]
    [ 7
      [ 8
        [1 0 0]
        [ 1
          8
          [[8 [9 189 0 7] 9 2 10 [6 0 28] 0 2] 8 [9 189 0 7] 9 2 10 [6 0 29] 0 2]
          6
          [5 [0 4] 0 5]
          [8 [9 765 0 15] 9 2 10 [6 [0 60] 0 61] 0 2]
          8
          [9 343 0 4.095]
          9
          2
          10
          [6 [0 12] 0 13]
          0
          2
        ]
        0
        1
      ]
      11
      [1.953.718.630 1 7.499.623 [0 7] 0]
      0
      1
    ]
    [ [ 7
        [8 [1 0 0] [1 8 [1 6 [5 [1 0] 0 28] [1 0] [0 29] 9 2 10 [28 8 [9 342 0 4.095] 9 2 10 [6 0 60] 0 2] 0 1] 9 2 0 1] 0 1]
        11
        [1.953.718.630 1 1.885.431.154 [0 7] 0]
        0
        1
      ]
      7
      [ 8
        [1 0 0]
        [ 1
          6
          [5 [0 12] 0 13]
          [1 0]
          6
          [6 [3 0 12] [1 1] 1 0]
          [6 [6 [3 0 13] [1 1] 1 0] [8 [9 343 0 2.047] 9 2 10 [6 [0 28] 0 29] 0 2] 1 0]
          6
          [6 [3 0 13] [1 1] 1 0]
          [1 1]
          6
          [5 [0 24] 0 26]
          [9 2 10 [6 [0 25] 0 27] 0 1]
          9
          2
          10
          [6 [0 24] 0 26]
          0
          1
        ]
        0
        1
      ]
      11
      [1.953.718.630 1 7.499.620 [0 7] 0]
      0
      1
    ]
    7
    [ 8
      [8 [7 [7 [0 1] 9 4 0 7] 9 22 0 1] 10 [6 7 [0 3] 1 5] 0 2]
      8
      [1 0 0 0]
      [ 1
        7
        [10 [12 8 [9 1.375 0 59] 9 2 10 [6 [7 [0 3] 1 5] 0 28] 0 2] 0 1]
        8
        [8 [9 47 0 7.679] 9 2 10 [6 [0 58] 7 [0 3] 8 [9 686 0 59] 9 2 10 [6 [7 [0 3] 1 3] 0 59] 0 2] 0 2]
        8
        [ 8
          [9 46 0 31]
          9
          2
          10
          [6 [7 [0 3] 8 [9 340 0 123] 9 2 10 [6 [7 [0 3] 1 3] 0 123] 0 2] 7 [0 3] 8 [9 764 0 31] 9 2 10 [6 [0 6] 7 [0 3] 1 0] 0 2]
          0
          2
        ]
        8
        [8 [9 170 0 32.255] 9 2 10 [6 [0 250] 7 [0 3] 1 4] 0 2]
        8
        [0 124]
        8
        [1 3.432.918.353 461.845.907]
        8
        [8 [9 340 0 2.043] 9 2 10 [6 [7 [0 3] 1 5] 0 2.043] 0 2]
        8
        [0 30]
        7
        [ 10
          [ 30
            8
            [0 30]
            8
            [ 1
              6
              [5 [1 0] 0 14]
              [0 6]
              8
              [8 [9 4 0 8.191] 9 2 10 [6 [7 [0 3] 8 [9 47 0 4.193.791] 9 2 10 [6 [0 510] 0 30] 0 2] 0 62] 0 2]
              7
              [10 [2 8 [9 44 0 16.382] 9 2 10 [6 7 [0 3] 8 [9 4 0 8.388.095] 9 2 10 [6 [0 6] 0 508] 0 2] 0 2] 0 1]
              7
              [10 [2 8 [9 94 0 16.382] 9 2 10 [6 [7 [0 3] 1 0] [7 [0 3] 1 15] 0 6] 0 2] 0 1]
              7
              [10 [2 8 [9 44 0 16.382] 9 2 10 [6 7 [0 3] 8 [9 4 0 8.388.095] 9 2 10 [6 [0 6] 0 509] 0 2] 0 2] 0 1]
              7
              [10 [14 8 [9 4 0 524.255] 9 2 10 [6 [0 30] 0 6] 0 2] 0 1]
              7
              [10 [14 8 [9 94 0 16.382] 9 2 10 [6 [7 [0 3] 1 0] [7 [0 3] 1 13] 0 30] 0 2] 0 1]
              7
              [ 10
                [ 14
                  8
                  [9 4 0 16.382]
                  9
                  2
                  10
                  [ 6
                    [7 [0 3] 8 [9 44 0 16.382] 9 2 10 [6 7 [0 3] 8 [9 4 0 8.388.095] 9 2 10 [6 [0 30] 7 [0 3] 1 5] 0 2] 0 2]
                    7
                    [0 3]
                    1
                    3.864.292.196
                  ]
                  0
                  2
                ]
                0
                1
              ]
              9
              2
              10
              [14 8 [9 342 0 8.388.095] 9 2 10 [6 0 62] 0 2]
              0
              3
            ]
            9
            2
            0
            1
          ]
          0
          1
        ]
        8
        [8 [9 22 0 2.047] 9 2 10 [6 [7 [0 3] 8 [9 4 0 1.048.063] 9 2 10 [6 [7 [0 3] 1 4] 0 126] 0 2] 0 254] 0 2]
        8
        [1 0]
        8
        [8 [9 4 0 32.763] 9 2 10 [6 [0 32.762] 7 [0 3] 1 3] 0 2]
        7
        [ 10
          [ 254
            6
            [5 [1 3] 0 2]
            [ 7
              [ 10
                [ 6
                  8
                  [9 4 0 524.255]
                  9
                  2
                  10
                  [ 6
                    [0 14]
                    7
                    [0 3]
                    8
                    [9 341 0 65.531]
                    9
                    2
                    10
                    [6 [7 [0 3] 1 0 16] 7 [0 3] 8 [9 4 0 16.383] 9 2 10 [6 [7 [0 3] 1 2] 0 30] 0 2]
                    0
                    2
                  ]
                  0
                  2
                ]
                0
                1
              ]
              7
              [ 10
                [ 6
                  8
                  [9 4 0 524.255]
                  9
                  2
                  10
                  [6 [0 14] 7 [0 3] 8 [9 341 0 65.531] 9 2 10 [6 [7 [0 3] 1 0 8] 7 [0 3] 8 [9 4 0 16.383] 9 2 10 [6 [7 [0 3] 1 1] 0 30] 0 2] 0 2]
                  0
                  2
                ]
                0
                1
              ]
              7
              [10 [6 8 [9 4 0 524.255] 9 2 10 [6 [0 14] 7 [0 3] 8 [9 4 0 16.383] 9 2 10 [6 [7 [0 3] 1 0] 0 30] 0 2] 0 2] 0 1]
              7
              [10 [6 8 [9 44 0 16.382] 9 2 10 [6 7 [0 3] 8 [9 4 0 8.388.095] 9 2 10 [6 [0 14] 0 508] 0 2] 0 2] 0 1]
              7
              [10 [6 8 [9 94 0 16.382] 9 2 10 [6 [7 [0 3] 1 0] [7 [0 3] 1 15] 0 14] 0 2] 0 1]
              7
              [10 [6 8 [9 44 0 16.382] 9 2 10 [6 7 [0 3] 8 [9 4 0 8.388.095] 9 2 10 [6 [0 14] 0 509] 0 2] 0 2] 0 1]
              8
              [9 4 0 524.255]
              9
              2
              10
              [6 [0 510] 0 14]
              0
              2
            ]
            6
            [5 [1 2] 0 2]
            [ 7
              [ 10
                [ 6
                  8
                  [9 4 0 524.255]
                  9
                  2
                  10
                  [6 [0 14] 7 [0 3] 8 [9 341 0 65.531] 9 2 10 [6 [7 [0 3] 1 0 8] 7 [0 3] 8 [9 4 0 16.383] 9 2 10 [6 [7 [0 3] 1 1] 0 30] 0 2] 0 2]
                  0
                  2
                ]
                0
                1
              ]
              7
              [10 [6 8 [9 4 0 524.255] 9 2 10 [6 [0 14] 7 [0 3] 8 [9 4 0 16.383] 9 2 10 [6 [7 [0 3] 1 0] 0 30] 0 2] 0 2] 0 1]
              7
              [10 [6 8 [9 44 0 16.382] 9 2 10 [6 7 [0 3] 8 [9 4 0 8.388.095] 9 2 10 [6 [0 14] 0 508] 0 2] 0 2] 0 1]
              7
              [10 [6 8 [9 94 0 16.382] 9 2 10 [6 [7 [0 3] 1 0] [7 [0 3] 1 15] 0 14] 0 2] 0 1]
              7
              [10 [6 8 [9 44 0 16.382] 9 2 10 [6 7 [0 3] 8 [9 4 0 8.388.095] 9 2 10 [6 [0 14] 0 509] 0 2] 0 2] 0 1]
              8
              [9 4 0 524.255]
              9
              2
              10
              [6 [0 510] 0 14]
              0
              2
            ]
            6
            [5 [1 1] 0 2]
            [ 7
              [10 [6 8 [9 4 0 524.255] 9 2 10 [6 [0 14] 7 [0 3] 8 [9 4 0 16.383] 9 2 10 [6 [7 [0 3] 1 0] 0 30] 0 2] 0 2] 0 1]
              7
              [10 [6 8 [9 44 0 16.382] 9 2 10 [6 7 [0 3] 8 [9 4 0 8.388.095] 9 2 10 [6 [0 14] 0 508] 0 2] 0 2] 0 1]
              7
              [10 [6 8 [9 94 0 16.382] 9 2 10 [6 [7 [0 3] 1 0] [7 [0 3] 1 15] 0 14] 0 2] 0 1]
              7
              [10 [6 8 [9 44 0 16.382] 9 2 10 [6 7 [0 3] 8 [9 4 0 8.388.095] 9 2 10 [6 [0 14] 0 509] 0 2] 0 2] 0 1]
              8
              [9 4 0 524.255]
              9
              2
              10
              [6 [0 510] 0 14]
              0
              2
            ]
            11
            [1.936.945.012 1 0]
            0
            254
          ]
          0
          1
        ]
        7
        [10 [254 8 [9 4 0 524.255] 9 2 10 [6 [0 510] 0 65.530] 0 2] 0 1]
        8
        [ 1
          [8 [9 5 0 1] 9 2 10 [6 0 1.022] 0 2]
          8
          [1 0]
          [ 1
            7
            [10 [6 8 [9 4 0 4.194.271] 9 2 10 [6 [0 14] 7 [0 3] 8 [9 87 0 524.283] 9 2 10 [6 [7 [0 3] 1 0 16] 0 14] 0 2] 0 2] 0 1]
            7
            [10 [6 8 [9 44 0 131.070] 9 2 10 [6 7 [0 3] 8 [9 4 0 67.108.351] 9 2 10 [6 [0 14] 7 [0 3] 1 2.246.822.507] 0 2] 0 2] 0 1]
            7
            [10 [6 8 [9 4 0 4.194.271] 9 2 10 [6 [0 14] 7 [0 3] 8 [9 87 0 524.283] 9 2 10 [6 [7 [0 3] 1 0 13] 0 14] 0 2] 0 2] 0 1]
            7
            [10 [6 8 [9 44 0 131.070] 9 2 10 [6 7 [0 3] 8 [9 4 0 67.108.351] 9 2 10 [6 [0 14] 7 [0 3] 1 3.266.489.909] 0 2] 0 2] 0 1]
            7
            [10 [6 8 [9 4 0 4.194.271] 9 2 10 [6 [0 14] 7 [0 3] 8 [9 87 0 524.283] 9 2 10 [6 [7 [0 3] 1 0 16] 0 14] 0 2] 0 2] 0 1]
            0
            6
          ]
          0
          1
        ]
        9
        4
        0
        1
      ]
      0
      1
    ]
    11
    [1.953.718.630 1 7.042.413 [0 15] 0]
    0
    1
  ]
  [ [ 7
      [ 8
        [1 0 0]
        [ 1
          8
          [[8 [9 756 0 7] 9 2 10 [6 0 28] 0 2] 8 [9 756 0 7] 9 2 10 [6 0 29] 0 2]
          6
          [0 8]
          [ 6
            [0 10]
            [8 [9 758 0 15] 9 2 10 [6 [7 [0 3] 1 0] 7 [0 3] 8 [9 20 0 2.047] 9 2 10 [6 [0 25] 0 27] 0 2] 0 2]
            6
            [8 [9 22 0 2.047] 9 2 10 [6 [0 25] 0 27] 0 2]
            [8 [9 758 0 15] 9 2 10 [6 [7 [0 3] 1 0] 7 [0 3] 8 [9 47 0 2.047] 9 2 10 [6 [0 25] 0 27] 0 2] 0 2]
            8
            [9 758 0 15]
            9
            2
            10
            [6 [7 [0 3] 1 1] 7 [0 3] 8 [9 47 0 2.047] 9 2 10 [6 [0 27] 0 25] 0 2]
            0
            2
          ]
          6
          [0 10]
          [ 6
            [8 [9 22 0 2.047] 9 2 10 [6 [0 25] 0 27] 0 2]
            [8 [9 758 0 15] 9 2 10 [6 [7 [0 3] 1 1] 7 [0 3] 8 [9 47 0 2.047] 9 2 10 [6 [0 25] 0 27] 0 2] 0 2]
            8
            [9 758 0 15]
            9
            2
            10
            [6 [7 [0 3] 1 0] 7 [0 3] 8 [9 47 0 2.047] 9 2 10 [6 [0 27] 0 25] 0 2]
            0
            2
          ]
          8
          [9 758 0 15]
          9
          2
          10
          [6 [7 [0 3] 1 1] 7 [0 3] 8 [9 20 0 2.047] 9 2 10 [6 [0 25] 0 27] 0 2]
          0
          2
        ]
        0
        1
      ]
      11
      [1.953.718.630 1 7.173.491 [0 7] 0]
      0
      1
    ]
    [7 [8 [1 0] [1 8 [9 4 0 1.023] 9 2 10 [6 [7 [0 3] 1 2] 0 14] 0 2] 0 1] 11 [1.953.718.630 1 7.239.027 [0 7] 0] 0 1]
    [ 7
      [ 8
        [1 0 0]
        [ 1
          8
          [8 [9 756 0 7] 9 2 10 [6 0 28] 0 2]
          6
          [0 4]
          [8 [9 46 0 2.047] 9 2 10 [6 [0 13] 0 61] 0 2]
          8
          [9 47 0 2.047]
          9
          2
          10
          [6 [0 61] 0 13]
          0
          2
        ]
        0
        1
      ]
      11
      [1.953.718.630 1 7.107.940 [0 7] 0]
      0
      1
    ]
    [ 7
      [ 8
        [1 0 0]
        [ 1
          8
          [9 758 0 7]
          9
          2
          10
          [ 6
            [7 [0 3] 5 [1 0] 8 [9 4 0 63] 9 2 10 [6 [7 [0 3] 8 [9 188 0 7] 9 2 10 [6 0 28] 0 2] 7 [0 3] 8 [9 188 0 7] 9 2 10 [6 0 29] 0 2] 0 2]
            7
            [0 3]
            8
            [9 4 0 1.023]
            9
            2
            10
            [6 [7 [0 3] 8 [9 1.515 0 7] 9 2 10 [6 0 28] 0 2] 7 [0 3] 8 [9 1.515 0 7] 9 2 10 [6 0 29] 0 2]
            0
            2
          ]
          0
          2
        ]
        0
        1
      ]
      11
      [1.953.718.630 1 7.303.792 [0 7] 0]
      0
      1
    ]
    [ [ 7
        [8 [1 0] [1 5 [1 0] 8 [7 [7 [0 7] 9 4 0 3] 9 1.375 0 1] 9 2 10 [6 [7 [0 3] 1 0] 0 14] 0 2] 0 1]
        11
        [1.953.718.630 1 7.240.051 [0 7] 0]
        0
        1
      ]
      [ [7 [8 [1 0] [1 [8 [9 188 0 7] 9 2 10 [6 0 14] 0 2] 8 [9 1.515 0 7] 9 2 10 [6 0 14] 0 2] 0 1] 11 [1.953.718.630 1 6.581.359 [0 7] 0] 0 1]
        [ 7
          [ 8
            [1 0 0]
            [1 8 [9 759 0 7] 9 2 10 [6 [0 28] 7 [0 3] 8 [9 46 0 7] 9 2 10 [6 [0 29] 7 [0 3] 8 [9 190 0 7] 9 2 10 [6 [0 28] 0 29] 0 2] 0 2] 0 2]
            0
            1
          ]
          11
          [1.953.718.630 1 7.169.394 [0 7] 0]
          0
          1
        ]
        7
        [ 8
          [1 0]
          [ 1
            8
            [7 [7 [0 7] 9 4 0 3] 9 20 0 255]
            9
            2
            10
            [ 6
              [7 [0 3] 8 [7 [7 [0 7] 9 4 0 3] 9 1.375 0 1] 9 2 10 [6 [7 [0 3] 1 0] 0 14] 0 2]
              7
              [0 3]
              8
              [7 [7 [0 7] 9 4 0 3] 9 87 0 1]
              9
              2
              10
              [6 [7 [0 3] 1 0] 0 14]
              0
              2
            ]
            0
            2
          ]
          0
          1
        ]
        11
        [1.953.718.630 1 7.561.825 [0 7] 0]
        0
        1
      ]
      [ 7
        [ 8
          [1 0 0]
          [ 1
            6
            [0 12]
            [8 [9 4 0 1.023] 9 2 10 [6 [7 [0 3] 1 2] 0 29] 0 2]
            6
            [5 [1 0] 0 13]
            [1 0]
            4
            8
            [9 4 0 1.023]
            9
            2
            10
            [6 [7 [0 3] 1 2] 7 [0 3] 8 [9 342 0 1.023] 9 2 10 [6 0 29] 0 2]
            0
            2
          ]
          0
          1
        ]
        11
        [1.953.718.630 1 7.824.750 [0 7] 0]
        0
        1
      ]
      7
      [ 8
        [1 0 0]
        [ 1
          8
          [9 4 0 7]
          9
          2
          10
          [ 6
            [0 28]
            7
            [0 3]
            8
            [9 758 0 7]
            9
            2
            10
            [6 [7 [0 3] 6 [8 [9 188 0 7] 9 2 10 [6 0 29] 0 2] [1 1] 1 0] 7 [0 3] 8 [9 1.515 0 7] 9 2 10 [6 0 29] 0 2]
            0
            2
          ]
          0
          2
        ]
        0
        1
      ]
      11
      [1.953.718.630 1 6.711.652 [0 7] 0]
      0
      1
    ]
    [ 7
      [ 8
        [1 0 0]
        [ 1
          8
          [9 758 0 7]
          9
          2
          10
          [ 6
            [7 [0 3] 5 [1 0] 8 [9 4 0 63] 9 2 10 [6 [7 [0 3] 8 [9 188 0 7] 9 2 10 [6 0 28] 0 2] 7 [0 3] 8 [9 188 0 7] 9 2 10 [6 0 29] 0 2] 0 2]
            7
            [0 3]
            8
            [9 170 0 1.023]
            9
            2
            10
            [6 [7 [0 3] 8 [9 1.515 0 7] 9 2 10 [6 0 28] 0 2] 7 [0 3] 8 [9 1.515 0 7] 9 2 10 [6 0 29] 0 2]
            0
            2
          ]
          0
          2
        ]
        0
        1
      ]
      11
      [1.953.718.630 1 6.386.278 [0 7] 0]
      0
      1
    ]
    7
    [ 8
      [1 0 0]
      [ 1
        6
        [5 [0 12] 0 13]
        [1 0]
        6
        [8 [9 188 0 7] 9 2 10 [6 0 28] 0 2]
        [6 [8 [9 188 0 7] 9 2 10 [6 0 29] 0 2] [6 [8 [9 43 0 1.023] 9 2 10 [6 [0 28] 0 29] 0 2] [1 2] 1 1] 1 2]
        6
        [8 [9 188 0 7] 9 2 10 [6 0 29] 0 2]
        [1 1]
        6
        [8 [9 43 0 1.023] 9 2 10 [6 [0 28] 0 29] 0 2]
        [1 1]
        1
        2
      ]
      0
      1
    ]
    11
    [1.953.718.630 1 7.368.035 [0 7] 0]
    0
    1
  ]
  [ [ [ 1
        [ 7
          [ 8
            [1 0 0]
            [ 1
              8
              [1 0 0]
              8
              [ 1
                6
                [6 [5 [1 0] 0 60] [1 0] 6 [5 [1 0] 0 61] [1 0] 1 1]
                [0 13]
                9
                2
                10
                [30 [8 [9 87 0 31] 9 2 10 [6 [7 [0 3] 1 0] 0 124] 0 2] 8 [9 87 0 31] 9 2 10 [6 [7 [0 3] 1 0] 0 125] 0 2]
                10
                [ 6
                  [4 0 12]
                  8
                  [9 20 0 4.095]
                  9
                  2
                  10
                  [ 6
                    [0 29]
                    7
                    [0 3]
                    8
                    [9 341 0 31]
                    9
                    2
                    10
                    [ 6
                      [7 [0 3] [1 0] 0 12]
                      7
                      [0 3]
                      6
                      [5 [1 0] 8 [9 1.375 0 31] 9 2 10 [6 [7 [0 3] 1 0] 0 124] 0 2]
                      [1 0]
                      6
                      [5 [1 0] 8 [9 1.375 0 31] 9 2 10 [6 [7 [0 3] 1 0] 0 125] 0 2]
                      [1 0]
                      1
                      1
                    ]
                    0
                    2
                  ]
                  0
                  2
                ]
                0
                1
              ]
              9
              2
              0
              1
            ]
            0
            1
          ]
          11
          [1.953.718.630 1 7.563.620 [0 7] 0]
          0
          1
        ]
        [ [ 7
            [ 8
              [1 0 0]
              [ 1
                8
                [1 0 0]
                8
                [ 1
                  6
                  [6 [5 [1 0] 0 60] [6 [5 [1 0] 0 61] [1 0] 1 1] 1 1]
                  [0 13]
                  9
                  2
                  10
                  [30 [8 [9 87 0 31] 9 2 10 [6 [7 [0 3] 1 0] 0 124] 0 2] 8 [9 87 0 31] 9 2 10 [6 [7 [0 3] 1 0] 0 125] 0 2]
                  10
                  [ 6
                    [4 0 12]
                    8
                    [9 20 0 4.095]
                    9
                    2
                    10
                    [ 6
                      [0 29]
                      7
                      [0 3]
                      8
                      [9 341 0 31]
                      9
                      2
                      10
                      [ 6
                        [7 [0 3] [1 0] 0 12]
                        7
                        [0 3]
                        6
                        [5 [1 0] 8 [9 1.375 0 31] 9 2 10 [6 [7 [0 3] 1 0] 0 124] 0 2]
                        [6 [5 [1 0] 8 [9 1.375 0 31] 9 2 10 [6 [7 [0 3] 1 0] 0 125] 0 2] [1 0] 1 1]
                        1
                        1
                      ]
                      0
                      2
                    ]
                    0
                    2
                  ]
                  0
                  1
                ]
                9
                2
                0
                1
              ]
              0
              1
            ]
            11
            [1.953.718.630 1 7.237.475 [0 7] 0]
            0
            1
          ]
          [ [ 8
              [1 0]
              [ 1
                8
                [ 6
                  [3 0 6]
                  [[8 [7 [0 7] 9 342 0 1] 9 2 10 [6 0 28] 0 2] 8 [7 [0 7] 9 1.374 0 1] 9 2 10 [6 0 29] 0 2]
                  8
                  [7 [0 7] 9 342 0 1]
                  9
                  2
                  10
                  [6 0 14]
                  0
                  2
                ]
                8
                [5 [0 14] 0 2]
                0
                6
              ]
              0
              1
            ]
            [ [ 7
                [ 8
                  [1 0 0]
                  [1 6 [5 [1 0] 0 13] [1 0] [8 [9 1.375 0 7] 9 2 10 [6 [0 28] 0 29] 0 2] 9 2 10 [13 8 [9 87 0 7] 9 2 10 [6 [0 28] 0 29] 0 2] 0 1]
                  0
                  1
                ]
                11
                [1.953.718.630 1 7.367.026 [0 7] 0]
                0
                1
              ]
              7
              [ 8
                [1 0 0]
                [1 8 [6 [6 [3 0 12] [1 1] 1 0] [[0 12] 1 1] 0 12] 8 [8 [9 10 0 255] 9 90 10 [6 0 12] 0 2] 9 2 10 [6 [0 13] 0 61] 0 2]
                0
                1
              ]
              11
              [1.953.718.630 1 6.845.292 [0 7] 0]
              0
              1
            ]
            [8 [1 0] [1 8 [6 [6 [3 0 6] [1 1] 1 0] [0 6] 0 0] 8 [5 [0 14] 0 2] 0 6] 0 1]
            [8 [1 0 0] [1 8 [8 [9 10 0 127] 9 190 10 [6 0 28] 0 2] 9 2 10 [6 0 29] 0 2] 0 1]
            [8 [1 0] [1 8 [7 [0 7] 1 1] 8 [5 [0 14] 0 2] 0 6] 0 1]
            7
            [ 8
              [1 0 0]
              [1 8 [6 [6 [3 0 12] [1 1] 1 0] [[0 12] 1 1] 0 12] 8 [8 [9 10 0 255] 9 367 10 [6 0 12] 0 2] 9 2 10 [6 [0 13] 0 61] 0 2]
              0
              1
            ]
            11
            [1.953.718.630 1 6.581.861 [0 7] 0]
            0
            1
          ]
          [ 7
            [ 8
              [1 0 [1 1] 0]
              [ 1
                8
                [8 [9 10 0 127] 9 367 10 [6 0 28] 0 2]
                9
                2
                10
                [6 [0 117] 7 [0 3] 8 [8 [9 10 0 127] 9 767 10 [6 0 28] 0 2] 9 2 10 [6 [0 116] 0 59] 0 2]
                0
                2
              ]
              0
              1
            ]
            11
            [1.953.718.630 1 7.632.227 [0 7] 0]
            0
            1
          ]
          7
          [8 [1 0 0] [1 8 [6 [6 [3 0 12] [1 1] 1 0] [[0 12] 1 1] 0 12] 8 [8 [9 10 0 255] 9 767 10 [6 0 12] 0 2] 9 2 10 [6 [0 13] 0 61] 0 2] 0 1]
          11
          [1.953.718.630 1 6.845.298 [0 7] 0]
          0
          1
        ]
        [ 8
          [1 0]
          [ 1
            [8 [1 0 0] [1 8 [9 44 0 7] 9 2 10 [6 7 [0 3] 8 [9 20 0 4.095] 9 2 10 [6 [0 28] 0 29] 0 2] 0 2] 0 1]
            [8 [9 4 0 127] 9 2 10 [6 7 [0 3] 8 [9 4 0 127] 9 2 10 [6 0 14] 0 2] 0 2]
            [ [8 [1 0] [1 8 [9 1.375 0 31] 9 2 10 [6 [0 62] 0 14] 0 2] 0 1]
              8
              [1 0]
              [ 1
                8
                [9 47 0 4.095]
                9
                2
                10
                [6 [7 [0 3] 8 [9 342 0 4.095] 9 2 10 [6 7 [0 3] 9 10 0 7] 0 2] 7 [0 3] 8 [9 44 0 7] 9 2 10 [6 0 14] 0 2]
                0
                2
              ]
              0
              1
            ]
            [ 8
              [1 0 0 0]
              [ 1
                8
                [8 [9 44 0 7] 9 2 10 [6 0 59] 0 2]
                8
                [8 [9 4 0 1.023] 9 2 10 [6 7 [0 3] 8 [9 47 0 8.191] 9 2 10 [6 [0 126] 0 60] 0 2] 0 2]
                8
                [8 [9 46 0 16.383] 9 2 10 [6 [0 250] 0 6] 0 2]
                8
                [9 44 0 63]
                9
                2
                10
                [ 6
                  7
                  [0 3]
                  8
                  [9 20 0 255]
                  9
                  2
                  10
                  [ 6
                    [7 [0 3] 8 [9 87 0 255] 9 2 10 [6 [7 [0 3] [0 124] 0 2] 0 30] 0 2]
                    7
                    [0 3]
                    8
                    [9 341 0 255]
                    9
                    2
                    10
                    [6 [7 [0 3] [0 124] 8 [9 47 0 32.767] 9 2 10 [6 [0 14] 0 6] 0 2] 0 30]
                    0
                    2
                  ]
                  0
                  2
                ]
                0
                2
              ]
              0
              1
            ]
            [ 8
              [1 0 0 0]
              [ 1
                8
                [8 [9 44 0 7] 9 2 10 [6 0 59] 0 2]
                8
                [8 [9 4 0 1.023] 9 2 10 [6 7 [0 3] 8 [9 47 0 8.191] 9 2 10 [6 [0 126] 0 60] 0 2] 0 2]
                8
                [8 [9 46 0 16.383] 9 2 10 [6 [0 250] 0 6] 0 2]
                8
                [9 44 0 63]
                9
                2
                10
                [ 6
                  7
                  [0 3]
                  8
                  [9 20 0 255]
                  9
                  2
                  10
                  [ 6
                    [7 [0 3] 8 [9 341 0 255] 9 2 10 [6 [7 [0 3] [0 124] 0 2] 0 30] 0 2]
                    7
                    [0 3]
                    8
                    [9 87 0 255]
                    9
                    2
                    10
                    [6 [7 [0 3] [0 124] 8 [9 47 0 32.767] 9 2 10 [6 [0 14] 0 6] 0 2] 0 30]
                    0
                    2
                  ]
                  0
                  2
                ]
                0
                2
              ]
              0
              1
            ]
            8
            [1 0]
            [ 1
              7
              [10 [6 8 [9 44 0 7] 9 2 10 [6 0 14] 0 2] 0 1]
              6
              [8 [9 84 0 4.095] 9 2 10 [6 [0 62] 7 [0 3] 1 3] 0 2]
              [0 6]
              8
              [8 [9 342 0 4.095] 9 2 10 [6 0 62] 0 2]
              8
              [9 20 0 63]
              9
              2
              10
              [ 6
                [ 7
                  [0 3]
                  8
                  [9 341 0 63]
                  9
                  2
                  10
                  [6 [0 6] 7 [0 3] 9 2 10 [30 0 2] 10 [6 8 [9 86 0 63] 9 2 10 [6 [0 6] [7 [0 3] 1 0 1] 0 30] 0 2] 0 3]
                  0
                  2
                ]
                7
                [0 3]
                9
                2
                10
                [30 0 2]
                10
                [6 8 [9 86 0 63] 9 2 10 [6 [0 6] [7 [0 3] 1 1 1] 0 30] 0 2]
                0
                3
              ]
              0
              2
            ]
            0
            1
          ]
          0
          1
        ]
        [ 7
          [ 8
            [1 0 0]
            [ 1
              6
              [5 [1 0] 0 13]
              [1 0]
              8
              [9 20 0 1.023]
              9
              2
              10
              [ 6
                [7 [0 3] 8 [9 1.375 0 7] 9 2 10 [6 [7 [0 3] [0 12] 0 52] 0 117] 0 2]
                7
                [0 3]
                8
                [9 341 0 7]
                9
                2
                10
                [6 [7 [0 3] [0 12] 0 52] 7 [0 3] 9 2 10 [13 0 27] 0 1]
                0
                2
              ]
              0
              2
            ]
            0
            1
          ]
          11
          [1.953.718.630 1 7.233.891 [0 7] 0]
          0
          1
        ]
        [ 7
          [ 8
            [1 0 0 [0 15] 0 0 0]
            [1 8 [9 95 0 7] 9 2 10 [6 [0 28] 7 [0 3] 8 [9 22 0 511] 9 2 10 [6 [7 [0 3] 8 [9 340 0 7] 9 2 10 [6 [0 28] 0 58] 0 2] 0 59] 0 2] 0 2]
            0
            1
          ]
          11
          [1.953.718.630 1 7.239.026 [0 7] 0]
          0
          1
        ]
        7
        [ 8
          [1 0 0]
          [ 1
            8
            [6 [6 [3 0 12] [1 1] 1 0] [[0 12] 1 1] 0 12]
            8
            [1 0]
            8
            [ 1
              6
              [5 [1 0] 0 125]
              [1 0]
              8
              [9 20 0 8.191]
              9
              2
              10
              [ 6
                [7 [0 3] 9 2 10 [125 0 251] 10 [6 4 0 6] 0 1]
                7
                [0 3]
                8
                [9 341 0 63]
                9
                2
                10
                [ 6
                  [7 [0 3] [0 28] 8 [9 4 0 8.191] 9 2 10 [6 [0 61] 0 14] 0 2]
                  7
                  [0 3]
                  8
                  [9 1.375 0 63]
                  9
                  2
                  10
                  [6 [7 [0 3] [0 28] 0 29] 0 506]
                  0
                  2
                ]
                0
                2
              ]
              0
              2
            ]
            9
            2
            0
            1
          ]
          0
          1
        ]
        11
        [1.953.718.630 1 7.366.002 [0 7] 0]
        0
        1
      ]
      0
      1
    ]
    [ 7
      [8 [1 0 0] [1 8 [9 22 0 7] 9 2 10 [6 7 [0 3] 8 [9 4 0 31] 9 2 10 [6 [0 28] 7 [0 3] 8 [9 22 0 7] 9 2 10 [6 0 29] 0 2] 0 2] 0 2] 0 1]
      11
      [1.953.718.630 1 1.935.763.571 [0 7] 0]
      0
      1
    ]
    [ 7
      [ 8
        [1 0]
        [1 8 [7 [7 [0 1] 9 4 0 7] 9 46 0 3] 9 2 10 [6 7 [0 3] [8 [7 [7 [0 1] 9 4 0 7] 9 686 0 1] 9 2 10 [6 [7 [0 3] 1 3] 0 14] 0 2] 0 6] 0 2]
        0
        1
      ]
      11
      [1.953.718.630 1 2.019.649.651 [0 7] 0]
      0
      1
    ]
    [ 7
      [ 8
        [1 0 0]
        [ 1
          7
          [10 [13 8 [7 [7 [0 1] 9 4 0 7] 9 86 0 1] 9 2 10 [6 [7 [0 3] 1 3] [7 [0 3] [1 0] 0 12] 0 29] 0 2] 0 1]
          8
          [ [7 [7 [7 [0 1] 9 4 0 7] 9 22 0 1] 10 [6 1 5] 0 1]
            8
            [1 0 0]
            [1 8 [7 [7 [0 7] 9 4 0 7] 9 86 0 1] 9 2 10 [6 [7 [0 3] 1 5] [7 [0 3] [0 12] 1 1] 0 29] 0 2]
            0
            1
          ]
          8
          [[9 4 0 4] [9 46 0 4] [9 95 0 4] 9 45 0 4]
          8
          [8 [7 [7 [0 7] 9 4 0 7] 9 341 0 1] 9 2 10 [6 [7 [0 3] 1 0 3] 0 124] 0 2]
          8
          [ 8
            [7 [7 [0 15] 9 4 0 7] 9 46 0 1]
            9
            2
            10
            [ 6
              [7 [0 3] 1 0]
              7
              [0 3]
              [[0 2] 0 125]
              [1 8 128]
              [ [ 8
                  [7 [7 [0 15] 9 4 0 7] 9 46 0 255]
                  9
                  2
                  10
                  [ 6
                    [ 7
                      [0 3]
                      8
                      [7 [7 [0 15] 9 4 0 7] 9 47 0 255]
                      9
                      2
                      10
                      [ 6
                        [7 [0 3] 1 960]
                        7
                        [0 3]
                        8
                        [7 [7 [0 15] 9 4 0 7] 9 46 0 255]
                        9
                        2
                        10
                        [6 [7 [0 3] 8 [7 [7 [0 15] 9 4 0 7] 9 20 0 255] 9 2 10 [6 [7 [0 3] 1 8] 0 6] 0 2] 7 [0 3] 1 512]
                        0
                        2
                      ]
                      0
                      2
                    ]
                    7
                    [0 3]
                    1
                    512
                  ]
                  0
                  2
                ]
                1
                0
              ]
              [[1 64] 8 [8 [7 [7 [0 15] 9 4 0 7] 9 22 0 1] 9 95 10 [6 7 [0 3] 1 6] 0 2] 9 2 10 [6 0 6] 0 2]
              1
              0
            ]
            0
            2
          ]
          8
          [8 [7 [7 [0 31] 9 4 0 7] 9 686 0 1] 9 2 10 [6 [7 [0 3] 1 9] 0 6] 0 2]
          8
          [ 1
            25.051.139.735.836.467.913.601.071.899.189.108.501.681.633.092.613.316.132.753.366.958.947.502.841.281.110.980.347.811.086.624.969.305.314.199.562.795.868.290.539.880.502.533.646.505.489.797.110.349.007.385.020.507.326.982.043.050.618.112.420.254.613.810.441.709.594.605.123.090.411.975.756.494.285.771.699.200.369.901.479.195.251.226.368.983.824.020.564.277.645.963.860.728.452.821.576.845.901.498.668.417.244.438.721.537.663.670.541.944.820.957.180.957.595.559.282.976.806.173.113.161.068.298.822.071.065.329.290.006.052.849.814.285.001.949.914.564.097.058.408.480.133.985.233.335.799.884.203.712.730.341.384.999.677.089.997.083.749.077.591.931.498.939.520.449.886.954.646.413.138.343.858.395.935.213.418.018.409.268.340.744.776.361.518.554.939.863.400.075.967.197.509.182.087.778.881.547.827.184.266.701.615.699.472.280
          ]
          8
          [1 41.557.658.498.906.279.274.860.226.408.925.318.911.382.702.236.748.615.442.085.426.012.007.055.353.447]
          8
          [1 0]
          8
          [ 1
            6
            [5 [0 6] 0 62]
            [8 [7 [7 [0 1.023] 9 4 0 7] 9 94 0 1] 9 2 10 [6 [7 [0 3] 1 5] [0 30] 0 8.182] 0 2]
            8
            [ 8
              [8 [7 [7 [0 1.023] 9 4 0 7] 9 86 0 1] 9 2 10 [6 [7 [0 3] 1 9] [7 [0 3] [0 6] 1 1] 0 254] 0 2]
              8
              [8 [7 [7 [0 2.047] 9 4 0 7] 9 94 0 1] 9 2 10 [6 [7 [0 3] 1 5] [0 6] 0 16.374] 0 2]
              8
              [1 16]
              8
              [ 1
                6
                [5 [1 64] 0 6]
                [0 14]
                8
                [ [8 [0 32.765] 9 2 10 [6 [7 [0 3] 8 [7 [7 [0 16.383] 9 4 0 7] 9 47 0 255] 9 2 10 [6 [0 14] 7 [0 3] 1 15] 0 2] 0 30] 0 2]
                  [8 [0 32.765] 9 2 10 [6 [7 [0 3] 8 [7 [7 [0 16.383] 9 4 0 7] 9 47 0 255] 9 2 10 [6 [0 14] 7 [0 3] 1 2] 0 2] 0 30] 0 2]
                  [8 [0 32.765] 9 2 10 [6 [7 [0 3] 8 [7 [7 [0 16.383] 9 4 0 7] 9 47 0 255] 9 2 10 [6 [0 14] 7 [0 3] 1 16] 0 2] 0 30] 0 2]
                  8
                  [0 32.765]
                  9
                  2
                  10
                  [6 [7 [0 3] 8 [7 [7 [0 16.383] 9 4 0 7] 9 47 0 255] 9 2 10 [6 [0 14] 7 [0 3] 1 7] 0 2] 0 30]
                  0
                  2
                ]
                8
                [ 8
                  [7 [7 [0 32.767] 9 4 0 7] 9 4 0 15]
                  8
                  [0 2]
                  9
                  2
                  10
                  [ 6
                    [7 [0 3] 7 [0 3] 8 [0 65.530] 9 2 10 [6 [7 [0 3] 1 0] [7 [0 3] 1 7] 0 12] 0 2]
                    7
                    [0 3]
                    8
                    [0 2]
                    9
                    2
                    10
                    [ 6
                      [7 [0 3] 7 [0 3] 8 [0 65.530] 9 2 10 [6 [7 [0 3] 1 0] [7 [0 3] 1 18] 0 12] 0 2]
                      7
                      [0 3]
                      7
                      [0 3]
                      8
                      [7 [7 [0 32.767] 9 4 0 7] 9 87 0 1]
                      9
                      2
                      10
                      [6 [7 [0 3] 1 0 3] 0 12]
                      0
                      2
                    ]
                    0
                    2
                  ]
                  0
                  2
                ]
                8
                [ 8
                  [7 [7 [0 65.535] 9 4 0 7] 9 4 0 15]
                  8
                  [0 2]
                  9
                  2
                  10
                  [ 6
                    [7 [0 3] 7 [0 3] 8 [0 131.066] 9 2 10 [6 [7 [0 3] 1 0] [7 [0 3] 1 17] 0 58] 0 2]
                    7
                    [0 3]
                    8
                    [0 2]
                    9
                    2
                    10
                    [ 6
                      [7 [0 3] 7 [0 3] 8 [0 131.066] 9 2 10 [6 [7 [0 3] 1 0] [7 [0 3] 1 19] 0 58] 0 2]
                      7
                      [0 3]
                      7
                      [0 3]
                      8
                      [7 [7 [0 65.535] 9 4 0 7] 9 87 0 1]
                      9
                      2
                      10
                      [6 [7 [0 3] 1 0 10] 0 58]
                      0
                      2
                    ]
                    0
                    2
                  ]
                  0
                  2
                ]
                8
                [8 [0 131.068] 8 [0 2] 9 2 10 [6 [0 502] 7 [0 3] 8 [0 2] 9 2 10 [6 [0 30] 7 [0 3] 8 [0 2] 9 2 10 [6 [0 503] 0 14] 0 2] 0 2] 0 2]
                9
                2
                10
                [ 14
                  8
                  [7 [7 [0 262.143] 9 4 0 7] 9 20 0 1]
                  9
                  2
                  10
                  [6 [7 [0 3] 8 [7 [7 [0 262.143] 9 4 0 7] 9 341 0 1] 9 2 10 [6 [7 [0 3] [1 5] 0 126] 0 6] 0 2] 0 510]
                  0
                  2
                ]
                10
                [6 4 0 126]
                0
                31
              ]
              9
              2
              0
              1
            ]
            8
            [1 0]
            8
            [ [8 [0 8.189] 9 2 10 [6 [7 [0 3] 1 0] 0 126] 0 2]
              [8 [0 8.189] 9 2 10 [6 [7 [0 3] 1 1] 0 126] 0 2]
              [8 [0 8.189] 9 2 10 [6 [7 [0 3] 1 2] 0 126] 0 2]
              [8 [0 8.189] 9 2 10 [6 [7 [0 3] 1 3] 0 126] 0 2]
              [8 [0 8.189] 9 2 10 [6 [7 [0 3] 1 4] 0 126] 0 2]
              [8 [0 8.189] 9 2 10 [6 [7 [0 3] 1 5] 0 126] 0 2]
              [8 [0 8.189] 9 2 10 [6 [7 [0 3] 1 6] 0 126] 0 2]
              8
              [0 8.189]
              9
              2
              10
              [6 [7 [0 3] 1 7] 0 126]
              0
              2
            ]
            8
            [ 1
              6
              [5 [1 64] 0 14]
              [ 9
                2
                10
                [ 14
                  8
                  [7 [7 [0 16.383] 9 4 0 7] 9 95 0 1]
                  9
                  2
                  10
                  [ 6
                    [7 [0 3] 1 5]
                    7
                    [0 3]
                    [8 [0 16.380] 9 2 10 [6 [0 28] 7 [0 3] 8 [0 32.765] 9 2 10 [6 [7 [0 3] 1 0] 0 510] 0 2] 0 2]
                    [8 [0 16.380] 9 2 10 [6 [0 58] 7 [0 3] 8 [0 32.765] 9 2 10 [6 [7 [0 3] 1 1] 0 510] 0 2] 0 2]
                    [8 [0 16.380] 9 2 10 [6 [0 118] 7 [0 3] 8 [0 32.765] 9 2 10 [6 [7 [0 3] 1 2] 0 510] 0 2] 0 2]
                    [8 [0 16.380] 9 2 10 [6 [0 238] 7 [0 3] 8 [0 32.765] 9 2 10 [6 [7 [0 3] 1 3] 0 510] 0 2] 0 2]
                    [8 [0 16.380] 9 2 10 [6 [0 478] 7 [0 3] 8 [0 32.765] 9 2 10 [6 [7 [0 3] 1 4] 0 510] 0 2] 0 2]
                    [8 [0 16.380] 9 2 10 [6 [0 958] 7 [0 3] 8 [0 32.765] 9 2 10 [6 [7 [0 3] 1 5] 0 510] 0 2] 0 2]
                    [8 [0 16.380] 9 2 10 [6 [0 1.918] 7 [0 3] 8 [0 32.765] 9 2 10 [6 [7 [0 3] 1 6] 0 510] 0 2] 0 2]
                    [8 [0 16.380] 9 2 10 [6 [0 1.919] 7 [0 3] 8 [0 32.765] 9 2 10 [6 [7 [0 3] 1 7] 0 510] 0 2] 0 2]
                    1
                    0
                  ]
                  0
                  2
                ]
                10
                [6 4 0 126]
                0
                31
              ]
              8
              [ 8
                [7 [7 [0 16.383] 9 4 0 7] 9 4 0 15]
                8
                [0 2]
                9
                2
                10
                [ 6
                  [7 [0 3] 7 [0 3] 8 [0 32.762] 9 2 10 [6 [7 [0 3] 1 0] [7 [0 3] 1 2] 0 28] 0 2]
                  7
                  [0 3]
                  8
                  [0 2]
                  9
                  2
                  10
                  [ 6
                    [7 [0 3] 7 [0 3] 8 [0 32.762] 9 2 10 [6 [7 [0 3] 1 0] [7 [0 3] 1 13] 0 28] 0 2]
                    7
                    [0 3]
                    7
                    [0 3]
                    8
                    [0 32.762]
                    9
                    2
                    10
                    [6 [7 [0 3] 1 0] [7 [0 3] 1 22] 0 28]
                    0
                    2
                  ]
                  0
                  2
                ]
                0
                2
              ]
              8
              [ 8
                [7 [7 [0 32.767] 9 4 0 7] 9 4 0 15]
                8
                [0 2]
                9
                2
                10
                [ 6
                  [7 [0 3] 7 [0 3] 8 [7 [7 [0 32.767] 9 4 0 7] 9 4 0 1] 9 2 10 [6 [0 60] 0 122] 0 2]
                  7
                  [0 3]
                  8
                  [0 2]
                  9
                  2
                  10
                  [ 6
                    [7 [0 3] 7 [0 3] 8 [7 [7 [0 32.767] 9 4 0 7] 9 4 0 1] 9 2 10 [6 [0 60] 0 246] 0 2]
                    7
                    [0 3]
                    7
                    [0 3]
                    8
                    [7 [7 [0 32.767] 9 4 0 7] 9 4 0 1]
                    9
                    2
                    10
                    [6 [0 122] 0 246]
                    0
                    2
                  ]
                  0
                  2
                ]
                0
                2
              ]
              8
              [8 [0 65.532] 9 2 10 [6 [0 14] 0 6] 0 2]
              8
              [ 8
                [7 [7 [0 131.071] 9 4 0 7] 9 4 0 15]
                8
                [0 2]
                9
                2
                10
                [ 6
                  [7 [0 3] 7 [0 3] 8 [0 262.138] 9 2 10 [6 [7 [0 3] 1 0] [7 [0 3] 1 6] 0 4.062] 0 2]
                  7
                  [0 3]
                  8
                  [0 2]
                  9
                  2
                  10
                  [ 6
                    [7 [0 3] 7 [0 3] 8 [0 262.138] 9 2 10 [6 [7 [0 3] 1 0] [7 [0 3] 1 11] 0 4.062] 0 2]
                    7
                    [0 3]
                    7
                    [0 3]
                    8
                    [0 262.138]
                    9
                    2
                    10
                    [6 [7 [0 3] 1 0] [7 [0 3] 1 25] 0 4.062]
                    0
                    2
                  ]
                  0
                  2
                ]
                0
                2
              ]
              8
              [ 8
                [7 [7 [0 262.143] 9 4 0 7] 9 4 0 15]
                9
                2
                10
                [ 6
                  [7 [0 3] 8 [7 [7 [0 262.143] 9 4 0 7] 9 4 0 1] 9 2 10 [6 [0 8.158] 0 16.318] 0 2]
                  7
                  [0 3]
                  8
                  [7 [7 [0 262.143] 9 4 0 7] 9 4 0 1]
                  9
                  2
                  10
                  [6 [7 [0 3] 8 [0 1.048.567] 9 2 10 [6 0 8.158] 0 2] 0 32.638]
                  0
                  2
                ]
                0
                2
              ]
              8
              [ 8
                [0 524.284]
                8
                [0 2]
                9
                2
                10
                [ 6
                  [0 130.943]
                  7
                  [0 3]
                  8
                  [0 2]
                  9
                  2
                  10
                  [ 6
                    [0 30]
                    7
                    [0 3]
                    8
                    [0 2]
                    9
                    2
                    10
                    [ 6
                      [0 14]
                      7
                      [0 3]
                      8
                      [0 2]
                      9
                      2
                      10
                      [ 6
                        [7 [0 3] 7 [0 3] 8 [0 1.048.573] 9 2 10 [6 [0 1.022] 0 32.766] 0 2]
                        7
                        [0 3]
                        7
                        [0 3]
                        8
                        [0 1.048.573]
                        9
                        2
                        10
                        [6 [0 1.022] 0 2.046]
                        0
                        2
                      ]
                      0
                      2
                    ]
                    0
                    2
                  ]
                  0
                  2
                ]
                0
                2
              ]
              9
              2
              10
              [14 4 0 1.022]
              10
              [ 6
                [8 [0 1.048.572] 9 2 10 [6 [0 6] 0 62] 0 2]
                [0 1.020]
                [0 2.042]
                [0 4.086]
                [8 [0 1.048.572] 9 2 10 [6 [0 16.366] 0 6] 0 2]
                [0 16.350]
                [0 32.702]
                0
                65.406
              ]
              0
              127
            ]
            9
            2
            0
            1
          ]
          9
          2
          0
          1
        ]
        0
        1
      ]
      11
      [1.953.718.630 1 2.036.426.867 [0 7] 0]
      0
      1
    ]
    7
    [ 8
      [1 0]
      [ 1
        [ 8
          [1 0]
          [ 1
            8
            [8 [9 23 0 7] 9 2 10 [6 0 14] 0 2]
            [0 2]
            10
            [6 8 [9 10 0 63] 9 2 10 [6 [7 [0 3] 1 1.932.355.439] 7 [0 3] 8 [9 4 0 255] 9 2 10 [6 [0 126] 0 6] 0 2] 0 2]
            0
            15
          ]
          0
          1
        ]
        [ [ 8
            [1 0]
            [ 1
              11
              [1.851.876.717 [1 [1 1.717.658.988] 7 [0 1] 8 [1 1 114 97 100 45 122 101 114 111 0] 9 2 0 1] 0 1]
              6
              [5 [1 0] 0 6]
              [0 0]
              8
              [8 [9 23 0 7] 9 2 10 [6 7 [0 3] 8 [7 [7 [0 1] 9 4 0 31] 9 686 0 1] 9 2 10 [6 [7 [0 3] 1 0] 0 14] 0 2] 0 2]
              6
              [8 [7 [7 [0 3] 9 4 0 31] 9 343 0 255] 9 2 10 [6 [0 6] 0 30] 0 2]
              [0 2]
              9
              2
              10
              [30 4 0 62]
              0
              3
            ]
            0
            1
          ]
          [10 [6 8 [9 10 0 7] 9 2 10 [6 [7 [0 3] 1 30.449.275.492.921.459] 0 14] 0 2] 0 1]
          10
          [6 8 [9 10 0 7] 9 2 10 [6 [7 [0 3] 1 32.138.125.353.185.395] 0 14] 0 2]
          0
          1
        ]
        [ 8
          [1 0]
          [ 1
            8
            [8 [9 20 0 7] 9 2 10 [6 0 14] 0 2]
            [0 2]
            10
            [6 8 [9 10 0 63] 9 2 10 [6 [7 [0 3] 1 1.932.355.439] 7 [0 3] 8 [9 4 0 255] 9 2 10 [6 [0 126] 0 6] 0 2] 0 2]
            0
            15
          ]
          0
          1
        ]
        7
        [ 8
          [1 0]
          [ 1
            8
            [7 [7 [0 1] 9 4 0 31] 9 46 0 1]
            9
            2
            10
            [ 6
              [7 [0 3] 1 0]
              7
              [0 3]
              8
              [ 8
                [7 [7 [0 1] 9 4 0 31] 9 10 0 3]
                9
                2
                10
                [6 [7 [0 3] 1 1.630.365.551] 7 [0 3] 8 [7 [7 [0 1] 9 4 0 31] 9 4 0 15] 9 2 10 [6 [0 14] 0 62] 0 2]
                0
                2
              ]
              8
              [ 1
                6
                [5 [1 0] 0 30]
                [1 0]
                8
                [ 8
                  [7 [7 [0 7] 9 4 0 31] 9 10 0 3]
                  9
                  2
                  10
                  [ 6
                    [7 [0 3] 1 1.647.142.767]
                    7
                    [0 3]
                    8
                    [7 [7 [0 7] 9 4 0 31] 9 4 0 15]
                    9
                    2
                    10
                    [6 [0 62] 7 [0 3] 8 [7 [7 [0 7] 9 4 0 31] 9 4 0 15] 9 2 10 [6 [0 254] 0 14] 0 2]
                    0
                    2
                  ]
                  0
                  2
                ]
                6
                [8 [7 [7 [0 15] 9 4 0 31] 9 343 0 255] 9 2 10 [6 [0 126] 7 [0 3] 1 256] 0 2]
                [[[0 62] 8 [7 [7 [0 15] 9 4 0 31] 9 1.375 0 1] 9 2 10 [6 [7 [0 3] [1 0] 0 62] 0 6] 0 2] 1 0]
                [[1 256] 0 2]
                9
                2
                10
                [30 8 [7 [7 [0 15] 9 4 0 31] 9 47 0 255] 9 2 10 [6 [0 126] 7 [0 3] 1 256] 0 2]
                10
                [6 0 2]
                0
                3
              ]
              9
              2
              0
              1
            ]
            0
            2
          ]
          0
          1
        ]
        11
        [1.953.718.630 1 7.823.730 [0 7] 0]
        0
        1
      ]
      0
      1
    ]
    11
    [1.953.718.630 1 26.479 [0 7] 0]
    0
    1
  ]
  [ [7 [8 [1 0 0] [1 8 [1 133.480.762.729.846] 0 0] 0 1] 11 [1.953.718.630 1 133.480.762.729.846 [0 7] 0] 0 1]
    [7 [8 [1 0 0] [1 8 [1 1.852.270.963] 0 0] 0 1] 11 [1.953.718.630 1 1.852.270.963 [0 7] 0] 0 1]
    [ 7
      [8 [1 0 0 0] [1 8 [1 133.449.338.811.408.550.175.386.169.016.308.622.710] 0 0] 0 1]
      11
      [1.953.718.630 1 133.449.338.811.408.550.175.386.169.016.308.622.710 [0 7] 0]
      0
      1
    ]
    7
    [8 [1 0 0] [1 8 [1 2.036.275.311.453.377.535.635.164.748.015.987] 0 0] 0 1]
    11
    [1.953.718.630 1 2.036.275.311.453.377.535.635.164.748.015.987 [0 7] 0]
    0
    1
  ]
  [ [ 7
      [ 8
        [1 0 0]
        [ 1
          8
          [1 0 0]
          8
          [ 1
            6
            [6 [5 [1 0] 0 60] [6 [5 [1 0] 0 61] [1 0] 1 1] 1 1]
            [0 13]
            9
            2
            10
            [ 30
              [8 [8 [9 10 0 63] 9 767 10 [6 7 [0 3] 1 0] 0 2] 9 2 10 [6 [7 [0 3] 1 1] 0 124] 0 2]
              8
              [8 [9 10 0 63] 9 767 10 [6 7 [0 3] 1 0] 0 2]
              9
              2
              10
              [6 [7 [0 3] 1 1] 0 125]
              0
              2
            ]
            10
            [ 6
              [4 0 12]
              8
              [9 20 0 511]
              9
              2
              10
              [ 6
                [0 29]
                7
                [0 3]
                8
                [8 [9 10 0 63] 9 90 10 [6 7 [0 3] 1 0] 0 2]
                9
                2
                10
                [ 6
                  [0 28]
                  7
                  [0 3]
                  5
                  [8 [8 [9 10 0 63] 9 367 10 [6 7 [0 3] 1 0] 0 2] 9 2 10 [6 [7 [0 3] 1 1] 0 124] 0 2]
                  8
                  [8 [9 10 0 63] 9 367 10 [6 7 [0 3] 1 0] 0 2]
                  9
                  2
                  10
                  [6 [7 [0 3] 1 1] 0 125]
                  0
                  2
                ]
                0
                2
              ]
              0
              2
            ]
            0
            1
          ]
          9
          2
          0
          1
        ]
        0
        1
      ]
      11
      [1.953.718.630 1 7.891.309 [0 7] 0]
      0
      1
    ]
    [ [ 8
        [[8 [1 0] [1 8 [0 6] 8 [5 [0 14] 0 2] 0 6] 0 1] 8 [1 0] [1 8 [0 6] 8 [5 [0 14] 0 2] 0 6] 0 1]
        [1 8 [[0 50] 0 54] [1 8 [[8 [0 60] 9 2 10 [6 0 28] 0 2] 8 [0 61] 9 2 10 [6 0 29] 0 2] 8 [5 [0 14] 0 2] 0 6] 0 1]
        0
        1
      ]
      [ 8
        [[8 [1 0] [1 8 [0 6] 8 [5 [0 14] 0 2] 0 6] 0 1] 8 [1 0] [1 8 [0 6] 8 [5 [0 14] 0 2] 0 6] 0 1]
        [1 8 [9 46 0 7] 9 2 10 [6 7 [0 3] 8 [9 20 0 7] 9 2 10 [6 [0 28] 0 29] 0 2] 0 2]
        0
        1
      ]
      7
      [ 8
        [1 0]
        [ 1
          6
          [5 [1 0] 0 6]
          [1 1 1]
          8
          [8 [8 [9 10 0 15] 9 190 10 [6 7 [0 3] 1 0] 0 2] 9 2 10 [6 0 14] 0 2]
          8
          [8 [8 [9 10 0 31] 9 190 10 [6 7 [0 3] 1 0] 0 2] 9 2 10 [6 0 6] 0 2]
          [8 [9 20 0 511] 9 2 10 [6 [7 [0 3] 8 [9 20 0 511] 9 2 10 [6 [0 6] 0 6] 0 2] 0 14] 0 2]
          8
          [8 [9 10 0 63] 9 4 10 [6 7 [0 3] 1 0] 0 2]
          9
          2
          10
          [ 6
            [7 [0 3] 8 [9 4 0 63] 9 2 10 [6 0 6] 0 2]
            7
            [0 3]
            8
            [9 4 0 31]
            9
            2
            10
            [ 6
              [7 [0 3] 8 [8 [9 10 0 63] 9 367 10 [6 7 [0 3] 1 0] 0 2] 9 2 10 [6 [7 [0 3] 8 [9 342 0 511] 9 2 10 [6 0 6] 0 2] 0 14] 0 2]
              7
              [0 3]
              8
              [8 [9 10 0 63] 9 90 10 [6 7 [0 3] 1 0] 0 2]
              9
              2
              10
              [6 [7 [0 3] 8 [9 342 0 511] 9 2 10 [6 0 6] 0 2] 0 62]
              0
              2
            ]
            0
            2
          ]
          0
          2
        ]
        0
        1
      ]
      11
      [1.953.718.630 1 7.627.117 [0 7] 0]
      0
      1
    ]
    [ 7
      [ 8
        [1 0]
        [ 1
          8
          [1 0]
          7
          [ 8
            [ 1
              6
              [6 [3 0 30] [1 1] 1 0]
              [ 8
                [8 [9 43 0 31] 9 2 10 [6 0 62] 0 2]
                [8 [9 20 0 1.023] 9 2 10 [6 [7 [0 3] 1 1] 0 12] 0 2]
                8
                [8 [9 10 0 127] 9 90 10 [6 7 [0 3] 1 0] 0 2]
                9
                2
                10
                [6 [7 [0 3] 1 1] 0 13]
                0
                2
              ]
              7
              [10 [6 8 [9 20 0 511] 9 2 10 [6 [7 [0 3] 1 2] 0 14] 0 2] 0 1]
              8
              [9 2 10 [30 0 60] 0 1]
              8
              [9 2 10 [30 0 125] 10 [6 8 [9 20 0 1.023] 9 2 10 [6 [0 30] 0 12] 0 2] 0 3]
              [8 [9 20 0 2.047] 9 2 10 [6 [7 [0 3] 1 2] 7 [0 3] 8 [9 20 0 2.047] 9 2 10 [6 [0 28] 0 12] 0 2] 0 2]
              8
              [9 4 0 127]
              9
              2
              10
              [ 6
                [7 [0 3] 1 1]
                7
                [0 3]
                8
                [8 [9 10 0 255] 9 90 10 [6 7 [0 3] 1 0] 0 2]
                9
                2
                10
                [6 [7 [0 3] 1 2] 7 [0 3] 8 [8 [9 10 0 255] 9 4 10 [6 7 [0 3] 1 0] 0 2] 9 2 10 [6 [0 29] 0 13] 0 2]
                0
                2
              ]
              0
              2
            ]
            9
            2
            0
            1
          ]
          0
          3
        ]
        0
        1
      ]
      11
      [1.953.718.630 1 7.168.362 [0 7] 0]
      0
      1
    ]
    [ 8
      [8 [1 0] [1 8 [0 6] 8 [5 [0 14] 0 2] 0 6] 0 1]
      [ 1
        8
        [1 0]
        [ 1
          8
          [ 6
            [3 0 6]
            [ [8 [0 30] 9 2 10 [6 0 28] 0 2]
              [8 [7 [0 7] 8 [9 46 0 7] 9 2 10 [6 0 14] 0 2] 9 2 10 [6 0 58] 0 2]
              8
              [7 [0 7] 8 [9 46 0 7] 9 2 10 [6 0 14] 0 2]
              9
              2
              10
              [6 0 59]
              0
              2
            ]
            6
            [5 [1 0] 0 6]
            [1 0]
            0
            0
          ]
          8
          [5 [0 14] 0 2]
          0
          6
        ]
        0
        1
      ]
      0
      1
    ]
    [ 7
      [ 8
        [1 0]
        [ 1
          8
          [1 0]
          7
          [ 8
            [ 1
              6
              [5 [1 0] 8 [8 [9 10 0 63] 9 94 10 [6 7 [0 3] 1 0] 0 2] 9 2 10 [6 [7 [0 3] [0 6] 1 1] 0 62] 0 2]
              [8 [8 [9 95 0 31] 9 2 10 [6 [7 [0 3] 4 0 6] 0 62] 0 2] [4 0 4] 0 5]
              8
              [8 [9 20 0 511] 9 2 10 [6 [7 [0 3] 1 2] 0 14] 0 2]
              6
              [5 [1 0] 8 [8 [9 10 0 127] 9 94 10 [6 7 [0 3] 1 0] 0 2] 9 2 10 [6 [7 [0 3] [4 0 14] 1 1] 0 126] 0 2]
              [ 8
                [9 2 10 [6 0 2] 0 3]
                8
                [9 2 10 [6 8 [9 20 0 2.047] 9 2 10 [6 [0 12] 0 14] 0 2] 0 7]
                8
                [[0 13] 0 5]
                [8 [9 20 0 8.191] 9 2 10 [6 [7 [0 3] 1 2] 7 [0 3] 8 [9 20 0 8.191] 9 2 10 [6 [0 60] 0 28] 0 2] 0 2]
                0
                2
              ]
              0
              0
            ]
            9
            2
            0
            1
          ]
          0
          3
        ]
        0
        1
      ]
      11
      [1.953.718.630 1 6.649.187 [0 7] 0]
      0
      1
    ]
    7
    [ 8
      [1 0 0]
      [ 1
        8
        [ 8
          [[1 0] 8 [8 [9 10 0 15] 9 190 10 [6 7 [0 3] 1 0] 0 2] 9 2 10 [6 0 29] 0 2]
          8
          [ 1
            6
            [8 [9 43 0 511] 9 2 10 [6 [0 28] 0 29] 0 2]
            [0 0]
            6
            [ 5
              [1 0]
              8
              [8 [9 10 0 63] 9 94 10 [6 7 [0 3] 1 0] 0 2]
              9
              2
              10
              [6 [7 [0 3] [8 [9 20 0 511] 9 2 10 [6 [0 124] 0 28] 0 2] 1 1] 0 125]
              0
              2
            ]
            [9 2 10 [12 4 0 12] 0 1]
            0
            12
          ]
          9
          2
          0
          1
        ]
        6
        [5 [1 0] 0 2]
        [1 1 0]
        8
        [8 [9 20 0 255] 9 2 10 [6 [0 60] 7 [0 3] 4 0 2] 0 2]
        8
        [ 8
          [9 20 0 511]
          9
          2
          10
          [ 6
            [7 [0 3] 8 [9 4 0 63] 9 2 10 [6 7 [0 3] 8 [9 342 0 511] 9 2 10 [6 0 14] 0 2] 0 2]
            7
            [0 3]
            8
            [8 [9 10 0 63] 9 94 10 [6 7 [0 3] 1 0] 0 2]
            9
            2
            10
            [6 [7 [0 3] [0 2] 8 [9 342 0 511] 9 2 10 [6 0 14] 0 2] 0 125]
            0
            2
          ]
          0
          2
        ]
        [8 [9 20 0 1.023] 9 2 10 [6 [7 [0 3] 8 [9 20 0 1.023] 9 2 10 [6 [0 30] 0 30] 0 2] 0 6] 0 2]
        8
        [8 [9 10 0 127] 9 94 10 [6 7 [0 3] 1 0] 0 2]
        9
        2
        10
        [6 [7 [0 3] [8 [9 20 0 1.023] 9 2 10 [6 [0 14] 7 [0 3] 8 [9 342 0 1.023] 9 2 10 [6 0 30] 0 2] 0 2] 0 2] 0 253]
        0
        2
      ]
      0
      1
    ]
    11
    [1.953.718.630 1 6.452.594 [0 7] 0]
    0
    1
  ]
  [ [8 [1 0] [1 6 [5 [1 0] 0 6] [1 1] 8 [9 4 0 63] 9 2 10 [6 [7 [0 3] 1 2] 7 [0 3] 9 2 10 [6 8 [9 342 0 63] 9 2 10 [6 0 14] 0 2] 0 1] 0 2] 0 1]
    [ 8
      [1 0]
      [ 1
        [ 8
          [1 0 0]
          [1 8 [9 20 0 255] 9 2 10 [6 [7 [0 3] 8 [9 90 0 7] 9 2 10 [6 [7 [0 3] 8 [9 190 0 7] 9 2 10 [6 0 28] 0 2] 0 29] 0 2] 0 28] 0 2]
          0
          1
        ]
        [8 [1 0] [1 8 [9 367 0 7] 9 2 10 [6 [7 [0 3] 1 1] 0 14] 0 2] 0 1]
        [ [ 8
            [1 0 0]
            [ 1
              8
              [1 0]
              7
              [10 [29 8 [9 10 0 15] 9 2 10 [6 0 61] 0 2] 0 1]
              8
              [0 29]
              8
              [ 1
                6
                [5 [0 14] 0 124]
                [8 [9 767 0 63] 9 2 10 [6 [7 [0 3] 1 1] 0 14] 0 2]
                9
                2
                10
                [14 4 0 14]
                10
                [6 8 [9 20 0 2.047] 9 2 10 [6 [0 253] 7 [0 3] 8 [9 90 0 63] 9 2 10 [6 [7 [0 3] 1 1] 0 14] 0 2] 0 2]
                0
                1
              ]
              9
              2
              0
              1
            ]
            0
            1
          ]
          [ 8
            [1 0 0]
            [ 1
              8
              [9 4 0 255]
              9
              2
              10
              [6 [0 29] 7 [0 3] 8 [9 4 0 31] 9 2 10 [6 7 [0 3] 8 [9 4 0 255] 9 2 10 [6 [7 [0 3] 9 182 0 7] 0 28] 0 2] 0 2]
              0
              2
            ]
            0
            1
          ]
          [8 [9 4 0 7] 9 2 10 [6 0 14] 0 2]
          [ 8
            [1 0]
            [1 8 [9 47 0 255] 9 2 10 [6 [7 [0 3] 8 [9 342 0 255] 9 2 10 [6 7 [0 3] 9 382 0 7] 0 2] 7 [0 3] 8 [9 10 0 7] 9 2 10 [6 0 14] 0 2] 0 2]
            0
            1
          ]
          8
          [1 0 0]
          [ 1
            8
            [9 46 0 255]
            9
            2
            10
            [6 [0 29] 7 [0 3] 8 [9 4 0 31] 9 2 10 [6 7 [0 3] 8 [9 4 0 255] 9 2 10 [6 [7 [0 3] 9 182 0 7] 0 28] 0 2] 0 2]
            0
            2
          ]
          0
          1
        ]
        [8 [1 0 0] [1 8 [9 10 0 7] 9 2 10 [6 7 [0 3] 8 [9 20 0 255] 9 2 10 [6 [0 28] 0 29] 0 2] 0 2] 0 1]
        [8 [1 [0 0] 0] [1 8 [9 367 0 7] 9 2 10 [6 [0 57] 7 [0 3] 8 [9 767 0 7] 9 2 10 [6 [0 56] 0 29] 0 2] 0 2] 0 1]
        [ 8
          [1 0]
          [1 8 [1 0] 8 [1 6 [5 [1 0] 0 30] [0 6] 9 2 10 [30 8 [9 767 0 31] 9 2 10 [6 [7 [0 3] 1 1] 0 62] 0 2] 10 [6 4 0 6] 0 1] 9 2 0 1]
          0
          1
        ]
        [8 [9 4 0 7] 9 2 10 [6 7 [0 3] 8 [9 4 0 7] 9 2 10 [6 0 14] 0 2] 0 2]
        [8 [1 0] [1 8 [9 46 0 7] 9 2 10 [6 [7 [0 3] 8 [9 366 0 7] 9 2 10 [6 0 14] 0 2] 7 [0 3] 1 1] 0 2] 0 1]
        8
        [1 0 0]
        [ 1
          8
          [9 170 0 255]
          9
          2
          10
          [6 [0 29] 7 [0 3] 8 [9 4 0 31] 9 2 10 [6 7 [0 3] 8 [9 4 0 255] 9 2 10 [6 [7 [0 3] 9 182 0 7] 0 28] 0 2] 0 2]
          0
          2
        ]
        0
        1
      ]
      0
      1
    ]
    8
    [1 0]
    [1 8 [8 [9 10 0 7] 9 190 10 [6 7 [0 3] 1 0] 0 2] 9 2 10 [6 0 14] 0 2]
    0
    1
  ]
  [ [ 7
      [8 [1 0 0] [1 6 [5 [1 0] 0 13] [1 1] 8 [9 4 0 31] 9 2 10 [6 [0 28] 7 [0 3] 9 2 10 [13 8 [9 342 0 31] 9 2 10 [6 0 29] 0 2] 0 1] 0 2] 0 1]
      11
      [1.953.718.630 1 7.827.312 [0 7] 0]
      0
      1
    ]
    8
    [1 0]
    [ 1
      [8 [1 1 1] [1 8 [9 42 0 7] 9 2 10 [6 7 [0 3] 8 [9 4 0 127] 9 2 10 [6 [0 28] 0 29] 0 2] 0 2] 0 1]
      [ [8 [1 0 0] [1 8 [9 42 0 7] 9 2 10 [6 7 [0 3] 8 [9 20 0 127] 9 2 10 [6 [0 28] 0 29] 0 2] 0 2] 0 1]
        [8 [1 0] [1 8 [9 46 0 127] 9 2 10 [6 [0 14] 0 62] 0 2] 0 1]
        [8 [1 1 1] [1 8 [9 4 0 7] 9 2 10 [6 [0 28] 7 [0 3] 8 [9 174 0 7] 9 2 10 [6 0 29] 0 2] 0 2] 0 1]
        [8 [1 0] [1 0 0] 0 1]
        8
        [1 0]
        [1 8 [9 47 0 127] 9 2 10 [6 [0 62] 7 [0 3] 8 [9 42 0 7] 9 2 10 [6 0 14] 0 2] 0 2]
        0
        1
      ]
      [8 [1 0 0] [1 5 [8 [9 42 0 7] 9 2 10 [6 0 28] 0 2] 8 [9 42 0 7] 9 2 10 [6 0 29] 0 2] 0 1]
      [8 [1 0 0] [1 8 [9 42 0 7] 9 2 10 [6 7 [0 3] 8 [9 4 0 31] 9 2 10 [6 [0 28] 0 29] 0 2] 0 2] 0 1]
      8
      [1 0 0]
      [ 1
        8
        [9 42 0 7]
        9
        2
        10
        [6 7 [0 3] 8 [9 47 0 127] 9 2 10 [6 [7 [0 3] 8 [9 20 0 127] 9 2 10 [6 [0 62] 0 28] 0 2] 7 [0 3] 8 [9 42 0 7] 9 2 10 [6 0 29] 0 2] 0 2]
        0
        2
      ]
      0
      1
    ]
    0
    1
  ]
  [ [8 [1 [[0 15] [0 0] [0 0] 0] 0] [1 8 [0 101] [1 8 [0 60] 9 2 10 [6 [0 125] 0 14] 0 2] 0 1] 0 1]
    [ [8 [8 [1 0] [1 8 [0 6] 8 [5 [0 14] 0 2] 0 6] 0 1] [1 8 [1 0] [1 8 [7 [0 7] [1 7 [0 14] 9 2 0 1] 0 1] 8 [5 [0 14] 0 2] 0 6] 0 1] 0 1]
      [ 8
        [8 [1 0] [1 8 [0 6] 8 [5 [0 14] 0 2] 0 6] 0 1]
        [ 1
          8
          [1 0]
          [1 8 [6 [3 0 6] [[6 [5 [1 0] 0 12] [1 0] 0 0] 8 [0 30] 9 2 10 [6 0 29] 0 2] 6 [5 [1 0] 0 6] [1 0] 0 0] 8 [5 [0 14] 0 2] 0 6]
          0
          1
        ]
        0
        1
      ]
      [ 8
        [8 [1 0] [1 8 [0 6] 8 [5 [0 14] 0 2] 0 6] 0 1]
        [ 1
          8
          [[0 26] 7 [8 [9 47 0 7] 9 2 10 [6 0 14] 0 2] 0 6]
          [1 8 [[8 [0 30] 9 2 10 [6 0 28] 0 2] 8 [7 [0 7] 8 [9 47 0 7] 9 2 10 [6 0 14] 0 2] 9 2 10 [6 0 29] 0 2] 8 [5 [0 14] 0 2] 0 6]
          0
          1
        ]
        0
        1
      ]
      [8 [1 0] [1 8 [7 [1 0 0] 8 [0 2] [1 0 15] 0 1] 8 [5 [0 14] 0 2] 0 6] 0 1]
      [ 8
        [[8 [1 0] [1 8 [0 6] 8 [5 [0 14] 0 2] 0 6] 0 1] 8 [1 0] [1 8 [0 6] 8 [5 [0 14] 0 2] 0 6] 0 1]
        [ 1
          8
          [[1 0] 0 54]
          [ 1
            8
            [ 6
              [5 [1 1] 0 12]
              [[6 [5 [0 12] 1 1] [1 1] 0 0] 8 [0 60] 9 2 10 [6 0 29] 0 2]
              [6 [5 [0 12] 1 0] [1 0] 0 0]
              8
              [0 61]
              9
              2
              10
              [6 0 29]
              0
              2
            ]
            8
            [5 [0 14] 0 2]
            0
            6
          ]
          0
          1
        ]
        0
        1
      ]
      [ 8
        [8 [1 0] [1 8 [0 6] 8 [5 [0 14] 0 2] 0 6] 0 1]
        [ 1
          8
          [1 0]
          [ 1
            8
            [ 6
              [3 0 6]
              [ [8 [0 30] 9 2 10 [6 0 28] 0 2]
                [8 [7 [0 7] 8 [9 702 0 7] 9 2 10 [6 0 14] 0 2] 9 2 10 [6 0 58] 0 2]
                8
                [7 [0 7] 8 [9 702 0 7] 9 2 10 [6 0 14] 0 2]
                9
                2
                10
                [6 0 59]
                0
                2
              ]
              6
              [5 [1 0] 0 6]
              [1 0]
              0
              0
            ]
            8
            [5 [0 14] 0 2]
            0
            6
          ]
          0
          1
        ]
        0
        1
      ]
      [8 [1 0] [1 6 [5 [1 0] 0 6] [1 0] 4 9 2 10 [6 0 13] 0 1] 0 1]
      8
      [8 [1 0] [1 8 [0 6] 8 [5 [0 14] 0 2] 0 6] 0 1]
      [1 8 [8 [1 0] [1 8 [0 6] 8 [5 [0 14] 0 2] 0 6] 0 1] 8 [5 [0 14] 0 2] 0 6]
      0
      1
    ]
    [8 [1 0 [0 15] 0 0 0] [1 8 [1 6 [5 [1 0] 0 28] [1 0] [8 [0 29] 9 2 10 [6 0 120] 0 2] 9 2 10 [28 0 57] 0 1] 9 2 0 1] 0 1]
    [8 [1 0 [0 13] [0 0] 0] [1 8 [1 6 [5 [1 0] 0 28] [0 237] 8 [0 29] 9 2 10 [6 [0 120] 7 [0 3] 9 2 10 [28 0 57] 0 1] 0 2] 9 2 0 1] 0 1]
    8
    [8 [1 0] [1 8 [0 6] 8 [5 [0 14] 0 2] 0 6] 0 1]
    [ 1
      8
      [1 0]
      [ 1
        8
        [6 [3 0 6] [[8 [0 30] 9 2 10 [6 0 28] 0 2] 8 [7 [0 7] 8 [9 47 0 7] 9 2 10 [6 0 14] 0 2] 9 2 10 [6 0 29] 0 2] 6 [5 [1 0] 0 6] [1 0] 0 0]
        8
        [5 [0 14] 0 2]
        0
        6
      ]
      0
      1
    ]
    0
    1
  ]
  [ [ 7
      [ 8
        [1 1 1]
        [ 1
          8
          [1 0]
          8
          [1 6 [5 [1 0] 0 60] [0 6] 9 2 10 [60 8 [9 342 0 31] 9 2 10 [6 0 124] 0 2] 10 [6 8 [9 20 0 31] 9 2 10 [6 [0 125] 0 14] 0 2] 0 1]
          9
          2
          0
          1
        ]
        0
        1
      ]
      11
      [1.953.718.630 1 7.107.949 [0 7] 0]
      0
      1
    ]
    [ [ 7
        [8 [1 0 0] [1 6 [5 [1 0] 0 12] [0 13] 9 2 10 [6 [8 [9 342 0 7] 9 2 10 [6 0 28] 0 2] 4 0 13] 0 1] 0 1]
        11
        [1.953.718.630 1 6.579.297 [0 7] 0]
        0
        1
      ]
      [ [ 7
          [8 [1 0 0] [1 6 [5 [0 12] 0 13] [1 0] 6 [8 [9 343 0 7] 9 2 10 [6 [0 28] 0 29] 0 2] [1 0] 1 1] 0 1]
          11
          [1.953.718.630 1 6.648.940 [0 7] 0]
          0
          1
        ]
        [ 7
          [ 8
            [1 1 1]
            [ 1
              6
              [5 [1 0] 0 13]
              [0 0]
              8
              [1 0]
              8
              [1 6 [8 [9 343 0 31] 9 2 10 [6 [0 124] 0 125] 0 2] [0 6] 9 2 10 [60 8 [9 47 0 31] 9 2 10 [6 [0 124] 0 125] 0 2] 10 [6 4 0 6] 0 1]
              9
              2
              0
              1
            ]
            0
            1
          ]
          11
          [1.953.718.630 1 7.760.228 [0 7] 0]
          0
          1
        ]
        [ 7
          [8 [1 0] [1 6 [5 [1 0] 0 6] [0 0] 8 [1 0] 8 [1 6 [5 [0 30] 4 0 6] [0 6] 9 2 10 [6 4 0 6] 0 1] 9 2 0 1] 0 1]
          11
          [1.953.718.630 1 6.514.020 [0 7] 0]
          0
          1
        ]
        7
        [ 8
          [1 0 0]
          [ 1
            6
            [6 [5 [0 12] 0 13] [1 1] 1 0]
            [ 6
              [ 8
                [ 1
                  6
                  [5 [1 0] 0 28]
                  [1 0]
                  6
                  [ 6
                    [6 [5 [1 0] 0 29] [1 1] 1 0]
                    [6 [9 2 10 [14 [8 [9 342 0 15] 9 2 10 [6 0 60] 0 2] 8 [9 342 0 15] 9 2 10 [6 0 61] 0 2] 0 1] [1 0] 1 1]
                    1
                    1
                  ]
                  [1 0]
                  1
                  1
                ]
                9
                2
                0
                1
              ]
              [1 0]
              1
              1
            ]
            1
            1
          ]
          0
          1
        ]
        11
        [1.953.718.630 1 6.845.548 [0 7] 0]
        0
        1
      ]
      7
      [8 [1 0 0] [1 6 [8 [9 84 0 7] 9 2 10 [6 [0 28] 0 29] 0 2] [1 1] 1 0] 0 1]
      11
      [1.953.718.630 1 6.845.543 [0 7] 0]
      0
      1
    ]
    [7 [8 [1 0 0] [1 6 [8 [9 343 0 7] 9 2 10 [6 [0 28] 0 29] 0 2] [1 1] 1 0] 0 1] 11 [1.953.718.630 1 6.648.935 [0 7] 0] 0 1]
    [ 7
      [ 8
        [1 1 1]
        [ 1
          6
          [5 [1 0] 0 13]
          [0 0]
          8
          [9 47 0 7]
          9
          2
          10
          [6 [0 28] 7 [0 3] 8 [9 4 0 7] 9 2 10 [6 [0 29] 7 [0 3] 8 [9 170 0 7] 9 2 10 [6 [0 28] 0 29] 0 2] 0 2]
          0
          2
        ]
        0
        1
      ]
      11
      [1.953.718.630 1 6.582.125 [0 7] 0]
      0
      1
    ]
    7
    [8 [1 0 0] [1 6 [5 [1 0] 0 13] [0 12] 9 2 10 [6 [8 [9 342 0 7] 9 2 10 [6 0 28] 0 2] 8 [9 342 0 7] 9 2 10 [6 0 29] 0 2] 0 1] 0 1]
    11
    [1.953.718.630 1 6.452.595 [0 7] 0]
    0
    1
  ]
  [0 3]
  909
  ]
  """

  # evaluated at compile time.
  @stdlib_core_val Noun.Format.parse_always(stdlib_string)

  @spec stdlib_core :: Noun.t()
  def stdlib_core do
    @stdlib_core_val
  end

  rm_string = """
  [ [ 7
    [8 [1 0 0 0 0 0] [1 8 [1 30.160.793.233.665.617.219.451.904.865] 0 0] 0 1]
    11
    [1.953.718.630 1 30.160.793.233.665.617.219.451.904.865 [0 7] 0]
    0
    1
  ]
  [ [8 [1 0] [1 8 [6 [6 [3 0 6] [1 1] 1 0] [0 6] 0 0] 8 [5 [0 14] 0 2] 0 6] 0 1]
    [ [8 [1 0] [1 8 [6 [6 [3 0 6] [1 1] 1 0] [0 6] 0 0] 8 [5 [0 14] 0 2] 0 6] 0 1]
      [8 [1 0] [1 8 [6 [6 [3 0 6] [1 1] 1 0] [0 6] 0 0] 8 [5 [0 14] 0 2] 0 6] 0 1]
      8
      [1 0 0 0]
      [ 1
        8
        [[6 [6 [3 0 12] [1 1] 1 0] [0 12] 0 0] [6 [6 [3 0 26] [1 1] 1 0] [0 26] 0 0] 6 [6 [3 0 27] [1 1] 1 0] [0 27] 0 0]
        8
        [5 [0 14] 0 2]
        0
        6
      ]
      0
      1
    ]
    [8 [1 0] [1 8 [6 [6 [3 0 6] [1 1] 1 0] [0 6] 0 0] 8 [5 [0 14] 0 2] 0 6] 0 1]
    [1 2]
    [ [8 [1 0] [1 8 [6 [6 [3 0 6] [1 1] 1 0] [0 6] 0 0] 8 [5 [0 14] 0 2] 0 6] 0 1]
      7
      [ 8
        [1 42.693 2 2 1 1 [32 0] [32 0] 1.701.536.102]
        [1 8 [9 22 0 2.047] 9 2 10 [6 7 [0 3] 8 [9 4 0 31] 9 2 10 [6 7 [0 3] [[8 [9 5.972 0 7] 9 2 10 [6 0 14] 0 2] 0 110] 1 0] 0 2] 0 2]
        0
        1
      ]
      11
      [1.953.718.630 1 1.976.617.745.361.509.238.207.854.077.502.834 [0 7] 0]
      0
      1
    ]
    [ 7
      [ 8
        [1 1.701.536.102 [0 0 2] 3.561.077.109.446.357.667.049.832.284.909.642.655.530.995.937.367.874.908.225]
        [1 8 [1 142.430.319.063.424.125.262.396.799.117.113.003.895.779.868.110.691] 0 0]
        0
        1
      ]
      11
      [1.953.718.630 1 142.430.319.063.424.125.262.396.799.117.113.003.895.779.868.110.691 [0 7] 0]
      0
      1
    ]
    [7 [8 [1 0 0 0 0 0] [1 0 0] 0 1] 11 [1.953.718.630 1 168.742.851.944.306.662.574.819.881.446.949.410.111.108.170.735.971 [0 7] 0] 0 1]
    [ 8
      [1 0 0 0]
      [ 1
        8
        [ [8 [7 [0 7] 8 [9 4 0 15] 9 2 10 [6 7 [0 3] 9 86 0 1] 0 2] 9 2 10 [6 0 28] 0 2]
          [8 [7 [0 7] 8 [9 4 0 15] 9 2 10 [6 7 [0 3] 9 1.494 0 1] 0 2] 9 2 10 [6 0 58] 0 2]
          6
          [6 [3 0 27] [1 1] 1 0]
          [0 27]
          0
          0
        ]
        8
        [5 [0 14] 0 2]
        0
        6
      ]
      0
      1
    ]
    8
    [1 [0 0] 42.693 2 2 1 1 [32 0] [32 0] 1.701.536.102]
    [1 8 [8 [9 10 0 4.095] 9 4 10 [6 7 [0 3] 1 3] 0 2] 9 2 10 [6 [7 [0 3] 1 6.243.918] 7 [0 3] 8 [9 22 0 2.047] 9 2 10 [6 0 29] 0 2] 0 2]
    0
    1
  ]
  [ 8
    [1 42.693 2 2 1 1 [32 0] [32 0] 1.701.536.102]
    [ 1
      8
      [ [6 [6 [3 0 12] [1 1] 1 0] [0 12] 0 0]
        [6 [6 [3 0 26] [1 1] 1 0] [0 26] 0 0]
        [6 [6 [3 0 54] [1 1] 1 0] [0 54] 0 0]
        [6 [6 [3 0 110] [1 1] 1 0] [0 110] 0 0]
        [6 [5 [1 0] 0 222] [1 0] 6 [5 [1 1] 0 222] [1 1] 0 0]
        [[6 [6 [3 0 892] [1 1] 1 0] [0 892] 0 0] 6 [6 [3 0 893] [1 1] 1 0] [0 893] 0 0]
        [[6 [6 [3 0 1.788] [1 1] 1 0] [0 1.788] 0 0] 6 [6 [3 0 1.789] [1 1] 1 0] [0 1.789] 0 0]
        6
        [5 [0 895] 1 1.701.536.102]
        [1 1.701.536.102]
        0
        0
      ]
      8
      [5 [0 14] 0 2]
      0
      6
    ]
    0
    1
  ]
  [ [ 7
      [8 [1 [0 0 0] 0 0 0] [1 8 [1 8.037.769.911.759.897.498.041.874.735.459] 0 0] 0 1]
      11
      [1.953.718.630 1 8.037.769.911.759.897.498.041.874.735.459 [0 7] 0]
      0
      1
    ]
    [ [7 [8 [1 0 0] [1 8 [1 1.851.907.519.744.077.227.364] 0 0] 0 1] 11 [1.953.718.630 1 1.851.907.519.744.077.227.364 [0 7] 0] 0 1]
      [ [ 8
          [1 0 0 0 0 0]
          [ 1
            8
            [ [8 [7 [0 7] 8 [9 47 0 4.095] 9 2 10 [6 7 [0 3] 9 20 0 1] 0 2] 9 2 10 [6 0 28] 0 2]
              [8 [7 [0 7] 8 [9 47 0 4.095] 9 2 10 [6 7 [0 3] 9 12.015 0 1] 0 2] 9 2 10 [6 0 58] 0 2]
              [ 8
                [ 7
                  [0 7]
                  8
                  [9 42 0 511]
                  9
                  2
                  10
                  [ 6
                    [7 [0 3] 9 1.500 0 1]
                    7
                    [0 3]
                    8
                    [9 20 0 511]
                    9
                    2
                    10
                    [6 [7 [0 3] 8 [1 0] [1 8 [6 [6 [3 0 6] [1 1] 1 0] [0 6] 0 0] 8 [5 [0 14] 0 2] 0 6] 0 1] 7 [0 3] 9 5.973 0 1]
                    0
                    2
                  ]
                  0
                  2
                ]
                9
                2
                10
                [6 0 118]
                0
                2
              ]
              [8 [7 [0 7] 8 [9 47 0 4.095] 9 2 10 [6 7 [0 3] 9 5.973 0 1] 0 2] 9 2 10 [6 0 238] 0 2]
              8
              [ 7
                [0 7]
                8
                [9 42 0 511]
                9
                2
                10
                [ 6
                  [7 [0 3] 9 1.500 0 1]
                  7
                  [0 3]
                  8
                  [9 47 0 4.095]
                  9
                  2
                  10
                  [ 6
                    7
                    [0 3]
                    8
                    [9 20 0 511]
                    9
                    2
                    10
                    [ 6
                      [7 [0 3] 8 [1 0] [1 8 [6 [6 [3 0 6] [1 1] 1 0] [0 6] 0 0] 8 [5 [0 14] 0 2] 0 6] 0 1]
                      7
                      [0 3]
                      8
                      [1 0]
                      [1 8 [6 [5 [1 0] 0 6] [1 0] 6 [5 [1 1] 0 6] [1 1] 0 0] 8 [5 [0 14] 0 2] 0 6]
                      0
                      1
                    ]
                    0
                    2
                  ]
                  0
                  2
                ]
                0
                2
              ]
              9
              2
              10
              [6 0 239]
              0
              2
            ]
            8
            [5 [0 14] 0 2]
            0
            6
          ]
          0
          1
        ]
        [ [ 7
            [ 8
              [1 42.693 2 2 1 1 [32 0] [32 0] 1.701.536.102]
              [1 8 [9 22 0 511] 9 2 10 [6 7 [0 3] 8 [9 22 0 2.047] 9 2 10 [6 7 [0 3] [0 26] 0 12] 0 2] 0 2]
              0
              1
            ]
            11
            [1.953.718.630 1 1.684.957.547 [0 7] 0]
            0
            1
          ]
          8
          [1 1.701.536.102 [0 0 2] 3.561.077.109.446.357.667.049.832.284.909.642.655.530.995.937.367.874.908.225]
          [ 1
            8
            [[8 [7 [0 7] 9 94 0 1] 9 2 10 [6 0 28] 0 2] [8 [7 [0 7] 9 190 0 1] 9 2 10 [6 0 58] 0 2] 6 [6 [3 0 27] [1 1] 1 0] [0 27] 0 0]
            8
            [5 [0 14] 0 2]
            0
            6
          ]
          0
          1
        ]
        [8 [1 0] [1 5 [1 6.243.918] 8 [8 [9 10 0 4.095] 9 367 10 [6 7 [0 3] 1 3] 0 2] 9 2 10 [6 [7 [0 3] 1 3] 0 14] 0 2] 0 1]
        [ 8
          [1 0 0 1.701.536.102]
          [ 1
            8
            [ [ 8
                [7 [0 7] 8 [9 4 0 15] 9 2 10 [6 7 [0 3] 8 [1 0] [1 8 [6 [6 [3 0 6] [1 1] 1 0] [0 6] 0 0] 8 [5 [0 14] 0 2] 0 6] 0 1] 0 2]
                9
                2
                10
                [6 0 28]
                0
                2
              ]
              [8 [7 [0 7] 8 [9 4 0 15] 9 2 10 [6 7 [0 3] 9 1.492 0 1] 0 2] 9 2 10 [6 0 58] 0 2]
              8
              [7 [0 7] 9 94 0 1]
              9
              2
              10
              [6 0 59]
              0
              2
            ]
            8
            [5 [0 14] 0 2]
            0
            6
          ]
          0
          1
        ]
        7
        [8 [1 0] [1 8 [1 460.217.181.910.180.775.551.341] 0 0] 0 1]
        11
        [1.953.718.630 1 460.217.181.910.180.775.551.341 [0 7] 0]
        0
        1
      ]
      [ 8
        [1 0 0 0 0 0]
        [ 1
          8
          [ [8 [7 [0 7] 8 [9 47 0 4.095] 9 2 10 [6 7 [0 3] 9 84 0 1] 0 2] 9 2 10 [6 0 28] 0 2]
            [8 [7 [0 7] 8 [9 47 0 4.095] 9 2 10 [6 7 [0 3] 9 700 0 1] 0 2] 9 2 10 [6 0 58] 0 2]
            [ 8
              [ 7
                [0 7]
                8
                [9 42 0 511]
                9
                2
                10
                [ 6
                  [7 [0 3] 9 2.990 0 1]
                  7
                  [0 3]
                  8
                  [9 20 0 511]
                  9
                  2
                  10
                  [6 [7 [0 3] 8 [1 0] [1 8 [6 [6 [3 0 6] [1 1] 1 0] [0 6] 0 0] 8 [5 [0 14] 0 2] 0 6] 0 1] 7 [0 3] 9 171 0 1]
                  0
                  2
                ]
                0
                2
              ]
              9
              2
              10
              [6 0 118]
              0
              2
            ]
            [8 [7 [0 7] 8 [9 4 0 15] 9 2 10 [6 7 [0 3] 9 171 0 1] 0 2] 9 2 10 [6 0 238] 0 2]
            8
            [ 7
              [0 7]
              8
              [9 42 0 511]
              9
              2
              10
              [ 6
                [7 [0 3] 9 2.990 0 1]
                7
                [0 3]
                8
                [9 47 0 4.095]
                9
                2
                10
                [ 6
                  7
                  [0 3]
                  8
                  [9 20 0 511]
                  9
                  2
                  10
                  [ 6
                    [7 [0 3] 8 [1 0] [1 8 [6 [6 [3 0 6] [1 1] 1 0] [0 6] 0 0] 8 [5 [0 14] 0 2] 0 6] 0 1]
                    7
                    [0 3]
                    8
                    [1 0]
                    [1 8 [6 [6 [3 0 6] [1 1] 1 0] [0 6] 0 0] 8 [5 [0 14] 0 2] 0 6]
                    0
                    1
                  ]
                  0
                  2
                ]
                0
                2
              ]
              0
              2
            ]
            9
            2
            10
            [6 0 239]
            0
            2
          ]
          8
          [5 [0 14] 0 2]
          0
          6
        ]
        0
        1
      ]
      [ 8
        [1 0]
        [1 8 [6 [6 [3 0 6] [1 1] 1 0] [8 [7 [0 7] 9 84 0 1] 9 2 10 [6 0 14] 0 2] 8 [7 [0 7] 9 700 0 1] 9 2 10 [6 0 14] 0 2] 8 [5 [0 14] 0 2] 0 6]
        0
        1
      ]
      8
      [1 0 0 0 0 1 0 0 0]
      [ 1
        8
        [ [6 [6 [3 0 12] [1 1] 1 0] [0 12] 0 0]
          [6 [6 [3 0 26] [1 1] 1 0] [0 26] 0 0]
          [6 [6 [3 0 54] [1 1] 1 0] [0 54] 0 0]
          [6 [6 [3 0 110] [1 1] 1 0] [0 110] 0 0]
          [6 [5 [1 0] 0 222] [1 0] 6 [5 [1 1] 0 222] [1 1] 0 0]
          [6 [6 [3 0 446] [1 1] 1 0] [0 446] 0 0]
          [6 [6 [3 0 894] [1 1] 1 0] [0 894] 0 0]
          6
          [6 [3 0 895] [1 1] 1 0]
          [0 895]
          0
          0
        ]
        8
        [5 [0 14] 0 2]
        0
        6
      ]
      0
      1
    ]
    [ 7
      [8 [1 0 0] [1 8 [1 9.617.995.219.584.854.562.052.393.235.060] 5 [0 28] 0 29] 0 1]
      11
      [1.953.718.630 1 9.617.995.219.584.854.562.052.393.235.060 [0 7] 0]
      0
      1
    ]
    [ [ 8
        [1 0]
        [ 1
          8
          [6 [6 [3 0 6] [1 1] 1 0] [8 [7 [0 7] 9 20 0 1] 9 2 10 [6 0 14] 0 2] 8 [7 [0 7] 9 12.015 0 1] 9 2 10 [6 0 14] 0 2]
          8
          [5 [0 14] 0 2]
          0
          6
        ]
        0
        1
      ]
      [ 8
        [1 42.693 2 2 1 1 [32 0] [32 0] 1.701.536.102]
        [1 8 [8 [9 10 0 4.095] 9 4 10 [6 7 [0 3] 1 3] 0 2] 9 2 10 [6 [7 [0 3] 1 6.245.699] 7 [0 3] 8 [9 22 0 2.047] 9 2 10 [6 0 14] 0 2] 0 2]
        0
        1
      ]
      [ [8 [1 0] [1 5 [1 6.245.699] 8 [8 [9 10 0 4.095] 9 367 10 [6 7 [0 3] 1 3] 0 2] 9 2 10 [6 [7 [0 3] 1 3] 0 14] 0 2] 0 1]
        7
        [8 [1 0 0] [1 8 [1 1.816.244.077.244.883.690.852] 0 0] 0 1]
        11
        [1.953.718.630 1 1.816.244.077.244.883.690.852 [0 7] 0]
        0
        1
      ]
      [ 8
        [1 0]
        [ 1
          8
          [ 6
            [3 0 6]
            [ 6
              [5 [1 97] 0 12]
              [[6 [5 [0 12] 1 97] [1 97] 0 0] 8 [7 [0 7] 8 [9 47 0 4.095] 9 2 10 [6 7 [0 3] 9 12.014 0 1] 0 2] 9 2 10 [6 0 29] 0 2]
              6
              [5 [1 98] 0 12]
              [[6 [5 [0 12] 1 98] [1 98] 0 0] 6 [5 [1 0] 0 13] [1 0] 6 [5 [1 1] 0 13] [1 1] 0 0]
              6
              [5 [1 111] 0 12]
              [ [6 [5 [0 12] 1 111] [1 111] 0 0]
                8
                [ 7
                  [0 7]
                  8
                  [9 47 0 4.095]
                  9
                  2
                  10
                  [ 6
                    7
                    [0 3]
                    8
                    [9 20 0 511]
                    9
                    2
                    10
                    [6 [7 [0 3] 8 [1 0] [1 8 [6 [6 [3 0 6] [1 1] 1 0] [0 6] 0 0] 8 [5 [0 14] 0 2] 0 6] 0 1] 7 [0 3] 9 12.014 0 1]
                    0
                    2
                  ]
                  0
                  2
                ]
                9
                2
                10
                [6 0 29]
                0
                2
              ]
              6
              [5 [1 110] 0 12]
              [[6 [5 [0 12] 1 110] [1 110] 0 0] 6 [6 [3 0 13] [1 1] 1 0] [0 13] 0 0]
              [6 [5 [0 12] 1 115] [1 115] 0 0]
              6
              [6 [3 0 13] [1 1] 1 0]
              [0 13]
              0
              0
            ]
            6
            [5 [1 0] 0 6]
            [1 0]
            0
            0
          ]
          8
          [5 [0 14] 0 2]
          0
          6
        ]
        0
        1
      ]
      8
      [1 0]
      [1 8 [6 [6 [3 0 6] [1 1] 1 0] [0 6] 0 0] 8 [5 [0 14] 0 2] 0 6]
      0
      1
    ]
    [ 7
      [8 [1 0 0 0] [1 8 [1 10.575.097.579.907.313.368.289.401.229.516.918.265.574.004] 0 0] 0 1]
      11
      [1.953.718.630 1 10.575.097.579.907.313.368.289.401.229.516.918.265.574.004 [0 7] 0]
      0
      1
    ]
    7
    [8 [1 0 0 0] [1 8 [1 33.162.142.863.363.038.665.078.027.728.817.922.597.219] 0 0] 0 1]
    11
    [1.953.718.630 1 33.162.142.863.363.038.665.078.027.728.817.922.597.219 [0 7] 0]
    0
    1
  ]
  [8 [1 1.701.536.102] [1 8 [6 [5 [0 6] 1 1.701.536.102] [1 1.701.536.102] 0 0] 8 [5 [0 14] 0 2] 0 6] 0 1]
  [ 8
    [1 0 0 2]
    [ 1
      8
      [ [ 8
          [ 7
            [0 7]
            8
            [9 47 0 4.095]
            9
            2
            10
            [ 6
              7
              [0 3]
              8
              [1 0 0 0]
              [ 1
                8
                [[8 [7 [0 7] 9 12.015 0 1] 9 2 10 [6 0 28] 0 2] [6 [6 [3 0 26] [1 1] 1 0] [0 26] 0 0] 6 [6 [3 0 27] [1 1] 1 0] [0 27] 0 0]
                8
                [5 [0 14] 0 2]
                0
                6
              ]
              0
              1
            ]
            0
            2
          ]
          9
          2
          10
          [6 0 28]
          0
          2
        ]
        [ 8
          [ 7
            [0 7]
            8
            [9 47 0 4.095]
            9
            2
            10
            [ 6
              7
              [0 3]
              8
              [9 20 0 511]
              9
              2
              10
              [6 [7 [0 3] 9 20 0 1] 7 [0 3] 8 [1 0] [1 8 [6 [6 [3 0 6] [1 1] 1 0] [0 6] 0 0] 8 [5 [0 14] 0 2] 0 6] 0 1]
              0
              2
            ]
            0
            2
          ]
          9
          2
          10
          [6 0 58]
          0
          2
        ]
        6
        [6 [3 0 27] [1 1] 1 0]
        [0 27]
        0
        0
      ]
      8
      [5 [0 14] 0 2]
      0
      6
    ]
    0
    1
  ]
  [ 7
    [8 [1 0 0 0] [1 8 [1 8.038.062.419.953.566.827.795.512.058.721] 0 0] 0 1]
    11
    [1.953.718.630 1 8.038.062.419.953.566.827.795.512.058.721 [0 7] 0]
    0
    1
  ]
  7
  [8 [1 [0 0 1.701.536.102] 0 0 1.701.536.102] [1 8 [1 1.871.439.142.096.763.825.524] 0 0] 0 1]
  11
  [1.953.718.630 1 1.871.439.142.096.763.825.524 [0 7] 0]
  0
  1
  ]
  """

  # evaluated at compile time.
  @rm_core_val [Noun.Format.parse_always(rm_string) | @stdlib_core_val]

  @spec rm_core :: Noun.t()
  def rm_core do
    @rm_core_val
  end
end
