##Indexovanie
V našej práci je iné indexovanie ako Solvatore a Jupyter-notebook
* V diplomovej práci sú uvádzané premenné x_1, x_2, ... -- indexované od 1 a MSB
* V experimentálnom prostredí v jupyter-notebook sú premenné indexované od 0, nazývame ich c_0, c_1, ... a sú MSB
* Solvatore má opačné indexovania ako jupyter aj diplomova praca

Teda nech máme pomocou jupyter-notebooku nájdený rozlišovač
[{'blue1': set([c2]), 'blue0': (c0,), 'active': (c1, c3), 'balanced': [1]}]
Toto je ekvivalentné rozlišovaču nájdenému Solvatore (pomocou blue_optimal)
[{'blue1': [1], 'blue0': [3], 'active': [0, 2], 'balanced': [2]}]
 indexy balansovaných bitov aj modrých a aktívnych sú naopak. V práci by sme takýto rozlišovač uviedli takto
 I = (A, C_0, C_1, B) = ({2,4}, {1}, {3}, {2})
 -- rovnako ako jupyter, iba +1

Pôvodný Solvatore používa zaznačenie rozlišovačov ako [1,2, [3]], kde bity 1 a 2 sú konštantné a 3 je balansovaný.
Používame toto značenie aj pre blue1, kde ale by 1 a 2 bit boli modré s hodnotou 0
Pri 4 bitovej šifre, [0,1, [3]] znamená:
pre jupyter notebook  [{'blue1': (), 'blue0': (), 'active': (c2, c3), 'balanced': [0]}]
pre Solvatore blue_optimal [{'blue1': [], 'blue0': [], 'active': [0, 1], 'balanced': [3]}]

-----------------------------------------------------------------------------------------------------------------------
Rozlisovace pre RES s hodnotou vylucne 0:
[((1, 2, 8), [{'blue1': (), 'blue0': (c0, c1), 'active': (c2, c3), 'balanced': [0]}]),
((1, 10, 8), [{'blue1': (), 'blue0': (c0, c1), 'active': (c2, c3), 'balanced': [0]}]),
((2, 1, 4), [{'blue1': (), 'blue0': (c0, c1), 'active': (c2, c3), 'balanced': [3]}]),
((2, 1, 5), [{'blue1': (), 'blue0': (c0, c1), 'active': (c2, c3), 'balanced': [1]}]),
((2, 2, 6), [{'blue1': (), 'blue0': (c0, c3), 'active': (c1, c2), 'balanced': [2]},
            {'blue1': (), 'blue0': (c0, c1, c3), 'active': (c2,), 'balanced': [2]}]),
((2, 2, 7), [{'blue1': (), 'blue0': (c0, c3), 'active': (c1, c2), 'balanced': [0]},
           {'blue1': (), 'blue0': (c0, c1, c3), 'active': (c2,), 'balanced': [0]}]),
((2, 9, 4), [{'blue1': (), 'blue0': (c0, c1), 'active': (c2, c3), 'balanced': [3]}]),
((2, 9, 5), [{'blue1': (), 'blue0': (c0, c1), 'active': (c2, c3), 'balanced': [1]}]),
((2, 10, 6), [{'blue1': (), 'blue0': (c0, c3), 'active': (c1, c2), 'balanced': [2]},
           {'blue1': (), 'blue0': (c0, c1, c3), 'active': (c2,), 'balanced': [2]}]),
((2, 10, 7), [{'blue1': (), 'blue0': (c0, c3), 'active': (c1, c2), 'balanced': [0]},
           {'blue1': (), 'blue0': (c0, c1, c3), 'active': (c2,), 'balanced': [0]}]),
((3, 6, 8), [{'blue1': (), 'blue0': (c2, c3), 'active': (c1, c0), 'balanced': [3]},
           {'blue1': (), 'blue0': (c0, c2, c3), 'active': (c1,), 'balanced': [3]}]),
((3, 6, 9), [{'blue1': (), 'blue0': (c2, c3), 'active': (c1, c0), 'balanced': [0, 1]},
           {'blue1': (), 'blue0': (c0, c2, c3), 'active': (c1,), 'balanced': [0]}]),
((3, 14, 8), [{'blue1': (), 'blue0': (c2, c3), 'active': (c1, c0), 'balanced': [3]},
           {'blue1': (), 'blue0': (c0, c2, c3), 'active': (c1,), 'balanced': [3]}]),
((3, 14, 9), [{'blue1': (), 'blue0': (c2, c3), 'active': (c1, c0), 'balanced': [0, 1]},
           {'blue1': (), 'blue0': (c0, c2, c3), 'active': (c1,), 'balanced': [0]}])]
-----------------------------------------------------------------------------------------------------------------------
Rozlisovace pre RES s hodnotou vylucne 1:
[((1, 6, 8), [{'blue1': (c0, c1), 'blue0': (), 'active': (c2, c3), 'balanced': [0]}]),
((1, 14, 8), [{'blue1': (c0, c1), 'blue0': (), 'active': (c2, c3), 'balanced': [0]}]),
((2, 6, 6), [{'blue1': (c0, c3), 'blue0': (), 'active': (c1, c2), 'balanced': [2]},
            {'blue1': (c0, c1, c3), 'blue0': (), 'active': (c2,), 'balanced': [2]}]),
((2, 6, 7), [{'blue1': (c0, c3), 'blue0': (), 'active': (c1, c2), 'balanced': [0]},
            {'blue1': (c0, c1, c3), 'blue0': (), 'active': (c2,), 'balanced': [0]}]),
((2, 7, 4), [{'blue1': (c0, c1), 'blue0': (), 'active': (c2, c3), 'balanced': [3]}]),
((2, 7, 5), [{'blue1': (c0, c1), 'blue0': (), 'active': (c2, c3), 'balanced': [1]}]),
((2, 14, 6), [{'blue1': (c0, c3), 'blue0': (), 'active': (c1, c2), 'balanced': [2]},
            {'blue1': (c0, c1, c3), 'blue0': (), 'active': (c2,), 'balanced': [2]}]),
((2, 14, 7), [{'blue1': (c0, c3), 'blue0': (), 'active': (c1, c2), 'balanced': [0]},
            {'blue1': (c0, c1, c3), 'blue0': (), 'active': (c2,), 'balanced': [0]}]),
((2, 15, 4), [{'blue1': (c0, c1), 'blue0': (), 'active': (c2, c3), 'balanced': [3]}]),
((2, 15, 5), [{'blue1': (c0, c1), 'blue0': (), 'active': (c2, c3), 'balanced': [1]}]),
((3, 2, 8), [{'blue1': (c2, c3), 'blue0': (), 'active': (c1, c0), 'balanced': [3]},
            {'blue1': (c0, c2, c3), 'blue0': (), 'active': (c1,), 'balanced': [3]}]),
((3, 2, 9), [{'blue1': (c2, c3), 'blue0': (), 'active': (c1, c0), 'balanced': [0, 1]},
            {'blue1': (c0, c2, c3), 'blue0': (), 'active': (c1,), 'balanced': [0]}]),
((3, 10, 8), [{'blue1': (c2, c3), 'blue0': (), 'active': (c1, c0), 'balanced': [3]},
            {'blue1': (c0, c2, c3), 'blue0': (), 'active': (c1,), 'balanced': [3]}]),
((3, 10, 9), [{'blue1': (c2, c3), 'blue0': (), 'active': (c1, c0), 'balanced': [0, 1]},
            {'blue1': (c0, c2, c3), 'blue0': (), 'active': (c1,), 'balanced': [0]}])]
-----------------------------------------------------------------------------------------------------------------------
Rozlisovace RES iba s konstantnymi hodnotami:
[((1, 1, 4), [{'blue1': (), 'blue0': (), 'active': (c0, c1, c2), 'balanced': [0, 1, 2]}]),
((1, 2, 7), [{'blue1': (), 'blue0': (), 'active': (c0, c1, c2), 'balanced': [0, 1]}]),
((1, 3, 4), [{'blue1': (), 'blue0': (), 'active': (c0, c1, c2), 'balanced': [0, 1, 2]}]),
((1, 5, 4), [{'blue1': (), 'blue0': (), 'active': (c0, c1, c2), 'balanced': [0, 1, 2]}]),
((1, 6, 7), [{'blue1': (), 'blue0': (), 'active': (c0, c1, c2), 'balanced': [0, 1]}]),
((1, 7, 4), [{'blue1': (), 'blue0': (), 'active': (c0, c1, c2), 'balanced': [0, 1, 2]}]),
((1, 9, 4), [{'blue1': (), 'blue0': (), 'active': (c0, c1, c2), 'balanced': [0, 1, 2]}]),
((1, 10, 7), [{'blue1': (), 'blue0': (), 'active': (c0, c1, c2), 'balanced': [0, 1]}]),
((1, 11, 4), [{'blue1': (), 'blue0': (), 'active': (c0, c1, c2), 'balanced': [0, 1, 2]}]),
((1, 13, 4), [{'blue1': (), 'blue0': (), 'active': (c0, c1, c2), 'balanced': [0, 1, 2]}]),
((1, 14, 7), [{'blue1': (), 'blue0': (), 'active': (c0, c1, c2), 'balanced': [0, 1]}]),
((1, 15, 4), [{'blue1': (), 'blue0': (), 'active': (c0, c1, c2), 'balanced': [0, 1, 2]}]),
((2, 1, 3), [{'blue1': (), 'blue0': (), 'active': (c0, c1, c2), 'balanced': [0, 1]},
            {'blue1': (), 'blue0': (), 'active': (c0, c1, c3), 'balanced': [1]}]),
((2, 2, 5), [{'blue1': (), 'blue0': (), 'active': (c0, c1, c2), 'balanced': [1]}]),
((2, 3, 3), [{'blue1': (), 'blue0': (), 'active': (c0, c1, c2), 'balanced': [0, 1]},
            {'blue1': (), 'blue0': (), 'active': (c0, c1, c3), 'balanced': [1]}]),
((2, 5, 3), [{'blue1': (), 'blue0': (), 'active': (c0, c1, c2), 'balanced': [0, 1]},
            {'blue1': (), 'blue0': (), 'active': (c0, c1, c3), 'balanced': [1]}]),
((2, 6, 5), [{'blue1': (), 'blue0': (), 'active': (c0, c1, c2), 'balanced': [1]}]),
((2, 7, 3), [{'blue1': (), 'blue0': (), 'active': (c0, c1, c2), 'balanced': [0, 1]},
            {'blue1': (), 'blue0': (), 'active': (c0, c1, c3), 'balanced': [1]}]),
((2, 9, 3), [{'blue1': (), 'blue0': (), 'active': (c0, c1, c2), 'balanced': [0, 1]},
            {'blue1': (), 'blue0': (), 'active': (c0, c1, c3), 'balanced': [1]}]),
((2, 10, 5), [{'blue1': (), 'blue0': (), 'active': (c0, c1, c2), 'balanced': [1]}]),
((2, 11, 3), [{'blue1': (), 'blue0': (), 'active': (c0, c1, c2), 'balanced': [0, 1]},
            {'blue1': (), 'blue0': (), 'active': (c0, c1, c3), 'balanced': [1]}]),
((2, 13, 3), [{'blue1': (), 'blue0': (), 'active': (c0, c1, c2), 'balanced': [0, 1]},
            {'blue1': (), 'blue0': (), 'active': (c0, c1, c3), 'balanced': [1]}]),
((2, 14, 5), [{'blue1': (), 'blue0': (), 'active': (c0, c1, c2), 'balanced': [1]}]),
((2, 15, 3), [{'blue1': (), 'blue0': (), 'active': (c0, c1, c2), 'balanced': [0, 1]},
            {'blue1': (), 'blue0': (), 'active': (c0, c1, c3), 'balanced': [1]}]),
((3, 1, 4), [{'blue1': (), 'blue0': (), 'active': (c0, c1), 'balanced': [0]},
            {'blue1': (), 'blue0': (), 'active': (c0, c2), 'balanced': [0]},
            {'blue1': (), 'blue0': (), 'active': (c0, c3), 'balanced': [0]},
            {'blue1': (), 'blue0': (), 'active': (c0, c1, c2), 'balanced': [0]},
            {'blue1': (), 'blue0': (), 'active': (c0, c1, c3), 'balanced': [0]},
            {'blue1': (), 'blue0': (), 'active': (c0, c2, c3), 'balanced': [0]}]),
((3, 2, 7), [{'blue1': (), 'blue0': (), 'active': (c0, c1, c3), 'balanced': [0]},
            {'blue1': (), 'blue0': (), 'active': (c0, c2, c3), 'balanced': [0]}]),
((3, 3, 4), [{'blue1': (), 'blue0': (), 'active': (c0, c1), 'balanced': [0]},
            {'blue1': (), 'blue0': (), 'active': (c0, c2), 'balanced': [0]},
            {'blue1': (), 'blue0': (), 'active': (c0, c3), 'balanced': [0]},
            {'blue1': (), 'blue0': (), 'active': (c0, c1, c2), 'balanced': [0]},
            {'blue1': (), 'blue0': (), 'active': (c0, c1, c3), 'balanced': [0]},
            {'blue1': (), 'blue0': (), 'active': (c0, c2, c3), 'balanced': [0]}]),
((3, 5, 4), [{'blue1': (), 'blue0': (), 'active': (c0, c1), 'balanced': [0]},
            {'blue1': (), 'blue0': (), 'active': (c0, c2), 'balanced': [0]},
            {'blue1': (), 'blue0': (), 'active': (c0, c3), 'balanced': [0]},
            {'blue1': (), 'blue0': (), 'active': (c0, c1, c2), 'balanced': [0]},
            {'blue1': (), 'blue0': (), 'active': (c0, c1, c3), 'balanced': [0]},
            {'blue1': (), 'blue0': (), 'active': (c0, c2, c3), 'balanced': [0]}]),
((3, 6, 7), [{'blue1': (), 'blue0': (), 'active': (c0, c1, c3), 'balanced': [0]},
            {'blue1': (), 'blue0': (), 'active': (c0, c2, c3), 'balanced': [0]}]),
((3, 7, 4), [{'blue1': (), 'blue0': (), 'active': (c0, c1), 'balanced': [0]},
            {'blue1': (), 'blue0': (), 'active': (c0, c2), 'balanced': [0]},
            {'blue1': (), 'blue0': (), 'active': (c0, c3), 'balanced': [0]},
            {'blue1': (), 'blue0': (), 'active': (c0, c1, c2), 'balanced': [0]},
            {'blue1': (), 'blue0': (), 'active': (c0, c1, c3), 'balanced': [0]},
            {'blue1': (), 'blue0': (), 'active': (c0, c2, c3), 'balanced': [0]}]),
((3, 9, 4), [{'blue1': (), 'blue0': (), 'active': (c0, c1), 'balanced': [0]},
            {'blue1': (), 'blue0': (), 'active': (c0, c2), 'balanced': [0]},
            {'blue1': (), 'blue0': (), 'active': (c0, c3), 'balanced': [0]},
            {'blue1': (), 'blue0': (), 'active': (c0, c1, c2), 'balanced': [0]},
            {'blue1': (), 'blue0': (), 'active': (c0, c1, c3), 'balanced': [0]},
            {'blue1': (), 'blue0': (), 'active': (c0, c2, c3), 'balanced': [0]}]),
((3, 10, 7), [{'blue1': (), 'blue0': (), 'active': (c0, c1, c3), 'balanced': [0]},
            {'blue1': (), 'blue0': (), 'active': (c0, c2, c3), 'balanced': [0]}]),
((3, 11, 4), [{'blue1': (), 'blue0': (), 'active': (c0, c1), 'balanced': [0]},
            {'blue1': (), 'blue0': (), 'active': (c0, c2), 'balanced': [0]},
            {'blue1': (), 'blue0': (), 'active': (c0, c3), 'balanced': [0]},
            {'blue1': (), 'blue0': (), 'active': (c0, c1, c2), 'balanced': [0]},
            {'blue1': (), 'blue0': (), 'active': (c0, c1, c3), 'balanced': [0]},
            {'blue1': (), 'blue0': (), 'active': (c0, c2, c3), 'balanced': [0]}]),
((3, 13, 4), [{'blue1': (), 'blue0': (), 'active': (c0, c1), 'balanced': [0]},
            {'blue1': (), 'blue0': (), 'active': (c0, c2), 'balanced': [0]},
            {'blue1': (), 'blue0': (), 'active': (c0, c3), 'balanced': [0]},
            {'blue1': (), 'blue0': (), 'active': (c0, c1, c2), 'balanced': [0]},
            {'blue1': (), 'blue0': (), 'active': (c0, c1, c3), 'balanced': [0]},
            {'blue1': (), 'blue0': (), 'active': (c0, c2, c3), 'balanced': [0]}]),
((3, 14, 7), [{'blue1': (), 'blue0': (), 'active': (c0, c1, c3), 'balanced': [0]},
            {'blue1': (), 'blue0': (), 'active': (c0, c2, c3), 'balanced': [0]}]),
((3, 15, 4), [{'blue1': (), 'blue0': (), 'active': (c0, c1), 'balanced': [0]},
            {'blue1': (), 'blue0': (), 'active': (c0, c2), 'balanced': [0]},
            {'blue1': (), 'blue0': (), 'active': (c0, c3), 'balanced': [0]},
            {'blue1': (), 'blue0': (), 'active': (c0, c1, c2), 'balanced': [0]},
            {'blue1': (), 'blue0': (), 'active': (c0, c1, c3), 'balanced': [0]},
            {'blue1': (), 'blue0': (), 'active': (c0, c2, c3), 'balanced': [0]}])]
-----------------------------------------------------------------------------------------------------------------------
Rozlisovace so zmiesanymi hodnotami:
[(1, 2, 8, [{'blue1': (c1,), 'blue0': (c0,), 'active': (c2, c3), 'balanced': [1]},
           {'blue1': (), 'blue0': (c0, c1), 'active': (c2, c3), 'balanced': [0]}]),
(1, 3, 5, [{'blue1': (c1,), 'blue0': (c0,), 'active': (c2, c3), 'balanced': [0]}]),
(1, 3, 6, [{'blue1': (c2,), 'blue0': (c0,), 'active': (c1, c3), 'balanced': [1]}]),
(1, 5, 5, [{'blue1': (c0,), 'blue0': (c1,), 'active': (c2, c3), 'balanced': [0]}]),
(1, 5, 6, [{'blue1': (c0,), 'blue0': (c2,), 'active': (c1, c3), 'balanced': [1]}]),
(1, 6, 8, [{'blue1': (c1, c0), 'blue0': (), 'active': (c2, c3), 'balanced': [0]},
           {'blue1': (c0,), 'blue0': (c1,), 'active': (c2, c3), 'balanced': [1]}]),
(1, 10, 8, [{'blue1': (c1,), 'blue0': (c0,), 'active': (c2, c3), 'balanced': [1]},
           {'blue1': (), 'blue0': (c0, c1), 'active': (c2, c3), 'balanced': [0]}]),
(1, 11, 5, [{'blue1': (c1,), 'blue0': (c0,), 'active': (c2, c3), 'balanced': [0]}]),
(1, 11, 6, [{'blue1': (c2,), 'blue0': (c0,), 'active': (c1, c3), 'balanced': [1]}]),
(1, 13, 5, [{'blue1': (c0,), 'blue0': (c1,), 'active': (c2, c3), 'balanced': [0]}]),
(1, 13, 6, [{'blue1': (c0,), 'blue0': (c2,), 'active': (c1, c3), 'balanced': [1]}]),
(1, 14, 8, [{'blue1': (c1, c0), 'blue0': (), 'active': (c2, c3), 'balanced': [0]},
           {'blue1': (c0,), 'blue0': (c1,), 'active': (c2, c3), 'balanced': [1]}]),
(2, 1, 4, [{'blue1': (c0,), 'blue0': (c1,), 'active': (c2, c3), 'balanced': [1]},
           {'blue1': (), 'blue0': (c0, c1), 'active': (c2, c3), 'balanced': [3]}]),
(2, 1, 5, [{'blue1': (), 'blue0': (c0, c1), 'active': (c2, c3), 'balanced': [1]},
           {'blue1': (c0, c3), 'blue0': (), 'active': (c1, c2), 'balanced': [0]},
           {'blue1': (c1,), 'blue0': (c3,), 'active': (c2, c0), 'balanced': [2]}]),
(2, 1, 6, [{'blue1': (c0, c3), 'blue0': (), 'active': (c1, c2), 'balanced': [2]},
           {'blue1': (c1, c3), 'blue0': (), 'active': (c2, c0), 'balanced': [0, 2]}]),
(2, 1, 7, [{'blue1': (c0,), 'blue0': (c3,), 'active': (c1, c2), 'balanced': [0]},
           {'blue1': (c1,), 'blue0': (c3,), 'active': (c2, c0), 'balanced': [0, 2]}]),
(2, 1, 8, [{'blue1': (c0,), 'blue0': (c1,), 'active': (c2, c3), 'balanced': [3]},
           {'blue1': (c1, c3), 'blue0': (), 'active': (c2, c0), 'balanced': [0]},
           {'blue1': (c3,), 'blue0': (c1,), 'active': (c2, c0), 'balanced': [2]}]),
(2, 1, 9, [{'blue1': (c1,), 'blue0': (), 'active': (c2, c0, c3), 'balanced': [3]},
           {'blue1': (), 'blue0': (c1,), 'active': (c2, c0, c3), 'balanced': [3]},
           {'blue1': (c0,), 'blue0': (c1,), 'active': (c2, c3), 'balanced': [1]},
           {'blue1': (c1, c3), 'blue0': (), 'active': (c2, c0), 'balanced': [3]},
           {'blue1': (c1,), 'blue0': (c3,), 'active': (c2, c0), 'balanced': [3]},
           {'blue1': (), 'blue0': (c1, c3), 'active': (c2, c0), 'balanced': [0]}]),
(2, 1, 10, [{'blue1': (c1,), 'blue0': (), 'active': (c2, c0, c3), 'balanced': [1]},
           {'blue1': (), 'blue0': (c1,), 'active': (c2, c0, c3), 'balanced': [1]},
           {'blue1': (c3,), 'blue0': (), 'active': (c1, c2, c0), 'balanced': [3]},
           {'blue1': (), 'blue0': (c3,), 'active': (c1, c2, c0), 'balanced': [3]},
           {'blue1': (c0,), 'blue0': (c1,), 'active': (c2, c3), 'balanced': [3]},
           {'blue1': (c1, c3), 'blue0': (), 'active': (c2, c0), 'balanced': [1, 2]},
           {'blue1': (c1,), 'blue0': (c3,), 'active': (c2, c0), 'balanced': [1]}]),
(2, 1, 11, [{'blue1': (c3,), 'blue0': (), 'active': (c1, c2, c0), 'balanced': [1]},
           {'blue1': (), 'blue0': (c3,), 'active': (c1, c2, c0), 'balanced': [1]},
           {'blue1': (c0,), 'blue0': (c1,), 'active': (c2, c3), 'balanced': [1]},
           {'blue1': (c0, c3), 'blue0': (), 'active': (c1, c2), 'balanced': [0]},
           {'blue1': (c0,), 'blue0': (c3,), 'active': (c1, c2), 'balanced': [3]},
           {'blue1': (c3,), 'blue0': (c1,), 'active': (c2, c0), 'balanced': [2]},
           {'blue1': (c1,), 'blue0': (c3,), 'active': (c2, c0), 'balanced': [0, 2]},
           {'blue1': (c2, c0, c3), 'blue0': (), 'active': (c1,), 'balanced': [0]},
           {'blue1': (c0, c3), 'blue0': (c2,), 'active': (c1,), 'balanced': [0]}]),
(2, 1, 12, [{'blue1': (c0,), 'blue0': (c3,), 'active': (c1, c2), 'balanced': [1]},
           {'blue1': (c1, c3), 'blue0': (), 'active': (c2, c0), 'balanced': [0]},
           {'blue1': (), 'blue0': (c1, c3), 'active': (c2, c0), 'balanced': [0]}]),
(2, 1, 13, [{'blue1': (c0, c3), 'blue0': (), 'active': (c1, c2), 'balanced': [0]}]),
(2, 2, 6, [{'blue1': (), 'blue0': (c0, c3), 'active': (c1, c2), 'balanced': [2]},
           {'blue1': (c1,), 'blue0': (c0, c3), 'active': (c2,), 'balanced': [2]},
           {'blue1': (), 'blue0': (c0, c1, c3), 'active': (c2,), 'balanced': [2]}]),
(2, 2, 7, [{'blue1': (), 'blue0': (c0, c3), 'active': (c1, c2), 'balanced': [0]},
           {'blue1': (c1,), 'blue0': (c0, c3), 'active': (c2,), 'balanced': [0]},
           {'blue1': (), 'blue0': (c0, c1, c3), 'active': (c2,), 'balanced': [0]}]),
(2, 3, 4, [{'blue1': (c1,), 'blue0': (c0,), 'active': (c2, c3), 'balanced': [1]},
           {'blue1': (c3,), 'blue0': (c0,), 'active': (c1, c2), 'balanced': [2]}]),
(2, 3, 5, [{'blue1': (c1, c0), 'blue0': (), 'active': (c2, c3), 'balanced': [3]}]),
(2, 3, 6, [{'blue1': (c1, c0), 'blue0': (), 'active': (c2, c3), 'balanced': [1]}]),
(2, 5, 4, [{'blue1': (c0,), 'blue0': (c1,), 'active': (c2, c3), 'balanced': [1]},
           {'blue1': (c0,), 'blue0': (c3,), 'active': (c1, c2), 'balanced': [2]}]),
(2, 5, 5, [{'blue1': (), 'blue0': (c0, c1), 'active': (c2, c3), 'balanced': [3]}]),
(2, 5, 6, [{'blue1': (), 'blue0': (c0, c1), 'active': (c2, c3), 'balanced': [1]}]),
(2, 6, 6, [{'blue1': (c0, c3), 'blue0': (), 'active': (c1, c2), 'balanced': [2]},
           {'blue1': (c1, c0, c3), 'blue0': (), 'active': (c2,), 'balanced': [2]},
           {'blue1': (c0, c3), 'blue0': (c1,), 'active': (c2,), 'balanced': [2]}]),
(2, 6, 7, [{'blue1': (c0, c3), 'blue0': (), 'active': (c1, c2), 'balanced': [0]},
           {'blue1': (c1, c0, c3), 'blue0': (), 'active': (c2,), 'balanced': [0]},
           {'blue1': (c0, c3), 'blue0': (c1,), 'active': (c2,), 'balanced': [0]}]),
(2, 7, 4, [{'blue1': (c1, c0), 'blue0': (), 'active': (c2, c3), 'balanced': [3]},
           {'blue1': (c1,), 'blue0': (c0,), 'active': (c2, c3), 'balanced': [1]}]),
(2, 7, 5, [{'blue1': (c1, c0), 'blue0': (), 'active': (c2, c3), 'balanced': [1]},
           {'blue1': (), 'blue0': (c0, c3), 'active': (c1, c2), 'balanced': [0]},
           {'blue1': (c3,), 'blue0': (c1,), 'active': (c2, c0), 'balanced': [2]}]),
(2, 7, 6, [{'blue1': (), 'blue0': (c0, c3), 'active': (c1, c2), 'balanced': [2]},
           {'blue1': (), 'blue0': (c1, c3), 'active': (c2, c0), 'balanced': [0, 2]}]),
(2, 7, 7, [{'blue1': (c3,), 'blue0': (c0,), 'active': (c1, c2), 'balanced': [0]},
           {'blue1': (c3,), 'blue0': (c1,), 'active': (c2, c0), 'balanced': [0, 2]}]),
(2, 7, 8, [{'blue1': (c1,), 'blue0': (c0,), 'active': (c2, c3), 'balanced': [3]},
           {'blue1': (c1,), 'blue0': (c3,), 'active': (c2, c0), 'balanced': [2]},
           {'blue1': (), 'blue0': (c1, c3), 'active': (c2, c0), 'balanced': [0]}]),
(2, 7, 9, [{'blue1': (c1,), 'blue0': (), 'active': (c2, c0, c3), 'balanced': [3]},
           {'blue1': (), 'blue0': (c1,), 'active': (c2, c0, c3), 'balanced': [3]},
           {'blue1': (c1,), 'blue0': (c0,), 'active': (c2, c3), 'balanced': [1]},
           {'blue1': (c1, c3), 'blue0': (), 'active': (c2, c0), 'balanced': [0]},
           {'blue1': (c3,), 'blue0': (c1,), 'active': (c2, c0), 'balanced': [3]},
           {'blue1': (), 'blue0': (c1, c3), 'active': (c2, c0), 'balanced': [3]}]),
(2, 7, 10, [{'blue1': (c1,), 'blue0': (), 'active': (c2, c0, c3), 'balanced': [1]},
           {'blue1': (), 'blue0': (c1,), 'active': (c2, c0, c3), 'balanced': [1]},
           {'blue1': (c3,), 'blue0': (), 'active': (c1, c2, c0), 'balanced': [3]},
           {'blue1': (), 'blue0': (c3,), 'active': (c1, c2, c0), 'balanced': [3]},
           {'blue1': (c1,), 'blue0': (c0,), 'active': (c2, c3), 'balanced': [3]},
           {'blue1': (c3,), 'blue0': (c1,), 'active': (c2, c0), 'balanced': [1]},
           {'blue1': (), 'blue0': (c1, c3), 'active': (c2, c0), 'balanced': [1, 2]}]),
(2, 7, 11, [{'blue1': (c3,), 'blue0': (), 'active': (c1, c2, c0), 'balanced': [1]},
           {'blue1': (), 'blue0': (c3,), 'active': (c1, c2, c0), 'balanced': [1]},
           {'blue1': (c1,), 'blue0': (c0,), 'active': (c2, c3), 'balanced': [1]},
           {'blue1': (c3,), 'blue0': (c0,), 'active': (c1, c2), 'balanced': [3]},
           {'blue1': (), 'blue0': (c0, c3), 'active': (c1, c2), 'balanced': [0]},
           {'blue1': (c3,), 'blue0': (c1,), 'active': (c2, c0), 'balanced': [0, 2]},
           {'blue1': (c1,), 'blue0': (c3,), 'active': (c2, c0), 'balanced': [2]},
           {'blue1': (c2,), 'blue0': (c0, c3), 'active': (c1,), 'balanced': [0]},
           {'blue1': (), 'blue0': (c0, c2, c3), 'active': (c1,), 'balanced': [0]}]),
(2, 7, 12, [{'blue1': (c3,), 'blue0': (c0,), 'active': (c1, c2), 'balanced': [1]},
           {'blue1': (c1, c3), 'blue0': (), 'active': (c2, c0), 'balanced': [0]},
           {'blue1': (), 'blue0': (c1, c3), 'active': (c2, c0), 'balanced': [0]}]),
(2, 7, 13, [{'blue1': (), 'blue0': (c0, c3), 'active': (c1, c2), 'balanced': [0]}]),
(2, 9, 4, [{'blue1': (c0,), 'blue0': (c1,), 'active': (c2, c3), 'balanced': [1]},
           {'blue1': (), 'blue0': (c0, c1), 'active': (c2, c3), 'balanced': [3]}]),
(2, 9, 5, [{'blue1': (), 'blue0': (c0, c1), 'active': (c2, c3), 'balanced': [1]},
           {'blue1': (c0, c3), 'blue0': (), 'active': (c1, c2), 'balanced': [0]},
           {'blue1': (c1,), 'blue0': (c3,), 'active': (c2, c0), 'balanced': [2]}]),
(2, 9, 6, [{'blue1': (c0, c3), 'blue0': (), 'active': (c1, c2), 'balanced': [2]},
           {'blue1': (c1, c3), 'blue0': (), 'active': (c2, c0), 'balanced': [0, 2]}]),
(2, 9, 7, [{'blue1': (c0,), 'blue0': (c3,), 'active': (c1, c2), 'balanced': [0]},
           {'blue1': (c1,), 'blue0': (c3,), 'active': (c2, c0), 'balanced': [0, 2]}]),
(2, 9, 8, [{'blue1': (c0,), 'blue0': (c1,), 'active': (c2, c3), 'balanced': [3]},
           {'blue1': (c1, c3), 'blue0': (), 'active': (c2, c0), 'balanced': [0]},
           {'blue1': (c3,), 'blue0': (c1,), 'active': (c2, c0), 'balanced': [2]}]),
(2, 9, 9, [{'blue1': (c1,), 'blue0': (), 'active': (c2, c0, c3), 'balanced': [3]},
           {'blue1': (), 'blue0': (c1,), 'active': (c2, c0, c3), 'balanced': [3]},
           {'blue1': (c0,), 'blue0': (c1,), 'active': (c2, c3), 'balanced': [1]},
           {'blue1': (c1, c3), 'blue0': (), 'active': (c2, c0), 'balanced': [3]},
           {'blue1': (c1,), 'blue0': (c3,), 'active': (c2, c0), 'balanced': [3]},
           {'blue1': (), 'blue0': (c1, c3), 'active': (c2, c0), 'balanced': [0]}]),
(2, 9, 10, [{'blue1': (c1,), 'blue0': (), 'active': (c2, c0, c3), 'balanced': [1]},
           {'blue1': (), 'blue0': (c1,), 'active': (c2, c0, c3), 'balanced': [1]},
           {'blue1': (c3,), 'blue0': (), 'active': (c1, c2, c0), 'balanced': [3]},
           {'blue1': (), 'blue0': (c3,), 'active': (c1, c2, c0), 'balanced': [3]},
           {'blue1': (c0,), 'blue0': (c1,), 'active': (c2, c3), 'balanced': [3]},
           {'blue1': (c1, c3), 'blue0': (), 'active': (c2, c0), 'balanced': [1, 2]},
           {'blue1': (c1,), 'blue0': (c3,), 'active': (c2, c0), 'balanced': [1]}]),
(2, 9, 11, [{'blue1': (c3,), 'blue0': (), 'active': (c1, c2, c0), 'balanced': [1]},
           {'blue1': (), 'blue0': (c3,), 'active': (c1, c2, c0), 'balanced': [1]},
           {'blue1': (c0,), 'blue0': (c1,), 'active': (c2, c3), 'balanced': [1]},
           {'blue1': (c0, c3), 'blue0': (), 'active': (c1, c2), 'balanced': [0]},
           {'blue1': (c0,), 'blue0': (c3,), 'active': (c1, c2), 'balanced': [3]},
           {'blue1': (c3,), 'blue0': (c1,), 'active': (c2, c0), 'balanced': [2]},
           {'blue1': (c1,), 'blue0': (c3,), 'active': (c2, c0), 'balanced': [0, 2]},
           {'blue1': (c2, c0, c3), 'blue0': (), 'active': (c1,), 'balanced': [0]},
           {'blue1': (c0, c3), 'blue0': (c2,), 'active': (c1,), 'balanced': [0]}]),
(2, 9, 12, [{'blue1': (c0,), 'blue0': (c3,), 'active': (c1, c2), 'balanced': [1]},
           {'blue1': (c1, c3), 'blue0': (), 'active': (c2, c0), 'balanced': [0]},
           {'blue1': (), 'blue0': (c1, c3), 'active': (c2, c0), 'balanced': [0]}]),
(2, 9, 13, [{'blue1': (c0, c3), 'blue0': (), 'active': (c1, c2), 'balanced': [0]}]),
(2, 10, 6, [{'blue1': (), 'blue0': (c0, c3), 'active': (c1, c2), 'balanced': [2]},
           {'blue1': (c1,), 'blue0': (c0, c3), 'active': (c2,), 'balanced': [2]},
           {'blue1': (), 'blue0': (c0, c1, c3), 'active': (c2,), 'balanced': [2]}]),
(2, 10, 7, [{'blue1': (), 'blue0': (c0, c3), 'active': (c1, c2), 'balanced': [0]},
           {'blue1': (c1,), 'blue0': (c0, c3), 'active': (c2,), 'balanced': [0]},
           {'blue1': (), 'blue0': (c0, c1, c3), 'active': (c2,), 'balanced': [0]}]),
(2, 11, 4, [{'blue1': (c1,), 'blue0': (c0,), 'active': (c2, c3), 'balanced': [1]},
           {'blue1': (c3,), 'blue0': (c0,), 'active': (c1, c2), 'balanced': [2]}]),
(2, 11, 5, [{'blue1': (c1, c0), 'blue0': (), 'active': (c2, c3), 'balanced': [3]}]),
(2, 11, 6, [{'blue1': (c1, c0), 'blue0': (), 'active': (c2, c3), 'balanced': [1]}]),
(2, 13, 4, [{'blue1': (c0,), 'blue0': (c1,), 'active': (c2, c3), 'balanced': [1]},
           {'blue1': (c0,), 'blue0': (c3,), 'active': (c1, c2), 'balanced': [2]}]),
(2, 13, 5, [{'blue1': (), 'blue0': (c0, c1), 'active': (c2, c3), 'balanced': [3]}]),
(2, 13, 6, [{'blue1': (), 'blue0': (c0, c1), 'active': (c2, c3), 'balanced': [1]}]),
(2, 14, 6, [{'blue1': (c0, c3), 'blue0': (), 'active': (c1, c2), 'balanced': [2]},
           {'blue1': (c1, c0, c3), 'blue0': (), 'active': (c2,), 'balanced': [2]},
           {'blue1': (c0, c3), 'blue0': (c1,), 'active': (c2,), 'balanced': [2]}]),
(2, 14, 7, [{'blue1': (c0, c3), 'blue0': (), 'active': (c1, c2), 'balanced': [0]},
           {'blue1': (c1, c0, c3), 'blue0': (), 'active': (c2,), 'balanced': [0]},
           {'blue1': (c0, c3), 'blue0': (c1,), 'active': (c2,), 'balanced': [0]}]),
(2, 15, 4, [{'blue1': (c1, c0), 'blue0': (), 'active': (c2, c3), 'balanced': [3]},
           {'blue1': (c1,), 'blue0': (c0,), 'active': (c2, c3), 'balanced': [1]}]),
(2, 15, 5, [{'blue1': (c1, c0), 'blue0': (), 'active': (c2, c3), 'balanced': [1]},
           {'blue1': (), 'blue0': (c0, c3), 'active': (c1, c2), 'balanced': [0]},
           {'blue1': (c3,), 'blue0': (c1,), 'active': (c2, c0), 'balanced': [2]}]),
(2, 15, 6, [{'blue1': (), 'blue0': (c0, c3), 'active': (c1, c2), 'balanced': [2]},
           {'blue1': (), 'blue0': (c1, c3), 'active': (c2, c0), 'balanced': [0, 2]}]),
(2, 15, 7, [{'blue1': (c3,), 'blue0': (c0,), 'active': (c1, c2), 'balanced': [0]},
           {'blue1': (c3,), 'blue0': (c1,), 'active': (c2, c0), 'balanced': [0, 2]}]),
(2, 15, 8, [{'blue1': (c1,), 'blue0': (c0,), 'active': (c2, c3), 'balanced': [3]},
           {'blue1': (c1,), 'blue0': (c3,), 'active': (c2, c0), 'balanced': [2]},
           {'blue1': (), 'blue0': (c1, c3), 'active': (c2, c0), 'balanced': [0]}]),
(2, 15, 9, [{'blue1': (c1,), 'blue0': (), 'active': (c2, c0, c3), 'balanced': [3]},
           {'blue1': (), 'blue0': (c1,), 'active': (c2, c0, c3), 'balanced': [3]},
           {'blue1': (c1,), 'blue0': (c0,), 'active': (c2, c3), 'balanced': [1]},
           {'blue1': (c1, c3), 'blue0': (), 'active': (c2, c0), 'balanced': [0]},
           {'blue1': (c3,), 'blue0': (c1,), 'active': (c2, c0), 'balanced': [3]},
           {'blue1': (), 'blue0': (c1, c3), 'active': (c2, c0), 'balanced': [3]}]),
(2, 15, 10, [{'blue1': (c1,), 'blue0': (), 'active': (c2, c0, c3), 'balanced': [1]},
           {'blue1': (), 'blue0': (c1,), 'active': (c2, c0, c3), 'balanced': [1]},
           {'blue1': (c3,), 'blue0': (), 'active': (c1, c2, c0), 'balanced': [3]},
           {'blue1': (), 'blue0': (c3,), 'active': (c1, c2, c0), 'balanced': [3]},
           {'blue1': (c1,), 'blue0': (c0,), 'active': (c2, c3), 'balanced': [3]},
           {'blue1': (c3,), 'blue0': (c1,), 'active': (c2, c0), 'balanced': [1]},
           {'blue1': (), 'blue0': (c1, c3), 'active': (c2, c0), 'balanced': [1, 2]}]),
(2, 15, 11, [{'blue1': (c3,), 'blue0': (), 'active': (c1, c2, c0), 'balanced': [1]},
           {'blue1': (), 'blue0': (c3,), 'active': (c1, c2, c0), 'balanced': [1]},
           {'blue1': (c1,), 'blue0': (c0,), 'active': (c2, c3), 'balanced': [1]},
           {'blue1': (c3,), 'blue0': (c0,), 'active': (c1, c2), 'balanced': [3]},
           {'blue1': (), 'blue0': (c0, c3), 'active': (c1, c2), 'balanced': [0]},
           {'blue1': (c3,), 'blue0': (c1,), 'active': (c2, c0), 'balanced': [0, 2]},
           {'blue1': (c1,), 'blue0': (c3,), 'active': (c2, c0), 'balanced': [2]},
           {'blue1': (c2,), 'blue0': (c0, c3), 'active': (c1,), 'balanced': [0]},
           {'blue1': (), 'blue0': (c0, c2, c3), 'active': (c1,), 'balanced': [0]}]),
(2, 15, 12, [{'blue1': (c3,), 'blue0': (c0,), 'active': (c1, c2), 'balanced': [1]},
           {'blue1': (c1, c3), 'blue0': (), 'active': (c2, c0), 'balanced': [0]},
           {'blue1': (), 'blue0': (c1, c3), 'active': (c2, c0), 'balanced': [0]}]),
(2, 15, 13, [{'blue1': (), 'blue0': (c0, c3), 'active': (c1, c2), 'balanced': [0]}]),
(3, 2, 8, [{'blue1': (c2, c3), 'blue0': (), 'active': (c1, c0), 'balanced': [3]},
           {'blue1': (c2, c0, c3), 'blue0': (), 'active': (c1,), 'balanced': [3]},
           {'blue1': (c2, c3), 'blue0': (c0,), 'active': (c1,), 'balanced': [3]}]),
(3, 2, 9, [{'blue1': (c2, c3), 'blue0': (), 'active': (c1, c0), 'balanced': [0, 1]},
           {'blue1': (), 'blue0': (c2, c3), 'active': (c1, c0), 'balanced': [2]},
           {'blue1': (c2, c0, c3), 'blue0': (), 'active': (c1,), 'balanced': [0]},
           {'blue1': (c2, c3), 'blue0': (c0,), 'active': (c1,), 'balanced': [0]}]),
(3, 2, 10, [{'blue1': (), 'blue0': (c2, c3), 'active': (c1, c0), 'balanced': [3]}]),
(3, 2, 11, [{'blue1': (), 'blue0': (c2, c3), 'active': (c1, c0), 'balanced': [0]}]),
(3, 3, 5, [{'blue1': (c3,), 'blue0': (c0, c2), 'active': (c1,), 'balanced': [1]},
           {'blue1': (c2,), 'blue0': (c0, c3), 'active': (c1,), 'balanced': [1]}]),
(3, 5, 5, [{'blue1': (c0, c3), 'blue0': (c2,), 'active': (c1,), 'balanced': [1]},
           {'blue1': (c2, c0), 'blue0': (c3,), 'active': (c1,), 'balanced': [1]}]),
(3, 6, 8, [{'blue1': (), 'blue0': (c2, c3), 'active': (c1, c0), 'balanced': [3]},
           {'blue1': (c0,), 'blue0': (c2, c3), 'active': (c1,), 'balanced': [3]},
           {'blue1': (), 'blue0': (c0, c2, c3), 'active': (c1,), 'balanced': [3]}]),
(3, 6, 9, [{'blue1': (c2, c3), 'blue0': (), 'active': (c1, c0), 'balanced': [2]},
           {'blue1': (), 'blue0': (c2, c3), 'active': (c1, c0), 'balanced': [0, 1]},
           {'blue1': (c0,), 'blue0': (c2, c3), 'active': (c1,), 'balanced': [0]},
           {'blue1': (), 'blue0': (c0, c2, c3), 'active': (c1,), 'balanced': [0]}]),
(3, 6, 10, [{'blue1': (c2, c3), 'blue0': (), 'active': (c1, c0), 'balanced': [3]}]),
(3, 6, 11, [{'blue1': (c2, c3), 'blue0': (), 'active': (c1, c0), 'balanced': [0]}]),
(3, 10, 8, [{'blue1': (c2, c3), 'blue0': (), 'active': (c1, c0), 'balanced': [3]},
           {'blue1': (c2, c0, c3), 'blue0': (), 'active': (c1,), 'balanced': [3]},
           {'blue1': (c2, c3), 'blue0': (c0,), 'active': (c1,), 'balanced': [3]}]),
(3, 10, 9, [{'blue1': (c2, c3), 'blue0': (), 'active': (c1, c0), 'balanced': [0, 1]},
           {'blue1': (), 'blue0': (c2, c3), 'active': (c1, c0), 'balanced': [2]},
           {'blue1': (c2, c0, c3), 'blue0': (), 'active': (c1,), 'balanced': [0]},
           {'blue1': (c2, c3), 'blue0': (c0,), 'active': (c1,), 'balanced': [0]}]),
(3, 10, 10, [{'blue1': (), 'blue0': (c2, c3), 'active': (c1, c0), 'balanced': [3]}]),
(3, 10, 11, [{'blue1': (), 'blue0': (c2, c3), 'active': (c1, c0), 'balanced': [0]}]),
(3, 11, 5, [{'blue1': (c3,), 'blue0': (c0, c2), 'active': (c1,), 'balanced': [1]},
           {'blue1': (c2,), 'blue0': (c0, c3), 'active': (c1,), 'balanced': [1]}]),
(3, 13, 5, [{'blue1': (c0, c3), 'blue0': (c2,), 'active': (c1,), 'balanced': [1]},
           {'blue1': (c2, c0), 'blue0': (c3,), 'active': (c1,), 'balanced': [1]}]),
(3, 14, 8, [{'blue1': (), 'blue0': (c2, c3), 'active': (c1, c0), 'balanced': [3]},
           {'blue1': (c0,), 'blue0': (c2, c3), 'active': (c1,), 'balanced': [3]},
           {'blue1': (), 'blue0': (c0, c2, c3), 'active': (c1,), 'balanced': [3]}]),
(3, 14, 9, [{'blue1': (c2, c3), 'blue0': (), 'active': (c1, c0), 'balanced': [2]},
           {'blue1': (), 'blue0': (c2, c3), 'active': (c1, c0), 'balanced': [0, 1]},
           {'blue1': (c0,), 'blue0': (c2, c3), 'active': (c1,), 'balanced': [0]},
           {'blue1': (), 'blue0': (c0, c2, c3), 'active': (c1,), 'balanced': [0]}]),
(3, 14, 10, [{'blue1': (c2, c3), 'blue0': (), 'active': (c1, c0), 'balanced': [3]}]),
(3, 14, 11, [{'blue1': (c2, c3), 'blue0': (), 'active': (c1, c0), 'balanced': [0]}])]
-----------------------------------------------------------------------------------------------------------------------
Časť 3.3.5 -- Aplikácia na RES (Rozlisovace s Solvatore konvencii)
Plné údaje pre tabuľku 3.2. -- koľko kôl treba pre jednotlivé konfigurácie
[((1, 2, 8), 6),
 ((1, 6, 8), 6),
 ((1, 10, 8), 6),
 ((1, 14, 8), 6),
 ((2, 1, 4), 3),
 ((2, 1, 5), 4),
 ((2, 1, 9), 8),
 ((2, 1, 10), 9),
 ((2, 1, 11), 10),
 ((2, 1, 12), 11),
 ((2, 2, 7), 6),
 ((2, 3, 4), 3),
 ((2, 3, 6), 5),
 ((2, 5, 4), 3),
 ((2, 5, 6), 5),
 ((2, 6, 7), 6),
 ((2, 7, 4), 3),
 ((2, 7, 5), 4),
 ((2, 7, 9), 8),
 ((2, 7, 10), 9),
 ((2, 7, 11), 10),
 ((2, 7, 12), 11),
 ((2, 9, 4), 3),
 ((2, 9, 5), 4),
 ((2, 9, 9), 8),
 ((2, 9, 10), 9),
 ((2, 9, 11), 10),
 ((2, 9, 12), 11),
 ((2, 10, 7), 6),
 ((2, 11, 4), 3),
 ((2, 11, 6), 5),
 ((2, 13, 4), 3),
 ((2, 13, 6), 5),
 ((2, 14, 7), 6),
 ((2, 15, 4), 3),
 ((2, 15, 5), 4),
 ((2, 15, 9), 8),
 ((2, 15, 10), 9),
 ((2, 15, 11), 10),
 ((2, 15, 12), 11),
 ((3, 2, 8), 7),
 ((3, 2, 9), 7),
 ((3, 2, 10), 9),
 ((3, 2, 11), 9),
 ((3, 6, 8), 7),
 ((3, 6, 9), 7),
 ((3, 6, 10), 9),
 ((3, 6, 11), 9),
 ((3, 10, 8), 7),
 ((3, 10, 9), 7),
 ((3, 10, 10), 9),
 ((3, 10, 11), 9),
 ((3, 14, 8), 7),
 ((3, 14, 9), 7),
 ((3, 14, 10), 9),
 ((3, 14, 11), 9)]
-----------------------------------------------------------------------------------------------------------------------
Nájdené rozlišovače pomocou Solvatore so zamenou viacerych pociatocnych kol
[((1, 2, 8), [{'blue1': [2], 'blue0': [3], 'active': [0, 1], 'balanced': [2]}]),
((1, 6, 8), [{'blue1': [3], 'blue0': [2], 'active': [0, 1], 'balanced': [2]}]),
((1, 10, 8), [{'blue1': [2], 'blue0': [3], 'active': [0, 1], 'balanced': [2]}]),
((1, 14, 8), [{'blue1': [3], 'blue0': [2], 'active': [0, 1], 'balanced': [2]}]),
((2, 1, 4), [{'blue1': [3], 'blue0': [2], 'active': [0, 1], 'balanced': [2]}]),
((2, 1, 5), [{'blue1': [], 'blue0': [2, 3], 'active': [0, 1], 'balanced': [2]}]),
((2, 1, 9): [{'blue1': [3], 'blue0': [2], 'active': [0, 1], 'balanced': [2]}]),
((2, 1, 10): [{'blue1': [2], 'blue0': [], 'active': [0, 1, 3], 'balanced': [2]},
             {'blue1': [], 'blue0': [2], 'active': [0, 1, 3], 'balanced': [2]},
             {'blue1': [0, 2], 'blue0': [], 'active': [1, 3], 'balanced': [2]},
             {'blue1': [2], 'blue0': [0], 'active': [1, 3], 'balanced': [2]}]}),
((2, 1, 11): [{'blue1': [0], 'blue0': [], 'active': [1, 2, 3], 'balanced': [2]},
             {'blue1': [], 'blue0': [0], 'active': [1, 2, 3], 'balanced': [2]},
             {'blue1': [3], 'blue0': [2], 'active': [0, 1], 'balanced': [2]}]),
((2, 1, 12): [{'blue1': [3], 'blue0': [0], 'active': [1, 2], 'balanced': [2]}]),
((2, 2, 7), [{'blue1': [], 'blue0': [0, 3], 'active': [1, 2], 'balanced': [3]},
            {'blue1': [2], 'blue0': [0, 3], 'active': [1], 'balanced': [3]},
            {'blue1': [], 'blue0': [0, 2, 3], 'active': [1], 'balanced': [3]}]),
((2, 3, 4), [{'blue1': [2], 'blue0': [3], 'active': [0, 1], 'balanced': [2]}]),
((2, 3, 6), [{'blue1': [2, 3], 'blue0': [], 'active': [0, 1], 'balanced': [2]}]),
((2, 5, 4), [{'blue1': [3], 'blue0': [2], 'active': [0, 1], 'balanced': [2]}]),
((2, 5, 6), [{'blue1': [], 'blue0': [2, 3], 'active': [0, 1], 'balanced': [2]}]),
((2, 6, 7), [{'blue1': [0, 3], 'blue0': [], 'active': [1, 2], 'balanced': [3]},
            {'blue1': [0, 2, 3], 'blue0': [], 'active': [1], 'balanced': [3]},
            {'blue1': [0, 3], 'blue0': [2], 'active': [1], 'balanced': [3]}]),
((2, 7, 4), [{'blue1': [2], 'blue0': [3], 'active': [0, 1], 'balanced': [2]}]),
((2, 7, 5), [{'blue1': [2, 3], 'blue0': [], 'active': [0, 1], 'balanced': [2]}]),
((2, 7, 9): [{'blue1': [2], 'blue0': [3], 'active': [0, 1], 'balanced': [2]}]),
((2, 7, 10): [{'blue1': [2], 'blue0': [], 'active': [0, 1, 3], 'balanced': [2]},
             {'blue1': [], 'blue0': [2], 'active': [0, 1, 3], 'balanced': [2]},
             {'blue1': [0], 'blue0': [2], 'active': [1, 3], 'balanced': [2]},
             {'blue1': [], 'blue0': [0, 2], 'active': [1, 3], 'balanced': [2]}]),
((2, 7, 11): [{'blue1': [0], 'blue0': [], 'active': [1, 2, 3], 'balanced': [2]},
             {'blue1': [], 'blue0': [0], 'active': [1, 2, 3], 'balanced': [2]},
             {'blue1': [2], 'blue0': [3], 'active': [0, 1], 'balanced': [2]}]),
((2, 7, 12): [{'blue1': [0], 'blue0': [3], 'active': [1, 2], 'balanced': [2]}]),
((2, 9, 4), [{'blue1': [3], 'blue0': [2], 'active': [0, 1], 'balanced': [2]}]),
((2, 9, 5), [{'blue1': [], 'blue0': [2, 3], 'active': [0, 1], 'balanced': [2]}]),
((2, 9, 9): [{'blue1': [3], 'blue0': [2], 'active': [0, 1], 'balanced': [2]}]),
((2, 9, 10): [{'blue1': [2], 'blue0': [], 'active': [0, 1, 3], 'balanced': [2]},
             {'blue1': [], 'blue0': [2], 'active': [0, 1, 3], 'balanced': [2]},
             {'blue1': [0, 2], 'blue0': [], 'active': [1, 3], 'balanced': [2]},
             {'blue1': [2], 'blue0': [0], 'active': [1, 3], 'balanced': [2]}]),
((2, 9, 11): [{'blue1': [0], 'blue0': [], 'active': [1, 2, 3], 'balanced': [2]},
             {'blue1': [], 'blue0': [0], 'active': [1, 2, 3], 'balanced': [2]},
             {'blue1': [3], 'blue0': [2], 'active': [0, 1], 'balanced': [2]}]),
((2, 9, 12): [{'blue1': [3], 'blue0': [0], 'active': [1, 2], 'balanced': [2]}]),
((2, 10, 7), [{'blue1': [], 'blue0': [0, 3], 'active': [1, 2], 'balanced': [3]},
              {'blue1': [2], 'blue0': [0, 3], 'active': [1], 'balanced': [3]},
              {'blue1': [], 'blue0': [0, 2, 3], 'active': [1], 'balanced': [3]}]),
((2, 11, 4), [{'blue1': [2], 'blue0': [3], 'active': [0, 1], 'balanced': [2]}]),
((2, 11, 6), [{'blue1': [2, 3], 'blue0': [], 'active': [0, 1], 'balanced': [2]}]),
((2, 13, 4), [{'blue1': [3], 'blue0': [2], 'active': [0, 1], 'balanced': [2]}]),
((2, 13, 6), [{'blue1': [], 'blue0': [2, 3], 'active': [0, 1], 'balanced': [2]}]),
((2, 14, 7), [{'blue1': [0, 3], 'blue0': [], 'active': [1, 2], 'balanced': [3]},
              {'blue1': [0, 2, 3], 'blue0': [], 'active': [1], 'balanced': [3]},
              {'blue1': [0, 3], 'blue0': [2], 'active': [1], 'balanced': [3]}]),
((2, 15, 4), [{'blue1': [2], 'blue0': [3], 'active': [0, 1], 'balanced': [2]}]),
((2, 15, 5), [{'blue1': [2, 3], 'blue0': [], 'active': [0, 1], 'balanced': [2]}]),
((2, 15, 9): [{'blue1': [2], 'blue0': [3], 'active': [0, 1], 'balanced': [2]}]),
((2, 15, 10): [{'blue1': [2], 'blue0': [], 'active': [0, 1, 3], 'balanced': [2]},
             {'blue1': [], 'blue0': [2], 'active': [0, 1, 3], 'balanced': [2]},
             {'blue1': [0], 'blue0': [2], 'active': [1, 3], 'balanced': [2]},
             {'blue1': [], 'blue0': [0, 2], 'active': [1, 3], 'balanced': [2]}],
((2, 15, 11): [{'blue1': [0], 'blue0': [], 'active': [1, 2, 3], 'balanced': [2]},
             {'blue1': [], 'blue0': [0], 'active': [1, 2, 3], 'balanced': [2]},
             {'blue1': [2], 'blue0': [3], 'active': [0, 1], 'balanced': [2]}]),
((2, 15, 12): [{'blue1': [0], 'blue0': [3], 'active': [1, 2], 'balanced': [2]}]),
((3, 2, 8), [{'blue1': [0, 1], 'blue0': [], 'active': [2, 3], 'balanced': [0]},
            {'blue1': [0, 1, 3], 'blue0': [], 'active': [2], 'balanced': [0]},
            {'blue1': [0, 1], 'blue0': [3], 'active': [2], 'balanced': [0]}]),
((3, 2, 9), [{'blue1': [0, 1], 'blue0': [], 'active': [2, 3], 'balanced': [3]},
            {'blue1': [0, 1, 3], 'blue0': [], 'active': [2], 'balanced': [3]},
            {'blue1': [0, 1], 'blue0': [3], 'active': [2], 'balanced': [3]}]),
((3, 2, 10), [{'blue1': [], 'blue0': [0, 1], 'active': [2, 3], 'balanced': [0]}]),
((3, 2, 11), [{'blue1': [], 'blue0': [0, 1], 'active': [2, 3], 'balanced': [3]}]),
((3, 6, 8), [{'blue1': [], 'blue0': [0, 1], 'active': [2, 3], 'balanced': [0]},
            {'blue1': [3], 'blue0': [0, 1], 'active': [2], 'balanced': [0]},
            {'blue1': [], 'blue0': [0, 1, 3], 'active': [2], 'balanced': [0]}]),
((3, 6, 9), [{'blue1': [], 'blue0': [0, 1], 'active': [2, 3], 'balanced': [3]},
            {'blue1': [3], 'blue0': [0, 1], 'active': [2], 'balanced': [3]},
            {'blue1': [], 'blue0': [0, 1, 3], 'active': [2], 'balanced': [3]}]),
((3, 6, 10), [{'blue1': [0, 1], 'blue0': [], 'active': [2, 3], 'balanced': [0]}]),
((3, 6, 11), [{'blue1': [0, 1], 'blue0': [], 'active': [2, 3], 'balanced': [3]}]),
((3, 10, 8), [{'blue1': [0, 1], 'blue0': [], 'active': [2, 3], 'balanced': [0]},
              {'blue1': [0, 1, 3], 'blue0': [], 'active': [2], 'balanced': [0]},
              {'blue1': [0, 1], 'blue0': [3], 'active': [2], 'balanced': [0]}]),
((3, 10, 9), [{'blue1': [0, 1], 'blue0': [], 'active': [2, 3], 'balanced': [3]},
              {'blue1': [0, 1, 3], 'blue0': [], 'active': [2], 'balanced': [3]},
              {'blue1': [0, 1], 'blue0': [3], 'active': [2], 'balanced': [3]}]),
((3, 10, 10), [{'blue1': [], 'blue0': [0, 1], 'active': [2, 3], 'balanced': [0]}]),
((3, 10, 11), [{'blue1': [], 'blue0': [0, 1], 'active': [2, 3], 'balanced': [3]}]),
((3, 14, 8), [{'blue1': [], 'blue0': [0, 1], 'active': [2, 3], 'balanced': [0]},
              {'blue1': [3], 'blue0': [0, 1], 'active': [2], 'balanced': [0]},
              {'blue1': [], 'blue0': [0, 1, 3], 'active': [2], 'balanced': [0]}]),
((3, 14, 9), [{'blue1': [], 'blue0': [0, 1], 'active': [2, 3], 'balanced': [3]},
              {'blue1': [3], 'blue0': [0, 1], 'active': [2], 'balanced': [3]},
              {'blue1': [], 'blue0': [0, 1, 3], 'active': [2], 'balanced': [3]}]),
((3, 14, 10), [{'blue1': [0, 1], 'blue0': [], 'active': [2, 3], 'balanced': [0]}]),
((3, 14, 11), [{'blue1': [0, 1], 'blue0': [], 'active': [2, 3], 'balanced': [3]}])]
-----------------------------------------------------------------------------------------------------------------------


