SAT
1010000101010111101110101110101001011011000011100101100001011010101000101111100110100101111111101101110011111111101000111101010100100100011010101011100011010111000000100001101000111000110111010000110001111101010110110001111101011011000100100011110101010110010111100110000000010101011100110111101110101001001011001011111010000110010011001111101001010111011010101111001010100111010001011100011011110110011010111101101111111111001111110011011101101011110000011100011101000101111010110100011101111001101110001110000000001011100010100110111010110110100010010011011000000101000011101111110010110000110001001011100111010110101101011001000001101100100011111100111000000001100110000100101011110111110001010000001101111001110001011011111011000110011011110001010101011110101111100111111011101101100000110010101101110011100010011010100011000001011100010001000111000001100101111001010010011010010110010011100000101000100011000111111010110010010011000011101010010101110110101001001011111110011001111111101110101100000101001101111110001011011111001011010100101010111011110010010011000111001111101101001010010010001011110111101110010100111001001001111111000101101010011011101111001110011101101000001100101010010111010100010101101110101101010001111101001111001111111110011010011001011100000010100010111001100111011011001100001000010000110010111011111110110000101101001000001001100110111101101010001011011010011101111001111101011010010011000100110010111101010100011101111011100010001001001100110011011110101110110000100010110100101010000001011001100110001011001110111111011101010111010110011110001111110101100101110000100011011110000111000011011100110010011101011001001011011000000000001000101011110101000000001101001011000101101111011101011000010011011001010101011101001001110010011110101110111011001100001100101101111001111000100110110011001011100011101000101011001110010010110001111001101010001110110001010110010110100110000100110111101100001001001110111101100110001100001110100111100001111001111110010110100111010100011110011101100010110100011000110101100110010000011100111101010100001011111111101111110010000110110000101001001010000011110101101011000111011100100101111111101000011000111011101110100010101000111111011101001000010010110011000101000110101111111011000110010010011110001110111011100011010001101000110011000101001000100111101011001000001010100101010011100100000011101001001110011001011101010110001100011000100111010111110100010101011111110001100001110101000100100100000100010100010110001000111101011000011001111001110001001110001000001111110011100001001110100101101011110010011101000000111000100111011100101011110010011010010000100010010010110110100101000000001100110011011111001001000000110001100100010001010010010000100100100111000011100011011011101110100001101101000011110001111111100010110011110101110111110011000000000000100000101001100011110111011111110011010110011100101101000000101111010100110001000010101101100110101010110010001000101111011111101101100100010111101001000101110000100010001011111011110010011010010100100100101100001100100000111101101011001111011101011100111101001101001100100011111110101010010100111101111010111000101100100110111001110000110100110110101110111101010100000011010011110000001111001101001100001001000001001001011110110000000111011101000010111100110110100011101001000001111010101111111011100100000000010101111101000000100111111010000010111100100100100100001001101111010100100011110010001101100011100111111010000101011110100100001001010110000111000100100001011001101011011110111111010011111010001010111000110011000101110100111111001011110111011110001110101000111010111101010001010111100010001110000101000100101101010011101010111101011010101010000011101101100011111110100010110101100010110111100011010011000100010011100101011011010000111001111111101100001010000000101011100111001111110011111110110011100110110001000011110110001000010011010001101100001010111001000111111111111001001110010111000011000010001101001011110011111010110000000111001001111101100000001100110100100010000100100011011001010010001000110110101000100000010010010001010101101110100111110011101001101011110100101010110111011011110011010001101000100101011010100111110111000111101111100111110110101101110100001000100001011010101101000010000110110110110100011000001011111011010110100010010001001110001101011000111100010010111011000010101111001100011000110101000010010001100101001011010000101001000000001011110101000100010111001010110111111111011110101011101000101111010011011100100100010101011100010101000011011000111100001001011001111110110000000100111101011111000100011111110110011110111011111011000111111101101101111111011110001100100001111001001011010100000010001111001011010111110110011010101010110111000110000001000111001100100110111101101111100111111010100111110101000010101011101000000010110001111011011011101001000001000101000000011010100001010010100011111110101000101101111110110011101000110001111011001110010011000111100011100000100001110100011100000100010010011011001111101000110000000011111010001101011000011011111100011001001111001001010110001111101001000100100011110111010000110100101000011110000001100100100101000011010111010011111110000100101110000011000011111100110100111010010010110100101011001011000111000001101111100011110011100010100000110111000100010001010010001000110101111001100110111111111110101110000010111101011100100011000010100101010011111011101110100100100111100000111011011011000001011110010110100111011010010100110001110101000010011110101101011110001100100100101011001101001000001011100100111100001011000000110000110101000111101010011101111101000010101010100011101010001101010001101100001010001110110110000000110111111011010011001110100101100010101100110111110001111110000101000000011110000011001000010101011011010001110100100111111001110110000100011111101010110010110100110010001111101000100100111000001001100001110000110001010001000010101111001010110010110010110111001110011100011001010011010000000111001110011111011001100011001001001010011110110000111100001111001100100101111111111001100001100000101111100100001101000000110010000100011001001110110100011110111011010110000001011011110100000011010010010100000001011101100010110011010100010011010111110101001001110001010011101000011010010011000100101011101111100101111110001001110011110001001010000101101001011000111100000001101000011101101001010001010001000010110000011011100011100000001010011011101001100101111101000101100010000100110110010110110000101100101001000001101100100100010111101010011000111100100100001011100100100100101110011001001010100110011000000000111001100001001011110100100111110010011010100101001111101010110001001010011000001110110010101100110010010010101111000011000011010111100101011110001010010000101100010011110001110011011111110000001100101110100010111101010000011000010101111000010000110010001101101101011011000001110111111011000110001101111001111110101011101011010110101101110010000000110011011110011001110010101001011111001110000110010100100100010010111111011101010011001010100111100111111011101100110001110110001011000110110101110110100001101001101010101100011111000000000110011011101000011001111111110100001101111001000011110001000011010011100000010100011101001101010011111110000010000011101110011010001001001101111111111010011001001010100111000111