digraph g { "context" -> "bigger binary tree" "*" -> "merge-labels(|_self> + |0>)" [label="left-op",arrowhead=box] "*" -> "merge-labels(|_self> + |1>)" [label="right-op",arrowhead=box] "*" -> "left |_self> + right |_self>" [label="child",arrowhead=box] "x" -> "0" [label="left",arrowhead=normal] "x" -> "1" [label="right",arrowhead=normal] "0" -> "00" [label="left",arrowhead=normal] "0" -> "01" [label="right",arrowhead=normal] "1" -> "10" [label="left",arrowhead=normal] "1" -> "11" [label="right",arrowhead=normal] "00" -> "000" [label="left",arrowhead=normal] "00" -> "001" [label="right",arrowhead=normal] "01" -> "010" [label="left",arrowhead=normal] "01" -> "011" [label="right",arrowhead=normal] "10" -> "100" [label="left",arrowhead=normal] "10" -> "101" [label="right",arrowhead=normal] "11" -> "110" [label="left",arrowhead=normal] "11" -> "111" [label="right",arrowhead=normal] "000" -> "0000" [label="left",arrowhead=normal] "000" -> "0001" [label="right",arrowhead=normal] "001" -> "0010" [label="left",arrowhead=normal] "001" -> "0011" [label="right",arrowhead=normal] "010" -> "0100" [label="left",arrowhead=normal] "010" -> "0101" [label="right",arrowhead=normal] "011" -> "0110" [label="left",arrowhead=normal] "011" -> "0111" [label="right",arrowhead=normal] "100" -> "1000" [label="left",arrowhead=normal] "100" -> "1001" [label="right",arrowhead=normal] "101" -> "1010" [label="left",arrowhead=normal] "101" -> "1011" [label="right",arrowhead=normal] "110" -> "1100" [label="left",arrowhead=normal] "110" -> "1101" [label="right",arrowhead=normal] "111" -> "1110" [label="left",arrowhead=normal] "111" -> "1111" [label="right",arrowhead=normal] "0000" -> "00000" [label="left",arrowhead=normal] "0000" -> "00001" [label="right",arrowhead=normal] "0001" -> "00010" [label="left",arrowhead=normal] "0001" -> "00011" [label="right",arrowhead=normal] "0010" -> "00100" [label="left",arrowhead=normal] "0010" -> "00101" [label="right",arrowhead=normal] "0011" -> "00110" [label="left",arrowhead=normal] "0011" -> "00111" [label="right",arrowhead=normal] "0100" -> "01000" [label="left",arrowhead=normal] "0100" -> "01001" [label="right",arrowhead=normal] "0101" -> "01010" [label="left",arrowhead=normal] "0101" -> "01011" [label="right",arrowhead=normal] "0110" -> "01100" [label="left",arrowhead=normal] "0110" -> "01101" [label="right",arrowhead=normal] "0111" -> "01110" [label="left",arrowhead=normal] "0111" -> "01111" [label="right",arrowhead=normal] "1000" -> "10000" [label="left",arrowhead=normal] "1000" -> "10001" [label="right",arrowhead=normal] "1001" -> "10010" [label="left",arrowhead=normal] "1001" -> "10011" [label="right",arrowhead=normal] "1010" -> "10100" [label="left",arrowhead=normal] "1010" -> "10101" [label="right",arrowhead=normal] "1011" -> "10110" [label="left",arrowhead=normal] "1011" -> "10111" [label="right",arrowhead=normal] "1100" -> "11000" [label="left",arrowhead=normal] "1100" -> "11001" [label="right",arrowhead=normal] "1101" -> "11010" [label="left",arrowhead=normal] "1101" -> "11011" [label="right",arrowhead=normal] "1110" -> "11100" [label="left",arrowhead=normal] "1110" -> "11101" [label="right",arrowhead=normal] "1111" -> "11110" [label="left",arrowhead=normal] "1111" -> "11111" [label="right",arrowhead=normal] "00000" -> "000000" [label="left",arrowhead=normal] "00000" -> "000001" [label="right",arrowhead=normal] "00001" -> "000010" [label="left",arrowhead=normal] "00001" -> "000011" [label="right",arrowhead=normal] "00010" -> "000100" [label="left",arrowhead=normal] "00010" -> "000101" [label="right",arrowhead=normal] "00011" -> "000110" [label="left",arrowhead=normal] "00011" -> "000111" [label="right",arrowhead=normal] "00100" -> "001000" [label="left",arrowhead=normal] "00100" -> "001001" [label="right",arrowhead=normal] "00101" -> "001010" [label="left",arrowhead=normal] "00101" -> "001011" [label="right",arrowhead=normal] "00110" -> "001100" [label="left",arrowhead=normal] "00110" -> "001101" [label="right",arrowhead=normal] "00111" -> "001110" [label="left",arrowhead=normal] "00111" -> "001111" [label="right",arrowhead=normal] "01000" -> "010000" [label="left",arrowhead=normal] "01000" -> "010001" [label="right",arrowhead=normal] "01001" -> "010010" [label="left",arrowhead=normal] "01001" -> "010011" [label="right",arrowhead=normal] "01010" -> "010100" [label="left",arrowhead=normal] "01010" -> "010101" [label="right",arrowhead=normal] "01011" -> "010110" [label="left",arrowhead=normal] "01011" -> "010111" [label="right",arrowhead=normal] "01100" -> "011000" [label="left",arrowhead=normal] "01100" -> "011001" [label="right",arrowhead=normal] "01101" -> "011010" [label="left",arrowhead=normal] "01101" -> "011011" [label="right",arrowhead=normal] "01110" -> "011100" [label="left",arrowhead=normal] "01110" -> "011101" [label="right",arrowhead=normal] "01111" -> "011110" [label="left",arrowhead=normal] "01111" -> "011111" [label="right",arrowhead=normal] "10000" -> "100000" [label="left",arrowhead=normal] "10000" -> "100001" [label="right",arrowhead=normal] "10001" -> "100010" [label="left",arrowhead=normal] "10001" -> "100011" [label="right",arrowhead=normal] "10010" -> "100100" [label="left",arrowhead=normal] "10010" -> "100101" [label="right",arrowhead=normal] "10011" -> "100110" [label="left",arrowhead=normal] "10011" -> "100111" [label="right",arrowhead=normal] "10100" -> "101000" [label="left",arrowhead=normal] "10100" -> "101001" [label="right",arrowhead=normal] "10101" -> "101010" [label="left",arrowhead=normal] "10101" -> "101011" [label="right",arrowhead=normal] "10110" -> "101100" [label="left",arrowhead=normal] "10110" -> "101101" [label="right",arrowhead=normal] "10111" -> "101110" [label="left",arrowhead=normal] "10111" -> "101111" [label="right",arrowhead=normal] "11000" -> "110000" [label="left",arrowhead=normal] "11000" -> "110001" [label="right",arrowhead=normal] "11001" -> "110010" [label="left",arrowhead=normal] "11001" -> "110011" [label="right",arrowhead=normal] "11010" -> "110100" [label="left",arrowhead=normal] "11010" -> "110101" [label="right",arrowhead=normal] "11011" -> "110110" [label="left",arrowhead=normal] "11011" -> "110111" [label="right",arrowhead=normal] "11100" -> "111000" [label="left",arrowhead=normal] "11100" -> "111001" [label="right",arrowhead=normal] "11101" -> "111010" [label="left",arrowhead=normal] "11101" -> "111011" [label="right",arrowhead=normal] "11110" -> "111100" [label="left",arrowhead=normal] "11110" -> "111101" [label="right",arrowhead=normal] "11111" -> "111110" [label="left",arrowhead=normal] "11111" -> "111111" [label="right",arrowhead=normal] "000000" -> "0000000" [label="left",arrowhead=normal] "000000" -> "0000001" [label="right",arrowhead=normal] "000001" -> "0000010" [label="left",arrowhead=normal] "000001" -> "0000011" [label="right",arrowhead=normal] "000010" -> "0000100" [label="left",arrowhead=normal] "000010" -> "0000101" [label="right",arrowhead=normal] "000011" -> "0000110" [label="left",arrowhead=normal] "000011" -> "0000111" [label="right",arrowhead=normal] "000100" -> "0001000" [label="left",arrowhead=normal] "000100" -> "0001001" [label="right",arrowhead=normal] "000101" -> "0001010" [label="left",arrowhead=normal] "000101" -> "0001011" [label="right",arrowhead=normal] "000110" -> "0001100" [label="left",arrowhead=normal] "000110" -> "0001101" [label="right",arrowhead=normal] "000111" -> "0001110" [label="left",arrowhead=normal] "000111" -> "0001111" [label="right",arrowhead=normal] "001000" -> "0010000" [label="left",arrowhead=normal] "001000" -> "0010001" [label="right",arrowhead=normal] "001001" -> "0010010" [label="left",arrowhead=normal] "001001" -> "0010011" [label="right",arrowhead=normal] "001010" -> "0010100" [label="left",arrowhead=normal] "001010" -> "0010101" [label="right",arrowhead=normal] "001011" -> "0010110" [label="left",arrowhead=normal] "001011" -> "0010111" [label="right",arrowhead=normal] "001100" -> "0011000" [label="left",arrowhead=normal] "001100" -> "0011001" [label="right",arrowhead=normal] "001101" -> "0011010" [label="left",arrowhead=normal] "001101" -> "0011011" [label="right",arrowhead=normal] "001110" -> "0011100" [label="left",arrowhead=normal] "001110" -> "0011101" [label="right",arrowhead=normal] "001111" -> "0011110" [label="left",arrowhead=normal] "001111" -> "0011111" [label="right",arrowhead=normal] "010000" -> "0100000" [label="left",arrowhead=normal] "010000" -> "0100001" [label="right",arrowhead=normal] "010001" -> "0100010" [label="left",arrowhead=normal] "010001" -> "0100011" [label="right",arrowhead=normal] "010010" -> "0100100" [label="left",arrowhead=normal] "010010" -> "0100101" [label="right",arrowhead=normal] "010011" -> "0100110" [label="left",arrowhead=normal] "010011" -> "0100111" [label="right",arrowhead=normal] "010100" -> "0101000" [label="left",arrowhead=normal] "010100" -> "0101001" [label="right",arrowhead=normal] "010101" -> "0101010" [label="left",arrowhead=normal] "010101" -> "0101011" [label="right",arrowhead=normal] "010110" -> "0101100" [label="left",arrowhead=normal] "010110" -> "0101101" [label="right",arrowhead=normal] "010111" -> "0101110" [label="left",arrowhead=normal] "010111" -> "0101111" [label="right",arrowhead=normal] "011000" -> "0110000" [label="left",arrowhead=normal] "011000" -> "0110001" [label="right",arrowhead=normal] "011001" -> "0110010" [label="left",arrowhead=normal] "011001" -> "0110011" [label="right",arrowhead=normal] "011010" -> "0110100" [label="left",arrowhead=normal] "011010" -> "0110101" [label="right",arrowhead=normal] "011011" -> "0110110" [label="left",arrowhead=normal] "011011" -> "0110111" [label="right",arrowhead=normal] "011100" -> "0111000" [label="left",arrowhead=normal] "011100" -> "0111001" [label="right",arrowhead=normal] "011101" -> "0111010" [label="left",arrowhead=normal] "011101" -> "0111011" [label="right",arrowhead=normal] "011110" -> "0111100" [label="left",arrowhead=normal] "011110" -> "0111101" [label="right",arrowhead=normal] "011111" -> "0111110" [label="left",arrowhead=normal] "011111" -> "0111111" [label="right",arrowhead=normal] "100000" -> "1000000" [label="left",arrowhead=normal] "100000" -> "1000001" [label="right",arrowhead=normal] "100001" -> "1000010" [label="left",arrowhead=normal] "100001" -> "1000011" [label="right",arrowhead=normal] "100010" -> "1000100" [label="left",arrowhead=normal] "100010" -> "1000101" [label="right",arrowhead=normal] "100011" -> "1000110" [label="left",arrowhead=normal] "100011" -> "1000111" [label="right",arrowhead=normal] "100100" -> "1001000" [label="left",arrowhead=normal] "100100" -> "1001001" [label="right",arrowhead=normal] "100101" -> "1001010" [label="left",arrowhead=normal] "100101" -> "1001011" [label="right",arrowhead=normal] "100110" -> "1001100" [label="left",arrowhead=normal] "100110" -> "1001101" [label="right",arrowhead=normal] "100111" -> "1001110" [label="left",arrowhead=normal] "100111" -> "1001111" [label="right",arrowhead=normal] "101000" -> "1010000" [label="left",arrowhead=normal] "101000" -> "1010001" [label="right",arrowhead=normal] "101001" -> "1010010" [label="left",arrowhead=normal] "101001" -> "1010011" [label="right",arrowhead=normal] "101010" -> "1010100" [label="left",arrowhead=normal] "101010" -> "1010101" [label="right",arrowhead=normal] "101011" -> "1010110" [label="left",arrowhead=normal] "101011" -> "1010111" [label="right",arrowhead=normal] "101100" -> "1011000" [label="left",arrowhead=normal] "101100" -> "1011001" [label="right",arrowhead=normal] "101101" -> "1011010" [label="left",arrowhead=normal] "101101" -> "1011011" [label="right",arrowhead=normal] "101110" -> "1011100" [label="left",arrowhead=normal] "101110" -> "1011101" [label="right",arrowhead=normal] "101111" -> "1011110" [label="left",arrowhead=normal] "101111" -> "1011111" [label="right",arrowhead=normal] "110000" -> "1100000" [label="left",arrowhead=normal] "110000" -> "1100001" [label="right",arrowhead=normal] "110001" -> "1100010" [label="left",arrowhead=normal] "110001" -> "1100011" [label="right",arrowhead=normal] "110010" -> "1100100" [label="left",arrowhead=normal] "110010" -> "1100101" [label="right",arrowhead=normal] "110011" -> "1100110" [label="left",arrowhead=normal] "110011" -> "1100111" [label="right",arrowhead=normal] "110100" -> "1101000" [label="left",arrowhead=normal] "110100" -> "1101001" [label="right",arrowhead=normal] "110101" -> "1101010" [label="left",arrowhead=normal] "110101" -> "1101011" [label="right",arrowhead=normal] "110110" -> "1101100" [label="left",arrowhead=normal] "110110" -> "1101101" [label="right",arrowhead=normal] "110111" -> "1101110" [label="left",arrowhead=normal] "110111" -> "1101111" [label="right",arrowhead=normal] "111000" -> "1110000" [label="left",arrowhead=normal] "111000" -> "1110001" [label="right",arrowhead=normal] "111001" -> "1110010" [label="left",arrowhead=normal] "111001" -> "1110011" [label="right",arrowhead=normal] "111010" -> "1110100" [label="left",arrowhead=normal] "111010" -> "1110101" [label="right",arrowhead=normal] "111011" -> "1110110" [label="left",arrowhead=normal] "111011" -> "1110111" [label="right",arrowhead=normal] "111100" -> "1111000" [label="left",arrowhead=normal] "111100" -> "1111001" [label="right",arrowhead=normal] "111101" -> "1111010" [label="left",arrowhead=normal] "111101" -> "1111011" [label="right",arrowhead=normal] "111110" -> "1111100" [label="left",arrowhead=normal] "111110" -> "1111101" [label="right",arrowhead=normal] "111111" -> "1111110" [label="left",arrowhead=normal] "111111" -> "1111111" [label="right",arrowhead=normal] }