SAT
011100101010001110000011001100111101010101011010111101101011001101101101011001011011100000010101111001001001110011101000001111000010111011001000010010011100011010011110111001000000101010111010001011100000101111100111101001010010100110001100111000111100010111100001111011000100000110011000101100111000111111001100100000101111100111000110100110110010110000111100000010000010011110001000111010010100001010001111011001001110100100011010110010111111110011100100101110100011001001011010101111011100001100111011110011011111010010110000010010101101001100101110101100011010001011000100110001111010010001010100100100111000110101101001111101001111111111110100000101110001111101110011101001001101010110001011101100110010110001001010000000100000011010101010110010100010001001010011100000011110100100111010100101110000001110001010111000000000011011000111010001011100100110011011101100100100101000010010010011100000111001110100100011111010001011010101111101011000101010111010001111011111010110110100010100110011011100001100000110101000000001010101111010110100100001111011110001100001001111111100011111110111001111001011100100101011101110101010000100010100110110101001011010010111111011001100111111101100110011110111100011010000101110100011100011101000111011011010111110010000101101100000100100100011000111110010000001001010110110000111110100110001100111100110111110000110101110000011001100111011101110100110100110011101111100010001011011001110001111101001011111011010100111111110001000011100111100110110100111000101110111101011001100011010000001100111001000101001000111010000110101111110100011101010010011011111101111111000100000101100010100111000100100010010000001100000110101101101110010001001100110010000110011000001001111010000101011101110011011010111100100011100110011010000100111101101000110110111100000000000110001111011101100011010111111101010110110011101010111011000001111100111001111010110101011100111000010000110011100111000010101010111101110000110001111011001000010100100101111110100000010110110010001000000111111011110010111100111010110101000010010001000111010101111111111101001000101001110100000011100001001101000111000110100100010100001110010111001010000110111110010100110001110010000110100001010110101000111100000100110111101110110110010100101011010000010100101100001110110010011001001100100000100010111110110100011111111001111101000100001010011110001101010000111101101110111000101111000101100011011110001101010101011100010101011000101001001010111111111110110011101001001110110001000111101000010011010001010001111000010001111100101101111110011111010101011010001111100110101101000110100001001100000110100001111101011001100000100111001000111011101111001011000001101100100001100011110010000001100111101100100001110000000101101000111111101101000100101110110010011000110001101011010111110000010111000100001001000001011011011111010100100110001111011110100011000110001010101010011101001001101000001011001110001110010101011011100011001101101110000010101111100010110101001101111000001110100110011001000100011110000100010101100010001011000010010000011001101000001010110111011000001101101000011110101001101011001100011010001111110110001110010100011111111010001011011101000000100011101110111110001001000000110101010001001110101001001011111101111110110100000100000010101101011100110111001011001100011101100011001100100000110110010111001101011100100001001110010011101111111111111011101011001100101000000101010011000101011001111000010100011000000011100000010110101010000110010111011110110111011011011110110101101111110100011010110101000011011111010101100001100111011001100101001111011010001010010001110100111001110100110001111111000001010000110101111111101010100101010110001111110000011100011001111100110111010100010110001110001101101111110100001001001110100001010101110011111010110010101011010101000111011100001001101011100101000101100001001000111011111001000010111011111011001011110110101