https://5dok.net/document/dy4ddx5y-improved-multi-core-nested-depth-first-search.html