Abstraction and Reasoning Challenge 抽象与推理挑战