GPT-5.6 Sol Ultra Solves Cycle Double Cover Conjecture via 64 Subagents | HACKOBAR_