python3 -c 'import urllib.request as u;s=u.urlopen("https://raw.githubusercontent.com/or18/Rubiks-cube-xcross-solver/main/cli_lite_without_thread.cpp").read().decode();print(("int main()" in s), len(s))'