SAT
1001000100001111110111010101111110000010011000111000101110011001001010111011010110100011010010111000011111010001011010101001010110111100001001100000010110001110111101101101011111110100110001010100000110011100011000011011010001101110011100001110111001100001111011010101101100110000110010100001100000111001110100110111100110001001110001110100010001110111011100011011100010011011011000101011010001111011000000101001010001101001100100000000001101111111001100000110110111101011000111000110100111100010100011110001101111011000000001011010001001101111010100100100011110011111111001100110000011110001101000111111011000100111000001011111110100001001010111011101001110101111101000001010100010110001111011001111111111101100111101011010110011100011111001001111100001011010000000001101111001111111010101101001001100011011101010110110000100001011000101011110001010011001000101001011100011011010011111100110001000100000111111110110000011111010010110101010110001001010101101100111101111100100000101101111000011100011111100110001101110010011001001100010011110000111100101001101011001100011011001111101000100100010100100011010111000110100011000010010011011000100101010011111111100001101001000110011001010110000000001101011001000010110101111110010100011011100101010000101011010001110011001011110111101110010000111110110010001011111000100100101110100011010111010010000011011100011010111110111111001001110000101001000111101100000101000000011011111101101011011100010010000101111001111110001010011010010010001100001011011010011110101000000011001100001101100010010010011110010110111011100011010011001110010001110011110111110110110011010010101000101110001100110111010001010110110100110100111100000000001011000110111101010110010000000101000011100000000011110110010010011000111011011000110001001110111011100000111011010011011100101000011011000000111010111000110000100001110010001101110001010010100101000001101010101001110110000011101101011000010110101101101001101011101001000010000000110011101000010110010010000100110011110010010101101010010000101101010011111101000101000001111001110111100011101111011101011111010000110110010101011101100011110011000010001011000110000001100001101101111010010000100101101101111001100000101110100011101001110010110011001100110010100000111111110011110000101101111010001011100101010000010000101000000001110100010010001101111111100000110100001001001111010001111111010000000000101010101101011010111010010111101001111001010111100101111100011001111011110101100110101011001101110011101011101100010110110010101100010111110000101100111110100010010011000001011111100001111100000011111011111000010010000100000001110011100010011111111111111011101000111000001010110001000101111011010110111010101110010000111011100111010110100111110111100000110111010100110100111101011100111110011101111111101111001111100111111101011110100011111010100011111001001100110110001010001100001101100010001010000001000110000111101101101011011011001011011110001111000001100000100001111000100011101101011111100100001101111111011101010101111101101100011011110010111111000110001011000101011010101010010001100001101101100011001100001011000000111101011110010011011010110110011100001111000001100100101011010000000100000100000111101000110110111001011001001010101011100101110011110010010100010101010100011101010000001011011101010000001011111111111100000110001001010011101010110000100100100110011010010110111111101011010001000010011100111011101001000000110111110000110011101110010011000011010011100110000111110011111101000001110001001001010010001111011000011010110000100001000101101011010010001001101100000010001110011010010000110100100110010101101000010010001111101000001011001100101100100010110110110111011001001111110111110001010100011010110101010000001001000011000001010000111011011101000001111111011011000100101011011000111110011100100101111111010010010101100000011001100111011010111101010010111001111100000111001111111110100000111100110101101000111001111110101010011101010010011011100011001011010100010011010110000010110111011001010011001010001100101111110011110001101001111001011100011110010010100110001101000011000010011010000011111001011011111010001100110110101010011110011111111001010100110001000110101110011111000110100100110101101011010101001010100101110100000001110100011010001111000010000101010100101001111001101101101011100110100111000100010000110010100111111100000010001001011110101110001111001001111011000111101010110001001110001100000011111010001010010101111000110110111010101000001101010001010001010100010110101011110010111100001101100110100001110010001011000110100111101111000100110010010001011010100001100110101010011010111010001001011001001000001000011110010110011110000000000000001000001110110101111111110110101001001110111101110001011000010110011100111011000000001101110001010100000101101111010100111110101111011010100011110110000111101001000101111011100001001011011111011111000001100100100011110100011000101001111111100101100110111111110010000101111111001010010001110101000010101010110110101101110110110110100000111101101011100001010101111111101101011101011011000010001111111001101111010110110101001110001001101010111001010010110000010011101110101101001000111111100001110001001110010111100000010010001000100011000111010010011001001000010010100111010010001001111011010110100111010101101000011100101110100111000010001101101001011101101111001100100000011101000100010010110000001001000110011011110111101101001100010000111010100101110010111101100101110111100100111110101011001000111101101111100011110011010100111110000111100101110100001011011000000011101101111101101110011111111111011101110010101010001011110100011101111110000100110011100011010110000111110000011000111010110101111100100100100100111011100111010100110100000010000111000111010001010111111010010001011000101001101110011110111001100100110110001100101000010110110100011001111001000000011001010010011010101001011010011101001010011010001111010011011101011110100001100011110011110000111101101101111110011011100111100110010101010100101000110001100111110001100111101000001100010001010010100001111001001011000000100111100100011101000001101000010001010000000110100101011010001000001000000000010100001101101111110010011101100110110011101010001010010100010000011100011100001100001000001010011001001101001111111011010001000101111001101011100010011011110110001000110110000001001000110111011111110001001001010110100101000110011011111011010001000010100011000101000100001100010011011011011001001010010001010011100101000110010011001001100100110100101110001000000100000110100100111000000110010001101110001011010110001010111101011101001101010001001111100010101110010101000000011100000101101111110101011010111011011000100111000010101101110011111111111100000000000010100101111000111101101000010011001011000101100111001000001000110011110100000111010110111011000000011010010101000000111001101010011110110100011111100000101100101010111100111000111011011101111011000010011111110010011111100011110111010100101100101000111110111101000101111001000100001110101010100010101000100110110000110000010111101101101110110010000010011001101010100011100100100111111101011100110101110100111010101011011111000000011001001100110100001110011101100100000100110000010101011101011001011101101101100111110000101000111001011111001101010011001100111011010101110000101000100010011110010110001001001101111111100011101110110100000000111111001010100011001011101101011100000101001000011110000100100010001011011100001110111001011010110000101111111000001100001111000000010000111110100110100011111001001101101010000010000111001001111000010111101001011000101001100100101111011111010010001111101110000110011110111110000111000001000011001110101001001110011011011000100000010000100011001100000100000000010110100000100000101101101100011000010010010010101011101101100000000001010010100000100010100000000001000001010110100101001001101111011010001011001110010000110101010010010111001010010010011001000000001001101000101101100010110011001101000100111101010011010011111100010000100010110111010011010101100110000001010011010000001011111100000000010011010000000100001011010100101101000110110011011110000010100000101010011110010101101110101101001101100011110100000011011100000010100110001010010011000111101101111000000101101100100100010010101001101101111011000110101100111011100000111010110100110100111010001001010111010001000011000110010111010000101111011100001000001110011011000111100010111011001110111010100111001110101001101010001100110110110001101001101000010100000011000111001001101100111001001011111000110011101111110011111100010110001000101010001000110100101101001100000101101111100111111101001100100110001110010100001111110000000011101011000010010101110101101110000100000001110100110100010101001001001010101111001001001001000100110011011101101001100010010000011001000100011011100111110110010110010010111010111100001010111110110101010110001101101011000111101111010111111001110111011000010111011000111011010001100000001010110010000111010010100101101101110100000001100011001101011101001111111111110111111001001101101011100000011000111000000110001000111101100000010010010001110010000110010010101100100100011010100110101100110000010001110010100111101010101100011010101010001010111110101001000000000101101001110001010100100100100010110110000000110100110111001001100111010010001000011110011111001000001000001011010101000100000010010010011110011110010100101100011010111011010101110000011101100011001000101110111111010110001110010110100101110001101110100011011010001011000000011100100101111010000100000011110001011101010110100010001000111011100010110011001001001111101000110111011010110111011110001111001000001100111100000011001110111001001011000011001001101100110010110011101000100010101011110111110110010110100001000101010000111000001010010011011011111001011111110111110001101000111011011100000011001001011111110010011100110111111000101011100101101111110100011111101100010011101011000010010011100110110011111011111101000001100111001000111001110110011011001000101001111011110001000101100000100000111000111011101010100111101101111