SAT
1000010111100101011010111000100000011001011011110010001010000000011110011110111111101100100101100111101010101001111101111001101110000100010100010100000100010101001000001111101111001011000110011001001110110000100101011101100000101000111110100111100010100011001111000111110001111100111110000011111011100100110000111011011010010111001000111110101000100011110101010110101110101011100111000110011001001111001100011000110101000110010011111000101010001001101110100001110110100001000100010001001001110100110001101100101100110010011000001101010110100101110111110001001011110111100010101110000110010110011000001000011100101110111001000110010110111001110011001101000001100111000110101100001111100100010011111100110000110000110100100101010000010100111010001000010011110111000010001000001101110011111100000101110110111001100000111001110100111100101000000000011101110100110100100101101111110010101010001010110100011100011110100101110011000000101001000111010000011011101001010010110010111111010111011010111111110011000100001011100101110010101000100010010110010000111010011111100101001000001011000000001110100101001101010111101100100000010100000101100111001101110000001011111111001011011101101101101001110011011100001010100010100100010001000110000100110100110101000010110100000000011111101101000101110000001011010101110010110100001001100001100111100101101111101001111111001101011000010101011010101101001011110000001011010111110100000100111101001110110101100110111101111111011000011010000011100010110001100100110111111100010011000010101111010000111001000001100011001101100100111111011111001000111101011011000111000111011100011101001100000010110101000100100010011101100101111101000110110111010100010010001101001010011001100111100101100010100000111011110001101110110110110110101011000000110110101110101111011110011011111100110001101010111111110000011101100100010100111100000000001111001010111101101111111110100010000100111110000111110001001101101101111100110100011001101110000100010100111000001101000011010000101100111110110001011010111111101111111000010110011110111001101011000100111100000111000101011010110100101011011010010000111011000011101000000111010010111010100001111001000011110101010110010010000100100111001001100011010001001011000011011111011011110010110100000010111101000001110111010000001110101011101101010000101011011100111000110010111000010111001111011111110011011011010000000111010100001100001100001111111101000101101011001010000011100110011001111011101100100101101110010110010111011101010000010111010000001010001111110101100011110010000100100101011101011010010011111100110100111001101000001010001111111001010010100001111010110010001101011110101011100000111100101011010101100001011011001001011100101110100110011110001101000100110101110101100011001111000110111001111101010011011111111100101001110010011000100111000111101101000101101101101110011100011101011000010101001110101011110001100100101110010101101000111011111100110000011000000100000101110000011110101001001000100110001111110101111000100110100110110001101111001001011000110101111011101010000100000100010010000101000001001111111110011010011001011010110100001010011111000101000001000011011010010011111100000001101010111011000001010100111011110011000100000110011101100000011010110100110101100011011011010111100100111011100011110010101111011001001000110111100100110101000101111011000000010001000011011000111010110000001000110011110000010101111011011001010010101111111111100000111011111010001110101000111111100101010111011110101001110001101011110010111100110010101100000101010111110000111101011110110110011101010100111101001100111110110100010000011101100000011110000010011011011111100100101010111110100101011100110100110001111000010001010100110100110100011111010001100110000010000010011110011111011000000001111110100011000111110011111100111000110110010001110001110000011101010001000001110110001110111111010110000100000011100011000011100010010100100110100101011011001000011000110111101110011010110001000110101010110101110010001001100111111110101010101000000110100101010101100101110010011010000010110000110100110111111010010111110110001000111101010100101111010001001011000110010110100000101111010011111010011000011101111010110111011110111100101011101100101111100011010100111100011101101111001000101101011101110001001110011111000110111000101101001100001100000010001000010110011011011001001111111010011000110011110010000111001000010110001000110101101110100001000011110010100110000001011111011001110110000010000000101110010010111100101000000000101010110111100001011110010001111010001011001001111100100110001100101110011111110001011000010100001110111000011011100101110000000111110011110000010000101100000000011000110010011000010010010010010100011010010110101100101001010000000101001000010110000101010110101111110010011110111001110100110011001000000111010110001111101110010110010000101110100111001110111110111010000110100111001110011100001100100011000011111001000100000110010011011010101100000010010110111010111110110100100101001010011110100011010000010000001110111010001010011001100111011100110111111000100000010011110100111100000000010000000101000110101100100100110110000010110101100010000001110111111110100010100101110010101110001010010011101100111110101010101000101110101011000110000110100000110011101001111101101010010011000011001100011001100001100100000101001001000101011001011001011101000000100011100000101010111001111110100000110110001100111010111100100101110100000101110000011101111011100101101011101101110001000101110100000001111001100001101101110100110110001110000100011111000010001110111100100111110001101100010101010100111100000100001011010110010100110000110101101000010001100110111111000010111011110100011000011111011111110011001011110010011000111001110101100001111110100000111011111101111111001110000010001001100010100011000111110011001001111101111101101110000001111011001111000000110001000010001110110001110110001001001010011000011111000001001101000001010110110001010010000110101101000001011001000000000001011101100100101011111010010010111111001011000001100101100101010101111011001000110100010010111100111000100100110100100101110000010100010000111101111101010000100100101100111000101010101101110100110100110010000000010100100110110100110111000000000010100110101111010001101111011001011101111011110110001000101101000110000001110101111011001011110011010010100110011010101100010011000000000010101000110000010011111010000001011101011011110100011011011001101101000101110100110111011111001111001010101000011000001110000110100001000000001110110000000011001010010010010101110010010000100111111110110100100101001001011100011100011010000010010100001110001110011110100100101111110111111001000000010110101000010001110100001001010001110010011010111101000100011011000000011111110100000010111001001000001010111100100110101101001111111011100010000111111000000111111010101110111000111101101111100011000101010111110100010000110111000010111001100110011011001110000000001000110101100010110000110110100100111100010011001111100110110000011001000001011100010100111111100000100100001111000010000111001001011000100010010001101100000010111101111110110100010100101100101011100010111101110100001111111010010010001011100001001110101001100111110011010010110011101001110111100110011010011010100011000001110101100011010000010101000000011001101100010110111101101111110011101011110101111011000111100101011110101110101010110101011011110010000010000101000011000101101100110011010000000010110000110011000001000010011110111111101010110101001000001111100011011110100110010010010010100110011100010001010011010011000111110010011011110111011010001010100101100001110001100001101000010000110110011011101110100001100111000000101010000101111011100101001101110001001011010110100110000111100100000100101100110001001110000010110111101011010010010100000010101110010010101000001100100101111111110011011110110000010111000011111110011000010010100111011111000111000100001000010011111100011000100100100001000111001111010111101011001101010001001101000110000100110001000000100010100011010000011101001000010010110111110110100110010010011010001000111101011000011010011110101101100110011110111010011100100011101110110101111010010100100001100011011001011110110100010011001000111011010101100110010001100000111001000011001000100100000000111001101000101011001011011000011011111110100001101010010100101100001010000010001110011001000110110111110001001110111110010001100110101101011101000110111100010101111000001101001110110000011001111111110010110101110101100010001110000001000011000000111100100010110101001010110010010100100001010000101010001100111100100100000100101000010101010110100100000011011111100010110111101001000101000100010111101110010010110100101111100110100000001000101110000100010011001101100000010110110000000001111001011011011100101101001001110010111010101010000110010110101100010111011110100110101111101000101111010011001101111010101111101010110111101011101000100011101000000011101110000111101000110110110100110001110101001101110101000010000110001010100010111100000111110101011110110110111101110101010011110001100110111001010000100111000010000010011111110110000001100111111010001111000000000000011000111010010000100100100010011111101000100100111011000101110101001101011010001100111101010001111001101000010001010100101100011111100010011010101110100101100000110111011110110100100110001101110111110001000111101110000110001010101100010101011100100111111011101010001011110000111100110011100111111000111101110000111101011000010110001111110111000110000000000001000011100000100110000000001011011010111011001010010010101000101001000101001100010011101000010111001011101011110100010011010000110011111011000010001100001000001000001101001111111101101111111000000010101010101010110001011111111110000111100011000110011100000111010001011000101010001011001011010001100000111010000100000011111111001101110010110100110111100011101010101111100111110001111010100101110011101000111110011111101010101110001101010100101110010110100101100000100010011100101110111001111101011011010100010111000100000110111011100111110111