SAT
111100011010000011000100111011000001000000011000110101000111111011000100001110101000101100011111101101000111010110101010101010111101001100011100101000010000001011101011100111101010001100110010100110000011000000110111010111100111111010100001000110001000111110011111011111000011011110011111110011010100110110101011010011101110110011000001001011101100100000000101000011100111101101000101110101001001010101001010100010111111011001011001101101101101010111111000001101001010100000000011111111100010100001001111011111010100110111101110010011110001100001010001111010000101011111110010110110100111011011110010001110101100000011111110100011000111110000000001001111000000000011010010101111111010011101100111110110100001010110001101111110001110111100000111111000001110001110000100100101110011010011111011011001010010101011001100100001110000000001101001111000100101010000101111000010111100110101001111100011000001010000101010010101011101010001101011101001010111010000100010110010000011000111000101101000011101100001010001001000110110100110010111100101001011001010011010000110100111001100101011101000111010101010110111000111001101011100010011110011110101011110001111111100111111100111111000110101000100010011100001111011110001001010101101111001011100001110010000000101110000011100110000111010110110000110111100001100111101100100100110111010000001011001110000000100111001010010001100011010011101110000001011010000000001110001101011011010101001010001110010111010111001011011011001110011100001011011100011011011010111101101110000101000011111100111101010101001111100101100000111011010000111101001010010000010001100101000111011100110011010110001000100111101010111111001100001001001001011111100011001001011100000011110001100010010010001111000100011011100011111110010110110110110011000101001011011110000111010011100110110110001110110001101100111110010111101110100100111011001011001010100100101111001100110110110001011000110111000100110011101111100001100100110111000011100111010101011110101010101100000010101011111010000110000111111010000000110011001101101111101000011110011011001111001000111010111000010011111110011101111010001000111110000011011000100001011010011110000011100001101110010111010110101010100010100011101010010000101010011010101011100000101110000010011000111010111110101011101111100000010111110110100110000010100111001010010001100110010000001101111110010000010111111000001110111111011101111010110010011011001110010100000001110101001110010100111001010111011101010100110100101100111110010100001011110101100111100101101101000110001111100100010110000100101110110011000010010000001110100001010011001000111011101111100110001011011111001011101100111101101100011111111010101001110100000111111110011110101110001000100111011000001011100011010000010001010010000000111100100100111100111110000100101001110101010110000111101011011111110110010001111100001100001001100011010101010000100110101101001000100000001001110111110000000010001001010100010011001011010111110010110110000000111010000010101111001100101100001101011011000001110010010100010110111111001000111111010011011001101100011010000101100001100111110101010110011101100110011100110010011000001000110100110110110101100111001101010101100110001010111010110000010000100001000111001100111010111100110010110101111000101101110100111111110000101100101111001011101110111010110001001010010100110100011110100010110001000000011111111001101100110101111111001011100011101111010111000110100000110001100100001110010110001001001001001011011011010011010011101001001100110001111100100101001110010011101100011011110101111001010010101110101111100100001111111110010101001011100110010011000000001101000001110111111010001010100110001001011011111010111010110000000010111010001100111011111000011010000101001110011011011011110011100110001110100111110001011000000010010111001001111101101010110111100110110010000000100001010000000111011100100101110000100000011010101011010100000100100101000101000001100010101111101111001010010010110110100010000110010100101101110001001000001010010110111001111110110011110001011100111011000100111000110100111011011010100010000010101101110110001101110010111100111101010100110000100001101011000010100111100110000011001100011111100001110111011111011100100001110010001001100001110100111101000000110110100111110110100001101010001010111110011101100110100101111001011101110011111110100011100100001010011111010111010111001111010111100010111100111100011110110101111100111111000111010111100101111001100111011110011101001101001111001010100001001111101010010000101110101011101000000001011011110010000100101101001010011111101100110011011110001000101111011000001