{
 "schema_version": "0.4",
 "name": "[[576,42,24]] [[8,3,3]] inner x [[72,14,8]] outer concatenation",
 "code_type": "stabilizer",
 "n": 576,
 "k": 42,
 "checks": {
  "S": [
   {
    "X": [
     0,
     4,
     6,
     7
    ],
    "Z": [
     2,
     4,
     5,
     7
    ]
   },
   {
    "X": [
     3,
     5,
     6,
     7
    ],
    "Z": [
     0,
     2,
     5,
     6
    ]
   },
   {
    "X": [
     1,
     4,
     5,
     6
    ],
    "Z": [
     2,
     3,
     4,
     6
    ]
   },
   {
    "X": [
     3,
     5,
     6,
     7
    ],
    "Z": [
     1,
     3,
     4,
     7
    ]
   },
   {
    "X": [
     2,
     3,
     4,
     6
    ],
    "Z": [
     3,
     5,
     6,
     7
    ]
   },
   {
    "X": [
     8,
     12,
     14,
     15
    ],
    "Z": [
     10,
     12,
     13,
     15
    ]
   },
   {
    "X": [
     11,
     13,
     14,
     15
    ],
    "Z": [
     8,
     10,
     13,
     14
    ]
   },
   {
    "X": [
     9,
     12,
     13,
     14
    ],
    "Z": [
     10,
     11,
     12,
     14
    ]
   },
   {
    "X": [
     11,
     13,
     14,
     15
    ],
    "Z": [
     9,
     11,
     12,
     15
    ]
   },
   {
    "X": [
     10,
     11,
     12,
     14
    ],
    "Z": [
     11,
     13,
     14,
     15
    ]
   },
   {
    "X": [
     16,
     20,
     22,
     23
    ],
    "Z": [
     18,
     20,
     21,
     23
    ]
   },
   {
    "X": [
     19,
     21,
     22,
     23
    ],
    "Z": [
     16,
     18,
     21,
     22
    ]
   },
   {
    "X": [
     17,
     20,
     21,
     22
    ],
    "Z": [
     18,
     19,
     20,
     22
    ]
   },
   {
    "X": [
     19,
     21,
     22,
     23
    ],
    "Z": [
     17,
     19,
     20,
     23
    ]
   },
   {
    "X": [
     18,
     19,
     20,
     22
    ],
    "Z": [
     19,
     21,
     22,
     23
    ]
   },
   {
    "X": [
     24,
     28,
     30,
     31
    ],
    "Z": [
     26,
     28,
     29,
     31
    ]
   },
   {
    "X": [
     27,
     29,
     30,
     31
    ],
    "Z": [
     24,
     26,
     29,
     30
    ]
   },
   {
    "X": [
     25,
     28,
     29,
     30
    ],
    "Z": [
     26,
     27,
     28,
     30
    ]
   },
   {
    "X": [
     27,
     29,
     30,
     31
    ],
    "Z": [
     25,
     27,
     28,
     31
    ]
   },
   {
    "X": [
     26,
     27,
     28,
     30
    ],
    "Z": [
     27,
     29,
     30,
     31
    ]
   },
   {
    "X": [
     32,
     36,
     38,
     39
    ],
    "Z": [
     34,
     36,
     37,
     39
    ]
   },
   {
    "X": [
     35,
     37,
     38,
     39
    ],
    "Z": [
     32,
     34,
     37,
     38
    ]
   },
   {
    "X": [
     33,
     36,
     37,
     38
    ],
    "Z": [
     34,
     35,
     36,
     38
    ]
   },
   {
    "X": [
     35,
     37,
     38,
     39
    ],
    "Z": [
     33,
     35,
     36,
     39
    ]
   },
   {
    "X": [
     34,
     35,
     36,
     38
    ],
    "Z": [
     35,
     37,
     38,
     39
    ]
   },
   {
    "X": [
     40,
     44,
     46,
     47
    ],
    "Z": [
     42,
     44,
     45,
     47
    ]
   },
   {
    "X": [
     43,
     45,
     46,
     47
    ],
    "Z": [
     40,
     42,
     45,
     46
    ]
   },
   {
    "X": [
     41,
     44,
     45,
     46
    ],
    "Z": [
     42,
     43,
     44,
     46
    ]
   },
   {
    "X": [
     43,
     45,
     46,
     47
    ],
    "Z": [
     41,
     43,
     44,
     47
    ]
   },
   {
    "X": [
     42,
     43,
     44,
     46
    ],
    "Z": [
     43,
     45,
     46,
     47
    ]
   },
   {
    "X": [
     48,
     52,
     54,
     55
    ],
    "Z": [
     50,
     52,
     53,
     55
    ]
   },
   {
    "X": [
     51,
     53,
     54,
     55
    ],
    "Z": [
     48,
     50,
     53,
     54
    ]
   },
   {
    "X": [
     49,
     52,
     53,
     54
    ],
    "Z": [
     50,
     51,
     52,
     54
    ]
   },
   {
    "X": [
     51,
     53,
     54,
     55
    ],
    "Z": [
     49,
     51,
     52,
     55
    ]
   },
   {
    "X": [
     50,
     51,
     52,
     54
    ],
    "Z": [
     51,
     53,
     54,
     55
    ]
   },
   {
    "X": [
     56,
     60,
     62,
     63
    ],
    "Z": [
     58,
     60,
     61,
     63
    ]
   },
   {
    "X": [
     59,
     61,
     62,
     63
    ],
    "Z": [
     56,
     58,
     61,
     62
    ]
   },
   {
    "X": [
     57,
     60,
     61,
     62
    ],
    "Z": [
     58,
     59,
     60,
     62
    ]
   },
   {
    "X": [
     59,
     61,
     62,
     63
    ],
    "Z": [
     57,
     59,
     60,
     63
    ]
   },
   {
    "X": [
     58,
     59,
     60,
     62
    ],
    "Z": [
     59,
     61,
     62,
     63
    ]
   },
   {
    "X": [
     64,
     68,
     70,
     71
    ],
    "Z": [
     66,
     68,
     69,
     71
    ]
   },
   {
    "X": [
     67,
     69,
     70,
     71
    ],
    "Z": [
     64,
     66,
     69,
     70
    ]
   },
   {
    "X": [
     65,
     68,
     69,
     70
    ],
    "Z": [
     66,
     67,
     68,
     70
    ]
   },
   {
    "X": [
     67,
     69,
     70,
     71
    ],
    "Z": [
     65,
     67,
     68,
     71
    ]
   },
   {
    "X": [
     66,
     67,
     68,
     70
    ],
    "Z": [
     67,
     69,
     70,
     71
    ]
   },
   {
    "X": [
     72,
     76,
     78,
     79
    ],
    "Z": [
     74,
     76,
     77,
     79
    ]
   },
   {
    "X": [
     75,
     77,
     78,
     79
    ],
    "Z": [
     72,
     74,
     77,
     78
    ]
   },
   {
    "X": [
     73,
     76,
     77,
     78
    ],
    "Z": [
     74,
     75,
     76,
     78
    ]
   },
   {
    "X": [
     75,
     77,
     78,
     79
    ],
    "Z": [
     73,
     75,
     76,
     79
    ]
   },
   {
    "X": [
     74,
     75,
     76,
     78
    ],
    "Z": [
     75,
     77,
     78,
     79
    ]
   },
   {
    "X": [
     80,
     84,
     86,
     87
    ],
    "Z": [
     82,
     84,
     85,
     87
    ]
   },
   {
    "X": [
     83,
     85,
     86,
     87
    ],
    "Z": [
     80,
     82,
     85,
     86
    ]
   },
   {
    "X": [
     81,
     84,
     85,
     86
    ],
    "Z": [
     82,
     83,
     84,
     86
    ]
   },
   {
    "X": [
     83,
     85,
     86,
     87
    ],
    "Z": [
     81,
     83,
     84,
     87
    ]
   },
   {
    "X": [
     82,
     83,
     84,
     86
    ],
    "Z": [
     83,
     85,
     86,
     87
    ]
   },
   {
    "X": [
     88,
     92,
     94,
     95
    ],
    "Z": [
     90,
     92,
     93,
     95
    ]
   },
   {
    "X": [
     91,
     93,
     94,
     95
    ],
    "Z": [
     88,
     90,
     93,
     94
    ]
   },
   {
    "X": [
     89,
     92,
     93,
     94
    ],
    "Z": [
     90,
     91,
     92,
     94
    ]
   },
   {
    "X": [
     91,
     93,
     94,
     95
    ],
    "Z": [
     89,
     91,
     92,
     95
    ]
   },
   {
    "X": [
     90,
     91,
     92,
     94
    ],
    "Z": [
     91,
     93,
     94,
     95
    ]
   },
   {
    "X": [
     96,
     100,
     102,
     103
    ],
    "Z": [
     98,
     100,
     101,
     103
    ]
   },
   {
    "X": [
     99,
     101,
     102,
     103
    ],
    "Z": [
     96,
     98,
     101,
     102
    ]
   },
   {
    "X": [
     97,
     100,
     101,
     102
    ],
    "Z": [
     98,
     99,
     100,
     102
    ]
   },
   {
    "X": [
     99,
     101,
     102,
     103
    ],
    "Z": [
     97,
     99,
     100,
     103
    ]
   },
   {
    "X": [
     98,
     99,
     100,
     102
    ],
    "Z": [
     99,
     101,
     102,
     103
    ]
   },
   {
    "X": [
     104,
     108,
     110,
     111
    ],
    "Z": [
     106,
     108,
     109,
     111
    ]
   },
   {
    "X": [
     107,
     109,
     110,
     111
    ],
    "Z": [
     104,
     106,
     109,
     110
    ]
   },
   {
    "X": [
     105,
     108,
     109,
     110
    ],
    "Z": [
     106,
     107,
     108,
     110
    ]
   },
   {
    "X": [
     107,
     109,
     110,
     111
    ],
    "Z": [
     105,
     107,
     108,
     111
    ]
   },
   {
    "X": [
     106,
     107,
     108,
     110
    ],
    "Z": [
     107,
     109,
     110,
     111
    ]
   },
   {
    "X": [
     112,
     116,
     118,
     119
    ],
    "Z": [
     114,
     116,
     117,
     119
    ]
   },
   {
    "X": [
     115,
     117,
     118,
     119
    ],
    "Z": [
     112,
     114,
     117,
     118
    ]
   },
   {
    "X": [
     113,
     116,
     117,
     118
    ],
    "Z": [
     114,
     115,
     116,
     118
    ]
   },
   {
    "X": [
     115,
     117,
     118,
     119
    ],
    "Z": [
     113,
     115,
     116,
     119
    ]
   },
   {
    "X": [
     114,
     115,
     116,
     118
    ],
    "Z": [
     115,
     117,
     118,
     119
    ]
   },
   {
    "X": [
     120,
     124,
     126,
     127
    ],
    "Z": [
     122,
     124,
     125,
     127
    ]
   },
   {
    "X": [
     123,
     125,
     126,
     127
    ],
    "Z": [
     120,
     122,
     125,
     126
    ]
   },
   {
    "X": [
     121,
     124,
     125,
     126
    ],
    "Z": [
     122,
     123,
     124,
     126
    ]
   },
   {
    "X": [
     123,
     125,
     126,
     127
    ],
    "Z": [
     121,
     123,
     124,
     127
    ]
   },
   {
    "X": [
     122,
     123,
     124,
     126
    ],
    "Z": [
     123,
     125,
     126,
     127
    ]
   },
   {
    "X": [
     128,
     132,
     134,
     135
    ],
    "Z": [
     130,
     132,
     133,
     135
    ]
   },
   {
    "X": [
     131,
     133,
     134,
     135
    ],
    "Z": [
     128,
     130,
     133,
     134
    ]
   },
   {
    "X": [
     129,
     132,
     133,
     134
    ],
    "Z": [
     130,
     131,
     132,
     134
    ]
   },
   {
    "X": [
     131,
     133,
     134,
     135
    ],
    "Z": [
     129,
     131,
     132,
     135
    ]
   },
   {
    "X": [
     130,
     131,
     132,
     134
    ],
    "Z": [
     131,
     133,
     134,
     135
    ]
   },
   {
    "X": [
     136,
     140,
     142,
     143
    ],
    "Z": [
     138,
     140,
     141,
     143
    ]
   },
   {
    "X": [
     139,
     141,
     142,
     143
    ],
    "Z": [
     136,
     138,
     141,
     142
    ]
   },
   {
    "X": [
     137,
     140,
     141,
     142
    ],
    "Z": [
     138,
     139,
     140,
     142
    ]
   },
   {
    "X": [
     139,
     141,
     142,
     143
    ],
    "Z": [
     137,
     139,
     140,
     143
    ]
   },
   {
    "X": [
     138,
     139,
     140,
     142
    ],
    "Z": [
     139,
     141,
     142,
     143
    ]
   },
   {
    "X": [
     144,
     148,
     150,
     151
    ],
    "Z": [
     146,
     148,
     149,
     151
    ]
   },
   {
    "X": [
     147,
     149,
     150,
     151
    ],
    "Z": [
     144,
     146,
     149,
     150
    ]
   },
   {
    "X": [
     145,
     148,
     149,
     150
    ],
    "Z": [
     146,
     147,
     148,
     150
    ]
   },
   {
    "X": [
     147,
     149,
     150,
     151
    ],
    "Z": [
     145,
     147,
     148,
     151
    ]
   },
   {
    "X": [
     146,
     147,
     148,
     150
    ],
    "Z": [
     147,
     149,
     150,
     151
    ]
   },
   {
    "X": [
     152,
     156,
     158,
     159
    ],
    "Z": [
     154,
     156,
     157,
     159
    ]
   },
   {
    "X": [
     155,
     157,
     158,
     159
    ],
    "Z": [
     152,
     154,
     157,
     158
    ]
   },
   {
    "X": [
     153,
     156,
     157,
     158
    ],
    "Z": [
     154,
     155,
     156,
     158
    ]
   },
   {
    "X": [
     155,
     157,
     158,
     159
    ],
    "Z": [
     153,
     155,
     156,
     159
    ]
   },
   {
    "X": [
     154,
     155,
     156,
     158
    ],
    "Z": [
     155,
     157,
     158,
     159
    ]
   },
   {
    "X": [
     160,
     164,
     166,
     167
    ],
    "Z": [
     162,
     164,
     165,
     167
    ]
   },
   {
    "X": [
     163,
     165,
     166,
     167
    ],
    "Z": [
     160,
     162,
     165,
     166
    ]
   },
   {
    "X": [
     161,
     164,
     165,
     166
    ],
    "Z": [
     162,
     163,
     164,
     166
    ]
   },
   {
    "X": [
     163,
     165,
     166,
     167
    ],
    "Z": [
     161,
     163,
     164,
     167
    ]
   },
   {
    "X": [
     162,
     163,
     164,
     166
    ],
    "Z": [
     163,
     165,
     166,
     167
    ]
   },
   {
    "X": [
     168,
     172,
     174,
     175
    ],
    "Z": [
     170,
     172,
     173,
     175
    ]
   },
   {
    "X": [
     171,
     173,
     174,
     175
    ],
    "Z": [
     168,
     170,
     173,
     174
    ]
   },
   {
    "X": [
     169,
     172,
     173,
     174
    ],
    "Z": [
     170,
     171,
     172,
     174
    ]
   },
   {
    "X": [
     171,
     173,
     174,
     175
    ],
    "Z": [
     169,
     171,
     172,
     175
    ]
   },
   {
    "X": [
     170,
     171,
     172,
     174
    ],
    "Z": [
     171,
     173,
     174,
     175
    ]
   },
   {
    "X": [
     176,
     180,
     182,
     183
    ],
    "Z": [
     178,
     180,
     181,
     183
    ]
   },
   {
    "X": [
     179,
     181,
     182,
     183
    ],
    "Z": [
     176,
     178,
     181,
     182
    ]
   },
   {
    "X": [
     177,
     180,
     181,
     182
    ],
    "Z": [
     178,
     179,
     180,
     182
    ]
   },
   {
    "X": [
     179,
     181,
     182,
     183
    ],
    "Z": [
     177,
     179,
     180,
     183
    ]
   },
   {
    "X": [
     178,
     179,
     180,
     182
    ],
    "Z": [
     179,
     181,
     182,
     183
    ]
   },
   {
    "X": [
     184,
     188,
     190,
     191
    ],
    "Z": [
     186,
     188,
     189,
     191
    ]
   },
   {
    "X": [
     187,
     189,
     190,
     191
    ],
    "Z": [
     184,
     186,
     189,
     190
    ]
   },
   {
    "X": [
     185,
     188,
     189,
     190
    ],
    "Z": [
     186,
     187,
     188,
     190
    ]
   },
   {
    "X": [
     187,
     189,
     190,
     191
    ],
    "Z": [
     185,
     187,
     188,
     191
    ]
   },
   {
    "X": [
     186,
     187,
     188,
     190
    ],
    "Z": [
     187,
     189,
     190,
     191
    ]
   },
   {
    "X": [
     192,
     196,
     198,
     199
    ],
    "Z": [
     194,
     196,
     197,
     199
    ]
   },
   {
    "X": [
     195,
     197,
     198,
     199
    ],
    "Z": [
     192,
     194,
     197,
     198
    ]
   },
   {
    "X": [
     193,
     196,
     197,
     198
    ],
    "Z": [
     194,
     195,
     196,
     198
    ]
   },
   {
    "X": [
     195,
     197,
     198,
     199
    ],
    "Z": [
     193,
     195,
     196,
     199
    ]
   },
   {
    "X": [
     194,
     195,
     196,
     198
    ],
    "Z": [
     195,
     197,
     198,
     199
    ]
   },
   {
    "X": [
     200,
     204,
     206,
     207
    ],
    "Z": [
     202,
     204,
     205,
     207
    ]
   },
   {
    "X": [
     203,
     205,
     206,
     207
    ],
    "Z": [
     200,
     202,
     205,
     206
    ]
   },
   {
    "X": [
     201,
     204,
     205,
     206
    ],
    "Z": [
     202,
     203,
     204,
     206
    ]
   },
   {
    "X": [
     203,
     205,
     206,
     207
    ],
    "Z": [
     201,
     203,
     204,
     207
    ]
   },
   {
    "X": [
     202,
     203,
     204,
     206
    ],
    "Z": [
     203,
     205,
     206,
     207
    ]
   },
   {
    "X": [
     208,
     212,
     214,
     215
    ],
    "Z": [
     210,
     212,
     213,
     215
    ]
   },
   {
    "X": [
     211,
     213,
     214,
     215
    ],
    "Z": [
     208,
     210,
     213,
     214
    ]
   },
   {
    "X": [
     209,
     212,
     213,
     214
    ],
    "Z": [
     210,
     211,
     212,
     214
    ]
   },
   {
    "X": [
     211,
     213,
     214,
     215
    ],
    "Z": [
     209,
     211,
     212,
     215
    ]
   },
   {
    "X": [
     210,
     211,
     212,
     214
    ],
    "Z": [
     211,
     213,
     214,
     215
    ]
   },
   {
    "X": [
     216,
     220,
     222,
     223
    ],
    "Z": [
     218,
     220,
     221,
     223
    ]
   },
   {
    "X": [
     219,
     221,
     222,
     223
    ],
    "Z": [
     216,
     218,
     221,
     222
    ]
   },
   {
    "X": [
     217,
     220,
     221,
     222
    ],
    "Z": [
     218,
     219,
     220,
     222
    ]
   },
   {
    "X": [
     219,
     221,
     222,
     223
    ],
    "Z": [
     217,
     219,
     220,
     223
    ]
   },
   {
    "X": [
     218,
     219,
     220,
     222
    ],
    "Z": [
     219,
     221,
     222,
     223
    ]
   },
   {
    "X": [
     224,
     228,
     230,
     231
    ],
    "Z": [
     226,
     228,
     229,
     231
    ]
   },
   {
    "X": [
     227,
     229,
     230,
     231
    ],
    "Z": [
     224,
     226,
     229,
     230
    ]
   },
   {
    "X": [
     225,
     228,
     229,
     230
    ],
    "Z": [
     226,
     227,
     228,
     230
    ]
   },
   {
    "X": [
     227,
     229,
     230,
     231
    ],
    "Z": [
     225,
     227,
     228,
     231
    ]
   },
   {
    "X": [
     226,
     227,
     228,
     230
    ],
    "Z": [
     227,
     229,
     230,
     231
    ]
   },
   {
    "X": [
     232,
     236,
     238,
     239
    ],
    "Z": [
     234,
     236,
     237,
     239
    ]
   },
   {
    "X": [
     235,
     237,
     238,
     239
    ],
    "Z": [
     232,
     234,
     237,
     238
    ]
   },
   {
    "X": [
     233,
     236,
     237,
     238
    ],
    "Z": [
     234,
     235,
     236,
     238
    ]
   },
   {
    "X": [
     235,
     237,
     238,
     239
    ],
    "Z": [
     233,
     235,
     236,
     239
    ]
   },
   {
    "X": [
     234,
     235,
     236,
     238
    ],
    "Z": [
     235,
     237,
     238,
     239
    ]
   },
   {
    "X": [
     240,
     244,
     246,
     247
    ],
    "Z": [
     242,
     244,
     245,
     247
    ]
   },
   {
    "X": [
     243,
     245,
     246,
     247
    ],
    "Z": [
     240,
     242,
     245,
     246
    ]
   },
   {
    "X": [
     241,
     244,
     245,
     246
    ],
    "Z": [
     242,
     243,
     244,
     246
    ]
   },
   {
    "X": [
     243,
     245,
     246,
     247
    ],
    "Z": [
     241,
     243,
     244,
     247
    ]
   },
   {
    "X": [
     242,
     243,
     244,
     246
    ],
    "Z": [
     243,
     245,
     246,
     247
    ]
   },
   {
    "X": [
     248,
     252,
     254,
     255
    ],
    "Z": [
     250,
     252,
     253,
     255
    ]
   },
   {
    "X": [
     251,
     253,
     254,
     255
    ],
    "Z": [
     248,
     250,
     253,
     254
    ]
   },
   {
    "X": [
     249,
     252,
     253,
     254
    ],
    "Z": [
     250,
     251,
     252,
     254
    ]
   },
   {
    "X": [
     251,
     253,
     254,
     255
    ],
    "Z": [
     249,
     251,
     252,
     255
    ]
   },
   {
    "X": [
     250,
     251,
     252,
     254
    ],
    "Z": [
     251,
     253,
     254,
     255
    ]
   },
   {
    "X": [
     256,
     260,
     262,
     263
    ],
    "Z": [
     258,
     260,
     261,
     263
    ]
   },
   {
    "X": [
     259,
     261,
     262,
     263
    ],
    "Z": [
     256,
     258,
     261,
     262
    ]
   },
   {
    "X": [
     257,
     260,
     261,
     262
    ],
    "Z": [
     258,
     259,
     260,
     262
    ]
   },
   {
    "X": [
     259,
     261,
     262,
     263
    ],
    "Z": [
     257,
     259,
     260,
     263
    ]
   },
   {
    "X": [
     258,
     259,
     260,
     262
    ],
    "Z": [
     259,
     261,
     262,
     263
    ]
   },
   {
    "X": [
     264,
     268,
     270,
     271
    ],
    "Z": [
     266,
     268,
     269,
     271
    ]
   },
   {
    "X": [
     267,
     269,
     270,
     271
    ],
    "Z": [
     264,
     266,
     269,
     270
    ]
   },
   {
    "X": [
     265,
     268,
     269,
     270
    ],
    "Z": [
     266,
     267,
     268,
     270
    ]
   },
   {
    "X": [
     267,
     269,
     270,
     271
    ],
    "Z": [
     265,
     267,
     268,
     271
    ]
   },
   {
    "X": [
     266,
     267,
     268,
     270
    ],
    "Z": [
     267,
     269,
     270,
     271
    ]
   },
   {
    "X": [
     272,
     276,
     278,
     279
    ],
    "Z": [
     274,
     276,
     277,
     279
    ]
   },
   {
    "X": [
     275,
     277,
     278,
     279
    ],
    "Z": [
     272,
     274,
     277,
     278
    ]
   },
   {
    "X": [
     273,
     276,
     277,
     278
    ],
    "Z": [
     274,
     275,
     276,
     278
    ]
   },
   {
    "X": [
     275,
     277,
     278,
     279
    ],
    "Z": [
     273,
     275,
     276,
     279
    ]
   },
   {
    "X": [
     274,
     275,
     276,
     278
    ],
    "Z": [
     275,
     277,
     278,
     279
    ]
   },
   {
    "X": [
     280,
     284,
     286,
     287
    ],
    "Z": [
     282,
     284,
     285,
     287
    ]
   },
   {
    "X": [
     283,
     285,
     286,
     287
    ],
    "Z": [
     280,
     282,
     285,
     286
    ]
   },
   {
    "X": [
     281,
     284,
     285,
     286
    ],
    "Z": [
     282,
     283,
     284,
     286
    ]
   },
   {
    "X": [
     283,
     285,
     286,
     287
    ],
    "Z": [
     281,
     283,
     284,
     287
    ]
   },
   {
    "X": [
     282,
     283,
     284,
     286
    ],
    "Z": [
     283,
     285,
     286,
     287
    ]
   },
   {
    "X": [
     288,
     292,
     294,
     295
    ],
    "Z": [
     290,
     292,
     293,
     295
    ]
   },
   {
    "X": [
     291,
     293,
     294,
     295
    ],
    "Z": [
     288,
     290,
     293,
     294
    ]
   },
   {
    "X": [
     289,
     292,
     293,
     294
    ],
    "Z": [
     290,
     291,
     292,
     294
    ]
   },
   {
    "X": [
     291,
     293,
     294,
     295
    ],
    "Z": [
     289,
     291,
     292,
     295
    ]
   },
   {
    "X": [
     290,
     291,
     292,
     294
    ],
    "Z": [
     291,
     293,
     294,
     295
    ]
   },
   {
    "X": [
     296,
     300,
     302,
     303
    ],
    "Z": [
     298,
     300,
     301,
     303
    ]
   },
   {
    "X": [
     299,
     301,
     302,
     303
    ],
    "Z": [
     296,
     298,
     301,
     302
    ]
   },
   {
    "X": [
     297,
     300,
     301,
     302
    ],
    "Z": [
     298,
     299,
     300,
     302
    ]
   },
   {
    "X": [
     299,
     301,
     302,
     303
    ],
    "Z": [
     297,
     299,
     300,
     303
    ]
   },
   {
    "X": [
     298,
     299,
     300,
     302
    ],
    "Z": [
     299,
     301,
     302,
     303
    ]
   },
   {
    "X": [
     304,
     308,
     310,
     311
    ],
    "Z": [
     306,
     308,
     309,
     311
    ]
   },
   {
    "X": [
     307,
     309,
     310,
     311
    ],
    "Z": [
     304,
     306,
     309,
     310
    ]
   },
   {
    "X": [
     305,
     308,
     309,
     310
    ],
    "Z": [
     306,
     307,
     308,
     310
    ]
   },
   {
    "X": [
     307,
     309,
     310,
     311
    ],
    "Z": [
     305,
     307,
     308,
     311
    ]
   },
   {
    "X": [
     306,
     307,
     308,
     310
    ],
    "Z": [
     307,
     309,
     310,
     311
    ]
   },
   {
    "X": [
     312,
     316,
     318,
     319
    ],
    "Z": [
     314,
     316,
     317,
     319
    ]
   },
   {
    "X": [
     315,
     317,
     318,
     319
    ],
    "Z": [
     312,
     314,
     317,
     318
    ]
   },
   {
    "X": [
     313,
     316,
     317,
     318
    ],
    "Z": [
     314,
     315,
     316,
     318
    ]
   },
   {
    "X": [
     315,
     317,
     318,
     319
    ],
    "Z": [
     313,
     315,
     316,
     319
    ]
   },
   {
    "X": [
     314,
     315,
     316,
     318
    ],
    "Z": [
     315,
     317,
     318,
     319
    ]
   },
   {
    "X": [
     320,
     324,
     326,
     327
    ],
    "Z": [
     322,
     324,
     325,
     327
    ]
   },
   {
    "X": [
     323,
     325,
     326,
     327
    ],
    "Z": [
     320,
     322,
     325,
     326
    ]
   },
   {
    "X": [
     321,
     324,
     325,
     326
    ],
    "Z": [
     322,
     323,
     324,
     326
    ]
   },
   {
    "X": [
     323,
     325,
     326,
     327
    ],
    "Z": [
     321,
     323,
     324,
     327
    ]
   },
   {
    "X": [
     322,
     323,
     324,
     326
    ],
    "Z": [
     323,
     325,
     326,
     327
    ]
   },
   {
    "X": [
     328,
     332,
     334,
     335
    ],
    "Z": [
     330,
     332,
     333,
     335
    ]
   },
   {
    "X": [
     331,
     333,
     334,
     335
    ],
    "Z": [
     328,
     330,
     333,
     334
    ]
   },
   {
    "X": [
     329,
     332,
     333,
     334
    ],
    "Z": [
     330,
     331,
     332,
     334
    ]
   },
   {
    "X": [
     331,
     333,
     334,
     335
    ],
    "Z": [
     329,
     331,
     332,
     335
    ]
   },
   {
    "X": [
     330,
     331,
     332,
     334
    ],
    "Z": [
     331,
     333,
     334,
     335
    ]
   },
   {
    "X": [
     336,
     340,
     342,
     343
    ],
    "Z": [
     338,
     340,
     341,
     343
    ]
   },
   {
    "X": [
     339,
     341,
     342,
     343
    ],
    "Z": [
     336,
     338,
     341,
     342
    ]
   },
   {
    "X": [
     337,
     340,
     341,
     342
    ],
    "Z": [
     338,
     339,
     340,
     342
    ]
   },
   {
    "X": [
     339,
     341,
     342,
     343
    ],
    "Z": [
     337,
     339,
     340,
     343
    ]
   },
   {
    "X": [
     338,
     339,
     340,
     342
    ],
    "Z": [
     339,
     341,
     342,
     343
    ]
   },
   {
    "X": [
     344,
     348,
     350,
     351
    ],
    "Z": [
     346,
     348,
     349,
     351
    ]
   },
   {
    "X": [
     347,
     349,
     350,
     351
    ],
    "Z": [
     344,
     346,
     349,
     350
    ]
   },
   {
    "X": [
     345,
     348,
     349,
     350
    ],
    "Z": [
     346,
     347,
     348,
     350
    ]
   },
   {
    "X": [
     347,
     349,
     350,
     351
    ],
    "Z": [
     345,
     347,
     348,
     351
    ]
   },
   {
    "X": [
     346,
     347,
     348,
     350
    ],
    "Z": [
     347,
     349,
     350,
     351
    ]
   },
   {
    "X": [
     352,
     356,
     358,
     359
    ],
    "Z": [
     354,
     356,
     357,
     359
    ]
   },
   {
    "X": [
     355,
     357,
     358,
     359
    ],
    "Z": [
     352,
     354,
     357,
     358
    ]
   },
   {
    "X": [
     353,
     356,
     357,
     358
    ],
    "Z": [
     354,
     355,
     356,
     358
    ]
   },
   {
    "X": [
     355,
     357,
     358,
     359
    ],
    "Z": [
     353,
     355,
     356,
     359
    ]
   },
   {
    "X": [
     354,
     355,
     356,
     358
    ],
    "Z": [
     355,
     357,
     358,
     359
    ]
   },
   {
    "X": [
     360,
     364,
     366,
     367
    ],
    "Z": [
     362,
     364,
     365,
     367
    ]
   },
   {
    "X": [
     363,
     365,
     366,
     367
    ],
    "Z": [
     360,
     362,
     365,
     366
    ]
   },
   {
    "X": [
     361,
     364,
     365,
     366
    ],
    "Z": [
     362,
     363,
     364,
     366
    ]
   },
   {
    "X": [
     363,
     365,
     366,
     367
    ],
    "Z": [
     361,
     363,
     364,
     367
    ]
   },
   {
    "X": [
     362,
     363,
     364,
     366
    ],
    "Z": [
     363,
     365,
     366,
     367
    ]
   },
   {
    "X": [
     368,
     372,
     374,
     375
    ],
    "Z": [
     370,
     372,
     373,
     375
    ]
   },
   {
    "X": [
     371,
     373,
     374,
     375
    ],
    "Z": [
     368,
     370,
     373,
     374
    ]
   },
   {
    "X": [
     369,
     372,
     373,
     374
    ],
    "Z": [
     370,
     371,
     372,
     374
    ]
   },
   {
    "X": [
     371,
     373,
     374,
     375
    ],
    "Z": [
     369,
     371,
     372,
     375
    ]
   },
   {
    "X": [
     370,
     371,
     372,
     374
    ],
    "Z": [
     371,
     373,
     374,
     375
    ]
   },
   {
    "X": [
     376,
     380,
     382,
     383
    ],
    "Z": [
     378,
     380,
     381,
     383
    ]
   },
   {
    "X": [
     379,
     381,
     382,
     383
    ],
    "Z": [
     376,
     378,
     381,
     382
    ]
   },
   {
    "X": [
     377,
     380,
     381,
     382
    ],
    "Z": [
     378,
     379,
     380,
     382
    ]
   },
   {
    "X": [
     379,
     381,
     382,
     383
    ],
    "Z": [
     377,
     379,
     380,
     383
    ]
   },
   {
    "X": [
     378,
     379,
     380,
     382
    ],
    "Z": [
     379,
     381,
     382,
     383
    ]
   },
   {
    "X": [
     384,
     388,
     390,
     391
    ],
    "Z": [
     386,
     388,
     389,
     391
    ]
   },
   {
    "X": [
     387,
     389,
     390,
     391
    ],
    "Z": [
     384,
     386,
     389,
     390
    ]
   },
   {
    "X": [
     385,
     388,
     389,
     390
    ],
    "Z": [
     386,
     387,
     388,
     390
    ]
   },
   {
    "X": [
     387,
     389,
     390,
     391
    ],
    "Z": [
     385,
     387,
     388,
     391
    ]
   },
   {
    "X": [
     386,
     387,
     388,
     390
    ],
    "Z": [
     387,
     389,
     390,
     391
    ]
   },
   {
    "X": [
     392,
     396,
     398,
     399
    ],
    "Z": [
     394,
     396,
     397,
     399
    ]
   },
   {
    "X": [
     395,
     397,
     398,
     399
    ],
    "Z": [
     392,
     394,
     397,
     398
    ]
   },
   {
    "X": [
     393,
     396,
     397,
     398
    ],
    "Z": [
     394,
     395,
     396,
     398
    ]
   },
   {
    "X": [
     395,
     397,
     398,
     399
    ],
    "Z": [
     393,
     395,
     396,
     399
    ]
   },
   {
    "X": [
     394,
     395,
     396,
     398
    ],
    "Z": [
     395,
     397,
     398,
     399
    ]
   },
   {
    "X": [
     400,
     404,
     406,
     407
    ],
    "Z": [
     402,
     404,
     405,
     407
    ]
   },
   {
    "X": [
     403,
     405,
     406,
     407
    ],
    "Z": [
     400,
     402,
     405,
     406
    ]
   },
   {
    "X": [
     401,
     404,
     405,
     406
    ],
    "Z": [
     402,
     403,
     404,
     406
    ]
   },
   {
    "X": [
     403,
     405,
     406,
     407
    ],
    "Z": [
     401,
     403,
     404,
     407
    ]
   },
   {
    "X": [
     402,
     403,
     404,
     406
    ],
    "Z": [
     403,
     405,
     406,
     407
    ]
   },
   {
    "X": [
     408,
     412,
     414,
     415
    ],
    "Z": [
     410,
     412,
     413,
     415
    ]
   },
   {
    "X": [
     411,
     413,
     414,
     415
    ],
    "Z": [
     408,
     410,
     413,
     414
    ]
   },
   {
    "X": [
     409,
     412,
     413,
     414
    ],
    "Z": [
     410,
     411,
     412,
     414
    ]
   },
   {
    "X": [
     411,
     413,
     414,
     415
    ],
    "Z": [
     409,
     411,
     412,
     415
    ]
   },
   {
    "X": [
     410,
     411,
     412,
     414
    ],
    "Z": [
     411,
     413,
     414,
     415
    ]
   },
   {
    "X": [
     416,
     420,
     422,
     423
    ],
    "Z": [
     418,
     420,
     421,
     423
    ]
   },
   {
    "X": [
     419,
     421,
     422,
     423
    ],
    "Z": [
     416,
     418,
     421,
     422
    ]
   },
   {
    "X": [
     417,
     420,
     421,
     422
    ],
    "Z": [
     418,
     419,
     420,
     422
    ]
   },
   {
    "X": [
     419,
     421,
     422,
     423
    ],
    "Z": [
     417,
     419,
     420,
     423
    ]
   },
   {
    "X": [
     418,
     419,
     420,
     422
    ],
    "Z": [
     419,
     421,
     422,
     423
    ]
   },
   {
    "X": [
     424,
     428,
     430,
     431
    ],
    "Z": [
     426,
     428,
     429,
     431
    ]
   },
   {
    "X": [
     427,
     429,
     430,
     431
    ],
    "Z": [
     424,
     426,
     429,
     430
    ]
   },
   {
    "X": [
     425,
     428,
     429,
     430
    ],
    "Z": [
     426,
     427,
     428,
     430
    ]
   },
   {
    "X": [
     427,
     429,
     430,
     431
    ],
    "Z": [
     425,
     427,
     428,
     431
    ]
   },
   {
    "X": [
     426,
     427,
     428,
     430
    ],
    "Z": [
     427,
     429,
     430,
     431
    ]
   },
   {
    "X": [
     432,
     436,
     438,
     439
    ],
    "Z": [
     434,
     436,
     437,
     439
    ]
   },
   {
    "X": [
     435,
     437,
     438,
     439
    ],
    "Z": [
     432,
     434,
     437,
     438
    ]
   },
   {
    "X": [
     433,
     436,
     437,
     438
    ],
    "Z": [
     434,
     435,
     436,
     438
    ]
   },
   {
    "X": [
     435,
     437,
     438,
     439
    ],
    "Z": [
     433,
     435,
     436,
     439
    ]
   },
   {
    "X": [
     434,
     435,
     436,
     438
    ],
    "Z": [
     435,
     437,
     438,
     439
    ]
   },
   {
    "X": [
     440,
     444,
     446,
     447
    ],
    "Z": [
     442,
     444,
     445,
     447
    ]
   },
   {
    "X": [
     443,
     445,
     446,
     447
    ],
    "Z": [
     440,
     442,
     445,
     446
    ]
   },
   {
    "X": [
     441,
     444,
     445,
     446
    ],
    "Z": [
     442,
     443,
     444,
     446
    ]
   },
   {
    "X": [
     443,
     445,
     446,
     447
    ],
    "Z": [
     441,
     443,
     444,
     447
    ]
   },
   {
    "X": [
     442,
     443,
     444,
     446
    ],
    "Z": [
     443,
     445,
     446,
     447
    ]
   },
   {
    "X": [
     448,
     452,
     454,
     455
    ],
    "Z": [
     450,
     452,
     453,
     455
    ]
   },
   {
    "X": [
     451,
     453,
     454,
     455
    ],
    "Z": [
     448,
     450,
     453,
     454
    ]
   },
   {
    "X": [
     449,
     452,
     453,
     454
    ],
    "Z": [
     450,
     451,
     452,
     454
    ]
   },
   {
    "X": [
     451,
     453,
     454,
     455
    ],
    "Z": [
     449,
     451,
     452,
     455
    ]
   },
   {
    "X": [
     450,
     451,
     452,
     454
    ],
    "Z": [
     451,
     453,
     454,
     455
    ]
   },
   {
    "X": [
     456,
     460,
     462,
     463
    ],
    "Z": [
     458,
     460,
     461,
     463
    ]
   },
   {
    "X": [
     459,
     461,
     462,
     463
    ],
    "Z": [
     456,
     458,
     461,
     462
    ]
   },
   {
    "X": [
     457,
     460,
     461,
     462
    ],
    "Z": [
     458,
     459,
     460,
     462
    ]
   },
   {
    "X": [
     459,
     461,
     462,
     463
    ],
    "Z": [
     457,
     459,
     460,
     463
    ]
   },
   {
    "X": [
     458,
     459,
     460,
     462
    ],
    "Z": [
     459,
     461,
     462,
     463
    ]
   },
   {
    "X": [
     464,
     468,
     470,
     471
    ],
    "Z": [
     466,
     468,
     469,
     471
    ]
   },
   {
    "X": [
     467,
     469,
     470,
     471
    ],
    "Z": [
     464,
     466,
     469,
     470
    ]
   },
   {
    "X": [
     465,
     468,
     469,
     470
    ],
    "Z": [
     466,
     467,
     468,
     470
    ]
   },
   {
    "X": [
     467,
     469,
     470,
     471
    ],
    "Z": [
     465,
     467,
     468,
     471
    ]
   },
   {
    "X": [
     466,
     467,
     468,
     470
    ],
    "Z": [
     467,
     469,
     470,
     471
    ]
   },
   {
    "X": [
     472,
     476,
     478,
     479
    ],
    "Z": [
     474,
     476,
     477,
     479
    ]
   },
   {
    "X": [
     475,
     477,
     478,
     479
    ],
    "Z": [
     472,
     474,
     477,
     478
    ]
   },
   {
    "X": [
     473,
     476,
     477,
     478
    ],
    "Z": [
     474,
     475,
     476,
     478
    ]
   },
   {
    "X": [
     475,
     477,
     478,
     479
    ],
    "Z": [
     473,
     475,
     476,
     479
    ]
   },
   {
    "X": [
     474,
     475,
     476,
     478
    ],
    "Z": [
     475,
     477,
     478,
     479
    ]
   },
   {
    "X": [
     480,
     484,
     486,
     487
    ],
    "Z": [
     482,
     484,
     485,
     487
    ]
   },
   {
    "X": [
     483,
     485,
     486,
     487
    ],
    "Z": [
     480,
     482,
     485,
     486
    ]
   },
   {
    "X": [
     481,
     484,
     485,
     486
    ],
    "Z": [
     482,
     483,
     484,
     486
    ]
   },
   {
    "X": [
     483,
     485,
     486,
     487
    ],
    "Z": [
     481,
     483,
     484,
     487
    ]
   },
   {
    "X": [
     482,
     483,
     484,
     486
    ],
    "Z": [
     483,
     485,
     486,
     487
    ]
   },
   {
    "X": [
     488,
     492,
     494,
     495
    ],
    "Z": [
     490,
     492,
     493,
     495
    ]
   },
   {
    "X": [
     491,
     493,
     494,
     495
    ],
    "Z": [
     488,
     490,
     493,
     494
    ]
   },
   {
    "X": [
     489,
     492,
     493,
     494
    ],
    "Z": [
     490,
     491,
     492,
     494
    ]
   },
   {
    "X": [
     491,
     493,
     494,
     495
    ],
    "Z": [
     489,
     491,
     492,
     495
    ]
   },
   {
    "X": [
     490,
     491,
     492,
     494
    ],
    "Z": [
     491,
     493,
     494,
     495
    ]
   },
   {
    "X": [
     496,
     500,
     502,
     503
    ],
    "Z": [
     498,
     500,
     501,
     503
    ]
   },
   {
    "X": [
     499,
     501,
     502,
     503
    ],
    "Z": [
     496,
     498,
     501,
     502
    ]
   },
   {
    "X": [
     497,
     500,
     501,
     502
    ],
    "Z": [
     498,
     499,
     500,
     502
    ]
   },
   {
    "X": [
     499,
     501,
     502,
     503
    ],
    "Z": [
     497,
     499,
     500,
     503
    ]
   },
   {
    "X": [
     498,
     499,
     500,
     502
    ],
    "Z": [
     499,
     501,
     502,
     503
    ]
   },
   {
    "X": [
     504,
     508,
     510,
     511
    ],
    "Z": [
     506,
     508,
     509,
     511
    ]
   },
   {
    "X": [
     507,
     509,
     510,
     511
    ],
    "Z": [
     504,
     506,
     509,
     510
    ]
   },
   {
    "X": [
     505,
     508,
     509,
     510
    ],
    "Z": [
     506,
     507,
     508,
     510
    ]
   },
   {
    "X": [
     507,
     509,
     510,
     511
    ],
    "Z": [
     505,
     507,
     508,
     511
    ]
   },
   {
    "X": [
     506,
     507,
     508,
     510
    ],
    "Z": [
     507,
     509,
     510,
     511
    ]
   },
   {
    "X": [
     512,
     516,
     518,
     519
    ],
    "Z": [
     514,
     516,
     517,
     519
    ]
   },
   {
    "X": [
     515,
     517,
     518,
     519
    ],
    "Z": [
     512,
     514,
     517,
     518
    ]
   },
   {
    "X": [
     513,
     516,
     517,
     518
    ],
    "Z": [
     514,
     515,
     516,
     518
    ]
   },
   {
    "X": [
     515,
     517,
     518,
     519
    ],
    "Z": [
     513,
     515,
     516,
     519
    ]
   },
   {
    "X": [
     514,
     515,
     516,
     518
    ],
    "Z": [
     515,
     517,
     518,
     519
    ]
   },
   {
    "X": [
     520,
     524,
     526,
     527
    ],
    "Z": [
     522,
     524,
     525,
     527
    ]
   },
   {
    "X": [
     523,
     525,
     526,
     527
    ],
    "Z": [
     520,
     522,
     525,
     526
    ]
   },
   {
    "X": [
     521,
     524,
     525,
     526
    ],
    "Z": [
     522,
     523,
     524,
     526
    ]
   },
   {
    "X": [
     523,
     525,
     526,
     527
    ],
    "Z": [
     521,
     523,
     524,
     527
    ]
   },
   {
    "X": [
     522,
     523,
     524,
     526
    ],
    "Z": [
     523,
     525,
     526,
     527
    ]
   },
   {
    "X": [
     528,
     532,
     534,
     535
    ],
    "Z": [
     530,
     532,
     533,
     535
    ]
   },
   {
    "X": [
     531,
     533,
     534,
     535
    ],
    "Z": [
     528,
     530,
     533,
     534
    ]
   },
   {
    "X": [
     529,
     532,
     533,
     534
    ],
    "Z": [
     530,
     531,
     532,
     534
    ]
   },
   {
    "X": [
     531,
     533,
     534,
     535
    ],
    "Z": [
     529,
     531,
     532,
     535
    ]
   },
   {
    "X": [
     530,
     531,
     532,
     534
    ],
    "Z": [
     531,
     533,
     534,
     535
    ]
   },
   {
    "X": [
     536,
     540,
     542,
     543
    ],
    "Z": [
     538,
     540,
     541,
     543
    ]
   },
   {
    "X": [
     539,
     541,
     542,
     543
    ],
    "Z": [
     536,
     538,
     541,
     542
    ]
   },
   {
    "X": [
     537,
     540,
     541,
     542
    ],
    "Z": [
     538,
     539,
     540,
     542
    ]
   },
   {
    "X": [
     539,
     541,
     542,
     543
    ],
    "Z": [
     537,
     539,
     540,
     543
    ]
   },
   {
    "X": [
     538,
     539,
     540,
     542
    ],
    "Z": [
     539,
     541,
     542,
     543
    ]
   },
   {
    "X": [
     544,
     548,
     550,
     551
    ],
    "Z": [
     546,
     548,
     549,
     551
    ]
   },
   {
    "X": [
     547,
     549,
     550,
     551
    ],
    "Z": [
     544,
     546,
     549,
     550
    ]
   },
   {
    "X": [
     545,
     548,
     549,
     550
    ],
    "Z": [
     546,
     547,
     548,
     550
    ]
   },
   {
    "X": [
     547,
     549,
     550,
     551
    ],
    "Z": [
     545,
     547,
     548,
     551
    ]
   },
   {
    "X": [
     546,
     547,
     548,
     550
    ],
    "Z": [
     547,
     549,
     550,
     551
    ]
   },
   {
    "X": [
     552,
     556,
     558,
     559
    ],
    "Z": [
     554,
     556,
     557,
     559
    ]
   },
   {
    "X": [
     555,
     557,
     558,
     559
    ],
    "Z": [
     552,
     554,
     557,
     558
    ]
   },
   {
    "X": [
     553,
     556,
     557,
     558
    ],
    "Z": [
     554,
     555,
     556,
     558
    ]
   },
   {
    "X": [
     555,
     557,
     558,
     559
    ],
    "Z": [
     553,
     555,
     556,
     559
    ]
   },
   {
    "X": [
     554,
     555,
     556,
     558
    ],
    "Z": [
     555,
     557,
     558,
     559
    ]
   },
   {
    "X": [
     560,
     564,
     566,
     567
    ],
    "Z": [
     562,
     564,
     565,
     567
    ]
   },
   {
    "X": [
     563,
     565,
     566,
     567
    ],
    "Z": [
     560,
     562,
     565,
     566
    ]
   },
   {
    "X": [
     561,
     564,
     565,
     566
    ],
    "Z": [
     562,
     563,
     564,
     566
    ]
   },
   {
    "X": [
     563,
     565,
     566,
     567
    ],
    "Z": [
     561,
     563,
     564,
     567
    ]
   },
   {
    "X": [
     562,
     563,
     564,
     566
    ],
    "Z": [
     563,
     565,
     566,
     567
    ]
   },
   {
    "X": [
     568,
     572,
     574,
     575
    ],
    "Z": [
     570,
     572,
     573,
     575
    ]
   },
   {
    "X": [
     571,
     573,
     574,
     575
    ],
    "Z": [
     568,
     570,
     573,
     574
    ]
   },
   {
    "X": [
     569,
     572,
     573,
     574
    ],
    "Z": [
     570,
     571,
     572,
     574
    ]
   },
   {
    "X": [
     571,
     573,
     574,
     575
    ],
    "Z": [
     569,
     571,
     572,
     575
    ]
   },
   {
    "X": [
     570,
     571,
     572,
     574
    ],
    "Z": [
     571,
     573,
     574,
     575
    ]
   },
   {
    "X": [],
    "Z": [
     1,
     3,
     4,
     7,
     41,
     43,
     44,
     47,
     89,
     91,
     92,
     95,
     225,
     227,
     228,
     231,
     289,
     291,
     292,
     295,
     353,
     355,
     356,
     359,
     449,
     451,
     452,
     455,
     489,
     491,
     492,
     495
    ]
   },
   {
    "X": [],
    "Z": [
     1,
     3,
     4,
     7,
     9,
     11,
     12,
     15,
     49,
     51,
     52,
     55,
     233,
     235,
     236,
     239,
     297,
     299,
     300,
     303,
     361,
     363,
     364,
     367,
     457,
     459,
     460,
     463,
     497,
     499,
     500,
     503
    ]
   },
   {
    "X": [],
    "Z": [
     9,
     11,
     12,
     15,
     17,
     19,
     20,
     23,
     57,
     59,
     60,
     63,
     193,
     195,
     196,
     199,
     305,
     307,
     308,
     311,
     369,
     371,
     372,
     375,
     465,
     467,
     468,
     471,
     505,
     507,
     508,
     511
    ]
   },
   {
    "X": [],
    "Z": [
     17,
     19,
     20,
     23,
     25,
     27,
     28,
     31,
     65,
     67,
     68,
     71,
     201,
     203,
     204,
     207,
     313,
     315,
     316,
     319,
     377,
     379,
     380,
     383,
     473,
     475,
     476,
     479,
     513,
     515,
     516,
     519
    ]
   },
   {
    "X": [],
    "Z": [
     25,
     27,
     28,
     31,
     33,
     35,
     36,
     39,
     73,
     75,
     76,
     79,
     209,
     211,
     212,
     215,
     321,
     323,
     324,
     327,
     337,
     339,
     340,
     343,
     433,
     435,
     436,
     439,
     521,
     523,
     524,
     527
    ]
   },
   {
    "X": [],
    "Z": [
     33,
     35,
     36,
     39,
     41,
     43,
     44,
     47,
     81,
     83,
     84,
     87,
     217,
     219,
     220,
     223,
     329,
     331,
     332,
     335,
     345,
     347,
     348,
     351,
     441,
     443,
     444,
     447,
     481,
     483,
     484,
     487
    ]
   },
   {
    "X": [],
    "Z": [
     49,
     51,
     52,
     55,
     89,
     91,
     92,
     95,
     137,
     139,
     140,
     143,
     273,
     275,
     276,
     279,
     337,
     339,
     340,
     343,
     401,
     403,
     404,
     407,
     497,
     499,
     500,
     503,
     537,
     539,
     540,
     543
    ]
   },
   {
    "X": [],
    "Z": [
     49,
     51,
     52,
     55,
     57,
     59,
     60,
     63,
     97,
     99,
     100,
     103,
     281,
     283,
     284,
     287,
     345,
     347,
     348,
     351,
     409,
     411,
     412,
     415,
     505,
     507,
     508,
     511,
     545,
     547,
     548,
     551
    ]
   },
   {
    "X": [],
    "Z": [
     57,
     59,
     60,
     63,
     65,
     67,
     68,
     71,
     105,
     107,
     108,
     111,
     241,
     243,
     244,
     247,
     353,
     355,
     356,
     359,
     417,
     419,
     420,
     423,
     513,
     515,
     516,
     519,
     553,
     555,
     556,
     559
    ]
   },
   {
    "X": [],
    "Z": [
     65,
     67,
     68,
     71,
     73,
     75,
     76,
     79,
     113,
     115,
     116,
     119,
     249,
     251,
     252,
     255,
     361,
     363,
     364,
     367,
     425,
     427,
     428,
     431,
     521,
     523,
     524,
     527,
     561,
     563,
     564,
     567
    ]
   },
   {
    "X": [],
    "Z": [
     73,
     75,
     76,
     79,
     81,
     83,
     84,
     87,
     121,
     123,
     124,
     127,
     257,
     259,
     260,
     263,
     369,
     371,
     372,
     375,
     385,
     387,
     388,
     391,
     481,
     483,
     484,
     487,
     569,
     571,
     572,
     575
    ]
   },
   {
    "X": [],
    "Z": [
     81,
     83,
     84,
     87,
     89,
     91,
     92,
     95,
     129,
     131,
     132,
     135,
     265,
     267,
     268,
     271,
     377,
     379,
     380,
     383,
     393,
     395,
     396,
     399,
     489,
     491,
     492,
     495,
     529,
     531,
     532,
     535
    ]
   },
   {
    "X": [],
    "Z": [
     33,
     35,
     36,
     39,
     97,
     99,
     100,
     103,
     137,
     139,
     140,
     143,
     185,
     187,
     188,
     191,
     297,
     299,
     300,
     303,
     385,
     387,
     388,
     391,
     449,
     451,
     452,
     455,
     545,
     547,
     548,
     551
    ]
   },
   {
    "X": [],
    "Z": [
     41,
     43,
     44,
     47,
     97,
     99,
     100,
     103,
     105,
     107,
     108,
     111,
     145,
     147,
     148,
     151,
     305,
     307,
     308,
     311,
     393,
     395,
     396,
     399,
     457,
     459,
     460,
     463,
     553,
     555,
     556,
     559
    ]
   },
   {
    "X": [],
    "Z": [
     1,
     3,
     4,
     7,
     105,
     107,
     108,
     111,
     113,
     115,
     116,
     119,
     153,
     155,
     156,
     159,
     313,
     315,
     316,
     319,
     401,
     403,
     404,
     407,
     465,
     467,
     468,
     471,
     561,
     563,
     564,
     567
    ]
   },
   {
    "X": [],
    "Z": [
     9,
     11,
     12,
     15,
     113,
     115,
     116,
     119,
     121,
     123,
     124,
     127,
     161,
     163,
     164,
     167,
     321,
     323,
     324,
     327,
     409,
     411,
     412,
     415,
     473,
     475,
     476,
     479,
     569,
     571,
     572,
     575
    ]
   },
   {
    "X": [],
    "Z": [
     17,
     19,
     20,
     23,
     121,
     123,
     124,
     127,
     129,
     131,
     132,
     135,
     169,
     171,
     172,
     175,
     329,
     331,
     332,
     335,
     417,
     419,
     420,
     423,
     433,
     435,
     436,
     439,
     529,
     531,
     532,
     535
    ]
   },
   {
    "X": [],
    "Z": [
     25,
     27,
     28,
     31,
     129,
     131,
     132,
     135,
     137,
     139,
     140,
     143,
     177,
     179,
     180,
     183,
     289,
     291,
     292,
     295,
     425,
     427,
     428,
     431,
     441,
     443,
     444,
     447,
     537,
     539,
     540,
     543
    ]
   },
   {
    "X": [],
    "Z": [
     81,
     83,
     84,
     87,
     145,
     147,
     148,
     151,
     185,
     187,
     188,
     191,
     233,
     235,
     236,
     239,
     305,
     307,
     308,
     311,
     345,
     347,
     348,
     351,
     433,
     435,
     436,
     439,
     497,
     499,
     500,
     503
    ]
   },
   {
    "X": [],
    "Z": [
     89,
     91,
     92,
     95,
     145,
     147,
     148,
     151,
     153,
     155,
     156,
     159,
     193,
     195,
     196,
     199,
     313,
     315,
     316,
     319,
     353,
     355,
     356,
     359,
     441,
     443,
     444,
     447,
     505,
     507,
     508,
     511
    ]
   },
   {
    "X": [],
    "Z": [
     49,
     51,
     52,
     55,
     153,
     155,
     156,
     159,
     161,
     163,
     164,
     167,
     201,
     203,
     204,
     207,
     321,
     323,
     324,
     327,
     361,
     363,
     364,
     367,
     449,
     451,
     452,
     455,
     513,
     515,
     516,
     519
    ]
   },
   {
    "X": [],
    "Z": [
     57,
     59,
     60,
     63,
     161,
     163,
     164,
     167,
     169,
     171,
     172,
     175,
     209,
     211,
     212,
     215,
     329,
     331,
     332,
     335,
     369,
     371,
     372,
     375,
     457,
     459,
     460,
     463,
     521,
     523,
     524,
     527
    ]
   },
   {
    "X": [],
    "Z": [
     65,
     67,
     68,
     71,
     169,
     171,
     172,
     175,
     177,
     179,
     180,
     183,
     217,
     219,
     220,
     223,
     289,
     291,
     292,
     295,
     377,
     379,
     380,
     383,
     465,
     467,
     468,
     471,
     481,
     483,
     484,
     487
    ]
   },
   {
    "X": [],
    "Z": [
     73,
     75,
     76,
     79,
     177,
     179,
     180,
     183,
     185,
     187,
     188,
     191,
     225,
     227,
     228,
     231,
     297,
     299,
     300,
     303,
     337,
     339,
     340,
     343,
     473,
     475,
     476,
     479,
     489,
     491,
     492,
     495
    ]
   },
   {
    "X": [],
    "Z": [
     129,
     131,
     132,
     135,
     193,
     195,
     196,
     199,
     233,
     235,
     236,
     239,
     281,
     283,
     284,
     287,
     353,
     355,
     356,
     359,
     393,
     395,
     396,
     399,
     481,
     483,
     484,
     487,
     545,
     547,
     548,
     551
    ]
   },
   {
    "X": [],
    "Z": [
     137,
     139,
     140,
     143,
     193,
     195,
     196,
     199,
     201,
     203,
     204,
     207,
     241,
     243,
     244,
     247,
     361,
     363,
     364,
     367,
     401,
     403,
     404,
     407,
     489,
     491,
     492,
     495,
     553,
     555,
     556,
     559
    ]
   },
   {
    "X": [],
    "Z": [
     97,
     99,
     100,
     103,
     201,
     203,
     204,
     207,
     209,
     211,
     212,
     215,
     249,
     251,
     252,
     255,
     369,
     371,
     372,
     375,
     409,
     411,
     412,
     415,
     497,
     499,
     500,
     503,
     561,
     563,
     564,
     567
    ]
   },
   {
    "X": [],
    "Z": [
     105,
     107,
     108,
     111,
     209,
     211,
     212,
     215,
     217,
     219,
     220,
     223,
     257,
     259,
     260,
     263,
     377,
     379,
     380,
     383,
     417,
     419,
     420,
     423,
     505,
     507,
     508,
     511,
     569,
     571,
     572,
     575
    ]
   },
   {
    "X": [],
    "Z": [
     113,
     115,
     116,
     119,
     217,
     219,
     220,
     223,
     225,
     227,
     228,
     231,
     265,
     267,
     268,
     271,
     337,
     339,
     340,
     343,
     425,
     427,
     428,
     431,
     513,
     515,
     516,
     519,
     529,
     531,
     532,
     535
    ]
   },
   {
    "X": [],
    "Z": [
     121,
     123,
     124,
     127,
     225,
     227,
     228,
     231,
     233,
     235,
     236,
     239,
     273,
     275,
     276,
     279,
     345,
     347,
     348,
     351,
     385,
     387,
     388,
     391,
     521,
     523,
     524,
     527,
     537,
     539,
     540,
     543
    ]
   },
   {
    "X": [],
    "Z": [
     41,
     43,
     44,
     47,
     177,
     179,
     180,
     183,
     241,
     243,
     244,
     247,
     281,
     283,
     284,
     287,
     305,
     307,
     308,
     311,
     401,
     403,
     404,
     407,
     441,
     443,
     444,
     447,
     529,
     531,
     532,
     535
    ]
   },
   {
    "X": [],
    "Z": [
     1,
     3,
     4,
     7,
     185,
     187,
     188,
     191,
     241,
     243,
     244,
     247,
     249,
     251,
     252,
     255,
     313,
     315,
     316,
     319,
     409,
     411,
     412,
     415,
     449,
     451,
     452,
     455,
     537,
     539,
     540,
     543
    ]
   },
   {
    "X": [],
    "Z": [
     9,
     11,
     12,
     15,
     145,
     147,
     148,
     151,
     249,
     251,
     252,
     255,
     257,
     259,
     260,
     263,
     321,
     323,
     324,
     327,
     417,
     419,
     420,
     423,
     457,
     459,
     460,
     463,
     545,
     547,
     548,
     551
    ]
   },
   {
    "X": [],
    "Z": [
     17,
     19,
     20,
     23,
     153,
     155,
     156,
     159,
     257,
     259,
     260,
     263,
     265,
     267,
     268,
     271,
     329,
     331,
     332,
     335,
     425,
     427,
     428,
     431,
     465,
     467,
     468,
     471,
     553,
     555,
     556,
     559
    ]
   },
   {
    "X": [],
    "Z": [
     25,
     27,
     28,
     31,
     161,
     163,
     164,
     167,
     265,
     267,
     268,
     271,
     273,
     275,
     276,
     279,
     289,
     291,
     292,
     295,
     385,
     387,
     388,
     391,
     473,
     475,
     476,
     479,
     561,
     563,
     564,
     567
    ]
   },
   {
    "X": [],
    "Z": [
     33,
     35,
     36,
     39,
     169,
     171,
     172,
     175,
     273,
     275,
     276,
     279,
     281,
     283,
     284,
     287,
     297,
     299,
     300,
     303,
     393,
     395,
     396,
     399,
     433,
     435,
     436,
     439,
     569,
     571,
     572,
     575
    ]
   },
   {
    "X": [],
    "Z": [
     1,
     2,
     3,
     5,
     41,
     42,
     43,
     45,
     89,
     90,
     91,
     93,
     225,
     226,
     227,
     229,
     289,
     290,
     291,
     293,
     353,
     354,
     355,
     357,
     449,
     450,
     451,
     453,
     489,
     490,
     491,
     493
    ]
   },
   {
    "X": [],
    "Z": [
     1,
     2,
     3,
     5,
     9,
     10,
     11,
     13,
     49,
     50,
     51,
     53,
     233,
     234,
     235,
     237,
     297,
     298,
     299,
     301,
     361,
     362,
     363,
     365,
     457,
     458,
     459,
     461,
     497,
     498,
     499,
     501
    ]
   },
   {
    "X": [],
    "Z": [
     9,
     10,
     11,
     13,
     17,
     18,
     19,
     21,
     57,
     58,
     59,
     61,
     193,
     194,
     195,
     197,
     305,
     306,
     307,
     309,
     369,
     370,
     371,
     373,
     465,
     466,
     467,
     469,
     505,
     506,
     507,
     509
    ]
   },
   {
    "X": [],
    "Z": [
     17,
     18,
     19,
     21,
     25,
     26,
     27,
     29,
     65,
     66,
     67,
     69,
     201,
     202,
     203,
     205,
     313,
     314,
     315,
     317,
     377,
     378,
     379,
     381,
     473,
     474,
     475,
     477,
     513,
     514,
     515,
     517
    ]
   },
   {
    "X": [],
    "Z": [
     25,
     26,
     27,
     29,
     33,
     34,
     35,
     37,
     73,
     74,
     75,
     77,
     209,
     210,
     211,
     213,
     321,
     322,
     323,
     325,
     337,
     338,
     339,
     341,
     433,
     434,
     435,
     437,
     521,
     522,
     523,
     525
    ]
   },
   {
    "X": [],
    "Z": [
     33,
     34,
     35,
     37,
     41,
     42,
     43,
     45,
     81,
     82,
     83,
     85,
     217,
     218,
     219,
     221,
     329,
     330,
     331,
     333,
     345,
     346,
     347,
     349,
     441,
     442,
     443,
     445,
     481,
     482,
     483,
     485
    ]
   },
   {
    "X": [],
    "Z": [
     49,
     50,
     51,
     53,
     89,
     90,
     91,
     93,
     137,
     138,
     139,
     141,
     273,
     274,
     275,
     277,
     337,
     338,
     339,
     341,
     401,
     402,
     403,
     405,
     497,
     498,
     499,
     501,
     537,
     538,
     539,
     541
    ]
   },
   {
    "X": [],
    "Z": [
     49,
     50,
     51,
     53,
     57,
     58,
     59,
     61,
     97,
     98,
     99,
     101,
     281,
     282,
     283,
     285,
     345,
     346,
     347,
     349,
     409,
     410,
     411,
     413,
     505,
     506,
     507,
     509,
     545,
     546,
     547,
     549
    ]
   },
   {
    "X": [],
    "Z": [
     57,
     58,
     59,
     61,
     65,
     66,
     67,
     69,
     105,
     106,
     107,
     109,
     241,
     242,
     243,
     245,
     353,
     354,
     355,
     357,
     417,
     418,
     419,
     421,
     513,
     514,
     515,
     517,
     553,
     554,
     555,
     557
    ]
   },
   {
    "X": [],
    "Z": [
     65,
     66,
     67,
     69,
     73,
     74,
     75,
     77,
     113,
     114,
     115,
     117,
     249,
     250,
     251,
     253,
     361,
     362,
     363,
     365,
     425,
     426,
     427,
     429,
     521,
     522,
     523,
     525,
     561,
     562,
     563,
     565
    ]
   },
   {
    "X": [],
    "Z": [
     73,
     74,
     75,
     77,
     81,
     82,
     83,
     85,
     121,
     122,
     123,
     125,
     257,
     258,
     259,
     261,
     369,
     370,
     371,
     373,
     385,
     386,
     387,
     389,
     481,
     482,
     483,
     485,
     569,
     570,
     571,
     573
    ]
   },
   {
    "X": [],
    "Z": [
     81,
     82,
     83,
     85,
     89,
     90,
     91,
     93,
     129,
     130,
     131,
     133,
     265,
     266,
     267,
     269,
     377,
     378,
     379,
     381,
     393,
     394,
     395,
     397,
     489,
     490,
     491,
     493,
     529,
     530,
     531,
     533
    ]
   },
   {
    "X": [],
    "Z": [
     33,
     34,
     35,
     37,
     97,
     98,
     99,
     101,
     137,
     138,
     139,
     141,
     185,
     186,
     187,
     189,
     297,
     298,
     299,
     301,
     385,
     386,
     387,
     389,
     449,
     450,
     451,
     453,
     545,
     546,
     547,
     549
    ]
   },
   {
    "X": [],
    "Z": [
     41,
     42,
     43,
     45,
     97,
     98,
     99,
     101,
     105,
     106,
     107,
     109,
     145,
     146,
     147,
     149,
     305,
     306,
     307,
     309,
     393,
     394,
     395,
     397,
     457,
     458,
     459,
     461,
     553,
     554,
     555,
     557
    ]
   },
   {
    "X": [],
    "Z": [
     1,
     2,
     3,
     5,
     105,
     106,
     107,
     109,
     113,
     114,
     115,
     117,
     153,
     154,
     155,
     157,
     313,
     314,
     315,
     317,
     401,
     402,
     403,
     405,
     465,
     466,
     467,
     469,
     561,
     562,
     563,
     565
    ]
   },
   {
    "X": [],
    "Z": [
     9,
     10,
     11,
     13,
     113,
     114,
     115,
     117,
     121,
     122,
     123,
     125,
     161,
     162,
     163,
     165,
     321,
     322,
     323,
     325,
     409,
     410,
     411,
     413,
     473,
     474,
     475,
     477,
     569,
     570,
     571,
     573
    ]
   },
   {
    "X": [],
    "Z": [
     17,
     18,
     19,
     21,
     121,
     122,
     123,
     125,
     129,
     130,
     131,
     133,
     169,
     170,
     171,
     173,
     329,
     330,
     331,
     333,
     417,
     418,
     419,
     421,
     433,
     434,
     435,
     437,
     529,
     530,
     531,
     533
    ]
   },
   {
    "X": [],
    "Z": [
     25,
     26,
     27,
     29,
     129,
     130,
     131,
     133,
     137,
     138,
     139,
     141,
     177,
     178,
     179,
     181,
     289,
     290,
     291,
     293,
     425,
     426,
     427,
     429,
     441,
     442,
     443,
     445,
     537,
     538,
     539,
     541
    ]
   },
   {
    "X": [],
    "Z": [
     81,
     82,
     83,
     85,
     145,
     146,
     147,
     149,
     185,
     186,
     187,
     189,
     233,
     234,
     235,
     237,
     305,
     306,
     307,
     309,
     345,
     346,
     347,
     349,
     433,
     434,
     435,
     437,
     497,
     498,
     499,
     501
    ]
   },
   {
    "X": [],
    "Z": [
     89,
     90,
     91,
     93,
     145,
     146,
     147,
     149,
     153,
     154,
     155,
     157,
     193,
     194,
     195,
     197,
     313,
     314,
     315,
     317,
     353,
     354,
     355,
     357,
     441,
     442,
     443,
     445,
     505,
     506,
     507,
     509
    ]
   },
   {
    "X": [],
    "Z": [
     49,
     50,
     51,
     53,
     153,
     154,
     155,
     157,
     161,
     162,
     163,
     165,
     201,
     202,
     203,
     205,
     321,
     322,
     323,
     325,
     361,
     362,
     363,
     365,
     449,
     450,
     451,
     453,
     513,
     514,
     515,
     517
    ]
   },
   {
    "X": [],
    "Z": [
     57,
     58,
     59,
     61,
     161,
     162,
     163,
     165,
     169,
     170,
     171,
     173,
     209,
     210,
     211,
     213,
     329,
     330,
     331,
     333,
     369,
     370,
     371,
     373,
     457,
     458,
     459,
     461,
     521,
     522,
     523,
     525
    ]
   },
   {
    "X": [],
    "Z": [
     65,
     66,
     67,
     69,
     169,
     170,
     171,
     173,
     177,
     178,
     179,
     181,
     217,
     218,
     219,
     221,
     289,
     290,
     291,
     293,
     377,
     378,
     379,
     381,
     465,
     466,
     467,
     469,
     481,
     482,
     483,
     485
    ]
   },
   {
    "X": [],
    "Z": [
     73,
     74,
     75,
     77,
     177,
     178,
     179,
     181,
     185,
     186,
     187,
     189,
     225,
     226,
     227,
     229,
     297,
     298,
     299,
     301,
     337,
     338,
     339,
     341,
     473,
     474,
     475,
     477,
     489,
     490,
     491,
     493
    ]
   },
   {
    "X": [],
    "Z": [
     129,
     130,
     131,
     133,
     193,
     194,
     195,
     197,
     233,
     234,
     235,
     237,
     281,
     282,
     283,
     285,
     353,
     354,
     355,
     357,
     393,
     394,
     395,
     397,
     481,
     482,
     483,
     485,
     545,
     546,
     547,
     549
    ]
   },
   {
    "X": [],
    "Z": [
     137,
     138,
     139,
     141,
     193,
     194,
     195,
     197,
     201,
     202,
     203,
     205,
     241,
     242,
     243,
     245,
     361,
     362,
     363,
     365,
     401,
     402,
     403,
     405,
     489,
     490,
     491,
     493,
     553,
     554,
     555,
     557
    ]
   },
   {
    "X": [],
    "Z": [
     97,
     98,
     99,
     101,
     201,
     202,
     203,
     205,
     209,
     210,
     211,
     213,
     249,
     250,
     251,
     253,
     369,
     370,
     371,
     373,
     409,
     410,
     411,
     413,
     497,
     498,
     499,
     501,
     561,
     562,
     563,
     565
    ]
   },
   {
    "X": [],
    "Z": [
     105,
     106,
     107,
     109,
     209,
     210,
     211,
     213,
     217,
     218,
     219,
     221,
     257,
     258,
     259,
     261,
     377,
     378,
     379,
     381,
     417,
     418,
     419,
     421,
     505,
     506,
     507,
     509,
     569,
     570,
     571,
     573
    ]
   },
   {
    "X": [],
    "Z": [
     113,
     114,
     115,
     117,
     217,
     218,
     219,
     221,
     225,
     226,
     227,
     229,
     265,
     266,
     267,
     269,
     337,
     338,
     339,
     341,
     425,
     426,
     427,
     429,
     513,
     514,
     515,
     517,
     529,
     530,
     531,
     533
    ]
   },
   {
    "X": [],
    "Z": [
     121,
     122,
     123,
     125,
     225,
     226,
     227,
     229,
     233,
     234,
     235,
     237,
     273,
     274,
     275,
     277,
     345,
     346,
     347,
     349,
     385,
     386,
     387,
     389,
     521,
     522,
     523,
     525,
     537,
     538,
     539,
     541
    ]
   },
   {
    "X": [],
    "Z": [
     41,
     42,
     43,
     45,
     177,
     178,
     179,
     181,
     241,
     242,
     243,
     245,
     281,
     282,
     283,
     285,
     305,
     306,
     307,
     309,
     401,
     402,
     403,
     405,
     441,
     442,
     443,
     445,
     529,
     530,
     531,
     533
    ]
   },
   {
    "X": [],
    "Z": [
     1,
     2,
     3,
     5,
     185,
     186,
     187,
     189,
     241,
     242,
     243,
     245,
     249,
     250,
     251,
     253,
     313,
     314,
     315,
     317,
     409,
     410,
     411,
     413,
     449,
     450,
     451,
     453,
     537,
     538,
     539,
     541
    ]
   },
   {
    "X": [],
    "Z": [
     9,
     10,
     11,
     13,
     145,
     146,
     147,
     149,
     249,
     250,
     251,
     253,
     257,
     258,
     259,
     261,
     321,
     322,
     323,
     325,
     417,
     418,
     419,
     421,
     457,
     458,
     459,
     461,
     545,
     546,
     547,
     549
    ]
   },
   {
    "X": [],
    "Z": [
     17,
     18,
     19,
     21,
     153,
     154,
     155,
     157,
     257,
     258,
     259,
     261,
     265,
     266,
     267,
     269,
     329,
     330,
     331,
     333,
     425,
     426,
     427,
     429,
     465,
     466,
     467,
     469,
     553,
     554,
     555,
     557
    ]
   },
   {
    "X": [],
    "Z": [
     25,
     26,
     27,
     29,
     161,
     162,
     163,
     165,
     265,
     266,
     267,
     269,
     273,
     274,
     275,
     277,
     289,
     290,
     291,
     293,
     385,
     386,
     387,
     389,
     473,
     474,
     475,
     477,
     561,
     562,
     563,
     565
    ]
   },
   {
    "X": [],
    "Z": [
     33,
     34,
     35,
     37,
     169,
     170,
     171,
     173,
     273,
     274,
     275,
     277,
     281,
     282,
     283,
     285,
     297,
     298,
     299,
     301,
     393,
     394,
     395,
     397,
     433,
     434,
     435,
     437,
     569,
     570,
     571,
     573
    ]
   },
   {
    "X": [],
    "Z": [
     3,
     5,
     6,
     7,
     43,
     45,
     46,
     47,
     91,
     93,
     94,
     95,
     227,
     229,
     230,
     231,
     291,
     293,
     294,
     295,
     355,
     357,
     358,
     359,
     451,
     453,
     454,
     455,
     491,
     493,
     494,
     495
    ]
   },
   {
    "X": [],
    "Z": [
     3,
     5,
     6,
     7,
     11,
     13,
     14,
     15,
     51,
     53,
     54,
     55,
     235,
     237,
     238,
     239,
     299,
     301,
     302,
     303,
     363,
     365,
     366,
     367,
     459,
     461,
     462,
     463,
     499,
     501,
     502,
     503
    ]
   },
   {
    "X": [],
    "Z": [
     11,
     13,
     14,
     15,
     19,
     21,
     22,
     23,
     59,
     61,
     62,
     63,
     195,
     197,
     198,
     199,
     307,
     309,
     310,
     311,
     371,
     373,
     374,
     375,
     467,
     469,
     470,
     471,
     507,
     509,
     510,
     511
    ]
   },
   {
    "X": [],
    "Z": [
     19,
     21,
     22,
     23,
     27,
     29,
     30,
     31,
     67,
     69,
     70,
     71,
     203,
     205,
     206,
     207,
     315,
     317,
     318,
     319,
     379,
     381,
     382,
     383,
     475,
     477,
     478,
     479,
     515,
     517,
     518,
     519
    ]
   },
   {
    "X": [],
    "Z": [
     27,
     29,
     30,
     31,
     35,
     37,
     38,
     39,
     75,
     77,
     78,
     79,
     211,
     213,
     214,
     215,
     323,
     325,
     326,
     327,
     339,
     341,
     342,
     343,
     435,
     437,
     438,
     439,
     523,
     525,
     526,
     527
    ]
   },
   {
    "X": [],
    "Z": [
     35,
     37,
     38,
     39,
     43,
     45,
     46,
     47,
     83,
     85,
     86,
     87,
     219,
     221,
     222,
     223,
     331,
     333,
     334,
     335,
     347,
     349,
     350,
     351,
     443,
     445,
     446,
     447,
     483,
     485,
     486,
     487
    ]
   },
   {
    "X": [],
    "Z": [
     51,
     53,
     54,
     55,
     91,
     93,
     94,
     95,
     139,
     141,
     142,
     143,
     275,
     277,
     278,
     279,
     339,
     341,
     342,
     343,
     403,
     405,
     406,
     407,
     499,
     501,
     502,
     503,
     539,
     541,
     542,
     543
    ]
   },
   {
    "X": [],
    "Z": [
     51,
     53,
     54,
     55,
     59,
     61,
     62,
     63,
     99,
     101,
     102,
     103,
     283,
     285,
     286,
     287,
     347,
     349,
     350,
     351,
     411,
     413,
     414,
     415,
     507,
     509,
     510,
     511,
     547,
     549,
     550,
     551
    ]
   },
   {
    "X": [],
    "Z": [
     59,
     61,
     62,
     63,
     67,
     69,
     70,
     71,
     107,
     109,
     110,
     111,
     243,
     245,
     246,
     247,
     355,
     357,
     358,
     359,
     419,
     421,
     422,
     423,
     515,
     517,
     518,
     519,
     555,
     557,
     558,
     559
    ]
   },
   {
    "X": [],
    "Z": [
     67,
     69,
     70,
     71,
     75,
     77,
     78,
     79,
     115,
     117,
     118,
     119,
     251,
     253,
     254,
     255,
     363,
     365,
     366,
     367,
     427,
     429,
     430,
     431,
     523,
     525,
     526,
     527,
     563,
     565,
     566,
     567
    ]
   },
   {
    "X": [],
    "Z": [
     75,
     77,
     78,
     79,
     83,
     85,
     86,
     87,
     123,
     125,
     126,
     127,
     259,
     261,
     262,
     263,
     371,
     373,
     374,
     375,
     387,
     389,
     390,
     391,
     483,
     485,
     486,
     487,
     571,
     573,
     574,
     575
    ]
   },
   {
    "X": [],
    "Z": [
     83,
     85,
     86,
     87,
     91,
     93,
     94,
     95,
     131,
     133,
     134,
     135,
     267,
     269,
     270,
     271,
     379,
     381,
     382,
     383,
     395,
     397,
     398,
     399,
     491,
     493,
     494,
     495,
     531,
     533,
     534,
     535
    ]
   },
   {
    "X": [],
    "Z": [
     35,
     37,
     38,
     39,
     99,
     101,
     102,
     103,
     139,
     141,
     142,
     143,
     187,
     189,
     190,
     191,
     299,
     301,
     302,
     303,
     387,
     389,
     390,
     391,
     451,
     453,
     454,
     455,
     547,
     549,
     550,
     551
    ]
   },
   {
    "X": [],
    "Z": [
     43,
     45,
     46,
     47,
     99,
     101,
     102,
     103,
     107,
     109,
     110,
     111,
     147,
     149,
     150,
     151,
     307,
     309,
     310,
     311,
     395,
     397,
     398,
     399,
     459,
     461,
     462,
     463,
     555,
     557,
     558,
     559
    ]
   },
   {
    "X": [],
    "Z": [
     3,
     5,
     6,
     7,
     107,
     109,
     110,
     111,
     115,
     117,
     118,
     119,
     155,
     157,
     158,
     159,
     315,
     317,
     318,
     319,
     403,
     405,
     406,
     407,
     467,
     469,
     470,
     471,
     563,
     565,
     566,
     567
    ]
   },
   {
    "X": [],
    "Z": [
     11,
     13,
     14,
     15,
     115,
     117,
     118,
     119,
     123,
     125,
     126,
     127,
     163,
     165,
     166,
     167,
     323,
     325,
     326,
     327,
     411,
     413,
     414,
     415,
     475,
     477,
     478,
     479,
     571,
     573,
     574,
     575
    ]
   },
   {
    "X": [],
    "Z": [
     19,
     21,
     22,
     23,
     123,
     125,
     126,
     127,
     131,
     133,
     134,
     135,
     171,
     173,
     174,
     175,
     331,
     333,
     334,
     335,
     419,
     421,
     422,
     423,
     435,
     437,
     438,
     439,
     531,
     533,
     534,
     535
    ]
   },
   {
    "X": [],
    "Z": [
     27,
     29,
     30,
     31,
     131,
     133,
     134,
     135,
     139,
     141,
     142,
     143,
     179,
     181,
     182,
     183,
     291,
     293,
     294,
     295,
     427,
     429,
     430,
     431,
     443,
     445,
     446,
     447,
     539,
     541,
     542,
     543
    ]
   },
   {
    "X": [],
    "Z": [
     83,
     85,
     86,
     87,
     147,
     149,
     150,
     151,
     187,
     189,
     190,
     191,
     235,
     237,
     238,
     239,
     307,
     309,
     310,
     311,
     347,
     349,
     350,
     351,
     435,
     437,
     438,
     439,
     499,
     501,
     502,
     503
    ]
   },
   {
    "X": [],
    "Z": [
     91,
     93,
     94,
     95,
     147,
     149,
     150,
     151,
     155,
     157,
     158,
     159,
     195,
     197,
     198,
     199,
     315,
     317,
     318,
     319,
     355,
     357,
     358,
     359,
     443,
     445,
     446,
     447,
     507,
     509,
     510,
     511
    ]
   },
   {
    "X": [],
    "Z": [
     51,
     53,
     54,
     55,
     155,
     157,
     158,
     159,
     163,
     165,
     166,
     167,
     203,
     205,
     206,
     207,
     323,
     325,
     326,
     327,
     363,
     365,
     366,
     367,
     451,
     453,
     454,
     455,
     515,
     517,
     518,
     519
    ]
   },
   {
    "X": [],
    "Z": [
     59,
     61,
     62,
     63,
     163,
     165,
     166,
     167,
     171,
     173,
     174,
     175,
     211,
     213,
     214,
     215,
     331,
     333,
     334,
     335,
     371,
     373,
     374,
     375,
     459,
     461,
     462,
     463,
     523,
     525,
     526,
     527
    ]
   },
   {
    "X": [],
    "Z": [
     67,
     69,
     70,
     71,
     171,
     173,
     174,
     175,
     179,
     181,
     182,
     183,
     219,
     221,
     222,
     223,
     291,
     293,
     294,
     295,
     379,
     381,
     382,
     383,
     467,
     469,
     470,
     471,
     483,
     485,
     486,
     487
    ]
   },
   {
    "X": [],
    "Z": [
     75,
     77,
     78,
     79,
     179,
     181,
     182,
     183,
     187,
     189,
     190,
     191,
     227,
     229,
     230,
     231,
     299,
     301,
     302,
     303,
     339,
     341,
     342,
     343,
     475,
     477,
     478,
     479,
     491,
     493,
     494,
     495
    ]
   },
   {
    "X": [],
    "Z": [
     131,
     133,
     134,
     135,
     195,
     197,
     198,
     199,
     235,
     237,
     238,
     239,
     283,
     285,
     286,
     287,
     355,
     357,
     358,
     359,
     395,
     397,
     398,
     399,
     483,
     485,
     486,
     487,
     547,
     549,
     550,
     551
    ]
   },
   {
    "X": [],
    "Z": [
     139,
     141,
     142,
     143,
     195,
     197,
     198,
     199,
     203,
     205,
     206,
     207,
     243,
     245,
     246,
     247,
     363,
     365,
     366,
     367,
     403,
     405,
     406,
     407,
     491,
     493,
     494,
     495,
     555,
     557,
     558,
     559
    ]
   },
   {
    "X": [],
    "Z": [
     99,
     101,
     102,
     103,
     203,
     205,
     206,
     207,
     211,
     213,
     214,
     215,
     251,
     253,
     254,
     255,
     371,
     373,
     374,
     375,
     411,
     413,
     414,
     415,
     499,
     501,
     502,
     503,
     563,
     565,
     566,
     567
    ]
   },
   {
    "X": [],
    "Z": [
     107,
     109,
     110,
     111,
     211,
     213,
     214,
     215,
     219,
     221,
     222,
     223,
     259,
     261,
     262,
     263,
     379,
     381,
     382,
     383,
     419,
     421,
     422,
     423,
     507,
     509,
     510,
     511,
     571,
     573,
     574,
     575
    ]
   },
   {
    "X": [],
    "Z": [
     115,
     117,
     118,
     119,
     219,
     221,
     222,
     223,
     227,
     229,
     230,
     231,
     267,
     269,
     270,
     271,
     339,
     341,
     342,
     343,
     427,
     429,
     430,
     431,
     515,
     517,
     518,
     519,
     531,
     533,
     534,
     535
    ]
   },
   {
    "X": [],
    "Z": [
     123,
     125,
     126,
     127,
     227,
     229,
     230,
     231,
     235,
     237,
     238,
     239,
     275,
     277,
     278,
     279,
     347,
     349,
     350,
     351,
     387,
     389,
     390,
     391,
     523,
     525,
     526,
     527,
     539,
     541,
     542,
     543
    ]
   },
   {
    "X": [],
    "Z": [
     43,
     45,
     46,
     47,
     179,
     181,
     182,
     183,
     243,
     245,
     246,
     247,
     283,
     285,
     286,
     287,
     307,
     309,
     310,
     311,
     403,
     405,
     406,
     407,
     443,
     445,
     446,
     447,
     531,
     533,
     534,
     535
    ]
   },
   {
    "X": [],
    "Z": [
     3,
     5,
     6,
     7,
     187,
     189,
     190,
     191,
     243,
     245,
     246,
     247,
     251,
     253,
     254,
     255,
     315,
     317,
     318,
     319,
     411,
     413,
     414,
     415,
     451,
     453,
     454,
     455,
     539,
     541,
     542,
     543
    ]
   },
   {
    "X": [],
    "Z": [
     11,
     13,
     14,
     15,
     147,
     149,
     150,
     151,
     251,
     253,
     254,
     255,
     259,
     261,
     262,
     263,
     323,
     325,
     326,
     327,
     419,
     421,
     422,
     423,
     459,
     461,
     462,
     463,
     547,
     549,
     550,
     551
    ]
   },
   {
    "X": [],
    "Z": [
     19,
     21,
     22,
     23,
     155,
     157,
     158,
     159,
     259,
     261,
     262,
     263,
     267,
     269,
     270,
     271,
     331,
     333,
     334,
     335,
     427,
     429,
     430,
     431,
     467,
     469,
     470,
     471,
     555,
     557,
     558,
     559
    ]
   },
   {
    "X": [],
    "Z": [
     27,
     29,
     30,
     31,
     163,
     165,
     166,
     167,
     267,
     269,
     270,
     271,
     275,
     277,
     278,
     279,
     291,
     293,
     294,
     295,
     387,
     389,
     390,
     391,
     475,
     477,
     478,
     479,
     563,
     565,
     566,
     567
    ]
   },
   {
    "X": [],
    "Z": [
     35,
     37,
     38,
     39,
     171,
     173,
     174,
     175,
     275,
     277,
     278,
     279,
     283,
     285,
     286,
     287,
     299,
     301,
     302,
     303,
     395,
     397,
     398,
     399,
     435,
     437,
     438,
     439,
     571,
     573,
     574,
     575
    ]
   },
   {
    "X": [
     6,
     7,
     142,
     143,
     182,
     183,
     278,
     279,
     294,
     295,
     302,
     303,
     406,
     407,
     542,
     543
    ],
    "Z": [
     2,
     6,
     138,
     142,
     178,
     182,
     274,
     278,
     290,
     294,
     298,
     302,
     402,
     406,
     538,
     542
    ]
   },
   {
    "X": [
     14,
     15,
     102,
     103,
     190,
     191,
     286,
     287,
     302,
     303,
     310,
     311,
     414,
     415,
     550,
     551
    ],
    "Z": [
     10,
     14,
     98,
     102,
     186,
     190,
     282,
     286,
     298,
     302,
     306,
     310,
     410,
     414,
     546,
     550
    ]
   },
   {
    "X": [
     22,
     23,
     110,
     111,
     150,
     151,
     246,
     247,
     310,
     311,
     318,
     319,
     422,
     423,
     558,
     559
    ],
    "Z": [
     18,
     22,
     106,
     110,
     146,
     150,
     242,
     246,
     306,
     310,
     314,
     318,
     418,
     422,
     554,
     558
    ]
   },
   {
    "X": [
     30,
     31,
     118,
     119,
     158,
     159,
     254,
     255,
     318,
     319,
     326,
     327,
     430,
     431,
     566,
     567
    ],
    "Z": [
     26,
     30,
     114,
     118,
     154,
     158,
     250,
     254,
     314,
     318,
     322,
     326,
     426,
     430,
     562,
     566
    ]
   },
   {
    "X": [
     38,
     39,
     126,
     127,
     166,
     167,
     262,
     263,
     326,
     327,
     334,
     335,
     390,
     391,
     574,
     575
    ],
    "Z": [
     34,
     38,
     122,
     126,
     162,
     166,
     258,
     262,
     322,
     326,
     330,
     334,
     386,
     390,
     570,
     574
    ]
   },
   {
    "X": [
     46,
     47,
     134,
     135,
     174,
     175,
     270,
     271,
     294,
     295,
     334,
     335,
     398,
     399,
     534,
     535
    ],
    "Z": [
     42,
     46,
     130,
     134,
     170,
     174,
     266,
     270,
     290,
     294,
     330,
     334,
     394,
     398,
     530,
     534
    ]
   },
   {
    "X": [
     38,
     39,
     54,
     55,
     190,
     191,
     230,
     231,
     302,
     303,
     342,
     343,
     350,
     351,
     454,
     455
    ],
    "Z": [
     34,
     38,
     50,
     54,
     186,
     190,
     226,
     230,
     298,
     302,
     338,
     342,
     346,
     350,
     450,
     454
    ]
   },
   {
    "X": [
     46,
     47,
     62,
     63,
     150,
     151,
     238,
     239,
     310,
     311,
     350,
     351,
     358,
     359,
     462,
     463
    ],
    "Z": [
     42,
     46,
     58,
     62,
     146,
     150,
     234,
     238,
     306,
     310,
     346,
     350,
     354,
     358,
     458,
     462
    ]
   },
   {
    "X": [
     6,
     7,
     70,
     71,
     158,
     159,
     198,
     199,
     318,
     319,
     358,
     359,
     366,
     367,
     470,
     471
    ],
    "Z": [
     2,
     6,
     66,
     70,
     154,
     158,
     194,
     198,
     314,
     318,
     354,
     358,
     362,
     366,
     466,
     470
    ]
   },
   {
    "X": [
     14,
     15,
     78,
     79,
     166,
     167,
     206,
     207,
     326,
     327,
     366,
     367,
     374,
     375,
     478,
     479
    ],
    "Z": [
     10,
     14,
     74,
     78,
     162,
     166,
     202,
     206,
     322,
     326,
     362,
     366,
     370,
     374,
     474,
     478
    ]
   },
   {
    "X": [
     22,
     23,
     86,
     87,
     174,
     175,
     214,
     215,
     334,
     335,
     374,
     375,
     382,
     383,
     438,
     439
    ],
    "Z": [
     18,
     22,
     82,
     86,
     170,
     174,
     210,
     214,
     330,
     334,
     370,
     374,
     378,
     382,
     434,
     438
    ]
   },
   {
    "X": [
     30,
     31,
     94,
     95,
     182,
     183,
     222,
     223,
     294,
     295,
     342,
     343,
     382,
     383,
     446,
     447
    ],
    "Z": [
     26,
     30,
     90,
     94,
     178,
     182,
     218,
     222,
     290,
     294,
     338,
     342,
     378,
     382,
     442,
     446
    ]
   },
   {
    "X": [
     86,
     87,
     102,
     103,
     238,
     239,
     278,
     279,
     350,
     351,
     390,
     391,
     398,
     399,
     502,
     503
    ],
    "Z": [
     82,
     86,
     98,
     102,
     234,
     238,
     274,
     278,
     346,
     350,
     386,
     390,
     394,
     398,
     498,
     502
    ]
   },
   {
    "X": [
     94,
     95,
     110,
     111,
     198,
     199,
     286,
     287,
     358,
     359,
     398,
     399,
     406,
     407,
     510,
     511
    ],
    "Z": [
     90,
     94,
     106,
     110,
     194,
     198,
     282,
     286,
     354,
     358,
     394,
     398,
     402,
     406,
     506,
     510
    ]
   },
   {
    "X": [
     54,
     55,
     118,
     119,
     206,
     207,
     246,
     247,
     366,
     367,
     406,
     407,
     414,
     415,
     518,
     519
    ],
    "Z": [
     50,
     54,
     114,
     118,
     202,
     206,
     242,
     246,
     362,
     366,
     402,
     406,
     410,
     414,
     514,
     518
    ]
   },
   {
    "X": [
     62,
     63,
     126,
     127,
     214,
     215,
     254,
     255,
     374,
     375,
     414,
     415,
     422,
     423,
     526,
     527
    ],
    "Z": [
     58,
     62,
     122,
     126,
     210,
     214,
     250,
     254,
     370,
     374,
     410,
     414,
     418,
     422,
     522,
     526
    ]
   },
   {
    "X": [
     70,
     71,
     134,
     135,
     222,
     223,
     262,
     263,
     382,
     383,
     422,
     423,
     430,
     431,
     486,
     487
    ],
    "Z": [
     66,
     70,
     130,
     134,
     218,
     222,
     258,
     262,
     378,
     382,
     418,
     422,
     426,
     430,
     482,
     486
    ]
   },
   {
    "X": [
     78,
     79,
     142,
     143,
     230,
     231,
     270,
     271,
     342,
     343,
     390,
     391,
     430,
     431,
     494,
     495
    ],
    "Z": [
     74,
     78,
     138,
     142,
     226,
     230,
     266,
     270,
     338,
     342,
     386,
     390,
     426,
     430,
     490,
     494
    ]
   },
   {
    "X": [
     38,
     39,
     134,
     135,
     150,
     151,
     286,
     287,
     398,
     399,
     438,
     439,
     446,
     447,
     550,
     551
    ],
    "Z": [
     34,
     38,
     130,
     134,
     146,
     150,
     282,
     286,
     394,
     398,
     434,
     438,
     442,
     446,
     546,
     550
    ]
   },
   {
    "X": [
     46,
     47,
     142,
     143,
     158,
     159,
     246,
     247,
     406,
     407,
     446,
     447,
     454,
     455,
     558,
     559
    ],
    "Z": [
     42,
     46,
     138,
     142,
     154,
     158,
     242,
     246,
     402,
     406,
     442,
     446,
     450,
     454,
     554,
     558
    ]
   },
   {
    "X": [
     6,
     7,
     102,
     103,
     166,
     167,
     254,
     255,
     414,
     415,
     454,
     455,
     462,
     463,
     566,
     567
    ],
    "Z": [
     2,
     6,
     98,
     102,
     162,
     166,
     250,
     254,
     410,
     414,
     450,
     454,
     458,
     462,
     562,
     566
    ]
   },
   {
    "X": [
     14,
     15,
     110,
     111,
     174,
     175,
     262,
     263,
     422,
     423,
     462,
     463,
     470,
     471,
     574,
     575
    ],
    "Z": [
     10,
     14,
     106,
     110,
     170,
     174,
     258,
     262,
     418,
     422,
     458,
     462,
     466,
     470,
     570,
     574
    ]
   },
   {
    "X": [
     22,
     23,
     118,
     119,
     182,
     183,
     270,
     271,
     430,
     431,
     470,
     471,
     478,
     479,
     534,
     535
    ],
    "Z": [
     18,
     22,
     114,
     118,
     178,
     182,
     266,
     270,
     426,
     430,
     466,
     470,
     474,
     478,
     530,
     534
    ]
   },
   {
    "X": [
     30,
     31,
     126,
     127,
     190,
     191,
     278,
     279,
     390,
     391,
     438,
     439,
     478,
     479,
     542,
     543
    ],
    "Z": [
     26,
     30,
     122,
     126,
     186,
     190,
     274,
     278,
     386,
     390,
     434,
     438,
     474,
     478,
     538,
     542
    ]
   },
   {
    "X": [
     46,
     47,
     86,
     87,
     182,
     183,
     198,
     199,
     310,
     311,
     446,
     447,
     486,
     487,
     494,
     495
    ],
    "Z": [
     42,
     46,
     82,
     86,
     178,
     182,
     194,
     198,
     306,
     310,
     442,
     446,
     482,
     486,
     490,
     494
    ]
   },
   {
    "X": [
     6,
     7,
     94,
     95,
     190,
     191,
     206,
     207,
     318,
     319,
     454,
     455,
     494,
     495,
     502,
     503
    ],
    "Z": [
     2,
     6,
     90,
     94,
     186,
     190,
     202,
     206,
     314,
     318,
     450,
     454,
     490,
     494,
     498,
     502
    ]
   },
   {
    "X": [
     14,
     15,
     54,
     55,
     150,
     151,
     214,
     215,
     326,
     327,
     462,
     463,
     502,
     503,
     510,
     511
    ],
    "Z": [
     10,
     14,
     50,
     54,
     146,
     150,
     210,
     214,
     322,
     326,
     458,
     462,
     498,
     502,
     506,
     510
    ]
   },
   {
    "X": [
     22,
     23,
     62,
     63,
     158,
     159,
     222,
     223,
     334,
     335,
     470,
     471,
     510,
     511,
     518,
     519
    ],
    "Z": [
     18,
     22,
     58,
     62,
     154,
     158,
     218,
     222,
     330,
     334,
     466,
     470,
     506,
     510,
     514,
     518
    ]
   },
   {
    "X": [
     30,
     31,
     70,
     71,
     166,
     167,
     230,
     231,
     294,
     295,
     478,
     479,
     518,
     519,
     526,
     527
    ],
    "Z": [
     26,
     30,
     66,
     70,
     162,
     166,
     226,
     230,
     290,
     294,
     474,
     478,
     514,
     518,
     522,
     526
    ]
   },
   {
    "X": [
     38,
     39,
     78,
     79,
     174,
     175,
     238,
     239,
     302,
     303,
     438,
     439,
     486,
     487,
     526,
     527
    ],
    "Z": [
     34,
     38,
     74,
     78,
     170,
     174,
     234,
     238,
     298,
     302,
     434,
     438,
     482,
     486,
     522,
     526
    ]
   },
   {
    "X": [
     94,
     95,
     134,
     135,
     230,
     231,
     246,
     247,
     358,
     359,
     494,
     495,
     534,
     535,
     542,
     543
    ],
    "Z": [
     90,
     94,
     130,
     134,
     226,
     230,
     242,
     246,
     354,
     358,
     490,
     494,
     530,
     534,
     538,
     542
    ]
   },
   {
    "X": [
     54,
     55,
     142,
     143,
     238,
     239,
     254,
     255,
     366,
     367,
     502,
     503,
     542,
     543,
     550,
     551
    ],
    "Z": [
     50,
     54,
     138,
     142,
     234,
     238,
     250,
     254,
     362,
     366,
     498,
     502,
     538,
     542,
     546,
     550
    ]
   },
   {
    "X": [
     62,
     63,
     102,
     103,
     198,
     199,
     262,
     263,
     374,
     375,
     510,
     511,
     550,
     551,
     558,
     559
    ],
    "Z": [
     58,
     62,
     98,
     102,
     194,
     198,
     258,
     262,
     370,
     374,
     506,
     510,
     546,
     550,
     554,
     558
    ]
   },
   {
    "X": [
     70,
     71,
     110,
     111,
     206,
     207,
     270,
     271,
     382,
     383,
     518,
     519,
     558,
     559,
     566,
     567
    ],
    "Z": [
     66,
     70,
     106,
     110,
     202,
     206,
     266,
     270,
     378,
     382,
     514,
     518,
     554,
     558,
     562,
     566
    ]
   },
   {
    "X": [
     78,
     79,
     118,
     119,
     214,
     215,
     278,
     279,
     342,
     343,
     526,
     527,
     566,
     567,
     574,
     575
    ],
    "Z": [
     74,
     78,
     114,
     118,
     210,
     214,
     274,
     278,
     338,
     342,
     522,
     526,
     562,
     566,
     570,
     574
    ]
   },
   {
    "X": [
     86,
     87,
     126,
     127,
     222,
     223,
     286,
     287,
     350,
     351,
     486,
     487,
     534,
     535,
     574,
     575
    ],
    "Z": [
     82,
     86,
     122,
     126,
     218,
     222,
     282,
     286,
     346,
     350,
     482,
     486,
     530,
     534,
     570,
     574
    ]
   },
   {
    "X": [
     5,
     6,
     141,
     142,
     181,
     182,
     277,
     278,
     293,
     294,
     301,
     302,
     405,
     406,
     541,
     542
    ],
    "Z": [
     5,
     7,
     141,
     143,
     181,
     183,
     277,
     279,
     293,
     295,
     301,
     303,
     405,
     407,
     541,
     543
    ]
   },
   {
    "X": [
     13,
     14,
     101,
     102,
     189,
     190,
     285,
     286,
     301,
     302,
     309,
     310,
     413,
     414,
     549,
     550
    ],
    "Z": [
     13,
     15,
     101,
     103,
     189,
     191,
     285,
     287,
     301,
     303,
     309,
     311,
     413,
     415,
     549,
     551
    ]
   },
   {
    "X": [
     21,
     22,
     109,
     110,
     149,
     150,
     245,
     246,
     309,
     310,
     317,
     318,
     421,
     422,
     557,
     558
    ],
    "Z": [
     21,
     23,
     109,
     111,
     149,
     151,
     245,
     247,
     309,
     311,
     317,
     319,
     421,
     423,
     557,
     559
    ]
   },
   {
    "X": [
     29,
     30,
     117,
     118,
     157,
     158,
     253,
     254,
     317,
     318,
     325,
     326,
     429,
     430,
     565,
     566
    ],
    "Z": [
     29,
     31,
     117,
     119,
     157,
     159,
     253,
     255,
     317,
     319,
     325,
     327,
     429,
     431,
     565,
     567
    ]
   },
   {
    "X": [
     37,
     38,
     125,
     126,
     165,
     166,
     261,
     262,
     325,
     326,
     333,
     334,
     389,
     390,
     573,
     574
    ],
    "Z": [
     37,
     39,
     125,
     127,
     165,
     167,
     261,
     263,
     325,
     327,
     333,
     335,
     389,
     391,
     573,
     575
    ]
   },
   {
    "X": [
     45,
     46,
     133,
     134,
     173,
     174,
     269,
     270,
     293,
     294,
     333,
     334,
     397,
     398,
     533,
     534
    ],
    "Z": [
     45,
     47,
     133,
     135,
     173,
     175,
     269,
     271,
     293,
     295,
     333,
     335,
     397,
     399,
     533,
     535
    ]
   },
   {
    "X": [
     37,
     38,
     53,
     54,
     189,
     190,
     229,
     230,
     301,
     302,
     341,
     342,
     349,
     350,
     453,
     454
    ],
    "Z": [
     37,
     39,
     53,
     55,
     189,
     191,
     229,
     231,
     301,
     303,
     341,
     343,
     349,
     351,
     453,
     455
    ]
   },
   {
    "X": [
     45,
     46,
     61,
     62,
     149,
     150,
     237,
     238,
     309,
     310,
     349,
     350,
     357,
     358,
     461,
     462
    ],
    "Z": [
     45,
     47,
     61,
     63,
     149,
     151,
     237,
     239,
     309,
     311,
     349,
     351,
     357,
     359,
     461,
     463
    ]
   },
   {
    "X": [
     5,
     6,
     69,
     70,
     157,
     158,
     197,
     198,
     317,
     318,
     357,
     358,
     365,
     366,
     469,
     470
    ],
    "Z": [
     5,
     7,
     69,
     71,
     157,
     159,
     197,
     199,
     317,
     319,
     357,
     359,
     365,
     367,
     469,
     471
    ]
   },
   {
    "X": [
     13,
     14,
     77,
     78,
     165,
     166,
     205,
     206,
     325,
     326,
     365,
     366,
     373,
     374,
     477,
     478
    ],
    "Z": [
     13,
     15,
     77,
     79,
     165,
     167,
     205,
     207,
     325,
     327,
     365,
     367,
     373,
     375,
     477,
     479
    ]
   },
   {
    "X": [
     21,
     22,
     85,
     86,
     173,
     174,
     213,
     214,
     333,
     334,
     373,
     374,
     381,
     382,
     437,
     438
    ],
    "Z": [
     21,
     23,
     85,
     87,
     173,
     175,
     213,
     215,
     333,
     335,
     373,
     375,
     381,
     383,
     437,
     439
    ]
   },
   {
    "X": [
     29,
     30,
     93,
     94,
     181,
     182,
     221,
     222,
     293,
     294,
     341,
     342,
     381,
     382,
     445,
     446
    ],
    "Z": [
     29,
     31,
     93,
     95,
     181,
     183,
     221,
     223,
     293,
     295,
     341,
     343,
     381,
     383,
     445,
     447
    ]
   },
   {
    "X": [
     85,
     86,
     101,
     102,
     237,
     238,
     277,
     278,
     349,
     350,
     389,
     390,
     397,
     398,
     501,
     502
    ],
    "Z": [
     85,
     87,
     101,
     103,
     237,
     239,
     277,
     279,
     349,
     351,
     389,
     391,
     397,
     399,
     501,
     503
    ]
   },
   {
    "X": [
     93,
     94,
     109,
     110,
     197,
     198,
     285,
     286,
     357,
     358,
     397,
     398,
     405,
     406,
     509,
     510
    ],
    "Z": [
     93,
     95,
     109,
     111,
     197,
     199,
     285,
     287,
     357,
     359,
     397,
     399,
     405,
     407,
     509,
     511
    ]
   },
   {
    "X": [
     53,
     54,
     117,
     118,
     205,
     206,
     245,
     246,
     365,
     366,
     405,
     406,
     413,
     414,
     517,
     518
    ],
    "Z": [
     53,
     55,
     117,
     119,
     205,
     207,
     245,
     247,
     365,
     367,
     405,
     407,
     413,
     415,
     517,
     519
    ]
   },
   {
    "X": [
     61,
     62,
     125,
     126,
     213,
     214,
     253,
     254,
     373,
     374,
     413,
     414,
     421,
     422,
     525,
     526
    ],
    "Z": [
     61,
     63,
     125,
     127,
     213,
     215,
     253,
     255,
     373,
     375,
     413,
     415,
     421,
     423,
     525,
     527
    ]
   },
   {
    "X": [
     69,
     70,
     133,
     134,
     221,
     222,
     261,
     262,
     381,
     382,
     421,
     422,
     429,
     430,
     485,
     486
    ],
    "Z": [
     69,
     71,
     133,
     135,
     221,
     223,
     261,
     263,
     381,
     383,
     421,
     423,
     429,
     431,
     485,
     487
    ]
   },
   {
    "X": [
     77,
     78,
     141,
     142,
     229,
     230,
     269,
     270,
     341,
     342,
     389,
     390,
     429,
     430,
     493,
     494
    ],
    "Z": [
     77,
     79,
     141,
     143,
     229,
     231,
     269,
     271,
     341,
     343,
     389,
     391,
     429,
     431,
     493,
     495
    ]
   },
   {
    "X": [
     37,
     38,
     133,
     134,
     149,
     150,
     285,
     286,
     397,
     398,
     437,
     438,
     445,
     446,
     549,
     550
    ],
    "Z": [
     37,
     39,
     133,
     135,
     149,
     151,
     285,
     287,
     397,
     399,
     437,
     439,
     445,
     447,
     549,
     551
    ]
   },
   {
    "X": [
     45,
     46,
     141,
     142,
     157,
     158,
     245,
     246,
     405,
     406,
     445,
     446,
     453,
     454,
     557,
     558
    ],
    "Z": [
     45,
     47,
     141,
     143,
     157,
     159,
     245,
     247,
     405,
     407,
     445,
     447,
     453,
     455,
     557,
     559
    ]
   },
   {
    "X": [
     5,
     6,
     101,
     102,
     165,
     166,
     253,
     254,
     413,
     414,
     453,
     454,
     461,
     462,
     565,
     566
    ],
    "Z": [
     5,
     7,
     101,
     103,
     165,
     167,
     253,
     255,
     413,
     415,
     453,
     455,
     461,
     463,
     565,
     567
    ]
   },
   {
    "X": [
     13,
     14,
     109,
     110,
     173,
     174,
     261,
     262,
     421,
     422,
     461,
     462,
     469,
     470,
     573,
     574
    ],
    "Z": [
     13,
     15,
     109,
     111,
     173,
     175,
     261,
     263,
     421,
     423,
     461,
     463,
     469,
     471,
     573,
     575
    ]
   },
   {
    "X": [
     21,
     22,
     117,
     118,
     181,
     182,
     269,
     270,
     429,
     430,
     469,
     470,
     477,
     478,
     533,
     534
    ],
    "Z": [
     21,
     23,
     117,
     119,
     181,
     183,
     269,
     271,
     429,
     431,
     469,
     471,
     477,
     479,
     533,
     535
    ]
   },
   {
    "X": [
     29,
     30,
     125,
     126,
     189,
     190,
     277,
     278,
     389,
     390,
     437,
     438,
     477,
     478,
     541,
     542
    ],
    "Z": [
     29,
     31,
     125,
     127,
     189,
     191,
     277,
     279,
     389,
     391,
     437,
     439,
     477,
     479,
     541,
     543
    ]
   },
   {
    "X": [
     45,
     46,
     85,
     86,
     181,
     182,
     197,
     198,
     309,
     310,
     445,
     446,
     485,
     486,
     493,
     494
    ],
    "Z": [
     45,
     47,
     85,
     87,
     181,
     183,
     197,
     199,
     309,
     311,
     445,
     447,
     485,
     487,
     493,
     495
    ]
   },
   {
    "X": [
     5,
     6,
     93,
     94,
     189,
     190,
     205,
     206,
     317,
     318,
     453,
     454,
     493,
     494,
     501,
     502
    ],
    "Z": [
     5,
     7,
     93,
     95,
     189,
     191,
     205,
     207,
     317,
     319,
     453,
     455,
     493,
     495,
     501,
     503
    ]
   },
   {
    "X": [
     13,
     14,
     53,
     54,
     149,
     150,
     213,
     214,
     325,
     326,
     461,
     462,
     501,
     502,
     509,
     510
    ],
    "Z": [
     13,
     15,
     53,
     55,
     149,
     151,
     213,
     215,
     325,
     327,
     461,
     463,
     501,
     503,
     509,
     511
    ]
   },
   {
    "X": [
     21,
     22,
     61,
     62,
     157,
     158,
     221,
     222,
     333,
     334,
     469,
     470,
     509,
     510,
     517,
     518
    ],
    "Z": [
     21,
     23,
     61,
     63,
     157,
     159,
     221,
     223,
     333,
     335,
     469,
     471,
     509,
     511,
     517,
     519
    ]
   },
   {
    "X": [
     29,
     30,
     69,
     70,
     165,
     166,
     229,
     230,
     293,
     294,
     477,
     478,
     517,
     518,
     525,
     526
    ],
    "Z": [
     29,
     31,
     69,
     71,
     165,
     167,
     229,
     231,
     293,
     295,
     477,
     479,
     517,
     519,
     525,
     527
    ]
   },
   {
    "X": [
     37,
     38,
     77,
     78,
     173,
     174,
     237,
     238,
     301,
     302,
     437,
     438,
     485,
     486,
     525,
     526
    ],
    "Z": [
     37,
     39,
     77,
     79,
     173,
     175,
     237,
     239,
     301,
     303,
     437,
     439,
     485,
     487,
     525,
     527
    ]
   },
   {
    "X": [
     93,
     94,
     133,
     134,
     229,
     230,
     245,
     246,
     357,
     358,
     493,
     494,
     533,
     534,
     541,
     542
    ],
    "Z": [
     93,
     95,
     133,
     135,
     229,
     231,
     245,
     247,
     357,
     359,
     493,
     495,
     533,
     535,
     541,
     543
    ]
   },
   {
    "X": [
     53,
     54,
     141,
     142,
     237,
     238,
     253,
     254,
     365,
     366,
     501,
     502,
     541,
     542,
     549,
     550
    ],
    "Z": [
     53,
     55,
     141,
     143,
     237,
     239,
     253,
     255,
     365,
     367,
     501,
     503,
     541,
     543,
     549,
     551
    ]
   },
   {
    "X": [
     61,
     62,
     101,
     102,
     197,
     198,
     261,
     262,
     373,
     374,
     509,
     510,
     549,
     550,
     557,
     558
    ],
    "Z": [
     61,
     63,
     101,
     103,
     197,
     199,
     261,
     263,
     373,
     375,
     509,
     511,
     549,
     551,
     557,
     559
    ]
   },
   {
    "X": [
     69,
     70,
     109,
     110,
     205,
     206,
     269,
     270,
     381,
     382,
     517,
     518,
     557,
     558,
     565,
     566
    ],
    "Z": [
     69,
     71,
     109,
     111,
     205,
     207,
     269,
     271,
     381,
     383,
     517,
     519,
     557,
     559,
     565,
     567
    ]
   },
   {
    "X": [
     77,
     78,
     117,
     118,
     213,
     214,
     277,
     278,
     341,
     342,
     525,
     526,
     565,
     566,
     573,
     574
    ],
    "Z": [
     77,
     79,
     117,
     119,
     213,
     215,
     277,
     279,
     341,
     343,
     525,
     527,
     565,
     567,
     573,
     575
    ]
   },
   {
    "X": [
     85,
     86,
     125,
     126,
     221,
     222,
     285,
     286,
     349,
     350,
     485,
     486,
     533,
     534,
     573,
     574
    ],
    "Z": [
     85,
     87,
     125,
     127,
     221,
     223,
     285,
     287,
     349,
     351,
     485,
     487,
     533,
     535,
     573,
     575
    ]
   },
   {
    "X": [
     4,
     7,
     140,
     143,
     180,
     183,
     276,
     279,
     292,
     295,
     300,
     303,
     404,
     407,
     540,
     543
    ],
    "Z": [
     6,
     7,
     142,
     143,
     182,
     183,
     278,
     279,
     294,
     295,
     302,
     303,
     406,
     407,
     542,
     543
    ]
   },
   {
    "X": [
     12,
     15,
     100,
     103,
     188,
     191,
     284,
     287,
     300,
     303,
     308,
     311,
     412,
     415,
     548,
     551
    ],
    "Z": [
     14,
     15,
     102,
     103,
     190,
     191,
     286,
     287,
     302,
     303,
     310,
     311,
     414,
     415,
     550,
     551
    ]
   },
   {
    "X": [
     20,
     23,
     108,
     111,
     148,
     151,
     244,
     247,
     308,
     311,
     316,
     319,
     420,
     423,
     556,
     559
    ],
    "Z": [
     22,
     23,
     110,
     111,
     150,
     151,
     246,
     247,
     310,
     311,
     318,
     319,
     422,
     423,
     558,
     559
    ]
   },
   {
    "X": [
     28,
     31,
     116,
     119,
     156,
     159,
     252,
     255,
     316,
     319,
     324,
     327,
     428,
     431,
     564,
     567
    ],
    "Z": [
     30,
     31,
     118,
     119,
     158,
     159,
     254,
     255,
     318,
     319,
     326,
     327,
     430,
     431,
     566,
     567
    ]
   },
   {
    "X": [
     36,
     39,
     124,
     127,
     164,
     167,
     260,
     263,
     324,
     327,
     332,
     335,
     388,
     391,
     572,
     575
    ],
    "Z": [
     38,
     39,
     126,
     127,
     166,
     167,
     262,
     263,
     326,
     327,
     334,
     335,
     390,
     391,
     574,
     575
    ]
   },
   {
    "X": [
     44,
     47,
     132,
     135,
     172,
     175,
     268,
     271,
     292,
     295,
     332,
     335,
     396,
     399,
     532,
     535
    ],
    "Z": [
     46,
     47,
     134,
     135,
     174,
     175,
     270,
     271,
     294,
     295,
     334,
     335,
     398,
     399,
     534,
     535
    ]
   },
   {
    "X": [
     36,
     39,
     52,
     55,
     188,
     191,
     228,
     231,
     300,
     303,
     340,
     343,
     348,
     351,
     452,
     455
    ],
    "Z": [
     38,
     39,
     54,
     55,
     190,
     191,
     230,
     231,
     302,
     303,
     342,
     343,
     350,
     351,
     454,
     455
    ]
   },
   {
    "X": [
     44,
     47,
     60,
     63,
     148,
     151,
     236,
     239,
     308,
     311,
     348,
     351,
     356,
     359,
     460,
     463
    ],
    "Z": [
     46,
     47,
     62,
     63,
     150,
     151,
     238,
     239,
     310,
     311,
     350,
     351,
     358,
     359,
     462,
     463
    ]
   },
   {
    "X": [
     4,
     7,
     68,
     71,
     156,
     159,
     196,
     199,
     316,
     319,
     356,
     359,
     364,
     367,
     468,
     471
    ],
    "Z": [
     6,
     7,
     70,
     71,
     158,
     159,
     198,
     199,
     318,
     319,
     358,
     359,
     366,
     367,
     470,
     471
    ]
   },
   {
    "X": [
     12,
     15,
     76,
     79,
     164,
     167,
     204,
     207,
     324,
     327,
     364,
     367,
     372,
     375,
     476,
     479
    ],
    "Z": [
     14,
     15,
     78,
     79,
     166,
     167,
     206,
     207,
     326,
     327,
     366,
     367,
     374,
     375,
     478,
     479
    ]
   },
   {
    "X": [
     20,
     23,
     84,
     87,
     172,
     175,
     212,
     215,
     332,
     335,
     372,
     375,
     380,
     383,
     436,
     439
    ],
    "Z": [
     22,
     23,
     86,
     87,
     174,
     175,
     214,
     215,
     334,
     335,
     374,
     375,
     382,
     383,
     438,
     439
    ]
   },
   {
    "X": [
     28,
     31,
     92,
     95,
     180,
     183,
     220,
     223,
     292,
     295,
     340,
     343,
     380,
     383,
     444,
     447
    ],
    "Z": [
     30,
     31,
     94,
     95,
     182,
     183,
     222,
     223,
     294,
     295,
     342,
     343,
     382,
     383,
     446,
     447
    ]
   },
   {
    "X": [
     84,
     87,
     100,
     103,
     236,
     239,
     276,
     279,
     348,
     351,
     388,
     391,
     396,
     399,
     500,
     503
    ],
    "Z": [
     86,
     87,
     102,
     103,
     238,
     239,
     278,
     279,
     350,
     351,
     390,
     391,
     398,
     399,
     502,
     503
    ]
   },
   {
    "X": [
     92,
     95,
     108,
     111,
     196,
     199,
     284,
     287,
     356,
     359,
     396,
     399,
     404,
     407,
     508,
     511
    ],
    "Z": [
     94,
     95,
     110,
     111,
     198,
     199,
     286,
     287,
     358,
     359,
     398,
     399,
     406,
     407,
     510,
     511
    ]
   },
   {
    "X": [
     52,
     55,
     116,
     119,
     204,
     207,
     244,
     247,
     364,
     367,
     404,
     407,
     412,
     415,
     516,
     519
    ],
    "Z": [
     54,
     55,
     118,
     119,
     206,
     207,
     246,
     247,
     366,
     367,
     406,
     407,
     414,
     415,
     518,
     519
    ]
   },
   {
    "X": [
     60,
     63,
     124,
     127,
     212,
     215,
     252,
     255,
     372,
     375,
     412,
     415,
     420,
     423,
     524,
     527
    ],
    "Z": [
     62,
     63,
     126,
     127,
     214,
     215,
     254,
     255,
     374,
     375,
     414,
     415,
     422,
     423,
     526,
     527
    ]
   },
   {
    "X": [
     68,
     71,
     132,
     135,
     220,
     223,
     260,
     263,
     380,
     383,
     420,
     423,
     428,
     431,
     484,
     487
    ],
    "Z": [
     70,
     71,
     134,
     135,
     222,
     223,
     262,
     263,
     382,
     383,
     422,
     423,
     430,
     431,
     486,
     487
    ]
   },
   {
    "X": [
     76,
     79,
     140,
     143,
     228,
     231,
     268,
     271,
     340,
     343,
     388,
     391,
     428,
     431,
     492,
     495
    ],
    "Z": [
     78,
     79,
     142,
     143,
     230,
     231,
     270,
     271,
     342,
     343,
     390,
     391,
     430,
     431,
     494,
     495
    ]
   },
   {
    "X": [
     36,
     39,
     132,
     135,
     148,
     151,
     284,
     287,
     396,
     399,
     436,
     439,
     444,
     447,
     548,
     551
    ],
    "Z": [
     38,
     39,
     134,
     135,
     150,
     151,
     286,
     287,
     398,
     399,
     438,
     439,
     446,
     447,
     550,
     551
    ]
   },
   {
    "X": [
     44,
     47,
     140,
     143,
     156,
     159,
     244,
     247,
     404,
     407,
     444,
     447,
     452,
     455,
     556,
     559
    ],
    "Z": [
     46,
     47,
     142,
     143,
     158,
     159,
     246,
     247,
     406,
     407,
     446,
     447,
     454,
     455,
     558,
     559
    ]
   },
   {
    "X": [
     4,
     7,
     100,
     103,
     164,
     167,
     252,
     255,
     412,
     415,
     452,
     455,
     460,
     463,
     564,
     567
    ],
    "Z": [
     6,
     7,
     102,
     103,
     166,
     167,
     254,
     255,
     414,
     415,
     454,
     455,
     462,
     463,
     566,
     567
    ]
   },
   {
    "X": [
     12,
     15,
     108,
     111,
     172,
     175,
     260,
     263,
     420,
     423,
     460,
     463,
     468,
     471,
     572,
     575
    ],
    "Z": [
     14,
     15,
     110,
     111,
     174,
     175,
     262,
     263,
     422,
     423,
     462,
     463,
     470,
     471,
     574,
     575
    ]
   },
   {
    "X": [
     20,
     23,
     116,
     119,
     180,
     183,
     268,
     271,
     428,
     431,
     468,
     471,
     476,
     479,
     532,
     535
    ],
    "Z": [
     22,
     23,
     118,
     119,
     182,
     183,
     270,
     271,
     430,
     431,
     470,
     471,
     478,
     479,
     534,
     535
    ]
   },
   {
    "X": [
     28,
     31,
     124,
     127,
     188,
     191,
     276,
     279,
     388,
     391,
     436,
     439,
     476,
     479,
     540,
     543
    ],
    "Z": [
     30,
     31,
     126,
     127,
     190,
     191,
     278,
     279,
     390,
     391,
     438,
     439,
     478,
     479,
     542,
     543
    ]
   },
   {
    "X": [
     44,
     47,
     84,
     87,
     180,
     183,
     196,
     199,
     308,
     311,
     444,
     447,
     484,
     487,
     492,
     495
    ],
    "Z": [
     46,
     47,
     86,
     87,
     182,
     183,
     198,
     199,
     310,
     311,
     446,
     447,
     486,
     487,
     494,
     495
    ]
   },
   {
    "X": [
     4,
     7,
     92,
     95,
     188,
     191,
     204,
     207,
     316,
     319,
     452,
     455,
     492,
     495,
     500,
     503
    ],
    "Z": [
     6,
     7,
     94,
     95,
     190,
     191,
     206,
     207,
     318,
     319,
     454,
     455,
     494,
     495,
     502,
     503
    ]
   },
   {
    "X": [
     12,
     15,
     52,
     55,
     148,
     151,
     212,
     215,
     324,
     327,
     460,
     463,
     500,
     503,
     508,
     511
    ],
    "Z": [
     14,
     15,
     54,
     55,
     150,
     151,
     214,
     215,
     326,
     327,
     462,
     463,
     502,
     503,
     510,
     511
    ]
   },
   {
    "X": [
     20,
     23,
     60,
     63,
     156,
     159,
     220,
     223,
     332,
     335,
     468,
     471,
     508,
     511,
     516,
     519
    ],
    "Z": [
     22,
     23,
     62,
     63,
     158,
     159,
     222,
     223,
     334,
     335,
     470,
     471,
     510,
     511,
     518,
     519
    ]
   },
   {
    "X": [
     28,
     31,
     68,
     71,
     164,
     167,
     228,
     231,
     292,
     295,
     476,
     479,
     516,
     519,
     524,
     527
    ],
    "Z": [
     30,
     31,
     70,
     71,
     166,
     167,
     230,
     231,
     294,
     295,
     478,
     479,
     518,
     519,
     526,
     527
    ]
   },
   {
    "X": [
     36,
     39,
     76,
     79,
     172,
     175,
     236,
     239,
     300,
     303,
     436,
     439,
     484,
     487,
     524,
     527
    ],
    "Z": [
     38,
     39,
     78,
     79,
     174,
     175,
     238,
     239,
     302,
     303,
     438,
     439,
     486,
     487,
     526,
     527
    ]
   },
   {
    "X": [
     92,
     95,
     132,
     135,
     228,
     231,
     244,
     247,
     356,
     359,
     492,
     495,
     532,
     535,
     540,
     543
    ],
    "Z": [
     94,
     95,
     134,
     135,
     230,
     231,
     246,
     247,
     358,
     359,
     494,
     495,
     534,
     535,
     542,
     543
    ]
   },
   {
    "X": [
     52,
     55,
     140,
     143,
     236,
     239,
     252,
     255,
     364,
     367,
     500,
     503,
     540,
     543,
     548,
     551
    ],
    "Z": [
     54,
     55,
     142,
     143,
     238,
     239,
     254,
     255,
     366,
     367,
     502,
     503,
     542,
     543,
     550,
     551
    ]
   },
   {
    "X": [
     60,
     63,
     100,
     103,
     196,
     199,
     260,
     263,
     372,
     375,
     508,
     511,
     548,
     551,
     556,
     559
    ],
    "Z": [
     62,
     63,
     102,
     103,
     198,
     199,
     262,
     263,
     374,
     375,
     510,
     511,
     550,
     551,
     558,
     559
    ]
   },
   {
    "X": [
     68,
     71,
     108,
     111,
     204,
     207,
     268,
     271,
     380,
     383,
     516,
     519,
     556,
     559,
     564,
     567
    ],
    "Z": [
     70,
     71,
     110,
     111,
     206,
     207,
     270,
     271,
     382,
     383,
     518,
     519,
     558,
     559,
     566,
     567
    ]
   },
   {
    "X": [
     76,
     79,
     116,
     119,
     212,
     215,
     276,
     279,
     340,
     343,
     524,
     527,
     564,
     567,
     572,
     575
    ],
    "Z": [
     78,
     79,
     118,
     119,
     214,
     215,
     278,
     279,
     342,
     343,
     526,
     527,
     566,
     567,
     574,
     575
    ]
   },
   {
    "X": [
     84,
     87,
     124,
     127,
     220,
     223,
     284,
     287,
     348,
     351,
     484,
     487,
     532,
     535,
     572,
     575
    ],
    "Z": [
     86,
     87,
     126,
     127,
     222,
     223,
     286,
     287,
     350,
     351,
     486,
     487,
     534,
     535,
     574,
     575
    ]
   }
  ]
 },
 "distance": {
  "d": 24,
  "P": {
   "value": 24,
   "confidence": "upper_bound",
   "witness": {
    "X": [
     14,
     15,
     22,
     23,
     38,
     39,
     166,
     167,
     302,
     303,
     326,
     327,
     334,
     335,
     478,
     479
    ],
    "Z": [
     10,
     14,
     18,
     22,
     34,
     38,
     162,
     166,
     298,
     302,
     322,
     326,
     330,
     334,
     474,
     478
    ]
   },
   "witness_provenance": {
    "found_by": [
     "@MathysRennela"
    ],
    "date": "2026-10-14",
    "found_at_samples": 8000,
    "survived_samples": 8000,
    "tool": "constructed lift, then 8000-trial RIS refutation"
   }
  }
 },
 "family": "other",
 "provenance": {
  "authors": [
   "@MathysRennela"
  ],
  "origin": "submission",
  "date": "2026-10-13",
  "model": "MiMo-V2.6-Flash",
  "construction": "Concatenation of the CSS code [[72,14,8]] (codes/72-14-8.json, outer) with the non-CSS stabilizer code [[8,3,3]] (codes/8-3-3.json, inner): the finite reading of the concatenate-then-unconcatenate mechanism of arXiv:2610.04694. n = n_in*n_out, k = k_in*k_out, and d >= d_in*d_out, since a nontrivial outer logical costs at least d_out blocks at >= d_in each. Checks are the inner stabilizers on every block plus each outer check lifted through a min-weight symplectic basis of the inner logical space; the witness is the outer's own witness lifted through a weight-4 (weight-3) inner logical.",
  "search_budget": {
   "ris_trials_per_side": 2000,
   "notes": "RIS over the Pauli normalizer of the concatenated code; the lifted witness was constructed, not searched"
  },
  "notes": "Equivalence checked by the gate: no exact or WL-equivalent entry on the board, and the product is new parameters rather than a relabeling -- no block Clifford is applied, the outer checks are lifted through the inner code's logical space. The parents are board entries codes/8-3-3.json and codes/72-14-8.json; both carry upper-bound distances, so this one is inherited twice over and stays an upper bound.",
  "references": [
   "arXiv:2610.04694"
  ]
 }
}