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