Граф решения eq52: ∀ x y, (D1 (D2 u) x y) ^ 2 - D1 (D1 u) x y * D2 (D2 u) x y = f x * (u x y) ^ k

Граф читается слева направо. Задача — исходное уравнение. Идея — замысел решения, который агент сформулировал до попытки. Вариант — попытка решить по идее; удачный вариант заканчивается ★ итоговым решением. Вариант выполняется через реализацию: подзадачи, решения которых (фрагменты) собираются в итоговое решение — в итог входят не все фрагменты. Тупик — вариант, не давший решения: вся его ветка (реализация, подзадачи, фрагменты) в итог не вошла. Полнота — отдельная ветка: обоснование того, что других решений нет.