/a></span><div class="ni n3"><span class="nh "><button class="ar icon-button "></button><a href="problems/GraphColoring.html"><span class="micon cl"></span><span>GraphColoring</span></a></span><div class="ni n4 "><span class="nh "><a href="problems/GraphColoring$given_SymbolGenerator$.html"><span class="micon ob"></span><span>given_SymbolGenerator</span></a></span></div></div><div class="ni n3"><span class="nh "><button class="ar icon-button "></button><a href="problems/NQueens.html"><span class="micon cl">