src_tokenizer_C2.json

{"base": "byte8", "id_to_str": ["[PAD]", "[BOS]", "[EOS]", "[UNK]", "00010011", "00100001", "00101110", "00110101", "01000000", "01000100", "00010010", "01110100", "00111011", "00100000", "00100100", "01010111", "01000010", "01011111", "00110010", "01101110", "00101101", "00111110", "01110101", "01011100", "01010001", "00100111", "00111111", "00111000", "01010110", "01011011", "01011010", "00101100", "01011110", "01010101", "00100011", "01010010", "01100001", "00111010", "01010011", "00101111", "01011101", "01111110", "00110001", "00010000", "00010110", "00100110", "00101001", "01000110", "01000001", "00111100", "00111001", "00100010", "01110000", "00101011", "01101100", "00101000", "00111101", "00100101", "00110011", "01100100", "00001100", "01011000", "00011010", "01000101", "00101010", "01001011", "01011001", "00000100", "00011111", "01010100", "00011100", "01111000", "01000011", "00000110", "00001011", "01111001", "00000011", "00110100", "00001101", "01100110", "00000010", "01111011", "01110010", "01111010", "01111101", "01110110", "01000111", "01100010", "01110001", "00001001", "00110111", "00010101", "00110110", "00011011", "00000111", "01110111", "01100011", "00000101", "00001000", "01100111", "01001111", "01001010", "00001010", "01010000", "00011000", "00001110", "00010001", "01001001", "01111111", "00011110", "01110011", "00000000", "00010100", "01111100", "01001110", "01100101", "00010111", "01100000", "00011001", "01001000", "00001111", "00011101", "01101011", "01001100", "01101010", "01101001", "00000001", "01101111", "01101000", "00110000", "0010100101110000", "0101010100010010", "0101011100010110", "0010010001101110", "0101011100010000", "0011010100010010", "0010101101101100", "0101001101100001", "0001001001000100", "0001001001000010", "0100000100010110", "0100000100010000", "0011001001101110", "0011111101110000", "0011110101101100", "0110000100111010", "0010010001011010", "0100011001011000", "0100011001011110", "0011010100100110", "0011100000111000", "0010101001101100", "0101011000010110", "0010100001110000", "0010001100010010", "0100001100010010", "0101011000010000", "0010010101101110", "0010000001101100", "0100010101100001", "0010001001110000", "0101110000010110", "0101001101000010", "0010111101101110", "0101110000010000", "0101011101000100", "0101001101000100", "0010010100111110", "0101011101000010", "0101101101011000", "0101101101011110", "0101010000010010", "0011010000010010", "000100100100010001011010", "0101001101011110", "0010110100111110", "011000010011101000100100", "0010100100100010", "0010101100111110", "001010010010101101101100", "0011010101000000", "0010010000111100", "0101001001100001", "0100011001011001", "0100011001011111", "0101010101000000", "0101001101011000", "0011101001101100", "0011100001110000", "0100011000010000", "0011010101101110", "0100011000010110", "0101110001010111", "01000110010110000101011100010110", "00100100010110100101010100010010", "0101001100110011", "00110101001001100010100101110000", "0101110101011110", "0010011100100010", "0010111100100010", "0101110101000010", "0010001100111110", "0010110100100100", "00111000001110000101011100010000", "0010100000100000", "0010000000111100", "0101110101011000", "0010110100100010", "0101000101011100", "0010000000100000", "0110000100111010001001000011010100010010", "0001001001010111", "0101001101011010", "0101000101011110", "01000110010111100010010001101110", "0001001001000100010110100101001101100001", "0011000101011100", "0001001001011001", "0010111100111000", "0001001001011111", "0001001001000010001010010010101101101100", "0101110101000100", "010101010101011000010110", "001001000010101001101100", "0010111000111100", "0100000001011001", "0100000001011111", "001010110010100001110000", "0101101101000010", "0010001100100010", "001101010101011000010000", "0011010101110000", "0010100100111110", "0100101100010110", "0011011101101100", "0101101101000100", "0011100001101110", "0100000001010011", "0100101100010000", "0010000100111110", "0101110001010001", "0101011101011110", "0101000101011111", "0101011101011000", "0100000001010101", "0010111100111110", "0011111101000000", "010100110010010101101110", "0010000000100010", "0101110101010000", "0100111101100001", "0010111100101001", "0101001101011100", "0100000101000010", "0011111100100100", "0100000101000100", "010101110101010000010010", "0010001101110000", "0101111101000000", "0001001001010001", "0011001100101011", "001010010011010000010010", "0101110100010110", "0010111001101110", "0010000101101100", "0010110100111100", "001011110010101001101100", "0101110100010000", "0011000101011110", "0101110101000101", "0101110101000011", "0010100001101100", "0011000101000000", "0010000100111001", "0010101100100010", "0010101001110000", "0101110101010110", "0011111101010100", "0101010000010110", "0101000101011001", "0010000100100010", "0010011101101110", "0010001100110110", "0110000100101111", "0011010100100111", "0010001100100101", "0010000000111010", "0101101101010101", "0011010101011100", "001011100010100001101100", "0100000101011001", "0101101001011001", "010101110101001001100001", "0100000101011111", "0101011100110011", "0010111000100000", "0010010000100000", "0011100000111111", "0011110000101001", "001000010010101001110000", "0101000101000000", "0010100100010010", "001111110101010000010000", "0010000001101110", "01010011010111100101011000010110", "0010011001101110", "00100000001000000010100001110000", "0010111100111111", "0010110101110000", "0101001100010000", "0101111001011111", "0010111100100000", "0011111000110101", "0101010100010110", "0101001100010110", "00101101001111100101011000010000", "0100011101000010", "0101010100010000", "0101111001011001", "0100011101000100", "0010110100100011", "001101010100000000010000", "0011100101011100", "0010101101110000", "0010100000111010", "001000010010001001110000", "0010111100111010", "0101010101011100", "0100100100010010", "001001000011110001101100", "001011110010100101101100", "0101101101010011", "001110010101110001010111", "001001100010100101110000", "001001110010001000110111", "010101010100000000010110", "0101100100110011", "0101101001011111", "001010110011111001110000", "0010110101101110", "0010001001010111", "001011100010000001101100", "0010100101101110", "001111110101110000010000", "001010000010000001101100", "0001001001000101", "0010110100100111", "0110000100111001", "0010100100100111", "01010011010110000010010101101110", "0010111000111011", "0101011101000101", "01011011010111100101010100010110", "001001110010001001110000", "0001001001010100", "00100101001111100101010100010000", "001110010101110000010000", "0101011101011010", "0001001001000011", "00110001010111000101010000010010", "0010010100100100", "00101000001000000010101101110000", "0101000101000100", "0110000100111101", "010100110011001101101110", "0101101101011111", "00101111001000100011010000010010", "0011001000111010", "0001001001010010", "0100011001000100", "0101110101011011", "001101010010000101101100", "0101000101000010", "00010101001001100010100101110000", "0101010101011110", "0010010000111001", "0001001001000001", "0101101101011001", "0100000001010111", "001001000101110100010000", "01011011010110000010011001101110", "001100010100000100010000", "0011111000111111", "0100011001000010", "0011100000111001", "0101011101010011", "0001001001010101", "0001001001010011", "0101001101000101", "01010001010111000101001001100001", "0101011101010111", "0101001101000011", "001000000011110101101100", "0001001001000111", "0100010101011111", "001001000011110101101100", "0101101101000011", "0001001001011110", "0010001100111100", "0101111101011111", "001010110011111101110000", "0010010100110011", "0101011101010101", "0101011101010010", "0101101101000101", "0010100100100011", "0010100000111101", "001101010100000100010000", "0010010000111101", "0001001001011000", "0010111100100001", "0101011001011001", "0011001100100001", "0010010001110000", "0101000101011000", "0010010100100011", "01100001001110100010001101110000", "0101111101011001", "0011111100111001", "0101011001011111", "0010111101101100", "010100110100001100010010", "0101011101000011", "0010100000100010", "0100010101011110", "0101110001010011", "0101011001010011", "0100011001010011", "0100000101010011", "0010010000100010", "00010010010001000101110100010110", "0010100000101101", "0010000000111001", "010100010100000100010110", "0011110000100011", "0100011001010111", "001011010010001100010010", "001011110011111101110000", "0101110101011101", "0010100100111100", "001010010010001100010010", "010101110100010001100001", "0101101101010111", "0100000101000101", "0101110001011111", "0010000000100011", "0101011101010001", "0011010000111100", "0100010101011001", "0011101100111110", "00010010010111110101010000010110", "0101111001010111", "0101101000010110", "0010010100111100", "0101010101011111", "0100010101010111", "010101110100001100010010", "0011001000100111", "0101001101011001", "0010001000100110", "0101111100010000", "0100000101000011", "010111010101100001100001", "0011001100100111", "0001001001000110", "0011111101011100", "00010010010000100010111001101110", "001001000011010100010010", "0101101101010001", "0101010001011001", "0101010001011111", "0011100000100010", "0101001101011011", "010100110100010101100001", "0101101101011100", "0010111000100011", "0010110001101110", "001101010101110001000100", "010101010100000100010110", "0010111000100010", "0101011101010100", "0001001001000000", "0011111000111001", "0001001001010000", "0011000101000110", "0101001101011101", "0101001101010010", "0100011101011110", "0010000000101001", "0101101101011010", "010100010101111000010110", "0010000000111101", "0011010100111100", "0100001001011001", "0101000101010111", "0101110001000010", "00110101001001110010001100111110", "001100010101110000010000", "0100011101011000", "001000000010000001101100", "0101101000010000", "0010110100111101", "0010100100110100", "00101000001000010010001001110000", "001001000101101000010000", "0010000101110000", "010111000101000101100001", "001000000010001001101100", "0010110100110011", "010110100101001101100001", "0101001101010100", "0010100100101011", "0101110101000110", "0011010000100000", "01011011010111110101110000010110", "0010111100101010", "00010010010110010010011101101110", "010111010101000001100001", "0010100100100100", "001000000011101001101100", "0101111001010001", "0010101100111000", "010101010101110001000010", "0010000100100000", "0100001001000010", "0010100100101111", "0010010000101101", "001010110010001000100100", "0101001101000110", "001100010100011000010000", "001011110010000001110000", "0101110001011001", "0010100000111000", "0101101101000000", "0010111100100111", "0001001001010111001011110010101001101100", "0110000100101100", "0100001001011111", "0001001001010110", "001010000011110101101100", "0010111100100100", "00100101001111110101110000010000", "0011001101101110", "001100010101111000010000", "0001001001100100", "0100001001000100", "0101101001010111", "001011100011110001101100", "01100001001000010010101001110000", "0010111100101011", "010111110101010000010110", "0011100100100010", "0010100100110001", "0101111101010111", "001101100101110101000010", "001111110100000000010000", "010101110100010101100001", "0100000101010101", "010111110010111101101110", "0101101101000110", "0001001001100010", "0101110101011010", "0101011101000110", "0101110101011100", "0101011101011100", "001001110010000100111110", "001101010010011001101100", "0101111000010000", "001100100011101001101100", "0110000100111110", "010110010101110000010110", "0100000101011000", "0101110101000000", "00010010010001000101101001010011", "0100000101011110", "010110100101010100010010", "0010100000111001", "0101111001010011", "0010010100100010", "001011010011011101101100", "0010111100111011", "0101001101000000", "0010111000111001", "0101000101010001", "001110000101011100010000", "0010001000100101", "0110000100100110", "0010100000111100", "01000101010100010100000100010110", "0010101000111001", "00110101001010110010100001110000", "0101110101000111", "0010000001110000", "0010001100100011", "01011011010110010010111101101110", "001011110010001001110000", "00111011001100010100000100010000", "0001001001110111", "0101001101010101", "010110110100001100010010", "0110000100101000", "00110110001011110011111101110000", "0101011101011011", "0001001001110001", "010110010010011101101110", "0101110001010101", "0100010101011000", "0010110100100000", "0010100100110011", "010100010100011000010110", "0010111100111100", "0101011101000000", "0001001001011011", "010101000101111101000000", "0101010101011000", "0100010001011001", "01010111001011110010101001101100", "0011010000111101", "0010111100111001", "0101000101010011", "0101011001010101", "0101101101011011", "001101010001001001000100", "0101101101010010", "0010100000110101", "010101000101100100110011", "0110011001011110", "010101010001001001000010", "0101101001010011", "0101111001010101", "0010010100101011", "001001010010001100010010", "0010000100111111", "0101010001000010", "01000101010101110011001001101110", "0101110101000001", "0010001000111010", "010110110101100001100001", "0001001001011101", "0100010001011111", "0011101100111000", "0001001001100101", "0010011100111110", "0010000000111111", "0010100100111101", "0110011001011000", "010100010101110001010010", "0100010001010011", "0101111000010110", "0001001001100011", "0101000001010011", "0010100000101010", "0011001000100110", "0101010001000100", "0010010101000000", "0101101101010100", "011000010010111101101100", "001101010011110101101100", "0010010100100111", "001101010101110000010000", "0101111101010001", "0100011101011010", "00101110001010000110110000100100010110100101010100010010", "0001001001110010", "0011111100110101", "00100111010100110100001100010010", "0010010000111010", "0110000100101010", "001100010100011001011001", "0010001100100111", "0011010100101011", "0001001001110101", "0101111101010011", "0010010100111101", "0011010000100010", "0100011101000011", "0010000000110101", "0011101100100010", "010110110100010101100001", "0100011101000101", "0011111100111000", "001011110011101001101100", "0010010100100110", "001001000010000001101100", "00010010010110010101110000010110", "0011101100111001", "0010110100101011", "0010010000100011", "001110010101110101011110", "0010100000100011", "0101111001011100", "0101111100010110", "0001001001010001010111000101001001100001", "0010000000101010", "0101101101011101", "0010111000110101", "0110000100101111001000100011010000010010", "0010000000101101", "0100000001010001", "0010110100110100", "0001001001110011", "0010110100100001", "0100011101011100", "0010010000111111", "01000110010100110010010101101110", "0010111000111101", "0101000001010101", "0011001000111101", "0011001000101011", "0010010100110111", "0011011000100111", "001011010010101101101100", "0010111100101101", "0010111100111101", "0100011001000101", "0101100100010000", "0011111000110001", "0011011000100110", "0100011001000011", "0001001001111101", "0110000100101101", "0010101001101110", "0001001001110100", "0010010000111000", "0010001000100001", "001110000010001100010010", "010100110110000100111010", "0010111000111010", "0001001001111000", "00100011001101100001001001000100010110100101001101100001", "01011101010101100001001001000010001010010010101101101100", "0101110001010010", "0101110001000101", "0010000000110001", "00011010001001000011010100010010", "000010000010000001101100", "00010010010111110010111101101110", "0001001001111011", "0100011001010001", "01011101010100000110000100111010001001000011010100010010", "0101110101011001", "00111111010101000001000001000110010111100010010001101110", "0010110100101111", "0101010101011001", "01100001001001110010001001110000", "0011101100111111", "001100010101110001010100", "0100000000010110", "010101110011010101101110", "010101100101110101000100", "0110000100100011", "0010011000100110", "010001100100001100010010", "0011100100111110", "010100010101111001011010", "0001001001111110", "0011110000100010", "001110010100000100010000", "0010110100111011", "00101001001000100101011100010000", "0010110000111110", "0010111000111110", "010100110101101000010110", "01000101010110010100011001011110", "0011010000111010", "0011000100100010", "001000100010000100100010", "001001110101101101000100", "001010000010001100100010", "0100001001010011", "010111000100101100010110", "01100110010110000101011100010110", "0101111001011010", "0011100000110101", "0010001100101011", "0011111100111111", "0101010101010111", "01000110010101010101011000010110", "001011110010001000110100", "00111011001110010100011001011000", "001011010010010001110000", "0010111000100101", "0010110100110111", "00000100010110100101010100010010", "0010010001011010010100010100011000010110", "0010011100100111", "001000100010101101101100", "0010111100111000001110010101110101011110", "00101001001011110011100001110000", "00111000001110000101001101000100", "0010001100111101", "00111000001101010101011000010000", "010111100100111101100001", "0100011001010101", "010001100100010101100001", "0011011100100111", "01000110010110000101001101000010", "0101011101011111", "001011110011110101101100", "00011000001110000101011100010000", "0100011001011111001011100010000001101100", "0010010000110001", "001011110011111101011100", "0001001001111001", "0101001101010001", "0101011101011001", "0010010100110100", "010100110101100001100001", "001000100010011001101100", "00110101001001100010110100100100", "0010010000101011", "0011100000110001", "00110110001001110011100000111000", "010111100101010100010010", "001001100101011101000010", "0011100100100011", "001100110101110101011110", "0100011101010011", "0001001001011010", "0101001101010011", "0101000001011001", "010001100101100101100001", "0001001001111010", "0100000001000011", "0011101000111001", "0101110101010100", "00100100001111000010100101110000", "01010111010111100100011000010110", "0010100000100101", "00100111001000010011111001110000", "001100100010101101101100", "001101010010101101101100", "0001001001111111", "01100110010111100010010001101110", "0010111000111000", "0010110100111001", "0010001000100111", "00100101001001000101101000010000", "01010111010000100101011100010110", "00101000001110100010010001110000", "00100100001000000011100001110000", "0010011101011011010001000101101000010110", "010100010101010100010010", "0010000000111000", "00101001001111100100011000010000", "0010010000101111", "0011001000111011", "001011000010101101101100", "0101110101011111", "001101010010101100111110", "001000000010100100010010", "0011010100111010", "001000110011011101101100", "001011110011010100010010", "00111000001110010101110101011110", "0100001001010111", "0100000001000101", "01010100010111110100000000010110", "0101110101010010", "0010100000101001", "001011010010001001101100", "0001001001111100", "001011110010101101101100", "001001000101011101000010", "0011111100100011", "010001100101010101000000", "010111100100100100010010", "0010101000100010", "001000000011010100010010", "00101010001111110100000000010000", "01010111010001000010010001101110", "00110101001010110011111001110000", "0110000100100111", "0100010100010110", "001101110010101101101100", "0100001001011010", "0110000100011101", "0101000101010101", "0010010000110101", "0010001100111011", "0010100100111001", "0010010000111110", "0110000100111001001011010010001100010010", "0101000001000011", "0011000101011111", "001010000010000100100010", "01010011001100110010101101101100", "0101000101011011", "001011110010010100111110", "0101011101011101", "0010100100100001", "001111110100000001000100", "001100100100101100010000", "01010100010110010011001101101110", "0011111100100101", "011000010011101000100100001100010100011000010000", "001011110010000000111100", "0010000000111110", "0101000001011111", "00101011001111100011010100010010", "00101001001001110011111101110000", "010111100101001101100001", "0101001101011111", "0101011001010111", "001100100110111000101101001111100101011000010000", "00110101010000000101010100010010", "00101000001000000110110000100100010110100101010100010010", "0001001001000001001000000011110101101100", "0100011001011110001000000011101001101100", "0101010101000100", "0011110000111100", "0100010100010000", "0101011101000111", "001100110010101101101100", "0010111100110101", "0010110000100111", "001100110101011100010000", "0100011101010001", "0010110000101100", "0011100100100100", "0100010101010011", "01000110010100110011001101101110", "0110000100001111", "001001010011111101011100", "001100010100000000010000", "0001001001011100", "0100011101010100", "0100011101010010", "001111000010001100111101", "0010000100110001", "011000010011110000101001", "01011011010111100001001001000010001010010010101101101100", "0100010101011111001101010010011001101100", "0010111100100101", "0010000000100101", "0100000101000110", "010100010101110000010110", "0010001100100000", "0101000001000101", "0101101001010101", "001111000100101100010000", "0100011101010101", "0101011001000101", "01000110010101010100000000010110", "0011110000111111", "01011011010000100010100101101110", "0011110000100101", "001101110010101100111110", "00100101001111100001001001000100010110100101001101100001", "01100001001110100010010000110101", "00101001001000100100000100010000", "001000010011111001110000", "010001000101010100010010", "010000010101010100010010", "0100011101011011", "001001000101101001010101", "010001000101010101000000", "001001000010111100111110", "0011001000111110", "01011011010110000110000100111010001001000011010100010010", "001000010011100100111110", "0010000100110101", "001011010011010000010010", "0110000100100010", "010001100101001100110011", "001000000010101001101100", "0010001000100010", "001011110110111000111000001110000101011100010000", "0101000101011010", "000100100100001000101001001011110011100001110000", "0101011001000011", "0101101001010001", "0011011001101110", "01010111010110000011010101101110", "0011101101110000", "0101111001001001", "010111000101011100010110", "001101000011101001101100", "001101100100000001011111", "001011010010010001011011010111110101110000010110", "00100001001010100111000001000110010110000101011100010110", "0010110100100101", "0101001101001001", "001000000011110001101100", "0010000000100111", "010001100101001101100001", "000100100100010001011010010101110011010101101110", "00100100001101010100000000010000", "0110000100001101", "0100000101010111", "001011100010001101101100", "0011000100100001", "001101010011011101101100", "0100000000010000", "0010000000101100", "010100010100000000010110", "0010110100101001", "0010111100101000", "010001010101010101000000", "001110010101110001000100", "001110100011010101000000", "0010101100111111", "010100010101111101011111", "010100110101010000010010", "001110000011010101000000", "010111110100000001000010", "0101111101010010", "0010111101110000", "001000100101011101000011", "001000000100000001011111", "0001001001100000", "001011000011010101110000", "001011100011101100100010", "001011010010001100111101", "0010111000111111", "0101101001000100", "0101010101000010", "00100100001111000011111101110000", "011000010011101000100100001101010001001001000011", "0011000100101011", "010000010101001101100001", "00111001010111000001000001000110010111100010010001101110", "0001001001100110", "0011101100110101", "0010110000100011", "0011110000111001", "000100100100001100010010", "0010011101110000", "0101010001010011", "0001001001000111010100110100010101100001", "0010111000101001", "001011010010101001101100", "01011010010110010100000100010110", "01011111010101010101110001000010", "010100010101001101100001", "00010010010000100010100100101011", "0010101000111111", "0011010000100011", "0011011000101011", "0010010001011010010101010001001001000101", "00100111001111000010001100111101", "0101110101010001", "0100011101010111", "001001000010101001101100001001000101110100010000", "0100001000010000", "0010011100111010", "001000110100011000010000", "00110011001000010010000101110000", "010110100011100001101110", "0101001101010111", "00111110001111110101111100010000", "0001001001011111010101000001011000110101001001100010100101110000", "0010000100110010", "00100001001101010101110001000100", "0100001001010101", "0010110100110010", "010100100100101100010110", "001010000011101001101100", "0101000100010000", "00101100001010110010001000100100", "0101110101010101", "0011010100010010010111110101010000010110", "000100100100010101100001", "0011000101101110", "0010001000111111", "0010011101010111010000100101011100010110", "010101000011100001101110", "01010111010001000011001001101110", "0011010100100010", "0101110101010011", "001000110010010101011100", "0101010101000101", "0010111100110001", "010100000100111101100001", "00100100001110010100000100010000", "0011011001000000010111110101111100010110", "0010110100100110", "00101001001010110011111001110000", "010001100100111101100001", "010111000101001101100001", "0101110101010111", "010100110100010001011011010110010010111101101110", "010101110011001101101110", "001000000011011101101100", "001100010011110000100011", "0101000001010111", "00111000001110000101011101000010", "010111000100010101100001", "01010111010101000001001001010111", "0011110000110101", "001100010100000001000100", "001000000011101000100101001111110101110000010000", "0001001001011001001001110110111000111000001110000101011100010000", "0101011101001000", "010100110100001000101000001000010010001001110000", "00101111001011010010100101110000", "0011011000101011001111100011010100010010", "01000110010111110010111000100000", "0011110001110000", "0010010101011100", "0011010100100001", "0011011100101011", "001000110001001001000111", "001100010101111001011100", "0101010101010011", "0010010000110110", "0010110100111010", "0010100100100110", "0010010100111011", "0100011101000110", "0101000001011010", "0110000100100001001010100111000001000110010110000101011100010110", "010110110101011101011010", "0010100000111110", "00101000001010110011111101110000", "00100100011011100010001100110110", "010000100101010101000000", "010111110101110000010110", "01011111001011110010100101101100", "001001100010101101101100", "0011101100110101010000000101010100010010", "0010001001101110", "00010010010100010100000100010110", "01010100010000100101110101011011", "01010111010000100100000100010110", "010111100101010000010010", "010100110101011100010110", "001001110101101001011001", "00111000010110110100001100010010", "010101010101010100010010", "0011000101010110", "01000001010101010101011000010110", "0101011101010000", "0101100101011001", "0010100100101000", "0010101000100101", "010100010100000001000010", "0101000100010110", "0011000100111110", "0011001100101111", "01011010010111110011001001101110", "0100001000010110", "010100110101001001100001", "010100110101101001100001", "00110101001001110010001000110111", "010100000100100100010010", "0010111000100001", "010001000101001100110011", "0101111101010101", "0010110000101011", "0100010101010011001100110010101101101100", "0011001101011010", "00110101001001100010100100100010", "01000110010110010101110101011000", "00010010010101100101110101000100", "00101010001000100101110101011101", "0101010101010001", "0010001000110101", "0111000101011001", "00110010001010110010100001110000", "001011110011111000100100", "0010111000110001", "0101011101001110", "0010100100100000", "0011010000111110", "0010101000110110", "0101010001010000", "0100011101000000", "0101010101000011", "0101100100010110", "001010010011010000010010010001000101110100010110", "0010001100110011", "001000010011100100100100", "0100001001010001", "0011001100111011", "001100110011011101101100", "0011000100100111", "00100111001000100111000001000110010110000101011100010110", "0101101101010000", "0010010100100000", "0011111100100000", "01000000010110010010110001101110", "010101110101001001100001001110100010001101110000", "0001001000111010", "01000001001000000011110101101100", "010110010100000100010110", "00110010011011100010001100110110", "000100100100010001011010010100110110000100111101", "01100001001011110011111101110000", "0011111100110011", "001100010010101100111110", "01011101010001010101010101011110", "0101010001000100001011100010001101101100", "010001110101011101011010", "001101010100000101000100", "0101101101010110", "001111000011010101000000", "001101010001001001000011", "00110010011011100010010100111110", "010100010101111001011111", "001010000010110101101100", "0010011100101011", "01000001010100110010010101101110", "0100010101010101010000000101001101100001", "001101010011101100111110", "001000000010011100100010", "0010010000101001", "0101011101000001", "00100101001010110010100001110000", "011000010011110101101100", "00101111001010110010100001110000", "01010000001011100011110001101100", "000100100100001000101001001010110110110000100011", "010000010100001001100001", "0010110000100001", "001100100110111000111000001110000101011100010000", "010111110101010100010010", "0100000101000000", "00101000001110010101110001010111", "001111010101001101011110", "0111000101011111", "0101111001000101", "0010001100111111", "001001010011110101101100", "0100011101011101", "0100001001000110", "001011010011100101011100", "0011100000100101", "01011010010100110011001101101110", "0010001000101011", "0011000101000110010110010101110101011000", "0110000001011001", "001110000111000001000110010110000101011100010110", "001011010010001100111110", "001111000010100100100011", "0011010101001010", "001000000011010000010010", "001001000011011101101100", "0010110100110110", "011000010011100100100101001001000101101000010000", "0100010001010111", "0010001100100100", "0001010100100110", "0010111100111000001101010101011000010000", "01100001001010000010001100100010", "010111100101001001100001", "0010100100110111", "001110010100011000010000", "00100101001001110010001000110111", "001100110101101000010000", "0000000001101110", "001000010010001000110111", "0100001001000000", "0101110001000011", "0000001000100110", "0000010100111110", "00101001011100000101110101010110", "01011011010101010100000100010110", "01011001001001110110111000111000001110000101011100010000", "010100010100101100010110", "0110000100011010001001000011010100010010", "010100010101110001000010", "001000010011100100100010", "001011100010100100010010", "001000000101011101000010", "0110000100101011", "0110000100000011", "0110000100000111", "001101010001001001000100010110100101001101100001", "0011010100111001", "0101000101000101", "001010100011111101000000", "01100010001010010010101101101100", "0010000000100100", "0101101100010000", "0100011001001001", "0011110100100101", "01010011010001000101011100010110", "00100100001010100110110000100100010110100101010100010010", "0010100000100000001010110111000001000110010110000101011100010110", "0011000101000110010101010101011000010110", "010101110101010000010010010000100010111001101110", "0001001001110000", "0010011100101000", "001011110011010101110000", "00101001001101010101110000010000", "0010100000111111", "0100011101011001", "00101000001110100011010101110000", "0001001001110110", "010001110100001100010010", "001011110010001000100100", "001011110011111001110000", "001010010111000001000110010110000101011100010110", "00110101001000010110110000100100010110100101010100010010", "0110000100011010", "0011100100111100", "0100001101000101", "01010011001100110011110101101100", "00111000001111110001001001000100010110100101001101100001", "001011100011101100111110", "001100010100011001011001010111010101100001100001", "010111000101001001100001", "0101010001010111", "0111101101011000", "00110101010000000100001100010010", "01011011010100110101101000010110", "0100001101000011", "001010010011010000010010010100100100101100010110", "001101010010000100111110", "010000000100111101100001", "0110000100001100", "00111001001011010010001100010010", "0100001100110011", "0111101101011110", "0010010001011010010101010100000000010110", "010101110101010000010010010101000011100001101110", "010000100101110001010011", "00100011001010110011111001110000", "011000010010011100100010", "001010000010100100100100", "001101000101011101000010", "0100011001011111001011110010100101101100", "0110110000100011", "00110111001010110011111001110000", "0011000000111011", "001100010101110001000100", "010111110100000000010110", "00101001001001110010111100111000", "001100100011110101101100", "001111110111000001010011010111100101011000010110", "00010010010111110101110000010110", "0001001001100100010110100101001101100001", "0001001001100111", "0101111101011101", "001001010010101101101100", "01000111010100110100010101100001", "01000110010111110001001001000010001010010010101101101100", "001001000010101001101100001100100100101100010000", "001010010011010000010010010110010101110000010110", "00010010010100010101110001010010", "010101100101010100010010", "0111111101011111", "010100110101110101011000", "001101000011110101101100", "0101000001000100", "0100000101010001", "0011100100101001001000100101011100010000", "0100011101011111", "01011011010001000100101100010110", "00110001010001100101010100010010", "00101001001011110010100001110000", "001001110011111001110000", "0010000000110111", "0010100001101110", "0010100000111110001111110101111100010000", "010000010001011000100000001000000010100001110000", "001000010011111000100100", "0011010100111011", "01010110010101010101011000010110", "0101111001010010", "0110000101000010", "001010000010001100010010", "01000110010110010110000100111010001001000011010100010010", "01011010010100010101011000010110", "001101010101001101000010", "001000000101111001010001", "00101000001101010101011000010000", "0101000001001001", "0111111101011001", "00100011001001010101010101011000", "01010111010100110010111101101110", "0010010001010111", "0101001101010110", "001001000110111000111000001110000101011100010000", "00110010001001110010001100111110", "001110110011100001011011010100110101101000010110", "0100001001000101", "001011010010100100010010", "010100110101001101011001", "0100011001000111", "010000000101001101100001", "001110110011111100100100", "0100000100101000001110100010010001110000", "0010100000101011", "00101000001011110010001001110000", "01100100010110100101001101100001", "001101010100000001011001", "00100101001001000100101100010000", "0010011101011010010110010101000101011110", "001000010011010100010010", "0010111000101010", "010101100100001100010010", "0011100100111101", "00101101001001000101011100010000", "01010111010101010101110000010110", "01010110010100110010010101101110", "0110000101000100", "0101010001010101", "01011011010000100011100001101110", "0010100000111000001101010100000000010000", "0010010000101010", "001011010011110101101100", "001110000010010101000000", "0101011001000100", "010101100100010101100001", "0110000100100001", "0111000101011000", "00100100011011100010010100111110", "00100101001100110101101000010000", "0101000001000010", "000011100010000001101100", "00110010011011100010110101110000", "010100110011001100100111", "00111111001110010101110101011110", "001000100010010101101100", "010101010001001001000010001010010010101101101100", "00100101001001100101011100010000", "001011100011101001101100", "0100010001010101", "0101000101011101", "001100010100101100010000", "010100010101110001010101", "0010010100111110010101010001000001000110010111100010010001101110", "00100100001010110010001001110000", "0011100000101001", "00100101001101010100000100010000", "0011010000100111", "01010011010001000101101101011001", "010101110101010000010010010111110010111101101110", "01011010010101110010010101101110", "00101110001110000010100100100010", "0101111001000100", "01010000010101010100000000010110", "0111111101010111", "01011101010111100101011100010110", "010110010011001100111010", "001011010010011101110000", "0100000100100100001111000010100101110000", "0101000001010001", "010110010011001101101110", "00010010010100110101110101011000", "00111000001110010101110001010111", "0101111001001111", "0100011001000001", "0011010000101001", "0101101101011000001001100110111000111000001110000101011100010000", "0010000100111101", "0001001001100001", "0100001001011100", "0101111101000011", "00111000001101010100000000010000", "0010001100100001", "0011110000100000", "0000111100111000", "001010010111000001010011010111100101011000010110", "001100010101111001011001", "0011010100010010010001000101110100010110", "010001000101001101100001", "001001000011101001101100", "0110000100000110", "0100010101010101", "00010010010110010100000100010110", "00101110001110110010101100111000", "0001001001100010001010010010101101101100", "001101100010011000100101001100110101101000010000", "010100110110000100111010001001000011010100010010", "001001010010101100111110", "010000010001000001010011010110000010010101101110", "0100011001011110001001000011110001101100", "010101110010111101101110", "0110000100011100", "00101111001011110010000001110000", "0010010100111111", "00100000001101010101011000010000", "0101000101000011", "0011101000110101", "001010010011000101000000", "0001111100100100", "001101100101101101000010", "0000111100111111", "001001000110111000101101001111100101011000010000", "01010011010000100100101100010110", "00101100001011000010100100100010", "0010011000111100", "00101000001011010010010001110000", "0011001100111101", "0010010001011010010101010001001001000010", "010101110101001001100001001011000011010101110000", "00101000001110000010100101110000", "00100100001100010101011000010000", "0011000100111010", "0100011001011010", "0011100100100101001001000101101000010000", "00100000001111000011010101110000", "01010011010111000101111000010110", "01000101010110000101101101010101", "0011111000100101", "0010100100110101", "0010100100110110", "010101110001000001000110010111100010010001101110", "001101010110111000111000001110000101011100010000", "01011100010100010110000100111010001001000011010100010010", "0011001000100001", "00111010001101010100000000010000", "010111010101110101000010", "0011010000101101", "00111111011100000101110101010110", "00101101001000100011010101110000", "001011110010000000111001", "00100110001001100011100001110000", "0100000001000100", "010101110100100100010010", "001110100011010100010010", "0010101100100101", "0011010000101100", "001001000011100101101100", "00101001001101000001001001000100010110100101001101100001", "01011011010101110101101001000010", "00100011001111100101010100010000", "01010011010110100010110101101110", "00101110001000000010101101110000", "010110110101000100101001", "0010000000110100", "01011100010100110010010101101110", "010100110101110101011011", "001111000101011000010000", "0010010100101010", "0111000101011110", "010101110001011000110101001001100010100101110000", "001001000010101001101100001110010101110000010000", "010101100101001101100001", "0010001000111011", "010001110100010101100001", "01010101010000000100010101100001", "01011011010100010101110000010110", "01000100010101010100000000010110", "0101011101010110", "001001110011111101110000", "001110000010100100010010", "0101001101010000", "0010101100111100", "0010001100010010010111110101010000010110", "00100011001111100101011100010000", "00100011001001010100011000010000", "0101011001011111001011110010100101101100", "001010000011110001101100", "001100010001001001000011", "0010101000110101", "01011011010001000100000100010110", "0011100000111100", "0110000100000010", "010101010001001001010111", "01010011010111010101011100010110", "01011011010001100101011100010110", "01100001001011010010001100111110", "001000000100000001010101", "001001000010111100111111", "0101111101000101", "0010110100101010", "010101010010111000100000", "010101010100000001011111", "010100010101111001000101", "001011110011100000100100", "001000010011100100110111", "0011100101011100010101110001001001000010001010010010101101101100", "01010100010111110100000001011011", "010001100100100100010010", "0010010100100001", "01000000010100110010010101101110", "001101010101110001010100", "00100100001111010011100001110000", "0010010100111111010111000100001100010010", "0100001001011000", "010111110011001001101110", "010100010101000101000010", "0110000100001000", "0111000001011001", "0101000001001111", "010110110101100000100110", "00101101001111000101111000010000", "01010111010001010011010101101110", "0100001001000011", "001111110100011101000100", "0101111001000011", "001000110100011001000010", "0101010000010000", "00101001011100000101101101011110", "01011101010001010100011000010110", "001000000010001100100100", "010101010101111101010100", "0011010100101111", "00111000010100110101010000010010", "0010000000100000001010000111000001000110010110000101011100010110", "01100001001001110011111101110000", "00101101001010110010100001110000", "0101011001010001", "0011000100111100", "0011100100110100", "00100000001000100010000001110000", "00100100001110000010100100100010", "01011110010101010101011000010110", "010101010101001101100001", "0101100101011111", "010110010010111101101110", "00101001011100000100011001011111", "001010110011111000111001", "01011101010001100101011101000100", "0010111100110011", "0010011000100111", "00111100001111110100000001000100", "010100000010111000111100", "0101001101000010001010000010000100100010", "0100011001011001010111010101100001100001", "010101010101110001010010", "000100100100000100101000001110100010010001110000", "00101111001000010011100001110000", "010100010101000101011101", "001111000010010100100100", "0010010101101100", "00100100011011100011100000111111", "01011101010111100101010100010110", "00100100010111010001000001000110010111100010010001101110", "0001001001011111001011110110111000111000001110000101011100010000", "010000100101001100110011", "001001110010011100111110", "0011111100110001", "0110000100111100", "010100110100100100010010", "0010100000110100", "00101000001101010100000000010000", "001101010010011100100011001111100100000100010000", "00101000001010010010010000100100", "0010000100100101", "001100100100011101000100", "001110000011111101000000", "0101111001010100", "000100100100001000101001", "001111110100000001010100", "001100010101111001000011", "0101011001000000010110010010110001101110", "0100000101011011", "001010110010110100100010", "001100110101110101011101", "00101111001110000011010100010010", "0001001001010000001011100011110001101100", "0010111000101100", "0010101100111001", "010101110011001100111010", "0101101101011110010101010001011000110101001001100010100101110000", "01011011010101110010111101101110", "01010111010101000001001001000010001010010010101101101100", "00100000001110000010100101110000", "00101110001101010100000000010000", "0110000101011001", "0101010001011010", "0111001101000101", "01010011010000100010010001101110", "00100001001000100111000001000110010110000101011100010110", "00101111001110100010100100100010", "01010111010110010100000000010110", "0011001100100011", "0101000001011100", "0100000100010110001011100010100001101100", "0101001101000010001001000010101001101100", "00100100001110010101000101011000", "001001100010011001101100", "010111110101001101100001", "001111110011010100010010", "010000010100001100010010", "0010010101110000", "001101100010000001101100", "001011110010001000111001", "0101010100010010010000100010111001101110", "001000110010101101101100", "00101111001001110010001000110111", "0010011000100001", "0011100100100000", "0100101101011001", "0100011101011011010000100010100101101110", "0111001101000011", "001011010010010001000110", "001010110010001000110100", "0101101001011111001000100010011001101100", "01000111010111100101011000010110", "0001001001011001010111000001011000110101001001100010100101110000", "0100000001000010", "001111100101110101000100", "01010011001011110011101001101100", "00110001001000010011111000100100", "01010011010000100101011100010110", "00101001001101000001001001010001", "00101101001111010101011100010000", "00100001001100100101011101000010", "010101110101000101000000", "0010010100110001", "0110000001011111", "000100100100010000100100", "00100011001111100001001001000100010110100101001101100001", "010001010101100001011011010101010010100101101110", "010000000101111001010111", "01000100010101010101011000010110", "00101101001010110011111101110000", "0011100000100111", "001110000011100001010111010110010100000000010110", "00101101001000100100101100010000", "00101111001000010011010100010010", "0110000100111010001000110111000001000110010110000101011100010110", "010000100101101101000010", "001100100010000101101100", "0010001000111001", "0011001100111010", "001011100010001100111100", "010000000100000001011001", "01000100010100110011001101101110", "00100100001001110011111001110000", "00110010001000010010001001110000", "010111100101110101000010", "001100010100011001000100", "001010000010101001101100", "0010010100110101", "010001010101111000101000001011010010010001110000", "01011011010000000010010001101110", "0011100000100011", "0101000000110011001000010010000101110000", "00100101001111100101011100010000", "00100011001000100101011100010000", "010100010101111100010110", "01010111010100100110000100111010001001000011010100010010", "001000000101001101000010", "010101110100111101100001", "001001110101001101000011", "0110000100001010", "001010010010100100010010", "00100101001100010101110000010000", "0101010001010110", "0101001101011010001011010011011101101100", "00101110001111000101011100010000", "01010100010110010100000001000101", "01011001010111000001011000110101001001100010100101110000", "00100010001000010010000100100000", "0100000001011011", "01011011010100010101111000010110", "010101010101001101000100", "001000100011101001101100", "001101000010101101101100", "01010000010111000101011100010110", "00111000011100000101110101010110", "00101101001001000101101101011111", "00100000001111000010100101110000", "0100000001011111001011110010100101101100", "0001001001011110001010000011110101101100", "00101001001000110100011000010000", "01010111010000110100011000010110", "0101000101011110010110100011100001101110", "01000010010111110100000001000010", "0110000101010101", "0110000101010011", "0110000100011110", "0011100100110011", "001100110010111100100010", "00110010011011100011100000111111", "00101001001110010100000000010000", "01000100010100110010010101101110", "010110100101000101000100", "0110000101011111", "001010010010101100111110", "010001100101010100010010", "010000010100010101100001", "00110011001010110010100001110000", "001111000010100100110011", "00101000001110100011111101110000", "00101110001110010010001001110000", "001100100010011001101100", "00100101001101110101101001000100", "01010001010100010101111000010110", "01100001001001100010100101110000", "0011000100100110", "0111000001000100", "0010101000110001", "0011010000101010", "0111001100010000", "00101101001000100101011100010000", "001000010011111000111011", "00101111001111100011010100010010", "00100101001100110101001101011100", "00111111010111000101010100010010", "0010100000101000", "0010010100110110", "0000110101110000", "0111001100010110", "00100000001110100010100101110000", "00100000001000110010100101110000", "001000100011101000100101001111110101110000010000", "0011000101011110010000110101110100010110", "010101110010110101101110", "001010110011111100100100", "00110011001001110010001000110111", "0000000000100011", "01010011010001000010010001101110", "00010010010100010100011000010110", "001011110010000101110000", "01010101010110000100011000010110", "0010111100100000001111000100101100010000", "0111111001011001", "0011110000110001", "001000100010000100111110", "001101110101011100010000", "00110111001010110010100001110000", "01000110010110000101011101000100", "01011101010110000010011001101110", "00010010010101010010111000100000", "0101001101100001001110100010001101110000", "00101010001111110100000001011101", "001100100101011100010000", "0101101100010110", "0101111001011011", "001100010101010001000100", "0010011000111011", "0100011001001111", "0100000101011101", "00101000001011110010000001110000", "0000111000100010", "001101010010011000101001001110010100000000010000", "01011011010111100101011100010110", "00101110001111000010100101110000", "00101101001000110100011000010000", "000100100100011101011011010000100010100101101110", "0001001001000010001011100110111000111000001110000101011100010000", "001011010010111100110101", "001000010011000101011100", "010101100101010101000000", "01011110010100110010010101101110", "0111111001011111", "0101001101000100010101110101001001100001", "01011100010101110010110101101110", "0010010001011010010101010001001001010101", "01010101010111100011010101101110", "001011110010010001011011010111110101110000010110", "01011111001011110110111000111000001110000101011100010000", "0010010001011010010101010101101101000100", "00110010001001110010001000110111", "001011000010011100100010", "0010001100110100", "001011110011100001110000", "0010100100111011", "0111000001011111", "0010100000101100", "001010000011010100010010", "00100101001010110011111001110000", "0100011001011000010101110100010001100001", "00101101001000100101011000010000", "000100100101011101100001", "01010001010111110101110001000010", "00100000001000100011111100111111", "0010000100111001001111000101011000010000", "00101110001000000010100101110000", "01100001001111100011111000111111", "00101000001111000011111100100100", "0110000100100111001000100111000001000110010110000101011100010110", "01000111010101110101101000010110", "001011100011010100010010", "001001110011100001110000", "01010110010101010100000000010110", "0000000000100010", "001001000110111000111011001100010100000100010000", "001001000101101001011111", "0010010001011010010101010001001001000110", "00010010010101110011001001101110", "00110001010000000101010100010010", "01011011010100110011001001101110", "010101010101111001011010", "00101000001111010010010001110000", "0001001001011000010110110100010101100001", "01000001010110000101101101000110", "00101111001111110101110001000011", "010101000101100101000000010001010011010101101110", "00100000001001110010001001110000", "0101101100100100001000000011100001110000", "0010001100110111", "001010010010111100111010", "00100010001010110010100001110000", "01010011010001000011100001101110", "001001110010001000100100", "010100010101110001011111", "00110101010101100001000001000110010111100010010001101110", "00100001001000100011010100010010", "010100010100000001010010", "001000100101011101010011", "01010100010110010011001100100011", "0010000000111011", "010101110101011100110011", "010001010101111101000000", "001101000101101101000011", "00101101001001000101011101000010", "0010110100100100010101110101010000010010", "00010010010110010010111101101110", "00010010010110010100011000010110", "0011111101010100000100000100011001011110", "00100101001001000100000100010000", "00110100001000000010100001110000", "00101011001110000100011000010000", "001011100011100101101100", "00100010001111110100011000010000", "0010001101000110", "0101001101000001", "001100010011110101101100", "00101001001001100101011101000010", "010111000101011101010111", "01011101010110000010010001101110", "001111000010100100110001", "001011110011111100100011", "01010011010110010101110000010110", "00010010010000000100000001011001", "0100000001011000", "001001110101110101000010", "0110000100011001", "001010000010111101101100", "0010101000111100", "001010100010101101101100", "0011000101011110010111000100101100010110", "01000001010111110101110000010110", "01010111001100110010101101101100", "01010000010001010100011000010110", "00100111001110100010100100100010", "0101001101000111", "000010010010101101101100", "001000110001001001010001010111000101001001100001", "010110110101111001010101", "0010010001011010010101010001001001010000", "010100010101110001010001", "001100010100000001000010", "01000001010110010010111101101110", "0101111100101111", "0101001101001111", "001010000010100100100010", "001010000011010101000000", "0111101001011001", "011000010011101000100100001101010001001001000100", "0101110101010000010100110011001101101110", "0100000101011111001011100010000001101100", "001000000010001101101100", "01010001010101110010110101101110", "0100010001010001", "001110000011010100010010", "001110000101011101000010", "01010110010100110011001101101110", "001011000010111100100010", "001011000010000100111110", "0010101100110001", "00110011010111010101110101000010", "00010010010110010101110001000010", "01011101010000110011010101101110", "001111100011010101000001", "010101010101110001010101", "00100101001000110101101000010000", "01011011010101110010110101101110", "01000111010111000101011000010110", "001011100011101000100100001101010100000000010000", "00100010001000010010001000100100", "00101110001001010100011000010000", "01000000010000110100011000010110", "0010011100100001001111100111000001000110010110000101011100010110", "00100011001110110011100001110000", "011000010011101000100100001101010101101101000010", "01010011010101110101011100010110", "010001100101111100101110001000000011111101110000", "0010011100101111", "0111101001011111", "001101100010000101101100", "0000011100100010", "00101111001110100011111101110000", "01011011010001010010100101101110", "0001001101011010", "0010010000100111", "00101111001101010100000100010000", "00101111001100010101111000010000", "001100110101110101000101", "010100000101001101100001", "010000110001001001010111001011110010101001101100", "01011101010000100101011100010110", "001100010101110001011001", "010000010100001000110011", "00010010010001100011001100100001", "00101111001010100010100100100010", "00110010001001100010010100100000", "01010000010101010101011101011000", "01010011010100110101100100010110", "00110101001010110011111101110000", "00110001001011110011111000100100", "0011010001101110", "001011010011111000110101", "00010010010111110011001001101110", "01011011010000100011001001101110", "01100001001011110010001001110000", "010101110101001001100001001001110010001001110000", "010100010100000001010111", "00101111001111110101111101000000", "01011100010111110100011000010110", "01010011010110110010010001101110", "001101010010011100100011001111100101001101011100", "00110001010111110101010100010010", "001111100011111000111111", "0101011001000010", "010101100101101101000100", "0100011101010111010001000010010001101110", "01000110010110000101011101011111", "010100110101111001000011", "010100110101101001010111", "00101101001111000100000101011111", "001001000010001001101100", "00101101001111010010001101110000", "00110100001000100010100001110000", "00101111001111110101110001000100", "01010001010111110101111101000110", "00110011001111010011100001110000", "00101101001110010101110000010000", "0101110001011000", "001000110100011001010001", "0111000001010111", "001100110011110101101100", "0101100101010011", "0101010001000011", "0111111101010011", "01010011010000100101011000010110", "00100000001111000010100001110000", "01010001010111110101110001000101", "00010010010100010101110000010110", "0011000101011100010101000001001001000010001010010010101101101100", "0010111100100010001101000001001001000100010110100101001101100001", "0101101101001010", "001100010101000101000100", "00100010001011110010000001110000", "0010101100110101", "0111110001010111", "00010010010000100101011101010101", "01011101010111100001001001000010001010010010101101101100", "010101010101011000010110001101010010000101101100", "001011110011111000100010", "001111110100000001011011", "001110010101110001010100", "00010010010100110101110101011011", "01010011010000110001001001010111", "001001110010011100111110001000110100011000010000", "001001010100000101000100", "000110010101110000010000", "0000000100110001", "001010000010000000101011", "00100000001000000011010101110000", "0010111000111011001000000011010000010010", "010101010101111000010110", "00111001001000100101011100010000", "001010100011100101000000010000110100011000010110", "01011101010001110101110000010110", "00101101001101110101011100010000", "00110101001110010010001101110000", "01010001010101010100000100010110", "010101100101001100110011", "0101010101010101", "00110010011011100011101100110101010000000101010100010010", "0011010101010110000100000100011001011001", "001000110010010100111100", "01010001010000000100111101100001", "001000100101011101010001", "011000010011100100101001001000100101011100010000", "00010010010100100100101100010110", "01011011010000110101101000010110", "000100100101000000110011001000010010000101110000", "01000010010000100101011101000101", "01011100010110010011010101101110", "00100111001000010011111000111101", "00110100001010010010010001110000", "01010111010100010100000000010110", "01000010010100010100000001000010", "0010110100111000", "010110110101010000010010", "00100011001001100101011101000010", "0110000100001001", "001011110011011101101100", "00100110001001010010001100010010", "010001100011001100100001", "0111100001010111", "0001100000111000", "01010011010111000100000101011001", "0010000000111010001010010011010000010010", "00101110001110110011100001110000", "000100100100000100101001001001110010111100111000", "01010011010000110100011000010110", "001101000011110001101100", "0101101101010001001010010011101001101100", "0101000101011110010001010010111001101110", "0100000001010010", "00100100001100010100000100010000", "0101110001011101", "01011101010110000110000100111010001001000011010100010010", "01010001010110010010111100111010", "01100001001011110011100001110000", "00101110001000000110110000100100010110100101010100010010", "0011000101011100010101000001001001000101", "00101111001111000100011101010100", "0010000100111001001111100101011000010000", "001101010101000101000100", "0010010001000000", "001001000010111100111000", "010100010101000101011111", "00101100001010110010100001110000", "0010001100110010", "0011110000111000", "010000110001001001010111", "0101110101000011001011010010101001101100", "001100010100000001010100", "01000001010110010101110101011000", "00101111001111110101111101011101", "000100100100010100110101", "0001001001000100010111010001011000110101001001100010100101110000", "01010111010101000001001001000010", "010000100100010000101110", "01010111010001100101011101000100", "0011100000100100", "0011000100111011", "00101101001111100100101100010000", "001111110101010001010110", "00100000001110100010100100100010", "001101010101110001000011", "0101001101011110010101100001011000110101001001100010100101110000", "00111111001110000101101101000000", "00101110001101010101011101011110", "01000110010001110101110100010110", "0010000100111001001101110101101000010000", "0110000100000000", "00111001010001100100001100010010", "0011110101010111010111100100011000010110", "001100110101111001000101", "010001100101111000100100001001110011111001110000", "01011011010111100001001001010111", "00100111001000100011010100010010", "01011101010000110100011000010110", "00111111010111000001000001000110010111100010010001101110", "0101001101011000001001010110111000111000001110000101011100010000", "010100010100001000101000001000010010001001110000", "010001010101111001000010", "01010111010111000100101100010110", "0110000100100110001001010010001100010010", "0101010001000010001001000011110001101100", "00111000001001110101110100010000", "001000010010000000111100", "0101110001010000", "0101111001011101", "0101010101001010", "001000110101101001011001", "010100110011001001101110", "010110000101011100010110", "0100011100010000", "0101011100010110001011100010100001101100", "00010010010001000101101001000100", "010100110101101001011111", "00100100001010100110110000110001", "00101000001011010010110100111100", "01100001001011000011010101110000", "001010010011110101010000010101010100000000010110", "00100100001011110011111001110000", "00110101001000100011010101110000", "0001001100101011", "001000110101110100010000", "0110000100000101", "0101100101010101", "0001111100110101", "001101000100000100010000", "001101000101011101000011", "001101100010111100111110", "001101100101110101000101", "01011101010000100100011001011110", "00101000001000000010100101110000", "0101001101011010001100100010000101101100", "01010101010101100001011000110101001001100010100101110000", "00111111001001000101011101000010", "00111111001001000101110101000010", "01010111001100110011011101101100", "00111001010111000101010100010010", "00100000001111010011100001110000", "00110100001111010011100000100010", "01011111010100010101110000010110", "0010101000111111010000000001000001000110010111100010010001101110", "0101111101010010010101110100010001100001", "00101101001001100101011100010000", "00110101001011110010010100111110", "0011001001010111010101010101110000010110", "001011010010111100111110", "0110000100000100", "0100000101011010", "00111100001100010100000001000100", "0011001100101010", "0100101101010011", "001000110001001001000011", "001100110010101100111111", "01000001010110010101010101011000", "00101001001000110101011100010000", "0101101001010111001101110010101101101100", "0101010001011001001100110110111000111000001110000101011100010000", "00100001001100010101110000010000", "010000000100000001010011", "001001000100010101011111", "0011001000101101", "01010001010101010101110001000010", "0101011001010010", "01011110010101010100000100010110", "00101000001010110010100001110000", "00100101001100010101111000010000", "0100010100110101", "0111011001011111", "0000010101110000", "00010010010000100101011101000101", "00100100001111000010110100111100", "001010000010000000101111001111000100011101010100", "00101111001111100010100100010010", "00110010001110100010001100100010", "00101000001011010010110100111110", "0101110001011111001011110010100101101100", "01000111010110100010010101101110", "00100000001011010010011101110000", "00101001001011110011111101110000", "01010011010110000011100001101110", "01011100010101110101001001100001", "001011110011100000111001", "0010001100100101010111100101010000010010", "00110010001110100010100100100010", "00010010010110000101011100010110", "00101110001000110010100101110000", "001011010010000000100101", "01011101010000010010111101101110", "00100011001111010101011100010000", "001101010011110000100011", "001000000010110100100100", "0100001001011110", "001111000101011101010001", "010001010101100100110011", "000010000011101001101100", "010100000101010100010010", "0111001101000100", "0111001101011010", "0010010001011010010110010100000100010110", "001001010011111001010101", "01010011010111100001001001010111", "001011110011111000111011", "01011101010001010100011001011110", "00010010010101000011100001101110", "00110010001001110010101100111110", "0111010001011111", "001001110011101001101100", "001001110010000000111100", "0011000101000010", "0100000101000111", "001000100011010101110000", "00100010001010110011111101110000", "0111101101000010", "0110011101011110", "010001010110000100101111001000100011010000010010", "011000010011101000100100001110010100000100010000", "00101011001111100010001100010010", "01000110010110010101110001010001", "01010111001100110010101001101100", "01010110010110010101110001010001", "01010111010000110101011100010110", "0101010001011111010000000001011000110101001001100010100101110000", "001000000100000001011001", "01011010010101010100000000010110", "0110000100001011", "010001100010010000111100", "010110010101110001000010", "0111101101000100", "0111101100010110", "00000000001110110011111100100100", "000000000010100000111000001101010100000000010000", "01010011010001000010010101101110", "01010011010111100100011000010110", "000100100100010001011010010100110110000100111010", "01011101010001010011010101101110", "0010101100100010001100110101011100010000", "01011011010100110101001101011010", "011000010011100100100100001110010101000101011000", "00101001001111000100101100010000", "01000111010110000010010101101110", "01010011010001100101011100010110", "00100101001111010101011100010000", "01010001010111110101111101011011", "010001100101100001010111010111110011001101101110", "001111100010100100100010", "001011000011110101101100", "01011110001010000011110101101100", "0110000100101001", "001000100101001101011110", "0010101100110100", "0110011001011111", "001110000011100001011101010001010101010101011110", "01011011010110000010010001101110", "00010010010111110011010101101110", "01000001010000100010111000111100", "0010010000100000001110000010001100010010", "01010011010001010011010101101110", "0001001000100110", "001001000010101101101100", "010000100101110101000011", "01100001001000010010001001110000", "0010100000110001", "0110011101011000", "0111111101010001", "01000110010111110001001001010111", "01010001010111000100011101010010", "001010010011111000111111", "010100010100000001000100", "001110010101110001000011", "0011000101011100010101000001001001010111", "001100100011101000111110", "010101010101111001010011", "00010010010001110101001101000101", "01010111010000110100000100010110", "001011010010000100111011", "00110110001001100010001101110000", "01010000010000110011010101101110", "001101000011111001101100", "001001110010101100111110", "001011000010000100100010", "00101100001011110010001001110000", "0010100100111111", "001010010010000101101100", "001010000010001100111100", "010110010100011000010110", "0000100000110101", "0100101000010110", "00010010010001000100000001010111", "01010111010101000001001001011001", "00101110001000000011111101110000", "0010010000100000001011110011010100010010", "01000001010111100010100000111110", "01010011010000000010010001101110", "0010111000111011001000100011010000010010", "00101001001001100101011101011110", "00101010001101100101101101010011", "001000010011111101000000", "0101001001010111010100110010111101101110", "00101111001010110011111101110000", "00101111001101010101110001000100", "00100010001011110010001001110000", "010110010100001100010010", "0111101100010000", "0111011001011001", "00100011001000100100011000010000", "01010111010110100011100001101110", "00100100001000100011010101110000", "01010111010000110001001001010111001011110010101001101100", "010101000101111100110011001111010011100001110000", "00100101001000100100000101000100", "00100100001110000010100100111110", "00100011001010110010100100111110", "01000111010100010010100101101110", "000100100100001000101001001010110010010100100010", "001011010011011001000110010101010100000000010110", "01010001010101010101011000010110", "0101101101001100", "0010001100101001001111100100011000010000", "0110000100000001", "001011110010111100111000", "00101001001010110010100001110000", "001010110011010100010010", "01000101010100010100101100010110", "00101010001001110010001000110111", "0000001000100001", "0000111101101100", "010111000001011000110101001001100010100101110000", "001011010011111000111001", "0011000101011100010100110101011100010110", "00101110001111000011100000111000", "01010001010110010010110000100011", "0101101101010101001000000010001001101100", "010100010100000001011101", "000100100101010101001010", "0011000101000110010101010100000000010110", "00101110001110110011111001110000", "0011011001011011010000100100000101000010", "001001000101101101011101", "0101011101001001", "00100110001011110010010100111110", "001111000101001101000010", "001110010101111001011100", "001111010101101101011100", "0101010001000101", "000110000101011100010000", "00100101001111100101001101011100", "010101010100000001000000", "001010110010001000100011", "0100000101011001010111010101100001100001", "01100001001110010010110100100011", "00111111001110010101010101011110", "00110011001001110011100000111001", "00010010010001000101101001010011001010000011110001101100", "00100010001000010010000100111101", "001000000101110101000011", "001001110101101001011111", "01011010010100010100000100010110", "00101111001100010101110000010000", "0011100100110010", "0010010100110010", "001010100011110101101100", "0101100101011000", "0110011001011001", "0001010000100000", "001000100111000001000110010110000101011100010110", "001101010100000001000110", "0010010001011010010101010001001001010011", "00100000001000000011111101110000", "001101010101011000010000010100000100111101100001", "00100011001001010100000000010000", "01010111010001010010010001101110", "00010010010001110101101001011111001000100010011001101100", "0101011001011001010111000101000101100001", "01100001001011110110110000100011", "00101000001000110010100101110000", "00100100001011110010100001110000", "01000110010101010100000001011000", "01100001001001110011100001110000", "00100010001000100011100100110100", "0010001100100101010111000101010000010010", "0100000001001111", "0011111100111100", "001011110010111100111011", "001010010010111100111110", "001111010101011101011110", "001100110101101001011001", "0111011001010011", "0100011100010110", "0111001101011101", "0111110001011111", "0001110101101100", "01010011010001000100011001010111", "0010000000100010001000000010100100010010", "01010001010000000101001101100001", "00111110001101010101011100010000", "00101111001110100010001101110000", "010101010101110001000101", "001011110010000100100000", "00101101001100110101100100010000", "0110000100100110001011010011010000010010", "001000000010001100111100", "00110010001010110011111101110000", "010111000101001101000010", "001111110100010101011110", "0010110000111011", "001011000011100100100100", "010100110101001101000110", "00110001001111000010100100100011", "00100110001011010011010000010010", "0010001000111100", "010101000101010101000000", "011110100101001101100001", "0111001101011011", "000111010101001101000010", "00101101001000100010001100100111", "0010100100111110010100010101010100010010", "001100110010101100100010", "00110001010000000101010000010010", "01010001010110010010111100111101", "010000010101111100100110", "0011100101011100010101110001001001010111", "011000010011110100111000", "010000000101011101010101", "001010000010001001101100", "01011011010110100010110101101110", "001010000010001101101100", "00100011001001010101110001010100", "010001100101111100101110001000000010110100111100", "001000010011111101011100", "010000000101011101000100", "01000000010100010101111001011111", "010111110100001100010010", "0010110000101001001101010101110000010000", "010111100100001100010010", "011000010011101100100010", "0011110000100100", "0011100101101110", "0010101000100100", "0001111101110000", "0110001001011111", "00010010010001000010010000101101", "001001000101101001011001", "0010010001011010010101010001001001011011", "0010111100100010001100110101011100010000", "01000000010110010100011001011111", "01011101010000110011001101101110", "01010001010110010010110000111110", "0011100101011100010100110101111001000011", "0010011101010011010000110001001001010111", "001101010001001001011111010101000001011000110101001001100010100101110000", "001101100100000001011111010111110001011000110101001001100010100101110000", "0010100100101111001110100011010100010010", "001000000010100000111000001101010100000000010000", "001001000010001100111100", "010111110101111101000000", "0110000100010110", "0011101000111111", "0010011000101011", "0000110100111100", "0110001001011001", "0111000101010111", "0000010100101011", "0111001101011000", "0111110001011001", "0000111100101011", "010101110001011000100000001000000010100001110000", "0100000100010000010111010101000001100001", "001000110001001001010001", "0010010001011010010101010001001001000100", "010100010101110001011101", "00110001010000000100100100010010", "01011101010111010101011100010110", "010101010101111100010110", "011000010010100000111110001111110101111100010000", "00100011001001110101110000010000", "00101110001111010011100001110000", "0011000101011100010101000001001001000010", "001101000010001101101100", "010101010101111101010100001001000011110001101100", "0010000100100000001111000101110101000111", "00100000001101010100000100010000", "0101110001000000", "01011011010101010101011000010110", "0101111001000000", "0101111001000010", "0011101000110001", "0011000100010010", "010101000101011101000100", "010101000101001100110011", "0001100101011100", "010000010001011000110101001001100010100101110000", "010100110101111001010111", "0010110100111110010100010101010100010010", "001001000011110000100010", "0100011001011001010111000101000101100001", "01000110010111110001001001010100", "01011100010101110100010101100001", "01011101010000100100011000010110", "01000000010101010101011100010110", "0011010101011100010100110101011100010110", "00101110001110110011111101110000", "00101101001000110001001001010001", "01010100010110010101111001011011", "01100001001011000010100101110000", "01010011010101010010101001101110", "00101101001101000101011100010000", "001110110011100101000110010110000001001001000010001010010010101101101100", "01000010010111000101001101001111", "01000110010000010010111001101110", "0101101001010001010001000101001101100001", "001011100010101001101100", "010000000101010100010010", "010000100100001100010010", "010111110101000101011100", "0010110000101001", "0110000100100000", "00111010001101010101011000010000", "001011110011111100100100", "0010101000101011", "010110010101010100010010", "0000000000111001", "00010010010001000010010000111101", "00100100001111000010001001110000", "001001110010001000111001", "010111010100010001011010010100110011001101101110", "001010010011111000110101", "01000001010001000101110101000100", "01011101010001010100000100010110", "0010000000111010001001010011111101011100", "01010001010000000101001001100001", "010111010101101101011010", "00100100001111010010100101110000", "00101000001000100010000001110000", "00100100001000100010000001110000", "00100001001111110100000101000100", "00111001001000110100011001000010", "01000010010101110101001101100001", "0010111000101101", "0001001001001111", "0111010001000100", "0111010001011001", "0010010000101000", "0010001101101100", "0110000101011110", "010100110101110101000010", "0111111001010011", "001000100011110000101001", "001111010101110101011110", "01011000010100110101001001100001", "01011000001011100011101001101100", "0000010000111111", "001101000100011101010011", "0000001000110101", "00110110001000010011111000111011", "0001111000111111", "0111110001010011", "010111000101011101000101", "00100011001000100010100101110000", "0010000100111110001001000101101000010000", "01010111010101000001001001011111", "01011101010000110011001001101110", "0101101101011001001011110011110101101100", "0001001001011110001000000010101001101100", "01011100010101010010110100111011", "01000101010110000101110100010110", "0000000000111011001111110010010001000000010100010101111001011111", "010000100100010101100001", "001011010011101001101100", "001011010010111100111000", "01011100010101010101011000010110", "01010001010100110010010101101110", "001001110101110101000101", "01011110001000000010101001101100", "001000110100011001011111", "001000110101110101011110", "01011000010110110100010101100001", "0000110100100100", "0000001000111111", "0001111000110101", "0111001101000010", "0000000000110101", "00010010010001000100010101011001", "00111111011100000101101101011110", "00100100010110100101010101000000", "00101101001000100101000101011000", "000100100101111100101111", "010100010100000001010001", "011000010011100100100100", "000100100100011101010111010001000010010001101110", "00101001001000110001001001010001010111000101001001100001", "00110100001111000010100101110000", "00100101001111000101111000010000", "00010010010000000101111001010111", "00100010001000010010001000100011", "00110010001111100010100100110011", "00100011001001010101110001000100", "00100011000100100100011101010111010001000010010001101110", "0010111000110111", "001000000011000101000000", "001100100101011101010011", "0100101101011111", "0000110100111110", "0000100000100000", "0111001101011100", "00101000001000000011111100100100", "0010010000101010011011000010010001011010010100010100011000010110", "0101011101011000001101010011110101101100", "00010010010100010001001001000101", "0101110101000011001011110010101001101100", "01010111001100110011101001101100", "00100100001000000010100001110000", "0010110100111110010101100001000001000110010111100010010001101110", "01011001001100110010101101101100", "01000101010111100010111001101110", "00101001001111000101111000010000", "00100101001111000101011100010000", "00110001010001100001000001000110010111100010010001101110", "00101000001110000010100100100010", "0001001100100001", "00101101001000010010001000110111", "0011111100111101", "0011100000111101", "00111000001111000100101100010000", "01011011010100110010010101101110", "0010001101000111", "001000110010010001011010010101010100000000010110", "010100110101011101010011", "001011110010101100111110", "001100010100000101000011", "0101010001011100", "011110100101010100010010", "0001000100100001", "00101101001000100100011000010000", "00100000001000000011100001110000", "00101110001111000011100001110000", "001000010011111000111001", "01000000010101010100000100010110", "00100011001001010100011001011000", "01000001010110010101110001010001", "010100010100010001011011010110010010111101101110", "000100100101011001000000010110010010110001101110", "00101000001001010100000001011001", "01010101010100010101101101011000", "0010010000100101", "01010111010101110011001101101110", "0101111101000110", "01100001001011010010001100111101", "0001011000100110", "0010001000101101", "0111000001010001", "001100110010101001101100", "001100110100000001010101", "00110111001001110010001000110111", "00100011001111100101011000010000", "00101101001001000001001001000100010110100101001101100001", "00110011001010110010100101110000", "001100010101111001000100", "0100000101011111001011110010100101101100", "001011110011101000111110", "0101111001010111001011110010101001101100", "01010001010100010101110000010110", "00100101001001100101011101000010", "010101100101101101000100001100100011101001101100", "001101010011110000101001", "0001001000101011", "01011010010101010101011000010110", "00101100001011110010010100111110", "001000110010101100111110", "010100110101001101011010", "001111000101001101000100", "001101100101101101011110", "0000010100100100", "000000000011110101101100", "001001000110111000100011001101100001001001000100010110100101001101100001", "01011011010111100100000101000010", "00101001001000100101101101010011", "0101001101011000001000100010101101101100", "00101000001000000010110100111100", "010100010101111001000010", "00111110001101010101000101011111", "001000100101011101000110", "00101110001110110011100000111000", "00010010010100100101011100010110", "00100100001111010011111101110000", "001000000010001100100111", "01011111010101000001011000110101001001100010100101110000", "01011011010101000101011100010110", "001110110011111101000111010111000101011000010110", "00110100001110100010010001110000", "001000000010110100100111", "001001000100011101000010", "01000010010101010101011000010110", "001011000010111100111000", "010101010100000101000010", "0110000100111000", "0011000101010101", "0010100100101001", "0000001100101011", "0000000000111100", "0000111100100001", "001000110001001001010010", "010100110011001100111000", "001011010010010000110001", "0010100000100000001110000011010101000000", "010111100101100100110110", "0101101101011111010111000100010101100001", "00111011001111100011100101011100010101110001001001000010001010010010101101101100", "001001000010001101101100", "00110101001010110011111000111110", "001001110011110000100011001111010001001001000100010110100101001101100001", "010100110101011001000110010100110011001101101110", "0111010101011001", "00111000010100110100001100010010", "010110100101010101000000", "01000110010100010101111000010110", "0100010101000100", "01011001010101010101011000010110", "0110001001010111", "0110011101100011", "000000000011101001101100", "0100011001011110001001000011011101101100", "001101010100000001011110", "001011110010001000111110", "001001000010101001101100001100010100000100010000", "010110110100001000101000001000010010001001110000", "001010010011010000010010010111110101110000010110", "010001100100001100110011", "01000101010111110100000001011101", "01110011010111010101011101000100", "00101111001101010101011000010000", "0111111001010111", "01000110010111000100101100010110", "001100110101011101011110", "01001011010101010101001101000100", "00110110001011110011010101110000", "0111110001010101", "01000110010110000100000001010011", "0011100000111000010101110100100100010010", "01010011010111100100000100010110", "00110101011011100010010100111110", "00100000001111000010111100111000", "0010000000100000001011110011010100010010", "00100011001000100100011001011000", "001100010100000001011101", "00100010010101110101010100010010", "001001000011110100111111", "01010100010111110100000001010101", "001100010100011001000101", "0101000001010011001001000010000001101100", "001000000011000101001011", "0010010000110001010001000101010100010010", "011000010011101000100100001101010100101100010000", "01000100010101010100000001000101", "01010000010010010001001001000010001010010010101101101100", "0001001001101110", "0111010001000010", "001000000010011100111110", "001110000101011101010001", "00111000001010110010110100100010", "0011100001010011010001100101011100010110", "0110000100010000", "001001100010100100110001", "00111100001000100101011101000011", "001010000010101000111001", "001100110101001101000010", "001100110011101001101100", "00101010001001000101011101000010", "0000110100100111", "01000001000100000101101101011000", "001101010100000001011101", "00110101011011100011100000111111", "010101110101100000110101", "010101110011001100101001", "00101001001001110011110001110000", "00010010010100000010111000111100", "00110101001111000010110100111100", "010101110101101100100011001010110011111001110000", "010000000101110101000100", "001001000010111101101100", "00100111001110000010001100010010", "0101111001010001010111000101001001100001", "010100110100111101100001", "010111010101111101011001", "00101001001100010100000000010000", "001100110010000100100010", "0100101101011010", "0100101101000101", "000001000011010100010010", "0000110100100010", "0001010100101011", "0100101000010000", "0001000101011111", "00010010010001000010010000100010", "001100100110111000011000001110000101011100010000", "01100001001110100011101100111111", "0100011001011000010101110100111101100001", "00110101001001100011111000111111", "01010011010001000001001001000010001010010010101101101100", "000100100100010001011010010111110011001001101110", "001101010100000001011111", "0010010001011010010101010001001001010111", "00101001001101000001001001000011", "010101110011001100101010", "010001010101111101000111010110100010010101101110", "0101011101010010011000010011101000100100001100010100011000010000", "01010111010000110001001001010111", "00111011001110000101110100010000", "01010000010101010101000101010111", "0010010001011010010101010100101100010110", "00101110001010010001001001000100010110100101001101100001", "00001110001000100101101101000100", "01011111010101010101011000010110", "0010011100111011", "010110110101110101000010", "010111100100010101100001", "010101010101000101011111", "00101001001001110010001000110111", "0100000101011100", "01000001010101010100000100010110", "0111000001010011", "0111000001000101", "01110000010000100101101101000010", "001100110101111001010001", "0111100101011001", "00110111001010110011111101110000", "001101100010000100111001001111000101011000010000", "0000100001101110", "000110010100011000010000", "001010010111000001000101010100010100000100010110", "01100001001110100011111000110001", "001001010110111000111000001110000101011100010000", "010111000101011101010010", "001011110010001000110111", "010100010101110001011000", "00101110001111000010011101110000", "001011110011111000111001", "001011100010000000101011", "001010000011101000100101001111110101110000010000", "001001010010010001011011010111110101110000010110", "010111010101101101000101", "00100000001110010100000101011000", "001010010011110000100011001001010101010101011000", "0011010100100111001000110011111000010010010111110101010000010110", "01010111010111000101111000010110", "00101111001110010101001101011100", "00110001001000100010110100101001", "00111000001100010101101101011110", "00110111001010110011111000100011", "010100110101000000110101001010110011111001110000", "0010000000110110", "0011001000100101", "0101111001010110", "0010001100101001", "0101110101001111", "0011100101110000", "0010001000110111", "001000100101011101000100", "0010100000100101001000100100000101000100", "0011110100111000", "001111010010001100111110", "0011110101011101010000100101011100010110", "001010100011100101011100", "0111100101011111", "0111101001010011", "0011011001011011", "010100000101010101000000", "0000111000111111", "0111110001010001", "0001100100111110", "00010010010000100101011101011010", "01000001000101100011011000101011001111100011010100010010", "01000001000100000100010101010011001100110010101101101100", "0010001100010010010110010101110000010110", "00101111011011100010010100111110", "010101010100000001011011", "010111010100001000101001001010110011111001110000", "00101111001110000101001101000010", "0010100100111110010001100100001100010010", "0101011101011000001000100010101101101100", "001011110011111000111111", "001101010010011100100001", "001101010101110001010011", "00101101001001110011111100111000", "01010101010111100100111101100001", "00100000001111010110110000110001", "01011011010110100010010001101110", "01010011010101000101011100010110", "00100000001111110101110001010111", "001001000010001100101110001101010100000000010000", "001101100010011100111000001110000001001001000100010110100101001101100001", "00111100001111000101001101001001", "010000000100100100010010", "01000010010111000101011100010110", "00101100001010110011111101110000", "001000110101011101010011", "0101110101001001", "001100010010000100100010", "0100000101001001", "00100010001010110010001000100100", "00101010001010110010100001110000", "0101010000100100", "0000110100111101", "0110011001010011", "0110011101100101", "00010010010000100101011101000110", "01010011010110000011010101101110", "0010010001011010010101010001001001110100", "00101000001000000011100000111111", "00100011001000100101100100010000", "010100010101111101000110", "0101110101000101010111000101001001100001", "0101011101010010011000010010111101101100", "00111110001101010100000100010000", "010001010101111101010100", "00100101001000110100011000010000", "010101010101111101000110", "01010001010101110010111101101110", "01011011010000110001001001010111", "00100010001110100010001100100010", "01010001010110100011010000101010", "0011100101011100010001000101110100010110", "000100100100001000101001001010110011010101110000", "001101000011110100111000001000100101001101011100", "001101010010011100100010", "00111011001100010100101100010000", "0010010000100001", "01011111010100110010010101101110", "00101101001001110010001000110111", "001000110010110100111110", "001000110010111100111111", "001011110011111101000000", "010111010101010000010010", "001100010101101101000010", "0011100100111010", "0011100100111001", "00111001001100110101101000010000", "00100101001010110010001000100100", "0100101101000011", "010000110101101001011111", "0011010001110000", "00001101001001010100000101000100", "0000010100100111", "0110000001010011", "0000000100111111", "001111110111000001000110010110000101011100010110", "01000110010110000101110101000011", "0011010100100110001001010010001100010010", "001000110001001001010100", "001010110011111000100110", "001101010100000001000100", "01000110010111110101110000010110", "0100011001011111001011000010101101101100", "00101111001000100011010101110000", "011000010011101000100100001101010001001001000010", "00010010010101110011010101101110", "0101011101011110010100010101001101100001", "01000001010001000100000001000011", "0010111100100000001000110101110100010000", "01000111010000100101011100010110", "0011100000111001010111110101010100010010", "00100101001100110101011100010000", "00101000001111010011100001110000", "0001001001011000010100110101001001100001", "00101101001100110101101000010000", "001000010010000000111111", "01000010010000100101110101010010", "00101001001100010100000101000100", "0011010100010010010001000101101001010011", "001001110101101101000100010110100001011000110101001001100010100101110000", "00111100001111000101001101010011", "001101010100011000010000", "00110101001101010101001101000010", "01000000010101010101011000010110", "001001000010111100111010", "001110000101101101011101", "0101101001000011", "001100010100000001010101", "001100010011110000101001", "001100010101000101011000", "0010010100101001", "0000000000100000", "0110010101011111", "0110010101011001", "0000000100111001", "00100100011011100011111000110101", "0100000100010110001010000010000001101100", "00111000001110000100000001011111", "001101010110111000111011001100010100000100010000", "0010010001011010010101010001001001011000", "00101101001000100100011001011001", "001100010101110001000011", "00101001001111100101011000010000", "001010010011010000010010010100010100000100010110", "01011101010101100001001001000010", "001001110110111000111000001110000101011100010000", "00100010010101110100001100010010", "00010010010101010010111000100011", "01011011010111000101011100010110", "01011011010111000101111000010110", "0011011001011101010000100001001001000010001010010010101101101100", "00101000001010100010100101110000", "01000111010000110100011001000100", "00110001001000100010110100110011", "00101111001010000011010100010010", "001010100010001001011101010111010001001001000010001010010010101101101100", "01010000010011110110000100111010001001000011010100010010", "000000000010001100101001001000100101101101010011", "010101110101110101010000", "0101011100110101001001110010001100111110", "0010110100101111001000100011010000010010", "001110000101101101000011", "010111010101001101011001", "00100110001010110010100001110000", "0000100100100001", "000001010101110001011001", "0111111101010101", "0110000001010111", "0101011100010000010111010101000001100001", "0011010100100110001010010010100100010010", "001101010010011000111110001101010101011100010000", "0101101101011000001001000011110101101100", "010100110101111001011001", "001010110011111000111111", "00110101011011100010001100110110", "010111000101011101011000", "0001001001011001001011110010101101101100", "01000000010111110011010100100111", "0011010101010110000100000101001100010110", "00100011001001010100000100010000", "00110101010111000101010000010010", "010101110011001100100111", "001011010010001100111100", "00100100001110010100001000010000", "01010111010101110010010101101110", "01000001010001010100001001000110", "00101111001001000101110101000010", "00100000001010100010100101110000", "01010011011000010011101000100100", "01000001010001100010010000101101", "00101010001111110100000001010011", "00111011001111110100000001011011", "010110100101001100110011", "00101100001010110011111000111001", "001000110101011101000010", "001000110101011101010001", "0110000100011011", "0010111100100110", "001100010010000100111111", "010001100011001100101011", "01000001010000000101011101010101", "01000001010100110011001100111000", "0100010101010001", "001010100010010100100011", "0001110000111111", "0000001100100001", "0111110101011110", "0110001001000100", "0110000001010101", "00010010010001000101101101011011", "0101001101011110010100010101001101100001", "01100001001110100010010000100010", "010001100001011000110101001001100010100101110000", "010111000101011101010101", "0010010001011010010101010001001001010100", "010000000101100100110100001000000010100001110000", "0011010100100111001000010011010100010010", "00010010010000110100011001010111", "01011101010110110010010001101110", "000100100100000100100100001111000010100101110000", "00010010010000000101001101000100", "00110101001111000011100100110011", "010100000101001100100010", "01011111010100010101101101011000", "00100100001011110010111100111000", "001000000010110000100011001001010100011000010000", "00101110001110110010001000110100", "0011000101010100010001000101011101000100", "01000100010101010100000100010110", "00110010001010110010001000100100", "001011010010011100100010", "001011010010000100111111", "001111100101001101000010", "0111010101011111", "01110101010101010100000001011011", "0010011100111100", "0101111000100000001110000010100101110000", "001000110101101001011111", "0110000101011000", "0101001101001010", "001011110010000101101100", "0111111001010101", "001100010101011000010000", "00110001001010110010100001110000", "001001100010100100100010", "0110110000110001010111000101010000010010", "0000110000101011", "001010100010100100100011", "0101010000100100001010110010001001110000", "0001111000111001", "001001000101101001000010010101110101001101100001", "0100011001011110001010000011110101101100", "001101010010011000100011001001010101010101011000", "010110110101100000100010001000100011100100110100", "0100011001011001010111110101001101100001", "01010001010111000100010101100001", "01010111010111100101011101000100", "00111111001001000100000001000101", "001011100110111000111000001110000101011100010000", "001100010100000001011011", "000100100101010000100100", "00010010010111100010010001101110", "0101111101011001001100100011101001101100", "001111000010001100100011", "01000101010101110011100001101110", "001100100010011100101000", "0011000101000110010101010100000100010110", "01011111010101110010111101101110", "01010111010001010110000100101111001000100011010000010010", "00100011001000110101011100010000", "01011110010111000101110101000001", "00100000001011010010100101110000", "01000110010001010100000001011000", "01011101010101000100011101010101", "01010110010001010100000001011111001011110010100101101100", "00101110001111110100011101000100", "0010000100111000001110000101011101000010", "01000100010101010101110001000010", "0001001001001001", "010111110010111100111101", "0101111101011001001100110010101101101100", "0010011100110101", "0010011100111001", "001001110101101001010101", "010101010010111000100011", "01010011010100110101101000010110", "0010011000100010", "0010100100110010", "001010000010000100111001", "001101000100011101000010", "001101110100000001011111", "0100011001011000010110110100010101100001", "00110101001001100010110100111110", "01000110010111110100000000010110", "01000110010111110010001001101110", "0010010001011010010101010001001001011010", "00100000001111000011111101110000", "00110001010111000100001100010010", "01010111010111100101011000010110", "01000001010000100011001100111011", "01010111010101000001001001000101", "01011101010001010101110001000010", "0101111001011111001011110010100101101100", "010001010101111100010110", "00110101010000010001000001010011010110000010010101101110", "01010100010111110101111001011010", "0101001101000101011000010010111101101100", "0101011101010100000100100100001000101001001011110011100001110000", "0010100100110100000100100100010001011010010101110011010101101110", "01011010010101110011001001101110", "00101111001010110011010100010010", "01010111010001100101011101011000", "01010100010110010011001100101101", "0100011001011111001011100010000001101100001111110101010000010000", "00110111001010110011111000111110", "00101110001110110010001000100100", "0001000101011111010101010100000001011111", "00110110010110110101110001011111", "0010000000110001010111000101010000010010", "001100100101011101000100", "001110000010100100100010", "001110000011100101011100", "0101101001000101", "01011110010100010100000000010110", "001011110010111100111000001110010101110101011110", "0011000100101111", "000001000101101001010101", "00110100001011010010010001110000", "0111011001010101", "0100011100110100", "0000111000110101", "0001100100000011", "00010010010001000010010000111110", "0100000100010110001101010010000101101100", "001100100110111000111000001110000101001101000100", "0100011000010110001011100010100001101100", "0010010001011010010101010001001001010010", "001011110010001000110011", "00100000001111000011100001110000", "0011010101010110000100000101101101011000", "01011011010001000101011100010110", "01011011010101010010010001101110", "01011010010110010101111100010110", "00101101001000110101110101011110", "001000100101011101011101", "00110001010000010001000001000110010111100010010001101110", "00101001001000110100000100010000", "00101000001000100010000101110000", "001101000011110000100010", "001010100011100100110011", "0010001100100011001000110100011000010000", "0010011101010011010000110001001001000101", "00100010001001110010110100111100", "0011100101011100010001000101011101000100", "01010000010110100010010001101110", "00111000001001010100000001011110", "001100100011101100111110", "001001110010000100100000", "00111000010110110101011101011010", "0011000101010101010100010101101101011000", "001001100010101100100010", "001111010101001101000100", "0011001100111100", "001100110101111001011111", "0100101101000110", "0000001100111110", "00000011001111000010010100100100", "010001110101010100010010", "010001110101001101000100", "011100010101111101011111", "0000011101101100", "0000111000100101", "010101110001000001010011010110000010010101101110", "01000110010110000100000001011001", "00101101001111100100000100010000", "00100100001111000010010100110011", "010101010100000001011001", "011000010011101000100100001101010001001001010011", "0001001001011111001101010011110101101100", "0101101101000010001001000010101001101100", "01010011010111000101000001000011", "010111110100000001010010", "00110101001001110010111101110000", "00100000001110100010010100111111010111000100001100010010", "01010011000100000100000001010011", "01000111010000100010100101101110", "01100001001110010010010000111111", "010110110101100000100110011011100011100000111111", "00101000001000100010100101110000", "01010011010110010101110001000101", "001011100010001001101100", "000100100100010001011010010100110011100001101110", "00101010001110010101111001011101", "01000111010000110101011100010110", "00111000001101010101001101011101", "00100001001100010101101101011110", "01000100010100110011001100111101", "01000100010101010101110000010110", "0101100100110011001110100010010001110000", "00100000001110010101110001010111", "001111100011111000110101", "00100011001000010011100100100100", "010111010100011001010111", "001110010010001100010010", "001001010100000100010000", "0100101101000000", "0111100001011001", "0111100001000011", "0111110101011000", "001101110010000100100000", "001010010111000001011101010101100001001001000010001010010010101101101100", "00010010010000100101011101011011", "0011100000111000010110110100001100010010", "00101101001111100100011000010000", "01000110010111110001001001000010", "001011010010010000111001", "001100010101110001011110", "0010000100111001001001000101101000010000", "0011010100100111001110100011010100010010", "001001010011111001010101000100000100011001011110", "001001000011110101101100001111110101010000010000", "01011111010111110100000101000010", "0100010101011110001001000010000001101100", "0011101100111110001110010101110001010111", "00101110001000100010000000111111", "001010000011100100111100", "01010110010101010101010001010011", "001110110011100001010111010000100101011100010110", "01000111010000110100011000010110", "001101100010011000101001001000100101011100010000", "0100011001000011001100110010101101101100", "001110110011100101000110010110000001001001010111", "00101110001001010101101101011100", "01000110010101010101001101011011", "0011111101000000010001000101101000010110", "00111010001101010100000001000011", "01011111010100100101011101000100", "001001110101110101000101010111100101001001100001", "00110101001000010010001001110000", "00010010010100010101111001011010", "001110110011110001110000", "001100100101001101000011", "001011010010111101101100", "00111111001110010101110001010111", "01011110010100010101110001010010", "01010101010100010101110000010110", "010100100010100000111101", "001001100010011100100010", "010001100010111000111101", "0011100100110111", "00101011001100010101110000010000", "001111010101101101011110", "001100110101110101011100", "0101100001011001", "010101000101011101000101", "000000110100011001010001", "001101000101011101000000", "0111000101010001", "01000110010110000101011101011011", "00110101001001100010100100111101", "00101111001000100101011101010001", "0001001001011001010001100100010101100001", "01000000010100110011001001101110", "00101111001010010011111101110000", "0101001101011100010111100100111101100001", "00111111001001000100000001011001", "01000001010001000101001101000100", "00110011001010110011111101110000", "0011010100100111001010010010001100010010", "00101110001000000010100001110000", "0101101001011111001011010010101101101100", "00101101001001110010001100111110", "00010010010101000101101101000101", "01011011010001010011010101101110", "00100010001001100010110100100010", "00111000001000100100101100010000", "00101111001010110011101101110000", "0011011001011101010000100101011100010110", "01010111010001100101011101011010", "01000110010100010101101101011000", "00111111001000000101011101010011", "00100111001010000010010100110011", "01000010010111000101001101010101", "01010011010001000101101101011001001011110011110101101100", "0010010001011011010111010101011100010110", "010000100100001001011101010100100011010000101101", "0001001100100111", "0010000100100011", "0011010100100000", "0101011101001111", "010000100101011101010111", "01011111010101010100000100010110", "01011100010110100011100001101110", "010100110100000001010011", "001011110010111100100001", "001100010010111100100010", "0100000100101001001001110010111100111000", "01000001010101010100000001000000", "0101100001000101", "01001011010100110010010101101110", "0001001001000010001101100010000101101100", "001011110110111000101101001111100101011000010000", "01000110010111110001001001000101", "001010000010000000111001", "0101110101011000001011010011011101101100", "010100010101110001010011", "010100010101110001000101", "001101010111000001010011010111100101011000010110", "010100010101111101010111", "01010111010110000010010101101110", "01010111010101000001001001011110", "01010111010101000001001001010000001011100011110001101100", "0101011101010100000100100100000100101000001110100010010001110000", "00101001001001110010101100111000", "010111010101110101000000", "00110100001111000010010100111110010101010001000001000110010111100010010001101110", "00010010010000000101011101000100", "00101001001010110010001001110000", "001001000010110100111000001110010101110101011110", "01000001010101010101001101000101", "01100001001111100010100100100010", "00101110001110010010100100100010", "001011100011100100100101001111100101010100010000", "0011010100010010010001000101101001010111", "01011010010100110010111101101110", "00100100001110100011101100110101", "00110010001110110011110000100000", "010001110101000100101001", "01000010010101010100000001011111", "001100100011101000111110001100010101111001011001", "01111100010101010100010100010110", "001001000011101000111011001101010101011101011110", "0011001000101111", "0111010101000100", "0101110001000100", "01011100010001010101111101010100", "00100111001000010011100100100010", "00111111001111110101110000010000", "0011100000111110", "001110000011110101101100", "00111000001001110010001000110111", "01010110010101010101110001000010", "010000010101010101011110", "001110010101111101000000", "0111000001010011010111100101011000010110", "001010000010111100100010", "0101100101011110", "0111101001010111", "0110001001000010", "000101110101011101000010", "00100100011011100010110101110000", "01010011010001000100011001010011", "001010110011111000100011", "001101010100000001000011", "01000110010110010011001101101110", "00100000001111000011100000111001", "011000010011101000100100001101010001001001010010", "001110000110111000101101001111100101011000010000", "01000000010101010101111101010111", "001000110010010100100011", "01000111010001000010100000100000001010110111000001000110010110000101011100010110", "001110010101110001000110", "0010100000111010001010010011010000010010", "00010010010100100100011101000010", "0011000101000001000100000101001100010110", "01011110010100110010000000111101", "00110100001110100010100101110000", "00100101001101000101011100010000", "00111100001001010101000001011100", "00101110001000010010011101110000", "00110101001110110011111000111110", "00101001001101000001001001010010010010110001011000110101001001100010100101110000", "00101001001101000001001001011001010111000001011000110101001001100010100101110000", "00100100010101110101110101000010", "01000010010001010101000001011010", "0101111101011111010000000101001101100001", "000011010010010101000001010001000100000001010111", "001011100010000000100000", "0001001001101001", "0011101101101110", "001000000101110101000010", "001011010010100001101100", "001001110010100001101100", "00111111001101010100000001000110", "00111000001010110010100001110000", "010110110101001001100001", "0110000101010111", "01100001001011110010001000110100", "00110001010101010101010100010010", "00100110001011110010001001110000", "0011001100101001", "0000110000100111", "0101100001000011", "0100101101000100", "0111100001011111", "000001100010100101110000", "000000110101011101000000", "0110011001000100", "010001110101101101000010", "0110010101010111", "0101011100010110001101010010000101101100", "00110010011011100011111000110101", "001110000011100001000000010101010101011100010110", "010101110100010000101000001010110011111101110000", "0100011001011111001101110010101101101100", "01011101010001000010010001101110", "00101001001111100100011001011001", "010110110100010001011011010110010010111101101110", "001011110011111000110101", "001100010101111001011111", "00111000001111110101110000010000", "001000100101011101010111", "00100100001111010110110000110001010111000101010000010010", "01011011010000110100011000010110", "00101000001011010010100101110000", "00010010010001100010010000111100", "01000101010110000101011101011000", "00101001001100110101110101011110", "00110100001111010011100001110000", "00110101001010110010110100111101", "001011100011111001101100", "001101110010011100111111001110010101110101011110", "00111010001110010101011101000111", "01010000010001010101101101011010", "0101111101000000010000100010100101101110", "01011001010110010101110001010001", "00100011001111110101100100010000", "0111001101000101010000010100001000110011", "001100110010011100111000001110010100000101011000", "0110000100111010001001000010001001011101010001010101010101011110", "010100110101110001010000010000110010110001101110", "00110101001000010011111001110000", "010101110101000101000100", "001100100101110101000100", "001100100100011101011101", "00101101001011110010001000110100", "0011111001000111", "010111000101010100010010", "010110100010010001101110", "01010101001011100010001100111100", "001000110010101100111000", "001011110010111101101100", "0001011000100111", "001000100101011101011110", "0010100000100001", "00100101001011110011010101110000", "01000101010101010100000000010110", "0001111100111000", "0001010100100001", "0000011100111100", "0001000101000111010000110100011001000100", "010010010001001001010111", "001100100110111000100011001101100001001001000100010110100101001101100001", "010001100101111000101110001110110010101100111000", "01011011010111100001001001000010", "01010011010111100100101100010110", "0010010000111100001010010011010000010010", "01000110010110010110000100111101", "0010010001011010010101010001001001110111", "001001110010001000110101", "00100000001111000011111000111001", "011000010011101000100100001101010001001001010110", "01011011010000100010010001101110", "00101001001111100100011001000010", "001000010011111000110100", "00100000001000100010111000100101", "001000000010001000100000001101010101011000010000", "00010010010100010100011001000010", "0010000100100010001111000100101100010000", "00100000001110100011100000111100", "01010111010100100110000100111101", "00111100001010010011010100010010", "00101101001000110001001001000100010110100101001101100001", "001000100101011101011100", "010110110100001101011010", "01010001010110000101001101000100", "00100100001000100010100001110000", "00101001001011110010001001110000", "011000010010110000101001", "00101001001100010101111100010000", "01000001010101010101000101011001", "00101101001010110010110100100011", "00100111001001110010000000111101", "00101110001100010100011001000100", "001011010011100101011100010101010101011000010110", "001101010011100100101001001101010101110000010000", "0000001101010111010000000100011001010011", "0011001000100010", "0011001000110111", "001111100010001100100011", "0011111001011101010000100100011001011110", "001001110101001101000010", "010110110101010100010010", "0101010100101001", "0110000100110111", "001011110010111100100100", "001100010100000001011111", "001111000011111101011100", "0111000001011010", "0010101000100111", "0101010001010001", "010101000100010101011110", "001101000101011101010110", "0001100000100010", "0000111000111100", "0000000000111111", "000101000001110101101100", "0100100001011001", "011000010011101000100101001111010101011100010000", "00111000001110000101011101011101", "01010011010000100011010100101111", "01010011010111100001001001010011", "010100110101100000100101", "010100110101101001011001", "001100010101110001011011", "001001000010101001101100001111110101110000010000", "001001000010101001101100001101100101110101000010", "01000000010101010101001101000010", "01000000010101010101000101011001", "01000001010000100011001100100111", "01000111010001000010010001101110", "01011011010111100101010100010110001101010010000101101100", "0011100101011100000100000101001100010110", "00110010001110100011111000100101", "010100010100001001000110", "00100100001110010101010101011000", "00100101001000110100011001011111", "01011100010100110011001001101110", "001010010010001100010010010111110101010000010110", "00110010001001110010111101110000", "00101110001000100010100001110000", "00101110001000100010001100110111", "00010010010000000100000001010011", "00100000001111010010001100111110", "00010010011001000101101001010011", "01010101000100100100001000101001001011110011100001110000", "00100101010000000101010100010010", "00111111001101010101001101000011", "0011111100110101010001000101010101000000", "00010010011110000101011100010110", "00101111001110000011100101011101010111100100000100010110", "0100011001010011001100110011110101101100", "01010101010000100101110101000011", "00110110001010110010000000111100", "0100000101011110001010000011111001101100", "0111000001000010010110110100001000101000001111010010010001110000", "010000000101001101000100", "0010110100101100", "0010011101010111010101010101110000010110", "001111110010001100010010", "001111110100011001011000010101110100010001100001", "010111100101110101000100", "0010001101010111010001100101011101000100", "010111010101001001100001", "00100010001000010011100100111110", "001100110101001101011100", "0101100001011111", "0011010000100100", "000011010010101100111111", "001101100101110101011100", "0100101001000010", "0001100000111111", "011001010101110001011111", "0010010001011010010000100101110101000011", "00100101011011100010010100111110", "0101101101011000001101010010101100111110", "0101101101011110010001100101001100110011", "0100011001011111001001000011110101101100", "001101010110111000101101001111100101011000010000", "010111010101100000100110", "00101101001000100100000001011001", "01010111010111100100011001011111", "01010111010101000001001001010111001011110010101001101100", "001000110011011000010010010001000101101001010011", "0101011101010010011000010011100100100101001001000101101000010000", "00111110001101010100000101000011", "00100101001001000101011100010000", "00100100001110010101111100010000", "00100011001111000101110101010111", "001111110011100100111001", "001000000011100100111101", "010001010101100100110100001000100010100001110000", "0011111101011100010111000100101100010110", "010110110101110001011001", "00101111001010100011111101110000", "00101001001001000100010101010101", "0101110101000000001001000011110001101100", "01010110010101010100010001010011", "000100100111010100101001", "0101110001010010001001000011110001101100", "00110001001000100010100101110000", "0011001101011101010111100100000101011111", "0011001101011101010111100100011001000100", "01011110010010010001001001010111", "00100000001001110010100001110000", "00110110001010110010100100111110", "0010010101011100010101000101011101000100", "00110111001010110010000000111111", "0101100101011001010111000101000101100001", "00111100001101010100000001010001", "0001001001011111010111000001011000110101001001100010100101110000", "001010000011111000111111010111110001000001000110010111100010010001101110", "0010010100111111010001110100001100010010", "0010001101000110010000100100011101010101", "01110000010001000010100000111010", "01011101010111110101100100010110", "000000110101011101000000010001100101001100101100001011000010100100100010", "001010010010010001000101010101010101011101011000", "001101010101111000010000", "001000000010001100010010", "001000000011000101000110010101010100000000010110", "0111010101010011", "001001110101101101011110", "001111110010010101000000", "001011000010101100111000", "001000110100001001010101", "00111010001101010101110001000100", "0011000101000100", "001100010101000001011111", "001001100011110000101001", "0010100100101011001111100011010100010010", "001010110011010101011100", "0110010001011111", "0000110000100001", "0001101000111001", "00101010001000000010001100100111", "0000011000111111", "0111000101000100", "0111000101011010", "0111001101011110", "0100100001011111", "0010010001011010010101010101111100010110", "001101010100000001000010", "00101101001001000101000101011000", "0010111100111000001101010100000100010000", "00010010010111110100000000010110", "001010010011111000110001", "001010110010001000110111", "01010101010111000101001001100001", "001001000011110001101100001111110101010000010000", "01011001001100110011101001101100", "0001001001000001001010010010000101101100", "001010000011110100100100", "00101111001000010011101100111110", "00100100001101010001001001000111010100110100010101100001", "01011101010110100010111000101001", "001010010011110101010111010111100100011000010110", "00100100001110000010100100111100", "001011010011011101010011010110010101110001000101", "01010011010100010010010001101110", "0101000001011001001101000011101001101100", "010101100100001100110011001001110010001000110111", "0010000001000000010111110101011001000011", "001011010011001001011101010001010100011000010110", "00110001001111000010001100100110", "01010000010100010100011001000010", "00101101001001000101101101011111010111000100010101100001", "001000100010000100100010001001000101101101011110", "010001100101100001000000010100110010010001101110", "0111001101000101010000010100001000110011001011110010000000111001", "000011010010101100111111001111100101001101000010", "00100001001101010101011000010000", "0011010100100011", "001101010010111100100000", "00110101001011110010000001110000", "0100000001011101", "0111010001010101", "001110110101110001011111", "0010010000101100", "00100100001011110010000101110000", "010111110100011001011110001001000011110001101100", "001100100101011101011100", "00101101001010110011111001110000", "001001110101001101001001", "001100010010101101101100", "001100010101000101010011", "00100110001101010101000101000100", "0100000101010110", "0100000101000001", "0011100100100111", "001000100011110000100101", "001010000010110100100111", "001010000010010100111100", "0011110101011101010000110100011000010110", "00100101001010110011111101110000", "00110011001011110010010100111110", "0100101101011100", "010101000101101101000101", "0000001100111011", "0000110101101100", "010001110101110101000100", "0000100000111001", "01100001001110100010010000100010010101110101010100010010", "0010011100100010001100110101111001000101", "0101011101011110010001100100010101100001", "01010001010111110100011101011000", "01010111010110000011010100100111", "01010111010101000001001001010100", "001010010011010000010010010101100101110101000100", "01100001001011110010000000111100", "01011010010110010101010101011110", "00101111001111110100011101011110", "010001110100010000101000001000000010101101110000", "01011010010111110010110001101110", "00010010010101000101011101000101", "01010001010000100101011101010111", "01000101010111110011010100100110", "001010000011110100100101001111110101110000010000", "001100110010011100101000", "000100100100011000101110", "00100000001010010010100101110000", "001001000010110100111000001101010101011000010000", "010101110100010101100001001000010010101001110000", "0101110101011010001011010010000100111011", "01010111010111000101011000010110", "001000110010001100100110", "001011110011100100100011", "01010001010100110011001001101110", "001001010010011100111000001110010101110101011110", "00111111001101010101000101011111", "00100011001001110101011101000010", "00100000001101010101001101000011", "001011100011010101011011010111100101010100010110", "001100100010101100101101001000110101110101011110", "00110110001001100010100100111110", "00100100001011110011111100100100", "011000010011101000100100001101010101111100010000", "001110100011010101000000010100010101111000010110", "00111011001101010101111001011100", "00101010001111110100011101000010", "001010100011111101011110010111000101110101000001", "001100010011110000100011001101000100011101010011", "01011111010111000001011000110101001001100010100101110000", "01011011010101100101101101010101", "00101100001000010011111100100100", "0111001101000011001100100011101000111110001100010101111001011001", "0010001101011010010110010100001000010110", "0010100100111110001111110100011101000000", "001001100010111100100101001111100100000101000100", "0011001001010111010001000100010101010011", "001101010010111101101100", "001001000100000001011111", "00110010001010110011111000100110", "001111100011111000111001", "0101101101001000", "010100100100011101000010", "001011110010100001110000", "00100110001010110011111101110000", "0100011001011101", "0100000101001111", "0010001000101101001001000101011101000010", "0010100000110110", "001010000010101101101100", "001111010101110101000110", "0010010101000001010101010101011000010110", "0001110000100010", "0000001100111100", "001101000011110000101001", "001101000010100100100100", "00110111001010110010001000100100", "0101000000101000001111000011111100100100", "000011110010000100111110001001000101101000010000", "00010010010001000101101001010111", "01000110010110010101000100010110", "0101110101011110010111100100111101100001", "0010000000111100001000000010100100010010", "01011101010110000010010101101110", "0001001001011001001011110110111000111000001110000101011100010000", "00101111001110000101001101011110", "01010011010111000100000100010110", "01010001010110010101001101011010", "00100000001110100010111100111000", "010101110101001001100001001011110011111101110000", "01010111010100100110000100100111001000100111000001000110010110000101011100010110", "01011110010110010100000101011110", "001011010010001101101100", "00101101001000110100000101011001", "0010100100100111001000000011010100010010", "0011000101011100010101000001001001011011", "01010001010001000101110101000100", "00110010001110100011111101110000", "01000110010001000010000000100000", "0010010000111001010111100101010100010010", "01010001010110000101001101011000", "00100100001011010011100001110000", "01011101010111000101011000010110", "00101000001110010101001101011110", "01011110010100110011001001101110", "01011110010101010101000101000010", "010100000101001100101000001000000010101101110000", "001001000010001100101001001111100100011000010000", "001011010010000100111100", "01011101010110010010101001101110", "010001010101100101000110010111100110000100111010001001000011010100010010", "001110000011100001010011010001000001001001000010001010010010101101101100", "00100100001010110011100001110000", "01000010010110100010000000110111", "00100011001110110010010100111100", "001110110011010101000100010101010100000000010110", "000100100101000101011100010100100110000100111010001001000011010100010010", "001000110001001001011111010101000001011000110101001001100010100101110000", "001001000011100000101001001000100101001101011100", "001111100011010101000001010101010101110001000010", "0011011001011101010001010100000000010110", "0011011001011011010111000101111100010110", "0000001100111100001001010010010001011011010000110101101000010110", "010000000100000001011111", "0001001000100001", "0001001000111110", "001000000011101100111111", "01000010010101010100000000010110", "0100001001010111001100110011101001101100", "010100010001001001000101", "00111000001100010101111000010000", "01011110010101110011001100101001", "0010001100100110", "011000010010001000100101", "001100010001001001011101", "001100010100001001000000", "0010011000101101001001100101011100010000", "001100110101110101000010", "001100110100000001011111", "001100110010000100111001001101110101101000010000", "00001100001011110010001000111001", "000110100101001101000000", "00001011001101010100000001011101", "0000001000100010", "0111011101010111", "0101000000010000", "0101011100010110001010000010000001101100", "00010010010001000010010000111010", "00010010010000100101011101000010", "01010011010001000011001100100111", "01010011010001000100011001011010", "01010111010000100101101101010101", "010110110101111001010001010110100011010000101010", "00010010010001000101101001011001", "01000110010110010010111101101110", "001011010010010000111111", "0010100000100000001010010010001100010010", "0010010000101010011011000010011101011011010001000101101000010110", "00101001001111100101011101000010", "00100000001000100011111101110000", "01000001010001000100000001010111", "0010100100110100000100100100011101011011010000100010100101101110", "01011101010001010101110001010010", "00100001001110010101110001010111", "001000010010001000111001", "001000000011101000100101001111100101010100010000", "00111000001111110100000001011001", "00101000001110100010100101110000", "001010000011101000100101001101010100000100010000", "0011100101011100000100000100011001011110", "00111111001110010101000100010000", "001111000010001100100000", "001111000010001100100111", "01000110010101110010110101101110", "00101001001111000101011101010011", "010101110100001100010010010110010010011101101110", "001100100010011100111000001110010101110101011110", "00010010010001100011001100101011", "00110101001111000011010101110000", "001101000010000000101000001101010100000000010000", "010111100101000101000110010100110011001101101110", "001000010010000000110100", "01100001001011000011100100100100", "00111001001000100101000101011000", "01011101010111000101110101010001", "001011110011101100100001001100100101011101000010", "00100011001000110100011000010000", "0010111000101000011011000010010001011010010101010001001001000101", "00110101001010110010001001110000", "00110101001010110010000100100000", "00101110001111100010100100100010", "010001100101100001010011010000100110000100111010001001000011010100010010", "00110101001110100010100100100010", "00100000001111100011110000110101", "010101000100001001011101010110110110000100111010001001000011010100010010", "00101110001100010101000101011011", "01000111010101110101101001000010", "00101101001110010101110001000011", "00101101001101100100011000010000", "01100001001110010010010100100100010110100001000001000110010111100010010001101110", "00101000001111110100010101011110", "0101001101000100010110110101100100101111001011110010000001110000", "01010111010101000001001001011111001011110110111000111000001110000101011100010000", "01011011010100010010100100111010", "0101001101000010001010000010000100100010001100010101111000010000", "0101101101011110010101010100010101100001", "0111001101011101010101110100010000101000001011010010110100111110", "0011010100111101", "00110101001011010010010001110000", "00100000001011010010010001110000", "001001000101110101011110", "001001000100000001010001", "001001110100000001011001", "0101011001010100", "0110000101000110", "011000010010111100100010001101000001001001000100010110100101001101100001", "010111010101001101010001", "001100010001001001010110", "0011100100100100001110010101000101011000", "001010110011100101011100", "00110011001011110010000001110000", "0110010001011001", "011001000101101001010011", "01000101010100010100000001010010", "0000010000111001", "0001111100100101", "0111100001000101", "000001100010101100111110", "0111000100010110", "000111100101011101000111", "0000000100110101", "010000010001000001000110010111100010010001101110", "010000010001000001100110010111100010010001101110", "01000110010110000101011101011000", "01010011010000100101000101011110", "0101001101000010001001000011110101101100", "00010010010001000101101001011111", "0010010001011010010101010001001001110101", "001000000011110000111110", "001100010101110001010011", "01000000010101010100000101000101", "00110011001010110010110100100100", "01011101010000110101011100010110", "00100001001110010100000101000011", "01011101010101100001001001010111", "0101000101011001010001100100111101100001", "0100000101011001010101100101001101100001", "010101110101001001100001001000010010001001110000", "01011011010111110101110001000101", "00010010010100100101011101010101", "01000110010001000011010000101101", "010100110100010100110010", "0100010101011111001011110010100101101100", "010110110100010100101000001000010010001001110000", "00101000001000100010000000111001", "010101100101001101010101", "01000110010100110011001001101110", "001111100011100100110010", "00110101001111000010110100111110", "0010111100101010001001000101011101000010", "01000010010111110100000101011111", "0101111101010111001011110011011101101100", "001010000011100101000110010110010101110101011000", "00100101001000100101011100010000", "01100001001010100010100100100011", "00101110001101010100011001000111", "01010000010101010100011001000001", "00101110001110100010010001110000", "001111000010001001011101010101000100011101010101", "001001000101101001010001010001100001011000110101001001100010100101110000", "001101010010011000101101001001000001001001000100010110100101001101100001", "001101100010011100111000001110000001001001010001", "00110001001000010011111100111001", "00110111001010110010001001110000", "00101110001000010010100001110000", "0010000100111001001001000101011100010000", "00110001001010110011111000111001", "001111000011010101000000010101100101110101000100", "01010100010101010101001101000010", "0010100100110001010000000100001100010010", "001001000010111100111111001111110101110000010000", "0010010100111110010101010100001100010010", "001110010010001101000110010000100101001101011010", "0011010100100110001111100011111101000111010101110101101000010110", "0000110100100101010000010100010001000000010101110010110100100111", "001000010011000101000110", "0011010100110111", "010000100101010100010010", "01000010010100110010010101101110", "0011001001010111", "001100100101011101010111", "001001110011010100010010", "001110000101001101010100", "001011000010100101110000", "0101111001000110", "010111010101110101010000", "0010100101010111010100010100000000010110", "001111000101001101011110", "001000100011101100111110", "0011110101010011010101000101011100010110", "000011000011111000111001", "0101100101000011", "01011001010111000101000101100001", "010000110101011101010101", "011110010101110000010110", "001101000010000001101100", "0000110100101011", "0110011001000010", "0000100100101011", "001101100101011101000010", "001101100010011100100010", "000001110010001001110000", "0000101000111001", "0101000000010110", "01010000010100010101000101011101", "011111110101011100110011", "0111001101010110", "0110010101010011", "0001110100111000", "00010010010000100101011101010111", "0010010001011010010100010101110000010110", "00101101001111100001001001010001"], "sym_to_id": {"00010011": 4, "00100001": 5, "00101110": 6, "00110101": 7, "01000000": 8, "01000100": 9, "00010010": 10, "01110100": 11, "00111011": 12, "00100000": 13, "00100100": 14, "01010111": 15, "01000010": 16, "01011111": 17, "00110010": 18, "01101110": 19, "00101101": 20, "00111110": 21, "01110101": 22, "01011100": 23, "01010001": 24, "00100111": 25, "00111111": 26, "00111000": 27, "01010110": 28, "01011011": 29, "01011010": 30, "00101100": 31, "01011110": 32, "01010101": 33, "00100011": 34, "01010010": 35, "01100001": 36, "00111010": 37, "01010011": 38, "00101111": 39, "01011101": 40, "01111110": 41, "00110001": 42, "00010000": 43, "00010110": 44, "00100110": 45, "00101001": 46, "01000110": 47, "01000001": 48, "00111100": 49, "00111001": 50, "00100010": 51, "01110000": 52, "00101011": 53, "01101100": 54, "00101000": 55, "00111101": 56, "00100101": 57, "00110011": 58, "01100100": 59, "00001100": 60, "01011000": 61, "00011010": 62, "01000101": 63, "00101010": 64, "01001011": 65, "01011001": 66, "00000100": 67, "00011111": 68, "01010100": 69, "00011100": 70, "01111000": 71, "01000011": 72, "00000110": 73, "00001011": 74, "01111001": 75, "00000011": 76, "00110100": 77, "00001101": 78, "01100110": 79, "00000010": 80, "01111011": 81, "01110010": 82, "01111010": 83, "01111101": 84, "01110110": 85, "01000111": 86, "01100010": 87, "01110001": 88, "00001001": 89, "00110111": 90, "00010101": 91, "00110110": 92, "00011011": 93, "00000111": 94, "01110111": 95, "01100011": 96, "00000101": 97, "00001000": 98, "01100111": 99, "01001111": 100, "01001010": 101, "00001010": 102, "01010000": 103, "00011000": 104, "00001110": 105, "00010001": 106, "01001001": 107, "01111111": 108, "00011110": 109, "01110011": 110, "00000000": 111, "00010100": 112, "01111100": 113, "01001110": 114, "01100101": 115, "00010111": 116, "01100000": 117, "00011001": 118, "01001000": 119, "00001111": 120, "00011101": 121, "01101011": 122, "01001100": 123, "01101010": 124, "01101001": 125, "00000001": 126, "01101111": 127, "01101000": 128, "00110000": 129}, "merges": [[46, 52, 130], [33, 10, 131], [15, 44, 132], [14, 19, 133], [15, 43, 134], [7, 10, 135], [53, 54, 136], [38, 36, 137], [10, 9, 138], [10, 16, 139], [48, 44, 140], [48, 43, 141], [18, 19, 142], [26, 52, 143], [56, 54, 144], [36, 37, 145], [14, 30, 146], [47, 61, 147], [47, 32, 148], [7, 45, 149], [27, 27, 150], [64, 54, 151], [28, 44, 152], [55, 52, 153], [34, 10, 154], [72, 10, 155], [28, 43, 156], [57, 19, 157], [13, 54, 158], [63, 36, 159], [51, 52, 160], [23, 44, 161], [38, 16, 162], [39, 19, 163], [23, 43, 164], [15, 9, 165], [38, 9, 166], [57, 21, 167], [15, 16, 168], [29, 61, 169], [29, 32, 170], [69, 10, 171], [77, 10, 172], [138, 30, 173], [38, 32, 174], [20, 21, 175], [145, 14, 176], [46, 51, 177], [53, 21, 178], [46, 136, 179], [7, 8, 180], [14, 49, 181], [35, 36, 182], [47, 66, 183], [47, 17, 184], [33, 8, 185], [38, 61, 186], [37, 54, 187], [27, 52, 188], [47, 43, 189], [7, 19, 190], [47, 44, 191], [23, 15, 192], [147, 132, 193], [146, 131, 194], [38, 58, 195], [149, 130, 196], [40, 32, 197], [25, 51, 198], [39, 51, 199], [40, 16, 200], [34, 21, 201], [20, 14, 202], [150, 134, 203], [55, 13, 204], [13, 49, 205], [40, 61, 206], [20, 51, 207], [24, 23, 208], [13, 13, 209], [176, 135, 210], [10, 15, 211], [38, 30, 212], [24, 32, 213], [148, 133, 214], [173, 137, 215], [42, 23, 216], [10, 66, 217], [39, 27, 218], [10, 17, 219], [139, 179, 220], [40, 9, 221], [33, 152, 222], [14, 151, 223], [6, 49, 224], [8, 66, 225], [8, 17, 226], [53, 153, 227], [29, 16, 228], [34, 51, 229], [7, 156, 230], [7, 52, 231], [46, 21, 232], [65, 44, 233], [90, 54, 234], [29, 9, 235], [27, 19, 236], [8, 38, 237], [65, 43, 238], [5, 21, 239], [23, 24, 240], [15, 32, 241], [24, 17, 242], [15, 61, 243], [8, 33, 244], [39, 21, 245], [26, 8, 246], [38, 157, 247], [13, 51, 248], [40, 103, 249], [100, 36, 250], [39, 46, 251], [38, 23, 252], [48, 16, 253], [26, 14, 254], [48, 9, 255], [15, 171, 256], [34, 52, 257], [17, 8, 258], [10, 24, 259], [58, 53, 260], [46, 172, 261], [40, 44, 262], [6, 19, 263], [5, 54, 264], [20, 49, 265], [39, 151, 266], [40, 43, 267], [42, 32, 268], [40, 63, 269], [40, 72, 270], [55, 54, 271], [42, 8, 272], [5, 50, 273], [53, 51, 274], [64, 52, 275], [40, 28, 276], [26, 69, 277], [69, 44, 278], [24, 66, 279], [5, 51, 280], [25, 19, 281], [34, 92, 282], [36, 39, 283], [7, 25, 284], [34, 57, 285], [13, 37, 286], [29, 33, 287], [7, 23, 288], [6, 271, 289], [48, 66, 290], [30, 66, 291], [15, 182, 292], [48, 17, 293], [15, 58, 294], [6, 13, 295], [14, 13, 296], [27, 26, 297], [49, 46, 298], [5, 275, 299], [24, 8, 300], [46, 10, 301], [277, 43, 302], [13, 19, 303], [174, 152, 304], [45, 19, 305], [209, 153, 306], [39, 26, 307], [20, 52, 308], [38, 43, 309], [32, 17, 310], [39, 13, 311], [21, 7, 312], [33, 44, 313], [38, 44, 314], [175, 156, 315], [86, 16, 316], [33, 43, 317], [32, 66, 318], [86, 9, 319], [20, 34, 320], [180, 43, 321], [50, 23, 322], [53, 52, 323], [55, 37, 324], [5, 160, 325], [39, 37, 326], [33, 23, 327], [107, 10, 328], [181, 54, 329], [251, 54, 330], [29, 38, 331], [50, 192, 332], [45, 130, 333], [198, 90, 334], [185, 44, 335], [66, 58, 336], [30, 17, 337], [178, 52, 338], [20, 19, 339], [51, 15, 340], [6, 158, 341], [46, 19, 342], [26, 164, 343], [55, 158, 344], [10, 63, 345], [20, 25, 346], [36, 50, 347], [46, 25, 348], [186, 157, 349], [6, 12, 350], [15, 63, 351], [170, 313, 352], [25, 160, 353], [10, 69, 354], [167, 317, 355], [50, 164, 356], [15, 30, 357], [10, 72, 358], [216, 171, 359], [57, 14, 360], [204, 323, 361], [24, 9, 362], [36, 56, 363], [195, 19, 364], [29, 17, 365], [199, 172, 366], [18, 37, 367], [10, 35, 368], [47, 9, 369], [40, 29, 370], [7, 264, 371], [24, 16, 372], [91, 333, 373], [33, 32, 374], [14, 50, 375], [10, 48, 376], [29, 66, 377], [8, 15, 378], [14, 267, 379], [169, 305, 380], [42, 141, 381], [21, 26, 382], [47, 16, 383], [27, 50, 384], [15, 38, 385], [10, 33, 386], [10, 38, 387], [38, 63, 388], [208, 182, 389], [15, 15, 390], [38, 72, 391], [13, 144, 392], [10, 86, 393], [63, 17, 394], [14, 144, 395], [29, 72, 396], [10, 32, 397], [34, 49, 398], [17, 17, 399], [53, 143, 400], [57, 58, 401], [15, 33, 402], [15, 35, 403], [29, 63, 404], [46, 34, 405], [55, 56, 406], [7, 141, 407], [14, 56, 408], [10, 61, 409], [39, 5, 410], [28, 66, 411], [58, 5, 412], [14, 52, 413], [24, 61, 414], [57, 34, 415], [145, 257, 416], [17, 66, 417], [26, 50, 418], [28, 17, 419], [39, 54, 420], [38, 155, 421], [15, 72, 422], [55, 51, 423], [63, 32, 424], [23, 38, 425], [28, 38, 426], [47, 38, 427], [48, 38, 428], [14, 51, 429], [138, 262, 430], [55, 20, 431], [13, 50, 432], [24, 140, 433], [49, 34, 434], [47, 15, 435], [20, 154, 436], [39, 143, 437], [40, 40, 438], [46, 49, 439], [46, 154, 440], [165, 36, 441], [29, 15, 442], [48, 63, 443], [23, 17, 444], [13, 34, 445], [15, 24, 446], [77, 49, 447], [63, 66, 448], [12, 21, 449], [219, 278, 450], [32, 15, 451], [30, 44, 452], [57, 49, 453], [33, 17, 454], [63, 15, 455], [15, 155, 456], [18, 25, 457], [38, 66, 458], [51, 45, 459], [17, 43, 460], [48, 72, 461], [206, 36, 462], [58, 25, 463], [10, 47, 464], [26, 23, 465], [139, 263, 466], [14, 135, 467], [29, 24, 468], [69, 66, 469], [69, 17, 470], [27, 51, 471], [38, 29, 472], [38, 159, 473], [29, 23, 474], [6, 34, 475], [31, 19, 476], [288, 9, 477], [33, 140, 478], [6, 51, 479], [15, 69, 480], [10, 8, 481], [21, 50, 482], [10, 103, 483], [42, 47, 484], [38, 40, 485], [38, 35, 486], [86, 32, 487], [13, 46, 488], [29, 30, 489], [213, 44, 490], [13, 56, 491], [7, 49, 492], [16, 66, 493], [24, 15, 494], [23, 16, 495], [284, 201, 496], [42, 164, 497], [86, 61, 498], [13, 158, 499], [30, 43, 500], [20, 56, 501], [46, 77, 502], [55, 325, 503], [146, 43, 504], [5, 52, 505], [240, 36, 506], [248, 54, 507], [20, 58, 508], [30, 137, 509], [38, 69, 510], [46, 53, 511], [40, 47, 512], [77, 13, 513], [365, 161, 514], [39, 64, 515], [217, 281, 516], [249, 36, 517], [46, 14, 518], [13, 187, 519], [32, 24, 520], [53, 27, 521], [327, 16, 522], [5, 13, 523], [16, 16, 524], [46, 39, 525], [14, 20, 526], [274, 14, 527], [38, 47, 528], [42, 189, 529], [311, 52, 530], [23, 66, 531], [55, 27, 532], [29, 8, 533], [39, 25, 534], [211, 266, 535], [36, 31, 536], [16, 17, 537], [10, 28, 538], [55, 144, 539], [39, 14, 540], [57, 343, 541], [58, 19, 542], [268, 43, 543], [10, 59, 544], [16, 9, 545], [30, 15, 546], [224, 54, 547], [36, 299, 548], [39, 53, 549], [17, 278, 550], [50, 51, 551], [46, 42, 552], [17, 15, 553], [92, 200, 554], [246, 43, 555], [15, 159, 556], [48, 33, 557], [17, 163, 558], [29, 47, 559], [10, 87, 560], [40, 30, 561], [15, 47, 562], [40, 23, 563], [15, 23, 564], [25, 239, 565], [149, 54, 566], [32, 43, 567], [18, 187, 568], [36, 21, 569], [66, 161, 570], [48, 61, 571], [40, 8, 572], [173, 38, 573], [48, 32, 574], [30, 131, 575], [55, 50, 576], [32, 38, 577], [57, 51, 578], [20, 234, 579], [39, 12, 580], [38, 8, 581], [6, 50, 582], [24, 24, 583], [27, 134, 584], [51, 57, 585], [36, 45, 586], [55, 49, 587], [63, 433, 588], [64, 50, 589], [7, 227, 590], [40, 86, 591], [13, 52, 592], [34, 34, 593], [377, 163, 594], [39, 160, 595], [12, 381, 596], [10, 95, 597], [38, 33, 598], [29, 155, 599], [36, 55, 600], [92, 437, 601], [15, 29, 602], [10, 88, 603], [66, 281, 604], [23, 33, 605], [63, 61, 606], [20, 13, 607], [46, 58, 608], [24, 191, 609], [39, 49, 610], [15, 8, 611], [10, 29, 612], [69, 258, 613], [33, 61, 614], [9, 66, 615], [15, 266, 616], [77, 56, 617], [39, 50, 618], [24, 38, 619], [28, 33, 620], [29, 29, 621], [135, 9, 622], [29, 35, 623], [55, 7, 624], [69, 336, 625], [79, 32, 626], [131, 16, 627], [30, 38, 628], [32, 33, 629], [57, 53, 630], [57, 154, 631], [5, 26, 632], [69, 16, 633], [455, 142, 634], [40, 48, 635], [51, 37, 636], [169, 36, 637], [10, 40, 638], [9, 17, 639], [12, 27, 640], [10, 115, 641], [25, 21, 642], [13, 26, 643], [46, 56, 644], [79, 61, 645], [208, 35, 646], [9, 38, 647], [32, 44, 648], [10, 96, 649], [103, 38, 650], [55, 64, 651], [18, 45, 652], [69, 9, 653], [57, 8, 654], [29, 69, 655], [283, 54, 656], [7, 144, 657], [57, 25, 658], [7, 164, 659], [17, 24, 660], [86, 30, 661], [289, 194, 662], [10, 82, 663], [26, 7, 664], [25, 421, 665], [14, 37, 666], [36, 64, 667], [42, 183, 668], [34, 25, 669], [7, 53, 670], [10, 22, 671], [17, 38, 672], [57, 56, 673], [77, 51, 674], [86, 72, 675], [13, 7, 676], [12, 51, 677], [29, 159, 678], [86, 63, 679], [26, 27, 680], [39, 187, 681], [57, 45, 682], [14, 158, 683], [217, 161, 684], [12, 50, 685], [20, 53, 686], [14, 34, 687], [50, 197, 688], [55, 34, 689], [32, 23, 690], [17, 44, 691], [10, 389, 692], [13, 64, 693], [29, 40, 694], [6, 7, 695], [36, 366, 696], [13, 20, 697], [8, 24, 698], [20, 77, 699], [10, 110, 700], [20, 5, 701], [86, 23, 702], [14, 26, 703], [47, 247, 704], [6, 56, 705], [103, 33, 706], [18, 56, 707], [18, 53, 708], [57, 90, 709], [92, 25, 710], [20, 136, 711], [39, 20, 712], [39, 56, 713], [47, 63, 714], [66, 43, 715], [21, 42, 716], [92, 45, 717], [47, 72, 718], [10, 84, 719], [36, 20, 720], [64, 19, 721], [10, 11, 722], [14, 27, 723], [51, 5, 724], [27, 154, 725], [137, 37, 726], [6, 37, 727], [10, 71, 728], [282, 215, 729], [276, 220, 730], [23, 35, 731], [23, 63, 732], [13, 42, 733], [62, 467, 734], [98, 158, 735], [219, 163, 736], [10, 81, 737], [47, 24, 738], [249, 210, 739], [40, 66, 740], [302, 214, 741], [20, 39, 742], [33, 66, 743], [36, 353, 744], [12, 26, 745], [216, 69, 746], [8, 44, 747], [15, 190, 748], [28, 221, 749], [36, 34, 750], [45, 45, 751], [47, 155, 752], [50, 21, 753], [213, 30, 754], [10, 41, 755], [49, 51, 756], [50, 141, 757], [20, 12, 758], [177, 134, 759], [31, 21, 760], [6, 21, 761], [212, 44, 762], [448, 148, 763], [77, 37, 764], [42, 51, 765], [51, 280, 766], [25, 235, 767], [55, 229, 768], [16, 38, 769], [23, 233, 770], [645, 132, 771], [32, 30, 772], [27, 7, 773], [34, 53, 774], [26, 26, 775], [33, 15, 776], [47, 222, 777], [199, 77, 778], [685, 147, 779], [202, 52, 780], [6, 57, 781], [20, 90, 782], [67, 575, 783], [146, 609, 784], [25, 25, 785], [51, 136, 786], [218, 688, 787], [525, 188, 788], [150, 166, 789], [34, 56, 790], [27, 230, 791], [32, 250, 792], [47, 33, 793], [47, 159, 794], [90, 25, 795], [147, 162, 796], [15, 17, 797], [39, 144, 798], [104, 584, 799], [184, 341, 800], [14, 42, 801], [307, 23, 802], [10, 75, 803], [38, 24, 804], [15, 66, 805], [57, 77, 806], [186, 36, 807], [459, 54, 808], [149, 202, 809], [14, 53, 810], [27, 42, 811], [710, 150, 812], [32, 131, 813], [45, 168, 814], [50, 34, 815], [58, 197, 816], [86, 38, 817], [10, 30, 818], [38, 38, 819], [103, 66, 820], [183, 36, 821], [10, 83, 822], [8, 72, 823], [37, 50, 824], [40, 69, 825], [181, 130, 826], [241, 191, 827], [55, 57, 828], [565, 52, 829], [18, 136, 830], [7, 136, 831], [10, 108, 832], [626, 133, 833], [6, 27, 834], [20, 50, 835], [51, 25, 836], [57, 504, 837], [168, 132, 838], [324, 413, 839], [296, 188, 840], [767, 452, 841], [24, 131, 842], [13, 27, 843], [232, 189, 844], [14, 39, 845], [18, 12, 846], [31, 136, 847], [40, 17, 848], [7, 178, 849], [13, 301, 850], [7, 37, 851], [34, 234, 852], [39, 135, 853], [384, 197, 854], [16, 15, 855], [8, 63, 856], [613, 44, 857], [40, 35, 858], [55, 46, 859], [207, 54, 860], [10, 113, 861], [39, 136, 862], [14, 168, 863], [26, 34, 864], [47, 185, 865], [32, 328, 866], [64, 51, 867], [13, 135, 868], [64, 555, 869], [165, 133, 870], [7, 338, 871], [36, 25, 872], [63, 44, 873], [90, 136, 874], [16, 30, 875], [36, 121, 876], [24, 33, 877], [14, 7, 878], [34, 12, 879], [46, 50, 880], [14, 21, 881], [347, 436, 882], [103, 72, 883], [42, 17, 884], [55, 280, 885], [195, 136, 886], [24, 29, 887], [39, 167, 888], [15, 40, 889], [46, 5, 890], [246, 9, 891], [18, 238, 892], [625, 19, 893], [26, 57, 894], [176, 529, 895], [39, 205, 896], [13, 21, 897], [103, 17, 898], [178, 135, 899], [348, 143, 900], [32, 137, 901], [38, 17, 902], [28, 15, 903], [142, 315, 904], [180, 131, 905], [344, 194, 906], [376, 392, 907], [148, 519, 908], [33, 9, 909], [49, 49, 910], [63, 43, 911], [15, 86, 912], [58, 136, 913], [39, 7, 914], [31, 25, 915], [58, 134, 916], [86, 24, 917], [31, 31, 918], [50, 14, 919], [63, 38, 920], [47, 364, 921], [36, 120, 922], [57, 465, 923], [272, 43, 924], [10, 23, 925], [86, 69, 926], [86, 35, 927], [434, 56, 928], [5, 42, 929], [36, 298, 930], [170, 220, 931], [394, 566, 932], [39, 57, 933], [13, 57, 934], [48, 47, 935], [24, 161, 936], [34, 13, 937], [103, 63, 938], [30, 33, 939], [49, 238, 940], [86, 33, 941], [28, 63, 942], [47, 335, 943], [49, 26, 944], [228, 342, 945], [49, 57, 946], [90, 178, 947], [167, 215, 948], [176, 7, 949], [177, 141, 950], [239, 52, 951], [9, 131, 952], [48, 131, 953], [86, 29, 954], [146, 33, 955], [9, 185, 956], [14, 245, 957], [18, 21, 958], [169, 210, 959], [273, 21, 960], [5, 7, 961], [20, 172, 962], [36, 51, 963], [47, 195, 964], [13, 151, 965], [51, 51, 966], [163, 203, 967], [24, 30, 968], [139, 788, 969], [28, 72, 970], [30, 24, 971], [92, 19, 972], [243, 190, 973], [12, 52, 974], [32, 107, 975], [23, 132, 976], [77, 187, 977], [92, 226, 978], [202, 514, 979], [299, 193, 980], [20, 57, 981], [38, 107, 982], [205, 54, 983], [13, 25, 984], [47, 137, 985], [173, 748, 986], [14, 321, 987], [36, 78, 988], [48, 15, 989], [475, 54, 990], [42, 5, 991], [7, 234, 992], [8, 43, 993], [13, 31, 994], [300, 44, 995], [20, 46, 996], [39, 55, 997], [63, 185, 998], [322, 9, 999], [37, 180, 1000], [53, 26, 1001], [242, 17, 1002], [38, 171, 1003], [27, 180, 1004], [258, 16, 1005], [17, 35, 1006], [39, 52, 1007], [340, 72, 1008], [13, 226, 1009], [10, 117, 1010], [31, 231, 1011], [350, 51, 1012], [320, 56, 1013], [6, 26, 1014], [30, 9, 1015], [33, 16, 1016], [181, 143, 1017], [210, 72, 1018], [42, 53, 1019], [48, 137, 1020], [356, 214, 1021], [10, 79, 1022], [12, 7, 1023], [31, 34, 1024], [49, 50, 1025], [10, 155, 1026], [25, 52, 1027], [69, 38, 1028], [393, 473, 1029], [6, 46, 1030], [20, 151, 1031], [291, 140, 1032], [17, 522, 1033], [24, 137, 1034], [139, 511, 1035], [64, 26, 1036], [77, 34, 1037], [92, 53, 1038], [194, 63, 1039], [25, 928, 1040], [40, 24, 1041], [86, 15, 1042], [223, 379, 1043], [16, 43, 1044], [25, 37, 1045], [34, 189, 1046], [412, 505, 1047], [30, 236, 1048], [38, 15, 1049], [382, 460, 1050], [450, 196, 1051], [5, 18, 1052], [5, 477, 1053], [16, 33, 1054], [20, 18, 1055], [35, 233, 1056], [55, 187, 1057], [24, 43, 1058], [31, 527, 1059], [40, 33, 1060], [135, 550, 1061], [10, 159, 1062], [42, 19, 1063], [51, 26, 1064], [25, 838, 1065], [69, 236, 1066], [165, 142, 1067], [7, 51, 1068], [40, 38, 1069], [285, 23, 1070], [33, 63, 1071], [39, 42, 1072], [103, 250, 1073], [375, 141, 1074], [978, 691, 1075], [20, 45, 1076], [46, 338, 1077], [47, 250, 1078], [23, 137, 1079], [40, 15, 1080], [166, 594, 1081], [294, 19, 1082], [13, 234, 1083], [42, 434, 1084], [103, 15, 1085], [150, 168, 1086], [23, 159, 1087], [256, 15, 1088], [49, 7, 1089], [272, 9, 1090], [286, 541, 1091], [516, 203, 1092], [15, 119, 1093], [162, 503, 1094], [712, 130, 1095], [92, 899, 1096], [184, 295, 1097], [49, 52, 1098], [57, 23, 1099], [7, 5, 1100], [90, 53, 1101], [154, 86, 1102], [268, 23, 1103], [33, 38, 1104], [14, 92, 1105], [20, 37, 1106], [46, 45, 1107], [57, 12, 1108], [86, 47, 1109], [103, 30, 1110], [548, 193, 1111], [29, 357, 1112], [55, 21, 1113], [55, 400, 1114], [133, 282, 1115], [16, 185, 1116], [17, 161, 1117], [17, 330, 1118], [45, 136, 1119], [12, 905, 1120], [51, 19, 1121], [259, 140, 1122], [633, 370, 1123], [168, 140, 1124], [32, 171, 1125], [38, 132, 1126], [25, 291, 1127], [27, 599, 1128], [33, 131, 1129], [42, 28, 1130], [48, 222, 1131], [15, 103, 1132], [66, 66, 1133], [46, 55, 1134], [64, 57, 1135], [300, 16, 1136], [24, 44, 1137], [42, 21, 1138], [58, 39, 1139], [337, 142, 1140], [16, 44, 1141], [38, 182, 1142], [212, 36, 1143], [7, 334, 1144], [103, 328, 1145], [6, 5, 1146], [9, 195, 1147], [17, 33, 1148], [31, 53, 1149], [63, 886, 1150], [58, 30, 1151], [149, 177, 1152], [183, 206, 1153], [538, 221, 1154], [867, 438, 1155], [33, 24, 1156], [51, 7, 1157], [88, 66, 1158], [18, 227, 1159], [245, 14, 1160], [6, 42, 1161], [15, 114, 1162], [46, 13, 1163], [77, 21, 1164], [64, 92, 1165], [69, 103, 1166], [86, 8, 1167], [33, 72, 1168], [66, 44, 1169], [502, 430, 1170], [34, 58, 1171], [273, 14, 1172], [16, 24, 1173], [58, 12, 1174], [58, 234, 1175], [42, 25, 1176], [353, 193, 1177], [29, 103, 1178], [57, 13, 1179], [26, 13, 1180], [225, 476, 1181], [403, 416, 1182], [10, 37, 1183], [48, 392, 1184], [66, 140, 1185], [142, 282, 1186], [215, 56, 1187], [283, 143, 1188], [26, 58, 1189], [42, 178, 1190], [269, 374, 1191], [653, 990, 1192], [86, 357, 1193], [7, 255, 1194], [29, 28, 1195], [49, 180, 1196], [135, 72, 1197], [142, 167, 1198], [213, 17, 1199], [431, 54, 1200], [25, 53, 1201], [48, 247, 1202], [998, 137, 1203], [7, 449, 1204], [13, 198, 1205], [14, 46, 1206], [15, 48, 1207], [57, 227, 1208], [36, 144, 1209], [39, 227, 1210], [103, 547, 1211], [220, 34, 1212], [253, 36, 1213], [31, 5, 1214], [142, 203, 1215], [17, 131, 1216], [48, 8, 1217], [55, 332, 1218], [56, 174, 1219], [88, 17, 1220], [32, 63, 1221], [34, 26, 1222], [57, 144, 1223], [86, 40, 1224], [16, 47, 1225], [20, 322, 1226], [27, 57, 1227], [30, 364, 1228], [51, 53, 1229], [668, 206, 1230], [117, 66, 1231], [188, 193, 1232], [20, 201, 1233], [298, 34, 1234], [7, 101, 1235], [13, 172, 1236], [14, 234, 1237], [20, 92, 1238], [347, 837, 1239], [9, 15, 1240], [34, 14, 1241], [91, 45, 1242], [218, 230, 1243], [600, 229, 1244], [32, 182, 1245], [46, 90, 1246], [50, 189, 1247], [57, 334, 1248], [58, 500, 1249], [111, 19, 1250], [280, 90, 1251], [16, 8, 1252], [23, 72, 1253], [80, 45, 1254], [97, 21, 1255], [130, 276, 1256], [287, 140, 1257], [604, 203, 1258], [24, 233, 1259], [36, 734, 1260], [208, 16, 1261], [273, 51, 1262], [6, 301, 1263], [13, 168, 1264], [36, 53, 1265], [36, 76, 1266], [36, 94, 1267], [622, 509, 1268], [7, 50, 1269], [24, 63, 1270], [64, 246, 1271], [87, 179, 1272], [13, 14, 1273], [29, 43, 1274], [47, 107, 1275], [56, 57, 1276], [166, 132, 1277], [223, 194, 1278], [361, 193, 1279], [484, 222, 1280], [480, 466, 1281], [10, 52, 1282], [25, 55, 1283], [39, 231, 1284], [46, 659, 1285], [55, 26, 1286], [86, 66, 1287], [324, 231, 1288], [10, 85, 1289], [86, 155, 1290], [199, 14, 1291], [245, 52, 1292], [130, 193, 1293], [371, 194, 1294], [36, 62, 1295], [50, 49, 1296], [72, 63, 1297], [195, 144, 1298], [297, 215, 1299], [350, 21, 1300], [668, 462, 1301], [23, 182, 1302], [69, 15, 1303], [81, 61, 1304], [180, 155, 1305], [29, 762, 1306], [72, 72, 1307], [261, 1056, 1308], [7, 239, 1309], [8, 250, 1310], [36, 60, 1311], [50, 436, 1312], [72, 58, 1313], [81, 32, 1314], [146, 335, 1315], [256, 1066, 1316], [16, 425, 1317], [34, 338, 1318], [36, 198, 1319], [55, 518, 1320], [77, 168, 1321], [184, 330, 1322], [54, 34, 1323], [90, 338, 1324], [129, 12, 1325], [216, 9, 1326], [258, 44, 1327], [348, 218, 1328], [18, 144, 1329], [143, 304, 1330], [219, 161, 1331], [544, 509, 1332], [10, 99, 1333], [17, 40, 1334], [57, 136, 1335], [86, 473, 1336], [184, 220, 1337], [223, 892, 1338], [261, 570, 1339], [10, 646, 1340], [28, 131, 1341], [108, 17, 1342], [38, 206, 1343], [77, 144, 1344], [103, 9, 1345], [48, 24, 1346], [50, 759, 1347], [86, 17, 1348], [235, 233, 1349], [484, 131, 1350], [525, 153, 1351], [642, 52, 1352], [13, 90, 1353], [55, 19, 1354], [55, 1050, 1355], [140, 306, 1356], [239, 14, 1357], [7, 12, 1358], [28, 222, 1359], [32, 35, 1360], [36, 16, 1361], [55, 154, 1362], [183, 210, 1363], [971, 152, 1364], [7, 162, 1365], [13, 520, 1366], [55, 230, 1367], [103, 107, 1368], [108, 66, 1369], [285, 614, 1370], [385, 163, 1371], [14, 15, 1372], [38, 28, 1373], [133, 203, 1374], [457, 201, 1375], [640, 1306, 1376], [16, 63, 1377], [20, 301, 1378], [38, 458, 1379], [47, 86, 1380], [8, 137, 1381], [12, 254, 1382], [48, 839, 1383], [55, 53, 1384], [55, 595, 1385], [59, 509, 1386], [180, 66, 1387], [360, 238, 1388], [1127, 213, 1389], [5, 135, 1390], [6, 64, 1391], [28, 155, 1392], [50, 56, 1393], [202, 134, 1394], [402, 161, 1395], [28, 247, 1396], [36, 9, 1397], [69, 33, 1398], [228, 236, 1399], [532, 321, 1400], [14, 64, 1401], [20, 144, 1402], [27, 654, 1403], [28, 9, 1404], [28, 159, 1405], [36, 5, 1406], [88, 61, 1407], [133, 167, 1408], [401, 500, 1409], [103, 16, 1410], [105, 158, 1411], [142, 308, 1412], [195, 25, 1413], [418, 197, 1414], [585, 54, 1415], [627, 179, 1416], [682, 134, 1417], [6, 187, 1418], [9, 33, 1419], [24, 40, 1420], [42, 238, 1421], [208, 33, 1422], [355, 214, 1423], [810, 160, 1424], [27, 46, 1425], [57, 407, 1426], [77, 25, 1427], [166, 377, 1428], [256, 558, 1429], [546, 157, 1430], [834, 177, 1431], [32, 9, 1432], [103, 335, 1433], [108, 15, 1434], [197, 132, 1435], [336, 37, 1436], [346, 52, 1437], [48, 826, 1438], [103, 24, 1439], [336, 19, 1440], [387, 206, 1441], [27, 332, 1442], [32, 100, 1443], [47, 48, 1444], [77, 46, 1445], [380, 203, 1446], [5, 56, 1447], [10, 36, 1448], [16, 23, 1449], [17, 72, 1450], [27, 321, 1451], [34, 5, 1452], [49, 13, 1453], [120, 27, 1454], [130, 304, 1455], [268, 66, 1456], [622, 262, 1457], [9, 137, 1458], [14, 187, 1459], [36, 73, 1460], [63, 33, 1461], [217, 140, 1462], [350, 521, 1463], [560, 179, 1464], [717, 1409, 1465], [726, 467, 1466], [57, 178, 1467], [141, 349, 1468], [148, 329, 1469], [15, 163, 1470], [36, 70, 1471], [39, 530, 1472], [57, 26, 1473], [13, 230, 1474], [24, 72, 1475], [37, 7, 1476], [46, 272, 1477], [68, 14, 1478], [92, 228, 1479], [120, 26, 1480], [133, 315, 1481], [162, 233, 1482], [918, 177, 1483], [45, 49, 1484], [55, 780, 1485], [58, 56, 1486], [194, 16, 1487], [292, 1011, 1488], [532, 130, 1489], [801, 156, 1490], [42, 37, 1491], [47, 30, 1492], [50, 837, 1493], [205, 231, 1494], [252, 648, 1495], [606, 287, 1496], [21, 57, 1497], [46, 7, 1498], [46, 92, 1499], [134, 214, 1500], [190, 203, 1501], [240, 210, 1502], [18, 5, 1503], [37, 321, 1504], [40, 200, 1505], [77, 20, 1506], [143, 276, 1507], [207, 231, 1508], [311, 50, 1509], [751, 188, 1510], [8, 9, 1511], [15, 328, 1512], [37, 135, 1513], [53, 57, 1514], [77, 31, 1515], [375, 54, 1516], [502, 215, 1517], [1112, 16, 1518], [201, 317, 1519], [212, 339, 1520], [295, 323, 1521], [468, 46, 1522], [13, 77, 1523], [23, 247, 1524], [38, 370, 1525], [49, 156, 1526], [57, 64, 1527], [88, 32, 1528], [132, 196, 1529], [223, 356, 1530], [28, 137, 1531], [51, 12, 1532], [86, 159, 1533], [185, 159, 1534], [468, 161, 1535], [9, 335, 1536], [15, 28, 1537], [25, 143, 1538], [27, 301, 1539], [38, 103, 1540], [53, 49, 1541], [154, 550, 1542], [201, 134, 1543], [285, 189, 1544], [419, 330, 1545], [587, 54, 1546], [42, 358, 1547], [64, 7, 1548], [235, 140, 1549], [27, 49, 1550], [36, 80, 1551], [131, 15, 1552], [485, 132, 1553], [559, 132, 1554], [720, 201, 1555], [13, 244, 1556], [14, 307, 1557], [17, 63, 1558], [20, 64, 1559], [33, 295, 1560], [185, 17, 1561], [213, 63, 1562], [218, 14, 1563], [273, 90, 1564], [332, 220, 1565], [613, 29, 1566], [47, 328, 1567], [57, 5, 1568], [237, 157, 1569], [288, 69, 1570], [408, 188, 1571], [923, 155, 1572], [16, 61, 1573], [17, 142, 1574], [24, 372, 1575], [36, 98, 1576], [52, 66, 1577], [103, 100, 1578], [169, 45, 1579], [265, 567, 1580], [351, 190, 1581], [16, 72, 1582], [26, 319, 1583], [32, 72, 1584], [34, 383, 1585], [69, 43, 1586], [130, 170, 1587], [269, 191, 1588], [445, 14, 1589], [454, 69, 1590], [7, 39, 1591], [27, 1003, 1592], [306, 193, 1593], [872, 143, 1594], [20, 227, 1595], [28, 24, 1596], [42, 49, 1597], [50, 77, 1598], [248, 592, 1599], [723, 177, 1600], [32, 222, 1601], [33, 137, 1602], [66, 17, 1603], [66, 163, 1604], [130, 184, 1605], [178, 50, 1606], [512, 165, 1607], [39, 58, 1608], [45, 25, 1609], [49, 891, 1610], [103, 224, 1611], [162, 885, 1612], [183, 462, 1613], [327, 35, 1614], [376, 839, 1615], [410, 188, 1616], [583, 40, 1617], [49, 360, 1618], [57, 54, 1619], [133, 297, 1620], [197, 313, 1621], [379, 214, 1622], [736, 203, 1623], [16, 195, 1624], [25, 642, 1625], [26, 42, 1626], [36, 49, 1627], [38, 328, 1628], [55, 77, 1629], [55, 321, 1630], [496, 141, 1631], [1320, 14, 1632], [5, 57, 1633], [18, 319, 1634], [27, 246, 1635], [32, 69, 1636], [139, 46, 1637], [246, 69, 1638], [268, 72, 1639], [28, 1181, 1640], [48, 29, 1641], [53, 207, 1642], [58, 438, 1643], [218, 135, 1644], [483, 547, 1645], [6, 31, 1646], [53, 50, 1647], [294, 37, 1648], [352, 196, 1649], [442, 163, 1650], [480, 220, 1651], [843, 130, 1652], [6, 321, 1653], [36, 66, 1654], [69, 30, 1655], [110, 63, 1656], [162, 133, 1657], [325, 193, 1658], [326, 177, 1659], [805, 747, 1660], [58, 34, 1661], [103, 23, 1662], [140, 289, 1663], [162, 223, 1664], [375, 414, 1665], [751, 54, 1666], [17, 137, 1667], [26, 135, 1668], [48, 155, 1669], [57, 52, 1670], [92, 158, 1671], [199, 50, 1672], [627, 263, 1673], [34, 136, 1674], [39, 334, 1675], [45, 5, 1676], [50, 13, 1677], [65, 66, 1678], [86, 945, 1679], [110, 72, 1680], [202, 47, 1681], [274, 77, 1682], [337, 808, 1683], [487, 152, 1684], [684, 196, 1685], [8, 16, 1686], [21, 221, 1687], [38, 681, 1688], [42, 1357, 1689], [162, 132, 1690], [261, 24, 1691], [501, 134, 1692], [1052, 168, 1693], [15, 300, 1694], [57, 42, 1695], [117, 17, 1696], [138, 14, 1697], [201, 215, 1698], [1496, 342, 1699], [8, 451, 1700], [9, 222, 1701], [20, 400, 1702], [27, 25, 1703], [150, 1660, 1704], [207, 238, 1705], [410, 135, 1706], [416, 193, 1707], [16, 228, 1708], [18, 264, 1709], [51, 50, 1710], [58, 37, 1711], [6, 398, 1712], [8, 225, 1713], [9, 364, 1714], [14, 1352, 1715], [18, 325, 1716], [32, 200, 1717], [42, 369, 1718], [55, 151, 1719], [57, 7, 1720], [424, 1485, 1721], [533, 133, 1722], [27, 34, 1723], [103, 1047, 1724], [167, 134, 1725], [229, 134, 1726], [242, 44, 1727], [403, 210, 1728], [13, 162, 1729], [15, 250, 1730], [25, 391, 1731], [36, 102, 1732], [46, 301, 1733], [57, 497, 1734], [69, 28, 1735], [212, 579, 1736], [224, 134, 1737], [469, 856, 1738], [570, 196, 1739], [724, 523, 1740], [8, 29, 1741], [29, 490, 1742], [33, 166, 1743], [51, 187, 1744], [77, 136, 1745], [103, 976, 1746], [188, 276, 1747], [202, 365, 1748], [205, 130, 1749], [226, 330, 1750], [397, 539, 1751], [405, 189, 1752], [422, 191, 1753], [754, 236, 1754], [16, 1005, 1755], [36, 33, 1756], [36, 38, 1757], [36, 109, 1758], [50, 58, 1759], [58, 199, 1760], [142, 297, 1761], [880, 993, 1762], [9, 247, 1763], [30, 362, 1764], [36, 17, 1765], [46, 178, 1766], [47, 131, 1767], [48, 159, 1768], [58, 227, 1769], [298, 58, 1770], [324, 143, 1771], [582, 160, 1772], [652, 54, 1773], [709, 1015, 1774], [24, 490, 1775], [36, 333, 1776], [42, 45, 1777], [52, 9, 1778], [64, 42, 1779], [77, 64, 1780], [110, 43, 1781], [207, 134, 1782], [239, 12, 1783], [245, 135, 1784], [401, 252, 1785], [465, 131, 1786], [55, 55, 1787], [57, 92, 1788], [78, 52, 1789], [110, 44, 1790], [286, 130, 1791], [445, 130, 1792], [636, 541, 1793], [1639, 262, 1794], [15, 339, 1795], [53, 254, 1796], [58, 334, 1797], [111, 34, 1798], [166, 133, 1799], [259, 191, 1800], [410, 52, 1801], [614, 191, 1802], [896, 238, 1803], [41, 66, 1804], [49, 42, 1805], [51, 239, 1806], [90, 134, 1807], [90, 227, 1808], [147, 165, 1809], [206, 305, 1810], [386, 295, 1811], [726, 257, 1812], [1271, 40, 1813], [18, 134, 1814], [29, 44, 1815], [32, 29, 1816], [42, 653, 1817], [45, 12, 1818], [47, 100, 1819], [48, 40, 1820], [55, 530, 1821], [105, 51, 1822], [149, 1762, 1823], [170, 132, 1824], [224, 130, 1825], [320, 189, 1826], [393, 945, 1827], [466, 203, 1828], [742, 7, 1829], [5, 216, 1830], [28, 185, 1831], [32, 247, 1832], [41, 17, 1833], [166, 292, 1834], [192, 339, 1835], [194, 33, 1836], [374, 190, 1837], [540, 514, 1838], [558, 203, 1839], [955, 235, 1840], [18, 334, 1841], [31, 198, 1842], [34, 77, 1843], [39, 188, 1844], [46, 12, 1845], [52, 17, 1846], [55, 31, 1847], [55, 135, 1848], [57, 338, 1849], [147, 441, 1850], [207, 156, 1851], [211, 36, 1852], [242, 495, 1853], [248, 775, 1854], [273, 1526, 1855], [295, 130, 1856], [569, 382, 1857], [587, 254, 1858], [744, 193, 1859], [1193, 44, 1860], [6, 135, 1861], [25, 188, 1862], [28, 335, 1863], [111, 51, 1864], [133, 596, 1865], [146, 17, 1866], [194, 47, 1867], [211, 142, 1868], [272, 131, 1869], [331, 142, 1870], [374, 30, 1871], [406, 413, 1872], [409, 678, 1873], [571, 559, 1874], [802, 72, 1875], [1738, 190, 1876], [13, 353, 1877], [29, 840, 1878], [34, 90, 1879], [46, 326, 1880], [51, 227, 1881], [166, 236, 1882], [198, 14, 1883], [208, 17, 1884], [230, 214, 1885], [280, 135, 1886], [300, 35, 1887], [340, 38, 1888], [625, 34, 1889], [13, 12, 1890], [15, 294, 1891], [63, 258, 1892], [77, 396, 1893], [202, 168, 1894], [202, 256, 1895], [217, 163, 1896], [217, 191, 1897], [302, 148, 1898], [360, 141, 1899], [513, 153, 1900], [521, 189, 1901], [582, 54, 1902], [1064, 189, 1903], [34, 47, 1904], [38, 48, 1905], [42, 144, 1906], [46, 814, 1907], [192, 15, 1908], [206, 133, 1909], [298, 42, 1910], [307, 34, 1911], [458, 161, 1912], [481, 225, 1913], [8, 61, 1914], [25, 200, 1915], [36, 118, 1916], [55, 420, 1917], [64, 49, 1918], [64, 136, 1919], [268, 770, 1920], [293, 161, 1921], [294, 136, 1922], [938, 191, 1923], [1045, 177, 1924], [38, 86, 1925], [89, 136, 1926], [154, 389, 1927], [170, 33, 1928], [194, 103, 1929], [208, 24, 1930], [272, 16, 1931], [290, 163, 1932], [17, 39, 1933], [38, 100, 1934], [55, 177, 1935], [55, 180, 1936], [83, 66, 1937], [210, 9, 1938], [249, 364, 1939], [293, 341, 1940], [445, 54, 1941], [494, 339, 1942], [9, 24, 1943], [27, 135, 1944], [27, 168, 1945], [28, 364, 1946], [31, 199, 1947], [31, 239, 1948], [53, 42, 1949], [58, 1505, 1950], [217, 495, 1951], [270, 190, 1952], [312, 48, 1953], [327, 33, 1954], [415, 500, 1955], [442, 339, 1956], [702, 152, 1957], [727, 987, 1958], [766, 14, 1959], [781, 189, 1960], [823, 191, 1961], [829, 193, 1962], [879, 188, 1963], [949, 228, 1964], [1049, 132, 1965], [1097, 143, 1966], [25, 39, 1967], [83, 17, 1968], [92, 264, 1969], [94, 51, 1970], [326, 143, 1971], [404, 342, 1972], [4, 30, 1973], [14, 25, 1974], [39, 407, 1975], [39, 543, 1976], [58, 269, 1977], [103, 137, 1978], [155, 616, 1979], [200, 132, 1980], [216, 66, 1981], [253, 58, 1982], [464, 412, 1983], [515, 177, 1984], [652, 1179, 1985], [706, 243, 1986], [1379, 44, 1987], [7, 400, 1988], [42, 1160, 1989], [77, 19, 1990], [175, 7, 1991], [219, 142, 1992], [228, 142, 1993], [283, 160, 1994], [292, 353, 1995], [300, 15, 1996], [307, 258, 1997], [444, 191, 1998], [472, 133, 1999], [496, 252, 2000], [884, 131, 2001], [21, 382, 2002], [28, 16, 2003], [28, 235, 2004], [86, 870, 2005], [147, 797, 2006], [174, 72, 2007], [212, 15, 2008], [265, 293, 2009], [429, 54, 2010], [501, 257, 2011], [674, 153, 2012], [802, 9, 2013], [1002, 47, 2014], [1486, 188, 2015], [20, 356, 2016], [23, 61, 2017], [34, 738, 2018], [52, 15, 2019], [58, 144, 2020], [66, 38, 2021], [69, 72, 2022], [108, 38, 2023], [162, 152, 2024], [205, 153, 2025], [242, 732, 2026], [259, 161, 2027], [746, 220, 2028], [778, 215, 2029], [29, 101, 2030], [42, 362, 2031], [51, 530, 2032], [53, 7, 2033], [113, 15, 2034], [139, 402, 2035], [197, 220, 2036], [222, 371, 2037], [245, 51, 2038], [246, 29, 2039], [322, 69, 2040], [387, 370, 2041], [421, 15, 2042], [1625, 1046, 2043], [57, 255, 2044], [118, 164, 2045], [126, 42, 2046], [204, 53, 2047], [209, 231, 2048], [350, 1236, 2049], [374, 44, 2050], [551, 134, 2051], [589, 1961, 2052], [591, 161, 2053], [782, 134, 2054], [1269, 257, 2055], [24, 478, 2056], [28, 195, 2057], [33, 33, 2058], [142, 1120, 2059], [230, 183, 2060], [285, 49, 2061], [300, 250, 2062], [340, 24, 2063], [347, 759, 2064], [368, 233, 2065], [396, 452, 2066], [483, 1047, 2067], [524, 351, 2068], [531, 190, 2069], [565, 56, 2070], [1445, 413, 2071], [15, 995, 2072], [16, 1136, 2073], [20, 27, 2074], [29, 171, 2075], [34, 814, 2076], [36, 89, 2077], [39, 234, 2078], [45, 631, 2079], [47, 412, 2080], [71, 15, 2081], [104, 27, 2082], [252, 290, 2083], [286, 261, 2084], [350, 188, 2085], [376, 1328, 2086], [391, 191, 2087], [447, 54, 2088], [1522, 187, 2089], [1562, 263, 2090], [8, 35, 2091], [14, 381, 2092], [23, 40, 2093], [206, 210, 2094], [279, 326, 2095], [283, 188, 2096], [341, 194, 2097], [359, 63, 2098], [610, 926, 2099], [960, 156, 2100], [7, 362, 2101], [14, 8, 2102], [14, 218, 2103], [24, 242, 2104], [31, 227, 2105], [34, 18, 2106], [49, 27, 2107], [155, 15, 2108], [270, 1031, 2109], [272, 69, 2110], [290, 206, 2111], [307, 1334, 2112], [345, 7, 2113], [430, 196, 2114], [480, 139, 2115], [545, 6, 2116], [562, 165, 2117], [27, 14, 2118], [42, 12, 2119], [175, 238, 2120], [277, 28, 2121], [286, 177, 2122], [288, 72, 2123], [304, 196, 2124], [680, 533, 2125], [695, 241, 2126], [1380, 262, 2127], [1564, 500, 2128], [36, 111, 2129], [50, 752, 2130], [56, 827, 2131], [58, 1221, 2132], [148, 1715, 2133], [170, 211, 2134], [198, 135, 2135], [270, 191, 2136], [343, 214, 2137], [349, 203, 2138], [372, 503, 2139], [424, 16, 2140], [564, 233, 2141], [586, 631, 2142], [633, 329, 2143], [1703, 267, 2144], [5, 205, 2145], [23, 103, 2146], [32, 40, 2147], [33, 101, 2148], [34, 291, 2149], [38, 142, 2150], [61, 132, 2151], [86, 43, 2152], [132, 289, 2153], [173, 9, 2154], [212, 17, 2155], [223, 42, 2156], [431, 265, 2157], [536, 231, 2158], [644, 1433, 2159], [957, 52, 2160], [1068, 231, 2161], [4, 53, 2162], [34, 267, 2163], [36, 97, 2164], [66, 33, 2165], [68, 7, 2166], [77, 141, 2167], [77, 422, 2168], [92, 245, 2169], [92, 269, 2170], [200, 148, 2171], [204, 130, 2172], [212, 1709, 2173], [222, 196, 2174], [254, 168, 2175], [254, 200, 2176], [294, 234, 2177], [322, 131, 2178], [491, 188, 2179], [617, 471, 2180], [660, 161, 2181], [869, 214, 2182], [1006, 441, 2183], [1076, 134, 2184], [7, 888, 2185], [18, 1395, 2186], [20, 245, 2187], [36, 67, 2188], [48, 30, 2189], [49, 1090, 2190], [58, 64, 2191], [65, 38, 2192], [154, 72, 2193], [260, 26, 2194], [290, 614, 2195], [405, 134, 2196], [546, 874, 2197], [893, 203, 2198], [5, 497, 2199], [8, 237, 2200], [14, 394, 2201], [18, 20, 2202], [24, 522, 2203], [28, 35, 2204], [32, 478, 2205], [55, 227, 2206], [57, 543, 2207], [63, 7, 2208], [85, 17, 2209], [97, 52, 2210], [139, 351, 2211], [181, 265, 2212], [204, 2099, 2213], [245, 301, 2214], [367, 229, 2215], [431, 175, 2216], [444, 330, 2217], [661, 157, 2218], [13, 1437, 2219], [46, 437, 2220], [186, 236, 2221], [192, 182, 2222], [218, 50, 2223], [285, 1125, 2224], [367, 177, 2225], [409, 132, 2226], [475, 130, 2227], [607, 57, 2228], [635, 163, 2229], [790, 134, 2230], [7, 434, 2231], [13, 202, 2232], [16, 32, 2233], [49, 446, 2234], [63, 336, 2235], [98, 187, 2236], [103, 131, 2237], [110, 9, 2238], [110, 30, 2239], [146, 1185, 2240], [167, 33, 2241], [174, 211, 2242], [245, 12, 2243], [269, 148, 2244], [354, 236, 2245], [457, 178, 2246], [11, 17, 2247], [25, 187, 2248], [25, 205, 2249], [42, 16, 2250], [48, 86, 2251], [51, 231, 2252], [51, 400, 2253], [81, 16, 2254], [99, 32, 2255], [159, 366, 2256], [176, 757, 2257], [178, 154, 2258], [183, 240, 2259], [294, 151, 2260], [411, 240, 2261], [422, 132, 2262], [857, 196, 2263], [13, 225, 2264], [30, 335, 2265], [36, 74, 2266], [47, 181, 2267], [66, 495, 2268], [81, 9, 2269], [81, 44, 2270], [111, 1382, 2271], [111, 1400, 2272], [166, 157, 2273], [174, 191, 2274], [215, 37, 2275], [269, 190, 2276], [274, 916, 2277], [331, 212, 2278], [347, 1665, 2279], [439, 238, 2280], [498, 157, 2281], [528, 132, 2282], [673, 134, 2283], [1002, 29, 2284], [2006, 542, 2285], [21, 177, 2286], [31, 144, 2287], [32, 539, 2288], [36, 46, 2289], [51, 174, 2290], [53, 77, 2291], [79, 17, 2292], [150, 1191, 2293], [169, 133, 2294], [219, 190, 2295], [253, 224, 2296], [296, 725, 2297], [388, 190, 2298], [10, 45, 2299], [14, 136, 2300], [16, 270, 2301], [36, 325, 2302], [55, 42, 2303], [99, 61, 2304], [108, 24, 2305], [184, 211, 2306], [208, 927, 2307], [232, 26, 2308], [300, 9, 2309], [322, 72, 2310], [359, 15, 2311], [367, 21, 2312], [374, 38, 2313], [393, 388, 2314], [422, 140, 2315], [701, 12, 2316], [717, 257, 2317], [883, 190, 2318], [1164, 54, 2319], [25, 178, 2320], [31, 280, 2321], [31, 595, 2322], [46, 26, 2323], [46, 264, 2324], [55, 398, 2325], [66, 191, 2326], [98, 7, 2327], [101, 44, 2328], [138, 378, 2329], [256, 66, 2330], [295, 143, 2331], [296, 853, 2332], [574, 1113, 2333], [581, 133, 2334], [1012, 172, 2335], [1107, 241, 2336], [1165, 331, 2337], [5, 246, 2338], [35, 1371, 2339], [39, 400, 2340], [39, 477, 2341], [51, 595, 2342], [66, 155, 2343], [81, 43, 2344], [85, 66, 2345], [229, 189, 2346], [357, 236, 2347], [429, 231, 2348], [456, 616, 2349], [470, 2015, 2350], [578, 255, 2351], [723, 232, 2352], [774, 232, 2353], [917, 342, 2354], [1035, 578, 2355], [1238, 943, 2356], [24, 222, 2357], [29, 123, 2358], [34, 844, 2359], [36, 126, 2360], [39, 218, 2361], [46, 227, 2362], [53, 135, 2363], [63, 1259, 2364], [64, 334, 2365], [80, 5, 2366], [120, 54, 2367], [161, 196, 2368], [175, 50, 2369], [216, 1126, 2370], [224, 150, 2371], [279, 1024, 2372], [287, 507, 2373], [300, 40, 2374], [386, 101, 2375], [484, 335, 2376], [1300, 52, 2377], [1479, 253, 2378], [14, 694, 2379], [15, 107, 2380], [45, 888, 2381], [49, 162, 2382], [50, 690, 2383], [56, 474, 2384], [69, 63, 2385], [104, 134, 2386], [167, 252, 2387], [185, 8, 2388], [274, 34, 2389], [290, 462, 2390], [347, 320, 2391], [418, 374, 2392], [463, 384, 2393], [573, 1546, 2394], [724, 1447, 2395], [13, 270, 2396], [25, 337, 2397], [30, 433, 2398], [39, 497, 2399], [50, 18, 2400], [57, 18, 2401], [64, 144, 2402], [66, 61, 2403], [79, 66, 2404], [112, 13, 2405], [160, 193, 2406], [180, 47, 2407], [194, 38, 2408], [209, 143, 2409], [230, 1073, 2410], [285, 993, 2411], [351, 133, 2412], [393, 1683, 2413], [411, 506, 2414], [656, 34, 2415], [689, 130, 2416], [845, 153, 2417], [865, 61, 2418], [872, 188, 2419], [966, 1598, 2420], [1070, 171, 2421], [8, 100, 2422], [26, 49, 2423], [39, 580, 2424], [46, 245, 2425], [56, 241, 2426], [58, 291, 2427], [85, 38, 2428], [86, 44, 2429], [110, 40, 2430], [113, 17, 2431], [121, 54, 2432], [166, 435, 2433], [248, 850, 2434], [300, 137, 2435], [312, 134, 2436], [326, 257, 2437], [327, 63, 2438], [410, 13, 2439], [508, 715, 2440], [586, 962, 2441], [13, 398, 2442], [18, 400, 2443], [23, 162, 2444], [26, 424, 2445], [31, 12, 2446], [31, 919, 2447], [38, 528, 2448], [42, 1234, 2449], [45, 962, 2450], [51, 49, 2451], [69, 185, 2452], [83, 137, 2453], [110, 29, 2454], [121, 162, 2455], [207, 669, 2456], [232, 842, 2457], [260, 51, 2458], [272, 171, 2459], [279, 713, 2460], [293, 45, 2461], [332, 211, 2462], [363, 27, 2463], [378, 33, 2464], [423, 54, 2465], [489, 339, 2466], [689, 54, 2467], [1070, 69, 2468], [1097, 265, 2469], [5, 465, 2470], [8, 165, 2471], [8, 1199, 2472], [17, 155, 2473], [31, 1285, 2474], [32, 155, 2475], [36, 677, 2476], [49, 14, 2477], [50, 19, 2478], [64, 14, 2479], [68, 52, 2480], [87, 17, 2481], [138, 526, 2482], [146, 66, 2483], [194, 29, 2484], [199, 916, 2485], [225, 184, 2486], [270, 542, 2487], [279, 760, 2488], [322, 2007, 2489], [665, 15, 2490], [1061, 196, 2491], [1075, 196, 2492], [1880, 135, 2493], [13, 1400, 2494], [14, 398, 2495], [17, 258, 2496], [36, 44, 2497], [37, 26, 2498], [45, 53, 2499], [78, 49, 2500], [87, 66, 2501], [88, 15, 2502], [97, 53, 2503], [110, 61, 2504], [113, 66, 2505], [120, 53, 2506], [132, 306, 2507], [141, 517, 2508], [154, 24, 2509], [194, 9, 2510], [208, 40, 2511], [272, 328, 2512], [438, 132, 2513], [454, 44, 2514], [600, 1050, 2515], [669, 164, 2516], [705, 188, 2517], [746, 139, 2518], [1037, 54, 2519], [1590, 329, 2520], [2145, 591, 2521], [13, 407, 2522], [23, 8, 2523], [29, 222, 2524], [32, 8, 2525], [32, 16, 2526], [37, 42, 2527], [42, 10, 2528], [69, 165, 2529], [69, 195, 2530], [118, 23, 2531], [140, 196, 2532], [174, 15, 2533], [175, 842, 2534], [181, 51, 2535], [183, 506, 2536], [184, 354, 2537], [192, 159, 2538], [200, 191, 2539], [244, 132, 2540], [288, 1126, 2541], [350, 143, 2542], [436, 24, 2543], [469, 1816, 2544], [536, 130, 2545], [598, 721, 2546], [699, 134, 2547], [779, 220, 2548], [1317, 100, 2549], [1444, 263, 2550], [1764, 137, 2551], [6, 151, 2552], [8, 131, 2553], [16, 155, 2554], [17, 208, 2555], [31, 46, 2556], [36, 13, 2557], [37, 230, 2558], [39, 254, 2559], [64, 53, 2560], [66, 131, 2561], [111, 50, 2562], [138, 408, 2563], [181, 160, 2564], [198, 50, 2565], [221, 1228, 2566], [232, 7, 2567], [255, 221, 2568], [269, 140, 2569], [286, 923, 2570], [300, 182, 2571], [370, 30, 2572], [408, 130, 2573], [423, 592, 2574], [429, 592, 2575], [632, 255, 2576], [815, 383, 2577], [855, 137, 2578], [6, 20, 2579], [10, 100, 2580], [11, 9, 2581], [11, 66, 2582], [14, 55, 2583], [34, 54, 2584], [36, 32, 2585], [38, 200, 2586], [41, 38, 2587], [51, 298, 2588], [56, 197, 2589], [61, 1142, 2590], [61, 1418, 2591], [67, 26, 2592], [77, 817, 2593], [80, 7, 2594], [92, 1783, 2595], [109, 26, 2596], [113, 38, 2597], [192, 63, 2598], [229, 130, 2599], [239, 504, 2600], [256, 17, 2601], [270, 142, 2602], [377, 798, 2603], [397, 965, 2604], [605, 758, 2605], [606, 262, 2606], [2271, 2472, 2607], [16, 159, 2608], [20, 187, 2609], [20, 218, 2610], [23, 222, 2611], [24, 247, 2612], [25, 269, 2613], [32, 965, 2614], [34, 184, 2615], [34, 197, 2616], [61, 678, 2617], [78, 14, 2618], [80, 26, 2619], [109, 7, 2620], [110, 16, 2621], [111, 7, 2622], [138, 448, 2623], [143, 170, 2624], [146, 185, 2625], [207, 414, 2626], [219, 39, 2627], [300, 24, 2628], [347, 14, 2629], [393, 870, 2630], [440, 389, 2631], [447, 130, 2632], [453, 567, 2633], [481, 451, 2634], [766, 34, 2635], [958, 608, 2636], [1070, 9, 2637], [1102, 870, 2638], [6, 90, 2639], [13, 272, 2640], [18, 385, 2641], [65, 17, 2642], [78, 21, 2643], [98, 13, 2644], [110, 23, 2645], [204, 254, 2646], [223, 784, 2647], [243, 657, 2648], [259, 345, 2649], [270, 266, 2650], [294, 187, 2651], [296, 153, 2652], [315, 214, 2653], [336, 136, 2654], [424, 263, 2655], [439, 567, 2656], [453, 134, 2657], [529, 214, 2658], [532, 177, 2659], [4, 5, 2660], [20, 1251, 2661], [26, 56, 2662], [27, 56, 2663], [27, 940, 2664], [29, 247, 2665], [34, 86, 2666], [34, 1315, 2667], [38, 385, 2668], [39, 178, 2669], [42, 461, 2670], [69, 23, 2671], [83, 131, 2672], [106, 5, 2673], [207, 189, 2674], [209, 188, 2675], [224, 188, 2676], [239, 50, 2677], [244, 140, 2678], [285, 147, 2679], [290, 240, 2680], [362, 594, 2681], [538, 1181, 2682], [828, 225, 2683], [1156, 169, 2684], [14, 57, 2685], [15, 1082, 2686], [17, 47, 2687], [36, 1013, 2688], [44, 45, 2689], [51, 20, 2690], [52, 24, 2691], [58, 151, 2692], [58, 244, 2693], [90, 334, 2694], [201, 156, 2695], [202, 215, 2696], [260, 130, 2697], [268, 9, 2698], [293, 330, 2699], [326, 21, 2700], [451, 266, 2701], [583, 161, 2702], [682, 168, 2703], [2004, 568, 2704], [7, 298, 2705], [10, 53, 2706], [30, 222, 2707], [31, 888, 2708], [34, 178, 2709], [38, 212, 2710], [49, 166, 2711], [92, 170, 2712], [97, 14, 2713], [111, 144, 2714], [133, 729, 2715], [170, 253, 2716], [177, 331, 2717], [186, 786, 2718], [204, 265, 2719], [213, 16, 2720], [312, 242, 2721], [340, 47, 2722], [350, 150, 2723], [368, 132, 2724], [408, 143, 2725], [445, 25, 2726], [550, 196, 2727], [655, 132, 2728], [745, 1957, 2729], [764, 413, 2730], [13, 346, 2731], [14, 316, 2732], [16, 222, 2733], [31, 218, 2734], [33, 253, 2735], [36, 27, 2736], [42, 33, 2737], [46, 46, 2738], [76, 53, 2739], [111, 49, 2740], [120, 5, 2741], [154, 35, 2742], [195, 27, 2743], [202, 42, 2744], [204, 1004, 2745], [318, 92, 2746], [365, 1087, 2747], [449, 1565, 2748], [687, 54, 2749], [849, 21, 2750], [1040, 215, 2751], [1373, 921, 2752], [22, 66, 2753], [27, 421, 2754], [30, 185, 2755], [47, 490, 2756], [63, 9, 2757], [66, 222, 2758], [87, 15, 2759], [99, 96, 2760], [111, 187, 2761], [148, 1237, 2762], [180, 32, 2763], [199, 21, 2764], [223, 381, 2765], [228, 503, 2766], [261, 1117, 2767], [718, 58, 2768], [1892, 40, 2769], [2430, 165, 2770], [39, 230, 2771], [41, 15, 2772], [47, 770, 2773], [58, 241, 2774], [65, 1743, 2775], [92, 1284, 2776], [113, 33, 2777], [147, 237, 2778], [150, 1512, 2779], [174, 140, 2780], [190, 167, 2781], [205, 218, 2782], [209, 853, 2783], [229, 147, 2784], [272, 40, 2785], [340, 131, 2786], [408, 26, 2787], [470, 244, 2788], [484, 63, 2789], [650, 683, 2790], [733, 65, 2791], [801, 952, 2792], [949, 238, 2793], [956, 63, 2794], [1368, 220, 2795], [10, 19, 2796], [11, 16, 2797], [13, 642, 2798], [27, 446, 2799], [27, 1642, 2800], [27, 2282, 2801], [36, 43, 2802], [45, 552, 2803], [49, 1008, 2804], [55, 589, 2805], [58, 162, 2806], [58, 187, 2807], [64, 863, 2808], [78, 25, 2809], [141, 169, 2810], [180, 40, 2811], [190, 297, 2812], [243, 7, 2813], [294, 46, 2814], [348, 1098, 2815], [483, 224, 2816], [492, 265, 2817], [602, 1318, 2818], [8, 221, 2819], [14, 420, 2820], [25, 725, 2821], [32, 389, 2822], [38, 250, 2823], [40, 417, 2824], [46, 924, 2825], [58, 280, 2826], [65, 30, 2827], [65, 63, 2828], [67, 135, 2829], [78, 51, 2830], [91, 53, 2831], [101, 43, 2832], [106, 17, 2833], [138, 429, 2834], [142, 799, 2835], [145, 745, 2836], [147, 1730, 2837], [149, 382, 2838], [166, 220, 2839], [173, 1574, 2840], [180, 17, 2841], [194, 15, 2842], [261, 72, 2843], [294, 64, 2844], [394, 2218, 2845], [403, 895, 2846], [456, 15, 2847], [640, 267, 2848], [706, 494, 2849], [955, 233, 2850], [1030, 215, 2851], [1822, 235, 2852], [17, 222, 2853], [25, 12, 2854], [29, 200, 2855], [32, 159, 2856], [33, 242, 2857], [46, 334, 2858], [48, 23, 2859], [48, 478, 2860], [52, 38, 2861], [52, 63, 2862], [52, 1708, 2863], [58, 520, 2864], [75, 66, 2865], [90, 400, 2866], [92, 1855, 2867], [98, 19, 2868], [118, 189, 2869], [130, 588, 2870], [145, 716, 2871], [157, 203, 2872], [192, 35, 2873], [199, 90, 2874], [208, 61, 2875], [224, 1027, 2876], [245, 50, 2877], [295, 53, 2878], [324, 541, 2879], [360, 514, 2880], [370, 63, 2881], [432, 571, 2882], [439, 1370, 2883], [496, 450, 2884], [564, 648, 2885], [618, 252, 2886], [765, 996, 2887], [811, 170, 2888], [947, 34, 2889], [1540, 871, 2890], [13, 92, 2891], [18, 57, 2892], [32, 28, 2893], [34, 46, 2894], [40, 100, 2895], [50, 52, 2896], [51, 90, 2897], [51, 165, 2898], [55, 2351, 2899], [56, 27, 2900], [56, 201, 2901], [56, 1980, 2902], [64, 322, 2903], [75, 17, 2904], [83, 38, 2905], [92, 29, 2906], [103, 185, 2907], [105, 26, 2908], [113, 24, 2909], [118, 21, 2910], [139, 357, 2911], [140, 1096, 2912], [141, 1150, 2913], [154, 570, 2914], [163, 167, 2915], [185, 29, 2916], [200, 1077, 2917], [218, 162, 2918], [232, 752, 2919], [243, 786, 2920], [245, 26, 2921], [284, 5, 2922], [288, 38, 2923], [346, 680, 2924], [374, 250, 2925], [392, 42, 2926], [489, 133, 2927], [510, 132, 2928], [643, 192, 2929], [687, 1653, 2930], [812, 215, 2931], [910, 982, 2932], [8, 328, 2933], [16, 976, 2934], [31, 400, 2935], [34, 385, 2936], [40, 107, 2937], [42, 280, 2938], [48, 107, 2939], [51, 527, 2940], [64, 227, 2941], [69, 14, 2942], [78, 56, 2943], [79, 38, 2944], [99, 115, 2945], [139, 562, 2946], [186, 190, 2947], [194, 11, 2948], [204, 297, 2949], [229, 715, 2950], [242, 47, 2951], [269, 1302, 2952], [292, 420, 2953], [312, 141, 2954], [394, 69, 2955], [415, 189, 2956], [454, 47, 2957], [494, 163, 2958], [599, 15, 2959], [636, 229, 2960], [968, 1780, 2961], [999, 262, 2962], [1035, 231, 2963], [2180, 252, 2964], [7, 198, 2965], [12, 1421, 2966], [14, 5, 2967], [17, 247, 2968], [20, 334, 2969], [34, 175, 2970], [34, 307, 2971], [39, 246, 2972], [40, 171, 2973], [42, 228, 2974], [50, 37, 2975], [50, 50, 2976], [50, 1249, 2977], [57, 527, 2978], [65, 72, 2979], [72, 337, 2980], [77, 52, 2981], [78, 2044, 2982], [97, 25, 2983], [117, 38, 2984], [126, 26, 2985], [143, 193, 2986], [147, 270, 2987], [149, 631, 2988], [154, 69, 2989], [178, 45, 2990], [180, 9, 2991], [184, 161, 2992], [184, 847, 2993], [199, 231, 2994], [210, 16, 2995], [211, 190, 2996], [241, 1034, 2997], [255, 823, 2998], [311, 2163, 2999], [316, 132, 3000], [384, 1216, 3001], [401, 134, 3002], [406, 188, 3003], [409, 1142, 3004], [508, 500, 3005], [523, 26, 3006], [524, 858, 3007], [552, 255, 3008], [622, 628, 3009], [841, 196, 3010], [910, 819, 3011], [7, 189, 3012], [7, 1365, 3013], [8, 222, 3014], [14, 326, 3015], [27, 694, 3016], [30, 72, 3017], [42, 244, 3018], [42, 298, 3019], [42, 414, 3020], [57, 46, 3021], [111, 13, 3022], [115, 17, 3023], [115, 66, 3024], [126, 50, 3025], [133, 312, 3026], [140, 344, 3027], [150, 226, 3028], [190, 596, 3029], [194, 61, 3030], [207, 183, 3031], [216, 72, 3032], [232, 156, 3033], [261, 433, 3034], [276, 139, 3035], [281, 203, 3036], [340, 155, 3037], [386, 475, 3038], [474, 132, 3039], [474, 648, 3040], [554, 220, 3041], [651, 130, 3042], [675, 369, 3043], [765, 508, 3044], [997, 135, 3045], [1155, 220, 3046], [1578, 210, 3047], [1798, 2717, 3048], [15, 249, 3049], [15, 496, 3050], [20, 366, 3051], [27, 396, 3052], [40, 458, 3053], [45, 227, 3054], [89, 5, 3055], [97, 531, 3056], [108, 33, 3057], [117, 15, 3058], [134, 517, 3059], [149, 1733, 3060], [149, 2436, 3061], [169, 395, 3062], [174, 66, 3063], [178, 26, 3064], [190, 282, 3065], [192, 61, 3066], [217, 862, 3067], [226, 284, 3068], [230, 314, 3069], [285, 141, 3070], [288, 171, 3071], [294, 25, 3072], [320, 49, 3073], [375, 1044, 3074], [390, 157, 3075], [443, 1225, 3076], [540, 200, 3077], [693, 130, 3078], [726, 14, 3079], [935, 526, 3080], [1036, 237, 3081], [12, 2039, 3082], [30, 195, 3083], [31, 1606, 3084], [34, 168, 3085], [34, 446, 3086], [36, 93, 3087], [39, 45, 3088], [42, 632, 3089], [47, 260, 3090], [48, 2464, 3091], [48, 2743, 3092], [63, 24, 3093], [64, 415, 3094], [70, 26, 3095], [76, 5, 3096], [84, 32, 3097], [87, 9, 3098], [117, 33, 3099], [138, 621, 3100], [174, 1034, 3101], [176, 51, 3102], [191, 196, 3103], [192, 33, 3104], [194, 69, 3105], [225, 1900, 3106], [284, 1390, 3107], [358, 435, 3108], [370, 133, 3109], [376, 826, 3110], [481, 166, 3111], [492, 1759, 3112], [650, 51, 3113], [660, 169, 3114], [845, 218, 3115], [994, 1544, 3116], [1012, 77, 3117], [1817, 165, 3118], [9, 478, 3119], [18, 527, 3120], [20, 198, 3121], [20, 632, 3122], [21, 162, 3123], [22, 17, 3124], [22, 2916, 3125], [25, 49, 3126], [32, 1652, 3127], [34, 337, 3128], [36, 61, 3129], [38, 101, 3130], [39, 264, 3131], [41, 33, 3132], [42, 156, 3133], [42, 227, 3134], [45, 177, 3135], [54, 359, 3136], [60, 53, 3137], [64, 405, 3138], [69, 1424, 3139], [109, 50, 3140], [146, 2578, 3141], [148, 539, 3142], [149, 1370, 3143], [169, 2420, 3144], [183, 1667, 3145], [208, 159, 3146], [241, 165, 3147], [254, 856, 3148], [263, 203, 3149], [272, 29, 3150], [354, 14, 3151], [397, 133, 3152], [417, 568, 3153], [434, 34, 3154], [455, 236, 3155], [457, 55, 3156], [484, 478, 3157], [553, 163, 3158], [556, 366, 3159], [593, 134, 3160], [690, 635, 3161], [697, 130, 3162], [714, 1914, 3163], [825, 941, 3164], [942, 1750, 3165], [1014, 319, 3166], [5, 1086, 3167], [9, 522, 3168], [10, 107, 3169], [17, 713, 3170], [17, 2654, 3171], [25, 7, 3172], [25, 50, 3173], [25, 939, 3174], [33, 475, 3175], [38, 762, 3176], [45, 51, 3177], [46, 18, 3178], [55, 273, 3179], [77, 316, 3180], [90, 226, 3181], [147, 678, 3182], [149, 175, 3183], [184, 747, 3184], [184, 1121, 3185], [194, 30, 3186], [205, 143, 3187], [216, 155, 3188], [241, 152, 3189], [253, 1174, 3190], [256, 63, 3191], [269, 495, 3192], [310, 330, 3193], [394, 44, 3194], [407, 349, 3195], [470, 772, 3196], [473, 420, 3197], [480, 969, 3198], [502, 986, 3199], [546, 142, 3200], [549, 135, 3201], [562, 243, 3202], [625, 20, 3203], [800, 302, 3204], [947, 21, 3205], [1012, 14, 3206], [2833, 1561, 3207], [2906, 444, 3208], [13, 359, 3209], [18, 165, 3210], [27, 177, 3211], [27, 322, 3212], [30, 63, 3213], [32, 995, 3214], [39, 787, 3215], [42, 39, 3216], [67, 939, 3217], [77, 780, 3218], [85, 33, 3219], [86, 77, 3220], [105, 7, 3221], [118, 76, 3222], [138, 881, 3223], [140, 371, 3224], [142, 789, 3225], [191, 289, 3226], [194, 35, 3227], [199, 58, 3228], [205, 188, 3229], [230, 169, 3230], [235, 132, 3231], [287, 133, 3232], [291, 691, 3233], [320, 197, 3234], [340, 40, 3235], [381, 214, 3236], [405, 141, 3237], [423, 505, 3238], [447, 51, 3239], [589, 58, 3240], [593, 1046, 3241], [665, 63, 3242], [836, 265, 3243], [999, 165, 3244], [1110, 133, 3245], [1403, 32, 3246], [18, 449, 3247], [25, 523, 3248], [27, 1112, 3249], [42, 2684, 3250], [45, 274, 3251], [56, 166, 3252], [58, 49, 3253], [58, 310, 3254], [65, 47, 3255], [76, 21, 3256], [76, 1618, 3257], [86, 131, 3258], [86, 166, 3259], [88, 399, 3260], [94, 54, 3261], [105, 57, 3262], [134, 349, 3263], [147, 225, 3264], [175, 141, 3265], [181, 401, 3266], [185, 66, 3267], [210, 38, 3268], [219, 657, 3269], [228, 223, 3270], [252, 883, 3271], [258, 35, 3272], [284, 1007, 3273], [286, 1572, 3274], [309, 237, 3275], [316, 342, 3276], [347, 703, 3277], [380, 297, 3278], [423, 130, 3279], [458, 732, 3280], [479, 54, 3281], [573, 236, 3282], [589, 2147, 3283], [675, 132, 3284], [773, 485, 3285], [929, 170, 3286], [1147, 56, 3287], [1419, 161, 3288], [1436, 413, 3289], [13, 332, 3290], [21, 312, 3291], [34, 1172, 3292], [40, 435, 3293], [50, 154, 3294], [57, 141, 3295], [65, 8, 3296], [71, 66, 3297], [71, 72, 3298], [84, 61, 3299], [90, 523, 3300], [130, 730, 3301], [139, 602, 3302], [150, 599, 3303], [175, 189, 3304], [184, 139, 3305], [202, 50, 3306], [216, 32, 3307], [273, 504, 3308], [284, 1513, 3309], [355, 148, 3310], [395, 302, 3311], [399, 253, 3312], [424, 683, 3313], [449, 332, 3314], [479, 643, 3315], [576, 49, 3316], [620, 1028, 3317], [640, 838, 3318], [675, 191, 3319], [717, 759, 3320], [718, 913, 3321], [779, 211, 3322], [781, 474, 3323], [793, 472, 3324], [891, 452, 3325], [1000, 72, 3326], [1006, 165, 3327], [2613, 1245, 3328], [7, 325, 3329], [10, 754, 3330], [12, 1098, 3331], [18, 391, 3332], [20, 420, 3333], [26, 332, 3334], [32, 646, 3335], [33, 936, 3336], [35, 406, 3337], [45, 198, 3338], [47, 705, 3339], [50, 90, 3340], [53, 497, 3341], [56, 170, 3342], [58, 563, 3343], [61, 66, 3344], [69, 351, 3345], [76, 738, 3346], [77, 611, 3347], [88, 24, 3348], [147, 602, 3349], [149, 644, 3350], [199, 446, 3351], [217, 794, 3352], [237, 142, 3353], [251, 143, 3354], [252, 792, 3355], [254, 225, 3356], [255, 166, 3357], [260, 143, 3358], [284, 440, 3359], [295, 153, 3360], [337, 711, 3361], [346, 201, 3362], [354, 404, 3363], [404, 190, 3364], [459, 207, 3365], [471, 238, 3366], [549, 974, 3367], [554, 132, 3368], [562, 357, 3369], [738, 169, 3370], [1180, 385, 3371], [1283, 401, 3372], [1317, 33, 3373], [1428, 798, 3374], [2379, 132, 3375], [3007, 1506, 3376], [4, 25, 3377], [5, 34, 3378], [7, 13, 3379], [15, 100, 3380], [16, 390, 3381], [17, 478, 3382], [23, 1048, 3383], [38, 237, 3384], [39, 410, 3385], [42, 199, 3386], [48, 1328, 3387], [48, 2388, 3388], [61, 63, 3389], [65, 247, 3390], [139, 1969, 3391], [163, 315, 3392], [184, 345, 3393], [204, 50, 3394], [206, 579, 3395], [208, 38, 3396], [208, 63, 3397], [231, 304, 3398], [242, 15, 3399], [243, 157, 3400], [256, 32, 3401], [256, 1211, 3402], [256, 1383, 3403], [348, 521, 3404], [438, 8, 3405], [447, 1423, 3406], [481, 165, 3407], [511, 160, 3408], [526, 854, 3409], [557, 388, 3410], [569, 177, 3411], [582, 177, 3412], [582, 355, 3413], [622, 546, 3414], [628, 163, 3415], [666, 1023, 3416], [846, 1453, 3417], [917, 46, 3418], [1116, 17, 3419], [2312, 1456, 3420], [2777, 873, 3421], [3416, 241, 3422], [18, 39, 3423], [22, 9, 3424], [23, 9, 3425], [23, 2955, 3426], [25, 1262, 3427], [26, 343, 3428], [27, 21, 3429], [27, 144, 3430], [27, 334, 3431], [28, 522, 3432], [48, 374, 3433], [50, 258, 3434], [52, 304, 3435], [55, 199, 3436], [66, 32, 3437], [83, 15, 3438], [87, 16, 3439], [116, 168, 3440], [133, 308, 3441], [166, 427, 3442], [178, 34, 3443], [180, 72, 3444], [183, 542, 3445], [205, 384, 3446], [210, 35, 3447], [236, 315, 3448], [244, 553, 3449], [285, 34, 3450], [319, 1279, 3451], [322, 47, 3452], [324, 261, 3453], [368, 316, 3454], [381, 314, 3455], [577, 491, 3456], [764, 130, 3457], [806, 134, 3458], [946, 1662, 3459], [1146, 1027, 3460], [1204, 21, 3461], [1308, 196, 3462], [1339, 196, 3463], [1372, 200, 3464], [1377, 1110, 3465], [2496, 137, 3466], [2982, 378, 3467], [6, 209, 3468], [10, 125, 3469], [12, 19, 3470], [13, 200, 3471], [20, 271, 3472], [25, 271, 3473], [26, 2407, 3474], [27, 227, 3475], [29, 182, 3476], [36, 15, 3477], [36, 778, 3478], [42, 1129, 3479], [45, 595, 3480], [58, 46, 3481], [60, 25, 3482], [61, 72, 3483], [65, 9, 3484], [71, 17, 3485], [73, 130, 3486], [76, 611, 3487], [79, 9, 3488], [86, 228, 3489], [115, 15, 3490], [132, 371, 3491], [142, 312, 3492], [150, 2540, 3493], [165, 1114, 3494], [184, 874, 3495], [221, 133, 3496], [232, 183, 3497], [235, 594, 3498], [245, 7, 3499], [268, 17, 3500], [297, 164, 3501], [340, 15, 3502], [395, 359, 3503], [396, 191, 3504], [431, 130, 3505], [464, 181, 3506], [606, 243, 3507], [608, 197, 3508], [617, 188, 3509], [670, 501, 3510], [761, 54, 3511], [795, 1414, 3512], [824, 912, 3513], [938, 489, 3514], [1005, 342, 3515], [1133, 240, 3516], [1222, 715, 3517], [1656, 1982, 3518], [2393, 571, 3519], [3102, 1191, 3520], [3271, 476, 3521], [7, 951, 3522], [15, 362, 3523], [18, 221, 3524], [18, 1224, 3525], [20, 778, 3526], [21, 86, 3527], [23, 131, 3528], [30, 133, 3529], [33, 1712, 3530], [34, 521, 3531], [39, 420, 3532], [44, 25, 3533], [51, 241, 3534], [55, 5, 3535], [57, 1284, 3536], [63, 335, 3537], [68, 27, 3538], [91, 5, 3539], [94, 49, 3540], [106, 3043, 3541], [107, 211, 3542], [142, 729, 3543], [148, 1463, 3544], [170, 139, 3545], [174, 233, 3546], [181, 261, 3547], [183, 363, 3548], [194, 95, 3549], [198, 7, 3550], [205, 482, 3551], [210, 28, 3552], [228, 133, 3553], [232, 383, 3554], [239, 77, 3555], [248, 781, 3556], [248, 1474, 3557], [259, 383, 3558], [280, 940, 3559], [286, 1550, 3560], [292, 56, 3561], [298, 135, 3562], [320, 215, 3563], [340, 23, 3564], [396, 30, 3565], [414, 166, 3566], [429, 153, 3567], [525, 160, 3568], [536, 46, 3569], [552, 460, 3570], [557, 279, 3571], [686, 320, 3572], [785, 491, 3573], [1161, 369, 3574], [1226, 222, 3575], [1269, 1285, 3576], [3487, 427, 3577], [18, 51, 3578], [18, 90, 3579], [21, 593, 3580], [21, 2171, 3581], [25, 162, 3582], [29, 131, 3583], [33, 46, 3584], [36, 90, 3585], [39, 540, 3586], [42, 226, 3587], [49, 465, 3588], [52, 30, 3589], [64, 25, 3590], [69, 24, 3591], [69, 424, 3592], [77, 1537, 3593], [104, 51, 3594], [105, 49, 3595], [111, 26, 3596], [112, 2432, 3597], [119, 66, 3598], [145, 2283, 3599], [150, 889, 3600], [162, 1591, 3601], [174, 387, 3602], [186, 57, 3603], [212, 66, 3604], [216, 29, 3605], [223, 343, 3606], [223, 554, 3607], [244, 162, 3608], [244, 279, 3609], [253, 463, 3610], [319, 133, 3611], [352, 371, 3612], [356, 314, 3613], [367, 1497, 3614], [372, 47, 3615], [375, 614, 3616], [415, 184, 3617], [425, 142, 3618], [440, 550, 3619], [457, 1007, 3620], [479, 153, 3621], [479, 1879, 3622], [481, 237, 3623], [491, 201, 3624], [544, 628, 3625], [627, 788, 3626], [654, 131, 3627], [664, 391, 3628], [664, 956, 3629], [728, 132, 3630], [787, 140, 3631], [964, 144, 3632], [1016, 270, 3633], [1038, 205, 3634], [2333, 54, 3635], [2863, 1872, 3636], [8, 166, 3637], [20, 31, 3638], [25, 1395, 3639], [26, 154, 3640], [26, 1850, 3641], [32, 221, 3642], [34, 2117, 3643], [40, 182, 3644], [51, 960, 3645], [58, 252, 3646], [61, 17, 3647], [77, 14, 3648], [78, 1001, 3649], [92, 563, 3650], [101, 16, 3651], [104, 26, 3652], [115, 444, 3653], [146, 2301, 3654], [157, 167, 3655], [169, 849, 3656], [170, 964, 3657], [184, 395, 3658], [190, 315, 3659], [206, 45, 3660], [207, 225, 3661], [241, 184, 3662], [256, 616, 3663], [282, 573, 3664], [292, 1493, 3665], [312, 461, 3666], [360, 134, 3667], [375, 460, 3668], [398, 1080, 3669], [418, 50, 3670], [432, 56, 3671], [448, 2012, 3672], [465, 770, 3673], [474, 66, 3674], [515, 143, 3675], [518, 1461, 3676], [572, 329, 3677], [620, 647, 3678], [671, 46, 3679], [731, 329, 3680], [765, 130, 3681], [816, 293, 3682], [816, 369, 3683], [975, 211, 3684], [984, 153, 3685], [1038, 232, 3686], [1099, 2529, 3687], [1101, 643, 3688], [1133, 506, 3689], [1196, 24, 3690], [1331, 196, 3691], [1355, 214, 3692], [1473, 1290, 3693], [1585, 941, 3694], [1778, 324, 3695], [2824, 44, 3696], [3577, 1483, 3697], [3676, 243, 3698], [7, 567, 3699], [13, 154, 3700], [13, 2376, 3701], [22, 38, 3702], [25, 170, 3703], [26, 654, 3704], [31, 521, 3705], [34, 1054, 3706], [37, 477, 3707], [42, 9, 3708], [42, 898, 3709], [45, 298, 3710], [46, 899, 3711], [53, 288, 3712], [59, 17, 3713], [60, 5, 3714], [62, 50, 3715], [64, 2726, 3716], [73, 26, 3717], [88, 9, 3718], [88, 30, 3719], [110, 32, 3720], [119, 17, 3721], [146, 2514, 3722], [180, 16, 3723], [202, 414, 3724], [218, 407, 3725], [219, 747, 3726], [232, 42, 3727], [274, 90, 3728], [327, 182, 3729], [329, 302, 3730], [336, 187, 3731], [376, 2324, 3732], [406, 14, 3733], [410, 449, 3734], [467, 1336, 3735], [561, 1030, 3736], [644, 827, 3737], [723, 439, 3738], [782, 3280, 3739], [804, 133, 3740], [820, 977, 3741], [970, 1797, 3742], [1009, 970, 3743], [1055, 1588, 3744], [1084, 45, 3745], [1439, 383, 3746], [1748, 1087, 3747], [1959, 170, 3748], [2778, 133, 3749], [3518, 1509, 3750], [3649, 3123, 3751], [5, 230, 3752], [7, 34, 3753], [7, 311, 3754], [7, 530, 3755], [8, 40, 3756], [11, 33, 3757], [12, 444, 3758], [14, 31, 3759], [14, 1801, 3760], [17, 1469, 3761], [18, 564, 3762], [20, 338, 3763], [25, 982, 3764], [42, 136, 3765], [42, 619, 3766], [45, 2101, 3767], [48, 28, 3768], [48, 48, 3769], [50, 25, 3770], [51, 946, 3771], [55, 346, 3772], [55, 453, 3773], [56, 2136, 3774], [57, 400, 3775], [58, 888, 3776], [65, 23, 3777], [69, 404, 3778], [76, 12, 3779], [78, 54, 3780], [86, 221, 3781], [98, 50, 3782], [176, 2786, 3783], [198, 2132, 3784], [241, 794, 3785], [242, 498, 3786], [243, 284, 3787], [256, 69, 3788], [261, 749, 3789], [283, 205, 3790], [291, 374, 3791], [307, 487, 3792], [319, 361, 3793], [337, 476, 3794], [354, 351, 3795], [372, 390, 3796], [394, 149, 3797], [406, 541, 3798], [463, 55, 3799], [464, 6, 3800], [488, 130, 3801], [526, 791, 3802], [556, 299, 3803], [561, 2316, 3804], [564, 152, 3805], [593, 45, 3806], [618, 34, 3807], [619, 142, 3808], [658, 854, 3809], [664, 242, 3810], [669, 168, 3811], [676, 391, 3812], [695, 352, 3813], [708, 3234, 3814], [717, 232, 3815], [845, 254, 3816], [949, 460, 3817], [1000, 490, 3818], [1023, 690, 3819], [1036, 316, 3820], [1036, 3161, 3821], [1084, 2593, 3822], [1117, 196, 3823], [1195, 287, 3824], [1214, 254, 3825], [1680, 3420, 3826], [2149, 1141, 3827], [2308, 1167, 3828], [2381, 255, 3829], [3210, 920, 3830], [7, 420, 3831], [14, 226, 3832], [18, 2990, 3833], [21, 482, 3834], [29, 119, 3835], [35, 316, 3836], [39, 153, 3837], [45, 400, 3838], [47, 40, 3839], [48, 100, 3840], [51, 1894, 3841], [55, 92, 3842], [55, 136, 3843], [56, 512, 3844], [57, 1131, 3845], [70, 51, 3846], [76, 49, 3847], [77, 298, 3848], [77, 518, 3849], [90, 527, 3850], [103, 1858, 3851], [120, 2600, 3852], [173, 15, 3853], [183, 1137, 3854], [197, 792, 3855], [205, 850, 3856], [206, 157, 3857], [217, 967, 3858], [218, 174, 3859], [252, 140, 3860], [279, 212, 3861], [286, 218, 3862], [292, 437, 3863], [292, 1177, 3864], [318, 574, 3865], [320, 54, 3866], [320, 290, 3867], [348, 868, 3868], [359, 29, 3869], [362, 221, 3870], [367, 143, 3871], [369, 209, 3872], [375, 813, 3873], [414, 186, 3874], [526, 188, 3875], [563, 152, 3876], [576, 174, 3877], [577, 142, 3878], [629, 372, 3879], [650, 361, 3880], [687, 844, 3881], [701, 49, 3882], [740, 721, 3883], [763, 210, 3884], [789, 220, 3885], [810, 188, 3886], [875, 1353, 3887], [879, 453, 3888], [1023, 1536, 3889], [1340, 210, 3890], [1542, 196, 3891], [1600, 252, 3892], [1953, 522, 3893], [2170, 747, 3894], [3208, 44, 3895], [3257, 2066, 3896], [8, 226, 3897], [10, 5, 3898], [10, 21, 3899], [13, 745, 3900], [16, 335, 3901], [16, 2651, 3902], [24, 345, 3903], [27, 543, 3904], [32, 2814, 3905], [34, 45, 3906], [36, 585, 3907], [42, 638, 3908], [42, 1252, 3909], [45, 2184, 3910], [58, 200, 3911], [58, 226, 3912], [58, 2128, 3913], [60, 1672, 3914], [62, 581, 3915], [74, 2811, 3916], [80, 51, 3917], [95, 15, 3918], [103, 43, 3919], [132, 344, 3920], [138, 666, 3921], [139, 168, 3922], [166, 463, 3923], [166, 1492, 3924], [168, 287, 3925], [170, 2961, 3926], [173, 66, 3927], [183, 163, 3928], [202, 26, 3929], [204, 440, 3930], [223, 841, 3931], [232, 168, 3932], [248, 143, 3933], [255, 378, 3934], [261, 1679, 3935], [269, 731, 3936], [273, 192, 3937], [280, 50, 3938], [286, 355, 3939], [297, 225, 3940], [324, 130, 3941], [324, 1426, 3942], [356, 148, 3943], [418, 1058, 3944], [434, 13, 3945], [434, 25, 3946], [435, 339, 3947], [439, 385, 3948], [456, 604, 3949], [457, 854, 3950], [464, 260, 3951], [492, 231, 3952], [513, 1630, 3953], [520, 921, 3954], [523, 77, 3955], [536, 919, 3956], [551, 414, 3957], [563, 1041, 3958], [580, 1693, 3959], [593, 189, 3960], [662, 63, 3961], [670, 160, 3962], [670, 523, 3963], [761, 177, 3964], [796, 210, 3965], [851, 177, 3966], [897, 1089, 3967], [1123, 210, 3968], [1161, 887, 3969], [1193, 16, 3970], [1226, 72, 3971], [1238, 189, 3972], [1239, 214, 3973], [1286, 424, 3974], [1428, 1472, 3975], [1429, 203, 3976], [1522, 37, 3977], [1612, 543, 3978], [1928, 159, 3979], [2770, 2216, 3980], [7, 56, 3981], [7, 780, 3982], [13, 780, 3983], [14, 197, 3984], [14, 698, 3985], [25, 225, 3986], [28, 69, 3987], [36, 47, 3988], [36, 2029, 3989], [40, 804, 3990], [42, 538, 3991], [50, 1665, 3992], [53, 322, 3993], [58, 530, 3994], [59, 66, 3995], [59, 628, 3996], [63, 1887, 3997], [67, 50, 3998], [68, 57, 3999], [71, 63, 4000], [73, 178, 4001], [88, 44, 4002], [109, 912, 4003], [126, 7, 4004], [141, 214, 4005], [141, 833, 4006], [147, 243, 4007], [162, 213, 4008], [162, 395, 4009], [173, 17, 4010], [194, 22, 4011], [205, 21, 4012], [216, 38, 4013], [244, 443, 4014], [260, 202, 4015], [270, 132, 4016], [273, 461, 4017], [276, 211, 4018], [279, 1078, 4019], [290, 1531, 4020], [292, 325, 4021], [365, 732, 4022], [368, 402, 4023], [369, 1506, 4024], [388, 18, 4025], [394, 330, 4026], [404, 503, 4027], [423, 432, 4028], [426, 33, 4029], [427, 142, 4030], [482, 18, 4031], [492, 175, 4032], [515, 863, 4033], [537, 293, 4034], [553, 2078, 4035], [576, 1153, 4036], [578, 134, 4037], [667, 405, 4038], [695, 1380, 4039], [706, 1444, 4040], [727, 413, 4041], [756, 3164, 4042], [784, 196, 4043], [809, 215, 4044], [812, 259, 4045], [991, 418, 4046], [1101, 160, 4047], [1146, 153, 4048], [1172, 134, 4049], [1190, 50, 4050], [1196, 749, 4051], [1398, 162, 4052], [1477, 155, 4053], [1557, 343, 4054], [2241, 155, 4055], [2577, 212, 4056], [2838, 1860, 4057], [3467, 346, 4058], [5, 484, 4059], [7, 90, 4060], [16, 131, 4061], [16, 247, 4062], [18, 15, 4063], [18, 390, 4064], [25, 135, 4065], [27, 510, 4066], [31, 130, 4067], [32, 47, 4068], [40, 249, 4069], [46, 2072, 4070], [49, 174, 4071], [51, 449, 4072], [56, 2928, 4073], [60, 482, 4074], [66, 72, 4075], [66, 506, 4076], [72, 402, 4077], [75, 161, 4078], [77, 158, 4079], [78, 53, 4080], [79, 16, 4081], [89, 53, 4082], [92, 168, 4083], [92, 198, 4084], [94, 160, 4085], [102, 50, 4086], [103, 44, 4087], [103, 1617, 4088], [108, 294, 4089], [110, 28, 4090], [115, 38, 4091], [121, 27, 4092], [139, 390, 4093], [146, 936, 4094], [175, 259, 4095]]}