Order: P < G < F < E < D |end-of-knowns| << C < B < A
Singletons
No categories with 0 categories.
Category with 1 unknowns
  {A}
Category with 2 unknowns
  {C,A}

---

Singletons B - D

---

Category with unknowns A

A ** D ** E - P

---

---

Category with unknowns C,A

G ** A ^2 ** C - F

---

---