O0 = {11, [0, 7, 8, 14, 15, 22, 26, 27, 33, 34]}

O1 = {1, [1]}

O2 = {8, [4, 9, 10, 18, 19, 28, 29, 35]}

O3 = {7, [5, 11, 12, 20, 30, 31, 36]}

O4 = {11, [2, 3, 6, 13, 16, 21, 23, 24, 25, 32, 37]}

b0 = {1, 1, 8, 2, 1, [8]}

b1 = {1, 11, 19, 12, 0, []}

b2 = {1, 36, 9, 37, 1, [16]}

b3 = {5, 42, 6, 43, 1, [6]}

b4 = {7, 18, 8, 20, 2, [9, 10]}

b5 = {7, 29, 8, 31, 2, [11, 12]}

b6 = {7, 41, 8, 42, 2, [3, 13]}

b7 = {8, 4, 8, 7, 1, [8]}

b8 = {9, 1, 9, 7, 2, [7, 14]}

b9 = {9, 16, 10, 17, 2, [4, 18]}

b10 = {9, 21, 10, 22, 2, [4, 19]}

b11 = {9, 27, 10, 28, 2, [5, 20]}

b12 = {9, 32, 10, 33, 1, [5]}

b13 = {9, 40, 9, 41, 2, [6, 16]}

b14 = {10, 1, 10, 3, 2, [8, 17]}

b15 = {10, 7, 11, 8, 2, [8, 22]}

b16 = {10, 36, 10, 41, 3, [2, 13, 21]}

b17 = {11, 1, 15, 2, [14, 26]}

b18 = {11, 15, 15, 16, 2, [9, 28]}

b19 = {11, 22, 15, 23, 2, [10, 29]}

b20 = {11, 26, 15, 27, 2, [11, 30]}

b21 = {11, 36, 12, 39, 3, [16, 23, 24]}

b22 = {12, 8, 15, 9, 2, [15, 27]}

b23 = {13, 36, 19, 37, 1, [21]}

b24 = {13, 39, 14, 40, 2, [21, 25]}

b25 = {15, 40, 16, 41, 2, [24, 32]}

b26 = {16, 1, 17, 3, 3, [17, 33, 34]}

b27 = {16, 7, 17, 8, 2, [22, 34]}

b28 = {16, 16, 17, 17, 2, [18, 35]}

b29 = {16, 20, 17, 21, 2, [19, 25]}

b30 = {16, 27, 17, 28, 2, [20, 6]}

b31 = {16, 32, 17, 33, 1, [36]}

b32 = {17, 41, 17, 42, 2, [25, 37]}

b33 = {18, 1, 19, 2, 1, [26]}

b34 = {18, 4, 19, 7, 2, [26, 27]}

b35 = {18, 17, 19, 20, 2, [28. 29]}

b36 = {18, 29, 19, 32, 2, [30, 31]}

b37 = {18, 42, 19, 43, 1, [32]}