SAT
10111111100110101110101010000100111001001101101001011001000000010111001011000110010010010010101110000101100111000010111110100110100011000000110011000100010101101011110110111101100100101110101000111001011011100111110001101011010000111110000010011010111111010011010001001101100100001110101011110111001011110100010100110111101100010011100000001101111011100011001001001000011011001100100010110101000000011110011001010010010100000000111001111011011100001010100100011100111010011111101111101110000010010111111100110010000110100100001011110100100001001100100110000101001011001010110000100010001111101000111110110000110110000111001100001111100100111011010011010010010001111000001000100111111010101101010011001001100111100011000110001101000000010010100001001001011101110111001010100111111110111111110101000011000111000010010101010111001001001011110011110101011010101101001111010011101011101101101001100001100110100000000111000000010000011000010111111000100111111100101110111101001000010100111110010000011000110011000011001000001101111011010110000011010101100110000101110000000011011001111000110100000100100000101001101001110101011001001100110000000111000110011111101011001011111000110001010010100011110011011110010101011111101111011110000010010010111100010101110010100101111010010000010110001111101110111011110001100111101100111101010000100111000111010011011011101000011001111001101001011010000100001101000101000010011001001001011111111111111001100101001101001000110011001111001111000010101100101111111000111101110110000010010010100100010110101010001001010001101110010001101101011110000101000011000010100111110010111000110110110101011111100100110010101101110010000001101100011011110100000100110011101111100110000011110100101001110110000001001110100110110110100111010100010101010001100101100111001011010110000000111101100111001100010010101100101000110110000011100110100111111001110100110110010000000010101011101010010001000111111010011001001101101110100110011101010010100010111100110010010110111010000111000100011110110111100000111100001101100011100101011100000101100110000011000000001010010000001110111000110010001000010101100101111010010110000100010001111101101001000110100111010010110100110010101001001100001110011000110110011010111011001110011110001101110111001100010011000000010010111101111000111110001101111100010011000000011100011100010101001000111110101110011101100000001001001110110100100100001111001110000100011101000010000010110100100000110001001100010111101110111010111101000110101010000000101100111001101110110111110000001011000110010000001011100101011110000010101010010101010111000111101111001101110101110111011111110001100001110011001100110101011000001001100001110000010000111111111000010110101111011101100110111000011001111000010100000110001001011000111010111101111001011110001001111100110111000000101000011010011101001000011111100010101101000010100111111000011000100100011011011000011101110011110101000100010001100001110000111101100110111011111011100000010110000011010110111010000101000011000101111100111000010101001101011000010101001101110010110101000010001110110001111110011101100110010110101111111011000110101010010001001001011110110111011110011000010110110101011010111010000010011111100101001000010000101111011000011111100000100000111110110010100001011011001110100101110110110110110101101101111101000010011111111111001011000011001101110110011001110001010000001010101011010011100111111100101110100101011111001000000110010100100110111011111010100111011101010011111110011111011010001111011000111101000000101100101010000110100110001001010010011111011100101010001100111110100001101010010110000111110110010010101010011110110110011000000001000111110101111000001101100101101110001010010111110001001011101110111100100011010100000100000110011100110110000011101000000000001010011001101111111011110110000100100111000010011110111100000001001111001101000100101011110111001010110101110100100000011111001100100010101110000011010100100010000010100001000100011000001000101110100101001110111000100001110011101111000010001110100101011100010010100011011010000010100010001100100100111010111110010111000111100100111100011001101110001110001001111001100010100110010101100000101001101110000011001111001000100011101110011000000101000010001101001011001101000100000000110000100100010111110110110000011001001110101010000011000000101000110100111101001000111010100001100100100110011100000100110000011011001110100110000110010001100001111011110100011011111000100100001101001111110101110011001011101110000111001101000110010100110000010001000110101110010110101000011101101101111010111100101101101011000110111001000011011101101010110100110110011110001111000111000110110001111000001111110111011001100100010010110000101111010000110101010001110101111110011011110100011110010100100001000010101100011101010000001001110011000010011111010011101000101011101001101001000010000110100000000110111111011000001000111110110111010100000100001111001011010001011111111000011110110010011101100010111110111010000100101010101010000011101001110000111110011000110110000111111111101001100010001101100011011110001111101110000000011011110000011110001000001111010110011010111010010000001100011101100001011110100000010111000100010001000100000001000100001010000110011011010110000110100100010001110111101110100010000100100010101011001110000000111101111101010101001000001111100010111001000001111011101010110111100100001100001100110010001000111101010110100011100010111010110001100100000111000111110001110110101001011000111001101101101110100101000000101000000101110000000100000010100101101100010100001101111011011101000000101111100010001000011000010100010100100001110001010000100100101010010101011110001000011010001000000011101111101100110110000001111111111001110001011011101000111110001101110101011010010110101011111010010110001101000001000001110101101110011111010100100110010000100011111001110000011001000111101110001001000101001101010101010101110111101111111000010001011001000011101000000100000011010101000111000010011011111001100110110011000000101010111011100101001111110110101000011000011010011000011001001000011011111000001110011000110011000011001001000001011110001011101100100101110110011011011110010111011011101110001111000010101001101010000101101110001010000010111000011011011101100001010111011101000010111100001100011101010110011100111101111000011010111110110010001010001110111010010101011000011010011111001110011011001101010110011011111010110000001110011100110110011110010110100011101011100110111110001101111100111010000000100010100111000101000100101010000100101110011111010100010110100111011010110001010111010001000101010101010001011010111000110101101000101011111000010110111111111000111010101101111100001100000010010101100100101000001011001001011010001000111011101100100000000011000000011101011001001001100100000000010000011110010010100010001011000111000100011011011111011111001001101010011100011100100000100010111110110100100000111111100010111100001100101111101100001101110000010011011110011101011100010010101101111000111001100000100011101001010101011010100001110011000110111001010011001101110100111110101111000101010010111010001100010110110011111111100110111010110110101000111001001111101010100111111111111001011111011110001110001110100011110110011110010101110011100110001011010100101110001010011000011001000101110001010010011001101001111011100111100111101001000100000001001101011000001010100100000011111111000111011111011001101111101011000110010010111010001010000010001001110111110101101101000111011010101101001101011001111101010010000001101011101100101011100000010110001100011110100010001111110100000111100001010000001110101011011101001000111110000110110010011100000000101100101110111010010110111111010001011111110111111111001000011011000011111100000111110000000100000101101011111110001010110101110001011110101011101101110101100000000111110101010010000000100111011101110100100101101111101001100001010010100111001110011010101101001110100011111010111110110101010001011001111000001111010000011100001000011100101001000010001010001101101111100110011110000100100001001111110001111010010110000011011010100100100001110111010011101111101110010010100101100010010111111001101100000011111110000000111101101000000100001100101001001100111110100100011111001011010110000111100100000010111000000011111101100100010110001111111100111110001001000110011100101000111100101010001000101110100100011000110001111001011010000011100010000001001010111000100011110001001011010011011110111110100100011010110100101010100001010110101111111101111000101111101110010101110001101001000011101010011111000101110010000000110001000010100010001011111110100110101110111010011110000101010011000100101110100011100110010011111101001111001010000011110101010000011100011100101110000110000000101010010110000100010100100100010000100100101001000110111000010101110100001001011001100011000001010001001111010001111001101001101001001000110010111111000110110011101001100101100111010010001100011001011011101010101000010001010010111000101101101101011111110111100101000111101001000011011001000110000001100010011100100111010010110000111000000100110000011010001000101101100100110010011001001010110100101111111110010111011101110011001010111001100100000010111110010010001110100110000000110111011110111010100010100010011010010001111000011