btor2tools_1.0.2~git20250918.d33c73f-1/
current.verbeek