gamarjoba:
    lean --run gamarjoba.lean