SAT
1011111011000010000011100011010011100100000111111111001100011010101011000011000100000011010011011111111110010010011110000001100001110000001100110001101101010110011111101011100110000010111101110001111010001010100101010111000010001110011110100100000011101100101000101010001111111110010001001101111010100011100000001101011100101001111110100100111001000111101111001110101101010100000110010101001111001111011101111000001011011110010000101010111011111010011110011011010011010111000110111000100011010010111000101010001111000001100000001100110010010111111110000001001011010010001110001010011001100001100010010101010111011111011010010011011001000001100010111100101100111010110010110011011101111101110110111111000001000110011100011101110011111110110100001111100111000001100010001100100010110101001101011111101011001101110100010100001010100011011101010001000010000100010011011111111101000011011111110110111010100010000001111100011100110011111110110111110000001111101110001111000010101101101011011100110101001011001100010000101011100111111000101101100100110001010001111101111001110010000110011011011101010101110111100111110001000110010000111001101110011011011000101110101000100011000000101110100111100000000000010010001010010001011011001100101110110010011001100001001110100011011110100000100100000000010000001110100101111101110010011011010101000010110000001000001101110101001010101110110110110100011000110011100011010001010000100010001111001001110110001000110101100111001101000010000000010000000010110000110010000000000000000101110111110011011011011000100111100110011010011110111001010101010011010101100011001011110100100111010110000110010111011001110101010001100111100010101001011001100110101110010010000110110010101010000111010001000001110111101000011000000010010000111100011101100011111110110110001111010100001100011100010011010101001011101010011100101100101110010100110011010000011111000111111011000001110110111000000001111010110110001010011010010110010111111100011110001101100010001010011100101000100010111010010100101111100010000101100001101111101010000001011000110000110001101001001100001001000000011000110000101111100000100100000100111111010101011011101111011011000100101111010001111100000001101001011100000000101011010010111111010000000001011110111101110001110110110000101000011101011001110111101101111011010010110000011010001101011100100101000000000111011101001111001000100100001010111001011100001101111111011110100000101010010111000101000111001000010010011010111011111010110110111110111100110011110011000011001100110100101101000101011111001111011001011110010000111101001100101001101110101100101111011101111111011101111101111000101010011101100000111001010111001111110100010000010100000011110111000010010010111101101111100111010011011000010000111110000010011011110000101101101010010111110011110010001011111010001011100100001100101000001101011110010100110000011101001110011110111100011011100010110110111010000000000101011011110101111110110110010001100110001011010101110110011010100011011101000010101110111100111110110000100101111110100110101001110111111100001110101110111111000011100111111000100010011100001000001010100000010110101011001101001110100111010000010111001110110001100111010101100100000001011011001001100110001111101101000100100000111010011100010000110001011000111010000110000000111110011001011110010010010010101001000000101000100101100111100100010011101011101111010001101111110011100011001110111110000101010111000011111000111000000010100111110101010100110010001000100111001011110100011011011101011001001111000001100000101001000100001010110100010110111011011011110011001001100111000110011110000001000110000010110001000110000001101110110010011010010000000100001110010011010011010001001010110011010011000000001001110111101100011110010100100001000011100010011101010000110111011010010011000011110100011000110011010010100001111101100010001011010000010010001111000001011010110100101111111001001000101000110110100001110100000100111011101110100110100110010010101010101010001110100100101100111010110011001110101001011111001110101101001100110010110011011100110100001111100110001010111001110100000111000001001000011011101001000111010010100100101100001101101110001000000010001111001111000111101000010111101011011100101110000001010001111001100011101011001100001001110110010010100100010100100000111000001111101110111111101111100001111000111100100011111000101101010000011100010011100001111011111011000011010010100011100001111010100000101101111010100100100001001101111001101100111001011010000110101001001111100001010110110111101001001110111111010110101100010101001011000101101110100110110000110011110110100010010000111110101110001000010110111111100110100011000100011000011100001110101100100111110000001101101010100000010100011011010100010000010110111001000101100110100100101010011010110001111001011011001101110111100100000000100011111010101110000001101101111110000011001101101111000110000001000001101111000101101100100100111111010101100110000110111101010100001001011000001010101010111000010110011111111000110010001000001010110001001101010001001000000110101100100000100100010111111000010111101101011000001010111111110001101011010110110000011100001101011011110010001111111011011101010010101100111100011110110000001000011011000110101110101111010110000101001101111100101110011010110100001111010101011100110011000110110010111011110001010011110101101000001100011011110101111111001100100110111100011111001110110011001011010100100111001110101010111000101001010001111001001000010110010110110100011000100000111100101100010000001001010000011100110100101101110110010010111001010100101111010001100111100000110100110000011011001010000001110100101000001110011110011001111101111110110001000100001101000110110001011111010110110000000000111111000111110101110100101001010101011000110100110100000100000010111110101110001000000010010011100011011000001101101100111110000010111011110010101001010110110101111000010011001101101110101011111011110111001111101000010111110010101111011110001101100110001100111000100011111001111100111001111011010011101001111011100010101001000011100010000111001100110100001000110101000011111001100110010110100100100101010111001000101110000010000010111101001111101010010110110010001000100001011101000010011111111011000110011001100111110101011100101110101001010001100011110000111000010100001000110011110110000100100010000000001001110101100110011010010011011111000010011000001100000001101000101110011110110111111110110010011100001110111000111011000101100001001111110110101100010000111001101000111100100111110010001101010100011110000011110111111110011011011000000010101100011100110111000100101000010100100010111101001001011111110000010001110000101001100000111110101101110100010100011001010010000100110100001011111001100101100100011001000111101001111100100110111010110111101001110001011100110111111100110010001011111001101110001110101111111010010110000111001111111100001101000011000111011011100010110011111111111100010011101101110001110011101011110111001110011111001100000101110100100000001010100010010011100011001011010111111110000001101000101000011001100111111100010110000110111010100111111001010000000011100011000001010111000000011110001110010000001011111111000110110001011111111100011110010101111101100010111001001110111001110010001000011011111000010110010111111001100001000100011001010001111001111110010010011010111101010100011011010001000001011101010000110011110010111011111001100011000001100001010110111010110011111100010010101111100101100101111001000000010001100110000110001111011101100101011000110101000101100010001011101001010010011001111101001101001101111110011111001101001011111010101010010101100000100001110111111011000011001001010010110101110010110001100000000001010000011000010010000010010010011001101001110110110111100101101011101001110000011001011001010111011111011111111011111001001010111001100011000111001111111010001001111101001010111010101000000100011001101000100001001101111100111010000101011011111000111001010001001010111011000101110001000000000110101111011000101001100110011000000011110011011011100111010100100101110100001100100111011001011110001111100010000010111010101110110000010011010111111010010001011111111110000011000100111011110001011100110111111100101000111100101010001100010000000100100010000001011101100101001011101111111110011101101110010100110001111100100010100000001101110110111001011011101101110100011100111111000001111010001011000110100111001100011010011110010001000011011101110110111001100101101110011000101010001111001111001110101000010111111010110000100110100110111111000111001011000111110101110001100011111000001010101111000110000000101101100001100011000011111100110100001001011001101100011011001011001100101001101010001000101000000101111110010011001101011101100010111000001001001101100010000000011101101110010100010001100100100010100111110101000010000010010011010101011101000011111110011001000010101011010011100001000000101100100001100100010010100001011100010010001001001110100000111001000011110010100011100100011100100111100100110101111100101101110101111101110110001010000110101100011100001010100001000111100110111001001011001101011000011000010100001000110000101011011111011001001100111111001100111000101001110100100011110010101000110001010000010010001010000000010000101100001011011010010111110100110110111010101100101011110100000011100001001111100001110011011010100100100011000010100001110011010000011100001000110111000001100101010100100010000111010010101001100110001010110101000001101001111000001110101110010001111111000000011100100111100100001110011011100011011000110101011100011111001100001101110011110000001111001110010101110111000001101001101100101111000100000111001101000110100011100010010001101100000001011000010011011001010100110110000100001001000110010000001111101111110100001010111101101111011100000010110011000110011000101010010001010011110001000100010111101101010011010010110011010100000110001001100101100001100111101110000101001010110010100010110001001100000111100101101001010010111101101100011111001001100101101011100110111000011111100110100011101110