/build/bin .idea internal/logic/verifier/lib