SAT
100000000111101000100110111000010101001000111100001110100000011101010110111000100010000001010001000001010111110011011100001001100010111001100111011000001100101100111000100011100100000111001111100011011111011011111101001111011110101010111000100001001111000010101000010100010101101111011101011100110010001101001110000110111000000101111100001000010110011100000100111001100000001100010010001001100000010011111011111110100111001111111000100111000011010101011100001111100100010100011010111110100111010110101110111011001010010000001000110101110000011110111000001111001010001011110101001001011101010111010101011100110001110101110101001011100011101011101000110101101001000011000101010111110100011001101111111101010000101110001011101100011110011100000101110101000010010101111101100100101110010011111000001110100101011101111100101000001011111001101010000110110000001000101111000101000110011010001101010001101001100101100000110011011011110011001011001000101000111010101101000111111100100011010111100001101111010001100100010101110001100010001000110010101111001011010000010100011001011111100101101110100100110110010111110111111001110110000001001111111001100110100001100110000100101100001110010010101110100010001011100111010010110010010011110011000001101111000010100100101101100101110011010111101101101101001011101100011001011010010100000011010101110001100101110100001011100001110110010101111101000001100100011011110111011011010010000001100010100100100100110111110000110011000011000101110101001101100001100001011001100111101011110010100100001101101110001100111110111101111111000011111001101011000111110010000001111011001100010110001100100101110000000101000101111001110010100110111011010100011111101100010010001000000000000100110001000111101011000010110110101000110101001000111111011000011000011110000100001111010101000111110001010001001011000100001000010000011010101011111101001011011001111010110000111010100110111101010100011111000000101011011101110011011101100110101101000101010111110111100101011110001011100110101010110111010001101111001010110011101011111010010100100010001010010110110010011110110110011110111001010010011100110010001101011111110011001110011010111011110000001001001100001110000101100001101111000110111100000001011101100100101111111011010100000101110100110100111001100100101011001001000010000100000000111000001101001100101000010010100000111101100011111111110110010001100010100110001010001010001000100000000010001000000110100101101101001010001100100010110100101001100101110100100001011101010100100111100100110100101001101001011100000110011000000011110110001111101011010011001100000010000110111110100100010100011000110101100000110101110010010100011001110000001011110111101011010101100111011000111101100000010000111100111011101010110001010101110000011010100110001101111001110101010110011101100100111011100110010111100010010100111111011000110100000000001111111100001010101100100100110000001110101100011101001000011101100011110010011011111111101011001011001000010011100110111010101111111001001000100000011101001110000010010011111111011111010110011001011001110111110011111010010111111001100010101011000101110101110011010111100111010001110110001110010001000111111110000011000011110101001100010100111010000001011101010000100001100010100110011100111011001101001001001001110011000011111010000101011000111000101100000101101100111011001101010100100101000001111011001110011111000001011001000000111101111000010001000000011010011101111100000011111101010101100011000100001000001001001001011001000100100111111101101001001011110100001010011101011010011110001100000111110110111101110010011001110101101010010010100001011100111101001000110110010011010110101011001100111100110011101110111000100111000011000001101111000100100011001001101110010001100010010001011101010001010001011000001110010001011011111111010100001000001000101000001111001101101101111000001011011101011001100011101110001100100001