SAT
110011000111001001101000011011110100101110000011111000010111100101111011011100110011101011101111011010100001000110100001010010011110100101111000010010001010010111010011100001001011110001001000101010101011100011100101011110010111000101011000110001111001100101101011001101100101010001101111000011011100010111000111011100111110110110000010111011010111010101000110010101010001000010100011111111101000110001111001001101011010110010100000011001101111111101010011101101111101001011100100001001101010000110000101000100100001111100101111010001001011001111001111011000011010101110111000011010100101101000001110000101110010101110000111011010010100011100000010010111001111101111111100110011001110010101100011111001010000110000000011001000011011111010101111111101001111010110101111101110100001100100010011100011001110011011011000001011001011101000000111110110001000100101111010111111000111001001011000001010000011001111010111000011011110111110001010101111101111110001101001100010100000010011101000110100101100100101110111101001101101010000010111100001100010101001000100000011011110110001101100000001011111010010001010000011011110001011110001101011010101001010010010011111101010010010101010010110101110111000111000111010001110010000011001001110001100100010101000011110110101001111001101101000001000010101111000110101011101111010001110000111100111010010101010010100111000100010101100011000001110111000000100111111011111111001000010011111100001011100011100010001100011010011011000100000110110111110111110111000110100011001110010101000110101110110011001011010000110000000110111000101100011110011010010110101000100111000011010001011100011110100000010011010100101001000000001001000011111000011000100001001110010101111010101101110010111000111011001111101111001101010011111000001111010111101111010100001101101001000100001111111000000000101111011101001000010110111110111000110001011100011010000001010101001111000000000101010000110011101011100001001000101101001001101101001101000001010110100001101110010111111110100001111110110010111110100000000010001111011100011010010101100111111100010111101001011001010011110001100010110011000100110111010000100010011011111100010000011011011111110101010111100101001111010101001011011000010011111000100011111101000100000000110001110001101011110000001111101101101111101010001100011101101110110000011000001100001100110010110101101001101000001111101110101000010100011000100100111010010000110000000010111001101101100001011110001000100001011111001011001011111101011101001000101010000001011011101011011111101010101111000011101100011001100011111011110111101000011000110101101100011111001011010010010011001101101010101000111111011100001110001101011101010100111001000011101001101001001010011010010000110000001001001110111000001001101100011110000101001101000011001110101111111111011010110111010101101011111010011010000000001110110101011100100101100100110101001011010111001011111110011000100011111011101001011010011010110010011101011001111010100111111001010110111011111000110100110011111111100101101001110000010001010100000110100011000101101101010101111101011110000010110011110001111011111001011111110011110011101000000001010000101000101101010000000101010100110010000000001100010101101101010010100000001000001011010100010011011000010110111100001110011000010101100001000110001000001111011011100101011110011011010011110011010001110101000100011010100010011010111111011100111111011010011111010000011100101111110100101101000000011000000011011100101111011010100001001100011100010000000111101100010001110100100010011101111100111010101111100100001100101010011011000111111010010101100000001010011000101000000101010001011011010100110111001011100010101001100100011101111110101000010000101101000111110000010101101000010010110110101101100010101101011110001000011101001100101111100011011111000011111000101010100000101001011010100010100000000101111010011100010000010111011001000110100000011111101000100010101001110111100100100101011010110000110100100111101101000000111011110101111001011111000100110100011110001011111111101111001011001100111011010001101011110010000100111100011010010111110100101111011100001011011011101011101001000111011110011000110000110110111010110001000101000000001011110000011010000111110111001100000100101111111010010010110010110110010100000100100101111110010001111001000010110100101010110101010110111101110011001100010100111111010001000101101000011000010011010000110011101000101011101101001011100000010000010101011101100011101101110010011011010111101111001101011010111000000101011101111001101010000010000010111100011111110001101101110011010011010110001001110110001101010111011