new encoding of search nodes, being a little better with lists -- still not efficient enough to solve biggermap.txt