SAT
1101111010011000010000111111011101001010011111000001110110011000110011000011000111010001000011100011101101111100101111101100101000110111000101010001011101010110011000010101000111010010010010011100100011101010110101000100101111100101000011001001101001011101110111101100001101000100011110100101011001101000001010001010011000110010011111011111101001000111000010111000111101011101000001101001011110011101001011010000110111011011000101111010110110101001110011110010101000001011111011101101101100111011011100011010111101010100110111011111011010101011001010111100000101100111000111111010010100000100011111010001110110111111000010010101111111001010111011100000111110101101100010001001110111010111111010000000000110001001100011111111110000101110110100000000001110100101001100010011111011011000011000001101010001100100011000111010011001001110010100111110101101110110001011000011000011101010110100010010110010101111001001000001111110111011001100000101111000111001010011110100001101011010011011100101101111010100111010001100000111001100000010011101001010011101000110100101001101000001101111110101001111110110001001101001111010110111001110110011110111110011011000000101111011111011000100001111100110110010101100111001000111101001010000000011000110110110101001111011000001101000010111110000000101100111110110011000110000100100010010011010111011111111000010001110010001111011000100100100000111101001010101000001111111110001111001011010001011101111010110010010110110111001101011001010011110110111001111011000010101111001100111111011100000000110000110001100010101011000010100101100001010111101001011110000001001001011000110111110110100011011101100000101101110100100011101000001011010111000100110000001000100001001010100110010110110100111101100111011111110011001111001101111000010011111000110000000110101100111011111000100110110010010001010010010001110101001001110110011011001100111111010100010000010011100100110101100101111011000010111001010011101111101010000000101001000011111101000100001011011001100000111101010100001110010111101010000100001010110011011000000000000010001001011010001110100000101000110001100000010100110110010101111010100101111101000000000100101000111011101001110010000011001011000101110011110111111001101001111101010100000111010010101110001011100110001010100101000101101101011001011110001011111111101111011100111100010011001101010011000100110001110001101000001001101100011000100000111101000110001101001010010111011111011011111111011010110100010101000010101110001111000011100111000111111111011010100101110101110011100111011011001101010111000000000010000111010101111001111010011101101100101000111010101010110000101001011011010111010001110111001111010110011010000010100100110001101010001100001100100001010100011100110001011111110010010000110000111100010111100111010010110110100111100111010101001010101111011000110000111100000110011011110010111010010000001101100011100110000001010100001111001110011110110111010011001100001001100011000110001000111000101101011111010111111011000100001011101100010001110111001100011110100001000101000010001111110101011111001110010001001100110110110001000011001001010100011000110100101111011101010001010011001011110011001111000101010011010101010100100010111101100101101011001111001000110010101111100000110000000010100100111010000011010011011010000110110011011111010100000001011101001101110000110100110111101011111111000100111100001000100110001110000110001100101001101111111001111100101111111010101110110011000101010101101010100000111111010110011000010111110010101001010101111101100010001110001111010101110010100101000101000000101000110010001100100100100100101101101100011101110110100011111100100001110000000011010101010001010111010010111110010010001000001011010011100011001100100000110000101001111111101011011100111100000100010111001100010001011011011101000001100111000000010111010101000101100111011101000011111000110100110100110000111001010101100110010100110010110110011010100101000010110101011000000101010010100100000000100000101001101101111000110111001011100000100011110011000101000111000100110011110010100111110101011001000000001010011110000010110011011001001001000111001000111111111111101001100100000000011110101001111011001010000101100010100010111100001100110000110010000011101001011110111001011001001110101001101010100001011111000010000000111000110101100000000101011110011101110000011001100100011011001111010110010100011101100111111100101101100110001111000111110110111101001100101110100110001110111000010100010110100011010001011000101101001010010011000001010111101011010001001110000110011001101111011111010101101010011000110001010100010000101101000110001011010100101010110001101100101110010100011100111010110001100011111101001100001101010010100110111010001101101101000101000011010111010110001101001101010101010101011001100111101011101111110101101010000001110011101100011000110110110110011010110000100011000101010100101010001010101000010100001101100111110111110110111101010001100011000101000001011111110110110110100110110011000001011000100001110011110110010100000101001010010011100101001011111110100100001001011010110011011100011011001011111110111001001110010101001100111011010000110100101011110100010010000101011010011010101110111110000011110110000010011000000110010000100011011101110111001110110000010010011101110110100111101111011101100001010000101111100001000111101101001111010011011000100000010000011101011101001001111110011000101010100110010111010001011110000000001110001011110011100101101000000100100111001100000001111111110100101110100111000100001111111101000101110001011000000001111010010110001110011011000000000110111100011101101100110111011110000011000010011100111010111001110010100100001010000101111100011101110001011001100110010000000010011101010011101110111110000001011111110111001100010010010010001101011000111111110101100100000000111010011100000110011101100101111101101101010101100000011001001101111001110110011111100011001001111011010000111101011100000000000101000110001101001101010011111000110110100110001001001101000001010101101011001101111000110010110110110000000101110111110011101110100001010000010001100101110001010011000010110110000000011011111111011100110101100010111010010110111001110100011100110011101111101010001000110000011110000011000111110010101011011100010010111101001110110001010111010110101001011100110101110101110001100101000010001100001010101001001011110111000111011110111001110101001000000000001111101101101111011101100011011001101111000111011001011110101100110000001010000100000000010000000110110000000110001001100101101100110010000010000100111101000000101100001101110001000110100101111010110100110111000110000010010111100100010101010101100110011000010011101110111100101111100101111010101100111100010011011100001101001110110100100110001100100101001010001110000110110010011001101001101101001111100111111011111100001001110011100100100000000010010111000010100100000101101101010000110011101000010100011010101111100001100001110100001100111010000000110000011100100111111110111001011110001010000010000110110011111110110111111101101011100101001010011100110110011110001110000100111000110101100000110000000000011101010011111111000100101101011001111000001100101010000101100001101010011001001100100000110111100111010111001100100101110001101110100111111101001111000001101001011010010101111100001110000100011100000000100111100001001011101011111100001011101101010110000111111001001001000111110110010010111011101111100001101110010111000101110010011010100001010010000100010011110010011010000010010000111100110000001011011111000101101111001011001101010010110001011110011110011001110010001001101010111001010110101000000101111110100110001001010000101101011001010101001000111111000111101001000001101101101100100110110000100100000111110100100010000100110010010110101110000011111101101001001100101010011100011100010110111001011101100000111010110101101010001001100110000011000011101011001000010010111110000100111101001101101110000000101000001111010100011011010000011010010001110101110010010100100111111111000001010100110110011000011101011111011101010010001011011110001110110011001011101000000100100001110100101010100001101001010000010101110101111010111001000011000001001011100010000111010111011010100001100011010001011010011101110010011111001100001101010001100110111001011010001000101100010001010000101101001101110110111100101111010111111001001010001011000001001011100001001110011101101101101000000001011001100000111111001101011000001000011111100011110011010010000010001111001100100001110110110110010010100011100100110001000100001000110011100101010011001011000110000001110110010101001011011000000000001011001111001100101000110101101100010110000000010011000000100010001101101111100011110000000000000010001110010110110110010000011010111011000110101100000001010111111011111000000111010111010100111000100100000110010010011010101010000100001111111000001101111110110111111110001111001000011001010101011100111110111011111101000011011101000111000111011101101100101010001111010110011011101001111001101111001110100011110010010100111100000111000001000000001011010100111010110110110111011010101010101001000011110011111010100111100000000010001100011000011100010000110001000010100100111001111110100000111110001011011011100010111111001101111101000101100100111000010100000010101111001101111000001111011000000010000100110010001101111000111011110000110110100010100010001001100110110100100101100001010010101010111100110101001100001000110001000110011000010110001100110110011110111111100110011101010001010100011100110010011111011010001111110100010110101010000101111001111110010101111101001000011100011010010011010111111101111101010011011110111011110010000101010110111001101000111011111110010001111010000100000100001010010100101011111101000001001010010000111000111010010011101100011010010111011111111000101011110110111010111000000101011110000011010110101110011000101111011101100001010111101111110101100100011110110111100001110100101011100101011101011001110010101010111011001111011111110100011110011011011100000010000100110001011010011101011011100110011000001110110001110101011