K: Cmin
|(3G,A,=B,|:CDEF Gc(3d/c/=B/c|Ac (3FGA {F}Gc (3CDE|DG(3A/G/^F/G =B,G(3A/G/^F/G|G,=B,DF GF{D}E(3F/E/D/|
CDEF Gc(3d/c/=B/c|(3AFc (3FGA {F}Gc (3CDE|DG(3A/G/^F/G =B,G(3A/G/^F/G|1 (3G,=B,F E(3F/E/D/ C2 (3G,A,=B,:|2 (3G,=B,F E(3F/E/D/ C2 c(3d/c/=B/||
|:cAA(3B/A/G/ Acc(3d/c/=B/|(3cGG G(3A/G/^F/ GG(3A/G/F/E|DG(3A/G/^F/G =B,G(3A/G/^F/G|(3CEG (3ceg (3c'ge c(3d/c/=B/|
cAA(3B/A/G/ Acc(3d/c/=B/|(3cGG G(3A/G/^F/ GG(3A/G/F/E|DG(3A/G/^F/G =B,G(3A/G/^F/G|1 (3G,=B,F E(3F/E/D/ C2 c(3d/c/=B/:|2 (3G,=B,F E(3F/E/D/ C2 (3G,A,=B,||