gitdir: ../../../.git/modules/data/test/miniF2F-lean4
