print("{v1.0-home-cooked-binary-25-g5892768 (2021-06-11, branch "binary-speedup")}")