SAT
1001000100111011010110001100001111110101011001101010000110011010101001100100011100001000110101100000100011011111110000111001110101111010110001100110110011001001100001111110010011100111010110010101010001001110000111001011101001010010011100110001011101011111100110011010010001000100000101001100100101000001000010100110001010110101101110011011001101001111100010100001100010111101000110000010000100001110101011100111010101101010010100100000000111101101101000000100110001100000100000100110101111011010110011001111000001110011011010111011001110111101110101000000011001101000110011101111101101101101010110000000000100010110110001000001100001001010011001000100000010000000000111011010110100100010010101100011100011001011100101111001011011011100011100101101101001110010000110110010100001011110001101101000101011101111011000100010111011111000011110101010010000111000110101001110110011011000011010011011110001010011010000001011010111110110001000110011001100101101010101110010111011110011100010101110111100110010000111000000010010001111001010111110110110100101000111100101011110101011111101101100000100000001000001110010111001010101011010000000100000100001010001111111111110010011000111011110111001110100101111011110111101000001110101010111000111011001110011101111100110010110011110101110100110100111111100110101000011001101111001000101000010100100111000001101100100000010010101000100111101011010111011010111011110101000101110101000000010000101000100101110100010110000001000000010010101110101011011000010010010000010011000101111011110111000000001100100101010100110111001010001011000110110111110101110011001100100100011100100010100011101010111001010100000001100101011011110111010110100011001011100100010010111000011111111010110001101001100000000011010000001101111101110110111100101000010100000101110101110010111110111100100010000101011101010101100110011111100111111111001101001001110011101000000111110000000101000001110110000001101101000000101101101101100000100100011001111000110110001011101111101011100101111000111110100010000111101110110000001011001110011010011011000000110000101000100010110010110100110010011101111100011110101111010110110000100010101111101101100111000011001011011011111001111111010111000001001000010011110101100110000000101000111111010000010100110011011010001100011011001111111110001001000110101101011001110010100000100110000110001101101111101101101011011011111010000110110001011001100111001010101001111101001101000011010110011110101110110011010001000001110110111100110000011011000100001110111000101000001101111101101111101010110011101000111001001101001011101111100110101010110111001100101011100101111011010001101000110011010000110111000000001011100001110010111010111001110101100110001101111010111010001000111110000010111110100101100001100010010010011001111100111001011111101000010010010000110100100111001111011011101110000000011000111101001101000011111010100110001011001111100000111001101100000111110111000110111011100000001100111101001011100001100111001001100010101111111110110001101010000001101000110000001001001110111111000010011000001110100001111001001000010000110000011000111110000001101101010100100000111101011111111000110100010010010111100000101010100111100000111101011101110010001100010111000110000100011011101011111000101111011111101001001100111001010111011001001110000100010110101110100101101100101101110110100100010010101111101011111010000101100111101111001101110101100010101111000001001001011011010011111001010010100100000011110110111011111110111001100111000100111010011111100110011010000011100001001010111000110001001110010010000100011101000100011111111111010011110000011000101010011101001010100000101011011010011000000110000011000110011110001001000001110111110110110011011010011001110100001010101100110010111010001000010111101000101110101110100011110100000100001010111000110001110001000001101010101001101111110110010100010001011000010101010000111101111011100000001001011110101000011110000000111011110010000110011110001101010110111110101100101111010101100110101111111001001010010000110010000010010100000010011010010101101001111010111010011001100100011001110001111010101101010000100000001000001001101001110011001010110110110011001111100000111010001011100010110001110011001000011000010111111011100011001100101001111101111111100111111001010110100110011010111110001100110101011001010100110000010110001001100101011001101010011000101010101011100100000101101111110001110001101111101110110001101010000000110110100001011000100101001101001010000001000110100001111000000101010000101000011111000010010011110100001101010010011010110011111000100001100011011110001011000110101100000101101001011010111101011000000010100001110111101001100100001100001001001010011111011100100101100000010100101000111100100110101111110010101011100010100101010101101100010101010001010100110100111011111100101111000111100101110000011100110001011001111000011101100000100000000101101111101010000011111011110010001111111011010100101110000001110110000010110001101101010011101000000111100010100110011111011111100011101000001010110001001100000101110011101100000010010101111000110010100001111110111000101001101110001010110100001010000101111010111001000111111000100101010010111010110111101001011001010111100000000010000101001001111100111001011011110110111011010101100001000001101010000110101111011100001101101000011100001010100110110011101110000011000100010010001111010001101000100001001100111000001001111011000000010100011111111001100100000001100111100111010110001110111001111001001111000011101010000100100001001001001101011110001000010110011111001011111001101101010000110011100101010000000010011001111110110100011011010001001011100000011000001000000101110011100000011001010110110101100100010001000101011000001110110010110010101000111011101100110111011011100111011000001011000001000111000111111100010111010000111111111101110000001011011011110001100001110111000010111011001010010111000101110111110010110111000111110110101111101110111001111100100101011110001011110010011110001001100011100101010111011111111111101111101111101110101001010101110111010000010000101101101000111001011010111100110100100000000100000101101111111100110110011001100111011000011100111100011111100111011000001111001110111110000001001001111011001111111000110110101011000101010001101010000011000111111001111111100001100100011000101100011111101001101111110001001011001000111011010101101111111100000100001111110100011100001101110111111100011001100011011000011010111001000101101100010001110010111001001110011100011011100011001101101101100011010101101000101101010010111001101101010110010101101101101000011101010001000100011000110000100001101100011101010111101111010011100111100011010101011111110001011101001010110100000011111111100010011110001001100010100000110101001100000111101100101001000111100000010110100011111011100101111101111100110010101010001101111001010101000000011110010110001011110000100011101010001111100001100101000100011110100110000101111100100010101011111101011101011010001001001011100111010100110011111011011110000111011010001110101010001101101010010101100011010111010010011111000000010010100010110111000101000000001100101000010011111011111001000000110010001000100101000100111110001001000101011010010011100011011111011110001110111110000011101010110110010000111011100101111010110101000000010000110100011100011001000010010100010100001111110101101100010000101111101111000101011101001010100000110101011100001111000000011101110100000011000111111010010100011010110110110111001000100110110101111110010011111001010001100010101000100101011101100110001001001101010000001001111101001101011110111110110001101101101100001000011101110011111001101111110101110011100010101111001010011101101000101100101010110001010011101001110000100011001010110001011101110111000001101010100110011011101000001000101101000111101101110010000001001101101110100010001001111000100010000001011110111101010011011000101101011100110000110011110001111001000110001000101110100100011101111000011000110011010010100001011010101000011110000011000110011011000001000110010001100101100100010010111011010100100100000110110001100010100011000111001011111111000111111010110101111011111001111100100010010011000101010011110100010100001101001011000000111100000000000001001011111001111110111111000001110001000111110100101001111100111110110111001010010011010000010111101010111000001111110000110101000100111011100111010001010000101011010010110110111101000100100000111011011011001001100100111100001100100111111011000000110010010001001010101011110011001100111110001101010101100101110001110010010010110111101111101111101010010011111000010101100111001100001010001101101101101110001111111101111101011110001110010111011011101011111100010101111101111001100001100111100101011010001001101100000110100011110010001110110100111010000001110000000000011100101110101110001110110010101110110000110011000010010011011000001110111100000000111110001011010001010000000111100011110000100110111111000011001011000110001000111011011011001101001110000100110111000100001000101101101111010000100100111111100110000100101001110100011101011001001101110010000010010000110010100111000110110100011010001110101010001110100110111110101110101000110001111111000110010111111000111100111010110000011001110100111001011110111011010010110100111001100100001101111011010000110000100100110111010111101100111111111000000110001100000111011101101000100100100111000010011100010000001101000011011010100011110001001010001011111001111100010011001101101101100100100110000001110100000010110110001000100101100110110110001010001101010101011100010111101001111011110101101001111100010101010111001001011111100010010100001010010000101110101110111101100111101000010100001110101001001011001100100001000111111111011000101111111110000010011100100110000000011000001100111010001011100110111111110001010011001111101110111100101101011101001110101001000110100101110000100000111011101111110000101101010001111010010010100101001111110100101010110101001010110011101100010001010011011101110000101101101011100110011001001100101011001111001101100101011010000010111100110100001010101