SAT
1000000000111011110001000101011101000110000101100101011011001001011000010000110001000001110110111011000000010100010111010110111001011011100101110110001110110110011001111101000110000110001000000000111100110100100001000000000011000001010100101101011110101100110110001011101010110100100010000111110001001010000011011011101101101011111001101111000101000101110011101111001110100111010110100111100011111111001010100011000101011010110001100011101100110000111011100011110111010001000110101110011000001111000011110101011100010101101111010100000010100011110110011100010000101100010011001011111110111000110010011100001000010001100110000100111011101100111100111110000011001111101111110101111101110011100101011101111000101110001101011001000110010111001111001010101100000110111011111010100101100101101111011110000100100111001111000000101010100111101100001010000100000101011010101011101011000000011101001010000110101100000010100100111010000001111000011000010011100000110110000000001101010001011000101100011111110111010101000010111101100101001111000111010111010101001011001111011110110100111000100011011000110011101110100101011100000011000100010110100011100111110111100111111110100000100001101110001101011000000101111101111011010100111010100110010110100101110111101011011010101100011111000111110011111000100010110011001100011011101011111100000101011111010011110011101011011011011110011010010011101101011100101010010000001010111100001101111100100100011110011101111110001011100100001110101010111100100001000010010100110100111011110110110100111001001011001010101111011000000111101000111010000110011111101001111111111010010011010110100000000111000011001000010011101110011000011010011111011010100101100110111000101011011111110100100101100000100100000010111101111001001010100010010000001111011011011010111110111010010100101010010111011101101010010110100001110000001110110111001010010011110011000110100000001100100001100000110010010110111001111110010101101000011111110001010100101010110000101111011001010010010010010010100010010001001000011111001011000101101110110011100110010001101100100010001011100001001001100110000101111101001000010101111100110101011001111110101111111001001111100001110111001101010011000110010010110101101110001101101011010001110110001010000111111011000101000110010010111110001011001010000011111010000010000010110001111100111100010010011010101111111001010111000110111000101000111011000011100011010100110101110001001111010011111111110000110100100111000001001011010110100000011000100001101111011100101101010110110011111111010101010101100111011110000011100001100001000001000111010011100001100101001111011010111101011010010101011000100101100100000011011111110111101000111000111110100001101010111011010110000001111110110011101011100011000100010110101110111000110111100110010010000111011111111110000100101010110000011101110000010100111010110100001001110010010100110100101110000101000001110001110101111101101110000011100011111011101100011011101100001001011100110011101010111001010110110100110001011110000011010101010101110011010100000101000000011001000000101101011000100011110001001011000000101101100001110000110001001000100111110111010000010100001010000000011001101101010000101010010100100100011110010101010000011101101010101000010001100110011100100010001001010101011010110111100000011000111011101111100101011111000101101101110000101111001001101010111001011100110011100111010010111110110110100111101111000100110110100111001001010101111101111000111010111000001001010100100000110001001110010100100100000001000010001111111001110010110011111011101110110010000010111010101101010010011110001000001100100010000101110001101000000011000110110100011001011101011010110001110110100001000101000111101111101110001110011101110001110001110011010101001110010010101000101100101101101010001001101000010110100010001100000011111101101100011001101000100011101011010010011000011001011110001011111110101110101001110100010111001010000000010111000110111100101000111111110100110100001111000110101110000100110000100100001010000011010000111100000110110001001000001010100010010101010000011100001010010101111100101000100000000111111101111000000001011000100010101100011101000101000010001110011001010110110101011110010100101000011001010111001111010000111000101101110000101100100100011101111000001001010000101110101011001001101011011111001111111110000101111000000101000010111100110101111011011001011111110000111110111000000110101011101110001101111101100111101011101100101000000110000010010000110110101001111101110001011111111100011101011101101110111001100110111011111110001000111100000010000000100111110000111110110111011001100111101111101100101101001101111000110101110000111011011111100111110000100100010101000100111110001010110110110000111001010111100101100111100111000100010100000001011000001001100100011000000111010111110000010111010011010001101011101101001000101110010001111111111011011011000001010000110010100111000011000001100010100111001010100000000001101000110010001000000101001110000101000100100110010010101001010110111001110111111100010101100110011100011100010100110000101000010110001101010011110110011110110110101100000111010011010101010101100110001001100011110011101010110100000101001000100111110011010111111000000000001011000010110011110001110010110100000101101100011110011001110111110100100011010110111110001101010001011011010111111000011001111111101000110001011100011111100001101010101101100101000110101100100111001100110001110110100001000111011111101000110011000111101111011110100010100100011100011000101100111110001011100010001101101101110010010110001100110111000111101110110000110101001010110010100001110101111010011100010101111000111000000111110000110110001000001001011001001001111000011001001110111100000000100111100000001110011100110100000010110010000000001100100111110001011001110111010110100010011011001111100111000011011111110100000011111001011110000011111101110010111010011101011011100101101101110101101010011110011100010000000011001110110101010110101001100001010001100110010011111010001011111111001011101100101011111010000001001001110011111000001101101111111011111001011100100111010011100001001111000000000011011010110101111000111011011110110000000100011111110011000110000000110010110010001111011101000010001011101010011100011010111110010101100001100111000100001111111010100110110110110011011101110001011010100100111010111111001000011011001100011010010001011010011111101011001101010011110101101110000110110010101001101111111111011110101111101111011101000100001110101110011010111110110111011111011101110111011100110101010000111101111010011100101110110101110000010101100011111010001110011001101110000010100011111011111000011100001001000010001110010100001111011010100011110110000010000110101001100100101110011011110100011001011010000101010101010110110010011010011001111101000010111110101100001110001011000001011111001101010101101111111101101000100000000001101111000100111010011011100100000000100100011111110000011011000100111001001000010110110001011001100001011101000110000000000100000001000100010111000010101101000000010001010100011001010110100111110110001111111010010001011101010010000011010001100100110001010000110110110100011010