{"task": {"agent_timeout": 600, "task": "omnimath_290", "verifier_timeout": 60, "instruction": "# Mathematical Problem\n\n( Reid Barton ) An animal with $n$  cells is a connected figure consisting of $n$ equal-sized square cells. ${}^1$ The figure below shows an 8-cell animal.\n\nA dinosaur is an animal with at least 2007 cells.  It is said to be primitive if its cells cannot be partitioned into two or more dinosaurs.  Find with proof the maximum number of cells in a primitive dinosaur.\nAnimals are also called polyominoes .  They can be defined inductively .  Two cells are adjacent if they share a complete edge .  A single cell is an animal, and given an animal with cells, one with cells is obtained by adjoining a new cell by making it adjacent to one or more existing cells.\n\n## Instructions\n\nSolve the mathematical problem above and write your final answer to `/workspace/answer.txt`.\n\n**Important**: Write only your final answer to the file, not the full solution process.\n\n### Guidelines\n\n- Provide your final numerical answer or mathematical expression\n- Write the answer as plain text (no special formatting needed)\n- Be precise and clear in your answer\n- The answer should directly respond to what the problem asks for\n\n### Example\n\nIf the problem asks \"What is 2 + 2?\", your answer file should contain:\n\n```\n4\n```\n\nYour answer will be evaluated against the correct solution using an automated grading system.\n", "memory": "", "runnable": false, "difficulty": "hard", "language": "", "cpus": "", "instruction_truncated": false, "category": "math", "compose": false, "has_solution": true, "oracle": null, "docker_image": "", "taskset": "omnimath", "tags": ["omni-math"]}, "runs": []}