{
 "rule": "SEDAPS three-queue played-turn rule, sedaps-core-v0-2.js",
 "claim": "Each endpoint x is reached at turn t from a 17-17-17 deal, has exactly four legal predecessors, and every one of them is reached at turn t-1 from some 17-17-17 deal.",
 "certificates": [
  {
   "source": "seeded search game 1028",
   "t": 32,
   "endpoint": [
    [
     33,
     11,
     28,
     51,
     49,
     45,
     50,
     5,
     20,
     31,
     8,
     10,
     48,
     35,
     47,
     25,
     21,
     2
    ],
    [],
    [
     41,
     12,
     14,
     36,
     27,
     4,
     43,
     38,
     40,
     44,
     39,
     19,
     34,
     24,
     3,
     46,
     37,
     29,
     23,
     1,
     15,
     30,
     18,
     0,
     22,
     9,
     13,
     42,
     32,
     26,
     17,
     16,
     6
    ]
   ],
   "branches": [
    {
     "bits": "00",
     "predecessor": [
      [
       6,
       33,
       11,
       28,
       51,
       49,
       45,
       50,
       5,
       20,
       31,
       8,
       10,
       48,
       35,
       47,
       25,
       21,
       2
      ],
      [],
      [
       16,
       41,
       12,
       14,
       36,
       27,
       4,
       43,
       38,
       40,
       44,
       39,
       19,
       34,
       24,
       3,
       46,
       37,
       29,
       23,
       1,
       15,
       30,
       18,
       0,
       22,
       9,
       13,
       42,
       32,
       26,
       17
      ]
     ],
     "deal": [
      [
       34,
       23,
       20,
       22,
       26,
       12,
       27,
       38,
       11,
       0,
       8,
       21,
       39,
       37,
       51,
       48,
       32
      ],
      [
       28,
       30,
       10,
       2,
       16,
       14,
       4,
       40,
       19,
       29,
       49,
       35,
       24,
       1,
       50,
       9,
       17
      ],
      [
       44,
       46,
       45,
       47,
       42,
       41,
       36,
       43,
       3,
       15,
       5,
       13,
       33,
       18,
       31,
       25,
       6
      ]
     ]
    },
    {
     "bits": "01",
     "predecessor": [
      [
       16,
       33,
       11,
       28,
       51,
       49,
       45,
       50,
       5,
       20,
       31,
       8,
       10,
       48,
       35,
       47,
       25,
       21,
       2
      ],
      [
       6
      ],
      [
       17,
       41,
       12,
       14,
       36,
       27,
       4,
       43,
       38,
       40,
       44,
       39,
       19,
       34,
       24,
       3,
       46,
       37,
       29,
       23,
       1,
       15,
       30,
       18,
       0,
       22,
       9,
       13,
       42,
       32,
       26
      ]
     ],
     "deal": [
      [
       22,
       5,
       16,
       20,
       2,
       12,
       27,
       38,
       39,
       24,
       37,
       1,
       18,
       26,
       35,
       11,
       51
      ],
      [
       42,
       21,
       28,
       10,
       17,
       14,
       4,
       40,
       19,
       3,
       29,
       15,
       0,
       50,
       9,
       8,
       48
      ],
      [
       49,
       25,
       31,
       45,
       47,
       41,
       36,
       43,
       44,
       34,
       46,
       23,
       30,
       13,
       32,
       6,
       33
      ]
     ]
    },
    {
     "bits": "10",
     "predecessor": [
      [
       21,
       33,
       11,
       28,
       51,
       49,
       45,
       50,
       5,
       20,
       31,
       8,
       10,
       48,
       35,
       47,
       25
      ],
      [],
      [
       2,
       41,
       12,
       14,
       36,
       27,
       4,
       43,
       38,
       40,
       44,
       39,
       19,
       34,
       24,
       3,
       46,
       37,
       29,
       23,
       1,
       15,
       30,
       18,
       0,
       22,
       9,
       13,
       42,
       32,
       26,
       17,
       16,
       6
      ]
     ],
     "deal": [
      [
       34,
       23,
       22,
       17,
       25,
       12,
       27,
       38,
       11,
       0,
       5,
       8,
       39,
       37,
       51,
       32,
       48
      ],
      [
       28,
       30,
       20,
       10,
       2,
       14,
       4,
       40,
       19,
       29,
       49,
       26,
       24,
       1,
       9,
       16,
       47
      ],
      [
       44,
       46,
       45,
       42,
       35,
       41,
       36,
       43,
       3,
       15,
       13,
       6,
       33,
       18,
       50,
       31,
       21
      ]
     ]
    },
    {
     "bits": "11",
     "predecessor": [
      [
       25,
       33,
       11,
       28,
       51,
       49,
       45,
       50,
       5,
       20,
       31,
       8,
       10,
       48,
       35,
       47
      ],
      [
       21
      ],
      [
       2,
       41,
       12,
       14,
       36,
       27,
       4,
       43,
       38,
       40,
       44,
       39,
       19,
       34,
       24,
       3,
       46,
       37,
       29,
       23,
       1,
       15,
       30,
       18,
       0,
       22,
       9,
       13,
       42,
       32,
       26,
       17,
       16,
       6
      ]
     ],
     "deal": [
      [
       34,
       23,
       20,
       22,
       17,
       12,
       27,
       38,
       11,
       0,
       8,
       26,
       39,
       37,
       51,
       48,
       32
      ],
      [
       28,
       30,
       10,
       6,
       2,
       14,
       4,
       40,
       19,
       29,
       49,
       35,
       24,
       1,
       50,
       9,
       16
      ],
      [
       44,
       46,
       45,
       47,
       42,
       41,
       36,
       43,
       3,
       15,
       5,
       13,
       33,
       18,
       31,
       21,
       25
      ]
     ]
    }
   ]
  },
  {
   "source": "seeded search game 327",
   "t": 35,
   "endpoint": [
    [],
    [
     51,
     34,
     10,
     33,
     31,
     8,
     50,
     30,
     25,
     35,
     21,
     9,
     26,
     20,
     22,
     48,
     32,
     38,
     18,
     4,
     0
    ],
    [
     44,
     41,
     13,
     49,
     47,
     27,
     43,
     36,
     6,
     37,
     14,
     17,
     24,
     1,
     19,
     11,
     3,
     2,
     46,
     39,
     29,
     28,
     5,
     16,
     45,
     40,
     42,
     23,
     15,
     12
    ]
   ],
   "branches": [
    {
     "bits": "00",
     "predecessor": [
      [],
      [
       4,
       51,
       34,
       10,
       33,
       31,
       8,
       50,
       30,
       25,
       35,
       21,
       9,
       26,
       20,
       22,
       48,
       32,
       38,
       18
      ],
      [
       0,
       44,
       41,
       13,
       49,
       47,
       27,
       43,
       36,
       6,
       37,
       14,
       17,
       24,
       1,
       19,
       11,
       3,
       2,
       46,
       39,
       29,
       28,
       5,
       16,
       45,
       40,
       42,
       23,
       15,
       12
      ]
     ],
     "deal": [
      [
       43,
       24,
       28,
       21,
       42,
       18,
       41,
       17,
       2,
       9,
       26,
       12,
       4,
       10,
       47,
       8,
       39
      ],
      [
       37,
       11,
       22,
       20,
       15,
       0,
       13,
       27,
       33,
       29,
       50,
       40,
       48,
       51,
       36,
       1,
       5
      ],
      [
       49,
       31,
       46,
       30,
       45,
       32,
       44,
       6,
       19,
       16,
       35,
       23,
       38,
       34,
       14,
       3,
       25
      ]
     ]
    },
    {
     "bits": "01",
     "predecessor": [
      [],
      [
       12,
       51,
       34,
       10,
       33,
       31,
       8,
       50,
       30,
       25,
       35,
       21,
       9,
       26,
       20,
       22,
       48,
       32,
       38,
       18,
       4,
       0
      ],
      [
       15,
       44,
       41,
       13,
       49,
       47,
       27,
       43,
       36,
       6,
       37,
       14,
       17,
       24,
       1,
       19,
       11,
       3,
       2,
       46,
       39,
       29,
       28,
       5,
       16,
       45,
       40,
       42,
       23
      ]
     ],
     "deal": [
      [
       43,
       24,
       28,
       21,
       18,
       42,
       41,
       17,
       2,
       9,
       26,
       4,
       12,
       10,
       47,
       8,
       39
      ],
      [
       37,
       11,
       22,
       20,
       0,
       15,
       13,
       27,
       33,
       29,
       50,
       48,
       40,
       51,
       36,
       1,
       5
      ],
      [
       49,
       31,
       46,
       30,
       32,
       45,
       44,
       6,
       19,
       16,
       35,
       38,
       23,
       34,
       14,
       3,
       25
      ]
     ]
    },
    {
     "bits": "10",
     "predecessor": [
      [
       0
      ],
      [
       18,
       51,
       34,
       10,
       33,
       31,
       8,
       50,
       30,
       25,
       35,
       21,
       9,
       26,
       20,
       22,
       48,
       32,
       38
      ],
      [
       4,
       44,
       41,
       13,
       49,
       47,
       27,
       43,
       36,
       6,
       37,
       14,
       17,
       24,
       1,
       19,
       11,
       3,
       2,
       46,
       39,
       29,
       28,
       5,
       16,
       45,
       40,
       42,
       23,
       15,
       12
      ]
     ],
     "deal": [
      [
       43,
       24,
       28,
       31,
       21,
       23,
       41,
       17,
       2,
       9,
       15,
       26,
       18,
       47,
       10,
       39,
       40
      ],
      [
       37,
       11,
       22,
       0,
       20,
       4,
       13,
       27,
       51,
       29,
       42,
       50,
       48,
       36,
       1,
       5,
       8
      ],
      [
       49,
       34,
       46,
       45,
       30,
       32,
       44,
       6,
       19,
       16,
       33,
       35,
       12,
       14,
       3,
       25,
       38
      ]
     ]
    },
    {
     "bits": "11",
     "predecessor": [
      [
       15
      ],
      [
       12,
       51,
       34,
       10,
       33,
       31,
       8,
       50,
       30,
       25,
       35,
       21,
       9,
       26,
       20,
       22,
       48,
       32,
       38,
       18,
       4,
       0
      ],
      [
       23,
       44,
       41,
       13,
       49,
       47,
       27,
       43,
       36,
       6,
       37,
       14,
       17,
       24,
       1,
       19,
       11,
       3,
       2,
       46,
       39,
       29,
       28,
       5,
       16,
       45,
       40,
       42
      ]
     ],
     "deal": [
      [
       43,
       24,
       28,
       31,
       21,
       4,
       41,
       17,
       2,
       9,
       0,
       26,
       12,
       47,
       10,
       39,
       40
      ],
      [
       37,
       11,
       22,
       15,
       20,
       23,
       13,
       27,
       51,
       29,
       42,
       50,
       48,
       36,
       1,
       5,
       8
      ],
      [
       49,
       34,
       46,
       45,
       30,
       32,
       44,
       6,
       19,
       16,
       33,
       35,
       18,
       14,
       3,
       25,
       38
      ]
     ]
    }
   ]
  },
  {
   "source": "seeded search game 1229",
   "t": 41,
   "endpoint": [
    [
     21,
     11,
     6,
     34,
     9,
     2,
     51,
     44,
     46,
     49,
     27,
     40,
     23,
     19,
     0,
     25,
     22,
     5,
     39,
     33,
     32,
     31,
     14,
     29,
     47,
     37,
     43,
     28,
     24,
     20
    ],
    [],
    [
     45,
     17,
     4,
     41,
     12,
     38,
     36,
     3,
     18,
     15,
     10,
     13,
     30,
     1,
     16,
     50,
     48,
     42,
     35,
     26,
     8
    ]
   ],
   "branches": [
    {
     "bits": "00",
     "predecessor": [
      [
       8,
       21,
       11,
       6,
       34,
       9,
       2,
       51,
       44,
       46,
       49,
       27,
       40,
       23,
       19,
       0,
       25,
       22,
       5,
       39,
       33,
       32,
       31,
       14,
       29,
       47,
       37,
       43,
       28,
       24,
       20
      ],
      [],
      [
       26,
       45,
       17,
       4,
       41,
       12,
       38,
       36,
       3,
       18,
       15,
       10,
       13,
       30,
       1,
       16,
       50,
       48,
       42,
       35
      ]
     ],
     "deal": [
      [
       28,
       36,
       6,
       19,
       0,
       30,
       42,
       4,
       13,
       9,
       33,
       48,
       12,
       43,
       51,
       49,
       39
      ],
      [
       45,
       15,
       2,
       16,
       5,
       29,
       37,
       35,
       38,
       24,
       44,
       20,
       3,
       21,
       22,
       23,
       1
      ],
      [
       47,
       41,
       8,
       46,
       40,
       32,
       50,
       26,
       18,
       11,
       27,
       17,
       10,
       34,
       14,
       25,
       31
      ]
     ]
    },
    {
     "bits": "01",
     "predecessor": [
      [
       24,
       21,
       11,
       6,
       34,
       9,
       2,
       51,
       44,
       46,
       49,
       27,
       40,
       23,
       19,
       0,
       25,
       22,
       5,
       39,
       33,
       32,
       31,
       14,
       29,
       47,
       37,
       43,
       28
      ],
      [],
      [
       20,
       45,
       17,
       4,
       41,
       12,
       38,
       36,
       3,
       18,
       15,
       10,
       13,
       30,
       1,
       16,
       50,
       48,
       42,
       35,
       26,
       8
      ]
     ],
     "deal": [
      [
       37,
       36,
       6,
       19,
       0,
       30,
       4,
       13,
       9,
       33,
       42,
       12,
       47,
       51,
       49,
       39,
       48
      ],
      [
       45,
       15,
       2,
       16,
       5,
       29,
       26,
       38,
       43,
       44,
       28,
       3,
       21,
       22,
       23,
       1,
       35
      ],
      [
       50,
       41,
       24,
       46,
       40,
       32,
       20,
       18,
       11,
       27,
       17,
       10,
       34,
       14,
       25,
       31,
       8
      ]
     ]
    },
    {
     "bits": "10",
     "predecessor": [
      [
       26,
       21,
       11,
       6,
       34,
       9,
       2,
       51,
       44,
       46,
       49,
       27,
       40,
       23,
       19,
       0,
       25,
       22,
       5,
       39,
       33,
       32,
       31,
       14,
       29,
       47,
       37,
       43,
       28,
       24,
       20
      ],
      [
       8
      ],
      [
       35,
       45,
       17,
       4,
       41,
       12,
       38,
       36,
       3,
       18,
       15,
       10,
       13,
       30,
       1,
       16,
       50,
       48,
       42
      ]
     ],
     "deal": [
      [
       13,
       36,
       15,
       6,
       33,
       0,
       32,
       20,
       17,
       12,
       28,
       27,
       37,
       48,
       47,
       51,
       49
      ],
      [
       11,
       19,
       30,
       2,
       24,
       5,
       29,
       35,
       4,
       38,
       44,
       16,
       3,
       10,
       21,
       14,
       23
      ],
      [
       18,
       42,
       31,
       26,
       46,
       40,
       50,
       43,
       45,
       41,
       39,
       9,
       22,
       1,
       34,
       8,
       25
      ]
     ]
    },
    {
     "bits": "11",
     "predecessor": [
      [
       28,
       21,
       11,
       6,
       34,
       9,
       2,
       51,
       44,
       46,
       49,
       27,
       40,
       23,
       19,
       0,
       25,
       22,
       5,
       39,
       33,
       32,
       31,
       14,
       29,
       47,
       37,
       43
      ],
      [
       24
      ],
      [
       20,
       45,
       17,
       4,
       41,
       12,
       38,
       36,
       3,
       18,
       15,
       10,
       13,
       30,
       1,
       16,
       50,
       48,
       42,
       35,
       26,
       8
      ]
     ],
     "deal": [
      [
       13,
       36,
       15,
       6,
       33,
       0,
       32,
       35,
       17,
       12,
       26,
       27,
       37,
       48,
       47,
       51,
       49
      ],
      [
       11,
       19,
       30,
       2,
       8,
       5,
       29,
       20,
       4,
       38,
       44,
       16,
       3,
       10,
       21,
       14,
       23
      ],
      [
       18,
       42,
       31,
       28,
       46,
       40,
       50,
       43,
       45,
       41,
       39,
       9,
       22,
       1,
       34,
       24,
       25
      ]
     ]
    }
   ]
  },
  {
   "source": "seeded search game 758",
   "t": 50,
   "endpoint": [
    [
     51,
     29,
     26,
     38,
     21,
     16,
     36,
     22,
     25,
     50,
     35,
     19,
     30,
     0,
     11,
     40,
     8,
     17,
     43,
     24,
     39,
     27,
     14,
     20,
     49,
     47,
     18,
     48,
     46,
     5,
     45,
     34,
     12,
     44,
     1,
     10,
     32,
     4,
     2,
     42,
     41,
     28,
     15,
     9,
     3
    ],
    [
     37,
     13,
     33,
     31,
     23,
     6
    ],
    []
   ],
   "branches": [
    {
     "bits": "00",
     "predecessor": [
      [
       6,
       51,
       29,
       26,
       38,
       21,
       16,
       36,
       22,
       25,
       50,
       35,
       19,
       30,
       0,
       11,
       40,
       8,
       17,
       43,
       24,
       39,
       27,
       14,
       20,
       49,
       47,
       18,
       48,
       46,
       5,
       45,
       34,
       12,
       44,
       1,
       10,
       32,
       4,
       2,
       42,
       41,
       28,
       15,
       9,
       3
      ],
      [
       23,
       37,
       13,
       33,
       31
      ],
      []
     ],
     "deal": [
      [
       32,
       19,
       39,
       25,
       10,
       5,
       9,
       22,
       8,
       14,
       46,
       4,
       15,
       51,
       50,
       49,
       45
      ],
      [
       26,
       27,
       18,
       38,
       30,
       23,
       44,
       29,
       35,
       24,
       47,
       34,
       41,
       28,
       11,
       12,
       42
      ],
      [
       36,
       40,
       48,
       6,
       17,
       20,
       13,
       21,
       0,
       2,
       33,
       1,
       37,
       16,
       43,
       3,
       31
      ]
     ]
    },
    {
     "bits": "01",
     "predecessor": [
      [
       6,
       51,
       29,
       26,
       38,
       21,
       16,
       36,
       22,
       25,
       50,
       35,
       19,
       30,
       0,
       11,
       40,
       8,
       17,
       43,
       24,
       39,
       27,
       14,
       20,
       49,
       47,
       18,
       48,
       46,
       5,
       45,
       34,
       12,
       44,
       1,
       10,
       32,
       4,
       2,
       42,
       41,
       28,
       15,
       9,
       3
      ],
      [
       31,
       37,
       13,
       33
      ],
      [
       23
      ]
     ],
     "deal": [
      [
       21,
       39,
       18,
       12,
       9,
       16,
       11,
       35,
       3,
       24,
       34,
       15,
       51,
       50,
       49,
       46,
       45
      ],
      [
       0,
       27,
       23,
       1,
       6,
       25,
       17,
       38,
       30,
       33,
       47,
       44,
       22,
       28,
       13,
       10,
       31
      ],
      [
       36,
       40,
       48,
       37,
       32,
       26,
       19,
       29,
       20,
       5,
       2,
       41,
       8,
       43,
       14,
       4,
       42
      ]
     ]
    },
    {
     "bits": "10",
     "predecessor": [
      [
       9,
       51,
       29,
       26,
       38,
       21,
       16,
       36,
       22,
       25,
       50,
       35,
       19,
       30,
       0,
       11,
       40,
       8,
       17,
       43,
       24,
       39,
       27,
       14,
       20,
       49,
       47,
       18,
       48,
       46,
       5,
       45,
       34,
       12,
       44,
       1,
       10,
       32,
       4,
       2,
       42,
       41,
       28,
       15
      ],
      [
       3,
       37,
       13,
       33,
       31,
       23,
       6
      ],
      []
     ],
     "deal": [
      [
       34,
       28,
       16,
       11,
       10,
       6,
       22,
       8,
       23,
       14,
       18,
       45,
       51,
       50,
       43,
       46,
       49
      ],
      [
       3,
       9,
       25,
       17,
       37,
       44,
       29,
       35,
       24,
       47,
       2,
       42,
       38,
       30,
       1,
       33,
       4
      ],
      [
       39,
       32,
       26,
       19,
       20,
       13,
       21,
       0,
       5,
       41,
       15,
       31,
       36,
       40,
       12,
       27,
       48
      ]
     ]
    },
    {
     "bits": "11",
     "predecessor": [
      [
       15,
       51,
       29,
       26,
       38,
       21,
       16,
       36,
       22,
       25,
       50,
       35,
       19,
       30,
       0,
       11,
       40,
       8,
       17,
       43,
       24,
       39,
       27,
       14,
       20,
       49,
       47,
       18,
       48,
       46,
       5,
       45,
       34,
       12,
       44,
       1,
       10,
       32,
       4,
       2,
       42,
       41,
       28
      ],
      [
       9,
       37,
       13,
       33,
       31,
       23,
       6
      ],
      [
       3
      ]
     ],
     "deal": [
      [
       21,
       39,
       18,
       12,
       31,
       16,
       11,
       35,
       23,
       24,
       34,
       6,
       51,
       50,
       49,
       46,
       45
      ],
      [
       0,
       27,
       3,
       1,
       15,
       25,
       17,
       38,
       30,
       33,
       47,
       44,
       22,
       28,
       13,
       10,
       9
      ],
      [
       36,
       40,
       48,
       37,
       32,
       26,
       19,
       29,
       20,
       5,
       2,
       41,
       8,
       43,
       14,
       4,
       42
      ]
     ]
    }
   ]
  },
  {
   "source": "seeded search game 1209",
   "t": 53,
   "endpoint": [
    [
     42,
     29,
     28,
     46,
     31,
     39,
     35,
     12,
     0,
     41,
     19,
     8,
     27,
     24,
     11,
     20,
     16,
     3,
     36,
     17,
     30,
     34,
     14,
     13,
     44,
     23,
     38,
     32,
     10,
     1
    ],
    [],
    [
     21,
     18,
     4,
     48,
     45,
     40,
     51,
     22,
     37,
     50,
     5,
     9,
     43,
     6,
     25,
     49,
     47,
     33,
     26,
     15,
     2
    ]
   ],
   "branches": [
    {
     "bits": "00",
     "predecessor": [
      [
       2,
       42,
       29,
       28,
       46,
       31,
       39,
       35,
       12,
       0,
       41,
       19,
       8,
       27,
       24,
       11,
       20,
       16,
       3,
       36,
       17,
       30,
       34,
       14,
       13,
       44,
       23,
       38,
       32,
       10,
       1
      ],
      [],
      [
       15,
       21,
       18,
       4,
       48,
       45,
       40,
       51,
       22,
       37,
       50,
       5,
       9,
       43,
       6,
       25,
       49,
       47,
       33,
       26
      ]
     ],
     "deal": [
      [
       18,
       9,
       2,
       0,
       15,
       48,
       30,
       34,
       5,
       29,
       19,
       50,
       24,
       47,
       46,
       40,
       33
      ],
      [
       25,
       6,
       28,
       8,
       11,
       3,
       14,
       36,
       43,
       44,
       31,
       23,
       16,
       26,
       35,
       4,
       13
      ],
      [
       37,
       32,
       38,
       39,
       17,
       49,
       51,
       1,
       21,
       10,
       12,
       45,
       22,
       42,
       41,
       27,
       20
      ]
     ]
    },
    {
     "bits": "01",
     "predecessor": [
      [
       10,
       42,
       29,
       28,
       46,
       31,
       39,
       35,
       12,
       0,
       41,
       19,
       8,
       27,
       24,
       11,
       20,
       16,
       3,
       36,
       17,
       30,
       34,
       14,
       13,
       44,
       23,
       38,
       32
      ],
      [],
      [
       1,
       21,
       18,
       4,
       48,
       45,
       40,
       51,
       22,
       37,
       50,
       5,
       9,
       43,
       6,
       25,
       49,
       47,
       33,
       26,
       15,
       2
      ]
     ],
     "deal": [
      [
       40,
       10,
       24,
       29,
       3,
       13,
       19,
       47,
       49,
       17,
       37,
       46,
       27,
       50,
       33,
       45,
       22
      ],
      [
       23,
       28,
       26,
       48,
       43,
       30,
       31,
       39,
       38,
       0,
       32,
       35,
       4,
       14,
       15,
       25,
       5
      ],
      [
       44,
       51,
       11,
       2,
       8,
       21,
       12,
       16,
       42,
       1,
       9,
       41,
       20,
       36,
       18,
       34,
       6
      ]
     ]
    },
    {
     "bits": "10",
     "predecessor": [
      [
       15,
       42,
       29,
       28,
       46,
       31,
       39,
       35,
       12,
       0,
       41,
       19,
       8,
       27,
       24,
       11,
       20,
       16,
       3,
       36,
       17,
       30,
       34,
       14,
       13,
       44,
       23,
       38,
       32,
       10,
       1
      ],
      [
       2
      ],
      [
       26,
       21,
       18,
       4,
       48,
       45,
       40,
       51,
       22,
       37,
       50,
       5,
       9,
       43,
       6,
       25,
       49,
       47,
       33
      ]
     ],
     "deal": [
      [
       38,
       21,
       35,
       33,
       12,
       17,
       50,
       15,
       0,
       10,
       30,
       19,
       5,
       36,
       46,
       47,
       45
      ],
      [
       16,
       6,
       31,
       9,
       23,
       20,
       43,
       28,
       8,
       3,
       13,
       44,
       14,
       1,
       18,
       37,
       2
      ],
      [
       40,
       27,
       42,
       48,
       32,
       41,
       51,
       34,
       39,
       11,
       49,
       26,
       4,
       29,
       22,
       24,
       25
      ]
     ]
    },
    {
     "bits": "11",
     "predecessor": [
      [
       32,
       42,
       29,
       28,
       46,
       31,
       39,
       35,
       12,
       0,
       41,
       19,
       8,
       27,
       24,
       11,
       20,
       16,
       3,
       36,
       17,
       30,
       34,
       14,
       13,
       44,
       23,
       38
      ],
      [
       10
      ],
      [
       1,
       21,
       18,
       4,
       48,
       45,
       40,
       51,
       22,
       37,
       50,
       5,
       9,
       43,
       6,
       25,
       49,
       47,
       33,
       26,
       15,
       2
      ]
     ],
     "deal": [
      [
       11,
       14,
       38,
       15,
       23,
       50,
       41,
       32,
       0,
       26,
       5,
       4,
       31,
       33,
       25,
       10,
       47
      ],
      [
       18,
       6,
       21,
       12,
       17,
       43,
       20,
       28,
       8,
       45,
       29,
       13,
       46,
       40,
       37,
       44,
       2
      ],
      [
       22,
       19,
       49,
       27,
       48,
       51,
       42,
       34,
       39,
       3,
       16,
       1,
       36,
       24,
       9,
       35,
       30
      ]
     ]
    }
   ]
  }
 ]
}