Explaining Attention with Program Synthesis — ThinkLLM