{"n": 14, "states": [{"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[0, 1], [0, 3], [0, 4], [0, 6], [1, 2], [1, 3], [1, 4], [1, 5], [1, 6], [2, 3], [3, 4], [3, 5], [3, 6], [4, 6], [7, 8], [7, 10], [7, 11], [7, 13], [8, 9], [8, 10], [8, 11], [8, 12], [8, 13], [9, 10], [10, 11], [10, 12], [10, 13], [11, 13]], "L": [0, 0, 2, 0, 0, 2, 0, 0, 0, 2, 0, 0, 2, 0]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000010", "00000000100011", "00000000010011", "00000000001010", "00000000000111"], "Q": [[0, 1], [0, 3], [0, 4], [0, 6], [1, 2], [1, 3], [1, 4], [1, 5], [1, 6], [2, 3], [3, 4], [3, 5], [3, 6], [4, 6]], "L": [0, 0, 2, 0, 0, 2, 0, 0, 2, 2, 0, 2]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[0, 1], [0, 3], [0, 4], [0, 6], [1, 2], [1, 3], [1, 4], [1, 5], [1, 6], [2, 3], [3, 4], [3, 5], [3, 6], [4, 6], [8, 9], [8, 11], [9, 11]], "L": [0, 0, 2, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[0, 1], [0, 3], [0, 4], [0, 6], [1, 2], [1, 3], [1, 4], [1, 5], [1, 6], [2, 3], [3, 4], [3, 5], [3, 6], [4, 6], [7, 8], [7, 9], [7, 10], [7, 11], [7, 12], [7, 13], [8, 9], [8, 10], [8, 11], [8, 12], [8, 13], [9, 10], [9, 11], [9, 12], [9, 13], [10, 11], [10, 12], [10, 13], [11, 12], [11, 13], [12, 13]], "L": [0, 0, 2, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[0, 1], [0, 3], [0, 4], [0, 6], [1, 2], [1, 3], [1, 4], [1, 5], [1, 6], [2, 3], [3, 4], [3, 5], [3, 6], [4, 6]], "L": [0, 0, 2, 0, 0, 2, 0, 2, 2, 2, 2, 2, 2, 2]}, {"h": "00000000000001", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000001", "00000000100001", "00000000010001", "00000000001001", "00000000000101", "00000000000011"], "Q": [[0, 1], [0, 3], [0, 4], [0, 6], [1, 2], [1, 3], [1, 4], [1, 5], [1, 6], [2, 3], [3, 4], [3, 5], [3, 6], [4, 6], [7, 8], [7, 9], [7, 10], [7, 11], [7, 12], [8, 9], [8, 10], [8, 11], [8, 12], [9, 10], [9, 11], [9, 12], [10, 11], [10, 12], [11, 12]], "L": [0, 0, 2, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001111111"], "Q": [[0, 1], [0, 3], [0, 4], [0, 6], [1, 2], [1, 3], [1, 4], [1, 5], [1, 6], [2, 3], [3, 4], [3, 5], [3, 6], [4, 6]], "L": [0, 0, 2, 0, 0, 2, 0, 1]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[0, 1], [0, 3], [0, 4], [0, 6], [1, 2], [1, 3], [1, 4], [1, 5], [1, 6], [2, 3], [3, 4], [3, 5], [3, 6], [4, 6], [7, 10], [7, 12], [10, 12]], "L": [0, 0, 2, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[0, 1], [0, 3], [0, 4], [0, 6], [1, 2], [1, 3], [1, 4], [1, 5], [1, 6], [2, 3], [3, 4], [3, 5], [3, 6], [4, 6]], "L": [0, 0, 2, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0]}, {"h": "00000000000001", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000001", "00000000101001", "00000000010001", "00000000000101", "00000000000011"], "Q": [[0, 1], [0, 3], [0, 4], [0, 6], [1, 2], [1, 3], [1, 4], [1, 5], [1, 6], [2, 3], [3, 4], [3, 5], [3, 6], [4, 6], [7, 8], [7, 9], [7, 10], [7, 11], [8, 9], [8, 10], [8, 11], [9, 10], [9, 11], [10, 11]], "L": [0, 0, 2, 0, 0, 2, 0, 0, 0, 0, 0, 0]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000101", "00000000100000", "00000000010000", "00000000001000", "00000000000010"], "Q": [[0, 1], [0, 3], [0, 4], [0, 6], [1, 2], [1, 3], [1, 4], [1, 5], [1, 6], [2, 3], [3, 4], [3, 5], [3, 6], [4, 6], [7, 8], [7, 9], [7, 10], [7, 11], [8, 9], [8, 10], [8, 11], [9, 10], [9, 11], [10, 11]], "L": [0, 0, 2, 0, 0, 2, 0, 0, 0, 0, 0, 0]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001111111"], "Q": [[0, 1], [0, 3], [0, 4], [0, 6], [1, 2], [1, 3], [1, 4], [1, 5], [1, 6], [2, 3], [3, 4], [3, 5], [3, 6], [4, 6]], "L": [0, 0, 2, 0, 0, 2, 0, 3]}, {"h": "00000000000000", "G": ["10000100000000", "01000110000000", "00100110000000", "00010100000000", "00001110000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[5, 6], [5, 8], [5, 9], [5, 11], [6, 7], [6, 8], [6, 9], [6, 10], [6, 11], [7, 8], [8, 9], [8, 10], [8, 11], [9, 11]], "L": [0, 2, 2, 0, 2, 0, 0, 2, 0, 0, 2, 0]}, {"h": "00000000000000", "G": ["10000100000000", "01000110000000", "00100110000000", "00010100000000", "00001110000000", "00000001000010", "00000000100011", "00000000010011", "00000000001010", "00000000000111"], "Q": [], "L": [0, 2, 2, 0, 2, 0, 2, 2, 0, 2]}, {"h": "00000000000000", "G": ["10000100000000", "01000110000000", "00100110000000", "00010100000000", "00001110000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[6, 7], [6, 9], [7, 9]], "L": [0, 2, 2, 0, 2, 0, 0, 0, 0, 0, 0, 0]}, {"h": "00000000000000", "G": ["10000100000000", "01000110000000", "00100110000000", "00010100000000", "00001110000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[5, 6], [5, 7], [5, 8], [5, 9], [5, 10], [5, 11], [6, 7], [6, 8], [6, 9], [6, 10], [6, 11], [7, 8], [7, 9], [7, 10], [7, 11], [8, 9], [8, 10], [8, 11], [9, 10], [9, 11], [10, 11]], "L": [0, 2, 2, 0, 2, 0, 0, 0, 0, 0, 0, 0]}, {"h": "00000000000000", "G": ["10000100000000", "01000110000000", "00100110000000", "00010100000000", "00001110000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [], "L": [0, 2, 2, 0, 2, 2, 2, 2, 2, 2, 2, 2]}, {"h": "00000000000001", "G": ["10000100000000", "01000110000000", "00100110000000", "00010100000000", "00001110000000", "00000001000001", "00000000100001", "00000000010001", "00000000001001", "00000000000101", "00000000000011"], "Q": [[5, 6], [5, 7], [5, 8], [5, 9], [5, 10], [6, 7], [6, 8], [6, 9], [6, 10], [7, 8], [7, 9], [7, 10], [8, 9], [8, 10], [9, 10]], "L": [0, 2, 2, 0, 2, 0, 0, 0, 0, 0, 0]}, {"h": "00000000000000", "G": ["10000100000000", "01000110000000", "00100110000000", "00010100000000", "00001110000000", "00000001111111"], "Q": [], "L": [0, 2, 2, 0, 2, 1]}, {"h": "00000000000000", "G": ["10000100000000", "01000110000000", "00100110000000", "00010100000000", "00001110000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[5, 8], [5, 10], [8, 10]], "L": [0, 2, 2, 0, 2, 0, 0, 0, 0, 0, 0, 0]}, {"h": "00000000000000", "G": ["10000100000000", "01000110000000", "00100110000000", "00010100000000", "00001110000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [], "L": [0, 2, 2, 0, 2, 0, 0, 0, 0, 0, 0, 0]}, {"h": "00000000000001", "G": ["10000100000000", "01000110000000", "00100110000000", "00010100000000", "00001110000000", "00000001000001", "00000000101001", "00000000010001", "00000000000101", "00000000000011"], "Q": [[5, 6], [5, 7], [5, 8], [5, 9], [6, 7], [6, 8], [6, 9], [7, 8], [7, 9], [8, 9]], "L": [0, 2, 2, 0, 2, 0, 0, 0, 0, 0]}, {"h": "00000000000000", "G": ["10000100000000", "01000110000000", "00100110000000", "00010100000000", "00001110000000", "00000001000101", "00000000100000", "00000000010000", "00000000001000", "00000000000010"], "Q": [[5, 6], [5, 7], [5, 8], [5, 9], [6, 7], [6, 8], [6, 9], [7, 8], [7, 9], [8, 9]], "L": [0, 2, 2, 0, 2, 0, 0, 0, 0, 0]}, {"h": "00000000000000", "G": ["10000100000000", "01000110000000", "00100110000000", "00010100000000", "00001110000000", "00000001111111"], "Q": [], "L": [0, 2, 2, 0, 2, 3]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[1, 2], [1, 4], [2, 4], [7, 8], [7, 10], [7, 11], [7, 13], [8, 9], [8, 10], [8, 11], [8, 12], [8, 13], [9, 10], [10, 11], [10, 12], [10, 13], [11, 13]], "L": [0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 2, 0]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000010", "00000000100011", "00000000010011", "00000000001010", "00000000000111"], "Q": [[1, 2], [1, 4], [2, 4]], "L": [0, 0, 0, 0, 0, 0, 0, 0, 2, 2, 0, 2]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[1, 2], [1, 4], [2, 4], [8, 9], [8, 11], [9, 11]], "L": [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[1, 2], [1, 4], [2, 4], [7, 8], [7, 9], [7, 10], [7, 11], [7, 12], [7, 13], [8, 9], [8, 10], [8, 11], [8, 12], [8, 13], [9, 10], [9, 11], [9, 12], [9, 13], [10, 11], [10, 12], [10, 13], [11, 12], [11, 13], [12, 13]], "L": [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[1, 2], [1, 4], [2, 4]], "L": [0, 0, 0, 0, 0, 0, 0, 2, 2, 2, 2, 2, 2, 2]}, {"h": "00000000000001", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000001", "00000000100001", "00000000010001", "00000000001001", "00000000000101", "00000000000011"], "Q": [[1, 2], [1, 4], [2, 4], [7, 8], [7, 9], [7, 10], [7, 11], [7, 12], [8, 9], [8, 10], [8, 11], [8, 12], [9, 10], [9, 11], [9, 12], [10, 11], [10, 12], [11, 12]], "L": [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001111111"], "Q": [[1, 2], [1, 4], [2, 4]], "L": [0, 0, 0, 0, 0, 0, 0, 1]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[1, 2], [1, 4], [2, 4], [7, 10], [7, 12], [10, 12]], "L": [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[1, 2], [1, 4], [2, 4]], "L": [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]}, {"h": "00000000000001", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000001", "00000000101001", "00000000010001", "00000000000101", "00000000000011"], "Q": [[1, 2], [1, 4], [2, 4], [7, 8], [7, 9], [7, 10], [7, 11], [8, 9], [8, 10], [8, 11], [9, 10], [9, 11], [10, 11]], "L": [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000101", "00000000100000", "00000000010000", "00000000001000", "00000000000010"], "Q": [[1, 2], [1, 4], [2, 4], [7, 8], [7, 9], [7, 10], [7, 11], [8, 9], [8, 10], [8, 11], [9, 10], [9, 11], [10, 11]], "L": [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001111111"], "Q": [[1, 2], [1, 4], [2, 4]], "L": [0, 0, 0, 0, 0, 0, 0, 3]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[0, 1], [0, 2], [0, 3], [0, 4], [0, 5], [0, 6], [1, 2], [1, 3], [1, 4], [1, 5], [1, 6], [2, 3], [2, 4], [2, 5], [2, 6], [3, 4], [3, 5], [3, 6], [4, 5], [4, 6], [5, 6], [7, 8], [7, 10], [7, 11], [7, 13], [8, 9], [8, 10], [8, 11], [8, 12], [8, 13], [9, 10], [10, 11], [10, 12], [10, 13], [11, 13]], "L": [0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 2, 0]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000010", "00000000100011", "00000000010011", "00000000001010", "00000000000111"], "Q": [[0, 1], [0, 2], [0, 3], [0, 4], [0, 5], [0, 6], [1, 2], [1, 3], [1, 4], [1, 5], [1, 6], [2, 3], [2, 4], [2, 5], [2, 6], [3, 4], [3, 5], [3, 6], [4, 5], [4, 6], [5, 6]], "L": [0, 0, 0, 0, 0, 0, 0, 0, 2, 2, 0, 2]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[0, 1], [0, 2], [0, 3], [0, 4], [0, 5], [0, 6], [1, 2], [1, 3], [1, 4], [1, 5], [1, 6], [2, 3], [2, 4], [2, 5], [2, 6], [3, 4], [3, 5], [3, 6], [4, 5], [4, 6], [5, 6], [8, 9], [8, 11], [9, 11]], "L": [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[0, 1], [0, 2], [0, 3], [0, 4], [0, 5], [0, 6], [1, 2], [1, 3], [1, 4], [1, 5], [1, 6], [2, 3], [2, 4], [2, 5], [2, 6], [3, 4], [3, 5], [3, 6], [4, 5], [4, 6], [5, 6], [7, 8], [7, 9], [7, 10], [7, 11], [7, 12], [7, 13], [8, 9], [8, 10], [8, 11], [8, 12], [8, 13], [9, 10], [9, 11], [9, 12], [9, 13], [10, 11], [10, 12], [10, 13], [11, 12], [11, 13], [12, 13]], "L": [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[0, 1], [0, 2], [0, 3], [0, 4], [0, 5], [0, 6], [1, 2], [1, 3], [1, 4], [1, 5], [1, 6], [2, 3], [2, 4], [2, 5], [2, 6], [3, 4], [3, 5], [3, 6], [4, 5], [4, 6], [5, 6]], "L": [0, 0, 0, 0, 0, 0, 0, 2, 2, 2, 2, 2, 2, 2]}, {"h": "00000000000001", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000001", "00000000100001", "00000000010001", "00000000001001", "00000000000101", "00000000000011"], "Q": [[0, 1], [0, 2], [0, 3], [0, 4], [0, 5], [0, 6], [1, 2], [1, 3], [1, 4], [1, 5], [1, 6], [2, 3], [2, 4], [2, 5], [2, 6], [3, 4], [3, 5], [3, 6], [4, 5], [4, 6], [5, 6], [7, 8], [7, 9], [7, 10], [7, 11], [7, 12], [8, 9], [8, 10], [8, 11], [8, 12], [9, 10], [9, 11], [9, 12], [10, 11], [10, 12], [11, 12]], "L": [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001111111"], "Q": [[0, 1], [0, 2], [0, 3], [0, 4], [0, 5], [0, 6], [1, 2], [1, 3], [1, 4], [1, 5], [1, 6], [2, 3], [2, 4], [2, 5], [2, 6], [3, 4], [3, 5], [3, 6], [4, 5], [4, 6], [5, 6]], "L": [0, 0, 0, 0, 0, 0, 0, 1]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[0, 1], [0, 2], [0, 3], [0, 4], [0, 5], [0, 6], [1, 2], [1, 3], [1, 4], [1, 5], [1, 6], [2, 3], [2, 4], [2, 5], [2, 6], [3, 4], [3, 5], [3, 6], [4, 5], [4, 6], [5, 6], [7, 10], [7, 12], [10, 12]], "L": [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[0, 1], [0, 2], [0, 3], [0, 4], [0, 5], [0, 6], [1, 2], [1, 3], [1, 4], [1, 5], [1, 6], [2, 3], [2, 4], [2, 5], [2, 6], [3, 4], [3, 5], [3, 6], [4, 5], [4, 6], [5, 6]], "L": [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]}, {"h": "00000000000001", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000001", "00000000101001", "00000000010001", "00000000000101", "00000000000011"], "Q": [[0, 1], [0, 2], [0, 3], [0, 4], [0, 5], [0, 6], [1, 2], [1, 3], [1, 4], [1, 5], [1, 6], [2, 3], [2, 4], [2, 5], [2, 6], [3, 4], [3, 5], [3, 6], [4, 5], [4, 6], [5, 6], [7, 8], [7, 9], [7, 10], [7, 11], [8, 9], [8, 10], [8, 11], [9, 10], [9, 11], [10, 11]], "L": [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000101", "00000000100000", "00000000010000", "00000000001000", "00000000000010"], "Q": [[0, 1], [0, 2], [0, 3], [0, 4], [0, 5], [0, 6], [1, 2], [1, 3], [1, 4], [1, 5], [1, 6], [2, 3], [2, 4], [2, 5], [2, 6], [3, 4], [3, 5], [3, 6], [4, 5], [4, 6], [5, 6], [7, 8], [7, 9], [7, 10], [7, 11], [8, 9], [8, 10], [8, 11], [9, 10], [9, 11], [10, 11]], "L": [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001111111"], "Q": [[0, 1], [0, 2], [0, 3], [0, 4], [0, 5], [0, 6], [1, 2], [1, 3], [1, 4], [1, 5], [1, 6], [2, 3], [2, 4], [2, 5], [2, 6], [3, 4], [3, 5], [3, 6], [4, 5], [4, 6], [5, 6]], "L": [0, 0, 0, 0, 0, 0, 0, 3]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[7, 8], [7, 10], [7, 11], [7, 13], [8, 9], [8, 10], [8, 11], [8, 12], [8, 13], [9, 10], [10, 11], [10, 12], [10, 13], [11, 13]], "L": [2, 2, 2, 2, 2, 2, 2, 0, 0, 2, 0, 0, 2, 0]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000010", "00000000100011", "00000000010011", "00000000001010", "00000000000111"], "Q": [], "L": [2, 2, 2, 2, 2, 2, 2, 0, 2, 2, 0, 2]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[8, 9], [8, 11], [9, 11]], "L": [2, 2, 2, 2, 2, 2, 2, 0, 0, 0, 0, 0, 0, 0]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[7, 8], [7, 9], [7, 10], [7, 11], [7, 12], [7, 13], [8, 9], [8, 10], [8, 11], [8, 12], [8, 13], [9, 10], [9, 11], [9, 12], [9, 13], [10, 11], [10, 12], [10, 13], [11, 12], [11, 13], [12, 13]], "L": [2, 2, 2, 2, 2, 2, 2, 0, 0, 0, 0, 0, 0, 0]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [], "L": [2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2]}, {"h": "00000000000001", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000001", "00000000100001", "00000000010001", "00000000001001", "00000000000101", "00000000000011"], "Q": [[7, 8], [7, 9], [7, 10], [7, 11], [7, 12], [8, 9], [8, 10], [8, 11], [8, 12], [9, 10], [9, 11], [9, 12], [10, 11], [10, 12], [11, 12]], "L": [2, 2, 2, 2, 2, 2, 2, 0, 0, 0, 0, 0, 0]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001111111"], "Q": [], "L": [2, 2, 2, 2, 2, 2, 2, 1]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[7, 10], [7, 12], [10, 12]], "L": [2, 2, 2, 2, 2, 2, 2, 0, 0, 0, 0, 0, 0, 0]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [], "L": [2, 2, 2, 2, 2, 2, 2, 0, 0, 0, 0, 0, 0, 0]}, {"h": "00000000000001", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000001", "00000000101001", "00000000010001", "00000000000101", "00000000000011"], "Q": [[7, 8], [7, 9], [7, 10], [7, 11], [8, 9], [8, 10], [8, 11], [9, 10], [9, 11], [10, 11]], "L": [2, 2, 2, 2, 2, 2, 2, 0, 0, 0, 0, 0]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000101", "00000000100000", "00000000010000", "00000000001000", "00000000000010"], "Q": [[7, 8], [7, 9], [7, 10], [7, 11], [8, 9], [8, 10], [8, 11], [9, 10], [9, 11], [10, 11]], "L": [2, 2, 2, 2, 2, 2, 2, 0, 0, 0, 0, 0]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001111111"], "Q": [], "L": [2, 2, 2, 2, 2, 2, 2, 3]}, {"h": "00000010000000", "G": ["10000010000000", "01000010000000", "00100010000000", "00010010000000", "00001010000000", "00000110000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[0, 1], [0, 2], [0, 3], [0, 4], [0, 5], [1, 2], [1, 3], [1, 4], [1, 5], [2, 3], [2, 4], [2, 5], [3, 4], [3, 5], [4, 5], [6, 7], [6, 9], [6, 10], [6, 12], [7, 8], [7, 9], [7, 10], [7, 11], [7, 12], [8, 9], [9, 10], [9, 11], [9, 12], [10, 12]], "L": [0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 2, 0]}, {"h": "00000010000000", "G": ["10000010000000", "01000010000000", "00100010000000", "00010010000000", "00001010000000", "00000110000000", "00000001000010", "00000000100011", "00000000010011", "00000000001010", "00000000000111"], "Q": [[0, 1], [0, 2], [0, 3], [0, 4], [0, 5], [1, 2], [1, 3], [1, 4], [1, 5], [2, 3], [2, 4], [2, 5], [3, 4], [3, 5], [4, 5]], "L": [0, 0, 0, 0, 0, 0, 0, 2, 2, 0, 2]}, {"h": "00000010000000", "G": ["10000010000000", "01000010000000", "00100010000000", "00010010000000", "00001010000000", "00000110000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[0, 1], [0, 2], [0, 3], [0, 4], [0, 5], [1, 2], [1, 3], [1, 4], [1, 5], [2, 3], [2, 4], [2, 5], [3, 4], [3, 5], [4, 5], [7, 8], [7, 10], [8, 10]], "L": [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]}, {"h": "00000010000000", "G": ["10000010000000", "01000010000000", "00100010000000", "00010010000000", "00001010000000", "00000110000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[0, 1], [0, 2], [0, 3], [0, 4], [0, 5], [1, 2], [1, 3], [1, 4], [1, 5], [2, 3], [2, 4], [2, 5], [3, 4], [3, 5], [4, 5], [6, 7], [6, 8], [6, 9], [6, 10], [6, 11], [6, 12], [7, 8], [7, 9], [7, 10], [7, 11], [7, 12], [8, 9], [8, 10], [8, 11], [8, 12], [9, 10], [9, 11], [9, 12], [10, 11], [10, 12], [11, 12]], "L": [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]}, {"h": "00000010000000", "G": ["10000010000000", "01000010000000", "00100010000000", "00010010000000", "00001010000000", "00000110000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[0, 1], [0, 2], [0, 3], [0, 4], [0, 5], [1, 2], [1, 3], [1, 4], [1, 5], [2, 3], [2, 4], [2, 5], [3, 4], [3, 5], [4, 5]], "L": [0, 0, 0, 0, 0, 0, 2, 2, 2, 2, 2, 2, 2]}, {"h": "00000010000001", "G": ["10000010000000", "01000010000000", "00100010000000", "00010010000000", "00001010000000", "00000110000000", "00000001000001", "00000000100001", "00000000010001", "00000000001001", "00000000000101", "00000000000011"], "Q": [[0, 1], [0, 2], [0, 3], [0, 4], [0, 5], [1, 2], [1, 3], [1, 4], [1, 5], [2, 3], [2, 4], [2, 5], [3, 4], [3, 5], [4, 5], [6, 7], [6, 8], [6, 9], [6, 10], [6, 11], [7, 8], [7, 9], [7, 10], [7, 11], [8, 9], [8, 10], [8, 11], [9, 10], [9, 11], [10, 11]], "L": [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]}, {"h": "00000010000000", "G": ["10000010000000", "01000010000000", "00100010000000", "00010010000000", "00001010000000", "00000110000000", "00000001111111"], "Q": [[0, 1], [0, 2], [0, 3], [0, 4], [0, 5], [1, 2], [1, 3], [1, 4], [1, 5], [2, 3], [2, 4], [2, 5], [3, 4], [3, 5], [4, 5]], "L": [0, 0, 0, 0, 0, 0, 1]}, {"h": "00000010000000", "G": ["10000010000000", "01000010000000", "00100010000000", "00010010000000", "00001010000000", "00000110000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[0, 1], [0, 2], [0, 3], [0, 4], [0, 5], [1, 2], [1, 3], [1, 4], [1, 5], [2, 3], [2, 4], [2, 5], [3, 4], [3, 5], [4, 5], [6, 9], [6, 11], [9, 11]], "L": [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]}, {"h": "00000010000000", "G": ["10000010000000", "01000010000000", "00100010000000", "00010010000000", "00001010000000", "00000110000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[0, 1], [0, 2], [0, 3], [0, 4], [0, 5], [1, 2], [1, 3], [1, 4], [1, 5], [2, 3], [2, 4], [2, 5], [3, 4], [3, 5], [4, 5]], "L": [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]}, {"h": "00000010000001", "G": ["10000010000000", "01000010000000", "00100010000000", "00010010000000", "00001010000000", "00000110000000", "00000001000001", "00000000101001", "00000000010001", "00000000000101", "00000000000011"], "Q": [[0, 1], [0, 2], [0, 3], [0, 4], [0, 5], [1, 2], [1, 3], [1, 4], [1, 5], [2, 3], [2, 4], [2, 5], [3, 4], [3, 5], [4, 5], [6, 7], [6, 8], [6, 9], [6, 10], [7, 8], [7, 9], [7, 10], [8, 9], [8, 10], [9, 10]], "L": [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]}, {"h": "00000010000000", "G": ["10000010000000", "01000010000000", "00100010000000", "00010010000000", "00001010000000", "00000110000000", "00000001000101", "00000000100000", "00000000010000", "00000000001000", "00000000000010"], "Q": [[0, 1], [0, 2], [0, 3], [0, 4], [0, 5], [1, 2], [1, 3], [1, 4], [1, 5], [2, 3], [2, 4], [2, 5], [3, 4], [3, 5], [4, 5], [6, 7], [6, 8], [6, 9], [6, 10], [7, 8], [7, 9], [7, 10], [8, 9], [8, 10], [9, 10]], "L": [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]}, {"h": "00000010000000", "G": ["10000010000000", "01000010000000", "00100010000000", "00010010000000", "00001010000000", "00000110000000", "00000001111111"], "Q": [[0, 1], [0, 2], [0, 3], [0, 4], [0, 5], [1, 2], [1, 3], [1, 4], [1, 5], [2, 3], [2, 4], [2, 5], [3, 4], [3, 5], [4, 5]], "L": [0, 0, 0, 0, 0, 0, 3]}, {"h": "00000000000000", "G": ["11111110000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[1, 2], [1, 4], [1, 5], [1, 7], [2, 3], [2, 4], [2, 5], [2, 6], [2, 7], [3, 4], [4, 5], [4, 6], [4, 7], [5, 7]], "L": [1, 0, 0, 2, 0, 0, 2, 0]}, {"h": "00000000000000", "G": ["11111110000000", "00000001000010", "00000000100011", "00000000010011", "00000000001010", "00000000000111"], "Q": [], "L": [1, 0, 2, 2, 0, 2]}, {"h": "00000000000000", "G": ["11111110000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[2, 3], [2, 5], [3, 5]], "L": [1, 0, 0, 0, 0, 0, 0, 0]}, {"h": "00000000000000", "G": ["11111110000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[1, 2], [1, 3], [1, 4], [1, 5], [1, 6], [1, 7], [2, 3], [2, 4], [2, 5], [2, 6], [2, 7], [3, 4], [3, 5], [3, 6], [3, 7], [4, 5], [4, 6], [4, 7], [5, 6], [5, 7], [6, 7]], "L": [1, 0, 0, 0, 0, 0, 0, 0]}, {"h": "00000000000000", "G": ["11111110000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [], "L": [1, 2, 2, 2, 2, 2, 2, 2]}, {"h": "00000000000001", "G": ["11111110000000", "00000001000001", "00000000100001", "00000000010001", "00000000001001", "00000000000101", "00000000000011"], "Q": [[1, 2], [1, 3], [1, 4], [1, 5], [1, 6], [2, 3], [2, 4], [2, 5], [2, 6], [3, 4], [3, 5], [3, 6], [4, 5], [4, 6], [5, 6]], "L": [1, 0, 0, 0, 0, 0, 0]}, {"h": "00000000000000", "G": ["11111110000000", "00000001111111"], "Q": [], "L": [1, 1]}, {"h": "00000000000000", "G": ["11111110000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[1, 4], [1, 6], [4, 6]], "L": [1, 0, 0, 0, 0, 0, 0, 0]}, {"h": "00000000000000", "G": ["11111110000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [], "L": [1, 0, 0, 0, 0, 0, 0, 0]}, {"h": "00000000000001", "G": ["11111110000000", "00000001000001", "00000000101001", "00000000010001", "00000000000101", "00000000000011"], "Q": [[1, 2], [1, 3], [1, 4], [1, 5], [2, 3], [2, 4], [2, 5], [3, 4], [3, 5], [4, 5]], "L": [1, 0, 0, 0, 0, 0]}, {"h": "00000000000000", "G": ["11111110000000", "00000001000101", "00000000100000", "00000000010000", "00000000001000", "00000000000010"], "Q": [[1, 2], [1, 3], [1, 4], [1, 5], [2, 3], [2, 4], [2, 5], [3, 4], [3, 5], [4, 5]], "L": [1, 0, 0, 0, 0, 0]}, {"h": "00000000000000", "G": ["11111110000000", "00000001111111"], "Q": [], "L": [1, 3]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[0, 3], [0, 5], [3, 5], [7, 8], [7, 10], [7, 11], [7, 13], [8, 9], [8, 10], [8, 11], [8, 12], [8, 13], [9, 10], [10, 11], [10, 12], [10, 13], [11, 13]], "L": [0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 2, 0]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000010", "00000000100011", "00000000010011", "00000000001010", "00000000000111"], "Q": [[0, 3], [0, 5], [3, 5]], "L": [0, 0, 0, 0, 0, 0, 0, 0, 2, 2, 0, 2]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[0, 3], [0, 5], [3, 5], [8, 9], [8, 11], [9, 11]], "L": [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[0, 3], [0, 5], [3, 5], [7, 8], [7, 9], [7, 10], [7, 11], [7, 12], [7, 13], [8, 9], [8, 10], [8, 11], [8, 12], [8, 13], [9, 10], [9, 11], [9, 12], [9, 13], [10, 11], [10, 12], [10, 13], [11, 12], [11, 13], [12, 13]], "L": [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[0, 3], [0, 5], [3, 5]], "L": [0, 0, 0, 0, 0, 0, 0, 2, 2, 2, 2, 2, 2, 2]}, {"h": "00000000000001", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000001", "00000000100001", "00000000010001", "00000000001001", "00000000000101", "00000000000011"], "Q": [[0, 3], [0, 5], [3, 5], [7, 8], [7, 9], [7, 10], [7, 11], [7, 12], [8, 9], [8, 10], [8, 11], [8, 12], [9, 10], [9, 11], [9, 12], [10, 11], [10, 12], [11, 12]], "L": [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001111111"], "Q": [[0, 3], [0, 5], [3, 5]], "L": [0, 0, 0, 0, 0, 0, 0, 1]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[0, 3], [0, 5], [3, 5], [7, 10], [7, 12], [10, 12]], "L": [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[0, 3], [0, 5], [3, 5]], "L": [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]}, {"h": "00000000000001", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000001", "00000000101001", "00000000010001", "00000000000101", "00000000000011"], "Q": [[0, 3], [0, 5], [3, 5], [7, 8], [7, 9], [7, 10], [7, 11], [8, 9], [8, 10], [8, 11], [9, 10], [9, 11], [10, 11]], "L": [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000101", "00000000100000", "00000000010000", "00000000001000", "00000000000010"], "Q": [[0, 3], [0, 5], [3, 5], [7, 8], [7, 9], [7, 10], [7, 11], [8, 9], [8, 10], [8, 11], [9, 10], [9, 11], [10, 11]], "L": [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001111111"], "Q": [[0, 3], [0, 5], [3, 5]], "L": [0, 0, 0, 0, 0, 0, 0, 3]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[7, 8], [7, 10], [7, 11], [7, 13], [8, 9], [8, 10], [8, 11], [8, 12], [8, 13], [9, 10], [10, 11], [10, 12], [10, 13], [11, 13]], "L": [0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 2, 0]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000010", "00000000100011", "00000000010011", "00000000001010", "00000000000111"], "Q": [], "L": [0, 0, 0, 0, 0, 0, 0, 0, 2, 2, 0, 2]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[8, 9], [8, 11], [9, 11]], "L": [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[7, 8], [7, 9], [7, 10], [7, 11], [7, 12], [7, 13], [8, 9], [8, 10], [8, 11], [8, 12], [8, 13], [9, 10], [9, 11], [9, 12], [9, 13], [10, 11], [10, 12], [10, 13], [11, 12], [11, 13], [12, 13]], "L": [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [], "L": [0, 0, 0, 0, 0, 0, 0, 2, 2, 2, 2, 2, 2, 2]}, {"h": "00000000000001", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000001", "00000000100001", "00000000010001", "00000000001001", "00000000000101", "00000000000011"], "Q": [[7, 8], [7, 9], [7, 10], [7, 11], [7, 12], [8, 9], [8, 10], [8, 11], [8, 12], [9, 10], [9, 11], [9, 12], [10, 11], [10, 12], [11, 12]], "L": [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001111111"], "Q": [], "L": [0, 0, 0, 0, 0, 0, 0, 1]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[7, 10], [7, 12], [10, 12]], "L": [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [], "L": [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]}, {"h": "00000000000001", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000001", "00000000101001", "00000000010001", "00000000000101", "00000000000011"], "Q": [[7, 8], [7, 9], [7, 10], [7, 11], [8, 9], [8, 10], [8, 11], [9, 10], [9, 11], [10, 11]], "L": [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000101", "00000000100000", "00000000010000", "00000000001000", "00000000000010"], "Q": [[7, 8], [7, 9], [7, 10], [7, 11], [8, 9], [8, 10], [8, 11], [9, 10], [9, 11], [10, 11]], "L": [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001111111"], "Q": [], "L": [0, 0, 0, 0, 0, 0, 0, 3]}, {"h": "00000010000000", "G": ["10000010000000", "01010010000000", "00100010000000", "00001010000000", "00000110000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[0, 1], [0, 2], [0, 3], [0, 4], [1, 2], [1, 3], [1, 4], [2, 3], [2, 4], [3, 4], [5, 6], [5, 8], [5, 9], [5, 11], [6, 7], [6, 8], [6, 9], [6, 10], [6, 11], [7, 8], [8, 9], [8, 10], [8, 11], [9, 11]], "L": [0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 2, 0]}, {"h": "00000010000000", "G": ["10000010000000", "01010010000000", "00100010000000", "00001010000000", "00000110000000", "00000001000010", "00000000100011", "00000000010011", "00000000001010", "00000000000111"], "Q": [[0, 1], [0, 2], [0, 3], [0, 4], [1, 2], [1, 3], [1, 4], [2, 3], [2, 4], [3, 4]], "L": [0, 0, 0, 0, 0, 0, 2, 2, 0, 2]}, {"h": "00000010000000", "G": ["10000010000000", "01010010000000", "00100010000000", "00001010000000", "00000110000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[0, 1], [0, 2], [0, 3], [0, 4], [1, 2], [1, 3], [1, 4], [2, 3], [2, 4], [3, 4], [6, 7], [6, 9], [7, 9]], "L": [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]}, {"h": "00000010000000", "G": ["10000010000000", "01010010000000", "00100010000000", "00001010000000", "00000110000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[0, 1], [0, 2], [0, 3], [0, 4], [1, 2], [1, 3], [1, 4], [2, 3], [2, 4], [3, 4], [5, 6], [5, 7], [5, 8], [5, 9], [5, 10], [5, 11], [6, 7], [6, 8], [6, 9], [6, 10], [6, 11], [7, 8], [7, 9], [7, 10], [7, 11], [8, 9], [8, 10], [8, 11], [9, 10], [9, 11], [10, 11]], "L": [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]}, {"h": "00000010000000", "G": ["10000010000000", "01010010000000", "00100010000000", "00001010000000", "00000110000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[0, 1], [0, 2], [0, 3], [0, 4], [1, 2], [1, 3], [1, 4], [2, 3], [2, 4], [3, 4]], "L": [0, 0, 0, 0, 0, 2, 2, 2, 2, 2, 2, 2]}, {"h": "00000010000001", "G": ["10000010000000", "01010010000000", "00100010000000", "00001010000000", "00000110000000", "00000001000001", "00000000100001", "00000000010001", "00000000001001", "00000000000101", "00000000000011"], "Q": [[0, 1], [0, 2], [0, 3], [0, 4], [1, 2], [1, 3], [1, 4], [2, 3], [2, 4], [3, 4], [5, 6], [5, 7], [5, 8], [5, 9], [5, 10], [6, 7], [6, 8], [6, 9], [6, 10], [7, 8], [7, 9], [7, 10], [8, 9], [8, 10], [9, 10]], "L": [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]}, {"h": "00000010000000", "G": ["10000010000000", "01010010000000", "00100010000000", "00001010000000", "00000110000000", "00000001111111"], "Q": [[0, 1], [0, 2], [0, 3], [0, 4], [1, 2], [1, 3], [1, 4], [2, 3], [2, 4], [3, 4]], "L": [0, 0, 0, 0, 0, 1]}, {"h": "00000010000000", "G": ["10000010000000", "01010010000000", "00100010000000", "00001010000000", "00000110000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[0, 1], [0, 2], [0, 3], [0, 4], [1, 2], [1, 3], [1, 4], [2, 3], [2, 4], [3, 4], [5, 8], [5, 10], [8, 10]], "L": [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]}, {"h": "00000010000000", "G": ["10000010000000", "01010010000000", "00100010000000", "00001010000000", "00000110000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[0, 1], [0, 2], [0, 3], [0, 4], [1, 2], [1, 3], [1, 4], [2, 3], [2, 4], [3, 4]], "L": [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]}, {"h": "00000010000001", "G": ["10000010000000", "01010010000000", "00100010000000", "00001010000000", "00000110000000", "00000001000001", "00000000101001", "00000000010001", "00000000000101", "00000000000011"], "Q": [[0, 1], [0, 2], [0, 3], [0, 4], [1, 2], [1, 3], [1, 4], [2, 3], [2, 4], [3, 4], [5, 6], [5, 7], [5, 8], [5, 9], [6, 7], [6, 8], [6, 9], [7, 8], [7, 9], [8, 9]], "L": [0, 0, 0, 0, 0, 0, 0, 0, 0, 0]}, {"h": "00000010000000", "G": ["10000010000000", "01010010000000", "00100010000000", "00001010000000", "00000110000000", "00000001000101", "00000000100000", "00000000010000", "00000000001000", "00000000000010"], "Q": [[0, 1], [0, 2], [0, 3], [0, 4], [1, 2], [1, 3], [1, 4], [2, 3], [2, 4], [3, 4], [5, 6], [5, 7], [5, 8], [5, 9], [6, 7], [6, 8], [6, 9], [7, 8], [7, 9], [8, 9]], "L": [0, 0, 0, 0, 0, 0, 0, 0, 0, 0]}, {"h": "00000010000000", "G": ["10000010000000", "01010010000000", "00100010000000", "00001010000000", "00000110000000", "00000001111111"], "Q": [[0, 1], [0, 2], [0, 3], [0, 4], [1, 2], [1, 3], [1, 4], [2, 3], [2, 4], [3, 4]], "L": [0, 0, 0, 0, 0, 3]}, {"h": "00000000000000", "G": ["10001010000000", "01000000000000", "00100000000000", "00010000000000", "00000100000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[0, 1], [0, 2], [0, 3], [0, 4], [1, 2], [1, 3], [1, 4], [2, 3], [2, 4], [3, 4], [5, 6], [5, 8], [5, 9], [5, 11], [6, 7], [6, 8], [6, 9], [6, 10], [6, 11], [7, 8], [8, 9], [8, 10], [8, 11], [9, 11]], "L": [0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 2, 0]}, {"h": "00000000000000", "G": ["10001010000000", "01000000000000", "00100000000000", "00010000000000", "00000100000000", "00000001000010", "00000000100011", "00000000010011", "00000000001010", "00000000000111"], "Q": [[0, 1], [0, 2], [0, 3], [0, 4], [1, 2], [1, 3], [1, 4], [2, 3], [2, 4], [3, 4]], "L": [0, 0, 0, 0, 0, 0, 2, 2, 0, 2]}, {"h": "00000000000000", "G": ["10001010000000", "01000000000000", "00100000000000", "00010000000000", "00000100000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[0, 1], [0, 2], [0, 3], [0, 4], [1, 2], [1, 3], [1, 4], [2, 3], [2, 4], [3, 4], [6, 7], [6, 9], [7, 9]], "L": [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]}, {"h": "00000000000000", "G": ["10001010000000", "01000000000000", "00100000000000", "00010000000000", "00000100000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[0, 1], [0, 2], [0, 3], [0, 4], [1, 2], [1, 3], [1, 4], [2, 3], [2, 4], [3, 4], [5, 6], [5, 7], [5, 8], [5, 9], [5, 10], [5, 11], [6, 7], [6, 8], [6, 9], [6, 10], [6, 11], [7, 8], [7, 9], [7, 10], [7, 11], [8, 9], [8, 10], [8, 11], [9, 10], [9, 11], [10, 11]], "L": [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]}, {"h": "00000000000000", "G": ["10001010000000", "01000000000000", "00100000000000", "00010000000000", "00000100000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[0, 1], [0, 2], [0, 3], [0, 4], [1, 2], [1, 3], [1, 4], [2, 3], [2, 4], [3, 4]], "L": [0, 0, 0, 0, 0, 2, 2, 2, 2, 2, 2, 2]}, {"h": "00000000000001", "G": ["10001010000000", "01000000000000", "00100000000000", "00010000000000", "00000100000000", "00000001000001", "00000000100001", "00000000010001", "00000000001001", "00000000000101", "00000000000011"], "Q": [[0, 1], [0, 2], [0, 3], [0, 4], [1, 2], [1, 3], [1, 4], [2, 3], [2, 4], [3, 4], [5, 6], [5, 7], [5, 8], [5, 9], [5, 10], [6, 7], [6, 8], [6, 9], [6, 10], [7, 8], [7, 9], [7, 10], [8, 9], [8, 10], [9, 10]], "L": [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]}, {"h": "00000000000000", "G": ["10001010000000", "01000000000000", "00100000000000", "00010000000000", "00000100000000", "00000001111111"], "Q": [[0, 1], [0, 2], [0, 3], [0, 4], [1, 2], [1, 3], [1, 4], [2, 3], [2, 4], [3, 4]], "L": [0, 0, 0, 0, 0, 1]}, {"h": "00000000000000", "G": ["10001010000000", "01000000000000", "00100000000000", "00010000000000", "00000100000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[0, 1], [0, 2], [0, 3], [0, 4], [1, 2], [1, 3], [1, 4], [2, 3], [2, 4], [3, 4], [5, 8], [5, 10], [8, 10]], "L": [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]}, {"h": "00000000000000", "G": ["10001010000000", "01000000000000", "00100000000000", "00010000000000", "00000100000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[0, 1], [0, 2], [0, 3], [0, 4], [1, 2], [1, 3], [1, 4], [2, 3], [2, 4], [3, 4]], "L": [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]}, {"h": "00000000000001", "G": ["10001010000000", "01000000000000", "00100000000000", "00010000000000", "00000100000000", "00000001000001", "00000000101001", "00000000010001", "00000000000101", "00000000000011"], "Q": [[0, 1], [0, 2], [0, 3], [0, 4], [1, 2], [1, 3], [1, 4], [2, 3], [2, 4], [3, 4], [5, 6], [5, 7], [5, 8], [5, 9], [6, 7], [6, 8], [6, 9], [7, 8], [7, 9], [8, 9]], "L": [0, 0, 0, 0, 0, 0, 0, 0, 0, 0]}, {"h": "00000000000000", "G": ["10001010000000", "01000000000000", "00100000000000", "00010000000000", "00000100000000", "00000001000101", "00000000100000", "00000000010000", "00000000001000", "00000000000010"], "Q": [[0, 1], [0, 2], [0, 3], [0, 4], [1, 2], [1, 3], [1, 4], [2, 3], [2, 4], [3, 4], [5, 6], [5, 7], [5, 8], [5, 9], [6, 7], [6, 8], [6, 9], [7, 8], [7, 9], [8, 9]], "L": [0, 0, 0, 0, 0, 0, 0, 0, 0, 0]}, {"h": "00000000000000", "G": ["10001010000000", "01000000000000", "00100000000000", "00010000000000", "00000100000000", "00000001111111"], "Q": [[0, 1], [0, 2], [0, 3], [0, 4], [1, 2], [1, 3], [1, 4], [2, 3], [2, 4], [3, 4]], "L": [0, 0, 0, 0, 0, 3]}, {"h": "00000000000000", "G": ["11111110000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[1, 2], [1, 4], [1, 5], [1, 7], [2, 3], [2, 4], [2, 5], [2, 6], [2, 7], [3, 4], [4, 5], [4, 6], [4, 7], [5, 7]], "L": [3, 0, 0, 2, 0, 0, 2, 0]}, {"h": "00000000000000", "G": ["11111110000000", "00000001000010", "00000000100011", "00000000010011", "00000000001010", "00000000000111"], "Q": [], "L": [3, 0, 2, 2, 0, 2]}, {"h": "00000000000000", "G": ["11111110000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[2, 3], [2, 5], [3, 5]], "L": [3, 0, 0, 0, 0, 0, 0, 0]}, {"h": "00000000000000", "G": ["11111110000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[1, 2], [1, 3], [1, 4], [1, 5], [1, 6], [1, 7], [2, 3], [2, 4], [2, 5], [2, 6], [2, 7], [3, 4], [3, 5], [3, 6], [3, 7], [4, 5], [4, 6], [4, 7], [5, 6], [5, 7], [6, 7]], "L": [3, 0, 0, 0, 0, 0, 0, 0]}, {"h": "00000000000000", "G": ["11111110000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [], "L": [3, 2, 2, 2, 2, 2, 2, 2]}, {"h": "00000000000001", "G": ["11111110000000", "00000001000001", "00000000100001", "00000000010001", "00000000001001", "00000000000101", "00000000000011"], "Q": [[1, 2], [1, 3], [1, 4], [1, 5], [1, 6], [2, 3], [2, 4], [2, 5], [2, 6], [3, 4], [3, 5], [3, 6], [4, 5], [4, 6], [5, 6]], "L": [3, 0, 0, 0, 0, 0, 0]}, {"h": "00000000000000", "G": ["11111110000000", "00000001111111"], "Q": [], "L": [3, 1]}, {"h": "00000000000000", "G": ["11111110000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[1, 4], [1, 6], [4, 6]], "L": [3, 0, 0, 0, 0, 0, 0, 0]}, {"h": "00000000000000", "G": ["11111110000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [], "L": [3, 0, 0, 0, 0, 0, 0, 0]}, {"h": "00000000000001", "G": ["11111110000000", "00000001000001", "00000000101001", "00000000010001", "00000000000101", "00000000000011"], "Q": [[1, 2], [1, 3], [1, 4], [1, 5], [2, 3], [2, 4], [2, 5], [3, 4], [3, 5], [4, 5]], "L": [3, 0, 0, 0, 0, 0]}, {"h": "00000000000000", "G": ["11111110000000", "00000001000101", "00000000100000", "00000000010000", "00000000001000", "00000000000010"], "Q": [[1, 2], [1, 3], [1, 4], [1, 5], [2, 3], [2, 4], [2, 5], [3, 4], [3, 5], [4, 5]], "L": [3, 0, 0, 0, 0, 0]}, {"h": "00000000000000", "G": ["11111110000000", "00000001111111"], "Q": [], "L": [3, 3]}]}