SAT
1010100010101000011110011001100011000101111011111000111011100111111101010100011110101100000011101011111001010101100010010100010100111010111111001010110100111001011110100011001100010010001100101001011001101111111110010111101101001111001110110001001000110100000101000101010011111011011001000100000000001000111101000110110100111111011101010100011000011100111010110000101000001111111101101000001001000000000101011101111010000100010010011101000101110010010000101110011101010000111000001011001010010000101110101001000101011010010010111000000001111100011110011001010110100001110010011110110110011010000100010001000001010001001100010001100100001001010011001110111101011101101000101010110000011101010100010001011110101011010111110110011011111100101100001110000001000100101010000110100111110110010100110011000011011000011010011000011101001010011101001100001100101111000101100100000110110110101010010001101111011011100111000111111011101010010101011101001010011110000000001001100111001101000111001001000010100010110010111100000110111110110110101100001110100011001110101000010111011100110010100010110010110101000100011011011110101110001010100110110001100010100001101001011100110110110110100010100100011101110110101010011010100110011101101110110011110011000001001011101001010001010011010010110011010110001001100111110111101110011001011011110001110001111000111010101000011010111110001110001100100000100001010001000101101011111110000011110011111111001111100011010111010010101100001000110111001010111010011101001101110100010111010111010100001111101111100110011010011001100011100001011011010101100000010010110110110001100000110001000100111110000000100100010010100010001110110111101001000000000001001010000101010110000000010010100001100110011001001011110100010000010000001110010101111101100110111011010101110000111010100001010011110111000100100101101101101100100111001010100110000100111001011011111100110100100010001100111010110000011101111110001111100110101111110000111011111000101010000101011001011100011111001100101111110010110010011110110001111001110110011010000111100110001001111100101101101110001000000100111011000010111000011111101110101000011010001100001100010110100111110011111011011101001010010101010001111010101011011100101111111111100001011101000110101110000101010010010100000111101010101111000001100100100111011111101010100101011001010001100110010110110000110010000000101010011001010010101111111111001100101111011000011000111010110101111100000100011111100001010000100110111111110001111011111011011000110011100010101100001100101011101100010011010100100000011010100010011111010000110110001101111101100010101100111011011001110000111010010101100101000100011001110010011111001011010000100010001001000111110001001001010001001001111101110100000101100110010111000100010100100000110101001010111101010000010010001001001100101010111111110010010000100111101110100001111110100000010101001110101101110000000000001010110101101011100000010010001100100110000110000001100101001100110111011010011101010000101111110101001110011101000001101011100110111000001110100101011010100101110010011000010011110010000010111110001100101000100101110011010000000010010110000011110111110111101101100111011010111100110111001001111111010110111101111110110010000111010101100011100001011110111110010000010011110010101010100001000011110110111110100011000000100011100110101010100101111111110111101110111010001101010000111100010111000110110000011011000101100101100111100011010011101011110100110111001000111111001000111110101110011011010001110010000001011110011110001100011010110110010111110000000010001100111101000011100100111110110001010001101101111110001100111001100100011011101010010100100000110101010111001101110001001001000110011000010101000100000111011000000010011100010000000111011111110111000110111111111000101010010001101100111110000000001000001000010100000111011010000100001111111001001000100101101101100011010110011001011001011101101101000011000100000110010000110101001001111101011000011010101110010011100000101000101010000010001001111111001101110001001100100010101100000011110110001111000001101011111111010101111000000011101000011111010000001100000001111000001010100100100101101100101001011011001011100110000000010111100001101010000010000000001111001011101010010010010110110101000101011110011000001010010000001011111000100010110000101111111010001101110101110010001110011110110000100110011110111000001111100101011010011100101001111000100010110011010001001001110101111010000001111011111010111001111010001001000101011010001101111010000101101111100001001010101001111101010111001001101101101000111011011010110100010001111001011100101000010000011010101001011101111011110111110001011001100011100000111001110100000100000101001001001001111101001010010000100011111011000100000101100101011010100011110100100110010100001110000011100100110110111101100001001100011111100001011111000010110100111000111011110001010011010001010100011111010011010011110110010010011001100101001000010011111100101001111111110000000001010100111001111010101101001010111100011111001100110110010011000110111100010100100111110011111010000010001110110101000000111010101100100110111101011011011010000110011000011100101000011111111011010110001111101011110001111110001010010110000111000100000111111011110101100011111001011000001100011111001000100000001110010100010101101010100110110101100101100110000011000011000010001011111100111010110111011011111001110010001100101110001001110010100101011100000111001100011111111100001001001011111111110001100111101001101101010101011001111001111011011101000111010110100000110001100010100011110111000000000000000001101100110101101101111110110100110000111110000111000001011011000100110101101110000000000101001011011001110001011111111101000101110010111110101010000100101101010110101100110011010010100010111000001111100001101110100001010011011100000000010111101101011010110010010000000111001010111010111110100000010001101100101000011101001001000010101011001100101100000100000101110011010100111101101111101111100111010000101010100010100011101110001000010111101000010011100011111010011011101000001001011001110110101000101101110010110110011000010011011101110110111101100000111110011111100110101101011001010101111100010111101011111011110000101010011000111110000101001001111000000010000111000010100000010100000001010001001001001101101101101000101111110010110001001111011111100001010011010111011100101000011001100101000010111010100000100000110100000110101010000101111110101110100011000101011001111110101000010111011010111011010101110010101111110001010100001111000011001010100110111111111000111110100001110101110011001111000100110110001011101010110001000010001010001100101000011001000001010111101010100000001111011010011000110100110111111000001110111011101111100011100010110001100001010111000001110101110110100111110101000000010000111100111010101111111101100100111001111010000101010100010010001111001100101111010100101000001010110010100001100110110010110011010011000000110100111100111111010011010010000010000110101110011010111110010001001000010101100001001110110110000100110100001001011101100110100010011000110010111100000011011011110000011011100011011000001110000000111010100010111001000011001001010100110011001101111110010101000100110111110010101010010100000010100101011010100001100110110100010000101010000000111100110010011011101010110101010111100101100011100101110010110101011110000111001010111010001011101110110101110011010011011001111000011110001000011010010110011110101110110001000001000000001000010101011011101101000110110010010110010111011101110101110110011000011001010100111101010011011011010001100110100110010101000101110110000010100110101111010010101010000101110101101110000001101000100111100101011000010011101011101111001111001101100010100011101011101111011101111110101000110101011100011101011010001101101111110001110000010111111010000101010010101110011000111000001011110111010101100000011001001110001001000010111111101001001100001111011010101011101001101101100011100001111010110010111101011000110101010110111110011101001111100000101101110011110000001110000000111011100111100100000111110100010111011000010011111101110100101111010000000101010110001111100101001001011001101110100011001011110010101001001111111110010110111111111111011001110001001000011001110001111111001001100000111011100101110001101001001001010101011011101101010100000101100110110011011101010000110100010111100100001111000101110010010101001111100011101010101100110100000110100101001000011101010010011110101111011011010110110111010101111000010111111110001010111100101000101100011100100000011010000100111001010000001101111010010000100000111110110000011100101110100100011100110100000110000111101101000110010000000001001110010000100000001001000010110001010111101001011111000001000001010001111110011000110111001101000010100011001101010010110000001000110100000100101100100100001111101111111111101110110100001110000101010011101111110100101010001011100001110101010001001101011110010010000010110010100011110001100111010011001000110100011000010001000001110010100100101111110111111110111110101101111100011111000110101010111001100011110001101001011101110010100001111101110010111101000001001100011101111100110000000001011101100100010100011010010101000110010000001001000000001011111101100000010010100000001100100010111111110010010110110000110100111010001001010001010000110100111000001001110110000000011011000010010111100111011010001100011010111111001011010110110100101010000011101000100001011001000001011010100001101101001101101100011110110010100010000110001011010100101100111010010100110010011000010100011110100010001010011011000010010101101100001100011110110110011000110110110000001100011000001001001010001011010010011011000000100001000101100101110010110110010010000010100111100101100110111100100100110000110111001000010110000000011111101110010100000001001001011100011100110000000000100101000110001111110111111000010101011001001110011100000100101010111011110001110001101111111011000100101100011101011100011110000111101011001111010100001110000010100000010101010000000101101000000001000010111110