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