python3 - <<'PY'
import re,urllib.request
s=urllib.request.urlopen("https://raw.githubusercontent.com/or18/Rubiks-cube-xcross-solver/main/cli_lite_without_thread.cpp").read().decode()
m={line.split('"')[1]:[list(map(int,re.findall(r"\d+",a))) for a in re.findall(r"\{([0-9, ]+)\}",line)] for line in s.splitlines() if line.strip().startswith('{"') and 'State({' in line}
print("moves",len(m))
alg="R2 U F2 U2 B2 U2 R' U2 F2 R' B2 D2 R U2 D L' R2 D2 F L B'F' U' R L' D R' B R F2 L' F2 L D".replace("B'F'","B' F'").split()
cp=list(range(8))