{
 "schema_version": "0.4",
 "name": "[[672,28,30]] [[8,2,3]] inner x [[84,14,10]] outer concatenation",
 "code_type": "stabilizer",
 "n": 672,
 "k": 28,
 "checks": {
  "S": [
   {
    "X": [
     5,
     7
    ],
    "Z": [
     0,
     5,
     6,
     7
    ]
   },
   {
    "X": [
     4,
     6
    ],
    "Z": [
     3,
     7
    ]
   },
   {
    "X": [
     3,
     4
    ],
    "Z": [
     0,
     1,
     3,
     4
    ]
   },
   {
    "X": [
     2,
     5
    ],
    "Z": [
     1,
     7
    ]
   },
   {
    "X": [
     1
    ],
    "Z": [
     2,
     4,
     6
    ]
   },
   {
    "X": [
     0
    ],
    "Z": [
     2,
     3,
     5
    ]
   },
   {
    "X": [
     13,
     15
    ],
    "Z": [
     8,
     13,
     14,
     15
    ]
   },
   {
    "X": [
     12,
     14
    ],
    "Z": [
     11,
     15
    ]
   },
   {
    "X": [
     11,
     12
    ],
    "Z": [
     8,
     9,
     11,
     12
    ]
   },
   {
    "X": [
     10,
     13
    ],
    "Z": [
     9,
     15
    ]
   },
   {
    "X": [
     9
    ],
    "Z": [
     10,
     12,
     14
    ]
   },
   {
    "X": [
     8
    ],
    "Z": [
     10,
     11,
     13
    ]
   },
   {
    "X": [
     21,
     23
    ],
    "Z": [
     16,
     21,
     22,
     23
    ]
   },
   {
    "X": [
     20,
     22
    ],
    "Z": [
     19,
     23
    ]
   },
   {
    "X": [
     19,
     20
    ],
    "Z": [
     16,
     17,
     19,
     20
    ]
   },
   {
    "X": [
     18,
     21
    ],
    "Z": [
     17,
     23
    ]
   },
   {
    "X": [
     17
    ],
    "Z": [
     18,
     20,
     22
    ]
   },
   {
    "X": [
     16
    ],
    "Z": [
     18,
     19,
     21
    ]
   },
   {
    "X": [
     29,
     31
    ],
    "Z": [
     24,
     29,
     30,
     31
    ]
   },
   {
    "X": [
     28,
     30
    ],
    "Z": [
     27,
     31
    ]
   },
   {
    "X": [
     27,
     28
    ],
    "Z": [
     24,
     25,
     27,
     28
    ]
   },
   {
    "X": [
     26,
     29
    ],
    "Z": [
     25,
     31
    ]
   },
   {
    "X": [
     25
    ],
    "Z": [
     26,
     28,
     30
    ]
   },
   {
    "X": [
     24
    ],
    "Z": [
     26,
     27,
     29
    ]
   },
   {
    "X": [
     37,
     39
    ],
    "Z": [
     32,
     37,
     38,
     39
    ]
   },
   {
    "X": [
     36,
     38
    ],
    "Z": [
     35,
     39
    ]
   },
   {
    "X": [
     35,
     36
    ],
    "Z": [
     32,
     33,
     35,
     36
    ]
   },
   {
    "X": [
     34,
     37
    ],
    "Z": [
     33,
     39
    ]
   },
   {
    "X": [
     33
    ],
    "Z": [
     34,
     36,
     38
    ]
   },
   {
    "X": [
     32
    ],
    "Z": [
     34,
     35,
     37
    ]
   },
   {
    "X": [
     45,
     47
    ],
    "Z": [
     40,
     45,
     46,
     47
    ]
   },
   {
    "X": [
     44,
     46
    ],
    "Z": [
     43,
     47
    ]
   },
   {
    "X": [
     43,
     44
    ],
    "Z": [
     40,
     41,
     43,
     44
    ]
   },
   {
    "X": [
     42,
     45
    ],
    "Z": [
     41,
     47
    ]
   },
   {
    "X": [
     41
    ],
    "Z": [
     42,
     44,
     46
    ]
   },
   {
    "X": [
     40
    ],
    "Z": [
     42,
     43,
     45
    ]
   },
   {
    "X": [
     53,
     55
    ],
    "Z": [
     48,
     53,
     54,
     55
    ]
   },
   {
    "X": [
     52,
     54
    ],
    "Z": [
     51,
     55
    ]
   },
   {
    "X": [
     51,
     52
    ],
    "Z": [
     48,
     49,
     51,
     52
    ]
   },
   {
    "X": [
     50,
     53
    ],
    "Z": [
     49,
     55
    ]
   },
   {
    "X": [
     49
    ],
    "Z": [
     50,
     52,
     54
    ]
   },
   {
    "X": [
     48
    ],
    "Z": [
     50,
     51,
     53
    ]
   },
   {
    "X": [
     61,
     63
    ],
    "Z": [
     56,
     61,
     62,
     63
    ]
   },
   {
    "X": [
     60,
     62
    ],
    "Z": [
     59,
     63
    ]
   },
   {
    "X": [
     59,
     60
    ],
    "Z": [
     56,
     57,
     59,
     60
    ]
   },
   {
    "X": [
     58,
     61
    ],
    "Z": [
     57,
     63
    ]
   },
   {
    "X": [
     57
    ],
    "Z": [
     58,
     60,
     62
    ]
   },
   {
    "X": [
     56
    ],
    "Z": [
     58,
     59,
     61
    ]
   },
   {
    "X": [
     69,
     71
    ],
    "Z": [
     64,
     69,
     70,
     71
    ]
   },
   {
    "X": [
     68,
     70
    ],
    "Z": [
     67,
     71
    ]
   },
   {
    "X": [
     67,
     68
    ],
    "Z": [
     64,
     65,
     67,
     68
    ]
   },
   {
    "X": [
     66,
     69
    ],
    "Z": [
     65,
     71
    ]
   },
   {
    "X": [
     65
    ],
    "Z": [
     66,
     68,
     70
    ]
   },
   {
    "X": [
     64
    ],
    "Z": [
     66,
     67,
     69
    ]
   },
   {
    "X": [
     77,
     79
    ],
    "Z": [
     72,
     77,
     78,
     79
    ]
   },
   {
    "X": [
     76,
     78
    ],
    "Z": [
     75,
     79
    ]
   },
   {
    "X": [
     75,
     76
    ],
    "Z": [
     72,
     73,
     75,
     76
    ]
   },
   {
    "X": [
     74,
     77
    ],
    "Z": [
     73,
     79
    ]
   },
   {
    "X": [
     73
    ],
    "Z": [
     74,
     76,
     78
    ]
   },
   {
    "X": [
     72
    ],
    "Z": [
     74,
     75,
     77
    ]
   },
   {
    "X": [
     85,
     87
    ],
    "Z": [
     80,
     85,
     86,
     87
    ]
   },
   {
    "X": [
     84,
     86
    ],
    "Z": [
     83,
     87
    ]
   },
   {
    "X": [
     83,
     84
    ],
    "Z": [
     80,
     81,
     83,
     84
    ]
   },
   {
    "X": [
     82,
     85
    ],
    "Z": [
     81,
     87
    ]
   },
   {
    "X": [
     81
    ],
    "Z": [
     82,
     84,
     86
    ]
   },
   {
    "X": [
     80
    ],
    "Z": [
     82,
     83,
     85
    ]
   },
   {
    "X": [
     93,
     95
    ],
    "Z": [
     88,
     93,
     94,
     95
    ]
   },
   {
    "X": [
     92,
     94
    ],
    "Z": [
     91,
     95
    ]
   },
   {
    "X": [
     91,
     92
    ],
    "Z": [
     88,
     89,
     91,
     92
    ]
   },
   {
    "X": [
     90,
     93
    ],
    "Z": [
     89,
     95
    ]
   },
   {
    "X": [
     89
    ],
    "Z": [
     90,
     92,
     94
    ]
   },
   {
    "X": [
     88
    ],
    "Z": [
     90,
     91,
     93
    ]
   },
   {
    "X": [
     101,
     103
    ],
    "Z": [
     96,
     101,
     102,
     103
    ]
   },
   {
    "X": [
     100,
     102
    ],
    "Z": [
     99,
     103
    ]
   },
   {
    "X": [
     99,
     100
    ],
    "Z": [
     96,
     97,
     99,
     100
    ]
   },
   {
    "X": [
     98,
     101
    ],
    "Z": [
     97,
     103
    ]
   },
   {
    "X": [
     97
    ],
    "Z": [
     98,
     100,
     102
    ]
   },
   {
    "X": [
     96
    ],
    "Z": [
     98,
     99,
     101
    ]
   },
   {
    "X": [
     109,
     111
    ],
    "Z": [
     104,
     109,
     110,
     111
    ]
   },
   {
    "X": [
     108,
     110
    ],
    "Z": [
     107,
     111
    ]
   },
   {
    "X": [
     107,
     108
    ],
    "Z": [
     104,
     105,
     107,
     108
    ]
   },
   {
    "X": [
     106,
     109
    ],
    "Z": [
     105,
     111
    ]
   },
   {
    "X": [
     105
    ],
    "Z": [
     106,
     108,
     110
    ]
   },
   {
    "X": [
     104
    ],
    "Z": [
     106,
     107,
     109
    ]
   },
   {
    "X": [
     117,
     119
    ],
    "Z": [
     112,
     117,
     118,
     119
    ]
   },
   {
    "X": [
     116,
     118
    ],
    "Z": [
     115,
     119
    ]
   },
   {
    "X": [
     115,
     116
    ],
    "Z": [
     112,
     113,
     115,
     116
    ]
   },
   {
    "X": [
     114,
     117
    ],
    "Z": [
     113,
     119
    ]
   },
   {
    "X": [
     113
    ],
    "Z": [
     114,
     116,
     118
    ]
   },
   {
    "X": [
     112
    ],
    "Z": [
     114,
     115,
     117
    ]
   },
   {
    "X": [
     125,
     127
    ],
    "Z": [
     120,
     125,
     126,
     127
    ]
   },
   {
    "X": [
     124,
     126
    ],
    "Z": [
     123,
     127
    ]
   },
   {
    "X": [
     123,
     124
    ],
    "Z": [
     120,
     121,
     123,
     124
    ]
   },
   {
    "X": [
     122,
     125
    ],
    "Z": [
     121,
     127
    ]
   },
   {
    "X": [
     121
    ],
    "Z": [
     122,
     124,
     126
    ]
   },
   {
    "X": [
     120
    ],
    "Z": [
     122,
     123,
     125
    ]
   },
   {
    "X": [
     133,
     135
    ],
    "Z": [
     128,
     133,
     134,
     135
    ]
   },
   {
    "X": [
     132,
     134
    ],
    "Z": [
     131,
     135
    ]
   },
   {
    "X": [
     131,
     132
    ],
    "Z": [
     128,
     129,
     131,
     132
    ]
   },
   {
    "X": [
     130,
     133
    ],
    "Z": [
     129,
     135
    ]
   },
   {
    "X": [
     129
    ],
    "Z": [
     130,
     132,
     134
    ]
   },
   {
    "X": [
     128
    ],
    "Z": [
     130,
     131,
     133
    ]
   },
   {
    "X": [
     141,
     143
    ],
    "Z": [
     136,
     141,
     142,
     143
    ]
   },
   {
    "X": [
     140,
     142
    ],
    "Z": [
     139,
     143
    ]
   },
   {
    "X": [
     139,
     140
    ],
    "Z": [
     136,
     137,
     139,
     140
    ]
   },
   {
    "X": [
     138,
     141
    ],
    "Z": [
     137,
     143
    ]
   },
   {
    "X": [
     137
    ],
    "Z": [
     138,
     140,
     142
    ]
   },
   {
    "X": [
     136
    ],
    "Z": [
     138,
     139,
     141
    ]
   },
   {
    "X": [
     149,
     151
    ],
    "Z": [
     144,
     149,
     150,
     151
    ]
   },
   {
    "X": [
     148,
     150
    ],
    "Z": [
     147,
     151
    ]
   },
   {
    "X": [
     147,
     148
    ],
    "Z": [
     144,
     145,
     147,
     148
    ]
   },
   {
    "X": [
     146,
     149
    ],
    "Z": [
     145,
     151
    ]
   },
   {
    "X": [
     145
    ],
    "Z": [
     146,
     148,
     150
    ]
   },
   {
    "X": [
     144
    ],
    "Z": [
     146,
     147,
     149
    ]
   },
   {
    "X": [
     157,
     159
    ],
    "Z": [
     152,
     157,
     158,
     159
    ]
   },
   {
    "X": [
     156,
     158
    ],
    "Z": [
     155,
     159
    ]
   },
   {
    "X": [
     155,
     156
    ],
    "Z": [
     152,
     153,
     155,
     156
    ]
   },
   {
    "X": [
     154,
     157
    ],
    "Z": [
     153,
     159
    ]
   },
   {
    "X": [
     153
    ],
    "Z": [
     154,
     156,
     158
    ]
   },
   {
    "X": [
     152
    ],
    "Z": [
     154,
     155,
     157
    ]
   },
   {
    "X": [
     165,
     167
    ],
    "Z": [
     160,
     165,
     166,
     167
    ]
   },
   {
    "X": [
     164,
     166
    ],
    "Z": [
     163,
     167
    ]
   },
   {
    "X": [
     163,
     164
    ],
    "Z": [
     160,
     161,
     163,
     164
    ]
   },
   {
    "X": [
     162,
     165
    ],
    "Z": [
     161,
     167
    ]
   },
   {
    "X": [
     161
    ],
    "Z": [
     162,
     164,
     166
    ]
   },
   {
    "X": [
     160
    ],
    "Z": [
     162,
     163,
     165
    ]
   },
   {
    "X": [
     173,
     175
    ],
    "Z": [
     168,
     173,
     174,
     175
    ]
   },
   {
    "X": [
     172,
     174
    ],
    "Z": [
     171,
     175
    ]
   },
   {
    "X": [
     171,
     172
    ],
    "Z": [
     168,
     169,
     171,
     172
    ]
   },
   {
    "X": [
     170,
     173
    ],
    "Z": [
     169,
     175
    ]
   },
   {
    "X": [
     169
    ],
    "Z": [
     170,
     172,
     174
    ]
   },
   {
    "X": [
     168
    ],
    "Z": [
     170,
     171,
     173
    ]
   },
   {
    "X": [
     181,
     183
    ],
    "Z": [
     176,
     181,
     182,
     183
    ]
   },
   {
    "X": [
     180,
     182
    ],
    "Z": [
     179,
     183
    ]
   },
   {
    "X": [
     179,
     180
    ],
    "Z": [
     176,
     177,
     179,
     180
    ]
   },
   {
    "X": [
     178,
     181
    ],
    "Z": [
     177,
     183
    ]
   },
   {
    "X": [
     177
    ],
    "Z": [
     178,
     180,
     182
    ]
   },
   {
    "X": [
     176
    ],
    "Z": [
     178,
     179,
     181
    ]
   },
   {
    "X": [
     189,
     191
    ],
    "Z": [
     184,
     189,
     190,
     191
    ]
   },
   {
    "X": [
     188,
     190
    ],
    "Z": [
     187,
     191
    ]
   },
   {
    "X": [
     187,
     188
    ],
    "Z": [
     184,
     185,
     187,
     188
    ]
   },
   {
    "X": [
     186,
     189
    ],
    "Z": [
     185,
     191
    ]
   },
   {
    "X": [
     185
    ],
    "Z": [
     186,
     188,
     190
    ]
   },
   {
    "X": [
     184
    ],
    "Z": [
     186,
     187,
     189
    ]
   },
   {
    "X": [
     197,
     199
    ],
    "Z": [
     192,
     197,
     198,
     199
    ]
   },
   {
    "X": [
     196,
     198
    ],
    "Z": [
     195,
     199
    ]
   },
   {
    "X": [
     195,
     196
    ],
    "Z": [
     192,
     193,
     195,
     196
    ]
   },
   {
    "X": [
     194,
     197
    ],
    "Z": [
     193,
     199
    ]
   },
   {
    "X": [
     193
    ],
    "Z": [
     194,
     196,
     198
    ]
   },
   {
    "X": [
     192
    ],
    "Z": [
     194,
     195,
     197
    ]
   },
   {
    "X": [
     205,
     207
    ],
    "Z": [
     200,
     205,
     206,
     207
    ]
   },
   {
    "X": [
     204,
     206
    ],
    "Z": [
     203,
     207
    ]
   },
   {
    "X": [
     203,
     204
    ],
    "Z": [
     200,
     201,
     203,
     204
    ]
   },
   {
    "X": [
     202,
     205
    ],
    "Z": [
     201,
     207
    ]
   },
   {
    "X": [
     201
    ],
    "Z": [
     202,
     204,
     206
    ]
   },
   {
    "X": [
     200
    ],
    "Z": [
     202,
     203,
     205
    ]
   },
   {
    "X": [
     213,
     215
    ],
    "Z": [
     208,
     213,
     214,
     215
    ]
   },
   {
    "X": [
     212,
     214
    ],
    "Z": [
     211,
     215
    ]
   },
   {
    "X": [
     211,
     212
    ],
    "Z": [
     208,
     209,
     211,
     212
    ]
   },
   {
    "X": [
     210,
     213
    ],
    "Z": [
     209,
     215
    ]
   },
   {
    "X": [
     209
    ],
    "Z": [
     210,
     212,
     214
    ]
   },
   {
    "X": [
     208
    ],
    "Z": [
     210,
     211,
     213
    ]
   },
   {
    "X": [
     221,
     223
    ],
    "Z": [
     216,
     221,
     222,
     223
    ]
   },
   {
    "X": [
     220,
     222
    ],
    "Z": [
     219,
     223
    ]
   },
   {
    "X": [
     219,
     220
    ],
    "Z": [
     216,
     217,
     219,
     220
    ]
   },
   {
    "X": [
     218,
     221
    ],
    "Z": [
     217,
     223
    ]
   },
   {
    "X": [
     217
    ],
    "Z": [
     218,
     220,
     222
    ]
   },
   {
    "X": [
     216
    ],
    "Z": [
     218,
     219,
     221
    ]
   },
   {
    "X": [
     229,
     231
    ],
    "Z": [
     224,
     229,
     230,
     231
    ]
   },
   {
    "X": [
     228,
     230
    ],
    "Z": [
     227,
     231
    ]
   },
   {
    "X": [
     227,
     228
    ],
    "Z": [
     224,
     225,
     227,
     228
    ]
   },
   {
    "X": [
     226,
     229
    ],
    "Z": [
     225,
     231
    ]
   },
   {
    "X": [
     225
    ],
    "Z": [
     226,
     228,
     230
    ]
   },
   {
    "X": [
     224
    ],
    "Z": [
     226,
     227,
     229
    ]
   },
   {
    "X": [
     237,
     239
    ],
    "Z": [
     232,
     237,
     238,
     239
    ]
   },
   {
    "X": [
     236,
     238
    ],
    "Z": [
     235,
     239
    ]
   },
   {
    "X": [
     235,
     236
    ],
    "Z": [
     232,
     233,
     235,
     236
    ]
   },
   {
    "X": [
     234,
     237
    ],
    "Z": [
     233,
     239
    ]
   },
   {
    "X": [
     233
    ],
    "Z": [
     234,
     236,
     238
    ]
   },
   {
    "X": [
     232
    ],
    "Z": [
     234,
     235,
     237
    ]
   },
   {
    "X": [
     245,
     247
    ],
    "Z": [
     240,
     245,
     246,
     247
    ]
   },
   {
    "X": [
     244,
     246
    ],
    "Z": [
     243,
     247
    ]
   },
   {
    "X": [
     243,
     244
    ],
    "Z": [
     240,
     241,
     243,
     244
    ]
   },
   {
    "X": [
     242,
     245
    ],
    "Z": [
     241,
     247
    ]
   },
   {
    "X": [
     241
    ],
    "Z": [
     242,
     244,
     246
    ]
   },
   {
    "X": [
     240
    ],
    "Z": [
     242,
     243,
     245
    ]
   },
   {
    "X": [
     253,
     255
    ],
    "Z": [
     248,
     253,
     254,
     255
    ]
   },
   {
    "X": [
     252,
     254
    ],
    "Z": [
     251,
     255
    ]
   },
   {
    "X": [
     251,
     252
    ],
    "Z": [
     248,
     249,
     251,
     252
    ]
   },
   {
    "X": [
     250,
     253
    ],
    "Z": [
     249,
     255
    ]
   },
   {
    "X": [
     249
    ],
    "Z": [
     250,
     252,
     254
    ]
   },
   {
    "X": [
     248
    ],
    "Z": [
     250,
     251,
     253
    ]
   },
   {
    "X": [
     261,
     263
    ],
    "Z": [
     256,
     261,
     262,
     263
    ]
   },
   {
    "X": [
     260,
     262
    ],
    "Z": [
     259,
     263
    ]
   },
   {
    "X": [
     259,
     260
    ],
    "Z": [
     256,
     257,
     259,
     260
    ]
   },
   {
    "X": [
     258,
     261
    ],
    "Z": [
     257,
     263
    ]
   },
   {
    "X": [
     257
    ],
    "Z": [
     258,
     260,
     262
    ]
   },
   {
    "X": [
     256
    ],
    "Z": [
     258,
     259,
     261
    ]
   },
   {
    "X": [
     269,
     271
    ],
    "Z": [
     264,
     269,
     270,
     271
    ]
   },
   {
    "X": [
     268,
     270
    ],
    "Z": [
     267,
     271
    ]
   },
   {
    "X": [
     267,
     268
    ],
    "Z": [
     264,
     265,
     267,
     268
    ]
   },
   {
    "X": [
     266,
     269
    ],
    "Z": [
     265,
     271
    ]
   },
   {
    "X": [
     265
    ],
    "Z": [
     266,
     268,
     270
    ]
   },
   {
    "X": [
     264
    ],
    "Z": [
     266,
     267,
     269
    ]
   },
   {
    "X": [
     277,
     279
    ],
    "Z": [
     272,
     277,
     278,
     279
    ]
   },
   {
    "X": [
     276,
     278
    ],
    "Z": [
     275,
     279
    ]
   },
   {
    "X": [
     275,
     276
    ],
    "Z": [
     272,
     273,
     275,
     276
    ]
   },
   {
    "X": [
     274,
     277
    ],
    "Z": [
     273,
     279
    ]
   },
   {
    "X": [
     273
    ],
    "Z": [
     274,
     276,
     278
    ]
   },
   {
    "X": [
     272
    ],
    "Z": [
     274,
     275,
     277
    ]
   },
   {
    "X": [
     285,
     287
    ],
    "Z": [
     280,
     285,
     286,
     287
    ]
   },
   {
    "X": [
     284,
     286
    ],
    "Z": [
     283,
     287
    ]
   },
   {
    "X": [
     283,
     284
    ],
    "Z": [
     280,
     281,
     283,
     284
    ]
   },
   {
    "X": [
     282,
     285
    ],
    "Z": [
     281,
     287
    ]
   },
   {
    "X": [
     281
    ],
    "Z": [
     282,
     284,
     286
    ]
   },
   {
    "X": [
     280
    ],
    "Z": [
     282,
     283,
     285
    ]
   },
   {
    "X": [
     293,
     295
    ],
    "Z": [
     288,
     293,
     294,
     295
    ]
   },
   {
    "X": [
     292,
     294
    ],
    "Z": [
     291,
     295
    ]
   },
   {
    "X": [
     291,
     292
    ],
    "Z": [
     288,
     289,
     291,
     292
    ]
   },
   {
    "X": [
     290,
     293
    ],
    "Z": [
     289,
     295
    ]
   },
   {
    "X": [
     289
    ],
    "Z": [
     290,
     292,
     294
    ]
   },
   {
    "X": [
     288
    ],
    "Z": [
     290,
     291,
     293
    ]
   },
   {
    "X": [
     301,
     303
    ],
    "Z": [
     296,
     301,
     302,
     303
    ]
   },
   {
    "X": [
     300,
     302
    ],
    "Z": [
     299,
     303
    ]
   },
   {
    "X": [
     299,
     300
    ],
    "Z": [
     296,
     297,
     299,
     300
    ]
   },
   {
    "X": [
     298,
     301
    ],
    "Z": [
     297,
     303
    ]
   },
   {
    "X": [
     297
    ],
    "Z": [
     298,
     300,
     302
    ]
   },
   {
    "X": [
     296
    ],
    "Z": [
     298,
     299,
     301
    ]
   },
   {
    "X": [
     309,
     311
    ],
    "Z": [
     304,
     309,
     310,
     311
    ]
   },
   {
    "X": [
     308,
     310
    ],
    "Z": [
     307,
     311
    ]
   },
   {
    "X": [
     307,
     308
    ],
    "Z": [
     304,
     305,
     307,
     308
    ]
   },
   {
    "X": [
     306,
     309
    ],
    "Z": [
     305,
     311
    ]
   },
   {
    "X": [
     305
    ],
    "Z": [
     306,
     308,
     310
    ]
   },
   {
    "X": [
     304
    ],
    "Z": [
     306,
     307,
     309
    ]
   },
   {
    "X": [
     317,
     319
    ],
    "Z": [
     312,
     317,
     318,
     319
    ]
   },
   {
    "X": [
     316,
     318
    ],
    "Z": [
     315,
     319
    ]
   },
   {
    "X": [
     315,
     316
    ],
    "Z": [
     312,
     313,
     315,
     316
    ]
   },
   {
    "X": [
     314,
     317
    ],
    "Z": [
     313,
     319
    ]
   },
   {
    "X": [
     313
    ],
    "Z": [
     314,
     316,
     318
    ]
   },
   {
    "X": [
     312
    ],
    "Z": [
     314,
     315,
     317
    ]
   },
   {
    "X": [
     325,
     327
    ],
    "Z": [
     320,
     325,
     326,
     327
    ]
   },
   {
    "X": [
     324,
     326
    ],
    "Z": [
     323,
     327
    ]
   },
   {
    "X": [
     323,
     324
    ],
    "Z": [
     320,
     321,
     323,
     324
    ]
   },
   {
    "X": [
     322,
     325
    ],
    "Z": [
     321,
     327
    ]
   },
   {
    "X": [
     321
    ],
    "Z": [
     322,
     324,
     326
    ]
   },
   {
    "X": [
     320
    ],
    "Z": [
     322,
     323,
     325
    ]
   },
   {
    "X": [
     333,
     335
    ],
    "Z": [
     328,
     333,
     334,
     335
    ]
   },
   {
    "X": [
     332,
     334
    ],
    "Z": [
     331,
     335
    ]
   },
   {
    "X": [
     331,
     332
    ],
    "Z": [
     328,
     329,
     331,
     332
    ]
   },
   {
    "X": [
     330,
     333
    ],
    "Z": [
     329,
     335
    ]
   },
   {
    "X": [
     329
    ],
    "Z": [
     330,
     332,
     334
    ]
   },
   {
    "X": [
     328
    ],
    "Z": [
     330,
     331,
     333
    ]
   },
   {
    "X": [
     341,
     343
    ],
    "Z": [
     336,
     341,
     342,
     343
    ]
   },
   {
    "X": [
     340,
     342
    ],
    "Z": [
     339,
     343
    ]
   },
   {
    "X": [
     339,
     340
    ],
    "Z": [
     336,
     337,
     339,
     340
    ]
   },
   {
    "X": [
     338,
     341
    ],
    "Z": [
     337,
     343
    ]
   },
   {
    "X": [
     337
    ],
    "Z": [
     338,
     340,
     342
    ]
   },
   {
    "X": [
     336
    ],
    "Z": [
     338,
     339,
     341
    ]
   },
   {
    "X": [
     349,
     351
    ],
    "Z": [
     344,
     349,
     350,
     351
    ]
   },
   {
    "X": [
     348,
     350
    ],
    "Z": [
     347,
     351
    ]
   },
   {
    "X": [
     347,
     348
    ],
    "Z": [
     344,
     345,
     347,
     348
    ]
   },
   {
    "X": [
     346,
     349
    ],
    "Z": [
     345,
     351
    ]
   },
   {
    "X": [
     345
    ],
    "Z": [
     346,
     348,
     350
    ]
   },
   {
    "X": [
     344
    ],
    "Z": [
     346,
     347,
     349
    ]
   },
   {
    "X": [
     357,
     359
    ],
    "Z": [
     352,
     357,
     358,
     359
    ]
   },
   {
    "X": [
     356,
     358
    ],
    "Z": [
     355,
     359
    ]
   },
   {
    "X": [
     355,
     356
    ],
    "Z": [
     352,
     353,
     355,
     356
    ]
   },
   {
    "X": [
     354,
     357
    ],
    "Z": [
     353,
     359
    ]
   },
   {
    "X": [
     353
    ],
    "Z": [
     354,
     356,
     358
    ]
   },
   {
    "X": [
     352
    ],
    "Z": [
     354,
     355,
     357
    ]
   },
   {
    "X": [
     365,
     367
    ],
    "Z": [
     360,
     365,
     366,
     367
    ]
   },
   {
    "X": [
     364,
     366
    ],
    "Z": [
     363,
     367
    ]
   },
   {
    "X": [
     363,
     364
    ],
    "Z": [
     360,
     361,
     363,
     364
    ]
   },
   {
    "X": [
     362,
     365
    ],
    "Z": [
     361,
     367
    ]
   },
   {
    "X": [
     361
    ],
    "Z": [
     362,
     364,
     366
    ]
   },
   {
    "X": [
     360
    ],
    "Z": [
     362,
     363,
     365
    ]
   },
   {
    "X": [
     373,
     375
    ],
    "Z": [
     368,
     373,
     374,
     375
    ]
   },
   {
    "X": [
     372,
     374
    ],
    "Z": [
     371,
     375
    ]
   },
   {
    "X": [
     371,
     372
    ],
    "Z": [
     368,
     369,
     371,
     372
    ]
   },
   {
    "X": [
     370,
     373
    ],
    "Z": [
     369,
     375
    ]
   },
   {
    "X": [
     369
    ],
    "Z": [
     370,
     372,
     374
    ]
   },
   {
    "X": [
     368
    ],
    "Z": [
     370,
     371,
     373
    ]
   },
   {
    "X": [
     381,
     383
    ],
    "Z": [
     376,
     381,
     382,
     383
    ]
   },
   {
    "X": [
     380,
     382
    ],
    "Z": [
     379,
     383
    ]
   },
   {
    "X": [
     379,
     380
    ],
    "Z": [
     376,
     377,
     379,
     380
    ]
   },
   {
    "X": [
     378,
     381
    ],
    "Z": [
     377,
     383
    ]
   },
   {
    "X": [
     377
    ],
    "Z": [
     378,
     380,
     382
    ]
   },
   {
    "X": [
     376
    ],
    "Z": [
     378,
     379,
     381
    ]
   },
   {
    "X": [
     389,
     391
    ],
    "Z": [
     384,
     389,
     390,
     391
    ]
   },
   {
    "X": [
     388,
     390
    ],
    "Z": [
     387,
     391
    ]
   },
   {
    "X": [
     387,
     388
    ],
    "Z": [
     384,
     385,
     387,
     388
    ]
   },
   {
    "X": [
     386,
     389
    ],
    "Z": [
     385,
     391
    ]
   },
   {
    "X": [
     385
    ],
    "Z": [
     386,
     388,
     390
    ]
   },
   {
    "X": [
     384
    ],
    "Z": [
     386,
     387,
     389
    ]
   },
   {
    "X": [
     397,
     399
    ],
    "Z": [
     392,
     397,
     398,
     399
    ]
   },
   {
    "X": [
     396,
     398
    ],
    "Z": [
     395,
     399
    ]
   },
   {
    "X": [
     395,
     396
    ],
    "Z": [
     392,
     393,
     395,
     396
    ]
   },
   {
    "X": [
     394,
     397
    ],
    "Z": [
     393,
     399
    ]
   },
   {
    "X": [
     393
    ],
    "Z": [
     394,
     396,
     398
    ]
   },
   {
    "X": [
     392
    ],
    "Z": [
     394,
     395,
     397
    ]
   },
   {
    "X": [
     405,
     407
    ],
    "Z": [
     400,
     405,
     406,
     407
    ]
   },
   {
    "X": [
     404,
     406
    ],
    "Z": [
     403,
     407
    ]
   },
   {
    "X": [
     403,
     404
    ],
    "Z": [
     400,
     401,
     403,
     404
    ]
   },
   {
    "X": [
     402,
     405
    ],
    "Z": [
     401,
     407
    ]
   },
   {
    "X": [
     401
    ],
    "Z": [
     402,
     404,
     406
    ]
   },
   {
    "X": [
     400
    ],
    "Z": [
     402,
     403,
     405
    ]
   },
   {
    "X": [
     413,
     415
    ],
    "Z": [
     408,
     413,
     414,
     415
    ]
   },
   {
    "X": [
     412,
     414
    ],
    "Z": [
     411,
     415
    ]
   },
   {
    "X": [
     411,
     412
    ],
    "Z": [
     408,
     409,
     411,
     412
    ]
   },
   {
    "X": [
     410,
     413
    ],
    "Z": [
     409,
     415
    ]
   },
   {
    "X": [
     409
    ],
    "Z": [
     410,
     412,
     414
    ]
   },
   {
    "X": [
     408
    ],
    "Z": [
     410,
     411,
     413
    ]
   },
   {
    "X": [
     421,
     423
    ],
    "Z": [
     416,
     421,
     422,
     423
    ]
   },
   {
    "X": [
     420,
     422
    ],
    "Z": [
     419,
     423
    ]
   },
   {
    "X": [
     419,
     420
    ],
    "Z": [
     416,
     417,
     419,
     420
    ]
   },
   {
    "X": [
     418,
     421
    ],
    "Z": [
     417,
     423
    ]
   },
   {
    "X": [
     417
    ],
    "Z": [
     418,
     420,
     422
    ]
   },
   {
    "X": [
     416
    ],
    "Z": [
     418,
     419,
     421
    ]
   },
   {
    "X": [
     429,
     431
    ],
    "Z": [
     424,
     429,
     430,
     431
    ]
   },
   {
    "X": [
     428,
     430
    ],
    "Z": [
     427,
     431
    ]
   },
   {
    "X": [
     427,
     428
    ],
    "Z": [
     424,
     425,
     427,
     428
    ]
   },
   {
    "X": [
     426,
     429
    ],
    "Z": [
     425,
     431
    ]
   },
   {
    "X": [
     425
    ],
    "Z": [
     426,
     428,
     430
    ]
   },
   {
    "X": [
     424
    ],
    "Z": [
     426,
     427,
     429
    ]
   },
   {
    "X": [
     437,
     439
    ],
    "Z": [
     432,
     437,
     438,
     439
    ]
   },
   {
    "X": [
     436,
     438
    ],
    "Z": [
     435,
     439
    ]
   },
   {
    "X": [
     435,
     436
    ],
    "Z": [
     432,
     433,
     435,
     436
    ]
   },
   {
    "X": [
     434,
     437
    ],
    "Z": [
     433,
     439
    ]
   },
   {
    "X": [
     433
    ],
    "Z": [
     434,
     436,
     438
    ]
   },
   {
    "X": [
     432
    ],
    "Z": [
     434,
     435,
     437
    ]
   },
   {
    "X": [
     445,
     447
    ],
    "Z": [
     440,
     445,
     446,
     447
    ]
   },
   {
    "X": [
     444,
     446
    ],
    "Z": [
     443,
     447
    ]
   },
   {
    "X": [
     443,
     444
    ],
    "Z": [
     440,
     441,
     443,
     444
    ]
   },
   {
    "X": [
     442,
     445
    ],
    "Z": [
     441,
     447
    ]
   },
   {
    "X": [
     441
    ],
    "Z": [
     442,
     444,
     446
    ]
   },
   {
    "X": [
     440
    ],
    "Z": [
     442,
     443,
     445
    ]
   },
   {
    "X": [
     453,
     455
    ],
    "Z": [
     448,
     453,
     454,
     455
    ]
   },
   {
    "X": [
     452,
     454
    ],
    "Z": [
     451,
     455
    ]
   },
   {
    "X": [
     451,
     452
    ],
    "Z": [
     448,
     449,
     451,
     452
    ]
   },
   {
    "X": [
     450,
     453
    ],
    "Z": [
     449,
     455
    ]
   },
   {
    "X": [
     449
    ],
    "Z": [
     450,
     452,
     454
    ]
   },
   {
    "X": [
     448
    ],
    "Z": [
     450,
     451,
     453
    ]
   },
   {
    "X": [
     461,
     463
    ],
    "Z": [
     456,
     461,
     462,
     463
    ]
   },
   {
    "X": [
     460,
     462
    ],
    "Z": [
     459,
     463
    ]
   },
   {
    "X": [
     459,
     460
    ],
    "Z": [
     456,
     457,
     459,
     460
    ]
   },
   {
    "X": [
     458,
     461
    ],
    "Z": [
     457,
     463
    ]
   },
   {
    "X": [
     457
    ],
    "Z": [
     458,
     460,
     462
    ]
   },
   {
    "X": [
     456
    ],
    "Z": [
     458,
     459,
     461
    ]
   },
   {
    "X": [
     469,
     471
    ],
    "Z": [
     464,
     469,
     470,
     471
    ]
   },
   {
    "X": [
     468,
     470
    ],
    "Z": [
     467,
     471
    ]
   },
   {
    "X": [
     467,
     468
    ],
    "Z": [
     464,
     465,
     467,
     468
    ]
   },
   {
    "X": [
     466,
     469
    ],
    "Z": [
     465,
     471
    ]
   },
   {
    "X": [
     465
    ],
    "Z": [
     466,
     468,
     470
    ]
   },
   {
    "X": [
     464
    ],
    "Z": [
     466,
     467,
     469
    ]
   },
   {
    "X": [
     477,
     479
    ],
    "Z": [
     472,
     477,
     478,
     479
    ]
   },
   {
    "X": [
     476,
     478
    ],
    "Z": [
     475,
     479
    ]
   },
   {
    "X": [
     475,
     476
    ],
    "Z": [
     472,
     473,
     475,
     476
    ]
   },
   {
    "X": [
     474,
     477
    ],
    "Z": [
     473,
     479
    ]
   },
   {
    "X": [
     473
    ],
    "Z": [
     474,
     476,
     478
    ]
   },
   {
    "X": [
     472
    ],
    "Z": [
     474,
     475,
     477
    ]
   },
   {
    "X": [
     485,
     487
    ],
    "Z": [
     480,
     485,
     486,
     487
    ]
   },
   {
    "X": [
     484,
     486
    ],
    "Z": [
     483,
     487
    ]
   },
   {
    "X": [
     483,
     484
    ],
    "Z": [
     480,
     481,
     483,
     484
    ]
   },
   {
    "X": [
     482,
     485
    ],
    "Z": [
     481,
     487
    ]
   },
   {
    "X": [
     481
    ],
    "Z": [
     482,
     484,
     486
    ]
   },
   {
    "X": [
     480
    ],
    "Z": [
     482,
     483,
     485
    ]
   },
   {
    "X": [
     493,
     495
    ],
    "Z": [
     488,
     493,
     494,
     495
    ]
   },
   {
    "X": [
     492,
     494
    ],
    "Z": [
     491,
     495
    ]
   },
   {
    "X": [
     491,
     492
    ],
    "Z": [
     488,
     489,
     491,
     492
    ]
   },
   {
    "X": [
     490,
     493
    ],
    "Z": [
     489,
     495
    ]
   },
   {
    "X": [
     489
    ],
    "Z": [
     490,
     492,
     494
    ]
   },
   {
    "X": [
     488
    ],
    "Z": [
     490,
     491,
     493
    ]
   },
   {
    "X": [
     501,
     503
    ],
    "Z": [
     496,
     501,
     502,
     503
    ]
   },
   {
    "X": [
     500,
     502
    ],
    "Z": [
     499,
     503
    ]
   },
   {
    "X": [
     499,
     500
    ],
    "Z": [
     496,
     497,
     499,
     500
    ]
   },
   {
    "X": [
     498,
     501
    ],
    "Z": [
     497,
     503
    ]
   },
   {
    "X": [
     497
    ],
    "Z": [
     498,
     500,
     502
    ]
   },
   {
    "X": [
     496
    ],
    "Z": [
     498,
     499,
     501
    ]
   },
   {
    "X": [
     509,
     511
    ],
    "Z": [
     504,
     509,
     510,
     511
    ]
   },
   {
    "X": [
     508,
     510
    ],
    "Z": [
     507,
     511
    ]
   },
   {
    "X": [
     507,
     508
    ],
    "Z": [
     504,
     505,
     507,
     508
    ]
   },
   {
    "X": [
     506,
     509
    ],
    "Z": [
     505,
     511
    ]
   },
   {
    "X": [
     505
    ],
    "Z": [
     506,
     508,
     510
    ]
   },
   {
    "X": [
     504
    ],
    "Z": [
     506,
     507,
     509
    ]
   },
   {
    "X": [
     517,
     519
    ],
    "Z": [
     512,
     517,
     518,
     519
    ]
   },
   {
    "X": [
     516,
     518
    ],
    "Z": [
     515,
     519
    ]
   },
   {
    "X": [
     515,
     516
    ],
    "Z": [
     512,
     513,
     515,
     516
    ]
   },
   {
    "X": [
     514,
     517
    ],
    "Z": [
     513,
     519
    ]
   },
   {
    "X": [
     513
    ],
    "Z": [
     514,
     516,
     518
    ]
   },
   {
    "X": [
     512
    ],
    "Z": [
     514,
     515,
     517
    ]
   },
   {
    "X": [
     525,
     527
    ],
    "Z": [
     520,
     525,
     526,
     527
    ]
   },
   {
    "X": [
     524,
     526
    ],
    "Z": [
     523,
     527
    ]
   },
   {
    "X": [
     523,
     524
    ],
    "Z": [
     520,
     521,
     523,
     524
    ]
   },
   {
    "X": [
     522,
     525
    ],
    "Z": [
     521,
     527
    ]
   },
   {
    "X": [
     521
    ],
    "Z": [
     522,
     524,
     526
    ]
   },
   {
    "X": [
     520
    ],
    "Z": [
     522,
     523,
     525
    ]
   },
   {
    "X": [
     533,
     535
    ],
    "Z": [
     528,
     533,
     534,
     535
    ]
   },
   {
    "X": [
     532,
     534
    ],
    "Z": [
     531,
     535
    ]
   },
   {
    "X": [
     531,
     532
    ],
    "Z": [
     528,
     529,
     531,
     532
    ]
   },
   {
    "X": [
     530,
     533
    ],
    "Z": [
     529,
     535
    ]
   },
   {
    "X": [
     529
    ],
    "Z": [
     530,
     532,
     534
    ]
   },
   {
    "X": [
     528
    ],
    "Z": [
     530,
     531,
     533
    ]
   },
   {
    "X": [
     541,
     543
    ],
    "Z": [
     536,
     541,
     542,
     543
    ]
   },
   {
    "X": [
     540,
     542
    ],
    "Z": [
     539,
     543
    ]
   },
   {
    "X": [
     539,
     540
    ],
    "Z": [
     536,
     537,
     539,
     540
    ]
   },
   {
    "X": [
     538,
     541
    ],
    "Z": [
     537,
     543
    ]
   },
   {
    "X": [
     537
    ],
    "Z": [
     538,
     540,
     542
    ]
   },
   {
    "X": [
     536
    ],
    "Z": [
     538,
     539,
     541
    ]
   },
   {
    "X": [
     549,
     551
    ],
    "Z": [
     544,
     549,
     550,
     551
    ]
   },
   {
    "X": [
     548,
     550
    ],
    "Z": [
     547,
     551
    ]
   },
   {
    "X": [
     547,
     548
    ],
    "Z": [
     544,
     545,
     547,
     548
    ]
   },
   {
    "X": [
     546,
     549
    ],
    "Z": [
     545,
     551
    ]
   },
   {
    "X": [
     545
    ],
    "Z": [
     546,
     548,
     550
    ]
   },
   {
    "X": [
     544
    ],
    "Z": [
     546,
     547,
     549
    ]
   },
   {
    "X": [
     557,
     559
    ],
    "Z": [
     552,
     557,
     558,
     559
    ]
   },
   {
    "X": [
     556,
     558
    ],
    "Z": [
     555,
     559
    ]
   },
   {
    "X": [
     555,
     556
    ],
    "Z": [
     552,
     553,
     555,
     556
    ]
   },
   {
    "X": [
     554,
     557
    ],
    "Z": [
     553,
     559
    ]
   },
   {
    "X": [
     553
    ],
    "Z": [
     554,
     556,
     558
    ]
   },
   {
    "X": [
     552
    ],
    "Z": [
     554,
     555,
     557
    ]
   },
   {
    "X": [
     565,
     567
    ],
    "Z": [
     560,
     565,
     566,
     567
    ]
   },
   {
    "X": [
     564,
     566
    ],
    "Z": [
     563,
     567
    ]
   },
   {
    "X": [
     563,
     564
    ],
    "Z": [
     560,
     561,
     563,
     564
    ]
   },
   {
    "X": [
     562,
     565
    ],
    "Z": [
     561,
     567
    ]
   },
   {
    "X": [
     561
    ],
    "Z": [
     562,
     564,
     566
    ]
   },
   {
    "X": [
     560
    ],
    "Z": [
     562,
     563,
     565
    ]
   },
   {
    "X": [
     573,
     575
    ],
    "Z": [
     568,
     573,
     574,
     575
    ]
   },
   {
    "X": [
     572,
     574
    ],
    "Z": [
     571,
     575
    ]
   },
   {
    "X": [
     571,
     572
    ],
    "Z": [
     568,
     569,
     571,
     572
    ]
   },
   {
    "X": [
     570,
     573
    ],
    "Z": [
     569,
     575
    ]
   },
   {
    "X": [
     569
    ],
    "Z": [
     570,
     572,
     574
    ]
   },
   {
    "X": [
     568
    ],
    "Z": [
     570,
     571,
     573
    ]
   },
   {
    "X": [
     581,
     583
    ],
    "Z": [
     576,
     581,
     582,
     583
    ]
   },
   {
    "X": [
     580,
     582
    ],
    "Z": [
     579,
     583
    ]
   },
   {
    "X": [
     579,
     580
    ],
    "Z": [
     576,
     577,
     579,
     580
    ]
   },
   {
    "X": [
     578,
     581
    ],
    "Z": [
     577,
     583
    ]
   },
   {
    "X": [
     577
    ],
    "Z": [
     578,
     580,
     582
    ]
   },
   {
    "X": [
     576
    ],
    "Z": [
     578,
     579,
     581
    ]
   },
   {
    "X": [
     589,
     591
    ],
    "Z": [
     584,
     589,
     590,
     591
    ]
   },
   {
    "X": [
     588,
     590
    ],
    "Z": [
     587,
     591
    ]
   },
   {
    "X": [
     587,
     588
    ],
    "Z": [
     584,
     585,
     587,
     588
    ]
   },
   {
    "X": [
     586,
     589
    ],
    "Z": [
     585,
     591
    ]
   },
   {
    "X": [
     585
    ],
    "Z": [
     586,
     588,
     590
    ]
   },
   {
    "X": [
     584
    ],
    "Z": [
     586,
     587,
     589
    ]
   },
   {
    "X": [
     597,
     599
    ],
    "Z": [
     592,
     597,
     598,
     599
    ]
   },
   {
    "X": [
     596,
     598
    ],
    "Z": [
     595,
     599
    ]
   },
   {
    "X": [
     595,
     596
    ],
    "Z": [
     592,
     593,
     595,
     596
    ]
   },
   {
    "X": [
     594,
     597
    ],
    "Z": [
     593,
     599
    ]
   },
   {
    "X": [
     593
    ],
    "Z": [
     594,
     596,
     598
    ]
   },
   {
    "X": [
     592
    ],
    "Z": [
     594,
     595,
     597
    ]
   },
   {
    "X": [
     605,
     607
    ],
    "Z": [
     600,
     605,
     606,
     607
    ]
   },
   {
    "X": [
     604,
     606
    ],
    "Z": [
     603,
     607
    ]
   },
   {
    "X": [
     603,
     604
    ],
    "Z": [
     600,
     601,
     603,
     604
    ]
   },
   {
    "X": [
     602,
     605
    ],
    "Z": [
     601,
     607
    ]
   },
   {
    "X": [
     601
    ],
    "Z": [
     602,
     604,
     606
    ]
   },
   {
    "X": [
     600
    ],
    "Z": [
     602,
     603,
     605
    ]
   },
   {
    "X": [
     613,
     615
    ],
    "Z": [
     608,
     613,
     614,
     615
    ]
   },
   {
    "X": [
     612,
     614
    ],
    "Z": [
     611,
     615
    ]
   },
   {
    "X": [
     611,
     612
    ],
    "Z": [
     608,
     609,
     611,
     612
    ]
   },
   {
    "X": [
     610,
     613
    ],
    "Z": [
     609,
     615
    ]
   },
   {
    "X": [
     609
    ],
    "Z": [
     610,
     612,
     614
    ]
   },
   {
    "X": [
     608
    ],
    "Z": [
     610,
     611,
     613
    ]
   },
   {
    "X": [
     621,
     623
    ],
    "Z": [
     616,
     621,
     622,
     623
    ]
   },
   {
    "X": [
     620,
     622
    ],
    "Z": [
     619,
     623
    ]
   },
   {
    "X": [
     619,
     620
    ],
    "Z": [
     616,
     617,
     619,
     620
    ]
   },
   {
    "X": [
     618,
     621
    ],
    "Z": [
     617,
     623
    ]
   },
   {
    "X": [
     617
    ],
    "Z": [
     618,
     620,
     622
    ]
   },
   {
    "X": [
     616
    ],
    "Z": [
     618,
     619,
     621
    ]
   },
   {
    "X": [
     629,
     631
    ],
    "Z": [
     624,
     629,
     630,
     631
    ]
   },
   {
    "X": [
     628,
     630
    ],
    "Z": [
     627,
     631
    ]
   },
   {
    "X": [
     627,
     628
    ],
    "Z": [
     624,
     625,
     627,
     628
    ]
   },
   {
    "X": [
     626,
     629
    ],
    "Z": [
     625,
     631
    ]
   },
   {
    "X": [
     625
    ],
    "Z": [
     626,
     628,
     630
    ]
   },
   {
    "X": [
     624
    ],
    "Z": [
     626,
     627,
     629
    ]
   },
   {
    "X": [
     637,
     639
    ],
    "Z": [
     632,
     637,
     638,
     639
    ]
   },
   {
    "X": [
     636,
     638
    ],
    "Z": [
     635,
     639
    ]
   },
   {
    "X": [
     635,
     636
    ],
    "Z": [
     632,
     633,
     635,
     636
    ]
   },
   {
    "X": [
     634,
     637
    ],
    "Z": [
     633,
     639
    ]
   },
   {
    "X": [
     633
    ],
    "Z": [
     634,
     636,
     638
    ]
   },
   {
    "X": [
     632
    ],
    "Z": [
     634,
     635,
     637
    ]
   },
   {
    "X": [
     645,
     647
    ],
    "Z": [
     640,
     645,
     646,
     647
    ]
   },
   {
    "X": [
     644,
     646
    ],
    "Z": [
     643,
     647
    ]
   },
   {
    "X": [
     643,
     644
    ],
    "Z": [
     640,
     641,
     643,
     644
    ]
   },
   {
    "X": [
     642,
     645
    ],
    "Z": [
     641,
     647
    ]
   },
   {
    "X": [
     641
    ],
    "Z": [
     642,
     644,
     646
    ]
   },
   {
    "X": [
     640
    ],
    "Z": [
     642,
     643,
     645
    ]
   },
   {
    "X": [
     653,
     655
    ],
    "Z": [
     648,
     653,
     654,
     655
    ]
   },
   {
    "X": [
     652,
     654
    ],
    "Z": [
     651,
     655
    ]
   },
   {
    "X": [
     651,
     652
    ],
    "Z": [
     648,
     649,
     651,
     652
    ]
   },
   {
    "X": [
     650,
     653
    ],
    "Z": [
     649,
     655
    ]
   },
   {
    "X": [
     649
    ],
    "Z": [
     650,
     652,
     654
    ]
   },
   {
    "X": [
     648
    ],
    "Z": [
     650,
     651,
     653
    ]
   },
   {
    "X": [
     661,
     663
    ],
    "Z": [
     656,
     661,
     662,
     663
    ]
   },
   {
    "X": [
     660,
     662
    ],
    "Z": [
     659,
     663
    ]
   },
   {
    "X": [
     659,
     660
    ],
    "Z": [
     656,
     657,
     659,
     660
    ]
   },
   {
    "X": [
     658,
     661
    ],
    "Z": [
     657,
     663
    ]
   },
   {
    "X": [
     657
    ],
    "Z": [
     658,
     660,
     662
    ]
   },
   {
    "X": [
     656
    ],
    "Z": [
     658,
     659,
     661
    ]
   },
   {
    "X": [
     669,
     671
    ],
    "Z": [
     664,
     669,
     670,
     671
    ]
   },
   {
    "X": [
     668,
     670
    ],
    "Z": [
     667,
     671
    ]
   },
   {
    "X": [
     667,
     668
    ],
    "Z": [
     664,
     665,
     667,
     668
    ]
   },
   {
    "X": [
     666,
     669
    ],
    "Z": [
     665,
     671
    ]
   },
   {
    "X": [
     665
    ],
    "Z": [
     666,
     668,
     670
    ]
   },
   {
    "X": [
     664
    ],
    "Z": [
     666,
     667,
     669
    ]
   },
   {
    "X": [],
    "Z": [
     2,
     5,
     7,
     202,
     205,
     207,
     322,
     325,
     327,
     338,
     341,
     343,
     418,
     421,
     423,
     474,
     477,
     479,
     506,
     509,
     511,
     578,
     581,
     583
    ]
   },
   {
    "X": [],
    "Z": [
     10,
     13,
     15,
     282,
     285,
     287,
     306,
     309,
     311,
     346,
     349,
     351,
     394,
     397,
     399,
     450,
     453,
     455,
     482,
     485,
     487,
     602,
     605,
     607
    ]
   },
   {
    "X": [],
    "Z": [
     18,
     21,
     23,
     66,
     69,
     71,
     250,
     253,
     255,
     338,
     341,
     343,
     354,
     357,
     359,
     466,
     469,
     471,
     522,
     525,
     527,
     554,
     557,
     559
    ]
   },
   {
    "X": [],
    "Z": [
     26,
     29,
     31,
     242,
     245,
     247,
     258,
     261,
     263,
     362,
     365,
     367,
     370,
     373,
     375,
     418,
     421,
     423,
     618,
     621,
     623,
     626,
     629,
     631
    ]
   },
   {
    "X": [],
    "Z": [
     34,
     37,
     39,
     42,
     45,
     47,
     314,
     317,
     319,
     346,
     349,
     351,
     370,
     373,
     375,
     442,
     445,
     447,
     498,
     501,
     503,
     530,
     533,
     535
    ]
   },
   {
    "X": [],
    "Z": [
     42,
     45,
     47,
     170,
     173,
     175,
     330,
     333,
     335,
     354,
     357,
     359,
     378,
     381,
     383,
     394,
     397,
     399,
     594,
     597,
     599,
     642,
     645,
     647
    ]
   },
   {
    "X": [],
    "Z": [
     50,
     53,
     55,
     114,
     117,
     119,
     290,
     293,
     295,
     354,
     357,
     359,
     386,
     389,
     391,
     514,
     517,
     519,
     570,
     573,
     575,
     602,
     605,
     607
    ]
   },
   {
    "X": [],
    "Z": [
     2,
     5,
     7,
     58,
     61,
     63,
     298,
     301,
     303,
     362,
     365,
     367,
     394,
     397,
     399,
     410,
     413,
     415,
     466,
     469,
     471,
     650,
     653,
     655
    ]
   },
   {
    "X": [],
    "Z": [
     66,
     69,
     71,
     146,
     149,
     151,
     290,
     293,
     295,
     370,
     373,
     375,
     402,
     405,
     407,
     474,
     477,
     479,
     562,
     565,
     567,
     658,
     661,
     663
    ]
   },
   {
    "X": [],
    "Z": [
     74,
     77,
     79,
     82,
     85,
     87,
     330,
     333,
     335,
     370,
     373,
     375,
     410,
     413,
     415,
     490,
     493,
     495,
     546,
     549,
     551,
     578,
     581,
     583
    ]
   },
   {
    "X": [],
    "Z": [
     82,
     85,
     87,
     90,
     93,
     95,
     218,
     221,
     223,
     378,
     381,
     383,
     386,
     389,
     391,
     418,
     421,
     423,
     442,
     445,
     447,
     634,
     637,
     639
    ]
   },
   {
    "X": [],
    "Z": [
     90,
     93,
     95,
     226,
     229,
     231,
     266,
     269,
     271,
     354,
     357,
     359,
     426,
     429,
     431,
     450,
     453,
     455,
     538,
     541,
     543,
     666,
     669,
     671
    ]
   },
   {
    "X": [],
    "Z": [
     26,
     29,
     31,
     98,
     101,
     103,
     162,
     165,
     167,
     346,
     349,
     351,
     386,
     389,
     391,
     434,
     437,
     439,
     562,
     565,
     567,
     618,
     621,
     623
    ]
   },
   {
    "X": [],
    "Z": [
     18,
     21,
     23,
     106,
     109,
     111,
     322,
     325,
     327,
     394,
     397,
     399,
     442,
     445,
     447,
     458,
     461,
     463,
     514,
     517,
     519,
     666,
     669,
     671
    ]
   },
   {
    "X": [],
    "Z": [
     26,
     29,
     31,
     114,
     117,
     119,
     194,
     197,
     199,
     402,
     405,
     407,
     410,
     413,
     415,
     450,
     453,
     455,
     522,
     525,
     527,
     610,
     613,
     615
    ]
   },
   {
    "X": [],
    "Z": [
     90,
     93,
     95,
     122,
     125,
     127,
     130,
     133,
     135,
     338,
     341,
     343,
     410,
     413,
     415,
     458,
     461,
     463,
     538,
     541,
     543,
     594,
     597,
     599
    ]
   },
   {
    "X": [],
    "Z": [
     130,
     133,
     135,
     138,
     141,
     143,
     266,
     269,
     271,
     418,
     421,
     423,
     434,
     437,
     439,
     466,
     469,
     471,
     490,
     493,
     495,
     658,
     661,
     663
    ]
   },
   {
    "X": [],
    "Z": [
     10,
     13,
     15,
     138,
     141,
     143,
     274,
     277,
     279,
     386,
     389,
     391,
     426,
     429,
     431,
     474,
     477,
     479,
     498,
     501,
     503,
     586,
     589,
     591
    ]
   },
   {
    "X": [],
    "Z": [
     58,
     61,
     63,
     146,
     149,
     151,
     210,
     213,
     215,
     370,
     373,
     375,
     434,
     437,
     439,
     482,
     485,
     487,
     610,
     613,
     615,
     650,
     653,
     655
    ]
   },
   {
    "X": [],
    "Z": [
     50,
     53,
     55,
     66,
     69,
     71,
     154,
     157,
     159,
     426,
     429,
     431,
     442,
     445,
     447,
     490,
     493,
     495,
     506,
     509,
     511,
     562,
     565,
     567
    ]
   },
   {
    "X": [],
    "Z": [
     58,
     61,
     63,
     162,
     165,
     167,
     242,
     245,
     247,
     450,
     453,
     455,
     458,
     461,
     463,
     498,
     501,
     503,
     570,
     573,
     575,
     642,
     645,
     647
    ]
   },
   {
    "X": [],
    "Z": [
     138,
     141,
     143,
     170,
     173,
     175,
     178,
     181,
     183,
     354,
     357,
     359,
     458,
     461,
     463,
     506,
     509,
     511,
     586,
     589,
     591,
     634,
     637,
     639
    ]
   },
   {
    "X": [],
    "Z": [
     10,
     13,
     15,
     178,
     181,
     183,
     186,
     189,
     191,
     402,
     405,
     407,
     466,
     469,
     471,
     482,
     485,
     487,
     514,
     517,
     519,
     538,
     541,
     543
    ]
   },
   {
    "X": [],
    "Z": [
     34,
     37,
     39,
     186,
     189,
     191,
     306,
     309,
     311,
     434,
     437,
     439,
     474,
     477,
     479,
     522,
     525,
     527,
     546,
     549,
     551,
     626,
     629,
     631
    ]
   },
   {
    "X": [],
    "Z": [
     106,
     109,
     111,
     194,
     197,
     199,
     258,
     261,
     263,
     410,
     413,
     415,
     482,
     485,
     487,
     530,
     533,
     535,
     642,
     645,
     647,
     666,
     669,
     671
    ]
   },
   {
    "X": [],
    "Z": [
     98,
     101,
     103,
     114,
     117,
     119,
     202,
     205,
     207,
     474,
     477,
     479,
     490,
     493,
     495,
     538,
     541,
     543,
     554,
     557,
     559,
     610,
     613,
     615
    ]
   },
   {
    "X": [],
    "Z": [
     2,
     5,
     7,
     106,
     109,
     111,
     210,
     213,
     215,
     378,
     381,
     383,
     498,
     501,
     503,
     506,
     509,
     511,
     546,
     549,
     551,
     618,
     621,
     623
    ]
   },
   {
    "X": [],
    "Z": [
     186,
     189,
     191,
     218,
     221,
     223,
     226,
     229,
     231,
     386,
     389,
     391,
     506,
     509,
     511,
     554,
     557,
     559,
     626,
     629,
     631,
     658,
     661,
     663
    ]
   },
   {
    "X": [],
    "Z": [
     34,
     37,
     39,
     226,
     229,
     231,
     234,
     237,
     239,
     450,
     453,
     455,
     514,
     517,
     519,
     530,
     533,
     535,
     562,
     565,
     567,
     586,
     589,
     591
    ]
   },
   {
    "X": [],
    "Z": [
     42,
     45,
     47,
     74,
     77,
     79,
     234,
     237,
     239,
     362,
     365,
     367,
     482,
     485,
     487,
     522,
     525,
     527,
     570,
     573,
     575,
     594,
     597,
     599
    ]
   },
   {
    "X": [],
    "Z": [
     154,
     157,
     159,
     242,
     245,
     247,
     298,
     301,
     303,
     378,
     381,
     383,
     426,
     429,
     431,
     458,
     461,
     463,
     530,
     533,
     535,
     578,
     581,
     583
    ]
   },
   {
    "X": [],
    "Z": [
     146,
     149,
     151,
     162,
     165,
     167,
     250,
     253,
     255,
     522,
     525,
     527,
     538,
     541,
     543,
     586,
     589,
     591,
     602,
     605,
     607,
     642,
     645,
     647
    ]
   },
   {
    "X": [],
    "Z": [
     18,
     21,
     23,
     154,
     157,
     159,
     258,
     261,
     263,
     418,
     421,
     423,
     546,
     549,
     551,
     554,
     557,
     559,
     594,
     597,
     599,
     650,
     653,
     655
    ]
   },
   {
    "X": [],
    "Z": [
     234,
     237,
     239,
     266,
     269,
     271,
     274,
     277,
     279,
     362,
     365,
     367,
     402,
     405,
     407,
     434,
     437,
     439,
     554,
     557,
     559,
     602,
     605,
     607
    ]
   },
   {
    "X": [],
    "Z": [
     74,
     77,
     79,
     274,
     277,
     279,
     282,
     285,
     287,
     498,
     501,
     503,
     562,
     565,
     567,
     578,
     581,
     583,
     610,
     613,
     615,
     626,
     629,
     631
    ]
   },
   {
    "X": [],
    "Z": [
     82,
     85,
     87,
     122,
     125,
     127,
     282,
     285,
     287,
     394,
     397,
     399,
     530,
     533,
     535,
     570,
     573,
     575,
     618,
     621,
     623,
     634,
     637,
     639
    ]
   },
   {
    "X": [],
    "Z": [
     194,
     197,
     199,
     210,
     213,
     215,
     290,
     293,
     295,
     346,
     349,
     351,
     378,
     381,
     383,
     570,
     573,
     575,
     586,
     589,
     591,
     626,
     629,
     631
    ]
   },
   {
    "X": [],
    "Z": [
     50,
     53,
     55,
     202,
     205,
     207,
     298,
     301,
     303,
     466,
     469,
     471,
     594,
     597,
     599,
     602,
     605,
     607,
     634,
     637,
     639,
     666,
     669,
     671
    ]
   },
   {
    "X": [],
    "Z": [
     122,
     125,
     127,
     306,
     309,
     311,
     314,
     317,
     319,
     338,
     341,
     343,
     362,
     365,
     367,
     546,
     549,
     551,
     610,
     613,
     615,
     642,
     645,
     647
    ]
   },
   {
    "X": [],
    "Z": [
     130,
     133,
     135,
     170,
     173,
     175,
     314,
     317,
     319,
     442,
     445,
     447,
     578,
     581,
     583,
     618,
     621,
     623,
     650,
     653,
     655,
     658,
     661,
     663
    ]
   },
   {
    "X": [],
    "Z": [
     98,
     101,
     103,
     250,
     253,
     255,
     322,
     325,
     327,
     346,
     349,
     351,
     426,
     429,
     431,
     514,
     517,
     519,
     634,
     637,
     639,
     658,
     661,
     663
    ]
   },
   {
    "X": [],
    "Z": [
     178,
     181,
     183,
     218,
     221,
     223,
     330,
     333,
     335,
     338,
     341,
     343,
     402,
     405,
     407,
     490,
     493,
     495,
     650,
     653,
     655,
     666,
     669,
     671
    ]
   },
   {
    "X": [
     6,
     206,
     326,
     342,
     422,
     478,
     510,
     582
    ],
    "Z": [
     1,
     7,
     201,
     207,
     321,
     327,
     337,
     343,
     417,
     423,
     473,
     479,
     505,
     511,
     577,
     583
    ]
   },
   {
    "X": [
     14,
     286,
     310,
     350,
     398,
     454,
     486,
     606
    ],
    "Z": [
     9,
     15,
     281,
     287,
     305,
     311,
     345,
     351,
     393,
     399,
     449,
     455,
     481,
     487,
     601,
     607
    ]
   },
   {
    "X": [
     22,
     70,
     254,
     342,
     358,
     470,
     526,
     558
    ],
    "Z": [
     17,
     23,
     65,
     71,
     249,
     255,
     337,
     343,
     353,
     359,
     465,
     471,
     521,
     527,
     553,
     559
    ]
   },
   {
    "X": [
     30,
     246,
     262,
     366,
     374,
     422,
     622,
     630
    ],
    "Z": [
     25,
     31,
     241,
     247,
     257,
     263,
     361,
     367,
     369,
     375,
     417,
     423,
     617,
     623,
     625,
     631
    ]
   },
   {
    "X": [
     38,
     46,
     318,
     350,
     374,
     446,
     502,
     534
    ],
    "Z": [
     33,
     39,
     41,
     47,
     313,
     319,
     345,
     351,
     369,
     375,
     441,
     447,
     497,
     503,
     529,
     535
    ]
   },
   {
    "X": [
     46,
     174,
     334,
     358,
     382,
     398,
     598,
     646
    ],
    "Z": [
     41,
     47,
     169,
     175,
     329,
     335,
     353,
     359,
     377,
     383,
     393,
     399,
     593,
     599,
     641,
     647
    ]
   },
   {
    "X": [
     54,
     118,
     294,
     358,
     390,
     518,
     574,
     606
    ],
    "Z": [
     49,
     55,
     113,
     119,
     289,
     295,
     353,
     359,
     385,
     391,
     513,
     519,
     569,
     575,
     601,
     607
    ]
   },
   {
    "X": [
     6,
     62,
     302,
     366,
     398,
     414,
     470,
     654
    ],
    "Z": [
     1,
     7,
     57,
     63,
     297,
     303,
     361,
     367,
     393,
     399,
     409,
     415,
     465,
     471,
     649,
     655
    ]
   },
   {
    "X": [
     70,
     150,
     294,
     374,
     406,
     478,
     566,
     662
    ],
    "Z": [
     65,
     71,
     145,
     151,
     289,
     295,
     369,
     375,
     401,
     407,
     473,
     479,
     561,
     567,
     657,
     663
    ]
   },
   {
    "X": [
     78,
     86,
     334,
     374,
     414,
     494,
     550,
     582
    ],
    "Z": [
     73,
     79,
     81,
     87,
     329,
     335,
     369,
     375,
     409,
     415,
     489,
     495,
     545,
     551,
     577,
     583
    ]
   },
   {
    "X": [
     86,
     94,
     222,
     382,
     390,
     422,
     446,
     638
    ],
    "Z": [
     81,
     87,
     89,
     95,
     217,
     223,
     377,
     383,
     385,
     391,
     417,
     423,
     441,
     447,
     633,
     639
    ]
   },
   {
    "X": [
     94,
     230,
     270,
     358,
     430,
     454,
     542,
     670
    ],
    "Z": [
     89,
     95,
     225,
     231,
     265,
     271,
     353,
     359,
     425,
     431,
     449,
     455,
     537,
     543,
     665,
     671
    ]
   },
   {
    "X": [
     30,
     102,
     166,
     350,
     390,
     438,
     566,
     622
    ],
    "Z": [
     25,
     31,
     97,
     103,
     161,
     167,
     345,
     351,
     385,
     391,
     433,
     439,
     561,
     567,
     617,
     623
    ]
   },
   {
    "X": [
     22,
     110,
     326,
     398,
     446,
     462,
     518,
     670
    ],
    "Z": [
     17,
     23,
     105,
     111,
     321,
     327,
     393,
     399,
     441,
     447,
     457,
     463,
     513,
     519,
     665,
     671
    ]
   },
   {
    "X": [
     30,
     118,
     198,
     406,
     414,
     454,
     526,
     614
    ],
    "Z": [
     25,
     31,
     113,
     119,
     193,
     199,
     401,
     407,
     409,
     415,
     449,
     455,
     521,
     527,
     609,
     615
    ]
   },
   {
    "X": [
     94,
     126,
     134,
     342,
     414,
     462,
     542,
     598
    ],
    "Z": [
     89,
     95,
     121,
     127,
     129,
     135,
     337,
     343,
     409,
     415,
     457,
     463,
     537,
     543,
     593,
     599
    ]
   },
   {
    "X": [
     134,
     142,
     270,
     422,
     438,
     470,
     494,
     662
    ],
    "Z": [
     129,
     135,
     137,
     143,
     265,
     271,
     417,
     423,
     433,
     439,
     465,
     471,
     489,
     495,
     657,
     663
    ]
   },
   {
    "X": [
     14,
     142,
     278,
     390,
     430,
     478,
     502,
     590
    ],
    "Z": [
     9,
     15,
     137,
     143,
     273,
     279,
     385,
     391,
     425,
     431,
     473,
     479,
     497,
     503,
     585,
     591
    ]
   },
   {
    "X": [
     62,
     150,
     214,
     374,
     438,
     486,
     614,
     654
    ],
    "Z": [
     57,
     63,
     145,
     151,
     209,
     215,
     369,
     375,
     433,
     439,
     481,
     487,
     609,
     615,
     649,
     655
    ]
   },
   {
    "X": [
     54,
     70,
     158,
     430,
     446,
     494,
     510,
     566
    ],
    "Z": [
     49,
     55,
     65,
     71,
     153,
     159,
     425,
     431,
     441,
     447,
     489,
     495,
     505,
     511,
     561,
     567
    ]
   },
   {
    "X": [
     62,
     166,
     246,
     454,
     462,
     502,
     574,
     646
    ],
    "Z": [
     57,
     63,
     161,
     167,
     241,
     247,
     449,
     455,
     457,
     463,
     497,
     503,
     569,
     575,
     641,
     647
    ]
   },
   {
    "X": [
     142,
     174,
     182,
     358,
     462,
     510,
     590,
     638
    ],
    "Z": [
     137,
     143,
     169,
     175,
     177,
     183,
     353,
     359,
     457,
     463,
     505,
     511,
     585,
     591,
     633,
     639
    ]
   },
   {
    "X": [
     14,
     182,
     190,
     406,
     470,
     486,
     518,
     542
    ],
    "Z": [
     9,
     15,
     177,
     183,
     185,
     191,
     401,
     407,
     465,
     471,
     481,
     487,
     513,
     519,
     537,
     543
    ]
   },
   {
    "X": [
     38,
     190,
     310,
     438,
     478,
     526,
     550,
     630
    ],
    "Z": [
     33,
     39,
     185,
     191,
     305,
     311,
     433,
     439,
     473,
     479,
     521,
     527,
     545,
     551,
     625,
     631
    ]
   },
   {
    "X": [
     110,
     198,
     262,
     414,
     486,
     534,
     646,
     670
    ],
    "Z": [
     105,
     111,
     193,
     199,
     257,
     263,
     409,
     415,
     481,
     487,
     529,
     535,
     641,
     647,
     665,
     671
    ]
   },
   {
    "X": [
     102,
     118,
     206,
     478,
     494,
     542,
     558,
     614
    ],
    "Z": [
     97,
     103,
     113,
     119,
     201,
     207,
     473,
     479,
     489,
     495,
     537,
     543,
     553,
     559,
     609,
     615
    ]
   },
   {
    "X": [
     6,
     110,
     214,
     382,
     502,
     510,
     550,
     622
    ],
    "Z": [
     1,
     7,
     105,
     111,
     209,
     215,
     377,
     383,
     497,
     503,
     505,
     511,
     545,
     551,
     617,
     623
    ]
   },
   {
    "X": [
     190,
     222,
     230,
     390,
     510,
     558,
     630,
     662
    ],
    "Z": [
     185,
     191,
     217,
     223,
     225,
     231,
     385,
     391,
     505,
     511,
     553,
     559,
     625,
     631,
     657,
     663
    ]
   },
   {
    "X": [
     38,
     230,
     238,
     454,
     518,
     534,
     566,
     590
    ],
    "Z": [
     33,
     39,
     225,
     231,
     233,
     239,
     449,
     455,
     513,
     519,
     529,
     535,
     561,
     567,
     585,
     591
    ]
   },
   {
    "X": [
     46,
     78,
     238,
     366,
     486,
     526,
     574,
     598
    ],
    "Z": [
     41,
     47,
     73,
     79,
     233,
     239,
     361,
     367,
     481,
     487,
     521,
     527,
     569,
     575,
     593,
     599
    ]
   },
   {
    "X": [
     158,
     246,
     302,
     382,
     430,
     462,
     534,
     582
    ],
    "Z": [
     153,
     159,
     241,
     247,
     297,
     303,
     377,
     383,
     425,
     431,
     457,
     463,
     529,
     535,
     577,
     583
    ]
   },
   {
    "X": [
     150,
     166,
     254,
     526,
     542,
     590,
     606,
     646
    ],
    "Z": [
     145,
     151,
     161,
     167,
     249,
     255,
     521,
     527,
     537,
     543,
     585,
     591,
     601,
     607,
     641,
     647
    ]
   },
   {
    "X": [
     22,
     158,
     262,
     422,
     550,
     558,
     598,
     654
    ],
    "Z": [
     17,
     23,
     153,
     159,
     257,
     263,
     417,
     423,
     545,
     551,
     553,
     559,
     593,
     599,
     649,
     655
    ]
   },
   {
    "X": [
     238,
     270,
     278,
     366,
     406,
     438,
     558,
     606
    ],
    "Z": [
     233,
     239,
     265,
     271,
     273,
     279,
     361,
     367,
     401,
     407,
     433,
     439,
     553,
     559,
     601,
     607
    ]
   },
   {
    "X": [
     78,
     278,
     286,
     502,
     566,
     582,
     614,
     630
    ],
    "Z": [
     73,
     79,
     273,
     279,
     281,
     287,
     497,
     503,
     561,
     567,
     577,
     583,
     609,
     615,
     625,
     631
    ]
   },
   {
    "X": [
     86,
     126,
     286,
     398,
     534,
     574,
     622,
     638
    ],
    "Z": [
     81,
     87,
     121,
     127,
     281,
     287,
     393,
     399,
     529,
     535,
     569,
     575,
     617,
     623,
     633,
     639
    ]
   },
   {
    "X": [
     198,
     214,
     294,
     350,
     382,
     574,
     590,
     630
    ],
    "Z": [
     193,
     199,
     209,
     215,
     289,
     295,
     345,
     351,
     377,
     383,
     569,
     575,
     585,
     591,
     625,
     631
    ]
   },
   {
    "X": [
     54,
     206,
     302,
     470,
     598,
     606,
     638,
     670
    ],
    "Z": [
     49,
     55,
     201,
     207,
     297,
     303,
     465,
     471,
     593,
     599,
     601,
     607,
     633,
     639,
     665,
     671
    ]
   },
   {
    "X": [
     126,
     310,
     318,
     342,
     366,
     550,
     614,
     646
    ],
    "Z": [
     121,
     127,
     305,
     311,
     313,
     319,
     337,
     343,
     361,
     367,
     545,
     551,
     609,
     615,
     641,
     647
    ]
   },
   {
    "X": [
     134,
     174,
     318,
     446,
     582,
     622,
     654,
     662
    ],
    "Z": [
     129,
     135,
     169,
     175,
     313,
     319,
     441,
     447,
     577,
     583,
     617,
     623,
     649,
     655,
     657,
     663
    ]
   },
   {
    "X": [
     102,
     254,
     326,
     350,
     430,
     518,
     638,
     662
    ],
    "Z": [
     97,
     103,
     249,
     255,
     321,
     327,
     345,
     351,
     425,
     431,
     513,
     519,
     633,
     639,
     657,
     663
    ]
   },
   {
    "X": [
     182,
     222,
     334,
     342,
     406,
     494,
     654,
     670
    ],
    "Z": [
     177,
     183,
     217,
     223,
     329,
     335,
     337,
     343,
     401,
     407,
     489,
     495,
     649,
     655,
     665,
     671
    ]
   },
   {
    "X": [
     7,
     23,
     127,
     311,
     335,
     343,
     399,
     551
    ],
    "Z": [
     5,
     6,
     21,
     22,
     125,
     126,
     309,
     310,
     333,
     334,
     341,
     342,
     397,
     398,
     549,
     550
    ]
   },
   {
    "X": [
     15,
     39,
     103,
     295,
     327,
     351,
     479,
     519
    ],
    "Z": [
     13,
     14,
     37,
     38,
     101,
     102,
     293,
     294,
     325,
     326,
     349,
     350,
     477,
     478,
     517,
     518
    ]
   },
   {
    "X": [
     23,
     47,
     55,
     95,
     175,
     359,
     447,
     599
    ],
    "Z": [
     21,
     22,
     45,
     46,
     53,
     54,
     93,
     94,
     173,
     174,
     357,
     358,
     445,
     446,
     597,
     598
    ]
   },
   {
    "X": [
     31,
     63,
     239,
     271,
     311,
     367,
     439,
     455
    ],
    "Z": [
     29,
     30,
     61,
     62,
     237,
     238,
     269,
     270,
     309,
     310,
     365,
     366,
     437,
     438,
     453,
     454
    ]
   },
   {
    "X": [
     31,
     39,
     71,
     79,
     151,
     375,
     527,
     567
    ],
    "Z": [
     29,
     30,
     37,
     38,
     69,
     70,
     77,
     78,
     149,
     150,
     373,
     374,
     525,
     526,
     565,
     566
    ]
   },
   {
    "X": [
     47,
     87,
     215,
     247,
     295,
     375,
     383,
     575
    ],
    "Z": [
     45,
     46,
     85,
     86,
     213,
     214,
     245,
     246,
     293,
     294,
     373,
     374,
     381,
     382,
     573,
     574
    ]
   },
   {
    "X": [
     55,
     87,
     103,
     143,
     223,
     391,
     495,
     639
    ],
    "Z": [
     53,
     54,
     85,
     86,
     101,
     102,
     141,
     142,
     221,
     222,
     389,
     390,
     493,
     494,
     637,
     638
    ]
   },
   {
    "X": [
     15,
     47,
     63,
     111,
     287,
     399,
     487,
     503
    ],
    "Z": [
     13,
     14,
     45,
     46,
     61,
     62,
     109,
     110,
     285,
     286,
     397,
     398,
     485,
     486,
     501,
     502
    ]
   },
   {
    "X": [
     71,
     119,
     183,
     271,
     335,
     359,
     407,
     495
    ],
    "Z": [
     69,
     70,
     117,
     118,
     181,
     182,
     269,
     270,
     333,
     334,
     357,
     358,
     405,
     406,
     493,
     494
    ]
   },
   {
    "X": [
     63,
     79,
     119,
     127,
     199,
     415,
     575,
     615
    ],
    "Z": [
     61,
     62,
     77,
     78,
     117,
     118,
     125,
     126,
     197,
     198,
     413,
     414,
     573,
     574,
     613,
     614
    ]
   },
   {
    "X": [
     7,
     31,
     87,
     135,
     263,
     415,
     423,
     623
    ],
    "Z": [
     5,
     6,
     29,
     30,
     85,
     86,
     133,
     134,
     261,
     262,
     413,
     414,
     421,
     422,
     621,
     622
    ]
   },
   {
    "X": [
     95,
     143,
     159,
     247,
     327,
     423,
     431,
     463
    ],
    "Z": [
     93,
     94,
     141,
     142,
     157,
     158,
     245,
     246,
     325,
     326,
     421,
     422,
     429,
     430,
     461,
     462
    ]
   },
   {
    "X": [
     103,
     135,
     151,
     191,
     271,
     439,
     543,
     663
    ],
    "Z": [
     101,
     102,
     133,
     134,
     149,
     150,
     189,
     190,
     269,
     270,
     437,
     438,
     541,
     542,
     661,
     662
    ]
   },
   {
    "X": [
     39,
     87,
     111,
     159,
     319,
     447,
     535,
     551
    ],
    "Z": [
     37,
     38,
     85,
     86,
     109,
     110,
     157,
     158,
     317,
     318,
     445,
     446,
     533,
     534,
     549,
     550
    ]
   },
   {
    "X": [
     15,
     95,
     119,
     167,
     231,
     391,
     455,
     543
    ],
    "Z": [
     13,
     14,
     93,
     94,
     117,
     118,
     165,
     166,
     229,
     230,
     389,
     390,
     453,
     454,
     541,
     542
    ]
   },
   {
    "X": [
     111,
     127,
     167,
     175,
     247,
     463,
     623,
     647
    ],
    "Z": [
     109,
     110,
     125,
     126,
     165,
     166,
     173,
     174,
     245,
     246,
     461,
     462,
     621,
     622,
     645,
     646
    ]
   },
   {
    "X": [
     23,
     63,
     135,
     183,
     303,
     463,
     471,
     655
    ],
    "Z": [
     21,
     22,
     61,
     62,
     133,
     134,
     181,
     182,
     301,
     302,
     461,
     462,
     469,
     470,
     653,
     654
    ]
   },
   {
    "X": [
     7,
     71,
     143,
     191,
     207,
     471,
     479,
     511
    ],
    "Z": [
     5,
     6,
     69,
     70,
     141,
     142,
     189,
     190,
     205,
     206,
     469,
     470,
     477,
     478,
     509,
     510
    ]
   },
   {
    "X": [
     15,
     151,
     183,
     199,
     239,
     407,
     487,
     591
    ],
    "Z": [
     13,
     14,
     149,
     150,
     181,
     182,
     197,
     198,
     237,
     238,
     405,
     406,
     485,
     486,
     589,
     590
    ]
   },
   {
    "X": [
     79,
     135,
     159,
     207,
     335,
     495,
     583,
     599
    ],
    "Z": [
     77,
     78,
     133,
     134,
     157,
     158,
     205,
     206,
     333,
     334,
     493,
     494,
     581,
     582,
     597,
     598
    ]
   },
   {
    "X": [
     39,
     143,
     167,
     215,
     279,
     439,
     503,
     591
    ],
    "Z": [
     37,
     38,
     141,
     142,
     165,
     166,
     213,
     214,
     277,
     278,
     437,
     438,
     501,
     502,
     589,
     590
    ]
   },
   {
    "X": [
     7,
     159,
     175,
     215,
     223,
     383,
     511,
     655
    ],
    "Z": [
     5,
     6,
     157,
     158,
     173,
     174,
     213,
     214,
     221,
     222,
     381,
     382,
     509,
     510,
     653,
     654
    ]
   },
   {
    "X": [
     55,
     111,
     183,
     231,
     327,
     511,
     519,
     671
    ],
    "Z": [
     53,
     54,
     109,
     110,
     181,
     182,
     229,
     230,
     325,
     326,
     509,
     510,
     517,
     518,
     669,
     670
    ]
   },
   {
    "X": [
     23,
     119,
     191,
     239,
     255,
     519,
     527,
     559
    ],
    "Z": [
     21,
     22,
     117,
     118,
     189,
     190,
     237,
     238,
     253,
     254,
     517,
     518,
     525,
     526,
     557,
     558
    ]
   },
   {
    "X": [
     39,
     199,
     231,
     247,
     287,
     455,
     535,
     631
    ],
    "Z": [
     37,
     38,
     197,
     198,
     229,
     230,
     245,
     246,
     285,
     286,
     453,
     454,
     533,
     534,
     629,
     630
    ]
   },
   {
    "X": [
     95,
     127,
     183,
     207,
     255,
     343,
     543,
     639
    ],
    "Z": [
     93,
     94,
     125,
     126,
     181,
     182,
     205,
     206,
     253,
     254,
     341,
     342,
     541,
     542,
     637,
     638
    ]
   },
   {
    "X": [
     79,
     191,
     215,
     263,
     311,
     487,
     551,
     631
    ],
    "Z": [
     77,
     78,
     189,
     190,
     213,
     214,
     261,
     262,
     309,
     310,
     485,
     486,
     549,
     550,
     629,
     630
    ]
   },
   {
    "X": [
     23,
     207,
     223,
     263,
     271,
     423,
     559,
     671
    ],
    "Z": [
     21,
     22,
     205,
     206,
     221,
     222,
     261,
     262,
     269,
     270,
     421,
     422,
     557,
     558,
     669,
     670
    ]
   },
   {
    "X": [
     71,
     103,
     159,
     231,
     279,
     431,
     559,
     567
    ],
    "Z": [
     69,
     70,
     101,
     102,
     157,
     158,
     229,
     230,
     277,
     278,
     429,
     430,
     557,
     558,
     565,
     566
    ]
   },
   {
    "X": [
     55,
     167,
     239,
     287,
     295,
     567,
     575,
     607
    ],
    "Z": [
     53,
     54,
     165,
     166,
     237,
     238,
     285,
     286,
     293,
     294,
     565,
     566,
     573,
     574,
     605,
     606
    ]
   },
   {
    "X": [
     7,
     79,
     247,
     279,
     319,
     367,
     503,
     583
    ],
    "Z": [
     5,
     6,
     77,
     78,
     245,
     246,
     277,
     278,
     317,
     318,
     365,
     366,
     501,
     502,
     581,
     582
    ]
   },
   {
    "X": [
     143,
     175,
     231,
     255,
     295,
     359,
     591,
     663
    ],
    "Z": [
     141,
     142,
     173,
     174,
     229,
     230,
     253,
     254,
     293,
     294,
     357,
     358,
     589,
     590,
     661,
     662
    ]
   },
   {
    "X": [
     47,
     127,
     239,
     263,
     303,
     367,
     535,
     599
    ],
    "Z": [
     45,
     46,
     125,
     126,
     237,
     238,
     261,
     262,
     301,
     302,
     365,
     366,
     533,
     534,
     597,
     598
    ]
   },
   {
    "X": [
     15,
     55,
     255,
     271,
     303,
     431,
     471,
     607
    ],
    "Z": [
     13,
     14,
     53,
     54,
     253,
     254,
     269,
     270,
     301,
     302,
     429,
     430,
     469,
     470,
     605,
     606
    ]
   },
   {
    "X": [
     119,
     151,
     207,
     279,
     311,
     479,
     607,
     615
    ],
    "Z": [
     117,
     118,
     149,
     150,
     205,
     206,
     277,
     278,
     309,
     310,
     477,
     478,
     605,
     606,
     613,
     614
    ]
   },
   {
    "X": [
     31,
     103,
     215,
     287,
     319,
     351,
     615,
     623
    ],
    "Z": [
     29,
     30,
     101,
     102,
     213,
     214,
     285,
     286,
     317,
     318,
     349,
     350,
     613,
     614,
     621,
     622
    ]
   },
   {
    "X": [
     31,
     191,
     223,
     279,
     295,
     391,
     407,
     631
    ],
    "Z": [
     29,
     30,
     189,
     190,
     221,
     222,
     277,
     278,
     293,
     294,
     389,
     390,
     405,
     406,
     629,
     630
    ]
   },
   {
    "X": [
     87,
     175,
     287,
     303,
     327,
     399,
     583,
     639
    ],
    "Z": [
     85,
     86,
     173,
     174,
     285,
     286,
     301,
     302,
     325,
     326,
     397,
     398,
     581,
     582,
     637,
     638
    ]
   },
   {
    "X": [
     47,
     167,
     199,
     255,
     311,
     351,
     527,
     647
    ],
    "Z": [
     45,
     46,
     165,
     166,
     197,
     198,
     253,
     254,
     309,
     310,
     349,
     350,
     525,
     526,
     645,
     646
    ]
   },
   {
    "X": [
     63,
     151,
     263,
     319,
     335,
     375,
     647,
     655
    ],
    "Z": [
     61,
     62,
     149,
     150,
     261,
     262,
     317,
     318,
     333,
     334,
     373,
     374,
     645,
     646,
     653,
     654
    ]
   },
   {
    "X": [
     71,
     135,
     223,
     319,
     327,
     343,
     447,
     663
    ],
    "Z": [
     69,
     70,
     133,
     134,
     221,
     222,
     317,
     318,
     325,
     326,
     341,
     342,
     445,
     446,
     661,
     662
    ]
   },
   {
    "X": [
     95,
     111,
     199,
     303,
     335,
     383,
     415,
     671
    ],
    "Z": [
     93,
     94,
     109,
     110,
     197,
     198,
     301,
     302,
     333,
     334,
     381,
     382,
     413,
     414,
     669,
     670
    ]
   },
   {
    "X": [],
    "Z": [
     3,
     4,
     6,
     19,
     20,
     22,
     123,
     124,
     126,
     307,
     308,
     310,
     331,
     332,
     334,
     339,
     340,
     342,
     395,
     396,
     398,
     547,
     548,
     550
    ]
   },
   {
    "X": [],
    "Z": [
     11,
     12,
     14,
     35,
     36,
     38,
     99,
     100,
     102,
     291,
     292,
     294,
     323,
     324,
     326,
     347,
     348,
     350,
     475,
     476,
     478,
     515,
     516,
     518
    ]
   },
   {
    "X": [],
    "Z": [
     19,
     20,
     22,
     43,
     44,
     46,
     51,
     52,
     54,
     91,
     92,
     94,
     171,
     172,
     174,
     355,
     356,
     358,
     443,
     444,
     446,
     595,
     596,
     598
    ]
   },
   {
    "X": [],
    "Z": [
     27,
     28,
     30,
     59,
     60,
     62,
     235,
     236,
     238,
     267,
     268,
     270,
     307,
     308,
     310,
     363,
     364,
     366,
     435,
     436,
     438,
     451,
     452,
     454
    ]
   },
   {
    "X": [],
    "Z": [
     27,
     28,
     30,
     35,
     36,
     38,
     67,
     68,
     70,
     75,
     76,
     78,
     147,
     148,
     150,
     371,
     372,
     374,
     523,
     524,
     526,
     563,
     564,
     566
    ]
   },
   {
    "X": [],
    "Z": [
     43,
     44,
     46,
     83,
     84,
     86,
     211,
     212,
     214,
     243,
     244,
     246,
     291,
     292,
     294,
     371,
     372,
     374,
     379,
     380,
     382,
     571,
     572,
     574
    ]
   },
   {
    "X": [],
    "Z": [
     51,
     52,
     54,
     83,
     84,
     86,
     99,
     100,
     102,
     139,
     140,
     142,
     219,
     220,
     222,
     387,
     388,
     390,
     491,
     492,
     494,
     635,
     636,
     638
    ]
   },
   {
    "X": [],
    "Z": [
     11,
     12,
     14,
     43,
     44,
     46,
     59,
     60,
     62,
     107,
     108,
     110,
     283,
     284,
     286,
     395,
     396,
     398,
     483,
     484,
     486,
     499,
     500,
     502
    ]
   },
   {
    "X": [],
    "Z": [
     67,
     68,
     70,
     115,
     116,
     118,
     179,
     180,
     182,
     267,
     268,
     270,
     331,
     332,
     334,
     355,
     356,
     358,
     403,
     404,
     406,
     491,
     492,
     494
    ]
   },
   {
    "X": [],
    "Z": [
     59,
     60,
     62,
     75,
     76,
     78,
     115,
     116,
     118,
     123,
     124,
     126,
     195,
     196,
     198,
     411,
     412,
     414,
     571,
     572,
     574,
     611,
     612,
     614
    ]
   },
   {
    "X": [],
    "Z": [
     3,
     4,
     6,
     27,
     28,
     30,
     83,
     84,
     86,
     131,
     132,
     134,
     259,
     260,
     262,
     411,
     412,
     414,
     419,
     420,
     422,
     619,
     620,
     622
    ]
   },
   {
    "X": [],
    "Z": [
     91,
     92,
     94,
     139,
     140,
     142,
     155,
     156,
     158,
     243,
     244,
     246,
     323,
     324,
     326,
     419,
     420,
     422,
     427,
     428,
     430,
     459,
     460,
     462
    ]
   },
   {
    "X": [],
    "Z": [
     99,
     100,
     102,
     131,
     132,
     134,
     147,
     148,
     150,
     187,
     188,
     190,
     267,
     268,
     270,
     435,
     436,
     438,
     539,
     540,
     542,
     659,
     660,
     662
    ]
   },
   {
    "X": [],
    "Z": [
     35,
     36,
     38,
     83,
     84,
     86,
     107,
     108,
     110,
     155,
     156,
     158,
     315,
     316,
     318,
     443,
     444,
     446,
     531,
     532,
     534,
     547,
     548,
     550
    ]
   },
   {
    "X": [],
    "Z": [
     11,
     12,
     14,
     91,
     92,
     94,
     115,
     116,
     118,
     163,
     164,
     166,
     227,
     228,
     230,
     387,
     388,
     390,
     451,
     452,
     454,
     539,
     540,
     542
    ]
   },
   {
    "X": [],
    "Z": [
     107,
     108,
     110,
     123,
     124,
     126,
     163,
     164,
     166,
     171,
     172,
     174,
     243,
     244,
     246,
     459,
     460,
     462,
     619,
     620,
     622,
     643,
     644,
     646
    ]
   },
   {
    "X": [],
    "Z": [
     19,
     20,
     22,
     59,
     60,
     62,
     131,
     132,
     134,
     179,
     180,
     182,
     299,
     300,
     302,
     459,
     460,
     462,
     467,
     468,
     470,
     651,
     652,
     654
    ]
   },
   {
    "X": [],
    "Z": [
     3,
     4,
     6,
     67,
     68,
     70,
     139,
     140,
     142,
     187,
     188,
     190,
     203,
     204,
     206,
     467,
     468,
     470,
     475,
     476,
     478,
     507,
     508,
     510
    ]
   },
   {
    "X": [],
    "Z": [
     11,
     12,
     14,
     147,
     148,
     150,
     179,
     180,
     182,
     195,
     196,
     198,
     235,
     236,
     238,
     403,
     404,
     406,
     483,
     484,
     486,
     587,
     588,
     590
    ]
   },
   {
    "X": [],
    "Z": [
     75,
     76,
     78,
     131,
     132,
     134,
     155,
     156,
     158,
     203,
     204,
     206,
     331,
     332,
     334,
     491,
     492,
     494,
     579,
     580,
     582,
     595,
     596,
     598
    ]
   },
   {
    "X": [],
    "Z": [
     35,
     36,
     38,
     139,
     140,
     142,
     163,
     164,
     166,
     211,
     212,
     214,
     275,
     276,
     278,
     435,
     436,
     438,
     499,
     500,
     502,
     587,
     588,
     590
    ]
   },
   {
    "X": [],
    "Z": [
     3,
     4,
     6,
     155,
     156,
     158,
     171,
     172,
     174,
     211,
     212,
     214,
     219,
     220,
     222,
     379,
     380,
     382,
     507,
     508,
     510,
     651,
     652,
     654
    ]
   },
   {
    "X": [],
    "Z": [
     51,
     52,
     54,
     107,
     108,
     110,
     179,
     180,
     182,
     227,
     228,
     230,
     323,
     324,
     326,
     507,
     508,
     510,
     515,
     516,
     518,
     667,
     668,
     670
    ]
   },
   {
    "X": [],
    "Z": [
     19,
     20,
     22,
     115,
     116,
     118,
     187,
     188,
     190,
     235,
     236,
     238,
     251,
     252,
     254,
     515,
     516,
     518,
     523,
     524,
     526,
     555,
     556,
     558
    ]
   },
   {
    "X": [],
    "Z": [
     35,
     36,
     38,
     195,
     196,
     198,
     227,
     228,
     230,
     243,
     244,
     246,
     283,
     284,
     286,
     451,
     452,
     454,
     531,
     532,
     534,
     627,
     628,
     630
    ]
   },
   {
    "X": [],
    "Z": [
     91,
     92,
     94,
     123,
     124,
     126,
     179,
     180,
     182,
     203,
     204,
     206,
     251,
     252,
     254,
     339,
     340,
     342,
     539,
     540,
     542,
     635,
     636,
     638
    ]
   },
   {
    "X": [],
    "Z": [
     75,
     76,
     78,
     187,
     188,
     190,
     211,
     212,
     214,
     259,
     260,
     262,
     307,
     308,
     310,
     483,
     484,
     486,
     547,
     548,
     550,
     627,
     628,
     630
    ]
   },
   {
    "X": [],
    "Z": [
     19,
     20,
     22,
     203,
     204,
     206,
     219,
     220,
     222,
     259,
     260,
     262,
     267,
     268,
     270,
     419,
     420,
     422,
     555,
     556,
     558,
     667,
     668,
     670
    ]
   },
   {
    "X": [],
    "Z": [
     67,
     68,
     70,
     99,
     100,
     102,
     155,
     156,
     158,
     227,
     228,
     230,
     275,
     276,
     278,
     427,
     428,
     430,
     555,
     556,
     558,
     563,
     564,
     566
    ]
   },
   {
    "X": [],
    "Z": [
     51,
     52,
     54,
     163,
     164,
     166,
     235,
     236,
     238,
     283,
     284,
     286,
     291,
     292,
     294,
     563,
     564,
     566,
     571,
     572,
     574,
     603,
     604,
     606
    ]
   },
   {
    "X": [],
    "Z": [
     3,
     4,
     6,
     75,
     76,
     78,
     243,
     244,
     246,
     275,
     276,
     278,
     315,
     316,
     318,
     363,
     364,
     366,
     499,
     500,
     502,
     579,
     580,
     582
    ]
   },
   {
    "X": [],
    "Z": [
     139,
     140,
     142,
     171,
     172,
     174,
     227,
     228,
     230,
     251,
     252,
     254,
     291,
     292,
     294,
     355,
     356,
     358,
     587,
     588,
     590,
     659,
     660,
     662
    ]
   },
   {
    "X": [],
    "Z": [
     43,
     44,
     46,
     123,
     124,
     126,
     235,
     236,
     238,
     259,
     260,
     262,
     299,
     300,
     302,
     363,
     364,
     366,
     531,
     532,
     534,
     595,
     596,
     598
    ]
   },
   {
    "X": [],
    "Z": [
     11,
     12,
     14,
     51,
     52,
     54,
     251,
     252,
     254,
     267,
     268,
     270,
     299,
     300,
     302,
     427,
     428,
     430,
     467,
     468,
     470,
     603,
     604,
     606
    ]
   },
   {
    "X": [],
    "Z": [
     115,
     116,
     118,
     147,
     148,
     150,
     203,
     204,
     206,
     275,
     276,
     278,
     307,
     308,
     310,
     475,
     476,
     478,
     603,
     604,
     606,
     611,
     612,
     614
    ]
   },
   {
    "X": [],
    "Z": [
     27,
     28,
     30,
     99,
     100,
     102,
     211,
     212,
     214,
     283,
     284,
     286,
     315,
     316,
     318,
     347,
     348,
     350,
     611,
     612,
     614,
     619,
     620,
     622
    ]
   },
   {
    "X": [],
    "Z": [
     27,
     28,
     30,
     187,
     188,
     190,
     219,
     220,
     222,
     275,
     276,
     278,
     291,
     292,
     294,
     387,
     388,
     390,
     403,
     404,
     406,
     627,
     628,
     630
    ]
   },
   {
    "X": [],
    "Z": [
     83,
     84,
     86,
     171,
     172,
     174,
     283,
     284,
     286,
     299,
     300,
     302,
     323,
     324,
     326,
     395,
     396,
     398,
     579,
     580,
     582,
     635,
     636,
     638
    ]
   },
   {
    "X": [],
    "Z": [
     43,
     44,
     46,
     163,
     164,
     166,
     195,
     196,
     198,
     251,
     252,
     254,
     307,
     308,
     310,
     347,
     348,
     350,
     523,
     524,
     526,
     643,
     644,
     646
    ]
   },
   {
    "X": [],
    "Z": [
     59,
     60,
     62,
     147,
     148,
     150,
     259,
     260,
     262,
     315,
     316,
     318,
     331,
     332,
     334,
     371,
     372,
     374,
     643,
     644,
     646,
     651,
     652,
     654
    ]
   },
   {
    "X": [],
    "Z": [
     67,
     68,
     70,
     131,
     132,
     134,
     219,
     220,
     222,
     315,
     316,
     318,
     323,
     324,
     326,
     339,
     340,
     342,
     443,
     444,
     446,
     659,
     660,
     662
    ]
   },
   {
    "X": [],
    "Z": [
     91,
     92,
     94,
     107,
     108,
     110,
     195,
     196,
     198,
     299,
     300,
     302,
     331,
     332,
     334,
     379,
     380,
     382,
     411,
     412,
     414,
     667,
     668,
     670
    ]
   }
  ]
 },
 "distance": {
  "d": 30,
  "P": {
   "value": 30,
   "confidence": "upper_bound",
   "witness": {
    "X": [],
    "Z": [
     18,
     21,
     23,
     58,
     61,
     63,
     90,
     93,
     95,
     146,
     149,
     151,
     306,
     309,
     311,
     410,
     413,
     415,
     418,
     421,
     423,
     482,
     485,
     487,
     522,
     525,
     527,
     538,
     541,
     543
    ]
   },
   "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 [[84,14,10]] (codes/84-14-10.json, outer) with the non-CSS stabilizer code [[8,2,3]] (codes/8-2-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-3 (weight-3) inner logical.",
  "search_budget": {
   "ris_trials_per_side": 0,
   "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-2-3.json and codes/84-14-10.json; both carry upper-bound distances, so this one is inherited twice over and stays an upper bound.",
  "references": [
   "arXiv:2610.04694"
  ]
 }
}