python3 -c 'import urllib.request as u,re;t=u.urlopen("https://raw.githubusercontent.com/or18/Rubiks-cube-xcross-solver/main/cli_lite_without_thread.cpp").read().decode();k=re.findall(r"\{\"([^\"]+)\", State\(\{([^}]*)\}, \{([^}]*)\}, \{([^}]*)\}, \{([^}]*)\}\)\}",t);print(len(k),k[:1])'